<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.psFile>
<org.eventb.core.psStatus name="cl_compr/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="118" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="cont_ctr/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="118" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="cont_fin/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="118" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="irrefl/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="118" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="cont_mono/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="118" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_mul/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_in_mul/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_unfold_in/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_fin/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="to_clone_c_mult/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="M_fin/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="M/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="P_fin/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="c_indexes_dom/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="c_indexes_val/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_in_index_ext/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_index/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_in_index/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_in_index/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="FIN" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/cmult/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/comp_finite/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/comp_not_shared/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/c_mult/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/cont_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/cl_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/cl_fin/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/cl_cont/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/cl_trans/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/cl_left/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/cl_irrefl/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/cl_comp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/to_unfold_c_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/to_unfold_c/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="120" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/inst2pat_c_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/inst2pat_unfold_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/pat2inst_unfold/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="120" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/unfold_root/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="120" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/unfold_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/unfold_mul/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="120" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/unfold_in_mul/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/unfold_in_i2p/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/unfold_cont/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/inst2pat_cont/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/c_index_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/to_clone_c_mult/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/P/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/M/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/c_indexes_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/c_indexes_dom/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/c_indexes_val/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/i2p_dom/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/unfold_index_ext/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="120" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/unfold_in_index_ext/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/M/WD" org.eventb.core.confidence="0" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/new_c_ty/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/new_c_fin/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/new_c_card/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/new_c_card/THM" org.eventb.core.confidence="0" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/comp_finite/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/comp_not_shared/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/c_mult/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/cont_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/cl_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/cl_comp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/to_unfold_c_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/to_unfold_c/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/inst2pat_c_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/inst2pat_unfold_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/pat2inst_unfold/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/unfold_root/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/unfold_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/unfold_mul/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/unfold_in_mul/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/unfold_in_i2p/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/unfold_cont/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/inst2pat_cont/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/c_index_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/to_clone_c_mult/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/P/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/c_indexes_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/c_indexes_dom/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/c_indexes_val/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/i2p_dom/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/unfold_index_ext/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/unfold_in_index_ext/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/c_indexes/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/VAR" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/new_c_ty/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/new_c_fin/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/new_c_card/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/new_c_card/THM" org.eventb.core.confidence="0" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/comp_finite/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/comp_not_shared/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/c_mult/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/cont_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/cl_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/cl_fin/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/cl_cont/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/cl_trans/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/cl_left/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/cl_irrefl/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/cl_comp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/to_unfold_c_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/to_unfold_c/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/inst2pat_c_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/inst2pat_unfold_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/pat2inst_unfold/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/unfold_root/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/unfold_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/unfold_in_mul/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/unfold_in_i2p/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/unfold_cont/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/inst2pat_cont/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/c_index_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/to_clone_c_mult/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/P/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/c_indexes_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/c_indexes_dom/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/c_indexes_val/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/i2p_dom/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/unfold_index_ext/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/unfold_in_index_ext/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/c_indexes/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/VAR" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/inst_containers_dom/THM" org.eventb.core.confidence="0" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/inst_containers/THM" org.eventb.core.confidence="0" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/new_cont/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/new_conts/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/comp_finite/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/comp_not_shared/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/c_mult/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/cont_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/cl_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/cl_fin/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/cl_cont/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/cl_trans/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/cl_left/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/cl_irrefl/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/cl_comp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/to_unfold_c_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/to_unfold_c/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/inst2pat_c_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/inst2pat_unfold_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/unfold_root/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/unfold_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/unfold_cont/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/inst2pat_cont/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/P/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/c_indexes_dom/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/c_indexes_val/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/i2p_dom/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
</org.eventb.core.psFile>
