Magma V2.19-8 Tue Aug 20 2013 23:41:34 on localhost [Seed = 1074144503] Type ? for help. Type -D to quit. Loading file "K12n624__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n624 geometric_solution 10.55147238 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1302 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 -1 11 -10 0 0 -1 1 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.279249863863 0.624312557854 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.242676228949 1.555161060090 7 0 0 6 0132 0132 2031 1230 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 -1 0 -10 0 10 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.402989075250 1.334723721406 8 6 5 0 0132 2103 2103 0132 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 11 -11 -1 0 0 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.597010924750 1.334723721406 7 1 9 6 1023 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.229677298921 0.222113053824 3 9 1 7 2103 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 0 0 0 0 0 0 -11 11 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.381977356056 0.489231067579 2 3 4 1 3012 2103 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.665668553827 0.718498011880 2 4 10 5 0132 1023 0132 0213 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.208110978407 2.074928469799 3 9 11 11 0132 3201 0132 3120 0 0 0 0 0 1 -1 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 -11 11 0 1 0 0 -1 0 0 0 0 1 10 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446702099142 1.216632962761 10 5 8 4 0321 0132 2310 0132 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 0 0 10 0 -10 0 1 -1 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.886694793905 1.838654877195 9 11 11 7 0321 0213 2310 0132 0 0 0 0 0 1 -1 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 -11 11 0 0 0 -10 10 -1 1 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309739274773 0.681077970775 8 10 10 8 3120 3201 0213 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 -11 1 0 -1 0 0 -11 0 11 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309739274773 0.681077970775 ==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_10']), 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : negation(d['c_0011_10']), 's_3_11' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], '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_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' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_0110_4'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0110_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0101_1']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : negation(d['c_0011_11']), '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' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_3']), '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_5'], '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' : d['c_0101_0'], 'c_0110_10' : d['c_0011_5'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_6, c_0110_4, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 701833576803811513980424226569245008622735/466256499006551616211435\ 1595099414028243534*c_1001_4^17 + 181365763189620748623933335899636\ 7530410483/4662564990065516162114351595099414028243534*c_1001_4^16 - 15825356928646118613896001664865970448656/2119347722757052800961068\ 90686337001283797*c_1001_4^15 + 13871802279419207351097795531674697\ 81897441/423869544551410560192213781372674002567594*c_1001_4^14 + 5555516150704290249561853730007636906932057/23312824950327580810571\ 75797549707014121767*c_1001_4^13 - 29431552325489644710479369141824447686976903/4662564990065516162114\ 351595099414028243534*c_1001_4^12 + 57711681323731164704497577430041513796886979/4662564990065516162114\ 351595099414028243534*c_1001_4^11 - 313577986708535779949949648255219103789432665/466256499006551616211\ 4351595099414028243534*c_1001_4^10 + 174262855107341442076034960148747815024097397/233128249503275808105\ 7175797549707014121767*c_1001_4^9 - 631776637940328071431532662240533107517994483/466256499006551616211\ 4351595099414028243534*c_1001_4^8 + 636034487951246598631573083585173874923755631/233128249503275808105\ 7175797549707014121767*c_1001_4^7 - 21701612755282814809284615319900186253650149/4238695445514105601922\ 13781372674002567594*c_1001_4^6 + 234545942893976686458851730873629\ 5996057650563/4662564990065516162114351595099414028243534*c_1001_4^\ 5 + 206082789331686692298872846112655190408710087/23312824950327580\ 81057175797549707014121767*c_1001_4^4 + 1084679906549004761753077942049310118052204787/23312824950327580810\ 57175797549707014121767*c_1001_4^3 + 415885887788865742700116076856944018795858040/233128249503275808105\ 7175797549707014121767*c_1001_4^2 + 529360303713272237685219404566646995552816045/233128249503275808105\ 7175797549707014121767*c_1001_4 + 692120997256514643522790172505952\ 725512640761/2331282495032758081057175797549707014121767, c_0011_0 - 1, c_0011_10 + 44618481359477423665781528635489/15225647614312295124792245\ 3668776883*c_1001_4^17 + 2669657566328559808703521180143/1522564761\ 43122951247922453668776883*c_1001_4^16 - 341615817694378218067755260242748/152256476143122951247922453668776\ 883*c_1001_4^15 + 1006479234535223448701532568189582/15225647614312\ 2951247922453668776883*c_1001_4^14 - 1528788531860608274983176078794304/15225647614312295124792245366877\ 6883*c_1001_4^13 - 4073904283275258489521332674803540/1522564761431\ 22951247922453668776883*c_1001_4^12 + 9206736461551648325601510680757149/15225647614312295124792245366877\ 6883*c_1001_4^11 - 26129645865408175802788690085514097/152256476143\ 122951247922453668776883*c_1001_4^10 + 70331636615596867035838518965888664/1522564761431229512479224536687\ 76883*c_1001_4^9 - 81377046753340330954962296897258290/152256476143\ 122951247922453668776883*c_1001_4^8 + 142160554630734572305588056006760860/152256476143122951247922453668\ 776883*c_1001_4^7 - 181891723778465157626566107128060397/1522564761\ 43122951247922453668776883*c_1001_4^6 + 85665598601325000064984876438110320/1522564761431229512479224536687\ 76883*c_1001_4^5 - 255570019272430277275030734746700629/15225647614\ 3122951247922453668776883*c_1001_4^4 + 70746106127402676162179268561455808/1522564761431229512479224536687\ 76883*c_1001_4^3 - 95783202207307034941014577688683078/152256476143\ 122951247922453668776883*c_1001_4^2 + 158134809741235067025849495548802920/152256476143122951247922453668\ 776883*c_1001_4 + 55533351558105804697598633626759151/1522564761431\ 22951247922453668776883, c_0011_11 + 13187263908622888329537713848551/15225647614312295124792245\ 3668776883*c_1001_4^17 - 32455390315744093034620151600052/152256476\ 143122951247922453668776883*c_1001_4^16 - 177645356573128666338012715598288/152256476143122951247922453668776\ 883*c_1001_4^15 + 348916811088865999100983332856310/152256476143122\ 951247922453668776883*c_1001_4^14 - 1216721363582737048662593619499003/15225647614312295124792245366877\ 6883*c_1001_4^13 - 1736896907736999132564510923961652/1522564761431\ 22951247922453668776883*c_1001_4^12 + 4432966664630658688943485679330337/15225647614312295124792245366877\ 6883*c_1001_4^11 - 11909887406407187759423744537045076/152256476143\ 122951247922453668776883*c_1001_4^10 + 34968391490241690520473669797229791/1522564761431229512479224536687\ 76883*c_1001_4^9 - 42601586200464612200470639195373370/152256476143\ 122951247922453668776883*c_1001_4^8 + 70108872118672798589325139773734896/1522564761431229512479224536687\ 76883*c_1001_4^7 - 82060778672307080279569248707150880/152256476143\ 122951247922453668776883*c_1001_4^6 - 1454865387786161746965171456394986/15225647614312295124792245366877\ 6883*c_1001_4^5 - 123944533374030497644566627844654997/152256476143\ 122951247922453668776883*c_1001_4^4 - 142423203857652921007158749255399849/152256476143122951247922453668\ 776883*c_1001_4^3 - 35504457437507134774659161125469114/15225647614\ 3122951247922453668776883*c_1001_4^2 - 151864297673124358433853743462213411/152256476143122951247922453668\ 776883*c_1001_4 + 117759317681090954223773188469302241/152256476143\ 122951247922453668776883, c_0011_3 + 11744932561346859060504570411578/152256476143122951247922453\ 668776883*c_1001_4^17 - 61814772693450900413423318608275/1522564761\ 43122951247922453668776883*c_1001_4^16 - 226724948636026196684008933312205/152256476143122951247922453668776\ 883*c_1001_4^15 + 408207538220224147956696565620853/152256476143122\ 951247922453668776883*c_1001_4^14 - 1676913172013993542515743492404516/15225647614312295124792245366877\ 6883*c_1001_4^13 - 1609172153442916630511327649304501/1522564761431\ 22951247922453668776883*c_1001_4^12 + 6614030072366103099932727611465315/15225647614312295124792245366877\ 6883*c_1001_4^11 - 12848150950805314648942672839904401/152256476143\ 122951247922453668776883*c_1001_4^10 + 45522320547198667950903654304910566/1522564761431229512479224536687\ 76883*c_1001_4^9 - 56489713046172210187893645164238583/152256476143\ 122951247922453668776883*c_1001_4^8 + 80964072166186605994990176688682864/1522564761431229512479224536687\ 76883*c_1001_4^7 - 156424203617720423685783319627000650/15225647614\ 3122951247922453668776883*c_1001_4^6 + 41553011878630323768429471673864105/1522564761431229512479224536687\ 76883*c_1001_4^5 - 207654398237053994651895502177406191/15225647614\ 3122951247922453668776883*c_1001_4^4 + 82258951039666455532547696027616527/1522564761431229512479224536687\ 76883*c_1001_4^3 - 83508538328147229211050175471723076/152256476143\ 122951247922453668776883*c_1001_4^2 + 48384494106885018502316087152098663/1522564761431229512479224536687\ 76883*c_1001_4 + 32786724357866196200317272320856382/15225647614312\ 2951247922453668776883, c_0011_5 - 31017044548950774894191335613578/152256476143122951247922453\ 668776883*c_1001_4^17 - 131443077695504964727112641708514/152256476\ 143122951247922453668776883*c_1001_4^16 - 125962852511715988769592600385203/152256476143122951247922453668776\ 883*c_1001_4^15 - 608619826875008201779294725689661/152256476143122\ 951247922453668776883*c_1001_4^14 - 1497401001803925160329265226713766/15225647614312295124792245366877\ 6883*c_1001_4^13 + 114134075028928416540216964712256/15225647614312\ 2951247922453668776883*c_1001_4^12 + 953261253860200698313508506609976/152256476143122951247922453668776\ 883*c_1001_4^11 + 10083287309799707738900548345781525/1522564761431\ 22951247922453668776883*c_1001_4^10 + 3435295013255887995868091566293314/15225647614312295124792245366877\ 6883*c_1001_4^9 + 15675010092683264866588008590272827/1522564761431\ 22951247922453668776883*c_1001_4^8 - 44887473655968092568997258926267635/1522564761431229512479224536687\ 76883*c_1001_4^7 - 18653210193106002124213101661127829/152256476143\ 122951247922453668776883*c_1001_4^6 - 187231922621523009405016110923523808/152256476143122951247922453668\ 776883*c_1001_4^5 - 63886068133270722965063914292964552/15225647614\ 3122951247922453668776883*c_1001_4^4 - 253395590241731715548362553008188381/152256476143122951247922453668\ 776883*c_1001_4^3 - 9997407565055750430719793703578551/152256476143\ 122951247922453668776883*c_1001_4^2 - 144317635570492606720935794881212793/152256476143122951247922453668\ 776883*c_1001_4 + 69541875740532166453554879550128306/1522564761431\ 22951247922453668776883, c_0101_0 - 31017044548950774894191335613578/152256476143122951247922453\ 668776883*c_1001_4^17 - 131443077695504964727112641708514/152256476\ 143122951247922453668776883*c_1001_4^16 - 125962852511715988769592600385203/152256476143122951247922453668776\ 883*c_1001_4^15 - 608619826875008201779294725689661/152256476143122\ 951247922453668776883*c_1001_4^14 - 1497401001803925160329265226713766/15225647614312295124792245366877\ 6883*c_1001_4^13 + 114134075028928416540216964712256/15225647614312\ 2951247922453668776883*c_1001_4^12 + 953261253860200698313508506609976/152256476143122951247922453668776\ 883*c_1001_4^11 + 10083287309799707738900548345781525/1522564761431\ 22951247922453668776883*c_1001_4^10 + 3435295013255887995868091566293314/15225647614312295124792245366877\ 6883*c_1001_4^9 + 15675010092683264866588008590272827/1522564761431\ 22951247922453668776883*c_1001_4^8 - 44887473655968092568997258926267635/1522564761431229512479224536687\ 76883*c_1001_4^7 - 18653210193106002124213101661127829/152256476143\ 122951247922453668776883*c_1001_4^6 - 187231922621523009405016110923523808/152256476143122951247922453668\ 776883*c_1001_4^5 - 63886068133270722965063914292964552/15225647614\ 3122951247922453668776883*c_1001_4^4 - 253395590241731715548362553008188381/152256476143122951247922453668\ 776883*c_1001_4^3 - 9997407565055750430719793703578551/152256476143\ 122951247922453668776883*c_1001_4^2 - 144317635570492606720935794881212793/152256476143122951247922453668\ 776883*c_1001_4 + 69541875740532166453554879550128306/1522564761431\ 22951247922453668776883, c_0101_1 - 294764602324112140508663773436069/15225647614312295124792245\ 3668776883*c_1001_4^17 - 632050941045128627603499163754493/15225647\ 6143122951247922453668776883*c_1001_4^16 + 517531306531194720057428184541719/152256476143122951247922453668776\ 883*c_1001_4^15 - 6152635721599918518855564712788317/15225647614312\ 2951247922453668776883*c_1001_4^14 - 1325186394575736477562917355974119/15225647614312295124792245366877\ 6883*c_1001_4^13 + 14895092604740631365171799680655051/152256476143\ 122951247922453668776883*c_1001_4^12 - 24403002389271602297461146800444167/1522564761431229512479224536687\ 76883*c_1001_4^11 + 143137947155356953237097910477219391/1522564761\ 43122951247922453668776883*c_1001_4^10 - 213744680863222657837267893784869730/152256476143122951247922453668\ 776883*c_1001_4^9 + 331823189280475862917160273765822626/1522564761\ 43122951247922453668776883*c_1001_4^8 - 738705056305438357003725631390682824/152256476143122951247922453668\ 776883*c_1001_4^7 + 427915523285393496783459917281572474/1522564761\ 43122951247922453668776883*c_1001_4^6 - 1149997861139188348166110099469368813/15225647614312295124792245366\ 8776883*c_1001_4^5 + 683052741395784223948141250487597696/152256476\ 143122951247922453668776883*c_1001_4^4 - 768699984247392925119602001819614826/152256476143122951247922453668\ 776883*c_1001_4^3 + 714680602690078257052634098636562168/1522564761\ 43122951247922453668776883*c_1001_4^2 - 332128909824632699731367046397407236/152256476143122951247922453668\ 776883*c_1001_4 - 48481053704700501586757406274815856/1522564761431\ 22951247922453668776883, c_0101_10 - 73847758636981527921280907970854/15225647614312295124792245\ 3668776883*c_1001_4^17 - 147658050515093758934816018237425/15225647\ 6143122951247922453668776883*c_1001_4^16 + 134587051257112698739612167751579/152256476143122951247922453668776\ 883*c_1001_4^15 - 1581885913370919127579172344684117/15225647614312\ 2951247922453668776883*c_1001_4^14 + 117761167642810876282720301528982/152256476143122951247922453668776\ 883*c_1001_4^13 + 3697225722708928583853896579805537/15225647614312\ 2951247922453668776883*c_1001_4^12 - 6791674089598368984910075736282185/15225647614312295124792245366877\ 6883*c_1001_4^11 + 40961594880945382140147065169380941/152256476143\ 122951247922453668776883*c_1001_4^10 - 60289798909494725709899240058385854/1522564761431229512479224536687\ 76883*c_1001_4^9 + 91102461126269653756882611629920782/152256476143\ 122951247922453668776883*c_1001_4^8 - 203152584836879072624588644851650364/152256476143122951247922453668\ 776883*c_1001_4^7 + 95932295983416148448035757477785065/15225647614\ 3122951247922453668776883*c_1001_4^6 - 252658125286049478870325736712417533/152256476143122951247922453668\ 776883*c_1001_4^5 + 134957440900362851334183753904048335/1522564761\ 43122951247922453668776883*c_1001_4^4 + 6906284873061661259098092928911920/15225647614312295124792245366877\ 6883*c_1001_4^3 + 136431972507746204619069344775158691/152256476143\ 122951247922453668776883*c_1001_4^2 + 167829533684156247143725648623505178/152256476143122951247922453668\ 776883*c_1001_4 - 131894761131775214108422821395431524/152256476143\ 122951247922453668776883, c_0101_2 - 92623205576217499508579607950118/152256476143122951247922453\ 668776883*c_1001_4^17 - 136382714094904269136577930928962/152256476\ 143122951247922453668776883*c_1001_4^16 + 321018769070972591395787095742353/152256476143122951247922453668776\ 883*c_1001_4^15 - 1933809179351398357375938288129560/15225647614312\ 2951247922453668776883*c_1001_4^14 + 1097976017322627961408480474691091/15225647614312295124792245366877\ 6883*c_1001_4^13 + 5700783868768015613820078334087423/1522564761431\ 22951247922453668776883*c_1001_4^12 - 9971968864412999334120419735577603/15225647614312295124792245366877\ 6883*c_1001_4^11 + 51750517156104848883029031159128713/152256476143\ 122951247922453668776883*c_1001_4^10 - 96189947727841691528372943355344311/1522564761431229512479224536687\ 76883*c_1001_4^9 + 130539869897944566430263308148324343/15225647614\ 3122951247922453668776883*c_1001_4^8 - 298639688800782252185881849233728007/152256476143122951247922453668\ 776883*c_1001_4^7 + 251783305339327596072786473158329913/1522564761\ 43122951247922453668776883*c_1001_4^6 - 381884457509558799300597991227420287/152256476143122951247922453668\ 776883*c_1001_4^5 + 512684716525586790601380608678009178/1522564761\ 43122951247922453668776883*c_1001_4^4 - 236608737318396864140540088699559095/152256476143122951247922453668\ 776883*c_1001_4^3 + 600594026091674513984365442943098007/1522564761\ 43122951247922453668776883*c_1001_4^2 - 125337184217835728429550595124801234/152256476143122951247922453668\ 776883*c_1001_4 + 126634599948351625799885556435106130/152256476143\ 122951247922453668776883, c_0101_6 - 1, c_0110_4 + 73538780945855121480362952495933/152256476143122951247922453\ 668776883*c_1001_4^17 + 203440975812534525687012004038933/152256476\ 143122951247922453668776883*c_1001_4^16 - 206222677018832583565445702419998/152256476143122951247922453668776\ 883*c_1001_4^15 + 1049512414478408257816220761355573/15225647614312\ 2951247922453668776883*c_1001_4^14 + 1635303115593012961099317991298234/15225647614312295124792245366877\ 6883*c_1001_4^13 - 6956179532113213012997430148491403/1522564761431\ 22951247922453668776883*c_1001_4^12 + 2112034343542467756885812640460857/15225647614312295124792245366877\ 6883*c_1001_4^11 - 20654468815226388828725786145760304/152256476143\ 122951247922453668776883*c_1001_4^10 + 16985215483582256994824843923986515/1522564761431229512479224536687\ 76883*c_1001_4^9 + 27975113932498664817708445038159295/152256476143\ 122951247922453668776883*c_1001_4^8 + 35537685670813835307839899923913141/1522564761431229512479224536687\ 76883*c_1001_4^7 + 118699557853806905798462840151218864/15225647614\ 3122951247922453668776883*c_1001_4^6 - 76370789667049638599296589964547701/1522564761431229512479224536687\ 76883*c_1001_4^5 + 22572925194003485966857866710261766/152256476143\ 122951247922453668776883*c_1001_4^4 - 261139847470274398098888843465282936/152256476143122951247922453668\ 776883*c_1001_4^3 + 103072224904833504209560519844333828/1522564761\ 43122951247922453668776883*c_1001_4^2 - 119651789188365760631490398686204491/152256476143122951247922453668\ 776883*c_1001_4 + 284470411650726514297350312346590563/152256476143\ 122951247922453668776883, c_1001_4^18 + 2*c_1001_4^17 - 2*c_1001_4^16 + 22*c_1001_4^15 + 3*c_1001_4^14 - 51*c_1001_4^13 + 106*c_1001_4^12 - 496*c_1001_4^11 + 761*c_1001_4^10 - 1195*c_1001_4^9 + 2358*c_1001_4^8 - 1420*c_1001_4^7 + 3562*c_1001_4^6 - 1423*c_1001_4^5 + 2748*c_1001_4^4 - 679*c_1001_4^3 + 811*c_1001_4^2 + 1060*c_1001_4 - 1201 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.950 Total time: 4.160 seconds, Total memory usage: 64.12MB