Magma V2.19-8 Tue Aug 20 2013 23:38:52 on localhost [Seed = 2968966385] Type ? for help. Type -D to quit. Loading file "K12n250__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n250 geometric_solution 9.98114070 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 0 -1 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608642607520 0.931739783498 0 5 7 6 0132 0132 0132 0132 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 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.697975992931 0.360434764809 7 0 8 6 0132 0132 0132 2103 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 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.552933579588 1.755638680947 6 8 4 0 0132 0132 0213 0132 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 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.648924982479 0.587136206711 8 3 0 5 0132 0213 0132 1302 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 1 -1 1 0 0 -1 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.511419746624 0.427029363722 9 1 4 9 0132 0132 2031 2103 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 0 0 0 0 0 0 -1 0 1 0 0 -2 0 2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522932792660 0.602532491957 3 8 1 2 0132 3201 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.168922514498 0.431135092976 2 10 9 1 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 -1 0 1 0 1 -1 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522932792660 0.602532491957 4 3 6 2 0132 0132 2310 0132 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 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.913391601220 0.736418389419 5 10 7 5 0132 1023 3120 2103 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 2 -2 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 0 0 0 0.522932792660 0.602532491957 9 7 10 10 1023 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 -1 1 0 0 -1 1 1 -2 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.680995053777 1.016759903873 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0110_10']), 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : negation(d['c_0110_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], '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' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_0101_7']), 'c_1100_8' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0101_5']), 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_3']), 'c_1100_10' : d['c_0101_10'], 'c_1010_7' : negation(d['c_0110_10']), 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : negation(d['c_0110_10']), 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0110_10'], 'c_1010_8' : d['c_1001_2'], '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), '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_10' : d['c_0110_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : negation(d['c_0011_0']), 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_7'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_0101_7, c_0101_8, c_0110_10, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 6085553599403708829063793420591378761775850492834162169051/20685970\ 821326278517445246836915343107360370608819114*c_1001_2^24 - 144058789426749966922055996601804925151058544001261895760127/827438\ 83285305114069780987347661372429441482435276456*c_1001_2^23 - 161841083877482944265714430448041224016397997915990900617727/413719\ 41642652557034890493673830686214720741217638228*c_1001_2^22 + 7144544670863145484798670630306451977218266174865376814917/41371941\ 642652557034890493673830686214720741217638228*c_1001_2^21 + 10394546991327073614671561780258127864784356088472996458920/1034298\ 5410663139258722623418457671553680185304409557*c_1001_2^20 - 179584568738236816624752860387281967841004557162060259197353/827438\ 83285305114069780987347661372429441482435276456*c_1001_2^19 + 165356677174619431553071437995601344562725927501134870479703/413719\ 41642652557034890493673830686214720741217638228*c_1001_2^18 - 241153428672267603682192023739127231438671323446875165173531/413719\ 41642652557034890493673830686214720741217638228*c_1001_2^17 + 149092792611001382784137522423122930752814227516625176876599/413719\ 41642652557034890493673830686214720741217638228*c_1001_2^16 - 191214539245273935475009546041475497484965296965780266308143/413719\ 41642652557034890493673830686214720741217638228*c_1001_2^15 + 157443952887511810390295897415383059663068003686598817775209/827438\ 83285305114069780987347661372429441482435276456*c_1001_2^14 - 169707301675112106217472661964601067054403554948392539407679/827438\ 83285305114069780987347661372429441482435276456*c_1001_2^13 + 6553829403145876019066987405538294955855958310481829488855/10342985\ 410663139258722623418457671553680185304409557*c_1001_2^12 - 51342270323168362482511745449921828968679605096914060646979/8274388\ 3285305114069780987347661372429441482435276456*c_1001_2^11 + 12550504870310751120012801077276923808862390182115018521039/8274388\ 3285305114069780987347661372429441482435276456*c_1001_2^10 - 1744961098922141056032972506586369712643013056134647654921/10342985\ 410663139258722623418457671553680185304409557*c_1001_2^9 + 2284734776085384883774009240658825515446640244742976573997/41371941\ 642652557034890493673830686214720741217638228*c_1001_2^8 - 4102139657677715497299316445564876102186733397187537498463/82743883\ 285305114069780987347661372429441482435276456*c_1001_2^7 + 1469540141295180245949805229191872916330590662157468591143/41371941\ 642652557034890493673830686214720741217638228*c_1001_2^6 - 1259573384575692767352249210337860568486283743819410727935/82743883\ 285305114069780987347661372429441482435276456*c_1001_2^5 + 591631370160888793145404213552471691407288602003540227011/413719416\ 42652557034890493673830686214720741217638228*c_1001_2^4 - 293276978647335839425776932036140402132437079194521079229/827438832\ 85305114069780987347661372429441482435276456*c_1001_2^3 + 32384993477924815476131689324009580255843532347356376767/1034298541\ 0663139258722623418457671553680185304409557*c_1001_2^2 - 27406943647872114119144208177177605463690305603037494809/8274388328\ 5305114069780987347661372429441482435276456*c_1001_2 + 12756554603863513358848957551809560439532543598368272997/4137194164\ 2652557034890493673830686214720741217638228, c_0011_0 - 1, c_0011_3 + 14039107388598233934241384635692511912955700133204791/423474\ 57677716432780420254660182653828309683077*c_1001_2^24 - 74387214565073974934121006482094241507667476219138190/4234745767771\ 6432780420254660182653828309683077*c_1001_2^23 - 233474663940405884729117630417378330980472559060818173/423474576777\ 16432780420254660182653828309683077*c_1001_2^22 - 130292271108378825846042500555860697372384369155501547/423474576777\ 16432780420254660182653828309683077*c_1001_2^21 - 35037960493434239543327773762216561391070001077500141/4234745767771\ 6432780420254660182653828309683077*c_1001_2^20 - 148501104133609811874169332264892208228812841301981463/423474576777\ 16432780420254660182653828309683077*c_1001_2^19 + 112088291702752619665511849970723792021684271262751675/423474576777\ 16432780420254660182653828309683077*c_1001_2^18 - 184033466904436621397054712114465529953607095554064004/423474576777\ 16432780420254660182653828309683077*c_1001_2^17 + 26289016429425239724351604993555406779449624832841292/4234745767771\ 6432780420254660182653828309683077*c_1001_2^16 - 164615832261632133073148535852914997392034979380920035/423474576777\ 16432780420254660182653828309683077*c_1001_2^15 - 52051691280694317920794427430882291139633982095563531/4234745767771\ 6432780420254660182653828309683077*c_1001_2^14 - 102523671245392361322020871311270310055126388023081054/423474576777\ 16432780420254660182653828309683077*c_1001_2^13 - 51436819195693592114747665523091043584047434515718136/4234745767771\ 6432780420254660182653828309683077*c_1001_2^12 - 49330260944676101959842003031147394317458724865750571/4234745767771\ 6432780420254660182653828309683077*c_1001_2^11 - 27347087205298559792961917190764614621055757129320125/4234745767771\ 6432780420254660182653828309683077*c_1001_2^10 - 21019843203649034211688181044994908218871607531466934/4234745767771\ 6432780420254660182653828309683077*c_1001_2^9 - 10768347050404578691457916366430412321515489175048169/4234745767771\ 6432780420254660182653828309683077*c_1001_2^8 - 7747262885894594225930551435102012730557615369078642/42347457677716\ 432780420254660182653828309683077*c_1001_2^7 - 3195965941680587470774921598898332950400190941465596/42347457677716\ 432780420254660182653828309683077*c_1001_2^6 - 2093308379296958240376671967427352525874761748148606/42347457677716\ 432780420254660182653828309683077*c_1001_2^5 - 669154480304341894497057044684080146926165451461450/423474576777164\ 32780420254660182653828309683077*c_1001_2^4 - 344752520510334318626929643129214970049733771125334/423474576777164\ 32780420254660182653828309683077*c_1001_2^3 - 89046939450117957500355038740538540483934613404736/4234745767771643\ 2780420254660182653828309683077*c_1001_2^2 - 25391250940172084579070977475109318342890807308453/4234745767771643\ 2780420254660182653828309683077*c_1001_2 - 5766760177561382743844099499441640890338020810316/42347457677716432\ 780420254660182653828309683077, c_0101_0 + 4145583236580018304735826201632720653618334132166930/4234745\ 7677716432780420254660182653828309683077*c_1001_2^24 - 20436592558115138204492534416717952956685953125990920/4234745767771\ 6432780420254660182653828309683077*c_1001_2^23 - 77576572105455527296907969465379779705866686223252893/4234745767771\ 6432780420254660182653828309683077*c_1001_2^22 - 60976141781092730851624510081142426253487988538358896/4234745767771\ 6432780420254660182653828309683077*c_1001_2^21 - 16218572218697278309207439448471249311165507155339945/4234745767771\ 6432780420254660182653828309683077*c_1001_2^20 - 44645379957754511742048804315982703884034004823503695/4234745767771\ 6432780420254660182653828309683077*c_1001_2^19 + 16826234642449583924335867769647866363619638550591453/4234745767771\ 6432780420254660182653828309683077*c_1001_2^18 - 36778720957969337674516318826086798473702723023607966/4234745767771\ 6432780420254660182653828309683077*c_1001_2^17 - 17345861817487437058020038736579234722616801506267962/4234745767771\ 6432780420254660182653828309683077*c_1001_2^16 - 38187880704786298128556699956446127743057780141110742/4234745767771\ 6432780420254660182653828309683077*c_1001_2^15 - 35497480378536324806015700386079014302534158548377483/4234745767771\ 6432780420254660182653828309683077*c_1001_2^14 - 29714882766558529673688495670480416116055868722924458/4234745767771\ 6432780420254660182653828309683077*c_1001_2^13 - 25694458314008572110058753152640862033319838117017876/4234745767771\ 6432780420254660182653828309683077*c_1001_2^12 - 16735243309933962851013501509257475579882327270332967/4234745767771\ 6432780420254660182653828309683077*c_1001_2^11 - 12365289661865413003363576645953728378997398418933678/4234745767771\ 6432780420254660182653828309683077*c_1001_2^10 - 7705645114791135208883337700591576542975236571312766/42347457677716\ 432780420254660182653828309683077*c_1001_2^9 - 4844654814654549745113789554267946388816794587649195/42347457677716\ 432780420254660182653828309683077*c_1001_2^8 - 2870063028181157805217260779569710488453800355485148/42347457677716\ 432780420254660182653828309683077*c_1001_2^7 - 1548225192984964228173879775931451104575004895805634/42347457677716\ 432780420254660182653828309683077*c_1001_2^6 - 755669529424932797456917416979943443325070166553919/423474576777164\ 32780420254660182653828309683077*c_1001_2^5 - 363869885611276240378221689921583071543007672983135/423474576777164\ 32780420254660182653828309683077*c_1001_2^4 - 119258088074781837457174295300801035554159380429888/423474576777164\ 32780420254660182653828309683077*c_1001_2^3 - 54137601666079688136995473692176907795813770161432/4234745767771643\ 2780420254660182653828309683077*c_1001_2^2 - 8310845499843427628030026339967903035263078680676/42347457677716432\ 780420254660182653828309683077*c_1001_2 - 3753214177418605657915520314649342583919376095203/42347457677716432\ 780420254660182653828309683077, c_0101_1 - 3052337038051990967941221838386584398156238086305853/4234745\ 7677716432780420254660182653828309683077*c_1001_2^24 + 25070564961149397584676065913368800314590913276689601/4234745767771\ 6432780420254660182653828309683077*c_1001_2^23 + 915059743147264699545941923622594849168891476876119/423474576777164\ 32780420254660182653828309683077*c_1001_2^22 - 104591160276149991698857289501430451030764535812904807/423474576777\ 16432780420254660182653828309683077*c_1001_2^21 - 33988351767998760805235293218781492513009399351653700/4234745767771\ 6432780420254660182653828309683077*c_1001_2^20 + 23405686089899793545161683818063634243229080941794215/4234745767771\ 6432780420254660182653828309683077*c_1001_2^19 - 117297371424616945821491094228491716502691325809363558/423474576777\ 16432780420254660182653828309683077*c_1001_2^18 + 138580552683505316233454930690875270331347398755324853/423474576777\ 16432780420254660182653828309683077*c_1001_2^17 - 151015922027924091992381035211040549819588984937827617/423474576777\ 16432780420254660182653828309683077*c_1001_2^16 + 94610401078783738644832335438124101354969453327918319/4234745767771\ 6432780420254660182653828309683077*c_1001_2^15 - 108589142914566542865252856990170417867788289598979881/423474576777\ 16432780420254660182653828309683077*c_1001_2^14 + 23922501843929188250707317938841916862785157103879346/4234745767771\ 6432780420254660182653828309683077*c_1001_2^13 - 53112410038895878373715340390501587323099152395922656/4234745767771\ 6432780420254660182653828309683077*c_1001_2^12 - 3326566070485511716265074856635738794542099535654316/42347457677716\ 432780420254660182653828309683077*c_1001_2^11 - 20802550492563154342499225259508815231621507719408399/4234745767771\ 6432780420254660182653828309683077*c_1001_2^10 - 5018796719655190424579743556116639900121598282704878/42347457677716\ 432780420254660182653828309683077*c_1001_2^9 - 8078195118416079906452213688504376011460808650097063/42347457677716\ 432780420254660182653828309683077*c_1001_2^8 - 2107376917870229392483115595953137832978287801609116/42347457677716\ 432780420254660182653828309683077*c_1001_2^7 - 3085354876374357814360519198043294745813207206613179/42347457677716\ 432780420254660182653828309683077*c_1001_2^6 - 478611045625566240005363247901049801782050309524481/423474576777164\ 32780420254660182653828309683077*c_1001_2^5 - 903541864308984657393051590317892453658823067816616/423474576777164\ 32780420254660182653828309683077*c_1001_2^4 - 52491132743368648912726651225486188435890030662352/4234745767771643\ 2780420254660182653828309683077*c_1001_2^3 - 160662807686796892767471489281723766158613947835058/423474576777164\ 32780420254660182653828309683077*c_1001_2^2 - 1499776917902198725334263857953285799844820803797/42347457677716432\ 780420254660182653828309683077*c_1001_2 - 12570120944572108610816211160635912437953432450328/4234745767771643\ 2780420254660182653828309683077, c_0101_10 - 18871213482707879460107338545631236679349276199928897/42347\ 457677716432780420254660182653828309683077*c_1001_2^24 + 110085934602946017340164831119696237861153096618249570/423474576777\ 16432780420254660182653828309683077*c_1001_2^23 + 257500667786421655340020039126025720312636848656383049/423474576777\ 16432780420254660182653828309683077*c_1001_2^22 + 23029265345707284614275407034782799603800815311739799/4234745767771\ 6432780420254660182653828309683077*c_1001_2^21 - 3323424639408977079986614531774488319522631830185732/42347457677716\ 432780420254660182653828309683077*c_1001_2^20 + 189575467826250328168000256864841612176406392960654568/423474576777\ 16432780420254660182653828309683077*c_1001_2^19 - 254755429551536886695770412105537775266204077178773669/423474576777\ 16432780420254660182653828309683077*c_1001_2^18 + 357208218296615902246160644292959846757268108923145828/423474576777\ 16432780420254660182653828309683077*c_1001_2^17 - 197745680520070219113164092168446174111478162449986004/423474576777\ 16432780420254660182653828309683077*c_1001_2^16 + 284695152762270958340001114218179585778679944241503623/423474576777\ 16432780420254660182653828309683077*c_1001_2^15 - 64758411501849709887685508928875221744146849273243071/4234745767771\ 6432780420254660182653828309683077*c_1001_2^14 + 137504732315958184010760209618762415927467910603067421/423474576777\ 16432780420254660182653828309683077*c_1001_2^13 - 3499071334047165468789893327280805758005959291366647/42347457677716\ 432780420254660182653828309683077*c_1001_2^12 + 49539171635185267019445394868245072462302775408404311/4234745767771\ 6432780420254660182653828309683077*c_1001_2^11 + 6420842549625846389315389841109132356400066481389198/42347457677716\ 432780420254660182653828309683077*c_1001_2^10 + 17126008481646497360232442093681278378179744720810051/4234745767771\ 6432780420254660182653828309683077*c_1001_2^9 + 2626250409435892956368707911997138632988263758574022/42347457677716\ 432780420254660182653828309683077*c_1001_2^8 + 6026518442092056700268427593603224474174963366055413/42347457677716\ 432780420254660182653828309683077*c_1001_2^7 + 7591935656106697437684966219765477654595079713219/42347457677716432\ 780420254660182653828309683077*c_1001_2^6 + 1727831373112221260868750507684167404594551448914769/42347457677716\ 432780420254660182653828309683077*c_1001_2^5 - 282210017421073022358265111245959766435797968239325/423474576777164\ 32780420254660182653828309683077*c_1001_2^4 + 313267781995083573768803706731632089030196347306346/423474576777164\ 32780420254660182653828309683077*c_1001_2^3 - 81063475088797762074039361464943416393796628523200/4234745767771643\ 2780420254660182653828309683077*c_1001_2^2 + 25639583860064021894407094286310166511418732908434/4234745767771643\ 2780420254660182653828309683077*c_1001_2 - 7441262713834212571765179387181832894777698840891/42347457677716432\ 780420254660182653828309683077, c_0101_5 + 3052337038051990967941221838386584398156238086305853/4234745\ 7677716432780420254660182653828309683077*c_1001_2^24 - 25070564961149397584676065913368800314590913276689601/4234745767771\ 6432780420254660182653828309683077*c_1001_2^23 - 915059743147264699545941923622594849168891476876119/423474576777164\ 32780420254660182653828309683077*c_1001_2^22 + 104591160276149991698857289501430451030764535812904807/423474576777\ 16432780420254660182653828309683077*c_1001_2^21 + 33988351767998760805235293218781492513009399351653700/4234745767771\ 6432780420254660182653828309683077*c_1001_2^20 - 23405686089899793545161683818063634243229080941794215/4234745767771\ 6432780420254660182653828309683077*c_1001_2^19 + 117297371424616945821491094228491716502691325809363558/423474576777\ 16432780420254660182653828309683077*c_1001_2^18 - 138580552683505316233454930690875270331347398755324853/423474576777\ 16432780420254660182653828309683077*c_1001_2^17 + 151015922027924091992381035211040549819588984937827617/423474576777\ 16432780420254660182653828309683077*c_1001_2^16 - 94610401078783738644832335438124101354969453327918319/4234745767771\ 6432780420254660182653828309683077*c_1001_2^15 + 108589142914566542865252856990170417867788289598979881/423474576777\ 16432780420254660182653828309683077*c_1001_2^14 - 23922501843929188250707317938841916862785157103879346/4234745767771\ 6432780420254660182653828309683077*c_1001_2^13 + 53112410038895878373715340390501587323099152395922656/4234745767771\ 6432780420254660182653828309683077*c_1001_2^12 + 3326566070485511716265074856635738794542099535654316/42347457677716\ 432780420254660182653828309683077*c_1001_2^11 + 20802550492563154342499225259508815231621507719408399/4234745767771\ 6432780420254660182653828309683077*c_1001_2^10 + 5018796719655190424579743556116639900121598282704878/42347457677716\ 432780420254660182653828309683077*c_1001_2^9 + 8078195118416079906452213688504376011460808650097063/42347457677716\ 432780420254660182653828309683077*c_1001_2^8 + 2107376917870229392483115595953137832978287801609116/42347457677716\ 432780420254660182653828309683077*c_1001_2^7 + 3085354876374357814360519198043294745813207206613179/42347457677716\ 432780420254660182653828309683077*c_1001_2^6 + 478611045625566240005363247901049801782050309524481/423474576777164\ 32780420254660182653828309683077*c_1001_2^5 + 903541864308984657393051590317892453658823067816616/423474576777164\ 32780420254660182653828309683077*c_1001_2^4 + 52491132743368648912726651225486188435890030662352/4234745767771643\ 2780420254660182653828309683077*c_1001_2^3 + 160662807686796892767471489281723766158613947835058/423474576777164\ 32780420254660182653828309683077*c_1001_2^2 + 1499776917902198725334263857953285799844820803797/42347457677716432\ 780420254660182653828309683077*c_1001_2 + 12570120944572108610816211160635912437953432450328/4234745767771643\ 2780420254660182653828309683077, c_0101_7 - 7767101466455762688332341317118448826256251649494082/4234745\ 7677716432780420254660182653828309683077*c_1001_2^24 + 27083480219535500451959003555564947619905672999692400/4234745767771\ 6432780420254660182653828309683077*c_1001_2^23 + 207340821929480232355548866814239104504387824579302018/423474576777\ 16432780420254660182653828309683077*c_1001_2^22 + 285594197589700277397542211441290843124783984531493264/423474576777\ 16432780420254660182653828309683077*c_1001_2^21 + 97381959723310134039257454268588985425645444576211835/4234745767771\ 6432780420254660182653828309683077*c_1001_2^20 + 103812646506502364355728419590548646616209720906482750/423474576777\ 16432780420254660182653828309683077*c_1001_2^19 + 83219702730389841872796404099141751403694141669421023/4234745767771\ 6432780420254660182653828309683077*c_1001_2^18 - 49239226029201908893113482708122958702360919953940579/4234745767771\ 6432780420254660182653828309683077*c_1001_2^17 + 212538350516098307005659722126683644368339632149757335/423474576777\ 16432780420254660182653828309683077*c_1001_2^16 + 2765797604335466693042974041731341176953630911445321/42347457677716\ 432780420254660182653828309683077*c_1001_2^15 + 221402003579561878665460708716831643575185803379576767/423474576777\ 16432780420254660182653828309683077*c_1001_2^14 + 58706873462266781429427857935297801020831399587394876/4234745767771\ 6432780420254660182653828309683077*c_1001_2^13 + 134319496799743898890309835033803900700526148041761732/423474576777\ 16432780420254660182653828309683077*c_1001_2^12 + 52548218646785621682537948249588232922694698254787673/4234745767771\ 6432780420254660182653828309683077*c_1001_2^11 + 59885771051452557634991758317445426774619485018328873/4234745767771\ 6432780420254660182653828309683077*c_1001_2^10 + 28311050440634734697302541946957807190728976063130944/4234745767771\ 6432780420254660182653828309683077*c_1001_2^9 + 23484081379162729312948114264694341974212340552814605/4234745767771\ 6432780420254660182653828309683077*c_1001_2^8 + 10943583757869877772287844464408959801952078200885578/4234745767771\ 6432780420254660182653828309683077*c_1001_2^7 + 8126053709876761044388018278305626820740261774191008/42347457677716\ 432780420254660182653828309683077*c_1001_2^6 + 2851868970124809954581150377728950336736235151264666/42347457677716\ 432780420254660182653828309683077*c_1001_2^5 + 2135264347771510122699461545559974953739707278842550/42347457677716\ 432780420254660182653828309683077*c_1001_2^4 + 435544376893819600215596111763922157236570753456338/423474576777164\ 32780420254660182653828309683077*c_1001_2^3 + 353780919140068321315733416451854490127491968181754/423474576777164\ 32780420254660182653828309683077*c_1001_2^2 + 28927058535649250976407309697955216051904173129194/4234745767771643\ 2780420254660182653828309683077*c_1001_2 + 26941620611862006062793304963700961506742022049465/4234745767771643\ 2780420254660182653828309683077, c_0101_8 - 9989251557170104732741739980433887467906761477194431/4234745\ 7677716432780420254660182653828309683077*c_1001_2^24 + 46160441162082682315783737677499709438968280267414447/4234745767771\ 6432780420254660182653828309683077*c_1001_2^23 + 203519973903359954465004653608166631186841562914659804/423474576777\ 16432780420254660182653828309683077*c_1001_2^22 + 196319415615211211920210702907246219420497180339549327/423474576777\ 16432780420254660182653828309683077*c_1001_2^21 + 66959318280434983858566616350537750813751648023640720/4234745767771\ 6432780420254660182653828309683077*c_1001_2^20 + 120173828784000619686634376846380465255799133472424842/423474576777\ 16432780420254660182653828309683077*c_1001_2^19 - 10400734705050220227505717530356381493427117659290527/4234745767771\ 6432780420254660182653828309683077*c_1001_2^18 + 59399164877918782498738317747793988328831567299636010/4234745767771\ 6432780420254660182653828309683077*c_1001_2^17 + 91070493223171418761801388952917781617695309146387776/4234745767771\ 6432780420254660182653828309683077*c_1001_2^16 + 74690712733567382630013721058580145225020803850537587/4234745767771\ 6432780420254660182653828309683077*c_1001_2^15 + 132386904608840497835637300396740925982007811263033348/423474576777\ 16432780420254660182653828309683077*c_1001_2^14 + 74661768325047582748196853390712988809304151553625605/4234745767771\ 6432780420254660182653828309683077*c_1001_2^13 + 90015610733795198086578223419415388803708084669863058/4234745767771\ 6432780420254660182653828309683077*c_1001_2^12 + 48191723085565203406006861276945277022074696927054856/4234745767771\ 6432780420254660182653828309683077*c_1001_2^11 + 42279885778424187291616744218959115833942282559383237/4234745767771\ 6432780420254660182653828309683077*c_1001_2^10 + 23572311883631102150277722262157430141048419277877633/4234745767771\ 6432780420254660182653828309683077*c_1001_2^9 + 16613846423227561855893271249201313292107258900511513/4234745767771\ 6432780420254660182653828309683077*c_1001_2^8 + 8989223544215172652089509532101394013830253507309177/42347457677716\ 432780420254660182653828309683077*c_1001_2^7 + 5526237551580960575234208024494027978357474817524693/42347457677716\ 432780420254660182653828309683077*c_1001_2^6 + 2392574973910832946110054404582435909114788661768356/42347457677716\ 432780420254660182653828309683077*c_1001_2^5 + 1384863069019236513156678171451189589496455154674376/42347457677716\ 432780420254660182653828309683077*c_1001_2^4 + 379553759457267219870445339026866390104241775808137/423474576777164\ 32780420254660182653828309683077*c_1001_2^3 + 222211550779138572259152229867980089514151271723325/423474576777164\ 32780420254660182653828309683077*c_1001_2^2 + 26447874270568824459944550188193547503072230007639/4234745767771643\ 2780420254660182653828309683077*c_1001_2 + 16746879577545281513186846716129284927325606479815/4234745767771643\ 2780420254660182653828309683077, c_0110_10 - 29345353017160985216154214122659085743365980568583084/42347\ 457677716432780420254660182653828309683077*c_1001_2^24 + 158935253429108724849206774630792423225225168434324124/423474576777\ 16432780420254660182653828309683077*c_1001_2^23 + 468174988405935624697236543862954146584651079738014638/423474576777\ 16432780420254660182653828309683077*c_1001_2^22 + 223865171883037304457008629878155216527319526335716893/423474576777\ 16432780420254660182653828309683077*c_1001_2^21 + 65294373312890328289704158045626322130955795791731828/4234745767771\ 6432780420254660182653828309683077*c_1001_2^20 + 308575895125583521722116887267573700826150243621046297/423474576777\ 16432780420254660182653828309683077*c_1001_2^19 - 271966411480166178262315932183527453656698525019935177/423474576777\ 16432780420254660182653828309683077*c_1001_2^18 + 428344592486104996581478197547665744741942647370778896/423474576777\ 16432780420254660182653828309683077*c_1001_2^17 - 116713178201418689482851478502151230841023992166599003/423474576777\ 16432780420254660182653828309683077*c_1001_2^16 + 373976565304140809527485854326099485109003960187744489/423474576777\ 16432780420254660182653828309683077*c_1001_2^15 + 60565312696317550006748695430786909137038294893375744/4234745767771\ 6432780420254660182653828309683077*c_1001_2^14 + 219934133246534049007730381428394688494014188623262010/423474576777\ 16432780420254660182653828309683077*c_1001_2^13 + 83305466104915194767873521765671600675137716651278969/4234745767771\ 6432780420254660182653828309683077*c_1001_2^12 + 100032586936254827083865576518876993025252887118642665/423474576777\ 16432780420254660182653828309683077*c_1001_2^11 + 47634405270523965929546500997110910447682489112684451/4234745767771\ 6432780420254660182653828309683077*c_1001_2^10 + 41162134141985986058395271193780581552145406070247443/4234745767771\ 6432780420254660182653828309683077*c_1001_2^9 + 18891778840657931095832819119279537600077494065884425/4234745767771\ 6432780420254660182653828309683077*c_1001_2^8 + 15102919644861422930423029465586950430140951912455790/4234745767771\ 6432780420254660182653828309683077*c_1001_2^7 + 5354204207576151649841435754447545442294410182065347/42347457677716\ 432780420254660182653828309683077*c_1001_2^6 + 4144370560952352986223350958696824965639847843516922/42347457677716\ 432780420254660182653828309683077*c_1001_2^5 + 1020542590262779037960245644778426656976072634361845/42347457677716\ 432780420254660182653828309683077*c_1001_2^4 + 700275207540331014374030949725880117175708451214305/423474576777164\ 32780420254660182653828309683077*c_1001_2^3 + 119933883231791379714159432576533367614432498231437/423474576777164\ 32780420254660182653828309683077*c_1001_2^2 + 53282048158100591967904948807711041521294619752935/4234745767771643\ 2780420254660182653828309683077*c_1001_2 + 7071591289937175246244708426473744509069487127619/42347457677716432\ 780420254660182653828309683077, c_1001_0 + 8719534492486892456874866773871474293909146756440709/4234745\ 7677716432780420254660182653828309683077*c_1001_2^24 - 50700700404894355667717044025116100552395051875883596/4234745767771\ 6432780420254660182653828309683077*c_1001_2^23 - 119787357672689352370686261607317708517428676997153344/423474576777\ 16432780420254660182653828309683077*c_1001_2^22 - 13715684543417439132834131010127216664276917730247257/4234745767771\ 6432780420254660182653828309683077*c_1001_2^21 - 1261953887140474250741951100838365559669173023350076/42347457677716\ 432780420254660182653828309683077*c_1001_2^20 - 88768211468687755143575965297791585894791672179475038/4234745767771\ 6432780420254660182653828309683077*c_1001_2^19 + 116400761691252613013470638703322307840660168195991516/423474576777\ 16432780420254660182653828309683077*c_1001_2^18 - 163974496400022343377011497360988857568009191162963329/423474576777\ 16432780420254660182653828309683077*c_1001_2^17 + 89404534633702172391165928057268579548798968670648843/4234745767771\ 6432780420254660182653828309683077*c_1001_2^16 - 131663947293040164306573320964026814641466846381508499/423474576777\ 16432780420254660182653828309683077*c_1001_2^15 + 27625429099965005073094649430653197559052950098386925/4234745767771\ 6432780420254660182653828309683077*c_1001_2^14 - 64508591323727930702667004263877494950040209805512792/4234745767771\ 6432780420254660182653828309683077*c_1001_2^13 + 31656556792565920740599711063212515699273391808750/4234745767771643\ 2780420254660182653828309683077*c_1001_2^12 - 23688348016312122666369359591415557484409688675930320/4234745767771\ 6432780420254660182653828309683077*c_1001_2^11 - 3728592092459733171343981429551500262722854382609866/42347457677716\ 432780420254660182653828309683077*c_1001_2^10 - 8320304795717438293565469022044157446580730939414254/42347457677716\ 432780420254660182653828309683077*c_1001_2^9 - 1528212061247176012350282857582868111463382748020319/42347457677716\ 432780420254660182653828309683077*c_1001_2^8 - 2947747530747599609150566979579938352142652792672464/42347457677716\ 432780420254660182653828309683077*c_1001_2^7 - 116161371697830923444209354973379392530920960840369/423474576777164\ 32780420254660182653828309683077*c_1001_2^6 - 845544192604058632108775682249880645581543167464200/423474576777164\ 32780420254660182653828309683077*c_1001_2^5 + 101436333041868530013683539204594878240013058012741/423474576777164\ 32780420254660182653828309683077*c_1001_2^4 - 153157114823377888880332705954777928334006623153839/423474576777164\ 32780420254660182653828309683077*c_1001_2^3 + 32955991460250920895650087005318013075364570435008/4234745767771643\ 2780420254660182653828309683077*c_1001_2^2 - 12558474844737081734308330187091677279356261354622/4234745767771643\ 2780420254660182653828309683077*c_1001_2 + 3120221592759477993325592229685911910683847159095/42347457677716432\ 780420254660182653828309683077, c_1001_2^25 - 9497/1751*c_1001_2^24 - 27260/1751*c_1001_2^23 - 16489/1751*c_1001_2^22 - 760/103*c_1001_2^21 - 21667/1751*c_1001_2^20 + 15509/1751*c_1001_2^19 - 31885/1751*c_1001_2^18 + 13630/1751*c_1001_2^17 - 32081/1751*c_1001_2^16 + 342/1751*c_1001_2^15 - 21307/1751*c_1001_2^14 - 4934/1751*c_1001_2^13 - 10430/1751*c_1001_2^12 - 3858/1751*c_1001_2^11 - 4332/1751*c_1001_2^10 - 1812/1751*c_1001_2^9 - 1635/1751*c_1001_2^8 - 593/1751*c_1001_2^7 - 514/1751*c_1001_2^6 - 130/1751*c_1001_2^5 - 116/1751*c_1001_2^4 - 1/103*c_1001_2^3 - 16/1751*c_1001_2^2 - 1/1751*c_1001_2 - 1/1751 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.300 Total time: 0.510 seconds, Total memory usage: 32.09MB