I just ran my Python script to update the higher symmetries soups using the new all-soups, and then I realized that all-soups includes both asymmetric and symmetric, while the tabulation on the wiki excludes the asymmetric ones because they're in their own tabulation. I have the numbers (and have saved them), but I really don't want to run it again because I've already run it twice (first attempt returned an error, and it was my fault), and running it overloads the server a lot. Should the tabulation on the wiki be changed to include everything instead?
Here is the code, since I ran it and don't want to have to run it again if it's accepted. Note that numsoups includes quite a lot of G1, and methuselah_52k is in the list despite being asymmetric only.
Code: Select all
| higher = {{#switch: {{{1|}}}
| date = August 14, 2022
| numsoups = 460{{{sep|,}}}868{{{sep|,}}}581{{{sep|,}}}064{{{sep|,}}}517
| numobjects = 5{{{sep|,}}}252{{{sep|,}}}620{{{sep|,}}}203{{{sep|,}}}418{{{sep|,}}}198
| distinctobjects = 2{{{sep|,}}}340{{{sep|,}}}784
| xs0 = 1
| xs4 = 2
| xs5 = 1
| xs6 = 5
| xs7 = 4
| xs8 = 9
| xs9 = 10
| xs10 = 26
| xs11 = 46
| xs12 = 121
| xs13 = 240
| xs14 = 619
| xs15 = 1{{{sep|,}}}353
| xs16 = 3{{{sep|,}}}207
| xs17 = 6{{{sep|,}}}755
| xs18 = 12{{{sep|,}}}929
| xs19 = 21{{{sep|,}}}044
| xs20 = 31{{{sep|,}}}321
| xs21 = 40{{{sep|,}}}399
| xs22 = 49{{{sep|,}}}251
| xs23 = 50{{{sep|,}}}370
| xs24 = 52{{{sep|,}}}916
| xs25 = 43{{{sep|,}}}476
| xs26 = 45{{{sep|,}}}894
| xs27 = 30{{{sep|,}}}204
| xs28 = 40{{{sep|,}}}913
| xs29 = 20{{{sep|,}}}236
| xs30 = 44{{{sep|,}}}220
| xs31 = 16{{{sep|,}}}193
| xs32 = 55{{{sep|,}}}283
| xs33 = 16{{{sep|,}}}484
| xs34 = 68{{{sep|,}}}141
| xs35 = 17{{{sep|,}}}323
| xs36 = 78{{{sep|,}}}106
| xs37 = 16{{{sep|,}}}699
| xs38 = 82{{{sep|,}}}313
| xs39 = 15{{{sep|,}}}177
| xs40 = 79{{{sep|,}}}864
| xs41 = 12{{{sep|,}}}672
| xs42 = 73{{{sep|,}}}296
| xs43 = 9{{{sep|,}}}759
| xs44 = 63{{{sep|,}}}900
| xs45 = 6{{{sep|,}}}946
| xs46 = 52{{{sep|,}}}594
| xs47 = 4{{{sep|,}}}792
| xs48 = 43{{{sep|,}}}548
| xs49 = 3{{{sep|,}}}239
| xs50 = 32{{{sep|,}}}483
| xs51 = 2{{{sep|,}}}024
| xs52 = 30{{{sep|,}}}032
| xs53 = 1{{{sep|,}}}269
| xs54 = 19{{{sep|,}}}941
| xs55 = 856
| xs56 = 26{{{sep|,}}}356
| xs57 = 595
| xs58 = 14{{{sep|,}}}400
| xs59 = 450
| xs60 = 27{{{sep|,}}}650
| xs61 = 306
| xs62 = 11{{{sep|,}}}944
| xs63 = 302
| xs64 = 30{{{sep|,}}}239
| xs65 = 185
| xs66 = 10{{{sep|,}}}559
| xs67 = 192
| xs68 = 30{{{sep|,}}}825
| xs69 = 110
| xs70 = 8{{{sep|,}}}847
| xs71 = 138
| xs72 = 29{{{sep|,}}}566
| xs73 = 63
| xs74 = 7{{{sep|,}}}224
| xs75 = 87
| xs76 = 26{{{sep|,}}}278
| xs77 = 42
| xs78 = 5{{{sep|,}}}556
| xs79 = 60
| xs80 = 22{{{sep|,}}}169
| xs81 = 15
| xs82 = 4{{{sep|,}}}037
| xs83 = 40
| xs84 = 18{{{sep|,}}}152
| xs85 = 12
| xs86 = 2{{{sep|,}}}923
| xs87 = 19
| xs88 = 15{{{sep|,}}}657
| xs89 = 8
| xs90 = 1{{{sep|,}}}967
| xs91 = 13
| xs92 = 13{{{sep|,}}}024
| xs93 = 2
| xs94 = 1{{{sep|,}}}308
| xs95 = 8
| xs96 = 12{{{sep|,}}}947
| xs97 = 2
| xs98 = 791
| xs99 = 2
| xs100 = 12{{{sep|,}}}099
| xs102 = 464
| xs103 = 3
| xs104 = 14{{{sep|,}}}611
| xs105 = 1
| xs106 = 295
| xs108 = 13{{{sep|,}}}604
| xs110 = 175
| xs112 = 18{{{sep|,}}}860
| xs114 = 69
| xs116 = 16{{{sep|,}}}080
| xs118 = 46
| xs120 = 24{{{sep|,}}}089
| xs122 = 22
| xs123 = 1
| xs124 = 17{{{sep|,}}}578
| xs126 = 14
| xs128 = 28{{{sep|,}}}218
| xs129 = 1
| xs130 = 13
| xs132 = 17{{{sep|,}}}786
| xs134 = 2
| xs136 = 30{{{sep|,}}}128
| xs138 = 2
| xs140 = 16{{{sep|,}}}443
| xs142 = 2
| xs144 = 29{{{sep|,}}}733
| xs146 = 1
| xs148 = 13{{{sep|,}}}826
| xs152 = 27{{{sep|,}}}395
| xs156 = 10{{{sep|,}}}449
| xs160 = 24{{{sep|,}}}430
| xs164 = 7{{{sep|,}}}764
| xs168 = 20{{{sep|,}}}111
| xs172 = 5{{{sep|,}}}347
| xs174 = 1
| xs176 = 15{{{sep|,}}}862
| xs180 = 3{{{sep|,}}}694
| xs184 = 11{{{sep|,}}}946
| xs188 = 2{{{sep|,}}}297
| xs192 = 8{{{sep|,}}}459
| xs196 = 1{{{sep|,}}}365
| xs200 = 5{{{sep|,}}}922
| xs204 = 781
| xs208 = 3{{{sep|,}}}734
| xs212 = 513
| xs216 = 2{{{sep|,}}}463
| xs220 = 278
| xs224 = 1{{{sep|,}}}483
| xs228 = 149
| xs232 = 832
| xs236 = 82
| xs240 = 476
| xs244 = 45
| xs248 = 255
| xs252 = 20
| xs256 = 156
| xs260 = 6
| xs264 = 74
| xs268 = 6
| xs272 = 46
| xs276 = 6
| xs280 = 15
| xs284 = 2
| xs288 = 9
| xs296 = 2
| xs304 = 3
| xs308 = 1
| xs312 = 1
| xs316 = 1
| xs344 = 1
| xp2 = 254{{{sep|,}}}497
| xp3 = 30{{{sep|,}}}821
| xp4 = 6{{{sep|,}}}473
| xp5 = 4{{{sep|,}}}442
| xp6 = 4{{{sep|,}}}122
| xp7 = 333
| xp8 = 307
| xp9 = 204
| xp10 = 268
| xp11 = 89
| xp12 = 14
| xp13 = 2
| xp14 = 23
| xp15 = 1{{{sep|,}}}196
| xp16 = 9
| xp18 = 7
| xp20 = 2
| xp21 = 1
| xp22 = 2
| xp24 = 42
| xp25 = 1
| xp27 = 1
| xp28 = 2
| xp29 = 14
| xp30 = 1{{{sep|,}}}107
| xp31 = 1
| xp32 = 1
| xp35 = 1
| xp36 = 29
| xp37 = 5
| xp40 = 14
| xp45 = 1
| xp46 = 305
| xp51 = 1
| xp54 = 3
| xp56 = 1
| xp60 = 27
| xp64 = 2
| xp120 = 37
| xp138 = 9
| xp144 = 1
| xp177 = 1
| xp312 = 5
| xq3 = 1
| xq4 = 271
| xq5 = 1
| xq7 = 1
| xq8 = 1
| xq10 = 1
| xq12 = 3
| xq16 = 1
| methuselah_25k = 2{{{sep|,}}}257{{{sep|,}}}045
| methuselah_26k = 1{{{sep|,}}}221{{{sep|,}}}114
| methuselah_27k = 679{{{sep|,}}}561
| methuselah_28k = 361{{{sep|,}}}684
| methuselah_29k = 254{{{sep|,}}}649
| methuselah_30k = 110{{{sep|,}}}835
| methuselah_31k = 60{{{sep|,}}}955
| methuselah_32k = 32{{{sep|,}}}942
| methuselah_33k = 18{{{sep|,}}}469
| methuselah_34k = 9{{{sep|,}}}925
| methuselah_35k = 5{{{sep|,}}}501
| methuselah_36k = 2{{{sep|,}}}889
| methuselah_37k = 1{{{sep|,}}}826
| methuselah_38k = 945
| methuselah_39k = 524
| methuselah_40k = 281
| methuselah_41k = 194
| methuselah_42k = 103
| methuselah_43k = 54
| methuselah_44k = 29
| methuselah_45k = 12
| methuselah_46k = 12
| methuselah_47k = 10
| methuselah_48k = 1
| methuselah_49k = 2
| methuselah_50k = 4
| methuselah_52k = 1
| methuselah_128k = 1
| methuselah_132k = 1
| messless_0h = 813
| messless_1h = 6{{{sep|,}}}035
| messless_2h = 910
| messless_3h = 172
| messless_4h = 32
| messless_5h = 139{{{sep|,}}}110{{{sep|,}}}115
| messless_6h = 30{{{sep|,}}}947{{{sep|,}}}703
| messless_7h = 7{{{sep|,}}}316{{{sep|,}}}962
| messless_8h = 2{{{sep|,}}}057{{{sep|,}}}337
| messless_9h = 566{{{sep|,}}}557
| messless_10h = 172{{{sep|,}}}513
| messless_11h = 53{{{sep|,}}}547
| messless_12h = 17{{{sep|,}}}142
| messless_13h = 9{{{sep|,}}}831
| messless_14h = 8{{{sep|,}}}537
| messless_15h = 1{{{sep|,}}}277
| messless_16h = 333
| messless_17h = 138
| messless_18h = 57
| messless_19h = 14
| messless_20h = 7
| messless_21h = 4
| messless_22h = 1
| messless_24h = 1
| megasized_30h = 1{{{sep|,}}}067{{{sep|,}}}267{{{sep|,}}}847
| megasized_31h = 870{{{sep|,}}}783{{{sep|,}}}161
| megasized_32h = 722{{{sep|,}}}787{{{sep|,}}}153
| megasized_33h = 608{{{sep|,}}}997{{{sep|,}}}636
| megasized_34h = 506{{{sep|,}}}282{{{sep|,}}}757
| megasized_35h = 423{{{sep|,}}}514{{{sep|,}}}981
| megasized_36h = 353{{{sep|,}}}285{{{sep|,}}}350
| megasized_37h = 299{{{sep|,}}}484{{{sep|,}}}663
| megasized_38h = 251{{{sep|,}}}059{{{sep|,}}}731
| megasized_39h = 213{{{sep|,}}}109{{{sep|,}}}159
| megasized_40h = 182{{{sep|,}}}530{{{sep|,}}}003
| megasized_41h = 155{{{sep|,}}}161{{{sep|,}}}097
| megasized_42h = 134{{{sep|,}}}696{{{sep|,}}}498
| megasized_43h = 111{{{sep|,}}}463{{{sep|,}}}778
| megasized_44h = 95{{{sep|,}}}104{{{sep|,}}}991
| megasized_45h = 82{{{sep|,}}}711{{{sep|,}}}444
| megasized_46h = 71{{{sep|,}}}617{{{sep|,}}}309
| megasized_47h = 60{{{sep|,}}}588{{{sep|,}}}613
| megasized_48h = 51{{{sep|,}}}906{{{sep|,}}}149
| megasized_49h = 45{{{sep|,}}}079{{{sep|,}}}839
| megasized_50h = 38{{{sep|,}}}103{{{sep|,}}}836
| megasized_51h = 34{{{sep|,}}}336{{{sep|,}}}873
| megasized_52h = 29{{{sep|,}}}008{{{sep|,}}}524
| megasized_53h = 25{{{sep|,}}}544{{{sep|,}}}286
| megasized_54h = 22{{{sep|,}}}327{{{sep|,}}}419
| megasized_55h = 18{{{sep|,}}}624{{{sep|,}}}720
| megasized_56h = 15{{{sep|,}}}969{{{sep|,}}}297
| megasized_57h = 13{{{sep|,}}}937{{{sep|,}}}992
| megasized_58h = 11{{{sep|,}}}907{{{sep|,}}}468
| megasized_59h = 10{{{sep|,}}}407{{{sep|,}}}332
| megasized_60h = 9{{{sep|,}}}023{{{sep|,}}}425
| megasized_61h = 7{{{sep|,}}}997{{{sep|,}}}544
| megasized_62h = 6{{{sep|,}}}971{{{sep|,}}}420
| megasized_63h = 6{{{sep|,}}}111{{{sep|,}}}465
| megasized_64h = 5{{{sep|,}}}198{{{sep|,}}}460
| megasized_65h = 4{{{sep|,}}}548{{{sep|,}}}507
| megasized_66h = 4{{{sep|,}}}132{{{sep|,}}}316
| megasized_67h = 3{{{sep|,}}}618{{{sep|,}}}539
| megasized_68h = 2{{{sep|,}}}972{{{sep|,}}}167
| megasized_69h = 2{{{sep|,}}}948{{{sep|,}}}766
| megasized_70h = 2{{{sep|,}}}429{{{sep|,}}}060
| megasized_71h = 1{{{sep|,}}}994{{{sep|,}}}588
| megasized_72h = 1{{{sep|,}}}883{{{sep|,}}}434
| megasized_73h = 1{{{sep|,}}}633{{{sep|,}}}809
| megasized_74h = 1{{{sep|,}}}313{{{sep|,}}}486
| megasized_75h = 1{{{sep|,}}}180{{{sep|,}}}289
| megasized_76h = 1{{{sep|,}}}041{{{sep|,}}}573
| megasized_77h = 922{{{sep|,}}}082
| megasized_78h = 777{{{sep|,}}}774
| megasized_79h = 700{{{sep|,}}}081
| megasized_80h = 644{{{sep|,}}}000
| megasized_81h = 539{{{sep|,}}}739
| megasized_82h = 488{{{sep|,}}}137
| megasized_83h = 462{{{sep|,}}}003
| megasized_84h = 359{{{sep|,}}}738
| megasized_85h = 320{{{sep|,}}}796
| megasized_86h = 342{{{sep|,}}}066
| megasized_87h = 250{{{sep|,}}}236
| megasized_88h = 266{{{sep|,}}}320
| megasized_89h = 246{{{sep|,}}}225
| megasized_90h = 193{{{sep|,}}}501
| megasized_91h = 152{{{sep|,}}}827
| megasized_92h = 269{{{sep|,}}}052
| megasized_93h = 116{{{sep|,}}}317
| megasized_94h = 100{{{sep|,}}}991
| megasized_95h = 94{{{sep|,}}}577
| megasized_96h = 78{{{sep|,}}}472
| megasized_97h = 75{{{sep|,}}}886
| megasized_98h = 61{{{sep|,}}}674
| megasized_99h = 64{{{sep|,}}}644
| megasized_100h = 58{{{sep|,}}}385
| megasized_101h = 42{{{sep|,}}}050
| megasized_102h = 36{{{sep|,}}}911
| megasized_103h = 39{{{sep|,}}}449
| megasized_104h = 28{{{sep|,}}}977
| megasized_105h = 30{{{sep|,}}}134
| megasized_106h = 23{{{sep|,}}}320
| megasized_107h = 20{{{sep|,}}}604
| megasized_108h = 17{{{sep|,}}}720
| megasized_109h = 15{{{sep|,}}}112
| megasized_110h = 13{{{sep|,}}}824
| megasized_111h = 11{{{sep|,}}}533
| megasized_112h = 11{{{sep|,}}}632
| megasized_113h = 10{{{sep|,}}}124
| megasized_114h = 8{{{sep|,}}}854
| megasized_115h = 8{{{sep|,}}}037
| megasized_116h = 6{{{sep|,}}}520
| megasized_117h = 5{{{sep|,}}}795
| megasized_118h = 5{{{sep|,}}}131
| megasized_119h = 4{{{sep|,}}}449
| megasized_120h = 3{{{sep|,}}}979
| megasized_121h = 3{{{sep|,}}}468
| megasized_122h = 3{{{sep|,}}}349
| megasized_123h = 2{{{sep|,}}}911
| megasized_124h = 2{{{sep|,}}}584
| megasized_125h = 2{{{sep|,}}}453
| megasized_126h = 1{{{sep|,}}}915
| megasized_127h = 1{{{sep|,}}}870
| megasized_128h = 1{{{sep|,}}}660
| megasized_129h = 1{{{sep|,}}}304
| megasized_130h = 1{{{sep|,}}}143
| megasized_131h = 996
| megasized_132h = 869
| megasized_133h = 968
| megasized_134h = 757
| megasized_135h = 720
| megasized_136h = 526
| megasized_137h = 479
| megasized_138h = 498
| megasized_139h = 415
| megasized_140h = 326
| megasized_141h = 347
| megasized_142h = 291
| megasized_143h = 234
| megasized_144h = 236
| megasized_145h = 222
| megasized_146h = 183
| megasized_147h = 192
| megasized_148h = 145
| megasized_149h = 132
| megasized_150h = 136
| megasized_151h = 82
| megasized_152h = 75
| megasized_153h = 79
| megasized_154h = 73
| megasized_155h = 66
| megasized_156h = 64
| megasized_157h = 46
| megasized_158h = 50
| megasized_159h = 48
| megasized_160h = 29
| megasized_161h = 38
| megasized_162h = 19
| megasized_163h = 30
| megasized_164h = 24
| megasized_165h = 22
| megasized_166h = 14
| megasized_167h = 9
| megasized_168h = 11
| megasized_169h = 13
| megasized_170h = 15
| megasized_171h = 8
| megasized_172h = 11
| megasized_173h = 6
| megasized_174h = 8
| megasized_175h = 7
| megasized_176h = 10
| megasized_177h = 6
| megasized_178h = 3
| megasized_179h = 2
| megasized_180h = 5
| megasized_181h = 4
| megasized_182h = 5
| megasized_183h = 5
| megasized_184h = 3
| megasized_185h = 1
| megasized_187h = 1
| megasized_188h = 3
| megasized_189h = 1
| megasized_190h = 2
| megasized_191h = 3
| megasized_192h = 2
| megasized_193h = 1
| megasized_195h = 2
| megasized_196h = 1
| megasized_198h = 1
| megasized_199h = 1
| megasized_200h = 1
| megasized_201h = 1
| megasized_277h = 1
| megasized_808h = 1
| megasized_857h = 1
| yl = 1600
| '''Unknown query: {{{1|}}}'''
}}