-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathhomotopy_types_graph10c060.g6.org
More file actions
3626 lines (3626 loc) · 222 KB
/
Copy pathhomotopy_types_graph10c060.g6.org
File metadata and controls
3626 lines (3626 loc) · 222 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 |
|-------+-------+-------+-------+---------+------+-------|
|7|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|34|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|54|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|73|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|74|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|100|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|101|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|104|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|109|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|118|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|122|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|125|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|303|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|304|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|420|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|444|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|446|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|452|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|453|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|459|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|465|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|501|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|525|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|553|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|554|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|557|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|562|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|572|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|577|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|606|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|613|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|615|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|617|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|620|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|625|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|635|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|650|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|652|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|662|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|670|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|672|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|674|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|677|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|686|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|709|10|6|False|False|\(S^{1}\)|\(S^{1}\)|
|714|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|718|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|752|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|767|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|773|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|775|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|777|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|1161|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|1162|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1364|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|1374|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|1379|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|2283|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|2284|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|2430|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|2527|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|2684|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|2708|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|2710|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|2721|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|2723|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|2725|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|2728|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|2729|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|2881|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|2887|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|2891|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3002|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|3135|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|3139|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|3521|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|3528|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|3530|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3550|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|3576|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|3581|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|3588|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|3589|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|3600|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|3602|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4391|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4406|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4456|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4468|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4471|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4487|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4493|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4539|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4564|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|4565|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|4568|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|4609|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|4612|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|4619|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4626|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|4670|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|4691|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|4727|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4745|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4752|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4757|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4761|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4763|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4768|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4788|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4789|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4791|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4805|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|4813|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4829|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|4855|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|4862|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|4864|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4912|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|4928|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|4930|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|4940|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|4964|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|4975|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5019|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|5041|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5043|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|5060|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5069|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|5087|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5115|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5119|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5127|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5129|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5139|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|5150|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5172|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|5180|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5182|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|5210|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5212|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|5265|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|5278|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5291|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5294|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|5298|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|5309|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5326|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|5334|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5336|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5338|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|5342|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|5351|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5353|10|7|False|False|\(\vee_{2}S^{1}\vee \vee_{2}S^{2}\)|\(\vee_{2}S^{1}\vee \vee_{2}S^{3}\)|
|5367|10|6|False|False|\(S^{1}\)|\(S^{1}\)|
|5369|10|7|False|False|\(S^{1}\vee \vee_{2}S^{2}\)|\(S^{1}\vee \vee_{2}S^{3}\)|
|5371|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5559|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|5562|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5564|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|5570|10|6|False|False|\(\vee_{7}S^{1}\)|\(\vee_{7}S^{1}\)|
|5596|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|5617|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|5624|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|5627|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5629|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|5633|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5643|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|5671|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|5709|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|5715|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|5725|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5731|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5733|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|5741|10|7|False|False|\(\vee_{2}S^{1}\vee \vee_{2}S^{2}\)|\(\vee_{2}S^{1}\vee \vee_{2}S^{3}\)|
|5747|10|7|False|False|\(S^{1}\vee \vee_{2}S^{2}\)|\(S^{1}\vee \vee_{2}S^{3}\)|
|5773|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5781|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5788|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5848|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5870|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5908|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5924|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|5946|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5954|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|5963|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|5967|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6009|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6031|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|6049|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6051|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|6093|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6107|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6112|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6127|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6137|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6141|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6150|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6156|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6160|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6164|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6175|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6186|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|6198|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6200|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|6202|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|6222|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6265|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6283|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6299|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6302|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6310|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6316|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6318|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6323|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6335|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6342|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6347|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6349|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6355|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6359|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6368|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6378|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|6382|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6386|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|6403|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6422|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6432|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6452|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6476|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6482|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6483|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6487|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6497|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6503|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6505|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6510|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6513|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6514|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6515|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6518|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6522|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6524|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6526|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6530|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6547|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6554|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}\)|
|6561|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|6565|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}\)|
|6576|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6588|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|6609|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6611|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|6624|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|6638|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6640|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|6648|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6650|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|6656|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6660|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6666|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6670|10|7|False|False|\(\vee_{2}S^{1}\vee \vee_{2}S^{2}\)|\(\vee_{2}S^{1}\vee \vee_{2}S^{2}\)|
|6676|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|6693|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6722|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|6728|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|6733|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6737|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|6796|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6804|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|6815|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{2}\)|
|6827|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|6832|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|6846|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6852|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6875|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6884|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6888|10|5|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|6890|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|6892|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6893|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|6900|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|6906|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|6913|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6917|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|6927|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|6937|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|6951|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6961|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|6967|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|6984|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7011|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7016|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7022|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7041|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7059|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7070|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7074|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7076|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7084|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7092|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7096|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7099|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7101|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7110|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7120|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7126|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7148|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|7166|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7181|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|7195|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7221|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7230|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7232|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7258|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7282|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|7290|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|7308|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7325|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|7333|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7344|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7352|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7356|10|5|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7359|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7367|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7372|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|7378|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7385|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|7387|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7398|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7402|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7416|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|7420|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|7428|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|7443|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7452|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7475|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7484|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7506|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7515|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7528|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7539|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7546|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|7559|10|6|False|False|\(S^{1}\)|\(S^{1}\)|
|7561|10|7|False|False|\(S^{1}\vee \vee_{2}S^{2}\)|\(S^{1}\vee S^{2}\vee S^{3}\)|
|7573|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7575|10|7|False|False|\(\vee_{2}S^{1}\vee \vee_{2}S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\vee S^{3}\)|
|7585|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7589|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7591|10|7|False|False|\(S^{1}\vee S^{2}\)|\(S^{1}\vee S^{3}\)|
|7593|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7601|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7607|10|7|False|False|\(S^{1}\vee \vee_{3}S^{2}\)|\(S^{1}\vee S^{2}\vee \vee_{2}S^{3}\)|
|7611|10|7|False|False|\(S^{1}\vee S^{2}\)|\(S^{1}\vee S^{3}\)|
|7626|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7629|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7635|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|7649|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7651|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7658|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7662|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7668|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7682|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7688|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7698|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7710|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|7721|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7723|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|7728|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7739|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|7753|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7767|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7769|10|7|False|False|\(S^{1}\vee S^{2}\)|\(S^{1}\vee S^{3}\)|
|7773|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7777|10|7|False|False|\(S^{1}\vee \vee_{3}S^{2}\)|\(S^{1}\vee \vee_{3}S^{3}\)|
|7779|10|7|False|False|\(S^{1}\vee S^{2}\)|\(S^{1}\vee S^{3}\)|
|7815|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7832|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7906|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|7910|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|7912|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7914|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7922|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|7924|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|7926|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|7936|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|7944|10|7|False|False|\(S^{1}\vee S^{2}\)|\(S^{1}\vee S^{3}\)|
|7946|10|7|False|False|\(S^{1}\vee S^{2}\)|\(S^{1}\vee S^{2}\)|
|7950|10|7|False|False|\(S^{1}\vee \vee_{2}S^{2}\)|\(S^{1}\vee S^{2}\vee S^{3}\)|
|7956|10|7|False|False|\(\vee_{2}S^{1}\vee \vee_{2}S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\vee S^{3}\)|
|7962|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|7966|10|8|False|False|\(\vee_{4}S^{2}\)|\(S^{2}\vee \vee_{3}S^{3}\)|
|8076|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8082|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8085|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|8105|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8106|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8107|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8119|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8122|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8126|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8165|10|6|False|False|\(\vee_{4}S^{1}\vee S^{2}\)|\(\vee_{4}S^{1}\vee S^{3}\)|
|8171|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|8172|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8189|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8211|10|6|False|False|\(\vee_{5}S^{1}\vee S^{2}\)|\(\vee_{5}S^{1}\vee S^{3}\)|
|8215|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8222|10|6|False|False|\(\vee_{5}S^{1}\vee S^{2}\)|\(\vee_{5}S^{1}\vee S^{3}\)|
|8230|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|8295|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|8297|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8394|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8396|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8399|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8401|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|8406|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8407|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8408|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8412|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|8413|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8430|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8433|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8435|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8443|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8448|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8450|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8452|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8456|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8458|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8462|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8465|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8469|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8471|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8474|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8481|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|8483|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8486|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8489|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8513|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|8546|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8568|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|8570|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|8659|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8720|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8737|10|6|False|False|\(S^{1}\)|\(S^{1}\)|
|8756|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8775|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8777|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8778|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8782|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8784|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8785|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8787|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8789|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8790|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8791|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|8798|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|8800|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|8804|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8816|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|8856|10|7|False|False|Contractible|Contractible|
|8998|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9010|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9013|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9021|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|9035|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9039|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9052|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9089|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9098|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9107|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9109|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9112|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9146|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9157|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9178|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9228|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|9268|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9504|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9591|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9744|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9746|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9756|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|9759|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|9877|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10050|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10087|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10090|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10098|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|10116|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10118|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10129|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10146|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10167|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10176|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10185|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|10188|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10222|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|10226|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10233|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10236|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10239|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10259|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|10260|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10263|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10282|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10286|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10312|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|10316|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|10596|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10598|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10637|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|10993|10|5|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|10996|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11008|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11014|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11018|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11025|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11028|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11030|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11041|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11057|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11061|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11066|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11071|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11075|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11077|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11080|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11098|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11103|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11109|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11114|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11126|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11129|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11147|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11170|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11194|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|11203|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11206|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11208|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11210|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11211|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11212|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11213|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11214|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|11215|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11216|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11220|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11222|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11224|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11226|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11228|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11230|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11234|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11236|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11238|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11256|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11260|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11265|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|11270|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11271|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11274|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11283|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|11286|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11307|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|11311|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|11372|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12013|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12018|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|12022|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12032|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12182|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12468|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12577|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12685|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12686|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|12765|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|12858|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|12862|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|12872|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13178|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13276|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13439|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|13441|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13442|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13448|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13541|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13543|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13547|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13549|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13735|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|13816|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|13835|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|13838|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|14069|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|14156|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|14163|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{2}\)|
|14165|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14751|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14764|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|14862|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|15201|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15206|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15210|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|15680|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15740|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15927|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15929|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15932|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15940|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15943|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|15946|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15957|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15964|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15995|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15996|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|15997|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|15998|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16006|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16011|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16016|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16021|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16024|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16029|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|16035|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|16039|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16188|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16260|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16261|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16262|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16264|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16287|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16290|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16292|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16466|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16471|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16494|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|16502|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|16503|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16505|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|16536|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16538|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16548|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16555|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16566|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|16577|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16579|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|16580|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16589|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16591|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16594|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16597|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|16599|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16605|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16606|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16608|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16613|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|16617|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16625|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16629|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16632|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16640|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|16644|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|16679|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|16903|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|17354|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|17366|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|17368|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|17426|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|17519|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|17521|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|17591|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|17626|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|17777|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|17784|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|17786|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|17829|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|17841|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|17850|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|17852|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|17902|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{2}\)|
|17975|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|18384|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|18393|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|18394|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|18654|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18667|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|18686|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|18690|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18707|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|18715|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18731|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18735|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18737|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18755|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18758|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18761|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18763|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18768|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|18800|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18834|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|18842|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|19005|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19048|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19061|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19080|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19081|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19103|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|19110|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19112|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|19125|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19129|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19131|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19161|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19185|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19188|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19190|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19193|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19229|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19235|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|19242|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19326|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19328|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19330|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19332|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19334|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19337|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19339|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19340|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19342|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19350|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19354|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19356|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|19416|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19419|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19447|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19448|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19450|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19454|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|19459|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19463|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19465|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19470|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19510|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|19514|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|19518|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19522|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19526|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19534|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|19564|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19568|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19575|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19580|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19581|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|19585|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19587|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19595|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19606|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|19610|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19618|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19633|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|19645|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|19722|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19728|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|19901|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|19955|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|19977|10|5|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|19988|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|20005|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|20010|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|20045|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|20056|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|20060|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|20149|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|20151|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|20153|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|20155|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|20157|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|20160|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|20164|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|20166|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|20168|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|20179|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|20183|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|20215|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|20220|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|20222|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|20276|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|20288|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|20298|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|20300|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|20310|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|20314|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|20322|10|7|False|False|\(S^{1}\)|\(S^{1}\)|
|20327|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|20635|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|20801|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|20891|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21039|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21090|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|21134|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21145|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21147|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21227|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21269|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21336|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|21446|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21482|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|21588|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21592|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|21594|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21665|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21671|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21713|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|21723|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|21732|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|21852|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|22087|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|22093|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|22112|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|22137|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|22149|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|22157|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|22285|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|22288|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|22295|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|22372|10|6|False|False|\(\vee_{4}S^{1}\vee S^{2}\)|\(\vee_{4}S^{1}\vee S^{2}\)|
|22378|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{2}\)|
|22764|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|22773|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|23051|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|23056|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|23058|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|23319|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|23372|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|23408|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|23446|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|23461|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|23546|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24167|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|24180|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24232|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24265|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24291|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24371|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24375|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24387|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24422|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24441|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|24547|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|24688|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25142|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|25145|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25163|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|25166|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|25175|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|25182|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|25186|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25199|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|25203|10|7|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25221|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25256|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25260|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|25266|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|25271|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|25275|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25279|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25292|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|25300|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25302|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25303|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|25306|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|25315|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25317|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25321|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|25327|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25332|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|25348|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|25361|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25382|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25404|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|25462|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|26290|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|26871|10|6|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{2}\)|
|26878|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|27453|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|27605|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|27608|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|27619|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|27686|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|27775|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|27985|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28317|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|28326|10|6|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{2}\)|
|28328|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|28790|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|28794|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|28803|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|28935|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|28980|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|28989|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|29096|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29126|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29140|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29142|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29168|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29174|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29184|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|29189|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29203|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29208|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|29214|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|29218|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29250|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29270|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29290|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29300|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|29304|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29318|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|29331|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29352|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29367|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|29612|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29615|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|29716|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|29717|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29718|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29728|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29738|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29740|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|29751|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|29755|10|7|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|29790|10|6|False|False|\(\vee_{4}S^{1}\vee S^{2}\)|\(\vee_{4}S^{1}\vee S^{3}\)|
|29817|10|6|False|False|\(\vee_{2}S^{1}\)|\(\vee_{2}S^{1}\)|
|29863|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29865|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29867|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|29885|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|29899|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29932|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|29976|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|29978|10|7|False|False|\(\vee_{2}S^{1}\vee S^{2}\)|\(\vee_{2}S^{1}\vee S^{3}\)|
|30112|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30114|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30115|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30118|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30123|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30127|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|30131|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|30133|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30142|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|30146|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30150|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|30152|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|30153|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30157|10|5|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30162|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|30166|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|30168|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|30172|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30178|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|30187|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30193|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|30199|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|30203|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30235|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|30273|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30281|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|30286|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30294|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30298|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|30304|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|30308|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30361|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30377|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|30452|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30454|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30470|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30473|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|30479|10|6|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|30481|10|7|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30637|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30652|10|6|False|False|\(\vee_{4}S^{1}\vee S^{2}\)|\(\vee_{4}S^{1}\vee S^{3}\)|
|30655|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30657|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30659|10|7|False|False|\(\vee_{3}S^{1}\vee S^{2}\)|\(\vee_{3}S^{1}\vee S^{3}\)|
|30748|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30822|10|6|False|False|\(\vee_{3}S^{1}\)|\(\vee_{3}S^{1}\)|
|30985|10|6|False|False|\(\vee_{6}S^{1}\)|\(\vee_{6}S^{1}\)|
|31005|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|31027|10|5|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|31039|10|6|False|False|\(\vee_{5}S^{1}\)|\(\vee_{5}S^{1}\)|
|31048|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|31050|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|31058|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|
|31062|10|5|False|False|\(\vee_{4}S^{1}\)|\(\vee_{4}S^{1}\)|