Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 37986011] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0916 geometric_solution 4.80975479 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 -1.551847936566 0.562004697235 0 0 2 2 2310 0132 3201 0132 0 0 0 0 0 0 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 0 0 0 0 0 0 1 -1 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.281968763211 0.235060131617 1 3 1 4 2310 0132 0132 0132 0 0 0 0 0 0 1 -1 0 0 1 -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 0 0 0 -1 0 0 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.889787656589 0.975977151435 5 2 4 4 0132 0132 2310 3120 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 -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.344242992734 0.681870720401 3 3 2 5 3120 3201 0132 1023 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 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.344242992734 0.681870720401 3 6 6 4 0132 0132 1023 1023 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 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 1.187568417944 0.798252364804 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 -1 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 1.704646100892 0.276636720685 ==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' : negation(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' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_4']), '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_2, c_0011_4, c_0101_0, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 77911728664129969349763492308441783779861457005801568/1105993086127\ 52779252015194232023649723652892723603*c_0101_6^25 - 257885267662940002505006940109850792106446386367292868/110599308612\ 752779252015194232023649723652892723603*c_0101_6^24 + 1246043248958578335569586422182235454567808175991425783/11059930861\ 2752779252015194232023649723652892723603*c_0101_6^23 + 415623114101660933389255791108079182607404586705591834/122888120680\ 83642139112799359113738858183654747067*c_0101_6^22 - 8137759326218625841947728713798830738413218983465326287/11059930861\ 2752779252015194232023649723652892723603*c_0101_6^21 - 7301002449944131001594726918545028192063459225849396539/36866436204\ 250926417338398077341216574550964241201*c_0101_6^20 + 11354726599899401334180888388019995444903133542153225657/3686643620\ 4250926417338398077341216574550964241201*c_0101_6^19 + 6715258350938762782877415615323558202635340855882329092/12288812068\ 083642139112799359113738858183654747067*c_0101_6^18 - 32045901661946670474469448142108971400435330422572032346/3686643620\ 4250926417338398077341216574550964241201*c_0101_6^17 - 17154436432955318688446391187630909656873942176601185383/1105993086\ 12752779252015194232023649723652892723603*c_0101_6^16 + 12985321626566950457362856298520820479976379591497852940/1228881206\ 8083642139112799359113738858183654747067*c_0101_6^15 - 171759374762890092165101343540732186224406202775882417914/110599308\ 612752779252015194232023649723652892723603*c_0101_6^14 - 244901874080151224896708443501791008908849538878323213669/110599308\ 612752779252015194232023649723652892723603*c_0101_6^13 + 75628532997744904899193933040303932442014529508957504169/3686643620\ 4250926417338398077341216574550964241201*c_0101_6^12 + 214918912428640482780445952207925227995926125615923124744/110599308\ 612752779252015194232023649723652892723603*c_0101_6^11 + 24219875781336553147397723175483336292081101081252043961/1105993086\ 12752779252015194232023649723652892723603*c_0101_6^10 + 436655329073566132354177084494122969752093025542950974176/110599308\ 612752779252015194232023649723652892723603*c_0101_6^9 + 126436895400522278588858794392475131180429437677957174183/368664362\ 04250926417338398077341216574550964241201*c_0101_6^8 - 121853590069844891173987635241728388771420121393441371567/110599308\ 612752779252015194232023649723652892723603*c_0101_6^7 - 140291817143790197775336005467961500957550231385063731908/110599308\ 612752779252015194232023649723652892723603*c_0101_6^6 + 63037172442174948215372555712447054808294193841735290788/1105993086\ 12752779252015194232023649723652892723603*c_0101_6^5 + 31232896881296969357233706548675297590822952595446859716/1105993086\ 12752779252015194232023649723652892723603*c_0101_6^4 - 29589811860387637873056619705760815757902697415633468058/1105993086\ 12752779252015194232023649723652892723603*c_0101_6^3 - 4691724417319119821535587211112006442117273175184304843/36866436204\ 250926417338398077341216574550964241201*c_0101_6^2 - 119970115522374639173730380116701093831717963951801412/368664362042\ 50926417338398077341216574550964241201*c_0101_6 + 315013275983465452999146267365330878884963814448040958/110599308612\ 752779252015194232023649723652892723603, c_0011_0 - 1, c_0011_2 + 7813254105830555207681292204573327579592345463833/1228881206\ 8083642139112799359113738858183654747067*c_0101_6^25 + 20444219656075810221117491450525270863504272249788/1228881206808364\ 2139112799359113738858183654747067*c_0101_6^24 - 140792785757946256928830065632244637647644920009330/122888120680836\ 42139112799359113738858183654747067*c_0101_6^23 - 282374873346531526971108564313274884626263336961580/122888120680836\ 42139112799359113738858183654747067*c_0101_6^22 + 1040232237585609116165712716142698242569773735194734/12288812068083\ 642139112799359113738858183654747067*c_0101_6^21 + 1544308422203918226141368542425759877306666744882316/12288812068083\ 642139112799359113738858183654747067*c_0101_6^20 - 4685905291334337529553221860662136694364373173687020/12288812068083\ 642139112799359113738858183654747067*c_0101_6^19 - 3203525861923991710739161657959750338700560224701300/12288812068083\ 642139112799359113738858183654747067*c_0101_6^18 + 12733668476795733034656466894534723564029959776594017/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^17 - 6150010367387078349755437289510892294962166864458134/12288812068083\ 642139112799359113738858183654747067*c_0101_6^16 - 9859440328800284830379500432180801930391819010123270/12288812068083\ 642139112799359113738858183654747067*c_0101_6^15 + 24602503963465160787019132476297895429260001900366907/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^14 + 9779166593215826666436348130997818943198437869478723/12288812068083\ 642139112799359113738858183654747067*c_0101_6^13 - 34046487435268026340914420906250819388613241092539199/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^12 - 1463449474725492231599085025335377845807740347084848/12288812068083\ 642139112799359113738858183654747067*c_0101_6^11 + 4710850678155822867441599172673439596474561454730541/12288812068083\ 642139112799359113738858183654747067*c_0101_6^10 - 44803423206833279077354680474901815115657175298665275/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^9 - 7282791407310537171549672361986041894089654029345196/12288812068083\ 642139112799359113738858183654747067*c_0101_6^8 + 26706116122014227488344749560291876225278028434572715/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^7 + 112647978090495254471969043808208863153323626706031/122888120680836\ 42139112799359113738858183654747067*c_0101_6^6 - 10622452209553021723466741520211036920545700450132879/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^5 + 2911928596157793237126754384874999258228858071414947/12288812068083\ 642139112799359113738858183654747067*c_0101_6^4 + 2821287854741357363047072833266377490519104170450695/12288812068083\ 642139112799359113738858183654747067*c_0101_6^3 - 557830487747086282995000576220024138320001284210664/122888120680836\ 42139112799359113738858183654747067*c_0101_6^2 - 175763611342268343604511465917766339194851521639802/122888120680836\ 42139112799359113738858183654747067*c_0101_6 + 30095792390349902014467100908402421712698435480159/1228881206808364\ 2139112799359113738858183654747067, c_0011_4 - 2904515337147513737607893207348093485829319774164/1228881206\ 8083642139112799359113738858183654747067*c_0101_6^25 - 7081383751865825746244837952674463501226810095798/12288812068083642\ 139112799359113738858183654747067*c_0101_6^24 + 53835546178638405309580079567659771428824116529516/1228881206808364\ 2139112799359113738858183654747067*c_0101_6^23 + 96041042445480016205943483918319151518173444333407/1228881206808364\ 2139112799359113738858183654747067*c_0101_6^22 - 407790304760251807168460238228736788016019290289104/122888120680836\ 42139112799359113738858183654747067*c_0101_6^21 - 510864735798629261592281993041920628589433539170516/122888120680836\ 42139112799359113738858183654747067*c_0101_6^20 + 1860538190409794174757700690614186993724387072684949/12288812068083\ 642139112799359113738858183654747067*c_0101_6^19 + 912443046906408888505151321755862974574675255855892/122888120680836\ 42139112799359113738858183654747067*c_0101_6^18 - 5014989359359646103545020254536191918908717709468026/12288812068083\ 642139112799359113738858183654747067*c_0101_6^17 + 3053312811775765744601380225319166336008113187282152/12288812068083\ 642139112799359113738858183654747067*c_0101_6^16 + 3440839951534274983850486261951572310884172853679873/12288812068083\ 642139112799359113738858183654747067*c_0101_6^15 - 9848325354010553429004290612371702348401618849258362/12288812068083\ 642139112799359113738858183654747067*c_0101_6^14 - 2154669481972472612137497373926023062652339510021146/12288812068083\ 642139112799359113738858183654747067*c_0101_6^13 + 13651897246112936568344142593071657374815908534546344/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^12 - 1423864145529241656753670201349905558174514948096268/12288812068083\ 642139112799359113738858183654747067*c_0101_6^11 - 2279475463855419175614518404230963069630478128139359/12288812068083\ 642139112799359113738858183654747067*c_0101_6^10 + 16784733888479567255083224412720659703020006890494954/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^9 - 336188029848282965991109941418154763213111385504979/122888120680836\ 42139112799359113738858183654747067*c_0101_6^8 - 11200481155564683811716374715068039879016969461781365/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^7 + 1289891430535935098409272720875409503830971638681008/12288812068083\ 642139112799359113738858183654747067*c_0101_6^6 + 4154758801438109979116630594471375885406287028857786/12288812068083\ 642139112799359113738858183654747067*c_0101_6^5 - 1680096654195255087929738082597203392673206147547319/12288812068083\ 642139112799359113738858183654747067*c_0101_6^4 - 974488739615505750576041387679239434493647251699214/122888120680836\ 42139112799359113738858183654747067*c_0101_6^3 + 382699764249281077019202697151779943783107040854620/122888120680836\ 42139112799359113738858183654747067*c_0101_6^2 + 59940265349154763881523619696797540832039216551510/1228881206808364\ 2139112799359113738858183654747067*c_0101_6 - 14793356398543474600702274279666983821426795950129/1228881206808364\ 2139112799359113738858183654747067, c_0101_0 + 3023368872940531051969497329529854104653493337323/1228881206\ 8083642139112799359113738858183654747067*c_0101_6^25 + 8880232621419237295511824854522259163436728938464/12288812068083642\ 139112799359113738858183654747067*c_0101_6^24 - 51804684050718295509934070108692876220222600505418/1228881206808364\ 2139112799359113738858183654747067*c_0101_6^23 - 126359175063359234780010378676621479557358975176262/122888120680836\ 42139112799359113738858183654747067*c_0101_6^22 + 365017480893986899922275500577812332169349891930142/122888120680836\ 42139112799359113738858183654747067*c_0101_6^21 + 721462646328801517710681962575484947879376662702336/122888120680836\ 42139112799359113738858183654747067*c_0101_6^20 - 1603743725699733481570680021511758396536100985606067/12288812068083\ 642139112799359113738858183654747067*c_0101_6^19 - 1792539629031663374178547623698252755141154726064677/12288812068083\ 642139112799359113738858183654747067*c_0101_6^18 + 4450965263521201406085264115606149631550346223475098/12288812068083\ 642139112799359113738858183654747067*c_0101_6^17 - 861502111080859835135386677317815698858295624517259/122888120680836\ 42139112799359113738858183654747067*c_0101_6^16 - 4368627013060220643351048839132968211138040481468523/12288812068083\ 642139112799359113738858183654747067*c_0101_6^15 + 8205970723039030924847908573615312990568300029404770/12288812068083\ 642139112799359113738858183654747067*c_0101_6^14 + 6689814873567018535476283953851354528214253317312914/12288812068083\ 642139112799359113738858183654747067*c_0101_6^13 - 11580541499780421291860427821879019722442475539980779/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^12 - 4590037947789235494511207442805583047408824933688527/12288812068083\ 642139112799359113738858183654747067*c_0101_6^11 + 1118983731455255934305106162619042828912495757148189/12288812068083\ 642139112799359113738858183654747067*c_0101_6^10 - 16860794939573311890301924582297720797072535868128250/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^9 - 8388277887330150677614822360476549650083971150541637/12288812068083\ 642139112799359113738858183654747067*c_0101_6^8 + 8713514534428743525362565849756973839409225660804541/12288812068083\ 642139112799359113738858183654747067*c_0101_6^7 + 3183991306539198772241396239833326898257347558154415/12288812068083\ 642139112799359113738858183654747067*c_0101_6^6 - 3717205906330108340678748256988267881766156286003613/12288812068083\ 642139112799359113738858183654747067*c_0101_6^5 - 52273366028925975634916712499523444103993286654276/1228881206808364\ 2139112799359113738858183654747067*c_0101_6^4 + 1339673122921487653490389732275662366302463247244263/12288812068083\ 642139112799359113738858183654747067*c_0101_6^3 + 145585862231401082210857178521810578757770735023659/122888120680836\ 42139112799359113738858183654747067*c_0101_6^2 - 92272246372691640697892337966691767034712228748265/1228881206808364\ 2139112799359113738858183654747067*c_0101_6 - 3533389557455845613146595090930541455246498798912/12288812068083642\ 139112799359113738858183654747067, c_0101_3 + 1021763977054138941354650591020172650590610784456/1228881206\ 8083642139112799359113738858183654747067*c_0101_6^25 + 2427350298028705878775661402762540815573104825046/12288812068083642\ 139112799359113738858183654747067*c_0101_6^24 - 18995430189071093792214273691257068352508148048969/1228881206808364\ 2139112799359113738858183654747067*c_0101_6^23 - 32345445893451411156122330310156572543712343314273/1228881206808364\ 2139112799359113738858183654747067*c_0101_6^22 + 143813884896990519442006215421412145428770759789361/122888120680836\ 42139112799359113738858183654747067*c_0101_6^21 + 167251909332645384356130563220151460524668193311558/122888120680836\ 42139112799359113738858183654747067*c_0101_6^20 - 653100829047335555335370591992872044044828076984018/122888120680836\ 42139112799359113738858183654747067*c_0101_6^19 - 261394341794426713712282401279621923116206045987541/122888120680836\ 42139112799359113738858183654747067*c_0101_6^18 + 1728841257096593694574553081690020297704989044559661/12288812068083\ 642139112799359113738858183654747067*c_0101_6^17 - 1220797465437553027835281685974922199908752127889115/12288812068083\ 642139112799359113738858183654747067*c_0101_6^16 - 999270232042179223700269440464617213835167143883213/122888120680836\ 42139112799359113738858183654747067*c_0101_6^15 + 3457033257880321380646369240019979456902354826187438/12288812068083\ 642139112799359113738858183654747067*c_0101_6^14 + 459010583131818778038617377628081107022190252268526/122888120680836\ 42139112799359113738858183654747067*c_0101_6^13 - 4570691604547307839984510629843534385967393864603024/12288812068083\ 642139112799359113738858183654747067*c_0101_6^12 + 907199963402775072033452149354695432784404631155468/122888120680836\ 42139112799359113738858183654747067*c_0101_6^11 + 418436898293729020943255927439550626714728159763917/122888120680836\ 42139112799359113738858183654747067*c_0101_6^10 - 5964241056622005004754732962784893594996172066236095/12288812068083\ 642139112799359113738858183654747067*c_0101_6^9 + 444222022609864621903095883100013896418191304143999/122888120680836\ 42139112799359113738858183654747067*c_0101_6^8 + 3380108718154878645582038958900117981584235624204587/12288812068083\ 642139112799359113738858183654747067*c_0101_6^7 - 800236953230489322215926404246787717947895302221546/122888120680836\ 42139112799359113738858183654747067*c_0101_6^6 - 1216937832609152461374280380026422327830894807397228/12288812068083\ 642139112799359113738858183654747067*c_0101_6^5 + 694733657196189369480951351118315097860352288031242/122888120680836\ 42139112799359113738858183654747067*c_0101_6^4 + 236006313569808457175228257302488044544013157538696/122888120680836\ 42139112799359113738858183654747067*c_0101_6^3 - 112381809773558115387929314289816646416119867544603/122888120680836\ 42139112799359113738858183654747067*c_0101_6^2 + 4988318068595758288495564229463556291006138708906/12288812068083642\ 139112799359113738858183654747067*c_0101_6 + 3249974130175628810054543936420565349004800202260/12288812068083642\ 139112799359113738858183654747067, c_0101_5 + 6146277169651501542131525953521754344257805557611/1228881206\ 8083642139112799359113738858183654747067*c_0101_6^25 + 16043576260108871096998941417319318279415480339111/1228881206808364\ 2139112799359113738858183654747067*c_0101_6^24 - 110921775338909883656348312791979589591556755366576/122888120680836\ 42139112799359113738858183654747067*c_0101_6^23 - 221590298912890948601268331825297514816399162554189/122888120680836\ 42139112799359113738858183654747067*c_0101_6^22 + 820909694173464416673019675204172125528942347983336/122888120680836\ 42139112799359113738858183654747067*c_0101_6^21 + 1211798891369907405970893774813284500155815429438772/12288812068083\ 642139112799359113738858183654747067*c_0101_6^20 - 3702893490636216659644228295495582795759729596841249/12288812068083\ 642139112799359113738858183654747067*c_0101_6^19 - 2507885948628550407073802617389461653229954026234472/12288812068083\ 642139112799359113738858183654747067*c_0101_6^18 + 10073759680687727272923336146457149091068874525518737/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^17 - 4882853098712127178423916844681272445422754025743952/12288812068083\ 642139112799359113738858183654747067*c_0101_6^16 - 7833786917406808471389516751481262733695036904892310/12288812068083\ 642139112799359113738858183654747067*c_0101_6^15 + 19476452983684363844666450413288778487019837695900366/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^14 + 7635541271285917359004945920947819914762763661622893/12288812068083\ 642139112799359113738858183654747067*c_0101_6^13 - 27046211007094136823495720399565996388447627004801746/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^12 - 1028401982709029588173500242652012241849985556195430/12288812068083\ 642139112799359113738858183654747067*c_0101_6^11 + 4001501236652790618459841039233500159118882976306683/12288812068083\ 642139112799359113738858183654747067*c_0101_6^10 - 35321885249364099934404682999083639127967068801699535/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^9 - 5529176674732366110977488976855779578681900593012704/12288812068083\ 642139112799359113738858183654747067*c_0101_6^8 + 21432737975867796728739658395495824271847682992022925/1228881206808\ 3642139112799359113738858183654747067*c_0101_6^7 - 35564133951386605526348809980331538088831783896406/1228881206808364\ 2139112799359113738858183654747067*c_0101_6^6 - 8547773079583359643399730422001624870376775234964613/12288812068083\ 642139112799359113738858183654747067*c_0101_6^5 + 2408821432795919630976999688287328145486605435316569/12288812068083\ 642139112799359113738858183654747067*c_0101_6^4 + 2297117914191121516032001450544084575967847483082125/12288812068083\ 642139112799359113738858183654747067*c_0101_6^3 - 501574469578793445407127486406685770412931400664363/122888120680836\ 42139112799359113738858183654747067*c_0101_6^2 - 148763480703968621697646180791316592020800284811475/122888120680836\ 42139112799359113738858183654747067*c_0101_6 + 26787340755888910066558958470615266113950916403847/1228881206808364\ 2139112799359113738858183654747067, c_0101_6^26 + 3*c_0101_6^25 - 17*c_0101_6^24 - 43*c_0101_6^23 + 119*c_0101_6^22 + 248*c_0101_6^21 - 522*c_0101_6^20 - 636*c_0101_6^19 + 1464*c_0101_6^18 - 172*c_0101_6^17 - 1540*c_0101_6^16 + 2660*c_0101_6^15 + 2436*c_0101_6^14 - 3833*c_0101_6^13 - 1822*c_0101_6^12 + 472*c_0101_6^11 - 5526*c_0101_6^10 - 3128*c_0101_6^9 + 2966*c_0101_6^8 + 1276*c_0101_6^7 - 1317*c_0101_6^6 - 139*c_0101_6^5 + 483*c_0101_6^4 + 65*c_0101_6^3 - 45*c_0101_6^2 - 5*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB