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

  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)	2
  (9,3)	1
  (16,4)	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

(92 + ζ^(-4) + ζ^(-3) + ζ^(-2) + 11/ζ + 11*ζ + ζ^2 + ζ^3 + ζ^4)
+q(70148 + ζ^(-5) - 2/ζ^4 - 1783/ζ^3 + 16128/ζ^2 - 49418/ζ - 49418*ζ + 16128*ζ^2 - 1783*ζ^3 - 2*ζ^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	-1
[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	1
[12 17 40]	191	0
[18 -41 104]	191	1
[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	-3
[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	1
[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	2
[20 -45 112]	215	2
[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	-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	84
[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	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	-87
[12 25 72]	239	1
[22 -49 120]	239	-87
[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	0
[12 12 32]	240	0
[16 4 16]	240	0
[16 20 40]	240	0
[16 -36 96]	240	12
[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	1
[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	259
[20 -65 224]	255	0
[14 33 96]	255	-10
[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	-24
[20 -8 16]	256	0
[20 -48 128]	256	-24
[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	-173
[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	1
[14 17 40]	271	1
[14 31 88]	271	-11
[20 -7 16]	271	0
[16 39 112]	271	-11
[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	9
[14 20 48]	272	9
[22 -72 248]	272	0
[18 -4 16]	272	0
[18 -40 104]	272	-1860
[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	-1
[12 3 24]	279	0
[20 -61 200]	279	0
[14 29 80]	279	22
[18 -3 16]	279	0
[16 19 40]	279	-1
[18 27 56]	279	22
[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	-1
[18 -2 16]	284	0
[18 -38 96]	284	0
[20 -6 16]	284	0
[16 22 48]	284	-1
[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	-9
[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	-18
[18 0 16]	288	0
[18 -36 88]	288	3724
[22 -8 16]	288	0
[22 -52 136]	288	3724
[18 24 48]	288	-18
[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	1717
[6 6 56]	300	0
[38 -2 8]	300	0
[10 10 40]	300	1
[14 6 24]	300	0
[14 34 104]	300	68
[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	-10
[14 16 40]	304	-10
[22 -68 224]	304	0
[20 -4 16]	304	0
[20 -44 112]	304	-52256
[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	10
[12 13 40]	311	10
[12 29 96]	311	-45
[14 5 24]	311	0
[14 19 48]	311	-45
[20 -3 16]	311	0
[16 35 96]	311	1909
[20 -67 240]	311	0
[18 43 120]	311	1909
[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	1
[20 -2 16]	316	0
[16 18 40]	316	1
[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	-11
[20 -1 16]	319	0
[16 33 88]	319	-3616
[20 -49 136]	319	-3616
[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	35
[28 -88 288]	320	0
[14 4 24]	320	0
[14 32 96]	320	-1776
[20 0 16]	320	0
[16 8 24]	320	0
[24 -8 16]	320	0
[16 24 56]	320	-1776
[24 -56 144]	320	104560
[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	57
[14 3 24]	327	0
[24 -75 248]	327	0
[22 -5 16]	327	0
[16 21 48]	327	57
[6 2 56]	332	0
[6 14 88]	332	0
[42 -2 8]	332	0
[14 2 24]	332	0
[14 30 88]	332	-68
[18 26 56]	332	-68
[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	55
[12 25 80]	335	-3
[30 -95 312]	335	0
[14 1 24]	335	0
[14 15 40]	335	55
[16 7 24]	335	0
[24 -7 16]	335	0
[18 23 48]	335	-3
[18 41 112]	335	87595
[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	-44
[34 -104 328]	336	54
[12 12 40]	336	-44
[14 0 24]	336	0
[14 28 80]	336	3534
[22 -4 16]	336	0
[22 -48 120]	336	-443527
[20 28 56]	336	3534
[20 -68 248]	336	0
[86 -259 784]	343	0
[44 -3 8]	343	0
[8 19 88]	343	0
[14 21 56]	343	1636
[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	63
[14 18 48]	348	63
[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	-37269
[4 1 88]	351	0
[6 9 72]	351	0
[44 -1 8]	351	0
[8 17 80]	351	0
[36 -111 352]	351	-155
[10 23 88]	351	-45
[12 15 48]	351	-57
[22 -1 16]	351	0
[16 17 40]	351	-45
[20 -63 216]	351	0
[18 39 104]	351	114378
[18 9 24]	351	0
[20 -47 128]	351	114378
[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	879604
[60 -181 552]	359	0
[6 13 88]	359	0
[46 -3 8]	359	0
[46 -141 440]	359	0
[10 11 48]	359	101
[10 21 80]	359	-20
[30 -91 288]	359	101
[12 5 32]	359	0
[16 5 24]	359	0
[24 -5 16]	359	0
[18 19 40]	359	-20
[18 37 96]	359	-203905
[22 -53 144]	359	-203905
[22 -75 272]	359	0
[46 -2 8]	364	0
[10 14 56]	364	-131
[38 -118 376]	364	285
[14 14 40]	364	-131
[46 -1 8]	367	0
[8 9 56]	367	0
[28 -89 296]	367	0
[14 33 104]	367	34226
[26 -7 16]	367	0
[16 23 56]	367	34226
[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	1204
[16 4 24]	368	0
[24 -4 16]	368	0
[16 20 48]	368	1204
[24 -76 256]	368	0
[16 36 104]	368	-148504
[18 8 24]	368	0
[18 44 128]	368	-148504
[6 3 64]	375	0
[8 3 48]	375	0
[48 -3 8]	375	0
[10 5 40]	375	-340
[12 3 32]	375	0
[16 3 24]	375	0
[24 -3 16]	375	0
[20 -45 120]	375	1574017
[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	-155
[12 2 32]	380	0
[12 14 48]	380	93
[32 -98 312]	380	-155
[12 26 88]	380	-62
[16 2 24]	380	0
[24 -2 16]	380	0
[16 34 96]	380	37270
[26 -6 16]	380	0
[18 22 48]	380	-62
[22 -70 240]	380	0
[20 10 24]	380	0
[20 30 64]	380	37270
[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	-1394
[14 17 48]	383	-1394
[14 31 96]	383	60989
[16 1 24]	383	0
[24 -1 16]	383	0
[18 7 24]	383	0
[18 25 56]	383	60989
[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	232
[10 24 96]	384	560
[12 0 32]	384	0
[12 24 80]	384	-2478
[14 20 56]	384	-32656
[30 -96 320]	384	0
[16 0 24]	384	0
[24 0 16]	384	0
[16 16 40]	384	560
[16 32 88]	384	300560
[28 -8 16]	384	0
[20 24 48]	384	-2478
[20 -64 224]	384	0
[22 32 64]	384	300560
[22 -76 280]	384	0
[50 -3 8]	391	0
[8 11 64]	391	0
[10 3 40]	391	12
[10 13 56]	391	-231
[28 -85 272]	391	-231
[14 29 88]	391	-96807
[26 -5 16]	391	0
[26 -83 280]	391	0
[20 -43 112]	391	3394760
[20 27 56]	391	-96807
[22 -51 136]	391	3394760
[6 6 72]	396	0
[50 -2 8]	396	0
[10 2 40]	396	-286
[10 22 88]	396	130
[18 18 40]	396	130
[18 6 24]	396	0
[18 42 120]	396	-1633124
[6 9 80]	399	0
[50 -1 8]	399	0
[50 -151 464]	399	0
[10 1 40]	399	494
[40 -121 376]	399	617
[34 -105 336]	399	617
[14 7 32]	399	0
[28 -7 16]	399	0
[16 39 120]	399	538739
[20 9 24]	399	0
[24 -57 152]	399	-5079560
[50 0 8]	400	0
[52 -4 8]	400	0
[10 0 40]	400	-572
[10 20 80]	400	-1032
[26 -4 16]	400	0
[20 20 40]	400	-1032
[68 -205 624]	407	0
[6 13 96]	407	0
[52 -3 8]	407	0
[8 19 96]	407	0
[12 13 48]	407	719
[12 29 104]	407	-32434
[26 -3 16]	407	0
[16 19 48]	407	-32434
[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	-354745
[26 -2 16]	412	0
[28 -6 16]	412	0
[16 22 56]	412	-354745
[28 -90 304]	412	0
[52 -1 8]	415	0
[8 17 88]	415	0
[10 15 64]	415	-3510
[26 -1 16]	415	0
[26 -79 256]	415	-3510
[22 -49 128]	415	5756932
[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	2508
[42 -128 400]	416	-3320
[12 16 56]	416	31926
[36 -112 360]	416	-3320
[14 16 48]	416	31926
[30 -92 296]	416	2508
[26 0 16]	416	0
[30 -8 16]	416	0
[18 4 24]	416	0
[18 40 112]	416	-5615214
[20 8 24]	416	0
[20 48 136]	416	-5615214
[6 3 72]	423	0
[54 -3 8]	423	0
[54 -165 512]	423	0
[12 27 96]	423	-63136
[14 5 32]	423	0
[14 19 56]	423	258538
[28 -5 16]	423	0
[16 37 112]	423	2572981
[18 3 24]	423	0
[18 21 48]	423	-63136
[18 27 64]	423	2572981
[6 2 72]	428	0
[6 14 104]	428	0
[54 -2 8]	428	0
[18 2 24]	428	0
[18 38 104]	428	1633192
[22 10 24]	428	0
[22 54 152]	428	1633192
[6 1 72]	431	0
[6 7 80]	431	0
[54 -1 8]	431	0
[8 9 64]	431	0
[44 -135 424]	431	10637
[10 23 96]	431	241
[12 25 88]	431	97011
[38 -119 384]	431	10637
[30 -7 16]	431	0
[30 -97 328]	431	0
[18 1 24]	431	0
[24 -73 240]	431	241
[20 23 48]	431	97011
[20 7 24]	431	0
[24 -55 144]	431	46014823
[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	-29792
[14 4 32]	432	0
[14 32 104]	432	-994950
[28 -4 16]	432	0
[18 0 24]	432	0
[18 24 56]	432	-994950
[26 -84 288]	432	0
[24 12 24]	432	0
[24 36 72]	432	11527472
[8 3 56]	439	0
[56 -3 8]	439	0
[10 11 56]	439	-7120
[10 21 88]	439	3410
[14 3 32]	439	0
[32 -99 320]	439	-7120
[28 -3 16]	439	0
[16 35 104]	439	3590623
[22 -67 224]	439	3410
[20 29 64]	439	3590623
[26 -61 160]	439	-54958983
[6 6 80]	444	0
[8 2 56]	444	0
[56 -2 8]	444	0
[8 18 96]	444	0
[10 14 64]	444	11617
[46 -142 448]	444	-20777
[12 6 40]	444	-20777
[12 18 64]	444	380397
[14 2 32]	444	0
[14 30 96]	444	354682
[28 -2 16]	444	0
[16 18 48]	444	380397
[28 -86 280]	444	11617
[30 -6 16]	444	0
[20 6 24]	444	0
[20 26 56]	444	354682
[24 -78 272]	444	0
[20 46 128]	444	-23891256
[6 9 88]	447	0
[8 1 56]	447	0
[56 -1 8]	447	0
[12 15 56]	447	-285666
[14 1 32]	447	0
[14 15 48]	447	-285666
[28 -1 16]	447	0
[16 33 96]	447	-6736625
[22 9 24]	447	0
[22 31 64]	447	-6736625
[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	2055232
[28 0 16]	448	0
[16 8 32]	448	0
[32 -8 16]	448	0
[16 24 64]	448	-5393728
[22 28 56]	448	2055232
[22 -72 256]	448	0
[76 -229 696]	455	0
[58 -3 8]	455	0
[8 11 72]	455	0
[10 5 48]	455	25485
[38 -115 360]	455	307467
[12 5 40]	455	25485
[14 21 64]	455	2410194
[30 -5 16]	455	0
[16 21 56]	455	2410194
[28 -91 312]	455	0
[18 43 128]	455	24152901
[20 5 24]	455	0
[24 11 24]	455	0
[58 -2 8]	460	0
[10 10 56]	460	9315
[14 18 56]	460	-1035201
[34 -106 344]	460	9315
[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	-17556
[10 24 104]	464	-12662
[12 4 40]	464	-17556
[12 28 104]	464	1157976
[30 -4 16]	464	0
[18 20 48]	464	1157976
[26 -80 264]	464	-12662
[20 4 24]	464	0
[20 44 120]	464	-123014882
[22 8 24]	464	0
[22 52 144]	464	-123014882
[6 3 80]	471	0
[60 -3 8]	471	0
[8 19 104]	471	0
[10 3 48]	471	-716
[10 13 64]	471	-11117
[12 3 40]	471	-716
[30 -3 16]	471	0
[30 -93 304]	471	-11117
[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	20933
[10 22 96]	476	-11462
[12 2 40]	476	20933
[12 14 56]	476	1380699
[40 -122 384]	476	-1740256
[12 26 96]	476	-380490
[14 14 48]	476	1380699
[30 -2 16]	476	0
[16 6 32]	476	0
[32 -6 16]	476	0
[16 38 120]	476	-27117051
[18 26 64]	476	-27117051
[30 -98 336]	476	0
[20 2 24]	476	0
[20 22 48]	476	-380490
[24 -74 248]	476	-11462
[24 10 24]	476	0
[24 -58 160]	476	23853987
[6 1 80]	479	0
[6 7 88]	479	0
[60 -1 8]	479	0
[8 17 96]	479	0
[10 1 48]	479	-36134
[48 -145 448]	479	-15083
[12 1 40]	479	-36134
[12 17 64]	479	-2939726
[36 -113 368]	479	-15083
[14 33 112]	479	7625051
[30 -1 16]	479	0
[16 17 48]	479	-2939726
[18 23 56]	479	7625051
[18 41 120]	479	101667672
[20 1 24]	479	0
[20 49 144]	479	101667672
[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	41840
[10 20 88]	480	20200
[12 0 40]	480	41840
[12 24 88]	480	-2379716
[30 0 16]	480	0
[34 -8 16]	480	0
[20 0 24]	480	0
[22 24 48]	480	-2379716
[22 -68 232]	480	20200
[26 -12 24]	480	0
[26 -64 176]	480	257253124
[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	-27545112
[62 -1 8]	495	0
[8 9 72]	495	0
[10 15 72]	495	101730
[42 -129 408]	495	6462750
[14 17 56]	495	1029248
[14 31 104]	495	605568
[34 -7 16]	495	0
[16 23 64]	495	36436044
[28 -87 288]	495	101730
[18 39 112]	495	103060646
[18 9 32]	495	0
[20 25 56]	495	605568
[22 33 72]	495	103060646
[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	-58400
[50 -152 472]	496	90232
[14 20 64]	496	-10283976
[38 -120 392]	496	90232
[16 4 32]	496	0
[32 -4 16]	496	0
[16 20 56]	496	-10283976
[32 -100 328]	496	-58400
[16 36 112]	496	-81504308
[20 28 64]	496	-81504308
[28 -92 320]	496	0