A Borcherds Product in S₄₆(K(4))⁺

properties |

c vector |

θ vector |

ψ expansion |

Borch(ψ) coefficients

• The singular part of ψ truncated up to q^(4/4) is
  (92 + ζ^(-3) + 6/ζ^2 + 7/ζ + 7*ζ + 6*ζ^2 + ζ^3)
  +q(ζ^(-5) + 28/ζ^4 + 28*ζ^4 + ζ^5)
• From the truncated singular part of ψ, the leading Jacobi coefficient of Borch(ψ) is the theta block

  	φ	= TB(46;1,1,1,1,1,1,1,2,2,2,2,2,2,3)
  		= 172631
  		= η(τ)92(θ(τ,z)/η(τ))7(θ(τ,2z)/η(τ))6(θ(τ,3z)/η(τ))

  This theta block has q-order of vanishing 5. This theta block has index 5*4, and so Borch(ψ) begins with Jacobi coefficient #5.
• 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 11 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)	14
  (4,2)	6
  (9,3)	1

• From the singular part above, we compute that the valuation Ord(ψ) is -0.5625, 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,4^cusp, and Δ is the weight 12 elliptic cusp form. Both c and θ will be given in tables.

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

(92 + ζ^(-3) + 6/ζ^2 + 7/ζ + 7*ζ + 6*ζ^2 + ζ^3)
+q(4808 + ζ^(-5) + 28/ζ^4 + 269/ζ^3 - 384/ζ^2 - 2318/ζ - 2318*ζ - 384*ζ^2 + 269*ζ^3 + 28*ζ^4 + ζ^5)

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 -45 96]	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
[2 4 88]	160	0
[4 0 40]	160	0
[4 8 56]	160	0
[20 0 8]	160	0
[20 -40 88]	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
[2 3 88]	167	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
[2 2 88]	172	0
[22 -2 8]	172	0
[22 -46 104]	172	0
[2 1 88]	175	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
[2 0 88]	176	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
[24 -52 120]	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	0
[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	0
[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
[20 -41 96]	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	0
[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	0
[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	0
[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	0
[32 -1 8]	255	0
[10 15 48]	255	0
[12 15 40]	255	0
[22 -47 112]	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	0
[32 0 8]	256	0
[8 8 40]	256	0
[8 16 64]	256	0
[34 -4 8]	256	0
[10 12 40]	256	0
[26 -80 256]	256	0
[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
[24 -53 128]	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	0
[28 -87 280]	271	0
[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	1
[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	0
[36 -110 344]	284	0
[10 14 48]	284	-1
[30 -94 304]	284	0
[12 2 24]	284	0
[12 14 40]	284	-1
[24 -74 240]	284	0
[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	1
[14 7 24]	287	0
[18 -1 16]	287	0
[18 -55 184]	287	0
[4 0 72]	288	0
[4 8 88]	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
[18 -36 88]	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	0
[10 5 32]	295	0
[20 -5 16]	295	0
[16 37 104]	295	0
[6 6 56]	300	0
[38 -2 8]	300	0
[10 10 40]	300	-7
[14 6 24]	300	0
[14 34 104]	300	-1
[4 9 96]	303	0
[6 9 64]	303	0
[38 -1 8]	303	0
[8 9 48]	303	0
[26 -81 264]	303	0
[22 -7 16]	303	0
[22 -73 256]	303	0
[4 4 80]	304	0
[38 0 8]	304	0
[8 4 40]	304	0
[40 -4 8]	304	0
[8 12 56]	304	0
[10 4 32]	304	0
[10 24 88]	304	6
[14 16 40]	304	6
[22 -68 224]	304	0
[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	0
[40 -3 8]	311	0
[10 3 32]	311	0
[10 13 48]	311	1
[12 13 40]	311	1
[12 29 96]	311	-5
[14 5 24]	311	0
[14 19 48]	311	-5
[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
[4 6 88]	316	0
[8 2 40]	316	0
[40 -2 8]	316	0
[8 18 80]	316	0
[10 2 32]	316	0
[10 22 80]	316	-15
[20 -2 16]	316	0
[16 18 40]	316	-15
[20 -42 104]	316	0
[20 -62 208]	316	0
[22 -6 16]	316	0
[22 -50 128]	316	0
[4 1 80]	319	0
[8 1 40]	319	0
[40 -1 8]	319	0
[10 1 32]	319	0
[32 -97 304]	319	15
[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	0
[40 0 8]	320	0
[8 8 48]	320	0
[8 16 72]	320	0
[42 -4 8]	320	0
[10 0 32]	320	0
[10 20 72]	320	20
[12 16 48]	320	4
[28 -88 288]	320	0
[14 4 24]	320	0
[14 32 96]	320	6
[20 0 16]	320	0
[16 8 24]	320	0
[24 -8 16]	320	0
[16 24 56]	320	6
[24 -56 144]	320	0
[18 20 40]	320	20
[18 -56 192]	320	0
[4 5 88]	327	0
[6 3 56]	327	0
[42 -3 8]	327	0
[8 11 56]	327	0
[12 27 88]	327	9
[14 3 24]	327	0
[24 -75 248]	327	0
[22 -5 16]	327	0
[16 21 48]	327	9
[6 2 56]	332	0
[6 14 88]	332	0
[42 -2 8]	332	0
[14 2 24]	332	0
[14 30 88]	332	-15
[18 26 56]	332	-15
[22 -74 264]	332	0
[6 1 56]	335	0
[6 7 64]	335	0
[42 -1 8]	335	0
[42 -127 392]	335	0
[10 15 56]	335	-20
[12 25 80]	335	-5
[30 -95 312]	335	0
[14 1 24]	335	0
[14 15 40]	335	-20
[16 7 24]	335	0
[24 -7 16]	335	0
[18 23 48]	335	-5
[18 41 112]	335	0
[4 4 88]	336	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	20
[34 -104 328]	336	6
[12 12 40]	336	20
[14 0 24]	336	0
[14 28 80]	336	20
[22 -4 16]	336	0
[22 -48 120]	336	0
[20 28 56]	336	20
[20 -68 248]	336	0
[86 -259 784]	343	0
[44 -3 8]	343	0
[8 19 88]	343	0
[14 21 56]	343	3
[22 -3 16]	343	0
[22 -69 232]	343	0
[4 2 88]	348	0
[6 6 64]	348	0
[44 -2 8]	348	0
[8 10 56]	348	0
[44 -134 416]	348	0
[12 6 32]	348	0
[12 18 56]	348	11
[14 18 48]	348	11
[26 -82 272]	348	0
[22 -2 16]	348	0
[16 6 24]	348	0
[24 -6 16]	348	0
[24 -54 136]	348	0
[16 38 112]	348	-8
[4 1 88]	351	0
[6 9 72]	351	0
[44 -1 8]	351	0
[8 17 80]	351	0
[36 -111 352]	351	-69
[10 23 88]	351	44
[12 15 48]	351	-40
[22 -1 16]	351	0
[16 17 40]	351	44
[20 -63 216]	351	0
[18 39 104]	351	0
[18 9 24]	351	0
[20 -47 128]	351	0
[4 0 88]	352	0
[44 0 8]	352	0
[46 -4 8]	352	0
[22 0 16]	352	0
[26 -8 16]	352	0
[26 -60 152]	352	0
[60 -181 552]	359	0
[6 13 88]	359	0
[46 -3 8]	359	0
[46 -141 440]	359	0
[10 11 48]	359	-139
[10 21 80]	359	-26
[30 -91 288]	359	-139
[12 5 32]	359	0
[16 5 24]	359	0
[24 -5 16]	359	0
[18 19 40]	359	-26
[18 37 96]	359	0
[22 -53 144]	359	0
[22 -75 272]	359	0
[46 -2 8]	364	0
[10 14 56]	364	69
[38 -118 376]	364	69
[14 14 40]	364	69
[46 -1 8]	367	0
[8 9 56]	367	0
[28 -89 296]	367	0
[14 33 104]	367	60
[26 -7 16]	367	0
[16 23 56]	367	60
[6 8 72]	368	0
[62 -188 576]	368	0
[46 0 8]	368	0
[8 4 48]	368	0
[48 -4 8]	368	0
[8 12 64]	368	0
[12 4 32]	368	0
[12 28 96]	368	-96
[16 4 24]	368	0
[24 -4 16]	368	0
[16 20 48]	368	-96
[24 -76 256]	368	0
[16 36 104]	368	-72
[18 8 24]	368	0
[18 44 128]	368	-72
[6 3 64]	375	0
[8 3 48]	375	0
[48 -3 8]	375	0
[10 5 40]	375	85
[12 3 32]	375	0
[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	0
[48 -2 8]	380	0
[8 18 88]	380	0
[10 10 48]	380	565
[12 2 32]	380	0
[12 14 48]	380	16
[32 -98 312]	380	565
[12 26 88]	380	246
[16 2 24]	380	0
[24 -2 16]	380	0
[16 34 96]	380	264
[26 -6 16]	380	0
[18 22 48]	380	246
[22 -70 240]	380	0
[20 10 24]	380	0
[20 30 64]	380	264
[6 1 64]	383	0
[6 7 72]	383	0
[8 1 48]	383	0
[48 -1 8]	383	0
[12 1 32]	383	0
[12 17 56]	383	224
[14 17 48]	383	224
[14 31 96]	383	-148
[16 1 24]	383	0
[24 -1 16]	383	0
[18 7 24]	383	0
[18 25 56]	383	-148
[6 0 64]	384	0
[6 12 88]	384	0
[8 0 48]	384	0
[48 0 8]	384	0
[8 8 56]	384	0
[8 16 80]	384	0
[50 -4 8]	384	0
[10 4 40]	384	-184
[10 24 96]	384	-464
[12 0 32]	384	0
[12 24 80]	384	-328
[14 20 56]	384	-338
[30 -96 320]	384	0
[16 0 24]	384	0
[24 0 16]	384	0
[16 16 40]	384	-464
[16 32 88]	384	-380
[28 -8 16]	384	0
[20 24 48]	384	-328
[20 -64 224]	384	0
[22 32 64]	384	-380
[22 -76 280]	384	0
[50 -3 8]	391	0
[8 11 64]	391	0
[10 3 40]	391	-6
[10 13 56]	391	9
[28 -85 272]	391	9
[14 29 88]	391	90
[26 -5 16]	391	0
[26 -83 280]	391	0
[20 -43 112]	391	0
[20 27 56]	391	90
[22 -51 136]	391	0
[6 6 72]	396	0
[50 -2 8]	396	0
[10 2 40]	396	194
[10 22 88]	396	1090
[18 18 40]	396	1090
[18 6 24]	396	0
[18 42 120]	396	425
[6 9 80]	399	0
[50 -1 8]	399	0
[50 -151 464]	399	0
[10 1 40]	399	-26
[40 -121 376]	399	-1034
[34 -105 336]	399	-1034
[14 7 32]	399	0
[28 -7 16]	399	0
[16 39 120]	399	-40
[20 9 24]	399	0
[24 -57 152]	399	0
[50 0 8]	400	0
[52 -4 8]	400	0
[10 0 40]	400	-156
[10 20 80]	400	-1416
[26 -4 16]	400	0
[20 20 40]	400	-1416
[68 -205 624]	407	0
[6 13 96]	407	0
[52 -3 8]	407	0
[8 19 96]	407	0
[12 13 48]	407	1885
[12 29 104]	407	-555
[26 -3 16]	407	0
[16 19 48]	407	-555
[18 5 24]	407	0
[24 -77 264]	407	0
[22 11 24]	407	0
[52 -2 8]	412	0
[8 10 64]	412	0
[52 -158 488]	412	0
[14 6 32]	412	0
[14 34 112]	412	1131
[26 -2 16]	412	0
[28 -6 16]	412	0
[16 22 56]	412	1131
[28 -90 304]	412	0
[52 -1 8]	415	0
[8 17 88]	415	0
[10 15 64]	415	1515
[26 -1 16]	415	0
[26 -79 256]	415	1515
[22 -49 128]	415	0
[22 -71 248]	415	0
[6 8 80]	416	0
[70 -212 648]	416	0
[52 0 8]	416	0
[54 -4 8]	416	0
[10 12 56]	416	-1620
[42 -128 400]	416	-632
[12 16 56]	416	-2136
[36 -112 360]	416	-632
[14 16 48]	416	-2136
[30 -92 296]	416	-1620
[26 0 16]	416	0
[30 -8 16]	416	0
[18 4 24]	416	0
[18 40 112]	416	-360
[20 8 24]	416	0
[20 48 136]	416	-360
[6 3 72]	423	0
[54 -3 8]	423	0
[54 -165 512]	423	0
[12 27 96]	423	706
[14 5 32]	423	0
[14 19 56]	423	1124
[28 -5 16]	423	0
[16 37 112]	423	-1015
[18 3 24]	423	0
[18 21 48]	423	706
[18 27 64]	423	-1015
[6 2 72]	428	0
[6 14 104]	428	0
[54 -2 8]	428	0
[18 2 24]	428	0
[18 38 104]	428	-858
[22 10 24]	428	0
[22 54 152]	428	-858
[6 1 72]	431	0
[6 7 80]	431	0
[54 -1 8]	431	0
[8 9 64]	431	0
[44 -135 424]	431	5414
[10 23 96]	431	-3434
[12 25 88]	431	-336
[38 -119 384]	431	5414
[30 -7 16]	431	0
[30 -97 328]	431	0
[18 1 24]	431	0
[24 -73 240]	431	-3434
[20 23 48]	431	-336
[20 7 24]	431	0
[24 -55 144]	431	0
[6 0 72]	432	0
[54 0 8]	432	0
[8 4 56]	432	0
[56 -4 8]	432	0
[8 12 72]	432	0
[12 12 48]	432	-7728
[14 4 32]	432	0
[14 32 104]	432	-1206
[28 -4 16]	432	0
[18 0 24]	432	0
[18 24 56]	432	-1206
[26 -84 288]	432	0
[24 12 24]	432	0
[24 36 72]	432	1760
[8 3 56]	439	0
[56 -3 8]	439	0
[10 11 56]	439	7689
[10 21 88]	439	2034
[14 3 32]	439	0
[32 -99 320]	439	7689
[28 -3 16]	439	0
[16 35 104]	439	2550
[22 -67 224]	439	2034
[20 29 64]	439	2550
[26 -61 160]	439	0
[6 6 80]	444	0
[8 2 56]	444	0
[56 -2 8]	444	0
[8 18 96]	444	0
[10 14 64]	444	-2335
[46 -142 448]	444	-5401
[12 6 40]	444	-5401
[12 18 64]	444	4176
[14 2 32]	444	0
[14 30 96]	444	-438
[28 -2 16]	444	0
[16 18 48]	444	4176
[28 -86 280]	444	-2335
[30 -6 16]	444	0
[20 6 24]	444	0
[20 26 56]	444	-438
[24 -78 272]	444	0
[20 46 128]	444	-2840
[6 9 88]	447	0
[8 1 56]	447	0
[56 -1 8]	447	0
[12 15 56]	447	4199
[14 1 32]	447	0
[14 15 48]	447	4199
[28 -1 16]	447	0
[16 33 96]	447	-1564
[22 9 24]	447	0
[22 31 64]	447	-1564
[8 0 56]	448	0
[56 0 8]	448	0
[8 8 64]	448	0
[8 16 88]	448	0
[58 -4 8]	448	0
[14 0 32]	448	0
[14 28 88]	448	1668
[28 0 16]	448	0
[16 8 32]	448	0
[32 -8 16]	448	0
[16 24 64]	448	3456
[22 28 56]	448	1668
[22 -72 256]	448	0
[76 -229 696]	455	0
[58 -3 8]	455	0
[8 11 72]	455	0
[10 5 48]	455	-6765
[38 -115 360]	455	499
[12 5 40]	455	-6765
[14 21 64]	455	-8396
[30 -5 16]	455	0
[16 21 56]	455	-8396
[28 -91 312]	455	0
[18 43 128]	455	-1771
[20 5 24]	455	0
[24 11 24]	455	0
[58 -2 8]	460	0
[10 10 56]	460	-22005
[14 18 56]	460	6948
[34 -106 344]	460	-22005
[58 -1 8]	463	0
[58 -175 536]	463	0
[16 7 32]	463	0
[32 -7 16]	463	0
[6 8 88]	464	0
[78 -236 720]	464	0
[58 0 8]	464	0
[60 -4 8]	464	0
[10 4 48]	464	14892
[10 24 104]	464	17530
[12 4 40]	464	14892
[12 28 104]	464	14764
[30 -4 16]	464	0
[18 20 48]	464	14764
[26 -80 264]	464	17530
[20 4 24]	464	0
[20 44 120]	464	8940
[22 8 24]	464	0
[22 52 144]	464	8940
[6 3 80]	471	0
[60 -3 8]	471	0
[8 19 104]	471	0
[10 3 48]	471	215
[10 13 64]	471	-3859
[12 3 40]	471	215
[30 -3 16]	471	0
[30 -93 304]	471	-3859
[20 3 24]	471	0
[26 -85 296]	471	0
[6 2 80]	476	0
[60 -2 8]	476	0
[8 10 72]	476	0
[60 -182 560]	476	0
[10 2 48]	476	-15643
[10 22 96]	476	-37526
[12 2 40]	476	-15643
[12 14 56]	476	-9033
[40 -122 384]	476	44080
[12 26 96]	476	-63584
[14 14 48]	476	-9033
[30 -2 16]	476	0
[16 6 32]	476	0
[32 -6 16]	476	0
[16 38 120]	476	-27879
[18 26 64]	476	-27879
[30 -98 336]	476	0
[20 2 24]	476	0
[20 22 48]	476	-63584
[24 -74 248]	476	-37526
[24 10 24]	476	0
[24 -58 160]	476	-11760
[6 1 80]	479	0
[6 7 88]	479	0
[60 -1 8]	479	0
[8 17 96]	479	0
[10 1 48]	479	2308
[48 -145 448]	479	32926
[12 1 40]	479	2308
[12 17 64]	479	-5503
[36 -113 368]	479	32926
[14 33 112]	479	18680
[30 -1 16]	479	0
[16 17 48]	479	-5503
[18 23 56]	479	18680
[18 41 120]	479	29610
[20 1 24]	479	0
[20 49 144]	479	29610
[22 7 24]	479	0
[24 -79 280]	479	0
[6 0 80]	480	0
[60 0 8]	480	0
[62 -4 8]	480	0
[10 0 48]	480	12400
[10 20 88]	480	46760
[12 0 40]	480	12400
[12 24 88]	480	93488
[30 0 16]	480	0
[34 -8 16]	480	0
[20 0 24]	480	0
[22 24 48]	480	93488
[22 -68 232]	480	46760
[26 -12 24]	480	0
[26 -64 176]	480	11472
[62 -3 8]	487	0
[62 -189 584]	487	0
[16 5 32]	487	0
[32 -5 16]	487	0
[6 6 88]	492	0
[62 -2 8]	492	0
[22 6 24]	492	0
[22 50 136]	492	-11642
[62 -1 8]	495	0
[8 9 72]	495	0
[10 15 72]	495	-55020
[42 -129 408]	495	-51979
[14 17 56]	495	-40970
[14 31 104]	495	-19844
[34 -7 16]	495	0
[16 23 64]	495	9571
[28 -87 288]	495	-55020
[18 39 112]	495	-65729
[18 9 32]	495	0
[20 25 56]	495	-19844
[22 33 72]	495	-65729
[24 9 24]	495	0
[62 0 8]	496	0
[8 4 64]	496	0
[64 -4 8]	496	0
[8 12 80]	496	0
[10 12 64]	496	63456
[50 -152 472]	496	31032
[14 20 64]	496	23976
[38 -120 392]	496	31032
[16 4 32]	496	0
[32 -4 16]	496	0
[16 20 56]	496	23976
[32 -100 328]	496	63456
[16 36 112]	496	54624
[20 28 64]	496	54624
[28 -92 320]	496	0