V40000inW8V00010star = P -> {
P_12859,
-P_12703-P_12788-P_12845+P_12857,
P_11581+P_12338-P_12843+P_12855,
-2*P_12584+2*P_12689-2*P_12701-2*P_12760-2*P_12786+2*P_12839,
P_9865-P_12331-P_12779+P_12854,
P_11462-P_11567+P_11579-P_12044+P_12310+P_12336+P_12687-P_12699-P_12758-P_12784-P_12834+P_12837,
-6*P_12556-6*P_12582-6*P_12683+6*P_12754,
P_9830+P_11539+P_12659-P_12853,
P_9746-P_9851+P_9863+P_12037+P_12170+P_12325-P_12575-P_12698+P_12738-P_12770-P_12783+P_12836,
-2*P_10790-2*P_11565+2*P_11577+2*P_12308+2*P_12334+2*P_12830,
2*P_11434+2*P_11460+2*P_11561-2*P_12016-2*P_12042-2*P_12304-2*P_12554-2*P_12580+2*P_12678-2*P_12681-2*P_12749+2*P_12752,
24*P_12550,
P_6433-P_12330-P_12778+P_12841,
P_6314-P_6419+P_6431+P_12036+P_12169+P_12289-P_12574-P_12685+P_12737+P_12756-P_12769+P_12832,
-P_9536+P_9802+P_9828-P_11245-P_11378-P_11533-P_12498-P_12618+P_12650+P_12697+P_12782-P_12835,
-P_9074-P_9849+P_9861+P_10783+P_11453+P_11576+P_12168-P_12288+P_12323+P_12333+P_12766+P_12829,
2*P_9718+2*P_9744+2*P_9845+2*P_11834-2*P_12031-2*P_12164+2*P_12534-2*P_12566-2*P_12579-2*P_12680-2*P_12724+2*P_12751,
-2*P_10762-2*P_10788+2*P_11432+2*P_11458-2*P_11556+2*P_11559-2*P_12014-2*P_12040+2*P_12299-2*P_12302-2*P_12674+2*P_12745,
-6*P_11428+6*P_12010-6*P_12545+6*P_12548,
-P_6398-P_11538-P_12658+P_12840,
P_6104-P_6370-P_6396+P_11244+P_11377+P_11497+P_12497+P_12617-P_12649-P_12684+P_12755+P_12831,
-P_5642-P_6417+P_6429+P_10782+P_11452+P_11563+P_12167-P_12284-P_12306+P_12319+P_12730+P_12827,
2*P_6286+2*P_6312+2*P_6413+2*P_11833-2*P_11995+2*P_12114+2*P_12533+2*P_12552-2*P_12565-2*P_12676-2*P_12723+2*P_12747,
P_8150+P_9800+P_9826+P_10706-P_11243+P_11496-P_11531-P_11575-P_11958-P_12332-P_12646-P_12828,
-2*P_9508-2*P_9534-2*P_9796-2*P_11042+2*P_11239+2*P_11372-2*P_12443-2*P_12489+2*P_12578+2*P_12604+2*P_12679-2*P_12750,
-P_9046-P_9072+P_9716+P_9742-P_9840+P_9843+P_10580-P_10777-P_11412+P_11444+P_11457+P_11558+P_11832+P_11994-P_12029-P_12039+P_12159-P_12162+P_12274-P_12301+P_12562-P_12673+P_12720+P_12744,
-6*P_9712-6*P_11828-6*P_12520+6*P_12547,
-P_6391+P_9822+P_12657-P_12776,
2*P_9067+2*P_9737+2*P_9860-2*P_12148+2*P_12322+2*P_12765,
-6*P_10760-6*P_10786+6*P_11552-6*P_12295,
4*P_10756+4*P_11423-4*P_11426-4*P_12005+4*P_12008+4*P_12541,
-P_4718-P_6368-P_6394-P_10705+P_11242-P_11492+P_11527+P_11562+P_11957-P_12305+P_12610+P_12826,
2*P_6076+2*P_6102+2*P_6364+2*P_11041-2*P_11203+2*P_11322+2*P_12442+2*P_12488+2*P_12551-2*P_12603-2*P_12675+2*P_12746,
-P_5614-P_5640+P_6284+P_6310-P_6408+P_6411+P_10579-P_10741-P_11411-P_11430+P_11443+P_11554+P_11831+P_11990+P_12012-P_12025-P_12109+P_12112+P_12273-P_12297+P_12526-P_12671+P_12714+P_12742,
-6*P_6280+6*P_11778-6*P_12519+6*P_12543,
P_8122+P_8148-P_9506-P_9532+P_9791-P_9794-P_10328-P_10700-P_11040-P_11234+P_11237+P_11321+P_11370-P_11456-P_11482-P_11557-P_11903-P_11949+P_12038+P_12300+P_12485-P_12600+P_12672-P_12743,
-2*P_9044-2*P_9070+2*P_9836+2*P_10578+2*P_10740-2*P_10775-2*P_10785-2*P_11440+2*P_11551-2*P_12155-2*P_12270-2*P_12294,
6*P_9502+6*P_11036+6*P_12429-6*P_12546,
2*P_9040+2*P_9707-2*P_9710-2*P_10574+2*P_11398-2*P_11425+2*P_11823-2*P_11826-2*P_11980+2*P_12007+2*P_12516+2*P_12540,
P_6389-P_9820+P_11535-P_12326,
P_6097+P_6230+P_6385-P_9528-P_9661-P_9781-P_12496-P_12572-P_12616+P_12648+P_12735-P_12767,
P_5635+P_6305+P_6428+P_9066+P_9736+P_9847-P_12144-P_12147+P_12286+P_12318+P_12729+P_12763,
-P_8143+P_8990-P_9527+P_9660+P_9825-P_9859+P_11356-P_11530+P_11938-P_12321-P_12645-P_12764,
2*P_8864-2*P_9061-2*P_9696+2*P_9728+2*P_9741+2*P_9842-2*P_11812-2*P_12028+2*P_12134-2*P_12161+2*P_12561+2*P_12719,
-6*P_10751+6*P_10754-6*P_11419+6*P_12001,
-P_7940+P_8137-P_8612-P_8984+P_9486-P_9518-P_9531+P_9605+P_9651-P_9740-P_9793-P_9841+P_11020+P_11236-P_11342+P_11369-P_11707-P_11924+P_12027+P_12160+P_12484-P_12560-P_12599-P_12718,
2*P_8862+2*P_9024-2*P_9059-2*P_9069-2*P_9724+2*P_9835-2*P_10558-2*P_10774-2*P_11439-2*P_12130-2*P_12154-2*P_12269,
24*P_10747,
-4*P_8858+4*P_9682-4*P_9709+4*P_11798-4*P_11825+4*P_12515,
-P_4690-P_4716+P_6074+P_6100-P_6359+P_6362+P_10327-P_10650+P_11039+P_11198-P_11201-P_11317-P_11366-P_11429+P_11481+P_11553+P_11902+P_11948+P_12011-P_12296+P_12435+P_12594-P_12670+P_12741,
-2*P_5612-2*P_5638+2*P_6404+2*P_10577+2*P_10736+2*P_10758-2*P_10771-2*P_11404+2*P_11549+2*P_12105-2*P_12264-2*P_12292,
-6*P_6070+6*P_10986-6*P_12428+6*P_12542,
2*P_5608+2*P_6275-2*P_6278+2*P_10524+2*P_11397-2*P_11421-2*P_11773+2*P_11776-2*P_11979+2*P_12003+2*P_12510+2*P_12538,
2*P_5634+2*P_6304+2*P_6415-2*P_12143+2*P_12282+2*P_12727,
2*P_8120+2*P_8146-2*P_9787-2*P_10326-2*P_10649-2*P_10698+2*P_10784+2*P_11230+2*P_11478-2*P_11550+2*P_11945+2*P_12293,
-2*P_8116-2*P_9497+2*P_9500+2*P_10322-2*P_11031+2*P_11034-2*P_11307+2*P_11424+2*P_11889-2*P_12006-2*P_12425-2*P_12539,
-2*P_9035+2*P_9038-2*P_9703+2*P_10569-2*P_10572-2*P_10726+2*P_10753-2*P_11394-2*P_11418-2*P_11819+2*P_11976+2*P_12000,
-P_6095-P_6228-P_6348+P_6380+P_9526+P_9659+P_9779-P_9811-P_11241-P_11374-P_11494+P_11526+P_12032+P_12165+P_12285-P_12317,
-P_4711-P_5558-P_6348+P_6383+P_8142+P_8989+P_9776-P_9811-P_11241+P_11450-P_11956+P_12165-P_12609+P_12643+P_12728-P_12762,
-P_3002-P_5558-P_6228-P_6393+P_8142+P_9526+P_9846+P_10685-P_11352+P_11526-P_11937+P_12285+P_12470+P_12643+P_12728+P_12825,
-P_3002-P_4711-P_6095-P_6427+P_8989+P_9659-P_9798+P_10685+P_11355-P_11494+P_11934-P_12317+P_12470-P_12609-P_12762+P_12825,
2*P_5894-2*P_6091-2*P_6224-2*P_9325+2*P_9487-2*P_9606-2*P_12441-2*P_12487+2*P_12531-2*P_12563+2*P_12602-2*P_12721,
P_5432-P_5629-P_6264+P_6296+P_6309+P_6410+P_8863-P_9025-P_9695-P_9714+P_9727+P_9838-P_11808-P_11811-P_11992-P_12024+P_12079+P_12111+P_12133-P_12157+P_12525+P_12559+P_12713+P_12717,
-2*P_8066-2*P_9450-2*P_9824-2*P_11146+2*P_11529+2*P_12644,
2*P_7688+2*P_8060-2*P_9395-2*P_9441+2*P_9530+2*P_9792+2*P_10915+2*P_11132-2*P_11235-2*P_11368-2*P_12483+2*P_12598,
-P_7938-P_8100+P_8135+P_8145-P_8610-P_8933-P_8982+P_9068+P_9514-P_9647-P_9786-P_9834+P_10306-P_10453-P_10697+P_10773+P_11229+P_11338+P_11438+P_11477+P_11920+P_11944+P_12153+P_12268,
2*P_7934+2*P_8606-2*P_9472+2*P_9499-2*P_9591+2*P_9708-2*P_11006+2*P_11033+2*P_11693+2*P_11824-2*P_12424-2*P_12514,
2*P_8853-2*P_8856-2*P_9010+2*P_9037-2*P_9678-2*P_9702+2*P_10544-2*P_10571-2*P_11393-2*P_11794-2*P_11818+2*P_11975,
-P_2995-P_6208+P_6382-P_8969-P_9525+P_9636+P_9734-P_9810+P_11936-P_12145-P_12469-P_12761,
-2*P_4688-2*P_4714+2*P_6355+2*P_10325+2*P_10645+2*P_10694+2*P_10757-2*P_11194-2*P_11472+2*P_11548+2*P_11895-2*P_12291,
2*P_4684+2*P_6065-2*P_6068+2*P_10272-2*P_10981+2*P_10984+2*P_11306-2*P_11420-2*P_11888+2*P_12002+2*P_12419+2*P_12537,
-2*P_5603+2*P_5606-2*P_6271-2*P_10519+2*P_10522-2*P_10725+2*P_10749-2*P_11388-2*P_11416+2*P_11769+2*P_11970+2*P_11998,
P_4710-P_5557+P_6094-P_6227+P_6366+P_6414-P_11351+P_11490-P_11933+P_12281+P_12607+P_12726,
2*P_5431-2*P_5593-2*P_6263-2*P_6282+2*P_6295+2*P_6406-2*P_11807-2*P_11988+2*P_12078+2*P_12107+2*P_12523+2*P_12711,
-6*P_8842-6*P_9058-6*P_9723-6*P_12129,
2*P_8111-2*P_8114+2*P_9493-2*P_10317+2*P_10320+2*P_10635-2*P_10752+2*P_11027+2*P_11303+2*P_11417-2*P_11885-2*P_11999,
6*P_9031-6*P_10565+6*P_10722+6*P_10746,
P_4634+P_6018+P_6392+P_8065+P_9449-P_9797+P_11142+P_11145-P_11493-P_11525-P_12608-P_12642,
P_4709+P_5556-P_6376-P_8140-P_8987+P_9772+P_10702+P_10778-P_11487+P_11521+P_12278-P_12312,
-2*P_5892+2*P_6054-2*P_6086-2*P_6173-2*P_6219+2*P_6334+2*P_9323-2*P_9485+2*P_9517+2*P_9604+2*P_9650-2*P_9765-2*P_11038+2*P_11200-2*P_11232-2*P_11319-2*P_11365+2*P_11480+2*P_11829-2*P_11991+2*P_12023+2*P_12110+2*P_12156-2*P_12271,
-P_4508+P_4705+P_5180+P_5552+P_6054-P_6089-P_6173-P_6222+P_6334+P_7939-P_8101-P_8611+P_8934-P_9482+P_9517+P_9601+P_9650-P_9765-P_11038+P_11200-P_11232-P_11409+P_11441+P_11829-P_11901-P_11947+P_12110+P_12156-P_12434-P_12482+P_12524-P_12558-P_12593+P_12597+P_12712-P_12716,
-P_2974-P_3000+P_5180+P_5552-P_5892+P_6099-P_6173-P_6219+P_6361+P_7939-P_8101+P_9323-P_9485+P_9517-P_9713+P_9837-P_10307-P_10454-P_11016-P_11232+P_11287-P_11365+P_11480+P_11706+P_11923-P_11991+P_12110-P_12271-P_12405+P_12454-P_12482+P_12524+P_12597-P_12669+P_12712+P_12740,
-P_2974-P_3000-P_4508+P_4705-P_5892+P_6054-P_6086-P_6308-P_6409-P_8611+P_8934+P_9323+P_9504+P_9604+P_9650-P_9789-P_10307-P_10454+P_11019+P_11200-P_11319-P_11341+P_11480-P_11703-P_11869+P_12023+P_12156-P_12271-P_12405-P_12434+P_12454-P_12558-P_12593-P_12669-P_12716+P_12740,
P_5430+P_5592-P_5627-P_5637-P_6292+P_6403+P_8861+P_9020+P_9042-P_9055-P_9688+P_9833-P_10554-P_10557-P_10738-P_10770-P_11403-P_11437-P_12075+P_12104-P_12124-P_12152-P_12263-P_12267,
-6*P_5888-6*P_9270+6*P_12427-6*P_12517,
-2*P_5426+2*P_6250-2*P_6277+2*P_8808+2*P_9681-2*P_9705+2*P_11743+2*P_11775+2*P_11797-2*P_11821+2*P_12509+2*P_12513,
-P_2994-P_5537-P_6093-P_6207+P_6302+P_6346+P_9635-P_9774+P_11932-P_12141-P_12467-P_12725,
2*P_7686+2*P_8009+2*P_8058-2*P_8144+2*P_9437+2*P_9785+2*P_10201+2*P_10696-2*P_11128-2*P_11228-2*P_11476-2*P_11943,
-4*P_7682+4*P_9381-4*P_9498-4*P_10901-4*P_11032+4*P_12423,
-P_7929+P_7932+P_8086-P_8113-P_8601+P_8604+P_8919-P_9036+P_9468+P_9492+P_9587+P_9701-P_10292+P_10319+P_10439+P_10570+P_11002+P_11026+P_11302+P_11392-P_11689+P_11817-P_11884-P_11974,
-4*P_8849+4*P_9006+4*P_9030-4*P_10540-4*P_10564+4*P_10721,
-P_2918+P_5998-P_6381+P_8045-P_9426-P_9448+P_9657+P_9809-P_11144+P_11353+P_12468+P_12641,
P_2993-P_5536-P_6375-P_8139+P_8967+P_9062+P_9632+P_9805-P_10682-P_11347+P_12138-P_12311,
-P_2792+P_2989-P_5872-P_6088+P_6194-P_6221+P_8591+P_8738+P_9300-P_9322+P_9484-P_9571+P_9649-P_9693+P_9725-P_9764-P_11705-P_11809-P_11922+P_12131+P_12404-P_12453-P_12557-P_12715,
-2*P_5410-2*P_5626-2*P_6291-2*P_8838-2*P_8841-2*P_9022-2*P_9054-2*P_9687-2*P_9721-2*P_12074-2*P_12123-2*P_12127,
-2*P_4679+2*P_4682-2*P_6061-2*P_10267+2*P_10270-2*P_10634+2*P_10748+2*P_10977-2*P_11297-2*P_11415+2*P_11879+2*P_11997,
6*P_5599+6*P_10515+6*P_10716+6*P_10744,
-2*P_4633-2*P_6017+2*P_6365-2*P_11141+2*P_11489+2*P_12606,
P_4507-P_4669+P_5179-P_5502-P_6053-P_6072+P_6085-P_6172-P_6218-P_6281+P_6357+P_6405-P_11015-P_11196+P_11286+P_11315+P_11702+P_11868-P_11987+P_12106+P_12432+P_12522+P_12591+P_12710,
2*P_5429+2*P_5588+2*P_5610-2*P_5623-2*P_6256+2*P_6401-2*P_10553-2*P_10734-2*P_11401-2*P_12069+2*P_12102-2*P_12261,
2*P_7918+2*P_8134+2*P_8590-2*P_8737-2*P_8981+2*P_9057+2*P_9513-2*P_9646+2*P_9722+2*P_11337+2*P_11919+2*P_12128,
4*P_5376+4*P_6249-4*P_6273+4*P_11742+4*P_11771+4*P_12507,
-6*P_8107+6*P_10313-6*P_10631-6*P_10745,
6*P_8828-6*P_8855-6*P_9677-6*P_11793,
-P_4256-P_4628+P_5963+P_6009-P_6098-P_6360-P_7687+P_8010+P_9394+P_9440+P_9503-P_9788-P_10911-P_10914-P_11077-P_11131+P_11199+P_11231-P_11318+P_11364-P_12433+P_12481-P_12592-P_12596,
P_4506-P_4668+P_4700-P_5178+P_5501+P_5547+P_6082+P_6215-P_6330-P_7937+P_8099-P_8131+P_8609-P_8932-P_8978-P_9478+P_9597+P_9756-P_10324+P_10575+P_10647+P_10693-P_10737+P_10769+P_11193-P_11227-P_11312-P_11360-P_11471+P_11475-P_11984+P_12018+P_12103+P_12151+P_12262-P_12266,
2*P_3794-2*P_4668+2*P_4703+2*P_5501+2*P_5550-2*P_6330-2*P_7225+2*P_8096-2*P_8131-2*P_8929-2*P_8978+2*P_9756-2*P_10324+2*P_10575+2*P_11193-2*P_11227-2*P_11402+2*P_11436-2*P_11894-2*P_11942+2*P_12103+2*P_12151+2*P_12588-2*P_12707,
-P_2972-P_2998+P_3794+P_4506-P_4713+P_5501+P_5550+P_6215+P_6354-P_7225+P_8096-P_8131+P_8609+P_9041-P_9478+P_9832-P_10305+P_10449-P_10615+P_10669+P_10693-P_10737+P_11012-P_11227-P_11332-P_11402-P_11471+P_11547+P_11699-P_11865-P_11942+P_12103-P_12266-P_12290+P_12588-P_12707,
-P_2972-P_2998+P_3794-P_4668+P_4703-P_5178+P_5636+P_6082-P_6402-P_7225-P_7937-P_8118-P_8929-P_8978+P_9597-P_9784+P_10302-P_10452-P_10615+P_10647+P_10669+P_10769+P_11012+P_11193+P_11283+P_11436+P_11475+P_11547+P_11699-P_11894+P_11914+P_12151+P_12262-P_12290+P_12588-P_12707,
-6*P_5837-6*P_5883-6*P_6040+6*P_6159+6*P_9268+6*P_9314+6*P_9471-6*P_9590-6*P_10983-6*P_11029-6*P_11186+6*P_11305+6*P_11774+6*P_11820+6*P_11977-6*P_12096,
2*P_4502-2*P_5174-2*P_5837-2*P_5886-2*P_6040+2*P_6159+2*P_7884-2*P_8556+2*P_9265+2*P_9314+2*P_9471-2*P_9590-2*P_10983-2*P_11029-2*P_11186+2*P_11395+2*P_11774+2*P_11820+2*P_11887-2*P_12096-2*P_12418+2*P_12422+2*P_12508-2*P_12512,
2*P_2968-2*P_5174-2*P_5837-2*P_5883-2*P_6067+2*P_6159+2*P_7884+2*P_9268+2*P_9314+2*P_9471-2*P_9704-2*P_10076+2*P_10951-2*P_11029-2*P_11186+2*P_11305-2*P_11692+2*P_11774+2*P_11977-2*P_12096+2*P_12389+2*P_12422+2*P_12508+2*P_12536,
2*P_2968+2*P_4502-2*P_5837-2*P_5883-2*P_6040+2*P_6276-2*P_8556+2*P_9268+2*P_9314+2*P_9495-2*P_9590-2*P_10076-2*P_10983-2*P_11005-2*P_11186+2*P_11305-2*P_11638+2*P_11820+2*P_11977-2*P_12096+2*P_12389-2*P_12418-2*P_12512+2*P_12536,
P_5421-P_5424-P_5578+P_5605-P_6246-P_6270-P_8803+P_8806-P_9009+P_9033-P_9672-P_9700+P_10489+P_10521+P_10543-P_10567-P_11387-P_11391-P_11739+P_11768-P_11788-P_11816+P_11969+P_11973,
24*P_5823-24*P_9254+24*P_10969-24*P_11760,
P_2917-P_4613-P_5997+P_6016-P_6225+P_6345+P_9425-P_9773+P_11140-P_11349-P_12466-P_12605,
P_2992-P_4707-P_5532+P_5630+P_6200-P_6339+P_8963+P_9769-P_10678-P_11345+P_12136-P_12275,
-P_2791+P_2953+P_5159+P_5306-P_5871-P_5890-P_6084+P_6171+P_6193-P_6261+P_6293-P_6332+P_9299+P_9480-P_9570-P_9599-P_11701-P_11805-P_11867+P_12076+P_12402-P_12451-P_12521-P_12709,
-2*P_5406-2*P_5409-2*P_5590-2*P_5622-2*P_6255-2*P_6289-2*P_8837-2*P_9018-2*P_9685-2*P_12068-2*P_12072-2*P_12121,
2*P_7677-2*P_7680-2*P_7995+2*P_8112-2*P_9377-2*P_9491-2*P_10187-2*P_10318+2*P_10897-2*P_11025-2*P_11301+2*P_11883,
2*P_7925-2*P_8082-2*P_8106+2*P_8597-2*P_8915-2*P_9029+2*P_10288+2*P_10312-2*P_10435+2*P_10563-2*P_10630-2*P_10720,
P_2916+P_4612+P_6374-P_8043-P_8062+P_8985-P_9422-P_9804+P_10681+P_11137+P_11519-P_11928,
P_2540+P_2912-P_5767-P_5984+P_6087+P_6220-P_7667-P_7814+P_9195+P_9321+P_9361-P_9393-P_9439-P_9515+P_9602+P_9763+P_10913+P_11017+P_11130-P_11339-P_12403+P_12452-P_12480+P_12595,
P_2790-P_2952+P_2984+P_5158+P_5305+P_5522+P_6081+P_6214-P_6329-P_7936+P_8098-P_8130-P_8589-P_8736+P_8859-P_8953-P_9021+P_9053+P_9296-P_9511-P_9567+P_9616-P_9644+P_9759+P_10304+P_10451+P_10668-P_11011+P_11282-P_11331+P_11802+P_12017-P_12073+P_12122+P_12150-P_12265,
P_2078-P_2952+P_2987+P_4486+P_4702+P_5305+P_5549-P_6190-P_6329+P_7205-P_7914-P_8130-P_8608-P_8733+P_8859+P_8899-P_8953-P_8977+P_9477-P_9511+P_9616-P_9686+P_9720+P_9755+P_10304-P_10555-P_11011+P_11435-P_11698+P_11864-P_11917-P_12073+P_12126+P_12150+P_12448-P_12706,
2*P_2078+2*P_2790-2*P_2997+2*P_5305+2*P_5549+2*P_6214+2*P_7205-2*P_7914-2*P_8130-2*P_8589-2*P_9021+2*P_9296-2*P_9511-2*P_9686+2*P_9831-2*P_10419+2*P_10668-2*P_11331-2*P_11669-2*P_11917-2*P_12073-2*P_12265+2*P_12448-2*P_12706,
P_2078+P_2790-P_2997+P_4486+P_4702+P_5158+P_5625+P_6081+P_6290+P_7205+P_7917+P_8098+P_8586-P_8733-P_8736+P_8931-P_8977+P_9053+P_9296+P_9477+P_9596-P_9644+P_9720+P_9831-P_10419+P_10668+P_11282+P_11335-P_11669+P_11864+P_11913+P_12122+P_12126-P_12265+P_12448-P_12706,
6*P_4675+6*P_10263+6*P_10625+6*P_10743,
2*P_2786+2*P_5858-2*P_5885+2*P_8360-2*P_9235-2*P_9267-2*P_9589+2*P_9679+2*P_11691+2*P_11795-2*P_12388-2*P_12511,
2*P_5396-2*P_5423-2*P_6245+2*P_8773+2*P_8805+2*P_8827-2*P_8851-2*P_9671-2*P_9675-2*P_11738-2*P_11787-2*P_11791,
2*P_4255-2*P_4578-2*P_5962-2*P_6008-2*P_6071+2*P_6356+2*P_10910+2*P_11076-2*P_11195+2*P_11314+2*P_12431+2*P_12590,
P_4505+P_4664+P_4686-P_4699+P_5177+P_5497+P_5546+P_5609-P_6046-P_6165+P_6352+P_6400-P_10301+P_10448-P_10643-P_10733-P_11191-P_11277-P_11400-P_11469-P_11859+P_11892+P_12101-P_12260,
-2*P_7666+2*P_7813+2*P_8057-2*P_8133+2*P_8485+2*P_8980+2*P_9436-2*P_9512+2*P_9645-2*P_11127-2*P_11336-2*P_11918,
2*P_4452+2*P_5124+2*P_6039-2*P_6063+2*P_6158-2*P_6272+2*P_10950+2*P_10979+2*P_11637+2*P_11770+2*P_12416+2*P_12506,
-2*P_5371+2*P_5374-2*P_5577+2*P_5601-2*P_6240-2*P_6268+2*P_10488+2*P_10517-2*P_11385-2*P_11733+2*P_11766+2*P_11967,
-2*P_7904+2*P_7931-2*P_8576+2*P_8603+2*P_8723+2*P_8854+2*P_9467+2*P_9586+2*P_9676+2*P_11001-2*P_11688+2*P_11792,
-6*P_8824-6*P_8848+6*P_9005-6*P_10539,
-P_4254-P_4577-P_4626+P_4712-P_6005-P_6353-P_7685-P_8005-P_8054-P_8117+P_9387-P_9783-P_10197-P_10200+P_10646-P_10692+P_11073+P_11122+P_11192+P_11226+P_11470+P_11474-P_11893+P_11941,
-2*P_3792-2*P_4696-2*P_5543+2*P_7223+2*P_8092-2*P_8925+2*P_10640+2*P_10688-2*P_10730+2*P_10764+2*P_11466-2*P_12257,
2*P_4250-2*P_5949+2*P_6066-2*P_7632-2*P_9380+2*P_9494-2*P_10846+2*P_10900-2*P_10982+2*P_11028-2*P_12417-2*P_12421,
2*P_4451+2*P_4497+2*P_4654-2*P_5123-2*P_5169-2*P_5487+2*P_5879+2*P_6036-2*P_6155-2*P_7882-2*P_7928-2*P_8085+2*P_8554+2*P_8600+2*P_8918+2*P_9261-2*P_9462+2*P_9581-2*P_10269-2*P_10315+2*P_10520+2*P_10566-2*P_10633+2*P_10723-2*P_10976-2*P_11024+2*P_11177-2*P_11181-2*P_11296+2*P_11300+2*P_11767+2*P_11815-2*P_11968+2*P_11972+2*P_12087-2*P_12091,
-2*P_3788+2*P_4451+2*P_4500+2*P_4654-2*P_5123-2*P_5172-2*P_5487+2*P_6036-2*P_6155-2*P_7170-2*P_7879-2*P_7928-2*P_8085+2*P_8551+2*P_8600+2*P_8918-2*P_9462+2*P_9581-2*P_10269-2*P_10315+2*P_10520+2*P_10566-2*P_10976-2*P_11024+2*P_11177-2*P_11181-2*P_11386+2*P_11390+2*P_11767+2*P_11815-2*P_11878+2*P_11882+2*P_12087-2*P_12091+2*P_12413-2*P_12503,
-P_2963+P_2966-P_3788+P_4451+P_4497+P_4681-P_5123-P_5172-P_5487+P_5879-P_6060-P_6155-P_7170-P_7879-P_7928-P_8085+P_8554+P_8600+P_9032+P_9261-P_9462-P_9699+P_10071-P_10074+P_10237-P_10315-P_10438+P_10520-P_10633+P_10723-P_10947-P_11024+P_11177-P_11181-P_11267-P_11296-P_11386-P_11414+P_11683+P_11767+P_11849+P_11882+P_11972+P_11996+P_12087-P_12091+P_12413-P_12503,
-P_2963+P_2966-P_3788+P_4451+P_4500+P_4654-P_5123-P_5169-P_5604+P_5879+P_6036+P_6269-P_7170-P_7882-P_7928-P_8109+P_8551+P_8600+P_8918+P_9261+P_9490+P_9581+P_10071-P_10074-P_10269-P_10291-P_10384+P_10566-P_10633+P_10723-P_10976+P_10996+P_11177-P_11181-P_11267+P_11300+P_11390-P_11414+P_11634+P_11815+P_11849-P_11878-P_11968+P_11996+P_12087-P_12091+P_12413-P_12503,
-2*P_5417+2*P_5574+2*P_5598+2*P_8799+2*P_9000+2*P_9028-2*P_10485+2*P_10514-2*P_10534-2*P_10562+2*P_10715+2*P_10719,
2*P_2770+2*P_2986-2*P_6189+2*P_8588+2*P_8703-2*P_8839-2*P_8952-2*P_9295+2*P_9615+2*P_9719+2*P_11668+2*P_12125,
-P_4245+P_4248+P_4563-P_4680+P_5945+P_6059+P_7627-P_7630+P_7994-P_8108+P_9371+P_9489-P_10132+P_10186-P_10268+P_10314+P_10842-P_10891-P_10975+P_11023+P_11295+P_11299-P_11877-P_11881,
-2*P_3737-2*P_3783-2*P_4493-2*P_4650+2*P_5165+2*P_5483+2*P_7168+2*P_7214-2*P_7875+2*P_8076+2*P_8547-2*P_8909-2*P_10262-2*P_10310+2*P_10513+2*P_10561+2*P_10624-2*P_10628-2*P_10714+2*P_10718-2*P_11172+2*P_11291+2*P_11963-2*P_12082,
-6*P_3737-6*P_3786-6*P_4650+6*P_5483+6*P_7165+6*P_7214+6*P_8076-6*P_8909-6*P_10262-6*P_10310+6*P_10513+6*P_10561-6*P_11172+6*P_11381+6*P_11873-6*P_12082,
2*P_2959-2*P_3737-2*P_3786-2*P_4493+2*P_4674+2*P_5483+2*P_7165+2*P_7214+2*P_8076+2*P_8547+2*P_9027-2*P_10067-2*P_10233-2*P_10310+2*P_10429+2*P_10513+2*P_10595+2*P_10624+2*P_10718+2*P_10742-2*P_11172+2*P_11381+2*P_11873-2*P_12082,
2*P_2959-2*P_3737-2*P_3786-2*P_4650+2*P_5165-2*P_5597+2*P_7165+2*P_7214-2*P_7875-2*P_8104-2*P_8909-2*P_10067-2*P_10262+2*P_10282+2*P_10380+2*P_10561+2*P_10595-2*P_10628-2*P_10714+2*P_10742-2*P_11172+2*P_11381+2*P_11873-2*P_12082,
-6*P_4437+6*P_5109-6*P_5819+6*P_7868-6*P_8540+6*P_9245+6*P_10255-6*P_10506-6*P_10960+6*P_10964+6*P_11751-6*P_11755,
-P_2915-P_4608+P_4630-P_5553+P_5990-P_6338+P_8039+P_9768-P_10677-P_11135-P_11483+P_11926,
-P_2539+P_2862+P_4235+P_4382+P_5766-P_5889+P_5961+P_5983+P_6007-P_6051-P_6216-P_6331-P_9194-P_9360+P_9479-P_9598-P_10909-P_11013-P_11075+P_11284+P_12401-P_12430-P_12450-P_12589,
P_2789-P_2951+P_2983-P_4504+P_4666-P_4698+P_5154+P_5301+P_5427+P_5467-P_5589+P_5621+P_5864+P_6045-P_6135-P_6164+P_6184-P_6323-P_8585-P_8732-P_8898-P_9475+P_9594+P_9753+P_10300+P_10447+P_10613-P_11009+P_11280-P_11329+P_11800+P_11981-P_12071-P_12100+P_12120-P_12259,
P_2077-P_2948+P_2983+P_3773+P_4485+P_4666-P_5176+P_5304+P_5427+P_5467-P_5499-P_5521+P_6045-P_6079-P_6135-P_6254+P_6288-P_6327-P_7913-P_8094-P_8732+P_8927+P_9561+P_9753+P_10300-P_10551-P_11009+P_11399-P_11696+P_11858-P_11911-P_12067-P_12100+P_12120+P_12393-P_12705,
P_2077+P_2789+P_2970+P_3773-P_4482-P_4698-P_5157+P_5301+P_5304-P_5499+P_5545-P_5589+P_5864-P_6079-P_6164+P_6212-P_6254+P_6399-P_7913-P_8094-P_8585-P_9017-P_9475-P_9684-P_10418+P_10613-P_11276-P_11329-P_11663-P_11862-P_11911-P_12067-P_12071-P_12259+P_12393-P_12705,
2*P_2077+2*P_2789+2*P_2970+2*P_3773+2*P_4485+2*P_4666+2*P_5154+2*P_5621+2*P_5864+2*P_6045+2*P_6288+2*P_6399-2*P_8732+2*P_8927+2*P_9594-2*P_10418+2*P_10613+2*P_11280-2*P_11663+2*P_11858+2*P_12120-2*P_12259+2*P_12393-2*P_12705,
-2*P_2736+2*P_4928+2*P_5857-2*P_5881-2*P_6157+2*P_6247-2*P_9234-2*P_9263-2*P_11636+2*P_11740-2*P_12386-2*P_12505,
2*P_5341+2*P_5373+2*P_5395-2*P_5419-2*P_6239-2*P_6243+2*P_8772+2*P_8801-2*P_9669-2*P_11732-2*P_11736-2*P_11785,
-4*P_7673+4*P_7991+4*P_8105+4*P_10183-4*P_10311+4*P_10629,
-24*P_8823,
-P_2538+P_2861+P_2907-P_4234-P_4381-P_4598-P_6080-P_6213+P_6328+P_7665+P_7684+P_7812-P_8007+P_8029-P_8053-P_8607+P_8930+P_8976+P_9191+P_9357-P_9406+P_9510+P_9643-P_9758-P_10303-P_10450-P_10667-P_10906-P_11072+P_11121-P_11225-P_11358+P_11473+P_11697+P_11863-P_11912,
-P_1286+P_2861+P_2910-P_4234-P_4701-P_5053-P_5548+P_5980+P_6328+P_7100+P_7662+P_7684-P_7935-P_7975+P_8029+P_8129+P_8481+P_8976-P_9386-P_9406-P_9434+P_9595+P_9643-P_9754+P_10199-P_10450+P_11010-P_11072+P_11125-P_11225+P_11281-P_11334+P_11697-P_11940-P_12447+P_12586,
-P_1286-P_2538+P_2996-P_4381-P_4625-P_5053-P_5548-P_6004-P_6213+P_7100+P_7662+P_7665-P_7809-P_8053+P_8097+P_8129-P_8484+P_8930+P_9191-P_9434+P_9476+P_9510+P_9595-P_9782+P_10167-P_10667+P_10877+P_11121+P_11125+P_11281+P_11330+P_11473+P_11863+P_11916-P_12447+P_12586,
-2*P_1286-2*P_2538+2*P_2996-2*P_4234-2*P_4701-2*P_6080+2*P_7100+2*P_7812-2*P_8007+2*P_8481+2*P_8976+2*P_9191-2*P_9386+2*P_9643-2*P_9782+2*P_10167-2*P_10667+2*P_10877-2*P_11072-2*P_11334+2*P_11473-2*P_11912-2*P_12447+2*P_12586,
-P_2076-P_2980+P_3772-P_4695-P_5518-P_5542-P_7203+P_7222-P_7910+P_8091-P_8729+P_8895+P_8972-P_9014+P_9048+P_9750+P_10444+P_10548-P_10610+P_10663+P_10763+P_11326-P_12117-P_12256,
-2*P_2534+2*P_5753+2*P_5884-2*P_7436+2*P_9130+2*P_9266+2*P_9379-2*P_9469-2*P_10899-2*P_11003+2*P_12387+2*P_12420,
2*P_2735+2*P_2781+2*P_2938+2*P_4927-2*P_5144-2*P_5291+2*P_5878+2*P_6035-2*P_6154-2*P_7881-2*P_7927-2*P_8084-2*P_8358+2*P_8575+2*P_8722+2*P_8804+2*P_8850+2*P_9007-2*P_9231+2*P_9280-2*P_9308-2*P_9465+2*P_9551+2*P_9584+2*P_10073-2*P_10290-2*P_10437+2*P_10946-2*P_10995-2*P_11266-2*P_11737+2*P_11786+2*P_11814+2*P_11971+2*P_12057-2*P_12090,
-P_2072+P_2735+P_2784+P_2938-P_4472+P_4499+P_4927-P_5171-P_5291-P_5854+P_6035-P_6154+P_6974+P_7849-P_7927-P_8084-P_8355-P_8521-P_8553+P_8575+P_8722+P_8804+P_8850+P_8917-P_9260+P_9280-P_9308-P_9465+P_9551+P_9580-P_9670+P_9674+P_10073-P_10290+P_10541+P_10946-P_10995+P_11389-P_11682+P_11686-P_11737+P_11790+P_11814-P_11848+P_12057-P_12090+P_12383-P_12502,
-2*P_2072+2*P_2735+2*P_2781+2*P_2965+2*P_4927-2*P_5171-2*P_5291+2*P_5878-2*P_6154+2*P_6974+2*P_7849-2*P_7927-2*P_8084-2*P_8358+2*P_8575+2*P_8804+2*P_9007-2*P_9231+2*P_9280-2*P_9308-2*P_9465-2*P_9670-2*P_9698-2*P_10041-2*P_10290-2*P_10437-2*P_10995-2*P_11266+2*P_11653+2*P_11686-2*P_11737+2*P_11971+2*P_12057-2*P_12090+2*P_12383-2*P_12502,
-P_2072+P_2735+P_2781+P_2965-P_4472+P_4499+P_4927-P_5144+P_5422+P_5878+P_6035+P_6244+P_6974-P_7881-P_7903-P_8084-P_8358-P_8521-P_8553+P_8599-P_8668+P_8722+P_8850+P_9007-P_9231+P_9280-P_9308+P_9461+P_9580+P_9584+P_9674-P_9698-P_10041-P_10290-P_10437+P_10946+P_10999-P_11266+P_11633+P_11653-P_11682+P_11786+P_11790+P_11971+P_12057-P_12090+P_12383-P_12502,
-2*P_5392-2*P_5416+2*P_5573-2*P_8769+2*P_8798-2*P_8818-2*P_8846+2*P_8999+2*P_9003-2*P_10484-2*P_10533-2*P_10537,
2*P_2897+2*P_5996-2*P_6205-2*P_9424+2*P_9633+2*P_12465,
2*P_4253+2*P_4573+2*P_4622+2*P_4685-2*P_5955+2*P_6351+2*P_10196-2*P_10642-2*P_11067-2*P_11190-2*P_11468+2*P_11891,
-6*P_7561-6*P_8056-6*P_9435+6*P_11126,
4*P_4200+4*P_5948-4*P_6062+4*P_10845+4*P_10978+4*P_12415,
-P_4447+P_4450-P_4653+P_4677-P_5119+P_5122-P_5486+P_5600-P_6030-P_6058-P_6149-P_6267+P_10236+P_10265+P_10383+P_10516-P_10941+P_10974-P_11294-P_11384-P_11628+P_11765+P_11876+P_11966,
4*P_5367+4*P_5568+4*P_5596-4*P_10479+4*P_10512+4*P_10713,
2*P_7652-2*P_7679-2*P_7799-2*P_7930-2*P_8471-2*P_8602-2*P_9376-2*P_9466-2*P_9585+2*P_10896-2*P_11000+2*P_11687,
2*P_7900+2*P_7924-2*P_8081+2*P_8572+2*P_8596-2*P_8719+2*P_8847-2*P_8914-2*P_9004+2*P_10287-2*P_10434+2*P_10538,
-6*P_5405-6*P_5586-6*P_6253-6*P_12066,
-2*P_4481-2*P_4662-2*P_5153+2*P_5300-2*P_5495-2*P_5585-2*P_6043-2*P_6162-2*P_6252-2*P_11274-2*P_11856-2*P_12065,
-P_2518+P_2665+P_2909-P_2985+P_5979+P_6188-P_7664-P_7779+P_7915+P_8028-P_8451+P_8483-P_8734+P_8951-P_9190+P_9294-P_9405-P_9509-P_9614+P_9642-P_10876-P_11333-P_11667-P_11915,
2*P_2056-2*P_2979-2*P_5517-2*P_7202-2*P_7909+2*P_8699+2*P_8832+2*P_8947+2*P_9047+2*P_9610-2*P_10414-2*P_12116,
6*P_5340+6*P_5369-6*P_6237-6*P_11730,
2*P_4241-2*P_4559-2*P_4673-2*P_7623-2*P_7985-2*P_8103+2*P_10128-2*P_10177-2*P_10261+2*P_10309-2*P_10623-2*P_10627,
6*P_3779+6*P_7161-6*P_10619+6*P_10709,
-2*P_2756+2*P_2783-2*P_5853+2*P_8325+2*P_8357+2*P_8721+2*P_8825+2*P_9230+2*P_9550+2*P_9673-2*P_11652+2*P_11789,
-6*P_5391-6*P_8768-6*P_8817-6*P_8821,
4*P_3723+4*P_4433-4*P_5105-4*P_7154-4*P_7859+4*P_8531-4*P_10246+4*P_10250+4*P_10497-4*P_10501+4*P_10955-4*P_11746,
P_2537-P_2860-P_2906+P_4230-P_4252+P_4377+P_4543+P_4575+P_4621+P_5175-P_5498-P_5544-P_5759-P_5925+P_5974+P_6044-P_6163-P_6322-P_7661-P_7808-P_7974-P_9474+P_9593+P_9752+P_10299+P_10446+P_10612+P_10904+P_11070-P_11119+P_11189-P_11308-P_11467-P_11695-P_11861+P_11910,
P_1285-P_2857-P_2906-P_3668+P_4233-P_4252+P_4503+P_4543-P_4597+P_4665+P_5052-P_5498-P_5925+P_5954+P_6002-P_6163-P_6211-P_6326-P_7661-P_8093-P_8480+P_8926+P_9351+P_9752-P_10195+P_10446-P_11008+P_11066-P_11119+P_11189-P_11275+P_11328-P_11695-P_11890+P_12392-P_12585,
2*P_1285+2*P_2537+2*P_2969-2*P_3668+2*P_4377+2*P_4621+2*P_5052-2*P_5498-2*P_5759+2*P_6002-2*P_6163+2*P_6350-2*P_7661-2*P_8093-2*P_9474-2*P_10166+2*P_10612-2*P_10871-2*P_11119-2*P_11275-2*P_11467-2*P_11861+2*P_12392-2*P_12585,
P_1285+P_2537+P_2969-P_3668+P_4230+P_4233-P_4380+P_4575+P_4665+P_4697-P_5049-P_5544-P_5759+P_5954+P_6044+P_6078-P_6211+P_6350-P_7808+P_8003-P_8480+P_8926+P_9384+P_9593-P_10166+P_10612-P_10871+P_11066+P_11070+P_11279+P_11328-P_11467+P_11857+P_11910+P_12392-P_12585,
-P_2075-P_2944+P_3768+P_3790-P_4478-P_4693-P_5297+P_5492-P_5512-P_5582+P_5616+P_6318-P_7199+P_8089+P_8889-P_8922+P_10442+P_10546-P_10604+P_10657+P_10727+P_11271-P_12062-P_12255,
-2*P_2484+2*P_4004-2*P_5752-2*P_5880-2*P_5947+2*P_6037-2*P_9129-2*P_9262-2*P_10844+2*P_10948-2*P_12385-2*P_12414,
2*P_2734+2*P_2780+2*P_2937-2*P_4449-2*P_4495-2*P_4652+2*P_4923-2*P_5089+2*P_5236+2*P_5372+2*P_5418+2*P_5575-2*P_5799-2*P_5828+2*P_5848+2*P_6029+2*P_6119-2*P_6148-2*P_8354+2*P_8520-2*P_8667+2*P_9258-2*P_9459+2*P_9578+2*P_10069-2*P_10235+2*P_10382+2*P_10944-2*P_10993-2*P_11264-2*P_11735-2*P_11764+2*P_11784+2*P_11965+2*P_12055-2*P_12084,
P_2022+P_2731+P_2780+P_2937+P_3542-P_4449-P_4471-P_4652+P_4926-P_5089+P_5143-P_5167+P_5236+P_5372+P_5418+P_5485-P_5799-P_5828-P_5876+P_6029+P_6119-P_6152-P_6238+P_6242+P_7848+P_7877-P_8354-P_8549-P_8667+P_9225-P_9459+P_9578+P_10069-P_10235+P_10486+P_10944-P_10993+P_11383+P_11627-P_11631-P_11731-P_11764+P_11784-P_11846+P_12055-P_12084+P_12379-P_12501,
P_2022+P_2734+P_2780+P_2961+P_3542+P_4417-P_4495-P_4652+P_4923+P_5121+P_5143-P_5167+P_5236-P_5290+P_5372+P_5575-P_5799-P_5828+P_5848-P_6033-P_6148-P_6152-P_6238-P_6266+P_7848+P_7877-P_8354+P_8520+P_8800+P_9258-P_9459-P_9668-P_10040-P_10235+P_10382-P_10940-P_10993-P_11264+P_11603-P_11631+P_11680-P_11731-P_11735+P_11965+P_12055-P_12084+P_12379-P_12501,
2*P_2022+2*P_2734+2*P_2780+2*P_2961+2*P_3542-2*P_4449-2*P_4471-2*P_4652+2*P_4923-2*P_5089+2*P_5418+2*P_5575-2*P_5799-2*P_5828+2*P_5848+2*P_6029+2*P_6242-2*P_6266-2*P_8354-2*P_8549-2*P_8667+2*P_9258+2*P_9578-2*P_10040-2*P_10235+2*P_10382+2*P_10944-2*P_11264+2*P_11603+2*P_11627+2*P_11784+2*P_11965+2*P_12055-2*P_12084+2*P_12379-2*P_12501,
-2*P_5337+2*P_5366-2*P_5386-2*P_5414+2*P_5567+2*P_5571-2*P_8763+2*P_8796+2*P_8997-2*P_10478-2*P_10482-2*P_10531,
6*P_7899+6*P_8571-6*P_8718+6*P_8822,
2*P_4129+2*P_4624+2*P_6003+2*P_7557+2*P_7560-2*P_8006+2*P_8052-2*P_9385+2*P_9433-2*P_11071-2*P_11120-2*P_11124,
P_1284-P_2903+P_3667+P_4594+P_4694+P_5541-P_7098-P_7221+P_7658-P_7971-P_8000-P_8048-P_8124+P_8477+P_8923-P_9749-P_10192-P_10296+P_10609-P_10662+P_10686-P_11116+P_11464+P_11907,
-2*P_2483-2*P_2529-2*P_2847-2*P_4003+2*P_4220+2*P_4367-2*P_5877-2*P_6034+2*P_6153+2*P_7434+2*P_7629-2*P_7651+2*P_7675-2*P_7798+2*P_7993-2*P_8552-2*P_8598-2*P_8916+2*P_9126+2*P_9175+2*P_9307-2*P_9341+2*P_9464-2*P_9583-2*P_10072+2*P_10289+2*P_10436-2*P_10841-2*P_10890-2*P_11022+2*P_11056-2*P_11179+2*P_11298+2*P_11632+2*P_11681-2*P_11847,
P_1280-P_2483-P_2532-P_2847-P_4003+P_4220-P_4498+P_5039+P_5170-P_5749-P_6034+P_6153-P_6764+P_7431+P_7629-P_7651+P_7675-P_7744-P_7798-P_7880+P_8083+P_8416-P_8598-P_8916+P_9175+P_9259+P_9307-P_9341-P_9370+P_9374+P_9460-P_9583-P_10072-P_10185+P_10436-P_10841-P_10894+P_10994-P_10998-P_11022+P_11056-P_11179-P_11265+P_11632+P_11681+P_11880-P_12382+P_12411,
P_1280-P_2483-P_2529-P_2964-P_4003+P_4247+P_4367+P_5039+P_5170-P_5877+P_5944+P_6153-P_6764+P_7434-P_7597-P_7651+P_7675-P_7744-P_7880+P_7926+P_7993+P_8470-P_8552-P_8916+P_9126+P_9175+P_9307+P_9374+P_9460+P_9464+P_9488+P_9579-P_9950+P_10289+P_10436-P_10861-P_10890-P_10894+P_10945+P_10994+P_11056-P_11179+P_11298+P_11632-P_11685-P_11847-P_12382+P_12411,
2*P_1280-2*P_2483-2*P_2529-2*P_2964-2*P_4003+2*P_4220-2*P_4498-2*P_5877-2*P_6034-2*P_6764+2*P_7434+2*P_7629-2*P_7798+2*P_7993+2*P_8416-2*P_8598-2*P_8916+2*P_9126+2*P_9175+2*P_9307-2*P_9370+2*P_9488-2*P_9583-2*P_9950+2*P_10289+2*P_10436-2*P_10841-2*P_10861-2*P_10998+2*P_11056-2*P_11179+2*P_11298+2*P_11681-2*P_11847-2*P_12382+2*P_12411,
-P_2021-P_2067-P_2777-P_2934+P_3541-P_3758-P_4492-P_4649+P_5140+P_5164+P_5287+P_5482-P_6972+P_7167+P_7189+P_7213+P_7845-P_7874-P_7894+P_8075-P_8351-P_8517-P_8594-P_8713+P_8797+P_8845-P_8879-P_8912-P_8998+P_9002-P_9456+P_9575+P_10066+P_10232-P_10285+P_10428-P_10432-P_10483+P_10532+P_10560+P_10594+P_10717+P_10990+P_11261-P_11781+P_11962-P_12052-P_12081,
-2*P_2021-2*P_2070-2*P_2934+2*P_3541-2*P_3785+2*P_4468-2*P_4649+2*P_5287+2*P_5482-2*P_6969-2*P_7135+2*P_7189+2*P_7213-2*P_7894+2*P_8075-2*P_8546-2*P_8594-2*P_8713+2*P_8797+2*P_8845-2*P_8879-2*P_8908-2*P_9456+2*P_9665+2*P_10066+2*P_10232-2*P_10285-2*P_10483+2*P_10536+2*P_10560+2*P_10990+2*P_11380+2*P_11677+2*P_11843-2*P_12052-2*P_12081,
-2*P_2021-2*P_2070-2*P_2777+2*P_2958+2*P_3541-2*P_3785-2*P_4492+2*P_5287+2*P_5482-2*P_6969-2*P_7135+2*P_7189+2*P_7213-2*P_7894+2*P_8075-2*P_8351-2*P_8517-2*P_8594+2*P_8797+2*P_9002+2*P_9026-2*P_9456+2*P_9665+2*P_10037-2*P_10285+2*P_10399+2*P_10428-2*P_10483+2*P_10594+2*P_10717+2*P_10990+2*P_11380+2*P_11677+2*P_11843-2*P_12052-2*P_12081,
-P_2021-P_2070-P_2777+P_2958+P_3541-P_3785+P_4468-P_4649+P_5140+P_5164+P_5415-P_5572-P_6969-P_7135+P_7189+P_7213+P_7845-P_7874+P_7922-P_8079-P_8351-P_8546+P_8566+P_8664-P_8713+P_8845-P_8908-P_8912-P_8998+P_9026-P_9456+P_9665+P_10037+P_10232+P_10281+P_10379+P_10399-P_10432+P_10532+P_10536+P_10594+P_10717+P_10990+P_11380+P_11677+P_11843-P_12052-P_12081,
-6*P_2721-6*P_4913-6*P_5818+6*P_7867+6*P_8344-6*P_8790+6*P_9215+6*P_9248-6*P_10059-6*P_10930+6*P_11721-6*P_11754,
P_2892-P_2895+P_4610-P_5533-P_5989+P_6198-P_8038+P_8961+P_9419-P_9628+P_11343-P_11925,
-2*P_2519-2*P_2666-2*P_5765-2*P_5869-2*P_5982+2*P_6191+2*P_9193+2*P_9297+2*P_9359-2*P_9568-2*P_12400+2*P_12449,
P_2766+P_2769+P_2950+P_2982+P_5156+P_5271-P_5407-P_5520-P_5863-P_6134-P_6187+P_6287+P_8584+P_8702-P_8835-P_8897-P_9293+P_9560+P_9613+P_9683+P_11662+P_11666+P_12070+P_12119,
-2*P_4195+2*P_4198-2*P_4562+2*P_4676-2*P_5939-2*P_6057+2*P_10131+2*P_10264-2*P_10836+2*P_10973-2*P_11293+2*P_11875,
2*P_4443+2*P_4644+2*P_4672+2*P_5115+2*P_5477+2*P_5595-2*P_10227+2*P_10260-2*P_10374+2*P_10511+2*P_10622+2*P_10712,
6*P_7547+6*P_7678+6*P_9375-6*P_10895,
-2*P_7648-2*P_7672+2*P_7795-2*P_7923+2*P_7990+2*P_8080+2*P_8467-2*P_8595+2*P_8913+2*P_10182-2*P_10286+2*P_10433,
-2*P_4229+2*P_4376-2*P_4571-2*P_4661+2*P_5048-2*P_5494-2*P_5952-2*P_6042-2*P_6161-2*P_11064-2*P_11273-2*P_11855,
-2*P_2413-2*P_2908-2*P_5978+2*P_7527-2*P_7559+2*P_7810-2*P_8027+2*P_9189+2*P_9404-2*P_9432+2*P_10875+2*P_11123,
-P_1264+P_1951-P_2902+P_2978+P_4593+P_5516-P_7097+P_7201+P_7657-P_7775-P_7804-P_8023-P_8123-P_8447-P_8580+P_8727-P_8946+P_8970-P_9400-P_9609+P_10162+P_10413+P_11324+P_11906,
2*P_4416+2*P_4445+2*P_5088+2*P_5117+2*P_5235+2*P_5368-2*P_6027-2*P_6146-2*P_6236-2*P_10938-2*P_11625-2*P_11729,
-6*P_5331+6*P_5364+6*P_5565-6*P_10476,
P_2504-P_2531-P_2651-P_2782-P_5748+P_5852-P_7401-P_7433-P_7797-P_7901+P_8234-P_8356-P_8469-P_8573-P_9125-P_9229-P_9340-P_9463-P_9549-P_9582+P_10860-P_10997+P_11651+P_11684,
2*P_1825-2*P_2042-2*P_2776-2*P_2933+2*P_5139+2*P_5286-2*P_6971+2*P_7188+2*P_7844-2*P_7893+2*P_8321-2*P_8569-2*P_8683-2*P_8716-2*P_8767+2*P_8816+2*P_8844+2*P_9001+2*P_9274+2*P_9545-2*P_10036+2*P_10398-2*P_11780-2*P_12051,
2*P_1825-2*P_2069+2*P_2752-2*P_2933+2*P_4467+2*P_5286+2*P_6939+2*P_7188-2*P_7893+2*P_8350+2*P_8516-2*P_8569-2*P_8683-2*P_8712-2*P_8767+2*P_8820+2*P_8844-2*P_8878+2*P_9274+2*P_9664-2*P_10036+2*P_10535+2*P_11647-2*P_12051,
6*P_1825-6*P_2069-6*P_2776+6*P_5286+6*P_6939+6*P_7188-6*P_7893+6*P_8321-6*P_8569-6*P_8767+6*P_9001+6*P_9274+6*P_9664+6*P_10398+6*P_11647-6*P_12051,
2*P_1825-2*P_2069-2*P_2776+2*P_4467+2*P_5139+2*P_5390+2*P_6939+2*P_7188+2*P_7844+2*P_7897+2*P_8321+2*P_8516+2*P_8565+2*P_8663-2*P_8712-2*P_8716+2*P_8816+2*P_8820+2*P_9001+2*P_9274+2*P_9664+2*P_10398+2*P_11647-2*P_12051,
-6*P_3719+6*P_7145+6*P_10241-6*P_10492,
-2*P_4125-2*P_4128+2*P_4574-2*P_4620+2*P_5953-2*P_6001-2*P_7556+2*P_8002+2*P_9383+2*P_11065+2*P_11069+2*P_11118,
-P_1283-P_2853-P_3663+P_3789-P_4226+P_4568-P_4588+P_4616-P_4658-P_5045-P_5539+P_6317+P_7094+P_7965+P_8088-P_8921+P_10190+P_10294-P_10603+P_10636+P_10656+P_11061-P_11463-P_11852,
2*P_2482+2*P_2528+2*P_2846+2*P_3999-2*P_4165-2*P_4197-2*P_4243+2*P_4312-2*P_4561+2*P_5120+2*P_5166+2*P_5484-2*P_5694-2*P_5743-2*P_5827+2*P_5909+2*P_6028-2*P_6147-2*P_7430+2*P_7596-2*P_7743+2*P_9257-2*P_9458+2*P_9577+2*P_10068-2*P_10234+2*P_10381+2*P_10839+2*P_10888-2*P_10972-2*P_11054+2*P_11173-2*P_11292-2*P_11630-2*P_11679+2*P_11845,
P_1230+P_2479+P_2528+P_2846+P_3332+P_4002-P_4165-P_4197-P_4243+P_4312+P_4366+P_4494-P_4651-P_5038+P_5120+P_5484-P_5694-P_5827-P_5875+P_5909+P_5938-P_5942+P_6032-P_6147-P_7430+P_7596+P_7876-P_8415-P_8548+P_9120-P_9458+P_9577+P_10068-P_10130+P_10381+P_10835+P_10888-P_10939+P_10943-P_10972-P_11054+P_11173+P_11263-P_11630-P_11679-P_11874+P_12378-P_12410,
2*P_1230+2*P_2482+2*P_2528+2*P_2960+2*P_3332+2*P_3999-2*P_4243+2*P_4312-2*P_4561-2*P_5038+2*P_5120+2*P_5484-2*P_5694-2*P_5743-2*P_5827-2*P_5942-2*P_6056-2*P_6147-2*P_7430+2*P_7596+2*P_7876+2*P_9257-2*P_9458+2*P_9949-2*P_10234+2*P_10381+2*P_10811+2*P_10888-2*P_10939-2*P_11054+2*P_11173-2*P_11292-2*P_11630+2*P_11845+2*P_12378-2*P_12410,
P_1230+P_2482+P_2528+P_2960+P_3332+P_3999-P_4165-P_4197-P_4219+P_4366-P_4448+P_4494-P_4561-P_4984+P_5166+P_5484-P_5694-P_5743-P_5827+P_5938+P_6028+P_6032-P_6056+P_6151-P_7430-P_7625-P_7743-P_8415-P_8548+P_9257+P_9368+P_9577+P_9949-P_10234+P_10381+P_10811+P_10835+P_10839+P_10943+P_10992-P_11054+P_11173-P_11292+P_11626-P_11679+P_11845+P_12378-P_12410,
-P_2020-P_2066+P_2727-P_2928+P_3537-P_3703+P_3735+P_3781+P_4413-P_4462-P_4490-P_4647-P_4919-P_5114+P_5134-P_5232+P_5365+P_5413-P_5447+P_5476-P_5566+P_5570-P_6024+P_6143-P_6968+P_7134-P_7872+P_8073-P_8511+P_8544+P_8658-P_8906+P_10064+P_10226-P_10279-P_10373+P_10377-P_10481-P_10510+P_10530+P_10592+P_10711+P_10935+P_11257-P_11726+P_11961-P_12048-P_12080,
-2*P_2017-2*P_2066-2*P_2928+2*P_3540-2*P_3703+2*P_3735+2*P_3757+2*P_4413-2*P_4647-2*P_5114-2*P_5162-2*P_5232+2*P_5365+2*P_5413-2*P_5447+2*P_5480-2*P_6024+2*P_6233-2*P_6968-2*P_7163-2*P_7839+2*P_8073+2*P_8658-2*P_8906+2*P_10064+2*P_10226-2*P_10279-2*P_10477-2*P_10510+2*P_10530+2*P_10935+2*P_11379-2*P_11622+2*P_11839-2*P_12048-2*P_12080,
-P_2017-P_2066+P_2727+P_2956+P_3540-P_3703+P_3735+P_3757+P_4442-P_4462-P_4490+P_4643-P_4919-P_5085-P_5162-P_5232+P_5281+P_5365+P_5476+P_5480+P_5570+P_5594-P_6024+P_6233-P_6968-P_7163-P_7839+P_8073-P_8511+P_8544+P_8795+P_8996+P_10031-P_10230-P_10279+P_10349-P_10373+P_10426-P_10477-P_10481+P_10592+P_10711+P_10935+P_11379-P_11622+P_11839-P_12048-P_12080,
-2*P_2017-2*P_2066+2*P_2727+2*P_2956+2*P_3540-2*P_3703+2*P_3735+2*P_3757+2*P_4413-2*P_4647-2*P_4919-2*P_5114+2*P_5134+2*P_5413-2*P_5566+2*P_5594-2*P_6024+2*P_6233-2*P_6968-2*P_7163-2*P_7872+2*P_8658-2*P_8906+2*P_10031+2*P_10226+2*P_10349+2*P_10377+2*P_10530+2*P_10592+2*P_10711+2*P_10935+2*P_11379-2*P_11622+2*P_11839-2*P_12048-2*P_12080,
-4*P_7647+4*P_7794-4*P_7898+4*P_8466-4*P_8570+4*P_8717,
-6*P_2720+6*P_4435+6*P_4858-6*P_5358+6*P_5783-6*P_5812-6*P_8289+6*P_9242+6*P_10004-6*P_10928+6*P_11719-6*P_11748,
2*P_2765+2*P_2946+2*P_5152+2*P_5270-2*P_5403-2*P_5465-2*P_5861-2*P_6132+2*P_6251+2*P_9558+2*P_11660+2*P_12064,
-2*P_4115-2*P_4246-2*P_5943+2*P_7492-2*P_7546+2*P_7628-2*P_7674-2*P_9369-2*P_9373-2*P_10840+2*P_10889+2*P_10893,
P_1229+P_1275+P_2525+P_2843-P_3331-P_3653-P_4216-P_4363+P_4491+P_4648-P_5163-P_5481+P_6762+P_7084-P_7166-P_7212+P_7427+P_7622+P_7642+P_7670-P_7740-P_7921+P_7955-P_7984+P_7988-P_8078+P_8412+P_8461-P_8545+P_8907+P_9455-P_9574-P_10065-P_10127-P_10176-P_10280+P_10284-P_10308+P_10378+P_10431-P_10593-P_10626+P_10885-P_11051-P_11170+P_11289-P_11676+P_11842,
2*P_1229+2*P_1278+2*P_2843-2*P_3331+2*P_3784-2*P_4216+2*P_4648-2*P_5035-2*P_5481+2*P_6759+2*P_7030+2*P_7084-2*P_7212+2*P_7622+2*P_7642+2*P_7670-2*P_7873-2*P_7921+2*P_7955-2*P_8074+2*P_8461+2*P_8907+2*P_9365-2*P_9574-2*P_10065-2*P_10127-2*P_10180-2*P_10308+2*P_10378+2*P_10431-2*P_10989-2*P_11051-2*P_11170+2*P_11260-2*P_11676+2*P_11871,
P_1229+P_1278+P_2525-P_2957-P_3331+P_3784+P_4240-P_4363+P_4491-P_4558-P_5035-P_5481+P_6759+P_7030+P_7084-P_7212+P_7427+P_7593+P_7642+P_7670-P_7789-P_7873-P_7984-P_8074-P_8078-P_8102+P_8412-P_8545+P_8593-P_8911+P_9365-P_9574+P_9946-P_10147-P_10176-P_10180+P_10231+P_10284+P_10378-P_10427-P_10593-P_10626-P_10989-P_11051-P_11170+P_11260-P_11676+P_11871,
2*P_1229+2*P_1278+2*P_2525-2*P_2957-2*P_3331+2*P_3784-2*P_4216+2*P_4648-2*P_5163+2*P_6759+2*P_7030+2*P_7084-2*P_7212+2*P_7427+2*P_7622-2*P_7740-2*P_7921+2*P_7988-2*P_8102+2*P_8461+2*P_8907+2*P_9365-2*P_9574+2*P_9946-2*P_10127-2*P_10147-2*P_10280+2*P_10431-2*P_10593-2*P_10626-2*P_10989-2*P_11051-2*P_11170+2*P_11260-2*P_11676+2*P_11871,
2*P_2063+2*P_3754+2*P_3778-2*P_6965-2*P_7131+2*P_7160-2*P_8903+2*P_8993-2*P_10423-2*P_10527-2*P_10589+2*P_10708,
6*P_2469+6*P_3989+6*P_5817-6*P_7420-6*P_7615+6*P_8538-6*P_9110-6*P_9247+6*P_10058+6*P_10825+6*P_10962-6*P_11616,
2*P_2007+2*P_2717-2*P_3527+2*P_4432+2*P_4909-2*P_5104+2*P_6958-2*P_7153-2*P_7829-2*P_7858-2*P_8335+2*P_8501+2*P_8534+2*P_8781-2*P_8785+2*P_9239+2*P_10050-2*P_10054-2*P_10216+2*P_10467-2*P_10500+2*P_10925-2*P_11716-2*P_11745,
2*P_2888-2*P_4603+2*P_5526+2*P_8033-2*P_8956+2*P_10671,
-P_2514+P_2517-P_2661+P_2664-P_2827+P_2881-P_4232-P_4379-P_4596+P_5155+P_5302+P_5519+P_5758+P_5862+P_5924-P_5973-P_6133+P_6182+P_7660+P_7807+P_7973-P_8583-P_8730-P_8896-P_9188-P_9292-P_9354+P_9403+P_9563-P_9612+P_11007-P_11278+P_11327+P_11694+P_11860-P_11909,
2*P_1265+2*P_1952-2*P_2827+2*P_2881-2*P_4232+2*P_4483-2*P_5051+2*P_5302+2*P_5924-2*P_5977-2*P_6133+2*P_6186+2*P_7660-2*P_7911+2*P_8479-2*P_8730-2*P_9350+2*P_9403+2*P_9559-2*P_9612+2*P_11007+2*P_11694-2*P_12391+2*P_12445,
P_1265+P_1952+P_2517-P_2536-P_2661+P_2787-P_2905+P_2949+P_4347-P_4596-P_5051+P_5302-P_5729+P_5758-P_5977-P_6133-P_6210-P_6325+P_7660-P_7911+P_8450-P_8896+P_9155-P_9292+P_9403+P_9473+P_9559+P_9751+P_10165-P_10416+P_10870+P_11327+P_11665+P_11860-P_12391+P_12445,
P_1265+P_1952-P_2514-P_2536+P_2664+P_2787-P_2859-P_2981-P_4232+P_4483-P_5019+P_5519-P_5729+P_5862+P_5924-P_6077+P_6186-P_6325-P_7778+P_7973+P_8479-P_8730+P_9155-P_9188-P_9350-P_9592-P_9612+P_9751+P_10165-P_10416-P_10874-P_11278-P_11661-P_11909-P_12391+P_12445,
P_2052+P_2055-P_2943-P_2977-P_3770-P_4477+P_5267+P_5400-P_5462-P_5511+P_5615+P_6178-P_7198-P_7907+P_8693+P_8830+P_8892+P_8941+P_9011+P_9555-P_10408-P_10412-P_12061-P_12115,
4*P_4191+4*P_4553+4*P_4671-4*P_10122+4*P_10259+4*P_10621,
-4*P_2288+4*P_5751+4*P_5855+4*P_9128-4*P_9232+4*P_12384,
-P_2701-P_2733-P_2755+P_2779+P_4893+P_4925+P_5289+P_5393-P_5847-P_5851+P_6118+P_6241+P_8324+P_8353-P_8666+P_8770+P_9224+P_9228+P_9548+P_9667-P_11602-P_11650+P_11734+P_11783,
-4*P_5336-4*P_5385-4*P_5389-4*P_8762-4*P_8766-4*P_8815,
-6*P_7543+6*P_7671-6*P_7989-6*P_10181,
6*P_4124-6*P_4570-6*P_5951-6*P_11063,
-2*P_1159+2*P_2901-2*P_4592+2*P_7096+2*P_7523+2*P_7552+2*P_8022-2*P_8046-2*P_8475+2*P_9399-2*P_10161-2*P_11114,
2*P_4164+2*P_4193+2*P_4311+2*P_4444+2*P_4983+2*P_5116-2*P_5936-2*P_6026-2*P_6145-2*P_10833-2*P_10937-2*P_11624,
-2*P_4407+2*P_4440+2*P_4641-2*P_5079+2*P_5112-2*P_5226+2*P_5363+2*P_5474+2*P_5564-2*P_10224-2*P_10371-2*P_10475,
2*P_2399+2*P_2530+2*P_5747-2*P_7310+2*P_7432+2*P_7545+2*P_7649+2*P_9124+2*P_9339+2*P_9372-2*P_10859-2*P_10892,
-P_1033+P_1250-P_1615-P_1937+P_2524+P_2775+P_2842+P_2932-P_4215-P_4362-P_5138-P_5285+P_6761+P_6970+P_7083-P_7187-P_7397-P_7592+P_7641+P_7645-P_7739+P_7759-P_7788+P_7792-P_7920-P_8077+P_8230+P_8431+P_8515-P_8564+P_8568-P_8592+P_8662+P_8711+P_8715-P_8910+P_9169-P_9273-P_9335-P_9544-P_9945+P_10035-P_10146-P_10397+P_10988+P_11259-P_11675+P_11841,
-P_1033+P_1277-P_1615+P_2068-P_2500+P_2647+P_2842+P_2932-P_4215-P_4466-P_5034-P_5285-P_6729+P_6848+P_7083-P_7187-P_7426-P_7592+P_7641+P_7645+P_7759+P_7843+P_7892-P_7896-P_7920+P_7954-P_8349-P_8411+P_8431+P_8460-P_8464-P_8592+P_8662+P_8711+P_8715+P_8877+P_9169-P_9273-P_9454-P_9573-P_9945+P_10035-P_10283+P_10430-P_10855+P_11259-P_11646+P_11841,
-2*P_1033+2*P_1277-2*P_1615+2*P_2068+2*P_2524+2*P_2775-2*P_4362-2*P_5034-2*P_5285-2*P_6729+2*P_6848+2*P_7083-2*P_7187-2*P_7397+2*P_7641+2*P_7645-2*P_7788+2*P_7843+2*P_7892-2*P_8077+2*P_8230-2*P_8464+2*P_8515+2*P_8568+2*P_8662-2*P_8910+2*P_9169-2*P_9273-2*P_9454-2*P_9573-2*P_10146-2*P_10397-2*P_10855+2*P_11259-2*P_11646+2*P_11841,
-2*P_1033+2*P_1277-2*P_1615+2*P_2068+2*P_2524+2*P_2775-2*P_4215-2*P_4466-2*P_5138-2*P_6729+2*P_6848+2*P_7083-2*P_7187-2*P_7397-2*P_7592-2*P_7739+2*P_7792-2*P_7896-2*P_8077+2*P_8230-2*P_8411+2*P_8460-2*P_8564+2*P_8711+2*P_8715-2*P_8910+2*P_9169-2*P_9273-2*P_9454-2*P_9573-2*P_10146-2*P_10397-2*P_10855+2*P_11259-2*P_11646+2*P_11841,
2*P_2038+2*P_2062+2*P_3753+2*P_6935-2*P_6964-2*P_7130-2*P_8707-2*P_8811-2*P_8873+2*P_8992-2*P_10393-2*P_10526,
-4*P_1811+4*P_2716+4*P_4908+4*P_6957-4*P_7828-4*P_8305-4*P_8338+4*P_8751-4*P_8784+4*P_9209+4*P_10020-4*P_11715,
-2*P_2516-2*P_2631+2*P_2767+2*P_2880+2*P_5728+2*P_6185-2*P_8449+2*P_8700-2*P_9154+2*P_9291-2*P_9611-2*P_11664,
-2*P_4060+2*P_4114-2*P_4196+2*P_4242+2*P_5937+2*P_5941-2*P_7491-2*P_7624+2*P_9367+2*P_10834+2*P_10838-2*P_10887,
-P_1228-P_1274+P_2475-P_2837+P_3327-P_3598+P_3734+P_3780-P_3995+P_4161-P_4190-P_4238+P_4357+P_4441-P_4523+P_4552-P_4556-P_4642-P_4980-P_5029+P_5161+P_5479-P_6023+P_6142-P_6758+P_7029-P_7587+P_7734-P_7871+P_8072+P_8543-P_8905+P_10063+P_10125+P_10174+P_10225-P_10229-P_10258-P_10372-P_10425+P_10591+P_10620+P_10830+P_11047+P_11169-P_11288-P_11621-P_11838,
-2*P_1225-2*P_1274-2*P_2837+2*P_3330-2*P_3598-2*P_3652+2*P_3734+2*P_4161-2*P_4190-2*P_4238+2*P_4441+2*P_4489-2*P_4523-2*P_4646-2*P_4980+2*P_5479-2*P_5933+2*P_6142-2*P_6758-2*P_7162-2*P_7587+2*P_8072+2*P_8406-2*P_8905+2*P_10063+2*P_10121+2*P_10174-2*P_10258-2*P_10372-2*P_10425+2*P_10934+2*P_11047+2*P_11169-2*P_11256-2*P_11621-2*P_11870,
-2*P_1225-2*P_1274+2*P_2475+2*P_2955+2*P_3330-2*P_3598-2*P_3652+2*P_3734-2*P_3995-2*P_4238+2*P_4357+2*P_4441+2*P_4552+2*P_4670-2*P_4980+2*P_5479-2*P_5933+2*P_6142-2*P_6758-2*P_7162-2*P_7587+2*P_8072+2*P_8543-2*P_9940+2*P_10097+2*P_10174-2*P_10229-2*P_10372+2*P_10591+2*P_10620+2*P_10934+2*P_11047+2*P_11169-2*P_11256-2*P_11621-2*P_11870,
-P_1225-P_1274+P_2475+P_2955+P_3330-P_3598-P_3652+P_3734-P_3995+P_4161-P_4190+P_4210+P_4308+P_4489-P_4556-P_4642-P_4646+P_4670-P_5029-P_5113+P_5161-P_5475-P_5933+P_6142-P_6758-P_7162-P_7620+P_7734-P_7871-P_7982+P_8406-P_8905-P_9940+P_10097+P_10121+P_10125+P_10225+P_10278+P_10376-P_10425+P_10591+P_10620+P_10934+P_11047+P_11169-P_11256-P_11621-P_11870,
-2*P_2013-2*P_3533+2*P_3748+2*P_3776-2*P_5471+2*P_5561-2*P_7125+2*P_7158+2*P_10368-2*P_10472-2*P_10585+2*P_10707,
-6*P_7542+6*P_7646-6*P_7793-6*P_8465,
-6*P_2468+6*P_3934+6*P_4183-6*P_5106+6*P_5678-6*P_5811-6*P_7365+6*P_9241+6*P_10003-6*P_10823-6*P_10956+6*P_11614,
2*P_2006+2*P_2711+2*P_3472-2*P_3721-2*P_4397+2*P_4430-2*P_4854+2*P_5069-2*P_5098+2*P_5349-2*P_5353+2*P_5807-2*P_6903-2*P_7856+2*P_8280+2*P_8528-2*P_9995+2*P_9999-2*P_10214+2*P_10465-2*P_10494+2*P_10921-2*P_11712-2*P_11744,
P_2513-P_2660+P_2855+P_2945+P_4228+P_4346-P_4479-P_4541+P_5018-P_5047+P_5298-P_5464+P_5756-P_5860-P_5922+P_6041-P_6131+P_6160+P_9348+P_9557+P_10868+P_11272+P_11659+P_11854,
2*P_2051-2*P_2941-2*P_3766-2*P_4475+2*P_5261+2*P_5398-2*P_5456+2*P_5579+2*P_6123+2*P_8886-2*P_10406-2*P_12060,
-2*P_2700-2*P_2729+2*P_4892+2*P_4921-2*P_5234+2*P_5338-2*P_5845+2*P_6116+2*P_6235+2*P_9222-2*P_11600+2*P_11728,
-6*P_5330-6*P_5334-6*P_5383-6*P_8760,
2*P_4111-2*P_4239+2*P_4557-2*P_7488+2*P_7537+2*P_7621-2*P_7669+2*P_7983+2*P_7987-2*P_10126+2*P_10175+2*P_10179,
-2*P_1271+2*P_3649-2*P_3777+2*P_6755+2*P_7026-2*P_7159+2*P_7979-2*P_8069+2*P_10171+2*P_10275+2*P_10588-2*P_10617,
6*P_2751-6*P_8320-6*P_8682+6*P_8819,
-2*P_1215-2*P_2465+2*P_3317-2*P_3985-2*P_4431+2*P_5103-2*P_6748+2*P_7152+2*P_7411+2*P_7606-2*P_7610+2*P_7724+2*P_7861-2*P_8396-2*P_8529-2*P_9238-2*P_10049+2*P_10053+2*P_10111+2*P_10248-2*P_10362-2*P_10820+2*P_10953+2*P_11611,
-2*P_2003+2*P_3523-2*P_3718-2*P_6949+2*P_7115+2*P_7144+2*P_8525-2*P_8776-2*P_10045+2*P_10211-2*P_10462-2*P_10491,
P_2409+P_2412-P_2858+P_2904-P_4095+P_4127-P_4378+P_4595-P_5757+P_5923+P_5976+P_6000-P_7526+P_7555-P_7806+P_7972-P_9187-P_9349-P_9382-P_9402-P_10869-P_10873-P_11068-P_11117,
-2*P_2510-2*P_2657-2*P_2823+2*P_2872+2*P_4225+2*P_4372+2*P_4538-2*P_4587-2*P_5148-2*P_5295-2*P_5461+2*P_5510-2*P_7655-2*P_7802-2*P_7968+2*P_8017+2*P_8578+2*P_8725+2*P_8891-2*P_8940-2*P_10293-2*P_10440-2*P_10606+2*P_10655,
P_1260-P_1263+P_1947-P_1950-P_2823+P_2872+P_3665+P_3769+P_4225-P_4476+P_4538-P_4591+P_5044-P_5295-P_5461+P_5514+P_5968-P_6177-P_7093-P_7197-P_7655+P_7906-P_7964+P_8017-P_8474+P_8725+P_8887-P_8940-P_9345+P_9554-P_10293-P_10440-P_11269+P_11323+P_11851-P_11905,
P_1260-P_1282-P_1950+P_2073-P_2510-P_2657+P_2900-P_2942+P_3633+P_3665+P_4372-P_4587+P_5015-P_5295-P_5461-P_5538+P_5968+P_6316-P_7064-P_7197-P_7655+P_7769+P_8017+P_8087+P_8578+P_8891+P_9554-P_9747-P_10160-P_10407-P_10606+P_10655+P_10865-P_11269-P_11656-P_11905,
-P_1263-P_1282+P_1947+P_2073-P_2510-P_2657+P_2852+P_2976+P_3633+P_3769+P_4225-P_4343+P_4538-P_4691-P_5148+P_5510-P_6177+P_6316-P_7064-P_7093-P_7802-P_7968-P_8441+P_8725-P_8920-P_8940-P_9345-P_9747+P_10156+P_10411-P_10606+P_10655+P_10865+P_11323-P_11656+P_11851,
-2*P_2283+2*P_2286+2*P_2449-2*P_2503-2*P_2596-2*P_2650-2*P_4001+2*P_4218+2*P_4365+2*P_4924-2*P_5141-2*P_5288+2*P_5693+2*P_5742-2*P_5797+2*P_5846-2*P_5908+2*P_6117+2*P_7429-2*P_7595+2*P_7742-2*P_8352+2*P_8518-2*P_8665-2*P_9123-2*P_9172+2*P_9227-2*P_9276+2*P_9338-2*P_9547-2*P_10942+2*P_10991+2*P_11262+2*P_11629+2*P_11678-2*P_11844,
2*P_1034-2*P_1616+2*P_2449-2*P_2503-2*P_2596-2*P_2650-2*P_4001+2*P_4218-2*P_4469+2*P_4924+2*P_5037-2*P_5288+2*P_5693+2*P_5746-2*P_5797+2*P_5850-2*P_5908+2*P_6117+2*P_7429-2*P_7595+2*P_7846-2*P_8352+2*P_8414-2*P_8665-2*P_9119-2*P_9172+2*P_9223-2*P_9276+2*P_9338-2*P_9547-2*P_10942+2*P_10991+2*P_11629+2*P_11678-2*P_12377+2*P_12380,
P_1034-P_1616-P_2283+P_2286-P_2481-P_2503-P_2596+P_2778+P_2845-P_2935+P_3969+P_4218+P_4365+P_4924+P_5037-P_5288+P_5693+P_5713+P_5742+P_5746-P_5797-P_5874+P_6031+P_6117+P_7429-P_7595+P_7846-P_8233+P_8518-P_8665-P_9095-P_9172+P_9223+P_9227-P_9256-P_9276+P_9338+P_9576-P_9948-P_10038-P_10810+P_10991+P_11262+P_11629-P_11649-P_11844-P_12377+P_12380,
P_1034-P_1616-P_2283+P_2286+P_2449-P_2527-P_2650+P_2732+P_2845-P_2935-P_4001+P_4218-P_4469+P_4802-P_5141-P_5288+P_5693+P_5713-P_5797+P_5846+P_5850-P_5874-P_5908-P_6150-P_7400-P_7595+P_7742-P_8352+P_8414-P_8665-P_9095-P_9119-P_9123-P_9172-P_9256-P_9276-P_9457-P_9547-P_9948-P_10038+P_10858-P_10942+P_11262+P_11601+P_11678-P_11844-P_12377+P_12380,
P_1821+P_1824-P_1987-P_2041+P_2726-P_2774-P_2927-P_2931-P_3539+P_3756+P_4412-P_4461+P_4889+P_5084+P_5133-P_5231-P_5251+P_5280-P_5335+P_5384+P_5412+P_5569+P_5842+P_6113-P_6967+P_7133+P_7842-P_7891+P_8315-P_8514-P_8563-P_8633+P_8661-P_8710-P_8765-P_8794+P_8814+P_8995+P_9219+P_9541-P_10030-P_10034+P_10348+P_10396-P_11725-P_11779-P_12047-P_12050,
P_1821+P_1824+P_2019-P_2065+P_2697+P_2746-P_2927-P_2931+P_3507+P_3756+P_4412+P_4465+P_4918+P_5084-P_5137-P_5231-P_5251+P_5284-P_5335+P_5388+P_5412-P_5446+P_5842+P_6232+P_6938+P_7133-P_7838-P_7891+P_8348+P_8510-P_8563-P_8633+P_8657-P_8710-P_8761-P_8794+P_8814-P_8876+P_9219+P_9663-P_10030-P_10034+P_10480+P_10529+P_11597+P_11643-P_12047-P_12050,
2*P_1821+2*P_1824+2*P_2019-2*P_2065+2*P_2726-2*P_2774+2*P_3507+2*P_3756-2*P_4461+2*P_4889-2*P_5137-2*P_5231+2*P_5280+2*P_5284-2*P_5335+2*P_5569+2*P_5842+2*P_6232+2*P_6938+2*P_7133-2*P_7838-2*P_7891+2*P_8315-2*P_8514-2*P_8563-2*P_8761-2*P_8765+2*P_8995+2*P_9219+2*P_9663+2*P_10348+2*P_10396+2*P_11597+2*P_11643-2*P_12047-2*P_12050,
2*P_1821+2*P_1824+2*P_2019-2*P_2065+2*P_2726-2*P_2774+2*P_3507+2*P_3756+2*P_4412+2*P_4465+2*P_4889+2*P_5084+2*P_5133+2*P_5384+2*P_5388+2*P_5569+2*P_5842+2*P_6232+2*P_6938+2*P_7133+2*P_7842+2*P_8315+2*P_8510+2*P_8657+2*P_8661-2*P_8710+2*P_8814+2*P_8995+2*P_9219+2*P_9663+2*P_10348+2*P_10396+2*P_11597+2*P_11643-2*P_12047-2*P_12050,
P_2344-P_2398+P_2480-P_2526+P_3878-P_4000-P_4113-P_4217-P_5741-P_5745-P_5907-P_5940+P_7309-P_7428+P_7490-P_7594-P_9118-P_9122-P_9337-P_9366+P_10809-P_10837+P_10857+P_10886,
-4*P_2279+4*P_2445-4*P_2494-4*P_2592-4*P_2641+4*P_2807+4*P_3994-4*P_4160+4*P_4209+4*P_4307+4*P_4356-4*P_4522-4*P_4917+4*P_5083-4*P_5132-4*P_5230-4*P_5279+4*P_5445-4*P_7424+4*P_7590-4*P_7639-4*P_7737-4*P_7786+4*P_7952+4*P_8347-4*P_8513+4*P_8562+4*P_8660+4*P_8709-4*P_8875-4*P_10062+4*P_10228-4*P_10277-4*P_10375-4*P_10424+4*P_10590,
P_1029-P_1032-P_1195+P_1249-P_1611+P_1614+P_1882+P_1936+P_2445-P_2494-P_2592-P_2641+2*P_2807-P_3329+P_3538-P_3651-P_3755+P_3994-2*P_4160+P_4209+P_4213+P_4307+P_4360+P_4411-P_4460-P_4522-P_4917+P_4979+P_5028+P_5083-P_5136-2*P_5230-P_5279-P_5283+P_5445-P_5737-P_5841+P_5903-P_6112+P_6757-P_6966-P_7028+P_7132-P_7424+P_7586+P_7590-2*P_7639-P_7733-P_7786-P_7841+P_7890+P_7952+P_8347-P_8409-P_8458-P_8509+P_8562+P_8656+P_8660+2*P_8709-P_8875-P_9114+P_9218-P_9331+P_9540-2*P_10062+P_10228-P_10277-P_10375-P_10424-P_10933+P_10987-P_11255+P_11258+P_11620+P_11674+P_11837-P_11840,
P_1029-P_1195-P_1227-P_1273+P_1614+P_1936+P_2018+P_2064-2*P_2279+P_2445-P_2494-P_2522-P_2592-P_2641+P_2725-P_2840-P_2926-P_3297-P_3329-P_3416-P_3651+P_3994+P_4209+P_4307+2*P_4356-P_4522-P_4798-P_4917-P_4999+P_5083+P_5160-2*P_5230-P_5279+P_5445+P_5478-P_5737+P_5903-P_6022+P_6141+P_6728+P_6847-P_6966+P_7132+P_7391-P_7424+P_7590-2*P_7639-P_7709-P_7786-P_7870+P_7952+P_8071+P_8347-2*P_8513+P_8562+P_8660-P_8875+P_9218+P_9453+P_9540-P_9572+P_9943-P_10029+P_10144+P_10228-P_10277+P_10347-P_10375-P_10424+2*P_10590-P_10805+P_10851-P_10933-P_11255+P_11596-P_11642+P_11674-P_11840,
-P_1032-P_1227+P_1249-P_1273-P_1611+P_1882+P_2018+P_2064-2*P_2279+P_2445-P_2474-P_2494-P_2592-P_2641+P_2773+P_2836+P_2930-P_3297-P_3416+P_3538-P_3755-P_3965+P_3994-2*P_4160+P_4209+P_4307+P_4327-P_4488-P_4522-P_4645-P_4917+P_5083-2*P_5132-P_5279+P_5445-P_5841-P_6022-P_6112+P_6141+P_6728+P_6757+P_6847-P_7028-P_7424+P_7590-2*P_7737-P_7786+P_7952+P_8224+P_8347+P_8381+P_8542+P_8562+P_8660+2*P_8709-P_8875-P_8904-P_9114-P_9331+P_9453-P_9572-P_9939+P_10033-P_10096+P_10228-P_10277-P_10375-P_10395-P_10424+2*P_10590-P_10805+P_10851+P_10987+P_11258+P_11596+P_11620-P_11642+P_11837,
-4*P_494-4*P_1195+4*P_1249+4*P_1882+4*P_1936+4*P_2807-4*P_3329+4*P_3538-4*P_4160+4*P_4213+4*P_4411-4*P_4464+4*P_4979+4*P_5032-4*P_5230-4*P_5283+4*P_5903-4*P_6112+4*P_6757-4*P_6966+4*P_7586-4*P_7639-4*P_7837+4*P_7890-4*P_8405-4*P_8458+4*P_8656+4*P_8709-4*P_9331+4*P_9540-4*P_10062-4*P_10933+4*P_10987+4*P_11620+4*P_11674+4*P_12375,
-2*P_494+P_1029-P_1195+P_1249-P_1273+P_1614+P_1882+P_1936+P_2018+P_2445-P_2474-P_2522-P_2641+P_2725+P_2773-P_2836-P_2930-P_3329-P_3416+P_3538-P_3651-P_3965+P_3994+P_4213-P_4327+P_4411+P_4488-P_4522-P_4645-P_4798+P_4979+2*P_5032-2*P_5230-P_5283+P_5478-P_5737+P_5903-P_6112+P_6141+P_6728+P_6757-P_6966+P_7132+P_7391+P_7586-2*P_7639-2*P_7837+P_7890+P_8071+P_8224+P_8347-P_8381-P_8458-P_8542+P_8656-P_8875-P_8904+P_9218-P_9331+P_9453+P_9540+P_9939-P_10033-P_10096+P_10144+P_10228+P_10347-P_10395-P_10424+P_10851-P_10933+P_10987-P_11255+P_11596+P_11620+P_11674-P_11840+2*P_12375,
-2*P_494-P_1032-P_1195-P_1227+P_1249-P_1611+P_1882+P_1936+P_2064-P_2474-P_2494-P_2522-P_2592+P_2725+P_2773+P_2840+P_2926-P_3297-P_3329+P_3538-P_3755-P_3965-2*P_4160+P_4213+P_4411-2*P_4464-P_4645-P_4798-P_4917+P_4979+P_4999-P_5160-P_5283+P_5445+P_5478-P_5841+P_5903-P_6022-P_6112+P_6757+P_6847-P_6966-P_7028+P_7391-P_7424+P_7586+P_7709+P_7870+P_7890+P_7952+P_8071+P_8224-2*P_8405-P_8458+P_8656+2*P_8709-P_8904-P_9114-P_9331+P_9540-P_9572-P_9943+P_10029-P_10096+P_10144-P_10277+P_10347-P_10375-P_10395-P_10805-P_10933+P_10987+P_11258+P_11620-P_11642+P_11674+P_11837+2*P_12375,
-4*P_494+4*P_1029-4*P_1273+4*P_1614+4*P_2018-4*P_2279-4*P_2522+4*P_2725+4*P_2954-4*P_3416-4*P_3651+4*P_4356-4*P_4798+4*P_5032-4*P_5230+4*P_5478-4*P_5737+4*P_6141+4*P_6728+4*P_7132+4*P_7391-4*P_7639-4*P_7837+4*P_8071-4*P_8513+4*P_9218+4*P_9453+4*P_9915+4*P_10144+4*P_10347+4*P_10590+4*P_10851-4*P_11255+4*P_11596-4*P_11840+4*P_12375,
-2*P_494+P_1029-P_1032-P_1227-P_1273-P_1611+P_1614+P_2018+P_2064-2*P_2279-P_2474-P_2522+P_2725+P_2773+2*P_2954-P_3297-P_3416-P_3651-P_3755-P_3965+P_4209+P_4213+P_4307-P_4360+P_4411+P_4460-P_4645-P_4798+P_4979-P_5028+P_5083+P_5136-P_5279-P_5283+P_5478-P_5737-P_5841-P_6022+P_6141+P_6728+P_6847-P_7028+P_7132+P_7391+P_7586+P_7590+P_7733-P_7786+P_7841+P_7890+P_8071+P_8224+P_8409-P_8458+P_8509+P_8562+P_8656+P_8660-P_8904-P_9114+P_9218+P_9453-P_9572+2*P_9915-P_10096+P_10144+P_10347-P_10395+2*P_10590-P_10805+P_10851-P_11255+P_11258+P_11596-P_11642+P_11837-P_11840+2*P_12375,
-4*P_494-4*P_1032-4*P_1227-4*P_1611+4*P_2064-4*P_2279-4*P_2474+4*P_2773+4*P_2954-4*P_3297-4*P_3755-4*P_3965-4*P_4160-4*P_4464-4*P_4645-4*P_5132-4*P_5841-4*P_6022+4*P_6847-4*P_7028-4*P_7737+4*P_8224-4*P_8405+4*P_8709-4*P_8904-4*P_9114-4*P_9572+4*P_9915-4*P_10096-4*P_10395+4*P_10590-4*P_10805+4*P_11258-4*P_11642+4*P_11837+4*P_12375,
P_1983-P_2012+P_2032+P_2060+P_3503-P_3532+P_3747+P_3751-P_5275-P_5379-P_5441+P_5560+P_6929-P_6962-P_7124-P_7128+P_8652-P_8756-P_8869+P_8991-P_10343-P_10389-P_10471-P_10525,
-6*P_2218-6*P_2272+6*P_3987-6*P_4910-6*P_5677+6*P_5781+6*P_7364-6*P_8287+6*P_9107-6*P_9211+6*P_10926-6*P_11613,
2*P_1756-2*P_1810+2*P_2710+2*P_2714+2*P_3525-2*P_4396-2*P_4853-2*P_4873+2*P_4902+2*P_5319-2*P_5352+2*P_5777-2*P_6902-2*P_7826-2*P_8255+2*P_8283-2*P_8332+2*P_8749-2*P_8778+2*P_9205+2*P_9970+2*P_10018-2*P_11711-2*P_11714,
-2*P_2512-2*P_2630+2*P_2763+2*P_2825-2*P_5017+2*P_5268+2*P_5726+2*P_5859+2*P_6130-2*P_9152-2*P_9556-2*P_11658,
6*P_4059+6*P_4192-6*P_5935-6*P_10832,
-2*P_4155+2*P_4188-2*P_4302+2*P_4439+2*P_4550+2*P_4640-2*P_4974+2*P_5111+2*P_5473-2*P_10119-2*P_10223-2*P_10370,
2*P_823+2*P_1145-2*P_2523-2*P_2841+2*P_4214+2*P_4361-2*P_6760-2*P_7082-2*P_7306+2*P_7487-2*P_7507+2*P_7536-2*P_7644+2*P_7668-2*P_7791+2*P_7986-2*P_8410-2*P_8459-2*P_9168+2*P_9334+2*P_9944+2*P_10145+2*P_10883-2*P_11049,
2*P_823-2*P_1276-2*P_2395-2*P_2841+2*P_4214+2*P_5033-2*P_6638-2*P_7082+2*P_7425+2*P_7487-2*P_7507+2*P_7540-2*P_7640+2*P_7668-2*P_7738-2*P_7791-2*P_7953-2*P_8459-2*P_9168+2*P_9363+2*P_9944-2*P_10178+2*P_10854-2*P_11049,
2*P_823-2*P_1276-2*P_2523+2*P_4110+2*P_4361+2*P_5033-2*P_6638-2*P_7082-2*P_7306+2*P_7536+2*P_7540-2*P_7591-2*P_7640-2*P_7644-2*P_7738+2*P_7787+2*P_7986-2*P_8410+2*P_8463-2*P_9168+2*P_9363+2*P_10145+2*P_10854-2*P_11049,
6*P_823-6*P_1276-6*P_2523+6*P_4214-6*P_6638-6*P_7082-6*P_7306+6*P_7487-6*P_7791+6*P_7986-6*P_8459-6*P_9168+6*P_9363+6*P_10145+6*P_10854-6*P_11049,
-P_1246-P_1270+P_1933-P_2061+P_3648-P_3752-P_6725+P_6754+P_6844+P_6963+P_7025+P_7129+P_7783+P_7887+P_7949-P_8068+P_8455+P_8559+P_8872-P_8901+P_10141+P_10274+P_10392-P_10421,
2*P_1019+2*P_1601-2*P_2464-2*P_2715-2*P_3984-2*P_4907-2*P_6747-2*P_6956+2*P_7381+2*P_7414+2*P_7576+2*P_7723+2*P_7860-2*P_8214+2*P_8337-2*P_8499+2*P_8532-2*P_8646-2*P_9104-2*P_9208+2*P_9929-2*P_10019+2*P_10923+2*P_11610,
2*P_1807-2*P_2002+2*P_3522-2*P_6919-2*P_6948+2*P_7114-2*P_8329+2*P_8495-2*P_8746-2*P_8775-2*P_10015-2*P_10461,
2*P_2379-2*P_2411+2*P_2662-2*P_2879-2*P_5727-2*P_5975+2*P_7525-2*P_7776+2*P_9153+2*P_9186+2*P_9401+2*P_10872,
-P_1262-P_1917+P_2053+P_2509-P_2627-P_2760+P_2871-P_2875+P_4342-P_5014+P_5513-P_6176+P_7063-P_7768+P_7905+P_8444-P_8577+P_8691-P_8695-P_8939-P_9149+P_9607+P_10410+P_11655,
-24*P_5328,
2*P_4056-2*P_4105-2*P_4189+2*P_4237-2*P_4551-2*P_4555+2*P_7482-2*P_7619-2*P_7981+2*P_10120+2*P_10124-2*P_10173,
-2*P_1221-2*P_3323-2*P_3643+2*P_3775-2*P_4547+2*P_4637-2*P_7020+2*P_7157+2*P_10116-2*P_10220-2*P_10584+2*P_10616,
-2*P_2253-2*P_2285-2*P_2649-2*P_2753-2*P_5712+2*P_5849+2*P_8232+2*P_8322+2*P_9094-2*P_9226-2*P_9546+2*P_11648,
2*P_2696+2*P_2745+2*P_2749-2*P_4888-2*P_5250+2*P_5387-2*P_8314-2*P_8318-2*P_8632-2*P_8680+2*P_8764+2*P_8813,
24*P_7541,
2*P_1214+2*P_2459+2*P_3262-2*P_3720-2*P_3930-2*P_4174+2*P_4178-2*P_4292+2*P_4425+2*P_4964-2*P_5101+2*P_5806-2*P_6693+2*P_7356-2*P_7855+2*P_8527-2*P_9994+2*P_9998-2*P_10109-2*P_10242+2*P_10360+2*P_10816-2*P_10952-2*P_11607,
-2*P_1997-2*P_3468+2*P_3683-2*P_3716+2*P_5093-2*P_5344+2*P_6894+2*P_7142+2*P_9990+2*P_10207-2*P_10458-2*P_10490,
-2*P_2408+2*P_2854+2*P_4094-2*P_4123+2*P_4374-2*P_4540+2*P_5755-2*P_5921+2*P_5950+2*P_9347+2*P_10867+2*P_11062,
P_1259-P_1946-P_2850-P_2940+P_3661-P_3765-P_4223+P_4337+P_4370-P_4532+P_4655+P_5009+P_5146-P_5293-P_5455+P_5488+P_5913+P_6122+P_7962+P_8885-P_10154-P_10405-P_11268-P_11850,
-P_2448-P_2477-P_2595-P_2728+P_3968+P_3997-P_4310+P_4414-P_4801+P_4920-P_4982+P_5086+P_5740-P_5844+P_5906+P_6025+P_6115+P_6144+P_9117+P_9221-P_10808+P_10936-P_11599+P_11623,
2*P_1820-2*P_1986+2*P_2724-2*P_2925-2*P_3535+2*P_3701+2*P_4410-2*P_4459+2*P_4883+2*P_5078-2*P_5201-2*P_5225-2*P_5333-2*P_5362+2*P_5382+2*P_5563+2*P_5787+2*P_6109-2*P_8508+2*P_8655-2*P_10028+2*P_10346-2*P_11724-2*P_12046,
2*P_1820+2*P_2015+2*P_2691-2*P_2925+2*P_3506+2*P_3701+2*P_4410+2*P_4916+2*P_5078-2*P_5131-2*P_5201-2*P_5229-2*P_5329-2*P_5362+2*P_5382-2*P_5444+2*P_5787+2*P_6231-2*P_7836+2*P_8655-2*P_10028+2*P_10474+2*P_11593-2*P_12046,
2*P_1820+2*P_2015+2*P_2724+2*P_3506+2*P_3701-2*P_4406-2*P_4459+2*P_4883-2*P_5082-2*P_5131-2*P_5225-2*P_5229+2*P_5278-2*P_5329-2*P_5333+2*P_5563+2*P_5787+2*P_6231-2*P_7836-2*P_8508-2*P_8759+2*P_10346+2*P_11593-2*P_12046,
6*P_1820+6*P_2015+6*P_2724+6*P_3506+6*P_3701+6*P_4410+6*P_4883+6*P_5078+6*P_5382+6*P_5563+6*P_5787+6*P_6231+6*P_8655+6*P_10346+6*P_11593-6*P_12046,
-2*P_2499+2*P_2646-2*P_2750+2*P_7396+2*P_7758-2*P_7895-2*P_8229+2*P_8319+2*P_8430-2*P_8567+2*P_8681+2*P_8714,
6*P_2037+6*P_6934-6*P_8677-6*P_8810,
2*P_1211-2*P_3313+2*P_3717+2*P_6739-2*P_7010-2*P_7143-2*P_7601+2*P_7852+2*P_10044-2*P_10106+2*P_10239+2*P_10357,
P_1155+P_1158+P_2851-P_2899-P_3664-P_4091-P_4120+P_4537+P_4586+P_4614+P_5043-P_5967-P_7092-P_7517-P_7550-P_7967-P_7996-P_8016+P_8473-P_9344+P_10155+P_10159+P_11059+P_11113,
2*P_1256+2*P_1943-2*P_3658-2*P_3762+2*P_4582-2*P_5505+2*P_7088+2*P_7192-2*P_7959+2*P_8882-2*P_10597+2*P_10651,
-P_819-P_822+P_1090-P_1144-P_2473+P_2521+P_2835+P_2839+P_3328+P_3650+P_3874-P_4055+P_4075-P_4104-P_4159-P_4208-P_4236+P_4306-P_4355-P_4554+P_4978+P_5027+P_5736-P_5902+P_6756-P_7027+P_7300+P_7457-P_7485-P_7534+P_7589+P_7618+P_7638-P_7736+P_7785-P_7980+P_8408+P_8457-P_9113-P_9330-P_9938-P_9942-P_10095-P_10143+P_10828-P_10882+P_11045+P_11048,
-P_819-P_822-P_1226+P_1272-P_2340+P_2389+P_2835+P_2839+P_3206+P_3650-P_3993-P_4055+P_4075-P_4108-P_4159-P_4212-P_4236+P_4306+P_4359+P_4521+P_4978-P_5031+P_5736-P_5931+P_6637-P_7027-P_7423+P_7457-P_7481-P_7534+P_7585+P_7618+P_7638+P_7732+P_7785+P_7951-P_8404+P_8457-P_9113-P_9362-P_9938-P_9942-P_10123+P_10172-P_10804-P_10850+P_11045+P_11048,
-2*P_819-2*P_822-2*P_1226+2*P_1272-2*P_2473+2*P_2521+2*P_3206+2*P_3650+2*P_3874-2*P_4104-2*P_4108+2*P_4306-2*P_4355-2*P_4554+2*P_4978-2*P_5031+2*P_5736-2*P_5931+2*P_6637-2*P_7027+2*P_7300-2*P_7534+2*P_7585+2*P_7589+2*P_7638+2*P_7732-2*P_7980+2*P_8408-2*P_9113-2*P_9362-2*P_10095-2*P_10143-2*P_10804-2*P_10850+2*P_11045+2*P_11048,
-2*P_819-2*P_822-2*P_1226+2*P_1272-2*P_2473+2*P_2521+2*P_3206+2*P_3650+2*P_3874-2*P_4055-2*P_4159-2*P_4208-2*P_4212+2*P_4359-2*P_4554+2*P_5027+2*P_5736-2*P_5931+2*P_6637-2*P_7027+2*P_7300-2*P_7481-2*P_7485-2*P_7736+2*P_7785-2*P_7980-2*P_8404+2*P_8457-2*P_9113-2*P_9362-2*P_10095-2*P_10143-2*P_10804-2*P_10850+2*P_11045+2*P_11048,
2*P_1025-2*P_1191+2*P_1240-2*P_1607+2*P_1878+2*P_1927+2*P_3322-2*P_3531-2*P_3593-2*P_3642+2*P_3697-2*P_3746-2*P_4204-2*P_4351+2*P_4517+2*P_5127+2*P_5274-2*P_5440-2*P_6752+2*P_6961+2*P_7023+2*P_7072-2*P_7127+2*P_7176+2*P_7581-2*P_7728-2*P_7945-2*P_8504+2*P_8651+2*P_8868+2*P_10219-2*P_10273-2*P_10366-2*P_10420-2*P_10583+2*P_10586,
-2*P_489+2*P_492-2*P_1191+2*P_1240+2*P_1878+2*P_1927+2*P_3322-2*P_3531-2*P_3593-2*P_3646+2*P_3697-2*P_3750-2*P_4204+2*P_4455+2*P_4517-2*P_5023+2*P_5274-2*P_5440-2*P_6752+2*P_6961+2*P_7019+2*P_7072-2*P_7123+2*P_7176+2*P_7581-2*P_7832-2*P_7945-2*P_8400+2*P_8651+2*P_8868+2*P_10219-2*P_10273-2*P_10366-2*P_10420+2*P_11253-2*P_11835,
-P_489+P_492+P_1025-P_1220+P_1240-P_1607+P_1878+P_2059-P_2831+P_2921+P_3293-P_3531-P_3593-P_3613-P_3642-P_3646+P_3697+P_3774-P_4204-P_4351+P_4636-P_5023+P_5274-P_5440-P_6752-P_6838+P_6995+P_7072-P_7123-P_7127+P_7156+P_7176+P_7581-P_7832-P_7945-P_8504+P_8651+P_8900+P_9934+P_10024-P_10091-P_10273-P_10366-P_10388-P_10583+P_10586+P_11253-P_11835,
-P_489+P_492+P_1025-P_1191-P_1268-P_1607+P_1927+P_2011-P_2831+P_2921+P_3322+P_3412-P_3593-P_3613+P_3697-P_3746-P_3750+P_3774-P_4204+P_4455+P_4517+P_5127+P_5274-P_5469-P_6719+P_6961+P_6995+P_7019+P_7023+P_7072+P_7156+P_7176+P_7581-P_7728-P_8067-P_8400+P_8651+P_8868+P_9934+P_10024+P_10137+P_10219+P_10342-P_10420-P_10583+P_10586+P_11253-P_11835,
-12*P_2214-12*P_2263-12*P_2429+12*P_2576+12*P_3929+12*P_3978+12*P_4144-12*P_4291-12*P_4852-12*P_4901-12*P_5067+12*P_5214-12*P_7359-12*P_7408-12*P_7574+12*P_7721+12*P_8282+12*P_8331+12*P_8497-12*P_8644-12*P_9997-12*P_10046-12*P_10212+12*P_10359,
2*P_964+2*P_1018-2*P_1546-2*P_1600-2*P_2214-2*P_2263-4*P_2429+4*P_2576+2*P_3315-2*P_3524+4*P_3929+2*P_3978+2*P_3982+4*P_4144-2*P_4291-2*P_4395-4*P_4852-2*P_4901-2*P_4905-2*P_4963-2*P_5067+4*P_5214+2*P_5672-2*P_5776+2*P_6692-2*P_6901-2*P_7355-2*P_7359-4*P_7408-4*P_7574+2*P_7721+2*P_7825+2*P_8278+2*P_8282+4*P_8331+2*P_8393+2*P_8497-4*P_8644-2*P_9100+2*P_9204-4*P_9997-4*P_10046-2*P_10212+2*P_10359-2*P_10919+2*P_10922+2*P_11606-2*P_11609,
2*P_964+2*P_1213-2*P_1600-2*P_2004-4*P_2214-4*P_2263-2*P_2429+2*P_2462+2*P_2576+2*P_2709-2*P_3122+2*P_3315+2*P_3929+4*P_3978+2*P_4144-4*P_4291+2*P_4782-4*P_4852-2*P_4901-2*P_5067-2*P_5100+4*P_5214+2*P_5672+2*P_5805+2*P_6553-2*P_6901-2*P_7331-2*P_7359-4*P_7408-4*P_7574+2*P_7721-2*P_7854+4*P_8282+2*P_8331+4*P_8497-2*P_8644+2*P_9204-2*P_9236-2*P_9927+2*P_9969-2*P_9997-2*P_10046-4*P_10212+4*P_10359+2*P_10796-2*P_10919-2*P_11587-2*P_11609,
2*P_1018+2*P_1213-2*P_1546-2*P_2004-4*P_2214-4*P_2263-2*P_2429-2*P_2458+2*P_2576-2*P_2713-2*P_3122-2*P_3524+4*P_3929+2*P_3949+2*P_3978+4*P_4144-2*P_4291+2*P_4428-2*P_4852-4*P_4901-4*P_5067+2*P_5214-2*P_5776+2*P_5805+2*P_6553+2*P_6692-4*P_7359-2*P_7408-2*P_7574+4*P_7721+2*P_8178+2*P_8282+4*P_8331+2*P_8497+2*P_8526-4*P_8644-2*P_9100-2*P_9236-2*P_9893-2*P_9997-2*P_10017-2*P_10046-4*P_10212+4*P_10359+2*P_10796+2*P_10922-2*P_11587+2*P_11606,
-P_1752+P_1801-P_1996-P_2000-P_3467-P_3487+P_3520+P_3682-P_4897+P_5063-P_5314-P_5343-P_6869+P_6893-P_6946+P_7112+P_8274+P_8491-P_8742-P_8774-P_9965-P_10011-P_10457-P_10460,
-2*P_2378+2*P_2407-2*P_2658+2*P_2824-2*P_4093+2*P_4344+2*P_5725-2*P_5754+2*P_5920-2*P_9151-2*P_9346-2*P_10866,
-P_1258-P_1916+P_2049+P_2507-P_2621-P_2758+P_2816-P_2820+P_3631+P_4340+P_4473-P_5008-P_5145+P_5259-P_5263+P_5458-P_5717-P_6121-P_7766+P_8438-P_8884+P_9552+P_10404+P_11654,
-6*P_4050+6*P_4187+6*P_4549-6*P_10118,
-2*P_2252-2*P_2281+2*P_2594-2*P_2698+2*P_4800+2*P_4890-2*P_5710+2*P_5843-2*P_6114+2*P_9092-2*P_9220+2*P_11598,
2*P_2690+2*P_2694+2*P_2743-2*P_4882-2*P_4886-2*P_5200-2*P_5248+2*P_5332+2*P_5381-2*P_8312-2*P_8630+2*P_8758,
-6*P_4109+6*P_7486-6*P_7535-6*P_7539,
-2*P_1141+2*P_1269-2*P_3647-2*P_6634-2*P_6753-2*P_7024-2*P_7531-2*P_7635-2*P_7948+2*P_7977-2*P_10140+2*P_10169,
-4*P_809+4*P_2463+4*P_3983+4*P_6746+4*P_7290-4*P_7413-4*P_7471-4*P_7608+4*P_8394+4*P_9103-4*P_9928-4*P_10818,
-P_1015+P_1210-P_1597+P_2001-P_3312-P_3521+P_6709+P_6738-P_6828+P_6947-P_7009-P_7113+P_7405-P_7571+P_7822+P_7851+P_8328-P_8390+P_8523+P_8641-P_9924+P_10014+P_10209+P_10356,
P_1125-P_1157+P_1948+P_2375+P_2404-P_2655-P_2870+P_2874-P_4341-P_4589+P_5013+P_5966-P_7062+P_7516-P_7520+P_7771+P_7800+P_8015-P_8439-P_8472+P_9148-P_9397-P_10158-P_10863,
2*P_1255-2*P_1913-2*P_2046+2*P_2866+2*P_3628-2*P_5504-2*P_7058+2*P_7191-2*P_7763+2*P_8686+2*P_8935-2*P_10401,
-6*P_4404-6*P_5076-6*P_5223-6*P_5327,
-2*P_2162+2*P_2284+2*P_2397+2*P_2501+2*P_5711+2*P_5744-2*P_7308-2*P_7398-2*P_9093+2*P_9121+2*P_9336-2*P_10856,
-P_1031+P_1248+P_1581+P_1700+P_1822-P_2039-P_2249+P_2278-P_2444+P_2497+P_2611-P_2640+P_2644+P_2695-P_2744+P_2806+P_3964-P_4326+P_4797+P_4998-P_5135-P_5282-P_5840-P_6111-P_6727-P_6846-P_7390+P_7708-P_7840+P_7889-P_8227+P_8313-P_8317-P_8346-P_8428+P_8512-P_8631+P_8679+P_8708-P_8874+P_9089-P_9135+P_9271+P_9542+P_10032-P_10394-P_11595+P_11641,
2*P_999+2*P_1248-2*P_1613+2*P_1700+2*P_1822+2*P_1935-2*P_2444+2*P_2497+2*P_2611+2*P_2695-2*P_2748+2*P_2806+2*P_3964-2*P_4463+2*P_4797-2*P_5282+2*P_5707-2*P_6111-2*P_6727+2*P_6936-2*P_7390+2*P_7889-2*P_8223-2*P_8346+2*P_8380-2*P_8428-2*P_8631+2*P_8679+2*P_8708-2*P_9135-2*P_9217+2*P_9271+2*P_9539+2*P_10032-2*P_11595+2*P_11644,
2*P_999+2*P_1248-2*P_1613+2*P_1700+2*P_1822+2*P_1935-2*P_2249+2*P_2278+2*P_2497-2*P_2640+2*P_2695+2*P_2772-2*P_2929-2*P_4326+2*P_4797-2*P_5282+2*P_5707-2*P_6111-2*P_6727+2*P_6936-2*P_7390+2*P_7889-2*P_8199-2*P_8317-2*P_8428+2*P_8512-2*P_8631-2*P_8874-2*P_9135-2*P_9217+2*P_9271+2*P_9539-2*P_9914-2*P_10394-2*P_11595+2*P_11644,
P_999+P_1248-P_1613+P_1700+P_1822+P_1935-P_2249+P_2278-P_2444-P_2493-P_2591+P_2644-P_2744-P_2748+P_2772-P_2929+P_3964-P_4463+P_4887+P_4998-P_5135+P_5249+P_5707-P_6111-P_6727+P_6936+P_7394+P_7708+P_7756-P_7840-P_8199-P_8223-P_8227+P_8313+P_8380-P_8561-P_8659+P_8679+P_8708-P_8874-P_9135-P_9217+P_9271+P_9539-P_9914-P_10394-P_11595+P_11644,
2*P_1982+2*P_2031+2*P_2035+2*P_3502-2*P_5245-2*P_5378+2*P_6928+2*P_6932-2*P_8627-2*P_8673-2*P_8755-2*P_8809,
-2*P_1205-2*P_3258+2*P_3578-2*P_3715+2*P_4169-2*P_4420+2*P_6684+2*P_7141+2*P_9989+2*P_10102-2*P_10238-2*P_10353,
-2*P_1154-2*P_2849+2*P_3660+2*P_4085+2*P_4118-2*P_4531+2*P_4564-2*P_5041+2*P_5912+2*P_7961-2*P_10153-2*P_11058,
-2*P_2343-2*P_2476-2*P_3877+2*P_3996-2*P_4058+2*P_4162+2*P_5739+2*P_5905+2*P_5934+2*P_9116-2*P_10807+2*P_10831,
P_1028-P_1194+P_1610-P_1881+P_2472+P_2723-P_2834-P_2924-P_3325-P_3534+P_3596+P_3700+P_3959+P_4154+P_4158-P_4207-P_4277-P_4301+P_4305+P_4354-P_4438+P_4639-P_4792-P_4949+P_5077-P_5081-P_5110+P_5130-P_5224-P_5228-P_5277+P_5472+P_5682+P_5786+P_5899+P_6108-P_7584+P_7731-P_8507+P_8654+P_9937-P_10027+P_10094+P_10345-P_10932-P_11254-P_11619-P_11836,
P_1028+P_1223+P_1610+P_2014+P_2439+P_2586-P_2834-P_2924+P_3296-P_3415+P_3596+P_3700+P_3992+P_4154+P_4158-P_4207-P_4277-P_4405+P_4409-P_4438+P_4458-P_4520+P_4915-P_4949+P_4973-P_4977+P_5026-P_5110-P_5224-P_5228-P_5277-P_5443+P_5682+P_5786+P_6021+P_6140-P_7584-P_7835+P_8403+P_8654+P_9937-P_10027+P_10222+P_10369+P_10801-P_11254+P_11592-P_11836,
2*P_1028+2*P_1223+2*P_1610+2*P_2014+2*P_2472+2*P_2723+2*P_3296-2*P_3415+2*P_3596+2*P_3700+2*P_3959-2*P_4207-2*P_4301+2*P_4354-2*P_4405+2*P_4639-2*P_4792-2*P_4977+2*P_5026-2*P_5081-2*P_5224-2*P_5228+2*P_5472+2*P_5682+2*P_5786+2*P_6021+2*P_6140-2*P_7584-2*P_7835-2*P_8507+2*P_10094+2*P_10345+2*P_10801-2*P_11254+2*P_11592-2*P_11836,
2*P_1028+2*P_1223+2*P_1610+2*P_2014+2*P_2472+2*P_2723+2*P_3296-2*P_3415+2*P_3596+2*P_3700+2*P_3959+2*P_4154+2*P_4158+2*P_4305+2*P_4409+2*P_4458+2*P_4639-2*P_4792+2*P_4973+2*P_5077+2*P_5130-2*P_5277+2*P_5472+2*P_5682+2*P_5786+2*P_6021+2*P_6140+2*P_7731+2*P_8403+2*P_8654+2*P_10094+2*P_10345+2*P_10801-2*P_11254+2*P_11592-2*P_11836,
2*P_1977-2*P_2010+2*P_3497-2*P_3530+2*P_3745+2*P_5220-2*P_5324-2*P_5437+2*P_5559-2*P_7122-2*P_10339-2*P_10470,
-2*P_2394+2*P_2498-2*P_2645+2*P_7305-2*P_7395-2*P_7506+2*P_7643-2*P_7757-2*P_7790+2*P_8228-2*P_8429-2*P_8462,
-2*P_1245+2*P_1932-2*P_2036-2*P_6724+2*P_6843-2*P_6933+2*P_7753+2*P_7886+2*P_8425+2*P_8558+2*P_8676-2*P_8705,
4*P_1755+4*P_2708-4*P_3470-4*P_4394-4*P_4823-4*P_4847+4*P_5317-4*P_5346+4*P_5773+4*P_8277+4*P_9968-4*P_11710,
6*P_1806-6*P_6918-6*P_8299-6*P_8745,
6*P_2688-6*P_4880-6*P_5198+6*P_5326,
-4*P_4054+4*P_4103+4*P_4107-4*P_7480-4*P_7484+4*P_7533,
-P_1086+P_1135+P_1219-P_1267+P_3202+P_3321+P_3641+P_3645+P_4099+P_4203+P_4516-P_4545+P_6628+P_6751+P_7018+P_7022-P_7476+P_7580+P_7944-P_7976+P_10090+P_10114+P_10136-P_10168,
-4*P_485+4*P_3637+4*P_3741+4*P_7014-4*P_7118+4*P_10581,
4*P_2248+4*P_2610-4*P_2747+4*P_8198+4*P_8316+4*P_8678,
-2*P_754+2*P_808-2*P_2457-2*P_2461-2*P_3314-2*P_3858+2*P_3928-2*P_3977+2*P_4039+2*P_4176-2*P_4962-2*P_5671+2*P_6691+2*P_7254-2*P_7358+2*P_7407+2*P_7469+2*P_7602-2*P_8392-2*P_9099-2*P_9892+2*P_9926+2*P_10814+2*P_10817,
4*P_960+4*P_1009+4*P_1175-4*P_1542-4*P_1591-4*P_1862+4*P_3257+4*P_3306-4*P_3466-4*P_3515+4*P_3577-4*P_3681-4*P_3973-4*P_4139+4*P_4286+4*P_4896+4*P_5062-4*P_5209-4*P_6687-4*P_6736+4*P_6896+4*P_6945-4*P_7007+4*P_7111-4*P_7350+4*P_7567-4*P_7714+4*P_8273-4*P_8490+4*P_8637-4*P_9988-4*P_10042+4*P_10205-4*P_10208-4*P_10352+4*P_10355,
-2*P_424-2*P_478+2*P_960+2*P_1009+4*P_1175-2*P_1542-2*P_1591-4*P_1862+4*P_3257+2*P_3306+2*P_3310-4*P_3466-2*P_3515-2*P_3519+2*P_3577-2*P_3681-2*P_3973-4*P_4139+2*P_4286+2*P_4390+2*P_4896+2*P_4958+2*P_5062-4*P_5209-2*P_6683-2*P_6687-4*P_6736+2*P_6892+2*P_6896+4*P_6945-2*P_7007+2*P_7111-2*P_7350+4*P_7567-2*P_7714-2*P_7818+2*P_8273-2*P_8386-2*P_8490+4*P_8637-4*P_9988-4*P_10042+2*P_10205-2*P_10208-2*P_10352+2*P_10355+2*P_10917-2*P_11604,
-P_424-P_478+P_960+2*P_1009+P_1175-P_1204-2*P_1542-P_1591-P_1862-P_1999+P_2453-P_2704+P_3118+P_3257+P_3306+P_3310+P_3396-2*P_3466-P_3515+2*P_3577-P_3681-P_3714-2*P_3973-P_4139+P_4286-P_4419+P_4896+P_4958+P_5062-2*P_5209-P_6544-P_6659-P_6687-2*P_6736+P_6892+P_6896+P_6945-P_7007+2*P_7111+P_7140-P_7350+2*P_7567-P_7714-P_7818+2*P_8273-P_8490-P_8522+P_8637+P_9920-P_9964-P_9988-P_10042+P_10082+P_10205-2*P_10208-P_10333-2*P_10352+P_10355+P_10917-P_11604,
-P_424-P_478+2*P_960+P_1009+P_1175+P_1208-P_1542-2*P_1591-P_1862+P_1995+P_2453-P_2704+P_3118+2*P_3257+P_3277+P_3306-P_3466-P_3515-P_3519+P_3577-2*P_3681-P_3714-P_3973-2*P_4139+P_4286+P_4390+2*P_4896+P_5062+P_5091-P_5209-P_6544-P_6683-P_6687-P_6736+P_6792+P_6896+2*P_6945-2*P_7007+P_7111+P_7140-2*P_7350+P_7567-P_7714+P_7850+P_8273-P_8386-P_8490+2*P_8637+P_9888-P_9988+P_10010-P_10042+P_10082+2*P_10205-P_10208-P_10333-P_10352+2*P_10355+P_10917-P_11604,
48*P_2198-48*P_3913+48*P_4836+48*P_7343-48*P_8266+48*P_9981,
-P_1124+P_1153-P_1944-P_2369-P_2402+P_2653+P_2815-P_2819+P_3630-P_4084+P_4088+P_4335-P_4368+P_4534-P_5011+P_5040-P_5716-P_5911-P_7765-P_7960+P_8437+P_9342+P_10152+P_10862,
2*P_1253-2*P_1907-2*P_2044+2*P_2811+2*P_3622+2*P_3759-2*P_4331+2*P_5254-2*P_5449-2*P_7052+2*P_8880-2*P_10400,
2*P_2161-2*P_2280+2*P_2342-2*P_2446+2*P_3876+2*P_3966-2*P_5709-2*P_5738-2*P_5904+2*P_9091-2*P_9115+2*P_10806,
-P_1027+P_1193+P_1580+P_1699+P_1818-P_1984-P_2243+P_2276-P_2438+P_2491+P_2561+P_2585-P_2589+P_2693-P_2742+P_2804-P_3295-P_3414+P_3962-P_4324-P_4408+P_4457+P_4791+P_4881-P_4885-P_4914+P_4948-P_5129-P_5199+P_5227+P_5247-P_5442+P_5657-P_5703-P_5785-P_6107-P_7388+P_7706-P_8221-P_8378+P_8506-P_8653+P_9216+P_9538+P_10026-P_10344-P_11594+P_11640,
2*P_998+2*P_1193-2*P_1609+2*P_1699+2*P_1818-2*P_1880-2*P_2438+2*P_2491+2*P_2561+2*P_2689-2*P_2742+2*P_2804-2*P_3295+2*P_3504+2*P_3962-2*P_4408+2*P_4795-2*P_4914+2*P_4948-2*P_4996-2*P_5199+2*P_5227+2*P_5247+2*P_5657-2*P_5785+2*P_5839-2*P_6110-2*P_7388+2*P_7834-2*P_8221-2*P_8653-2*P_9085+2*P_9538+2*P_10026-2*P_11591+2*P_11640,
P_998+P_1193-P_1609+P_1699+P_1818-P_1880-P_2243+P_2276+P_2442+P_2491+P_2585-P_2638+P_2689+P_2693-P_2722-P_2923-P_3295+P_3504-P_3958-P_4276-P_4324+P_4457-P_4767+P_4791+P_4795-P_4885-P_4996+P_5080-P_5199+P_5227-P_5276-P_5442+P_5657-P_5785+P_5839-P_6110-P_7388+P_7834-P_8311-P_8378+P_8506-P_8629-P_9085+P_9538-P_9912-P_10344-P_11591+P_11640,
2*P_998+2*P_1193-2*P_1609+2*P_1699+2*P_1818-2*P_1880-2*P_2243+2*P_2276-2*P_2438-2*P_2589-2*P_2722-2*P_2742-2*P_2923-2*P_3295+2*P_3504+2*P_3962-2*P_4408-2*P_4767+2*P_4881+2*P_4948-2*P_5129+2*P_5247-2*P_5442+2*P_5657-2*P_5785+2*P_5839-2*P_6110+2*P_7706-2*P_8221-2*P_8653-2*P_9085+2*P_9538-2*P_9912-2*P_10344-2*P_11591+2*P_11640,
2*P_1976+2*P_1980+2*P_2029+2*P_3496+2*P_3500-2*P_5195-2*P_5241-2*P_5323-2*P_5377+2*P_6926-2*P_8623-2*P_8754,
2*P_805-2*P_1209+2*P_3311+2*P_6618-2*P_6737+2*P_7008-2*P_7404+2*P_7466-2*P_7599-2*P_7717+2*P_9923-2*P_10104,
2*P_1121+2*P_1150-2*P_1941-2*P_2865-2*P_3627+2*P_4580+2*P_7057+2*P_7086+2*P_7511-2*P_8011-2*P_8434+2*P_10149,
-4*P_4152-4*P_4299-4*P_4403-4*P_4971-4*P_5075-4*P_5222,
-P_789+P_821-P_908+P_1143-P_1612-P_1934-P_2158-P_2277+P_2339-P_2359+P_2388+P_2492-P_2496-P_2590-P_2643-P_2805-P_3963+P_4211+P_4325+P_4358-P_4796-P_4997-P_5735+P_5901+P_6726+P_6845-P_7299+P_7303+P_7393+P_7422-P_7456+P_7504-P_7637+P_7735-P_7755+P_7950+P_8222+P_8379-P_8407-P_8456-P_9088+P_9134+P_9166-P_9332+P_9941+P_10142+P_10803-P_10849,
-2*P_789+2*P_821-2*P_1030-2*P_1247-2*P_1490-2*P_1934+2*P_2339-2*P_2359+2*P_2392-2*P_2590-2*P_2643-2*P_2805-2*P_3963+2*P_4211-2*P_4796+2*P_5030-2*P_5706+2*P_5901-2*P_6636+2*P_6845+2*P_7389+2*P_7422-2*P_7456+2*P_7504-2*P_7637+2*P_7707-2*P_7755+2*P_8222-2*P_8456+2*P_9112+2*P_9134+2*P_9166-2*P_9329+2*P_9941+2*P_10803-2*P_10852,
-P_789+P_821-P_1030-P_1247-P_1490-P_1934-P_2158-P_2277+P_2388+P_2392-P_2443-P_2496-P_2520-P_2590+P_2639+P_2838-P_3873+P_4074+P_4325+P_4358-P_4796+P_5030-P_5706+P_5901-P_6636+P_6845+P_7275-P_7299+P_7389+P_7393+P_7504-P_7588-P_7637+P_7707+P_7784+P_7950-P_8226+P_8379-P_8407+P_8427+P_9112+P_9134+P_9166-P_9329+P_9913+P_10142+P_10803-P_10852,
-2*P_789+2*P_821-2*P_1030-2*P_1247-2*P_1490-2*P_1934-2*P_2158-2*P_2277+2*P_2339+2*P_2492-2*P_2520-2*P_2643+2*P_2838-2*P_3963+2*P_4211-2*P_4997-2*P_5706+2*P_5901-2*P_6636+2*P_6845+2*P_7275+2*P_7303-2*P_7456+2*P_7735-2*P_7755+2*P_7950+2*P_8222-2*P_8456+2*P_9112+2*P_9134+2*P_9166-2*P_9329+2*P_9913+2*P_10142+2*P_10803-2*P_10852,
2*P_1024-2*P_1190+2*P_1239+2*P_1577+2*P_1696-2*P_1815+2*P_1897+2*P_1981-2*P_2030-2*P_2488-2*P_2635+2*P_2801-2*P_3292-2*P_3411-2*P_3612+2*P_5126+2*P_5273-2*P_5439+2*P_6722+2*P_6841+2*P_6960+2*P_7042-2*P_7126+2*P_7175-2*P_7385+2*P_7703-2*P_7749+2*P_8308-2*P_8557-2*P_8626+2*P_8672-2*P_8704+2*P_8870-2*P_10023+2*P_10341-2*P_10387,
P_459+P_491+P_995-P_1190+P_1239+P_1606+P_1696-P_1815+P_1897+P_1926-P_1930+P_1981-P_2034-P_2488+P_2739+P_2801-P_3292-P_3411-P_3749+P_4321+P_4454-P_4993+P_5273-P_5439+P_6722+P_6837+P_6927-P_6931+P_6960-P_6994+P_7042+P_7175-P_7385-P_7749-P_7831-P_8218+P_8375+P_8503-P_8557-P_8626+P_8672-P_8704+P_8867+P_9537-P_10023+P_10341-P_10390-P_11639,
2*P_459+2*P_491+2*P_1024+2*P_1239+2*P_1577+2*P_1696-2*P_1815-2*P_1930+2*P_1981+2*P_2058-2*P_2488-2*P_2635+2*P_2920-2*P_3411-2*P_3612-2*P_4993+2*P_5273-2*P_5439+2*P_6722+2*P_6813+2*P_6927+2*P_7042-2*P_7126+2*P_7175-2*P_7385-2*P_7749-2*P_7831+2*P_8308-2*P_8557-2*P_8626+2*P_8870+2*P_9537-2*P_9909+2*P_10341-2*P_10387-2*P_11639,
P_459+P_491+P_1024-P_1190-P_1243+P_1577+P_1696-P_1815-P_1877+P_1926-P_2030-P_2034+P_2058-P_2488-P_2635+P_2920-P_3292-P_3501-P_3612+P_4321+P_4454+P_5126+P_5244-P_5439-P_6718+P_6813+P_6837+P_6841-P_6931+P_7042-P_7126+P_7175-P_7385+P_7703+P_7885+P_8308+P_8375+P_8421+P_8503+P_8650+P_8672-P_8704+P_8870+P_9537-P_9909+P_10341-P_10387-P_11639,
2*P_1017+2*P_1406-2*P_1808+2*P_2213+2*P_2233+2*P_2266+2*P_2575-2*P_2679-2*P_3948-2*P_4781-2*P_4904-2*P_5775-2*P_6552+2*P_7330+2*P_7824+2*P_8211-2*P_8253-2*P_8281+2*P_8301-2*P_8643-2*P_9080+2*P_9206-2*P_10016+2*P_11586,
-2*P_1751+2*P_1800+2*P_1804-2*P_3486-2*P_4867-2*P_5313-2*P_6868-2*P_6916-2*P_8249-2*P_8295-2*P_8741-2*P_8744,
6*P_2377-6*P_2628-6*P_5724+6*P_9150,
2*P_818-2*P_1089+2*P_2471-2*P_2833-2*P_3324+2*P_3595-2*P_3868-2*P_4025+2*P_4053+2*P_4102+2*P_4153-2*P_4186-2*P_4300+2*P_4548-2*P_4976-2*P_5025+2*P_5681+2*P_5898-2*P_7583+2*P_7730+2*P_9936+2*P_10093-2*P_10827-2*P_11044,
2*P_818+2*P_1222+2*P_2334-2*P_2833-2*P_3205+2*P_3595+2*P_3991-2*P_4025+2*P_4049+2*P_4102+2*P_4157-2*P_4186-2*P_4300-2*P_4353-2*P_4519-2*P_4976+2*P_5681+2*P_5930-2*P_7583+2*P_8402+2*P_9936+2*P_10117+2*P_10800-2*P_11044,
6*P_818+6*P_1222+6*P_2471-6*P_3205+6*P_3595-6*P_3868+6*P_4102-6*P_4300+6*P_4548-6*P_4976+6*P_5681+6*P_5930-6*P_7583+6*P_10093+6*P_10800-6*P_11044,
2*P_818+2*P_1222+2*P_2471-2*P_3205+2*P_3595-2*P_3868+2*P_4049+2*P_4053+2*P_4153+2*P_4157+2*P_4206+2*P_4304-2*P_4353+2*P_4548+2*P_4972-2*P_5025+2*P_5681+2*P_5930+2*P_7479+2*P_7730+2*P_8402+2*P_10093+2*P_10800-2*P_11044,
P_1185-P_1218+P_1872-P_2009+P_3287-P_3320-P_3406-P_3529-P_3640+P_3744+P_4296-P_4400-P_4513+P_4635+P_4968-P_5072-P_5436+P_5468-P_7017-P_7121-P_10087-P_10218-P_10338-P_10365,
6*P_2393-6*P_7304+6*P_7505+6*P_7538,
-2*P_1140+2*P_1244-2*P_1931-2*P_6633+2*P_6723-2*P_6842-2*P_7501-2*P_7634-2*P_7752+2*P_7781-2*P_8424+2*P_8453,
2*P_963+2*P_1545+2*P_2456+2*P_2707-2*P_3260-2*P_3469-2*P_3899-2*P_3923-2*P_4142-2*P_4289-2*P_4422-2*P_4746-2*P_4846+2*P_5065-2*P_5094+2*P_5212+2*P_5668+2*P_5772+2*P_7353+2*P_8276+2*P_9891+2*P_9967-2*P_10918-2*P_11605,
-2*P_1746-2*P_1994-2*P_3437-2*P_3465+2*P_3680+2*P_4842+2*P_5059-2*P_5310-2*P_5342+2*P_6891-2*P_9961-2*P_10456,
-2*P_1014-2*P_1596-2*P_1805+2*P_6708-2*P_6827+2*P_6917+2*P_7375+2*P_7821-2*P_8208+2*P_8298+2*P_8493+2*P_8640,
2*P_804+2*P_1013+2*P_1595+2*P_6617-2*P_6707+2*P_6826+2*P_7284-2*P_7374-2*P_7569-2*P_7716+2*P_8207-2*P_8388,
2*P_2436+2*P_2583+2*P_2687-2*P_3956-2*P_4274+2*P_4402+2*P_4789-2*P_4879-2*P_4946+2*P_5074-2*P_5197+2*P_5221,
6*P_1974+6*P_3494-6*P_5191-6*P_5322,
2*P_2157-2*P_2247-2*P_2358+2*P_2495-2*P_2609-2*P_2642-2*P_7274-2*P_7392-2*P_7754-2*P_8197+2*P_8225-2*P_8426,
2*P_994-2*P_1576+2*P_1896-2*P_2033+2*P_2605+2*P_2738-2*P_6812-2*P_6930+2*P_8193-2*P_8307+2*P_8671-2*P_8674,
P_750-P_799+P_1203+P_1207-P_3186+P_3256-P_3309-P_3576+P_3972-P_4034+P_4167+P_4285+P_6582-P_6682+P_6735-P_7006-P_7349-P_7462+P_7598+P_7713+P_9887-P_9919+P_10100+P_10103,
-4*P_420-4*P_469-4*P_3301+4*P_3510-4*P_3572+4*P_3676-4*P_6678+4*P_6887+4*P_7000-4*P_7104-4*P_10203+4*P_10350,
-12*P_944+12*P_1526-12*P_3241+12*P_3450+12*P_3908-12*P_4831+12*P_6671-12*P_6880-12*P_7336+12*P_8259-12*P_9974+12*P_9977,
-2*P_1115-2*P_1148+2*P_1939+2*P_2810+2*P_3621-2*P_3654-2*P_4079-2*P_4525+2*P_5002-2*P_7051+2*P_7956-2*P_10148,
P_788-P_817+P_907+P_1088+P_1608-P_1879+P_2152+P_2275+P_2309-P_2337-P_2386-P_2437+P_2441+P_2584+P_2637+P_2803-P_3294-P_3413+P_3867-P_3871+P_3957-P_3990+P_4024-P_4072-P_4156-P_4275-P_4352-P_4518+P_4794+P_4975+P_4995+P_5024+P_5656-P_5680-P_5702-P_5897-P_7387+P_7582+P_7705-P_7729-P_8220-P_8377+P_9111+P_9328-P_9935-P_10092-P_10802+P_10848,
2*P_788-2*P_817+2*P_1026+2*P_1192+2*P_1489-2*P_1879+2*P_2309-2*P_2333-2*P_2386+2*P_2584+2*P_2637+2*P_2803+2*P_3204-2*P_3413+2*P_3961-2*P_3990+2*P_4024-2*P_4072-2*P_4156-2*P_4275+2*P_4323+2*P_4794+2*P_4975+2*P_5656-2*P_5680-2*P_5734-2*P_5900-2*P_7387+2*P_7582-2*P_8220-2*P_8401-2*P_9084+2*P_9328-2*P_9935-2*P_10799+2*P_10848,
2*P_788-2*P_817+2*P_1026+2*P_1192+2*P_1489-2*P_1879+2*P_2152+2*P_2275-2*P_2386+2*P_2441-2*P_2470+2*P_2584-2*P_2832+2*P_3204-2*P_3413-2*P_3843+2*P_3867-2*P_4072-2*P_4275-2*P_4352-2*P_4518+2*P_4794+2*P_4975+2*P_5656-2*P_5680-2*P_5734-2*P_5900-2*P_7387+2*P_7582-2*P_8377-2*P_9084+2*P_9328-2*P_9911-2*P_10092-2*P_10799+2*P_10848,
P_788-P_817+P_1026+P_1192+P_1489-P_1879+P_2152+P_2275-P_2333-P_2337-P_2437-P_2470-P_2490-P_2588+P_2637-P_2832+P_3204-P_3413-P_3843-P_3871+P_3957+P_3961+P_4024-P_4156-P_4205-P_4303+P_4323-P_4518-P_4790+P_4947+P_4995+P_5024+P_5656-P_5680-P_5734-P_5900-P_7297+P_7454+P_7705-P_7729-P_8220-P_8401-P_9084+P_9328-P_9911-P_10092-P_10799+P_10848,
2*P_1022-2*P_1188+2*P_1237+2*P_1571+2*P_1690-2*P_1813+2*P_1847+2*P_1979-2*P_2028-2*P_2433+2*P_2580+2*P_2797-2*P_3286-2*P_3405+2*P_3528-2*P_3562-2*P_3694+2*P_3743-2*P_3953+2*P_4271-2*P_4317+2*P_4876+2*P_5071-2*P_5194-2*P_5218+2*P_5240-2*P_5435+2*P_6716+2*P_6835+2*P_6992-2*P_8502+2*P_8649+2*P_8866-2*P_10022+2*P_10340-2*P_10386,
P_458+P_487+P_989-P_1188+P_1237+P_1604+P_1690-P_1813+P_1847-P_1871+P_1875+P_1975-P_2028-P_2433+P_2684+P_2797-P_3286-P_3409+P_3495-P_3499+P_3528-P_3562+P_3610-P_3694-P_3953+P_4271+P_4453-P_4786-P_4989+P_5071-P_5125-P_5194-P_5218+P_5240-P_5438+P_6105+P_6716+P_6835+P_7120-P_7699-P_7830+P_8371+P_8649+P_8866-P_10022+P_10337-P_10386-P_11589,
P_458+P_487+P_1022+P_1184+P_1237+P_1571+P_1690-P_1813+P_1875-P_1924+P_1975+P_1979-P_2008-P_2433+P_2580+P_2919+P_3290+P_3381-P_3405-P_3409+P_3495-P_3562-P_3694+P_3743-P_3953-P_4317-P_4399+P_4876-P_4943-P_4989-P_5125-P_5194-P_5218+P_5272-P_5435+P_6105+P_6716+P_6925+P_6992-P_7699-P_7830-P_8502-P_8622+P_8866-P_9905+P_10340-P_10386-P_11589,
2*P_458+2*P_487+2*P_1022-2*P_1188+2*P_1571+2*P_1690-2*P_1813-2*P_1871-2*P_2008-2*P_2028-2*P_2433+2*P_2580+2*P_2919-2*P_3286+2*P_3381-2*P_3499-2*P_3562-2*P_3694+2*P_3743-2*P_3953+2*P_4271+2*P_4453+2*P_4876+2*P_5071+2*P_5240-2*P_5435+2*P_6105+2*P_6835+2*P_6992+2*P_8371+2*P_8649+2*P_8866-2*P_9905+2*P_10340-2*P_10386-2*P_11589,
-2*P_962+2*P_1405+2*P_1753+2*P_2183+2*P_2207+2*P_2260+2*P_2573-2*P_2677-2*P_3120-2*P_3946+2*P_4392+2*P_4745-2*P_4821+2*P_4869-2*P_4898-2*P_5211-2*P_5648-2*P_5771+2*P_7328-2*P_8175-2*P_8275+2*P_9202-2*P_9966+2*P_11585,
-2*P_1745-2*P_1749+2*P_1798-2*P_3436-2*P_3484-2*P_4817-2*P_4863-2*P_5309-2*P_5312-2*P_6866-2*P_8245-2*P_8740,
-6*P_4047-6*P_4151-6*P_4298-6*P_4970,
2*P_2338-2*P_2387-2*P_2391+2*P_3872-2*P_4073-2*P_4106+2*P_7298+2*P_7302-2*P_7455+2*P_7483-2*P_7503-2*P_7532,
-2*P_785-2*P_814-2*P_904+2*P_1085-2*P_1105+2*P_1134+2*P_1605-2*P_1876-2*P_1925+2*P_2487+2*P_2634-2*P_2800+2*P_3291+2*P_3410+2*P_3611-2*P_4202-2*P_4349+2*P_4515-2*P_6721-2*P_6750-2*P_6840+2*P_7021-2*P_7041+2*P_7070-2*P_7294-2*P_7451+2*P_7497+2*P_7633+2*P_7780-2*P_7946+2*P_8217+2*P_8374-2*P_8420-2*P_9932-2*P_10089+2*P_10135,
P_368-P_490-P_785-P_814+P_1023+P_1085-P_1105+P_1138-P_1238+P_1242-P_1486-P_1876-P_1925-P_2383+P_2634-P_2800+P_3291+P_3410-P_3644-P_4202-P_4320+P_4515+P_4992-P_5021-P_6627+P_6631-P_6717-P_6750-P_6840+P_6993-P_7041+P_7070+P_7384-P_7451+P_7497+P_7633+P_7702+P_7726+P_7780-P_7943+P_8217-P_8398-P_8420-P_9327-P_9932-P_10089+P_10138+P_10847,
P_368-P_490-P_785-P_814-P_904+P_1134+P_1138-P_1189-P_1238-P_1266+P_1605-P_1876+P_1929+P_2487+P_2634-P_2829+P_3201+P_3410+P_3611+P_4069-P_4349+P_4515+P_4992-P_5021-P_6603+P_6631-P_6717-P_6721+P_6836+P_7021-P_7041+P_7070-P_7294+P_7497+P_7579+P_7633+P_7702+P_7726+P_7748-P_7946+P_8217+P_8374-P_8452-P_9327+P_9908-P_10089+P_10135+P_10847,
2*P_368-2*P_490-2*P_785-2*P_814-2*P_904+2*P_1085+2*P_1242-2*P_1266+2*P_1605-2*P_1925+2*P_2487+2*P_2634-2*P_2829+2*P_3291+2*P_3611-2*P_4202-2*P_4320+2*P_4515-2*P_6603-2*P_6627-2*P_6840+2*P_7021-2*P_7041+2*P_7070-2*P_7294-2*P_7451+2*P_7780-2*P_7946+2*P_8217-2*P_8398-2*P_8420-2*P_9327+2*P_9908-2*P_10089+2*P_10135+2*P_10847,
2*P_455-2*P_484+2*P_1921+2*P_2025+2*P_3607+2*P_3740+2*P_6832+2*P_6922-2*P_6989-2*P_7117+2*P_8865+2*P_10385,
-2*P_614-2*P_807+2*P_1598+2*P_2142-2*P_2212-2*P_2265-2*P_2323+2*P_2427+2*P_3947+2*P_3980+2*P_4780+2*P_5670+2*P_6551-2*P_7253-2*P_7287+2*P_7357-2*P_7377-2*P_7572+2*P_8176+2*P_8391+2*P_9079-2*P_9101-2*P_9925-2*P_10794,
4*P_959+4*P_1008+4*P_1174+4*P_1402-4*P_1561-4*P_1680-4*P_1750-4*P_1799-4*P_1965-4*P_2257-4*P_2423+4*P_2570-4*P_3117+4*P_3276+4*P_3395+4*P_4895+4*P_5061-4*P_5208+4*P_6547-4*P_6706-4*P_6825+4*P_6895+4*P_6944+4*P_7110+4*P_7325-4*P_7371-4*P_7694-4*P_8248+4*P_8294-4*P_8326-4*P_8492+4*P_8617+4*P_8639+4*P_9963-4*P_10009-4*P_10332,
P_284-P_477+P_959-P_979+P_1008+2*P_1174+P_1402+P_1541-P_1561+P_1594-2*P_1680-2*P_1750-P_1799-P_1803-P_1861-P_1965-P_2257-2*P_2423+P_2570+P_2674-2*P_3117+P_3276+P_3395-P_3518+P_3943+P_4389+P_4776+P_4895+P_5061-2*P_5208+P_6543+P_6547+P_6658-2*P_6706-P_6825-P_6867+P_6895+P_6915+2*P_6944+P_7110+P_7325-2*P_7371-P_7694-P_7817-P_8204-P_8248-P_8272+P_8294-2*P_8326-P_8366-P_8492+2*P_8617+P_8636+P_8639+P_9201+2*P_9963-P_10009-P_10012-P_10332-P_11584,
2*P_284-2*P_477+2*P_959+4*P_1008+2*P_1174+4*P_1402-2*P_1561+2*P_1594-2*P_1680-4*P_1750-2*P_1799-2*P_1965-2*P_1998-4*P_2257-2*P_2423+2*P_2570-2*P_2703-2*P_3117+2*P_3276+4*P_3395+2*P_4776+2*P_4895+2*P_5061-4*P_5208+2*P_6519+2*P_6547-4*P_6706-2*P_6825-2*P_6867+2*P_6895+2*P_6944+4*P_7110+2*P_7325-4*P_7371-2*P_7694-2*P_7817-4*P_8248+2*P_8294-2*P_8326-4*P_8492+2*P_8617+2*P_8639+2*P_9201+2*P_9900+2*P_9963-2*P_10009-4*P_10332-2*P_11584,
P_284-P_477+2*P_959+P_1008-P_1012+P_1174+2*P_1402+P_1541-P_1561-P_1590-P_1680-P_1750-2*P_1799-P_1803-P_1965-P_1998-2*P_2257-P_2423+P_2570-P_2703-P_3117+2*P_3276+P_3395+P_3485+P_3943+P_4389+P_4866+P_4895+2*P_5061-P_5208+P_6519+P_6547+P_6658-P_6706+P_6791-2*P_6825+P_6895+P_6915+P_6944+2*P_7110+2*P_7325-P_7371-P_7694+P_7820+P_8172-P_8204-P_8248+2*P_8294-P_8326+P_8489-P_8492+P_8617+P_8636+2*P_8639+P_9201+P_9900+P_9963-P_10009-2*P_10332-P_11584,
2*P_1123-2*P_1914+2*P_2368-2*P_2372-2*P_2619+2*P_2623-2*P_4338+2*P_5010+2*P_5715+2*P_7764-2*P_8436-2*P_9146,
6*P_4048+6*P_4052-6*P_4101+6*P_7478,
2*P_1080-2*P_1217-2*P_3196-2*P_3319-2*P_3639+2*P_4044-2*P_4148-2*P_4512+2*P_4544-2*P_7016-2*P_10086-2*P_10113,
-6*P_2160-6*P_2250+6*P_5708-6*P_9090,
2*P_2242+2*P_2246+2*P_2560+2*P_2608-2*P_2692-2*P_2741+2*P_4766+2*P_4884+2*P_5246+2*P_8196+2*P_8310+2*P_8628,
6*P_1139+6*P_6632+6*P_7500-6*P_7529,
4*P_753+4*P_2455-4*P_3259-4*P_3822-4*P_3922-4*P_4037-4*P_4170+4*P_4960+4*P_5667+4*P_7352+4*P_9890-4*P_10813,
-P_954-P_1202-P_1536-P_1993-P_3227-P_3255-P_3360-P_3464+P_3575+P_3679+P_3918+P_4135-P_4386-P_4418+P_4841+P_4954-P_5090-P_5205+P_6681+P_6890-P_9884-P_9960-P_10204-P_10351,
-2*P_787-2*P_906+2*P_1578+2*P_1697-2*P_2151+2*P_2155-2*P_2241+2*P_2245-2*P_2308+2*P_2356+2*P_2559-2*P_2607-2*P_3960+2*P_4322-2*P_4793-2*P_4994-2*P_5655+2*P_5701+2*P_7386-2*P_7704+2*P_8219+2*P_8376+2*P_9086-2*P_9132,
-6*P_787+6*P_996-6*P_1488+6*P_1697-6*P_2308+6*P_2356+6*P_2559-6*P_2607-6*P_3960-6*P_4793-6*P_5655+6*P_5704+6*P_7386+6*P_8219+6*P_9083-6*P_9132,
-2*P_787+2*P_996-2*P_1488+2*P_1697+2*P_2127-2*P_2151+2*P_2245-2*P_2274+2*P_2356-2*P_2440+2*P_2559+2*P_2636+2*P_2802+2*P_3842+2*P_4322-2*P_4793-2*P_5655+2*P_5704+2*P_7386+2*P_8195+2*P_8376+2*P_9083-2*P_9132+2*P_9910,
-2*P_787+2*P_996-2*P_1488+2*P_1697+2*P_2127+2*P_2155-2*P_2241-2*P_2274-2*P_2308+2*P_2489+2*P_2587-2*P_2607+2*P_2802-2*P_3960-2*P_4765-2*P_4994-2*P_5655+2*P_5704-2*P_7272-2*P_7704+2*P_8219+2*P_9083-2*P_9132+2*P_9910,
P_988+P_992-P_1570-P_1574+P_1846+P_1894-P_1978-P_2027+P_2555+P_2601+P_2683+P_2737-P_3380-P_3498+P_4761-P_4875+P_5239-P_5242-P_6810-P_6924+P_8189-P_8306+P_8621-P_8624,
-2*P_744-2*P_1201-2*P_3150-2*P_3254+2*P_3574+2*P_3917+2*P_4030-2*P_4166-2*P_4281+2*P_6680-2*P_9883-2*P_10099,
-6*P_803-6*P_6616-6*P_7283+6*P_7464,
2*P_2331+2*P_2435+2*P_2582+2*P_3865-2*P_3955-2*P_4022+2*P_4150-2*P_4273+2*P_4297+2*P_4788-2*P_4945+2*P_4969,
2*P_1182+2*P_1869+2*P_1973+2*P_3284-2*P_3403+2*P_3493-2*P_4267-2*P_4398-2*P_4939-2*P_5070-2*P_5190-2*P_5217,
-4*P_2156+4*P_2357+4*P_2390+4*P_7273-4*P_7301+4*P_7502,
P_903-P_993-P_1104+P_1241-P_1485+P_1575-P_1895-P_1928-P_2353-P_2486-P_2604+P_2633+P_6602+P_6720+P_6811-P_6839-P_7269+P_7383-P_7747+P_7750-P_8192-P_8216-P_8419+P_8422,
4*P_454+4*P_1891+4*P_2024-4*P_6807+4*P_6921+4*P_8669,
-6*P_1743-6*P_3434-6*P_4813-6*P_5308,
-2*P_978-2*P_1401-2*P_1679-2*P_1802+2*P_2227+2*P_2673-2*P_6518+2*P_6914-2*P_8184+2*P_8247-2*P_8296+2*P_8616,
8*P_404+8*P_3236-8*P_3445-8*P_6664+8*P_6873+8*P_9972,
-2*P_2332-2*P_2336+2*P_2385-2*P_3866-2*P_3870+2*P_4023-2*P_4051+2*P_4071+2*P_4100-2*P_7296+2*P_7453-2*P_7477,
2*P_779+2*P_812+2*P_898+2*P_1055-2*P_1083-2*P_1132-2*P_1603+2*P_1874+2*P_1923-2*P_2432+2*P_2579+2*P_2796-2*P_3285+2*P_3318-2*P_3404-2*P_3561-2*P_3589-2*P_3638+2*P_3862+2*P_4019-2*P_4065+2*P_4147-2*P_4294-2*P_4511-2*P_4785-2*P_4942+2*P_4988+2*P_6715+2*P_6834+2*P_6991-2*P_7578+2*P_7725+2*P_7942+2*P_9931+2*P_10088-2*P_10134,
-P_367+P_486+P_779+P_812-P_1021+P_1055-P_1079-P_1132+P_1183-P_1187+P_1480+P_1874+P_1923-P_2328+P_2579+P_2796+P_3195-P_3199-P_3289+P_3318-P_3404-P_3561-P_3589+P_3609-P_3952+P_4019-P_4065+P_4147-P_4294+P_4316-P_4348-P_4514-P_4785-P_4942+P_5020+P_5895+P_6715+P_6834+P_7015-P_7578-P_7698+P_7942+P_8370+P_8397+P_9931+P_10085-P_10134-P_10797,
-2*P_367+2*P_486+2*P_779+2*P_812+2*P_898-2*P_1132+2*P_1183-2*P_1216-2*P_1603+2*P_1874-2*P_2432+2*P_2579+2*P_2828+2*P_3171-2*P_3199-2*P_3404-2*P_3561-2*P_3589-2*P_3638+2*P_3862-2*P_4065-2*P_4294-2*P_4511-2*P_4785-2*P_4942+2*P_5020+2*P_5895+2*P_6715+2*P_6991-2*P_7578-2*P_7698+2*P_7942-2*P_9904+2*P_10088-2*P_10134-2*P_10797,
-P_367+P_486+P_779+P_812+P_898-P_1079-P_1083-P_1187-P_1216-P_1236-P_1603-P_1870+P_1923-P_2432+P_2579+P_2828+P_3171+P_3195-P_3285-P_3289+P_3408-P_3561-P_3589-P_3638+P_3862+P_4019+P_4147+P_4201+P_4270+P_4316-P_4348-P_4511-P_4785+P_4966+P_4988+P_5895+P_6625+P_6834+P_6991+P_7447+P_7725+P_7942+P_8370+P_8397-P_9904+P_10088-P_10134-P_10797,
2*P_449-2*P_482-2*P_1866+2*P_1970+2*P_3400+2*P_3490+2*P_3603+2*P_3739+2*P_5433-2*P_6985-2*P_7116+2*P_10335,
2*P_613-2*P_752+2*P_1543+2*P_2106+2*P_2206+2*P_2259+2*P_2321-2*P_2425-2*P_3119+2*P_3821+2*P_3855-2*P_3897-2*P_3974+2*P_4140-2*P_4778-2*P_4959-2*P_5647-2*P_5666+2*P_7327-2*P_7351-2*P_8174+2*P_9097-2*P_9889+2*P_10793,
4*P_957+4*P_1006+4*P_1172+4*P_1396-4*P_1511+4*P_1644-4*P_1748-4*P_1797-4*P_1963+4*P_2202-4*P_2419+4*P_2566-4*P_3111+4*P_3226-4*P_3359+4*P_3463+4*P_3512+4*P_3678+4*P_3893-4*P_3939-4*P_4262-4*P_4816-4*P_4840+4*P_4862+4*P_5057+4*P_5185-4*P_5204+4*P_6541-4*P_6656+4*P_6789+4*P_8271-4*P_8488+4*P_8635+4*P_9962-4*P_10008-4*P_10331,
P_283+P_422-P_929+P_957+P_1006+2*P_1172+P_1396-P_1511+P_1535+P_1588+2*P_1644-P_1744-P_1748-2*P_1797-P_1859-P_1963+P_2202-2*P_2419+P_2566+P_2670-P_3111-P_3115+2*P_3226-P_3274-P_3359-P_3435+2*P_3463+P_3483+P_3512+P_3678+2*P_3893-P_3939-P_4262+P_4388-P_4740-P_4816-2*P_4840+P_4862-P_4894-P_4934+P_5057+2*P_5185-P_5204-P_5207+P_5769+2*P_6541-P_6656+P_6789-P_6889-P_7321-P_7816+P_8168+P_8271-P_8488+2*P_8635+P_9959+P_9962-2*P_10008-P_10331-P_11583,
P_283+P_422-P_953+P_957+2*P_1006+P_1172+2*P_1396-P_1511-P_1539+P_1588+P_1644-P_1744-2*P_1748-P_1797-P_1963-P_1992+2*P_2202-P_2419+P_2566-P_2702+P_3087-P_3111+P_3226-P_3274-2*P_3359+P_3393-P_3435+P_3463+P_3512+2*P_3678+P_3893-2*P_3939-P_4262-P_4385-P_4740+P_4772-2*P_4816-P_4840+P_4862+P_5057-P_5060+P_5185-2*P_5204-P_5207+P_5769+P_6541-2*P_6656+P_6789-P_6865-P_7321-P_7816-P_8244+P_8271-2*P_8488+P_8635+P_9873+P_9962-P_10008-2*P_10331-P_11583,
2*P_283+2*P_422+4*P_957+2*P_1006+2*P_1172+4*P_1396-2*P_1511+2*P_1535+2*P_1644-2*P_1748-4*P_1797-2*P_1963-2*P_1992+4*P_2202-2*P_2419+2*P_2566-2*P_2702+2*P_3087-2*P_3111+4*P_3226-2*P_3359+2*P_3463+2*P_3483+2*P_3512+4*P_3678+4*P_3893-2*P_3939-2*P_4262+2*P_4388-2*P_4816-2*P_4840+4*P_4862+4*P_5057+2*P_5185-2*P_5204+2*P_5769+2*P_6541-2*P_6656+4*P_6789+2*P_8168+2*P_8271-2*P_8488+4*P_8635+2*P_9873+2*P_9962-2*P_10008-4*P_10331-2*P_11583,
-24*P_4046,
4*P_2240+4*P_2558-4*P_2686+4*P_4764+4*P_4878+4*P_5196,
2*P_1084-2*P_1133-2*P_1137-2*P_3200-2*P_4068+2*P_4097-2*P_6626-2*P_6630-2*P_7450-2*P_7474-2*P_7496+2*P_7528,
2*P_364+2*P_483-2*P_1129-2*P_1233-2*P_3606+2*P_3635-2*P_6622-2*P_6712+2*P_6988+2*P_7012-2*P_7941-2*P_10133,
-4*P_610-4*P_749+4*P_769-4*P_798+4*P_888-4*P_1069+4*P_1540+4*P_1589+4*P_1860+4*P_2256+4*P_2422-4*P_2569+4*P_3116-4*P_3275-4*P_3394-4*P_3971-4*P_4137+4*P_4284-4*P_6546-4*P_6685+4*P_6705-4*P_6734+4*P_6824-4*P_7005-4*P_7248-4*P_7280+4*P_7402+4*P_7442+4*P_7568-4*P_7715+4*P_8171+4*P_8203-4*P_8365-4*P_9886-4*P_9918+4*P_10080,
-P_164+P_476-P_610-2*P_749+2*P_769-P_798-P_802+P_888+P_958+P_1011-P_1069-P_1173+P_1470+P_1540+P_1589+2*P_1860+P_2256+P_2318+P_2422-2*P_2569+2*P_3116-P_3275+P_3308-P_3394-P_3942-P_3971-2*P_4137+P_4284-P_4775+P_4956-P_6542-P_6546-P_6581-P_6615-P_6685+P_6705-2*P_6734+P_6790+2*P_6824-P_7005-P_7248-P_7280+P_7348+P_7370+2*P_7402+2*P_7442+P_7565+P_7568-P_7693-P_7715+P_8171+2*P_8203-P_8365-P_8384-P_9096-2*P_9886-P_9918-P_9921+P_10080+P_10792,
-P_164+P_476-2*P_610-P_749+P_769-2*P_798-P_802+P_888+P_958-P_1007-P_1069+P_1206+2*P_1540+P_1589-P_1593+P_1860+2*P_2256+P_2422+P_2451-P_2569+P_3116-P_3185-P_3275-2*P_3394-P_3852-P_3971-P_4137+2*P_4284-P_4775+P_4956+P_6470-P_6546-P_6615+P_6657-P_6685+2*P_6705-P_6734+P_6790+P_6824-2*P_7005-P_7248-2*P_7280+P_7324+P_7370+P_7402+P_7442+P_7565+2*P_7568+P_7712-P_7715+2*P_8171+P_8203-P_8365+P_8387-P_9096-P_9886-P_9899-P_9918+2*P_10080+P_10792,
-2*P_164+2*P_476-4*P_610-4*P_749+2*P_769-2*P_798+2*P_888+2*P_1011-2*P_1069+2*P_1206+2*P_1540+4*P_1589+2*P_1860+4*P_2256+2*P_2422+2*P_2451-2*P_2569+2*P_3116-4*P_3275-2*P_3394-2*P_3942-2*P_3971-4*P_4137+2*P_4284+2*P_6470-2*P_6546-2*P_6581-2*P_6685+2*P_6705-2*P_6734+4*P_6824-4*P_7005-4*P_7248-2*P_7280+2*P_7402+2*P_7442+2*P_7568-4*P_7715+2*P_8171+4*P_8203-2*P_8365-2*P_8384-2*P_9096-2*P_9886-2*P_9899-2*P_9918+4*P_10080+2*P_10792,
2*P_280-2*P_419-2*P_439-2*P_468-2*P_1585+2*P_1794-2*P_1856+2*P_1960-2*P_3271-2*P_3390+2*P_3509+2*P_3675+2*P_6538+2*P_6653+2*P_6818-2*P_6862+2*P_6886+2*P_6908+2*P_6980-2*P_7103-2*P_8487+2*P_8634+2*P_10007+2*P_10330,
-12*P_943-12*P_1386+12*P_1734+12*P_2192+12*P_3101-12*P_4830-12*P_6531-12*P_6879-12*P_7316+12*P_8239+12*P_8261-12*P_9954,
2*P_1114-2*P_1118-2*P_1905+2*P_1909+2*P_2363-2*P_2614-2*P_3624+2*P_4329-2*P_5001+2*P_7050-2*P_7760+2*P_8432,
6*P_1109-6*P_1900+6*P_3615-6*P_7046,
2*P_2150+2*P_2154-2*P_2307+2*P_2335-2*P_2355-2*P_2384-2*P_3841+2*P_3869-2*P_4070-2*P_7271+2*P_7295-2*P_7452,
-2*P_778+2*P_782-2*P_897+2*P_901-2*P_1054+2*P_1102+2*P_1569-2*P_1573+2*P_1688-2*P_1692+2*P_1845-2*P_1893-2*P_2146-2*P_2236-2*P_2303+2*P_2349+2*P_2554-2*P_2600+2*P_3288+2*P_3407+2*P_3608+2*P_3951-2*P_4269+2*P_4315+2*P_4784+2*P_4941-2*P_4987-2*P_6714-2*P_6833-2*P_6990-2*P_7382+2*P_7700-2*P_7746-2*P_8215-2*P_8372+2*P_8418,
2*P_366+2*P_456-2*P_778+2*P_782+2*P_987-2*P_991-2*P_1054+2*P_1102-2*P_1479+2*P_1483+2*P_1688-2*P_1692+2*P_1845-2*P_1893-2*P_2303+2*P_2349+2*P_2554-2*P_2600+2*P_3288+2*P_3407+2*P_3951-2*P_4269+2*P_4318+2*P_4784+2*P_4941-2*P_4990-2*P_5699-2*P_6714-2*P_6833-2*P_7382+2*P_7697-2*P_7746-2*P_8215-2*P_8369+2*P_8418+2*P_9081,
P_366+P_456-P_778+P_782+P_873-P_897+P_987-P_1020+P_1102-P_1186-P_1455+P_1483-P_1573+P_1602+P_1688-P_1692+P_1845+P_1922-P_2146-P_2236+P_2349+P_2431+P_2554-P_2632+P_2795-P_2798-P_3170+P_3407+P_3608+P_3837-P_4269+P_4315+P_4784+P_4941-P_4990-P_5699-P_6714-P_6809-P_6990-P_7382+P_7697-P_7746+P_8188-P_8372+P_8418+P_9081+P_9903-P_9906,
P_366+P_456-P_778+P_782+P_873+P_901-P_991-P_1020-P_1054+P_1235-P_1455-P_1479+P_1569+P_1602+P_1688-P_1692+P_1873-P_1893-P_2146-P_2236-P_2303-P_2485-P_2578-P_2600+P_2795-P_2798+P_3288+P_3379+P_3608+P_3951-P_4269+P_4318-P_4760+P_4941-P_4987-P_5699+P_6600-P_6833-P_6990-P_7265+P_7700-P_7746-P_8215-P_8369+P_8418+P_9081+P_9903-P_9906,
2*P_448+2*P_452+2*P_1841+2*P_1887+2*P_1969+2*P_2023-2*P_3375+2*P_3489+2*P_5237-2*P_6803+2*P_6920+2*P_8619,
-4*P_612+4*P_1403-4*P_2105-4*P_2139+4*P_2181-4*P_2229+4*P_3944+4*P_4777+4*P_5646-4*P_7326+4*P_8173-4*P_9077,
-P_928-P_976-P_1395-P_1399+P_1643-P_1677+P_1747-P_1796+P_2177+P_2223+P_2669+P_2672-P_3086+P_3482-P_4752+P_4815-P_4864+P_5184-P_6516+P_6864-P_8157+P_8243-P_8292+P_8615,
6*P_2330+6*P_3864-6*P_4021+6*P_4045,
2*P_1077+2*P_1181+2*P_1868-2*P_3193+2*P_3283-2*P_3402-2*P_4015-2*P_4146-2*P_4266-2*P_4293-2*P_4938-2*P_4965,
-2*P_902+2*P_1103+2*P_1136+2*P_1484+2*P_2352-2*P_2381-2*P_6601+2*P_6629+2*P_7268+2*P_7292+2*P_7495-2*P_7498,
2*P_363-2*P_453-2*P_1099-2*P_1232-2*P_1890+2*P_1919+2*P_6597-2*P_6711+2*P_6806+2*P_6830-2*P_7745-2*P_8417,
-2*P_951-2*P_1533-2*P_1742-2*P_3224-2*P_3357-2*P_3433-2*P_3889-2*P_4384-2*P_4736-2*P_4812-2*P_5056-2*P_5203,
P_609+P_768+P_977+P_1010+P_1400+P_1469+P_1592+P_1678+P_2136-P_2226-P_2421-P_2568-P_6469+P_6517-P_6704+P_6823+P_7260-P_7323+P_7372-P_7692-P_8170+P_8183-P_8205-P_8364,
4*P_279-4*P_438-4*P_1555-4*P_1674+4*P_1793+4*P_1959-4*P_6513+4*P_6798-4*P_6861+4*P_6907+4*P_8291+4*P_8614,
-2*P_1078-2*P_1082+2*P_1131+2*P_3194+2*P_3198+2*P_4018+2*P_4042+2*P_4064-2*P_4096+2*P_6624+2*P_7446+2*P_7473,
-2*P_358-2*P_481-2*P_1074+2*P_1178+2*P_3190+2*P_3280+2*P_3602-2*P_3634+2*P_4509-2*P_6984-2*P_7011+2*P_10083,
-6*P_2126-6*P_2244-6*P_2606-6*P_8194,
4*P_604-4*P_719+4*P_747+4*P_796+4*P_852+4*P_1067-4*P_1538-4*P_1587-4*P_1858+4*P_2201-4*P_2418+4*P_2565-4*P_3110+4*P_3225+4*P_3253+4*P_3302-4*P_3358+4*P_3573+4*P_3816+4*P_3848-4*P_3916-4*P_4010+4*P_4133-4*P_4280-4*P_4739-4*P_4771+4*P_4933+4*P_6540-4*P_6655+4*P_6788+4*P_7347-4*P_7564+4*P_7711+4*P_9885+4*P_9917-4*P_10079,
P_163+P_421+P_604-2*P_719+P_743+P_747+2*P_796+P_852-P_952-P_1005+P_1067+P_1171+P_1434-P_1538-P_1587-2*P_1858+P_2201-P_2314-P_2418+2*P_2565-P_3110-P_3114+P_3149+P_3183+P_3225+2*P_3253+P_3302-2*P_3358-P_3392+P_3573+P_3816+P_3848+P_3892-2*P_3916-P_3970-2*P_4010+P_4133+P_4136+P_4261-P_4280-2*P_4739-P_4771+P_4933-P_4955+P_5664+2*P_6540-P_6655-P_6679+P_6788-P_7320+P_7347-2*P_7564+P_7711+P_8167+P_8383+P_9882+P_9885+2*P_9917-P_10079-P_10791,
2*P_163+2*P_421+4*P_604-2*P_719+2*P_747+4*P_796+2*P_852-2*P_952+2*P_1067-2*P_1200-4*P_1538-2*P_1587-2*P_1858+4*P_2201-2*P_2418-2*P_2450+2*P_2565-2*P_3038-2*P_3110+2*P_3183+2*P_3225+2*P_3253+2*P_3302-4*P_3358+4*P_3573+2*P_3816+4*P_3848-2*P_3916-2*P_4010+2*P_4133-4*P_4280-4*P_4739-2*P_4771+2*P_4933-2*P_4955+2*P_5664+2*P_6540-4*P_6655+2*P_6788-2*P_7320+2*P_7347-4*P_7564+2*P_7711+2*P_9872+2*P_9885+2*P_9917-4*P_10079-2*P_10791,
P_163+P_421+2*P_604-P_719+P_743+2*P_747+P_796+P_852+P_956-P_1005+P_1067-P_1200+P_1534-P_1538-2*P_1587-P_1858+2*P_2201-P_2418-P_2450+P_2565-P_3038-P_3110+P_3149+2*P_3225+P_3253+P_3273+P_3302-P_3358-P_3392+2*P_3573+2*P_3816+P_3848+P_3892-P_3916+P_3938-P_4010+2*P_4133+P_4136-P_4280+P_4283-P_4739-2*P_4771+P_4933+P_4952+P_5664+P_6540+P_6579-P_6655+2*P_6788+P_7244+P_7347-P_7564+2*P_7711+P_8167+P_8383+P_9872+P_9885+P_9917-2*P_10079-P_10791,
2*P_274-2*P_389-2*P_417-2*P_466+2*P_1530-2*P_1739-2*P_1852+2*P_1956+2*P_3106-2*P_3267+2*P_3354-2*P_3430+2*P_3476+2*P_3508+2*P_3548+2*P_3674-2*P_5055+2*P_5202+2*P_6649-2*P_6782+2*P_6885-2*P_7102+2*P_9957+2*P_10329,
-12*P_941+12*P_1350+12*P_1732+12*P_2188-12*P_3065-12*P_3447-12*P_3884+12*P_4807-12*P_4826+12*P_6495+12*P_8257-12*P_9953,
-2*P_2149+2*P_2239+2*P_2306-2*P_2434+2*P_2557-2*P_2581+2*P_3840+2*P_3954+2*P_4272+2*P_4763-2*P_4787+2*P_4944,
2*P_986-2*P_1568+2*P_1844-2*P_1972+2*P_2551+2*P_2682-2*P_3378-2*P_3492+2*P_4757-2*P_4874+2*P_5189-2*P_5192,
-2*P_748+2*P_797+2*P_801+2*P_3184+2*P_3851-2*P_4032-2*P_6580+2*P_6614-2*P_7247+2*P_7279-2*P_7460-2*P_7463,
-2*P_160-2*P_348+2*P_418+2*P_467+2*P_793-2*P_1002+2*P_1064-2*P_1168+2*P_3270-2*P_3299+2*P_3389-2*P_3570-2*P_6537-2*P_6576-2*P_6608-2*P_6676-2*P_6698+2*P_6785-2*P_6979+2*P_6998+2*P_7563-2*P_7710+2*P_9916-2*P_10078,
12*P_594+12*P_733-12*P_1524-12*P_2191-12*P_3100+12*P_3906+12*P_6530+12*P_6669+12*P_7239-12*P_7337-12*P_8162+12*P_9877,
-4*P_264+4*P_403+4*P_1520-4*P_1729-4*P_3096-4*P_3444+4*P_6524-4*P_6644+4*P_6853+4*P_6872+4*P_8256+4*P_9952,
P_896+P_900-P_1053+P_1081-P_1101-P_1130-P_1478-P_1482-P_2302-P_2326-P_2348+P_2380+P_3169-P_3197-P_3836-P_3860-P_4063+P_4066+P_6599-P_6623-P_7264-P_7291-P_7445+P_7448,
-6*P_773-6*P_892-6*P_1049+6*P_1095+6*P_1564+6*P_1683+6*P_1840-6*P_1886-6*P_3279-6*P_3398-6*P_3555+6*P_3601+6*P_6710+6*P_6829+6*P_6986-6*P_7032,
2*P_357-2*P_361+2*P_447-2*P_451-2*P_773+2*P_982-2*P_1049+2*P_1095-2*P_1474+2*P_1683+2*P_1840-2*P_1886-2*P_3279-2*P_3398-2*P_3555+2*P_3604-2*P_4313+2*P_4985+2*P_6710+2*P_6829+2*P_6983-2*P_7032+2*P_7695-2*P_8367,
2*P_333-2*P_361+2*P_447-2*P_480-2*P_773-2*P_892+2*P_1095+2*P_1177+2*P_1564+2*P_1683+2*P_1840-2*P_1918+2*P_2793-2*P_3165-2*P_3398-2*P_3555+2*P_3601+2*P_4985+2*P_6710-2*P_6802+2*P_6986-2*P_7032+2*P_7695+2*P_9901,
2*P_333+2*P_357-2*P_451-2*P_480-2*P_773-2*P_892-2*P_1049-2*P_1231+2*P_1564+2*P_1683-2*P_1864-2*P_1886+2*P_2793-2*P_3279+2*P_3374-2*P_3555+2*P_3601-2*P_4313+2*P_6593+2*P_6829+2*P_6986-2*P_7032-2*P_8367+2*P_9901,
-4*P_603+4*P_607+4*P_718-4*P_766-4*P_851-4*P_885+4*P_1394-4*P_1398-4*P_1509+4*P_1557+4*P_1642+4*P_1676-4*P_2100-4*P_2132+4*P_2176-4*P_2222+4*P_2294-4*P_2545+4*P_3113-4*P_3272-4*P_3391-4*P_3891+4*P_3937+4*P_4260+4*P_4738+4*P_4770-4*P_4932-4*P_6539+4*P_6654-4*P_6787+4*P_7322-4*P_7368-4*P_7691-4*P_8169-4*P_8201+4*P_8363,
-2*P_162+2*P_281-2*P_603+2*P_607+4*P_718-4*P_766-2*P_851-2*P_885-2*P_927+2*P_975+2*P_1394-2*P_1398-2*P_1433-2*P_1467-2*P_1509+2*P_1557+4*P_1642+4*P_1676-2*P_2100-2*P_2132+2*P_2176-2*P_2222+4*P_2294-4*P_2545+4*P_3113-2*P_3272-2*P_3391-4*P_3891+2*P_3937+2*P_3940+2*P_4260+4*P_4738+2*P_4770+2*P_4773-2*P_4932-2*P_5644-4*P_6539+2*P_6654-2*P_6787+2*P_7319+2*P_7322-4*P_7368-2*P_7691-2*P_8166-2*P_8169-4*P_8201+2*P_8363+2*P_9075,
-P_162+P_281+P_579-2*P_603+P_607+P_718-2*P_766-P_851-P_885-P_927-P_1004+P_1170+P_1322+P_1394-2*P_1398-P_1467-P_1509+P_1537+P_1557+2*P_1642+P_1676-P_1857-P_2100-2*P_2132+2*P_2176-P_2200-P_2222-P_2254+P_2294+P_2420-P_2545+P_2564+P_3037+P_3113-P_3272-2*P_3391-P_3828-P_3891+P_3937+2*P_4260+2*P_4738+P_4770+P_4773-P_4932-P_5644-P_6515-P_6539+2*P_6654-P_6787+P_7319+P_7322-2*P_7368-P_7691-P_8156-P_8169-P_8201+2*P_8363+P_9075-P_9871+P_9897,
-P_162+P_281+P_579-P_603+2*P_607+2*P_718-P_766-P_851-P_885-P_955+P_975+P_1170+P_1322+2*P_1394-P_1398-P_1433-P_1509+P_1557+P_1586+P_1642+2*P_1676-P_1857-2*P_2100-P_2132+P_2176-P_2200-2*P_2222-P_2254+P_2294-P_2417-P_2545-P_2567+P_3085+P_3113-2*P_3272-P_3391-2*P_3891+P_3937+P_3940+P_4260+P_4738+P_4751+P_4770-2*P_4932-P_5644-P_6467-P_6539+P_6654-2*P_6787+P_7233+P_7322-P_7368-2*P_7691-P_8166-P_8169-2*P_8201+P_8363+P_9075-P_9871+P_9897,
2*P_273+2*P_277-2*P_388-2*P_436-2*P_1505-2*P_1551+2*P_1638-2*P_1670-2*P_1738+2*P_1792+2*P_1955+2*P_1958-2*P_3081+2*P_3366-2*P_3429+2*P_3475+2*P_4859+2*P_5182-2*P_6509+2*P_6771-2*P_6860+2*P_6906+2*P_8241+2*P_8613,
6*P_1076-6*P_3192-6*P_4014-6*P_4041,
-6*P_2124-6*P_2238-6*P_2556-6*P_4762,
-4*P_362+4*P_1098-4*P_1127-4*P_6596-4*P_6620+4*P_7493,
-2*P_741-2*P_950-2*P_1532-2*P_3147-2*P_3223-2*P_3356-2*P_3812-2*P_3888-2*P_4132-2*P_4279-2*P_4735-2*P_4951,
-2*P_608-2*P_767-2*P_800-2*P_1468-2*P_2135+2*P_2316+2*P_6468-2*P_6613+2*P_7246-2*P_7259+2*P_7281+2*P_7440,
-2*P_159-2*P_278-2*P_347+2*P_437+2*P_763+2*P_882-2*P_1001-2*P_1167+2*P_1554-2*P_1583+2*P_1673-2*P_1854-2*P_6464+2*P_6512-2*P_6588+2*P_6651-2*P_6697+2*P_6784-2*P_6797+2*P_6816-2*P_7367-2*P_7690+2*P_8200-2*P_8362,
-8*P_263-8*P_1380-8*P_1728+8*P_6504+8*P_6852+8*P_8236,
6*P_2125-6*P_2153+6*P_2354+6*P_7270,
-2*P_872-2*P_990+2*P_1454+2*P_1572-2*P_1892-2*P_2121+2*P_2235-2*P_2599+2*P_2602+2*P_6808-2*P_8187+2*P_8190,
2*P_742+2*P_746-2*P_795+2*P_3148-2*P_3182+2*P_3815-2*P_3847+2*P_4028+2*P_4031+2*P_6578+2*P_7243+2*P_7459,
2*P_154-2*P_312-2*P_416-2*P_465+2*P_738-2*P_947-2*P_1060+2*P_1164+2*P_3105+2*P_3144+2*P_3176-2*P_3220+2*P_3298-2*P_3385+2*P_3547+2*P_3569-2*P_4131+2*P_4278+2*P_6648+2*P_6675-2*P_6781-2*P_6997+2*P_9880+2*P_10077,
12*P_558-12*P_731+12*P_1522+12*P_2187-12*P_3064-12*P_3237-12*P_3807-12*P_3902+12*P_4730+12*P_6494+12*P_7333-12*P_9876,
4*P_228+4*P_401+4*P_1516-4*P_1725+4*P_3060-4*P_3212+4*P_3421-4*P_3443+4*P_4824-4*P_6488+4*P_6871+4*P_9951,
-4*P_2148+4*P_2305-4*P_2329+4*P_3839-4*P_3863+4*P_4020,
-P_895+P_985+P_1052-P_1180+P_1477-P_1567+P_1843-P_1867+P_2299+P_2430+P_2550+P_2577-P_3168-P_3282-P_3377+P_3401+P_3833-P_3950+P_4265-P_4268+P_4756+P_4783+P_4937-P_4940,
4*P_446+4*P_1837+4*P_1968-4*P_3371+4*P_3488+4*P_5187,
-2*P_926-2*P_1393+2*P_1641+2*P_1741+2*P_2173+2*P_2668-2*P_3084+2*P_3432-2*P_4725+2*P_4811-2*P_4860+2*P_5183,
4*P_144-4*P_402-4*P_728+4*P_937+4*P_3095+4*P_3234-4*P_6523+4*P_6567-4*P_6662-4*P_6776-4*P_7332-4*P_9875,
2*P_356+2*P_360-2*P_1048-2*P_1072-2*P_1094+2*P_1126+2*P_3164+2*P_3188-2*P_4061+2*P_6592+2*P_6619-2*P_7443,
6*P_352+6*P_442-6*P_3599+6*P_6981,
P_602+P_606+P_717-P_745+P_765+P_794-P_1432+P_1466-P_2099+P_2131-P_2312-P_2315-P_3036+P_3181-P_3814+P_3827-P_3849-P_4008-P_6466-P_6577+P_7232-P_7242-P_7277-P_7439,
-12*P_598+12*P_713-12*P_759-12*P_846-12*P_878+12*P_1040+12*P_1389-12*P_1504+12*P_1550+12*P_1637+12*P_1669-12*P_1831-12*P_3104+12*P_3219-12*P_3265-12*P_3352-12*P_3384+12*P_3546+12*P_6535-12*P_6650+12*P_6696+12*P_6783+12*P_6815-12*P_6977,
-2*P_153+2*P_157+2*P_272-2*P_276+2*P_311+2*P_345-2*P_387+2*P_435-2*P_598+4*P_713-4*P_759-2*P_846-2*P_878-2*P_922+2*P_968+4*P_1040+2*P_1389-2*P_1428-2*P_1460-2*P_1504+2*P_1550+4*P_1637+4*P_1669-4*P_1831-4*P_3104+4*P_3219-2*P_3265-2*P_3268-4*P_3352-2*P_3384-2*P_3387+2*P_3546-2*P_3935-2*P_4258-2*P_4768+2*P_4930+4*P_6535-2*P_6647-2*P_6650+4*P_6696+2*P_6780+2*P_6783+4*P_6815-2*P_6977+2*P_7317+2*P_7689-2*P_8164-2*P_8361,
-2*P_129+2*P_157-2*P_200+2*P_272+2*P_345-2*P_387-2*P_415-2*P_464-4*P_598+2*P_713-4*P_759-2*P_846-4*P_878-2*P_946+2*P_1040+2*P_1163+4*P_1389-4*P_1504+2*P_1550+2*P_1582+4*P_1637+2*P_1669-2*P_1831+2*P_1853-2*P_2415+2*P_2562+2*P_3032-2*P_3104+2*P_3156+2*P_3219-2*P_3265-4*P_3352-4*P_3384+4*P_3546-2*P_4768+2*P_4930-2*P_6508+2*P_6535-4*P_6650+4*P_6696+2*P_6770+2*P_6783+2*P_6815-4*P_6977+2*P_7317+2*P_7689-2*P_9869+2*P_9895,
-2*P_129-2*P_153-2*P_200-2*P_276+2*P_311-2*P_415+2*P_435-2*P_464-4*P_598+4*P_713-2*P_759-4*P_846-2*P_878-2*P_1000+2*P_1040-2*P_1166+4*P_1389-2*P_1504+2*P_1528+4*P_1550+2*P_1637+4*P_1669-2*P_1831-2*P_1850-2*P_2415+2*P_2562+2*P_3080-2*P_3104+4*P_3219-4*P_3265-2*P_3352-2*P_3365-2*P_3384+4*P_3546-2*P_3935-2*P_4258-2*P_6460+2*P_6535-2*P_6561-2*P_6650+2*P_6696+4*P_6783+4*P_6815-4*P_6977-2*P_8164-2*P_8361-2*P_9869+2*P_9895,
-12*P_557-12*P_591+12*P_1348+12*P_1382+12*P_2091-12*P_2167-12*P_3097+12*P_3882-12*P_4729-12*P_6493-12*P_7313+12*P_8160,
4*P_227-4*P_261+4*P_1344-4*P_1376-4*P_1724-4*P_1727+4*P_3072+4*P_3420+4*P_4804+4*P_6477+4*P_6851+4*P_8235,
-6*P_2123+6*P_2147-6*P_2304-6*P_3838,
-2*P_870-2*P_984+2*P_1452+2*P_1566-2*P_1842-2*P_2117+2*P_2234-2*P_2549+2*P_2552+2*P_3376-2*P_4755+2*P_4758,
-6*P_740-6*P_3146-6*P_3811-6*P_4027,
4*P_158+4*P_346-4*P_762+4*P_791-4*P_881+4*P_1062+4*P_6463-4*P_6574+4*P_6587-4*P_6606-4*P_7276+4*P_7438,
4*P_143+4*P_262+4*P_588+4*P_936+4*P_1379+4*P_1518+4*P_6455-4*P_6503-4*P_6642-4*P_6775-4*P_7312-4*P_8159,
2*P_871-2*P_899+2*P_1100-2*P_1453+2*P_1481+2*P_2120+2*P_2144+2*P_2347-2*P_2350-2*P_6598+2*P_7263-2*P_7266,
-2*P_332-2*P_450-2*P_867+2*P_981+2*P_1449-2*P_1563-2*P_1885+2*P_1888-2*P_2597+2*P_6801-2*P_6804-2*P_8185,
-2*P_578+2*P_974-2*P_1321+2*P_1397+2*P_1675+2*P_2112-2*P_2175+2*P_2224-2*P_2544+2*P_6514+2*P_8155-2*P_8181,
4*P_108+4*P_400+4*P_724-4*P_933+4*P_3059-4*P_3135-4*P_3233+4*P_3344+4*P_3900-4*P_6487+4*P_6661+4*P_9874,
-2*P_894+2*P_1051-2*P_1075+2*P_1476+2*P_2298+2*P_2325-2*P_3167+2*P_3191+2*P_3832+2*P_3859+2*P_4013-2*P_4016,
-2*P_355+2*P_445+2*P_1045+2*P_1176+2*P_1836+2*P_1863-2*P_3161+2*P_3278-2*P_3370-2*P_3397+2*P_4263+2*P_4935,
-P_601-P_716-P_925+P_949-P_1392+P_1431+P_1531+P_1640+P_2096+P_2172+P_2416+P_2563+P_3035-P_3083+P_3222+P_3355-P_3801+P_3887-P_3936+P_4259-P_4724+P_4734+P_4769+P_4931,
4*P_271-4*P_386-4*P_1501+4*P_1634-4*P_1737+4*P_1954-4*P_3077+4*P_3339-4*P_3428+4*P_3474+4*P_4809+4*P_5181,
-2*P_600-2*P_715+2*P_739+2*P_1430+2*P_2095+2*P_2311+2*P_3034+2*P_3145-2*P_3800+2*P_3810+2*P_3845+2*P_4007,
2*P_151+2*P_270-2*P_309-2*P_385-2*P_709+2*P_842-2*P_945+2*P_1162-2*P_1500-2*P_1527+2*P_1633+2*P_1849+2*P_3028-2*P_3076+2*P_3129-2*P_3218+2*P_3264+2*P_3338-2*P_3351-2*P_3383+2*P_3885+2*P_4257+2*P_4732+2*P_4929,
8*P_225+8*P_1340-8*P_1723+8*P_3045+8*P_3419+8*P_4803,
-2*P_152-2*P_156+2*P_310-2*P_344+2*P_712+2*P_736+2*P_758-2*P_790-2*P_845+2*P_877-2*P_1058-2*P_1061-2*P_3031+2*P_3142-2*P_3155+2*P_3174+2*P_3844-2*P_4006-2*P_6459-2*P_6560+2*P_6573+2*P_6605-2*P_7240-2*P_7437,
-6*P_148+6*P_267+6*P_306+6*P_338-6*P_382+6*P_428+6*P_3263+6*P_3382-6*P_3544-6*P_6645+6*P_6778+6*P_6975,
-36*P_552-36*P_584-36*P_704+36*P_837+36*P_1343+36*P_1375+36*P_1495-36*P_1628-36*P_3058-36*P_3090-36*P_3210+36*P_3343+36*P_6489+36*P_6521+36*P_6641-36*P_6774,
-4*P_107-4*P_141+4*P_226+4*P_260-8*P_552-8*P_584-12*P_704+8*P_837+4*P_913+8*P_1343+8*P_1375+4*P_1419+8*P_1495-12*P_1628-12*P_3058-8*P_3090-4*P_3093-8*P_3210+8*P_3343-4*P_3880+4*P_4727+4*P_6486+8*P_6489+12*P_6521+8*P_6641-8*P_6774+4*P_7311-4*P_8158,
-4*P_44-4*P_141+4*P_226+4*P_399-8*P_552-12*P_584-8*P_704+8*P_837-4*P_932+12*P_1343+8*P_1375+8*P_1495-4*P_1517-8*P_1628+4*P_2184-4*P_3023-8*P_3058-8*P_3090-8*P_3210+12*P_3343+4*P_4727+4*P_6476+8*P_6489+8*P_6521+12*P_6641-8*P_6774+4*P_7311+4*P_9867,
-4*P_44-4*P_107+4*P_260+4*P_399-12*P_552-8*P_584-8*P_704+8*P_837+4*P_935+8*P_1343+12*P_1375+8*P_1495+4*P_1514-8*P_1628+4*P_2184-8*P_3058-4*P_3071-8*P_3090-12*P_3210+8*P_3343-4*P_3880-4*P_6442+8*P_6489+8*P_6521+8*P_6641-12*P_6774-4*P_8158+4*P_9867,
-2*P_869+2*P_893-2*P_1050+2*P_1451-2*P_1475-2*P_2116-2*P_2143-2*P_2297+2*P_2300+2*P_3166-2*P_3831+2*P_3834,
-2*P_330-2*P_444-2*P_863+2*P_980+2*P_1445-2*P_1562-2*P_1835+2*P_1838-2*P_2547+2*P_3369-2*P_3372-2*P_4753,
-2*P_576+2*P_924-2*P_1319+2*P_1391-2*P_1639+2*P_2085-2*P_2171+2*P_2220-2*P_2543+2*P_3082+2*P_4723-2*P_4749,
-8*P_142-8*P_587-8*P_726-8*P_6454+8*P_6565+8*P_7235,
2*P_331-2*P_359+2*P_866+2*P_890+2*P_1093-2*P_1096-2*P_1448-2*P_1472+2*P_2345-2*P_6591+2*P_6594+2*P_7261,
-6*P_327+6*P_441-6*P_1883+6*P_6799,
2*P_577-2*P_605-2*P_764+2*P_1320-2*P_1465+2*P_2098-2*P_2111+2*P_2133+2*P_2292+2*P_6465-2*P_7231+2*P_7257,
2*P_128+2*P_199-2*P_275+2*P_434-2*P_573+2*P_858-2*P_921+2*P_967-2*P_1316-2*P_1388-2*P_1440+2*P_1503-2*P_1552+2*P_1668-2*P_1671-2*P_1830-2*P_2219-2*P_2542+2*P_6507-2*P_6510-2*P_6769+2*P_6795+2*P_8153-2*P_8179,
-4*P_354+4*P_1044+4*P_1071-4*P_3160-4*P_3187+4*P_4011,
24*P_2122,
6*P_868-6*P_1450+6*P_2115-6*P_2118,
4*P_150-4*P_308-4*P_708-4*P_735+4*P_841+4*P_1057+4*P_3027+4*P_3128-4*P_3141-4*P_3173+4*P_3808+4*P_4005,
4*P_105+4*P_224+4*P_548-4*P_931+4*P_1339-4*P_1513+4*P_3010+4*P_3044+4*P_3209+4*P_3342+4*P_3879+4*P_4726,
-4*P_106+4*P_140-4*P_551+4*P_583+4*P_722+4*P_725+4*P_3022-4*P_3133-4*P_3803-4*P_6441-4*P_6564-4*P_7234,
-12*P_102-12*P_134+12*P_221+12*P_253-12*P_297+12*P_373+12*P_3088+12*P_3208-12*P_3341+12*P_6484-12*P_6639+12*P_6772,
144*P_543-144*P_1334+144*P_3049-144*P_6480,
-2*P_329+2*P_353-2*P_862-2*P_889-2*P_1043+2*P_1046+2*P_1444+2*P_1471-2*P_2295+2*P_3159-2*P_3162-2*P_3829,
-6*P_323+6*P_440-6*P_1833+6*P_3367,
-2*P_575+2*P_599+2*P_714-2*P_1318-2*P_1429+2*P_2084-2*P_2094-2*P_2129-2*P_2291-2*P_3033+2*P_3799-2*P_3825,
2*P_126+2*P_197-2*P_269+2*P_384-2*P_569+2*P_831-2*P_920+2*P_966-2*P_1312-2*P_1387-2*P_1413+2*P_1499-2*P_1548-2*P_1632+2*P_1635-2*P_1829-2*P_2169-2*P_2541+2*P_3075-2*P_3078-2*P_3337+2*P_3363+2*P_4721-2*P_4747,
6*P_326+6*P_350+6*P_1091-6*P_6589,
-2*P_127+2*P_155-2*P_198+2*P_343+2*P_572+2*P_596-2*P_757+2*P_760+2*P_844-2*P_857+2*P_879+2*P_1038+2*P_1315-2*P_1426+2*P_1439-2*P_1458-2*P_2128+2*P_2290+2*P_6458-2*P_6461+2*P_6559-2*P_6585-2*P_7229+2*P_7255,
6*P_123+6*P_194+6*P_266+6*P_318-6*P_381+6*P_427+6*P_1547+6*P_1666-6*P_1828+6*P_6505-6*P_6767+6*P_6793,
4*P_43+4*P_259+4*P_564+4*P_912+4*P_1307-4*P_1342-4*P_1377-4*P_1627-4*P_2164-4*P_6475+4*P_6501-4*P_8151,
4*P_328+4*P_861-4*P_864-4*P_1443+4*P_1446+4*P_2113,
6*P_574+6*P_1317-6*P_2083+6*P_2109,
8*P_104+8*P_547-8*P_721+8*P_3009+8*P_3132+8*P_3802,
36*P_93-36*P_212-36*P_3047+36*P_6478,
-6*P_322-6*P_349-6*P_1041+6*P_3157,
2*P_125-2*P_149+2*P_196+2*P_307-2*P_568-2*P_595+2*P_707-2*P_710+2*P_830-2*P_840-2*P_875-2*P_1037-2*P_1311-2*P_1412+2*P_1425+2*P_1457-2*P_2092-2*P_2289-2*P_3026+2*P_3029-2*P_3127+2*P_3153+2*P_3797-2*P_3823,
6*P_119+6*P_190+6*P_265+6*P_291-6*P_380+6*P_426+6*P_1497-6*P_1630-6*P_1827+6*P_3073-6*P_3335+6*P_3361,
4*P_41-4*P_223+4*P_537+4*P_911-4*P_1294-4*P_1338-4*P_1373-4*P_1626-4*P_2163-4*P_3043+4*P_3069-4*P_4719,
-6*P_122-6*P_146-6*P_193+6*P_304-6*P_317+6*P_336-6*P_755-6*P_874+6*P_1036+6*P_6456+6*P_6557-6*P_6583,
-4*P_42-4*P_139+4*P_550-4*P_563+4*P_585-4*P_702-4*P_1306+4*P_1417+4*P_2087+4*P_6440+4*P_6452+4*P_7227,
12*P_38-12*P_114-12*P_185+12*P_220+12*P_252+12*P_372+12*P_1372+12*P_1492-12*P_1625-12*P_6473+12*P_6499+12*P_6765,
-12*P_37-12*P_100+12*P_113-12*P_132+12*P_184-12*P_295-12*P_580-12*P_700+12*P_833+12*P_6438+12*P_6450-12*P_6555,
-36*P_29-36*P_211-36*P_1331+36*P_6471,
6*P_321-6*P_324+6*P_859-6*P_1441,
-4*P_124-4*P_195+4*P_567-4*P_570-4*P_829+4*P_855+4*P_1310-4*P_1313+4*P_1411-4*P_1437-4*P_2081+4*P_2107,
6*P_118+6*P_145+6*P_189+6*P_290-6*P_303-6*P_335+6*P_705-6*P_838-6*P_1035-6*P_3024-6*P_3125+6*P_3151,
4*P_40-4*P_103+4*P_536-4*P_546-4*P_581+4*P_701-4*P_1293-4*P_1416-4*P_2086-4*P_3008-4*P_3020-4*P_3795,
12*P_34-12*P_87+12*P_172+12*P_219+12*P_251+12*P_371-12*P_1336+12*P_1491-12*P_1624-12*P_3041+12*P_3067+12*P_3333,
36*P_28+36*P_91+36*P_539-36*P_6436,
24*P_319,
-6*P_117+6*P_120-6*P_188+6*P_191-6*P_289+6*P_315+6*P_565-6*P_827+6*P_853+6*P_1308+6*P_1409-6*P_1435,
-8*P_39-8*P_535+8*P_561+8*P_1292+8*P_1304+8*P_2079,
12*P_33-12*P_86+12*P_99+12*P_131+12*P_171+12*P_294-12*P_544+12*P_699-12*P_832-12*P_3006-12*P_3018+12*P_3123,
36*P_16-36*P_210-36*P_1330+36*P_3039,
-24*P_115-24*P_186-24*P_287+24*P_313,
-12*P_32+12*P_35+12*P_85-12*P_111-12*P_170-12*P_182-12*P_533+12*P_559+12*P_825+12*P_1290+12*P_1302-12*P_1407,
36*P_15-36*P_90-36*P_538+36*P_3004,
-48*P_30+48*P_83-48*P_109-48*P_168-48*P_180+48*P_285,
-36*P_14-36*P_26+36*P_531-36*P_1288,
-144*P_12-144*P_24-144*P_81+144*P_166,
576*P_10
};