Magma V2.27-4     Tue Jan 28 2025 12:56:48 on socrates [Seed = 2490025232]

+-------------------------------------------------------------------+
|       This copy of Magma has been made available through a        |
|                   generous initiative of the                      |
|                                                                   |
|                         Simons Foundation                         |
|                                                                   |
| covering U.S. Colleges, Universities, Nonprofit Research entities,|
|               and their students, faculty, and staff              |
+-------------------------------------------------------------------+

Type ? for help.  Type <Ctrl>-D to quit.

Loading file "CreateDatabase.mag"
Loading "utils/CountingInvariants.mag"
Loading "utils/NumberFieldBounds.mag"
Loading "utils/InitializeDatabase.mag"
Loading "utils/GroupConstructions.mag"
Loading "utils/Comparing_Orderings.mag"
Loading "utils/Pontryagin_Dual_Class_Group_Bounds.mag"

Initializing database with degrees up to 23
....Done.

Loading "utils/ConjectureIsKnown.mag"
Loading "utils/InductiveCounting.mag"
Working on pass 1 of 3
....Considering groups of degree 2
........ 100 %
....Considering groups of degree 3
........ 50 %
........ 100 %
....Considering groups of degree 4
........ 20 %
........ 40 %
........ 60 %
........ 80 %
........ 100 %
....Considering groups of degree 5
........ 20 %
........ 40 %
........ 60 %
........ 80 %
........ 100 %
....Considering groups of degree 6
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 7
........ 10 %
........ 20 %
........ 40 %
........ 50 %
........ 70 %
........ 80 %
........ 100 %
....Considering groups of degree 8
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 9
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 10
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 11
........ 10 %
........ 20 %
........ 30 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 100 %
....Considering groups of degree 12
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 13
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 100 %
....Considering groups of degree 14
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 15
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 16
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 17
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 18
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 19
........ 10 %
........ 20 %
........ 30 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 100 %
....Considering groups of degree 20
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 21
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 22
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 23
........ 10 %
........ 20 %
........ 40 %
........ 50 %
........ 70 %
........ 80 %
........ 100 %
Working on pass 2 of 3
....Considering groups of degree 2
........ 100 %
....Considering groups of degree 3
........ 50 %
........ 100 %
....Considering groups of degree 4
........ 20 %
........ 40 %
........ 60 %
........ 80 %
........ 100 %
....Considering groups of degree 5
........ 20 %
........ 40 %
........ 60 %
........ 80 %
........ 100 %
....Considering groups of degree 6
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 7
........ 10 %
........ 20 %
........ 40 %
........ 50 %
........ 70 %
........ 80 %
........ 100 %
....Considering groups of degree 8
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 9
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 10
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 11
........ 10 %
........ 20 %
........ 30 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 100 %
....Considering groups of degree 12
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 13
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 100 %
....Considering groups of degree 14
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 15
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 16
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 17
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 18
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 19
........ 10 %
........ 20 %
........ 30 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 100 %
....Considering groups of degree 20
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 21
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 22
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 23
........ 10 %
........ 20 %
........ 40 %
........ 50 %
........ 70 %
........ 80 %
........ 100 %
Working on pass 3 of 3
....Considering groups of degree 2
........ 100 %
....Considering groups of degree 3
........ 50 %
........ 100 %
....Considering groups of degree 4
........ 20 %
........ 40 %
........ 60 %
........ 80 %
........ 100 %
....Considering groups of degree 5
........ 20 %
........ 40 %
........ 60 %
........ 80 %
........ 100 %
....Considering groups of degree 6
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 7
........ 10 %
........ 20 %
........ 40 %
........ 50 %
........ 70 %
........ 80 %
........ 100 %
....Considering groups of degree 8
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 9
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 10
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 11
........ 10 %
........ 20 %
........ 30 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 100 %
....Considering groups of degree 12
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 13
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 100 %
....Considering groups of degree 14
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 15
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 16
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 17
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 18
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 19
........ 10 %
........ 20 %
........ 30 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 100 %
....Considering groups of degree 20
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 21
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 22
........ 10 %
........ 20 %
........ 30 %
........ 40 %
........ 50 %
........ 60 %
........ 70 %
........ 80 %
........ 90 %
........ 100 %
....Considering groups of degree 23
........ 10 %
........ 20 %
........ 40 %
........ 50 %
........ 70 %
........ 80 %
........ 100 %

Total time: 10297.920 seconds, Total memory usage: 54076.38MB