EQX := [
x341,
x342,
x343,
x344,
x345,
x373,
x413,
x461,
x462,
x463,
x464,
x477,
x677,
-x462,
-x464,
x412-x608,
x412+x608,
x436-x676,
x436+x676,
x460-x572,
x460+x572,
x516-x520,
x516+x520,
-x640+x372,
x640+x372,
x656+x664,
-x664+x656,
x349+x478+x678,
-x374+x414+x417,
x377+x678+x374,
x389-x342+x346,
x389+x342+x346,
-x414+x462+x465,
x417+x374+x414,
x465+x414+x462,
x521+x346+x478,
x521+x478-x346,
-x678+x374+x377,
x678-x478+x349,
x1+x333-x681-x1013,
x1004+x776+x324+x96,
x1016+x684+x4+x336,
x120+x180-x800-x860,
x121+x173-x801-x853,
x122+x174-x854-x802,
-x123-x175+x855+x803,
x123+x175-x803-x855,
x221-x753-x901+x73,
-x232-x72+x912+x752,
-x268-x32+x948+x712,
x3+x335-x683-x1015,
x300+x316-x980-x996,
x317-x817-x997+x137,
x32+x268-x712-x948,
-x324-x96+x1004+x776,
x334-x682-x1014+x2,
-x337+x1017-x293+x973,
x337-x1017+x293-x973,
x4+x336-x684-x1016,
x5+x329-x685-x1009,
-x515+x519-x463-x468,
-x675+x435+x392-x343,
x681+x1013-x1-x333,
x682+x1014-x2-x334,
x683+x1015-x3-x335,
x684+x1016-x4-x336,
x685+x1009-x5-x329,
x713+x941-x261-x33,
x72+x232-x752-x912,
x72+x232+x752+x912,
x753+x901-x221-x73,
x800+x860+x120+x180,
x801+x853-x121-x173,
x802+x854-x122-x174,
-x804-x856+x124+x176,
x804+x856-x124-x176,
x804+x856+x124+x176,
x817+x997-x317-x137,
x860+x800-x180-x120,
-x941+x33+x261-x713,
x948+x712+x268+x32,
x96+x324-x776-x1004,
x980+x996-x300-x316,
x980+x996+x300+x316,
x123+x175+x803+x855-2*x463-6*x464,
x137-6*x477+x817+x317+x997-2*x478,
x337-6*x677+x1017+x293+x973-2*x678,
-6*x341+x1+x333+x681+x1013-2*x342,
-3*x341+x433+x347-x673-2*x343+x390,
-2*x342+x391-3*x344+x348+x434-x674,
-4*x343+x2+x334+x1014+x682-4*x342,
-2*x343-6*x344+x3+x335+x1015+x683,
-6*x345+x5+x329+x685+x1009-2*x346,
-6*x373+x33+x261+x713+x941-2*x374,
-6*x413+x73+x221+x753+x901-2*x414,
x459-x571+x607-x411+x456-x576,
-6*x461+x121+x173+x801+x853-2*x462,
-4*x463-4*x462+x802+x854+x122+x174,
-x466-3*x461-x513+x517+x415-2*x463,
x514-x518+2*x462-x416+3*x464+x467,
x515-x519+x512-x528-x459+x571,
-x616+x408+x411-x607-x371+x639,
-x663-x435+x675+x655-x668+x612,
x663-x655+x371-x639-x644+x368,
x350-x522+x679-3*x477+x353-x657+x347-2*x479,
-x378+x418+x415+x679-x601-3*x373+x421-2*x375,
x463+x375-x418+x466-3*x413-x561+x469-2*x415,
x479+x522-3*x345+x565-x669+x343-2*x347-x390,
-3*x677+x381-x633+x479-2*x679+x375-x350+x378,
x1010+x686+x729+x1005-x49-x325-x1014+x2-x6-x330+x334-x682,
-x119+x123+x175-x179-x808-x852+x128+x172-x855+x859+x799-x803,
x119+x179+x911-x231-x799-x859-x71+x751+x116+x188-x796-x868,
x179+x119-x859-x799-x123-x175+x808+x852+x803+x855-x128-x172,
x217+x77-x757-x897-x902+x74+x222+x714-x754+x942-x34-x262,
-x236-x68+x916+x748+x31+x267-x711-x947-x71-x231+x751+x911,
x28+x276-x708-x956+x31+x267-x947-x711+x979+x995-x299-x315,
x294+x338-x974-x1018-x34-x262+x714+x942+x717+x937-x257-x37,
x299+x315-x323-x979-x995+x272+x304-x952-x984+x775+x1003-x95,
-x31+x71-x267+x711-x751-x911+x947+x231+x68+x236-x748-x916,
x323-x775-x1003+x1015-x3+x95-x335+x683+x52+x328-x732-x1008,
x34-x74-x222+x262+x754-x714+x902-x942+x757+x897-x77-x217,
x343-6*x4-6*x336-6*x684-6*x1016+x392+x675-2*x3-2*x335-2*x1015-2*x683+x435,
-x391-x667+x611+2*x674-2*x434+x342+x568-x672-3*x436+3*x676-x662+x654,
-x511+x527+x458-x570-2*x514+2*x518-x462-x467+x564-x472-3*x516+3*x520,
x515+x519-2*x123-2*x175-2*x803-2*x855+x463-6*x804-6*x856+x468-6*x176-6*x124,
x6+x861+x989-x309-x181-x1010-x138-x686-x318+x330+x998+x818,
-x683-x1015+x1008-x52-x328+x732-x323+x3+x335-x95+x1003+x775,
-x689-x969+x9+x289-x138+x294-x318+x818-x974+x998-x1018+x338,
-x717-x937+x37+x257+x34+x262-x294-x338-x714-x942+x974+x1018,
-x729-x1005+x6+x325+x49-x1010+x1014-x2+x330-x334+x682-x686,
x802+x854+x74-x122-x174+x222-x754-x902+x805+x849-x125-x169,
-x805-x849+x125+x169-x74+x122-x222-x802-x854+x174+x902+x754,
-x861-x989-x6+x181+x309+x138+x318-x330+x686-x818-x998+x1010,
x868+x796-x188-x116+x859+x799+x71+x231-x751-x911-x179-x119,
x95+x323-x775-x1003-x299-x315+x979+x995+x984+x952-x304-x272,
x956+x708-x267-x31+x299+x315-x979-x995+x947+x711-x276-x28,
x974+x1018-x294-x338+x138+x318-x818-x998-x9-x289+x689+x969,
-2*x299-2*x315+x371+x639-2*x979-2*x995+x368+x644-6*x300-6*x316-6*x980-6*x996+x655+x663,
x452-x580+3*x608-x407+x455-x575+x615-x638+x370-2*x410+x458-x570+2*x606-3*x412,
x459+x571-2*x119-2*x179-2*x799-2*x859+x515+x519-6*x120-6*x180+x512+x528-6*x800-6*x860,
-x470-x514+x518+x562-x376+3*x416-3*x464+x419-2*x467-3*x465-x509+x525+2*x414-2*x462,
x514-x518+x410-2*x458+2*x570-x606+x511-x527-x455+x575-3*x460+x508-x532+3*x572,
x523-x670-3*x389-2*x391+3*x344-3*x348+x609-x665+x480+2*x342-2*x346+x566+x674-x434,
x616+x408-6*x32-6*x268-6*x712-6*x948+x411+x607-2*x31-2*x267+x371+x639-2*x711-2*x947,
3*x640-3*x372-x367+x643-x615+x407-x620+x404-2*x370+2*x638+x654-x662+x410-x606,
-2*x654+2*x662+x434-x674+x370-x638-x643-x611+x667+x367-3*x656+3*x664-x648+x364,
x663-2*x323-2*x95-2*x1003-2*x775+x655-6*x776-6*x1004-6*x96-6*x324+x612+x668+x675+x435,
-2*x71-2*x231-2*x751-2*x911+x459+x571+x411+x607+x456+x576-6*x752-6*x912-6*x72-6*x232,
-4*x123+x467-4*x175-4*x855+8*x463-4*x803+x416+15*x464+6*x462-4*x802-4*x854-4*x122-4*x174+x514+x518,
-6*x333+15*x341+x347+6*x343+x433-6*x1+x673-6*x681-6*x1013-2*x1014+8*x342-2*x2-2*x334-2*x682+x390,
8*x343+x348+15*x344+6*x342+x434+x674-4*x335+x391-4*x683-4*x1015-4*x3-4*x1014-4*x682-4*x2-4*x334,
x513+x415+6*x463-6*x853-6*x173+15*x461-6*x121+x517-6*x801+8*x462-2*x854-2*x802-2*x174+x466-2*x122,
x119+x179+x799+x859-2*x515-2*x519+x123+x175+x803+x855-6*x516-6*x520+x808+x852+x128+x172,
x276+x28+x956+x708-6*x372-6*x640+x299+x315+x31+x267-2*x371-2*x639+x711+x947+x979+x995,
x323+x95+x1003+x775-6*x436-6*x676+x732+x1008+x52+x328-2*x675+x3+x335+x1015+x683-2*x435,
-x347-2*x435-x671+x567+3*x673+3*x341-3*x433+x524-3*x392+2*x343-2*x390+x610+2*x675-x666+x653-x661,
x351+x419-x382+x634+2*x678+x416-3*x376-x480+3*x680-x597-3*x377+x425-2*x379-2*x374+x422-x602,
x379-x634-2*x678+x382-x354+x658+2*x478-x348+3*x480-3*x680-2*x351-x629-3*x349+x385+x376+x523,
x464+3*x376-3*x416-x680+x379-2*x419+x467-3*x417-x557+x473+2*x374-2*x414+x602-x422-x562+x470,
x569-x420+3*x468-x457+x510-x526+2*x466-x415+3*x461+3*x513-3*x517-x563+x471-2*x519+2*x463+2*x515,
x680+x351+x670-x566-x658+x354-x344+3*x348-3*x480-3*x521+x357-x649+x391-2*x523-2*x478+2*x346,
x71+x231+x751+x911-2*x459-2*x571+x119+x179+x799+x859-6*x460-6*x572+x796+x868+x116+x188,
x71+x231+x751+x911+x68+x236-6*x412-6*x608+x748+x916+x267-2*x411-2*x607+x31+x947+x711,
x95+x323+x775+x1003+x299+x315+x979+x995+x304+x272+x984+x952-6*x656-6*x664-2*x655-2*x663,
-6*x337+15*x677-6*x1017+x381-6*x293+x633-6*x973+x479+6*x679+x375-2*x294-2*x974-2*x338+8*x678-2*x1018+x350+x378,
x561+x463+x375+6*x415+15*x413-6*x221-6*x753-6*x901-6*x73+x469+8*x414-2*x902-2*x754-2*x222+x418-2*x74+x466,
x601+x415+6*x375+x679+15*x373-6*x941-6*x261-6*x713-6*x33+x421-2*x942+8*x374-2*x714-2*x262+x378-2*x34+x418,
x657+x347+6*x479-6*x817-6*x997+15*x477+x353-6*x137-6*x317-2*x998-2*x818-2*x318+8*x478-2*x138+x522+x350+x679,
x669+x479+x343+6*x347-6*x685-6*x1009-6*x5+15*x345-6*x329+x565+8*x346-2*x686-2*x1010-2*x330+x390-2*x6+x522,
x689+x969+x9+x289-4*x479-4*x679-6*x349-4*x478+x318-2*x350+x818+x998+x138-4*x678+x974+x1018+x294+x338,
x717+x937+x37+x257-4*x375-4*x679-6*x377-4*x374-2*x378+x338+x1018-4*x678+x974+x294+x942+x714+x262+x34,
x729+x1005+x49+x325-4*x343-4*x347-6*x389+x1014-4*x342-4*x346+x334-2*x390+x682+x2+x1010+x686+x330+x6,
x757+x897+x77+x217-4*x375-4*x415-6*x417-4*x374-4*x414+x714+x942+x262-2*x418+x34+x902+x754+x222+x74,
x805+x849+x125+x169-4*x415-4*x463-6*x465-4*x414-4*x462+x902+x754-2*x466+x222+x74+x802+x854+x122+x174,
x861+x989+x181+x309-4*x347-4*x479-6*x521-4*x346+x686-4*x478+x1010+x330-2*x522+x6+x998+x818+x318+x138,
-3*x1-3*x333+x93+x321-x773-x1001-x1006+x50+2*x683+2*x1015+x326-x730+3*x681+3*x1013-x1011-2*x3+x7+x331-2*x335-x687,
2*x122+2*x174-2*x802-2*x854-x178+x798+x858-x118+x127+x171-3*x856+x904+x756-x807-x851+3*x124+3*x176-3*x804-x224-x76,
-x126-x170+x806+x850-3*x121-3*x173+x117+x177-x797-x857+x75-2*x123+x223-2*x175-x903-x755+2*x803+2*x855+3*x801+3*x853,
-3*x4+3*x684+x8-3*x336+x332-x688-x1007+x51+x327-x731+x94+x322-2*x334+2*x682-x774-x1002+2*x1014-x1012+3*x1016-2*x2,
-x51-x327+x731+x1007+x774-x332-x8+x1012+x688+3*x4+3*x336-3*x684-3*x1016-x94-x322+x1002+2*x2+2*x334-2*x682-2*x1014,
x730+x1006-3*x681-3*x1013+x773+x1001+2*x3-x7-x331+2*x335+x687+x1011-2*x683-2*x1015-x93-x321+3*x1+3*x333-x326-x50,
-3*x801-3*x853+x797+x857+x126+x170-x850-x806+x903-2*x855+x755-2*x803+2*x175-x223+2*x123-x75+3*x121+3*x173-x117-x177,
3*x804+3*x856-x904-x756-x127-x171+x118+x178-x798-x858-2*x122-2*x174+2*x854+2*x802+x851+x807+x76-3*x124-3*x176+x224,
-2*x429+6*x489-6*x545+2*x593-6*x544-3349/32768+2*x584+6*x496-2*x448-4*x547+2*x587+4*x491+2*x499-2*x539-2*x443+2*x590-4*x542-2*x550-2*x438+2*x486+4*x494,
-x341-3*x673+x390-x567-2*x655+x671-2*x675+2*x435-x647+x363-3*x612+3*x668+x360-x652+3*x433-2*x610+2*x666+2*x663-x642+x366-x637-3*x653+3*x661+x369,
-x409+3*x457-3*x513-3*x569+3*x517-x461-x466+x563-x471-x476-3*x512+3*x528+x560-2*x510+2*x526-2*x571-2*x515+2*x519+2*x459-x507+x531+x454-x574+x605,
x529-x505+x519+x423-x463-x375-2*x471-x474-x510+x558+x526+9/262144-x380+3*x420-3*x468+3*x413+3*x561-3*x469+2*x563-x603-x515+2*x415+2*x418-2*x466,
-x659+x355-x650+x358-2*x522+9/262144+3*x669-3*x565-x675-x343-x479+3*x345+x352+x435+3*x392-3*x524-2*x567+2*x347+2*x390+x666+2*x671-x610+x361-x645,
3/65536-x347-2*x350-3*x352-3*x353-2*x355-x358+x380+x383+x386-x392+x393+3*x477+2*x479+2*x522+3*x524+x567-x625-x630-x635+x650+3*x657+2*x659-x671-x679,
3/65536-x352+3*x373+2*x375+2*x378+3*x380+x383-x415-2*x418-3*x420-3*x421-2*x423-x426+x468+x471+x474+x481-x553-x558-x563+x598+3*x601+2*x603-x635-x679,
11/131072+2*x350+3*x352+x355-x375-2*x378-3*x380-3*x381-2*x383-x386+x420+x423+x426+x429-x479-x524-x593-x598-x603+x630+3*x633+2*x635-x659+3*x677+2*x679,
-x363-2*x366-3*x368-3*x369-2*x371+x400+x403+x406+x409-x433-x605+x610-x614-x619-x624+3*x637+2*x639+2*x642+3*x644+x647+3*x653+2*x655-3*x661-2*x663-x666+x673,
x366+3*x369+2*x371-x403-2*x406-3*x408-3*x409-2*x411+x448+x451+x454+x457-x569-x574-x579-x584+3*x605+2*x607+2*x614+3*x616+x619-3*x637-2*x639-x642-x653+x661,
-x369+x406+3*x409+2*x411-x451-2*x454-3*x456-3*x457-2*x459+x504+x507+x510+x513-x517-x526-x531-x536+3*x569+2*x571+2*x574+3*x576+x579-3*x605-2*x607-x614+x637,
-x342+x346+x356+x359+x362+x365+3*x389+2*x391+2*x434+3*x436-x523-2*x566-3*x568-3*x609-2*x611-x641-x646-x651-x654-x660+x662+3*x665+2*x667+2*x670+3*x672-2*x674-3*x676,
-x414-x419-x424-x453-x458+x462+3*x465+2*x467+2*x470+3*x472+x475+x506+3*x509+2*x511+2*x514+3*x516-2*x518-3*x520-3*x525-2*x527-x530-x559-2*x562-3*x564+x570+x573+x604,
-x10+x35+x38+x41+x139+x253+x258+x263-x290-3*x293-2*x295+x319-3*x337-2*x339+x690-x715-x718-x721-x819-x933-x938-x943+x970+3*x973+2*x975-x999+3*x1017+2*x1019,
x10-x35-x38-x41-x139-x253-x258-x263+x290+3*x293+2*x295-x319+3*x337+2*x339-x690+x715+x718+x721+x819+x933+x938+x943-x970-3*x973-2*x975+x999-3*x1017-2*x1019,
-x2+x51+2*x94+3*x96-x228-x271-x298-x303-x308-x314+2*x322+3*x324+x327-x334+x682-x731-2*x774-3*x776+x908+x951+x978+x983+x988+x994-2*x1002-3*x1004-x1007+x1014,
x2-x51-2*x94-3*x96+x228+x271+x298+x303+x308+x314-2*x322-3*x324-x327+x334-x682+x731+2*x774+3*x776-x908-x951-x978-x983-x988-x994+2*x1002+3*x1004+x1007-x1014,
-x24-x27-x30-x94-x266+x271-x275-x280+2*x298+3*x300+x303+2*x314+3*x316-x322+x704+x707+x710+x774+x946-x951+x955+x960-2*x978-3*x980-x983-2*x994-3*x996+x1002,
x24+x27+x30+x94+x266-x271+x275+x280-2*x298-3*x300-x303-2*x314-3*x316+x322-x704-x707-x710-x774-x946+x951-x955-x960+2*x978+3*x980+x983+2*x994+3*x996-x1002,
-x27-2*x30-3*x32+x64+x67+x70+x230+x235+x240-2*x266-3*x268-x275+x298+x314+x707+2*x710+3*x712-x744-x747-x750-x910-x915-x920+2*x946+3*x948+x955-x978-x994,
x27+2*x30+3*x32-x64-x67-x70-x230-x235-x240+2*x266+3*x268+x275-x298-x314-x707-2*x710-3*x712+x744+x747+x750+x910+x915+x920-2*x946-3*x948-x955+x978+x994,
-x3+3*x5+2*x7+x50-x139-x182-x225-x305-x310-x319+x326+3*x329+2*x331-x335+x683-3*x685-2*x687-x730+x819+x862+x905+x985+x990+x999-x1006-3*x1009-2*x1011+x1015,
x3-3*x5-2*x7-x50+x139+x182+x225+x305+x310+x319-x326-3*x329-2*x331+x335-x683+3*x685+2*x687+x730-x819-x862-x905-x985-x990-x999+x1006+3*x1009+2*x1011-x1015,
-x30+x67+2*x70+3*x72-x112-x115-x118-x178-x187-x192+2*x230+3*x232+x235-x266+x710-x747-2*x750-3*x752+x792+x795+x798+x858+x867+x872-2*x910-3*x912-x915+x946,
x30-x67-2*x70-3*x72+x112+x115+x118+x178+x187+x192-2*x230-3*x232-x235+x266-x710+x747+2*x750+3*x752-x792-x795-x798-x858-x867-x872+2*x910+3*x912+x915-x946,
-3*x33-2*x35-x38+x75+x78+x81+x213+x218+x223-x258-3*x261-2*x263+x295+x339+3*x713+2*x715+x718-x755-x758-x761-x893-x898-x903+x938+3*x941+2*x943-x975-x1019,
3*x33+2*x35+x38-x75-x78-x81-x213-x218-x223+x258+3*x261+2*x263-x295-x339-3*x713-2*x715-x718+x755+x758+x761+x893+x898+x903-x938-3*x941-2*x943+x975+x1019,
-x35+3*x73+2*x75+x78-x123-x126-x129-x165-x170-x175+x218+3*x221+2*x223-x263+x715-3*x753-2*x755-x758+x803+x806+x809+x845+x850+x855-x898-3*x901-2*x903+x943,
x35-3*x73-2*x75-x78+x123+x126+x129+x165+x170+x175-x218-3*x221-2*x223+x263-x715+3*x753+2*x755+x758-x803-x806-x809-x845-x850-x855+x898+3*x901+2*x903-x943,
-x7-x10-x13+3*x137+2*x139+x182-x285-x290-x295+x310+3*x317+2*x319-x331-x339+x687+x690+x693-3*x817-2*x819-x862+x965+x970+x975-x990-3*x997-2*x999+x1011+x1019,
x7+x10+x13-3*x137-2*x139-x182+x285+x290+x295-x310-3*x317-2*x319+x331+x339-x687-x690-x693+3*x817+2*x819+x862-x965-x970-x975+x990+3*x997+2*x999-x1011-x1019,
-x70+x115+2*x118+3*x120-x122-x127-x132-x168-x171-x174+2*x178+3*x180+x187-x230+x750-x795-2*x798-3*x800+x802+x807+x812+x848+x851+x854-2*x858-3*x860-x867+x910,
x70-x115-2*x118-3*x120+x122+x127+x132+x168+x171+x174-2*x178-3*x180-x187+x230-x750+x795+2*x798+3*x800-x802-x807-x812-x848-x851-x854+2*x858+3*x860+x867-x910,
6*x2+8*x3+15*x4+x8+x51+x94+x322+x327+x332+6*x334+8*x335+15*x336-4*x342-4*x343-2*x391-6*x392-4*x434-4*x435-4*x674-4*x675+6*x682+8*x683+15*x684+x688+x731+x774+x1002+x1007+x1012+6*x1014+8*x1015+15*x1016,
x76+x118+6*x122+8*x123+15*x124+x127+x171+6*x174+8*x175+15*x176+x178+x224-4*x462-4*x463-2*x467-6*x468-4*x514-4*x515-4*x518-4*x519+x756+x798+6*x802+8*x803+15*x804+x807+x851+6*x854+8*x855+15*x856+x858+x904,
-15/16384+3*x349+2*x351+2*x354+3*x356+x359-x379-2*x382-3*x384-3*x385-2*x387-x394+x424+x427+x430+x437-x478-x523-x568-x589-x594-x599-x604+x626+3*x629+2*x631+2*x634+3*x636-x651-2*x658-3*x660+x672+x678,
-15/16384-x351-x356+x374+3*x377+2*x379+2*x382+3*x384+x387-x419-2*x422-3*x424-3*x425-2*x427-x430+x472+x475+x482+x485-x549-x554-x559-x564+x594+3*x597+2*x599+2*x602+3*x604-x631-2*x634-3*x636+x660-x678,
-9/16384-x346-x351-2*x354-3*x356-3*x357-2*x359-x362+x384+x387-x391+x394+x397-x436+x478+3*x521+2*x523+2*x566+3*x568+x611-x621-x626-x631-x636+x646+3*x649+2*x651+2*x658+3*x660-x667-2*x670-3*x672+x676,
-9/16384-x374-x379-x384+x414+3*x417+2*x419+2*x422+3*x424+x427-x467-2*x470-3*x472-3*x473-2*x475-x482-x501-x506-x511-x516+x520+x527+x530+x533+x554+3*x557+2*x559+2*x562+3*x564-x599-2*x602-3*x604+x636,
-x359-2*x362-3*x364-3*x365-2*x367-x370-x389+x396+x399+x402+x405-x434+x566+3*x609+2*x611-x613-x618-x623-x628+x638+3*x641+2*x643+2*x646+3*x648+x651+2*x654+3*x656-2*x662-3*x664-3*x665-2*x667-x670+x674,
-x405-x410+x450+3*x453+2*x455+2*x458+3*x460-x465-x470-x475-x484-x503-2*x506-3*x508-3*x509-2*x511-x514+x518+3*x525+2*x527+2*x530+3*x532+x535+x556+x559+x562-2*x570-3*x572-3*x573-2*x575-x578+x606+x613,
x362+3*x365+2*x367+2*x370+3*x372-x399-2*x402-3*x404-3*x405-2*x407-x410+x444+x447+x450+x453-x573-x578-x583-x588+x606-x609+3*x613+2*x615+2*x618+3*x620+x623-2*x638-3*x640-3*x641-2*x643-x646-x654+x662+x665,
-x365-x370+x402+3*x405+2*x407+2*x410+3*x412-x447-2*x450-3*x452-3*x453-2*x455-x458+x500+x503+x506+x509-x525-x530-x535-x540+x570+3*x573+2*x575+2*x578+3*x580+x583-2*x606-3*x608-3*x613-2*x615-x618+x638+x641,
-9/131072-x345-x355-2*x358-3*x360-3*x361-2*x363-x366+x388-x390+x395+x398+x401-x435+x522+3*x565+2*x567+2*x610+3*x612-x617-x622-x627-x632+x642+3*x645+2*x647+2*x650+3*x652+x655+x659-x663-2*x666-3*x668-3*x669-2*x671+x675,
-9/131072-x413-x418-x423-x428-x449-x454-x459+x466+3*x469+2*x471+2*x474+3*x476+x483+x502+3*x505+2*x507+2*x510+3*x512+x515-x519-2*x526-3*x528-3*x529-2*x531-x534-x555-2*x558-3*x560-3*x561-2*x563+x571+x574+x577+x600+x603,
8*x2+15*x1+6*x3+x7+x50+x93+x321+x326+x331+15*x333+8*x334+6*x335-20*x341-12*x342-12*x343-20*x344-2*x347-6*x348-4*x390-4*x391-6*x433-2*x434-6*x673-2*x674+15*x681+8*x682+6*x683+x687+x730+x773+x1001+x1006+x1011+15*x1013+8*x1014+6*x1015,
x75+x117+15*x121+8*x122+6*x123+x126+x170+15*x173+8*x174+6*x175+x177+x223-2*x415-6*x416-20*x461-12*x462-12*x463-20*x464-4*x466-4*x467-6*x513-2*x514-6*x517-2*x518+x755+x797+15*x801+8*x802+6*x803+x806+x850+15*x853+8*x854+6*x855+x857+x903,
123/16384-x393-x398-x403-x408+x438+3*x441+2*x443+2*x446+3*x448+x451-x481-x486-2*x491-2*x494-4*x496-3*x497-2*x499-x502+x534+3*x537+2*x539+2*x542+4*x544+2*x547+x550+x553-x579-2*x582-3*x584-3*x585-2*x587-x590+x616+x619+x622+x625,
177/8192-x385-x394-x399-x404+x430+3*x437+2*x439+2*x442+3*x444+x447-x485-x487-3*x490-3*x492-3*x493-3*x495-x498-x500+x538+x540+3*x541+3*x543+3*x546+3*x548+x549+x551-x583-2*x586-3*x588-3*x589-2*x591-x594+x620+x623+x626+x629,
177/8192-x425-x430-x437-x439-x442-x444-x447-x452+x482+3*x485+2*x487+3*x490+3*x492+3*x493+3*x495+2*x498+3*x500+x503-x535-2*x538-3*x540-3*x541-3*x543-3*x546-3*x548-3*x549-2*x551-x554+x580+x583+x586+x588+x589+x591+x594+x597,
5877/131072-x381-x386-x395-x400+x426+3*x429+2*x431+2*x438+3*x440+x443-x483-2*x486-3*x488-4*x489-2*x491-2*x494-x499-x504+x536+x539+2*x542+4*x545+2*x547+2*x550+3*x552+x555-x587-2*x590-3*x592-3*x593-2*x595-x598+x624+x627+x630+x633,
165/32768+x350+3*x353+2*x355+2*x358+3*x360+x363-x383-2*x386-3*x388-3*x393-2*x395-x398+x428+x431+x438+x441-x477-x522-x567-x585-x590-x595-x600-x612+x622+3*x625+2*x627+2*x630+3*x632+x635-x647-2*x650-3*x652-3*x657-2*x659+x668+x671,
165/32768-x373-x378-x383-x388+x418+3*x421+2*x423+2*x426+3*x428+x431-x471-2*x474-3*x476-3*x481-2*x483-x486-x497-x502-x507-x512+x528+x531+x534+x537+x550+3*x553+2*x555+2*x558+3*x560+x563-x595-2*x598-3*x600-3*x601-2*x603+x632+x635,
405/65536-x350-x355-x360+x378+3*x381+2*x383+2*x386+3*x388+x395-x423-2*x426-3*x428-3*x429-2*x431-x438+x476+x483+x486+x489-x545-x550-x555-x560+x590+3*x593+2*x595+2*x598+3*x600+x603-x627-2*x630-3*x632-3*x633-2*x635+x652+x659-x677,
-4*x118-4*x119-4*x122-4*x123-2*x127-6*x128-2*x171-6*x172-4*x174-4*x175-4*x178-4*x179+x458+x462+x467+x472+x511+6*x514+8*x515+15*x516+6*x518+8*x519+15*x520+x527+x564+x570-4*x798-4*x799-4*x802-4*x803-2*x807-6*x808-2*x851-6*x852-4*x854-4*x855-4*x858-4*x859,
-4*x2-4*x3-2*x51-6*x52-4*x94-4*x95-4*x322-4*x323-2*x327-6*x328-4*x334-4*x335+x342+x391+6*x434+8*x435+15*x436+x568+x611+x654+x662+x667+x672+6*x674+8*x675+15*x676-4*x682-4*x683-2*x731-6*x732-4*x774-4*x775-4*x1002-4*x1003-2*x1007-6*x1008-4*x1014-4*x1015,
-9/262144+x358+3*x361+2*x363+2*x366+3*x368+x371-x395-2*x398-3*x400-3*x401-2*x403-x406+x440+x443+x446+x449-x565-x577-x582-x587-x592-x610+x614+3*x617+2*x619+2*x622+3*x624+x627-x639-2*x642-3*x644-3*x645-2*x647-x650-x655+x663+x666+x669,
-9/262144-x401-x406-x411+x446+3*x449+2*x451+2*x454+3*x456+x459-x469-x474-x483-x488-x499-2*x502-3*x504-3*x505-2*x507-x510+x526+3*x529+2*x531+2*x534+3*x536+x539+x552+x555+x558+x561-x571-2*x574-3*x576-3*x577-2*x579-x582+x607+x614+x617,
9/65536-x361-x366-x371+x398+3*x401+2*x403+2*x406+3*x408+x411-x443-2*x446-3*x448-3*x449-2*x451-x454+x496+x499+x502+x505-x529-x534-x539-x544+x574+3*x577+2*x579+2*x582+3*x584+x587-x607-2*x614-3*x616-3*x617-2*x619-x622+x639+x642+x645,
-339/16384-x349-x354-x359-x364+x382+3*x385+2*x387+2*x394+3*x396+x399-x427-2*x430-3*x432-3*x437-2*x439-x442+x484+x487+x490+x493-x541-x546-x551-x556+x586+3*x589+2*x591+2*x594+3*x596+x599-x623-2*x626-3*x628-3*x629-2*x631-x634+x648+x651+x658,
-339/16384-x377-x382-x387-x396+x422+3*x425+2*x427+2*x430+3*x432+x439-x475-2*x482-3*x484-3*x485-2*x487-x490-x493-x498-x503-x508+x532+x535+x538+x541+x546+3*x549+2*x551+2*x554+3*x556+x559-x591-2*x594-3*x596-3*x597-2*x599-x602+x628+x631+x634,
27/16384+x354+3*x357+2*x359+2*x362+3*x364+x367-x387-2*x394-3*x396-3*x397-2*x399-x402+x432+x439+x442+x445-x521-x566-x581-x586-x591-x596-x611+x618+3*x621+2*x623+2*x626+3*x628+x631-x643-2*x646-3*x648-3*x649-2*x651-x656-x658+x664+x667+x670,
27/16384-x417-x422-x427-x432-x445-x450-x455-x460+x470+3*x473+2*x475+2*x482+3*x484+x487+x498+3*x501+2*x503+2*x506+3*x508+x511-x527-2*x530-3*x532-3*x533-2*x535-x538-x551-2*x554-3*x556-3*x557-2*x559-x562+x572+x575+x578+x581+x596+x599+x602,
-2*x27-6*x28-4*x30-4*x31-4*x266-4*x267-2*x275-6*x276-4*x298-4*x299-4*x314-4*x315+x367+6*x370+8*x371+15*x372+x404+x407+x410+x606+x615+x620+6*x638+8*x639+15*x640+x643+x654+x662-2*x707-6*x708-4*x710-4*x711-4*x946-4*x947-2*x955-6*x956-4*x978-4*x979-4*x994-4*x995,
-4*x30-4*x31-2*x67-6*x68-4*x70-4*x71-4*x230-4*x231-2*x235-6*x236-4*x266-4*x267+x370+x407+6*x410+8*x411+15*x412+x452+x455+x458+x570+x575+x580+6*x606+8*x607+15*x608+x615+x638-4*x710-4*x711-2*x747-6*x748-4*x750-4*x751-4*x910-4*x911-2*x915-6*x916-4*x946-4*x947,
-4*x70-4*x71-2*x115-6*x116-4*x118-4*x119-4*x178-4*x179-2*x187-6*x188-4*x230-4*x231+x410+x455+6*x458+8*x459+15*x460+x508+x511+x514+x518+x527+x532+6*x570+8*x571+15*x572+x575+x606-4*x750-4*x751-2*x795-6*x796-4*x798-4*x799-4*x858-4*x859-2*x867-6*x868-4*x910-4*x911,
-4*x94-4*x95-2*x271-6*x272-4*x298-4*x299-2*x303-6*x304-4*x314-4*x315-4*x322-4*x323+x364+x367+x370+x434+x611+x638+x643+x648+6*x654+8*x655+15*x656+6*x662+8*x663+15*x664+x667+x674-4*x774-4*x775-2*x951-6*x952-4*x978-4*x979-2*x983-6*x984-4*x994-4*x995-4*x1002-4*x1003,
-579/65536-x353-x358-x363-x368+x386+3*x393+2*x395+2*x398+3*x400+x403-x431-2*x438-3*x440-3*x441-2*x443-x446+x488+x491+x494+x497-x537-x542-x547-x552+x582+3*x585+2*x587+2*x590+3*x592+x595-x619-2*x622-3*x624-3*x625-2*x627-x630+x644+x647+x650+x657,
-579/65536-x421-x426-x431-x440-x441-x446-x451-x456+x474+3*x481+2*x483+2*x486+3*x488+x491+x494+3*x497+2*x499+2*x502+3*x504+x507-x531-2*x534-3*x536-3*x537-2*x539-x542-x547-2*x550-3*x552-3*x553-2*x555-x558+x576+x579+x582+x585+x592+x595+x598+x601,
-9/8192-x357-x362-x367-x372+x394+3*x397+2*x399+2*x402+3*x404+x407-x439-2*x442-3*x444-3*x445-2*x447-x450+x492+x495+x498+x501-x533-x538-x543-x548+x578+3*x581+2*x583+2*x586+3*x588+x591-x615-2*x618-3*x620-3*x621-2*x623-x626+x640+x643+x646+x649,
-9/8192-x397-x402-x407-x412+x442+3*x445+2*x447+2*x450+3*x452+x455-x473-x482-x487-x492-x495-2*x498-3*x500-3*x501-2*x503-x506+x530+3*x533+2*x535+2*x538+3*x540+x543+x548+x551+x554+x557-x575-2*x578-3*x580-3*x581-2*x583-x586+x608+x615+x618+x621,
-4*x2-4*x3-4*x6-4*x7-6*x49-2*x50-6*x325-2*x326-4*x330-4*x331-4*x334-4*x335+6*x342+8*x343+15*x344+6*x346+8*x347+15*x348+15*x389+8*x390+6*x391+x434+x480+x523+x566+x609+x665+x670+x674-4*x682-4*x683-4*x686-4*x687-6*x729-2*x730-6*x1005-2*x1006-4*x1010-4*x1011-4*x1014-4*x1015,
-4*x74-4*x75-4*x122-4*x123-6*x125-2*x126-6*x169-2*x170-4*x174-4*x175-4*x222-4*x223+x376+6*x414+8*x415+15*x416+x419+6*x462+8*x463+15*x464+15*x465+8*x466+6*x467+x470+x509+x514+x518+x525+x562-4*x754-4*x755-4*x802-4*x803-6*x805-2*x806-6*x849-2*x850-4*x854-4*x855-4*x902-4*x903,
-4*x34-4*x35-6*x37-2*x38-6*x257-2*x258-4*x262-4*x263-4*x294-4*x295-4*x338-4*x339+x351+6*x374+8*x375+15*x376+15*x377+8*x378+6*x379+x382+x416+x419+x422+x425+x480+x597+x602+x634+6*x678+8*x679+15*x680-4*x714-4*x715-6*x717-2*x718-6*x937-2*x938-4*x942-4*x943-4*x974-4*x975-4*x1018-4*x1019,
-4*x34-4*x35-4*x74-4*x75-6*x77-2*x78-6*x217-2*x218-4*x222-4*x223-4*x262-4*x263+6*x374+8*x375+15*x376+x379+6*x414+8*x415+15*x416+15*x417+8*x418+6*x419+x422+x464+x467+x470+x473+x557+x562+x602+x680-4*x714-4*x715-4*x754-4*x755-6*x757-2*x758-6*x897-2*x898-4*x902-4*x903-4*x942-4*x943,
-4*x6-4*x7-4*x138-4*x139-6*x181-2*x182-6*x309-2*x310-4*x318-4*x319-4*x330-4*x331+x344+6*x346+8*x347+15*x348+x351+x354+x357+x391+6*x478+8*x479+15*x480+15*x521+8*x522+6*x523+x566+x649+x658+x670+x680-4*x686-4*x687-4*x818-4*x819-6*x861-2*x862-6*x989-2*x990-4*x998-4*x999-4*x1010-4*x1011,
-6*x9-2*x10-4*x138-4*x139-6*x289-2*x290-4*x294-4*x295-4*x318-4*x319-4*x338-4*x339+x348+15*x349+8*x350+6*x351+x354+x376+x379+x382+x385+6*x478+8*x479+15*x480+x523+x629+x634+x658+6*x678+8*x679+15*x680-6*x689-2*x690-4*x818-4*x819-6*x969-2*x970-4*x974-4*x975-4*x998-4*x999-4*x1018-4*x1019,
-3*x1-2*x3+x7+2*x50+3*x52+3*x93+2*x95-x184-x227-x270-x297-x302-x307-x312-x313+3*x321+2*x323+2*x326+3*x328+x331-3*x333-2*x335+3*x681+2*x683-x687-2*x730-3*x732-3*x773-2*x775+x864+x907+x950+x977+x982+x987+x992+x993-3*x1001-2*x1003-2*x1006-3*x1008-x1011+3*x1013+2*x1015,
3*x1+2*x3-x7-2*x50-3*x52-3*x93-2*x95+x184+x227+x270+x297+x302+x307+x312+x313-3*x321-2*x323-2*x326-3*x328-x331+3*x333+2*x335-3*x681-2*x683+x687+2*x730+3*x732+3*x773+2*x775-x864-x907-x950-x977-x982-x987-x992-x993+3*x1001+2*x1003+2*x1006+3*x1008+x1011-3*x1013-2*x1015,
-2*x2-3*x4+2*x6+3*x8+3*x49+2*x51+x94-x140-x183-x226-x269-x301-x306-x311-x320+x322+3*x325+2*x327+2*x330+3*x332-2*x334-3*x336+2*x682+3*x684-2*x686-3*x688-3*x729-2*x731-x774+x820+x863+x906+x949+x981+x986+x991+x1000-x1002-3*x1005-2*x1007-2*x1010-3*x1012+2*x1014+3*x1016,
x2+x51+6*x94+8*x95+15*x96+x228+x271+x298+x303+x308+x314+6*x322+8*x323+15*x324+x327+x334-4*x434-4*x435-2*x611-6*x612-4*x654-4*x655-4*x662-4*x663-2*x667-6*x668-4*x674-4*x675+x682+x731+6*x774+8*x775+15*x776+x908+x951+x978+x983+x988+x994+6*x1002+8*x1003+15*x1004+x1007+x1014,
2*x2+3*x4-2*x6-3*x8-3*x49-2*x51-x94+x140+x183+x226+x269+x301+x306+x311+x320-x322-3*x325-2*x327-2*x330-3*x332+2*x334+3*x336-2*x682-3*x684+2*x686+3*x688+3*x729+2*x731+x774-x820-x863-x906-x949-x981-x986-x991-x1000+x1002+3*x1005+2*x1007+2*x1010+3*x1012-2*x1014-3*x1016,
x24+x27+x30+x94+x266+x271+x275+x280+6*x298+8*x299+15*x300+x303+6*x314+8*x315+15*x316+x322-2*x367-6*x368-4*x370-4*x371-4*x638-4*x639-2*x643-6*x644-4*x654-4*x655-4*x662-4*x663+x704+x707+x710+x774+x946+x951+x955+x960+6*x978+8*x979+15*x980+x983+6*x994+8*x995+15*x996+x1002,
x27+6*x30+8*x31+15*x32+x64+x67+x70+x230+x235+x240+6*x266+8*x267+15*x268+x275+x298+x314-4*x370-4*x371-2*x407-6*x408-4*x410-4*x411-4*x606-4*x607-2*x615-6*x616-4*x638-4*x639+x707+6*x710+8*x711+15*x712+x744+x747+x750+x910+x915+x920+6*x946+8*x947+15*x948+x955+x978+x994,
x30+x67+6*x70+8*x71+15*x72+x112+x115+x118+x178+x187+x192+6*x230+8*x231+15*x232+x235+x266-4*x410-4*x411-2*x455-6*x456-4*x458-4*x459-4*x570-4*x571-2*x575-6*x576-4*x606-4*x607+x710+x747+6*x750+8*x751+15*x752+x792+x795+x798+x858+x867+x872+6*x910+8*x911+15*x912+x915+x946,
-x36+2*x74+3*x76+x79+x113+x118-2*x122-3*x124-3*x125-2*x127-x130-x166-3*x169-2*x171-2*x174-3*x176+x178+x185+x219+2*x222+3*x224-x264+x716-2*x754-3*x756-x759-x793-x798+2*x802+3*x804+3*x805+2*x807+x810+x846+3*x849+2*x851+2*x854+3*x856-x858-x865-x899-2*x902-3*x904+x944,
x36-2*x74-3*x76-x79-x113-x118+2*x122+3*x124+3*x125+2*x127+x130+x166+3*x169+2*x171+2*x174+3*x176-x178-x185-x219-2*x222-3*x224+x264-x716+2*x754+3*x756+x759+x793+x798-2*x802-3*x804-3*x805-2*x807-x810-x846-3*x849-2*x851-2*x854-3*x856+x858+x865+x899+2*x902+3*x904-x944,
-x69+x75+x80+x114+3*x117+2*x119-3*x121-2*x123-2*x126-3*x128-x131-x167-2*x170-3*x172-3*x173-2*x175+3*x177+2*x179+x186+x220+x223-x229+x749-x755-x760-x794-3*x797-2*x799+3*x801+2*x803+2*x806+3*x808+x811+x847+2*x850+3*x852+3*x853+2*x855-3*x857-2*x859-x866-x900-x903+x909,
x69-x75-x80-x114-3*x117-2*x119+3*x121+2*x123+2*x126+3*x128+x131+x167+2*x170+3*x172+3*x173+2*x175-3*x177-2*x179-x186-x220-x223+x229-x749+x755+x760+x794+3*x797+2*x799-3*x801-2*x803-2*x806-3*x808-x811-x847-2*x850-3*x852-3*x853-2*x855+3*x857+2*x859+x866+x900+x903-x909,
x70+x115+6*x118+8*x119+15*x120+x122+x127+x132+x168+x171+x174+6*x178+8*x179+15*x180+x187+x230-4*x458-4*x459-2*x511-6*x512-4*x514-4*x515-4*x518-4*x519-2*x527-6*x528-4*x570-4*x571+x750+x795+6*x798+8*x799+15*x800+x802+x807+x812+x848+x851+x854+6*x858+8*x859+15*x860+x867+x910,
x10+x35+x38+x41+x139+x253+x258+x263+x290+15*x293+8*x294+6*x295+x319+15*x337+8*x338+6*x339-4*x350-4*x351-2*x375-6*x376-4*x378-4*x379-6*x381-2*x382-2*x479-6*x480-6*x633-2*x634-20*x677-12*x678-12*x679-20*x680+x690+x715+x718+x721+x819+x933+x938+x943+x970+15*x973+8*x974+6*x975+x999+15*x1017+8*x1018+6*x1019,
x3+15*x5+8*x6+6*x7+x50+x139+x182+x225+x305+x310+x319+x326+15*x329+8*x330+6*x331+x335-2*x343-6*x344-20*x345-12*x346-12*x347-20*x348-4*x390-4*x391-2*x479-6*x480-4*x522-4*x523-6*x565-2*x566-6*x669-2*x670+x683+15*x685+8*x686+6*x687+x730+x819+x862+x905+x985+x990+x999+x1006+15*x1009+8*x1010+6*x1011+x1015,
15*x33+8*x34+6*x35+x38+x75+x78+x81+x213+x218+x223+x258+15*x261+8*x262+6*x263+x295+x339-20*x373-12*x374-12*x375-20*x376-4*x378-4*x379-2*x415-6*x416-4*x418-4*x419-6*x421-2*x422-6*x601-2*x602-2*x679-6*x680+15*x713+8*x714+6*x715+x718+x755+x758+x761+x893+x898+x903+x938+15*x941+8*x942+6*x943+x975+x1019,
x35+15*x73+8*x74+6*x75+x78+x123+x126+x129+x165+x170+x175+x218+15*x221+8*x222+6*x223+x263-2*x375-6*x376-20*x413-12*x414-12*x415-20*x416-4*x418-4*x419-2*x463-6*x464-4*x466-4*x467-6*x469-2*x470-6*x561-2*x562+x715+15*x753+8*x754+6*x755+x758+x803+x806+x809+x845+x850+x855+x898+15*x901+8*x902+6*x903+x943,
x7+x10+x13+15*x137+8*x138+6*x139+x182+x285+x290+x295+x310+15*x317+8*x318+6*x319+x331+x339-2*x347-6*x348-4*x350-4*x351-6*x353-2*x354-20*x477-12*x478-12*x479-20*x480-4*x522-4*x523-6*x657-2*x658-2*x679-6*x680+x687+x690+x693+15*x817+8*x818+6*x819+x862+x965+x970+x975+x990+15*x997+8*x998+6*x999+x1011+x1019,
-x1+x20+x23+x26+x29+x50+3*x93+2*x95-x227+x265-2*x270-3*x272+x274+x279+x284-3*x297-2*x299-2*x302-3*x304-x307-3*x313-2*x315+3*x321+2*x323+x326-x333+x681-x700-x703-x706-x709-x730-3*x773-2*x775+x907-x945+2*x950+3*x952-x954-x959-x964+3*x977+2*x979+2*x982+3*x984+x987+3*x993+2*x995-3*x1001-2*x1003-x1006+x1013,
x1-x20-x23-x26-x29-x50-3*x93-2*x95+x227-x265+2*x270+3*x272-x274-x279-x284+3*x297+2*x299+2*x302+3*x304+x307+3*x313+2*x315-3*x321-2*x323-x326+x333-x681+x700+x703+x706+x709+x730+3*x773+2*x775-x907+x945-2*x950-3*x952+x954+x959+x964-3*x977-2*x979-2*x982-3*x984-x987-3*x993-2*x995+3*x1001+2*x1003+x1006-x1013,
-x11+2*x34+3*x36+3*x37+2*x39+x42-x76-x79-x82-x85+x140-x209-x214-x219-x224+x254+3*x257+2*x259+2*x262+3*x264-x291-2*x294-3*x296+x320-2*x338-3*x340+x691-2*x714-3*x716-3*x717-2*x719-x722+x756+x759+x762+x765-x820+x889+x894+x899+x904-x934-3*x937-2*x939-2*x942-3*x944+x971+2*x974+3*x976-x1000+2*x1018+3*x1020,
x11-2*x34-3*x36-3*x37-2*x39-x42+x76+x79+x82+x85-x140+x209+x214+x219+x224-x254-3*x257-2*x259-2*x262-3*x264+x291+2*x294+3*x296-x320+2*x338+3*x340-x691+2*x714+3*x716+3*x717+2*x719+x722-x756-x759-x762-x765+x820-x889-x894-x899-x904+x934+3*x937+2*x939+2*x942+3*x944-x971-2*x974-3*x976+x1000-2*x1018-3*x1020,
-x23-2*x26-3*x28-3*x29-2*x31+x60+x63+x66+x69-x93+x229+x234+x239+x244-3*x265-2*x267+x270-2*x274-3*x276-x279+3*x297+2*x299+x302+3*x313+2*x315-x321+x703+2*x706+3*x708+3*x709+2*x711-x740-x743-x746-x749+x773-x909-x914-x919-x924+3*x945+2*x947-x950+2*x954+3*x956+x959-3*x977-2*x979-x982-3*x993-2*x995+x1001,
x23+2*x26+3*x28+3*x29+2*x31-x60-x63-x66-x69+x93-x229-x234-x239-x244+3*x265+2*x267-x270+2*x274+3*x276+x279-3*x297-2*x299-x302-3*x313-2*x315+x321-x703-2*x706-3*x708-3*x709-2*x711+x740+x743+x746+x749-x773+x909+x914+x919+x924-3*x945-2*x947+x950-2*x954-3*x956-x959+3*x977+2*x979+x982+3*x993+2*x995-x1001,
-x26-3*x29-2*x31+x63+2*x66+3*x68+3*x69+2*x71-x108-x111-x114-x117-x177-x186-x191-x196+3*x229+2*x231+2*x234+3*x236+x239-3*x265-2*x267-x274+x297+x313+x706+3*x709+2*x711-x743-2*x746-3*x748-3*x749-2*x751+x788+x791+x794+x797+x857+x866+x871+x876-3*x909-2*x911-2*x914-3*x916-x919+3*x945+2*x947+x954-x977-x993,
x26+3*x29+2*x31-x63-2*x66-3*x68-3*x69-2*x71+x108+x111+x114+x117+x177+x186+x191+x196-3*x229-2*x231-2*x234-3*x236-x239+3*x265+2*x267+x274-x297-x313-x706-3*x709-2*x711+x743+2*x746+3*x748+3*x749+2*x751-x788-x791-x794-x797-x857-x866-x871-x876+3*x909+2*x911+2*x914+3*x916+x919-3*x945-2*x947-x954+x977+x993,
-x29+x66+3*x69+2*x71-x111-2*x114-3*x116-3*x117-2*x119+x121+x126+x131+x136+x164+x167+x170+x173-3*x177-2*x179-2*x186-3*x188-x191+3*x229+2*x231+x234-x265+x709-x746-3*x749-2*x751+x791+2*x794+3*x796+3*x797+2*x799-x801-x806-x811-x816-x844-x847-x850-x853+3*x857+2*x859+2*x866+3*x868+x871-3*x909-2*x911-x914+x945,
x29-x66-3*x69-2*x71+x111+2*x114+3*x116+3*x117+2*x119-x121-x126-x131-x136-x164-x167-x170-x173+3*x177+2*x179+2*x186+3*x188+x191-3*x229-2*x231-x234+x265-x709+x746+3*x749+2*x751-x791-2*x794-3*x796-3*x797-2*x799+x801+x806+x811+x816+x844+x847+x850+x853-3*x857-2*x859-2*x866-3*x868-x871+3*x909+2*x911+x914-x945,
-2*x34-3*x36-x39+2*x74+3*x76+3*x77+2*x79+x82-x124-x127-x130-x133-x161-x166-x171-x176+x214+3*x217+2*x219+2*x222+3*x224-x259-2*x262-3*x264+x296+x340+2*x714+3*x716+x719-2*x754-3*x756-3*x757-2*x759-x762+x804+x807+x810+x813+x841+x846+x851+x856-x894-3*x897-2*x899-2*x902-3*x904+x939+2*x942+3*x944-x976-x1020,
2*x34+3*x36+x39-2*x74-3*x76-3*x77-2*x79-x82+x124+x127+x130+x133+x161+x166+x171+x176-x214-3*x217-2*x219-2*x222-3*x224+x259+2*x262+3*x264-x296-x340-2*x714-3*x716-x719+2*x754+3*x756+3*x757+2*x759+x762-x804-x807-x810-x813-x841-x846-x851-x856+x894+3*x897+2*x899+2*x902+3*x904-x939-2*x942-3*x944+x976+x1020,
-x4+2*x6+3*x8+x11+x14+x17+x51-2*x138-3*x140-3*x181-2*x183-x226+x281+x286+x291+x296-x306-3*x309-2*x311-2*x318-3*x320+x327+2*x330+3*x332-x336+x340+x684-2*x686-3*x688-x691-x694-x697-x731+2*x818+3*x820+3*x861+2*x863+x906-x961-x966-x971-x976+x986+3*x989+2*x991+2*x998+3*x1000-x1007-2*x1010-3*x1012+x1016-x1020,
x4-2*x6-3*x8-x11-x14-x17-x51+2*x138+3*x140+3*x181+2*x183+x226-x281-x286-x291-x296+x306+3*x309+2*x311+2*x318+3*x320-x327-2*x330-3*x332+x336-x340-x684+2*x686+3*x688+x691+x694+x697+x731-2*x818-3*x820-3*x861-2*x863-x906+x961+x966+x971+x976-x986-3*x989-2*x991-2*x998-3*x1000+x1007+2*x1010+3*x1012-x1016+x1020,
-x8-3*x9-2*x11-x14+x36+x39+x42+x45+2*x138+3*x140+x183+x249+x254+x259+x264-x286-3*x289-2*x291-2*x294-3*x296+x311+2*x318+3*x320-x332-2*x338-3*x340+x688+3*x689+2*x691+x694-x716-x719-x722-x725-2*x818-3*x820-x863-x929-x934-x939-x944+x966+3*x969+2*x971+2*x974+3*x976-x991-2*x998-3*x1000+x1012+2*x1018+3*x1020,
x8+3*x9+2*x11+x14-x36-x39-x42-x45-2*x138-3*x140-x183-x249-x254-x259-x264+x286+3*x289+2*x291+2*x294+3*x296-x311-2*x318-3*x320+x332+2*x338+3*x340-x688-3*x689-2*x691-x694+x716+x719+x722+x725+2*x818+3*x820+x863+x929+x934+x939+x944-x966-3*x969-2*x971-2*x974-3*x976+x991+2*x998+3*x1000-x1012-2*x1018-3*x1020,
-12*x2-20*x1-12*x3-20*x4-2*x7-6*x8-4*x50-4*x51-6*x93-2*x94-6*x321-2*x322-4*x326-4*x327-2*x331-6*x332-20*x333-12*x334-12*x335-20*x336+15*x341+8*x342+6*x343+x347+6*x390+8*x391+15*x392+15*x433+8*x434+6*x435+x524+x567+x610+x653+x661+x666+x671+15*x673+8*x674+6*x675-20*x681-12*x682-12*x683-20*x684-2*x687-6*x688-4*x730-4*x731-6*x773-2*x774-6*x1001-2*x1002-4*x1006-4*x1007-2*x1011-6*x1012-20*x1013-12*x1014-12*x1015-20*x1016,
-x41-x46-x55-x60+x86+4*x89+2*x91+3*x98+3*x100+2*x103+x108-x143-3*x146-3*x148-6*x149-4*x151-3*x154-3*x156-x159+x196+2*x199+3*x202+3*x204+4*x205+2*x207+x210-x244-x247-x250-x253+x721+x726+x735+x740-x766-4*x769-2*x771-3*x778-3*x780-2*x783-x788+x823+3*x826+3*x828+6*x829+4*x831+3*x834+3*x836+x839-x876-2*x879-3*x882-3*x884-4*x885-2*x887-x890+x924+x927+x930+x933,
x41+x46+x55+x60-x86-4*x89-2*x91-3*x98-3*x100-2*x103-x108+x143+3*x146+3*x148+6*x149+4*x151+3*x154+3*x156+x159-x196-2*x199-3*x202-3*x204-4*x205-2*x207-x210+x244+x247+x250+x253-x721-x726-x735-x740+x766+4*x769+2*x771+3*x778+3*x780+2*x783+x788-x823-3*x826-3*x828-6*x829-4*x831-3*x834-3*x836-x839+x876+2*x879+3*x882+3*x884+4*x885+2*x887+x890-x924-x927-x930-x933,
-x45-x54-x59-x64+x85+2*x90+3*x97+3*x99+2*x102+4*x104+x107-x142-3*x145-3*x147-4*x150-6*x152-3*x153-3*x155-x158+x195+2*x198+4*x200+3*x201+3*x203+2*x206+x209-x240-x243-x246-x249+x725+x734+x739+x744-x765-2*x770-3*x777-3*x779-2*x782-4*x784-x787+x822+3*x825+3*x827+4*x830+6*x832+3*x833+3*x835+x838-x875-2*x878-4*x880-3*x881-3*x883-2*x886-x889+x920+x923+x926+x929,
x45+x54+x59+x64-x85-2*x90-3*x97-3*x99-2*x102-4*x104-x107+x142+3*x145+3*x147+4*x150+6*x152+3*x153+3*x155+x158-x195-2*x198-4*x200-3*x201-3*x203-2*x206-x209+x240+x243+x246+x249-x725-x734-x739-x744+x765+2*x770+3*x777+3*x779+2*x782+4*x784+x787-x822-3*x825-3*x827-4*x830-6*x832-3*x833-3*x835-x838+x875+2*x878+4*x880+3*x881+3*x883+2*x886+x889-x920-x923-x926-x929,
-2*x75-6*x76-6*x117-2*x118-20*x121-12*x122-12*x123-20*x124-4*x126-4*x127-4*x170-4*x171-20*x173-12*x174-12*x175-20*x176-6*x177-2*x178-2*x223-6*x224+x415+x420+x457+15*x461+8*x462+6*x463+6*x466+8*x467+15*x468+x471+x510+15*x513+8*x514+6*x515+15*x517+8*x518+6*x519+x526+x563+x569-2*x755-6*x756-6*x797-2*x798-20*x801-12*x802-12*x803-20*x804-4*x806-4*x807-4*x850-4*x851-20*x853-12*x854-12*x855-20*x856-6*x857-2*x858-2*x903-6*x904,
-x2+x6+x16+x19+x22+x25+3*x49+2*x51+2*x94+3*x96-x183-2*x226-3*x228-3*x269-2*x271+x273+x278+x283+x288-x298-3*x301-2*x303-2*x306-3*x308-x311-x314+2*x322+3*x324+3*x325+2*x327+x330-x334+x682-x686-x696-x699-x702-x705-3*x729-2*x731-2*x774-3*x776+x863+2*x906+3*x908+3*x949+2*x951-x953-x958-x963-x968+x978+3*x981+2*x983+2*x986+3*x988+x991+x994-2*x1002-3*x1004-3*x1005-2*x1007-x1010+x1014,
x2-x6-x16-x19-x22-x25-3*x49-2*x51-2*x94-3*x96+x183+2*x226+3*x228+3*x269+2*x271-x273-x278-x283-x288+x298+3*x301+2*x303+2*x306+3*x308+x311+x314-2*x322-3*x324-3*x325-2*x327-x330+x334-x682+x686+x696+x699+x702+x705+3*x729+2*x731+2*x774+3*x776-x863-2*x906-3*x908-3*x949-2*x951+x953+x958+x963+x968-x978-3*x981-2*x983-2*x986-3*x988-x991-x994+2*x1002+3*x1004+3*x1005+2*x1007+x1010-x1014,
-x3+3*x5+2*x7+x12+x15+x18+x21+2*x50+3*x52+x95-x139-2*x182-3*x184-3*x225-2*x227-x270+x277+x282+x287+x292-x302-3*x305-2*x307-2*x310-3*x312-x319+x323+2*x326+3*x328+3*x329+2*x331-x335+x683-3*x685-2*x687-x692-x695-x698-x701-2*x730-3*x732-x775+x819+2*x862+3*x864+3*x905+2*x907+x950-x957-x962-x967-x972+x982+3*x985+2*x987+2*x990+3*x992+x999-x1003-2*x1006-3*x1008-3*x1009-2*x1011+x1015,
x3-3*x5-2*x7-x12-x15-x18-x21-2*x50-3*x52-x95+x139+2*x182+3*x184+3*x225+2*x227+x270-x277-x282-x287-x292+x302+3*x305+2*x307+2*x310+3*x312+x319-x323-2*x326-3*x328-3*x329-2*x331+x335-x683+3*x685+2*x687+x692+x695+x698+x701+2*x730+3*x732+x775-x819-2*x862-3*x864-3*x905-2*x907-x950+x957+x962+x967+x972-x982-3*x985-2*x987-2*x990-3*x992-x999+x1003+2*x1006+3*x1008+3*x1009+2*x1011-x1015,
-x35-x40+3*x73+2*x75+2*x78+3*x80+x83+x109+x114+x119-x123-2*x126-3*x128-3*x129-2*x131-x134-x162-3*x165-2*x167-2*x170-3*x172-x175+x179+x186+x189+x215+2*x218+3*x220+3*x221+2*x223-x260-x263+x715+x720-3*x753-2*x755-2*x758-3*x760-x763-x789-x794-x799+x803+2*x806+3*x808+3*x809+2*x811+x814+x842+3*x845+2*x847+2*x850+3*x852+x855-x859-x866-x869-x895-2*x898-3*x900-3*x901-2*x903+x940+x943,
x35+x40-3*x73-2*x75-2*x78-3*x80-x83-x109-x114-x119+x123+2*x126+3*x128+3*x129+2*x131+x134+x162+3*x165+2*x167+2*x170+3*x172+x175-x179-x186-x189-x215-2*x218-3*x220-3*x221-2*x223+x260+x263-x715-x720+3*x753+2*x755+2*x758+3*x760+x763+x789+x794+x799-x803-2*x806-3*x808-3*x809-2*x811-x814-x842-3*x845-2*x847-2*x850-3*x852-x855+x859+x866+x869+x895+2*x898+3*x900+3*x901+2*x903-x940-x943,
-x65-x70+x74+x79+x84+x110+3*x113+2*x115+2*x118+3*x120-x122-3*x125-2*x127-2*x130-3*x132-x135-x163-2*x166-3*x168-3*x169-2*x171-x174+2*x178+3*x180+3*x185+2*x187+x190+x216+x219+x222-x230-x233+x745+x750-x754-x759-x764-x790-3*x793-2*x795-2*x798-3*x800+x802+3*x805+2*x807+2*x810+3*x812+x815+x843+2*x846+3*x848+3*x849+2*x851+x854-2*x858-3*x860-3*x865-2*x867-x870-x896-x899-x902+x910+x913,
x65+x70-x74-x79-x84-x110-3*x113-2*x115-2*x118-3*x120+x122+3*x125+2*x127+2*x130+3*x132+x135+x163+2*x166+3*x168+3*x169+2*x171+x174-2*x178-3*x180-3*x185-2*x187-x190-x216-x219-x222+x230+x233-x745-x750+x754+x759+x764+x790+3*x793+2*x795+2*x798+3*x800-x802-3*x805-2*x807-2*x810-3*x812-x815-x843-2*x846-3*x848-3*x849-2*x851-x854+2*x858+3*x860+3*x865+2*x867+x870+x896+x899+x902-x910-x913,
19733/32768-12*x89-4*x90-8*x98-8*x99-4*x103-12*x104-8*x146-8*x147-40*x149-24*x150-24*x151-40*x152-8*x154-8*x155-4*x199-12*x200-8*x202-8*x203-12*x205-4*x206+2*x429+2*x438+2*x443+2*x448+2*x486+30*x489+16*x490+12*x491+12*x494+16*x495+30*x496+2*x499+2*x539+12*x542+16*x543+30*x544+30*x545+16*x546+12*x547+2*x550+2*x584+2*x587+2*x590+2*x593-12*x769-4*x770-8*x778-8*x779-4*x783-12*x784-8*x826-8*x827-40*x829-24*x830-24*x831-40*x832-8*x834-8*x835-4*x879-12*x880-8*x882-8*x883-12*x885-4*x886,
-2*x10-3*x12-x15+x35+2*x38+3*x40+3*x41+2*x43+x46-x80-x83-x86-x89+x139+x184-x205-x210-x215-x220+x250+3*x253+2*x255+2*x258+3*x260+x263-x287-2*x290-3*x292-3*x293-2*x295+x312+x319-3*x337-2*x339+2*x690+3*x692+x695-x715-2*x718-3*x720-3*x721-2*x723-x726+x760+x763+x766+x769-x819-x864+x885+x890+x895+x900-x930-3*x933-2*x935-2*x938-3*x940-x943+x967+2*x970+3*x972+3*x973+2*x975-x992-x999+3*x1017+2*x1019,
2*x10+3*x12+x15-x35-2*x38-3*x40-3*x41-2*x43-x46+x80+x83+x86+x89-x139-x184+x205+x210+x215+x220-x250-3*x253-2*x255-2*x258-3*x260-x263+x287+2*x290+3*x292+3*x293+2*x295-x312-x319+3*x337+2*x339-2*x690-3*x692-x695+x715+2*x718+3*x720+3*x721+2*x723+x726-x760-x763-x766-x769+x819+x864-x885-x890-x895-x900+x930+3*x933+2*x935+2*x938+3*x940+x943-x967-2*x970-3*x972-3*x973-2*x975+x992+x999-3*x1017-2*x1019,
-x12+3*x33+2*x35+2*x38+3*x40+x43-x75-2*x78-3*x80-3*x81-2*x83-x86+x128+x131+x134+x141+x157+x162+x167+x172-x210-3*x213-2*x215-2*x218-3*x220-x223+x255+2*x258+3*x260+3*x261+2*x263-x292-x295-x339+x692-3*x713-2*x715-2*x718-3*x720-x723+x755+2*x758+3*x760+3*x761+2*x763+x766-x808-x811-x814-x821-x837-x842-x847-x852+x890+3*x893+2*x895+2*x898+3*x900+x903-x935-2*x938-3*x940-3*x941-2*x943+x972+x975+x1019,
x12-3*x33-2*x35-2*x38-3*x40-x43+x75+2*x78+3*x80+3*x81+2*x83+x86-x128-x131-x134-x141-x157-x162-x167-x172+x210+3*x213+2*x215+2*x218+3*x220+x223-x255-2*x258-3*x260-3*x261-2*x263+x292+x295+x339-x692+3*x713+2*x715+2*x718+3*x720+x723-x755-2*x758-3*x760-3*x761-2*x763-x766+x808+x811+x814+x821+x837+x842+x847+x852-x890-3*x893-2*x895-2*x898-3*x900-x903+x935+2*x938+3*x940+3*x941+2*x943-x972-x975-x1019,
-x19-2*x22-3*x24-3*x25-2*x27-x30-x49+x56+x59+x62+x65-x94+x226+x233+x238+x243+x248-x266+3*x269+2*x271-3*x273-2*x275-2*x278-3*x280-x283+2*x298+3*x300+3*x301+2*x303+x306+2*x314+3*x316-x322-x325+x699+2*x702+3*x704+3*x705+2*x707+x710+x729-x736-x739-x742-x745+x774-x906-x913-x918-x923-x928+x946-3*x949-2*x951+3*x953+2*x955+2*x958+3*x960+x963-2*x978-3*x980-3*x981-2*x983-x986-2*x994-3*x996+x1002+x1005,
x19+2*x22+3*x24+3*x25+2*x27+x30+x49-x56-x59-x62-x65+x94-x226-x233-x238-x243-x248+x266-3*x269-2*x271+3*x273+2*x275+2*x278+3*x280+x283-2*x298-3*x300-3*x301-2*x303-x306-2*x314-3*x316+x322+x325-x699-2*x702-3*x704-3*x705-2*x707-x710-x729+x736+x739+x742+x745-x774+x906+x913+x918+x923+x928-x946+3*x949+2*x951-3*x953-2*x955-2*x958-3*x960-x963+2*x978+3*x980+3*x981+2*x983+x986+2*x994+3*x996-x1002-x1005,
-x22-3*x25-2*x27-2*x30-3*x32+x59+2*x62+3*x64+3*x65+2*x67+x70-x104-x107-x110-x113-x185-x190-x195-x200+x230+3*x233+2*x235+2*x238+3*x240+x243-2*x266-3*x268+x269-3*x273-2*x275-x278+x298+x301+x314+x702+3*x705+2*x707+2*x710+3*x712-x739-2*x742-3*x744-3*x745-2*x747-x750+x784+x787+x790+x793+x865+x870+x875+x880-x910-3*x913-2*x915-2*x918-3*x920-x923+2*x946+3*x948-x949+3*x953+2*x955+x958-x978-x981-x994,
x22+3*x25+2*x27+2*x30+3*x32-x59-2*x62-3*x64-3*x65-2*x67-x70+x104+x107+x110+x113+x185+x190+x195+x200-x230-3*x233-2*x235-2*x238-3*x240-x243+2*x266+3*x268-x269+3*x273+2*x275+x278-x298-x301-x314-x702-3*x705-2*x707-2*x710-3*x712+x739+2*x742+3*x744+3*x745+2*x747+x750-x784-x787-x790-x793-x865-x870-x875-x880+x910+3*x913+2*x915+2*x918+3*x920+x923-2*x946-3*x948+x949-3*x953-2*x955-x958+x978+x981+x994,
-x25-x30+x62+3*x65+2*x67+2*x70+3*x72-x107-2*x110-3*x112-3*x113-2*x115-x118+x125+x130+x135+x144+x160+x163+x166+x169-x178-3*x185-2*x187-2*x190-3*x192-x195+2*x230+3*x232+3*x233+2*x235+x238-x266-x273+x705+x710-x742-3*x745-2*x747-2*x750-3*x752+x787+2*x790+3*x792+3*x793+2*x795+x798-x805-x810-x815-x824-x840-x843-x846-x849+x858+3*x865+2*x867+2*x870+3*x872+x875-2*x910-3*x912-3*x913-2*x915-x918+x946+x953,
x25+x30-x62-3*x65-2*x67-2*x70-3*x72+x107+2*x110+3*x112+3*x113+2*x115+x118-x125-x130-x135-x144-x160-x163-x166-x169+x178+3*x185+2*x187+2*x190+3*x192+x195-2*x230-3*x232-3*x233-2*x235-x238+x266+x273-x705-x710+x742+3*x745+2*x747+2*x750+3*x752-x787-2*x790-3*x792-3*x793-2*x795-x798+x805+x810+x815+x824+x840+x843+x846+x849-x858-3*x865-2*x867-2*x870-3*x872-x875+2*x910+3*x912+3*x913+2*x915+x918-x946-x953,
-x7-2*x10-3*x12-3*x13-2*x15-x18+x40+x43+x46-x52+x53+3*x137+2*x139+2*x182+3*x184+x227+x245+x250+x255+x260-x282-3*x285-2*x287-2*x290-3*x292-x295+x307+2*x310+3*x312+3*x317+2*x319-x328-x331-x339+x687+2*x690+3*x692+3*x693+2*x695+x698-x720-x723-x726+x732-x733-3*x817-2*x819-2*x862-3*x864-x907-x925-x930-x935-x940+x962+3*x965+2*x967+2*x970+3*x972+x975-x987-2*x990-3*x992-3*x997-2*x999+x1008+x1011+x1019,
x7+2*x10+3*x12+3*x13+2*x15+x18-x40-x43-x46+x52-x53-3*x137-2*x139-2*x182-3*x184-x227-x245-x250-x255-x260+x282+3*x285+2*x287+2*x290+3*x292+x295-x307-2*x310-3*x312-3*x317-2*x319+x328+x331+x339-x687-2*x690-3*x692-3*x693-2*x695-x698+x720+x723+x726-x732+x733+3*x817+2*x819+2*x862+3*x864+x907+x925+x930+x935+x940-x962-3*x965-2*x967-2*x970-3*x972-x975+x987+2*x990+3*x992+3*x997+2*x999-x1008-x1011-x1019,
-x11-x16+x34+3*x37+2*x39+2*x42+3*x44+x47-x79-2*x82-3*x84-3*x85-2*x87-x90+x132+x135+x142+x145+x153+x158+x163+x168-x206-3*x209-2*x211-2*x214-3*x216-x219+x251+2*x254+3*x256+3*x257+2*x259+x262-x288-x291-x294-x338+x691+x696-x714-3*x717-2*x719-2*x722-3*x724-x727+x759+2*x762+3*x764+3*x765+2*x767+x770-x812-x815-x822-x825-x833-x838-x843-x848+x886+3*x889+2*x891+2*x894+3*x896+x899-x931-2*x934-3*x936-3*x937-2*x939-x942+x968+x971+x974+x1018,
x11+x16-x34-3*x37-2*x39-2*x42-3*x44-x47+x79+2*x82+3*x84+3*x85+2*x87+x90-x132-x135-x142-x145-x153-x158-x163-x168+x206+3*x209+2*x211+2*x214+3*x216+x219-x251-2*x254-3*x256-3*x257-2*x259-x262+x288+x291+x294+x338-x691-x696+x714+3*x717+2*x719+2*x722+3*x724+x727-x759-2*x762-3*x764-3*x765-2*x767-x770+x812+x815+x822+x825+x833+x838+x843+x848-x886-3*x889-2*x891-2*x894-3*x896-x899+x931+2*x934+3*x936+3*x937+2*x939+x942-x968-x971-x974-x1018,
-x18-3*x21-2*x23-2*x26-3*x28-x31+x55+2*x58+3*x60+3*x61+2*x63+x66-x100-x103-x106-x109-x189-x194-x199-x204+x225+x234+3*x237+2*x239+2*x242+3*x244+x247-x267+x270-2*x274-3*x276-3*x277-2*x279-x282+x299+x302+x305+x315+x698+3*x701+2*x703+2*x706+3*x708+x711-x735-2*x738-3*x740-3*x741-2*x743-x746+x780+x783+x786+x789+x869+x874+x879+x884-x905-x914-3*x917-2*x919-2*x922-3*x924-x927+x947-x950+2*x954+3*x956+3*x957+2*x959+x962-x979-x982-x985-x995,
x18+3*x21+2*x23+2*x26+3*x28+x31-x55-2*x58-3*x60-3*x61-2*x63-x66+x100+x103+x106+x109+x189+x194+x199+x204-x225-x234-3*x237-2*x239-2*x242-3*x244-x247+x267-x270+2*x274+3*x276+3*x277+2*x279+x282-x299-x302-x305-x315-x698-3*x701-2*x703-2*x706-3*x708-x711+x735+2*x738+3*x740+3*x741+2*x743+x746-x780-x783-x786-x789-x869-x874-x879-x884+x905+x914+3*x917+2*x919+2*x922+3*x924+x927-x947+x950-2*x954-3*x956-3*x957-2*x959-x962+x979+x982+x985+x995,
-x21-x26-x31+x58+3*x61+2*x63+2*x66+3*x68+x71-x103-2*x106-3*x108-3*x109-2*x111-x114+x129+x134+x143+x148+x156+x159+x162+x165-x186-3*x189-2*x191-2*x194-3*x196-x199+x231+2*x234+3*x236+3*x237+2*x239+x242-x267-x274-x277+x701+x706+x711-x738-3*x741-2*x743-2*x746-3*x748-x751+x783+2*x786+3*x788+3*x789+2*x791+x794-x809-x814-x823-x828-x836-x839-x842-x845+x866+3*x869+2*x871+2*x874+3*x876+x879-x911-2*x914-3*x916-3*x917-2*x919-x922+x947+x954+x957,
x21+x26+x31-x58-3*x61-2*x63-2*x66-3*x68-x71+x103+2*x106+3*x108+3*x109+2*x111+x114-x129-x134-x143-x148-x156-x159-x162-x165+x186+3*x189+2*x191+2*x194+3*x196+x199-x231-2*x234-3*x236-3*x237-2*x239-x242+x267+x274+x277-x701-x706-x711+x738+3*x741+2*x743+2*x746+3*x748+x751-x783-2*x786-3*x788-3*x789-2*x791-x794+x809+x814+x823+x828+x836+x839+x842+x845-x866-3*x869-2*x871-2*x874-3*x876-x879+x911+2*x914+3*x916+3*x917+2*x919+x922-x947-x954-x957,
-x34-x39-x44+x74+3*x77+2*x79+2*x82+3*x84+x87+x105+x110+x115+x120-x127-2*x130-3*x132-3*x133-2*x135-x142-x158-3*x161-2*x163-2*x166-3*x168-x171+x180+x187+x190+x193+x211+2*x214+3*x216+3*x217+2*x219+x222-x256-x259-x262+x714+x719+x724-x754-3*x757-2*x759-2*x762-3*x764-x767-x785-x790-x795-x800+x807+2*x810+3*x812+3*x813+2*x815+x822+x838+3*x841+2*x843+2*x846+3*x848+x851-x860-x867-x870-x873-x891-2*x894-3*x896-3*x897-2*x899-x902+x936+x939+x942,
x34+x39+x44-x74-3*x77-2*x79-2*x82-3*x84-x87-x105-x110-x115-x120+x127+2*x130+3*x132+3*x133+2*x135+x142+x158+3*x161+2*x163+2*x166+3*x168+x171-x180-x187-x190-x193-x211-2*x214-3*x216-3*x217-2*x219-x222+x256+x259+x262-x714-x719-x724+x754+3*x757+2*x759+2*x762+3*x764+x767+x785+x790+x795+x800-x807-2*x810-3*x812-3*x813-2*x815-x822-x838-3*x841-2*x843-2*x846-3*x848-x851+x860+x867+x870+x873+x891+2*x894+3*x896+3*x897+2*x899+x902-x936-x939-x942,
-x5-x15-2*x18-3*x20-3*x21-2*x23-x26+x48-x50+x55+x58+x61-x95+x182+3*x225+2*x227+x237+x242+x247+x252+2*x270+3*x272-x274-3*x277-2*x279-2*x282-3*x284-x287+x299+2*x302+3*x304+3*x305+2*x307+x310+x315-x323-x326-x329+x685+x695+2*x698+3*x700+3*x701+2*x703+x706-x728+x730-x735-x738-x741+x775-x862-3*x905-2*x907-x917-x922-x927-x932-2*x950-3*x952+x954+3*x957+2*x959+2*x962+3*x964+x967-x979-2*x982-3*x984-3*x985-2*x987-x990-x995+x1003+x1006+x1009,
x5+x15+2*x18+3*x20+3*x21+2*x23+x26-x48+x50-x55-x58-x61+x95-x182-3*x225-2*x227-x237-x242-x247-x252-2*x270-3*x272+x274+3*x277+2*x279+2*x282+3*x284+x287-x299-2*x302-3*x304-3*x305-2*x307-x310-x315+x323+x326+x329-x685-x695-2*x698-3*x700-3*x701-2*x703-x706+x728-x730+x735+x738+x741-x775+x862+3*x905+2*x907+x917+x922+x927+x932+2*x950+3*x952-x954-3*x957-2*x959-2*x962-3*x964-x967+x979+2*x982+3*x984+3*x985+2*x987+x990+x995-x1003-x1006-x1009,
-x6-x11-2*x14-3*x16-3*x17-2*x19-x22+x44+x47-x51+x54+x57-x96+x138+3*x181+2*x183+2*x226+3*x228+x241+x246+x251+x256+x271-x278-3*x281-2*x283-2*x286-3*x288-x291+x303+2*x306+3*x308+3*x309+2*x311+x318-x324-x327-x330+x686+x691+2*x694+3*x696+3*x697+2*x699+x702-x724-x727+x731-x734-x737+x776-x818-3*x861-2*x863-2*x906-3*x908-x921-x926-x931-x936-x951+x958+3*x961+2*x963+2*x966+3*x968+x971-x983-2*x986-3*x988-3*x989-2*x991-x998+x1004+x1007+x1010,
x6+x11+2*x14+3*x16+3*x17+2*x19+x22-x44-x47+x51-x54-x57+x96-x138-3*x181-2*x183-2*x226-3*x228-x241-x246-x251-x256-x271+x278+3*x281+2*x283+2*x286+3*x288+x291-x303-2*x306-3*x308-3*x309-2*x311-x318+x324+x327+x330-x686-x691-2*x694-3*x696-3*x697-2*x699-x702+x724+x727-x731+x734+x737-x776+x818+3*x861+2*x863+2*x906+3*x908+x921+x926+x931+x936+x951-x958-3*x961-2*x963-2*x966-3*x968-x971+x983+2*x986+3*x988+3*x989+2*x991+x998-x1004-x1007-x1010,
-x61-x66-x71+x73+x78+x83+x88+x106+3*x109+2*x111+2*x114+3*x116+x119-x126-3*x129-2*x131-2*x134-3*x136-x143-x159-2*x162-3*x164-3*x165-2*x167-x170+x179+2*x186+3*x188+3*x189+2*x191+x194+x212+x215+x218+x221-x231-x234-x237+x741+x746+x751-x753-x758-x763-x768-x786-3*x789-2*x791-2*x794-3*x796-x799+x806+3*x809+2*x811+2*x814+3*x816+x823+x839+2*x842+3*x844+3*x845+2*x847+x850-x859-2*x866-3*x868-3*x869-2*x871-x874-x892-x895-x898-x901+x911+x914+x917,
x61+x66+x71-x73-x78-x83-x88-x106-3*x109-2*x111-2*x114-3*x116-x119+x126+3*x129+2*x131+2*x134+3*x136+x143+x159+2*x162+3*x164+3*x165+2*x167+x170-x179-2*x186-3*x188-3*x189-2*x191-x194-x212-x215-x218-x221+x231+x234+x237-x741-x746-x751+x753+x758+x763+x768+x786+3*x789+2*x791+2*x794+3*x796+x799-x806-3*x809-2*x811-2*x814-3*x816-x823-x839-2*x842-3*x844-3*x845-2*x847-x850+x859+2*x866+3*x868+3*x869+2*x871+x874+x892+x895+x898+x901-x911-x914-x917,
-3*x9-2*x11-2*x14-3*x16-x19+x39+2*x42+3*x44+3*x45+2*x47+x54-x84-x87-x90-x97+x138+x183-x201-x206-x211-x216+x228+x246+3*x249+2*x251+2*x254+3*x256+x259-x283-2*x286-3*x288-3*x289-2*x291-x294+x308+x311+x318-x338+3*x689+2*x691+2*x694+3*x696+x699-x719-2*x722-3*x724-3*x725-2*x727-x734+x764+x767+x770+x777-x818-x863+x881+x886+x891+x896-x908-x926-3*x929-2*x931-2*x934-3*x936-x939+x963+2*x966+3*x968+3*x969+2*x971+x974-x988-x991-x998+x1018,
3*x9+2*x11+2*x14+3*x16+x19-x39-2*x42-3*x44-3*x45-2*x47-x54+x84+x87+x90+x97-x138-x183+x201+x206+x211+x216-x228-x246-3*x249-2*x251-2*x254-3*x256-x259+x283+2*x286+3*x288+3*x289+2*x291+x294-x308-x311-x318+x338-3*x689-2*x691-2*x694-3*x696-x699+x719+2*x722+3*x724+3*x725+2*x727+x734-x764-x767-x770-x777+x818+x863-x881-x886-x891-x896+x908+x926+3*x929+2*x931+2*x934+3*x936+x939-x963-2*x966-3*x968-3*x969-2*x971-x974+x988+x991+x998-x1018,
-x10-x15-x20+x38+3*x41+2*x43+2*x46+3*x48+x55-x83-2*x86-3*x88-3*x89-2*x91-x98+x136+x143+x146+2*x149+x154+x159+x164-x202-3*x205-2*x207-2*x210-3*x212-x215+x247+2*x250+3*x252+3*x253+2*x255+x258-x284-x287-x290-x293-x337+x690+x695+x700-x718-3*x721-2*x723-2*x726-3*x728-x735+x763+2*x766+3*x768+3*x769+2*x771+x778-x816-x823-x826-2*x829-x834-x839-x844+x882+3*x885+2*x887+2*x890+3*x892+x895-x927-2*x930-3*x932-3*x933-2*x935-x938+x964+x967+x970+x973+x1017,
x10+x15+x20-x38-3*x41-2*x43-2*x46-3*x48-x55+x83+2*x86+3*x88+3*x89+2*x91+x98-x136-x143-x146-2*x149-x154-x159-x164+x202+3*x205+2*x207+2*x210+3*x212+x215-x247-2*x250-3*x252-3*x253-2*x255-x258+x284+x287+x290+x293+x337-x690-x695-x700+x718+3*x721+2*x723+2*x726+3*x728+x735-x763-2*x766-3*x768-3*x769-2*x771-x778+x816+x823+x826+2*x829+x834+x839+x844-x882-3*x885-2*x887-2*x890-3*x892-x895+x927+2*x930+3*x932+3*x933+2*x935+x938-x964-x967-x970-x973-x1017,
-x13-x18-x23-x28+x46+3*x53+2*x55+2*x58+3*x60+x63-x91-2*x98-3*x100-3*x101-2*x103-x106+x141+x146+x148+2*x151+x154+x156+x157-x194-3*x197-2*x199-2*x202-3*x204-x207+x239+2*x242+3*x244+3*x245+2*x247+x250-x276-x279-x282-x285+x693+x698+x703+x708-x726-3*x733-2*x735-2*x738-3*x740-x743+x771+2*x778+3*x780+3*x781+2*x783+x786-x821-x826-x828-2*x831-x834-x836-x837+x874+3*x877+2*x879+2*x882+3*x884+x887-x919-2*x922-3*x924-3*x925-2*x927-x930+x956+x959+x962+x965,
x13+x18+x23+x28-x46-3*x53-2*x55-2*x58-3*x60-x63+x91+2*x98+3*x100+3*x101+2*x103+x106-x141-x146-x148-2*x151-x154-x156-x157+x194+3*x197+2*x199+2*x202+3*x204+x207-x239-2*x242-3*x244-3*x245-2*x247-x250+x276+x279+x282+x285-x693-x698-x703-x708+x726+3*x733+2*x735+2*x738+3*x740+x743-x771-2*x778-3*x780-3*x781-2*x783-x786+x821+x826+x828+2*x831+x834+x836+x837-x874-3*x877-2*x879-2*x882-3*x884-x887+x919+2*x922+3*x924+3*x925+2*x927+x930-x956-x959-x962-x965,
-x17-x22-x27-x32+x54+3*x57+2*x59+2*x62+3*x64+x67-x99-2*x102-3*x104-3*x105-2*x107-x110+x133+x142+x147+2*x152+x155+x158+x161-x190-3*x193-2*x195-2*x198-3*x200-x203+x235+2*x238+3*x240+3*x241+2*x243+x246-x268-x275-x278-x281+x697+x702+x707+x712-x734-3*x737-2*x739-2*x742-3*x744-x747+x779+2*x782+3*x784+3*x785+2*x787+x790-x813-x822-x827-2*x832-x835-x838-x841+x870+3*x873+2*x875+2*x878+3*x880+x883-x915-2*x918-3*x920-3*x921-2*x923-x926+x948+x955+x958+x961,
x17+x22+x27+x32-x54-3*x57-2*x59-2*x62-3*x64-x67+x99+2*x102+3*x104+3*x105+2*x107+x110-x133-x142-x147-2*x152-x155-x158-x161+x190+3*x193+2*x195+2*x198+3*x200+x203-x235-2*x238-3*x240-3*x241-2*x243-x246+x268+x275+x278+x281-x697-x702-x707-x712+x734+3*x737+2*x739+2*x742+3*x744+x747-x779-2*x782-3*x784-3*x785-2*x787-x790+x813+x822+x827+2*x832+x835+x838+x841-x870-3*x873-2*x875-2*x878-3*x880-x883+x915+2*x918+3*x920+3*x921+2*x923+x926-x948-x955-x958-x961,
6*x2+8*x3+15*x4+6*x6+8*x7+15*x8+15*x49+8*x50+6*x51+x94+x140+x183+x226+x269+x301+x306+x311+x320+x322+15*x325+8*x326+6*x327+6*x330+8*x331+15*x332+6*x334+8*x335+15*x336-4*x342-4*x343-4*x346-4*x347-20*x389-12*x390-12*x391-20*x392-4*x434-4*x435-2*x523-6*x524-4*x566-4*x567-6*x609-2*x610-6*x665-2*x666-4*x670-4*x671-4*x674-4*x675+6*x682+8*x683+15*x684+6*x686+8*x687+15*x688+15*x729+8*x730+6*x731+x774+x820+x863+x906+x949+x981+x986+x991+x1000+x1002+15*x1005+8*x1006+6*x1007+6*x1010+8*x1011+15*x1012+6*x1014+8*x1015+15*x1016,
x36+6*x74+8*x75+15*x76+x79+x113+x118+6*x122+8*x123+15*x124+15*x125+8*x126+6*x127+x130+x166+15*x169+8*x170+6*x171+6*x174+8*x175+15*x176+x178+x185+x219+6*x222+8*x223+15*x224+x264-4*x414-4*x415-2*x419-6*x420-4*x462-4*x463-20*x465-12*x466-12*x467-20*x468-4*x470-4*x471-6*x509-2*x510-4*x514-4*x515-4*x518-4*x519-6*x525-2*x526-4*x562-4*x563+x716+6*x754+8*x755+15*x756+x759+x793+x798+6*x802+8*x803+15*x804+15*x805+8*x806+6*x807+x810+x846+15*x849+8*x850+6*x851+6*x854+8*x855+15*x856+x858+x865+x899+6*x902+8*x903+15*x904+x944,
-x37-x42-x47-x56+x82+3*x85+2*x87+2*x90+3*x92+x97+x99+x102+x107+x112-x135-2*x142-3*x144-3*x145-2*x147-2*x150-3*x153-2*x155-2*x158-3*x160-x163+x192+x195+x198+x201+x203+2*x206+3*x208+3*x209+2*x211+x214-x248-x251-x254-x257+x717+x722+x727+x736-x762-3*x765-2*x767-2*x770-3*x772-x777-x779-x782-x787-x792+x815+2*x822+3*x824+3*x825+2*x827+2*x830+3*x833+2*x835+2*x838+3*x840+x843-x872-x875-x878-x881-x883-2*x886-3*x888-3*x889-2*x891-x894+x928+x931+x934+x937,
x37+x42+x47+x56-x82-3*x85-2*x87-2*x90-3*x92-x97-x99-x102-x107-x112+x135+2*x142+3*x144+3*x145+2*x147+2*x150+3*x153+2*x155+2*x158+3*x160+x163-x192-x195-x198-x201-x203-2*x206-3*x208-3*x209-2*x211-x214+x248+x251+x254+x257-x717-x722-x727-x736+x762+3*x765+2*x767+2*x770+3*x772+x777+x779+x782+x787+x792-x815-2*x822-3*x824-3*x825-2*x827-2*x830-3*x833-2*x835-2*x838-3*x840-x843+x872+x875+x878+x881+x883+2*x886+3*x888+3*x889+2*x891+x894-x928-x931-x934-x937,
-x53-x58-x63-x68+x81+x86+x91+x98+x100+3*x101+2*x103+2*x106+3*x108+x111-x134-3*x141-2*x143-2*x146-3*x148-2*x151-2*x154-3*x156-3*x157-2*x159-x162+x191+2*x194+3*x196+3*x197+2*x199+x202+x204+x207+x210+x213-x236-x239-x242-x245+x733+x738+x743+x748-x761-x766-x771-x778-x780-3*x781-2*x783-2*x786-3*x788-x791+x814+3*x821+2*x823+2*x826+3*x828+2*x831+2*x834+3*x836+3*x837+2*x839+x842-x871-2*x874-3*x876-3*x877-2*x879-x882-x884-x887-x890-x893+x916+x919+x922+x925,
x53+x58+x63+x68-x81-x86-x91-x98-x100-3*x101-2*x103-2*x106-3*x108-x111+x134+3*x141+2*x143+2*x146+3*x148+2*x151+2*x154+3*x156+3*x157+2*x159+x162-x191-2*x194-3*x196-3*x197-2*x199-x202-x204-x207-x210-x213+x236+x239+x242+x245-x733-x738-x743-x748+x761+x766+x771+x778+x780+3*x781+2*x783+2*x786+3*x788+x791-x814-3*x821-2*x823-2*x826-3*x828-2*x831-2*x834-3*x836-3*x837-2*x839-x842+x871+2*x874+3*x876+3*x877+2*x879+x882+x884+x887+x890+x893-x916-x919-x922-x925,
-x9-x14-x19-x24+x42+3*x45+2*x47+2*x54+3*x56+x59-x87-2*x90-3*x92-3*x97-2*x99-x102+x144+x145+x147+2*x150+x153+x155+x160-x198-3*x201-2*x203-2*x206-3*x208-x211+x243+2*x246+3*x248+3*x249+2*x251+x254-x280-x283-x286-x289+x689+x694+x699+x704-x722-3*x725-2*x727-2*x734-3*x736-x739+x767+2*x770+3*x772+3*x777+2*x779+x782-x824-x825-x827-2*x830-x833-x835-x840+x878+3*x881+2*x883+2*x886+3*x888+x891-x923-2*x926-3*x928-3*x929-2*x931-x934+x960+x963+x966+x969,
x9+x14+x19+x24-x42-3*x45-2*x47-2*x54-3*x56-x59+x87+2*x90+3*x92+3*x97+2*x99+x102-x144-x145-x147-2*x150-x153-x155-x160+x198+3*x201+2*x203+2*x206+3*x208+x211-x243-2*x246-3*x248-3*x249-2*x251-x254+x280+x283+x286+x289-x689-x694-x699-x704+x722+3*x725+2*x727+2*x734+3*x736+x739-x767-2*x770-3*x772-3*x777-2*x779-x782+x824+x825+x827+2*x830+x833+x835+x840-x878-3*x881-2*x883-2*x886-3*x888-x891+x923+2*x926+3*x928+3*x929+2*x931+x934-x960-x963-x966-x969,
-x10-3*x13-2*x15-2*x18-3*x20-x23+x43+2*x46+3*x48+3*x53+2*x55+x58-x88-x91-x98-x101+x137+x182-x197-x202-x207-x212+x227+x242+3*x245+2*x247+2*x250+3*x252+x255+x272-x279-2*x282-3*x284-3*x285-2*x287-x290+x304+x307+x310+x317+x690+3*x693+2*x695+2*x698+3*x700+x703-x723-2*x726-3*x728-3*x733-2*x735-x738+x768+x771+x778+x781-x817-x862+x877+x882+x887+x892-x907-x922-3*x925-2*x927-2*x930-3*x932-x935-x952+x959+2*x962+3*x964+3*x965+2*x967+x970-x984-x987-x990-x997,
x10+3*x13+2*x15+2*x18+3*x20+x23-x43-2*x46-3*x48-3*x53-2*x55-x58+x88+x91+x98+x101-x137-x182+x197+x202+x207+x212-x227-x242-3*x245-2*x247-2*x250-3*x252-x255-x272+x279+2*x282+3*x284+3*x285+2*x287+x290-x304-x307-x310-x317-x690-3*x693-2*x695-2*x698-3*x700-x703+x723+2*x726+3*x728+3*x733+2*x735+x738-x768-x771-x778-x781+x817+x862-x877-x882-x887-x892+x907+x922+3*x925+2*x927+2*x930+3*x932+x935+x952-x959-2*x962-3*x964-3*x965-2*x967-x970+x984+x987+x990+x997,
-x14-3*x17-2*x19-2*x22-3*x24-x27+x47+2*x54+3*x56+3*x57+2*x59+x62-x92-x99-x102-x105+x181-x193-x198-x203-x208+x226+x238+3*x241+2*x243+2*x246+3*x248+x251+x271-x275-2*x278-3*x280-3*x281-2*x283-x286+x300+x303+x306+x309+x316+x694+3*x697+2*x699+2*x702+3*x704+x707-x727-2*x734-3*x736-3*x737-2*x739-x742+x772+x779+x782+x785-x861+x873+x878+x883+x888-x906-x918-3*x921-2*x923-2*x926-3*x928-x931-x951+x955+2*x958+3*x960+3*x961+2*x963+x966-x980-x983-x986-x989-x996,
x14+3*x17+2*x19+2*x22+3*x24+x27-x47-2*x54-3*x56-3*x57-2*x59-x62+x92+x99+x102+x105-x181+x193+x198+x203+x208-x226-x238-3*x241-2*x243-2*x246-3*x248-x251-x271+x275+2*x278+3*x280+3*x281+2*x283+x286-x300-x303-x306-x309-x316-x694-3*x697-2*x699-2*x702-3*x704-x707+x727+2*x734+3*x736+3*x737+2*x739+x742-x772-x779-x782-x785+x861-x873-x878-x883-x888+x906+x918+3*x921+2*x923+2*x926+3*x928+x931+x951-x955-2*x958-3*x960-3*x961-2*x963-x966+x980+x983+x986+x989+x996,
8*x2+15*x1+6*x3+x7+6*x50+8*x51+15*x52+15*x93+8*x94+6*x95+x184+x227+x270+x297+x302+x307+x312+x313+15*x321+8*x322+6*x323+6*x326+8*x327+15*x328+x331+15*x333+8*x334+6*x335-6*x341-2*x342-4*x390-4*x391-20*x433-12*x434-12*x435-20*x436-2*x567-6*x568-4*x610-4*x611-6*x653-2*x654-6*x661-2*x662-4*x666-4*x667-2*x671-6*x672-20*x673-12*x674-12*x675-20*x676+15*x681+8*x682+6*x683+x687+6*x730+8*x731+15*x732+15*x773+8*x774+6*x775+x864+x907+x950+x977+x982+x987+x992+x993+15*x1001+8*x1002+6*x1003+6*x1006+8*x1007+15*x1008+x1011+15*x1013+8*x1014+6*x1015,
-x33-x38-x43-x48+x78+3*x81+2*x83+2*x86+3*x88+x91+x101+x106+x111+x116-x131-2*x134-3*x136-3*x141-2*x143-x146-x154-3*x157-2*x159-2*x162-3*x164-x167+x188+x191+x194+x197+x207+2*x210+3*x212+3*x213+2*x215+x218-x252-x255-x258-x261+x713+x718+x723+x728-x758-3*x761-2*x763-2*x766-3*x768-x771-x781-x786-x791-x796+x811+2*x814+3*x816+3*x821+2*x823+x826+x834+3*x837+2*x839+2*x842+3*x844+x847-x868-x871-x874-x877-x887-2*x890-3*x892-3*x893-2*x895-x898+x932+x935+x938+x941,
x33+x38+x43+x48-x78-3*x81-2*x83-2*x86-3*x88-x91-x101-x106-x111-x116+x131+2*x134+3*x136+3*x141+2*x143+x146+x154+3*x157+2*x159+2*x162+3*x164+x167-x188-x191-x194-x197-x207-2*x210-3*x212-3*x213-2*x215-x218+x252+x255+x258+x261-x713-x718-x723-x728+x758+3*x761+2*x763+2*x766+3*x768+x771+x781+x786+x791+x796-x811-2*x814-3*x816-3*x821-2*x823-x826-x834-3*x837-2*x839-2*x842-3*x844-x847+x868+x871+x874+x877+x887+2*x890+3*x892+3*x893+2*x895+x898-x932-x935-x938-x941,
-x57-x62-x67-x72+x77+x82+x87+x92+x102+3*x105+2*x107+2*x110+3*x112+x115-x130-3*x133-2*x135-2*x142-3*x144-x147-x155-2*x158-3*x160-3*x161-2*x163-x166+x187+2*x190+3*x192+3*x193+2*x195+x198+x208+x211+x214+x217-x232-x235-x238-x241+x737+x742+x747+x752-x757-x762-x767-x772-x782-3*x785-2*x787-2*x790-3*x792-x795+x810+3*x813+2*x815+2*x822+3*x824+x827+x835+2*x838+3*x840+3*x841+2*x843+x846-x867-2*x870-3*x872-3*x873-2*x875-x878-x888-x891-x894-x897+x912+x915+x918+x921,
x57+x62+x67+x72-x77-x82-x87-x92-x102-3*x105-2*x107-2*x110-3*x112-x115+x130+3*x133+2*x135+2*x142+3*x144+x147+x155+2*x158+3*x160+3*x161+2*x163+x166-x187-2*x190-3*x192-3*x193-2*x195-x198-x208-x211-x214-x217+x232+x235+x238+x241-x737-x742-x747-x752+x757+x762+x767+x772+x782+3*x785+2*x787+2*x790+3*x792+x795-x810-3*x813-2*x815-2*x822-3*x824-x827-x835-2*x838-3*x840-3*x841-2*x843-x846+x867+2*x870+3*x872+3*x873+2*x875+x878+x888+x891+x894+x897-x912-x915-x918-x921,
x69+x75+x80+x114+15*x117+8*x118+6*x119+15*x121+8*x122+6*x123+6*x126+8*x127+15*x128+x131+x167+6*x170+8*x171+15*x172+15*x173+8*x174+6*x175+15*x177+8*x178+6*x179+x186+x220+x223+x229-6*x457-2*x458-6*x461-2*x462-4*x466-4*x467-2*x471-6*x472-4*x510-4*x511-20*x513-12*x514-12*x515-20*x516-20*x517-12*x518-12*x519-20*x520-4*x526-4*x527-2*x563-6*x564-6*x569-2*x570+x749+x755+x760+x794+15*x797+8*x798+6*x799+15*x801+8*x802+6*x803+6*x806+8*x807+15*x808+x811+x847+6*x850+8*x851+15*x852+15*x853+8*x854+6*x855+15*x857+8*x858+6*x859+x866+x900+x903+x909,
-9/262144-2*x3-6*x4-20*x5-12*x6-12*x7-20*x8-4*x50-4*x51-2*x139-6*x140-4*x182-4*x183-6*x225-2*x226-6*x305-2*x306-4*x310-4*x311-2*x319-6*x320-4*x326-4*x327-20*x329-12*x330-12*x331-20*x332-2*x335-6*x336+x343+15*x345+8*x346+6*x347+x352+x355+x358+x361+6*x390+8*x391+15*x392+x435+x479+6*x522+8*x523+15*x524+15*x565+8*x566+6*x567+x610+x645+x650+x659+x666+15*x669+8*x670+6*x671+x675-2*x683-6*x684-20*x685-12*x686-12*x687-20*x688-4*x730-4*x731-2*x819-6*x820-4*x862-4*x863-6*x905-2*x906-6*x985-2*x986-4*x990-4*x991-2*x999-6*x1000-4*x1006-4*x1007-20*x1009-12*x1010-12*x1011-20*x1012-2*x1015-6*x1016,
-9/262144-2*x35-6*x36-20*x73-12*x74-12*x75-20*x76-4*x78-4*x79-2*x123-6*x124-4*x126-4*x127-6*x129-2*x130-6*x165-2*x166-4*x170-4*x171-2*x175-6*x176-4*x218-4*x219-20*x221-12*x222-12*x223-20*x224-2*x263-6*x264+x375+x380+15*x413+8*x414+6*x415+6*x418+8*x419+15*x420+x423+x463+6*x466+8*x467+15*x468+15*x469+8*x470+6*x471+x474+x505+x510+x515+x519+x526+x529+x558+15*x561+8*x562+6*x563+x603-2*x715-6*x716-20*x753-12*x754-12*x755-20*x756-4*x758-4*x759-2*x803-6*x804-4*x806-4*x807-6*x809-2*x810-6*x845-2*x846-4*x850-4*x851-2*x855-6*x856-4*x898-4*x899-20*x901-12*x902-12*x903-20*x904-2*x943-6*x944,
-11/131072-4*x10-4*x11-2*x35-6*x36-4*x38-4*x39-6*x41-2*x42-2*x139-6*x140-6*x253-2*x254-4*x258-4*x259-2*x263-6*x264-4*x290-4*x291-20*x293-12*x294-12*x295-20*x296-2*x319-6*x320-20*x337-12*x338-12*x339-20*x340+6*x350+8*x351+15*x352+x355+x375+6*x378+8*x379+15*x380+15*x381+8*x382+6*x383+x386+x420+x423+x426+x429+x479+x524+x593+x598+x603+x630+15*x633+8*x634+6*x635+x659+15*x677+8*x678+6*x679-4*x690-4*x691-2*x715-6*x716-4*x718-4*x719-6*x721-2*x722-2*x819-6*x820-6*x933-2*x934-4*x938-4*x939-2*x943-6*x944-4*x970-4*x971-20*x973-12*x974-12*x975-20*x976-2*x999-6*x1000-20*x1017-12*x1018-12*x1019-20*x1020,
-3/65536-20*x33-12*x34-12*x35-20*x36-4*x38-4*x39-2*x75-6*x76-4*x78-4*x79-6*x81-2*x82-6*x213-2*x214-4*x218-4*x219-2*x223-6*x224-4*x258-4*x259-20*x261-12*x262-12*x263-20*x264-2*x295-6*x296-2*x339-6*x340+x352+15*x373+8*x374+6*x375+6*x378+8*x379+15*x380+x383+x415+6*x418+8*x419+15*x420+15*x421+8*x422+6*x423+x426+x468+x471+x474+x481+x553+x558+x563+x598+15*x601+8*x602+6*x603+x635+x679-20*x713-12*x714-12*x715-20*x716-4*x718-4*x719-2*x755-6*x756-4*x758-4*x759-6*x761-2*x762-6*x893-2*x894-4*x898-4*x899-2*x903-6*x904-4*x938-4*x939-20*x941-12*x942-12*x943-20*x944-2*x975-6*x976-2*x1019-6*x1020,
-3/65536-2*x7-6*x8-4*x10-4*x11-6*x13-2*x14-20*x137-12*x138-12*x139-20*x140-4*x182-4*x183-6*x285-2*x286-4*x290-4*x291-2*x295-6*x296-4*x310-4*x311-20*x317-12*x318-12*x319-20*x320-2*x331-6*x332-2*x339-6*x340+x347+6*x350+8*x351+15*x352+15*x353+8*x354+6*x355+x358+x380+x383+x386+x392+x393+15*x477+8*x478+6*x479+6*x522+8*x523+15*x524+x567+x625+x630+x635+x650+15*x657+8*x658+6*x659+x671+x679-2*x687-6*x688-4*x690-4*x691-6*x693-2*x694-20*x817-12*x818-12*x819-20*x820-4*x862-4*x863-6*x965-2*x966-4*x970-4*x971-2*x975-6*x976-4*x990-4*x991-20*x997-12*x998-12*x999-20*x1000-2*x1011-6*x1012-2*x1019-6*x1020,
-2*x2-6*x1-4*x50-4*x51-20*x93-12*x94-12*x95-20*x96-2*x227-6*x228-4*x270-4*x271-6*x297-2*x298-4*x302-4*x303-2*x307-6*x308-6*x313-2*x314-20*x321-12*x322-12*x323-20*x324-4*x326-4*x327-6*x333-2*x334+x341+x360+x363+x366+x369+x390+15*x433+8*x434+6*x435+x567+6*x610+8*x611+15*x612+x637+x642+x647+x652+15*x653+8*x654+6*x655+15*x661+8*x662+6*x663+6*x666+8*x667+15*x668+x671+15*x673+8*x674+6*x675-6*x681-2*x682-4*x730-4*x731-20*x773-12*x774-12*x775-20*x776-2*x907-6*x908-4*x950-4*x951-6*x977-2*x978-4*x982-4*x983-2*x987-6*x988-6*x993-2*x994-20*x1001-12*x1002-12*x1003-20*x1004-4*x1006-4*x1007-6*x1013-2*x1014,
-6*x69-2*x70-4*x114-4*x115-20*x117-12*x118-12*x119-20*x120-6*x121-2*x122-4*x126-4*x127-2*x131-6*x132-2*x167-6*x168-4*x170-4*x171-6*x173-2*x174-20*x177-12*x178-12*x179-20*x180-4*x186-4*x187-6*x229-2*x230+x409+x454+15*x457+8*x458+6*x459+x461+x466+x471+x476+x507+6*x510+8*x511+15*x512+15*x513+8*x514+6*x515+15*x517+8*x518+6*x519+6*x526+8*x527+15*x528+x531+x560+x563+15*x569+8*x570+6*x571+x574+x605-6*x749-2*x750-4*x794-4*x795-20*x797-12*x798-12*x799-20*x800-6*x801-2*x802-4*x806-4*x807-2*x811-6*x812-2*x847-6*x848-4*x850-4*x851-6*x853-2*x854-20*x857-12*x858-12*x859-20*x860-4*x866-4*x867-6*x909-2*x910,
x11+6*x34+8*x35+15*x36+15*x37+8*x38+6*x39+x42+x76+x79+x82+x85+x140+x209+x214+x219+x224+x254+15*x257+8*x258+6*x259+6*x262+8*x263+15*x264+x291+6*x294+8*x295+15*x296+x320+6*x338+8*x339+15*x340-2*x351-6*x352-4*x374-4*x375-20*x377-12*x378-12*x379-20*x380-4*x382-4*x383-2*x419-6*x420-4*x422-4*x423-6*x425-2*x426-6*x597-2*x598-4*x602-4*x603-4*x634-4*x635-4*x678-4*x679+x691+6*x714+8*x715+15*x716+15*x717+8*x718+6*x719+x722+x756+x759+x762+x765+x820+x889+x894+x899+x904+x934+15*x937+8*x938+6*x939+6*x942+8*x943+15*x944+x971+6*x974+8*x975+15*x976+x1000+6*x1018+8*x1019+15*x1020,
-2*x23-6*x24-4*x26-4*x27-6*x29-2*x30-6*x93-2*x94-6*x265-2*x266-4*x270-4*x271-4*x274-4*x275-2*x279-6*x280-20*x297-12*x298-12*x299-20*x300-4*x302-4*x303-20*x313-12*x314-12*x315-20*x316-6*x321-2*x322+x363+6*x366+8*x367+15*x368+15*x369+8*x370+6*x371+x400+x403+x406+x409+x433+x605+x610+x614+x619+x624+15*x637+8*x638+6*x639+6*x642+8*x643+15*x644+x647+15*x653+8*x654+6*x655+15*x661+8*x662+6*x663+x666+x673-2*x703-6*x704-4*x706-4*x707-6*x709-2*x710-6*x773-2*x774-6*x945-2*x946-4*x950-4*x951-4*x954-4*x955-2*x959-6*x960-20*x977-12*x978-12*x979-20*x980-4*x982-4*x983-20*x993-12*x994-12*x995-20*x996-6*x1001-2*x1002,
-4*x26-4*x27-20*x29-12*x30-12*x31-20*x32-2*x63-6*x64-4*x66-4*x67-6*x69-2*x70-6*x229-2*x230-4*x234-4*x235-2*x239-6*x240-20*x265-12*x266-12*x267-20*x268-4*x274-4*x275-6*x297-2*x298-6*x313-2*x314+x366+15*x369+8*x370+6*x371+x403+6*x406+8*x407+15*x408+15*x409+8*x410+6*x411+x448+x451+x454+x457+x569+x574+x579+x584+15*x605+8*x606+6*x607+6*x614+8*x615+15*x616+x619+15*x637+8*x638+6*x639+x642+x653+x661-4*x706-4*x707-20*x709-12*x710-12*x711-20*x712-2*x743-6*x744-4*x746-4*x747-6*x749-2*x750-6*x909-2*x910-4*x914-4*x915-2*x919-6*x920-20*x945-12*x946-12*x947-20*x948-4*x954-4*x955-6*x977-2*x978-6*x993-2*x994,
-6*x29-2*x30-4*x66-4*x67-20*x69-12*x70-12*x71-20*x72-2*x111-6*x112-4*x114-4*x115-6*x117-2*x118-6*x177-2*x178-4*x186-4*x187-2*x191-6*x192-20*x229-12*x230-12*x231-20*x232-4*x234-4*x235-6*x265-2*x266+x369+x406+15*x409+8*x410+6*x411+x451+6*x454+8*x455+15*x456+15*x457+8*x458+6*x459+x504+x507+x510+x513+x517+x526+x531+x536+15*x569+8*x570+6*x571+6*x574+8*x575+15*x576+x579+15*x605+8*x606+6*x607+x614+x637-6*x709-2*x710-4*x746-4*x747-20*x749-12*x750-12*x751-20*x752-2*x791-6*x792-4*x794-4*x795-6*x797-2*x798-6*x857-2*x858-4*x866-4*x867-2*x871-6*x872-20*x909-12*x910-12*x911-20*x912-4*x914-4*x915-6*x945-2*x946,
6*x34+8*x35+15*x36+x39+6*x74+8*x75+15*x76+15*x77+8*x78+6*x79+x82+x124+x127+x130+x133+x161+x166+x171+x176+x214+15*x217+8*x218+6*x219+6*x222+8*x223+15*x224+x259+6*x262+8*x263+15*x264+x296+x340-4*x374-4*x375-2*x379-6*x380-4*x414-4*x415-20*x417-12*x418-12*x419-20*x420-4*x422-4*x423-2*x467-6*x468-4*x470-4*x471-6*x473-2*x474-6*x557-2*x558-4*x562-4*x563-4*x602-4*x603+6*x714+8*x715+15*x716+x719+6*x754+8*x755+15*x756+15*x757+8*x758+6*x759+x762+x804+x807+x810+x813+x841+x846+x851+x856+x894+15*x897+8*x898+6*x899+6*x902+8*x903+15*x904+x939+6*x942+8*x943+15*x944+x976+x1020,
x4+6*x6+8*x7+15*x8+x11+x14+x17+x51+6*x138+8*x139+15*x140+15*x181+8*x182+6*x183+x226+x281+x286+x291+x296+x306+15*x309+8*x310+6*x311+6*x318+8*x319+15*x320+x327+6*x330+8*x331+15*x332+x336+x340-4*x346-4*x347-2*x351-6*x352-4*x354-4*x355-6*x357-2*x358-2*x391-6*x392-4*x478-4*x479-20*x521-12*x522-12*x523-20*x524-4*x566-4*x567-6*x649-2*x650-4*x658-4*x659-4*x670-4*x671+x684+6*x686+8*x687+15*x688+x691+x694+x697+x731+6*x818+8*x819+15*x820+15*x861+8*x862+6*x863+x906+x961+x966+x971+x976+x986+15*x989+8*x990+6*x991+6*x998+8*x999+15*x1000+x1007+6*x1010+8*x1011+15*x1012+x1016+x1020,
x8+15*x9+8*x10+6*x11+x14+x36+x39+x42+x45+6*x138+8*x139+15*x140+x183+x249+x254+x259+x264+x286+15*x289+8*x290+6*x291+6*x294+8*x295+15*x296+x311+6*x318+8*x319+15*x320+x332+6*x338+8*x339+15*x340-20*x349-12*x350-12*x351-20*x352-4*x354-4*x355-2*x379-6*x380-4*x382-4*x383-6*x385-2*x386-4*x478-4*x479-2*x523-6*x524-6*x629-2*x630-4*x634-4*x635-4*x658-4*x659-4*x678-4*x679+x688+15*x689+8*x690+6*x691+x694+x716+x719+x722+x725+6*x818+8*x819+15*x820+x863+x929+x934+x939+x944+x966+15*x969+8*x970+6*x971+6*x974+8*x975+15*x976+x991+6*x998+8*x999+15*x1000+x1012+6*x1018+8*x1019+15*x1020,
x1+x20+x23+x26+x29+x50+15*x93+8*x94+6*x95+x227+x265+6*x270+8*x271+15*x272+x274+x279+x284+15*x297+8*x298+6*x299+6*x302+8*x303+15*x304+x307+15*x313+8*x314+6*x315+15*x321+8*x322+6*x323+x326+x333-2*x363-6*x364-4*x366-4*x367-6*x369-2*x370-6*x433-2*x434-4*x610-4*x611-6*x637-2*x638-4*x642-4*x643-2*x647-6*x648-20*x653-12*x654-12*x655-20*x656-20*x661-12*x662-12*x663-20*x664-4*x666-4*x667-6*x673-2*x674+x681+x700+x703+x706+x709+x730+15*x773+8*x774+6*x775+x907+x945+6*x950+8*x951+15*x952+x954+x959+x964+15*x977+8*x978+6*x979+6*x982+8*x983+15*x984+x987+15*x993+8*x994+6*x995+15*x1001+8*x1002+6*x1003+x1006+x1013,
x23+6*x26+8*x27+15*x28+15*x29+8*x30+6*x31+x60+x63+x66+x69+x93+x229+x234+x239+x244+15*x265+8*x266+6*x267+x270+6*x274+8*x275+15*x276+x279+15*x297+8*x298+6*x299+x302+15*x313+8*x314+6*x315+x321-4*x366-4*x367-20*x369-12*x370-12*x371-20*x372-2*x403-6*x404-4*x406-4*x407-6*x409-2*x410-6*x605-2*x606-4*x614-4*x615-2*x619-6*x620-20*x637-12*x638-12*x639-20*x640-4*x642-4*x643-6*x653-2*x654-6*x661-2*x662+x703+6*x706+8*x707+15*x708+15*x709+8*x710+6*x711+x740+x743+x746+x749+x773+x909+x914+x919+x924+15*x945+8*x946+6*x947+x950+6*x954+8*x955+15*x956+x959+15*x977+8*x978+6*x979+x982+15*x993+8*x994+6*x995+x1001,
x26+15*x29+8*x30+6*x31+x63+6*x66+8*x67+15*x68+15*x69+8*x70+6*x71+x108+x111+x114+x117+x177+x186+x191+x196+15*x229+8*x230+6*x231+6*x234+8*x235+15*x236+x239+15*x265+8*x266+6*x267+x274+x297+x313-6*x369-2*x370-4*x406-4*x407-20*x409-12*x410-12*x411-20*x412-2*x451-6*x452-4*x454-4*x455-6*x457-2*x458-6*x569-2*x570-4*x574-4*x575-2*x579-6*x580-20*x605-12*x606-12*x607-20*x608-4*x614-4*x615-6*x637-2*x638+x706+15*x709+8*x710+6*x711+x743+6*x746+8*x747+15*x748+15*x749+8*x750+6*x751+x788+x791+x794+x797+x857+x866+x871+x876+15*x909+8*x910+6*x911+6*x914+8*x915+15*x916+x919+15*x945+8*x946+6*x947+x954+x977+x993,
x29+x66+15*x69+8*x70+6*x71+x111+6*x114+8*x115+15*x116+15*x117+8*x118+6*x119+x121+x126+x131+x136+x164+x167+x170+x173+15*x177+8*x178+6*x179+6*x186+8*x187+15*x188+x191+15*x229+8*x230+6*x231+x234+x265-6*x409-2*x410-4*x454-4*x455-20*x457-12*x458-12*x459-20*x460-2*x507-6*x508-4*x510-4*x511-6*x513-2*x514-6*x517-2*x518-4*x526-4*x527-2*x531-6*x532-20*x569-12*x570-12*x571-20*x572-4*x574-4*x575-6*x605-2*x606+x709+x746+15*x749+8*x750+6*x751+x791+6*x794+8*x795+15*x796+15*x797+8*x798+6*x799+x801+x806+x811+x816+x844+x847+x850+x853+15*x857+8*x858+6*x859+6*x866+8*x867+15*x868+x871+15*x909+8*x910+6*x911+x914+x945,
-4*x2-4*x3-4*x6-4*x7-20*x49-12*x50-12*x51-20*x52-4*x94-4*x95-2*x183-6*x184-4*x226-4*x227-6*x269-2*x270-6*x301-2*x302-4*x306-4*x307-2*x311-6*x312-4*x322-4*x323-20*x325-12*x326-12*x327-20*x328-4*x330-4*x331-4*x334-4*x335+x342+x346+x356+x359+x362+x365+15*x389+8*x390+6*x391+6*x434+8*x435+15*x436+x523+6*x566+8*x567+15*x568+15*x609+8*x610+6*x611+x641+x646+x651+x654+x660+x662+15*x665+8*x666+6*x667+6*x670+8*x671+15*x672+6*x674+8*x675+15*x676-4*x682-4*x683-4*x686-4*x687-20*x729-12*x730-12*x731-20*x732-4*x774-4*x775-2*x863-6*x864-4*x906-4*x907-6*x949-2*x950-6*x981-2*x982-4*x986-4*x987-2*x991-6*x992-4*x1002-4*x1003-20*x1005-12*x1006-12*x1007-20*x1008-4*x1010-4*x1011-4*x1014-4*x1015,
-4*x74-4*x75-2*x79-6*x80-6*x113-2*x114-4*x118-4*x119-4*x122-4*x123-20*x125-12*x126-12*x127-20*x128-4*x130-4*x131-4*x166-4*x167-20*x169-12*x170-12*x171-20*x172-4*x174-4*x175-4*x178-4*x179-6*x185-2*x186-2*x219-6*x220-4*x222-4*x223+x414+x419+x424+x453+x458+x462+15*x465+8*x466+6*x467+6*x470+8*x471+15*x472+x475+x506+15*x509+8*x510+6*x511+6*x514+8*x515+15*x516+6*x518+8*x519+15*x520+15*x525+8*x526+6*x527+x530+x559+6*x562+8*x563+15*x564+x570+x573+x604-4*x754-4*x755-2*x759-6*x760-6*x793-2*x794-4*x798-4*x799-4*x802-4*x803-20*x805-12*x806-12*x807-20*x808-4*x810-4*x811-4*x846-4*x847-20*x849-12*x850-12*x851-20*x852-4*x854-4*x855-4*x858-4*x859-6*x865-2*x866-2*x899-6*x900-4*x902-4*x903,
-63/256+x41+x46+x55+x60+x86+16*x89+8*x90+6*x91+7*x98+8*x99+15*x100+2*x103+x108+x143+7*x146+8*x147+15*x148+30*x149+16*x150+12*x151+7*x154+8*x155+15*x156+x159+x196+2*x199+7*x202+8*x203+15*x204+16*x205+8*x206+6*x207+x210+x244+x247+x250+x253-6*x429-2*x430-4*x438-4*x439-2*x443-6*x444-4*x486-4*x487-26*x489-14*x490-12*x491-20*x492-8*x494-8*x495-2*x499-6*x500-2*x539-6*x540-8*x542-8*x543-26*x545-14*x546-12*x547-20*x548-4*x550-4*x551-2*x587-6*x588-4*x590-4*x591-6*x593-2*x594+x721+x726+x735+x740+x766+16*x769+8*x770+6*x771+7*x778+8*x779+15*x780+2*x783+x788+x823+7*x826+8*x827+15*x828+30*x829+16*x830+12*x831+7*x834+8*x835+15*x836+x839+x876+2*x879+7*x882+8*x883+15*x884+16*x885+8*x886+6*x887+x890+x924+x927+x930+x933,
-3/32+x45+x54+x59+x64+x85+2*x90+15*x97+8*x98+7*x99+6*x102+8*x103+16*x104+x107+x142+15*x145+8*x146+7*x147+12*x150+16*x151+30*x152+15*x153+8*x154+7*x155+x158+x195+6*x198+8*x199+16*x200+15*x201+8*x202+7*x203+2*x206+x209+x240+x243+x246+x249-6*x437-2*x438-4*x442-4*x443-2*x447-6*x448-6*x485-2*x486-8*x490-8*x491-20*x493-12*x494-14*x495-26*x496-4*x498-4*x499-4*x538-4*x539-20*x541-12*x542-14*x543-26*x544-8*x546-8*x547-6*x549-2*x550-2*x583-6*x584-4*x586-4*x587-6*x589-2*x590+x725+x734+x739+x744+x765+2*x770+15*x777+8*x778+7*x779+6*x782+8*x783+16*x784+x787+x822+15*x825+8*x826+7*x827+12*x830+16*x831+30*x832+15*x833+8*x834+7*x835+x838+x875+6*x878+8*x879+16*x880+15*x881+8*x882+7*x883+2*x886+x889+x920+x923+x926+x929,
9/16384-4*x34-4*x35-2*x39-6*x40-4*x74-4*x75-20*x77-12*x78-12*x79-20*x80-4*x82-4*x83-2*x127-6*x128-4*x130-4*x131-6*x133-2*x134-6*x161-2*x162-4*x166-4*x167-2*x171-6*x172-4*x214-4*x215-20*x217-12*x218-12*x219-20*x220-4*x222-4*x223-2*x259-6*x260-4*x262-4*x263+x374+x379+x384+x414+15*x417+8*x418+6*x419+6*x422+8*x423+15*x424+x427+x467+6*x470+8*x471+15*x472+15*x473+8*x474+6*x475+x482+x501+x506+x511+x516+x520+x527+x530+x533+x554+15*x557+8*x558+6*x559+6*x562+8*x563+15*x564+x599+6*x602+8*x603+15*x604+x636-4*x714-4*x715-2*x719-6*x720-4*x754-4*x755-20*x757-12*x758-12*x759-20*x760-4*x762-4*x763-2*x807-6*x808-4*x810-4*x811-6*x813-2*x814-6*x841-2*x842-4*x846-4*x847-2*x851-6*x852-4*x894-4*x895-20*x897-12*x898-12*x899-20*x900-4*x902-4*x903-2*x939-6*x940-4*x942-4*x943,
9/16384-4*x6-4*x7-2*x11-6*x12-4*x14-4*x15-6*x17-2*x18-2*x51-6*x52-4*x138-4*x139-20*x181-12*x182-12*x183-20*x184-4*x226-4*x227-6*x281-2*x282-4*x286-4*x287-2*x291-6*x292-4*x306-4*x307-20*x309-12*x310-12*x311-20*x312-4*x318-4*x319-2*x327-6*x328-4*x330-4*x331+x346+x351+6*x354+8*x355+15*x356+15*x357+8*x358+6*x359+x362+x384+x387+x391+x394+x397+x436+x478+15*x521+8*x522+6*x523+6*x566+8*x567+15*x568+x611+x621+x626+x631+x636+x646+15*x649+8*x650+6*x651+6*x658+8*x659+15*x660+x667+6*x670+8*x671+15*x672+x676-4*x686-4*x687-2*x691-6*x692-4*x694-4*x695-6*x697-2*x698-2*x731-6*x732-4*x818-4*x819-20*x861-12*x862-12*x863-20*x864-4*x906-4*x907-6*x961-2*x962-4*x966-4*x967-2*x971-6*x972-4*x986-4*x987-20*x989-12*x990-12*x991-20*x992-4*x998-4*x999-2*x1007-6*x1008-4*x1010-4*x1011,
15/16384-2*x11-6*x12-4*x34-4*x35-20*x37-12*x38-12*x39-20*x40-4*x42-4*x43-2*x79-6*x80-4*x82-4*x83-6*x85-2*x86-6*x209-2*x210-4*x214-4*x215-2*x219-6*x220-4*x254-4*x255-20*x257-12*x258-12*x259-20*x260-4*x262-4*x263-2*x291-6*x292-4*x294-4*x295-4*x338-4*x339+x351+x356+x374+15*x377+8*x378+6*x379+6*x382+8*x383+15*x384+x387+x419+6*x422+8*x423+15*x424+15*x425+8*x426+6*x427+x430+x472+x475+x482+x485+x549+x554+x559+x564+x594+15*x597+8*x598+6*x599+6*x602+8*x603+15*x604+x631+6*x634+8*x635+15*x636+x660+x678-2*x691-6*x692-4*x714-4*x715-20*x717-12*x718-12*x719-20*x720-4*x722-4*x723-2*x759-6*x760-4*x762-4*x763-6*x765-2*x766-6*x889-2*x890-4*x894-4*x895-2*x899-6*x900-4*x934-4*x935-20*x937-12*x938-12*x939-20*x940-4*x942-4*x943-2*x971-6*x972-4*x974-4*x975-4*x1018-4*x1019,
15/16384-20*x9-12*x10-12*x11-20*x12-4*x14-4*x15-2*x39-6*x40-4*x42-4*x43-6*x45-2*x46-4*x138-4*x139-2*x183-6*x184-6*x249-2*x250-4*x254-4*x255-2*x259-6*x260-4*x286-4*x287-20*x289-12*x290-12*x291-20*x292-4*x294-4*x295-2*x311-6*x312-4*x318-4*x319-4*x338-4*x339+15*x349+8*x350+6*x351+6*x354+8*x355+15*x356+x359+x379+6*x382+8*x383+15*x384+15*x385+8*x386+6*x387+x394+x424+x427+x430+x437+x478+x523+x568+x589+x594+x599+x604+x626+15*x629+8*x630+6*x631+6*x634+8*x635+15*x636+x651+6*x658+8*x659+15*x660+x672+x678-20*x689-12*x690-12*x691-20*x692-4*x694-4*x695-2*x719-6*x720-4*x722-4*x723-6*x725-2*x726-4*x818-4*x819-2*x863-6*x864-6*x929-2*x930-4*x934-4*x935-2*x939-6*x940-4*x966-4*x967-20*x969-12*x970-12*x971-20*x972-4*x974-4*x975-2*x991-6*x992-4*x998-4*x999-4*x1018-4*x1019,
-2*x19-6*x20-4*x22-4*x23-6*x25-2*x26-6*x49-2*x50-4*x94-4*x95-4*x226-4*x227-20*x269-12*x270-12*x271-20*x272-6*x273-2*x274-4*x278-4*x279-2*x283-6*x284-4*x298-4*x299-20*x301-12*x302-12*x303-20*x304-4*x306-4*x307-4*x314-4*x315-4*x322-4*x323-6*x325-2*x326+x359+6*x362+8*x363+15*x364+15*x365+8*x366+6*x367+x370+x389+x396+x399+x402+x405+x434+x566+15*x609+8*x610+6*x611+x613+x618+x623+x628+x638+15*x641+8*x642+6*x643+6*x646+8*x647+15*x648+x651+6*x654+8*x655+15*x656+6*x662+8*x663+15*x664+15*x665+8*x666+6*x667+x670+x674-2*x699-6*x700-4*x702-4*x703-6*x705-2*x706-6*x729-2*x730-4*x774-4*x775-4*x906-4*x907-20*x949-12*x950-12*x951-20*x952-6*x953-2*x954-4*x958-4*x959-2*x963-6*x964-4*x978-4*x979-20*x981-12*x982-12*x983-20*x984-4*x986-4*x987-4*x994-4*x995-4*x1002-4*x1003-6*x1005-2*x1006,
-6*x65-2*x66-4*x70-4*x71-4*x110-4*x111-20*x113-12*x114-12*x115-20*x116-4*x118-4*x119-6*x125-2*x126-4*x130-4*x131-2*x135-6*x136-2*x163-6*x164-4*x166-4*x167-6*x169-2*x170-4*x178-4*x179-20*x185-12*x186-12*x187-20*x188-4*x190-4*x191-4*x230-4*x231-6*x233-2*x234+x405+x410+x450+15*x453+8*x454+6*x455+6*x458+8*x459+15*x460+x465+x470+x475+x484+x503+6*x506+8*x507+15*x508+15*x509+8*x510+6*x511+x514+x518+15*x525+8*x526+6*x527+6*x530+8*x531+15*x532+x535+x556+x559+x562+6*x570+8*x571+15*x572+15*x573+8*x574+6*x575+x578+x606+x613-6*x745-2*x746-4*x750-4*x751-4*x790-4*x791-20*x793-12*x794-12*x795-20*x796-4*x798-4*x799-6*x805-2*x806-4*x810-4*x811-2*x815-6*x816-2*x843-6*x844-4*x846-4*x847-6*x849-2*x850-4*x858-4*x859-20*x865-12*x866-12*x867-20*x868-4*x870-4*x871-4*x910-4*x911-6*x913-2*x914,
x2+x6+x16+x19+x22+x25+15*x49+8*x50+6*x51+6*x94+8*x95+15*x96+x183+6*x226+8*x227+15*x228+15*x269+8*x270+6*x271+x273+x278+x283+x288+x298+15*x301+8*x302+6*x303+6*x306+8*x307+15*x308+x311+x314+6*x322+8*x323+15*x324+15*x325+8*x326+6*x327+x330+x334-2*x359-6*x360-4*x362-4*x363-6*x365-2*x366-6*x389-2*x390-4*x434-4*x435-4*x566-4*x567-20*x609-12*x610-12*x611-20*x612-6*x641-2*x642-4*x646-4*x647-2*x651-6*x652-4*x654-4*x655-4*x662-4*x663-20*x665-12*x666-12*x667-20*x668-4*x670-4*x671-4*x674-4*x675+x682+x686+x696+x699+x702+x705+15*x729+8*x730+6*x731+6*x774+8*x775+15*x776+x863+6*x906+8*x907+15*x908+15*x949+8*x950+6*x951+x953+x958+x963+x968+x978+15*x981+8*x982+6*x983+6*x986+8*x987+15*x988+x991+x994+6*x1002+8*x1003+15*x1004+15*x1005+8*x1006+6*x1007+x1010+x1014,
-4*x22-4*x23-20*x25-12*x26-12*x27-20*x28-4*x30-4*x31-2*x59-6*x60-4*x62-4*x63-6*x65-2*x66-6*x233-2*x234-4*x238-4*x239-2*x243-6*x244-4*x266-4*x267-6*x269-2*x270-20*x273-12*x274-12*x275-20*x276-4*x278-4*x279-4*x298-4*x299-6*x301-2*x302-4*x314-4*x315+x362+15*x365+8*x366+6*x367+6*x370+8*x371+15*x372+x399+6*x402+8*x403+15*x404+15*x405+8*x406+6*x407+x410+x444+x447+x450+x453+x573+x578+x583+x588+x606+x609+15*x613+8*x614+6*x615+6*x618+8*x619+15*x620+x623+6*x638+8*x639+15*x640+15*x641+8*x642+6*x643+x646+x654+x662+x665-4*x702-4*x703-20*x705-12*x706-12*x707-20*x708-4*x710-4*x711-2*x739-6*x740-4*x742-4*x743-6*x745-2*x746-6*x913-2*x914-4*x918-4*x919-2*x923-6*x924-4*x946-4*x947-6*x949-2*x950-20*x953-12*x954-12*x955-20*x956-4*x958-4*x959-4*x978-4*x979-6*x981-2*x982-4*x994-4*x995,
-6*x25-2*x26-4*x30-4*x31-4*x62-4*x63-20*x65-12*x66-12*x67-20*x68-4*x70-4*x71-2*x107-6*x108-4*x110-4*x111-6*x113-2*x114-6*x185-2*x186-4*x190-4*x191-2*x195-6*x196-4*x230-4*x231-20*x233-12*x234-12*x235-20*x236-4*x238-4*x239-4*x266-4*x267-6*x273-2*x274+x365+x370+x402+15*x405+8*x406+6*x407+6*x410+8*x411+15*x412+x447+6*x450+8*x451+15*x452+15*x453+8*x454+6*x455+x458+x500+x503+x506+x509+x525+x530+x535+x540+x570+15*x573+8*x574+6*x575+6*x578+8*x579+15*x580+x583+6*x606+8*x607+15*x608+15*x613+8*x614+6*x615+x618+x638+x641-6*x705-2*x706-4*x710-4*x711-4*x742-4*x743-20*x745-12*x746-12*x747-20*x748-4*x750-4*x751-2*x787-6*x788-4*x790-4*x791-6*x793-2*x794-6*x865-2*x866-4*x870-4*x871-2*x875-6*x876-4*x910-4*x911-20*x913-12*x914-12*x915-20*x916-4*x918-4*x919-4*x946-4*x947-6*x953-2*x954,
x3+15*x5+8*x6+6*x7+x12+x15+x18+x21+6*x50+8*x51+15*x52+x95+x139+6*x182+8*x183+15*x184+15*x225+8*x226+6*x227+x270+x277+x282+x287+x292+x302+15*x305+8*x306+6*x307+6*x310+8*x311+15*x312+x319+x323+6*x326+8*x327+15*x328+15*x329+8*x330+6*x331+x335-6*x345-2*x346-2*x355-6*x356-4*x358-4*x359-6*x361-2*x362-4*x390-4*x391-2*x435-6*x436-4*x522-4*x523-20*x565-12*x566-12*x567-20*x568-4*x610-4*x611-6*x645-2*x646-4*x650-4*x651-2*x659-6*x660-4*x666-4*x667-20*x669-12*x670-12*x671-20*x672-2*x675-6*x676+x683+15*x685+8*x686+6*x687+x692+x695+x698+x701+6*x730+8*x731+15*x732+x775+x819+6*x862+8*x863+15*x864+15*x905+8*x906+6*x907+x950+x957+x962+x967+x972+x982+15*x985+8*x986+6*x987+6*x990+8*x991+15*x992+x999+x1003+6*x1006+8*x1007+15*x1008+15*x1009+8*x1010+6*x1011+x1015,
x35+x40+15*x73+8*x74+6*x75+6*x78+8*x79+15*x80+x83+x109+x114+x119+x123+6*x126+8*x127+15*x128+15*x129+8*x130+6*x131+x134+x162+15*x165+8*x166+6*x167+6*x170+8*x171+15*x172+x175+x179+x186+x189+x215+6*x218+8*x219+15*x220+15*x221+8*x222+6*x223+x260+x263-6*x413-2*x414-4*x418-4*x419-2*x423-6*x424-4*x466-4*x467-20*x469-12*x470-12*x471-20*x472-4*x474-4*x475-6*x505-2*x506-4*x510-4*x511-2*x515-6*x516-2*x519-6*x520-4*x526-4*x527-6*x529-2*x530-4*x558-4*x559-20*x561-12*x562-12*x563-20*x564-2*x603-6*x604+x715+x720+15*x753+8*x754+6*x755+6*x758+8*x759+15*x760+x763+x789+x794+x799+x803+6*x806+8*x807+15*x808+15*x809+8*x810+6*x811+x814+x842+15*x845+8*x846+6*x847+6*x850+8*x851+15*x852+x855+x859+x866+x869+x895+6*x898+8*x899+15*x900+15*x901+8*x902+6*x903+x940+x943,
x65+x70+x74+x79+x84+x110+15*x113+8*x114+6*x115+6*x118+8*x119+15*x120+x122+15*x125+8*x126+6*x127+6*x130+8*x131+15*x132+x135+x163+6*x166+8*x167+15*x168+15*x169+8*x170+6*x171+x174+6*x178+8*x179+15*x180+15*x185+8*x186+6*x187+x190+x216+x219+x222+x230+x233-6*x453-2*x454-4*x458-4*x459-6*x465-2*x466-4*x470-4*x471-2*x475-6*x476-4*x506-4*x507-20*x509-12*x510-12*x511-20*x512-4*x514-4*x515-4*x518-4*x519-20*x525-12*x526-12*x527-20*x528-4*x530-4*x531-2*x559-6*x560-4*x562-4*x563-4*x570-4*x571-6*x573-2*x574+x745+x750+x754+x759+x764+x790+15*x793+8*x794+6*x795+6*x798+8*x799+15*x800+x802+15*x805+8*x806+6*x807+6*x810+8*x811+15*x812+x815+x843+6*x846+8*x847+15*x848+15*x849+8*x850+6*x851+x854+6*x858+8*x859+15*x860+15*x865+8*x866+6*x867+x870+x896+x899+x902+x910+x913,
6*x10+8*x11+15*x12+x15+x35+6*x38+8*x39+15*x40+15*x41+8*x42+6*x43+x46+x80+x83+x86+x89+x139+x184+x205+x210+x215+x220+x250+15*x253+8*x254+6*x255+6*x258+8*x259+15*x260+x263+x287+6*x290+8*x291+15*x292+15*x293+8*x294+6*x295+x312+x319+15*x337+8*x338+6*x339-4*x350-4*x351-2*x355-6*x356-4*x378-4*x379-20*x381-12*x382-12*x383-20*x384-4*x386-4*x387-2*x423-6*x424-4*x426-4*x427-6*x429-2*x430-6*x593-2*x594-4*x598-4*x599-2*x603-6*x604-4*x630-4*x631-20*x633-12*x634-12*x635-20*x636-2*x659-6*x660-6*x677-2*x678+6*x690+8*x691+15*x692+x695+x715+6*x718+8*x719+15*x720+15*x721+8*x722+6*x723+x726+x760+x763+x766+x769+x819+x864+x885+x890+x895+x900+x930+15*x933+8*x934+6*x935+6*x938+8*x939+15*x940+x943+x967+6*x970+8*x971+15*x972+15*x973+8*x974+6*x975+x992+x999+15*x1017+8*x1018+6*x1019,
x12+15*x33+8*x34+6*x35+6*x38+8*x39+15*x40+x43+x75+6*x78+8*x79+15*x80+15*x81+8*x82+6*x83+x86+x128+x131+x134+x141+x157+x162+x167+x172+x210+15*x213+8*x214+6*x215+6*x218+8*x219+15*x220+x223+x255+6*x258+8*x259+15*x260+15*x261+8*x262+6*x263+x292+x295+x339-6*x373-2*x374-4*x378-4*x379-2*x383-6*x384-4*x418-4*x419-20*x421-12*x422-12*x423-20*x424-4*x426-4*x427-2*x471-6*x472-4*x474-4*x475-6*x481-2*x482-6*x553-2*x554-4*x558-4*x559-2*x563-6*x564-4*x598-4*x599-20*x601-12*x602-12*x603-20*x604-2*x635-6*x636+x692+15*x713+8*x714+6*x715+6*x718+8*x719+15*x720+x723+x755+6*x758+8*x759+15*x760+15*x761+8*x762+6*x763+x766+x808+x811+x814+x821+x837+x842+x847+x852+x890+15*x893+8*x894+6*x895+6*x898+8*x899+15*x900+x903+x935+6*x938+8*x939+15*x940+15*x941+8*x942+6*x943+x972+x975+x1019,
x7+6*x10+8*x11+15*x12+15*x13+8*x14+6*x15+x18+x40+x43+x46+x52+x53+15*x137+8*x138+6*x139+6*x182+8*x183+15*x184+x227+x245+x250+x255+x260+x282+15*x285+8*x286+6*x287+6*x290+8*x291+15*x292+x295+x307+6*x310+8*x311+15*x312+15*x317+8*x318+6*x319+x328+x331+x339-4*x350-4*x351-20*x353-12*x354-12*x355-20*x356-4*x358-4*x359-2*x383-6*x384-4*x386-4*x387-6*x393-2*x394-6*x477-2*x478-4*x522-4*x523-2*x567-6*x568-6*x625-2*x626-4*x630-4*x631-2*x635-6*x636-4*x650-4*x651-20*x657-12*x658-12*x659-20*x660-2*x671-6*x672+x687+6*x690+8*x691+15*x692+15*x693+8*x694+6*x695+x698+x720+x723+x726+x732+x733+15*x817+8*x818+6*x819+6*x862+8*x863+15*x864+x907+x925+x930+x935+x940+x962+15*x965+8*x966+6*x967+6*x970+8*x971+15*x972+x975+x987+6*x990+8*x991+15*x992+15*x997+8*x998+6*x999+x1008+x1011+x1019,
x19+6*x22+8*x23+15*x24+15*x25+8*x26+6*x27+x30+x49+x56+x59+x62+x65+x94+x226+x233+x238+x243+x248+x266+15*x269+8*x270+6*x271+15*x273+8*x274+6*x275+6*x278+8*x279+15*x280+x283+6*x298+8*x299+15*x300+15*x301+8*x302+6*x303+x306+6*x314+8*x315+15*x316+x322+x325-4*x362-4*x363-20*x365-12*x366-12*x367-20*x368-4*x370-4*x371-2*x399-6*x400-4*x402-4*x403-6*x405-2*x406-6*x609-2*x610-6*x613-2*x614-4*x618-4*x619-2*x623-6*x624-4*x638-4*x639-20*x641-12*x642-12*x643-20*x644-4*x646-4*x647-4*x654-4*x655-4*x662-4*x663-6*x665-2*x666+x699+6*x702+8*x703+15*x704+15*x705+8*x706+6*x707+x710+x729+x736+x739+x742+x745+x774+x906+x913+x918+x923+x928+x946+15*x949+8*x950+6*x951+15*x953+8*x954+6*x955+6*x958+8*x959+15*x960+x963+6*x978+8*x979+15*x980+15*x981+8*x982+6*x983+x986+6*x994+8*x995+15*x996+x1002+x1005,
x22+15*x25+8*x26+6*x27+6*x30+8*x31+15*x32+x59+6*x62+8*x63+15*x64+15*x65+8*x66+6*x67+x70+x104+x107+x110+x113+x185+x190+x195+x200+x230+15*x233+8*x234+6*x235+6*x238+8*x239+15*x240+x243+6*x266+8*x267+15*x268+x269+15*x273+8*x274+6*x275+x278+x298+x301+x314-6*x365-2*x366-4*x370-4*x371-4*x402-4*x403-20*x405-12*x406-12*x407-20*x408-4*x410-4*x411-2*x447-6*x448-4*x450-4*x451-6*x453-2*x454-6*x573-2*x574-4*x578-4*x579-2*x583-6*x584-4*x606-4*x607-20*x613-12*x614-12*x615-20*x616-4*x618-4*x619-4*x638-4*x639-6*x641-2*x642+x702+15*x705+8*x706+6*x707+6*x710+8*x711+15*x712+x739+6*x742+8*x743+15*x744+15*x745+8*x746+6*x747+x750+x784+x787+x790+x793+x865+x870+x875+x880+x910+15*x913+8*x914+6*x915+6*x918+8*x919+15*x920+x923+6*x946+8*x947+15*x948+x949+15*x953+8*x954+6*x955+x958+x978+x981+x994,
x25+x30+x62+15*x65+8*x66+6*x67+6*x70+8*x71+15*x72+x107+6*x110+8*x111+15*x112+15*x113+8*x114+6*x115+x118+x125+x130+x135+x144+x160+x163+x166+x169+x178+15*x185+8*x186+6*x187+6*x190+8*x191+15*x192+x195+6*x230+8*x231+15*x232+15*x233+8*x234+6*x235+x238+x266+x273-6*x405-2*x406-4*x410-4*x411-4*x450-4*x451-20*x453-12*x454-12*x455-20*x456-4*x458-4*x459-2*x503-6*x504-4*x506-4*x507-6*x509-2*x510-6*x525-2*x526-4*x530-4*x531-2*x535-6*x536-4*x570-4*x571-20*x573-12*x574-12*x575-20*x576-4*x578-4*x579-4*x606-4*x607-6*x613-2*x614+x705+x710+x742+15*x745+8*x746+6*x747+6*x750+8*x751+15*x752+x787+6*x790+8*x791+15*x792+15*x793+8*x794+6*x795+x798+x805+x810+x815+x824+x840+x843+x846+x849+x858+15*x865+8*x866+6*x867+6*x870+8*x871+15*x872+x875+6*x910+8*x911+15*x912+15*x913+8*x914+6*x915+x918+x946+x953,
-5877/131072-6*x41-2*x42-4*x46-4*x47-2*x55-6*x56-4*x86-4*x87-20*x89-12*x90-12*x91-20*x92-4*x98-4*x99-2*x143-6*x144-4*x146-4*x147-12*x149-4*x150-4*x154-4*x155-2*x159-6*x160-4*x202-4*x203-20*x205-12*x206-12*x207-20*x208-4*x210-4*x211-2*x247-6*x248-4*x250-4*x251-6*x253-2*x254+x381+x386+x395+x400+x426+15*x429+8*x430+6*x431+6*x438+8*x439+15*x440+x443+x483+6*x486+8*x487+15*x488+16*x489+8*x490+6*x491+2*x494+x499+x504+x536+x539+2*x542+16*x545+8*x546+6*x547+6*x550+8*x551+15*x552+x555+x587+6*x590+8*x591+15*x592+15*x593+8*x594+6*x595+x598+x624+x627+x630+x633-6*x721-2*x722-4*x726-4*x727-2*x735-6*x736-4*x766-4*x767-20*x769-12*x770-12*x771-20*x772-4*x778-4*x779-2*x823-6*x824-4*x826-4*x827-12*x829-4*x830-4*x834-4*x835-2*x839-6*x840-4*x882-4*x883-20*x885-12*x886-12*x887-20*x888-4*x890-4*x891-2*x927-6*x928-4*x930-4*x931-6*x933-2*x934,
-177/8192-6*x45-2*x46-4*x54-4*x55-2*x59-6*x60-4*x90-4*x91-20*x97-12*x98-12*x99-20*x100-4*x102-4*x103-6*x145-2*x146-2*x147-6*x148-8*x150-8*x151-6*x153-2*x154-2*x155-6*x156-4*x198-4*x199-20*x201-12*x202-12*x203-20*x204-4*x206-4*x207-2*x243-6*x244-4*x246-4*x247-6*x249-2*x250+x385+x394+x399+x404+x430+15*x437+8*x438+6*x439+6*x442+8*x443+15*x444+x447+x485+x487+7*x490+8*x491+15*x492+15*x493+8*x494+7*x495+x498+x500+x538+x540+15*x541+8*x542+7*x543+7*x546+8*x547+15*x548+x549+x551+x583+6*x586+8*x587+15*x588+15*x589+8*x590+6*x591+x594+x620+x623+x626+x629-6*x725-2*x726-4*x734-4*x735-2*x739-6*x740-4*x770-4*x771-20*x777-12*x778-12*x779-20*x780-4*x782-4*x783-6*x825-2*x826-2*x827-6*x828-8*x830-8*x831-6*x833-2*x834-2*x835-6*x836-4*x878-4*x879-20*x881-12*x882-12*x883-20*x884-4*x886-4*x887-2*x923-6*x924-4*x926-4*x927-6*x929-2*x930,
-177/8192-6*x85-2*x86-4*x90-4*x91-6*x97-2*x98-2*x99-6*x100-4*x102-4*x103-2*x107-6*x108-4*x142-4*x143-20*x145-12*x146-12*x147-20*x148-8*x150-8*x151-20*x153-12*x154-12*x155-20*x156-4*x158-4*x159-2*x195-6*x196-4*x198-4*x199-6*x201-2*x202-2*x203-6*x204-4*x206-4*x207-6*x209-2*x210+x425+x430+x437+x439+x442+x444+x447+x452+x482+15*x485+8*x486+6*x487+7*x490+8*x491+15*x492+15*x493+8*x494+7*x495+6*x498+8*x499+15*x500+x503+x535+6*x538+8*x539+15*x540+15*x541+8*x542+7*x543+7*x546+8*x547+15*x548+15*x549+8*x550+6*x551+x554+x580+x583+x586+x588+x589+x591+x594+x597-6*x765-2*x766-4*x770-4*x771-6*x777-2*x778-2*x779-6*x780-4*x782-4*x783-2*x787-6*x788-4*x822-4*x823-20*x825-12*x826-12*x827-20*x828-8*x830-8*x831-20*x833-12*x834-12*x835-20*x836-4*x838-4*x839-2*x875-6*x876-4*x878-4*x879-6*x881-2*x882-2*x883-6*x884-4*x886-4*x887-6*x889-2*x890,
-123/16384-6*x53-2*x54-4*x58-4*x59-2*x63-6*x64-4*x98-4*x99-20*x101-12*x102-12*x103-20*x104-4*x106-4*x107-6*x141-2*x142-4*x146-4*x147-4*x151-12*x152-4*x154-4*x155-6*x157-2*x158-4*x194-4*x195-20*x197-12*x198-12*x199-20*x200-4*x202-4*x203-2*x239-6*x240-4*x242-4*x243-6*x245-2*x246+x393+x398+x403+x408+x438+15*x441+8*x442+6*x443+6*x446+8*x447+15*x448+x451+x481+x486+2*x491+6*x494+8*x495+16*x496+15*x497+8*x498+6*x499+x502+x534+15*x537+8*x538+6*x539+6*x542+8*x543+16*x544+2*x547+x550+x553+x579+6*x582+8*x583+15*x584+15*x585+8*x586+6*x587+x590+x616+x619+x622+x625-6*x733-2*x734-4*x738-4*x739-2*x743-6*x744-4*x778-4*x779-20*x781-12*x782-12*x783-20*x784-4*x786-4*x787-6*x821-2*x822-4*x826-4*x827-4*x831-12*x832-4*x834-4*x835-6*x837-2*x838-4*x874-4*x875-20*x877-12*x878-12*x879-20*x880-4*x882-4*x883-2*x919-6*x920-4*x922-4*x923-6*x925-2*x926,
9/131072-6*x5-2*x6-2*x15-6*x16-4*x18-4*x19-6*x21-2*x22-4*x50-4*x51-2*x95-6*x96-4*x182-4*x183-20*x225-12*x226-12*x227-20*x228-4*x270-4*x271-6*x277-2*x278-4*x282-4*x283-2*x287-6*x288-4*x302-4*x303-20*x305-12*x306-12*x307-20*x308-4*x310-4*x311-2*x323-6*x324-4*x326-4*x327-6*x329-2*x330+x345+x355+6*x358+8*x359+15*x360+15*x361+8*x362+6*x363+x366+x388+x390+x395+x398+x401+x435+x522+15*x565+8*x566+6*x567+6*x610+8*x611+15*x612+x617+x622+x627+x632+x642+15*x645+8*x646+6*x647+6*x650+8*x651+15*x652+x655+x659+x663+6*x666+8*x667+15*x668+15*x669+8*x670+6*x671+x675-6*x685-2*x686-2*x695-6*x696-4*x698-4*x699-6*x701-2*x702-4*x730-4*x731-2*x775-6*x776-4*x862-4*x863-20*x905-12*x906-12*x907-20*x908-4*x950-4*x951-6*x957-2*x958-4*x962-4*x963-2*x967-6*x968-4*x982-4*x983-20*x985-12*x986-12*x987-20*x988-4*x990-4*x991-2*x1003-6*x1004-4*x1006-4*x1007-6*x1009-2*x1010,
9/131072-6*x73-2*x74-4*x78-4*x79-2*x83-6*x84-6*x109-2*x110-4*x114-4*x115-2*x119-6*x120-4*x126-4*x127-20*x129-12*x130-12*x131-20*x132-4*x134-4*x135-4*x162-4*x163-20*x165-12*x166-12*x167-20*x168-4*x170-4*x171-2*x179-6*x180-4*x186-4*x187-6*x189-2*x190-2*x215-6*x216-4*x218-4*x219-6*x221-2*x222+x413+x418+x423+x428+x449+x454+x459+x466+15*x469+8*x470+6*x471+6*x474+8*x475+15*x476+x483+x502+15*x505+8*x506+6*x507+6*x510+8*x511+15*x512+x515+x519+6*x526+8*x527+15*x528+15*x529+8*x530+6*x531+x534+x555+6*x558+8*x559+15*x560+15*x561+8*x562+6*x563+x571+x574+x577+x600+x603-6*x753-2*x754-4*x758-4*x759-2*x763-6*x764-6*x789-2*x790-4*x794-4*x795-2*x799-6*x800-4*x806-4*x807-20*x809-12*x810-12*x811-20*x812-4*x814-4*x815-4*x842-4*x843-20*x845-12*x846-12*x847-20*x848-4*x850-4*x851-2*x859-6*x860-4*x866-4*x867-6*x869-2*x870-2*x895-6*x896-4*x898-4*x899-6*x901-2*x902,
-405/65536-4*x10-4*x11-2*x15-6*x16-4*x38-4*x39-20*x41-12*x42-12*x43-20*x44-4*x46-4*x47-2*x83-6*x84-4*x86-4*x87-6*x89-2*x90-6*x205-2*x206-4*x210-4*x211-2*x215-6*x216-4*x250-4*x251-20*x253-12*x254-12*x255-20*x256-4*x258-4*x259-2*x287-6*x288-4*x290-4*x291-6*x293-2*x294-6*x337-2*x338+x350+x355+x360+x378+15*x381+8*x382+6*x383+6*x386+8*x387+15*x388+x395+x423+6*x426+8*x427+15*x428+15*x429+8*x430+6*x431+x438+x476+x483+x486+x489+x545+x550+x555+x560+x590+15*x593+8*x594+6*x595+6*x598+8*x599+15*x600+x603+x627+6*x630+8*x631+15*x632+15*x633+8*x634+6*x635+x652+x659+x677-4*x690-4*x691-2*x695-6*x696-4*x718-4*x719-20*x721-12*x722-12*x723-20*x724-4*x726-4*x727-2*x763-6*x764-4*x766-4*x767-6*x769-2*x770-6*x885-2*x886-4*x890-4*x891-2*x895-6*x896-4*x930-4*x931-20*x933-12*x934-12*x935-20*x936-4*x938-4*x939-2*x967-6*x968-4*x970-4*x971-6*x973-2*x974-6*x1017-2*x1018,
-165/32768-4*x10-4*x11-20*x13-12*x14-12*x15-20*x16-4*x18-4*x19-2*x43-6*x44-4*x46-4*x47-6*x53-2*x54-6*x137-2*x138-4*x182-4*x183-2*x227-6*x228-6*x245-2*x246-4*x250-4*x251-2*x255-6*x256-4*x282-4*x283-20*x285-12*x286-12*x287-20*x288-4*x290-4*x291-2*x307-6*x308-4*x310-4*x311-6*x317-2*x318+x350+15*x353+8*x354+6*x355+6*x358+8*x359+15*x360+x363+x383+6*x386+8*x387+15*x388+15*x393+8*x394+6*x395+x398+x428+x431+x438+x441+x477+x522+x567+x585+x590+x595+x600+x612+x622+15*x625+8*x626+6*x627+6*x630+8*x631+15*x632+x635+x647+6*x650+8*x651+15*x652+15*x657+8*x658+6*x659+x668+x671-4*x690-4*x691-20*x693-12*x694-12*x695-20*x696-4*x698-4*x699-2*x723-6*x724-4*x726-4*x727-6*x733-2*x734-6*x817-2*x818-4*x862-4*x863-2*x907-6*x908-6*x925-2*x926-4*x930-4*x931-2*x935-6*x936-4*x962-4*x963-20*x965-12*x966-12*x967-20*x968-4*x970-4*x971-2*x987-6*x988-4*x990-4*x991-6*x997-2*x998,
-165/32768-6*x33-2*x34-4*x38-4*x39-2*x43-6*x44-4*x78-4*x79-20*x81-12*x82-12*x83-20*x84-4*x86-4*x87-2*x131-6*x132-4*x134-4*x135-6*x141-2*x142-6*x157-2*x158-4*x162-4*x163-2*x167-6*x168-4*x210-4*x211-20*x213-12*x214-12*x215-20*x216-4*x218-4*x219-2*x255-6*x256-4*x258-4*x259-6*x261-2*x262+x373+x378+x383+x388+x418+15*x421+8*x422+6*x423+6*x426+8*x427+15*x428+x431+x471+6*x474+8*x475+15*x476+15*x481+8*x482+6*x483+x486+x497+x502+x507+x512+x528+x531+x534+x537+x550+15*x553+8*x554+6*x555+6*x558+8*x559+15*x560+x563+x595+6*x598+8*x599+15*x600+15*x601+8*x602+6*x603+x632+x635-6*x713-2*x714-4*x718-4*x719-2*x723-6*x724-4*x758-4*x759-20*x761-12*x762-12*x763-20*x764-4*x766-4*x767-2*x811-6*x812-4*x814-4*x815-6*x821-2*x822-6*x837-2*x838-4*x842-4*x843-2*x847-6*x848-4*x890-4*x891-20*x893-12*x894-12*x895-20*x896-4*x898-4*x899-2*x935-6*x936-4*x938-4*x939-6*x941-2*x942,
-9/65536-6*x21-2*x22-4*x26-4*x27-2*x31-6*x32-4*x58-4*x59-20*x61-12*x62-12*x63-20*x64-4*x66-4*x67-2*x103-6*x104-4*x106-4*x107-6*x109-2*x110-6*x189-2*x190-4*x194-4*x195-2*x199-6*x200-4*x234-4*x235-20*x237-12*x238-12*x239-20*x240-4*x242-4*x243-2*x267-6*x268-4*x274-4*x275-6*x277-2*x278+x361+x366+x371+x398+15*x401+8*x402+6*x403+6*x406+8*x407+15*x408+x411+x443+6*x446+8*x447+15*x448+15*x449+8*x450+6*x451+x454+x496+x499+x502+x505+x529+x534+x539+x544+x574+15*x577+8*x578+6*x579+6*x582+8*x583+15*x584+x587+x607+6*x614+8*x615+15*x616+15*x617+8*x618+6*x619+x622+x639+x642+x645-6*x701-2*x702-4*x706-4*x707-2*x711-6*x712-4*x738-4*x739-20*x741-12*x742-12*x743-20*x744-4*x746-4*x747-2*x783-6*x784-4*x786-4*x787-6*x789-2*x790-6*x869-2*x870-4*x874-4*x875-2*x879-6*x880-4*x914-4*x915-20*x917-12*x918-12*x919-20*x920-4*x922-4*x923-2*x947-6*x948-4*x954-4*x955-6*x957-2*x958,
9/262144-4*x18-4*x19-20*x21-12*x22-12*x23-20*x24-4*x26-4*x27-2*x55-6*x56-4*x58-4*x59-6*x61-2*x62-6*x225-2*x226-6*x237-2*x238-4*x242-4*x243-2*x247-6*x248-4*x270-4*x271-4*x274-4*x275-20*x277-12*x278-12*x279-20*x280-4*x282-4*x283-2*x299-6*x300-4*x302-4*x303-6*x305-2*x306-2*x315-6*x316+x358+15*x361+8*x362+6*x363+6*x366+8*x367+15*x368+x371+x395+6*x398+8*x399+15*x400+15*x401+8*x402+6*x403+x406+x440+x443+x446+x449+x565+x577+x582+x587+x592+x610+x614+15*x617+8*x618+6*x619+6*x622+8*x623+15*x624+x627+x639+6*x642+8*x643+15*x644+15*x645+8*x646+6*x647+x650+x655+x663+x666+x669-4*x698-4*x699-20*x701-12*x702-12*x703-20*x704-4*x706-4*x707-2*x735-6*x736-4*x738-4*x739-6*x741-2*x742-6*x905-2*x906-6*x917-2*x918-4*x922-4*x923-2*x927-6*x928-4*x950-4*x951-4*x954-4*x955-20*x957-12*x958-12*x959-20*x960-4*x962-4*x963-2*x979-6*x980-4*x982-4*x983-6*x985-2*x986-2*x995-6*x996,
9/262144-6*x61-2*x62-4*x66-4*x67-2*x71-6*x72-4*x106-4*x107-20*x109-12*x110-12*x111-20*x112-4*x114-4*x115-6*x129-2*x130-4*x134-4*x135-2*x143-6*x144-2*x159-6*x160-4*x162-4*x163-6*x165-2*x166-4*x186-4*x187-20*x189-12*x190-12*x191-20*x192-4*x194-4*x195-2*x231-6*x232-4*x234-4*x235-6*x237-2*x238+x401+x406+x411+x446+15*x449+8*x450+6*x451+6*x454+8*x455+15*x456+x459+x469+x474+x483+x488+x499+6*x502+8*x503+15*x504+15*x505+8*x506+6*x507+x510+x526+15*x529+8*x530+6*x531+6*x534+8*x535+15*x536+x539+x552+x555+x558+x561+x571+6*x574+8*x575+15*x576+15*x577+8*x578+6*x579+x582+x607+x614+x617-6*x741-2*x742-4*x746-4*x747-2*x751-6*x752-4*x786-4*x787-20*x789-12*x790-12*x791-20*x792-4*x794-4*x795-6*x809-2*x810-4*x814-4*x815-2*x823-6*x824-2*x839-6*x840-4*x842-4*x843-6*x845-2*x846-4*x866-4*x867-20*x869-12*x870-12*x871-20*x872-4*x874-4*x875-2*x911-6*x912-4*x914-4*x915-6*x917-2*x918,
-27/16384-4*x14-4*x15-20*x17-12*x18-12*x19-20*x20-4*x22-4*x23-2*x47-6*x48-4*x54-4*x55-6*x57-2*x58-6*x181-2*x182-4*x226-4*x227-6*x241-2*x242-4*x246-4*x247-2*x251-6*x252-2*x271-6*x272-4*x278-4*x279-20*x281-12*x282-12*x283-20*x284-4*x286-4*x287-2*x303-6*x304-4*x306-4*x307-6*x309-2*x310+x354+15*x357+8*x358+6*x359+6*x362+8*x363+15*x364+x367+x387+6*x394+8*x395+15*x396+15*x397+8*x398+6*x399+x402+x432+x439+x442+x445+x521+x566+x581+x586+x591+x596+x611+x618+15*x621+8*x622+6*x623+6*x626+8*x627+15*x628+x631+x643+6*x646+8*x647+15*x648+15*x649+8*x650+6*x651+x656+x658+x664+x667+x670-4*x694-4*x695-20*x697-12*x698-12*x699-20*x700-4*x702-4*x703-2*x727-6*x728-4*x734-4*x735-6*x737-2*x738-6*x861-2*x862-4*x906-4*x907-6*x921-2*x922-4*x926-4*x927-2*x931-6*x932-2*x951-6*x952-4*x958-4*x959-20*x961-12*x962-12*x963-20*x964-4*x966-4*x967-2*x983-6*x984-4*x986-4*x987-6*x989-2*x990,
-27/16384-6*x77-2*x78-4*x82-4*x83-2*x87-6*x88-6*x105-2*x106-4*x110-4*x111-2*x115-6*x116-4*x130-4*x131-20*x133-12*x134-12*x135-20*x136-4*x142-4*x143-4*x158-4*x159-20*x161-12*x162-12*x163-20*x164-4*x166-4*x167-2*x187-6*x188-4*x190-4*x191-6*x193-2*x194-2*x211-6*x212-4*x214-4*x215-6*x217-2*x218+x417+x422+x427+x432+x445+x450+x455+x460+x470+15*x473+8*x474+6*x475+6*x482+8*x483+15*x484+x487+x498+15*x501+8*x502+6*x503+6*x506+8*x507+15*x508+x511+x527+6*x530+8*x531+15*x532+15*x533+8*x534+6*x535+x538+x551+6*x554+8*x555+15*x556+15*x557+8*x558+6*x559+x562+x572+x575+x578+x581+x596+x599+x602-6*x757-2*x758-4*x762-4*x763-2*x767-6*x768-6*x785-2*x786-4*x790-4*x791-2*x795-6*x796-4*x810-4*x811-20*x813-12*x814-12*x815-20*x816-4*x822-4*x823-4*x838-4*x839-20*x841-12*x842-12*x843-20*x844-4*x846-4*x847-2*x867-6*x868-4*x870-4*x871-6*x873-2*x874-2*x891-6*x892-4*x894-4*x895-6*x897-2*x898,
339/16384-6*x37-2*x38-4*x42-4*x43-2*x47-6*x48-4*x82-4*x83-20*x85-12*x86-12*x87-20*x88-4*x90-4*x91-2*x135-6*x136-4*x142-4*x143-6*x145-2*x146-6*x153-2*x154-4*x158-4*x159-2*x163-6*x164-4*x206-4*x207-20*x209-12*x210-12*x211-20*x212-4*x214-4*x215-2*x251-6*x252-4*x254-4*x255-6*x257-2*x258+x377+x382+x387+x396+x422+15*x425+8*x426+6*x427+6*x430+8*x431+15*x432+x439+x475+6*x482+8*x483+15*x484+15*x485+8*x486+6*x487+x490+x493+x498+x503+x508+x532+x535+x538+x541+x546+15*x549+8*x550+6*x551+6*x554+8*x555+15*x556+x559+x591+6*x594+8*x595+15*x596+15*x597+8*x598+6*x599+x602+x628+x631+x634-6*x717-2*x718-4*x722-4*x723-2*x727-6*x728-4*x762-4*x763-20*x765-12*x766-12*x767-20*x768-4*x770-4*x771-2*x815-6*x816-4*x822-4*x823-6*x825-2*x826-6*x833-2*x834-4*x838-4*x839-2*x843-6*x844-4*x886-4*x887-20*x889-12*x890-12*x891-20*x892-4*x894-4*x895-2*x931-6*x932-4*x934-4*x935-6*x937-2*x938,
339/16384-6*x9-2*x10-4*x14-4*x15-2*x19-6*x20-4*x42-4*x43-20*x45-12*x46-12*x47-20*x48-4*x54-4*x55-2*x87-6*x88-4*x90-4*x91-6*x97-2*x98-6*x201-2*x202-4*x206-4*x207-2*x211-6*x212-4*x246-4*x247-20*x249-12*x250-12*x251-20*x252-4*x254-4*x255-2*x283-6*x284-4*x286-4*x287-6*x289-2*x290+x349+x354+x359+x364+x382+15*x385+8*x386+6*x387+6*x394+8*x395+15*x396+x399+x427+6*x430+8*x431+15*x432+15*x437+8*x438+6*x439+x442+x484+x487+x490+x493+x541+x546+x551+x556+x586+15*x589+8*x590+6*x591+6*x594+8*x595+15*x596+x599+x623+6*x626+8*x627+15*x628+15*x629+8*x630+6*x631+x634+x648+x651+x658-6*x689-2*x690-4*x694-4*x695-2*x699-6*x700-4*x722-4*x723-20*x725-12*x726-12*x727-20*x728-4*x734-4*x735-2*x767-6*x768-4*x770-4*x771-6*x777-2*x778-6*x881-2*x882-4*x886-4*x887-2*x891-6*x892-4*x926-4*x927-20*x929-12*x930-12*x931-20*x932-4*x934-4*x935-2*x963-6*x964-4*x966-4*x967-6*x969-2*x970,
9/8192-6*x17-2*x18-4*x22-4*x23-2*x27-6*x28-4*x54-4*x55-20*x57-12*x58-12*x59-20*x60-4*x62-4*x63-2*x99-6*x100-4*x102-4*x103-6*x105-2*x106-6*x193-2*x194-4*x198-4*x199-2*x203-6*x204-4*x238-4*x239-20*x241-12*x242-12*x243-20*x244-4*x246-4*x247-2*x275-6*x276-4*x278-4*x279-6*x281-2*x282+x357+x362+x367+x372+x394+15*x397+8*x398+6*x399+6*x402+8*x403+15*x404+x407+x439+6*x442+8*x443+15*x444+15*x445+8*x446+6*x447+x450+x492+x495+x498+x501+x533+x538+x543+x548+x578+15*x581+8*x582+6*x583+6*x586+8*x587+15*x588+x591+x615+6*x618+8*x619+15*x620+15*x621+8*x622+6*x623+x626+x640+x643+x646+x649-6*x697-2*x698-4*x702-4*x703-2*x707-6*x708-4*x734-4*x735-20*x737-12*x738-12*x739-20*x740-4*x742-4*x743-2*x779-6*x780-4*x782-4*x783-6*x785-2*x786-6*x873-2*x874-4*x878-4*x879-2*x883-6*x884-4*x918-4*x919-20*x921-12*x922-12*x923-20*x924-4*x926-4*x927-2*x955-6*x956-4*x958-4*x959-6*x961-2*x962,
9/8192-6*x57-2*x58-4*x62-4*x63-2*x67-6*x68-4*x102-4*x103-20*x105-12*x106-12*x107-20*x108-4*x110-4*x111-6*x133-2*x134-4*x142-4*x143-2*x147-6*x148-2*x155-6*x156-4*x158-4*x159-6*x161-2*x162-4*x190-4*x191-20*x193-12*x194-12*x195-20*x196-4*x198-4*x199-2*x235-6*x236-4*x238-4*x239-6*x241-2*x242+x397+x402+x407+x412+x442+15*x445+8*x446+6*x447+6*x450+8*x451+15*x452+x455+x473+x482+x487+x492+x495+6*x498+8*x499+15*x500+15*x501+8*x502+6*x503+x506+x530+15*x533+8*x534+6*x535+6*x538+8*x539+15*x540+x543+x548+x551+x554+x557+x575+6*x578+8*x579+15*x580+15*x581+8*x582+6*x583+x586+x608+x615+x618+x621-6*x737-2*x738-4*x742-4*x743-2*x747-6*x748-4*x782-4*x783-20*x785-12*x786-12*x787-20*x788-4*x790-4*x791-6*x813-2*x814-4*x822-4*x823-2*x827-6*x828-2*x835-6*x836-4*x838-4*x839-6*x841-2*x842-4*x870-4*x871-20*x873-12*x874-12*x875-20*x876-4*x878-4*x879-2*x915-6*x916-4*x918-4*x919-6*x921-2*x922,
579/65536-6*x13-2*x14-4*x18-4*x19-2*x23-6*x24-4*x46-4*x47-20*x53-12*x54-12*x55-20*x56-4*x58-4*x59-2*x91-6*x92-4*x98-4*x99-6*x101-2*x102-6*x197-2*x198-4*x202-4*x203-2*x207-6*x208-4*x242-4*x243-20*x245-12*x246-12*x247-20*x248-4*x250-4*x251-2*x279-6*x280-4*x282-4*x283-6*x285-2*x286+x353+x358+x363+x368+x386+15*x393+8*x394+6*x395+6*x398+8*x399+15*x400+x403+x431+6*x438+8*x439+15*x440+15*x441+8*x442+6*x443+x446+x488+x491+x494+x497+x537+x542+x547+x552+x582+15*x585+8*x586+6*x587+6*x590+8*x591+15*x592+x595+x619+6*x622+8*x623+15*x624+15*x625+8*x626+6*x627+x630+x644+x647+x650+x657-6*x693-2*x694-4*x698-4*x699-2*x703-6*x704-4*x726-4*x727-20*x733-12*x734-12*x735-20*x736-4*x738-4*x739-2*x771-6*x772-4*x778-4*x779-6*x781-2*x782-6*x877-2*x878-4*x882-4*x883-2*x887-6*x888-4*x922-4*x923-20*x925-12*x926-12*x927-20*x928-4*x930-4*x931-2*x959-6*x960-4*x962-4*x963-6*x965-2*x966,
579/65536-6*x81-2*x82-4*x86-4*x87-2*x91-6*x92-6*x101-2*x102-4*x106-4*x107-2*x111-6*x112-4*x134-4*x135-20*x141-12*x142-12*x143-20*x144-4*x146-4*x147-4*x154-4*x155-20*x157-12*x158-12*x159-20*x160-4*x162-4*x163-2*x191-6*x192-4*x194-4*x195-6*x197-2*x198-2*x207-6*x208-4*x210-4*x211-6*x213-2*x214+x421+x426+x431+x440+x441+x446+x451+x456+x474+15*x481+8*x482+6*x483+6*x486+8*x487+15*x488+x491+x494+15*x497+8*x498+6*x499+6*x502+8*x503+15*x504+x507+x531+6*x534+8*x535+15*x536+15*x537+8*x538+6*x539+x542+x547+6*x550+8*x551+15*x552+15*x553+8*x554+6*x555+x558+x576+x579+x582+x585+x592+x595+x598+x601-6*x761-2*x762-4*x766-4*x767-2*x771-6*x772-6*x781-2*x782-4*x786-4*x787-2*x791-6*x792-4*x814-4*x815-20*x821-12*x822-12*x823-20*x824-4*x826-4*x827-4*x834-4*x835-20*x837-12*x838-12*x839-20*x840-4*x842-4*x843-2*x871-6*x872-4*x874-4*x875-6*x877-2*x878-2*x887-6*x888-4*x890-4*x891-6*x893-2*x894,
x11+x16+x34+15*x37+8*x38+6*x39+6*x42+8*x43+15*x44+x47+x79+6*x82+8*x83+15*x84+15*x85+8*x86+6*x87+x90+x132+x135+x142+x145+x153+x158+x163+x168+x206+15*x209+8*x210+6*x211+6*x214+8*x215+15*x216+x219+x251+6*x254+8*x255+15*x256+15*x257+8*x258+6*x259+x262+x288+x291+x294+x338-6*x377-2*x378-4*x382-4*x383-2*x387-6*x388-4*x422-4*x423-20*x425-12*x426-12*x427-20*x428-4*x430-4*x431-2*x475-6*x476-4*x482-4*x483-6*x485-2*x486-6*x549-2*x550-4*x554-4*x555-2*x559-6*x560-4*x594-4*x595-20*x597-12*x598-12*x599-20*x600-4*x602-4*x603-2*x631-6*x632-4*x634-4*x635+x691+x696+x714+15*x717+8*x718+6*x719+6*x722+8*x723+15*x724+x727+x759+6*x762+8*x763+15*x764+15*x765+8*x766+6*x767+x770+x812+x815+x822+x825+x833+x838+x843+x848+x886+15*x889+8*x890+6*x891+6*x894+8*x895+15*x896+x899+x931+6*x934+8*x935+15*x936+15*x937+8*x938+6*x939+x942+x968+x971+x974+x1018,
x34+x39+x44+x74+15*x77+8*x78+6*x79+6*x82+8*x83+15*x84+x87+x105+x110+x115+x120+x127+6*x130+8*x131+15*x132+15*x133+8*x134+6*x135+x142+x158+15*x161+8*x162+6*x163+6*x166+8*x167+15*x168+x171+x180+x187+x190+x193+x211+6*x214+8*x215+15*x216+15*x217+8*x218+6*x219+x222+x256+x259+x262-6*x417-2*x418-4*x422-4*x423-2*x427-6*x428-4*x470-4*x471-20*x473-12*x474-12*x475-20*x476-4*x482-4*x483-6*x501-2*x502-4*x506-4*x507-2*x511-6*x512-2*x527-6*x528-4*x530-4*x531-6*x533-2*x534-4*x554-4*x555-20*x557-12*x558-12*x559-20*x560-4*x562-4*x563-2*x599-6*x600-4*x602-4*x603+x714+x719+x724+x754+15*x757+8*x758+6*x759+6*x762+8*x763+15*x764+x767+x785+x790+x795+x800+x807+6*x810+8*x811+15*x812+15*x813+8*x814+6*x815+x822+x838+15*x841+8*x842+6*x843+6*x846+8*x847+15*x848+x851+x860+x867+x870+x873+x891+6*x894+8*x895+15*x896+15*x897+8*x898+6*x899+x902+x936+x939+x942,
x6+x11+6*x14+8*x15+15*x16+15*x17+8*x18+6*x19+x22+x44+x47+x51+x54+x57+x96+x138+15*x181+8*x182+6*x183+6*x226+8*x227+15*x228+x241+x246+x251+x256+x271+x278+15*x281+8*x282+6*x283+6*x286+8*x287+15*x288+x291+x303+6*x306+8*x307+15*x308+15*x309+8*x310+6*x311+x318+x324+x327+x330-4*x354-4*x355-20*x357-12*x358-12*x359-20*x360-4*x362-4*x363-2*x387-6*x388-4*x394-4*x395-6*x397-2*x398-6*x521-2*x522-4*x566-4*x567-2*x611-6*x612-6*x621-2*x622-4*x626-4*x627-2*x631-6*x632-4*x646-4*x647-20*x649-12*x650-12*x651-20*x652-4*x658-4*x659-2*x667-6*x668-4*x670-4*x671+x686+x691+6*x694+8*x695+15*x696+15*x697+8*x698+6*x699+x702+x724+x727+x731+x734+x737+x776+x818+15*x861+8*x862+6*x863+6*x906+8*x907+15*x908+x921+x926+x931+x936+x951+x958+15*x961+8*x962+6*x963+6*x966+8*x967+15*x968+x971+x983+6*x986+8*x987+15*x988+15*x989+8*x990+6*x991+x998+x1004+x1007+x1010,
15*x9+8*x10+6*x11+6*x14+8*x15+15*x16+x19+x39+6*x42+8*x43+15*x44+15*x45+8*x46+6*x47+x54+x84+x87+x90+x97+x138+x183+x201+x206+x211+x216+x228+x246+15*x249+8*x250+6*x251+6*x254+8*x255+15*x256+x259+x283+6*x286+8*x287+15*x288+15*x289+8*x290+6*x291+x294+x308+x311+x318+x338-6*x349-2*x350-4*x354-4*x355-2*x359-6*x360-4*x382-4*x383-20*x385-12*x386-12*x387-20*x388-4*x394-4*x395-2*x427-6*x428-4*x430-4*x431-6*x437-2*x438-6*x589-2*x590-4*x594-4*x595-2*x599-6*x600-4*x626-4*x627-20*x629-12*x630-12*x631-20*x632-4*x634-4*x635-2*x651-6*x652-4*x658-4*x659+15*x689+8*x690+6*x691+6*x694+8*x695+15*x696+x699+x719+6*x722+8*x723+15*x724+15*x725+8*x726+6*x727+x734+x764+x767+x770+x777+x818+x863+x881+x886+x891+x896+x908+x926+15*x929+8*x930+6*x931+6*x934+8*x935+15*x936+x939+x963+6*x966+8*x967+15*x968+15*x969+8*x970+6*x971+x974+x988+x991+x998+x1018,
x18+15*x21+8*x22+6*x23+6*x26+8*x27+15*x28+x31+x55+6*x58+8*x59+15*x60+15*x61+8*x62+6*x63+x66+x100+x103+x106+x109+x189+x194+x199+x204+x225+x234+15*x237+8*x238+6*x239+6*x242+8*x243+15*x244+x247+x267+x270+6*x274+8*x275+15*x276+15*x277+8*x278+6*x279+x282+x299+x302+x305+x315-6*x361-2*x362-4*x366-4*x367-2*x371-6*x372-4*x398-4*x399-20*x401-12*x402-12*x403-20*x404-4*x406-4*x407-2*x443-6*x444-4*x446-4*x447-6*x449-2*x450-6*x577-2*x578-4*x582-4*x583-2*x587-6*x588-4*x614-4*x615-20*x617-12*x618-12*x619-20*x620-4*x622-4*x623-2*x639-6*x640-4*x642-4*x643-6*x645-2*x646+x698+15*x701+8*x702+6*x703+6*x706+8*x707+15*x708+x711+x735+6*x738+8*x739+15*x740+15*x741+8*x742+6*x743+x746+x780+x783+x786+x789+x869+x874+x879+x884+x905+x914+15*x917+8*x918+6*x919+6*x922+8*x923+15*x924+x927+x947+x950+6*x954+8*x955+15*x956+15*x957+8*x958+6*x959+x962+x979+x982+x985+x995,
x21+x26+x31+x58+15*x61+8*x62+6*x63+6*x66+8*x67+15*x68+x71+x103+6*x106+8*x107+15*x108+15*x109+8*x110+6*x111+x114+x129+x134+x143+x148+x156+x159+x162+x165+x186+15*x189+8*x190+6*x191+6*x194+8*x195+15*x196+x199+x231+6*x234+8*x235+15*x236+15*x237+8*x238+6*x239+x242+x267+x274+x277-6*x401-2*x402-4*x406-4*x407-2*x411-6*x412-4*x446-4*x447-20*x449-12*x450-12*x451-20*x452-4*x454-4*x455-2*x499-6*x500-4*x502-4*x503-6*x505-2*x506-6*x529-2*x530-4*x534-4*x535-2*x539-6*x540-4*x574-4*x575-20*x577-12*x578-12*x579-20*x580-4*x582-4*x583-2*x607-6*x608-4*x614-4*x615-6*x617-2*x618+x701+x706+x711+x738+15*x741+8*x742+6*x743+6*x746+8*x747+15*x748+x751+x783+6*x786+8*x787+15*x788+15*x789+8*x790+6*x791+x794+x809+x814+x823+x828+x836+x839+x842+x845+x866+15*x869+8*x870+6*x871+6*x874+8*x875+15*x876+x879+x911+6*x914+8*x915+15*x916+15*x917+8*x918+6*x919+x922+x947+x954+x957,
x5+x15+6*x18+8*x19+15*x20+15*x21+8*x22+6*x23+x26+x48+x50+x55+x58+x61+x95+x182+15*x225+8*x226+6*x227+x237+x242+x247+x252+6*x270+8*x271+15*x272+x274+15*x277+8*x278+6*x279+6*x282+8*x283+15*x284+x287+x299+6*x302+8*x303+15*x304+15*x305+8*x306+6*x307+x310+x315+x323+x326+x329-4*x358-4*x359-20*x361-12*x362-12*x363-20*x364-4*x366-4*x367-2*x395-6*x396-4*x398-4*x399-6*x401-2*x402-6*x565-2*x566-4*x610-4*x611-6*x617-2*x618-4*x622-4*x623-2*x627-6*x628-4*x642-4*x643-20*x645-12*x646-12*x647-20*x648-4*x650-4*x651-2*x655-6*x656-2*x663-6*x664-4*x666-4*x667-6*x669-2*x670+x685+x695+6*x698+8*x699+15*x700+15*x701+8*x702+6*x703+x706+x728+x730+x735+x738+x741+x775+x862+15*x905+8*x906+6*x907+x917+x922+x927+x932+6*x950+8*x951+15*x952+x954+15*x957+8*x958+6*x959+6*x962+8*x963+15*x964+x967+x979+6*x982+8*x983+15*x984+15*x985+8*x986+6*x987+x990+x995+x1003+x1006+x1009,
x61+x66+x71+x73+x78+x83+x88+x106+15*x109+8*x110+6*x111+6*x114+8*x115+15*x116+x119+x126+15*x129+8*x130+6*x131+6*x134+8*x135+15*x136+x143+x159+6*x162+8*x163+15*x164+15*x165+8*x166+6*x167+x170+x179+6*x186+8*x187+15*x188+15*x189+8*x190+6*x191+x194+x212+x215+x218+x221+x231+x234+x237-6*x449-2*x450-4*x454-4*x455-2*x459-6*x460-6*x469-2*x470-4*x474-4*x475-2*x483-6*x484-4*x502-4*x503-20*x505-12*x506-12*x507-20*x508-4*x510-4*x511-4*x526-4*x527-20*x529-12*x530-12*x531-20*x532-4*x534-4*x535-2*x555-6*x556-4*x558-4*x559-6*x561-2*x562-2*x571-6*x572-4*x574-4*x575-6*x577-2*x578+x741+x746+x751+x753+x758+x763+x768+x786+15*x789+8*x790+6*x791+6*x794+8*x795+15*x796+x799+x806+15*x809+8*x810+6*x811+6*x814+8*x815+15*x816+x823+x839+6*x842+8*x843+15*x844+15*x845+8*x846+6*x847+x850+x859+6*x866+8*x867+15*x868+15*x869+8*x870+6*x871+x874+x892+x895+x898+x901+x911+x914+x917,
x17+x22+x27+x32+x54+15*x57+8*x58+6*x59+6*x62+8*x63+15*x64+x67+x99+6*x102+8*x103+15*x104+15*x105+8*x106+6*x107+x110+x133+x142+x147+2*x152+x155+x158+x161+x190+15*x193+8*x194+6*x195+6*x198+8*x199+15*x200+x203+x235+6*x238+8*x239+15*x240+15*x241+8*x242+6*x243+x246+x268+x275+x278+x281-6*x397-2*x398-4*x402-4*x403-2*x407-6*x408-4*x442-4*x443-20*x445-12*x446-12*x447-20*x448-4*x450-4*x451-2*x495-6*x496-4*x498-4*x499-6*x501-2*x502-6*x533-2*x534-4*x538-4*x539-2*x543-6*x544-4*x578-4*x579-20*x581-12*x582-12*x583-20*x584-4*x586-4*x587-2*x615-6*x616-4*x618-4*x619-6*x621-2*x622+x697+x702+x707+x712+x734+15*x737+8*x738+6*x739+6*x742+8*x743+15*x744+x747+x779+6*x782+8*x783+15*x784+15*x785+8*x786+6*x787+x790+x813+x822+x827+2*x832+x835+x838+x841+x870+15*x873+8*x874+6*x875+6*x878+8*x879+15*x880+x883+x915+6*x918+8*x919+15*x920+15*x921+8*x922+6*x923+x926+x948+x955+x958+x961,
-1/256+x10+x15+x20+x38+15*x41+8*x42+6*x43+6*x46+8*x47+15*x48+x55+x83+6*x86+8*x87+15*x88+15*x89+8*x90+6*x91+x98+x136+x143+x146+2*x149+x154+x159+x164+x202+15*x205+8*x206+6*x207+6*x210+8*x211+15*x212+x215+x247+6*x250+8*x251+15*x252+15*x253+8*x254+6*x255+x258+x284+x287+x290+x293+x337-6*x381-2*x382-4*x386-4*x387-2*x395-6*x396-4*x426-4*x427-20*x429-12*x430-12*x431-20*x432-4*x438-4*x439-2*x483-6*x484-4*x486-4*x487-6*x489-2*x490-6*x545-2*x546-4*x550-4*x551-2*x555-6*x556-4*x590-4*x591-20*x593-12*x594-12*x595-20*x596-4*x598-4*x599-2*x627-6*x628-4*x630-4*x631-6*x633-2*x634+x690+x695+x700+x718+15*x721+8*x722+6*x723+6*x726+8*x727+15*x728+x735+x763+6*x766+8*x767+15*x768+15*x769+8*x770+6*x771+x778+x816+x823+x826+2*x829+x834+x839+x844+x882+15*x885+8*x886+6*x887+6*x890+8*x891+15*x892+x895+x927+6*x930+8*x931+15*x932+15*x933+8*x934+6*x935+x938+x964+x967+x970+x973+x1017,
3/64+x37+x42+x47+x56+x82+15*x85+8*x86+6*x87+6*x90+8*x91+15*x92+x97+x99+x102+x107+x112+x135+6*x142+8*x143+15*x144+15*x145+8*x146+6*x147+2*x150+15*x153+8*x154+6*x155+6*x158+8*x159+15*x160+x163+x192+x195+x198+x201+x203+6*x206+8*x207+15*x208+15*x209+8*x210+6*x211+x214+x248+x251+x254+x257-6*x425-2*x426-4*x430-4*x431-2*x439-6*x440-4*x482-4*x483-20*x485-12*x486-12*x487-20*x488-4*x490-4*x491-6*x493-2*x494-4*x498-4*x499-2*x503-6*x504-2*x535-6*x536-4*x538-4*x539-6*x541-2*x542-4*x546-4*x547-20*x549-12*x550-12*x551-20*x552-4*x554-4*x555-2*x591-6*x592-4*x594-4*x595-6*x597-2*x598+x717+x722+x727+x736+x762+15*x765+8*x766+6*x767+6*x770+8*x771+15*x772+x777+x779+x782+x787+x792+x815+6*x822+8*x823+15*x824+15*x825+8*x826+6*x827+2*x830+15*x833+8*x834+6*x835+6*x838+8*x839+15*x840+x843+x872+x875+x878+x881+x883+6*x886+8*x887+15*x888+15*x889+8*x890+6*x891+x894+x928+x931+x934+x937,
3/64+x9+x14+x19+x24+x42+15*x45+8*x46+6*x47+6*x54+8*x55+15*x56+x59+x87+6*x90+8*x91+15*x92+15*x97+8*x98+6*x99+x102+x144+x145+x147+2*x150+x153+x155+x160+x198+15*x201+8*x202+6*x203+6*x206+8*x207+15*x208+x211+x243+6*x246+8*x247+15*x248+15*x249+8*x250+6*x251+x254+x280+x283+x286+x289-6*x385-2*x386-4*x394-4*x395-2*x399-6*x400-4*x430-4*x431-20*x437-12*x438-12*x439-20*x440-4*x442-4*x443-2*x487-6*x488-4*x490-4*x491-6*x493-2*x494-6*x541-2*x542-4*x546-4*x547-2*x551-6*x552-4*x586-4*x587-20*x589-12*x590-12*x591-20*x592-4*x594-4*x595-2*x623-6*x624-4*x626-4*x627-6*x629-2*x630+x689+x694+x699+x704+x722+15*x725+8*x726+6*x727+6*x734+8*x735+15*x736+x739+x767+6*x770+8*x771+15*x772+15*x777+8*x778+6*x779+x782+x824+x825+x827+2*x830+x833+x835+x840+x878+15*x881+8*x882+6*x883+6*x886+8*x887+15*x888+x891+x923+6*x926+8*x927+15*x928+15*x929+8*x930+6*x931+x934+x960+x963+x966+x969,
3/512+x13+x18+x23+x28+x46+15*x53+8*x54+6*x55+6*x58+8*x59+15*x60+x63+x91+6*x98+8*x99+15*x100+15*x101+8*x102+6*x103+x106+x141+x146+x148+2*x151+x154+x156+x157+x194+15*x197+8*x198+6*x199+6*x202+8*x203+15*x204+x207+x239+6*x242+8*x243+15*x244+15*x245+8*x246+6*x247+x250+x276+x279+x282+x285-6*x393-2*x394-4*x398-4*x399-2*x403-6*x404-4*x438-4*x439-20*x441-12*x442-12*x443-20*x444-4*x446-4*x447-2*x491-6*x492-4*x494-4*x495-6*x497-2*x498-6*x537-2*x538-4*x542-4*x543-2*x547-6*x548-4*x582-4*x583-20*x585-12*x586-12*x587-20*x588-4*x590-4*x591-2*x619-6*x620-4*x622-4*x623-6*x625-2*x626+x693+x698+x703+x708+x726+15*x733+8*x734+6*x735+6*x738+8*x739+15*x740+x743+x771+6*x778+8*x779+15*x780+15*x781+8*x782+6*x783+x786+x821+x826+x828+2*x831+x834+x836+x837+x874+15*x877+8*x878+6*x879+6*x882+8*x883+15*x884+x887+x919+6*x922+8*x923+15*x924+15*x925+8*x926+6*x927+x930+x956+x959+x962+x965,
3/512+x53+x58+x63+x68+x81+x86+x91+x98+x100+15*x101+8*x102+6*x103+6*x106+8*x107+15*x108+x111+x134+15*x141+8*x142+6*x143+6*x146+8*x147+15*x148+2*x151+6*x154+8*x155+15*x156+15*x157+8*x158+6*x159+x162+x191+6*x194+8*x195+15*x196+15*x197+8*x198+6*x199+x202+x204+x207+x210+x213+x236+x239+x242+x245-6*x441-2*x442-4*x446-4*x447-2*x451-6*x452-6*x481-2*x482-4*x486-4*x487-2*x491-6*x492-4*x494-4*x495-20*x497-12*x498-12*x499-20*x500-4*x502-4*x503-4*x534-4*x535-20*x537-12*x538-12*x539-20*x540-4*x542-4*x543-2*x547-6*x548-4*x550-4*x551-6*x553-2*x554-2*x579-6*x580-4*x582-4*x583-6*x585-2*x586+x733+x738+x743+x748+x761+x766+x771+x778+x780+15*x781+8*x782+6*x783+6*x786+8*x787+15*x788+x791+x814+15*x821+8*x822+6*x823+6*x826+8*x827+15*x828+2*x831+6*x834+8*x835+15*x836+15*x837+8*x838+6*x839+x842+x871+6*x874+8*x875+15*x876+15*x877+8*x878+6*x879+x882+x884+x887+x890+x893+x916+x919+x922+x925,
x14+15*x17+8*x18+6*x19+6*x22+8*x23+15*x24+x27+x47+6*x54+8*x55+15*x56+15*x57+8*x58+6*x59+x62+x92+x99+x102+x105+x181+x193+x198+x203+x208+x226+x238+15*x241+8*x242+6*x243+6*x246+8*x247+15*x248+x251+x271+x275+6*x278+8*x279+15*x280+15*x281+8*x282+6*x283+x286+x300+x303+x306+x309+x316-6*x357-2*x358-4*x362-4*x363-2*x367-6*x368-4*x394-4*x395-20*x397-12*x398-12*x399-20*x400-4*x402-4*x403-2*x439-6*x440-4*x442-4*x443-6*x445-2*x446-6*x581-2*x582-4*x586-4*x587-2*x591-6*x592-4*x618-4*x619-20*x621-12*x622-12*x623-20*x624-4*x626-4*x627-2*x643-6*x644-4*x646-4*x647-6*x649-2*x650+x694+15*x697+8*x698+6*x699+6*x702+8*x703+15*x704+x707+x727+6*x734+8*x735+15*x736+15*x737+8*x738+6*x739+x742+x772+x779+x782+x785+x861+x873+x878+x883+x888+x906+x918+15*x921+8*x922+6*x923+6*x926+8*x927+15*x928+x931+x951+x955+6*x958+8*x959+15*x960+15*x961+8*x962+6*x963+x966+x980+x983+x986+x989+x996,
x57+x62+x67+x72+x77+x82+x87+x92+x102+15*x105+8*x106+6*x107+6*x110+8*x111+15*x112+x115+x130+15*x133+8*x134+6*x135+6*x142+8*x143+15*x144+x147+x155+6*x158+8*x159+15*x160+15*x161+8*x162+6*x163+x166+x187+6*x190+8*x191+15*x192+15*x193+8*x194+6*x195+x198+x208+x211+x214+x217+x232+x235+x238+x241-6*x445-2*x446-4*x450-4*x451-2*x455-6*x456-6*x473-2*x474-4*x482-4*x483-2*x487-6*x488-4*x498-4*x499-20*x501-12*x502-12*x503-20*x504-4*x506-4*x507-4*x530-4*x531-20*x533-12*x534-12*x535-20*x536-4*x538-4*x539-2*x551-6*x552-4*x554-4*x555-6*x557-2*x558-2*x575-6*x576-4*x578-4*x579-6*x581-2*x582+x737+x742+x747+x752+x757+x762+x767+x772+x782+15*x785+8*x786+6*x787+6*x790+8*x791+15*x792+x795+x810+15*x813+8*x814+6*x815+6*x822+8*x823+15*x824+x827+x835+6*x838+8*x839+15*x840+15*x841+8*x842+6*x843+x846+x867+6*x870+8*x871+15*x872+15*x873+8*x874+6*x875+x878+x888+x891+x894+x897+x912+x915+x918+x921,
-3/512+x10+15*x13+8*x14+6*x15+6*x18+8*x19+15*x20+x23+x43+6*x46+8*x47+15*x48+15*x53+8*x54+6*x55+x58+x88+x91+x98+x101+x137+x182+x197+x202+x207+x212+x227+x242+15*x245+8*x246+6*x247+6*x250+8*x251+15*x252+x255+x272+x279+6*x282+8*x283+15*x284+15*x285+8*x286+6*x287+x290+x304+x307+x310+x317-6*x353-2*x354-4*x358-4*x359-2*x363-6*x364-4*x386-4*x387-20*x393-12*x394-12*x395-20*x396-4*x398-4*x399-2*x431-6*x432-4*x438-4*x439-6*x441-2*x442-6*x585-2*x586-4*x590-4*x591-2*x595-6*x596-4*x622-4*x623-20*x625-12*x626-12*x627-20*x628-4*x630-4*x631-2*x647-6*x648-4*x650-4*x651-6*x657-2*x658+x690+15*x693+8*x694+6*x695+6*x698+8*x699+15*x700+x703+x723+6*x726+8*x727+15*x728+15*x733+8*x734+6*x735+x738+x768+x771+x778+x781+x817+x862+x877+x882+x887+x892+x907+x922+15*x925+8*x926+6*x927+6*x930+8*x931+15*x932+x935+x952+x959+6*x962+8*x963+15*x964+15*x965+8*x966+6*x967+x970+x984+x987+x990+x997,
-3/512+x33+x38+x43+x48+x78+15*x81+8*x82+6*x83+6*x86+8*x87+15*x88+x91+x101+x106+x111+x116+x131+6*x134+8*x135+15*x136+15*x141+8*x142+6*x143+x146+x154+15*x157+8*x158+6*x159+6*x162+8*x163+15*x164+x167+x188+x191+x194+x197+x207+6*x210+8*x211+15*x212+15*x213+8*x214+6*x215+x218+x252+x255+x258+x261-6*x421-2*x422-4*x426-4*x427-2*x431-6*x432-4*x474-4*x475-20*x481-12*x482-12*x483-20*x484-4*x486-4*x487-6*x497-2*x498-4*x502-4*x503-2*x507-6*x508-2*x531-6*x532-4*x534-4*x535-6*x537-2*x538-4*x550-4*x551-20*x553-12*x554-12*x555-20*x556-4*x558-4*x559-2*x595-6*x596-4*x598-4*x599-6*x601-2*x602+x713+x718+x723+x728+x758+15*x761+8*x762+6*x763+6*x766+8*x767+15*x768+x771+x781+x786+x791+x796+x811+6*x814+8*x815+15*x816+15*x821+8*x822+6*x823+x826+x834+15*x837+8*x838+6*x839+6*x842+8*x843+15*x844+x847+x868+x871+x874+x877+x887+6*x890+8*x891+15*x892+15*x893+8*x894+6*x895+x898+x932+x935+x938+x941];