<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd" org.eventb.texttools.text_lastmodified="1289315090222" org.eventb.texttools.text_representation="context BalTransfer_CO1 extends BalTransfer_CO&#10;&#10;sets ATM&#10;&#10;end&#10;" version="3">
<org.eventb.core.extendsContext name="_UU894OwKEd-V6twkc9HfSw" org.eventb.core.target="BalTransfer_CO"/>
<org.eventb.core.carrierSet name="_UU894ewKEd-V6twkc9HfSw" org.eventb.core.identifier="ATM"/>
</org.eventb.core.contextFile>
