1		:- dynamic parserVersionNum/1, parserVersionStr/1, parseResult/5.
2		:- dynamic module/4.
3		'parserVersionStr'('0.6.1.1').
4		'parseResult'('ok','',0,0,0).
5		:- dynamic channel/2, bindval/3, agent/3.
6		:- dynamic agent_curry/3, symbol/4.
7		:- dynamic dataTypeDef/2, subTypeDef/2, nameType/2.
8		:- dynamic cspTransparent/1.
9		:- dynamic cspPrint/1.
10		:- dynamic pragma/1.
11		:- dynamic comment/2.
12		:- dynamic assertBool/1, assertRef/5, assertTauPrio/6.
13		:- dynamic assertModelCheckExt/4, assertModelCheck/3.
14		:- dynamic assertLtl/4, assertCtl/4.
15		'parserVersionNum'([0,11,0,1]).
16		'parserVersionStr'('CSPM-Frontent-0.11.0.1').
17		'channel'('diverge','type'('dotUnitType')).
18		'bindval'('DIV','let'(['bindval'('D','prefix'('src_span'(5,15,5,22,148,7),[],'diverge','val_of'('D','src_span'(5,26,5,27,159,1)),'src_span'(5,23,5,25,155,12)),'src_span'(5,11,5,27,144,16))],'\x5c\'('val_of'('D','src_span'(6,5,6,6,172,1)),'setExp'('rangeEnum'(['diverge'])),'src_span_operator'('no_loc_info_available','src_span'(6,7,6,8,174,1)))),'src_span'(5,1,6,17,134,50)).
19		'agent'('OZSemantics'(_OZOps,_in,_out,_enable,_effect,_init,_CSPOps,_CSPMain,_event),'let'(['agent'('ZPart'(_s),'repChoice'(['comprehensionGenerator'(_op,_OZOps)],'&'('agent_call_curry'(_enable,[[_op],[_s]]),'repChoice'(['comprehensionGenerator'(_i,'agent_call'('src_span'(8,58,8,60,318,2),_in,[_op]))],'ifte'('agent_call'('src_span'(9,12,9,17,339,5),'empty',['agent_call_curry'(_effect,[[_op],[_s,_i]])]),'repInternalChoice'(['comprehensionGenerator'(_o,'agent_call'('src_span'(10,20,10,23,386,3),_out,[_op]))],'prefix'('src_span'(10,30,10,43,396,13),[],'agent_call'('src_span'(10,30,10,35,396,5),_event,[_op,_i,_o]),'val_of'('DIV','src_span'(10,47,10,50,413,3)),'src_span'(10,44,10,46,409,20)),'src_span'(10,17,10,29,383,12)),'repInternalChoice'(['comprehensionGenerator'('tuplePat'([_o2,_s_quote]),'agent_call_curry'(_effect,[[_op],[_s,_i]]))],'prefix'('src_span'(13,12,13,25,485,13),[],'agent_call'('src_span'(13,12,13,17,485,5),_event,[_op,_i,_o2]),'agent_call'('src_span'(13,28,13,33,501,5),'ZPart',[_s_quote]),'src_span'(13,26,13,27,498,25)),'src_span'(12,16,12,42,447,26)),'src_span'(9,9,9,34,336,25),'src_span'(9,35,10,11,361,78),'src_span'(10,52,12,11,417,133)),'src_span'(8,54,8,67,314,13))),'src_span'(8,22,8,34,282,12)),'src_span'(8,19,13,39,279,233)),'bindval'('ZMain','repInternalChoice'(['comprehensionGenerator'(_s2,_init)],'agent_call'('src_span'(14,29,14,34,541,5),'ZPart',[_s2]),'src_span'(14,19,14,28,531,9)),'src_span'(14,8,14,38,520,30))],'sharing'('closureComp'(['comprehensionGenerator'(_op2,_CSPOps)],[_op2]),'val_of'('ZMain','src_span'(15,12,15,17,562,5)),_CSPMain,'src_span'(15,18,15,46,568,28))),'src_span'(8,4,15,55,264,341)).
20		'channel'('suspend','type'('dotTupleType'(['val_of'('Name','src_span'(18,29,18,33,652,4))]))).
21		'channel'('dispatch','type'('dotTupleType'(['val_of'('Name','src_span'(18,29,18,33,652,4))]))).
22		'channel'('wakeup','type'('dotUnitType')).
23		'dataTypeDef'('Names',['constructor'('Idle'),'constructor'('T1'),'constructor'('T2')]).
24		'bindval'('Name','setExp'('rangeEnum'([_x]),['comprehensionGenerator'(_x,'Names')]),'src_span'(23,1,23,24,714,23)).
25		'bindval'('maxint','-'('agent_call'('src_span'(24,10,24,14,747,4),'card',['val_of'('Name','src_span'(24,15,24,19,752,4))]),'int'(1)),'src_span'(24,1,24,23,738,22)).
26		'bindval'('ints','setExp'('rangeClosed'('int'(0),'val_of'('maxint','src_span'(26,15,26,21,777,6)))),'src_span'(26,1,26,23,763,22)).
27		'cspPrint'('setExp'('rangeEnum'(['tupleExp'([_ret_val,_state_quote])]),['comprehensionGenerator'(_ret_val,'val_of'('Name','src_span'(28,39,28,43,825,4))),'comprehensionGuard'('=='(_ret_val,'T1')),'comprehensionGenerator'(_state_quote,'setExp'('rangeEnum'(['tupleExp'(['agent_call'('src_span'(28,72,28,84,858,12),'insertSorted',['agent_call'('src_span'(28,85,28,95,871,10),'deleteFrom',['listExp'('rangeEnum'(['tupleExp'(['T1','int'(1),'false']),'tupleExp'(['T2','int'(2),'true']),'tupleExp'(['Idle','int'(0),'true'])])),'tupleExp'(['T1','int'(1),'false'])]),'tupleExp'(['T1','int'(1),'false'])]),'T1'])])))])).
28		'agent'('getPrio'('tuplePat'([_,_prio,_])),_prio,'src_span'(30,23,30,27,988,4)).
29		'agent'('insertSorted'(_l,_e),'ifte'('agent_call'('src_span'(33,8,33,12,1037,4),'null',[_l]),'listExp'('rangeEnum'([_e])),'ifte'('>'('agent_call'('src_span'(34,12,34,19,1070,7),'getPrio',[_e]),'agent_call'('src_span'(34,25,34,32,1083,7),'getPrio',['agent_call'('src_span'(34,33,34,37,1091,4),'head',[_l])])),'^'('listExp'('rangeEnum'([_e])),_l),'^'('listExp'('rangeEnum'(['agent_call'('src_span'(35,10,35,14,1125,4),'head',[_l])])),'agent_call'('src_span'(35,19,35,31,1134,12),'insertSorted',['agent_call'('src_span'(35,32,35,36,1147,4),'tail',[_l]),_e])),'src_span'(34,9,34,41,1067,32),'no_loc_info_available','no_loc_info_available'),'src_span'(33,5,33,15,1034,10),'src_span'(33,16,33,20,1044,16),'src_span'(33,25,34,8,1053,107)),'src_span'(33,5,35,42,1034,123)).
30		'agent'('getName'('tuplePat'([_name,_,_])),_name,'src_span'(37,23,37,27,1181,4)).
31		'agent'('isReady'('tuplePat'([_,_,_ready])),_ready,'src_span'(38,24,38,29,1209,5)).
32		'agent'('deleteFrom'(_l2,_e2),'ifte'('agent_call'('src_span'(41,8,41,12,1258,4),'null',[_l2]),_l2,'ifte'('=='('agent_call'('src_span'(42,8,42,12,1285,4),'head',[_l2]),_e2),'agent_call'('src_span'(42,26,42,30,1303,4),'tail',[_l2]),'^'('listExp'('rangeEnum'(['agent_call'('src_span'(43,10,43,14,1325,4),'head',[_l2])])),'agent_call'('src_span'(43,19,43,29,1334,10),'deleteFrom',['agent_call'('src_span'(43,30,43,34,1345,4),'tail',[_l2]),_e2])),'no_loc_info_available','no_loc_info_available','no_loc_info_available'),'src_span'(41,5,41,15,1255,10),'src_span'(41,16,41,20,1265,14),'src_span'(41,23,42,4,1272,84)),'src_span'(41,5,43,40,1255,100)).
33		'agent'('Scheduler'(_threadList),'let'(['bindval'('TNames','agent_call'('src_span'(46,12,46,16,1398,4),'diff',['val_of'('Name','src_span'(46,17,46,21,1403,4)),'setExp'('rangeEnum'(['Idle']))]),'src_span'(46,3,46,29,1389,26)),'agent'('isNameMatch'('tuplePat'([_n1,_,_]),_n2),'=='(_n1,_n2),'no_loc_info_available'),'agent'('setReady'('tuplePat'([_name2,_prio2,_]),_ready2),'tupleExp'([_name2,_prio2,_ready2]),'src_span'(48,35,48,53,1489,18)),'agent'('getReady2'(_aList),'listExp'('rangeEnum'([_x2]),['comprehensionGenerator'(_x2,_aList),'comprehensionGuard'('agent_call'('src_span'(50,39,50,46,1547,7),'isReady',[_x2]))]),'src_span'(50,22,50,50,1530,28)),'agent'('setReady2'(_aList2,_aName,_ready3),'ifte'('agent_call'('src_span'(53,8,53,12,1602,4),'null',[_aList2]),_aList2,'ifte'('agent_call'('src_span'(54,8,54,19,1637,11),'isNameMatch',['agent_call'('src_span'(54,20,54,24,1649,4),'head',[_aList2]),_aName]),'^'('listExp'('rangeEnum'(['agent_call'('src_span'(54,45,54,53,1674,8),'setReady',['agent_call'('src_span'(54,54,54,58,1683,4),'head',[_aList2]),_ready3])])),'agent_call'('src_span'(54,74,54,78,1703,4),'tail',[_aList2])),'^'('listExp'('rangeEnum'(['agent_call'('src_span'(55,8,55,12,1727,4),'head',[_aList2])])),'agent_call'('src_span'(55,21,55,30,1740,9),'setReady2',['agent_call'('src_span'(55,31,55,35,1750,4),'tail',[_aList2]),_aName,_ready3])),'src_span'(54,5,54,38,1634,33),'no_loc_info_available','no_loc_info_available'),'src_span'(53,5,53,19,1599,14),'src_span'(53,20,53,24,1613,22),'src_span'(53,31,54,4,1624,156)),'src_span'(53,5,55,56,1599,176)),'bindval'('init2','setExp'('rangeEnum'(['tupleExp'([_threadList,'Idle'])]),['comprehensionGuard'('agent_call'('src_span'(57,31,57,35,1807,4),'elem',['tupleExp'(['Idle','int'(0),'true']),_threadList]))]),'src_span'(57,3,57,62,1779,59)),'bindval'('Ops','setExp'('rangeEnum'(['suspend','dispatch','wakeup'])),'src_span'(59,3,59,36,1844,33)),'bindval'('CSPOps2','agent_call'('src_span'(60,12,60,16,1889,4),'diff',['val_of'('Ops','src_span'(60,17,60,20,1894,3)),'setExp'('rangeEnum'(['wakeup']))]),'src_span'(60,3,60,31,1880,28)),'bindval'('main','prefix'('src_span'(61,10,61,18,1918,8),['in'(_n)],'dispatch','[]'('val_of'('main','src_span'(61,25,61,29,1933,4)),'prefix'('src_span'(61,33,61,40,1941,7),['in'(_n3)],'suspend','val_of'('main','src_span'(61,46,61,50,1954,4)),'src_span'(61,43,61,45,1950,10)),'src_span_operator'('no_loc_info_available','src_span'(61,30,61,32,1938,2))),'src_span'(61,21,61,23,1928,33)),'src_span'(61,3,61,51,1911,48)),'agent'('event2'('suspend',_i2,_),'dotTuple'(['suspend',_i2]),'src_span'(63,26,63,35,1988,9)),'agent'('event2'('dispatch',_,_o3),'dotTuple'(['dispatch',_o3]),'src_span'(64,27,64,37,2024,10)),'agent'('event2'('wakeup',_,_),'wakeup','src_span'(65,25,65,31,2059,6)),'agent'('in2'('suspend'),'val_of'('TNames','src_span'(66,17,66,23,2082,6)),'src_span'(66,17,66,23,2082,6)),'agent'('in2'(_),'setExp'('rangeEnum'(['setExp'('rangeEnum'([]))])),'src_span'(67,11,67,15,2099,4)),'agent'('out2'('dispatch'),'val_of'('Name','src_span'(68,19,68,23,2124,4)),'src_span'(68,19,68,23,2124,4)),'agent'('out2'(_),'setExp'('rangeEnum'(['setExp'('rangeEnum'([]))])),'src_span'(69,12,69,16,2140,4)),'agent_curry'('enable2'(['suspend'],['tuplePat'([_threads,_runningNow])]),'!='(_runningNow,'Idle'),'src_span'(70,44,70,64,2188,20)),'agent_curry'('enable2'(['wakeup'],['tuplePat'([_threads2,_runningNow2])]),'<'('#'('agent_call'('src_span'(71,45,71,54,2253,9),'getReady2',[_threads2])),'#'(_threads2)),'src_span'(71,43,71,75,2251,32)),'agent_curry'('enable2'([_],[_]),'true','src_span'(72,18,72,22,2301,4)),'agent'('resume'('tuplePat'([_threads3,_runningNow3]),_tname),'setExp'('rangeEnum'(['tupleExp'(['setExp'('rangeEnum'([])),_state_quote2])]),['comprehensionGenerator'(_state_quote2,'setExp'('rangeEnum'(['tupleExp'(['agent_call'('src_span'(76,32,76,41,2411,9),'setReady2',[_threads3,_tname,'true']),_runningNow3])])))]),'src_span'(76,5,76,75,2384,70)),'agent_curry'('effect2'(['wakeup'],['tuplePat'([_threads4,_runningNow4]),_]),'setExp'('rangeEnum'([_ret_pair]),['comprehensionGenerator'(_tname2,'setExp'('rangeEnum'(['agent_call'('src_span'(80,27,80,34,2576,7),'getName',[_thread])]),['comprehensionGenerator'(_thread,'agent_call'('src_span'(80,55,80,58,2604,3),'set',[_threads4])),'comprehensionGuard'('bool_not'('agent_call'('src_span'(80,73,80,80,2622,7),'isReady',[_thread])))])),'comprehensionGenerator'(_ret_pair,'agent_call'('src_span'(81,21,81,27,2660,6),'resume',['tupleExp'([_threads4,_runningNow4]),_tname2]))]),'src_span'(80,5,81,57,2554,142)),'agent_curry'('effect2'(['suspend'],['tuplePat'([_threads5,_runningNow5]),_tname3]),'setExp'('rangeEnum'(['tupleExp'(['setExp'('rangeEnum'([])),_state_quote3])]),['comprehensionGenerator'(_state_quote3,'setExp'('rangeEnum'(['tupleExp'(['agent_call'('src_span'(85,32,85,41,2821,9),'setReady2',[_threads5,_tname3,'false']),_runningNow5])])))]),'src_span'(85,5,85,76,2794,71)),'agent_curry'('effect2'(['dispatch'],['tuplePat'([_threads6,_runningNow6]),_]),'let'(['bindval'('rThreads','agent_call'('src_span'(89,20,89,29,2997,9),'getReady2',[_threads6]),'src_span'(89,9,89,38,2986,29)),'bindval'('nRunner','ifte'('agent_call'('src_span'(90,22,90,26,3037,4),'null',['val_of'('rThreads','src_span'(90,27,90,35,3042,8))]),'tupleExp'(['Idle','int'(0),'true']),'agent_call'('src_span'(90,61,90,65,3076,4),'head',['val_of'('rThreads','src_span'(90,66,90,74,3081,8))]),'src_span'(90,19,90,36,3034,17),'src_span'(90,37,90,41,3051,33),'src_span'(90,56,90,60,3070,33)),'src_span'(90,9,90,75,3024,66))],'setExp'('rangeEnum'(['tupleExp'([_ret_val2,_state_quote4])]),['comprehensionGenerator'(_ret_val2,'val_of'('Name','src_span'(91,37,91,41,3134,4))),'comprehensionGuard'('=='(_ret_val2,'agent_call'('src_span'(92,20,92,27,3159,7),'getName',['val_of'('nRunner','src_span'(92,28,92,35,3167,7))]))),'comprehensionGenerator'(_state_quote4,'setExp'('rangeEnum'(['tupleExp'(['agent_call'('src_span'(93,21,93,33,3197,12),'insertSorted',['agent_call'('src_span'(93,34,93,44,3210,10),'deleteFrom',[_threads6,'val_of'('nRunner','src_span'(93,53,93,60,3229,7))]),'val_of'('nRunner','src_span'(93,62,93,69,3238,7))]),_ret_val2])])))])),'src_span'(89,5,93,82,2982,276))],'agent_call'('src_span'(95,10,95,21,3269,11),'OZSemantics',['val_of'('Ops','src_span'(95,22,95,25,3281,3)),'in2','out2','enable2','effect2','val_of'('init2','src_span'(95,52,95,56,3311,4)),'val_of'('CSPOps2','src_span'(95,58,95,64,3317,6)),'val_of'('main','src_span'(95,66,95,70,3325,4)),'event2'])),'src_span'(45,25,95,78,1383,1954)).
34		'agent'('max'(_x3,_y),'ifte'('>'(_x3,_y),_x3,_y,'src_span'(98,12,98,20,3378,8),'src_span'(98,21,98,25,3386,12),'src_span'(98,28,98,32,3393,8)),'src_span'(98,12,98,34,3378,22)).
35		'agent'('getMaxPrio'(_l3),'ifte'('agent_call'('src_span'(100,8,100,12,3424,4),'null',[_l3]),'int'(0),'agent_call'('src_span'(101,9,101,12,3452,3),'max',['agent_call'('src_span'(101,13,101,20,3456,7),'getPrio',['agent_call'('src_span'(101,21,101,25,3464,4),'head',[_l3])]),'agent_call'('src_span'(101,30,101,40,3473,10),'getMaxPrio',['agent_call'('src_span'(101,41,101,45,3484,4),'tail',[_l3])])]),'src_span'(100,5,100,15,3421,10),'src_span'(100,16,100,20,3431,14),'src_span'(100,23,101,8,3438,56)),'src_span'(100,5,101,50,3421,72)).
36		'channel'('debug','type'('dotTupleType'(['val_of'('Name','src_span'(102,17,102,21,3518,4)),'val_of'('ints','src_span'(102,24,102,28,3525,4)),'boolType']))).
37		'channel'('start','type'('dotUnitType')).
38		'agent'('Sys'(_l4),'ifte'('=='('#'(_l4),'agent_call'('src_span'(104,19,104,23,3569,4),'card',['val_of'('Name','src_span'(104,24,104,28,3574,4))])),'prefix'('src_span'(104,35,104,40,3585,5),[],'start','agent_call'('src_span'(104,44,104,53,3594,9),'Scheduler',[_l4]),'src_span'(104,41,104,43,3590,21)),'repChoice'(['comprehensionGenerator'('tuplePat'([_x1,_x22,_x32]),'setExp'('rangeEnum'(['tupleExp'([_y1,_y2,_y3])]),['comprehensionGenerator'(_y1,'agent_call'('src_span'(107,15,107,19,3711,4),'diff',['val_of'('Name','src_span'(107,20,107,24,3716,4)),'setExp'('rangeEnum'(['agent_call'('src_span'(107,26,107,33,3722,7),'getName',[_x4])]),['comprehensionGenerator'(_x4,'agent_call'('src_span'(107,44,107,47,3740,3),'set',[_l4]))])])),'comprehensionGenerator'(_y2,'setExp'('rangeClosed'('agent_call'('src_span'(108,16,108,26,3765,10),'getMaxPrio',[_l4]),'val_of'('maxint','src_span'(108,33,108,39,3782,6))))),'comprehensionGenerator'(_y3,'boolType')]))],'prefix'('src_span'(109,22,109,42,3812,20),[],'dotTuple'(['debug',_x1,_x22,_x32]),'agent_call'('src_span'(109,46,109,49,3836,3),'Sys',['^'('listExp'('rangeEnum'(['tupleExp'([_x1,_x22,_x32])])),_l4)]),'src_span'(109,43,109,45,3832,43)),'src_span'(106,7,109,21,3672,139)),'no_loc_info_available','no_loc_info_available','src_span'(104,57,106,4,3606,270)),'src_span'(104,10,109,65,3560,295)).
39		'bindval'('MAIN','\x5c\'('agent_call'('src_span'(111,8,111,11,3864,3),'Sys',['listExp'('rangeEnum'(['tupleExp'(['Idle','int'(0),'true'])]))]),'closure'(['debug','start']),'src_span_operator'('no_loc_info_available','src_span'(111,29,111,30,3885,1))),'src_span'(111,1,111,46,3857,45)).
40		'assertModelCheck'('False','val_of'('MAIN','src_span'(112,8,112,12,3910,4)),'DeadlockFree').
41		'assertModelCheck'('False','val_of'('MAIN','src_span'(113,8,113,12,3939,4)),'LivelockFree').
42		'cspPrint'('val_of'('Name','src_span'(115,7,115,11,3968,4))).
43		'cspPrint'('setExp'('rangeEnum'(['agent_call'('src_span'(116,8,116,15,3980,7),'getName',[_x5])]),['comprehensionGenerator'(_x5,'agent_call'('src_span'(116,26,116,29,3998,3),'set',['listExp'('rangeEnum'(['tupleExp'(['Idle','int'(0),'true'])]))]))])).
44		'cspPrint'('agent_call'('src_span'(117,7,117,11,4026,4),'diff',['val_of'('Name','src_span'(117,12,117,16,4031,4)),'setExp'('rangeEnum'(['agent_call'('src_span'(117,18,117,25,4037,7),'getName',[_x6])]),['comprehensionGenerator'(_x6,'agent_call'('src_span'(117,36,117,39,4055,3),'set',['listExp'('rangeEnum'(['tupleExp'(['Idle','int'(0),'true'])]))]))])])).
45		'cspPrint'('setExp'('rangeClosed'('agent_call'('src_span'(118,8,118,18,4085,10),'getMaxPrio',['listExp'('rangeEnum'(['tupleExp'(['Idle','int'(0),'true'])]))]),'val_of'('maxint','src_span'(118,39,118,45,4116,6))))).
46		'cspPrint'('setExp'('rangeEnum'(['tupleExp'([_y12,_y22,_y32])]),['comprehensionGenerator'(_y12,'agent_call'('src_span'(120,15,120,19,4158,4),'diff',['val_of'('Name','src_span'(120,20,120,24,4163,4)),'setExp'('rangeEnum'(['agent_call'('src_span'(120,26,120,33,4169,7),'getName',[_x7])]),['comprehensionGenerator'(_x7,'agent_call'('src_span'(120,44,120,47,4187,3),'set',['listExp'('rangeEnum'(['tupleExp'(['Idle','int'(0),'true'])]))]))])])),'comprehensionGenerator'(_y22,'setExp'('rangeClosed'('agent_call'('src_span'(121,16,121,26,4226,10),'getMaxPrio',['listExp'('rangeEnum'(['tupleExp'(['Idle','int'(0),'true'])]))]),'val_of'('maxint','src_span'(121,47,121,53,4257,6))))),'comprehensionGenerator'(_y32,'boolType')])).
47		'comment'('lineComment'('-- the semantics of a OZ-class enhanced with CSP behavior'),'src_position'(1,1,0,57)).
48		'comment'('lineComment'('-- as described by Fischer and Wehrheim'),'src_position'(2,1,58,39)).
49		'comment'('lineComment'('--DIV=CHAOS(Events)'),'src_position'(3,1,98,19)).
50		'comment'('lineComment'('-- thread events'),'src_position'(17,1,607,16)).
51		'comment'('lineComment'('-- config'),'src_position'(21,1,673,9)).
52		'comment'('lineComment'('-- base case'),'src_position'(32,5,1017,12)).
53		'comment'('lineComment'('-- base case'),'src_position'(40,5,1238,12)).
54		'comment'('lineComment'('-- thread \x27\tname\x27\ is resumed'),'src_position'(74,3,2309,28)).
55		'comment'('lineComment'('-- one of the sleeping threads is resumed'),'src_position'(78,3,2464,41)).
56		'comment'('lineComment'('-- thread \x27\tname\x27\ is suspended'),'src_position'(83,3,2708,30)).
57		'comment'('lineComment'('-- the runner is removed from the list and inserted again'),'src_position'(87,3,2873,57)).
58		'comment'('lineComment'('-- all valid configurations'),'src_position'(97,1,3339,27)).
59		'comment'('lineComment'('-- chose name not yet in list, prio and readiness'),'src_position'(105,5,3616,49)).
60		'comment'('lineComment'('-- For livelock absence: check LTL formula: G not G [tau]'),'src_position'(123,1,4286,57)).
61		'symbol'('diverge','diverge','src_span'(4,9,4,16,126,7),'Channel').
62		'symbol'('DIV','DIV','src_span'(5,1,5,4,134,3),'Ident (Groundrep.)').
63		'symbol'('D','D','src_span'(5,11,5,12,144,1),'Ident (Groundrep.)').
64		'symbol'('OZSemantics','OZSemantics','src_span'(7,1,7,12,185,11),'Funktion or Process').
65		'symbol'('OZOps','OZOps','src_span'(7,13,7,18,197,5),'Ident (Prolog Variable)').
66		'symbol'('in','in','src_span'(7,20,7,22,204,2),'Ident (Prolog Variable)').
67		'symbol'('out','out','src_span'(7,24,7,27,208,3),'Ident (Prolog Variable)').
68		'symbol'('enable','enable','src_span'(7,29,7,35,213,6),'Ident (Prolog Variable)').
69		'symbol'('effect','effect','src_span'(7,37,7,43,221,6),'Ident (Prolog Variable)').
70		'symbol'('init','init','src_span'(7,45,7,49,229,4),'Ident (Prolog Variable)').
71		'symbol'('CSPOps','CSPOps','src_span'(7,51,7,57,235,6),'Ident (Prolog Variable)').
72		'symbol'('CSPMain','CSPMain','src_span'(7,59,7,66,243,7),'Ident (Prolog Variable)').
73		'symbol'('event','event','src_span'(7,68,7,73,252,5),'Ident (Prolog Variable)').
74		'symbol'('ZPart','ZPart','src_span'(8,8,8,13,268,5),'Funktion or Process').
75		'symbol'('s','s','src_span'(8,14,8,15,274,1),'Ident (Prolog Variable)').
76		'symbol'('op','op','src_span'(8,22,8,24,282,2),'Ident (Prolog Variable)').
77		'symbol'('i','i','src_span'(8,54,8,55,314,1),'Ident (Prolog Variable)').
78		'symbol'('empty','empty','src_span'(9,12,9,17,339,5),'BuiltIn primitive').
79		'symbol'('o','o','src_span'(10,17,10,18,383,1),'Ident (Prolog Variable)').
80		'symbol'('o2','o','src_span'(12,17,12,18,448,1),'Ident (Prolog Variable)').
81		'symbol'('s\x27\','s\x27\','src_span'(12,19,12,21,450,2),'Ident (Prolog Variable)').
82		'symbol'('ZMain','ZMain','src_span'(14,8,14,13,520,5),'Ident (Groundrep.)').
83		'symbol'('s2','s','src_span'(14,19,14,20,531,1),'Ident (Prolog Variable)').
84		'symbol'('op2','op','src_span'(15,29,15,31,579,2),'Ident (Prolog Variable)').
85		'symbol'('suspend','suspend','src_span'(18,9,18,16,632,7),'Channel').
86		'symbol'('dispatch','dispatch','src_span'(18,18,18,26,641,8),'Channel').
87		'symbol'('wakeup','wakeup','src_span'(19,9,19,15,665,6),'Channel').
88		'symbol'('Names','Names','src_span'(22,10,22,15,692,5),'Datatype').
89		'symbol'('Idle','Idle','src_span'(22,18,22,22,700,4),'Constructor of Datatype').
90		'symbol'('T1','T1','src_span'(22,25,22,27,707,2),'Constructor of Datatype').
91		'symbol'('T2','T2','src_span'(22,29,22,31,711,2),'Constructor of Datatype').
92		'symbol'('Name','Name','src_span'(23,1,23,5,714,4),'Ident (Groundrep.)').
93		'symbol'('x','x','src_span'(23,13,23,14,726,1),'Ident (Prolog Variable)').
94		'symbol'('maxint','maxint','src_span'(24,1,24,7,738,6),'Ident (Groundrep.)').
95		'symbol'('card','card','src_span'(24,10,24,14,747,4),'BuiltIn primitive').
96		'symbol'('ints','ints','src_span'(26,1,26,5,763,4),'Ident (Groundrep.)').
97		'symbol'('ret_val','ret_val','src_span'(28,28,28,35,814,7),'Ident (Prolog Variable)').
98		'symbol'('state\x27\','state\x27\','src_span'(28,60,28,66,846,6),'Ident (Prolog Variable)').
99		'symbol'('getPrio','getPrio','src_span'(30,1,30,8,966,7),'Funktion or Process').
100		'symbol'('prio','prio','src_span'(30,12,30,16,977,4),'Ident (Prolog Variable)').
101		'symbol'('insertSorted','insertSorted','src_span'(31,1,31,13,993,12),'Funktion or Process').
102		'symbol'('l','l','src_span'(31,14,31,15,1006,1),'Ident (Prolog Variable)').
103		'symbol'('e','e','src_span'(31,16,31,17,1008,1),'Ident (Prolog Variable)').
104		'symbol'('null','null','src_span'(33,8,33,12,1037,4),'BuiltIn primitive').
105		'symbol'('head','head','src_span'(34,33,34,37,1091,4),'BuiltIn primitive').
106		'symbol'('tail','tail','src_span'(35,32,35,36,1147,4),'BuiltIn primitive').
107		'symbol'('getName','getName','src_span'(37,1,37,8,1159,7),'Funktion or Process').
108		'symbol'('name','name','src_span'(37,10,37,14,1168,4),'Ident (Prolog Variable)').
109		'symbol'('isReady','isReady','src_span'(38,1,38,8,1186,7),'Funktion or Process').
110		'symbol'('ready','ready','src_span'(38,14,38,19,1199,5),'Ident (Prolog Variable)').
111		'symbol'('deleteFrom','deleteFrom','src_span'(39,1,39,11,1215,10),'Funktion or Process').
112		'symbol'('l2','l','src_span'(39,12,39,13,1226,1),'Ident (Prolog Variable)').
113		'symbol'('e2','e','src_span'(39,15,39,16,1229,1),'Ident (Prolog Variable)').
114		'symbol'('null','null','src_span'(41,8,41,12,1258,4),'BuiltIn primitive').
115		'symbol'('head','head','src_span'(42,8,42,12,1285,4),'BuiltIn primitive').
116		'symbol'('tail','tail','src_span'(42,26,42,30,1303,4),'BuiltIn primitive').
117		'symbol'('Scheduler','Scheduler','src_span'(45,1,45,10,1359,9),'Funktion or Process').
118		'symbol'('threadList','threadList','src_span'(45,11,45,21,1369,10),'Ident (Prolog Variable)').
119		'symbol'('TNames','TNames','src_span'(46,3,46,9,1389,6),'Ident (Groundrep.)').
120		'symbol'('diff','diff','src_span'(46,12,46,16,1398,4),'BuiltIn primitive').
121		'symbol'('isNameMatch','isNameMatch','src_span'(47,3,47,14,1418,11),'Funktion or Process').
122		'symbol'('n1','n1','src_span'(47,16,47,18,1431,2),'Ident (Prolog Variable)').
123		'symbol'('n2','n2','src_span'(47,25,47,27,1440,2),'Ident (Prolog Variable)').
124		'symbol'('setReady','setReady','src_span'(48,3,48,11,1457,8),'Funktion or Process').
125		'symbol'('name2','name','src_span'(48,13,48,17,1467,4),'Ident (Prolog Variable)').
126		'symbol'('prio2','prio','src_span'(48,18,48,22,1472,4),'Ident (Prolog Variable)').
127		'symbol'('ready2','ready','src_span'(48,26,48,31,1480,5),'Ident (Prolog Variable)').
128		'symbol'('getReady2','getReady2','src_span'(50,3,50,12,1511,9),'Funktion or Process').
129		'symbol'('aList','aList','src_span'(50,13,50,18,1521,5),'Ident (Prolog Variable)').
130		'symbol'('x2','x','src_span'(50,27,50,28,1535,1),'Ident (Prolog Variable)').
131		'symbol'('setReady2','setReady2','src_span'(52,3,52,12,1562,9),'Funktion or Process').
132		'symbol'('aList2','aList','src_span'(52,13,52,18,1572,5),'Ident (Prolog Variable)').
133		'symbol'('aName','aName','src_span'(52,20,52,25,1579,5),'Ident (Prolog Variable)').
134		'symbol'('ready3','ready','src_span'(52,27,52,32,1586,5),'Ident (Prolog Variable)').
135		'symbol'('null','null','src_span'(53,8,53,12,1602,4),'BuiltIn primitive').
136		'symbol'('head','head','src_span'(54,20,54,24,1649,4),'BuiltIn primitive').
137		'symbol'('tail','tail','src_span'(54,74,54,78,1703,4),'BuiltIn primitive').
138		'symbol'('init2','init','src_span'(57,3,57,7,1779,4),'Ident (Groundrep.)').
139		'symbol'('elem','elem','src_span'(57,31,57,35,1807,4),'BuiltIn primitive').
140		'symbol'('Ops','Ops','src_span'(59,3,59,6,1844,3),'Ident (Groundrep.)').
141		'symbol'('CSPOps2','CSPOps','src_span'(60,3,60,9,1880,6),'Ident (Groundrep.)').
142		'symbol'('main','main','src_span'(61,3,61,7,1911,4),'Ident (Groundrep.)').
143		'symbol'('n','n','src_span'(61,19,61,20,1927,1),'Ident (Prolog Variable)').
144		'symbol'('n3','n','src_span'(61,41,61,42,1949,1),'Ident (Prolog Variable)').
145		'symbol'('event2','event','src_span'(63,3,63,8,1965,5),'Funktion or Process').
146		'symbol'('suspend','suspend','src_span'(18,9,18,16,632,7),'Channel').
147		'symbol'('i2','i','src_span'(63,18,63,19,1980,1),'Ident (Prolog Variable)').
148		'symbol'('dispatch','dispatch','src_span'(18,18,18,26,641,8),'Channel').
149		'symbol'('o3','o','src_span'(64,22,64,23,2019,1),'Ident (Prolog Variable)').
150		'symbol'('wakeup','wakeup','src_span'(19,9,19,15,665,6),'Channel').
151		'symbol'('in2','in','src_span'(66,3,66,5,2068,2),'Funktion or Process').
152		'symbol'('suspend','suspend','src_span'(18,9,18,16,632,7),'Channel').
153		'symbol'('out2','out','src_span'(68,3,68,6,2108,3),'Funktion or Process').
154		'symbol'('dispatch','dispatch','src_span'(18,18,18,26,641,8),'Channel').
155		'symbol'('enable2','enable','src_span'(70,3,70,9,2147,6),'Funktion or Process').
156		'symbol'('suspend','suspend','src_span'(18,9,18,16,632,7),'Channel').
157		'symbol'('threads','threads','src_span'(70,20,70,27,2164,7),'Ident (Prolog Variable)').
158		'symbol'('runningNow','runningNow','src_span'(70,29,70,39,2173,10),'Ident (Prolog Variable)').
159		'symbol'('wakeup','wakeup','src_span'(19,9,19,15,665,6),'Channel').
160		'symbol'('threads2','threads','src_span'(71,19,71,26,2227,7),'Ident (Prolog Variable)').
161		'symbol'('runningNow2','runningNow','src_span'(71,28,71,38,2236,10),'Ident (Prolog Variable)').
162		'symbol'('resume','resume','src_span'(75,3,75,9,2340,6),'Funktion or Process').
163		'symbol'('threads3','threads','src_span'(75,11,75,18,2348,7),'Ident (Prolog Variable)').
164		'symbol'('runningNow3','runningNow','src_span'(75,20,75,30,2357,10),'Ident (Prolog Variable)').
165		'symbol'('tname','tname','src_span'(75,33,75,38,2370,5),'Ident (Prolog Variable)').
166		'symbol'('state\x27\2','state\x27\','src_span'(76,20,76,26,2399,6),'Ident (Prolog Variable)').
167		'symbol'('effect2','effect','src_span'(79,3,79,9,2508,6),'Funktion or Process').
168		'symbol'('wakeup','wakeup','src_span'(19,9,19,15,665,6),'Channel').
169		'symbol'('threads4','threads','src_span'(79,19,79,26,2524,7),'Ident (Prolog Variable)').
170		'symbol'('runningNow4','runningNow','src_span'(79,28,79,38,2533,10),'Ident (Prolog Variable)').
171		'symbol'('tname2','tname','src_span'(80,17,80,22,2566,5),'Ident (Prolog Variable)').
172		'symbol'('thread','thread','src_span'(80,45,80,51,2594,6),'Ident (Prolog Variable)').
173		'symbol'('set','set','src_span'(80,55,80,58,2604,3),'BuiltIn primitive').
174		'symbol'('ret_pair','ret_pair','src_span'(81,9,81,17,2648,8),'Ident (Prolog Variable)').
175		'symbol'('suspend','suspend','src_span'(18,9,18,16,632,7),'Channel').
176		'symbol'('threads5','threads','src_span'(84,20,84,27,2758,7),'Ident (Prolog Variable)').
177		'symbol'('runningNow5','runningNow','src_span'(84,29,84,39,2767,10),'Ident (Prolog Variable)').
178		'symbol'('tname3','tname','src_span'(84,42,84,47,2780,5),'Ident (Prolog Variable)').
179		'symbol'('state\x27\3','state\x27\','src_span'(85,20,85,26,2809,6),'Ident (Prolog Variable)').
180		'symbol'('dispatch','dispatch','src_span'(18,18,18,26,641,8),'Channel').
181		'symbol'('threads6','threads','src_span'(88,21,88,28,2951,7),'Ident (Prolog Variable)').
182		'symbol'('runningNow6','runningNow','src_span'(88,30,88,40,2960,10),'Ident (Prolog Variable)').
183		'symbol'('rThreads','rThreads','src_span'(89,9,89,17,2986,8),'Ident (Groundrep.)').
184		'symbol'('nRunner','nRunner','src_span'(90,9,90,16,3024,7),'Ident (Groundrep.)').
185		'symbol'('null','null','src_span'(90,22,90,26,3037,4),'BuiltIn primitive').
186		'symbol'('head','head','src_span'(90,61,90,65,3076,4),'BuiltIn primitive').
187		'symbol'('ret_val2','ret_val','src_span'(91,26,91,33,3123,7),'Ident (Prolog Variable)').
188		'symbol'('state\x27\4','state\x27\','src_span'(93,9,93,15,3185,6),'Ident (Prolog Variable)').
189		'symbol'('max','max','src_span'(98,1,98,4,3367,3),'Funktion or Process').
190		'symbol'('x3','x','src_span'(98,5,98,6,3371,1),'Ident (Prolog Variable)').
191		'symbol'('y','y','src_span'(98,7,98,8,3373,1),'Ident (Prolog Variable)').
192		'symbol'('getMaxPrio','getMaxPrio','src_span'(99,1,99,11,3401,10),'Funktion or Process').
193		'symbol'('l3','l','src_span'(99,12,99,13,3412,1),'Ident (Prolog Variable)').
194		'symbol'('null','null','src_span'(100,8,100,12,3424,4),'BuiltIn primitive').
195		'symbol'('head','head','src_span'(101,21,101,25,3464,4),'BuiltIn primitive').
196		'symbol'('tail','tail','src_span'(101,41,101,45,3484,4),'BuiltIn primitive').
197		'symbol'('debug','debug','src_span'(102,9,102,14,3510,5),'Channel').
198		'symbol'('start','start','src_span'(103,9,103,14,3545,5),'Channel').
199		'symbol'('Sys','Sys','src_span'(104,1,104,4,3551,3),'Funktion or Process').
200		'symbol'('l4','l','src_span'(104,5,104,6,3555,1),'Ident (Prolog Variable)').
201		'symbol'('x1','x1','src_span'(106,8,106,10,3673,2),'Ident (Prolog Variable)').
202		'symbol'('x22','x2','src_span'(106,11,106,13,3676,2),'Ident (Prolog Variable)').
203		'symbol'('x32','x3','src_span'(106,14,106,16,3679,2),'Ident (Prolog Variable)').
204		'symbol'('y1','y1','src_span'(107,9,107,11,3705,2),'Ident (Prolog Variable)').
205		'symbol'('diff','diff','src_span'(107,15,107,19,3711,4),'BuiltIn primitive').
206		'symbol'('x4','x','src_span'(107,39,107,40,3735,1),'Ident (Prolog Variable)').
207		'symbol'('set','set','src_span'(107,44,107,47,3740,3),'BuiltIn primitive').
208		'symbol'('y2','y2','src_span'(108,9,108,11,3758,2),'Ident (Prolog Variable)').
209		'symbol'('y3','y3','src_span'(109,9,109,11,3799,2),'Ident (Prolog Variable)').
210		'symbol'('MAIN','MAIN','src_span'(111,1,111,5,3857,4),'Ident (Groundrep.)').
211		'symbol'('x5','x','src_span'(116,21,116,22,3993,1),'Ident (Prolog Variable)').
212		'symbol'('set','set','src_span'(116,26,116,29,3998,3),'BuiltIn primitive').
213		'symbol'('diff','diff','src_span'(117,7,117,11,4026,4),'BuiltIn primitive').
214		'symbol'('x6','x','src_span'(117,31,117,32,4050,1),'Ident (Prolog Variable)').
215		'symbol'('set','set','src_span'(117,36,117,39,4055,3),'BuiltIn primitive').
216		'symbol'('y12','y1','src_span'(120,9,120,11,4152,2),'Ident (Prolog Variable)').
217		'symbol'('x7','x','src_span'(120,39,120,40,4182,1),'Ident (Prolog Variable)').
218		'symbol'('set','set','src_span'(120,44,120,47,4187,3),'BuiltIn primitive').
219		'symbol'('y22','y2','src_span'(121,9,121,11,4219,2),'Ident (Prolog Variable)').
220		'symbol'('y32','y3','src_span'(122,9,122,11,4274,2),'Ident (Prolog Variable)').