1		package(load_event_b_project([],[event_b_context(none,'TestProBIgnoreAxioms',[extends(none,[]),constants(none,[identifier(none,a),identifier(none,b),identifier(none,c)]),abstract_constants(none,[]),axioms(none,[member(rodinpos('TestProBIgnoreAxioms',axm1,'_iRA9MyX5Eey0N8C5sQdzYw'),identifier(none,a),natural_set(none)),member(rodinpos('TestProBIgnoreAxioms',axm2,'_iRBkQCX5Eey0N8C5sQdzYw'),identifier(none,b),natural_set(none)),member(rodinpos('TestProBIgnoreAxioms',axm3,'_iRBkQSX5Eey0N8C5sQdzYw'),identifier(none,c),natural_set(none)),equal(rodinpos('TestProBIgnoreAxioms',axm4,'_xGsYACX5Eey6z4NgVak1YQ'),identifier(none,a),integer(none,100)),equal(rodinpos('TestProBIgnoreAxioms',axm5,'_xGsYASX5Eey6z4NgVak1YQ'),identifier(none,b),add(none,identifier(none,a),identifier(none,a))),equal(rodinpos('TestProBIgnoreAxioms',axm6,'_xGs_ECX5Eey6z4NgVak1YQ'),identifier(none,c),add(none,identifier(none,b),identifier(none,b))),less(rodinpos('TestProBIgnoreAxioms','axm7-prob-ignore','_UtDzgCX6Eey6z4NgVak1YQ'),identifier(none,c),identifier(none,a)),less(rodinpos('TestProBIgnoreAxioms','prob-ignore-axm8','_iPhS8CX6Eey6z4NgVak1YQ'),identifier(none,b),identifier(none,c))]),theorems(none,[]),sets(none,[])])],[exporter_version(3)],_Error)).
2