/////////////////////////////////////////////////////////////////////// // // Table of deg(phi_E) and r(E) = congruence_modulus(E) for each optimal // elliptic curve E/Q of conductor up to 539. // // William A. Stein (April 26, 2000) // // FORMAT OF TABLE: // // For each integer N<=539 for which there is an elliptic curve of // conductor N there are two entries "dat" and "ker". The first // entry "dat" gives an ordered list of triples // // [dimension (always 1), deg(phi_E), congruence_modulus(E)] // // Because this table contains only information about elliptic curves, // the "ker" entry can be completely ignored; it contains the structure // of the kernel of the modular polarization and of the congruence // modulus group, both of which are determined by deg(phi) and // the congruence modulus, respectively. Tables with complete data // for all newform optimal quotients will be forthcoming. // // The construction of this table was inspired by the question // // "Does r = deg(phi)?" // // The answer is a resounding "no"; the first counterexample appears at // level 54. // // The author greatly appreciates the help of Amod Agashe in constructing // this table. // // NOTE: The timings should *not* be taken seriously. // /////////////////////////////////////////////////////////////////////// dat := [* *]; ker := [* *]; for i in [1..540] do Append(~dat,[]); Append(~ker,[]); end for; // Level 1 // Level 2 // Level 3 // Level 4 // Level 5 // Level 6 // Level 7 // Level 8 // Level 9 // Level 10 // Level 11 dat[11] := [ [ 1, 1, 1 ] ]; ker[11] := [ <[], []> ]; // time = 0.219 second (don't take these seriously, as // parts of the table were computed on diff. machines.) // Level 12 // Level 13 // Level 14 dat[14] := [ [ 1, 1, 1 ] ]; ker[14] := [ <[], []> ]; // time = 0.821 second // Level 15 dat[15] := [ [ 1, 1, 1 ] ]; ker[15] := [ <[], []> ]; // time = 0.839 second // Level 16 // Level 17 dat[17] := [ [ 1, 1, 1 ] ]; ker[17] := [ <[], []> ]; // time = 0.131 second // Level 18 // Level 19 dat[19] := [ [ 1, 1, 1 ] ]; ker[19] := [ <[], []> ]; // time = 0.139 second // Level 20 dat[20] := [ [ 1, 1, 1 ] ]; ker[20] := [ <[], []> ]; // time = 1.34 second // Level 21 dat[21] := [ [ 1, 1, 1 ] ]; ker[21] := [ <[], []> ]; // time = 0.941 second // Level 22 // Level 23 // Level 24 dat[24] := [ [ 1, 1, 1 ] ]; ker[24] := [ <[], []> ]; // time = 1.679 second // Level 25 // Level 26 dat[26] := [ [ 1, 2, 2 ], [ 1, 2, 2 ] ]; ker[26] := [ <[ 2, 2 ], [ 2 ]>, <[ 2, 2 ], [ 2 ]> ]; // time = 1.869 second // Level 27 dat[27] := [ [ 1, 1, 1 ] ]; ker[27] := [ <[], []> ]; // time = 0.73 second // Level 28 // Level 29 // Level 30 dat[30] := [ [ 1, 2, 2 ] ]; ker[30] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 4.441 second // Level 31 // Level 32 dat[32] := [ [ 1, 1, 1 ] ]; ker[32] := [ <[], []> ]; // time = 0.94 second // Level 33 dat[33] := [ [ 1, 3, 3 ] ]; ker[33] := [ <[ 3, 3 ], [ 3 ]> ]; // time = 2.089 second // Level 34 dat[34] := [ [ 1, 2, 2 ] ]; ker[34] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 2.149 second // Level 35 dat[35] := [ [ 1, 2, 2 ] ]; ker[35] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 1.629 second // Level 36 dat[36] := [ [ 1, 1, 1 ] ]; ker[36] := [ <[], []> ]; // time = 2.46 second // Level 37 dat[37] := [ [ 1, 2, 2 ], [ 1, 2, 2 ] ]; ker[37] := [ <[ 2, 2 ], [ 2 ]>, <[ 2, 2 ], [ 2 ]> ]; // time = 0.661 second // Level 38 dat[38] := [ [ 1, 6, 6 ], [ 1, 2, 2 ] ]; ker[38] := [ <[ 6, 6 ], [ 6 ]>, <[ 2, 2 ], [ 2 ]> ]; // time = 2.989 second // Level 39 dat[39] := [ [ 1, 2, 2 ] ]; ker[39] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 1.82 second // Level 40 dat[40] := [ [ 1, 2, 2 ] ]; ker[40] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 3.99 second // Level 41 // Level 42 dat[42] := [ [ 1, 4, 4 ] ]; ker[42] := [ <[ 4, 4 ], [ 4 ]> ]; // time = 6.75 second // Level 43 dat[43] := [ [ 1, 2, 2 ] ]; ker[43] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 0.539 second // Level 44 dat[44] := [ [ 1, 2, 2 ] ]; ker[44] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 4.729 second // Level 45 dat[45] := [ [ 1, 2, 2 ] ]; ker[45] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 3.521 second // Level 46 dat[46] := [ [ 1, 5, 5 ] ]; ker[46] := [ <[ 5, 5 ], [ 5 ]> ]; // time = 3.301 second // Level 47 // Level 48 dat[48] := [ [ 1, 2, 2 ] ]; ker[48] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 5.59 second // Level 49 dat[49] := [ [ 1, 1, 1 ] ]; ker[49] := [ <[], []> ]; // time = 0.87 second // Level 50 dat[50] := [ [ 1, 2, 2 ], [ 1, 2, 2 ] ]; ker[50] := [ <[ 2, 2 ], [ 2 ]>, <[ 2, 2 ], [ 2 ]> ]; // time = 3.421 second // Level 51 dat[51] := [ [ 1, 2, 2 ] ]; ker[51] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 2.9 second // Level 52 dat[52] := [ [ 1, 3, 3 ] ]; ker[52] := [ <[ 3, 3 ], [ 3 ]> ]; // time = 4.799 second // Level 53 dat[53] := [ [ 1, 2, 2 ] ]; ker[53] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 0.659 second // Level 54 dat[54] := [ [ 1, 6, 6 ], [ 1, 2, 6 ] ]; ker[54] := [ <[ 6, 6 ], [ 6 ]>, <[ 2, 2 ], [ 6 ]> ]; // time = 5.719 second // Level 55 dat[55] := [ [ 1, 2, 2 ] ]; ker[55] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 2.861 second // Level 56 dat[56] := [ [ 1, 4, 4 ], [ 1, 2, 2 ] ]; ker[56] := [ <[ 4, 4 ], [ 4 ]>, <[ 2, 2 ], [ 2 ]> ]; // time = 7.631 second // Level 57 dat[57] := [ [ 1, 4, 4 ], [ 1, 3, 3 ], [ 1, 12, 12 ] ]; ker[57] := [ <[ 4, 4 ], [ 4 ]>, <[ 3, 3 ], [ 3 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 4.921 second // Level 58 dat[58] := [ [ 1, 4, 4 ], [ 1, 4, 4 ] ]; ker[58] := [ <[ 4, 4 ], [ 4 ]>, <[ 4, 4 ], [ 4 ]> ]; // time = 4.459 second // Level 59 // Level 60 // Level 61 dat[61] := [ [ 1, 2, 2 ] ]; ker[61] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 0.7 second // Level 62 dat[62] := [ [ 1, 2, 2 ] ]; ker[62] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 4.149 second // Level 63 dat[63] := [ [ 1, 4, 4 ] ]; ker[63] := [ <[ 4, 4 ], [ 4 ]> ]; // time = 4.61 second // Level 64 dat[64] := [ [ 1, 2, 4 ] ]; ker[64] := [ <[ 2, 2 ], [ 4 ]> ]; // time = 3.11 second // Level 65 dat[65] := [ [ 1, 2, 2 ] ]; ker[65] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 2.59 second // Level 66 dat[66] := [ [ 1, 4, 4 ], [ 1, 4, 4 ], [ 1, 20, 20 ] ]; ker[66] := [ <[ 4, 4 ], [ 4 ]>, <[ 4, 4 ], [ 4 ]>, <[ 20, 20 ], [ 20 ]> ]; // time = 14.82 second // Level 67 dat[67] := [ [ 1, 5, 5 ] ]; ker[67] := [ <[ 5, 5 ], [ 5 ]> ]; // time = 0.829 second // Level 68 // Level 69 dat[69] := [ [ 1, 2, 2 ] ]; ker[69] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 4.1 second // Level 70 dat[70] := [ [ 1, 4, 4 ] ]; ker[70] := [ <[ 4, 4 ], [ 4 ]> ]; // time = 9.739 second // Level 71 // Level 72 dat[72] := [ [ 1, 4, 8 ] ]; ker[72] := [ <[ 4, 4 ], [ 8 ]> ]; // time = 10.139 second // Level 73 dat[73] := [ [ 1, 3, 3 ] ]; ker[73] := [ <[ 3, 3 ], [ 3 ]> ]; // time = 0.909 second // Level 74 // Level 75 dat[75] := [ [ 1, 6, 6 ], [ 1, 6, 6 ], [ 1, 6, 6 ] ]; ker[75] := [ <[ 6, 6 ], [ 6 ]>, <[ 6, 6 ], [ 6 ]>, <[ 6, 6 ], [ 6 ]> ]; // time = 7.491 second // Level 76 dat[76] := [ [ 1, 6, 6 ] ]; ker[76] := [ <[ 6, 6 ], [ 6 ]> ]; // time = 8.471 second // Level 77 dat[77] := [ [ 1, 4, 4 ], [ 1, 6, 6 ], [ 1, 20, 20 ] ]; ker[77] := [ <[ 4, 4 ], [ 4 ]>, <[ 6, 6 ], [ 6 ]>, <[ 20, 20 ], [ 20 ]> ]; // time = 6.64 second // Level 78 dat[78] := [ [ 1, 40, 40 ] ]; ker[78] := [ <[ 40, 40 ], [ 40 ]> ]; // time = 12.341 second // Level 79 dat[79] := [ [ 1, 2, 2 ] ]; ker[79] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 0.979 second // Level 80 dat[80] := [ [ 1, 4, 8 ], [ 1, 4, 4 ] ]; ker[80] := [ <[ 4, 4 ], [ 8 ]>, <[ 4, 4 ], [ 4 ]> ]; // time = 12.021 second // Level 81 // Level 82 dat[82] := [ [ 1, 4, 4 ] ]; ker[82] := [ <[ 4, 4 ], [ 4 ]> ]; // time = 5.81 second // Level 83 dat[83] := [ [ 1, 2, 2 ] ]; ker[83] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 1.091 second // Level 84 dat[84] := [ [ 1, 6, 6 ], [ 1, 6, 6 ] ]; ker[84] := [ <[ 6, 6 ], [ 6 ]>, <[ 6, 6 ], [ 6 ]> ]; // time = 26.101 second // Level 85 dat[85] := [ [ 1, 4, 4 ] ]; ker[85] := [ <[ 4, 4 ], [ 4 ]> ]; // time = 4.07 second // Level 86 // Level 87 // Level 88 dat[88] := [ [ 1, 8, 16 ] ]; ker[88] := [ <[ 8, 8 ], [ 16 ]> ]; // time = 11.58 second // Level 89 dat[89] := [ [ 1, 2, 2 ], [ 1, 5, 5 ] ]; ker[89] := [ <[ 2, 2 ], [ 2 ]>, <[ 5, 5 ], [ 5 ]> ]; // time = 2.189 second // Level 90 dat[90] := [ [ 1, 8, 8 ], [ 1, 8, 8 ], [ 1, 16, 16 ] ]; ker[90] := [ <[ 8, 8 ], [ 8 ]>, <[ 8, 8 ], [ 8 ]>, <[ 16, 16 ], [ 16 ]> ]; // time = 29.86 second // Level 91 dat[91] := [ [ 1, 4, 4 ], [ 1, 4, 4 ] ]; ker[91] := [ <[ 4, 4 ], [ 4 ]>, <[ 4, 4 ], [ 4 ]> ]; // time = 4.581 second // Level 92 dat[92] := [ [ 1, 2, 2 ], [ 1, 6, 12 ] ]; ker[92] := [ <[ 2, 2 ], [ 2 ]>, <[ 6, 6 ], [ 12 ]> ]; // time = 12.549 second // Level 93 // Level 94 dat[94] := [ [ 1, 2, 2 ] ]; ker[94] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 7.18 second // Level 95 // Level 96 dat[96] := [ [ 1, 4, 8 ], [ 1, 4, 8 ] ]; ker[96] := [ <[ 4, 4 ], [ 8 ]>, <[ 4, 4 ], [ 8 ]> ]; // time = 18.899 second // Level 97 // Level 98 dat[98] := [ [ 1, 16, 16 ] ]; ker[98] := [ <[ 16, 16 ], [ 16 ]> ]; // time = 8.79 second // Level 99 dat[99] := [ [ 1, 4, 12 ], [ 1, 12, 12 ], [ 1, 12, 12 ], [ 1, 6, 6 ] ]; ker[99] := [ <[ 4, 4 ], [ 12 ]>, <[ 12, 12 ], [ 12 ]>, <[ 12, 12 ], [ 12 ]>, <[ 6, 6 ], [ 6 ]> ]; // time = 14.579 second // Level 100 dat[100] := [ [ 1, 12, 12 ] ]; ker[100] := [ <[ 12, 12 ], [ 12 ]> ]; // time = 11.391 second // Level 101 dat[101] := [ [ 1, 2, 2 ] ]; ker[101] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 1.339 second // Level 102 dat[102] := [ [ 1, 8, 8 ], [ 1, 24, 24 ], [ 1, 16, 16 ] ]; ker[102] := [ <[ 8, 8 ], [ 8 ]>, <[ 24, 24 ], [ 24 ]>, <[ 16, 16 ], [ 16 ]> ]; // time = 25.571 second // Level 103 // Level 104 dat[104] := [ [ 1, 8, 8 ] ]; ker[104] := [ <[ 8, 8 ], [ 8 ]> ]; // time = 13.61 second // Level 105 dat[105] := [ [ 1, 4, 4 ] ]; ker[105] := [ <[ 4, 4 ], [ 4 ]> ]; // time = 15.099 second // Level 106 dat[106] := [ [ 1, 8, 8 ], [ 1, 10, 10 ], [ 1, 48, 48 ], [ 1, 6, 6 ] ]; ker[106] := [ <[ 8, 8 ], [ 8 ]>, <[ 10, 10 ], [ 10 ]>, <[ 48, 48 ], [ 48 ]>, <[ 6, 6 ], [ 6 ]> ]; // time = 12.859 second // Level 107 // Level 108 dat[108] := [ [ 1, 6, 18 ] ]; ker[108] := [ <[ 6, 6 ], [ 18 ]> ]; // time = 19.779 second // Level 109 dat[109] := [ [ 1, 4, 4 ] ]; ker[109] := [ <[ 4, 4 ], [ 4 ]> ]; // time = 1.529 second // Level 110 dat[110] := [ [ 1, 28, 28 ], [ 1, 4, 4 ], [ 1, 20, 20 ] ]; ker[110] := [ <[ 28, 28 ], [ 28 ]>, <[ 4, 4 ], [ 4 ]>, <[ 20, 20 ], [ 20 ]> ]; // time = 27.15 second // Level 111 // Level 112 dat[112] := [ [ 1, 8, 16 ], [ 1, 4, 8 ], [ 1, 8, 16 ] ]; ker[112] := [ <[ 8, 8 ], [ 16 ]>, <[ 4, 4 ], [ 8 ]>, <[ 8, 8 ], [ 16 ]> ]; // time = 21.75 second // Level 113 dat[113] := [ [ 1, 6, 6 ] ]; ker[113] := [ <[ 6, 6 ], [ 6 ]> ]; // time = 2.021 second // Level 114 dat[114] := [ [ 1, 20, 20 ], [ 1, 60, 60 ], [ 1, 12, 12 ] ]; ker[114] := [ <[ 20, 20 ], [ 20 ]>, <[ 60, 60 ], [ 60 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 32.269 second // Level 115 dat[115] := [ [ 1, 10, 10 ] ]; ker[115] := [ <[ 10, 10 ], [ 10 ]> ]; // time = 6.451 second // Level 116 dat[116] := [ [ 1, 8, 8 ], [ 1, 15, 15 ], [ 1, 120, 120 ] ]; ker[116] := [ <[ 8, 8 ], [ 8 ]>, <[ 15, 15 ], [ 15 ]>, <[ 120, 120 ], [ 120 ]> ]; // time = 18.059 second // Level 117 dat[117] := [ [ 1, 8, 8 ] ]; ker[117] := [ <[ 8, 8 ], [ 8 ]> ]; // time = 8.961 second // Level 118 dat[118] := [ [ 1, 4, 4 ], [ 1, 38, 38 ], [ 1, 12, 12 ], [ 1, 6, 6 ] ]; ker[118] := [ <[ 4, 4 ], [ 4 ]>, <[ 38, 38 ], [ 38 ]>, <[ 12, 12 ], [ 12 ]>, <[ 6, 6 ], [ 6 ]> ]; // time = 16.901 second // Level 119 // Level 120 dat[120] := [ [ 1, 8, 8 ], [ 1, 8, 16 ] ]; ker[120] := [ <[ 8, 8 ], [ 8 ]>, <[ 8, 8 ], [ 16 ]> ]; // time = 51.451 second // Level 121 dat[121] := [ [ 1, 4, 4 ], [ 1, 6, 6 ], [ 1, 6, 6 ], [ 1, 24, 24 ] ]; ker[121] := [ <[ 4, 4 ], [ 4 ]>, <[ 6, 6 ], [ 6 ]>, <[ 6, 6 ], [ 6 ]>, <[ 24, 24 ], [ 24 ]> ]; // time = 6.629 second // Level 122 dat[122] := [ [ 1, 8, 8 ] ]; ker[122] := [ <[ 8, 8 ], [ 8 ]> ]; // time = 9.72 second // Level 123 dat[123] := [ [ 1, 4, 4 ], [ 1, 20, 20 ] ]; ker[123] := [ <[ 4, 4 ], [ 4 ]>, <[ 20, 20 ], [ 20 ]> ]; // time = 9.809 second // Level 124 dat[124] := [ [ 1, 6, 6 ], [ 1, 6, 12 ] ]; ker[124] := [ <[ 6, 6 ], [ 6 ]>, <[ 6, 6 ], [ 12 ]> ]; // time = 17.901 second // Level 125 dat[126] := [ [ 1, 32, 32 ], [ 1, 8, 24 ] ]; ker[126] := [ <[ 32, 32 ], [ 32 ]>, <[ 8, 8 ], [ 24 ]> ]; // time = 29.129 second // Level 127 // Level 128 dat[128] := [ [ 1, 4, 32 ], [ 1, 8, 32 ], [ 1, 4, 32 ], [ 1, 8, 32 ] ]; ker[128] := [ <[ 4, 4 ], [ 32 ]>, <[ 8, 8 ], [ 32 ]>, <[ 4, 4 ], [ 32 ]>, <[ 8, 8 ], [ 32 ]> ]; // time = 15.15 second // Level 129 dat[129] := [ [ 1, 8, 8 ], [ 1, 15, 15 ] ]; ker[129] := [ <[ 8, 8 ], [ 8 ]>, <[ 15, 15 ], [ 15 ]> ]; // time = 7.079 second // Level 130 dat[130] := [ [ 1, 24, 24 ], [ 1, 80, 80 ], [ 1, 8, 8 ] ]; ker[130] := [ <[ 24, 24 ], [ 24 ]>, <[ 80, 80 ], [ 80 ]>, <[ 8, 8 ], [ 8 ]> ]; // time = 19.899 second // Level 131 dat[131] := [ [ 1, 2, 2 ] ]; ker[131] := [ <[ 2, 2 ], [ 2 ]> ]; // time = 1.699 second // Level 132 dat[132] := [ [ 1, 30, 30 ], [ 1, 6, 6 ] ]; ker[132] := [ <[ 30, 30 ], [ 30 ]>, <[ 6, 6 ], [ 6 ]> ]; // time = 40.401 second // Level 133 // Level 134 // Level 135 dat[135] := [ [ 1, 12, 36 ], [ 1, 36, 36 ] ]; ker[135] := [ <[ 12, 12 ], [ 36 ]>, <[ 36, 36 ], [ 36 ]> ]; // time = 15.471 second // Level 136 dat[136] := [ [ 1, 8, 8 ], [ 1, 8, 8 ] ]; ker[136] := [ <[ 8, 8 ], [ 8 ]>, <[ 8, 8 ], [ 8 ]> ]; // time = 19.819 second // Level 137 // Level 138 dat[138] := [ [ 1, 8, 8 ], [ 1, 16, 16 ], [ 1, 8, 8 ] ]; ker[138] := [ <[ 8, 8 ], [ 8 ]>, <[ 16, 16 ], [ 16 ]>, <[ 8, 8 ], [ 8 ]> ]; // time = 31 second // Level 139 dat[139] := [ [ 1, 6, 6 ] ]; ker[139] := [ <[ 6, 6 ], [ 6 ]> ]; // time = 1.78 second // Level 140 dat[140] := [ [ 1, 60, 60 ], [ 1, 12, 12 ] ]; ker[140] := [ <[ 60, 60 ], [ 60 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 36.219 second // Level 141 dat[141] := [ [ 1, 4, 4 ], [ 1, 12, 12 ], [ 1, 6, 6 ], [ 1, 12, 12 ], [ 1, 28, 28 ] ]; ker[141] := [ <[ 4, 4 ], [ 4 ]>, <[ 12, 12 ], [ 12 ]>, <[ 6, 6 ], [ 6 ]>, <[ 12, 12 ], [ 12 ]>, <[ 28, 28 ], [ 28 ]> ]; // time = 13.009 second // Level 142 dat[142] := [ [ 1, 4, 4 ], [ 1, 9, 9 ], [ 1, 324, 324 ], [ 1, 4, 4 ], [ 1, 36, 36 ] ]; ker[142] := [ <[ 4, 4 ], [ 4 ]>, <[ 9, 9 ], [ 9 ]>, <[ 324, 324 ], [ 324 ]>, <[ 4, 4 ], [ 4 ]>, <[ 36, 36 ], [ 36 ]> ]; // time = 16.27 second // Level 143 dat[143] := [ [ 1, 4, 4 ] ]; ker[143] := [ <[ 4, 4 ], [ 4 ]> ]; // time = 5.24 second // Level 144 dat[144] := [ [ 1, 8, 16 ], [ 1, 4, 8 ] ]; ker[144] := [ <[ 8, 8 ], [ 16 ]>, <[ 4, 4 ], [ 8 ]> ]; // time = 39.419 second // Level 145 dat[145] := [ [ 1, 4, 4 ] ]; ker[145] := [ <[ 4, 4 ], [ 4 ]> ]; // time = 6.549 second // Level 146 // Level 147 dat[147] := [ [ 1, 24, 24 ], [ 1, 6, 42 ], [ 1, 42, 42 ] ]; ker[147] := [ <[ 24, 24 ], [ 24 ]>, <[ 6, 6 ], [ 42 ]>, <[ 42, 42 ], [ 42 ]> ]; // time = 14.38 second // Level 148 dat[148] := [ [ 1, 12, 12 ] ]; ker[148] := [ <[ 12, 12 ], [ 12 ]> ]; // time = 14.6 second // Level 149 // Level 150 dat[150] := [ [ 1, 40, 40 ], [ 1, 48, 48 ], [ 1, 8, 40 ] ]; ker[150] := [ <[ 40, 40 ], [ 40 ]>, <[ 48, 48 ], [ 48 ]>, <[ 8, 8 ], [ 40 ]> ]; // time = 49.429 second // Level 151 // Level 152 dat[152] := [ [ 1, 8, 16 ], [ 1, 8, 8 ] ]; ker[152] := [ <[ 8, 8 ], [ 16 ]>, <[ 8, 8 ], [ 8 ]> ]; // time = 25.14 second // Level 153 dat[153] := [ [ 1, 8, 24 ], [ 1, 24, 24 ], [ 1, 8, 24 ], [ 1, 16, 16 ] ]; ker[153] := [ <[ 8, 8 ], [ 24 ]>, <[ 24, 24 ], [ 24 ]>, <[ 8, 8 ], [ 24 ]>, <[ 16, 16 ], [ 16 ]> ]; // time = 17.831 second // Level 154 dat[154] := [ [ 1, 24, 24 ], [ 1, 16, 16 ], [ 1, 24, 24 ] ]; ker[154] := [ <[ 24, 24 ], [ 24 ]>, <[ 16, 16 ], [ 16 ]>, <[ 24, 24 ], [ 24 ]> ]; // time = 35.49 second // Level 155 dat[155] := [ [ 1, 4, 4 ], [ 1, 8, 8 ], [ 1, 20, 20 ] ]; ker[155] := [ <[ 4, 4 ], [ 4 ]>, <[ 8, 8 ], [ 8 ]>, <[ 20, 20 ], [ 20 ]> ]; // time = 11.729 second // Level 156 dat[156] := [ [ 1, 12, 12 ], [ 1, 12, 12 ] ]; ker[156] := [ <[ 12, 12 ], [ 12 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 46.86 second // Level 157 // Level 158 dat[158] := [ [ 1, 8, 8 ], [ 1, 40, 40 ], [ 1, 48, 48 ], [ 1, 6, 6 ], [ 1, 32, 32 ] ]; ker[158] := [ <[ 8, 8 ], [ 8 ]>, <[ 40, 40 ], [ 40 ]>, <[ 48, 48 ], [ 48 ]>, <[ 6, 6 ], [ 6 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 21.86 second // Level 159 // Level 160 dat[160] := [ [ 1, 8, 16 ], [ 1, 8, 16 ] ]; ker[160] := [ <[ 8, 8 ], [ 16 ]>, <[ 8, 8 ], [ 16 ]> ]; // time = 37.071 second // Level 161 dat[161] := [ [ 1, 10, 10 ] ]; ker[161] := [ <[ 10, 10 ], [ 10 ]> ]; // time = 6.529 second // Level 162 dat[162] := [ [ 1, 12, 36 ], [ 1, 6, 18 ], [ 1, 6, 18 ], [ 1, 12, 36 ] ]; ker[162] := [ <[ 12, 12 ], [ 36 ]>, <[ 6, 6 ], [ 18 ]>, <[ 6, 6 ], [ 18 ]>, <[ 12, 12 ], [ 36 ]> ]; // time = 39.21 second // Level 163 dat[163] := [ [ 1, 6, 6 ] ]; ker[163] := [ <[ 6, 6 ], [ 6 ]> ]; // time = 2.36 second // Level 164 // Level 165 // Level 166 dat[166] := [ [ 1, 8, 8 ] ]; ker[166] := [ <[ 8, 8 ], [ 8 ]> ]; // time = 11.709 second // Level 167 // Level 168 dat[168] := [ [ 1, 24, 48 ], [ 1, 8, 16 ] ]; ker[168] := [ <[ 24, 24 ], [ 48 ]>, <[ 8, 8 ], [ 16 ]> ]; // time = 81.25 second // Level 169 // Level 170 dat[170] := [ [ 1, 160, 160 ], [ 1, 20, 20 ], [ 1, 12, 12 ], [ 1, 16, 16 ], [ 1, 84, 84 ] ]; ker[170] := [ <[ 160, 160 ], [ 160 ]>, <[ 20, 20 ], [ 20 ]>, <[ 12, 12 ], [ 12 ]>, <[ 16, 16 ], [ 16 ]>, <[ 84, 84 ], [ 84 ]> ]; // time = 50.58 second // Level 171 dat[171] := [ [ 1, 12, 12 ], [ 1, 96, 96 ], [ 1, 32, 32 ], [ 1, 8, 24 ] ]; ker[171] := [ <[ 12, 12 ], [ 12 ]>, <[ 96, 96 ], [ 96 ]>, <[ 32, 32 ], [ 32 ]>, <[ 8, 8 ], [ 24 ]> ]; // time = 25.199 second // Level 172 dat[172] := [ [ 1, 12, 12 ] ]; ker[172] := [ <[ 12, 12 ], [ 12 ]> ]; // time = 18.661 second // Level 173 // Level 174 dat[174] := [ [ 1, 52, 52 ], [ 1, 10, 10 ], [ 1, 1540, 1540 ], [ 1, 12, 12 ], [ 1, 28, 28 ] ]; ker[174] := [ <[ 52, 52 ], [ 52 ]>, <[ 10, 10 ], [ 10 ]>, <[ 1540, 1540 ], [ 1540 ]>, <[ 12, 12 ], [ 12 ]>, <[ 28, 28 ], [ 28 ]> ]; // time = 59 second // Level 175 dat[175] := [ [ 1, 16, 16 ], [ 1, 40, 40 ], [ 1, 8, 40 ] ]; ker[175] := [ <[ 16, 16 ], [ 16 ]>, <[ 40, 40 ], [ 40 ]>, <[ 8, 8 ], [ 40 ]> ]; // time = 16.12 second // Level 176 dat[176] := [ [ 1, 16, 64 ], [ 1, 8, 16 ], [ 1, 8, 32 ] ]; ker[176] := [ <[ 16, 16 ], [ 64 ]>, <[ 8, 8 ], [ 16 ]>, <[ 8, 8 ], [ 32 ]> ]; // time = 42.799 second // Level 177 // Level 178 dat[178] := [ [ 1, 28, 28 ], [ 1, 32, 32 ] ]; ker[178] := [ <[ 28, 28 ], [ 28 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 16.909 second // Level 179 dat[179] := [ [ 1, 9, 9 ] ]; ker[179] := [ <[ 9, 9 ], [ 9 ]> ]; // time = 2.911 second // Level 180 dat[180] := [ [ 1, 12, 12 ] ]; ker[180] := [ <[ 12, 12 ], [ 12 ]> ]; // time = 95.879 second // Level 181 // Level 182 dat[182] := [ [ 1, 308, 308 ], [ 1, 140, 140 ], [ 1, 180, 180 ], [ 1, 36, 36 ], [ 1, 12, 12 ] ]; ker[182] := [ <[ 308, 308 ], [ 308 ]>, <[ 140, 140 ], [ 140 ]>, <[ 180, 180 ], [ 180 ]>, <[ 36, 36 ], [ 36 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 52.68 second // Level 183 // Level 184 dat[184] := [ [ 1, 8, 16 ], [ 1, 12, 12 ], [ 1, 24, 48 ], [ 1, 8, 16 ] ]; ker[184] := [ <[ 8, 8 ], [ 16 ]>, <[ 12, 12 ], [ 12 ]>, <[ 24, 24 ], [ 48 ]>, <[ 8, 8 ], [ 16 ]> ]; // time = 47.74 second // Level 185 dat[185] := [ [ 1, 6, 6 ], [ 1, 48, 48 ], [ 1, 8, 8 ] ]; ker[185] := [ <[ 6, 6 ], [ 6 ]>, <[ 48, 48 ], [ 48 ]>, <[ 8, 8 ], [ 8 ]> ]; // time = 16.57 second // Level 186 dat[186] := [ [ 1, 44, 44 ], [ 1, 28, 28 ], [ 1, 20, 20 ] ]; ker[186] := [ <[ 44, 44 ], [ 44 ]>, <[ 28, 28 ], [ 28 ]>, <[ 20, 20 ], [ 20 ]> ]; // time = 51.671 second // Level 187 dat[187] := [ [ 1, 30, 30 ], [ 1, 16, 16 ] ]; ker[187] := [ <[ 30, 30 ], [ 30 ]>, <[ 16, 16 ], [ 16 ]> ]; // time = 12.941 second // Level 188 // Level 189 dat[189] := [ [ 1, 12, 36 ], [ 1, 12, 36 ], [ 1, 36, 36 ], [ 1, 12, 36 ] ]; ker[189] := [ <[ 12, 12 ], [ 36 ]>, <[ 12, 12 ], [ 36 ]>, <[ 36, 36 ], [ 36 ]>, <[ 12, 12 ], [ 36 ]> ]; // time = 34.25 second // Level 190 dat[190] := [ [ 1, 8, 8 ], [ 1, 88, 88 ], [ 1, 24, 24 ] ]; ker[190] := [ <[ 8, 8 ], [ 8 ]>, <[ 88, 88 ], [ 88 ]>, <[ 24, 24 ], [ 24 ]> ]; // time = 47.009 second // Level 191 // Level 192 dat[192] := [ [ 1, 8, 32 ], [ 1, 8, 32 ], [ 1, 8, 32 ], [ 1, 8, 32 ] ]; ker[192] := [ <[ 8, 8 ], [ 32 ]>, <[ 8, 8 ], [ 32 ]>, <[ 8, 8 ], [ 32 ]>, <[ 8, 8 ], [ 32 ]> ]; // time = 94.299 second // Level 193 // Level 194 dat[194] := [ [ 1, 14, 14 ] ]; ker[194] := [ <[ 14, 14 ], [ 14 ]> ]; // time = 13.879 second // Level 195 dat[195] := [ [ 1, 84, 84 ], [ 1, 84, 84 ], [ 1, 24, 24 ], [ 1, 12, 12 ] ]; ker[195] := [ <[ 84, 84 ], [ 84 ]>, <[ 84, 84 ], [ 84 ]>, <[ 24, 24 ], [ 24 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 47.48 second // Level 196 dat[196] := [ [ 1, 42, 42 ], [ 1, 6, 42 ] ]; ker[196] := [ <[ 42, 42 ], [ 42 ]>, <[ 6, 6 ], [ 42 ]> ]; // time = 39.421 second // Level 197 dat[197] := [ [ 1, 10, 10 ] ]; ker[197] := [ <[ 10, 10 ], [ 10 ]> ]; // time = 2.98 second // Level 198 dat[198] := [ [ 1, 32, 32 ], [ 1, 160, 160 ], [ 1, 32, 32 ], [ 1, 32, 32 ], [ 1, 32, 32 ] ]; ker[198] := [ <[ 32, 32 ], [ 32 ]>, <[ 160, 160 ], [ 160 ]>, <[ 32, 32 ], [ 32 ]>, <[ 32, 32 ], [ 32 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 132.96 second // Level 199 // Level 200 dat[200] := [ [ 1, 40, 80 ], [ 1, 120, 120 ], [ 1, 24, 48 ], [ 1, 24, 120 ], [ 1, 8, 80 ] ]; ker[200] := [ <[ 40, 40 ], [ 80 ]>, <[ 120, 120 ], [ 120 ]>, <[ 24, 24 ], [ 48 ]>, <[ 24, 24 ], [ 120 ]>, <[ 8, 8 ], [ 80 ]> ]; // time = 74.32 second // Level 201 dat[201] := [ [ 1, 60, 60 ], [ 1, 12, 12 ], [ 1, 12, 12 ] ]; ker[201] := [ <[ 60, 60 ], [ 60 ]>, <[ 12, 12 ], [ 12 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 22.301 second // Level 202 dat[202] := [ [ 1, 34, 34 ] ]; ker[202] := [ <[ 34, 34 ], [ 34 ]> ]; // time = 15.869 second // Level 203 dat[203] := [ [ 1, 12, 12 ], [ 1, 48, 48 ], [ 1, 8, 8 ] ]; ker[203] := [ <[ 12, 12 ], [ 12 ]>, <[ 48, 48 ], [ 48 ]>, <[ 8, 8 ], [ 8 ]> ]; // time = 19.76 second // Level 204 dat[204] := [ [ 1, 132, 132 ], [ 1, 12, 12 ] ]; ker[204] := [ <[ 132, 132 ], [ 132 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 87.381 second // Level 205 dat[205] := [ [ 1, 16, 16 ], [ 1, 8, 8 ], [ 1, 12, 12 ] ]; ker[205] := [ <[ 16, 16 ], [ 16 ]>, <[ 8, 8 ], [ 8 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 18.759 second // Level 206 dat[206] := [ [ 1, 15, 15 ] ]; ker[206] := [ <[ 15, 15 ], [ 15 ]> ]; // time = 16.039 second // Level 207 dat[207] := [ [ 1, 16, 16 ] ]; ker[207] := [ <[ 16, 16 ], [ 16 ]> ]; // time = 19.43 second // Level 208 dat[208] := [ [ 1, 16, 32 ], [ 1, 12, 12 ], [ 1, 48, 96 ], [ 1, 16, 32 ] ]; ker[208] := [ <[ 16, 16 ], [ 32 ]>, <[ 12, 12 ], [ 12 ]>, <[ 48, 48 ], [ 96 ]>, <[ 16, 16 ], [ 32 ]> ]; // time = 63.529 second // Level 209 dat[209] := [ [ 1, 24, 24 ] ]; ker[209] := [ <[ 24, 24 ], [ 24 ]> ]; // time = 12.18 second // Level 210 dat[210] := [ [ 1, 16, 16 ], [ 1, 96, 96 ], [ 1, 32, 32 ], [ 1, 48, 48 ], [ 1, 128, 128 ] ]; ker[210] := [ <[ 16, 16 ], [ 16 ]>, <[ 96, 96 ], [ 96 ]>, <[ 32, 32 ], [ 32 ]>, <[ 48, 48 ], [ 48 ]>, <[ 128, 128 ], [ 128 ]> ]; // time = 246.809 second // Level 211 // Level 212 dat[212] := [ [ 1, 21, 21 ], [ 1, 12, 12 ] ]; ker[212] := [ <[ 21, 21 ], [ 21 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 39.101 second // Level 213 dat[213] := [ [ 1, 6, 6 ] ]; ker[213] := [ <[ 6, 6 ], [ 6 ]> ]; // time = 15.109 second // Level 214 dat[214] := [ [ 1, 60, 60 ], [ 1, 12, 12 ], [ 1, 12, 12 ], [ 1, 28, 28 ] ]; ker[214] := [ <[ 60, 60 ], [ 60 ]>, <[ 12, 12 ], [ 12 ]>, <[ 12, 12 ], [ 12 ]>, <[ 28, 28 ], [ 28 ]> ]; // time = 33.6 second // Level 215 dat[215] := [ [ 1, 8, 8 ] ]; ker[215] := [ <[ 8, 8 ], [ 8 ]> ]; // time = 11.579 second // Level 216 dat[216] := [ [ 1, 24, 144 ], [ 1, 24, 72 ], [ 1, 72, 72 ], [ 1, 72, 144 ] ]; ker[216] := [ <[ 24, 24 ], [ 144 ]>, <[ 24, 24 ], [ 72 ]>, <[ 72, 72 ], [ 72 ]>, <[ 72, 72 ], [ 144 ]> ]; // time = 154.299 second // Level 217 // Level 218 dat[218] := [ [ 1, 24, 24 ] ]; ker[218] := [ <[ 24, 24 ], [ 24 ]> ]; // time = 21.61 second // Level 219 dat[219] := [ [ 1, 60, 60 ], [ 1, 12, 12 ], [ 1, 12, 12 ] ]; ker[219] := [ <[ 60, 60 ], [ 60 ]>, <[ 12, 12 ], [ 12 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 28.471 second // Level 220 dat[220] := [ [ 1, 36, 36 ], [ 1, 12, 12 ] ]; ker[220] := [ <[ 36, 36 ], [ 36 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 95.5 second // Level 221 dat[221] := [ [ 1, 24, 24 ], [ 1, 120, 120 ] ]; ker[221] := [ <[ 24, 24 ], [ 24 ]>, <[ 120, 120 ], [ 120 ]> ]; // time = 17.519 second // Level 222 dat[222] := [ [ 1, 36, 36 ], [ 1, 2484, 2484 ], [ 1, 52, 52 ], [ 1, 44, 44 ], [ 1, 12, 12 ] ]; ker[222] := [ <[ 36, 36 ], [ 36 ]>, <[ 2484, 2484 ], [ 2484 ]>, <[ 52, 52 ], [ 52 ]>, <[ 44, 44 ], [ 44 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 100.441 second // Level 223 // Level 224 dat[224] := [ [ 1, 8, 32 ], [ 1, 8, 32 ] ]; ker[224] := [ <[ 8, 8 ], [ 32 ]>, <[ 8, 8 ], [ 32 ]> ]; // time = 73.27 second // Level 225 dat[225] := [ [ 1, 8, 40 ], [ 1, 40, 40 ], [ 1, 48, 48 ], [ 1, 48, 48 ], [ 1, 48, 48 ] ]; ker[225] := [ <[ 8, 8 ], [ 40 ]>, <[ 40, 40 ], [ 40 ]>, <[ 48, 48 ], [ 48 ]>, <[ 48, 48 ], [ 48 ]>, <[ 48, 48 ], [ 48 ]> ]; // time = 69.469 second // Level 226 dat[226] := [ [ 1, 24, 24 ] ]; ker[226] := [ <[ 24, 24 ], [ 24 ]> ]; // time = 21.061 second // Level 227 // Level 228 dat[228] := [ [ 1, 18, 18 ], [ 1, 24, 24 ] ]; ker[228] := [ <[ 18, 18 ], [ 18 ]>, <[ 24, 24 ], [ 24 ]> ]; // time = 120.119 second // Level 229 dat[229] := [ [ 1, 8, 8 ] ]; ker[229] := [ <[ 8, 8 ], [ 8 ]> ]; // time = 4.44 second // Level 230 // Level 231 dat[231] := [ [ 1, 20, 20 ] ]; ker[231] := [ <[ 20, 20 ], [ 20 ]> ]; // time = 41.98 second // Level 232 dat[232] := [ [ 1, 16, 16 ], [ 1, 16, 16 ] ]; ker[232] := [ <[ 16, 16 ], [ 16 ]>, <[ 16, 16 ], [ 16 ]> ]; // time = 56.79 second // Level 233 dat[233] := [ [ 1, 27, 27 ] ]; ker[233] := [ <[ 27, 27 ], [ 27 ]> ]; // time = 4.309 second // Level 234 dat[234] := [ [ 1, 16, 48 ], [ 1, 28, 84 ], [ 1, 48, 48 ], [ 1, 320, 320 ], [ 1, 20, 60 ] ]; ker[234] := [ <[ 16, 16 ], [ 48 ]>, <[ 28, 28 ], [ 84 ]>, <[ 48, 48 ], [ 48 ]>, <[ 320, 320 ], [ 320 ]>, <[ 20, 20 ], [ 60 ]> ]; // time = 146.67 second // Level 235 dat[235] := [ [ 1, 108, 108 ], [ 1, 18, 18 ], [ 1, 12, 12 ] ]; ker[235] := [ <[ 108, 108 ], [ 108 ]>, <[ 18, 18 ], [ 18 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 25.71 second // Level 236 dat[236] := [ [ 1, 14, 14 ], [ 1, 6, 12 ] ]; ker[236] := [ <[ 14, 14 ], [ 14 ]>, <[ 6, 6 ], [ 12 ]> ]; // time = 50.489 second // Level 237 // Level 238 dat[238] := [ [ 1, 8, 8 ], [ 1, 80, 80 ], [ 1, 16, 16 ], [ 1, 112, 112 ], [ 1, 16, 16 ] ]; ker[238] := [ <[ 8, 8 ], [ 8 ]>, <[ 80, 80 ], [ 80 ]>, <[ 16, 16 ], [ 16 ]>, <[ 112, 112 ], [ 112 ]>, <[ 16, 16 ], [ 16 ]> ]; // time = 95.089 second // Level 239 // Level 240 dat[240] := [ [ 1, 16, 32 ], [ 1, 16, 32 ], [ 1, 48, 96 ], [ 1, 16, 32 ] ]; ker[240] := [ <[ 16, 16 ], [ 32 ]>, <[ 16, 16 ], [ 32 ]>, <[ 48, 48 ], [ 96 ]>, <[ 16, 16 ], [ 32 ]> ]; // time = 321.839 second // Level 241 // Level 242 dat[242] := [ [ 1, 176, 176 ], [ 1, 16, 176 ] ]; ker[242] := [ <[ 176, 176 ], [ 176 ]>, <[ 16, 16 ], [ 176 ]> ]; // time = 46.52 second // Level 243 dat[243] := [ [ 1, 6, 54 ], [ 1, 9, 27 ] ]; ker[243] := [ <[ 6, 6 ], [ 54 ]>, <[ 9, 9 ], [ 27 ]> ]; // time = 27.989 second // Level 244 dat[244] := [ [ 1, 12, 12 ] ]; ker[244] := [ <[ 12, 12 ], [ 12 ]> ]; // time = 37.44 second // Level 245 dat[245] := [ [ 1, 336, 336 ], [ 1, 32, 32 ], [ 1, 48, 336 ] ]; ker[245] := [ <[ 336, 336 ], [ 336 ]>, <[ 32, 32 ], [ 32 ]>, <[ 48, 48 ], [ 336 ]> ]; // time = 40.73 second // Level 246 dat[246] := [ [ 1, 48, 48 ], [ 1, 44, 44 ], [ 1, 1680, 1680 ], [ 1, 20, 20 ], [ 1, 84, 84 ], [ 1, 300, 300 ], [ 1, 24, 24 ] ]; ker[246] := [ <[ 48, 48 ], [ 48 ]>, <[ 44, 44 ], [ 44 ]>, <[ 1680, 1680 ], [ 1680 ]>, <[ 20, 20 ], [ 20 ]>, <[ 84, 84 ], [ 84 ]>, <[ 300, 300 ], [ 300 ]>, <[ 24, 24 ], [ 24 ]> ]; // time = 182.55 second // Level 247 // Level 248 dat[248] := [ [ 1, 8, 16 ], [ 1, 16, 16 ], [ 1, 8, 16 ] ]; ker[248] := [ <[ 8, 8 ], [ 16 ]>, <[ 16, 16 ], [ 16 ]>, <[ 8, 8 ], [ 16 ]> ]; // time = 75.489 second // Level 249 dat[249] := [ [ 1, 8, 8 ], [ 1, 24, 24 ] ]; ker[249] := [ <[ 8, 8 ], [ 8 ]>, <[ 24, 24 ], [ 24 ]> ]; // time = 27.969 second // Level 250 // Level 251 // Level 252 dat[252] := [ [ 1, 48, 48 ], [ 1, 48, 48 ] ]; ker[252] := [ <[ 48, 48 ], [ 48 ]>, <[ 48, 48 ], [ 48 ]> ]; // time = 229.109 second // Level 253 // Level 254 dat[254] := [ [ 1, 12, 12 ], [ 1, 24, 24 ], [ 1, 16, 16 ], [ 1, 36, 36 ] ]; ker[254] := [ <[ 12, 12 ], [ 12 ]>, <[ 24, 24 ], [ 24 ]>, <[ 16, 16 ], [ 16 ]>, <[ 36, 36 ], [ 36 ]> ]; // time = 52.479 second // Level 255 // Level 256 dat[256] := [ [ 1, 8, 64 ], [ 1, 8, 32 ], [ 1, 8, 64 ], [ 1, 8, 32 ] ]; ker[256] := [ <[ 8, 8 ], [ 64 ]>, <[ 8, 8 ], [ 32 ]>, <[ 8, 8 ], [ 64 ]>, <[ 8, 8 ], [ 32 ]> ]; // time = 81.71 second // Level 257 // Level 258 dat[258] := [ [ 1, 24, 24 ], [ 1, 196, 196 ], [ 1, 40, 40 ], [ 1, 60, 60 ], [ 1, 760, 760 ], [ 1, 168, 168 ], [ 1, 12, 12 ] ]; ker[258] := [ <[ 24, 24 ], [ 24 ]>, <[ 196, 196 ], [ 196 ]>, <[ 40, 40 ], [ 40 ]>, <[ 60, 60 ], [ 60 ]>, <[ 760, 760 ], [ 760 ]>, <[ 168, 168 ], [ 168 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 209.781 second // Level 259 dat[259] := [ [ 1, 36, 36 ] ]; ker[259] := [ <[ 36, 36 ], [ 36 ]> ]; // time = 19.679 second // Level 260 dat[260] := [ [ 1, 48, 96 ] ]; ker[260] := [ <[ 48, 48 ], [ 96 ]> ]; // time = 94.871 second // Level 261 // Level 262 dat[262] := [ [ 1, 12, 12 ], [ 1, 44, 44 ] ]; ker[262] := [ <[ 12, 12 ], [ 12 ]>, <[ 44, 44 ], [ 44 ]> ]; // time = 40.059 second // Level 263 // Level 264 dat[264] := [ [ 1, 16, 16 ], [ 1, 24, 48 ], [ 1, 336, 336 ], [ 1, 16, 16 ] ]; ker[264] := [ <[ 16, 16 ], [ 16 ]>, <[ 24, 24 ], [ 48 ]>, <[ 336, 336 ], [ 336 ]>, <[ 16, 16 ], [ 16 ]> ]; // time = 320.929 second // Level 265 dat[265] := [ [ 1, 30, 30 ] ]; ker[265] := [ <[ 30, 30 ], [ 30 ]> ]; // time = 22.17 second // Level 266 // Level 267 dat[267] := [ [ 1, 238, 238 ], [ 1, 10, 10 ] ]; ker[267] := [ <[ 238, 238 ], [ 238 ]>, <[ 10, 10 ], [ 10 ]> ]; // time = 35.76 second // Level 268 dat[268] := [ [ 1, 18, 18 ] ]; ker[268] := [ <[ 18, 18 ], [ 18 ]> ]; // time = 45.419 second // Level 269 dat[269] := [ [ 1, 6, 6 ] ]; ker[269] := [ <[ 6, 6 ], [ 6 ]> ]; // time = 7.061 second // Level 270 dat[270] := [ [ 1, 60, 180 ], [ 1, 36, 36 ], [ 1, 60, 180 ], [ 1, 12, 36 ] ]; ker[270] := [ <[ 60, 60 ], [ 180 ]>, <[ 36, 36 ], [ 36 ]>, <[ 60, 60 ], [ 180 ]>, <[ 12, 12 ], [ 36 ]> ]; // time = 330.699 second // Level 271 // Level 272 dat[272] := [ [ 1, 16, 32 ], [ 1, 16, 32 ], [ 1, 48, 96 ], [ 1, 16, 32 ] ]; ker[272] := [ <[ 16, 16 ], [ 32 ]>, <[ 16, 16 ], [ 32 ]>, <[ 48, 48 ], [ 96 ]>, <[ 16, 16 ], [ 32 ]> ]; // time = 132.319 second // Level 273 dat[273] := [ [ 1, 48, 48 ], [ 1, 672, 672 ] ]; ker[273] := [ <[ 48, 48 ], [ 48 ]>, <[ 672, 672 ], [ 672 ]> ]; // time = 63.149 second // Level 274 dat[274] := [ [ 1, 12, 12 ], [ 1, 132, 132 ], [ 1, 28, 28 ] ]; ker[274] := [ <[ 12, 12 ], [ 12 ]>, <[ 132, 132 ], [ 132 ]>, <[ 28, 28 ], [ 28 ]> ]; // time = 52.47 second // Level 275 dat[275] := [ [ 1, 24, 24 ], [ 1, 28, 140 ] ]; ker[275] := [ <[ 24, 24 ], [ 24 ]>, <[ 28, 28 ], [ 140 ]> ]; // time = 47.48 second // Level 276 // Level 277 dat[277] := [ [ 1, 10, 10 ] ]; ker[277] := [ <[ 10, 10 ], [ 10 ]> ]; // time = 6.72 second // Level 278 dat[278] := [ [ 1, 272, 272 ], [ 1, 32, 32 ] ]; ker[278] := [ <[ 272, 272 ], [ 272 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 45.111 second // Level 279 // Level 280 dat[280] := [ [ 1, 16, 32 ], [ 1, 240, 480 ] ]; ker[280] := [ <[ 16, 16 ], [ 32 ]>, <[ 240, 240 ], [ 480 ]> ]; // time = 219.959 second // Level 281 // Level 282 dat[282] := [ [ 1, 48, 48 ], [ 1, 64, 64 ] ]; ker[282] := [ <[ 48, 48 ], [ 48 ]>, <[ 64, 64 ], [ 64 ]> ]; // time = 138.461 second // Level 283 // Level 284 // Level 285 dat[285] := [ [ 1, 24, 24 ], [ 1, 72, 72 ], [ 1, 40, 40 ] ]; ker[285] := [ <[ 24, 24 ], [ 24 ]>, <[ 72, 72 ], [ 72 ]>, <[ 40, 40 ], [ 40 ]> ]; // time = 113.559 second // Level 286 dat[286] := [ [ 1, 24, 24 ], [ 1, 60, 60 ], [ 1, 60, 60 ], [ 1, 104, 104 ], [ 1, 120, 120 ], [ 1, 12, 12 ] ]; ker[286] := [ <[ 24, 24 ], [ 24 ]>, <[ 60, 60 ], [ 60 ]>, <[ 60, 60 ], [ 60 ]>, <[ 104, 104 ], [ 104 ]>, <[ 120, 120 ], [ 120 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 171.361 second // Level 287 // Level 288 dat[288] := [ [ 1, 16, 96 ], [ 1, 16, 96 ], [ 1, 32, 64 ], [ 1, 48, 96 ], [ 1, 32, 64 ] ]; ker[288] := [ <[ 16, 16 ], [ 96 ]>, <[ 16, 16 ], [ 96 ]>, <[ 32, 32 ], [ 64 ]>, <[ 48, 48 ], [ 96 ]>, <[ 32, 32 ], [ 64 ]> ]; // time = 472.5 second // Level 289 dat[289] := [ [ 1, 72, 72 ] ]; ker[289] := [ <[ 72, 72 ], [ 72 ]> ]; // time = 13.721 second // Level 290 dat[290] := [ [ 1, 48, 48 ] ]; ker[290] := [ <[ 48, 48 ], [ 48 ]> ]; // time = 89.269 second // Level 291 dat[291] := [ [ 1, 12, 12 ], [ 1, 120, 120 ], [ 1, 12, 12 ], [ 1, 1012, 1012 ] ]; ker[291] := [ <[ 12, 12 ], [ 12 ]>, <[ 120, 120 ], [ 120 ]>, <[ 12, 12 ], [ 12 ]>, <[ 1012, 1012 ], [ 1012 ]> ]; // time = 72.529 second // Level 292 // Level 293 // Level 294 dat[294] := [ [ 1, 420, 420 ], [ 1, 448, 448 ], [ 1, 60, 420 ], [ 1, 64, 448 ], [ 1, 84, 84 ], [ 1, 12, 84 ], [ 1, 192, 192 ] ]; ker[294] := [ <[ 420, 420 ], [ 420 ]>, <[ 448, 448 ], [ 448 ]>, <[ 60, 60 ], [ 420 ]>, <[ 64, 64 ], [ 448 ]>, <[ 84, 84 ], [ 84 ]>, <[ 12, 12 ], [ 84 ]>, <[ 192, 192 ], [ 192 ]> ]; // time = 511.261 second // Level 295 // Level 296 dat[296] := [ [ 1, 16, 32 ], [ 1, 16, 32 ] ]; ker[296] := [ <[ 16, 16 ], [ 32 ]>, <[ 16, 16 ], [ 32 ]> ]; // time = 96.42 second // Level 297 dat[297] := [ [ 1, 12, 36 ], [ 1, 24, 72 ], [ 1, 36, 36 ], [ 1, 72, 72 ] ]; ker[297] := [ <[ 12, 12 ], [ 36 ]>, <[ 24, 24 ], [ 72 ]>, <[ 36, 36 ], [ 36 ]>, <[ 72, 72 ], [ 72 ]> ]; // time = 123.219 second // Level 298 dat[298] := [ [ 1, 20, 20 ], [ 1, 36, 36 ] ]; ker[298] := [ <[ 20, 20 ], [ 20 ]>, <[ 36, 36 ], [ 36 ]> ]; // time = 56.889 second // Level 299 // Level 300 dat[300] := [ [ 1, 36, 180 ], [ 1, 24, 120 ], [ 1, 180, 180 ], [ 1, 120, 120 ] ]; ker[300] := [ <[ 36, 36 ], [ 180 ]>, <[ 24, 24 ], [ 120 ]>, <[ 180, 180 ], [ 180 ]>, <[ 120, 120 ], [ 120 ]> ]; // time = 555.85 second // Level 301 // Level 302 dat[302] := [ [ 1, 27, 27 ], [ 1, 120, 120 ], [ 1, 40, 40 ] ]; ker[302] := [ <[ 27, 27 ], [ 27 ]>, <[ 120, 120 ], [ 120 ]>, <[ 40, 40 ], [ 40 ]> ]; // time = 66.931 second // Level 303 dat[303] := [ [ 1, 112, 112 ], [ 1, 32, 32 ] ]; ker[303] := [ <[ 112, 112 ], [ 112 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 45.829 second // Level 304 dat[304] := [ [ 1, 16, 32 ], [ 1, 16, 64 ], [ 1, 48, 96 ], [ 1, 24, 48 ], [ 1, 48, 96 ], [ 1, 24, 96 ] ]; ker[304] := [ <[ 16, 16 ], [ 32 ]>, <[ 16, 16 ], [ 64 ]>, <[ 48, 48 ], [ 96 ]>, <[ 24, 24 ], [ 48 ]>, <[ 48, 48 ], [ 96 ]>, <[ 24, 24 ], [ 96 ]> ]; // time = 226.369 second // Level 305 // Level 306 dat[306] := [ [ 1, 128, 128 ], [ 1, 48, 48 ], [ 1, 192, 192 ], [ 1, 64, 64 ] ]; ker[306] := [ <[ 128, 128 ], [ 128 ]>, <[ 48, 48 ], [ 48 ]>, <[ 192, 192 ], [ 192 ]>, <[ 64, 64 ], [ 64 ]> ]; // time = 331.221 second // Level 307 dat[307] := [ [ 1, 13, 13 ], [ 1, 10, 10 ], [ 1, 11, 11 ], [ 1, 15, 15 ] ]; ker[307] := [ <[ 13, 13 ], [ 13 ]>, <[ 10, 10 ], [ 10 ]>, <[ 11, 11 ], [ 11 ]>, <[ 15, 15 ], [ 15 ]> ]; // time = 36.141 second // Level 308 dat[308] := [ [ 1, 24, 24 ] ]; ker[308] := [ <[ 24, 24 ], [ 24 ]> ]; // time = 156.75 second // Level 309 dat[309] := [ [ 1, 20, 20 ] ]; ker[309] := [ <[ 20, 20 ], [ 20 ]> ]; // time = 31.329 second // Level 310 dat[310] := [ [ 1, 48, 48 ], [ 1, 96, 96 ] ]; ker[310] := [ <[ 48, 48 ], [ 48 ]>, <[ 96, 96 ], [ 96 ]> ]; // time = 134.18 second // Level 311 // Level 312 dat[312] := [ [ 1, 16, 32 ], [ 1, 32, 64 ], [ 1, 16, 32 ], [ 1, 240, 480 ], [ 1, 48, 96 ], [ 1, 16, 32 ] ]; ker[312] := [ <[ 16, 16 ], [ 32 ]>, <[ 32, 32 ], [ 64 ]>, <[ 16, 16 ], [ 32 ]>, <[ 240, 240 ], [ 480 ]>, <[ 48, 48 ], [ 96 ]>, <[ 16, 16 ], [ 32 ]> ]; // time = 583.989 second // Level 313 // Level 314 dat[314] := [ [ 1, 20, 20 ] ]; ker[314] := [ <[ 20, 20 ], [ 20 ]> ]; // time = 39.361 second // Level 315 dat[315] := [ [ 1, 32, 32 ], [ 1, 20, 60 ] ]; ker[315] := [ <[ 32, 32 ], [ 32 ]>, <[ 20, 20 ], [ 60 ]> ]; // time = 167.609 second // Level 316 dat[316] := [ [ 1, 36, 36 ], [ 1, 36, 36 ] ]; ker[316] := [ <[ 36, 36 ], [ 36 ]>, <[ 36, 36 ], [ 36 ]> ]; // time = 118.331 second // Level 317 // Level 318 dat[318] := [ [ 1, 24, 24 ], [ 1, 204, 204 ], [ 1, 60, 60 ], [ 1, 20, 20 ], [ 1, 88, 88 ] ]; ker[318] := [ <[ 24, 24 ], [ 24 ]>, <[ 204, 204 ], [ 204 ]>, <[ 60, 60 ], [ 60 ]>, <[ 20, 20 ], [ 20 ]>, <[ 88, 88 ], [ 88 ]> ]; // time = 318.06 second // Level 319 dat[319] := [ [ 1, 92, 92 ] ]; ker[319] := [ <[ 92, 92 ], [ 92 ]> ]; // time = 34.82 second // Level 320 dat[320] := [ [ 1, 16, 64 ], [ 1, 16, 64 ], [ 1, 16, 64 ], [ 1, 16, 64 ], [ 1, 16, 64 ], [ 1, 16, 64 ] ]; ker[320] := [ <[ 16, 16 ], [ 64 ]>, <[ 16, 16 ], [ 64 ]>, <[ 16, 16 ], [ 64 ]>, <[ 16, 16 ], [ 64 ]>, <[ 16, 16 ], [ 64 ]>, <[ 16, 16 ], [ 64 ]> ]; // time = 429.331 second // Level 321 // Level 322 dat[322] := [ [ 1, 112, 112 ], [ 1, 48, 48 ], [ 1, 40, 40 ], [ 1, 24, 24 ] ]; ker[322] := [ <[ 112, 112 ], [ 112 ]>, <[ 48, 48 ], [ 48 ]>, <[ 40, 40 ], [ 40 ]>, <[ 24, 24 ], [ 24 ]> ]; // time = 196.34 second // Level 323 dat[323] := [ [ 1, 140, 140 ] ]; ker[323] := [ <[ 140, 140 ], [ 140 ]> ]; // time = 34.951 second // Level 324 dat[324] := [ [ 1, 18, 54 ], [ 1, 36, 108 ], [ 1, 36, 108 ], [ 1, 18, 54 ] ]; ker[324] := [ <[ 18, 18 ], [ 54 ]>, <[ 36, 36 ], [ 108 ]>, <[ 36, 36 ], [ 108 ]>, <[ 18, 18 ], [ 54 ]> ]; // time = 413.19 second // Level 325 dat[325] := [ [ 1, 12, 60 ], [ 1, 48, 48 ], [ 1, 84, 84 ], [ 1, 84, 84 ], [ 1, 60, 60 ] ]; ker[325] := [ <[ 12, 12 ], [ 60 ]>, <[ 48, 48 ], [ 48 ]>, <[ 84, 84 ], [ 84 ]>, <[ 84, 84 ], [ 84 ]>, <[ 60, 60 ], [ 60 ]> ]; // time = 114.911 second // Level 326 dat[326] := [ [ 1, 36, 36 ], [ 1, 204, 204 ], [ 1, 20, 20 ] ]; ker[326] := [ <[ 36, 36 ], [ 36 ]>, <[ 204, 204 ], [ 204 ]>, <[ 20, 20 ], [ 20 ]> ]; // time = 79.81 second // Level 327 dat[327] := [ [ 1, 16, 16 ] ]; ker[327] := [ <[ 16, 16 ], [ 16 ]> ]; // time = 42.471 second // Level 328 dat[328] := [ [ 1, 16, 16 ], [ 1, 24, 24 ] ]; ker[328] := [ <[ 16, 16 ], [ 16 ]>, <[ 24, 24 ], [ 24 ]> ]; // time = 112.629 second // Level 329 dat[329] := [ [ 1, 180, 180 ] ]; ker[329] := [ <[ 180, 180 ], [ 180 ]> ]; // time = 42.629 second // Level 330 dat[330] := [ [ 1, 160, 160 ], [ 1, 64, 64 ], [ 1, 2240, 2240 ], [ 1, 192, 192 ], [ 1, 32, 32 ] ]; ker[330] := [ <[ 160, 160 ], [ 160 ]>, <[ 64, 64 ], [ 64 ]>, <[ 2240, 2240 ], [ 2240 ]>, <[ 192, 192 ], [ 192 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 985.711 second // Level 331 dat[331] := [ [ 1, 12, 12 ] ]; ker[331] := [ <[ 12, 12 ], [ 12 ]> ]; // time = 14.011 second // Level 332 // Level 333 dat[333] := [ [ 1, 48, 48 ], [ 1, 16, 48 ], [ 1, 28, 84 ], [ 1, 20, 60 ] ]; ker[333] := [ <[ 48, 48 ], [ 48 ]>, <[ 16, 16 ], [ 48 ]>, <[ 28, 28 ], [ 84 ]>, <[ 20, 20 ], [ 60 ]> ]; // time = 96.969 second // Level 334 dat[334] := [ [ 1, 8, 8 ] ]; ker[334] := [ <[ 8, 8 ], [ 8 ]> ]; // time = 53.771 second // Level 335 dat[335] := [ [ 1, 8, 8 ] ]; ker[335] := [ <[ 8, 8 ], [ 8 ]> ]; // time = 39.819 second // Level 336 dat[336] := [ [ 1, 16, 32 ], [ 1, 48, 96 ], [ 1, 24, 48 ], [ 1, 32, 64 ], [ 1, 96, 192 ], [ 1, 24, 48 ] ]; ker[336] := [ <[ 16, 16 ], [ 32 ]>, <[ 48, 48 ], [ 96 ]>, <[ 24, 24 ], [ 48 ]>, <[ 32, 32 ], [ 64 ]>, <[ 96, 96 ], [ 192 ]>, <[ 24, 24 ], [ 48 ]> ]; // time = 1117.121 second // Level 337 // Level 338 dat[338] := [ [ 1, 12, 156 ], [ 1, 336, 336 ], [ 1, 312, 312 ], [ 1, 156, 156 ], [ 1, 112, 112 ], [ 1, 24, 312 ] ]; ker[338] := [ <[ 12, 12 ], [ 156 ]>, <[ 336, 336 ], [ 336 ]>, <[ 312, 312 ], [ 312 ]>, <[ 156, 156 ], [ 156 ]>, <[ 112, 112 ], [ 112 ]>, <[ 24, 24 ], [ 312 ]> ]; // time = 184.49 second // Level 339 dat[339] := [ [ 1, 126, 126 ], [ 1, 72, 72 ], [ 1, 24, 24 ] ]; ker[339] := [ <[ 126, 126 ], [ 126 ]>, <[ 72, 72 ], [ 72 ]>, <[ 24, 24 ], [ 24 ]> ]; // time = 91.031 second // Level 340 dat[340] := [ [ 1, 24, 48 ] ]; ker[340] := [ <[ 24, 24 ], [ 48 ]> ]; // time = 209.579 second // Level 341 // Level 342 dat[342] := [ [ 1, 16, 48 ], [ 1, 480, 480 ], [ 1, 60, 60 ], [ 1, 96, 96 ], [ 1, 48, 48 ], [ 1, 60, 180 ], [ 1, 160, 160 ] ]; ker[342] := [ <[ 16, 16 ], [ 48 ]>, <[ 480, 480 ], [ 480 ]>, <[ 60, 60 ], [ 60 ]>, <[ 96, 96 ], [ 96 ]>, <[ 48, 48 ], [ 48 ]>, <[ 60, 60 ], [ 180 ]>, <[ 160, 160 ], [ 160 ]> ]; // time = 697.551 second // Level 343 // Level 344 dat[344] := [ [ 1, 16, 32 ] ]; ker[344] := [ <[ 16, 16 ], [ 32 ]> ]; // time = 103.03 second // Level 345 dat[345] := [ [ 1, 80, 80 ], [ 1, 96, 96 ], [ 1, 300, 300 ], [ 1, 40, 40 ], [ 1, 16, 16 ], [ 1, 192, 192 ] ]; ker[345] := [ <[ 80, 80 ], [ 80 ]>, <[ 96, 96 ], [ 96 ]>, <[ 300, 300 ], [ 300 ]>, <[ 40, 40 ], [ 40 ]>, <[ 16, 16 ], [ 16 ]>, <[ 192, 192 ], [ 192 ]> ]; // time = 305.92 second // Level 346 dat[346] := [ [ 1, 28, 28 ], [ 1, 28, 28 ] ]; ker[346] := [ <[ 28, 28 ], [ 28 ]>, <[ 28, 28 ], [ 28 ]> ]; // time = 71.531 second // Level 347 dat[347] := [ [ 1, 14, 14 ] ]; ker[347] := [ <[ 14, 14 ], [ 14 ]> ]; // time = 13.751 second // Level 348 dat[348] := [ [ 1, 180, 180 ], [ 1, 12, 24 ], [ 1, 84, 168 ], [ 1, 12, 12 ] ]; ker[348] := [ <[ 180, 180 ], [ 180 ]>, <[ 12, 12 ], [ 24 ]>, <[ 84, 84 ], [ 168 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 500.37 second // Level 349 // Level 350 dat[350] := [ [ 1, 24, 120 ], [ 1, 96, 96 ], [ 1, 1320, 1320 ], [ 1, 48, 240 ], [ 1, 264, 1320 ], [ 1, 120, 120 ] ]; ker[350] := [ <[ 24, 24 ], [ 120 ]>, <[ 96, 96 ], [ 96 ]>, <[ 1320, 1320 ], [ 1320 ]>, <[ 48, 48 ], [ 240 ]>, <[ 264, 264 ], [ 1320 ]>, <[ 120, 120 ], [ 120 ]> ]; // time = 571.791 second // Level 351 // Level 352 dat[352] := [ [ 1, 32, 64 ], [ 1, 32, 64 ], [ 1, 32, 64 ], [ 1, 96, 192 ], [ 1, 32, 64 ], [ 1, 96, 192 ] ]; ker[352] := [ <[ 32, 32 ], [ 64 ]>, <[ 32, 32 ], [ 64 ]>, <[ 32, 32 ], [ 64 ]>, <[ 96, 96 ], [ 192 ]>, <[ 32, 32 ], [ 64 ]>, <[ 96, 96 ], [ 192 ]> ]; // time = 420.581 second // Level 353 dat[353] := [ [ 1, 24, 24 ] ]; ker[353] := [ <[ 24, 24 ], [ 24 ]> ]; // time = 15.661 second // Level 354 dat[354] := [ [ 1, 120, 120 ], [ 1, 48, 48 ], [ 1, 40, 40 ], [ 1, 16, 16 ], [ 1, 1584, 1584 ], [ 1, 56, 56 ] ]; ker[354] := [ <[ 120, 120 ], [ 120 ]>, <[ 48, 48 ], [ 48 ]>, <[ 40, 40 ], [ 40 ]>, <[ 16, 16 ], [ 16 ]>, <[ 1584, 1584 ], [ 1584 ]>, <[ 56, 56 ], [ 56 ]> ]; // time = 540.711 second // Level 355 dat[355] := [ [ 1, 16, 16 ] ]; ker[355] := [ <[ 16, 16 ], [ 16 ]> ]; // time = 49.221 second // Level 356 dat[356] := [ [ 1, 12, 12 ] ]; ker[356] := [ <[ 12, 12 ], [ 12 ]> ]; // time = 96.029 second // Level 357 dat[357] := [ [ 1, 544, 544 ], [ 1, 32, 32 ], [ 1, 48, 48 ], [ 1, 112, 112 ] ]; ker[357] := [ <[ 544, 544 ], [ 544 ]>, <[ 32, 32 ], [ 32 ]>, <[ 48, 48 ], [ 48 ]>, <[ 112, 112 ], [ 112 ]> ]; // time = 205.04 second // Level 358 dat[358] := [ [ 1, 102, 102 ], [ 1, 22, 22 ] ]; ker[358] := [ <[ 102, 102 ], [ 102 ]>, <[ 22, 22 ], [ 22 ]> ]; // time = 93.781 second // Level 359 dat[359] := [ [ 1, 16, 16 ], [ 1, 8, 8 ] ]; ker[359] := [ <[ 16, 16 ], [ 16 ]>, <[ 8, 8 ], [ 8 ]> ]; // time = 32.411 second // Level 360 dat[360] := [ [ 1, 96, 96 ], [ 1, 64, 128 ], [ 1, 32, 96 ], [ 1, 32, 192 ], [ 1, 64, 64 ] ]; ker[360] := [ <[ 96, 96 ], [ 96 ]>, <[ 64, 64 ], [ 128 ]>, <[ 32, 32 ], [ 96 ]>, <[ 32, 32 ], [ 192 ]>, <[ 64, 64 ], [ 64 ]> ]; // time = 1687.611 second // Level 361 dat[361] := [ [ 1, 20, 20 ], [ 1, 120, 120 ] ]; ker[361] := [ <[ 20, 20 ], [ 20 ]>, <[ 120, 120 ], [ 120 ]> ]; // time = 38.169 second // Level 362 dat[362] := [ [ 1, 20, 20 ], [ 1, 28, 28 ] ]; ker[362] := [ <[ 20, 20 ], [ 20 ]>, <[ 28, 28 ], [ 28 ]> ]; // time = 87.05 second // Level 363 dat[363] := [ [ 1, 180, 180 ], [ 1, 36, 396 ], [ 1, 396, 396 ] ]; ker[363] := [ <[ 180, 180 ], [ 180 ]>, <[ 36, 36 ], [ 396 ]>, <[ 396, 396 ], [ 396 ]> ]; // time = 152.611 second // Level 364 dat[364] := [ [ 1, 24, 24 ], [ 1, 120, 120 ] ]; ker[364] := [ <[ 24, 24 ], [ 24 ]>, <[ 120, 120 ], [ 120 ]> ]; // time = 286.409 second // Level 365 // Level 366 dat[366] := [ [ 1, 52, 52 ], [ 1, 228, 228 ], [ 1, 48, 48 ], [ 1, 364, 364 ], [ 1, 80, 80 ], [ 1, 48, 48 ], [ 1, 60, 60 ] ]; ker[366] := [ <[ 52, 52 ], [ 52 ]>, <[ 228, 228 ], [ 228 ]>, <[ 48, 48 ], [ 48 ]>, <[ 364, 364 ], [ 364 ]>, <[ 80, 80 ], [ 80 ]>, <[ 48, 48 ], [ 48 ]>, <[ 60, 60 ], [ 60 ]> ]; // time = 644.139 second // Level 367 // Level 368 dat[368] := [ [ 1, 24, 48 ], [ 1, 16, 64 ], [ 1, 48, 192 ], [ 1, 16, 64 ], [ 1, 120, 240 ], [ 1, 24, 96 ], [ 1, 8, 32 ] ]; ker[368] := [ <[ 24, 24 ], [ 48 ]>, <[ 16, 16 ], [ 64 ]>, <[ 48, 48 ], [ 192 ]>, <[ 16, 16 ], [ 64 ]>, <[ 120, 120 ], [ 240 ]>, <[ 24, 24 ], [ 96 ]>, <[ 8, 8 ], [ 32 ]> ]; // time = 500.989 second // Level 369 dat[369] := [ [ 1, 160, 160 ], [ 1, 32, 32 ] ]; ker[369] := [ <[ 160, 160 ], [ 160 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 91.649 second // Level 370 dat[370] := [ [ 1, 16, 16 ], [ 1, 108, 108 ], [ 1, 44, 44 ], [ 1, 96, 96 ] ]; ker[370] := [ <[ 16, 16 ], [ 16 ]>, <[ 108, 108 ], [ 108 ]>, <[ 44, 44 ], [ 44 ]>, <[ 96, 96 ], [ 96 ]> ]; // time = 319.75 second // Level 371 dat[371] := [ [ 1, 32, 32 ], [ 1, 60, 60 ] ]; ker[371] := [ <[ 32, 32 ], [ 32 ]>, <[ 60, 60 ], [ 60 ]> ]; // time = 94.21 second // Level 372 dat[372] := [ [ 1, 24, 24 ], [ 1, 48, 48 ], [ 1, 30, 30 ], [ 1, 360, 360 ] ]; ker[372] := [ <[ 24, 24 ], [ 24 ]>, <[ 48, 48 ], [ 48 ]>, <[ 30, 30 ], [ 30 ]>, <[ 360, 360 ], [ 360 ]> ]; // time = 581.101 second // Level 373 dat[373] := [ [ 1, 22, 22 ] ]; ker[373] := [ <[ 22, 22 ], [ 22 ]> ]; // time = 18.681 second // Level 374 dat[374] := [ [ 1, 40, 40 ] ]; ker[374] := [ <[ 40, 40 ], [ 40 ]> ]; // time = 156.591 second // Level 375 // Level 376 // Level 377 dat[377] := [ [ 1, 14, 14 ] ]; ker[377] := [ <[ 14, 14 ], [ 14 ]> ]; // time = 52.889 second // Level 378 dat[378] := [ [ 1, 24, 72 ], [ 1, 36, 108 ], [ 1, 420, 1260 ], [ 1, 72, 216 ], [ 1, 72, 72 ], [ 1, 1260, 1260 ], [ 1, 36, 108 ], [ 1, 72, 216 ] ]; ker[378] := [ <[ 24, 24 ], [ 72 ]>, <[ 36, 36 ], [ 108 ]>, <[ 420, 420 ], [ 1260 ]>, <[ 72, 72 ], [ 216 ]>, <[ 72, 72 ], [ 72 ]>, <[ 1260, 1260 ], [ 1260 ]>, <[ 36, 36 ], [ 108 ]>, <[ 72, 72 ], [ 216 ]> ]; // time = 1514.88 second // Level 379 // Level 380 dat[380] := [ [ 1, 240, 240 ], [ 1, 24, 24 ] ]; ker[380] := [ <[ 240, 240 ], [ 240 ]>, <[ 24, 24 ], [ 24 ]> ]; // time = 333.201 second // Level 381 dat[381] := [ [ 1, 44, 44 ], [ 1, 20, 20 ] ]; ker[381] := [ <[ 44, 44 ], [ 44 ]>, <[ 20, 20 ], [ 20 ]> ]; // time = 85.709 second // Level 382 // Level 383 // Level 384 dat[384] := [ [ 1, 16, 128 ], [ 1, 16, 128 ], [ 1, 16, 128 ], [ 1, 48, 384 ], [ 1, 16, 128 ], [ 1, 48, 384 ], [ 1, 48, 384 ], [ 1, 48, 384 ] ]; ker[384] := [ <[ 16, 16 ], [ 128 ]>, <[ 16, 16 ], [ 128 ]>, <[ 16, 16 ], [ 128 ]>, <[ 48, 48 ], [ 384 ]>, <[ 16, 16 ], [ 128 ]>, <[ 48, 48 ], [ 384 ]>, <[ 48, 48 ], [ 384 ]>, <[ 48, 48 ], [ 384 ]> ]; // time = 1394.519 second // Level 385 dat[385] := [ [ 1, 64, 64 ], [ 1, 32, 32 ] ]; ker[385] := [ <[ 64, 64 ], [ 64 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 188.09 second // Level 386 // Level 387 dat[387] := [ [ 1, 48, 48 ], [ 1, 16, 48 ], [ 1, 64, 64 ], [ 1, 60, 60 ], [ 1, 48, 48 ] ]; ker[387] := [ <[ 48, 48 ], [ 48 ]>, <[ 16, 16 ], [ 48 ]>, <[ 64, 64 ], [ 64 ]>, <[ 60, 60 ], [ 60 ]>, <[ 48, 48 ], [ 48 ]> ]; // time = 194.869 second // Level 388 // Level 389 dat[389] := [ [ 1, 40, 40 ] ]; ker[389] := [ <[ 40, 40 ], [ 40 ]> ]; // time = 23.96 second // Level 390 dat[390] := [ [ 1, 32, 32 ], [ 1, 80, 80 ], [ 1, 320, 320 ], [ 1, 720, 720 ], [ 1, 48, 48 ], [ 1, 64, 64 ], [ 1, 48, 48 ] ]; ker[390] := [ <[ 32, 32 ], [ 32 ]>, <[ 80, 80 ], [ 80 ]>, <[ 320, 320 ], [ 320 ]>, <[ 720, 720 ], [ 720 ]>, <[ 48, 48 ], [ 48 ]>, <[ 64, 64 ], [ 64 ]>, <[ 48, 48 ], [ 48 ]> ]; // time = 2308.35 second // Level 391 // Level 392 dat[392] := [ [ 1, 24, 336 ], [ 1, 168, 336 ], [ 1, 192, 192 ], [ 1, 168, 336 ], [ 1, 96, 96 ], [ 1, 24, 336 ] ]; ker[392] := [ <[ 24, 24 ], [ 336 ]>, <[ 168, 168 ], [ 336 ]>, <[ 192, 192 ], [ 192 ]>, <[ 168, 168 ], [ 336 ]>, <[ 96, 96 ], [ 96 ]>, <[ 24, 24 ], [ 336 ]> ]; // time = 587.5 second // Level 393 // Level 394 // Level 395 dat[395] := [ [ 1, 36, 36 ], [ 1, 72, 72 ], [ 1, 68, 68 ] ]; ker[395] := [ <[ 36, 36 ], [ 36 ]>, <[ 72, 72 ], [ 72 ]>, <[ 68, 68 ], [ 68 ]> ]; // time = 161.39 second // Level 396 dat[396] := [ [ 1, 48, 48 ], [ 1, 240, 240 ], [ 1, 60, 60 ] ]; ker[396] := [ <[ 48, 48 ], [ 48 ]>, <[ 240, 240 ], [ 240 ]>, <[ 60, 60 ], [ 60 ]> ]; // time = 1103.761 second // Level 397 // Level 398 dat[398] := [ [ 1, 55, 55 ] ]; ker[398] := [ <[ 55, 55 ], [ 55 ]> ]; // time = 82.921 second // Level 399 dat[399] := [ [ 1, 120, 120 ], [ 1, 24, 24 ], [ 1, 168, 168 ] ]; ker[399] := [ <[ 120, 120 ], [ 120 ]>, <[ 24, 24 ], [ 24 ]>, <[ 168, 168 ], [ 168 ]> ]; // time = 266.011 second // Level 400 dat[400] := [ [ 1, 48, 96 ], [ 1, 48, 480 ], [ 1, 16, 160 ], [ 1, 80, 160 ], [ 1, 240, 480 ], [ 1, 48, 96 ], [ 1, 48, 96 ], [ 1, 48, 96 ] ]; ker[400] := [ <[ 48, 48 ], [ 96 ]>, <[ 48, 48 ], [ 480 ]>, <[ 16, 16 ], [ 160 ]>, <[ 80, 80 ], [ 160 ]>, <[ 240, 240 ], [ 480 ]>, <[ 48, 48 ], [ 96 ]>, <[ 48, 48 ], [ 96 ]>, <[ 48, 48 ], [ 96 ]> ]; // time = 1053.799 second // Level 401 // Level 402 dat[402] := [ [ 1, 32, 32 ], [ 1, 32, 32 ], [ 1, 144, 144 ], [ 1, 48, 48 ] ]; ker[402] := [ <[ 32, 32 ], [ 32 ]>, <[ 32, 32 ], [ 32 ]>, <[ 144, 144 ], [ 144 ]>, <[ 48, 48 ], [ 48 ]> ]; // time = 595.39 second // Level 403 // Level 404 dat[404] := [ [ 1, 68, 68 ], [ 1, 12, 12 ] ]; ker[404] := [ <[ 68, 68 ], [ 68 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 178.599 second // Level 405 dat[405] := [ [ 1, 24, 72 ], [ 1, 12, 108 ], [ 1, 24, 216 ], [ 1, 24, 72 ], [ 1, 72, 216 ], [ 1, 36, 108 ] ]; ker[405] := [ <[ 24, 24 ], [ 72 ]>, <[ 12, 12 ], [ 108 ]>, <[ 24, 24 ], [ 216 ]>, <[ 24, 24 ], [ 72 ]>, <[ 72, 72 ], [ 216 ]>, <[ 36, 36 ], [ 108 ]> ]; // time = 429.549 second // Level 406 dat[406] := [ [ 1, 120, 120 ], [ 1, 640, 640 ], [ 1, 96, 96 ], [ 1, 64, 64 ] ]; ker[406] := [ <[ 120, 120 ], [ 120 ]>, <[ 640, 640 ], [ 640 ]>, <[ 96, 96 ], [ 96 ]>, <[ 64, 64 ], [ 64 ]> ]; // time = 433.94 second // Level 407 // Level 408 dat[408] := [ [ 1, 32, 32 ], [ 1, 80, 160 ], [ 1, 240, 480 ], [ 1, 64, 64 ] ]; ker[408] := [ <[ 32, 32 ], [ 32 ]>, <[ 80, 80 ], [ 160 ]>, <[ 240, 240 ], [ 480 ]>, <[ 64, 64 ], [ 64 ]> ]; // time = 1118.11 second // Level 409 // Level 410 dat[410] := [ [ 1, 128, 128 ], [ 1, 48, 48 ], [ 1, 64, 64 ], [ 1, 288, 288 ] ]; ker[410] := [ <[ 128, 128 ], [ 128 ]>, <[ 48, 48 ], [ 48 ]>, <[ 64, 64 ], [ 64 ]>, <[ 288, 288 ], [ 288 ]> ]; // time = 506.451 second // Level 411 // Level 412 // Level 413 // Level 414 dat[414] := [ [ 1, 64, 64 ], [ 1, 160, 480 ], [ 1, 128, 128 ], [ 1, 64, 64 ] ]; ker[414] := [ <[ 64, 64 ], [ 64 ]>, <[ 160, 160 ], [ 480 ]>, <[ 128, 128 ], [ 128 ]>, <[ 64, 64 ], [ 64 ]> ]; // time = 806.36 second // Level 415 dat[415] := [ [ 1, 112, 112 ] ]; ker[415] := [ <[ 112, 112 ], [ 112 ]> ]; // time = 72.739 second // Level 416 dat[416] := [ [ 1, 16, 64 ], [ 1, 16, 64 ] ]; ker[416] := [ <[ 16, 16 ], [ 64 ]>, <[ 16, 16 ], [ 64 ]> ]; // time = 329.21 second // Level 417 dat[417] := [ [ 1, 72, 72 ] ]; ker[417] := [ <[ 72, 72 ], [ 72 ]> ]; // time = 79.689 second // Level 418 dat[418] := [ [ 1, 104, 104 ], [ 1, 20, 20 ], [ 1, 56, 56 ] ]; ker[418] := [ <[ 104, 104 ], [ 104 ]>, <[ 20, 20 ], [ 20 ]>, <[ 56, 56 ], [ 56 ]> ]; // time = 346.79 second // Level 419 // Level 420 // Level 421 // Level 422 dat[422] := [ [ 1, 24, 24 ] ]; ker[422] := [ <[ 24, 24 ], [ 24 ]> ]; // time = 57.119 second// Level 423 dat[423] := [ [ 1, 32, 96 ], [ 1, 96, 96 ], [ 1, 96, 96 ], [ 1, 224, 224 ], [ 1, 32, 32 ], [ 1, 48, 48 ], [ 1, 96, 96 ] ]; ker[423] := [ <[ 32, 32 ], [ 96 ]>, <[ 96, 96 ], [ 96 ]>, <[ 96, 96 ], [ 96 ]>, <[ 224, 224 ], [ 224 ]>, <[ 32, 32 ], [ 32 ]>, <[ 48, 48 ], [ 48 ]>, <[ 96, 96 ], [ 96 ]> ]; // time = 256.02 second// Level 424 // Level 425 dat[425] := [ [ 1, 32, 160 ], [ 1, 12, 60 ], [ 1, 96, 96 ], [ 1, 60, 60 ] ]; ker[425] := [ <[ 32, 32 ], [ 160 ]>, <[ 12, 12 ], [ 60 ]>, <[ 96, 96 ], [ 96 ]>, <[ 60, 60 ], [ 60 ]> ]; // time = 191.139 second// Level 426 dat[426] := [ [ 1, 120, 120 ], [ 1, 1440, 1440 ], [ 1, 80, 80 ] ]; ker[426] := [ <[ 120, 120 ], [ 120 ]>, <[ 1440, 1440 ], [ 1440 ]>, <[ 80, 80 ], [ 80 ]> ]; // time = 494.12 second// Level 427 dat[427] := [ [ 1, 36, 36 ], [ 1, 22, 22 ], [ 1, 28, 28 ] ]; ker[427] := [ <[ 36, 36 ], [ 36 ]>, <[ 22, 22 ], [ 22 ]>, <[ 28, 28 ], [ 28 ]> ]; // time = 148.29 second// Level 428 dat[428] := [ [ 1, 54, 54 ], [ 1, 18, 36 ] ]; ker[428] := [ <[ 54, 54 ], [ 54 ]>, <[ 18, 18 ], [ 36 ]> ]; // time = 119.289 second// Level 429 dat[429] := [ [ 1, 16, 16 ], [ 1, 64, 64 ] ]; ker[429] := [ <[ 16, 16 ], [ 16 ]>, <[ 64, 64 ], [ 64 ]> ]; // time = 147.651 second// Level 430 dat[430] := [ [ 1, 24, 24 ], [ 1, 40, 40 ], [ 1, 72, 72 ], [ 1, 600, 600 ] ]; ker[430] := [ <[ 24, 24 ], [ 24 ]>, <[ 40, 40 ], [ 40 ]>, <[ 72, 72 ], [ 72 ]>, <[ 600, 600 ], [ 600 ]> ]; // time = 406.25 second// Level 431 dat[431] := [ [ 1, 10, 10 ], [ 1, 40, 40 ] ]; ker[431] := [ <[ 10, 10 ], [ 10 ]>, <[ 40, 40 ], [ 40 ]> ]; // time = 37.341 second// Level 432 dat[432] := [ [ 1, 48, 288 ], [ 1, 144, 288 ], [ 1, 144, 576 ], [ 1, 48, 576 ], [ 1, 24, 144 ], [ 1, 48, 288 ], [ 1, 24, 288 ], [ 1, 48, 288 ] ]; ker[432] := [ <[ 48, 48 ], [ 288 ]>, <[ 144, 144 ], [ 288 ]>, <[ 144, 144 ], [ 576 ]>, <[ 48, 48 ], [ 576 ]>, <[ 24, 24 ], [ 144 ]>, <[ 48, 48 ], [ 288 ]>, <[ 24, 24 ], [ 288 ]>, <[ 48, 48 ], [ 288 ]> ]; // time = 1198.319 second// Level 433 dat[433] := [ [ 1, 28, 28 ] ]; ker[433] := [ <[ 28, 28 ], [ 28 ]> ]; // time = 18.12 second// Level 434 dat[434] := [ [ 1, 24, 24 ], [ 1, 80, 80 ], [ 1, 480, 480 ], [ 1, 80, 80 ], [ 1, 48, 48 ] ]; ker[434] := [ <[ 24, 24 ], [ 24 ]>, <[ 80, 80 ], [ 80 ]>, <[ 480, 480 ], [ 480 ]>, <[ 80, 80 ], [ 80 ]>, <[ 48, 48 ], [ 48 ]> ]; // time = 438.07 second// Level 435 dat[435] := [ [ 1, 140, 140 ], [ 1, 20, 20 ], [ 1, 48, 48 ], [ 1, 80, 80 ] ]; ker[435] := [ <[ 140, 140 ], [ 140 ]>, <[ 20, 20 ], [ 20 ]>, <[ 48, 48 ], [ 48 ]>, <[ 80, 80 ], [ 80 ]> ]; // time = 397.059 second// Level 436 // Level 437 dat[437] := [ [ 1, 40, 40 ], [ 1, 80, 80 ] ]; ker[437] := [ <[ 40, 40 ], [ 40 ]>, <[ 80, 80 ], [ 80 ]> ]; // time = 126.56 second// Level 438 dat[438] := [ [ 1, 32, 32 ], [ 1, 112, 112 ], [ 1, 576, 576 ], [ 1, 64, 64 ], [ 1, 64, 64 ], [ 1, 288, 288 ], [ 1, 32, 32 ] ]; ker[438] := [ <[ 32, 32 ], [ 32 ]>, <[ 112, 112 ], [ 112 ]>, <[ 576, 576 ], [ 576 ]>, <[ 64, 64 ], [ 64 ]>, <[ 64, 64 ], [ 64 ]>, <[ 288, 288 ], [ 288 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 1218.289 second// Level 439 // Level 440 dat[440] := [ [ 1, 48, 96 ], [ 1, 288, 576 ], [ 1, 144, 144 ], [ 1, 16, 32 ] ]; ker[440] := [ <[ 48, 48 ], [ 96 ]>, <[ 288, 288 ], [ 576 ]>, <[ 144, 144 ], [ 144 ]>, <[ 16, 16 ], [ 32 ]> ]; // time = 661.779 second// Level 441 dat[441] := [ [ 1, 24, 168 ], [ 1, 168, 168 ], [ 1, 336, 336 ], [ 1, 192, 192 ], [ 1, 32, 96 ], [ 1, 48, 336 ] ]; ker[441] := [ <[ 24, 24 ], [ 168 ]>, <[ 168, 168 ], [ 168 ]>, <[ 336, 336 ], [ 336 ]>, <[ 192, 192 ], [ 192 ]>, <[ 32, 32 ], [ 96 ]>, <[ 48, 48 ], [ 336 ]> ]; // time = 403.111 second// Level 442 dat[442] := [ [ 1, 64, 64 ], [ 1, 96, 96 ], [ 1, 48, 48 ], [ 1, 10560, 10560 ], [ 1, 192, 192 ] ]; ker[442] := [ <[ 64, 64 ], [ 64 ]>, <[ 96, 96 ], [ 96 ]>, <[ 48, 48 ], [ 48 ]>, <[ 10560, 10560 ], [ 10560 ]>, <[ 192, 192 ], [ 192 ]> ]; // time = 551.389 second// Level 443 dat[443] := [ [ 1, 12, 12 ], [ 1, 14, 14 ], [ 1, 62, 62 ] ]; ker[443] := [ <[ 12, 12 ], [ 12 ]>, <[ 14, 14 ], [ 14 ]>, <[ 62, 62 ], [ 62 ]> ]; // time = 57.44 second// Level 444 dat[444] := [ [ 1, 24, 24 ], [ 1, 48, 48 ] ]; ker[444] := [ <[ 24, 24 ], [ 24 ]>, <[ 48, 48 ], [ 48 ]> ]; // time = 372.871 second// Level 445 // Level 446 dat[446] := [ [ 1, 24, 24 ], [ 1, 88, 88 ], [ 1, 36, 36 ], [ 1, 56, 56 ] ]; ker[446] := [ <[ 24, 24 ], [ 24 ]>, <[ 88, 88 ], [ 88 ]>, <[ 36, 36 ], [ 36 ]>, <[ 56, 56 ], [ 56 ]> ]; // time = 187.961 second// Level 447 // Level 448 dat[448] := [ [ 1, 32, 128 ], [ 1, 64, 256 ], [ 1, 64, 256 ], [ 1, 32, 128 ], [ 1, 64, 256 ], [ 1, 64, 256 ], [ 1, 32, 128 ], [ 1, 32, 128 ] ]; ker[448] := [ <[ 32, 32 ], [ 128 ]>, <[ 64, 64 ], [ 256 ]>, <[ 64, 64 ], [ 256 ]>, <[ 32, 32 ], [ 128 ]>, <[ 64, 64 ], [ 256 ]>, <[ 64, 64 ], [ 256 ]>, <[ 32, 32 ], [ 128 ]>, <[ 32, 32 ], [ 128 ]> ]; // time = 902.25 second// Level 449 // Level 450 dat[450] := [ [ 1, 192, 192 ], [ 1, 60, 60 ], [ 1, 384, 384 ], [ 1, 64, 320 ], [ 1, 192, 192 ], [ 1, 320, 320 ], [ 1, 60, 60 ] ]; ker[450] := [ <[ 192, 192 ], [ 192 ]>, <[ 60, 60 ], [ 60 ]>, <[ 384, 384 ], [ 384 ]>, <[ 64, 64 ], [ 320 ]>, <[ 192, 192 ], [ 192 ]>, <[ 320, 320 ], [ 320 ]>, <[ 60, 60 ], [ 60 ]> ]; // time = 3224.3 second// Level 451 dat[451] := [ [ 1, 36, 36 ] ]; ker[451] := [ <[ 36, 36 ], [ 36 ]> ]; // time = 72.459 second// Level 452 // Level 453 // Level 454 // Level 455 dat[455] := [ [ 1, 48, 48 ], [ 1, 32, 32 ] ]; ker[455] := [ <[ 48, 48 ], [ 48 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 181.429 second// Level 456 dat[456] := [ [ 1, 80, 80 ], [ 1, 48, 48 ], [ 1, 96, 192 ], [ 1, 96, 192 ] ]; ker[456] := [ <[ 80, 80 ], [ 80 ]>, <[ 48, 48 ], [ 48 ]>, <[ 96, 96 ], [ 192 ]>, <[ 96, 96 ], [ 192 ]> ]; // time = 1025.799 second// Level 457 // Level 458 dat[458] := [ [ 1, 48, 48 ], [ 1, 40, 40 ] ]; ker[458] := [ <[ 48, 48 ], [ 48 ]>, <[ 40, 40 ], [ 40 ]> ]; // time = 109.941 second// Level 459 dat[459] := [ [ 1, 12, 36 ], [ 1, 60, 180 ], [ 1, 18, 54 ], [ 1, 198, 198 ], [ 1, 180, 180 ], [ 1, 54, 54 ], [ 1, 66, 198 ], [ 1, 36, 36 ] ]; ker[459] := [ <[ 12, 12 ], [ 36 ]>, <[ 60, 60 ], [ 180 ]>, <[ 18, 18 ], [ 54 ]>, <[ 198, 198 ], [ 198 ]>, <[ 180, 180 ], [ 180 ]>, <[ 54, 54 ], [ 54 ]>, <[ 66, 66 ], [ 198 ]>, <[ 36, 36 ], [ 36 ]> ]; // time = 507.709 second// Level 460 dat[460] := [ [ 1, 36, 36 ], [ 1, 360, 360 ], [ 1, 144, 144 ], [ 1, 24, 24 ] ]; ker[460] := [ <[ 36, 36 ], [ 36 ]>, <[ 360, 360 ], [ 360 ]>, <[ 144, 144 ], [ 144 ]>, <[ 24, 24 ], [ 24 ]> ]; // time = 580.649 second// Level 461 // Level 462 dat[462] := [ [ 1, 64, 64 ], [ 1, 480, 480 ], [ 1, 32, 32 ], [ 1, 4160, 4160 ], [ 1, 672, 672 ], [ 1, 192, 192 ], [ 1, 96, 96 ] ]; ker[462] := [ <[ 64, 64 ], [ 64 ]>, <[ 480, 480 ], [ 480 ]>, <[ 32, 32 ], [ 32 ]>, <[ 4160, 4160 ], [ 4160 ]>, <[ 672, 672 ], [ 672 ]>, <[ 192, 192 ], [ 192 ]>, <[ 96, 96 ], [ 96 ]> ]; // time = 4760.191 second// Level 463 // Level 464 dat[464] := [ [ 1, 32, 64 ], [ 1, 32, 64 ], [ 1, 96, 192 ], [ 1, 32, 64 ], [ 1, 60, 60 ], [ 1, 480, 960 ], [ 1, 96, 192 ] ]; ker[464] := [ <[ 32, 32 ], [ 64 ]>, <[ 32, 32 ], [ 64 ]>, <[ 96, 96 ], [ 192 ]>, <[ 32, 32 ], [ 64 ]>, <[ 60, 60 ], [ 60 ]>, <[ 480, 480 ], [ 960 ]>, <[ 96, 96 ], [ 192 ]> ]; // time = 548.471 second// Level 465 dat[465] := [ [ 1, 48, 48 ], [ 1, 32, 32 ] ]; ker[465] := [ <[ 48, 48 ], [ 48 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 271.131 second// Level 466 dat[466] := [ [ 1, 20, 20 ], [ 1, 32, 32 ] ]; ker[466] := [ <[ 20, 20 ], [ 20 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 122.329 second// Level 467 dat[467] := [ [ 1, 34, 34 ] ]; ker[467] := [ <[ 34, 34 ], [ 34 ]> ]; // time = 26.271 second// Level 468 dat[468] := [ [ 1, 192, 576 ], [ 1, 576, 576 ], [ 1, 48, 144 ], [ 1, 96, 96 ], [ 1, 96, 96 ] ]; ker[468] := [ <[ 192, 192 ], [ 576 ]>, <[ 576, 576 ], [ 576 ]>, <[ 48, 48 ], [ 144 ]>, <[ 96, 96 ], [ 96 ]>, <[ 96, 96 ], [ 96 ]> ]; // time = 2106.309 second// Level 469 dat[469] := [ [ 1, 80, 80 ], [ 1, 32, 32 ] ]; ker[469] := [ <[ 80, 80 ], [ 80 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 156.48 second// Level 470 dat[470] := [ [ 1, 64, 64 ], [ 1, 320, 320 ], [ 1, 112, 112 ], [ 1, 80, 80 ], [ 1, 32, 32 ], [ 1, 336, 336 ] ]; ker[470] := [ <[ 64, 64 ], [ 64 ]>, <[ 320, 320 ], [ 320 ]>, <[ 112, 112 ], [ 112 ]>, <[ 80, 80 ], [ 80 ]>, <[ 32, 32 ], [ 32 ]>, <[ 336, 336 ], [ 336 ]> ]; // time = 884.271 second// Level 471 dat[471] := [ [ 1, 16, 16 ] ]; ker[471] := [ <[ 16, 16 ], [ 16 ]> ]; // time = 65.229 second// Level 472 dat[472] := [ [ 1, 40, 80 ], [ 1, 48, 48 ], [ 1, 24, 24 ], [ 1, 112, 112 ], [ 1, 16, 16 ] ]; ker[472] := [ <[ 40, 40 ], [ 80 ]>, <[ 48, 48 ], [ 48 ]>, <[ 24, 24 ], [ 24 ]>, <[ 112, 112 ], [ 112 ]>, <[ 16, 16 ], [ 16 ]> ]; // time = 338.19 second// Level 473 dat[473] := [ [ 1, 204, 204 ] ]; ker[473] := [ <[ 204, 204 ], [ 204 ]> ]; // time = 99.701 second// Level 474 dat[474] := [ [ 1, 168, 168 ], [ 1, 40, 40 ] ]; ker[474] := [ <[ 168, 168 ], [ 168 ]>, <[ 40, 40 ], [ 40 ]> ]; // time = 467.811 second// Level 475 dat[475] := [ [ 1, 36, 180 ], [ 1, 80, 80 ], [ 1, 16, 80 ] ]; ker[475] := [ <[ 36, 36 ], [ 180 ]>, <[ 80, 80 ], [ 80 ]>, <[ 16, 16 ], [ 80 ]> ]; // time = 219.3 second// Level 476 // Level 477 dat[477] := [ [ 1, 28, 84 ] ]; ker[477] := [ <[ 28, 28 ], [ 84 ]> ]; // time = 82.489 second// Level 478 // Level 479 // Level 480 dat[480] := [ [ 1, 32, 64 ], [ 1, 32, 64 ], [ 1, 32, 64 ], [ 1, 192, 384 ], [ 1, 192, 384 ], [ 1, 64, 128 ], [ 1, 32, 64 ], [ 1, 64, 128 ] ]; ker[480] := [ <[ 32, 32 ], [ 64 ]>, <[ 32, 32 ], [ 64 ]>, <[ 32, 32 ], [ 64 ]>, <[ 192, 192 ], [ 384 ]>, <[ 192, 192 ], [ 384 ]>, <[ 64, 64 ], [ 128 ]>, <[ 32, 32 ], [ 64 ]>, <[ 64, 64 ], [ 128 ]> ]; // time = 4757.289 second// Level 481 dat[481] := [ [ 1, 114, 114 ] ]; ker[481] := [ <[ 114, 114 ], [ 114 ]> ]; // time = 85.771 second// Level 482 dat[482] := [ [ 1, 112, 112 ] ]; ker[482] := [ <[ 112, 112 ], [ 112 ]> ]; // time = 76.459 second// Level 483 dat[483] := [ [ 1, 300, 300 ], [ 1, 20, 20 ] ]; ker[483] := [ <[ 300, 300 ], [ 300 ]>, <[ 20, 20 ], [ 20 ]> ]; // time = 318.261 second// Level 484 dat[484] := [ [ 1, 240, 240 ] ]; ker[484] := [ <[ 240, 240 ], [ 240 ]> ]; // time = 161.101 second// Level 485 dat[485] := [ [ 1, 140, 140 ], [ 1, 12, 12 ] ]; ker[485] := [ <[ 140, 140 ], [ 140 ]>, <[ 12, 12 ], [ 12 ]> ]; // time = 211.769 second// Level 486 dat[486] := [ [ 1, 36, 324 ], [ 1, 36, 324 ], [ 1, 108, 324 ], [ 1, 36, 324 ], [ 1, 36, 324 ], [ 1, 108, 324 ] ]; ker[486] := [ <[ 36, 36 ], [ 324 ]>, <[ 36, 36 ], [ 324 ]>, <[ 108, 108 ], [ 324 ]>, <[ 36, 36 ], [ 324 ]>, <[ 36, 36 ], [ 324 ]>, <[ 108, 108 ], [ 324 ]> ]; // time = 1315.751 second// Level 487 // Level 488 // Level 489 // Level 490 dat[490] := [ [ 1, 168, 168 ], [ 1, 84, 588 ], [ 1, 588, 588 ], [ 1, 24, 168 ], [ 1, 60, 420 ], [ 1, 840, 840 ], [ 1, 160, 1120 ], [ 1, 192, 192 ], [ 1, 420, 420 ], [ 1, 1120, 1120 ], [ 1, 120, 840 ] ]; ker[490] := [ <[ 168, 168 ], [ 168 ]>, <[ 84, 84 ], [ 588 ]>, <[ 588, 588 ], [ 588 ]>, <[ 24, 24 ], [ 168 ]>, <[ 60, 60 ], [ 420 ]>, <[ 840, 840 ], [ 840 ]>, <[ 160, 160 ], [ 1120 ]>, <[ 192, 192 ], [ 192 ]>, <[ 420, 420 ], [ 420 ]>, <[ 1120, 1120 ], [ 1120 ]>, <[ 120, 120 ], [ 840 ]> ]; // time = 3706.849 second// Level 491 // Level 492 dat[492] := [ [ 1, 24, 24 ], [ 1, 216, 216 ] ]; ker[492] := [ <[ 24, 24 ], [ 24 ]>, <[ 216, 216 ], [ 216 ]> ]; // time = 567.089 second// Level 493 dat[493] := [ [ 1, 1872, 1872 ], [ 1, 120, 120 ] ]; ker[493] := [ <[ 1872, 1872 ], [ 1872 ]>, <[ 120, 120 ], [ 120 ]> ]; // time = 187.47 second// Level 494 dat[494] := [ [ 1, 40, 40 ], [ 1, 34, 34 ], [ 1, 152, 152 ], [ 1, 312, 312 ] ]; ker[494] := [ <[ 40, 40 ], [ 40 ]>, <[ 34, 34 ], [ 34 ]>, <[ 152, 152 ], [ 152 ]>, <[ 312, 312 ], [ 312 ]> ]; // time = 604.71 second// Level 495 dat[495] := [ [ 1, 32, 96 ] ]; ker[495] := [ <[ 32, 32 ], [ 96 ]> ]; // time = 254.209 second// Level 496 dat[496] := [ [ 1, 16, 64 ], [ 1, 16, 64 ], [ 1, 32, 64 ], [ 1, 24, 96 ], [ 1, 24, 96 ], [ 1, 48, 96 ] ]; ker[496] := [ <[ 16, 16 ], [ 64 ]>, <[ 16, 16 ], [ 64 ]>, <[ 32, 32 ], [ 64 ]>, <[ 24, 24 ], [ 96 ]>, <[ 24, 24 ], [ 96 ]>, <[ 48, 48 ], [ 96 ]> ]; // time = 585.18 second// Level 497 dat[497] := [ [ 1, 40, 40 ] ]; ker[497] := [ <[ 40, 40 ], [ 40 ]> ]; // time = 95.36 second// Level 498 dat[498] := [ [ 1, 28, 28 ], [ 1, 80, 80 ] ]; ker[498] := [ <[ 28, 28 ], [ 28 ]>, <[ 80, 80 ], [ 80 ]> ]; // time = 580.451 second// Level 499 // Level 500 // Level 501 dat[501] := [ [ 1, 46, 46 ] ]; ker[501] := [ <[ 46, 46 ], [ 46 ]> ]; // time = 103.26 second // Level 502 // Level 503 dat[503] := [ [ 1, 22, 22 ], [ 1, 38, 38 ], [ 1, 100, 100 ] ]; ker[503] := [ <[ 22, 22 ], [ 22 ]>, <[ 38, 38 ], [ 38 ]>, <[ 100, 100 ], [ 100 ]> ]; // time = 155.951 second // Level 504 dat[504] := [ [ 1, 32, 192 ], [ 1, 96, 192 ], [ 1, 64, 192 ], [ 1, 96, 192 ], [ 1, 32, 192 ], [ 1, 64, 128 ], [ 1, 192, 384 ], [ 1, 96, 96 ] ]; ker[504] := [ <[ 32, 32 ], [ 192 ]>, <[ 96, 96 ], [ 192 ]>, <[ 64, 64 ], [ 192 ]>, <[ 96, 96 ], [ 192 ]>, <[ 32, 32 ], [ 192 ]>, <[ 64, 64 ], [ 128 ]>, <[ 192, 192 ], [ 384 ]>, <[ 96, 96 ], [ 96 ]> ]; // time = 6621.93 second // Level 505 dat[505] := [ [ 1, 16, 16 ] ]; ker[505] := [ <[ 16, 16 ], [ 16 ]> ]; // time = 122.24 second // Level 506 dat[506] := [ [ 1, 56, 56 ], [ 1, 2856, 2856 ], [ 1, 88, 88 ], [ 1, 200, 200 ], [ 1, 24, 24 ], [ 1, 104, 104 ] ]; ker[506] := [ <[ 56, 56 ], [ 56 ]>, <[ 2856, 2856 ], [ 2856 ]>, <[ 88, 88 ], [ 88 ]>, <[ 200, 200 ], [ 200 ]>, <[ 24, 24 ], [ 24 ]>, <[ 104, 104 ], [ 104 ]> ]; // time = 822.039 second // Level 507 dat[507] := [ [ 1, 312, 312 ], [ 1, 24, 312 ], [ 1, 168, 168 ] ]; ker[507] := [ <[ 312, 312 ], [ 312 ]>, <[ 24, 24 ], [ 312 ]>, <[ 168, 168 ], [ 168 ]> ]; // time = 392.689 second // Level 508 // Level 509 // Level 510 dat[510] := [ [ 1, 1008, 1008 ], [ 1, 336, 336 ], [ 1, 80, 80 ], [ 1, 192, 192 ], [ 1, 128, 128 ], [ 1, 32, 32 ], [ 1, 144, 144 ] ]; ker[510] := [ <[ 1008, 1008 ], [ 1008 ]>, <[ 336, 336 ], [ 336 ]>, <[ 80, 80 ], [ 80 ]>, <[ 192, 192 ], [ 192 ]>, <[ 128, 128 ], [ 128 ]>, <[ 32, 32 ], [ 32 ]>, <[ 144, 144 ], [ 144 ]> ]; // time = 7112.731 second // Level 511 // Level 512 // Level 513 dat[513] := [ [ 1, 72, 72 ], [ 1, 24, 72 ] ]; ker[513] := [ <[ 72, 72 ], [ 72 ]>, <[ 24, 24 ], [ 72 ]> ]; // time = 217.371 second // Level 514 dat[514] := [ [ 1, 128, 128 ], [ 1, 32, 32 ] ]; ker[514] := [ <[ 128, 128 ], [ 128 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 184.77 second // Level 515 // Level 516 dat[516] := [ [ 1, 48, 48 ], [ 1, 48, 48 ], [ 1, 42, 42 ], [ 1, 288, 288 ] ]; ker[516] := [ <[ 48, 48 ], [ 48 ]>, <[ 48, 48 ], [ 48 ]>, <[ 42, 42 ], [ 42 ]>, <[ 288, 288 ], [ 288 ]> ]; // time = 1591.631 second // Level 517 dat[517] := [ [ 1, 120, 120 ], [ 1, 72, 72 ], [ 1, 432, 432 ] ]; ker[517] := [ <[ 120, 120 ], [ 120 ]>, <[ 72, 72 ], [ 72 ]>, <[ 432, 432 ], [ 432 ]> ]; // time = 410.221 second // Level 518 // Level 519 // Level 520 dat[520] := [ [ 1, 32, 32 ], [ 1, 32, 32 ] ]; ker[520] := [ <[ 32, 32 ], [ 32 ]>, <[ 32, 32 ], [ 32 ]> ]; // time = 919.61 second // Level 521 // Level 522 dat[522] := [ [ 1, 240, 240 ], [ 1, 440, 1320 ], [ 1, 80, 80 ], [ 1, 224, 224 ], [ 1, 96, 96 ], [ 1, 120, 120 ], [ 1, 1320, 1320 ], [ 1, 80, 80 ], [ 1, 80, 240 ], [ 1, 416, 416 ], [ 1, 80, 80 ], [ 1, 56, 168 ], [ 1, 12320, 12320 ] ]; ker[522] := [ <[ 240, 240 ], [ 240 ]>, <[ 440, 440 ], [ 1320 ]>, <[ 80, 80 ], [ 80 ]>, <[ 224, 224 ], [ 224 ]>, <[ 96, 96 ], [ 96 ]>, <[ 120, 120 ], [ 120 ]>, <[ 1320, 1320 ], [ 1320 ]>, <[ 80, 80 ], [ 80 ]>, <[ 80, 80 ], [ 240 ]>, <[ 416, 416 ], [ 416 ]>, <[ 80, 80 ], [ 80 ]>, <[ 56, 56 ], [ 168 ]>, <[ 12320, 12320 ], [ 12320 ]> ]; // time = 5078.189 second // Level 523 // Level 524 dat[524] := [ [ 1, 60, 60 ] ]; ker[524] := [ <[ 60, 60 ], [ 60 ]> ]; // time = 228.89 second // Level 525 dat[525] := [ [ 1, 96, 96 ], [ 1, 64, 320 ], [ 1, 240, 240 ], [ 1, 48, 240 ] ]; ker[525] := [ <[ 96, 96 ], [ 96 ]>, <[ 64, 64 ], [ 320 ]>, <[ 240, 240 ], [ 240 ]>, <[ 48, 48 ], [ 240 ]> ]; // time = 1277.989 second // Level 526 // Level 527 // Level 528 dat[528] := [ [ 1, 32, 64 ], [ 1, 48, 96 ], [ 1, 672, 1344 ], [ 1, 32, 64 ], [ 1, 24, 48 ], [ 1, 480, 960 ], [ 1, 96, 192 ], [ 1, 96, 192 ], [ 1, 120, 240 ], [ 1, 96, 192 ] ]; ker[528] := [ <[ 32, 32 ], [ 64 ]>, <[ 48, 48 ], [ 96 ]>, <[ 672, 672 ], [ 1344 ]>, <[ 32, 32 ], [ 64 ]>, <[ 24, 24 ], [ 48 ]>, <[ 480, 480 ], [ 960 ]>, <[ 96, 96 ], [ 192 ]>, <[ 96, 96 ], [ 192 ]>, <[ 120, 120 ], [ 240 ]>, <[ 96, 96 ], [ 192 ]> ]; // time = 8277.79 second // Level 529 // Level 530 dat[530] := [ [ 1, 112, 112 ], [ 1, 24, 24 ], [ 1, 1200, 1200 ], [ 1, 48, 48 ] ]; ker[530] := [ <[ 112, 112 ], [ 112 ]>, <[ 24, 24 ], [ 24 ]>, <[ 1200, 1200 ], [ 1200 ]>, <[ 48, 48 ], [ 48 ]> ]; // time = 1046.67 second // Level 531 // Level 532 dat[532] := [ [ 1, 30, 30 ] ]; ker[532] := [ <[ 30, 30 ], [ 30 ]> ]; // time = 384.44 second // Level 533 // Level 534 dat[534] := [ [ 1, 48, 48 ] ]; ker[534] := [ <[ 48, 48 ], [ 48 ]> ]; // time = 548.04 second // Level 535 // Level 536 // Level 537 dat[537] := [ [ 1, 208, 208 ], [ 1, 32, 32 ], [ 1, 64, 64 ], [ 1, 24, 24 ], [ 1, 192, 192 ] ]; ker[537] := [ <[ 208, 208 ], [ 208 ]>, <[ 32, 32 ], [ 32 ]>, <[ 64, 64 ], [ 64 ]>, <[ 24, 24 ], [ 24 ]>, <[ 192, 192 ], [ 192 ]> ]; // time = 583.18 second // Level 538 // Level 539 dat[539] := [ [ 1, 320, 320 ], [ 1, 192, 192 ], [ 1, 288, 288 ], [ 1, 72, 504 ] ]; ker[539] := [ <[ 320, 320 ], [ 320 ]>, <[ 192, 192 ], [ 192 ]>, <[ 288, 288 ], [ 288 ]>, <[ 72, 72 ], [ 504 ]> ]; // time = 885.819 second