Magma V2.19-8 Tue Aug 20 2013 23:52:46 on localhost [Seed = 3381633560] Type ? for help. Type -D to quit. Loading file "K12n294__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n294 geometric_solution 11.97272141 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 0213 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 1 -1 1 0 0 -1 -8 8 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.362343159726 1.121663688240 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 -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 -1 9 -8 -1 0 0 1 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.187474225495 1.650150554494 7 0 5 0 0132 0132 1230 0213 0 0 0 0 0 0 0 0 -1 0 1 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 9 0 -9 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.362343159726 1.121663688240 8 9 9 0 0132 0132 0321 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 0 0 -1 0 0 1 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619386016333 1.171481131106 8 1 10 9 3201 0132 0132 0213 0 0 0 0 0 0 0 0 -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 1 0 -1 9 0 -9 0 0 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.491827062966 0.471226878119 6 11 1 2 2103 0132 0132 3012 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -8 0 0 -1 1 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.071054969262 0.887791677111 7 10 5 1 2310 0213 2103 0132 0 0 0 0 0 0 -1 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 9 -9 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.421116229901 0.357326322323 2 8 6 12 0132 3201 3201 0132 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 1 0 -1 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562119373221 0.773274524183 3 12 7 4 0132 1302 2310 2310 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 0 0 0 8 1 0 -9 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.240165221837 0.487749172296 10 3 3 4 0132 0132 0321 0213 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 1 0 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 0 0.619386016333 1.171481131106 9 11 6 4 0132 0321 0213 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715067259859 0.454535892493 12 5 12 10 1023 0132 3201 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707831086108 0.670211721276 11 11 7 8 2310 1023 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 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.786412750847 0.567877133670 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_0101_12']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_1001_4'], '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'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_6'], 's_2_0' : 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' : negation(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' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0110_5']), 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_0110_5']), 'c_1100_1' : negation(d['c_0110_5']), 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_0110_5'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : d['c_1001_1'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0101_12']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_0011_6'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : 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' : negation(d['1']), 's_1_1' : 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_10']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], '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' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0101_3']), 'c_0110_12' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_3']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0101_12'], 'c_1100_8' : d['c_0011_0'], 's_2_9' : d['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_6, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_3, c_0110_5, c_1001_0, c_1001_1, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 66017034389939/14542593261872*c_1001_4^11 - 2905435444167/501468733168*c_1001_4^10 - 318622981069407/3635648315468*c_1001_4^9 + 2772257678527307/14542593261872*c_1001_4^8 + 2144487887387389/14542593261872*c_1001_4^7 - 6693395967724543/14542593261872*c_1001_4^6 - 19649552659471/3635648315468*c_1001_4^5 + 8937264247079969/14542593261872*c_1001_4^4 - 4709394237558125/14542593261872*c_1001_4^3 - 2183657231599677/14542593261872*c_1001_4^2 + 33088913283629/279665255036*c_1001_4 + 263244913366223/14542593261872, c_0011_0 - 1, c_0011_10 + 7606928118/31341795823*c_1001_4^11 - 4572711563/31341795823*c_1001_4^10 - 156522593581/31341795823*c_1001_4^9 + 223651828397/31341795823*c_1001_4^8 + 525961695875/31341795823*c_1001_4^7 - 723173431054/31341795823*c_1001_4^6 - 700875473644/31341795823*c_1001_4^5 + 1354937867003/31341795823*c_1001_4^4 + 347842039995/31341795823*c_1001_4^3 - 1071128858054/31341795823*c_1001_4^2 + 2696354088/2410907371*c_1001_4 + 379539827209/31341795823, c_0011_11 - 6713908789/31341795823*c_1001_4^11 + 4294473088/31341795823*c_1001_4^10 + 139093970038/31341795823*c_1001_4^9 - 203038095900/31341795823*c_1001_4^8 - 478863540696/31341795823*c_1001_4^7 + 681921247427/31341795823*c_1001_4^6 + 668644791326/31341795823*c_1001_4^5 - 1294725075391/31341795823*c_1001_4^4 - 352623566066/31341795823*c_1001_4^3 + 1097631896080/31341795823*c_1001_4^2 - 903642033/2410907371*c_1001_4 - 405613745306/31341795823, c_0011_6 + 3997797113/31341795823*c_1001_4^11 - 2826513996/31341795823*c_1001_4^10 - 82837409631/31341795823*c_1001_4^9 + 126717052187/31341795823*c_1001_4^8 + 280419312536/31341795823*c_1001_4^7 - 432809642869/31341795823*c_1001_4^6 - 375346081384/31341795823*c_1001_4^5 + 805243711952/31341795823*c_1001_4^4 + 179138785437/31341795823*c_1001_4^3 - 671669781940/31341795823*c_1001_4^2 + 2924136907/2410907371*c_1001_4 + 242849054381/31341795823, c_0101_0 - 3997797113/31341795823*c_1001_4^11 + 2826513996/31341795823*c_1001_4^10 + 82837409631/31341795823*c_1001_4^9 - 126717052187/31341795823*c_1001_4^8 - 280419312536/31341795823*c_1001_4^7 + 432809642869/31341795823*c_1001_4^6 + 375346081384/31341795823*c_1001_4^5 - 805243711952/31341795823*c_1001_4^4 - 179138785437/31341795823*c_1001_4^3 + 671669781940/31341795823*c_1001_4^2 - 2924136907/2410907371*c_1001_4 - 242849054381/31341795823, c_0101_1 + 7606928118/31341795823*c_1001_4^11 - 4572711563/31341795823*c_1001_4^10 - 156522593581/31341795823*c_1001_4^9 + 223651828397/31341795823*c_1001_4^8 + 525961695875/31341795823*c_1001_4^7 - 723173431054/31341795823*c_1001_4^6 - 700875473644/31341795823*c_1001_4^5 + 1354937867003/31341795823*c_1001_4^4 + 347842039995/31341795823*c_1001_4^3 - 1071128858054/31341795823*c_1001_4^2 + 2696354088/2410907371*c_1001_4 + 348198031386/31341795823, c_0101_11 + 8556513236/31341795823*c_1001_4^11 - 5349838501/31341795823*c_1001_4^10 - 177221470584/31341795823*c_1001_4^9 + 255384043367/31341795823*c_1001_4^8 + 611381851677/31341795823*c_1001_4^7 - 841113955792/31341795823*c_1001_4^6 - 866324413683/31341795823*c_1001_4^5 + 1568302246294/31341795823*c_1001_4^4 + 481115202205/31341795823*c_1001_4^3 - 1318544406674/31341795823*c_1001_4^2 - 1640865421/2410907371*c_1001_4 + 486095912469/31341795823, c_0101_12 + 6737285338/31341795823*c_1001_4^11 - 1767067067/31341795823*c_1001_4^10 - 140602595480/31341795823*c_1001_4^9 + 151924156492/31341795823*c_1001_4^8 + 544217325238/31341795823*c_1001_4^7 - 510598492457/31341795823*c_1001_4^6 - 850343442557/31341795823*c_1001_4^5 + 1078336457853/31341795823*c_1001_4^4 + 665598313287/31341795823*c_1001_4^3 - 995292428622/31341795823*c_1001_4^2 - 11956615771/2410907371*c_1001_4 + 397988323789/31341795823, c_0101_3 + 3609131005/31341795823*c_1001_4^11 - 1746197567/31341795823*c_1001_4^10 - 73685183950/31341795823*c_1001_4^9 + 96934776210/31341795823*c_1001_4^8 + 245542383339/31341795823*c_1001_4^7 - 290363788185/31341795823*c_1001_4^6 - 325529392260/31341795823*c_1001_4^5 + 549694155051/31341795823*c_1001_4^4 + 168703254558/31341795823*c_1001_4^3 - 399459076114/31341795823*c_1001_4^2 - 227782819/2410907371*c_1001_4 + 136690772828/31341795823, c_0110_5 - 3081185444/31341795823*c_1001_4^11 + 685342083/31341795823*c_1001_4^10 + 64552977360/31341795823*c_1001_4^9 - 67596615085/31341795823*c_1001_4^8 - 256118662546/31341795823*c_1001_4^7 + 240211803458/31341795823*c_1001_4^6 + 403201907726/31341795823*c_1001_4^5 - 522370711696/31341795823*c_1001_4^4 - 335612879297/31341795823*c_1001_4^3 + 500267286812/31341795823*c_1001_4^2 + 6630437850/2410907371*c_1001_4 - 210118231374/31341795823, c_1001_0 + 4409850283/31341795823*c_1001_4^11 - 2851541480/31341795823*c_1001_4^10 - 90130260642/31341795823*c_1001_4^9 + 133584815397/31341795823*c_1001_4^8 + 289407806516/31341795823*c_1001_4^7 - 421547026984/31341795823*c_1001_4^6 - 362008293377/31341795823*c_1001_4^5 + 787216479893/31341795823*c_1001_4^4 + 152375191465/31341795823*c_1001_4^3 - 619796320445/31341795823*c_1001_4^2 + 3208843421/2410907371*c_1001_4 + 223033482354/31341795823, c_1001_1 + 4409850283/31341795823*c_1001_4^11 - 2851541480/31341795823*c_1001_4^10 - 90130260642/31341795823*c_1001_4^9 + 133584815397/31341795823*c_1001_4^8 + 289407806516/31341795823*c_1001_4^7 - 421547026984/31341795823*c_1001_4^6 - 362008293377/31341795823*c_1001_4^5 + 787216479893/31341795823*c_1001_4^4 + 152375191465/31341795823*c_1001_4^3 - 619796320445/31341795823*c_1001_4^2 + 3208843421/2410907371*c_1001_4 + 223033482354/31341795823, c_1001_4^12 - 21*c_1001_4^10 + 17*c_1001_4^9 + 88*c_1001_4^8 - 54*c_1001_4^7 - 153*c_1001_4^6 + 123*c_1001_4^5 + 156*c_1001_4^4 - 118*c_1001_4^3 - 83*c_1001_4^2 + 53*c_1001_4 + 29 ], 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_6, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_3, c_0110_5, c_1001_0, c_1001_1, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 28118806248735294284787519526980555148291947965651935537/1703708845\ 0314300220644992274741656214624102225414620*c_1001_4^21 - 56910732816093339102161548236966709279893252027647436041/1192596191\ 52200101544514945923191593502368715577902340*c_1001_4^20 + 1493185711081889499819290189638363716935167488614545988083/20870433\ 3516350177702901155365585288629145252261329095*c_1001_4^19 + 5620079063410922084331846224261049460925920066191504493473/83481733\ 4065400710811604621462341154516581009045316380*c_1001_4^18 + 763697454107267967097080760662111288290516830183459024687/208704333\ 516350177702901155365585288629145252261329095*c_1001_4^17 - 27057316254439947547818722608238797220031047734075690073/9173816857\ 861546272654995840245507192489901198300180*c_1001_4^16 - 10174203356776365109676319139378160001591272031829491936831/8348173\ 34065400710811604621462341154516581009045316380*c_1001_4^15 + 2346987615468356691811658611086139892533897988868086969093/20870433\ 3516350177702901155365585288629145252261329095*c_1001_4^14 + 4094287523181889672208628634400452553743448429723985492491/41740866\ 703270035540580231073117057725829050452265819*c_1001_4^13 - 46127350715222885717044101547704062717517152429273966224517/2087043\ 33516350177702901155365585288629145252261329095*c_1001_4^12 + 29740479674264358188130527965840790215971955774405391811269/2087043\ 33516350177702901155365585288629145252261329095*c_1001_4^11 + 122764447258870776395361742748879312566190341992246850493741/417408\ 667032700355405802310731170577258290504522658190*c_1001_4^10 - 92015192067213685782439177629866084684673652448688044820888/2087043\ 33516350177702901155365585288629145252261329095*c_1001_4^9 - 20703115814153746282194928254231796124013594754615662709007/8348173\ 34065400710811604621462341154516581009045316380*c_1001_4^8 + 58069220118582367939427599753935699539120069424193432262985/1669634\ 66813080142162320924292468230903316201809063276*c_1001_4^7 - 25157538377580043113747236765127498590537256811405556406912/2087043\ 33516350177702901155365585288629145252261329095*c_1001_4^6 - 21218440207864943957375911096808250694338137547958005022364/2087043\ 33516350177702901155365585288629145252261329095*c_1001_4^5 + 2455544427931387072949261838817809361943004950296087290985/41740866\ 703270035540580231073117057725829050452265819*c_1001_4^4 + 357203775597569710959366645268588905196634320894584551761/417408667\ 03270035540580231073117057725829050452265819*c_1001_4^3 - 499628990006522288976766035132573763687862343939266580737/642167180\ 05030823908584970881718550347429308388101260*c_1001_4^2 - 4417193520351425451935451545123914759917026983712186517/83481733406\ 5400710811604621462341154516581009045316380*c_1001_4 - 7608361802787699603246348334678337018005077756093910180/41740866703\ 270035540580231073117057725829050452265819, c_0011_0 - 1, c_0011_10 + 520943739568664497991928018779981424076488399447/9552079193\ 94163501942419391945596334078498667045*c_1001_4^21 + 721941611598076521457300643979208016930928026506/955207919394163501\ 942419391945596334078498667045*c_1001_4^20 + 12523467707563268403673540434705112526870402705669/6686455435759144\ 513596935743619174338549490669315*c_1001_4^19 + 38896252695821172492033818118151024726122659866001/6686455435759144\ 513596935743619174338549490669315*c_1001_4^18 + 4817040613580142201005167394455865212162951697333/13372910871518289\ 02719387148723834867709898133863*c_1001_4^17 - 1794735977119178603385821425332346818945454708361/95520791939416350\ 1942419391945596334078498667045*c_1001_4^16 - 13537930574552497841665782065484529655109271800722/1337291087151828\ 902719387148723834867709898133863*c_1001_4^15 - 44145894630184333794723090844336859866376240163119/6686455435759144\ 513596935743619174338549490669315*c_1001_4^14 + 254217549067730927990470867845336287591133147288203/668645543575914\ 4513596935743619174338549490669315*c_1001_4^13 - 117936737435866347164737550863253372160465367945932/668645543575914\ 4513596935743619174338549490669315*c_1001_4^12 - 589809515598297371529889805476328267918038461319994/668645543575914\ 4513596935743619174338549490669315*c_1001_4^11 + 1205414182697243066075407068942766283233657367465671/66864554357591\ 44513596935743619174338549490669315*c_1001_4^10 + 184829967955385819945631449936082186314653990200283/668645543575914\ 4513596935743619174338549490669315*c_1001_4^9 - 1892353418553221221235089539120193280744894133067143/66864554357591\ 44513596935743619174338549490669315*c_1001_4^8 + 444649717799202985611166697869474756065798064678212/668645543575914\ 4513596935743619174338549490669315*c_1001_4^7 + 1288360477903190177918304330048079278890981586683843/66864554357591\ 44513596935743619174338549490669315*c_1001_4^6 - 535618548584931563907939618813728355917935302636856/668645543575914\ 4513596935743619174338549490669315*c_1001_4^5 - 89554806199650112012748531230023006518471166181197/1337291087151828\ 902719387148723834867709898133863*c_1001_4^4 + 213376710534025409774586155494198056419181980986769/668645543575914\ 4513596935743619174338549490669315*c_1001_4^3 + 68641943713493588833376166378763378446687485495714/6686455435759144\ 513596935743619174338549490669315*c_1001_4^2 - 6272832011967050759909889657631113687996076020706/13372910871518289\ 02719387148723834867709898133863*c_1001_4 + 76840417256419788551206764717291076760758888487/1337291087151828902\ 719387148723834867709898133863, c_0011_11 + 6250762472698574008646741285851613457022590987639/955207919\ 394163501942419391945596334078498667045*c_1001_4^21 - 2030277259999392341220389821433058201407118639761/95520791939416350\ 1942419391945596334078498667045*c_1001_4^20 + 180609635134232699756810033466377491481834555146169/668645543575914\ 4513596935743619174338549490669315*c_1001_4^19 + 170045905082305411785207760816966416284516124933662/668645543575914\ 4513596935743619174338549490669315*c_1001_4^18 + 47796116596471778938094680561882257934686330145401/6686455435759144\ 513596935743619174338549490669315*c_1001_4^17 - 20220253655846623991494981856162917861812560170289/9552079193941635\ 01942419391945596334078498667045*c_1001_4^16 - 369877093756747963490001007440583422868381724555511/668645543575914\ 4513596935743619174338549490669315*c_1001_4^15 + 292914913043200042901396156644809294805174270956656/668645543575914\ 4513596935743619174338549490669315*c_1001_4^14 + 2657582151206114096753616197705105873887417434665746/66864554357591\ 44513596935743619174338549490669315*c_1001_4^13 - 5980577500648874305592631579735535693848865764167901/66864554357591\ 44513596935743619174338549490669315*c_1001_4^12 + 3429634832565636313236878031138988503648639109438193/66864554357591\ 44513596935743619174338549490669315*c_1001_4^11 + 8683569428012278460647180180737994443901319570979084/66864554357591\ 44513596935743619174338549490669315*c_1001_4^10 - 12384231472543246012814133956190152637054625615323976/6686455435759\ 144513596935743619174338549490669315*c_1001_4^9 - 417762486788411444688486505589011145220721056738105/133729108715182\ 8902719387148723834867709898133863*c_1001_4^8 + 11175175355117433399114925089787353354874396070384897/6686455435759\ 144513596935743619174338549490669315*c_1001_4^7 - 3103017521958597572807958364343768432967422477078774/66864554357591\ 44513596935743619174338549490669315*c_1001_4^6 - 4028937651210202533076471941817981441065786772583354/66864554357591\ 44513596935743619174338549490669315*c_1001_4^5 + 2172313019984319852905743062008405215045189339772852/66864554357591\ 44513596935743619174338549490669315*c_1001_4^4 + 72574486219506280238857765437300091899759883418931/1337291087151828\ 902719387148723834867709898133863*c_1001_4^3 - 387803084749871594601428910411042614438429500234116/668645543575914\ 4513596935743619174338549490669315*c_1001_4^2 + 12241551909426159108732398546202898967936328872746/1337291087151828\ 902719387148723834867709898133863*c_1001_4 - 2358134030882845555601742330118905432910186640646/13372910871518289\ 02719387148723834867709898133863, c_0011_6 - 3186051158995037846271429435676230500947832721417/9552079193\ 94163501942419391945596334078498667045*c_1001_4^21 + 900157438348165178545655806828873473179354868967/955207919394163501\ 942419391945596334078498667045*c_1001_4^20 - 18370879157768060232773782991005898694815880106825/1337291087151828\ 902719387148723834867709898133863*c_1001_4^19 - 87951991418508119516055494290175316677038844959931/6686455435759144\ 513596935743619174338549490669315*c_1001_4^18 - 30375369609576451262250856403320902135348026112256/6686455435759144\ 513596935743619174338549490669315*c_1001_4^17 + 11779915126491891681001657142883181385135423434883/9552079193941635\ 01942419391945596334078498667045*c_1001_4^16 + 195970186232744091095896954139254465154862497036111/668645543575914\ 4513596935743619174338549490669315*c_1001_4^15 - 27762347523013260570742446826911752617942787991305/1337291087151828\ 902719387148723834867709898133863*c_1001_4^14 - 1370383398835317134296967446876611250256712194743913/66864554357591\ 44513596935743619174338549490669315*c_1001_4^13 + 2971216919056790132905796982546892973760912071170494/66864554357591\ 44513596935743619174338549490669315*c_1001_4^12 - 1602822049096565097734036009142166100544915522952742/66864554357591\ 44513596935743619174338549490669315*c_1001_4^11 - 4340444670949576916959579235256779196229371892614908/66864554357591\ 44513596935743619174338549490669315*c_1001_4^10 + 5709289516889167055389819736780608060556640647518704/66864554357591\ 44513596935743619174338549490669315*c_1001_4^9 + 1701042434568502244383948508414085048534667325350532/66864554357591\ 44513596935743619174338549490669315*c_1001_4^8 - 1067983979986058515334667297853880756117211002123181/13372910871518\ 28902719387148723834867709898133863*c_1001_4^7 + 579859385782388581340402344688584030668316832325557/668645543575914\ 4513596935743619174338549490669315*c_1001_4^6 + 2307604219856030052425132334203301336140796710093403/66864554357591\ 44513596935743619174338549490669315*c_1001_4^5 - 592111695390654415027881542386227357756560258692427/668645543575914\ 4513596935743619174338549490669315*c_1001_4^4 - 496394121074229546567202156943751438303999479080916/668645543575914\ 4513596935743619174338549490669315*c_1001_4^3 + 27430027527787291772615539937481872509117781331821/1337291087151828\ 902719387148723834867709898133863*c_1001_4^2 + 10083141716364477735176510840572956899779533236540/1337291087151828\ 902719387148723834867709898133863*c_1001_4 - 1791651895103440745073751713772244857727619283124/13372910871518289\ 02719387148723834867709898133863, c_0101_0 + 49029218747906922613467228282402617653067062567/191041583878\ 832700388483878389119266815699733409*c_1001_4^21 - 319668659417090312252940752202110746484036676198/191041583878832700\ 388483878389119266815699733409*c_1001_4^20 + 1513507309256802738205933185008302499035114740440/13372910871518289\ 02719387148723834867709898133863*c_1001_4^19 - 8279982188580309645974250122104834167714113980954/13372910871518289\ 02719387148723834867709898133863*c_1001_4^18 - 10354896073314068163014768376504408184204344402917/1337291087151828\ 902719387148723834867709898133863*c_1001_4^17 - 1482082171179221015814395687765257519723915924477/19104158387883270\ 0388483878389119266815699733409*c_1001_4^16 - 1962239836256985328513969630834299252850282849254/13372910871518289\ 02719387148723834867709898133863*c_1001_4^15 + 17572717098923539748745528404982600584321021643549/1337291087151828\ 902719387148723834867709898133863*c_1001_4^14 + 12853677558153069477478052626588731939446721850769/1337291087151828\ 902719387148723834867709898133863*c_1001_4^13 - 171072070495567580544749807189306265846094311736028/133729108715182\ 8902719387148723834867709898133863*c_1001_4^12 + 279639979932663358346232518229016402006999129019347/133729108715182\ 8902719387148723834867709898133863*c_1001_4^11 - 77283026466778787931273359939546830517732455606743/1337291087151828\ 902719387148723834867709898133863*c_1001_4^10 - 448025355802427792295311083148189572532055818245303/133729108715182\ 8902719387148723834867709898133863*c_1001_4^9 + 405625488041277949736151449808886622417904921260622/133729108715182\ 8902719387148723834867709898133863*c_1001_4^8 + 191376283990787284552716939673129664897822543343198/133729108715182\ 8902719387148723834867709898133863*c_1001_4^7 - 360561355237317942112178251451967060206681281374095/133729108715182\ 8902719387148723834867709898133863*c_1001_4^6 + 38720038649217740365426983732443438215441156297733/1337291087151828\ 902719387148723834867709898133863*c_1001_4^5 + 122362763833133122182906844562933876352412044142015/133729108715182\ 8902719387148723834867709898133863*c_1001_4^4 - 43891894316835073067064908538917111744495407460253/1337291087151828\ 902719387148723834867709898133863*c_1001_4^3 - 11984892579035138221130110052144998330121372663138/1337291087151828\ 902719387148723834867709898133863*c_1001_4^2 + 8358720756536193765506799063731638832532748811449/13372910871518289\ 02719387148723834867709898133863*c_1001_4 - 401121989828795702776650634041496145426739239959/133729108715182890\ 2719387148723834867709898133863, c_0101_1 + 1675467406080166690299662407656252065305385870689/9552079193\ 94163501942419391945596334078498667045*c_1001_4^21 - 1560832016864386591663401316074805660392443337707/95520791939416350\ 1942419391945596334078498667045*c_1001_4^20 + 53913963472303585212193517407650446570740544316306/6686455435759144\ 513596935743619174338549490669315*c_1001_4^19 + 14624176660352032351698854924189679786115070922972/6686455435759144\ 513596935743619174338549490669315*c_1001_4^18 + 1016450980712532803660967006481944072989387170688/66864554357591445\ 13596935743619174338549490669315*c_1001_4^17 - 5154876763636902339624695911672395449238376558413/95520791939416350\ 1942419391945596334078498667045*c_1001_4^16 - 62832333205781773725164794833050200282320104128728/6686455435759144\ 513596935743619174338549490669315*c_1001_4^15 + 138363212953726283120666553067802838544622939619794/668645543575914\ 4513596935743619174338549490669315*c_1001_4^14 + 650747404577937726763481378350525397168537713530286/668645543575914\ 4513596935743619174338549490669315*c_1001_4^13 - 402039914933400056019152829107887454509496207159583/133729108715182\ 8902719387148723834867709898133863*c_1001_4^12 + 413107003566538591293075317064841155392894634349031/133729108715182\ 8902719387148723834867709898133863*c_1001_4^11 + 1311885888252762531826950857585677347643469218876823/66864554357591\ 44513596935743619174338549490669315*c_1001_4^10 - 853307074951010248939537640589462070817476603179722/133729108715182\ 8902719387148723834867709898133863*c_1001_4^9 + 1726043138776789273034193958247509479863827437078447/66864554357591\ 44513596935743619174338549490669315*c_1001_4^8 + 2577135426215169063649008053770046607824362591036308/66864554357591\ 44513596935743619174338549490669315*c_1001_4^7 - 2334843133758456619289202288244377894527626030844054/66864554357591\ 44513596935743619174338549490669315*c_1001_4^6 - 246900703784041707404512906426896904195747534631698/668645543575914\ 4513596935743619174338549490669315*c_1001_4^5 + 918251214592059687108824626113252046463066445484836/668645543575914\ 4513596935743619174338549490669315*c_1001_4^4 - 236842740635731703579390479481767538167825941598936/668645543575914\ 4513596935743619174338549490669315*c_1001_4^3 - 90721004270680048908218524071089273719168855817669/6686455435759144\ 513596935743619174338549490669315*c_1001_4^2 + 11171858869298626399320447797675519989862885553712/1337291087151828\ 902719387148723834867709898133863*c_1001_4 - 2817131243526961593353324011495743906966619765695/13372910871518289\ 02719387148723834867709898133863, c_0101_11 + 9113071589897131787654979804925937053070106928/191041583878\ 832700388483878389119266815699733409*c_1001_4^21 - 1514625064429505592709568394074780735482971015896/95520791939416350\ 1942419391945596334078498667045*c_1001_4^20 + 224008360044299280230822639536891065883156986446/955207919394163501\ 942419391945596334078498667045*c_1001_4^19 - 1294745831284932896762759559551614483494082975392/19104158387883270\ 0388483878389119266815699733409*c_1001_4^18 - 7779824848592369126892568735724886456950668037314/95520791939416350\ 1942419391945596334078498667045*c_1001_4^17 - 6352021210807199894755316361185289442245491744394/95520791939416350\ 1942419391945596334078498667045*c_1001_4^16 + 173491134750253549775701924766659318953119021469/955207919394163501\ 942419391945596334078498667045*c_1001_4^15 + 10626214225527199751445078481683261537055741523824/9552079193941635\ 01942419391945596334078498667045*c_1001_4^14 - 854015509761795045383765287342229426425171828704/191041583878832700\ 388483878389119266815699733409*c_1001_4^13 - 96143976697993958988625556266571632329140222761217/9552079193941635\ 01942419391945596334078498667045*c_1001_4^12 + 180225050947571954772277475948115265944450016531711/955207919394163\ 501942419391945596334078498667045*c_1001_4^11 - 82248330149303337160026026609640955256709615448533/9552079193941635\ 01942419391945596334078498667045*c_1001_4^10 - 283926188138834116109769386239197390901636302389792/955207919394163\ 501942419391945596334078498667045*c_1001_4^9 + 306250009872320095210229402949010380536165427517156/955207919394163\ 501942419391945596334078498667045*c_1001_4^8 + 109064265341403621050653421693794671323565462677183/955207919394163\ 501942419391945596334078498667045*c_1001_4^7 - 55435426675836222835601362392607540757981742208635/1910415838788327\ 00388483878389119266815699733409*c_1001_4^6 + 35412816260779215500675144756875539447204205238583/9552079193941635\ 01942419391945596334078498667045*c_1001_4^5 + 101964230871472087416066414033811629678225668904817/955207919394163\ 501942419391945596334078498667045*c_1001_4^4 - 34227032416073952812251738008951020098790678543003/9552079193941635\ 01942419391945596334078498667045*c_1001_4^3 - 13724046697950595304204517037154112680564499890474/9552079193941635\ 01942419391945596334078498667045*c_1001_4^2 + 1311251587781025346000984331043109304218330833780/19104158387883270\ 0388483878389119266815699733409*c_1001_4 + 94813426405854373365543006301105269406782443496/1910415838788327003\ 88483878389119266815699733409, c_0101_12 - 3845357377359318404677529044758061982128707335653/955207919\ 394163501942419391945596334078498667045*c_1001_4^21 + 365764815745990937527517656012587051622693355271/955207919394163501\ 942419391945596334078498667045*c_1001_4^20 - 116653809487309910545418051327792852403813933064816/668645543575914\ 4513596935743619174338549490669315*c_1001_4^19 - 133415731206149136696938450908768259757294798521389/668645543575914\ 4513596935743619174338549490669315*c_1001_4^18 - 17154866579836688793600122498134770104382051858384/1337291087151828\ 902719387148723834867709898133863*c_1001_4^17 + 3748219883794204559053992674549534556400586459934/95520791939416350\ 1942419391945596334078498667045*c_1001_4^16 + 41015106680880032774782199644278826558290981375950/1337291087151828\ 902719387148723834867709898133863*c_1001_4^15 - 129733588309538231690008218507472956463177796915059/668645543575914\ 4513596935743619174338549490669315*c_1001_4^14 - 1604362140004251876252520804803690542124437475359167/66864554357591\ 44513596935743619174338549490669315*c_1001_4^13 + 3309397023629448013996667178412716122931976822462478/66864554357591\ 44513596935743619174338549490669315*c_1001_4^12 - 1725315427137842958471910104073435231474777771049724/66864554357591\ 44513596935743619174338549490669315*c_1001_4^11 - 5140525144475842164147036247024072580129387378171109/66864554357591\ 44513596935743619174338549490669315*c_1001_4^10 + 6392173381013317814745763002845051198445189586041353/66864554357591\ 44513596935743619174338549490669315*c_1001_4^9 + 1375485699780274721814203487018077545763139386450627/66864554357591\ 44513596935743619174338549490669315*c_1001_4^8 - 5554586165949729588503426802690505678847280733209023/66864554357591\ 44513596935743619174338549490669315*c_1001_4^7 + 1570760976776199657962669389870082102501211577030168/66864554357591\ 44513596935743619174338549490669315*c_1001_4^6 + 1755058001336045903588562525048211025416762571214634/66864554357591\ 44513596935743619174338549490669315*c_1001_4^5 - 218137794704657514636982640531698113228022745995895/133729108715182\ 8902719387148723834867709898133863*c_1001_4^4 - 14414494653010176836738100158146448467104779942866/6686455435759144\ 513596935743619174338549490669315*c_1001_4^3 + 157790015762969733806271306936563748289655174736389/668645543575914\ 4513596935743619174338549490669315*c_1001_4^2 - 11842379079423887648215444529392129721674100873436/1337291087151828\ 902719387148723834867709898133863*c_1001_4 + 3432116215730553840380840183903769935697376883955/13372910871518289\ 02719387148723834867709898133863, c_0101_3 + 161015323909864823162269770437608849578461422062/95520791939\ 4163501942419391945596334078498667045*c_1001_4^21 + 1147730322924595618276672516680040318451448779244/95520791939416350\ 1942419391945596334078498667045*c_1001_4^20 + 3401452464797296441521817787445485758680404562613/66864554357591445\ 13596935743619174338549490669315*c_1001_4^19 + 42356687332863220427273390621145251898632516613166/6686455435759144\ 513596935743619174338549490669315*c_1001_4^18 + 37946719966371753441380017327899791497627998013284/6686455435759144\ 513596935743619174338549490669315*c_1001_4^17 + 3943324426643872727571223432847375705280333853781/95520791939416350\ 1942419391945596334078498667045*c_1001_4^16 - 25519675730648554918401867385104501404789301181054/6686455435759144\ 513596935743619174338549490669315*c_1001_4^15 - 65299827160244576821081509412432498973422621459478/6686455435759144\ 513596935743619174338549490669315*c_1001_4^14 + 92821827167297049572969924410685230026625858643163/6686455435759144\ 513596935743619174338549490669315*c_1001_4^13 + 65708718687264675369048041336892426247574258729663/1337291087151828\ 902719387148723834867709898133863*c_1001_4^12 - 189800821223564047152175307726671916673017010956797/133729108715182\ 8902719387148723834867709898133863*c_1001_4^11 + 899266791748915926188050544922328071120782997032224/668645543575914\ 4513596935743619174338549490669315*c_1001_4^10 + 182404072573840183892298087745836800541904863930927/133729108715182\ 8902719387148723834867709898133863*c_1001_4^9 - 1709641834614956363144631652415665827952058556687969/66864554357591\ 44513596935743619174338549490669315*c_1001_4^8 - 353445417009250928387589498121488272044923206961/668645543575914451\ 3596935743619174338549490669315*c_1001_4^7 + 997344787435674212583684954185967279328989076429443/668645543575914\ 4513596935743619174338549490669315*c_1001_4^6 - 320790579755614083007495967056167947171545608417469/668645543575914\ 4513596935743619174338549490669315*c_1001_4^5 - 171640708010237426289216358502776938558934212324287/668645543575914\ 4513596935743619174338549490669315*c_1001_4^4 + 86382503142413654221093297815959330017727037600382/6686455435759144\ 513596935743619174338549490669315*c_1001_4^3 - 20694034786685189796535727323654151257151609423887/6686455435759144\ 513596935743619174338549490669315*c_1001_4^2 + 828541993784520630506364754545485168379087714333/133729108715182890\ 2719387148723834867709898133863*c_1001_4 + 1481242542867781282596653774434021672187049376065/13372910871518289\ 02719387148723834867709898133863, c_0110_5 - 927592966266071929310264798212879887650412390358/95520791939\ 4163501942419391945596334078498667045*c_1001_4^21 - 738919734533471788114047878424546472226334336441/955207919394163501\ 942419391945596334078498667045*c_1001_4^20 - 21616019241912899383555038386125551120308960677307/6686455435759144\ 513596935743619174338549490669315*c_1001_4^19 - 57760802052720142453220455363593447699423858522449/6686455435759144\ 513596935743619174338549490669315*c_1001_4^18 - 22990191681259226632992927423054268002058570777801/6686455435759144\ 513596935743619174338549490669315*c_1001_4^17 + 2250657704101783439580658054025793402707250616871/95520791939416350\ 1942419391945596334078498667045*c_1001_4^16 + 76819840969680266103846599212825310728715029820281/6686455435759144\ 513596935743619174338549490669315*c_1001_4^15 + 9543029871691348048009441871471751774612498297/66864554357591445135\ 96935743619174338549490669315*c_1001_4^14 - 469399908631642926589694004870859585582101785975382/668645543575914\ 4513596935743619174338549490669315*c_1001_4^13 + 93750222783230608027237354846685961088005662718872/1337291087151828\ 902719387148723834867709898133863*c_1001_4^12 + 129224340005305372613103544172596789823864112475798/133729108715182\ 8902719387148723834867709898133863*c_1001_4^11 - 2325168814932541825537410920833183628060834577962031/66864554357591\ 44513596935743619174338549490669315*c_1001_4^10 + 166861787588809037688005074735044064633724030691167/133729108715182\ 8902719387148723834867709898133863*c_1001_4^9 + 2674500929665404604840009422454317021258578926818396/66864554357591\ 44513596935743619174338549490669315*c_1001_4^8 - 2179005919899777615473201085856111718463292313800876/66864554357591\ 44513596935743619174338549490669315*c_1001_4^7 - 1206235483690964695094796018169332920160605460526517/66864554357591\ 44513596935743619174338549490669315*c_1001_4^6 + 1602259662304549394645719707784529465564268368916836/66864554357591\ 44513596935743619174338549490669315*c_1001_4^5 + 91651288750077378511721516928387752821451403277033/6686455435759144\ 513596935743619174338549490669315*c_1001_4^4 - 501438489378364566526286793747174543700256983062878/668645543575914\ 4513596935743619174338549490669315*c_1001_4^3 + 59200805875436426875384725258464330351068294775323/6686455435759144\ 513596935743619174338549490669315*c_1001_4^2 + 11874305481975726660066804359889868814980659748920/1337291087151828\ 902719387148723834867709898133863*c_1001_4 - 1395892486969952523186534691774470424515537992676/13372910871518289\ 02719387148723834867709898133863, c_1001_0 + 2061706514265940205547159059723378440434250705468/9552079193\ 94163501942419391945596334078498667045*c_1001_4^21 - 1235859927994641030207225531889702325358692510826/95520791939416350\ 1942419391945596334078498667045*c_1001_4^20 + 60860802716846423553647320232464010304688996826056/6686455435759144\ 513596935743619174338549490669315*c_1001_4^19 + 38593508022922067410152874930279825120555164635389/6686455435759144\ 513596935743619174338549490669315*c_1001_4^18 + 101161868703749382776812491574748278739899675174/133729108715182890\ 2719387148723834867709898133863*c_1001_4^17 - 8108687261097064034800864928943908236405756895119/95520791939416350\ 1942419391945596334078498667045*c_1001_4^16 - 22903938031794479025732155862006686810471755491959/1337291087151828\ 902719387148723834867709898133863*c_1001_4^15 + 122396573874268192498905184763143995902902890377794/668645543575914\ 4513596935743619174338549490669315*c_1001_4^14 + 847431980924826816937750819499775672071276763632467/668645543575914\ 4513596935743619174338549490669315*c_1001_4^13 - 2209760014868259711396285727857827857927758194186528/66864554357591\ 44513596935743619174338549490669315*c_1001_4^12 + 1666173981254699155503219328742979485323726015288059/66864554357591\ 44513596935743619174338549490669315*c_1001_4^11 + 2489399869416572361302241589832918315620418715666894/66864554357591\ 44513596935743619174338549490669315*c_1001_4^10 - 4734723654863523387807263854951200695249312290325558/66864554357591\ 44513596935743619174338549490669315*c_1001_4^9 + 311383252305052972898999484462793547341302272007883/668645543575914\ 4513596935743619174338549490669315*c_1001_4^8 + 3766260758316364218918763806434732118734334099489713/66864554357591\ 44513596935743619174338549490669315*c_1001_4^7 - 1855451426693378789777485039082204797316732996175703/66864554357591\ 44513596935743619174338549490669315*c_1001_4^6 - 1080890840557264914065470628211096688394816027165269/66864554357591\ 44513596935743619174338549490669315*c_1001_4^5 + 200404036572700296041977040323741156462919627590792/133729108715182\ 8902719387148723834867709898133863*c_1001_4^4 - 40552143385883207541448835593637850915571107863654/6686455435759144\ 513596935743619174338549490669315*c_1001_4^3 - 161252803354940413498264890756080428477827788264449/668645543575914\ 4513596935743619174338549490669315*c_1001_4^2 + 10464718954014561890337681837342212484503220144288/1337291087151828\ 902719387148723834867709898133863*c_1001_4 - 1146958831754427913295228606641783786349800160093/13372910871518289\ 02719387148723834867709898133863, c_1001_1 - 330522638861890075143670670227017202005513118168/95520791939\ 4163501942419391945596334078498667045*c_1001_4^21 - 1399088078533860683557631470962948351277423606664/95520791939416350\ 1942419391945596334078498667045*c_1001_4^20 - 9210918067187957360896783607115044862220169100241/66864554357591445\ 13596935743619174338549490669315*c_1001_4^19 - 53115084825575889295881545316426293455761383496289/6686455435759144\ 513596935743619174338549490669315*c_1001_4^18 - 11318763282827209805628041320728213796009754036651/1337291087151828\ 902719387148723834867709898133863*c_1001_4^17 - 3278228950922883671866262243044080892184637821886/95520791939416350\ 1942419391945596334078498667045*c_1001_4^16 + 8111313515925778879533786381070721828758655563149/13372910871518289\ 02719387148723834867709898133863*c_1001_4^15 + 76270160819404917941580294615922572619565030527211/6686455435759144\ 513596935743619174338549490669315*c_1001_4^14 - 183523493521598850936354236058735639973628839424862/668645543575914\ 4513596935743619174338549490669315*c_1001_4^13 - 328676874762680466725416272576876230836105407760747/668645543575914\ 4513596935743619174338549490669315*c_1001_4^12 + 1073125562638003272206932339308072107627666441282146/66864554357591\ 44513596935743619174338549490669315*c_1001_4^11 - 957783065921203114378954267402640190198901205757019/668645543575914\ 4513596935743619174338549490669315*c_1001_4^10 - 1513950346325344818934368635599659911436165708383902/66864554357591\ 44513596935743619174338549490669315*c_1001_4^9 + 2438697964947174607742166407234253461837532523977912/66864554357591\ 44513596935743619174338549490669315*c_1001_4^8 + 473289857397698153376500173724099201253725501825822/668645543575914\ 4513596935743619174338549490669315*c_1001_4^7 - 2119300218724901244130616048183246623784760294278587/66864554357591\ 44513596935743619174338549490669315*c_1001_4^6 + 353888589988300818855641032951318548162351004900244/668645543575914\ 4513596935743619174338549490669315*c_1001_4^5 + 169747654021760780663234155976468751190718282101219/133729108715182\ 8902719387148723834867709898133863*c_1001_4^4 - 277183449078418784720553613785075734706215242913636/668645543575914\ 4513596935743619174338549490669315*c_1001_4^3 - 142344788596208404133013600240997158864437944841871/668645543575914\ 4513596935743619174338549490669315*c_1001_4^2 + 10336474479026201634401193296976730245628165913431/1337291087151828\ 902719387148723834867709898133863*c_1001_4 + 1355906851377593898212489425361089179895841956372/13372910871518289\ 02719387148723834867709898133863, c_1001_4^22 - 6/7*c_1001_4^21 + 214/49*c_1001_4^20 + 80/49*c_1001_4^19 - 31/49*c_1001_4^18 - 184/49*c_1001_4^17 - 320/49*c_1001_4^16 + 538/49*c_1001_4^15 + 397/7*c_1001_4^14 - 1180/7*c_1001_4^13 + 7572/49*c_1001_4^12 + 7158/49*c_1001_4^11 - 18402/49*c_1001_4^10 + 5083/49*c_1001_4^9 + 12998/49*c_1001_4^8 - 9570/49*c_1001_4^7 - 2649/49*c_1001_4^6 + 4520/49*c_1001_4^5 - 90/7*c_1001_4^4 - 689/49*c_1001_4^3 + 32/7*c_1001_4^2 - 10/49*c_1001_4 + 5/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.780 Total time: 4.990 seconds, Total memory usage: 80.25MB