<?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="1298294714292" org.eventb.texttools.text_representation="context ATM_CO&#10;&#10;sets ACCOUNT ATM CARD&#10;&#10;end&#10;" version="3">
<org.eventb.core.carrierSet name="_SrAPADqiEeCEXI9UeGRwrw" org.eventb.core.identifier="ACCOUNT"/>
<org.eventb.core.carrierSet name="_ol_YAD21EeCAYsu3bd3gpA" org.eventb.core.identifier="CARD"/>
<org.eventb.core.carrierSet name="_ol_YAT21EeCAYsu3bd3gpA" org.eventb.core.identifier="ATM"/>
</org.eventb.core.contextFile>
