Magma V2.19-8 Wed Aug 21 2013 01:02:16 on localhost [Seed = 88284879] Type ? for help. Type -D to quit. Loading file "L14n14252__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n14252 geometric_solution 12.76255617 oriented_manifold CS_known -0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 0 0 0 1 0 1 1 -2 -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 -1 1 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.310990509163 0.984082162496 0 4 5 4 0132 0132 0132 1230 0 0 1 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 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.140480594636 1.016432476199 0 0 7 6 2031 0132 0132 0132 0 0 1 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.708026539641 0.923905604177 8 9 0 10 0132 0132 0132 0132 0 0 0 0 0 -1 2 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.070339461808 1.081864319806 1 1 9 11 3012 0132 2031 0132 0 0 0 1 0 0 1 -1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.485081121980 0.573637084741 8 6 12 1 1302 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393522647396 1.014300153407 10 10 2 5 1302 3012 0132 2031 0 0 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 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.555675722116 0.707597377412 10 11 11 2 3012 1302 3012 0132 0 0 0 1 0 0 1 -1 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 8 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524664163445 0.628694856817 3 5 8 8 0132 2031 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406917522457 1.303338733777 12 3 12 4 0321 0132 2310 1302 0 1 0 0 0 1 -1 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 -1 1 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291374452138 0.844662537181 6 6 3 7 1230 2031 0132 1230 0 0 1 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.555675722116 0.707597377412 12 7 4 7 2031 1230 0132 2031 0 0 1 0 0 -1 1 0 0 0 0 0 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 1 -1 0 0 0 0 0 1 7 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765187991326 1.012062877757 9 9 11 5 0321 3201 1302 0132 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582940647702 0.694849526664 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : negation(d['c_0110_6']), 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : d['c_0110_6'], 'c_1001_4' : d['c_0011_12'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_6']), 'c_1001_8' : negation(d['c_0101_1']), 'c_1010_12' : d['c_0110_6'], 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : d['c_0011_6'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_5']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : negation(d['c_1001_1']), 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_1001_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_2']), 'c_1100_10' : d['c_0101_2'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0110_6']), 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : d['c_0011_12'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_5'], 'c_1100_8' : d['c_0101_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_11'], '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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_6'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : d['c_0011_3'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0011_12'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : negation(d['c_0011_5']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_12']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : d['c_0011_12'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_5, c_0011_6, c_0101_1, c_0101_11, c_0101_2, c_0110_6, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 6410308571512345855231700514046737499995493628494130706583883693370\ 30639135135875989/1482243242351396998046799328999611618051346073119\ 2272405954717580345195475940464896*c_1001_2^23 + 3437648469478103089975234810678147284813151675261784255593285318316\ 1227534996899283537/14822432423513969980467993289996116180513460731\ 192272405954717580345195475940464896*c_1001_2^22 + 1272352363415791187829302803542881599827547686636391843876192275099\ 19457495487713469381/2470405403918994996744665548332686030085576788\ 532045400992452930057532579323410816*c_1001_2^21 + 2209951391241601152428296984386781239093841977016962266944894605585\ 756912254534855857655/494081080783798999348933109666537206017115357\ 7064090801984905860115065158646821632*c_1001_2^20 + 5448913684385846546834362911456571838132679522126029573757947296801\ 448035282633820746849/247040540391899499674466554833268603008557678\ 8532045400992452930057532579323410816*c_1001_2^19 + 1071073982513983923371730689319828624293810870188627294308368752815\ 46810353074020831408997/1482243242351396998046799328999611618051346\ 0731192272405954717580345195475940464896*c_1001_2^18 + 2558169645084322959052562064518251514344968046538585903799494473695\ 18115823117682671368003/1482243242351396998046799328999611618051346\ 0731192272405954717580345195475940464896*c_1001_2^17 + 8773345848655265218936263732733527495976178935337646024544657645186\ 808275899209159599727/264686293277035178222642737321359217509168941\ 628433435820619956791878490641794016*c_1001_2^16 + 4270479242150533925912272188255286372401878728727121277709891520189\ 52268973418185497221759/7411216211756984990233996644998058090256730\ 365596136202977358790172597737970232448*c_1001_2^15 + 4728718687651515594773578055499614988198943493985253483505927067178\ 02425701068426273002837/4940810807837989993489331096665372060171153\ 577064090801984905860115065158646821632*c_1001_2^14 + 6937600472140792452704777719287814495301920480068278624414813535603\ 30410966918105509847335/4940810807837989993489331096665372060171153\ 577064090801984905860115065158646821632*c_1001_2^13 + 5920957713775369292599381735283897834254786621015857099506171740309\ 57993720459207793236363/3705608105878492495116998322499029045128365\ 182798068101488679395086298868985116224*c_1001_2^12 + 4539895077123164069552471793409119802448800434971826760149988815912\ 33560461458174962476159/3705608105878492495116998322499029045128365\ 182798068101488679395086298868985116224*c_1001_2^11 + 4116238281988597599207913087370757310480829418987843332899465060945\ 4803472407791469073611/92640202646962312377924958062475726128209129\ 5699517025372169848771574717246279056*c_1001_2^10 - 6589436476948796786425142699571145393379524766151557727928023334351\ 762348592078104680483/449164618894362726680848281515033823651923052\ 460371891089536896374096832604256512*c_1001_2^9 - 4836128849446386603154906885638230933615067620622827999358986452289\ 9357822987416225467809/37056081058784924951169983224990290451283651\ 82798068101488679395086298868985116224*c_1001_2^8 + 4668284997955501378606594776006794751774508381691449419509775998376\ 966615626258348249841/154400337744937187296541596770792876880348549\ 283252837562028308128595786207713176*c_1001_2^7 + 3144352828013149784810963328294603011605080101582995239436842599605\ 06190123236823419591071/4940810807837989993489331096665372060171153\ 577064090801984905860115065158646821632*c_1001_2^6 + 4065529924975626873697213877304949868513714556514363516227124841953\ 3483227689407238721077/67374692834154409002127242227255073547788457\ 8690557836634305344561145248906384768*c_1001_2^5 + 1292687148565100535662760378117516455460870330616639095878248033053\ 54947252505192547430701/3705608105878492495116998322499029045128365\ 182798068101488679395086298868985116224*c_1001_2^4 + 3147654509971116609134580680426637911177330438309432924417471187917\ 7767614813223919225665/24704054039189949967446655483326860300855767\ 88532045400992452930057532579323410816*c_1001_2^3 + 2002032165602382253017580600209710865391150683790504607507167507224\ 88164025476478029511/7126169434381716336763458312498132779093009966\ 9193617336320757597813439788175312*c_1001_2^2 + 4923104141824141025374872329031899566850602420432040204816643395043\ 946031556289140890489/148224324235139699804679932899961161805134607\ 31192272405954717580345195475940464896*c_1001_2 + 2399334492921733993909708609933942584517908979675802818553207269195\ 64637577722113733589/1482243242351396998046799328999611618051346073\ 1192272405954717580345195475940464896, c_0011_0 - 1, c_0011_10 + 10114738484742161170097505474624145983609958000190679123265\ 364448380/755684963628374625704032804004191424907790942088309289478\ 94816601403*c_1001_2^23 + 54032672222867890318730595569134956259345\ 0444973625831039872759380783/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^22 + 1193470676925721700501497807099071903257466221929660655027860317524\ 4565/75568496362837462570403280400419142490779094208830928947894816\ 601403*c_1001_2^21 + 1021852625114207653642421852771471285171122964\ 16224266052147499094155241/7556849636283746257040328040041914249077\ 9094208830928947894816601403*c_1001_2^20 + 4957013096637412521702097700261387227601165757430590832782897190949\ 66998/7556849636283746257040328040041914249077909420883092894789481\ 6601403*c_1001_2^19 + 159569198467265362681359309775904055625854285\ 4904410288138818277367056653/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^18 + 3744999572045599239851162360619254018589302871909597679973114021440\ 704543/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^17 + 70970307550117193164423462479855278782587038\ 58968130959680530234267974203/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^16 + 1227678361435253453110338002199153405500716782563598346463788820617\ 7591901/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^15 + 2033411763745351836819396062830761193504709\ 5182598175602580821120105738394/75568496362837462570403280400419142\ 490779094208830928947894816601403*c_1001_2^14 + 2946837861385571741595063539364110275221893789845197604315359357526\ 2087403/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^13 + 3264767022735424014305202389523669436403407\ 0370772318769070946385632846872/75568496362837462570403280400419142\ 490779094208830928947894816601403*c_1001_2^12 + 2382213717333498839193278523206762973598227695406393483359959230889\ 7760681/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^11 + 7415371338465422179722054794979720653103905\ 648488923471020416595255331397/755684963628374625704032804004191424\ 90779094208830928947894816601403*c_1001_2^10 - 3795902488285189991975383770589125470156203178761409913335166247340\ 610943/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^9 - 217188367619559570342638567350416358223598890\ 8572373618492943983033786756/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^8 + 7133804709357965022725417499482310613317598805217674259460648903949\ 295876/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^7 + 133929014936641585941575906823195044931637690\ 70144274992105486993254864987/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^6 + 1197318279947518761798559793087404996765447800219219893321694963947\ 3705054/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^5 + 65591256987391456179468775124921472324310977\ 76150133122500903374759055608/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^4 + 2257164628141873676021757233754068044739510512765002958308424788102\ 695857/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^3 + 462157821725045561605074645609839890302595865\ 191463615379545221035325923/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^2 + 4931489738929755143421720222728361656042084277762939629083412235277\ 0254/75568496362837462570403280400419142490779094208830928947894816\ 601403*c_1001_2 + 2177017365516054979043155294503482995969101194821\ 599007839170380057450/755684963628374625704032804004191424907790942\ 08830928947894816601403, c_0011_11 - 25907032498236961135193904298657127986897467389215322613916\ 29727997/7556849636283746257040328040041914249077909420883092894789\ 4816601403*c_1001_2^23 - 136613261828253585574861528148559421422328\ 557281149747608037512855712/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^22 - 2962871992394385497577793698392720382157158159034924186457939081755\ 929/755684963628374625704032804004191424907790942088309289478948166\ 01403*c_1001_2^21 - 24133205146520104769730127549259888367685479292\ 429357711570004465735222/755684963628374625704032804004191424907790\ 94208830928947894816601403*c_1001_2^20 - 1103195475521535834845097832284179291524325916897266405753422771471\ 74313/7556849636283746257040328040041914249077909420883092894789481\ 6601403*c_1001_2^19 - 332427245484132397969348750633626833796051419\ 423326747671106659096150974/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^18 - 7286716287138293681941994426087151406421151353240104527158306981820\ 05562/7556849636283746257040328040041914249077909420883092894789481\ 6601403*c_1001_2^17 - 131079775392773399864293461090752654841311107\ 7539888335908487126530362464/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^16 - 2230262625675551432371919562031578569540012820360699572335880125898\ 301433/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^15 - 36519981210278701718051074737028651906058283\ 51877512786661393400314281722/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^14 - 4998826793149078605096892144698804391555693787178185400381021986914\ 531326/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^13 - 48630228022637121506224160662059280881978975\ 60260965856936924993208261330/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^12 - 2673841922812060411864797747203352234995326206882262095122549773217\ 094516/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^11 + 15578370081189500289902190470414066894054454\ 860587785534308183673915679/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^10 + 9916968504079981427140564676458383207693923604314155655762340254747\ 85149/7556849636283746257040328040041914249077909420883092894789481\ 6601403*c_1001_2^9 - 1446239353662801575673095957717191658371872875\ 97192933623197462283796972/7556849636283746257040328040041914249077\ 9094208830928947894816601403*c_1001_2^8 - 1755131501888998829349144869887039122624842952690876000329140013934\ 995283/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^7 - 221874349055194344495102044093120189963357183\ 6971607221965013420316822251/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^6 - 1503719497317934348103975143778443858295973596562624236196179171234\ 678682/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^5 - 606177543766571212921708883026829725935489977\ 482975904187936425634153645/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^4 - 1415299950798464748302207170540061652248440494889447122232930000569\ 88871/7556849636283746257040328040041914249077909420883092894789481\ 6601403*c_1001_2^3 - 1865473738667962730513941958086809086026512000\ 3521347132508576602454366/75568496362837462570403280400419142490779\ 094208830928947894816601403*c_1001_2^2 - 2119677745242749404695492104820121004929405155284638391440584262185\ 880/755684963628374625704032804004191424907790942088309289478948166\ 01403*c_1001_2 - 20651542887400969938572714147072121691184871396655\ 0058388785281961737/75568496362837462570403280400419142490779094208\ 830928947894816601403, c_0011_12 + 61146757578287777255488960076839599385/20001825204892011149\ 75385440707344583313*c_1001_2^23 + 3307964514383514943027052469330300490528/20001825204892011149753854\ 40707344583313*c_1001_2^22 + 74342667181935964491225330219086930975\ 502/2000182520489201114975385440707344583313*c_1001_2^21 + 665446363562689334475356098220806483640855/200018252048920111497538\ 5440707344583313*c_1001_2^20 + 338818813124761582243558422409895404\ 3616526/2000182520489201114975385440707344583313*c_1001_2^19 + 11452798098717997886548164488314358807483548/2000182520489201114975\ 385440707344583313*c_1001_2^18 + 2814031743397710374925330875154922\ 8206330026/2000182520489201114975385440707344583313*c_1001_2^17 + 55095158981377689427769532911785263323598183/2000182520489201114975\ 385440707344583313*c_1001_2^16 + 9632961786843802962969678223834931\ 4218163095/2000182520489201114975385440707344583313*c_1001_2^15 + 160626213901703642756594281429050788388306878/200018252048920111497\ 5385440707344583313*c_1001_2^14 + 239983914776875066725774281067423\ 649926218410/2000182520489201114975385440707344583313*c_1001_2^13 + 282880225853722314508401980794868049372988119/200018252048920111497\ 5385440707344583313*c_1001_2^12 + 229209550660387945536989844400929\ 371555029357/2000182520489201114975385440707344583313*c_1001_2^11 + 94400295965686276222658713988200966711415412/2000182520489201114975\ 385440707344583313*c_1001_2^10 - 2002690385471320213436125355883581\ 0642052196/2000182520489201114975385440707344583313*c_1001_2^9 - 29734054932995747152479351899455568185395283/2000182520489201114975\ 385440707344583313*c_1001_2^8 + 43781113627473226412980686209315658\ 715013262/2000182520489201114975385440707344583313*c_1001_2^7 + 109539583623508215992865301732946290690993877/200018252048920111497\ 5385440707344583313*c_1001_2^6 + 1107720089306976342458168226824254\ 62373304048/2000182520489201114975385440707344583313*c_1001_2^5 + 66960628504896448772250170353105262684944752/2000182520489201114975\ 385440707344583313*c_1001_2^4 + 25276784591042875170783291774162836\ 526208950/2000182520489201114975385440707344583313*c_1001_2^3 + 5670324521355117091829023682489336489766869/20001825204892011149753\ 85440707344583313*c_1001_2^2 + 662594731683742411719790546570912298\ 798681/2000182520489201114975385440707344583313*c_1001_2 + 32200230680951495094833905034874993829225/2000182520489201114975385\ 440707344583313, c_0011_3 - 633157894499817099841780791928137327490510355437878283870486\ 2165146/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^23 - 3385169819781605329972273689333193558430377\ 14767158705130987593314103/7556849636283746257040328040041914249077\ 9094208830928947894816601403*c_1001_2^22 - 7486182736486971942066976482178060704370899880771774679639026643956\ 922/755684963628374625704032804004191424907790942088309289478948166\ 01403*c_1001_2^21 - 64307033182626025599334518592927120479727558646\ 013181641475988188725166/755684963628374625704032804004191424907790\ 94208830928947894816601403*c_1001_2^20 - 3132759442592126859295474242580273905573646284105543882782956671989\ 43658/7556849636283746257040328040041914249077909420883092894789481\ 6601403*c_1001_2^19 - 101352649630938545692730622085233265921076779\ 3451966196451295435673494010/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^18 - 2391931815430012993057630578705464718632395273255402488620219643331\ 905056/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^17 - 45548560957349366129999916311075100979580320\ 55380532919038810494688233993/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^16 - 7897235824763518321067671450456289646536430547604005923311879164186\ 070645/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^15 - 13094206379171743288390027323676678927334956\ 086299185173153633623307491228/755684963628374625704032804004191424\ 90779094208830928947894816601403*c_1001_2^14 - 1905247153607204697843686736911147106130629879015011216978543098919\ 5373667/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^13 - 2131768767680148242943926161278119025614944\ 1323731074622961807882905693364/75568496362837462570403280400419142\ 490779094208830928947894816601403*c_1001_2^12 - 1588436027702783790799154745093306580460932470145647278561217163934\ 9531609/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^11 - 5333923512216128519092838678000440757633658\ 702961418376980784163564471325/755684963628374625704032804004191424\ 90779094208830928947894816601403*c_1001_2^10 + 2190225391925477818413774096064014392295548722750960708729540133141\ 783199/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^9 + 150317146726854087809874120199457538812487220\ 8399767686154077990421460267/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^8 - 4395295165196590395572897016750774676929063618917396743987611732989\ 402110/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^7 - 861069553284403270914706536450517784104751293\ 9651973959975597163439972033/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^6 - 7906099360001625585620648425320216792219970446501795343182044540312\ 516709/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^5 - 445841709349727595199523399878540096960799454\ 6002354237491900448438887214/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^4 - 1594147160063257074666103630043965911900331201911051437719878272469\ 817848/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^3 - 345108967439688109681650873089444984157883034\ 139238501695778918458068309/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^2 - 4000796631797208842745838474287298375287822035169193589832017482468\ 5754/75568496362837462570403280400419142490779094208830928947894816\ 601403*c_1001_2 - 1897150112822520188373251816551527775283421274188\ 815971507450273808671/755684963628374625704032804004191424907790942\ 08830928947894816601403, c_0011_5 - 697730632270568898423192313411377108131450808643220313667624\ 4199585/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^23 - 3747266573049564244147802887128244390687674\ 86781527512777252705337500/7556849636283746257040328040041914249077\ 9094208830928947894816601403*c_1001_2^22 - 8338903683255344187735374153155364905675247882588451154910958881643\ 433/755684963628374625704032804004191424907790942088309289478948166\ 01403*c_1001_2^21 - 72811185768783655827475795188978787491470059089\ 332799374598068735044880/755684963628374625704032804004191424907790\ 94208830928947894816601403*c_1001_2^20 - 3613086755697158411351709252799583213825394498949311444978348967410\ 51807/7556849636283746257040328040041914249077909420883092894789481\ 6601403*c_1001_2^19 - 119166086652049627381651638880389545003391208\ 9985743066533577350607503132/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^18 - 2865263102801167210719653761859520369634651592928739798836819559783\ 314033/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^17 - 55311085765125570711720200832453303504592103\ 12782763273733328176661159759/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^16 - 9633968460193288078145063437765168687545326688127395214903487528697\ 147390/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^15 - 16017090229189112143271997570943946737005463\ 956249608989512127304104665327/755684963628374625704032804004191424\ 90779094208830928947894816601403*c_1001_2^14 - 2360242775869296912268519481496415111976779459073353199448693865856\ 3836495/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^13 - 2711842905496595954180231575001965869268531\ 1350644588974192780100023969061/75568496362837462570403280400419142\ 490779094208830928947894816601403*c_1001_2^12 - 2115403717548510635367771933483429300177006944096032519661901712278\ 7363448/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^11 - 8035559036550809063303250498416840725902806\ 994333736752981709752813501263/755684963628374625704032804004191424\ 90779094208830928947894816601403*c_1001_2^10 + 2261765598384874504665023734037573125507602470788862197962044355482\ 187649/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^9 + 237883317274870427543911103105144362000216487\ 7582301529162014298965144504/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^8 - 4836870367791370355354148006211600087229991497502300303951008895911\ 117075/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^7 - 106892488565733240894424649056725228684489357\ 20032349272368617032705388803/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^6 - 1035768438062562301080799987864777248390997639763725661805327267141\ 9066938/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^5 - 60936116383801372428758881861747172389818416\ 45041981628427580318861506014/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^4 - 2259671684373621062733520158921279868864174215282299743387819499999\ 208600/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^3 - 502502771849345678941653267441194782678838417\ 605169816106562129692612351/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^2 - 5856870251091775542727642242263597740743295292039641141075483220712\ 0237/75568496362837462570403280400419142490779094208830928947894816\ 601403*c_1001_2 - 2718857230160363582667210589934966272772844945938\ 754401846739135371881/755684963628374625704032804004191424907790942\ 08830928947894816601403, c_0011_6 + 470873787291097677511209591151153968744558064705734972611538\ 6100781/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^23 + 2509835063942901097656739790889246645892413\ 54520243605821396425277254/7556849636283746257040328040041914249077\ 9094208830928947894816601403*c_1001_2^22 + 5527026358267488886696206432171105662954106358953118796734768829862\ 234/755684963628374625704032804004191424907790942088309289478948166\ 01403*c_1001_2^21 + 46953419459938617234243595418371344046057461242\ 163443167174370559662618/755684963628374625704032804004191424907790\ 94208830928947894816601403*c_1001_2^20 + 2259935660694030136590470200573577890182779475263770086501166653520\ 81912/7556849636283746257040328040041914249077909420883092894789481\ 6601403*c_1001_2^19 + 722501763429818000885201931522630084970892645\ 369599191440873960863550799/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^18 + 1687290805133908923344000132732863679186138995181095213344165775537\ 736434/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^17 + 31931431160162593014919763386022816562901840\ 70999512965452661144125566471/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^16 + 5533074379985559750973944531911908872227940518564957438706002983160\ 705738/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^15 + 91641366673268973154333772307328942020180683\ 06198749339990107726834331408/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^14 + 1323392540868928887772014107572843977977362716717217796879532352122\ 5968838/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^13 + 1461578226175293373977497965571172695553056\ 9366747573674083171620171064173/75568496362837462570403280400419142\ 490779094208830928947894816601403*c_1001_2^12 + 1071176108183156647938555801965076361224701935285661699255436707641\ 7877861/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^11 + 3507509190747044215941247055849410737804696\ 357074006206444452390921447420/755684963628374625704032804004191424\ 90779094208830928947894816601403*c_1001_2^10 - 1446683289852485100669235465200848078631626291643135136286764649409\ 715655/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^9 - 836997733185748393673937558367790052810210780\ 339248528018467619826183584/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^8 + 3148712672018930988131666725258488709607840095323817927076962161300\ 965359/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^7 + 589330928093171226071192599655489333395346196\ 5370340806266465584756493110/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^6 + 5347113158147062051735923945152382299435846289405182541447087786626\ 003864/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^5 + 302337819188652223617112631474310627368809673\ 2959663429583888327212077085/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^4 + 1104742611454665456594702598786820679071660919620144854158117210147\ 411583/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^3 + 251375577509456327414700222127795443391109914\ 937468604306809144623279565/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^2 + 3197701918476803557763082768022085925218043023211647796149303362067\ 5469/75568496362837462570403280400419142490779094208830928947894816\ 601403*c_1001_2 + 1748167945104314246530724752645351658091636084754\ 208165016829934322462/755684963628374625704032804004191424907790942\ 08830928947894816601403, c_0101_1 - 1, c_0101_11 + 11179925970881461092155344796189917716404713137192009580907\ 331341294/755684963628374625704032804004191424907790942088309289478\ 94816601403*c_1001_2^23 + 59536696381520218471423663680958116074628\ 2084139521223206158969086789/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^22 + 1309356547036994886787390313608894621586745258405521722687892433329\ 8157/75568496362837462570403280400419142490779094208830928947894816\ 601403*c_1001_2^21 + 1108267718206902139668640169676004722820931738\ 81221858756237181205068625/7556849636283746257040328040041914249077\ 9094208830928947894816601403*c_1001_2^20 + 5307618236627073779468924004489636941125770342386128767134347420737\ 37665/7556849636283746257040328040041914249077909420883092894789481\ 6601403*c_1001_2^19 + 168594117949993246489645290545216409277196823\ 4655500551357379542975405439/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^18 + 3906541602376062340932018520513091702965076002330449807440048326980\ 110676/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^17 + 73367612542306527059777028442728565009997264\ 90617118239756657428693328940/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^16 + 1265829934017874611221005836705103321030635990055975066519752601807\ 8438591/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^15 + 2092344612283401085878797519534777531489002\ 0825262249566240014105629603378/75568496362837462570403280400419142\ 490779094208830928947894816601403*c_1001_2^14 + 3003352858168689998405161833188167989327297573288097562532904988610\ 9348420/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^13 + 3263038613990544774872358104255871923472057\ 8509830719862864921502218837339/75568496362837462570403280400419142\ 490779094208830928947894816601403*c_1001_2^12 + 2299411033681859326230936220963726843310352403919576670898820132159\ 4767250/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^11 + 6376357026366257427375648119800593838989577\ 452310014665153675131790573971/755684963628374625704032804004191424\ 90779094208830928947894816601403*c_1001_2^10 - 4183055949115009202203971006929974409358416166904613252763131889626\ 502260/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^9 - 173779491109239571446181701997789609939036196\ 0656036985133140717503687527/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^8 + 7766661987625447093011405682716645618794664418362910541603619808216\ 477862/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^7 + 135936019680913487580942121849874446403316322\ 95844655623516526808490360170/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^6 + 1171559405628397187534542535694295811323567030808511087633718938714\ 4877143/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^5 + 62185928762978747599312672146585283758437640\ 32657396403753433009990696705/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^4 + 2074084694403624058962244240486735148706914096039461636153570232386\ 923451/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^3 + 410497063317938177170108403437131337858030366\ 014151573281299939665427796/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^2 + 4203742686180081590443061892014034607283066232105551303993529941003\ 4701/75568496362837462570403280400419142490779094208830928947894816\ 601403*c_1001_2 + 1697675908144876509391501059853716544271296279834\ 950469792581307941690/755684963628374625704032804004191424907790942\ 08830928947894816601403, c_0101_2 + 101147384847421611700975054746241459836099580001906791232653\ 64448380/7556849636283746257040328040041914249077909420883092894789\ 4816601403*c_1001_2^23 + 540326722228678903187305955691349562593450\ 444973625831039872759380783/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^22 + 1193470676925721700501497807099071903257466221929660655027860317524\ 4565/75568496362837462570403280400419142490779094208830928947894816\ 601403*c_1001_2^21 + 1021852625114207653642421852771471285171122964\ 16224266052147499094155241/7556849636283746257040328040041914249077\ 9094208830928947894816601403*c_1001_2^20 + 4957013096637412521702097700261387227601165757430590832782897190949\ 66998/7556849636283746257040328040041914249077909420883092894789481\ 6601403*c_1001_2^19 + 159569198467265362681359309775904055625854285\ 4904410288138818277367056653/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^18 + 3744999572045599239851162360619254018589302871909597679973114021440\ 704543/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^17 + 70970307550117193164423462479855278782587038\ 58968130959680530234267974203/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^16 + 1227678361435253453110338002199153405500716782563598346463788820617\ 7591901/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^15 + 2033411763745351836819396062830761193504709\ 5182598175602580821120105738394/75568496362837462570403280400419142\ 490779094208830928947894816601403*c_1001_2^14 + 2946837861385571741595063539364110275221893789845197604315359357526\ 2087403/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^13 + 3264767022735424014305202389523669436403407\ 0370772318769070946385632846872/75568496362837462570403280400419142\ 490779094208830928947894816601403*c_1001_2^12 + 2382213717333498839193278523206762973598227695406393483359959230889\ 7760681/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^11 + 7415371338465422179722054794979720653103905\ 648488923471020416595255331397/755684963628374625704032804004191424\ 90779094208830928947894816601403*c_1001_2^10 - 3795902488285189991975383770589125470156203178761409913335166247340\ 610943/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^9 - 217188367619559570342638567350416358223598890\ 8572373618492943983033786756/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^8 + 7133804709357965022725417499482310613317598805217674259460648903949\ 295876/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^7 + 133929014936641585941575906823195044931637690\ 70144274992105486993254864987/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^6 + 1197318279947518761798559793087404996765447800219219893321694963947\ 3705054/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^5 + 65591256987391456179468775124921472324310977\ 76150133122500903374759055608/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^4 + 2257164628141873676021757233754068044739510512765002958308424788102\ 695857/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^3 + 462157821725045561605074645609839890302595865\ 191463615379545221035325923/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^2 + 4923932889293471397164679894688319741793006368342056536188622753616\ 8851/75568496362837462570403280400419142490779094208830928947894816\ 601403*c_1001_2 + 2177017365516054979043155294503482995969101194821\ 599007839170380057450/755684963628374625704032804004191424907790942\ 08830928947894816601403, c_0110_6 - 939328987004332575755684673121061991475910942989914379450912\ 3575109/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^23 - 5009019467993994067342371588044254978542768\ 93776648750738302097600546/7556849636283746257040328040041914249077\ 9094208830928947894816601403*c_1001_2^22 - 1103714036534925718057347776974326791178030915670734551285290976524\ 5215/75568496362837462570403280400419142490779094208830928947894816\ 601403*c_1001_2^21 - 9390374148962057444146815076417591095185052073\ 2007685789343100445071435/75568496362837462570403280400419142490779\ 094208830928947894816601403*c_1001_2^20 - 4525106949364847325890021095233803628994250702544224581953619898278\ 96072/7556849636283746257040328040041914249077909420883092894789481\ 6601403*c_1001_2^19 - 144736984649185747041785315662419320070434472\ 0007462738789080615886981620/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^18 - 3378086612484699447594147518574311589274985907804806915626651240981\ 453276/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^17 - 63811519825078988747210078279944646749182011\ 50037518321503373166643983233/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^16 - 1103513634646370349298122957683838677340406781639286577781985796687\ 2561397/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^15 - 1826503054880054884646378757688177834709357\ 9540919232492591365005461149101/75568496362837462570403280400419142\ 490779094208830928947894816601403*c_1001_2^14 - 2636263311499503210960761642356788736823501792262201121010589214798\ 5901674/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^13 - 2900533088502739347749320253538155613629617\ 3508535370203179284621539895804/75568496362837462570403280400419142\ 490779094208830928947894816601403*c_1001_2^12 - 2097240382795075905172329709204525026550971014815657566494257283080\ 6139130/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^11 - 6421527391304465216451742080890350680681293\ 827102593131865002799511388350/755684963628374625704032804004191424\ 90779094208830928947894816601403*c_1001_2^10 + 3323768425730775427094203247487647710479314016169695917194351920632\ 540531/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^9 + 172775070136932263285180101340543144161697162\ 8286577284225294122477852601/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^8 - 6485515309261512883569898483292444812514176971281562628486601139126\ 492791/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^7 - 118931248364576160560145205534218354197216347\ 48608842823318501691031273237/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^6 - 1055992978143870414218810597453797247196186331811688153684501140467\ 9169322/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^5 - 57876231054762344251738748592244611574335988\ 41810939860391993679706369421/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^4 - 2013756714213974536589353038386148978134183205273627999103817339282\ 247409/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^3 - 425019149395522675752434721534404318103055426\ 443121993475618727610678714/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^2 - 4848664301896263824880245763785740662797409952917928233700804888439\ 3368/75568496362837462570403280400419142490779094208830928947894816\ 601403*c_1001_2 - 2309398647345360146055739581396825117757797381142\ 075792048758619519401/755684963628374625704032804004191424907790942\ 08830928947894816601403, c_1001_1 + 134900994077156178697118426434414356132406638817008625047209\ 12233729/7556849636283746257040328040041914249077909420883092894789\ 4816601403*c_1001_2^23 + 720344510520513301479122874256689046769686\ 964313453393460928684840357/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^22 + 1590229093266812568531000352578866502483243845198884477226075297988\ 8519/75568496362837462570403280400419142490779094208830928947894816\ 601403*c_1001_2^21 + 1359678679903794943608435053791073572332637324\ 15387754116020145388599630/7556849636283746257040328040041914249077\ 9094208830928947894816601403*c_1001_2^20 + 6587702828158113829735546856364363038086668712764901870954745733048\ 97371/7556849636283746257040328040041914249077909420883092894789481\ 6601403*c_1001_2^19 + 211863705730192801679319254860151748341486165\ 3882187946418190423647640627/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^18 + 4969705315624836022103023294999204394043230819588214258920206891059\ 038882/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^17 + 94183004530013230875107378092056482099616768\ 93463078150188626118629404313/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^16 + 1629770939548918769589601126574081192206155864756230671533124678054\ 7935036/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^15 + 2699203303261186678797275506285177793068710\ 7542050667321628025657543528796/75568496362837462570403280400419142\ 490779094208830928947894816601403*c_1001_2^14 + 3910031294020649051136534370907996591923297219218935213406510254762\ 4778130/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^13 + 4331782746066918807917826671059760159850310\ 7331619606504139908891162207128/75568496362837462570403280400419142\ 490779094208830928947894816601403*c_1001_2^12 + 3165383059633310535440997066917337455072991735843165878100381781058\ 6391617/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^11 + 9942875756161475524209706069644271007686820\ 300259568765833325222686310543/755684963628374625704032804004191424\ 90779094208830928947894816601403*c_1001_2^10 - 4939688404203980149598886082076734361317268111601192741263523555797\ 100736/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^9 - 286117130251638508484420897195757627632419401\ 5713513489620762564070763000/75568496362837462570403280400419142490\ 779094208830928947894816601403*c_1001_2^8 + 9420747498336491453748465995096993329664412726132120390588542943796\ 462784/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^7 + 177320951015156200810968099316314067838066813\ 94835011928933907553214432657/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^6 + 1590064920411932514620608710441987702948101966059120339278504874800\ 0497831/75568496362837462570403280400419142490779094208830928947894\ 816601403*c_1001_2^5 + 87484190095589453762322497546419571528836422\ 35011057161231718787275908817/7556849636283746257040328040041914249\ 0779094208830928947894816601403*c_1001_2^4 + 3029061845171481806360641330603355477811051125110724412592852419406\ 005901/755684963628374625704032804004191424907790942088309289478948\ 16601403*c_1001_2^3 + 624726461674709628845429415306791559021564063\ 751118583876719870488563835/755684963628374625704032804004191424907\ 79094208830928947894816601403*c_1001_2^2 + 6707078609695291872968071964918424378361903085698849848063706637337\ 5712/75568496362837462570403280400419142490779094208830928947894816\ 601403*c_1001_2 + 2914226392998065044461810253463000246064472281414\ 854026234273034975165/755684963628374625704032804004191424907790942\ 08830928947894816601403, c_1001_2^24 + 54*c_1001_2^23 + 1211*c_1001_2^22 + 10791*c_1001_2^21 + 54951*c_1001_2^20 + 186863*c_1001_2^19 + 464880*c_1001_2^18 + 925943*c_1001_2^17 + 1641966*c_1001_2^16 + 2753081*c_1001_2^15 + 4145628*c_1001_2^14 + 5026117*c_1001_2^13 + 4378088*c_1001_2^12 + 2251484*c_1001_2^11 + 142009*c_1001_2^10 - 422531*c_1001_2^9 + 553036*c_1001_2^8 + 1732617*c_1001_2^7 + 2000039*c_1001_2^6 + 1402794*c_1001_2^5 + 649330*c_1001_2^4 + 197518*c_1001_2^3 + 37317*c_1001_2^2 + 3870*c_1001_2 + 169 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.300 Total time: 0.510 seconds, Total memory usage: 32.09MB