<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.scContextFile org.eventb.core.accurate="true" org.eventb.core.configuration="org.eventb.core.fwd">
<org.eventb.core.scAxiom name="'" org.eventb.core.label="axm1" org.eventb.core.predicate="Seat⊆ℕ" org.eventb.core.source="/boxoffice/bocontext.buc|org.eventb.core.contextFile#bocontext|org.eventb.core.axiom#)" org.eventb.core.theorem="false"/>
<org.eventb.core.scCarrierSet name="Customer" org.eventb.core.source="/boxoffice/bocontext.buc|org.eventb.core.contextFile#bocontext|org.eventb.core.carrierSet#(" org.eventb.core.type="ℙ(Customer)"/>
<org.eventb.core.scConstant name="Seat" org.eventb.core.source="/boxoffice/bocontext.buc|org.eventb.core.contextFile#bocontext|org.eventb.core.constant#*" org.eventb.core.type="ℙ(ℤ)"/>
</org.eventb.core.scContextFile>
