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

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

• 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 + 2/ζ^3 + 2/ζ^2 + 22/ζ + 22*ζ + 2*ζ^2 + 2*ζ^3)
+q(8552 + 2/ζ^5 - 52/ζ^4 + 530/ζ^3 - 128/ζ^2 - 4628/ζ - 4628*ζ - 128*ζ^2 + 530*ζ^3 - 52*ζ^4 + 2*ζ^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
[24 -49 104]	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	1
[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	-2
[22 -4 8]	160	0
[22 -48 112]	160	-2
[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	56
[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
[2 4 96]	176	0
[4 4 48]	176	0
[6 8 40]	176	0
[30 -92 288]	176	0
[22 0 8]	176	0
[22 -44 96]	176	-108
[8 4 24]	176	0
[24 -4 8]	176	0
[8 12 40]	176	0
[24 -52 120]	176	-108
[10 12 32]	176	0
[18 -56 184]	176	0
[12 4 16]	176	0
[12 28 80]	176	0
[2 3 96]	183	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
[2 2 96]	188	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
[24 -50 112]	188	1503
[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
[2 1 96]	191	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
[2 0 96]	192	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
[26 -56 128]	192	-2792
[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	-2
[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	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	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	-126
[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	124
[12 25 72]	239	0
[22 -49 120]	239	124
[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	1
[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	2
[18 -6 16]	252	0
[18 -42 112]	252	2
[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	-4248
[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	-6
[20 -8 16]	256	0
[20 -48 128]	256	-6
[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 -45 104]	263	4122
[22 -67 216]	263	0
[12 5 24]	263	0
[24 -53 128]	263	4122
[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	-2
[20 -7 16]	271	0
[16 39 112]	271	-2
[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	88
[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
[24 -51 120]	279	-91490
[20 -61 200]	279	0
[14 29 80]	279	2
[18 -3 16]	279	0
[16 19 40]	279	0
[18 27 56]	279	2
[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	0
[30 -94 304]	284	0
[12 2 24]	284	0
[12 14 40]	284	0
[24 -74 240]	284	0
[12 26 80]	284	1
[18 -2 16]	284	0
[18 -38 96]	284	110
[20 -6 16]	284	0
[16 22 48]	284	1
[20 -46 120]	284	110
[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
[26 -57 136]	287	87246
[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	-2
[18 0 16]	288	0
[18 -36 88]	288	-400
[22 -8 16]	288	0
[22 -52 136]	288	-400
[18 24 48]	288	-2
[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	-22
[6 6 56]	300	0
[38 -2 8]	300	0
[10 10 40]	300	0
[14 6 24]	300	0
[14 34 104]	300	4
[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	0
[14 16 40]	304	0
[22 -68 224]	304	0
[20 -4 16]	304	0
[20 -44 112]	304	4354
[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	0
[12 13 40]	311	0
[12 29 96]	311	-2
[14 5 24]	311	0
[14 19 48]	311	-2
[20 -3 16]	311	0
[16 35 96]	311	-162
[20 -67 240]	311	0
[18 43 120]	311	-162
[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	0
[20 -2 16]	316	0
[16 18 40]	316	0
[20 -42 104]	316	2834
[20 -62 208]	316	0
[22 -6 16]	316	0
[22 -50 128]	316	2834
[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	186
[20 -49 136]	319	186
[4 0 80]	320	0
[4 8 96]	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	0
[12 16 48]	320	1
[28 -88 288]	320	0
[14 4 24]	320	0
[14 32 96]	320	38
[20 0 16]	320	0
[20 -40 96]	320	-14584
[16 8 24]	320	0
[24 -8 16]	320	0
[16 24 56]	320	38
[24 -56 144]	320	-14584
[18 20 40]	320	0
[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	-18
[14 3 24]	327	0
[24 -75 248]	327	0
[22 -5 16]	327	0
[16 21 48]	327	-18
[6 2 56]	332	0
[6 14 88]	332	0
[42 -2 8]	332	0
[14 2 24]	332	0
[14 30 88]	332	52
[18 26 56]	332	52
[22 -74 264]	332	0
[4 9 104]	335	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	0
[12 25 80]	335	20
[30 -95 312]	335	0
[14 1 24]	335	0
[14 15 40]	335	0
[16 7 24]	335	0
[24 -7 16]	335	0
[18 23 48]	335	20
[18 41 112]	335	-2056
[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	0
[34 -104 328]	336	0
[12 12 40]	336	0
[14 0 24]	336	0
[14 28 80]	336	-188
[22 -4 16]	336	0
[22 -48 120]	336	128896
[20 28 56]	336	-188
[20 -68 248]	336	0
[86 -259 784]	343	0
[44 -3 8]	343	0
[8 19 88]	343	0
[14 21 56]	343	-82
[22 -3 16]	343	0
[22 -69 232]	343	0
[4 2 88]	348	0
[4 6 96]	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	42
[14 18 48]	348	42
[26 -82 272]	348	0
[22 -2 16]	348	0
[22 -46 112]	348	52780
[16 6 24]	348	0
[24 -6 16]	348	0
[24 -54 136]	348	52780
[16 38 112]	348	528
[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	0
[12 15 48]	351	-22
[22 -1 16]	351	0
[16 17 40]	351	0
[20 -63 216]	351	0
[18 39 104]	351	-7328
[18 9 24]	351	0
[20 -47 128]	351	-7328
[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	-368224
[4 5 96]	359	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	0
[10 21 80]	359	0
[30 -91 288]	359	0
[12 5 32]	359	0
[16 5 24]	359	0
[24 -5 16]	359	0
[18 19 40]	359	0
[18 37 96]	359	9544
[22 -53 144]	359	9544
[22 -75 272]	359	0
[46 -2 8]	364	0
[10 14 56]	364	0
[38 -118 376]	364	0
[14 14 40]	364	0
[46 -1 8]	367	0
[8 9 56]	367	0
[28 -89 296]	367	0
[14 33 104]	367	-546
[26 -7 16]	367	0
[16 23 56]	367	-546
[4 4 96]	368	0
[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	186
[16 4 24]	368	0
[24 -4 16]	368	0
[16 20 48]	368	186
[24 -52 128]	368	2560023
[24 -76 256]	368	0
[16 36 104]	368	3668
[18 8 24]	368	0
[18 44 128]	368	3668
[94 -283 856]	375	0
[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	-93596
[4 2 96]	380	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	0
[12 2 32]	380	0
[12 14 48]	380	229
[32 -98 312]	380	0
[12 26 88]	380	-106
[16 2 24]	380	0
[24 -2 16]	380	0
[16 34 96]	380	847
[26 -6 16]	380	0
[26 -58 144]	380	711830
[18 22 48]	380	-106
[22 -70 240]	380	0
[20 10 24]	380	0
[20 30 64]	380	847
[4 1 96]	383	0
[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	-436
[14 17 48]	383	-436
[14 31 96]	383	-1618
[16 1 24]	383	0
[24 -1 16]	383	0
[18 7 24]	383	0
[18 25 56]	383	-1618
[4 0 96]	384	0
[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	0
[12 0 32]	384	0
[12 24 80]	384	-246
[14 20 56]	384	928
[30 -96 320]	384	0
[16 0 24]	384	0
[24 0 16]	384	0
[16 16 40]	384	0
[16 32 88]	384	-10164
[28 -8 16]	384	0
[28 -64 160]	384	-6620320
[20 24 48]	384	-246
[20 -64 224]	384	0
[22 32 64]	384	-10164
[22 -76 280]	384	0
[50 -3 8]	391	0
[8 11 64]	391	0
[10 3 40]	391	0
[10 13 56]	391	0
[28 -85 272]	391	0
[14 29 88]	391	2248
[26 -5 16]	391	0
[26 -83 280]	391	0
[20 -43 112]	391	-224942
[20 27 56]	391	2248
[22 -51 136]	391	-224942
[6 6 72]	396	0
[50 -2 8]	396	0
[10 2 40]	396	0
[10 22 88]	396	0
[18 18 40]	396	0
[18 6 24]	396	0
[18 42 120]	396	38828
[6 9 80]	399	0
[50 -1 8]	399	0
[50 -151 464]	399	0
[10 1 40]	399	0
[40 -121 376]	399	0
[34 -105 336]	399	0
[14 7 32]	399	0
[28 -7 16]	399	0
[16 39 120]	399	-9248
[20 -41 104]	399	325678
[20 9 24]	399	0
[24 -57 152]	399	325678
[50 0 8]	400	0
[52 -4 8]	400	0
[10 0 40]	400	0
[10 20 80]	400	0
[26 -4 16]	400	0
[20 20 40]	400	0
[68 -205 624]	407	0
[6 13 96]	407	0
[52 -3 8]	407	0
[8 19 96]	407	0
[12 13 48]	407	-1498
[12 29 104]	407	-1346
[26 -3 16]	407	0
[16 19 48]	407	-1346
[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	6738
[26 -2 16]	412	0
[28 -6 16]	412	0
[16 22 56]	412	6738
[28 -90 304]	412	0
[52 -1 8]	415	0
[8 17 88]	415	0
[10 15 64]	415	0
[26 -1 16]	415	0
[26 -79 256]	415	0
[22 -49 128]	415	-2713798
[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	0
[42 -128 400]	416	0
[12 16 56]	416	2930
[36 -112 360]	416	0
[14 16 48]	416	2930
[30 -92 296]	416	0
[26 0 16]	416	0
[30 -8 16]	416	0
[18 4 24]	416	0
[18 40 112]	416	178106
[20 8 24]	416	0
[20 48 136]	416	178106
[6 3 72]	423	0
[54 -3 8]	423	0
[54 -165 512]	423	0
[12 27 96]	423	506
[14 5 32]	423	0
[14 19 56]	423	-7860
[28 -5 16]	423	0
[16 37 112]	423	-53556
[18 3 24]	423	0
[18 21 48]	423	506
[18 27 64]	423	-53556
[6 2 72]	428	0
[6 14 104]	428	0
[54 -2 8]	428	0
[18 2 24]	428	0
[18 38 104]	428	-4928
[22 10 24]	428	0
[22 54 152]	428	-4928
[6 1 72]	431	0
[6 7 80]	431	0
[54 -1 8]	431	0
[8 9 64]	431	0
[44 -135 424]	431	0
[10 23 96]	431	0
[12 25 88]	431	1298
[38 -119 384]	431	0
[30 -7 16]	431	0
[30 -97 328]	431	0
[18 1 24]	431	0
[24 -73 240]	431	0
[20 23 48]	431	1298
[22 -47 120]	431	-4827370
[20 7 24]	431	0
[24 -55 144]	431	-4827370
[6 0 72]	432	0
[6 12 96]	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	6898
[14 4 32]	432	0
[14 32 104]	432	21952
[28 -4 16]	432	0
[18 0 24]	432	0
[18 36 96]	432	-431448
[18 24 56]	432	21952
[26 -84 288]	432	0
[24 12 24]	432	0
[24 36 72]	432	-431448
[8 3 56]	439	0
[56 -3 8]	439	0
[10 11 56]	439	0
[10 21 88]	439	0
[14 3 32]	439	0
[32 -99 320]	439	0
[28 -3 16]	439	0
[16 35 104]	439	-86082
[22 -67 224]	439	0
[20 29 64]	439	-86082
[26 -61 160]	439	7756382
[6 6 80]	444	0
[8 2 56]	444	0
[56 -2 8]	444	0
[8 18 96]	444	0
[10 14 64]	444	0
[46 -142 448]	444	0
[12 6 40]	444	0
[12 18 64]	444	6696
[14 2 32]	444	0
[14 30 96]	444	-2684
[28 -2 16]	444	0
[16 18 48]	444	6696
[28 -86 280]	444	0
[30 -6 16]	444	0
[20 6 24]	444	0
[20 26 56]	444	-2684
[24 -78 272]	444	0
[20 46 128]	444	1695587
[6 9 88]	447	0
[8 1 56]	447	0
[56 -1 8]	447	0
[12 15 56]	447	-13836
[14 1 32]	447	0
[14 15 48]	447	-13836
[28 -1 16]	447	0
[16 33 96]	447	149450
[22 9 24]	447	0
[22 31 64]	447	149450
[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	-53952
[28 0 16]	448	0
[16 8 32]	448	0
[32 -8 16]	448	0
[16 24 64]	448	110518
[22 28 56]	448	-53952
[22 -72 256]	448	0
[76 -229 696]	455	0
[6 13 104]	455	0
[58 -3 8]	455	0
[8 11 72]	455	0
[10 5 48]	455	0
[38 -115 360]	455	-23734
[12 5 40]	455	0
[14 21 64]	455	-64692
[30 -5 16]	455	0
[16 21 56]	455	-64692
[28 -91 312]	455	0
[18 43 128]	455	-603050
[20 5 24]	455	0
[24 -53 136]	455	-53775548
[24 11 24]	455	0
[58 -2 8]	460	0
[10 10 56]	460	0
[14 18 56]	460	54276
[34 -106 344]	460	0
[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	0
[10 24 104]	464	0
[12 4 40]	464	0
[12 28 104]	464	-3696
[30 -4 16]	464	0
[18 20 48]	464	-3696
[26 -80 264]	464	0
[20 4 24]	464	0
[20 44 120]	464	5666164
[22 8 24]	464	0
[22 52 144]	464	5666164
[6 3 80]	471	0
[60 -3 8]	471	0
[8 19 104]	471	0
[10 3 48]	471	0
[10 13 64]	471	0
[12 3 40]	471	0
[30 -3 16]	471	0
[30 -93 304]	471	0
[20 3 24]	471	0
[26 -59 152]	471	-74758666
[26 -85 296]	471	0
[6 2 80]	476	0
[6 14 112]	476	0
[60 -2 8]	476	0
[8 10 72]	476	0
[60 -182 560]	476	0
[10 2 48]	476	0
[10 22 96]	476	0
[12 2 40]	476	0
[12 14 56]	476	46042
[40 -122 384]	476	63207
[12 26 96]	476	-5025
[14 14 48]	476	46042
[30 -2 16]	476	0
[16 6 32]	476	0
[32 -6 16]	476	0
[16 38 120]	476	629360
[18 26 64]	476	629360
[30 -98 336]	476	0
[20 2 24]	476	0
[20 22 48]	476	-5025
[24 -74 248]	476	0
[20 42 112]	476	-1111667
[24 10 24]	476	0
[24 -58 160]	476	-1111667
[6 1 80]	479	0
[6 7 88]	479	0
[60 -1 8]	479	0
[8 17 96]	479	0
[10 1 48]	479	0
[48 -145 448]	479	0
[12 1 40]	479	0
[12 17 64]	479	-19802
[36 -113 368]	479	0
[14 33 112]	479	-210374
[30 -1 16]	479	0
[16 17 48]	479	-19802
[18 23 56]	479	-210374
[18 41 120]	479	-2843478
[20 1 24]	479	0
[28 -65 168]	479	133026524
[20 49 144]	479	-2843478
[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	0
[10 20 88]	480	0
[12 0 40]	480	0
[12 24 88]	480	-2268
[30 0 16]	480	0
[34 -8 16]	480	0
[20 0 24]	480	0
[22 24 48]	480	-2268
[22 -68 232]	480	0
[26 -12 24]	480	0
[26 -64 176]	480	-12857700
[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	49045712
[6 9 96]	495	0
[62 -1 8]	495	0
[8 9 72]	495	0
[10 15 72]	495	0
[42 -129 408]	495	-133146
[14 17 56]	495	-300930
[14 31 104]	495	-176046
[34 -7 16]	495	0
[16 23 64]	495	-978810
[28 -87 288]	495	0
[18 39 112]	495	-2967780
[18 9 32]	495	0
[20 25 56]	495	-176046
[22 33 72]	495	-2967780
[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	0
[50 -152 472]	496	0
[14 20 64]	496	465660
[38 -120 392]	496	0
[16 4 32]	496	0
[32 -4 16]	496	0
[16 20 56]	496	465660
[32 -100 328]	496	0
[16 36 112]	496	1568614
[20 28 64]	496	1568614
[28 -92 320]	496	0