-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathhomotopy_types_graph10c055.g6.org
More file actions
3180 lines (3180 loc) · 196 KB
/
Copy pathhomotopy_types_graph10c055.g6.org
File metadata and controls
3180 lines (3180 loc) · 196 KB
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
| index | order | max d | Helly | K Helly | HT G | HT KG |
|-------+-------+-------+-------+---------+------+-------|
|637|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|776|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|785|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|901|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|1003|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|1078|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1248|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|1261|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1270|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|1275|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|1281|10|6|False|False|\(\vee_{7}S^{1}\)|\(\vee_{7}S^{1}\)|
|1285|10|7|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|1312|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1348|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1356|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1363|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|1366|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1380|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1388|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1415|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|1462|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1486|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1493|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1497|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|1501|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1524|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|1533|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1540|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1544|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1556|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|1558|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1702|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1705|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|1746|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1754|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1767|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1773|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1776|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1787|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|1791|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1819|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|1839|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1871|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1888|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1896|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|1928|10|6|False|False|\(\vee_{7}S^{1}\)|\(\vee_{7}S^{1}\)|
|1960|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|1962|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1964|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1965|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1969|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|1971|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1991|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1995|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|1996|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|2009|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|2013|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|2017|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|2150|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|2160|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|2380|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|2385|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|2440|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|2581|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|2669|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|2730|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|2814|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|2817|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|2820|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|2824|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|2826|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|2950|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|2952|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|2953|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|2954|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|2956|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|2988|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|3041|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3424|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|3459|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3477|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3483|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|3491|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3509|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|3529|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|3531|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3539|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3541|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|3544|10|6|False|False|\(\vee_{7}S^{1}\)|\(\vee_{7}S^{1}\)|
|3546|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3565|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3664|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3712|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|3722|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|3771|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3772|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3774|10|6|False|False|\(\vee_{7}S^{1}\)|\(\vee_{7}S^{1}\)|
|3776|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3784|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|3785|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3795|10|7|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|3807|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3910|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4027|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4032|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4045|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4118|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|4130|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4141|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4208|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|4217|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4334|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4397|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4497|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|4667|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4669|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|4739|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4848|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|5062|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5121|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|5291|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|5342|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5434|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5440|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|5442|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5519|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|5560|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|5740|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5749|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5758|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5811|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|5842|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|6076|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|6128|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|6387|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6423|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6426|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6433|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6436|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6443|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6474|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6482|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6489|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6503|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6517|10|5|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|6518|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6523|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6524|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6526|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6527|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6533|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6536|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6544|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6545|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6547|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6548|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6555|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6558|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6560|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6566|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6567|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6569|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6570|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6577|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6580|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6591|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|6593|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6595|10|6|False|False|\(\vee_{7}S^{1}\)|\(\vee_{7}S^{1}\)|
|6651|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6662|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6670|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6682|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6729|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6787|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6798|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7034|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7149|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7478|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7904|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7933|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7975|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8008|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8009|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8013|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8031|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|8036|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8043|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8046|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8053|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8056|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8057|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8079|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|8083|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|8096|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8104|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8132|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8138|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|8144|10|6|False|False|\(\vee_{4}S^{1}\vee S^{2}\)|\(\vee_{4}S^{1}\vee S^{3}\)|
|8145|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8154|10|6|False|False|\(\vee_{4}S^{1}\vee S^{2}\)|\(\vee_{4}S^{1}\vee S^{3}\)|
|8155|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8161|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8162|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8168|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|8169|10|7|False|False|\(\vee_{4}S^{1}\vee S^{2}\)|\(\vee_{4}S^{1}\vee S^{3}\)|
|8210|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8228|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8263|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|8264|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8276|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|8285|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|8292|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8293|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8295|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8296|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|8334|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8574|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8586|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8627|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8631|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8636|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8659|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8668|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8671|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8702|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8716|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|8720|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|8736|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8779|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8787|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|8832|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8890|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8893|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8894|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|8922|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8985|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8990|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9028|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9031|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|9039|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9042|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9049|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9054|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|9084|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9087|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9096|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9102|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9106|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9116|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|9117|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9121|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9129|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9139|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9142|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9150|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9154|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9162|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9165|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9188|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|9192|10|6|False|False|\(\vee_{7}S^{1}\)|\(\vee_{7}S^{1}\)|
|9204|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|9211|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9251|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|9261|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9266|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9272|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|9273|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|9313|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9336|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9337|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9381|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|9390|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|9391|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9402|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|9403|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|9436|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9509|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9511|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9516|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9520|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9531|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9533|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9534|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9537|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9548|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9558|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9569|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9586|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|9590|10|6|False|False|\(\vee_{7}S^{1}\)|\(\vee_{7}S^{1}\)|
|9637|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9665|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9671|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|9673|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|9674|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|9675|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9829|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10139|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10226|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|10254|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10257|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10395|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|10430|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10496|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10518|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10524|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10544|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|10546|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10608|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|10617|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10745|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11216|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11278|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11289|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11377|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11448|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11450|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11496|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|11528|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11530|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11532|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|11585|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11608|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11612|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11644|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11684|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11750|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11860|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11866|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11880|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11888|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11889|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11897|10|5|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|11898|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11907|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11918|10|6|False|False|\(\vee_{7}S^{1}\)|\(\vee_{7}S^{1}\)|
|12059|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12069|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12075|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12077|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|12089|10|6|False|False|\(\vee_{7}S^{1}\)|\(\vee_{7}S^{1}\)|
|12167|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|12174|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12184|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|12231|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12269|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12299|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12303|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12348|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12382|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12433|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12500|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12540|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12559|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12566|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12575|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12582|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12584|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12586|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12587|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12592|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12595|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12599|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12602|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12606|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12612|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12614|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|12618|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12623|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12624|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12632|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12640|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|12644|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|12674|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12690|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12697|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|12706|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|12791|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12831|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12883|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12893|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|12992|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13003|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13005|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13010|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13011|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13024|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13027|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13030|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13034|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13035|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13036|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13039|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13044|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13048|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13051|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13052|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13054|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13059|10|5|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13060|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13062|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13065|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13066|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13069|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13071|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13073|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13076|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13079|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13081|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13082|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|13085|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13086|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13092|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13093|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13096|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13102|10|5|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|13103|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13106|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13107|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|13110|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13124|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13131|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13147|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13151|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13176|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13182|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13194|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13359|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13381|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13384|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13402|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13413|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13418|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13437|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13446|10|5|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|13449|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13450|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|13453|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13463|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13478|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13567|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13580|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13585|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13591|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13595|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13599|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13606|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13623|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13633|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13639|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13640|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13642|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13645|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13648|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13652|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13657|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13658|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|13661|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13669|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13670|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13673|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13680|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13683|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13684|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|13687|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|13701|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13708|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13728|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13732|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13818|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13857|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13861|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13868|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13875|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13883|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13884|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13894|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13908|10|6|False|False|\(\vee_{7}S^{1}\)|\(\vee_{7}S^{1}\)|
|13959|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13966|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13978|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13979|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|14000|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14004|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|14008|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14010|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14018|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|14124|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14125|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14129|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14156|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14160|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14188|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14192|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14201|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14202|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|14216|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14251|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14252|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14301|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14309|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14324|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14329|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|14331|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14377|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|14459|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14530|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14535|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|14600|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14606|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14617|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14620|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14623|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14625|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14645|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14649|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14665|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|14669|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14688|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|14697|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|14700|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|14704|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14739|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14746|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|14750|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14751|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14755|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14758|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14761|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|14762|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14764|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14783|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14786|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14789|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14805|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|14814|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14818|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|14827|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|14830|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14832|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|14836|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14839|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|14842|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|14846|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|14899|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14961|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14968|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14969|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14989|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|14991|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15010|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15014|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15017|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15018|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15019|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15022|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15023|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15031|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|15033|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15035|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15044|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|15202|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15277|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15280|10|6|False|False|\(S^{1}\)|\(S^{1}\)|
|15315|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15368|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|15491|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15521|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15527|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15544|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15562|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|15566|10|6|False|False|\(\vee_{7}S^{1}\)|\(\vee_{7}S^{1}\)|
|15595|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15604|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15605|10|6|False|False|\(S^{1}\)|\(S^{1}\)|
|15608|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15614|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15617|10|6|False|False|\(S^{1}\)|\(S^{1}\)|
|15622|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15629|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15655|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15661|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15663|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|15664|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|15665|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15865|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15868|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15872|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15878|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15900|10|5|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15906|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15911|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15915|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15919|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15925|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15927|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15936|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15942|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15946|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|15969|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16018|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16031|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16695|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|16704|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|17161|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|17594|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|17607|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|17868|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|17880|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|17884|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|17909|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|17912|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|17942|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|17946|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|18374|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|18927|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|18929|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18940|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18944|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19015|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|19413|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19488|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|19621|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|19622|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|19623|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19860|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|20115|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|20550|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|20638|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|20995|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|20999|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21004|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21009|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21012|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21017|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21030|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21037|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21039|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21042|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21044|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21060|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21083|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21088|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21093|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21096|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21098|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21119|10|5|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|21123|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21128|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21130|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21132|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|21134|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21138|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21168|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21170|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21172|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|21174|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21176|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21182|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|21184|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21186|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21188|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|21190|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21218|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21238|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|21251|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|21277|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|21281|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21304|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21367|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21417|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|21494|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21711|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|22483|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|22490|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|22500|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|22503|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|22505|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|22507|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|22609|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|23708|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|23806|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24043|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24050|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24053|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24057|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24059|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24062|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24065|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24068|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24071|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24073|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|24075|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24080|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24092|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24095|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24102|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24106|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24110|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24118|10|5|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|24119|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24123|10|5|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|24126|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24130|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24131|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24132|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24134|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24137|10|5|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|24139|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24145|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24147|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|24149|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24156|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24158|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|24161|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24168|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24170|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|24172|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|24197|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24219|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24257|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24263|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24490|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|25115|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|25207|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25214|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25221|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25226|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25275|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|25331|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|25846|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|26125|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|26139|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|26154|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|26162|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|26169|10|6|False|False|\(\vee_{4}S^{1}\vee S^{2}\)|\(\vee_{4}S^{1}\vee S^{3}\)|
|26171|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|26178|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|26188|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|26190|10|7|False|False|\(\vee_{4}S^{1}\vee S^{2}\)|\(\vee_{4}S^{1}\vee S^{3}\)|
|26192|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|26218|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|26241|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|26252|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|26253|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|26416|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|26427|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|26428|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|26526|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|26540|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|26543|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|26677|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|26693|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|26777|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|26789|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|26790|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|26899|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|26902|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|27102|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|27134|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|27147|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|27163|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|27165|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|27167|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|27231|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|27956|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|28008|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|28229|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28271|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|28278|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28280|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28282|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|28295|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{2}\)|
|28317|10|7|False|False|\(\vee_{2}S^{1}\vee \vee_{2}S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\vee S^{3}\)|
|28392|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28583|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|28615|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28622|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|28631|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|28646|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28649|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28652|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|28657|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|28667|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|28685|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28689|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28693|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28713|10|5|False|False|\(\vee_{4}S^{1}\vee S^{2}\)|\(\vee_{4}S^{1}\vee S^{3}\)|
|28722|10|6|False|False|\(\vee_{4}S^{1}\vee S^{2}\)|\(\vee_{4}S^{1}\vee S^{3}\)|
|28725|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|28748|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|28750|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|28760|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|28762|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|28764|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|28777|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|28786|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28788|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|28790|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|28805|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|28808|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28810|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28824|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28843|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28847|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28849|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28851|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|28853|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|28857|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28866|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|28868|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|28893|10|7|False|False|\(\vee_{2}S^{1}\vee \vee_{2}S^{2}\)|\(\vee_{2}S^{1}\vee \vee_{2}S^{3}\)|
|28895|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|28931|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|28999|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|29023|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|29151|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29208|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|29413|10|6|False|False|\(\vee_{2}S^{1}\vee \vee_{2}S^{2}\)|\(\vee_{2}S^{1}\vee \vee_{2}S^{3}\)|
|29414|10|7|False|False|\(\vee_{2}S^{1}\vee \vee_{2}S^{2}\)|\(\vee_{2}S^{1}\vee \vee_{2}S^{3}\)|
|29467|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29506|10|7|False|False|\(\vee_{2}S^{1}\vee \vee_{2}S^{2}\)|\(\vee_{2}S^{1}\vee \vee_{2}S^{3}\)|
|29522|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30497|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30499|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30516|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30537|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30548|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|30550|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30571|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|30607|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|31115|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|31221|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|31307|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|31331|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|31392|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|31394|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|31396|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|31432|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|31444|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|31454|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|31457|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|31517|10|6|False|False|\(S^{1}\)|\(S^{1}\)|
|31796|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|31798|10|6|False|False|\(S^{1}\)|\(S^{1}\)|
|31800|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|31801|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|31830|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|32103|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|32127|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|32163|10|6|False|False|\(\vee_{4}S^{1}\vee S^{2}\)|\(\vee_{4}S^{1}\vee S^{3}\)|
|32174|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|32183|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|32194|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|32196|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|32235|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|32251|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|32257|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|32269|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|32408|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|32891|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|32971|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|32973|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|32974|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|32976|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|33021|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|33457|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|33466|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|33467|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|33478|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|33598|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|33605|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|33606|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|33610|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|33611|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|33620|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|33623|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|33624|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|33626|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|33627|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|33762|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|33764|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|33765|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|33871|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|33878|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|33884|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|33891|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|33896|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|34020|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|34145|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|34147|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|34149|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|34150|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|34151|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|34319|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|34523|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|34567|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|34639|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|34651|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|34695|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|34732|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|34750|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|34924|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|34939|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|34943|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|34975|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|35068|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35087|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35112|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35121|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35134|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35156|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|35180|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|35215|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35219|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35223|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35225|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35262|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35271|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|35272|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35277|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35279|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35282|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|35292|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35296|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35390|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|35392|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35402|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|35440|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|35489|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|35492|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|35524|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35528|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|35563|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35578|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|35592|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35621|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|35626|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35640|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35646|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|35648|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35673|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35678|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35690|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|35726|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|35729|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35731|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35741|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35744|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35747|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35769|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35783|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|35793|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|35795|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35801|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|35813|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35823|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|35857|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35860|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35919|10|7|False|False|\(\vee_{2}S^{1}\vee \vee_{2}S^{2}\)|\(\vee_{2}S^{1}\vee \vee_{4}S^{3}\)|
|35921|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35944|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35959|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|35988|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|35998|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|36013|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|36015|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|36040|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|36044|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|36071|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|36073|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|36092|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|36116|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|36122|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|36134|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|36139|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|36157|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|36161|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|36254|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|36256|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|36266|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|36271|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|36286|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|36288|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|36292|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|36297|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|36301|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|36327|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|36329|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|36335|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|36404|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|36427|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|36441|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|36449|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|36451|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|36454|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|36456|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|36478|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|36489|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|