Magma V2.19-8 Tue Aug 20 2013 23:38:40 on localhost [Seed = 3230049422] Type ? for help. Type -D to quit. Loading file "K12a1242__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1242 geometric_solution 9.35693898 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 -1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -14 13 1 13 0 -13 0 -14 14 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322491734902 0.442632739250 0 5 6 5 0132 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 0 0 13 1 -1 0 0 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.317407361972 1.759853653968 7 0 5 8 0132 0132 0321 0132 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 14 0 -14 -1 0 1 0 0 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.836278217886 0.563958746961 7 9 9 0 1230 0132 2031 0132 0 0 0 0 0 -1 0 1 0 0 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 -13 0 0 -13 13 14 -13 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708857876290 2.013166329347 10 6 0 9 0132 0213 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 -0.455776813363 0.847934021737 1 1 2 8 3012 0132 0321 1230 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 0 0 0 0 -13 0 0 13 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.191577116934 0.493922246549 10 7 4 1 2031 1230 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 -14 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.019176071397 0.742898199797 2 3 6 8 0132 3012 3012 2103 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -14 0 0 14 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.313514165810 0.798549204921 5 9 2 7 3012 0213 0132 2103 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 -14 0 0 0 0 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.855311210242 0.597265172706 4 3 8 3 3012 0132 0213 1302 0 0 0 0 0 1 0 -1 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 -13 0 13 0 0 0 0 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.007701642101 1.072369896324 4 10 6 10 0132 2310 1302 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.240842370391 1.104592833817 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_1'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0110_8'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0110_8'], 'c_1001_1' : d['c_0101_7'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0110_9']), 'c_1001_2' : d['c_0110_8'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0101_1']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_3']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_3'], 'c_1100_8' : negation(d['c_0101_2']), 'c_1100_5' : d['c_0110_8'], 'c_1100_4' : d['c_0110_9'], 'c_1100_7' : negation(d['c_0110_8']), 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : d['c_0011_8'], 'c_1100_0' : d['c_0110_9'], 'c_1100_3' : d['c_0110_9'], 'c_1100_2' : negation(d['c_0101_2']), 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_7'], 'c_1010_5' : d['c_0101_7'], 'c_1010_4' : d['c_0011_8'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0110_8'], 'c_1010_9' : negation(d['c_0110_9']), 'c_1010_8' : d['c_0101_3'], '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' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_0011_8'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_8'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} 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_8, c_0101_1, c_0101_2, c_0101_3, c_0101_7, c_0110_8, c_0110_9, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 7513066741921446202065315390493944845297991757780365042169231986799\ 68423757440741/5513279792039504622453737375078275013698730602625429\ 27693338660293559943793416*c_1001_0^28 - 9452292714576364552420867966331477912409432685072385737572818805546\ 245596021104873/275663989601975231122686868753913750684936530131271\ 463846669330146779971896708*c_1001_0^27 - 2345962046387663430341446451568188260336861598462880791575689022187\ 47872498519224027/5513279792039504622453737375078275013698730602625\ 42927693338660293559943793416*c_1001_0^26 - 1900809931085369671626908278600747783661965420513726987329117741241\ 324857677574122099/551327979203950462245373737507827501369873060262\ 542927693338660293559943793416*c_1001_0^25 - 1024526512797804074323158853742000272041371465139282242558564343325\ 538928368562622619/501207253821773147495794306825297728518066418420\ 49357063030787299414540344856*c_1001_0^24 - 2597872551252075037211655732920461276748325515131021896877138101537\ 7517588714881715751/27566398960197523112268686875391375068493653013\ 1271463846669330146779971896708*c_1001_0^23 - 9669480701143262256761069430469976617970372630457416274345060603034\ 5105196623379217359/27566398960197523112268686875391375068493653013\ 1271463846669330146779971896708*c_1001_0^22 - 2979540119184951794187546019922262073066106413235024804092638717119\ 23230926283431354167/2756639896019752311226868687539137506849365301\ 31271463846669330146779971896708*c_1001_0^21 - 2210796458291755135403002887738587236006280035412029194596054124139\ 06493680416643770749/7876113988627863746362481964397535733855329432\ 3220418241905522899079991970488*c_1001_0^20 - 2451353360682732784163481612718617456257558397445057275161418791472\ 75885150151344320435/3938056994313931873181240982198767866927664716\ 1610209120952761449539995985244*c_1001_0^19 - 1640913429055558296425597464266772777090256738817030460816960183087\ 916666425596818083801/137831994800987615561343434376956875342468265\ 065635731923334665073389985948354*c_1001_0^18 - 1558255304594204871665894312473462075461251893241866006063065550556\ 407577581600930252855/787611398862786374636248196439753573385532943\ 23220418241905522899079991970488*c_1001_0^17 - 1584112968007135428019068264497654906570825979880997705898460187046\ 7247570799862790956905/55132797920395046224537373750782750136987306\ 0262542927693338660293559943793416*c_1001_0^16 - 1835289753277782467883451404296523933542396736222792849727765785961\ 306020827724046175281/501207253821773147495794306825297728518066418\ 42049357063030787299414540344856*c_1001_0^15 - 3234259150183702076693484486850541302124548773051635979405516551239\ 329566195519303531001/787611398862786374636248196439753573385532943\ 23220418241905522899079991970488*c_1001_0^14 - 5593110692173708482614377236772125191352983851324028880234900608194\ 520433068664937317557/137831994800987615561343434376956875342468265\ 065635731923334665073389985948354*c_1001_0^13 - 1947994565980261476674601944543680837547809252843605738431178591755\ 0987052366400802424993/55132797920395046224537373750782750136987306\ 0262542927693338660293559943793416*c_1001_0^12 - 1065753765117070246694003845379175843900450965306677381260932592273\ 184932103051477895079/393805699431393187318124098219876786692766471\ 61610209120952761449539995985244*c_1001_0^11 - 1001881107454124865156201408275178723147100266017990161368696932550\ 2664261528714252004733/55132797920395046224537373750782750136987306\ 0262542927693338660293559943793416*c_1001_0^10 - 8376714052973162233114025912690708534741770376314981131777311930888\ 67063310764480973431/7876113988627863746362481964397535733855329432\ 3220418241905522899079991970488*c_1001_0^9 - 2964105074849366909630435159262033777552102230930795332092656789869\ 348272559438588727427/551327979203950462245373737507827501369873060\ 262542927693338660293559943793416*c_1001_0^8 - 1275849446629123808000498635130895025853720737319850157616177808998\ 896663901224902280521/551327979203950462245373737507827501369873060\ 262542927693338660293559943793416*c_1001_0^7 - 4570833545424002333900646785559649732163517747947037351626372649539\ 83207318448372331455/5513279792039504622453737375078275013698730602\ 62542927693338660293559943793416*c_1001_0^6 - 3285037850093397724212063033518104884188134298048254511610645727274\ 8977829708197882097/13783199480098761556134343437695687534246826506\ 5635731923334665073389985948354*c_1001_0^5 - 1430581625465774362607053084999439665832955248238348858442552216018\ 6087678080812361135/27566398960197523112268686875391375068493653013\ 1271463846669330146779971896708*c_1001_0^4 - 2157199701354196627207269437822047455721980152068145970209407386317\ 857851486072458891/275663989601975231122686868753913750684936530131\ 271463846669330146779971896708*c_1001_0^3 - 9793505838523220832569968069571680139860015826583357769486170171703\ 8198688982799185/13783199480098761556134343437695687534246826506563\ 5731923334665073389985948354*c_1001_0^2 - 1816138090081897645562439383589680778221871419289708377374091207867\ 3492882147500785/55132797920395046224537373750782750136987306026254\ 2927693338660293559943793416*c_1001_0 - 1559966514979258935392866175124092290147732615086531239171265478076\ 17360648097489/2756639896019752311226868687539137506849365301312714\ 63846669330146779971896708, c_0011_0 - 1, c_0011_10 + 14838913412596931217782622621914344380823252813101625982042\ 85/128277373375732027840872827683281483993012366870863679297338*c_1\ 001_0^28 + 38389314776443373230512445907847084945905134264903959059\ 398485/128277373375732027840872827683281483993012366870863679297338\ *c_1001_0^27 + 2448412717078199428036852287567638825259478600181775\ 39474141587/6413868668786601392043641384164074199650618343543183964\ 8669*c_1001_0^26 + 407960429639627403490732509815235433619680225952\ 0909119429168139/12827737337573202784087282768328148399301236687086\ 3679297338*c_1001_0^25 + 124412403836183262441075511525481042176478\ 72343808121973215292859/6413868668786601392043641384164074199650618\ 3435431839648669*c_1001_0^24 + 590493362886907707402245290546130949\ 95569937431710511776412830685/6413868668786601392043641384164074199\ 6506183435431839648669*c_1001_0^23 + 226471151162083323533187026272646673960377922394589947022280271665/\ 64138686687866013920436413841640741996506183435431839648669*c_1001_\ 0^22 + 719831594337008941086832380958679287501016882503487497920176\ 595525/64138686687866013920436413841640741996506183435431839648669*\ c_1001_0^21 + 38610509862577021209529908390709705422836022431246032\ 34334954176453/1282773733757320278408728276832814839930123668708636\ 79297338*c_1001_0^20 + 88536540769652747782561699046681206144496079\ 01751458574482019516029/1282773733757320278408728276832814839930123\ 66870863679297338*c_1001_0^19 + 17532959388183069827494661980643910\ 904702651320966161038961925689467/128277373375732027840872827683281\ 483993012366870863679297338*c_1001_0^18 + 1510696959747499572695021583881965266165213527621856128958151869181\ 2/64138686687866013920436413841640741996506183435431839648669*c_100\ 1_0^17 + 4557234357489296144843742537192387557108856854432599314334\ 0185834937/12827737337573202784087282768328148399301236687086367929\ 7338*c_1001_0^16 + 302118346474731253706015166409039897850255804605\ 87912655378053039003/6413868668786601392043641384164074199650618343\ 5431839648669*c_1001_0^15 + 706339496299417835339388673250185893158\ 37623420661835118871872754191/1282773733757320278408728276832814839\ 93012366870863679297338*c_1001_0^14 + 7292019647497891844676242777749800612203833216387217841886461552164\ 9/128277373375732027840872827683281483993012366870863679297338*c_10\ 01_0^13 + 332525034929478399579087502001282615748251863620961517378\ 98308787616/6413868668786601392043641384164074199650618343543183964\ 8669*c_1001_0^12 + 267622618530304950778303113698520376054337942823\ 10599626796878274301/6413868668786601392043641384164074199650618343\ 5431839648669*c_1001_0^11 + 379107557303668370764886755773623267491\ 83054424453367437542719542983/1282773733757320278408728276832814839\ 93012366870863679297338*c_1001_0^10 + 1175979470606699157423774478615844409221553157955711030834462464995\ 7/64138686687866013920436413841640741996506183435431839648669*c_100\ 1_0^9 + 12685267178445454978429796692756456530914416081152367350234\ 589297793/128277373375732027840872827683281483993012366870863679297\ 338*c_1001_0^8 + 29397154114276126782989998936659799051235987534484\ 95672411646760031/6413868668786601392043641384164074199650618343543\ 1839648669*c_1001_0^7 + 2299533123579400225086096588413080999558100\ 725124743442980031752017/128277373375732027840872827683281483993012\ 366870863679297338*c_1001_0^6 + 73720206531924431615413638004666413\ 7609678601957688453417188337727/12827737337573202784087282768328148\ 3993012366870863679297338*c_1001_0^5 + 184871430625547146035743042144508284962773912850972806395324100385/\ 128277373375732027840872827683281483993012366870863679297338*c_1001\ _0^4 + 336063451891285776818679891530648548899268079143966898430586\ 10559/128277373375732027840872827683281483993012366870863679297338*\ c_1001_0^3 + 388350581584965844385021029868701004105263499186941788\ 0715607109/12827737337573202784087282768328148399301236687086367929\ 7338*c_1001_0^2 + 1104342348387687575728676109864038981043310733524\ 95763151161551/6413868668786601392043641384164074199650618343543183\ 9648669*c_1001_0 + 211728973658641208405229678141750167548711823333\ 4328968704470/64138686687866013920436413841640741996506183435431839\ 648669, c_0011_3 - 12108150908873079779376227040436901601441034178272784713734/\ 64138686687866013920436413841640741996506183435431839648669*c_1001_\ 0^28 - 320979559779266731351997162553487749894095631054909681173727\ /64138686687866013920436413841640741996506183435431839648669*c_1001\ _0^27 - 83853887563842835164486811889500060999553512537375847616422\ 59/128277373375732027840872827683281483993012366870863679297338*c_1\ 001_0^26 - 71521584110172525867776885932974665366157296305132454801\ 103159/128277373375732027840872827683281483993012366870863679297338\ *c_1001_0^25 - 2232714122621384474993280478277965100393496698773928\ 57405309176/6413868668786601392043641384164074199650618343543183964\ 8669*c_1001_0^24 - 216950863086910581982193147239340991320857180111\ 5185868747433931/12827737337573202784087282768328148399301236687086\ 3679297338*c_1001_0^23 - 425890599120677264423717270702896370245781\ 1218940510865587756336/64138686687866013920436413841640741996506183\ 435431839648669*c_1001_0^22 - 1385862115192010802617838307405297663\ 2013964485353619534262538499/64138686687866013920436413841640741996\ 506183435431839648669*c_1001_0^21 - 38053760316688763862659542992496832324711495521079441391310964366/6\ 4138686687866013920436413841640741996506183435431839648669*c_1001_0\ ^20 - 8934394279062928176453130505043954240175065130273254512012514\ 7513/64138686687866013920436413841640741996506183435431839648669*c_\ 1001_0^19 - 3623052576595858333418787626078584881055613306955123184\ 88970053883/1282773733757320278408728276832814839930123668708636792\ 97338*c_1001_0^18 - 63921860210673761499246536710492614600967582300\ 6715637938361441807/12827737337573202784087282768328148399301236687\ 0863679297338*c_1001_0^17 - 986994814953846492754122910802994213717\ 101209381138308501532300957/128277373375732027840872827683281483993\ 012366870863679297338*c_1001_0^16 - 669714872376837389851084569091714548531299459356871324490687314955/\ 64138686687866013920436413841640741996506183435431839648669*c_1001_\ 0^15 - 160228485033507659428296614904881314474660793584894680342777\ 6347449/12827737337573202784087282768328148399301236687086367929733\ 8*c_1001_0^14 - 846189410643600506127890661669845356613540798935059\ 959797869572317/641386866878660139204364138416407419965061834354318\ 39648669*c_1001_0^13 - 15788714382127692940665118968166112124341621\ 54642870463015884251045/1282773733757320278408728276832814839930123\ 66870863679297338*c_1001_0^12 - 12996341908792442525486173472468642\ 67181981407406173569549013583645/1282773733757320278408728276832814\ 83993012366870863679297338*c_1001_0^11 - 470684382909208004862016220774309613565999535515255712350166863488/\ 64138686687866013920436413841640741996506183435431839648669*c_1001_\ 0^10 - 298619847611849932786685891072072774451233761326716673635849\ 971420/64138686687866013920436413841640741996506183435431839648669*\ c_1001_0^9 - 329461497753740712532251009135262101642566008895198560\ 313229926617/128277373375732027840872827683281483993012366870863679\ 297338*c_1001_0^8 - 78121792346737351094883006035780245341050159411\ 128654272749583633/641386866878660139204364138416407419965061834354\ 31839648669*c_1001_0^7 - 625784915262798865856025266292086931582883\ 34358140081393526595333/1282773733757320278408728276832814839930123\ 66870863679297338*c_1001_0^6 - 102838738791388627472110931674277731\ 50336241835249142128005038471/6413868668786601392043641384164074199\ 6506183435431839648669*c_1001_0^5 - 5290144944996666026515096098492083378278635513664093891487137821/12\ 8277373375732027840872827683281483993012366870863679297338*c_1001_0\ ^4 - 98384124747296887410200340046627143205222219183227025279526766\ 9/128277373375732027840872827683281483993012366870863679297338*c_10\ 01_0^3 - 1151249565675822463160417733062302999456958564631168625246\ 02377/128277373375732027840872827683281483993012366870863679297338*\ c_1001_0^2 - 630458769162039648764585086183553960697989870096955270\ 0363833/12827737337573202784087282768328148399301236687086367929733\ 8*c_1001_0 - 561315215196175423266026322954622442161313080110017056\ 525/128277373375732027840872827683281483993012366870863679297338, c_0011_8 - 66944046765755520388054112861246826075588184569963449530221/\ 64138686687866013920436413841640741996506183435431839648669*c_1001_\ 0^28 - 348009134776420145405459646258247215795691357501158194918085\ 3/128277373375732027840872827683281483993012366870863679297338*c_10\ 01_0^27 - 445825124692673422786208285472936838610074465683178334276\ 81883/128277373375732027840872827683281483993012366870863679297338*\ c_1001_0^26 - 18646180537278833456439286864820251344335043617281725\ 0104048248/64138686687866013920436413841640741996506183435431839648\ 669*c_1001_0^25 - 2283215021517119147601607265450167769312536989171\ 576235530004511/128277373375732027840872827683281483993012366870863\ 679297338*c_1001_0^24 - 5437979487431997439805859890275024577460542\ 586881807377539027576/641386866878660139204364138416407419965061834\ 35431839648669*c_1001_0^23 - 20928242511881131825428576871562691619\ 615240390234459688042306461/641386866878660139204364138416407419965\ 06183435431839648669*c_1001_0^22 - 66739619301921227520546990286307190214988990778263003200654200771/6\ 4138686687866013920436413841640741996506183435431839648669*c_1001_0\ ^21 - 1795564409706842054886021318385735567733123472372539251201786\ 92371/64138686687866013920436413841640741996506183435431839648669*c\ _1001_0^20 - 825970828875580852375174192462280941001969417032044081\ 279267396521/128277373375732027840872827683281483993012366870863679\ 297338*c_1001_0^19 - 1640443468602153727621565537994379686954617265\ 682758531154339139233/128277373375732027840872827683281483993012366\ 870863679297338*c_1001_0^18 - 2834844101037647047264732434394272923\ 091811145998050590450191974555/128277373375732027840872827683281483\ 993012366870863679297338*c_1001_0^17 - 2143703083380465910431571722701272569814752962155609566617634072246\ /64138686687866013920436413841640741996506183435431839648669*c_1001\ _0^16 - 56994637950908728448852533131531581840460359338281566841171\ 53235849/1282773733757320278408728276832814839930123668708636792973\ 38*c_1001_0^15 - 33397412882760404753322760011605054597000640899938\ 87991520418357307/6413868668786601392043641384164074199650618343543\ 1839648669*c_1001_0^14 - 691285471361919206698025915510479493646992\ 9665230804327335663966671/12827737337573202784087282768328148399301\ 2366870863679297338*c_1001_0^13 - 632021050335717461065081205429106\ 4130892400578185092799104612032405/12827737337573202784087282768328\ 1483993012366870863679297338*c_1001_0^12 - 2549561572639588838468526379814785884949793200787047735385126770557\ /64138686687866013920436413841640741996506183435431839648669*c_1001\ _0^11 - 18102971226177951490596525125819673255113648323092779285091\ 95747296/6413868668786601392043641384164074199650618343543183964866\ 9*c_1001_0^10 - 225188059155461051692071952048234372497939984519228\ 3124782392814441/12827737337573202784087282768328148399301236687086\ 3679297338*c_1001_0^9 - 6088681860067893802565481175248135002783693\ 85247996454154738909330/6413868668786601392043641384164074199650618\ 3435431839648669*c_1001_0^8 - 5659663996501024833008935763836657583\ 64353442153821031974285284549/1282773733757320278408728276832814839\ 93012366870863679297338*c_1001_0^7 - 111009937661540458945147290318282920873437930662359722568946497854/\ 64138686687866013920436413841640741996506183435431839648669*c_1001_\ 0^6 - 7141061943011393835129714211960437866128029762386876740138191\ 3165/128277373375732027840872827683281483993012366870863679297338*c\ _1001_0^5 - 1797297498146151552132650696912826524396584840530441723\ 0405134019/12827737337573202784087282768328148399301236687086367929\ 7338*c_1001_0^4 - 3279065841259374503437766363218593672644482653899\ 628258352572559/128277373375732027840872827683281483993012366870863\ 679297338*c_1001_0^3 - 37992957015935226243992371983031715280104147\ 0272342075530152613/12827737337573202784087282768328148399301236687\ 0863679297338*c_1001_0^2 - 2175453108562763285202493069516609960695\ 4880996158734299673059/12827737337573202784087282768328148399301236\ 6870863679297338*c_1001_0 - 340748950086395157133849700577983843983\ 513499267858005950641/641386866878660139204364138416407419965061834\ 35431839648669, c_0101_1 - 124141878814908413188768644096690197797797952075925856448058\ 43/256554746751464055681745655366562967986024733741727358594676*c_1\ 001_0^28 - 79359220521538861831210273251931805773021327343017079013\ 937218/64138686687866013920436413841640741996506183435431839648669*\ c_1001_0^27 - 40032606670774001164931991219020047041510852904361990\ 00945537215/2565547467514640556817456553665629679860247337417273585\ 94676*c_1001_0^26 - 32975411130369462063179437749853164448671966715\ 892015245562558977/256554746751464055681745655366562967986024733741\ 727358594676*c_1001_0^25 - 1988524006552112062139025086458085550058\ 81766491945982607414583597/2565547467514640556817456553665629679860\ 24733741727358594676*c_1001_0^24 - 466520364588094848146327821080345670893736408264665308597827425389/\ 128277373375732027840872827683281483993012366870863679297338*c_1001\ _0^23 - 17685545189234556524568147254613860222761525774730455873643\ 41118935/1282773733757320278408728276832814839930123668708636792973\ 38*c_1001_0^22 - 55552102676304459405557910876912219794704797461121\ 22029836577992919/1282773733757320278408728276832814839930123668708\ 63679297338*c_1001_0^21 - 29440510256916713502405760229813512326119\ 947212641470292455385864925/256554746751464055681745655366562967986\ 024733741727358594676*c_1001_0^20 - 1667138872328690925991980559042883095206436098421467117885920522319\ 3/64138686687866013920436413841640741996506183435431839648669*c_100\ 1_0^19 - 6520805252678058729726194499588294214623699181929646690210\ 8052636625/12827737337573202784087282768328148399301236687086367929\ 7338*c_1001_0^18 - 221892968189117861249238904151776359019445388768\ 744932661425972766457/256554746751464055681745655366562967986024733\ 741727358594676*c_1001_0^17 - 3303628753277755610449328496084782895\ 30628597424544745536677501126847/2565547467514640556817456553665629\ 67986024733741727358594676*c_1001_0^16 - 4322535956704027507326913025494404421397507474128994966457231686236\ 71/256554746751464055681745655366562967986024733741727358594676*c_1\ 001_0^15 - 49850073535558993732547343132920910054786705080681046348\ 8604391398517/25655474675146405568174565536656296798602473374172735\ 8594676*c_1001_0^14 - 253777295360456910218821372146658318040141041\ 120228399759125168416741/128277373375732027840872827683281483993012\ 366870863679297338*c_1001_0^13 - 4563600656305914960349027300621613\ 68305862800481445972292620799799589/2565547467514640556817456553665\ 62967986024733741727358594676*c_1001_0^12 - 1809658717043585837451459736796510088230983012273800221123569446970\ 91/128277373375732027840872827683281483993012366870863679297338*c_1\ 001_0^11 - 25247372413396413567073428004552934691267112725556084562\ 2513692159543/25655474675146405568174565536656296798602473374172735\ 8594676*c_1001_0^10 - 154155010409032385661991507622167094667170451\ 937264423659557318453717/256554746751464055681745655366562967986024\ 733741727358594676*c_1001_0^9 - 81751572291526754929495858053994602\ 286227628566348867305501523054225/256554746751464055681745655366562\ 967986024733741727358594676*c_1001_0^8 - 3720800027292704721386909407363017260508476267164652173904972434083\ 7/256554746751464055681745655366562967986024733741727358594676*c_10\ 01_0^7 - 1426333851110140267738544884372173770502138609748146456752\ 5746063873/25655474675146405568174565536656296798602473374172735859\ 4676*c_1001_0^6 - 2234925691000710045534372847164641184346206911431\ 051449988216445243/128277373375732027840872827683281483993012366870\ 863679297338*c_1001_0^5 - 27307772832355120824216085084926425392891\ 4360245946653827466390213/64138686687866013920436413841640741996506\ 183435431839648669*c_1001_0^4 - 48281331671557036932717565946248738\ 870769797823858216806488981226/641386866878660139204364138416407419\ 96506183435431839648669*c_1001_0^3 - 10900700124072465804039674175353445833428281637572190795555306099/1\ 28277373375732027840872827683281483993012366870863679297338*c_1001_\ 0^2 - 1249097166298268272820724355279031651135968185378434055322675\ 637/256554746751464055681745655366562967986024733741727358594676*c_\ 1001_0 - 1244254864485728393135389595546225335443908452075714455746\ 2733/128277373375732027840872827683281483993012366870863679297338, c_0101_2 - 279718112565180869576264544407989782448400985032535268466715\ 9/256554746751464055681745655366562967986024733741727358594676*c_10\ 01_0^28 - 370678217497161203584911961057109489392291744221848115214\ 59369/128277373375732027840872827683281483993012366870863679297338*\ c_1001_0^27 - 96752329807433593948550515170753357353606472557974798\ 1084733447/25655474675146405568174565536656296798602473374172735859\ 4676*c_1001_0^26 - 824061948750906086897596987276846508731435375111\ 1653018133919815/25655474675146405568174565536656296798602473374172\ 7358594676*c_1001_0^25 - 513534132475918308992613083269089261163423\ 16994879581173702280679/2565547467514640556817456553665629679860247\ 33741727358594676*c_1001_0^24 - 62232520136753858448053561174572497\ 742089227382735796211830093364/641386866878660139204364138416407419\ 96506183435431839648669*c_1001_0^23 - 487384320792294006686239135386208207888446353253144000537950360131/\ 128277373375732027840872827683281483993012366870863679297338*c_1001\ _0^22 - 15813218695258168285333143325789895117980861963234022404625\ 82047641/1282773733757320278408728276832814839930123668708636792973\ 38*c_1001_0^21 - 86565758242124587252007085755146072021062223407834\ 37069955301380109/2565547467514640556817456553665629679860247337417\ 27358594676*c_1001_0^20 - 10127879925200345120183682099377701158883\ 271037926649633426816996335/128277373375732027840872827683281483993\ 012366870863679297338*c_1001_0^19 - 2046332523725096735141118769954811834089700016767705301152881051236\ 5/128277373375732027840872827683281483993012366870863679297338*c_10\ 01_0^18 - 719502029086107375067954843090027375319785796312797766687\ 28675687133/2565547467514640556817456553665629679860247337417273585\ 94676*c_1001_0^17 - 11070122131727602393041107877393240522789226271\ 7986220066684989137617/25655474675146405568174565536656296798602473\ 3741727358594676*c_1001_0^16 - 149709881238987994869280159047146979\ 715603687038114227420835438337469/256554746751464055681745655366562\ 967986024733741727358594676*c_1001_0^15 - 1784983810239077467870342209307670392028634800739879289271121913261\ 59/256554746751464055681745655366562967986024733741727358594676*c_1\ 001_0^14 - 46989740494843177278909764205436155959140652288634259473\ 757708015526/641386866878660139204364138416407419965061834354318396\ 48669*c_1001_0^13 - 17487425822848598937013552458773612442439841150\ 2820079201246443056517/25655474675146405568174565536656296798602473\ 3741727358594676*c_1001_0^12 - 359036949481018179870478245379322243\ 43340499932470472614637838636275/6413868668786601392043641384164074\ 1996506183435431839648669*c_1001_0^11 - 1038421879676136157363346373010018095329413868031399238381071766680\ 19/256554746751464055681745655366562967986024733741727358594676*c_1\ 001_0^10 - 65811484560158620886865700028068756602731901406614829026\ 006128848955/256554746751464055681745655366562967986024733741727358\ 594676*c_1001_0^9 - 36298318695020653963804251310692331769881150426\ 106993236442678388279/256554746751464055681745655366562967986024733\ 741727358594676*c_1001_0^8 - 17232262360610639216380042048166653770\ 991705029538299091250600534051/256554746751464055681745655366562967\ 986024733741727358594676*c_1001_0^7 - 6921344882082672436311018719326160441983196403033054358992234953339\ /256554746751464055681745655366562967986024733741727358594676*c_100\ 1_0^6 - 57198020114716227780649161061603821447225845119955841892034\ 5307861/64138686687866013920436413841640741996506183435431839648669\ *c_1001_0^5 - 14879997891988911310691882695612856113838454094287737\ 9553856082661/64138686687866013920436413841640741996506183435431839\ 648669*c_1001_0^4 - 28311580826663401624292253577502827920745701698\ 338113725319759104/641386866878660139204364138416407419965061834354\ 31839648669*c_1001_0^3 - 694821238483346888440380379730327405287982\ 9888992189665677654711/12827737337573202784087282768328148399301236\ 6870863679297338*c_1001_0^2 - 8623548543163116379707210429797333205\ 16712106313917562821823517/2565547467514640556817456553665629679860\ 24733741727358594676*c_1001_0 - 46831982951897555967813718031132543\ 89359563181156714851386259/6413868668786601392043641384164074199650\ 6183435431839648669, c_0101_3 + 466092326171756386666049154288377497753611586428369197824252\ 5/128277373375732027840872827683281483993012366870863679297338*c_10\ 01_0^28 + 619066707980774234590909598228558910689969656425502221895\ 25820/64138686687866013920436413841640741996506183435431839648669*c\ _1001_0^27 + 809644587467900318310277982602393458927768738901962149\ 255535240/641386866878660139204364138416407419965061834354318396486\ 69*c_1001_0^26 + 69099446751178977289750550739479173351257109335375\ 58736307786330/6413868668786601392043641384164074199650618343543183\ 9648669*c_1001_0^25 + 862908668434039687831172921094436334712937689\ 03254951234331107127/1282773733757320278408728276832814839930123668\ 70863679297338*c_1001_0^24 + 41908588702002725215827525678830291813\ 6298143996078529543386615475/12827737337573202784087282768328148399\ 3012366870863679297338*c_1001_0^23 + 822078575062796738795658833128648612526614944627978514643380110757/\ 64138686687866013920436413841640741996506183435431839648669*c_1001_\ 0^22 + 267220391169944623937214309791628390031380468434222298843507\ 2330689/64138686687866013920436413841640741996506183435431839648669\ *c_1001_0^21 + 1465541740893502808603731998446431953428954679532246\ 6121363627319199/12827737337573202784087282768328148399301236687086\ 3679297338*c_1001_0^20 + 171779764876645687387971281286396689368505\ 00280816203837522119897749/6413868668786601392043641384164074199650\ 6183435431839648669*c_1001_0^19 + 695444510292665568277690850638599\ 95985360672140833909559289082733107/1282773733757320278408728276832\ 81483993012366870863679297338*c_1001_0^18 + 6124427275705018291880752974067106676918766480117366202652975576342\ 6/64138686687866013920436413841640741996506183435431839648669*c_100\ 1_0^17 + 9440605372904376606472091822565885970542274110811210531552\ 5915898009/64138686687866013920436413841640741996506183435431839648\ 669*c_1001_0^16 + 2558301135668119216604168830822053799214178298267\ 99662651683282273371/1282773733757320278408728276832814839930123668\ 70863679297338*c_1001_0^15 + 15280670212284461117088172035753437699\ 2840297341371371784747182241789/64138686687866013920436413841640741\ 996506183435431839648669*c_1001_0^14 + 1612224570349365856756579327224441754969079808194570523714591944519\ 48/64138686687866013920436413841640741996506183435431839648669*c_10\ 01_0^13 + 150302266684020024229139071189430716813634990210039880665\ 985426571596/641386866878660139204364138416407419965061834354318396\ 48669*c_1001_0^12 + 24738598265547202008099824936762233417739407698\ 9881272810236177897655/12827737337573202784087282768328148399301236\ 6870863679297338*c_1001_0^11 + 179263873032781703583760999724192657\ 484936697649875269610716475186657/128277373375732027840872827683281\ 483993012366870863679297338*c_1001_0^10 + 1138702476027151896775813005982008733959507565607869539345393541317\ 99/128277373375732027840872827683281483993012366870863679297338*c_1\ 001_0^9 + 314786227172508541695565571650941224487609497223337840221\ 35088579522/6413868668786601392043641384164074199650618343543183964\ 8669*c_1001_0^8 + 2996643870037915114168382251668155830211946688606\ 2654732822633895711/12827737337573202784087282768328148399301236687\ 0863679297338*c_1001_0^7 + 6035379194560009380148017200615437559831\ 466610101961354271492022532/641386866878660139204364138416407419965\ 06183435431839648669*c_1001_0^6 + 200158484273884862302526636782229\ 9939763551471140410956850467033272/64138686687866013920436413841640\ 741996506183435431839648669*c_1001_0^5 + 1045330766337745436162076117341774960433063706768490588282429989315\ /128277373375732027840872827683281483993012366870863679297338*c_100\ 1_0^4 + 19969224322769488883994695946682157613080052318765175033547\ 1105229/12827737337573202784087282768328148399301236687086367929733\ 8*c_1001_0^3 + 2457604409841838974441334900665990665542039858799878\ 9151677577521/12827737337573202784087282768328148399301236687086367\ 9297338*c_1001_0^2 + 7589844551935025823091494192440881210481904834\ 07448661381526754/6413868668786601392043641384164074199650618343543\ 1839648669*c_1001_0 + 323658872063590506443763943977984559011705378\ 97367247446266009/1282773733757320278408728276832814839930123668708\ 63679297338, c_0101_7 - 107332836214171771842592639276582285748496249617294269322757\ /64138686687866013920436413841640741996506183435431839648669*c_1001\ _0^28 - 53414264248357568264466621035458776862482583898816504703197\ 43/128277373375732027840872827683281483993012366870863679297338*c_1\ 001_0^27 - 32762493278575276479581261531098901895121520140606788395\ 019343/64138686687866013920436413841640741996506183435431839648669*\ c_1001_0^26 - 52451730985236590327434797219754686683690584399161374\ 9164741551/12827737337573202784087282768328148399301236687086367929\ 7338*c_1001_0^25 - 307014212998761772326482093648261949025607654018\ 2167075686982489/12827737337573202784087282768328148399301236687086\ 3679297338*c_1001_0^24 - 139611986177305884466061405839116273257467\ 46334419992880655193847/1282773733757320278408728276832814839930123\ 66870863679297338*c_1001_0^23 - 25600718766752618214697386150454142\ 050265884513115746703117593764/641386866878660139204364138416407419\ 96506183435431839648669*c_1001_0^22 - 77631502247484498331713683503720200120009189789705961073435018975/6\ 4138686687866013920436413841640741996506183435431839648669*c_1001_0\ ^21 - 1981225781038474594604626411990026961286495104790320893123781\ 24553/64138686687866013920436413841640741996506183435431839648669*c\ _1001_0^20 - 862140260160016876372551200307510201033952599285601306\ 919670822971/128277373375732027840872827683281483993012366870863679\ 297338*c_1001_0^19 - 8073933016208668191586218249015820777508242721\ 17417259213674277698/6413868668786601392043641384164074199650618343\ 5431839648669*c_1001_0^18 - 131122217527178367453285602054275876108\ 4608498966070685839633617334/64138686687866013920436413841640741996\ 506183435431839648669*c_1001_0^17 - 3712677789437737125928175313105308440561572336495357360604175465729\ /128277373375732027840872827683281483993012366870863679297338*c_100\ 1_0^16 - 4599092498779641410571112709911679116490311223628057363219\ 518667595/128277373375732027840872827683281483993012366870863679297\ 338*c_1001_0^15 - 4995942188390104287002728150579795405815230671619\ 137990114826787509/128277373375732027840872827683281483993012366870\ 863679297338*c_1001_0^14 - 4761935210410607226624828770149155567203\ 218344546034195943590094001/128277373375732027840872827683281483993\ 012366870863679297338*c_1001_0^13 - 1988983586481811239892470114567553215531478838909746313915260341125\ /64138686687866013920436413841640741996506183435431839648669*c_1001\ _0^12 - 29030799163670183862743436515381670463350019383953350396648\ 35397227/1282773733757320278408728276832814839930123668708636792973\ 38*c_1001_0^11 - 92013572715502312576247261320541455163342545217067\ 9748138595349692/64138686687866013920436413841640741996506183435431\ 839648669*c_1001_0^10 - 1003717271029900106889992866683638892085174\ 341473966644199992496929/128277373375732027840872827683281483993012\ 366870863679297338*c_1001_0^9 - 46378671072972478160336326370033313\ 3995671879938717280057919247371/12827737337573202784087282768328148\ 3993012366870863679297338*c_1001_0^8 - 176816053504212003663226228654082976731549095187372780016990907713/\ 128277373375732027840872827683281483993012366870863679297338*c_1001\ _0^7 - 529101808747539787917008832651841702137310030412857044871123\ 55289/128277373375732027840872827683281483993012366870863679297338*\ c_1001_0^6 - 111343646101522184248818370672581131561853196656619832\ 29601500383/1282773733757320278408728276832814839930123668708636792\ 97338*c_1001_0^5 - 568759134689922522460815185266774012081272094164\ 710713900871443/641386866878660139204364138416407419965061834354318\ 39648669*c_1001_0^4 + 624924457850834370541636244756254953951691052\ 38621171207141546/6413868668786601392043641384164074199650618343543\ 1839648669*c_1001_0^3 + 2642599146114528110467033517692887294238884\ 8438355286626386094/64138686687866013920436413841640741996506183435\ 431839648669*c_1001_0^2 + 20169513789640187203715183643433779413848\ 29915412690546449805/6413868668786601392043641384164074199650618343\ 5431839648669*c_1001_0 - 263645444170813255464263246206023506731107\ 30284777196138499/1282773733757320278408728276832814839930123668708\ 63679297338, c_0110_8 - 794134856272219937857268245698770152960369212980982744594175\ 5/256554746751464055681745655366562967986024733741727358594676*c_10\ 01_0^28 - 512994702325838255769974564097682704543096359424372909888\ 26145/64138686687866013920436413841640741996506183435431839648669*c\ _1001_0^27 - 261455259616658116206435589441266450587987020592354172\ 2264633721/25655474675146405568174565536656296798602473374172735859\ 4676*c_1001_0^26 - 217600467713725649289382089297323700422180507589\ 45470480290154955/2565547467514640556817456553665629679860247337417\ 27358594676*c_1001_0^25 - 13259639264187545179682212736684542655546\ 4879605065740258482683537/25655474675146405568174565536656296798602\ 4733741727358594676*c_1001_0^24 - 157200817968814946416289990633520\ 472886917070230615649235148478614/641386866878660139204364138416407\ 41996506183435431839648669*c_1001_0^23 - 1204899940347796647971341592957648398887304622957724736686686327547\ /128277373375732027840872827683281483993012366870863679297338*c_100\ 1_0^22 - 3827155056949318296126501238797607504894723293181472813325\ 131993793/128277373375732027840872827683281483993012366870863679297\ 338*c_1001_0^21 - 2051635428197860177573795986043675853304374511234\ 8548251072323551381/25655474675146405568174565536656296798602473374\ 1727358594676*c_1001_0^20 - 117558322558665999642345722277656089066\ 43642954447743688736903477260/6413868668786601392043641384164074199\ 6506183435431839648669*c_1001_0^19 - 2327202343013477977375099474757567585684384008475038238285883788470\ 2/64138686687866013920436413841640741996506183435431839648669*c_100\ 1_0^18 - 1603806084519414465639037185369818294875480007643850325853\ 63123679911/2565547467514640556817456553665629679860247337417273585\ 94676*c_1001_0^17 - 24188876718198082643131473038661504046243834214\ 6950085913458483154105/25655474675146405568174565536656296798602473\ 3741727358594676*c_1001_0^16 - 320746986994865192386555577288036515\ 943296498587565641065301101847943/256554746751464055681745655366562\ 967986024733741727358594676*c_1001_0^15 - 3750507355201009257665242316771957310515889614221116837935409491660\ 67/256554746751464055681745655366562967986024733741727358594676*c_1\ 001_0^14 - 19368926369284653263376766301981942042185556993857179157\ 9129476808667/12827737337573202784087282768328148399301236687086367\ 9297338*c_1001_0^13 - 353554858156601951009214723962441996717185406\ 011166948614637504758815/256554746751464055681745655366562967986024\ 733741727358594676*c_1001_0^12 - 7120849809510112515078880702999949\ 3365898968168890362305798406920374/64138686687866013920436413841640\ 741996506183435431839648669*c_1001_0^11 - 2020155032335319239647670744391606020943923557173193480981343953688\ 67/256554746751464055681745655366562967986024733741727358594676*c_1\ 001_0^10 - 12555012486235616101806961295156154469548801315729833567\ 5473170662929/25655474675146405568174565536656296798602473374172735\ 8594676*c_1001_0^9 - 6787157577924014815838675607179703041387239964\ 6269231935499413208199/25655474675146405568174565536656296798602473\ 3741727358594676*c_1001_0^8 - 3155352626179399426014360277865692980\ 4033810920411518755581698874537/25655474675146405568174565536656296\ 7986024733741727358594676*c_1001_0^7 - 1239239819172543443090130007367995357788573781755025778370896461569\ 5/256554746751464055681745655366562967986024733741727358594676*c_10\ 01_0^6 - 1998286434614093820594020364152009257751357645830449685863\ 183783913/128277373375732027840872827683281483993012366870863679297\ 338*c_1001_0^5 - 50572245108131949898229165314461674971055832697734\ 3541244772169731/12827737337573202784087282768328148399301236687086\ 3679297338*c_1001_0^4 - 9334076465353875209011312886832137458457035\ 6989409362663657783105/12827737337573202784087282768328148399301236\ 6870863679297338*c_1001_0^3 - 5546023038185023127127028150052853285\ 160260889297061056934079183/641386866878660139204364138416407419965\ 06183435431839648669*c_1001_0^2 - 133850539403858884546568960816825\ 9514329467042099508387213395227/25655474675146405568174565536656296\ 7986024733741727358594676*c_1001_0 - 7070129097059240169277718999263483288712904430301425394081192/64138\ 686687866013920436413841640741996506183435431839648669, c_0110_9 - 260934573011577241261530081332041034741432610447091673673870\ 9/256554746751464055681745655366562967986024733741727358594676*c_10\ 01_0^28 - 703959208441216458422341443180711927083920983417529499655\ 60795/256554746751464055681745655366562967986024733741727358594676*\ c_1001_0^27 - 93368922404077787671254716727314873599990863395292204\ 2744214323/25655474675146405568174565536656296798602473374172735859\ 4676*c_1001_0^26 - 403663738510312026806144048620043020254160171671\ 7329229099417915/12827737337573202784087282768328148399301236687086\ 3679297338*c_1001_0^25 - 255148421632229253557223001400455023740641\ 46874795098449685460603/1282773733757320278408728276832814839930123\ 66870863679297338*c_1001_0^24 - 25072159759496239181763095698063525\ 4946428363366268246815194451705/25655474675146405568174565536656296\ 7986024733741727358594676*c_1001_0^23 - 497272425582300887953170395660143366650082224859727370379949650115/\ 128277373375732027840872827683281483993012366870863679297338*c_1001\ _0^22 - 81678477864886131929587461583725307214301361553400496281891\ 6834777/64138686687866013920436413841640741996506183435431839648669\ *c_1001_0^21 - 9050408741762703135949086301024741144914999166495211\ 766898848254781/256554746751464055681745655366562967986024733741727\ 358594676*c_1001_0^20 - 2142427270858337690295923899773102664189674\ 3282574843714898810014625/25655474675146405568174565536656296798602\ 4733741727358594676*c_1001_0^19 - 109442131595442293101021831359045\ 62318149957871592318725574335877523/6413868668786601392043641384164\ 0741996506183435431839648669*c_1001_0^18 - 7780574661398311971690612396994352687702297189475558496958964613000\ 5/256554746751464055681745655366562967986024733741727358594676*c_10\ 01_0^17 - 604944178562368994627781579157176148686728330276499868724\ 00781454109/1282773733757320278408728276832814839930123668708636792\ 97338*c_1001_0^16 - 82663429169845987084241580363173630017829282946\ 230585573912509116305/128277373375732027840872827683281483993012366\ 870863679297338*c_1001_0^15 - 4978179057294037083252723854439129027\ 0278683034208835639752220004388/64138686687866013920436413841640741\ 996506183435431839648669*c_1001_0^14 - 2117808274442024589479736975453922180283235053393127072836854771330\ 53/256554746751464055681745655366562967986024733741727358594676*c_1\ 001_0^13 - 19898752005705886277381952895367755424881749604612717807\ 8661372406595/25655474675146405568174565536656296798602473374172735\ 8594676*c_1001_0^12 - 165025935678814112576786720980235971584081231\ 970210308383984039949723/256554746751464055681745655366562967986024\ 733741727358594676*c_1001_0^11 - 1205002867851766773343829100073519\ 82842363809401836430382469774114197/2565547467514640556817456553665\ 62967986024733741727358594676*c_1001_0^10 - 3856528916497228710966008529073698205870305195496624841042563029726\ 7/128277373375732027840872827683281483993012366870863679297338*c_10\ 01_0^9 - 2148818401617318345883499708376328555732197266613827822811\ 6928613899/12827737337573202784087282768328148399301236687086367929\ 7338*c_1001_0^8 - 1031022485992689124540417668142098687154553413706\ 0025255539707523135/12827737337573202784087282768328148399301236687\ 0863679297338*c_1001_0^7 - 4188503662267956877017827690291174060933\ 948759206036574314040540423/128277373375732027840872827683281483993\ 012366870863679297338*c_1001_0^6 - 2804122849998664910851537539333147231861986843526780290428371624305\ /256554746751464055681745655366562967986024733741727358594676*c_100\ 1_0^5 - 18497265604853907516870017485027603813016626772574650306238\ 9454938/64138686687866013920436413841640741996506183435431839648669\ *c_1001_0^4 - 35750556635746352861250776320287196126063029366412020\ 459322572966/641386866878660139204364138416407419965061834354318396\ 48669*c_1001_0^3 - 891305722961583205948472659856163542895490212023\ 5346883410843307/12827737337573202784087282768328148399301236687086\ 3679297338*c_1001_0^2 - 1115106733698486586950860111885803625442749\ 306989170963432203833/256554746751464055681745655366562967986024733\ 741727358594676*c_1001_0 - 2414245376107334690415192119383092656159\ 1685985341506361389487/25655474675146405568174565536656296798602473\ 3741727358594676, c_1001_0^29 + 26*c_1001_0^28 + 1000/3*c_1001_0^27 + 8375/3*c_1001_0^26 + 51362/3*c_1001_0^25 + 245189/3*c_1001_0^24 + 946141/3*c_1001_0^23 + 3026942/3*c_1001_0^22 + 2724921*c_1001_0^21 + 18886012/3*c_1001_0^20 + 37702465/3*c_1001_0^19 + 21846311*c_1001_0^18 + 33263371*c_1001_0^17 + 133674518/3*c_1001_0^16 + 158025850/3*c_1001_0^15 + 165168637/3*c_1001_0^14 + 50906090*c_1001_0^13 + 124816642/3*c_1001_0^12 + 29988412*c_1001_0^11 + 56951827/3*c_1001_0^10 + 31457020/3*c_1001_0^9 + 15007798/3*c_1001_0^8 + 6088940/3*c_1001_0^7 + 2050535/3*c_1001_0^6 + 552133/3*c_1001_0^5 + 112294/3*c_1001_0^4 + 15824/3*c_1001_0^3 + 1355/3*c_1001_0^2 + 20*c_1001_0 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.280 Total time: 0.490 seconds, Total memory usage: 32.09MB