Project

General

Profile

« Previous | Next » 

Revision dccec723

Added by LĂ©lio Brun over 3 years ago

a version that almost work for the k-inuctive two_counters example

View differences:

src/parsers/parser_lustre.messages
1 1
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET ANNOT XOR
2 2
##
3
## Ends in an error in state: 527.
3
## Ends in an error in state: 532.
4 4
##
5 5
## stmt_list -> ANNOT . stmt_list [ TEL ]
6 6
##
......
9 9
##
10 10
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET ASSERT UIDENT SCOL XOR
11 11
##
12
## Ends in an error in state: 537.
12
## Ends in an error in state: 542.
13 13
##
14 14
## stmt_list -> assert_ . stmt_list [ TEL ]
15 15
##
......
18 18
##
19 19
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET XOR
20 20
##
21
## Ends in an error in state: 501.
21
## Ends in an error in state: 506.
22 22
##
23 23
## top_decl -> state_annot node_ident_decl LPAR var_decl_list(vdecl) RPAR RETURNS LPAR var_decl_list(vdecl) RPAR option(SCOL) nodespecs loption(preceded(VAR,var_decl_list(local_vdecl))) LET . stmt_list TEL [ NODESPEC NODE FUNCTION EOF CONST ]
24 24
##
......
27 27
##
28 28
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT STATE UIDENT COL LET XOR
29 29
##
30
## Ends in an error in state: 523.
30
## Ends in an error in state: 528.
31 31
##
32 32
## handler -> STATE UIDENT COL list(unless) loption(preceded(VAR,var_decl_list(local_vdecl))) LET . stmt_list TEL list(until) [ UIDENT TEL STATE LPAR IDENT AUTOMATON ASSERT ANNOT ]
33 33
##
......
36 36
##
37 37
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET UIDENT EQ FALSE SCOL XOR
38 38
##
39
## Ends in an error in state: 533.
39
## Ends in an error in state: 538.
40 40
##
41 41
## stmt_list -> eq . stmt_list [ TEL ]
42 42
##
......
48 48

  
49 49
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET ASSERT XOR
50 50
##
51
## Ends in an error in state: 524.
51
## Ends in an error in state: 529.
52 52
##
53 53
## assert_ -> ASSERT . expr SCOL [ UIDENT TEL LPAR IDENT AUTOMATON ASSERT ANNOT ]
54 54
##
......
61 61

  
62 62
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT STATE UIDENT COL LET TEL UNTIL UIDENT RESTART UIDENT XOR
63 63
##
64
## Ends in an error in state: 547.
64
## Ends in an error in state: 552.
65 65
##
66 66
## list(until) -> until . list(until) [ UIDENT TEL STATE LPAR IDENT AUTOMATON ASSERT ANNOT ]
67 67
##
......
70 70
##
71 71
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT STATE UIDENT COL LET TEL XOR
72 72
##
73
## Ends in an error in state: 540.
73
## Ends in an error in state: 545.
74 74
##
75 75
## handler -> STATE UIDENT COL list(unless) loption(preceded(VAR,var_decl_list(local_vdecl))) LET stmt_list TEL . list(until) [ UIDENT TEL STATE LPAR IDENT AUTOMATON ASSERT ANNOT ]
76 76
##
......
83 83

  
84 84
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT STATE UIDENT COL LET TEL UNTIL UIDENT RESTART XOR
85 85
##
86
## Ends in an error in state: 545.
86
## Ends in an error in state: 550.
87 87
##
88 88
## until -> UNTIL expr RESTART . UIDENT [ UNTIL UIDENT TEL STATE LPAR IDENT AUTOMATON ASSERT ANNOT ]
89 89
##
......
92 92
##
93 93
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT STATE UIDENT COL LET TEL UNTIL UIDENT RESUME XOR
94 94
##
95
## Ends in an error in state: 543.
95
## Ends in an error in state: 548.
96 96
##
97 97
## until -> UNTIL expr RESUME . UIDENT [ UNTIL UIDENT TEL STATE LPAR IDENT AUTOMATON ASSERT ANNOT ]
98 98
##
......
101 101
##
102 102
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT STATE XOR
103 103
##
104
## Ends in an error in state: 510.
104
## Ends in an error in state: 515.
105 105
##
106 106
## handler -> STATE . UIDENT COL list(unless) loption(preceded(VAR,var_decl_list(local_vdecl))) LET stmt_list TEL list(until) [ UIDENT TEL STATE LPAR IDENT AUTOMATON ASSERT ANNOT ]
107 107
##
......
110 110
##
111 111
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT STATE UIDENT COL UNLESS UIDENT RESTART XOR
112 112
##
113
## Ends in an error in state: 517.
113
## Ends in an error in state: 522.
114 114
##
115 115
## unless -> UNLESS expr RESTART . UIDENT [ VAR UNLESS LET ]
116 116
##
......
119 119
##
120 120
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT STATE UIDENT COL UNLESS UIDENT RESUME XOR
121 121
##
122
## Ends in an error in state: 515.
122
## Ends in an error in state: 520.
123 123
##
124 124
## unless -> UNLESS expr RESUME . UIDENT [ VAR UNLESS LET ]
125 125
##
......
128 128
##
129 129
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT STATE UIDENT XOR
130 130
##
131
## Ends in an error in state: 511.
131
## Ends in an error in state: 516.
132 132
##
133 133
## handler -> STATE UIDENT . COL list(unless) loption(preceded(VAR,var_decl_list(local_vdecl))) LET stmt_list TEL list(until) [ UIDENT TEL STATE LPAR IDENT AUTOMATON ASSERT ANNOT ]
134 134
##
......
140 140

  
141 141
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT STATE UIDENT COL LET TEL UNTIL XOR
142 142
##
143
## Ends in an error in state: 541.
143
## Ends in an error in state: 546.
144 144
##
145 145
## until -> UNTIL . expr RESTART UIDENT [ UNTIL UIDENT TEL STATE LPAR IDENT AUTOMATON ASSERT ANNOT ]
146 146
## until -> UNTIL . expr RESUME UIDENT [ UNTIL UIDENT TEL STATE LPAR IDENT AUTOMATON ASSERT ANNOT ]
......
154 154

  
155 155
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT STATE UIDENT COL UNLESS UIDENT RESTART UIDENT XOR
156 156
##
157
## Ends in an error in state: 519.
157
## Ends in an error in state: 524.
158 158
##
159 159
## list(unless) -> unless . list(unless) [ VAR LET ]
160 160
##
......
167 167

  
168 168
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT STATE UIDENT COL UNLESS XOR
169 169
##
170
## Ends in an error in state: 513.
170
## Ends in an error in state: 518.
171 171
##
172 172
## unless -> UNLESS . expr RESTART UIDENT [ VAR UNLESS LET ]
173 173
## unless -> UNLESS . expr RESUME UIDENT [ VAR UNLESS LET ]
......
181 181

  
182 182
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT STATE UIDENT COL XOR
183 183
##
184
## Ends in an error in state: 512.
184
## Ends in an error in state: 517.
185 185
##
186 186
## handler -> STATE UIDENT COL . list(unless) loption(preceded(VAR,var_decl_list(local_vdecl))) LET stmt_list TEL list(until) [ UIDENT TEL STATE LPAR IDENT AUTOMATON ASSERT ANNOT ]
187 187
##
......
194 194

  
195 195
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON IDENT XOR
196 196
##
197
## Ends in an error in state: 509.
197
## Ends in an error in state: 514.
198 198
##
199 199
## automaton -> AUTOMATON type_ident . list(handler) [ UIDENT TEL LPAR IDENT AUTOMATON ASSERT ANNOT ]
200 200
##
......
203 203
##
204 204
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET AUTOMATON XOR
205 205
##
206
## Ends in an error in state: 508.
206
## Ends in an error in state: 513.
207 207
##
208 208
## automaton -> AUTOMATON . type_ident list(handler) [ UIDENT TEL LPAR IDENT AUTOMATON ASSERT ANNOT ]
209 209
##
......
215 215

  
216 216
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET LPAR UIDENT RPAR EQ XOR
217 217
##
218
## Ends in an error in state: 505.
218
## Ends in an error in state: 510.
219 219
##
220 220
## eq -> LPAR separated_nonempty_list(COMMA,vdecl_ident) RPAR EQ . expr SCOL [ UIDENT TEL LPAR IDENT AUTOMATON ASSERT ANNOT ]
221 221
##
......
224 224
##
225 225
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET UIDENT EQ XOR
226 226
##
227
## Ends in an error in state: 530.
227
## Ends in an error in state: 535.
228 228
##
229 229
## eq -> separated_nonempty_list(COMMA,vdecl_ident) EQ . expr SCOL [ UIDENT TEL LPAR IDENT AUTOMATON ASSERT ANNOT ]
230 230
##
......
237 237

  
238 238
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET LPAR UIDENT RPAR XOR
239 239
##
240
## Ends in an error in state: 504.
240
## Ends in an error in state: 509.
241 241
##
242 242
## eq -> LPAR separated_nonempty_list(COMMA,vdecl_ident) RPAR . EQ expr SCOL [ UIDENT TEL LPAR IDENT AUTOMATON ASSERT ANNOT ]
243 243
##
......
246 246
##
247 247
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET UIDENT SCOL
248 248
##
249
## Ends in an error in state: 529.
249
## Ends in an error in state: 534.
250 250
##
251 251
## eq -> separated_nonempty_list(COMMA,vdecl_ident) . EQ expr SCOL [ UIDENT TEL LPAR IDENT AUTOMATON ASSERT ANNOT ]
252 252
##
......
265 265

  
266 266
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET LPAR UIDENT SCOL
267 267
##
268
## Ends in an error in state: 503.
268
## Ends in an error in state: 508.
269 269
##
270 270
## eq -> LPAR separated_nonempty_list(COMMA,vdecl_ident) . RPAR EQ expr SCOL [ UIDENT TEL LPAR IDENT AUTOMATON ASSERT ANNOT ]
271 271
##
......
280 280
##
281 281
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR LET LPAR XOR
282 282
##
283
## Ends in an error in state: 502.
283
## Ends in an error in state: 507.
284 284
##
285 285
## eq -> LPAR . separated_nonempty_list(COMMA,vdecl_ident) RPAR EQ expr SCOL [ UIDENT TEL LPAR IDENT AUTOMATON ASSERT ANNOT ]
286 286
##
......
293 293

  
294 294
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR NODESPEC FUNCTION
295 295
##
296
## Ends in an error in state: 485.
296
## Ends in an error in state: 490.
297 297
##
298 298
## top_decl -> state_annot node_ident_decl LPAR var_decl_list(vdecl) RPAR RETURNS LPAR var_decl_list(vdecl) RPAR option(SCOL) nodespecs . loption(preceded(VAR,var_decl_list(local_vdecl))) LET stmt_list TEL [ NODESPEC NODE FUNCTION EOF CONST ]
299 299
##
......
306 306
## may provide an INCOMPLETE view of the future (what was expected next).
307 307
## In state 118, spurious reduction of production nodespec_list ->
308 308
## In state 119, spurious reduction of production nodespec_list -> NODESPEC nodespec_list
309
## In state 420, spurious reduction of production nodespecs -> nodespec_list
309
## In state 425, spurious reduction of production nodespecs -> nodespec_list
310 310
##
311 311
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR XOR
312 312
##
313
## Ends in an error in state: 483.
313
## Ends in an error in state: 488.
314 314
##
315 315
## top_decl -> state_annot node_ident_decl LPAR var_decl_list(vdecl) RPAR RETURNS LPAR var_decl_list(vdecl) RPAR . option(SCOL) nodespecs loption(preceded(VAR,var_decl_list(local_vdecl))) LET stmt_list TEL [ NODESPEC NODE FUNCTION EOF CONST ]
316 316
##
......
319 319
##
320 320
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR SCOL LCUR
321 321
##
322
## Ends in an error in state: 484.
322
## Ends in an error in state: 489.
323 323
##
324 324
## top_decl -> state_annot node_ident_decl LPAR var_decl_list(vdecl) RPAR RETURNS LPAR var_decl_list(vdecl) RPAR option(SCOL) . nodespecs loption(preceded(VAR,var_decl_list(local_vdecl))) LET stmt_list TEL [ NODESPEC NODE FUNCTION EOF CONST ]
325 325
##
......
331 331

  
332 332
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR VAR CONST UIDENT COL IDENT WHENNOT
333 333
##
334
## Ends in an error in state: 489.
334
## Ends in an error in state: 494.
335 335
##
336 336
## local_vdecl -> CONST vdecl_ident option(preceded(COL,typeconst)) . EQ expr [ SCOL LET ]
337 337
##
......
348 348
##
349 349
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR VAR CONST UIDENT EQ XOR
350 350
##
351
## Ends in an error in state: 490.
351
## Ends in an error in state: 495.
352 352
##
353 353
## local_vdecl -> CONST vdecl_ident option(preceded(COL,typeconst)) EQ . expr [ SCOL LET ]
354 354
##
......
357 357
##
358 358
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR VAR CONST UIDENT XOR
359 359
##
360
## Ends in an error in state: 488.
360
## Ends in an error in state: 493.
361 361
##
362 362
## local_vdecl -> CONST vdecl_ident . option(preceded(COL,typeconst)) EQ expr [ SCOL LET ]
363 363
##
......
370 370

  
371 371
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR VAR CONST XOR
372 372
##
373
## Ends in an error in state: 487.
373
## Ends in an error in state: 492.
374 374
##
375 375
## local_vdecl -> CONST . vdecl_ident option(preceded(COL,typeconst)) EQ expr [ SCOL LET ]
376 376
##
......
383 383

  
384 384
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR VAR UIDENT COL IDENT WHENNOT IDENT RPAR
385 385
##
386
## Ends in an error in state: 497.
386
## Ends in an error in state: 502.
387 387
##
388 388
## var_decl_list(local_vdecl) -> local_vdecl . [ LET ]
389 389
## var_decl_list(local_vdecl) -> local_vdecl . SCOL [ LET ]
......
398 398
## may provide an INCOMPLETE view of the future (what was expected next).
399 399
## In state 150, spurious reduction of production nonempty_list(when_cond) -> when_cond
400 400
## In state 153, spurious reduction of production option(clock) -> nonempty_list(when_cond)
401
## In state 496, spurious reduction of production local_vdecl -> separated_nonempty_list(COMMA,vdecl_ident) COL typeconst option(clock)
401
## In state 501, spurious reduction of production local_vdecl -> separated_nonempty_list(COMMA,vdecl_ident) COL typeconst option(clock)
402 402
##
403 403
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR VAR UIDENT COL TREAL RPAR
404 404
##
405
## Ends in an error in state: 495.
405
## Ends in an error in state: 500.
406 406
##
407 407
## local_vdecl -> separated_nonempty_list(COMMA,vdecl_ident) COL typeconst . option(clock) [ SCOL LET ]
408 408
##
......
417 417
##
418 418
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR VAR UIDENT RPAR
419 419
##
420
## Ends in an error in state: 493.
420
## Ends in an error in state: 498.
421 421
##
422 422
## local_vdecl -> separated_nonempty_list(COMMA,vdecl_ident) . [ SCOL LET ]
423 423
## local_vdecl -> separated_nonempty_list(COMMA,vdecl_ident) . COL typeconst option(clock) [ SCOL LET ]
......
433 433
##
434 434
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR VAR UIDENT SCOL XOR
435 435
##
436
## Ends in an error in state: 498.
436
## Ends in an error in state: 503.
437 437
##
438 438
## var_decl_list(local_vdecl) -> local_vdecl SCOL . [ LET ]
439 439
## var_decl_list(local_vdecl) -> local_vdecl SCOL . var_decl_list(local_vdecl) [ LET ]
......
443 443
##
444 444
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR VAR XOR
445 445
##
446
## Ends in an error in state: 486.
446
## Ends in an error in state: 491.
447 447
##
448 448
## loption(preceded(VAR,var_decl_list(local_vdecl))) -> VAR . var_decl_list(local_vdecl) [ LET ]
449 449
##
......
456 456

  
457 457
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR CONST IDENT RPAR VAR UIDENT COL XOR
458 458
##
459
## Ends in an error in state: 494.
459
## Ends in an error in state: 499.
460 460
##
461 461
## local_vdecl -> separated_nonempty_list(COMMA,vdecl_ident) COL . typeconst option(clock) [ SCOL LET ]
462 462
##
......
506 506

  
507 507
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR XOR
508 508
##
509
## Ends in an error in state: 481.
509
## Ends in an error in state: 486.
510 510
##
511 511
## top_decl -> state_annot node_ident_decl LPAR var_decl_list(vdecl) RPAR RETURNS LPAR . var_decl_list(vdecl) RPAR option(SCOL) nodespecs loption(preceded(VAR,var_decl_list(local_vdecl))) LET stmt_list TEL [ NODESPEC NODE FUNCTION EOF CONST ]
512 512
##
......
515 515
##
516 516
prog: NODE UIDENT LPAR XOR
517 517
##
518
## Ends in an error in state: 477.
518
## Ends in an error in state: 482.
519 519
##
520 520
## top_decl -> state_annot node_ident_decl LPAR . var_decl_list(vdecl) RPAR RETURNS LPAR var_decl_list(vdecl) RPAR option(SCOL) nodespecs loption(preceded(VAR,var_decl_list(local_vdecl))) LET stmt_list TEL [ NODESPEC NODE FUNCTION EOF CONST ]
521 521
##
......
575 575

  
576 576
prog: NODE UIDENT LPAR CONST IDENT RPAR XOR
577 577
##
578
## Ends in an error in state: 479.
578
## Ends in an error in state: 484.
579 579
##
580 580
## top_decl -> state_annot node_ident_decl LPAR var_decl_list(vdecl) RPAR . RETURNS LPAR var_decl_list(vdecl) RPAR option(SCOL) nodespecs loption(preceded(VAR,var_decl_list(local_vdecl))) LET stmt_list TEL [ NODESPEC NODE FUNCTION EOF CONST ]
581 581
##
......
593 593
##
594 594
prog: NODE UIDENT LPAR CONST IDENT RPAR RETURNS XOR
595 595
##
596
## Ends in an error in state: 480.
596
## Ends in an error in state: 485.
597 597
##
598 598
## top_decl -> state_annot node_ident_decl LPAR var_decl_list(vdecl) RPAR RETURNS . LPAR var_decl_list(vdecl) RPAR option(SCOL) nodespecs loption(preceded(VAR,var_decl_list(local_vdecl))) LET stmt_list TEL [ NODESPEC NODE FUNCTION EOF CONST ]
599 599
##
......
611 611
##
612 612
header: NODE UIDENT LPAR CONST IDENT RPAR RETURNS XOR
613 613
##
614
## Ends in an error in state: 408.
614
## Ends in an error in state: 413.
615 615
##
616 616
## top_decl_header -> nodespecs state_annot node_ident_decl LPAR var_decl_list(vdecl) RPAR RETURNS . LPAR var_decl_list(vdecl) RPAR option(preceded(PROTOTYPE,node_ident)) list(preceded(LIB,module_ident)) SCOL [ NODESPEC NODE FUNCTION EOF CONTRACT CONST ]
617 617
##
......
620 620
##
621 621
header: NODE UIDENT LPAR CONST IDENT RPAR XOR
622 622
##
623
## Ends in an error in state: 407.
623
## Ends in an error in state: 412.
624 624
##
625 625
## top_decl_header -> nodespecs state_annot node_ident_decl LPAR var_decl_list(vdecl) RPAR . RETURNS LPAR var_decl_list(vdecl) RPAR option(preceded(PROTOTYPE,node_ident)) list(preceded(LIB,module_ident)) SCOL [ NODESPEC NODE FUNCTION EOF CONTRACT CONST ]
626 626
##
......
633 633

  
634 634
prog: NODE UIDENT XOR
635 635
##
636
## Ends in an error in state: 476.
636
## Ends in an error in state: 481.
637 637
##
638 638
## top_decl -> state_annot node_ident_decl . LPAR var_decl_list(vdecl) RPAR RETURNS LPAR var_decl_list(vdecl) RPAR option(SCOL) nodespecs loption(preceded(VAR,var_decl_list(local_vdecl))) LET stmt_list TEL [ NODESPEC NODE FUNCTION EOF CONST ]
639 639
##
......
651 651
##
652 652
header: NODE UIDENT XOR
653 653
##
654
## Ends in an error in state: 404.
654
## Ends in an error in state: 409.
655 655
##
656 656
## top_decl_header -> nodespecs state_annot node_ident_decl . LPAR var_decl_list(vdecl) RPAR RETURNS LPAR var_decl_list(vdecl) RPAR option(preceded(PROTOTYPE,node_ident)) list(preceded(LIB,module_ident)) SCOL [ NODESPEC NODE FUNCTION EOF CONTRACT CONST ]
657 657
##
......
664 664

  
665 665
prog: NODE XOR
666 666
##
667
## Ends in an error in state: 475.
667
## Ends in an error in state: 480.
668 668
##
669 669
## top_decl -> state_annot . node_ident_decl LPAR var_decl_list(vdecl) RPAR RETURNS LPAR var_decl_list(vdecl) RPAR option(SCOL) nodespecs loption(preceded(VAR,var_decl_list(local_vdecl))) LET stmt_list TEL [ NODESPEC NODE FUNCTION EOF CONST ]
670 670
##
......
673 673
##
674 674
header: NODE XOR
675 675
##
676
## Ends in an error in state: 403.
676
## Ends in an error in state: 408.
677 677
##
678 678
## top_decl_header -> nodespecs state_annot . node_ident_decl LPAR var_decl_list(vdecl) RPAR RETURNS LPAR var_decl_list(vdecl) RPAR option(preceded(PROTOTYPE,node_ident)) list(preceded(LIB,module_ident)) SCOL [ NODESPEC NODE FUNCTION EOF CONTRACT CONST ]
679 679
##
......
685 685

  
686 686
prog: NODESPEC XOR
687 687
##
688
## Ends in an error in state: 474.
688
## Ends in an error in state: 479.
689 689
##
690 690
## list(top_decl) -> top_decl . list(top_decl) [ EOF ]
691 691
##
......
694 694
##
695 695
prog: OPEN LT IDENT GT CONTRACT
696 696
##
697
## Ends in an error in state: 469.
697
## Ends in an error in state: 474.
698 698
##
699 699
## prog -> prefix . list(top_decl) EOF [ # ]
700 700
##
......
710 710
##
711 711
prog: XOR
712 712
##
713
## Ends in an error in state: 467.
713
## Ends in an error in state: 472.
714 714
##
715 715
## prog' -> . prog [ # ]
716 716
##
......
719 719
##
720 720
header: CONST UIDENT EQ FALSE SCOL XOR
721 721
##
722
## Ends in an error in state: 398.
722
## Ends in an error in state: 403.
723 723
##
724 724
## list(top_decl_header) -> top_decl_header . list(top_decl_header) [ EOF ]
725 725
##
......
728 728
##
729 729
header: NODESPEC VAR
730 730
##
731
## Ends in an error in state: 400.
731
## Ends in an error in state: 405.
732 732
##
733 733
## top_decl_header -> nodespecs . state_annot node_ident_decl LPAR var_decl_list(vdecl) RPAR RETURNS LPAR var_decl_list(vdecl) RPAR option(preceded(PROTOTYPE,node_ident)) list(preceded(LIB,module_ident)) SCOL [ NODESPEC NODE FUNCTION EOF CONTRACT CONST ]
734 734
##
......
741 741
## may provide an INCOMPLETE view of the future (what was expected next).
742 742
## In state 118, spurious reduction of production nodespec_list ->
743 743
## In state 119, spurious reduction of production nodespec_list -> NODESPEC nodespec_list
744
## In state 420, spurious reduction of production nodespecs -> nodespec_list
744
## In state 425, spurious reduction of production nodespecs -> nodespec_list
745 745
##
746 746
header: NODESPEC XOR
747 747
##
......
775 775

  
776 776
lustre_spec: ASSUME STRING UIDENT SCOL XOR
777 777
##
778
## Ends in an error in state: 334.
778
## Ends in an error in state: 338.
779 779
##
780 780
## contract_content -> ASSUME STRING qexpr SCOL . contract_content [ TEL EOF ]
781 781
##
......
784 784
##
785 785
lustre_spec: ASSUME UIDENT SCOL XOR
786 786
##
787
## Ends in an error in state: 337.
787
## Ends in an error in state: 341.
788 788
##
789 789
## contract_content -> ASSUME qexpr SCOL . contract_content [ TEL EOF ]
790 790
##
......
794 794

  
795 795
Contract content expected.
796 796

  
797
lustre_spec: ASSUME STRING UIDENT BY
798
##
799
## Ends in an error in state: 337.
800
##
801
## contract_content -> ASSUME STRING qexpr . SCOL contract_content [ TEL EOF ]
802
##
803
## The known suffix of the stack is as follows:
804
## ASSUME STRING qexpr
805
##
806
## WARNING: This example involves spurious reductions.
807
## This implies that, although the LR(1) items shown above provide an
808
## accurate view of the past (what has been recognized so far), they
809
## may provide an INCOMPLETE view of the future (what was expected next).
810
## In state 168, spurious reduction of production expr -> UIDENT
811
## In state 292, spurious reduction of production qexpr -> expr
812
##
813
lustre_spec: ASSUME UIDENT BY
814
##
815
## Ends in an error in state: 340.
816
##
817
## contract_content -> ASSUME qexpr . SCOL contract_content [ TEL EOF ]
818
##
819
## The known suffix of the stack is as follows:
820
## ASSUME qexpr
821
##
822
## WARNING: This example involves spurious reductions.
823
## This implies that, although the LR(1) items shown above provide an
824
## accurate view of the past (what has been recognized so far), they
825
## may provide an INCOMPLETE view of the future (what was expected next).
826
## In state 168, spurious reduction of production expr -> UIDENT
827
## In state 292, spurious reduction of production qexpr -> expr
828
##
797 829
lustre_spec: ASSUME STRING VAR
798 830
##
799
## Ends in an error in state: 332.
831
## Ends in an error in state: 336.
800 832
##
801 833
## contract_content -> ASSUME STRING . qexpr SCOL contract_content [ TEL EOF ]
802 834
## expr -> STRING . [ XOR WHENNOT WHEN SCOL POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
......
806 838
##
807 839
lustre_spec: ASSUME XOR
808 840
##
809
## Ends in an error in state: 331.
841
## Ends in an error in state: 335.
810 842
##
811 843
## contract_content -> ASSUME . qexpr SCOL contract_content [ TEL EOF ]
812 844
## contract_content -> ASSUME . STRING qexpr SCOL contract_content [ TEL EOF ]
......
820 852

  
821 853
lustre_spec: CONST IDENT COL TREAL WHENNOT
822 854
##
823
## Ends in an error in state: 327.
855
## Ends in an error in state: 331.
824 856
##
825 857
## contract_content -> CONST IDENT option(preceded(COL,typeconst)) . EQ expr SCOL contract_content [ TEL EOF ]
826 858
##
......
836 868
##
837 869
lustre_spec: CONST IDENT XOR
838 870
##
839
## Ends in an error in state: 326.
871
## Ends in an error in state: 330.
840 872
##
841 873
## contract_content -> CONST IDENT . option(preceded(COL,typeconst)) EQ expr SCOL contract_content [ TEL EOF ]
842 874
##
......
845 877
##
846 878
lustre_spec: CONST IDENT EQ XOR
847 879
##
848
## Ends in an error in state: 328.
880
## Ends in an error in state: 332.
849 881
##
850 882
## contract_content -> CONST IDENT option(preceded(COL,typeconst)) EQ . expr SCOL contract_content [ TEL EOF ]
851 883
##
......
858 890

  
859 891
lustre_spec: CONST XOR
860 892
##
861
## Ends in an error in state: 325.
893
## Ends in an error in state: 329.
862 894
##
863 895
## contract_content -> CONST . IDENT option(preceded(COL,typeconst)) EQ expr SCOL contract_content [ TEL EOF ]
864 896
##
......
871 903

  
872 904
lustre_spec: CONTRACT UIDENT LPAR CONST UIDENT RPAR RETURNS LPAR CONST IDENT RPAR LET TEL XOR
873 905
##
874
## Ends in an error in state: 459.
906
## Ends in an error in state: 464.
875 907
##
876 908
## nonempty_list(top_contract) -> top_contract . [ EOF ]
877 909
## nonempty_list(top_contract) -> top_contract . nonempty_list(top_contract) [ EOF ]
......
883 915
Node contracts must be separated by `;`s.
884 916

  
885 917
lustre_spec: CONTRACT XOR
918
##
919
## Ends in an error in state: 463.
920
##
921
## option(CONTRACT) -> CONTRACT . [ VAR MODE IMPORT GUARANTEES EOF CONST ASSUME ]
922
## top_contract -> CONTRACT . node_ident_decl LPAR var_decl_list(vdecl) RPAR RETURNS LPAR var_decl_list(vdecl) RPAR option(SCOL) LET contract_content TEL [ EOF CONTRACT ]
923
##
886 924
## The known suffix of the stack is as follows:
887 925
## CONTRACT
888 926
##
......
919 957
##
920 958
lustre_spec: GUARANTEES STRING UIDENT SCOL XOR
921 959
##
922
## Ends in an error in state: 324.
960
## Ends in an error in state: 328.
923 961
##
924
## contract_content -> GUARANTEES STRING qexpr SCOL . contract_content [ TEL EOF ]
962
## contract_content -> GUARANTEES STRING qexpr option(proof_annotation) SCOL . contract_content [ TEL EOF ]
925 963
##
926 964
## The known suffix of the stack is as follows:
927
## GUARANTEES STRING qexpr SCOL
965
## GUARANTEES STRING qexpr option(proof_annotation) SCOL
928 966
##
929 967
lustre_spec: GUARANTEES UIDENT SCOL XOR
930 968
##
931
## Ends in an error in state: 342.
969
## Ends in an error in state: 347.
932 970
##
933
## contract_content -> GUARANTEES qexpr SCOL . contract_content [ TEL EOF ]
971
## contract_content -> GUARANTEES qexpr option(proof_annotation) SCOL . contract_content [ TEL EOF ]
934 972
##
935 973
## The known suffix of the stack is as follows:
936
## GUARANTEES qexpr SCOL
974
## GUARANTEES qexpr option(proof_annotation) SCOL
937 975
##
938 976
lustre_spec: IMPORT IDENT LPAR UIDENT COMMA UIDENT RPAR RETURNS LPAR UIDENT COMMA UIDENT RPAR SCOL XOR
939 977
##
940
## Ends in an error in state: 362.
978
## Ends in an error in state: 367.
941 979
##
942 980
## contract_content -> IMPORT IDENT LPAR expr COMMA separated_nonempty_list(COMMA,expr) RPAR RETURNS LPAR expr COMMA separated_nonempty_list(COMMA,expr) RPAR SCOL . contract_content [ TEL EOF ]
943 981
##
......
946 984
##
947 985
lustre_spec: IMPORT IDENT LPAR UIDENT COMMA UIDENT RPAR RETURNS LPAR UIDENT RPAR SCOL XOR
948 986
##
949
## Ends in an error in state: 357.
987
## Ends in an error in state: 362.
950 988
##
951 989
## contract_content -> IMPORT IDENT LPAR expr COMMA separated_nonempty_list(COMMA,expr) RPAR RETURNS LPAR expr RPAR SCOL . contract_content [ TEL EOF ]
952 990
##
......
955 993
##
956 994
lustre_spec: IMPORT IDENT LPAR UIDENT RPAR RETURNS LPAR UIDENT COMMA UIDENT RPAR SCOL XOR
957 995
##
958
## Ends in an error in state: 348.
996
## Ends in an error in state: 353.
959 997
##
960 998
## contract_content -> IMPORT IDENT LPAR expr RPAR RETURNS LPAR expr COMMA separated_nonempty_list(COMMA,expr) RPAR SCOL . contract_content [ TEL EOF ]
961 999
##
......
991 1029
##
992 1030
lustre_spec: CONST IDENT EQ UIDENT SCOL XOR
993 1031
##
994
## Ends in an error in state: 330.
1032
## Ends in an error in state: 334.
995 1033
##
996 1034
## contract_content -> CONST IDENT option(preceded(COL,typeconst)) EQ expr SCOL . contract_content [ TEL EOF ]
997 1035
##
......
1000 1038
##
1001 1039
lustre_spec: GUARANTEES FALSE SCOL TEL
1002 1040
##
1003
## Ends in an error in state: 462.
1041
## Ends in an error in state: 467.
1004 1042
##
1005 1043
## lustre_spec -> option(CONTRACT) contract_content . EOF [ # ]
1006 1044
##
......
1011 1049
## This implies that, although the LR(1) items shown above provide an
1012 1050
## accurate view of the past (what has been recognized so far), they
1013 1051
## may provide an INCOMPLETE view of the future (what was expected next).
1014
## In state 342, spurious reduction of production contract_content ->
1015
## In state 343, spurious reduction of production contract_content -> GUARANTEES qexpr SCOL contract_content
1052
## In state 347, spurious reduction of production contract_content ->
1053
## In state 348, spurious reduction of production contract_content -> GUARANTEES qexpr option(proof_annotation) SCOL contract_content
1016 1054
##
1017 1055

  
1018 1056
Ill-formed contract content.
......
1028 1066
##
1029 1067
lustre_spec: CONTRACT UIDENT LPAR CONST UIDENT RPAR RETURNS LPAR CONST IDENT RPAR LET GUARANTEES UIDENT SCOL EOF
1030 1068
##
1031
## Ends in an error in state: 366.
1069
## Ends in an error in state: 371.
1032 1070
##
1033 1071
## top_contract -> CONTRACT node_ident_decl LPAR var_decl_list(vdecl) RPAR RETURNS LPAR var_decl_list(vdecl) RPAR option(SCOL) LET contract_content . TEL [ NODESPEC NODE FUNCTION EOF CONTRACT CONST ]
1034 1072
##
......
1039 1077
## This implies that, although the LR(1) items shown above provide an
1040 1078
## accurate view of the past (what has been recognized so far), they
1041 1079
## may provide an INCOMPLETE view of the future (what was expected next).
1042
## In state 342, spurious reduction of production contract_content ->
1043
## In state 343, spurious reduction of production contract_content -> GUARANTEES qexpr SCOL contract_content
1080
## In state 347, spurious reduction of production contract_content ->
1081
## In state 348, spurious reduction of production contract_content -> GUARANTEES qexpr option(proof_annotation) SCOL contract_content
1044 1082
##
1045 1083

  
1046 1084
Contract contents expected, between `let` and `tel` keywords.
......
1049 1087
##
1050 1088
## Ends in an error in state: 184.
1051 1089
##
1052
## expr -> COLCOL . IDENT [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1090
## expr -> COLCOL . IDENT [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1053 1091
##
1054 1092
## The known suffix of the stack is as follows:
1055 1093
## COLCOL
......
1062 1100
##
1063 1101
## Ends in an error in state: 289.
1064 1102
##
1065
## qexpr -> EXISTS vdecl . SCOL qexpr [ SCOL ]
1103
## qexpr -> EXISTS vdecl . SCOL qexpr [ SCOL BY ]
1066 1104
##
1067 1105
## The known suffix of the stack is as follows:
1068 1106
## EXISTS vdecl
......
1079 1117
##
1080 1118
## Ends in an error in state: 290.
1081 1119
##
1082
## qexpr -> EXISTS vdecl SCOL . qexpr [ SCOL ]
1120
## qexpr -> EXISTS vdecl SCOL . qexpr [ SCOL BY ]
1083 1121
##
1084 1122
## The known suffix of the stack is as follows:
1085 1123
## EXISTS vdecl SCOL
......
1088 1126
##
1089 1127
## Ends in an error in state: 286.
1090 1128
##
1091
## qexpr -> FORALL vdecl . SCOL qexpr [ SCOL ]
1129
## qexpr -> FORALL vdecl . SCOL qexpr [ SCOL BY ]
1092 1130
##
1093 1131
## The known suffix of the stack is as follows:
1094 1132
## FORALL vdecl
......
1105 1143
##
1106 1144
## Ends in an error in state: 287.
1107 1145
##
1108
## qexpr -> FORALL vdecl SCOL . qexpr [ SCOL ]
1146
## qexpr -> FORALL vdecl SCOL . qexpr [ SCOL BY ]
1109 1147
##
1110 1148
## The known suffix of the stack is as follows:
1111 1149
## FORALL vdecl SCOL
......
1209 1247
##
1210 1248
## Ends in an error in state: 288.
1211 1249
##
1212
## qexpr -> EXISTS . vdecl SCOL qexpr [ SCOL ]
1250
## qexpr -> EXISTS . vdecl SCOL qexpr [ SCOL BY ]
1213 1251
##
1214 1252
## The known suffix of the stack is as follows:
1215 1253
## EXISTS
......
1252 1290
##
1253 1291
## Ends in an error in state: 285.
1254 1292
##
1255
## qexpr -> FORALL . vdecl SCOL qexpr [ SCOL ]
1293
## qexpr -> FORALL . vdecl SCOL qexpr [ SCOL BY ]
1256 1294
##
1257 1295
## The known suffix of the stack is as follows:
1258 1296
## FORALL
1259 1297
##
1260 1298
header: NODE UIDENT LPAR CONST IDENT RPAR RETURNS LPAR XOR
1261 1299
##
1262
## Ends in an error in state: 409.
1300
## Ends in an error in state: 414.
1263 1301
##
1264 1302
## top_decl_header -> nodespecs state_annot node_ident_decl LPAR var_decl_list(vdecl) RPAR RETURNS LPAR . var_decl_list(vdecl) RPAR option(preceded(PROTOTYPE,node_ident)) list(preceded(LIB,module_ident)) SCOL [ NODESPEC NODE FUNCTION EOF CONTRACT CONST ]
1265 1303
##
......
1268 1306
##
1269 1307
header: NODE UIDENT LPAR XOR
1270 1308
##
1271
## Ends in an error in state: 405.
1309
## Ends in an error in state: 410.
1272 1310
##
1273 1311
## top_decl_header -> nodespecs state_annot node_ident_decl LPAR . var_decl_list(vdecl) RPAR RETURNS LPAR var_decl_list(vdecl) RPAR option(preceded(PROTOTYPE,node_ident)) list(preceded(LIB,module_ident)) SCOL [ NODESPEC NODE FUNCTION EOF CONTRACT CONST ]
1274 1312
##
......
1307 1345
## expr -> expr . MULT expr [ XOR WHENNOT WHEN THEN POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1308 1346
## expr -> expr . DIV expr [ XOR WHENNOT WHEN THEN POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1309 1347
## expr -> expr . MOD expr [ XOR WHENNOT WHEN THEN POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1310
## expr -> IF expr . THEN expr ELSE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1348
## expr -> IF expr . THEN expr ELSE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1311 1349
##
1312 1350
## The known suffix of the stack is as follows:
1313 1351
## IF expr
......
1326 1364
##
1327 1365
## Ends in an error in state: 259.
1328 1366
##
1329
## expr -> IF expr THEN expr ELSE . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1367
## expr -> IF expr THEN expr ELSE . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1330 1368
##
1331 1369
## The known suffix of the stack is as follows:
1332 1370
## IF expr THEN expr ELSE
......
1335 1373
##
1336 1374
## Ends in an error in state: 257.
1337 1375
##
1338
## expr -> IF expr THEN . expr ELSE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1376
## expr -> IF expr THEN . expr ELSE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1339 1377
##
1340 1378
## The known suffix of the stack is as follows:
1341 1379
## IF expr THEN
......
1372 1410
## expr -> expr . MULT expr [ XOR WHENNOT WHEN POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ ELSE DIV BARBAR ARROW AND AMPERAMPER ]
1373 1411
## expr -> expr . DIV expr [ XOR WHENNOT WHEN POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ ELSE DIV BARBAR ARROW AND AMPERAMPER ]
1374 1412
## expr -> expr . MOD expr [ XOR WHENNOT WHEN POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ ELSE DIV BARBAR ARROW AND AMPERAMPER ]
1375
## expr -> IF expr THEN expr . ELSE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1413
## expr -> IF expr THEN expr . ELSE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1376 1414
##
1377 1415
## The known suffix of the stack is as follows:
1378 1416
## IF expr THEN expr
......
1391 1429
##
1392 1430
## Ends in an error in state: 182.
1393 1431
##
1394
## expr -> IF . expr THEN expr ELSE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1432
## expr -> IF . expr THEN expr ELSE expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1395 1433
##
1396 1434
## The known suffix of the stack is as follows:
1397 1435
## IF
......
1413 1451
##
1414 1452
## Ends in an error in state: 261.
1415 1453
##
1416
## expr -> LBRACKET separated_nonempty_list(COMMA,expr) . RBRACKET [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1454
## expr -> LBRACKET separated_nonempty_list(COMMA,expr) . RBRACKET [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1417 1455
##
1418 1456
## The known suffix of the stack is as follows:
1419 1457
## LBRACKET separated_nonempty_list(COMMA,expr)
......
1429 1467
##
1430 1468
## Ends in an error in state: 180.
1431 1469
##
1432
## expr -> LBRACKET . separated_nonempty_list(COMMA,expr) RBRACKET [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1470
## expr -> LBRACKET . separated_nonempty_list(COMMA,expr) RBRACKET [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1433 1471
##
1434 1472
## The known suffix of the stack is as follows:
1435 1473
## LBRACKET
......
1438 1476
##
1439 1477
## Ends in an error in state: 268.
1440 1478
##
1441
## expr -> LPAR expr COMMA . separated_nonempty_list(COMMA,expr) RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1479
## expr -> LPAR expr COMMA . separated_nonempty_list(COMMA,expr) RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1442 1480
##
1443 1481
## The known suffix of the stack is as follows:
1444 1482
## LPAR expr COMMA
......
1447 1485
##
1448 1486
## Ends in an error in state: 179.
1449 1487
##
1450
## expr -> LPAR . ANNOT expr RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1451
## expr -> LPAR . expr RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1452
## expr -> LPAR . expr COMMA separated_nonempty_list(COMMA,expr) RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1488
## expr -> LPAR . ANNOT expr RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1489
## expr -> LPAR . expr RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1490
## expr -> LPAR . expr COMMA separated_nonempty_list(COMMA,expr) RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1453 1491
##
1454 1492
## The known suffix of the stack is as follows:
1455 1493
## LPAR
......
1458 1496
##
1459 1497
## Ends in an error in state: 249.
1460 1498
##
1461
## expr -> node_ident LPAR expr COMMA . separated_nonempty_list(COMMA,expr) RPAR option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1499
## expr -> node_ident LPAR expr COMMA . separated_nonempty_list(COMMA,expr) RPAR option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1462 1500
##
1463 1501
## The known suffix of the stack is as follows:
1464 1502
## node_ident LPAR expr COMMA
......
1467 1505
##
1468 1506
## Ends in an error in state: 188.
1469 1507
##
1470
## expr -> node_ident LPAR . expr RPAR option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1471
## expr -> node_ident LPAR . expr COMMA separated_nonempty_list(COMMA,expr) RPAR option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1508
## expr -> node_ident LPAR . expr RPAR option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1509
## expr -> node_ident LPAR . expr COMMA separated_nonempty_list(COMMA,expr) RPAR option(preceded(EVERY,expr)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1472 1510
##
1473 1511
## The known suffix of the stack is as follows:
1474 1512
## node_ident LPAR
1475 1513
##
1476 1514
lustre_spec: IMPORT IDENT LPAR UIDENT COMMA UIDENT RPAR RETURNS LPAR UIDENT COMMA XOR
1477 1515
##
1478
## Ends in an error in state: 359.
1516
## Ends in an error in state: 364.
1479 1517
##
1480 1518
## contract_content -> IMPORT IDENT LPAR expr COMMA separated_nonempty_list(COMMA,expr) RPAR RETURNS LPAR expr COMMA . separated_nonempty_list(COMMA,expr) RPAR SCOL contract_content [ TEL EOF ]
1481 1519
##
......
1484 1522
##
1485 1523
lustre_spec: IMPORT IDENT LPAR UIDENT RPAR RETURNS LPAR UIDENT COMMA XOR
1486 1524
##
1487
## Ends in an error in state: 345.
1525
## Ends in an error in state: 350.
1488 1526
##
1489 1527
## contract_content -> IMPORT IDENT LPAR expr RPAR RETURNS LPAR expr COMMA . separated_nonempty_list(COMMA,expr) RPAR SCOL contract_content [ TEL EOF ]
1490 1528
##
......
1493 1531
##
1494 1532
lustre_spec: IMPORT IDENT LPAR UIDENT COMMA UIDENT RPAR RETURNS LPAR XOR
1495 1533
##
1496
## Ends in an error in state: 354.
1534
## Ends in an error in state: 359.
1497 1535
##
1498 1536
## contract_content -> IMPORT IDENT LPAR expr COMMA separated_nonempty_list(COMMA,expr) RPAR RETURNS LPAR . expr RPAR SCOL contract_content [ TEL EOF ]
1499 1537
## contract_content -> IMPORT IDENT LPAR expr COMMA separated_nonempty_list(COMMA,expr) RPAR RETURNS LPAR . expr COMMA separated_nonempty_list(COMMA,expr) RPAR SCOL contract_content [ TEL EOF ]
......
1513 1551
##
1514 1552
lustre_spec: IMPORT IDENT LPAR UIDENT COMMA XOR
1515 1553
##
1516
## Ends in an error in state: 350.
1554
## Ends in an error in state: 355.
1517 1555
##
1518 1556
## contract_content -> IMPORT IDENT LPAR expr COMMA . separated_nonempty_list(COMMA,expr) RPAR RETURNS LPAR expr RPAR SCOL contract_content [ TEL EOF ]
1519 1557
## contract_content -> IMPORT IDENT LPAR expr COMMA . separated_nonempty_list(COMMA,expr) RPAR RETURNS LPAR expr COMMA separated_nonempty_list(COMMA,expr) RPAR SCOL contract_content [ TEL EOF ]
......
1541 1579
##
1542 1580
## Ends in an error in state: 263.
1543 1581
##
1544
## expr -> LPAR ANNOT . expr RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1582
## expr -> LPAR ANNOT . expr RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1545 1583
##
1546 1584
## The known suffix of the stack is as follows:
1547 1585
## LPAR ANNOT
......
1553 1591
##
1554 1592
## Ends in an error in state: 269.
1555 1593
##
1556
## expr -> LPAR expr COMMA separated_nonempty_list(COMMA,expr) . RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1594
## expr -> LPAR expr COMMA separated_nonempty_list(COMMA,expr) . RPAR [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1557 1595
##
1558 1596
## The known suffix of the stack is as follows:
1559 1597
## LPAR expr COMMA separated_nonempty_list(COMMA,expr)
......
1573 1611
##
1574 1612
## Ends in an error in state: 272.
1575 1613
##
1576
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR tag_ident ARROW expr RPAR . list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1614
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR tag_ident ARROW expr RPAR . list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1577 1615
##
1578 1616
## The known suffix of the stack is as follows:
1579 1617
## LPAR tag_ident ARROW expr RPAR
......
1582 1620
##
1583 1621
## Ends in an error in state: 175.
1584 1622
##
1585
## expr -> MERGE vdecl_ident . list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1623
## expr -> MERGE vdecl_ident . list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1586 1624
##
1587 1625
## The known suffix of the stack is as follows:
1588 1626
## MERGE vdecl_ident
......
1595 1633
##
1596 1634
## Ends in an error in state: 178.
1597 1635
##
1598
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR tag_ident ARROW . expr RPAR list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1636
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR tag_ident ARROW . expr RPAR list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1599 1637
##
1600 1638
## The known suffix of the stack is as follows:
1601 1639
## LPAR tag_ident ARROW
......
1608 1646
##
1609 1647
## Ends in an error in state: 177.
1610 1648
##
1611
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR tag_ident . ARROW expr RPAR list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1649
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR tag_ident . ARROW expr RPAR list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1612 1650
##
1613 1651
## The known suffix of the stack is as follows:
1614 1652
## LPAR tag_ident
......
1617 1655
##
1618 1656
## Ends in an error in state: 176.
1619 1657
##
1620
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR . tag_ident ARROW expr RPAR list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1658
## list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) -> LPAR . tag_ident ARROW expr RPAR list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1621 1659
##
1622 1660
## The known suffix of the stack is as follows:
1623 1661
## LPAR
......
1630 1668
##
1631 1669
## Ends in an error in state: 174.
1632 1670
##
1633
## expr -> MERGE . vdecl_ident list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1671
## expr -> MERGE . vdecl_ident list(delimited(LPAR,separated_pair(tag_ident,ARROW,expr),RPAR)) [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1634 1672
##
1635 1673
## The known suffix of the stack is as follows:
1636 1674
## MERGE
......
1643 1681
##
1644 1682
## Ends in an error in state: 172.
1645 1683
##
1646
## expr -> NOT . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1684
## expr -> NOT . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1647 1685
##
1648 1686
## The known suffix of the stack is as follows:
1649 1687
## NOT
......
1652 1690
##
1653 1691
## Ends in an error in state: 173.
1654 1692
##
1655
## expr -> MINUS . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1693
## expr -> MINUS . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1656 1694
##
1657 1695
## The known suffix of the stack is as follows:
1658 1696
## MINUS
......
1661 1699
##
1662 1700
## Ends in an error in state: 171.
1663 1701
##
1664
## expr -> PRE . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1702
## expr -> PRE . expr [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1665 1703
##
1666 1704
## The known suffix of the stack is as follows:
1667 1705
## PRE
......
1673 1711
##
1674 1712
## Ends in an error in state: 322.
1675 1713
##
1676
## contract_content -> GUARANTEES STRING . qexpr SCOL contract_content [ TEL EOF ]
1677
## expr -> STRING . [ XOR WHENNOT WHEN SCOL POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BARBAR ARROW AND AMPERAMPER ]
1714
## contract_content -> GUARANTEES STRING . qexpr option(proof_annotation) SCOL contract_content [ TEL EOF ]
1715
## expr -> STRING . [ XOR WHENNOT WHEN SCOL POWER PLUS OR NEQ MULT MOD MINUS LTE LT LBRACKET IMPL GTE GT FBY EQ DIV BY BARBAR ARROW AND AMPERAMPER ]
1678 1716
##
1679 1717
## The known suffix of the stack is as follows:
1680 1718
## GUARANTEES STRING
......
1683 1721
##
1684 1722
## Ends in an error in state: 321.
1685 1723
##
1686
## contract_content -> GUARANTEES . qexpr SCOL contract_content [ TEL EOF ]
1687
## contract_content -> GUARANTEES . STRING qexpr SCOL contract_content [ TEL EOF ]
1724
## contract_content -> GUARANTEES . qexpr option(proof_annotation) SCOL contract_content [ TEL EOF ]
1725
## contract_content -> GUARANTEES . STRING qexpr option(proof_annotation) SCOL contract_content [ TEL EOF ]
1688 1726
##
1689 1727
## The known suffix of the stack is as follows:
1690 1728
## GUARANTEES
......
1697 1735
##
1698 1736
## Ends in an error in state: 43.
1699 1737
##
1700
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1701
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1702
## dim -> dim AMPERAMPER dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1703
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1704
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1705
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1706
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1707
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1708
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1709
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1710
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1711
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1712
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1713
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1714
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1715
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1716
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1717
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1738
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1739
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1740
## dim -> dim AMPERAMPER dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1741
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1742
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1743
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1744
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1745
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1746
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1747
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1748
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1749
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1750
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1751
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1752
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1753
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1754
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1755
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1718 1756
##
1719 1757
## The known suffix of the stack is as follows:
1720 1758
## dim AMPERAMPER dim
......
1723 1761
##
1724 1762
## Ends in an error in state: 41.
1725 1763
##
1726
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1727
## dim -> dim AND dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1728
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1729
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1730
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1731
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1732
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1733
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1734
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1735
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1736
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1737
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1738
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1739
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1740
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1741
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1742
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1743
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1764
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1765
## dim -> dim AND dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1766
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1767
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1768
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1769
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1770
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1771
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1772
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1773
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1774
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1775
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1776
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1777
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1778
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1779
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1780
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1781
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1744 1782
##
1745 1783
## The known suffix of the stack is as follows:
1746 1784
## dim AND dim
......
1749 1787
##
1750 1788
## Ends in an error in state: 51.
1751 1789
##
1752
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1753
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1754
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1755
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1756
## dim -> dim BARBAR dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1757
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1758
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1759
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1760
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1761
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1762
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1763
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1764
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1765
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1766
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1767
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1768
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1769
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1790
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1791
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1792
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1793
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1794
## dim -> dim BARBAR dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1795
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1796
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1797
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1798
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1799
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1800
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1801
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1802
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1803
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1804
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1805
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1806
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1807
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1770 1808
##
1771 1809
## The known suffix of the stack is as follows:
1772 1810
## dim BARBAR dim
......
1775 1813
##
1776 1814
## Ends in an error in state: 39.
1777 1815
##
1778
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1779
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1780
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1781
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1782
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1783
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1784
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1785
## dim -> dim EQ dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1786
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1787
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1788
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1789
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1790
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1791
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1792
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1793
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1794
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1795
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1816
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1817
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1818
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1819
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1820
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1821
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1822
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1823
## dim -> dim EQ dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1824
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1825
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1826
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1827
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1828
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1829
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1830
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1831
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1832
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1833
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1796 1834
##
1797 1835
## The known suffix of the stack is as follows:
1798 1836
## dim EQ dim
......
1801 1839
##
1802 1840
## Ends in an error in state: 37.
1803 1841
##
1804
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1805
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1806
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1807
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1808
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1809
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1810
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1811
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1812
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1813
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1814
## dim -> dim GT dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1815
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1816
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1817
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1818
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1819
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1820
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1821
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1842
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1843
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1844
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1845
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1846
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1847
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1848
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1849
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1850
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1851
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1852
## dim -> dim GT dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1853
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1854
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1855
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1856
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1857
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1858
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1859
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1822 1860
##
1823 1861
## The known suffix of the stack is as follows:
1824 1862
## dim GT dim
......
1827 1865
##
1828 1866
## Ends in an error in state: 35.
1829 1867
##
1830
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1831
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1832
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1833
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1834
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1835
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1836
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1837
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1838
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1839
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1840
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1841
## dim -> dim GTE dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1842
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1843
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1844
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1845
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1846
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1847
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1868
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1869
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1870
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1871
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1872
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1873
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1874
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1875
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1876
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1877
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1878
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1879
## dim -> dim GTE dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1880
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1881
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1882
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1883
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1884
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1885
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1848 1886
##
1849 1887
## The known suffix of the stack is as follows:
1850 1888
## dim GTE dim
......
1853 1891
##
1854 1892
## Ends in an error in state: 49.
1855 1893
##
1856
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1857
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1858
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1859
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1860
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1861
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1862
## dim -> dim IMPL dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1863
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1864
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1865
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1866
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1867
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1868
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1869
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1870
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1871
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1872
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1873
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1894
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1895
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1896
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1897
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1898
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1899
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1900
## dim -> dim IMPL dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1901
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1902
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1903
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1904
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1905
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1906
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1907
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1908
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1909
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1910
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1911
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1874 1912
##
1875 1913
## The known suffix of the stack is as follows:
1876 1914
## dim IMPL dim
......
1879 1917
##
1880 1918
## Ends in an error in state: 33.
1881 1919
##
1882
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1883
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1884
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1885
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1886
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1887
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1888
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1889
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1890
## dim -> dim LT dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1891
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1892
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1893
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1894
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1895
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1896
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1897
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1898
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1899
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1920
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1921
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1922
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1923
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1924
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1925
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1926
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1927
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1928
## dim -> dim LT dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1929
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1930
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1931
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1932
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1933
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1934
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1935
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1936
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1937
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1900 1938
##
1901 1939
## The known suffix of the stack is as follows:
1902 1940
## dim LT dim
......
1905 1943
##
1906 1944
## Ends in an error in state: 31.
1907 1945
##
1908
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1909
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1910
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1911
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1912
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1913
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1914
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1915
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1916
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1917
## dim -> dim LTE dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1918
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1919
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1920
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1921
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1922
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1923
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1924
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1925
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1946
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1947
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1948
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1949
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1950
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1951
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1952
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1953
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1954
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1955
## dim -> dim LTE dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1956
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1957
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1958
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1959
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1960
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1961
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1962
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1963
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1926 1964
##
1927 1965
## The known suffix of the stack is as follows:
1928 1966
## dim LTE dim
......
1931 1969
##
1932 1970
## Ends in an error in state: 29.
1933 1971
##
1934
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1935
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1936
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1937
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1938
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1939
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1940
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1941
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1942
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1943
## dim -> dim . GT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1944
## dim -> dim . GTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1945
## dim -> dim . NEQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1946
## dim -> dim . PLUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1947
## dim -> dim . MINUS dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1948
## dim -> dim MINUS dim . [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1949
## dim -> dim . MULT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1950
## dim -> dim . DIV dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1951
## dim -> dim . MOD dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BARBAR ARROW AND AMPERAMPER ]
1972
## dim -> dim . AND dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1973
## dim -> dim . AMPERAMPER dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1974
## dim -> dim . OR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1975
## dim -> dim . BARBAR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1976
## dim -> dim . XOR dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1977
## dim -> dim . IMPL dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1978
## dim -> dim . EQ dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1979
## dim -> dim . LT dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
1980
## dim -> dim . LTE dim [ XOR WHENNOT WHEN THEN SCOL RPAR RESUME RESTART RCUR RBRACKET POWER PLUS OR NEQ MULT MOD MINUS LTE LT LET LBRACKET IMPL GTE GT FBY EQ ELSE DIV COMMA BY BARBAR ARROW AND AMPERAMPER ]
... This diff was truncated because it exceeds the maximum size that can be displayed.

Also available in: Unified diff