1		package(load_event_b_project([],[event_b_context(none,'C0',[extends(none,[]),constants(none,[identifier(none,'Affinity'),identifier(none,'P1'),identifier(none,'P2'),identifier(none,'P3'),identifier(none,'P4'),identifier(none,'P5')]),axioms(none,[partition(rodinpos('C0',axm1,'_9WgqgEqlEeKTEpP_xhhXwg'),identifier(none,'P'),[set_extension(none,[identifier(none,'P1')]),set_extension(none,[identifier(none,'P2')]),set_extension(none,[identifier(none,'P3')]),set_extension(none,[identifier(none,'P4')]),set_extension(none,[identifier(none,'P5')])]),member(rodinpos('C0',axm2,'_9Wh4oEqlEeKTEpP_xhhXwg'),identifier(none,'Affinity'),relations(none,identifier(none,'P'),identifier(none,'P'))),equal(rodinpos('C0',axm3,'_9WifsEqlEeKTEpP_xhhXwg'),identifier(none,'Affinity'),reverse(none,identifier(none,'Affinity'))),equal(rodinpos('C0',axm4,'_9WjGwEqlEeKTEpP_xhhXwg'),identifier(none,'Affinity'),set_extension(none,[couple(none,[identifier(none,'P1'),identifier(none,'P3')]),couple(none,[identifier(none,'P3'),identifier(none,'P1')])]))]),theorems(none,[]),sets(none,[deferred_set(none,'P')])])],[exporter_version(2)],_Error)).
2