<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.psFile>
<org.eventb.core.psStatus name="FIN" org.eventb.core.confidence="0" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/thm/THM" org.eventb.core.confidence="0" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/port/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/port_finite/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/port_not_shared/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/p_mult/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/to_unfold_p_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/inst2pat_p_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="instanciate_pattern/inst2pat_commp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/to_unfold_p_inst2pat/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/to_unfold_p_in_comp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/i2p_IPort/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/i2p_OPort/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/p_index_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="instanciate_pattern/p_mult/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/port/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/p_mult/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/to_unfold_p_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/inst2pat_p_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/inst2pat_commp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_root_c/to_unfold_p_inst2pat/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_root_c/to_unfold_p_in_comp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/port/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/p_mult/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/to_unfold_p_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/inst2pat_p_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/inst2pat_commp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_node_c/to_unfold_p_inst2pat/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_node_c/to_unfold_p_in_comp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_p/new_p_ty/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_p/port/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_p/port_finite/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_p/port_not_shared/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_p/p_mult/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_p/to_unfold_p_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_p/inst2pat_p_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_p/inst2pat_commp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_p/to_unfold_p_inst2pat/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_p/to_unfold_p_in_comp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_p/i2p_IPort/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_p/i2p_OPort/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="unfold_p/p_index_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="unfold_p/VAR" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="apply_pattern/port/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/port_finite/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/port_not_shared/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/p_mult/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/to_unfold_p_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/inst2pat_p_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/inst2pat_commp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_pattern/to_unfold_p_in_comp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_link_pattern/port/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_link_pattern/port_finite/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_link_pattern/port_not_shared/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_link_pattern/p_mult/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_link_pattern/to_unfold_p_in/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_link_pattern/inst2pat_p_ty/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_link_pattern/inst2pat_commp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="apply_link_pattern/to_unfold_p_in_comp/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="79" org.eventb.core.psManual="true"/>
</org.eventb.core.psFile>
