Magma V2.19-8 Wed Aug 21 2013 00:51:10 on localhost [Seed = 3987470575] Type ? for help. Type -D to quit. Loading file "L11a194__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a194 geometric_solution 12.29499162 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 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 1 0 -1 0 0 -2 2 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.457437249301 0.801870623867 0 4 4 5 0132 0132 1302 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 -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.075591086070 1.059655122732 0 0 7 6 3012 0132 0132 0132 1 1 1 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 -1 1 0 1 0 0 -1 -2 0 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.578813346798 0.855446524668 8 7 8 0 0132 1230 3012 0132 1 1 1 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 0 0 0 0 -2 0 0 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.525740990219 0.496728750647 1 1 9 10 2031 0132 0132 0132 1 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 0 0 0 0 1 -1 0 -1 0 1 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.933021242882 0.938925299054 8 11 1 12 2103 0132 0132 0132 1 1 1 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 0 0 0 0 2 0 0 -2 -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.750102382953 1.207037676731 11 7 2 7 0213 1023 0132 0321 1 1 0 1 0 0 0 0 1 0 0 -1 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 1 0 1 -2 -1 1 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609917388298 0.461846607041 6 6 3 2 1023 0321 3012 0132 1 1 0 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 0 1 -1 0 0 0 0 -1 0 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.067354637600 1.263717230907 3 3 5 9 0132 1230 2103 1302 1 1 1 1 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 1 -1 2 0 -2 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 1.005508086046 1.053147678896 12 10 8 4 3012 0321 2031 0132 1 1 1 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.998356377907 0.791792904388 11 11 4 9 2031 0321 0132 0321 1 1 1 0 0 0 0 0 0 0 0 0 0 -1 0 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 -1 -1 0 2 3 -2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678189844767 0.671133123552 6 5 10 10 0213 0132 1302 0321 1 0 1 1 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 0 -3 2 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678189844767 0.671133123552 12 12 5 9 1302 2031 0132 1230 1 1 1 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 0 0 0 0 2 -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 0.203165338511 0.982603113736 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_10'], 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : d['c_0011_12'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_0_11' : 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' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_3']), 'c_1100_8' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_11'], 'c_1100_3' : d['c_0011_11'], 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0101_3']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0101_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_4'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_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_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), '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' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : d['c_0011_9'], 'c_0101_12' : negation(d['c_0011_12']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : 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_9, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0101_4, c_0101_7, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 3129305448558552951807192802640878751974025122874397349306868013403\ 6251/16295845313373557421171603338484722269382030314557814602912412\ 400320*c_1001_4^18 + 1002876357002988529295576161844114162908766931\ 510713923468534929730401257/162958453133735574211716033384847222693\ 82030314557814602912412400320*c_1001_4^17 - 2225697644096725663783921970622931150681371457085099307125504721616\ 8333281/81479226566867787105858016692423611346910151572789073014562\ 06200160*c_1001_4^16 + 91074345257020812036632052388608231932138611\ 40879922553195443316973304859/1018490332085847338823225208655295141\ 836376894659863412682025775020*c_1001_4^15 + 4663523582403524135617253068134555818217530854436805355065261366997\ 8919599/40739613283433893552929008346211805673455075786394536507281\ 03100080*c_1001_4^14 - 13560698850621735473184963735176806916409073\ 2620601426776617779102796413221/20369806641716946776464504173105902\ 83672753789319726825364051550040*c_1001_4^13 - 1017970828810182331107040218152447606942675839164532868229959811272\ 864667431/407396132834338935529290083462118056734550757863945365072\ 8103100080*c_1001_4^12 + 167577193406930386130537804540160769770357\ 3109390409745841874353804607159243/81479226566867787105858016692423\ 61134691015157278907301456206200160*c_1001_4^11 + 5595336588920830092484436226274892066261069814296396063214534720472\ 09170621/8147922656686778710585801669242361134691015157278907301456\ 206200160*c_1001_4^10 + 3487836256827132019143396750069642934717310\ 736242902039896538823867602850459/407396132834338935529290083462118\ 0567345507578639453650728103100080*c_1001_4^9 - 5871975441482045599223268384317134786196393401773194274215179907750\ 750732477/162958453133735574211716033384847222693820303145578146029\ 12412400320*c_1001_4^8 + 126707103811898528106894227451287739354393\ 59850197794728818022629645146850809/1629584531337355742117160333848\ 4722269382030314557814602912412400320*c_1001_4^7 - 1555816782961887456894283605842608490395591222956993557780875690314\ 369173443/325916906267471148423432066769694445387640606291156292058\ 2482480064*c_1001_4^6 + 7074994766880841927831928135248163324345366\ 02904428553123353349311432376061/4073961328343389355292900834621180\ 567345507578639453650728103100080*c_1001_4^5 - 7146993429931480183100829693548950869783633532006836417887457901777\ 8281621/16295845313373557421171603338484722269382030314557814602912\ 41240032*c_1001_4^4 + 138794026883567783294040457569986595616260059\ 134980200316909653319106048129/162958453133735574211716033384847222\ 69382030314557814602912412400320*c_1001_4^3 - 7514039983637334752205486330248057367987581509218083077406999317937\ 26741/6267632812835983623527539745571047026685396274829928693427850\ 92320*c_1001_4^2 + 115583329097811795617884259552820991541159734334\ 665657323798635128730531/101849033208584733882322520865529514183637\ 6894659863412682025775020*c_1001_4 - 1076902080466923983222460169345561213246518322193924504542759380959\ 54927/1629584531337355742117160333848472226938203031455781460291241\ 2400320, c_0011_0 - 1, c_0011_10 + 58188881684022174762930801520036313339060224793570927402959\ 94/38031752505072716162181673213416547492023035648239858576625309*c\ _1001_4^18 - 185674930746641265107838043364408891192840138315013711\ 687532853/380317525050727161621816732134165474920230356482398585766\ 25309*c_1001_4^17 + 82515721048033333517424704052371922470441686451\ 12966675800107490/3803175250507271616218167321341654749202303564823\ 9858576625309*c_1001_4^16 - 259523541458902610048842466997139811192\ 70646427868421332502352489/3803175250507271616218167321341654749202\ 3035648239858576625309*c_1001_4^15 - 38193988655136250280055809498295979353859404970198111461191223837/3\ 8031752505072716162181673213416547492023035648239858576625309*c_100\ 1_4^14 + 1961174495171360549992282009091668451195796649514554208507\ 08933674/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^13 + 783939889960498488426662941968051671705644209357\ 230535921718632818/380317525050727161621816732134165474920230356482\ 39858576625309*c_1001_4^12 - 51201844125376367019268911157675415414\ 2895439116058154603473889759/38031752505072716162181673213416547492\ 023035648239858576625309*c_1001_4^11 - 269906287038798019337970422222048253171845339552654312557171307051/\ 38031752505072716162181673213416547492023035648239858576625309*c_10\ 01_4^10 - 263771034664229699239142214457056688305764551118699404248\ 3430394561/38031752505072716162181673213416547492023035648239858576\ 625309*c_1001_4^9 + 72202304085650725396060421125291508283259735024\ 4711858122479286001/38031752505072716162181673213416547492023035648\ 239858576625309*c_1001_4^8 - 22867884560414956142824542249271924426\ 35987728732261053092894836985/3803175250507271616218167321341654749\ 2023035648239858576625309*c_1001_4^7 + 1137173884788014257051392056756584040177552996691557214408464578443\ /38031752505072716162181673213416547492023035648239858576625309*c_1\ 001_4^6 - 394347632853541192153647134744835287218822217210828387556\ 206732221/380317525050727161621816732134165474920230356482398585766\ 25309*c_1001_4^5 + 909050448615055963446814706022171706164019566759\ 33069530618518490/3803175250507271616218167321341654749202303564823\ 9858576625309*c_1001_4^4 - 1705862682541673626115313498748911193255\ 5555320756176989210754596/38031752505072716162181673213416547492023\ 035648239858576625309*c_1001_4^3 + 1943562429338571256194055818647809603406248680078187584748998926/38\ 031752505072716162181673213416547492023035648239858576625309*c_1001\ _4^2 - 243998753709550975398165330853156632241543802568842495774631\ 322/38031752505072716162181673213416547492023035648239858576625309*\ c_1001_4 + 38881735806704364876919062730001354058483100788508482156\ 934300/380317525050727161621816732134165474920230356482398585766253\ 09, c_0011_11 + 93816094745969200177729019931884591314988593902999192235483\ 92/38031752505072716162181673213416547492023035648239858576625309*c\ _1001_4^18 - 299077375502863681077031910041757442809494822621204175\ 767845434/380317525050727161621816732134165474920230356482398585766\ 25309*c_1001_4^17 + 13294838218714451129156973902336942525068417670\ 703434260827062040/380317525050727161621816732134165474920230356482\ 39858576625309*c_1001_4^16 - 41445676320301702169090612780257070199\ 966118509135790412990425502/380317525050727161621816732134165474920\ 23035648239858576625309*c_1001_4^15 - 62775973062279975779445350060554374621839625849114990123101715006/3\ 8031752505072716162181673213416547492023035648239858576625309*c_100\ 1_4^14 + 3141939329938168539933406404479841694789882527853737295792\ 25940007/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^13 + 127309128037925717133340530433085559336464452274\ 7406259849368321544/38031752505072716162181673213416547492023035648\ 239858576625309*c_1001_4^12 - 7864989932675269833804943143102145104\ 00629681243256322896412211432/3803175250507271616218167321341654749\ 2023035648239858576625309*c_1001_4^11 - 454457231788819735781671368262680004614610781408249344126774087372/\ 38031752505072716162181673213416547492023035648239858576625309*c_10\ 01_4^10 - 426800176423062113493754990962745985289568414873403858322\ 7079582116/38031752505072716162181673213416547492023035648239858576\ 625309*c_1001_4^9 + 10346666355119358901615870140857879821469770847\ 43659159299580004458/3803175250507271616218167321341654749202303564\ 8239858576625309*c_1001_4^8 - 3669879631623209785324440345269635961\ 604799277332916694595360826160/380317525050727161621816732134165474\ 92023035648239858576625309*c_1001_4^7 + 1724462593206524059925926093915440585839917219321829334904904271050\ /38031752505072716162181673213416547492023035648239858576625309*c_1\ 001_4^6 - 595417891684887960098036991966714785999530526024350157958\ 842662900/380317525050727161621816732134165474920230356482398585766\ 25309*c_1001_4^5 + 132302439693943336244356454098905735545512691199\ 631452373641432114/380317525050727161621816732134165474920230356482\ 39858576625309*c_1001_4^4 - 245552487651197108769067056407685252579\ 28934693575915871649509044/3803175250507271616218167321341654749202\ 3035648239858576625309*c_1001_4^3 + 2579571365868010996992835961312773189390370696052159646853826870/38\ 031752505072716162181673213416547492023035648239858576625309*c_1001\ _4^2 - 330859589790738453295497356136374891234840230078883467572264\ 754/38031752505072716162181673213416547492023035648239858576625309*\ c_1001_4 + 28711583527461348237839492306294633931820515009657775360\ 427773/380317525050727161621816732134165474920230356482398585766253\ 09, c_0011_12 + 10162381337102094107358450008511781528845696551423347194995\ 180/38031752505072716162181673213416547492023035648239858576625309*\ c_1001_4^18 - 32369557120041330911695974344748766471791874647333965\ 1472364757/38031752505072716162181673213416547492023035648239858576\ 625309*c_1001_4^17 + 1439277466427788899342654147393137249124995616\ 9465952206327664920/38031752505072716162181673213416547492023035648\ 239858576625309*c_1001_4^16 - 4451457556433362240107795302350061906\ 7160924165227720318156432350/38031752505072716162181673213416547492\ 023035648239858576625309*c_1001_4^15 - 68968210051397736821864863103020315931727127240719482869868352032/3\ 8031752505072716162181673213416547492023035648239858576625309*c_100\ 1_4^14 + 3378414749225479164717710864011219895167575789589502316566\ 90550204/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^13 + 138688485901867234619861116542036721458171256946\ 1449433629808270846/38031752505072716162181673213416547492023035648\ 239858576625309*c_1001_4^12 - 8097537904942266274252480764304594915\ 82009425890763277860662572573/3803175250507271616218167321341654749\ 2023035648239858576625309*c_1001_4^11 - 491301306742903173093757456621535763874024167325508738435258309458/\ 38031752505072716162181673213416547492023035648239858576625309*c_10\ 01_4^10 - 464481004025970087085941306529593987136038987525677453673\ 3799900357/38031752505072716162181673213416547492023035648239858576\ 625309*c_1001_4^9 + 98686395015020198500430522143823121135941719363\ 2170490843875461445/38031752505072716162181673213416547492023035648\ 239858576625309*c_1001_4^8 - 40233290465745774268017357354744820543\ 12834708048865945294912779456/3803175250507271616218167321341654749\ 2023035648239858576625309*c_1001_4^7 + 1761806207758057157059590972700787301119357925453096396031911796300\ /38031752505072716162181673213416547492023035648239858576625309*c_1\ 001_4^6 - 659584322325269459519372262638360888831303665731777410231\ 404051703/380317525050727161621816732134165474920230356482398585766\ 25309*c_1001_4^5 + 141888054197099494832659413608242089185469118060\ 280497502808072207/380317525050727161621816732134165474920230356482\ 39858576625309*c_1001_4^4 - 293582487900879124015907445007246365531\ 71852558630471216413465990/3803175250507271616218167321341654749202\ 3035648239858576625309*c_1001_4^3 + 3086432351962739715702626995817600583029638614175503300698288863/38\ 031752505072716162181673213416547492023035648239858576625309*c_1001\ _4^2 - 456695496993176698921545757203995494648681405265085553490033\ 467/38031752505072716162181673213416547492023035648239858576625309*\ c_1001_4 + 94743773038408679384770644874724136672331188055600806493\ 32165/3803175250507271616218167321341654749202303564823985857662530\ 9, c_0011_3 + 390148577552971283438232670497312277614833003305683846887532\ 1/38031752505072716162181673213416547492023035648239858576625309*c_\ 1001_4^18 - 1239102816245793553937854164449678684666993225150423412\ 93963038/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^17 + 551396650312655565722722022510933730798910678292\ 6038127258095175/38031752505072716162181673213416547492023035648239\ 858576625309*c_1001_4^16 - 1657434191503422999785480473676355959199\ 9675283197176130982691942/38031752505072716162181673213416547492023\ 035648239858576625309*c_1001_4^15 - 28236374881934216387449053038089536049438493701435652330035015055/3\ 8031752505072716162181673213416547492023035648239858576625309*c_100\ 1_4^14 + 1277604494913031701302234936570225597955701084764785643680\ 30377469/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^13 + 545423691009962288721692234860723418915369460774\ 569688683992771013/380317525050727161621816732134165474920230356482\ 39858576625309*c_1001_4^12 - 26556156199762156072998705560304599956\ 9499652542013643949579659212/38031752505072716162181673213416547492\ 023035648239858576625309*c_1001_4^11 - 235425232142092453745957905829801811534398889025595328155625710335/\ 38031752505072716162181673213416547492023035648239858576625309*c_10\ 01_4^10 - 179451490392723257653269514254832176082515612561596138541\ 8592120892/38031752505072716162181673213416547492023035648239858576\ 625309*c_1001_4^9 + 22213440157538152007017232794533099508288619483\ 1035473342419380544/38031752505072716162181673213416547492023035648\ 239858576625309*c_1001_4^8 - 14506693351291452917589727967072806354\ 97612617204433457121028729105/3803175250507271616218167321341654749\ 2023035648239858576625309*c_1001_4^7 + 533925347144991677399582177373440918933463891787009476439996128782/\ 38031752505072716162181673213416547492023035648239858576625309*c_10\ 01_4^6 - 1438402875678569071713524337929094768863972051362653473576\ 37611844/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^5 + 1951615644053269318528373460831200871651760620756\ 1810899616541330/38031752505072716162181673213416547492023035648239\ 858576625309*c_1001_4^4 - 29638791885285805764415711124874482466497\ 63381363583120908820407/3803175250507271616218167321341654749202303\ 5648239858576625309*c_1001_4^3 - 4543732084967122421962573239323929\ 55372066005705263115578225161/3803175250507271616218167321341654749\ 2023035648239858576625309*c_1001_4^2 + 17369271952844289943494761190260008895642233641171830123973521/3803\ 1752505072716162181673213416547492023035648239858576625309*c_1001_4 + 512917051834302042371986371202609690547616925181277122321783/3803\ 1752505072716162181673213416547492023035648239858576625309, c_0011_9 + 387207556490319500696504166509100862377599295069882790493460\ 9/38031752505072716162181673213416547492023035648239858576625309*c_\ 1001_4^18 - 1230845153049064877302134591746763763613729137752230117\ 90641861/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^17 + 547598458043364563391905691834692358358918508165\ 7378534435782725/38031752505072716162181673213416547492023035648239\ 858576625309*c_1001_4^16 - 1660701788378902930505722940945865412464\ 4349527065843210159462732/38031752505072716162181673213416547492023\ 035648239858576625309*c_1001_4^15 - 27360232348732976389110858857482973476817455498713658646912921403/3\ 8031752505072716162181673213416547492023035648239858576625309*c_100\ 1_4^14 + 1269864790016793907010906366919685571031789079689689488533\ 60971070/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^13 + 536675251817636366625009542316449159745150012880\ 420493996291279649/380317525050727161621816732134165474920230356482\ 39858576625309*c_1001_4^12 - 27408678648982007257519970751160474149\ 3511078054956684768222159775/38031752505072716162181673213416547492\ 023035648239858576625309*c_1001_4^11 - 205751192401340675201342855848578503007660852729486472594112956570/\ 38031752505072716162181673213416547492023035648239858576625309*c_10\ 01_4^10 - 178240885372090374743780944222568684538291470728744199905\ 2879610084/38031752505072716162181673213416547492023035648239858576\ 625309*c_1001_4^9 + 26115934616121650286047859690901050337725109496\ 8784208436093890216/38031752505072716162181673213416547492023035648\ 239858576625309*c_1001_4^8 - 15133175859417113584012937027279702143\ 51897088751009525744485544534/3803175250507271616218167321341654749\ 2023035648239858576625309*c_1001_4^7 + 572526207697758974676996395711665496568321942259969654978593540662/\ 38031752505072716162181673213416547492023035648239858576625309*c_10\ 01_4^6 - 2118827437915247285609102545647482969722820212316878715483\ 75920641/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^5 + 3922026262871612265823175009725767881618271868366\ 1308513424347412/38031752505072716162181673213416547492023035648239\ 858576625309*c_1001_4^4 - 82989276280351476297002346611928485782177\ 59299859998570075312673/3803175250507271616218167321341654749202303\ 5648239858576625309*c_1001_4^3 + 7960255443052292226587929866743591\ 17615219650012718100622257338/3803175250507271616218167321341654749\ 2023035648239858576625309*c_1001_4^2 - 178776316718203057648275392932706513828112267685700933422604649/380\ 31752505072716162181673213416547492023035648239858576625309*c_1001_\ 4 + 1291956908723271841255084814160492666579891431176555687373232/3\ 8031752505072716162181673213416547492023035648239858576625309, c_0101_0 - 1, c_0101_10 - 58941581440771821291181040746177536990756618650145642715364\ 70/38031752505072716162181673213416547492023035648239858576625309*c\ _1001_4^18 + 188145399629376388849497103919300721933747894895391665\ 842787763/380317525050727161621816732134165474920230356482398585766\ 25309*c_1001_4^17 - 83606152149375577447219655586460945895025495648\ 66510551300074346/3803175250507271616218167321341654749202303564823\ 9858576625309*c_1001_4^16 + 263890461066871943642571433065416725448\ 59810797985220079199128616/3803175250507271616218167321341654749202\ 3035648239858576625309*c_1001_4^15 + 38221507826626332290073364276624095930063851002239159460204239548/3\ 8031752505072716162181673213416547492023035648239858576625309*c_100\ 1_4^14 - 1986476672439825438941950346769474575996877524602443894507\ 48125542/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^13 - 790874503805188904221937609599844162495062226939\ 205220955115925528/380317525050727161621816732134165474920230356482\ 39858576625309*c_1001_4^12 + 52433501701693934141043036382633352700\ 2059036229174642608331755558/38031752505072716162181673213416547492\ 023035648239858576625309*c_1001_4^11 + 250897171500323076007801256403097111094004395485883051207505469376/\ 38031752505072716162181673213416547492023035648239858576625309*c_10\ 01_4^10 + 267354743597620571260660133732036466350731368606153308617\ 5197281365/38031752505072716162181673213416547492023035648239858576\ 625309*c_1001_4^9 - 75544409256983447088007564208963250675104073200\ 5983292785128265044/38031752505072716162181673213416547492023035648\ 239858576625309*c_1001_4^8 + 23788798480458972167846806799351686077\ 96211188628767855971732368182/3803175250507271616218167321341654749\ 2023035648239858576625309*c_1001_4^7 - 1176346316319834135609585914456640098335284718740795618267955906546\ /38031752505072716162181673213416547492023035648239858576625309*c_1\ 001_4^6 + 457619494129534246871688314829452551066646830463539402179\ 301126102/380317525050727161621816732134165474920230356482398585766\ 25309*c_1001_4^5 - 105891002935181444966243568982434092684130563824\ 777141106441019399/380317525050727161621816732134165474920230356482\ 39858576625309*c_1001_4^4 + 228013907642327080012550046447478083973\ 00229924550031162631362858/3803175250507271616218167321341654749202\ 3035648239858576625309*c_1001_4^3 - 3033125203794406101685295243174752184236098968372345373224990146/38\ 031752505072716162181673213416547492023035648239858576625309*c_1001\ _4^2 + 493923472797960285577584617679938434784070853416060817394172\ 622/38031752505072716162181673213416547492023035648239858576625309*\ c_1001_4 - 26308685294309293298312788154207332053707945697183542441\ 661184/380317525050727161621816732134165474920230356482398585766253\ 09, c_0101_2 + 105469834064156642843206671925109676634550926403902232382029\ 62/38031752505072716162181673213416547492023035648239858576625309*c\ _1001_4^18 - 336311118409049811067282209676570726360824802642706355\ 167722522/380317525050727161621816732134165474920230356482398585766\ 25309*c_1001_4^17 + 14949327575763222672440056985987004119771347439\ 892916507397458276/380317525050727161621816732134165474920230356482\ 39858576625309*c_1001_4^16 - 46723303718739450816423819151489587800\ 797635678672277704243753982/380317525050727161621816732134165474920\ 23035648239858576625309*c_1001_4^15 - 69667797869922003174527208819542407591320131250989902488286286600/3\ 8031752505072716162181673213416547492023035648239858576625309*c_100\ 1_4^14 + 3521692547729415303883434672372516693447358548919918967299\ 88527147/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^13 + 142562496250299511903712334291814690690441985625\ 7345409022312875622/38031752505072716162181673213416547492023035648\ 239858576625309*c_1001_4^12 - 8829623866682628799110355126446340945\ 66779064423387884636008612184/3803175250507271616218167321341654749\ 2023035648239858576625309*c_1001_4^11 - 449906226000533563535975923551049183394841966665901285783992830226/\ 38031752505072716162181673213416547492023035648239858576625309*c_10\ 01_4^10 - 481828234228746119439123520387732556859148836343654254091\ 5790464138/38031752505072716162181673213416547492023035648239858576\ 625309*c_1001_4^9 + 11761297872758882641741968777656752675454917836\ 24701744064077214980/3803175250507271616218167321341654749202303564\ 8239858576625309*c_1001_4^8 - 4311996949861193637062506357200538632\ 295594038964553890465937102994/380317525050727161621816732134165474\ 92023035648239858576625309*c_1001_4^7 + 1986316508007119297432550213929993486959821643188383600820637792458\ /38031752505072716162181673213416547492023035648239858576625309*c_1\ 001_4^6 - 824463626702971680198269413948301882973516267653805644437\ 603670739/380317525050727161621816732134165474920230356482398585766\ 25309*c_1001_4^5 + 201603569490814894311618333942013169048543323045\ 267886712925106890/380317525050727161621816732134165474920230356482\ 39858576625309*c_1001_4^4 - 394794994277396858310223877531107608154\ 78321374713857080226531676/3803175250507271616218167321341654749202\ 3035648239858576625309*c_1001_4^3 + 4739857853893498363392555661529787344314434952235767574885089666/38\ 031752505072716162181673213416547492023035648239858576625309*c_1001\ _4^2 - 572826462401941014875055699088585307365534907650612743036901\ 908/38031752505072716162181673213416547492023035648239858576625309*\ c_1001_4 + 18624874855823305410015141911637711984521710039607213420\ 631947/380317525050727161621816732134165474920230356482398585766253\ 09, c_0101_3 - 174309308442954967446432131548228050705244767845477661038243\ /3457432045915701469289243019401504317456639604385441688784119*c_10\ 01_4^18 + 561496810200562815582296608358554752055825598181557912668\ 8165/3457432045915701469289243019401504317456639604385441688784119*\ c_1001_4^17 - 24887323651607069950138638001162317627773289656244804\ 9867455665/34574320459157014692892430194015043174566396043854416887\ 84119*c_1001_4^16 + 85254656644145736427540381481367468429736101315\ 1931381956332777/34574320459157014692892430194015043174566396043854\ 41688784119*c_1001_4^15 + 90523761574563944478243240547331302767462\ 8297160223557377837162/34574320459157014692892430194015043174566396\ 04385441688784119*c_1001_4^14 - 62142727296211713517277006592858441\ 20364505134088805134788959655/3457432045915701469289243019401504317\ 456639604385441688784119*c_1001_4^13 - 21683290813685109064088246100666204799115886234787349748884169255/3\ 457432045915701469289243019401504317456639604385441688784119*c_1001\ _4^12 + 22405170841467464496609277815791650415763253324913137332172\ 202777/345743204591570146928924301940150431745663960438544168878411\ 9*c_1001_4^11 + 313464135424596050836477421747694923976785913882354\ 4036504145156/34574320459157014692892430194015043174566396043854416\ 88784119*c_1001_4^10 + 76654131155914946896247909274749556566589944\ 142821150642258024879/345743204591570146928924301940150431745663960\ 4385441688784119*c_1001_4^9 - 4544442175282961217185744393705309888\ 6337377764879671343641809587/34574320459157014692892430194015043174\ 56639604385441688784119*c_1001_4^8 + 76010829173850029320316493474537437012579555593438872361078737080/3\ 457432045915701469289243019401504317456639604385441688784119*c_1001\ _4^7 - 548407761493656890592554435802857382949171913549588852698607\ 68151/3457432045915701469289243019401504317456639604385441688784119\ *c_1001_4^6 + 22773395025971298634754063722902346393856819279505730\ 927142647307/345743204591570146928924301940150431745663960438544168\ 8784119*c_1001_4^5 - 6489898947361173014490703272173196536353122769\ 851932602818361560/345743204591570146928924301940150431745663960438\ 5441688784119*c_1001_4^4 + 1281340694262559607701051261363787607809\ 617449035690351663812199/345743204591570146928924301940150431745663\ 9604385441688784119*c_1001_4^3 - 2179941488941166816718466493254729\ 59888937698707586427302474917/3457432045915701469289243019401504317\ 456639604385441688784119*c_1001_4^2 + 23760729605672296849241826549401512830653276019092211445327713/3457\ 432045915701469289243019401504317456639604385441688784119*c_1001_4 - 3488074432260914803140643305345340397085043987575200457692047/34574\ 32045915701469289243019401504317456639604385441688784119, c_0101_4 - 589415814407718212911810407461775369907566186501456427153647\ 0/38031752505072716162181673213416547492023035648239858576625309*c_\ 1001_4^18 + 1881453996293763888494971039193007219337478948953916658\ 42787763/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^17 - 836061521493755774472196555864609458950254956486\ 6510551300074346/38031752505072716162181673213416547492023035648239\ 858576625309*c_1001_4^16 + 2638904610668719436425714330654167254485\ 9810797985220079199128616/38031752505072716162181673213416547492023\ 035648239858576625309*c_1001_4^15 + 38221507826626332290073364276624095930063851002239159460204239548/3\ 8031752505072716162181673213416547492023035648239858576625309*c_100\ 1_4^14 - 1986476672439825438941950346769474575996877524602443894507\ 48125542/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^13 - 790874503805188904221937609599844162495062226939\ 205220955115925528/380317525050727161621816732134165474920230356482\ 39858576625309*c_1001_4^12 + 52433501701693934141043036382633352700\ 2059036229174642608331755558/38031752505072716162181673213416547492\ 023035648239858576625309*c_1001_4^11 + 250897171500323076007801256403097111094004395485883051207505469376/\ 38031752505072716162181673213416547492023035648239858576625309*c_10\ 01_4^10 + 267354743597620571260660133732036466350731368606153308617\ 5197281365/38031752505072716162181673213416547492023035648239858576\ 625309*c_1001_4^9 - 75544409256983447088007564208963250675104073200\ 5983292785128265044/38031752505072716162181673213416547492023035648\ 239858576625309*c_1001_4^8 + 23788798480458972167846806799351686077\ 96211188628767855971732368182/3803175250507271616218167321341654749\ 2023035648239858576625309*c_1001_4^7 - 1176346316319834135609585914456640098335284718740795618267955906546\ /38031752505072716162181673213416547492023035648239858576625309*c_1\ 001_4^6 + 457619494129534246871688314829452551066646830463539402179\ 301126102/380317525050727161621816732134165474920230356482398585766\ 25309*c_1001_4^5 - 105891002935181444966243568982434092684130563824\ 777141106441019399/380317525050727161621816732134165474920230356482\ 39858576625309*c_1001_4^4 + 228013907642327080012550046447478083973\ 00229924550031162631362858/3803175250507271616218167321341654749202\ 3035648239858576625309*c_1001_4^3 - 3033125203794406101685295243174752184236098968372345373224990146/38\ 031752505072716162181673213416547492023035648239858576625309*c_1001\ _4^2 + 455891720292887569415402944466521887292047817767820958817547\ 313/38031752505072716162181673213416547492023035648239858576625309*\ c_1001_4 - 26308685294309293298312788154207332053707945697183542441\ 661184/380317525050727161621816732134165474920230356482398585766253\ 09, c_0101_7 - 116537393181874426654776519932250853195623325009030401465457\ 0/38031752505072716162181673213416547492023035648239858576625309*c_\ 1001_4^18 + 3723374290618612999025029963481328355132998002150217939\ 9877088/38031752505072716162181673213416547492023035648239858576625\ 309*c_1001_4^17 - 1654489357048771543283083083650061594702929769189\ 482246570396236/380317525050727161621816732134165474920230356482398\ 58576625309*c_1001_4^16 + 52776273984377486473332063712325176008315\ 17169536487291253328480/3803175250507271616218167321341654749202303\ 5648239858576625309*c_1001_4^15 + 689182480764202739508185875898803\ 2969480505401874912365184571594/38031752505072716162181673213416547\ 492023035648239858576625309*c_1001_4^14 - 37975321779124676395002826789267499865747602106618167150762587140/3\ 8031752505072716162181673213416547492023035648239858576625309*c_100\ 1_4^13 - 1525336821237379477037180385872913135397753335099391491729\ 44554078/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^12 + 964633934007358965305411983344195841661493831801\ 31561739596400752/3803175250507271616218167321341654749202303564823\ 9858576625309*c_1001_4^11 - 455100578828617224569544471163082121976\ 8814742348058342781257146/38031752505072716162181673213416547492023\ 035648239858576625309*c_1001_4^10 + 550280578056840059453685294249865715695804214702503957688710882022/\ 38031752505072716162181673213416547492023035648239858576625309*c_10\ 01_4^9 - 1414631517639523740126098636798872853985146988810425847644\ 97210522/3803175250507271616218167321341654749202303564823985857662\ 5309*c_1001_4^8 + 6421173182379838517380660119309026706907947616316\ 37195870576276834/3803175250507271616218167321341654749202303564823\ 9858576625309*c_1001_4^7 - 2618539148005952375066241200145529011199\ 04423866554265915733521408/3803175250507271616218167321341654749202\ 3035648239858576625309*c_1001_4^6 + 229045735018083720100232421981587096973985741629455486478761007839/\ 38031752505072716162181673213416547492023035648239858576625309*c_10\ 01_4^5 - 6930112979687155806726187984310743350303063184563643433928\ 3674776/38031752505072716162181673213416547492023035648239858576625\ 309*c_1001_4^4 + 14924250662619974954115682112342235557549386681137\ 941208577022632/380317525050727161621816732134165474920230356482398\ 58576625309*c_1001_4^3 - 216028648802548736639971970021701415492406\ 4256183607928031262796/38031752505072716162181673213416547492023035\ 648239858576625309*c_1001_4^2 + 24196687261120256157955834295221041\ 6130694677571729275464637154/38031752505072716162181673213416547492\ 023035648239858576625309*c_1001_4 + 10086708671638042827824350394656921947298804970050561939795826/3803\ 1752505072716162181673213416547492023035648239858576625309, c_1001_4^19 - 32*c_1001_4^18 + 1421*c_1001_4^17 - 4590*c_1001_4^16 - 6116*c_1001_4^15 + 34172*c_1001_4^14 + 131452*c_1001_4^13 - 99270*c_1001_4^12 - 34308*c_1001_4^11 - 451358*c_1001_4^10 + 163803*c_1001_4^9 - 417870*c_1001_4^8 + 233780*c_1001_4^7 - 97085*c_1001_4^6 + 26722*c_1001_4^5 - 6049*c_1001_4^4 + 981*c_1001_4^3 - 142*c_1001_4^2 + 13*c_1001_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.480 Total time: 0.680 seconds, Total memory usage: 32.09MB