Sharedwww / Tables / degphi_r_table.mOpen in CoCalc
///////////////////////////////////////////////////////////////////////
// 
// 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