Magma V2.19-8 Wed Aug 21 2013 01:06:51 on localhost [Seed = 3566390306] Type ? for help. Type -D to quit. Loading file "L14n32861__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32861 geometric_solution 11.73867943 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 1 1 0 1 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 -1 1 1 0 -1 0 0 -1 0 1 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.114111107000 1.021156606631 0 0 5 4 0132 1302 0132 0132 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 0 0 0 0 0 0 0 0 0 -1 0 1 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.891917943566 0.967203884771 6 0 6 7 0132 0132 3012 0132 1 1 1 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 2 0 -2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.449406605713 0.748769293865 6 8 4 0 2031 0132 3012 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 0 1 0 3 0 -3 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.053395048717 0.752145221331 7 3 1 9 3120 1230 0132 0132 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412567002733 0.363875134516 10 10 8 1 0132 1230 1023 0132 1 1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 2 -1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.256675376737 0.486213721313 2 2 3 10 0132 1230 1302 2031 1 1 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 2 -2 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.637402118621 0.866823211502 11 9 2 4 0132 2103 0132 3120 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570566442709 0.860822733276 11 3 5 12 3012 0132 1023 0132 1 1 1 1 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 1 -1 0 0 0 0 0 0 0 0 0 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778083856651 1.159490627675 11 7 4 12 2103 2103 0132 3201 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.922537721022 0.523557905066 5 6 5 11 0132 1302 3012 2031 1 1 1 0 0 -1 0 1 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 2 0 -2 0 0 0 0 -1 1 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.150885751503 1.608455800593 7 10 9 8 0132 1302 2103 1230 1 1 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 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.812156505342 2.056189895880 12 9 8 12 3012 2310 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 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.166825336934 1.062215406183 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : negation(d['c_0011_4']), 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_9'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0011_9'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0011_9'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_0101_8'], 'c_1010_10' : d['c_0011_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_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_2_7' : d['1'], 's_2_12' : 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' : 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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_12']), 'c_1100_4' : negation(d['c_0011_12']), 'c_1100_7' : negation(d['c_0101_0']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_12']), 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0101_0']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_12']), 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_0011_9'], 'c_1010_2' : d['c_0011_9'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_0011_4']), 'c_1100_8' : d['c_0011_12'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_12'], '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0011_3']), 'c_0110_10' : d['c_0011_9'], 'c_0110_12' : d['c_0011_12'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_12']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_8, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 215726421506211262897011524109784612541166261865834351/111415305465\ 15778544335397658210254194167211219278*c_1001_4^20 - 1868901212450520028126053200678890758693803544561613957/37138435155\ 05259514778465886070084731389070406426*c_1001_4^19 + 23137698927353697485719593231903201017000843070020087471/3713843515\ 505259514778465886070084731389070406426*c_1001_4^18 - 271546627821003663962559358000308028297575873878653543765/557076527\ 3257889272167698829105127097083605609639*c_1001_4^17 + 3008047683836917852285378387265837499923468019068666532163/11141530\ 546515778544335397658210254194167211219278*c_1001_4^16 - 963816892386135594938753643244746244898585593085133105961/857040811\ 270444503410415204477711861089785478406*c_1001_4^15 + 40718979546328129067110927242478894428494960270018000660107/1114153\ 0546515778544335397658210254194167211219278*c_1001_4^14 - 52869231350034822759583658888333950654362290334759014361845/5570765\ 273257889272167698829105127097083605609639*c_1001_4^13 + 111460583487922652423678329416428901414508737959510279149772/557076\ 5273257889272167698829105127097083605609639*c_1001_4^12 - 385535810594009033916509815414383806691582287201862117230537/111415\ 30546515778544335397658210254194167211219278*c_1001_4^11 + 275192118736497466141388684750723921832493966804247635777892/557076\ 5273257889272167698829105127097083605609639*c_1001_4^10 - 108385544124873104736894061694004218427892029123244452534426/185692\ 1757752629757389232943035042365694535203213*c_1001_4^9 + 16726480198957825490140596480253732951454022819406701584732/2931981\ 72276731014324615727847638268267558189981*c_1001_4^8 - 26940302502524344145567764065205497297520485462998977891609/5863963\ 44553462028649231455695276536535116379962*c_1001_4^7 + 112333469325334935161769328784597380944910692844058924277175/371384\ 3515505259514778465886070084731389070406426*c_1001_4^6 - 179068859356028486849727690244614419097776450768762940976961/111415\ 30546515778544335397658210254194167211219278*c_1001_4^5 + 37627013364376484983695704715470759382465614182368050731274/5570765\ 273257889272167698829105127097083605609639*c_1001_4^4 - 12107705509730543591995480067643980331377172703620728399581/5570765\ 273257889272167698829105127097083605609639*c_1001_4^3 + 99038515496107416036242543646570834184152711255475923991/1954654481\ 84487342883077151898425512178372126654*c_1001_4^2 - 428020170958010720351252945359965810860869153535970047404/557076527\ 3257889272167698829105127097083605609639*c_1001_4 + 31980761056163736685454080902310660302613472131277252984/5570765273\ 257889272167698829105127097083605609639, c_0011_0 - 1, c_0011_10 - 255752844995060146742762224718328277/3567237429947171443923\ 070529509198*c_1001_4^20 + 3451275482245396020479950990739453490/17\ 83618714973585721961535264754599*c_1001_4^19 - 44374267873360426250191292473309203776/1783618714973585721961535264\ 754599*c_1001_4^18 + 360695050499867252250003246069518303663/178361\ 8714973585721961535264754599*c_1001_4^17 - 4152987422343128624496062159668193514767/35672374299471714439230705\ 29509198*c_1001_4^16 + 8994503102051275253874013114910893004363/178\ 3618714973585721961535264754599*c_1001_4^15 - 30411226906365148573064518459879262785100/1783618714973585721961535\ 264754599*c_1001_4^14 + 82197360554494770956847642747332389401249/1\ 783618714973585721961535264754599*c_1001_4^13 - 180444039997618188488040971216893804314049/178361871497358572196153\ 5264754599*c_1001_4^12 + 650169590459063892704237759679874783222433\ /3567237429947171443923070529509198*c_1001_4^11 - 967270578742042321356920653967241316264129/356723742994717144392307\ 0529509198*c_1001_4^10 + 595783875417473370666870209363685178840730\ /1783618714973585721961535264754599*c_1001_4^9 - 1214835898089070169146650101511843459040671/35672374299471714439230\ 70529509198*c_1001_4^8 + 510559521003532001434646000265088201273811\ /1783618714973585721961535264754599*c_1001_4^7 - 351097746614907851428824842261201771729366/178361871497358572196153\ 5264754599*c_1001_4^6 + 390091874268630573868444042194309294322257/\ 3567237429947171443923070529509198*c_1001_4^5 - 171621261461135946981180325970854706122115/356723742994717144392307\ 0529509198*c_1001_4^4 + 28964457700170376791270550882718230326765/1\ 783618714973585721961535264754599*c_1001_4^3 - 7106043622765898965418193853279053776255/17836187149735857219615352\ 64754599*c_1001_4^2 + 1140505575009598779203190352836161840712/1783\ 618714973585721961535264754599*c_1001_4 - 91185355237508923322390953857675183238/1783618714973585721961535264\ 754599, c_0011_11 - 127730969279824962179076270526051027/3567237429947171443923\ 070529509198*c_1001_4^20 + 3361652152891412727754492762426045909/35\ 67237429947171443923070529509198*c_1001_4^19 - 42259844034218842892219009569773928037/3567237429947171443923070529\ 509198*c_1001_4^18 + 168356696119641828441136215821350306437/178361\ 8714973585721961535264754599*c_1001_4^17 - 1904974343898943766380024408898466796497/35672374299471714439230705\ 29509198*c_1001_4^16 + 8130564797723313281787108282226638389537/356\ 7237429947171443923070529509198*c_1001_4^15 - 27160371974981942719195506191120359037127/3567237429947171443923070\ 529509198*c_1001_4^14 + 36363870262831062674297002177761097417477/1\ 783618714973585721961535264754599*c_1001_4^13 - 79298454458628027860566282760253533837729/1783618714973585721961535\ 264754599*c_1001_4^12 + 284573586353665595992768031719529089243051/\ 3567237429947171443923070529509198*c_1001_4^11 - 211356640682429143670930071035591342560004/178361871497358572196153\ 5264754599*c_1001_4^10 + 260576381605553552700628976137539523736822\ /1783618714973585721961535264754599*c_1001_4^9 - 266455077037831155752332929747731967259753/178361871497358572196153\ 5264754599*c_1001_4^8 + 450153086250343411303626887893860718514347/\ 3567237429947171443923070529509198*c_1001_4^7 - 311644480851308066618261839688768195214813/356723742994717144392307\ 0529509198*c_1001_4^6 + 174571356023445096477253895540443022567023/\ 3567237429947171443923070529509198*c_1001_4^5 - 38776903034099557943183108888681299888316/1783618714973585721961535\ 264754599*c_1001_4^4 + 13234792115064974012842648446293937587391/17\ 83618714973585721961535264754599*c_1001_4^3 - 6576149580616644513548938681558308940103/35672374299471714439230705\ 29509198*c_1001_4^2 + 535445728275972147708058320660119857566/17836\ 18714973585721961535264754599*c_1001_4 - 43569673197359906996455446829815866645/1783618714973585721961535264\ 754599, c_0011_12 + 114784048980965618470148728385881518/1783618714973585721961\ 535264754599*c_1001_4^20 - 2986882165430139760629503269729329120/17\ 83618714973585721961535264754599*c_1001_4^19 + 37019472208623817432050040674550645195/1783618714973585721961535264\ 754599*c_1001_4^18 - 579858822814257776959453970130265356655/356723\ 7429947171443923070529509198*c_1001_4^17 + 3214522144735940255240620882869057107701/35672374299471714439230705\ 29509198*c_1001_4^16 - 6700157482590183466398626952637037612043/178\ 3618714973585721961535264754599*c_1001_4^15 + 21790263804918970516863326615871862270581/1783618714973585721961535\ 264754599*c_1001_4^14 - 113249846458327005234061741309932817892099/\ 3567237429947171443923070529509198*c_1001_4^13 + 238934958829099074832798531901147651077643/356723742994717144392307\ 0529509198*c_1001_4^12 - 206791502763640139137202773122466151398299\ /1783618714973585721961535264754599*c_1001_4^11 + 295520343770200755686223963597185941484642/178361871497358572196153\ 5264754599*c_1001_4^10 - 349644206724259772577480320696601974881693\ /1783618714973585721961535264754599*c_1001_4^9 + 684676243298657380279242234881742412524367/356723742994717144392307\ 0529509198*c_1001_4^8 - 276329440258133432951134030470264006879828/\ 1783618714973585721961535264754599*c_1001_4^7 + 364958827903164201943588875389158406724315/356723742994717144392307\ 0529509198*c_1001_4^6 - 194685197459401039906725462122658991081051/\ 3567237429947171443923070529509198*c_1001_4^5 + 82229229968492351663954159801084338821905/3567237429947171443923070\ 529509198*c_1001_4^4 - 13315609072885375747158146861206192769941/17\ 83618714973585721961535264754599*c_1001_4^3 + 6260672796165435034502948722410669322133/35672374299471714439230705\ 29509198*c_1001_4^2 - 480091832171634791185440340930857329932/17836\ 18714973585721961535264754599*c_1001_4 + 72954744157047800560578190265424151711/3567237429947171443923070529\ 509198, c_0011_3 + 45286871795946285737911982624087143/356723742994717144392307\ 0529509198*c_1001_4^20 - 1070744003339472915859631001229790419/3567\ 237429947171443923070529509198*c_1001_4^19 + 5941782244497778415462415130792477998/17836187149735857219615352647\ 54599*c_1001_4^18 - 40838452429784815422811797165165879304/17836187\ 14973585721961535264754599*c_1001_4^17 + 193139209717305339244153810372734242311/178361871497358572196153526\ 4754599*c_1001_4^16 - 1317728149369873861509340884006254355825/3567\ 237429947171443923070529509198*c_1001_4^15 + 1640384466297630694661406918207702762245/17836187149735857219615352\ 64754599*c_1001_4^14 - 2883588312878055604347497355141278997314/178\ 3618714973585721961535264754599*c_1001_4^13 + 6018227101179724994092701282064063557207/35672374299471714439230705\ 29509198*c_1001_4^12 + 832964011360199474799138083699337009763/3567\ 237429947171443923070529509198*c_1001_4^11 - 9093735620124270592110859245611140702940/17836187149735857219615352\ 64754599*c_1001_4^10 + 42784377567625164198674860884855687902195/35\ 67237429947171443923070529509198*c_1001_4^9 - 63913431696899145899806846776681612128743/3567237429947171443923070\ 529509198*c_1001_4^8 + 35198914942904883107443016966492190638612/17\ 83618714973585721961535264754599*c_1001_4^7 - 59639131715138173442908847286330567627495/3567237429947171443923070\ 529509198*c_1001_4^6 + 39256572743506580162893688627134243367109/35\ 67237429947171443923070529509198*c_1001_4^5 - 19931519038146257653051997819998146248695/3567237429947171443923070\ 529509198*c_1001_4^4 + 7623476903285408165657113645994014046887/356\ 7237429947171443923070529509198*c_1001_4^3 - 1046860940910515559785715564754134920087/17836187149735857219615352\ 64754599*c_1001_4^2 + 373726717721046825784616300070432881821/35672\ 37429947171443923070529509198*c_1001_4 - 33228956516661663041105266183022626767/3567237429947171443923070529\ 509198, c_0011_4 - 325091478413274516483531824129566529/35672374299471714439230\ 70529509198*c_1001_4^20 + 4255117934435209200285989209780233081/178\ 3618714973585721961535264754599*c_1001_4^19 - 53071657018586392766655123808973488266/1783618714973585721961535264\ 754599*c_1001_4^18 + 418440905358176916846335559221012252606/178361\ 8714973585721961535264754599*c_1001_4^17 - 4672600754006648900082270681188823114105/35672374299471714439230705\ 29509198*c_1001_4^16 + 9813703270287178411339462184997472710819/178\ 3618714973585721961535264754599*c_1001_4^15 - 32175926640069940198466004229819575454786/1783618714973585721961535\ 264754599*c_1001_4^14 + 84336996931942637198286322930644250000526/1\ 783618714973585721961535264754599*c_1001_4^13 - 179567224961442025568662846927825371812502/178361871497358572196153\ 5264754599*c_1001_4^12 + 627673143149409105612092355520010641773697\ /3567237429947171443923070529509198*c_1001_4^11 - 906167397671099645565802053986708804510323/356723742994717144392307\ 0529509198*c_1001_4^10 + 541829773820209269634775404272760656686538\ /1783618714973585721961535264754599*c_1001_4^9 - 1072975486092948605836979028308781467545255/35672374299471714439230\ 70529509198*c_1001_4^8 + 438146037551813647111196270832918605979819\ /1783618714973585721961535264754599*c_1001_4^7 - 292893760433385491834793293880239887290248/178361871497358572196153\ 5264754599*c_1001_4^6 + 316486661281792732324754029672738578150907/\ 3567237429947171443923070529509198*c_1001_4^5 - 135461775710928355986155420208152351905207/356723742994717144392307\ 0529509198*c_1001_4^4 + 22244110021621671041750486039462764026879/1\ 783618714973585721961535264754599*c_1001_4^3 - 5307917891460433354192510849730232686227/17836187149735857219615352\ 64754599*c_1001_4^2 + 827565135577894441225183730333390148677/17836\ 18714973585721961535264754599*c_1001_4 - 64092648534489531397904522423447441751/1783618714973585721961535264\ 754599, c_0011_9 + 255903387728234231863652661441361765/35672374299471714439230\ 70529509198*c_1001_4^20 - 6673337402601150974483910576221674091/356\ 7237429947171443923070529509198*c_1001_4^19 + 41477355336982509474624179773985816013/1783618714973585721961535264\ 754599*c_1001_4^18 - 652161470345270343239587534741348623235/356723\ 7429947171443923070529509198*c_1001_4^17 + 3632297381042954484006240984032885643031/35672374299471714439230705\ 29509198*c_1001_4^16 - 15226611124712213701938031644080653915051/35\ 67237429947171443923070529509198*c_1001_4^15 + 24921345539622361290648231187646977334796/1783618714973585721961535\ 264754599*c_1001_4^14 - 130486585612561393126054477339761746806699/\ 3567237429947171443923070529509198*c_1001_4^13 + 138800818197125132232228908791178891473318/178361871497358572196153\ 5264754599*c_1001_4^12 - 484960680326250822211414070863374844903399\ /3567237429947171443923070529509198*c_1001_4^11 + 350033696110787563290057201183405705095602/178361871497358572196153\ 5264754599*c_1001_4^10 - 837378363429731014608715155668186013237463\ /3567237429947171443923070529509198*c_1001_4^9 + 414775381074545942978487112050662108205533/178361871497358572196153\ 5264754599*c_1001_4^8 - 339008324822273298208866616406810729058945/\ 1783618714973585721961535264754599*c_1001_4^7 + 226851066975137123757991235181187560035063/178361871497358572196153\ 5264754599*c_1001_4^6 - 122711076669581498309615379462219573899690/\ 1783618714973585721961535264754599*c_1001_4^5 + 52595777075857670334046510462024096479724/1783618714973585721961535\ 264754599*c_1001_4^4 - 34600920891695453676900222408783813000601/35\ 67237429947171443923070529509198*c_1001_4^3 + 8270885700651178593354417534768326163783/35672374299471714439230705\ 29509198*c_1001_4^2 - 1292057714237814572235646103806132966879/3567\ 237429947171443923070529509198*c_1001_4 + 50146453743933333111652735986670964517/1783618714973585721961535264\ 754599, c_0101_0 - 1, c_0101_1 + 29037088588810737352444336010887565/178361871497358572196153\ 5264754599*c_1001_4^20 - 651680091392989092238926517208437772/17836\ 18714973585721961535264754599*c_1001_4^19 + 6776552676908025425022668833521874863/17836187149735857219615352647\ 54599*c_1001_4^18 - 42714949386113866035984023538543311222/17836187\ 14973585721961535264754599*c_1001_4^17 + 356569550242757621674389876425698593001/356723742994717144392307052\ 9509198*c_1001_4^16 - 494789043648603449534880454704988782929/17836\ 18714973585721961535264754599*c_1001_4^15 + 787757083545161242018817973068781554763/178361871497358572196153526\ 4754599*c_1001_4^14 + 118104836165610723276702291864323185334/17836\ 18714973585721961535264754599*c_1001_4^13 - 9744806122576431098680815011132721273001/35672374299471714439230705\ 29509198*c_1001_4^12 + 16515968059403630842895735180475029383051/17\ 83618714973585721961535264754599*c_1001_4^11 - 35245868987781816101622405958086327273348/1783618714973585721961535\ 264754599*c_1001_4^10 + 55566020663508330810330620249412878830184/1\ 783618714973585721961535264754599*c_1001_4^9 - 68049684339347601387241330092360131039429/1783618714973585721961535\ 264754599*c_1001_4^8 + 131976910555069444743998520897637979889049/3\ 567237429947171443923070529509198*c_1001_4^7 - 101820285469184717643283277033824484027397/356723742994717144392307\ 0529509198*c_1001_4^6 + 31091564857602625176865091145276271421769/1\ 783618714973585721961535264754599*c_1001_4^5 - 29620956387386128655052958622965404496603/3567237429947171443923070\ 529509198*c_1001_4^4 + 5350957277599465983282915354027231737946/178\ 3618714973585721961535264754599*c_1001_4^3 - 1393282939044409509956474365754368031160/17836187149735857219615352\ 64754599*c_1001_4^2 + 471841580590292686555552104388499867163/35672\ 37429947171443923070529509198*c_1001_4 - 39649491041608506705813174923668895721/3567237429947171443923070529\ 509198, c_0101_11 + 260223491955569358239412947649299675/3567237429947171443923\ 070529509198*c_1001_4^20 - 6817961009660496316082142548283718227/35\ 67237429947171443923070529509198*c_1001_4^19 + 85173066559084817752682740401156173795/3567237429947171443923070529\ 509198*c_1001_4^18 - 336570419316253078735794014377986453161/178361\ 8714973585721961535264754599*c_1001_4^17 + 1885186995359095027865100882326534499782/17836187149735857219615352\ 64754599*c_1001_4^16 - 15901567484735402218623890313976190217415/35\ 67237429947171443923070529509198*c_1001_4^15 + 52392469724547008909043523715857217062509/3567237429947171443923070\ 529509198*c_1001_4^14 - 69062769338279063103395705762471073418402/1\ 783618714973585721961535264754599*c_1001_4^13 + 296067861612297526377296205693274039630167/356723742994717144392307\ 0529509198*c_1001_4^12 - 521392766502103716978327729803573478956301\ /3567237429947171443923070529509198*c_1001_4^11 + 379568753551307521302249999810212057807806/178361871497358572196153\ 5264754599*c_1001_4^10 - 458172501773021909578653260538581270493003\ /1783618714973585721961535264754599*c_1001_4^9 + 458289613837797056204717683584534717844390/178361871497358572196153\ 5264754599*c_1001_4^8 - 378404587108916059434421550620364766846435/\ 1783618714973585721961535264754599*c_1001_4^7 + 255935826641716915522750429083971194763417/178361871497358572196153\ 5264754599*c_1001_4^6 - 280010511283442788732698075155094597858643/\ 3567237429947171443923070529509198*c_1001_4^5 + 121437492036089738947198604144331759295279/356723742994717144392307\ 0529509198*c_1001_4^4 - 20222165903483789631202248935488584787060/1\ 783618714973585721961535264754599*c_1001_4^3 + 9797488659799299884891508899283463417853/35672374299471714439230705\ 29509198*c_1001_4^2 - 1553336381587820411712166709257121906731/3567\ 237429947171443923070529509198*c_1001_4 + 122685337386705585031744982229113849521/356723742994717144392307052\ 9509198, c_0101_12 - 19217457084355890554690137170708665/17836187149735857219615\ 35264754599*c_1001_4^20 + 510588369976772165804383991888930425/1783\ 618714973585721961535264754599*c_1001_4^19 - 12883921850859354913896004140979263955/3567237429947171443923070529\ 509198*c_1001_4^18 + 102433944206732561476144979459464193079/356723\ 7429947171443923070529509198*c_1001_4^17 - 287452656934289305699065818013978067817/178361871497358572196153526\ 4754599*c_1001_4^16 + 1209910501459667577959659703848581298111/1783\ 618714973585721961535264754599*c_1001_4^15 - 7924764625842329534247724911593015570897/35672374299471714439230705\ 29509198*c_1001_4^14 + 20683028132403611882105638366677578499253/35\ 67237429947171443923070529509198*c_1001_4^13 - 21857492832313500230371714624970075541789/1783618714973585721961535\ 264754599*c_1001_4^12 + 37809076589095737101270715518251815579358/1\ 783618714973585721961535264754599*c_1001_4^11 - 53871279391099219304408866359981611585140/1783618714973585721961535\ 264754599*c_1001_4^10 + 126819336201921306559264933228832118365585/\ 3567237429947171443923070529509198*c_1001_4^9 - 61638910912606552732704565437615575537537/1783618714973585721961535\ 264754599*c_1001_4^8 + 98603513010858726972860167847345464900787/35\ 67237429947171443923070529509198*c_1001_4^7 - 64405304011762932977302933816042790934017/3567237429947171443923070\ 529509198*c_1001_4^6 + 33921851451875976326253561206522913024485/35\ 67237429947171443923070529509198*c_1001_4^5 - 7060186277928357025448116395491825836190/17836187149735857219615352\ 64754599*c_1001_4^4 + 4497710643525574164120929360105475323703/3567\ 237429947171443923070529509198*c_1001_4^3 - 518605372522323184232306900320080891256/178361871497358572196153526\ 4754599*c_1001_4^2 + 155439992105004652938319755574672951623/356723\ 7429947171443923070529509198*c_1001_4 - 5730798978971853864581205811695557437/17836187149735857219615352647\ 54599, c_0101_8 + 104214648552594183143395146289813067/35672374299471714439230\ 70529509198*c_1001_4^20 - 1378245720130614286125400511541776269/178\ 3618714973585721961535264754599*c_1001_4^19 + 17393680989267399670756703431364241686/1783618714973585721961535264\ 754599*c_1001_4^18 - 138972585084723612007079950886224914116/178361\ 8714973585721961535264754599*c_1001_4^17 + 787517766810808500838145856405418478681/178361871497358572196153526\ 4754599*c_1001_4^16 - 3362600698941630839111409359521399316094/1783\ 618714973585721961535264754599*c_1001_4^15 + 11223973146981333083307188840424115295276/1783618714973585721961535\ 264754599*c_1001_4^14 - 29994672703754840240589521294311063920475/1\ 783618714973585721961535264754599*c_1001_4^13 + 130405055319230007107984379446461393051071/356723742994717144392307\ 0529509198*c_1001_4^12 - 232990673340203294341859597191649687823857\ /3567237429947171443923070529509198*c_1001_4^11 + 344260016499467839991256920273712200413653/356723742994717144392307\ 0529509198*c_1001_4^10 - 210894183051081512671456758841771598479098\ /1783618714973585721961535264754599*c_1001_4^9 + 428260232511333045884977558885153756093307/356723742994717144392307\ 0529509198*c_1001_4^8 - 358936955640582433128480776159895912003645/\ 3567237429947171443923070529509198*c_1001_4^7 + 246402225900288641216357222956658914554339/356723742994717144392307\ 0529509198*c_1001_4^6 - 136787101613604849963129653845731800666447/\ 3567237429947171443923070529509198*c_1001_4^5 + 30096387287219024553550468348720706644946/1783618714973585721961535\ 264754599*c_1001_4^4 - 10169607727064636698975834516924481181502/17\ 83618714973585721961535264754599*c_1001_4^3 + 2499731195230448113953806709563021015267/17836187149735857219615352\ 64754599*c_1001_4^2 - 804672978303155655007528351904088598621/35672\ 37429947171443923070529509198*c_1001_4 + 64595187514322768883286102301157194129/3567237429947171443923070529\ 509198, c_1001_4^21 - 2767/101*c_1001_4^20 + 36227/101*c_1001_4^19 - 300912/101*c_1001_4^18 + 1777170/101*c_1001_4^17 - 7931712/101*c_1001_4^16 + 27766319/101*c_1001_4^15 - 78122554/101*c_1001_4^14 + 179600511/101*c_1001_4^13 - 341149558/101*c_1001_4^12 + 539241260/101*c_1001_4^11 - 712039494/101*c_1001_4^10 + 786197232/101*c_1001_4^9 - 724531942/101*c_1001_4^8 + 554549917/101*c_1001_4^7 - 349492626/101*c_1001_4^6 + 178926207/101*c_1001_4^5 - 72881657/101*c_1001_4^4 + 22857259/101*c_1001_4^3 - 5221405/101*c_1001_4^2 + 780346/101*c_1001_4 - 57923/101 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.130 Total time: 1.330 seconds, Total memory usage: 32.09MB