Magma V2.19-8 Wed Aug 21 2013 00:55:19 on localhost [Seed = 2851058653] Type ? for help. Type -D to quit. Loading file "L13a4307__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a4307 geometric_solution 11.16097332 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 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 6 -5 -1 0 0 1 -1 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.079276341123 0.854398881462 0 5 7 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386192961268 0.372735350204 8 0 8 4 0132 0132 2310 2031 0 0 0 0 0 1 0 -1 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 0 6 0 0 5 -5 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.105253201724 0.774320400604 6 9 7 0 0132 0132 2103 0132 0 1 0 1 0 1 0 -1 1 0 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 -1 0 2 -1 5 0 0 -5 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706102530226 0.404924068027 10 2 0 11 0132 1302 0132 0132 0 1 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 5 1 -6 -1 0 1 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.430411399592 0.450909414520 5 1 5 11 2310 0132 3201 0321 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 6 0 0 -6 0 0 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.822908723056 1.024173657847 3 12 1 9 0132 0132 0132 3120 0 1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577006238130 0.860074501663 3 11 10 1 2103 0321 2031 0132 0 1 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 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.419840163226 1.621651896362 2 2 8 8 0132 3201 2031 1302 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 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.537114849031 0.226142057602 6 3 10 12 3120 0132 3012 2310 0 1 1 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 0 0 0 0 0 5 0 -5 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.982499595563 0.572117574040 4 9 12 7 0132 1230 3120 1302 1 1 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 1 1 -2 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 1.173996889260 1.617501493343 12 5 4 7 3120 0321 0132 0321 0 1 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 -6 6 0 0 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.190261938873 0.722788551816 9 6 10 11 3201 0132 3120 3120 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460450552845 0.936235508599 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_0']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_0101_8'], 'c_1001_7' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : d['c_0011_7'], 'c_1001_2' : d['c_0101_8'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0101_2']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : d['c_0101_9'], '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_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_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' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_8'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : negation(d['c_0101_9']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_1']), 'c_1100_10' : negation(d['c_0101_12']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : negation(d['c_0011_11']), 'c_1010_0' : d['c_0101_8'], 'c_1010_9' : d['c_0011_7'], 'c_1010_8' : negation(d['c_0101_8']), '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' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), '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_12']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_7']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0011_7']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_12']), '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_9'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_12']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_12'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_12'])})} 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_12, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0101_8, c_0101_9, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 245444493407882542135528334424424511877288379070924254844/295390472\ 798251800750659149967668433010902677387249965*c_1001_1^22 + 141800305207760541059460893798112750771981654624454913989913/121110\ 09384728323830777025148674405753447009772877248565*c_1001_1^21 + 535437714092182481237690010015035842996169251137332099138743/121110\ 09384728323830777025148674405753447009772877248565*c_1001_1^20 - 1050413364159641568281828580949952505939528070169656511882228/40370\ 03128242774610259008382891468584482336590959082855*c_1001_1^19 - 47675651775613242781112226727918410929792402942214065188551944/1211\ 1009384728323830777025148674405753447009772877248565*c_1001_1^18 - 1171546246620733280239196335400267704734383588852815349858756771/48\ 444037538913295323108100594697623013788039091508994260*c_1001_1^17 - 1595303183186904818884213123014602590953318765893390463218588383/16\ 148012512971098441036033531565874337929346363836331420*c_1001_1^16 - 7362481367346604813291459466645302688036197505971239791224888127/24\ 222018769456647661554050297348811506894019545754497130*c_1001_1^15 - 1205478994240351622894733955389083602940771060091008793830816671/16\ 14801251297109844103603353156587433792934636383633142*c_1001_1^14 - 73319748677236749957954395501114737396859097133868607036330142357/4\ 8444037538913295323108100594697623013788039091508994260*c_1001_1^13 - 12530419072333177955193503157642603666723692359817841280613019193\ 1/48444037538913295323108100594697623013788039091508994260*c_1001_1\ ^12 - 6096466374284115290339559596714412167823480643943695216169154\ 9559/16148012512971098441036033531565874337929346363836331420*c_100\ 1_1^11 - 2297463531464183698508796904180009727371074078699791932101\ 41962579/48444037538913295323108100594697623013788039091508994260*c\ _1001_1^10 - 207726709780965543687503375208086628608355179839890635\ 77096679724/4037003128242774610259008382891468584482336590959082855\ *c_1001_1^9 - 11682725538195308870442723487076728452557938421638649\ 5534915372363/24222018769456647661554050297348811506894019545754497\ 130*c_1001_1^8 - 18863208783280941069235773490065877184504561978425\ 2823469070058679/48444037538913295323108100594697623013788039091508\ 994260*c_1001_1^7 - 13022737360918075462477380603586921139199771262\ 8347028805298162981/48444037538913295323108100594697623013788039091\ 508994260*c_1001_1^6 - 75892711779691714869494100441133301324215417\ 755021574493068591987/484440375389132953231081005946976230137880390\ 91508994260*c_1001_1^5 - 365182796253346104024328776910322228416466\ 02563301145084446597631/4844403753891329532310810059469762301378803\ 9091508994260*c_1001_1^4 - 3494500580455357796887044470527354930248\ 724105212340198890141329/121110093847283238307770251486744057534470\ 09772877248565*c_1001_1^3 - 997231004577386311447028294109292063078\ 001940531612199090869571/121110093847283238307770251486744057534470\ 09772877248565*c_1001_1^2 - 750298738533577709190500045194591241651\ 112657483246392782728097/484440375389132953231081005946976230137880\ 39091508994260*c_1001_1 - 23004685472356983258618501285877205498787\ 358832431512296908393/161480125129710984410360335315658743379293463\ 63836331420, c_0011_0 - 1, c_0011_10 - 26763677833241446115094365216125336680861794668/25446192600\ 316218400728362605955792749918716639*c_1001_1^22 - 406014494136094598765947266296507125095652900997/254461926003162184\ 00728362605955792749918716639*c_1001_1^21 - 1792537549695982703524292719146882127175237100155/25446192600316218\ 400728362605955792749918716639*c_1001_1^20 + 2445647748334067711055280568964486996326127770447/84820642001054061\ 33576120868651930916639572213*c_1001_1^19 + 137251664817589983825072345174170027568753333425134/254461926003162\ 18400728362605955792749918716639*c_1001_1^18 + 3607588563166619406001572697400363791636811559774535/10178477040126\ 4873602913450423823170999674866556*c_1001_1^17 + 15433247200904209502803595701147109229699480425309485/1017847704012\ 64873602913450423823170999674866556*c_1001_1^16 + 49269416804298915172747373902563689013492400107002683/1017847704012\ 64873602913450423823170999674866556*c_1001_1^15 + 10404057112054601399035452186672776749072543191044789/8482064200105\ 406133576120868651930916639572213*c_1001_1^14 + 260143007600408159474092239409540078723518757407181391/101784770401\ 264873602913450423823170999674866556*c_1001_1^13 + 151885476628969418433034937841800937784270759487862005/339282568004\ 21624534304483474607723666558288852*c_1001_1^12 + 680274044272152900492580517078108607829534334227593089/101784770401\ 264873602913450423823170999674866556*c_1001_1^11 + 872802439728808444448771312423132853206516012371236161/101784770401\ 264873602913450423823170999674866556*c_1001_1^10 + 966187592649670923999102823067930787809382884070166825/101784770401\ 264873602913450423823170999674866556*c_1001_1^9 + 230826141685551973429617647157910217946651510194186017/254461926003\ 16218400728362605955792749918716639*c_1001_1^8 + 759539433205429905847488696241745991329559642675445981/101784770401\ 264873602913450423823170999674866556*c_1001_1^7 + 178076598183856962249363729179875381246124733004024903/339282568004\ 21624534304483474607723666558288852*c_1001_1^6 + 317272267957729072037266982517545296805406275099899987/101784770401\ 264873602913450423823170999674866556*c_1001_1^5 + 155700554745766405632863952356032236214948315220278099/101784770401\ 264873602913450423823170999674866556*c_1001_1^4 + 60862560234254526989507871527689390334391975649731197/1017847704012\ 64873602913450423823170999674866556*c_1001_1^3 + 2961040174159296544743376782447388222125351461511361/16964128400210\ 812267152241737303861833279144426*c_1001_1^2 + 3421793073875126097685612059732939843945071064319553/10178477040126\ 4873602913450423823170999674866556*c_1001_1 + 322052871488172371659688973498290713468011014934011/101784770401264\ 873602913450423823170999674866556, c_0011_11 - 1102861789076726221069074948705599467312/823337483865791583\ 064755058174529489289*c_1001_1^22 - 15257383202678873540600786266287340528804/8233374838657915830647550\ 58174529489289*c_1001_1^21 - 54914860154136792727762288983753836117\ 248/823337483865791583064755058174529489289*c_1001_1^20 + 357452569450914099488806365230734886985028/823337483865791583064755\ 058174529489289*c_1001_1^19 + 1708917672038071378672658926456592349\ 545556/274445827955263861021585019391509829763*c_1001_1^18 + 30834492800859839457476236587414813702709435/8233374838657915830647\ 55058174529489289*c_1001_1^17 + 41294359480151875183683658212589699\ 899296300/274445827955263861021585019391509829763*c_1001_1^16 + 375500475723583332616234651535471651608085851/823337483865791583064\ 755058174529489289*c_1001_1^15 + 9093876476484499580337581726237137\ 42357165715/823337483865791583064755058174529489289*c_1001_1^14 + 606354153417507891424418462784310096923536614/274445827955263861021\ 585019391509829763*c_1001_1^13 + 1022730966989556943708008348658590\ 740402548325/274445827955263861021585019391509829763*c_1001_1^12 + 4420150595628503019540003711160150853387374094/82333748386579158306\ 4755058174529489289*c_1001_1^11 + 182652158483686873462021053923672\ 0547005816740/274445827955263861021585019391509829763*c_1001_1^10 + 5865287028960353734134148164208474704774719371/82333748386579158306\ 4755058174529489289*c_1001_1^9 + 1807038876726608035885409791944501\ 674630925805/274445827955263861021585019391509829763*c_1001_1^8 + 4312358591723659702095706947637984456403017768/82333748386579158306\ 4755058174529489289*c_1001_1^7 + 2930390540054781272834832440986046\ 543785352939/823337483865791583064755058174529489289*c_1001_1^6 + 1678221886661422685136110505057830951092120745/82333748386579158306\ 4755058174529489289*c_1001_1^5 + 7916235607481929397066733962932080\ 28966038992/823337483865791583064755058174529489289*c_1001_1^4 + 98643802359830537583620622478571306719049558/2744458279552638610215\ 85019391509829763*c_1001_1^3 + 273416655725128883321179051539912152\ 19600001/274445827955263861021585019391509829763*c_1001_1^2 + 14875210539573878254506660521700980995366124/8233374838657915830647\ 55058174529489289*c_1001_1 + 43645949348994065355389277531547313799\ 2281/274445827955263861021585019391509829763, c_0011_12 - 55619701083664643946623844887559556450920696236/84820642001\ 05406133576120868651930916639572213*c_1001_1^22 - 2375458754233644214467964112707818219370313423587/25446192600316218\ 400728362605955792749918716639*c_1001_1^21 - 3068000542875207285365158906637985516173047662700/84820642001054061\ 33576120868651930916639572213*c_1001_1^20 + 51173865265356785362129538592883130255998078875527/2544619260031621\ 8400728362605955792749918716639*c_1001_1^19 + 798810646322207233011275698364463594818934945854846/254461926003162\ 18400728362605955792749918716639*c_1001_1^18 + 19863305817404575957662457805661882690579912534559069/1017847704012\ 64873602913450423823170999674866556*c_1001_1^17 + 6824387055345159266008965160291369010354635714243463/84820642001054\ 06133576120868651930916639572213*c_1001_1^16 + 84677976496487153999318245492500705684523429628807855/3392825680042\ 1624534304483474607723666558288852*c_1001_1^15 + 314347853388957310912053171761321324589797008941446969/508923852006\ 32436801456725211911585499837433278*c_1001_1^14 + 1283980781764675510186164902038735081556381617841613715/10178477040\ 1264873602913450423823170999674866556*c_1001_1^13 + 1105025714267140110905298873649277228402337772894358473/50892385200\ 632436801456725211911585499837433278*c_1001_1^12 + 3248733288976502329417343203688622146365904192597253985/10178477040\ 1264873602913450423823170999674866556*c_1001_1^11 + 2055138834580065022399387893707679631871271851613326423/50892385200\ 632436801456725211911585499837433278*c_1001_1^10 + 4492422202766544674739842694025211434635940372275287519/10178477040\ 1264873602913450423823170999674866556*c_1001_1^9 + 1060785126637961990777507340925348388005563344922293090/25446192600\ 316218400728362605955792749918716639*c_1001_1^8 + 3453118747533203614745425491251591294500553063945291407/10178477040\ 1264873602913450423823170999674866556*c_1001_1^7 + 200381990208566397238629572318641917919303858664685839/848206420010\ 5406133576120868651930916639572213*c_1001_1^6 + 1414725246793975009468106106270085383788365643901295247/10178477040\ 1264873602913450423823170999674866556*c_1001_1^5 + 57351041219779973608402331307975277569491163503013777/8482064200105\ 406133576120868651930916639572213*c_1001_1^4 + 266894072870233328965043656060963688377182595976498711/101784770401\ 264873602913450423823170999674866556*c_1001_1^3 + 19356633102398623627859938285927847995194991748612242/2544619260031\ 6218400728362605955792749918716639*c_1001_1^2 + 14880478783831097115918697219981108724193129991226189/1017847704012\ 64873602913450423823170999674866556*c_1001_1 + 234798595814100809894633861082030202129198378214971/169641284002108\ 12267152241737303861833279144426, c_0011_7 + 371736207428167704923255134363610158256487185552/25446192600\ 316218400728362605955792749918716639*c_1001_1^22 + 5249272361427794251716515526853093319371146906700/25446192600316218\ 400728362605955792749918716639*c_1001_1^21 + 6645281181409861924407547348460733693880972202952/84820642001054061\ 33576120868651930916639572213*c_1001_1^20 - 38608815605170142773237835218077495250934292222324/8482064200105406\ 133576120868651930916639572213*c_1001_1^19 - 588245956626902840839943684498576929661339942603412/848206420010540\ 6133576120868651930916639572213*c_1001_1^18 - 3624049069290293190626971940040529391328144879276162/84820642001054\ 06133576120868651930916639572213*c_1001_1^17 - 44518076586461104334813025884003680324256825374296070/2544619260031\ 6218400728362605955792749918716639*c_1001_1^16 - 137272532765505003231240469712394564947160807341356505/254461926003\ 16218400728362605955792749918716639*c_1001_1^15 - 112623133369967322697286915396916538732268326972939404/848206420010\ 5406133576120868651930916639572213*c_1001_1^14 - 915302072522644749189681686576282937001749081341997859/339282568004\ 21624534304483474607723666558288852*c_1001_1^13 - 1175761598178184840497804480536371625017418266113249110/25446192600\ 316218400728362605955792749918716639*c_1001_1^12 - 3440003740609469840807744842424910620663519199699357913/50892385200\ 632436801456725211911585499837433278*c_1001_1^11 - 721896930080912927451794701548941990775333979574539863/848206420010\ 5406133576120868651930916639572213*c_1001_1^10 - 2355583998106719915806363806480748895017977592279158093/25446192600\ 316218400728362605955792749918716639*c_1001_1^9 - 737958231769861240779906458388021658020831109639196858/848206420010\ 5406133576120868651930916639572213*c_1001_1^8 - 2389937537780461291566686552478138470485127329771671221/33928256800\ 421624534304483474607723666558288852*c_1001_1^7 - 1241431681292864971877199470032905930720403918638620765/25446192600\ 316218400728362605955792749918716639*c_1001_1^6 - 726111260083485949567505665795999510308376811695420103/254461926003\ 16218400728362605955792749918716639*c_1001_1^5 - 233936632163729149295161742442548565956653660568433087/169641284002\ 10812267152241737303861833279144426*c_1001_1^4 - 135039273472070167367745534908721764768650862019899131/254461926003\ 16218400728362605955792749918716639*c_1001_1^3 - 77620256282522199712290042137149245087129245072919437/5089238520063\ 2436801456725211911585499837433278*c_1001_1^2 - 9829600843462872758538367658622165676721118454627697/33928256800421\ 624534304483474607723666558288852*c_1001_1 - 687830568777811363875825656455994006428814405796056/254461926003162\ 18400728362605955792749918716639, c_0101_0 - 1, c_0101_1 - 78442312590316660958654243936854541772204721632/848206420010\ 5406133576120868651930916639572213*c_1001_1^22 - 3342089129472892143005194434592255723725502149796/25446192600316218\ 400728362605955792749918716639*c_1001_1^21 - 4289559526196520388201599979132010308704186016975/84820642001054061\ 33576120868651930916639572213*c_1001_1^20 + 72571183550409077540446639657043285302927008046847/2544619260031621\ 8400728362605955792749918716639*c_1001_1^19 + 1123913461971955721766808318996235230026711133410851/25446192600316\ 218400728362605955792749918716639*c_1001_1^18 + 6965703911204248633007818602684241469707104460459240/25446192600316\ 218400728362605955792749918716639*c_1001_1^17 + 38198864794299409778678597066301087535195127011273025/3392825680042\ 1624534304483474607723666558288852*c_1001_1^16 + 118233797377728804641615007203378518088117736317145561/339282568004\ 21624534304483474607723666558288852*c_1001_1^15 + 875994808238372181703562292893674212500934189414832249/101784770401\ 264873602913450423823170999674866556*c_1001_1^14 + 446349271391348998952434726114599483926386207852473889/254461926003\ 16218400728362605955792749918716639*c_1001_1^13 + 1533466713033121477598152986074183151789475540850694037/50892385200\ 632436801456725211911585499837433278*c_1001_1^12 + 1124806820434949192165767204855911674247019683393757342/25446192600\ 316218400728362605955792749918716639*c_1001_1^11 + 5680670976169401403821395651135709083156187225316161229/10178477040\ 1264873602913450423823170999674866556*c_1001_1^10 + 6195603413639937615230949839770699136387293620333069641/10178477040\ 1264873602913450423823170999674866556*c_1001_1^9 + 5838782301425172358318083767566702729709999195886194669/10178477040\ 1264873602913450423823170999674866556*c_1001_1^8 + 1185113495240193447623118097818322201687631621047903429/25446192600\ 316218400728362605955792749918716639*c_1001_1^7 + 548767657769302945153761507637331099308213303145986999/169641284002\ 10812267152241737303861833279144426*c_1001_1^6 + 482927436139548534515037339690087831491721332030020475/254461926003\ 16218400728362605955792749918716639*c_1001_1^5 + 312216792168126431340196978801142584537085001058285069/339282568004\ 21624534304483474607723666558288852*c_1001_1^4 + 361821400386090643982590115115421949142632834725674731/101784770401\ 264873602913450423823170999674866556*c_1001_1^3 + 104449663142680230254483471191056075069065333990754829/101784770401\ 264873602913450423823170999674866556*c_1001_1^2 + 9972675431887179679502070718942629673453819815644269/50892385200632\ 436801456725211911585499837433278*c_1001_1 + 156029398157078806166212566013439529155571208304063/848206420010540\ 6133576120868651930916639572213, c_0101_10 - 1, c_0101_12 + 523466644637403845247674668317126877882039708328/8482064200\ 105406133576120868651930916639572213*c_1001_1^22 + 7414443164741738091999436427846314079361371240666/84820642001054061\ 33576120868651930916639572213*c_1001_1^21 + 28370986186432582877530161231373300866543851951577/8482064200105406\ 133576120868651930916639572213*c_1001_1^20 - 162167814755256982486418957541260828629323787593669/848206420010540\ 6133576120868651930916639572213*c_1001_1^19 - 2492944050292982409381542539231461565560129828848501/84820642001054\ 06133576120868651930916639572213*c_1001_1^18 - 30819342612183386059781189084940098105407012406871547/1696412840021\ 0812267152241737303861833279144426*c_1001_1^17 - 253028063377810640891202527246967045672850290213891087/339282568004\ 21624534304483474607723666558288852*c_1001_1^16 - 781932082213711583930271899041270792826243507601895437/339282568004\ 21624534304483474607723666558288852*c_1001_1^15 - 1928434194829974787176849434638470056537943828834946239/33928256800\ 421624534304483474607723666558288852*c_1001_1^14 - 3925523040776333956987032032132821733502883832442632005/33928256800\ 421624534304483474607723666558288852*c_1001_1^13 - 1683881810184728753947148439800249450823493799268707831/84820642001\ 05406133576120868651930916639572213*c_1001_1^12 - 4935285039892100231574977161495468688509538776276426463/16964128400\ 210812267152241737303861833279144426*c_1001_1^11 - 12449857717326064577353278770464356577107340832496752481/3392825680\ 0421624534304483474607723666558288852*c_1001_1^10 - 13565185261994685926776965398312825341152742642066533843/3392825680\ 0421624534304483474607723666558288852*c_1001_1^9 - 12771850508431632026147313240212660943022017028623424867/3392825680\ 0421624534304483474607723666558288852*c_1001_1^8 - 10359722234619744040525277656754530146531031485441644493/3392825680\ 0421624534304483474607723666558288852*c_1001_1^7 - 1797236894178492056931866558819466368690275758893689569/84820642001\ 05406133576120868651930916639572213*c_1001_1^6 - 2106817474808213733445351374093589283211329677730705993/16964128400\ 210812267152241737303861833279144426*c_1001_1^5 - 2041096874245610752864062704156469936939587893193024155/33928256800\ 421624534304483474607723666558288852*c_1001_1^4 - 787630869245863432751825805217672121434266633463917133/339282568004\ 21624534304483474607723666558288852*c_1001_1^3 - 227115140382178268813611182069523231055471839593077431/339282568004\ 21624534304483474607723666558288852*c_1001_1^2 - 43319241486811255308839337459258874174375059160342791/3392825680042\ 1624534304483474607723666558288852*c_1001_1 - 2031154400053977993915644681451084397670824003841703/16964128400210\ 812267152241737303861833279144426, c_0101_2 + 69536873339878209032795826703713505454258115640/254461926003\ 16218400728362605955792749918716639*c_1001_1^22 + 339424757605831832713676457150664550916065950742/848206420010540613\ 3576120868651930916639572213*c_1001_1^21 + 4198402904868246222913574291057314688368742423182/25446192600316218\ 400728362605955792749918716639*c_1001_1^20 - 20285822870629056467927488636662564353471125503803/2544619260031621\ 8400728362605955792749918716639*c_1001_1^19 - 343110377920800902652752002989347681573688980522086/254461926003162\ 18400728362605955792749918716639*c_1001_1^18 - 1460362928182488151755486449496822875907495511727437/16964128400210\ 812267152241737303861833279144426*c_1001_1^17 - 6133705440365574252584790322284208054513997371786993/16964128400210\ 812267152241737303861833279144426*c_1001_1^16 - 115890926435306783467924818713585051411895386858646667/101784770401\ 264873602913450423823170999674866556*c_1001_1^15 - 145258076746667454109157019896747385384104962072851287/508923852006\ 32436801456725211911585499837433278*c_1001_1^14 - 300026813288320768241215426874105952957186100857263953/508923852006\ 32436801456725211911585499837433278*c_1001_1^13 - 521699489936501552516625329183444774767750278806010383/508923852006\ 32436801456725211911585499837433278*c_1001_1^12 - 774095472041010670513973312570734984953196357615045031/508923852006\ 32436801456725211911585499837433278*c_1001_1^11 - 987989984654779307407543131579271863950280431887728985/508923852006\ 32436801456725211911585499837433278*c_1001_1^10 - 2177688393000894832605371396386153900373999138990370743/10178477040\ 1264873602913450423823170999674866556*c_1001_1^9 - 1036636241417473668450505590822091200818015537999900141/50892385200\ 632436801456725211911585499837433278*c_1001_1^8 - 283385327065217206755983135152458637979987297859112075/169641284002\ 10812267152241737303861833279144426*c_1001_1^7 - 596518724754621858361795876078384935054984816776981875/508923852006\ 32436801456725211911585499837433278*c_1001_1^6 - 117882663443477979180307044972635825292396221569318837/169641284002\ 10812267152241737303861833279144426*c_1001_1^5 - 173393633596179960936717117819656731218240530121796399/508923852006\ 32436801456725211911585499837433278*c_1001_1^4 - 135599296128571109751768183343526280833927060254977739/101784770401\ 264873602913450423823170999674866556*c_1001_1^3 - 19839327789075220803809004573373260972076656187018099/5089238520063\ 2436801456725211911585499837433278*c_1001_1^2 - 1281908587108493828806770014368989917397397125110447/16964128400210\ 812267152241737303861833279144426*c_1001_1 - 122250320340812878186828192724484957652674970331543/169641284002108\ 12267152241737303861833279144426, c_0101_8 + 26654648221931683863829099036000308592674304840/254461926003\ 16218400728362605955792749918716639*c_1001_1^22 + 129013668011197983069202846200325765359174948570/848206420010540613\ 3576120868651930916639572213*c_1001_1^21 + 1563898490428928939952591532632882778377244121582/25446192600316218\ 400728362605955792749918716639*c_1001_1^20 - 7935555113601122536200396668331773692414472304515/25446192600316218\ 400728362605955792749918716639*c_1001_1^19 - 43470037244411746350589495786266872815400658267754/8482064200105406\ 133576120868651930916639572213*c_1001_1^18 - 1648634814230255468608354900317500268891620459727685/50892385200632\ 436801456725211911585499837433278*c_1001_1^17 - 6872934918575687950830367441438531917709967756317019/50892385200632\ 436801456725211911585499837433278*c_1001_1^16 - 43008386706066120627895531544855342688268554912334171/1017847704012\ 64873602913450423823170999674866556*c_1001_1^15 - 53595885358331941213010536139452037951461387977968735/5089238520063\ 2436801456725211911585499837433278*c_1001_1^14 - 18352357978631124127009032854945284610664022010070630/8482064200105\ 406133576120868651930916639572213*c_1001_1^13 - 190522449860584610029043233239745446041532694946566195/508923852006\ 32436801456725211911585499837433278*c_1001_1^12 - 93788510409188368251894636952057786888168534101720889/1696412840021\ 0812267152241737303861833279144426*c_1001_1^11 - 119160822721625256541989905809244203650220680229590361/169641284002\ 10812267152241737303861833279144426*c_1001_1^10 - 261489556526490828887882273855782011066247538314971579/339282568004\ 21624534304483474607723666558288852*c_1001_1^9 - 123936015883893377681702309361352976627454799413589933/169641284002\ 10812267152241737303861833279144426*c_1001_1^8 - 151807018976269089678971150180600810524775529096521708/254461926003\ 16218400728362605955792749918716639*c_1001_1^7 - 70705090539767898789080175048478530041554311137038097/1696412840021\ 0812267152241737303861833279144426*c_1001_1^6 - 41733146893529924458608163064423031464503574817129159/1696412840021\ 0812267152241737303861833279144426*c_1001_1^5 - 61103154480393763486452929569262628484950686750795747/5089238520063\ 2436801456725211911585499837433278*c_1001_1^4 - 47551882876828816406856269144670851056703899614519883/1017847704012\ 64873602913450423823170999674866556*c_1001_1^3 - 6921772200055732079620883627576621405864466149626823/50892385200632\ 436801456725211911585499837433278*c_1001_1^2 - 667658508854293373774100772291768245494630555678758/254461926003162\ 18400728362605955792749918716639*c_1001_1 - 63491593086260052768301721269283997494020140015530/2544619260031621\ 8400728362605955792749918716639, c_0101_9 - 371736207428167704923255134363610158256487185552/25446192600\ 316218400728362605955792749918716639*c_1001_1^22 - 5249272361427794251716515526853093319371146906700/25446192600316218\ 400728362605955792749918716639*c_1001_1^21 - 6645281181409861924407547348460733693880972202952/84820642001054061\ 33576120868651930916639572213*c_1001_1^20 + 38608815605170142773237835218077495250934292222324/8482064200105406\ 133576120868651930916639572213*c_1001_1^19 + 588245956626902840839943684498576929661339942603412/848206420010540\ 6133576120868651930916639572213*c_1001_1^18 + 3624049069290293190626971940040529391328144879276162/84820642001054\ 06133576120868651930916639572213*c_1001_1^17 + 44518076586461104334813025884003680324256825374296070/2544619260031\ 6218400728362605955792749918716639*c_1001_1^16 + 137272532765505003231240469712394564947160807341356505/254461926003\ 16218400728362605955792749918716639*c_1001_1^15 + 112623133369967322697286915396916538732268326972939404/848206420010\ 5406133576120868651930916639572213*c_1001_1^14 + 915302072522644749189681686576282937001749081341997859/339282568004\ 21624534304483474607723666558288852*c_1001_1^13 + 1175761598178184840497804480536371625017418266113249110/25446192600\ 316218400728362605955792749918716639*c_1001_1^12 + 3440003740609469840807744842424910620663519199699357913/50892385200\ 632436801456725211911585499837433278*c_1001_1^11 + 721896930080912927451794701548941990775333979574539863/848206420010\ 5406133576120868651930916639572213*c_1001_1^10 + 2355583998106719915806363806480748895017977592279158093/25446192600\ 316218400728362605955792749918716639*c_1001_1^9 + 737958231769861240779906458388021658020831109639196858/848206420010\ 5406133576120868651930916639572213*c_1001_1^8 + 2389937537780461291566686552478138470485127329771671221/33928256800\ 421624534304483474607723666558288852*c_1001_1^7 + 1241431681292864971877199470032905930720403918638620765/25446192600\ 316218400728362605955792749918716639*c_1001_1^6 + 726111260083485949567505665795999510308376811695420103/254461926003\ 16218400728362605955792749918716639*c_1001_1^5 + 233936632163729149295161742442548565956653660568433087/169641284002\ 10812267152241737303861833279144426*c_1001_1^4 + 135039273472070167367745534908721764768650862019899131/254461926003\ 16218400728362605955792749918716639*c_1001_1^3 + 77620256282522199712290042137149245087129245072919437/5089238520063\ 2436801456725211911585499837433278*c_1001_1^2 + 9829600843462872758538367658622165676721118454627697/33928256800421\ 624534304483474607723666558288852*c_1001_1 + 687830568777811363875825656455994006428814405796056/254461926003162\ 18400728362605955792749918716639, c_1001_1^23 + 59/4*c_1001_1^22 + 125/2*c_1001_1^21 - 278*c_1001_1^20 - 19775/4*c_1001_1^19 - 515665/16*c_1001_1^18 - 1104829/8*c_1001_1^17 - 3554545/8*c_1001_1^16 - 18241371/16*c_1001_1^15 - 19321901/8*c_1001_1^14 - 17268801/4*c_1001_1^13 - 52820363/8*c_1001_1^12 - 69711411/8*c_1001_1^11 - 79764737/8*c_1001_1^10 - 158484483/16*c_1001_1^9 - 68251319/8*c_1001_1^8 - 6340837*c_1001_1^7 - 32243173/8*c_1001_1^6 - 17263027/8*c_1001_1^5 - 7595105/8*c_1001_1^4 - 5275663/16*c_1001_1^3 - 676089/8*c_1001_1^2 - 56473/4*c_1001_1 - 18281/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.280 Total time: 0.490 seconds, Total memory usage: 32.09MB