-
Notifications
You must be signed in to change notification settings - Fork 0
/
res_grammar_1.txt
4773 lines (4773 loc) · 163 KB
/
res_grammar_1.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(['A1'], ['S1'])
(['S1'], ['S2'])
(['S3'], ['S4'])
(['S5'], ['S6'])
(['S7'], ['S8'])
(['S9'], ['S10'])
(['S11'], ['S12'])
(['S13'], ['S12'])
(['S14'], ['S15'])
(['S16'], ['S17'])
(['S18'], ['S10'])
(['S19'], ['S10'])
(['S20'], ['S21'])
(['S22'], ['S23'])
(['S24'], ['S23'])
(['S25'], ['S26'])
(['S27'], ['S28'])
(['S29'], ['S30'])
(['S31'], ['S32'])
(['S33'], ['S34'])
(['S35'], ['S36'])
(['S37'], ['S38'])
(['S39'], ['S40'])
(['S41'], ['S42'])
(['S43'], ['S44'])
(['S45'], ['S46'])
(['S47'], ['S48'])
(['S49'], ['S48'])
(['S50'], ['S51'])
(['S52'], ['S53'])
(['S54'], ['S53'])
(['S55'], ['S2'])
(['S56'], ['S57'])
(['S58'], ['S57'])
(['S59'], ['S60'])
(['S61'], ['='])
(['S62'], ['='])
(['S63'], ['='])
(['A1'], ['S64', 'A2'])
(['A2'], ['S65', 'A2'])
(['A2'], ['S66'])
(['S64'], ['S67'])
(['S68', 'S65'], ['S69', 'S70'])
(['S68', 'S71'], ['S69', 'S72'])
(['S68', 'S73'], ['S69', 'S74'])
(['S75', 'S65'], ['S76', 'S70'])
(['S75', 'S71'], ['S76', 'S72'])
(['S75', 'S73'], ['S76', 'S74'])
(['S77', 'S65'], ['S78', 'S79'])
(['S77', 'S71'], ['S78', 'S80'])
(['S77', 'S73'], ['S78', 'S81'])
(['S82', 'S65'], ['S76', 'S83'])
(['S82', 'S71'], ['S76', 'S84'])
(['S82', 'S73'], ['S76', 'S85'])
(['S86', 'S65'], ['S87', 'S88'])
(['S86', 'S71'], ['S87', 'S89'])
(['S86', 'S73'], ['S87', 'S90'])
(['S91', 'S65'], ['S87', 'S88'])
(['S91', 'S71'], ['S87', 'S89'])
(['S91', 'S73'], ['S87', 'S90'])
(['S92', 'S65'], ['S93', 'S94'])
(['S92', 'S71'], ['S93', 'S95'])
(['S92', 'S73'], ['S93', 'S96'])
(['S97'], ['S98'])
(['S99', 'S65'], ['S76', 'S83'])
(['S99', 'S71'], ['S76', 'S84'])
(['S99', 'S73'], ['S76', 'S85'])
(['S100', 'S65'], ['S76', 'S83'])
(['S100', 'S71'], ['S76', 'S84'])
(['S100', 'S73'], ['S76', 'S85'])
(['S101', 'S65'], ['S93', 'S102'])
(['S101', 'S71'], ['S93', 'S103'])
(['S101', 'S73'], ['S93', 'S104'])
(['S105', 'S65'], ['S76', 'S106'])
(['S105', 'S71'], ['S76', 'S107'])
(['S105', 'S73'], ['S76', 'S108'])
(['S109', 'S65'], ['S76', 'S106'])
(['S109', 'S71'], ['S76', 'S107'])
(['S109', 'S73'], ['S76', 'S108'])
(['S110'], ['S111'])
(['S112'], ['S113'])
(['S114'], ['S115'])
(['S116'], ['S117'])
(['S118'], ['S119'])
(['S120'], ['S121'])
(['S122'], ['S123'])
(['S124', 'S65'], ['S69', 'S125'])
(['S124', 'S71'], ['S69', 'S126'])
(['S124', 'S73'], ['S69', 'S127'])
(['S128', 'S65'], ['S78', 'S129'])
(['S128', 'S71'], ['S78', 'S130'])
(['S128', 'S73'], ['S78', 'S131'])
(['S132', 'S65'], ['S87', 'S129'])
(['S132', 'S71'], ['S87', 'S130'])
(['S132', 'S73'], ['S87', 'S131'])
(['S133'], ['S134'])
(['S135'], ['S134'])
(['S136'], ['S137'])
(['S138'], ['S139'])
(['S140'], ['S139'])
(['S141'], ['S67'])
(['S142'], ['S143'])
(['S144'], ['S143'])
(['S145', 'S65'], ['S76', 'S146'])
(['S145', 'S71'], ['S76', 'S147'])
(['S145', 'S73'], ['S76', 'S148'])
(['S149', 'S65'], ['S150', 'S70'])
(['S149', 'S71'], ['S150', 'S72'])
(['S149', 'S73'], ['S150', 'S74'])
(['S149', 'S66'], ['S150', 'S151'])
(['S149', 'S152'], ['S150', 'S153'])
(['S149', 'S154'], ['S150', 'S155'])
(['S156', 'S65'], ['S157', 'S70'])
(['S156', 'S71'], ['S157', 'S72'])
(['S156', 'S73'], ['S157', 'S74'])
(['S156', 'S66'], ['S157', 'S151'])
(['S156', 'S152'], ['S157', 'S153'])
(['S156', 'S154'], ['S157', 'S155'])
(['S158', 'S65'], ['S159', 'S79'])
(['S158', 'S71'], ['S159', 'S80'])
(['S158', 'S73'], ['S159', 'S81'])
(['S158', 'S66'], ['S159', 'S160'])
(['S158', 'S152'], ['S159', 'S161'])
(['S158', 'S154'], ['S159', 'S162'])
(['S163', 'S65'], ['S157', 'S83'])
(['S163', 'S71'], ['S157', 'S84'])
(['S163', 'S73'], ['S157', 'S85'])
(['S163', 'S66'], ['S157', 'S164'])
(['S163', 'S152'], ['S157', 'S165'])
(['S163', 'S154'], ['S157', 'S166'])
(['S167', 'S65'], ['S168', 'S88'])
(['S167', 'S71'], ['S168', 'S89'])
(['S167', 'S73'], ['S168', 'S90'])
(['S167', 'S66'], ['S168', 'S169'])
(['S167', 'S152'], ['S168', 'S170'])
(['S167', 'S154'], ['S168', 'S171'])
(['S172', 'S65'], ['S168', 'S88'])
(['S172', 'S71'], ['S168', 'S89'])
(['S172', 'S73'], ['S168', 'S90'])
(['S172', 'S66'], ['S168', 'S169'])
(['S172', 'S152'], ['S168', 'S170'])
(['S172', 'S154'], ['S168', 'S171'])
(['S88', 'S65'], ['S65', 'S94'])
(['S88', 'S71'], ['S65', 'S95'])
(['S88', 'S73'], ['S65', 'S96'])
(['S88', 'S66'], ['S65', 'S173'])
(['S88', 'S152'], ['S65', 'S174'])
(['S88', 'S154'], ['S65', 'S175'])
(['S65', 'S176'], ['S177', 'S168'])
(['S71', 'S176'], ['S178', 'S168'])
(['S73', 'S176'], ['S179', 'S168'])
(['S93', 'S176'], ['S180', 'S168'])
(['S181', 'S176'], ['S182', 'S168'])
(['S183', 'S176'], ['S184', 'S168'])
(['S185', 'S65'], ['S157', 'S83'])
(['S185', 'S71'], ['S157', 'S84'])
(['S185', 'S73'], ['S157', 'S85'])
(['S185', 'S66'], ['S157', 'S164'])
(['S185', 'S152'], ['S157', 'S165'])
(['S185', 'S154'], ['S157', 'S166'])
(['S186', 'S65'], ['S157', 'S83'])
(['S186', 'S71'], ['S157', 'S84'])
(['S186', 'S73'], ['S157', 'S85'])
(['S186', 'S66'], ['S157', 'S164'])
(['S186', 'S152'], ['S157', 'S165'])
(['S186', 'S154'], ['S157', 'S166'])
(['S83', 'S65'], ['S65', 'S102'])
(['S83', 'S71'], ['S65', 'S103'])
(['S83', 'S73'], ['S65', 'S104'])
(['S83', 'S66'], ['S65', 'S187'])
(['S83', 'S152'], ['S65', 'S188'])
(['S83', 'S154'], ['S65', 'S189'])
(['S190', 'S65'], ['S157', 'S106'])
(['S190', 'S71'], ['S157', 'S107'])
(['S190', 'S73'], ['S157', 'S108'])
(['S190', 'S66'], ['S157', 'S191'])
(['S190', 'S152'], ['S157', 'S192'])
(['S190', 'S154'], ['S157', 'S193'])
(['S194', 'S65'], ['S157', 'S106'])
(['S194', 'S71'], ['S157', 'S107'])
(['S194', 'S73'], ['S157', 'S108'])
(['S194', 'S66'], ['S157', 'S191'])
(['S194', 'S152'], ['S157', 'S192'])
(['S194', 'S154'], ['S157', 'S193'])
(['S65', 'S195'], ['S196', 'S168'])
(['S71', 'S195'], ['S197', 'S168'])
(['S73', 'S195'], ['S198', 'S168'])
(['S93', 'S195'], ['S199', 'S168'])
(['S181', 'S195'], ['S200', 'S168'])
(['S183', 'S195'], ['S201', 'S168'])
(['S65', 'S202'], ['S203', 'S168'])
(['S71', 'S202'], ['S204', 'S168'])
(['S73', 'S202'], ['S205', 'S168'])
(['S93', 'S202'], ['S116', 'S168'])
(['S181', 'S202'], ['S206', 'S168'])
(['S183', 'S202'], ['S207', 'S168'])
(['S65', 'S208'], ['S203', 'S157'])
(['S71', 'S208'], ['S204', 'S157'])
(['S73', 'S208'], ['S205', 'S157'])
(['S93', 'S208'], ['S116', 'S157'])
(['S181', 'S208'], ['S206', 'S157'])
(['S183', 'S208'], ['S207', 'S157'])
(['S65', 'S203'], ['S209', 'S65'])
(['S71', 'S203'], ['S210', 'S65'])
(['S73', 'S203'], ['S211', 'S65'])
(['S93', 'S203'], ['S212', 'S65'])
(['S181', 'S203'], ['S213', 'S65'])
(['S183', 'S203'], ['S214', 'S65'])
(['S65', 'S215'], ['S209', 'S157'])
(['S71', 'S215'], ['S210', 'S157'])
(['S73', 'S215'], ['S211', 'S157'])
(['S93', 'S215'], ['S212', 'S157'])
(['S181', 'S215'], ['S213', 'S157'])
(['S183', 'S215'], ['S214', 'S157'])
(['S65', 'S216'], ['S209', 'S168'])
(['S71', 'S216'], ['S210', 'S168'])
(['S73', 'S216'], ['S211', 'S168'])
(['S93', 'S216'], ['S212', 'S168'])
(['S181', 'S216'], ['S213', 'S168'])
(['S183', 'S216'], ['S214', 'S168'])
(['S65', 'S217'], ['S218', 'S159'])
(['S71', 'S217'], ['S219', 'S159'])
(['S73', 'S217'], ['S220', 'S159'])
(['S93', 'S217'], ['S221', 'S159'])
(['S181', 'S217'], ['S222', 'S159'])
(['S183', 'S217'], ['S223', 'S159'])
(['S224', 'S65'], ['S150', 'S125'])
(['S224', 'S71'], ['S150', 'S126'])
(['S224', 'S73'], ['S150', 'S127'])
(['S224', 'S66'], ['S150', 'S225'])
(['S224', 'S152'], ['S150', 'S226'])
(['S224', 'S154'], ['S150', 'S227'])
(['S228', 'S65'], ['S159', 'S129'])
(['S228', 'S71'], ['S159', 'S130'])
(['S228', 'S73'], ['S159', 'S131'])
(['S228', 'S66'], ['S159', 'S229'])
(['S228', 'S152'], ['S159', 'S230'])
(['S228', 'S154'], ['S159', 'S231'])
(['S232', 'S65'], ['S168', 'S129'])
(['S232', 'S71'], ['S168', 'S130'])
(['S232', 'S73'], ['S168', 'S131'])
(['S232', 'S66'], ['S168', 'S229'])
(['S232', 'S152'], ['S168', 'S230'])
(['S232', 'S154'], ['S168', 'S231'])
(['S65', 'S233'], ['S234', 'S168'])
(['S71', 'S233'], ['S235', 'S168'])
(['S73', 'S233'], ['S236', 'S168'])
(['S93', 'S233'], ['S237', 'S168'])
(['S181', 'S233'], ['S238', 'S168'])
(['S183', 'S233'], ['S239', 'S168'])
(['S65', 'S240'], ['S234', 'S168'])
(['S71', 'S240'], ['S235', 'S168'])
(['S73', 'S240'], ['S236', 'S168'])
(['S93', 'S240'], ['S237', 'S168'])
(['S181', 'S240'], ['S238', 'S168'])
(['S183', 'S240'], ['S239', 'S168'])
(['S65', 'S241'], ['S242', 'S159'])
(['S71', 'S241'], ['S243', 'S159'])
(['S73', 'S241'], ['S244', 'S159'])
(['S93', 'S241'], ['S245', 'S159'])
(['S181', 'S241'], ['S246', 'S159'])
(['S183', 'S241'], ['S247', 'S159'])
(['S65', 'S248'], ['S249', 'S157'])
(['S71', 'S248'], ['S250', 'S157'])
(['S73', 'S248'], ['S251', 'S157'])
(['S93', 'S248'], ['S252', 'S157'])
(['S181', 'S248'], ['S253', 'S157'])
(['S183', 'S248'], ['S254', 'S157'])
(['S65', 'S255'], ['S249', 'S157'])
(['S71', 'S255'], ['S250', 'S157'])
(['S73', 'S255'], ['S251', 'S157'])
(['S93', 'S255'], ['S252', 'S157'])
(['S181', 'S255'], ['S253', 'S157'])
(['S183', 'S255'], ['S254', 'S157'])
(['S65', 'S256'], ['S257', 'S157'])
(['S71', 'S256'], ['S258', 'S157'])
(['S73', 'S256'], ['S259', 'S157'])
(['S93', 'S256'], ['S260', 'S157'])
(['S181', 'S256'], ['S261', 'S157'])
(['S183', 'S256'], ['S262', 'S157'])
(['S65', 'S263'], ['S257', 'S157'])
(['S71', 'S263'], ['S258', 'S157'])
(['S73', 'S263'], ['S259', 'S157'])
(['S93', 'S263'], ['S260', 'S157'])
(['S181', 'S263'], ['S261', 'S157'])
(['S183', 'S263'], ['S262', 'S157'])
(['S264', 'S65'], ['S157', 'S146'])
(['S264', 'S71'], ['S157', 'S147'])
(['S264', 'S73'], ['S157', 'S148'])
(['S264', 'S66'], ['S157', 'S265'])
(['S264', 'S152'], ['S157', 'S266'])
(['S264', 'S154'], ['S157', 'S267'])
(['S268'], ['S269'])
(['S270'], ['S271'])
(['S272'], ['S273'])
(['S274'], ['S275'])
(['S276'], ['S277'])
(['S278'], ['S277'])
(['S169'], ['S279'])
(['S65', 'S280'], ['S177', 'S281'])
(['S71', 'S280'], ['S178', 'S281'])
(['S73', 'S280'], ['S179', 'S281'])
(['S282'], ['S275'])
(['S283'], ['S275'])
(['S164'], ['S284'])
(['S285'], ['S286'])
(['S287'], ['S286'])
(['S288'], ['S289'])
(['S65', 'S290'], ['S196', 'S281'])
(['S71', 'S290'], ['S197', 'S281'])
(['S73', 'S290'], ['S198', 'S281'])
(['S65', 'S291'], ['S203', 'S281'])
(['S71', 'S291'], ['S204', 'S281'])
(['S73', 'S291'], ['S205', 'S281'])
(['S65', 'S292'], ['S203', 'S293'])
(['S71', 'S292'], ['S204', 'S293'])
(['S73', 'S292'], ['S205', 'S293'])
(['S65', 'S294'], ['S209', 'S66'])
(['S71', 'S294'], ['S210', 'S66'])
(['S73', 'S294'], ['S211', 'S66'])
(['S65', 'S295'], ['S209', 'S293'])
(['S71', 'S295'], ['S210', 'S293'])
(['S73', 'S295'], ['S211', 'S293'])
(['S65', 'S296'], ['S209', 'S281'])
(['S71', 'S296'], ['S210', 'S281'])
(['S73', 'S296'], ['S211', 'S281'])
(['S65', 'S297'], ['S218', 'S298'])
(['S71', 'S297'], ['S219', 'S298'])
(['S73', 'S297'], ['S220', 'S298'])
(['S299'], ['S300'])
(['S301'], ['S302'])
(['S303'], ['S304'])
(['S65', 'S305'], ['S234', 'S281'])
(['S71', 'S305'], ['S235', 'S281'])
(['S73', 'S305'], ['S236', 'S281'])
(['S65', 'S306'], ['S234', 'S281'])
(['S71', 'S306'], ['S235', 'S281'])
(['S73', 'S306'], ['S236', 'S281'])
(['S65', 'S307'], ['S242', 'S298'])
(['S71', 'S307'], ['S243', 'S298'])
(['S73', 'S307'], ['S244', 'S298'])
(['S65', 'S308'], ['S249', 'S293'])
(['S71', 'S308'], ['S250', 'S293'])
(['S73', 'S308'], ['S251', 'S293'])
(['S65', 'S309'], ['S249', 'S293'])
(['S71', 'S309'], ['S250', 'S293'])
(['S73', 'S309'], ['S251', 'S293'])
(['S65', 'S310'], ['S257', 'S293'])
(['S71', 'S310'], ['S258', 'S293'])
(['S73', 'S310'], ['S259', 'S293'])
(['S65', 'S311'], ['S257', 'S293'])
(['S71', 'S311'], ['S258', 'S293'])
(['S73', 'S311'], ['S259', 'S293'])
(['S312'], ['S313'])
(['S314'], ['='])
(['S180'], ['='])
(['S177'], ['='])
(['S315'], ['='])
(['S316'], ['='])
(['=', 'S65'], ['=', '='])
(['=', 'S66'], ['=', '='])
(['S65', '='], ['=', '='])
(['S93', '='], ['=', '='])
(['=', 'S71'], ['=', '*'])
(['=', 'S152'], ['=', '*'])
(['S65', '*'], ['=', '*'])
(['S93', '*'], ['=', '*'])
(['=', 'S73'], ['=', '1'])
(['=', 'S154'], ['=', '1'])
(['S65', '1'], ['=', '1'])
(['S93', '1'], ['=', '1'])
(['S317'], ['S3'])
(['S23'], ['S29'])
(['S53'], ['S3'])
(['S318'], ['='])
(['S319'], ['='])
(['S320'], ['='])
(['S321'], ['S68'])
(['S68', 'S157'], ['S69', 'S156'])
(['S68', 'S322'], ['S69', 'S323'])
(['S68', 'S324'], ['S69', 'S325'])
(['S75', 'S157'], ['S76', 'S156'])
(['S75', 'S322'], ['S76', 'S323'])
(['S75', 'S324'], ['S76', 'S325'])
(['S77', 'S157'], ['S78', 'S163'])
(['S77', 'S322'], ['S78', 'S326'])
(['S77', 'S324'], ['S78', 'S327'])
(['S82', 'S157'], ['S76', 'S186'])
(['S82', 'S322'], ['S76', 'S328'])
(['S82', 'S324'], ['S76', 'S329'])
(['S86', 'S157'], ['S87', 'S185'])
(['S86', 'S322'], ['S87', 'S330'])
(['S86', 'S324'], ['S87', 'S331'])
(['S91', 'S157'], ['S87', 'S185'])
(['S91', 'S322'], ['S87', 'S330'])
(['S91', 'S324'], ['S87', 'S331'])
(['S92', 'S157'], ['S93', 'S332'])
(['S92', 'S322'], ['S93', 'S333'])
(['S92', 'S324'], ['S93', 'S334'])
(['S99', 'S157'], ['S76', 'S186'])
(['S99', 'S322'], ['S76', 'S328'])
(['S99', 'S324'], ['S76', 'S329'])
(['S100', 'S157'], ['S76', 'S186'])
(['S100', 'S322'], ['S76', 'S328'])
(['S100', 'S324'], ['S76', 'S329'])
(['S101', 'S157'], ['S93', 'S190'])
(['S101', 'S322'], ['S93', 'S335'])
(['S101', 'S324'], ['S93', 'S336'])
(['S105', 'S157'], ['S76', 'S194'])
(['S105', 'S322'], ['S76', 'S337'])
(['S105', 'S324'], ['S76', 'S338'])
(['S109', 'S157'], ['S76', 'S194'])
(['S109', 'S322'], ['S76', 'S337'])
(['S109', 'S324'], ['S76', 'S338'])
(['S124', 'S157'], ['S69', 'S339'])
(['S124', 'S322'], ['S69', 'S340'])
(['S124', 'S324'], ['S69', 'S341'])
(['S128', 'S157'], ['S78', 'S233'])
(['S128', 'S322'], ['S78', 'S342'])
(['S128', 'S324'], ['S78', 'S343'])
(['S132', 'S157'], ['S87', 'S233'])
(['S132', 'S322'], ['S87', 'S342'])
(['S132', 'S324'], ['S87', 'S343'])
(['S139'], ['S68'])
(['S145', 'S157'], ['S76', 'S149'])
(['S145', 'S322'], ['S76', 'S344'])
(['S145', 'S324'], ['S76', 'S345'])
(['S149', 'S157'], ['S150', 'S156'])
(['S149', 'S322'], ['S150', 'S323'])
(['S149', 'S324'], ['S150', 'S325'])
(['S149', 'S293'], ['S150', 'S270'])
(['S149', 'S346'], ['S150', 'S347'])
(['S149', 'S348'], ['S150', 'S349'])
(['S156', 'S157'], ['S157', 'S156'])
(['S156', 'S322'], ['S157', 'S323'])
(['S156', 'S324'], ['S157', 'S325'])
(['S156', 'S293'], ['S157', 'S270'])
(['S156', 'S346'], ['S157', 'S347'])
(['S156', 'S348'], ['S157', 'S349'])
(['S158', 'S157'], ['S159', 'S163'])
(['S158', 'S322'], ['S159', 'S326'])
(['S158', 'S324'], ['S159', 'S327'])
(['S158', 'S293'], ['S159', 'S274'])
(['S158', 'S346'], ['S159', 'S350'])
(['S158', 'S348'], ['S159', 'S351'])
(['S163', 'S157'], ['S157', 'S186'])
(['S163', 'S322'], ['S157', 'S328'])
(['S163', 'S324'], ['S157', 'S329'])
(['S163', 'S293'], ['S157', 'S283'])
(['S163', 'S346'], ['S157', 'S352'])
(['S163', 'S348'], ['S157', 'S353'])
(['S167', 'S157'], ['S168', 'S185'])
(['S167', 'S322'], ['S168', 'S330'])
(['S167', 'S324'], ['S168', 'S331'])
(['S167', 'S293'], ['S168', 'S282'])
(['S167', 'S346'], ['S168', 'S354'])
(['S167', 'S348'], ['S168', 'S355'])
(['S172', 'S157'], ['S168', 'S185'])
(['S172', 'S322'], ['S168', 'S330'])
(['S172', 'S324'], ['S168', 'S331'])
(['S172', 'S293'], ['S168', 'S282'])
(['S172', 'S346'], ['S168', 'S354'])
(['S172', 'S348'], ['S168', 'S355'])
(['S88', 'S157'], ['S65', 'S332'])
(['S88', 'S322'], ['S65', 'S333'])
(['S88', 'S324'], ['S65', 'S334'])
(['S88', 'S293'], ['S65', 'S356'])
(['S88', 'S346'], ['S65', 'S357'])
(['S88', 'S348'], ['S65', 'S358'])
(['S157', 'S176'], ['S359', 'S168'])
(['S322', 'S176'], ['S360', 'S168'])
(['S324', 'S176'], ['S361', 'S168'])
(['S76', 'S176'], ['S362', 'S168'])
(['S363', 'S176'], ['S364', 'S168'])
(['S365', 'S176'], ['S366', 'S168'])
(['S185', 'S157'], ['S157', 'S186'])
(['S185', 'S322'], ['S157', 'S328'])
(['S185', 'S324'], ['S157', 'S329'])
(['S185', 'S293'], ['S157', 'S283'])
(['S185', 'S346'], ['S157', 'S352'])
(['S185', 'S348'], ['S157', 'S353'])
(['S186', 'S157'], ['S157', 'S186'])
(['S186', 'S322'], ['S157', 'S328'])
(['S186', 'S324'], ['S157', 'S329'])
(['S186', 'S293'], ['S157', 'S283'])
(['S186', 'S346'], ['S157', 'S352'])
(['S186', 'S348'], ['S157', 'S353'])
(['S83', 'S157'], ['S65', 'S190'])
(['S83', 'S322'], ['S65', 'S335'])
(['S83', 'S324'], ['S65', 'S336'])
(['S83', 'S293'], ['S65', 'S285'])
(['S83', 'S346'], ['S65', 'S367'])
(['S83', 'S348'], ['S65', 'S368'])
(['S190', 'S157'], ['S157', 'S194'])
(['S190', 'S322'], ['S157', 'S337'])
(['S190', 'S324'], ['S157', 'S338'])
(['S190', 'S293'], ['S157', 'S287'])
(['S190', 'S346'], ['S157', 'S369'])
(['S190', 'S348'], ['S157', 'S370'])
(['S194', 'S157'], ['S157', 'S194'])
(['S194', 'S322'], ['S157', 'S337'])
(['S194', 'S324'], ['S157', 'S338'])
(['S194', 'S293'], ['S157', 'S287'])
(['S194', 'S346'], ['S157', 'S369'])
(['S194', 'S348'], ['S157', 'S370'])
(['S157', 'S195'], ['S202', 'S168'])
(['S322', 'S195'], ['S371', 'S168'])
(['S324', 'S195'], ['S372', 'S168'])
(['S76', 'S195'], ['S112', 'S168'])
(['S363', 'S195'], ['S373', 'S168'])
(['S365', 'S195'], ['S374', 'S168'])
(['S157', 'S202'], ['S208', 'S168'])
(['S322', 'S202'], ['S375', 'S168'])
(['S324', 'S202'], ['S376', 'S168'])
(['S76', 'S202'], ['S114', 'S168'])
(['S363', 'S202'], ['S377', 'S168'])
(['S365', 'S202'], ['S378', 'S168'])
(['S157', 'S208'], ['S208', 'S157'])
(['S322', 'S208'], ['S375', 'S157'])
(['S324', 'S208'], ['S376', 'S157'])
(['S76', 'S208'], ['S114', 'S157'])
(['S363', 'S208'], ['S377', 'S157'])
(['S365', 'S208'], ['S378', 'S157'])
(['S157', 'S203'], ['S215', 'S65'])
(['S322', 'S203'], ['S379', 'S65'])
(['S324', 'S203'], ['S380', 'S65'])
(['S76', 'S203'], ['S118', 'S65'])
(['S363', 'S203'], ['S381', 'S65'])
(['S365', 'S203'], ['S382', 'S65'])
(['S157', 'S215'], ['S215', 'S157'])
(['S322', 'S215'], ['S379', 'S157'])
(['S324', 'S215'], ['S380', 'S157'])
(['S76', 'S215'], ['S118', 'S157'])
(['S363', 'S215'], ['S381', 'S157'])
(['S365', 'S215'], ['S382', 'S157'])
(['S157', 'S216'], ['S215', 'S168'])
(['S322', 'S216'], ['S379', 'S168'])
(['S324', 'S216'], ['S380', 'S168'])
(['S76', 'S216'], ['S118', 'S168'])
(['S363', 'S216'], ['S381', 'S168'])
(['S365', 'S216'], ['S382', 'S168'])
(['S157', 'S217'], ['S256', 'S159'])
(['S322', 'S217'], ['S383', 'S159'])
(['S324', 'S217'], ['S384', 'S159'])
(['S76', 'S217'], ['S142', 'S159'])
(['S363', 'S217'], ['S385', 'S159'])
(['S365', 'S217'], ['S386', 'S159'])
(['S224', 'S157'], ['S150', 'S339'])
(['S224', 'S322'], ['S150', 'S340'])
(['S224', 'S324'], ['S150', 'S341'])
(['S224', 'S293'], ['S150', 'S387'])
(['S224', 'S346'], ['S150', 'S388'])
(['S224', 'S348'], ['S150', 'S389'])
(['S228', 'S157'], ['S159', 'S233'])
(['S228', 'S322'], ['S159', 'S342'])
(['S228', 'S324'], ['S159', 'S343'])
(['S228', 'S293'], ['S159', 'S305'])
(['S228', 'S346'], ['S159', 'S390'])
(['S228', 'S348'], ['S159', 'S391'])
(['S232', 'S157'], ['S168', 'S233'])
(['S232', 'S322'], ['S168', 'S342'])
(['S232', 'S324'], ['S168', 'S343'])
(['S232', 'S293'], ['S168', 'S305'])
(['S232', 'S346'], ['S168', 'S390'])
(['S232', 'S348'], ['S168', 'S391'])
(['S157', 'S233'], ['S392', 'S168'])
(['S322', 'S233'], ['S393', 'S168'])
(['S324', 'S233'], ['S394', 'S168'])
(['S76', 'S233'], ['S395', 'S168'])
(['S363', 'S233'], ['S396', 'S168'])
(['S365', 'S233'], ['S397', 'S168'])
(['S157', 'S240'], ['S392', 'S168'])
(['S322', 'S240'], ['S393', 'S168'])
(['S324', 'S240'], ['S394', 'S168'])
(['S76', 'S240'], ['S395', 'S168'])
(['S363', 'S240'], ['S396', 'S168'])
(['S365', 'S240'], ['S397', 'S168'])
(['S157', 'S241'], ['S398', 'S159'])
(['S322', 'S241'], ['S399', 'S159'])
(['S324', 'S241'], ['S400', 'S159'])
(['S76', 'S241'], ['S401', 'S159'])
(['S363', 'S241'], ['S402', 'S159'])
(['S365', 'S241'], ['S403', 'S159'])
(['S157', 'S248'], ['S255', 'S157'])
(['S322', 'S248'], ['S404', 'S157'])
(['S324', 'S248'], ['S405', 'S157'])
(['S76', 'S248'], ['S140', 'S157'])
(['S363', 'S248'], ['S406', 'S157'])
(['S365', 'S248'], ['S407', 'S157'])
(['S157', 'S255'], ['S255', 'S157'])
(['S322', 'S255'], ['S404', 'S157'])
(['S324', 'S255'], ['S405', 'S157'])
(['S76', 'S255'], ['S140', 'S157'])
(['S363', 'S255'], ['S406', 'S157'])
(['S365', 'S255'], ['S407', 'S157'])
(['S157', 'S256'], ['S263', 'S157'])
(['S322', 'S256'], ['S408', 'S157'])
(['S324', 'S256'], ['S409', 'S157'])
(['S76', 'S256'], ['S144', 'S157'])
(['S363', 'S256'], ['S410', 'S157'])
(['S365', 'S256'], ['S411', 'S157'])
(['S157', 'S263'], ['S263', 'S157'])
(['S322', 'S263'], ['S408', 'S157'])
(['S324', 'S263'], ['S409', 'S157'])
(['S76', 'S263'], ['S144', 'S157'])
(['S363', 'S263'], ['S410', 'S157'])
(['S365', 'S263'], ['S411', 'S157'])
(['S264', 'S157'], ['S157', 'S149'])
(['S264', 'S322'], ['S157', 'S344'])
(['S264', 'S324'], ['S157', 'S345'])
(['S264', 'S293'], ['S157', 'S268'])
(['S264', 'S346'], ['S157', 'S412'])
(['S264', 'S348'], ['S157', 'S413'])
(['S157', 'S280'], ['S359', 'S281'])
(['S322', 'S280'], ['S360', 'S281'])
(['S324', 'S280'], ['S361', 'S281'])
(['S286'], ['S291'])
(['S157', 'S290'], ['S202', 'S281'])
(['S322', 'S290'], ['S371', 'S281'])
(['S324', 'S290'], ['S372', 'S281'])
(['S157', 'S291'], ['S208', 'S281'])
(['S322', 'S291'], ['S375', 'S281'])
(['S324', 'S291'], ['S376', 'S281'])
(['S157', 'S292'], ['S208', 'S293'])
(['S322', 'S292'], ['S375', 'S293'])
(['S324', 'S292'], ['S376', 'S293'])
(['S157', 'S294'], ['S215', 'S66'])
(['S322', 'S294'], ['S379', 'S66'])
(['S324', 'S294'], ['S380', 'S66'])
(['S157', 'S295'], ['S215', 'S293'])
(['S322', 'S295'], ['S379', 'S293'])
(['S324', 'S295'], ['S380', 'S293'])
(['S157', 'S296'], ['S215', 'S281'])
(['S322', 'S296'], ['S379', 'S281'])
(['S324', 'S296'], ['S380', 'S281'])
(['S157', 'S297'], ['S256', 'S298'])
(['S322', 'S297'], ['S383', 'S298'])
(['S324', 'S297'], ['S384', 'S298'])
(['S157', 'S305'], ['S392', 'S281'])
(['S322', 'S305'], ['S393', 'S281'])
(['S324', 'S305'], ['S394', 'S281'])
(['S157', 'S306'], ['S392', 'S281'])
(['S322', 'S306'], ['S393', 'S281'])
(['S324', 'S306'], ['S394', 'S281'])
(['S157', 'S307'], ['S398', 'S298'])
(['S322', 'S307'], ['S399', 'S298'])
(['S324', 'S307'], ['S400', 'S298'])
(['S157', 'S308'], ['S255', 'S293'])
(['S322', 'S308'], ['S404', 'S293'])
(['S324', 'S308'], ['S405', 'S293'])
(['S157', 'S309'], ['S255', 'S293'])
(['S322', 'S309'], ['S404', 'S293'])
(['S324', 'S309'], ['S405', 'S293'])
(['S157', 'S310'], ['S263', 'S293'])
(['S322', 'S310'], ['S408', 'S293'])
(['S324', 'S310'], ['S409', 'S293'])
(['S157', 'S311'], ['S263', 'S293'])
(['S322', 'S311'], ['S408', 'S293'])
(['S324', 'S311'], ['S409', 'S293'])
(['S414'], ['='])
(['S362'], ['='])
(['S359'], ['='])
(['S415'], ['='])
(['S416'], ['='])
(['=', 'S157'], ['=', '='])
(['=', 'S293'], ['=', '='])
(['S157', '='], ['=', '='])
(['S76', '='], ['=', '='])
(['=', 'S322'], ['=', '*'])
(['=', 'S346'], ['=', '*'])
(['S157', '*'], ['=', '*'])
(['S76', '*'], ['=', '*'])
(['=', 'S324'], ['=', '1'])
(['=', 'S348'], ['=', '1'])
(['S157', '1'], ['=', '1'])
(['S76', '1'], ['=', '1'])
(['S417'], ['S418'])
(['S419'], ['S420'])
(['S421'], ['S418'])
(['S422'], ['='])
(['S423'], ['='])
(['S424'], ['='])
(['S425'], ['S426'])
(['S68', 'S159'], ['S69', 'S158'])
(['S68', 'S427'], ['S69', 'S428'])
(['S68', 'S429'], ['S69', 'S430'])
(['S75', 'S159'], ['S76', 'S158'])
(['S75', 'S427'], ['S76', 'S428'])
(['S75', 'S429'], ['S76', 'S430'])
(['S77', 'S159'], ['S78', 'S431'])
(['S77', 'S427'], ['S78', 'S432'])
(['S77', 'S429'], ['S78', 'S433'])
(['S82', 'S159'], ['S76', 'S434'])
(['S82', 'S427'], ['S76', 'S435'])
(['S82', 'S429'], ['S76', 'S436'])
(['S86', 'S159'], ['S87', 'S437'])
(['S86', 'S427'], ['S87', 'S438'])
(['S86', 'S429'], ['S87', 'S439'])
(['S91', 'S159'], ['S87', 'S437'])
(['S91', 'S427'], ['S87', 'S438'])
(['S91', 'S429'], ['S87', 'S439'])
(['S92', 'S159'], ['S93', 'S440'])
(['S92', 'S427'], ['S93', 'S441'])
(['S92', 'S429'], ['S93', 'S442'])
(['S99', 'S159'], ['S76', 'S434'])
(['S99', 'S427'], ['S76', 'S435'])
(['S99', 'S429'], ['S76', 'S436'])
(['S100', 'S159'], ['S76', 'S434'])
(['S100', 'S427'], ['S76', 'S435'])
(['S100', 'S429'], ['S76', 'S436'])
(['S101', 'S159'], ['S93', 'S443'])
(['S101', 'S427'], ['S93', 'S444'])
(['S101', 'S429'], ['S93', 'S445'])
(['S105', 'S159'], ['S76', 'S446'])
(['S105', 'S427'], ['S76', 'S447'])
(['S105', 'S429'], ['S76', 'S448'])
(['S109', 'S159'], ['S76', 'S446'])
(['S109', 'S427'], ['S76', 'S447'])
(['S109', 'S429'], ['S76', 'S448'])
(['S124', 'S159'], ['S69', 'S228'])
(['S124', 'S427'], ['S69', 'S449'])
(['S124', 'S429'], ['S69', 'S450'])
(['S128', 'S159'], ['S78', 'S451'])
(['S128', 'S427'], ['S78', 'S452'])
(['S128', 'S429'], ['S78', 'S453'])
(['S132', 'S159'], ['S87', 'S451'])
(['S132', 'S427'], ['S87', 'S452'])
(['S132', 'S429'], ['S87', 'S453'])
(['S454'], ['S426'])
(['S145', 'S159'], ['S76', 'S455'])
(['S145', 'S427'], ['S76', 'S456'])
(['S145', 'S429'], ['S76', 'S457'])
(['S149', 'S159'], ['S150', 'S158'])
(['S149', 'S427'], ['S150', 'S428'])
(['S149', 'S429'], ['S150', 'S430'])
(['S149', 'S298'], ['S150', 'S272'])
(['S149', 'S458'], ['S150', 'S459'])
(['S149', 'S460'], ['S150', 'S461'])
(['S156', 'S159'], ['S157', 'S158'])
(['S156', 'S427'], ['S157', 'S428'])
(['S156', 'S429'], ['S157', 'S430'])
(['S156', 'S298'], ['S157', 'S272'])
(['S156', 'S458'], ['S157', 'S459'])
(['S156', 'S460'], ['S157', 'S461'])
(['S158', 'S159'], ['S159', 'S431'])
(['S158', 'S427'], ['S159', 'S432'])
(['S158', 'S429'], ['S159', 'S433'])
(['S158', 'S298'], ['S159', 'S462'])
(['S158', 'S458'], ['S159', 'S463'])
(['S158', 'S460'], ['S159', 'S464'])
(['S163', 'S159'], ['S157', 'S434'])
(['S163', 'S427'], ['S157', 'S435'])
(['S163', 'S429'], ['S157', 'S436'])
(['S163', 'S298'], ['S157', 'S465'])
(['S163', 'S458'], ['S157', 'S466'])
(['S163', 'S460'], ['S157', 'S467'])
(['S167', 'S159'], ['S168', 'S437'])
(['S167', 'S427'], ['S168', 'S438'])
(['S167', 'S429'], ['S168', 'S439'])
(['S167', 'S298'], ['S168', 'S468'])
(['S167', 'S458'], ['S168', 'S469'])
(['S167', 'S460'], ['S168', 'S470'])
(['S172', 'S159'], ['S168', 'S437'])
(['S172', 'S427'], ['S168', 'S438'])
(['S172', 'S429'], ['S168', 'S439'])
(['S172', 'S298'], ['S168', 'S468'])
(['S172', 'S458'], ['S168', 'S469'])
(['S172', 'S460'], ['S168', 'S470'])
(['S88', 'S159'], ['S65', 'S440'])
(['S88', 'S427'], ['S65', 'S441'])
(['S88', 'S429'], ['S65', 'S442'])
(['S88', 'S298'], ['S65', 'S471'])
(['S88', 'S458'], ['S65', 'S472'])
(['S88', 'S460'], ['S65', 'S473'])
(['S159', 'S176'], ['S474', 'S168'])
(['S427', 'S176'], ['S475', 'S168'])
(['S429', 'S176'], ['S476', 'S168'])
(['S78', 'S176'], ['S477', 'S168'])
(['S478', 'S176'], ['S479', 'S168'])
(['S480', 'S176'], ['S481', 'S168'])
(['S185', 'S159'], ['S157', 'S434'])
(['S185', 'S427'], ['S157', 'S435'])
(['S185', 'S429'], ['S157', 'S436'])
(['S185', 'S298'], ['S157', 'S465'])
(['S185', 'S458'], ['S157', 'S466'])
(['S185', 'S460'], ['S157', 'S467'])
(['S186', 'S159'], ['S157', 'S434'])
(['S186', 'S427'], ['S157', 'S435'])
(['S186', 'S429'], ['S157', 'S436'])
(['S186', 'S298'], ['S157', 'S465'])
(['S186', 'S458'], ['S157', 'S466'])
(['S186', 'S460'], ['S157', 'S467'])
(['S83', 'S159'], ['S65', 'S443'])
(['S83', 'S427'], ['S65', 'S444'])
(['S83', 'S429'], ['S65', 'S445'])
(['S83', 'S298'], ['S65', 'S482'])
(['S83', 'S458'], ['S65', 'S483'])
(['S83', 'S460'], ['S65', 'S484'])
(['S190', 'S159'], ['S157', 'S446'])
(['S190', 'S427'], ['S157', 'S447'])
(['S190', 'S429'], ['S157', 'S448'])
(['S190', 'S298'], ['S157', 'S485'])
(['S190', 'S458'], ['S157', 'S486'])
(['S190', 'S460'], ['S157', 'S487'])
(['S194', 'S159'], ['S157', 'S446'])
(['S194', 'S427'], ['S157', 'S447'])
(['S194', 'S429'], ['S157', 'S448'])
(['S194', 'S298'], ['S157', 'S485'])
(['S194', 'S458'], ['S157', 'S486'])
(['S194', 'S460'], ['S157', 'S487'])
(['S159', 'S195'], ['S488', 'S168'])
(['S427', 'S195'], ['S489', 'S168'])
(['S429', 'S195'], ['S490', 'S168'])
(['S78', 'S195'], ['S491', 'S168'])
(['S478', 'S195'], ['S492', 'S168'])
(['S480', 'S195'], ['S493', 'S168'])
(['S159', 'S202'], ['S494', 'S168'])
(['S427', 'S202'], ['S495', 'S168'])
(['S429', 'S202'], ['S496', 'S168'])
(['S78', 'S202'], ['S497', 'S168'])
(['S478', 'S202'], ['S498', 'S168'])
(['S480', 'S202'], ['S499', 'S168'])
(['S159', 'S208'], ['S494', 'S157'])
(['S427', 'S208'], ['S495', 'S157'])
(['S429', 'S208'], ['S496', 'S157'])
(['S78', 'S208'], ['S497', 'S157'])
(['S478', 'S208'], ['S498', 'S157'])
(['S480', 'S208'], ['S499', 'S157'])
(['S159', 'S203'], ['S217', 'S65'])
(['S427', 'S203'], ['S500', 'S65'])
(['S429', 'S203'], ['S501', 'S65'])
(['S78', 'S203'], ['S122', 'S65'])
(['S478', 'S203'], ['S502', 'S65'])
(['S480', 'S203'], ['S503', 'S65'])
(['S159', 'S215'], ['S217', 'S157'])
(['S427', 'S215'], ['S500', 'S157'])
(['S429', 'S215'], ['S501', 'S157'])
(['S78', 'S215'], ['S122', 'S157'])
(['S478', 'S215'], ['S502', 'S157'])
(['S480', 'S215'], ['S503', 'S157'])
(['S159', 'S216'], ['S217', 'S168'])
(['S427', 'S216'], ['S500', 'S168'])
(['S429', 'S216'], ['S501', 'S168'])
(['S78', 'S216'], ['S122', 'S168'])
(['S478', 'S216'], ['S502', 'S168'])
(['S480', 'S216'], ['S503', 'S168'])
(['S159', 'S217'], ['S504', 'S159'])
(['S427', 'S217'], ['S505', 'S159'])
(['S429', 'S217'], ['S506', 'S159'])
(['S78', 'S217'], ['S507', 'S159'])
(['S478', 'S217'], ['S508', 'S159'])
(['S480', 'S217'], ['S509', 'S159'])
(['S224', 'S159'], ['S150', 'S228'])
(['S224', 'S427'], ['S150', 'S449'])
(['S224', 'S429'], ['S150', 'S450'])
(['S224', 'S298'], ['S150', 'S301'])
(['S224', 'S458'], ['S150', 'S510'])
(['S224', 'S460'], ['S150', 'S511'])
(['S228', 'S159'], ['S159', 'S451'])
(['S228', 'S427'], ['S159', 'S452'])
(['S228', 'S429'], ['S159', 'S453'])
(['S228', 'S298'], ['S159', 'S512'])
(['S228', 'S458'], ['S159', 'S513'])
(['S228', 'S460'], ['S159', 'S514'])
(['S232', 'S159'], ['S168', 'S451'])
(['S232', 'S427'], ['S168', 'S452'])
(['S232', 'S429'], ['S168', 'S453'])
(['S232', 'S298'], ['S168', 'S512'])
(['S232', 'S458'], ['S168', 'S513'])
(['S232', 'S460'], ['S168', 'S514'])
(['S159', 'S233'], ['S241', 'S168'])
(['S427', 'S233'], ['S515', 'S168'])
(['S429', 'S233'], ['S516', 'S168'])
(['S78', 'S233'], ['S136', 'S168'])
(['S478', 'S233'], ['S517', 'S168'])
(['S480', 'S233'], ['S518', 'S168'])
(['S159', 'S240'], ['S241', 'S168'])
(['S427', 'S240'], ['S515', 'S168'])
(['S429', 'S240'], ['S516', 'S168'])
(['S78', 'S240'], ['S136', 'S168'])
(['S478', 'S240'], ['S517', 'S168'])
(['S480', 'S240'], ['S518', 'S168'])
(['S159', 'S241'], ['S519', 'S159'])
(['S427', 'S241'], ['S520', 'S159'])
(['S429', 'S241'], ['S521', 'S159'])
(['S78', 'S241'], ['S522', 'S159'])
(['S478', 'S241'], ['S523', 'S159'])
(['S480', 'S241'], ['S524', 'S159'])
(['S159', 'S248'], ['S525', 'S157'])
(['S427', 'S248'], ['S526', 'S157'])
(['S429', 'S248'], ['S527', 'S157'])
(['S78', 'S248'], ['S528', 'S157'])
(['S478', 'S248'], ['S529', 'S157'])
(['S480', 'S248'], ['S530', 'S157'])
(['S159', 'S255'], ['S525', 'S157'])
(['S427', 'S255'], ['S526', 'S157'])
(['S429', 'S255'], ['S527', 'S157'])
(['S78', 'S255'], ['S528', 'S157'])
(['S478', 'S255'], ['S529', 'S157'])
(['S480', 'S255'], ['S530', 'S157'])
(['S159', 'S256'], ['S531', 'S157'])
(['S427', 'S256'], ['S532', 'S157'])
(['S429', 'S256'], ['S533', 'S157'])
(['S78', 'S256'], ['S534', 'S157'])
(['S478', 'S256'], ['S535', 'S157'])
(['S480', 'S256'], ['S536', 'S157'])
(['S159', 'S263'], ['S531', 'S157'])
(['S427', 'S263'], ['S532', 'S157'])
(['S429', 'S263'], ['S533', 'S157'])
(['S78', 'S263'], ['S534', 'S157'])
(['S478', 'S263'], ['S535', 'S157'])
(['S480', 'S263'], ['S536', 'S157'])
(['S264', 'S159'], ['S157', 'S455'])
(['S264', 'S427'], ['S157', 'S456'])
(['S264', 'S429'], ['S157', 'S457'])
(['S264', 'S298'], ['S157', 'S537'])
(['S264', 'S458'], ['S157', 'S538'])
(['S264', 'S460'], ['S157', 'S539'])
(['S159', 'S280'], ['S474', 'S281'])
(['S427', 'S280'], ['S475', 'S281'])
(['S429', 'S280'], ['S476', 'S281'])
(['S540'], ['S541'])
(['S159', 'S290'], ['S488', 'S281'])
(['S427', 'S290'], ['S489', 'S281'])
(['S429', 'S290'], ['S490', 'S281'])
(['S159', 'S291'], ['S494', 'S281'])
(['S427', 'S291'], ['S495', 'S281'])
(['S429', 'S291'], ['S496', 'S281'])
(['S159', 'S292'], ['S494', 'S293'])
(['S427', 'S292'], ['S495', 'S293'])
(['S429', 'S292'], ['S496', 'S293'])
(['S159', 'S294'], ['S217', 'S66'])
(['S427', 'S294'], ['S500', 'S66'])
(['S429', 'S294'], ['S501', 'S66'])
(['S159', 'S295'], ['S217', 'S293'])
(['S427', 'S295'], ['S500', 'S293'])
(['S429', 'S295'], ['S501', 'S293'])
(['S159', 'S296'], ['S217', 'S281'])
(['S427', 'S296'], ['S500', 'S281'])
(['S429', 'S296'], ['S501', 'S281'])
(['S159', 'S297'], ['S504', 'S298'])
(['S427', 'S297'], ['S505', 'S298'])
(['S429', 'S297'], ['S506', 'S298'])
(['S159', 'S305'], ['S241', 'S281'])
(['S427', 'S305'], ['S515', 'S281'])
(['S429', 'S305'], ['S516', 'S281'])
(['S159', 'S306'], ['S241', 'S281'])
(['S427', 'S306'], ['S515', 'S281'])
(['S429', 'S306'], ['S516', 'S281'])
(['S159', 'S307'], ['S519', 'S298'])
(['S427', 'S307'], ['S520', 'S298'])
(['S429', 'S307'], ['S521', 'S298'])
(['S159', 'S308'], ['S525', 'S293'])
(['S427', 'S308'], ['S526', 'S293'])
(['S429', 'S308'], ['S527', 'S293'])
(['S159', 'S309'], ['S525', 'S293'])
(['S427', 'S309'], ['S526', 'S293'])
(['S429', 'S309'], ['S527', 'S293'])
(['S159', 'S310'], ['S531', 'S293'])
(['S427', 'S310'], ['S532', 'S293'])
(['S429', 'S310'], ['S533', 'S293'])
(['S159', 'S311'], ['S531', 'S293'])
(['S427', 'S311'], ['S532', 'S293'])
(['S429', 'S311'], ['S533', 'S293'])
(['S542'], ['='])
(['S477'], ['='])
(['S474'], ['='])
(['S543'], ['='])
(['S544'], ['='])
(['=', 'S159'], ['=', '='])
(['=', 'S298'], ['=', '='])
(['S159', '='], ['=', '='])
(['S78', '='], ['=', '='])
(['=', 'S427'], ['=', '*'])
(['=', 'S458'], ['=', '*'])
(['S159', '*'], ['=', '*'])
(['S78', '*'], ['=', '*'])
(['=', 'S429'], ['=', '1'])
(['=', 'S460'], ['=', '1'])
(['S159', '1'], ['=', '1'])
(['S78', '1'], ['=', '1'])
(['S545'], ['S546'])
(['S547'], ['S548'])
(['S549'], ['S546'])
(['S550'], ['='])
(['S551'], ['='])
(['S552'], ['='])
(['S553'], ['S554'])
(['S68', 'S150'], ['S69', 'S555'])
(['S68', 'S556'], ['S69', 'S557'])
(['S68', 'S558'], ['S69', 'S559'])
(['S75', 'S150'], ['S76', 'S555'])
(['S75', 'S556'], ['S76', 'S557'])
(['S75', 'S558'], ['S76', 'S559'])
(['S77', 'S150'], ['S78', 'S560'])
(['S77', 'S556'], ['S78', 'S561'])
(['S77', 'S558'], ['S78', 'S562'])
(['S82', 'S150'], ['S76', 'S563'])
(['S82', 'S556'], ['S76', 'S564'])
(['S82', 'S558'], ['S76', 'S565'])