NumberDB$^\beta$ Advanced search Tags Tables Help Login

History of Orders of finite simple groups of Lie type

back to table · edit · history · where entries came from · files

compare when who what
2026-09-13 05:37 bmatschke (no message) current reviewed
2026-09-13 05:29 bmatschke (no message)
2026-09-12 23:56 zeta3 repair Lie-type order formulas and duplicate-order notes
2026-09-12 23:55 zeta3 attach repaired Lie-type order generator
2026-09-12 23:54 zeta3 repair Lie-type order formulas and duplicate-order notes
2026-09-12 23:23 zeta3 with Codex CLI, table-b orders of finite simple groups of Lie type
2026-09-12 23:15 zeta3 with Codex CLI, table-b orders of finite simple groups of Lie type
2026-09-12 22:43 zeta3 claim the Lie-type simple-group orders draft

What changed between 2026-09-12 23:15 and 2026-09-12 23:23

from line 2181 (5 lines) @@ -2181,5 +2181,5 @@ 
     q: '2'   number: '1451520'-  comment: $B_3(2)$. It is isomorphic to the row C_3(2).+  comment: $B_3(2)$. It is isomorphic to $C_3(2)$. - params:     family: B
from line 2187 (5 lines) @@ -2187,5 +2187,5 @@ 
     q: '3'   number: '4585351680'-  comment: $B_3(3)$. It has the same order as C_3(3).+  comment: $B_3(3)$. It has the same order as $C_3(3)$. - params:     family: B
from line 2193 (5 lines) @@ -2193,5 +2193,5 @@ 
     q: '4'   number: '4106059776000'-  comment: $B_3(4)$. It is isomorphic to the row C_3(4).+  comment: $B_3(4)$. It is isomorphic to $C_3(4)$. - params:     family: B
from line 2199 (5 lines) @@ -2199,5 +2199,5 @@ 
     q: '5'   number: '228501000000000'-  comment: $B_3(5)$. It has the same order as C_3(5).+  comment: $B_3(5)$. It has the same order as $C_3(5)$. - params:     family: B
from line 2205 (5 lines) @@ -2205,5 +2205,5 @@ 
     q: '7'   number: '273457218604953600'-  comment: $B_3(7)$. It has the same order as C_3(7).+  comment: $B_3(7)$. It has the same order as $C_3(7)$. - params:     family: B
from line 2211 (5 lines) @@ -2211,5 +2211,5 @@ 
     q: '8'   number: '9077005607176765440'-  comment: $B_3(8)$. It is isomorphic to the row C_3(8).+  comment: $B_3(8)$. It is isomorphic to $C_3(8)$. - params:     family: B
from line 2217 (5 lines) @@ -2217,5 +2217,5 @@ 
     q: '9'   number: '54025731402499584000'-  comment: $B_3(9)$. It has the same order as C_3(9).+  comment: $B_3(9)$. It has the same order as $C_3(9)$. - params:     family: B
from line 2223 (5 lines) @@ -2223,5 +2223,5 @@ 
     q: '11'   number: '3669292720793456064000'-  comment: $B_3(11)$. It has the same order as C_3(11).+  comment: $B_3(11)$. It has the same order as $C_3(11)$. - params:     family: B
from line 2229 (5 lines) @@ -2229,5 +2229,5 @@ 
     q: '13'   number: '122796979335906113871360'-  comment: $B_3(13)$. It has the same order as C_3(13).+  comment: $B_3(13)$. It has the same order as $C_3(13)$. - params:     family: B
from line 2235 (5 lines) @@ -2235,5 +2235,5 @@ 
     q: '16'   number: '19266960106724096212992000'-  comment: $B_3(16)$. It is isomorphic to the row C_3(16).+  comment: $B_3(16)$. It is isomorphic to $C_3(16)$. - params:     family: B
from line 2241 (5 lines) @@ -2241,5 +2241,5 @@ 
     q: '17'   number: '34426017123500213280276480'-  comment: $B_3(17)$. It has the same order as C_3(17).+  comment: $B_3(17)$. It has the same order as $C_3(17)$. - params:     family: B
from line 2247 (5 lines) @@ -2247,5 +2247,5 @@ 
     q: '19'   number: '356112797846512129157952000'-  comment: $B_3(19)$. It has the same order as C_3(19).+  comment: $B_3(19)$. It has the same order as $C_3(19)$. - params:     family: B
from line 2253 (5 lines) @@ -2253,5 +2253,5 @@ 
     q: '23'   number: '19698413800116660942130237440'-  comment: $B_3(23)$. It has the same order as C_3(23).+  comment: $B_3(23)$. It has the same order as $C_3(23)$. - params:     family: B
from line 2259 (5 lines) @@ -2259,5 +2259,5 @@ 
     q: '25'   number: '113504647743703125000000000000'-  comment: $B_3(25)$. It has the same order as C_3(25).+  comment: $B_3(25)$. It has the same order as $C_3(25)$. - params:     family: B
from line 2265 (5 lines) @@ -2265,5 +2265,5 @@ 
     q: '27'   number: '571494538420925222152265448960'-  comment: $B_3(27)$. It has the same order as C_3(27).+  comment: $B_3(27)$. It has the same order as $C_3(27)$. - params:     family: B
from line 2271 (5 lines) @@ -2271,5 +2271,5 @@ 
     q: '29'   number: '2563366094999064467944348608000'-  comment: $B_3(29)$. It has the same order as C_3(29).+  comment: $B_3(29)$. It has the same order as $C_3(29)$. - params:     family: B
from line 2277 (5 lines) @@ -2277,5 +2277,5 @@ 
     q: '31'   number: '10401906590539624556258623488000'-  comment: $B_3(31)$. It has the same order as C_3(31).+  comment: $B_3(31)$. It has the same order as $C_3(31)$. - params:     family: B
from line 2283 (5 lines) @@ -2283,5 +2283,5 @@ 
     q: '32'   number: '40525166440456910492724205977600'-  comment: $B_3(32)$. It is isomorphic to the row C_3(32).+  comment: $B_3(32)$. It is isomorphic to $C_3(32)$. - params:     family: B
from line 2289 (5 lines) @@ -2289,5 +2289,5 @@ 
     q: '2'   number: '47377612800'-  comment: $B_4(2)$. It is isomorphic to the row C_4(2).+  comment: $B_4(2)$. It is isomorphic to $C_4(2)$. - params:     family: B
from line 2295 (5 lines) @@ -2295,5 +2295,5 @@ 
     q: '3'   number: '65784756654489600'-  comment: $B_4(3)$. It has the same order as C_4(3).+  comment: $B_4(3)$. It has the same order as $C_4(3)$. - params:     family: B
from line 2301 (5 lines) @@ -2301,5 +2301,5 @@ 
     q: '4'   number: '4408780839651901440000'-  comment: $B_4(4)$. It is isomorphic to the row C_4(4).+  comment: $B_4(4)$. It is isomorphic to $C_4(4)$. - params:     family: B
from line 2307 (5 lines) @@ -2307,5 +2307,5 @@ 
     q: '5'   number: '6973279267500000000000000'-  comment: $B_4(5)$. It has the same order as C_4(5).+  comment: $B_4(5)$. It has the same order as $C_4(5)$. - params:     family: B
from line 2313 (5 lines) @@ -2313,5 +2313,5 @@ 
     q: '7'   number: '1298254740461168363656151040000'-  comment: $B_4(7)$. It has the same order as C_4(7).+  comment: $B_4(7)$. It has the same order as $C_4(7)$. - params:     family: B
from line 2319 (5 lines) @@ -2319,5 +2319,5 @@ 
     q: '8'   number: '319368723699461283992462111539200'-  comment: $B_4(8)$. It is isomorphic to the row C_4(8).+  comment: $B_4(8)$. It is isomorphic to $C_4(8)$. - params:     family: B
from line 2325 (5 lines) @@ -2325,5 +2325,5 @@ 
     q: '9'   number: '11123418742298669930322238341120000'-  comment: $B_4(9)$. It has the same order as C_4(9).+  comment: $B_4(9)$. It has the same order as $C_4(9)$. - params:     family: B
from line 2331 (5 lines) @@ -2331,5 +2331,5 @@ 
     q: '11'   number: '15327546229480503060059133622302720000'-  comment: $B_4(11)$. It has the same order as C_4(11).+  comment: $B_4(11)$. It has the same order as $C_4(11)$. - params:     family: B
from line 2337 (5 lines) @@ -2337,5 +2337,5 @@ 
     q: '13'   number: '6285473039035875453413769653194694246400'-  comment: $B_4(13)$. It has the same order as C_4(13).+  comment: $B_4(13)$. It has the same order as $C_4(13)$. - params:     family: B
from line 2343 (5 lines) @@ -2343,5 +2343,5 @@ 
     q: '16'   number: '22213292630272506774419304600032866467840000'-  comment: $B_4(16)$. It is isomorphic to the row C_4(16).+  comment: $B_4(16)$. It is isomorphic to $C_4(16)$. - params:     family: B
from line 2349 (5 lines) @@ -2349,5 +2349,5 @@ 
     q: '17'   number: '98541824971852325333396205541648137034137600'-  comment: $B_4(17)$. It has the same order as C_4(17).+  comment: $B_4(17)$. It has the same order as $C_4(17)$. - params:     family: B
from line 2355 (5 lines) @@ -2355,5 +2355,5 @@ 
     q: '19'   number: '5406193620753705981253166539179841552005120000'-  comment: $B_4(19)$. It has the same order as C_4(19).+  comment: $B_4(19)$. It has the same order as $C_4(19)$. - params:     family: B
from line 2361 (5 lines) @@ -2361,5 +2361,5 @@ 
     q: '23'   number: '5252291201802050178266338578505309481956402790400'-  comment: $B_4(23)$. It has the same order as C_4(23).+  comment: $B_4(23)$. It has the same order as $C_4(23)$. - params:     family: B
from line 2367 (5 lines) @@ -2367,5 +2367,5 @@ 
     q: '25'   number: '105709440766795781385662841796875000000000000000000'-  comment: $B_4(25)$. It has the same order as C_4(25).+  comment: $B_4(25)$. It has the same order as $C_4(25)$. - params:     family: B
from line 2373 (5 lines) @@ -2373,5 +2373,5 @@ 
     q: '27'   number: '1688373576575364975707514459741817363489438768742400'-  comment: $B_4(27)$. It has the same order as C_4(27).+  comment: $B_4(27)$. It has the same order as $C_4(27)$. - params:     family: B
from line 2379 (5 lines) @@ -2379,5 +2379,5 @@ 
     q: '29'   number: '22119769862896408048724133628291257570336870021120000'-  comment: $B_4(29)$. It has the same order as C_4(29).+  comment: $B_4(29)$. It has the same order as $C_4(29)$. - params:     family: B
from line 2385 (5 lines) @@ -2385,5 +2385,5 @@ 
     q: '31'   number: '244083463361422012779034933072492792588283066449920000'-  comment: $B_4(31)$. It has the same order as C_4(31).+  comment: $B_4(31)$. It has the same order as $C_4(31)$. - params:     family: B
from line 2391 (5 lines) @@ -2391,5 +2391,5 @@ 
     q: '32'   number: '1530997501687627405126122348817151358825284103045120000'-  comment: $B_4(32)$. It is isomorphic to the row C_4(32).+  comment: $B_4(32)$. It is isomorphic to $C_4(32)$. - params:     family: B
from line 2397 (5 lines) @@ -2397,5 +2397,5 @@ 
     q: '2'   number: '24815256521932800'-  comment: $B_5(2)$. It is isomorphic to the row C_5(2).+  comment: $B_5(2)$. It is isomorphic to $C_5(2)$. - params:     family: B
from line 2403 (5 lines) @@ -2403,5 +2403,5 @@ 
     q: '3'   number: '76457792934119864313446400'-  comment: $B_5(3)$. It has the same order as C_5(3).+  comment: $B_5(3)$. It has the same order as $C_5(3)$. - params:     family: B
from line 2409 (5 lines) @@ -2409,5 +2409,5 @@ 
     q: '4'   number: '1211875293642881119668928512000000'-  comment: $B_5(4)$. It is isomorphic to the row C_5(4).+  comment: $B_5(4)$. It is isomorphic to $C_5(4)$. - params:     family: B
from line 2415 (5 lines) @@ -2415,5 +2415,5 @@ 
     q: '5'   number: '133004733151172695312500000000000000000'-  comment: $B_5(5)$. It has the same order as C_5(5).+  comment: $B_5(5)$. It has the same order as $C_5(5)$. - params:     family: B
from line 2421 (5 lines) @@ -2421,5 +2421,5 @@ 
     q: '7'   number: '14798669658041409826117343924395087366717440000'-  comment: $B_5(7)$. It has the same order as C_5(7).+  comment: $B_5(7)$. It has the same order as $C_5(7)$. - params:     family: B
from line 2427 (5 lines) @@ -2427,5 +2427,5 @@ 
     q: '8'   number: '46025883638628966977843321053405598530493271244800'-  comment: $B_5(8)$. It is isomorphic to the row C_5(8).+  comment: $B_5(8)$. It is isomorphic to $C_5(8)$. - params:     family: B
from line 2433 (5 lines) @@ -2433,5 +2433,5 @@ 
     q: '9'   number: '15026089310120671289900284876259193821694984192000000'-  comment: $B_5(9)$. It has the same order as C_5(9).+  comment: $B_5(9)$. It has the same order as $C_5(9)$. - params:     family: B
from line 2439 (5 lines) @@ -2439,5 +2439,5 @@ 
     q: '11'   number: '937418786164911875901760198515306718152048382728192000000'-  comment: $B_5(11)$. It has the same order as C_5(11).+  comment: $B_5(11)$. It has the same order as $C_5(11)$. - params:     family: B
from line 2445 (5 lines) @@ -2445,5 +2445,5 @@ 
     q: '13'   number: '9188860570307710474628238112477328146850668976080194001305600'-  comment: $B_5(13)$. It has the same order as C_5(13).+  comment: $B_5(13)$. It has the same order as $C_5(13)$. - params:     family: B
from line 2451 (5 lines) @@ -2451,5 +2451,5 @@ 
     q: '16'   number: '1678388937460460524297556430293328626538631062158778266812416000000'-  comment: $B_5(16)$. It is isomorphic to the row C_5(16).+  comment: $B_5(16)$. It is isomorphic to $C_5(16)$. - params:     family: B
from line 2457 (5 lines) @@ -2457,5 +2457,5 @@ 
     q: '17'   number: '23558634112868917944418552749579119586991566705088219629481466265600'-  comment: $B_5(17)$. It has the same order as C_5(17).+  comment: $B_5(17)$. It has the same order as $C_5(17)$. - params:     family: B
from line 2463 (5 lines) @@ -2463,5 +2463,5 @@ 
     q: '19'   number: '10695719721602786428448136642923322088779089074577145974877702144000000'-  comment: $B_5(19)$. It has the same order as C_5(19).+  comment: $B_5(19)$. It has the same order as $C_5(19)$. - params:     family: B
from line 2469 (5 lines) @@ -2469,5 +2469,5 @@ 
     q: '23'   number: '391902181471291888794273740554506550506152929419990611601331213316495769600'-  comment: $B_5(23)$. It has the same order as C_5(23).+  comment: $B_5(23)$. It has the same order as $C_5(23)$. - params:     family: B
from line 2475 (5 lines) @@ -2475,5 +2475,5 @@ 
     q: '25'   number: '38456870521911577431396736559815463796257972717285156250000000000000000000000'-  comment: $B_5(25)$. It has the same order as C_5(25).+  comment: $B_5(25)$. It has the same order as $C_5(25)$. - params:     family: B
from line 2481 (5 lines) @@ -2481,5 +2481,5 @@ 
     q: '27'   number: '2650818944899956067802190778019743601014601479770651695838879194678722373222400'-  comment: $B_5(27)$. It has the same order as C_5(27).+  comment: $B_5(27)$. It has the same order as $C_5(27)$. - params:     family: B
from line 2487 (5 lines) @@ -2487,5 +2487,5 @@ 
     q: '29'   number: '135002734187704535632201729953379621996626924798559120985157142065988294656000000'-  comment: $B_5(29)$. It has the same order as C_5(29).+  comment: $B_5(29)$. It has the same order as $C_5(29)$. - params:     family: B
from line 2493 (5 lines) @@ -2493,5 +2493,5 @@ 
     q: '31'   number: '5289450287985889965009626261985033584901469103699758058710433943745153990656000000'-  comment: $B_5(31)$. It has the same order as C_5(31).+  comment: $B_5(31)$. It has the same order as $C_5(31)$. - params:     family: B
from line 2499 (5 lines) @@ -2499,5 +2499,5 @@ 
     q: '32'   number: '60649059436319962888679456345490852764844975344688242273615436028699199479480320000'-  comment: $B_5(32)$. It is isomorphic to the row C_5(32).+  comment: $B_5(32)$. It is isomorphic to $C_5(32)$. - params:     family: B
from line 2505 (5 lines) @@ -2505,5 +2505,5 @@ 
     q: '2'   number: '208114637736580743168000'-  comment: $B_6(2)$. It is isomorphic to the row C_6(2).+  comment: $B_6(2)$. It is isomorphic to $C_6(2)$. - params:     family: B
from line 2511 (5 lines) @@ -2511,5 +2511,5 @@ 
     q: '3'   number: '7197966128645938515382156481789952000'-  comment: $B_6(3)$. It has the same order as C_6(3).+  comment: $B_6(3)$. It has the same order as $C_6(3)$. - params:     family: B
from line 2517 (5 lines) @@ -2517,5 +2517,5 @@ 
     q: '4'   number: '85278137430613949474674174708223909560320000000'-  comment: $B_6(4)$. It is isomorphic to the row C_6(4).+  comment: $B_6(4)$. It is isomorphic to $C_6(4)$. - params:     family: B
from line 2523 (5 lines) @@ -2523,5 +2523,5 @@ 
     q: '5'   number: '1585539968089882234636505126953125000000000000000000000'-  comment: $B_6(5)$. It has the same order as C_6(5).+  comment: $B_6(5)$. It has the same order as $C_6(5)$. - params:     family: B
from line 2529 (5 lines) @@ -2529,5 +2529,5 @@ 
     q: '7'   number: '405021050810995193742724745833742085838315883140458032922624000000'-  comment: $B_6(7)$. It has the same order as C_6(7).+  comment: $B_6(7)$. It has the same order as $C_6(7)$. - params:     family: B
from line 2535 (5 lines) @@ -2535,5 +2535,5 @@ 
     q: '8'   number: '27168886279544618607869530961362524544707830196725394137207827070976000'-  comment: $B_6(8)$. It is isomorphic to the row C_6(8).+  comment: $B_6(8)$. It is isomorphic to $C_6(8)$. - params:     family: B
from line 2541 (5 lines) @@ -2541,5 +2541,5 @@ 
     q: '9'   number: '133175299735499915203175849633922453238030221758644323033296865853440000000'-  comment: $B_6(9)$. It has the same order as C_6(9).+  comment: $B_6(9)$. It has the same order as $C_6(9)$. - params:     family: B
from line 2547 (5 lines) @@ -2547,5 +2547,5 @@ 
     q: '11'   number: '839393131727408930267620988492003501661249317147701539025004675056340336640000000'-  comment: $B_6(11)$. It has the same order as C_6(11).+  comment: $B_6(11)$. It has the same order as $C_6(11)$. - params:     family: B
from line 2553 (5 lines) @@ -2553,5 +2553,5 @@ 
     q: '13'   number: '383670815109652980246332248439178111116302782428219006043350431708975816125644537856000'-  comment: $B_6(13)$. It has the same order as C_6(13).+  comment: $B_6(13)$. It has the same order as $C_6(13)$. - params:     family: B
from line 2559 (5 lines) @@ -2559,5 +2559,5 @@ 
     q: '16'   number: '8310979468703771108537528083794026386358465449032982057891613992566755268526169841991680000000'-  comment: $B_6(16)$. It is isomorphic to the row C_6(16).+  comment: $B_6(16)$. It is isomorphic to $C_6(16)$. - params:     family: B
from line 2565 (5 lines) @@ -2565,5 +2565,5 @@ 
     q: '17'   number: '470408649858848895100349170813229891729130003831121959916888495154929694096584847145773826048000'-  comment: $B_6(17)$. It has the same order as C_6(17).+  comment: $B_6(17)$. It has the same order as $C_6(17)$. - params:     family: B
from line 2571 (5 lines) @@ -2571,5 +2571,5 @@ 
     q: '19'   number: '2757673436428135522372645065735257343172609090201649033916888632344613713697398694308018421760000000'-  comment: $B_6(19)$. It has the same order as C_6(19).+  comment: $B_6(19)$. It has the same order as $C_6(19)$. - params:     family: B
from line 2577 (5 lines) @@ -2577,5 +2577,5 @@ 
     q: '2'   number: '27930968965434591767112450048000'-  comment: $B_7(2)$. It is isomorphic to the row C_7(2).+  comment: $B_7(2)$. It is isomorphic to $C_7(2)$. - params:     family: B
from line 2583 (5 lines) @@ -2583,5 +2583,5 @@ 
     q: '3'   number: '54888780931741129517511777421088069718405808128000'-  comment: $B_7(3)$. It has the same order as C_7(3).+  comment: $B_7(3)$. It has the same order as $C_7(3)$. - params:     family: B
from line 2589 (5 lines) @@ -2589,5 +2589,5 @@ 
     q: '4'   number: '1536234346098532793158147848149455029037710018156586598400000000'-  comment: $B_7(4)$. It is isomorphic to the row C_7(4).+  comment: $B_7(4)$. It is isomorphic to $C_7(4)$. - params:     family: B
from line 2595 (5 lines) @@ -2595,5 +2595,5 @@ 
     q: '5'   number: '11813193319962228583281180423723757266998291015625000000000000000000000000'-  comment: $B_7(5)$. It has the same order as C_7(5).+  comment: $B_7(5)$. It has the same order as $C_7(5)$. - params:     family: B
from line 2601 (5 lines) @@ -2601,5 +2601,5 @@ 
     q: '7'   number: '26614890055712303810611389109508933955356333005237165504465100193504759973479972864000000'-  comment: $B_7(7)$. It has the same order as C_7(7).+  comment: $B_7(7)$. It has the same order as $C_7(7)$. - params:     family: B
from line 2607 (5 lines) @@ -2607,5 +2607,5 @@ 
     q: '8'   number: '65690336227015326045298498494020475427882747346095141977068940558532208284584177116972580864000'-  comment: $B_7(8)$. It is isomorphic to the row C_7(8).+  comment: $B_7(8)$. It is isomorphic to $C_7(8)$. - params:     family: B
from line 2613 (5 lines) @@ -2613,5 +2613,5 @@ 
     q: '9'   number: '7744108654920011979324923909347665431213391439419491165299064649384746247246188482825656729600000000'-  comment: $B_7(9)$. It has the same order as C_7(9).+  comment: $B_7(9)$. It has the same order as $C_7(9)$. - params:     family: B
from line 2619 (5 lines) @@ -2619,5 +2619,5 @@ 
     q: '2'   number: '59980383884075203672726385914533642240000'-  comment: $B_8(2)$. It is isomorphic to the row C_8(2).+  comment: $B_8(2)$. It is isomorphic to $C_8(2)$. - params:     family: B
from line 2625 (5 lines) @@ -2625,5 +2625,5 @@ 
     q: '3'   number: '33903338948400079408255624011057141081545622145957207600005120000'-  comment: $B_8(3)$. It has the same order as C_8(3).+  comment: $B_8(3)$. It has the same order as $C_8(3)$. - params:     family: B
from line 2631 (5 lines) @@ -2631,5 +2631,5 @@ 
     q: '4'   number: '7084630453281025440882493116981310890142026281589018852388680249504694272000000000'-  comment: $B_8(4)$. It is isomorphic to the row C_8(4).+  comment: $B_8(4)$. It is isomorphic to $C_8(4)$. - params:     family: B
from line 2637 (5 lines) @@ -2637,5 +2637,5 @@ 
     q: '5'   number: '55009468085527464931548926804588948017793591134250164031982421875000000000000000000000000000000'-  comment: $B_8(5)$. It has the same order as C_8(5).+  comment: $B_8(5)$. It has the same order as $C_8(5)$. - params:     family: B
from line 2643 (5 lines) @@ -2643,5 +2643,5 @@ 
     q: '2'   number: '2060902435720151186326095525680721766346957783040000'-  comment: $B_9(2)$. It is isomorphic to the row C_9(2).+  comment: $B_9(2)$. It is isomorphic to $C_9(2)$. - params:     family: B
from line 2649 (5 lines) @@ -2649,5 +2649,5 @@ 
     q: '3'   number: '1696236427225269155090375760411251179334887189694336363831149367959580080865280000'-  comment: $B_9(3)$. It has the same order as C_9(3).+  comment: $B_9(3)$. It has the same order as $C_9(3)$. - params:     family: B
from line 2655 (5 lines) @@ -2655,5 +2655,5 @@ 
     q: '2'   number: '1132992015386677099994486205757869431795095310094129168384000000'-  comment: $B_10(2)$. It is isomorphic to the row C_10(2).+  comment: $B_10(2)$. It is isomorphic to $C_10(2)$. - params:     family: B
from line 2661 (5 lines) @@ -2661,5 +2661,5 @@ 
     q: '3'   number: '6874091671918792003325931177529578096673994806453348958512079904447320981049205058119762182144000000'-  comment: $B_10(3)$. It has the same order as C_10(3).+  comment: $B_10(3)$. It has the same order as $C_10(3)$. - params:     family: B
from line 2667 (5 lines) @@ -2667,5 +2667,5 @@ 
     q: '2'   number: '9965900784703658358028471582104169283870185004809555811165570548629504000000'-  comment: $B_11(2)$. It is isomorphic to the row C_11(2).+  comment: $B_11(2)$. It is isomorphic to $C_11(2)$. - params:     family: B
from line 2673 (5 lines) @@ -2673,5 +2673,5 @@ 
     q: '2'   number: '1402575762037550245974927108561766348252867730943485007822736244380743658751530106880000000'-  comment: $B_12(2)$. It is isomorphic to the row C_12(2).+  comment: $B_12(2)$. It is isomorphic to $C_12(2)$. - params:     family: C
from line 2679 (5 lines) @@ -2679,5 +2679,5 @@ 
     q: '2'   number: '1451520'-  comment: $\operatorname{PSp}_{6}(2)$. It is isomorphic to the row B_3(2).+  comment: $\operatorname{PSp}_{6}(2)$. It is isomorphic to $B_3(2)$. - params:     family: C
from line 2685 (5 lines) @@ -2685,5 +2685,5 @@ 
     q: '3'   number: '4585351680'-  comment: $\operatorname{PSp}_{6}(3)$. It has the same order as B_3(3).+  comment: $\operatorname{PSp}_{6}(3)$. It has the same order as $B_3(3)$. - params:     family: C
from line 2691 (5 lines) @@ -2691,5 +2691,5 @@ 
     q: '4'   number: '4106059776000'-  comment: $\operatorname{PSp}_{6}(4)$. It is isomorphic to the row B_3(4).+  comment: $\operatorname{PSp}_{6}(4)$. It is isomorphic to $B_3(4)$. - params:     family: C
from line 2697 (5 lines) @@ -2697,5 +2697,5 @@ 
     q: '5'   number: '228501000000000'-  comment: $\operatorname{PSp}_{6}(5)$. It has the same order as B_3(5).+  comment: $\operatorname{PSp}_{6}(5)$. It has the same order as $B_3(5)$. - params:     family: C
from line 2703 (5 lines) @@ -2703,5 +2703,5 @@ 
     q: '7'   number: '273457218604953600'-  comment: $\operatorname{PSp}_{6}(7)$. It has the same order as B_3(7).+  comment: $\operatorname{PSp}_{6}(7)$. It has the same order as $B_3(7)$. - params:     family: C
from line 2709 (5 lines) @@ -2709,5 +2709,5 @@ 
     q: '8'   number: '9077005607176765440'-  comment: $\operatorname{PSp}_{6}(8)$. It is isomorphic to the row B_3(8).+  comment: $\operatorname{PSp}_{6}(8)$. It is isomorphic to $B_3(8)$. - params:     family: C
from line 2715 (5 lines) @@ -2715,5 +2715,5 @@ 
     q: '9'   number: '54025731402499584000'-  comment: $\operatorname{PSp}_{6}(9)$. It has the same order as B_3(9).+  comment: $\operatorname{PSp}_{6}(9)$. It has the same order as $B_3(9)$. - params:     family: C
from line 2721 (5 lines) @@ -2721,5 +2721,5 @@ 
     q: '11'   number: '3669292720793456064000'-  comment: $\operatorname{PSp}_{6}(11)$. It has the same order as B_3(11).+  comment: $\operatorname{PSp}_{6}(11)$. It has the same order as $B_3(11)$. - params:     family: C
from line 2727 (5 lines) @@ -2727,5 +2727,5 @@ 
     q: '13'   number: '122796979335906113871360'-  comment: $\operatorname{PSp}_{6}(13)$. It has the same order as B_3(13).+  comment: $\operatorname{PSp}_{6}(13)$. It has the same order as $B_3(13)$. - params:     family: C
from line 2733 (5 lines) @@ -2733,5 +2733,5 @@ 
     q: '16'   number: '19266960106724096212992000'-  comment: $\operatorname{PSp}_{6}(16)$. It is isomorphic to the row B_3(16).+  comment: $\operatorname{PSp}_{6}(16)$. It is isomorphic to $B_3(16)$. - params:     family: C
from line 2739 (5 lines) @@ -2739,5 +2739,5 @@ 
     q: '17'   number: '34426017123500213280276480'-  comment: $\operatorname{PSp}_{6}(17)$. It has the same order as B_3(17).+  comment: $\operatorname{PSp}_{6}(17)$. It has the same order as $B_3(17)$. - params:     family: C
from line 2745 (5 lines) @@ -2745,5 +2745,5 @@ 
     q: '19'   number: '356112797846512129157952000'-  comment: $\operatorname{PSp}_{6}(19)$. It has the same order as B_3(19).+  comment: $\operatorname{PSp}_{6}(19)$. It has the same order as $B_3(19)$. - params:     family: C
from line 2751 (5 lines) @@ -2751,5 +2751,5 @@ 
     q: '23'   number: '19698413800116660942130237440'-  comment: $\operatorname{PSp}_{6}(23)$. It has the same order as B_3(23).+  comment: $\operatorname{PSp}_{6}(23)$. It has the same order as $B_3(23)$. - params:     family: C
from line 2757 (5 lines) @@ -2757,5 +2757,5 @@ 
     q: '25'   number: '113504647743703125000000000000'-  comment: $\operatorname{PSp}_{6}(25)$. It has the same order as B_3(25).+  comment: $\operatorname{PSp}_{6}(25)$. It has the same order as $B_3(25)$. - params:     family: C
from line 2763 (5 lines) @@ -2763,5 +2763,5 @@ 
     q: '27'   number: '571494538420925222152265448960'-  comment: $\operatorname{PSp}_{6}(27)$. It has the same order as B_3(27).+  comment: $\operatorname{PSp}_{6}(27)$. It has the same order as $B_3(27)$. - params:     family: C
from line 2769 (5 lines) @@ -2769,5 +2769,5 @@ 
     q: '29'   number: '2563366094999064467944348608000'-  comment: $\operatorname{PSp}_{6}(29)$. It has the same order as B_3(29).+  comment: $\operatorname{PSp}_{6}(29)$. It has the same order as $B_3(29)$. - params:     family: C
from line 2775 (5 lines) @@ -2775,5 +2775,5 @@ 
     q: '31'   number: '10401906590539624556258623488000'-  comment: $\operatorname{PSp}_{6}(31)$. It has the same order as B_3(31).+  comment: $\operatorname{PSp}_{6}(31)$. It has the same order as $B_3(31)$. - params:     family: C
from line 2781 (5 lines) @@ -2781,5 +2781,5 @@ 
     q: '32'   number: '40525166440456910492724205977600'-  comment: $\operatorname{PSp}_{6}(32)$. It is isomorphic to the row B_3(32).+  comment: $\operatorname{PSp}_{6}(32)$. It is isomorphic to $B_3(32)$. - params:     family: C
from line 2787 (5 lines) @@ -2787,5 +2787,5 @@ 
     q: '2'   number: '47377612800'-  comment: $\operatorname{PSp}_{8}(2)$. It is isomorphic to the row B_4(2).+  comment: $\operatorname{PSp}_{8}(2)$. It is isomorphic to $B_4(2)$. - params:     family: C
from line 2793 (5 lines) @@ -2793,5 +2793,5 @@ 
     q: '3'   number: '65784756654489600'-  comment: $\operatorname{PSp}_{8}(3)$. It has the same order as B_4(3).+  comment: $\operatorname{PSp}_{8}(3)$. It has the same order as $B_4(3)$. - params:     family: C
from line 2799 (5 lines) @@ -2799,5 +2799,5 @@ 
     q: '4'   number: '4408780839651901440000'-  comment: $\operatorname{PSp}_{8}(4)$. It is isomorphic to the row B_4(4).+  comment: $\operatorname{PSp}_{8}(4)$. It is isomorphic to $B_4(4)$. - params:     family: C
from line 2805 (5 lines) @@ -2805,5 +2805,5 @@ 
     q: '5'   number: '6973279267500000000000000'-  comment: $\operatorname{PSp}_{8}(5)$. It has the same order as B_4(5).+  comment: $\operatorname{PSp}_{8}(5)$. It has the same order as $B_4(5)$. - params:     family: C
from line 2811 (5 lines) @@ -2811,5 +2811,5 @@ 
     q: '7'   number: '1298254740461168363656151040000'-  comment: $\operatorname{PSp}_{8}(7)$. It has the same order as B_4(7).+  comment: $\operatorname{PSp}_{8}(7)$. It has the same order as $B_4(7)$. - params:     family: C
from line 2817 (5 lines) @@ -2817,5 +2817,5 @@ 
     q: '8'   number: '319368723699461283992462111539200'-  comment: $\operatorname{PSp}_{8}(8)$. It is isomorphic to the row B_4(8).+  comment: $\operatorname{PSp}_{8}(8)$. It is isomorphic to $B_4(8)$. - params:     family: C
from line 2823 (5 lines) @@ -2823,5 +2823,5 @@ 
     q: '9'   number: '11123418742298669930322238341120000'-  comment: $\operatorname{PSp}_{8}(9)$. It has the same order as B_4(9).+  comment: $\operatorname{PSp}_{8}(9)$. It has the same order as $B_4(9)$. - params:     family: C
from line 2829 (5 lines) @@ -2829,5 +2829,5 @@ 
     q: '11'   number: '15327546229480503060059133622302720000'-  comment: $\operatorname{PSp}_{8}(11)$. It has the same order as B_4(11).+  comment: $\operatorname{PSp}_{8}(11)$. It has the same order as $B_4(11)$. - params:     family: C
from line 2835 (5 lines) @@ -2835,5 +2835,5 @@ 
     q: '13'   number: '6285473039035875453413769653194694246400'-  comment: $\operatorname{PSp}_{8}(13)$. It has the same order as B_4(13).+  comment: $\operatorname{PSp}_{8}(13)$. It has the same order as $B_4(13)$. - params:     family: C
from line 2841 (5 lines) @@ -2841,5 +2841,5 @@ 
     q: '16'   number: '22213292630272506774419304600032866467840000'-  comment: $\operatorname{PSp}_{8}(16)$. It is isomorphic to the row B_4(16).+  comment: $\operatorname{PSp}_{8}(16)$. It is isomorphic to $B_4(16)$. - params:     family: C
from line 2847 (5 lines) @@ -2847,5 +2847,5 @@ 
     q: '17'   number: '98541824971852325333396205541648137034137600'-  comment: $\operatorname{PSp}_{8}(17)$. It has the same order as B_4(17).+  comment: $\operatorname{PSp}_{8}(17)$. It has the same order as $B_4(17)$. - params:     family: C
from line 2853 (5 lines) @@ -2853,5 +2853,5 @@ 
     q: '19'   number: '5406193620753705981253166539179841552005120000'-  comment: $\operatorname{PSp}_{8}(19)$. It has the same order as B_4(19).+  comment: $\operatorname{PSp}_{8}(19)$. It has the same order as $B_4(19)$. - params:     family: C
from line 2859 (5 lines) @@ -2859,5 +2859,5 @@ 
     q: '23'   number: '5252291201802050178266338578505309481956402790400'-  comment: $\operatorname{PSp}_{8}(23)$. It has the same order as B_4(23).+  comment: $\operatorname{PSp}_{8}(23)$. It has the same order as $B_4(23)$. - params:     family: C
from line 2865 (5 lines) @@ -2865,5 +2865,5 @@ 
     q: '25'   number: '105709440766795781385662841796875000000000000000000'-  comment: $\operatorname{PSp}_{8}(25)$. It has the same order as B_4(25).+  comment: $\operatorname{PSp}_{8}(25)$. It has the same order as $B_4(25)$. - params:     family: C
from line 2871 (5 lines) @@ -2871,5 +2871,5 @@ 
     q: '27'   number: '1688373576575364975707514459741817363489438768742400'-  comment: $\operatorname{PSp}_{8}(27)$. It has the same order as B_4(27).+  comment: $\operatorname{PSp}_{8}(27)$. It has the same order as $B_4(27)$. - params:     family: C
from line 2877 (5 lines) @@ -2877,5 +2877,5 @@ 
     q: '29'   number: '22119769862896408048724133628291257570336870021120000'-  comment: $\operatorname{PSp}_{8}(29)$. It has the same order as B_4(29).+  comment: $\operatorname{PSp}_{8}(29)$. It has the same order as $B_4(29)$. - params:     family: C
from line 2883 (5 lines) @@ -2883,5 +2883,5 @@ 
     q: '31'   number: '244083463361422012779034933072492792588283066449920000'-  comment: $\operatorname{PSp}_{8}(31)$. It has the same order as B_4(31).+  comment: $\operatorname{PSp}_{8}(31)$. It has the same order as $B_4(31)$. - params:     family: C
from line 2889 (5 lines) @@ -2889,5 +2889,5 @@ 
     q: '32'   number: '1530997501687627405126122348817151358825284103045120000'-  comment: $\operatorname{PSp}_{8}(32)$. It is isomorphic to the row B_4(32).+  comment: $\operatorname{PSp}_{8}(32)$. It is isomorphic to $B_4(32)$. - params:     family: C
from line 2895 (5 lines) @@ -2895,5 +2895,5 @@ 
     q: '2'   number: '24815256521932800'-  comment: $\operatorname{PSp}_{10}(2)$. It is isomorphic to the row B_5(2).+  comment: $\operatorname{PSp}_{10}(2)$. It is isomorphic to $B_5(2)$. - params:     family: C
from line 2901 (5 lines) @@ -2901,5 +2901,5 @@ 
     q: '3'   number: '76457792934119864313446400'-  comment: $\operatorname{PSp}_{10}(3)$. It has the same order as B_5(3).+  comment: $\operatorname{PSp}_{10}(3)$. It has the same order as $B_5(3)$. - params:     family: C
from line 2907 (5 lines) @@ -2907,5 +2907,5 @@ 
     q: '4'   number: '1211875293642881119668928512000000'-  comment: $\operatorname{PSp}_{10}(4)$. It is isomorphic to the row B_5(4).+  comment: $\operatorname{PSp}_{10}(4)$. It is isomorphic to $B_5(4)$. - params:     family: C
from line 2913 (5 lines) @@ -2913,5 +2913,5 @@ 
     q: '5'   number: '133004733151172695312500000000000000000'-  comment: $\operatorname{PSp}_{10}(5)$. It has the same order as B_5(5).+  comment: $\operatorname{PSp}_{10}(5)$. It has the same order as $B_5(5)$. - params:     family: C
from line 2919 (5 lines) @@ -2919,5 +2919,5 @@ 
     q: '7'   number: '14798669658041409826117343924395087366717440000'-  comment: $\operatorname{PSp}_{10}(7)$. It has the same order as B_5(7).+  comment: $\operatorname{PSp}_{10}(7)$. It has the same order as $B_5(7)$. - params:     family: C
from line 2925 (5 lines) @@ -2925,5 +2925,5 @@ 
     q: '8'   number: '46025883638628966977843321053405598530493271244800'-  comment: $\operatorname{PSp}_{10}(8)$. It is isomorphic to the row B_5(8).+  comment: $\operatorname{PSp}_{10}(8)$. It is isomorphic to $B_5(8)$. - params:     family: C
from line 2931 (5 lines) @@ -2931,5 +2931,5 @@ 
     q: '9'   number: '15026089310120671289900284876259193821694984192000000'-  comment: $\operatorname{PSp}_{10}(9)$. It has the same order as B_5(9).+  comment: $\operatorname{PSp}_{10}(9)$. It has the same order as $B_5(9)$. - params:     family: C
from line 2937 (5 lines) @@ -2937,5 +2937,5 @@ 
     q: '11'   number: '937418786164911875901760198515306718152048382728192000000'-  comment: $\operatorname{PSp}_{10}(11)$. It has the same order as B_5(11).+  comment: $\operatorname{PSp}_{10}(11)$. It has the same order as $B_5(11)$. - params:     family: C
from line 2943 (5 lines) @@ -2943,5 +2943,5 @@ 
     q: '13'   number: '9188860570307710474628238112477328146850668976080194001305600'-  comment: $\operatorname{PSp}_{10}(13)$. It has the same order as B_5(13).+  comment: $\operatorname{PSp}_{10}(13)$. It has the same order as $B_5(13)$. - params:     family: C
from line 2949 (5 lines) @@ -2949,5 +2949,5 @@ 
     q: '16'   number: '1678388937460460524297556430293328626538631062158778266812416000000'-  comment: $\operatorname{PSp}_{10}(16)$. It is isomorphic to the row B_5(16).+  comment: $\operatorname{PSp}_{10}(16)$. It is isomorphic to $B_5(16)$. - params:     family: C
from line 2955 (5 lines) @@ -2955,5 +2955,5 @@ 
     q: '17'   number: '23558634112868917944418552749579119586991566705088219629481466265600'-  comment: $\operatorname{PSp}_{10}(17)$. It has the same order as B_5(17).+  comment: $\operatorname{PSp}_{10}(17)$. It has the same order as $B_5(17)$. - params:     family: C
from line 2961 (5 lines) @@ -2961,5 +2961,5 @@ 
     q: '19'   number: '10695719721602786428448136642923322088779089074577145974877702144000000'-  comment: $\operatorname{PSp}_{10}(19)$. It has the same order as B_5(19).+  comment: $\operatorname{PSp}_{10}(19)$. It has the same order as $B_5(19)$. - params:     family: C
from line 2967 (5 lines) @@ -2967,5 +2967,5 @@ 
     q: '23'   number: '391902181471291888794273740554506550506152929419990611601331213316495769600'-  comment: $\operatorname{PSp}_{10}(23)$. It has the same order as B_5(23).+  comment: $\operatorname{PSp}_{10}(23)$. It has the same order as $B_5(23)$. - params:     family: C
from line 2973 (5 lines) @@ -2973,5 +2973,5 @@ 
     q: '25'   number: '38456870521911577431396736559815463796257972717285156250000000000000000000000'-  comment: $\operatorname{PSp}_{10}(25)$. It has the same order as B_5(25).+  comment: $\operatorname{PSp}_{10}(25)$. It has the same order as $B_5(25)$. - params:     family: C
from line 2979 (5 lines) @@ -2979,5 +2979,5 @@ 
     q: '27'   number: '2650818944899956067802190778019743601014601479770651695838879194678722373222400'-  comment: $\operatorname{PSp}_{10}(27)$. It has the same order as B_5(27).+  comment: $\operatorname{PSp}_{10}(27)$. It has the same order as $B_5(27)$. - params:     family: C
from line 2985 (5 lines) @@ -2985,5 +2985,5 @@ 
     q: '29'   number: '135002734187704535632201729953379621996626924798559120985157142065988294656000000'-  comment: $\operatorname{PSp}_{10}(29)$. It has the same order as B_5(29).+  comment: $\operatorname{PSp}_{10}(29)$. It has the same order as $B_5(29)$. - params:     family: C
from line 2991 (5 lines) @@ -2991,5 +2991,5 @@ 
     q: '31'   number: '5289450287985889965009626261985033584901469103699758058710433943745153990656000000'-  comment: $\operatorname{PSp}_{10}(31)$. It has the same order as B_5(31).+  comment: $\operatorname{PSp}_{10}(31)$. It has the same order as $B_5(31)$. - params:     family: C
from line 2997 (5 lines) @@ -2997,5 +2997,5 @@ 
     q: '32'   number: '60649059436319962888679456345490852764844975344688242273615436028699199479480320000'-  comment: $\operatorname{PSp}_{10}(32)$. It is isomorphic to the row B_5(32).+  comment: $\operatorname{PSp}_{10}(32)$. It is isomorphic to $B_5(32)$. - params:     family: C
from line 3003 (5 lines) @@ -3003,5 +3003,5 @@ 
     q: '2'   number: '208114637736580743168000'-  comment: $\operatorname{PSp}_{12}(2)$. It is isomorphic to the row B_6(2).+  comment: $\operatorname{PSp}_{12}(2)$. It is isomorphic to $B_6(2)$. - params:     family: C
from line 3009 (5 lines) @@ -3009,5 +3009,5 @@ 
     q: '3'   number: '7197966128645938515382156481789952000'-  comment: $\operatorname{PSp}_{12}(3)$. It has the same order as B_6(3).+  comment: $\operatorname{PSp}_{12}(3)$. It has the same order as $B_6(3)$. - params:     family: C
from line 3015 (5 lines) @@ -3015,5 +3015,5 @@ 
     q: '4'   number: '85278137430613949474674174708223909560320000000'-  comment: $\operatorname{PSp}_{12}(4)$. It is isomorphic to the row B_6(4).+  comment: $\operatorname{PSp}_{12}(4)$. It is isomorphic to $B_6(4)$. - params:     family: C
from line 3021 (5 lines) @@ -3021,5 +3021,5 @@ 
     q: '5'   number: '1585539968089882234636505126953125000000000000000000000'-  comment: $\operatorname{PSp}_{12}(5)$. It has the same order as B_6(5).+  comment: $\operatorname{PSp}_{12}(5)$. It has the same order as $B_6(5)$. - params:     family: C
from line 3027 (5 lines) @@ -3027,5 +3027,5 @@ 
     q: '7'   number: '405021050810995193742724745833742085838315883140458032922624000000'-  comment: $\operatorname{PSp}_{12}(7)$. It has the same order as B_6(7).+  comment: $\operatorname{PSp}_{12}(7)$. It has the same order as $B_6(7)$. - params:     family: C
from line 3033 (5 lines) @@ -3033,5 +3033,5 @@ 
     q: '8'   number: '27168886279544618607869530961362524544707830196725394137207827070976000'-  comment: $\operatorname{PSp}_{12}(8)$. It is isomorphic to the row B_6(8).+  comment: $\operatorname{PSp}_{12}(8)$. It is isomorphic to $B_6(8)$. - params:     family: C
from line 3039 (5 lines) @@ -3039,5 +3039,5 @@ 
     q: '9'   number: '133175299735499915203175849633922453238030221758644323033296865853440000000'-  comment: $\operatorname{PSp}_{12}(9)$. It has the same order as B_6(9).+  comment: $\operatorname{PSp}_{12}(9)$. It has the same order as $B_6(9)$. - params:     family: C
from line 3045 (5 lines) @@ -3045,5 +3045,5 @@ 
     q: '11'   number: '839393131727408930267620988492003501661249317147701539025004675056340336640000000'-  comment: $\operatorname{PSp}_{12}(11)$. It has the same order as B_6(11).+  comment: $\operatorname{PSp}_{12}(11)$. It has the same order as $B_6(11)$. - params:     family: C
from line 3051 (5 lines) @@ -3051,5 +3051,5 @@ 
     q: '13'   number: '383670815109652980246332248439178111116302782428219006043350431708975816125644537856000'-  comment: $\operatorname{PSp}_{12}(13)$. It has the same order as B_6(13).+  comment: $\operatorname{PSp}_{12}(13)$. It has the same order as $B_6(13)$. - params:     family: C
from line 3057 (5 lines) @@ -3057,5 +3057,5 @@ 
     q: '16'   number: '8310979468703771108537528083794026386358465449032982057891613992566755268526169841991680000000'-  comment: $\operatorname{PSp}_{12}(16)$. It is isomorphic to the row B_6(16).+  comment: $\operatorname{PSp}_{12}(16)$. It is isomorphic to $B_6(16)$. - params:     family: C
from line 3063 (5 lines) @@ -3063,5 +3063,5 @@ 
     q: '17'   number: '470408649858848895100349170813229891729130003831121959916888495154929694096584847145773826048000'-  comment: $\operatorname{PSp}_{12}(17)$. It has the same order as B_6(17).+  comment: $\operatorname{PSp}_{12}(17)$. It has the same order as $B_6(17)$. - params:     family: C
from line 3069 (5 lines) @@ -3069,5 +3069,5 @@ 
     q: '19'   number: '2757673436428135522372645065735257343172609090201649033916888632344613713697398694308018421760000000'-  comment: $\operatorname{PSp}_{12}(19)$. It has the same order as B_6(19).+  comment: $\operatorname{PSp}_{12}(19)$. It has the same order as $B_6(19)$. - params:     family: C
from line 3075 (5 lines) @@ -3075,5 +3075,5 @@ 
     q: '2'   number: '27930968965434591767112450048000'-  comment: $\operatorname{PSp}_{14}(2)$. It is isomorphic to the row B_7(2).+  comment: $\operatorname{PSp}_{14}(2)$. It is isomorphic to $B_7(2)$. - params:     family: C
from line 3081 (5 lines) @@ -3081,5 +3081,5 @@ 
     q: '3'   number: '54888780931741129517511777421088069718405808128000'-  comment: $\operatorname{PSp}_{14}(3)$. It has the same order as B_7(3).+  comment: $\operatorname{PSp}_{14}(3)$. It has the same order as $B_7(3)$. - params:     family: C
from line 3087 (5 lines) @@ -3087,5 +3087,5 @@ 
     q: '4'   number: '1536234346098532793158147848149455029037710018156586598400000000'-  comment: $\operatorname{PSp}_{14}(4)$. It is isomorphic to the row B_7(4).+  comment: $\operatorname{PSp}_{14}(4)$. It is isomorphic to $B_7(4)$. - params:     family: C
from line 3093 (5 lines) @@ -3093,5 +3093,5 @@ 
     q: '5'   number: '11813193319962228583281180423723757266998291015625000000000000000000000000'-  comment: $\operatorname{PSp}_{14}(5)$. It has the same order as B_7(5).+  comment: $\operatorname{PSp}_{14}(5)$. It has the same order as $B_7(5)$. - params:     family: C
from line 3099 (5 lines) @@ -3099,5 +3099,5 @@ 
     q: '7'   number: '26614890055712303810611389109508933955356333005237165504465100193504759973479972864000000'-  comment: $\operatorname{PSp}_{14}(7)$. It has the same order as B_7(7).+  comment: $\operatorname{PSp}_{14}(7)$. It has the same order as $B_7(7)$. - params:     family: C
from line 3105 (5 lines) @@ -3105,5 +3105,5 @@ 
     q: '8'   number: '65690336227015326045298498494020475427882747346095141977068940558532208284584177116972580864000'-  comment: $\operatorname{PSp}_{14}(8)$. It is isomorphic to the row B_7(8).+  comment: $\operatorname{PSp}_{14}(8)$. It is isomorphic to $B_7(8)$. - params:     family: C
from line 3111 (5 lines) @@ -3111,5 +3111,5 @@ 
     q: '9'   number: '7744108654920011979324923909347665431213391439419491165299064649384746247246188482825656729600000000'-  comment: $\operatorname{PSp}_{14}(9)$. It has the same order as B_7(9).+  comment: $\operatorname{PSp}_{14}(9)$. It has the same order as $B_7(9)$. - params:     family: C
from line 3117 (5 lines) @@ -3117,5 +3117,5 @@ 
     q: '2'   number: '59980383884075203672726385914533642240000'-  comment: $\operatorname{PSp}_{16}(2)$. It is isomorphic to the row B_8(2).+  comment: $\operatorname{PSp}_{16}(2)$. It is isomorphic to $B_8(2)$. - params:     family: C
from line 3123 (5 lines) @@ -3123,5 +3123,5 @@ 
     q: '3'   number: '33903338948400079408255624011057141081545622145957207600005120000'-  comment: $\operatorname{PSp}_{16}(3)$. It has the same order as B_8(3).+  comment: $\operatorname{PSp}_{16}(3)$. It has the same order as $B_8(3)$. - params:     family: C
from line 3129 (5 lines) @@ -3129,5 +3129,5 @@ 
     q: '4'   number: '7084630453281025440882493116981310890142026281589018852388680249504694272000000000'-  comment: $\operatorname{PSp}_{16}(4)$. It is isomorphic to the row B_8(4).+  comment: $\operatorname{PSp}_{16}(4)$. It is isomorphic to $B_8(4)$. - params:     family: C
from line 3135 (5 lines) @@ -3135,5 +3135,5 @@ 
     q: '5'   number: '55009468085527464931548926804588948017793591134250164031982421875000000000000000000000000000000'-  comment: $\operatorname{PSp}_{16}(5)$. It has the same order as B_8(5).+  comment: $\operatorname{PSp}_{16}(5)$. It has the same order as $B_8(5)$. - params:     family: C
from line 3141 (5 lines) @@ -3141,5 +3141,5 @@ 
     q: '2'   number: '2060902435720151186326095525680721766346957783040000'-  comment: $\operatorname{PSp}_{18}(2)$. It is isomorphic to the row B_9(2).+  comment: $\operatorname{PSp}_{18}(2)$. It is isomorphic to $B_9(2)$. - params:     family: C
from line 3147 (5 lines) @@ -3147,5 +3147,5 @@ 
     q: '3'   number: '1696236427225269155090375760411251179334887189694336363831149367959580080865280000'-  comment: $\operatorname{PSp}_{18}(3)$. It has the same order as B_9(3).+  comment: $\operatorname{PSp}_{18}(3)$. It has the same order as $B_9(3)$. - params:     family: C
from line 3153 (5 lines) @@ -3153,5 +3153,5 @@ 
     q: '2'   number: '1132992015386677099994486205757869431795095310094129168384000000'-  comment: $\operatorname{PSp}_{20}(2)$. It is isomorphic to the row B_10(2).+  comment: $\operatorname{PSp}_{20}(2)$. It is isomorphic to $B_10(2)$. - params:     family: C
from line 3159 (5 lines) @@ -3159,5 +3159,5 @@ 
     q: '3'   number: '6874091671918792003325931177529578096673994806453348958512079904447320981049205058119762182144000000'-  comment: $\operatorname{PSp}_{20}(3)$. It has the same order as B_10(3).+  comment: $\operatorname{PSp}_{20}(3)$. It has the same order as $B_10(3)$. - params:     family: C
from line 3165 (5 lines) @@ -3165,5 +3165,5 @@ 
     q: '2'   number: '9965900784703658358028471582104169283870185004809555811165570548629504000000'-  comment: $\operatorname{PSp}_{22}(2)$. It is isomorphic to the row B_11(2).+  comment: $\operatorname{PSp}_{22}(2)$. It is isomorphic to $B_11(2)$. - params:     family: C
from line 3171 (5 lines) @@ -3171,5 +3171,5 @@ 
     q: '2'   number: '1402575762037550245974927108561766348252867730943485007822736244380743658751530106880000000'-  comment: $\operatorname{PSp}_{24}(2)$. It is isomorphic to the row B_12(2).+  comment: $\operatorname{PSp}_{24}(2)$. It is isomorphic to $B_12(2)$. - params:     family: D

Sign in to restore an earlier version.



API Python package Skill for AI Privacy Legal notice Source
Data licensed CC BY-SA 4.0. No tracking, no analytics, essential cookies only.