1		:- dynamic parserVersionNum/1, parserVersionStr/1, parseResult/5.
2		:- dynamic module/4.
3		'parserVersionStr'('0.6.2.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,1,1]).
16		'parserVersionStr'('CSPM-Frontent-0.11.1.1').
17		'bindval'('S','setExp'('rangeClosed'('int'(1),'int'(3))),'src_span'(3,1,3,11,25,10)).
18		'dataTypeDef'('D',['constructorC'('A','dotTupleType'(['val_of'('S','src_span'(5,16,5,17,52,1))])),'constructorC'('B','dotTupleType'(['typeTuple'(['val_of'('S','src_span'(5,23,5,24,59,1)),'val_of'('S','src_span'(5,25,5,26,61,1)),'val_of'('S','src_span'(5,27,5,28,63,1))])])),'constructorC'('C','dotTupleType'(['val_of'('S','src_span'(5,34,5,35,70,1)),'val_of'('S','src_span'(5,36,5,37,72,1)),'val_of'('S','src_span'(5,38,5,39,74,1))])),'constructorC'('Double','dotTupleType'(['val_of'('S','src_span'(5,49,5,50,85,1)),'val_of'('S','src_span'(5,51,5,52,87,1))]))]).
19		'channel'('c','type'('dotTupleType'(['D']))).
20		'bindval'('R','setExp'('rangeEnum'(['dotTuple'([_x,_y,_z])]),['comprehensionGenerator'(_x,'setExp'('rangeClosed'('int'(1),'int'(2)))),'comprehensionGenerator'(_y,'setExp'('rangeClosed'('int'(1),'int'(2)))),'comprehensionGenerator'(_z,'setExp'('rangeClosed'('int'(2),'int'(3))))]),'src_span'(9,1,9,50,104,49)).
21		'bindval'('MAIN','prefix'('src_span'(11,8,11,11,162,3),['in'('tuplePat'([_x2,_y2,_z2]))],'dotTuple'(['c','B']),'prefix'('src_span'(11,23,11,28,177,5),[],'dotTuple'(['c','A',_x2]),'prefix'('src_span'(11,32,11,37,186,5),[],'dotTuple'(['c','A',_y2]),'prefix'('src_span'(11,41,11,46,195,5),[],'dotTuple'(['c','A',_z2]),'val_of'('MAIN1','src_span'(11,50,11,55,204,5)),'src_span'(11,47,11,49,200,14)),'src_span'(11,38,11,40,191,23)),'src_span'(11,29,11,31,182,32)),'src_span'(11,20,11,22,173,44)),'src_span'(11,1,11,55,155,54)).
22		'bindval'('MAIN1','prefix'('src_span'(13,9,13,12,219,3),['inGuard'('alsoPattern'(['dotpat'([_x3,_y3]),_v]),'val_of'('R','src_span'(13,24,13,25,234,1)))],'dotTuple'(['c','C']),'prefix'('src_span'(13,29,13,34,239,5),[],'dotTuple'(['c','A',_x3]),'prefix'('src_span'(13,38,13,48,248,10),[],'dotTuple'(['c','Double',_y3]),'val_of'('MAIN','src_span'(13,52,13,56,262,4)),'src_span'(13,49,13,51,258,18)),'src_span'(13,35,13,37,244,27)),'src_span'(13,26,13,28,235,44)),'src_span'(13,1,13,56,211,55)).
23		'assertRef'('False','val_of'('MAIN','src_span'(15,8,15,12,275,4)),'FailureDivergence','val_of'('Nroot','src_span'(15,18,15,23,285,5)),'src_span'(15,1,15,23,268,22)).
24		'assertRef'('False','val_of'('Nroot','src_span'(16,8,16,13,298,5)),'FailureDivergence','val_of'('MAIN','src_span'(16,19,16,23,309,4)),'src_span'(16,1,16,23,291,22)).
25		'bindval'('Nroot','val_of'('N0','src_span'(20,38,20,40,356,2)),'src_span'(20,1,21,3,319,42)).
26		'bindval'('N0','[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('[]'('prefix'('src_span'(23,9,23,22,372,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(1),'int'(1),'int'(1)])])]),'val_of'('N1','src_span'(23,24,23,26,387,2)),'src_span'(23,23,23,23,385,17)),'prefix'('src_span'(24,5,24,18,394,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(1),'int'(1),'int'(2)])])]),'val_of'('N2','src_span'(24,20,24,22,409,2)),'src_span'(24,19,24,19,407,17)),'src_span_operator'('no_loc_info_available','src_span'(24,2,24,4,391,2))),'prefix'('src_span'(25,5,25,18,416,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(1),'int'(1),'int'(3)])])]),'val_of'('N3','src_span'(25,20,25,22,431,2)),'src_span'(25,19,25,19,429,17)),'src_span_operator'('no_loc_info_available','src_span'(25,2,25,4,413,2))),'prefix'('src_span'(26,5,26,18,438,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(1),'int'(2),'int'(1)])])]),'val_of'('N4','src_span'(26,20,26,22,453,2)),'src_span'(26,19,26,19,451,17)),'src_span_operator'('no_loc_info_available','src_span'(26,2,26,4,435,2))),'prefix'('src_span'(27,5,27,18,460,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(1),'int'(2),'int'(2)])])]),'val_of'('N5','src_span'(27,20,27,22,475,2)),'src_span'(27,19,27,19,473,17)),'src_span_operator'('no_loc_info_available','src_span'(27,2,27,4,457,2))),'prefix'('src_span'(28,5,28,18,482,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(1),'int'(2),'int'(3)])])]),'val_of'('N6','src_span'(28,20,28,22,497,2)),'src_span'(28,19,28,19,495,17)),'src_span_operator'('no_loc_info_available','src_span'(28,2,28,4,479,2))),'prefix'('src_span'(29,5,29,18,504,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(1),'int'(3),'int'(1)])])]),'val_of'('N7','src_span'(29,20,29,22,519,2)),'src_span'(29,19,29,19,517,17)),'src_span_operator'('no_loc_info_available','src_span'(29,2,29,4,501,2))),'prefix'('src_span'(30,5,30,18,526,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(1),'int'(3),'int'(2)])])]),'val_of'('N8','src_span'(30,20,30,22,541,2)),'src_span'(30,19,30,19,539,17)),'src_span_operator'('no_loc_info_available','src_span'(30,2,30,4,523,2))),'prefix'('src_span'(31,5,31,18,548,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(1),'int'(3),'int'(3)])])]),'val_of'('N9','src_span'(31,20,31,22,563,2)),'src_span'(31,19,31,19,561,17)),'src_span_operator'('no_loc_info_available','src_span'(31,2,31,4,545,2))),'prefix'('src_span'(32,5,32,18,570,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(2),'int'(1),'int'(1)])])]),'val_of'('N10','src_span'(32,20,32,23,585,3)),'src_span'(32,19,32,19,583,18)),'src_span_operator'('no_loc_info_available','src_span'(32,2,32,4,567,2))),'prefix'('src_span'(33,5,33,18,593,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(2),'int'(1),'int'(2)])])]),'val_of'('N11','src_span'(33,20,33,23,608,3)),'src_span'(33,19,33,19,606,18)),'src_span_operator'('no_loc_info_available','src_span'(33,2,33,4,590,2))),'prefix'('src_span'(34,5,34,18,616,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(2),'int'(1),'int'(3)])])]),'val_of'('N12','src_span'(34,20,34,23,631,3)),'src_span'(34,19,34,19,629,18)),'src_span_operator'('no_loc_info_available','src_span'(34,2,34,4,613,2))),'prefix'('src_span'(35,5,35,18,639,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(2),'int'(2),'int'(1)])])]),'val_of'('N13','src_span'(35,20,35,23,654,3)),'src_span'(35,19,35,19,652,18)),'src_span_operator'('no_loc_info_available','src_span'(35,2,35,4,636,2))),'prefix'('src_span'(36,5,36,18,662,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(2),'int'(2),'int'(2)])])]),'val_of'('N14','src_span'(36,20,36,23,677,3)),'src_span'(36,19,36,19,675,18)),'src_span_operator'('no_loc_info_available','src_span'(36,2,36,4,659,2))),'prefix'('src_span'(37,5,37,18,685,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(2),'int'(2),'int'(3)])])]),'val_of'('N15','src_span'(37,20,37,23,700,3)),'src_span'(37,19,37,19,698,18)),'src_span_operator'('no_loc_info_available','src_span'(37,2,37,4,682,2))),'prefix'('src_span'(38,5,38,18,708,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(2),'int'(3),'int'(1)])])]),'val_of'('N16','src_span'(38,20,38,23,723,3)),'src_span'(38,19,38,19,721,18)),'src_span_operator'('no_loc_info_available','src_span'(38,2,38,4,705,2))),'prefix'('src_span'(39,5,39,18,731,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(2),'int'(3),'int'(2)])])]),'val_of'('N17','src_span'(39,20,39,23,746,3)),'src_span'(39,19,39,19,744,18)),'src_span_operator'('no_loc_info_available','src_span'(39,2,39,4,728,2))),'prefix'('src_span'(40,5,40,18,754,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(2),'int'(3),'int'(3)])])]),'val_of'('N18','src_span'(40,20,40,23,769,3)),'src_span'(40,19,40,19,767,18)),'src_span_operator'('no_loc_info_available','src_span'(40,2,40,4,751,2))),'prefix'('src_span'(41,5,41,18,777,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(3),'int'(1),'int'(1)])])]),'val_of'('N19','src_span'(41,20,41,23,792,3)),'src_span'(41,19,41,19,790,18)),'src_span_operator'('no_loc_info_available','src_span'(41,2,41,4,774,2))),'prefix'('src_span'(42,5,42,18,800,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(3),'int'(1),'int'(2)])])]),'val_of'('N20','src_span'(42,20,42,23,815,3)),'src_span'(42,19,42,19,813,18)),'src_span_operator'('no_loc_info_available','src_span'(42,2,42,4,797,2))),'prefix'('src_span'(43,5,43,18,823,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(3),'int'(1),'int'(3)])])]),'val_of'('N21','src_span'(43,20,43,23,838,3)),'src_span'(43,19,43,19,836,18)),'src_span_operator'('no_loc_info_available','src_span'(43,2,43,4,820,2))),'prefix'('src_span'(44,5,44,18,846,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(3),'int'(2),'int'(1)])])]),'val_of'('N22','src_span'(44,20,44,23,861,3)),'src_span'(44,19,44,19,859,18)),'src_span_operator'('no_loc_info_available','src_span'(44,2,44,4,843,2))),'prefix'('src_span'(45,5,45,18,869,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(3),'int'(2),'int'(2)])])]),'val_of'('N23','src_span'(45,20,45,23,884,3)),'src_span'(45,19,45,19,882,18)),'src_span_operator'('no_loc_info_available','src_span'(45,2,45,4,866,2))),'prefix'('src_span'(46,5,46,18,892,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(3),'int'(2),'int'(3)])])]),'val_of'('N24','src_span'(46,20,46,23,907,3)),'src_span'(46,19,46,19,905,18)),'src_span_operator'('no_loc_info_available','src_span'(46,2,46,4,889,2))),'prefix'('src_span'(47,5,47,18,915,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(3),'int'(3),'int'(1)])])]),'val_of'('N25','src_span'(47,20,47,23,930,3)),'src_span'(47,19,47,19,928,18)),'src_span_operator'('no_loc_info_available','src_span'(47,2,47,4,912,2))),'prefix'('src_span'(48,5,48,18,938,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(3),'int'(3),'int'(2)])])]),'val_of'('N26','src_span'(48,20,48,23,953,3)),'src_span'(48,19,48,19,951,18)),'src_span_operator'('no_loc_info_available','src_span'(48,2,48,4,935,2))),'prefix'('src_span'(49,5,49,18,961,13),[],'dotTuple'(['c','dotTuple'(['B','tupleExp'(['int'(3),'int'(3),'int'(3)])])]),'val_of'('N27','src_span'(49,20,49,23,976,3)),'src_span'(49,19,49,19,974,18)),'src_span_operator'('no_loc_info_available','src_span'(49,2,49,4,958,2))),'src_span'(23,1,50,3,364,618)).
27		'bindval'('N1','prefix'('src_span'(52,9,52,16,993,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N28','src_span'(52,18,52,21,1002,3)),'src_span'(52,17,52,17,1000,12)),'src_span'(52,1,53,3,985,23)).
28		'bindval'('N2','prefix'('src_span'(55,9,55,16,1019,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N30','src_span'(55,18,55,21,1028,3)),'src_span'(55,17,55,17,1026,12)),'src_span'(55,1,56,3,1011,23)).
29		'bindval'('N3','prefix'('src_span'(58,9,58,16,1045,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N41','src_span'(58,18,58,21,1054,3)),'src_span'(58,17,58,17,1052,12)),'src_span'(58,1,59,3,1037,23)).
30		'bindval'('N4','prefix'('src_span'(61,9,61,16,1071,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N42','src_span'(61,18,61,21,1080,3)),'src_span'(61,17,61,17,1078,12)),'src_span'(61,1,62,3,1063,23)).
31		'bindval'('N5','prefix'('src_span'(64,9,64,16,1097,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N44','src_span'(64,18,64,21,1106,3)),'src_span'(64,17,64,17,1104,12)),'src_span'(64,1,65,3,1089,23)).
32		'bindval'('N6','prefix'('src_span'(67,9,67,16,1123,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N46','src_span'(67,18,67,21,1132,3)),'src_span'(67,17,67,17,1130,12)),'src_span'(67,1,68,3,1115,23)).
33		'bindval'('N7','prefix'('src_span'(70,9,70,16,1149,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N47','src_span'(70,18,70,21,1158,3)),'src_span'(70,17,70,17,1156,12)),'src_span'(70,1,71,3,1141,23)).
34		'bindval'('N8','prefix'('src_span'(73,9,73,16,1175,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N48','src_span'(73,18,73,21,1184,3)),'src_span'(73,17,73,17,1182,12)),'src_span'(73,1,74,3,1167,23)).
35		'bindval'('N9','prefix'('src_span'(76,9,76,16,1201,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N29','src_span'(76,18,76,21,1210,3)),'src_span'(76,17,76,17,1208,12)),'src_span'(76,1,77,3,1193,23)).
36		'bindval'('N10','prefix'('src_span'(79,10,79,17,1228,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N28','src_span'(79,19,79,22,1237,3)),'src_span'(79,18,79,18,1235,12)),'src_span'(79,1,80,3,1219,24)).
37		'bindval'('N11','prefix'('src_span'(82,10,82,17,1255,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N30','src_span'(82,19,82,22,1264,3)),'src_span'(82,18,82,18,1262,12)),'src_span'(82,1,83,3,1246,24)).
38		'bindval'('N12','prefix'('src_span'(85,10,85,17,1282,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N41','src_span'(85,19,85,22,1291,3)),'src_span'(85,18,85,18,1289,12)),'src_span'(85,1,86,3,1273,24)).
39		'bindval'('N13','prefix'('src_span'(88,10,88,17,1309,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N42','src_span'(88,19,88,22,1318,3)),'src_span'(88,18,88,18,1316,12)),'src_span'(88,1,89,3,1300,24)).
40		'bindval'('N14','prefix'('src_span'(91,10,91,17,1336,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N44','src_span'(91,19,91,22,1345,3)),'src_span'(91,18,91,18,1343,12)),'src_span'(91,1,92,3,1327,24)).
41		'bindval'('N15','prefix'('src_span'(94,10,94,17,1363,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N46','src_span'(94,19,94,22,1372,3)),'src_span'(94,18,94,18,1370,12)),'src_span'(94,1,95,3,1354,24)).
42		'bindval'('N16','prefix'('src_span'(97,10,97,17,1390,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N47','src_span'(97,19,97,22,1399,3)),'src_span'(97,18,97,18,1397,12)),'src_span'(97,1,98,3,1381,24)).
43		'bindval'('N17','prefix'('src_span'(100,10,100,17,1417,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N48','src_span'(100,19,100,22,1426,3)),'src_span'(100,18,100,18,1424,12)),'src_span'(100,1,101,3,1408,24)).
44		'bindval'('N18','prefix'('src_span'(103,10,103,17,1444,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N29','src_span'(103,19,103,22,1453,3)),'src_span'(103,18,103,18,1451,12)),'src_span'(103,1,104,3,1435,24)).
45		'bindval'('N19','prefix'('src_span'(106,10,106,17,1471,7),[],'dotTuple'(['c','dotTuple'(['A','int'(3)])]),'val_of'('N28','src_span'(106,19,106,22,1480,3)),'src_span'(106,18,106,18,1478,12)),'src_span'(106,1,107,3,1462,24)).
46		'bindval'('N20','prefix'('src_span'(109,10,109,17,1498,7),[],'dotTuple'(['c','dotTuple'(['A','int'(3)])]),'val_of'('N30','src_span'(109,19,109,22,1507,3)),'src_span'(109,18,109,18,1505,12)),'src_span'(109,1,110,3,1489,24)).
47		'bindval'('N21','prefix'('src_span'(112,10,112,17,1525,7),[],'dotTuple'(['c','dotTuple'(['A','int'(3)])]),'val_of'('N41','src_span'(112,19,112,22,1534,3)),'src_span'(112,18,112,18,1532,12)),'src_span'(112,1,113,3,1516,24)).
48		'bindval'('N22','prefix'('src_span'(115,10,115,17,1552,7),[],'dotTuple'(['c','dotTuple'(['A','int'(3)])]),'val_of'('N42','src_span'(115,19,115,22,1561,3)),'src_span'(115,18,115,18,1559,12)),'src_span'(115,1,116,3,1543,24)).
49		'bindval'('N23','prefix'('src_span'(118,10,118,17,1579,7),[],'dotTuple'(['c','dotTuple'(['A','int'(3)])]),'val_of'('N44','src_span'(118,19,118,22,1588,3)),'src_span'(118,18,118,18,1586,12)),'src_span'(118,1,119,3,1570,24)).
50		'bindval'('N24','prefix'('src_span'(121,10,121,17,1606,7),[],'dotTuple'(['c','dotTuple'(['A','int'(3)])]),'val_of'('N46','src_span'(121,19,121,22,1615,3)),'src_span'(121,18,121,18,1613,12)),'src_span'(121,1,122,3,1597,24)).
51		'bindval'('N25','prefix'('src_span'(124,10,124,17,1633,7),[],'dotTuple'(['c','dotTuple'(['A','int'(3)])]),'val_of'('N47','src_span'(124,19,124,22,1642,3)),'src_span'(124,18,124,18,1640,12)),'src_span'(124,1,125,3,1624,24)).
52		'bindval'('N26','prefix'('src_span'(127,10,127,17,1660,7),[],'dotTuple'(['c','dotTuple'(['A','int'(3)])]),'val_of'('N48','src_span'(127,19,127,22,1669,3)),'src_span'(127,18,127,18,1667,12)),'src_span'(127,1,128,3,1651,24)).
53		'bindval'('N27','prefix'('src_span'(130,10,130,17,1687,7),[],'dotTuple'(['c','dotTuple'(['A','int'(3)])]),'val_of'('N29','src_span'(130,19,130,22,1696,3)),'src_span'(130,18,130,18,1694,12)),'src_span'(130,1,131,3,1678,24)).
54		'bindval'('N28','prefix'('src_span'(133,10,133,17,1714,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N50','src_span'(133,19,133,22,1723,3)),'src_span'(133,18,133,18,1721,12)),'src_span'(133,1,134,3,1705,24)).
55		'bindval'('N29','prefix'('src_span'(136,10,136,17,1741,7),[],'dotTuple'(['c','dotTuple'(['A','int'(3)])]),'val_of'('N31','src_span'(136,19,136,22,1750,3)),'src_span'(136,18,136,18,1748,12)),'src_span'(136,1,137,3,1732,24)).
56		'bindval'('N30','prefix'('src_span'(139,10,139,17,1768,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N49','src_span'(139,19,139,22,1777,3)),'src_span'(139,18,139,18,1775,12)),'src_span'(139,1,140,3,1759,24)).
57		'bindval'('N31','prefix'('src_span'(142,10,142,17,1795,7),[],'dotTuple'(['c','dotTuple'(['A','int'(3)])]),'val_of'('N32','src_span'(142,19,142,22,1804,3)),'src_span'(142,18,142,18,1802,12)),'src_span'(142,1,143,3,1786,24)).
58		'bindval'('N32','[]'('[]'('[]'('[]'('[]'('[]'('[]'('prefix'('src_span'(145,10,145,21,1822,11),[],'dotTuple'(['c','dotTuple'(['C','int'(1),'int'(1),'int'(2)])]),'val_of'('N33','src_span'(145,23,145,26,1835,3)),'src_span'(145,22,145,22,1833,16)),'prefix'('src_span'(146,5,146,16,1843,11),[],'dotTuple'(['c','dotTuple'(['C','int'(1),'int'(1),'int'(3)])]),'val_of'('N34','src_span'(146,18,146,21,1856,3)),'src_span'(146,17,146,17,1854,16)),'src_span_operator'('no_loc_info_available','src_span'(146,2,146,4,1840,2))),'prefix'('src_span'(147,5,147,16,1864,11),[],'dotTuple'(['c','dotTuple'(['C','int'(1),'int'(2),'int'(2)])]),'val_of'('N35','src_span'(147,18,147,21,1877,3)),'src_span'(147,17,147,17,1875,16)),'src_span_operator'('no_loc_info_available','src_span'(147,2,147,4,1861,2))),'prefix'('src_span'(148,5,148,16,1885,11),[],'dotTuple'(['c','dotTuple'(['C','int'(1),'int'(2),'int'(3)])]),'val_of'('N36','src_span'(148,18,148,21,1898,3)),'src_span'(148,17,148,17,1896,16)),'src_span_operator'('no_loc_info_available','src_span'(148,2,148,4,1882,2))),'prefix'('src_span'(149,5,149,16,1906,11),[],'dotTuple'(['c','dotTuple'(['C','int'(2),'int'(1),'int'(2)])]),'val_of'('N37','src_span'(149,18,149,21,1919,3)),'src_span'(149,17,149,17,1917,16)),'src_span_operator'('no_loc_info_available','src_span'(149,2,149,4,1903,2))),'prefix'('src_span'(150,5,150,16,1927,11),[],'dotTuple'(['c','dotTuple'(['C','int'(2),'int'(1),'int'(3)])]),'val_of'('N38','src_span'(150,18,150,21,1940,3)),'src_span'(150,17,150,17,1938,16)),'src_span_operator'('no_loc_info_available','src_span'(150,2,150,4,1924,2))),'prefix'('src_span'(151,5,151,16,1948,11),[],'dotTuple'(['c','dotTuple'(['C','int'(2),'int'(2),'int'(2)])]),'val_of'('N39','src_span'(151,18,151,21,1961,3)),'src_span'(151,17,151,17,1959,16)),'src_span_operator'('no_loc_info_available','src_span'(151,2,151,4,1945,2))),'prefix'('src_span'(152,5,152,16,1969,11),[],'dotTuple'(['c','dotTuple'(['C','int'(2),'int'(2),'int'(3)])]),'val_of'('N40','src_span'(152,18,152,21,1982,3)),'src_span'(152,17,152,17,1980,16)),'src_span_operator'('no_loc_info_available','src_span'(152,2,152,4,1966,2))),'src_span'(145,1,153,3,1813,175)).
59		'bindval'('N33','prefix'('src_span'(155,10,155,17,2000,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N52','src_span'(155,19,155,22,2009,3)),'src_span'(155,18,155,18,2007,12)),'src_span'(155,1,156,3,1991,24)).
60		'bindval'('N34','prefix'('src_span'(158,10,158,17,2027,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N51','src_span'(158,19,158,22,2036,3)),'src_span'(158,18,158,18,2034,12)),'src_span'(158,1,159,3,2018,24)).
61		'bindval'('N35','prefix'('src_span'(161,10,161,17,2054,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N45','src_span'(161,19,161,22,2063,3)),'src_span'(161,18,161,18,2061,12)),'src_span'(161,1,162,3,2045,24)).
62		'bindval'('N36','prefix'('src_span'(164,10,164,17,2081,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N43','src_span'(164,19,164,22,2090,3)),'src_span'(164,18,164,18,2088,12)),'src_span'(164,1,165,3,2072,24)).
63		'bindval'('N37','prefix'('src_span'(167,10,167,17,2108,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N52','src_span'(167,19,167,22,2117,3)),'src_span'(167,18,167,18,2115,12)),'src_span'(167,1,168,3,2099,24)).
64		'bindval'('N38','prefix'('src_span'(170,10,170,17,2135,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N51','src_span'(170,19,170,22,2144,3)),'src_span'(170,18,170,18,2142,12)),'src_span'(170,1,171,3,2126,24)).
65		'bindval'('N39','prefix'('src_span'(173,10,173,17,2162,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N45','src_span'(173,19,173,22,2171,3)),'src_span'(173,18,173,18,2169,12)),'src_span'(173,1,174,3,2153,24)).
66		'bindval'('N40','prefix'('src_span'(176,10,176,17,2189,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N43','src_span'(176,19,176,22,2198,3)),'src_span'(176,18,176,18,2196,12)),'src_span'(176,1,177,3,2180,24)).
67		'bindval'('N41','prefix'('src_span'(179,10,179,17,2216,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N31','src_span'(179,19,179,22,2225,3)),'src_span'(179,18,179,18,2223,12)),'src_span'(179,1,180,3,2207,24)).
68		'bindval'('N42','prefix'('src_span'(182,10,182,17,2243,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N50','src_span'(182,19,182,22,2252,3)),'src_span'(182,18,182,18,2250,12)),'src_span'(182,1,183,3,2234,24)).
69		'bindval'('N43','prefix'('src_span'(185,10,185,24,2270,14),[],'dotTuple'(['c','dotTuple'(['Double','int'(2),'int'(3)])]),'val_of'('N0','src_span'(185,26,185,28,2286,2)),'src_span'(185,25,185,25,2284,18)),'src_span'(185,1,186,3,2261,30)).
70		'bindval'('N44','prefix'('src_span'(188,10,188,17,2303,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N49','src_span'(188,19,188,22,2312,3)),'src_span'(188,18,188,18,2310,12)),'src_span'(188,1,189,3,2294,24)).
71		'bindval'('N45','prefix'('src_span'(191,10,191,24,2330,14),[],'dotTuple'(['c','dotTuple'(['Double','int'(2),'int'(2)])]),'val_of'('N0','src_span'(191,26,191,28,2346,2)),'src_span'(191,25,191,25,2344,18)),'src_span'(191,1,192,3,2321,30)).
72		'bindval'('N46','prefix'('src_span'(194,10,194,17,2363,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N31','src_span'(194,19,194,22,2372,3)),'src_span'(194,18,194,18,2370,12)),'src_span'(194,1,195,3,2354,24)).
73		'bindval'('N47','prefix'('src_span'(197,10,197,17,2390,7),[],'dotTuple'(['c','dotTuple'(['A','int'(3)])]),'val_of'('N50','src_span'(197,19,197,22,2399,3)),'src_span'(197,18,197,18,2397,12)),'src_span'(197,1,198,3,2381,24)).
74		'bindval'('N48','prefix'('src_span'(200,10,200,17,2417,7),[],'dotTuple'(['c','dotTuple'(['A','int'(3)])]),'val_of'('N49','src_span'(200,19,200,22,2426,3)),'src_span'(200,18,200,18,2424,12)),'src_span'(200,1,201,3,2408,24)).
75		'bindval'('N49','prefix'('src_span'(203,10,203,17,2444,7),[],'dotTuple'(['c','dotTuple'(['A','int'(2)])]),'val_of'('N32','src_span'(203,19,203,22,2453,3)),'src_span'(203,18,203,18,2451,12)),'src_span'(203,1,204,3,2435,24)).
76		'bindval'('N50','prefix'('src_span'(206,10,206,17,2471,7),[],'dotTuple'(['c','dotTuple'(['A','int'(1)])]),'val_of'('N32','src_span'(206,19,206,22,2480,3)),'src_span'(206,18,206,18,2478,12)),'src_span'(206,1,207,3,2462,24)).
77		'bindval'('N51','prefix'('src_span'(209,10,209,24,2498,14),[],'dotTuple'(['c','dotTuple'(['Double','int'(1),'int'(3)])]),'val_of'('N0','src_span'(209,26,209,28,2514,2)),'src_span'(209,25,209,25,2512,18)),'src_span'(209,1,210,3,2489,30)).
78		'bindval'('N52','prefix'('src_span'(212,10,212,24,2531,14),[],'dotTuple'(['c','dotTuple'(['Double','int'(1),'int'(2)])]),'val_of'('N0','src_span'(212,26,212,28,2547,2)),'src_span'(212,25,212,25,2545,18)),'src_span'(212,1,213,3,2522,30)).
79		'comment'('lineComment'('-- EnumeratingDataTypes'),'src_position'(1,1,0,23)).
80		'comment'('lineComment'('--'),'src_position'(18,1,315,2)).
81		'comment'('blockComment'('{- start_cspm_MAIN-> -}'),'src_position'(20,14,332,23)).
82		'comment'('lineComment'('-- end of ProB Encoding'),'src_position'(215,1,2555,23)).
83		'symbol'('S','S','src_span'(3,1,3,2,25,1),'Ident (Groundrep.)').
84		'symbol'('D','D','src_span'(5,10,5,11,46,1),'Datatype').
85		'symbol'('A','A','src_span'(5,14,5,15,50,1),'Constructor of Datatype').
86		'symbol'('B','B','src_span'(5,20,5,21,56,1),'Constructor of Datatype').
87		'symbol'('C','C','src_span'(5,32,5,33,68,1),'Constructor of Datatype').
88		'symbol'('Double','Double','src_span'(5,42,5,48,78,6),'Constructor of Datatype').
89		'symbol'('c','c','src_span'(7,9,7,10,98,1),'Channel').
90		'symbol'('R','R','src_span'(9,1,9,2,104,1),'Ident (Groundrep.)').
91		'symbol'('x','x','src_span'(9,14,9,15,117,1),'Ident (Prolog Variable)').
92		'symbol'('y','y','src_span'(9,27,9,28,130,1),'Ident (Prolog Variable)').
93		'symbol'('z','z','src_span'(9,38,9,39,141,1),'Ident (Prolog Variable)').
94		'symbol'('MAIN','MAIN','src_span'(11,1,11,5,155,4),'Ident (Groundrep.)').
95		'symbol'('x2','x','src_span'(11,13,11,14,167,1),'Ident (Prolog Variable)').
96		'symbol'('y2','y','src_span'(11,15,11,16,169,1),'Ident (Prolog Variable)').
97		'symbol'('z2','z','src_span'(11,17,11,18,171,1),'Ident (Prolog Variable)').
98		'symbol'('MAIN1','MAIN1','src_span'(13,1,13,6,211,5),'Ident (Groundrep.)').
99		'symbol'('x3','x','src_span'(13,15,13,16,225,1),'Ident (Prolog Variable)').
100		'symbol'('y3','y','src_span'(13,17,13,18,227,1),'Ident (Prolog Variable)').
101		'symbol'('v','v','src_span'(13,21,13,22,231,1),'Ident (Prolog Variable)').
102		'symbol'('Nroot','Nroot','src_span'(20,1,20,6,319,5),'Ident (Groundrep.)').
103		'symbol'('N0','N0','src_span'(23,1,23,3,364,2),'Ident (Groundrep.)').
104		'symbol'('N1','N1','src_span'(52,1,52,3,985,2),'Ident (Groundrep.)').
105		'symbol'('N2','N2','src_span'(55,1,55,3,1011,2),'Ident (Groundrep.)').
106		'symbol'('N3','N3','src_span'(58,1,58,3,1037,2),'Ident (Groundrep.)').
107		'symbol'('N4','N4','src_span'(61,1,61,3,1063,2),'Ident (Groundrep.)').
108		'symbol'('N5','N5','src_span'(64,1,64,3,1089,2),'Ident (Groundrep.)').
109		'symbol'('N6','N6','src_span'(67,1,67,3,1115,2),'Ident (Groundrep.)').
110		'symbol'('N7','N7','src_span'(70,1,70,3,1141,2),'Ident (Groundrep.)').
111		'symbol'('N8','N8','src_span'(73,1,73,3,1167,2),'Ident (Groundrep.)').
112		'symbol'('N9','N9','src_span'(76,1,76,3,1193,2),'Ident (Groundrep.)').
113		'symbol'('N10','N10','src_span'(79,1,79,4,1219,3),'Ident (Groundrep.)').
114		'symbol'('N11','N11','src_span'(82,1,82,4,1246,3),'Ident (Groundrep.)').
115		'symbol'('N12','N12','src_span'(85,1,85,4,1273,3),'Ident (Groundrep.)').
116		'symbol'('N13','N13','src_span'(88,1,88,4,1300,3),'Ident (Groundrep.)').
117		'symbol'('N14','N14','src_span'(91,1,91,4,1327,3),'Ident (Groundrep.)').
118		'symbol'('N15','N15','src_span'(94,1,94,4,1354,3),'Ident (Groundrep.)').
119		'symbol'('N16','N16','src_span'(97,1,97,4,1381,3),'Ident (Groundrep.)').
120		'symbol'('N17','N17','src_span'(100,1,100,4,1408,3),'Ident (Groundrep.)').
121		'symbol'('N18','N18','src_span'(103,1,103,4,1435,3),'Ident (Groundrep.)').
122		'symbol'('N19','N19','src_span'(106,1,106,4,1462,3),'Ident (Groundrep.)').
123		'symbol'('N20','N20','src_span'(109,1,109,4,1489,3),'Ident (Groundrep.)').
124		'symbol'('N21','N21','src_span'(112,1,112,4,1516,3),'Ident (Groundrep.)').
125		'symbol'('N22','N22','src_span'(115,1,115,4,1543,3),'Ident (Groundrep.)').
126		'symbol'('N23','N23','src_span'(118,1,118,4,1570,3),'Ident (Groundrep.)').
127		'symbol'('N24','N24','src_span'(121,1,121,4,1597,3),'Ident (Groundrep.)').
128		'symbol'('N25','N25','src_span'(124,1,124,4,1624,3),'Ident (Groundrep.)').
129		'symbol'('N26','N26','src_span'(127,1,127,4,1651,3),'Ident (Groundrep.)').
130		'symbol'('N27','N27','src_span'(130,1,130,4,1678,3),'Ident (Groundrep.)').
131		'symbol'('N28','N28','src_span'(133,1,133,4,1705,3),'Ident (Groundrep.)').
132		'symbol'('N29','N29','src_span'(136,1,136,4,1732,3),'Ident (Groundrep.)').
133		'symbol'('N30','N30','src_span'(139,1,139,4,1759,3),'Ident (Groundrep.)').
134		'symbol'('N31','N31','src_span'(142,1,142,4,1786,3),'Ident (Groundrep.)').
135		'symbol'('N32','N32','src_span'(145,1,145,4,1813,3),'Ident (Groundrep.)').
136		'symbol'('N33','N33','src_span'(155,1,155,4,1991,3),'Ident (Groundrep.)').
137		'symbol'('N34','N34','src_span'(158,1,158,4,2018,3),'Ident (Groundrep.)').
138		'symbol'('N35','N35','src_span'(161,1,161,4,2045,3),'Ident (Groundrep.)').
139		'symbol'('N36','N36','src_span'(164,1,164,4,2072,3),'Ident (Groundrep.)').
140		'symbol'('N37','N37','src_span'(167,1,167,4,2099,3),'Ident (Groundrep.)').
141		'symbol'('N38','N38','src_span'(170,1,170,4,2126,3),'Ident (Groundrep.)').
142		'symbol'('N39','N39','src_span'(173,1,173,4,2153,3),'Ident (Groundrep.)').
143		'symbol'('N40','N40','src_span'(176,1,176,4,2180,3),'Ident (Groundrep.)').
144		'symbol'('N41','N41','src_span'(179,1,179,4,2207,3),'Ident (Groundrep.)').
145		'symbol'('N42','N42','src_span'(182,1,182,4,2234,3),'Ident (Groundrep.)').
146		'symbol'('N43','N43','src_span'(185,1,185,4,2261,3),'Ident (Groundrep.)').
147		'symbol'('N44','N44','src_span'(188,1,188,4,2294,3),'Ident (Groundrep.)').
148		'symbol'('N45','N45','src_span'(191,1,191,4,2321,3),'Ident (Groundrep.)').
149		'symbol'('N46','N46','src_span'(194,1,194,4,2354,3),'Ident (Groundrep.)').
150		'symbol'('N47','N47','src_span'(197,1,197,4,2381,3),'Ident (Groundrep.)').
151		'symbol'('N48','N48','src_span'(200,1,200,4,2408,3),'Ident (Groundrep.)').
152		'symbol'('N49','N49','src_span'(203,1,203,4,2435,3),'Ident (Groundrep.)').
153		'symbol'('N50','N50','src_span'(206,1,206,4,2462,3),'Ident (Groundrep.)').
154		'symbol'('N51','N51','src_span'(209,1,209,4,2489,3),'Ident (Groundrep.)').
155		'symbol'('N52','N52','src_span'(212,1,212,4,2522,3),'Ident (Groundrep.)').