<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.contextFile ac.soton.umlb.eventB.umlbSourceElement="_00ecEMvOEd2Zl4zthtnajQ" org.eventb.core.configuration="org.eventb.core.fwd" org.eventb.texttools.text_lastmodified="1288625901811" org.eventb.texttools.text_representation="context Deposit_CO2 extends Deposit_CO1&#10;&#10;&#10;end&#10;" version="3">
<org.eventb.core.extendsContext name="_rQBy0OXFEd-el7FusQO1eQ" org.eventb.core.target="Deposit_CO1"/>
</org.eventb.core.contextFile>
