V00030inW9W2Stdstar = P -> {
P_5004,
-P_4976+P_4996-P_5001,
P_4920-P_4994+P_4999,
-P_4919+P_4973-P_4998,
P_4918-P_4972+P_4992,
2*P_4955-2*P_4969+2*P_4986,
-2*P_4899+2*P_4913-2*P_4953+2*P_4967+2*P_4982-2*P_4984,
2*P_4864-2*P_4909+2*P_4949-2*P_4961-2*P_4966+2*P_4983,
-2*P_4863+2*P_4894-2*P_4948+2*P_4951+2*P_4960-2*P_4980,
4*P_4897-4*P_4911+4*P_4979,
-4*P_4862-4*P_4893+4*P_4907+4*P_4910-4*P_4958-4*P_4978,
4*P_4861+4*P_4890-4*P_4895-4*P_4904+4*P_4943+4*P_4977,
8*P_4858-8*P_4906+8*P_4957,
-8*P_4855-8*P_4857+8*P_4891+8*P_4903-8*P_4942-8*P_4956,
16*P_4854-16*P_4888+16*P_4941,
-6*P_4940,
6*P_4884-6*P_4936+6*P_4938,
-6*P_4849+6*P_4930-6*P_4937,
6*P_4829-6*P_4929+6*P_4934,
12*P_4880-12*P_4882-12*P_4933,
-12*P_4845+12*P_4847-12*P_4874+12*P_4881+12*P_4927+12*P_4932,
12*P_4825-12*P_4827+12*P_4873-12*P_4878-12*P_4924-12*P_4931,
24*P_4839-24*P_4846-24*P_4926,
-24*P_4819+24*P_4826-24*P_4838+24*P_4843+24*P_4923+24*P_4925,
48*P_4818-48*P_4823-48*P_4922,
36*P_4877,
-36*P_4842-36*P_4871-36*P_4876,
36*P_4822+36*P_4868+36*P_4875,
72*P_4836+72*P_4841+72*P_4870,
-72*P_4816-72*P_4821-72*P_4833-72*P_4840-72*P_4867-72*P_4869,
144*P_4813+144*P_4820+144*P_4866,
-216*P_4835,
216*P_4815+216*P_4832+216*P_4834,
-432*P_4812-432*P_4814-432*P_4831,
1296*P_4811,
-4*P_4080+4*P_4541-4*P_4792,
4*P_3288-4*P_4539+4*P_4790,
-4*P_3287+4*P_4077-4*P_4789,
4*P_3286-4*P_4076+4*P_4537,
4*P_4059-4*P_4073-4*P_4486+4*P_4531+4*P_4737-4*P_4768,
-4*P_3267+4*P_3281-4*P_4057+4*P_4071+4*P_4416+4*P_4484+4*P_4527-4*P_4529-4*P_4667-4*P_4735-4*P_4764+4*P_4766,
4*P_3232-4*P_3277-4*P_3954+4*P_4053-4*P_4065-4*P_4070-4*P_4480+4*P_4528+4*P_4663+4*P_4729+4*P_4734-4*P_4765,
-4*P_3231+4*P_3262+4*P_3953-4*P_4052+4*P_4055+4*P_4064-4*P_4411+4*P_4479-4*P_4482-4*P_4525-4*P_4728+4*P_4762,
8*P_3265-8*P_3279-8*P_4414+8*P_4524+8*P_4665-8*P_4761,
-8*P_3230-8*P_3261+8*P_3275+8*P_3278+8*P_3952-8*P_4062+8*P_4410-8*P_4523-8*P_4661-8*P_4664+8*P_4726+8*P_4760,
8*P_3229+8*P_3258-8*P_3263-8*P_3272-8*P_3951+8*P_4047-8*P_4407+8*P_4412-8*P_4474+8*P_4522+8*P_4658-8*P_4759,
16*P_3226-16*P_3274-16*P_3948+16*P_4061+16*P_4660-16*P_4725,
-16*P_3223-16*P_3225+16*P_3259+16*P_3271+16*P_3945+16*P_3947-16*P_4046-16*P_4060-16*P_4408+16*P_4473-16*P_4657+16*P_4724,
32*P_3222-32*P_3256-32*P_3944+32*P_4045+32*P_4405-32*P_4472,
-8*P_4044+8*P_4471-8*P_4703,
8*P_3252-8*P_4040+8*P_4042-8*P_4401+8*P_4467-8*P_4469+8*P_4633-8*P_4699+8*P_4701,
-8*P_3217+8*P_3939+8*P_4034-8*P_4041-8*P_4461+8*P_4468-8*P_4598+8*P_4693-8*P_4700,
8*P_3197-8*P_3919-8*P_4033+8*P_4038+8*P_4346+8*P_4460-8*P_4465-8*P_4692+8*P_4697,
16*P_3248-16*P_3250-16*P_4037-16*P_4397+16*P_4399+16*P_4464+16*P_4629-16*P_4631-16*P_4696,
-16*P_3213+16*P_3215-16*P_3242+16*P_3249+16*P_3935-16*P_3937+16*P_4031+16*P_4036+16*P_4391-16*P_4398-16*P_4458-16*P_4463-16*P_4594+16*P_4596-16*P_4623+16*P_4630+16*P_4690+16*P_4695,
16*P_3193-16*P_3195+16*P_3241-16*P_3246-16*P_3915+16*P_3917-16*P_4028-16*P_4035+16*P_4342-16*P_4344-16*P_4390+16*P_4395+16*P_4455+16*P_4462+16*P_4622-16*P_4627-16*P_4687-16*P_4694,
32*P_3207-32*P_3214-32*P_3929+32*P_3936-32*P_4030+32*P_4457+32*P_4588-32*P_4595-32*P_4689,
-32*P_3187+32*P_3194-32*P_3206+32*P_3211+32*P_3909-32*P_3916+32*P_3928-32*P_3933+32*P_4027+32*P_4029-32*P_4336+32*P_4343-32*P_4454-32*P_4456-32*P_4587+32*P_4592+32*P_4686+32*P_4688,
64*P_3186-64*P_3191-64*P_3908+64*P_3913-64*P_4026+64*P_4335-64*P_4340+64*P_4453-64*P_4685,
48*P_3245-48*P_4394+48*P_4626,
-48*P_3210-48*P_3239-48*P_3244+48*P_3932+48*P_4388+48*P_4393-48*P_4591-48*P_4620-48*P_4625,
48*P_3190+48*P_3236+48*P_3243-48*P_3912+48*P_4339-48*P_4385-48*P_4392+48*P_4617+48*P_4624,
96*P_3204+96*P_3209+96*P_3238-96*P_3926-96*P_3931-96*P_4387+96*P_4585+96*P_4590+96*P_4619,
-96*P_3184-96*P_3189-96*P_3201-96*P_3208-96*P_3235-96*P_3237+96*P_3906+96*P_3911+96*P_3923+96*P_3930-96*P_4333-96*P_4338+96*P_4384+96*P_4386-96*P_4582-96*P_4589-96*P_4616-96*P_4618,
192*P_3181+192*P_3188+192*P_3234-192*P_3903-192*P_3910+192*P_4330+192*P_4337-192*P_4383+192*P_4615,
-288*P_3203+288*P_3925-288*P_4584,
288*P_3183+288*P_3200+288*P_3202-288*P_3905-288*P_3922-288*P_3924+288*P_4332+288*P_4581+288*P_4583,
-576*P_3180-576*P_3182-576*P_3199+576*P_3902+576*P_3904+576*P_3921-576*P_4329-576*P_4331-576*P_4580,
1728*P_3179-1728*P_3901+1728*P_4328,
-8*P_2001-4*P_3267+4*P_3281+4*P_4057-4*P_4071-4*P_4416+4*P_4484-8*P_4515+4*P_4527+4*P_4529+4*P_4667-4*P_4735+4*P_4764+4*P_4766-8*P_4778,
8*P_2000+4*P_3232-4*P_3277+4*P_3954-8*P_4022+4*P_4053-4*P_4065+4*P_4070+4*P_4480-4*P_4528-4*P_4663-4*P_4729+4*P_4734-4*P_4765+8*P_4777,
-8*P_1999-4*P_3231+4*P_3262-4*P_3953+8*P_4021-4*P_4052-4*P_4055+4*P_4064+4*P_4411-4*P_4479-4*P_4482+8*P_4513-4*P_4525+4*P_4728-4*P_4762,
-16*P_1998-16*P_3162+8*P_3230-8*P_3261+8*P_3275-8*P_3278+8*P_3952-8*P_4062-8*P_4410+8*P_4523+8*P_4661-8*P_4664-8*P_4726+8*P_4760-16*P_4774,
16*P_1997+16*P_3161-8*P_3229+8*P_3258+8*P_3263-8*P_3272-8*P_3951+8*P_4047+8*P_4407+8*P_4412+8*P_4474-16*P_4508+8*P_4522-8*P_4658+8*P_4759,
-32*P_1996-32*P_3157-16*P_3223+16*P_3225-16*P_3259+16*P_3271-16*P_3945+16*P_3947-32*P_4012+16*P_4046-16*P_4060-16*P_4408+16*P_4473+16*P_4657-16*P_4724,
12*P_1980-12*P_1994+8*P_3252+4*P_4040-4*P_4042+4*P_4401-12*P_4450+8*P_4467+4*P_4469-12*P_4496-4*P_4633+4*P_4699+8*P_4701-12*P_4718+12*P_4747,
-12*P_1945+12*P_1990-8*P_3217-4*P_3939+12*P_3988-12*P_4005+8*P_4034+4*P_4041+4*P_4461-4*P_4468+4*P_4598-4*P_4693-8*P_4700+12*P_4717-12*P_4746,
12*P_1944-12*P_1975+8*P_3197+4*P_3919-12*P_3987+12*P_4004-8*P_4033-4*P_4038-4*P_4346+12*P_4448-4*P_4460-8*P_4465+12*P_4494+4*P_4692-4*P_4697,
-12*P_1978+12*P_1992+4*P_3248-4*P_3250+8*P_4037+12*P_4380-4*P_4397-8*P_4399+4*P_4464-12*P_4493-8*P_4629-4*P_4631+12*P_4648-4*P_4696+12*P_4742,
12*P_1943+12*P_1974-12*P_1988-12*P_1991-4*P_3213+4*P_3215-4*P_3242+4*P_3249-12*P_3918+4*P_3935+8*P_3937-12*P_4002+4*P_4031-8*P_4036-12*P_4345+4*P_4391+8*P_4398+8*P_4458-4*P_4463+12*P_4492+8*P_4594+4*P_4596+8*P_4623+4*P_4630-12*P_4642-12*P_4647+4*P_4690+4*P_4695-12*P_4707-12*P_4741,
-12*P_1942-12*P_1971+12*P_1976+12*P_1985+4*P_3193-4*P_3195+4*P_3241-4*P_3246+8*P_3915+4*P_3917-12*P_3934+12*P_3982-4*P_4028+8*P_4035+4*P_4342+8*P_4344-12*P_4371-12*P_4378+8*P_4390+4*P_4395-12*P_4438+4*P_4455+4*P_4462-12*P_4491-12*P_4593+4*P_4622+8*P_4627+8*P_4687-4*P_4694+12*P_4740,
-24*P_1939+24*P_1987+8*P_3207-8*P_3214+24*P_3883-8*P_3929-16*P_3936+24*P_4001-8*P_4030-16*P_4457-16*P_4588-8*P_4595+24*P_4641-8*P_4689+24*P_4706,
24*P_1936+24*P_1938-24*P_1972-24*P_1984-8*P_3187+8*P_3194-8*P_3206+8*P_3211-24*P_3880-24*P_3882+8*P_3909+16*P_3916+8*P_3928+16*P_3933-24*P_3981-24*P_4000+8*P_4027+8*P_4029+16*P_4336+8*P_4343-24*P_4389+24*P_4437-8*P_4454+16*P_4456+16*P_4587+8*P_4592-24*P_4621-16*P_4686+8*P_4688-24*P_4705,
-48*P_1935+48*P_1969+16*P_3186-16*P_3191+48*P_3879-16*P_3908-32*P_3913+48*P_3980-16*P_4026-32*P_4335-16*P_4340+48*P_4369-48*P_4436+16*P_4453+32*P_4685,
24*P_1875+12*P_1943-12*P_1974+24*P_1986-12*P_1988+12*P_1991+24*P_3147-24*P_3196+12*P_3213+12*P_3215-12*P_3242-12*P_3249-12*P_3918+12*P_3935-12*P_4002+12*P_4031+12*P_4345-12*P_4391+12*P_4463-12*P_4492-12*P_4596+12*P_4630+12*P_4642-12*P_4647-12*P_4690+12*P_4695+12*P_4707-24*P_4714-12*P_4741+24*P_4743,
-24*P_1874-12*P_1942-12*P_1971+24*P_1973-12*P_1976-12*P_1985-24*P_3127+12*P_3193+12*P_3195-24*P_3212+12*P_3241+12*P_3246+12*P_3917-12*P_3934+12*P_3982-12*P_4028-12*P_4342+12*P_4371-12*P_4378+12*P_4395+12*P_4438-24*P_4443-12*P_4455+12*P_4462+24*P_4489-12*P_4491+12*P_4593-12*P_4622+12*P_4694-12*P_4740,
48*P_1870+24*P_1936-24*P_1938+48*P_1941-24*P_1972+24*P_1984+48*P_3092-24*P_3187-24*P_3194+24*P_3206+24*P_3211-48*P_3240+24*P_3880-24*P_3882-24*P_3909+24*P_3928-48*P_3976+24*P_3981+48*P_3993-24*P_4000-24*P_4027+24*P_4029+24*P_4343-24*P_4389+24*P_4437-24*P_4454-24*P_4592+24*P_4621-24*P_4688+24*P_4705,
-36*P_1873+36*P_1983+36*P_3126-36*P_3145+12*P_3210-24*P_3239+12*P_3244+24*P_3932-12*P_4388-12*P_4393+12*P_4591+12*P_4620-24*P_4625+36*P_4644-36*P_4739,
36*P_1872-36*P_1968-36*P_3123+36*P_3142-12*P_3190+24*P_3236-12*P_3243-24*P_3912-12*P_4339+36*P_4373+12*P_4385-24*P_4392+36*P_4487-12*P_4617-12*P_4624,
36*P_1869-36*P_1982-36*P_3091+36*P_3144+12*P_3204-24*P_3209+12*P_3238-12*P_3926-12*P_3931+24*P_4387-24*P_4585+12*P_4590+12*P_4619-36*P_4638+36*P_4704,
-36*P_1866-36*P_1868+36*P_1967+36*P_1981+36*P_3088+36*P_3090-36*P_3124-36*P_3141-12*P_3184+24*P_3189-12*P_3201+24*P_3208-12*P_3235-12*P_3237+12*P_3906+12*P_3911+12*P_3923+12*P_3930+24*P_4333-12*P_4338-36*P_4367-24*P_4384+12*P_4386-36*P_4452+24*P_4582-12*P_4589-12*P_4616+24*P_4618+36*P_4635-36*P_4684,
72*P_1865-72*P_1966-72*P_3087+72*P_3121+24*P_3181-48*P_3188+24*P_3234-24*P_3903-24*P_3910-48*P_4330+24*P_4337+72*P_4364-24*P_4383+72*P_4432-48*P_4615,
36*P_1866-36*P_1868-72*P_1871+72*P_1933+36*P_1967-36*P_1981+36*P_3088-36*P_3090+72*P_3117+36*P_3124-72*P_3136-36*P_3141+36*P_3184-36*P_3201-36*P_3235+36*P_3237+72*P_3877+36*P_3906-36*P_3911-36*P_3923+36*P_3930-72*P_4025-36*P_4338-36*P_4367+36*P_4386-36*P_4452+36*P_4589+36*P_4616-36*P_4635+36*P_4684,
108*P_1867-108*P_1932-108*P_3082+108*P_3135-36*P_3183+72*P_3200-36*P_3202-108*P_3871+36*P_3905+36*P_3922-72*P_3924+108*P_3990+72*P_4332-36*P_4581-36*P_4583,
-108*P_1864+108*P_1931+108*P_3081-108*P_3115-36*P_3180+72*P_3182-36*P_3199+108*P_3868-72*P_3902+36*P_3904+36*P_3921-108*P_3970-36*P_4329-36*P_4331+72*P_4580,
-32*P_1965+32*P_4431-32*P_4682,
32*P_1930-32*P_3969+32*P_4681,
-32*P_1910+32*P_3968-32*P_4429,
-32*P_1961+32*P_1963-32*P_4361+32*P_4428+32*P_4612-32*P_4677,
32*P_1926-32*P_1928+32*P_1955-32*P_1962+32*P_3899-32*P_3966+32*P_4326-32*P_4427-32*P_4577-32*P_4611+32*P_4673+32*P_4676,
-32*P_1906+32*P_1908-32*P_1954+32*P_1959-32*P_3898+32*P_3963-32*P_4311+32*P_4359-32*P_4421+32*P_4426+32*P_4562-32*P_4675,
-64*P_1920+64*P_1927-64*P_3864+64*P_3965+64*P_4576-64*P_4672,
64*P_1900-64*P_1907+64*P_1919-64*P_1924+64*P_3849+64*P_3863-64*P_3962-64*P_3964-64*P_4324+64*P_4420-64*P_4561+64*P_4671,
-128*P_1899+128*P_1904-128*P_3848+128*P_3961+128*P_4309-128*P_4419,
-64*P_1958-64*P_4358+64*P_4607,
64*P_1923+64*P_1952+64*P_1957+64*P_3896+64*P_4323+64*P_4357-64*P_4572-64*P_4603-64*P_4606,
-64*P_1903-64*P_1949-64*P_1956-64*P_3893-64*P_4308+64*P_4351-64*P_4356+64*P_4557+64*P_4605,
-128*P_1917-128*P_1922-128*P_1951-128*P_3861-128*P_3895-128*P_4322+128*P_4568+128*P_4571+128*P_4602,
128*P_1897+128*P_1902+128*P_1914+128*P_1921+128*P_1948+128*P_1950+128*P_3846+128*P_3858+128*P_3892+128*P_3894+128*P_4307-128*P_4316+128*P_4321-128*P_4350-128*P_4553-128*P_4556-128*P_4570-128*P_4601,
-256*P_1894-256*P_1901-256*P_1947-256*P_3843-256*P_3891+256*P_4301-256*P_4306+256*P_4349+256*P_4555,
384*P_1916+384*P_3860-384*P_4567,
-384*P_1896-384*P_1913-384*P_1915-384*P_3845-384*P_3857-384*P_3859+384*P_4315+384*P_4552+384*P_4566,
768*P_1893+768*P_1895+768*P_1912+768*P_3842+768*P_3844+768*P_3856-768*P_4300-768*P_4314-768*P_4551,
-2304*P_1892-2304*P_3841+2304*P_4299,
-64*P_1860+32*P_1926-32*P_1928-32*P_1955+32*P_1962+64*P_3177+32*P_3899-32*P_3966-32*P_4326+32*P_4427+32*P_4577-32*P_4611-32*P_4673+32*P_4676-64*P_4678,
64*P_1840-32*P_1906+32*P_1908+32*P_1954-32*P_1959-64*P_3176-32*P_3898+32*P_3963+32*P_4311+32*P_4359+32*P_4421-64*P_4424+32*P_4426-32*P_4562+32*P_4675,
-128*P_1805+64*P_1900-64*P_1907-64*P_1919+64*P_1924+128*P_3175-64*P_3849+64*P_3863-128*P_3959+64*P_3962-64*P_3964-64*P_4324+64*P_4420+64*P_4561-64*P_4671,
-96*P_1856+96*P_1858+64*P_1923-32*P_1952-32*P_1957-96*P_3107+96*P_3174+64*P_3896-32*P_4323-32*P_4357+32*P_4572+32*P_4603-64*P_4606+96*P_4608+96*P_4674,
96*P_1836-96*P_1838-64*P_1903+32*P_1949+32*P_1956+96*P_3106-96*P_3171-64*P_3893+32*P_4308-32*P_4351+96*P_4354-64*P_4356-96*P_4422-32*P_4557-32*P_4605,
96*P_1850-96*P_1857-32*P_1917-32*P_1922+64*P_1951+96*P_3072-96*P_3173-32*P_3861-32*P_3895+64*P_4322-64*P_4568+32*P_4571-96*P_4573+32*P_4602-96*P_4670,
-96*P_1830+96*P_1837-96*P_1849+96*P_1854+32*P_1897+32*P_1902+32*P_1914+32*P_1921-64*P_1948-64*P_1950-96*P_3057-96*P_3071+96*P_3170+96*P_3172+32*P_3846+32*P_3858+32*P_3892+32*P_3894-64*P_4307+64*P_4316-96*P_4319+32*P_4321-32*P_4350+96*P_4418+64*P_4553-32*P_4556+96*P_4558+64*P_4570-32*P_4601+96*P_4669,
192*P_1829-192*P_1834-64*P_1894-64*P_1901+128*P_1947+192*P_3056-192*P_3169-64*P_3843-64*P_3891-128*P_4301+192*P_4304-64*P_4306+64*P_4349-192*P_4417-128*P_4555,
-192*P_1801+192*P_1803-96*P_1830+96*P_1837+96*P_1849-96*P_1854+96*P_1897+96*P_1902-96*P_1914-96*P_1921+96*P_3057-96*P_3071-192*P_3105+192*P_3167+96*P_3170-96*P_3172-96*P_3846+96*P_3858+192*P_3889-96*P_3892+96*P_3894+192*P_3960-96*P_4319+96*P_4321-96*P_4350+96*P_4418+96*P_4556-96*P_4558+96*P_4601-96*P_4669,
288*P_1795-288*P_1802-192*P_1896+96*P_1913+96*P_1915+288*P_3070-288*P_3166+96*P_3845-288*P_3854+96*P_3857-192*P_3859-288*P_3956+192*P_4315-96*P_4552-96*P_4566,
-288*P_1794+288*P_1799+96*P_1893+96*P_1895-192*P_1912-288*P_3055+288*P_3165+288*P_3839-192*P_3842+96*P_3844+96*P_3856+288*P_3955-96*P_4300-96*P_4314+192*P_4551,
-256*P_1853-256*P_3104-256*P_4604,
256*P_1833+256*P_3101+256*P_4352,
256*P_1847+256*P_1852+256*P_3069+256*P_3103+256*P_4569+256*P_4600,
-256*P_1827-256*P_1832-256*P_1844-256*P_1851-256*P_3054-256*P_3066-256*P_3100-256*P_3102-256*P_4317-256*P_4348-256*P_4554-256*P_4599,
512*P_1824+512*P_1831+512*P_3051+512*P_3099+512*P_4302+512*P_4347,
-512*P_1846-512*P_3068-512*P_4565,
512*P_1826+512*P_1843+512*P_1845+512*P_3053+512*P_3065+512*P_3067+512*P_4313+512*P_4550+512*P_4564,
-1024*P_1823-1024*P_1825-1024*P_1842-1024*P_3050-1024*P_3052-1024*P_3064-1024*P_4298-1024*P_4312-1024*P_4549,
3072*P_1822+3072*P_3049+3072*P_4297,
-512*P_1798-256*P_1827-256*P_1832+256*P_1844+256*P_1851+256*P_3054-256*P_3066-512*P_3097-256*P_3100+256*P_3102-512*P_3890-256*P_4317-256*P_4348+256*P_4554+256*P_4599,
768*P_1792+768*P_1797+512*P_1826-256*P_1843-256*P_1845-256*P_3053+768*P_3062+512*P_3065-256*P_3067+768*P_3096+768*P_3855+768*P_3886+512*P_4313-256*P_4550-256*P_4564,
-768*P_1789-768*P_1796-256*P_1823-256*P_1825+512*P_1842-768*P_3047-256*P_3050+512*P_3052-256*P_3064-768*P_3095-768*P_3840-768*P_3885-256*P_4298-256*P_4312+512*P_4549,
-2048*P_1791-2048*P_3061-2048*P_3851,
2048*P_1788+2048*P_1790+2048*P_3046+2048*P_3060+2048*P_3836+2048*P_3850,
-4096*P_1787-4096*P_3045-4096*P_3835,
24*P_3618-24*P_3827+24*P_4285,
-24*P_2826+24*P_3035-24*P_3616+24*P_3825+24*P_4281-24*P_4283,
24*P_2496-24*P_3031+24*P_3612-24*P_3819-24*P_3824+24*P_4282,
-24*P_2495+24*P_2821-24*P_3611+24*P_3614+24*P_3818-24*P_4279,
48*P_2824-48*P_3033+48*P_4278,
-48*P_2494-48*P_2820+48*P_3029+48*P_3032-48*P_3816-48*P_4277,
48*P_2493+48*P_2817-48*P_2822-48*P_3026+48*P_3606+48*P_4276,
96*P_2490-96*P_3028+96*P_3815,
-96*P_2487-96*P_2489+96*P_2818+96*P_3025-96*P_3605-96*P_3814,
192*P_2486-192*P_2815+192*P_3604,
-24*P_3603+24*P_3793-24*P_4220,
24*P_2811-24*P_3001-24*P_3599+24*P_3601+24*P_3789-24*P_3791+24*P_4164-24*P_4216+24*P_4218,
-24*P_2481+24*P_2966+24*P_3593-24*P_3600-24*P_3702-24*P_3783+24*P_3790+24*P_4210-24*P_4217,
24*P_2461-24*P_2756+24*P_3492-24*P_3592+24*P_3597+24*P_3782-24*P_3787-24*P_4209+24*P_4214,
48*P_2807-48*P_2809-48*P_2997+48*P_2999-48*P_3596+48*P_3786+48*P_4160-48*P_4162-48*P_4213,
-48*P_2477+48*P_2479-48*P_2801+48*P_2808+48*P_2962-48*P_2964+48*P_2991-48*P_2998+48*P_3590+48*P_3595-48*P_3698+48*P_3700-48*P_3780-48*P_3785-48*P_4154+48*P_4161+48*P_4207+48*P_4212,
48*P_2457-48*P_2459-48*P_2752+48*P_2754+48*P_2800-48*P_2805-48*P_2990+48*P_2995+48*P_3488-48*P_3490-48*P_3587-48*P_3594+48*P_3777+48*P_3784+48*P_4153-48*P_4158-48*P_4204-48*P_4211,
96*P_2471-96*P_2478-96*P_2956+96*P_2963-96*P_3589+96*P_3692-96*P_3699+96*P_3779-96*P_4206,
-96*P_2451+96*P_2458-96*P_2470+96*P_2475+96*P_2746-96*P_2753+96*P_2955-96*P_2960-96*P_3482+96*P_3489+96*P_3586+96*P_3588-96*P_3691+96*P_3696-96*P_3776-96*P_3778+96*P_4203+96*P_4205,
192*P_2450-192*P_2455-192*P_2745+192*P_2750+192*P_3481-192*P_3486-192*P_3585+192*P_3775-192*P_4202,
144*P_2804-144*P_2994+144*P_4157,
-144*P_2474-144*P_2798-144*P_2803+144*P_2959+144*P_2988+144*P_2993-144*P_3695-144*P_4151-144*P_4156,
144*P_2454-144*P_2749+144*P_2795+144*P_2802-144*P_2985-144*P_2992+144*P_3485+144*P_4148+144*P_4155,
288*P_2468+288*P_2473+288*P_2797-288*P_2953-288*P_2958-288*P_2987+288*P_3689+288*P_3694+288*P_4150,
-288*P_2448-288*P_2453-288*P_2465-288*P_2472+288*P_2743+288*P_2748-288*P_2794-288*P_2796+288*P_2950+288*P_2957+288*P_2984+288*P_2986-288*P_3479-288*P_3484-288*P_3686-288*P_3693-288*P_4147-288*P_4149,
576*P_2445+576*P_2452-576*P_2740-576*P_2747+576*P_2793-576*P_2983+576*P_3476+576*P_3483+576*P_4146,
-864*P_2467+864*P_2952-864*P_3688,
864*P_2447+864*P_2464+864*P_2466-864*P_2742-864*P_2949-864*P_2951+864*P_3478+864*P_3685+864*P_3687,
-1728*P_2444-1728*P_2446-1728*P_2463+1728*P_2739+1728*P_2741+1728*P_2948-1728*P_3475-1728*P_3477-1728*P_3684,
5184*P_2443-5184*P_2738+5184*P_3474,
72*P_1539-72*P_1748+24*P_2811-24*P_3001+72*P_3582-24*P_3599-48*P_3601-48*P_3789-24*P_3791+72*P_3808-48*P_4164-24*P_4216+24*P_4218+72*P_4245-72*P_4264,
-72*P_1209+72*P_1744-24*P_2481+24*P_2966-72*P_3547+24*P_3593+48*P_3600+48*P_3702+72*P_3754-24*P_3783+24*P_3790-72*P_3807-48*P_4210-24*P_4217+72*P_4263,
72*P_1208-72*P_1534+24*P_2461-24*P_2756-48*P_3492+72*P_3546-72*P_3580-24*P_3592+24*P_3597-72*P_3753+24*P_3782+48*P_3787+48*P_4209+24*P_4214-72*P_4243,
-72*P_1537+72*P_1746-72*P_2790+48*P_2807+24*P_2809+24*P_2997+48*P_2999-72*P_3016+24*P_3596-24*P_3786-24*P_4160+24*P_4162-48*P_4213+72*P_4242-72*P_4259,
72*P_1207+72*P_1533-72*P_1742-72*P_1745+72*P_2460-48*P_2477-24*P_2479+72*P_2755-48*P_2801-24*P_2808-24*P_2962-48*P_2964-24*P_2991-48*P_2998+72*P_3010+72*P_3015-24*P_3590-24*P_3595+24*P_3698-24*P_3700+72*P_3751-48*P_3780+24*P_3785+72*P_3797+24*P_4154-24*P_4161-24*P_4207+48*P_4212-72*P_4241+72*P_4258,
-72*P_1206-72*P_1530+72*P_1535+72*P_1739-24*P_2457-48*P_2459+72*P_2476-48*P_2752-24*P_2754+72*P_2781+72*P_2788-24*P_2800-48*P_2805+72*P_2961-48*P_2990-24*P_2995-24*P_3488+24*P_3490-72*P_3541+72*P_3570-48*P_3587+24*P_3594-24*P_3777-24*P_3784-24*P_4153+24*P_4158+24*P_4204-48*P_4211+72*P_4240-72*P_4257,
-144*P_1203+144*P_1741-144*P_2425+96*P_2471+48*P_2478+48*P_2956+96*P_2963-144*P_3009+48*P_3589-48*P_3692+48*P_3699-144*P_3750+96*P_3779-144*P_3796+48*P_4206,
144*P_1200+144*P_1202-144*P_1531-144*P_1738+144*P_2422+144*P_2424-96*P_2451-48*P_2458-96*P_2470-48*P_2475-48*P_2746-96*P_2753+144*P_2799-48*P_2955-96*P_2960+144*P_2989+48*P_3482-48*P_3489+144*P_3540-144*P_3569+96*P_3586-48*P_3588+48*P_3691-48*P_3696+144*P_3749+48*P_3776-96*P_3778+144*P_3795-48*P_4203-48*P_4205,
-288*P_1199+288*P_1528-288*P_2421+192*P_2450+96*P_2455+96*P_2745+192*P_2750-288*P_2779-96*P_3481+96*P_3486-288*P_3539+288*P_3568-192*P_3585-96*P_3775+96*P_4202,
144*P_714+72*P_1207-72*P_1533+144*P_1740-72*P_1742+72*P_1745-72*P_2460+72*P_2479+72*P_2755-72*P_2808-144*P_2910-72*P_2962+72*P_2991-72*P_3010+72*P_3015+144*P_3491+72*P_3590-72*P_3595-72*P_3698-72*P_3700+72*P_3751-72*P_3785-72*P_3797+144*P_3804+72*P_4154+72*P_4161-72*P_4207+72*P_4241+72*P_4258-144*P_4260,
-144*P_713-72*P_1206-72*P_1530+144*P_1532-72*P_1535-72*P_1739+72*P_2457-72*P_2476+144*P_2700-72*P_2754-72*P_2781+72*P_2788+72*P_2800+72*P_2961-72*P_2995-72*P_3488-72*P_3490-72*P_3541-72*P_3570+144*P_3575-72*P_3594+144*P_3697+72*P_3777-72*P_3784-72*P_4153-72*P_4158+72*P_4204-144*P_4238+72*P_4240+72*P_4257,
288*P_709+144*P_1200-144*P_1202+288*P_1205-144*P_1531+144*P_1738-288*P_2370-144*P_2422+144*P_2424-144*P_2458+144*P_2475+144*P_2746-144*P_2799-144*P_2955+144*P_2989+144*P_3482+144*P_3489+288*P_3535-144*P_3540-144*P_3569+144*P_3588-144*P_3691-144*P_3696-288*P_3742+144*P_3749+144*P_3776-144*P_3795+288*P_4152+144*P_4203-144*P_4205,
-216*P_712+216*P_1737-72*P_2474-216*P_2699-72*P_2798+144*P_2803+216*P_2908-144*P_2959+72*P_2988+72*P_2993-216*P_3012-72*P_3695+144*P_4151-72*P_4156+216*P_4256,
216*P_711-216*P_1527+72*P_2454+216*P_2696+144*P_2749-216*P_2783+72*P_2795+72*P_2802-216*P_2905-72*P_2985+144*P_2992+72*P_3485-144*P_4148+72*P_4155-216*P_4236,
216*P_708-216*P_1736+216*P_2369+144*P_2468-72*P_2473-72*P_2797-216*P_2907+72*P_2953+72*P_2958-144*P_2987+216*P_3006-72*P_3689+144*P_3694-216*P_3794-72*P_4150,
-216*P_705-216*P_707+216*P_1526+216*P_1735-216*P_2366-216*P_2368-144*P_2448+72*P_2453-144*P_2465+72*P_2472+216*P_2697-72*P_2743-72*P_2748+216*P_2777+72*P_2794-144*P_2796+216*P_2904-72*P_2950-72*P_2957+144*P_2984-72*P_2986-216*P_3003+72*P_3479-144*P_3484+216*P_3584+72*P_3686-144*P_3693+216*P_3774+72*P_4147+72*P_4149,
432*P_704-432*P_1525+432*P_2365+288*P_2445-144*P_2452-432*P_2694+144*P_2740+144*P_2747-432*P_2774+288*P_2793+144*P_2983-144*P_3476+288*P_3483-432*P_3564-144*P_4146,
216*P_705-216*P_707-432*P_710+432*P_1197+216*P_1526-216*P_1735-216*P_2366+216*P_2368-432*P_2419+216*P_2453-216*P_2472-432*P_2690-216*P_2697-216*P_2743+216*P_2748+216*P_2777-216*P_2794+432*P_2899+216*P_2904+216*P_2950-216*P_2957-216*P_2986+216*P_3003-216*P_3479-216*P_3584+216*P_3686+216*P_3774+216*P_4147-216*P_4149+432*P_4201,
648*P_706-648*P_1196+648*P_2360+648*P_2413-432*P_2447+216*P_2464+216*P_2466-216*P_2742-648*P_2898-216*P_2949+432*P_2951+216*P_3478-432*P_3685+216*P_3687-648*P_3739,
-648*P_703+648*P_1195-648*P_2359-648*P_2410+216*P_2444+216*P_2446-432*P_2463+648*P_2688+432*P_2739-216*P_2741-216*P_2948+216*P_3475-432*P_3477+648*P_3529+216*P_3684,
-96*P_1524+96*P_1714-96*P_3563+96*P_3772+96*P_4185-96*P_4199,
96*P_1194-96*P_1679+96*P_3528-96*P_3723-96*P_3771+96*P_4198,
-96*P_1174+96*P_1469-96*P_3527+96*P_3561+96*P_3722-96*P_4183,
-96*P_1520+96*P_1522+96*P_1710-96*P_1712+96*P_2771-96*P_2980-96*P_3560+96*P_3767-96*P_4129+96*P_4143+96*P_4182-96*P_4194,
96*P_1190-96*P_1192+96*P_1514-96*P_1521-96*P_1675+96*P_1677-96*P_1704+96*P_1711-96*P_2441-96*P_2736+96*P_2945+96*P_2979+96*P_3525+96*P_3559+96*P_3667-96*P_3681-96*P_3720-96*P_3763-96*P_3766+96*P_4108-96*P_4142-96*P_4181+96*P_4190+96*P_4193,
-96*P_1170+96*P_1172+96*P_1465-96*P_1467-96*P_1513+96*P_1518+96*P_1703-96*P_1708+96*P_2440+96*P_2721-96*P_2769-96*P_2930-96*P_3457+96*P_3471-96*P_3522+96*P_3553-96*P_3558+96*P_3717+96*P_3765-96*P_4107+96*P_4127-96*P_4175+96*P_4180-96*P_4192,
-192*P_1184+192*P_1191+192*P_1669-192*P_1676+192*P_2406-192*P_2944-192*P_3524-192*P_3646+192*P_3680+192*P_3719+192*P_3762-192*P_4189,
192*P_1164-192*P_1171+192*P_1183-192*P_1188-192*P_1459+192*P_1466-192*P_1668+192*P_1673-192*P_2391-192*P_2405+192*P_2734+192*P_2929+192*P_3436-192*P_3470+192*P_3521+192*P_3523-192*P_3552+192*P_3645-192*P_3665-192*P_3716-192*P_3718-192*P_3761+192*P_4174+192*P_4188,
-384*P_1163+384*P_1168+384*P_1458-384*P_1463+384*P_2390-384*P_2719-384*P_3435+384*P_3455-384*P_3520+384*P_3551+384*P_3715-384*P_4173,
-192*P_1517+192*P_1707+192*P_2768-192*P_2975-192*P_4126+192*P_4138,
192*P_1187+192*P_1511+192*P_1516-192*P_1672-192*P_1701-192*P_1706-192*P_2438-192*P_2733-192*P_2767+192*P_2940+192*P_2971+192*P_2974+192*P_3664-192*P_3676+192*P_4105+192*P_4125-192*P_4134-192*P_4137,
-192*P_1167+192*P_1462-192*P_1508-192*P_1515+192*P_1698+192*P_1705+192*P_2435+192*P_2718-192*P_2761+192*P_2766-192*P_2925-192*P_2973-192*P_3454+192*P_3466-192*P_4102+192*P_4119-192*P_4124+192*P_4136,
-384*P_1181-384*P_1186-384*P_1510+384*P_1666+384*P_1671+384*P_1700+384*P_2403+384*P_2437+384*P_2732-384*P_2936-384*P_2939-384*P_2970-384*P_3643-384*P_3663+384*P_3672+384*P_3675-384*P_4104+384*P_4133,
384*P_1161+384*P_1166+384*P_1178+384*P_1185-384*P_1456-384*P_1461+384*P_1507+384*P_1509-384*P_1663-384*P_1670-384*P_1697-384*P_1699-384*P_2388-384*P_2400-384*P_2434-384*P_2436-384*P_2717+384*P_2726-384*P_2731+384*P_2760+384*P_2921+384*P_2924+384*P_2938+384*P_2969+384*P_3433+384*P_3453-384*P_3462-384*P_3465+384*P_3640-384*P_3657+384*P_3662-384*P_3674+384*P_4101+384*P_4103-384*P_4118-384*P_4132,
-768*P_1158-768*P_1165+768*P_1453+768*P_1460-768*P_1506+768*P_1696+768*P_2385+768*P_2433-768*P_2711+768*P_2716-768*P_2759-768*P_2923-768*P_3430+768*P_3447-768*P_3452+768*P_3464-768*P_4100+768*P_4117,
1152*P_1180-1152*P_1665-1152*P_2402+1152*P_2935+1152*P_3642-1152*P_3671,
-1152*P_1160-1152*P_1177-1152*P_1179+1152*P_1455+1152*P_1662+1152*P_1664+1152*P_2387+1152*P_2399+1152*P_2401-1152*P_2725-1152*P_2920-1152*P_2934-1152*P_3432+1152*P_3461-1152*P_3639-1152*P_3641+1152*P_3656+1152*P_3670,
2304*P_1157+2304*P_1159+2304*P_1176-2304*P_1452-2304*P_1454-2304*P_1661-2304*P_2384-2304*P_2386-2304*P_2398+2304*P_2710+2304*P_2724+2304*P_2919+2304*P_3429+2304*P_3431-2304*P_3446-2304*P_3460+2304*P_3638-2304*P_3655,
-6912*P_1156+6912*P_1451+6912*P_2383-6912*P_2709-6912*P_3428+6912*P_3445,
-192*P_699+96*P_1190-96*P_1192-96*P_1514+96*P_1521+192*P_1623-96*P_1675+96*P_1677+96*P_1704-96*P_1711+96*P_2441-96*P_2736+192*P_2931-96*P_2945+96*P_2979-192*P_3472+96*P_3525-96*P_3559+96*P_3667+96*P_3681-96*P_3720+96*P_3763-96*P_3766+192*P_3768-96*P_4108-96*P_4142+96*P_4181-96*P_4190+96*P_4193-192*P_4195,
192*P_679-96*P_1170+96*P_1172-192*P_1413+96*P_1465-96*P_1467+96*P_1513-96*P_1518-96*P_1703+96*P_1708-96*P_2440-96*P_2721+192*P_2735-96*P_2769-96*P_2930+96*P_3457+96*P_3471-96*P_3522-96*P_3553+192*P_3556-96*P_3558-192*P_3666+96*P_3717-96*P_3765+96*P_4107+96*P_4127+96*P_4175-192*P_4178+96*P_4180+96*P_4192,
-384*P_644+384*P_1083+192*P_1164-192*P_1171-192*P_1183+192*P_1188-192*P_1459+192*P_1466+192*P_1668-192*P_1673+192*P_2391-192*P_2405+384*P_2439-192*P_2734+192*P_2929-192*P_3436-192*P_3470+384*P_3518-192*P_3521+192*P_3523-192*P_3552+192*P_3645+192*P_3665-384*P_3713+192*P_3716-192*P_3718+192*P_3761-384*P_4106+192*P_4174-192*P_4188,
-288*P_695+288*P_697+192*P_1187-96*P_1511-96*P_1516+288*P_1619-288*P_1621-192*P_1672+96*P_1701+96*P_1706+96*P_2438+288*P_2680-192*P_2733+96*P_2767-288*P_2875+288*P_2928-96*P_2940-96*P_2971+192*P_2974-288*P_2976-288*P_3469+192*P_3664+96*P_3676-288*P_3764-96*P_4105-96*P_4125+96*P_4134-192*P_4137+288*P_4139+288*P_4191,
288*P_675-288*P_677-192*P_1167-288*P_1409+288*P_1411+192*P_1462+96*P_1508+96*P_1515-96*P_1698-96*P_1705-96*P_2435-288*P_2679-96*P_2718+288*P_2730+96*P_2761-288*P_2764+192*P_2766+288*P_2874-192*P_2925+96*P_2973+96*P_3454+192*P_3466+288*P_3554-288*P_3661+96*P_4102-96*P_4119+288*P_4122-192*P_4124-96*P_4136-288*P_4176,
288*P_689-288*P_696-96*P_1181-96*P_1186+192*P_1510-288*P_1613+288*P_1620+96*P_1666+96*P_1671-192*P_1700-288*P_2350+96*P_2403-192*P_2437+96*P_2732+288*P_2854-288*P_2927+192*P_2936-96*P_2939+288*P_2941-96*P_2970+288*P_3468-96*P_3643-96*P_3663-192*P_3672+96*P_3675-288*P_3677+288*P_3760+192*P_4104+96*P_4133-288*P_4187,
-288*P_669+288*P_676-288*P_688+288*P_693+96*P_1161+96*P_1166+96*P_1178+96*P_1185+288*P_1403-288*P_1410-96*P_1456-96*P_1461-192*P_1507-192*P_1509+288*P_1612-288*P_1617-96*P_1663-96*P_1670+192*P_1697+192*P_1699+288*P_2335+288*P_2349-96*P_2388-96*P_2400+192*P_2434+192*P_2436-288*P_2644+192*P_2717-192*P_2726-384*P_2731+96*P_2760-288*P_2853-192*P_2921+384*P_2924-192*P_2938+96*P_2969+96*P_3433-192*P_3453+192*P_3462-384*P_3465-288*P_3550+96*P_3640+192*P_3657+384*P_3662+192*P_3674-288*P_3759-192*P_4101-192*P_4103-96*P_4118-96*P_4132+288*P_4172+288*P_4186,
576*P_668-576*P_673-192*P_1158-192*P_1165-576*P_1402+576*P_1407+192*P_1453+192*P_1460+384*P_1506-384*P_1696-576*P_2334+192*P_2385-384*P_2433+576*P_2643+384*P_2711-576*P_2714+192*P_2716+576*P_2728-192*P_2759-192*P_2923-192*P_3430-384*P_3447+576*P_3450-192*P_3452+192*P_3464+576*P_3549-576*P_3659+384*P_4100+192*P_4117-576*P_4171,
-576*P_640+576*P_642-288*P_669+288*P_676+288*P_688-288*P_693+576*P_1079-576*P_1081+288*P_1161+288*P_1166-288*P_1178-288*P_1185+288*P_1403-288*P_1410-288*P_1456-288*P_1461-288*P_1612+288*P_1617+288*P_1663+288*P_1670-288*P_2335+288*P_2349+288*P_2388-288*P_2400+576*P_2434-576*P_2436+288*P_2644+576*P_2678-576*P_2726+288*P_2760-288*P_2853-576*P_2873+576*P_2921-288*P_2969-288*P_3433-576*P_3462-576*P_3519-288*P_3550+288*P_3640+576*P_3657+576*P_3714+288*P_3759-576*P_4101+576*P_4103-288*P_4118+288*P_4132+288*P_4172-288*P_4186,
864*P_634-864*P_641-864*P_1073+864*P_1080-576*P_1160+288*P_1177+288*P_1179+576*P_1455-288*P_1662-288*P_1664-864*P_2348-288*P_2387+864*P_2396-288*P_2399+576*P_2401-864*P_2430+288*P_2725+864*P_2852-576*P_2920+288*P_2934+288*P_3432+576*P_3461+864*P_3515-864*P_3636+288*P_3639-576*P_3641-288*P_3656-288*P_3670-864*P_3710+864*P_4097,
-864*P_633+864*P_638+864*P_1072-864*P_1077+288*P_1157+288*P_1159-576*P_1176-288*P_1452-288*P_1454+576*P_1661+864*P_2333-864*P_2381+576*P_2384-288*P_2386-288*P_2398+864*P_2429-864*P_2642+288*P_2710-576*P_2724+288*P_2919+864*P_3426-576*P_3429+288*P_3431-288*P_3446-288*P_3460-864*P_3514+288*P_3638+576*P_3655+864*P_3709-864*P_4096,
-768*P_692+768*P_1616+768*P_2677-768*P_2872+768*P_2972-768*P_4135,
768*P_672-768*P_1406-768*P_2674-768*P_2762+768*P_2869+768*P_4120,
768*P_686+768*P_691-768*P_1610-768*P_1615-768*P_2347-768*P_2676+768*P_2851+768*P_2871-768*P_2937-768*P_2968+768*P_3673+768*P_4131,
-768*P_666-768*P_671-768*P_683-768*P_690+768*P_1400+768*P_1405+768*P_1607+768*P_1614+768*P_2332+768*P_2344-768*P_2641+768*P_2673+768*P_2675+768*P_2727+768*P_2758-768*P_2848-768*P_2868-768*P_2870+768*P_2922+768*P_2967-768*P_3463-768*P_3658-768*P_4116-768*P_4130,
1536*P_663+1536*P_670-1536*P_1397-1536*P_1404-1536*P_2329+1536*P_2638-1536*P_2672-1536*P_2712-1536*P_2757+1536*P_2867+1536*P_3448+1536*P_4115,
-1536*P_685+1536*P_1609+1536*P_2346-1536*P_2850+1536*P_2933-1536*P_3669,
1536*P_665+1536*P_682+1536*P_684-1536*P_1399-1536*P_1606-1536*P_1608-1536*P_2331-1536*P_2343-1536*P_2345+1536*P_2640-1536*P_2723+1536*P_2847+1536*P_2849-1536*P_2918-1536*P_2932+1536*P_3459+1536*P_3654+1536*P_3668,
-3072*P_662-3072*P_664-3072*P_681+3072*P_1396+3072*P_1398+3072*P_1605+3072*P_2328+3072*P_2330+3072*P_2342-3072*P_2637-3072*P_2639+3072*P_2708+3072*P_2722-3072*P_2846+3072*P_2917-3072*P_3444-3072*P_3458-3072*P_3653,
9216*P_661-9216*P_1395-9216*P_2327+9216*P_2636-9216*P_2707+9216*P_3443,
-1536*P_637-768*P_666-768*P_671+768*P_683+768*P_690+1536*P_1076+768*P_1400+768*P_1405-768*P_1607-768*P_1614-768*P_2332+768*P_2344+1536*P_2432+768*P_2641+1536*P_2670+768*P_2673-768*P_2675+768*P_2727+768*P_2758-768*P_2848-1536*P_2865-768*P_2868+768*P_2870-768*P_2922-768*P_2967+768*P_3463-768*P_3658-1536*P_4099-768*P_4116+768*P_4130,
2304*P_631+2304*P_636+1536*P_665-768*P_682-768*P_684-2304*P_1070-2304*P_1075-1536*P_1399+768*P_1606+768*P_1608+768*P_2331-2304*P_2340-1536*P_2343+768*P_2345-2304*P_2397-2304*P_2428-768*P_2640-2304*P_2669-1536*P_2723+2304*P_2844+1536*P_2847-768*P_2849+2304*P_2864+768*P_2918+768*P_2932-768*P_3459+2304*P_3637+1536*P_3654-768*P_3668+2304*P_4095,
-2304*P_628-2304*P_635-768*P_662-768*P_664+1536*P_681+2304*P_1067+2304*P_1074+768*P_1396+768*P_1398-1536*P_1605+2304*P_2325+768*P_2328-1536*P_2330+768*P_2342+2304*P_2382+2304*P_2427-2304*P_2634-768*P_2637+1536*P_2639+2304*P_2668+768*P_2708+768*P_2722-768*P_2846-2304*P_2863-1536*P_2917-2304*P_3427-768*P_3444+1536*P_3458-768*P_3653-2304*P_4094,
-6144*P_630+6144*P_1069+6144*P_2339+6144*P_2393-6144*P_2843-6144*P_3633,
6144*P_627+6144*P_629-6144*P_1066-6144*P_1068-6144*P_2324-6144*P_2338-6144*P_2378-6144*P_2392+6144*P_2633+6144*P_2842+6144*P_3423+6144*P_3632,
-12288*P_626+12288*P_1065+12288*P_2323+12288*P_2377-12288*P_2632-12288*P_3422,
288*P_1503-144*P_1520-144*P_1522-144*P_1710-144*P_1712+288*P_1729+144*P_2771-144*P_2980+144*P_3560-144*P_3767+144*P_4129-144*P_4143+144*P_4182-144*P_4194+288*P_4225,
-288*P_1173+144*P_1190+144*P_1192-288*P_1468+144*P_1514+144*P_1521+144*P_1675+144*P_1677+144*P_1704+144*P_1711-288*P_1723-288*P_1728-144*P_2441-144*P_2736+144*P_2945+144*P_2979-144*P_3525-144*P_3559-144*P_3667+144*P_3681-144*P_3720+288*P_3732-144*P_3763+144*P_3766-144*P_4108+144*P_4142-144*P_4181-144*P_4190+144*P_4193-288*P_4224,
144*P_1170+144*P_1172-288*P_1189+144*P_1465+144*P_1467-288*P_1494-288*P_1501+144*P_1513+144*P_1518-288*P_1674+144*P_1703+144*P_1708+144*P_2440+144*P_2721-144*P_2769-144*P_2930+144*P_3457-144*P_3471+288*P_3510-144*P_3522+144*P_3553+144*P_3558-144*P_3717-144*P_3765+144*P_4107-144*P_4127+144*P_4175+144*P_4180-144*P_4192+288*P_4223,
576*P_1138-288*P_1184-288*P_1191-288*P_1669-288*P_1676+576*P_1722+288*P_2406-288*P_2944+288*P_3524+288*P_3646-288*P_3680+288*P_3719-576*P_3731+288*P_3762+288*P_4189,
-576*P_1135-576*P_1137+288*P_1164+288*P_1171+288*P_1183+288*P_1188+288*P_1459+288*P_1466-576*P_1512+288*P_1668+288*P_1673-576*P_1702-288*P_2391-288*P_2405+288*P_2734+288*P_2929-288*P_3436+288*P_3470-576*P_3509+288*P_3521-288*P_3523-288*P_3552-288*P_3645+288*P_3665+288*P_3716-288*P_3718+576*P_3730-288*P_3761-288*P_4174-288*P_4188,
1152*P_1134-576*P_1163-576*P_1168-576*P_1458-576*P_1463+1152*P_1492+576*P_2390-576*P_2719+576*P_3435-576*P_3455+1152*P_3508-576*P_3520+576*P_3551-576*P_3715+576*P_4173,
864*P_678-432*P_695-432*P_697+864*P_1412+432*P_1511-432*P_1516-432*P_1619-432*P_1621+432*P_1701-432*P_1706-864*P_1718+864*P_1725-432*P_2438+432*P_2680+432*P_2767+432*P_2875-864*P_2889+432*P_2928-432*P_2940+432*P_2971-432*P_2976+432*P_3469-432*P_3676+432*P_3764-432*P_4105+432*P_4125+432*P_4134-432*P_4139+432*P_4191-864*P_4222,
-432*P_675-432*P_677+864*P_694-432*P_1409-432*P_1411-864*P_1491+864*P_1496+432*P_1508-432*P_1515+864*P_1618+432*P_1698-432*P_1705+432*P_2435-864*P_2665+432*P_2679-432*P_2718+432*P_2730-432*P_2761-432*P_2764+432*P_2874+432*P_2973-432*P_3454-432*P_3554+432*P_3661+432*P_4102-432*P_4119-432*P_4122+432*P_4136-432*P_4176+864*P_4221,
-864*P_643+432*P_689+432*P_696-864*P_1082-432*P_1181+432*P_1186+432*P_1613+432*P_1620-432*P_1666+432*P_1671+864*P_1717-864*P_1719-432*P_2350+432*P_2403-432*P_2732-432*P_2854+864*P_2888-432*P_2927+432*P_2939+432*P_2941-432*P_2970-432*P_3468+432*P_3643-432*P_3663+432*P_3675+432*P_3677-864*P_3729+432*P_3760-432*P_4133+432*P_4187,
864*P_640+864*P_642-432*P_669-432*P_676-432*P_688-432*P_693+864*P_1079+864*P_1081+432*P_1161-432*P_1166+432*P_1178-432*P_1185-432*P_1403-432*P_1410+432*P_1456-432*P_1461-864*P_1507+864*P_1509-432*P_1612-432*P_1617+432*P_1663-432*P_1670-864*P_1697+864*P_1699+432*P_2335+432*P_2349-432*P_2388-432*P_2400+432*P_2644-864*P_2678+864*P_2717+432*P_2760+432*P_2853-864*P_2873-864*P_2938+432*P_2969-432*P_3433+864*P_3453+864*P_3519-432*P_3550-432*P_3640-864*P_3674+864*P_3714-432*P_3759+432*P_4118+432*P_4132-432*P_4172-432*P_4186,
-1728*P_639+864*P_668+864*P_673-1728*P_1078-864*P_1158+864*P_1165+864*P_1402+864*P_1407-864*P_1453+864*P_1460+1728*P_1487-1728*P_1489-864*P_2334+864*P_2385-864*P_2643+1728*P_2663-864*P_2714-864*P_2716+864*P_2728-864*P_2759+864*P_2923+864*P_3430-864*P_3450-864*P_3452+864*P_3464-1728*P_3504+864*P_3549+864*P_3659-864*P_4117+864*P_4171,
1296*P_669+1296*P_676-1296*P_688-1296*P_693+1296*P_1161-1296*P_1166-1296*P_1178+1296*P_1185+1296*P_1403+1296*P_1410+1296*P_1456-1296*P_1461-1296*P_1612-1296*P_1617-1296*P_1663+1296*P_1670+1296*P_2335-1296*P_2349+1296*P_2388-1296*P_2400+1296*P_2644+1296*P_2760-1296*P_2853-1296*P_2969+1296*P_3433+1296*P_3550-1296*P_3640-1296*P_3759+1296*P_4118-1296*P_4132+1296*P_4172-1296*P_4186,
-1296*P_634-1296*P_641+2592*P_687-1296*P_1073-1296*P_1080-2592*P_1126+2592*P_1131+1296*P_1177-1296*P_1179+2592*P_1611+1296*P_1662-1296*P_1664-2592*P_2314+1296*P_2348-1296*P_2387+1296*P_2396+1296*P_2399-1296*P_2430-1296*P_2725+1296*P_2852+1296*P_2934-1296*P_3432-1296*P_3515+1296*P_3636+1296*P_3639-1296*P_3656+1296*P_3670-1296*P_3710+2592*P_3724-1296*P_4097,
1296*P_633+1296*P_638-2592*P_667+1296*P_1072+1296*P_1077+2592*P_1123-2592*P_1130-1296*P_1157+1296*P_1159-2592*P_1401-1296*P_1452+1296*P_1454+2592*P_2313-1296*P_2333-1296*P_2381+1296*P_2386-1296*P_2398+1296*P_2429-1296*P_2642+1296*P_2710-1296*P_2919-1296*P_3426+1296*P_3431+1296*P_3446-1296*P_3460+2592*P_3500-1296*P_3514-1296*P_3638-1296*P_3709+1296*P_4096,
3456*P_587+1728*P_686-1728*P_691+1728*P_1610-1728*P_1615+3456*P_1715-1728*P_2347+1728*P_2676-1728*P_2851+1728*P_2871-3456*P_2885+1728*P_2937-1728*P_2968+1728*P_3673-1728*P_4131,
-3456*P_584-3456*P_586-1728*P_666+1728*P_671-1728*P_683+1728*P_690-1728*P_1400+1728*P_1405-3456*P_1505-1728*P_1607+1728*P_1614-3456*P_1695+1728*P_2332+1728*P_2344+1728*P_2641-3456*P_2661-1728*P_2673+1728*P_2675-1728*P_2727+1728*P_2758+1728*P_2848-1728*P_2868+1728*P_2870+3456*P_2882-1728*P_2922+1728*P_2967-1728*P_3463-1728*P_3658+1728*P_4116+1728*P_4130,
6912*P_583+3456*P_663-3456*P_670+3456*P_1397-3456*P_1404+6912*P_1485-3456*P_2329-3456*P_2638+6912*P_2658-3456*P_2672+3456*P_2712-3456*P_2757-3456*P_2867+3456*P_3448-3456*P_4115,
10368*P_578+10368*P_585+5184*P_631-5184*P_636+5184*P_682-5184*P_684+5184*P_1070-5184*P_1075+10368*P_1175+5184*P_1606-5184*P_1608+10368*P_1660-10368*P_2311+5184*P_2331-5184*P_2340-5184*P_2345+5184*P_2397-5184*P_2428+5184*P_2640+5184*P_2669-5184*P_2844-5184*P_2849+5184*P_2864-10368*P_2878+5184*P_2918-5184*P_2932+5184*P_3459+5184*P_3637-5184*P_3668-5184*P_4095,
-10368*P_577-10368*P_582-5184*P_628+5184*P_635-5184*P_662+5184*P_664-5184*P_1067+5184*P_1074-10368*P_1155-5184*P_1396+5184*P_1398-10368*P_1450+10368*P_2308+5184*P_2325-5184*P_2328+5184*P_2342-5184*P_2382+5184*P_2427+5184*P_2634-5184*P_2637-10368*P_2654+5184*P_2668-5184*P_2708+5184*P_2722+5184*P_2846+5184*P_2863-5184*P_3427-5184*P_3444+5184*P_3653+5184*P_4094,
41472*P_576+20736*P_627-20736*P_629+20736*P_1066-20736*P_1068+41472*P_1120-41472*P_2304+20736*P_2324-20736*P_2338+20736*P_2378-20736*P_2392+20736*P_2633-20736*P_2842+20736*P_3423-20736*P_3632,
-576*P_1484+576*P_1693-576*P_4170,
576*P_1154+576*P_1449-576*P_1658-576*P_1692+576*P_3708+576*P_4169,
-576*P_1153-576*P_1434+576*P_1482+576*P_1643-576*P_3498-576*P_4168,
-1152*P_1119+1152*P_1657-1152*P_3707,
1152*P_1104+1152*P_1118-1152*P_1447-1152*P_1642+1152*P_3497+1152*P_3706,
-2304*P_1103+2304*P_1432-2304*P_3496,
-576*P_1481+576*P_1688+576*P_4114,
576*P_1151+576*P_1446+576*P_1480-576*P_1653-576*P_1684-576*P_1687-576*P_3652-576*P_4093-576*P_4113,
-576*P_1148-576*P_1431+576*P_1474-576*P_1479+576*P_1638+576*P_1686+576*P_3442+576*P_4087+576*P_4112,
-1152*P_1116-1152*P_1150-1152*P_1445+1152*P_1649+1152*P_1652+1152*P_1683+1152*P_3631+1152*P_3651+1152*P_4092,
1152*P_1101+1152*P_1113+1152*P_1147+1152*P_1149+1152*P_1430-1152*P_1439+1152*P_1444-1152*P_1473-1152*P_1634-1152*P_1637-1152*P_1651-1152*P_1682-1152*P_3421-1152*P_3441-1152*P_3625-1152*P_3650-1152*P_4086-1152*P_4091,
-2304*P_1098-2304*P_1146+2304*P_1424-2304*P_1429+2304*P_1472+2304*P_1636+2304*P_3415+2304*P_3440+2304*P_4085,
3456*P_1115-3456*P_1648-3456*P_3630,
-3456*P_1100-3456*P_1112-3456*P_1114+3456*P_1438+3456*P_1633+3456*P_1647+3456*P_3420+3456*P_3624+3456*P_3629,
6912*P_1097+6912*P_1099+6912*P_1111-6912*P_1423-6912*P_1437-6912*P_1632-6912*P_3414-6912*P_3419-6912*P_3623,
-20736*P_1096+20736*P_1422+20736*P_3413,
-1728*P_659+576*P_1151-1728*P_1393+576*P_1446-1152*P_1480+1728*P_1602-576*P_1653+1152*P_1684-576*P_1687+1728*P_1689-1728*P_2916-576*P_3652+1152*P_4093-576*P_4113+1728*P_4167,
1728*P_658-576*P_1148+1728*P_1378-576*P_1431-1152*P_1474+1728*P_1477-576*P_1479-1728*P_1587+576*P_1638-1152*P_1686+1728*P_2706+576*P_3442-1152*P_4087+576*P_4112-1728*P_4166,
1728*P_624+1728*P_1063-1152*P_1116+576*P_1150+576*P_1445-1728*P_1601-576*P_1649+1152*P_1652-1728*P_1654-576*P_1683+1728*P_2915-576*P_3631+1152*P_3651-1728*P_3705-576*P_4092,
-1728*P_609-1728*P_623-1728*P_1048-1728*P_1062+1152*P_1101+1152*P_1113-576*P_1147-576*P_1149+1728*P_1391-576*P_1430+576*P_1439-1728*P_1442+1152*P_1444+576*P_1473+1728*P_1586+576*P_1634-1152*P_1637+1728*P_1639+576*P_1651+576*P_1682-1728*P_2705-1728*P_2914+576*P_3421-1152*P_3441+1728*P_3495+576*P_3625-1152*P_3650+1728*P_3704+576*P_4086+576*P_4091,
3456*P_608+3456*P_1047-2304*P_1098+1152*P_1146-3456*P_1376-1152*P_1424+3456*P_1427-2304*P_1429-1152*P_1472-1152*P_1636+3456*P_2704-1152*P_3415+2304*P_3440-3456*P_3494-1152*P_4085,
1728*P_609-1728*P_623-3456*P_657-1728*P_1048+1728*P_1062+3456*P_1144-1728*P_1147+1728*P_1149-3456*P_1357-1728*P_1391+1728*P_1430+1728*P_1439-1728*P_1442-1728*P_1473+3456*P_1566+1728*P_1586-1728*P_1634-1728*P_1639+1728*P_1651+1728*P_1682-3456*P_2376-1728*P_2705+1728*P_2914-1728*P_3421-1728*P_3495+1728*P_3625+1728*P_3704+1728*P_4086-1728*P_4091+3456*P_4165,
5184*P_622+5184*P_1027-1728*P_1100-5184*P_1109+3456*P_1112-1728*P_1114+1728*P_1438-5184*P_1565+1728*P_1633-3456*P_1647+5184*P_2375+1728*P_3420-3456*P_3624+1728*P_3629-5184*P_3703,
-5184*P_607-5184*P_1026+5184*P_1094-1728*P_1097+3456*P_1099-1728*P_1111+5184*P_1355-3456*P_1423+1728*P_1437+1728*P_1632-5184*P_2374+1728*P_3414-3456*P_3419+5184*P_3493+1728*P_3623,
-2304*P_656-2304*P_1390+2304*P_1597-2304*P_1685+2304*P_2860-2304*P_4111,
2304*P_653+2304*P_1375+2304*P_1475-2304*P_1582-2304*P_2650+2304*P_4110,
2304*P_621+2304*P_655+2304*P_1060+2304*P_1389-2304*P_1593-2304*P_1596+2304*P_1650+2304*P_1681-2304*P_2839-2304*P_2859+2304*P_3649+2304*P_4090,
-2304*P_606-2304*P_618-2304*P_652-2304*P_654-2304*P_1045-2304*P_1057-2304*P_1374+2304*P_1383-2304*P_1388-2304*P_1440-2304*P_1471+2304*P_1578+2304*P_1581+2304*P_1595-2304*P_1635-2304*P_1680+2304*P_2629+2304*P_2649+2304*P_2833+2304*P_2858-2304*P_3439-2304*P_3648-2304*P_4084-2304*P_4089,
4608*P_603+4608*P_651+4608*P_1042-4608*P_1368+4608*P_1373+4608*P_1425+4608*P_1470-4608*P_1580-4608*P_2623-4608*P_2648+4608*P_3438+4608*P_4083,
-4608*P_620-4608*P_1059+4608*P_1592-4608*P_1646+4608*P_2838-4608*P_3628,
4608*P_605+4608*P_617+4608*P_619+4608*P_1044+4608*P_1056+4608*P_1058-4608*P_1382+4608*P_1436-4608*P_1577-4608*P_1591+4608*P_1631+4608*P_1645-4608*P_2628-4608*P_2832-4608*P_2837+4608*P_3418+4608*P_3622+4608*P_3627,
-9216*P_602-9216*P_604-9216*P_616-9216*P_1041-9216*P_1043-9216*P_1055+9216*P_1367+9216*P_1381-9216*P_1421-9216*P_1435+9216*P_1576-9216*P_1630+9216*P_2622+9216*P_2627+9216*P_2831-9216*P_3412-9216*P_3417-9216*P_3621,
27648*P_601+27648*P_1040-27648*P_1366+27648*P_1420-27648*P_2621+27648*P_3411,
2304*P_606-2304*P_618-4608*P_649-2304*P_652+2304*P_654-2304*P_1045+2304*P_1057-4608*P_1145-4608*P_1354-2304*P_1374-2304*P_1383+2304*P_1388-2304*P_1440-2304*P_1471+4608*P_1561+2304*P_1578+2304*P_1581-2304*P_1595+2304*P_1635+2304*P_1680+4608*P_2320+2304*P_2629+2304*P_2649-2304*P_2833-2304*P_2858+2304*P_3439-2304*P_3648+2304*P_4084-2304*P_4089-4608*P_4109,
-2304*P_605+6912*P_614+4608*P_617-2304*P_619+6912*P_648+6912*P_1024+4608*P_1044-2304*P_1056-2304*P_1058+6912*P_1110+6912*P_1141+6912*P_1353+2304*P_1382+4608*P_1436-6912*P_1557-6912*P_1560-4608*P_1577+2304*P_1591-2304*P_1631-2304*P_1645-6912*P_2299-6912*P_2319-4608*P_2628+2304*P_2832+2304*P_2837-2304*P_3418-2304*P_3622+4608*P_3627+6912*P_3647+6912*P_4088,
-6912*P_599-2304*P_602+4608*P_604-2304*P_616-6912*P_647-6912*P_1021-2304*P_1041-2304*P_1043+4608*P_1055-6912*P_1095-6912*P_1140+6912*P_1347-6912*P_1352+2304*P_1367-4608*P_1381-2304*P_1421-2304*P_1435+6912*P_1559+2304*P_1576+4608*P_1630+6912*P_2293+6912*P_2318+2304*P_2622+2304*P_2627-4608*P_2831+4608*P_3412-2304*P_3417-6912*P_3437-2304*P_3621-6912*P_4082,
-18432*P_613-18432*P_1023-18432*P_1106+18432*P_1556+18432*P_2298-18432*P_3626,
18432*P_598+18432*P_612+18432*P_1020+18432*P_1022+18432*P_1091+18432*P_1105-18432*P_1346-18432*P_1555-18432*P_2292-18432*P_2297+18432*P_3416+18432*P_3620,
-36864*P_597-36864*P_1019-36864*P_1090+36864*P_1345+36864*P_2291-36864*P_3410,
-6912*P_568+3456*P_621-3456*P_655+3456*P_1060-3456*P_1389+3456*P_1593-3456*P_1596+6912*P_1598+3456*P_1650-3456*P_1681+3456*P_2839-3456*P_2859+6912*P_2913+3456*P_3649-3456*P_4090,
6912*P_553+6912*P_567-3456*P_606-3456*P_618+3456*P_652+3456*P_654-3456*P_1045-3456*P_1057+3456*P_1374-3456*P_1383+6912*P_1386-3456*P_1388-3456*P_1440+3456*P_1471-3456*P_1578+3456*P_1581-6912*P_1583-3456*P_1595-3456*P_1635+3456*P_1680-3456*P_2629+3456*P_2649-6912*P_2703-3456*P_2833+3456*P_2858-6912*P_2912-3456*P_3439-3456*P_3648+3456*P_4084+3456*P_4089,
-13824*P_552+6912*P_603-6912*P_651+6912*P_1042+6912*P_1368-13824*P_1371+6912*P_1373+6912*P_1425-6912*P_1470+6912*P_1580+6912*P_2623-6912*P_2648+13824*P_2702+6912*P_3438-6912*P_4083,
-20736*P_532-20736*P_566+10368*P_605+10368*P_614-10368*P_619-10368*P_648+10368*P_1024+20736*P_1053-10368*P_1056+10368*P_1058+10368*P_1110-10368*P_1141-10368*P_1353-10368*P_1382+10368*P_1557-10368*P_1560+20736*P_1562+10368*P_1591+10368*P_1631-10368*P_1645+10368*P_2299-10368*P_2319+20736*P_2373+10368*P_2832-10368*P_2837+20736*P_2911+10368*P_3418-10368*P_3622+10368*P_3647-10368*P_4088,
20736*P_531+20736*P_551-10368*P_599-10368*P_602+10368*P_616+10368*P_647-10368*P_1021-20736*P_1038+10368*P_1041-10368*P_1043-10368*P_1095+10368*P_1140-10368*P_1347+20736*P_1350-10368*P_1352+10368*P_1367-10368*P_1421+10368*P_1435-10368*P_1559-10368*P_1576-10368*P_2293+10368*P_2318-20736*P_2372-10368*P_2622+10368*P_2627-20736*P_2701-10368*P_3417-10368*P_3437+10368*P_3621+10368*P_4082,
-82944*P_530+41472*P_598-41472*P_612+82944*P_1017-41472*P_1020+41472*P_1022+41472*P_1091-41472*P_1105-41472*P_1346+41472*P_1555+41472*P_2292-41472*P_2297+82944*P_2371+41472*P_3416-41472*P_3620,
-13824*P_565-13824*P_1594-13824*P_2857,
13824*P_550+13824*P_562+13824*P_1384+13824*P_1579+13824*P_2647+13824*P_2856,
-27648*P_547-27648*P_1369-27648*P_2646,
13824*P_564+13824*P_1590+13824*P_2836,
-13824*P_549-13824*P_561-13824*P_563-13824*P_1380-13824*P_1575-13824*P_1589-13824*P_2626-13824*P_2830-13824*P_2835,
27648*P_546+27648*P_548+27648*P_560+27648*P_1365+27648*P_1379+27648*P_1574+27648*P_2620+27648*P_2625+27648*P_2829,
-82944*P_545-82944*P_1364-82944*P_2619,
-41472*P_529-13824*P_549-41472*P_558-13824*P_561+27648*P_563-41472*P_1054-13824*P_1380-41472*P_1558-13824*P_1575+27648*P_1589-41472*P_2317-13824*P_2626+27648*P_2830-13824*P_2835-41472*P_2855,
41472*P_526+41472*P_543+27648*P_546-13824*P_548-13824*P_560+41472*P_1039+41472*P_1348+27648*P_1365-13824*P_1379-13824*P_1574+41472*P_2316-13824*P_2620+27648*P_2625+41472*P_2645-13824*P_2829,
55296*P_528+55296*P_557+55296*P_1050+55296*P_1554+55296*P_2296+55296*P_2834,
-55296*P_525-55296*P_527-55296*P_542-55296*P_556-55296*P_1035-55296*P_1049-55296*P_1344-55296*P_1553-55296*P_2290-55296*P_2295-55296*P_2624-55296*P_2828,
110592*P_524+110592*P_541+110592*P_1034+110592*P_1343+110592*P_2289+110592*P_2618,
-165888*P_522-82944*P_525+82944*P_527-82944*P_542+82944*P_556-165888*P_1018-82944*P_1035+82944*P_1049-82944*P_1344+82944*P_1553+82944*P_2290-82944*P_2295-165888*P_2315-82944*P_2624+82944*P_2828,
331776*P_521+331776*P_1014+331776*P_2294,
-331776*P_520-331776*P_1013-331776*P_2288,
-144*P_3408,
144*P_2616-144*P_3404+144*P_3406,
-144*P_2286+144*P_3398-144*P_3405,
144*P_2166-144*P_3397+144*P_3402,
288*P_2612-288*P_2614-288*P_3401,
-288*P_2282+288*P_2284-288*P_2606+288*P_2613+288*P_3395+288*P_3400,
288*P_2162-288*P_2164+288*P_2605-288*P_2610-288*P_3392-288*P_3399,
576*P_2276-576*P_2283-576*P_3394,
-576*P_2156+576*P_2163-576*P_2275+576*P_2280+576*P_3391+576*P_3393,
1152*P_2155-1152*P_2160-1152*P_3390,
864*P_2609,
-864*P_2279-864*P_2603-864*P_2608,
864*P_2159+864*P_2600+864*P_2607,
1728*P_2273+1728*P_2278+1728*P_2602,
-1728*P_2153-1728*P_2158-1728*P_2270-1728*P_2277-1728*P_2599-1728*P_2601,
3456*P_2150+3456*P_2157+3456*P_2598,
-5184*P_2272,
5184*P_2152+5184*P_2269+5184*P_2271,
-10368*P_2149-10368*P_2151-10368*P_2268,
31104*P_2148,
-576*P_1329+576*P_3373-576*P_3387,
576*P_999-576*P_3352+576*P_3386,
-576*P_879+576*P_3351-576*P_3371,
-576*P_1325+576*P_1327-576*P_2581+576*P_2595+576*P_3370-576*P_3382,
576*P_995-576*P_997+576*P_1319-576*P_1326+576*P_2251-576*P_2265+576*P_2560-576*P_2594-576*P_3349-576*P_3369+576*P_3378+576*P_3381,
-576*P_875+576*P_877-576*P_1318+576*P_1323-576*P_2131+576*P_2145-576*P_2559+576*P_2579+576*P_3346-576*P_3363+576*P_3368-576*P_3380,
-1152*P_989+1152*P_996-1152*P_2230+1152*P_2264+1152*P_3348-1152*P_3377,
1152*P_869-1152*P_876+1152*P_988-1152*P_993+1152*P_2110-1152*P_2144+1152*P_2229-1152*P_2249-1152*P_3345-1152*P_3347+1152*P_3362+1152*P_3376,
-2304*P_868+2304*P_873-2304*P_2109+2304*P_2129+2304*P_3344-2304*P_3361,
-1152*P_1322-1152*P_2578+1152*P_2590,
1152*P_992+1152*P_1316+1152*P_1321+1152*P_2248-1152*P_2260+1152*P_2557+1152*P_2577-1152*P_2586-1152*P_2589,
-1152*P_872-1152*P_1313-1152*P_1320-1152*P_2128+1152*P_2140-1152*P_2554+1152*P_2571-1152*P_2576+1152*P_2588,
-2304*P_986-2304*P_991-2304*P_1315-2304*P_2227-2304*P_2247+2304*P_2256+2304*P_2259-2304*P_2556+2304*P_2585,
2304*P_866+2304*P_871+2304*P_983+2304*P_990+2304*P_1312+2304*P_1314+2304*P_2107+2304*P_2127-2304*P_2136-2304*P_2139+2304*P_2224-2304*P_2241+2304*P_2246-2304*P_2258+2304*P_2553+2304*P_2555-2304*P_2570-2304*P_2584,
-4608*P_863-4608*P_870-4608*P_1311-4608*P_2104+4608*P_2121-4608*P_2126+4608*P_2138-4608*P_2552+4608*P_2569,
6912*P_985+6912*P_2226-6912*P_2255,
-6912*P_865-6912*P_982-6912*P_984-6912*P_2106+6912*P_2135-6912*P_2223-6912*P_2225+6912*P_2240+6912*P_2254,
13824*P_862+13824*P_864+13824*P_981+13824*P_2103+13824*P_2105-13824*P_2120-13824*P_2134+13824*P_2222-13824*P_2239,
-41472*P_861-41472*P_2102+41472*P_2119,
-1152*P_504+576*P_995-576*P_997-576*P_1319+576*P_1326-576*P_2251+576*P_2265+576*P_2560-576*P_2594+1152*P_3324-576*P_3349+576*P_3369-576*P_3378+576*P_3381-1152*P_3383,
1152*P_384-576*P_875+576*P_877+576*P_1318-576*P_1323+576*P_2131-576*P_2145-576*P_2559+576*P_2579-1152*P_3323+576*P_3346+576*P_3363-1152*P_3366+576*P_3368+576*P_3380,
-2304*P_219+1152*P_869-1152*P_876-1152*P_988+1152*P_993-1152*P_2110+1152*P_2144+1152*P_2229-1152*P_2249+2304*P_3322-2304*P_3342+1152*P_3345-1152*P_3347+1152*P_3362-1152*P_3376,
-1728*P_500+1728*P_502+1152*P_992-576*P_1316-576*P_1321-576*P_2248+576*P_2260-1728*P_2532+1152*P_2557-576*P_2577+576*P_2586-1152*P_2589+1728*P_2591+1728*P_3321+1728*P_3379,
1728*P_380-1728*P_382-1152*P_872+576*P_1313+576*P_1320+576*P_2128-576*P_2140+1728*P_2531-1152*P_2554-576*P_2571+1728*P_2574-1152*P_2576-576*P_2588-1728*P_3318-1728*P_3364,
1728*P_494-1728*P_501-576*P_986-576*P_991+1152*P_1315+1728*P_2202-576*P_2227+1152*P_2247-1152*P_2256+576*P_2259-1728*P_2261-576*P_2556+576*P_2585-1728*P_3320-1728*P_3375,
-1728*P_374+1728*P_381-1728*P_493+1728*P_498+576*P_866+576*P_871+576*P_983+576*P_990-1152*P_1312-1152*P_1314-1728*P_2082+576*P_2107-1152*P_2127+1152*P_2136-576*P_2139+1728*P_2141-1728*P_2201+576*P_2224+1152*P_2241-1728*P_2244+576*P_2246+1152*P_2258+576*P_2553+576*P_2555-576*P_2570-576*P_2584+1728*P_3317+1728*P_3319+1728*P_3360+1728*P_3374,
3456*P_373-3456*P_378-1152*P_863-1152*P_870+2304*P_1311+3456*P_2081-1152*P_2104-2304*P_2121+3456*P_2124-1152*P_2126-2304*P_2138-1152*P_2552+1152*P_2569-3456*P_3316-3456*P_3359,
-3456*P_215+3456*P_217-1728*P_374+1728*P_381+1728*P_493-1728*P_498+1728*P_866+1728*P_871-1728*P_983-1728*P_990+1728*P_2082-1728*P_2107+1728*P_2139-1728*P_2141-1728*P_2201+1728*P_2224-1728*P_2244+1728*P_2246-3456*P_2530+3456*P_2550-1728*P_2553+1728*P_2555-1728*P_2570+1728*P_2584+3456*P_3314+1728*P_3317-1728*P_3319+3456*P_3343+1728*P_3360-1728*P_3374,
5184*P_209-5184*P_216-3456*P_865+1728*P_982+1728*P_984+1728*P_2106-1728*P_2135+5184*P_2200-5184*P_2220+1728*P_2223-3456*P_2225+3456*P_2240-1728*P_2254-5184*P_3313-5184*P_3339,
-5184*P_208+5184*P_213+1728*P_862+1728*P_864-3456*P_981-5184*P_2080+5184*P_2100-3456*P_2103+1728*P_2105-1728*P_2120+3456*P_2134+1728*P_2222-1728*P_2239+5184*P_3312+5184*P_3338,
-4608*P_497-4608*P_2529-4608*P_2587,
4608*P_377+4608*P_2526+4608*P_2572,
4608*P_491+4608*P_496+4608*P_2199+4608*P_2257+4608*P_2528+4608*P_2583,
-4608*P_371-4608*P_376-4608*P_488-4608*P_495-4608*P_2079-4608*P_2137-4608*P_2196-4608*P_2242-4608*P_2525-4608*P_2527-4608*P_2568-4608*P_2582,
9216*P_368+9216*P_375+9216*P_2076+9216*P_2122+9216*P_2524+9216*P_2567,
-9216*P_490-9216*P_2198-9216*P_2253,
9216*P_370+9216*P_487+9216*P_489+9216*P_2078+9216*P_2133+9216*P_2195+9216*P_2197+9216*P_2238+9216*P_2252,
-18432*P_367-18432*P_369-18432*P_486-18432*P_2075-18432*P_2077-18432*P_2118-18432*P_2132-18432*P_2194-18432*P_2237,
55296*P_366+55296*P_2074+55296*P_2117,
-9216*P_212-4608*P_371-4608*P_376+4608*P_488+4608*P_495+4608*P_2079+4608*P_2137-4608*P_2196-4608*P_2242-9216*P_2522-4608*P_2525+4608*P_2527-9216*P_2551-4608*P_2568+4608*P_2582,
13824*P_206+13824*P_211+9216*P_370-4608*P_487-4608*P_489-4608*P_2078-4608*P_2133+13824*P_2192+9216*P_2195-4608*P_2197+13824*P_2221+9216*P_2238-4608*P_2252+13824*P_2521+13824*P_2547,
-13824*P_203-13824*P_210-4608*P_367-4608*P_369+9216*P_486-13824*P_2072-4608*P_2075+9216*P_2077-13824*P_2101-4608*P_2118+9216*P_2132-4608*P_2194-4608*P_2237-13824*P_2520-13824*P_2546,
-36864*P_205-36864*P_2191-36864*P_2217,
36864*P_202+36864*P_204+36864*P_2071+36864*P_2097+36864*P_2190+36864*P_2216,
-73728*P_201-73728*P_2070-73728*P_2096,
3456*P_1294-3456*P_1308-3456*P_3358,
-3456*P_964+3456*P_978-3456*P_1273+3456*P_1307+3456*P_3337+3456*P_3357,
3456*P_844-3456*P_858+3456*P_1272-3456*P_1292-3456*P_3331-3456*P_3356,
6912*P_943-6912*P_977-6912*P_3336,
-6912*P_823+6912*P_857-6912*P_942+6912*P_962+6912*P_3330+6912*P_3335,
13824*P_822-13824*P_842-13824*P_3329,
3456*P_1291-3456*P_1303+3456*P_2566,
-3456*P_961+3456*P_973-3456*P_1270-3456*P_1290+3456*P_1299+3456*P_1302-3456*P_2236-3456*P_2545-3456*P_2565,
3456*P_841-3456*P_853+3456*P_1267-3456*P_1284+3456*P_1289-3456*P_1301+3456*P_2116+3456*P_2539+3456*P_2564,
6912*P_940+6912*P_960-6912*P_969-6912*P_972+6912*P_1269-6912*P_1298+6912*P_2215+6912*P_2235+6912*P_2544,
-6912*P_820-6912*P_840+6912*P_849+6912*P_852-6912*P_937+6912*P_954-6912*P_959+6912*P_971-6912*P_1266-6912*P_1268+6912*P_1283+6912*P_1297-6912*P_2095-6912*P_2115-6912*P_2209-6912*P_2234-6912*P_2538-6912*P_2543,
13824*P_817-13824*P_834+13824*P_839-13824*P_851+13824*P_1265-13824*P_1282+13824*P_2089+13824*P_2114+13824*P_2537,
-20736*P_939+20736*P_968-20736*P_2214,
20736*P_819-20736*P_848+20736*P_936+20736*P_938-20736*P_953-20736*P_967+20736*P_2094+20736*P_2208+20736*P_2213,
-41472*P_816-41472*P_818+41472*P_833+41472*P_847-41472*P_935+41472*P_952-41472*P_2088-41472*P_2093-41472*P_2207,
124416*P_815-124416*P_832+124416*P_2087,
10368*P_469-10368*P_483-3456*P_961+3456*P_973+10368*P_1245-3456*P_1270+6912*P_1290-6912*P_1299+3456*P_1302-10368*P_1304+6912*P_2236-3456*P_2545-3456*P_2565-10368*P_3309+10368*P_3355,
-10368*P_349+10368*P_363+3456*P_841-3456*P_853-10368*P_1244+3456*P_1267+6912*P_1284-10368*P_1287+3456*P_1289+6912*P_1301-6912*P_2116+3456*P_2539+3456*P_2564+10368*P_3303-10368*P_3354,
-10368*P_448+10368*P_482-10368*P_915+6912*P_940-3456*P_960+3456*P_969-6912*P_972+10368*P_974-3456*P_1269+3456*P_1298-3456*P_2215-3456*P_2235+6912*P_2544+10368*P_3308-10368*P_3334,
10368*P_328-10368*P_362+10368*P_447-10368*P_467+10368*P_795-6912*P_820+3456*P_840-3456*P_849+6912*P_852-10368*P_854+10368*P_914-6912*P_937-3456*P_954+10368*P_957-6912*P_959-3456*P_971+3456*P_1266+3456*P_1268-3456*P_1283-3456*P_1297+3456*P_2095+3456*P_2115+3456*P_2209+3456*P_2234-6912*P_2538-6912*P_2543-10368*P_3302-10368*P_3307+10368*P_3328+10368*P_3333,
-20736*P_327+20736*P_347-20736*P_794+13824*P_817+6912*P_834-20736*P_837+13824*P_839+6912*P_851-6912*P_1265+6912*P_1282-6912*P_2089-6912*P_2114+13824*P_2537+20736*P_3301-20736*P_3327,
20736*P_184-20736*P_198+10368*P_328-10368*P_362-10368*P_447+10368*P_467-10368*P_795-10368*P_840+10368*P_849+10368*P_854+10368*P_914-10368*P_954+10368*P_957-10368*P_971+20736*P_1243-20736*P_1263+10368*P_1266-10368*P_1268+10368*P_1283-10368*P_1297+10368*P_2095+10368*P_2115-10368*P_2209-10368*P_2234-20736*P_3296-10368*P_3302+10368*P_3307-10368*P_3328+10368*P_3333+20736*P_3353,
-31104*P_163+31104*P_197+10368*P_819-10368*P_848-31104*P_913+31104*P_933-20736*P_936+10368*P_938-10368*P_953+20736*P_967-20736*P_2094+10368*P_2208+10368*P_2213+31104*P_3295-31104*P_3332,
31104*P_162-31104*P_182+31104*P_793-31104*P_813+10368*P_816-20736*P_818+20736*P_833-10368*P_847+10368*P_935-10368*P_952+10368*P_2088+10368*P_2093-20736*P_2207-31104*P_3294+31104*P_3326,
13824*P_466-13824*P_478+13824*P_1242+13824*P_1300+13824*P_2517-13824*P_2563,
-13824*P_346+13824*P_358-13824*P_1239-13824*P_1285-13824*P_2511+13824*P_2562,
-13824*P_445-13824*P_465+13824*P_474+13824*P_477-13824*P_912-13824*P_970-13824*P_1241-13824*P_1296-13824*P_2187+13824*P_2233-13824*P_2516+13824*P_2542,
13824*P_325+13824*P_345-13824*P_354-13824*P_357+13824*P_442-13824*P_459+13824*P_464-13824*P_476+13824*P_792+13824*P_850+13824*P_909+13824*P_955+13824*P_1238+13824*P_1240+13824*P_1281+13824*P_1295+13824*P_2067-13824*P_2113+13824*P_2181-13824*P_2232+13824*P_2510+13824*P_2515-13824*P_2536-13824*P_2541,
-27648*P_322+27648*P_339-27648*P_344+27648*P_356-27648*P_789-27648*P_835-27648*P_1237-27648*P_1280-27648*P_2061+27648*P_2112-27648*P_2509+27648*P_2535,
27648*P_444-27648*P_473+27648*P_911+27648*P_966+27648*P_2186-27648*P_2212,
-27648*P_324+27648*P_353-27648*P_441-27648*P_443+27648*P_458+27648*P_472-27648*P_791-27648*P_846-27648*P_908-27648*P_910-27648*P_951-27648*P_965-27648*P_2066+27648*P_2092-27648*P_2180-27648*P_2185+27648*P_2206+27648*P_2211,
55296*P_321+55296*P_323-55296*P_338-55296*P_352+55296*P_440-55296*P_457+55296*P_788+55296*P_790+55296*P_831+55296*P_845+55296*P_907+55296*P_950+55296*P_2060+55296*P_2065-55296*P_2086-55296*P_2091+55296*P_2179-55296*P_2205,
-165888*P_320+165888*P_337-165888*P_787-165888*P_830-165888*P_2059+165888*P_2085,
27648*P_181-27648*P_193+13824*P_325+13824*P_345-13824*P_354-13824*P_357-13824*P_442+13824*P_459-13824*P_464+13824*P_476-13824*P_792-13824*P_850+13824*P_909+13824*P_955+27648*P_1235+13824*P_1238-13824*P_1240+27648*P_1264+13824*P_1281-13824*P_1295-13824*P_2067+13824*P_2113+13824*P_2181-13824*P_2232+27648*P_2504+13824*P_2510-13824*P_2515+13824*P_2536-13824*P_2541-27648*P_2561,
-41472*P_160-41472*P_180+41472*P_189+41472*P_192-27648*P_324+27648*P_353+13824*P_441+13824*P_443-13824*P_458-13824*P_472+13824*P_791+13824*P_846-41472*P_905-27648*P_908+13824*P_910-41472*P_934-27648*P_951+13824*P_965-41472*P_1234-41472*P_1260+13824*P_2066-13824*P_2092-41472*P_2174-27648*P_2180+13824*P_2185-13824*P_2206+27648*P_2211+41472*P_2231-41472*P_2503+41472*P_2540,
41472*P_157-41472*P_174+41472*P_179-41472*P_191+13824*P_321+13824*P_323-13824*P_338-13824*P_352-27648*P_440+27648*P_457+41472*P_785+13824*P_788-27648*P_790+41472*P_814+13824*P_831-27648*P_845+13824*P_907+13824*P_950+41472*P_1233+41472*P_1259+41472*P_2054+13824*P_2060-27648*P_2065+27648*P_2086-13824*P_2091-41472*P_2111+13824*P_2179-13824*P_2205+41472*P_2502-41472*P_2534,
110592*P_159-110592*P_188+110592*P_904+110592*P_930+110592*P_2173-110592*P_2210,
-110592*P_156-110592*P_158+110592*P_173+110592*P_187-110592*P_784-110592*P_810-110592*P_903-110592*P_929-110592*P_2053+110592*P_2090-110592*P_2172+110592*P_2204,
221184*P_155-221184*P_172+221184*P_783+221184*P_809+221184*P_2052-221184*P_2084,
41472*P_420-20736*P_445+20736*P_465-20736*P_474+20736*P_477-41472*P_479-20736*P_912-20736*P_970+20736*P_1241+20736*P_1296+20736*P_2187-20736*P_2233-20736*P_2516+20736*P_2542+41472*P_3306,
-41472*P_300+20736*P_325-20736*P_345+20736*P_354-20736*P_357+41472*P_359-41472*P_419+20736*P_442+20736*P_459-41472*P_462+20736*P_464+20736*P_476+20736*P_792+20736*P_850+20736*P_909+20736*P_955-20736*P_1238-20736*P_1240-20736*P_1281-20736*P_1295-20736*P_2067+20736*P_2113-20736*P_2181+20736*P_2232+20736*P_2510+20736*P_2515-20736*P_2536-20736*P_2541-41472*P_3300-41472*P_3305,
82944*P_299-41472*P_322-41472*P_339+82944*P_342-41472*P_344-41472*P_356-41472*P_789-41472*P_835+41472*P_1237+41472*P_1280+41472*P_2061-41472*P_2112-41472*P_2509+41472*P_2535+82944*P_3299,
124416*P_135-62208*P_160+62208*P_180-62208*P_189+62208*P_192-124416*P_194+124416*P_418-124416*P_438+62208*P_441-62208*P_443+62208*P_458-62208*P_472-62208*P_791-62208*P_846-62208*P_905+62208*P_910-62208*P_934+62208*P_965+62208*P_1234+62208*P_1260+62208*P_2066-62208*P_2092+62208*P_2174-62208*P_2185+62208*P_2206-62208*P_2231-62208*P_2503+62208*P_2540+124416*P_3293+124416*P_3304,
-124416*P_134+62208*P_157+62208*P_174-124416*P_177+62208*P_179+62208*P_191-124416*P_298+124416*P_318-62208*P_321+62208*P_323-62208*P_338+62208*P_352+62208*P_785+62208*P_788+62208*P_814+62208*P_831-62208*P_907-62208*P_950-62208*P_1233-62208*P_1259-62208*P_2054-62208*P_2060+62208*P_2091+62208*P_2111+62208*P_2179-62208*P_2205+62208*P_2502-62208*P_2534-124416*P_3292-124416*P_3298,
497664*P_133-497664*P_153+248832*P_156-248832*P_158+248832*P_173-248832*P_187-248832*P_784-248832*P_810+248832*P_903+248832*P_929+248832*P_2053-248832*P_2090-248832*P_2172+248832*P_2204+497664*P_3291,
82944*P_417+82944*P_475-82944*P_2514,
-82944*P_297-82944*P_355-82944*P_414-82944*P_460+82944*P_2508+82944*P_2513,
165888*P_294+165888*P_340-165888*P_2507,
-82944*P_416-82944*P_471+82944*P_2184,
82944*P_296+82944*P_351+82944*P_413+82944*P_415+82944*P_456+82944*P_470-82944*P_2064-82944*P_2178-82944*P_2183,
-165888*P_293-165888*P_295-165888*P_336-165888*P_350-165888*P_412-165888*P_455+165888*P_2058+165888*P_2063+165888*P_2177,
497664*P_292+497664*P_335-497664*P_2057,
248832*P_132+248832*P_190+82944*P_296+82944*P_351+248832*P_410+82944*P_413-165888*P_415+248832*P_439+82944*P_456-165888*P_470+165888*P_2064-82944*P_2178-82944*P_2183-248832*P_2501-248832*P_2512,
-248832*P_129-248832*P_175-248832*P_290-165888*P_293+82944*P_295-248832*P_319-165888*P_336+82944*P_350+82944*P_412+82944*P_455-82944*P_2058-82944*P_2063+165888*P_2177+248832*P_2500+248832*P_2506,
-331776*P_131-331776*P_186-331776*P_409-331776*P_435+331776*P_2171+331776*P_2182,
331776*P_128+331776*P_130+331776*P_171+331776*P_185+331776*P_289+331776*P_315+331776*P_408+331776*P_434-331776*P_2051-331776*P_2062-331776*P_2170-331776*P_2176,
-663552*P_127-663552*P_170-663552*P_288-663552*P_314+663552*P_2050+663552*P_2056,
995328*P_125+497664*P_128-497664*P_130+995328*P_154+497664*P_171-497664*P_185+497664*P_289+497664*P_315-497664*P_408-497664*P_434+497664*P_2051+497664*P_2062-497664*P_2170-497664*P_2176-995328*P_2499,
-1990656*P_124-1990656*P_150+1990656*P_2169,
1990656*P_123+1990656*P_149-1990656*P_2049,
-20736*P_1279,
20736*P_949+20736*P_1258+20736*P_1278,
-20736*P_829-20736*P_1252-20736*P_1277,
-41472*P_928-41472*P_948-41472*P_1257,
41472*P_808+41472*P_828+41472*P_922+41472*P_947+41472*P_1251+41472*P_1256,
-82944*P_802-82944*P_827-82944*P_1250,
124416*P_927,
-124416*P_807-124416*P_921-124416*P_926,
248832*P_801+248832*P_806+248832*P_920,
-746496*P_800,
-82944*P_454-82944*P_1230+82944*P_1276,
82944*P_334+82944*P_1224-82944*P_1275,
82944*P_433+82944*P_453+82944*P_900-82944*P_946+82944*P_1229-82944*P_1255,
-82944*P_313-82944*P_333-82944*P_427-82944*P_452-82944*P_780+82944*P_826-82944*P_894+82944*P_945-82944*P_1223-82944*P_1228+82944*P_1249+82944*P_1254,
165888*P_307+165888*P_332+165888*P_774-165888*P_825+165888*P_1222-165888*P_1248,
-165888*P_432-165888*P_899+165888*P_925,
165888*P_312+165888*P_426+165888*P_431+165888*P_779-165888*P_805+165888*P_893+165888*P_898-165888*P_919-165888*P_924,
-331776*P_306-331776*P_311-331776*P_425-331776*P_773-331776*P_778+331776*P_799+331776*P_804-331776*P_892+331776*P_918,
995328*P_305+995328*P_772-995328*P_798,
-165888*P_169-82944*P_313-82944*P_333+82944*P_427+82944*P_452+82944*P_780-82944*P_826-82944*P_894+82944*P_945-165888*P_1217-82944*P_1223+82944*P_1228-82944*P_1249+82944*P_1254+165888*P_1274,
248832*P_148+248832*P_168+165888*P_312-82944*P_426-82944*P_431-82944*P_779+82944*P_805+248832*P_887+165888*P_893-82944*P_898+82944*P_919-165888*P_924-248832*P_944+248832*P_1216-248832*P_1253,
-248832*P_142-248832*P_167-82944*P_306-82944*P_311+165888*P_425-248832*P_767-82944*P_773+165888*P_778-165888*P_799+82944*P_804+248832*P_824-82944*P_892+82944*P_918-248832*P_1215+248832*P_1247,
-663552*P_147-663552*P_886+663552*P_923,
663552*P_141+663552*P_146+663552*P_766-663552*P_803+663552*P_885-663552*P_917,
-1327104*P_140-1327104*P_765+1327104*P_797,
-497664*P_405+497664*P_451+497664*P_1227,
497664*P_285-497664*P_331+497664*P_399-497664*P_450-497664*P_1221-497664*P_1226,
-995328*P_279+995328*P_330+995328*P_1220,
497664*P_404-497664*P_430-497664*P_897,
-497664*P_284+497664*P_310-497664*P_398-497664*P_403+497664*P_424+497664*P_429+497664*P_777+497664*P_891+497664*P_896,
995328*P_278+995328*P_283-995328*P_304-995328*P_309+995328*P_397-995328*P_423-995328*P_771-995328*P_776-995328*P_890,
-2985984*P_277+2985984*P_303+2985984*P_770,
-1492992*P_120+1492992*P_166-497664*P_284+497664*P_310-1492992*P_392-497664*P_398+995328*P_403-995328*P_424+497664*P_429+1492992*P_449-995328*P_777+497664*P_891+497664*P_896+1492992*P_1214+1492992*P_1225,
1492992*P_114-1492992*P_165+1492992*P_272+995328*P_278-497664*P_283+497664*P_304-995328*P_309-1492992*P_329-497664*P_397+497664*P_423+497664*P_771+497664*P_776-995328*P_890-1492992*P_1213-1492992*P_1219,
1990656*P_119-1990656*P_145+1990656*P_391-1990656*P_428-1990656*P_884-1990656*P_895,
-1990656*P_113-1990656*P_118+1990656*P_139+1990656*P_144-1990656*P_271+1990656*P_308-1990656*P_390+1990656*P_422+1990656*P_764+1990656*P_775+1990656*P_883+1990656*P_889,
3981312*P_112-3981312*P_138+3981312*P_270-3981312*P_302-3981312*P_763-3981312*P_769,
-5971968*P_107-2985984*P_113+2985984*P_118-2985984*P_139+2985984*P_144+5971968*P_164-2985984*P_271+2985984*P_308+2985984*P_390-2985984*P_422-2985984*P_764-2985984*P_775+2985984*P_883+2985984*P_889+5971968*P_1212,
11943936*P_106-11943936*P_143-11943936*P_882,
-11943936*P_105+11943936*P_137+11943936*P_762,
2985984*P_402,
-2985984*P_282-2985984*P_396-2985984*P_401,
5971968*P_276+5971968*P_281+5971968*P_395,
-17915904*P_275,
11943936*P_117+11943936*P_389+11943936*P_400,
-11943936*P_111-11943936*P_116-11943936*P_269-11943936*P_280-11943936*P_388-11943936*P_394,
23887872*P_110+23887872*P_268+23887872*P_274,
71663616*P_104+71663616*P_115+71663616*P_387,
-71663616*P_103-71663616*P_109-71663616*P_267,
429981696*P_102
};