c0_users.buc

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd" org.eventb.core.generated="false" org.eventb.texttools.text_lastmodified="1580744849407" org.eventb.texttools.text_representation="context c0_users&#10;&#10;sets USER&#10;end&#10;" version="3">
<org.eventb.core.carrierSet name="_swFc0EHSEeqHCPZ-G665YQ" org.eventb.core.generated="false" org.eventb.core.identifier="USER"/>
</org.eventb.core.contextFile>