Magma V2.19-8 Tue Aug 20 2013 17:55:56 on localhost [Seed = 3616956468] Type ? for help. Type -D to quit. Loading file "10_22__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_22 geometric_solution 9.98186652 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.067116646620 1.477548395334 0 0 5 4 0132 1302 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 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.969320262921 0.675403176017 6 0 7 6 0132 0132 0132 3012 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 -1 0 -1 0 1 0 0 0 0 0 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.114135946061 0.730907464768 8 6 4 0 0132 1302 3012 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 1 0 -1 0 0 0 0 0 0 0 0 3 -2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.269302827232 0.760785541566 9 3 1 5 0132 1230 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 -1 0 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826164096460 0.527166513068 10 10 4 1 0132 1230 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 1 -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.444767661980 1.068987037710 2 7 2 3 0132 3120 1230 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.418935084179 0.923936806786 8 6 10 2 1023 3120 3012 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 0 -1 1 0 0 1 -1 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486639189178 1.142564646592 3 7 9 9 0132 1023 0132 2031 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 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359662790408 0.946143483922 4 8 10 8 0132 1302 2031 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 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.465117792611 0.623980722000 5 7 5 9 0132 1230 3012 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668220398773 0.797423291769 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_10'], 'c_1001_5' : negation(d['c_0101_9']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : d['c_0101_7'], 'c_1010_10' : d['c_0101_7'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_7']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_0101_6'], 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0101_9'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : negation(d['c_0011_4']), 'c_1100_8' : negation(d['c_0101_7']), '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' : negation(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_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0101_3']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), '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_0'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_3'], '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_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0011_4']), 'c_0110_6' : negation(d['c_0011_4'])})} 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_10, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6, c_0101_7, c_0101_9, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 547759515368681291312423770207690698401549737419275993949/234310677\ 60457649662714712657525164067142201950331569696*c_1001_4^23 - 168672699964668807914365983575828688824281238427168435323/334729539\ 4351092808959244665360737723877457421475938528*c_1001_4^22 + 972274073347709450534451642142637928486973283651323208967/292888347\ 0057206207839339082190645508392775243791446212*c_1001_4^21 - 6996527951851016537313070484561373959773163756370985804341/23431067\ 760457649662714712657525164067142201950331569696*c_1001_4^20 + 16599464635482978207799438781705366024254260059355954666461/1171553\ 3880228824831357356328762582033571100975165784848*c_1001_4^19 + 22354560071088759958886333763254072174190237281879935037635/2343106\ 7760457649662714712657525164067142201950331569696*c_1001_4^18 + 93151567965864270044722217278742868881812016268154893801735/2343106\ 7760457649662714712657525164067142201950331569696*c_1001_4^17 + 296449501691808913460353037991768677056676744443160086752221/234310\ 67760457649662714712657525164067142201950331569696*c_1001_4^16 + 666825639116308898216800578680989720802403311186016740459/255518732\ 39321319152360646300463646747156163522717088*c_1001_4^15 + 347562063857101864771096520455444465269606606614669458611343/585776\ 6940114412415678678164381291016785550487582892424*c_1001_4^14 + 1608439340896705426984722787808753672419720163193787658073129/11715\ 533880228824831357356328762582033571100975165784848*c_1001_4^13 + 315093575206926321511315494197068607305924092773131284840241/146444\ 1735028603103919669541095322754196387621895723106*c_1001_4^12 + 8751387621357983829238453382027917364795581959323347972111217/23431\ 067760457649662714712657525164067142201950331569696*c_1001_4^11 + 3285555863620093129826617479219755562293924106833835508532/64798306\ 85967270371325971420775764399099060273874881*c_1001_4^10 + 14297604849940052447664976772515221342562877277421476578051709/2343\ 1067760457649662714712657525164067142201950331569696*c_1001_4^9 + 3345374416633314653834229183044194578786755973146178043798493/58577\ 66940114412415678678164381291016785550487582892424*c_1001_4^8 + 772351959923556066865802970982558483057146845183588927453095/167364\ 7697175546404479622332680368861938728710737969264*c_1001_4^7 + 7137436271134339285867675595814643405085465781591739428237975/23431\ 067760457649662714712657525164067142201950331569696*c_1001_4^6 + 41615907203150927674708488602589697737117708583793746936611/8368238\ 48587773202239811166340184430969364355368984632*c_1001_4^5 - 862078458450093316820351793020674393473447537180054019144451/117155\ 33880228824831357356328762582033571100975165784848*c_1001_4^4 - 319042323139087064603437823110174659364037777302757730386593/117155\ 33880228824831357356328762582033571100975165784848*c_1001_4^3 + 373495343719712224678381670213189556267218905758045948814135/234310\ 67760457649662714712657525164067142201950331569696*c_1001_4^2 + 8857914097976310730487033892004643812875851881974858578801/11715533\ 880228824831357356328762582033571100975165784848*c_1001_4 - 492743085396930329552870308110954369143469348008888556815/292888347\ 0057206207839339082190645508392775243791446212, c_0011_0 - 1, c_0011_10 - 10707225374150981879948403515178138860402136019/18765375272\ 14873069611181015713556842592161239872*c_1001_4^23 + 10092121114861377512991311572887258604860119705/1876537527214873069\ 611181015713556842592161239872*c_1001_4^22 - 63543700491663123000220536361903380102302134011/9382687636074365348\ 05590507856778421296080619936*c_1001_4^21 - 41694323060891408797883053734128053718255029837/1876537527214873069\ 611181015713556842592161239872*c_1001_4^20 - 130983703085254463998244260232294879375409477583/469134381803718267\ 402795253928389210648040309968*c_1001_4^19 - 1196532452338620823812670187107073293044646220409/18765375272148730\ 69611181015713556842592161239872*c_1001_4^18 - 2510867546474019002302418512668283414074197742431/18765375272148730\ 69611181015713556842592161239872*c_1001_4^17 - 8187959133917575075929923171352394847655130223033/18765375272148730\ 69611181015713556842592161239872*c_1001_4^16 - 19440938724493688702567021485212135924205782984539/1876537527214873\ 069611181015713556842592161239872*c_1001_4^15 - 21716317406859117081565121505330753650659980470477/9382687636074365\ 34805590507856778421296080619936*c_1001_4^14 - 49683231740040263879902805454987248534030242104527/9382687636074365\ 34805590507856778421296080619936*c_1001_4^13 - 45684857691890256365393416765655239287499314831149/4691343818037182\ 67402795253928389210648040309968*c_1001_4^12 - 309086262207393258221782482082042554856859194450767/187653752721487\ 3069611181015713556842592161239872*c_1001_4^11 - 234502380344803917613417998085215135469604379754961/938268763607436\ 534805590507856778421296080619936*c_1001_4^10 - 610311576731382091234364063235066222821306204345563/187653752721487\ 3069611181015713556842592161239872*c_1001_4^9 - 334634811716865123649087074119048004352133644216419/938268763607436\ 534805590507856778421296080619936*c_1001_4^8 - 303808603548695663355647910047318668931589499879879/938268763607436\ 534805590507856778421296080619936*c_1001_4^7 - 470203142911596940253553799777729021893917475955197/187653752721487\ 3069611181015713556842592161239872*c_1001_4^6 - 123558547778591456770143862604254722933382572395813/938268763607436\ 534805590507856778421296080619936*c_1001_4^5 - 13975132709961063382521891633765513244801373969059/9382687636074365\ 34805590507856778421296080619936*c_1001_4^4 + 26892330791552889660363008243858700809174090712933/9382687636074365\ 34805590507856778421296080619936*c_1001_4^3 + 26242799493837350638592685449589910569804269473595/1876537527214873\ 069611181015713556842592161239872*c_1001_4^2 - 423018219430469219565084242207334238747406234703/469134381803718267\ 402795253928389210648040309968*c_1001_4 - 439543398545918055524232673927427063773955067885/469134381803718267\ 402795253928389210648040309968, c_0011_3 - 6069913194435917867624362992116178244545784725/9382687636074\ 36534805590507856778421296080619936*c_1001_4^23 + 8510385773107614033051306330302906337637553411/93826876360743653480\ 5590507856778421296080619936*c_1001_4^22 - 36761616004672038762264862031586253714825907687/4691343818037182674\ 02795253928389210648040309968*c_1001_4^21 + 7109453034977935639790868329276882451947926981/93826876360743653480\ 5590507856778421296080619936*c_1001_4^20 - 33841850325056251424090381528354134009921026937/1172835954509295668\ 50698813482097302662010077492*c_1001_4^19 - 552097470202505517505626155480953805373907638919/938268763607436534\ 805590507856778421296080619936*c_1001_4^18 - 1056678023694418990715182898287946698349028725901/93826876360743653\ 4805590507856778421296080619936*c_1001_4^17 - 3904201945362275048545818335703977774429658899427/93826876360743653\ 4805590507856778421296080619936*c_1001_4^16 - 8758877052861125695663333420960641376466953011833/93826876360743653\ 4805590507856778421296080619936*c_1001_4^15 - 9422648518036168197644291130842826978375587731565/46913438180371826\ 7402795253928389210648040309968*c_1001_4^14 - 21896458293631378996581683121652195293139033378249/4691343818037182\ 67402795253928389210648040309968*c_1001_4^13 - 18702067310148930367190078397418760080436510854921/2345671909018591\ 33701397626964194605324020154984*c_1001_4^12 - 120761748546820984991627930310812533804003978277625/938268763607436\ 534805590507856778421296080619936*c_1001_4^11 - 87388425711142014634187005457927281790645102727821/4691343818037182\ 67402795253928389210648040309968*c_1001_4^10 - 205886150557132694769847107025714705154191574589245/938268763607436\ 534805590507856778421296080619936*c_1001_4^9 - 97116456605002314125483442182667376281891214092643/4691343818037182\ 67402795253928389210648040309968*c_1001_4^8 - 70572060730875158866028569068506258465568160402273/4691343818037182\ 67402795253928389210648040309968*c_1001_4^7 - 77900897370273221016869299713352310984316406024691/9382687636074365\ 34805590507856778421296080619936*c_1001_4^6 + 3104591344723079012693289902381573356022874682931/46913438180371826\ 7402795253928389210648040309968*c_1001_4^5 + 33819720525936306430887837972877819230387389598635/4691343818037182\ 67402795253928389210648040309968*c_1001_4^4 + 21178750893868749443864360504405350378825829596407/4691343818037182\ 67402795253928389210648040309968*c_1001_4^3 - 224686107328619377820192028120189560071282414139/938268763607436534\ 805590507856778421296080619936*c_1001_4^2 - 733280250479143729399715249994821428780260864035/117283595450929566\ 850698813482097302662010077492*c_1001_4 + 14588215915729747924355718663648403901104008363/2345671909018591337\ 01397626964194605324020154984, c_0011_4 + 7323148513118816686830592938208080017883771745/1876537527214\ 873069611181015713556842592161239872*c_1001_4^23 - 5934209197837896072846247411766405309574147459/18765375272148730696\ 11181015713556842592161239872*c_1001_4^22 + 40227907367576655041569843499648932348841669657/9382687636074365348\ 05590507856778421296080619936*c_1001_4^21 + 50795385863448944200515660729119062246367381631/1876537527214873069\ 611181015713556842592161239872*c_1001_4^20 + 71626719788112781557392566217088028907334026229/4691343818037182674\ 02795253928389210648040309968*c_1001_4^19 + 917449746147769825242005816146807818107123741219/187653752721487306\ 9611181015713556842592161239872*c_1001_4^18 + 1516871453851815546569844343666030719587308324453/18765375272148730\ 69611181015713556842592161239872*c_1001_4^17 + 5504448268799502762269259772496111952496287644387/18765375272148730\ 69611181015713556842592161239872*c_1001_4^16 + 13111929964643984127536172841873607513460772177529/1876537527214873\ 069611181015713556842592161239872*c_1001_4^15 + 14107012320514598761748077542621485767776998716511/9382687636074365\ 34805590507856778421296080619936*c_1001_4^14 + 32592672166968344153898736009644218405877138516245/9382687636074365\ 34805590507856778421296080619936*c_1001_4^13 + 29699350265486943868495113800652760422066631600895/4691343818037182\ 67402795253928389210648040309968*c_1001_4^12 + 192716185007797850826580711407797773644846600722741/187653752721487\ 3069611181015713556842592161239872*c_1001_4^11 + 145914128943837504031056051016824564958160354955819/938268763607436\ 534805590507856778421296080619936*c_1001_4^10 + 362792322629766861840210389950013865429497389056057/187653752721487\ 3069611181015713556842592161239872*c_1001_4^9 + 188200914620628194450261026046052321744473669660689/938268763607436\ 534805590507856778421296080619936*c_1001_4^8 + 156183404255344623479057012909809924217046306615101/938268763607436\ 534805590507856778421296080619936*c_1001_4^7 + 216509203627332205283727339186824742126417722958031/187653752721487\ 3069611181015713556842592161239872*c_1001_4^6 + 40914189431720925817159600646827809081356266847431/9382687636074365\ 34805590507856778421296080619936*c_1001_4^5 - 23740801406431627427881528209602821229898892868367/9382687636074365\ 34805590507856778421296080619936*c_1001_4^4 - 26892360713395007581661183870315165083719591172743/9382687636074365\ 34805590507856778421296080619936*c_1001_4^3 - 3225009158451776046681415342384786483425965365337/18765375272148730\ 69611181015713556842592161239872*c_1001_4^2 + 2391435434769184727823653671787443034238207413285/46913438180371826\ 7402795253928389210648040309968*c_1001_4 + 241621195745289775285088452898387932672384609535/469134381803718267\ 402795253928389210648040309968, c_0101_0 + 570818519778600600303191929666560313625306571/93826876360743\ 6534805590507856778421296080619936*c_1001_4^23 + 3593191883953061167031335538731022640557972547/93826876360743653480\ 5590507856778421296080619936*c_1001_4^22 - 1092122966830339619236366920222327968763604439/46913438180371826740\ 2795253928389210648040309968*c_1001_4^21 + 61278946920249836488990481793170563532699613605/9382687636074365348\ 05590507856778421296080619936*c_1001_4^20 - 3291128052849284606376854977658305033919149697/11728359545092956685\ 0698813482097302662010077492*c_1001_4^19 + 319145208738208994620550459582149884451754945753/938268763607436534\ 805590507856778421296080619936*c_1001_4^18 + 293572600121858943035942388321724796443602333971/938268763607436534\ 805590507856778421296080619936*c_1001_4^17 + 1156766593496317463181147143214454056125702239453/93826876360743653\ 4805590507856778421296080619936*c_1001_4^16 + 3263900472680917549183415073334143184338491611655/93826876360743653\ 4805590507856778421296080619936*c_1001_4^15 + 3474249246627310980707022178559229831832371824723/46913438180371826\ 7402795253928389210648040309968*c_1001_4^14 + 7922417052006818837792104103843518113780437380343/46913438180371826\ 7402795253928389210648040309968*c_1001_4^13 + 8532583856288475758816130733889477908348810489655/23456719090185913\ 3701397626964194605324020154984*c_1001_4^12 + 54771294471258506625243423498730380966425361106695/9382687636074365\ 34805590507856778421296080619936*c_1001_4^11 + 45949658942354429992464950853920658225056860694291/4691343818037182\ 67402795253928389210648040309968*c_1001_4^10 + 123266474377480701755763829782868350184324555891011/938268763607436\ 534805590507856778421296080619936*c_1001_4^9 + 73031459576371122757789273395194487059836204679629/4691343818037182\ 67402795253928389210648040309968*c_1001_4^8 + 68284994676242391046865713470856074296480047337359/4691343818037182\ 67402795253928389210648040309968*c_1001_4^7 + 111241775916870714285858012130684649274994814522029/938268763607436\ 534805590507856778421296080619936*c_1001_4^6 + 35564359940166382564992794260667490344408285555667/4691343818037182\ 67402795253928389210648040309968*c_1001_4^5 + 7324676880060720537085751455127929235057494317195/46913438180371826\ 7402795253928389210648040309968*c_1001_4^4 - 6257012010876633693975415041709079094602151567065/46913438180371826\ 7402795253928389210648040309968*c_1001_4^3 - 4552101595907867185178554798391487051902475372635/93826876360743653\ 4805590507856778421296080619936*c_1001_4^2 + 351612142057928247011596206849223178293752840901/117283595450929566\ 850698813482097302662010077492*c_1001_4 + 252643302204783374276572449644826707289092270907/234567190901859133\ 701397626964194605324020154984, c_0101_1 + 3364678738399175969526535518387733472034936065/4691343818037\ 18267402795253928389210648040309968*c_1001_4^23 - 1819115039152750145461410642939380994516462315/46913438180371826740\ 2795253928389210648040309968*c_1001_4^22 + 19093855171159547358824242538844958518445315061/2345671909018591337\ 01397626964194605324020154984*c_1001_4^21 + 29873357716331591661726078188601670409482351983/4691343818037182674\ 02795253928389210648040309968*c_1001_4^20 + 41055099097359872099462596175512463511790811195/1172835954509295668\ 50698813482097302662010077492*c_1001_4^19 + 442952364560281964793304046668771481217401609651/469134381803718267\ 402795253928389210648040309968*c_1001_4^18 + 921318803199459873355274186913667939440889268925/469134381803718267\ 402795253928389210648040309968*c_1001_4^17 + 2845062919373049517099810189246536157348340566043/46913438180371826\ 7402795253928389210648040309968*c_1001_4^16 + 7077985921883901587589108386049330653019948145537/46913438180371826\ 7402795253928389210648040309968*c_1001_4^15 + 7900956972219127836736550594421132345551860773411/23456719090185913\ 3701397626964194605324020154984*c_1001_4^14 + 18042225505263480944652096104895431714292072520181/2345671909018591\ 33701397626964194605324020154984*c_1001_4^13 + 17158815356624103594008299575995906233075769756911/1172835954509295\ 66850698813482097302662010077492*c_1001_4^12 + 117027174525568022821844540533028127295847083856341/469134381803718\ 267402795253928389210648040309968*c_1001_4^11 + 90603519892775869036319896487574391258730967316207/2345671909018591\ 33701397626964194605324020154984*c_1001_4^10 + 242748167118567143543034593652289264326287436117353/469134381803718\ 267402795253928389210648040309968*c_1001_4^9 + 137676866985057574313295664812242255917673448135709/234567190901859\ 133701397626964194605324020154984*c_1001_4^8 + 131124674860197877954720001009979558464851313512237/234567190901859\ 133701397626964194605324020154984*c_1001_4^7 + 212353307671858309933476622389373447117536073453775/469134381803718\ 267402795253928389210648040309968*c_1001_4^6 + 64602071880104693528935984172456541518555769508891/2345671909018591\ 33701397626964194605324020154984*c_1001_4^5 + 18308542520672280015096232900989138592070232740865/2345671909018591\ 33701397626964194605324020154984*c_1001_4^4 - 5561400824525339489098167996586479030413907285735/23456719090185913\ 3701397626964194605324020154984*c_1001_4^3 - 8650178297408690609042095842938378773661746869993/46913438180371826\ 7402795253928389210648040309968*c_1001_4^2 + 119554774215761032740466649327982389724923851795/117283595450929566\ 850698813482097302662010077492*c_1001_4 + 247854369902874938453767969582592382375762204671/117283595450929566\ 850698813482097302662010077492, c_0101_3 - 13132684926587854217426152430682470912128026627/187653752721\ 4873069611181015713556842592161239872*c_1001_4^23 + 5385331185322704512907779585975885123236185257/18765375272148730696\ 11181015713556842592161239872*c_1001_4^22 - 71874610480674632737264670459483215424360045291/9382687636074365348\ 05590507856778421296080619936*c_1001_4^21 - 145625546616195684533256892437444817578444808477/187653752721487306\ 9611181015713556842592161239872*c_1001_4^20 - 148376471109630861952023484425046118972285393823/469134381803718267\ 402795253928389210648040309968*c_1001_4^19 - 1871338081469460481887359197855789132073493215561/18765375272148730\ 69611181015713556842592161239872*c_1001_4^18 - 3550345211783656627976549267454243639257642754255/18765375272148730\ 69611181015713556842592161239872*c_1001_4^17 - 11411185716808424213570998160786640942862458721609/1876537527214873\ 069611181015713556842592161239872*c_1001_4^16 - 28321554320994744002565346506406604537675417142027/1876537527214873\ 069611181015713556842592161239872*c_1001_4^15 - 31467395797323133040917109758338511812829290260989/9382687636074365\ 34805590507856778421296080619936*c_1001_4^14 - 72042163173466016718005695960281700657977103134079/9382687636074365\ 34805590507856778421296080619936*c_1001_4^13 - 68798492264427071684496083477992989037447011103085/4691343818037182\ 67402795253928389210648040309968*c_1001_4^12 - 466332991594915082375272241934374341172689318299455/187653752721487\ 3069611181015713556842592161239872*c_1001_4^11 - 363571758954426598805401640549360574692710482665281/938268763607436\ 534805590507856778421296080619936*c_1001_4^10 - 970408611471405620258176606221653421418494950933131/187653752721487\ 3069611181015713556842592161239872*c_1001_4^9 - 552685424419766191376207048467025495643203896700819/938268763607436\ 534805590507856778421296080619936*c_1001_4^8 - 525937023646499534721423464346032292707952020516375/938268763607436\ 534805590507856778421296080619936*c_1001_4^7 - 858612605780288338230252205322773866944693668248909/187653752721487\ 3069611181015713556842592161239872*c_1001_4^6 - 265872690987569381698329446521671578736907928921333/938268763607436\ 534805590507856778421296080619936*c_1001_4^5 - 78630650842337688320979962243328881372474516833811/9382687636074365\ 34805590507856778421296080619936*c_1001_4^4 + 13676229205315888847702760656523883233675465316277/9382687636074365\ 34805590507856778421296080619936*c_1001_4^3 + 20762571853321811026193742160860080044492217591787/1876537527214873\ 069611181015713556842592161239872*c_1001_4^2 - 1563525537466407175540210986368135334367395450687/46913438180371826\ 7402795253928389210648040309968*c_1001_4 - 617830197876764960258694173906441206611992972221/469134381803718267\ 402795253928389210648040309968, c_0101_6 - 2136714788353528827468944872042589633372354675/9382687636074\ 36534805590507856778421296080619936*c_1001_4^23 - 2098858633764444397816508154915092925881876427/93826876360743653480\ 5590507856778421296080619936*c_1001_4^22 - 8049088964542011394277801711614492314717683489/46913438180371826740\ 2795253928389210648040309968*c_1001_4^21 - 67672105911315591996492365915782017239378552893/9382687636074365348\ 05590507856778421296080619936*c_1001_4^20 - 5753843004274264694449453335188197996325676611/11728359545092956685\ 0698813482097302662010077492*c_1001_4^19 - 494955722523952855797713310695502574128605840273/938268763607436534\ 805590507856778421296080619936*c_1001_4^18 - 641057802553886250013075391211655374447254792539/938268763607436534\ 805590507856778421296080619936*c_1001_4^17 - 2327586614186597074146709211928953888550348512949/93826876360743653\ 4805590507856778421296080619936*c_1001_4^16 - 6029074533336257079076681687957707780005036555375/93826876360743653\ 4805590507856778421296080619936*c_1001_4^15 - 6532927131075410244127213876563671827918715201067/46913438180371826\ 7402795253928389210648040309968*c_1001_4^14 - 14925538476513159312464532710373170780195878132831/4691343818037182\ 67402795253928389210648040309968*c_1001_4^13 - 14916488002050860656068828949290097802149577455711/2345671909018591\ 33701397626964194605324020154984*c_1001_4^12 - 97357166191365340644384065848734982767509998147343/9382687636074365\ 34805590507856778421296080619936*c_1001_4^11 - 77991509100624935419990753561429826243053758065355/4691343818037182\ 67402795253928389210648040309968*c_1001_4^10 - 205021648797862695271301500204234577718361193723339/938268763607436\ 534805590507856778421296080619936*c_1001_4^9 - 116628133989866901919514458963084712872276188050741/469134381803718\ 267402795253928389210648040309968*c_1001_4^8 - 106064990690386485971260176592107344992966698635927/469134381803718\ 267402795253928389210648040309968*c_1001_4^7 - 166393896076720726478448353119817496415867070748613/938268763607436\ 534805590507856778421296080619936*c_1001_4^6 - 47715835543360296336315569415025173346568629401227/4691343818037182\ 67402795253928389210648040309968*c_1001_4^5 - 4709020875169223057941208129803993091741303942307/46913438180371826\ 7402795253928389210648040309968*c_1001_4^4 + 12634968277792554481064314586843478386208454152161/4691343818037182\ 67402795253928389210648040309968*c_1001_4^3 + 9861124466748454463653620526644034895267646476899/93826876360743653\ 4805590507856778421296080619936*c_1001_4^2 - 397393993727929388354949855950094081912124933357/117283595450929566\ 850698813482097302662010077492*c_1001_4 - 109449075639308800477844846155589159339587096211/234567190901859133\ 701397626964194605324020154984, c_0101_7 - 1260765022863646654047420390746094179992343663/9382687636074\ 36534805590507856778421296080619936*c_1001_4^23 + 1711906603595745130742552604557487736075177797/93826876360743653480\ 5590507856778421296080619936*c_1001_4^22 - 8859673340843194884967948741225206518068661971/46913438180371826740\ 2795253928389210648040309968*c_1001_4^21 + 5404064913244179332154544153156959186964106159/93826876360743653480\ 5590507856778421296080619936*c_1001_4^20 - 22681862295487262003297999397019442001328558769/2345671909018591337\ 01397626964194605324020154984*c_1001_4^19 - 95956167740446877815736698815004777473482706141/9382687636074365348\ 05590507856778421296080619936*c_1001_4^18 - 373521854192761147889552627531471320785396232419/938268763607436534\ 805590507856778421296080619936*c_1001_4^17 - 971238090589188620918458362496889954098076152229/938268763607436534\ 805590507856778421296080619936*c_1001_4^16 - 2345093424215258556687389095127461614340684649727/93826876360743653\ 4805590507856778421296080619936*c_1001_4^15 - 2769900417949459244569822004362722372946994293645/46913438180371826\ 7402795253928389210648040309968*c_1001_4^14 - 6312855227579776217625953109277652100154493120315/46913438180371826\ 7402795253928389210648040309968*c_1001_4^13 - 5899333486951529904107568028894476536368226761213/23456719090185913\ 3701397626964194605324020154984*c_1001_4^12 - 43376025646679128144246955258487065519087962370139/9382687636074365\ 34805590507856778421296080619936*c_1001_4^11 - 33501299008534123776561787544607770059700236649945/4691343818037182\ 67402795253928389210648040309968*c_1001_4^10 - 95783120244090787586949127176858079488804849519447/9382687636074365\ 34805590507856778421296080619936*c_1001_4^9 - 57876374274463601201711859118460596767654354273635/4691343818037182\ 67402795253928389210648040309968*c_1001_4^8 - 62109899668785854949545828366268805711621045428771/4691343818037182\ 67402795253928389210648040309968*c_1001_4^7 - 113830562247073061051810532261824098402214968234481/938268763607436\ 534805590507856778421296080619936*c_1001_4^6 - 42299851691761622003568259265221389385032960970469/4691343818037182\ 67402795253928389210648040309968*c_1001_4^5 - 24986966246110628111994093269093715209685174615983/4691343818037182\ 67402795253928389210648040309968*c_1001_4^4 - 9436776901647057104667906957754561397254727823423/46913438180371826\ 7402795253928389210648040309968*c_1001_4^3 - 1218558836748573872807049327698508859264830994905/93826876360743653\ 4805590507856778421296080619936*c_1001_4^2 + 481947177247513476595323883194141668081861803871/234567190901859133\ 701397626964194605324020154984*c_1001_4 + 104541758307188074279298775435773162642403336027/234567190901859133\ 701397626964194605324020154984, c_0101_9 - 8283039327826061616931661613981225062206358731/9382687636074\ 36534805590507856778421296080619936*c_1001_4^23 + 2223476438310890896254059725456800903258725853/93826876360743653480\ 5590507856778421296080619936*c_1001_4^22 - 44373344310448653045401865497603492127633516681/4691343818037182674\ 02795253928389210648040309968*c_1001_4^21 - 106654740291558954606745888551622729112581113573/938268763607436534\ 805590507856778421296080619936*c_1001_4^20 - 46101245279881787601547732720683468455732669903/1172835954509295668\ 50698813482097302662010077492*c_1001_4^19 - 1236796618833479355057310200762319527267318916089/93826876360743653\ 4805590507856778421296080619936*c_1001_4^18 - 2325506966725332837697404384556006184965911402579/93826876360743653\ 4805590507856778421296080619936*c_1001_4^17 - 7395250600469080434932414484685671251186655599261/93826876360743653\ 4805590507856778421296080619936*c_1001_4^16 - 18552582954557533467596881404140139064950500495143/9382687636074365\ 34805590507856778421296080619936*c_1001_4^15 - 20619539622038880733576487878365089035912113487523/4691343818037182\ 67402795253928389210648040309968*c_1001_4^14 - 47080546889302995423971187498420977493710358412647/4691343818037182\ 67402795253928389210648040309968*c_1001_4^13 - 45307937855029054002779028286478819906420364944431/2345671909018591\ 33701397626964194605324020154984*c_1001_4^12 - 306719485948046535703588656427676408253441087575943/938268763607436\ 534805590507856778421296080619936*c_1001_4^11 - 239429390855404657113718463020313998329350991011283/469134381803718\ 267402795253928389210648040309968*c_1001_4^10 - 640150689626316469635535109260637546264239866475555/938268763607436\ 534805590507856778421296080619936*c_1001_4^9 - 364465814297538641895582416512001321153820018565149/469134381803718\ 267402795253928389210648040309968*c_1001_4^8 - 344954336361429219249452379420187685012815147360575/469134381803718\ 267402795253928389210648040309968*c_1001_4^7 - 557162552232783531764296621285487071607606625014221/938268763607436\ 534805590507856778421296080619936*c_1001_4^6 - 168909161793901838462234920420236192827525400453379/469134381803718\ 267402795253928389210648040309968*c_1001_4^5 - 43885830503789058827599760812807401284762789809547/4691343818037182\ 67402795253928389210648040309968*c_1001_4^4 + 18637021472344877422367472304727514336291029541593/4691343818037182\ 67402795253928389210648040309968*c_1001_4^3 + 25475489354177685171511761363912732624338008326715/9382687636074365\ 34805590507856778421296080619936*c_1001_4^2 - 302344557348833573409179760188706375746255827761/117283595450929566\ 850698813482097302662010077492*c_1001_4 - 587223895697857833978536472611274619535067511195/234567190901859133\ 701397626964194605324020154984, c_1001_4^24 - c_1001_4^23 + 12*c_1001_4^22 + 3*c_1001_4^21 + 50*c_1001_4^20 + 107*c_1001_4^19 + 235*c_1001_4^18 + 749*c_1001_4^17 + 1791*c_1001_4^16 + 3984*c_1001_4^15 + 9126*c_1001_4^14 + 16720*c_1001_4^13 + 28301*c_1001_4^12 + 42784*c_1001_4^11 + 55749*c_1001_4^10 + 60788*c_1001_4^9 + 55422*c_1001_4^8 + 42787*c_1001_4^7 + 22796*c_1001_4^6 + 3006*c_1001_4^5 - 4234*c_1001_4^4 - 1557*c_1001_4^3 + 514*c_1001_4^2 + 228*c_1001_4 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB