Files of https://ispacex.github.io/gap/data.html (generated by src/build.py from src/facts.py).

desc_vs_sg.g: descendants against SmallGroups (set P, N) [checks.html#smallgroups]
coords.g: descendants of three other presentations of each group [finding 1]
gen_codes.g: the fixed list of copies (order, id, pc code) [finding 1]
codes.txt: the fixed list of copies (order, id, pc code) [finding 1]
check_codes.g: the copies against SmallGroups, and the outputs on master and with the fix [finding 1]
check_codes_master.txt: the copies against SmallGroups, and the outputs on master and with the fix [finding 1]
check_codes_fixed.txt: the copies against SmallGroups, and the outputs on master and with the fix [finding 1]
spcheck.g: standard presentations as an isomorphism key [checks.html#sp]
ds_children.g: pq2048 children built in GAP (needs dimension-subrings/compute) [finding 1]
pcgs_automorphisms.g: 136 against 161 descendants of C_2^2; the insoluble case C_2^3 [finding 10]
exponent_reduced_list.g: orders with and without supplied automorphisms, 19 cases [finding 11]
exponent_queue.g: GAP: GL(7,2) with exponent 2 (repeat it, the outcome varies); standalone input for an ASan build [finding 12]
exponent_queue_standalone.pq: GAP: GL(7,2) with exponent 2 (repeat it, the outcome varies); standalone input for an ASan build [finding 12]
gl_order.g: the glOrder printed for (C_{101})^2 [finding 13]
epimorphism_non_pgroup.g: cases A–F: homomorphism and surjectivity of both maps [finding 14]
step_size.g: (a) step size above the nuclear rank, (b) temporary directory, (c) group name with _ [finding 15]
sp_tmpdir.g: (a) step size above the nuclear rank, (b) temporary directory, (c) group name with _ [finding 15]
group_name.g: (a) step size above the nuclear rank, (b) temporary directory, (c) group name with _ [finding 15]
prime_bound.g: p = 32749 against p = 32771; standalone input with p = 9 (hangs on master) [finding 16]
composite_prime.in: p = 32749 against p = 32771; standalone input with p = 9 (hangs on master) [finding 16]
pc_generator_limit.g: GAP, 50 ms; the same for the standalone pq (needs -s 400000000) [finding 17]
free361.in: GAP, 50 ms; the same for the standalone pq (needs -s 400000000) [finding 17]
commutator_workspace.g: 2^6 against 2^7 at PqWorkspace := 210 [finding 18]
sp_pquotient.g: one wrong standard presentation and one crash, order 64 [finding 19]
gmp_separator.g: descendants of C_{53} and C_{53}^2 [finding 20]
stabiliser_space.g: a copy of SmallGroup(256, 1325); run with an ASan build of master [finding 21]
degree_overflow.g: a group of rank 6 and order 2^9 whose standard presentation overflows [finding 22]
relative_orders_gap.g: relativeOrders against the number of automorphisms of descendants [finding 23]
stabiliser_relative.g: soluble generators against automorphisms of descendants [finding 24]
tiny_workspace.in: open item: a tiny workspace, standalone (pq -s N) and through GAP [open.html]
tiny_workspace.g: open item: a tiny workspace, standalone (pq -s N) and through GAP [open.html]
non_homogeneous.g: refuted: a non-homogeneous relation handed to PqEchelonise [open.html#refuted]
pq_killed.g: refuted: an outside kill of pq gives the error of the order-64 run [open.html#refuted]