Magma V2.19-8 Tue Aug 20 2013 23:44:42 on localhost [Seed = 1545222625] Type ? for help. Type -D to quit. Loading file "K13n2062__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2062 geometric_solution 10.46337495 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 12 -13 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.198972619210 0.658283378405 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448363066111 0.348835929470 8 0 9 7 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.531000110428 0.823068545203 7 9 4 0 1302 0132 0213 0132 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 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555843773088 0.754629864663 9 3 0 10 2310 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 13 -13 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.360371221465 0.551496198200 11 1 8 9 0132 0132 1023 3120 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 -13 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.346538443097 0.537659306348 7 6 1 6 2310 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.599416422818 1.061243717153 2 3 6 1 3201 2031 3201 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 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.140331761116 1.176627281638 2 11 5 10 0132 0132 1023 3120 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 13 -12 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.322366184018 1.128141113853 5 3 4 2 3120 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.262890718576 1.114573658181 8 11 4 11 3120 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 13 -13 0 -1 0 1 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.833297258739 0.546335667138 5 8 10 10 0132 0132 0132 0321 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -13 0 13 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.510931074721 1.674476780990 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_1']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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_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' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_1001_10'], 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : d['c_1001_10'], 'c_1100_3' : d['c_1001_10'], 'c_1100_2' : negation(d['c_0011_4']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_4']), 'c_1100_11' : d['c_1001_10'], 'c_1100_10' : d['c_1001_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : d['c_0101_7'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_10']), 'c_1100_8' : negation(d['c_0101_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : negation(d['c_0101_7']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_7']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_7'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_7, c_1001_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 8544266461147328516196543721514435708817419243836375265051818688473\ 033/255695143991594923801782613568176758629916961635673250460132482\ 3826675*c_1001_2^28 - 107495049528626433402142030241730362138769076\ 861784813652772171730773753/204556115193275939041426090854541406903\ 9335693085386003681059859061340*c_1001_2^27 - 6901327029984702082116668720049196010111856272507694424177399816251\ 8161/48703836950779985486053831155843192119984183168699666754310949\ 0252700*c_1001_2^26 + 140078041476603355703491476591228074349891055\ 7299278995814427653236746309/51139028798318984760356522713635351725\ 98339232713465009202649647653350*c_1001_2^25 + 1374319940607053399489042010082292501636831692452001573909594675306\ 32689/9298005236057997229155731402479154859269707695842663653095726\ 63209700*c_1001_2^24 + 66056029359235546697306089702866083353302390\ 8246021019567153072069462677/92980052360579972291557314024791548592\ 6970769584266365309572663209700*c_1001_2^23 + 2309811094831459184950575432950600061646451067220816854396856855010\ 394907/146111510852339956458161493467529576359952549506099000262932\ 8470758100*c_1001_2^22 + 476750696694823227720686239862319172190864\ 318540618381030344550486102053/284105715546216582001980681742418620\ 699907735150748056066813869314075*c_1001_2^21 - 1924364564553836273298352811067633988929784743105838489779281554675\ 41052/2556951439915949238017826135681767586299169616356732504601324\ 823826675*c_1001_2^20 - 9057323406651714730548001382116991022837191\ 57950075321466858681278450549/5682114310924331640039613634848372413\ 99815470301496112133627738628150*c_1001_2^19 - 6276332362955700579993896825402745487784452541590022408405316530282\ 6511989/10227805759663796952071304542727070345196678465426930018405\ 299295306700*c_1001_2^18 - 3877853868390829393673351911183621712854\ 998298710582791544322646813219399/681853717310919796804753636181804\ 689679778564361795334560353286353780*c_1001_2^17 - 4881623889324073007542539584132109627021134917269181292278298443589\ 5378/76785328526004481622156941011464492081056144635337312450490234\ 94975*c_1001_2^16 + 11848064254997892119624226100589291534378321630\ 3267960744489320972560473/34092685865545989840237681809090234483988\ 9282180897667280176643176890*c_1001_2^15 + 1567834283011528684587098147350764127626142678298238583338890279616\ 0046079/14611151085233995645816149346752957635995254950609900026293\ 28470758100*c_1001_2^14 + 83188350541202573100813238312935764240484\ 62919707022166047867452967900349/4091122303865518780828521817090828\ 13807867138617077200736211971812268*c_1001_2^13 + 2436502209667108554630994704162893097607115183191884768733512672239\ 89372403/1022780575966379695207130454272707034519667846542693001840\ 5299295306700*c_1001_2^12 + 192095122436096060402638498835745020970\ 77324877164113542118353998350667059/7305575542616997822908074673376\ 47881799762747530495001314664235379050*c_1001_2^11 + 3930633660836155062506875595492468004184963288503604332795903226589\ 38141/1911739394329681673284355989294779503775080086995687853907532\ 5785620*c_1001_2^10 + 100307429639632720387947121149065474779493743\ 5458155531889546013737184937/48703836950779985486053831155843192119\ 984183168699666754310949025270*c_1001_2^9 + 1343106820713754854240215735773773703789392816530365447307919311913\ 40161821/1022780575966379695207130454272707034519667846542693001840\ 5299295306700*c_1001_2^8 + 1744741761825008001669144486512289029167\ 1321596371409171306283580846011477/20455611519327593904142609085454\ 14069039335693085386003681059859061340*c_1001_2^7 + 1498263250999813744329974438259060054345531622181100702423051033829\ 87129/3246922463385332365736922077056212807998945544579977783620729\ 9350180*c_1001_2^6 + 3266104437688595953321024396125353467789891131\ 734860548392856317346266167/170463429327729949201188409045451172419\ 9446410904488336400883215884450*c_1001_2^5 + 3892892868513332421091538061934894538444457436262916463602377683460\ 01089/2764271826936161338397649876412721714918021206872143248217648\ 45819100*c_1001_2^4 + 213792945541709365610464098628965027527205769\ 3351746191589134412103315559/20455611519327593904142609085454140690\ 39335693085386003681059859061340*c_1001_2^3 + 4157698642069398794445306477822226813605179534060614908369400895662\ 9733/13282864622939996041651044860684506941813868136918090932993895\ 1887100*c_1001_2^2 + 8452646395699981104703892447206844101101680554\ 36402525386776015230302589/1022780575966379695207130454272707034519\ 6678465426930018405299295306700*c_1001_2 + 1632949888574012772429495215598643112078045137711933172476438284164\ 84833/1022780575966379695207130454272707034519667846542693001840529\ 9295306700, c_0011_0 - 1, c_0011_10 - 6925076999481674883896619972554935998238486482733849948003/\ 7145669056619563161454083783247708937495033277363335471673*c_1001_2\ ^28 + 36652968320031627047894904354054233634635387473072880721440/2\ 381889685539854387151361261082569645831677759121111823891*c_1001_2^\ 27 + 277208796699450471481656823713786591304101205491941480025572/7\ 145669056619563161454083783247708937495033277363335471673*c_1001_2^\ 26 - 204761519072020900552795594218987387445016427442813263386405/2\ 381889685539854387151361261082569645831677759121111823891*c_1001_2^\ 25 - 75118201475475742885498598743618643453480554947480958682299/23\ 81889685539854387151361261082569645831677759121111823891*c_1001_2^2\ 4 - 1410980685403650442080058750039764927041487699081633994222388/7\ 145669056619563161454083783247708937495033277363335471673*c_1001_2^\ 23 - 3037582023718986031645223363034765357675537809346324275900869/\ 7145669056619563161454083783247708937495033277363335471673*c_1001_2\ ^22 - 2983919406857269396681647367367368651049965347145894595252066\ /7145669056619563161454083783247708937495033277363335471673*c_1001_\ 2^21 + 738600549446506358925552660776240018455032978705495538110290\ /7145669056619563161454083783247708937495033277363335471673*c_1001_\ 2^20 + 110142506846029296148182053127934220076011307168005671820967\ 0/2381889685539854387151361261082569645831677759121111823891*c_1001\ _2^19 + 12108983760448179217818210698238970492220608257579598945389\ 218/7145669056619563161454083783247708937495033277363335471673*c_10\ 01_2^18 + 973540746017487997487746101432167698639267953221991472718\ 4718/7145669056619563161454083783247708937495033277363335471673*c_1\ 001_2^17 + 11277995809842561737143284734469478551957533139861874665\ 855790/7145669056619563161454083783247708937495033277363335471673*c\ _1001_2^16 - 279540651351554170038718434073509974141908324767855137\ 4382664/7145669056619563161454083783247708937495033277363335471673*\ c_1001_2^15 - 22002047035195071757615532328744129100682056020969342\ 343503802/714566905661956316145408378324770893749503327736333547167\ 3*c_1001_2^14 - 385852262201304622888192898652414506602681041948777\ 92218499995/7145669056619563161454083783247708937495033277363335471\ 673*c_1001_2^13 - 4241611057330148657653291709665140265286253592764\ 7618816003432/71456690566195631614540837832477089374950332773633354\ 71673*c_1001_2^12 - 46541805049264469083386175035917678498256557090\ 430186584051147/714566905661956316145408378324770893749503327736333\ 5471673*c_1001_2^11 - 343198358752265878020524812102864119194478920\ 50017617531788625/7145669056619563161454083783247708937495033277363\ 335471673*c_1001_2^10 - 1209072261661050213230306696375587571123603\ 7041094546831657410/23818896855398543871513612610825696458316777591\ 21111823891*c_1001_2^9 - 206919469043780631467440664357501343943418\ 24915950061034893894/7145669056619563161454083783247708937495033277\ 363335471673*c_1001_2^8 - 13634025998659801025094167134940070205677\ 299366373167569488866/714566905661956316145408378324770893749503327\ 7363335471673*c_1001_2^7 - 2310142327566029020681505478334225944800\ 892609389613680093572/238188968553985438715136126108256964583167775\ 9121111823891*c_1001_2^6 - 9637650061732371430693669988871353943765\ 03554424507704969320/2381889685539854387151361261082569645831677759\ 121111823891*c_1001_2^5 - 23425706251644870563119038694440731119533\ 04027871719478138192/7145669056619563161454083783247708937495033277\ 363335471673*c_1001_2^4 - 16836867997960283241486813313220725503639\ 86147971297845171485/7145669056619563161454083783247708937495033277\ 363335471673*c_1001_2^3 - 37087595141688311687279706066769358391558\ 0378849550749877420/71456690566195631614540837832477089374950332773\ 63335471673*c_1001_2^2 - 364972851587228239285881280424666618663854\ 24181709451643312/2381889685539854387151361261082569645831677759121\ 111823891*c_1001_2 - 1214579169376238495172002748840602472996274984\ 4636461099220/71456690566195631614540837832477089374950332773633354\ 71673, c_0011_3 + 82316217353631421293847512957321220669051095313633562341/714\ 5669056619563161454083783247708937495033277363335471673*c_1001_2^28 - 409025954404006501446177752763240394305296207186100897212/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2^27 - 4608187931981572748677719511242029476169244960324061651880/71456690\ 56619563161454083783247708937495033277363335471673*c_1001_2^26 + 1608281481007387368696680264620511414675669094334592918038/23818896\ 85539854387151361261082569645831677759121111823891*c_1001_2^25 + 3643882156133002054395722221167557406980765471495570712285/23818896\ 85539854387151361261082569645831677759121111823891*c_1001_2^24 + 13998225799024395804089619343891122656391348743393742110645/7145669\ 056619563161454083783247708937495033277363335471673*c_1001_2^23 + 54392914053945560447516217842177912498348158957478887371193/7145669\ 056619563161454083783247708937495033277363335471673*c_1001_2^22 + 63918964227241641162504769203101974584948215742286010261201/7145669\ 056619563161454083783247708937495033277363335471673*c_1001_2^21 + 12138809020151971357708549135953985162656859046155806045187/7145669\ 056619563161454083783247708937495033277363335471673*c_1001_2^20 - 16689588756874467115019423852967608869048797067979376406930/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2^19 - 163118318346673133058636836710069145096424727260666142824293/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^18 - 245024114147233031035808321556059315236090198989256172557726/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^17 - 193535383321360679874394723728883476000319902639384427484581/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^16 - 94199141207930600102758438597487727546121810223663291274091/7145669\ 056619563161454083783247708937495033277363335471673*c_1001_2^15 + 315229389851280472441555871155941206375350497783490187403616/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^14 + 659069414009331104111740780966860140395468931277692152333936/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^13 + 838459148200247088142788501040758263046597872124986613953479/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^12 + 934129171252644676152280260925550396348367291814156398684641/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^11 + 874703206676476749095261714375451286423682661224130700229615/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^10 + 239308264072328850506361541891536346010983136926342796950583/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^9 + 633430988040974198600179472720936272013911199188123408814210/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^8 + 308338669842976555283393830754220634480352611398518276895311/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^7 + 79315148923470150924583468754568099397259398785472153064903/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2^6 + 36334272704664351520789492027301225219789523256451017006882/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2^5 + 50741183606319074031637693706818679772775956747850670943782/7145669\ 056619563161454083783247708937495033277363335471673*c_1001_2^4 + 48306092981738181870902637611103756861289781845216614451142/7145669\ 056619563161454083783247708937495033277363335471673*c_1001_2^3 + 12936530252084247782218703324489823346233587999600676837493/7145669\ 056619563161454083783247708937495033277363335471673*c_1001_2^2 + 863296723134515553237792037401131789136522270932645210687/238188968\ 5539854387151361261082569645831677759121111823891*c_1001_2 + 6979533271782326333681618717898713648965256706938770183082/71456690\ 56619563161454083783247708937495033277363335471673, c_0011_4 + 845004313434874080488700142619515484955671404869785071946/23\ 81889685539854387151361261082569645831677759121111823891*c_1001_2^2\ 8 - 13528877549447739117374837843512894318570267544592959600933/238\ 1889685539854387151361261082569645831677759121111823891*c_1001_2^27 - 32031819937964736532185556217996903095763866574887616431537/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^26 + 79071535076316721358601877984601806004511762776293236099152/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2^25 + 16875790905898944335640304122922835716106157607972381072962/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2^24 + 170614965731895899571741531908692579208824448115814201457527/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^23 + 347493578623903732126064176376782869960659078026478482739008/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^22 + 320320939227192809265104331658429798194324293208195018679311/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^21 - 130001628483381368911430627901957567922020874037524809031351/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^20 - 383869584150857093323768794488225381945939218397212821284888/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^19 - 1426406632286957169146036339497319890176883303155347791710715/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^18 - 998504345825507314990451851947858778550594086383693141741578/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^17 - 1257467298429149342355593577959572222957118354980645983817829/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^16 + 499911735218419701705698813663814036557400427696378934245015/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^15 + 2600419681484742773758950339409087825636983492760120185395655/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^14 + 4365712717057003134373580670791281881386226454764227539140954/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^13 + 4609644242234447848274891685540946624311534531054312158459255/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^12 + 5106793584031599368996959513744857495769390886153173852006685/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^11 + 3560035248976591705483792620352850076178612511074538622978075/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^10 + 4020668818895358533006121709800669694958513905297650058850500/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^9 + 2032575552088353094753918822756879380770930876810357071740343/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^8 + 1437017124713947587699512281421007197916913550063396241032547/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^7 + 663537862171572998695494503482578313607492537331839353384679/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^6 + 277518312332060807092034734379236068289652377346938844914509/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^5 + 243049241222733508969490033123059012513586724207157036784617/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^4 + 172119716503647350938684846150461695785568765240555169373194/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^3 + 16757811398682185682219123480680167015159614881244049601100/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2^2 + 9305513033190946130737260962822077663043570532799957797206/23818896\ 85539854387151361261082569645831677759121111823891*c_1001_2 + 188054706830893718480264671708612535113071242230088083099/238188968\ 5539854387151361261082569645831677759121111823891, c_0011_6 - 1157714025780321082279892093178026156335641015974473524657/2\ 381889685539854387151361261082569645831677759121111823891*c_1001_2^\ 28 + 18121906630109280593560871317114340412314670228033261852675/23\ 81889685539854387151361261082569645831677759121111823891*c_1001_2^2\ 7 + 50395468609568448334523767025821002866138807927251382991950/238\ 1889685539854387151361261082569645831677759121111823891*c_1001_2^26 - 90860148697209530085941114033211175057818519293157884708502/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^25 - 57589199875382507243459132679241262784931117558309853893974/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2^24 - 252855758254384597293410385488118091494392505751881083610618/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^23 - 562388238218831635045177554970674001165067131674139046569059/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^22 - 629674121019771633091672626400685899653512297710170379238298/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^21 - 23200885063690055198320424236585633438832426425370185347524/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2^20 + 549980555682794037941709532055191304833602591455222344688605/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^19 + 2167723982603123736671326319046037379464038318469770389876569/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^18 + 2122488496013448537387126511972123020414577995728681949027902/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^17 + 2390652037992361044435941666576631738041698823528918137957270/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^16 + 46643703833570189729578110335058985410877307234905818335784/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2^15 - 3669397347903015705479681763053618159417547825293472745353544/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^14 - 7343815845237422719891428658810769010956013783995555774527221/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^13 - 8803405086598577638308416275475900507668718053939835319516438/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^12 - 9798135816449398289840790576402546154878284355181977078448998/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^11 - 7906177465936291361101930210694448808574047178061211905795065/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^10 - 7825793679329300888457934648089592548460540874590852505210740/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^9 - 5149004618122902777562545823106307846785698169350517389899555/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^8 - 3438598857425555373916921745357005851879649246477617332800353/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^7 - 1853272950791483187716398118892909449419575245316428170142568/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^6 - 880310545894018537751626495142888311913914611692249830038842/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^5 - 557976576010375306167883034933869540738775902033541990774590/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^4 - 402061816565739265673969326675178182288273762672178511420806/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^3 - 150219333884612497066455246008510908933010441702580003186281/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^2 - 47577678970184376311091295990181272105389556878585817018909/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2 - 7118646323573266868027800267997020096186989354963491140445/23818896\ 85539854387151361261082569645831677759121111823891, c_0101_0 - 3787703725896180709481678216911400859973750814173956869455/7\ 145669056619563161454083783247708937495033277363335471673*c_1001_2^\ 28 + 19752790925604855800649052570842811023914264694063801507492/23\ 81889685539854387151361261082569645831677759121111823891*c_1001_2^2\ 7 + 165259548443051617467263101649643019351321532028676907397608/71\ 45669056619563161454083783247708937495033277363335471673*c_1001_2^2\ 6 - 98043909018037985814236724133829110031840476523370491936387/238\ 1889685539854387151361261082569645831677759121111823891*c_1001_2^25 - 62454195172813728793384772428675112117859090387538358546526/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^24 - 839558726738106648624462409140415068631496986015205590549985/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^23 - 1843916586449288265671468214336108375019467412417583438891902/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^22 - 2101629195419469673159490652861165101455502679650565179602178/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^21 - 130754277599169511389907787633579460291418490040810201358153/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^20 + 588049993409668532429115889339171533984950133583744834465785/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^19 + 7116607262173479248453730023201557708653829067517602986263743/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^18 + 7034998795706937149669380397424364129355433986788255857393907/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^17 + 8060460405412612280208733608049369845570198437989579842388918/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^16 + 303532079722011410511540903550628919487074408781578361810438/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^15 - 11807773534121543108902504002397652573409975379134689057386066/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^14 - 24194687523587576286655375043374993515571875403171554838079239/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^13 - 29271543274439280105066967124572003671932586741212493002627236/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^12 - 32784874450212501564547073827673636902193919425250570841145096/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^11 - 26697765668791301240957296695283183187394499625480581111701158/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^10 - 8831383524979940607109136426726748443979086660102455999158715/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^9 - 17501856718709013301668747336090498995831511566767718225623643/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^8 - 11985366264451526106136808697942971758789502191517195757041729/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^7 - 2125286348783910054736485634306847637037841170696679085851257/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^6 - 1057392205108529849351164608204297317163802324088598009927995/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^5 - 1952631950336047165311845304420233628618003169403848164458936/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^4 - 1370208688645527708103763233024828816828159324530202789729211/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^3 - 547752947730157127658794177266991900371574416295602021075642/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^2 - 58729977820171586688002965991505870944414246821929777490075/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2 - 26351592966592716208661719449811735747338955367034031171646/7145669\ 056619563161454083783247708937495033277363335471673, c_0101_1 + 1485231798422157744719080339812789978401452870832741233340/7\ 145669056619563161454083783247708937495033277363335471673*c_1001_2^\ 28 - 7907201523143924811129065286818562189381186278524645184306/238\ 1889685539854387151361261082569645831677759121111823891*c_1001_2^27 - 57279534660048447587950882564828742793527308599819461006599/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^26 + 45912497362131352601155076538754944273593503914974018438498/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2^25 + 12209376591750218306410514948568338838196049555874096089113/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2^24 + 294207179258827057717627751797587963129216013425673453675300/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^23 + 624542536290515334474811645491122259483556561149495515774048/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^22 + 577701728976990658014983305309906824025576606930168859367085/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^21 - 224706542059430399842062910827271375833600585414367484114713/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^20 - 229511015434359111575477702984939209581964948321602215896964/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^19 - 2508619844039946333466683399246335474407321779788477546783944/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^18 - 1836192600909623954368707252002194794517819762209722071507931/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^17 - 2204847701735304960977230123171437599595063211417537426758314/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^16 + 804886234139736533096094870296831645571164965427318165860195/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^15 + 4636159384989320551584240629992727932524213972592736798456126/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^14 + 7774651708738874982793303325951814058603067314403851699067912/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^13 + 8247033867327243492767819731427847346761166881054816514531802/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^12 + 9120819273594022083885996480885801866528010332717226213110125/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^11 + 6492814948458503467239912125907247206361269667214685672405718/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^10 + 2387074511362864550650525237468310133126267586404061614855368/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^9 + 3811799221944900494365041892651100990677177037008245237407857/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^8 + 2562360324782613906211823473288100611503474992784488814247630/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^7 + 427744952425083865678206822407222643296489661820921570290518/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^6 + 176612294028290494980309497926507409381065756603788984180385/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^5 + 444528483694451176744268545558651132074680213782557375276160/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^4 + 321855593472207239808423957357355727668292673333720973664935/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^3 + 35434193493384073397484527759802232043083365862685991495575/7145669\ 056619563161454083783247708937495033277363335471673*c_1001_2^2 + 5784988430878766474054196377706921146383568565133182297457/23818896\ 85539854387151361261082569645831677759121111823891*c_1001_2 + 3153180738578829283601556083905157386712980558168153917553/71456690\ 56619563161454083783247708937495033277363335471673, c_0101_10 + 2589016618086148128160762068779319781373766831477889668256/\ 7145669056619563161454083783247708937495033277363335471673*c_1001_2\ ^28 - 13458161582498635184608391004141120008504902653289873569866/2\ 381889685539854387151361261082569645831677759121111823891*c_1001_2^\ 27 - 115247659566185071788846276283697148079770383394364750643609/7\ 145669056619563161454083783247708937495033277363335471673*c_1001_2^\ 26 + 66457867903359955260728108079511817797540752457040820397180/23\ 81889685539854387151361261082569645831677759121111823891*c_1001_2^2\ 5 + 48693137422702257526411373858522780419160859850186555670190/238\ 1889685539854387151361261082569645831677759121111823891*c_1001_2^24 + 555103716122451136873288639897941324940847591935173795617051/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^23 + 1294668631060698262312473864540686803548744332816571252691777/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^22 + 1445777796961396668783203424944616303603806105026662130740608/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^21 + 77757127770422290657359765549422836355291786580025215816640/7145669\ 056619563161454083783247708937495033277363335471673*c_1001_2^20 - 423602813104499652538958125415790291526353491246421943774884/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^19 - 4879938056604462651887133363847378064115569024728111590208508/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^18 - 4975802626011576556634449060394422085464051467047193237649129/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^17 - 5361294407720716402607565141470217546303586064429972285296291/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^16 - 317059167016533520187902531486867614872762473920579814927525/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^15 + 8420474559884588586452715583932100691720356542791841406950754/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^14 + 16734135754854410109383164390706950518566648469463243509060535/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^13 + 20219688062899830749764463630178237607580266398212608069499974/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^12 + 22369082611046684515051236579160101988600940847410756569817867/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^11 + 18308392201289690818512766256029649238265269796564385321343242/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^10 + 5909282570353942119830750451622381826253122798212764387169129/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^9 + 12067180921459939965815778823378235840339325546211563933718004/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^8 + 7637424783904226970805009771786391139735191634087623922098324/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^7 + 1445902555815125661682491813251413587873677496294529859035337/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^6 + 629323435695583648497723515529812277079815433895557012669073/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^5 + 1255476170367013447498336150668975656271306056213312980120580/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^4 + 882682078751649567769337591698548774963420096910306248444827/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^3 + 331721436797300663800150970739333308101223264456272686872215/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^2 + 29973574209053593121944980892279514220744905631301652562383/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2 + 15739607043108835226370717892904109112727539565956105835759/7145669\ 056619563161454083783247708937495033277363335471673, c_0101_11 + 6988870820258872831999373424897375534446540934753676671671/\ 7145669056619563161454083783247708937495033277363335471673*c_1001_2\ ^28 - 37691613147927385294110565114300129753445964245909350903397/2\ 381889685539854387151361261082569645831677759121111823891*c_1001_2^\ 27 - 246044963282437494509045097276967912253486193385042933365010/7\ 145669056619563161454083783247708937495033277363335471673*c_1001_2^\ 26 + 232962309952706296099397605926407226600672742464861081592650/2\ 381889685539854387151361261082569645831677759121111823891*c_1001_2^\ 25 + 9667952007038012355757139038177185489086277163725503007488/238\ 1889685539854387151361261082569645831677759121111823891*c_1001_2^24 + 1387278677337832585243951921621053134793393558891924224921197/714\ 5669056619563161454083783247708937495033277363335471673*c_1001_2^23 + 2641009740748734536202561583217762184316807971109196371602599/714\ 5669056619563161454083783247708937495033277363335471673*c_1001_2^22 + 2152719820557137961605104929275117018873324569125608636867419/714\ 5669056619563161454083783247708937495033277363335471673*c_1001_2^21 - 1521654568584141936197634436079287120654392639956608050778873/714\ 5669056619563161454083783247708937495033277363335471673*c_1001_2^20 - 1000779431207995382435824199038227694988907270026852753587653/238\ 1889685539854387151361261082569645831677759121111823891*c_1001_2^19 - 11280320657666733727801387812560338531246274878963942773155662/71\ 45669056619563161454083783247708937495033277363335471673*c_1001_2^1\ 8 - 6291503958463345609060565774041401687298679145913153155062348/7\ 145669056619563161454083783247708937495033277363335471673*c_1001_2^\ 17 - 8959776044891484169115354557828148682063517833470562079986788/\ 7145669056619563161454083783247708937495033277363335471673*c_1001_2\ ^16 + 5905579955270186791315968776360299995970814666709823754726533\ /7145669056619563161454083783247708937495033277363335471673*c_1001_\ 2^15 + 209215959349604920388306982717628683024126211298693863753158\ 02/7145669056619563161454083783247708937495033277363335471673*c_100\ 1_2^14 + 3249312189163938190424874939940895752295646497697163443744\ 0599/7145669056619563161454083783247708937495033277363335471673*c_1\ 001_2^13 + 32095298554149329962639735319183605135816394741424687677\ 246939/7145669056619563161454083783247708937495033277363335471673*c\ _1001_2^12 + 356672753379067183418884103981085489318889930014626531\ 54217007/7145669056619563161454083783247708937495033277363335471673\ *c_1001_2^11 + 2212609450554767914181678049853148777490487560194728\ 6125483835/71456690566195631614540837832477089374950332773633354716\ 73*c_1001_2^10 + 93225548596914509715060716705455894906943531578412\ 16719213615/2381889685539854387151361261082569645831677759121111823\ 891*c_1001_2^9 + 11029825905690050456293046317242924677697184338414\ 664506379135/714566905661956316145408378324770893749503327736333547\ 1673*c_1001_2^8 + 8837533783283877819956090009662590917549159440140\ 422628092362/714566905661956316145408378324770893749503327736333547\ 1673*c_1001_2^7 + 1158352189012640163534673928778825198757649694182\ 810395907805/238188968553985438715136126108256964583167775912111182\ 3891*c_1001_2^6 + 4127588406797278388855703294822376204175187897970\ 00131449962/2381889685539854387151361261082569645831677759121111823\ 891*c_1001_2^5 + 16895518535357190614636740695848213286910691320242\ 12961470832/7145669056619563161454083783247708937495033277363335471\ 673*c_1001_2^4 + 10306729322694739978797866366339954839508554738072\ 34138191153/7145669056619563161454083783247708937495033277363335471\ 673*c_1001_2^3 - 44957646888272463084517942413105956737799768069464\ 070516119/714566905661956316145408378324770893749503327736333547167\ 3*c_1001_2^2 + 1759242953590252280939900599731842649912210861042391\ 3483780/2381889685539854387151361261082569645831677759121111823891*\ c_1001_2 - 17535473711836961588169576891848744702136027395483861318\ 528/7145669056619563161454083783247708937495033277363335471673, c_0101_7 + 2041819922255471256352554399812833413082584367119179283689/7\ 145669056619563161454083783247708937495033277363335471673*c_1001_2^\ 28 - 10651447129109467269575811902196859384385822707530853415012/23\ 81889685539854387151361261082569645831677759121111823891*c_1001_2^2\ 7 - 89020825113432690427245854906432633597499544857861772557973/714\ 5669056619563161454083783247708937495033277363335471673*c_1001_2^26 + 53512175838241696724550669831078105487253126100545809891293/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^25 + 34500805353999948334745880811279802432848119452269402883563/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2^24 + 442780125656281432272672370745635973593635235003227972858937/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^23 + 992028772902905059438541138501991600631643882752191193492577/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^22 + 1107910095096492735795652418840142825095448281520035085392239/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^21 + 29767380842691308986428745707609275913018404420183965547855/7145669\ 056619563161454083783247708937495033277363335471673*c_1001_2^20 - 328351156004437205410877732320528076470116958139900486971539/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^19 - 3816399231588561429492604361964007646779026106473687741870751/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^18 - 3737864620187645472771644917389923252481747414844788616900295/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^17 - 4177817629766376232672947762793032753920157734942760282825059/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^16 - 53439282086355047145858646179966665158521806537727559207958/7145669\ 056619563161454083783247708937495033277363335471673*c_1001_2^15 + 6523688463680467085854132410962169087049783489554102245833043/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^14 + 12946527562506169493030197678595976296626260479168150908043864/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^13 + 15464542304321057893124882135601804926669435675647333211248253/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^12 + 17156302108893347099446026078737751917808391228188798691232692/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^11 + 13821304838671155427422406750547429812063729983537440768334598/7145\ 669056619563161454083783247708937495033277363335471673*c_1001_2^10 + 4546383200789034741283549658094790035070007644582486733127671/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^9 + 8955737170798513729648552078469867993812134497110930026082372/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^8 + 5921865291323728651875482707029615401310877894153445993301610/71456\ 69056619563161454083783247708937495033277363335471673*c_1001_2^7 + 1069075988640150170072787935710919475123717885891180178495891/23818\ 89685539854387151361261082569645831677759121111823891*c_1001_2^6 + 497595275001485797949225637762721260638286313203674165428874/238188\ 9685539854387151361261082569645831677759121111823891*c_1001_2^5 + 961792997629141759294529308921291353976328232780221043607228/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^4 + 697130928405435528119681027642997742094725232443498170256519/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^3 + 253100547581694641911218616003649683349992791204739183861061/714566\ 9056619563161454083783247708937495033277363335471673*c_1001_2^2 + 26481860535601363011822433862874993077159631151134626513221/2381889\ 685539854387151361261082569645831677759121111823891*c_1001_2 + 11892017146839565399268141043481265802439230820790660161054/7145669\ 056619563161454083783247708937495033277363335471673, c_1001_10 + 1, c_1001_2^29 - 16*c_1001_2^28 - 38*c_1001_2^27 + 92*c_1001_2^26 + 18*c_1001_2^25 + 209*c_1001_2^24 + 416*c_1001_2^23 + 397*c_1001_2^22 - 118*c_1001_2^21 - 427*c_1001_2^20 - 1706*c_1001_2^19 - 1238*c_1001_2^18 - 1623*c_1001_2^17 + 483*c_1001_2^16 + 2984*c_1001_2^15 + 5241*c_1001_2^14 + 5754*c_1001_2^13 + 6484*c_1001_2^12 + 4677*c_1001_2^11 + 5230*c_1001_2^10 + 2768*c_1001_2^9 + 2067*c_1001_2^8 + 1000*c_1001_2^7 + 456*c_1001_2^6 + 368*c_1001_2^5 + 231*c_1001_2^4 + 53*c_1001_2^3 + 29*c_1001_2^2 + 2*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.560 Total time: 7.759 seconds, Total memory usage: 64.12MB