<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.psFile>
<org.eventb.core.psStatus name="INITIALISATION/inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="21"/>
<org.eventb.core.psStatus name="SetCBTC/grd3/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="23"/>
<org.eventb.core.psStatus name="SetCBTC/act1/SIM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="23"/>
<org.eventb.core.psStatus name="UnsetCBTC/grd2/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="24"/>
<org.eventb.core.psStatus name="UnsetCBTC/act1/SIM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="24"/>
</org.eventb.core.psFile>
