Magma V2.19-8 Tue Aug 20 2013 23:39:01 on localhost [Seed = 2244207075] Type ? for help. Type -D to quit. Loading file "K12n562__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n562 geometric_solution 10.21319044 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 -1 0 0 0 0 -1 -5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564594060768 0.567622543415 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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 1.102522286025 1.106434500752 0 0 5 7 2031 0132 0132 0132 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 -1 1 0 1 0 -1 0 -6 5 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.119145546356 0.885579357097 8 8 0 9 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.783189695150 1.341152067607 5 1 10 9 0213 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.645561060716 0.443763454526 4 9 1 2 0213 3012 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 1 -1 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.575189199453 0.759766673731 8 7 8 1 3120 2310 0213 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.653671334310 0.764466019803 10 10 2 6 0321 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638733165762 0.903085503825 3 6 3 6 0132 0213 2310 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.337473152090 0.653063602952 5 10 3 4 1230 3120 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.984571097701 1.153937354980 7 9 7 4 0321 3120 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.477964474514 0.738090239897 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0011_9']), 'c_1001_4' : negation(d['c_0011_9']), 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : negation(d['c_0101_8']), 'c_1001_2' : negation(d['c_0101_8']), 'c_1001_9' : negation(d['c_1001_10']), 'c_1001_8' : d['c_1001_10'], 'c_1010_10' : negation(d['c_0011_9']), '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_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' : negation(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' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_5']), '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_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_6']), 'c_1100_10' : negation(d['c_0011_5']), 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : negation(d['c_1001_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : negation(d['c_0011_9']), 'c_1010_0' : negation(d['c_0101_8']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0011_6']), 's_3_1' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_5']), '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_10' : d['c_0011_5'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_5'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_7' : negation(d['c_0011_10']), 'c_1100_8' : d['c_0011_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_6, c_0011_9, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 2266293499514354551712401571480203448193109961891985214413087/23146\ 29368972461734470586432316914514595266861973241579040000*c_1001_10^\ 24 + 692976421446954491888752788462332728150633955989498729971817/2\ 3146293689724617344705864323169145145952668619732415790400*c_1001_1\ 0^23 - 159448326592473593325444648025461240243434886647951289147312\ 811/462925873794492346894117286463382902919053372394648315808000*c_\ 1001_10^22 + 426999977453363908744728540155973876385902359900624384\ 2003498449/23146293689724617344705864323169145145952668619732415790\ 40000*c_1001_10^21 - 7445750547953060380123623889729183933829430623\ 351427562602749653/115731468448623086723529321615845725729763343098\ 6620789520000*c_1001_10^20 + 39918596677632914712108624467617376713\ 49715083817633767468096607/2314629368972461734470586432316914514595\ 26686197324157904000*c_1001_10^19 - 45277069838717514780476688030900568548594424675051160520751656449/1\ 157314684486230867235293216158457257297633430986620789520000*c_1001\ _10^18 + 1103632260077940263661841484705127974729161511959844637493\ 7064489/14466433556077885840441165201980715716220417887332759869000\ 0*c_1001_10^17 - 20495763328316490045195572941187947360331069683951\ 29990601154839/1630020682374973052444074952335855291968497790122001\ 1120000*c_1001_10^16 + 58124867217799292539683615055761839074280524\ 380044720611897430667/330661338424637390638655204616702073513609551\ 710463082720000*c_1001_10^15 - 100220742880104034576598017910425709\ 453600098258124631492644474183/462925873794492346894117286463382902\ 919053372394648315808000*c_1001_10^14 + 9969934982237830258208059339330813262678291295592396976861854299/41\ 332667303079673829831900577087759189201193963807885340000*c_1001_10\ ^13 - 5479964598375245645009640466593236935997346724239279560889516\ 07201/2314629368972461734470586432316914514595266861973241579040000\ *c_1001_10^12 + 227387576637844864579824555294214064169223871536342\ 428331860816709/115731468448623086723529321615845725729763343098662\ 0789520000*c_1001_10^11 - 32668301318441614009188426479329311179271\ 9664194034698778350326223/23146293689724617344705864323169145145952\ 66861973241579040000*c_1001_10^10 + 108496425464513892062928415136374844527461867558660365668826017117/\ 1157314684486230867235293216158457257297633430986620789520000*c_100\ 1_10^9 - 3135921542612050874805248787227785594037310299479318074117\ 7435881/57865734224311543361764660807922862864881671549331039476000\ 0*c_1001_10^8 + 253248728858626170448292316049412153054593994211253\ 58240659234177/1157314684486230867235293216158457257297633430986620\ 789520000*c_1001_10^7 - 1065277293888459655704546580637727617932269\ 2392287243615647324477/23146293689724617344705864323169145145952668\ 61973241579040000*c_1001_10^6 - 40987819613540192001389372141926997\ 8317940243789554219495611/46572019496427801498402141495310151199099\ 9368606286032000*c_1001_10^5 + 557104211170973792841970045161954336\ 474484739966990305518238399/231462936897246173447058643231691451459\ 526686197324157904000*c_1001_10^4 - 2293891839217672031357844392384510493714874007766261961945120637/11\ 57314684486230867235293216158457257297633430986620789520000*c_1001_\ 10^3 + 221917447487140623687607345126596320863445606563694542073506\ 7017/2314629368972461734470586432316914514595266861973241579040000*\ c_1001_10^2 - 92266594705913698824438807673928572408878077363579693\ 160071329/231462936897246173447058643231691451459526686197324157904\ 000*c_1001_10 + 259370598626838438456665466156055428034742872770271\ 810685363661/231462936897246173447058643231691451459526686197324157\ 9040000, c_0011_0 - 1, c_0011_10 - 591957477873391714298213921069233428965522687863059/4657201\ 94964278014984021414953101511990999368606286032*c_1001_10^24 + 3923440279288600712803812731576445014317317674540025/11643004874106\ 9503746005353738275377997749842151571508*c_1001_10^23 - 135162259811033499525572907467822740896647293704827307/465720194964\ 278014984021414953101511990999368606286032*c_1001_10^22 + 283253267057644588273452646471091825371357698395912645/465720194964\ 278014984021414953101511990999368606286032*c_1001_10^21 + 249347401948599130692021360956487072667938856428738735/232860097482\ 139007492010707476550755995499684303143016*c_1001_10^20 - 2398455815782245823445622868800809062706849533870378557/23286009748\ 2139007492010707476550755995499684303143016*c_1001_10^19 + 8581546629020464085793677757567899799078232504590259091/23286009748\ 2139007492010707476550755995499684303143016*c_1001_10^18 - 2915044767714303294135189865980636884514245454302123526/29107512185\ 267375936501338434568844499437460537892877*c_1001_10^17 + 52473939013457089149183034344588505799578610055769170391/2328600974\ 82139007492010707476550755995499684303143016*c_1001_10^16 - 192799326959407083234316776443509128115934583172516447479/465720194\ 964278014984021414953101511990999368606286032*c_1001_10^15 + 290166209554691955842701627822810893663061042788774319305/465720194\ 964278014984021414953101511990999368606286032*c_1001_10^14 - 23588895267341630568101895075883750000394633300338648608/2910751218\ 5267375936501338434568844499437460537892877*c_1001_10^13 + 443977471669828602198832698526582276320306389566320962395/465720194\ 964278014984021414953101511990999368606286032*c_1001_10^12 - 232262288877819380346589007320540866343622009628032085355/232860097\ 482139007492010707476550755995499684303143016*c_1001_10^11 + 412286131765763384292622316745699978231331338197792061349/465720194\ 964278014984021414953101511990999368606286032*c_1001_10^10 - 157648091093437619185583268438284024646831300497383086447/232860097\ 482139007492010707476550755995499684303143016*c_1001_10^9 + 56014086037501451267821760405980275559435890968679740417/1164300487\ 41069503746005353738275377997749842151571508*c_1001_10^8 - 74375024157884241961902629984711343673242796802935280731/2328600974\ 82139007492010707476550755995499684303143016*c_1001_10^7 + 81395241396809320150129638241251349268416557472172980183/4657201949\ 64278014984021414953101511990999368606286032*c_1001_10^6 - 17353258646073136443433813021969619432988237257714115583/2328600974\ 82139007492010707476550755995499684303143016*c_1001_10^5 + 6551046863712838360722752523891467715549321827646377599/23286009748\ 2139007492010707476550755995499684303143016*c_1001_10^4 - 3039786530703686943944389440901918100028226561920483589/23286009748\ 2139007492010707476550755995499684303143016*c_1001_10^3 + 1406695648859424399735209414876086732301834664693824541/46572019496\ 4278014984021414953101511990999368606286032*c_1001_10^2 - 143740092694406855744041977798464523393387884531471425/232860097482\ 139007492010707476550755995499684303143016*c_1001_10 - 174222428919847937458028557076145972550007760950454207/465720194964\ 278014984021414953101511990999368606286032, c_0011_3 - 22938029713393222194012162558119696343847293940248507/186288\ 0779857112059936085659812406047963997474425144128*c_1001_10^24 + 172902204109579802897193269363934755339440636636656473/465720194964\ 278014984021414953101511990999368606286032*c_1001_10^23 - 7778246003361710516925294995301447390657720391750044947/18628807798\ 57112059936085659812406047963997474425144128*c_1001_10^22 + 40017626321696574767934716379384886339089394352323326197/1862880779\ 857112059936085659812406047963997474425144128*c_1001_10^21 - 67454028942133939280315839707350211563066601949927646137/9314403899\ 28556029968042829906203023981998737212572064*c_1001_10^20 + 176182108739591400189706801967276230677577228291648713439/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^19 - 391818771973791870790702445360309184159662259499446682909/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^18 + 93266691573951517674702137764627173256943873262109174693/1164300487\ 41069503746005353738275377997749842151571508*c_1001_10^17 - 1192503481435910825977902511541499546251275604662915425533/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^16 + 3221489640943944919793699364399488591052947535932535047537/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^15 - 3837784555378985454865570089255932097597462948974778178399/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^14 + 514115199615536745520257076752988469856643799389872989033/232860097\ 482139007492010707476550755995499684303143016*c_1001_10^13 - 3807433541919493474508561863610253067474675253747097306245/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^12 + 1446663849084348158137119294636908234465768769615076431665/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^11 - 1845080642666786939764430424324597596966744194478281114859/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^10 + 516965318091677031686466135190685505410813901788268558289/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^9 - 106192369266614556162520921965728625796195119872247211337/465720194\ 964278014984021414953101511990999368606286032*c_1001_10^8 + 6050515309402172033101165680222810527713672483627612701/93144038992\ 8556029968042829906203023981998737212572064*c_1001_10^7 + 146030742855392320890398494982889857028454107521510259791/186288077\ 9857112059936085659812406047963997474425144128*c_1001_10^6 - 74611179892157297528268570944456678736308957058049603283/9314403899\ 28556029968042829906203023981998737212572064*c_1001_10^5 + 45895167503022714725534164966013475181663869804643328959/9314403899\ 28556029968042829906203023981998737212572064*c_1001_10^4 - 21091125945638034845655124777753416860408307258587639001/9314403899\ 28556029968042829906203023981998737212572064*c_1001_10^3 + 19975278953674696289959301573773851305967440364943245261/1862880779\ 857112059936085659812406047963997474425144128*c_1001_10^2 - 2040510145259484720989709367298080482359929070120438361/93144038992\ 8556029968042829906203023981998737212572064*c_1001_10 - 866363981377316640296122552124078186234443139972613199/186288077985\ 7112059936085659812406047963997474425144128, c_0011_5 - 11843245246744619884499878473302917348671308956030955/465720\ 194964278014984021414953101511990999368606286032*c_1001_10^24 + 91973807942981216612525207092718866214558876992262959/1164300487410\ 69503746005353738275377997749842151571508*c_1001_10^23 - 4342299657149822496104120699604976809908558307789594771/46572019496\ 4278014984021414953101511990999368606286032*c_1001_10^22 + 24344031811959995870196524054162669173355502053022718229/4657201949\ 64278014984021414953101511990999368606286032*c_1001_10^21 - 44400236268663299333644302450318436223777965089304036721/2328600974\ 82139007492010707476550755995499684303143016*c_1001_10^20 + 123958333889593452054185838864555254533983936191255085779/232860097\ 482139007492010707476550755995499684303143016*c_1001_10^19 - 291024915368377713224716808580526936303935243130936921041/232860097\ 482139007492010707476550755995499684303143016*c_1001_10^18 + 73597144830211788472004882187903948472205692723661486777/2910751218\ 5267375936501338434568844499437460537892877*c_1001_10^17 - 1017026262169102429288590428496384476527163944876483882721/23286009\ 7482139007492010707476550755995499684303143016*c_1001_10^16 + 3010120093290439736328609722121327781935001678293550835321/46572019\ 4964278014984021414953101511990999368606286032*c_1001_10^15 - 3929459840343399664997833754060043348889165911000755743639/46572019\ 4964278014984021414953101511990999368606286032*c_1001_10^14 + 579981742101115238046682886151678498938245109528609164887/582150243\ 70534751873002676869137688998874921075785754*c_1001_10^13 - 4906950390700980568750607345355129801571131411000716274309/46572019\ 4964278014984021414953101511990999368606286032*c_1001_10^12 + 2274239519331000138736062854047385335644421614576373112173/23286009\ 7482139007492010707476550755995499684303143016*c_1001_10^11 - 3744803191842012330215672119428109574305399195718565538427/46572019\ 4964278014984021414953101511990999368606286032*c_1001_10^10 + 1421493668978218037927112878946323500504958698555663295137/23286009\ 7482139007492010707476550755995499684303143016*c_1001_10^9 - 492029702409449507985298484945447080255569362771177706239/116430048\ 741069503746005353738275377997749842151571508*c_1001_10^8 + 592093668981290003712192447347575851289925881399686586009/232860097\ 482139007492010707476550755995499684303143016*c_1001_10^7 - 625446865009761093947311958886205498695057800261357416817/465720194\ 964278014984021414953101511990999368606286032*c_1001_10^6 + 150518180903620807028719100109336317540368628991098894365/232860097\ 482139007492010707476550755995499684303143016*c_1001_10^5 - 61102334433649330389287216961280685020955113418091778861/2328600974\ 82139007492010707476550755995499684303143016*c_1001_10^4 + 20349719656331147892441016862159173402491331493648077083/2328600974\ 82139007492010707476550755995499684303143016*c_1001_10^3 - 11557447195513739746156991781025673562095210422352150851/4657201949\ 64278014984021414953101511990999368606286032*c_1001_10^2 + 1119092353595513045300047070032154286126896014599464943/23286009748\ 2139007492010707476550755995499684303143016*c_1001_10 + 17420519575931552269474652132612930188595632823656761/4657201949642\ 78014984021414953101511990999368606286032, c_0011_6 - 28909495824204266705006263958114760107279307462941517/186288\ 0779857112059936085659812406047963997474425144128*c_1001_10^24 + 229602649225482740336271076433477828853306901199737599/465720194964\ 278014984021414953101511990999368606286032*c_1001_10^23 - 11218788929678931530945661682917937627957588299641528149/1862880779\ 857112059936085659812406047963997474425144128*c_1001_10^22 + 66473878703498109773533704389191889440292492028468655651/1862880779\ 857112059936085659812406047963997474425144128*c_1001_10^21 - 126892522283589393825036147914872730797154990787081754031/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^20 + 365838965694586072018941709284580002338619187232152588505/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^19 - 877310338288802022647257634099785023346853466973513029211/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^18 + 226489705676851025162549921205350313416259748146239347305/116430048\ 741069503746005353738275377997749842151571508*c_1001_10^17 - 3205665360762651042860501106222552102612821571835942725035/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^16 + 9698788866024284457333101637002978798032100142641431928551/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^15 - 12837091643300477817809347767229148717539247958153489660841/1862880\ 779857112059936085659812406047963997474425144128*c_1001_10^14 + 1912835766018474114083609939163551582313592973964462584015/23286009\ 7482139007492010707476550755995499684303143016*c_1001_10^13 - 16410048605823172103706506377582278949335744648523674858099/1862880\ 779857112059936085659812406047963997474425144128*c_1001_10^12 + 7718412344739832829595896424048316923306599732873003428103/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^11 - 12731995033772937790400828057763995586310314662052925722109/1862880\ 779857112059936085659812406047963997474425144128*c_1001_10^10 + 4792940257969850294364317201179644695564481021801624386615/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^9 - 1664397924957290991995012099882553717624320872765204057159/46572019\ 4964278014984021414953101511990999368606286032*c_1001_10^8 + 2006381449755556001980844878580409912620256641019153507643/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^7 - 2038635667728630291689016977063955528422692151424282320135/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^6 + 469125929894185022073185564226404071719006353746201702427/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^5 - 188658229397175632560614762843965373821175351726785770631/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^4 + 55076407449871396294104346062827671619621570861412752033/9314403899\ 28556029968042829906203023981998737212572064*c_1001_10^3 - 23046887270225083173514553007987813240647377534775294261/1862880779\ 857112059936085659812406047963997474425144128*c_1001_10^2 + 1777956665867519229852064204267336757294556006319524305/93144038992\ 8556029968042829906203023981998737212572064*c_1001_10 + 701847556400791474677050824339573614694350943337000711/186288077985\ 7112059936085659812406047963997474425144128, c_0011_9 - 1429103297229523339246589433056157405350564794338121/4543611\ 6581880781949660625849083074340585304254271808*c_1001_10^24 + 10942993319660129265519387769464092613960579196007195/1135902914547\ 0195487415156462270768585146326063567952*c_1001_10^23 - 505592149486424285164377436429353866916912317708672881/454361165818\ 80781949660625849083074340585304254271808*c_1001_10^22 + 2737028750664798737886088971489111129588775600694279559/45436116581\ 880781949660625849083074340585304254271808*c_1001_10^21 - 4869960852157282125411436539169160924688469515443118595/22718058290\ 940390974830312924541537170292652127135904*c_1001_10^20 + 13382238546526175916483052705764639289847287543840958053/2271805829\ 0940390974830312924541537170292652127135904*c_1001_10^19 - 31108873421477291790188747772862519132865519607187756143/2271805829\ 0940390974830312924541537170292652127135904*c_1001_10^18 + 7779787452638107919631101148008519979449555613077926505/28397572863\ 67548871853789115567692146286581515891988*c_1001_10^17 - 106188192229368480895374083329154025595595940275914014831/227180582\ 90940390974830312924541537170292652127135904*c_1001_10^16 + 311138640570185161562946948934534912875562716625035662203/454361165\ 81880781949660625849083074340585304254271808*c_1001_10^15 - 403777981501023776165966026598434392417327962334350011605/454361165\ 81880781949660625849083074340585304254271808*c_1001_10^14 + 59212643759049829429055883837872510574318284751310142503/5679514572\ 735097743707578231135384292573163031783976*c_1001_10^13 - 496199488940821756656053493090855236389482442178040759639/454361165\ 81880781949660625849083074340585304254271808*c_1001_10^12 + 228035838346503906942462572527441338069378204171126228315/227180582\ 90940390974830312924541537170292652127135904*c_1001_10^11 - 374208708683491203480910432891351925517812982241266826137/454361165\ 81880781949660625849083074340585304254271808*c_1001_10^10 + 141001514346983551399139963822730692532150846697595030507/227180582\ 90940390974830312924541537170292652127135904*c_1001_10^9 - 48103316535543943329203794901046554246267078467320916091/1135902914\ 5470195487415156462270768585146326063567952*c_1001_10^8 + 57445915457914274503970668390621858141190068781247416143/2271805829\ 0940390974830312924541537170292652127135904*c_1001_10^7 - 60536426160220366153722369422226142359723410430698626939/4543611658\ 1880781949660625849083074340585304254271808*c_1001_10^6 + 14017458429446102959003530270226231657911086433320966351/2271805829\ 0940390974830312924541537170292652127135904*c_1001_10^5 - 5557147412623158963263762950299136830192591109906327819/22718058290\ 940390974830312924541537170292652127135904*c_1001_10^4 + 1913110932260965612201239955787170589400779736485825165/22718058290\ 940390974830312924541537170292652127135904*c_1001_10^3 - 1013759747167852464996248513781338141963932833923522673/45436116581\ 880781949660625849083074340585304254271808*c_1001_10^2 + 60747211757937403400064397073333732838773101473680189/2271805829094\ 0390974830312924541537170292652127135904*c_1001_10 - 37767335498910777351969415158892500660407046783219397/4543611658188\ 0781949660625849083074340585304254271808, c_0101_1 + 15651128280648235676261386630256416401375833045188655/186288\ 0779857112059936085659812406047963997474425144128*c_1001_10^24 - 117812956554893617666615206158244410057576532175639621/465720194964\ 278014984021414953101511990999368606286032*c_1001_10^23 + 5293158346204459430640370670477217554281495554824866311/18628807798\ 57112059936085659812406047963997474425144128*c_1001_10^22 - 27255357772801769765281962589815194867256043371541484737/1862880779\ 857112059936085659812406047963997474425144128*c_1001_10^21 + 46474507065128744119299205301461703163143128157277511045/9314403899\ 28556029968042829906203023981998737212572064*c_1001_10^20 - 124029032662315867127951215876178745843210727153858817763/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^19 + 282774563575905664748066810951421050829720221074942297129/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^18 - 69110407746646223059399327695579732399175775687713457651/1164300487\ 41069503746005353738275377997749842151571508*c_1001_10^17 + 916278285743552048681825172140630213084543049353515864841/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^16 - 2611987188646966987416518630587424397545644848518040597389/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^15 + 3315194151362663552744597494455400558632509790581286250211/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^14 - 471884494466817224611262365633771391991699862715172617009/232860097\ 482139007492010707476550755995499684303143016*c_1001_10^13 + 3766427382647214705901138079863752845604996909143591621873/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^12 - 1634048929670284079698362660761961601171538869760602266077/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^11 + 2527947690393667202945003684583567634107511665775354772319/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^10 - 859139439311046823370406008390518075684154477816267446301/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^9 + 242141528033480758406335407316524181075783994201504197317/465720194\ 964278014984021414953101511990999368606286032*c_1001_10^8 - 237675952804518987205166208743364037203364423042774114121/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^7 + 203454300598930847851877030439218123530109496965537434157/186288077\ 9857112059936085659812406047963997474425144128*c_1001_10^6 - 9913605487184281863717746859264855609262325088383804729/93144038992\ 8556029968042829906203023981998737212572064*c_1001_10^5 - 16453383055712594193066424950232835242818649097115046323/9314403899\ 28556029968042829906203023981998737212572064*c_1001_10^4 + 3862027020649197262495249988036083491804370494468256965/93144038992\ 8556029968042829906203023981998737212572064*c_1001_10^3 - 7536343830829004108185677564325771945821512387438191161/18628807798\ 57112059936085659812406047963997474425144128*c_1001_10^2 + 2329648691274815176891643508992347157076738841353737413/93144038992\ 8556029968042829906203023981998737212572064*c_1001_10 + 481932297674932994575021297641729445484540156267980275/186288077985\ 7112059936085659812406047963997474425144128, c_0101_10 + 2910756763101386244110177303153202414016576015370693/186288\ 0779857112059936085659812406047963997474425144128*c_1001_10^24 - 12776679078859933024535868091423700128356573966726959/4657201949642\ 78014984021414953101511990999368606286032*c_1001_10^23 - 130543324575132451116594501447423160462967777663453779/186288077985\ 7112059936085659812406047963997474425144128*c_1001_10^22 + 7735904491103902295685237265430381491604748865686901077/18628807798\ 57112059936085659812406047963997474425144128*c_1001_10^21 - 25683956130093340701043349472725132932676683626291376889/9314403899\ 28556029968042829906203023981998737212572064*c_1001_10^20 + 98179051420135928494493033946579178449706592261940818719/9314403899\ 28556029968042829906203023981998737212572064*c_1001_10^19 - 278421693326447859201047834835223178260652999895484497773/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^18 + 82797583572347014156576724200346251294593162730372066453/1164300487\ 41069503746005353738275377997749842151571508*c_1001_10^17 - 1350880501651539008176864093455096164645995720093461565053/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^16 + 4666714546861285958919378510654315215346931564282316116241/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^15 - 6865987925171589689126540372849772816554491198903472805631/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^14 + 1115027031171106484127258326926190923546119853217834704125/23286009\ 7482139007492010707476550755995499684303143016*c_1001_10^13 - 10482903114601917545189662794778708162206562463480422034661/1862880\ 779857112059936085659812406047963997474425144128*c_1001_10^12 + 5490925726979127786269632879249645431038752726356328902609/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^11 - 10030113273573881861132136220134684576144337270001851981003/1862880\ 779857112059936085659812406047963997474425144128*c_1001_10^10 + 4075188245716975700782716980598091184343139966944189571601/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^9 - 1525555695471729964927310983894597811534065709089897792345/46572019\ 4964278014984021414953101511990999368606286032*c_1001_10^8 + 2067724572863771164144781564412342835171502786826839141485/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^7 - 2421533094187286262708340095089709116608798576260420319409/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^6 + 621427823404937679921417045225599087633298693821932411325/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^5 - 281578883706539662382339946254158919185615235268233779761/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^4 + 106983065387765650698613492698315754819692684010595721319/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^3 - 66087509734637060141814872881854695294536801831297141523/1862880779\ 857112059936085659812406047963997474425144128*c_1001_10^2 + 7211368494354620202332954213336024322215961263242871911/93144038992\ 8556029968042829906203023981998737212572064*c_1001_10 - 759221117675390576927782313191394189579174143189887439/186288077985\ 7112059936085659812406047963997474425144128, c_0101_2 + 97733551714965919417704863460652620375995536469904791/186288\ 0779857112059936085659812406047963997474425144128*c_1001_10^24 - 750202328596170636921054295046189578897650663291402405/465720194964\ 278014984021414953101511990999368606286032*c_1001_10^23 + 34798180130741114145107176238012694741136779343171420815/1862880779\ 857112059936085659812406047963997474425144128*c_1001_10^22 - 189685732101980917466361940371284185928951196252265182041/186288077\ 9857112059936085659812406047963997474425144128*c_1001_10^21 + 339546100587255191794354696116186449732608214960650794893/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^20 - 937282818080850999914759462419242433254558394812760397531/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^19 + 2186344605701664073057025364951899381253646508081640285553/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^18 - 548873500410345251642430468388132186020350865428555242653/116430048\ 741069503746005353738275377997749842151571508*c_1001_10^17 + 7527400430301689799175920373252050462669906169290320348305/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^16 - 22166452127508036965220136274466621999996961988496854143461/1862880\ 779857112059936085659812406047963997474425144128*c_1001_10^15 + 28901613019860082809776423495648476162357857757485089508139/1862880\ 779857112059936085659812406047963997474425144128*c_1001_10^14 - 4260331803764198774144767848855403140276746683787113839813/23286009\ 7482139007492010707476550755995499684303143016*c_1001_10^13 + 35945330610544648245874495127794429447015702321074190202217/1862880\ 779857112059936085659812406047963997474425144128*c_1001_10^12 - 16654324700613610448984092754232628142392500311297469899893/9314403\ 89928556029968042829906203023981998737212572064*c_1001_10^11 + 27571536676555964743561663084001128508596193255356888118407/1862880\ 779857112059936085659812406047963997474425144128*c_1001_10^10 - 10501222609412273097610609955738279592427703671885335666885/9314403\ 89928556029968042829906203023981998737212572064*c_1001_10^9 + 3631784690802854614889906887112634393002009055075906310757/46572019\ 4964278014984021414953101511990999368606286032*c_1001_10^8 - 4398495920057330165808609145744744207751560678787177514865/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^7 + 4723902025792492507561577111997456811938107746150514887621/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^6 - 1138530251919041257530345151204132793627741321365892491281/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^5 + 469302994987964355048332061000659104138856856933636583077/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^4 - 162612837415457735017781558620561172381276498230891408003/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^3 + 93802023615221264560477162946621328473439820155181806063/1862880779\ 857112059936085659812406047963997474425144128*c_1001_10^2 - 9201293304910625341405353949104018202720245410499439987/93144038992\ 8556029968042829906203023981998737212572064*c_1001_10 + 1471998379709169405781422947950592729754075531647008283/18628807798\ 57112059936085659812406047963997474425144128, c_0101_8 - 77509417291580660138472470602960129211841302772737847/186288\ 0779857112059936085659812406047963997474425144128*c_1001_10^24 + 596845689331777966543769527958787160162921379163519525/465720194964\ 278014984021414953101511990999368606286032*c_1001_10^23 - 27829419339883813850452496690747637227078761367180297743/1862880779\ 857112059936085659812406047963997474425144128*c_1001_10^22 + 153131052058964949597034148833817154764673868020050996921/186288077\ 9857112059936085659812406047963997474425144128*c_1001_10^21 - 276607555108993604294915086503914491395862645617239486141/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^20 + 768902733965965316418143857702441170700360783345985405275/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^19 - 1802019733500038618196986036447817720009543110616783334641/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^18 + 454453244097764412297623674888101153227555832890096552763/116430048\ 741069503746005353738275377997749842151571508*c_1001_10^17 - 6267015078270281721470981849071684158830328264294953567025/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^16 + 18551364153696683528693517683112147508293254880726617584133/1862880\ 779857112059936085659812406047963997474425144128*c_1001_10^15 - 24260238759435693441077081606015744478604494510821500113579/1862880\ 779857112059936085659812406047963997474425144128*c_1001_10^14 + 3582291704699703792732359385162253985180298760220944336665/23286009\ 7482139007492010707476550755995499684303143016*c_1001_10^13 - 30320587483588539793964592855724846367857291267471838840489/1862880\ 779857112059936085659812406047963997474425144128*c_1001_10^12 + 14102110147709084432395565915425809348728019912440492439717/9314403\ 89928556029968042829906203023981998737212572064*c_1001_10^11 - 23345301686489750218319155337348696009598181138101043995687/1862880\ 779857112059936085659812406047963997474425144128*c_1001_10^10 + 8867191409790645833417531746701297870907302112312995002997/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^9 - 3075404755968757093833891523712294505725472239899743316917/46572019\ 4964278014984021414953101511990999368606286032*c_1001_10^8 + 3744727487625841188102526704485878697343010106453592217265/93144038\ 9928556029968042829906203023981998737212572064*c_1001_10^7 - 3985328179118653834115812751473192306124244013105767354629/18628807\ 79857112059936085659812406047963997474425144128*c_1001_10^6 + 948009168801612794251759778331786227137609884695069629841/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^5 - 395877359669924332193422286375692396830372947130819786197/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^4 + 136012758849455813086461103033880828808307312141604124595/931440389\ 928556029968042829906203023981998737212572064*c_1001_10^3 - 70448105963312743501583925435397377820961666153818212047/1862880779\ 857112059936085659812406047963997474425144128*c_1001_10^2 + 6303995975674946744038895920355363563996164955404523683/93144038992\ 8556029968042829906203023981998737212572064*c_1001_10 - 367162766951033913473973484816768825408342303693755771/186288077985\ 7112059936085659812406047963997474425144128, c_1001_10^25 - 31*c_1001_10^24 + 365*c_1001_10^23 - 2042*c_1001_10^22 + 7475*c_1001_10^21 - 20988*c_1001_10^20 + 49564*c_1001_10^19 - 100826*c_1001_10^18 + 175486*c_1001_10^17 - 262381*c_1001_10^16 + 346342*c_1001_10^15 - 413007*c_1001_10^14 + 441895*c_1001_10^13 - 416627*c_1001_10^12 + 349763*c_1001_10^11 - 269481*c_1001_10^10 + 189694*c_1001_10^9 - 117554*c_1001_10^8 + 64173*c_1001_10^7 - 31591*c_1001_10^6 + 13520*c_1001_10^5 - 4828*c_1001_10^4 + 1447*c_1001_10^3 - 309*c_1001_10^2 + 27*c_1001_10 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.540 seconds, Total memory usage: 32.09MB