Magma V2.19-8 Tue Aug 20 2013 16:19:17 on localhost [Seed = 2833855910] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3407 geometric_solution 6.57282551 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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 0.392698778304 0.320801970145 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 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 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 1.080040578607 0.926841899144 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 1 -1 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 -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.700454189235 1.012668649732 6 5 4 1 3201 1023 1023 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.700454189235 1.012668649732 4 2 3 4 3201 0132 1023 2310 0 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 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.346083252040 0.722771927185 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 1 0 -1 1 0 -1 0 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 0 0 0 0 0 0 0 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.339722033281 0.711184640764 6 6 2 3 1302 2031 0132 2310 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 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 0.530895443941 0.679549519070 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : 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_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 37 Groebner basis: [ t + 2572828124433647412743076472998617482578579195062485605753141693219\ 95259929609/3351390548316133933452003058222729162811969539562633969\ 9892607149542864320*c_0101_4^36 - 711403255953916072312323265078531\ 376123988237925433391540063018221805218083543/837847637079033483363\ 0007645556822907029923848906584924973151787385716080*c_0101_4^35 + 1145857000841331764073074537463248183518642810244399929247020762610\ 520030077753/335139054831613393345200305822272916281196953956263396\ 99892607149542864320*c_0101_4^34 + 5693828541017549217258307479126889967655486914737857064716897652242\ 8839951589493/33513905483161339334520030582227291628119695395626339\ 699892607149542864320*c_0101_4^33 - 1569171097289067617288533221168780093371447753566292222247203291854\ 1934072459803/67027810966322678669040061164454583256239390791252679\ 39978521429908572864*c_0101_4^32 - 4348346192561185194528249136964176237908649231135130695907073350006\ 98807210721227/3351390548316133933452003058222729162811969539562633\ 9699892607149542864320*c_0101_4^31 + 1818452509315064439561180883901052129061176305683062069749466962167\ 25099266364819/8378476370790334833630007645556822907029923848906584\ 924973151787385716080*c_0101_4^30 + 4056251218286093899324805080813866001826283889104438127868421904773\ 67161269470997/8378476370790334833630007645556822907029923848906584\ 924973151787385716080*c_0101_4^29 - 8038887348135794202707163209760563609073452851359337331566494335841\ 9151046353421/83784763707903348336300076455568229070299238489065849\ 2497315178738571608*c_0101_4^28 - 124170686192134316236077965661146\ 0368067871751234322059024124539899849990297128951/16756952741580669\ 667260015291113645814059847697813169849946303574771432160*c_0101_4^\ 27 + 10243584000326824735208791902346775593074361369859683794658592\ 26640382930625837207/4189238185395167416815003822778411453514961924\ 453292462486575893692858040*c_0101_4^26 - 4046317145852430079034504721123445897802569585630097249751756739869\ 75566077039991/3351390548316133933452003058222729162811969539562633\ 969989260714954286432*c_0101_4^25 - 1274054324778750389005542804886010251035195384909463003850815945094\ 8667726737764999/33513905483161339334520030582227291628119695395626\ 339699892607149542864320*c_0101_4^24 + 3129556731426596575219261060701377030121326292159067080857121291123\ 194896744697519/335139054831613393345200305822272916281196953956263\ 3969989260714954286432*c_0101_4^23 + 5581283946298084914160673173283580490689578582245064350040840740383\ 306815582374631/167569527415806696672600152911136458140598476978131\ 69849946303574771432160*c_0101_4^22 - 1680902016746326888452482925954814171479274029503545567006090785876\ 7695278330132857/67027810966322678669040061164454583256239390791252\ 67939978521429908572864*c_0101_4^21 - 7118129461128214289129540691508477781576251378815525469458933325188\ 76307009691663/3351390548316133933452003058222729162811969539562633\ 9699892607149542864320*c_0101_4^20 + 1666565448210614978330916347265851073206458478779652641027533560320\ 2739151738833201/41892381853951674168150038227784114535149619244532\ 92462486575893692858040*c_0101_4^19 - 2875166640270163877094675853258965912676803935048364703511671312121\ 433527779253089/167569527415806696672600152911136458140598476978131\ 69849946303574771432160*c_0101_4^18 - 6970269510717920036397337424938856504413745269524083363258818690353\ 3802412084305559/16756952741580669667260015291113645814059847697813\ 169849946303574771432160*c_0101_4^17 - 6045974523646517609874028287184288967654017852984498333018685444969\ 790744274218217/335139054831613393345200305822272916281196953956263\ 39699892607149542864320*c_0101_4^16 + 1051793572039445393119416971500832824999770633171252868968685421312\ 58332353323409741/3351390548316133933452003058222729162811969539562\ 6339699892607149542864320*c_0101_4^15 + 4703220275603879734823219690068110592076079213095123635587470121533\ 662217690551787/837847637079033483363000764555682290702992384890658\ 4924973151787385716080*c_0101_4^14 - 5843030126430809834879384657508186127019738106196383680047142662384\ 9182796029785373/33513905483161339334520030582227291628119695395626\ 339699892607149542864320*c_0101_4^13 - 8673417744341920634646097959728283257226906581219885519608883401366\ 681256071344897/167569527415806696672600152911136458140598476978131\ 69849946303574771432160*c_0101_4^12 + 1119193776225557479968627233374926552822291197386508254862658487074\ 4330140399949201/16756952741580669667260015291113645814059847697813\ 169849946303574771432160*c_0101_4^11 + 9892419016006686996863351660451578365137803736809573277168241098843\ 246183127080091/335139054831613393345200305822272916281196953956263\ 39699892607149542864320*c_0101_4^10 - 2902088942722091650347675107978836824804029542745804586268007481985\ 353919088866971/167569527415806696672600152911136458140598476978131\ 69849946303574771432160*c_0101_4^9 - 1993752253253336890871646978713429571548842625216089032257864628285\ 130101025894921/167569527415806696672600152911136458140598476978131\ 69849946303574771432160*c_0101_4^8 + 2985028770147113158043952929973746271888243628445446042889317675394\ 0795020861585/83784763707903348336300076455568229070299238489065849\ 2497315178738571608*c_0101_4^7 + 1034398196306367734140906242412595\ 331757165969603966749080137199640759165364664521/335139054831613393\ 34520030582227291628119695395626339699892607149542864320*c_0101_4^6 - 46309386282759653579149056856660352934129190000753077369183766118\ 119985327464851/670278109663226786690400611644545832562393907912526\ 7939978521429908572864*c_0101_4^5 - 7132085021774776097293534158468791209196715833200603803028266533832\ 9724485508989/16756952741580669667260015291113645814059847697813169\ 849946303574771432160*c_0101_4^4 + 3195697331353831670451133712336530883029713772520802132429029504278\ 6050330988047/33513905483161339334520030582227291628119695395626339\ 699892607149542864320*c_0101_4^3 + 9374944514189469795759985401095561311586866346025487912328226088931\ 17594311641/4189238185395167416815003822778411453514961924453292462\ 486575893692858040*c_0101_4^2 - 34619507003906032195523793223720407\ 8137370613511851858587358260125377538771823/67027810966322678669040\ 06116445458325623939079125267939978521429908572864*c_0101_4 - 2467144662458191546638359233294394261664923819212655675337361430835\ 791343121/335139054831613393345200305822272916281196953956263396998\ 92607149542864320, c_0011_0 - 1, c_0011_1 + 205925566775699511154479038145727159551582164723005155759803\ 339309501502383/523654773174395927101875477847301431689370240556661\ 557810821986711607255*c_0101_4^36 - 2170133160462967625047571646985423141567148622197933170511601543304\ 101611949/523654773174395927101875477847301431689370240556661557810\ 821986711607255*c_0101_4^35 - 2727933870127343971938526035593519021\ 83434252852356484310298100038675062294/5236547731743959271018754778\ 47301431689370240556661557810821986711607255*c_0101_4^34 + 4606624213496507327681457386557402568962475616118414646743582082619\ 0547783956/52365477317439592710187547784730143168937024055666155781\ 0821986711607255*c_0101_4^33 - 780291384511727289403343807620568046\ 8721408473532696088591250333135550310538/10473095463487918542037509\ 5569460286337874048111332311562164397342321451*c_0101_4^32 - 3811199447854481970953723597222507496108406172731166568806662002826\ 58545468244/5236547731743959271018754778473014316893702405566615578\ 10821986711607255*c_0101_4^31 + 40083608068452829530003063345803202\ 4419967811694477344219744182042050768149352/52365477317439592710187\ 5477847301431689370240556661557810821986711607255*c_0101_4^30 + 1604980060504782857771005839587299344049859911916979843778816262357\ 690008683951/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^29 - 3797326424543243328146961390127462\ 53425240243273292398417016602558175218027012/1047309546348791854203\ 75095569460286337874048111332311562164397342321451*c_0101_4^28 - 3341106284918191513648728212539729591084997579839005323032780510626\ 498838189039/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^27 + 5533919885843067933911232410984135\ 640649776844853143697714202734452618897217687/523654773174395927101\ 875477847301431689370240556661557810821986711607255*c_0101_4^26 + 4085458069226627873441667309203635275537876121163644236736841435445\ 4897424932/10473095463487918542037509556946028633787404811133231156\ 2164397342321451*c_0101_4^25 - 119215529915021225379032864540322424\ 82470286809287221005492788955657444303146448/5236547731743959271018\ 75477847301431689370240556661557810821986711607255*c_0101_4^24 + 3946275265141788941540832094448309995194983730434144665062876273373\ 482731728973/104730954634879185420375095569460286337874048111332311\ 562164397342321451*c_0101_4^23 + 2207795578810056488463881948263183\ 8322079055038591028194980742230305172588052374/52365477317439592710\ 1875477847301431689370240556661557810821986711607255*c_0101_4^22 - 1254800405935869122445318074494760356547639343291715402085650717339\ 9367866357769/10473095463487918542037509556946028633787404811133231\ 1562164397342321451*c_0101_4^21 - 358069235280443428614047104437915\ 75107689727776528973126299275019384597519847621/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^20 + 1068044145693699910837976978852438563433069720922612751214022715713\ 97476682016681/5236547731743959271018754778473014316893702405566615\ 57810821986711607255*c_0101_4^19 + 5129842819287175360615778628038854182656088910461271209798808143176\ 9862806589859/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^18 - 114596012981994078366822103812195\ 389159821997739078289922590479951049184306499151/523654773174395927\ 101875477847301431689370240556661557810821986711607255*c_0101_4^17 - 6336411886864390916829009441560055380943399333373193158927765923168\ 7802639550434/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^16 + 822638574130518418096515434449637\ 84341301439995012034506312054293431407816750872/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^15 + 5934214063462690785997805130043351972918546448797881226134841449582\ 8523215711926/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^14 - 393006900263942237880907949664018\ 94645796494871398244765684559361007010603122991/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^13 - 3859533382994818706634424036805724856136897530626450157821991851353\ 6550664115658/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^12 + 108334754938882166186033894282419\ 94881737785328705848853312912366869734028471519/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^11 + 1744471799358598483603702010853640793802774531482998711666471064306\ 5275443687327/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^10 - 547664903777950270342801680660589\ 497437564604799327955713889149335924421188429/523654773174395927101\ 875477847301431689370240556661557810821986711607255*c_0101_4^9 - 5686926060963835995614293690526153724106694485636814775700123494348\ 565948640024/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^8 - 14244167649192979398243163420306221\ 0915668565603614964893347352821576774215058/10473095463487918542037\ 5095569460286337874048111332311562164397342321451*c_0101_4^7 + 1347239046713474925829428307507220038708350466460085421532643196304\ 319218509757/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^6 + 49970998028936749511191703562170459\ 052956027561131572695977912634286027751792/104730954634879185420375\ 095569460286337874048111332311562164397342321451*c_0101_4^5 - 2151486498201073443347857634444924431428129359003306170956405010018\ 34559257371/5236547731743959271018754778473014316893702405566615578\ 10821986711607255*c_0101_4^4 - 346766643992238899611979539419149030\ 44685358499122889005371223246495549896996/5236547731743959271018754\ 77847301431689370240556661557810821986711607255*c_0101_4^3 + 1991929475068578859452438893580017004128177587469147642504607902691\ 2313123566/52365477317439592710187547784730143168937024055666155781\ 0821986711607255*c_0101_4^2 + 3589446778882823905075478729144730695\ 45947376628161836309329163746179866790/1047309546348791854203750955\ 69460286337874048111332311562164397342321451*c_0101_4 - 7617788549235573642140931589059678891024755218874751030686393316809\ 82590812/5236547731743959271018754778473014316893702405566615578108\ 21986711607255, c_0011_3 - 227409130479059472333806985038288745328986150487887629656280\ 030774858317442/523654773174395927101875477847301431689370240556661\ 557810821986711607255*c_0101_4^36 + 2398593287032038941898396413724947335702752499219883241172874996076\ 851940536/523654773174395927101875477847301431689370240556661557810\ 821986711607255*c_0101_4^35 + 2788623029898220421139820273810334298\ 70126026654565292119385345742097812661/5236547731743959271018754778\ 47301431689370240556661557810821986711607255*c_0101_4^34 - 5086671487957359669656348225108807095651340017568977416502565577988\ 8771524504/52365477317439592710187547784730143168937024055666155781\ 0821986711607255*c_0101_4^33 + 870770757750984406706016463984007531\ 7652639648865172221282874298416424686089/10473095463487918542037509\ 5569460286337874048111332311562164397342321451*c_0101_4^32 + 4203334293700996518232585426371663156024787471432073670143848230031\ 26195182821/5236547731743959271018754778473014316893702405566615578\ 10821986711607255*c_0101_4^31 - 44617609172582500245433337190419554\ 3918768951975413343522695856969250024388208/52365477317439592710187\ 5477847301431689370240556661557810821986711607255*c_0101_4^30 - 1767277427935562894912525497140778928265374978852117923015723423987\ 258824983924/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^29 + 4220455050957306872162802233342695\ 99629769766323345055001964780430158941140768/1047309546348791854203\ 75095569460286337874048111332311562164397342321451*c_0101_4^28 + 3666828405920958818427583034066109294275835453055807648074512992854\ 283631802701/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^27 - 6133626451785143535559210499193676\ 295230876127009322759374900555665913218466628/523654773174395927101\ 875477847301431689370240556661557810821986711607255*c_0101_4^26 - 3323592737543562510435080375121213685453431070839753460762231107025\ 0707483668/10473095463487918542037509556946028633787404811133231156\ 2164397342321451*c_0101_4^25 + 131408928103382695234566664065083572\ 25260536299224159694312187422543264637052232/5236547731743959271018\ 75477847301431689370240556661557810821986711607255*c_0101_4^24 - 4378067223299183038582920856697832122949971553810596542469119374131\ 938038398419/104730954634879185420375095569460286337874048111332311\ 562164397342321451*c_0101_4^23 - 2415115508550629011526657604385221\ 5919423167632546394384297425866652971468166416/52365477317439592710\ 1875477847301431689370240556661557810821986711607255*c_0101_4^22 + 1388098336921763723596378793797251214569967072358965752357448125936\ 5076384567116/10473095463487918542037509556946028633787404811133231\ 1562164397342321451*c_0101_4^21 + 389150027414974907355670820384445\ 94687075972378439377944506165648489127952699044/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^20 - 1180482099516560156127587437008958671845375537100418208702208522558\ 72947312666454/5236547731743959271018754778473014316893702405566615\ 57810821986711607255*c_0101_4^19 - 5566371082836871363168903203395525668973502912391260417685515829954\ 6611409714466/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^18 + 126660947389361998788087221937519\ 559930384550291576984113286496108460312379147829/523654773174395927\ 101875477847301431689370240556661557810821986711607255*c_0101_4^17 + 6897069500395229214900385491272167633212097993722464744828198383867\ 0913956405136/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^16 - 910478691309015074779588788543586\ 54378935987701868674535348792217892362659988543/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^15 - 6481269993949694646915450258696542153536257228667857719867104566298\ 1942178046364/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^14 + 436464367110872175265132105372856\ 13364384926947256026216921920208672810264944239/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^13 + 4225214568000154232323449420290667806686757733805471021496700507962\ 7503166478467/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^12 - 121381353179139285238351217379825\ 95994632252471850092889639850189182614855622081/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^11 - 1913984401444386189717842843391035688560637064210272260586454100710\ 3993494325208/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^10 + 689036028195432120245195546001449\ 351860612820925955232734068944521125942830421/523654773174395927101\ 875477847301431689370240556661557810821986711607255*c_0101_4^9 + 6254307684606758920391664871217448092618602090726632490017777849444\ 895416349401/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^8 + 15137756878364380906717971018453553\ 5061096276113977961388877266220370644143719/10473095463487918542037\ 5095569460286337874048111332311562164397342321451*c_0101_4^7 - 1483938307827308671239718474625378060620404364937295398946845998237\ 259493476738/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^6 - 53799003828851356558331097947869507\ 694316197348404070147901770215588640593106/104730954634879185420375\ 095569460286337874048111332311562164397342321451*c_0101_4^5 + 2369194814244986750494653124682719515682922580866477324095617861451\ 68710693204/5236547731743959271018754778473014316893702405566615578\ 10821986711607255*c_0101_4^4 + 374060585746377487392710264884036353\ 32364634100933137608959077090217579484174/5236547731743959271018754\ 77847301431689370240556661557810821986711607255*c_0101_4^3 - 2188982942654213496735203702124349251002812527378302088996548487282\ 8741477079/52365477317439592710187547784730143168937024055666155781\ 0821986711607255*c_0101_4^2 - 3874654721784546020765023438272729335\ 65554214658256049947920215160148940877/1047309546348791854203750955\ 69460286337874048111332311562164397342321451*c_0101_4 + 8346833045595102563754157583380102153064746790011899521355749190745\ 94755343/5236547731743959271018754778473014316893702405566615578108\ 21986711607255, c_0011_6 + 134843510054045147156508340444697557186426278222331311268497\ 031312814743687/523654773174395927101875477847301431689370240556661\ 557810821986711607255*c_0101_4^36 - 1421189040928277898506347559771134960406885394659098329492025869778\ 291388091/523654773174395927101875477847301431689370240556661557810\ 821986711607255*c_0101_4^35 - 1768535529925407505368313189265607832\ 75595866676461094917391776807613630476/5236547731743959271018754778\ 47301431689370240556661557810821986711607255*c_0101_4^34 + 3016301808605678999125721913006983903612417886869571595963781042886\ 7411628314/52365477317439592710187547784730143168937024055666155781\ 0821986711607255*c_0101_4^33 - 511618755654815266531776769810734437\ 3408098874457564289372753077775553981350/10473095463487918542037509\ 5569460286337874048111332311562164397342321451*c_0101_4^32 - 2494908229145487410676079933731390935738098742591368767231926533193\ 11285207276/5236547731743959271018754778473014316893702405566615578\ 10821986711607255*c_0101_4^31 + 26270981772222353802412635204820977\ 7950837541155734819128097155451276862997023/52365477317439592710187\ 5477847301431689370240556661557810821986711607255*c_0101_4^30 + 1050315035455470128820809286609817804699133600728518461944390637817\ 657310205584/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^29 - 2488060614399150010150187746443621\ 33131879263303241222034850528755709077067278/1047309546348791854203\ 75095569460286337874048111332311562164397342321451*c_0101_4^28 - 2184956737274844654703997557474660329306366155436221927282766359751\ 957507364366/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^27 + 3624215657938773323990022955544919\ 282925467134217372159830767078237639480133573/523654773174395927101\ 875477847301431689370240556661557810821986711607255*c_0101_4^26 + 2537593410921114350725229194857281353634965153242909463147132680039\ 8001252726/10473095463487918542037509556946028633787404811133231156\ 2164397342321451*c_0101_4^25 - 780117490564158009844210147498501010\ 8870754024057291451707362184729526563977397/52365477317439592710187\ 5477847301431689370240556661557810821986711607255*c_0101_4^24 + 2585664839152953242319262260905288109946858123302628512004024810616\ 526201734444/104730954634879185420375095569460286337874048111332311\ 562164397342321451*c_0101_4^23 + 1443174546187042683157247214379128\ 6969499950361856774803668713584458091313265791/52365477317439592710\ 1875477847301431689370240556661557810821986711607255*c_0101_4^22 - 8215795407264835368477642344670510876077559154521747841288171572651\ 111557585744/104730954634879185420375095569460286337874048111332311\ 562164397342321451*c_0101_4^21 - 2338309477983591430321543570793788\ 5920435163955358829450996598189794556925895384/52365477317439592710\ 1875477847301431689370240556661557810821986711607255*c_0101_4^20 + 6990330053201705489651696187630913221248001834485236801599030990530\ 9598618356509/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^19 + 334872584284489759358362666571084\ 79376327822328165153601963902263594258274817796/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^18 - 7497888254908669063145593308952099606965466598379418644033855335626\ 8082932024459/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^17 - 413741267784110790090608211461612\ 94572967199323617820403336534651165295244072346/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^16 + 5381333538199012359417317208999894830029834491670347941377295316961\ 0691935457678/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^15 + 387560182816864797627532997181196\ 76256948627553339395687727252467169010382957504/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^14 - 2570831216060668002646340296855976737157615323141693133685851538377\ 9050091877564/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^13 - 252043843408514209735582487304783\ 09558020567098924135054896885063063911115187447/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^12 + 7089047836263167285905034179877699704353167467969377536906791822462\ 112778991046/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^11 + 1139017147561269365155221648479968\ 6441906987462655357526758396284226928221810363/52365477317439592710\ 1875477847301431689370240556661557810821986711607255*c_0101_4^10 - 3617166551914849537259693887988991713842490592506106296700997569947\ 92568149026/5236547731743959271018754778473014316893702405566615578\ 10821986711607255*c_0101_4^9 - 371277005597980944923962242928087022\ 6759120294721555998472949282597481949147641/52365477317439592710187\ 5477847301431689370240556661557810821986711607255*c_0101_4^8 - 9267163014501924411482750555566611293028929088131070280044291891881\ 8393942516/10473095463487918542037509556946028633787404811133231156\ 2164397342321451*c_0101_4^7 + 8793048642285707897298767757341693346\ 32457547660899929179400296316448565779758/5236547731743959271018754\ 77847301431689370240556661557810821986711607255*c_0101_4^6 + 3250507324830225647585789669810953428943778659049639946088407757677\ 4460266995/10473095463487918542037509556946028633787404811133231156\ 2164397342321451*c_0101_4^5 - 1402975241512480769355436749644539475\ 76588564783230423547824100052989502272149/5236547731743959271018754\ 77847301431689370240556661557810821986711607255*c_0101_4^4 - 2252965180972649148212194074551580765984018067551714590575461532097\ 4949129604/52365477317439592710187547784730143168937024055666155781\ 0821986711607255*c_0101_4^3 + 1297146011043558382775210861610110293\ 4331727907494292591160491825038213474969/52365477317439592710187547\ 7847301431689370240556661557810821986711607255*c_0101_4^2 + 2329446231266271822333453340333262167523564853716237334470969921431\ 44653795/1047309546348791854203750955694602863378740481113323115621\ 64397342321451*c_0101_4 - 49566850943398766010039021424346113877434\ 0020176465417881915582984359137293/52365477317439592710187547784730\ 1431689370240556661557810821986711607255, c_0101_0 - 106290034329686034849361040024761390865573566683447711588388\ 989093019507423/523654773174395927101875477847301431689370240556661\ 557810821986711607255*c_0101_4^36 + 1117312280015725099396296184180407589096881216428795948084314617022\ 167539964/523654773174395927101875477847301431689370240556661557810\ 821986711607255*c_0101_4^35 + 1721474510908070012000099906309407362\ 51072248734534537711954132806508451904/5236547731743959271018754778\ 47301431689370240556661557810821986711607255*c_0101_4^34 - 2379188043251407017641731999826068278716681433913308797403360241532\ 2205047036/52365477317439592710187547784730143168937024055666155781\ 0821986711607255*c_0101_4^33 + 390292296449549117545697296113216335\ 1102495912377898431974191076853665589406/10473095463487918542037509\ 5569460286337874048111332311562164397342321451*c_0101_4^32 + 1976153755859663244519919619561763843204032906774956748836909743376\ 93935178504/5236547731743959271018754778473014316893702405566615578\ 10821986711607255*c_0101_4^31 - 20218135273429337469381636695679287\ 9038944720285719353268275321207552361716497/52365477317439592710187\ 5477847301431689370240556661557810821986711607255*c_0101_4^30 - 8366827192098934104156625512459313355184459965783329196515643089443\ 92679806386/5236547731743959271018754778473014316893702405566615578\ 10821986711607255*c_0101_4^29 + 19254008775193966657253591021537992\ 5921658989946608770454704197903982759914710/10473095463487918542037\ 5095569460286337874048111332311562164397342321451*c_0101_4^28 + 1760867548172363016965431133057738629410506315901065226142418565819\ 027882045979/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^27 - 2831215305082249725628035882168678\ 289478730084237800628452741860399952741760212/523654773174395927101\ 875477847301431689370240556661557810821986711607255*c_0101_4^26 - 3939776607362472521084050803636927721974428502426422238082695227457\ 0699761555/10473095463487918542037509556946028633787404811133231156\ 2164397342321451*c_0101_4^25 + 620293468107735479396527133584582587\ 4993528796484401468793872357554202004594023/52365477317439592710187\ 5477847301431689370240556661557810821986711607255*c_0101_4^24 - 2009445487445120401487055533037293986208829315154128326220049175862\ 932493879976/104730954634879185420375095569460286337874048111332311\ 562164397342321451*c_0101_4^23 - 1174684472681954213796349197246566\ 1627933715623178634632449300389543150570328539/52365477317439592710\ 1875477847301431689370240556661557810821986711607255*c_0101_4^22 + 6456282788862117314973448993360730220727972685560909801058142362071\ 898095289531/104730954634879185420375095569460286337874048111332311\ 562164397342321451*c_0101_4^21 + 1941120981932310757820614006340280\ 6546280007691406715073126132566485072397139936/52365477317439592710\ 1875477847301431689370240556661557810821986711607255*c_0101_4^20 - 5517450668030633552791482991119310808270874562695333125018471364800\ 5050790572406/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^19 - 279436055253910190634349902910174\ 99358661391286034907163099075683397071417783934/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^18 + 5929889721432412940689746685593610283652189199312282809455670139788\ 1492492529941/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^17 + 342384237473136221158454206441142\ 97655184792406875268748723976886460103744775204/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^16 - 4248415987871977471814398836414436466325122816597238545059957124611\ 6740921567307/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^15 - 317977965931209114303398938731019\ 63556089342275505822131549675971245237017224521/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^14 + 2014462862140484248969421510705762360585278097525106577420503914409\ 3301159078806/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^13 + 205835154399898485574299824087231\ 85996437746277041920149130385308280331112399588/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^12 - 5435548828930509649722825353290213393242551824742314110717036894457\ 589974718794/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^11 - 9266309323229268862405428137779840\ 562956754063257035631183114567463977593865407/523654773174395927101\ 875477847301431689370240556661557810821986711607255*c_0101_4^10 + 1852968818016581148108569803742620953957011932415495966183311779506\ 43636086194/5236547731743959271018754778473014316893702405566615578\ 10821986711607255*c_0101_4^9 + 300738556219467102713937392117295599\ 0575574996082706767342784108928257527156874/52365477317439592710187\ 5477847301431689370240556661557810821986711607255*c_0101_4^8 + 8187653355667114963552402251075271024901522387178332585757311094986\ 2141430052/10473095463487918542037509556946028633787404811133231156\ 2164397342321451*c_0101_4^7 - 7113964004981432574276656602206470947\ 98020387452033514761824871975298957502852/5236547731743959271018754\ 77847301431689370240556661557810821986711607255*c_0101_4^6 - 2803453901342048624542413424193808226448158512793403344513293072153\ 1919432223/10473095463487918542037509556946028633787404811133231156\ 2164397342321451*c_0101_4^5 + 1142270042823550974258527502321573656\ 21290298245338649094214609054100605100156/5236547731743959271018754\ 77847301431689370240556661557810821986711607255*c_0101_4^4 + 1947684542797001615922581859244271899572896107270632195106471841692\ 5947870141/52365477317439592710187547784730143168937024055666155781\ 0821986711607255*c_0101_4^3 - 1070722195817052956823673182456262339\ 4780732008178968804431733729120974452971/52365477317439592710187547\ 7847301431689370240556661557810821986711607255*c_0101_4^2 - 2024458766020967903888382456536071886017856373569264475585361806832\ 95558733/1047309546348791854203750955694602863378740481113323115621\ 64397342321451*c_0101_4 + 41629939646584306284871536605874911327303\ 7471513247815370570778357525349507/52365477317439592710187547784730\ 1431689370240556661557810821986711607255, c_0101_3 - 133317000131372050020402410070177025879912435975783173372267\ 285341667530387/523654773174395927101875477847301431689370240556661\ 557810821986711607255*c_0101_4^36 + 1404252058035374864201994798402799861164280246258505578213979161413\ 362062566/523654773174395927101875477847301431689370240556661557810\ 821986711607255*c_0101_4^35 + 1842748813849146236015927832769509999\ 99123824291647372586295323865862488851/5236547731743959271018754778\ 47301431689370240556661557810821986711607255*c_0101_4^34 - 2982563086331616080120675873028226789012831160877554305140851095442\ 2920708119/52365477317439592710187547784730143168937024055666155781\ 0821986711607255*c_0101_4^33 + 502041941159459094739302420606928028\ 7842907074963493894096890617179639150469/10473095463487918542037509\ 5569460286337874048111332311562164397342321451*c_0101_4^32 + 2469344698137240125462675549765640510669024394653288785999455219954\ 76705199871/5236547731743959271018754778473014316893702405566615578\ 10821986711607255*c_0101_4^31 - 25828027199570290354714665591577983\ 0622947557190973794861127468037931414128618/52365477317439592710187\ 5477847301431689370240556661557810821986711607255*c_0101_4^30 - 1040929286199549653104534633250823370412815313231083860212684844970\ 933733590299/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^29 + 2448899267418651816505396522340101\ 83474281277906159208971339293219314074228531/1047309546348791854203\ 75095569460286337874048111332311562164397342321451*c_0101_4^28 + 2171420863712778057334103466825691993135578917964395827234491545660\ 337604344956/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^27 - 3574519930026435846314830373738080\ 511240243013003490160722942706972390332044853/523654773174395927101\ 875477847301431689370240556661557810821986711607255*c_0101_4^26 - 3086191362592149369893213145345287138969892462826071045320129108894\ 3457673484/10473095463487918542037509556946028633787404811133231156\ 2164397342321451*c_0101_4^25 + 772592284745222155785632857385344384\ 7851601912762693178219831865107092366693607/52365477317439592710187\ 5477847301431689370240556661557810821986711607255*c_0101_4^24 - 2547384487670276155275966709340582782054006669443349523036361191426\ 114712628327/104730954634879185420375095569460286337874048111332311\ 562164397342321451*c_0101_4^23 - 1437541987692532262603323689121307\ 2550990501718583382590277379101021837892245401/52365477317439592710\ 1875477847301431689370240556661557810821986711607255*c_0101_4^22 + 8115128535135833156031152605716869384388671255037734599487084078504\ 860589581194/104730954634879185420375095569460286337874048111332311\ 562164397342321451*c_0101_4^21 + 2341303453294721671587030163611117\ 8471926583474127332669801774368420485477393414/52365477317439592710\ 1875477847301431689370240556661557810821986711607255*c_0101_4^20 - 6911368344607123990016490996035478519406620932140851935569840550628\ 5957870294699/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^19 - 335881167101079333082067118771102\ 55470762668175810833284400409181753361947979886/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^18 + 7415866640594822558784476145872094385458509714110012298719992545611\ 4119590080709/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^17 + 414221411199496089384858218842740\ 45454429160788879238332374815878572998654340611/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^16 - 5319083621597848788575415131021313948827210096370652616611969870545\ 9667869599633/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^15 - 387164490731253597935006484721313\ 32075659108940394668616836368973306169273102824/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^14 + 2535100525463579653700395412063204055421078730884988297311936707405\ 6052036316189/52365477317439592710187547784730143168937024055666155\ 7810821986711607255*c_0101_4^13 + 251458094963854955569009771010693\ 51489757574706373954824300405659071057128365937/5236547731743959271\ 01875477847301431689370240556661557810821986711607255*c_0101_4^12 - 6942406192742300033299127062484476261537043679191734427306464858496\ 181104109021/523654773174395927101875477847301431689370240556661557\ 810821986711607255*c_0101_4^11 - 1135012304824928828676166682701135\ 8223816707877749626922322098303832001543526828/52365477317439592710\ 1875477847301431689370240556661557810821986711607255*c_0101_4^10 + 3187159043211401044070103328774251346634052067525343387378866742984\ 43394506676/5236547731743959271018754778473014316893702405566615578\ 10821986711607255*c_0101_4^9 + 369384308923672408307691864600060148\ 1103896166218524585435933145672076616283071/52365477317439592710187\ 5477847301431689370240556661557810821986711607255*c_0101_4^8 + 9481547708569795603999971945668948118222755666880468371622844325265\ 9705706897/10473095463487918542037509556946028633787404811133231156\ 2164397342321451*c_0101_4^7 - 8739736453505562918836875440560405642\ 77805785901968610407083470480870951347353/5236547731743959271018754\ 77847301431689370240556661557810821986711607255*c_0101_4^6 - 3298432342774379706945974176601592755521028295557144632898198070580\ 5022803418/10473095463487918542037509556946028633787404811133231156\ 2164397342321451*c_0101_4^5 + 1395898879546703087846667790678140179\ 62516879755682870137397951141491509335689/5236547731743959271018754\ 77847301431689370240556661557810821986711607255*c_0101_4^4 + 2287023542743644526571287810140126440375144445314887253405551920659\ 7242788449/52365477317439592710187547784730143168937024055666155781\ 0821986711607255*c_0101_4^3 - 1294691459028563077919842765682015754\ 0124652439460442139850211637570605949714/52365477317439592710187547\ 7847301431689370240556661557810821986711607255*c_0101_4^2 - 2367957425980631777090329638207768340585842514170066160529812763961\ 81619551/1047309546348791854203750955694602863378740481113323115621\ 64397342321451*c_0101_4 + 49668327367690399135061028433555723808804\ 2020306907340938893572673508534588/52365477317439592710187547784730\ 1431689370240556661557810821986711607255, c_0101_4^37 - 10*c_0101_4^36 - 7*c_0101_4^35 + 223*c_0101_4^34 - 69*c_0101_4^33 - 1953*c_0101_4^32 + 950*c_0101_4^31 + 8844*c_0101_4^30 - 5024*c_0101_4^29 - 21198*c_0101_4^28 + 18140*c_0101_4^27 + 15482*c_0101_4^26 - 57371*c_0101_4^25 + 64632*c_0101_4^24 + 158858*c_0101_4^23 - 247001*c_0101_4^22 - 338097*c_0101_4^21 + 425226*c_0101_4^20 + 528734*c_0101_4^19 - 422658*c_0101_4^18 - 607869*c_0101_4^17 + 234035*c_0101_4^16 + 503814*c_0101_4^15 - 35741*c_0101_4^14 - 290572*c_0101_4^13 - 48370*c_0101_4^12 + 113223*c_0101_4^11 + 43024*c_0101_4^10 - 29102*c_0101_4^9 - 18364*c_0101_4^8 + 4689*c_0101_4^7 + 4747*c_0101_4^6 - 392*c_0101_4^5 - 733*c_0101_4^4 + 6*c_0101_4^3 + 61*c_0101_4^2 + c_0101_4 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB