Magma V2.19-8 Wed Aug 21 2013 00:16:55 on localhost [Seed = 2160520580] Type ? for help. Type -D to quit. Loading file "K13n577__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n577 geometric_solution 12.15955461 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 -1 1 -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.664122371119 0.728262114624 0 2 6 5 0132 3012 0132 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 1 0 -1 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.664008790471 0.557756172585 1 0 8 7 1230 0132 0132 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686282198812 1.399028705193 9 10 9 0 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 -1 0 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428800128898 0.561376354426 11 6 0 12 0132 1230 0132 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 1 -1 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.144025091691 1.230811316471 9 12 1 8 2103 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.194469720985 0.894085883914 10 7 4 1 0132 3012 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 -1 1 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609772049741 0.479384258829 6 11 2 10 1230 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.176138720791 0.912478016415 12 5 11 2 1023 1302 1023 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 -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.554529040889 0.728868555935 3 3 5 12 0132 1230 2103 3120 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 1 -2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.890534078122 0.875218639850 6 3 11 7 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.369837129667 0.584860764107 4 7 8 10 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.099215120786 1.085087614548 9 8 4 5 3120 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.244388324375 1.291111675037 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_6'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_0101_6'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_0101_11'], 'c_1010_12' : d['c_0101_2'], 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0011_10']), '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' : d['c_0101_11'], 'c_0101_10' : d['c_0101_1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_7' : negation(d['c_1100_10']), 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_1100_10']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_11']), 'c_1100_11' : d['c_1100_10'], 'c_1100_10' : d['c_1100_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_12']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_1100_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'], 'c_1100_12' : negation(d['c_0011_5']), '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' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_12'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : d['c_0101_11'], 'c_0101_7' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_12']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_6'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_12']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_1']})} 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_5, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_6, c_1001_0, c_1001_2, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 244652857829101224990485730415725482091/376808275942395184965372539\ 131643327*c_1100_10^19 - 1747156888137541462910374201729303547457/1\ 71276489064725084075169335968928785*c_1100_10^18 + 141112799890713253823070866171931764735649/188404137971197592482686\ 2695658216635*c_1100_10^17 - 59019569860245230525312558410939079300\ 378/171276489064725084075169335968928785*c_1100_10^16 + 2121192248506590668849373172402299888396846/18840413797119759248268\ 62695658216635*c_1100_10^15 - 6211105661222051117148301080914716392\ 2555/22165192702493834409727796419508431*c_1100_10^14 + 10413441812582258538378740258261507348770556/1884041379711975924826\ 862695658216635*c_1100_10^13 - 165869193148534940886656349256509430\ 15801241/1884041379711975924826862695658216635*c_1100_10^12 + 21588310806719980020716722116683154367763339/1884041379711975924826\ 862695658216635*c_1100_10^11 - 474281291634307241969363969778072449\ 8556523/376808275942395184965372539131643327*c_1100_10^10 + 24188588563323456830725149658914191495240059/1884041379711975924826\ 862695658216635*c_1100_10^9 - 5277435036048495302676580348505395957\ 209445/376808275942395184965372539131643327*c_1100_10^8 + 30990729388364147065739294980402283558547729/1884041379711975924826\ 862695658216635*c_1100_10^7 - 6669185948338091427571896978604067608\ 332001/376808275942395184965372539131643327*c_1100_10^6 + 28670385673339544847979856466894396448974023/1884041379711975924826\ 862695658216635*c_1100_10^5 - 1869143201954601777491832549935121375\ 4335567/1884041379711975924826862695658216635*c_1100_10^4 + 299371881735579846349340834322523803444759/607755283778056749944149\ 25666394085*c_1100_10^3 - 35279978582576114737855023081502275456829\ 99/1884041379711975924826862695658216635*c_1100_10^2 + 181346776271781864208986774421183570923336/376808275942395184965372\ 539131643327*c_1100_10 - 5902025599359940942729606713244308846517/1\ 10825963512469172048638982097542155, c_0011_0 - 1, c_0011_10 + 43554299124563963373063616666/467599688580973847570404499*c\ _1100_10^19 - 623542499695332496157838806827/4675996885809738475704\ 04499*c_1100_10^18 + 4174017601432378066664003013131/46759968858097\ 3847570404499*c_1100_10^17 - 17566889737724270355846658487594/46759\ 9688580973847570404499*c_1100_10^16 + 52823428856572105344035344876611/467599688580973847570404499*c_1100\ _10^15 - 121733130158504047849720240947622/467599688580973847570404\ 499*c_1100_10^14 + 222874979045175846731489366529789/46759968858097\ 3847570404499*c_1100_10^13 - 329030629329197515070161076871929/4675\ 99688580973847570404499*c_1100_10^12 + 397719917526274060915505783830426/467599688580973847570404499*c_110\ 0_10^11 - 415614011718397218399384599492578/46759968858097384757040\ 4499*c_1100_10^10 + 428597737912255598342448061061705/4675996885809\ 73847570404499*c_1100_10^9 - 490933174910526868671996326223450/4675\ 99688580973847570404499*c_1100_10^8 + 572737235346754840750855188141062/467599688580973847570404499*c_110\ 0_10^7 - 569491042738698509623213398538878/467599688580973847570404\ 499*c_1100_10^6 + 438062436405080113872823325393137/467599688580973\ 847570404499*c_1100_10^5 - 256772488984833587869072589847205/467599\ 688580973847570404499*c_1100_10^4 + 116757356602740018135901544333048/467599688580973847570404499*c_110\ 0_10^3 - 39659351396858187983962866192320/4675996885809738475704044\ 99*c_1100_10^2 + 8444736287591444728201933649892/467599688580973847\ 570404499*c_1100_10 - 826486683379472842017485394067/46759968858097\ 3847570404499, c_0011_11 + 118690438924989831598374057032/467599688580973847570404499*\ c_1100_10^19 - 1704815606746566431375975196198/46759968858097384757\ 0404499*c_1100_10^18 + 11448352857787852073727947665759/46759968858\ 0973847570404499*c_1100_10^17 - 48323658319819239691503442602619/46\ 7599688580973847570404499*c_1100_10^16 + 145689970544628816352174078823973/467599688580973847570404499*c_110\ 0_10^15 - 336534743625065168772318491563120/46759968858097384757040\ 4499*c_1100_10^14 + 617521379930382350283472786212704/4675996885809\ 73847570404499*c_1100_10^13 - 913689340259363132148272196427191/467\ 599688580973847570404499*c_1100_10^12 + 1106685888925907126994882185661035/467599688580973847570404499*c_11\ 00_10^11 - 1157689653498947054457794398884303/467599688580973847570\ 404499*c_1100_10^10 + 1192867712919422863002040330990581/4675996885\ 80973847570404499*c_1100_10^9 - 1364667922144797694936378908984757/\ 467599688580973847570404499*c_1100_10^8 + 1593387498889483502923684514220339/467599688580973847570404499*c_11\ 00_10^7 - 1588424296072116419262206394289568/4675996885809738475704\ 04499*c_1100_10^6 + 1225456857243108570188388722609729/467599688580\ 973847570404499*c_1100_10^5 - 720097772825596434511535444781767/467\ 599688580973847570404499*c_1100_10^4 + 328180301411207401423300083535882/467599688580973847570404499*c_110\ 0_10^3 - 111827808729702475154846540280058/467599688580973847570404\ 499*c_1100_10^2 + 23903941734641051726885874189526/4675996885809738\ 47570404499*c_1100_10 - 2348834301552620643508434588496/46759968858\ 0973847570404499, c_0011_12 - 62537327756694228860480144492/467599688580973847570404499*c\ _1100_10^19 + 898641671765557399524881473800/4675996885809738475704\ 04499*c_1100_10^18 - 6036430216856778182955911596039/46759968858097\ 3847570404499*c_1100_10^17 + 25484278871721909014078372952115/46759\ 9688580973847570404499*c_1100_10^16 - 76838119622160789343877902586059/467599688580973847570404499*c_1100\ _10^15 + 177495270225062167149364538133820/467599688580973847570404\ 499*c_1100_10^14 - 325689919982173798565332152923832/46759968858097\ 3847570404499*c_1100_10^13 + 481870958522044614610535476704479/4675\ 99688580973847570404499*c_1100_10^12 - 583601735900299082702202237171179/467599688580973847570404499*c_110\ 0_10^11 + 610432206208056811207246927015055/46759968858097384757040\ 4499*c_1100_10^10 - 628967597429922577196597572543087/4675996885809\ 73847570404499*c_1100_10^9 + 719626497715542216365190438926984/4675\ 99688580973847570404499*c_1100_10^8 - 840283396885656663794319315171580/467599688580973847570404499*c_110\ 0_10^7 + 837580623268516539122927249457653/467599688580973847570404\ 499*c_1100_10^6 - 646046105797291658020770581379678/467599688580973\ 847570404499*c_1100_10^5 + 379544678351417092256157734899341/467599\ 688580973847570404499*c_1100_10^4 - 172942979958899591885692995776921/467599688580973847570404499*c_110\ 0_10^3 + 58910917038311809421056470478336/4675996885809738475704044\ 99*c_1100_10^2 - 12587223897272951058186317105942/46759968858097384\ 7570404499*c_1100_10 + 1236420650903478824353774213653/467599688580\ 973847570404499, c_0011_5 + 52652033692312060564685549401/467599688580973847570404499*c_\ 1100_10^19 - 755548179008762859253749489229/46759968858097384757040\ 4499*c_1100_10^18 + 5069579589404208709870049733431/467599688580973\ 847570404499*c_1100_10^17 - 21384467276467675433431406949590/467599\ 688580973847570404499*c_1100_10^16 + 64437711042173477991795186662632/467599688580973847570404499*c_1100\ _10^15 - 148784067046598510799040363582256/467599688580973847570404\ 499*c_1100_10^14 + 272908160754065569847204269480004/46759968858097\ 3847570404499*c_1100_10^13 - 403659674627613024258416456219972/4675\ 99688580973847570404499*c_1100_10^12 + 488795269455725994945705596083731/467599688580973847570404499*c_110\ 0_10^11 - 511281504074382018190710225671931/46759968858097384757040\ 4499*c_1100_10^10 + 526900611966198010175624465911991/4675996885809\ 73847570404499*c_1100_10^9 - 602855977319036721185692752452142/4675\ 99688580973847570404499*c_1100_10^8 + 703760031643913354560516788690391/467599688580973847570404499*c_110\ 0_10^7 - 701329642534022656701604144184886/467599688580973847570404\ 499*c_1100_10^6 + 540906947116369312515036064416263/467599688580973\ 847570404499*c_1100_10^5 - 317769416951609280081839838251240/467599\ 688580973847570404499*c_1100_10^4 + 144787370668254467517137628105624/467599688580973847570404499*c_110\ 0_10^3 - 49325035126839013637473075898973/4675996885809738475704044\ 99*c_1100_10^2 + 10540590617718923091095015814443/46759968858097384\ 7570404499*c_1100_10 - 1035362777287627718941683721793/467599688580\ 973847570404499, c_0101_0 + 152797439102501872255917201106/467599688580973847570404499*c\ _1100_10^19 - 2194950530048355135982767294172/467599688580973847570\ 404499*c_1100_10^18 + 14742350484587866542540762510034/467599688580\ 973847570404499*c_1100_10^17 - 62241597300507974361399901468375/467\ 599688580973847570404499*c_1100_10^16 + 187696818119176791208668962027400/467599688580973847570404499*c_110\ 0_10^15 - 433674901745760457176214485200002/46759968858097384757040\ 4499*c_1100_10^14 + 795968084087693598384410816998153/4675996885809\ 73847570404499*c_1100_10^13 - 1178039345290420974348722818195603/46\ 7599688580973847570404499*c_1100_10^12 + 1427262018144279808695020487279068/467599688580973847570404499*c_11\ 00_10^11 - 1493289841489316862381270794532720/467599688580973847570\ 404499*c_1100_10^10 + 1538529015673573387264337509164812/4675996885\ 80973847570404499*c_1100_10^9 - 1759772983265993670861808107399481/\ 467599688580973847570404499*c_1100_10^8 + 2054853864178575304105603493940651/467599688580973847570404499*c_11\ 00_10^7 - 2049154531276872930051128984777546/4675996885809738475704\ 04499*c_1100_10^6 + 1581584393827052291648664513687510/467599688580\ 973847570404499*c_1100_10^5 - 929684315244451544329987798519727/467\ 599688580973847570404499*c_1100_10^4 + 423823171018553188633193910593814/467599688580973847570404499*c_110\ 0_10^3 - 144487466529596361525154595403097/467599688580973847570404\ 499*c_1100_10^2 + 30899854015090378792980597704027/4675996885809738\ 47570404499*c_1100_10 - 3037756645988900331008633614927/46759968858\ 0973847570404499, c_0101_1 - 124559638457266774703147919398/467599688580973847570404499*c\ _1100_10^19 + 1787382298641243913687549405676/467599688580973847570\ 404499*c_1100_10^18 - 11991301677408619211516245176491/467599688580\ 973847570404499*c_1100_10^17 + 50569648892954338281453693772815/467\ 599688580973847570404499*c_1100_10^16 - 152336769614971852630257182704292/467599688580973847570404499*c_110\ 0_10^15 + 351629529936741127667826943342336/46759968858097384757040\ 4499*c_1100_10^14 - 644765886918296181354098925466939/4675996885809\ 73847570404499*c_1100_10^13 + 953326025464819317906984812069168/467\ 599688580973847570404499*c_1100_10^12 - 1153947579101832607036567052925704/467599688580973847570404499*c_11\ 00_10^11 + 1206724529466170685203873473847548/467599688580973847570\ 404499*c_1100_10^10 - 1243718831351745571155501445640721/4675996885\ 80973847570404499*c_1100_10^9 + 1423410718916938902191434728281777/\ 467599688580973847570404499*c_1100_10^8 - 1661543630196003068721368170151456/467599688580973847570404499*c_11\ 00_10^7 + 1655016616444497335863069852343616/4675996885809738475704\ 04499*c_1100_10^6 - 1275635694183856975269786942190661/467599688580\ 973847570404499*c_1100_10^5 + 749000875925515822767574532355491/467\ 599688580973847570404499*c_1100_10^4 - 341113396946078637608398075771423/467599688580973847570404499*c_110\ 0_10^3 + 116120148007149347419120115956186/467599688580973847570404\ 499*c_1100_10^2 - 24792876859938905928515872725826/4675996885809738\ 47570404499*c_1100_10 + 2433161963513813078917687920635/46759968858\ 0973847570404499, c_0101_11 - 27157821276545214403974648991/467599688580973847570404499*c\ _1100_10^19 + 392139343467807278803620557263/4675996885809738475704\ 04499*c_1100_10^18 - 2646492037228822040445199076203/46759968858097\ 3847570404499*c_1100_10^17 + 11221669097859490562749198296759/46759\ 9688580973847570404499*c_1100_10^16 - 33966839724646954497947482333326/467599688580973847570404499*c_1100\ _10^15 + 78736908549337345948780228256836/4675996885809738475704044\ 99*c_1100_10^14 - 144954700411368481707520653643473/467599688580973\ 847570404499*c_1100_10^13 + 215176056666627055185316931010397/46759\ 9688580973847570404499*c_1100_10^12 - 261386995968276497979160852048668/467599688580973847570404499*c_110\ 0_10^11 + 273824591988963756145282732343546/46759968858097384757040\ 4499*c_1100_10^10 - 281791317233035382084717759279833/4675996885809\ 73847570404499*c_1100_10^9 + 321814473487463788089608860368551/4675\ 99688580973847570404499*c_1100_10^8 - 376233681361471416230474364162300/467599688580973847570404499*c_110\ 0_10^7 + 376445055426015847956482635603330/467599688580973847570404\ 499*c_1100_10^6 - 291611151352088626040872510607347/467599688580973\ 847570404499*c_1100_10^5 + 171919431126905014905993147074301/467599\ 688580973847570404499*c_1100_10^4 - 78581650739945560916760042816766/467599688580973847570404499*c_1100\ _10^3 + 26886554623181308500122927054394/46759968858097384757040449\ 9*c_1100_10^2 - 5772967697651633182758642360038/4675996885809738475\ 70404499*c_1100_10 + 569745660161156141409873007130/467599688580973\ 847570404499, c_0101_2 - 95584729356654000087528482838/467599688580973847570404499*c_\ 1100_10^19 + 1370666582183240192750259005278/4675996885809738475704\ 04499*c_1100_10^18 - 9189133712044106519765757299839/46759968858097\ 3847570404499*c_1100_10^17 + 38725546834396454753976835810824/46759\ 9688580973847570404499*c_1100_10^16 - 116581861782295793356935137148581/467599688580973847570404499*c_110\ 0_10^15 + 268937207899966542840539942611415/46759968858097384757040\ 4499*c_1100_10^14 - 492848081895597892850938866420857/4675996885809\ 73847570404499*c_1100_10^13 + 728266528196148355818947146214330/467\ 599688580973847570404499*c_1100_10^12 - 881020655564957726905533748046885/467599688580973847570404499*c_110\ 0_10^11 + 921015235514162007175982762336657/46759968858097384757040\ 4499*c_1100_10^10 - 949440711983761694441985584429382/4675996885809\ 73847570404499*c_1100_10^9 + 1087014944080887462443915842369267/467\ 599688580973847570404499*c_1100_10^8 - 1268632681048780358631558395843162/467599688580973847570404499*c_11\ 00_10^7 + 1262751716292160367721994868657835/4675996885809738475704\ 04499*c_1100_10^6 - 972439244365337476594666655488760/4675996885809\ 73847570404499*c_1100_10^5 + 570536932684681635184123878422175/4675\ 99688580973847570404499*c_1100_10^4 - 259653401683684771315986959216502/467599688580973847570404499*c_110\ 0_10^3 + 88300924587269577675456369084216/4675996885809738475704044\ 99*c_1100_10^2 - 18828608004740596941533392296695/46759968858097384\ 7570404499*c_1100_10 + 1845330912419393010277846619558/467599688580\ 973847570404499, c_0101_6 + 6695283327033736079901825744/467599688580973847570404499*c_1\ 100_10^19 - 97071453006282212141817938543/4675996885809738475704044\ 99*c_1100_10^18 + 657166067153200003090309120202/467599688580973847\ 570404499*c_1100_10^17 - 2792703439765500155639953997969/4675996885\ 80973847570404499*c_1100_10^16 + 8465872246958734818410176109213/46\ 7599688580973847570404499*c_1100_10^15 - 19644721711152055123795194036541/467599688580973847570404499*c_1100\ _10^14 + 36194709931001853522816584388217/4675996885809738475704044\ 99*c_1100_10^13 - 53760055487770523309188469282840/4675996885809738\ 47570404499*c_1100_10^12 + 65321481369159853201440658035634/4675996\ 88580973847570404499*c_1100_10^11 - 68415522663796726554408215831026/467599688580973847570404499*c_1100\ _10^10 + 70376913654307358008857787482316/4675996885809738475704044\ 99*c_1100_10^9 - 80381763420871873940327397669583/46759968858097384\ 7570404499*c_1100_10^8 + 94031795371030800793893954057615/467599688\ 580973847570404499*c_1100_10^7 - 94119448763789134946276593515838/4\ 67599688580973847570404499*c_1100_10^6 + 72901944311687811617864668504642/467599688580973847570404499*c_1100\ _10^5 - 42969510643730605676697271380808/46759968858097384757040449\ 9*c_1100_10^4 + 19637783556540710344036170743244/467599688580973847\ 570404499*c_1100_10^3 - 6714918346170702523725871424906/46759968858\ 0973847570404499*c_1100_10^2 + 1440354739763085443071472388590/4675\ 99688580973847570404499*c_1100_10 - 142288144583079170530346937069/467599688580973847570404499, c_1001_0 - 172635778141098490621420030510/467599688580973847570404499*c\ _1100_10^19 + 2479817374587983366524326783784/467599688580973847570\ 404499*c_1100_10^18 - 16653696557657296478398859301499/467599688580\ 973847570404499*c_1100_10^17 + 70299114590349504390427957118759/467\ 599688580973847570404499*c_1100_10^16 - 211952336466753304536430637893001/467599688580973847570404499*c_110\ 0_10^15 + 489613242167861621988181338098447/46759968858097384757040\ 4499*c_1100_10^14 - 898436247264808953674933013277856/4675996885809\ 73847570404499*c_1100_10^13 + 1329363061849646228832959437787490/46\ 7599688580973847570404499*c_1100_10^12 - 1610180752057368274216298374179761/467599688580973847570404499*c_11\ 00_10^11 + 1684373660408977364796467569268091/467599688580973847570\ 404499*c_1100_10^10 - 1735510400148769910208605561494170/4675996885\ 80973847570404499*c_1100_10^9 + 1985454664356239303662885696854934/\ 467599688580973847570404499*c_1100_10^8 - 2318284841459157433886416279298060/467599688580973847570404499*c_11\ 00_10^7 + 2311126525348544116044714680429042/4675996885809738475704\ 04499*c_1100_10^6 - 1783003822540779762633252056567738/467599688580\ 973847570404499*c_1100_10^5 + 1047667702663935649248106101057872/46\ 7599688580973847570404499*c_1100_10^4 - 477439607985161888820207006347985/467599688580973847570404499*c_110\ 0_10^3 + 162676935067263207537176918155495/467599688580973847570404\ 499*c_1100_10^2 - 34764181012771945971575781016479/4675996885809738\ 47570404499*c_1100_10 + 3414435793272763772423816537561/46759968858\ 0973847570404499, c_1001_2 + 124559638457266774703147919398/467599688580973847570404499*c\ _1100_10^19 - 1787382298641243913687549405676/467599688580973847570\ 404499*c_1100_10^18 + 11991301677408619211516245176491/467599688580\ 973847570404499*c_1100_10^17 - 50569648892954338281453693772815/467\ 599688580973847570404499*c_1100_10^16 + 152336769614971852630257182704292/467599688580973847570404499*c_110\ 0_10^15 - 351629529936741127667826943342336/46759968858097384757040\ 4499*c_1100_10^14 + 644765886918296181354098925466939/4675996885809\ 73847570404499*c_1100_10^13 - 953326025464819317906984812069168/467\ 599688580973847570404499*c_1100_10^12 + 1153947579101832607036567052925704/467599688580973847570404499*c_11\ 00_10^11 - 1206724529466170685203873473847548/467599688580973847570\ 404499*c_1100_10^10 + 1243718831351745571155501445640721/4675996885\ 80973847570404499*c_1100_10^9 - 1423410718916938902191434728281777/\ 467599688580973847570404499*c_1100_10^8 + 1661543630196003068721368170151456/467599688580973847570404499*c_11\ 00_10^7 - 1655016616444497335863069852343616/4675996885809738475704\ 04499*c_1100_10^6 + 1275635694183856975269786942190661/467599688580\ 973847570404499*c_1100_10^5 - 749000875925515822767574532355491/467\ 599688580973847570404499*c_1100_10^4 + 341113396946078637608398075771423/467599688580973847570404499*c_110\ 0_10^3 - 116120148007149347419120115956186/467599688580973847570404\ 499*c_1100_10^2 + 24793344459627486902363443130325/4675996885809738\ 47570404499*c_1100_10 - 2433629563202394052765258325134/46759968858\ 0973847570404499, c_1100_10^20 - 110/7*c_1100_10^19 + 811/7*c_1100_10^18 - 3762/7*c_1100_10^17 + 12442/7*c_1100_10^16 - 31454/7*c_1100_10^15 + 63229/7*c_1100_10^14 - 103080/7*c_1100_10^13 + 138055/7*c_1100_10^12 - 22348*c_1100_10^11 + 162572/7*c_1100_10^10 - 175506/7*c_1100_10^9 + 202682/7*c_1100_10^8 - 220610/7*c_1100_10^7 + 198806/7*c_1100_10^6 - 20012*c_1100_10^5 + 76712/7*c_1100_10^4 - 32734/7*c_1100_10^3 + 10316/7*c_1100_10^2 - 2042/7*c_1100_10 + 187/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.030 Total time: 5.240 seconds, Total memory usage: 85.75MB