Magma V2.19-8 Tue Aug 20 2013 17:59:44 on localhost [Seed = 1595861931] Type ? for help. Type -D to quit. Loading file "10^2_77__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_77 geometric_solution 13.19119747 oriented_manifold CS_known -0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 14 1 2 3 3 0132 0132 0132 3120 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 -4 -1 0 1 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.530036640978 0.740923283834 0 4 5 5 0132 0132 2103 0132 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 0 0 0 0 0 0 0 4 -4 0 1 0 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.681377010299 0.901401164392 6 0 5 7 0132 0132 0213 0132 1 1 0 0 0 1 -1 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 -3 3 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 0 0 0 1.042232608124 1.134473588880 0 4 8 0 3120 1230 0132 0132 1 0 0 1 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 1 -1 -1 1 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610474528319 0.962446930246 7 1 3 9 1023 0132 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 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 0.541905818390 0.810113556353 1 2 1 6 2103 0213 0132 1302 1 0 1 0 0 1 0 -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 -3 0 3 0 0 1 -1 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466339513040 0.705985345947 2 7 5 9 0132 1023 2031 2031 1 1 0 0 0 0 -1 1 -1 0 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 4 -4 3 0 -3 0 0 3 0 -3 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.006160514272 0.811072744393 6 4 2 10 1023 1023 0132 0132 1 1 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 -3 1 0 2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.405415169140 0.686971758917 11 12 11 3 0132 0132 3120 0132 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 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.187257544479 1.257554673323 13 6 4 10 0132 1302 0132 0213 1 1 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 -1 4 0 -3 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.627532959867 1.257126784276 13 12 7 9 1302 3201 0132 0213 1 1 1 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 0 0 0 0 0 -3 3 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.927964332422 0.702966321447 8 13 8 12 0132 3201 3120 2103 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 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.187257544479 1.257554673323 13 8 10 11 3201 0132 2310 2103 1 0 1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 3 0 -2 -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.524061852905 0.958179974498 9 10 11 12 0132 2031 2310 2310 1 1 0 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 0 0 0 0 0 0 0 3 0 0 -3 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.115221876901 0.554588351875 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_11' : negation(d['c_0101_13']), 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_13' : d['c_0101_13'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0101_4'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_0101_13'], 'c_1010_13' : d['c_0011_10'], 'c_1010_12' : d['c_0101_13'], 'c_1010_11' : negation(d['c_0101_13']), 'c_1010_10' : negation(d['c_1001_12']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_13']), '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_13' : 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' : negation(d['1']), 's_0_7' : negation(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_1100_9' : negation(d['c_1001_12']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : negation(d['c_1001_12']), 'c_1100_7' : d['c_1010_5'], 'c_1100_6' : negation(d['c_1010_5']), 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : negation(d['c_0101_11']), 'c_1100_3' : negation(d['c_0101_11']), 'c_1100_2' : d['c_1010_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_1010_5'], 'c_1100_13' : d['c_0011_11'], 's_3_10' : negation(d['1']), 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0101_12']), 'c_1010_6' : negation(d['c_0011_13']), 'c_1010_5' : d['c_1010_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : d['c_1010_5'], 'c_1010_8' : d['c_1001_12'], 'c_1100_8' : negation(d['c_0101_11']), 's_3_1' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['c_0011_13']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0101_13']), 'c_0110_13' : negation(d['c_0101_12']), 'c_0110_12' : negation(d['c_0011_10']), 'c_0110_0' : d['c_0101_0'], 's_3_12' : d['1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_12']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0101_12']), 'c_0110_7' : negation(d['c_0011_13']), 'c_0110_6' : d['c_0011_5'], 's_2_9' : negation(d['1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_3, c_0011_5, c_0101_0, c_0101_11, c_0101_12, c_0101_13, c_0101_4, c_0101_6, c_1001_12, c_1010_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 10645626513083451351182824498432831487818738/2527333044001571570070\ 393299704204943947*c_1010_5^18 + 3493839221607339414653840279979969\ 73514658673/2527333044001571570070393299704204943947*c_1010_5^17 - 7691282317386933951618743588553270765256136/11133625744500315286653\ 714976670506361*c_1010_5^16 + 1245579673902145687882996942079612859\ 858646980/2527333044001571570070393299704204943947*c_1010_5^15 + 1027794088082710009698570660738566826841154449/25273330440015715700\ 70393299704204943947*c_1010_5^14 + 9897924192421811326355526536357975202505194224/25273330440015715700\ 70393299704204943947*c_1010_5^13 - 23126907418329773152387591118651314677061450039/2527333044001571570\ 070393299704204943947*c_1010_5^12 + 45007533827853890060883019528134715226438000699/2527333044001571570\ 070393299704204943947*c_1010_5^11 - 38109563653923206961702707623982233504072857549/2527333044001571570\ 070393299704204943947*c_1010_5^10 + 11539671223041157795662918633596509674915578293/2527333044001571570\ 070393299704204943947*c_1010_5^9 + 25259147219017238243403205905868966400654910266/2527333044001571570\ 070393299704204943947*c_1010_5^8 - 45287108141991818180295384054659807635178869606/2527333044001571570\ 070393299704204943947*c_1010_5^7 + 29430591845635711706881588453160788763677570905/2527333044001571570\ 070393299704204943947*c_1010_5^6 + 4414784850888063529244425736965914391829593307/25273330440015715700\ 70393299704204943947*c_1010_5^5 - 168989447759370073421944936493360\ 39826328722409/2527333044001571570070393299704204943947*c_1010_5^4 + 10052244841976256454355765771986618834827644801/2527333044001571570\ 070393299704204943947*c_1010_5^3 - 2457548325480022251787198418445297432646112137/25273330440015715700\ 70393299704204943947*c_1010_5^2 + 361774938953114260564713702011049\ 461414647341/2527333044001571570070393299704204943947*c_1010_5 - 7157029701746289637288655588932673450409392/25273330440015715700703\ 93299704204943947, c_0011_0 - 1, c_0011_10 - 2240459842604557297932729114591349418873/505466608800314314\ 0140786599408409887894*c_1010_5^18 - 37047395626149619725147512498992642168532/2527333044001571570070393\ 299704204943947*c_1010_5^17 + 7682824462836682798012968657167455617\ 21/11133625744500315286653714976670506361*c_1010_5^16 - 86985840164052496031777354668866096328543/2527333044001571570070393\ 299704204943947*c_1010_5^15 - 2622084772601462823286176200835142898\ 84997/5054666088003143140140786599408409887894*c_1010_5^14 - 1073626171194228792341817697187729357082450/25273330440015715700703\ 93299704204943947*c_1010_5^13 + 21648749153178276283031838594570011\ 28773354/2527333044001571570070393299704204943947*c_1010_5^12 - 4186186243299702464850502838630168885493154/25273330440015715700703\ 93299704204943947*c_1010_5^11 + 29391838952021270787258552009355509\ 61164367/2527333044001571570070393299704204943947*c_1010_5^10 - 907224303695899223233318261587072328033863/505466608800314314014078\ 6599408409887894*c_1010_5^9 - 5589380026126361664008666400000920272\ 063521/5054666088003143140140786599408409887894*c_1010_5^8 + 8102419899103037724642310429735408531059879/50546660880031431401407\ 86599408409887894*c_1010_5^7 - 412086511958691738019837993157088813\ 9148265/5054666088003143140140786599408409887894*c_1010_5^6 - 1011627620906946173174191007468247998989975/25273330440015715700703\ 93299704204943947*c_1010_5^5 + 305737792306195579390134605501288791\ 9650145/5054666088003143140140786599408409887894*c_1010_5^4 - 655366497437133891126416482735324603070883/252733304400157157007039\ 3299704204943947*c_1010_5^3 + 1613522037079877147467762427429375530\ 48279/5054666088003143140140786599408409887894*c_1010_5^2 - 20384892522865921327892042991245929260749/2527333044001571570070393\ 299704204943947*c_1010_5 - 1421674969031961504613068529618647748137\ /5054666088003143140140786599408409887894, c_0011_11 + 2182220843708295192398496945247511604145/505466608800314314\ 0140786599408409887894*c_1010_5^18 + 36117869085382756994981754826344922980450/2527333044001571570070393\ 299704204943947*c_1010_5^17 - 7434123468200762452986965778958290096\ 18/11133625744500315286653714976670506361*c_1010_5^16 + 79645501355694598585689135128137071026211/2527333044001571570070393\ 299704204943947*c_1010_5^15 + 2582034793609905086764608682778257329\ 98579/5054666088003143140140786599408409887894*c_1010_5^14 + 1051699129269799589128851551977401811074370/25273330440015715700703\ 93299704204943947*c_1010_5^13 - 20751058203573259090042042228127884\ 44866560/2527333044001571570070393299704204943947*c_1010_5^12 + 4015845435664415195340571346332035072922050/25273330440015715700703\ 93299704204943947*c_1010_5^11 - 27617432155515486889024572789665084\ 29848290/2527333044001571570070393299704204943947*c_1010_5^10 + 764390026465101094653892050507235470635805/505466608800314314014078\ 6599408409887894*c_1010_5^9 + 5372071059437786809444843951680768464\ 253353/5054666088003143140140786599408409887894*c_1010_5^8 - 7731075394437014034966915734028505534349815/50546660880031431401407\ 86599408409887894*c_1010_5^7 + 378719305477855604165218451010527385\ 5077593/5054666088003143140140786599408409887894*c_1010_5^6 + 995789599014316617244727857952882248004528/252733304400157157007039\ 3299704204943947*c_1010_5^5 - 2874756579702963026786863800253287737\ 104213/5054666088003143140140786599408409887894*c_1010_5^4 + 597845692439790806373834812138043182064641/252733304400157157007039\ 3299704204943947*c_1010_5^3 - 1586826464409303280857869782522288560\ 05519/5054666088003143140140786599408409887894*c_1010_5^2 + 21368300978246842784499743292533639218406/2527333044001571570070393\ 299704204943947*c_1010_5 + 1078090253039740562590566875876693064387\ /5054666088003143140140786599408409887894, c_0011_13 + 341580847831608602416113379994806085783/5054666088003143140\ 140786599408409887894*c_1010_5^18 + 5645483125050109211306779886556169999611/25273330440015715700703932\ 99704204943947*c_1010_5^17 - 11753239713612011903135815479463731820\ 5/11133625744500315286653714976670506361*c_1010_5^16 + 13712034737488581350172349468637246818229/2527333044001571570070393\ 299704204943947*c_1010_5^15 + 3888313209442955026728580417081326030\ 8477/5054666088003143140140786599408409887894*c_1010_5^14 + 164272323959814221382109318879824317963930/252733304400157157007039\ 3299704204943947*c_1010_5^13 - 332506656877845842776503868587149552\ 438353/2527333044001571570070393299704204943947*c_1010_5^12 + 643337616244193846168930514509610597003943/252733304400157157007039\ 3299704204943947*c_1010_5^11 - 466565957564186623560578305886425408\ 729777/2527333044001571570070393299704204943947*c_1010_5^10 + 174962068619593667171356704834335567038351/505466608800314314014078\ 6599408409887894*c_1010_5^9 + 8139052208622823925365161153865800536\ 41993/5054666088003143140140786599408409887894*c_1010_5^8 - 1240656260607699325202801722704954538599723/50546660880031431401407\ 86599408409887894*c_1010_5^7 + 667658836737046455966891797167463947\ 799071/5054666088003143140140786599408409887894*c_1010_5^6 + 132298427785760310105074901650834918344633/252733304400157157007039\ 3299704204943947*c_1010_5^5 - 4334794891171832158641816082451886156\ 09917/5054666088003143140140786599408409887894*c_1010_5^4 + 106346733801086464825105334354470613538872/252733304400157157007039\ 3299704204943947*c_1010_5^3 - 4450376718323087400533194338828523280\ 8253/5054666088003143140140786599408409887894*c_1010_5^2 + 10308736865361155108259398950512109644133/2527333044001571570070393\ 299704204943947*c_1010_5 - 93421145622276585980016320796339158855/5\ 054666088003143140140786599408409887894, c_0011_3 - 265001546567606279940636704679319982969/50546660880031431401\ 40786599408409887894*c_1010_5^18 - 4410556040714628973676891633723347576331/25273330440015715700703932\ 99704204943947*c_1010_5^17 + 86715596737999174391007725373055930032\ /11133625744500315286653714976670506361*c_1010_5^16 - 5762735165161912642026652812684695166189/25273330440015715700703932\ 99704204943947*c_1010_5^15 - 35315853779388218550983145265545024680\ 503/5054666088003143140140786599408409887894*c_1010_5^14 - 131662815621900121965237016926151399277389/252733304400157157007039\ 3299704204943947*c_1010_5^13 + 228777416622984922221207259149269871\ 316256/2527333044001571570070393299704204943947*c_1010_5^12 - 436666907752235377342690610051222020989891/252733304400157157007039\ 3299704204943947*c_1010_5^11 + 248445119426637245493033292441739710\ 234554/2527333044001571570070393299704204943947*c_1010_5^10 + 28418873189431373504032307329369096320793/5054666088003143140140786\ 599408409887894*c_1010_5^9 - 63242121137577277485715541921936021523\ 2829/5054666088003143140140786599408409887894*c_1010_5^8 + 802563395025552304863624335663042457624329/505466608800314314014078\ 6599408409887894*c_1010_5^7 - 2763046631453231431611287398665030827\ 51815/5054666088003143140140786599408409887894*c_1010_5^6 - 153709198672577466677788781858692660749725/252733304400157157007039\ 3299704204943947*c_1010_5^5 + 2736070101675231701363712532973866100\ 58931/5054666088003143140140786599408409887894*c_1010_5^4 - 32964696903797011762925036736065346253903/2527333044001571570070393\ 299704204943947*c_1010_5^3 + 70926468948972273107159615247727920695\ 83/5054666088003143140140786599408409887894*c_1010_5^2 - 4392614144041883800859907781245945482680/25273330440015715700703932\ 99704204943947*c_1010_5 + 2596284911811905965881201403545890375171/\ 5054666088003143140140786599408409887894, c_0011_5 + 114760669575207605581512315239282531179/50546660880031431401\ 40786599408409887894*c_1010_5^18 + 1948028827083584134239365363033342056418/25273330440015715700703932\ 99704204943947*c_1010_5^17 - 31940044793983433286887694287212929253\ /11133625744500315286653714976670506361*c_1010_5^16 - 2853242527781028338368308275574489158143/25273330440015715700703932\ 99704204943947*c_1010_5^15 + 16047449935842863088940592654163662129\ 903/5054666088003143140140786599408409887894*c_1010_5^14 + 62137188074579951902077538884077012707757/2527333044001571570070393\ 299704204943947*c_1010_5^13 - 5976150181410724030394100488634104922\ 4372/2527333044001571570070393299704204943947*c_1010_5^12 + 133028929169174696123716042912850312845900/252733304400157157007039\ 3299704204943947*c_1010_5^11 + 367092648395998862357303049710745234\ 0920/2527333044001571570070393299704204943947*c_1010_5^10 - 108663092648635439420553175293383120179795/505466608800314314014078\ 6599408409887894*c_1010_5^9 + 2414717818559216247501292115987816231\ 03717/5054666088003143140140786599408409887894*c_1010_5^8 - 186110655282454752740436718275071600026495/505466608800314314014078\ 6599408409887894*c_1010_5^7 - 8391328285929753157234067245756747018\ 8799/5054666088003143140140786599408409887894*c_1010_5^6 + 81550169514202645324115814772599441434071/2527333044001571570070393\ 299704204943947*c_1010_5^5 - 34853762068125326735755695417299122496\ 933/5054666088003143140140786599408409887894*c_1010_5^4 - 14808113670764879709610650944772528622257/2527333044001571570070393\ 299704204943947*c_1010_5^3 + 10407625396863070103568052479242105234\ 069/5054666088003143140140786599408409887894*c_1010_5^2 - 1421485592497199376706170882066561176533/25273330440015715700703932\ 99704204943947*c_1010_5 - 711647731754980646220584878986981682767/5\ 054666088003143140140786599408409887894, c_0101_0 - 246012375698046139527356965515620849258/25273330440015715700\ 70393299704204943947*c_1010_5^18 - 8143402783048557358209839178970415516761/25273330440015715700703932\ 99704204943947*c_1010_5^17 + 16750695718730650805349287537718185599\ 2/11133625744500315286653714976670506361*c_1010_5^16 - 18896889291540517452849685033754611574095/2527333044001571570070393\ 299704204943947*c_1010_5^15 - 2508245818052542255708489604948054769\ 2705/2527333044001571570070393299704204943947*c_1010_5^14 - 238036587126199757213390869946194270241583/252733304400157157007039\ 3299704204943947*c_1010_5^13 + 464513200597397109974967983637998162\ 818399/2527333044001571570070393299704204943947*c_1010_5^12 - 932884138994333503474816215196496518904485/252733304400157157007039\ 3299704204943947*c_1010_5^11 + 667775397170251870038924172133732703\ 861791/2527333044001571570070393299704204943947*c_1010_5^10 - 177483604556728024372164568042446921899379/252733304400157157007039\ 3299704204943947*c_1010_5^9 - 5635785609981136114328074197656517384\ 38626/2527333044001571570070393299704204943947*c_1010_5^8 + 872638456055199813762448347998736595973706/252733304400157157007039\ 3299704204943947*c_1010_5^7 - 5041645825499907520680185237510228804\ 04986/2527333044001571570070393299704204943947*c_1010_5^6 - 145746302048460928216898573089804085896573/252733304400157157007039\ 3299704204943947*c_1010_5^5 + 2913364069579658160162116930064439405\ 16308/2527333044001571570070393299704204943947*c_1010_5^4 - 171215613856811708526579106274180069944730/252733304400157157007039\ 3299704204943947*c_1010_5^3 + 4844827621878898948713212330054232384\ 9399/2527333044001571570070393299704204943947*c_1010_5^2 - 14673570071469905121884457243283146190472/2527333044001571570070393\ 299704204943947*c_1010_5 - 547988454249522901706690212617692539717/\ 2527333044001571570070393299704204943947, c_0101_11 + 341580847831608602416113379994806085783/5054666088003143140\ 140786599408409887894*c_1010_5^18 + 5645483125050109211306779886556169999611/25273330440015715700703932\ 99704204943947*c_1010_5^17 - 11753239713612011903135815479463731820\ 5/11133625744500315286653714976670506361*c_1010_5^16 + 13712034737488581350172349468637246818229/2527333044001571570070393\ 299704204943947*c_1010_5^15 + 3888313209442955026728580417081326030\ 8477/5054666088003143140140786599408409887894*c_1010_5^14 + 164272323959814221382109318879824317963930/252733304400157157007039\ 3299704204943947*c_1010_5^13 - 332506656877845842776503868587149552\ 438353/2527333044001571570070393299704204943947*c_1010_5^12 + 643337616244193846168930514509610597003943/252733304400157157007039\ 3299704204943947*c_1010_5^11 - 466565957564186623560578305886425408\ 729777/2527333044001571570070393299704204943947*c_1010_5^10 + 174962068619593667171356704834335567038351/505466608800314314014078\ 6599408409887894*c_1010_5^9 + 8139052208622823925365161153865800536\ 41993/5054666088003143140140786599408409887894*c_1010_5^8 - 1240656260607699325202801722704954538599723/50546660880031431401407\ 86599408409887894*c_1010_5^7 + 667658836737046455966891797167463947\ 799071/5054666088003143140140786599408409887894*c_1010_5^6 + 132298427785760310105074901650834918344633/252733304400157157007039\ 3299704204943947*c_1010_5^5 - 4334794891171832158641816082451886156\ 09917/5054666088003143140140786599408409887894*c_1010_5^4 + 106346733801086464825105334354470613538872/252733304400157157007039\ 3299704204943947*c_1010_5^3 - 4450376718323087400533194338828523280\ 8253/5054666088003143140140786599408409887894*c_1010_5^2 + 10308736865361155108259398950512109644133/2527333044001571570070393\ 299704204943947*c_1010_5 - 93421145622276585980016320796339158855/5\ 054666088003143140140786599408409887894, c_0101_12 - 1127610882093226760665265888848347010919/505466608800314314\ 0140786599408409887894*c_1010_5^18 - 18617675085672280779693004037248249057469/2527333044001571570070393\ 299704204943947*c_1010_5^17 + 3908162566952496277482358713619374614\ 65/11133625744500315286653714976670506361*c_1010_5^16 - 47714998354567636059216158702225223241063/2527333044001571570070393\ 299704204943947*c_1010_5^15 - 1296380891514239768600017198906976612\ 85171/5054666088003143140140786599408409887894*c_1010_5^14 - 539849052650854638690337779910223912379238/252733304400157157007039\ 3299704204943947*c_1010_5^13 + 111805166092910926676196057068044845\ 4314905/2527333044001571570070393299704204943947*c_1010_5^12 - 2145898725455842437201732226002019131663560/25273330440015715700703\ 93299704204943947*c_1010_5^11 + 15882509031048689295433865898789298\ 29441624/2527333044001571570070393299704204943947*c_1010_5^10 - 588351368837645622230934768359639172751299/505466608800314314014078\ 6599408409887894*c_1010_5^9 - 2696793418179384660445702179239136315\ 511009/5054666088003143140140786599408409887894*c_1010_5^8 + 4166292432158805372624977058305991528662227/50546660880031431401407\ 86599408409887894*c_1010_5^7 - 223003813069637810127571801707660815\ 2589947/5054666088003143140140786599408409887894*c_1010_5^6 - 445102307708321075710402000318931683199007/252733304400157157007039\ 3299704204943947*c_1010_5^5 + 1507854204255563155592140020705446539\ 866869/5054666088003143140140786599408409887894*c_1010_5^4 - 348316219879986234469197869054961788862394/252733304400157157007039\ 3299704204943947*c_1010_5^3 + 1415845091087044936285200074576292838\ 04423/5054666088003143140140786599408409887894*c_1010_5^2 - 22126564910116583341119965874274540023728/2527333044001571570070393\ 299704204943947*c_1010_5 + 1349344511896743220843890917267434735751\ /5054666088003143140140786599408409887894, c_0101_13 - 1626396425366019791897276906693215570681/101093321760062862\ 80281573198816819775788*c_1010_5^18 - 13482633926779126375611016396729790293432/2527333044001571570070393\ 299704204943947*c_1010_5^17 + 5470585145422536491677352411955329937\ 95/22267251489000630573307429953341012722*c_1010_5^16 - 26722108702260984241947183397513670867071/2527333044001571570070393\ 299704204943947*c_1010_5^15 - 1888773675994914819262444815059447873\ 93857/10109332176006286280281573198816819775788*c_1010_5^14 - 788721287126711732470356415606647394761081/505466608800314314014078\ 6599408409887894*c_1010_5^13 + 149710987405426830346300506981879756\ 5173763/5054666088003143140140786599408409887894*c_1010_5^12 - 1472512320271114100207143267535328204431826/25273330440015715700703\ 93299704204943947*c_1010_5^11 + 96658227194929445671539105959087222\ 1511925/2527333044001571570070393299704204943947*c_1010_5^10 - 555498441285306520507320730710571819678949/101093321760062862802815\ 73198816819775788*c_1010_5^9 - 398319743437243239005686365296466132\ 8379385/10109332176006286280281573198816819775788*c_1010_5^8 + 5544651491605341608995349933475926798663951/10109332176006286280281\ 573198816819775788*c_1010_5^7 - 26672527668487573963239852103797529\ 42881387/10109332176006286280281573198816819775788*c_1010_5^6 - 369327501284360830392731616268106383263371/252733304400157157007039\ 3299704204943947*c_1010_5^5 + 2033127927941987298015500794110765353\ 985451/10109332176006286280281573198816819775788*c_1010_5^4 - 212813787967307366522966174798870151479158/252733304400157157007039\ 3299704204943947*c_1010_5^3 + 1184036805930732541537298556706005856\ 32189/10109332176006286280281573198816819775788*c_1010_5^2 - 19225246730377472128711574001277501345305/5054666088003143140140786\ 599408409887894*c_1010_5 - 1110141608558265191174760057809808987573\ /10109332176006286280281573198816819775788, c_0101_4 - 1, c_0101_6 + 23671427679317375702227442695693190942/252733304400157157007\ 0393299704204943947*c_1010_5^18 + 825194807316551994316215161919695\ 776116/2527333044001571570070393299704204943947*c_1010_5^17 - 9947883331747712440328567111545407346/11133625744500315286653714976\ 670506361*c_1010_5^16 - 3864424868899574580302172471388804618348/25\ 27333044001571570070393299704204943947*c_1010_5^15 + 2485709333458576731801532159151390415655/25273330440015715700703932\ 99704204943947*c_1010_5^14 + 27421901001639033350081065877910775208\ 992/2527333044001571570070393299704204943947*c_1010_5^13 - 2018298891182535091836054083865582092457/25273330440015715700703932\ 99704204943947*c_1010_5^12 + 34442621703894122079572066721293899028\ 994/2527333044001571570070393299704204943947*c_1010_5^11 + 61871454120456050268021436275251346036997/2527333044001571570070393\ 299704204943947*c_1010_5^10 - 2647766176662523589840116031861931308\ 5130/2527333044001571570070393299704204943947*c_1010_5^9 + 51548262568258176108076562792555097724897/2527333044001571570070393\ 299704204943947*c_1010_5^8 + 13778268328130337843856950052931924664\ 601/2527333044001571570070393299704204943947*c_1010_5^7 - 58107100154710405707853782421704895872184/2527333044001571570070393\ 299704204943947*c_1010_5^6 + 40090600539542114722216252556001702915\ 919/2527333044001571570070393299704204943947*c_1010_5^5 + 9742821629279836702992480277170225955831/25273330440015715700703932\ 99704204943947*c_1010_5^4 - 192954758913640588643319201599564787627\ 73/2527333044001571570070393299704204943947*c_1010_5^3 + 9305802099172281250543808953420353559528/25273330440015715700703932\ 99704204943947*c_1010_5^2 - 216009570508051901909385005071188170677\ /2527333044001571570070393299704204943947*c_1010_5 - 779263777915221545270755766563166695784/252733304400157157007039329\ 9704204943947, c_1001_12 + 898936052982779190985465984241437131123/1010933217600628628\ 0281573198816819775788*c_1010_5^18 + 7475522785926394627213376262221480639186/25273330440015715700703932\ 99704204943947*c_1010_5^17 - 29556332151830584149936948587812978002\ 9/22267251489000630573307429953341012722*c_1010_5^16 + 11003533217555326380322307172901713232815/2527333044001571570070393\ 299704204943947*c_1010_5^15 + 1120435340538650570535052008150297588\ 58191/10109332176006286280281573198816819775788*c_1010_5^14 + 444086417190374505584689153544951077036495/505466608800314314014078\ 6599408409887894*c_1010_5^13 - 782875255187589615066078713784076353\ 415379/5054666088003143140140786599408409887894*c_1010_5^12 + 764062588632564518829015575448825087010729/252733304400157157007039\ 3299704204943947*c_1010_5^11 - 452970491849827951443875032731300597\ 712440/2527333044001571570070393299704204943947*c_1010_5^10 + 73553349028240415501341296900061039106887/1010933217600628628028157\ 3198816819775788*c_1010_5^9 + 2144436549602288788401742348577121061\ 991775/10109332176006286280281573198816819775788*c_1010_5^8 - 2804857856763992067053321864654405069200261/10109332176006286280281\ 573198816819775788*c_1010_5^7 + 11207729066960359515045403260390071\ 36856209/10109332176006286280281573198816819775788*c_1010_5^6 + 233367117941263873791578601591797860164641/252733304400157157007039\ 3299704204943947*c_1010_5^5 - 9704595390501559416806125454307048490\ 84317/10109332176006286280281573198816819775788*c_1010_5^4 + 80637893700678589725653588773404379624496/2527333044001571570070393\ 299704204943947*c_1010_5^3 - 43577185244882404108044932900617316695\ 835/10109332176006286280281573198816819775788*c_1010_5^2 + 11687424743325922486812921310869151141071/5054666088003143140140786\ 599408409887894*c_1010_5 + 1273868468205785704961594293113211037647\ /10109332176006286280281573198816819775788, c_1010_5^19 + 33*c_1010_5^18 - 158*c_1010_5^17 + 90*c_1010_5^16 + 105*c_1010_5^15 + 955*c_1010_5^14 - 1996*c_1010_5^13 + 3910*c_1010_5^12 - 2980*c_1010_5^11 + 753*c_1010_5^10 + 2322*c_1010_5^9 - 3770*c_1010_5^8 + 2192*c_1010_5^7 + 599*c_1010_5^6 - 1331*c_1010_5^5 + 713*c_1010_5^4 - 181*c_1010_5^3 + 53*c_1010_5^2 - 5*c_1010_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.590 Total time: 0.800 seconds, Total memory usage: 32.09MB