A Borcherds Product in S₁₁(K(16))⁻

poperties |

c vector |

θ vector |

ψ expansion |

Borch(ψ) coefficients

• The singular part of ψ truncated up to q^(16/4) is
  (22 + ζ^(-4) + 12/ζ^2 + 12*ζ^2 + ζ^4)
  +q(ζ^(-9) - 9/ζ^8 - 9*ζ^8 + ζ^9)
  +q^3(16/ζ^14 + 16*ζ^14)
  +q^4(16/ζ^16 + 16*ζ^16)
• From the truncated singular part of ψ, the leading Jacobi coefficient of Borch(ψ) is the theta block

  	φ	= TB(11;2,2,2,2,2,2,2,2,2,2,2,2,4)
  		= 21241
  		= η(τ)22(θ(τ,2z)/η(τ))12(θ(τ,4z)/η(τ))

  This theta block has q-order of vanishing 2. This theta block has index 2*16, and so Borch(ψ) begins with Jacobi coefficient #2.
• From the truncated singular part of ψ, we compute that Borch(ψ) is a symmetric form, and so the Fricke sign of Borch(ψ) is −1.
• We need to check that certain Fourier coefficients of Borch(ψ) are zero to determine that Borch(ψ) is a cusp form. For this weight and level and Fricke sign, an expansion of Borch(ψ) to 5 Fourier-Jacobi coefficients was needed to show that Borch(ψ) is a cusp form.
• From the truncated singular part of ψ, we can compute that all Humbert divisors of Borch(ψ) have nonnegative multiplicities, and hence Borch(ψ) is holomorphic.

  (D,r)	multiplicity of Hum(D,r)
  (1,1)	13
  (4,2)	13
  (4,14)	17
  (16,4)	1
  (17,9)	1

• From the singular part above, we compute that the valuation Ord(ψ) is -0.265625, and hence we need to multiply ψ by Δ^1 to get a Jacobi cusp form. The definition of ψ is
      ψ = c · θ/ Δ^1.
  Here c is a vector of coefficients, θ is a basis of of J_12,16^cusp, and Δ is the weight 12 elliptic cusp form. Both c and θ will be given in tables.

The expansion of ψ up to q^(16/4) is

(22 + ζ^(-4) + 12/ζ^2 + 12*ζ^2 + ζ^4)
+q(154 + ζ^(-9) - 9/ζ^8 + 17/ζ^7 - 20/ζ^6 - 36/ζ^5 - 4/ζ^4 - 4/ζ^3 - 44/ζ^2 + 22/ζ + 22*ζ - 44*ζ^2 - 4*ζ^3 - 4*ζ^4 - 36*ζ^5 - 20*ζ^6 + 17*ζ^7 - 9*ζ^8 + ζ^9)
+q^2(1004 + 3/ζ^11 - 8/ζ^10 - 11/ζ^9 + 26/ζ^8 + 185/ζ^7 - 100/ζ^6 - 353/ζ^5 - 16/ζ^4 + 14/ζ^3 - 404/ζ^2 + 162/ζ + 162*ζ - 404*ζ^2 + 14*ζ^3 - 16*ζ^4 - 353*ζ^5 - 100*ζ^6 + 185*ζ^7 + 26*ζ^8 - 11*ζ^9 - 8*ζ^10 + 3*ζ^11)
+q^3(5032 + 16/ζ^14 - 15/ζ^13 - 60/ζ^12 + 24/ζ^11 + 44/ζ^10 - 145/ζ^9 + 348/ζ^8 + 1251/ζ^7 - 500/ζ^6 - 2078/ζ^5 + 12/ζ^4 + 133/ζ^3 - 2376/ζ^2 + 830/ζ + 830*ζ - 2376*ζ^2 + 133*ζ^3 + 12*ζ^4 - 2078*ζ^5 - 500*ζ^6 + 1251*ζ^7 + 348*ζ^8 - 145*ζ^9 + 44*ζ^10 + 24*ζ^11 - 60*ζ^12 - 15*ζ^13 + 16*ζ^14)
+q^4(21008 + 16/ζ^16 + 11/ζ^15 + 72/ζ^14 - 176/ζ^13 - 497/ζ^12 + 218/ζ^11 + 388/ζ^10 - 913/ζ^9 + 1896/ζ^8 + 6105/ζ^7 - 2264/ζ^6 - 9430/ζ^5 + 369/ζ^4 + 908/ζ^3 - 10484/ζ^2 + 3277/ζ + 3277*ζ - 10484*ζ^2 + 908*ζ^3 + 369*ζ^4 - 9430*ζ^5 - 2264*ζ^6 + 6105*ζ^7 + 1896*ζ^8 - 913*ζ^9 + 388*ζ^10 + 218*ζ^11 - 497*ζ^12 - 176*ζ^13 + 72*ζ^14 + 11*ζ^15 + 16*ζ^16)

2u	det(2u)	a(u, Borch(ψ))
[4 -53 704]	7	0
[8 -89 992]	15	0
[4 -25 160]	15	0
[12 -109 992]	23	0
[6 -13 32]	23	0
[6 -19 64]	23	0
[14 -42 128]	28	0
[14 -70 352]	28	0
[8 -42 224]	28	0
[8 -106 1408]	28	0
[16 -113 800]	31	0
[8 -113 1600]	31	0
[14 -47 160]	31	0
[20 -101 512]	39	0
[10 -91 832]	39	0
[10 -101 1024]	39	0
[8 -27 96]	39	1
[24 -73 224]	47	0
[12 -73 448]	47	0
[4 9 32]	47	0
[8 -73 672]	47	0
[16 -55 192]	47	-1
[2 4 32]	48	0
[26 76 224]	48	0
[6 12 32]	48	0
[14 36 96]	48	0
[2 3 32]	55	0
[14 -29 64]	55	0
[14 -99 704]	55	0
[8 -35 160]	55	9
[2 2 32]	60	0
[30 -210 1472]	60	0
[16 -50 160]	60	-1
[16 -178 1984]	60	-1
[10 -30 96]	60	0
[10 -50 256]	60	-1
[8 -50 320]	60	0
[8 -114 1632]	60	0
[2 1 32]	63	0
[16 -225 3168]	63	0
[4 33 288]	63	0
[12 -159 2112]	63	0
[8 -97 1184]	63	10
[2 0 32]	64	0
[2 8 64]	64	0
[2 16 160]	64	0
[4 8 32]	64	0
[20 56 160]	64	0
[10 -24 64]	64	0
[10 -64 416]	64	0
[10 -144 2080]	64	0
[36 -469 6112]	71	0
[18 -181 1824]	71	0
[18 -235 3072]	71	0
[120 277 640]	71	0
[10 -43 192]	71	29
[10 -53 288]	71	0
[40 -441 4864]	79	0
[20 -121 736]	79	0
[190 441 1024]	79	0
[10 -121 1472]	79	38
[44 -397 3584]	87	0
[22 -45 96]	87	0
[22 -243 2688]	87	0
[12 -51 224]	87	31
[134 307 704]	87	0
[46 -138 416]	92	0
[46 -230 1152]	92	0
[4 6 32]	92	0
[24 -218 1984]	92	0
[26 70 192]	92	0
[162 374 864]	92	0
[6 26 128]	92	9
[26 -86 288]	92	10
[12 -26 64]	92	0
[12 -38 128]	92	-3
[12 -122 1248]	92	0
[12 -134 1504]	92	9
[48 -337 2368]	95	0
[24 -337 4736]	95	0
[4 17 96]	95	0
[16 -81 416]	95	0
[12 -145 1760]	95	59
[60 145 352]	95	0
[10 15 32]	95	0
[52 -261 1312]	103	0
[4 5 32]	103	0
[26 -261 2624]	103	0
[14 -59 256]	103	-35
[56 -169 512]	111	0
[28 -169 1024]	111	0
[120 297 736]	111	0
[6 9 32]	111	0
[14 -169 2048]	111	-14
[14 -183 2400]	111	15
[10 23 64]	111	0
[2 4 64]	112	0
[58 172 512]	112	0
[4 4 32]	112	0
[28 -84 256]	112	12
[28 -140 704]	112	-12
[28 -196 1376]	112	0
[14 -28 64]	112	0
[14 -84 512]	112	0
[8 12 32]	112	0
[16 -84 448]	112	12
[16 -148 1376]	112	0
[16 -212 2816]	112	0
[2 3 64]	119	0
[30 -61 128]	119	0
[30 -451 6784]	119	0
[20 -61 192]	119	-9
[90 221 544]	119	0
[16 -67 288]	119	-153
[12 -61 320]	119	-9
[24 61 160]	119	0
[12 -125 1312]	119	0
[2 2 64]	124	0
[62 -434 3040]	124	0
[4 2 32]	124	0
[32 -226 1600]	124	0
[16 -98 608]	124	0
[16 -226 3200]	124	0
[8 34 160]	124	43
[28 -94 320]	124	55
[10 14 32]	124	0
[14 -46 160]	124	-10
[14 -130 1216]	124	0
[14 -158 1792]	124	43
[2 1 64]	127	0
[4 1 32]	127	0
[32 -449 6304]	127	0
[16 -193 2336]	127	-227
[2 0 64]	128	0
[2 8 96]	128	0
[2 16 192]	128	0
[4 0 32]	128	0
[4 16 96]	128	0
[6 8 32]	128	0
[22 -112 576]	128	0
[22 -288 3776]	128	-16
[18 -40 96]	128	0
[18 -112 704]	128	0
[18 -256 3648]	128	0
[12 16 32]	128	0
[12 -64 352]	128	16
[68 -885 11520]	135	0
[34 -171 864]	135	0
[34 -341 3424]	135	0
[24 -267 2976]	135	5
[8 11 32]	135	0
[12 -75 480]	135	0
[72 -793 8736]	143	0
[36 -217 1312]	143	0
[42 121 352]	143	0
[6 7 32]	143	0
[6 25 128]	143	-14
[18 -199 2208]	143	-14
[12 -25 64]	143	0
[14 -89 576]	143	0
[76 -685 6176]	151	0
[38 -77 160]	151	0
[38 -115 352]	151	0
[8 19 64]	151	0
[10 13 32]	151	0
[78 -234 704]	156	0
[78 -390 1952]	156	0
[40 -202 1024]	156	65
[40 -522 6816]	156	65
[6 6 32]	156	0
[8 10 32]	156	0
[20 -42 96]	156	0
[20 -202 2048]	156	0
[10 22 64]	156	65
[82 198 480]	156	0
[10 42 192]	156	180
[30 -102 352]	156	234
[16 -54 192]	156	104
[16 -182 2080]	156	180
[80 -561 3936]	159	0
[40 -561 7872]	159	0
[46 -143 448]	159	0
[28 -143 736]	159	0
[30 81 224]	159	0
[16 -49 160]	159	-124
[12 15 32]	159	0
[14 -143 1472]	159	0
[84 -421 2112]	167	0
[42 -379 3424]	167	0
[42 -421 4224]	167	0
[28 -421 6336]	167	0
[36 101 288]	167	0
[22 -69 224]	167	-73
[14 -155 1728]	167	73
[14 -197 2784]	167	0
[16 -37 96]	167	0
[88 -265 800]	175	0
[4 9 64]	175	0
[8 9 32]	175	0
[20 -265 3520]	175	-103
[2 4 96]	176	0
[90 268 800]	176	0
[30 -92 288]	176	84
[30 -332 3680]	176	76
[30 -452 6816]	176	0
[22 -44 96]	176	0
[22 -132 800]	176	0
[10 12 32]	176	0
[18 -92 480]	176	84
[18 -236 3104]	176	-52
[2 3 96]	183	0
[46 -93 192]	183	0
[46 -323 2272]	183	0
[6 3 32]	183	0
[38 -125 416]	183	-99
[16 -227 3232]	183	0
[2 2 96]	188	0
[94 -658 4608]	188	0
[48 -146 448]	188	-57
[48 -530 5856]	188	-57
[6 2 32]	188	0
[6 14 64]	188	-57
[142 350 864]	188	-176
[24 -146 896]	188	0
[24 -338 4768]	188	0
[8 18 64]	188	57
[112 274 672]	188	-119
[12 14 32]	188	0
[12 50 224]	188	619
[32 -110 384]	188	707
[14 34 96]	188	176
[102 242 576]	188	-119
[14 62 288]	188	-780
[42 -146 512]	188	-619
[2 1 96]	191	0
[48 -673 9440]	191	0
[6 1 32]	191	0
[32 -417 5440]	191	-14
[8 33 160]	191	-173
[20 -223 2496]	191	-173
[36 95 256]	191	0
[16 -161 1632]	191	0
[18 -95 512]	191	14
[18 -257 3680]	191	0
[2 0 96]	192	0
[2 8 128]	192	0
[2 16 224]	192	0
[4 8 64]	192	208
[52 152 448]	192	-208
[6 0 32]	192	0
[6 24 128]	192	24
[8 8 32]	192	0
[24 -72 224]	192	184
[24 -120 608]	192	-24
[26 -56 128]	192	0
[26 -160 992]	192	0
[26 -368 5216]	192	0
[12 24 64]	192	-208
[28 72 192]	192	0
[14 16 32]	192	0
[14 -72 384]	192	184
[100 -1301 16928]	199	0
[50 -651 8480]	199	0
[26 -341 4480]	199	-133
[10 11 32]	199	0
[10 21 64]	199	0
[16 -213 2848]	199	-133
[104 -1145 12608]	207	0
[478 1113 2592]	207	0
[26 -391 5888]	207	0
[18 -39 96]	207	0
[18 -57 192]	207	-285
[108 -973 8768]	215	0
[54 -595 6560]	215	0
[36 -397 4384]	215	-175
[6 13 64]	215	0
[24 -77 256]	215	-242
[12 13 32]	215	0
[18 -109 672]	215	0
[20 -205 2112]	215	0
[16 -179 2016]	215	242
[110 -330 992]	220	0
[110 -550 2752]	220	0
[4 6 64]	220	-429
[56 -506 4576]	220	-429
[28 -58 128]	220	0
[28 -282 2848]	220	0
[28 -422 6368]	220	0
[10 10 32]	220	0
[34 86 224]	220	0
[170 390 896]	220	-429
[14 58 256]	220	1382
[34 -118 416]	220	1274
[16 -70 320]	220	2106
[16 -198 2464]	220	1382
[112 -785 5504]	223	0
[4 17 128]	223	0
[8 17 64]	223	0
[14 15 32]	223	0
[116 -581 2912]	231	0
[4 5 64]	231	0
[40 -123 384]	231	-143
[30 -453 6848]	231	0
[24 -123 640]	231	-143
[40 -133 448]	231	-729
[20 -123 768]	231	0
[104 251 608]	231	-425
[120 -361 1088]	239	0
[248 617 1536]	239	0
[48 -151 480]	239	-46
[30 -151 768]	239	-46
[24 -361 5440]	239	0
[10 41 192]	239	-931
[20 -41 96]	239	0
[198 457 1056]	239	0
[22 -247 2784]	239	-931
[2 4 128]	240	0
[122 364 1088]	240	0
[4 4 64]	240	572
[60 -180 544]	240	320
[60 -300 1504]	240	-320
[60 -420 2944]	240	-572
[6 12 64]	240	320
[46 132 384]	240	-864
[30 -60 128]	240	0
[30 -180 1088]	240	0
[8 4 32]	240	0
[32 -100 320]	240	348
[32 -356 3968]	240	232
[10 20 64]	240	-320
[34 92 256]	240	-544
[12 12 32]	240	0
[20 -60 192]	240	148
[20 -100 512]	240	348
[16 -36 96]	240	864
[16 -164 1696]	240	-544
[16 -228 3264]	240	-572
[2 3 128]	247	0
[62 -931 13984]	247	0
[8 3 32]	247	0
[2 2 128]	252	0
[126 -882 6176]	252	0
[4 2 64]	252	-429
[42 -126 384]	252	-565
[42 -210 1056]	252	314
[8 2 32]	252	0
[32 -194 1184]	252	0
[32 -450 6336]	252	0
[24 -126 672]	252	-565
[24 -318 4224]	252	423
[14 14 32]	252	0
[16 -194 2368]	252	-1197
[18 -222 2752]	252	1845
[18 -258 3712]	252	429
[2 1 128]	255	0
[4 1 64]	255	0
[44 -575 7520]	255	-178
[8 1 32]	255	0
[22 -223 2272]	255	0
[22 -289 3808]	255	-859
[20 -65 224]	255	479
[14 33 96]	255	-178
[2 0 128]	256	0
[2 8 160]	256	0
[2 16 256]	256	0
[4 0 64]	256	0
[4 16 128]	256	0
[8 0 32]	256	0
[8 16 64]	256	0
[8 32 160]	256	288
[34 -72 160]	256	0
[34 -480 6784]	256	0
[26 -80 256]	256	800
[26 -288 3200]	256	288
[26 -392 5920]	256	0
[16 16 32]	256	0
[16 -48 160]	256	800
[20 -48 128]	256	1184
[20 -288 4160]	256	0
[132 -1717 22336]	263	0
[66 -331 1664]	263	0
[408 949 2208]	263	0
[22 -309 4352]	263	0
[22 -331 4992]	263	0
[24 -53 128]	263	0
[12 53 256]	263	699
[18 -203 2304]	263	699
[136 -1497 16480]	271	0
[74 217 640]	271	0
[34 -103 320]	271	93
[28 -423 6400]	271	0
[134 327 800]	271	-906
[20 -103 544]	271	93
[212 487 1120]	271	0
[124 295 704]	271	-906
[140 -1261 11360]	279	0
[70 -211 640]	279	0
[28 -365 4768]	279	-1058
[268 621 1440]	279	0
[24 -339 4800]	279	0
[42 -141 480]	279	-2939
[20 -301 4544]	279	0
[98 237 576]	279	1156
[18 -237 3136]	279	-1058
[20 -109 608]	279	-271
[142 -426 1280]	284	0
[142 -710 3552]	284	0
[72 -362 1824]	284	780
[72 -938 12224]	284	780
[450 1046 2432]	284	780
[6 26 160]	284	-70
[58 -182 576]	284	300
[36 -74 160]	284	0
[36 -182 928]	284	300
[36 -362 3648]	284	0
[36 -470 6144]	284	1520
[30 -154 800]	284	70
[30 -394 5184]	284	1636
[30 -454 6880]	284	0
[24 -362 5472]	284	0
[240 554 1280]	284	-780
[18 -38 96]	284	-2480
[18 -182 1856]	284	1700
[20 -106 576]	284	-1520
[20 -266 3552]	284	1636
[144 -1009 7072]	287	0
[78 -239 736]	287	0
[48 -241 1216]	287	-1325
[338 785 1824]	287	0
[24 -241 2432]	287	0
[12 49 224]	287	-3074
[26 -369 5248]	287	0
[24 -271 3072]	287	-3074
[18 -271 4096]	287	0
[148 -741 3712]	295	0
[74 -667 6016]	295	0
[38 -421 4672]	295	-1624
[10 5 32]	295	0
[226 517 1184]	295	0
[152 -457 1376]	303	0
[4 9 96]	303	0
[6 9 64]	303	0
[26 -55 128]	303	0
[26 -393 5952]	303	0
[22 -73 256]	303	4274
[2 4 160]	304	0
[154 460 1376]	304	0
[38 -76 160]	304	0
[10 4 32]	304	0
[10 44 224]	304	-1260
[50 -164 544]	304	-500
[22 -68 224]	304	-1396
[22 -244 2720]	304	-1260
[22 -332 5024]	304	0
[2 3 160]	311	0
[52 -157 480]	311	1101
[218 541 1344]	311	-1291
[8 35 192]	311	1373
[10 3 32]	311	0
[26 -131 672]	311	-1373
[26 -157 960]	311	0
[28 -285 2912]	311	0
[12 29 96]	311	-1101
[16 35 96]	311	1291
[20 -227 2592]	311	3155
[240 547 1248]	311	0
[2 2 160]	316	0
[158 -1106 7744]	316	0
[80 -242 736]	316	-345
[80 -882 9728]	316	-345
[40 -562 7904]	316	0
[380 882 2048]	316	345
[10 2 32]	316	0
[310 718 1664]	316	-345
[20 -302 4576]	316	0
[22 -50 128]	316	-5161
[22 -226 2336]	316	4816
[2 1 160]	319	0
[50 -159 512]	319	-431
[10 1 32]	319	0
[32 -353 3904]	319	431
[38 97 256]	319	2108
[20 -289 4192]	319	0
[2 0 160]	320	0
[2 8 192]	320	0
[4 8 96]	320	768
[84 248 736]	320	-768
[6 8 64]	320	768
[54 -272 1376]	320	-928
[54 -704 9184]	320	-3040
[42 -88 192]	320	0
[42 -592 8352]	320	0
[10 0 32]	320	0
[10 40 192]	320	1408
[28 -312 3488]	320	1408
[28 -424 6432]	320	0
[14 32 96]	320	-3040
[126 304 736]	320	2144
[254 584 1344]	320	768
[20 -40 96]	320	4576
[20 -120 736]	320	3808
[18 -56 192]	320	1408
[18 -272 4128]	320	0
[164 -2133 27744]	327	0
[82 -1067 13888]	327	0
[56 -619 6848]	327	1165
[42 -213 1088]	327	-1165
[282 651 1504]	327	0
[24 -363 5504]	327	0
[44 -149 512]	327	-8122
[168 -1849 20352]	335	0
[766 1785 4160]	335	0
[6 7 64]	335	0
[6 25 160]	335	-1211
[36 -185 960]	335	1211
[28 -57 128]	335	0
[30 -455 6912]	335	0
[24 -313 4096]	335	-2212
[14 57 256]	335	-8054
[54 -185 640]	335	8054
[118 281 672]	335	3754
[172 -1549 13952]	343	0
[86 -947 10432]	343	0
[422 979 2272]	343	0
[28 -371 4928]	343	4122
[22 -333 5056]	343	0
[174 -522 1568]	348	0
[174 -870 4352]	348	0
[4 6 96]	348	572
[88 -794 7168]	348	572
[6 6 64]	348	572
[44 -90 192]	348	0
[44 -134 416]	348	-3326
[44 -486 5376]	348	-746
[12 6 32]	348	0
[26 -134 704]	348	-3326
[26 -342 4512]	348	1794
[26 -394 5984]	348	0
[22 -310 4384]	348	5616
[268 614 1408]	348	572
[4 17 160]	351	0
[60 -303 1536]	351	5377
[36 -111 352]	351	198
[352 815 1888]	351	0
[30 -303 3072]	351	0
[22 -111 576]	351	198
[20 -303 4608]	351	0
[20 -47 128]	351	-1603
[180 -901 4512]	359	0
[4 5 96]	359	0
[60 -901 13536]	359	0
[30 -421 5920]	359	0
[12 5 32]	359	0
[32 -69 160]	359	0
[20 -261 3424]	359	-2437
[18 37 96]	359	-4403
[22 -229 2400]	359	-2313
[22 -251 2880]	359	12423
[184 -553 1664]	367	0
[376 937 2336]	367	0
[46 -599 7808]	367	-1867
[28 -425 6464]	367	0
[296 681 1568]	367	0
[26 -137 736]	367	1867
[2 4 192]	368	0
[186 556 1664]	368	0
[4 4 96]	368	-2496
[92 -276 832]	368	-228
[92 -460 2304]	368	228
[62 -188 576]	368	-144
[62 -684 7552]	368	432
[62 -932 14016]	368	2496
[46 -92 192]	368	0
[8 12 64]	368	-228
[48 -244 1248]	368	-432
[12 4 32]	368	0
[12 28 96]	368	144
[324 748 1728]	368	-228
[12 52 256]	368	-2052
[52 -172 576]	368	1036
[24 -52 128]	368	12896
[24 -76 256]	368	-8344
[24 -244 2496]	368	-13124
[24 -268 3008]	368	-2052
[24 -340 4832]	368	-4576
[24 -364 5536]	368	0
[18 44 128]	368	-7472
[146 348 832]	368	8592
[282 644 1472]	368	-2496
[2 3 192]	375	0
[94 -1411 21184]	375	0
[6 3 64]	375	0
[40 -445 4960]	375	-6135
[12 3 32]	375	0
[32 -451 6368]	375	0
[46 -157 544]	375	-18884
[2 2 192]	380	0
[4 2 96]	380	2574
[6 2 64]	380	2574
[6 14 96]	380	-1086
[270 670 1664]	380	-11159
[48 -674 9472]	380	0
[8 34 192]	380	-2783
[60 -190 608]	380	1193
[38 -190 960]	380	1193
[12 2 32]	380	0
[32 -162 832]	380	2783
[16 34 96]	380	11159
[120 290 704]	380	-7581
[26 -370 5280]	380	2288
[22 -114 608]	380	-5716
[22 -290 3840]	380	6199
[22 -334 5088]	380	0
[20 30 64]	380	-2574
[2 1 192]	383	0
[4 1 96]	383	0
[6 1 64]	383	0
[64 -833 10848]	383	5761
[12 1 32]	383	0
[32 -321 3232]	383	0
[34 -481 6816]	383	0
[14 31 96]	383	5761
[24 -319 4256]	383	6753
[56 -193 672]	383	20044
[2 0 192]	384	0
[2 8 224]	384	0
[4 0 96]	384	0
[4 16 160]	384	0
[6 0 64]	384	0
[6 24 160]	384	2080
[50 -704 9920]	384	0
[10 24 96]	384	2080
[394 912 2112]	384	0
[12 0 32]	384	0
[12 48 224]	384	3616
[30 -336 3776]	384	3616
[30 -456 6944]	384	0
[28 -64 160]	384	18112
[28 -400 5728]	384	0
[20 -64 224]	384	128
[20 -304 4640]	384	0
[22 32 64]	384	0
[22 -120 672]	384	11488
[196 -2549 33152]	391	0
[98 -491 2464]	391	0
[8 11 64]	391	0
[10 43 224]	391	4938
[28 -309 3424]	391	4938
[26 -395 6016]	391	0
[20 -203 2080]	391	10481
[22 -117 640]	391	-2579
[200 -2201 24224]	399	0
[106 313 928]	399	0
[50 -551 6080]	399	10123
[52 -167 544]	399	-1982
[34 -71 160]	399	0
[34 -377 4192]	399	1982
[14 7 32]	399	0
[310 711 1632]	399	0
[20 -281 3968]	399	9112
[102 -307 928]	407	0
[68 -749 8256]	407	-10646
[6 13 96]	407	13707
[8 19 96]	407	-10646
[36 -365 3712]	407	0
[366 845 1952]	407	0
[24 -365 5568]	407	0
[206 -618 1856]	412	0
[206 -1030 5152]	412	0
[104 -522 2624]	412	-4524
[104 -1354 17632]	412	-4524
[8 10 64]	412	4524
[14 6 32]	412	0
[338 778 1792]	412	4524
[26 -54 128]	412	-20500
[26 -262 2656]	412	25024
[28 -426 6496]	412	0
[110 -335 1024]	415	0
[10 15 64]	415	0
[26 -79 256]	415	-324
[22 -49 128]	415	12207
[22 -335 5120]	415	0
[212 -1061 5312]	423	0
[72 -219 672]	423	-9264
[54 -165 512]	423	8091
[12 27 96]	423	9264
[14 5 32]	423	0
[32 -165 864]	423	8091
[148 357 864]	423	15461
[18 27 64]	423	0
[216 -649 1952]	431	0
[4 9 128]	431	0
[80 -247 768]	431	293
[8 9 64]	431	0
[10 23 96]	431	-293
[36 -73 160]	431	0
[30 -457 6976]	431	0
[24 -265 2944]	431	-966
[22 -311 4416]	431	-11288
[24 -247 2560]	431	11634
[2 4 224]	432	0
[6 12 96]	432	-5116
[14 4 32]	432	0
[54 -180 608]	432	12588
[18 36 96]	432	-27100
[26 -292 3296]	432	3444
[26 -396 6048]	432	0
[2 3 224]	439	0
[70 -221 704]	439	-7423
[44 -221 1120]	439	-7423
[14 3 32]	439	0
[22 -67 224]	439	-1978
[20 29 64]	439	0
[26 -61 160]	439	4437
[2 2 224]	444	0
[112 -338 1024]	444	3315
[112 -1234 13600]	444	3315
[74 -222 672]	444	-3356
[74 -370 1856]	444	-2771
[8 18 96]	444	2771
[10 14 64]	444	3315
[46 -142 448]	444	-12697
[46 -510 5664]	444	-2264
[12 18 64]	444	-3315
[14 2 32]	444	0
[14 30 96]	444	3356
[28 -142 736]	444	-12697
[28 -366 4800]	444	-5049
[30 -66 160]	444	-37488
[30 -306 3136]	444	40803
[24 -366 5600]	444	0
[20 46 128]	444	28469
[140 334 800]	444	-30195
[2 1 224]	447	0
[76 -991 12928]	447	-20413
[8 33 192]	447	-9024
[38 -193 992]	447	9024
[38 -383 3872]	447	0
[14 1 32]	447	0
[16 33 96]	447	-20413
[22 31 64]	447	0
[2 0 224]	448	0
[2 8 256]	448	0
[4 8 128]	448	-11136
[116 344 1024]	448	11136
[8 8 64]	448	-11136
[56 -168 512]	448	19184
[56 -280 1408]	448	432
[14 0 32]	448	0
[14 56 256]	448	5888
[28 -56 128]	448	22592
[16 8 32]	448	0
[16 24 64]	448	11136
[32 -168 896]	448	19184
[32 -360 4064]	448	5888
[32 -424 5632]	448	-14000
[22 -72 256]	448	-640
[22 -336 5152]	448	0
[114 -1483 19296]	455	0
[696 1621 3776]	455	22745
[38 -533 7488]	455	0
[40 -85 192]	455	0
[62 -203 672]	455	13661
[14 21 64]	455	0
[30 -395 5216]	455	15230
[28 -427 6528]	455	0
[18 43 128]	455	15945
[24 -341 4864]	455	5134
[232 -2553 28096]	463	0
[1054 2457 5728]	463	0
[58 -871 13088]	463	0
[16 7 32]	463	0
[118 -1299 14304]	471	0
[10 13 64]	471	0
[40 -563 7936]	471	0
[12 51 256]	471	7045
[30 -333 3712]	471	7045
[24 -51 128]	471	-38933
[26 -371 5312]	471	9282
[26 -397 6080]	471	0
[238 -1190 5952]	476	0
[4 6 128]	476	11220
[738 1718 4000]	476	-29138
[6 26 192]	476	-13210
[90 -278 864]	476	4690
[60 -902 13568]	476	-11220
[10 22 96]	476	-4690
[10 42 224]	476	-13366
[62 -198 640]	476	3221
[40 -442 4896]	476	-3221
[12 26 96]	476	-13210
[34 -170 864]	476	13366
[30 -422 5952]	476	20332
[16 6 32]	476	0
[18 26 64]	476	-11220
[30 -458 7008]	476	0
[24 -122 640]	476	-8169
[24 -314 4128]	476	2587
[248 570 1312]	476	-45203
[24 -58 160]	476	-44438
[24 -250 2624]	476	50710
[4 17 192]	479	0
[80 -401 2016]	479	-43612
[8 17 96]	479	43612
[54 -175 576]	479	-7537
[12 17 64]	479	0
[42 -593 8384]	479	0
[36 -401 4480]	479	7537
[28 -145 768]	479	6492
[28 -401 5760]	479	-22100
[168 401 960]	479	27650
[24 -367 5632]	479	0
[244 -1221 6112]	487	0
[4 5 128]	487	0
[62 -933 14048]	487	0
[16 5 32]	487	0
[504 1257 3136]	495	0
[6 9 96]	495	23035
[62 -311 1568]	495	45195
[42 -87 192]	495	0
[16 23 64]	495	0
[18 9 32]	495	0
[26 -265 2720]	495	-38506
[26 -343 4544]	495	13510
[28 -151 832]	495	-8334
[2 4 256]	496	0
[4 4 128]	496	-1560
[124 -372 1120]	496	-12480
[124 -620 3104]	496	12480
[8 4 64]	496	-1560
[64 -196 608]	496	-7312
[64 -708 7840]	496	240
[10 12 64]	496	-12480
[50 -252 1280]	496	-240
[14 20 64]	496	12480
[38 -196 1024]	496	-7312
[16 4 32]	496	0
[32 -68 160]	496	47584
[32 -324 3296]	496	-60064
[32 -452 6400]	496	-17888
[56 -188 640]	496	36344
[20 28 64]	496	1560
[28 -148 800]	496	34096
[28 -316 3584]	496	15216
[28 -372 4960]	496	-31184
[28 -428 6560]	496	0