Magma V2.19-8 Tue Aug 20 2013 23:46:35 on localhost [Seed = 3187398566] Type ? for help. Type -D to quit. Loading file "K14n21794__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21794 geometric_solution 11.17727172 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 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 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.697057814552 0.485185236853 0 5 7 6 0132 0132 0132 0132 0 0 0 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 1 -1 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.850343142593 0.816408573484 8 0 6 9 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.149656857407 0.816408573484 8 4 9 0 2031 1302 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479818896389 0.773838999203 7 5 0 3 0132 1230 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 1.015609594441 0.849833133313 9 1 4 10 0321 0132 3012 0132 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 -1 1 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334635059748 1.072388188928 11 2 1 10 0132 3201 0132 0213 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 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.074077247955 1.482936584398 4 8 10 1 0132 0321 2103 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 -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.480852589809 0.403126147063 2 11 3 7 0132 1302 1302 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582247950288 0.673303230918 5 3 2 11 0321 1230 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.201661343453 0.933108974351 7 11 5 6 2103 1230 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401688494487 0.890068426984 6 9 10 8 0132 2310 3012 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.015609594441 0.849833133313 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_9']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_0'], 'c_1010_11' : d['c_0011_0'], 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_9']), '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_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_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_1']), 'c_1100_10' : negation(d['c_1001_2']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_1001_1'], 'c_1100_8' : d['c_0011_10'], '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'], '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' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_11']), '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_0'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : negation(d['c_0011_3']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_0']), 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2098454517113018583578549313458994451624559/22430563328467285083932\ 204737845*c_1001_2^19 - 1003507037546889240405410239554414335374183\ 3/53833351988321484201437291370828*c_1001_2^18 + 143628340312353305844106947739112885073549697/807500279824822263021\ 559370562420*c_1001_2^17 - 2793216915919752015799049932378106007653\ 22833/269166759941607421007186456854140*c_1001_2^16 - 1299613904484220247850460084492630010936238821/13458337997080371050\ 3593228427070*c_1001_2^15 - 210257794978218509302323921073533158206\ 3003717/89722253313869140335728818951380*c_1001_2^14 - 833082867491013832668169287119723095681851007/260483961233813633232\ 76108727820*c_1001_2^13 - 31942753019435525153765416028038677679084\ 649531/807500279824822263021559370562420*c_1001_2^12 - 18618153381624309274644617094402830260767417983/4037501399124111315\ 10779685281210*c_1001_2^11 - 30824166314180507276169514912527358379\ 209875167/807500279824822263021559370562420*c_1001_2^10 - 1116779639823888465537422922428356097265161161/67291689985401855251\ 796614213535*c_1001_2^9 - 20395367909799769857622509015596633825626\ 94744/201875069956205565755389842640605*c_1001_2^8 - 461216808650221914260865642356972465610732347/201875069956205565755\ 389842640605*c_1001_2^7 + 12010700027218464231987819089973917213695\ 534319/807500279824822263021559370562420*c_1001_2^6 + 647740906121287208168524735125562157987478443/403750139912411131510\ 77968528121*c_1001_2^5 - 193603703806742686729766759807505116376473\ 7349/269166759941607421007186456854140*c_1001_2^4 - 610912450595997414753878248223336376314983/365219484316970720498217\ 71622*c_1001_2^3 - 6795791247076807386646079944360812585242426659/8\ 07500279824822263021559370562420*c_1001_2^2 - 692909676530915279756871135047849746632002389/403750139912411131510\ 779685281210*c_1001_2 - 9852804131194253232905041160201825558246333\ 9/807500279824822263021559370562420, c_0011_0 - 1, c_0011_10 + 1359471613102680923022379168923/343941323342990206948915412\ 0*c_1001_2^19 + 9709598671958277642572115079517/1169400499366166703\ 6263124008*c_1001_2^18 - 119834390080796935856693787560129/17541007\ 4904925005543946860120*c_1001_2^17 + 31254428841953051690910188823137/7308753121038541897664452505*c_100\ 1_2^16 + 142100846091416212002845535362497/343941323342990206948915\ 4120*c_1001_2^15 + 6035079427601424593929479212950967/5847002496830\ 8335181315620040*c_1001_2^14 + 25289179036637689542514035687367859/\ 175410074904925005543946860120*c_1001_2^13 + 229811204990264841673317866645002/1289779962536213276058432795*c_10\ 01_2^12 + 36581607549866703361663874143365197/175410074904925005543\ 946860120*c_1001_2^11 + 15518640529110933917964357201759587/8770503\ 7452462502771973430060*c_1001_2^10 + 1189748135607574911215268528819887/14617506242077083795328905010*c_\ 1001_2^9 + 2009853285632411352878673331890133/438525187262312513859\ 86715030*c_1001_2^8 + 2285407618912227667690195839620551/1754100749\ 04925005543946860120*c_1001_2^7 - 553666120352823502081813638338606\ 9/87705037452462502771973430060*c_1001_2^6 - 2612295648979840654635432701139895/35082014980985001108789372024*c_\ 1001_2^5 + 375509777049453765582129674058367/1461750624207708379532\ 8905010*c_1001_2^4 + 13230571238976154986822392654961/1745373879650\ 99508003927224*c_1001_2^3 + 1805717619266919194600920856454347/4385\ 2518726231251385986715030*c_1001_2^2 + 1558488207822144989652882741602041/175410074904925005543946860120*c\ _1001_2 + 57637571895546279503989714118069/877050374524625027719734\ 30060, c_0011_11 + 206929069475738446438938219892349/1754100749049250055439468\ 60120*c_1001_2^19 + 1237457186133057844181139896192861/526230224714\ 775016631840580360*c_1001_2^18 - 3536333861004564645428165608938829\ /1578690674144325049895521741080*c_1001_2^17 + 860694162431839611199836189190366/65778778089346877078980072545*c_1\ 001_2^16 + 64081703769187402399807432891280317/52623022471477501663\ 1840580360*c_1001_2^15 + 10370706809763877344848505475040741/350820\ 14980985001108789372024*c_1001_2^14 + 637179333435519460236610904181426223/157869067414432504989552174108\ 0*c_1001_2^13 + 98528284018936919469616100647059361/197336334268040\ 631236940217635*c_1001_2^12 + 918854440423100559633682052607827953/\ 1578690674144325049895521741080*c_1001_2^11 + 380481930660654539457308755048831051/789345337072162524947760870540\ *c_1001_2^10 + 27611751604541655326259548695341007/1315575561786937\ 54157960145090*c_1001_2^9 + 50391217592775695122762632811024499/394\ 672668536081262473880435270*c_1001_2^8 + 536824015213820162116293169282511/18572831460521471175241432248*c_1\ 001_2^7 - 147977756692167704960835718580987173/78934533707216252494\ 7760870540*c_1001_2^6 - 319677494874816568930437690767218183/157869\ 0674144325049895521741080*c_1001_2^5 + 11893558225395196352004018706886527/131557556178693754157960145090*\ c_1001_2^4 + 1656987116202046636734884539690097/7854182458429477860\ 176725080*c_1001_2^3 + 42004758912153603162329842719259723/39467266\ 8536081262473880435270*c_1001_2^2 + 34387207025884216238138915741482253/1578690674144325049895521741080\ *c_1001_2 + 245340698621969485461479482253309/157869067414432504989\ 552174108, c_0011_3 - 152953393576802981248995586089551/17541007490492500554394686\ 0120*c_1001_2^19 - 917323940945865690197733143055911/52623022471477\ 5016631840580360*c_1001_2^18 + 2600589080043464344695953643608383/1\ 578690674144325049895521741080*c_1001_2^17 - 635385151223319719799672624782008/65778778089346877078980072545*c_1\ 001_2^16 - 47397926589879120463432728324480391/52623022471477501663\ 1840580360*c_1001_2^15 - 2259750876148724647643480921348507/1031823\ 9700289706208467462360*c_1001_2^14 - 472716684255093951260650018527972637/157869067414432504989552174108\ 0*c_1001_2^13 - 14619753103471994161846542955923671/394672668536081\ 26247388043527*c_1001_2^12 - 136370820309747865190991560196212399/3\ 15738134828865009979104348216*c_1001_2^11 - 282772175802320977163514233503534093/789345337072162524947760870540\ *c_1001_2^10 - 20598807652005297981507789307801549/1315575561786937\ 54157960145090*c_1001_2^9 - 37420673635574903700008733267320567/394\ 672668536081262473880435270*c_1001_2^8 - 34368756253052078908546809365924561/1578690674144325049895521741080\ *c_1001_2^7 + 109381560955565334133597336421626927/7893453370721625\ 24947760870540*c_1001_2^6 + 237550893916829147077209799595344453/15\ 78690674144325049895521741080*c_1001_2^5 - 8711107758987989155459765437278389/131557556178693754157960145090*c\ _1001_2^4 - 1229324816862723569778810085581347/78541824584294778601\ 76725080*c_1001_2^3 - 6266224589709320807925511219822319/7893453370\ 7216252494776087054*c_1001_2^2 - 2577446344764929785114623399484895\ 9/1578690674144325049895521741080*c_1001_2 - 923308367439066322230181729016659/789345337072162524947760870540, c_0011_4 + 48671334499382729052123956428153/584700249683083351813156200\ 40*c_1001_2^19 + 292855244567279500776075350116873/1754100749049250\ 05543946860120*c_1001_2^18 - 823613090113173156258817896884969/5262\ 30224714775016631840580360*c_1001_2^17 + 201852047560079594612354658755339/21926259363115625692993357515*c_1\ 001_2^16 + 15094686560112648868341263063816273/17541007490492500554\ 3946860120*c_1001_2^15 + 720859753954409673728359590470821/34394132\ 33429902069489154120*c_1001_2^14 + 150968171903703419719216606867588091/526230224714775016631840580360\ *c_1001_2^13 + 4667803985986571609751805971036511/13155755617869375\ 415796014509*c_1001_2^12 + 43553806645941684665898649667417017/1052\ 46044942955003326368116072*c_1001_2^11 + 90425660217945189292900034788315199/263115112357387508315920290180*\ c_1001_2^10 + 6603155396626164361629539040505517/438525187262312513\ 85986715030*c_1001_2^9 + 11935106923650446332881790068222571/131557\ 556178693754157960145090*c_1001_2^8 + 11156444563262467901402252190584743/526230224714775016631840580360*\ c_1001_2^7 - 34840100838468803142553198673427041/263115112357387508\ 315920290180*c_1001_2^6 - 76014474310226106423112315162259339/52623\ 0224714775016631840580360*c_1001_2^5 + 2753440094983899071242094853171737/43852518726231251385986715030*c_\ 1001_2^4 + 393061892902720968499402101227581/2618060819476492620058\ 908360*c_1001_2^3 + 2008148462791490717712742062074119/263115112357\ 38750831592029018*c_1001_2^2 + 8262207237304873829870293146586417/5\ 26230224714775016631840580360*c_1001_2 + 296093901892347872692463482291637/263115112357387508315920290180, c_0011_9 - 10787181709220025348370678981771/584700249683083351813156200\ 4*c_1001_2^19 - 325894973146294770440969621908751/87705037452462502\ 771973430060*c_1001_2^18 + 906018197090350315384213293334771/263115\ 112357387508315920290180*c_1001_2^17 - 446521391139220110290589577076264/21926259363115625692993357515*c_1\ 001_2^16 - 16743736000917098177562553387006219/87705037452462502771\ 973430060*c_1001_2^15 - 13625095435853252529995596077466047/2923501\ 2484154167590657810020*c_1001_2^14 - 33635314900696623558750548229613805/52623022471477501663184058036*c\ _1001_2^13 - 51997011923447452477040438726365796/657787780893468770\ 78980072545*c_1001_2^12 - 242660243295737332642734161590513999/2631\ 15112357387508315920290180*c_1001_2^11 - 100971475045849715592101055109408927/131557556178693754157960145090\ *c_1001_2^10 - 7410016176342430505255835894517528/21926259363115625\ 692993357515*c_1001_2^9 - 13305450190811621716303687459543688/65778\ 778089346877078980072545*c_1001_2^8 - 746139329011856531873398178657029/15477359550434559312701193540*c_1\ 001_2^7 + 7723393102559777145003556818428279/2631151123573875083159\ 2029018*c_1001_2^6 + 84882913825610459951723101921046773/2631151123\ 57387508315920290180*c_1001_2^5 - 301218575754701297451142941827086\ 3/21926259363115625692993357515*c_1001_2^4 - 437999884851656336767425058711907/1309030409738246310029454180*c_10\ 01_2^3 - 11266637398377053978375389625542054/6577877808934687707898\ 0072545*c_1001_2^2 - 9319854908086459922998686929317031/26311511235\ 7387508315920290180*c_1001_2 - 334805860668718375210265120505637/13\ 1557556178693754157960145090, c_0101_0 - 13243263236620390889041466613755/175410074904925005543946860\ 12*c_1001_2^19 - 397353385590864933672658859340703/2631151123573875\ 08315920290180*c_1001_2^18 + 1125829502184106096409328187095563/789\ 345337072162524947760870540*c_1001_2^17 - 549887565599329297566430838410447/65778778089346877078980072545*c_1\ 001_2^16 - 20523247149850809672538229184105887/26311511235738750831\ 5920290180*c_1001_2^15 - 16636754103697037495291950474719371/877050\ 37452462502771973430060*c_1001_2^14 - 40938310474477519460341775061634177/157869067414432504989552174108*\ c_1001_2^13 - 63288387299642592868342129490792053/19733633426804063\ 1236940217635*c_1001_2^12 - 295200632778464496361418400294360347/78\ 9345337072162524947760870540*c_1001_2^11 - 122408931539468996904078836030607701/394672668536081262473880435270\ *c_1001_2^10 - 8908261845076813962840107466377939/65778778089346877\ 078980072545*c_1001_2^9 - 16169516894760706526732485173891364/19733\ 6334268040631236940217635*c_1001_2^8 - 14918882812720176244093468241212609/789345337072162524947760870540*\ c_1001_2^7 + 9479253969208685112353076745248301/7893453370721625249\ 4776087054*c_1001_2^6 + 102909353403439134745398368374687109/789345\ 337072162524947760870540*c_1001_2^5 - 3777583705885860953415814996781774/65778778089346877078980072545*c_\ 1001_2^4 - 532899434307219311494545855368251/3927091229214738930088\ 362540*c_1001_2^3 - 13548029698368485237183715900446732/19733633426\ 8040631236940217635*c_1001_2^2 - 1110219191704896259947679497247756\ 3/789345337072162524947760870540*c_1001_2 - 396276209260808722598253839653871/394672668536081262473880435270, c_0101_1 + 8308100153608677556224958808905/8770503745246250277197343006\ *c_1001_2^19 + 248782916507223438675831100877513/131557556178693754\ 157960145090*c_1001_2^18 - 708393118030686117891081225126613/394672\ 668536081262473880435270*c_1001_2^17 + 40624417084529690346004599277847/3869339887608639828175298385*c_100\ 1_2^16 + 12868913016233643010171195320830617/1315575561786937541579\ 60145090*c_1001_2^15 + 10421145117158333231525755806029461/43852518\ 726231251385986715030*c_1001_2^14 + 1507321613054722588943697145079569/4643207865130367793810358062*c_1\ 001_2^13 + 79237834459371297890770854528481156/19733633426804063123\ 6940217635*c_1001_2^12 + 184763825409154016987628156625234897/39467\ 2668536081262473880435270*c_1001_2^11 + 76551973048600593932192967349858621/197336334268040631236940217635*\ c_1001_2^10 + 11123150999682509085167785322142113/65778778089346877\ 078980072545*c_1001_2^9 + 20252445081726828954365756585993428/19733\ 6334268040631236940217635*c_1001_2^8 + 9243420444742531644343922171628389/394672668536081262473880435270*c\ _1001_2^7 - 5943734254145983985526421715569868/39467266853608126247\ 388043527*c_1001_2^6 - 64338201820388796746052306602327569/39467266\ 8536081262473880435270*c_1001_2^5 + 4760976487985278499437182009130448/65778778089346877078980072545*c_\ 1001_2^4 + 333362661822808098029376087003371/1963545614607369465044\ 181270*c_1001_2^3 + 16920166061757695339582270489448959/19733633426\ 8040631236940217635*c_1001_2^2 + 6925979079615404085811207408952003\ /394672668536081262473880435270*c_1001_2 + 14523387240833447884810686305768/11608019662825919484525895155, c_0101_11 - 1036250781674239380208299268403/206364794005794124169349247\ 2*c_1001_2^19 - 101344327388303284552510995051475/10524604494295500\ 3326368116072*c_1001_2^18 + 320330508559537515391675265440931/31573\ 8134828865009979104348216*c_1001_2^17 - 74534981875838534590559259610676/13155755617869375415796014509*c_10\ 01_2^16 - 318063911133946985195117588791555/61909438201738237250804\ 77416*c_1001_2^15 - 4282905019354219086879718741087751/350820149809\ 85001108789372024*c_1001_2^14 - 51694711316135290425636938647895153\ /315738134828865009979104348216*c_1001_2^13 - 470484375118502371025976836322529/2321603932565183896905179031*c_10\ 01_2^12 - 74354298344447122724698148113943855/315738134828865009979\ 104348216*c_1001_2^11 - 30181290872304996823549129184191985/1578690\ 67414432504989552174108*c_1001_2^10 - 2085038118981558404517448489478003/26311511235738750831592029018*c_\ 1001_2^9 - 4066174600985211071407134278539501/789345337072162524947\ 76087054*c_1001_2^8 - 2934458677754626872948056287822597/3157381348\ 28865009979104348216*c_1001_2^7 + 125603002924503116715303255240290\ 63/157869067414432504989552174108*c_1001_2^6 + 25334255742296013634348388866190105/315738134828865009979104348216*\ c_1001_2^5 - 1123410275295324724612863352119203/2631151123573875083\ 1592029018*c_1001_2^4 - 133899958984606753756628397206791/157083649\ 1685895572035345016*c_1001_2^3 - 3178639065900636771123830340593207\ /78934533707216252494776087054*c_1001_2^2 - 2463185026965015083350624910332795/315738134828865009979104348216*c\ _1001_2 - 84195136502714582287238206371287/157869067414432504989552\ 174108, c_1001_0 + 39841219265871849791193238532462/219262593631156256929933575\ 15*c_1001_2^19 + 239543284225423106484646996771976/6577877808934687\ 7078980072545*c_1001_2^18 - 134957571686029052827885199942945/39467\ 266853608126247388043527*c_1001_2^17 + 1322412834195642771272359487189792/65778778089346877078980072545*c_\ 1001_2^16 + 12353688549282806456958257019493408/6577877808934687707\ 8980072545*c_1001_2^15 + 10025802532195458684461014626152011/219262\ 59363115625692993357515*c_1001_2^14 + 123489036899566646077325415200152849/197336334268040631236940217635\ *c_1001_2^13 + 152743601644932534043252875594043646/197336334268040\ 631236940217635*c_1001_2^12 + 178134499670850114780248487954299596/\ 197336334268040631236940217635*c_1001_2^11 + 147904991468035796841266162544876008/197336334268040631236940217635\ *c_1001_2^10 + 4319180452207320165040697640897854/13155755617869375\ 415796014509*c_1001_2^9 + 39077077990780287460124038588319399/19733\ 6334268040631236940217635*c_1001_2^8 + 9089650778533635532197414307937924/197336334268040631236940217635*c\ _1001_2^7 - 57014871677057020079380764844338173/1973363342680406312\ 36940217635*c_1001_2^6 - 62150014663672431116233538996257243/197336\ 334268040631236940217635*c_1001_2^5 + 1804557573814487357486659075225187/13155755617869375415796014509*c_\ 1001_2^4 + 321367233827036485448667845788487/9817728073036847325220\ 90635*c_1001_2^3 + 32844367168993398726562682983435879/197336334268\ 040631236940217635*c_1001_2^2 + 6760588074188160411112286412909242/\ 197336334268040631236940217635*c_1001_2 + 484194231060496025008039426759817/197336334268040631236940217635, c_1001_1 + 77477896368497299348243451427953/877050374524625027719734300\ 60*c_1001_2^19 + 91526274738188889127009391425153/52623022471477501\ 663184058036*c_1001_2^18 - 1351787243270752430528596721426221/78934\ 5337072162524947760870540*c_1001_2^17 + 648077747644487520666301768237586/65778778089346877078980072545*c_1\ 001_2^16 + 23924879961426652216343328172690201/26311511235738750831\ 5920290180*c_1001_2^15 + 19227393721990816326282322844794981/877050\ 37452462502771973430060*c_1001_2^14 + 234915828337925484904533463030988011/789345337072162524947760870540\ *c_1001_2^13 + 72658964992902666401393682756542012/1973363342680406\ 31236940217635*c_1001_2^12 + 338468451662976559414728039199807333/7\ 89345337072162524947760870540*c_1001_2^11 + 139275943269899452966741286300945263/394672668536081262473880435270\ *c_1001_2^10 + 9953222257214542710456987564083338/65778778089346877\ 078980072545*c_1001_2^9 + 18535396483848748674293321534145137/19733\ 6334268040631236940217635*c_1001_2^8 + 15726217112161065360770577669076679/789345337072162524947760870540*\ c_1001_2^7 - 55362994580418130039352973540980281/394672668536081262\ 473880435270*c_1001_2^6 - 23401768334280638545567131039341387/15786\ 9067414432504989552174108*c_1001_2^5 + 4614525388935514234545076495336633/65778778089346877078980072545*c_\ 1001_2^4 + 122063931880399709005331232509953/7854182458429477860176\ 72508*c_1001_2^3 + 15151800073652064547631398239750148/197336334268\ 040631236940217635*c_1001_2^2 + 12186455063694068116927721762990969\ /789345337072162524947760870540*c_1001_2 + 428406625069666715195293769661811/394672668536081262473880435270, c_1001_2^20 + 7/3*c_1001_2^19 - 11/9*c_1001_2^18 + 94/9*c_1001_2^17 + 107*c_1001_2^16 + 857/3*c_1001_2^15 + 3845/9*c_1001_2^14 + 1618/3*c_1001_2^13 + 637*c_1001_2^12 + 576*c_1001_2^11 + 2848/9*c_1001_2^10 + 1516/9*c_1001_2^9 + 551/9*c_1001_2^8 - 452/3*c_1001_2^7 - 677/3*c_1001_2^6 + 166/9*c_1001_2^5 + 205*c_1001_2^4 + 1358/9*c_1001_2^3 + 49*c_1001_2^2 + 68/9*c_1001_2 + 4/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.740 Total time: 1.940 seconds, Total memory usage: 64.12MB