<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.contextFile ch.ethz.eventb.decomposition.decomposed="true" org.eventb.core.configuration="ch.ethz.eventb.decomposition.mchBase" org.eventb.core.generated="true" version="3">
<org.eventb.core.carrierSet name="'" org.eventb.core.identifier="ATM"/>
<org.eventb.core.carrierSet name="(" org.eventb.core.identifier="CARD"/>
<org.eventb.core.carrierSet name=")" org.eventb.core.identifier="ACCOUNT"/>
</org.eventb.core.contextFile>
