Magma V2.19-8 Wed Aug 21 2013 00:52:36 on localhost [Seed = 71438776] Type ? for help. Type -D to quit. Loading file "L12a940__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a940 geometric_solution 10.86499942 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 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 0 0 0 0 0 1 -1 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 2.325817306224 1.292878559338 0 5 7 6 0132 0132 0132 0132 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 -9 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506678060977 0.906938331835 8 0 6 8 0132 0132 2031 2031 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 -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.193099008569 0.960185911728 6 5 4 0 0132 2031 3201 0132 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 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139267033518 0.860559134741 3 4 0 4 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.377172666697 0.537421795053 3 1 9 10 1302 0132 0132 0132 1 0 0 1 0 0 0 0 0 0 1 -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 1 0 -1 -1 0 -3 4 1 0 0 -1 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548358687553 0.315538773546 3 11 1 2 0132 0132 0132 1302 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.284877075332 0.692997774419 10 9 11 1 0132 0213 1302 0132 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.310199845766 0.555632013476 2 2 12 11 0132 1302 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 0 0 0 0 0 1 -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.798696717567 1.000981709897 12 11 7 5 2310 0321 0213 0132 1 0 1 1 0 0 0 0 1 0 0 -1 1 0 0 -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 -3 0 0 3 -9 0 0 9 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.028641314770 0.705051535540 7 12 5 12 0132 2103 0132 2310 1 0 1 0 0 0 0 0 0 0 1 -1 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 1 -1 0 0 -4 4 0 -8 0 8 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.285834795360 1.013489552784 7 6 8 9 2031 0132 0132 0321 1 1 1 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 0 1 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620267302154 0.481884273719 10 10 9 8 3201 2103 3201 0132 1 1 1 0 0 -1 1 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 8 -8 0 -8 0 9 -1 1 0 0 -1 -4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464590457115 0.659311839264 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : negation(d['c_0011_9']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_12'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : negation(d['c_0011_9']), 'c_1001_8' : d['c_0101_8'], 'c_1010_12' : d['c_0101_8'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_12'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : negation(d['c_0011_4']), '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_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_1001_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_9']), 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : d['c_1001_11'], 'c_1100_8' : negation(d['c_0011_9']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['c_0011_9']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_10']), '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_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_9']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_11'], '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_8'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_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_10, c_0011_11, c_0011_12, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_8, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 2955934503078236469290853523887165600660412559/37312819325696793778\ 48697677179734248382084096*c_1001_5^18 - 2264495025700292030759144974290215341331543711/93282048314241984446\ 2174419294933562095521024*c_1001_5^17 - 24461937468863086338014268843318880210590710135/9328204831424198444\ 62174419294933562095521024*c_1001_5^16 - 56504940746327667509864713805827459487739432025/4664102415712099222\ 31087209647466781047760512*c_1001_5^15 - 481635174888210512319979872756951943168497833157/186564096628483968\ 8924348838589867124191042048*c_1001_5^14 - 515129019182462355236970010779475541807672847083/466410241571209922\ 231087209647466781047760512*c_1001_5^13 - 4685851144583494526982576562659095673450063612077/18656409662848396\ 88924348838589867124191042048*c_1001_5^12 + 766220705283251790743096581175921500008616485489/233205120785604961\ 115543604823733390523880256*c_1001_5^11 + 56404489082698049734320289599897968795102252966697/3731281932569679\ 377848697677179734248382084096*c_1001_5^10 + 235758929771797877702893605719790003663396630277/116602560392802480\ 557771802411866695261940128*c_1001_5^9 - 54177999872476603865077751194182364369763703982391/1865640966284839\ 688924348838589867124191042048*c_1001_5^8 - 12557204399350221303591240760721363940585861570059/9328204831424198\ 44462174419294933562095521024*c_1001_5^7 + 101795355885366340154794470149891719358387854192641/373128193256967\ 9377848697677179734248382084096*c_1001_5^6 + 15015756438314023505512173005131599024421599888397/9328204831424198\ 44462174419294933562095521024*c_1001_5^5 - 114676491652144697775595997774049207688300744733/871794844058336303\ 2356770273784425813976832*c_1001_5^4 - 3995194161525613989157109118154862451420562685085/46641024157120992\ 2231087209647466781047760512*c_1001_5^3 + 1003550351163962883082055152166339407171755257419/46641024157120992\ 2231087209647466781047760512*c_1001_5^2 + 1456639078832033261497923455047086530932177033209/93282048314241984\ 4462174419294933562095521024*c_1001_5 + 8365160041080334984083203022359997147371035923/58301280196401240278\ 885901205933347630970064, c_0011_0 - 1, c_0011_10 - 6548323762063467160029372306202353/108754619644216179523128\ 499296577504*c_1001_5^18 - 4918425367436258368036281906804031/27188\ 654911054044880782124824144376*c_1001_5^17 - 54013289208056885808088728107605833/2718865491105404488078212482414\ 4376*c_1001_5^16 - 123702255285280272564178794732193131/13594327455\ 527022440391062412072188*c_1001_5^15 - 1044638176493887423013585593140023707/54377309822108089761564249648\ 288752*c_1001_5^14 - 1133371453740087140970972424898430771/13594327\ 455527022440391062412072188*c_1001_5^13 - 10163932438498847623663027309040021923/5437730982210808976156424964\ 8288752*c_1001_5^12 + 1737936155994969926060526957484592873/6797163\ 727763511220195531206036094*c_1001_5^11 + 122161777853498992484717457286719543319/108754619644216179523128499\ 296577504*c_1001_5^10 + 1525725083652914779579081999159346273/13594\ 327455527022440391062412072188*c_1001_5^9 - 116631609367464350415254297665250566025/543773098221080897615642496\ 48288752*c_1001_5^8 - 25442057240931526044630473690051276189/271886\ 54911054044880782124824144376*c_1001_5^7 + 215596054221868146582923288159264866879/108754619644216179523128499\ 296577504*c_1001_5^6 + 31017823947516639427712475108827046361/27188\ 654911054044880782124824144376*c_1001_5^5 - 233285291877692194623789765191692347/254099578607981727857776867515\ 368*c_1001_5^4 - 8403893760451488995131750227137358607/135943274555\ 27022440391062412072188*c_1001_5^3 + 1714583758654470316224337077758771361/13594327455527022440391062412\ 072188*c_1001_5^2 + 3161320739245182984639702743608883455/271886549\ 11054044880782124824144376*c_1001_5 + 58948273012409812750091039580406750/3398581863881755610097765603018\ 047, c_0011_11 - 1390373729536614977364915376536457/135943274555270224403910\ 62412072188*c_1001_5^18 - 2097086452146956167578424600665603/679716\ 3727763511220195531206036094*c_1001_5^17 - 22972105698441457541200449614345395/6797163727763511220195531206036\ 094*c_1001_5^16 - 105351155509317100954269173336283137/679716372776\ 3511220195531206036094*c_1001_5^15 - 223401915231880018337211101699548795/679716372776351122019553120603\ 6094*c_1001_5^14 - 966232713037234473546586443315742241/67971637277\ 63511220195531206036094*c_1001_5^13 - 1085808199971136185611913683518410727/33985818638817556100977656030\ 18047*c_1001_5^12 + 1456425387082555465387173901855309208/339858186\ 3881755610097765603018047*c_1001_5^11 + 25983807860949509686682056397054763375/1359432745552702244039106241\ 2072188*c_1001_5^10 + 748641396163223498278662772036759661/33985818\ 63881755610097765603018047*c_1001_5^9 - 24715087511337638651819917894140539189/6797163727763511220195531206\ 036094*c_1001_5^8 - 5571627329959643943423838280055171452/339858186\ 3881755610097765603018047*c_1001_5^7 + 45576083214289197768107154530866192465/1359432745552702244039106241\ 2072188*c_1001_5^6 + 13414916067524006459255798693479024289/6797163\ 727763511220195531206036094*c_1001_5^5 - 98667390979603187774683854341700661/6352489465199543196444421687884\ 2*c_1001_5^4 - 7170555843135371350278910653666091491/67971637277635\ 11220195531206036094*c_1001_5^3 + 729685833463284591142956394949844\ 291/3398581863881755610097765603018047*c_1001_5^2 + 658066638500339560827351855526274173/339858186388175561009776560301\ 8047*c_1001_5 + 96374568314333591176573444517799039/339858186388175\ 5610097765603018047, c_0011_12 - 192366693319119287929133905297733/6797163727763511220195531\ 206036094*c_1001_5^18 - 1249429904272837367639916637752409/13594327\ 455527022440391062412072188*c_1001_5^17 - 3233002535358395898465467105010572/33985818638817556100977656030180\ 47*c_1001_5^16 - 30556924479248851076817635193933477/67971637277635\ 11220195531206036094*c_1001_5^15 - 33884487156891662151523099275768819/3398581863881755610097765603018\ 047*c_1001_5^14 - 278264514679451534859699248235005009/679716372776\ 3511220195531206036094*c_1001_5^13 - 328207402577541210664355622103522550/339858186388175561009776560301\ 8047*c_1001_5^12 + 349227748885625777464616041290877637/33985818638\ 81755610097765603018047*c_1001_5^11 + 1922109247896873396457856567601985890/33985818638817556100977656030\ 18047*c_1001_5^10 + 2218142969996750969971996977776070955/135943274\ 55527022440391062412072188*c_1001_5^9 - 3567895336654102023473672394407602378/33985818638817556100977656030\ 18047*c_1001_5^8 - 4483213722485975499013450349616948373/6797163727\ 763511220195531206036094*c_1001_5^7 + 3197972565218980273441705250990966914/33985818638817556100977656030\ 18047*c_1001_5^6 + 10122055489845722542079915841254787429/135943274\ 55527022440391062412072188*c_1001_5^5 - 26698079443089060161975959236213769/6352489465199543196444421687884\ 2*c_1001_5^4 - 2631259551193190116553243952346093747/67971637277635\ 11220195531206036094*c_1001_5^3 + 159978581329173445440308005721393\ 401/3398581863881755610097765603018047*c_1001_5^2 + 234562033210249352579050794212512832/339858186388175561009776560301\ 8047*c_1001_5 + 38555673078970483550015601539301189/339858186388175\ 5610097765603018047, c_0011_4 + 30552986543064148114044645379142895/108754619644216179523128\ 499296577504*c_1001_5^18 + 22958981722005319769287870587319497/2718\ 8654911054044880782124824144376*c_1001_5^17 + 252067509324795097951231417706290473/271886549110540448807821248241\ 44376*c_1001_5^16 + 577330119160026752591249321009577853/1359432745\ 5527022440391062412072188*c_1001_5^15 + 4879086027626766699505891786158518069/54377309822108089761564249648\ 288752*c_1001_5^14 + 5290213460838718907981725939825556721/13594327\ 455527022440391062412072188*c_1001_5^13 + 47466903608032065522924488894882741845/5437730982210808976156424964\ 8288752*c_1001_5^12 - 4044169255847479137316844718901090217/3398581\ 863881755610097765603018047*c_1001_5^11 - 570105933902409087137939418323593632489/108754619644216179523128499\ 296577504*c_1001_5^10 - 7136291216045371123688943629834434307/13594\ 327455527022440391062412072188*c_1001_5^9 + 545385894589157712740164774100744753699/543773098221080897615642496\ 48288752*c_1001_5^8 + 117909477764012365731934506226033794887/27188\ 654911054044880782124824144376*c_1001_5^7 - 1015789063359359264982132094230388531393/10875461964421617952312849\ 9296577504*c_1001_5^6 - 142567024269864009233738946704118423283/271\ 88654911054044880782124824144376*c_1001_5^5 + 1120574815407750762831813713356328019/25409957860798172785777686751\ 5368*c_1001_5^4 + 37983164831490529236576209578735829913/1359432745\ 5527022440391062412072188*c_1001_5^3 - 8945156855421952145661431899040466945/13594327455527022440391062412\ 072188*c_1001_5^2 - 13765268742586959842976474068650729801/27188654\ 911054044880782124824144376*c_1001_5 - 224734699141467959042983248428460135/339858186388175561009776560301\ 8047, c_0011_9 - 1455446503105988299490059939401641/2718865491105404488078212\ 4824144376*c_1001_5^18 - 551398531565585449976684902932060/33985818\ 63881755610097765603018047*c_1001_5^17 - 12050015343176920782828371250844911/6797163727763511220195531206036\ 094*c_1001_5^16 - 27665295089077479074007268238353824/3398581863881\ 755610097765603018047*c_1001_5^15 - 236103373326251206807704121650443411/135943274555270224403910624120\ 72188*c_1001_5^14 - 254305580584841108121927329527900246/3398581863\ 881755610097765603018047*c_1001_5^13 - 2291836576758326681562892550711791635/13594327455527022440391062412\ 072188*c_1001_5^12 + 747495726530621836049510769603591524/339858186\ 3881755610097765603018047*c_1001_5^11 + 27211118524874970143619792814954418359/2718865491105404488078212482\ 4144376*c_1001_5^10 + 940568517671212924057872673009182455/67971637\ 27763511220195531206036094*c_1001_5^9 - 25657284341573430472913157770005193065/1359432745552702244039106241\ 2072188*c_1001_5^8 - 6096510360344969511857340199255699401/67971637\ 27763511220195531206036094*c_1001_5^7 + 46949145070007756992617871960732477903/2718865491105404488078212482\ 4144376*c_1001_5^6 + 3616159623064988028756425095408056107/33985818\ 63881755610097765603018047*c_1001_5^5 - 50717272592157727509582751753787823/6352489465199543196444421687884\ 2*c_1001_5^4 - 1911581659424574391974550537713875610/33985818638817\ 55610097765603018047*c_1001_5^3 + 376358122630648025631698229850966\ 078/3398581863881755610097765603018047*c_1001_5^2 + 683783807933009103895944353135832005/679716372776351122019553120603\ 6094*c_1001_5 + 47661592878987096368858911110031946/339858186388175\ 5610097765603018047, c_0101_0 - 6805243605645269097337321645994929/1087546196442161795231284\ 99296577504*c_1001_5^18 - 5400743038072502510995817065951843/271886\ 54911054044880782124824144376*c_1001_5^17 - 56763630102852782733205129992375857/2718865491105404488078212482414\ 4376*c_1001_5^16 - 133050662897250666173277776367940525/13594327455\ 527022440391062412072188*c_1001_5^15 - 1158249099053099213744944445334692331/54377309822108089761564249648\ 288752*c_1001_5^14 - 1208543314139055310221287328439764677/13594327\ 455527022440391062412072188*c_1001_5^13 - 11257839440916143366758175146881216803/5437730982210808976156424964\ 8288752*c_1001_5^12 + 826517637026688805409750332654836795/33985818\ 63881755610097765603018047*c_1001_5^11 + 133997976993063971455857262330258046551/108754619644216179523128499\ 296577504*c_1001_5^10 + 3553677792426210096676422657799070257/13594\ 327455527022440391062412072188*c_1001_5^9 - 127365560639566089649343167187528513897/543773098221080897615642496\ 48288752*c_1001_5^8 - 34461680809518849544719636782623188185/271886\ 54911054044880782124824144376*c_1001_5^7 + 236262019237629805260176845473910135583/108754619644216179523128499\ 296577504*c_1001_5^6 + 40001650724556996066157535048926795201/27188\ 654911054044880782124824144376*c_1001_5^5 - 259767255083389851525348911815143147/254099578607981727857776867515\ 368*c_1001_5^4 - 10531199510657578376965014014798463529/13594327455\ 527022440391062412072188*c_1001_5^3 + 2011827562941128909858605264990451897/13594327455527022440391062412\ 072188*c_1001_5^2 + 3840679271474777890013449266520043295/271886549\ 11054044880782124824144376*c_1001_5 + 64811927177684151653478316594626552/3398581863881755610097765603018\ 047, c_0101_1 - 1, c_0101_11 + 10859939107154770186667032196529643/10875461964421617952312\ 8499296577504*c_1001_5^18 + 8224063078297227141247901311516443/2718\ 8654911054044880782124824144376*c_1001_5^17 + 89723092115226362784487856188098179/2718865491105404488078212482414\ 4376*c_1001_5^16 + 206164559258666198975716227861709561/13594327455\ 527022440391062412072188*c_1001_5^15 + 1749192978235721904006749055199505721/54377309822108089761564249648\ 288752*c_1001_5^14 + 1885770980046457038756824579853251723/13594327\ 455527022440391062412072188*c_1001_5^13 + 17007211864175708606731508158873761633/5437730982210808976156424964\ 8288752*c_1001_5^12 - 1424372357310787265509258622412416341/3398581\ 863881755610097765603018047*c_1001_5^11 - 204525935679114487478910050914047297101/108754619644216179523128499\ 296577504*c_1001_5^10 - 1504909074557976837969694325300874347/67971\ 63727763511220195531206036094*c_1001_5^9 + 195550147023912249808669322362347790643/543773098221080897615642496\ 48288752*c_1001_5^8 + 44088069216788248108456657525653110027/271886\ 54911054044880782124824144376*c_1001_5^7 - 363615513180444196369526765757305921989/108754619644216179523128499\ 296577504*c_1001_5^6 - 52867361836341107456555332566474482825/27188\ 654911054044880782124824144376*c_1001_5^5 + 400633889819719795568967015855030745/254099578607981727857776867515\ 368*c_1001_5^4 + 14018370579600395629167070111050073503/13594327455\ 527022440391062412072188*c_1001_5^3 - 3196358685811967188618034533402116783/13594327455527022440391062412\ 072188*c_1001_5^2 - 5046922597822164251029316744539825565/271886549\ 11054044880782124824144376*c_1001_5 - 81351612322312920279182755660767976/3398581863881755610097765603018\ 047, c_0101_3 + 3953652933562199437922986778233737/1359432745552702244039106\ 2412072188*c_1001_5^18 + 12109260030884942089598042690699969/135943\ 27455527022440391062412072188*c_1001_5^17 + 131058470708785748029805949554998095/135943274555270224403910624120\ 72188*c_1001_5^16 + 151222938485110473434534139691459279/3398581863\ 881755610097765603018047*c_1001_5^15 + 646946201924909313657773132096131045/679716372776351122019553120603\ 6094*c_1001_5^14 + 2768284277937821271375017959245873081/6797163727\ 763511220195531206036094*c_1001_5^13 + 3143788103202083053909695946830880154/33985818638817556100977656030\ 18047*c_1001_5^12 - 8080856279212708562103650988077868941/679716372\ 7763511220195531206036094*c_1001_5^11 - 74940553701348657475336512654074734565/1359432745552702244039106241\ 2072188*c_1001_5^10 - 11081948252679685005993373276339155159/135943\ 27455527022440391062412072188*c_1001_5^9 + 142038697134474473826127236457636063057/135943274555270224403910624\ 12072188*c_1001_5^8 + 34211437390864869774803165177550435053/679716\ 3727763511220195531206036094*c_1001_5^7 - 130520293939591866109293904745555344269/135943274555270224403910624\ 12072188*c_1001_5^6 - 80992889170749179348040346103382129351/135943\ 27455527022440391062412072188*c_1001_5^5 + 563096007069271139525279612393407757/127049789303990863928888433757\ 684*c_1001_5^4 + 10734118407432944422044097142721700668/33985818638\ 81755610097765603018047*c_1001_5^3 - 2038369139307540104717831477630104241/33985818638817556100977656030\ 18047*c_1001_5^2 - 1957405230370205832894263283904724112/3398581863\ 881755610097765603018047*c_1001_5 - 286458202944131120647743416339953961/339858186388175561009776560301\ 8047, c_0101_8 - 2618772180850768146255342077395949/1087546196442161795231284\ 99296577504*c_1001_5^18 - 1979125193982185471775138887800567/271886\ 54911054044880782124824144376*c_1001_5^17 - 21605678099293424011961815171986557/2718865491105404488078212482414\ 4376*c_1001_5^16 - 49639201269669857590068060691989681/135943274555\ 27022440391062412072188*c_1001_5^15 - 419475158931251428961701744963366959/543773098221080897615642496482\ 88752*c_1001_5^14 - 453264233047898742177491895016993689/1359432745\ 5527022440391062412072188*c_1001_5^13 - 4085321485310649050955815473725433335/54377309822108089761564249648\ 288752*c_1001_5^12 + 347691626142251292392747216248073104/339858186\ 3881755610097765603018047*c_1001_5^11 + 49324545732588862166366244185894714731/1087546196442161795231284992\ 96577504*c_1001_5^10 + 632972148301587941059730362867439047/1359432\ 7455527022440391062412072188*c_1001_5^9 - 47288780198983089686223477721590552117/5437730982210808976156424964\ 8288752*c_1001_5^8 - 10249270184066935886093234693023515373/2718865\ 4911054044880782124824144376*c_1001_5^7 + 87871458245031274862714860482957231315/1087546196442161795231284992\ 96577504*c_1001_5^6 + 12385332277552982974791343313585464809/271886\ 54911054044880782124824144376*c_1001_5^5 - 95657321053319982448308422038033803/2540995786079817278577768675153\ 68*c_1001_5^4 - 3344847622000483872502181106776427459/1359432745552\ 7022440391062412072188*c_1001_5^3 + 709699270916222716304848552427633161/135943274555270224403910624120\ 72188*c_1001_5^2 + 1280385084814116778362153317260128307/2718865491\ 1054044880782124824144376*c_1001_5 + 23518582134222107500854800066223515/3398581863881755610097765603018\ 047, c_1001_11 + 3393430016952906493607041979654305/135943274555270224403910\ 62412072188*c_1001_5^18 + 5105301761945126250067555416259411/679716\ 3727763511220195531206036094*c_1001_5^17 + 55991833703059173145336126080447847/6797163727763511220195531206036\ 094*c_1001_5^16 + 256598384638141854308617500566539343/679716372776\ 3511220195531206036094*c_1001_5^15 + 271047885245156592672088742496935218/339858186388175561009776560301\ 8047*c_1001_5^14 + 1174416911201190901152504404018700244/3398581863\ 881755610097765603018047*c_1001_5^13 + 5271228645187730910595072270083847439/67971637277635112201955312060\ 36094*c_1001_5^12 - 3600488582898307159943546774219760016/339858186\ 3881755610097765603018047*c_1001_5^11 - 63528618728672583362104686752905184023/1359432745552702244039106241\ 2072188*c_1001_5^10 - 1634466555625846275919116235724074086/3398581\ 863881755610097765603018047*c_1001_5^9 + 60876742750428333545178018598410959885/6797163727763511220195531206\ 036094*c_1001_5^8 + 26634470623455459050922016742551461325/67971637\ 27763511220195531206036094*c_1001_5^7 - 113425278636989200816392387824975605529/135943274555270224403910624\ 12072188*c_1001_5^6 - 16138401571880708129605899631668967983/339858\ 1863881755610097765603018047*c_1001_5^5 + 125026292659701365691187679284858074/317624473259977159822221084394\ 21*c_1001_5^4 + 8628518788219403111138836434773875571/3398581863881\ 755610097765603018047*c_1001_5^3 - 1984577461091444123293250450887241217/33985818638817556100977656030\ 18047*c_1001_5^2 - 1574396469351315358132649769272955097/3398581863\ 881755610097765603018047*c_1001_5 - 208917599618364452409611789922551035/339858186388175561009776560301\ 8047, c_1001_5^19 + 4*c_1001_5^18 + 36*c_1001_5^17 + 184*c_1001_5^16 + 470*c_1001_5^15 + 1704*c_1001_5^14 + 4486*c_1001_5^13 - 1136*c_1001_5^12 - 22855*c_1001_5^11 - 20512*c_1001_5^10 + 33650*c_1001_5^9 + 51092*c_1001_5^8 - 17391*c_1001_5^7 - 51788*c_1001_5^6 - 3452*c_1001_5^5 + 25496*c_1001_5^4 + 7896*c_1001_5^3 - 4060*c_1001_5^2 - 2112*c_1001_5 - 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.180 Total time: 0.390 seconds, Total memory usage: 32.09MB