<?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="1300702853947" org.eventb.texttools.text_representation="context Withdraw_CO1 extends Withdraw_CO&#10;&#10;sets CARD ATM&#10;end&#10;" version="3">
<org.eventb.core.extendsContext name="_hW4yMFOcEeCu5ZBiYa8OYg" org.eventb.core.target="Withdraw_CO"/>
<org.eventb.core.carrierSet name="_hW4yMlOcEeCu5ZBiYa8OYg" org.eventb.core.identifier="ATM"/>
</org.eventb.core.contextFile>
