Magma V2.19-8 Tue Aug 20 2013 17:56:57 on localhost [Seed = 3052667298] Type ? for help. Type -D to quit. Loading file "11_275__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_275 geometric_solution 10.63862125 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 0 0 2 0132 1230 3012 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 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 1.098087581989 1.284580828263 0 3 4 2 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567346836957 0.228785679037 5 1 0 6 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.258756941330 0.626378466139 6 1 7 8 3201 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 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.999918719874 1.032669669925 7 8 5 1 2103 0132 3120 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800050818151 1.099329002614 2 9 4 8 0132 0132 3120 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 1 0 1 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.013827853961 0.730507962205 10 10 2 3 0132 1302 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 0 -1 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.549142587766 0.540779535707 10 9 4 3 2310 2031 2103 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409634049574 0.415250822084 11 4 3 5 0132 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 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.171535207632 0.760782942217 7 5 11 11 1302 0132 0132 0321 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 -14 13 -1 0 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.617278797224 0.777864305500 6 11 7 6 0132 3201 3201 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.909509480048 1.090908347063 8 9 10 9 0132 0321 2310 0132 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 -1 14 1 0 0 -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.374023885174 0.788824236323 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : negation(d['c_1001_4']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_1001_4']), 'c_1001_8' : d['c_1001_1'], 'c_1010_11' : negation(d['c_1001_4']), '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' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : negation(d['c_0101_1']), 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : negation(d['c_0101_5']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_2'], 'c_1010_6' : d['c_0011_7'], 'c_1010_5' : negation(d['c_1001_4']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_1001_4']), 'c_1010_8' : d['c_1001_4'], 'c_1100_8' : negation(d['c_0101_1']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_2'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_7']), 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : negation(d['c_0011_7']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_7']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : d['c_0101_10']})} 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_11, c_0011_2, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_5, c_1001_1, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 5933067645744371543644327655127713087244070728154135693702650530529\ 162563758393624337344111548170059493462303991/222423385047674101115\ 0420931596920709606247359859967303629181022596385198327850939833511\ 2926915963673775692992*c_1001_4^30 + 4621635571412360478894147927838455203500152378621915014844390534839\ 3351349426232626250527094641932855183577527707/11121169252383705055\ 7521046579846035480312367992998365181459051129819259916392546991675\ 56463457981836887846496*c_1001_4^29 + 5397654635165455208512740097959560765059455862369168041396055341767\ 4402688680245932628494975250193349038600866509/13901461565479631319\ 6901308224807544350390459991247956476823813912274074895490683739594\ 4557932247729610980812*c_1001_4^28 + 3452333002985078454336200042072015444332502582155259985839842738515\ 64848286831087525321541920423450099855415090401/1588738464626243579\ 3931578082835147925758909713285480740208435875688465702341792427382\ 22351922568833841120928*c_1001_4^27 + 1947351684709397756330789038501969514402192421161670990910386316724\ 8614795442276438171028030929042114647535501574157/22242338504767410\ 1115042093159692070960624735985996730362918102259638519832785093983\ 35112926915963673775692992*c_1001_4^26 + 1356511462964628571790057087333280125951303404106363108029111349787\ 3582830584247237874235229833137602061156477399893/55605846261918525\ 2787605232899230177401561839964991825907295255649096299581962734958\ 3778231728990918443923248*c_1001_4^25 + 3537925153412221317409920038369289539132814813399737822390514929869\ 694946303764051926633081144179910634851888402875/654186426610806179\ 7501238034108590322371315764294021481262297125283485877434855705392\ 68027262234225699285088*c_1001_4^24 + 6644474891232683137904898812256734901250957166658851232187469459959\ 590486818207183014032875821512371139276334520769/654186426610806179\ 7501238034108590322371315764294021481262297125283485877434855705392\ 68027262234225699285088*c_1001_4^23 + 7097238567143464387985817913071161485629253356797823102303449143343\ 8897575107936036008219370238118184774950706486321/55605846261918525\ 2787605232899230177401561839964991825907295255649096299581962734958\ 3778231728990918443923248*c_1001_4^22 + 2081498520844630902246265456927803122900564986347736779472586056928\ 3236260668098087877008357480084857065957519258151/20220307731606736\ 4650038266508810973600567941805451573057198274781489563484350085439\ 4101175174178515797790272*c_1001_4^21 - 1298841087931764597118249993591992664485471780250840610660436925587\ 876479470957020518654676995262212644791308674391/669949954962873798\ 5392834131316026233753757108011949709726448863242124091348948613956\ 3593153361336366794256*c_1001_4^20 - 9641660761881783653603804360532912227864932815876202913645714080387\ 04588547799707838357709912298632774463817988321869/2224233850476741\ 0111504209315969207096062473598599673036291810225963851983278509398\ 335112926915963673775692992*c_1001_4^19 - 5551378888604177782531046281770739464639745890853865637859987931715\ 85667812812276402377106024379428574894892255421023/2224233850476741\ 0111504209315969207096062473598599673036291810225963851983278509398\ 335112926915963673775692992*c_1001_4^18 - 7942954808548331058832878744471366799149463513042347034611347928978\ 243715106410972413916977136635817459124974166/709258243136715883657\ 6597358408548181142370407716732473307337444503779331402585905081349\ 785368610865362147*c_1001_4^17 + 1332933893269852445453104960680214\ 1886748602238546893397563510714566918496823773831000967925093254364\ 76079295180119449/2224233850476741011150420931596920709606247359859\ 9673036291810225963851983278509398335112926915963673775692992*c_100\ 1_4^16 + 7152792096706537030653934978887467006151135664513646817514\ 55309647674389376035933936048269365865505818703244858168593/1112116\ 9252383705055752104657984603548031236799299836518145905112981925991\ 639254699167556463457981836887846496*c_1001_4^15 - 2862016585587888783655264473821317210187797070953894247050828857556\ 00372975617983096892443855439284138828791657206129/1112116925238370\ 5055752104657984603548031236799299836518145905112981925991639254699\ 167556463457981836887846496*c_1001_4^14 - 2319190026655735980071537780517090759419203986358455921706386736215\ 66515432781691225078556857683557929213054283811165/1112116925238370\ 5055752104657984603548031236799299836518145905112981925991639254699\ 167556463457981836887846496*c_1001_4^13 - 6121938120329375669292441450095501988937489450163538198022529073851\ 5208752264438099488708184331738439277614271646887/31774769292524871\ 5878631561656702958515178194265709614804168717513769314046835848547\ 6444703845137667682241856*c_1001_4^12 - 1276581835529763015887625589028704049978919618914372696033669081821\ 44636577845765085005066612099735254893013943175961/3177476929252487\ 1587863156165670295851517819426570961480416871751376931404683584854\ 76444703845137667682241856*c_1001_4^11 + 6525662985098180043736883892273311581674078131351214382742904699823\ 06292157468289984496130271026900691982123772437485/2224233850476741\ 0111504209315969207096062473598599673036291810225963851983278509398\ 335112926915963673775692992*c_1001_4^10 + 2389460063773117061590824855719961979312452309370377237057063465813\ 06008462612197738946612264188199481897532558318017/1112116925238370\ 5055752104657984603548031236799299836518145905112981925991639254699\ 167556463457981836887846496*c_1001_4^9 - 9775814341960955321136731403585174364585850807662178968072530526626\ 1032824924712372352330028225653815692874534304767/55605846261918525\ 2787605232899230177401561839964991825907295255649096299581962734958\ 3778231728990918443923248*c_1001_4^8 + 7657573517251736252292584085117711439382221457409082172581462530330\ 7543108746767857513623717235649720510595931722865/22242338504767410\ 1115042093159692070960624735985996730362918102259638519832785093983\ 35112926915963673775692992*c_1001_4^7 + 2528347229055797413657809627282692261305955402758893267504896130940\ 688859715120548695888729528048961701108379287819/158873846462624357\ 9393157808283514792575890971328548074020843587568846570234179242738\ 222351922568833841120928*c_1001_4^6 - 5866072470118864892523766690933869238737749705330039047874257520934\ 3538842343380601344525193255948482651345331937647/22242338504767410\ 1115042093159692070960624735985996730362918102259638519832785093983\ 35112926915963673775692992*c_1001_4^5 + 5507266621641855163165711059548008435389904740255641294988101392216\ 273720274863278774309542772363056153123530289381/556058462619185252\ 7876052328992301774015618399649918259072952556490962995819627349583\ 778231728990918443923248*c_1001_4^4 + 9892785030799117924603457561175344903332035854261599062021702607373\ 2772116526975621878832027481972638599096352049/10110153865803368232\ 5019133254405486800283970902725786528599137390744781742175042719705\ 0587587089257898895136*c_1001_4^3 - 1121182619896641832963336487424294667457892196365174579116865069693\ 003871446175735763171263621218167150889084332539/556058462619185252\ 7876052328992301774015618399649918259072952556490962995819627349583\ 778231728990918443923248*c_1001_4^2 + 2811070715761651672229629232093978831142710415823791173544845951261\ 8204692286279696277114465497973029155577393959/32709321330540308987\ 5061901705429516118565788214701074063114856264174293871742785269634\ 013631117112849642544*c_1001_4 - 1641227595997758898880768669733133\ 8513745671337268572048756302196833608601259844302413764441759632984\ 95830057563/1263769233225421029062739165680068585003549636284072331\ 60748921738430977177718803399631323448386157237361892, c_0011_0 - 1, c_0011_10 - 13931171292808903863879271368015339768785906585407967073799\ 276580487298785356735643755216574823/566588155318375680344525748447\ 677998248078271595339862810147766812563349084788123662699725464264*\ c_1001_4^30 - 11367144390472212336681775206604487937720752988737353\ 1224748722542709394692113013366244747880925/28329407765918784017226\ 2874223838999124039135797669931405073883406281674542394061831349862\ 732132*c_1001_4^29 - 5479373370177335006406405541207332709751282796\ 86444569748240748200251782033110728877345044046513/1416470388295939\ 2008613143711191949956201956789883496570253694170314083727119703091\ 5674931366066*c_1001_4^28 - 645106684156679229159784544714654355104\ 8481186786834839957564723998804124592779702066510960706559/28329407\ 7659187840172262874223838999124039135797669931405073883406281674542\ 394061831349862732132*c_1001_4^27 - 5462425932926049010869943688439821280888318329144336768420617550225\ 1159254075249547255534827576837/56658815531837568034452574844767799\ 8248078271595339862810147766812563349084788123662699725464264*c_100\ 1_4^26 - 2051430579190496083365034395333038178429650225227348571161\ 3799168083683925373130556390625652488186/70823519414796960043065718\ 5559597497810097839494174828512684708515704186355985154578374656830\ 33*c_1001_4^25 - 19428745401523812032381033538465529021148118982981\ 3374447970726331728325193159147920200500899075125/28329407765918784\ 0172262874223838999124039135797669931405073883406281674542394061831\ 349862732132*c_1001_4^24 - 3868527648186594315308209701080436927015\ 65266937604391191628300140753120542732156955884415281031665/2832940\ 7765918784017226287422383899912403913579766993140507388340628167454\ 2394061831349862732132*c_1001_4^23 - 2844336128697204167973760443900898612295483007960593285447714028993\ 44485053223032558205381393529317/1416470388295939200861314371119194\ 99562019567898834965702536941703140837271197030915674931366066*c_10\ 01_4^22 - 107602865022832099604950044722373731684603749342040942796\ 925621090059807180905015590752597640833423/515080141198523345767750\ 6804069799984073438832684907843728616061932394082588982942388179322\ 4024*c_1001_4^21 + 609095539660447233426141565471425617278161036813\ 452097095636452220170436175998762053896354111041/853295414636107952\ 3260929946501174672410817343303311186899815765249448028385363308173\ 18863651*c_1001_4^20 + 28114972260031013510555273334533444178038718\ 03795061625591003392213105022382862043372204459254755625/5665881553\ 1837568034452574844767799824807827159533986281014776681256334908478\ 8123662699725464264*c_1001_4^19 + 314739757112774903869607003616092\ 0144462740162582283900867450491154740182079430532227085113467695363\ /566588155318375680344525748447677998248078271595339862810147766812\ 563349084788123662699725464264*c_1001_4^18 + 2000090037508610092637795153160466571685631596542714648584014573801\ 61604363865410247061500473326734/7082351941479696004306571855595974\ 9781009783949417482851268470851570418635598515457837465683033*c_100\ 1_4^17 - 2600420204942622621999346208127264079151397471560003791797\ 129210014693941330206539526619599695979077/566588155318375680344525\ 7484476779982480782715953398628101477668125633490847881236626997254\ 64264*c_1001_4^16 - 27398733037136105060263824594490612149798747328\ 50779743640790910278598680324701195592585130652696935/2832940776591\ 8784017226287422383899912403913579766993140507388340628167454239406\ 1831349862732132*c_1001_4^15 - 896617088428422638315668233101395189\ 372851277918645918077130477903379378436334308521760469379284977/283\ 2940776591878401722628742238389991240391357976699314050738834062816\ 74542394061831349862732132*c_1001_4^14 + 5549663833161194922281045211036319837300014151589280791322176687878\ 37226336048556184586581921443293/2832940776591878401722628742238389\ 99124039135797669931405073883406281674542394061831349862732132*c_10\ 01_4^13 + 181933208484460023679815789111515532307545125579653600707\ 2049907768208406995693366755252223256788729/56658815531837568034452\ 5748447677998248078271595339862810147766812563349084788123662699725\ 464264*c_1001_4^12 + 3029102785751931512751063148655926521358733542\ 934143637495440890243560584491156858212919995835058579/566588155318\ 3756803445257484476779982480782715953398628101477668125633490847881\ 23662699725464264*c_1001_4^11 + 28895600852949712697931189310712352\ 9291344179985760119876625423822376350797841861094537784438033651/56\ 6588155318375680344525748447677998248078271595339862810147766812563\ 349084788123662699725464264*c_1001_4^10 - 8301288367067555006938093895471736163111929985045481558268863941630\ 42895949067017317547978065826973/2832940776591878401722628742238389\ 99124039135797669931405073883406281674542394061831349862732132*c_10\ 01_4^9 - 1054784338107926041225885989611466606634873609780275662919\ 2400956177345764638969450791280401108313/70823519414796960043065718\ 5559597497810097839494174828512684708515704186355985154578374656830\ 33*c_1001_4^8 + 224877159403356188993337147703990596924629655462742\ 708411423135696029227807180853075223884964945103/566588155318375680\ 3445257484476779982480782715953398628101477668125633490847881236626\ 99725464264*c_1001_4^7 - 345558675807860947588237966121934478975564\ 90792254630137697198019471206208518779168669173599298919/2832940776\ 5918784017226287422383899912403913579766993140507388340628167454239\ 4061831349862732132*c_1001_4^6 + 5400523087541796790821233576991682\ 7066930446608344308791132163314325236968990187979872437821372723/56\ 6588155318375680344525748447677998248078271595339862810147766812563\ 349084788123662699725464264*c_1001_4^5 + 2903368403572763838260927505407295837865034925768595010994618461331\ 774964761816966234060645558404/708235194147969600430657185559597497\ 81009783949417482851268470851570418635598515457837465683033*c_1001_\ 4^4 - 7992750969681468453414765181488663784782244392727354767666538\ 33798866288335004417578461207406763/2575400705992616728838753402034\ 8999920367194163424539218643080309661970412944914711940896612012*c_\ 1001_4^3 + 19883834891868686220145163940878340342786607610164058066\ 3672109494532841746940698422719029476877/14164703882959392008613143\ 7111919499562019567898834965702536941703140837271197030915674931366\ 066*c_1001_4^2 + 34163108217040071658572777263769429307896715884023\ 4251402737049869101242159343596301002741474629/14164703882959392008\ 6131437111919499562019567898834965702536941703140837271197030915674\ 931366066*c_1001_4 - 5187354664236822737304804849630213710402066024\ 990526037269274891868017709756547009597266248343/643850176498154182\ 2096883505087249980091798540856134804660770077415492603236228677985\ 224153003, c_0011_11 - 87846416035577715281610710193417102653345002686969532754972\ 63427489215575552984393604389436603/5665881553183756803445257484476\ 77998248078271595339862810147766812563349084788123662699725464264*c\ _1001_4^30 - 178340972534245955501936333549755689317145816510400783\ 08262380811907423875137541277440734136341/7082351941479696004306571\ 8555959749781009783949417482851268470851570418635598515457837465683\ 033*c_1001_4^29 - 3427965493675811673279229388819043179540185464079\ 96688885093804257742598798493150832330459154973/1416470388295939200\ 8613143711191949956201956789883496570253694170314083727119703091567\ 4931366066*c_1001_4^28 - 401604616738456378736809670368601958213428\ 1070324376781121136095459121428494659336033875316085747/28329407765\ 9187840172262874223838999124039135797669931405073883406281674542394\ 061831349862732132*c_1001_4^27 - 3384419521665065479818592201303652\ 9383060148856982818293442400084781030456382004715594935015974773/56\ 6588155318375680344525748447677998248078271595339862810147766812563\ 349084788123662699725464264*c_1001_4^26 - 5047631340429483111527758350863583475878785897031146208551006400311\ 4582484450630243604135507644837/28329407765918784017226287422383899\ 9124039135797669931405073883406281674542394061831349862732132*c_100\ 1_4^25 - 1186962120924403164554860756065162345802116587947224467808\ 15846093475575158221586633409377526095935/2832940776591878401722628\ 7422383899912403913579766993140507388340628167454239406183134986273\ 2132*c_1001_4^24 - 234586717349812970625207526901495853053339842055\ 036811599054528026444218866360705455681748641392527/283294077659187\ 8401722628742238389991240391357976699314050738834062816745423940618\ 31349862732132*c_1001_4^23 - 84773842990042139659831072048253900013\ 598647208150410953922991385122227205657345024221893980093305/708235\ 1941479696004306571855595974978100978394941748285126847085157041863\ 5598515457837465683033*c_1001_4^22 - 6839413510549724839025179089833156494508091050756851526121660370519\ 00986633662981832700483733376361/5665881553183756803445257484476779\ 98248078271595339862810147766812563349084788123662699725464264*c_10\ 01_4^21 + 202224858665299065008858578368883407832798667250861320830\ 1587895296886792792088083441884962318109/34131816585444318093043719\ 7860046986896432693732132447475992630609977921135414532326927545460\ 4*c_1001_4^20 + 179986559011598398838430196855253662290990509356292\ 7937274269349262448267044034803698982927643984497/56658815531837568\ 0344525748447677998248078271595339862810147766812563349084788123662\ 699725464264*c_1001_4^19 + 1936321921407938875549403322173647926684\ 243556097291276790908540949471142947486526379621548975659873/566588\ 1553183756803445257484476779982480782715953398628101477668125633490\ 84788123662699725464264*c_1001_4^18 + 4578301316803494674882485883060017742767544254704317500779082449561\ 31140088647814330246053901668613/2832940776591878401722628742238389\ 99124039135797669931405073883406281674542394061831349862732132*c_10\ 01_4^17 - 179009985099066964801773235645003903610389517507794263895\ 3100419487157170639337706614868411106346285/56658815531837568034452\ 5748447677998248078271595339862810147766812563349084788123662699725\ 464264*c_1001_4^16 - 4362301977907933507966870033285434928150085473\ 39468797571581366295163708502859261085766728155341276/7082351941479\ 6960043065718555959749781009783949417482851268470851570418635598515\ 457837465683033*c_1001_4^15 - 5295211444052956487831158429044579490\ 07021562956361500716501979434712741597372368453804281017442685/2832\ 9407765918784017226287422383899912403913579766993140507388340628167\ 4542394061831349862732132*c_1001_4^14 + 3790811175844549356042649160683942844875433235991335724658964643069\ 08003936963196132048297170307267/2832940776591878401722628742238389\ 99124039135797669931405073883406281674542394061831349862732132*c_10\ 01_4^13 + 134463783123525048222712274836819955711592545858474866666\ 8362269627181180772745571486266218716831849/56658815531837568034452\ 5748447677998248078271595339862810147766812563349084788123662699725\ 464264*c_1001_4^12 + 2016241452734969105899317136279344973332271861\ 003158380655090610472094794935297540180173847473878257/566588155318\ 3756803445257484476779982480782715953398628101477668125633490847881\ 23662699725464264*c_1001_4^11 + 89652788996314849607580289924116791\ 192274233277076460306312539978145196284885238402054555104034377/566\ 5881553183756803445257484476779982480782715953398628101477668125633\ 49084788123662699725464264*c_1001_4^10 - 1348354330125692931771764744178342178006433483110022650139104935412\ 66423087885565228267129163796496/7082351941479696004306571855595974\ 9781009783949417482851268470851570418635598515457837465683033*c_100\ 1_4^9 - 18292744444403678974220077895246892019481560478102682286168\ 852108167882371267507782373127546193452/708235194147969600430657185\ 5595974978100978394941748285126847085157041863559851545783746568303\ 3*c_1001_4^8 + 4620834256876242083729613914602415336846202347532041\ 7973901664001403948551478002740995336962198955/56658815531837568034\ 4525748447677998248078271595339862810147766812563349084788123662699\ 725464264*c_1001_4^7 - 94386352098648868013100974024315241261047042\ 6543665545266660093192340655854325383700743002562054/70823519414796\ 9600430657185559597497810097839494174828512684708515704186355985154\ 57837465683033*c_1001_4^6 + 554986169127501825428652135838182649856\ 73288555277963821825776628751503958424361400176348713759031/5665881\ 5531837568034452574844767799824807827159533986281014776681256334908\ 4788123662699725464264*c_1001_4^5 + 6729967635011689663206254554654975923528752323753457125017758821314\ 020282697064936771004294928231/283294077659187840172262874223838999\ 124039135797669931405073883406281674542394061831349862732132*c_1001\ _4^4 - 329850888766998908458445535271507796201424717666124622042917\ 2588637521588433223568967182424952891/28329407765918784017226287422\ 3838999124039135797669931405073883406281674542394061831349862732132\ *c_1001_4^3 - 10385557719279700609622899326342058606889027899956405\ 3178491321740247215434031333005094679117692/70823519414796960043065\ 7185559597497810097839494174828512684708515704186355985154578374656\ 83033*c_1001_4^2 - 134455646755893970015212378021651560190364234723\ 001175808571493686258911554408087439178707303015/141647038829593920\ 0861314371119194995620195678988349657025369417031408372711970309156\ 74931366066*c_1001_4 - 21823604944321664082181615081500862939313852\ 224084148871032741595963730542546489361090912619918/708235194147969\ 6004306571855595974978100978394941748285126847085157041863559851545\ 7837465683033, c_0011_2 + 455687084939888559508923675651590160627682003674327205707475\ 32457358632234107446840873485849/1416470388295939200861314371119194\ 99562019567898834965702536941703140837271197030915674931366066*c_10\ 01_4^30 + 729417416139133870577645002014005624059753764554893896294\ 470776741895452370507002171963751457/141647038829593920086131437111\ 919499562019567898834965702536941703140837271197030915674931366066*\ c_1001_4^29 + 34775708157433969930184429486019684131146496438952378\ 81587046015742372235897034646300622320968/7082351941479696004306571\ 8555959749781009783949417482851268470851570418635598515457837465683\ 033*c_1001_4^28 + 2012012387724184019712821346357607898777586510052\ 5011983788154648384586744405738280539581316259/70823519414796960043\ 0657185559597497810097839494174828512684708515704186355985154578374\ 65683033*c_1001_4^27 + 16803974714646806497920048760538269453600740\ 0528464685484344459262131975060718488079841268231011/14164703882959\ 3920086131437111919499562019567898834965702536941703140837271197030\ 915674931366066*c_1001_4^26 + 4949448524723353239621486880019554522\ 84010501501521183735819357602379032076967150948001343766349/1416470\ 3882959392008613143711191949956201956789883496570253694170314083727\ 1197030915674931366066*c_1001_4^25 + 5792400921858859118594203084976701419460412401260566735881100599963\ 41838204471703178707496234880/7082351941479696004306571855595974978\ 1009783949417482851268470851570418635598515457837465683033*c_1001_4\ ^24 + 1141645868640459154657508896936595053295438745949639139628105\ 027805247401805913737153794259113474/708235194147969600430657185559\ 59749781009783949417482851268470851570418635598515457837465683033*c\ _1001_4^23 + 162929777455544921912110136644264869422219555882305189\ 7683392656397607240028387221425952156923993/70823519414796960043065\ 7185559597497810097839494174828512684708515704186355985154578374656\ 83033*c_1001_4^22 + 30208218114251413958061480641768792966818938874\ 1869213145382496123785357635960778411656835163147/12877003529963083\ 6441937670101744999601835970817122696093215401548309852064724573559\ 70448306006*c_1001_4^21 - 21450282019423810951798197835982712657816\ 351187725661880927492625200512726142236588055755848975/170659082927\ 2215904652185989300234934482163468660662237379963153049889605677072\ 661634637727302*c_1001_4^20 - 8135705327095011880448619664088988289\ 399795171565349632198566271773727205102501829456244291930563/141647\ 0388295939200861314371119194995620195678988349657025369417031408372\ 71197030915674931366066*c_1001_4^19 - 4295464205439633664224898089154479237465061141301259040766641664827\ 421397674044553679322505761549/708235194147969600430657185559597497\ 81009783949417482851268470851570418635598515457837465683033*c_1001_\ 4^18 - 404978865665519644884662424261618051684695300577020043380453\ 4597214688523904177940186849968365561/14164703882959392008613143711\ 1919499562019567898834965702536941703140837271197030915674931366066\ *c_1001_4^17 + 9548325004115127849530406062677324168099304135511225\ 163833454309547206079784107073352294617761545/141647038829593920086\ 1314371119194995620195678988349657025369417031408372711970309156749\ 31366066*c_1001_4^16 + 15481194928670966669248043689193022941959378\ 332101582268914911311406169967526949626589976487420585/141647038829\ 5939200861314371119194995620195678988349657025369417031408372711970\ 30915674931366066*c_1001_4^15 + 18668818662939564615809171445712008\ 17959251839233093520274768978288835088207575539381709265746052/7082\ 3519414796960043065718555959749781009783949417482851268470851570418\ 635598515457837465683033*c_1001_4^14 - 1669370965877558957217691401098898009768749198588334588038227948488\ 479889402801149420742856838065/708235194147969600430657185559597497\ 81009783949417482851268470851570418635598515457837465683033*c_1001_\ 4^13 - 793199668928659178440843480476332416512191338609658023098112\ 5589075461840183323666596333037889009/14164703882959392008613143711\ 1919499562019567898834965702536941703140837271197030915674931366066\ *c_1001_4^12 - 4198976004582512881627041385234379601304952769882120\ 139607400871538771861911910416106661431804412/708235194147969600430\ 6571855595974978100978394941748285126847085157041863559851545783746\ 5683033*c_1001_4^11 + 890023938582654186037384238019279650978705699\ 654255919101666866518204244205930276587964245296385/708235194147969\ 6004306571855595974978100978394941748285126847085157041863559851545\ 7837465683033*c_1001_4^10 + 450424224392668521612939010963028864195\ 0873966998223755905373642925710404592535683315191819108875/14164703\ 8829593920086131437111919499562019567898834965702536941703140837271\ 197030915674931366066*c_1001_4^9 + 6769036847960402068003215865262140274679865283978737029094238745039\ 35467105692794849120793990384/7082351941479696004306571855595974978\ 1009783949417482851268470851570418635598515457837465683033*c_1001_4\ ^8 - 51403851963442564721107220759375962576269593015882096474031500\ 8030359604320729560383449422765457/14164703882959392008613143711191\ 9499562019567898834965702536941703140837271197030915674931366066*c_\ 1001_4^7 - 96063455134049987024122145291765663191329016021637702450\ 5578805174293753995768790109835168406357/14164703882959392008613143\ 7111919499562019567898834965702536941703140837271197030915674931366\ 066*c_1001_4^6 - 15493397669303007456859409250917208785626966791334\ 8978087212047137843310083948003345252028286349/14164703882959392008\ 6131437111919499562019567898834965702536941703140837271197030915674\ 931366066*c_1001_4^5 - 70461939170018042289461335128778764129565841\ 365622130609516199873359027845206580690467340073217/141647038829593\ 9200861314371119194995620195678988349657025369417031408372711970309\ 15674931366066*c_1001_4^4 + 181594707020539329776528828111875719819\ 9606577460942943600422206251330160645858757123970643494/64385017649\ 8154182209688350508724998009179854085613480466077007741549260323622\ 8677985224153003*c_1001_4^3 - 1928953643177564657392552306764472148\ 20788125595207832035507087273430181714869480020512577359872/7082351\ 9414796960043065718555959749781009783949417482851268470851570418635\ 598515457837465683033*c_1001_4^2 - 1072419996300152304647492386814143788201921486242360883061151058317\ 354613045694123909640907030/708235194147969600430657185559597497810\ 09783949417482851268470851570418635598515457837465683033*c_1001_4 - 1012589754542515741745922475329476770603854726967983751774214946408\ 5740102470707742949479032/64385017649815418220968835050872499800917\ 98540856134804660770077415492603236228677985224153003, c_0011_7 - 225960303670331854212495844949105160219932804183934705329033\ 58393991061988415316614596174811093/5665881553183756803445257484476\ 77998248078271595339862810147766812563349084788123662699725464264*c\ _1001_4^30 - 933512659251981200952605225115206995634175145261257520\ 27970191502653477023756327421693515846529/1416470388295939200861314\ 3711191949956201956789883496570253694170314083727119703091567493136\ 6066*c_1001_4^29 - 453722615278238711311317049542554360072400837328\ 734033430470558993834020063565447756812394761336/708235194147969600\ 4306571855595974978100978394941748285126847085157041863559851545783\ 7465683033*c_1001_4^28 - 108199503748932948216618808068339430718636\ 55659199637552626019725934151267277402407772391147793549/2832940776\ 5918784017226287422383899912403913579766993140507388340628167454239\ 4061831349862732132*c_1001_4^27 - 842901044723796899808855236041552\ 3295746085347040130201004389610163194026131128776951385193407473/51\ 5080141198523345767750680406979998407343883268490784372861606193239\ 40825889829423881793224024*c_1001_4^26 - 1416487937779294455755268080236557581209823552133745570727847917236\ 29208363242535852917160114042713/2832940776591878401722628742238389\ 99124039135797669931405073883406281674542394061831349862732132*c_10\ 01_4^25 - 309162829290387306987634517012510813871664653738892793944\ 39288722804111082820840631531000453820825/2575400705992616728838753\ 4020348999920367194163424539218643080309661970412944914711940896612\ 012*c_1001_4^24 - 6847766168111019935126208258860301199986101945764\ 25529661131072188515352995881166596978080516139717/2832940776591878\ 4017226287422383899912403913579766993140507388340628167454239406183\ 1349862732132*c_1001_4^23 - 234845484669551035729500182773621749952\ 41796343510056541412440069508918422643458998085407283336579/6438501\ 7649815418220968835050872499800917985408561348046607700774154926032\ 36228677985224153003*c_1001_4^22 - 2222908858498746671059756839176688364884479562145073261887748275328\ 845607044917370519506611063705175/566588155318375680344525748447677\ 998248078271595339862810147766812563349084788123662699725464264*c_1\ 001_4^21 + 22984845537848612334514257853733132413802195747060967698\ 99208780087558665203829960133110795269173/3413181658544431809304371\ 9786004698689643269373213244747599263060997792113541453232692754546\ 04*c_1001_4^20 + 48399593798627680551941072995258710838389783956275\ 67638352024571100153455100456958441678858077800867/5665881553183756\ 8034452574844767799824807827159533986281014776681256334908478812366\ 2699725464264*c_1001_4^19 + 606725107069281505682366709516069547702\ 5912444610523070511806984055181867508502643935147479686957299/56658\ 8155318375680344525748447677998248078271595339862810147766812563349\ 084788123662699725464264*c_1001_4^18 + 1726789230573628775972735889936325108321804038361260381409971980250\ 912455546547389593602882372954527/283294077659187840172262874223838\ 999124039135797669931405073883406281674542394061831349862732132*c_1\ 001_4^17 - 36169698213732039570426396160157068917872197729466888390\ 7940726977385731900370577931922629002964701/51508014119852334576775\ 0680406979998407343883268490784372861606193239408258898294238817932\ 24024*c_1001_4^16 - 25063160889646822872056239143819452907465931929\ 55880530633089353867748882153593477196974059840383507/1416470388295\ 9392008613143711191949956201956789883496570253694170314083727119703\ 0915674931366066*c_1001_4^15 - 233159837264626788201540522958554872\ 1406776863420294438149700067807534215322707501677536191512735781/28\ 3294077659187840172262874223838999124039135797669931405073883406281\ 674542394061831349862732132*c_1001_4^14 + 8026589455137186171385584687671470691237879373881186296307615910753\ 90260504385130420048252285743181/2832940776591878401722628742238389\ 99124039135797669931405073883406281674542394061831349862732132*c_10\ 01_4^13 + 358554321053185288048015908826948715698472018059950655949\ 7155328583917189701160162795459018127810071/56658815531837568034452\ 5748447677998248078271595339862810147766812563349084788123662699725\ 464264*c_1001_4^12 + 5659893499710047470808779469004146271028872527\ 716761297572426390802320132570864713079082902067498691/566588155318\ 3756803445257484476779982480782715953398628101477668125633490847881\ 23662699725464264*c_1001_4^11 + 14311244925931126534440657228904476\ 24859422709133842742234841031627962582593370194697780029539777895/5\ 6658815531837568034452574844767799824807827159533986281014776681256\ 3349084788123662699725464264*c_1001_4^10 - 3608947137495270108932239735882583248237544486030153262470555215256\ 23994041483126203919417823228798/7082351941479696004306571855595974\ 9781009783949417482851268470851570418635598515457837465683033*c_100\ 1_4^9 - 19994085998888897859968875917078399294464405590488448231764\ 8895856821827587390698826970624197009523/14164703882959392008613143\ 7111919499562019567898834965702536941703140837271197030915674931366\ 066*c_1001_4^8 + 34763362217832718351024738864287359819698772187788\ 5372978022330938307115101840575042493699134612173/56658815531837568\ 0344525748447677998248078271595339862810147766812563349084788123662\ 699725464264*c_1001_4^7 - 15012145073319631409657295011283562429503\ 904577643136829861348445515752626837669846746821661519371/141647038\ 8295939200861314371119194995620195678988349657025369417031408372711\ 97030915674931366066*c_1001_4^6 + 976180495231196114719035750163455\ 07791701705072859212720155088427184337344883492900965132617005453/5\ 6658815531837568034452574844767799824807827159533986281014776681256\ 3349084788123662699725464264*c_1001_4^5 + 3474167580570704742806718621288502885287439057761088016589646182618\ 7271467360045952576227074225735/28329407765918784017226287422383899\ 9124039135797669931405073883406281674542394061831349862732132*c_100\ 1_4^4 - 13942312097484478553156050409294117420719059538477599458056\ 205542699883310294261317712750163134071/283294077659187840172262874\ 2238389991240391357976699314050738834062816745423940618313498627321\ 32*c_1001_4^3 - 528787157697843957860668577446318964201622585132360\ 611864449613309292266372278266729295169563500/708235194147969600430\ 6571855595974978100978394941748285126847085157041863559851545783746\ 5683033*c_1001_4^2 + 4854398024940838036038150139687859528075342523\ 85435007795444952002203990163878423427099605211339/1416470388295939\ 2008613143711191949956201956789883496570253694170314083727119703091\ 5674931366066*c_1001_4 - 109037313237017128138179999318372065423408\ 418752127012139216586525997371959007478081356899929824/708235194147\ 9696004306571855595974978100978394941748285126847085157041863559851\ 5457837465683033, c_0101_0 - 842518398899187164201887742194238617208626798028995526442275\ 550447270944622585971179042194233/566588155318375680344525748447677\ 998248078271595339862810147766812563349084788123662699725464264*c_1\ 001_4^30 - 33839967047217082482565574028127347744303101946117918823\ 55997657302201671131241107862724310601/1416470388295939200861314371\ 1191949956201956789883496570253694170314083727119703091567493136606\ 6*c_1001_4^29 - 321929001956744768469049447803883933273978981646673\ 53709626050672748823545678515028307618433709/1416470388295939200861\ 3143711191949956201956789883496570253694170314083727119703091567493\ 1366066*c_1001_4^28 - 370954330660654238815567609281731477373174515\ 968287429345101692467961451258161811237450393612283/283294077659187\ 8401722628742238389991240391357976699314050738834062816745423940618\ 31349862732132*c_1001_4^27 - 30598184878042796570377880358948908933\ 29526960064775939772378054811227472039068012992758361737511/5665881\ 5531837568034452574844767799824807827159533986281014776681256334908\ 4788123662699725464264*c_1001_4^26 - 4410324190382155444580656585853992242891173644131767368653409090858\ 823022962105110471082168771293/283294077659187840172262874223838999\ 124039135797669931405073883406281674542394061831349862732132*c_1001\ _4^25 - 99320791904707951798476456666374072443686701520231236318644\ 29300138195201250710399780517713636033/2832940776591878401722628742\ 2383899912403913579766993140507388340628167454239406183134986273213\ 2*c_1001_4^24 - 187619852579773954461770135430027150366810507013635\ 25993711179052048269622123069645890901216949183/2832940776591878401\ 7226287422383899912403913579766993140507388340628167454239406183134\ 9862732132*c_1001_4^23 - 614867901771653689670708209902749747873530\ 9159230173625399687071840601886453402097189077592545692/70823519414\ 7969600430657185559597497810097839494174828512684708515704186355985\ 15457837465683033*c_1001_4^22 - 38832955055037780475757618623060187\ 082762320899582415907748194306202673641175646571729124633529827/566\ 5881553183756803445257484476779982480782715953398628101477668125633\ 49084788123662699725464264*c_1001_4^21 + 3887332310759898886156389122561710000478073077918001006601360922328\ 46376120732292271058501705041/3413181658544431809304371978600469868\ 964326937321324474759926306099779211354145323269275454604*c_1001_4^\ 20 + 18614808357886938301489288046858604305748580735577424623698581\ 8713937660102614669991263084256110771/56658815531837568034452574844\ 7677998248078271595339862810147766812563349084788123662699725464264\ *c_1001_4^19 + 1356168186859065078919141387593923008206181277687072\ 33028399984760951143965718918982799053969221707/5665881553183756803\ 4452574844767799824807827159533986281014776681256334908478812366269\ 9725464264*c_1001_4^18 - 358175531536504034962151758488741775897080\ 6402459129144089623261843595509382676908508722875672211/28329407765\ 9187840172262874223838999124039135797669931405073883406281674542394\ 061831349862732132*c_1001_4^17 - 2400915762801076261213919068051355\ 79831251126183658112324078985233187320607435421829156456639691643/5\ 6658815531837568034452574844767799824807827159533986281014776681256\ 3349084788123662699725464264*c_1001_4^16 - 3990068062897073315432176647941904287984783650472521011253660598734\ 2756392919087058631701513991011/70823519414796960043065718555959749\ 781009783949417482851268470851570418635598515457837465683033*c_1001\ _4^15 + 18480515999626478081616670958052209359360448429090333350226\ 853188308193882182733006459807995136709/283294077659187840172262874\ 2238389991240391357976699314050738834062816745423940618313498627321\ 32*c_1001_4^14 + 10008170685179690331957302795734263655230416286949\ 9589742370160437917212365635924841342800775295135/28329407765918784\ 0172262874223838999124039135797669931405073883406281674542394061831\ 349862732132*c_1001_4^13 + 1184537166381087269246446719740227708419\ 85838686899019995260400485270222931883089986363089268684835/5665881\ 5531837568034452574844767799824807827159533986281014776681256334908\ 4788123662699725464264*c_1001_4^12 + 1209939264276104926413456684228911766342260136339703184133080263790\ 7801471282137595164903850818453/51508014119852334576775068040697999\ 840734388326849078437286160619323940825889829423881793224024*c_1001\ _4^11 - 75654236858069744833365886820657994497176029898222208550503\ 015195317346462312113924550707515277121/566588155318375680344525748\ 4476779982480782715953398628101477668125633490847881236626997254642\ 64*c_1001_4^10 - 20451314244733194035608131087465477665586171912978\ 293609822658727474238779895079205082553218896299/708235194147969600\ 4306571855595974978100978394941748285126847085157041863559851545783\ 7465683033*c_1001_4^9 + 7045549029059678765836032295532115344207302\ 754158825444601662709607905761666222406531125619108081/141647038829\ 5939200861314371119194995620195678988349657025369417031408372711970\ 30915674931366066*c_1001_4^8 + 459730421572417012719828435123462489\ 67396727240196716461556815194021954622066017906152558770415533/5665\ 8815531837568034452574844767799824807827159533986281014776681256334\ 9084788123662699725464264*c_1001_4^7 - 6731281335830718904068858451993263781851565902036683167196043580398\ 82440805655132056236459439623/1416470388295939200861314371119194995\ 62019567898834965702536941703140837271197030915674931366066*c_1001_\ 4^6 + 1622266357273307175015964314903399335672147256395165223934515\ 098106164026189605049287247081852229/566588155318375680344525748447\ 677998248078271595339862810147766812563349084788123662699725464264*\ c_1001_4^5 - 149429437910213882359931463343224799013599304185503291\ 1946346839906083970661148037324621564440887/28329407765918784017226\ 2874223838999124039135797669931405073883406281674542394061831349862\ 732132*c_1001_4^4 - 13585704136908847569077192812982126517727270415\ 65083709337652142660695987724782975372793657280097/2832940776591878\ 4017226287422383899912403913579766993140507388340628167454239406183\ 1349862732132*c_1001_4^3 + 7154367759825432981809318478581916196625\ 341245881296062555639616334538782186375994152591636759/141647038829\ 5939200861314371119194995620195678988349657025369417031408372711970\ 30915674931366066*c_1001_4^2 + 836419131881620416281849637421431626\ 99712706357141592646803101361793104608501001023979934555471/1416470\ 3882959392008613143711191949956201956789883496570253694170314083727\ 1197030915674931366066*c_1001_4 - 593186404913070795947300054015872\ 33766824394260052176337362167451081186067403733597203334234835/7082\ 3519414796960043065718555959749781009783949417482851268470851570418\ 635598515457837465683033, c_0101_1 - 952079636033579263216459302685997896265658423490572377925962\ 163334984660890668204806484947651/566588155318375680344525748447677\ 998248078271595339862810147766812563349084788123662699725464264*c_1\ 001_4^30 - 38386998411881392561863253253228806519618760323026389371\ 12266383212204912434478164206993812291/1416470388295939200861314371\ 1191949956201956789883496570253694170314083727119703091567493136606\ 6*c_1001_4^29 - 365953367741895630047443099137025451327611788548073\ 16567479832368018234294011975395931748171433/1416470388295939200861\ 3143711191949956201956789883496570253694170314083727119703091567493\ 1366066*c_1001_4^28 - 384611327439174713695554165631746661434446965\ 50147163507977870381563595949171717272133481425791/2575400705992616\ 7288387534020348999920367194163424539218643080309661970412944914711\ 940896612012*c_1001_4^27 - 3498131176737749391432728376671930801658\ 262877119469020268865621154287494067659752685473360013525/566588155\ 3183756803445257484476779982480782715953398628101477668125633490847\ 88123662699725464264*c_1001_4^26 - 5058949784826456695613873709749588240076467175738681041936626060150\ 591872044165857378371993239791/283294077659187840172262874223838999\ 124039135797669931405073883406281674542394061831349862732132*c_1001\ _4^25 - 11403806781664476436705672993848630829376925442213440266022\ 915491393339281118918941757632793965107/283294077659187840172262874\ 2238389991240391357976699314050738834062816745423940618313498627321\ 32*c_1001_4^24 - 21537312830664944450467697397134818719075178420399\ 369807657413807229791722463222166101231551116165/283294077659187840\ 1722628742238389991240391357976699314050738834062816745423940618313\ 49862732132*c_1001_4^23 - 70743671796705518932787568858700408350945\ 16344003897938795317892855185179693733483664430495996873/7082351941\ 4796960043065718555959749781009783949417482851268470851570418635598\ 515457837465683033*c_1001_4^22 - 4424124672435628563612635248845321\ 7738152237944095138473439439301675964606766013913848187903866641/56\ 6588155318375680344525748447677998248078271595339862810147766812563\ 349084788123662699725464264*c_1001_4^21 + 4471951746174364517961084316114643220616404474273024853455468308937\ 27386515007496721747954820651/3413181658544431809304371978600469868\ 964326937321324474759926306099779211354145323269275454604*c_1001_4^\ 20 + 19869025936839155063551762576023747492412259715345717538161059\ 366268108075463331049187859245564235/515080141198523345767750680406\ 97999840734388326849078437286160619323940825889829423881793224024*c\ _1001_4^19 + 161721354266506853843054535622793978083548591579532374\ 838872686459709870188114464875696647878838881/566588155318375680344\ 5257484476779982480782715953398628101477668125633490847881236626997\ 25464264*c_1001_4^18 - 47700103830942824356375543878940526062751847\ 24573654910854929277047001558190009133011709297112245/2832940776591\ 8784017226287422383899912403913579766993140507388340628167454239406\ 1831349862732132*c_1001_4^17 - 279218403416358963286461948077369440\ 124220545177289115710662702059446707309538979637492952882610489/566\ 5881553183756803445257484476779982480782715953398628101477668125633\ 49084788123662699725464264*c_1001_4^16 - 4745316021125442327936715690158913850733657138588324178660511952131\ 7344325011394378519562319907780/70823519414796960043065718555959749\ 781009783949417482851268470851570418635598515457837465683033*c_1001\ _4^15 + 17459170398146870169576639860131381395426509124424489747551\ 351553856768750120125055853206363922535/283294077659187840172262874\ 2238389991240391357976699314050738834062816745423940618313498627321\ 32*c_1001_4^14 + 12228308646356789636788873660330378969133593528964\ 0546868795618730330785962430874442895074136252549/28329407765918784\ 0172262874223838999124039135797669931405073883406281674542394061831\ 349862732132*c_1001_4^13 + 1421379993987928426831315357951021437834\ 50002463411939633038451998450025703023357321763717835728601/5665881\ 5531837568034452574844767799824807827159533986281014776681256334908\ 4788123662699725464264*c_1001_4^12 + 1558342252644619892381797416325282685809109217091367316033410293949\ 99064420170434407573330178111149/5665881553183756803445257484476779\ 98248078271595339862810147766812563349084788123662699725464264*c_10\ 01_4^11 - 748730869891605750420479638262085244560622681849558287824\ 5626493298195818760695519723743241916785/51508014119852334576775068\ 0406979998407343883268490784372861606193239408258898294238817932240\ 24*c_1001_4^10 - 22615606405316908366451943434061435966683611490658\ 35884524540875210047514667140683841163121229770/6438501764981541822\ 0968835050872499800917985408561348046607700774154926032362286779852\ 24153003*c_1001_4^9 + 730363966920738741351670135115527932735351580\ 7112100340153344887627436942802685546132138688129365/14164703882959\ 3920086131437111919499562019567898834965702536941703140837271197030\ 915674931366066*c_1001_4^8 + 57161345856183203168265999861852816714\ 027399454906375429133712395805789848347177950306166756551799/566588\ 1553183756803445257484476779982480782715953398628101477668125633490\ 84788123662699725464264*c_1001_4^7 - 8702925753476410431967540207806670352167108713222658298112061426165\ 96816287698244093091870342107/1416470388295939200861314371119194995\ 62019567898834965702536941703140837271197030915674931366066*c_1001_\ 4^6 + 1722477867845628107670060192374064494105067900226135456177274\ 816513171183297915065755524706445255/566588155318375680344525748447\ 677998248078271595339862810147766812563349084788123662699725464264*\ c_1001_4^5 - 284188176492809649328464809675408177577330557670032904\ 5319462183374025204125385178103256748222761/28329407765918784017226\ 2874223838999124039135797669931405073883406281674542394061831349862\ 732132*c_1001_4^4 - 16695830493797461450894197186726785215649942684\ 42879042036798860837543737751259093979085123931879/2832940776591878\ 4017226287422383899912403913579766993140507388340628167454239406183\ 1349862732132*c_1001_4^3 + 4808832090525817729525285292320091284286\ 290913937659710421285562396063238842680581370289264943/141647038829\ 5939200861314371119194995620195678988349657025369417031408372711970\ 30915674931366066*c_1001_4^2 + 104130430177745214389309058379436039\ 705410171180894005153941490103299813694034973255934261282665/141647\ 0388295939200861314371119194995620195678988349657025369417031408372\ 71197030915674931366066*c_1001_4 + 2454702664679947195651838944494971398785997696462275242675656919444\ 9992311706084218031527725099/70823519414796960043065718555959749781\ 009783949417482851268470851570418635598515457837465683033, c_0101_10 - 19774341210005792330972045421846936396341633697941304598497\ 4307740362562531523594278655072205/51508014119852334576775068040697\ 999840734388326849078437286160619323940825889829423881793224024*c_1\ 001_4^30 - 94423704532470632356277381362089529611107970449004761465\ 59555826065477544526672973267158922235/1416470388295939200861314371\ 1191949956201956789883496570253694170314083727119703091567493136606\ 6*c_1001_4^29 - 471429719788153735559234578306159071685619028003638\ 35347964886140767016758269798677354692717499/7082351941479696004306\ 5718555959749781009783949417482851268470851570418635598515457837465\ 683033*c_1001_4^28 - 1168641157742313882660076300972261677629407705\ 822797097701328821354305557389515008401079196832177/283294077659187\ 8401722628742238389991240391357976699314050738834062816745423940618\ 31349862732132*c_1001_4^27 - 10300822958341436016450243165626840140\ 755161566105152878764105146242388776797870554012724694083945/566588\ 1553183756803445257484476779982480782715953398628101477668125633490\ 84788123662699725464264*c_1001_4^26 - 1629884421757994245955282073266011667154906497550099227684733429051\ 9601779084517714124551319678031/28329407765918784017226287422383899\ 9124039135797669931405073883406281674542394061831349862732132*c_100\ 1_4^25 - 3965328608990501706257066539344605985053910139887770341693\ 1128199260110937826723470107631869689165/28329407765918784017226287\ 4223838999124039135797669931405073883406281674542394061831349862732\ 132*c_1001_4^24 - 8000100490508527451231476150886862011240558511113\ 4775709968288308436073673950670849223843665967789/28329407765918784\ 0172262874223838999124039135797669931405073883406281674542394061831\ 349862732132*c_1001_4^23 - 3083982777608361558645922107835398782704\ 7908805161357076082459463539685897176122074159009884523680/70823519\ 4147969600430657185559597497810097839494174828512684708515704186355\ 98515457837465683033*c_1001_4^22 - 2563226645325231109538211005820809096191387632332558700135073353237\ 70787544574265189299739293828845/5665881553183756803445257484476779\ 98248078271595339862810147766812563349084788123662699725464264*c_10\ 01_4^21 + 205491116562238538804092212975593371690921587759149135272\ 69722493273345510124415204549270840153/3102892416858574372094883616\ 90951806269484267029211315887266027827252655577649574842661404964*c\ _1001_4^20 + 684183476285508792489171164892495384224778467214889822\ 399371639301415559664781904688231708006399713/566588155318375680344\ 5257484476779982480782715953398628101477668125633490847881236626997\ 25464264*c_1001_4^19 + 89815288285014058697667361699532926333046992\ 2345861226694318740350333931887531205185051533648376885/56658815531\ 8375680344525748447677998248078271595339862810147766812563349084788\ 123662699725464264*c_1001_4^18 + 1971435108933822761206719327811928\ 97393885333055273560089568534953421945462741524744454306018864809/2\ 8329407765918784017226287422383899912403913579766993140507388340628\ 1674542394061831349862732132*c_1001_4^17 - 5495889640293611213982655157463108162113820582876972404323049170394\ 30481472021948265992460210971681/5665881553183756803445257484476779\ 98248078271595339862810147766812563349084788123662699725464264*c_10\ 01_4^16 - 191437290366290836197331700612721182007771367307421686778\ 324331142533999393109847897953833152517066/708235194147969600430657\ 1855595974978100978394941748285126847085157041863559851545783746568\ 3033*c_1001_4^15 - 425535838792129988216550134088607617423951362341\ 068384677213005651805447722034284386533667930907763/283294077659187\ 8401722628742238389991240391357976699314050738834062816745423940618\ 31349862732132*c_1001_4^14 + 28025105811063784338714398559878841171\ 6549780258465667080731419235595958200043745686279055427649693/28329\ 4077659187840172262874223838999124039135797669931405073883406281674\ 542394061831349862732132*c_1001_4^13 + 6487578670705025295026243074176676384744221842544389036410354909650\ 80486222425000438937251743073533/5665881553183756803445257484476779\ 98248078271595339862810147766812563349084788123662699725464264*c_10\ 01_4^12 + 751491953408829005848941897850376336224571319692986028281\ 538721008201133322740919768616254209974985/566588155318375680344525\ 7484476779982480782715953398628101477668125633490847881236626997254\ 64264*c_1001_4^11 + 38762727371433738401919989610070539008342594995\ 7243606443235470666598118307473960247785604741427893/56658815531837\ 5680344525748447677998248078271595339862810147766812563349084788123\ 662699725464264*c_1001_4^10 - 1576388203826126864629204272741050861\ 53428902120072728698514827534854924444696587394500407769109315/1416\ 4703882959392008613143711191949956201956789883496570253694170314083\ 7271197030915674931366066*c_1001_4^9 - 3676347715649527155890471996114097593819395471129514472512558769124\ 9891914635926149137930198148011/70823519414796960043065718555959749\ 781009783949417482851268470851570418635598515457837465683033*c_1001\ _4^8 + 159275334951283594403555889800739397188310544558780884861776\ 077527837630848346827935567141359052291/566588155318375680344525748\ 4476779982480782715953398628101477668125633490847881236626997254642\ 64*c_1001_4^7 - 997973215846494901719639243127610107892899898355412\ 7781544907883290666766923250118972355184523913/14164703882959392008\ 6131437111919499562019567898834965702536941703140837271197030915674\ 931366066*c_1001_4^6 + 53368841089257332610837637915041645652417316\ 12699770772325291847665922976314405791996583009727367/5665881553183\ 7568034452574844767799824807827159533986281014776681256334908478812\ 3662699725464264*c_1001_4^5 + 1651714080527172561849388179077225200\ 5457490215636955380165560502022499809801606716785266677095603/28329\ 4077659187840172262874223838999124039135797669931405073883406281674\ 542394061831349862732132*c_1001_4^4 - 4275494072019297149833369810807706204900263980753931823415627551904\ 281940598760974652457444796909/283294077659187840172262874223838999\ 124039135797669931405073883406281674542394061831349862732132*c_1001\ _4^3 - 452589706930811128203463298452866298943530297094946368353278\ 57789453436969876080969300398464897/1287700352996308364419376701017\ 4499960183597081712269609321540154830985206472457355970448306006*c_\ 1001_4^2 + 26260334637626167589935896500763624565694845832220275446\ 8456823490384342790498192627811479880327/14164703882959392008613143\ 7111919499562019567898834965702536941703140837271197030915674931366\ 066*c_1001_4 - 7623326945123418471664560724182936556926774000300436\ 2019238635851578798843841375486095197071009/70823519414796960043065\ 7185559597497810097839494174828512684708515704186355985154578374656\ 83033, c_0101_11 + 10403485573634690415801251039247580058791400338499673804180\ 80494421832524894489057723089374493/7082351941479696004306571855595\ 9749781009783949417482851268470851570418635598515457837465683033*c_\ 1001_4^30 + 6154337575193074629239878523354320799004059599306173723\ 397059906602927245205478354606925420731/257540070599261672883875340\ 2034899992036719416342453921864308030966197041294491471194089661201\ 2*c_1001_4^29 + 325422474363340310196563280395950265521749363638278\ 676493473803614486307757328319263793810849667/141647038829593920086\ 1314371119194995620195678988349657025369417031408372711970309156749\ 31366066*c_1001_4^28 + 19070832818412795252299225237599350395929694\ 99819523836850490167101324635639214890833377790620149/1416470388295\ 9392008613143711191949956201956789883496570253694170314083727119703\ 0915674931366066*c_1001_4^27 + 802877842222937091796998390763644338\ 8200935232289071612284360561157440313118246825895356147164343/14164\ 7038829593920086131437111919499562019567898834965702536941703140837\ 271197030915674931366066*c_1001_4^26 + 4346961958787465865337914318291970203839335177702319844276785303747\ 175477349829571791761144556757/257540070599261672883875340203489999\ 20367194163424539218643080309661970412944914711940896612012*c_1001_\ 4^25 + 279909404749651282195152818897624641955226974683716564050045\ 38972709396939686116494849945839899865/7082351941479696004306571855\ 5959749781009783949417482851268470851570418635598515457837465683033\ *c_1001_4^24 + 5506377462690081128581409220101204687443123473833137\ 3990907665777331065641035062846484796110815618/70823519414796960043\ 0657185559597497810097839494174828512684708515704186355985154578374\ 65683033*c_1001_4^23 + 15802985920054620790204388364673050469378215\ 4087658075083690329652367220847731347858010050628295887/14164703882\ 9593920086131437111919499562019567898834965702536941703140837271197\ 030915674931366066*c_1001_4^22 + 7792439118703729707981184694592946\ 2261592252665441927067251421830568680382170974247943382114130306/70\ 8235194147969600430657185559597497810097839494174828512684708515704\ 18635598515457837465683033*c_1001_4^21 - 2129145886942150112444150069233397077422465962243040946062303747431\ 938045794549750515826209288531/341318165854443180930437197860046986\ 8964326937321324474759926306099779211354145323269275454604*c_1001_4\ ^20 - 2192240083595472698856669208135867393634604063383028738602307\ 22278058097165110898669966892662439207/7082351941479696004306571855\ 5959749781009783949417482851268470851570418635598515457837465683033\ *c_1001_4^19 - 8164488810758839466669560303831436435045604696963432\ 4000829473985642891947591430681135729205567167/25754007059926167288\ 3875340203489999203671941634245392186430803096619704129449147119408\ 96612012*c_1001_4^18 - 35639199528476253123649208841387538621794126\ 9755889988940842035027650440487851649401630617189616881/28329407765\ 9187840172262874223838999124039135797669931405073883406281674542394\ 061831349862732132*c_1001_4^17 + 4531531178149173100691959307980313\ 54856682454244908222366802081397754714707369523001951868157766541/1\ 4164703882959392008613143711191949956201956789883496570253694170314\ 0837271197030915674931366066*c_1001_4^16 + 1675993267039359062634781581752682804872332790398483773418353175074\ 746623073326516096374346234720497/283294077659187840172262874223838\ 999124039135797669931405073883406281674542394061831349862732132*c_1\ 001_4^15 + 20273304707613405755148757745253572110491792453568964970\ 9341853449487794661136457302041782200860129/14164703882959392008613\ 1437111919499562019567898834965702536941703140837271197030915674931\ 366066*c_1001_4^14 - 1287254568106169725699565624293350806193136746\ 70523974314946137070033161288954088930452162565913801/7082351941479\ 6960043065718555959749781009783949417482851268470851570418635598515\ 457837465683033*c_1001_4^13 - 3107308411676854878699571316159295575\ 64094336960510838462672811872201053593531103675943362976161399/1416\ 4703882959392008613143711191949956201956789883496570253694170314083\ 7271197030915674931366066*c_1001_4^12 - 8917121981922552289653219650307660955565994797500608849383542628774\ 74792810804335462572673639085883/2832940776591878401722628742238389\ 99124039135797669931405073883406281674542394061831349862732132*c_10\ 01_4^11 + 861652770249290577225974050549405072024159941205752500917\ 0769597725654552760604853738836125534087/28329407765918784017226287\ 4223838999124039135797669931405073883406281674542394061831349862732\ 132*c_1001_4^10 + 6011793931437456930351555503706281051928020313350\ 22301314986035911628430580932264406814915163712709/2832940776591878\ 4017226287422383899912403913579766993140507388340628167454239406183\ 1349862732132*c_1001_4^9 + 8594314474002563231947061026400042567305\ 857817599630228105417036718952516892121264177182270574659/708235194\ 1479696004306571855595974978100978394941748285126847085157041863559\ 8515457837465683033*c_1001_4^8 - 4538928302160333751740868859398298\ 7613885903739131381403571154283572130233352370712890315793807261/14\ 1647038829593920086131437111919499562019567898834965702536941703140\ 837271197030915674931366066*c_1001_4^7 + 1283335236495085784518881432323336945890451828849358340586887455547\ 5665866289761190750298216481943/28329407765918784017226287422383899\ 9124039135797669931405073883406281674542394061831349862732132*c_100\ 1_4^6 - 10385035662167050468837125883036574314406309492201302024015\ 10900305700044157565527849269534675599/1287700352996308364419376701\ 0174499960183597081712269609321540154830985206472457355970448306006\ *c_1001_4^5 - 65230755561893860411039807427950043145679158465215200\ 24853733978944610080530369400898769064665023/2832940776591878401722\ 6287422383899912403913579766993140507388340628167454239406183134986\ 2732132*c_1001_4^4 + 1578663619298713074276659067314697904429849513\ 930227476305144689859142346176545123033922769392019/708235194147969\ 6004306571855595974978100978394941748285126847085157041863559851545\ 7837465683033*c_1001_4^3 + 4549562904683261184865447460752168505872\ 688293108650823520399253926485408679325629999291663279/708235194147\ 9696004306571855595974978100978394941748285126847085157041863559851\ 5457837465683033*c_1001_4^2 - 2741149110921085938688946106701123142\ 8543040834807305847108847461134482809655131748540360341892/70823519\ 4147969600430657185559597497810097839494174828512684708515704186355\ 98515457837465683033*c_1001_4 + 34089015419912492796564772628623191\ 103697009552655608368082151176112407518353829837509208309375/708235\ 1941479696004306571855595974978100978394941748285126847085157041863\ 5598515457837465683033, c_0101_5 + 712322656589442034224278716138782721989626263229166036632237\ 0777963517153395617281856618154501/56658815531837568034452574844767\ 7998248078271595339862810147766812563349084788123662699725464264*c_\ 1001_4^30 + 2912680162822700033089449455790046437505187192959066543\ 3465993749702915774708231729177528510369/14164703882959392008613143\ 7111919499562019567898834965702536941703140837271197030915674931366\ 066*c_1001_4^29 + 1404466453331910545957111469923975283271212596306\ 51851088218754433588724863450094400695210422945/7082351941479696004\ 3065718555959749781009783949417482851268470851570418635598515457837\ 465683033*c_1001_4^28 + 3307750827993648402793281126898324713031011\ 033879236450090645772923291337666698503252899585556547/283294077659\ 1878401722628742238389991240391357976699314050738834062816745423940\ 61831349862732132*c_1001_4^27 + 27951372899105301486190799675482988\ 082224662260644528122910300794465682541689246601113074136252875/566\ 5881553183756803445257484476779982480782715953398628101477668125633\ 49084788123662699725464264*c_1001_4^26 + 4181246822095169181538722387527055482232139137673402248757699415514\ 9396007047544017501446465894637/28329407765918784017226287422383899\ 9124039135797669931405073883406281674542394061831349862732132*c_100\ 1_4^25 + 9806992652490301265838949200395091782210174030607963653340\ 4926958298059699555454032941607023174719/28329407765918784017226287\ 4223838999124039135797669931405073883406281674542394061831349862732\ 132*c_1001_4^24 + 1928800817875888301586135898538283545197370983869\ 89072821438673489676836670108721803531273355188503/2832940776591878\ 4017226287422383899912403913579766993140507388340628167454239406183\ 1349862732132*c_1001_4^23 + 693856208928140181728354702517936597679\ 07883060899881994910288654429941575019929343827317283967022/7082351\ 9414796960043065718555959749781009783949417482851268470851570418635\ 598515457837465683033*c_1001_4^22 + 5434344946368486657657828595815800072662939076474889796480925489190\ 27483490961543430926843689011367/5665881553183756803445257484476779\ 98248078271595339862810147766812563349084788123662699725464264*c_10\ 01_4^21 - 186853158452548623011118132573115413421458297429365949391\ 7851747262066132857877071181255375115729/34131816585444318093043719\ 7860046986896432693732132447475992630609977921135414532326927545460\ 4*c_1001_4^20 - 158227875299148645698435210233513667077081591736630\ 9061200886981527014898766274317101069247314039523/56658815531837568\ 0344525748447677998248078271595339862810147766812563349084788123662\ 699725464264*c_1001_4^19 - 1642585591944798325066787516064899558545\ 994751004032057731579151536375124406205079535768011718699591/566588\ 1553183756803445257484476779982480782715953398628101477668125633490\ 84788123662699725464264*c_1001_4^18 - 2987375473629040376380295429952173441392214263377034919870126019625\ 82402211090751031649950956396799/2832940776591878401722628742238389\ 99124039135797669931405073883406281674542394061831349862732132*c_10\ 01_4^17 + 165436479587016200856556777578285916941812540732188826809\ 7696074949068808672233020922642286348768843/56658815531837568034452\ 5748447677998248078271595339862810147766812563349084788123662699725\ 464264*c_1001_4^16 + 3838840469072570040183964447844726116955574728\ 67159957158078075605728306134831029668906797428701354/7082351941479\ 6960043065718555959749781009783949417482851268470851570418635598515\ 457837465683033*c_1001_4^15 + 3987722679664419410574766626396700745\ 95933569797887350397882099167723109328737922520190624448562905/2832\ 9407765918784017226287422383899912403913579766993140507388340628167\ 4542394061831349862732132*c_1001_4^14 - 5543921625644568840284921415410584512675872673081345131622775445569\ 80098561570908226881352923418091/2832940776591878401722628742238389\ 99124039135797669931405073883406281674542394061831349862732132*c_10\ 01_4^13 - 111183572612401853328999509097854706028601485822668422809\ 131571038777786844709844399696597023736725/515080141198523345767750\ 6804069799984073438832684907843728616061932394082588982942388179322\ 4024*c_1001_4^12 - 153490231268586600241711927054238689014711669608\ 1934857770329998667138474341391841275062897144116627/56658815531837\ 5680344525748447677998248078271595339862810147766812563349084788123\ 662699725464264*c_1001_4^11 - 1082758075475381571959508342138492973\ 1798034100196845051741682335768341260581132710675125385480463/56658\ 8155318375680344525748447677998248078271595339862810147766812563349\ 084788123662699725464264*c_1001_4^10 + 2965947274081816158461013975756374506573835130484649889046979017701\ 88339408065228060956970621708509/1416470388295939200861314371119194\ 99562019567898834965702536941703140837271197030915674931366066*c_10\ 01_4^9 + 1955882803857182694446839704974541871942200112645595486966\ 7627066252802151209536902835824880268327/70823519414796960043065718\ 5559597497810097839494174828512684708515704186355985154578374656830\ 33*c_1001_4^8 - 255169455708582593556308018420606530356825159455156\ 574278654465118099981102556599651884899199641969/566588155318375680\ 3445257484476779982480782715953398628101477668125633490847881236626\ 99725464264*c_1001_4^7 - 107731424559633290093743809745807044290825\ 3737827925068353543868809543063010007152849626511620215/14164703882\ 9593920086131437111919499562019567898834965702536941703140837271197\ 030915674931366066*c_1001_4^6 - 22014564091691492510139764439842273\ 792052616376966289333838146012746244983280590257370763507623677/566\ 5881553183756803445257484476779982480782715953398628101477668125633\ 49084788123662699725464264*c_1001_4^5 - 8473417971519031223694161583569321755877562084338227850985036944567\ 302523873857467077542983030565/283294077659187840172262874223838999\ 124039135797669931405073883406281674542394061831349862732132*c_1001\ _4^4 + 790845433895390825107995136239213214258378703782263038166616\ 7722549983016705112086572142042740987/28329407765918784017226287422\ 3838999124039135797669931405073883406281674542394061831349862732132\ *c_1001_4^3 + 84314212925735976611664562390105519849669796712572493\ 2487853281864128558605816835261545678373819/14164703882959392008613\ 1437111919499562019567898834965702536941703140837271197030915674931\ 366066*c_1001_4^2 - 42461983891963756161384903339719747723760522167\ 9786202860060683104978205060966011606520574812801/14164703882959392\ 0086131437111919499562019567898834965702536941703140837271197030915\ 674931366066*c_1001_4 + 2270136889677837244699221073483789724402571\ 9843603234596903935134843787332862913269615682211931/70823519414796\ 9600430657185559597497810097839494174828512684708515704186355985154\ 57837465683033, c_1001_1 - 609096745205553421502588189648972945824950605649785115836873\ 3148725146351614323174585611745429/28329407765918784017226287422383\ 8999124039135797669931405073883406281674542394061831349862732132*c_\ 1001_4^30 - 4974918730422522318157733705352445329850896905672033448\ 2314606223251026501606790397343304790363/14164703882959392008613143\ 7111919499562019567898834965702536941703140837271197030915674931366\ 066*c_1001_4^29 - 4794541619206559625925707239373819260844401455286\ 22212980429831849552359054484428430332938299291/1416470388295939200\ 8613143711191949956201956789883496570253694170314083727119703091567\ 4931366066*c_1001_4^28 - 282013509719043798729780556324272447959749\ 7965343702108906886993724326979874355080220950685229259/14164703882\ 9593920086131437111919499562019567898834965702536941703140837271197\ 030915674931366066*c_1001_4^27 - 2381449598979523986622851289206973\ 4546291776367127189276673523302800512116641900718857618431409087/28\ 3294077659187840172262874223838999124039135797669931405073883406281\ 674542394061831349862732132*c_1001_4^26 - 1779583998831118675366343812334745435735433762295140327361799462529\ 1341625897123008855818965606817/70823519414796960043065718555959749\ 781009783949417482851268470851570418635598515457837465683033*c_1001\ _4^25 - 41731959103243464049363166330897767380233947396674693372178\ 247817272125914407829188012398759621344/708235194147969600430657185\ 5595974978100978394941748285126847085157041863559851545783746568303\ 3*c_1001_4^24 - 149239630434251619255313511625436442811874211101476\ 11821246439344182009039852531217840457826839989/1287700352996308364\ 4193767010174499960183597081712269609321540154830985206472457355970\ 448306006*c_1001_4^23 - 1180453066498120677801247036124569522008488\ 65010980727110625944523138560550949129869056759962299446/7082351941\ 4796960043065718555959749781009783949417482851268470851570418635598\ 515457837465683033*c_1001_4^22 - 4631875936992360509187309375658692\ 52432691278675148287200158263208520254747887903969452311565996955/2\ 8329407765918784017226287422383899912403913579766993140507388340628\ 1674542394061831349862732132*c_1001_4^21 + 7949098486573210492426009608540379557448214876975049139918327317008\ 09641239753171823472583523925/8532954146361079523260929946501174672\ 41081734330331118689981576524944802838536330817318863651*c_1001_4^2\ 0 + 133750765021233351550630477158007994772225053327933592246476732\ 3719042050710275139576604392120335361/28329407765918784017226287422\ 3838999124039135797669931405073883406281674542394061831349862732132\ *c_1001_4^19 + 1388536917813570681696107258213261780841782236773445\ 401691876559186600565795112898741415858903906481/283294077659187840\ 1722628742238389991240391357976699314050738834062816745423940618313\ 49862732132*c_1001_4^18 + 25584917374954842181827678774076692525564\ 8423588235158528788043341489978560206322509588396643893039/14164703\ 8829593920086131437111919499562019567898834965702536941703140837271\ 197030915674931366066*c_1001_4^17 - 1406087833722606915925453413452059829228964239550107834696125805555\ 300844264290336534795659119520265/283294077659187840172262874223838\ 999124039135797669931405073883406281674542394061831349862732132*c_1\ 001_4^16 - 12962089948809164415575813683749007343028497852644007613\ 17294681148857497946566533814401552873927713/1416470388295939200861\ 3143711191949956201956789883496570253694170314083727119703091567493\ 1366066*c_1001_4^15 - 167182037761961471600618437667855251372042467\ 319270917727328976106566325501667659825405750957952631/708235194147\ 9696004306571855595974978100978394941748285126847085157041863559851\ 5457837465683033*c_1001_4^14 + 459482504909142736355520509754280960\ 097235901766865853076933628193651542073004664330078510832373299/141\ 6470388295939200861314371119194995620195678988349657025369417031408\ 37271197030915674931366066*c_1001_4^13 + 1043533528529116392169388808000012165870100406681725098414357985516\ 244869644510783137769748957938675/283294077659187840172262874223838\ 999124039135797669931405073883406281674542394061831349862732132*c_1\ 001_4^12 + 13008581802175656300012079194764104521293794590959304101\ 29635218484940295629457081352945649878410409/2832940776591878401722\ 6287422383899912403913579766993140507388340628167454239406183134986\ 2732132*c_1001_4^11 - 563077398033710736974681205593947046428986209\ 5040475891963330795880827252153604193172786569148517/28329407765918\ 7840172262874223838999124039135797669931405073883406281674542394061\ 831349862732132*c_1001_4^10 - 2475718480161293545828409082412919943\ 91257572632507932834263738563470820018631437239593672984530196/7082\ 3519414796960043065718555959749781009783949417482851268470851570418\ 635598515457837465683033*c_1001_4^9 - 6098333416970637267045816662069770639657911692272083090053983995337\ 681709567105102415117238138229/128770035299630836441937670101744999\ 60183597081712269609321540154830985206472457355970448306006*c_1001_\ 4^8 + 2094538498278748399431718803987600208247219957188669529317575\ 08108957982841855497008475515982828673/2832940776591878401722628742\ 2383899912403913579766993140507388340628167454239406183134986273213\ 2*c_1001_4^7 + 5457259437028925938256312825874246727386262303273764\ 575396402803257910398778981310931858138581565/141647038829593920086\ 1314371119194995620195678988349657025369417031408372711970309156749\ 31366066*c_1001_4^6 + 189573559967053946194166925325305804916899986\ 38927328550712771472150079979715944692572028074032851/2832940776591\ 8784017226287422383899912403913579766993140507388340628167454239406\ 1831349862732132*c_1001_4^5 + 3523975821960910707336087298552914431\ 305798167490122046234845043602164065896119172963595012138032/708235\ 1941479696004306571855595974978100978394941748285126847085157041863\ 5598515457837465683033*c_1001_4^4 - 3264046627881305775467920498922512200342987512730969054729220166098\ 553282784486899632589299912470/708235194147969600430657185559597497\ 81009783949417482851268470851570418635598515457837465683033*c_1001_\ 4^3 - 6235795359003363456901538701115413321832146335705083305711574\ 45840785082440500721160820661707393/7082351941479696004306571855595\ 9749781009783949417482851268470851570418635598515457837465683033*c_\ 1001_4^2 + 31484705110535405459264046881501315851251986312852909004\ 007291377610424002453725624408083951241/643850176498154182209688350\ 5087249980091798540856134804660770077415492603236228677985224153003\ *c_1001_4 - 3625978091754385154884338396968833204275472800140873050\ 8599011863526961595692102007113659034771/70823519414796960043065718\ 5559597497810097839494174828512684708515704186355985154578374656830\ 33, c_1001_4^31 + 16*c_1001_4^30 + 152*c_1001_4^29 + 874*c_1001_4^28 + 3607*c_1001_4^27 + 10422*c_1001_4^26 + 23686*c_1001_4^25 + 45322*c_1001_4^24 + 60888*c_1001_4^23 + 52907*c_1001_4^22 - 64618*c_1001_4^21 - 200895*c_1001_4^20 - 156139*c_1001_4^19 - 19802*c_1001_4^18 + 245491*c_1001_4^17 + 343416*c_1001_4^16 - 21238*c_1001_4^15 - 162674*c_1001_4^14 - 112115*c_1001_4^13 - 166411*c_1001_4^12 + 63137*c_1001_4^11 + 150148*c_1001_4^10 - 34924*c_1001_4^9 - 30873*c_1001_4^8 + 11664*c_1001_4^7 - 5137*c_1001_4^6 - 674*c_1001_4^5 + 2534*c_1001_4^4 - 536*c_1001_4^3 - 172*c_1001_4^2 + 88*c_1001_4 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.140 Total time: 2.350 seconds, Total memory usage: 32.09MB