Magma V2.19-8 Tue Aug 20 2013 23:46:35 on localhost [Seed = 2934490293] Type ? for help. Type -D to quit. Loading file "K14n2016__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n2016 geometric_solution 11.22098134 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.922732570337 1.263004945461 0 3 6 5 0132 3120 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415057316900 0.437414612101 6 0 8 7 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 0 10 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.445259754188 0.520242807735 5 1 9 0 0132 3120 0132 0132 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 1 0 -1 0 0 0 0 -1 0 0 1 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415472769660 0.490421541121 8 10 0 9 0132 0132 0132 2310 0 0 0 0 0 -1 0 1 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 -11 1 10 0 0 0 0 0 11 0 -11 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.784585936417 0.923639272410 3 10 1 11 0132 3012 0132 0132 0 0 0 0 0 -1 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 0 0 0 0 -11 0 11 0 0 0 0 -10 10 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.930989892665 1.134270858902 2 7 8 1 0132 2103 0321 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 -10 0 0 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696305659181 0.726050412493 9 6 2 9 2103 2103 0132 0321 0 0 0 0 0 0 0 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 0 0 0 11 0 0 -11 0 0 0 0 11 -10 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.303702226205 1.304435287630 4 10 6 2 0132 0321 0321 0132 0 0 0 0 0 0 0 0 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 10 -10 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580947160209 0.435626753405 4 7 7 3 3201 0321 2103 0132 0 0 0 0 0 0 0 0 1 0 -1 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 -11 0 -10 0 0 10 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.108297460618 0.855386777136 5 4 11 8 1230 0132 0132 0321 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 11 -11 0 -10 0 0 10 1 -1 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.930989892665 1.134270858902 11 11 5 10 1230 3012 0132 0132 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 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329099288241 0.858781484464 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_11']), 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : d['c_1001_8'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_8'], 'c_1100_4' : d['c_0011_9'], 'c_1100_7' : d['c_0011_7'], 'c_1100_6' : d['c_1001_8'], 'c_1100_1' : d['c_1001_8'], 'c_1100_0' : d['c_0011_9'], 'c_1100_3' : d['c_0011_9'], 'c_1100_2' : d['c_0011_7'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_9'], 'c_1100_11' : d['c_1001_8'], 'c_1100_10' : d['c_1001_8'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_1001_1']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0011_11']), 'c_1010_4' : negation(d['c_0101_11']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_7'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_11'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : negation(d['c_0101_6']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_7' : negation(d['c_0011_9']), 'c_0110_6' : d['c_0101_1']})} 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_7, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_6, c_1001_1, c_1001_2, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 8495147336223968251370884400663451407351034400688018579578406021155\ 890533157473437565318650335297782587351575/628379385670768757705270\ 6768015775771796862208646480505541889415509948205351261035129477132\ 91465667822259079936*c_1001_8^28 + 2653119072058018750534574420438745495739693699568110039547481244546\ 8780650851089203811085814787045416493602989/15709484641769218942631\ 7669200394394294921555216162012638547235387748705133781525878236928\ 322866416955564769984*c_1001_8^27 + 8306920806503505054611280069080680730267104427581858673821351881403\ 2223471303572396021967517010314516191948479/78547423208846094713158\ 8346001971971474607776080810063192736176938743525668907629391184641\ 61433208477782384992*c_1001_8^26 + 2875286892909922112633600779769513755343345281221677710406015239227\ 493475485915318174703160722543483867209231325/628379385670768757705\ 2706768015775771796862208646480505541889415509948205351261035129477\ 13291465667822259079936*c_1001_8^25 + 9731298479659493703642989060606554304441366556351338379578191886422\ 120154853500139205860691446615162851139753035/628379385670768757705\ 2706768015775771796862208646480505541889415509948205351261035129477\ 13291465667822259079936*c_1001_8^24 + 4785383572313304180971299392888619039159901219748375813487087959285\ 95763423899001539388057460407816139732855681/1083412733915118547767\ 7080634509958227235969325252552595761878302603358974743553508843926\ 091232166686590673792*c_1001_8^23 + 7107263692508528731967994783619780945983225954533044183713473433569\ 6517705408062992255885751777893567839225958087/62837938567076875770\ 5270676801577577179686220864648050554188941550994820535126103512947\ 713291465667822259079936*c_1001_8^22 + 8570415289564132787315824978159504462635636214880857731417901882718\ 5659239739031960754363019643882341061149474915/31418969283538437885\ 2635338400788788589843110432324025277094470775497410267563051756473\ 856645732833911129539968*c_1001_8^21 + 2480715711740575146485840702603717040948653675134278318373430393924\ 0494113033000210778191986871579393679706162215/39273711604423047356\ 5794173000985985737303888040405031596368088469371762834453814695592\ 32080716604238891192496*c_1001_8^20 + 1018813552037136002750906870719213406968531341582163675679006090681\ 7133704444622568560958449443152640764016418479/73067370426833576477\ 3570554420439043232193280075172151807196443663947465738518725015055\ 4805714717067700686976*c_1001_8^19 + 9078392240752145989633617915047168949968965609344760072189596645131\ 47036613051729779698055424055459117250934931067/3141896928353843788\ 5263533840078878858984311043232402527709447077549741026756305175647\ 3856645732833911129539968*c_1001_8^18 + 4367034040330965014651974848125462186432008415646757422813156427459\ 99027097422617561452957078244935271436755641853/7854742320884609471\ 3158834600197197147460777608081006319273617693874352566890762939118\ 464161433208477782384992*c_1001_8^17 + 3110467717191084476313655511713123567652489109362868496013334134081\ 592790672516194877005491036708263185081209791311/314189692835384378\ 8526353384007887885898431104323240252770944707754974102675630517564\ 73856645732833911129539968*c_1001_8^16 + 5136458940940591048929208828614328908610622752494449129103297162724\ 938306933567370846985196461427060650354621579133/314189692835384378\ 8526353384007887885898431104323240252770944707754974102675630517564\ 73856645732833911129539968*c_1001_8^15 + 7874120318784192687086663754150826163351925332898835951636874519725\ 521442751893945385017172377757447749251429663817/314189692835384378\ 8526353384007887885898431104323240252770944707754974102675630517564\ 73856645732833911129539968*c_1001_8^14 + 2245053118878371576637726603536492883968999864888202022847893975468\ 1343742589528689193807617763940916268943543198425/62837938567076875\ 7705270676801577577179686220864648050554188941550994820535126103512\ 947713291465667822259079936*c_1001_8^13 + 3000896596413912389300399951328505347208195398356212381020796708687\ 1698913330307864277076270871136248763315755683691/62837938567076875\ 7705270676801577577179686220864648050554188941550994820535126103512\ 947713291465667822259079936*c_1001_8^12 + 1882603370309928993553418815996240454958258282565312671722025793935\ 6963216214460212567636753041142519835087387053651/31418969283538437\ 8852635338400788788589843110432324025277094470775497410267563051756\ 473856645732833911129539968*c_1001_8^11 + 4446776707464736813639232081502185357723973718404345566681250598575\ 2673845192150793689681483418062119364067810960297/62837938567076875\ 7705270676801577577179686220864648050554188941550994820535126103512\ 947713291465667822259079936*c_1001_8^10 + 2444630861722115881505637985076997666635212923681256107907898201743\ 1115564602065163350401262576663967078000154260299/31418969283538437\ 8852635338400788788589843110432324025277094470775497410267563051756\ 473856645732833911129539968*c_1001_8^9 + 5725944019055305543770648075491096685407177905294159509045210157187\ 15536142231743757524237534367312136556322272375/7663163239887423874\ 4545204487997265509717831812761957384657187994023758601844646769871\ 67235261776436856818048*c_1001_8^8 + 4269256332415696387640238892050651976345429761072569244595613449247\ 3323919588672628881783251985854623694406593887595/62837938567076875\ 7705270676801577577179686220864648050554188941550994820535126103512\ 947713291465667822259079936*c_1001_8^7 + 6650830792770137205665276664456421837039367040743474924234069184896\ 66780563154247885908052903023925703194623711373/9818427901105761839\ 1448543250246496434325972010101257899092022117342940708613453673898\ 08020179151059722798124*c_1001_8^6 + 8274863662839030090419756794336455193390716592568834872961254491616\ 554400577005120153512872452168862540606502640077/157094846417692189\ 4263176692003943942949215552161620126385472353877487051337815258782\ 36928322866416955564769984*c_1001_8^5 + 4763079111392227847346124946488664120103494050031713784497780124843\ 20487781491850555353873010983496078949040412031/2166825467830237095\ 5354161269019916454471938650505105191523756605206717949487107017687\ 852182464333373181347584*c_1001_8^4 + 9263676311791356459875226368193408433711153419255287591473482854128\ 037779966071305933875914392303218345705111556193/628379385670768757\ 7052706768015775771796862208646480505541889415509948205351261035129\ 47713291465667822259079936*c_1001_8^3 + 6676181334659003377505192180918879022409192909599200086701315274454\ 678572347582105329544788055398515332812524850095/314189692835384378\ 8526353384007887885898431104323240252770944707754974102675630517564\ 73856645732833911129539968*c_1001_8^2 + 1422019741273952369956618354461182473313533819169947269958583464657\ 38007254205469160439977275760448086826306112867/1532632647977484774\ 8909040897599453101943566362552391476931437598804751720368929353974\ 334470523552873713636096*c_1001_8 + 5857734049137759023081566741424545132937247742795100011323248049071\ 517687048700529726252190990056286621466482357/981842790110576183914\ 4854325024649643432597201010125789909202211734294070861345367389808\ 020179151059722798124, c_0011_0 - 1, c_0011_10 - 16912876813202101143023091961689876387616445718070057363526\ 2156162319592651590180479716175/63508443253888129706666178670356712\ 591326147227317320445045905130258496503010063864999198659976*c_1001\ _8^28 - 45068797549818491942740742629694653205801533162614491746201\ 0671261823199443587856180110573/15877110813472032426666544667589178\ 147831536806829330111261476282564624125752515966249799664994*c_1001\ _8^27 - 12069296907034997633937059794485329165362922484701640301254\ 68068852289415439907693008242445/7938555406736016213333272333794589\ 073915768403414665055630738141282312062876257983124899832497*c_1001\ _8^26 - 36404067949319355087629861486106403236615545679859363395816\ 428518599450625085547343299324145/635084432538881297066661786703567\ 12591326147227317320445045905130258496503010063864999198659976*c_10\ 01_8^25 - 108627381074522938633522140446260582318517264122528902831\ 741086667853744776669471605746145283/635084432538881297066661786703\ 56712591326147227317320445045905130258496503010063864999198659976*c\ _1001_8^24 - 139174259206661655816555106101803868465569204832317604\ 620479634503883351701789195642866774463/317542216269440648533330893\ 3517835629566307361365866022252295256512924825150503193249959932998\ 8*c_1001_8^23 - 663252419115131920220811460874025586856620570015595\ 954678493343688780407561372523361754209539/635084432538881297066661\ 7867035671259132614722731732044504590513025849650301006386499919865\ 9976*c_1001_8^22 - 768933780929035165135861107489811113474509619349\ 297722218078052094788797763653870348036735547/317542216269440648533\ 3308933517835629566307361365866022252295256512924825150503193249959\ 9329988*c_1001_8^21 - 431326939486699488326065144086640075762383742\ 213495734940086590241257811671872673117905131312/793855540673601621\ 3333272333794589073915768403414665055630738141282312062876257983124\ 899832497*c_1001_8^20 - 3633434352300918173018326244077335439994132\ 751778737843540202096779119611653325494918389387121/317542216269440\ 6485333308933517835629566307361365866022252295256512924825150503193\ 2499599329988*c_1001_8^19 - 703321613077987737449811491110132283167\ 9396755386786759429401033254687916844525749862296659193/31754221626\ 9440648533330893351783562956630736136586602225229525651292482515050\ 31932499599329988*c_1001_8^18 - 62110817059320050934736337573886144\ 22356796675801966025750561151049944987796500198412049966843/1587711\ 0813472032426666544667589178147831536806829330111261476282564624125\ 752515966249799664994*c_1001_8^17 - 2010251189136786686678784771095463570827314315882796550249970164514\ 2473216953415521934109673017/31754221626944064853333089335178356295\ 663073613658660222522952565129248251505031932499599329988*c_1001_8^\ 16 - 30062413321321220195643917242143870969512152797086466963570356\ 475353736844468312905245767853105/317542216269440648533330893351783\ 56295663073613658660222522952565129248251505031932499599329988*c_10\ 01_8^15 - 413825570997897682476504900154866203572356314133624197745\ 93182586980370129493119183485900186213/3175422162694406485333308933\ 5178356295663073613658660222522952565129248251505031932499599329988\ *c_1001_8^14 - 1058286753766259482303024160621028758062706876679727\ 16765345372108520596678488406214516334927333/6350844325388812970666\ 6178670356712591326147227317320445045905130258496503010063864999198\ 659976*c_1001_8^13 - 1295735139475988178616583424244046182193780347\ 43838233533157036050047176435856364585026884530879/6350844325388812\ 9706666178670356712591326147227317320445045905130258496503010063864\ 999198659976*c_1001_8^12 - 7344342754095797603311244621069853889425\ 5728077576713363289677864676905904531747800153723084247/31754221626\ 9440648533330893351783562956630736136586602225229525651292482515050\ 31932499599329988*c_1001_8^11 - 16056354055231335269275794649998903\ 7409692518040845308313221798255715256149810021473183065390721/63508\ 4432538881297066661786703567125913261472273173204450459051302584965\ 03010063864999198659976*c_1001_8^10 - 7540929282915086374116593845796389273402845723114790316838642954353\ 3947973999852654665692512695/31754221626944064853333089335178356295\ 663073613658660222522952565129248251505031932499599329988*c_1001_8^\ 9 - 993424423376292776410508291283479296269752203792591838924941855\ 353900117864643870067736463167/774493210413269874471538764272642836\ 479587161308747810305437867442176786622073949573160959268*c_1001_8^\ 8 - 128790819223231282434955082858695795125593945194779493025691536\ 488522085814643808119434055653423/635084432538881297066661786703567\ 12591326147227317320445045905130258496503010063864999198659976*c_10\ 01_8^7 - 2246594662301362383122846289745697748115173831496587664518\ 0191339019546177555650917225824470159/79385554067360162133332723337\ 94589073915768403414665055630738141282312062876257983124899832497*c\ _1001_8^6 + 5044011189727801592178536691614434157438173762539311597\ 336128152854916623457438499950617501279/793855540673601621333327233\ 3794589073915768403414665055630738141282312062876257983124899832497\ *c_1001_8^5 + 71582063286786557933092818739718161732993699151196739\ 577159554180201473282220102994125326291553/635084432538881297066661\ 7867035671259132614722731732044504590513025849650301006386499919865\ 9976*c_1001_8^4 - 1830742153589513300724745139648779508851260858695\ 80697713176966564921073753102672610394467939733/6350844325388812970\ 6666178670356712591326147227317320445045905130258496503010063864999\ 198659976*c_1001_8^3 - 41212617246018823370684262780496126018219046\ 301598496072369869691649424420713779750710425602215/317542216269440\ 6485333308933517835629566307361365866022252295256512924825150503193\ 2499599329988*c_1001_8^2 + 2900405294824814423374729254403456058295\ 738171776483251343214273961057622266152917686585970897/154898642082\ 6539748943077528545285672959174322617495620610875734884353573244147\ 899146321918536*c_1001_8 - 5195282612125107704549177932241719729615\ 887888235644220366605284811353494394207940388951188217/793855540673\ 6016213333272333794589073915768403414665055630738141282312062876257\ 983124899832497, c_0011_11 + 28191781262204894893310087653814402672681074033982993060740\ 572511641188376533001705574899885/184174485436275576149331918144034\ 4665148458269592202292906331248777496398587291852084976761139304*c_\ 1001_8^28 + 8122549682104628965298460635444373382708975008315985162\ 2229140748567520772328506693588201279/46043621359068894037332979536\ 0086166287114567398050573226582812194374099646822963021244190284826\ *c_1001_8^27 + 2345201536801501950044697810655447508928515600861078\ 66083143303982822910133332339436075151295/2302181067953444701866648\ 9768004308314355728369902528661329140609718704982341148151062209514\ 2413*c_1001_8^26 + 754588061987438198150111200791972265757606941862\ 3789121939964883528978651882824942749496797951/18417448543627557614\ 9331918144034466514845826959220229290633124877749639858729185208497\ 6761139304*c_1001_8^25 + 238887696922187757944695398771154311283444\ 93965098211188206043740740597668398831221343265653849/1841744854362\ 7557614933191814403446651484582695922022929063312487774963985872918\ 52084976761139304*c_1001_8^24 + 11089081473291462004915538318825555\ 66465962727501390369701633139768612711807707214419103292361/3175422\ 1626944064853333089335178356295663073613658660222522952565129248251\ 505031932499599329988*c_1001_8^23 + 1580979057092934403880676394908109528284809659572811724849482480816\ 68227205136830502626784113337/1841744854362755761493319181440344665\ 148458269592202292906331248777496398587291852084976761139304*c_1001\ _8^22 + 18614212986639419389620858290095897857561606149561401244146\ 6312624210531437445876334434678157751/92087242718137788074665959072\ 0172332574229134796101146453165624388748199293645926042488380569652\ *c_1001_8^21 + 2116793895197034770948279416021960438272004991802579\ 54436488955195033310832607799836511900940245/4604362135906889403733\ 2979536008616628711456739805057322658281219437409964682296302124419\ 0284826*c_1001_8^20 + 912204488887726397959659725674899019920869902\ 001264873325993084669117345442740440834495182923163/920872427181377\ 8807466595907201723325742291347961011464531656243887481992936459260\ 42488380569652*c_1001_8^19 + 18260209800001413668871700786997714238\ 08405770836362052708451504300127905979033135879003597248663/9208724\ 2718137788074665959072017233257422913479610114645316562438874819929\ 3645926042488380569652*c_1001_8^18 + 1681517298519976497119094110360668406719964852389009629946199642721\ 428518271750770917031342379255/460436213590688940373329795360086166\ 287114567398050573226582812194374099646822963021244190284826*c_1001\ _8^17 + 56979916048984019625988127564576752132067995003383530351158\ 88723096195428114714963805353522539747/9208724271813778807466595907\ 2017233257422913479610114645316562438874819929364592604248838056965\ 2*c_1001_8^16 + 892496846343398460580428416925770500184141592537498\ 9260895989815153483494282692619560225237481701/92087242718137788074\ 6659590720172332574229134796101146453165624388748199293645926042488\ 380569652*c_1001_8^15 + 1291069361374300613768407869193217620471829\ 7811873690781904022865037364310429886209337540040208901/92087242718\ 1377880746659590720172332574229134796101146453165624388748199293645\ 926042488380569652*c_1001_8^14 + 3457708808550246014021237097248275\ 8991814729812602188201891071664601832974292013654594577134950931/18\ 4174485436275576149331918144034466514845826959220229290633124877749\ 6398587291852084976761139304*c_1001_8^13 + 4353670572374229818376068027530126721880175025441612498469546699959\ 1069457133501785487472756014477/18417448543627557614933191814403446\ 65148458269592202292906331248777496398587291852084976761139304*c_10\ 01_8^12 + 255263770606132579321062701939798356504994262872561287536\ 38676795361691177974953760791714861792657/9208724271813778807466595\ 9072017233257422913479610114645316562438874819929364592604248838056\ 9652*c_1001_8^11 + 562011607447104201588704927246246674939042695636\ 08695650926202876246880751511401259878109864108003/1841744854362755\ 7614933191814403446651484582695922022929063312487774963985872918520\ 84976761139304*c_1001_8^10 + 27913635351801240314680957279589816519\ 596300851976720996676948555537735870299414333850908092630197/920872\ 4271813778807466595907201723325742291347961011464531656243887481992\ 93645926042488380569652*c_1001_8^9 + 4997984275216154920314597878000012940251705018113696798722176011242\ 17650865908994137169320442665/2246030310198482635967462416390664225\ 7908027677953686498857698155823126812040144537621667818772*c_1001_8\ ^8 + 36090304592784992534608902243794387508209980328948712870645431\ 210018122285639613890313248527270281/184174485436275576149331918144\ 0344665148458269592202292906331248777496398587291852084976761139304\ *c_1001_8^7 + 56426404030554169110038787801918555446792417015287382\ 82325524777046568526591527658982583692589280/2302181067953444701866\ 6489768004308314355728369902528661329140609718704982341148151062209\ 5142413*c_1001_8^6 + 1330874476675064165278695544256357709889479373\ 463680631262779363333151206046255706345222869718685/230218106795344\ 4701866648976800430831435572836990252866132914060971870498234114815\ 10622095142413*c_1001_8^5 - 750746333830767701765192738460637978592\ 230942569221459388413243371150867206585507526592125550815/635084432\ 5388812970666617867035671259132614722731732044504590513025849650301\ 0063864999198659976*c_1001_8^4 + 1095586756837126901475098397262577\ 2687519290158867056805807773068851042125153493859881946021478871/18\ 4174485436275576149331918144034466514845826959220229290633124877749\ 6398587291852084976761139304*c_1001_8^3 + 1039803732463058517275229048683078660424661839505265614015694901460\ 1521914808251259190022963362043/92087242718137788074665959072017233\ 2574229134796101146453165624388748199293645926042488380569652*c_100\ 1_8^2 - 31745449825488362009207027776856885664546256809672726484766\ 0943700828913412105685759925652114251/44920606203969652719349248327\ 813284515816055355907372997715396311646253624080289075243335637544*\ c_1001_8 - 60718612167751353363560962448499857396211640099582864145\ 0039890451246254661825360015170759445847/23021810679534447018666489\ 7680043083143557283699025286613291406097187049823411481510622095142\ 413, c_0011_7 + 380344374492757719194644413324514616356373185751644564868196\ 0928301200322342996418103439523/92087242718137788074665959072017233\ 2574229134796101146453165624388748199293645926042488380569652*c_100\ 1_8^28 + 1013607472511856500162866748722428371519162603271637133096\ 9867627220481923128072951056144333/23021810679534447018666489768004\ 3083143557283699025286613291406097187049823411481510622095142413*c_\ 1001_8^27 + 5516829605289518428080166302126559855189617178193123846\ 2352691357579573286115940768061321745/23021810679534447018666489768\ 0043083143557283699025286613291406097187049823411481510622095142413\ *c_1001_8^26 + 8547282208795807769557886149762364824274304305354339\ 35325721961931278549774814860712384744283/9208724271813778807466595\ 9072017233257422913479610114645316562438874819929364592604248838056\ 9652*c_1001_8^25 + 263304980917147962910661229203988589136924196619\ 8482579676192566429975202954082918492472932879/92087242718137788074\ 6659590720172332574229134796101146453165624388748199293645926042488\ 380569652*c_1001_8^24 + 1203583744755647174857504750825168819024127\ 26338267201557822698367857345841281624957764416305/1587711081347203\ 2426666544667589178147831536806829330111261476282564624125752515966\ 249799664994*c_1001_8^23 + 1709174941247048373203560278592119230471\ 7962549410987109726172946495057779390163554821139765395/92087242718\ 1377880746659590720172332574229134796101146453165624388748199293645\ 926042488380569652*c_1001_8^22 + 1006136903906648745008168683377458\ 9547098356709244251055570531960018416327253584609737449501453/23021\ 8106795344470186664897680043083143557283699025286613291406097187049\ 823411481510622095142413*c_1001_8^21 + 4561243112046075580315185404798177590974231481436199525161507316355\ 2270850395865203180334559945/46043621359068894037332979536008616628\ 7114567398050573226582812194374099646822963021244190284826*c_1001_8\ ^20 + 9750108096669414340475723282840457334070770023341061952945104\ 0817331146577672970905251612483577/46043621359068894037332979536008\ 6166287114567398050573226582812194374099646822963021244190284826*c_\ 1001_8^19 + 1934174190100791422645758732891580129517092729234375778\ 68408068599113014424642134916888611476151/4604362135906889403733297\ 9536008616628711456739805057322658281219437409964682296302124419028\ 4826*c_1001_8^18 + 176726809989311197049154613203756388786490142839\ 331650974691647233989111742279923055740214471309/230218106795344470\ 1866648976800430831435572836990252866132914060971870498234114815106\ 22095142413*c_1001_8^17 + 59609793701282722135339724755136260008802\ 9412996679656631752019236548067549787399208602388527879/46043621359\ 0688940373329795360086166287114567398050573226582812194374099646822\ 963021244190284826*c_1001_8^16 + 4659843326227876540096555824777904\ 88027866994615049933147154279855053197514266573236854703112142/2302\ 1810679534447018666489768004308314355728369902528661329140609718704\ 9823411481510622095142413*c_1001_8^15 + 6729989485527500014836789171974290306356260946290920367324953287188\ 78482787644545566902877726240/2302181067953444701866648976800430831\ 43557283699025286613291406097187049823411481510622095142413*c_1001_\ 8^14 + 361277344679517394833336394561965524723340153859647287050170\ 3037567904833094134223723633010459767/92087242718137788074665959072\ 0172332574229134796101146453165624388748199293645926042488380569652\ *c_1001_8^13 + 4571708967882263096729125627654441547063653160445062\ 792070345612899559639059208292228427295712851/920872427181377880746\ 6595907201723325742291347961011464531656243887481992936459260424883\ 80569652*c_1001_8^12 + 26686949835624836675348361645121251821366481\ 24147847593141914100089112271548854098437905889044925/4604362135906\ 8894037332979536008616628711456739805057322658281219437409964682296\ 3021244190284826*c_1001_8^11 + 592665512074786771756063751450921140\ 6980334672912152908684431028078312878835819546713916007735381/92087\ 2427181377880746659590720172332574229134796101146453165624388748199\ 293645926042488380569652*c_1001_8^10 + 2865966613238389796056895672924591964871682602479472039058681354495\ 418716929058333906909204661243/460436213590688940373329795360086166\ 287114567398050573226582812194374099646822963021244190284826*c_1001\ _8^9 + 502935747973687147757273803178321559121050446318603619840438\ 22206753830181121712167756547194203/1123015155099241317983731208195\ 3321128954013838976843249428849077911563406020072268810833909386*c_\ 1001_8^8 + 45020127466515886091820534922723740081096477586684661365\ 71558804748965497651208666553906099636073/9208724271813778807466595\ 9072017233257422913479610114645316562438874819929364592604248838056\ 9652*c_1001_8^7 + 1055709207295133697140391445080942192427699931892\ 872311220973129277664407958371790252966178615681/230218106795344470\ 1866648976800430831435572836990252866132914060971870498234114815106\ 22095142413*c_1001_8^6 - 208343924999695034247390975977858110609018\ 3215491075612271998516902418660655727456103561060237/23021810679534\ 4470186664897680043083143557283699025286613291406097187049823411481\ 510622095142413*c_1001_8^5 - 49175919370063477926999767613527554641\ 038525278188031165310953762406489211772929969391254580721/317542216\ 2694406485333308933517835629566307361365866022252295256512924825150\ 5031932499599329988*c_1001_8^4 + 2029815107724252491533571970878100\ 032763657172804618216061793846741160841160004079824395966896533/920\ 8724271813778807466595907201723325742291347961011464531656243887481\ 99293645926042488380569652*c_1001_8^3 - 5621253096787579427227579792836410017437958033835389021422592640129\ 1175550798066251440009490271/23021810679534447018666489768004308314\ 3557283699025286613291406097187049823411481510622095142413*c_1001_8\ ^2 - 37272323921771082667099312389374044595200568276653329998349841\ 927225835612900895191957063007677/224603031019848263596746241639066\ 42257908027677953686498857698155823126812040144537621667818772*c_10\ 01_8 - 119974732227884171173939208079028401452865020955454836205679\ 569492522899138607963724442537187977/230218106795344470186664897680\ 043083143557283699025286613291406097187049823411481510622095142413, c_0011_9 + 757651050416819673072941375462621400890897558451297495956618\ 4774914079977072177947853975243/18417448543627557614933191814403446\ 65148458269592202292906331248777496398587291852084976761139304*c_10\ 01_8^28 + 202993918326736615687914931898798070301369936439521628737\ 31913349202939497631861873675330849/4604362135906889403733297953600\ 86166287114567398050573226582812194374099646822963021244190284826*c\ _1001_8^27 + 554908131301471587416658748991310521620923712855824577\ 59581214092191599177268626691444193170/2302181067953444701866648976\ 8004308314355728369902528661329140609718704982341148151062209514241\ 3*c_1001_8^26 + 172477780007800421360701568991389290192246119789666\ 4240298575677605978362073169631919502237577/18417448543627557614933\ 1918144034466514845826959220229290633124877749639858729185208497676\ 1139304*c_1001_8^25 + 532560271486198342015923923669404917506385607\ 6834740238247604289987909072123496185833734814879/18417448543627557\ 6149331918144034466514845826959220229290633124877749639858729185208\ 4976761139304*c_1001_8^24 + 243748313613363971307052469675121107911\ 987122317455853349102574393035613344408468868105759049/317542216269\ 4406485333308933517835629566307361365866022252295256512924825150503\ 1932499599329988*c_1001_8^23 + 346181751976891028120737676026098900\ 85617495930963760594599201179400355446061677464695464799491/1841744\ 8543627557614933191814403446651484582695922022929063312487774963985\ 87291852084976761139304*c_1001_8^22 + 4074027627878278645571199399485590607024334377149545710306395777406\ 6344112066668511265138054607/92087242718137788074665959072017233257\ 4229134796101146453165624388748199293645926042488380569652*c_1001_8\ ^21 + 2308254750187691021856563276858725728004980986370828763281376\ 5932138042632615248272927333377239/23021810679534447018666489768004\ 3083143557283699025286613291406097187049823411481510622095142413*c_\ 1001_8^20 + 1974176745534662625046186951202926118876669409587653619\ 28523232260876333426481854564478181271521/9208724271813778807466595\ 9072017233257422913479610114645316562438874819929364592604248838056\ 9652*c_1001_8^19 + 391775210796536173109991813178637818740695589926\ 875051758846218585563907971665026499119637758243/920872427181377880\ 7466595907201723325742291347961011464531656243887481992936459260424\ 88380569652*c_1001_8^18 + 17900826294839367378459695845419228576023\ 6313261399209273006918573441744620111671699036841797130/23021810679\ 5344470186664897680043083143557283699025286613291406097187049823411\ 481510622095142413*c_1001_8^17 + 1206936178228998594577712833237818\ 662458714684212718164587027169029689026735155053011194524586499/920\ 8724271813778807466595907201723325742291347961011464531656243887481\ 99293645926042488380569652*c_1001_8^16 + 1884478078406579810957416503994950514204931127136949972632893314816\ 758703550397749428949293818885/920872427181377880746659590720172332\ 574229134796101146453165624388748199293645926042488380569652*c_1001\ _8^15 + 27160208644634206678032014655047804828417390022959302049360\ 28054857878090339954780305884542544305/9208724271813778807466595907\ 2017233257422913479610114645316562438874819929364592604248838056965\ 2*c_1001_8^14 + 726695862118141141591599455557583144663432629311227\ 3156975018884420514756319956293967348162505429/18417448543627557614\ 9331918144034466514845826959220229290633124877749639858729185208497\ 6761139304*c_1001_8^13 + 915726375579971863776857598380940647385787\ 5522758008809957583363316436254767973150797058756651919/18417448543\ 6275576149331918144034466514845826959220229290633124877749639858729\ 1852084976761139304*c_1001_8^12 + 532226053601127976998549693976773\ 2629581877794945858025303853923607269769070052272731602838396747/92\ 0872427181377880746659590720172332574229134796101146453165624388748\ 199293645926042488380569652*c_1001_8^11 + 1175145369500689560430733486311304872026043679525374561799116116652\ 6360512591267520286287142985157/18417448543627557614933191814403446\ 65148458269592202292906331248777496398587291852084976761139304*c_10\ 01_8^10 + 565257688824410247541676693561324082702160234355348778740\ 2644682687342643895356561507602167584931/92087242718137788074665959\ 0720172332574229134796101146453165624388748199293645926042488380569\ 652*c_1001_8^9 + 97584811304188222618787833252600406177538048085664\ 015971158793232159113890843192960710092422327/224603031019848263596\ 7462416390664225790802767795368649885769815582312681204014453762166\ 7818772*c_1001_8^8 + 8574028472439134480402280549028713312416019183\ 131516429528712954817817476580328171199978799913303/184174485436275\ 5761493319181440344665148458269592202292906331248777496398587291852\ 084976761139304*c_1001_8^7 + 10216422167823906068625365377004316564\ 52140028347323067994435654049375584294624626315538518009887/2302181\ 0679534447018666489768004308314355728369902528661329140609718704982\ 3411481510622095142413*c_1001_8^6 - 3334103242374741244149253423071357699179746240985292770343123206911\ 0252661273172129376549405175/46043621359068894037332979536008616628\ 7114567398050573226582812194374099646822963021244190284826*c_1001_8\ ^5 - 11494736491354799168479284164881518893641126808844752299560374\ 3723959129502423554129656854680477/63508443253888129706666178670356\ 712591326147227317320445045905130258496503010063864999198659976*c_1\ 001_8^4 + 384029474422313568207979148799406487938236582322608704276\ 2780022707686438464860576506320008257861/18417448543627557614933191\ 8144034466514845826959220229290633124877749639858729185208497676113\ 9304*c_1001_8^3 - 3407560533533596667050032711525494828183854959279\ 4916893112742327493454479329354633510781406977/92087242718137788074\ 6659590720172332574229134796101146453165624388748199293645926042488\ 380569652*c_1001_8^2 - 92262763335919408363428709579649939595574896\ 077413835390657295628241907265044875031060607446401/449206062039696\ 5271934924832781328451581605535590737299771539631164625362408028907\ 5243335637544*c_1001_8 - 221644527807023065330917580357230883481073\ 13226942418986361129429465372714924124386790293184403/2302181067953\ 4447018666489768004308314355728369902528661329140609718704982341148\ 1510622095142413, c_0101_0 + 152851848539447204279044028074280521407997213929671481853307\ 80250039464548901476022301584025/1841744854362755761493319181440344\ 665148458269592202292906331248777496398587291852084976761139304*c_1\ 001_8^28 + 43885162827771264143640228612818260613374705744311451405\ 910454502417030442295362556216008719/460436213590688940373329795360\ 086166287114567398050573226582812194374099646822963021244190284826*\ c_1001_8^27 + 12635701657685576366225654036297963081046876416375626\ 5254662077223228988711236871875233549588/23021810679534447018666489\ 7680043083143557283699025286613291406097187049823411481510622095142\ 413*c_1001_8^26 + 4056483197523753376261627637784469878841077778559\ 296014750811627164082602110908745089421245835/184174485436275576149\ 3319181440344665148458269592202292906331248777496398587291852084976\ 761139304*c_1001_8^25 + 1281348333232333886570504706701183423429790\ 6516451549925627429998229311492173035818667723951033/18417448543627\ 5576149331918144034466514845826959220229290633124877749639858729185\ 2084976761139304*c_1001_8^24 + 593611803838917580893828993659501942\ 822839976617190359325288448695576735335040598301945621747/317542216\ 2694406485333308933517835629566307361365866022252295256512924825150\ 5031932499599329988*c_1001_8^23 + 845077558184024870937128498426042\ 38905760558589190564591227017313154384365636191021710435251185/1841\ 7448543627557614933191814403446651484582695922022929063312487774963\ 98587291852084976761139304*c_1001_8^22 + 9941304302720957409656023777677863028171664338632751127070691760404\ 2847947485410111437399018069/92087242718137788074665959072017233257\ 4229134796101146453165624388748199293645926042488380569652*c_1001_8\ ^21 + 1129887092750773397195553850745074875398261206581395747509710\ 45820404793380320756784849948214385/4604362135906889403733297953600\ 86166287114567398050573226582812194374099646822963021244190284826*c\ _1001_8^20 + 486554701176266729169698631039020209733543131384355546\ 906383835895305180666568126521608519025297/920872427181377880746659\ 5907201723325742291347961011464531656243887481992936459260424883805\ 69652*c_1001_8^19 + 97286331909310960271437068040544060043600454216\ 7946677398138897104218907976374869870691923636553/92087242718137788\ 0746659590720172332574229134796101146453165624388748199293645926042\ 488380569652*c_1001_8^18 + 4472492576048465314008189734430953713105\ 49837707773439033025279769031954347896728999458536052361/2302181067\ 9534447018666489768004308314355728369902528661329140609718704982341\ 1481510622095142413*c_1001_8^17 + 302579919266646465327919820902435\ 5327967773916293068841307884781597592230568127592360816154913749/92\ 0872427181377880746659590720172332574229134796101146453165624388748\ 199293645926042488380569652*c_1001_8^16 + 4731265793643519033149722006519088767093918385060130859410409750378\ 019536391380687774687800563243/920872427181377880746659590720172332\ 574229134796101146453165624388748199293645926042488380569652*c_1001\ _8^15 + 68333135015576178044116410836468149415007529398030121792374\ 06325374219115521488993705625696423985/9208724271813778807466595907\ 2017233257422913479610114645316562438874819929364592604248838056965\ 2*c_1001_8^14 + 182812629813952437951208080007899079625527097093329\ 40856439977744515406335811968664280144850263811/1841744854362755761\ 4933191814403446651484582695922022929063312487774963985872918520849\ 76761139304*c_1001_8^13 + 23016183431001151900513158561685923428901\ 142587470505059041888529788876999856178590556550522597281/184174485\ 4362755761493319181440344665148458269592202292906331248777496398587\ 291852084976761139304*c_1001_8^12 + 1350565342936985902679888495625090959837338337632002878001290970618\ 3483721334186479122802918814897/92087242718137788074665959072017233\ 2574229134796101146453165624388748199293645926042488380569652*c_100\ 1_8^11 + 2981983917549057418057341617810201073945473921229166420357\ 1381121065030622713589386652626645217135/18417448543627557614933191\ 8144034466514845826959220229290633124877749639858729185208497676113\ 9304*c_1001_8^10 + 148569868250736748515516072350821337511854301873\ 83815218899965182748936082626357352088880737864777/9208724271813778\ 8074665959072017233257422913479610114645316562438874819929364592604\ 2488380569652*c_1001_8^9 + 2679673267774257897521780324826126122544\ 82985850278271599259574867979251571750580919961435721493/2246030310\ 1984826359674624163906642257908027677953686498857698155823126812040\ 144537621667818772*c_1001_8^8 + 19838535218419841378180217032696409\ 374308995592423451304560844874828001931040806766688011633212909/184\ 1744854362755761493319181440344665148458269592202292906331248777496\ 398587291852084976761139304*c_1001_8^7 + 6248468255929532891235401751609682219133695234951683728101658819887\ 213773579173722095101651046851/460436213590688940373329795360086166\ 287114567398050573226582812194374099646822963021244190284826*c_1001\ _8^6 + 173412330929148015567756676497643702718229118547594451485370\ 8463830714752670522723822237339929233/46043621359068894037332979536\ 0086166287114567398050573226582812194374099646822963021244190284826\ *c_1001_8^5 - 35979086396572839748174971848681562016036025260484768\ 4212841257855631949931053513983280708866799/63508443253888129706666\ 1786703567125913261472273173204450459051302584965030100638649991986\ 59976*c_1001_8^4 + 644050367557373593009370301105539009888266769512\ 6397665606858390873528106162943648211226700971991/18417448543627557\ 6149331918144034466514845826959220229290633124877749639858729185208\ 4976761139304*c_1001_8^3 + 6265067289124663950725022476001823683239\ 255324136452349209088977499997891770711119782138412991365/920872427\ 1813778807466595907201723325742291347961011464531656243887481992936\ 45926042488380569652*c_1001_8^2 - 154785001357725132528082997432085\ 318546107463286522104944209230332439040020007131054587162497743/449\ 2060620396965271934924832781328451581605535590737299771539631164625\ 3624080289075243335637544*c_1001_8 - 4087926865010764947459168257062821028686957336000355716053648642910\ 39186338377209827286401218197/2302181067953444701866648976800430831\ 43557283699025286613291406097187049823411481510622095142413, c_0101_1 - 384890749930327589540694924331344717087833796863357956979871\ 0550815125436322964087635155049/18417448543627557614933191814403446\ 65148458269592202292906331248777496398587291852084976761139304*c_10\ 01_8^28 - 100551384962177013959648987875065337337379969481453933115\ 43175689205983599710851058273895529/4604362135906889403733297953600\ 86166287114567398050573226582812194374099646822963021244190284826*c\ _1001_8^27 - 544392214541316602180243360876586350816811112617040643\ 16179852694320240332987867666664358679/4604362135906889403733297953\ 6008616628711456739805057322658281219437409964682296302124419028482\ 6*c_1001_8^26 - 847749184273995284487630324417541859093279322999064\ 355180104974212965072460198095478718017611/184174485436275576149331\ 9181440344665148458269592202292906331248777496398587291852084976761\ 139304*c_1001_8^25 - 2630763157758833380113486483479476075259862225\ 164579106617422726655167197325516006024429648369/184174485436275576\ 1493319181440344665148458269592202292906331248777496398587291852084\ 976761139304*c_1001_8^24 - 1213478266264370820720354956888137261169\ 70160403097215470787063717269501933150072209900419277/3175422162694\ 4064853333089335178356295663073613658660222522952565129248251505031\ 932499599329988*c_1001_8^23 - 1734957456452651546321597678920256336\ 5245282842870017581102350383076506224237541023802312068017/18417448\ 5436275576149331918144034466514845826959220229290633124877749639858\ 7291852084976761139304*c_1001_8^22 - 2047224058808637683278660247999332949114875194300855520893151308086\ 2920270684130068452935583829/92087242718137788074665959072017233257\ 4229134796101146453165624388748199293645926042488380569652*c_1001_8\ ^21 - 1160543896959183232524515643623670821748462344379686485052870\ 2273098937310377434679136713034454/23021810679534447018666489768004\ 3083143557283699025286613291406097187049823411481510622095142413*c_\ 1001_8^20 - 9940170870912018928174593828844559271116624595088863162\ 9496863642745337759102170465045275112057/92087242718137788074665959\ 0720172332574229134796101146453165624388748199293645926042488380569\ 652*c_1001_8^19 - 1980598525928524323488063167959165669191067588761\ 70608313616611888848448212320449170683313258711/9208724271813778807\ 4665959072017233257422913479610114645316562438874819929364592604248\ 8380569652*c_1001_8^18 - 182052380625532625133326333472716786063579\ 868292133203152387761091999910144836290892881751373125/460436213590\ 6889403733297953600861662871145673980505732265828121943740996468229\ 63021244190284826*c_1001_8^17 - 61792034274578016068219154626435507\ 9795362710036717650575840438478409583109515198946843952042537/92087\ 2427181377880746659590720172332574229134796101146453165624388748199\ 293645926042488380569652*c_1001_8^16 - 9705321316699502304455234892173971114243022787560473004560162655863\ 52873389174755771027851954443/9208724271813778807466595907201723325\ 74229134796101146453165624388748199293645926042488380569652*c_1001_\ 8^15 - 140488847612188713321372066349412374415250845323829201436823\ 8856726905136617779442144065734264597/92087242718137788074665959072\ 0172332574229134796101146453165624388748199293645926042488380569652\ *c_1001_8^14 - 3772080295594146264488658872509298292580860897200317\ 649287781511490251131093327369600489790404627/184174485436275576149\ 3319181440344665148458269592202292906331248777496398587291852084976\ 761139304*c_1001_8^13 - 4742899611066045384728452631611567333193040\ 048920255894596096780429414694192526941565267775667773/184174485436\ 2755761493319181440344665148458269592202292906331248777496398587291\ 852084976761139304*c_1001_8^12 - 2735754303724694107659237745522550\ 042144555235694085694369723432667329002184801393798691641934961/920\ 8724271813778807466595907201723325742291347961011464531656243887481\ 99293645926042488380569652*c_1001_8^11 - 6020437240795170722012579282933383599730684345129237342810470673496\ 630475077497141974084457829535/184174485436275576149331918144034466\ 5148458269592202292906331248777496398587291852084976761139304*c_100\ 1_8^10 - 2816974452880044023314576181065879358571628495330740445797\ 825299180943837452388171213062062568109/920872427181377880746659590\ 7201723325742291347961011464531656243887481992936459260424883805696\ 52*c_1001_8^9 - 493513454282334677105282776111129931281952723563697\ 96383263266612628546720080445213029608094615/2246030310198482635967\ 4624163906642257908027677953686498857698155823126812040144537621667\ 818772*c_1001_8^8 - 42378881423338951503297593063727892605366498803\ 06190275065294509267769734137145866078638403531829/1841744854362755\ 7614933191814403446651484582695922022929063312487774963985872918520\ 84976761139304*c_1001_8^7 - 713191845426781417370207265937549506421\ 258199884707789930703621563527650928394194217405558170955/460436213\ 5906889403733297953600861662871145673980505732265828121943740996468\ 22963021244190284826*c_1001_8^6 - 242365919017457175832554637400218\ 53017671650218258086372653072895445124911892892936816076824636/2302\ 1810679534447018666489768004308314355728369902528661329140609718704\ 9823411481510622095142413*c_1001_8^5 + 5832685453150178879977649178471719686163407872932928742181766535572\ 7947416324350758882317614371/63508443253888129706666178670356712591\ 326147227317320445045905130258496503010063864999198659976*c_1001_8^\ 4 - 463488855087780137770285635887147236168772290475598733579508379\ 336689980049208456564611575237047/184174485436275576149331918144034\ 4665148458269592202292906331248777496398587291852084976761139304*c_\ 1001_8^3 + 17966845452803047701277259465744084898355636162259761453\ 0646420827496851000557045477097092419825/92087242718137788074665959\ 0720172332574229134796101146453165624388748199293645926042488380569\ 652*c_1001_8^2 + 19275223386338344857949110223792569065744484363265\ 794411821751939666085952648024570190393417379/449206062039696527193\ 4924832781328451581605535590737299771539631164625362408028907524333\ 5637544*c_1001_8 + 151863336985736355270178366426021222814908495973\ 930950775899492600057735582250389900272971935918/230218106795344470\ 1866648976800430831435572836990252866132914060971870498234114815106\ 22095142413, c_0101_11 - 78404946363667155511795475484242740333196083694789015303371\ 10170471520735530429907372206083/1841744854362755761493319181440344\ 665148458269592202292906331248777496398587291852084976761139304*c_1\ 001_8^28 - 22114563459765446819458620385511151335784310423593538717\ 226357000407604668373601529161947591/460436213590688940373329795360\ 086166287114567398050573226582812194374099646822963021244190284826*\ c_1001_8^27 - 62438601068892245449083452444144854119939055083748603\ 591179966945387626306446316564183264400/230218106795344470186664897\ 6800430831435572836990252866132914060971870498234114815106220951424\ 13*c_1001_8^26 - 19696347525003189642785927481012992348854043459011\ 97560194690072013779494809261982196660944037/1841744854362755761493\ 3191814403446651484582695922022929063312487774963985872918520849767\ 61139304*c_1001_8^25 - 61267557037099424100647522052189498352936864\ 37659752845306187590225855546398277339321819697271/1841744854362755\ 7614933191814403446651484582695922022929063312487774963985872918520\ 84976761139304*c_1001_8^24 - 28023093527700785843535224918151412933\ 5123387183345688099367021310652518073486213367246378153/31754221626\ 9440648533330893351783562956630736136586602225229525651292482515050\ 31932499599329988*c_1001_8^23 - 39567535348475520604871369798991687\ 780468999955767134126582404646100423941846434360713294274603/184174\ 4854362755761493319181440344665148458269592202292906331248777496398\ 587291852084976761139304*c_1001_8^22 - 4633334304167709017133808413818614681522013988678282337637220994769\ 3232094073426032727804483601/92087242718137788074665959072017233257\ 4229134796101146453165624388748199293645926042488380569652*c_1001_8\ ^21 - 5242610707695806849225688088581836961081087928099452122484285\ 8423858001294921471693257862773477/46043621359068894037332979536008\ 6166287114567398050573226582812194374099646822963021244190284826*c_\ 1001_8^20 - 2242132235604734982676411894668364404054865740418610463\ 73240834996923009681669465284218119736685/9208724271813778807466595\ 9072017233257422913479610114645316562438874819929364592604248838056\ 9652*c_1001_8^19 - 444128576501577746679525837553749156797481505524\ 223773914770343006477563724110880982527066614355/920872427181377880\ 7466595907201723325742291347961011464531656243887481992936459260424\ 88380569652*c_1001_8^18 - 20186402502457709965090045427893054093196\ 3819847430660328124968626307226907726468455482625202011/23021810679\ 5344470186664897680043083143557283699025286613291406097187049823411\ 481510622095142413*c_1001_8^17 - 1347964465634936918949272323648379\ 918007611034111049822490041125907826056678733081544919909152171/920\ 8724271813778807466595907201723325742291347961011464531656243887481\ 99293645926042488380569652*c_1001_8^16 - 2076979359690352032529443566735409204866347548918419937665434458552\ 678390091939256757690815546903/920872427181377880746659590720172332\ 574229134796101146453165624388748199293645926042488380569652*c_1001\ _8^15 - 29462560649215383256011773760926797976187817643152607097220\ 51932051689417943008225047894284081683/9208724271813778807466595907\ 2017233257422913479610114645316562438874819929364592604248838056965\ 2*c_1001_8^14 - 771667298593818200124416140048379408281413245478365\ 9240965083115023944841141654996386763830809049/18417448543627557614\ 9331918144034466514845826959220229290633124877749639858729185208497\ 6761139304*c_1001_8^13 - 951357745616020377845146939200508269128393\ 0772499950966750440732458290652913292106262510214006223/18417448543\ 6275576149331918144034466514845826959220229290633124877749639858729\ 1852084976761139304*c_1001_8^12 - 543331674736767422494820426174523\ 2763488614296406847788329150844173836704212280249772954745963443/92\ 0872427181377880746659590720172332574229134796101146453165624388748\ 199293645926042488380569652*c_1001_8^11 - 1165451743368604132140065995164775940615443217494917541939350572560\ 2569446164403092621840017371317/18417448543627557614933191814403446\ 65148458269592202292906331248777496398587291852084976761139304*c_10\ 01_8^10 - 556204844277302738221930506624046549445636670914085397940\ 6219689085035815831740540053934532614627/92087242718137788074665959\ 0720172332574229134796101146453165624388748199293645926042488380569\ 652*c_1001_8^9 - 84950909392681461367071725804454028047690531716411\ 003295543110846925557631512951654985120125491/224603031019848263596\ 7462416390664225790802767795368649885769815582312681204014453762166\ 7818772*c_1001_8^8 - 6721283709627397088322134685826955930645978261\ 972228239102882507756473674755926192961058739175091/184174485436275\ 5761493319181440344665148458269592202292906331248777496398587291852\ 084976761139304*c_1001_8^7 - 11948668400399841787479688325114457056\ 47770442109545596773790607903225701411868575494897736191287/2302181\ 0679534447018666489768004308314355728369902528661329140609718704982\ 3411481510622095142413*c_1001_8^6 + 2302768590821689631950350981074990144613201915586596957097422015800\ 45553501312542953292886217303/4604362135906889403733297953600861662\ 87114567398050573226582812194374099646822963021244190284826*c_1001_\ 8^5 + 2276548973435187250097562429768100094983588266670200643488284\ 95955065781910655965436945578147597/6350844325388812970666617867035\ 6712591326147227317320445045905130258496503010063864999198659976*c_\ 1001_8^4 - 52377422547226022594384426047707495473754659255207931069\ 04832349570140538739248765724477110679285/1841744854362755761493319\ 1814403446651484582695922022929063312487774963985872918520849767611\ 39304*c_1001_8^3 - 215538096908744270926387128675583008186379497100\ 0898296242012175177621703248708161449682352668861/92087242718137788\ 0746659590720172332574229134796101146453165624388748199293645926042\ 488380569652*c_1001_8^2 + 16965367060179106510587424469673841805245\ 8309375291045029998728454746000868514702284100012516665/44920606203\ 9696527193492483278132845158160553559073729977153963116462536240802\ 89075243335637544*c_1001_8 - 70716524479996916701846330155222023308\ 151717149533352819508206948109978565928643298186485728935/230218106\ 7953444701866648976800430831435572836990252866132914060971870498234\ 11481510622095142413, c_0101_6 - 228047857924425335856804796162770197722563808191480815201761\ 3336758759779255460748320723733/92087242718137788074665959072017233\ 2574229134796101146453165624388748199293645926042488380569652*c_100\ 1_8^28 - 6550500240047382650989981587642752995855961713171561580776\ 765726351223009505348896750525541/230218106795344470186664897680043\ 083143557283699025286613291406097187049823411481510622095142413*c_1\ 001_8^27 - 37520431351936673705261997421419130802198392141294481299\ 249029135770033056248440398101046432/230218106795344470186664897680\ 043083143557283699025286613291406097187049823411481510622095142413*\ c_1001_8^26 - 59723317100572403302426875565394301268364831083467698\ 0369821407564212143224705335379422754885/92087242718137788074665959\ 0720172332574229134796101146453165624388748199293645926042488380569\ 652*c_1001_8^25 - 1868523417052526555220008111558445379585919210439\ 316541883895016363511955294913386190385466373/920872427181377880746\ 6595907201723325742291347961011464531656243887481992936459260424883\ 80569652*c_1001_8^24 - 85678981293815593341294098892467945883872116\ 195825360421301776036738808005324738827941119575/158771108134720324\ 2666654466758917814783153680682933011126147628256462412575251596624\ 9799664994*c_1001_8^23 - 120966943088549316029651132083817881976943\ 09908774503748543515605026695902261239356892155857249/9208724271813\ 7788074665959072017233257422913479610114645316562438874819929364592\ 6042488380569652*c_1001_8^22 - 708012482997834090460248889556399849\ 0426855369186983092438365099539032265709265529135365196282/23021810\ 6795344470186664897680043083143557283699025286613291406097187049823\ 411481510622095142413*c_1001_8^21 - 3208915177952072618403805746438509766443975988336285515517943576068\ 4372966425600557379756624047/46043621359068894037332979536008616628\ 7114567398050573226582812194374099646822963021244190284826*c_1001_8\ ^20 - 6880401989061351708333561538989638504739009106803329494054364\ 5299655962856951693905423595490857/46043621359068894037332979536008\ 6166287114567398050573226582812194374099646822963021244190284826*c_\ 1001_8^19 - 1366161226814618439777989491906565457339772136077124914\ 40882294839407416562196479709543793993705/4604362135906889403733297\ 9536008616628711456739805057322658281219437409964682296302124419028\ 4826*c_1001_8^18 - 124382236267542059688894628458327237070627301887\ 669261821541923438005395817682002712539692330075/230218106795344470\ 1866648976800430831435572836990252866132914060971870498234114815106\ 22095142413*c_1001_8^17 - 41570124868647709869999515076711237087995\ 6370040479665699486665278755444424788881205499468137641/46043621359\ 0688940373329795360086166287114567398050573226582812194374099646822\ 963021244190284826*c_1001_8^16 - 3207450760763520063388488601674870\ 25773384633727783072749965003966500425582076422315069917383948/2302\ 1810679534447018666489768004308314355728369902528661329140609718704\ 9823411481510622095142413*c_1001_8^15 - 4565329065385965036127849356207733841355726854627390289810619636253\ 44372452144731875600285364421/2302181067953444701866648976800430831\ 43557283699025286613291406097187049823411481510622095142413*c_1001_\ 8^14 - 240302584703305157667739417181638828547969740226595953938839\ 9177773696386078278618744299894883517/92087242718137788074665959072\ 0172332574229134796101146453165624388748199293645926042488380569652\ *c_1001_8^13 - 2978736906444326156801532083796559669543870085487980\ 587966752361394081623904614046585293874256441/920872427181377880746\ 6595907201723325742291347961011464531656243887481992936459260424883\ 80569652*c_1001_8^12 - 17172731000551223084063267337486384283262025\ 73482176780051654869302892650545380274733129788323315/4604362135906\ 8894037332979536008616628711456739805057322658281219437409964682296\ 3021244190284826*c_1001_8^11 - 371588726531950438226646709904201326\ 4878877560174264479836831461215539120642516470401082351393839/92087\ 2427181377880746659590720172332574229134796101146453165624388748199\ 293645926042488380569652*c_1001_8^10 - 1801382032112411271337323140517427016275584189741323555660415430190\ 050894784902230254278310145155/460436213590688940373329795360086166\ 287114567398050573226582812194374099646822963021244190284826*c_1001\ _8^9 - 288053508160338449615894292523568787818742350727591707237776\ 33348567082107047420218834385792307/1123015155099241317983731208195\ 3321128954013838976843249428849077911563406020072268810833909386*c_\ 1001_8^8 - 21794512957248846297291209417480201023627885862275469522\ 31788493744491094269114160858310192608027/9208724271813778807466595\ 9072017233257422913479610114645316562438874819929364592604248838056\ 9652*c_1001_8^7 - 8097156185825375210701072023423235530974043823183\ 79844770371658332157413047220835360474126440351/2302181067953444701\ 8666489768004308314355728369902528661329140609718704982341148151062\ 2095142413*c_1001_8^6 - 1302571362062712641314711140400748762572700\ 20007045558407544309334155740468327408443069960172988/2302181067953\ 4447018666489768004308314355728369902528661329140609718704982341148\ 1510622095142413*c_1001_8^5 + 6026466398381627060324277408167286027\ 4629639624860242933680051542090473091508676426943210182015/31754221\ 6269440648533330893351783562956630736136586602225229525651292482515\ 05031932499599329988*c_1001_8^4 - 722224381839204916093470616336325\ 397555167317263309518495257564818552663252115702105632642158759/920\ 8724271813778807466595907201723325742291347961011464531656243887481\ 99293645926042488380569652*c_1001_8^3 - 6453345572708398065780040696487041763700450869672066509480068782244\ 58471256681808599852842175461/2302181067953444701866648976800430831\ 43557283699025286613291406097187049823411481510622095142413*c_1001_\ 8^2 + 2246052149662999414986644772864388374446478407492652177003282\ 5001084775594913463089107884974491/22460303101984826359674624163906\ 642257908027677953686498857698155823126812040144537621667818772*c_1\ 001_8 + 15130288297230690191700052584462195677591948580238786589413\ 8005302845480022993167845906046236561/23021810679534447018666489768\ 0043083143557283699025286613291406097187049823411481510622095142413\ , c_1001_1 - 657541713847482217603835137413732105108697557895572272415087\ 9700153185621086664321436195391/18417448543627557614933191814403446\ 65148458269592202292906331248777496398587291852084976761139304*c_10\ 01_8^28 - 652383447390339940558386042272245059892274709262697224838\ 8904135768705681113054982645881398/23021810679534447018666489768004\ 3083143557283699025286613291406097187049823411481510622095142413*c_\ 1001_8^27 - 2524618876967654944515733348565242064154774392016235378\ 9944663674525030636463137733838905437/23021810679534447018666489768\ 0043083143557283699025286613291406097187049823411481510622095142413\ *c_1001_8^26 - 5569697207243354143196429344739350833431285645859686\ 61030727979681810631776170428350142733977/1841744854362755761493319\ 1814403446651484582695922022929063312487774963985872918520849767611\ 39304*c_1001_8^25 - 11607980777872705390220016571934297972025094200\ 63039914256538884439464817477013027227365664771/1841744854362755761\ 4933191814403446651484582695922022929063312487774963985872918520849\ 76761139304*c_1001_8^24 - 36213795071403683938889507281449277047087\ 911572984647759836479481646576532942082184245598407/317542216269440\ 6485333308933517835629566307361365866022252295256512924825150503193\ 2499599329988*c_1001_8^23 - 411847121475224872066079856859605176675\ 3548202136719511468762791720286020511996895295607970131/18417448543\ 6275576149331918144034466514845826959220229290633124877749639858729\ 1852084976761139304*c_1001_8^22 - 438113912492157724298959419975570\ 2395875537794543738576447358324836676642260152227152697419537/92087\ 2427181377880746659590720172332574229134796101146453165624388748199\ 293645926042488380569652*c_1001_8^21 - 4081853385197888476863186147346805303465703952829335394750817841290\ 920368173457262201219279563/460436213590688940373329795360086166287\ 114567398050573226582812194374099646822963021244190284826*c_1001_8^\ 20 - 10397019588036671060392958950542783285634347544080148855966719\ 003195944631249560769417743249701/920872427181377880746659590720172\ 332574229134796101146453165624388748199293645926042488380569652*c_1\ 001_8^19 - 33426512858820263750723887011295216732330988224647492116\ 73814688509988137826845975050675688027/9208724271813778807466595907\ 2017233257422913479610114645316562438874819929364592604248838056965\ 2*c_1001_8^18 + 133394463163133999516804808684371640065212425853118\ 10811321135902789189423845109626682917777771/4604362135906889403733\ 2979536008616628711456739805057322658281219437409964682296302124419\ 0284826*c_1001_8^17 + 935482125920436528415868877360985773523389731\ 80635129704912160809742727613371758657939163522011/9208724271813778\ 8074665959072017233257422913479610114645316562438874819929364592604\ 2488380569652*c_1001_8^16 + 210734152273759877923348320012936355102\ 496106054702010365467419916482647108747745074935268625267/920872427\ 1813778807466595907201723325742291347961011464531656243887481992936\ 45926042488380569652*c_1001_8^15 + 4042756700024778926067560741917987834779022583171165657660391406359\ 47761524098315260103437594245/9208724271813778807466595907201723325\ 74229134796101146453165624388748199293645926042488380569652*c_1001_\ 8^14 + 126351399714073843737399987238832510749247135297084488424620\ 1481418107600555059042718399908104795/18417448543627557614933191814\ 4034466514845826959220229290633124877749639858729185208497676113930\ 4*c_1001_8^13 + 167989482792464137441004609432945838383068765888574\ 9733277333279833083698564060004960441183974557/18417448543627557614\ 9331918144034466514845826959220229290633124877749639858729185208497\ 6761139304*c_1001_8^12 + 118777273098379246756786508503143112879350\ 3990476930414327762364417957731483134178963472779173653/92087242718\ 1377880746659590720172332574229134796101146453165624388748199293645\ 926042488380569652*c_1001_8^11 + 2396951895840192891892358083273029\ 941990811697967088689160751320016089366237799401150208852139463/184\ 1744854362755761493319181440344665148458269592202292906331248777496\ 398587291852084976761139304*c_1001_8^10 + 1795165963104879680176717035045237697852676830141278044669106331375\ 731750092468826228503444537979/920872427181377880746659590720172332\ 574229134796101146453165624388748199293645926042488380569652*c_1001\ _8^9 + 488708952878950418568551355125341985431724113182178420752762\ 91236095616039106277555802540543165/2246030310198482635967462416390\ 6642257908027677953686498857698155823126812040144537621667818772*c_\ 1001_8^8 - 31818542162159121506902615129385316571554974823307407578\ 24367610350594078999241082065533618603591/1841744854362755761493319\ 1814403446651484582695922022929063312487774963985872918520849767611\ 39304*c_1001_8^7 + 505717442105134326271676809623937637821609050172\ 455790120583345349948008116842616993739999602894/230218106795344470\ 1866648976800430831435572836990252866132914060971870498234114815106\ 22095142413*c_1001_8^6 + 210241078256145532656067518368210596109383\ 1796763643229488227954540420407189329685668567766868629/46043621359\ 0688940373329795360086166287114567398050573226582812194374099646822\ 963021244190284826*c_1001_8^5 - 20814795366823620661333781672713960\ 0445175937768667565668177689221828418142542371607161819153779/63508\ 4432538881297066661786703567125913261472273173204450459051302584965\ 03010063864999198659976*c_1001_8^4 - 7323227343960063669263242396290432674534327462578070526136956752681\ 336794550592020457627282159081/184174485436275576149331918144034466\ 5148458269592202292906331248777496398587291852084976761139304*c_100\ 1_8^3 + 62430897548305722533264417466331802079279763484548715788384\ 82481950256518811980510330702451273179/9208724271813778807466595907\ 2017233257422913479610114645316562438874819929364592604248838056965\ 2*c_1001_8^2 - 3607280652513720783088880030353789953849425385757616\ 7214601185463912818527896933897668980148827/44920606203969652719349\ 2483278132845158160553559073729977153963116462536240802890752433356\ 37544*c_1001_8 - 29036985080796934490226662095340480324798104169973\ 3382938066989410347208747619787279046980186022/23021810679534447018\ 6664897680043083143557283699025286613291406097187049823411481510622\ 095142413, c_1001_2 + 152851848539447204279044028074280521407997213929671481853307\ 80250039464548901476022301584025/1841744854362755761493319181440344\ 665148458269592202292906331248777496398587291852084976761139304*c_1\ 001_8^28 + 43885162827771264143640228612818260613374705744311451405\ 910454502417030442295362556216008719/460436213590688940373329795360\ 086166287114567398050573226582812194374099646822963021244190284826*\ c_1001_8^27 + 12635701657685576366225654036297963081046876416375626\ 5254662077223228988711236871875233549588/23021810679534447018666489\ 7680043083143557283699025286613291406097187049823411481510622095142\ 413*c_1001_8^26 + 4056483197523753376261627637784469878841077778559\ 296014750811627164082602110908745089421245835/184174485436275576149\ 3319181440344665148458269592202292906331248777496398587291852084976\ 761139304*c_1001_8^25 + 1281348333232333886570504706701183423429790\ 6516451549925627429998229311492173035818667723951033/18417448543627\ 5576149331918144034466514845826959220229290633124877749639858729185\ 2084976761139304*c_1001_8^24 + 593611803838917580893828993659501942\ 822839976617190359325288448695576735335040598301945621747/317542216\ 2694406485333308933517835629566307361365866022252295256512924825150\ 5031932499599329988*c_1001_8^23 + 845077558184024870937128498426042\ 38905760558589190564591227017313154384365636191021710435251185/1841\ 7448543627557614933191814403446651484582695922022929063312487774963\ 98587291852084976761139304*c_1001_8^22 + 9941304302720957409656023777677863028171664338632751127070691760404\ 2847947485410111437399018069/92087242718137788074665959072017233257\ 4229134796101146453165624388748199293645926042488380569652*c_1001_8\ ^21 + 1129887092750773397195553850745074875398261206581395747509710\ 45820404793380320756784849948214385/4604362135906889403733297953600\ 86166287114567398050573226582812194374099646822963021244190284826*c\ _1001_8^20 + 486554701176266729169698631039020209733543131384355546\ 906383835895305180666568126521608519025297/920872427181377880746659\ 5907201723325742291347961011464531656243887481992936459260424883805\ 69652*c_1001_8^19 + 97286331909310960271437068040544060043600454216\ 7946677398138897104218907976374869870691923636553/92087242718137788\ 0746659590720172332574229134796101146453165624388748199293645926042\ 488380569652*c_1001_8^18 + 4472492576048465314008189734430953713105\ 49837707773439033025279769031954347896728999458536052361/2302181067\ 9534447018666489768004308314355728369902528661329140609718704982341\ 1481510622095142413*c_1001_8^17 + 302579919266646465327919820902435\ 5327967773916293068841307884781597592230568127592360816154913749/92\ 0872427181377880746659590720172332574229134796101146453165624388748\ 199293645926042488380569652*c_1001_8^16 + 4731265793643519033149722006519088767093918385060130859410409750378\ 019536391380687774687800563243/920872427181377880746659590720172332\ 574229134796101146453165624388748199293645926042488380569652*c_1001\ _8^15 + 68333135015576178044116410836468149415007529398030121792374\ 06325374219115521488993705625696423985/9208724271813778807466595907\ 2017233257422913479610114645316562438874819929364592604248838056965\ 2*c_1001_8^14 + 182812629813952437951208080007899079625527097093329\ 40856439977744515406335811968664280144850263811/1841744854362755761\ 4933191814403446651484582695922022929063312487774963985872918520849\ 76761139304*c_1001_8^13 + 23016183431001151900513158561685923428901\ 142587470505059041888529788876999856178590556550522597281/184174485\ 4362755761493319181440344665148458269592202292906331248777496398587\ 291852084976761139304*c_1001_8^12 + 1350565342936985902679888495625090959837338337632002878001290970618\ 3483721334186479122802918814897/92087242718137788074665959072017233\ 2574229134796101146453165624388748199293645926042488380569652*c_100\ 1_8^11 + 2981983917549057418057341617810201073945473921229166420357\ 1381121065030622713589386652626645217135/18417448543627557614933191\ 8144034466514845826959220229290633124877749639858729185208497676113\ 9304*c_1001_8^10 + 148569868250736748515516072350821337511854301873\ 83815218899965182748936082626357352088880737864777/9208724271813778\ 8074665959072017233257422913479610114645316562438874819929364592604\ 2488380569652*c_1001_8^9 + 2679673267774257897521780324826126122544\ 82985850278271599259574867979251571750580919961435721493/2246030310\ 1984826359674624163906642257908027677953686498857698155823126812040\ 144537621667818772*c_1001_8^8 + 19838535218419841378180217032696409\ 374308995592423451304560844874828001931040806766688011633212909/184\ 1744854362755761493319181440344665148458269592202292906331248777496\ 398587291852084976761139304*c_1001_8^7 + 6248468255929532891235401751609682219133695234951683728101658819887\ 213773579173722095101651046851/460436213590688940373329795360086166\ 287114567398050573226582812194374099646822963021244190284826*c_1001\ _8^6 + 173412330929148015567756676497643702718229118547594451485370\ 8463830714752670522723822237339929233/46043621359068894037332979536\ 0086166287114567398050573226582812194374099646822963021244190284826\ *c_1001_8^5 - 35979086396572839748174971848681562016036025260484768\ 4212841257855631949931053513983280708866799/63508443253888129706666\ 1786703567125913261472273173204450459051302584965030100638649991986\ 59976*c_1001_8^4 + 644050367557373593009370301105539009888266769512\ 6397665606858390873528106162943648211226700971991/18417448543627557\ 6149331918144034466514845826959220229290633124877749639858729185208\ 4976761139304*c_1001_8^3 + 6265067289124663950725022476001823683239\ 255324136452349209088977499997891770711119782138412991365/920872427\ 1813778807466595907201723325742291347961011464531656243887481992936\ 45926042488380569652*c_1001_8^2 - 154785001357725132528082997432085\ 318546107463286522104944209230332439040020007131054587162497743/449\ 2060620396965271934924832781328451581605535590737299771539631164625\ 3624080289075243335637544*c_1001_8 - 4087926865010764947459168257062821028686957336000355716053648642910\ 39186338377209827286401218197/2302181067953444701866648976800430831\ 43557283699025286613291406097187049823411481510622095142413, c_1001_8^29 + 12*c_1001_8^28 + 72*c_1001_8^27 + 299*c_1001_8^26 + 973*c_1001_8^25 + 2678*c_1001_8^24 + 6673*c_1001_8^23 + 15818*c_1001_8^22 + 36176*c_1001_8^21 + 78662*c_1001_8^20 + 159546*c_1001_8^19 + 298520*c_1001_8^18 + 514322*c_1001_8^17 + 819030*c_1001_8^16 + 1205758*c_1001_8^15 + 1643471*c_1001_8^14 + 2099245*c_1001_8^13 + 2505578*c_1001_8^12 + 2802943*c_1001_8^11 + 2866746*c_1001_8^10 + 2327250*c_1001_8^9 + 1904141*c_1001_8^8 + 2156768*c_1001_8^7 + 1085292*c_1001_8^6 - 638827*c_1001_8^5 + 28263*c_1001_8^4 + 935858*c_1001_8^3 - 161763*c_1001_8^2 - 406944*c_1001_8 - 64384 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.300 Total time: 0.510 seconds, Total memory usage: 32.09MB