<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.scContextFile org.eventb.core.accurate="true" org.eventb.core.configuration="org.eventb.core.fwd">
<org.eventb.core.scExtendsContext name="'" org.eventb.core.scTarget="/Withdraw/Withdraw_CO.bcc|org.eventb.core.scContextFile#Withdraw_CO" org.eventb.core.source="/Withdraw/Withdraw_CO1.buc|org.eventb.core.contextFile#Withdraw_CO1|org.eventb.core.extendsContext#_hW4yMFOcEeCu5ZBiYa8OYg"/>
<org.eventb.core.scInternalContext name="Withdraw_CO">
<org.eventb.core.scCarrierSet name="ACCOUNT" org.eventb.core.source="/Withdraw/Withdraw_CO.buc|org.eventb.core.contextFile#Withdraw_CO|org.eventb.core.carrierSet#'" org.eventb.core.type="ℙ(ACCOUNT)"/>
<org.eventb.core.scCarrierSet name="CARD" org.eventb.core.source="/Withdraw/Withdraw_CO.buc|org.eventb.core.contextFile#Withdraw_CO|org.eventb.core.carrierSet#(" org.eventb.core.type="ℙ(CARD)"/>
</org.eventb.core.scInternalContext>
<org.eventb.core.scCarrierSet name="ATM" org.eventb.core.source="/Withdraw/Withdraw_CO1.buc|org.eventb.core.contextFile#Withdraw_CO1|org.eventb.core.carrierSet#_hW4yMlOcEeCu5ZBiYa8OYg" org.eventb.core.type="ℙ(ATM)"/>
</org.eventb.core.scContextFile>
