<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.prFile version="1">
<org.eventb.core.prProof name="INITIALISATION/BalTransfer_1_inv10/INV"/>
<org.eventb.core.prProof name="INITIALISATION/BalTransfer_2_inv8/INV"/>
<org.eventb.core.prProof name="INITIALISATION/BalTransfer_2_inv11/INV"/>
<org.eventb.core.prProof name="INITIALISATION/BalTransfer_2_inv12/INV"/>
<org.eventb.core.prProof name="INITIALISATION/BalTransfer_2_inv13/INV"/>
<org.eventb.core.prProof name="INITIALISATION/BalTransfer_2_inv17/INV"/>
<org.eventb.core.prProof name="SendReqTransfer/BalTransfer_2_inv8/INV"/>
<org.eventb.core.prProof name="SendReqTransfer/BalTransfer_2_inv12/INV"/>
<org.eventb.core.prProof name="SendReqTransfer/BalTransfer_2_inv13/INV"/>
<org.eventb.core.prProof name="TransferOKAtm/BalTransfer_2_inv11/INV"/>
<org.eventb.core.prProof name="TransferFailsAtm/BalTransfer_2_inv11/INV"/>
</org.eventb.core.prFile>
