Magma V2.19-8 Tue Aug 20 2013 23:44:37 on localhost [Seed = 1443902437] Type ? for help. Type -D to quit. Loading file "K13n201__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n201 geometric_solution 10.65769414 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 -1 0 3 -2 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.306106928445 2.142698300487 0 3 6 5 0132 3201 0132 0132 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 1 0 -1 1 0 -1 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492157772693 0.389224005928 4 0 8 7 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.360171560680 0.340475521911 5 7 1 0 0132 0321 2310 0132 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 3 -3 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.077111635751 0.630398095577 5 8 0 2 3120 0132 0132 2310 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 1 -1 0 0 2 -2 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.167509772306 0.786392031380 3 9 1 4 0132 0132 0132 3120 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 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 1.072806575793 0.825878916712 10 8 10 1 0132 1023 3120 0132 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 -1 1 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.470665650644 0.506181694438 11 10 2 3 0132 1302 0132 0321 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081885950311 1.061653068001 6 4 9 2 1023 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.077551660129 0.959152753677 11 5 10 8 3120 0132 3012 1302 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.045149081517 0.855846078944 6 9 6 7 0132 1230 3120 2031 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 1 -1 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.470665650644 0.506181694438 7 11 11 9 0132 1230 3012 3120 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 0 0 0 0 0 0 0 0.414720216827 0.792982145209 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_11']), 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_6'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_11' : negation(d['c_0011_3']), 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_3']), 'c_0101_10' : d['c_0101_1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_3'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_1001_3'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : negation(d['c_0101_6']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : negation(d['c_1001_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_3']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0101_6'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_8'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0101_7, c_0101_8, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 3230858132509015674255994979451009333953072142650987248/11764628639\ 05724864117157844289682732190523182901*c_1001_3^28 - 36042570652881105351771307315630946943022332912629851440/1176462863\ 905724864117157844289682732190523182901*c_1001_3^27 - 199222751592307683971871840927143448211850138037554122108/117646286\ 3905724864117157844289682732190523182901*c_1001_3^26 - 745704969635314442050596402473938992698643594605914537392/117646286\ 3905724864117157844289682732190523182901*c_1001_3^25 - 2144859613430923263665692732508497683810012320820912965566/11764628\ 63905724864117157844289682732190523182901*c_1001_3^24 - 917305632542233459976516316514094594106768955500491780365/213902338\ 891949975294028698961760496761913305982*c_1001_3^23 - 1184472637363994792813250164698140158577187644994282775367/13840739\ 5753614689896136216975256792022414492106*c_1001_3^22 - 69843460663796753783025351040402091591870282423369573580719/4705851\ 455622899456468631377158730928762092731604*c_1001_3^21 - 26739901976304044752654796246913602092549836339607819164438/1176462\ 863905724864117157844289682732190523182901*c_1001_3^20 - 1170104441947843401198487591410620893105357478588494233171411/37646\ 811644983195651749051017269847430096741852832*c_1001_3^19 - 261812309822780690077717839720143875892857273596552105842379/684487\ 4844542399209408918366776335896381225791424*c_1001_3^18 - 3206114581172546060584275160599768249958503387346084832973305/75293\ 623289966391303498102034539694860193483705664*c_1001_3^17 - 3239904668907729347604855322603726374392659651120129424959271/75293\ 623289966391303498102034539694860193483705664*c_1001_3^16 - 2976999146736531540626784318457740961604112271217266740690545/75293\ 623289966391303498102034539694860193483705664*c_1001_3^15 - 622027589819551532301824244953683352401395624634294283693081/188234\ 05822491597825874525508634923715048370926416*c_1001_3^14 - 472429618901627205096582356576008048032812086173470597328635/188234\ 05822491597825874525508634923715048370926416*c_1001_3^13 - 20329625512846671785952318042930605968591304208458315426866/1176462\ 863905724864117157844289682732190523182901*c_1001_3^12 - 101153715730600477669964903594081159068352903201745813767659/941170\ 2911245798912937262754317461857524185463208*c_1001_3^11 - 226078626441305998647565163167063406614625154811323062844601/376468\ 11644983195651749051017269847430096741852832*c_1001_3^10 - 20494200254952754883687291530634058207452855226949082400613/6844874\ 844542399209408918366776335896381225791424*c_1001_3^9 - 9030648892713518944592923206196114280419366874628745044489/68448748\ 44542399209408918366776335896381225791424*c_1001_3^8 - 194124374645111234103417604006346312937137074201048980891/382201133\ 451606047225878690530658349544129358912*c_1001_3^7 - 35966844659042817216956546845103348875346677536413665375/2139023388\ 91949975294028698961760496761913305982*c_1001_3^6 - 883524285925052175090880681413354932626593546395535539905/188234058\ 22491597825874525508634923715048370926416*c_1001_3^5 - 403913215256784084309507655074747910989969410448060091587/376468116\ 44983195651749051017269847430096741852832*c_1001_3^4 - 144977743355232026948778261992868884371982886420654051321/752936232\ 89966391303498102034539694860193483705664*c_1001_3^3 - 9457687716325508293195106116280704338676537288982293025/37646811644\ 983195651749051017269847430096741852832*c_1001_3^2 - 384779420149258187171897977392377575564200968961897489/188234058224\ 91597825874525508634923715048370926416*c_1001_3 - 44973274015866937625672561156340769558152431943707905/7529362328996\ 6391303498102034539694860193483705664, c_0011_0 - 1, c_0011_10 + 1704996719422378894773574575804689408/596314908700732244935\ 56813457511*c_1001_3^28 + 20359410921140669125663931159910136832/59\ 631490870073224493556813457511*c_1001_3^27 + 119936659937819295993632947584237373184/596314908700732244935568134\ 57511*c_1001_3^26 + 474442073918261020220231086128935831552/5963149\ 0870073224493556813457511*c_1001_3^25 + 1431089765968905626343444163488152596608/59631490870073224493556813\ 457511*c_1001_3^24 + 3512170923220019948952027683907571622240/59631\ 490870073224493556813457511*c_1001_3^23 + 7285719497123584069885784624941697670112/59631490870073224493556813\ 457511*c_1001_3^22 + 13097401617931696811107366466698524858640/5963\ 1490870073224493556813457511*c_1001_3^21 + 20749708657936487591546040762446628378080/5963149087007322449355681\ 3457511*c_1001_3^20 + 29310841078245456134673270772770242432046/596\ 31490870073224493556813457511*c_1001_3^19 + 37223670770654438710579334832269897111709/5963149087007322449355681\ 3457511*c_1001_3^18 + 42739541224093453534693669401494295489451/596\ 31490870073224493556813457511*c_1001_3^17 + 3425460534610199712787563489233584988592/45870377592364018841197548\ 81347*c_1001_3^16 + 42189657383876126433631249747077465895614/59631\ 490870073224493556813457511*c_1001_3^15 + 36367951605772305455121339778989840204283/5963149087007322449355681\ 3457511*c_1001_3^14 + 28503318861708423305710136242705390469518/596\ 31490870073224493556813457511*c_1001_3^13 + 20268771213408456896851304468568653402138/5963149087007322449355681\ 3457511*c_1001_3^12 + 13032114908068554366394944782350141983981/596\ 31490870073224493556813457511*c_1001_3^11 + 7538065943297855513964723581098480966797/59631490870073224493556813\ 457511*c_1001_3^10 + 3895557946313411387983441561409815815194/59631\ 490870073224493556813457511*c_1001_3^9 + 137106457463484240861443972198497395324/458703775923640188411975488\ 1347*c_1001_3^8 + 3621803663055417684664597603743535581/30269792319\ 8341241084044738363*c_1001_3^7 + 2460606804706569815781655964077759\ 77126/59631490870073224493556813457511*c_1001_3^6 + 71654629849554311285132718599962281601/5963149087007322449355681345\ 7511*c_1001_3^5 + 17147009435649425228073612981431919990/5963149087\ 0073224493556813457511*c_1001_3^4 + 3241744874522079992085042895165708084/59631490870073224493556813457\ 511*c_1001_3^3 + 454247297382404845554130351156006491/5963149087007\ 3224493556813457511*c_1001_3^2 + 4180584524378393145980461545865389\ 7/59631490870073224493556813457511*c_1001_3 + 1889028917949353007182191376822937/59631490870073224493556813457511\ , c_0011_11 + 550773928010148673143551563300477952/5963149087007322449355\ 6813457511*c_1001_3^28 + 6996067046888768854827057637858472960/5963\ 1490870073224493556813457511*c_1001_3^27 + 43630062993856156096960422960882380544/5963149087007322449355681345\ 7511*c_1001_3^26 + 181400644999455777217804391808535826944/59631490\ 870073224493556813457511*c_1001_3^25 + 571416746985824703312596133239277994880/596314908700732244935568134\ 57511*c_1001_3^24 + 1458075484447339033197005436160151775968/596314\ 90870073224493556813457511*c_1001_3^23 + 3135249531707543948079066860582345601056/59631490870073224493556813\ 457511*c_1001_3^22 + 5829303490678037905505845643978141812400/59631\ 490870073224493556813457511*c_1001_3^21 + 9537566844150122955141719718574826660928/59631490870073224493556813\ 457511*c_1001_3^20 + 13901189989075658061054428592131014384054/5963\ 1490870073224493556813457511*c_1001_3^19 + 18207130460956930584502291159085422095589/5963149087007322449355681\ 3457511*c_1001_3^18 + 21559781480357115264130965769834917047591/596\ 31490870073224493556813457511*c_1001_3^17 + 1782717850399104073364269050057652465919/45870377592364018841197548\ 81347*c_1001_3^16 + 22669975694592450733851533879560845943418/59631\ 490870073224493556813457511*c_1001_3^15 + 20200383662707728652586006407088123093789/5963149087007322449355681\ 3457511*c_1001_3^14 + 16392204749878999465415365267865611529316/596\ 31490870073224493556813457511*c_1001_3^13 + 12095248918650013435468727904664171387877/5963149087007322449355681\ 3457511*c_1001_3^12 + 8091821731510209368988220116878491074527/5963\ 1490870073224493556813457511*c_1001_3^11 + 4887355949946069680182935494368055834494/59631490870073224493556813\ 457511*c_1001_3^10 + 2649095410982551384795517511456548274337/59631\ 490870073224493556813457511*c_1001_3^9 + 98342745786800090662283156189261092346/4587037759236401884119754881\ 347*c_1001_3^8 + 2759624634322995100700090894978262103/302697923198\ 341241084044738363*c_1001_3^7 + 20096132684571977431367286781171951\ 0576/59631490870073224493556813457511*c_1001_3^6 + 63442987711311396701895911205939541912/5963149087007322449355681345\ 7511*c_1001_3^5 + 16703797365718148059533859100123150115/5963149087\ 0073224493556813457511*c_1001_3^4 + 3545692490972108970948406884071500932/59631490870073224493556813457\ 511*c_1001_3^3 + 575421364981315631674899045039348791/5963149087007\ 3224493556813457511*c_1001_3^2 + 6462006467334917029015470494094012\ 2/59631490870073224493556813457511*c_1001_3 + 3957405390333001241113624685926829/59631490870073224493556813457511\ , c_0011_3 - 8226517235629152285021359897746432/5963149087007322449355681\ 3457511*c_1001_3^28 - 95263014588915546398618213174360064/596314908\ 70073224493556813457511*c_1001_3^27 - 545793833345522993818998899424716544/596314908700732244935568134575\ 11*c_1001_3^26 - 2111100207984887505583203370223467264/596314908700\ 73224493556813457511*c_1001_3^25 - 6261016996175348696069364090064395392/59631490870073224493556813457\ 511*c_1001_3^24 - 15176629822446238229558413904820114528/5963149087\ 0073224493556813457511*c_1001_3^23 - 31217828121793326035857053701626307776/5963149087007322449355681345\ 7511*c_1001_3^22 - 55853257170175829836087107686022935152/596314908\ 70073224493556813457511*c_1001_3^21 - 88374522166979354369286984409050020880/5963149087007322449355681345\ 7511*c_1001_3^20 - 125117303973112256299600961516130041062/59631490\ 870073224493556813457511*c_1001_3^19 - 159835175919402299146997810243410171279/596314908700732244935568134\ 57511*c_1001_3^18 - 185331338597080219306136373943368237400/5963149\ 0870073224493556813457511*c_1001_3^17 - 15065978235923872013783444205892314887/4587037759236401884119754881\ 347*c_1001_3^16 - 189142301955901672478875049072454240769/596314908\ 70073224493556813457511*c_1001_3^15 - 167143361319128158513193403847021859412/596314908700732244935568134\ 57511*c_1001_3^14 - 135201135605365570047366557200307594391/5963149\ 0870073224493556813457511*c_1001_3^13 - 100025259103765702635580882320720266116/596314908700732244935568134\ 57511*c_1001_3^12 - 67562363552736044933170807635613803697/59631490\ 870073224493556813457511*c_1001_3^11 - 41540160424432163136853289906961789991/5963149087007322449355681345\ 7511*c_1001_3^10 - 23151279369646126567618525701388882126/596314908\ 70073224493556813457511*c_1001_3^9 - 894548344535779985771574108702252997/458703775923640188411975488134\ 7*c_1001_3^8 - 26524545656085137332844092497895482/3026979231983412\ 41084044738363*c_1001_3^7 - 2080025340937518151046327444562513232/5\ 9631490870073224493556813457511*c_1001_3^6 - 724702180989780529568131646474245836/596314908700732244935568134575\ 11*c_1001_3^5 - 217732594339417732465322663139880575/59631490870073\ 224493556813457511*c_1001_3^4 - 55468414888792275747854797057481113\ /59631490870073224493556813457511*c_1001_3^3 - 11853536534074403218697069327992047/5963149087007322449355681345751\ 1*c_1001_3^2 - 2042983672402089733811373655275243/59631490870073224\ 493556813457511*c_1001_3 - 247450696036436108185248609596962/596314\ 90870073224493556813457511, c_0101_0 - 6153210889393094581582937582874624/5963149087007322449355681\ 3457511*c_1001_3^28 - 67104016050818567104627414294364160/596314908\ 70073224493556813457511*c_1001_3^27 - 356165156153410770580943659137570816/596314908700732244935568134575\ 11*c_1001_3^26 - 1259693425930397993438753229868274688/596314908700\ 73224493556813457511*c_1001_3^25 - 3382690197563336781246736989882449152/59631490870073224493556813457\ 511*c_1001_3^24 - 7351712344954604119315236182142383232/59631490870\ 073224493556813457511*c_1001_3^23 - 13402383587817422186888610593075259008/5963149087007322449355681345\ 7511*c_1001_3^22 - 20959904019957850796080345235637483168/596314908\ 70073224493556813457511*c_1001_3^21 - 28483813848832015519470588029213943104/5963149087007322449355681345\ 7511*c_1001_3^20 - 33837793983303787205095542778129858408/596314908\ 70073224493556813457511*c_1001_3^19 - 35130598633292259754505922804793508172/5963149087007322449355681345\ 7511*c_1001_3^18 - 31585375795112333982140060922829565318/596314908\ 70073224493556813457511*c_1001_3^17 - 1846404630470791500257917200476459119/45870377592364018841197548813\ 47*c_1001_3^16 - 14463825320548169359287770987007169734/59631490870\ 073224493556813457511*c_1001_3^15 - 5442331670442697576521968288469302423/59631490870073224493556813457\ 511*c_1001_3^14 + 1163025674617320388691720867742592356/59631490870\ 073224493556813457511*c_1001_3^13 + 4637146490898430533967653196892877650/59631490870073224493556813457\ 511*c_1001_3^12 + 5393618339441454834525722341041075189/59631490870\ 073224493556813457511*c_1001_3^11 + 4488490959820937658264405406012072120/59631490870073224493556813457\ 511*c_1001_3^10 + 3008502226183453480664794619961165699/59631490870\ 073224493556813457511*c_1001_3^9 + 129235036379877071933275720368643952/458703775923640188411975488134\ 7*c_1001_3^8 + 3999634349827658701892372125379788/30269792319834124\ 1084044738363*c_1001_3^7 + 308988761573159206138767019187048039/596\ 31490870073224493556813457511*c_1001_3^6 + 99901582204152009962711432391447829/5963149087007322449355681345751\ 1*c_1001_3^5 + 25920385554513515853975602222771150/5963149087007322\ 4493556813457511*c_1001_3^4 + 5103805145422439069762625591475496/59\ 631490870073224493556813457511*c_1001_3^3 + 628045251113297999192246727339164/59631490870073224493556813457511*\ c_1001_3^2 - 45895059131302991881961821778427/596314908700732244935\ 56813457511*c_1001_3 + 15178062099641790480638765346811/59631490870\ 073224493556813457511, c_0101_1 - 2332048067957090649525324445580792832/5963149087007322449355\ 6813457511*c_1001_3^28 - 27519090784710070244754982713139165184/596\ 31490870073224493556813457511*c_1001_3^27 - 160357525135521298156263473779075229952/596314908700732244935568134\ 57511*c_1001_3^26 - 628488424772447524309026768596396089600/5963149\ 0870073224493556813457511*c_1001_3^25 - 1881132214242650247133490240335872096896/59631490870073224493556813\ 457511*c_1001_3^24 - 4586049447911509878142642569465789783840/59631\ 490870073224493556813457511*c_1001_3^23 - 9458085826409316780071614467053256073024/59631490870073224493556813\ 457511*c_1001_3^22 - 16915192720996588367152435943837150269552/5963\ 1490870073224493556813457511*c_1001_3^21 - 26674642616980176515690073589220916630864/5963149087007322449355681\ 3457511*c_1001_3^20 - 37523999537530281049307066299848535343458/596\ 31490870073224493556813457511*c_1001_3^19 - 47475810209230598162141758956293827224101/5963149087007322449355681\ 3457511*c_1001_3^18 - 54327166197391529286990341528996493151414/596\ 31490870073224493556813457511*c_1001_3^17 - 4341117514338754266936493345438380839380/45870377592364018841197548\ 81347*c_1001_3^16 - 53327298643896655902191428170106146336160/59631\ 490870073224493556813457511*c_1001_3^15 - 45867626847294196231716674311667266154387/5963149087007322449355681\ 3457511*c_1001_3^14 - 35887470481784289417337328111749222522826/596\ 31490870073224493556813457511*c_1001_3^13 - 25491548735722526522825711500693959981599/5963149087007322449355681\ 3457511*c_1001_3^12 - 16385059907700089280248420524289644375783/596\ 31490870073224493556813457511*c_1001_3^11 - 9484336425396518890219989114769005646783/59631490870073224493556813\ 457511*c_1001_3^10 - 4911963838531997460714220558341171708379/59631\ 490870073224493556813457511*c_1001_3^9 - 173603071896704022062655777754045543258/458703775923640188411975488\ 1347*c_1001_3^8 - 4618407600375740022278081853827549317/30269792319\ 8341241084044738363*c_1001_3^7 - 3173307918177686753722298329761982\ 34779/59631490870073224493556813457511*c_1001_3^6 - 94035090354945339546102338942205088768/5963149087007322449355681345\ 7511*c_1001_3^5 - 23104811682923648298971662513105311578/5963149087\ 0073224493556813457511*c_1001_3^4 - 4545088347659759447466658221026354955/59631490870073224493556813457\ 511*c_1001_3^3 - 676554657437812817728156143676724870/5963149087007\ 3224493556813457511*c_1001_3^2 - 6858773288547733074135357775919605\ 6/59631490870073224493556813457511*c_1001_3 - 3638243888871305757862986192982656/59631490870073224493556813457511\ , c_0101_2 - 1697434387262449790872444813918041088/5963149087007322449355\ 6813457511*c_1001_3^28 - 19297721603056864384080801564534409216/596\ 31490870073224493556813457511*c_1001_3^27 - 108273318170785173816653224518431668480/596314908700732244935568134\ 57511*c_1001_3^26 - 409379530971607818817049778110792135936/5963149\ 0870073224493556813457511*c_1001_3^25 - 1184891356779181867839749934730549084288/59631490870073224493556813\ 457511*c_1001_3^24 - 2797504871725544615414000124250812388384/59631\ 490870073224493556813457511*c_1001_3^23 - 5591878860175960085334796807305955680960/59631490870073224493556813\ 457511*c_1001_3^22 - 9696695577675805410040699867605973935280/59631\ 490870073224493556813457511*c_1001_3^21 - 14824656605455319135910069490601112367952/5963149087007322449355681\ 3457511*c_1001_3^20 - 20206650821296214084734125350283476821554/596\ 31490870073224493556813457511*c_1001_3^19 - 24747772771756479813435113247214441591589/5963149087007322449355681\ 3457511*c_1001_3^18 - 27372828082202806948770731562669105752614/596\ 31490870073224493556813457511*c_1001_3^17 - 2110029567134351804162664872032667726182/45870377592364018841197548\ 81347*c_1001_3^16 - 24939784506587770275973307134322801422742/59631\ 490870073224493556813457511*c_1001_3^15 - 20570777065441728862069790172810640470481/5963149087007322449355681\ 3457511*c_1001_3^14 - 15368892111544625164622602456753856818785/596\ 31490870073224493556813457511*c_1001_3^13 - 10367131085510023455773870774021995121748/5963149087007322449355681\ 3457511*c_1001_3^12 - 6283844577815623582575906692150051777982/5963\ 1490870073224493556813457511*c_1001_3^11 - 3398444269782761060713417870976651245024/59631490870073224493556813\ 457511*c_1001_3^10 - 1624560522230532890519127628169485351017/59631\ 490870073224493556813457511*c_1001_3^9 - 52129879621651000191901300796464117151/4587037759236401884119754881\ 347*c_1001_3^8 - 1230657772517193821091541089553585657/302697923198\ 341241084044738363*c_1001_3^7 - 72633264397550107338230512758058121\ 007/59631490870073224493556813457511*c_1001_3^6 - 17612224030242614330227848010956133470/5963149087007322449355681345\ 7511*c_1001_3^5 - 3268720678452071245059381515822670286/59631490870\ 073224493556813457511*c_1001_3^4 - 415882937978979846379233133475878942/596314908700732244935568134575\ 11*c_1001_3^3 - 24914418993828111866212065191457792/596314908700732\ 24493556813457511*c_1001_3^2 + 1393580585332904450588442607999023/5\ 9631490870073224493556813457511*c_1001_3 + 293776473987087175646471793892981/59631490870073224493556813457511, c_0101_6 + 448641304575162498388711871984308224/59631490870073224493556\ 813457511*c_1001_3^28 + 5174802089929526302460579548531607552/59631\ 490870073224493556813457511*c_1001_3^27 + 29628510245775673855845365509973638144/5963149087007322449355681345\ 7511*c_1001_3^26 + 114841016354071616828742548543830664704/59631490\ 870073224493556813457511*c_1001_3^25 + 341789306774933032075903427679488303616/596314908700732244935568134\ 57511*c_1001_3^24 + 831805916925442395578637400306160493952/5963149\ 0870073224493556813457511*c_1001_3^23 + 1717988259796606648643959988751336070720/59631490870073224493556813\ 457511*c_1001_3^22 + 3085637891722638138253676019714097040896/59631\ 490870073224493556813457511*c_1001_3^21 + 4898921407447926725649406266333982102944/59631490870073224493556813\ 457511*c_1001_3^20 + 6954903525106606844658254774686218534760/59631\ 490870073224493556813457511*c_1001_3^19 + 8901870571253138347950060752569908349256/59631490870073224493556813\ 457511*c_1001_3^18 + 10330826750236383232061495674850003290302/5963\ 1490870073224493556813457511*c_1001_3^17 + 839464637654132080349903823902971303490/458703775923640188411975488\ 1347*c_1001_3^16 + 10517666620773189323323345522516785436808/596314\ 90870073224493556813457511*c_1001_3^15 + 9257645464572195762264842002174409170906/59631490870073224493556813\ 457511*c_1001_3^14 + 7440987614768542197865541644591060564228/59631\ 490870073224493556813457511*c_1001_3^13 + 5453908289166430668848038515881821530176/59631490870073224493556813\ 457511*c_1001_3^12 + 3636329531741070343029726718842458962374/59631\ 490870073224493556813457511*c_1001_3^11 + 2196807318965759662308461173629283203414/59631490870073224493556813\ 457511*c_1001_3^10 + 1196163876697193958528716868033151484213/59631\ 490870073224493556813457511*c_1001_3^9 + 44829322396122926899596817084452741574/4587037759236401884119754881\ 347*c_1001_3^8 + 1277342002644956532249969541324565444/302697923198\ 341241084044738363*c_1001_3^7 + 95075275364681640024295823611771593\ 824/59631490870073224493556813457511*c_1001_3^6 + 30893212004799569846382108120728945680/5963149087007322449355681345\ 7511*c_1001_3^5 + 8426213052725316768745252392050346780/59631490870\ 073224493556813457511*c_1001_3^4 + 1862333685510879060527037965012693004/59631490870073224493556813457\ 511*c_1001_3^3 + 315031987632946962435505677209141978/5963149087007\ 3224493556813457511*c_1001_3^2 + 3672238454915902629595071409236787\ 2/59631490870073224493556813457511*c_1001_3 + 2226472002994047460923048586724306/59631490870073224493556813457511\ , c_0101_7 + 45520311060921788429228081265356800/596314908700732244935568\ 13457511*c_1001_3^28 + 540090521841668366569154037601406976/5963149\ 0870073224493556813457511*c_1001_3^27 + 3176218147039858858477873375862307840/59631490870073224493556813457\ 511*c_1001_3^26 + 12605743418444068484641752481172777984/5963149087\ 0073224493556813457511*c_1001_3^25 + 38303146924893251375114102899884954112/5963149087007322449355681345\ 7511*c_1001_3^24 + 94982434475926686596649906491934968448/596314908\ 70073224493556813457511*c_1001_3^23 + 199595001815761076527062928270485968768/596314908700732244935568134\ 57511*c_1001_3^22 + 364313066263086020848794494037769356992/5963149\ 0870073224493556813457511*c_1001_3^21 + 587298851237866604962982030473764816032/596314908700732244935568134\ 57511*c_1001_3^20 + 846037910435818223135371097957136810296/5963149\ 0870073224493556813457511*c_1001_3^19 + 1098249363722093472123727972782070340692/59631490870073224493556813\ 457511*c_1001_3^18 + 1292188327788662573120969425235277939828/59631\ 490870073224493556813457511*c_1001_3^17 + 106428466039213147603923718659710188314/458703775923640188411975488\ 1347*c_1001_3^16 + 1351418810405175938980369070130562170853/5963149\ 0870073224493556813457511*c_1001_3^15 + 1205546524453879851223533990225999459766/59631490870073224493556813\ 457511*c_1001_3^14 + 982143221324355799838323765459694266377/596314\ 90870073224493556813457511*c_1001_3^13 + 729856966108160516158648240912770202356/596314908700732244935568134\ 57511*c_1001_3^12 + 493598190908381945815658431585726457650/5963149\ 0870073224493556813457511*c_1001_3^11 + 302709796754424738548633012634007678589/596314908700732244935568134\ 57511*c_1001_3^10 + 167519974012228797663318920556416669020/5963149\ 0870073224493556813457511*c_1001_3^9 + 6393420764544331246201798128954213823/45870377592364018841197548813\ 47*c_1001_3^8 + 186106334844680413808134618445667008/30269792319834\ 1241084044738363*c_1001_3^7 + 1422668847193394601215206535109364593\ 6/59631490870073224493556813457511*c_1001_3^6 + 4791139077638219834793267974092707639/59631490870073224493556813457\ 511*c_1001_3^5 + 1375803894773075029001485249264759229/596314908700\ 73224493556813457511*c_1001_3^4 + 328781595767462875783986264000970\ 250/59631490870073224493556813457511*c_1001_3^3 + 63026622833294597588594842279717596/5963149087007322449355681345751\ 1*c_1001_3^2 + 9014565226625197237153119054914653/59631490870073224\ 493556813457511*c_1001_3 + 798720087506894254363481092324873/596314\ 90870073224493556813457511, c_0101_8 - 989493242308173531216902425817548800/59631490870073224493556\ 813457511*c_1001_3^28 - 11826590660485352901601705430476249088/5963\ 1490870073224493556813457511*c_1001_3^27 - 69522990966400700441529101055264798208/5963149087007322449355681345\ 7511*c_1001_3^26 - 273707208242914472445890967659949106176/59631490\ 870073224493556813457511*c_1001_3^25 - 820194535190766586436292856817729304064/596314908700732244935568134\ 57511*c_1001_3^24 - 1997290900333669350292885062855560685888/596314\ 90870073224493556813457511*c_1001_3^23 - 4106727203866191400496844386005500861504/59631490870073224493556813\ 457511*c_1001_3^22 - 7310327239877637327387309948131612536640/59631\ 490870073224493556813457511*c_1001_3^21 - 11456748724329543680465195738670384123456/5963149087007322449355681\ 3457511*c_1001_3^20 - 15991947211896079778720739512165136257124/596\ 31490870073224493556813457511*c_1001_3^19 - 20043908678498753128302190961433086579222/5963149087007322449355681\ 3457511*c_1001_3^18 - 22680952286835016691026653998291194431948/596\ 31490870073224493556813457511*c_1001_3^17 - 1788438500466345866492425426509584547015/45870377592364018841197548\ 81347*c_1001_3^16 - 21626496883307412234446065061549981461714/59631\ 490870073224493556813457511*c_1001_3^15 - 18256259697649768635223745457733958122324/5963149087007322449355681\ 3457511*c_1001_3^14 - 13967251688517970443367541386967218344862/596\ 31490870073224493556813457511*c_1001_3^13 - 9655952077120897228316149020684651801383/59631490870073224493556813\ 457511*c_1001_3^12 - 6003851810596302163414219774390196749018/59631\ 490870073224493556813457511*c_1001_3^11 - 3334880724145411918208091931619756723621/59631490870073224493556813\ 457511*c_1001_3^10 - 1639210015565633506817160438008011710805/59631\ 490870073224493556813457511*c_1001_3^9 - 54146665855735316419865911939668981817/4587037759236401884119754881\ 347*c_1001_3^8 - 1316565699340498111639715897062460435/302697923198\ 341241084044738363*c_1001_3^7 - 79930115760167357895320292186459723\ 986/59631490870073224493556813457511*c_1001_3^6 - 19828566618737951240905503907604144769/5963149087007322449355681345\ 7511*c_1001_3^5 - 3705517145638105478646362433982210787/59631490870\ 073224493556813457511*c_1001_3^4 - 447822683553597488503490635216274000/596314908700732244935568134575\ 11*c_1001_3^3 - 15703011097134801408201501290399862/596314908700732\ 24493556813457511*c_1001_3^2 + 4733366985126693418020930698064303/5\ 9631490870073224493556813457511*c_1001_3 + 588480913958349762600104426785540/59631490870073224493556813457511, c_1001_2 - 6153210889393094581582937582874624/5963149087007322449355681\ 3457511*c_1001_3^28 - 67104016050818567104627414294364160/596314908\ 70073224493556813457511*c_1001_3^27 - 356165156153410770580943659137570816/596314908700732244935568134575\ 11*c_1001_3^26 - 1259693425930397993438753229868274688/596314908700\ 73224493556813457511*c_1001_3^25 - 3382690197563336781246736989882449152/59631490870073224493556813457\ 511*c_1001_3^24 - 7351712344954604119315236182142383232/59631490870\ 073224493556813457511*c_1001_3^23 - 13402383587817422186888610593075259008/5963149087007322449355681345\ 7511*c_1001_3^22 - 20959904019957850796080345235637483168/596314908\ 70073224493556813457511*c_1001_3^21 - 28483813848832015519470588029213943104/5963149087007322449355681345\ 7511*c_1001_3^20 - 33837793983303787205095542778129858408/596314908\ 70073224493556813457511*c_1001_3^19 - 35130598633292259754505922804793508172/5963149087007322449355681345\ 7511*c_1001_3^18 - 31585375795112333982140060922829565318/596314908\ 70073224493556813457511*c_1001_3^17 - 1846404630470791500257917200476459119/45870377592364018841197548813\ 47*c_1001_3^16 - 14463825320548169359287770987007169734/59631490870\ 073224493556813457511*c_1001_3^15 - 5442331670442697576521968288469302423/59631490870073224493556813457\ 511*c_1001_3^14 + 1163025674617320388691720867742592356/59631490870\ 073224493556813457511*c_1001_3^13 + 4637146490898430533967653196892877650/59631490870073224493556813457\ 511*c_1001_3^12 + 5393618339441454834525722341041075189/59631490870\ 073224493556813457511*c_1001_3^11 + 4488490959820937658264405406012072120/59631490870073224493556813457\ 511*c_1001_3^10 + 3008502226183453480664794619961165699/59631490870\ 073224493556813457511*c_1001_3^9 + 129235036379877071933275720368643952/458703775923640188411975488134\ 7*c_1001_3^8 + 3999634349827658701892372125379788/30269792319834124\ 1084044738363*c_1001_3^7 + 308988761573159206138767019187048039/596\ 31490870073224493556813457511*c_1001_3^6 + 99901582204152009962711432391447829/5963149087007322449355681345751\ 1*c_1001_3^5 + 25920385554513515853975602222771150/5963149087007322\ 4493556813457511*c_1001_3^4 + 5103805145422439069762625591475496/59\ 631490870073224493556813457511*c_1001_3^3 + 628045251113297999192246727339164/59631490870073224493556813457511*\ c_1001_3^2 - 45895059131302991881961821778427/596314908700732244935\ 56813457511*c_1001_3 + 15178062099641790480638765346811/59631490870\ 073224493556813457511, c_1001_3^29 + 12*c_1001_3^28 + 285/4*c_1001_3^27 + 1139/4*c_1001_3^26 + 6953/8*c_1001_3^25 + 69149/32*c_1001_3^24 + 18185/4*c_1001_3^23 + 531055/64*c_1001_3^22 + 855191/64*c_1001_3^21 + 9836381/512*c_1001_3^20 + 25466813/1024*c_1001_3^19 + 1866165/64*c_1001_3^18 + 15917281/512*c_1001_3^17 + 15470371/512*c_1001_3^16 + 27444685/1024*c_1001_3^15 + 2777023/128*c_1001_3^14 + 4098075/256*c_1001_3^13 + 1374925/128*c_1001_3^12 + 3344131/512*c_1001_3^11 + 3667467/1024*c_1001_3^10 + 450505/256*c_1001_3^9 + 196739/256*c_1001_3^8 + 302311/1024*c_1001_3^7 + 25207/256*c_1001_3^6 + 14351/512*c_1001_3^5 + 6813/1024*c_1001_3^4 + 1303/1024*c_1001_3^3 + 95/512*c_1001_3^2 + 19/1024*c_1001_3 + 1/1024 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.980 Total time: 2.189 seconds, Total memory usage: 32.09MB