<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.scContextFile org.eventb.core.accurate="false" org.eventb.core.configuration="org.eventb.core.fwd">
<org.eventb.core.scCarrierSet name="ATM" org.eventb.core.source="/ATMintegralRefined/BalTransfer_CO1.buc|org.eventb.core.contextFile#BalTransfer_CO1|org.eventb.core.carrierSet#_UU894ewKEd-V6twkc9HfSw" org.eventb.core.type="ℙ(ATM)"/>
</org.eventb.core.scContextFile>
