> load "GENUS/Genus13.mgm";
Loading "GENUS/Genus13.mgm"
<6.091, 27, 9, G>
<6.829, 27, 9, I>
<6.72, 27, 9, S>
<1.719, 28, 5, G>
<2.39, 28, 5, I>
<2.32, 28, 5, S>
<1.101, 30, 3, G>
<1.479, 30, 3, I>
<1.451, 30, 3, S>
<1.43, 32, 2, G>
<2.271, 32, 2, I>
<2.259, 32, 2, S>
<1.64, 32, 2, G>
<2.371, 32, 2, I>
<2.361, 32, 2, S>
<0.37, 36, 1, G>
<0.52, 36, 1, I>
<0.489, 36, 1, S>
<1.03, 36, 1, G>
<1.161, 36, 1, I>
<1.139, 36, 1, S>
<1.231, 36, 2, G>
<1.519, 36, 2, I>
<1.49, 36, 2, S>
<7.211, 36, 3, G>
<7.921, 36, 3, I>
<7.881, 36, 3, S>
<0.5, 39, 1, G>
<0.449, 39, 1, I>
<0.42, 39, 1, S>
<0.59, 40, 1, G>
<1.259, 40, 1, I>
<1.25, 40, 1, S>
<0.48, 42, 1, G>
<0.68, 42, 1, I>
<0.649, 42, 1, S>
<1.921, 45, 1, G>
<1.779, 45, 1, I>
<1.75, 45, 1, S>
<1.449, 48, 1, G>
<2.74, 48, 1, I>
<2.76, 48, 1, S>
<1.46, 48, 1, G>
<2.72, 48, 1, I>
<2.719, 48, 1, S>
<1.791, 48, 1, G>
<4.131, 48, 1, I>
<4.141, 48, 1, S>
<2.28, 48, 1, G>
<3.579, 48, 1, I>
<3.579, 48, 1, S>
<5.509, 48, 3, G>
<6.9, 48, 3, I>
<6.859, 48, 3, S>
<0.93, 52, 1, G>
<1.71, 52, 1, I>
<1.669, 52, 1, S>
<19.161, 52, 1, G>
<19.98, 52, 1, I>
<19.97, 52, 1, S>
<0.94, 54, 1, G>
<1.809, 54, 1, I>
<1.78, 54, 1, S>
<1.33, 56, 1, G>
<3.451, 56, 1, I>
<3.359, 56, 1, S>
<24.789, 56, 1, G>
<26.269, 56, 1, I>
<26.07, 56, 1, S>
<3.36, 60, 1, G>
<7.189, 60, 1, I>
<7.211, 60, 1, S>
<4.439, 64, 1, G>
<10, 64, 1, I>
<9.82, 64, 1, S>
<4.52, 64, 1, G>
<7.899, 64, 1, I>
<7.92, 64, 1, S>
<6.65, 64, 2, G>
<15.25, 64, 2, I>
<15.22, 64, 2, S>
<15.779, 64, 2, G>
<32.361, 64, 2, I>
<31.889, 64, 2, S>
<21.31, 64, 4, G>
<35.539, 64, 4, I>
<35.439, 64, 4, S>
<10.439, 64, 1, G>
<13.051, 64, 1, I>
<12.981, 64, 1, S>
<12.9, 64, 2, G>
<21.819, 64, 2, I>
<21.729, 64, 2, S>
<26.811, 64, 1, G>
<31.359, 64, 1, I>
<31.111, 64, 1, S>
<7.74, 64, 2, G>
<25.089, 64, 2, I>
<24.8, 64, 2, S>
<19.75, 64, 4, G>
<37.149, 64, 4, I>
<36.78, 64, 4, S>
<12.12, 72, 1, G>
<23.98, 72, 1, I>
<23.92, 72, 1, S>
<6.259, 72, 2, G>
<18.51, 72, 2, I>
<18.461, 72, 2, S>
<3.819, 72, 1, G>
<8.561, 72, 1, I>
<8.5, 72, 1, S>
<2.289, 72, 1, G>
<7.339, 72, 1, I>
<7.29, 72, 1, S>
<4.421, 72, 1, G>
<11.411, 72, 1, I>
<11.36, 72, 1, S>
<21.3, 72, 3, G>
<36.011, 72, 3, I>
<36.01, 72, 3, S>
<13.69, 72, 1, G>
<23.039, 72, 1, I>
<22.97, 72, 1, S>
<17.1, 78, 1, G>
<27.301, 78, 1, I>
<27.149, 78, 1, S>
<18.75, 90, 1, G>
<36.09, 90, 1, I>
<35.92, 90, 1, S>
<17.13, 96, 1, G>
<22.301, 96, 1, I>
<22.269, 96, 1, S>
<16.989, 96, 1, G>
<22.451, 96, 1, I>
<22.47, 96, 1, S>
<17.25, 96, 1, G>
<32.579, 96, 1, I>
<32.56, 96, 1, S>
<66.221, 104, 1, G>
<116.97, 104, 1, I>
<117.479, 104, 1, S>
<85.55, 112, 1, G>
<162.139, 112, 1, I>
<160.881, 112, 1, S>
<9.92, 120, 1, G>
<57.019, 120, 1, I>
<56.511, 120, 1, S>
<25.471, 128, 1, G>
<67.809, 128, 1, I>
<67.67, 128, 1, S>
<52.829, 128, 1, G>
<113.76, 128, 1, I>
<112.3, 128, 1, S>
<32.411, 144, 1, G>
<118.101, 144, 1, I>
<117.989, 144, 1, S>
<56.93, 144, 1, G>
<85.869, 144, 1, I>
<87, 144, 1, S>
<32.801, 180, 1, G>
<82.159, 180, 1, I>
<82.771, 180, 1, S>
<126.319, 288, 1, G>
<582.721, 288, 1, I>
<581.13, 288, 1, S>
<221.36, 360, 1, G>
<1600.56, 360, 1, I>
<1600.161, 360, 1, S>
>  UnsetLogFile();