Magma V2.19-8 Wed Aug 21 2013 00:01:40 on localhost [Seed = 2480273953] Type ? for help. Type -D to quit. Loading file "K13n1636__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1636 geometric_solution 11.40846277 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.206622986637 0.923205672930 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.038989721123 0.450055735596 8 0 10 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.121385631701 0.862367190578 11 9 10 0 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687550330346 0.765527697598 11 8 0 12 1230 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 9 0 -9 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533359163874 1.167606296645 8 1 12 11 1023 0132 1302 1023 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -9 0 9 0 0 -10 0 10 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.056793881278 1.422773785694 11 12 1 9 2103 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.402507983889 1.672812106896 8 10 9 1 3201 3120 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.495654862954 1.742934690271 2 5 4 7 0132 1023 3012 2310 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 -9 0 0 0 0 0 0 0 0 10 -1 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538381578474 1.029350460387 6 3 2 7 3012 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657400467733 0.161767402350 3 7 12 2 2031 3120 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880119511116 1.035852073545 3 4 6 5 0132 3012 2103 1023 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 -10 0 0 0 0 0 9 1 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.855974017655 0.950824092963 5 6 4 10 2031 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 1 0 0 -1 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.062627007943 0.832148679728 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_11'], 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : negation(d['c_0110_12']), 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : d['c_0110_12'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_0110_12'], 'c_1001_6' : d['c_0110_12'], 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_0110_12'], 'c_1010_11' : negation(d['c_0101_1']), 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_0'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0110_12']), 'c_1100_8' : d['c_0011_7'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : d['c_0110_9'], 'c_1100_6' : d['c_0110_9'], 'c_1100_1' : d['c_0110_9'], 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : negation(d['c_0110_12']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0110_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_12'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : d['c_0101_2'], 'c_1010_8' : negation(d['c_0101_1']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : d['c_0101_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_0110_12, c_0110_9, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 91748271012420060821198167480700213130737559849475686457208245/4816\ 28805147026870868508781563906267805166660483806901474*c_1001_0^21 + 2418818785507542526546578229314287976317456520094658855737527982/13\ 726420946690265819752500274571328632447249823788496692009*c_1001_0^\ 20 - 45053040086654205890034457916208828829177173141754304523397159\ 99/82358525680141594918515001647427971794683498942730980152054*c_10\ 01_0^19 + 886123064545761718173656000472273663736496380767370688967\ 380413/1553934446795124432424811351838263618767613187598697738718*c\ _1001_0^18 + 157888593531307066903489406882079725906560345811443666\ 354625330513/823585256801415949185150016474279717946834989427309801\ 52054*c_1001_0^17 + 35237816758461258373945330883636368603107654176\ 893511032842234833/823585256801415949185150016474279717946834989427\ 30980152054*c_1001_0^16 - 28467068568284292597809269083924245987286\ 2972315681342699169368459/41179262840070797459257500823713985897341\ 749471365490076027*c_1001_0^15 - 1322272132682444205514124800450273\ 39747879761175961919709072748881/1176550366859165641693071452106113\ 8827811928420390140021722*c_1001_0^14 + 431044610261772692938343794181624307636572671985396294896544764/141\ 9974580692096464112327614610827099908336188667775519863*c_1001_0^13 + 25780584829155699648396671785051474225655968967166921245159229049\ 4/13726420946690265819752500274571328632447249823788496692009*c_100\ 1_0^12 + 3979496445454179816665124749240858545223978684360153019746\ 33551147/2745284189338053163950500054914265726489449964757699338401\ 8*c_1001_0^11 - 141515353003288658300390899820436092528442183080015\ 4952018337668675/82358525680141594918515001647427971794683498942730\ 980152054*c_1001_0^10 - 4827106111467202334743149535279760147144028\ 75276541601241089926415/1372642094669026581975250027457132863244724\ 9823788496692009*c_1001_0^9 - 7453820076963336562190486077647087373\ 58873728551355865761372726607/8235852568014159491851500164742797179\ 4683498942730980152054*c_1001_0^8 + 2630085266554904719594573565750265753406941757123553406060904137799\ /82358525680141594918515001647427971794683498942730980152054*c_1001\ _0^7 + 318124155214414207627280182913876717194362433814885061358535\ 2409801/82358525680141594918515001647427971794683498942730980152054\ *c_1001_0^6 + 12512446437327371937393179813671488464910770640742766\ 1523256972708/13726420946690265819752500274571328632447249823788496\ 692009*c_1001_0^5 - 51614712819869789372641185002957795036834515786\ 6966851305145023561/27452841893380531639505000549142657264894499647\ 576993384018*c_1001_0^4 - 12098549148666428726346014337271133624124\ 045325618102666079006743/534795621299620746224123387320960855809633\ 110017733637351*c_1001_0^3 - 53018096551371115841009794863500642867\ 449161104414241989003393/434793188048472151401726331155252728300514\ 7235916533637*c_1001_0^2 - 5549621147569488980006560003752520243573\ 35412809305287556183767/1605429350490089569561695938546354226017222\ 20161268967158*c_1001_0 - 15654189172439581962552331144430560181204\ 23550576019951555144568/3743569349097345223568863711246725990667431\ 770124135461457, c_0011_0 - 1, c_0011_10 - 649626600640202904207397049785669613299526039301/7776585320\ 404478118475825048850888912603816489*c_1001_0^21 - 545864102484523458995017189823255570816676293841/777658532040447811\ 8475825048850888912603816489*c_1001_0^20 + 306211300546188086609663773424721437392037487408/777658532040447811\ 8475825048850888912603816489*c_1001_0^19 - 1958650740074864212169727501888500280536697403128/77765853204044781\ 18475825048850888912603816489*c_1001_0^18 - 6462398802740855782647301613132748369185795571626/77765853204044781\ 18475825048850888912603816489*c_1001_0^17 - 623991378571287131073156916464772214043918443647/777658532040447811\ 8475825048850888912603816489*c_1001_0^16 + 24212316372187694666578687357291761096702426363824/7776585320404478\ 118475825048850888912603816489*c_1001_0^15 + 35747281345742414886617662738409363979554496549636/7776585320404478\ 118475825048850888912603816489*c_1001_0^14 - 233299904739154242636755209070056992170172282457/268158114496706142\ 016407760305203065951855741*c_1001_0^13 - 65295814189201355898801116901704967625462518103288/7776585320404478\ 118475825048850888912603816489*c_1001_0^12 - 40293639603781915053461394094185908691740515943551/7776585320404478\ 118475825048850888912603816489*c_1001_0^11 + 67811782657115296940023537501678914073180105304336/7776585320404478\ 118475825048850888912603816489*c_1001_0^10 + 112514196787688713761180258813873466968192779628605/777658532040447\ 8118475825048850888912603816489*c_1001_0^9 + 11708481636345597700900649227237150987470808857995/7776585320404478\ 118475825048850888912603816489*c_1001_0^8 - 114682028322127170592381044237723471849644322683738/777658532040447\ 8118475825048850888912603816489*c_1001_0^7 - 114691299418756071014063555424115309912170943612586/777658532040447\ 8118475825048850888912603816489*c_1001_0^6 - 11227735624086317850713999164493525679711317182862/7776585320404478\ 118475825048850888912603816489*c_1001_0^5 + 66839857036718837219566690103603750405635166697556/7776585320404478\ 118475825048850888912603816489*c_1001_0^4 + 6023166492977428719773302683657747760474816372982/70696230185495255\ 6225075004440989901145801499*c_1001_0^3 + 2837638365873074309020812741079397648208712782712/70696230185495255\ 6225075004440989901145801499*c_1001_0^2 + 7617474378386052688341938662117214151904422054931/77765853204044781\ 18475825048850888912603816489*c_1001_0 + 69463877120049514304107780518683249042836493080/7069623018549525562\ 25075004440989901145801499, c_0011_11 + 39424258062206804659426823986941837404032026333/77765853204\ 04478118475825048850888912603816489*c_1001_0^21 - 5779830365497162294853286154329450926839888997/77765853204044781184\ 75825048850888912603816489*c_1001_0^20 + 288863141152585643265832607735360759060211417385/233297559612134343\ 55427475146552666737811449467*c_1001_0^19 + 399055149779707004722827074395439612774354658895/233297559612134343\ 55427475146552666737811449467*c_1001_0^18 + 371595154514193544282369801030942003136685567955/233297559612134343\ 55427475146552666737811449467*c_1001_0^17 + 760507795211635700078011999554645705452021666284/233297559612134343\ 55427475146552666737811449467*c_1001_0^16 - 1445765534230954420924100735263407688101384323750/23329755961213434\ 355427475146552666737811449467*c_1001_0^15 - 5527759650976565341871719481368281037305890271041/23329755961213434\ 355427475146552666737811449467*c_1001_0^14 - 8747750118659381424461839146399722338429061425/27740494603107531932\ 731837272952041305364387*c_1001_0^13 + 570482843114574318321064382876989379887429304199/777658532040447811\ 8475825048850888912603816489*c_1001_0^12 + 5314613171269568561567766778721028777539149545062/77765853204044781\ 18475825048850888912603816489*c_1001_0^11 + 10118592280041226461341187927709698599602368501241/2332975596121343\ 4355427475146552666737811449467*c_1001_0^10 - 6379173440367986158515325885587856544736244685297/77765853204044781\ 18475825048850888912603816489*c_1001_0^9 - 32089763585756622515365815000535288747951516200031/2332975596121343\ 4355427475146552666737811449467*c_1001_0^8 - 73466382023991431410331777309618280610429131127/2332975596121343435\ 5427475146552666737811449467*c_1001_0^7 + 38061080806823135085881039319768143743691973950050/2332975596121343\ 4355427475146552666737811449467*c_1001_0^6 + 10866640958137241758939510905268539651893063749757/7776585320404478\ 118475825048850888912603816489*c_1001_0^5 - 1170523399394878951210527710637445323541569682822/77765853204044781\ 18475825048850888912603816489*c_1001_0^4 - 2199639768438918039168804430200395618961775807144/21208869055648576\ 68675225013322969703437404497*c_1001_0^3 - 555235663054722888099859500447973997306939213477/706962301854952556\ 225075004440989901145801499*c_1001_0^2 - 2057941511886643820456147848324245917398980241969/77765853204044781\ 18475825048850888912603816489*c_1001_0 - 73001656684861012935793241189733934398216310276/2120886905564857668\ 675225013322969703437404497, c_0011_12 + 17015937068081685933095728487575432291629453282/77765853204\ 04478118475825048850888912603816489*c_1001_0^21 + 71440767961016289679076420055307033615000032839/7776585320404478118\ 475825048850888912603816489*c_1001_0^20 - 417311679619493510433979596566799743022787015129/233297559612134343\ 55427475146552666737811449467*c_1001_0^19 + 57451832213780674923754818929529962223497263604/2332975596121343435\ 5427475146552666737811449467*c_1001_0^18 + 1619233042156861290259731066689487050162009775338/23329755961213434\ 355427475146552666737811449467*c_1001_0^17 - 476926719787973998211252334873542967363794569297/233297559612134343\ 55427475146552666737811449467*c_1001_0^16 - 5560887749002877080859169717877413578203365095479/23329755961213434\ 355427475146552666737811449467*c_1001_0^15 - 5146168781865727523149761423727493626754460709903/23329755961213434\ 355427475146552666737811449467*c_1001_0^14 + 329265830364428708072351729343108009306623290607/804474343490118426\ 049223280915609197855567223*c_1001_0^13 + 6136523541725369632754017574987582548534950101483/77765853204044781\ 18475825048850888912603816489*c_1001_0^12 - 1475490802768747248473915947133471627512971576580/77765853204044781\ 18475825048850888912603816489*c_1001_0^11 - 31639743321231946966546166671067847650282303507602/2332975596121343\ 4355427475146552666737811449467*c_1001_0^10 - 4718922483356576651789263373642106334919101604615/77765853204044781\ 18475825048850888912603816489*c_1001_0^9 + 31170770751990391373015281713868630355983033203778/2332975596121343\ 4355427475146552666737811449467*c_1001_0^8 + 35458832099730772383073597021339167318679984959661/2332975596121343\ 4355427475146552666737811449467*c_1001_0^7 - 6510293473585518088468097037094316727752060651875/23329755961213434\ 355427475146552666737811449467*c_1001_0^6 - 10804080630545358799890913397614001037167231956135/7776585320404478\ 118475825048850888912603816489*c_1001_0^5 - 5565941801917998247491778357653319132575645496116/77765853204044781\ 18475825048850888912603816489*c_1001_0^4 + 588368626409975376187064232868718123649275619652/212088690556485766\ 8675225013322969703437404497*c_1001_0^3 + 326768414645552541185150960046863863270886753362/706962301854952556\ 225075004440989901145801499*c_1001_0^2 + 1505006749468685460757809194333835869737160482505/77765853204044781\ 18475825048850888912603816489*c_1001_0 + 58792222396538859671827457460430278644647372648/2120886905564857668\ 675225013322969703437404497, c_0011_7 + 428736523014033127818855724914640859249859846492/77765853204\ 04478118475825048850888912603816489*c_1001_0^21 + 400963806734895917740492171574564184824691864255/777658532040447811\ 8475825048850888912603816489*c_1001_0^20 - 160309651133878900235846923674965328414052376465/777658532040447811\ 8475825048850888912603816489*c_1001_0^19 + 1270130975405468823983010913933611348644193567731/77765853204044781\ 18475825048850888912603816489*c_1001_0^18 + 4372564960991201040831987101520761937652102341753/77765853204044781\ 18475825048850888912603816489*c_1001_0^17 + 855752529310006201364934817782343412998058760204/777658532040447811\ 8475825048850888912603816489*c_1001_0^16 - 15897729025394831550453825918423341033942199109451/7776585320404478\ 118475825048850888912603816489*c_1001_0^15 - 25216837302293025564404078359682160917689241551184/7776585320404478\ 118475825048850888912603816489*c_1001_0^14 + 67346189095402901877458460888700283986972101374/2681581144967061420\ 16407760305203065951855741*c_1001_0^13 + 43544227206138891216667736284669122528838313246838/7776585320404478\ 118475825048850888912603816489*c_1001_0^12 + 31312120679328098106654415645678187914419216758677/7776585320404478\ 118475825048850888912603816489*c_1001_0^11 - 41827292029779530014647000532570979130164141763632/7776585320404478\ 118475825048850888912603816489*c_1001_0^10 - 79254037715836195566564229166761141921137582543573/7776585320404478\ 118475825048850888912603816489*c_1001_0^9 - 15894416591499365056609310157866918218187977181152/7776585320404478\ 118475825048850888912603816489*c_1001_0^8 + 75265024362980438431991650302745140596384828748278/7776585320404478\ 118475825048850888912603816489*c_1001_0^7 + 84378837634432022071451090749764481875993796742978/7776585320404478\ 118475825048850888912603816489*c_1001_0^6 + 15248627819524277841819956587320685775565001085844/7776585320404478\ 118475825048850888912603816489*c_1001_0^5 - 44279439711120189970529716174949948242746667379068/7776585320404478\ 118475825048850888912603816489*c_1001_0^4 - 4449060264110657256943313692420511332471703851415/70696230185495255\ 6225075004440989901145801499*c_1001_0^3 - 2260518391646967107815293939446500749947708691829/70696230185495255\ 6225075004440989901145801499*c_1001_0^2 - 6608136290447462160790077678043003528883444857848/77765853204044781\ 18475825048850888912603816489*c_1001_0 - 66316400140853028626217433253431586696177913758/7069623018549525562\ 25075004440989901145801499, c_0101_0 + 183640307059458729546916384611088880206221982035/77765853204\ 04478118475825048850888912603816489*c_1001_0^21 + 283234711371279098086965315395401969889565088395/777658532040447811\ 8475825048850888912603816489*c_1001_0^20 - 210822157024473302153357770342464104246858916847/777658532040447811\ 8475825048850888912603816489*c_1001_0^19 + 493241724933688509869478759369459564752559041344/777658532040447811\ 8475825048850888912603816489*c_1001_0^18 + 2436950650088174228549142670676009085196211810149/77765853204044781\ 18475825048850888912603816489*c_1001_0^17 + 525360724897984091106329090889506226476173439981/777658532040447811\ 8475825048850888912603816489*c_1001_0^16 - 8345853140358958242589773423297228237158555221706/77765853204044781\ 18475825048850888912603816489*c_1001_0^15 - 13266184347383479611316936897197559673339744332330/7776585320404478\ 118475825048850888912603816489*c_1001_0^14 + 92521426541755825282908891204417523041347315442/2681581144967061420\ 16407760305203065951855741*c_1001_0^13 + 24906442594977938634823188649668867362923872202631/7776585320404478\ 118475825048850888912603816489*c_1001_0^12 + 14263999201637919652422911001636368996559570423309/7776585320404478\ 118475825048850888912603816489*c_1001_0^11 - 27044777004905043921168274441195981442964002370480/7776585320404478\ 118475825048850888912603816489*c_1001_0^10 - 40868793318311377578964572420788777302518759739286/7776585320404478\ 118475825048850888912603816489*c_1001_0^9 + 280641215831434997068780414081903379629785411152/777658532040447811\ 8475825048850888912603816489*c_1001_0^8 + 43858312069873870568927362664755671548304870167393/7776585320404478\ 118475825048850888912603816489*c_1001_0^7 + 37101499040466452424586899400111966772397793356570/7776585320404478\ 118475825048850888912603816489*c_1001_0^6 - 1662600867224032884498565917590356436732569191565/77765853204044781\ 18475825048850888912603816489*c_1001_0^5 - 24572776550988384700821047384521163127185128969951/7776585320404478\ 118475825048850888912603816489*c_1001_0^4 - 1853209658319342007269688275949696959450799956015/70696230185495255\ 6225075004440989901145801499*c_1001_0^3 - 754253936924662532311592768946310021154979710197/706962301854952556\ 225075004440989901145801499*c_1001_0^2 - 1757265488048193496098071879804600973421265800145/77765853204044781\ 18475825048850888912603816489*c_1001_0 - 13853740151093355066290373619488821679715830071/7069623018549525562\ 25075004440989901145801499, c_0101_1 + 218398783679018292730568402526534616692109241778/77765853204\ 04478118475825048850888912603816489*c_1001_0^21 + 164343007358327094768100087412586338600913085276/777658532040447811\ 8475825048850888912603816489*c_1001_0^20 - 341805697546973775247672668537216442199651549192/233297559612134343\ 55427475146552666737811449467*c_1001_0^19 + 2022052007893234077130882331118048122443799239234/23329755961213434\ 355427475146552666737811449467*c_1001_0^18 + 6363199571407591328063110209689482301344490949418/23329755961213434\ 355427475146552666737811449467*c_1001_0^17 + 48877381490444246511653015251827848154388807618/2332975596121343435\ 5427475146552666737811449467*c_1001_0^16 - 24281773362629451072649076619225936743920082594357/2332975596121343\ 4355427475146552666737811449467*c_1001_0^15 - 33715148045816672447449586012066135370917231137535/2332975596121343\ 4355427475146552666737811449467*c_1001_0^14 + 321276103843393797491056914411208302595276387708/804474343490118426\ 049223280915609197855567223*c_1001_0^13 + 21284071391620808807088329369046651533793296726581/7776585320404478\ 118475825048850888912603816489*c_1001_0^12 + 11509295868594090919499408860571762132514148384012/7776585320404478\ 118475825048850888912603816489*c_1001_0^11 - 69474904595370992089692943455968341808291552987060/2332975596121343\ 4355427475146552666737811449467*c_1001_0^10 - 35014073864618090038334940586087630997532073412649/7776585320404478\ 118475825048850888912603816489*c_1001_0^9 - 4143525931354024945084187512382211795895880097175/23329755961213434\ 355427475146552666737811449467*c_1001_0^8 + 111541028989577182755794207478584684427885301071932/233297559612134\ 34355427475146552666737811449467*c_1001_0^7 + 104576999367513926698084006516133559150343919285647/233297559612134\ 34355427475146552666737811449467*c_1001_0^6 + 2108404852485629012219983477056579122263841139301/77765853204044781\ 18475825048850888912603816489*c_1001_0^5 - 21231432628378433544561918830451567603007285063716/7776585320404478\ 118475825048850888912603816489*c_1001_0^4 - 5569798569258744685029879808485173038861822795081/21208869055648576\ 68675225013322969703437404497*c_1001_0^3 - 869872787363576911472526119747761267221266195899/706962301854952556\ 225075004440989901145801499*c_1001_0^2 - 2353969048117051938173726468053970713511162957361/77765853204044781\ 18475825048850888912603816489*c_1001_0 - 62758073013867969061057321320455027785784377807/2120886905564857668\ 675225013322969703437404497, c_0101_10 + 28166841166071294800110296632085641652822614535/77765853204\ 04478118475825048850888912603816489*c_1001_0^21 - 158873726432485808176125786141749983586314593817/777658532040447811\ 8475825048850888912603816489*c_1001_0^20 - 43665579568060375976830951574874352840416562213/2332975596121343435\ 5427475146552666737811449467*c_1001_0^19 + 627690939129965112221340412790322118250513956367/233297559612134343\ 55427475146552666737811449467*c_1001_0^18 - 1214548937665625597161693883500685072611848267589/23329755961213434\ 355427475146552666737811449467*c_1001_0^17 - 3704514362576658871391737890524156434788716616607/23329755961213434\ 355427475146552666737811449467*c_1001_0^16 - 10378057759850030493974852827754716095174083737/2332975596121343435\ 5427475146552666737811449467*c_1001_0^15 + 13506709117674448745834602532411359236927015058397/2332975596121343\ 4355427475146552666737811449467*c_1001_0^14 + 506682455376078542538087462764366957474756053307/804474343490118426\ 049223280915609197855567223*c_1001_0^13 - 3854374669989194238764109836008573712345563210703/77765853204044781\ 18475825048850888912603816489*c_1001_0^12 - 10975464409169928638841661711618495164075583166251/7776585320404478\ 118475825048850888912603816489*c_1001_0^11 - 5731456864953243975582469172742724064059017248233/23329755961213434\ 355427475146552666737811449467*c_1001_0^10 + 14368477642835269294083646703183421641787380215602/7776585320404478\ 118475825048850888912603816489*c_1001_0^9 + 39423701130293663369859418002646932577888868556478/2332975596121343\ 4355427475146552666737811449467*c_1001_0^8 - 17496413435936558154285375294085167345408298949975/2332975596121343\ 4355427475146552666737811449467*c_1001_0^7 - 53331655891336245054748100586296200455669579578707/2332975596121343\ 4355427475146552666737811449467*c_1001_0^6 - 9762212926444565530090035829805636833505479566395/77765853204044781\ 18475825048850888912603816489*c_1001_0^5 + 4241227518276920838204878550566762839017926932023/77765853204044781\ 18475825048850888912603816489*c_1001_0^4 + 2494906220773721972757326073270660861758874987136/21208869055648576\ 68675225013322969703437404497*c_1001_0^3 + 523246332436185716615044465639071164705594368056/706962301854952556\ 225075004440989901145801499*c_1001_0^2 + 1777565400179616249537086384244883683055283115279/77765853204044781\ 18475825048850888912603816489*c_1001_0 + 59379506091895757820592230169196633660758878271/2120886905564857668\ 675225013322969703437404497, c_0101_2 - 19547559596832391229163334054019269415139943629/706962301854\ 952556225075004440989901145801499*c_1001_0^21 - 6338069361533333027758695017122344642821402001/70696230185495255622\ 5075004440989901145801499*c_1001_0^20 + 5090798531958614041396852680992301442851439762/70696230185495255622\ 5075004440989901145801499*c_1001_0^19 - 69361138308973335378218323313378568577248161495/7069623018549525562\ 25075004440989901145801499*c_1001_0^18 - 148778536762460201874025586053679651758346745842/706962301854952556\ 225075004440989901145801499*c_1001_0^17 + 35254698508293030927216826048655746526369758107/7069623018549525562\ 25075004440989901145801499*c_1001_0^16 + 624328622371448070285573866306582606762218149715/706962301854952556\ 225075004440989901145801499*c_1001_0^15 + 763602522805708006706519166093075472139289319324/706962301854952556\ 225075004440989901145801499*c_1001_0^14 - 9478002819649164449159222721390802086626224961/24378010408791467456\ 037069118654824177441431*c_1001_0^13 - 1421451528953755432566891909884081964256690909270/70696230185495255\ 6225075004440989901145801499*c_1001_0^12 - 720498620959656349399405039989397850370489160772/706962301854952556\ 225075004440989901145801499*c_1001_0^11 + 1527135448629841679434022036254224097951861487690/70696230185495255\ 6225075004440989901145801499*c_1001_0^10 + 2344285563049654050676089141114146521265136381367/70696230185495255\ 6225075004440989901145801499*c_1001_0^9 + 280905424197294885368998718376327501775808671699/706962301854952556\ 225075004440989901145801499*c_1001_0^8 - 2388230968804334643835125570128990400317045338195/70696230185495255\ 6225075004440989901145801499*c_1001_0^7 - 2638212558901116032073747735038170658857159715412/70696230185495255\ 6225075004440989901145801499*c_1001_0^6 - 554949453223367828794356243697230959485937174382/706962301854952556\ 225075004440989901145801499*c_1001_0^5 + 1382917134379545686812504751998911174926860083043/70696230185495255\ 6225075004440989901145801499*c_1001_0^4 + 1667326074355766267986644210197291712599287167074/70696230185495255\ 6225075004440989901145801499*c_1001_0^3 + 919558177403272959387075378261656418089730190467/706962301854952556\ 225075004440989901145801499*c_1001_0^2 + 262618205782335655840489527210527822102136606267/706962301854952556\ 225075004440989901145801499*c_1001_0 + 29975309717381291672625598460072232200390807661/7069623018549525562\ 25075004440989901145801499, c_0101_8 - 11235535035523581531510093738466009731863869971/777658532040\ 4478118475825048850888912603816489*c_1001_0^21 - 193891930001248741723686477463586929567135284922/777658532040447811\ 8475825048850888912603816489*c_1001_0^20 - 172555441267811517230412964176050779445824940266/233297559612134343\ 55427475146552666737811449467*c_1001_0^19 + 566900721389256879709629672020129514617118591737/233297559612134343\ 55427475146552666737811449467*c_1001_0^18 - 2465710613475954512326327533975228452573588458783/23329755961213434\ 355427475146552666737811449467*c_1001_0^17 - 4740757758649804957848396544988105094644501256382/23329755961213434\ 355427475146552666737811449467*c_1001_0^16 + 4475647976355316148243829534533595222698156946377/23329755961213434\ 355427475146552666737811449467*c_1001_0^15 + 22486554496258275705305736387930737486995357814564/2332975596121343\ 4355427475146552666737811449467*c_1001_0^14 + 19991984679390644445374367807357430929595783459/2774049460310753193\ 2731837272952041305364387*c_1001_0^13 - 9042625818226407095000613327931614267339702743842/77765853204044781\ 18475825048850888912603816489*c_1001_0^12 - 16223104426166570675691195758728039449161620130618/7776585320404478\ 118475825048850888912603816489*c_1001_0^11 + 7633651087397941449421094147648677259705009330846/23329755961213434\ 355427475146552666737811449467*c_1001_0^10 + 25502584710653869318724470435097454210317333087917/7776585320404478\ 118475825048850888912603816489*c_1001_0^9 + 48238863416280360113130109751513202076857935095714/2332975596121343\ 4355427475146552666737811449467*c_1001_0^8 - 49581792684696210888193077553162338508534192029761/2332975596121343\ 4355427475146552666737811449467*c_1001_0^7 - 87105874213657230791241059741744563919006613467887/2332975596121343\ 4355427475146552666737811449467*c_1001_0^6 - 10094289522463528557965952692307283601488158558150/7776585320404478\ 118475825048850888912603816489*c_1001_0^5 + 11349022439318565291451631538508296149862740388772/7776585320404478\ 118475825048850888912603816489*c_1001_0^4 + 4014992791745553542014148018673270248900695270183/21208869055648576\ 68675225013322969703437404497*c_1001_0^3 + 669501155002004187953571992934737141778217985678/706962301854952556\ 225075004440989901145801499*c_1001_0^2 + 1746466434693748977996524494795221118269252269355/77765853204044781\ 18475825048850888912603816489*c_1001_0 + 41910792893115136621392808696732533809694215896/2120886905564857668\ 675225013322969703437404497, c_0110_12 - 447664300883447512948915956975094939196544350763/7776585320\ 404478118475825048850888912603816489*c_1001_0^21 - 254051154685438914718283432661554116666094855914/777658532040447811\ 8475825048850888912603816489*c_1001_0^20 + 788299080916000318526876306893769798878961199362/233297559612134343\ 55427475146552666737811449467*c_1001_0^19 - 4468078282867455556114523633183849949828277112284/23329755961213434\ 355427475146552666737811449467*c_1001_0^18 - 12053435789994566081367175681811951880487008710875/2332975596121343\ 4355427475146552666737811449467*c_1001_0^17 + 2023520465560866646607563686484782097674707114216/23329755961213434\ 355427475146552666737811449467*c_1001_0^16 + 48216496330219209976535507776477310711479348393967/2332975596121343\ 4355427475146552666737811449467*c_1001_0^15 + 59861222293763462540426796997820297202448353870947/2332975596121343\ 4355427475146552666737811449467*c_1001_0^14 - 918397090454377503023977340800801233843317109355/804474343490118426\ 049223280915609197855567223*c_1001_0^13 - 39978358468624778316924939167694089822435633685091/7776585320404478\ 118475825048850888912603816489*c_1001_0^12 - 16715003072323767457344302258042977613241729764761/7776585320404478\ 118475825048850888912603816489*c_1001_0^11 + 139842828341076734354054344545016911686572074324110/233297559612134\ 34355427475146552666737811449467*c_1001_0^10 + 61274892447337825922683646044259875067350437942595/7776585320404478\ 118475825048850888912603816489*c_1001_0^9 - 11927892691484116729080528567397862925931284168551/2332975596121343\ 4355427475146552666737811449467*c_1001_0^8 - 208756568877502979749182675977517625949751611694521/233297559612134\ 34355427475146552666737811449467*c_1001_0^7 - 178868678058058118700189775995336397056024325427689/233297559612134\ 34355427475146552666737811449467*c_1001_0^6 - 87706859949351110510605878115051808644218368385/7776585320404478118\ 475825048850888912603816489*c_1001_0^5 + 39062105851758981577069137570208691387299295973500/7776585320404478\ 118475825048850888912603816489*c_1001_0^4 + 9788932616340731020481336866517463291656002214272/21208869055648576\ 68675225013322969703437404497*c_1001_0^3 + 1507718430527820827213971916306402762673529931356/70696230185495255\ 6225075004440989901145801499*c_1001_0^2 + 4089807442614407284562319792211805670645026250866/77765853204044781\ 18475825048850888912603816489*c_1001_0 + 115291138810999057714032047148311980953792447484/212088690556485766\ 8675225013322969703437404497, c_0110_9 - 74305236865989851263775227133301921782524333494/777658532040\ 4478118475825048850888912603816489*c_1001_0^21 + 38400544910329007982687148124242613317370794146/7776585320404478118\ 475825048850888912603816489*c_1001_0^20 + 93307449222644160773308113514714733875639159368/7776585320404478118\ 475825048850888912603816489*c_1001_0^19 - 384919373623097609157736624369089447210208061761/777658532040447811\ 8475825048850888912603816489*c_1001_0^18 - 338468734886904212011937333740515453904297131465/777658532040447811\ 8475825048850888912603816489*c_1001_0^17 + 897400506907523140473114847892973376726096602821/777658532040447811\ 8475825048850888912603816489*c_1001_0^16 + 2167473005601038285090402102787318396715190294231/77765853204044781\ 18475825048850888912603816489*c_1001_0^15 + 54567787907589084054708008966010251138981142824/7776585320404478118\ 475825048850888912603816489*c_1001_0^14 - 148198248086974481076088583325712927996044074290/268158114496706142\ 016407760305203065951855741*c_1001_0^13 - 2716566620484746417383873344536187280052653673412/77765853204044781\ 18475825048850888912603816489*c_1001_0^12 + 4815660804936880662630596665631944176839238096775/77765853204044781\ 18475825048850888912603816489*c_1001_0^11 + 6859530906325903297085822284537028095136846401954/77765853204044781\ 18475825048850888912603816489*c_1001_0^10 - 1414616607483400121806503787503559043815025589880/77765853204044781\ 18475825048850888912603816489*c_1001_0^9 - 8042387822610226938988031664130725980067547962980/77765853204044781\ 18475825048850888912603816489*c_1001_0^8 - 3951457624730961228589109448661177691079911631215/77765853204044781\ 18475825048850888912603816489*c_1001_0^7 + 2989020131739320920825726462288913173417829062172/77765853204044781\ 18475825048850888912603816489*c_1001_0^6 + 4029780352602998257274470468737156730193675232034/77765853204044781\ 18475825048850888912603816489*c_1001_0^5 + 1197783646195269567077759153589546980144971818285/77765853204044781\ 18475825048850888912603816489*c_1001_0^4 - 27640411906607578716053357027175567101492798953/7069623018549525562\ 25075004440989901145801499*c_1001_0^3 - 10744375364302347058838219674664728301664318543/7069623018549525562\ 25075004440989901145801499*c_1001_0^2 + 77262915465549588228433633914473203696506488059/7776585320404478118\ 475825048850888912603816489*c_1001_0 + 1958423535043345830495690925746324682776573562/70696230185495255622\ 5075004440989901145801499, c_1001_0^22 + 71/57*c_1001_0^21 + 2/171*c_1001_0^20 + 496/171*c_1001_0^19 + 1885/171*c_1001_0^18 + 937/171*c_1001_0^17 - 320/9*c_1001_0^16 - 12080/171*c_1001_0^15 - 991/57*c_1001_0^14 + 16939/171*c_1001_0^13 + 6143/57*c_1001_0^12 - 11230/171*c_1001_0^11 - 36514/171*c_1001_0^10 - 962/9*c_1001_0^9 + 26036/171*c_1001_0^8 + 14627/57*c_1001_0^7 + 19340/171*c_1001_0^6 - 4744/57*c_1001_0^5 - 25729/171*c_1001_0^4 - 17479/171*c_1001_0^3 - 2209/57*c_1001_0^2 - 1375/171*c_1001_0 - 121/171 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 11.060 Total time: 11.269 seconds, Total memory usage: 81.12MB