1		package(load_event_b_project([event_b_model(none,'UnicodeIds',[sees(none,[]),variables(none,[identifier(none,'meineUmlaute_\344\\366\\374\_\304\\326\\334\'),identifier(none,'mesAccents_\351\\350\\352\\353\_\356\\341\\340\\342\_\311\\310\\312\\313\_\316\\301\\300\_\347\\307\'),identifier(none,'other_\354\\355\\362\\363\_\314\\315\\322\\323\')]),invariant(none,[member(rodinpos('UnicodeIds',inv1,')'),identifier(none,'meineUmlaute_\344\\366\\374\_\304\\326\\334\'),bool_set(none)),member(rodinpos('UnicodeIds',inv2,'+'),identifier(none,'mesAccents_\351\\350\\352\\353\_\356\\341\\340\\342\_\311\\310\\312\\313\_\316\\301\\300\_\347\\307\'),bool_set(none)),member(rodinpos('UnicodeIds',inv3,'_vijs8OrLEeKqV5bLFhLqGg'),identifier(none,'other_\354\\355\\362\\363\_\314\\315\\322\\323\'),natural_set(none))]),theorems(none,[]),events(none,[event(rodinpos('UnicodeIds','INITIALISATION','\''),'INITIALISATION',ordinary(none),[],[],[],[],[assign(rodinpos('UnicodeIds',act1,'\''),[identifier(none,'meineUmlaute_\344\\366\\374\_\304\\326\\334\')],[boolean_true(none)]),assign(rodinpos('UnicodeIds',act2,'('),[identifier(none,'mesAccents_\351\\350\\352\\353\_\356\\341\\340\\342\_\311\\310\\312\\313\_\316\\301\\300\_\347\\307\')],[boolean_true(none)]),assign(rodinpos('UnicodeIds',act3,'_vikUAOrLEeKqV5bLFhLqGg'),[identifier(none,'other_\354\\355\\362\\363\_\314\\315\\322\\323\')],[integer(none,1)])],[])])])],[],[exporter_version(3),po('UnicodeIds','Invariant establishment',[event('INITIALISATION'),invariant(inv3)],true)],_Error)).
2