P[12(0,P[12(0,4521676001100946984)(1,-2618601508552753017)(2,3846148741401374542)(3,2285317242445044506)(4,-5367500448498160576)(5,-3905930317140411527)(6,6498403974655295768)(7,-2466689111442478955)(8,6596978235425018235)(9,-6793108644073530189)(10,-8190095515100737581)(11,6306620082960649158)(12,843989688495201395)])(1,P[11(0,-6672732445472960655)(1,-6838700820931789439)(2,1733213836929640403)(3,-6865312528679056020)(4,-5762446097643017189)(5,-8674518529171846890)(6,-2639504856276710116)(7,1031155754961632060)(8,-544338170465905211)(9,8299258591442726308)(10,4844505054736350925)(11,8268466538343968391)])(2,P[10(0,3877227991160121849)(1,2020787166885370832)(2,-2213390361139151480)(3,-2307641182904411214)(4,4448742583547350003)(5,4023263858046429891)(6,4115141687973518957)(7,3782507025865943396)(8,7991639129385973789)(9,-1862083017799719959)(10,-4936262563535804945)])(3,P[9(0,7336138195346514561)(1,5227508928476328903)(2,-2742855677792674896)(3,1733047896865105456)(4,-3869728584694990395)(5,4683436934579699717)(6,3395275687779849068)(7,4590817566074644645)(8,4683743954567941522)(9,5962042276246381390)])(4,P[8(0,133919600335700794)(1,-4808647037741282456)(2,1286090175625363929)(3,-3732946878005162144)(4,7121640070643348523)(5,2969898968352673961)(6,-1506812322807630453)(7,-3007140074441939826)(8,-5589744451161640173)])(5,P[7(0,-4435291794321198092)(1,5476462823855624142)(2,-2988309914893084728)(3,-7078590388724365976)(4,5909207749724930329)(5,2031218044044985644)(6,-8290967170025352114)(7,-7524196014969932684)])(6,P[6(0,-2860322614908779812)(1,-7622706791102425253)(2,-5872236705261246532)(3,5183070782097636823)(4,-8808835547895884117)(5,-4175755566522623631)(6,-5781870766530081422)])(7,P[5(0,3216157227824752147)(1,6103367196570265072)(2,7854869763297945442)(3,741628058513846724)(4,262022365596423717)(5,-2381259752215583213)])(8,P[4(0,-9050549730181245657)(1,3029717698238005792)(2,-2985046951277797488)(3,7963889444207121881)(4,-3380824479373189145)])(9,P[3(0,3491458142440710650)(1,-3344978432631964002)(2,-5984459279267479912)(3,6509412968732495154)])(10,P[2(0,8432747391488244272)(1,-109553956694572847)(2,3941196284488985925)])(11,P[1(0,-159329601887883166)(1,6288953405057898802)])(12,P[0(0,2991117716289924857)])]
2991117716289924857*y^12 + (6288953405057898802*x + (-159329601887883166))*y^11 + (3941196284488985925*x^2 + (-109553956694572847)*x + 8432747391488244272)*y^10 + (6509412968732495154*x^3 + (-5984459279267479912)*x^2 + (-3344978432631964002)*x + 3491458142440710650)*y^9 + ((-3380824479373189145)*x^4 + 7963889444207121881*x^3 + (-2985046951277797488)*x^2 + 3029717698238005792*x + (-9050549730181245657))*y^8 + ((-2381259752215583213)*x^5 + 262022365596423717*x^4 + 741628058513846724*x^3 + 7854869763297945442*x^2 + 6103367196570265072*x + 3216157227824752147)*y^7 + ((-5781870766530081422)*x^6 + (-4175755566522623631)*x^5 + (-8808835547895884117)*x^4 + 5183070782097636823*x^3 + (-5872236705261246532)*x^2 + (-7622706791102425253)*x + (-2860322614908779812))*y^6 + ((-7524196014969932684)*x^7 + (-8290967170025352114)*x^6 + 2031218044044985644*x^5 + 5909207749724930329*x^4 + (-7078590388724365976)*x^3 + (-2988309914893084728)*x^2 + 5476462823855624142*x + (-4435291794321198092))*y^5 + ((-5589744451161640173)*x^8 + (-3007140074441939826)*x^7 + (-1506812322807630453)*x^6 + 2969898968352673961*x^5 + 7121640070643348523*x^4 + (-3732946878005162144)*x^3 + 1286090175625363929*x^2 + (-4808647037741282456)*x + 133919600335700794)*y^4 + (5962042276246381390*x^9 + 4683743954567941522*x^8 + 4590817566074644645*x^7 + 3395275687779849068*x^6 + 4683436934579699717*x^5 + (-3869728584694990395)*x^4 + 1733047896865105456*x^3 + (-2742855677792674896)*x^2 + 5227508928476328903*x + 7336138195346514561)*y^3 + ((-4936262563535804945)*x^10 + (-1862083017799719959)*x^9 + 7991639129385973789*x^8 + 3782507025865943396*x^7 + 4115141687973518957*x^6 + 4023263858046429891*x^5 + 4448742583547350003*x^4 + (-2307641182904411214)*x^3 + (-2213390361139151480)*x^2 + 2020787166885370832*x + 3877227991160121849)*y^2 + (8268466538343968391*x^11 + 4844505054736350925*x^10 + 8299258591442726308*x^9 + (-544338170465905211)*x^8 + 1031155754961632060*x^7 + (-2639504856276710116)*x^6 + (-8674518529171846890)*x^5 + (-5762446097643017189)*x^4 + (-6865312528679056020)*x^3 + 1733213836929640403*x^2 + (-6838700820931789439)*x + (-6672732445472960655))*y + (843989688495201395*x^12 + 6306620082960649158*x^11 + (-8190095515100737581)*x^10 + (-6793108644073530189)*x^9 + 6596978235425018235*x^8 + (-2466689111442478955)*x^7 + 6498403974655295768*x^6 + (-3905930317140411527)*x^5 + (-5367500448498160576)*x^4 + 2285317242445044506*x^3 + 3846148741401374542*x^2 + (-2618601508552753017)*x + 4521676001100946984)
