<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd" version="3">
<org.eventb.core.carrierSet name="'" org.eventb.core.identifier="TRAIN_MODE"/>
<org.eventb.core.constant name="(" org.eventb.core.identifier="ATP"/>
<org.eventb.core.constant name=")" org.eventb.core.identifier="ATPR"/>
<org.eventb.core.constant name="*" org.eventb.core.identifier="BYPASS"/>
<org.eventb.core.axiom name="+" org.eventb.core.label="axm1" org.eventb.core.predicate="partition(TRAIN_MODE, {ATP}, {ATPR}, {BYPASS})"/>
<org.eventb.core.carrierSet name="," org.eventb.core.identifier="TRAIN_SET"/>
</org.eventb.core.contextFile>
