<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.psFile>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]ATM_TD\mATM_T.BalTransfer_1_inv10/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]ATM_TD\mATM_T.BalTransfer_2_inv8/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]ATM_TD\mATM_T.BalTransfer_2_inv11/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]ATM_TD\mATM_T.BalTransfer_2_inv12/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]ATM_TD\mATM_T.BalTransfer_2_inv13/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]ATM_TD\mATM_T.BalTransfer_2_inv17/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]ATM_TD\mATM_D.Deposit_2_inv8/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]ATM_TD\mATM_D.Deposit_2_inv10/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]ATM_TD\mATM_D.Deposit_2_inv11/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]ATM_TD\mATM_D.Deposit_2_inv12/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv2/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv21/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv22/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]MW_TD\mMW_D.Deposit_4_inv6/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_0_IntegralATM_0_inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_0_IntegralATM_0_inv2/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv23/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv24/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv6/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]Bank_TD\mBank_D.Deposit_1_inv2/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/[ATMproduct_TD]Bank_TD\mBank_D.Deposit_4_inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendReqTransfer/[ATMproduct_TD]ATM_TD\mATM_T.BalTransfer_2_inv8/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendReqTransfer/[ATMproduct_TD]ATM_TD\mATM_T.BalTransfer_2_inv12/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendReqTransfer/[ATMproduct_TD]ATM_TD\mATM_T.BalTransfer_2_inv13/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendReqTransfer/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv2/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendReqTransfer/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendReqTransfer/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv21/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendReqTransfer/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv22/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvRespTransferOk/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv2/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvRespTransferOk/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvRespTransferOk/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv21/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvRespTransferOk/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv22/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvRespTransferFail/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv2/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvRespTransferFail/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvRespTransferFail/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv21/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvRespTransferFail/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv22/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferOKAtm/[ATMproduct_TD]ATM_TD\mATM_T.BalTransfer_2_inv11/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferFailsAtm/[ATMproduct_TD]ATM_TD\mATM_T.BalTransfer_2_inv11/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="sendReqDeposit/[ATMproduct_TD]ATM_TD\mATM_D.sendReqDeposit.grd5/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="sendReqDeposit/[ATMproduct_TD]ATM_TD\mATM_D.Deposit_2_inv8/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="sendReqDeposit/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv2/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="sendReqDeposit/[ATMproduct_TD]MW_TD\mMW_D.Deposit_4_inv6/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="recvRespDeposit/[ATMproduct_TD]MW_TD\mMW_T.BalTransfer_4_inv2/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="recvRespDeposit/[ATMproduct_TD]MW_TD\mMW_D.Deposit_4_inv6/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="depositATM/[ATMproduct_TD]ATM_TD\mATM_D.depositATM.grd10/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="depositATM/[ATMproduct_TD]ATM_TD\mATM_D.Deposit_2_inv10/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="depositATM/[ATMproduct_TD]ATM_TD\mATM_D.depositATM.act2/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvReqTransfer/[ATMproduct_TD]MW_TD\mMW_T.RecvReqTransfer.grd3/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvReqTransfer/[ATMproduct_TD]MW_TD\mMW_T.RecvReqTransfer.grd7/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvReqTransfer/[ATMproduct_TD]MW_TD\mMW_T.RecvReqTransfer.grd6/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvReqTransfer/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv23/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvReqTransfer/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv24/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvReqTransfer/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecvReqTransfer/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv6/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendRespTransferOk/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv23/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendRespTransferOk/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv24/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendRespTransferOk/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendRespTransferOk/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv6/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendRespTransferFail/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv23/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendRespTransferFail/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv24/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendRespTransferFail/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="SendRespTransferFail/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv6/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferOK/[ATMproduct_TD]Bank_TD\mBank_T.TransferOK.grd9/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferOK/[ATMproduct_TD]Bank_TD\mBank_T.TransferOK.grd14/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferOK/[ATMproduct_TD]Bank_TD\mBank_T.TransferOK.grd15/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferOK/[ATMproduct_TD]Bank_TD\mBank_T.TransferOK.grd16/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferOK/[ATMproduct_TD]Bank_TD\mBank_T.TransferOK.grd12/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferOK/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_0_IntegralATM_0_inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferOK/[ATMproduct_TD]Bank_TD\mBank_T.TransferOK.act1/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferFails/[ATMproduct_TD]Bank_TD\mBank_T.TransferFails.grd9/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferFails/[ATMproduct_TD]Bank_TD\mBank_T.TransferFails.grd12/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferFails/[ATMproduct_TD]Bank_TD\mBank_T.TransferFails.grd14/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferFails/[ATMproduct_TD]Bank_TD\mBank_T.TransferFails.grd15/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="TransferFails/[ATMproduct_TD]Bank_TD\mBank_T.TransferFails.grd16/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="recvReqDeposit/[ATMproduct_TD]MW_TD\mMW_D.recvReqDeposit.grd5/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="recvReqDeposit/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="recvReqDeposit/[ATMproduct_TD]Bank_TD\mBank_D.Deposit_4_inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="sendRespDeposit/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_4_inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="sendRespDeposit/[ATMproduct_TD]Bank_TD\mBank_D.Deposit_4_inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="depositB/[ATMproduct_TD]Bank_TD\mBank_D.depositB.grd12/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="depositB/[ATMproduct_TD]Bank_TD\mBank_D.depositB.grd9/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="depositB/[ATMproduct_TD]Bank_TD\mBank_T.BalTransfer_0_IntegralATM_0_inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="depositB/[ATMproduct_TD]Bank_TD\mBank_D.Deposit_1_inv2/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="depositB/[ATMproduct_TD]Bank_TD\mBank_D.depositB.act2/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="depositB/[ATMproduct_TD]Bank_TD\mBank_D.depositB.act1/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="0" org.eventb.core.psManual="false"/>
</org.eventb.core.psFile>
