Magma V2.19-8 Wed Aug 21 2013 00:06:46 on localhost [Seed = 3448480534] Type ? for help. Type -D to quit. Loading file "K13n2164__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2164 geometric_solution 11.18653729 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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 1 -1 0 -3 0 3 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.589913056141 0.902918900045 0 3 4 5 0132 3012 0213 0132 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 0 0 0 0 0 0 0 -2 2 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.303097556402 1.096865302422 5 0 6 6 0213 0132 2103 0132 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 -1 1 0 1 0 0 -1 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.785123231597 0.833544098194 1 6 7 0 1230 0132 0132 0132 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 0 0 0 -2 0 3 -1 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.088716261631 0.595412496447 6 1 0 8 3201 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 0 0 0 0 0 1 2 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618785559300 0.304664688356 2 7 1 9 0213 2031 0132 0132 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 -1 1 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478638275034 0.763656536873 2 3 2 4 2103 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401224300191 0.635703964208 5 10 9 3 1302 0132 2103 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 -3 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.268815103509 0.492110013753 11 9 4 11 0132 0321 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.418536720843 0.393735542722 7 12 5 8 2103 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.025474611929 0.388523937119 12 7 11 11 3120 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.032564400196 0.548180913527 8 8 10 10 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.933976814681 0.816534614626 12 9 12 10 2310 0132 3201 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.911689362874 0.892966308455 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : negation(d['c_0101_12']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_8']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : negation(d['c_0011_12']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_12'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(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_1100_9' : d['c_1001_8'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_8'], 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : d['c_1001_8'], 'c_1100_0' : negation(d['c_0011_11']), 'c_1100_3' : negation(d['c_0011_11']), 'c_1100_2' : d['c_0011_4'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_1001_8'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : negation(d['c_0101_12']), 'c_1010_8' : negation(d['c_0101_12']), 'c_1100_8' : negation(d['c_0011_11']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(d['c_0011_12']), '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_12']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : negation(d['c_0101_12']), 'c_0110_12' : negation(d['c_0101_12']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : negation(d['c_0011_5']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : negation(d['c_0011_5']), 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_4']), 's_2_9' : d['1']})} 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_4, c_0011_5, c_0101_11, c_0101_12, c_0101_3, c_0101_8, c_1001_0, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 1464842805819831537563183870240319786650164966442339975730202826679\ 7636235604656927758513181222214470576545479544802598073586150459513\ 898145011332009/198880400461168047022162572398238745195969544825856\ 8446646416258815542713751074366154080860180658624022025499578107451\ 4041117105744239352433615318931836*c_1001_8^21 + 2600939380814188962524046495700873697518622187759363708043650018904\ 7662850677322305513935340990431256358863551323386404905822761940695\ 0069377/20142911528553435895147299240684129317309563154712364771901\ 3944361795163465664645886148869446997837560509688730872674024470642\ 006047635220401529*c_1001_8^20 - 5862176945912667604735854123844970\ 3351128454507138266478681069356046646997295736442219853670830427179\ 1989463587332629758573066107655011345866831189326/49720100115292011\ 7555406430995596862989923862064642111661604064703885678437768591538\ 5202150451646560055063748945268628510279276436059838108403829732959\ *c_1001_8^19 - 4238791432798133766191801680029912665258038575752561\ 5289608071635945910271388807646995850035813031895034430907550419842\ 23185714046626944109653678931962/4972010011529201175554064309955968\ 6298992386206464211166160406470388567843776859153852021504516465600\ 55063748945268628510279276436059838108403829732959*c_1001_8^18 - 1255919956919119440024886935477961539453193887781785716877170990577\ 0376038874657511614619195102784044450258942961667754674136955358287\ 0254248155639411315/19888040046116804702216257239823874519596954482\ 5856844664641625881554271375107436615408086018065862402202549957810\ 74514041117105744239352433615318931836*c_1001_8^17 - 3605359712566880240956787171583942881681009661267970109685479387869\ 8051515349035973614505349833636234992343768379581270714749658044379\ 4477775970887006797/99440200230584023511081286199119372597984772412\ 9284223323208129407771356875537183077040430090329312011012749789053\ 7257020558552872119676216807659465918*c_1001_8^16 - 8028210120742782028233393487688780569262755387248373042561261580449\ 8740463932336158011668484778933231435830139867375349025320329727950\ 4460356601184936723/49720100115292011755540643099559686298992386206\ 4642111661604064703885678437768591538520215045164656005506374894526\ 8628510279276436059838108403829732959*c_1001_8^15 - 1544328200732341810601271970500589253580863945786813775122236835927\ 1177079084395124342127569906568504813526551393200732630307415687744\ 291277442980387589413/198880400461168047022162572398238745195969544\ 8258568446646416258815542713751074366154080860180658624022025499578\ 1074514041117105744239352433615318931836*c_1001_8^14 - 1303138715278741107736878639297109325979411511985454021849026003405\ 5389872345755857663630001176615596431166861952256176702469320433858\ 311966382235940076981/497201001152920117555406430995596862989923862\ 0646421116616040647038856784377685915385202150451646560055063748945\ 268628510279276436059838108403829732959*c_1001_8^13 - 2721126178641794886362595936279006636230445297239127633383563903463\ 9022450416987697733402475683549267408493209156915837380920232153218\ 069924508282141914522/497201001152920117555406430995596862989923862\ 0646421116616040647038856784377685915385202150451646560055063748945\ 268628510279276436059838108403829732959*c_1001_8^12 - 1641280496782475138751333475856114240095745238040372437231943281763\ 8841029715124916621444543563128769931059140309100930457796026327726\ 9893558681808652470451/19888040046116804702216257239823874519596954\ 4825856844664641625881554271375107436615408086018065862402202549957\ 81074514041117105744239352433615318931836*c_1001_8^11 + 1466203743033769041436776642009252896763663467138518429311438498157\ 2997905925365205026050118468688646775634449807150047382988133209395\ 5304191095960271308241/19888040046116804702216257239823874519596954\ 4825856844664641625881554271375107436615408086018065862402202549957\ 81074514041117105744239352433615318931836*c_1001_8^10 + 1393858888958729085861498797397369417425977498464399371286403787131\ 4842676619982088081026036996312719201033791636654789359349576276581\ 79387660539285204015543/1988804004611680470221625723982387451959695\ 4482585684466464162588155427137510743661540808601806586240220254995\ 781074514041117105744239352433615318931836*c_1001_8^9 + 1516321552908205872454386928055455438863701439735779240544145957275\ 4581437337619744156921551049350319201056204240816491451623059376518\ 06757761420003691386167/1988804004611680470221625723982387451959695\ 4482585684466464162588155427137510743661540808601806586240220254995\ 781074514041117105744239352433615318931836*c_1001_8^8 - 9947112515031095425068688977416365441101256434808085041411958115263\ 3548339625508952462431199402366022113913543976264464965446376487392\ 6437000845196476013185/19888040046116804702216257239823874519596954\ 4825856844664641625881554271375107436615408086018065862402202549957\ 81074514041117105744239352433615318931836*c_1001_8^7 - 1015807307824627188459963945355022535983452083603003905398511797453\ 3098003314598345330442232024387326026885701213961899874157960471823\ 48984423918405620688317/9944020023058402351108128619911937259798477\ 2412928422332320812940777135687553718307704043009032931201101274978\ 90537257020558552872119676216807659465918*c_1001_8^6 - 8666751933294077647829470861987610914898617597967991475724767367331\ 3710243289171858559887205864737059524355380275582657609537113090687\ 94499941402612298514935/1988804004611680470221625723982387451959695\ 4482585684466464162588155427137510743661540808601806586240220254995\ 781074514041117105744239352433615318931836*c_1001_8^5 - 6718984974410204865962642591551254649045892704167050546557960545286\ 2654637546437112392974296497798147568013731327511509036454133114328\ 52701709222650953954435/9944020023058402351108128619911937259798477\ 2412928422332320812940777135687553718307704043009032931201101274978\ 90537257020558552872119676216807659465918*c_1001_8^4 - 4978751494373590156060750184522403398380654297046092217855577061251\ 8945100422922009337139130470478323119935642148117960837388129687033\ 26862207232304441266279/1988804004611680470221625723982387451959695\ 4482585684466464162588155427137510743661540808601806586240220254995\ 781074514041117105744239352433615318931836*c_1001_8^3 - 1138271880482843813673642701734385979243213331836328310641470017874\ 4913634743127153364665209612709138886115240056544354745385474765230\ 797515893676927684353027/994402002305840235110812861991193725979847\ 7241292842233232081294077713568755371830770404300903293120110127497\ 890537257020558552872119676216807659465918*c_1001_8^2 - 2864812023273269226676042843511277555517501864892067449127570223085\ 2996752560939672280828810713786306081826002526757880857782510178539\ 378085480415004029021/432348696654713145700353418257040750426020749\ 6214279231840035345251179812502335578595827956914475269613098912126\ 32054653067763168353029400730767802866*c_1001_8 - 2439424282953457870936679728042699201179934049310363323426019918278\ 6261741172389234105354436140086261726924266043621502305095765778429\ 63205044331562657797043/4972010011529201175554064309955968629899238\ 6206464211166160406470388567843776859153852021504516465600550637489\ 45268628510279276436059838108403829732959, c_0011_0 - 1, c_0011_10 - 69983196171989356029398385036245117181282981191459389051007\ 54033674340012040861304646482094882945600007788113412265/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^21 + 6060920637715897617246695767623249369528481759442292742216215273043\ 077959749366573426262052427671427618176959565263/835979238012740666\ 4848875921115978170111678908310945290563461990305452563141826901101\ 43712854323201620562825610993584264389*c_1001_8^20 + 1115407351733829323042700887402916935692465417484995743038968271410\ 864477773506280972521400209929290326137061805534991/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^19 + 5182557376672123634305377853001666095763666335766649070652281281732\ 860680842736372208891570839197359420931564072723441/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^18 + 4466030357379659915813489923391718959689587638885778953938094944900\ 1779218902768198649878075897100004332880222548795564/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^17 + 2172631293274048682345643260187491096628530515806375216908268462959\ 49558034539164828629469180656445932110540466417159381/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^16 + 8852267617829143584898186467732305807709198497997701496092001455731\ 82000219908299555829175034728006597611581406772978804/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^15 + 4634731607614610108876836139725355020277211393819687800471705470867\ 295188231489466296598774304818014527589249533166094334/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^14 + 1096905567220765107353898782595523029743611430621014927296459459477\ 3582588835307656092169739695222582605026858574779018182/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^13 + 1435647069190565375625481959891073239748337714090388297889018940891\ 8762294366569541339973726345460535525327829070621026795/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^12 + 1502488976379898981786995215443372242355520726816110210102627078029\ 8324814769216015481062166930091184140814864759164709724/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^11 - 1517635646758393978955465506431739965706018989792173232221393997434\ 50177944179184054564194030345456546230217910837693270666/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^10 - 3157102346833953336538339088078273582556108425647228520602481763055\ 35484690458996660889085109657154883910673441140245303964/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^9 + 3188193220511732272922928040535622985724459927544025133411470492675\ 26047327342749554417815037986871913292099635843581587730/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^8 + 4258480626069904586052831611748632087408304226369506207964946755561\ 48051246123056840453597525668052335689275693527757601500/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^7 - 6732481793646145000931310233475918956855027686538172647861320649683\ 5086053944040391090239431316743658703283408159721567004/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^6 + 2916296184827000147915744779688445875938881614727820607494021851432\ 468394978234516489247361606248066287203520689634527252897/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^5 - 2029402508032324936130923549453744385140243475681366393020265215268\ 267924350577966566550319155909311304118737394944223418066/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^4 + 3645926214840993555775787418272135400984145637568096080363912340977\ 641609856660434583503902624154200946135333638767720388524/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^3 - 9651294743873532637304237503351380069008739190412343000912036696272\ 56855156424443027506028148073015841491487363922020316433/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^2 + 3540568681609992988199162421879161833031772261677195901639077112206\ 92403256863050203533713832994353305297727122801601180775/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8 - 3785327295935263369307587660525941122477242662071433220573353483724\ 68085888270098479029497217408540035351423526702983036293/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389, c_0011_11 - 12773878154657867536608318687714471148000027916856738987310\ 8171088386979682536748255160703821304393229022662872401/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^21 + 2550535394511170241481520477916052060058308133699787119719054516333\ 92687551799053000913878904898167165173566166543/8359792380127406664\ 8488759211159781701116789083109452905634619903054525631418269011014\ 3712854323201620562825610993584264389*c_1001_8^20 + 2054316721367758665200375599793055713352909302665847842261538961669\ 0822852973671287318964269027134018492596176403780/83597923801274066\ 6484887592111597817011167890831094529056346199030545256314182690110\ 143712854323201620562825610993584264389*c_1001_8^19 + 7210244904066952982359023404122799709513225305629918430673266710557\ 6096736066842444125102901585347581089781216752653/83597923801274066\ 6484887592111597817011167890831094529056346199030545256314182690110\ 143712854323201620562825610993584264389*c_1001_8^18 + 6587678421467471622311272251716230124275242288806820965818048394146\ 10856001292377001225325600994352347346315358415471/8359792380127406\ 6648488759211159781701116789083109452905634619903054525631418269011\ 0143712854323201620562825610993584264389*c_1001_8^17 + 2688042199738941310960405640856252885002526778449413153136490623627\ 739191958415353053734445061239068170716520970430138/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^16 + 9036048793324001636746918610357181298603375781067035045619539060197\ 581594273038125177307707679484170543848113155117370/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^15 + 5138996680675060084176338309013990836285994579752849160668031799528\ 5453714261871580003052491190169001660814136231517681/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^14 + 3877035020555691943191745903923818832162365384397648315327244183328\ 3130316196443945750447450071602619390481912227826220/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^13 - 2781336215843346316645361479450514696512769065948131310240816392431\ 82236950813659321926856217764648171094706410767988426/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^12 - 1052418718441187057736509244660756366771917433032077785640542982402\ 592158684463848287454222057941318730792320333784740551/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^11 - 5080710922699424177322662702131261667327048715814989810219050966312\ 958137829345788039178055221084199901791989688686286847/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^10 - 4836942961220556167972917339605859870772135517141397183022833302702\ 633183148232570292790910276523528022724202090140105337/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^9 + 1996352089750847896777681487689721306316012512274735432183079377333\ 2988497568363826821194848015594506531921226598368687571/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^8 + 3993945010541266707164389374572125950527564345972438318343448383483\ 5820679241707741983492012719929482064136229537233002171/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^7 + 3537022136247818332596452872214451942390109980752803564585466478414\ 5687481699763046358781761899482755668302240371913554219/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^6 + 3223606910866746716287875003868467598350875255779127138288822438826\ 5436149127997713126187101785169059781198492031523868249/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^5 - 2567542541041024544850805302656137263696830189927721680902836414808\ 60394756929294230818892478277596232499527340732961503713/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^4 - 2237549972488699786202511638669485220853627392485394540687433067714\ 83324458609603154074452164663158814405171528211879177656/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^3 - 1680734839585043316114348070829265444942990334563544734416773375284\ 09182169524521358847446022017995962341607875579482944447/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^2 + 2392095847257966223847104448807662245992757371887283582554591970156\ 65271455701717995334240409345910305079105054439431976879/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8 - 1934436867289387258096321097830009189398920465317825044872207294984\ 85506473175814657203252248629650104401958095404214578039/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389, c_0011_12 - 14677841539745630354362817579718021556966415181655393390443\ 8023151333595503950473238696949427946950485625611145004/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^21 + 3845917632203038492021440946783026634671368779107745357302599126485\ 303736393996200933996895919158524921857147568600/835979238012740666\ 4848875921115978170111678908310945290563461990305452563141826901101\ 43712854323201620562825610993584264389*c_1001_8^20 + 2187970453042919069844303699105179061631385978127380775882275085907\ 9552370822133733780863514403688651700722293113144/83597923801274066\ 6484887592111597817011167890831094529056346199030545256314182690110\ 143712854323201620562825610993584264389*c_1001_8^19 - 4855292820292357071844430576996000361102374714905753288399208445601\ 37311906033679711427348130920508477763372535603061/8359792380127406\ 6648488759211159781701116789083109452905634619903054525631418269011\ 0143712854323201620562825610993584264389*c_1001_8^18 - 2091616571648686820567108449031160715538182945929552540744616896827\ 944980447954591691913899406043781085909784798904925/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^17 - 2043053649074360937885667590396220451261157426053330727670060857029\ 3353515853783995414605062470669027936916208710389983/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^16 - 1073602975793432788102227406697721496640474317231665506477080422967\ 87218555939688819162999812179047025287214217493756022/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^15 - 4242066126107927631390359434135251307084204848715081519599335710298\ 97269381027497766729775020392572604604713957883233617/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^14 - 2433012450042566772541122762626830784432495099606955270707295991130\ 565974719500606850473242875427866236653160741160068200/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^13 - 6584110275088229772125474533805682934052382718850842041288748973397\ 623518694277052936806672842470646918477546917506593306/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^12 - 9696504815868723442916497266086914275858813560470756444724186510983\ 701353678485178868036754887037876617972352574507471057/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^11 - 1320101372203665433952863009558751353407416647204728843858132254820\ 9661269655300375146961544238647805939937078946974577051/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^10 + 7342382514521184138920301417348130574974675768542769835934212692365\ 7030327366786371406798253630137239524334654256000820422/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^9 + 2130260806556679336445830965549437619900997018242796277252780425823\ 41664430713790443495948347790922430135491075079710776062/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^8 - 8768001504727536529618495799154747133716823596930418113151932694012\ 2919670902282261578262423940854999494006475844538851530/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^7 - 3709335724579056606782973637162479134609400874515984590816234939615\ 94116447357886515615654822573393147089610793316122669366/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^6 - 1202988693183082389297339283491547967491441381817466138555784429888\ 75084914210376485184972757022488674169610068522222185832/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^5 - 1375142532773572908449077473324315464372469350357612542526125653495\ 971603135102062300991358606615090501406077132372351956490/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^4 + 7959308373419509984733216129729003772199765272092846601968748942521\ 10411647343306278711523053348477602437587308397315150956/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^3 - 1710660035429551588036594658509286174497397678909639677395690117534\ 187716104027036900674767210258197695087261367035545274204/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^2 + 9267042967446140611060897174340388353603617620027542541722045197427\ 654130204096123138410386665012182832380218822320202331/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8 - 1149696431557813710960055131460311311495231616947030086807594556121\ 13112651446264333464692796677175051458486637589803187960/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389, c_0011_3 - 125404774352873312205704594947873246593660722650353914354073\ 5827274800920274280658350235720877933754619867380129856/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^21 - 1385436225589282481051347352421727870578082368284616738813895237985\ 899604022456566612796104853142425679875956329416/835979238012740666\ 4848875921115978170111678908310945290563461990305452563141826901101\ 43712854323201620562825610993584264389*c_1001_8^20 + 1978933619491531952987775005346747430688241738996311880734153541776\ 59975796724293852076100246373697125202676140302234/8359792380127406\ 6648488759211159781701116789083109452905634619903054525631418269011\ 0143712854323201620562825610993584264389*c_1001_8^19 + 1321861863112928019058147858132153025208818568210861071892887739361\ 176355569542834833729364246403959587288718457793233/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^18 + 1049520373810738878043017082630760825192704210783602536343426605484\ 9128628727388314892378931466921165451707826695034831/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^17 + 5844298618601453405173523850102737485898322889136746329533382939198\ 0594791824925648801047183213464442931815503320265184/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^16 + 2645404518447660075493173038450441872204467293634110799780663894669\ 46876587146381502962813372892673537621562814232107955/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^15 + 1296411831034090549289928991920247499314035699170617349084154880086\ 790121429092110117637430695931161549008665323376975346/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^14 + 4242281008213812955018010906207921190000649743291329065146973512216\ 941853328646625364668171717465839482400493582296302915/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^13 + 9635456717403838084069419383964505588472867002146104050364216167169\ 460438831106922028511140776619196369461251913763905403/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^12 + 1670525750577539094368873642310483718591719497497775228684812775869\ 9340178225106629783521178764771760118110261192972319641/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^11 - 8413810608535802934048891737304606180946063616464875059079915557731\ 898198922153767004871592977621907225264152628862362734/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^10 - 9813867798912225382669332416313445129141976738323259112533597742299\ 5379970648136894525906509881219563257761876132502356318/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^9 - 1446338643048203161120604463410520093478557661655393024767072758722\ 43154260254426706705389641023028963674651345104442282641/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^8 - 1001670256769046098609261394816196128254868700925619295504701038619\ 11625506417459032370027186206494860475289659181257136822/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^7 + 1626119225473429650796596824730672560726652996532503206378735078268\ 33486452982199124841608833209318295482537593439866833872/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^6 + 1113723887374193788769626482765423936757081749231566923305150679255\ 563257699401953188936502240612086305561123972434656412907/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^5 + 9832646057757452043946432611264959897112410077796882440554663629804\ 75739781255710253150026109506548436726714011524281987596/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^4 + 1099360320726633802306049730992480257323982499600374104818539038426\ 599949972475161537120361790050362127959423232280296279061/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^3 + 1429166733234725344398463791328428533317979013667240198108190478892\ 001891741900931166276087052191404315861197846805465799155/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^2 + 4670012810828264139681703844464492983210231699451330168136681041656\ 60322100048109680965637079642793526263603204664088018182/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8 + 3838326775486443136895329650939669773001202041418193106242977220534\ 09721406521708579585496671017269769719082202086533946519/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389, c_0011_4 + 130110266115805663659789958167909300934588696876450046454508\ 6561354663082643027392634676610057980464556810238471597/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^21 - 4243280598869524317893821345903459031119836252081230480560592298376\ 321073342321762343061789726108265737741790618721/835979238012740666\ 4848875921115978170111678908310945290563461990305452563141826901101\ 43712854323201620562825610993584264389*c_1001_8^20 - 2042980696412460273453656634388734863454519115866986867271813685104\ 01481427445480953940183596224332525302628690881803/8359792380127406\ 6648488759211159781701116789083109452905634619903054525631418269011\ 0143712854323201620562825610993584264389*c_1001_8^19 - 4670622215735378712812919595057946261549683324859723018408883977474\ 35508790819113502305071747214780604233700583481210/8359792380127406\ 6648488759211159781701116789083109452905634619903054525631418269011\ 0143712854323201620562825610993584264389*c_1001_8^18 - 6057229453595624007168318193775678282003020725606169538139734745449\ 217036291948917438788704061127618504046662951908002/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^17 - 2079240770755749815314062346502335325607357169582918877069079904056\ 1581979506008108121273174822518422619892084545022183/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^16 - 6994656868104116947217885578244465747559807652616006388483915080134\ 3000769109246503887377190169732039850524703115889313/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^15 - 4782469109184204480192398016947209627267233327600264204681475586239\ 21333953757433452674663014369056148984288726173279182/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^14 - 1293614081707865923552488356921446546406168620219964407896010844231\ 0983945860380921763584475437970137944359017150523104/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^13 + 2013574645109172215941334755196072419169290858610519030882465668644\ 785417189614094021273198201770878740462514889039373296/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^12 + 3183163385121955748453057307618712292752932252277631784304408265755\ 213817816757322069296398781744198949449955698317304047/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^11 + 3520706097685240329229691143011843040422504082725617373925162812271\ 0031754321677980519817687721878086641068481095422577668/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^10 - 7488839011250253787772631376688176554311495628443605073679907280969\ 177514363701181789461868481058395956573330365561993701/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^9 - 1903128849108726953378999978261705325777192178683923102243083630529\ 28626419304416250498566325231833978497798510982224082032/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^8 + 8034186001975128034374108810879534969585701779314442067547592145824\ 8241273883886832102858756505341245605292538339863808322/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^7 + 1386506186384692570609963810454858487315469672882795344683492389324\ 58924336905536738003864178120382015432705262985643050114/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^6 - 6783237653048727035655787574791366580416204056014736710296912486494\ 64215153279795529685730631005443359323801924082487219255/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^5 + 1834404938100895457011735606918230890601407027698823306373539061158\ 780203338332687802012244182619475223718355541451589506651/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^4 - 1569211541988797287971653965176101289416625598136155207377876718741\ 281269952173165227760458553597261060946821861875471636246/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^3 + 1502873120221964022205308786485272614454888653394000875002382273857\ 539176004908248894417697833354329723209965747450148553807/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^2 + 1370875069806344495562483180947032498271224640954619940580924198740\ 0572058402852540339649672602494241586529656553048960492/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8 + 1545099850917980919127562211854962862532810038230643492315431598713\ 46219284710227857630760689974083612290254672767138620631/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389, c_0011_5 - 518086310604549717869987643950555571858968680837092207399513\ 5332734917910211010298527783619052412219579960421362167/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^21 + 1142013779084837331438314713577741592037295628262381004707308016343\ 928332834737898293503847704392666248099518431374/835979238012740666\ 4848875921115978170111678908310945290563461990305452563141826901101\ 43712854323201620562825610993584264389*c_1001_8^20 + 8250228189430333218946740154767894179873509151095915275561831244965\ 14043552139430452091551236708781097309896452983349/8359792380127406\ 6648488759211159781701116789083109452905634619903054525631418269011\ 0143712854323201620562825610993584264389*c_1001_8^19 + 4370897540394338548798488930866291657190286324581696883770273827486\ 829283380926053718170569403769827486767908540307137/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^18 + 3611527082089333806353101023026739707890423235871210637146955268308\ 5936555284775973256223984429747400346146972930458599/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^17 + 1851796316028981909994544043093315584137831999204324921617462097118\ 93201576436273702483593814732997093547771220871777272/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^16 + 7838845745109822370643746155228351638284080182408257182435951859324\ 70530795631517038957511450685232113386280243740267369/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^15 + 3979881909170944952387634600237918688409149726435766631025285785553\ 785527651522828645729180046047112394809161630793788990/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^14 + 1086123925045405911748109639386377071324545752559620496557741854734\ 0024239696539895400988668901197189612358697121317245560/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^13 + 1854918256600426613987915545847318564208480041008837999009953722887\ 8547981045281416473734068853436956118749565831309214312/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^12 + 2509661729312457901002767005821052115036153585663804077922282108389\ 0342281609730604115190666984828657805324359411740547191/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^11 - 9392921946093992904582636637376335890119787553060982152633598580625\ 0392820292361344466213331123225118024876337649312796645/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^10 - 2928630666765564780062783819631157999922668182532353809349581213409\ 86722606301148142908352508940693142394198345648092541957/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^9 + 1217775552456008654188044702616434806984842102123618059075523228962\ 1971483853133782503702868749720411326059776775605959065/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^8 + 2627213203705290930506361098036493251702296896897532832204741161763\ 84426014045988077281026155075676745044076113648091624728/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^7 + 2001484495625537429225891598497775999862736133738932336454851238423\ 80834962750320477711092367437887871788456360195285319888/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^6 + 2383493999390767215436152458761956076362262353155204779205670998637\ 550170939992717221162739142043080243405102842097500101698/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^5 + 7112628450955634431123462498884573166281314841007908457064068695660\ 0330750026762091442943578795011015284671831514732209240/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^4 + 3246144169288028304746735346711241289687174217989046416638022060824\ 054329491412378556799837554189722671611384377543178700885/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^3 + 7681948907286561690890367306207612342108110202376617901045429921754\ 52902370143795996907530789264347578523180235462040224793/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^2 + 1965632026603230809161803674096973752943726263483220220608721490825\ 138873893208555818872293557121132662093094933990253221923/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8 + 3742626882310431499280842462701776567139517510202769127699495653232\ 02522244689834606113974269315341407925734190492722445275/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389, c_0101_11 + 35178977315490076205890095604613246608636076439613744651751\ 82104253475668619022634694774828399701274768440929303656/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^21 + 5015320142276775162479167266495836395346155592420652895355667518048\ 927054130078153803002765258767580422136099021739/835979238012740666\ 4848875921115978170111678908310945290563461990305452563141826901101\ 43712854323201620562825610993584264389*c_1001_8^20 - 5612046970717417445315902770436677010453040784665814569934966682342\ 03919592146216186352970559647013805732961442293736/8359792380127406\ 6648488759211159781701116789083109452905634619903054525631418269011\ 0143712854323201620562825610993584264389*c_1001_8^19 - 3891679937625830643649892655550158315233173780404848534351240491143\ 103297200333208398321626598514565726125392499361250/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^18 - 2945360820852705268560948670856931745408391752597498894908078338045\ 1299703446665312863352755866646126650417445936647295/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^17 - 1660941901144571113885247219342714344598276324193703163386885577242\ 77976905314451820569060545188766712422140946428304477/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^16 - 7396268375698561386595136230444127121150336405123807786737140623661\ 37118348021793096927678589199932471019194964633079400/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^15 - 3576102977518248069913900800909989249098746262843403354949725960142\ 085004860993831908592711751858847606565660518326870775/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^14 - 1179814475565290845796878877955041480113291159978906798458297331580\ 6044244437327645206196686085478076136594829051968605644/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^13 - 2465037103547419640952635753813803441916471645854317606435757872780\ 7906001729309723470570535316093927075760763410300527734/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^12 - 3689254216231684224171883115391506280543365958471142649105866050582\ 2667972935943086994003248111933610328547446601127165880/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^11 + 3927770346504489456389246674611335796930256969336086207231533560571\ 5235451473163050497379882069620284020570007117291089115/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^10 + 3119488165220273647407987333692706662443537927654686381021855866947\ 71530077980284437355148556967970331489632438847530983862/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^9 + 3378976517996640116901080758942377250403882449485370420721195317546\ 07763919905604593162939922060575270856830161841238719537/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^8 - 2005665704058602781722819000274996347115666696786371484995685335362\ 76994617004901779157868855286283409982486674552272678479/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^7 - 5575003503350942632294644800506213072723764032745728195668046189882\ 12817991318253137557931163193710696722835872480289739717/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^6 - 2006294240778081431534230881871772833787715806269440778746435906673\ 328333086779425543977467322776380036552505687205157041841/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^5 - 2753533543796461693938979335625910907246884875013849390027967254166\ 105145307125157567941309951502083854074827317413260129501/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^4 - 2132071881607978188271966994032506090951563678935070064088147616171\ 807558830368713323921752749364234742402499078596847569375/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^3 - 3110132938644551817016809997975185016860372955456623034165006059473\ 804126846616559176880490280574462503281585374002777176519/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^2 - 1762778979098043829777717240218028909463822379070927555993643928986\ 911488594877023092690687026110395853104972300238143074016/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8 - 6813286421262562957512556168433266600158124432185975481630427209893\ 03716287894324518293610167745373745678325755683891522451/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389, c_0101_12 + 22654534040575559640246656454626899491179858797930323660029\ 27345449615496504025967399342237431125496889661543403956/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^21 + 7159127472172666434948535916900689960833993180248335199968236544243\ 09563746323433334794646688277811826710996563525/8359792380127406664\ 8488759211159781701116789083109452905634619903054525631418269011014\ 3712854323201620562825610993584264389*c_1001_8^20 - 3623493339500218078717491395563158233425432718597711559830004881974\ 83898756871303678401280219222863700054116647044774/8359792380127406\ 6648488759211159781701116789083109452905634619903054525631418269011\ 0143712854323201620562825610993584264389*c_1001_8^19 - 2105848622580810096320913343388489103020797404392872283497235391947\ 494298789570782161767126575314735207370022222104382/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^18 - 1660830576437329526348305021412812466414038632231361928383154134132\ 4763088493479893198101373095237648141337166586869660/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^17 - 8811576852401636039732125335947666834189167436726839401328938242964\ 4935573285400076207573791612275822868947249194997181/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^16 - 3756436108989212147536996190343570956263927499149482438047975639031\ 51704299654565959641256188540698377629228745794156582/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^15 - 1866863623800334303881956683798151386158857465818060925872719588257\ 321813295519004528926409267158317189011382475972587208/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^14 - 5428486680141104591887864950996385170873119646356823107918927318968\ 773501972378134375745281654242427856581737351776438071/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^13 - 9413081165560889396564854699076880351535922667707769331841278900790\ 922918129300105773054102843012710535340649981061995682/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^12 - 1144136745197274637828649384857164668859833696094656619432781195618\ 1416723926377160036085990357356726150340453088891820509/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^11 + 4325092331293460887631789401231210158049698409921540476115076580538\ 3509680031810656821487010979518212286663412300867813497/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^10 + 1616339236094604559447863262115744535241235998646132154592939003164\ 31609318628079539983023401302422352795602463092790789373/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^9 + 4204734377462057001912649608596763612427227638466037372983765753115\ 5915792574884075099080702919392488216083320281512452137/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^8 - 2265338809092647507624985399415543644217635826777953757883820955680\ 28234656032831593971061622808954907996721709347673619287/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^7 - 2676614040006441080708831842437669439512509561704439295146142348850\ 54409164382890102607914783389693846145562213235351922715/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^6 - 1060957218747540691486464338454868785811822923981201848986158371292\ 273015198495837787561168390508627997357165892542423941075/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^5 - 2086472065564912855136379274517897784044561963514182828032453754665\ 58782988264648413824866453439897460885174932706132210793/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^4 - 5182904461027220381581374620972399644466091166020616514200806575436\ 59573336659881488948436309269805421178452087197775937828/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^3 - 9140352324904861559795067470873972246027943412012618343711218552463\ 89061072164265396111583083394262633527571485107965877440/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^2 + 6376270375105375248261471545621830012135750167415209783398815499917\ 3362870899622748924005072569985819170987263120671295341/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8 + 7547210969784929356789305857408625647944617134450215710601484149159\ 4675698308535564904259697653571790393078085525234737731/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389, c_0101_3 + 105527236369045945668763968363195881218916893748774908286768\ 10282334984637088856443783656521577119117438189315715135/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^21 + 4429041110280304028586897249730134137376119028854628191014465028493\ 476950295762350423164498768552419694993412489948/835979238012740666\ 4848875921115978170111678908310945290563461990305452563141826901101\ 43712854323201620562825610993584264389*c_1001_8^20 - 1683761646943455958847052906452483383212995293697989236156524209883\ 800096690373129700919840408873348818794246307072958/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^19 - 9981505906750946348309881625681801081445230679527561855463871974189\ 790364525288232545157039226259474994787701522996869/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^18 - 7897585425211457885305951374388282833053530114346729229701800488469\ 2757439704702549291387592940880671159953885878449689/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^17 - 4222250979487419317897053724900862601823288058078964952863772591015\ 61915579780191721904917316398143532995196645295232169/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^16 - 1822099462517675722250344550309765001709207295347889918146871012253\ 452227047597731488075682574133823432877639079703401636/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^15 - 9038326011018033135404927008538158652479582387439117343452750283662\ 992510831274224995487099649534794560031945104831636653/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^14 - 2689759115151219425844269535902938106852403646170247051094933714262\ 1201519539055743775446930730775576408376948494310707921/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^13 - 4994449808692015142708163110663217976371750647247435716101416455700\ 8076481253589006462734297038550395629773574066016864186/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^12 - 6855665070497998470180090388434114470644454417382108379979617369166\ 9444796035179489422053789610703164739103778649676672442/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^11 + 1743121509209978461498631769006796969478033472277024265924584104142\ 71801882641295615094602717749236238273906442492218988888/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^10 + 7445835095695532007531216251616715516514259643367522188188545641785\ 14832000567579319780597482804586551973790097659628231350/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^9 + 3438787757510599780861590610354776392367568001582932331813207296830\ 55233262328509358922444214939909828875912512224351923075/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^8 - 7114687338410343152807615133424690486909054862511923990031374046252\ 94847435012217535965396684631609306969281954056852649112/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^7 - 1022759120212357652331408385034592192024658354255219349382431630813\ 842809850753839538155839572260542655397676796941249844729/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^6 - 5183130482886557271721431295801923620806344937833261335987565069984\ 616446616933659708203450274516917331940084483763649059331/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^5 - 2699581449703346572534455404083145516963595880742551832103438478684\ 971750202278961579114678461636375494175676623490846383571/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^4 - 5369856906932563886794404560108562657560426177651842031790029091302\ 940294588929629495123488256348398016991948415826988456985/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^3 - 4852571832114055703713176319728242300982988073875079110108479097321\ 748149726325974798167032781996746693913916183923149075042/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^2 - 2012187491796457682938705913961968224632503425507667429607178286492\ 842388771199629498413736211639274729688076095476876641215/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8 - 1088293041748589692456751847998167880411075772562740291741108303978\ 346439882547054281212457810142060633253267244917981748737/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389, c_0101_8 + 685154120180147929939621032782733150255863396732938497119631\ 6010523006416536910831407785145454998649522162502267261/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^21 - 2215003005512859125225254820840222734857112980334547384913616146557\ 774223355370372492265156508512902696319811996663/835979238012740666\ 4848875921115978170111678908310945290563461990305452563141826901101\ 43712854323201620562825610993584264389*c_1001_8^20 - 1093527647203400132344257850411865145076151557703721935280145520551\ 784925402684147238740536695525601674436339512421847/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^19 - 5668086658701359341489820910701266131873903807257224399492202126292\ 997992748770051920318918970117867898694936608326502/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^18 - 4675192014544528597870200768294835031243405933478734208012556634582\ 9724199350722790341791975303143785418790007347700489/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^17 - 2376936658181484776134210019227113141754646258411708289675274548662\ 42911550392948824044074243127114960047456675127549364/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^16 - 9925870593622576373000413874430027304349672815229367002569081878699\ 69218775847988374992174846907053622898795624266734826/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^15 - 5058938220225402872015872083138880150985631878691195952431639041897\ 192457612516964063328549325210587132193963491049327951/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^14 - 1340206812225021784608011058858206108186860940581710454367189058590\ 4148563554808262942642982570650448841680019315939086382/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^13 - 2094058096699388352838029413271641533153575985975472502017893838231\ 6385813060846594276780399187931182443805375988127620101/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^12 - 2472139457966771326078644942052063669941402082863185854575045729128\ 2026168447701194349098921817129060758787217333672180781/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^11 + 1385625509538027435560179205475864830365277325071700347835580771952\ 40516674523883679417232486106808740290280831890718693615/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^10 + 3891340598286071750430369229813086640053576002501505504195903032291\ 92515017825783032295883363287292123435008095396246124386/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^9 - 1057932413955052936477097074986185365823462909301228856158690066851\ 84382896628959110921866690195949483156608560763870811668/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^8 - 5135280776542658239014681191664106800779986586062548019280140024962\ 70970917025339102031859949608907335183282169372296453030/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^7 - 3036087545214442106689842613814887238923898105862167326030102874647\ 59030393413846124525415391256649488386327385156401102362/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^6 - 3036595054145308386845478708037600672688025752909567221349600294421\ 343479892444892974432334363270554961373130758156749438729/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^5 + 6542599752587520276818460761294289207677741253237538504941395617722\ 96321215475904265558960549294220802712660262571871461576/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^4 - 2849995377499042557302465805299235023764169110358811420167037446725\ 531198209317128304792379570805723343697746330370405237568/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^3 - 7455305610421983243061709081741481675965237598684053773044864479069\ 30860947602593873168739062185181853595774003113524957771/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^2 - 3447898251935531582088553450135757949495736085476920476221856660232\ 64749126658954080395303446329341122465346903979280978444/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8 + 2635630864377449658347532529065629810982011045124403133765758927603\ 54973236823834145564804420731364983892936889113179848333/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389, c_1001_0 - 630914788476086106898466553166691746058395125422011191233696\ 7768724667368777972166880638326775645833865075653771895/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^21 + 1257545648999968913575673829275680874036368849737522722792557844863\ 120835149718786312271211401688531896558588102146/835979238012740666\ 4848875921115978170111678908310945290563461990305452563141826901101\ 43712854323201620562825610993584264389*c_1001_8^20 + 1008553739721955962845032490821304555561627680994178742808176757125\ 689853150022007831136772726809857493500281429232822/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^19 + 5344930053548667318536627399608005854122468093081612707404759736916\ 681276520021928395749595691300719865254933924241691/835979238012740\ 6664848875921115978170111678908310945290563461990305452563141826901\ 10143712854323201620562825610993584264389*c_1001_8^18 + 4348073709035335985189634581598717995208868555100117562549924080814\ 4794622445538453442223613177571487864597530402184454/83597923801274\ 0666484887592111597817011167890831094529056346199030545256314182690\ 110143712854323201620562825610993584264389*c_1001_8^17 + 2229182411586246745457615452303520823623582649316274365485115061828\ 64656768956591742168259846325221642144985077424212204/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^16 + 9314791800661514364593117922535734222618772232230273290241242218566\ 79385768258210476997471370029960555235628352926981699/8359792380127\ 4066648488759211159781701116789083109452905634619903054525631418269\ 0110143712854323201620562825610993584264389*c_1001_8^15 + 4720027267170663401076953037382097521057464513356567843546153186867\ 427518471746345738635681031825040523898829264302290657/835979238012\ 7406664848875921115978170111678908310945290563461990305452563141826\ 90110143712854323201620562825610993584264389*c_1001_8^14 + 1270467794664071094078624854834551604056887842760558370643051751579\ 8296247890871026358167627768500172656031649111692742487/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^13 + 1976492637774454347136506420397561561057537049333479163640251824571\ 3728676011320267170269008501738779558738680916911801042/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^12 + 2214478994498302835810962866476490894337500452077462323174954712002\ 9985106493606557070742437974014330904118787049811612786/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^11 - 1288389621175778958513627025837257360431299055378833754771809113229\ 88724277881103564821528686414856454602143977092862984084/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^10 - 3757193693110900378539920309944512628890988543415090433815750645410\ 31470406432855017130003491729235877244815454443966031580/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^9 + 8723451447164988405677488097040893007859152017348058327606381605931\ 7328265850489204607234784784120887378642546816785576646/83597923801\ 2740666484887592111597817011167890831094529056346199030545256314182\ 690110143712854323201620562825610993584264389*c_1001_8^8 + 5959915749605381957743184394864041491567268036131419794137306534018\ 35141272506471324771879085671202109576395198318601144868/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^7 + 3279247768319677616619986243428030405361594892730622629712089872770\ 36754733464663094860138024843767793727471835703506310671/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^6 + 2512829968156941451777809578895840078190245751061745050475768032208\ 598908071608668895242298011723767685894910922518456820617/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^5 - 4329848742317590264498239468596237204694575620947761827103517068753\ 49245129171195258763466032430144975400915534635088231910/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8^4 + 2414510854599522087333925054294556725953448387905275115191689765626\ 148114840531349328646141832310048291076152404137994577245/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^3 + 1113440758056823315357975507970476870474488739549251943706730470622\ 999371779020533575329459432253033031757043053393404950158/835979238\ 0127406664848875921115978170111678908310945290563461990305452563141\ 82690110143712854323201620562825610993584264389*c_1001_8^2 + 4795677916006106418967715144947274272738385598926777230196475772879\ 22711459744139723065893994270862225826172941399221420651/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389*c_1001_8 + 1213519616090084523751213346141277744341301363908389124144013289496\ 87722385357929244006111559597200770232817496947223268318/8359792380\ 1274066648488759211159781701116789083109452905634619903054525631418\ 2690110143712854323201620562825610993584264389, c_1001_8^22 - 159*c_1001_8^20 - 879*c_1001_8^19 - 7204*c_1001_8^18 - 37499*c_1001_8^17 - 160994*c_1001_8^16 - 810411*c_1001_8^15 - 2300580*c_1001_8^14 - 4224895*c_1001_8^13 - 6049834*c_1001_8^12 + 16718324*c_1001_8^11 + 60531541*c_1001_8^10 + 17084938*c_1001_8^9 - 37194187*c_1001_8^8 - 72678399*c_1001_8^7 - 510501467*c_1001_8^6 - 87226022*c_1001_8^5 - 714855044*c_1001_8^4 - 255826105*c_1001_8^3 - 367701126*c_1001_8^2 - 136346836*c_1001_8 - 49367342 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 11.200 Total time: 11.410 seconds, Total memory usage: 64.12MB