Magma V2.19-8 Tue Aug 20 2013 23:45:01 on localhost [Seed = 1031493787] Type ? for help. Type -D to quit. Loading file "K13n2163__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2163 geometric_solution 10.82482608 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 -12 12 0 0 0 0 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.235195896574 0.787378577846 0 5 7 6 0132 0132 0132 0132 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 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.235195896574 0.787378577846 8 0 5 4 0132 0132 3120 0321 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 -1 1 0 -1 0 1 0 12 0 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.767556391150 0.924084804737 9 7 10 0 0132 0132 0132 0132 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 0 0 -1 1 -13 0 1 12 0 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346932159534 0.667082813342 9 2 0 11 1230 0321 0132 0132 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 0 0 0 12 0 -12 0 0 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.008554730765 1.733628488917 8 1 2 8 1023 0132 3120 0213 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 1 0 -1 0 0 0 0 0 -12 13 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.330350985175 0.706405637642 9 8 1 10 2103 0213 0132 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 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.008554730765 1.733628488917 9 3 11 1 3201 0132 0213 0132 0 0 0 0 0 0 0 0 1 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 0 0 0 0 -12 0 12 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346932159534 0.667082813342 2 5 6 5 0132 1023 0213 0213 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 -1 1 0 1 0 -1 0 0 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.059526166311 1.173129234298 3 4 6 7 0132 3012 2103 2310 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 0 0 0 0 13 0 0 -13 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.392625907260 0.646670428472 11 6 11 3 0213 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 -1 -1 1 0 0 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346932159534 0.667082813342 10 7 4 10 0213 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -12 0 12 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386353299702 1.179922806182 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : d['c_0101_5'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : d['c_1001_1'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_5']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_9' : negation(d['c_0101_1']), 'c_1010_8' : negation(d['c_0101_2']), 'c_1100_8' : d['c_1001_1'], 's_3_1' : d['1'], 's_3_0' : negation(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' : d['1'], 's_1_7' : d['1'], 's_1_6' : 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' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : negation(d['c_0011_4']), '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_11'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_4']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_1001_0, c_1001_1, c_1001_10, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 309248780925340407563964206958655074194/376508528268635119480474360\ 48802759*c_1100_0^20 + 181171513444883009390499117487496977161/7530\ 1705653727023896094872097605518*c_1100_0^19 + 2450675836462209076653490036402162356863/75301705653727023896094872\ 097605518*c_1100_0^18 + 1420661335109592299134631782536713253660/37\ 650852826863511948047436048802759*c_1100_0^17 - 5796126859851144848536564828787272599777/75301705653727023896094872\ 097605518*c_1100_0^16 - 4337739459701821333095653788312524818283/75\ 301705653727023896094872097605518*c_1100_0^15 + 9015796394777762898518433505631416679269/75301705653727023896094872\ 097605518*c_1100_0^14 - 7252557583820213245331865897130098146497/37\ 650852826863511948047436048802759*c_1100_0^13 - 10503999315784197566540044518653078520349/7530170565372702389609487\ 2097605518*c_1100_0^12 + 24164243007724010247895762332354242769263/\ 75301705653727023896094872097605518*c_1100_0^11 - 3684774683340130127821643025811848169231/75301705653727023896094872\ 097605518*c_1100_0^10 - 7655461233288446039279946361466688175575/75\ 301705653727023896094872097605518*c_1100_0^9 + 9233971872713409236986141313134831188515/37650852826863511948047436\ 048802759*c_1100_0^8 - 1522659544110339538237295681836154885700/376\ 50852826863511948047436048802759*c_1100_0^7 - 3797908528871434553266669379170054901369/37650852826863511948047436\ 048802759*c_1100_0^6 + 1002694432829153775748992822169928205611/376\ 50852826863511948047436048802759*c_1100_0^5 - 1599983062327374608682930901447889319146/37650852826863511948047436\ 048802759*c_1100_0^4 + 863850754343639043940289176584452056925/3765\ 0852826863511948047436048802759*c_1100_0^3 + 56222163755599009203161437798366923355/7530170565372702389609487209\ 7605518*c_1100_0^2 - 4895915923554364720197279925856054759/75301705\ 653727023896094872097605518*c_1100_0 + 27628012918124594200131040595487518758/3765085282686351194804743604\ 8802759, c_0011_0 - 1, c_0011_10 - 1974239448101621350413917691074499/754526108754779798558064\ 85067741*c_1100_0^20 - 2215990112912830349793139070149101/754526108\ 75477979855806485067741*c_1100_0^19 + 5437104620117642525815669832075239/75452610875477979855806485067741\ *c_1100_0^18 + 17728505629752348355878896689905500/7545261087547797\ 9855806485067741*c_1100_0^17 + 4427090250353001435687573301677909/7\ 5452610875477979855806485067741*c_1100_0^16 - 14555751189892341271244643537278997/7545261087547797985580648506774\ 1*c_1100_0^15 + 6064829872102970738019661202965039/7545261087547797\ 9855806485067741*c_1100_0^14 - 31377696269149612809827553843056994/\ 75452610875477979855806485067741*c_1100_0^13 - 81003236291356265497834662530333293/7545261087547797985580648506774\ 1*c_1100_0^12 - 26136504092152054363940855939432411/754526108754779\ 79855806485067741*c_1100_0^11 - 14297907519159568390422505366501573\ /75452610875477979855806485067741*c_1100_0^10 - 35638750208734258457691636804624327/7545261087547797985580648506774\ 1*c_1100_0^9 + 13934645243261485384699939121421135/7545261087547797\ 9855806485067741*c_1100_0^8 + 27717009234090953621730522292695080/7\ 5452610875477979855806485067741*c_1100_0^7 + 8437337967420377519910273350154142/75452610875477979855806485067741\ *c_1100_0^6 + 7022352316872797552413174564443056/754526108754779798\ 55806485067741*c_1100_0^5 - 1360890180014651233887971540106522/7545\ 2610875477979855806485067741*c_1100_0^4 - 634074781256386370739502288183062/75452610875477979855806485067741*\ c_1100_0^3 - 254533595672749235808070713446206/75452610875477979855\ 806485067741*c_1100_0^2 - 105741725717743093978870884999818/7545261\ 0875477979855806485067741*c_1100_0 - 59651494216118559465201469789418/75452610875477979855806485067741, c_0011_11 + 1051810438838802066327585565861132/754526108754779798558064\ 85067741*c_1100_0^20 + 858776484209425279768925311313572/7545261087\ 5477979855806485067741*c_1100_0^19 - 3167910281584209569073785665057998/75452610875477979855806485067741\ *c_1100_0^18 - 8435605130327744627917930173129363/75452610875477979\ 855806485067741*c_1100_0^17 + 210061069524501820812428064544707/754\ 52610875477979855806485067741*c_1100_0^16 + 7661231460633053822092759701986437/75452610875477979855806485067741\ *c_1100_0^15 - 5733138146160039101468090187878866/75452610875477979\ 855806485067741*c_1100_0^14 + 18760856425087772550618746880217596/7\ 5452610875477979855806485067741*c_1100_0^13 + 37180399775066650471160085665355610/7545261087547797985580648506774\ 1*c_1100_0^12 + 2048615539762890250039895302466494/7545261087547797\ 9855806485067741*c_1100_0^11 + 8027992267610159707834044794265900/7\ 5452610875477979855806485067741*c_1100_0^10 + 16237219331954580027993859641203150/7545261087547797985580648506774\ 1*c_1100_0^9 - 12642386709968248400971151846971366/7545261087547797\ 9855806485067741*c_1100_0^8 - 9371434913486486994501665583080303/75\ 452610875477979855806485067741*c_1100_0^7 - 1450207912597462335473931883457113/75452610875477979855806485067741\ *c_1100_0^6 - 3262324370287958027825544937332464/754526108754779798\ 55806485067741*c_1100_0^5 + 2809378205072224992594880552518088/7545\ 2610875477979855806485067741*c_1100_0^4 - 547543776104645295542150811478499/75452610875477979855806485067741*\ c_1100_0^3 + 459639709179074150105174114728346/75452610875477979855\ 806485067741*c_1100_0^2 - 70421775557998360551863980114741/75452610\ 875477979855806485067741*c_1100_0 + 16589800530100659836703272862216/75452610875477979855806485067741, c_0011_4 - 854937487570153454404819914438186/75452610875477979855806485\ 067741*c_1100_0^20 - 705222108687942937376536508711373/754526108754\ 77979855806485067741*c_1100_0^19 + 2623015335214713869818972705420148/75452610875477979855806485067741\ *c_1100_0^18 + 6803408220061691945565166261693971/75452610875477979\ 855806485067741*c_1100_0^17 - 340536636762750019372526308758362/754\ 52610875477979855806485067741*c_1100_0^16 - 6274036627673469487527039891522157/75452610875477979855806485067741\ *c_1100_0^15 + 5515469001286976557597778451768437/75452610875477979\ 855806485067741*c_1100_0^14 - 15119926264006956516084120513396045/7\ 5452610875477979855806485067741*c_1100_0^13 - 31609186301152573878778776876712591/7545261087547797985580648506774\ 1*c_1100_0^12 - 248499851518938445198017492582881/75452610875477979\ 855806485067741*c_1100_0^11 - 6709387384671050513105454498558009/75\ 452610875477979855806485067741*c_1100_0^10 - 16912196314086556306410139539347672/7545261087547797985580648506774\ 1*c_1100_0^9 + 11267904919915530652947473301940588/7545261087547797\ 9855806485067741*c_1100_0^8 + 8759770296867365040203814042720645/75\ 452610875477979855806485067741*c_1100_0^7 - 662121547713024291321597375266173/75452610875477979855806485067741*\ c_1100_0^6 + 4091031827558988847271234815922252/7545261087547797985\ 5806485067741*c_1100_0^5 - 653237392767780003037056044428170/754526\ 10875477979855806485067741*c_1100_0^4 + 327981488872049837578170131544870/75452610875477979855806485067741*\ c_1100_0^3 - 144571058653494127212462807498048/75452610875477979855\ 806485067741*c_1100_0^2 - 135572911418072066088759141580448/7545261\ 0875477979855806485067741*c_1100_0 + 20192606510941641606517770591918/75452610875477979855806485067741, c_0101_0 - 453683594520281861546803849706401/75452610875477979855806485\ 067741*c_1100_0^20 - 769858622151246312711509832750160/754526108754\ 77979855806485067741*c_1100_0^19 + 936855927310490744870144855373117/75452610875477979855806485067741*\ c_1100_0^18 + 4839609058298276819121923471580804/754526108754779798\ 55806485067741*c_1100_0^17 + 3394918983759560401534425153671960/754\ 52610875477979855806485067741*c_1100_0^16 - 2800926505709581740905502463924747/75452610875477979855806485067741\ *c_1100_0^15 - 849696280671754780422178702278098/754526108754779798\ 55806485067741*c_1100_0^14 - 6074431634622015787510427076825594/754\ 52610875477979855806485067741*c_1100_0^13 - 22449432349914479118571901359437159/7545261087547797985580648506774\ 1*c_1100_0^12 - 17569204866904919279473428310903639/754526108754779\ 79855806485067741*c_1100_0^11 - 5891862921125957131992073322770347/\ 75452610875477979855806485067741*c_1100_0^10 - 9395326413409446232605253072241644/75452610875477979855806485067741\ *c_1100_0^9 - 2891336386536581097849063643610585/754526108754779798\ 55806485067741*c_1100_0^8 + 8266698052566773319090577714505481/7545\ 2610875477979855806485067741*c_1100_0^7 + 5784460352553438914605523863149404/75452610875477979855806485067741\ *c_1100_0^6 + 1516700321771283161233511970720730/754526108754779798\ 55806485067741*c_1100_0^5 + 550673443097273899308402358852975/75452\ 610875477979855806485067741*c_1100_0^4 - 327710478334567245195011683353140/75452610875477979855806485067741*\ c_1100_0^3 - 130811198638842643484326698210692/75452610875477979855\ 806485067741*c_1100_0^2 + 91312622233757539635357480166715/75452610\ 875477979855806485067741*c_1100_0 - 52427300830744557393275655151157/75452610875477979855806485067741, c_0101_1 + 453683594520281861546803849706401/75452610875477979855806485\ 067741*c_1100_0^20 + 769858622151246312711509832750160/754526108754\ 77979855806485067741*c_1100_0^19 - 936855927310490744870144855373117/75452610875477979855806485067741*\ c_1100_0^18 - 4839609058298276819121923471580804/754526108754779798\ 55806485067741*c_1100_0^17 - 3394918983759560401534425153671960/754\ 52610875477979855806485067741*c_1100_0^16 + 2800926505709581740905502463924747/75452610875477979855806485067741\ *c_1100_0^15 + 849696280671754780422178702278098/754526108754779798\ 55806485067741*c_1100_0^14 + 6074431634622015787510427076825594/754\ 52610875477979855806485067741*c_1100_0^13 + 22449432349914479118571901359437159/7545261087547797985580648506774\ 1*c_1100_0^12 + 17569204866904919279473428310903639/754526108754779\ 79855806485067741*c_1100_0^11 + 5891862921125957131992073322770347/\ 75452610875477979855806485067741*c_1100_0^10 + 9395326413409446232605253072241644/75452610875477979855806485067741\ *c_1100_0^9 + 2891336386536581097849063643610585/754526108754779798\ 55806485067741*c_1100_0^8 - 8266698052566773319090577714505481/7545\ 2610875477979855806485067741*c_1100_0^7 - 5784460352553438914605523863149404/75452610875477979855806485067741\ *c_1100_0^6 - 1516700321771283161233511970720730/754526108754779798\ 55806485067741*c_1100_0^5 - 550673443097273899308402358852975/75452\ 610875477979855806485067741*c_1100_0^4 + 327710478334567245195011683353140/75452610875477979855806485067741*\ c_1100_0^3 + 130811198638842643484326698210692/75452610875477979855\ 806485067741*c_1100_0^2 - 91312622233757539635357480166715/75452610\ 875477979855806485067741*c_1100_0 + 52427300830744557393275655151157/75452610875477979855806485067741, c_0101_2 + 1118270952392108501557505573791190/7545261087547797985580648\ 5067741*c_1100_0^20 + 1000705492093634786391303571957358/7545261087\ 5477979855806485067741*c_1100_0^19 - 3538863255511562024232041201830302/75452610875477979855806485067741\ *c_1100_0^18 - 9281707366509239275457855997510001/75452610875477979\ 855806485067741*c_1100_0^17 + 364265575278803599394135273060461/754\ 52610875477979855806485067741*c_1100_0^16 + 9649167104600620792297187258468600/75452610875477979855806485067741\ *c_1100_0^15 - 6719698804806596443322279049153021/75452610875477979\ 855806485067741*c_1100_0^14 + 17812282271648947153600330110712412/7\ 5452610875477979855806485067741*c_1100_0^13 + 43613689057738792018101704681377498/7545261087547797985580648506774\ 1*c_1100_0^12 + 299628517034724697095177200837577/75452610875477979\ 855806485067741*c_1100_0^11 + 2613555063052324606689724072952320/75\ 452610875477979855806485067741*c_1100_0^10 + 22661740501449530305954969658699139/7545261087547797985580648506774\ 1*c_1100_0^9 - 13761814674607613231995740472622668/7545261087547797\ 9855806485067741*c_1100_0^8 - 14658433981754415860928395357754638/7\ 5452610875477979855806485067741*c_1100_0^7 + 2518509850601548473369590251953836/75452610875477979855806485067741\ *c_1100_0^6 - 3486924666234615826474161393783275/754526108754779798\ 55806485067741*c_1100_0^5 + 855219362712292989365996730186986/75452\ 610875477979855806485067741*c_1100_0^4 + 125016451593060213756198649863732/75452610875477979855806485067741*\ c_1100_0^3 - 611847869368511986054298936301070/75452610875477979855\ 806485067741*c_1100_0^2 + 194335031345133289114150161723863/7545261\ 0875477979855806485067741*c_1100_0 + 11919397147186615644166577375611/75452610875477979855806485067741, c_0101_5 + 1392604846814047683417476656034395/7545261087547797985580648\ 5067741*c_1100_0^20 + 1542648887587330311689807548794738/7545261087\ 5477979855806485067741*c_1100_0^19 - 4007871995874194804834197292912693/75452610875477979855806485067741\ *c_1100_0^18 - 12631506997495146663834710896658901/7545261087547797\ 9855806485067741*c_1100_0^17 - 2502163658303248313524056993399319/7\ 5452610875477979855806485067741*c_1100_0^16 + 11693549498809450741686211559664873/7545261087547797985580648506774\ 1*c_1100_0^15 - 4082400220456350001217479732563009/7545261087547797\ 9855806485067741*c_1100_0^14 + 20870956645028453102624326438007229/\ 75452610875477979855806485067741*c_1100_0^13 + 57368113992970710986483934432769041/7545261087547797985580648506774\ 1*c_1100_0^12 + 15441358340081459283405302011713827/754526108754779\ 79855806485067741*c_1100_0^11 + 3352067996785030872096233892811852/\ 75452610875477979855806485067741*c_1100_0^10 + 23340523348943364544750605365124915/7545261087547797985580648506774\ 1*c_1100_0^9 - 10962305955676638947323203411621654/7545261087547797\ 9855806485067741*c_1100_0^8 - 22614382831994609217564045920498917/7\ 5452610875477979855806485067741*c_1100_0^7 - 4860052800442051094895754228328588/75452610875477979855806485067741\ *c_1100_0^6 - 3034870211555959715114457917761031/754526108754779798\ 55806485067741*c_1100_0^5 + 1083457925095300988399931731659988/7545\ 2610875477979855806485067741*c_1100_0^4 + 799433247087343022196714149332034/75452610875477979855806485067741*\ c_1100_0^3 - 55118445286092657104295924174272/754526108754779798558\ 06485067741*c_1100_0^2 + 114072084225589484470388488326204/75452610\ 875477979855806485067741*c_1100_0 + 97696059523851325022453416491961/75452610875477979855806485067741, c_1001_0 - 72050316445416534689947527559958/754526108754779798558064850\ 67741*c_1100_0^20 + 1006505106618395183437472711187930/754526108754\ 77979855806485067741*c_1100_0^19 + 1067849021794866284451507400410059/75452610875477979855806485067741\ *c_1100_0^18 - 2724270176841357229595116610891325/75452610875477979\ 855806485067741*c_1100_0^17 - 8494791031611038986306732675316398/75\ 452610875477979855806485067741*c_1100_0^16 + 129732056074534072007421511338626/75452610875477979855806485067741*\ c_1100_0^15 + 8525354343189201633061596242615757/754526108754779798\ 55806485067741*c_1100_0^14 - 7827522239127752582191876410628923/754\ 52610875477979855806485067741*c_1100_0^13 + 16117163575345074531245114406341198/7545261087547797985580648506774\ 1*c_1100_0^12 + 38389936972248593796921293349244718/754526108754779\ 79855806485067741*c_1100_0^11 - 917651488931182386701514096928437/7\ 5452610875477979855806485067741*c_1100_0^10 + 5330176803289815905892105295446266/75452610875477979855806485067741\ *c_1100_0^9 + 19591431771691423808975804384034974/75452610875477979\ 855806485067741*c_1100_0^8 - 13696827260441396777838329793643787/75\ 452610875477979855806485067741*c_1100_0^7 - 10896133804033685157737909354753476/7545261087547797985580648506774\ 1*c_1100_0^6 + 642277543783934278342171838317523/754526108754779798\ 55806485067741*c_1100_0^5 - 4204827668457399398514319553820721/7545\ 2610875477979855806485067741*c_1100_0^4 + 1860383032747464745411407143692780/75452610875477979855806485067741\ *c_1100_0^3 - 300305758200472845841594932100730/7545261087547797985\ 5806485067741*c_1100_0^2 + 105547810933926852740627324112640/754526\ 10875477979855806485067741*c_1100_0 + 106635163421899469366276119751158/75452610875477979855806485067741, c_1001_1 - 72050316445416534689947527559958/754526108754779798558064850\ 67741*c_1100_0^20 + 1006505106618395183437472711187930/754526108754\ 77979855806485067741*c_1100_0^19 + 1067849021794866284451507400410059/75452610875477979855806485067741\ *c_1100_0^18 - 2724270176841357229595116610891325/75452610875477979\ 855806485067741*c_1100_0^17 - 8494791031611038986306732675316398/75\ 452610875477979855806485067741*c_1100_0^16 + 129732056074534072007421511338626/75452610875477979855806485067741*\ c_1100_0^15 + 8525354343189201633061596242615757/754526108754779798\ 55806485067741*c_1100_0^14 - 7827522239127752582191876410628923/754\ 52610875477979855806485067741*c_1100_0^13 + 16117163575345074531245114406341198/7545261087547797985580648506774\ 1*c_1100_0^12 + 38389936972248593796921293349244718/754526108754779\ 79855806485067741*c_1100_0^11 - 917651488931182386701514096928437/7\ 5452610875477979855806485067741*c_1100_0^10 + 5330176803289815905892105295446266/75452610875477979855806485067741\ *c_1100_0^9 + 19591431771691423808975804384034974/75452610875477979\ 855806485067741*c_1100_0^8 - 13696827260441396777838329793643787/75\ 452610875477979855806485067741*c_1100_0^7 - 10896133804033685157737909354753476/7545261087547797985580648506774\ 1*c_1100_0^6 + 642277543783934278342171838317523/754526108754779798\ 55806485067741*c_1100_0^5 - 4204827668457399398514319553820721/7545\ 2610875477979855806485067741*c_1100_0^4 + 1860383032747464745411407143692780/75452610875477979855806485067741\ *c_1100_0^3 - 300305758200472845841594932100730/7545261087547797985\ 5806485067741*c_1100_0^2 + 105547810933926852740627324112640/754526\ 10875477979855806485067741*c_1100_0 + 106635163421899469366276119751158/75452610875477979855806485067741, c_1001_10 - c_1100_0, c_1100_0^21 + c_1100_0^20 - 99/37*c_1100_0^19 - 312/37*c_1100_0^18 - 68/37*c_1100_0^17 + 215/37*c_1100_0^16 - 4*c_1100_0^15 + 676/37*c_1100_0^14 + 1400/37*c_1100_0^13 + 433/37*c_1100_0^12 + 533/37*c_1100_0^11 + 635/37*c_1100_0^10 - 328/37*c_1100_0^9 - 337/37*c_1100_0^8 - 214/37*c_1100_0^7 - 227/37*c_1100_0^6 + 49/37*c_1100_0^5 - 24/37*c_1100_0^4 + 19/37*c_1100_0^3 + 2/37*c_1100_0^2 + 1/37*c_1100_0 + 1/37 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.790 Total time: 2.000 seconds, Total memory usage: 82.00MB