<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.scContextFile org.eventb.core.accurate="true" org.eventb.core.configuration="ch.ethz.eventb.decomposition.pogConfig">
<org.eventb.core.scCarrierSet name="ATM" org.eventb.core.source="/ATMproduct_TDW/Context_mMW_D.buc|org.eventb.core.contextFile#Context_mMW_D|org.eventb.core.carrierSet#'" org.eventb.core.type="ℙ(ATM)"/>
<org.eventb.core.scCarrierSet name="CARD" org.eventb.core.source="/ATMproduct_TDW/Context_mMW_D.buc|org.eventb.core.contextFile#Context_mMW_D|org.eventb.core.carrierSet#(" org.eventb.core.type="ℙ(CARD)"/>
</org.eventb.core.scContextFile>
