> load "GENUS/Genus12.mgm";
Loading "GENUS/Genus12.mgm"
<15.13, 25, 15, G>
<15.989, 25, 15, I>
<15.92, 25, 15, S>
<5.25, 26, 11, G>
<6.57, 26, 11, I>
<6.49, 26, 11, S>
<2.659, 27, 6, G>
<2.769, 27, 6, I>
<2.689, 27, 6, S>
<8.489, 28, 5, G>
<10.321, 28, 5, I>
<10.259, 28, 5, S>
<1.65, 28, 5, G>
<2.2, 28, 5, I>
<2.12, 28, 5, S>
<2.729, 30, 3, G>
<3.551, 30, 3, I>
<3.519, 30, 3, S>
<0.74, 30, 3, G>
<1.09, 30, 3, I>
<1.05, 30, 3, S>
<0.24, 30, 1, G>
<0.35, 30, 1, I>
<0.349, 30, 1, S>
<0.66, 32, 2, G>
<0.881, 32, 2, I>
<0.86, 32, 2, S>
<0.401, 35, 1, G>
<0.389, 35, 1, I>
<0.361, 35, 1, S>
<0.741, 36, 2, G>
<1.039, 36, 2, I>
<1.001, 36, 2, S>
<0.341, 36, 1, G>
<0.479, 36, 1, I>
<0.47, 36, 1, S>
<3.109, 36, 2, G>
<3.6, 36, 2, I>
<3.58, 36, 2, S>
<0.5, 39, 1, G>
<0.449, 39, 1, I>
<0.42, 39, 1, S>
<0.6, 40, 1, G>
<1.6, 40, 1, I>
<1.579, 40, 1, S>
<0.96, 40, 1, G>
<1.1, 40, 1, I>
<1.08, 40, 1, S>
<0.669, 42, 1, G>
<1.2, 42, 1, I>
<1.18, 42, 1, S>
<3.629, 42, 1, G>
<4.729, 42, 1, I>
<4.73, 42, 1, S>
<0.689, 48, 1, G>
<0.93, 48, 1, I>
<0.889, 48, 1, S>
<11.12, 48, 1, G>
<11.221, 48, 1, I>
<11.191, 48, 1, S>
<2.429, 48, 1, G>
<3.14, 48, 1, I>
<3.129, 48, 1, S>
<2.33, 48, 1, G>
<2.359, 48, 1, I>
<2.34, 48, 1, S>
<0.811, 50, 1, G>
<1.07, 50, 1, I>
<1.03, 50, 1, S>
<1.349, 52, 1, G>
<3.099, 52, 1, I>
<3.04, 52, 1, S>
<19.079, 52, 1, G>
<19.851, 52, 1, I>
<19.829, 52, 1, S>
<1.68, 56, 1, G>
<4.5, 56, 1, I>
<4.46, 56, 1, S>
<2.189, 60, 1, G>
<5.969, 60, 1, I>
<6.031, 60, 1, S>
<2.43, 60, 1, G>
<4.099, 60, 1, I>
<4.05, 60, 1, S>
<18.48, 80, 1, G>
<39.21, 80, 1, I>
<39.081, 80, 1, S>
<16.829, 84, 1, G>
<47.01, 84, 1, I>
<45.78, 84, 1, S>
<39.061, 96, 1, G>
<76.659, 96, 1, I>
<76.24, 96, 1, S>
<65.36, 104, 1, G>
<120.53, 104, 1, I>
<120.45, 104, 1, S>
<40.119, 120, 1, G>
<93.3, 120, 1, I>
<95.211, 120, 1, S>
> UnsetLogFile();