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
  q^-1(1)
  +(92 + ζ^(-3) + 2/ζ^2 + 23/ζ + 23*ζ + 2*ζ^2 + ζ^3)
  +q(ζ^(-5) + 18/ζ^4 + 18*ζ^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,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,3)
  		= 1232231
  		= η(τ)92(θ(τ,z)/η(τ))23(θ(τ,2z)/η(τ))2(θ(τ,3z)/η(τ))

  This theta block has q-order of vanishing 6. 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 an antisymmetric 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 0 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)	26
  (4,2)	2
  (9,3)	1
  (16,0)	1

• From the singular part above, we compute that the valuation Ord(ψ) is -1, and hence we need to multiply ψ by Δ^2 to get a Jacobi cusp form. The definition of ψ is
      ψ = c · θ/ Δ^2.
  Here c is a vector of coefficients, θ is a basis of of J_24,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

q^-1(1)
+(92 + ζ^(-3) + 2/ζ^2 + 23/ζ + 23*ζ + 2*ζ^2 + ζ^3)
+q(70512 + ζ^(-5) + 18/ζ^4 + 2301/ζ^3 + 16064/ζ^2 + 44802/ζ + 44802*ζ + 16064*ζ^2 + 2301*ζ^3 + 18*ζ^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	1
[16 6 16]	220	0
[16 -38 104]	220	-1
[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	-2
[18 -8 16]	224	0
[18 -44 120]	224	2
[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	-1
[14 21 48]	231	1
[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	1
[14 18 40]	236	-1
[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	1
[22 -49 120]	239	0
[22 -71 240]	239	0
[18 -7 16]	239	0
[16 23 48]	239	-1
[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	-2
[12 12 32]	240	0
[16 4 16]	240	0
[16 20 40]	240	2
[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	-15
[18 -6 16]	252	0
[18 -42 112]	252	15
[4 1 64]	255	0
[6 9 56]	255	0
[8 1 32]	255	0
[32 -1 8]	255	0
[10 15 48]	255	-1
[12 15 40]	255	1
[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	32
[20 -8 16]	256	0
[20 -48 128]	256	-32
[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	-21
[14 17 40]	271	21
[14 31 88]	271	-6
[20 -7 16]	271	0
[16 39 112]	271	6
[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	22
[14 20 48]	272	-22
[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	22
[12 3 24]	279	0
[20 -61 200]	279	0
[14 29 80]	279	5
[18 -3 16]	279	0
[16 19 40]	279	-22
[18 27 56]	279	-5
[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	23
[30 -94 304]	284	0
[12 2 24]	284	0
[12 14 40]	284	-23
[24 -74 240]	284	0
[12 26 80]	284	-16
[18 -2 16]	284	0
[18 -38 96]	284	13
[20 -6 16]	284	0
[16 22 48]	284	16
[20 -46 120]	284	-13
[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
[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	-12
[18 0 16]	288	0
[18 -36 88]	288	-60
[22 -8 16]	288	0
[22 -52 136]	288	60
[18 24 48]	288	12
[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	0
[14 6 24]	300	0
[14 34 104]	300	0
[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	228
[14 16 40]	304	-228
[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	-251
[12 13 40]	311	251
[12 29 96]	311	-236
[14 5 24]	311	0
[14 19 48]	311	236
[20 -3 16]	311	0
[16 35 96]	311	-1954
[20 -67 240]	311	0
[18 43 120]	311	1954
[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	-87
[20 -2 16]	316	0
[16 18 40]	316	87
[20 -42 104]	316	910
[20 -62 208]	316	0
[22 -6 16]	316	0
[22 -50 128]	316	-910
[4 1 80]	319	0
[8 1 40]	319	0
[40 -1 8]	319	0
[10 1 32]	319	0
[32 -97 304]	319	0
[20 -1 16]	319	0
[16 33 88]	319	1949
[20 -49 136]	319	-1949
[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	-328
[12 16 48]	320	0
[28 -88 288]	320	0
[14 4 24]	320	0
[14 32 96]	320	2154
[20 0 16]	320	0
[16 8 24]	320	0
[24 -8 16]	320	0
[16 24 56]	320	-2154
[24 -56 144]	320	1728
[18 20 40]	320	328
[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	-2082
[14 3 24]	327	0
[24 -75 248]	327	0
[22 -5 16]	327	0
[16 21 48]	327	2082
[6 2 56]	332	0
[6 14 88]	332	0
[42 -2 8]	332	0
[14 2 24]	332	0
[14 30 88]	332	-35
[18 26 56]	332	35
[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	-1661
[12 25 80]	335	2317
[30 -95 312]	335	0
[14 1 24]	335	0
[14 15 40]	335	1661
[16 7 24]	335	0
[24 -7 16]	335	0
[18 23 48]	335	-2317
[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	1726
[34 -104 328]	336	0
[12 12 40]	336	-1726
[14 0 24]	336	0
[14 28 80]	336	-4192
[22 -4 16]	336	0
[22 -48 120]	336	0
[20 28 56]	336	4192
[20 -68 248]	336	0
[86 -259 784]	343	0
[44 -3 8]	343	0
[8 19 88]	343	0
[14 21 56]	343	0
[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	3821
[14 18 48]	348	-3821
[26 -82 272]	348	0
[22 -2 16]	348	0
[16 6 24]	348	0
[24 -6 16]	348	0
[24 -54 136]	348	3975
[16 38 112]	348	0
[4 1 88]	351	0
[6 9 72]	351	0
[44 -1 8]	351	0
[8 17 80]	351	0
[36 -111 352]	351	0
[10 23 88]	351	121
[12 15 48]	351	0
[22 -1 16]	351	0
[16 17 40]	351	-121
[20 -63 216]	351	0
[18 39 104]	351	-7563
[18 9 24]	351	0
[20 -47 128]	351	7563
[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	-9620
[60 -181 552]	359	0
[6 13 88]	359	0
[46 -3 8]	359	0
[46 -141 440]	359	0
[10 11 48]	359	-8373
[10 21 80]	359	1791
[30 -91 288]	359	8373
[12 5 32]	359	0
[16 5 24]	359	0
[24 -5 16]	359	0
[18 19 40]	359	-1791
[18 37 96]	359	5615
[22 -53 144]	359	-5615
[22 -75 272]	359	0
[46 -2 8]	364	0
[10 14 56]	364	8601
[38 -118 376]	364	0
[14 14 40]	364	-8601
[46 -1 8]	367	0
[8 9 56]	367	0
[28 -89 296]	367	0
[14 33 104]	367	-34171
[26 -7 16]	367	0
[16 23 56]	367	34171
[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	32128
[16 4 24]	368	0
[24 -4 16]	368	0
[16 20 48]	368	-32128
[24 -76 256]	368	0
[16 36 104]	368	37254
[18 8 24]	368	0
[18 44 128]	368	-37254
[6 3 64]	375	0
[8 3 48]	375	0
[48 -3 8]	375	0
[10 5 40]	375	0
[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	30381
[12 2 32]	380	0
[12 14 48]	380	0
[32 -98 312]	380	-30381
[12 26 88]	380	-32726
[16 2 24]	380	0
[24 -2 16]	380	0
[16 34 96]	380	-28048
[26 -6 16]	380	0
[18 22 48]	380	32726
[22 -70 240]	380	0
[20 10 24]	380	0
[20 30 64]	380	28048
[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	-42802
[14 17 48]	383	42802
[14 31 96]	383	-6306
[16 1 24]	383	0
[24 -1 16]	383	0
[18 7 24]	383	0
[18 25 56]	383	6306
[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	0
[10 24 96]	384	-1316
[12 0 32]	384	0
[12 24 80]	384	-6400
[14 20 56]	384	0
[30 -96 320]	384	0
[16 0 24]	384	0
[24 0 16]	384	0
[16 16 40]	384	1316
[16 32 88]	384	-14140
[28 -8 16]	384	0
[20 24 48]	384	6400
[20 -64 224]	384	0
[22 32 64]	384	14140
[22 -76 280]	384	0
[50 -3 8]	391	0
[8 11 64]	391	0
[10 3 40]	391	0
[10 13 56]	391	-30768
[28 -85 272]	391	30768
[14 29 88]	391	40220
[26 -5 16]	391	0
[26 -83 280]	391	0
[20 -43 112]	391	65426
[20 27 56]	391	-40220
[22 -51 136]	391	-65426
[6 6 72]	396	0
[50 -2 8]	396	0
[10 2 40]	396	0
[10 22 88]	396	-6701
[18 18 40]	396	6701
[18 6 24]	396	0
[18 42 120]	396	0
[6 9 80]	399	0
[50 -1 8]	399	0
[50 -151 464]	399	0
[10 1 40]	399	0
[40 -121 376]	399	-85215
[34 -105 336]	399	85215
[14 7 32]	399	0
[28 -7 16]	399	0
[16 39 120]	399	0
[20 9 24]	399	0
[24 -57 152]	399	71036
[50 0 8]	400	0
[52 -4 8]	400	0
[10 0 40]	400	0
[10 20 80]	400	-4620
[26 -4 16]	400	0
[20 20 40]	400	4620
[68 -205 624]	407	0
[6 13 96]	407	0
[52 -3 8]	407	0
[8 19 96]	407	0
[12 13 48]	407	0
[12 29 104]	407	-202008
[26 -3 16]	407	0
[16 19 48]	407	202008
[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	242512
[26 -2 16]	412	0
[28 -6 16]	412	0
[16 22 56]	412	-242512
[28 -90 304]	412	0
[52 -1 8]	415	0
[8 17 88]	415	0
[10 15 64]	415	25929
[26 -1 16]	415	0
[26 -79 256]	415	-25929
[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	63968
[42 -128 400]	416	187980
[12 16 56]	416	262776
[36 -112 360]	416	-187980
[14 16 48]	416	-262776
[30 -92 296]	416	-63968
[26 0 16]	416	0
[30 -8 16]	416	0
[18 4 24]	416	0
[18 40 112]	416	825676
[20 8 24]	416	0
[20 48 136]	416	-825676
[6 3 72]	423	0
[54 -3 8]	423	0
[54 -165 512]	423	0
[12 27 96]	423	155865
[14 5 32]	423	0
[14 19 56]	423	0
[28 -5 16]	423	0
[16 37 112]	423	-1088563
[18 3 24]	423	0
[18 21 48]	423	-155865
[18 27 64]	423	1088563
[6 2 72]	428	0
[6 14 104]	428	0
[54 -2 8]	428	0
[18 2 24]	428	0
[18 38 104]	428	-1470740
[22 10 24]	428	0
[22 54 152]	428	1470740
[6 1 72]	431	0
[6 7 80]	431	0
[54 -1 8]	431	0
[8 9 64]	431	0
[44 -135 424]	431	-327405
[10 23 96]	431	32679
[12 25 88]	431	88694
[38 -119 384]	431	327405
[30 -7 16]	431	0
[30 -97 328]	431	0
[18 1 24]	431	0
[24 -73 240]	431	-32679
[20 23 48]	431	-88694
[20 7 24]	431	0
[24 -55 144]	431	-1313399
[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	0
[14 4 32]	432	0
[14 32 104]	432	931776
[28 -4 16]	432	0
[18 0 24]	432	0
[18 24 56]	432	-931776
[26 -84 288]	432	0
[24 12 24]	432	0
[24 36 72]	432	-1364544
[8 3 56]	439	0
[56 -3 8]	439	0
[10 11 56]	439	14784
[10 21 88]	439	-19467
[14 3 32]	439	0
[32 -99 320]	439	-14784
[28 -3 16]	439	0
[16 35 104]	439	793787
[22 -67 224]	439	19467
[20 29 64]	439	-793787
[26 -61 160]	439	1240415
[6 6 80]	444	0
[8 2 56]	444	0
[56 -2 8]	444	0
[8 18 96]	444	0
[10 14 64]	444	-230967
[46 -142 448]	444	444015
[12 6 40]	444	-444015
[12 18 64]	444	625040
[14 2 32]	444	0
[14 30 96]	444	-1702627
[28 -2 16]	444	0
[16 18 48]	444	-625040
[28 -86 280]	444	230967
[30 -6 16]	444	0
[20 6 24]	444	0
[20 26 56]	444	1702627
[24 -78 272]	444	0
[20 46 128]	444	0
[6 9 88]	447	0
[8 1 56]	447	0
[56 -1 8]	447	0
[12 15 56]	447	-857638
[14 1 32]	447	0
[14 15 48]	447	857638
[28 -1 16]	447	0
[16 33 96]	447	258545
[22 9 24]	447	0
[22 31 64]	447	-258545
[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	1064776
[28 0 16]	448	0
[16 8 32]	448	0
[32 -8 16]	448	0
[16 24 64]	448	0
[22 28 56]	448	-1064776
[22 -72 256]	448	0
[76 -229 696]	455	0
[58 -3 8]	455	0
[8 11 72]	455	0
[10 5 48]	455	-444015
[38 -115 360]	455	0
[12 5 40]	455	444015
[14 21 64]	455	-1765631
[30 -5 16]	455	0
[16 21 56]	455	1765631
[28 -91 312]	455	0
[18 43 128]	455	0
[20 5 24]	455	0
[24 11 24]	455	0
[58 -2 8]	460	0
[10 10 56]	460	-694284
[14 18 56]	460	0
[34 -106 344]	460	694284
[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	260130
[10 24 104]	464	-191168
[12 4 40]	464	-260130
[12 28 104]	464	125606
[30 -4 16]	464	0
[18 20 48]	464	-125606
[26 -80 264]	464	191168
[20 4 24]	464	0
[20 44 120]	464	996264
[22 8 24]	464	0
[22 52 144]	464	-996264
[6 3 80]	471	0
[60 -3 8]	471	0
[8 19 104]	471	0
[10 3 48]	471	85215
[10 13 64]	471	1240686
[12 3 40]	471	-85215
[30 -3 16]	471	0
[30 -93 304]	471	-1240686
[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	-478515
[10 22 96]	476	166282
[12 2 40]	476	478515
[12 14 56]	476	788881
[40 -122 384]	476	0
[12 26 96]	476	-489552
[14 14 48]	476	-788881
[30 -2 16]	476	0
[16 6 32]	476	0
[32 -6 16]	476	0
[16 38 120]	476	11990814
[18 26 64]	476	-11990814
[30 -98 336]	476	0
[20 2 24]	476	0
[20 22 48]	476	489552
[24 -74 248]	476	-166282
[24 10 24]	476	0
[24 -58 160]	476	12062816
[6 1 80]	479	0
[6 7 88]	479	0
[60 -1 8]	479	0
[8 17 96]	479	0
[10 1 48]	479	780045
[48 -145 448]	479	3043292
[12 1 40]	479	-780045
[12 17 64]	479	-782239
[36 -113 368]	479	-3043292
[14 33 112]	479	-11317795
[30 -1 16]	479	0
[16 17 48]	479	782239
[18 23 56]	479	11317795
[18 41 120]	479	-12766471
[20 1 24]	479	0
[20 49 144]	479	12766471
[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	-891480
[10 20 88]	480	323008
[12 0 40]	480	891480
[12 24 88]	480	-1044288
[30 0 16]	480	0
[34 -8 16]	480	0
[20 0 24]	480	0
[22 24 48]	480	1044288
[22 -68 232]	480	-323008
[26 -12 24]	480	0
[26 -64 176]	480	-23719944
[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	0
[62 -1 8]	495	0
[8 9 72]	495	0
[10 15 72]	495	736351
[42 -129 408]	495	0
[14 17 56]	495	0
[14 31 104]	495	7667636
[34 -7 16]	495	0
[16 23 64]	495	0
[28 -87 288]	495	-736351
[18 39 112]	495	18321026
[18 9 32]	495	0
[20 25 56]	495	-7667636
[22 33 72]	495	-18321026
[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	-4368906
[50 -152 472]	496	-8300304
[14 20 64]	496	13781712
[38 -120 392]	496	8300304
[16 4 32]	496	0
[32 -4 16]	496	0
[16 20 56]	496	-13781712
[32 -100 328]	496	4368906
[16 36 112]	496	5671552
[20 28 64]	496	-5671552
[28 -92 320]	496	0