Magma V2.19-8 Wed Aug 21 2013 01:07:28 on localhost [Seed = 1764716666] Type ? for help. Type -D to quit. Loading file "L14n33319__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n33319 geometric_solution 11.72857237 oriented_manifold CS_known 0.0000000000000007 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 0 1 0 0 0 0 -1 0 2 -1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -5 0 9 -4 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.042675566316 1.046136890368 0 5 4 6 0132 0132 1230 0132 1 1 1 0 0 -1 1 0 1 0 0 -1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 5 0 0 -5 4 -4 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.066509162601 1.009609951418 7 0 3 8 0132 0132 0213 0132 0 1 1 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -4 4 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.576257474397 0.481146385574 9 2 10 0 0132 0213 0132 0132 0 1 1 0 0 0 0 0 1 0 1 -2 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 5 -9 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.454812972687 0.625860976297 11 10 0 1 0132 0132 0132 3012 0 1 1 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 -1 1 0 0 4 -4 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.583482437325 0.791396646605 6 1 9 11 0321 0132 0321 0321 1 1 0 1 0 1 -1 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 1 -1 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529365805560 0.582106194504 5 10 1 12 0321 1023 0132 0132 1 1 0 1 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 5 -5 -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.396620552201 1.737768788602 2 12 8 8 0132 2031 1302 3201 1 1 0 1 0 -1 0 1 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 -5 0 5 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.237885923719 0.651161813232 7 7 2 9 2031 2310 0132 2031 0 1 1 1 0 0 0 0 0 0 -1 1 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 -1 0 0 -4 4 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.785701226244 0.871965531200 3 8 5 12 0132 1302 0321 2031 1 1 0 1 0 -1 1 0 -1 0 1 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 -4 4 0 -4 0 4 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.378131956453 0.556353477263 6 4 11 3 1023 0132 2031 0132 0 1 0 1 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 5 -5 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.347430618818 0.455750682913 4 5 12 10 0132 0321 2031 1302 1 1 0 1 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 5 -5 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.364377238541 0.981052678071 7 9 6 11 1302 1302 0132 1302 1 1 1 0 0 0 0 0 -1 0 1 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 0 5 0 0 -5 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460986669224 0.543434373103 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_12']), 'c_1001_10' : negation(d['c_0101_1']), 'c_1001_12' : d['c_0101_3'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0110_12']), 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_12']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_12']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : negation(d['1']), 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : negation(d['1']), 's_2_10' : negation(d['1']), 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(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' : d['c_0101_10'], 'c_1100_8' : negation(d['c_0011_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_12']), 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0011_12']), 's_3_11' : negation(d['1']), 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_1001_1']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0011_12']), 'c_1010_2' : negation(d['c_0011_12']), 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : negation(d['c_0011_3']), 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_11'], 's_1_7' : negation(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' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0011_0']), 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0011_8']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_8']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0110_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_8']), 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0011_0'])})} 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_12, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0110_12, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 1547338996295443131751179333131930005166766540281341262457202560104\ 73986349870163/1021586013640785698561383742388223154585227650538810\ 4750011958954154750415655862*c_1001_2^17 + 1154470235058098025148367452685206217757977320922904245347023157903\ 48466709357651469/2962599439558278525828012852925847148297160186562\ 55037750346809670487762054019998*c_1001_2^16 + 7216380780976692721299653329996931359408183100701272714795454929597\ 928344834230875/178469845756522802760723665838906454716696396780876\ 5287652691624521010614783253*c_1001_2^15 - 1031415407847889063079341391043890100427044725682368272697053907625\ 955292415460713427/296259943955827852582801285292584714829716018656\ 255037750346809670487762054019998*c_1001_2^14 + 1629097849985231059277817678512429093466172216060615810444011768215\ 299471099837441607/296259943955827852582801285292584714829716018656\ 255037750346809670487762054019998*c_1001_2^13 + 1451057698345648306318345100678204653805320803041816032140880664277\ 09841964230545107/9875331465194261752760042843086157160990533955208\ 5012583448936556829254018006666*c_1001_2^12 + 2784011940351159720948038308626450741051551750383927746942003446870\ 9877409247586433/51079300682039284928069187119411157729261382526940\ 52375005979477077375207827931*c_1001_2^11 - 3846756732473584024851949148451437381479634980778935222915100022212\ 41066446487499089/2962599439558278525828012852925847148297160186562\ 55037750346809670487762054019998*c_1001_2^10 + 1496229230410875558438510998640235184406917470606115080212513283701\ 600409926864803371/296259943955827852582801285292584714829716018656\ 255037750346809670487762054019998*c_1001_2^9 + 2227080557394979298433705218060944399359371167175850125282968237289\ 6327636697557422/16458885775323769587933404738476928601650889925347\ 502097241489426138209003001111*c_1001_2^8 + 1132384699965968300161256312847938297420485800086065358381860091698\ 3062616685876197/32917771550647539175866809476953857203301779850695\ 004194482978852276418006002222*c_1001_2^7 + 1674599296080230614183225156933020241389066104168668606028186363202\ 397962624683107/163679527047418703084420599609162825872771281025555\ 2694753297290997169956099558*c_1001_2^6 + 2068436807062233504040549579506007466467129363038017582446990108765\ 262151117973523/548629525844125652931113491282564286721696330844916\ 7365747163142046069667667037*c_1001_2^5 - 3302867051821021422404842179751650421127748224750722686993440745054\ 1274277349184/14812997197791392629140064264629235741485800932812751\ 8875173404835243881027009999*c_1001_2^4 - 9043051981097605498575723296834388942548254672122107324820789974150\ 8453167873321455/29625994395582785258280128529258471482971601865625\ 5037750346809670487762054019998*c_1001_2^3 + 1077799578299257605966639908817776298151285908050166354929547231837\ 783786594350689/897757405926751068432731167553287014635503086837136\ 4780313539686984477638000606*c_1001_2^2 - 2456866540786243183811259345390707916039930066784646736585096669490\ 148968885756261/148129971977913926291400642646292357414858009328127\ 518875173404835243881027009999*c_1001_2 - 2960586585999379765892624086325785328866745875826947541114458891230\ 4608468779207/14812997197791392629140064264629235741485800932812751\ 8875173404835243881027009999, c_0011_0 - 1, c_0011_10 + 54623315531038422537419712842398939739963713017798811881720\ 58815008602364/8190112737778163386659455664220527693760851290648364\ 00740259633507860677*c_1001_2^17 - 1369934990158345632962487519096975666420179377699978444837727772879\ 76570899/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^16 - 15495813819769514232850619755906793483\ 19490269393980615683709885012310799434/8190112737778163386659455664\ 22052769376085129064836400740259633507860677*c_1001_2^15 + 3189894679023126881136445155169230912187889773141786093907373475047\ 68034762/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^14 - 10942275829054836187565960633617580897\ 10163432537107821053173349320877271883/8190112737778163386659455664\ 22052769376085129064836400740259633507860677*c_1001_2^13 - 1974509876562636785845340773331140056328999082521645235784848194947\ 013581023/819011273777816338665945566422052769376085129064836400740\ 259633507860677*c_1001_2^12 - 2218474224365731310164113472020586613\ 534544365408183631860162543566427580555/819011273777816338665945566\ 422052769376085129064836400740259633507860677*c_1001_2^11 - 8116831449097644867194374406256049646621148391495746198590386832227\ 74721785/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^10 - 15290055484293887615068228078973223871\ 60523131564504436503553909130763820290/8190112737778163386659455664\ 22052769376085129064836400740259633507860677*c_1001_2^9 - 1793168766907007971848270873774315392336859702867832878077015930445\ 363128946/819011273777816338665945566422052769376085129064836400740\ 259633507860677*c_1001_2^8 - 43712045602764395113906274187729655898\ 9865192819199861662633387829342855344/81901127377781633866594556642\ 2052769376085129064836400740259633507860677*c_1001_2^7 - 2497447835505893677449930556080992451951671178512268191455012997344\ 384711/452492416451832231307152246642018104627671342024771492121690\ 4052529617*c_1001_2^6 - 4284131894166014246452371045246218295913214\ 88295428644483522719475333115653/8190112737778163386659455664220527\ 69376085129064836400740259633507860677*c_1001_2^5 - 5313860156095330216767772173392448446089751672944184441200129795869\ 4084623/81901127377781633866594556642205276937608512906483640074025\ 9633507860677*c_1001_2^4 + 1136362007322074006663132466707790233802\ 43148577588376547692028925163711745/8190112737778163386659455664220\ 52769376085129064836400740259633507860677*c_1001_2^3 + 3005352465141690185178019026597195726218466175497319896975310108688\ 9227255/81901127377781633866594556642205276937608512906483640074025\ 9633507860677*c_1001_2^2 - 2187204835694745943086698375738259920362\ 3650790427095178895660981278691353/81901127377781633866594556642205\ 2769376085129064836400740259633507860677*c_1001_2 + 3120310866891262098274138213610429824831777097575846567362109874701\ 449623/819011273777816338665945566422052769376085129064836400740259\ 633507860677, c_0011_12 - 55067536067227812018467886634036983811978706129172488364615\ 6306221764135/81901127377781633866594556642205276937608512906483640\ 0740259633507860677*c_1001_2^17 + 142532171298223795311285530126090\ 10614455896926681625155629046683589607618/8190112737778163386659455\ 66422052769376085129064836400740259633507860677*c_1001_2^16 + 1452109057316425774603134701628112298663890040678498880073560822810\ 54204757/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^15 - 15987536150444922531930346731818407437\ 3302881837841355620955465345992667573/81901127377781633866594556642\ 2052769376085129064836400740259633507860677*c_1001_2^14 + 1097900503362453576417084302299989499122734828130995497271496202535\ 27550444/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^13 + 10406484268720765610689156805403687969\ 6327123402654317948893451827380783651/81901127377781633866594556642\ 2052769376085129064836400740259633507860677*c_1001_2^12 + 4891931673910709079726228484325034320971593594692333664956459387499\ 0756722/81901127377781633866594556642205276937608512906483640074025\ 9633507860677*c_1001_2^11 - 139167581697470004032305720303011616974\ 140593670874356287636006928826395658/819011273777816338665945566422\ 052769376085129064836400740259633507860677*c_1001_2^10 + 3796763902170380194770923863793189020646155997114062857763229862771\ 5768341/81901127377781633866594556642205276937608512906483640074025\ 9633507860677*c_1001_2^9 + 2809812562976989949187252306136501337705\ 6515129040188860377525491635208336/81901127377781633866594556642205\ 2769376085129064836400740259633507860677*c_1001_2^8 - 1315432892214058872232984783700718416302661692430000076416334475905\ 03807041/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^7 - 174454473530486973941821964728398670805\ 547484101253952220807222779004558/452492416451832231307152246642018\ 1046276713420247714921216904052529617*c_1001_2^6 - 1254030738851834822692673637259404159270972632026478336046802885389\ 2852565/81901127377781633866594556642205276937608512906483640074025\ 9633507860677*c_1001_2^5 - 3938819314295849392524760161458812462228\ 8074667299698374258760706204461792/81901127377781633866594556642205\ 2769376085129064836400740259633507860677*c_1001_2^4 - 2591189204011464384556825396587411652472422487969003277100194164168\ 6128887/81901127377781633866594556642205276937608512906483640074025\ 9633507860677*c_1001_2^3 + 2131453461161238921633686355068358581933\ 385463392623471686568235869773553/819011273777816338665945566422052\ 769376085129064836400740259633507860677*c_1001_2^2 + 6584208842908006526031729520132847434760401371141032328510590161072\ 210024/819011273777816338665945566422052769376085129064836400740259\ 633507860677*c_1001_2 - 8852802902434905250656012374151177445246327\ 25478677472088497095128652252/8190112737778163386659455664220527693\ 76085129064836400740259633507860677, c_0011_3 + 340592489381339220488529958279592213632652945910542113662985\ 3335659222437/81901127377781633866594556642205276937608512906483640\ 0740259633507860677*c_1001_2^17 - 859660056705913098870608813485126\ 68548317396024057358192861525987831325758/8190112737778163386659455\ 66422052769376085129064836400740259633507860677*c_1001_2^16 - 9525985471744078572444494403418339309254971532177713949260883986503\ 31818746/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^15 + 35632247837145218814267765028689767691\ 9243385930819023428868453650048941665/81901127377781633866594556642\ 2052769376085129064836400740259633507860677*c_1001_2^14 - 6870141988663406326000584762368510607262979802968313773440538058030\ 99200893/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^13 - 11258571719199081687474244481174924282\ 16547055644374313122758893213306779658/8190112737778163386659455664\ 22052769376085129064836400740259633507860677*c_1001_2^12 - 1169342058728801332870017863179087152272549628952984826406801674032\ 137280212/819011273777816338665945566422052769376085129064836400740\ 259633507860677*c_1001_2^11 - 2489411948023310872794859910101313400\ 72068766324080169942933776672961369080/8190112737778163386659455664\ 22052769376085129064836400740259633507860677*c_1001_2^10 - 8334867741869636838452382167725708443466497170503755069633929048314\ 50065927/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^9 - 953303279911755834933043699375406926609\ 797419145099886098861816312369094173/819011273777816338665945566422\ 052769376085129064836400740259633507860677*c_1001_2^8 - 6869673518525776005252125538329008173299149017315494688115467581467\ 1899116/81901127377781633866594556642205276937608512906483640074025\ 9633507860677*c_1001_2^7 - 1152545163502499325144905193055509791925\ 023696648179150321738954695218379/452492416451832231307152246642018\ 1046276713420247714921216904052529617*c_1001_2^6 - 2166398992097012451116724852783614092943604687036791435224662785225\ 56324460/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^5 + 139536008509274881273252744300044193239\ 39741739078827926376137754124174522/8190112737778163386659455664220\ 52769376085129064836400740259633507860677*c_1001_2^4 + 8371594051281494146659782304917457995344679246450204103671495779810\ 3550446/81901127377781633866594556642205276937608512906483640074025\ 9633507860677*c_1001_2^3 + 7143768800291908011466591334501533648714\ 946710067056744372910028421599304/819011273777816338665945566422052\ 769376085129064836400740259633507860677*c_1001_2^2 - 1981412870468672749598214959152234467415571620619642437404701691049\ 1344833/81901127377781633866594556642205276937608512906483640074025\ 9633507860677*c_1001_2 + 334992995293533452386242776376225357960526\ 4102717790118562591907039121145/81901127377781633866594556642205276\ 9376085129064836400740259633507860677, c_0011_8 - 100253041257313167283230743469638466327114724055589154526129\ 351120113497065/106471465591116124026572923634866860018891066778428\ 73209623375235602188801*c_1001_2^17 + 2555633695942572880806167400260392738593510616962128038941823032419\ 506124620/106471465591116124026572923634866860018891066778428732096\ 23375235602188801*c_1001_2^16 + 27410116192161749429226940580148345\ 292606146270697253635669963173647711297461/106471465591116124026572\ 92363486686001889106677842873209623375235602188801*c_1001_2^15 - 1772906520270017968671012588864657701539495089837037558613826849306\ 9082216405/10647146559111612402657292363486686001889106677842873209\ 623375235602188801*c_1001_2^14 + 2073040093680235205899521135643804\ 8647767729128974516441343824121612764013474/10647146559111612402657\ 292363486686001889106677842873209623375235602188801*c_1001_2^13 + 2803224380846663903193797335437758172644761706697086858044733396343\ 9606014159/10647146559111612402657292363486686001889106677842873209\ 623375235602188801*c_1001_2^12 + 2477105896079878387634479943671079\ 2973149204579964496674352207427115711158600/10647146559111612402657\ 292363486686001889106677842873209623375235602188801*c_1001_2^11 - 4384783724804347670855959735299081044806818638755090602982480819341\ 847028648/106471465591116124026572923634866860018891066778428732096\ 23375235602188801*c_1001_2^10 + 19192540899627633873995531016951376\ 287179219782902773480802864915970582769818/106471465591116124026572\ 92363486686001889106677842873209623375235602188801*c_1001_2^9 + 2020314632308957442320428393371801791423118110310423222362659019286\ 5491748171/10647146559111612402657292363486686001889106677842873209\ 623375235602188801*c_1001_2^8 - 72677735318651715617568827101840321\ 08155912317971385568192235260315497827986/1064714655911161240265729\ 2363486686001889106677842873209623375235602188801*c_1001_2^7 + 1519977852923113156262343880080926932196481901629851231629142090140\ 6597975/58824014138738190069929792063462353601597274463220293975819\ 752682885021*c_1001_2^6 + 37895482159383021591458236392186275683799\ 43701360791132087797924047727058307/1064714655911161240265729236348\ 6686001889106677842873209623375235602188801*c_1001_2^5 - 2695952159846470831099273943448988381866173164469678428046165482726\ 905881894/106471465591116124026572923634866860018891066778428732096\ 23375235602188801*c_1001_2^4 - 306476992372392796207914886854378982\ 8020999422668132209330953583500196253454/10647146559111612402657292\ 363486686001889106677842873209623375235602188801*c_1001_2^3 + 2159659705642372288700816012523650287503511738149612346782263352095\ 68253334/1064714655911161240265729236348668600188910667784287320962\ 3375235602188801*c_1001_2^2 + 7966156837976355098587057107756555354\ 32318001379074295357197032462375262980/1064714655911161240265729236\ 3486686001889106677842873209623375235602188801*c_1001_2 - 1850820273169401887270127387011970042062576925204350459453409347846\ 11553225/1064714655911161240265729236348668600188910667784287320962\ 3375235602188801, c_0101_0 - 1, c_0101_1 + 660047408219908592818053135917702865165946475195762636487117\ 5489706399206/81901127377781633866594556642205276937608512906483640\ 0740259633507860677*c_1001_2^17 - 165650729583680094266510598505442\ 816601367720939267151091991615946402518444/819011273777816338665945\ 566422052769376085129064836400740259633507860677*c_1001_2^16 - 1869588283541902963030764898182600888158648408363216844727446787564\ 904410853/819011273777816338665945566422052769376085129064836400740\ 259633507860677*c_1001_2^15 + 4166905340385062535158462074583524840\ 85557970442567371521655525739255467525/8190112737778163386659455664\ 22052769376085129064836400740259633507860677*c_1001_2^14 - 1338790086404447008387618493111306766465990511462092806285912393181\ 305604922/819011273777816338665945566422052769376085129064836400740\ 259633507860677*c_1001_2^13 - 2367446303715740678310979691312887799\ 339390784321421412142534020113408747367/819011273777816338665945566\ 422052769376085129064836400740259633507860677*c_1001_2^12 - 2648994258287093864937951242021936110083767222955398675565347974477\ 569472423/819011273777816338665945566422052769376085129064836400740\ 259633507860677*c_1001_2^11 - 9512495857518534281908079862899954480\ 45681583490406265372672526588941754321/8190112737778163386659455664\ 22052769376085129064836400740259633507860677*c_1001_2^10 - 1853807676734767820739535051082749802242968130021428014654846630708\ 762309706/819011273777816338665945566422052769376085129064836400740\ 259633507860677*c_1001_2^9 - 21549525740388951196678929725704422484\ 57779942251591659549675624307688743218/8190112737778163386659455664\ 22052769376085129064836400740259633507860677*c_1001_2^8 - 5088944011350365832448695483292392724803037067746470839922547501307\ 90307231/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^7 - 308024748344663401010840834629114801419\ 6205922031961696559932287671667400/45249241645183223130715224664201\ 81046276713420247714921216904052529617*c_1001_2^6 - 5224948868821214204925233477531717724238870421542567695986845070608\ 14270580/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^5 - 662125552012915008754728161150687335470\ 02351684674574859054970094124406581/8190112737778163386659455664220\ 52769376085129064836400740259633507860677*c_1001_2^4 + 1321674390281259190040564905431441049649344539308209840231401277730\ 49329884/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^3 + 312530251611141642979372566809199942669\ 75539882716507295572224175718159437/8190112737778163386659455664220\ 52769376085129064836400740259633507860677*c_1001_2^2 - 2842837322942467802692366232808628158299874349103334090474814589473\ 1379891/81901127377781633866594556642205276937608512906483640074025\ 9633507860677*c_1001_2 + 492249627384755401982302556820432412904516\ 0812227351915748868461606191305/81901127377781633866594556642205276\ 9376085129064836400740259633507860677, c_0101_10 - 94742445310150770344227448019367179440955618225236070977410\ 401754456970142/106471465591116124026572923634866860018891066778428\ 73209623375235602188801*c_1001_2^17 + 2369796022869887796864822945688382057919384956847530026246398679062\ 233526927/106471465591116124026572923634866860018891066778428732096\ 23375235602188801*c_1001_2^16 + 27028978296507496766240393848181589\ 483444201793206522210900976796596504815163/106471465591116124026572\ 92363486686001889106677842873209623375235602188801*c_1001_2^15 - 3583593196024047001564926934385207282046408290900734083407131157896\ 468543658/106471465591116124026572923634866860018891066778428732096\ 23375235602188801*c_1001_2^14 + 20463182649192142733141873326626072\ 285742077478722874982516961312313020950866/106471465591116124026572\ 92363486686001889106677842873209623375235602188801*c_1001_2^13 + 3567968380099532045826009003410125398475566264834450015686295102401\ 8843961576/10647146559111612402657292363486686001889106677842873209\ 623375235602188801*c_1001_2^12 + 4223726551211075511112350441390178\ 0763176126790145213898839745559436269036223/10647146559111612402657\ 292363486686001889106677842873209623375235602188801*c_1001_2^11 + 1926511918449800650238098169761054779654992859142607418809886687181\ 7723847681/10647146559111612402657292363486686001889106677842873209\ 623375235602188801*c_1001_2^10 + 3094293837503443657203477383419264\ 9655968091226356107188247962051011599537769/10647146559111612402657\ 292363486686001889106677842873209623375235602188801*c_1001_2^9 + 3494658140974737439316282026258387889734626871579890298075116665587\ 4820528954/10647146559111612402657292363486686001889106677842873209\ 623375235602188801*c_1001_2^8 + 12197474623040489188359010783348118\ 539429630630329630436706372619905643644607/106471465591116124026572\ 92363486686001889106677842873209623375235602188801*c_1001_2^7 + 6160130206791234074021915875246950779491310306521163634793994423953\ 7875040/58824014138738190069929792063462353601597274463220293975819\ 752682885021*c_1001_2^6 + 94356590969479833010416351173317900231515\ 04438773321421026611989763471615195/1064714655911161240265729236348\ 6686001889106677842873209623375235602188801*c_1001_2^5 + 2483939403621967295857770825379135862315636002028499890191242393648\ 802656419/106471465591116124026572923634866860018891066778428732096\ 23375235602188801*c_1001_2^4 - 110713340246428793940143539240838668\ 9591417813094157163684397717285189875549/10647146559111612402657292\ 363486686001889106677842873209623375235602188801*c_1001_2^3 - 3285538699208976590688035119384577994644263854791370233182168187520\ 26407294/1064714655911161240265729236348668600188910667784287320962\ 3375235602188801*c_1001_2^2 + 3421281574171019584952612069913360872\ 93428857522919376138283145968822699790/1064714655911161240265729236\ 3486686001889106677842873209623375235602188801*c_1001_2 - 7385379146830724191699508542680100725111524035169438720471617511205\ 0430253/10647146559111612402657292363486686001889106677842873209623\ 375235602188801, c_0101_11 - 30712140478091819759165579091318499887938630572412421788583\ 8257541899124953/10647146559111612402657292363486686001889106677842\ 873209623375235602188801*c_1001_2^17 + 7687466274008080934936213256339184523328389888684308057387669411746\ 297120111/106471465591116124026572923634866860018891066778428732096\ 23375235602188801*c_1001_2^16 + 87493644640583406698144131677661823\ 263329224047819228339074919830628963228090/106471465591116124026572\ 92363486686001889106677842873209623375235602188801*c_1001_2^15 - 1343919121494834153424858154847090622370606458384268375257172927400\ 6017131290/10647146559111612402657292363486686001889106677842873209\ 623375235602188801*c_1001_2^14 + 6331930152726669254128429691419724\ 8047942577422419302598470386188884428936291/10647146559111612402657\ 292363486686001889106677842873209623375235602188801*c_1001_2^13 + 1141301308073775587111009431958022272974745522086048239283535900935\ 23067573572/1064714655911161240265729236348668600188910667784287320\ 9623375235602188801*c_1001_2^12 + 132426962294464112774841557061636\ 853034210792698728863225684921347902216646753/106471465591116124026\ 57292363486686001889106677842873209623375235602188801*c_1001_2^11 + 5541575554266036403137527405825469943090432789320316074005327251811\ 6709655745/10647146559111612402657292363486686001889106677842873209\ 623375235602188801*c_1001_2^10 + 9314774380476182501384839942247654\ 9143447797651766198737909259392613069385381/10647146559111612402657\ 292363486686001889106677842873209623375235602188801*c_1001_2^9 + 1080212157664071621296925509477152204545705989322190263437121056699\ 97169788596/1064714655911161240265729236348668600188910667784287320\ 9623375235602188801*c_1001_2^8 + 3318264072371298194569097288099364\ 5833587657163206253634863513307161149422482/10647146559111612402657\ 292363486686001889106677842873209623375235602188801*c_1001_2^7 + 1693640187939745957813846959266916402779567101302048811553230436501\ 93381133/5882401413873819006992979206346235360159727446322029397581\ 9752682885021*c_1001_2^6 + 2748264675028338090939148553798857714936\ 8027559523196986158145858945135312270/10647146559111612402657292363\ 486686001889106677842873209623375235602188801*c_1001_2^5 + 5871909219796617292345788858188390243592142800633411961935030206928\ 167950309/106471465591116124026572923634866860018891066778428732096\ 23375235602188801*c_1001_2^4 - 510973077351918642128940258458133791\ 1951846720376590098422176008947079040506/10647146559111612402657292\ 363486686001889106677842873209623375235602188801*c_1001_2^3 - 1510407761499719563143935078324269809878555277028262951405098716706\ 349189141/106471465591116124026572923634866860018891066778428732096\ 23375235602188801*c_1001_2^2 + 119625668499399404615361754048991397\ 5122897078978180781536842094711598929976/10647146559111612402657292\ 363486686001889106677842873209623375235602188801*c_1001_2 - 1810658549281395832272259349221524475548884937005876684685956400572\ 88724243/1064714655911161240265729236348668600188910667784287320962\ 3375235602188801, c_0101_3 - 104615233473303257667798440820236751401989234785345232006589\ 2789599498398/81901127377781633866594556642205276937608512906483640\ 0740259633507860677*c_1001_2^17 + 255846285157275979538606393464084\ 40087210948952552807407282567376650485795/8190112737778163386659455\ 66422052769376085129064836400740259633507860677*c_1001_2^16 + 3130096691811913461374720747705387763240036898459427853133467431689\ 71798549/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^15 + 12729788875704577112821734558925797021\ 0579866366043095528307927265145246029/81901127377781633866594556642\ 2052769376085129064836400740259633507860677*c_1001_2^14 + 2109333083196598807139155261704725071701278839581198830713872825111\ 26288831/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^13 + 51970387755158941013693726838439102864\ 3491007036630344946738571863999883362/81901127377781633866594556642\ 2052769376085129064836400740259633507860677*c_1001_2^12 + 6832514138366430552396901356981280143823894929732554218772862305126\ 69356411/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^11 + 48411678821537216307724173484136289453\ 6199439540139953132327891556795386556/81901127377781633866594556642\ 2052769376085129064836400740259633507860677*c_1001_2^10 + 4648018544826747925631063017693123144808469806998817722050793475089\ 25395408/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^9 + 576828398008522312594822534684160368806\ 618306737224963722695464135397990676/819011273777816338665945566422\ 052769376085129064836400740259633507860677*c_1001_2^8 + 3442132677435211955343941824014074461285380948543213103067296740311\ 62329590/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^7 + 112762784336267364070680368916703229922\ 9987307959048346179424740308380106/45249241645183223130715224664201\ 81046276713420247714921216904052529617*c_1001_2^6 + 1674722393141400551993448703075961621616940836774230727015725962099\ 48295401/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^5 + 823296522240459196689434459441338832997\ 76785375420927567723370902771991988/8190112737778163386659455664220\ 52769376085129064836400740259633507860677*c_1001_2^4 + 1966071905301492450546173969503528116084884864259943880207906868345\ 247663/819011273777816338665945566422052769376085129064836400740259\ 633507860677*c_1001_2^3 - 12348269469301522657856033590344991006719\ 860479265142681743365942068177950/819011273777816338665945566422052\ 769376085129064836400740259633507860677*c_1001_2^2 - 6751499560815301221737637339811004134217328929570415396737001207107\ 3678/81901127377781633866594556642205276937608512906483640074025963\ 3507860677*c_1001_2 + 574801713494937635476122577701495309686113338\ 249936816420327020241686937/819011273777816338665945566422052769376\ 085129064836400740259633507860677, c_0110_12 - 16933613866725987886232722134832453434816305990395003625008\ 6987397636601811/10647146559111612402657292363486686001889106677842\ 873209623375235602188801*c_1001_2^17 + 4218965405313798871426560533129659383057941816517922816316496627046\ 303669875/106471465591116124026572923634866860018891066778428732096\ 23375235602188801*c_1001_2^16 + 48731110939255480309234651870481143\ 444986378193813692376865015033332519031103/106471465591116124026572\ 92363486686001889106677842873209623375235602188801*c_1001_2^15 - 1779533597993385037048263717417537139747836926530508826969670607832\ 011164079/106471465591116124026572923634866860018891066778428732096\ 23375235602188801*c_1001_2^14 + 34449338971026190742452681538961252\ 012581542655853917149688828851522064810318/106471465591116124026572\ 92363486686001889106677842873209623375235602188801*c_1001_2^13 + 6682316172730725476100488634896457816460869141242858697985649785841\ 9596142861/10647146559111612402657292363486686001889106677842873209\ 623375235602188801*c_1001_2^12 + 8057829103687735105472624445586575\ 9097890587852338321947466064051825101806301/10647146559111612402657\ 292363486686001889106677842873209623375235602188801*c_1001_2^11 + 3945233313575907160695121510624364123948244396830991054287021195387\ 2089613411/10647146559111612402657292363486686001889106677842873209\ 623375235602188801*c_1001_2^10 + 5537421081377878003751731031650435\ 4908009583500192569174839353820834686750405/10647146559111612402657\ 292363486686001889106677842873209623375235602188801*c_1001_2^9 + 6556739071030345356246751807207293518839829304636331732210027515039\ 3899815302/10647146559111612402657292363486686001889106677842873209\ 623375235602188801*c_1001_2^8 + 25459152323976699790058273016467774\ 749636264162162798466854401418806469808976/106471465591116124026572\ 92363486686001889106677842873209623375235602188801*c_1001_2^7 + 1068938760924027470302014108360270519444940459878832983060084235939\ 82819142/5882401413873819006992979206346235360159727446322029397581\ 9752682885021*c_1001_2^6 + 1708908752634463346775738932215761152606\ 7834782371926529527142712236200991775/10647146559111612402657292363\ 486686001889106677842873209623375235602188801*c_1001_2^5 + 5013871615172004473713878698584077033113101411036242146002081343919\ 073342394/106471465591116124026572923634866860018891066778428732096\ 23375235602188801*c_1001_2^4 - 241880475481896759230104144917997839\ 1873563536136016831185730251750346021316/10647146559111612402657292\ 363486686001889106677842873209623375235602188801*c_1001_2^3 - 1192007691153658272126670751735986294196392807706224324243642812446\ 932261008/106471465591116124026572923634866860018891066778428732096\ 23375235602188801*c_1001_2^2 + 515059779275957590467530502148980958\ 383403863874039040073501215765841741656/106471465591116124026572923\ 63486686001889106677842873209623375235602188801*c_1001_2 - 4348242795574733285719122886423702269310998499701001983140597318758\ 7430917/10647146559111612402657292363486686001889106677842873209623\ 375235602188801, c_1001_1 + 389348493259478652668369119686284591420599410495135307953912\ 6057046619774/81901127377781633866594556642205276937608512906483640\ 0740259633507860677*c_1001_2^17 - 979750445285866619205101562267271\ 17657295434685594016997400295561048124559/8190112737778163386659455\ 66422052769376085129064836400740259633507860677*c_1001_2^16 - 1096305505647333255407123037044807105039564565279901529701350157189\ 058864225/819011273777816338665945566422052769376085129064836400740\ 259633507860677*c_1001_2^15 + 3203570326176815375097951985762859246\ 17863447264016841995653825079535237933/8190112737778163386659455664\ 22052769376085129064836400740259633507860677*c_1001_2^14 - 7985011970977043402553878082869027621406342797188323382532781206321\ 06998416/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^13 - 13392518042263643174168386797646534072\ 27157280940766793521388213363597459734/8190112737778163386659455664\ 22052769376085129064836400740259633507860677*c_1001_2^12 - 1466092609299853548611435610441187299802079799287062284733484838637\ 020127316/819011273777816338665945566422052769376085129064836400740\ 259633507860677*c_1001_2^11 - 4431299243451101416443707468924996318\ 04097336088640107404439773755399499756/8190112737778163386659455664\ 22052769376085129064836400740259633507860677*c_1001_2^10 - 1038668932284017629953416565812107028556377930019632782286541708917\ 540039688/819011273777816338665945566422052769376085129064836400740\ 259633507860677*c_1001_2^9 - 11880482484497302742547994806464918772\ 02790261191254160170687206609488952443/8190112737778163386659455664\ 22052769376085129064836400740259633507860677*c_1001_2^8 - 2056058975798989701335505941863180222835810668423112335856731507464\ 92856584/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^7 - 163654139034557538011644661326504436211\ 1992374105577136238678909478755366/45249241645183223130715224664201\ 81046276713420247714921216904052529617*c_1001_2^6 - 2788092848762239327446085834827793443987333278883886855205771295815\ 93504097/8190112737778163386659455664220527693760851290648364007402\ 59633507860677*c_1001_2^5 - 165290687218863335988096671016797030698\ 08295106734821430222888920954032912/8190112737778163386659455664220\ 52769376085129064836400740259633507860677*c_1001_2^4 + 8424131666774398491066722405431728617529183721719882160397373997161\ 6880610/81901127377781633866594556642205276937608512906483640074025\ 9633507860677*c_1001_2^3 + 1418873497797652025187945909056873578318\ 6832890545954511406144619207995554/81901127377781633866594556642205\ 2769376085129064836400740259633507860677*c_1001_2^2 - 1826015683836624659883510389646040680247451414425566292880919962454\ 1247855/81901127377781633866594556642205276937608512906483640074025\ 9633507860677*c_1001_2 + 359221735321995527652293690566878783143103\ 9879121145620560784786092064224/81901127377781633866594556642205276\ 9376085129064836400740259633507860677, c_1001_2^18 - 21261/841*c_1001_2^17 - 234321/841*c_1001_2^16 + 96559/841*c_1001_2^15 - 183966/841*c_1001_2^14 - 269342/841*c_1001_2^13 - 285290/841*c_1001_2^12 - 63275/841*c_1001_2^11 - 219484/841*c_1001_2^10 - 233353/841*c_1001_2^9 - 18435/841*c_1001_2^8 - 63320/841*c_1001_2^7 - 55069/841*c_1001_2^6 + 2228/841*c_1001_2^5 + 17462/841*c_1001_2^4 + 473/841*c_1001_2^3 - 4253/841*c_1001_2^2 + 1360/841*c_1001_2 - 143/841 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.310 Total time: 0.520 seconds, Total memory usage: 32.09MB