Magma V2.19-8 Wed Aug 21 2013 00:58:38 on localhost [Seed = 1595491796] Type ? for help. Type -D to quit. Loading file "L13n5915__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5915 geometric_solution 12.12395473 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226658595989 1.268997992339 0 5 7 6 0132 0132 0132 0132 1 1 1 1 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 0 -4 4 0 0 0 0 0 0 0 0 0 -3 4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564236562621 0.958572918491 8 0 9 8 0132 0132 0132 1023 1 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263551957700 1.045055309991 10 11 10 0 0132 0132 3012 0132 1 1 1 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 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419494127378 0.464202341560 9 5 0 12 1023 1302 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.209300606679 2.020366376924 12 1 8 4 0132 0132 3120 2031 1 1 1 1 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 4 0 -4 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 0 0 0 0.317741292365 0.689936337433 10 12 1 9 2103 2310 0132 1302 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.543949895457 0.774776589556 10 11 11 1 3012 3012 0132 0132 1 1 1 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 3 1 -4 0 0 0 0 -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.071616646355 1.185825793561 2 12 5 2 0132 0132 3120 1023 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683907873547 0.464267320552 11 4 6 2 2031 1023 2031 0132 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226658595989 1.268997992339 3 3 6 7 0132 1230 2103 1230 1 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 0 0 0 0 0 0 0 -1 0 0 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 1.050744738726 0.840229515501 7 3 9 7 1230 0132 1302 0132 1 1 0 1 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 0 0 0 -1 0 1 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.071616646355 1.185825793561 5 8 4 6 0132 0132 0132 3201 1 1 1 1 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 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.724659172463 0.732813945416 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_12'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_0101_12'], 'c_1001_9' : d['c_0101_1'], 'c_1001_8' : negation(d['c_1001_5']), 'c_1010_12' : negation(d['c_1001_5']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_0011_7'], '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_4']), 'c_0101_10' : d['c_0101_0'], '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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0101_5'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_5'], 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : d['c_0101_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_12'], 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : d['c_0101_8'], 'c_1100_8' : negation(d['c_0101_5']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : negation(d['c_0011_6']), '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_4'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], '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_0011_7'], 'c_0110_10' : d['c_0011_7'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0011_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], '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_9'], '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' : d['c_0101_2'], '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' : d['c_0101_8'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(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_4, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_0101_8, c_0101_9, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 11907266877205085878154246286074108320733839047250492710709/2146505\ 8172153930875590076922671519204810032737472409478395634*c_1001_5^16 - 156451749110052764460111951628069549065148260332316563305621/2146\ 5058172153930875590076922671519204810032737472409478395634*c_1001_5\ ^15 - 1102296465950794754126140286225706997480681516497084259920895\ /21465058172153930875590076922671519204810032737472409478395634*c_1\ 001_5^14 - 24454725796958658576415294841317824828635326780683442439\ 36095/1073252908607696543779503846133575960240501636873620473919781\ 7*c_1001_5^13 - 561451612927022879216808207448888312362536420146276\ 9899132736/10732529086076965437795038461335759602405016368736204739\ 197817*c_1001_5^12 - 1294937973422754845187407919533251746130755853\ 17574199720555/1533218440868137919685005494476537086057859481248029\ 248456831*c_1001_5^11 + 6932985380423020510162548762475786897967963\ 9600598841075845377/21465058172153930875590076922671519204810032737\ 472409478395634*c_1001_5^10 + 9331528629353352624118262325145299080\ 1836159272277262067066497/10732529086076965437795038461335759602405\ 016368736204739197817*c_1001_5^9 + 30612215872745489973244921090312631696443506552724853796324584/1073\ 2529086076965437795038461335759602405016368736204739197817*c_1001_5\ ^8 - 23291311167927935105333428063890593102084687365729239479660485\ 7/10732529086076965437795038461335759602405016368736204739197817*c_\ 1001_5^7 - 28952522512445874717735976153623183821656478289600004988\ 8064114/10732529086076965437795038461335759602405016368736204739197\ 817*c_1001_5^6 + 13662903708530972258155474714025498303120192381906\ 95971395887/2146505817215393087559007692267151920481003273747240947\ 8395634*c_1001_5^5 + 1942657269118618258620857764560473040615810674\ 38665667250532823/1073252908607696543779503846133575960240501636873\ 6204739197817*c_1001_5^4 + 3459474097553072446862510797174741867177\ 29003382208858307508905/1073252908607696543779503846133575960240501\ 6368736204739197817*c_1001_5^3 + 5310207765802214161658476033305790\ 18707350718809335971524049335/2146505817215393087559007692267151920\ 4810032737472409478395634*c_1001_5^2 - 291627509302961686091634977874215528515969400054464531631927227/214\ 65058172153930875590076922671519204810032737472409478395634*c_1001_\ 5 - 123301090989373556622990937564264060765315307760637148843964765\ /10732529086076965437795038461335759602405016368736204739197817, c_0011_0 - 1, c_0011_10 + 1, c_0011_4 - 8478942399314060773098105728398514308116175/2327140595469266\ 47629431651558236213079036015869*c_1001_5^16 - 121527370066711646332603729532313506891999105/232714059546926647629\ 431651558236213079036015869*c_1001_5^15 - 939114555160043953580439355001100442533859140/232714059546926647629\ 431651558236213079036015869*c_1001_5^14 - 4737390860095958851454268547393946469734315446/23271405954692664762\ 9431651558236213079036015869*c_1001_5^13 - 14664247710397191763367822639657061127518350393/2327140595469266476\ 29431651558236213079036015869*c_1001_5^12 - 23748831559017837746468271202790239814318927409/2327140595469266476\ 29431651558236213079036015869*c_1001_5^11 + 6757080947560349875363183453253344762616618036/23271405954692664762\ 9431651558236213079036015869*c_1001_5^10 + 123870256967088475470684188344180898467839568228/232714059546926647\ 629431651558236213079036015869*c_1001_5^9 + 220570296271630105869948661176674420470643167915/232714059546926647\ 629431651558236213079036015869*c_1001_5^8 + 82375827511971136579867637542254724013800614194/2327140595469266476\ 29431651558236213079036015869*c_1001_5^7 - 146837993844716327231908543607479553298274049562/232714059546926647\ 629431651558236213079036015869*c_1001_5^6 - 302100053968014927597076903832273213087046186826/232714059546926647\ 629431651558236213079036015869*c_1001_5^5 - 239466346715299322287119236476621413744425332953/232714059546926647\ 629431651558236213079036015869*c_1001_5^4 + 84988022923622336150034717504283933616709148013/2327140595469266476\ 29431651558236213079036015869*c_1001_5^3 - 280625657094774743089060596919942582184022524076/232714059546926647\ 629431651558236213079036015869*c_1001_5^2 - 272807829022179663809722646804613154379572819091/232714059546926647\ 629431651558236213079036015869*c_1001_5 - 159648640591973978433262224266141130223123108146/232714059546926647\ 629431651558236213079036015869, c_0011_6 - 8478942399314060773098105728398514308116175/2327140595469266\ 47629431651558236213079036015869*c_1001_5^16 - 121527370066711646332603729532313506891999105/232714059546926647629\ 431651558236213079036015869*c_1001_5^15 - 939114555160043953580439355001100442533859140/232714059546926647629\ 431651558236213079036015869*c_1001_5^14 - 4737390860095958851454268547393946469734315446/23271405954692664762\ 9431651558236213079036015869*c_1001_5^13 - 14664247710397191763367822639657061127518350393/2327140595469266476\ 29431651558236213079036015869*c_1001_5^12 - 23748831559017837746468271202790239814318927409/2327140595469266476\ 29431651558236213079036015869*c_1001_5^11 + 6757080947560349875363183453253344762616618036/23271405954692664762\ 9431651558236213079036015869*c_1001_5^10 + 123870256967088475470684188344180898467839568228/232714059546926647\ 629431651558236213079036015869*c_1001_5^9 + 220570296271630105869948661176674420470643167915/232714059546926647\ 629431651558236213079036015869*c_1001_5^8 + 82375827511971136579867637542254724013800614194/2327140595469266476\ 29431651558236213079036015869*c_1001_5^7 - 146837993844716327231908543607479553298274049562/232714059546926647\ 629431651558236213079036015869*c_1001_5^6 - 302100053968014927597076903832273213087046186826/232714059546926647\ 629431651558236213079036015869*c_1001_5^5 - 239466346715299322287119236476621413744425332953/232714059546926647\ 629431651558236213079036015869*c_1001_5^4 + 84988022923622336150034717504283933616709148013/2327140595469266476\ 29431651558236213079036015869*c_1001_5^3 - 280625657094774743089060596919942582184022524076/232714059546926647\ 629431651558236213079036015869*c_1001_5^2 - 272807829022179663809722646804613154379572819091/232714059546926647\ 629431651558236213079036015869*c_1001_5 - 159648640591973978433262224266141130223123108146/232714059546926647\ 629431651558236213079036015869, c_0011_7 - 34810087915512416115905974558803435021387185/465428119093853\ 295258863303116472426158072031738*c_1001_5^16 - 230702635571031616907537537727043602069417993/232714059546926647629\ 431651558236213079036015869*c_1001_5^15 - 1656048205108779641021125492558510430983759059/23271405954692664762\ 9431651558236213079036015869*c_1001_5^14 - 15180158596190146668382444596154502486069683763/4654281190938532952\ 58863303116472426158072031738*c_1001_5^13 - 19134281089100022099017722106948392949536145888/2327140595469266476\ 29431651558236213079036015869*c_1001_5^12 - 13668835230675600511538975722439126107452327343/2327140595469266476\ 29431651558236213079036015869*c_1001_5^11 + 150464346600508875970353384171852507289166903631/465428119093853295\ 258863303116472426158072031738*c_1001_5^10 + 504706966890298347624321355756872552540280616965/465428119093853295\ 258863303116472426158072031738*c_1001_5^9 + 166215054931350422044550906738108980977009787757/232714059546926647\ 629431651558236213079036015869*c_1001_5^8 - 418359744531996971041016103642953329244449470564/232714059546926647\ 629431651558236213079036015869*c_1001_5^7 - 624641426466712905890291302444920515939539664470/232714059546926647\ 629431651558236213079036015869*c_1001_5^6 - 342023135413897211370562103656387680717784634029/465428119093853295\ 258863303116472426158072031738*c_1001_5^5 + 792949858496321286830599729146882978461155390501/465428119093853295\ 258863303116472426158072031738*c_1001_5^4 + 647932742578143856560998188258302675628531135510/232714059546926647\ 629431651558236213079036015869*c_1001_5^3 - 1094148789227035250141008443224920679031376173289/46542811909385329\ 5258863303116472426158072031738*c_1001_5^2 - 402292510254556581182111728693575286290670632076/232714059546926647\ 629431651558236213079036015869*c_1001_5 + 2000067037260208800021552566670157886572748005277/46542811909385329\ 5258863303116472426158072031738, c_0101_0 + 12826988227279514319589562072168285269745950/232714059546926\ 647629431651558236213079036015869*c_1001_5^16 + 164724499189367534083426262882465998093216220/232714059546926647629\ 431651558236213079036015869*c_1001_5^15 + 1130992340473185006421844073345152477811753568/23271405954692664762\ 9431651558236213079036015869*c_1001_5^14 + 4834807686631551112914436854255687306406713483/23271405954692664762\ 9431651558236213079036015869*c_1001_5^13 + 9933093135392290126304658633858870695683323315/23271405954692664762\ 9431651558236213079036015869*c_1001_5^12 - 4515938973156014120338992146067705425826617237/23271405954692664762\ 9431651558236213079036015869*c_1001_5^11 - 83530956640663117438936130860716201331501193639/2327140595469266476\ 29431651558236213079036015869*c_1001_5^10 - 191420845464290055308510813424378349670081455627/232714059546926647\ 629431651558236213079036015869*c_1001_5^9 + 1353788025938945129993823221317765819686307501/23271405954692664762\ 9431651558236213079036015869*c_1001_5^8 + 594837381793489578000816413762894164226154812738/232714059546926647\ 629431651558236213079036015869*c_1001_5^7 + 587813845070952063649967006814090960045368496850/232714059546926647\ 629431651558236213079036015869*c_1001_5^6 - 175239928740250910374044247793951550620180648219/232714059546926647\ 629431651558236213079036015869*c_1001_5^5 - 667489691738868261898513943861291634675621299687/232714059546926647\ 629431651558236213079036015869*c_1001_5^4 - 696964085738138188894152711388780368645686945247/232714059546926647\ 629431651558236213079036015869*c_1001_5^3 + 626020372058498980697822689659302835797185484923/232714059546926647\ 629431651558236213079036015869*c_1001_5^2 + 372091977380309167612970944094075506924303662690/232714059546926647\ 629431651558236213079036015869*c_1001_5 - 1689281659218408791548196602194271111274972332670/23271405954692664\ 7629431651558236213079036015869, c_0101_1 + 65095139523248388497222729223822020637315790/232714059546926\ 647629431651558236213079036015869*c_1001_5^16 + 828752616112043429779574710148509152735889466/232714059546926647629\ 431651558236213079036015869*c_1001_5^15 + 5774930499598470414046459560087061425538240315/23271405954692664762\ 9431651558236213079036015869*c_1001_5^14 + 25511137060008728126616263998513717480371570021/2327140595469266476\ 29431651558236213079036015869*c_1001_5^13 + 58993324551816539113059755677678032031366981595/2327140595469266476\ 29431651558236213079036015869*c_1001_5^12 + 22327456007055519497361673261857467302374287880/2327140595469266476\ 29431651558236213079036015869*c_1001_5^11 - 296304357573389478222034703011057837319232134764/232714059546926647\ 629431651558236213079036015869*c_1001_5^10 - 823606981803491911854754156251732530254092353781/232714059546926647\ 629431651558236213079036015869*c_1001_5^9 - 288210280885147271838486903590461759875890529846/232714059546926647\ 629431651558236213079036015869*c_1001_5^8 + 1658287765957926134464992184105730972326419206280/23271405954692664\ 7629431651558236213079036015869*c_1001_5^7 + 1807347436663119798338112556788370559384950670726/23271405954692664\ 7629431651558236213079036015869*c_1001_5^6 + 222673175374715022778077285099005143985177853168/232714059546926647\ 629431651558236213079036015869*c_1001_5^5 - 1688473469072202375957032038195784604121274613680/23271405954692664\ 7629431651558236213079036015869*c_1001_5^4 - 1775589448176381454643282867779392122911585199708/23271405954692664\ 7629431651558236213079036015869*c_1001_5^3 + 2427310230214361290549150690477845565088934855305/23271405954692664\ 7629431651558236213079036015869*c_1001_5^2 + 588696385965462355055651096428983584696101185002/232714059546926647\ 629431651558236213079036015869*c_1001_5 - 3534333458495312815491940196069759208640738813349/23271405954692664\ 7629431651558236213079036015869, c_0101_12 + 8469661581677063741007251155495839430655178/232714059546926\ 647629431651558236213079036015869*c_1001_5^16 + 128099157181817718193889557147023594720428720/232714059546926647629\ 431651558236213079036015869*c_1001_5^15 + 1029588885321838392617081433395045801041177201/23271405954692664762\ 9431651558236213079036015869*c_1001_5^14 + 5394423324205893261129553030949822381730895997/23271405954692664762\ 9431651558236213079036015869*c_1001_5^13 + 17716676704552522095450716464200620147337816843/2327140595469266476\ 29431651558236213079036015869*c_1001_5^12 + 31630386085187102674498059925545402672739451364/2327140595469266476\ 29431651558236213079036015869*c_1001_5^11 - 632654432780812075866458955916596864972818302/232714059546926647629\ 431651558236213079036015869*c_1001_5^10 - 151828547093787093237928958951858900526601594093/232714059546926647\ 629431651558236213079036015869*c_1001_5^9 - 317811511834778291336803010645612802355315459329/232714059546926647\ 629431651558236213079036015869*c_1001_5^8 - 144355001012353940751253708341322803111166502139/232714059546926647\ 629431651558236213079036015869*c_1001_5^7 + 308169398640824756297201081783902821600212282149/232714059546926647\ 629431651558236213079036015869*c_1001_5^6 + 459183769613596035923313452737778088892419800704/232714059546926647\ 629431651558236213079036015869*c_1001_5^5 + 257672495173575743230038136915352083161356124208/232714059546926647\ 629431651558236213079036015869*c_1001_5^4 - 140355024529670721732919203513346282269181050272/232714059546926647\ 629431651558236213079036015869*c_1001_5^3 - 63754279685998094017579976419386424568652924834/2327140595469266476\ 29431651558236213079036015869*c_1001_5^2 + 899379148595579691632015586778545223327754776072/232714059546926647\ 629431651558236213079036015869*c_1001_5 + 41859390043619454625130196044876683917011572576/2327140595469266476\ 29431651558236213079036015869, c_0101_2 + 4403637387722986096178005554147285345498233/2327140595469266\ 47629431651558236213079036015869*c_1001_5^16 + 59711505775559402096504921505380663531342158/2327140595469266476294\ 31651558236213079036015869*c_1001_5^15 + 445058455072610156117187015851579408139764119/232714059546926647629\ 431651558236213079036015869*c_1001_5^14 + 2160501179965083583615585928102968971073039370/23271405954692664762\ 9431651558236213079036015869*c_1001_5^13 + 6248254510290529255083085653863374512240284894/23271405954692664762\ 9431651558236213079036015869*c_1001_5^12 + 8790380665228720028593742490883410577933310154/23271405954692664762\ 9431651558236213079036015869*c_1001_5^11 - 7733780666502380890811386432423227980090922399/23271405954692664762\ 9431651558236213079036015869*c_1001_5^10 - 60116640898666974213700718781499743656528921192/2327140595469266476\ 29431651558236213079036015869*c_1001_5^9 - 93990939314370305204876497018109583447858196991/2327140595469266476\ 29431651558236213079036015869*c_1001_5^8 - 36261718472558194232251127948552996915434341760/2327140595469266476\ 29431651558236213079036015869*c_1001_5^7 + 65994375851500126626243210320678554900306833406/2327140595469266476\ 29431651558236213079036015869*c_1001_5^6 + 214948390765692203200285746308276559294805280647/232714059546926647\ 629431651558236213079036015869*c_1001_5^5 + 168366331591458584948958841962261446215314576877/232714059546926647\ 629431651558236213079036015869*c_1001_5^4 + 6442787879595543951043587137390886302872561875/23271405954692664762\ 9431651558236213079036015869*c_1001_5^3 + 232741898147240678727605139300965092103505728009/232714059546926647\ 629431651558236213079036015869*c_1001_5^2 - 59828347134554706585587692962656812889450976205/2327140595469266476\ 29431651558236213079036015869*c_1001_5 + 197999074052092047367298564586338902392623861213/232714059546926647\ 629431651558236213079036015869, c_0101_5 + 1, c_0101_8 + 17984275802378892528704437552675007244450409/232714059546926\ 647629431651558236213079036015869*c_1001_5^16 + 238958250302638710744904862578560979127419034/232714059546926647629\ 431651558236213079036015869*c_1001_5^15 + 1728077739745834782944778803879061642526069541/23271405954692664762\ 9431651558236213079036015869*c_1001_5^14 + 8024533819175480955507205990841607610670222267/23271405954692664762\ 9431651558236213079036015869*c_1001_5^13 + 20963818641341484996885659831282377756490344987/2327140595469266476\ 29431651558236213079036015869*c_1001_5^12 + 19279619461746613762557649547874215585735696879/2327140595469266476\ 29431651558236213079036015869*c_1001_5^11 - 64533454166059544249327824260995618617884888455/2327140595469266476\ 29431651558236213079036015869*c_1001_5^10 - 247206956554856869733313424818345238066866305543/232714059546926647\ 629431651558236213079036015869*c_1001_5^9 - 202131662960958857665767349138863649689575104016/232714059546926647\ 629431651558236213079036015869*c_1001_5^8 + 301325811051409703429298335654164373051491251291/232714059546926647\ 629431651558236213079036015869*c_1001_5^7 + 507715459473424538005219171534121063741068742068/232714059546926647\ 629431651558236213079036015869*c_1001_5^6 + 230811033625320356024473873883227164052311256848/232714059546926647\ 629431651558236213079036015869*c_1001_5^5 - 284630844728501524634857944253349956652472837683/232714059546926647\ 629431651558236213079036015869*c_1001_5^4 - 503521079378341596069131518756158214557046640167/232714059546926647\ 629431651558236213079036015869*c_1001_5^3 + 742546065178596912181516972747329830262188333644/232714059546926647\ 629431651558236213079036015869*c_1001_5^2 + 449148446706944655090807802524268444140188236529/232714059546926647\ 629431651558236213079036015869*c_1001_5 - 566082290911911236172977185464919976981973134832/232714059546926647\ 629431651558236213079036015869, c_0101_9 + 12826988227279514319589562072168285269745950/232714059546926\ 647629431651558236213079036015869*c_1001_5^16 + 164724499189367534083426262882465998093216220/232714059546926647629\ 431651558236213079036015869*c_1001_5^15 + 1130992340473185006421844073345152477811753568/23271405954692664762\ 9431651558236213079036015869*c_1001_5^14 + 4834807686631551112914436854255687306406713483/23271405954692664762\ 9431651558236213079036015869*c_1001_5^13 + 9933093135392290126304658633858870695683323315/23271405954692664762\ 9431651558236213079036015869*c_1001_5^12 - 4515938973156014120338992146067705425826617237/23271405954692664762\ 9431651558236213079036015869*c_1001_5^11 - 83530956640663117438936130860716201331501193639/2327140595469266476\ 29431651558236213079036015869*c_1001_5^10 - 191420845464290055308510813424378349670081455627/232714059546926647\ 629431651558236213079036015869*c_1001_5^9 + 1353788025938945129993823221317765819686307501/23271405954692664762\ 9431651558236213079036015869*c_1001_5^8 + 594837381793489578000816413762894164226154812738/232714059546926647\ 629431651558236213079036015869*c_1001_5^7 + 587813845070952063649967006814090960045368496850/232714059546926647\ 629431651558236213079036015869*c_1001_5^6 - 175239928740250910374044247793951550620180648219/232714059546926647\ 629431651558236213079036015869*c_1001_5^5 - 667489691738868261898513943861291634675621299687/232714059546926647\ 629431651558236213079036015869*c_1001_5^4 - 696964085738138188894152711388780368645686945247/232714059546926647\ 629431651558236213079036015869*c_1001_5^3 + 626020372058498980697822689659302835797185484923/232714059546926647\ 629431651558236213079036015869*c_1001_5^2 + 372091977380309167612970944094075506924303662690/232714059546926647\ 629431651558236213079036015869*c_1001_5 - 1689281659218408791548196602194271111274972332670/23271405954692664\ 7629431651558236213079036015869, c_1001_5^17 + 12*c_1001_5^16 + 79*c_1001_5^15 + 322*c_1001_5^14 + 585*c_1001_5^13 - 472*c_1001_5^12 - 5155*c_1001_5^11 - 9509*c_1001_5^10 + 6289*c_1001_5^9 + 32864*c_1001_5^8 + 10534*c_1001_5^7 - 23067*c_1001_5^6 - 32497*c_1001_5^5 - 11239*c_1001_5^4 + 61957*c_1001_5^3 - 14616*c_1001_5^2 - 80298*c_1001_5 + 47987 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.450 Total time: 1.659 seconds, Total memory usage: 64.12MB