V30100inW9W2Stdstar = P -> {
P_4788,
-P_4536-P_4773-P_4787,
2*P_4521+2*P_4535+2*P_4772,
-6*P_4520,
4*P_4074+4*P_4738+4*P_4783,
-4*P_4059-4*P_4073-4*P_4486-4*P_4531-4*P_4737-4*P_4768,
8*P_4058+8*P_4485+8*P_4516,
24*P_4024+24*P_4069+24*P_4733,
-24*P_4023-24*P_4054-24*P_4481,
144*P_4019,
-P_4786,
P_4534+P_4771+P_4785,
-2*P_4519-2*P_4533-2*P_4770,
6*P_4518,
P_4782,
-P_4530-P_4767-P_4779-P_4781,
2*P_4515+2*P_4527+2*P_4529+2*P_4764+2*P_4766+2*P_4778,
-6*P_4512-6*P_4514-6*P_4526-6*P_4763,
24*P_4511,
-4*P_4072-P_4530-4*P_4736-P_4767+3*P_4779-P_4781-4*P_4784,
4*P_4057+4*P_4071+4*P_4484+2*P_4515-2*P_4527+2*P_4529+4*P_4532+4*P_4735-2*P_4764+2*P_4766+4*P_4769-2*P_4778,
-8*P_4056-8*P_4483+2*P_4512-6*P_4514-8*P_4517+2*P_4526+2*P_4763,
5*P_4068+5*P_4732+5*P_4780,
-5*P_4053-5*P_4065-5*P_4067-5*P_4480-5*P_4528-5*P_4729-5*P_4731-5*P_4765-5*P_4777,
10*P_4050+10*P_4052+10*P_4064+10*P_4477+10*P_4479+10*P_4513+10*P_4525+10*P_4728+10*P_4762,
-30*P_4049-30*P_4476-30*P_4510,
-24*P_4022-8*P_4053+16*P_4065-8*P_4067-24*P_4070-8*P_4480-8*P_4528+16*P_4729-8*P_4731-24*P_4734-8*P_4765+16*P_4777,
24*P_4021-8*P_4050+16*P_4052+24*P_4055-8*P_4064-8*P_4477+16*P_4479+24*P_4482+16*P_4513-8*P_4525-8*P_4728-8*P_4762,
40*P_4018+40*P_4066+40*P_4730,
-40*P_4015-40*P_4017-40*P_4051-40*P_4063-40*P_4478-40*P_4727,
80*P_4014+80*P_4048+80*P_4475,
72*P_4015-72*P_4017-144*P_4020-72*P_4051+72*P_4063-72*P_4478+72*P_4727,
360*P_4016,
-360*P_4013,
-20*P_3282-4*P_4072+4*P_4530-20*P_4668-4*P_4736+4*P_4767+8*P_4779-16*P_4781+16*P_4784,
20*P_3267+20*P_3281+4*P_4057+4*P_4071+20*P_4416+4*P_4484-8*P_4515-12*P_4527+12*P_4529-16*P_4532+20*P_4667+4*P_4735-12*P_4764+12*P_4766-16*P_4769+8*P_4778,
-40*P_3266-8*P_4056-40*P_4415-8*P_4483+32*P_4512-16*P_4514+32*P_4517-8*P_4526-8*P_4763,
-60*P_3232-60*P_3277-60*P_3954-24*P_4022+12*P_4053+36*P_4065-48*P_4067+36*P_4070+12*P_4480+12*P_4528-60*P_4663+36*P_4729-48*P_4731+36*P_4734+12*P_4765-24*P_4777,
60*P_3231+60*P_3262+60*P_3953+24*P_4021-48*P_4050+36*P_4052-36*P_4055+12*P_4064+60*P_4411-48*P_4477+36*P_4479-36*P_4482-24*P_4513+12*P_4525+12*P_4728+12*P_4762,
-240*P_3227-240*P_3949+192*P_4015-192*P_4017+96*P_4020+48*P_4051-48*P_4063+48*P_4478-48*P_4727,
24*P_3280+24*P_4666+24*P_4776,
-24*P_3265-24*P_3279-24*P_4414-24*P_4524-24*P_4665-24*P_4761,
48*P_3264+48*P_4413+48*P_4509,
-24*P_3276-24*P_4662-24*P_4775,
24*P_3261+24*P_3273+24*P_3275+24*P_4410+24*P_4523+24*P_4659+24*P_4661+24*P_4760+24*P_4774,
-48*P_3258-48*P_3260-48*P_3272-48*P_4407-48*P_4409-48*P_4508-48*P_4522-48*P_4658-48*P_4759,
144*P_3257+144*P_4406+144*P_4507,
72*P_3230+24*P_3261-48*P_3273+24*P_3275+72*P_3278+72*P_3952+72*P_4062+24*P_4410+24*P_4523-48*P_4659+24*P_4661+72*P_4664+72*P_4726+24*P_4760-48*P_4774,
-72*P_3229+24*P_3258-48*P_3260-72*P_3263+24*P_3272-72*P_3951-72*P_4047+24*P_4407-48*P_4409-72*P_4412-72*P_4474-48*P_4508+24*P_4522+24*P_4658+24*P_4759,
-96*P_3226-96*P_3274-96*P_3948-96*P_4061-96*P_4660-96*P_4725,
96*P_3223+96*P_3225+96*P_3259+96*P_3271+96*P_3945+96*P_3947+96*P_4046+96*P_4060+96*P_4408+96*P_4473+96*P_4657+96*P_4724,
-192*P_3222-192*P_3256-192*P_3944-192*P_4045-192*P_4405-192*P_4472,
-144*P_3223+144*P_3225+288*P_3228+144*P_3259-144*P_3271-144*P_3945+144*P_3947+288*P_3950+288*P_4012+144*P_4046-144*P_4060+144*P_4408+144*P_4473-144*P_4657-144*P_4724,
-576*P_3224-576*P_3946-576*P_4011,
576*P_3221+576*P_3943+576*P_4010,
480*P_3162+120*P_3230-120*P_3261-240*P_3273+360*P_3275-360*P_3278+120*P_3952+120*P_4062-120*P_4410-120*P_4523-240*P_4659+360*P_4661-360*P_4664+120*P_4726-120*P_4760+240*P_4774,
-480*P_3161-120*P_3229+360*P_3258-240*P_3260+360*P_3263-120*P_3272-120*P_3951-120*P_4047+360*P_4407-240*P_4409+360*P_4412-120*P_4474+240*P_4508-120*P_4522-120*P_4658-120*P_4759,
960*P_3157-720*P_3223+720*P_3225-480*P_3228-240*P_3259+240*P_3271-720*P_3945+720*P_3947-480*P_3950+480*P_4012-240*P_4046+240*P_4060-240*P_4408-240*P_4473+240*P_4657+240*P_4724,
-720*P_3160-720*P_3270-720*P_4656,
720*P_3159+720*P_3255+720*P_4404,
720*P_3156+720*P_3269+720*P_4655,
-720*P_3153-720*P_3155-720*P_3254-720*P_3268-720*P_4403-720*P_4654,
1440*P_3152+1440*P_3253+1440*P_4402,
720*P_3153-720*P_3155-1440*P_3158-1440*P_3220-720*P_3254+720*P_3268-1440*P_3942-720*P_4403+720*P_4654,
2160*P_3154+2160*P_3219+2160*P_3941,
-2160*P_3151-2160*P_3218-2160*P_3940,
5760*P_3153-5760*P_3155+5760*P_3158-2880*P_3220+2880*P_3254-2880*P_3268-2880*P_3942+2880*P_4403-2880*P_4654,
17280*P_3150,
-17280*P_3149,
17280*P_3148,
-2*P_4757,
2*P_4505+2*P_4754+2*P_4756,
-4*P_4502-4*P_4504-4*P_4753,
12*P_4501,
2*P_4722,
-2*P_4470-2*P_4702-2*P_4719-2*P_4721,
4*P_4450+4*P_4467+4*P_4469+4*P_4699+4*P_4701+4*P_4718,
-12*P_4447-12*P_4449-12*P_4466-12*P_4698,
48*P_4446,
-8*P_4043-2*P_4470+6*P_4702-2*P_4719-2*P_4721-8*P_4748-8*P_4755,
8*P_4040+8*P_4042-4*P_4450+4*P_4467+4*P_4469+8*P_4496+8*P_4503-4*P_4699-4*P_4701+4*P_4718+8*P_4747+8*P_4752,
-16*P_4039+4*P_4447+4*P_4449-12*P_4466-16*P_4495-16*P_4500+4*P_4698,
10*P_4008+10*P_4713+10*P_4720,
-10*P_3988-10*P_4005-10*P_4007-10*P_4461-10*P_4468-10*P_4693-10*P_4700-10*P_4712-10*P_4717,
20*P_3985+20*P_3987+20*P_4004+20*P_4441+20*P_4448+20*P_4460+20*P_4465+20*P_4692+20*P_4697,
-60*P_3984-60*P_4440-60*P_4445,
32*P_3988-16*P_4005-16*P_4007-48*P_4034-48*P_4041-16*P_4461-16*P_4468+32*P_4693+32*P_4700-16*P_4712-16*P_4717-48*P_4746,
-16*P_3985-16*P_3987+32*P_4004+48*P_4033+48*P_4038-16*P_4441-16*P_4448+32*P_4460+32*P_4465+48*P_4494-16*P_4692-16*P_4697,
80*P_3999+80*P_4006+80*P_4711,
-80*P_3979-80*P_3986-80*P_3998-80*P_4003-80*P_4459-80*P_4691,
160*P_3978+160*P_3983+160*P_4439,
144*P_3979+144*P_3986-144*P_3998-144*P_4003-288*P_4032-144*P_4459+144*P_4691,
720*P_3997,
-720*P_3977,
-4*P_4652,
4*P_4400+4*P_4632+4*P_4649+4*P_4651,
-8*P_4380-8*P_4397-8*P_4399-8*P_4629-8*P_4631-8*P_4648,
24*P_4377+24*P_4379+24*P_4396+24*P_4628,
-96*P_4376,
-20*P_3938-20*P_4597-20*P_4643-20*P_4650,
20*P_3918+20*P_3935+20*P_3937+20*P_4345+20*P_4391+20*P_4398+20*P_4594+20*P_4596+20*P_4623+20*P_4630+20*P_4642+20*P_4647,
-40*P_3915-40*P_3917-40*P_3934-40*P_4342-40*P_4344-40*P_4371-40*P_4378-40*P_4390-40*P_4395-40*P_4593-40*P_4622-40*P_4627,
120*P_3914+120*P_4341+120*P_4370+120*P_4375,
-160*P_3883-160*P_3929-160*P_3936-160*P_4588-160*P_4595-160*P_4641,
160*P_3880+160*P_3882+160*P_3909+160*P_3916+160*P_3928+160*P_3933+160*P_4336+160*P_4343+160*P_4389+160*P_4587+160*P_4592+160*P_4621,
-320*P_3879-320*P_3908-320*P_3913-320*P_4335-320*P_4340-320*P_4369,
-1440*P_3874-1440*P_3881-1440*P_3927-1440*P_4586,
1440*P_3873+1440*P_3878+1440*P_3907+1440*P_4334,
-11520*P_3872,
48*P_3251+12*P_4400-36*P_4632+12*P_4649+12*P_4651-48*P_4745+48*P_4750,
-48*P_3248-48*P_3250+24*P_4380-24*P_4397-24*P_4399+48*P_4493-48*P_4498+24*P_4629+24*P_4631-24*P_4648+48*P_4742-48*P_4749,
96*P_3247-24*P_4377-24*P_4379+72*P_4396-96*P_4490+96*P_4497-24*P_4628,
-48*P_3216-12*P_3938+36*P_4597-12*P_4643-12*P_4650+48*P_4710-48*P_4715,
48*P_3196+48*P_3213+48*P_3215+12*P_3918+12*P_3935+12*P_3937-36*P_4345+12*P_4391+12*P_4398-48*P_4458+48*P_4463-36*P_4594-36*P_4596+12*P_4623+12*P_4630+12*P_4642+12*P_4647-48*P_4690+48*P_4695-48*P_4707+48*P_4714,
-96*P_3193-96*P_3195-96*P_3212-24*P_3915-24*P_3917-24*P_3934+72*P_4342+72*P_4344-24*P_4371-24*P_4378-24*P_4390-24*P_4395+96*P_4438-96*P_4443+96*P_4455-96*P_4462+72*P_4593-24*P_4622-24*P_4627+96*P_4687-96*P_4694,
288*P_3192+72*P_3914-216*P_4341+72*P_4370+72*P_4375-288*P_4435+288*P_4442,
-96*P_3196+48*P_3213+48*P_3215+144*P_3242+144*P_3249-96*P_3918+48*P_3935+48*P_3937-144*P_4031+144*P_4036+48*P_4391+48*P_4398-48*P_4458+48*P_4463-96*P_4623-96*P_4630+48*P_4642+48*P_4647+96*P_4690-96*P_4695-48*P_4707+48*P_4714-144*P_4741+144*P_4743,
48*P_3193+48*P_3195-96*P_3212-144*P_3241-144*P_3246+48*P_3915+48*P_3917-96*P_3934+144*P_4028-144*P_4035+48*P_4371+48*P_4378-96*P_4390-96*P_4395-48*P_4438+48*P_4443+96*P_4455-96*P_4462+144*P_4489-144*P_4491+48*P_4622+48*P_4627-48*P_4687+48*P_4694,
-192*P_3207-192*P_3214+96*P_3883-96*P_3929-96*P_3936+192*P_3996-192*P_4001+96*P_4588+96*P_4595-96*P_4641+192*P_4706-192*P_4708,
192*P_3187+192*P_3194+192*P_3206+192*P_3211-96*P_3880-96*P_3882+96*P_3909+96*P_3916+96*P_3928+96*P_3933-192*P_3976+192*P_3981-192*P_3993+192*P_4000-96*P_4336-96*P_4343+96*P_4389-192*P_4454+192*P_4456-96*P_4587-96*P_4592+96*P_4621-192*P_4686+192*P_4688,
-384*P_3186-384*P_3191+192*P_3879-192*P_3908-192*P_3913+384*P_3973-384*P_3980+192*P_4335+192*P_4340-192*P_4369+384*P_4434-384*P_4436,
-288*P_3187-288*P_3194+288*P_3206+288*P_3211+576*P_3240-288*P_3909-288*P_3916+288*P_3928+288*P_3933+288*P_3976-288*P_3981-288*P_3993+288*P_4000-576*P_4027+576*P_4029+288*P_4389-288*P_4454+288*P_4456-288*P_4621+288*P_4686-288*P_4688,
-1152*P_3205+288*P_3874+288*P_3881-864*P_3927+1152*P_3992-1152*P_3994+288*P_4586,
1152*P_3185-288*P_3873-288*P_3878+864*P_3907-1152*P_3972+1152*P_3974-288*P_4334,
120*P_3146-120*P_4640+120*P_4645,
-120*P_3126-120*P_3143-120*P_3145+120*P_4388-120*P_4393+120*P_4620-120*P_4625+120*P_4637-120*P_4644,
240*P_3123+240*P_3125+240*P_3142-240*P_4368+240*P_4373-240*P_4385+240*P_4392-240*P_4617+240*P_4624,
-720*P_3122+720*P_4365-720*P_4372,
480*P_3091+480*P_3137+480*P_3144-480*P_3926+480*P_3931-480*P_4585+480*P_4590-480*P_4636+480*P_4638,
-480*P_3088-480*P_3090-480*P_3117-480*P_3124-480*P_3136-480*P_3141+480*P_3906-480*P_3911+480*P_3923-480*P_3930+480*P_4333-480*P_4338+480*P_4384-480*P_4386+480*P_4582-480*P_4589+480*P_4616-480*P_4618,
960*P_3087+960*P_3116+960*P_3121-960*P_3903+960*P_3910-960*P_4330+960*P_4337-960*P_4364+960*P_4366,
2880*P_3082+2880*P_3089+2880*P_3135-2880*P_3871+2880*P_3876-2880*P_3922+2880*P_3924-2880*P_4581+2880*P_4583,
-2880*P_3081-2880*P_3086-2880*P_3115+2880*P_3868-2880*P_3875+2880*P_3902-2880*P_3904+2880*P_4329-2880*P_4331,
17280*P_3080-17280*P_3867+17280*P_3869,
960*P_3126-480*P_3143-480*P_3145+1440*P_3239-1440*P_3244+480*P_4388-480*P_4393-960*P_4620+960*P_4625+480*P_4637-480*P_4644-1440*P_4739,
-480*P_3123-480*P_3125+960*P_3142-1440*P_3236+1440*P_3243+480*P_4368-480*P_4373-960*P_4385+960*P_4392+1440*P_4487+480*P_4617-480*P_4624,
-960*P_3091+480*P_3137+480*P_3144-1440*P_3204+1440*P_3209-480*P_3926+480*P_3931+960*P_4585-960*P_4590-480*P_4636+480*P_4638+1440*P_4704,
960*P_3088+960*P_3090-480*P_3117-480*P_3124-480*P_3136-480*P_3141+1440*P_3184-1440*P_3189+1440*P_3201-1440*P_3208+480*P_3906-480*P_3911+480*P_3923-480*P_3930-960*P_4333+960*P_4338+480*P_4384-480*P_4386-1440*P_4452-960*P_4582+960*P_4589+480*P_4616-480*P_4618-1440*P_4684,
-1920*P_3087+960*P_3116+960*P_3121-2880*P_3181+2880*P_3188-960*P_3903+960*P_3910+1920*P_4330-1920*P_4337-960*P_4364+960*P_4366+2880*P_4432,
1440*P_3117+1440*P_3124-1440*P_3136-1440*P_3141-1440*P_3184+1440*P_3189+1440*P_3201-1440*P_3208+2880*P_3235-2880*P_3237-1440*P_3906+1440*P_3911+1440*P_3923-1440*P_3930-2880*P_4025+1440*P_4384-1440*P_4386-1440*P_4452-1440*P_4616+1440*P_4618+1440*P_4684,
-1440*P_3082-1440*P_3089+2880*P_3135-4320*P_3200+4320*P_3202+1440*P_3871-1440*P_3876-2880*P_3922+2880*P_3924+4320*P_3990+1440*P_4581-1440*P_4583,
1440*P_3081+1440*P_3086-2880*P_3115+4320*P_3180-4320*P_3182-1440*P_3868+1440*P_3875+2880*P_3902-2880*P_3904-4320*P_3970-1440*P_4329+1440*P_4331,
4800*P_3134-4800*P_3139-4800*P_4634,
-4800*P_3114+4800*P_3119-4800*P_3131+4800*P_3138+4800*P_4382+4800*P_4614,
9600*P_3111-9600*P_3118-9600*P_4362,
14400*P_3079-14400*P_3084+14400*P_3130-14400*P_3132-14400*P_3920-14400*P_4579,
-14400*P_3076+14400*P_3083-14400*P_3110+14400*P_3112+14400*P_3900+14400*P_4327,
57600*P_3075-57600*P_3077-57600*P_3865,
17280*P_3114-17280*P_3119-17280*P_3131+17280*P_3138+34560*P_3233+17280*P_4382-17280*P_4614,
-17280*P_3079+17280*P_3084+17280*P_3130-17280*P_3132-34560*P_3198-17280*P_3920+17280*P_4579,
17280*P_3076-17280*P_3083-17280*P_3110+17280*P_3112+34560*P_3178+17280*P_3900-17280*P_4327,
172800*P_3128,
-172800*P_3108,
345600*P_3073,
140*P_1995-28*P_4043+28*P_4470+140*P_4653+56*P_4702+28*P_4719-112*P_4721-28*P_4748+112*P_4755,
-140*P_1980-140*P_1994+28*P_4040+28*P_4042-140*P_4401-84*P_4450-56*P_4467+84*P_4469+28*P_4496-112*P_4503-140*P_4633-84*P_4699+56*P_4701+84*P_4718+28*P_4747-112*P_4752,
280*P_1979-56*P_4039+280*P_4381+224*P_4447-56*P_4449-112*P_4466-56*P_4495+224*P_4500-56*P_4698,
420*P_1945+420*P_1990+420*P_3939+252*P_3988+84*P_4005-336*P_4007-168*P_4034+252*P_4041+84*P_4461+84*P_4468+420*P_4598+252*P_4693-168*P_4700-336*P_4712+84*P_4717+252*P_4746,
-420*P_1944-420*P_1975-420*P_3919-336*P_3985+84*P_3987+252*P_4004+168*P_4033-252*P_4038-420*P_4346-336*P_4441+84*P_4448+252*P_4460-168*P_4465-252*P_4494+84*P_4692+84*P_4697,
1680*P_1940+1680*P_3884+1344*P_3979-336*P_3986-1344*P_3998+336*P_4003+672*P_4032+336*P_4459-336*P_4691,
-140*P_1993+28*P_3251-28*P_4400-56*P_4632+112*P_4649-28*P_4651+140*P_4716-28*P_4745-112*P_4750,
140*P_1978+140*P_1992-28*P_3248-28*P_3250+84*P_4380-84*P_4397+56*P_4399-140*P_4464+28*P_4493+112*P_4498-56*P_4629+84*P_4631-84*P_4648-140*P_4696+28*P_4742+112*P_4749,
-280*P_1977+56*P_3247+56*P_4377-224*P_4379+112*P_4396+280*P_4444-56*P_4490-224*P_4497+56*P_4628,
140*P_1989-28*P_3216+28*P_3938+56*P_4597-112*P_4643+28*P_4650-112*P_4710-28*P_4715+140*P_4744,
-140*P_1974-140*P_1986-140*P_1988+28*P_3196+28*P_3213+28*P_3215-28*P_3918-28*P_3935-28*P_3937-56*P_4345+112*P_4391-28*P_4398+112*P_4458+28*P_4463-140*P_4492-56*P_4594-56*P_4596+112*P_4623-28*P_4630+112*P_4642-28*P_4647+112*P_4690+28*P_4695+112*P_4707+28*P_4714-140*P_4741-140*P_4743,
280*P_1971+280*P_1973+280*P_1985-56*P_3193-56*P_3195-56*P_3212+56*P_3915+56*P_3917+56*P_3934+112*P_4342+112*P_4344-224*P_4371+56*P_4378-224*P_4390+56*P_4395-224*P_4438-56*P_4443-224*P_4455-56*P_4462+280*P_4489+280*P_4491+112*P_4593-224*P_4622+56*P_4627-224*P_4687-56*P_4694+280*P_4740,
-840*P_1970+168*P_3192-168*P_3914-336*P_4341+672*P_4370-168*P_4375+672*P_4435+168*P_4442-840*P_4488,
-420*P_1943-140*P_1974+280*P_1986-140*P_1988-420*P_1991-56*P_3196+28*P_3213+28*P_3215+84*P_3242+84*P_3249-196*P_3918+308*P_3935-112*P_3937+420*P_4002-84*P_4031-336*P_4036-140*P_4345+28*P_4391-112*P_4398+112*P_4458+28*P_4463-140*P_4492+280*P_4594-140*P_4596-56*P_4623-196*P_4630+28*P_4642+308*P_4647+196*P_4690+364*P_4695-308*P_4707-392*P_4714+196*P_4741-56*P_4743,
420*P_1942-140*P_1971+280*P_1973+420*P_1976-140*P_1985+28*P_3193+28*P_3195-56*P_3212-84*P_3241-84*P_3246-112*P_3915+308*P_3917-196*P_3934-420*P_3982+84*P_4028+336*P_4035-140*P_4342+280*P_4344+28*P_4371+308*P_4378-56*P_4390-196*P_4395-308*P_4438-392*P_4443+196*P_4455+364*P_4462-56*P_4489+196*P_4491-140*P_4593+28*P_4622-112*P_4627+112*P_4687+28*P_4694-140*P_4740,
560*P_1939+560*P_1987-112*P_3207-112*P_3214+336*P_3883-336*P_3929+224*P_3936-448*P_3996-112*P_4001+560*P_4030-224*P_4588+336*P_4595-336*P_4641-560*P_4689+112*P_4706+448*P_4708,
-560*P_1936-560*P_1938-560*P_1972-560*P_1984+112*P_3187+112*P_3194+112*P_3206+112*P_3211-336*P_3880-336*P_3882+336*P_3909-224*P_3916+336*P_3928-224*P_3933+448*P_3976+112*P_3981+448*P_3993+112*P_4000-560*P_4027-560*P_4029+224*P_4336-336*P_4343+336*P_4389+560*P_4437-112*P_4454-448*P_4456+224*P_4587-336*P_4592+336*P_4621+448*P_4686+112*P_4688-560*P_4705,
1120*P_1935+1120*P_1969-224*P_3186-224*P_3191+672*P_3879-672*P_3908+448*P_3913-896*P_3973-224*P_3980+1120*P_4026-448*P_4335+672*P_4340-672*P_4369-896*P_4434-224*P_4436+1120*P_4453,
840*P_1936-840*P_1938-1680*P_1941-840*P_1972+840*P_1984-168*P_3187-168*P_3194+168*P_3206+168*P_3211+336*P_3240+840*P_3880-840*P_3882-168*P_3909-1008*P_3916+168*P_3928+1008*P_3933+1008*P_3976+1512*P_3981-1008*P_3993-1512*P_4000+504*P_4027-504*P_4029-840*P_4343+168*P_4389+840*P_4437-168*P_4454-672*P_4456+840*P_4592-168*P_4621-672*P_4686-168*P_4688+840*P_4705,
3360*P_1937-672*P_3205-672*P_3874+2688*P_3881-1344*P_3927-3360*P_3975+672*P_3992+2688*P_3994-672*P_4586,
-3360*P_1934+672*P_3185+672*P_3873-2688*P_3878+1344*P_3907+2688*P_3972+672*P_3974-3360*P_3991+672*P_4334,
-1680*P_1875-420*P_1943+420*P_1974+840*P_1986-1260*P_1988+1260*P_1991-1680*P_3147-840*P_3196-420*P_3213+1260*P_3215+420*P_3242-1260*P_3249-420*P_3918+420*P_3935+420*P_4002-420*P_4031+420*P_4345-420*P_4391-420*P_4463+420*P_4492+840*P_4594-1260*P_4596-840*P_4623+1260*P_4630+1260*P_4642-1260*P_4647+420*P_4690-420*P_4695-420*P_4707+840*P_4714+420*P_4741-840*P_4743,
1680*P_1874+420*P_1942-1260*P_1971+840*P_1973-1260*P_1976+420*P_1985+1680*P_3127+1260*P_3193-420*P_3195-840*P_3212-420*P_3241+1260*P_3246+420*P_3917-420*P_3934-420*P_3982+420*P_4028-1260*P_4342+840*P_4344+1260*P_4371-1260*P_4378-840*P_4390+1260*P_4395-420*P_4438+840*P_4443+420*P_4455-420*P_4462-840*P_4489+420*P_4491+420*P_4593-420*P_4622-420*P_4694+420*P_4740,
-3360*P_1870+2520*P_1936-2520*P_1938+1680*P_1941+840*P_1972-840*P_1984-3360*P_3092-2520*P_3187+840*P_3194+2520*P_3206-840*P_3211-1680*P_3240+2520*P_3880-2520*P_3882-2520*P_3909+1680*P_3916+2520*P_3928-1680*P_3933+1680*P_3976-840*P_3981-1680*P_3993+840*P_4000+840*P_4027-840*P_4029+840*P_4343-840*P_4389-840*P_4437+840*P_4454-840*P_4592+840*P_4621+840*P_4688-840*P_4705,
2100*P_1873+2100*P_1983+1260*P_3126-1680*P_3143+420*P_3145-2100*P_3210+840*P_3239+1260*P_3244-420*P_4388+420*P_4393+2100*P_4591-1260*P_4620-840*P_4625+1680*P_4637+420*P_4644+1260*P_4739,
-2100*P_1872-2100*P_1968+420*P_3123-1680*P_3125+1260*P_3142+2100*P_3190-840*P_3236-1260*P_3243-2100*P_4339+1680*P_4368+420*P_4373-1260*P_4385-840*P_4392-1260*P_4487-420*P_4617+420*P_4624,
-2100*P_1869-2100*P_1982-1260*P_3091+1680*P_3137-420*P_3144+1260*P_3204+840*P_3209-2100*P_3238+420*P_3926-420*P_3931-840*P_4585-1260*P_4590+2100*P_4619-1680*P_4636-420*P_4638-1260*P_4704,
2100*P_1866+2100*P_1868+2100*P_1967+2100*P_1981+1260*P_3088+1260*P_3090-1680*P_3117+420*P_3124-1680*P_3136+420*P_3141-1260*P_3184-840*P_3189-1260*P_3201-840*P_3208+2100*P_3235+2100*P_3237-420*P_3906+420*P_3911-420*P_3923+420*P_3930+840*P_4333+1260*P_4338-2100*P_4367+1680*P_4384+420*P_4386+1260*P_4452+840*P_4582+1260*P_4589-420*P_4616-1680*P_4618+2100*P_4635+1260*P_4684,
-4200*P_1865-4200*P_1966-2520*P_3087+3360*P_3116-840*P_3121+2520*P_3181+1680*P_3188-4200*P_3234+840*P_3903-840*P_3910-1680*P_4330-2520*P_4337+840*P_4364+3360*P_4366-4200*P_4383-2520*P_4432,
-2100*P_1866+2100*P_1868+4200*P_1871+4200*P_1933+2100*P_1967-2100*P_1981-2100*P_3088+2100*P_3090+840*P_3117+2940*P_3124-840*P_3136-2940*P_3141-2940*P_3184-3360*P_3189+2940*P_3201+3360*P_3208-420*P_3235+420*P_3237+4200*P_3877-2940*P_3906-1260*P_3911+2940*P_3923+1260*P_3930+2520*P_4025+2100*P_4338-2100*P_4367+840*P_4384+1260*P_4386+1260*P_4452-2100*P_4589+1260*P_4616+840*P_4618-2100*P_4635-1260*P_4684,
-6300*P_1867-6300*P_1932+1260*P_3082-5040*P_3089+3780*P_3135+6300*P_3183-2520*P_3200-3780*P_3202-1260*P_3871-5040*P_3876+6300*P_3905-3780*P_3922-2520*P_3924-3780*P_3990-1260*P_4581+1260*P_4583,
6300*P_1864+6300*P_1931-1260*P_3081+5040*P_3086-3780*P_3115-3780*P_3180-2520*P_3182+6300*P_3199+1260*P_3868+5040*P_3875-2520*P_3902-3780*P_3904+6300*P_3921+3780*P_3970+1260*P_4329-1260*P_4331,
-13440*P_1866+13440*P_1868-13440*P_1871+6720*P_1933-6720*P_1967+6720*P_1981-13440*P_3088+13440*P_3090+13440*P_3117-13440*P_3124-13440*P_3136+13440*P_3141-6720*P_3184+6720*P_3189+6720*P_3201-6720*P_3208-6720*P_3235+6720*P_3237+6720*P_3877-6720*P_3906+6720*P_3923-6720*P_4338+6720*P_4367-6720*P_4384+6720*P_4589-6720*P_4618+6720*P_4635,
-33600*P_1863-33600*P_3085+26880*P_3114+6720*P_3119-26880*P_3131-6720*P_3138-13440*P_3233-6720*P_4382+6720*P_4614,
33600*P_1862+6720*P_3079+26880*P_3084-33600*P_3113+26880*P_3130+6720*P_3132+13440*P_3198+6720*P_3920-6720*P_4579,
-33600*P_1861-6720*P_3076-26880*P_3083+6720*P_3110+26880*P_3112-33600*P_3129-13440*P_3178-6720*P_3900+6720*P_4327,
-336*P_1964+336*P_4613+336*P_4680,
336*P_1961+336*P_1963-336*P_4361-336*P_4428-336*P_4612-336*P_4677,
-672*P_1960+672*P_4360+672*P_4425,
336*P_1929-336*P_4578-336*P_4679,
-336*P_1909-336*P_1926-336*P_1928+336*P_4326+336*P_4427+336*P_4563+336*P_4577+336*P_4676+336*P_4678,
672*P_1906+672*P_1908+672*P_1925-672*P_4311-672*P_4325-672*P_4424-672*P_4426-672*P_4562-672*P_4675,
-2016*P_1905+2016*P_4310+2016*P_4423,
672*P_1909-336*P_1926-336*P_1928-1008*P_1955-1008*P_1962+1008*P_3899+1008*P_3966+336*P_4326+336*P_4427-672*P_4563+336*P_4577+1008*P_4611+1008*P_4673+336*P_4676-672*P_4678,
-336*P_1906-336*P_1908+672*P_1925+1008*P_1954+1008*P_1959-1008*P_3898-1008*P_3963+336*P_4311-672*P_4325-1008*P_4359-1008*P_4421-672*P_4424+336*P_4426+336*P_4562+336*P_4675,
1344*P_1920+1344*P_1927-1344*P_3864-1344*P_3965-1344*P_4576-1344*P_4672,
-1344*P_1900-1344*P_1907-1344*P_1919-1344*P_1924+1344*P_3849+1344*P_3863+1344*P_3962+1344*P_3964+1344*P_4324+1344*P_4420+1344*P_4561+1344*P_4671,
2688*P_1899+2688*P_1904-2688*P_3848-2688*P_3961-2688*P_4309-2688*P_4419,
2016*P_1900+2016*P_1907-2016*P_1919-2016*P_1924-4032*P_1953-2016*P_3849+2016*P_3863+4032*P_3897+4032*P_3959+2016*P_3962-2016*P_3964+2016*P_4324+2016*P_4420-2016*P_4561-2016*P_4671,
8064*P_1918-8064*P_3862-8064*P_3958,
-8064*P_1898+8064*P_3847+8064*P_3957,
-672*P_1859-672*P_4575+672*P_4609,
672*P_1839+672*P_1856+672*P_1858+672*P_4323-672*P_4357+672*P_4560+672*P_4572-672*P_4606-672*P_4608,
-1344*P_1836-1344*P_1838-1344*P_1855-1344*P_4308-1344*P_4320+1344*P_4354+1344*P_4356-1344*P_4557+1344*P_4605,
4032*P_1835+4032*P_4305-4032*P_4353,
-2688*P_1804-2688*P_1850-2688*P_1857-2688*P_3861+2688*P_3895-2688*P_4559-2688*P_4568+2688*P_4573+2688*P_4602,
2688*P_1801+2688*P_1803+2688*P_1830+2688*P_1837+2688*P_1849+2688*P_1854+2688*P_3846+2688*P_3858-2688*P_3892-2688*P_3894+2688*P_4307+2688*P_4316-2688*P_4321-2688*P_4350+2688*P_4553+2688*P_4556-2688*P_4570-2688*P_4601,
-5376*P_1800-5376*P_1829-5376*P_1834-5376*P_3843+5376*P_3891-5376*P_4301-5376*P_4304+5376*P_4318+5376*P_4349,
-16128*P_1795-16128*P_1802-16128*P_1848-16128*P_3845-16128*P_3854+16128*P_3859+16128*P_3888-16128*P_4552+16128*P_4566,
16128*P_1794+16128*P_1799+16128*P_1828+16128*P_3839+16128*P_3842-16128*P_3856-16128*P_3887+16128*P_4300-16128*P_4314,
-96768*P_1793-96768*P_3838+96768*P_3852,
-3360*P_1839+1680*P_1856+1680*P_1858-5040*P_1952+5040*P_1957-5040*P_3107-5040*P_3174+1680*P_4323-1680*P_4357-3360*P_4560+1680*P_4572-5040*P_4603+3360*P_4606-1680*P_4608+5040*P_4674,
1680*P_1836+1680*P_1838-3360*P_1855+5040*P_1949-5040*P_1956+5040*P_3106+5040*P_3171+1680*P_4308-3360*P_4320+5040*P_4351-1680*P_4354+3360*P_4356-5040*P_4422+1680*P_4557-1680*P_4605,
3360*P_1804-1680*P_1850-1680*P_1857+5040*P_1917-5040*P_1922+5040*P_3072+5040*P_3173-1680*P_3861+1680*P_3895+3360*P_4559+3360*P_4568-5040*P_4571+1680*P_4573+1680*P_4602-5040*P_4670,
-3360*P_1801-3360*P_1803+1680*P_1830+1680*P_1837+1680*P_1849+1680*P_1854-5040*P_1897+5040*P_1902-5040*P_1914+5040*P_1921-5040*P_3057-5040*P_3071-5040*P_3170-5040*P_3172+1680*P_3846+1680*P_3858-1680*P_3892-1680*P_3894-3360*P_4307-3360*P_4316+5040*P_4319-1680*P_4321-1680*P_4350+5040*P_4418-3360*P_4553+1680*P_4556-5040*P_4558+3360*P_4570-1680*P_4601+5040*P_4669,
6720*P_1800-3360*P_1829-3360*P_1834+10080*P_1894-10080*P_1901+10080*P_3056+10080*P_3169-3360*P_3843+3360*P_3891+6720*P_4301-3360*P_4304+10080*P_4306-6720*P_4318+3360*P_4349-10080*P_4417,
-5040*P_1830-5040*P_1837+5040*P_1849+5040*P_1854+5040*P_1897-5040*P_1902-5040*P_1914+5040*P_1921-10080*P_1948+10080*P_1950+5040*P_3057-5040*P_3071-10080*P_3105-10080*P_3167-5040*P_3170+5040*P_3172-5040*P_3846+5040*P_3858-10080*P_3889+5040*P_3892-5040*P_3894+10080*P_3960+5040*P_4319-5040*P_4321-5040*P_4350+5040*P_4418-5040*P_4556+5040*P_4558+5040*P_4601-5040*P_4669,
5040*P_1795+5040*P_1802-10080*P_1848+15120*P_1913-15120*P_1915+15120*P_3070+15120*P_3166+5040*P_3845+5040*P_3854-15120*P_3857+10080*P_3859+10080*P_3888-15120*P_3956+5040*P_4552-5040*P_4566,
-5040*P_1794-5040*P_1799+10080*P_1828-15120*P_1893+15120*P_1895-15120*P_3055-15120*P_3165-5040*P_3839+10080*P_3842-15120*P_3844+5040*P_3856-10080*P_3887+15120*P_3955-5040*P_4300+5040*P_4314,
-13440*P_1847+13440*P_1852+13440*P_3069-13440*P_3103-13440*P_4569+13440*P_4600,
13440*P_1827-13440*P_1832+13440*P_1844-13440*P_1851-13440*P_3054-13440*P_3066+13440*P_3100+13440*P_3102+13440*P_4317-13440*P_4348+13440*P_4554-13440*P_4599,
-26880*P_1824+26880*P_1831+26880*P_3051-26880*P_3099-26880*P_4302+26880*P_4347,
-40320*P_1792+40320*P_1797-40320*P_1843+40320*P_1845+40320*P_3053+40320*P_3062-40320*P_3067-40320*P_3096-40320*P_3855+40320*P_3886-40320*P_4550+40320*P_4564,
40320*P_1789-40320*P_1796+40320*P_1823-40320*P_1825-40320*P_3047-40320*P_3050+40320*P_3064+40320*P_3095+40320*P_3840-40320*P_3885+40320*P_4298-40320*P_4312,
-161280*P_1788+161280*P_1790+161280*P_3046-161280*P_3060-161280*P_3836+161280*P_3850,
-40320*P_1827+40320*P_1832+40320*P_1844-40320*P_1851-80640*P_1946+40320*P_3054-40320*P_3066+80640*P_3097-40320*P_3100+40320*P_3102-80640*P_3168+40320*P_4317-40320*P_4348-40320*P_4554+40320*P_4599,
40320*P_1792-40320*P_1797-40320*P_1843+40320*P_1845+80640*P_1911-40320*P_3053-40320*P_3062+80640*P_3065-40320*P_3067-40320*P_3096+80640*P_3164-40320*P_3855+40320*P_3886+40320*P_4550-40320*P_4564,
-40320*P_1789+40320*P_1796+40320*P_1823-40320*P_1825-80640*P_1891+40320*P_3047-40320*P_3050+80640*P_3052-40320*P_3064+40320*P_3095-80640*P_3163+40320*P_3840-40320*P_3885-40320*P_4298+40320*P_4312,
-322560*P_1841+322560*P_3063-322560*P_3094,
322560*P_1821-322560*P_3048+322560*P_3093,
-645120*P_1786+645120*P_3044-645120*P_3058,
20160*P_1860+10080*P_1909+5040*P_1926-15120*P_1928-5040*P_1955+15120*P_1962+5040*P_3899+5040*P_3966-5040*P_4326-5040*P_4427-10080*P_4563+15120*P_4577-15120*P_4611+5040*P_4673-5040*P_4676+10080*P_4678,
-20160*P_1840-15120*P_1906+5040*P_1908+10080*P_1925+5040*P_1954-15120*P_1959-5040*P_3898-5040*P_3963+15120*P_4311-10080*P_4325+15120*P_4359-5040*P_4421+10080*P_4424-5040*P_4426-5040*P_4562-5040*P_4675,
40320*P_1805+30240*P_1900-10080*P_1907-30240*P_1919+10080*P_1924+20160*P_1953-30240*P_3849+30240*P_3863-20160*P_3897+20160*P_3959-10080*P_3962+10080*P_3964-10080*P_4324-10080*P_4420+10080*P_4561+10080*P_4671,
-10080*P_1839+15120*P_1856-5040*P_1858+20160*P_1923-5040*P_1952-15120*P_1957-5040*P_3107-5040*P_3174-5040*P_4323+5040*P_4357-10080*P_4560+15120*P_4572-5040*P_4603-10080*P_4606+5040*P_4608-15120*P_4674,
-5040*P_1836+15120*P_1838-10080*P_1855-20160*P_1903+5040*P_1949+15120*P_1956+5040*P_3106+5040*P_3171+15120*P_4308-10080*P_4320+5040*P_4351+5040*P_4354-10080*P_4356+15120*P_4422-5040*P_4557+5040*P_4605,
10080*P_1804-15120*P_1850+5040*P_1857-15120*P_1917-5040*P_1922+20160*P_1951+5040*P_3072+5040*P_3173+5040*P_3861-5040*P_3895+10080*P_4559-10080*P_4568-5040*P_4571-5040*P_4573+15120*P_4602+15120*P_4670,
-10080*P_1801-10080*P_1803+15120*P_1830-5040*P_1837+15120*P_1849-5040*P_1854+15120*P_1897+5040*P_1902+15120*P_1914+5040*P_1921-20160*P_1948-20160*P_1950-5040*P_3057-5040*P_3071-5040*P_3170-5040*P_3172-5040*P_3846-5040*P_3858+5040*P_3892+5040*P_3894-10080*P_4307+10080*P_4316+5040*P_4319+5040*P_4321-15120*P_4350-15120*P_4418+10080*P_4553-5040*P_4556-5040*P_4558+10080*P_4570-15120*P_4601-15120*P_4669,
20160*P_1800-30240*P_1829+10080*P_1834-30240*P_1894-10080*P_1901+40320*P_1947+10080*P_3056+10080*P_3169+10080*P_3843-10080*P_3891-20160*P_4301+10080*P_4304+10080*P_4306-20160*P_4318+30240*P_4349+30240*P_4417,
20160*P_1801-20160*P_1803-5040*P_1830-25200*P_1837+5040*P_1849+25200*P_1854+25200*P_1897+35280*P_1902-25200*P_1914-35280*P_1921+10080*P_1948-10080*P_1950+5040*P_3057-5040*P_3071-10080*P_3105-10080*P_3167-5040*P_3170+5040*P_3172-25200*P_3846+25200*P_3858-10080*P_3889-15120*P_3892+15120*P_3894-30240*P_3960-20160*P_4307+5040*P_4319+15120*P_4321-5040*P_4350-15120*P_4418+15120*P_4556+5040*P_4558-20160*P_4570+5040*P_4601+15120*P_4669,
-15120*P_1795+45360*P_1802-30240*P_1848-60480*P_1896+15120*P_1913+45360*P_1915+15120*P_3070+15120*P_3166+45360*P_3845-15120*P_3854-15120*P_3857-30240*P_3859+30240*P_3888+45360*P_3956-15120*P_4552+15120*P_4566,
15120*P_1794-45360*P_1799+30240*P_1828+45360*P_1893+15120*P_1895-60480*P_1912-15120*P_3055-15120*P_3165+15120*P_3839-30240*P_3842-15120*P_3844+45360*P_3856-30240*P_3887-45360*P_3955+15120*P_4300-15120*P_4314,
80640*P_1801-80640*P_1803-80640*P_1830+80640*P_1837+80640*P_1849-80640*P_1854+40320*P_1897-40320*P_1902-40320*P_1914+40320*P_1921+40320*P_1948-40320*P_1950+80640*P_3057-80640*P_3071+80640*P_3105-40320*P_3167+40320*P_3170-40320*P_3172-40320*P_3846+40320*P_3858-40320*P_3889+40320*P_4307-40320*P_4319+40320*P_4350-40320*P_4558+40320*P_4570-40320*P_4601,
161280*P_1798-120960*P_1827-40320*P_1832+120960*P_1844+40320*P_1851+80640*P_1946+120960*P_3054-120960*P_3066+80640*P_3097+40320*P_3100-40320*P_3102+80640*P_3168-40320*P_4317+40320*P_4348+40320*P_4554-40320*P_4599,
-40320*P_1792-120960*P_1797+161280*P_1826-120960*P_1843-40320*P_1845-80640*P_1911-120960*P_3053+40320*P_3062+80640*P_3065+40320*P_3067-120960*P_3096-80640*P_3164+40320*P_3855-40320*P_3886-40320*P_4550+40320*P_4564,
40320*P_1789+120960*P_1796-40320*P_1823-120960*P_1825+161280*P_1842+80640*P_1891-40320*P_3047+40320*P_3050+80640*P_3052-120960*P_3064+120960*P_3095+80640*P_3163-40320*P_3840+40320*P_3885+40320*P_4298-40320*P_4312,
60480*P_1820+60480*P_1887+60480*P_4548,
-60480*P_1819-60480*P_1884-60480*P_4296,
-60480*P_1785-60480*P_1886-60480*P_4547,
60480*P_1770+60480*P_1784+60480*P_1883+60480*P_1885+60480*P_4295+60480*P_4546,
-120960*P_1769-120960*P_1882-120960*P_4294,
-60480*P_1770+60480*P_1784+120960*P_1818+120960*P_1880+60480*P_1883-60480*P_1885+120960*P_3834+60480*P_4295-60480*P_4546,
-181440*P_1783-181440*P_1879-181440*P_3833,
181440*P_1768+181440*P_1878+181440*P_3832,
-120960*P_1782+120960*P_1816-120960*P_4545,
120960*P_1767+120960*P_1779-120960*P_1813-120960*P_1815+120960*P_4293+120960*P_4544,
-241920*P_1764+241920*P_1812-241920*P_4292,
-362880*P_1766-362880*P_1775+362880*P_1780+362880*P_1809-362880*P_3831-362880*P_4543,
362880*P_1760+362880*P_1763-362880*P_1777-362880*P_1808+362880*P_3830+362880*P_4291,
-1451520*P_1759+1451520*P_1773-1451520*P_3829,
-241920*P_1767+241920*P_1779-483840*P_1810+241920*P_1813-241920*P_1815+483840*P_1881-483840*P_3042+241920*P_4293-241920*P_4544,
241920*P_1766+241920*P_1775-483840*P_1778+241920*P_1780+241920*P_1809-483840*P_1877+483840*P_3041-241920*P_3831+241920*P_4543,
-241920*P_1760+241920*P_1763-483840*P_1765+241920*P_1777-241920*P_1808+483840*P_1876-483840*P_3040+241920*P_3830-241920*P_4291,
-1451520*P_1776+1451520*P_1807+1451520*P_3039,
1451520*P_1761-1451520*P_1806-1451520*P_3038,
-2903040*P_1757+2903040*P_1771+2903040*P_3037,
-1209600*P_1770+1209600*P_1784-1209600*P_1818+604800*P_1880-604800*P_1883+604800*P_1885+604800*P_3834-604800*P_4295+604800*P_4546,
-1209600*P_1767+1209600*P_1779-604800*P_1810-604800*P_1813+604800*P_1815-1209600*P_1881-604800*P_3042-604800*P_4293+604800*P_4544,
1209600*P_1766-604800*P_1775-604800*P_1778-604800*P_1780+1209600*P_1809+1209600*P_1877+604800*P_3041+604800*P_3831-604800*P_4543,
604800*P_1760-604800*P_1763-604800*P_1765+1209600*P_1777-1209600*P_1808-1209600*P_1876-604800*P_3040-604800*P_3830+604800*P_4291,
7257600*P_1755,
-7257600*P_1754,
7257600*P_1753,
-14515200*P_1752,
14515200*P_1751,
-29030400*P_1750,
6*P_4274,
-6*P_4254-6*P_4271-6*P_4273,
12*P_4251+12*P_4253+12*P_4270,
-36*P_4250,
-6*P_3812,
6*P_3602+6*P_3792+6*P_3809+6*P_3811,
-12*P_3582-12*P_3599-12*P_3601-12*P_3789-12*P_3791-12*P_3808,
36*P_3579+36*P_3581+36*P_3598+36*P_3788,
-144*P_3578,
-18*P_3602+6*P_3792+6*P_3809+6*P_3811+24*P_4219+24*P_4265+24*P_4272,
12*P_3582+12*P_3599+12*P_3601-12*P_3789-12*P_3791-12*P_3808-24*P_4216-24*P_4218-24*P_4245-24*P_4252-24*P_4264-24*P_4269,
-12*P_3579-12*P_3581-12*P_3598+36*P_3788+48*P_4215+48*P_4244+48*P_4249,
-30*P_3757-30*P_3803-30*P_3810,
30*P_3547+30*P_3593+30*P_3600+30*P_3754+30*P_3756+30*P_3783+30*P_3790+30*P_3802+30*P_3807,
-60*P_3544-60*P_3546-60*P_3573-60*P_3580-60*P_3592-60*P_3597-60*P_3753-60*P_3782-60*P_3787,
180*P_3543+180*P_3572+180*P_3577,
-96*P_3547-96*P_3593-96*P_3600+48*P_3754+48*P_3756+48*P_3783+48*P_3790+48*P_3802+48*P_3807+144*P_4210+144*P_4217+144*P_4263,
48*P_3544+48*P_3546+48*P_3573+48*P_3580+48*P_3592+48*P_3597-96*P_3753-96*P_3782-96*P_3787-144*P_4209-144*P_4214-144*P_4243,
-240*P_3748-240*P_3755-240*P_3801,
240*P_3538+240*P_3545+240*P_3591+240*P_3747+240*P_3752+240*P_3781,
-480*P_3537-480*P_3542-480*P_3571,
-432*P_3538-432*P_3545-432*P_3591+432*P_3747+432*P_3752+432*P_3781+864*P_4208,
-2160*P_3746,
2160*P_3536,
12*P_3020,
-12*P_2810-12*P_3000-12*P_3017-12*P_3019,
24*P_2790+24*P_2807+24*P_2809+24*P_2997+24*P_2999+24*P_3016,
-72*P_2787-72*P_2789-72*P_2806-72*P_2996,
288*P_2786,
60*P_2480+60*P_2965+60*P_3011+60*P_3018,
-60*P_2460-60*P_2477-60*P_2479-60*P_2755-60*P_2801-60*P_2808-60*P_2962-60*P_2964-60*P_2991-60*P_2998-60*P_3010-60*P_3015,
120*P_2457+120*P_2459+120*P_2476+120*P_2752+120*P_2754+120*P_2781+120*P_2788+120*P_2800+120*P_2805+120*P_2961+120*P_2990+120*P_2995,
-360*P_2456-360*P_2751-360*P_2780-360*P_2785,
480*P_2425+480*P_2471+480*P_2478+480*P_2956+480*P_2963+480*P_3009,
-480*P_2422-480*P_2424-480*P_2451-480*P_2458-480*P_2470-480*P_2475-480*P_2746-480*P_2753-480*P_2799-480*P_2955-480*P_2960-480*P_2989,
960*P_2421+960*P_2450+960*P_2455+960*P_2745+960*P_2750+960*P_2779,
4320*P_2416+4320*P_2423+4320*P_2469+4320*P_2954,
-4320*P_2415-4320*P_2420-4320*P_2449-4320*P_2744,
34560*P_2414,
108*P_2810-36*P_3000-36*P_3017-36*P_3019-144*P_4163+144*P_4262-144*P_4267,
-72*P_2790-72*P_2807-72*P_2809+72*P_2997+72*P_2999+72*P_3016+144*P_4160+144*P_4162-144*P_4242+144*P_4247-144*P_4259+144*P_4266,
72*P_2787+72*P_2789+72*P_2806-216*P_2996-288*P_4159+288*P_4239-288*P_4246,
-108*P_2480+36*P_2965+36*P_3011+36*P_3018+144*P_3701-144*P_3800+144*P_3805,
108*P_2460+108*P_2477+108*P_2479-36*P_2755-36*P_2801-36*P_2808-36*P_2962-36*P_2964-36*P_2991-36*P_2998-36*P_3010-36*P_3015-144*P_3491+144*P_3590-144*P_3595-144*P_3698-144*P_3700+144*P_3780-144*P_3785+144*P_3797-144*P_3804,
-216*P_2457-216*P_2459-216*P_2476+72*P_2752+72*P_2754+72*P_2781+72*P_2788+72*P_2800+72*P_2805+72*P_2961+72*P_2990+72*P_2995+288*P_3488+288*P_3490-288*P_3570+288*P_3575-288*P_3587+288*P_3594+288*P_3697-288*P_3777+288*P_3784,
648*P_2456-216*P_2751-216*P_2780-216*P_2785-864*P_3487+864*P_3567-864*P_3574,
288*P_2755+288*P_2801+288*P_2808-144*P_2962-144*P_2964-144*P_2991-144*P_2998-144*P_3010-144*P_3015+288*P_3491-288*P_3590+288*P_3595-144*P_3698-144*P_3700+144*P_3780-144*P_3785+144*P_3797-144*P_3804-432*P_4154-432*P_4161+432*P_4207-432*P_4212+432*P_4258-432*P_4260,
-144*P_2752-144*P_2754-144*P_2781-144*P_2788-144*P_2800-144*P_2805+288*P_2961+288*P_2990+288*P_2995-144*P_3488-144*P_3490+144*P_3570-144*P_3575+144*P_3587-144*P_3594+288*P_3697-288*P_3777+288*P_3784+432*P_4153+432*P_4158-432*P_4204+432*P_4211-432*P_4238+432*P_4240,
-288*P_2425-288*P_2471-288*P_2478+288*P_2956+288*P_2963+288*P_3009+576*P_3692+576*P_3699-576*P_3745+576*P_3750-576*P_3796+576*P_3798,
288*P_2422+288*P_2424+288*P_2451+288*P_2458+288*P_2470+288*P_2475-288*P_2746-288*P_2753-288*P_2799-288*P_2955-288*P_2960-288*P_2989-576*P_3482-576*P_3489+576*P_3535-576*P_3540+576*P_3586-576*P_3588-576*P_3691-576*P_3696+576*P_3742-576*P_3749+576*P_3776-576*P_3778,
-576*P_2421-576*P_2450-576*P_2455+576*P_2745+576*P_2750+576*P_2779+1152*P_3481+1152*P_3486-1152*P_3532+1152*P_3539-1152*P_3566+1152*P_3568,
864*P_2746+864*P_2753+864*P_2799-864*P_2955-864*P_2960-864*P_2989+864*P_3482+864*P_3489-864*P_3535+864*P_3540-864*P_3586+864*P_3588-864*P_3691-864*P_3696+864*P_3742-864*P_3749+864*P_3776-864*P_3778-1728*P_4152+1728*P_4203-1728*P_4205,
-864*P_2416-864*P_2423-864*P_2469+2592*P_2954+3456*P_3690-3456*P_3741+3456*P_3743,
864*P_2415+864*P_2420+864*P_2449-2592*P_2744-3456*P_3480+3456*P_3531-3456*P_3533,
-360*P_2909+360*P_3008-360*P_3013,
360*P_2699-360*P_2798+360*P_2803+360*P_2906+360*P_2908-360*P_2988+360*P_2993-360*P_3005+360*P_3012,
-720*P_2696-720*P_2698+720*P_2778-720*P_2783+720*P_2795-720*P_2802-720*P_2905+720*P_2985-720*P_2992,
2160*P_2695-2160*P_2775+2160*P_2782,
-1440*P_2369+1440*P_2468-1440*P_2473-1440*P_2900-1440*P_2907+1440*P_2953-1440*P_2958+1440*P_3004-1440*P_3006,
1440*P_2366+1440*P_2368-1440*P_2448+1440*P_2453-1440*P_2465+1440*P_2472+1440*P_2690+1440*P_2697-1440*P_2743+1440*P_2748-1440*P_2794+1440*P_2796+1440*P_2899+1440*P_2904-1440*P_2950+1440*P_2957-1440*P_2984+1440*P_2986,
-2880*P_2365+2880*P_2445-2880*P_2452-2880*P_2689-2880*P_2694+2880*P_2740-2880*P_2747+2880*P_2774-2880*P_2776,
-8640*P_2360-8640*P_2367+8640*P_2413-8640*P_2418+8640*P_2464-8640*P_2466-8640*P_2898+8640*P_2949-8640*P_2951,
8640*P_2359+8640*P_2364-8640*P_2410+8640*P_2417-8640*P_2444+8640*P_2446+8640*P_2688-8640*P_2739+8640*P_2741,
-51840*P_2358+51840*P_2409-51840*P_2411,
-2880*P_2699+2880*P_2798-2880*P_2803+1440*P_2906+1440*P_2908-1440*P_2988+1440*P_2993-1440*P_3005+1440*P_3012-4320*P_4151+4320*P_4156+4320*P_4256,
1440*P_2696+1440*P_2698-1440*P_2778+1440*P_2783-1440*P_2795+1440*P_2802-2880*P_2905+2880*P_2985-2880*P_2992+4320*P_4148-4320*P_4155-4320*P_4236,
2880*P_2369-2880*P_2468+2880*P_2473-1440*P_2900-1440*P_2907+1440*P_2953-1440*P_2958+1440*P_3004-1440*P_3006+4320*P_3689-4320*P_3694-4320*P_3794,
-2880*P_2366-2880*P_2368+2880*P_2448-2880*P_2453+2880*P_2465-2880*P_2472+1440*P_2690+1440*P_2697-1440*P_2743+1440*P_2748-1440*P_2794+1440*P_2796+1440*P_2899+1440*P_2904-1440*P_2950+1440*P_2957-1440*P_2984+1440*P_2986-4320*P_3479+4320*P_3484+4320*P_3584-4320*P_3686+4320*P_3693+4320*P_3774,
5760*P_2365-5760*P_2445+5760*P_2452-2880*P_2689-2880*P_2694+2880*P_2740-2880*P_2747+2880*P_2774-2880*P_2776+8640*P_3476-8640*P_3483-8640*P_3564,
-4320*P_2690-4320*P_2697+4320*P_2743-4320*P_2748+4320*P_2794-4320*P_2796+4320*P_2899+4320*P_2904-4320*P_2950+4320*P_2957-4320*P_2984+4320*P_2986+4320*P_3479-4320*P_3484-4320*P_3584-4320*P_3686+4320*P_3693+4320*P_3774-8640*P_4147+8640*P_4149+8640*P_4201,
4320*P_2360+4320*P_2367-4320*P_2413+4320*P_2418-4320*P_2464+4320*P_2466-8640*P_2898+8640*P_2949-8640*P_2951+12960*P_3685-12960*P_3687-12960*P_3739,
-4320*P_2359-4320*P_2364+4320*P_2410-4320*P_2417+4320*P_2444-4320*P_2446+8640*P_2688-8640*P_2739+8640*P_2741-12960*P_3475+12960*P_3477+12960*P_3529,
-14400*P_2897+14400*P_2902+14400*P_3002,
14400*P_2687-14400*P_2692-14400*P_2792+14400*P_2894-14400*P_2901-14400*P_2982,
-28800*P_2684+28800*P_2691+28800*P_2772,
-43200*P_2357+43200*P_2362+43200*P_2462-43200*P_2893+43200*P_2895+43200*P_2947,
43200*P_2354-43200*P_2361-43200*P_2442+43200*P_2683-43200*P_2685-43200*P_2737,
-172800*P_2353+172800*P_2355+172800*P_2407,
-51840*P_2687+51840*P_2692+51840*P_2792+51840*P_2894-51840*P_2901-51840*P_2982-103680*P_4145,
51840*P_2357-51840*P_2362-51840*P_2462-51840*P_2893+51840*P_2895+51840*P_2947+103680*P_3683,
-51840*P_2354+51840*P_2361+51840*P_2442+51840*P_2683-51840*P_2685-51840*P_2737-103680*P_3473,
-518400*P_2891,
518400*P_2681,
-1036800*P_2351,
-36*P_1733,
36*P_1523+36*P_1713+36*P_1730+36*P_1732,
-72*P_1503-72*P_1520-72*P_1522-72*P_1710-72*P_1712-72*P_1729,
216*P_1500+216*P_1502+216*P_1519+216*P_1709,
-864*P_1499,
-180*P_1193-180*P_1678-180*P_1724-180*P_1731,
180*P_1173+180*P_1190+180*P_1192+180*P_1468+180*P_1514+180*P_1521+180*P_1675+180*P_1677+180*P_1704+180*P_1711+180*P_1723+180*P_1728,
-360*P_1170-360*P_1172-360*P_1189-360*P_1465-360*P_1467-360*P_1494-360*P_1501-360*P_1513-360*P_1518-360*P_1674-360*P_1703-360*P_1708,
1080*P_1169+1080*P_1464+1080*P_1493+1080*P_1498,
-1440*P_1138-1440*P_1184-1440*P_1191-1440*P_1669-1440*P_1676-1440*P_1722,
1440*P_1135+1440*P_1137+1440*P_1164+1440*P_1171+1440*P_1183+1440*P_1188+1440*P_1459+1440*P_1466+1440*P_1512+1440*P_1668+1440*P_1673+1440*P_1702,
-2880*P_1134-2880*P_1163-2880*P_1168-2880*P_1458-2880*P_1463-2880*P_1492,
-12960*P_1129-12960*P_1136-12960*P_1182-12960*P_1667,
12960*P_1128+12960*P_1133+12960*P_1162+12960*P_1457,
-103680*P_1127,
1080*P_698+1080*P_1622-1080*P_1721+1080*P_1726,
-1080*P_678-1080*P_695-1080*P_697-1080*P_1412+1080*P_1511-1080*P_1516-1080*P_1619-1080*P_1621+1080*P_1701-1080*P_1706+1080*P_1718-1080*P_1725,
2160*P_675+2160*P_677+2160*P_694+2160*P_1409+2160*P_1411-2160*P_1491+2160*P_1496-2160*P_1508+2160*P_1515+2160*P_1618-2160*P_1698+2160*P_1705,
-6480*P_674-6480*P_1408+6480*P_1488-6480*P_1495,
4320*P_643+4320*P_689+4320*P_696+4320*P_1082-4320*P_1181+4320*P_1186+4320*P_1613+4320*P_1620-4320*P_1666+4320*P_1671-4320*P_1717+4320*P_1719,
-4320*P_640-4320*P_642-4320*P_669-4320*P_676-4320*P_688-4320*P_693-4320*P_1079-4320*P_1081+4320*P_1161-4320*P_1166+4320*P_1178-4320*P_1185-4320*P_1403-4320*P_1410+4320*P_1456-4320*P_1461+4320*P_1507-4320*P_1509-4320*P_1612-4320*P_1617+4320*P_1663-4320*P_1670+4320*P_1697-4320*P_1699,
8640*P_639+8640*P_668+8640*P_673+8640*P_1078-8640*P_1158+8640*P_1165+8640*P_1402+8640*P_1407-8640*P_1453+8640*P_1460-8640*P_1487+8640*P_1489,
25920*P_634+25920*P_641+25920*P_687+25920*P_1073+25920*P_1080-25920*P_1126+25920*P_1131-25920*P_1177+25920*P_1179+25920*P_1611-25920*P_1662+25920*P_1664,
-25920*P_633-25920*P_638-25920*P_667-25920*P_1072-25920*P_1077+25920*P_1123-25920*P_1130+25920*P_1157-25920*P_1159-25920*P_1401+25920*P_1452-25920*P_1454,
155520*P_632+155520*P_1071-155520*P_1122+155520*P_1124,
-43200*P_587+43200*P_686-43200*P_691+43200*P_1610-43200*P_1615-43200*P_1715,
43200*P_584+43200*P_586-43200*P_666+43200*P_671-43200*P_683+43200*P_690-43200*P_1400+43200*P_1405+43200*P_1505-43200*P_1607+43200*P_1614+43200*P_1695,
-86400*P_583+86400*P_663-86400*P_670+86400*P_1397-86400*P_1404-86400*P_1485,
-129600*P_578-129600*P_585+129600*P_631-129600*P_636+129600*P_682-129600*P_684+129600*P_1070-129600*P_1075-129600*P_1175+129600*P_1606-129600*P_1608-129600*P_1660,
129600*P_577+129600*P_582-129600*P_628+129600*P_635-129600*P_662+129600*P_664-129600*P_1067+129600*P_1074+129600*P_1155-129600*P_1396+129600*P_1398+129600*P_1450,
-518400*P_576+518400*P_627-518400*P_629+518400*P_1066-518400*P_1068-518400*P_1120,
-1555200*P_575+1555200*P_580+1555200*P_680+1555200*P_1604,
1555200*P_572-1555200*P_579-1555200*P_660-1555200*P_1394,
-3110400*P_571+3110400*P_573+3110400*P_625+3110400*P_1064,
-37324800*P_569,
-756*P_1523+252*P_1713+252*P_1730+252*P_1732+1008*P_4144+1008*P_4197-1008*P_4231,
504*P_1503+504*P_1520+504*P_1522-504*P_1710-504*P_1712-504*P_1729-1008*P_4129-1008*P_4143-1008*P_4182-1008*P_4194+1008*P_4228+1008*P_4230,
-504*P_1500-504*P_1502-504*P_1519+1512*P_1709+2016*P_4128+2016*P_4179-2016*P_4227,
756*P_1193-252*P_1678-252*P_1724-252*P_1731-1008*P_3682-1008*P_3735+1008*P_3769,
-756*P_1173-756*P_1190-756*P_1192+252*P_1468+252*P_1514+252*P_1521+252*P_1675+252*P_1677+252*P_1704+252*P_1711+252*P_1723+252*P_1728+1008*P_3472+1008*P_3525-1008*P_3559+1008*P_3667+1008*P_3681+1008*P_3720+1008*P_3732-1008*P_3766-1008*P_3768,
1512*P_1170+1512*P_1172+1512*P_1189-504*P_1465-504*P_1467-504*P_1494-504*P_1501-504*P_1513-504*P_1518-504*P_1674-504*P_1703-504*P_1708-2016*P_3457-2016*P_3471-2016*P_3510-2016*P_3522+2016*P_3556+2016*P_3558-2016*P_3666-2016*P_3717+2016*P_3765,
-4536*P_1169+1512*P_1464+1512*P_1493+1512*P_1498+6048*P_3456+6048*P_3507-6048*P_3555,
-2016*P_1468-2016*P_1514-2016*P_1521+1008*P_1675+1008*P_1677+1008*P_1704+1008*P_1711+1008*P_1723+1008*P_1728-2016*P_3472-2016*P_3525+2016*P_3559+1008*P_3667+1008*P_3681+1008*P_3720+1008*P_3732-1008*P_3766-1008*P_3768+3024*P_4108+3024*P_4142+3024*P_4181+3024*P_4190-3024*P_4195-3024*P_4224,
1008*P_1465+1008*P_1467+1008*P_1494+1008*P_1501+1008*P_1513+1008*P_1518-2016*P_1674-2016*P_1703-2016*P_1708+1008*P_3457+1008*P_3471+1008*P_3510+1008*P_3522-1008*P_3556-1008*P_3558-2016*P_3666-2016*P_3717+2016*P_3765-3024*P_4107-3024*P_4127-3024*P_4175-3024*P_4178+3024*P_4192+3024*P_4223,
2016*P_1138+2016*P_1184+2016*P_1191-2016*P_1669-2016*P_1676-2016*P_1722-4032*P_3646-4032*P_3680-4032*P_3719-4032*P_3728+4032*P_3733+4032*P_3762,
-2016*P_1135-2016*P_1137-2016*P_1164-2016*P_1171-2016*P_1183-2016*P_1188+2016*P_1459+2016*P_1466+2016*P_1512+2016*P_1668+2016*P_1673+2016*P_1702+4032*P_3436+4032*P_3470+4032*P_3509+4032*P_3518-4032*P_3523-4032*P_3552+4032*P_3645+4032*P_3665+4032*P_3713+4032*P_3716-4032*P_3730-4032*P_3761,
4032*P_1134+4032*P_1163+4032*P_1168-4032*P_1458-4032*P_1463-4032*P_1492-8064*P_3435-8064*P_3455-8064*P_3503-8064*P_3506+8064*P_3520+8064*P_3551,
-6048*P_1459-6048*P_1466-6048*P_1512+6048*P_1668+6048*P_1673+6048*P_1702-6048*P_3436-6048*P_3470-6048*P_3509-6048*P_3518+6048*P_3523+6048*P_3552+6048*P_3645+6048*P_3665+6048*P_3713+6048*P_3716-6048*P_3730-6048*P_3761+12096*P_4106+12096*P_4174-12096*P_4188,
6048*P_1129+6048*P_1136+6048*P_1182-18144*P_1667-24192*P_3644-24192*P_3712+24192*P_3726,
-6048*P_1128-6048*P_1133-6048*P_1162+18144*P_1457+24192*P_3434+24192*P_3502-24192*P_3516,
-1512*P_698+504*P_1622-504*P_1721+504*P_1726+2016*P_2890+2016*P_2943-2016*P_2977,
1512*P_678+1512*P_695+1512*P_697-504*P_1412+504*P_1511-504*P_1516-504*P_1619-504*P_1621+504*P_1701-504*P_1706+504*P_1718-504*P_1725-2016*P_2680-2016*P_2733+2016*P_2767-2016*P_2875-2016*P_2889-2016*P_2928-2016*P_2940+2016*P_2974+2016*P_2976,
-3024*P_675-3024*P_677-3024*P_694+1008*P_1409+1008*P_1411-1008*P_1491+1008*P_1496-1008*P_1508+1008*P_1515+1008*P_1618-1008*P_1698+1008*P_1705+4032*P_2665+4032*P_2679+4032*P_2718+4032*P_2730-4032*P_2764-4032*P_2766+4032*P_2874+4032*P_2925-4032*P_2973,
9072*P_674-3024*P_1408+3024*P_1488-3024*P_1495-12096*P_2664-12096*P_2715+12096*P_2763,
-6048*P_643-6048*P_689-6048*P_696+2016*P_1082-2016*P_1181+2016*P_1186+2016*P_1613+2016*P_1620-2016*P_1666+2016*P_1671-2016*P_1717+2016*P_1719+8064*P_2350+8064*P_2403-8064*P_2437+8064*P_2854+8064*P_2888+8064*P_2927+8064*P_2936-8064*P_2941-8064*P_2970,
6048*P_640+6048*P_642+6048*P_669+6048*P_676+6048*P_688+6048*P_693-2016*P_1079-2016*P_1081+2016*P_1161-2016*P_1166+2016*P_1178-2016*P_1185-2016*P_1403-2016*P_1410+2016*P_1456-2016*P_1461+2016*P_1507-2016*P_1509-2016*P_1612-2016*P_1617+2016*P_1663-2016*P_1670+2016*P_1697-2016*P_1699-8064*P_2335-8064*P_2349-8064*P_2388-8064*P_2400+8064*P_2434+8064*P_2436-8064*P_2644-8064*P_2678-8064*P_2717-8064*P_2726+8064*P_2731+8064*P_2760-8064*P_2853-8064*P_2873-8064*P_2921-8064*P_2924+8064*P_2938+8064*P_2969,
-12096*P_639-12096*P_668-12096*P_673+4032*P_1078-4032*P_1158+4032*P_1165+4032*P_1402+4032*P_1407-4032*P_1453+4032*P_1460-4032*P_1487+4032*P_1489+16128*P_2334+16128*P_2385-16128*P_2433+16128*P_2643+16128*P_2663+16128*P_2711+16128*P_2714-16128*P_2728-16128*P_2759,
-36288*P_634-36288*P_641-36288*P_687+12096*P_1073+12096*P_1080-12096*P_1126+12096*P_1131-12096*P_1177+12096*P_1179+12096*P_1611-12096*P_1662+12096*P_1664+48384*P_2314+48384*P_2348+48384*P_2387+48384*P_2396-48384*P_2401-48384*P_2430+48384*P_2852+48384*P_2920-48384*P_2934,
36288*P_633+36288*P_638+36288*P_667-12096*P_1072-12096*P_1077+12096*P_1123-12096*P_1130+12096*P_1157-12096*P_1159-12096*P_1401+12096*P_1452-12096*P_1454-48384*P_2313-48384*P_2333-48384*P_2381-48384*P_2384+48384*P_2398+48384*P_2429-48384*P_2642-48384*P_2710+48384*P_2724,
-217728*P_632+72576*P_1071-72576*P_1122+72576*P_1124+290304*P_2312+290304*P_2380-290304*P_2394,
10080*P_1412-10080*P_1511+10080*P_1516-5040*P_1619-5040*P_1621+5040*P_1701-5040*P_1706+5040*P_1718-5040*P_1725+10080*P_2680+10080*P_2733-10080*P_2767-5040*P_2875-5040*P_2889-5040*P_2928-5040*P_2940+5040*P_2974+5040*P_2976+15120*P_4105-15120*P_4125-15120*P_4134+15120*P_4137+15120*P_4191-15120*P_4222,
-5040*P_1409-5040*P_1411+5040*P_1491-5040*P_1496+5040*P_1508-5040*P_1515+10080*P_1618-10080*P_1698+10080*P_1705-5040*P_2665-5040*P_2679-5040*P_2718-5040*P_2730+5040*P_2764+5040*P_2766+10080*P_2874+10080*P_2925-10080*P_2973-15120*P_4102+15120*P_4119+15120*P_4124-15120*P_4136-15120*P_4176+15120*P_4221,
-10080*P_1082+10080*P_1181-10080*P_1186+5040*P_1613+5040*P_1620-5040*P_1666+5040*P_1671-5040*P_1717+5040*P_1719-10080*P_2350-10080*P_2403+10080*P_2437+5040*P_2854+5040*P_2888+5040*P_2927+5040*P_2936-5040*P_2941-5040*P_2970-15120*P_3643+15120*P_3663+15120*P_3672-15120*P_3675-15120*P_3729+15120*P_3760,
10080*P_1079+10080*P_1081-10080*P_1161+10080*P_1166-10080*P_1178+10080*P_1185-5040*P_1403-5040*P_1410+5040*P_1456-5040*P_1461+5040*P_1507-5040*P_1509-5040*P_1612-5040*P_1617+5040*P_1663-5040*P_1670+5040*P_1697-5040*P_1699+10080*P_2335+10080*P_2349+10080*P_2388+10080*P_2400-10080*P_2434-10080*P_2436-5040*P_2644-5040*P_2678-5040*P_2717-5040*P_2726+5040*P_2731+5040*P_2760-5040*P_2853-5040*P_2873-5040*P_2921-5040*P_2924+5040*P_2938+5040*P_2969+15120*P_3433-15120*P_3453-15120*P_3462+15120*P_3465+15120*P_3519-15120*P_3550+15120*P_3640-15120*P_3657-15120*P_3662+15120*P_3674+15120*P_3714-15120*P_3759,
-20160*P_1078+20160*P_1158-20160*P_1165+10080*P_1402+10080*P_1407-10080*P_1453+10080*P_1460-10080*P_1487+10080*P_1489-20160*P_2334-20160*P_2385+20160*P_2433+10080*P_2643+10080*P_2663+10080*P_2711+10080*P_2714-10080*P_2728-10080*P_2759-30240*P_3430+30240*P_3447+30240*P_3452-30240*P_3464-30240*P_3504+30240*P_3549,
15120*P_1403+15120*P_1410-15120*P_1456+15120*P_1461-15120*P_1507+15120*P_1509-15120*P_1612-15120*P_1617+15120*P_1663-15120*P_1670+15120*P_1697-15120*P_1699+15120*P_2644+15120*P_2678+15120*P_2717+15120*P_2726-15120*P_2731-15120*P_2760-15120*P_2853-15120*P_2873-15120*P_2921-15120*P_2924+15120*P_2938+15120*P_2969-15120*P_3433+15120*P_3453+15120*P_3462-15120*P_3465-15120*P_3519+15120*P_3550+15120*P_3640-15120*P_3657-15120*P_3662+15120*P_3674+15120*P_3714-15120*P_3759+30240*P_4101-30240*P_4103-30240*P_4118+30240*P_4132+30240*P_4172-30240*P_4186,
-15120*P_1073-15120*P_1080+15120*P_1126-15120*P_1131+15120*P_1177-15120*P_1179+30240*P_1611-30240*P_1662+30240*P_1664-15120*P_2314-15120*P_2348-15120*P_2387-15120*P_2396+15120*P_2401+15120*P_2430+30240*P_2852+30240*P_2920-30240*P_2934-45360*P_3639+45360*P_3641+45360*P_3656-45360*P_3670-45360*P_3710+45360*P_3724,
15120*P_1072+15120*P_1077-15120*P_1123+15120*P_1130-15120*P_1157+15120*P_1159-30240*P_1401+30240*P_1452-30240*P_1454+15120*P_2313+15120*P_2333+15120*P_2381+15120*P_2384-15120*P_2398-15120*P_2429-30240*P_2642-30240*P_2710+30240*P_2724+45360*P_3429-45360*P_3431-45360*P_3446+45360*P_3460+45360*P_3500-45360*P_3514,
20160*P_587-20160*P_686+20160*P_691+20160*P_1610-20160*P_1615-20160*P_1715+40320*P_2851-40320*P_2871-40320*P_2880+40320*P_2883+40320*P_2937-40320*P_2968,
-20160*P_584-20160*P_586+20160*P_666-20160*P_671+20160*P_683-20160*P_690-20160*P_1400+20160*P_1405+20160*P_1505-20160*P_1607+20160*P_1614+20160*P_1695-40320*P_2641+40320*P_2661+40320*P_2670-40320*P_2673-40320*P_2727+40320*P_2758-40320*P_2848+40320*P_2865+40320*P_2870-40320*P_2882-40320*P_2922+40320*P_2967,
40320*P_583-40320*P_663+40320*P_670+40320*P_1397-40320*P_1404-40320*P_1485+80640*P_2638-80640*P_2655-80640*P_2660+80640*P_2672+80640*P_2712-80640*P_2757,
60480*P_578+60480*P_585-60480*P_631+60480*P_636-60480*P_682+60480*P_684+60480*P_1070-60480*P_1075-60480*P_1175+60480*P_1606-60480*P_1608-60480*P_1660+120960*P_2311-120960*P_2331-120960*P_2340+120960*P_2343+120960*P_2397-120960*P_2428+120960*P_2847-120960*P_2849-120960*P_2864+120960*P_2878+120960*P_2918-120960*P_2932,
-60480*P_577-60480*P_582+60480*P_628-60480*P_635+60480*P_662-60480*P_664-60480*P_1067+60480*P_1074+60480*P_1155-60480*P_1396+60480*P_1398+60480*P_1450-120960*P_2308+120960*P_2325+120960*P_2330-120960*P_2342-120960*P_2382+120960*P_2427-120960*P_2637+120960*P_2639+120960*P_2654-120960*P_2668-120960*P_2708+120960*P_2722,
241920*P_576-241920*P_627+241920*P_629+241920*P_1066-241920*P_1068-241920*P_1120+483840*P_2307-483840*P_2309-483840*P_2324+483840*P_2338+483840*P_2378-483840*P_2392,
120960*P_1400-120960*P_1405-120960*P_1505-120960*P_1607+120960*P_1614+120960*P_1695+120960*P_2641-120960*P_2661-120960*P_2670+120960*P_2673+120960*P_2727-120960*P_2758-120960*P_2848+120960*P_2865+120960*P_2870-120960*P_2882-120960*P_2922+120960*P_2967+241920*P_4099-241920*P_4116+241920*P_4130,
-120960*P_1070+120960*P_1075+120960*P_1175+120960*P_1606-120960*P_1608-120960*P_1660-120960*P_2311+120960*P_2331+120960*P_2340-120960*P_2343-120960*P_2397+120960*P_2428+120960*P_2847-120960*P_2849-120960*P_2864+120960*P_2878+120960*P_2918-120960*P_2932-241920*P_3637+241920*P_3654-241920*P_3668,
120960*P_1067-120960*P_1074-120960*P_1155-120960*P_1396+120960*P_1398+120960*P_1450+120960*P_2308-120960*P_2325-120960*P_2330+120960*P_2342+120960*P_2382-120960*P_2427-120960*P_2637+120960*P_2639+120960*P_2654-120960*P_2668-120960*P_2708+120960*P_2722+241920*P_3427-241920*P_3444+241920*P_3458,
241920*P_575-241920*P_580-241920*P_680+725760*P_1604+967680*P_2845-967680*P_2862+967680*P_2876,
-241920*P_572+241920*P_579+241920*P_660-725760*P_1394-967680*P_2635+967680*P_2652-967680*P_2666,
483840*P_571-483840*P_573-483840*P_625+1451520*P_1064+1935360*P_2305-1935360*P_2322+1935360*P_2336,
-7560*P_1603-7560*P_1656+7560*P_1690,
7560*P_1393+7560*P_1446-7560*P_1480+7560*P_1588+7560*P_1602+7560*P_1641+7560*P_1653-7560*P_1687-7560*P_1689,
-15120*P_1378-15120*P_1392-15120*P_1431-15120*P_1443+15120*P_1477+15120*P_1479-15120*P_1587-15120*P_1638+15120*P_1686,
45360*P_1377+45360*P_1428-45360*P_1476,
-30240*P_1063-30240*P_1116+30240*P_1150-30240*P_1567-30240*P_1601-30240*P_1640-30240*P_1649+30240*P_1654+30240*P_1683,
30240*P_1048+30240*P_1062+30240*P_1101+30240*P_1113-30240*P_1147-30240*P_1149+30240*P_1357+30240*P_1391+30240*P_1430+30240*P_1439-30240*P_1444-30240*P_1473+30240*P_1566+30240*P_1586+30240*P_1634+30240*P_1637-30240*P_1651-30240*P_1682,
-60480*P_1047-60480*P_1098+60480*P_1146-60480*P_1356-60480*P_1376-60480*P_1424-60480*P_1427+60480*P_1441+60480*P_1472,
-181440*P_1027-181440*P_1061-181440*P_1100-181440*P_1109+181440*P_1114+181440*P_1143-181440*P_1565-181440*P_1633+181440*P_1647,
181440*P_1026+181440*P_1046+181440*P_1094+181440*P_1097-181440*P_1111-181440*P_1142+181440*P_1355+181440*P_1423-181440*P_1437,
-1088640*P_1025-1088640*P_1093+1088640*P_1107,
151200*P_568+151200*P_621-151200*P_655-151200*P_1564+151200*P_1584+151200*P_1593-151200*P_1596-151200*P_1650+151200*P_1681,
-151200*P_553-151200*P_567-151200*P_606-151200*P_618+151200*P_652+151200*P_654+151200*P_1354-151200*P_1374-151200*P_1383+151200*P_1386+151200*P_1440-151200*P_1471+151200*P_1561-151200*P_1578-151200*P_1583+151200*P_1595+151200*P_1635-151200*P_1680,
302400*P_552+302400*P_603-302400*P_651-302400*P_1351+302400*P_1368+302400*P_1373-302400*P_1385-302400*P_1425+302400*P_1470,
453600*P_532+453600*P_566+453600*P_605+453600*P_614-453600*P_619-453600*P_648-453600*P_1024+453600*P_1044+453600*P_1053-453600*P_1056-453600*P_1110+453600*P_1141-453600*P_1560+453600*P_1562+453600*P_1577-453600*P_1591-453600*P_1631+453600*P_1645,
-453600*P_531-453600*P_551-453600*P_599-453600*P_602+453600*P_616+453600*P_647+453600*P_1021-453600*P_1038-453600*P_1043+453600*P_1055+453600*P_1095-453600*P_1140+453600*P_1350-453600*P_1352-453600*P_1367+453600*P_1381+453600*P_1421-453600*P_1435,
1814400*P_530+1814400*P_598-1814400*P_612-1814400*P_1020+1814400*P_1022+1814400*P_1037-1814400*P_1051-1814400*P_1091+1814400*P_1105,
3628800*P_529-3628800*P_549-3628800*P_558+3628800*P_561+3628800*P_615-3628800*P_646-3628800*P_1558+3628800*P_1575-3628800*P_1589,
-3628800*P_526+3628800*P_543+3628800*P_548-3628800*P_560-3628800*P_600+3628800*P_645+3628800*P_1348-3628800*P_1365+3628800*P_1379,
7257600*P_525-7257600*P_527-7257600*P_542+7257600*P_556+7257600*P_596-7257600*P_610-7257600*P_1018+7257600*P_1035-7257600*P_1049,
65318400*P_523-65318400*P_540+65318400*P_554,
-120960*P_1393-120960*P_1446+120960*P_1480+60480*P_1588+60480*P_1602+60480*P_1641+60480*P_1653-60480*P_1687-60480*P_1689-181440*P_4093+181440*P_4113+181440*P_4167,
60480*P_1378+60480*P_1392+60480*P_1431+60480*P_1443-60480*P_1477-60480*P_1479-120960*P_1587-120960*P_1638+120960*P_1686+181440*P_4087-181440*P_4112-181440*P_4166,
120960*P_1063+120960*P_1116-120960*P_1150-60480*P_1567-60480*P_1601-60480*P_1640-60480*P_1649+60480*P_1654+60480*P_1683+181440*P_3631-181440*P_3651-181440*P_3705,
-120960*P_1048-120960*P_1062-120960*P_1101-120960*P_1113+120960*P_1147+120960*P_1149+60480*P_1357+60480*P_1391+60480*P_1430+60480*P_1439-60480*P_1444-60480*P_1473+60480*P_1566+60480*P_1586+60480*P_1634+60480*P_1637-60480*P_1651-60480*P_1682-181440*P_3421+181440*P_3441+181440*P_3495-181440*P_3625+181440*P_3650+181440*P_3704,
241920*P_1047+241920*P_1098-241920*P_1146-120960*P_1356-120960*P_1376-120960*P_1424-120960*P_1427+120960*P_1441+120960*P_1472+362880*P_3415-362880*P_3440-362880*P_3494,
-181440*P_1357-181440*P_1391-181440*P_1430-181440*P_1439+181440*P_1444+181440*P_1473+181440*P_1566+181440*P_1586+181440*P_1634+181440*P_1637-181440*P_1651-181440*P_1682+181440*P_3421-181440*P_3441-181440*P_3495-181440*P_3625+181440*P_3650+181440*P_3704-362880*P_4086+362880*P_4091+362880*P_4165,
181440*P_1027+181440*P_1061+181440*P_1100+181440*P_1109-181440*P_1114-181440*P_1143-362880*P_1565-362880*P_1633+362880*P_1647+544320*P_3624-544320*P_3629-544320*P_3703,
-181440*P_1026-181440*P_1046-181440*P_1094-181440*P_1097+181440*P_1111+181440*P_1142+362880*P_1355+362880*P_1423-362880*P_1437-544320*P_3414+544320*P_3419+544320*P_3493,
-241920*P_568-241920*P_621+241920*P_655-120960*P_1564+120960*P_1584+120960*P_1593-120960*P_1596-120960*P_1650+120960*P_1681-362880*P_2839+362880*P_2859+362880*P_2913,
241920*P_553+241920*P_567+241920*P_606+241920*P_618-241920*P_652-241920*P_654+120960*P_1354-120960*P_1374-120960*P_1383+120960*P_1386+120960*P_1440-120960*P_1471+120960*P_1561-120960*P_1578-120960*P_1583+120960*P_1595+120960*P_1635-120960*P_1680+362880*P_2629-362880*P_2649-362880*P_2703+362880*P_2833-362880*P_2858-362880*P_2912,
-483840*P_552-483840*P_603+483840*P_651-241920*P_1351+241920*P_1368+241920*P_1373-241920*P_1385-241920*P_1425+241920*P_1470-725760*P_2623+725760*P_2648+725760*P_2702,
-725760*P_532-725760*P_566-725760*P_605-725760*P_614+725760*P_619+725760*P_648-362880*P_1024+362880*P_1044+362880*P_1053-362880*P_1056-362880*P_1110+362880*P_1141-362880*P_1560+362880*P_1562+362880*P_1577-362880*P_1591-362880*P_1631+362880*P_1645-1088640*P_2299+1088640*P_2319+1088640*P_2373-1088640*P_2832+1088640*P_2837+1088640*P_2911,
725760*P_531+725760*P_551+725760*P_599+725760*P_602-725760*P_616-725760*P_647+362880*P_1021-362880*P_1038-362880*P_1043+362880*P_1055+362880*P_1095-362880*P_1140+362880*P_1350-362880*P_1352-362880*P_1367+362880*P_1381+362880*P_1421-362880*P_1435+1088640*P_2293-1088640*P_2318-1088640*P_2372+1088640*P_2622-1088640*P_2627-1088640*P_2701,
-2903040*P_530-2903040*P_598+2903040*P_612-1451520*P_1020+1451520*P_1022+1451520*P_1037-1451520*P_1051-1451520*P_1091+1451520*P_1105-4354560*P_2292+4354560*P_2297+4354560*P_2371,
-725760*P_1354+725760*P_1374+725760*P_1383-725760*P_1386-725760*P_1440+725760*P_1471+725760*P_1561-725760*P_1578-725760*P_1583+725760*P_1595+725760*P_1635-725760*P_1680-725760*P_2629+725760*P_2649+725760*P_2703+725760*P_2833-725760*P_2858-725760*P_2912-1451520*P_4084+1451520*P_4089-1451520*P_4109,
725760*P_1024-725760*P_1044-725760*P_1053+725760*P_1056+725760*P_1110-725760*P_1141-725760*P_1560+725760*P_1562+725760*P_1577-725760*P_1591-725760*P_1631+725760*P_1645+725760*P_2299-725760*P_2319-725760*P_2373-725760*P_2832+725760*P_2837+725760*P_2911+1451520*P_3622-1451520*P_3627+1451520*P_3647,
-725760*P_1021+725760*P_1038+725760*P_1043-725760*P_1055-725760*P_1095+725760*P_1140+725760*P_1350-725760*P_1352-725760*P_1367+725760*P_1381+725760*P_1421-725760*P_1435-725760*P_2293+725760*P_2318+725760*P_2372+725760*P_2622-725760*P_2627-725760*P_2701-1451520*P_3412+1451520*P_3417-1451520*P_3437,
-1451520*P_529+1451520*P_549+1451520*P_558-1451520*P_561-1451520*P_615+1451520*P_646-2903040*P_1558+2903040*P_1575-2903040*P_1589-4354560*P_2830+4354560*P_2835-4354560*P_2855,
1451520*P_526-1451520*P_543-1451520*P_548+1451520*P_560+1451520*P_600-1451520*P_645+2903040*P_1348-2903040*P_1365+2903040*P_1379+4354560*P_2620-4354560*P_2625+4354560*P_2645,
-2903040*P_525+2903040*P_527+2903040*P_542-2903040*P_556-2903040*P_596+2903040*P_610-5806080*P_1018+5806080*P_1035-5806080*P_1049-8709120*P_2290+8709120*P_2295-8709120*P_2315,
1814400*P_1552-1814400*P_1572-1814400*P_1626,
-1814400*P_1342+1814400*P_1362+1814400*P_1416-1814400*P_1546+1814400*P_1571+1814400*P_1625,
3628800*P_1336-3628800*P_1361-3628800*P_1415,
5443200*P_1012-5443200*P_1032-5443200*P_1086+5443200*P_1545-5443200*P_1550-5443200*P_1624,
-5443200*P_1006+5443200*P_1031+5443200*P_1085-5443200*P_1335+5443200*P_1340+5443200*P_1414,
21772800*P_1005-21772800*P_1010-21772800*P_1084,
-21772800*P_517+21772800*P_537+21772800*P_591+21772800*P_1543-21772800*P_1548+21772800*P_1568,
21772800*P_511-21772800*P_536-21772800*P_590-21772800*P_1333+21772800*P_1338-21772800*P_1358,
-43545600*P_510+43545600*P_515+43545600*P_589+43545600*P_1003-43545600*P_1008+43545600*P_1028,
-261273600*P_508+261273600*P_513-261273600*P_533,
10886400*P_1342-10886400*P_1362-10886400*P_1416-10886400*P_1546+10886400*P_1571+10886400*P_1625+21772800*P_4081,
-10886400*P_1012+10886400*P_1032+10886400*P_1086+10886400*P_1545-10886400*P_1550-10886400*P_1624-21772800*P_3619,
10886400*P_1006-10886400*P_1031-10886400*P_1085-10886400*P_1335+10886400*P_1340+10886400*P_1414+21772800*P_3409,
21772800*P_517-21772800*P_537-21772800*P_591+21772800*P_1543-21772800*P_1548+21772800*P_1568+43545600*P_2827,
-21772800*P_511+21772800*P_536+21772800*P_590-21772800*P_1333+21772800*P_1338-21772800*P_1358-43545600*P_2617,
43545600*P_510-43545600*P_515-43545600*P_589+43545600*P_1003-43545600*P_1008+43545600*P_1028+87091200*P_2287,
-326592000*P_1540,
326592000*P_1330,
-653184000*P_1000,
1959552000*P_505,
1120*P_1749-1120*P_3021-448*P_3602-224*P_3792-224*P_3809+896*P_3811+224*P_4219+224*P_4265-896*P_4272,
-1120*P_1539-1120*P_1748+1120*P_2811+1120*P_3001+672*P_3582+672*P_3599-448*P_3601+448*P_3789-672*P_3791-672*P_3808-224*P_4216-224*P_4218-224*P_4245+896*P_4252-224*P_4264+896*P_4269,
2240*P_1538-2240*P_2791-1792*P_3579+448*P_3581+448*P_3598+896*P_3788+448*P_4215+448*P_4244-1792*P_4249,
3360*P_1209+3360*P_1744-3360*P_2481-3360*P_2966-2016*P_3547-2016*P_3593+1344*P_3600-672*P_3754+2688*P_3756-672*P_3783-672*P_3790+2688*P_3802-672*P_3807+1344*P_4210-2016*P_4217-2016*P_4263,
-3360*P_1208-3360*P_1534+3360*P_2461+3360*P_2756+2688*P_3544-672*P_3546+2688*P_3573-672*P_3580-672*P_3592-672*P_3597-2016*P_3753-2016*P_3782+1344*P_3787-1344*P_4209+2016*P_4214+2016*P_4243,
13440*P_1204-13440*P_2426-10752*P_3538+2688*P_3545+2688*P_3591+10752*P_3747-2688*P_3752-2688*P_3781-5376*P_4208,
-1120*P_1747+448*P_2810+224*P_3000-896*P_3017+224*P_3019-1120*P_3806-224*P_4163+224*P_4262+896*P_4267,
1120*P_1537+1120*P_1746-672*P_2790+448*P_2807-672*P_2809+672*P_2997-448*P_2999+672*P_3016+1120*P_3596+1120*P_3786+224*P_4160+224*P_4162-224*P_4242-896*P_4247-224*P_4259-896*P_4266,
-2240*P_1536-448*P_2787+1792*P_2789-448*P_2806-896*P_2996-2240*P_3576-448*P_4159+448*P_4239+1792*P_4246,
1120*P_1743-448*P_2480-224*P_2965+896*P_3011-224*P_3018+224*P_3701+896*P_3800+224*P_3805-1120*P_4261,
-1120*P_1533-1120*P_1740-1120*P_1742+448*P_2460+448*P_2477+448*P_2479+224*P_2755-896*P_2801+224*P_2808+224*P_2962+224*P_2964-896*P_2991+224*P_2998-896*P_3010+224*P_3015-224*P_3491-896*P_3590-224*P_3595-224*P_3698-224*P_3700-896*P_3780-224*P_3785-896*P_3797-224*P_3804+1120*P_4241+1120*P_4258+1120*P_4260,
2240*P_1530+2240*P_1532+2240*P_1739-896*P_2457-896*P_2459-896*P_2476-448*P_2752-448*P_2754+1792*P_2781-448*P_2788+1792*P_2800-448*P_2805-448*P_2961+1792*P_2990-448*P_2995+448*P_3488+448*P_3490+1792*P_3570+448*P_3575+1792*P_3587+448*P_3594+448*P_3697+1792*P_3777+448*P_3784-2240*P_4238-2240*P_4240-2240*P_4257,
-6720*P_1529+2688*P_2456+1344*P_2751-5376*P_2780+1344*P_2785-1344*P_3487-5376*P_3567-1344*P_3574+6720*P_4237,
-3360*P_1207-1120*P_1533+2240*P_1740-1120*P_1742-3360*P_1745+1120*P_2460-2240*P_2477+1120*P_2479+1568*P_2755+448*P_2801+1568*P_2808-2464*P_2962+896*P_2964-224*P_2991+896*P_2998-224*P_3010-2464*P_3015+448*P_3491-1568*P_3590-2912*P_3595-224*P_3698-224*P_3700-3360*P_3751-896*P_3780-224*P_3785+2464*P_3797+3136*P_3804-672*P_4154-672*P_4161+672*P_4207+2688*P_4212+1120*P_4241-1568*P_4258+448*P_4260,
3360*P_1206-1120*P_1530+2240*P_1532+3360*P_1535-1120*P_1739+1120*P_2457-2240*P_2459+1120*P_2476+896*P_2752-2464*P_2754-224*P_2781-2464*P_2788-224*P_2800+896*P_2805+1568*P_2961+448*P_2990+1568*P_2995-224*P_3488-224*P_3490+3360*P_3541+2464*P_3570+3136*P_3575-896*P_3587-224*P_3594+448*P_3697-1568*P_3777-2912*P_3784+672*P_4153+672*P_4158-672*P_4204-2688*P_4211+448*P_4238-1568*P_4240+1120*P_4257,
4480*P_1203+4480*P_1741-2688*P_2425+1792*P_2471-2688*P_2478+2688*P_2956-1792*P_2963+2688*P_3009+4480*P_3589+896*P_3692+896*P_3699+3584*P_3745+896*P_3750-896*P_3796-3584*P_3798-4480*P_4206,
-4480*P_1200-4480*P_1202-4480*P_1531-4480*P_1738+2688*P_2422+2688*P_2424-1792*P_2451+2688*P_2458-1792*P_2470+2688*P_2475-2688*P_2746+1792*P_2753-2688*P_2799-2688*P_2955+1792*P_2960-2688*P_2989-896*P_3482-896*P_3489-3584*P_3535-896*P_3540-4480*P_3569-3584*P_3586-896*P_3588-896*P_3691-896*P_3696-3584*P_3742-896*P_3749+896*P_3776+3584*P_3778+4480*P_3795+4480*P_4203+4480*P_4205,
8960*P_1199+8960*P_1528-5376*P_2421+3584*P_2450-5376*P_2455+5376*P_2745-3584*P_2750+5376*P_2779+1792*P_3481+1792*P_3486+7168*P_3532+1792*P_3539+7168*P_3566+1792*P_3568-8960*P_3775-8960*P_4202,
6720*P_1200-6720*P_1202-13440*P_1205-6720*P_1531+6720*P_1738-6720*P_2422+6720*P_2424+6720*P_2458-6720*P_2475+1344*P_2746+8064*P_2753+1344*P_2799-1344*P_2955-8064*P_2960-1344*P_2989+1344*P_3482+1344*P_3489-8064*P_3535-12096*P_3540-6720*P_3569+5376*P_3586+1344*P_3588-1344*P_3691-1344*P_3696+8064*P_3742+12096*P_3749+1344*P_3776+5376*P_3778-6720*P_3795-2688*P_4152-4032*P_4203+4032*P_4205,
26880*P_1201+5376*P_2416-21504*P_2423+5376*P_2469+10752*P_2954+26880*P_3534+5376*P_3690-5376*P_3741-21504*P_3743,
-26880*P_1198-5376*P_2415+21504*P_2420-5376*P_2449-10752*P_2744-5376*P_3480-21504*P_3531-5376*P_3533+26880*P_3740,
-13440*P_714-3360*P_1207+3360*P_1533+6720*P_1740-10080*P_1742+10080*P_1745-3360*P_2460-6720*P_2477+10080*P_2479+3360*P_2755+6720*P_2801-10080*P_2808+13440*P_2910-3360*P_2962+3360*P_2991-10080*P_3010+10080*P_3015+6720*P_3491-3360*P_3590+3360*P_3595+3360*P_3698-10080*P_3700-3360*P_3751+3360*P_3785+3360*P_3797-6720*P_3804-3360*P_4154+10080*P_4161+3360*P_4207-3360*P_4241-3360*P_4258+6720*P_4260,
13440*P_713+3360*P_1206-10080*P_1530+6720*P_1532-10080*P_1535+3360*P_1739+10080*P_2457-6720*P_2459-3360*P_2476-13440*P_2700-3360*P_2754-10080*P_2781+10080*P_2788+3360*P_2800+3360*P_2961+6720*P_2990-10080*P_2995-10080*P_3488+3360*P_3490+3360*P_3541+3360*P_3570-6720*P_3575+3360*P_3594+6720*P_3697-3360*P_3777+3360*P_3784+3360*P_4153-10080*P_4158-3360*P_4204+6720*P_4238-3360*P_4240-3360*P_4257,
-26880*P_709+20160*P_1200-20160*P_1202+13440*P_1205+6720*P_1531-6720*P_1738+26880*P_2370-20160*P_2422+20160*P_2424-6720*P_2458+6720*P_2475+20160*P_2746-13440*P_2753-6720*P_2799-20160*P_2955+13440*P_2960+6720*P_2989+20160*P_3482-6720*P_3489-13440*P_3535+6720*P_3540+6720*P_3569-6720*P_3588-20160*P_3691+6720*P_3696+13440*P_3742-6720*P_3749-6720*P_3776+6720*P_3795+13440*P_4152-6720*P_4203+6720*P_4205,
16800*P_712+16800*P_1737-16800*P_2474-10080*P_2699+10080*P_2798+6720*P_2803+13440*P_2906-3360*P_2908+3360*P_2988-3360*P_2993-13440*P_3005-3360*P_3012+16800*P_3695-6720*P_4151-10080*P_4156-10080*P_4256,
-16800*P_711-16800*P_1527+16800*P_2454-3360*P_2696+13440*P_2698-13440*P_2778-3360*P_2783+3360*P_2795-3360*P_2802-10080*P_2905+10080*P_2985+6720*P_2992-16800*P_3485+6720*P_4148+10080*P_4155+10080*P_4236,
-16800*P_708-16800*P_1736+10080*P_2369+6720*P_2468+10080*P_2473-16800*P_2797-13440*P_2900+3360*P_2907-3360*P_2953+3360*P_2958+13440*P_3004+3360*P_3006-10080*P_3689-6720*P_3694+10080*P_3794+16800*P_4150,
16800*P_705+16800*P_707+16800*P_1526+16800*P_1735-10080*P_2366-10080*P_2368-6720*P_2448-10080*P_2453-6720*P_2465-10080*P_2472+13440*P_2690-3360*P_2697+3360*P_2743-3360*P_2748+16800*P_2777+3360*P_2794+13440*P_2796+13440*P_2899-3360*P_2904+3360*P_2950-3360*P_2957-13440*P_2984-3360*P_2986-16800*P_3003+10080*P_3479+6720*P_3484-10080*P_3584+10080*P_3686+6720*P_3693-10080*P_3774-16800*P_4147-16800*P_4149,
-33600*P_704-33600*P_1525+20160*P_2365+13440*P_2445+20160*P_2452-26880*P_2689+6720*P_2694-6720*P_2740+6720*P_2747-6720*P_2774-26880*P_2776+33600*P_2983-20160*P_3476-13440*P_3483+20160*P_3564+33600*P_4146,
-16800*P_705+16800*P_707+33600*P_710+33600*P_1197+16800*P_1526-16800*P_1735+16800*P_2366-16800*P_2368-33600*P_2419-16800*P_2453+16800*P_2472-6720*P_2690-23520*P_2697+23520*P_2743+10080*P_2748+16800*P_2777-10080*P_2794-6720*P_2796+6720*P_2899+23520*P_2904-23520*P_2950-10080*P_2957-6720*P_2984-10080*P_2986+16800*P_3003+23520*P_3479+26880*P_3484+10080*P_3584-23520*P_3686-26880*P_3693-10080*P_3774+3360*P_4147-3360*P_4149-20160*P_4201,
-50400*P_706-50400*P_1196-10080*P_2360+40320*P_2367+10080*P_2413+40320*P_2418+10080*P_2464-10080*P_2466-50400*P_2742-30240*P_2898+30240*P_2949+20160*P_2951-50400*P_3478+20160*P_3685+30240*P_3687+30240*P_3739,
50400*P_703+50400*P_1195+10080*P_2359-40320*P_2364-10080*P_2410-40320*P_2417-10080*P_2444+10080*P_2446+30240*P_2688+20160*P_2739+30240*P_2741-50400*P_2948+30240*P_3475+20160*P_3477-30240*P_3529-50400*P_3684,
-107520*P_705+107520*P_707-107520*P_710+53760*P_1197-53760*P_1526+53760*P_1735+107520*P_2366-107520*P_2368-53760*P_2419+53760*P_2453-53760*P_2472-107520*P_2690+107520*P_2697+53760*P_2743-53760*P_2777+53760*P_2796+107520*P_2899-107520*P_2904-53760*P_2950+53760*P_2984-53760*P_3003+53760*P_3479-53760*P_3484-53760*P_3686+53760*P_3693+53760*P_4147-53760*P_4149,
-268800*P_702+268800*P_2363-215040*P_2687-53760*P_2692-53760*P_2792+215040*P_2894+53760*P_2901+53760*P_2982+107520*P_4145,
268800*P_701-53760*P_2357-215040*P_2362+53760*P_2462+268800*P_2686-215040*P_2893-53760*P_2895-53760*P_2947-107520*P_3683,
-268800*P_700+53760*P_2354+215040*P_2361-53760*P_2442-53760*P_2683-215040*P_2685+53760*P_2737+268800*P_2892+107520*P_3473,
-896*P_1523+1792*P_1713-448*P_1730-448*P_1732-2240*P_2981-2240*P_3770+448*P_4144+448*P_4197+1792*P_4231,
-896*P_1503+1344*P_1520+1344*P_1522-1344*P_1710-1344*P_1712+896*P_1729+2240*P_2771+2240*P_2980+2240*P_3560+2240*P_3767-448*P_4129-448*P_4143-448*P_4182-448*P_4194-1792*P_4228-1792*P_4230,
896*P_1500+896*P_1502-3584*P_1519+1792*P_1709-4480*P_2770-4480*P_3557+896*P_4128+896*P_4179+3584*P_4227,
896*P_1193-1792*P_1678+448*P_1724+448*P_1731+2240*P_2946-448*P_3682+1792*P_3735+448*P_3769-2240*P_4196,
-896*P_1173-896*P_1190-896*P_1192+1792*P_1468-448*P_1514-448*P_1521+1792*P_1675+1792*P_1677-448*P_1704-448*P_1711-448*P_1723-448*P_1728-2240*P_2736-2240*P_2931-2240*P_2945+448*P_3472-1792*P_3525-448*P_3559+448*P_3667+448*P_3681-1792*P_3720-1792*P_3732-448*P_3766-448*P_3768+2240*P_4181+2240*P_4193+2240*P_4195,
1792*P_1170+1792*P_1172+1792*P_1189-3584*P_1465-3584*P_1467+896*P_1494+896*P_1501+896*P_1513+896*P_1518-3584*P_1674+896*P_1703+896*P_1708+4480*P_2721+4480*P_2735+4480*P_2930-896*P_3457-896*P_3471+3584*P_3510+3584*P_3522+896*P_3556+896*P_3558-896*P_3666+3584*P_3717+896*P_3765-4480*P_4178-4480*P_4180-4480*P_4192,
-5376*P_1169+10752*P_1464-2688*P_1493-2688*P_1498-13440*P_2720+2688*P_3456-10752*P_3507-2688*P_3555+13440*P_4177,
4480*P_1173-2240*P_1190-2240*P_1192-896*P_1468-3136*P_1514-3136*P_1521+448*P_1675+448*P_1677+4928*P_1704+4928*P_1711-1792*P_1723-1792*P_1728-6720*P_2441-2240*P_2736+4480*P_2931-2240*P_2945-6720*P_2979-896*P_3472-3136*P_3525-5824*P_3559+448*P_3667+448*P_3681+4928*P_3720-1792*P_3732-6720*P_3763-448*P_3766+6272*P_3768+1344*P_4108+1344*P_4142-3136*P_4181+1344*P_4190+2240*P_4193+896*P_4195+5376*P_4224,
-2240*P_1170-2240*P_1172+4480*P_1189+448*P_1465+448*P_1467-1792*P_1494-1792*P_1501+4928*P_1513+4928*P_1518-896*P_1674-3136*P_1703-3136*P_1708+6720*P_2440-2240*P_2721+4480*P_2735+6720*P_2769-2240*P_2930+448*P_3457+448*P_3471-1792*P_3510+4928*P_3522+6720*P_3553+6272*P_3556-448*P_3558-896*P_3666-3136*P_3717-5824*P_3765-1344*P_4107-1344*P_4127-1344*P_4175+896*P_4178+2240*P_4180-3136*P_4192-5376*P_4223,
-3584*P_1138+5376*P_1184+5376*P_1191-5376*P_1669-5376*P_1676+3584*P_1722+8960*P_2406+8960*P_2944+8960*P_3524-1792*P_3646-1792*P_3680-1792*P_3719+7168*P_3728-7168*P_3733+1792*P_3762-8960*P_4189,
3584*P_1135+3584*P_1137-5376*P_1164-5376*P_1171-5376*P_1183-5376*P_1188+5376*P_1459+5376*P_1466-3584*P_1512+5376*P_1668+5376*P_1673-3584*P_1702-8960*P_2391-8960*P_2405-8960*P_2734-8960*P_2929+1792*P_3436+1792*P_3470-7168*P_3509-7168*P_3518-8960*P_3521-1792*P_3523-1792*P_3552+1792*P_3645+1792*P_3665-7168*P_3713+1792*P_3716+8960*P_3718+7168*P_3730-1792*P_3761+8960*P_4174+8960*P_4188,
-7168*P_1134+10752*P_1163+10752*P_1168-10752*P_1458-10752*P_1463+7168*P_1492+17920*P_2390+17920*P_2719-3584*P_3435-3584*P_3455+14336*P_3503+14336*P_3506+3584*P_3520+3584*P_3551-17920*P_3715-17920*P_4173,
13440*P_1164+13440*P_1171-13440*P_1183-13440*P_1188-2688*P_1459-2688*P_1466-16128*P_1512+2688*P_1668+2688*P_1673+16128*P_1702+13440*P_2391-13440*P_2405-26880*P_2439-13440*P_2734+13440*P_2929-2688*P_3436-2688*P_3470+10752*P_3509-16128*P_3518-13440*P_3521+2688*P_3523-24192*P_3552+2688*P_3645+2688*P_3665+16128*P_3713+2688*P_3716-13440*P_3718+10752*P_3730+24192*P_3761+5376*P_4106-8064*P_4174+8064*P_4188,
-10752*P_1129-10752*P_1136+43008*P_1182-21504*P_1667+53760*P_2404+53760*P_3517-10752*P_3644-10752*P_3712-43008*P_3726,
10752*P_1128+10752*P_1133-43008*P_1162+21504*P_1457-53760*P_2389+10752*P_3434-43008*P_3502-10752*P_3516+53760*P_3711,
-1792*P_698+3584*P_1622+896*P_1721-896*P_1726-3584*P_2890+896*P_2943-896*P_2977-4480*P_3679+4480*P_4140,
1792*P_678+1792*P_695+1792*P_697-3584*P_1412-896*P_1511+896*P_1516-3584*P_1619-3584*P_1621-896*P_1701+896*P_1706-896*P_1718+896*P_1725+3584*P_2680-896*P_2733+896*P_2767+3584*P_2875+3584*P_2889-896*P_2928-896*P_2940+896*P_2974+896*P_2976+4480*P_3469+4480*P_3664+4480*P_3676-4480*P_4125-4480*P_4137-4480*P_4139,
-3584*P_675-3584*P_677-3584*P_694+7168*P_1409+7168*P_1411+1792*P_1491-1792*P_1496+1792*P_1508-1792*P_1515+7168*P_1618+1792*P_1698-1792*P_1705-7168*P_2665-7168*P_2679+1792*P_2718+1792*P_2730-1792*P_2764-1792*P_2766-7168*P_2874+1792*P_2925-1792*P_2973-8960*P_3454-8960*P_3466-8960*P_3661+8960*P_4122+8960*P_4124+8960*P_4136,
10752*P_674-21504*P_1408-5376*P_1488+5376*P_1495+21504*P_2664-5376*P_2715+5376*P_2763+26880*P_3451-26880*P_4121,
-7168*P_643-7168*P_689-7168*P_696+14336*P_1082+3584*P_1181-3584*P_1186+14336*P_1613+14336*P_1620+3584*P_1666-3584*P_1671+3584*P_1717-3584*P_1719-14336*P_2350+3584*P_2403-3584*P_2437-14336*P_2854-14336*P_2888+3584*P_2927+3584*P_2936-3584*P_2941-3584*P_2970-17920*P_3468-17920*P_3643-17920*P_3672+17920*P_3677+17920*P_4104+17920*P_4133,
7168*P_640+7168*P_642+7168*P_669+7168*P_676+7168*P_688+7168*P_693-14336*P_1079-14336*P_1081-3584*P_1161+3584*P_1166-3584*P_1178+3584*P_1185-14336*P_1403-14336*P_1410-3584*P_1456+3584*P_1461-3584*P_1507+3584*P_1509-14336*P_1612-14336*P_1617-3584*P_1663+3584*P_1670-3584*P_1697+3584*P_1699+14336*P_2335+14336*P_2349-3584*P_2388-3584*P_2400+3584*P_2434+3584*P_2436+14336*P_2644+14336*P_2678-3584*P_2717-3584*P_2726+3584*P_2731+3584*P_2760+14336*P_2853+14336*P_2873-3584*P_2921-3584*P_2924+3584*P_2938+3584*P_2969+17920*P_3433+17920*P_3453+17920*P_3462+17920*P_3465+17920*P_3640+17920*P_3657-17920*P_3662-17920*P_3674-17920*P_4101-17920*P_4103-17920*P_4118-17920*P_4132,
-14336*P_639-14336*P_668-14336*P_673+28672*P_1078+7168*P_1158-7168*P_1165+28672*P_1402+28672*P_1407+7168*P_1453-7168*P_1460+7168*P_1487-7168*P_1489-28672*P_2334+7168*P_2385-7168*P_2433-28672*P_2643-28672*P_2663+7168*P_2711+7168*P_2714-7168*P_2728-7168*P_2759-35840*P_3430-35840*P_3447-35840*P_3450+35840*P_3659+35840*P_4100+35840*P_4117,
-43008*P_634-43008*P_641-43008*P_687+86016*P_1073+86016*P_1080+21504*P_1126-21504*P_1131+21504*P_1177-21504*P_1179+86016*P_1611+21504*P_1662-21504*P_1664-86016*P_2314-86016*P_2348+21504*P_2387+21504*P_2396-21504*P_2401-21504*P_2430-86016*P_2852+21504*P_2920-21504*P_2934-107520*P_3432-107520*P_3461-107520*P_3636+107520*P_3641+107520*P_3670+107520*P_4097,
43008*P_633+43008*P_638+43008*P_667-86016*P_1072-86016*P_1077-21504*P_1123+21504*P_1130-21504*P_1157+21504*P_1159-86016*P_1401-21504*P_1452+21504*P_1454+86016*P_2313+86016*P_2333-21504*P_2381-21504*P_2384+21504*P_2398+21504*P_2429+86016*P_2642-21504*P_2710+21504*P_2724+107520*P_3426+107520*P_3429+107520*P_3446-107520*P_3638-107520*P_3655-107520*P_4096,
-258048*P_632+516096*P_1071+129024*P_1122-129024*P_1124-516096*P_2312+129024*P_2380-129024*P_2394-645120*P_3425+645120*P_3634,
-22400*P_678+11200*P_695+11200*P_697+4480*P_1412-15680*P_1511+15680*P_1516-2240*P_1619-2240*P_1621+24640*P_1701-24640*P_1706-8960*P_1718+8960*P_1725-33600*P_2438+15680*P_2680+4480*P_2733+29120*P_2767-24640*P_2875+8960*P_2889-2240*P_2928-2240*P_2940+33600*P_2971-31360*P_2974+2240*P_2976+11200*P_3469-22400*P_3664+11200*P_3676-33600*P_3764+6720*P_4105+15680*P_4125-6720*P_4134-4480*P_4137-11200*P_4139+6720*P_4191+26880*P_4222,
11200*P_675+11200*P_677-22400*P_694-2240*P_1409-2240*P_1411-8960*P_1491+8960*P_1496+24640*P_1508-24640*P_1515+4480*P_1618-15680*P_1698+15680*P_1705+33600*P_2435+8960*P_2665-24640*P_2679-2240*P_2718-2240*P_2730-33600*P_2761+2240*P_2764-31360*P_2766+15680*P_2874+4480*P_2925+29120*P_2973+11200*P_3454-22400*P_3466+33600*P_3554+11200*P_3661-6720*P_4102+6720*P_4119-11200*P_4122-4480*P_4124+15680*P_4136-6720*P_4176-26880*P_4221,
22400*P_643-11200*P_689-11200*P_696-4480*P_1082+15680*P_1181-15680*P_1186+2240*P_1613+2240*P_1620-24640*P_1666+24640*P_1671+8960*P_1717-8960*P_1719-15680*P_2350+29120*P_2403+4480*P_2437-33600*P_2732+24640*P_2854-8960*P_2888+2240*P_2927-31360*P_2936+33600*P_2939-2240*P_2941-2240*P_2970-11200*P_3468+15680*P_3643+6720*P_3663-4480*P_3672-6720*P_3675+11200*P_3677+26880*P_3729+6720*P_3760-22400*P_4104+11200*P_4133-33600*P_4187,
-22400*P_640-22400*P_642+11200*P_669+11200*P_676+11200*P_688+11200*P_693+4480*P_1079+4480*P_1081-15680*P_1161+15680*P_1166-15680*P_1178+15680*P_1185-2240*P_1403-2240*P_1410+24640*P_1456-24640*P_1461-8960*P_1507+8960*P_1509-2240*P_1612-2240*P_1617+24640*P_1663-24640*P_1670-8960*P_1697+8960*P_1699+15680*P_2335+15680*P_2349-29120*P_2388-29120*P_2400-4480*P_2434-4480*P_2436-24640*P_2644+8960*P_2678+31360*P_2717+31360*P_2726+35840*P_2731+2240*P_2760-24640*P_2853+8960*P_2873+31360*P_2921-35840*P_2924-31360*P_2938+2240*P_2969-15680*P_3433+4480*P_3453+4480*P_3462+17920*P_3465-26880*P_3519-6720*P_3550-15680*P_3640+4480*P_3657-17920*P_3662-4480*P_3674-26880*P_3714-6720*P_3759+22400*P_4101+22400*P_4103-11200*P_4118-11200*P_4132+33600*P_4172+33600*P_4186,
44800*P_639-22400*P_668-22400*P_673-8960*P_1078+31360*P_1158-31360*P_1165+4480*P_1402+4480*P_1407-49280*P_1453+49280*P_1460+17920*P_1487-17920*P_1489-31360*P_2334+58240*P_2385+8960*P_2433+49280*P_2643-17920*P_2663-62720*P_2711+4480*P_2714-67200*P_2716-4480*P_2728-4480*P_2759+67200*P_2923+31360*P_3430-8960*P_3447-22400*P_3450+13440*P_3452-13440*P_3464+53760*P_3504+13440*P_3549+22400*P_3659-44800*P_4100+22400*P_4117-67200*P_4171,
-33600*P_669-33600*P_676+33600*P_688+33600*P_693+33600*P_1161-33600*P_1166-33600*P_1178+33600*P_1185+6720*P_1403+6720*P_1410-6720*P_1456+6720*P_1461-40320*P_1507+40320*P_1509-6720*P_1612-6720*P_1617+6720*P_1663-6720*P_1670+40320*P_1697-40320*P_1699-33600*P_2335+33600*P_2349+33600*P_2388-33600*P_2400-67200*P_2434+67200*P_2436+6720*P_2644+40320*P_2678-26880*P_2717+40320*P_2726+26880*P_2731+60480*P_2760-6720*P_2853-40320*P_2873-40320*P_2921+26880*P_2924-26880*P_2938-60480*P_2969-6720*P_3433-26880*P_3453+40320*P_3462+26880*P_3465-40320*P_3519-60480*P_3550+6720*P_3640-40320*P_3657+26880*P_3662-26880*P_3674+40320*P_3714+60480*P_3759+13440*P_4101-13440*P_4103+20160*P_4118-20160*P_4132-20160*P_4172+20160*P_4186,
33600*P_634+33600*P_641-67200*P_687-6720*P_1073-6720*P_1080-26880*P_1126+26880*P_1131+73920*P_1177-73920*P_1179+13440*P_1611-47040*P_1662+47040*P_1664+26880*P_2314-73920*P_2348-6720*P_2387-6720*P_2396+100800*P_2399-94080*P_2401+6720*P_2430-100800*P_2725+47040*P_2852+13440*P_2920+87360*P_2934+33600*P_3432-67200*P_3461+100800*P_3515+33600*P_3636-20160*P_3639-13440*P_3641+20160*P_3656+47040*P_3670-20160*P_3710-80640*P_3724-33600*P_4097,
-33600*P_633-33600*P_638+67200*P_667+6720*P_1072+6720*P_1077+26880*P_1123-26880*P_1130-73920*P_1157+73920*P_1159-13440*P_1401+47040*P_1452-47040*P_1454-26880*P_2313+73920*P_2333+6720*P_2381-94080*P_2384+100800*P_2386-6720*P_2398-6720*P_2429-47040*P_2642+87360*P_2710+13440*P_2724-100800*P_2919-33600*P_3426-13440*P_3429-20160*P_3431+47040*P_3446+20160*P_3460-80640*P_3500-20160*P_3514+33600*P_3638-67200*P_3655+100800*P_3709+33600*P_4096,
-35840*P_587-53760*P_686+53760*P_691+53760*P_1610-53760*P_1615+35840*P_1715-89600*P_2347+89600*P_2676+17920*P_2851-17920*P_2871+71680*P_2880-71680*P_2883+17920*P_2937-17920*P_2968-89600*P_3673+89600*P_4131,
35840*P_584+35840*P_586+53760*P_666-53760*P_671+53760*P_683-53760*P_690-53760*P_1400+53760*P_1405-35840*P_1505-53760*P_1607+53760*P_1614-35840*P_1695+89600*P_2332+89600*P_2344-17920*P_2641-71680*P_2661-71680*P_2670-17920*P_2673-89600*P_2675-17920*P_2727+17920*P_2758-17920*P_2848-71680*P_2865+89600*P_2868+17920*P_2870+71680*P_2882-17920*P_2922+17920*P_2967+89600*P_3463+89600*P_3658-89600*P_4116-89600*P_4130,
-71680*P_583-107520*P_663+107520*P_670+107520*P_1397-107520*P_1404+71680*P_1485-179200*P_2329+35840*P_2638+143360*P_2655+143360*P_2660+35840*P_2672+35840*P_2712-35840*P_2757-179200*P_2867-179200*P_3448+179200*P_4115,
-107520*P_578-107520*P_585-161280*P_631+161280*P_636-161280*P_682+161280*P_684+161280*P_1070-161280*P_1075+107520*P_1175+161280*P_1606-161280*P_1608+107520*P_1660-215040*P_2311-53760*P_2331-53760*P_2340-215040*P_2343+268800*P_2345+53760*P_2397-53760*P_2428+268800*P_2640+268800*P_2669+268800*P_2844-215040*P_2847-53760*P_2849-53760*P_2864-215040*P_2878+53760*P_2918-53760*P_2932-268800*P_3459-268800*P_3637+268800*P_3668+268800*P_4095,
107520*P_577+107520*P_582+161280*P_628-161280*P_635+161280*P_662-161280*P_664-161280*P_1067+161280*P_1074-107520*P_1155-161280*P_1396+161280*P_1398-107520*P_1450+215040*P_2308+53760*P_2325+268800*P_2328-215040*P_2330-53760*P_2342-53760*P_2382+53760*P_2427-268800*P_2634-53760*P_2637-215040*P_2639-215040*P_2654-53760*P_2668-53760*P_2708+53760*P_2722+268800*P_2846+268800*P_2863+268800*P_3427+268800*P_3444-268800*P_3653-268800*P_4094,
-430080*P_576-645120*P_627+645120*P_629+645120*P_1066-645120*P_1068+430080*P_1120-860160*P_2307+860160*P_2309-215040*P_2324+215040*P_2338+215040*P_2378-215040*P_2392+1075200*P_2633-1075200*P_2842-1075200*P_3423+1075200*P_3632,
-268800*P_666+268800*P_671+268800*P_683-268800*P_690+53760*P_1400-53760*P_1405-322560*P_1505-53760*P_1607+53760*P_1614+322560*P_1695-268800*P_2332+268800*P_2344-537600*P_2432+53760*P_2641+215040*P_2661-322560*P_2670+53760*P_2673-268800*P_2675+53760*P_2727+483840*P_2758-53760*P_2848+322560*P_2865-268800*P_2868+53760*P_2870+215040*P_2882-53760*P_2922-483840*P_2967+268800*P_3463-268800*P_3658+107520*P_4099+161280*P_4116-161280*P_4130,
268800*P_631-268800*P_636-268800*P_682+268800*P_684-53760*P_1070+53760*P_1075+322560*P_1175+53760*P_1606-53760*P_1608-322560*P_1660+215040*P_2311+53760*P_2331+53760*P_2340-322560*P_2343+268800*P_2345+483840*P_2397+53760*P_2428-268800*P_2640+268800*P_2669-537600*P_2723-268800*P_2844+322560*P_2847-53760*P_2849-53760*P_2864-215040*P_2878+53760*P_2918+483840*P_2932-268800*P_3459+161280*P_3637+107520*P_3654+161280*P_3668-268800*P_4095,
-268800*P_628+268800*P_635+268800*P_662-268800*P_664+53760*P_1067-53760*P_1074-322560*P_1155-53760*P_1396+53760*P_1398+322560*P_1450-215040*P_2308-53760*P_2325+268800*P_2328-322560*P_2330+53760*P_2342-483840*P_2382-53760*P_2427+268800*P_2634-53760*P_2637+322560*P_2639-215040*P_2654-53760*P_2668+483840*P_2708+53760*P_2722-268800*P_2846+268800*P_2863-537600*P_2917-161280*P_3427+161280*P_3444+107520*P_3458-268800*P_3653+268800*P_4094,
-430080*P_575+430080*P_580-1720320*P_680+860160*P_1604-2150400*P_2341+2150400*P_2667+430080*P_2845-430080*P_2862-1720320*P_2876,
430080*P_572-430080*P_579+1720320*P_660-860160*P_1394+2150400*P_2326-430080*P_2635-1720320*P_2652-430080*P_2666+2150400*P_2861,
-860160*P_571+860160*P_573-3440640*P_625+1720320*P_1064-3440640*P_2305-860160*P_2322+860160*P_2336+4300800*P_2631-4300800*P_2840,
80640*P_699+40320*P_1173+20160*P_1190-60480*P_1192-40320*P_1468-20160*P_1514+60480*P_1521-80640*P_1623-20160*P_1675+60480*P_1677+20160*P_1704-60480*P_1711-20160*P_2441+20160*P_2736+40320*P_2931-60480*P_2945+60480*P_2979-40320*P_3472-20160*P_3525+20160*P_3559-20160*P_3667+60480*P_3681+20160*P_3720-20160*P_3763+20160*P_3766-40320*P_3768+20160*P_4108-60480*P_4142-20160*P_4181+20160*P_4190-20160*P_4193+40320*P_4195,
-80640*P_679-60480*P_1170+20160*P_1172+40320*P_1189+80640*P_1413+60480*P_1465-20160*P_1467+20160*P_1513-60480*P_1518-40320*P_1674-20160*P_1703+60480*P_1708+20160*P_2440-60480*P_2721+40320*P_2735-60480*P_2769+20160*P_2930+60480*P_3457-20160*P_3471+20160*P_3522+20160*P_3553-40320*P_3556+20160*P_3558-40320*P_3666-20160*P_3717+20160*P_3765-20160*P_4107+60480*P_4127-20160*P_4175+40320*P_4178-20160*P_4180-20160*P_4192,
161280*P_644-161280*P_1083+120960*P_1164-40320*P_1171-120960*P_1183+40320*P_1188-120960*P_1459+40320*P_1466+80640*P_1512+120960*P_1668-40320*P_1673-80640*P_1702+120960*P_2391-120960*P_2405+80640*P_2439+40320*P_2734-40320*P_2929-120960*P_3436+40320*P_3470-80640*P_3518+40320*P_3521-40320*P_3523+40320*P_3552+120960*P_3645-40320*P_3665+80640*P_3713-40320*P_3716+40320*P_3718-40320*P_3761-80640*P_4106-40320*P_4174+40320*P_4188,
-40320*P_678+60480*P_695-20160*P_697+80640*P_1187+40320*P_1412-20160*P_1511-60480*P_1516-60480*P_1619+20160*P_1621-80640*P_1672+20160*P_1701+60480*P_1706-20160*P_2438+20160*P_2680+40320*P_2733-20160*P_2767-20160*P_2875+20160*P_2928-60480*P_2940+20160*P_2971+40320*P_2974-20160*P_2976-20160*P_3469-40320*P_3664+60480*P_3676+60480*P_3764+20160*P_4105+20160*P_4125-20160*P_4134-40320*P_4137+20160*P_4139-60480*P_4191,
-20160*P_675+60480*P_677-40320*P_694-80640*P_1167+20160*P_1409-60480*P_1411+80640*P_1462+20160*P_1508+60480*P_1515+40320*P_1618-20160*P_1698-60480*P_1705+20160*P_2435-20160*P_2679-60480*P_2718+20160*P_2730-20160*P_2761-20160*P_2764+40320*P_2766+20160*P_2874+40320*P_2925-20160*P_2973+60480*P_3454-40320*P_3466-60480*P_3554-20160*P_3661-20160*P_4102+20160*P_4119+20160*P_4122-40320*P_4124+20160*P_4136+60480*P_4176,
40320*P_643-60480*P_689+20160*P_696-40320*P_1082-60480*P_1181-20160*P_1186+80640*P_1510+60480*P_1613-20160*P_1620+60480*P_1666+20160*P_1671-80640*P_1700-20160*P_2350-20160*P_2403+40320*P_2437-20160*P_2732+20160*P_2854-20160*P_2927+40320*P_2936+20160*P_2939+20160*P_2941-60480*P_2970+20160*P_3468+20160*P_3643+20160*P_3663-40320*P_3672-20160*P_3675-20160*P_3677-60480*P_3760-40320*P_4104+60480*P_4133+60480*P_4187,
-40320*P_640-40320*P_642+60480*P_669-20160*P_676+60480*P_688-20160*P_693+40320*P_1079+40320*P_1081+60480*P_1161+20160*P_1166+60480*P_1178+20160*P_1185-60480*P_1403+20160*P_1410-60480*P_1456-20160*P_1461-80640*P_1507-80640*P_1509-60480*P_1612+20160*P_1617-60480*P_1663-20160*P_1670+80640*P_1697+80640*P_1699+20160*P_2335+20160*P_2349+20160*P_2388+20160*P_2400-40320*P_2434-40320*P_2436-20160*P_2644+40320*P_2717-40320*P_2726+60480*P_2760-20160*P_2853-40320*P_2921-40320*P_2938+60480*P_2969-20160*P_3433-40320*P_3453+40320*P_3462+60480*P_3550-20160*P_3640+40320*P_3657+40320*P_3674+60480*P_3759+40320*P_4101+40320*P_4103-60480*P_4118-60480*P_4132-60480*P_4172-60480*P_4186,
80640*P_639-120960*P_668+40320*P_673-80640*P_1078-120960*P_1158-40320*P_1165+120960*P_1402-40320*P_1407+120960*P_1453+40320*P_1460+161280*P_1506-161280*P_1696-40320*P_2334-40320*P_2385+80640*P_2433+40320*P_2643+80640*P_2711-40320*P_2714-40320*P_2716+40320*P_2728-120960*P_2759+40320*P_2923+40320*P_3430-80640*P_3447+40320*P_3450+40320*P_3452-40320*P_3464-120960*P_3549-40320*P_3659-80640*P_4100+120960*P_4117+120960*P_4171,
80640*P_640-80640*P_642-20160*P_669-100800*P_676+20160*P_688+100800*P_693-80640*P_1079+80640*P_1081+100800*P_1161+141120*P_1166-100800*P_1178-141120*P_1185+20160*P_1403+100800*P_1410-100800*P_1456-141120*P_1461+40320*P_1507-40320*P_1509-20160*P_1612-100800*P_1617+100800*P_1663+141120*P_1670-40320*P_1697+40320*P_1699-20160*P_2335+20160*P_2349+100800*P_2388-100800*P_2400+40320*P_2434-40320*P_2436+20160*P_2644+40320*P_2678+80640*P_2717+40320*P_2726-80640*P_2731+20160*P_2760-20160*P_2853-40320*P_2873-40320*P_2921-80640*P_2924+80640*P_2938-20160*P_2969-100800*P_3433-80640*P_3453+40320*P_3462+80640*P_3465+120960*P_3519+60480*P_3550+100800*P_3640-40320*P_3657+80640*P_3662-80640*P_3674-120960*P_3714-60480*P_3759-40320*P_4101+40320*P_4103-20160*P_4118+20160*P_4132-60480*P_4172+60480*P_4186,
-60480*P_634+181440*P_641-120960*P_687+60480*P_1073-181440*P_1080-241920*P_1160+60480*P_1177+181440*P_1179+241920*P_1455+120960*P_1611-60480*P_1662-181440*P_1664-60480*P_2348-181440*P_2387+60480*P_2396+60480*P_2399+120960*P_2401-60480*P_2430-60480*P_2725+60480*P_2852+120960*P_2920-60480*P_2934+181440*P_3432-120960*P_3461-181440*P_3515-60480*P_3636-60480*P_3639-120960*P_3641+60480*P_3656+60480*P_3670+181440*P_3710+60480*P_4097,
60480*P_633-181440*P_638+120960*P_667-60480*P_1072+181440*P_1077+181440*P_1157+60480*P_1159-241920*P_1176-120960*P_1401-181440*P_1452-60480*P_1454+241920*P_1661+60480*P_2333-60480*P_2381+120960*P_2384+60480*P_2386-181440*P_2398+60480*P_2429-60480*P_2642-60480*P_2710+120960*P_2724-60480*P_2919+60480*P_3426-120960*P_3429-60480*P_3431+60480*P_3446+60480*P_3460+181440*P_3514+181440*P_3638-120960*P_3655-181440*P_3709-60480*P_4096,
322560*P_640-322560*P_642-322560*P_669+322560*P_676+322560*P_688-322560*P_693-322560*P_1079+322560*P_1081+161280*P_1161-161280*P_1166-161280*P_1178+161280*P_1185+322560*P_1403-322560*P_1410-161280*P_1456+161280*P_1461+161280*P_1507-161280*P_1509-322560*P_1612+322560*P_1617+161280*P_1663-161280*P_1670-161280*P_1697+161280*P_1699-322560*P_2335+322560*P_2349+161280*P_2388-161280*P_2400+161280*P_2434-161280*P_2436+322560*P_2644-322560*P_2678-161280*P_2717+161280*P_2726+161280*P_2731-161280*P_2760-322560*P_2853+322560*P_2873-161280*P_2921+161280*P_2924-161280*P_2938+161280*P_2969-161280*P_3433+161280*P_3453+161280*P_3462-161280*P_3465+161280*P_3640-161280*P_3657-161280*P_3662+161280*P_3674-161280*P_4101+161280*P_4103+161280*P_4118-161280*P_4132,
645120*P_637-483840*P_666-161280*P_671+483840*P_683+161280*P_690-645120*P_1076+483840*P_1400+161280*P_1405+322560*P_1505-483840*P_1607-161280*P_1614-322560*P_1695-483840*P_2332+483840*P_2344+322560*P_2432+483840*P_2641-322560*P_2670-161280*P_2673+161280*P_2675-161280*P_2727-161280*P_2758-483840*P_2848+322560*P_2865+161280*P_2868-161280*P_2870+161280*P_2922+161280*P_2967-161280*P_3463+161280*P_3658-322560*P_4099+161280*P_4116-161280*P_4130,
-161280*P_631-483840*P_636+645120*P_665-483840*P_682-161280*P_684+161280*P_1070+483840*P_1075-322560*P_1175-645120*P_1399+483840*P_1606+161280*P_1608+322560*P_1660+483840*P_2331-161280*P_2340-322560*P_2343-161280*P_2345-161280*P_2397-161280*P_2428-483840*P_2640+483840*P_2669+322560*P_2723+161280*P_2844+322560*P_2847+161280*P_2849-483840*P_2864-161280*P_2918-161280*P_2932+161280*P_3459+161280*P_3637-322560*P_3654+161280*P_3668+161280*P_4095,
161280*P_628+483840*P_635-161280*P_662-483840*P_664+645120*P_681-161280*P_1067-483840*P_1074+322560*P_1155+161280*P_1396+483840*P_1398-322560*P_1450-645120*P_1605+161280*P_2325-161280*P_2328-322560*P_2330+483840*P_2342+161280*P_2382+161280*P_2427-161280*P_2634+161280*P_2637+322560*P_2639-483840*P_2668-161280*P_2708-161280*P_2722-483840*P_2846+483840*P_2863+322560*P_2917-161280*P_3427+161280*P_3444-322560*P_3458+161280*P_3653-161280*P_4094,
201600*P_659+201600*P_1151-120960*P_1393-120960*P_1446-80640*P_1480+161280*P_1588-40320*P_1602+161280*P_1641-40320*P_1653+40320*P_1687+40320*P_1689-201600*P_2916+201600*P_3652-80640*P_4093-120960*P_4113-120960*P_4167,
-201600*P_658-201600*P_1148-40320*P_1378+161280*P_1392-40320*P_1431+161280*P_1443+40320*P_1477+40320*P_1479-120960*P_1587-120960*P_1638-80640*P_1686+201600*P_2706-201600*P_3442+80640*P_4087+120960*P_4112+120960*P_4166,
-201600*P_624+120960*P_1063-80640*P_1116-120960*P_1150+201600*P_1445-161280*P_1567+40320*P_1601-161280*P_1640+40320*P_1649-40320*P_1654-40320*P_1683+201600*P_2915-120960*P_3631-80640*P_3651+120960*P_3705+201600*P_4092,
201600*P_609+201600*P_623-120960*P_1048-120960*P_1062+80640*P_1101+80640*P_1113+120960*P_1147+120960*P_1149+161280*P_1357-40320*P_1391-40320*P_1430-40320*P_1439-201600*P_1442-161280*P_1444+40320*P_1473+161280*P_1566-40320*P_1586-40320*P_1634+161280*P_1637+201600*P_1639+40320*P_1651+40320*P_1682-201600*P_2705-201600*P_2914+120960*P_3421+80640*P_3441-120960*P_3495+120960*P_3625+80640*P_3650-120960*P_3704-201600*P_4086-201600*P_4091,
-403200*P_608+241920*P_1047-161280*P_1098-241920*P_1146-322560*P_1356+80640*P_1376+80640*P_1424+80640*P_1427+322560*P_1441-80640*P_1472-403200*P_1636+403200*P_2704-241920*P_3415-161280*P_3440+241920*P_3494+403200*P_4085,
-201600*P_609+201600*P_623+403200*P_657+201600*P_1048-201600*P_1062+403200*P_1144+201600*P_1147-201600*P_1149-80640*P_1357-282240*P_1391+120960*P_1430-282240*P_1439-201600*P_1442+80640*P_1444-120960*P_1473+80640*P_1566+282240*P_1586+282240*P_1634+80640*P_1637-201600*P_1639+120960*P_1651+120960*P_1682-403200*P_2376-201600*P_2705+201600*P_2914+282240*P_3421+322560*P_3441+120960*P_3495-282240*P_3625-322560*P_3650-120960*P_3704+40320*P_4086-40320*P_4091-241920*P_4165,
-604800*P_622-120960*P_1027+483840*P_1061-120960*P_1100-120960*P_1109+120960*P_1114-483840*P_1143+604800*P_1438-362880*P_1565-362880*P_1633-241920*P_1647+604800*P_2375-604800*P_3420+241920*P_3624+362880*P_3629+362880*P_3703,
604800*P_607+120960*P_1026-483840*P_1046+120960*P_1094+120960*P_1097-120960*P_1111+483840*P_1142+362880*P_1355-241920*P_1423-362880*P_1437+604800*P_1632-604800*P_2374+362880*P_3414+241920*P_3419-362880*P_3493-604800*P_3623,
161280*P_568-241920*P_621+241920*P_655+403200*P_1060-403200*P_1389-322560*P_1564+322560*P_1584-80640*P_1593+80640*P_1596+80640*P_1650-80640*P_1681+241920*P_2839-241920*P_2859+161280*P_2913-403200*P_3649+403200*P_4090,
-161280*P_553-161280*P_567+241920*P_606+241920*P_618-241920*P_652-241920*P_654-403200*P_1045-403200*P_1057+322560*P_1354+80640*P_1374+80640*P_1383+322560*P_1386+403200*P_1388-80640*P_1440+80640*P_1471+322560*P_1561+80640*P_1578-403200*P_1581-322560*P_1583-80640*P_1595-80640*P_1635+80640*P_1680-241920*P_2629+241920*P_2649-161280*P_2703-241920*P_2833+241920*P_2858-161280*P_2912+403200*P_3439+403200*P_3648-403200*P_4084-403200*P_4089,
322560*P_552-483840*P_603+483840*P_651+806400*P_1042-645120*P_1351-161280*P_1368-161280*P_1373-645120*P_1385+161280*P_1425-161280*P_1470+806400*P_1580+483840*P_2623-483840*P_2648+322560*P_2702-806400*P_3438+806400*P_4083,
483840*P_532+483840*P_566-725760*P_605-725760*P_614+725760*P_619+725760*P_648+241920*P_1024+967680*P_1044+967680*P_1053+241920*P_1056-1209600*P_1058+241920*P_1110-241920*P_1141-1209600*P_1353-1209600*P_1382-1209600*P_1557+241920*P_1560+967680*P_1562+967680*P_1577+241920*P_1591+241920*P_1631-241920*P_1645+725760*P_2299-725760*P_2319+483840*P_2373+725760*P_2832-725760*P_2837+483840*P_2911-1209600*P_3418+1209600*P_3622-1209600*P_3647+1209600*P_4088,
-483840*P_531-483840*P_551+725760*P_599+725760*P_602-725760*P_616-725760*P_647-241920*P_1021-967680*P_1038-1209600*P_1041+241920*P_1043+967680*P_1055-241920*P_1095+241920*P_1140+1209600*P_1347+967680*P_1350+241920*P_1352+241920*P_1367+967680*P_1381-241920*P_1421+241920*P_1435-1209600*P_1559-1209600*P_1576-725760*P_2293+725760*P_2318-483840*P_2372-725760*P_2622+725760*P_2627-483840*P_2701+1209600*P_3417+1209600*P_3437-1209600*P_3621-1209600*P_4082,
1935360*P_530-2903040*P_598+2903040*P_612+967680*P_1020-967680*P_1022+3870720*P_1037-3870720*P_1051+967680*P_1091-967680*P_1105-4838400*P_1346+4838400*P_1555+2903040*P_2292-2903040*P_2297+1935360*P_2371-4838400*P_3416+4838400*P_3620,
-806400*P_606+806400*P_618-1612800*P_649+806400*P_652-806400*P_654+806400*P_1045-806400*P_1057+1612800*P_1145-322560*P_1354-483840*P_1374+1128960*P_1383-322560*P_1386+806400*P_1388-1128960*P_1440-483840*P_1471+322560*P_1561-1128960*P_1578+806400*P_1581-322560*P_1583-483840*P_1595+1128960*P_1635+483840*P_1680+1612800*P_2320-1128960*P_2629-483840*P_2649-1290240*P_2703+1128960*P_2833+483840*P_2858+1290240*P_2912+806400*P_3439-806400*P_3648+161280*P_4084-161280*P_4089+967680*P_4109,
806400*P_605+806400*P_614-1612800*P_617+806400*P_619+806400*P_648-483840*P_1024-322560*P_1044-322560*P_1053+1128960*P_1056-806400*P_1058-483840*P_1110-1128960*P_1141+806400*P_1353-806400*P_1382+1612800*P_1436+806400*P_1557-1128960*P_1560+322560*P_1562+322560*P_1577+483840*P_1591-1128960*P_1631-483840*P_1645-483840*P_2299-1128960*P_2319+1290240*P_2373+1612800*P_2628-1128960*P_2832-483840*P_2837-1290240*P_2911-806400*P_3418-161280*P_3622+967680*P_3627-161280*P_3647-806400*P_4088,
-806400*P_599+806400*P_602-1612800*P_604+806400*P_616-806400*P_647+483840*P_1021+322560*P_1038-806400*P_1041+1128960*P_1043-322560*P_1055+483840*P_1095+1128960*P_1140-806400*P_1347+322560*P_1350-1128960*P_1352+483840*P_1367+322560*P_1381-483840*P_1421-1128960*P_1435+806400*P_1559-806400*P_1576+1612800*P_1630+483840*P_2293+1128960*P_2318-1290240*P_2372-483840*P_2622-1128960*P_2627+1290240*P_2701+1612800*P_2831+967680*P_3412-161280*P_3417+161280*P_3437-806400*P_3621+806400*P_4082,
967680*P_529-967680*P_549-967680*P_558+967680*P_561-3870720*P_615+3870720*P_646+4838400*P_1054-4838400*P_1380-2903040*P_1558+2903040*P_1575+1935360*P_1589-4838400*P_2317+4838400*P_2626-1935360*P_2830-2903040*P_2835+2903040*P_2855,
-967680*P_526+967680*P_543+967680*P_548-967680*P_560+3870720*P_600-3870720*P_645-4838400*P_1039+2903040*P_1348+1935360*P_1365+2903040*P_1379-4838400*P_1574+4838400*P_2316-2903040*P_2620-1935360*P_2625-2903040*P_2645+4838400*P_2829,
1935360*P_525-1935360*P_527-1935360*P_542+1935360*P_556-7741440*P_596+7741440*P_610+3870720*P_1018+5806080*P_1035-5806080*P_1049-9676800*P_1344+9676800*P_1553+5806080*P_2290-5806080*P_2295-3870720*P_2315+9676800*P_2624-9676800*P_2828,
-3225600*P_609+3225600*P_623-3225600*P_657+3225600*P_1048-3225600*P_1062+1612800*P_1144-1612800*P_1147+1612800*P_1149-3225600*P_1357+3225600*P_1391-1612800*P_1439+1612800*P_1442-1612800*P_1444+3225600*P_1566-3225600*P_1586+1612800*P_1634-1612800*P_1637+1612800*P_1639-1612800*P_2376+1612800*P_2705-1612800*P_2914+1612800*P_3421-1612800*P_3441-1612800*P_3625+1612800*P_3650+1612800*P_4086-1612800*P_4091,
-3225600*P_606+3225600*P_618-1612800*P_649-1612800*P_652+1612800*P_654+3225600*P_1045-3225600*P_1057-3225600*P_1145-3225600*P_1354+1612800*P_1383+1612800*P_1386-1612800*P_1388+3225600*P_1440+3225600*P_1561-1612800*P_1578-1612800*P_1581+1612800*P_1583-3225600*P_1635+1612800*P_2320-1612800*P_2629+1612800*P_2703+1612800*P_2833-1612800*P_2912-1612800*P_3439+1612800*P_3648+1612800*P_4084-1612800*P_4089,
3225600*P_605-1612800*P_614-1612800*P_617-1612800*P_619+3225600*P_648-3225600*P_1044+1612800*P_1053+1612800*P_1056+1612800*P_1058+3225600*P_1141+3225600*P_1353-3225600*P_1382-3225600*P_1436-1612800*P_1557-1612800*P_1560-1612800*P_1562+3225600*P_1577+3225600*P_1631-1612800*P_2319-1612800*P_2373+1612800*P_2628-1612800*P_2832+1612800*P_2911+1612800*P_3418-1612800*P_3622-1612800*P_3647+1612800*P_4088,
1612800*P_599-1612800*P_602-1612800*P_604+3225600*P_616-3225600*P_647-1612800*P_1038+1612800*P_1041+1612800*P_1043-3225600*P_1055-3225600*P_1140+1612800*P_1347-1612800*P_1350-1612800*P_1352+3225600*P_1381+3225600*P_1435+3225600*P_1559-3225600*P_1576-3225600*P_1630+1612800*P_2318+1612800*P_2372-1612800*P_2627-1612800*P_2701+1612800*P_2831-1612800*P_3417+1612800*P_3437+1612800*P_3621-1612800*P_4082,
16128000*P_594-16128000*P_1033+12902400*P_1342+3225600*P_1362+3225600*P_1416-12902400*P_1546-3225600*P_1571-3225600*P_1625-6451200*P_4081,
-16128000*P_593+3225600*P_1012+12902400*P_1032-3225600*P_1086-16128000*P_1341+12902400*P_1545+3225600*P_1550+3225600*P_1624+6451200*P_3619,
16128000*P_592-3225600*P_1006-12902400*P_1031+3225600*P_1085+3225600*P_1335+12902400*P_1340-3225600*P_1414-16128000*P_1544-6451200*P_3409,
-6451200*P_517+6451200*P_537-25804800*P_591+32256000*P_1030-32256000*P_1339+25804800*P_1543+6451200*P_1548-6451200*P_1568-12902400*P_2827,
6451200*P_511-6451200*P_536+25804800*P_590-32256000*P_1029+6451200*P_1333+25804800*P_1338+6451200*P_1358-32256000*P_1542+12902400*P_2617,
-12902400*P_510+12902400*P_515-51609600*P_589-12902400*P_1003+12902400*P_1008+51609600*P_1028-64512000*P_1337+64512000*P_1541-25804800*P_2287,
-8064*P_1328+8064*P_2596+8064*P_3385,
8064*P_1325+8064*P_1327-8064*P_2581-8064*P_2595-8064*P_3370-8064*P_3382,
-16128*P_1324+16128*P_2580+16128*P_3367,
8064*P_998-8064*P_2266-8064*P_3384,
-8064*P_878-8064*P_995-8064*P_997+8064*P_2146+8064*P_2251+8064*P_2265+8064*P_3369+8064*P_3381+8064*P_3383,
16128*P_875+16128*P_877+16128*P_994-16128*P_2131-16128*P_2145-16128*P_2250-16128*P_3366-16128*P_3368-16128*P_3380,
-48384*P_874+48384*P_2130+48384*P_3365,
16128*P_878-8064*P_995-8064*P_997-24192*P_1319-24192*P_1326-16128*P_2146+8064*P_2251+8064*P_2265+24192*P_2560+24192*P_2594+24192*P_3349+8064*P_3369+24192*P_3378+8064*P_3381-16128*P_3383,
-8064*P_875-8064*P_877+16128*P_994+24192*P_1318+24192*P_1323+8064*P_2131+8064*P_2145-16128*P_2250-24192*P_2559-24192*P_2579-24192*P_3346-24192*P_3363-16128*P_3366+8064*P_3368+8064*P_3380,
32256*P_989+32256*P_996-32256*P_2230-32256*P_2264-32256*P_3348-32256*P_3377,
-32256*P_869-32256*P_876-32256*P_988-32256*P_993+32256*P_2110+32256*P_2144+32256*P_2229+32256*P_2249+32256*P_3345+32256*P_3347+32256*P_3362+32256*P_3376,
64512*P_868+64512*P_873-64512*P_2109-64512*P_2129-64512*P_3344-64512*P_3361,
48384*P_869+48384*P_876-48384*P_988-48384*P_993-96768*P_1317-48384*P_2110-48384*P_2144+48384*P_2229+48384*P_2249+96768*P_2558+96768*P_3342+48384*P_3345-48384*P_3347+48384*P_3362-48384*P_3376,
193536*P_987-193536*P_2228-193536*P_3341,
-193536*P_867+193536*P_2108+193536*P_3340,
-16128*P_503-16128*P_2263+16128*P_2592,
16128*P_383+16128*P_500+16128*P_502+16128*P_2143+16128*P_2248+16128*P_2260-16128*P_2577-16128*P_2589-16128*P_2591,
-32256*P_380-32256*P_382-32256*P_499-32256*P_2128-32256*P_2140-32256*P_2245+32256*P_2574+32256*P_2576+32256*P_2588,
96768*P_379+96768*P_2125-96768*P_2573,
-64512*P_218-64512*P_494-64512*P_501-64512*P_2142-64512*P_2227-64512*P_2256+64512*P_2261+64512*P_2556+64512*P_2585,
64512*P_215+64512*P_217+64512*P_374+64512*P_381+64512*P_493+64512*P_498+64512*P_2107+64512*P_2127+64512*P_2136+64512*P_2139+64512*P_2224+64512*P_2241-64512*P_2246-64512*P_2258-64512*P_2553-64512*P_2555-64512*P_2570-64512*P_2584,
-129024*P_214-129024*P_373-129024*P_378-129024*P_2104-129024*P_2121-129024*P_2124+129024*P_2243+129024*P_2552+129024*P_2569,
-387072*P_209-387072*P_216-387072*P_492-387072*P_2106-387072*P_2135-387072*P_2220+387072*P_2225+387072*P_2254+387072*P_2549,
387072*P_208+387072*P_213+387072*P_372+387072*P_2100+387072*P_2103+387072*P_2120-387072*P_2222-387072*P_2239-387072*P_2548,
-2322432*P_207-2322432*P_2099+2322432*P_2218,
-80640*P_383+40320*P_500+40320*P_502-120960*P_1316+120960*P_1321-80640*P_2143+40320*P_2248+40320*P_2260-120960*P_2532-40320*P_2577-120960*P_2586+80640*P_2589-40320*P_2591-120960*P_3321+120960*P_3379,
40320*P_380+40320*P_382-80640*P_499+120960*P_1313-120960*P_1320+40320*P_2128+40320*P_2140-80640*P_2245+120960*P_2531+120960*P_2571-40320*P_2574+80640*P_2576-40320*P_2588+120960*P_3318-120960*P_3364,
80640*P_218-40320*P_494-40320*P_501+120960*P_986-120960*P_991+80640*P_2142+120960*P_2202-40320*P_2227+80640*P_2256-120960*P_2259+40320*P_2261+40320*P_2556+40320*P_2585+120960*P_3320-120960*P_3375,
-80640*P_215-80640*P_217+40320*P_374+40320*P_381+40320*P_493+40320*P_498-120960*P_866+120960*P_871-120960*P_983+120960*P_990-120960*P_2082+40320*P_2107-80640*P_2127-80640*P_2136+40320*P_2139-120960*P_2141-120960*P_2201+40320*P_2224-80640*P_2241+120960*P_2244-40320*P_2246+80640*P_2258-40320*P_2553-40320*P_2555-40320*P_2570-40320*P_2584-120960*P_3317-120960*P_3319+120960*P_3360+120960*P_3374,
161280*P_214-80640*P_373-80640*P_378+241920*P_863-241920*P_870+241920*P_2081-80640*P_2104+161280*P_2121-80640*P_2124+241920*P_2126-161280*P_2243+80640*P_2552+80640*P_2569+241920*P_3316-241920*P_3359,
-120960*P_374-120960*P_381+120960*P_493+120960*P_498+120960*P_866-120960*P_871-120960*P_983+120960*P_990-241920*P_1312+241920*P_1314+120960*P_2082-120960*P_2107-120960*P_2139+120960*P_2141-120960*P_2201+120960*P_2224+120960*P_2244-120960*P_2246-241920*P_2530-241920*P_2550+120960*P_2553-120960*P_2555-120960*P_2570+120960*P_2584-241920*P_3314-120960*P_3317+120960*P_3319+241920*P_3343+120960*P_3360-120960*P_3374,
120960*P_209+120960*P_216-241920*P_492+362880*P_982-362880*P_984+120960*P_2106+120960*P_2135+362880*P_2200+120960*P_2220-362880*P_2223+241920*P_2225-120960*P_2254+241920*P_2549+362880*P_3313-362880*P_3339,
-120960*P_208-120960*P_213+241920*P_372-362880*P_862+362880*P_864-362880*P_2080-120960*P_2100+241920*P_2103-362880*P_2105-120960*P_2120+120960*P_2222+120960*P_2239-241920*P_2548-362880*P_3312+362880*P_3338,
-322560*P_491+322560*P_496+322560*P_2199-322560*P_2257-322560*P_2528+322560*P_2583,
322560*P_371-322560*P_376+322560*P_488-322560*P_495-322560*P_2079+322560*P_2137-322560*P_2196+322560*P_2242+322560*P_2525+322560*P_2527-322560*P_2568-322560*P_2582,
-645120*P_368+645120*P_375+645120*P_2076-645120*P_2122-645120*P_2524+645120*P_2567,
-967680*P_206+967680*P_211-967680*P_487+967680*P_489+967680*P_2078-967680*P_2133+967680*P_2192-967680*P_2197-967680*P_2221+967680*P_2252-967680*P_2521+967680*P_2547,
967680*P_203-967680*P_210+967680*P_367-967680*P_369-967680*P_2072-967680*P_2075+967680*P_2101+967680*P_2118+967680*P_2194-967680*P_2237+967680*P_2520-967680*P_2546,
-3870720*P_202+3870720*P_204+3870720*P_2071-3870720*P_2097-3870720*P_2190+3870720*P_2216,
-967680*P_371+967680*P_376+967680*P_488-967680*P_495-1935360*P_1310+967680*P_2079-967680*P_2137-967680*P_2196+967680*P_2242+1935360*P_2522-967680*P_2525+967680*P_2527-967680*P_2568+967680*P_2582-1935360*P_3315,
967680*P_206-967680*P_211-967680*P_487+967680*P_489+1935360*P_980-967680*P_2078+967680*P_2133-967680*P_2192+1935360*P_2195-967680*P_2197-967680*P_2221-967680*P_2252-967680*P_2521+967680*P_2547+1935360*P_3311,
-967680*P_203+967680*P_210+967680*P_367-967680*P_369-1935360*P_860+967680*P_2072-967680*P_2075+1935360*P_2077+967680*P_2101-967680*P_2118-967680*P_2194+967680*P_2237+967680*P_2520-967680*P_2546-1935360*P_3310,
-7741440*P_485+7741440*P_2193-7741440*P_2519,
7741440*P_365-7741440*P_2073+7741440*P_2518,
-15482880*P_200+15482880*P_2069-15482880*P_2188,
48384*P_484+48384*P_976-48384*P_1305,
-48384*P_364-48384*P_469-48384*P_483-48384*P_856-48384*P_961-48384*P_973+48384*P_1290+48384*P_1302+48384*P_1304,
96768*P_349+96768*P_363+96768*P_468+96768*P_841+96768*P_853+96768*P_958-96768*P_1287-96768*P_1289-96768*P_1301,
-290304*P_348-290304*P_838+290304*P_1286,
193536*P_199+193536*P_448+193536*P_482+193536*P_855+193536*P_940+193536*P_969-193536*P_974-193536*P_1269-193536*P_1298,
-193536*P_184-193536*P_198-193536*P_328-193536*P_362-193536*P_447-193536*P_467-193536*P_820-193536*P_840-193536*P_849-193536*P_852-193536*P_937-193536*P_954+193536*P_959+193536*P_971+193536*P_1266+193536*P_1268+193536*P_1283+193536*P_1297,
387072*P_183+387072*P_327+387072*P_347+387072*P_817+387072*P_834+387072*P_837-387072*P_956-387072*P_1265-387072*P_1282,
1161216*P_163+1161216*P_197+1161216*P_446+1161216*P_819+1161216*P_848+1161216*P_933-1161216*P_938-1161216*P_967-1161216*P_1262,
-1161216*P_162-1161216*P_182-1161216*P_326-1161216*P_813-1161216*P_816-1161216*P_833+1161216*P_935+1161216*P_952+1161216*P_1261,
6967296*P_161+6967296*P_812-6967296*P_931,
967680*P_196-967680*P_360-967680*P_420-967680*P_474+967680*P_477-967680*P_912+967680*P_970+967680*P_1241-967680*P_1296,
-967680*P_181-967680*P_193+967680*P_300+967680*P_345+967680*P_354+967680*P_359+967680*P_419+967680*P_459-967680*P_462-967680*P_476+967680*P_792-967680*P_850+967680*P_909-967680*P_955-967680*P_1238-967680*P_1240+967680*P_1281+967680*P_1295,
1935360*P_178-1935360*P_299-1935360*P_339-1935360*P_344+1935360*P_461-1935360*P_789+1935360*P_835+1935360*P_1237-1935360*P_1280,
-2903040*P_135+2903040*P_160+2903040*P_192-2903040*P_194-2903040*P_324-2903040*P_353-2903040*P_418-2903040*P_438+2903040*P_441+2903040*P_472-2903040*P_791+2903040*P_846-2903040*P_905+2903040*P_910+2903040*P_934-2903040*P_965+2903040*P_1234-2903040*P_1260,
2903040*P_134-2903040*P_157-2903040*P_177+2903040*P_179+2903040*P_298+2903040*P_318+2903040*P_323+2903040*P_338-2903040*P_440-2903040*P_457+2903040*P_785+2903040*P_788-2903040*P_814-2903040*P_831-2903040*P_907+2903040*P_950-2903040*P_1233+2903040*P_1259,
-11612160*P_133+11612160*P_156-11612160*P_158-11612160*P_317+11612160*P_436-11612160*P_784+11612160*P_810+11612160*P_903-11612160*P_929,
-23224320*P_132+23224320*P_190+23224320*P_296-23224320*P_351+23224320*P_410-23224320*P_413+23224320*P_470-23224320*P_906+23224320*P_1232,
23224320*P_129-23224320*P_175-23224320*P_290-23224320*P_295+23224320*P_336+23224320*P_412-23224320*P_455+23224320*P_786-23224320*P_1231,
-46448640*P_128+46448640*P_130+46448640*P_154+46448640*P_289-46448640*P_315-46448640*P_408+46448640*P_434-46448640*P_782+46448640*P_901,
-418037760*P_126+418037760*P_287-418037760*P_406,
483840*P_364-241920*P_469-241920*P_483+483840*P_856-241920*P_961-241920*P_973+725760*P_1245+725760*P_1270-483840*P_1290+241920*P_1302+241920*P_1304-725760*P_2545+725760*P_2565+725760*P_3309+725760*P_3355,
-241920*P_349-241920*P_363+483840*P_468-241920*P_841-241920*P_853+483840*P_958-725760*P_1244-725760*P_1267+241920*P_1287+241920*P_1289-483840*P_1301+725760*P_2539-725760*P_2564-725760*P_3303-725760*P_3354,
-483840*P_199+241920*P_448+241920*P_482-483840*P_855-725760*P_915-483840*P_940+725760*P_960+241920*P_969-241920*P_974-241920*P_1269-241920*P_1298+725760*P_2215-725760*P_2235-725760*P_3308-725760*P_3334,
483840*P_184+483840*P_198-241920*P_328-241920*P_362-241920*P_447-241920*P_467+725760*P_795+483840*P_820-241920*P_840-241920*P_849+483840*P_852+725760*P_854+725760*P_914+483840*P_937-241920*P_954-725760*P_957-483840*P_959+241920*P_971+241920*P_1266+241920*P_1268+241920*P_1283+241920*P_1297-725760*P_2095+725760*P_2115-725760*P_2209+725760*P_2234+725760*P_3302+725760*P_3307+725760*P_3328+725760*P_3333,
-967680*P_183+483840*P_327+483840*P_347-1451520*P_794-967680*P_817+483840*P_834+483840*P_837-1451520*P_851+967680*P_956-483840*P_1265-483840*P_1282+1451520*P_2089-1451520*P_2114-1451520*P_3301-1451520*P_3327,
725760*P_328+725760*P_362-725760*P_447-725760*P_467-725760*P_795+725760*P_840+725760*P_849-725760*P_854+725760*P_914-725760*P_954-725760*P_957+725760*P_971+1451520*P_1243+1451520*P_1263+725760*P_1266-725760*P_1268-725760*P_1283+725760*P_1297+725760*P_2095-725760*P_2115-725760*P_2209+725760*P_2234-1451520*P_2538+1451520*P_2543+1451520*P_3296+725760*P_3302-725760*P_3307-725760*P_3328+725760*P_3333+1451520*P_3353,
-725760*P_163-725760*P_197+1451520*P_446-725760*P_819-725760*P_848-2177280*P_913-725760*P_933+725760*P_938+2177280*P_953-1451520*P_967-1451520*P_1262+2177280*P_2208-2177280*P_2213-2177280*P_3295-2177280*P_3332,
725760*P_162+725760*P_182-1451520*P_326+2177280*P_793+725760*P_813+725760*P_816-1451520*P_833+2177280*P_847-725760*P_935-725760*P_952+1451520*P_1261-2177280*P_2088+2177280*P_2093+2177280*P_3294+2177280*P_3326,
-967680*P_196+967680*P_360+967680*P_420+1451520*P_445-1451520*P_465-483840*P_474+483840*P_477-483840*P_912+483840*P_970+483840*P_1241-483840*P_1296-1451520*P_2187-1451520*P_2233+1451520*P_2516+1451520*P_2542,
967680*P_181+967680*P_193-967680*P_300-1451520*P_325+483840*P_345+483840*P_354-1451520*P_357-967680*P_359-967680*P_419-1451520*P_442+483840*P_459+967680*P_462+1451520*P_464-483840*P_476+483840*P_792-483840*P_850+483840*P_909-483840*P_955-483840*P_1238-483840*P_1240+483840*P_1281+483840*P_1295+1451520*P_2067+1451520*P_2113+1451520*P_2181+1451520*P_2232-1451520*P_2510-1451520*P_2515-1451520*P_2536-1451520*P_2541,
-1935360*P_178+1935360*P_299+2903040*P_322-967680*P_339-967680*P_344+2903040*P_356-1935360*P_461-967680*P_789+967680*P_835+967680*P_1237-967680*P_1280-2903040*P_2061-2903040*P_2112+2903040*P_2509+2903040*P_2535,
2903040*P_135+1451520*P_160-4354560*P_180-4354560*P_189+1451520*P_192+2903040*P_194+2903040*P_324+2903040*P_353+2903040*P_418+2903040*P_438+1451520*P_441-4354560*P_443-4354560*P_458+1451520*P_472-1451520*P_791+1451520*P_846-1451520*P_905+1451520*P_910+1451520*P_934-1451520*P_965+1451520*P_1234-1451520*P_1260-4354560*P_2066-4354560*P_2092-4354560*P_2174+4354560*P_2185+4354560*P_2206-4354560*P_2231+4354560*P_2503+4354560*P_2540,
-2903040*P_134-1451520*P_157+4354560*P_174+2903040*P_177+1451520*P_179-4354560*P_191-2903040*P_298-2903040*P_318-4354560*P_321+1451520*P_323+1451520*P_338-4354560*P_352+2903040*P_440+2903040*P_457+1451520*P_785+1451520*P_788-1451520*P_814-1451520*P_831-1451520*P_907+1451520*P_950-1451520*P_1233+1451520*P_1259+4354560*P_2054+4354560*P_2060+4354560*P_2091+4354560*P_2111-4354560*P_2179-4354560*P_2205-4354560*P_2502-4354560*P_2534,
11612160*P_133+5806080*P_156-5806080*P_158-17418240*P_173+17418240*P_187+11612160*P_317-11612160*P_436-5806080*P_784+5806080*P_810+5806080*P_903-5806080*P_929-17418240*P_2053-17418240*P_2090+17418240*P_2172+17418240*P_2204,
2903040*P_325-2903040*P_345-2903040*P_354+2903040*P_357-2903040*P_442+2903040*P_459+2903040*P_464-2903040*P_476-2903040*P_792+2903040*P_850+2903040*P_909-2903040*P_955-5806080*P_1235+2903040*P_1238-2903040*P_1240+5806080*P_1264-2903040*P_1281+2903040*P_1295-2903040*P_2067-2903040*P_2113+2903040*P_2181+2903040*P_2232-5806080*P_2504+2903040*P_2510-2903040*P_2515-2903040*P_2536+2903040*P_2541-5806080*P_2561+5806080*P_3300-5806080*P_3305,
-2903040*P_160+2903040*P_180+2903040*P_189-2903040*P_192+2903040*P_441-2903040*P_443-2903040*P_458+2903040*P_472+2903040*P_791-2903040*P_846+2903040*P_905-5806080*P_908+2903040*P_910-2903040*P_934+5806080*P_951-2903040*P_965+2903040*P_1234-2903040*P_1260+2903040*P_2066+2903040*P_2092+2903040*P_2174-5806080*P_2180+2903040*P_2185+2903040*P_2206-5806080*P_2211+2903040*P_2231+2903040*P_2503+2903040*P_2540-5806080*P_3293+5806080*P_3304,
2903040*P_157-2903040*P_174-2903040*P_179+2903040*P_191-2903040*P_321+2903040*P_323+2903040*P_338-2903040*P_352-2903040*P_785+2903040*P_788-5806080*P_790+2903040*P_814-2903040*P_831+5806080*P_845+2903040*P_907-2903040*P_950-2903040*P_1233+2903040*P_1259-2903040*P_2054+2903040*P_2060-5806080*P_2065-5806080*P_2086+2903040*P_2091-2903040*P_2111+2903040*P_2179+2903040*P_2205-2903040*P_2502-2903040*P_2534+5806080*P_3292-5806080*P_3298,
5806080*P_132-5806080*P_190-5806080*P_296+5806080*P_351-5806080*P_410+5806080*P_413+17418240*P_439-17418240*P_456+11612160*P_470-11612160*P_906+11612160*P_1232-17418240*P_2178+17418240*P_2183+17418240*P_2501-17418240*P_2512,
-5806080*P_129+5806080*P_175+5806080*P_290+5806080*P_295-17418240*P_319+11612160*P_336-17418240*P_350-5806080*P_412+5806080*P_455+11612160*P_786-11612160*P_1231+17418240*P_2058-17418240*P_2063-17418240*P_2500+17418240*P_2506,
11612160*P_128-11612160*P_130+23224320*P_154-34836480*P_171+34836480*P_185-11612160*P_289+11612160*P_315+11612160*P_408-11612160*P_434-23224320*P_782+23224320*P_901-34836480*P_2051+34836480*P_2062+34836480*P_2170-34836480*P_2176,
-5806080*P_433+5806080*P_453+5806080*P_900+5806080*P_946-5806080*P_1229-5806080*P_1255,
5806080*P_313-5806080*P_333+5806080*P_427-5806080*P_452-5806080*P_780-5806080*P_826-5806080*P_894-5806080*P_945+5806080*P_1223+5806080*P_1228+5806080*P_1249+5806080*P_1254,
-11612160*P_307+11612160*P_332+11612160*P_774+11612160*P_825-11612160*P_1222-11612160*P_1248,
-17418240*P_148+17418240*P_168-17418240*P_426+17418240*P_431+17418240*P_779+17418240*P_805+17418240*P_887-17418240*P_898-17418240*P_919+17418240*P_944-17418240*P_1216-17418240*P_1253,
17418240*P_142-17418240*P_167+17418240*P_306-17418240*P_311-17418240*P_767-17418240*P_773-17418240*P_804-17418240*P_824+17418240*P_892+17418240*P_918+17418240*P_1215+17418240*P_1247,
-69672960*P_141+69672960*P_146+69672960*P_766+69672960*P_803-69672960*P_885-69672960*P_917,
69672960*P_120+69672960*P_166-69672960*P_284-69672960*P_310-69672960*P_392+69672960*P_398+69672960*P_429-69672960*P_449+69672960*P_891-69672960*P_896-69672960*P_1214+69672960*P_1225,
-69672960*P_114-69672960*P_165+69672960*P_272+69672960*P_283+69672960*P_304+69672960*P_329-69672960*P_397-69672960*P_423-69672960*P_771+69672960*P_776+69672960*P_1213-69672960*P_1219,
139345920*P_113-139345920*P_118-139345920*P_139+139345920*P_144-139345920*P_271-139345920*P_308+139345920*P_390+139345920*P_422+139345920*P_764-139345920*P_775-139345920*P_883+139345920*P_889,
836075520*P_111-836075520*P_116-836075520*P_269+836075520*P_280+836075520*P_388-836075520*P_394,
-29030400*P_313+29030400*P_333+29030400*P_427-29030400*P_452+29030400*P_780+29030400*P_826-29030400*P_894-29030400*P_945+58060800*P_1217-29030400*P_1223+29030400*P_1228-29030400*P_1249+29030400*P_1254+58060800*P_2533-58060800*P_3297,
29030400*P_148-29030400*P_168-29030400*P_426+29030400*P_431-29030400*P_779-29030400*P_805-29030400*P_887+58060800*P_893-29030400*P_898+29030400*P_919+29030400*P_944-29030400*P_1216-29030400*P_1253-58060800*P_2203+58060800*P_3290,
-29030400*P_142+29030400*P_167+29030400*P_306-29030400*P_311+29030400*P_767-29030400*P_773+58060800*P_778+29030400*P_804-29030400*P_824-29030400*P_892-29030400*P_918+29030400*P_1215+29030400*P_1247+58060800*P_2083-58060800*P_3289,
-58060800*P_120-58060800*P_166+58060800*P_284+58060800*P_310+58060800*P_392-58060800*P_398-116121600*P_424+58060800*P_429-58060800*P_449+58060800*P_891-58060800*P_896-58060800*P_1214+58060800*P_1225+116121600*P_2175-116121600*P_2498,
58060800*P_114+58060800*P_165-58060800*P_272-58060800*P_283+58060800*P_304-116121600*P_309+58060800*P_329+58060800*P_397+58060800*P_423-58060800*P_771+58060800*P_776+58060800*P_1213-58060800*P_1219-116121600*P_2055+116121600*P_2497,
-116121600*P_113+116121600*P_118-116121600*P_139+116121600*P_144-232243200*P_164+116121600*P_271+116121600*P_308-116121600*P_390-116121600*P_422+116121600*P_764-116121600*P_775-116121600*P_883+116121600*P_889+232243200*P_2048-232243200*P_2167,
696729600*P_421-696729600*P_888+696729600*P_1211,
-696729600*P_301+696729600*P_768-696729600*P_1210,
1393459200*P_136-1393459200*P_761+1393459200*P_880,
-4180377600*P_108+4180377600*P_266-4180377600*P_385,
1128960*P_504+564480*P_878+282240*P_995-846720*P_997-282240*P_1319+846720*P_1326-564480*P_2146-282240*P_2251+846720*P_2265+282240*P_2560-846720*P_2594+282240*P_3349-282240*P_3369+282240*P_3378-282240*P_3381+564480*P_3383,
-1128960*P_384-846720*P_875+282240*P_877+564480*P_994+282240*P_1318-846720*P_1323+846720*P_2131-282240*P_2145-564480*P_2250-282240*P_2559+846720*P_2579-282240*P_3346-282240*P_3363+564480*P_3366-282240*P_3368-282240*P_3380,
2257920*P_219+1693440*P_869-564480*P_876-1693440*P_988+564480*P_993+1128960*P_1317-1693440*P_2110+564480*P_2144+1693440*P_2229-564480*P_2249-1128960*P_2558+1128960*P_3342-564480*P_3345+564480*P_3347-564480*P_3362+564480*P_3376,
-564480*P_383+846720*P_500-282240*P_502+1128960*P_992-282240*P_1316-846720*P_1321-564480*P_2143-282240*P_2248+846720*P_2260-282240*P_2532+282240*P_2577-282240*P_2586-564480*P_2589+282240*P_2591-282240*P_3321-846720*P_3379,
-282240*P_380+846720*P_382-564480*P_499-1128960*P_872+282240*P_1313+846720*P_1320+846720*P_2128-282240*P_2140-564480*P_2245+282240*P_2531+282240*P_2571+282240*P_2574-564480*P_2576+282240*P_2588+282240*P_3318+846720*P_3364,
564480*P_218-846720*P_494+282240*P_501-846720*P_986-282240*P_991+1128960*P_1315+564480*P_2142+282240*P_2202+282240*P_2227-564480*P_2256-282240*P_2259-282240*P_2261-282240*P_2556+846720*P_2585+282240*P_3320+846720*P_3375,
-564480*P_215-564480*P_217+846720*P_374-282240*P_381+846720*P_493-282240*P_498+846720*P_866+282240*P_871+846720*P_983+282240*P_990-1128960*P_1312-1128960*P_1314-282240*P_2082-282240*P_2107-564480*P_2127+564480*P_2136-282240*P_2139-282240*P_2141-282240*P_2201-282240*P_2224+564480*P_2241+282240*P_2244+282240*P_2246+564480*P_2258+282240*P_2553+282240*P_2555-846720*P_2570-846720*P_2584-282240*P_3317-282240*P_3319-846720*P_3360-846720*P_3374,
1128960*P_214-1693440*P_373+564480*P_378-1693440*P_863-564480*P_870+2257920*P_1311+564480*P_2081+564480*P_2104-1128960*P_2121+564480*P_2124+564480*P_2126-1128960*P_2243-564480*P_2552+1693440*P_2569+564480*P_3316+1693440*P_3359,
1128960*P_215-1128960*P_217-282240*P_374-1411200*P_381+282240*P_493+1411200*P_498+1411200*P_866+1975680*P_871-1411200*P_983-1975680*P_990+564480*P_1312-564480*P_1314+282240*P_2082-1411200*P_2107-1128960*P_2127+846720*P_2139+282240*P_2141-282240*P_2201+1411200*P_2224+282240*P_2244+846720*P_2246-1128960*P_2258-564480*P_2530-564480*P_2550-846720*P_2553+846720*P_2555-282240*P_2570+282240*P_2584-564480*P_3314-282240*P_3317+282240*P_3319-1693440*P_3343-846720*P_3360+846720*P_3374,
-846720*P_209+2540160*P_216-1693440*P_492-3386880*P_865+846720*P_982+2540160*P_984+2540160*P_2106-846720*P_2135+846720*P_2200-846720*P_2220-846720*P_2223-1693440*P_2225+846720*P_2254+1693440*P_2549+846720*P_3313+2540160*P_3339,
846720*P_208-2540160*P_213+1693440*P_372+2540160*P_862+846720*P_864-3386880*P_981-846720*P_2080+846720*P_2100-1693440*P_2103-846720*P_2105+846720*P_2120+2540160*P_2222-846720*P_2239-1693440*P_2548-846720*P_3312-2540160*P_3338,
4515840*P_215-4515840*P_217-4515840*P_374+4515840*P_381+4515840*P_493-4515840*P_498+2257920*P_866-2257920*P_871-2257920*P_983+2257920*P_990+2257920*P_1312-2257920*P_1314+4515840*P_2082-2257920*P_2107+2257920*P_2127-2257920*P_2141-4515840*P_2201+2257920*P_2224-2257920*P_2244+2257920*P_2258+4515840*P_2530-2257920*P_2550+2257920*P_2570-2257920*P_2584-2257920*P_3314+2257920*P_3317-2257920*P_3319,
9031680*P_212-6773760*P_371-2257920*P_376+6773760*P_488+2257920*P_495+4515840*P_1310+6773760*P_2079+2257920*P_2137-6773760*P_2196-2257920*P_2242+4515840*P_2522+2257920*P_2525-2257920*P_2527+2257920*P_2568-2257920*P_2582+4515840*P_3315,
-2257920*P_206-6773760*P_211+9031680*P_370-6773760*P_487-2257920*P_489-4515840*P_980-6773760*P_2078-2257920*P_2133+2257920*P_2192+4515840*P_2195+2257920*P_2197+2257920*P_2221+2257920*P_2252-6773760*P_2521-2257920*P_2547-4515840*P_3311,
2257920*P_203+6773760*P_210-2257920*P_367-6773760*P_369+9031680*P_486+4515840*P_860-2257920*P_2072+2257920*P_2075+4515840*P_2077-2257920*P_2101+2257920*P_2118-6773760*P_2194-2257920*P_2237+6773760*P_2520+2257920*P_2546+4515840*P_3310,
1128960*P_364-1693440*P_469+564480*P_483+1128960*P_856-1693440*P_961+564480*P_973+564480*P_1245+564480*P_1270+1128960*P_1290-564480*P_1302-564480*P_1304+2257920*P_2236-564480*P_2545-1693440*P_2565+564480*P_3309-1693440*P_3355,
564480*P_349-1693440*P_363+1128960*P_468+564480*P_841-1693440*P_853+1128960*P_958-564480*P_1244-564480*P_1267-564480*P_1287-564480*P_1289+1128960*P_1301-2257920*P_2116+564480*P_2539+1693440*P_2564-564480*P_3303+1693440*P_3354,
-1128960*P_199+1693440*P_448-564480*P_482-1128960*P_855-564480*P_915+1128960*P_940+564480*P_960-564480*P_969+564480*P_974-1693440*P_1269+564480*P_1298-1693440*P_2215-564480*P_2235+2257920*P_2544-564480*P_3308+1693440*P_3334,
1128960*P_184+1128960*P_198-1693440*P_328+564480*P_362-1693440*P_447+564480*P_467+564480*P_795-1128960*P_820+564480*P_840+564480*P_849+1128960*P_852+564480*P_854+564480*P_914-1128960*P_937+564480*P_954-564480*P_957-1128960*P_959-564480*P_971+1693440*P_1266+1693440*P_1268-564480*P_1283-564480*P_1297+1693440*P_2095+564480*P_2115+1693440*P_2209+564480*P_2234-2257920*P_2538-2257920*P_2543+564480*P_3302+564480*P_3307-1693440*P_3328-1693440*P_3333,
-2257920*P_183+3386880*P_327-1128960*P_347-1128960*P_794+2257920*P_817-1128960*P_834-1128960*P_837-1128960*P_851+2257920*P_956-3386880*P_1265+1128960*P_1282-3386880*P_2089-1128960*P_2114+4515840*P_2537-1128960*P_3301+3386880*P_3327,
-2257920*P_184+2257920*P_198+564480*P_328+2822400*P_362-564480*P_447-2822400*P_467-564480*P_795-1693440*P_840+2822400*P_849+2257920*P_852-564480*P_854+564480*P_914-2822400*P_954-564480*P_957+2257920*P_959-1693440*P_971+1128960*P_1243+1128960*P_1263+564480*P_1266-564480*P_1268+1693440*P_1283-1693440*P_1297+2822400*P_2095+3951360*P_2115-2822400*P_2209-3951360*P_2234+1128960*P_2538-1128960*P_2543+1128960*P_3296+564480*P_3302-564480*P_3307+1693440*P_3328-1693440*P_3333-3386880*P_3353,
1693440*P_163-5080320*P_197+3386880*P_446+1693440*P_819-5080320*P_848-1693440*P_913+1693440*P_933-1693440*P_938+1693440*P_953+3386880*P_967-3386880*P_1262-6773760*P_2094+1693440*P_2208+5080320*P_2213-1693440*P_3295+5080320*P_3332,
-1693440*P_162+5080320*P_182-3386880*P_326+1693440*P_793-1693440*P_813-1693440*P_816+3386880*P_833+1693440*P_847+1693440*P_935-5080320*P_952+3386880*P_1261+5080320*P_2088+1693440*P_2093-6773760*P_2207+1693440*P_3294-5080320*P_3326,
-2257920*P_196+2257920*P_360-2257920*P_420+1128960*P_445-1128960*P_465+1128960*P_474-1128960*P_477-3386880*P_912-1128960*P_970+3386880*P_1241+1128960*P_1296+3386880*P_2187-1128960*P_2233-3386880*P_2516+1128960*P_2542-4515840*P_3306,
2257920*P_181+2257920*P_193+2257920*P_300-1128960*P_325-1128960*P_345-1128960*P_354-1128960*P_357-2257920*P_359+2257920*P_419-1128960*P_442-1128960*P_459+2257920*P_462+1128960*P_464+1128960*P_476+3386880*P_792+1128960*P_850+3386880*P_909+1128960*P_955-3386880*P_1238-3386880*P_1240-1128960*P_1281-1128960*P_1295-3386880*P_2067+1128960*P_2113-3386880*P_2181+1128960*P_2232+3386880*P_2510+3386880*P_2515-1128960*P_2536-1128960*P_2541+4515840*P_3300+4515840*P_3305,
-4515840*P_178-4515840*P_299+2257920*P_322+2257920*P_339+2257920*P_344+2257920*P_356-4515840*P_461-6773760*P_789-2257920*P_835+6773760*P_1237+2257920*P_1280+6773760*P_2061-2257920*P_2112-6773760*P_2509+2257920*P_2535-9031680*P_3299,
-6773760*P_135-3386880*P_160-3386880*P_180-3386880*P_189-3386880*P_192+6773760*P_194+6773760*P_324+6773760*P_353-6773760*P_418+6773760*P_438-3386880*P_441-3386880*P_443-3386880*P_458-3386880*P_472-10160640*P_791-3386880*P_846-10160640*P_905+10160640*P_910-3386880*P_934+3386880*P_965+10160640*P_1234+3386880*P_1260+10160640*P_2066-3386880*P_2092+10160640*P_2174-10160640*P_2185+3386880*P_2206-3386880*P_2231-10160640*P_2503+3386880*P_2540-13547520*P_3293-13547520*P_3304,
6773760*P_134+3386880*P_157+3386880*P_174+6773760*P_177-3386880*P_179-3386880*P_191+6773760*P_298-6773760*P_318-3386880*P_321-3386880*P_323-3386880*P_338-3386880*P_352+6773760*P_440+6773760*P_457+10160640*P_785+10160640*P_788+3386880*P_814+3386880*P_831-10160640*P_907-3386880*P_950-10160640*P_1233-3386880*P_1259-10160640*P_2054-10160640*P_2060+3386880*P_2091+3386880*P_2111+10160640*P_2179-3386880*P_2205+10160640*P_2502-3386880*P_2534+13547520*P_3292+13547520*P_3298,
-27095040*P_133-13547520*P_156+13547520*P_158-13547520*P_173+13547520*P_187+27095040*P_317-27095040*P_436-40642560*P_784-13547520*P_810+40642560*P_903+13547520*P_929+40642560*P_2053-13547520*P_2090-40642560*P_2172+13547520*P_2204-54190080*P_3291,
-9031680*P_181+9031680*P_193+2257920*P_325+6773760*P_345-11289600*P_354+2257920*P_357-9031680*P_359-2257920*P_442+11289600*P_459-9031680*P_462+2257920*P_464+6773760*P_476-2257920*P_792+11289600*P_850+2257920*P_909-11289600*P_955-4515840*P_1235+2257920*P_1238-2257920*P_1240+4515840*P_1264+6773760*P_1281-6773760*P_1295-11289600*P_2067+15805440*P_2113+11289600*P_2181-15805440*P_2232-4515840*P_2504-6773760*P_2510+6773760*P_2515-2257920*P_2536+2257920*P_2541+13547520*P_2561-4515840*P_3300+4515840*P_3305,
6773760*P_160+2257920*P_180+2257920*P_189-11289600*P_192+9031680*P_194-9031680*P_324+9031680*P_353-9031680*P_438+11289600*P_441-2257920*P_443-2257920*P_458-6773760*P_472+2257920*P_791-11289600*P_846+2257920*P_905-4515840*P_908+2257920*P_910+6773760*P_934+4515840*P_951+6773760*P_965+2257920*P_1234-11289600*P_1260+11289600*P_2066-15805440*P_2092-6773760*P_2174-4515840*P_2180-6773760*P_2185+2257920*P_2206+13547520*P_2211+2257920*P_2231+11289600*P_2503-15805440*P_2540+4515840*P_3293-4515840*P_3304,
-6773760*P_157-2257920*P_174+9031680*P_177-11289600*P_179+2257920*P_191+9031680*P_318-2257920*P_321+11289600*P_323-6773760*P_338-2257920*P_352-9031680*P_440+9031680*P_457-2257920*P_785+2257920*P_788-4515840*P_790-6773760*P_814+6773760*P_831+4515840*P_845+2257920*P_907-11289600*P_950-2257920*P_1233+11289600*P_1259+6773760*P_2054-6773760*P_2060-4515840*P_2065+13547520*P_2086+2257920*P_2091-2257920*P_2111+11289600*P_2179-15805440*P_2205-11289600*P_2502+15805440*P_2534-4515840*P_3292+4515840*P_3298,
-13547520*P_132-40642560*P_190+13547520*P_296+40642560*P_351+13547520*P_410-13547520*P_413+13547520*P_439-13547520*P_456-27095040*P_470-27095040*P_906+27095040*P_1232+54190080*P_2064-13547520*P_2178-40642560*P_2183+13547520*P_2501+40642560*P_2512,
13547520*P_129+40642560*P_175-13547520*P_290-13547520*P_295-13547520*P_319-27095040*P_336-13547520*P_350+13547520*P_412+40642560*P_455+27095040*P_786-27095040*P_1231-40642560*P_2058-13547520*P_2063+54190080*P_2177-13547520*P_2500-40642560*P_2506,
-27095040*P_128+27095040*P_130-54190080*P_154-27095040*P_171+27095040*P_185+27095040*P_289+81285120*P_315-27095040*P_408-81285120*P_434-54190080*P_782+54190080*P_901+81285120*P_2051+27095040*P_2062-81285120*P_2170-27095040*P_2176+108380160*P_2499,
-22579200*P_184+22579200*P_198+22579200*P_328-22579200*P_362-22579200*P_447+22579200*P_467-22579200*P_795+11289600*P_849-11289600*P_852+11289600*P_854+22579200*P_914-11289600*P_954+11289600*P_957-11289600*P_959-22579200*P_1243+11289600*P_1263-11289600*P_1266+11289600*P_1268+11289600*P_2095-11289600*P_2115-11289600*P_2209+11289600*P_2234+11289600*P_2538-11289600*P_2543+11289600*P_3296-11289600*P_3302+11289600*P_3307,
-22579200*P_181+22579200*P_193+22579200*P_325-11289600*P_354-11289600*P_357+11289600*P_359-22579200*P_442+11289600*P_459+11289600*P_462-11289600*P_464-22579200*P_792-22579200*P_850+22579200*P_909+22579200*P_955-11289600*P_1235-11289600*P_1238+11289600*P_1240-22579200*P_1264-11289600*P_2067-11289600*P_2113+11289600*P_2181+11289600*P_2232-11289600*P_2504+11289600*P_2536-11289600*P_2541-11289600*P_3300+11289600*P_3305,
22579200*P_180-11289600*P_189-11289600*P_192-11289600*P_194-22579200*P_324+22579200*P_353+11289600*P_438+11289600*P_441+11289600*P_443-22579200*P_458+22579200*P_791+22579200*P_846-11289600*P_905-11289600*P_908-11289600*P_910-22579200*P_951+22579200*P_1234+22579200*P_1260+11289600*P_2066+11289600*P_2092-11289600*P_2180-11289600*P_2206-11289600*P_2231+11289600*P_2503+11289600*P_2540+11289600*P_3293-11289600*P_3304,
11289600*P_174-11289600*P_177-11289600*P_179+22579200*P_191-11289600*P_318+11289600*P_321+11289600*P_323-22579200*P_352-22579200*P_440+22579200*P_457+11289600*P_785-11289600*P_788-11289600*P_790-22579200*P_845+22579200*P_907+22579200*P_950-22579200*P_1233-22579200*P_1259-11289600*P_2065-11289600*P_2091+11289600*P_2111+11289600*P_2179+11289600*P_2205-11289600*P_2502-11289600*P_2534-11289600*P_3292+11289600*P_3298,
90316800*P_169-67737600*P_313-22579200*P_333+67737600*P_427+22579200*P_452+67737600*P_780-22579200*P_826-67737600*P_894+22579200*P_945+45158400*P_1217+22579200*P_1223-22579200*P_1228+22579200*P_1249-22579200*P_1254-45158400*P_2533+45158400*P_3297,
-22579200*P_148-67737600*P_168+90316800*P_312-67737600*P_426-22579200*P_431-67737600*P_779+22579200*P_805+22579200*P_887+45158400*P_893+22579200*P_898-22579200*P_919-22579200*P_944-67737600*P_1216+22579200*P_1253+45158400*P_2203-45158400*P_3290,
22579200*P_142+67737600*P_167-22579200*P_306-67737600*P_311+90316800*P_425-22579200*P_767+22579200*P_773+45158400*P_778-22579200*P_804+22579200*P_824-67737600*P_892+22579200*P_918+67737600*P_1215-22579200*P_1247-45158400*P_2083+45158400*P_3289,
45158400*P_120-135475200*P_166-45158400*P_284+135475200*P_310-45158400*P_392+45158400*P_398-90316800*P_424-45158400*P_429+45158400*P_449-180633600*P_777+135475200*P_891+45158400*P_896-135475200*P_1214-45158400*P_1225-90316800*P_2175+90316800*P_2498,
-45158400*P_114+135475200*P_165+45158400*P_272+45158400*P_283-45158400*P_304-90316800*P_309-45158400*P_329-45158400*P_397+135475200*P_423+45158400*P_771+135475200*P_776-180633600*P_890+135475200*P_1213+45158400*P_1219+90316800*P_2055-90316800*P_2497,
90316800*P_113-90316800*P_118+90316800*P_139-90316800*P_144-180633600*P_164-90316800*P_271+270950400*P_308+90316800*P_390-270950400*P_422-90316800*P_764-270950400*P_775+90316800*P_883+270950400*P_889-361267200*P_1212-180633600*P_2048+180633600*P_2167,
10160640*P_264+10160640*P_756-10160640*P_2031,
-10160640*P_263-10160640*P_753+10160640*P_2025,
-10160640*P_99-10160640*P_755+10160640*P_2030,
10160640*P_54+10160640*P_98+10160640*P_752+10160640*P_754-10160640*P_2024-10160640*P_2029,
-20321280*P_53-20321280*P_751+20321280*P_2023,
-10160640*P_54+10160640*P_98+20321280*P_262+20321280*P_749+10160640*P_752-10160640*P_754-20321280*P_2018-10160640*P_2024+10160640*P_2029,
-30481920*P_97-30481920*P_748+30481920*P_2017,
30481920*P_52+30481920*P_747-30481920*P_2016,
-20321280*P_96+20321280*P_260+20321280*P_2028,
20321280*P_51+20321280*P_93-20321280*P_257-20321280*P_259-20321280*P_2022-20321280*P_2027,
-40642560*P_48+40642560*P_256+40642560*P_2021,
-60963840*P_50-60963840*P_89+60963840*P_94+60963840*P_253+60963840*P_2015+60963840*P_2026,
60963840*P_44+60963840*P_47-60963840*P_91-60963840*P_252-60963840*P_2014-60963840*P_2020,
-243855360*P_43+243855360*P_87+243855360*P_2013,
-40642560*P_51+40642560*P_93-81285120*P_254+40642560*P_257-40642560*P_259+81285120*P_750+81285120*P_2010-40642560*P_2022+40642560*P_2027,
40642560*P_50+40642560*P_89-81285120*P_92+40642560*P_94+40642560*P_253-81285120*P_746-81285120*P_2009+40642560*P_2015-40642560*P_2026,
-40642560*P_44+40642560*P_47-81285120*P_49+40642560*P_91-40642560*P_252+81285120*P_745+81285120*P_2008-40642560*P_2014+40642560*P_2020,
-243855360*P_90+243855360*P_251-243855360*P_2007,
243855360*P_45-243855360*P_250+243855360*P_2006,
-487710720*P_41+487710720*P_85-487710720*P_2005,
60963840*P_84-60963840*P_248-60963840*P_741,
-60963840*P_39-60963840*P_78+60963840*P_242+60963840*P_247+60963840*P_735+60963840*P_740,
121927680*P_33-121927680*P_241-121927680*P_734,
182891520*P_38+182891520*P_71-182891520*P_82-182891520*P_235-182891520*P_728-182891520*P_739,
-182891520*P_26-182891520*P_32+182891520*P_76+182891520*P_234+182891520*P_727+182891520*P_733,
731566080*P_25-731566080*P_69-731566080*P_726,
731566080*P_36-731566080*P_63-731566080*P_80+731566080*P_227+731566080*P_244+731566080*P_720,
731566080*P_18-731566080*P_30+731566080*P_74-731566080*P_226-731566080*P_238-731566080*P_719,
-1463132160*P_17+1463132160*P_23+1463132160*P_61-1463132160*P_67+1463132160*P_231+1463132160*P_718,
-8778792960*P_15+8778792960*P_59-8778792960*P_223,
203212800*P_39-203212800*P_78+406425600*P_236-203212800*P_242+203212800*P_247-406425600*P_723-203212800*P_735+203212800*P_740+406425600*P_2019,
-203212800*P_38-203212800*P_71+406425600*P_77-203212800*P_82-203212800*P_235+406425600*P_722+203212800*P_728-203212800*P_739-406425600*P_2012,
203212800*P_26-203212800*P_32+406425600*P_37-203212800*P_76+203212800*P_234-406425600*P_721-203212800*P_727+203212800*P_733+406425600*P_2011,
-406425600*P_36+406425600*P_63+812851200*P_75-406425600*P_80-406425600*P_227-812851200*P_233+406425600*P_244+406425600*P_720+812851200*P_2004,
-406425600*P_18-406425600*P_30+812851200*P_35-406425600*P_74+406425600*P_226+812851200*P_232-406425600*P_238-406425600*P_719-812851200*P_2003,
812851200*P_17+812851200*P_23-1625702400*P_34-812851200*P_61-812851200*P_67+1625702400*P_73-812851200*P_231+812851200*P_718+1625702400*P_2002,
-3657830400*P_72+3657830400*P_230-3657830400*P_717,
3657830400*P_27-3657830400*P_229+3657830400*P_716,
-7315660800*P_20+7315660800*P_64-7315660800*P_715,
21946982400*P_12-21946982400*P_56+21946982400*P_220,
-406425600*P_54+406425600*P_98-406425600*P_262+203212800*P_749-203212800*P_752+203212800*P_754-203212800*P_2018+203212800*P_2024-203212800*P_2029,
-406425600*P_51+406425600*P_93-203212800*P_254-203212800*P_257+203212800*P_259-406425600*P_750+203212800*P_2010+203212800*P_2022-203212800*P_2027,
406425600*P_50-203212800*P_89-203212800*P_92-203212800*P_94+406425600*P_253+406425600*P_746-203212800*P_2009-203212800*P_2015+203212800*P_2026,
203212800*P_44-203212800*P_47-203212800*P_49+406425600*P_91-406425600*P_252-406425600*P_745+203212800*P_2008+203212800*P_2014-203212800*P_2020,
812851200*P_39-812851200*P_78+406425600*P_236+406425600*P_242-406425600*P_247-406425600*P_723+406425600*P_735-406425600*P_740-812851200*P_2019,
-812851200*P_38+406425600*P_71+406425600*P_77+406425600*P_82-812851200*P_235+406425600*P_722-406425600*P_728+406425600*P_739+812851200*P_2012,
-406425600*P_26+406425600*P_32+406425600*P_37-812851200*P_76+812851200*P_234-406425600*P_721+406425600*P_727-406425600*P_733-812851200*P_2011,
-1625702400*P_36-812851200*P_63+812851200*P_75+812851200*P_80+812851200*P_227-812851200*P_233-812851200*P_244+1625702400*P_720-1625702400*P_2004,
812851200*P_18+812851200*P_30+812851200*P_35-1625702400*P_74-812851200*P_226+812851200*P_232+812851200*P_238-1625702400*P_719+1625702400*P_2003,
-1625702400*P_17-1625702400*P_23-1625702400*P_34+1625702400*P_61+1625702400*P_67+1625702400*P_73-3251404800*P_231+3251404800*P_718-3251404800*P_2002,
7315660800*P_9,
-7315660800*P_8,
7315660800*P_7,
-14631321600*P_6,
14631321600*P_5,
-29262643200*P_4,
43893964800*P_3,
-43893964800*P_2,
87787929600*P_1,
-263363788800*P_0
};