Magma V2.19-8 Tue Aug 20 2013 18:01:20 on localhost [Seed = 3650645184] Type ? for help. Type -D to quit. Loading file "11_271__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_271 geometric_solution 11.68461417 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -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 -1 1 -4 0 0 4 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.641661979130 1.044824142273 0 5 3 6 0132 0132 2310 0132 0 0 0 0 0 1 -1 0 -1 0 1 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 -5 5 0 4 0 -4 0 -5 5 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.096222914772 0.736838113560 7 0 8 3 0132 0132 0132 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 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533104809253 0.707810328357 6 1 2 0 1023 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 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 0 -5 0 5 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.096222914772 0.736838113560 5 8 0 9 3012 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 0 -1 1 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.267785044455 0.235961447407 10 1 11 4 0132 0132 0132 1230 0 0 0 0 0 -1 1 0 1 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 5 -5 0 -5 0 5 0 -1 1 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.140132876430 0.689571871590 6 3 1 6 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.312346785536 1.239135157781 2 10 11 11 0132 0132 3012 3120 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 -1 1 0 0 0 5 -5 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329137433152 0.878866616136 12 4 9 2 0132 0132 0132 0132 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.140874580688 1.236150972604 11 12 4 8 2031 0321 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 -1 0 0 0 -4 4 -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.031428737221 1.423036315725 5 7 12 12 0132 0132 0213 0132 0 0 0 0 0 0 0 0 -1 0 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 1 -1 0 5 0 -1 -4 -5 4 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.850550031630 0.820503511557 7 7 9 5 3120 1230 1302 0132 0 0 0 0 0 1 0 -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 0 -5 0 5 5 0 0 -5 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.329137433152 0.878866616136 8 10 10 9 0132 0213 0132 0321 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 0 -1 -4 0 4 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.214862395570 1.179627884762 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_8'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_1001_8'], 'c_1010_11' : d['c_0101_3'], 'c_1010_10' : negation(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' : negation(d['c_0011_9']), 'c_0101_10' : d['c_0011_12'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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_1100_8' : d['c_1100_0'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_9'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : d['c_1001_8'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_1001_8'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_8'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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_1001_8'], '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_9'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : negation(d['c_0011_9']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_12'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_9']), 'c_0011_10' : negation(d['c_0011_0']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_9']), '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' : d['c_0101_3'], 'c_0110_5' : d['c_0011_12'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0011_3']})} 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_11, c_0011_12, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_0101_9, c_1001_2, c_1001_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 37 Groebner basis: [ t + 3018376990194244776127802762640788835472/40428015568159620512788238\ 0371075*c_1001_8^36 + 1494767954635496078175131417776541808032/1617\ 1206227263848205115295214843*c_1001_8^35 + 212043464387467379424738397290692609951399/404280155681596205127882\ 380371075*c_1001_8^34 + 851246473067880715160230222894561284918167/\ 404280155681596205127882380371075*c_1001_8^33 + 2718843741844899993568478495736484951271246/40428015568159620512788\ 2380371075*c_1001_8^32 + 733832150193475335692230263191623740470167\ 7/404280155681596205127882380371075*c_1001_8^31 + 17379205258502060047056929181889883495045157/4042801556815962051278\ 82380371075*c_1001_8^30 + 73945555511519683539750036087486559632177\ 49/80856031136319241025576476074215*c_1001_8^29 + 71785640006918622806068435071446434660797652/4042801556815962051278\ 82380371075*c_1001_8^28 + 12862076717918937715844114075501656208959\ 9028/404280155681596205127882380371075*c_1001_8^27 + 214313092787432181956655465556276838134036726/404280155681596205127\ 882380371075*c_1001_8^26 + 1214423269136530445607440464730699504819\ 536/1470109657023986200465026837713*c_1001_8^25 + 488852593688081113521899464960574904067731301/404280155681596205127\ 882380371075*c_1001_8^24 + 1848103691624166115906210712269020491092\ 264/1107616864881085493501047617455*c_1001_8^23 + 880038701659354769972574897193388319533333263/404280155681596205127\ 882380371075*c_1001_8^22 + 1087929773487754828628022742344215365722\ 676664/404280155681596205127882380371075*c_1001_8^21 + 1276131292873392255510040067836742014944596352/40428015568159620512\ 7882380371075*c_1001_8^20 + 142061041493839607912188602333946630908\ 7837408/404280155681596205127882380371075*c_1001_8^19 + 136300670825612335454488122598118515554999863/367527414255996550116\ 25670942825*c_1001_8^18 + 29936990040017887269500454448789853182511\ 9436/80856031136319241025576476074215*c_1001_8^17 + 1409120057820367733375700148423735316986226116/40428015568159620512\ 7882380371075*c_1001_8^16 + 124596040447240452422680574806366959845\ 7985711/404280155681596205127882380371075*c_1001_8^15 + 1030268561136555652536936537996583578570878113/40428015568159620512\ 7882380371075*c_1001_8^14 + 792968485263605896840075644926967684825\ 672103/404280155681596205127882380371075*c_1001_8^13 + 565287103073469453723535080597554983471521569/404280155681596205127\ 882380371075*c_1001_8^12 + 3712590868883364532009084760639867150520\ 59956/404280155681596205127882380371075*c_1001_8^11 + 223313932607002254088405099487971018277179484/404280155681596205127\ 882380371075*c_1001_8^10 + 4039286518427505593748210380973877520161\ 5/133646332456726018224093348883*c_1001_8^9 + 60321339752398378021609391772573858394989638/4042801556815962051278\ 82380371075*c_1001_8^8 + 265951270101115649967736359971984048685171\ 69/404280155681596205127882380371075*c_1001_8^7 + 85402796870695633058800962834583524566439/3341158311418150455602333\ 722075*c_1001_8^6 + 3475607612462647927642041942304569808860404/404\ 280155681596205127882380371075*c_1001_8^5 + 986347457720980173700929559509794901415073/404280155681596205127882\ 380371075*c_1001_8^4 + 227254888596658443316250791805980476489004/4\ 04280155681596205127882380371075*c_1001_8^3 + 39905002946556495248531191370312353624579/4042801556815962051278823\ 80371075*c_1001_8^2 + 4744598369548413487829119636989689433144/4042\ 80155681596205127882380371075*c_1001_8 + 285542533829051272023699520174699985634/404280155681596205127882380\ 371075, c_0011_0 - 1, c_0011_11 - 1440695429689924588728250592/24115437615941060762663*c_1001\ _8^36 - 17336061968980963313752680640/24115437615941060762663*c_100\ 1_8^35 - 95272347112584478920353278290/24115437615941060762663*c_10\ 01_8^34 - 374230340497542709356795738434/24115437615941060762663*c_\ 1001_8^33 - 1173296421441331874583401469904/24115437615941060762663\ *c_1001_8^32 - 3116799730519171872341117601915/24115437615941060762\ 663*c_1001_8^31 - 7280279306300197162788435294843/24115437615941060\ 762663*c_1001_8^30 - 15297332560562169911188108144140/2411543761594\ 1060762663*c_1001_8^29 - 29365618096651647373808885650728/241154376\ 15941060762663*c_1001_8^28 - 52059773430466156304355423662324/24115\ 437615941060762663*c_1001_8^27 - 85868904593567557488486650232802/2\ 4115437615941060762663*c_1001_8^26 - 132504502215929886154948858258177/24115437615941060762663*c_1001_8^\ 25 - 192111579727539707803371162369003/24115437615941060762663*c_10\ 01_8^24 - 262619327629036590280773517441954/24115437615941060762663\ *c_1001_8^23 - 339473444230737256900245756188549/241154376159410607\ 62663*c_1001_8^22 - 415842105381132691974550996270566/2411543761594\ 1060762663*c_1001_8^21 - 483290477293830446937251912064306/24115437\ 615941060762663*c_1001_8^20 - 532897631788507712900606176150096/241\ 15437615941060762663*c_1001_8^19 - 556772043784649641328150200705088/24115437615941060762663*c_1001_8^\ 18 - 549837783661006025521766404812875/24115437615941060762663*c_10\ 01_8^17 - 511478370602183348109339250483696/24115437615941060762663\ *c_1001_8^16 - 446352688948356017429975476259453/241154376159410607\ 62663*c_1001_8^15 - 363768293668787119737955652070421/2411543761594\ 1060762663*c_1001_8^14 - 275536001357058145029946679102567/24115437\ 615941060762663*c_1001_8^13 - 192985875046476454916428229765948/241\ 15437615941060762663*c_1001_8^12 - 124301528102988086259434864306112/24115437615941060762663*c_1001_8^\ 11 - 73174785371400218209667837217344/24115437615941060762663*c_100\ 1_8^10 - 39090951482930801410843766650854/24115437615941060762663*c\ _1001_8^9 - 18787028464775997182323651037686/2411543761594106076266\ 3*c_1001_8^8 - 8034528515997467047617012985618/24115437615941060762\ 663*c_1001_8^7 - 3014127780551882188277056642502/241154376159410607\ 62663*c_1001_8^6 - 972663759539305151048623760210/24115437615941060\ 762663*c_1001_8^5 - 262525936574697759228568852772/2411543761594106\ 0762663*c_1001_8^4 - 56783796638106870077157991916/2411543761594106\ 0762663*c_1001_8^3 - 9172053523945354030918076776/24115437615941060\ 762663*c_1001_8^2 - 969607525376426228764136304/2411543761594106076\ 2663*c_1001_8 - 48780916058460083881911660/24115437615941060762663, c_0011_12 + 195709594381984417505606944/24115437615941060762663*c_1001_\ 8^36 + 2189097238147323069326947440/24115437615941060762663*c_1001_\ 8^35 + 10984765764450689303696040622/24115437615941060762663*c_1001\ _8^34 + 40325009915829962836275212555/24115437615941060762663*c_100\ 1_8^33 + 118752056621944221070175293389/24115437615941060762663*c_1\ 001_8^32 + 297769320344632462027462789880/24115437615941060762663*c\ _1001_8^31 + 659293846877827426208244624126/24115437615941060762663\ *c_1001_8^30 + 1316150656806843020722463946818/24115437615941060762\ 663*c_1001_8^29 + 2403759996400139515946580957282/24115437615941060\ 762663*c_1001_8^28 + 4056005096336217127752771926514/24115437615941\ 060762663*c_1001_8^27 + 6363505467717876301622500029740/24115437615\ 941060762663*c_1001_8^26 + 9327910262688752746842609609760/24115437\ 615941060762663*c_1001_8^25 + 12823267040774438003653300397063/2411\ 5437615941060762663*c_1001_8^24 + 16583061760913671657563324949942/\ 24115437615941060762663*c_1001_8^23 + 20221797286938663222729626384972/24115437615941060762663*c_1001_8^2\ 2 + 23281066104434353267037663547478/24115437615941060762663*c_1001\ _8^21 + 25293939220691736473987039613248/24115437615941060762663*c_\ 1001_8^20 + 25865636861609763957993663361378/2411543761594106076266\ 3*c_1001_8^19 + 24767073656554114509059313396210/241154376159410607\ 62663*c_1001_8^18 + 22028546766624383278986977878824/24115437615941\ 060762663*c_1001_8^17 + 17991157876722330738704332391890/2411543761\ 5941060762663*c_1001_8^16 + 13267141130159218476254506815559/241154\ 37615941060762663*c_1001_8^15 + 8594202339355048189049752774476/241\ 15437615941060762663*c_1001_8^14 + 4628552146398484984452394521349/24115437615941060762663*c_1001_8^13 + 1765792559147777395842764221535/24115437615941060762663*c_1001_8^\ 12 + 70166985244188808625246063275/24115437615941060762663*c_1001_8\ ^11 - 666803294835389894087219743522/24115437615941060762663*c_1001\ _8^10 - 785558021281602129760614466578/24115437615941060762663*c_10\ 01_8^9 - 614166375311192877683740093172/24115437615941060762663*c_1\ 001_8^8 - 380389557552787288132617148346/24115437615941060762663*c_\ 1001_8^7 - 195084648598435439329418031766/24115437615941060762663*c\ _1001_8^6 - 83525682138201509683562380310/24115437615941060762663*c\ _1001_8^5 - 29539577075130694039623930328/24115437615941060762663*c\ _1001_8^4 - 8387117498337677686689420760/24115437615941060762663*c_\ 1001_8^3 - 1808820670223299154596260916/24115437615941060762663*c_1\ 001_8^2 - 264923590740957639853217664/24115437615941060762663*c_100\ 1_8 - 19788817990806082735064188/24115437615941060762663, c_0011_3 - 1060767234627643704210429408/24115437615941060762663*c_1001_\ 8^36 - 13007155015578426911796466496/24115437615941060762663*c_1001\ _8^35 - 73036092783468789823524089890/24115437615941060762663*c_100\ 1_8^34 - 291187859579540993260378941322/24115437615941060762663*c_1\ 001_8^33 - 924672002356403461516831168534/24115437615941060762663*c\ _1001_8^32 - 2483601154961815377194687359427/2411543761594106076266\ 3*c_1001_8^31 - 5857359806503139403687922597027/2411543761594106076\ 2663*c_1001_8^30 - 12414898286299672900732755934370/241154376159410\ 60762663*c_1001_8^29 - 24023604481021832627295349110618/24115437615\ 941060762663*c_1001_8^28 - 42910003157509385418254094890437/2411543\ 7615941060762663*c_1001_8^27 - 71287665083586473141263665849827/241\ 15437615941060762663*c_1001_8^26 - 110774226232111135170886702375348/24115437615941060762663*c_1001_8^\ 25 - 161705262055374425016875302235596/24115437615941060762663*c_10\ 01_8^24 - 222540126043735214177989002938754/24115437615941060762663\ *c_1001_8^23 - 289574377653626247128748290899941/241154376159410607\ 62663*c_1001_8^22 - 357061935436161686550888878143991/2411543761594\ 1060762663*c_1001_8^21 - 417752464143989325494354806901791/24115437\ 615941060762663*c_1001_8^20 - 463821881150608692314978630322132/241\ 15437615941060762663*c_1001_8^19 - 488159843170479644708927118508553/24115437615941060762663*c_1001_8^\ 18 - 485913063056322837592921852941394/24115437615941060762663*c_10\ 01_8^17 - 455960044101113321141563827100940/24115437615941060762663\ *c_1001_8^16 - 401745921701931232589025146186751/241154376159410607\ 62663*c_1001_8^15 - 330919081075025634868193386092471/2411543761594\ 1060762663*c_1001_8^14 - 253626916576941449586326775030052/24115437\ 615941060762663*c_1001_8^13 - 179973490306843966410029771785342/241\ 15437615941060762663*c_1001_8^12 - 117607072811633162720997338342225/24115437615941060762663*c_1001_8^\ 11 - 70353313394795582534933860770097/24115437615941060762663*c_100\ 1_8^10 - 38262728172997925358739014024546/24115437615941060762663*c\ _1001_8^9 - 18763517861470457762350559969912/2411543761594106076266\ 3*c_1001_8^8 - 8211046709865813238057949629668/24115437615941060762\ 663*c_1001_8^7 - 3163507087848709723627781581997/241154376159410607\ 62663*c_1001_8^6 - 1053605173092884523421246515829/2411543761594106\ 0762663*c_1001_8^5 - 295538772814689791316969374437/241154376159410\ 60762663*c_1001_8^4 - 67124564218139539597671778902/241154376159410\ 60762663*c_1001_8^3 - 11572448328217984556385168353/241154376159410\ 60762663*c_1001_8^2 - 1342149017693724110098243093/2411543761594106\ 0762663*c_1001_8 - 77883185451034200738354180/241154376159410607626\ 63, c_0011_9 + 251657686316138233316829168/24115437615941060762663*c_1001_8\ ^36 + 3126149534395230266921139744/24115437615941060762663*c_1001_8\ ^35 + 17795571988332981316494629889/24115437615941060762663*c_1001_\ 8^34 + 71559804097981676536595031637/24115437615941060762663*c_1001\ _8^33 + 228887798123879639633687732263/24115437615941060762663*c_10\ 01_8^32 + 618482365315230978341678015685/24115437615941060762663*c_\ 1001_8^31 + 1466148884063047719164437863086/24115437615941060762663\ *c_1001_8^30 + 3121760815218684993786915779741/24115437615941060762\ 663*c_1001_8^29 + 6065803705163498714054761648341/24115437615941060\ 762663*c_1001_8^28 + 10876058619875347003875916775700/2411543761594\ 1060762663*c_1001_8^27 + 18134414051778056569310699358274/241154376\ 15941060762663*c_1001_8^26 + 28277515239452768122876618108144/24115\ 437615941060762663*c_1001_8^25 + 41418379474188449330819663904774/2\ 4115437615941060762663*c_1001_8^24 + 57188169173912053075394572862382/24115437615941060762663*c_1001_8^2\ 3 + 74654773242775628463917262059769/24115437615941060762663*c_1001\ _8^22 + 92347526840265361682565074065170/24115437615941060762663*c_\ 1001_8^21 + 108390769687793260762731544193113/241154376159410607626\ 63*c_1001_8^20 + 120740870931038128531460655865192/2411543761594106\ 0762663*c_1001_8^19 + 127517438226637607477430386573667/24115437615\ 941060762663*c_1001_8^18 + 127403676987565900774888341322480/241154\ 37615941060762663*c_1001_8^17 + 120035654343699048633563560587811/2\ 4115437615941060762663*c_1001_8^16 + 106234650635133668709637889230166/24115437615941060762663*c_1001_8^\ 15 + 87934758972118011438418429057285/24115437615941060762663*c_100\ 1_8^14 + 67759433604978850170185492380020/24115437615941060762663*c\ _1001_8^13 + 48367051483761890876044044206391/241154376159410607626\ 63*c_1001_8^12 + 31812366263238688070879210229544/24115437615941060\ 762663*c_1001_8^11 + 19167059600170762066870468682088/2411543761594\ 1060762663*c_1001_8^10 + 10507203615509021238961521192076/241154376\ 15941060762663*c_1001_8^9 + 5198301773179397883158296740246/2411543\ 7615941060762663*c_1001_8^8 + 2297571081049070788307079469480/24115\ 437615941060762663*c_1001_8^7 + 895328976934015650954073492731/2411\ 5437615941060762663*c_1001_8^6 + 302171965474918891294961481214/241\ 15437615941060762663*c_1001_8^5 + 86115748078376277710938229915/241\ 15437615941060762663*c_1001_8^4 + 19946928111573081708787572512/241\ 15437615941060762663*c_1001_8^3 + 3527309086751494097693018609/2411\ 5437615941060762663*c_1001_8^2 + 423592537360568436364807298/241154\ 37615941060762663*c_1001_8 + 25897362082502635493912613/24115437615\ 941060762663, c_0101_0 + 4440526760345953946244879328/24115437615941060762663*c_1001_\ 8^36 + 55249059175679528147785996080/24115437615941060762663*c_1001\ _8^35 + 315152951476869238813509238242/24115437615941060762663*c_10\ 01_8^34 + 1269436402031007504573551364411/24115437615941060762663*c\ _1001_8^33 + 4065880288748244365810785297619/2411543761594106076266\ 3*c_1001_8^32 + 10999568028631451836018008457577/241154376159410607\ 62663*c_1001_8^31 + 26101441150266310155251705222849/24115437615941\ 060762663*c_1001_8^30 + 55625020627957738015895720094484/2411543761\ 5941060762663*c_1001_8^29 + 108169217420970929514796078455596/24115\ 437615941060762663*c_1001_8^28 + 194089021541192538095901723457135/\ 24115437615941060762663*c_1001_8^27 + 323836332501876886715623369804455/24115437615941060762663*c_1001_8^\ 26 + 505288251661824033939669960079632/24115437615941060762663*c_10\ 01_8^25 + 740546477322638932840244079209287/24115437615941060762663\ *c_1001_8^24 + 1023089374664642325090288462271194/24115437615941060\ 762663*c_1001_8^23 + 1336291500263938219068699810589111/24115437615\ 941060762663*c_1001_8^22 + 1653848218540228522830540682047747/24115\ 437615941060762663*c_1001_8^21 + 1942156070067076971402182968559559\ /24115437615941060762663*c_1001_8^20 + 2164548735741530774588987529671400/24115437615941060762663*c_1001_8\ ^19 + 2287224203483706249365266982957333/24115437615941060762663*c_\ 1001_8^18 + 2286418978718694500271415495744850/24115437615941060762\ 663*c_1001_8^17 + 2155405121185328691493658044096812/24115437615941\ 060762663*c_1001_8^16 + 1908705409563920251620625867667267/24115437\ 615941060762663*c_1001_8^15 + 1580861552235826769496609964083004/24\ 115437615941060762663*c_1001_8^14 + 1218894094566371516488071587842175/24115437615941060762663*c_1001_8\ ^13 + 870575353922328591464773294837121/24115437615941060762663*c_1\ 001_8^12 + 572935534980631153223815095986271/2411543761594106076266\ 3*c_1001_8^11 + 345386589518012179069998153925674/24115437615941060\ 762663*c_1001_8^10 + 189434324514026330780205637038918/241154376159\ 41060762663*c_1001_8^9 + 93762495872053949924702776068982/241154376\ 15941060762663*c_1001_8^8 + 41457073013035275409709895239016/241154\ 37615941060762663*c_1001_8^7 + 16159484682801688912921994665858/241\ 15437615941060762663*c_1001_8^6 + 5454407417786835913099883873618/2\ 4115437615941060762663*c_1001_8^5 + 1554260511045802248647407230028/24115437615941060762663*c_1001_8^4 + 359832081007153305868906666156/24115437615941060762663*c_1001_8^3 + 63555325597203990280252502130/24115437615941060762663*c_1001_8^2 + 7611896049469131048679075110/24115437615941060762663*c_1001_8 + 462377212640858046831549268/24115437615941060762663, c_0101_1 - 2705387964804769761269647168/24115437615941060762663*c_1001_\ 8^36 - 33815571326439527591275751952/24115437615941060762663*c_1001\ _8^35 - 193795888579323296164546616460/24115437615941060762663*c_10\ 01_8^34 - 782765570992622477238379932643/24115437615941060762663*c_\ 1001_8^33 - 2512725722356379818378730752757/24115437615941060762663\ *c_1001_8^32 - 6809902096730217451486380684992/24115437615941060762\ 663*c_1001_8^31 - 16183246994651833460711910328408/2411543761594106\ 0762663*c_1001_8^30 - 34531692227443491909531617958790/241154376159\ 41060762663*c_1001_8^29 - 67225032650237804755736808503536/24115437\ 615941060762663*c_1001_8^28 - 120742484742659648078459229284464/241\ 15437615941060762663*c_1001_8^27 - 201642917804973156608517069465324/24115437615941060762663*c_1001_8^\ 26 - 314896906320843151545512524571223/24115437615941060762663*c_10\ 01_8^25 - 461882632229053717953583283108428/24115437615941060762663\ *c_1001_8^24 - 638593287661056511562172474385268/241154376159410607\ 62663*c_1001_8^23 - 834694288567339151887535807070022/2411543761594\ 1060762663*c_1001_8^22 - 1033773756112526179951612695816574/2411543\ 7615941060762663*c_1001_8^21 - 1214818881736037934907818268125414/2\ 4115437615941060762663*c_1001_8^20 - 1354855872151452963823394161725304/24115437615941060762663*c_1001_8\ ^19 - 1432651210587188145427482782681574/24115437615941060762663*c_\ 1001_8^18 - 1433200104356078028017708164302605/24115437615941060762\ 663*c_1001_8^17 - 1352122386776098060177117401928460/24115437615941\ 060762663*c_1001_8^16 - 1198340401806211660115665606210726/24115437\ 615941060762663*c_1001_8^15 - 993360857460595425440533723058399/241\ 15437615941060762663*c_1001_8^14 - 766597360389885172306910590212495/24115437615941060762663*c_1001_8^\ 13 - 548037482076409716240484360590409/24115437615941060762663*c_10\ 01_8^12 - 361014776801673813941825639215856/24115437615941060762663\ *c_1001_8^11 - 217847039915789860489916032563259/241154376159410607\ 62663*c_1001_8^10 - 119603257077918063505208939758109/2411543761594\ 1060762663*c_1001_8^9 - 59260195892428431460087310792872/2411543761\ 5941060762663*c_1001_8^8 - 26229772466690753872991243730390/2411543\ 7615941060762663*c_1001_8^7 - 10235265880427029808705469726268/2411\ 5437615941060762663*c_1001_8^6 - 3458679762592001078407373972502/24\ 115437615941060762663*c_1001_8^5 - 986720206937051912044323552802/24115437615941060762663*c_1001_8^4 - 228713018732703720226278686666/24115437615941060762663*c_1001_8^3 - 40444716761341250399896186188/24115437615941060762663*c_1001_8^2 - 4849199043833572847991884404/24115437615941060762663*c_1001_8 - 294765467455107124200653080/24115437615941060762663, c_0101_12 + 2876444724678920614570344128/24115437615941060762663*c_1001\ _8^36 + 35555187824316629356312763760/24115437615941060762663*c_100\ 1_8^35 + 201371225096525543519770983364/24115437615941060762663*c_1\ 001_8^34 + 807279449237481610931774258789/24115437615941060762663*c\ _1001_8^33 + 2575411362588984729059375029032/2411543761594106076266\ 3*c_1001_8^32 + 6944090966197140338094727313333/2411543761594106076\ 2663*c_1001_8^31 + 16430952779374861903125559111414/241154376159410\ 60762663*c_1001_8^30 + 34927479878441507031576152521552/24115437615\ 941060762663*c_1001_8^29 + 67764685292653645140430248736298/2411543\ 7615941060762663*c_1001_8^28 + 121332809879880531471253669169924/24\ 115437615941060762663*c_1001_8^27 + 202036780021185412729128976965734/24115437615941060762663*c_1001_8^\ 26 + 314635888980023599890335893930753/24115437615941060762663*c_10\ 01_8^25 + 460271462296649132867131670490715/24115437615941060762663\ *c_1001_8^24 + 634733393430742678964145869979857/241154376159410607\ 62663*c_1001_8^23 + 827588066095669031842264834703710/2411543761594\ 1060762663*c_1001_8^22 + 1022481998108323070570832408018066/2411543\ 7615941060762663*c_1001_8^21 + 1198645035046317112188277044356348/2\ 4115437615941060762663*c_1001_8^20 + 1333530777492415875370235868434806/24115437615941060762663*c_1001_8\ ^19 + 1406491414589367300922445437240692/24115437615941060762663*c_\ 1001_8^18 + 1403205996337331009859632534162569/24115437615941060762\ 663*c_1001_8^17 + 1319959184911333211899987493156873/24115437615941\ 060762663*c_1001_8^16 + 1166147016829283539565125158941985/24115437\ 615941060762663*c_1001_8^15 + 963384537567493090869322662785918/241\ 15437615941060762663*c_1001_8^14 + 740740297409610801317835397140240/24115437615941060762663*c_1001_8^\ 13 + 527470122481247823581966004452211/24115437615941060762663*c_10\ 01_8^12 + 346002577249767575767231703279176/24115437615941060762663\ *c_1001_8^11 + 207846102118255725302097709180454/241154376159410607\ 62663*c_1001_8^10 + 113559672961290095030719209590650/2411543761594\ 1060762663*c_1001_8^9 + 55971691214260393621202648411996/2411543761\ 5941060762663*c_1001_8^8 + 24633457324395554049386024736544/2411543\ 7615941060762663*c_1001_8^7 + 9552357664264912126502838989516/24115\ 437615941060762663*c_1001_8^6 + 3205457773493541851546621648172/241\ 15437615941060762663*c_1001_8^5 + 907255623842587160001441254328/24\ 115437615941060762663*c_1001_8^4 + 208363317457203907364402330820/24115437615941060762663*c_1001_8^3 + 36442092477811986968360635336/24115437615941060762663*c_1001_8^2 + 4310450235936773418288073664/24115437615941060762663*c_1001_8 + 257589409999178799112061736/24115437615941060762663, c_0101_3 + 2216243951924357367952680096/24115437615941060762663*c_1001_\ 8^36 + 26924860965805438901269457808/24115437615941060762663*c_1001\ _8^35 + 149592618339859825886408864454/24115437615941060762663*c_10\ 01_8^34 + 592022896124048379847148813985/24115437615941060762663*c_\ 1001_8^33 + 1868184660673143550068988075854/24115437615941060762663\ *c_1001_8^32 + 4990600693436874609113776755514/24115437615941060762\ 663*c_1001_8^31 + 11714362636647111175960737109996/2411543761594106\ 0762663*c_1001_8^30 + 24723537617136007914917556934849/241154376159\ 41060762663*c_1001_8^29 + 47654925800640892636219142239190/24115437\ 615941060762663*c_1001_8^28 + 84808397909765013523201530243792/2411\ 5437615941060762663*c_1001_8^27 + 140402430330904439329274377543808\ /24115437615941060762663*c_1001_8^26 + 217433741069664361548646247851514/24115437615941060762663*c_1001_8^\ 25 + 316355893574182864514925705528015/24115437615941060762663*c_10\ 01_8^24 + 433961740003520534319215239616440/24115437615941060762663\ *c_1001_8^23 + 562880158617588358156143750569347/241154376159410607\ 62663*c_1001_8^22 + 691864030626603707030748115730791/2411543761594\ 1060762663*c_1001_8^21 + 806870662628214807631434597589796/24115437\ 615941060762663*c_1001_8^20 + 892891721225059901145862551302724/241\ 15437615941060762663*c_1001_8^19 + 936460886220554636062916984330568/24115437615941060762663*c_1001_8^\ 18 + 928635473738996644161809678473326/24115437615941060762663*c_10\ 01_8^17 + 867795597984653188025763566520182/24115437615941060762663\ *c_1001_8^16 + 761137005683768637357034922653956/241154376159410607\ 62663*c_1001_8^15 + 623803929783843513605724233434424/2411543761594\ 1060762663*c_1001_8^14 + 475457139619256396063250542854812/24115437\ 615941060762663*c_1001_8^13 + 335327452932115923927351153525536/241\ 15437615941060762663*c_1001_8^12 + 217655076729076619125640835715556/24115437615941060762663*c_1001_8^\ 11 + 129238441962298134795262993981758/24115437615941060762663*c_10\ 01_8^10 + 69711658705668324518866686367112/24115437615941060762663*\ c_1001_8^9 + 33872757082455961992397684513696/241154376159410607626\ 63*c_1001_8^8 + 14670048343349251748111329380980/241154376159410607\ 62663*c_1001_8^7 + 5585373294670388647997530778576/2411543761594106\ 0762663*c_1001_8^6 + 1834689199785451890640099747940/24115437615941\ 060762663*c_1001_8^5 + 506219592328251684104938027346/2411543761594\ 1060762663*c_1001_8^4 + 112665303456380302573358535572/241154376159\ 41060762663*c_1001_8^3 + 18925691961810626155022845024/241154376159\ 41060762663*c_1001_8^2 + 2120078504143986831357461164/2411543761594\ 1060762663*c_1001_8 + 117257457616573996340423652/24115437615941060\ 762663, c_0101_9 + 162700107003903934585772640/24115437615941060762663*c_1001_8\ ^36 + 2008844092449179682495854592/24115437615941060762663*c_1001_8\ ^35 + 11372288994152574877493258778/24115437615941060762663*c_1001_\ 8^34 + 45621675087689078341182877430/24115437615941060762663*c_1001\ _8^33 + 145660357011329082847855907638/24115437615941060762663*c_10\ 01_8^32 + 393113480312765622183048414752/24115437615941060762663*c_\ 1001_8^31 + 931090667767070703124513992466/24115437615941060762663*\ c_1001_8^30 + 1981163371841720801163531945527/241154376159410607626\ 63*c_1001_8^29 + 3847510120776362831122321548886/241154376159410607\ 62663*c_1001_8^28 + 6895675372145695154067113163165/241154376159410\ 60762663*c_1001_8^27 + 11493519572622368392002588850286/24115437615\ 941060762663*c_1001_8^26 + 17916833250722814345701180186839/2411543\ 7615941060762663*c_1001_8^25 + 26236428774711605280198039876146/241\ 15437615941060762663*c_1001_8^24 + 36218200139496035788718602111791/24115437615941060762663*c_1001_8^2\ 3 + 47271733978025688903665293835526/24115437615941060762663*c_1001\ _8^22 + 58465935216333435053871509078373/24115437615941060762663*c_\ 1001_8^21 + 68613743946254828673285979226693/2411543761594106076266\ 3*c_1001_8^20 + 76422322310612495981330839139371/241154376159410607\ 62663*c_1001_8^19 + 80702699619055248828814478980124/24115437615941\ 060762663*c_1001_8^18 + 80623028901261729030574873660049/2411543761\ 5941060762663*c_1001_8^17 + 75954443826504196369220743354243/241154\ 37615941060762663*c_1001_8^16 + 67217559009131540002997824730739/24\ 115437615941060762663*c_1001_8^15 + 55636363759034164307776289322258/24115437615941060762663*c_1001_8^1\ 4 + 42870360943973040687814854450053/24115437615941060762663*c_1001\ _8^13 + 30600820798784420934883008790401/24115437615941060762663*c_\ 1001_8^12 + 20127125581259433937705871264507/2411543761594106076266\ 3*c_1001_8^11 + 12126903496163816996919661670186/241154376159410607\ 62663*c_1001_8^10 + 6648107870496370608790639401599/241154376159410\ 60762663*c_1001_8^9 + 3289277393792293917787302849110/2411543761594\ 1060762663*c_1001_8^8 + 1453970610501534626240389804331/24115437615\ 941060762663*c_1001_8^7 + 566697687620068663296622804838/2411543761\ 5941060762663*c_1001_8^6 + 191322791351516794018510636019/241154376\ 15941060762663*c_1001_8^5 + 54557178057499897940005971171/241154376\ 15941060762663*c_1001_8^4 + 12650831596242721684369615565/241154376\ 15941060762663*c_1001_8^3 + 2241843349600541238974633588/2411543761\ 5941060762663*c_1001_8^2 + 270368395335867051449930012/241154376159\ 41060762663*c_1001_8 + 16662618041976367031707123/24115437615941060\ 762663, c_1001_2 + 2216243951924357367952680096/24115437615941060762663*c_1001_\ 8^36 + 26924860965805438901269457808/24115437615941060762663*c_1001\ _8^35 + 149592618339859825886408864454/24115437615941060762663*c_10\ 01_8^34 + 592022896124048379847148813985/24115437615941060762663*c_\ 1001_8^33 + 1868184660673143550068988075854/24115437615941060762663\ *c_1001_8^32 + 4990600693436874609113776755514/24115437615941060762\ 663*c_1001_8^31 + 11714362636647111175960737109996/2411543761594106\ 0762663*c_1001_8^30 + 24723537617136007914917556934849/241154376159\ 41060762663*c_1001_8^29 + 47654925800640892636219142239190/24115437\ 615941060762663*c_1001_8^28 + 84808397909765013523201530243792/2411\ 5437615941060762663*c_1001_8^27 + 140402430330904439329274377543808\ /24115437615941060762663*c_1001_8^26 + 217433741069664361548646247851514/24115437615941060762663*c_1001_8^\ 25 + 316355893574182864514925705528015/24115437615941060762663*c_10\ 01_8^24 + 433961740003520534319215239616440/24115437615941060762663\ *c_1001_8^23 + 562880158617588358156143750569347/241154376159410607\ 62663*c_1001_8^22 + 691864030626603707030748115730791/2411543761594\ 1060762663*c_1001_8^21 + 806870662628214807631434597589796/24115437\ 615941060762663*c_1001_8^20 + 892891721225059901145862551302724/241\ 15437615941060762663*c_1001_8^19 + 936460886220554636062916984330568/24115437615941060762663*c_1001_8^\ 18 + 928635473738996644161809678473326/24115437615941060762663*c_10\ 01_8^17 + 867795597984653188025763566520182/24115437615941060762663\ *c_1001_8^16 + 761137005683768637357034922653956/241154376159410607\ 62663*c_1001_8^15 + 623803929783843513605724233434424/2411543761594\ 1060762663*c_1001_8^14 + 475457139619256396063250542854812/24115437\ 615941060762663*c_1001_8^13 + 335327452932115923927351153525536/241\ 15437615941060762663*c_1001_8^12 + 217655076729076619125640835715556/24115437615941060762663*c_1001_8^\ 11 + 129238441962298134795262993981758/24115437615941060762663*c_10\ 01_8^10 + 69711658705668324518866686367112/24115437615941060762663*\ c_1001_8^9 + 33872757082455961992397684513696/241154376159410607626\ 63*c_1001_8^8 + 14670048343349251748111329380980/241154376159410607\ 62663*c_1001_8^7 + 5585373294670388647997530778576/2411543761594106\ 0762663*c_1001_8^6 + 1834689199785451890640099747940/24115437615941\ 060762663*c_1001_8^5 + 506219592328251684104938027346/2411543761594\ 1060762663*c_1001_8^4 + 112665303456380302573358535572/241154376159\ 41060762663*c_1001_8^3 + 18925691961810626155022845024/241154376159\ 41060762663*c_1001_8^2 + 2120078504143986831357461164/2411543761594\ 1060762663*c_1001_8 + 117257457616573996340423652/24115437615941060\ 762663, c_1001_8^37 + 13*c_1001_8^36 + 1247/16*c_1001_8^35 + 1303/4*c_1001_8^34 + 8613/8*c_1001_8^33 + 11975/4*c_1001_8^32 + 116449/16*c_1001_8^31 + 126829/8*c_1001_8^30 + 62917/2*c_1001_8^29 + 460231/8*c_1001_8^28 + 391005/4*c_1001_8^27 + 2483989/16*c_1001_8^26 + 463041/2*c_1001_8^25 + 5206119/16*c_1001_8^24 + 6916329/16*c_1001_8^23 + 544139*c_1001_8^22 + 650047*c_1001_8^21 + 2949663/4*c_1001_8^20 + 12702491/16*c_1001_8^19 + 3239173/4*c_1001_8^18 + 6243759/8*c_1001_8^17 + 2833183/4*c_1001_8^16 + 9645993/16*c_1001_8^15 + 3833683/8*c_1001_8^14 + 1416431/4*c_1001_8^13 + 1936617/8*c_1001_8^12 + 1218393/8*c_1001_8^11 + 1402551/16*c_1001_8^10 + 91683/2*c_1001_8^9 + 345589/16*c_1001_8^8 + 145173/16*c_1001_8^7 + 13407/4*c_1001_8^6 + 4275/4*c_1001_8^5 + 573/2*c_1001_8^4 + 993/16*c_1001_8^3 + 163/16*c_1001_8^2 + 9/8*c_1001_8 + 1/16, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.280 Total time: 2.490 seconds, Total memory usage: 32.09MB