properties | | c vector | | θ vector | | ψ expansion | | Borch(ψ) coefficients |
φ | = TB(46;−1,−1,−1,−1,−1,−1,−1,−1,2,2,2,2,2,2,2,2,2,2) | |
= 1−8210 | ||
= η(τ)92(θ(τ,z)/η(τ))−8(θ(τ,2z)/η(τ))10 |
(D,r) | multiplicity of Hum(D,r) |
---|---|
(1,1) | 2 |
(4,2) | 10 |
c1 | -478217911/23485959057120 |
c2 | -42081759/184203600448 |
c3 | -182237/383444229504 |
θ1 | TB(12;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,3,4)|W_7 |
θ2 | TB(12;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,3)|W_7 |
θ3 | TB(12;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,3,4,6)|W_11 |
The expansion of ψ up to q^(4/4) is
(92 + 10/ζ^2 - 8/ζ - 8*ζ + 10*ζ^2)
+q(1064 + 108/ζ^4 + 8/ζ^3 - 640/ζ^2 - 8/ζ - 8*ζ - 640*ζ^2 + 8*ζ^3 + 108*ζ^4)
[a b c ] | = |
|
2u | det(2u) | a(u, Borch(ψ)) |
---|---|---|
[2 3 8] | 7 | 0 |
[2 2 8] | 12 | 0 |
[2 1 8] | 15 | 0 |
[4 -9 24] | 15 | 0 |
[2 0 8] | 16 | 0 |
[2 4 16] | 16 | 0 |
[4 4 8] | 16 | 0 |
[2 3 16] | 23 | 0 |
[6 -13 32] | 23 | 0 |
[6 -19 64] | 23 | 0 |
[2 2 16] | 28 | 0 |
[4 2 8] | 28 | 0 |
[4 6 16] | 28 | 0 |
[2 1 16] | 31 | 0 |
[4 1 8] | 31 | 0 |
[8 -17 40] | 31 | 0 |
[2 0 16] | 32 | 0 |
[2 4 24] | 32 | 0 |
[4 0 8] | 32 | 0 |
[4 8 24] | 32 | 0 |
[6 8 16] | 32 | 0 |
[6 -20 72] | 32 | 0 |
[2 3 24] | 39 | 0 |
[4 5 16] | 39 | 0 |
[10 -21 48] | 39 | 0 |
[6 3 8] | 39 | 0 |
[2 2 24] | 44 | 0 |
[6 2 8] | 44 | 0 |
[6 14 40] | 44 | 0 |
[2 1 24] | 47 | 0 |
[12 -25 56] | 47 | 0 |
[4 9 32] | 47 | 0 |
[6 1 8] | 47 | 0 |
[6 7 16] | 47 | 0 |
[2 0 24] | 48 | 0 |
[2 4 32] | 48 | 0 |
[4 4 16] | 48 | 0 |
[6 0 8] | 48 | 0 |
[6 12 32] | 48 | 0 |
[8 4 8] | 48 | 0 |
[8 12 24] | 48 | 0 |
[2 3 32] | 55 | 0 |
[14 -29 64] | 55 | 0 |
[14 -43 136] | 55 | 0 |
[8 3 8] | 55 | 0 |
[2 2 32] | 60 | 0 |
[4 2 16] | 60 | 0 |
[4 6 24] | 60 | 0 |
[6 6 16] | 60 | 0 |
[8 2 8] | 60 | 0 |
[8 -18 48] | 60 | 0 |
[2 1 32] | 63 | 0 |
[4 1 16] | 63 | 0 |
[16 -33 72] | 63 | 0 |
[6 9 24] | 63 | 0 |
[8 1 8] | 63 | 0 |
[2 0 32] | 64 | 0 |
[2 4 40] | 64 | 0 |
[4 0 16] | 64 | 0 |
[4 8 32] | 64 | 0 |
[8 0 8] | 64 | 0 |
[8 8 16] | 64 | 0 |
[8 -16 40] | 64 | 0 |
[10 -4 8] | 64 | 0 |
[10 -24 64] | 64 | 0 |
[2 3 40] | 71 | 0 |
[4 5 24] | 71 | 0 |
[18 -37 80] | 71 | 0 |
[12 -37 120] | 71 | 0 |
[6 13 40] | 71 | 0 |
[10 -3 8] | 71 | 0 |
[8 11 24] | 71 | 0 |
[2 2 40] | 76 | 0 |
[10 -2 8] | 76 | 0 |
[10 -22 56] | 76 | 0 |
[2 1 40] | 79 | 0 |
[20 -41 88] | 79 | 0 |
[4 9 40] | 79 | 0 |
[10 -1 8] | 79 | 0 |
[10 -31 104] | 79 | 0 |
[2 0 40] | 80 | 0 |
[2 4 48] | 80 | 0 |
[4 4 24] | 80 | 0 |
[6 8 24] | 80 | 0 |
[14 -44 144] | 80 | 0 |
[10 0 8] | 80 | 0 |
[10 -20 48] | 80 | 0 |
[12 -4 8] | 80 | 0 |
[12 -28 72] | 80 | 0 |
[2 3 48] | 87 | 0 |
[22 -67 208] | 87 | 0 |
[6 3 16] | 87 | 0 |
[12 -3 8] | 87 | 0 |
[8 19 56] | 87 | 0 |
[2 2 48] | 92 | 0 |
[4 2 24] | 92 | 0 |
[4 6 32] | 92 | 0 |
[6 2 16] | 92 | 0 |
[6 14 48] | 92 | 0 |
[12 -2 8] | 92 | 0 |
[8 10 24] | 92 | 0 |
[12 -26 64] | 92 | 0 |
[12 -38 128] | 92 | 0 |
[2 1 48] | 95 | 0 |
[4 1 24] | 95 | 0 |
[6 1 16] | 95 | 0 |
[6 7 24] | 95 | 0 |
[12 -1 8] | 95 | 0 |
[8 17 48] | 95 | 0 |
[10 15 32] | 95 | 0 |
[2 0 48] | 96 | 0 |
[2 4 56] | 96 | 0 |
[4 0 24] | 96 | 0 |
[4 8 40] | 96 | 0 |
[6 0 16] | 96 | 0 |
[6 12 40] | 96 | 0 |
[12 0 8] | 96 | 0 |
[12 -24 56] | 96 | 0 |
[14 -4 8] | 96 | 0 |
[14 -32 80] | 96 | 0 |
[10 12 24] | 96 | 0 |
[10 -32 112] | 96 | 0 |
[2 3 56] | 103 | 0 |
[4 5 32] | 103 | 0 |
[14 -3 8] | 103 | 0 |
[14 -45 152] | 103 | 0 |
[2 2 56] | 108 | 0 |
[6 6 24] | 108 | 0 |
[14 -2 8] | 108 | 0 |
[14 -30 72] | 108 | 0 |
[2 1 56] | 111 | 0 |
[4 9 48] | 111 | 0 |
[6 9 32] | 111 | 0 |
[14 -1 8] | 111 | 0 |
[8 9 24] | 111 | 0 |
[12 -39 136] | 111 | 0 |
[10 23 64] | 111 | 0 |
[2 0 56] | 112 | 0 |
[2 4 64] | 112 | 0 |
[4 4 32] | 112 | 0 |
[14 0 8] | 112 | 0 |
[14 -28 64] | 112 | 0 |
[8 4 16] | 112 | 0 |
[16 -4 8] | 112 | 0 |
[8 12 32] | 112 | 0 |
[16 -36 88] | 112 | 0 |
[2 3 64] | 119 | 0 |
[30 -91 280] | 119 | 0 |
[20 -61 192] | 119 | 0 |
[6 13 48] | 119 | 0 |
[8 3 16] | 119 | 0 |
[16 -3 8] | 119 | 0 |
[10 11 24] | 119 | 0 |
[10 21 56] | 119 | 0 |
[12 -29 80] | 119 | 0 |
[2 2 64] | 124 | 0 |
[4 2 32] | 124 | 0 |
[4 6 40] | 124 | 0 |
[8 2 16] | 124 | 0 |
[16 -2 8] | 124 | 0 |
[16 -34 80] | 124 | 0 |
[8 18 56] | 124 | 0 |
[10 14 32] | 124 | 0 |
[14 -46 160] | 124 | 0 |
[2 1 64] | 127 | 0 |
[4 1 32] | 127 | 0 |
[8 1 16] | 127 | 0 |
[16 -1 8] | 127 | 0 |
[2 0 64] | 128 | 0 |
[2 4 72] | 128 | 0 |
[4 0 32] | 128 | 0 |
[4 8 48] | 128 | 0 |
[6 8 32] | 128 | 0 |
[22 -68 216] | 128 | 0 |
[8 0 16] | 128 | 0 |
[16 0 8] | 128 | 0 |
[8 8 24] | 128 | 0 |
[16 -32 72] | 128 | 0 |
[8 16 48] | 128 | 0 |
[18 -4 8] | 128 | 0 |
[18 -40 96] | 128 | 0 |
[12 16 32] | 128 | 0 |
[12 -40 144] | 128 | 0 |
[2 3 72] | 135 | 0 |
[4 5 40] | 135 | 0 |
[6 3 24] | 135 | 0 |
[18 -3 8] | 135 | 0 |
[8 11 32] | 135 | 0 |
[10 5 16] | 135 | 0 |
[12 -27 72] | 135 | 0 |
[2 2 72] | 140 | 0 |
[6 2 24] | 140 | 0 |
[6 14 56] | 140 | 0 |
[18 -2 8] | 140 | 0 |
[18 -38 88] | 140 | 0 |
[10 10 24] | 140 | 0 |
[2 1 72] | 143 | 0 |
[4 9 56] | 143 | 0 |
[6 1 24] | 143 | 0 |
[6 7 32] | 143 | 0 |
[18 -1 8] | 143 | 0 |
[18 -55 176] | 143 | 0 |
[12 -25 64] | 143 | 0 |
[14 -33 88] | 143 | 0 |
[14 -47 168] | 143 | 0 |
[2 0 72] | 144 | 0 |
[2 4 80] | 144 | 0 |
[4 4 40] | 144 | 0 |
[6 0 24] | 144 | 0 |
[6 12 48] | 144 | 0 |
[18 0 8] | 144 | 0 |
[18 -36 80] | 144 | 0 |
[20 -4 8] | 144 | 0 |
[20 -44 104] | 144 | 0 |
[10 4 16] | 144 | 0 |
[10 24 72] | 144 | 0 |
[12 12 24] | 144 | 0 |
[2 3 80] | 151 | 0 |
[38 -115 352] | 151 | 0 |
[20 -3 8] | 151 | 0 |
[8 19 64] | 151 | 0 |
[10 3 16] | 151 | 0 |
[10 13 32] | 151 | 0 |
[2 2 80] | 156 | 0 |
[4 2 40] | 156 | 0 |
[4 6 48] | 156 | 0 |
[6 6 32] | 156 | 0 |
[20 -2 8] | 156 | 0 |
[8 10 32] | 156 | 0 |
[20 -42 96] | 156 | 0 |
[20 -62 200] | 156 | 0 |
[10 2 16] | 156 | 0 |
[10 22 64] | 156 | 0 |
[12 6 16] | 156 | 0 |
[12 18 40] | 156 | 0 |
[2 1 80] | 159 | 0 |
[4 1 40] | 159 | 0 |
[6 9 40] | 159 | 0 |
[20 -1 8] | 159 | 0 |
[8 17 56] | 159 | 0 |
[10 1 16] | 159 | 0 |
[16 -49 160] | 159 | 0 |
[12 15 32] | 159 | 0 |
[14 -31 80] | 159 | 0 |
[2 0 80] | 160 | 0 |
[4 0 40] | 160 | 0 |
[4 8 56] | 160 | 0 |
[20 0 8] | 160 | 0 |
[22 -4 8] | 160 | 0 |
[22 -48 112] | 160 | 0 |
[10 0 16] | 160 | 0 |
[10 20 56] | 160 | 0 |
[14 20 40] | 160 | 0 |
[14 -48 176] | 160 | 0 |
[4 5 48] | 167 | 0 |
[28 -85 264] | 167 | 0 |
[6 13 56] | 167 | 0 |
[22 -3 8] | 167 | 0 |
[22 -69 224] | 167 | 0 |
[14 -29 72] | 167 | 0 |
[14 -43 144] | 167 | 0 |
[12 5 16] | 167 | 0 |
[16 -37 96] | 167 | 0 |
[22 -2 8] | 172 | 0 |
[4 9 64] | 175 | 0 |
[22 -1 8] | 175 | 0 |
[8 9 32] | 175 | 0 |
[10 15 40] | 175 | 0 |
[14 7 16] | 175 | 0 |
[4 4 48] | 176 | 0 |
[6 8 40] | 176 | 0 |
[30 -92 288] | 176 | 0 |
[22 0 8] | 176 | 0 |
[8 4 24] | 176 | 0 |
[24 -4 8] | 176 | 0 |
[8 12 40] | 176 | 0 |
[10 12 32] | 176 | 0 |
[18 -56 184] | 176 | 0 |
[12 4 16] | 176 | 0 |
[12 28 80] | 176 | 0 |
[46 -139 424] | 183 | 0 |
[6 3 32] | 183 | 0 |
[8 3 24] | 183 | 0 |
[24 -3 8] | 183 | 0 |
[12 3 16] | 183 | 0 |
[16 -35 88] | 183 | 0 |
[4 2 48] | 188 | 0 |
[4 6 56] | 188 | 0 |
[6 2 32] | 188 | 0 |
[6 14 64] | 188 | 0 |
[8 2 24] | 188 | 0 |
[24 -2 8] | 188 | 0 |
[8 18 64] | 188 | 0 |
[12 2 16] | 188 | 0 |
[12 14 32] | 188 | 0 |
[16 -50 168] | 188 | 0 |
[12 26 72] | 188 | 0 |
[14 6 16] | 188 | 0 |
[14 34 96] | 188 | 0 |
[4 1 48] | 191 | 0 |
[6 1 32] | 191 | 0 |
[6 7 40] | 191 | 0 |
[8 1 24] | 191 | 0 |
[24 -1 8] | 191 | 0 |
[20 -63 208] | 191 | 0 |
[10 23 72] | 191 | 0 |
[12 1 16] | 191 | 0 |
[16 -33 80] | 191 | 0 |
[12 17 40] | 191 | 0 |
[18 -41 104] | 191 | 0 |
[4 0 48] | 192 | 0 |
[4 8 64] | 192 | 0 |
[6 0 32] | 192 | 0 |
[6 12 56] | 192 | 0 |
[8 0 24] | 192 | 0 |
[24 0 8] | 192 | 0 |
[8 8 32] | 192 | 0 |
[8 16 56] | 192 | 0 |
[26 -4 8] | 192 | 0 |
[12 0 16] | 192 | 0 |
[12 24 64] | 192 | 0 |
[14 16 32] | 192 | 0 |
[14 -44 152] | 192 | 0 |
[16 8 16] | 192 | 0 |
[16 24 48] | 192 | 0 |
[4 5 56] | 199 | 0 |
[26 -3 8] | 199 | 0 |
[8 11 40] | 199 | 0 |
[10 11 32] | 199 | 0 |
[10 21 64] | 199 | 0 |
[14 5 16] | 199 | 0 |
[14 19 40] | 199 | 0 |
[6 6 40] | 204 | 0 |
[26 -2 8] | 204 | 0 |
[10 14 40] | 204 | 0 |
[22 -70 232] | 204 | 0 |
[4 9 72] | 207 | 0 |
[6 9 48] | 207 | 0 |
[26 -1 8] | 207 | 0 |
[26 -79 248] | 207 | 0 |
[18 -39 96] | 207 | 0 |
[18 -57 192] | 207 | 0 |
[16 7 16] | 207 | 0 |
[4 4 56] | 208 | 0 |
[26 0 8] | 208 | 0 |
[28 -4 8] | 208 | 0 |
[14 4 16] | 208 | 0 |
[14 32 88] | 208 | 0 |
[54 -163 496] | 215 | 0 |
[36 -109 336] | 215 | 0 |
[6 13 64] | 215 | 0 |
[28 -3 8] | 215 | 0 |
[8 19 72] | 215 | 0 |
[10 5 24] | 215 | 0 |
[12 13 32] | 215 | 0 |
[18 -37 88] | 215 | 0 |
[20 -45 112] | 215 | 0 |
[12 29 88] | 215 | 0 |
[14 3 16] | 215 | 0 |
[16 -51 176] | 215 | 0 |
[4 2 56] | 220 | 0 |
[4 6 64] | 220 | 0 |
[28 -2 8] | 220 | 0 |
[8 10 40] | 220 | 0 |
[28 -86 272] | 220 | 1 |
[10 10 32] | 220 | 0 |
[14 2 16] | 220 | 0 |
[14 30 80] | 220 | 0 |
[16 6 16] | 220 | 0 |
[16 -38 104] | 220 | 0 |
[4 1 56] | 223 | 0 |
[28 -1 8] | 223 | 0 |
[8 17 64] | 223 | 0 |
[14 1 16] | 223 | 0 |
[14 15 32] | 223 | 0 |
[4 0 56] | 224 | 0 |
[4 8 72] | 224 | 0 |
[6 8 48] | 224 | 0 |
[38 -116 360] | 224 | 0 |
[28 0 8] | 224 | 0 |
[30 -4 8] | 224 | 0 |
[10 4 24] | 224 | 0 |
[10 24 80] | 224 | 0 |
[12 16 40] | 224 | 0 |
[20 -64 216] | 224 | 0 |
[14 0 16] | 224 | 0 |
[14 28 72] | 224 | 0 |
[18 -8 16] | 224 | 0 |
[18 -44 120] | 224 | 0 |
[4 5 64] | 231 | 0 |
[6 3 40] | 231 | 0 |
[30 -3 8] | 231 | 0 |
[30 -93 296] | 231 | 8 |
[10 3 24] | 231 | 0 |
[10 13 40] | 231 | 0 |
[20 -43 104] | 231 | 0 |
[12 27 80] | 231 | 0 |
[14 21 48] | 231 | 0 |
[16 5 16] | 231 | 0 |
[6 2 40] | 236 | 0 |
[6 14 72] | 236 | 0 |
[30 -2 8] | 236 | 0 |
[10 2 24] | 236 | 0 |
[10 22 72] | 236 | 0 |
[14 18 40] | 236 | 0 |
[18 -58 200] | 236 | 0 |
[4 9 80] | 239 | 0 |
[6 1 40] | 239 | 0 |
[6 7 48] | 239 | 0 |
[30 -1 8] | 239 | 0 |
[8 9 40] | 239 | 0 |
[10 1 24] | 239 | 0 |
[24 -73 232] | 239 | 0 |
[12 25 72] | 239 | 0 |
[22 -49 120] | 239 | 0 |
[22 -71 240] | 239 | 0 |
[18 -7 16] | 239 | 0 |
[16 23 48] | 239 | 0 |
[4 4 64] | 240 | 0 |
[6 0 40] | 240 | 0 |
[6 12 64] | 240 | 0 |
[30 0 8] | 240 | 0 |
[8 4 32] | 240 | 26 |
[32 -4 8] | 240 | 0 |
[8 12 48] | 240 | 0 |
[10 0 24] | 240 | 0 |
[10 20 64] | 240 | 0 |
[12 12 32] | 240 | 0 |
[16 4 16] | 240 | 0 |
[16 20 40] | 240 | 0 |
[16 -36 96] | 240 | 0 |
[16 -52 184] | 240 | 0 |
[62 -187 568] | 247 | 0 |
[8 3 32] | 247 | 40 |
[32 -3 8] | 247 | 0 |
[16 3 16] | 247 | 0 |
[4 2 64] | 252 | 0 |
[4 6 72] | 252 | 0 |
[6 6 48] | 252 | 0 |
[8 2 32] | 252 | 15 |
[32 -2 8] | 252 | 0 |
[8 18 72] | 252 | 0 |
[12 6 24] | 252 | 0 |
[12 18 48] | 252 | 0 |
[14 14 32] | 252 | 0 |
[16 2 16] | 252 | 0 |
[16 -34 88] | 252 | 0 |
[18 -6 16] | 252 | 0 |
[18 -42 112] | 252 | 0 |
[4 1 64] | 255 | 0 |
[6 9 56] | 255 | 0 |
[8 1 32] | 255 | -48 |
[32 -1 8] | 255 | 0 |
[10 15 48] | 255 | 0 |
[12 15 40] | 255 | 0 |
[20 -65 224] | 255 | 0 |
[14 33 96] | 255 | 0 |
[16 1 16] | 255 | 0 |
[4 0 64] | 256 | 0 |
[4 8 80] | 256 | 0 |
[8 0 32] | 256 | -84 |
[32 0 8] | 256 | 0 |
[8 8 40] | 256 | -10 |
[8 16 64] | 256 | 0 |
[34 -4 8] | 256 | 0 |
[10 12 40] | 256 | 0 |
[26 -80 256] | 256 | -10 |
[16 0 16] | 256 | 0 |
[16 16 32] | 256 | 0 |
[16 -32 80] | 256 | 0 |
[20 -8 16] | 256 | 0 |
[20 -48 128] | 256 | 0 |
[4 5 72] | 263 | 0 |
[44 -133 408] | 263 | 0 |
[6 13 72] | 263 | 0 |
[34 -3 8] | 263 | 0 |
[8 11 48] | 263 | 0 |
[22 -67 216] | 263 | 0 |
[12 5 24] | 263 | 0 |
[18 -5 16] | 263 | 0 |
[18 -59 208] | 263 | 0 |
[34 -2 8] | 268 | 0 |
[4 9 88] | 271 | 0 |
[34 -1 8] | 271 | 0 |
[34 -103 320] | 271 | -72 |
[28 -87 280] | 271 | -72 |
[10 23 80] | 271 | 0 |
[14 17 40] | 271 | 0 |
[14 31 88] | 271 | 0 |
[20 -7 16] | 271 | 0 |
[16 39 112] | 271 | 0 |
[4 4 72] | 272 | 0 |
[6 8 56] | 272 | 0 |
[46 -140 432] | 272 | 0 |
[34 0 8] | 272 | 0 |
[36 -4 8] | 272 | 0 |
[12 4 24] | 272 | 0 |
[12 28 88] | 272 | 0 |
[14 20 48] | 272 | 0 |
[22 -72 248] | 272 | 0 |
[18 -4 16] | 272 | 0 |
[18 -40 104] | 272 | 0 |
[70 -211 640] | 279 | 0 |
[6 3 48] | 279 | 0 |
[36 -3 8] | 279 | 0 |
[8 19 80] | 279 | 0 |
[10 11 40] | 279 | 0 |
[10 21 72] | 279 | 0 |
[12 3 24] | 279 | 0 |
[20 -61 200] | 279 | 0 |
[14 29 80] | 279 | 0 |
[18 -3 16] | 279 | 0 |
[16 19 40] | 279 | 0 |
[18 27 56] | 279 | 0 |
[4 2 72] | 284 | 0 |
[4 6 80] | 284 | 0 |
[6 2 48] | 284 | 0 |
[6 14 80] | 284 | 0 |
[36 -2 8] | 284 | 0 |
[8 10 48] | 284 | 45 |
[36 -110 344] | 284 | -288 |
[10 14 48] | 284 | 0 |
[30 -94 304] | 284 | -288 |
[12 2 24] | 284 | 0 |
[12 14 40] | 284 | 0 |
[24 -74 240] | 284 | 45 |
[12 26 80] | 284 | 0 |
[18 -2 16] | 284 | 0 |
[18 -38 96] | 284 | 0 |
[20 -6 16] | 284 | 0 |
[16 22 48] | 284 | 0 |
[20 -46 120] | 284 | 0 |
[20 -66 232] | 284 | 0 |
[4 1 72] | 287 | 0 |
[6 1 48] | 287 | 0 |
[6 7 56] | 287 | 0 |
[36 -1 8] | 287 | 0 |
[8 17 72] | 287 | 0 |
[12 1 24] | 287 | 0 |
[12 17 48] | 287 | 0 |
[14 7 24] | 287 | 0 |
[18 -1 16] | 287 | 0 |
[18 -55 184] | 287 | 0 |
[4 0 72] | 288 | 0 |
[6 0 48] | 288 | 0 |
[6 12 72] | 288 | 0 |
[36 0 8] | 288 | 0 |
[38 -4 8] | 288 | 0 |
[12 0 24] | 288 | 0 |
[12 24 72] | 288 | 0 |
[18 0 16] | 288 | 0 |
[22 -8 16] | 288 | 0 |
[22 -52 136] | 288 | 0 |
[18 24 48] | 288 | 0 |
[18 -60 216] | 288 | 0 |
[4 5 80] | 295 | 0 |
[38 -3 8] | 295 | 0 |
[38 -117 368] | 295 | -920 |
[10 5 32] | 295 | -920 |
[20 -5 16] | 295 | 0 |
[16 37 104] | 295 | 0 |
[6 6 56] | 300 | 0 |
[38 -2 8] | 300 | 0 |
[10 10 40] | 300 | -8 |
[14 6 24] | 300 | 0 |
[14 34 104] | 300 | 0 |
[6 9 64] | 303 | 0 |
[38 -1 8] | 303 | 0 |
[8 9 48] | 303 | 280 |
[26 -81 264] | 303 | 280 |
[22 -7 16] | 303 | 0 |
[22 -73 256] | 303 | 0 |
[4 4 80] | 304 | 0 |
[38 0 8] | 304 | 0 |
[8 4 40] | 304 | -2168 |
[40 -4 8] | 304 | 0 |
[8 12 56] | 304 | -120 |
[10 4 32] | 304 | -2168 |
[10 24 88] | 304 | 0 |
[14 16 40] | 304 | 0 |
[22 -68 224] | 304 | -120 |
[20 -4 16] | 304 | 0 |
[20 -44 112] | 304 | 0 |
[78 -235 712] | 311 | 0 |
[52 -157 480] | 311 | 0 |
[6 13 80] | 311 | 0 |
[8 3 40] | 311 | -2952 |
[40 -3 8] | 311 | 0 |
[10 3 32] | 311 | -2952 |
[10 13 48] | 311 | 0 |
[12 13 40] | 311 | 0 |
[12 29 96] | 311 | 0 |
[14 5 24] | 311 | 0 |
[14 19 48] | 311 | 0 |
[20 -3 16] | 311 | 0 |
[16 35 96] | 311 | 0 |
[20 -67 240] | 311 | 0 |
[18 43 120] | 311 | 0 |
[4 2 80] | 316 | 0 |
[8 2 40] | 316 | -864 |
[40 -2 8] | 316 | 0 |
[8 18 80] | 316 | 210 |
[10 2 32] | 316 | -864 |
[10 22 80] | 316 | 0 |
[20 -2 16] | 316 | 0 |
[16 18 40] | 316 | 0 |
[20 -62 208] | 316 | 210 |
[22 -6 16] | 316 | 0 |
[22 -50 128] | 316 | 0 |
[4 1 80] | 319 | 0 |
[8 1 40] | 319 | 3944 |
[40 -1 8] | 319 | 0 |
[10 1 32] | 319 | 3944 |
[32 -97 304] | 319 | -232 |
[20 -1 16] | 319 | 0 |
[16 33 88] | 319 | 0 |
[20 -49 136] | 319 | 0 |
[4 0 80] | 320 | 0 |
[6 8 64] | 320 | 0 |
[54 -164 504] | 320 | 0 |
[8 0 40] | 320 | 6660 |
[40 0 8] | 320 | 0 |
[8 8 48] | 320 | 1476 |
[8 16 72] | 320 | -252 |
[42 -4 8] | 320 | 0 |
[10 0 32] | 320 | 6660 |
[10 20 72] | 320 | 0 |
[12 16 48] | 320 | 0 |
[28 -88 288] | 320 | 1476 |
[14 4 24] | 320 | 0 |
[14 32 96] | 320 | 0 |
[20 0 16] | 320 | 0 |
[16 8 24] | 320 | 0 |
[24 -8 16] | 320 | 0 |
[16 24 56] | 320 | 0 |
[24 -56 144] | 320 | 0 |
[18 20 40] | 320 | 0 |
[18 -56 192] | 320 | -252 |
[6 3 56] | 327 | 0 |
[42 -3 8] | 327 | 0 |
[8 11 56] | 327 | -600 |
[12 27 88] | 327 | 0 |
[14 3 24] | 327 | 0 |
[24 -75 248] | 327 | -600 |
[22 -5 16] | 327 | 0 |
[16 21 48] | 327 | 0 |
[6 2 56] | 332 | 0 |
[6 14 88] | 332 | 0 |
[42 -2 8] | 332 | 0 |
[14 2 24] | 332 | 0 |
[14 30 88] | 332 | 0 |
[18 26 56] | 332 | 0 |
[22 -74 264] | 332 | 0 |
[6 1 56] | 335 | 0 |
[6 7 64] | 335 | 0 |
[42 -1 8] | 335 | 0 |
[42 -127 392] | 335 | 6480 |
[10 15 56] | 335 | 0 |
[12 25 80] | 335 | 0 |
[30 -95 312] | 335 | 6480 |
[14 1 24] | 335 | 0 |
[14 15 40] | 335 | 0 |
[16 7 24] | 335 | 0 |
[24 -7 16] | 335 | 0 |
[18 23 48] | 335 | 0 |
[18 41 112] | 335 | 0 |
[6 0 56] | 336 | 0 |
[6 12 80] | 336 | 0 |
[42 0 8] | 336 | 0 |
[44 -4 8] | 336 | 0 |
[10 12 48] | 336 | 620 |
[34 -104 328] | 336 | 992 |
[12 12 40] | 336 | 620 |
[14 0 24] | 336 | 0 |
[14 28 80] | 336 | 0 |
[22 -4 16] | 336 | 0 |
[20 28 56] | 336 | 0 |
[20 -68 248] | 336 | 0 |
[44 -3 8] | 343 | 0 |
[8 19 88] | 343 | 720 |
[14 21 56] | 343 | 0 |
[22 -3 16] | 343 | 0 |
[22 -69 232] | 343 | 720 |
[6 6 64] | 348 | 0 |
[44 -2 8] | 348 | 0 |
[8 10 56] | 348 | -4640 |
[44 -134 416] | 348 | 19865 |
[12 6 32] | 348 | 19865 |
[12 18 56] | 348 | 0 |
[14 18 48] | 348 | 0 |
[26 -82 272] | 348 | -4640 |
[22 -2 16] | 348 | 0 |
[16 6 24] | 348 | 0 |
[24 -6 16] | 348 | 0 |
[16 38 112] | 348 | 0 |
[6 9 72] | 351 | 0 |
[44 -1 8] | 351 | 0 |
[8 17 80] | 351 | -336 |
[36 -111 352] | 351 | 14040 |
[10 23 88] | 351 | 0 |
[12 15 48] | 351 | 0 |
[22 -1 16] | 351 | 0 |
[16 17 40] | 351 | 0 |
[20 -63 216] | 351 | -336 |
[18 39 104] | 351 | 0 |
[18 9 24] | 351 | 0 |
[20 -47 128] | 351 | 0 |
[44 0 8] | 352 | 0 |
[46 -4 8] | 352 | 0 |
[22 0 16] | 352 | 0 |
[26 -8 16] | 352 | 0 |
[60 -181 552] | 359 | 0 |
[6 13 88] | 359 | 0 |
[46 -3 8] | 359 | 0 |
[46 -141 440] | 359 | 46728 |
[10 11 48] | 359 | 5328 |
[10 21 80] | 359 | 0 |
[30 -91 288] | 359 | 5328 |
[12 5 32] | 359 | 46728 |
[16 5 24] | 359 | 0 |
[24 -5 16] | 359 | 0 |
[18 19 40] | 359 | 0 |
[22 -53 144] | 359 | 0 |
[22 -75 272] | 359 | 0 |
[46 -2 8] | 364 | 0 |
[10 14 56] | 364 | -3560 |
[38 -118 376] | 364 | 54040 |
[14 14 40] | 364 | -3560 |
[46 -1 8] | 367 | 0 |
[8 9 56] | 367 | -22960 |
[28 -89 296] | 367 | -22960 |
[14 33 104] | 367 | 0 |
[26 -7 16] | 367 | 0 |
[16 23 56] | 367 | 0 |
[6 8 72] | 368 | 0 |
[62 -188 576] | 368 | 0 |
[46 0 8] | 368 | 0 |
[8 4 48] | 368 | 87120 |
[48 -4 8] | 368 | 0 |
[8 12 64] | 368 | 9990 |
[12 4 32] | 368 | 87120 |
[12 28 96] | 368 | 0 |
[16 4 24] | 368 | 0 |
[24 -4 16] | 368 | 0 |
[16 20 48] | 368 | 0 |
[24 -76 256] | 368 | 9990 |
[16 36 104] | 368 | 0 |
[18 8 24] | 368 | 0 |
[18 44 128] | 368 | 0 |
[6 3 64] | 375 | 0 |
[8 3 48] | 375 | 103832 |
[48 -3 8] | 375 | 0 |
[10 5 40] | 375 | 117600 |
[12 3 32] | 375 | 103832 |
[16 3 24] | 375 | 0 |
[24 -3 16] | 375 | 0 |
[20 -45 120] | 375 | 0 |
[6 2 64] | 380 | 0 |
[6 14 96] | 380 | 0 |
[8 2 48] | 380 | 19386 |
[48 -2 8] | 380 | 0 |
[8 18 88] | 380 | -15552 |
[10 10 48] | 380 | 7200 |
[12 2 32] | 380 | 19386 |
[12 14 48] | 380 | -2889 |
[32 -98 312] | 380 | 7200 |
[12 26 88] | 380 | 0 |
[16 2 24] | 380 | 0 |
[24 -2 16] | 380 | 0 |
[16 34 96] | 380 | 0 |
[26 -6 16] | 380 | 0 |
[18 22 48] | 380 | 0 |
[22 -70 240] | 380 | -15552 |
[20 10 24] | 380 | 0 |
[20 30 64] | 380 | 0 |
[6 1 64] | 383 | 0 |
[6 7 72] | 383 | 0 |
[8 1 48] | 383 | -157320 |
[48 -1 8] | 383 | 0 |
[12 1 32] | 383 | -157320 |
[12 17 56] | 383 | 0 |
[14 17 48] | 383 | 0 |
[14 31 96] | 383 | 0 |
[16 1 24] | 383 | 0 |
[24 -1 16] | 383 | 0 |
[18 7 24] | 383 | 0 |
[18 25 56] | 383 | 0 |
[6 0 64] | 384 | 0 |
[8 0 48] | 384 | -255784 |
[48 0 8] | 384 | 0 |
[8 8 56] | 384 | -84728 |
[8 16 80] | 384 | 17976 |
[50 -4 8] | 384 | 0 |
[10 4 40] | 384 | 172416 |
[10 24 96] | 384 | 10410 |
[12 0 32] | 384 | -255784 |
[12 24 80] | 384 | 0 |
[14 20 56] | 384 | 0 |
[30 -96 320] | 384 | -84728 |
[16 0 24] | 384 | 0 |
[24 0 16] | 384 | 0 |
[16 16 40] | 384 | 10410 |
[28 -8 16] | 384 | 0 |
[20 24 48] | 384 | 0 |
[20 -64 224] | 384 | 17976 |
[22 32 64] | 384 | 0 |
[22 -76 280] | 384 | 0 |
[50 -3 8] | 391 | 0 |
[8 11 64] | 391 | 47000 |
[10 3 40] | 391 | 155104 |
[10 13 56] | 391 | -24752 |
[28 -85 272] | 391 | -24752 |
[14 29 88] | 391 | 0 |
[26 -5 16] | 391 | 0 |
[26 -83 280] | 391 | 47000 |
[20 27 56] | 391 | 0 |
[22 -51 136] | 391 | 0 |
[6 6 72] | 396 | 0 |
[50 -2 8] | 396 | 0 |
[10 2 40] | 396 | -12048 |
[10 22 88] | 396 | -18960 |
[18 18 40] | 396 | -18960 |
[18 6 24] | 396 | 0 |
[18 42 120] | 396 | 0 |
[6 9 80] | 399 | 0 |
[50 -1 8] | 399 | 0 |
[50 -151 464] | 399 | -279792 |
[10 1 40] | 399 | -286512 |
[40 -121 376] | 399 | -32280 |
[34 -105 336] | 399 | -32280 |
[14 7 32] | 399 | -279792 |
[28 -7 16] | 399 | 0 |
[16 39 120] | 399 | 0 |
[20 9 24] | 399 | 0 |
[24 -57 152] | 399 | 0 |
[50 0 8] | 400 | 0 |
[52 -4 8] | 400 | 0 |
[10 0 40] | 400 | -430784 |
[10 20 80] | 400 | 23016 |
[26 -4 16] | 400 | 0 |
[20 20 40] | 400 | 23016 |
[68 -205 624] | 407 | 0 |
[52 -3 8] | 407 | 0 |
[8 19 96] | 407 | -55080 |
[12 13 48] | 407 | -12960 |
[12 29 104] | 407 | 0 |
[26 -3 16] | 407 | 0 |
[16 19 48] | 407 | 0 |
[18 5 24] | 407 | 0 |
[24 -77 264] | 407 | -55080 |
[22 11 24] | 407 | 0 |
[52 -2 8] | 412 | 0 |
[8 10 64] | 412 | 220955 |
[52 -158 488] | 412 | -729760 |
[14 6 32] | 412 | -729760 |
[14 34 112] | 412 | 0 |
[26 -2 16] | 412 | 0 |
[28 -6 16] | 412 | 0 |
[16 22 56] | 412 | 0 |
[28 -90 304] | 412 | 220955 |
[52 -1 8] | 415 | 0 |
[8 17 88] | 415 | 25440 |
[10 15 64] | 415 | 57000 |
[26 -1 16] | 415 | 0 |
[26 -79 256] | 415 | 57000 |
[22 -71 248] | 415 | 25440 |
[6 8 80] | 416 | 0 |
[70 -212 648] | 416 | 0 |
[52 0 8] | 416 | 0 |
[54 -4 8] | 416 | 0 |
[10 12 56] | 416 | -65088 |
[42 -128 400] | 416 | -237528 |
[12 16 56] | 416 | -14040 |
[36 -112 360] | 416 | -237528 |
[14 16 48] | 416 | -14040 |
[30 -92 296] | 416 | -65088 |
[26 0 16] | 416 | 0 |
[30 -8 16] | 416 | 0 |
[18 4 24] | 416 | 0 |
[18 40 112] | 416 | 0 |
[20 8 24] | 416 | 0 |
[20 48 136] | 416 | 0 |
[6 3 72] | 423 | 0 |
[54 -3 8] | 423 | 0 |
[54 -165 512] | 423 | -1445880 |
[12 27 96] | 423 | 0 |
[14 5 32] | 423 | -1445880 |
[14 19 56] | 423 | 0 |
[28 -5 16] | 423 | 0 |
[16 37 112] | 423 | 0 |
[18 3 24] | 423 | 0 |
[18 21 48] | 423 | 0 |
[18 27 64] | 423 | 0 |
[6 2 72] | 428 | 0 |
[54 -2 8] | 428 | 0 |
[18 2 24] | 428 | 0 |
[22 10 24] | 428 | 0 |
[22 54 152] | 428 | 0 |
[6 1 72] | 431 | 0 |
[6 7 80] | 431 | 0 |
[54 -1 8] | 431 | 0 |
[8 9 64] | 431 | 908208 |
[44 -135 424] | 431 | -1076760 |
[10 23 96] | 431 | -70776 |
[12 25 88] | 431 | 0 |
[38 -119 384] | 431 | -1076760 |
[30 -7 16] | 431 | 0 |
[30 -97 328] | 431 | 908208 |
[18 1 24] | 431 | 0 |
[24 -73 240] | 431 | -70776 |
[20 23 48] | 431 | 0 |
[20 7 24] | 431 | 0 |
[6 0 72] | 432 | 0 |
[54 0 8] | 432 | 0 |
[8 4 56] | 432 | -2242920 |
[56 -4 8] | 432 | 0 |
[8 12 72] | 432 | -399720 |
[12 12 48] | 432 | -83040 |
[14 4 32] | 432 | -2242920 |
[14 32 104] | 432 | 0 |
[28 -4 16] | 432 | 0 |
[18 0 24] | 432 | 0 |
[18 24 56] | 432 | 0 |
[26 -84 288] | 432 | -399720 |
[24 12 24] | 432 | 0 |
[24 36 72] | 432 | 0 |
[8 3 56] | 439 | -2305648 |
[56 -3 8] | 439 | 0 |
[10 11 56] | 439 | -189480 |
[10 21 88] | 439 | 33504 |
[14 3 32] | 439 | -2305648 |
[32 -99 320] | 439 | -189480 |
[28 -3 16] | 439 | 0 |
[16 35 104] | 439 | 0 |
[22 -67 224] | 439 | 33504 |
[20 29 64] | 439 | 0 |
[6 6 80] | 444 | 0 |
[8 2 56] | 444 | -105792 |
[56 -2 8] | 444 | 0 |
[8 18 96] | 444 | 546621 |
[10 14 64] | 444 | 242272 |
[46 -142 448] | 444 | -3156704 |
[12 6 40] | 444 | -3156704 |
[12 18 64] | 444 | 130765 |
[14 2 32] | 444 | -105792 |
[14 30 96] | 444 | 0 |
[28 -2 16] | 444 | 0 |
[16 18 48] | 444 | 130765 |
[28 -86 280] | 444 | 242272 |
[30 -6 16] | 444 | 0 |
[20 6 24] | 444 | 0 |
[20 26 56] | 444 | 0 |
[24 -78 272] | 444 | 546621 |
[20 46 128] | 444 | 0 |
[8 1 56] | 447 | 4054880 |
[56 -1 8] | 447 | 0 |
[12 15 56] | 447 | -169320 |
[14 1 32] | 447 | 4054880 |
[14 15 48] | 447 | -169320 |
[28 -1 16] | 447 | 0 |
[22 9 24] | 447 | 0 |
[22 31 64] | 447 | 0 |
[8 0 56] | 448 | 6335920 |
[56 0 8] | 448 | 0 |
[8 8 64] | 448 | 2830000 |
[58 -4 8] | 448 | 0 |
[14 0 32] | 448 | 6335920 |
[28 0 16] | 448 | 0 |
[16 8 32] | 448 | 2830000 |
[32 -8 16] | 448 | 0 |
[16 24 64] | 448 | 0 |
[22 28 56] | 448 | 0 |
[22 -72 256] | 448 | -601680 |
[76 -229 696] | 455 | 0 |
[58 -3 8] | 455 | 0 |
[8 11 72] | 455 | -1766952 |
[10 5 48] | 455 | -5746320 |
[38 -115 360] | 455 | -751320 |
[12 5 40] | 455 | -5746320 |
[14 21 64] | 455 | 0 |
[30 -5 16] | 455 | 0 |
[16 21 56] | 455 | 0 |
[28 -91 312] | 455 | -1766952 |
[18 43 128] | 455 | 0 |
[20 5 24] | 455 | 0 |
[24 11 24] | 455 | 0 |
[58 -2 8] | 460 | 0 |
[10 10 56] | 460 | 91880 |
[14 18 56] | 460 | 157672 |
[34 -106 344] | 460 | 91880 |
[58 -1 8] | 463 | 0 |
[58 -175 536] | 463 | 7713480 |
[16 7 32] | 463 | 7713480 |
[32 -7 16] | 463 | 0 |
[78 -236 720] | 464 | 0 |
[58 0 8] | 464 | 0 |
[60 -4 8] | 464 | 0 |
[10 4 48] | 464 | -6446700 |
[10 24 104] | 464 | -559584 |
[12 4 40] | 464 | -6446700 |
[12 28 104] | 464 | -433260 |
[30 -4 16] | 464 | 0 |
[18 20 48] | 464 | -433260 |
[26 -80 264] | 464 | -559584 |
[20 4 24] | 464 | 0 |
[22 8 24] | 464 | 0 |
[22 52 144] | 464 | 0 |
[6 3 80] | 471 | 0 |
[60 -3 8] | 471 | 0 |
[8 19 104] | 471 | 2011944 |
[10 3 48] | 471 | -3484416 |
[10 13 64] | 471 | 1244040 |
[12 3 40] | 471 | -3484416 |
[30 -3 16] | 471 | 0 |
[30 -93 304] | 471 | 1244040 |
[20 3 24] | 471 | 0 |
[26 -85 296] | 471 | 2011944 |
[6 2 80] | 476 | 0 |
[60 -2 8] | 476 | 0 |
[8 10 72] | 476 | -6545376 |
[60 -182 560] | 476 | 17694027 |
[10 2 48] | 476 | 2941632 |
[10 22 96] | 476 | 897696 |
[12 2 40] | 476 | 2941632 |
[12 14 56] | 476 | 114912 |
[40 -122 384] | 476 | -1487115 |
[12 26 96] | 476 | 828495 |
[14 14 48] | 476 | 114912 |
[30 -2 16] | 476 | 0 |
[16 6 32] | 476 | 17694027 |
[32 -6 16] | 476 | 0 |
[16 38 120] | 476 | 0 |
[18 26 64] | 476 | 0 |
[30 -98 336] | 476 | -6545376 |
[20 2 24] | 476 | 0 |
[20 22 48] | 476 | 828495 |
[24 -74 248] | 476 | 897696 |
[24 10 24] | 476 | 0 |
[24 -58 160] | 476 | 0 |
[6 1 80] | 479 | 0 |
[60 -1 8] | 479 | 0 |
[10 1 48] | 479 | 10334448 |
[48 -145 448] | 479 | 3507768 |
[12 1 40] | 479 | 10334448 |
[12 17 64] | 479 | 1041768 |
[36 -113 368] | 479 | 3507768 |
[14 33 112] | 479 | 0 |
[30 -1 16] | 479 | 0 |
[16 17 48] | 479 | 1041768 |
[18 23 56] | 479 | 0 |
[18 41 120] | 479 | 0 |
[20 1 24] | 479 | 0 |
[20 49 144] | 479 | 0 |
[22 7 24] | 479 | 0 |
[24 -79 280] | 479 | -917136 |
[6 0 80] | 480 | 0 |
[60 0 8] | 480 | 0 |
[62 -4 8] | 480 | 0 |
[10 0 48] | 480 | 13782960 |
[12 0 40] | 480 | 13782960 |
[30 0 16] | 480 | 0 |
[34 -8 16] | 480 | 0 |
[20 0 24] | 480 | 0 |
[22 24 48] | 480 | -1019472 |
[22 -68 232] | 480 | -1046400 |
[26 -12 24] | 480 | 0 |
[26 -64 176] | 480 | 0 |
[62 -3 8] | 487 | 0 |
[62 -189 584] | 487 | 31118560 |
[16 5 32] | 487 | 31118560 |
[32 -5 16] | 487 | 0 |
[62 -2 8] | 492 | 0 |
[22 6 24] | 492 | 0 |
[62 -1 8] | 495 | 0 |
[8 9 72] | 495 | -23037672 |
[10 15 72] | 495 | -3115080 |
[42 -129 408] | 495 | 4602672 |
[14 17 56] | 495 | 1050408 |
[14 31 104] | 495 | 0 |
[34 -7 16] | 495 | 0 |
[16 23 64] | 495 | 0 |
[28 -87 288] | 495 | -3115080 |
[18 9 32] | 495 | -23037672 |
[20 25 56] | 495 | 0 |
[22 33 72] | 495 | 0 |
[24 9 24] | 495 | 0 |
[62 0 8] | 496 | 0 |
[8 4 64] | 496 | 41473018 |
[64 -4 8] | 496 | 0 |
[8 12 80] | 496 | 10210224 |
[10 12 64] | 496 | 1990192 |
[50 -152 472] | 496 | 15009536 |
[14 20 64] | 496 | 8240 |
[38 -120 392] | 496 | 15009536 |
[16 4 32] | 496 | 41473018 |
[32 -4 16] | 496 | 0 |
[16 20 56] | 496 | 8240 |
[32 -100 328] | 496 | 1990192 |
[16 36 112] | 496 | 0 |
[20 28 64] | 496 | 0 |
[28 -92 320] | 496 | 10210224 |