Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 1579139742] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0462 geometric_solution 4.49759453 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 0 0 0 0 0 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 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 2.432406687530 0.151568573539 0 2 2 0 0132 0132 3201 1023 0 0 0 0 0 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 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.825029227237 0.348206738531 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 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 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.286804878252 0.209593626620 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 1 -1 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 -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.882626506071 0.740508002026 3 6 5 5 0132 0132 3012 1230 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 -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 1.187955048607 1.246892285213 4 4 6 3 3012 1230 0132 0132 0 0 0 0 0 -1 0 1 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 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 1.187955048607 1.246892285213 6 4 6 5 2310 0132 3201 0132 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 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.211179963012 0.818805347207 ==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' : 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' : 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' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 1519421396054886528231322767398282071681887403441503473557034749732\ 921300536488/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^32 - 1033482710042155353105347538898881546789815260447201117518356545232\ 854406652434/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^31 + 6336566733643482513715024520268478812891479558282685487577074521699\ 6690512402466/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^30 + 9325640984889108028989739238043765573646167887665369476875862771974\ 7428878853063/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^29 - 6095912322791563117026570044987414067266399534582781440789415407511\ 39216514937889/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^28 - 4680041681574587600767795428559493285067082971396887885476068905190\ 3743408778322/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^27 + 5429538490734811797708549014511026128042866874529795111268267726678\ 913964133981072/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^26 - 5089413843353670180611087432903061538311134152681195588791754328403\ 88463054516687/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^25 - 1561671095195807068118556287889486387406481681993667446459937040450\ 1915439515119611/76056320473269378082472692603854829099439406470389\ 2315578407088941603864283*c_0101_5^24 + 3055815171416130193139876839761930585186837703448337327968105908358\ 2831373059617068/76056320473269378082472692603854829099439406470389\ 2315578407088941603864283*c_0101_5^23 + 3983834484838587948685839906826346690515220837036077408691789321229\ 1391625892074214/76056320473269378082472692603854829099439406470389\ 2315578407088941603864283*c_0101_5^22 - 1294837447836908574694062902576732236430360086428535599459006523381\ 82749666471532242/7605632047326937808247269260385482909943940647038\ 92315578407088941603864283*c_0101_5^21 - 4350162990808676937518262804942188919276568865516696048736826389571\ 434839968248577/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^20 + 3220682255288242817819527328779878000136164289457767909507567191933\ 2226203892835957/69142109521153980074975175094413480999490369518535\ 665052582462631054896753*c_0101_5^19 - 2688194544862076933651146441321629749904023477189584938485849464489\ 3612752099855912/69142109521153980074975175094413480999490369518535\ 665052582462631054896753*c_0101_5^18 - 8329798973198436346832099853026258162305676161948557941351786872451\ 35224703228539978/7605632047326937808247269260385482909943940647038\ 92315578407088941603864283*c_0101_5^17 + 7289592747336771325806700785065106549960167122641696094359134803481\ 92653912467727354/7605632047326937808247269260385482909943940647038\ 92315578407088941603864283*c_0101_5^16 + 1324661164715805538534449032866833124653485513263137021009071890715\ 015273238405668515/760563204732693780824726926038548290994394064703\ 892315578407088941603864283*c_0101_5^15 - 8679568897572461415099884540863240241572923505856558227105656252217\ 17099326703276186/7605632047326937808247269260385482909943940647038\ 92315578407088941603864283*c_0101_5^14 - 1326818120535680825329204035148558029016053423303308404932246970114\ 847523126106299779/760563204732693780824726926038548290994394064703\ 892315578407088941603864283*c_0101_5^13 + 5984580428911102194883589952261447666615863054209815110745384785930\ 67594255758966153/7605632047326937808247269260385482909943940647038\ 92315578407088941603864283*c_0101_5^12 + 8352563053735407967558901528415849367942099576476067108498742502520\ 87357305026687800/7605632047326937808247269260385482909943940647038\ 92315578407088941603864283*c_0101_5^11 - 2366146770926600372318929171520640910855143655891896899566471982714\ 21746485741256381/7605632047326937808247269260385482909943940647038\ 92315578407088941603864283*c_0101_5^10 - 3253133615804202093858825269675228417908493867275112110074529261559\ 84486172529903494/7605632047326937808247269260385482909943940647038\ 92315578407088941603864283*c_0101_5^9 + 4517691922901661967385733276100719297280005755944963659659944560681\ 2384745145186664/76056320473269378082472692603854829099439406470389\ 2315578407088941603864283*c_0101_5^8 + 7508929007413294944468449475695420277708735496863579898470520168086\ 9219264855663674/76056320473269378082472692603854829099439406470389\ 2315578407088941603864283*c_0101_5^7 - 8306021368936990614952441248863121878686895074580936163365622776707\ 6147413899601/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^6 - 6863696405541730719324140093869407382874599836538308764667989601144\ 189950493999/550733674679720333689157803069187755969872602971681618\ 811301295395802943*c_0101_5^5 - 14286241504482288616857133159162385\ 54404127513597412920123496921535108800635939859/7605632047326937808\ 24726926038548290994394064703892315578407088941603864283*c_0101_5^4 + 57254636082281599510467994816779275724619412190162268096336700994\ 0898037445930506/76056320473269378082472692603854829099439406470389\ 2315578407088941603864283*c_0101_5^3 + 1825797449799206287749541167342011229993075627775987746645888451078\ 49656610676072/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^2 - 1296669854493928517567753887376423303596613820535708827980161071763\ 363517143804/691421095211539800749751750944134809994903695185356650\ 52582462631054896753*c_0101_5 - 36954508597208586126756834266606527\ 13658589125092997192745480330607982816971696/7605632047326937808247\ 26926038548290994394064703892315578407088941603864283, c_0011_0 - 1, c_0011_3 - 251596912111902348278825435189910962540982651458667907886647\ 3307569280193250/76056320473269378082472692603854829099439406470389\ 2315578407088941603864283*c_0101_5^32 - 2000227190889337875991988566411959024829922453589830964586487705362\ 550811498/760563204732693780824726926038548290994394064703892315578\ 407088941603864283*c_0101_5^31 + 1049687947805209458757090551511524\ 96177695928505567231533407887115098112610034/7605632047326937808247\ 26926038548290994394064703892315578407088941603864283*c_0101_5^30 + 1664830486724297988694710106542217435171336062139545554503725609936\ 33411055508/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^29 - 1001636548199994473920601779646648163965858973888357090651374301404\ 597210834208/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^28 - 2018742027655773526654121340458823007789680598934550782430295205255\ 58577508812/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^27 + 9081329629554607820285943514393383679022376390978896778502355906937\ 116579123568/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^26 + 1318745193726294177820950746100448266666654737128959847150688830733\ 72736170156/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^25 - 2675992046921119486687637440654391544673206204102397336420856797097\ 4420386057811/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^24 + 4821489089449482922601800951398248080697625744273765122567557431606\ 3691096784017/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^23 + 7372370526470246055128168075227522249551094024199014616254850854991\ 6232386295994/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^22 - 2128759459065126842937788149740770569117847302310957682312869339312\ 95073366309232/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^21 - 3395353742944580615868295822541921183908939191311477192040550236055\ 2512978665682/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^20 + 5515560348609052281022050803882075791158646609524743641440986733609\ 5446991428297/69142109521153980074975175094413480999490369518535665\ 052582462631054896753*c_0101_5^19 - 3961314907234854587915385063833014791918524753688177155756130432245\ 3788940306682/69142109521153980074975175094413480999490369518535665\ 052582462631054896753*c_0101_5^18 - 1479774892492381844112160782547637341688490222185551155146997679220\ 172678821079909/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^17 + 1123004038304572470675784028907255711635524903548907266411493908627\ 947059396975625/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^16 + 2408319947051496344482065305995311649148229190684751209959133015754\ 931026485375930/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^15 - 1340460104310370653723626091401684839799348757689918806931275127218\ 590674336116611/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^14 - 2452900589318281515095953149727645779426127414684272445711226070559\ 716763185728858/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^13 + 9179224069601896445299361752312289210690407719607508226222987338468\ 02810718673623/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^12 + 1563176988153899179930442179331073527092250470309336106935911657015\ 976721794535921/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^11 - 3564128894055574204723117296347185514814325558892880797100031496455\ 68213251992972/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^10 - 6121225312092549095267617404384405424667322924841996270755727364229\ 33202467628140/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^9 + 6306572580465392530925287745073543900258547104127728017304567031786\ 0019989283988/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^8 + 1402925762196564975596157072290459800213205047423625284171270206473\ 10131501053712/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^7 + 2707300164592833656134507898050007902899552635335176789662123443444\ 787051682414/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^6 - 1246751018919839981375674838719629428358988559281785283312682571406\ 0702075916/55073367467972033368915780306918775596987260297168161881\ 1301295395802943*c_0101_5^5 - 2829494855921921474237716422763835416\ 901179854618020855613109083825565928688166/760563204732693780824726\ 926038548290994394064703892315578407088941603864283*c_0101_5^4 + 9936733190001621699785738962376485654302705129384915544374524629142\ 38946707671/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^3 + 340470604759877827477108722944977\ 476914948209438939908246930732511871278020845/760563204732693780824\ 726926038548290994394064703892315578407088941603864283*c_0101_5^2 - 2509056240308978434111056450141983664146338918061536491100226978542\ 880159234/691421095211539800749751750944134809994903695185356650525\ 82462631054896753*c_0101_5 - 65081783366510679095276583405147582693\ 22275729150881102410742107787730278897/7605632047326937808247269260\ 38548290994394064703892315578407088941603864283, c_0011_5 - 125577596349660129117106948827162698776186831847138963289876\ 74009749473339576/7605632047326937808247269260385482909943940647038\ 92315578407088941603864283*c_0101_5^32 - 5482598081508807274399437550075227269509651074835902302582367815086\ 190160499/760563204732693780824726926038548290994394064703892315578\ 407088941603864283*c_0101_5^31 + 5242681339086873115752904921856404\ 29032545399092133943935739812707923401629767/7605632047326937808247\ 26926038548290994394064703892315578407088941603864283*c_0101_5^30 + 6433001166587770673369280564462199811438987185559512349844250936850\ 81740820765/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^29 - 5162440676227251235084574461588134463490926870900622574759212848445\ 013742840643/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^28 + 8855190187138289203098589821442487246779949648266512590410406109734\ 48393724929/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^27 + 4431560680716067806237926739037558841255664156483098078331305579795\ 0242459828388/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^26 - 1469933082551016790482409151187919652656132269001505149896206730788\ 4579573621905/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^25 - 1228620264063272336397260019384570110245654160671780082360347752122\ 60729587312496/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^24 + 2795345670942412205855902699069435246226750044153718541924577022600\ 70220056701415/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^23 + 2547598209241980232527558676101351658520909761034033808836319826512\ 83033325709620/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^22 - 1109734951928262342634966200517649693047200257994998639528430874858\ 146644896353369/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^21 + 2356601044951796119430315818746771709969519697864473740425796470465\ 57003540604878/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^20 + 2540257334810795067356896442771215939115187013414099296153971845082\ 94549013599589/6914210952115398007497517509441348099949036951853566\ 5052582462631054896753*c_0101_5^19 - 2779494460531877011365164974531461896509203636255535936112312604629\ 20154389421054/6914210952115398007497517509441348099949036951853566\ 5052582462631054896753*c_0101_5^18 - 5992584494257802172452351695426887773409916262037265983005623298479\ 457342349104054/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^17 + 7176582000072697037091150041380800012160771113874139562797241167535\ 721630046889563/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^16 + 9001839734431118360934283078534555565232686538048674111174870976781\ 347418416903436/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^15 - 8697456908013234679598580077578983473004047666608479402786092319795\ 782516751616167/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^14 - 8665174560904903734660404153844085390393305086881246220190875838987\ 287261296887640/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^13 + 6219357792751371337105927215277524096334320147298681130888178154334\ 547834121732159/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^12 + 5291730105427453146655985364154473435001773443015597918325298591892\ 952012083522148/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^11 - 2608946954792531422049284743919208711305234380950852722079914735303\ 205095698472233/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^10 - 2030425751093807417982178427610397803549921742477934613204077442014\ 573374164996645/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^9 + 5781246136906106496105761471808688469778835621334316574822351152120\ 86740728062411/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^8 + 4767090313255099698893486317731709410039382660249834368899652804052\ 22661023728659/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^7 - 4134672483549992257724110837408471155880418331264188379498284801981\ 2788868449165/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^6 - 4698597434623036271984585270393725418711141135392282644446506447642\ 4009111279/55073367467972033368915780306918775596987260297168161881\ 1301295395802943*c_0101_5^5 - 6148591654055974808402752074977744265\ 231412291624598203513839500983332480044801/760563204732693780824726\ 926038548290994394064703892315578407088941603864283*c_0101_5^4 + 4533237228421783809620783422529888653894170582834677964962478043279\ 014491740562/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^3 + 1025345538701531695058679599708879499829975594045166560798467452016\ 453074792381/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^2 - 1051305448151267266942615101450334453374940527392623701744565149131\ 0155540950/69142109521153980074975175094413480999490369518535665052\ 582462631054896753*c_0101_5 - 2239399682183066578636493836296840836\ 3229144966391483002458936283640869850709/76056320473269378082472692\ 6038548290994394064703892315578407088941603864283, c_0101_0 + 998901743546716747563711928989196818494078143260577835849933\ 295131315429135/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^32 - 1229503130589714706738937117010654496506357481563135569440775626725\ 090822203/760563204732693780824726926038548290994394064703892315578\ 407088941603864283*c_0101_5^31 - 4139415861891496985957919463949077\ 2684702524319065327116828938909152783753470/76056320473269378082472\ 6926038548290994394064703892315578407088941603864283*c_0101_5^30 + 1850952105502013203747268947772240756745114845980235935518922495539\ 5722386746/76056320473269378082472692603854829099439406470389231557\ 8407088941603864283*c_0101_5^29 + 452833642390116664076263908263852\ 343438226504575900238955662960503922903322583/760563204732693780824\ 726926038548290994394064703892315578407088941603864283*c_0101_5^28 - 7952986868608030031414848919375060842266639602192917693125561384420\ 15965673712/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^27 - 2975974681969041000987819285732900592677417115422227841932624157586\ 432762595642/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^26 + 6837638139011967826269218280798153709607773546859328786341541821573\ 643932710938/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^25 + 4289050960614588631599382507338556719875672556791114826521423659284\ 981256170793/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^24 - 3627573803072516501707856504085505959442432530897750757909082270541\ 2030685239437/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^23 + 2577028280918017663782243384533547183287074888465766164787551155682\ 9921353289023/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^22 + 9648262839569338305269412815736984332387877595497283667312680252308\ 3891335579950/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^21 - 1780284115433023387377345899322968357920500845231714490196730213014\ 19196113525284/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^20 - 9004117804640119626086682732051377293133335402755275839269432024983\ 270378612512/691421095211539800749751750944134809994903695185356650\ 52582462631054896753*c_0101_5^19 + 5129288982283217404179245428976844926650392820974601715986211399795\ 5309343275783/69142109521153980074975175094413480999490369518535665\ 052582462631054896753*c_0101_5^18 - 1326231939532713497570040390784693920153345967025895586351385456905\ 19854716657168/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^17 - 1055741521236170520987865401356725197358677994335771904850268770451\ 754721225743084/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^16 + 6083732238227484917492313650782720515073137342571418706952216173805\ 50402531286123/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^15 + 1216215074430160888182481370369595562281356193012649434875826949311\ 846359484535888/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^14 - 9439144357050221382374820446377754068970293134517193562729583875923\ 69207140625707/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^13 - 8544865411077053207323704780140045296225523218170165363533052404206\ 75687584842574/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^12 + 7924993756916807780591955442049251427614113513368843455534978855333\ 61547278669110/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^11 + 3566295930805781276885703397467444712364137114653081073863802024702\ 02056907859412/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^10 - 3765881782725789557485252816670362846019631758247975538770228482360\ 25979161462233/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^9 - 8892600734313111684368096077140114841721576685277388487604426271276\ 0488094281631/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^8 + 9666296750303022776943169590694198618844676972656119538298974022015\ 5775956941507/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^7 + 1631019686316018545013527105496105068596746035225416140687289700018\ 5032703187917/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^6 - 8501132208848250671123714921830138748386557942771535760464227644081\ 938669943/550733674679720333689157803069187755969872602971681618811\ 301295395802943*c_0101_5^5 - 30863628323265750701281628043372546803\ 27084907790323133252496595221049181336597/7605632047326937808247269\ 26038548290994394064703892315578407088941603864283*c_0101_5^4 + 5312690887693034206278450614198815596627545480743495734191443724156\ 81569923059/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^3 + 368350146092165582333829255760911\ 565516618557713321710066762553720371866455449/760563204732693780824\ 726926038548290994394064703892315578407088941603864283*c_0101_5^2 - 1495736757761422031870715810415130311636131422901529611652520434423\ 261879905/691421095211539800749751750944134809994903695185356650525\ 82462631054896753*c_0101_5 - 67940855168368305122041687681428234446\ 19605235877527791227083267163237031443/7605632047326937808247269260\ 38548290994394064703892315578407088941603864283, c_0101_1 - 512149487686058874588743104795499227806374291368010807263696\ 149122239574805/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^32 - 6109109874165347614871967727779703586567855966153181593343340892545\ 60266076/7605632047326937808247269260385482909943940647038923155784\ 07088941603864283*c_0101_5^31 + 21374656663534879238925068537166509\ 938398792794341954263203602510328872460932/760563204732693780824726\ 926038548290994394064703892315578407088941603864283*c_0101_5^30 + 4236902541036596454810755475593244908167641434961833051488688689828\ 0622943829/76056320473269378082472692603854829099439406470389231557\ 8407088941603864283*c_0101_5^29 - 197489612186862782934031355077085\ 688680770785735266170028483099639378622117756/760563204732693780824\ 726926038548290994394064703892315578407088941603864283*c_0101_5^28 - 1269573757379218913666574583037996250475614009938359576989958381291\ 69810457980/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^27 + 1905484384307615585765781308847225628803720856344215828579203616597\ 302237167026/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^26 + 7116963240768104414115478480458439393856781746327764668898854257479\ 09859851998/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^25 - 6013791064946114584176407666924452622873315519700138133102272754558\ 655123684440/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^24 + 8161334493690019364183796204051926619134469056911934047055769486028\ 536129013957/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^23 + 2036394249699187725151664120894044644471396439108829371170239964765\ 5361423364403/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^22 - 4188766131896481083560050997416894956941718926830906220967126482871\ 8453666747926/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^21 - 2526627411388898686815892729208240091067496682604305461267189673053\ 0505580467239/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^20 + 1242528374216028817917875657950621885350588190798595624217336083981\ 3709832330160/69142109521153980074975175094413480999490369518535665\ 052582462631054896753*c_0101_5^19 - 4613624725882292388528505517529584775962359653960537427961786843600\ 534480503810/691421095211539800749751750944134809994903695185356650\ 52582462631054896753*c_0101_5^18 - 3693558911721774164811653913942443097460669655531227434267557635661\ 13661207719500/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^17 + 1672443083496112560267084835801593432695584575334419220769510555583\ 21653805403666/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^16 + 6341282373267617955619258343833779856679342150689662309779399797465\ 04407322503297/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^15 - 2054494634668902798837915118514446667778193190891152967184510819051\ 24073596823622/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^14 - 6720464150202881600024108213440781982702960877254744671800751957297\ 46378667430236/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^13 + 1424525380786498932975286237556418326751275094283772122988060602328\ 53878191596186/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^12 + 4444798390119469989233456790738989277886138365423532784760664955664\ 80258206423732/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^11 - 5620093649826475946616416780155791608131310784015305139004427298958\ 5154289598755/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^10 - 1807573047877283763510060666261477707108234195148922853073373338133\ 80362529975565/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^9 + 9035182886886687595993012779907394587275308819095040612911393587211\ 797863550138/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^8 + 4322800441441839822830512539744792037960639565661901338194019619542\ 1297920549864/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^7 + 1784441563798336937814543556675985058784160269309397716891948028881\ 740360471688/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^6 - 4009810338193821451948443363468683469503099103787416793381323342476\ 307471471/550733674679720333689157803069187755969872602971681618811\ 301295395802943*c_0101_5^5 - 99939249793786356477051898377834618870\ 7848816194617819214052086789502869430851/76056320473269378082472692\ 6038548290994394064703892315578407088941603864283*c_0101_5^4 + 3114448628633464277890668459823231481329177891012990336242941059549\ 37933233300/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^3 + 129050721938390547240381437187798\ 552172212557895866668947854899282810094566023/760563204732693780824\ 726926038548290994394064703892315578407088941603864283*c_0101_5^2 - 5237933995717278009828321328581452245229973484306052199145546919094\ 89612850/6914210952115398007497517509441348099949036951853566505258\ 2462631054896753*c_0101_5 - 273337698253707553290536479522264281654\ 3144191737117781652266978294612365295/76056320473269378082472692603\ 8548290994394064703892315578407088941603864283, c_0101_2 - 233894292443141364440839623684652704288909061100843640897227\ 759259906793400/760563204732693780824726926038548290994394064703892\ 315578407088941603864283*c_0101_5^32 - 3910896690112679625666255461888132827485849495679149449574242343002\ 84959002/7605632047326937808247269260385482909943940647038923155784\ 07088941603864283*c_0101_5^31 + 10078442757968949021215563748452373\ 352892781657424836248829220723438536694289/760563204732693780824726\ 926038548290994394064703892315578407088941603864283*c_0101_5^30 + 2419536626243587880528270999261879757991446572045098407312479699535\ 7736902811/76056320473269378082472692603854829099439406470389231557\ 8407088941603864283*c_0101_5^29 - 996314813028565107500249427600415\ 26726747698234297758082714691393228003086126/7605632047326937808247\ 26926038548290994394064703892315578407088941603864283*c_0101_5^28 - 1230238165752141665534465250217464194142110632264774877658607356693\ 29798308349/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^27 + 1024619362858424733225698997314652067377096960070448857876546076211\ 994089163064/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^26 + 6928671620921266529593841878472503178830032376906624885321716076870\ 78649526544/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^25 - 4134942945935854812129838603047856594420237053066182472358222880471\ 371597253214/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^24 + 3031034216959455616954198586816216876099154872354454756724409339123\ 053714866169/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^23 + 1508832013151998880056831499271647428037120703475549349805149223284\ 0427375337981/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^22 - 2485485542075090857102351591809655103565590779596111699573500426995\ 7852678416658/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^21 - 2823886790583028359699501345716972682909937973516566130994794847592\ 1839776650483/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^20 + 8626370520926089871550772613521536211179675528066374537120510832457\ 198560437316/691421095211539800749751750944134809994903695185356650\ 52582462631054896753*c_0101_5^19 - 5628851813498873946302114292631312098522941669068284976121142808256\ 47901540437/6914210952115398007497517509441348099949036951853566505\ 2582462631054896753*c_0101_5^18 - 270500264378196292743733797482061\ 408511113418678051169343846136139563228081045870/760563204732693780\ 824726926038548290994394064703892315578407088941603864283*c_0101_5^\ 17 + 10898333294601872705628524967568446933214070324950785293290125\ 8321646329218333916/76056320473269378082472692603854829099439406470\ 3892315578407088941603864283*c_0101_5^16 + 5123957217896720482137949483668104424106693138292388502285422234257\ 19524240331851/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^15 - 2002498456624882594023871626307031372048370474321404007020629984728\ 89443261673274/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^14 - 6126411823420405534642603315131441911339619507324085393097035310336\ 29885716817186/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^13 + 1949261103526407003421795580336626484872906942589868209369281264686\ 31298922346561/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^12 + 4603013129237987341856964415368267531165304419268678379738708715115\ 55200488725982/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^11 - 1099997895141448096182741513017805375033980148890193881461547768723\ 77455829102882/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^10 - 2139650040328310163698278461759472682486769228875433304791025296993\ 94535173357440/7605632047326937808247269260385482909943940647038923\ 15578407088941603864283*c_0101_5^9 + 3161872720852935625420948294695314168280638801207312096077201441350\ 8876985684914/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^8 + 5881164046791913866934695247730921562920527906069187460131627410396\ 2191373203003/76056320473269378082472692603854829099439406470389231\ 5578407088941603864283*c_0101_5^7 - 1815920680492930240820584451842463459050456247015332206428002139441\ 733035124734/760563204732693780824726926038548290994394064703892315\ 578407088941603864283*c_0101_5^6 - 6328648701475877164990472999015502898130518392581617039100243764950\ 924585033/550733674679720333689157803069187755969872602971681618811\ 301295395802943*c_0101_5^5 - 11121648309385317924646118348211261724\ 99713741480835147513731233422786112267621/7605632047326937808247269\ 26038548290994394064703892315578407088941603864283*c_0101_5^4 + 6035442532332484980769215752198861827330537890638255639605028439695\ 04982410811/7605632047326937808247269260385482909943940647038923155\ 78407088941603864283*c_0101_5^3 + 195088391646330349376181001991232\ 865912091437917257042865147689430604080209199/760563204732693780824\ 726926038548290994394064703892315578407088941603864283*c_0101_5^2 - 1401618797901294482469616434743543285643357132600418723242556906702\ 654073894/691421095211539800749751750944134809994903695185356650525\ 82462631054896753*c_0101_5 - 43419997095272276257803442412952105119\ 98412016239362871661131462574904185912/7605632047326937808247269260\ 38548290994394064703892315578407088941603864283, c_0101_5^33 - 42*c_0101_5^31 - 33*c_0101_5^30 + 436*c_0101_5^29 - 248*c_0101_5^28 - 3524*c_0101_5^27 + 2727*c_0101_5^26 + 9480*c_0101_5^25 - 26694*c_0101_5^24 - 11088*c_0101_5^23 + 98810*c_0101_5^22 - 56822*c_0101_5^21 - 219904*c_0101_5^20 + 344245*c_0101_5^19 + 382747*c_0101_5^18 - 799839*c_0101_5^17 - 487302*c_0101_5^16 + 1048867*c_0101_5^15 + 411654*c_0101_5^14 - 848689*c_0101_5^13 - 223436*c_0101_5^12 + 429346*c_0101_5^11 + 79440*c_0101_5^10 - 132671*c_0101_5^9 - 20326*c_0101_5^8 + 23662*c_0101_5^7 + 4278*c_0101_5^6 - 2202*c_0101_5^5 - 683*c_0101_5^4 + 96*c_0101_5^3 + 57*c_0101_5^2 - 3*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB