Magma V2.19-8 Wed Aug 21 2013 00:15:12 on localhost [Seed = 139355371] Type ? for help. Type -D to quit. Loading file "K13n4558__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4558 geometric_solution 12.70986854 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 -1 1 -5 0 5 0 1 -1 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.861669492745 0.983256880812 0 5 3 6 0132 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 -5 0 -4 4 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.640078340027 0.602365045546 7 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 4 0 -4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515348583897 1.112594870079 10 1 11 0 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 -1 0 1 0 0 5 -5 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.576379872794 0.609113131891 7 5 0 12 3012 3201 0132 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 1 -1 0 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716349078657 0.805107802909 11 1 4 8 2103 0132 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483264312498 0.699252212254 10 12 1 7 2103 3120 0132 3012 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 5 0 -5 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592016828329 0.497055313603 2 11 6 4 0132 2103 1230 1230 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.116192539065 0.853619769498 9 5 2 12 0321 2310 0132 0213 0 0 0 0 0 0 0 0 -1 0 1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 0 4 0 -4 0 0 4 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.243053260415 0.843392393403 8 11 10 2 0321 3012 3012 0132 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 -4 4 -5 0 1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447012749493 0.826732987777 3 9 6 12 0132 1230 2103 3120 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 0 5 -5 0 0 0 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649978270114 1.049385939375 9 7 5 3 1230 2103 2103 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 5 0 0 -5 4 -4 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526897908108 0.780844682113 10 6 4 8 3120 3120 0132 0213 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 5 -5 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.749953008737 0.654573057943 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_12'], 'c_1001_11' : d['c_0011_0'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_1001_12']), 'c_1001_4' : negation(d['c_0101_11']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_1001_12']), 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_11']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_6']), 'c_1010_11' : negation(d['c_0101_1']), '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_1100_8' : negation(d['c_0011_6']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0110_5']), 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : negation(d['c_0011_6']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_5']), 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : d['c_1001_12'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_12']), 'c_1010_0' : negation(d['c_0101_11']), 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : negation(d['c_0110_5']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0110_5']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_9'], 'c_0110_10' : d['c_0011_9'], 'c_0110_12' : d['c_0011_9'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_9'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0011_12'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : negation(d['c_0011_9']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_12'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10']})} 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_12, c_0011_4, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0110_5, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 4188780268312242236831079189369081060820044103131334854043904906599\ 4838205710767233877068215854751229623655136070533/49722097536890565\ 1474451619062426019499777159277270091611959431160910796641235067500\ 9632210652309232606530473175*c_1001_12^30 + 1759058582092588659094090684878560170352703718940577001762169786279\ 701383531153739531178281275302057242950574014551/497220975368905651\ 4744516190624260194997771592772700916119594311609107966412350675009\ 632210652309232606530473175*c_1001_12^29 - 5249475752733500834720284533065954242535704017540217929712093994442\ 8086160032713011796653593603643842537804238016072/16574032512296855\ 0491483873020808673166592386425756697203986477053636932213745022500\ 3210736884103077535510157725*c_1001_12^28 - 1042110637228050222969876117075747417709123555389749853859170327448\ 37290442949641054350084646323051781555104105890592/4972209753689056\ 5147445161906242601949977715927727009161195943116091079664123506750\ 09632210652309232606530473175*c_1001_12^27 + 2281935551773526209840245089071175755141137581579604926375116684453\ 60803296806188207510270730308234040993868404459861/4972209753689056\ 5147445161906242601949977715927727009161195943116091079664123506750\ 09632210652309232606530473175*c_1001_12^26 + 1535158537990343130803844578121648868333827401806006461163104788532\ 36355029738367764618113937299973305072729288635032/1657403251229685\ 5049148387302080867316659238642575669720398647705363693221374502250\ 03210736884103077535510157725*c_1001_12^25 - 2785431896718004125122667587350034319310682444392538327351385474803\ 750889814352153351185143296716336013795531271512/194988617791727706\ 4605692623774219684312851605008902320046899730042787437808764970592\ 0126316283565618064825385*c_1001_12^24 + 5363396738173935730924942250674106868904172164076365118796276313296\ 91855117917066592640899036759181775490873579978456/4972209753689056\ 5147445161906242601949977715927727009161195943116091079664123506750\ 09632210652309232606530473175*c_1001_12^23 + 7997776110268479599138336194986650045362253678802525763249949990144\ 4154633974857568019816024649222913263501899381047/16574032512296855\ 0491483873020808673166592386425756697203986477053636932213745022500\ 3210736884103077535510157725*c_1001_12^22 - 4338798765129384325377688484303842657455528984176169976734117272573\ 83612261240291450619516513072402121380361492936201/1657403251229685\ 5049148387302080867316659238642575669720398647705363693221374502250\ 03210736884103077535510157725*c_1001_12^21 - 8105703442707567841628524000657527473117058774701795467805509038920\ 3914882497202826109578353050184766388165896954978/33148065024593710\ 0982967746041617346333184772851513394407972954107273864427490045000\ 642147376820615507102031545*c_1001_12^20 + 4773618866185374529942712073526962398807831173928293930371063502004\ 805184680987897685471836809479541704193410551632771/497220975368905\ 6514744516190624260194997771592772700916119594311609107966412350675\ 009632210652309232606530473175*c_1001_12^19 - 5940399882098104457109750253090147464116933831195650238410216950404\ 46531654474739735213016039923082816618561575230583/1657403251229685\ 5049148387302080867316659238642575669720398647705363693221374502250\ 03210736884103077535510157725*c_1001_12^18 - 2732179343987753389919529491283756162930712904022318406573916588182\ 50997508161918293297683735221267636617471911252989/3314806502459371\ 0098296774604161734633318477285151339440797295410727386442749004500\ 0642147376820615507102031545*c_1001_12^17 + 6349330735223500442634083574253610134595978533527136920692445815960\ 8404347123573903490487365666633786365091014673127/19888839014756226\ 0589780647624970407799910863710908036644783772464364318656494027000\ 385288426092369304261218927*c_1001_12^16 + 8004305416466356828824277469751652769661116177844952660017567200112\ 015598164575010025573371959157275375876212957948987/497220975368905\ 6514744516190624260194997771592772700916119594311609107966412350675\ 009632210652309232606530473175*c_1001_12^15 - 4560441441290371300237429004019082971287872877860024478905130115758\ 665676428599858740356401423259124709394572419191882/497220975368905\ 6514744516190624260194997771592772700916119594311609107966412350675\ 009632210652309232606530473175*c_1001_12^14 - 4442235928517849812289686684846897781488616497380418863886214420917\ 23824735315270017388009519144289724091633686327403/2161830327690894\ 1368454418220105479108685963446837830070085192659170034636575437717\ 4331835245752575330718716225*c_1001_12^13 + 3926186507812522874954170814497088197494664679359480667342282981012\ 792842451782264307277149028078391167694292995291112/497220975368905\ 6514744516190624260194997771592772700916119594311609107966412350675\ 009632210652309232606530473175*c_1001_12^12 + 1070082433812197530970074039483736331129703072410015503306689389629\ 1716101582327497530111138165354811897043358967563864/49722097536890\ 5651474451619062426019499777159277270091611959431160910796641235067\ 5009632210652309232606530473175*c_1001_12^11 - 4629350465430271487524022380732985875523927089608601596161386403614\ 31386929351094239967624453126769273727483168147244/4972209753689056\ 5147445161906242601949977715927727009161195943116091079664123506750\ 09632210652309232606530473175*c_1001_12^10 - 5611995897864681036826182576033427155606800866008683288041923111850\ 97400217604321038425383719573329676533680687166366/3314806502459371\ 0098296774604161734633318477285151339440797295410727386442749004500\ 0642147376820615507102031545*c_1001_12^9 - 6353502782726766559997289532699049812657909180783605670845494944207\ 38371422549647149668980297175522298502885482164271/1657403251229685\ 5049148387302080867316659238642575669720398647705363693221374502250\ 03210736884103077535510157725*c_1001_12^8 + 4384224484288904950475919288477350571499170972630201967298972397888\ 000963255521972135641096450414513999087153045130008/497220975368905\ 6514744516190624260194997771592772700916119594311609107966412350675\ 009632210652309232606530473175*c_1001_12^7 + 3690228793106933995005227575565935968011938839873441459550009267339\ 54704189683375295293374522402592582250390246405362/9944419507378113\ 0294890323812485203899955431855454018322391886232182159328247013500\ 1926442130461846521306094635*c_1001_12^6 - 5383581649054508892072273897114272544309861672065951767135505526840\ 2802719997346594116669641614571229669937615800677/21618303276908941\ 3684544182201054791086859634468378300700851926591700346365754377174\ 331835245752575330718716225*c_1001_12^5 - 2899342025683421628478240314036239946060358010393835846026993764150\ 69162493046380477731998485033269226488576035621304/1657403251229685\ 5049148387302080867316659238642575669720398647705363693221374502250\ 03210736884103077535510157725*c_1001_12^4 + 9566640570485972442981097141705520652480621468181408689411127358607\ 7912463923252559651157574353896406008037898863319/49722097536890565\ 1474451619062426019499777159277270091611959431160910796641235067500\ 9632210652309232606530473175*c_1001_12^3 + 1994501338135761586642846733460717384349179509562869724365626084401\ 733467052496955369822416544133732583624653312778/432366065538178827\ 3690883644021095821737192689367566014017038531834006927315087543486\ 6367049150515066143743245*c_1001_12^2 + 5834976879740388856469243469053628607015626459867767692274061360238\ 675006959269160310070509744138243917743104255291/994441950737811302\ 9489032381248520389995543185545401832239188623218215932824701350019\ 26442130461846521306094635*c_1001_12 - 3649114919725554033303867733788734876985768733719288318796904458406\ 7803641948562041376820706647464055024973543006282/49722097536890565\ 1474451619062426019499777159277270091611959431160910796641235067500\ 9632210652309232606530473175, c_0011_0 - 1, c_0011_10 - 13824688468295390195593955724039102637092392609573759297506\ 228329152641556668268804209296848218502780704/217630936832610190094\ 4976272777745068251298942832924021345632291191105166105271294296052\ 34611755449631*c_1001_12^30 - 1218513015929472118140557367162900542\ 670849201987806886180677888258704854645039711279259085889271786463/\ 2176309368326101900944976272777745068251298942832924021345632291191\ 10516610527129429605234611755449631*c_1001_12^29 + 5109603309177680329674074857542651578979923016078231877262911323338\ 7670635623317565080682183334771185846/21763093683261019009449762727\ 7774506825129894283292402134563229119110516610527129429605234611755\ 449631*c_1001_12^28 + 354100209148250494363177896476048010874540380\ 65261760528479510407596278735388479951176886245572562417309/2176309\ 3683261019009449762727777450682512989428329240213456322911911051661\ 0527129429605234611755449631*c_1001_12^27 - 7185554848078327616546697220159666846680901712115754844143636611714\ 2332945529883571643864744846710289080/21763093683261019009449762727\ 7774506825129894283292402134563229119110516610527129429605234611755\ 449631*c_1001_12^26 - 498594327013628104615759646624280984268857844\ 17963303483730632330222223595272053806150539712416525620597/7254364\ 5610870063364832542425924835608376631427764134044854409706370172203\ 509043143201744870585149877*c_1001_12^25 + 2296308552773717214546935568798632730576374520855657120988464192305\ 26090346781851354753637890252387471506/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^24 - 17633457651757125256356324322066206398902036\ 8757880139900992901570946295481835950019798692666272629052669/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^23 - 8810813185564619112008462760323130473486973456407321821739741044755\ 8885778361997156491830369206990391631/21763093683261019009449762727\ 7774506825129894283292402134563229119110516610527129429605234611755\ 449631*c_1001_12^22 + 141163176139869222495916323999287732343342750\ 679318793653013344397082243694236833218201448945739042589633/725436\ 4561087006336483254242592483560837663142776413404485440970637017220\ 3509043143201744870585149877*c_1001_12^21 + 4065179010258968563366713428915163991860862433816792544695332898993\ 78876226031351018103442847432484924318/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^20 - 15479405878134570188533689678010000066641694\ 62943428568095883985975007293096278657847053887555007587707101/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^19 + 5663275772780572053774157064752357051647076788313838587258580929520\ 82882411349299009125871325237423493413/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^18 + 44854515643080199294935267750058015507458966\ 4327070187828105311652334063139681578550018260884548881637578/72543\ 6456108700633648325424259248356083766314277641340448544097063701722\ 03509043143201744870585149877*c_1001_12^17 - 5187880648092261664375971838748346519631047715244647852979821849138\ 09853789731932182637660228703822731301/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^16 - 26116292415318335882570809441454805008436366\ 75848297155374740637814641554622297010720794132481803338341174/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^15 + 1455553387974333027056198404851869841525870835870823271097229199745\ 809503981578217074529013325969248148753/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^14 + 3320048085786734001204100128430262609396363\ 265737480176046229205493465320112557564490449456208040333586949/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^13 - 4207028946270219521961145947610761929937220671750514003979046013144\ 44747973179003948202763729248987899338/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^12 - 343349619923107038451204999915840681009009825\ 6648611860455023859283901672803307744765546709040569284303959/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^11 + 1854074024702343173332603223091875400127685304013516287290577806431\ 45987855706060065681173719920206071510/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^10 + 26903795956942239967236243611177197664626395\ 90068330718329789153411677886325719707319990113075422739575949/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^9 + 1832816155538206480126997615562894772418495859062718156347218620554\ 77619558270711291494776606023274828680/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^8 - 1419502316083540722840728517227336936573458171\ 839235962733415818863668886893750444529944908398724166665543/217630\ 9368326101900944976272777745068251298942832924021345632291191105166\ 10527129429605234611755449631*c_1001_12^7 - 5414359482710860954398876855095164390357665462188021840574634768090\ 47358637780743034466554218681792230814/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^6 + 423817153425528954959090670170854983635186511\ 716469500505206121082037399713119022120475192721640390538500/217630\ 9368326101900944976272777745068251298942832924021345632291191105166\ 10527129429605234611755449631*c_1001_12^5 + 8606295871090451109832577416113993147860058889064347875800816076310\ 8309775578662517041578902677963759885/72543645610870063364832542425\ 9248356083766314277641340448544097063701722035090431432017448705851\ 49877*c_1001_12^4 - 15335904540834600906733155043458513279760869863\ 616406058481042108977592978692262987530058755160980761481/725436456\ 1087006336483254242592483560837663142776413404485440970637017220350\ 9043143201744870585149877*c_1001_12^3 - 2336628929681821399731171887149633747188366376329159380246401705084\ 0460692737181474135426777795756180140/72543645610870063364832542425\ 9248356083766314277641340448544097063701722035090431432017448705851\ 49877*c_1001_12^2 - 21183400943233056183207006215490869213678320816\ 77748240024695753860145420987082644281757616501843635019/7254364561\ 0870063364832542425924835608376631427764134044854409706370172203509\ 043143201744870585149877*c_1001_12 + 1133587319780091500676312182813622524790083223450539686672537311675\ 9190426759185808104205685657194767182/21763093683261019009449762727\ 7774506825129894283292402134563229119110516610527129429605234611755\ 449631, c_0011_12 - 12837834819277418689909338284940030222179543293448385830148\ 9379332921628650741573885988592331147064654283/21763093683261019009\ 4497627277774506825129894283292402134563229119110516610527129429605\ 234611755449631*c_1001_12^30 - 104238060096724112553800391175946710\ 3414896456659904353588866490941773209487456857753116864424947660480\ 0/21763093683261019009449762727777450682512989428329240213456322911\ 9110516610527129429605234611755449631*c_1001_12^29 + 1594444448248944155904931880951531015695853989501433066083786196906\ 83086185689877011336157955861451048745/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^28 + 330032124421041160171637049722062156313591481\ 190836866777841068302696129068945440261280997599259340386300/217630\ 9368326101900944976272777745068251298942832924021345632291191105166\ 10527129429605234611755449631*c_1001_12^27 - 2263202816209906119847642553612358029046750137048326103468831852762\ 66877786409894687258988170643795412533/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^26 - 140509116287486092576558161488164111850534777\ 2373418412151285169756959997890555104680503768502120005638904/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^25 + 2139162978306625678081637418248563583221488123253217044539068686862\ 071421007513743545093259314925196115112/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^24 - 5373368004717946772819597750816419338108672\ 68063058189554606319352306891263440213066581619144375813633591/7254\ 3645610870063364832542425924835608376631427764134044854409706370172\ 203509043143201744870585149877*c_1001_12^23 - 8221773651430805162742513316383970189098905712800903854280436578125\ 68388318086157855659184438659048536729/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^22 + 39659251149385708285083268662950037712142626\ 98424564711193887717028487228508872961926582977803334506144343/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^21 + 3801580206755194393583912911253288197431288691327417372188684668869\ 143924948025411365827883086951729593852/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^20 - 4821670162771236618382322135954060100687672\ 682998936263964861927475487270831397153463239194044421633182453/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^19 + 5178096833903200855544398104178090073253189998373946329315550093231\ 178241959697791755329367481062276653848/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^18 + 1267701809903442923298510314738208707241168\ 6223971777760746097065970789292074420670861103323122892926115269/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^17 - 4794016195243074597980623163794532075442782725213565377121239179566\ 606522164560754058491317163850345749100/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^16 - 2447289659726155537019982711751121197698661\ 8513475954100050771054026976291459434494241763699692274159838917/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^15 + 4514442942191629082641877700172587152649596873061236748240300061036\ 733989372595877518833194767578846115530/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^14 + 10421018486874999841950974833677855033920836\ 581612125367272585014848842717602219040602553242378853921454647/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^13 - 3897087796619083942494670736819895619552600585286198251572432204152\ 514420445464080855213162984608784226956/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^12 - 10824768233817950848894689242841665452673556\ 904044358747918105047409079470125577011799648299935780490289899/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^11 + 4968409610802115129085178389923562657984266438500073952476942138916\ 64699432830733540422226956491153448626/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^10 + 253962033768713947433528065961646094944917683\ 04913047980971661108584367853716091536724166000183143970628508/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^9 + 5478231836538914969805310848434650469497349676328286854103900787112\ 499711873444080053934866830925553995805/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^8 - 13303441512315442983074919097890922078701018\ 032535901510508864632668300324510414667629299504137767887631128/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^7 - 5286969754945514974132459052294641094091875875060800933032387430136\ 611140864637430647286586192694483742300/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^6 + 12962395456960815474340285947390063749887424\ 87916962219144089547149688011675923956994775521316437554795685/7254\ 3645610870063364832542425924835608376631427764134044854409706370172\ 203509043143201744870585149877*c_1001_12^5 + 2471183967538757114801226667345894130029742018738069432520428067706\ 956321639010812370772163691317244369769/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^4 - 12685017285975416492250741290880815448069562\ 6457739398589786424152708421983582089978040316316386610627578/72543\ 6456108700633648325424259248356083766314277641340448544097063701722\ 03509043143201744870585149877*c_1001_12^3 - 6474708672910868520164560861013201303883185255970702255524064368464\ 96491166191926699101326553142960302255/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^2 - 687501947244298613548893082963849028960107091\ 65932022286502684163511586698900314045944436854448980199994/2176309\ 3683261019009449762727777450682512989428329240213456322911911051661\ 0527129429605234611755449631*c_1001_12 + 1024353427195116260170358677227388044664068458096591610688215173381\ 47187714187861958128500548332727938440/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631, c_0011_4 - 310610120031754676653453463256269080477664374749737268277332\ 82949366840921816320153237536351940816555879/7254364561087006336483\ 2542425924835608376631427764134044854409706370172203509043143201744\ 870585149877*c_1001_12^30 - 213852476261190948022489292675115443634\ 8658281732701415645743757911570613262849540307878505556630058268/72\ 5436456108700633648325424259248356083766314277641340448544097063701\ 72203509043143201744870585149877*c_1001_12^29 + 3480452850566019920488386452341766484752505060320095641264472794151\ 66968640999930830519461226340206436889/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^28 + 23593858450974158043065758010744257120291553\ 0093546996747299376253621826784456189961142406770553654596814/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^27 - 4980965184746338491337931187973503094586281424216058318792464837125\ 75616430860696520631803543926517633916/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^26 - 10176358830750870298004658644438052049519108\ 63576251580647424826237238406372832582728468484659199327178824/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^25 + 5221128067008564059106175208382542817379093255242134206648239916752\ 62673483480978201603794327179626412529/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^24 - 117997166155436910685334276980800006763781870\ 1875967509692550700168240780019384820860754725772885935281935/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^23 - 1958528572781918183890937231880859657956612972990612151813977288387\ 32791718722534115617784803260978472522/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^22 + 289076711396244969817519894931682427622592855\ 0996723363487128017127602746571419262540466210196682810448488/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^21 + 9110412617409621315612523317556183370393300863462887443837281246486\ 65497808332874720522444142003742172126/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^20 - 105497741272780944416375038964335705940310692\ 82444912017091528305057448978686242150729957961575631623018777/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^19 + 1284037022790555798653015220896215631809805319337400016793566174207\ 576101343975839116659096630238383009893/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^18 + 92123069392508571282139733342414329235690141\ 75977613166980310916257905894756203184263733904262903272097408/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^17 - 1191957967104236284930130659594888759205602552745001789929909517391\ 061609640278464636797425721056014262589/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^16 - 17785599933086076914753406184528058897743459\ 680742613263966627146430235047633511655416186455964994814343102/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^15 + 1002617964976132506176210333957427097144296543924403858798395567276\ 2319832275083854535898655804006329818710/21763093683261019009449762\ 7277774506825129894283292402134563229119110516610527129429605234611\ 755449631*c_1001_12^14 + 227000738020978473331410118766163414167088\ 57930580695077814988276144473588147033774284824826551898684288414/2\ 1763093683261019009449762727777450682512989428329240213456322911911\ 0516610527129429605234611755449631*c_1001_12^13 - 2913995613652288493079010334265610015024777633104046110770302336062\ 669551362733207807485001955939602341620/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^12 - 23639216027630759252168152252493073773891886\ 648920661133036125647243742613036936932092338884684329315685632/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^11 + 1304502680460510333598906083987611430211954469940152297732305385187\ 218956058986992939556937457844166767814/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^10 + 6188876525294706974783597983103891229052574\ 944505974666664417399558943601450726124825181916880287704265181/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^9 + 3856610379607704638485528058618836492236492385983488592019849300920\ 987071377518110486326526312717793771676/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^8 - 32590609936740259641040034060891509524183425\ 31441929554847028613013561990293190751217086125907699801827639/7254\ 3645610870063364832542425924835608376631427764134044854409706370172\ 203509043143201744870585149877*c_1001_12^7 - 3809938315635507561436058671153220080429673228050789996210471061325\ 814433072276515573573267399413900349388/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^6 + 28809618115414818255321127447261277303935974\ 51996370153931084772438451925094704434343773884534862519504423/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^5 + 1801357896920938060767116405887798765921459635213668683641587232666\ 945349907712093131039983768670904962462/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^4 - 96671832256182348370560556511197718190687110\ 987010652708309426754233195659221357588515149350043006466143/725436\ 4561087006336483254242592483560837663142776413404485440970637017220\ 3509043143201744870585149877*c_1001_12^3 - 4757367571285703654365893595641820368611065251363002777053293148878\ 67059401987665639825271242889174481901/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^2 - 488961109812536876748651812955816204955595438\ 08866274554833814260924143585063059192022359093349678125983/2176309\ 3683261019009449762727777450682512989428329240213456322911911051661\ 0527129429605234611755449631*c_1001_12 + 7549944223689809639559760190573447876786017588208337789937452251025\ 2762704045730958983303961674722620478/21763093683261019009449762727\ 7774506825129894283292402134563229119110516610527129429605234611755\ 449631, c_0011_6 - 666942681413221002150305308209289941460964536989932886264104\ 84124169029196517617352891948743529768948443/2176309368326101900944\ 9762727777450682512989428329240213456322911911051661052712942960523\ 4611755449631*c_1001_12^30 - 37852523862001627055408342735101848123\ 74723752075255192931726469219565776680118520925359331485071516721/2\ 1763093683261019009449762727777450682512989428329240213456322911911\ 0516610527129429605234611755449631*c_1001_12^29 + 8329128034319283181252440276856929037229607226228498024300761928139\ 9172700308481655295703230017060335483/72543645610870063364832542425\ 9248356083766314277641340448544097063701722035090431432017448705851\ 49877*c_1001_12^28 + 1665463635424546016456371142506311190026731875\ 22803752599697747163449871609203721929999072678247407048287/2176309\ 3683261019009449762727777450682512989428329240213456322911911051661\ 0527129429605234611755449631*c_1001_12^27 - 3605781753840300375122268294165212933268772501539839885295030407179\ 05421181018780779428641343885825106775/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^26 - 24254840807550050533911545946045203666744389\ 6367265242219507744559093633136392597829620492250006399088807/72543\ 6456108700633648325424259248356083766314277641340448544097063701722\ 03509043143201744870585149877*c_1001_12^25 + 3768072457977672939006297276164393207829729185332222783032352919327\ 99472394377240382198281029687110363624/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^24 - 849965052964195012672166643729000475630940326\ 433147278406065280998881778873252853338824141758881836141677/217630\ 9368326101900944976272777745068251298942832924021345632291191105166\ 10527129429605234611755449631*c_1001_12^23 - 1383107387734344234138672463639142638626890138618258891227008507049\ 77546442619449279763967691739153350304/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^22 + 693030490396817345529475288919195862836962675\ 980930605264247780571167015915880863034174948845697157483060/725436\ 4561087006336483254242592483560837663142776413404485440970637017220\ 3509043143201744870585149877*c_1001_12^21 + 6467875710663639783700893366675425991467255700279965826519783857504\ 32061875340660874911187324316818286301/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^20 - 758885077670830064387375124091320046977399727\ 2401378788394793768477005976292279715984922789638741715982810/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^19 + 9384984881580532111429098580746127657222688986807630801343589289270\ 26423367425927107221112218888646914515/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^18 + 220349260539766945155696241961872922576262616\ 0405349059157413824090383759717611755241953482608349548874325/72543\ 6456108700633648325424259248356083766314277641340448544097063701722\ 03509043143201744870585149877*c_1001_12^17 - 2623850340394751029959355689946596764484120148744910160567529053455\ 476053019015669803627210791939039166959/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^16 - 1275549223954758345307644818676198336718593\ 9676763991772603001623421999411112743242181910365249746966232384/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^15 + 7309523588954752419676841325364934399188836088122354175567908924692\ 757725175438318683616582711426185875082/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^14 + 1627378411480466422427762148859241081202050\ 3591619718098290476930956237705763874230619180458437692197135772/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^13 - 6427459265017269893298360450484959814441207650548563462335715050019\ 210858980392142771494097254384222761444/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^12 - 1699199647981275212767657180116414083225856\ 5324410676920998164543758704400170764974503337126244581614856885/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^11 + 1074619651349099726719947958007913109587049915451333772792634531875\ 840852681470476838615299075558835940542/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^10 + 4465083494771022924136920304051549639435352\ 063925517131258391608127284294604290604674352509636415147163924/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^9 + 8977465004763188548272570933728289450458818113758854343141336796551\ 07215774313221267414866351919818047798/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^8 - 7084268271470325885616084073742615050908822307\ 673721807574558657790841783783826082713134818291619690669343/217630\ 9368326101900944976272777745068251298942832924021345632291191105166\ 10527129429605234611755449631*c_1001_12^7 - 2717012595414881235292166570512763558344493897155760379833103977659\ 536727680355722116472273174379540935989/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^6 + 21012362339436533168842215759774621181769345\ 90188233442134387926299369605278579913361071452831436315151100/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^5 + 4320257515699591165718098906541677502510860913381250331853105017860\ 40041304300363966253204973309124652389/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^4 - 2162328439417916378133237149898376516461903910\ 83929419990548743633746509746132851629655768300659152630537/2176309\ 3683261019009449762727777450682512989428329240213456322911911051661\ 0527129429605234611755449631*c_1001_12^3 - 3447273682700302307826255933681362325737253757456528812571075043223\ 24051453743893773834943064759145309493/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^2 - 342608777851425883566024180368111158257170071\ 24632909919014682444188368162355999083787841667050219997605/2176309\ 3683261019009449762727777450682512989428329240213456322911911051661\ 0527129429605234611755449631*c_1001_12 + 5498426906676754612834532834979438951464844944605107782672807453604\ 7853380694291912060880397923444805598/21763093683261019009449762727\ 7774506825129894283292402134563229119110516610527129429605234611755\ 449631, c_0011_9 + 744527581131342934783078142126271401973387282036532342329099\ 20889702490942652349448705428881882697031478/2176309368326101900944\ 9762727777450682512989428329240213456322911911051661052712942960523\ 4611755449631*c_1001_12^30 + 36950856596989732395229915504020128550\ 1151598690371434702066797419020451675943046418280923903682672385/72\ 5436456108700633648325424259248356083766314277641340448544097063701\ 72203509043143201744870585149877*c_1001_12^29 - 2818440273600675685430768522030479277413334400613286574788909966110\ 78977380831965124878030607884458788021/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^28 - 58914616800523845744282495991028315181560233\ 426047893717858784203985469063910898242943386782893879740749/725436\ 4561087006336483254242592483560837663142776413404485440970637017220\ 3509043143201744870585149877*c_1001_12^27 + 1394544370906511015704870156493527506985653256157762638312235048683\ 11328690203604129460447679388303530553/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^26 + 269737177575045714853827291289853982777345230\ 387910037755404045914052673733106101835202582172431504620936/725436\ 4561087006336483254242592483560837663142776413404485440970637017220\ 3509043143201744870585149877*c_1001_12^25 - 1298809382449345124042243416428447931080982266491241574306422933872\ 896584275030772338248413658187656982770/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^24 + 9693579268413387053826023041751151189973329\ 61297207535266294499890054625120199401318361173739148067021551/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^23 + 4418108169298865108731817881790443793797705380872721406713908512114\ 47518010239014286318345860953041560564/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^22 - 78639014337893212466274096226891678478614968\ 2661715159508666631888037634355718164140059424950054316848442/72543\ 6456108700633648325424259248356083766314277641340448544097063701722\ 03509043143201744870585149877*c_1001_12^21 - 2101798275569793529999727161024435095263645869066432491808072772386\ 689508762452534756605242963057210206596/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^20 + 8618406642921715174423580695295554020375097\ 553908854379680897753485516016882359164573795918476081406999559/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^19 - 3369471088836487614567766330663511291494966632678012329745915232441\ 087151375325113394387482758115101553365/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^18 - 2482557845347176052838955181694867594415454\ 735582491852004713029896899836775499796499168706874724532756724/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^17 + 1060035239457040153422106176636317400640463393429872250837731914423\ 536171434467713787469156225072755565111/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^16 + 47788643058527674832058720147644147524061938\ 65335006887783575527516736404236577862510373978066519550090421/7254\ 3645610870063364832542425924835608376631427764134044854409706370172\ 203509043143201744870585149877*c_1001_12^15 - 2890235859712504596820573151586952308015145914334562267605316383545\ 831033187999329245207953535600546731005/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^14 - 18275528378189514245483567431762387425850817\ 619816430329766015577475397888432041948336150505254611353201633/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^13 + 7845317143208743258102521362994489815933204376096251250979779210936\ 341645163333476222692312138582236133204/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^12 + 6419136494871301170266070638908638732002463\ 036184338740456990409010619328273634131826845766929723910368788/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^11 - 1746185106309098812510902280554294062273318268737240603380260603436\ 543393330165694495902221307767035144611/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^10 - 1538731585633148146155548384445666638132932\ 9471662882703811424721787540473298029329171045533228698812692062/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^9 - 9194780240172573702659515713107608012045547126041350796765882681435\ 12982265961652573081914752068652951998/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^8 + 2753443787253983984842745738578757838402953844\ 951660519605603837153801866644180761967390448495126642501114/725436\ 4561087006336483254242592483560837663142776413404485440970637017220\ 3509043143201744870585149877*c_1001_12^7 + 1003251949499914409302897153334132176447961077888228301914643669774\ 089431381830085848397192002624085067783/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^6 - 832387463446339199344288132870712609024443045\ 813202044974398419972297044777428501398786955754214134988579/725436\ 4561087006336483254242592483560837663142776413404485440970637017220\ 3509043143201744870585149877*c_1001_12^5 - 4947083777283926247186072206656081629354988569909114646305600600185\ 33268529028744751940823200145933170316/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^4 + 2707765388999032176085192482055318810073496677\ 57505064964135641958752547962386749193676084523009339473031/2176309\ 3683261019009449762727777450682512989428329240213456322911911051661\ 0527129429605234611755449631*c_1001_12^3 + 4020875761889988841272273108781861141237667410635338123156808494476\ 17757240275866448466421725455887510017/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^2 + 370817752695256472525201585026065640307915222\ 21113628446567482685909572023862735011327717050191885321163/2176309\ 3683261019009449762727777450682512989428329240213456322911911051661\ 0527129429605234611755449631*c_1001_12 - 6413820000777712165985766822237639077614683491685962365069264486404\ 8876589279097407151124096936259068011/21763093683261019009449762727\ 7774506825129894283292402134563229119110516610527129429605234611755\ 449631, c_0101_0 + 224640440095928945210607037798574592535034822851148043241542\ 979219464905378878270159756793980907298929131/217630936832610190094\ 4976272777745068251298942832924021345632291191105166105271294296052\ 34611755449631*c_1001_12^30 + 3835841967738295133779905040720847205\ 963135743098201187297233698431427126998921959208835805175819049901/\ 7254364561087006336483254242592483560837663142776413404485440970637\ 0172203509043143201744870585149877*c_1001_12^29 - 8427060150466073750125610836463575878471192011084727720804063742082\ 80746545343421002437532665809240530895/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^28 - 18575323736566694888392593845804805915112638\ 2779763542618813770408191556952482048182082538812014776439213/72543\ 6456108700633648325424259248356083766314277641340448544097063701722\ 03509043143201744870585149877*c_1001_12^27 + 4068593863402983825514683928601145478130163082847412298643287147938\ 68358187236267360908593941542601694742/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^26 + 816429375968691726338308435729860912436258767\ 478857365727984342204082814823566469912579552098497145897062/725436\ 4561087006336483254242592483560837663142776413404485440970637017220\ 3509043143201744870585149877*c_1001_12^25 - 3822185693076139439597035781331163161195932532927553026765233226440\ 640387829156261710421078117893774825248/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^24 + 2871802958339797038772149054454510500074576\ 313909555705338712475038760532684816942430410960388943927777688/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^23 + 1388598804323930417974860307215712528516201696223968192109685358816\ 974985812061421441256119864348148831545/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^22 - 2338873576805063613622435516085901901462093\ 283241627139773647600144342970705322634474611365658300780192262/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^21 - 6509380675652344225738695398789623810141292001945529658747144940074\ 406259841783179423430632317806194370728/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^20 + 2561718371992228509371521653337054817894485\ 6434448863076851072783355342142291277901891016272363925836760086/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^19 - 9576312560878597408351294179086805769437124491337701007562363701796\ 116558295267055966137847341557048726346/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^18 - 7429217353616006494523265711886634593077768\ 257414480004140109069917821338204359560794864630916923218485348/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^17 + 2978543639797110092247741431583079308354164511410064891034125673105\ 016875140830507547369740459530505808183/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^16 + 14333009674844905963088125315126534800037425\ 163475410948430254742509366084950952515734378981279122086227371/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^15 - 8274142085876105492210921051575166518558181111276075802367026698847\ 164283777028467311828162666456237044084/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^14 - 54849273349026293886195283196311861053795861\ 529018792126322387305613920132820514370653418064091620318439344/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^13 + 2191517984107823012465168544172393936396368693801648871663618464768\ 5659787275651814574547521355554887391647/21763093683261019009449762\ 7277774506825129894283292402134563229119110516610527129429605234611\ 755449631*c_1001_12^12 + 191129111638269104034309207843188947275313\ 84022020363098423175406924180983100177841870200294489937801844037/7\ 2543645610870063364832542425924835608376631427764134044854409706370\ 172203509043143201744870585149877*c_1001_12^11 - 3841987552184674683093519858509413097117476931875207311976907628789\ 399420076117173979857476777060630237003/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^10 - 4529011657335638048149383360828529666101290\ 0159524901570828410057772193379400290245870319234889448113822696/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^9 - 2989084777037501209138915319931804652271132198520272355166680745113\ 839117481128877000326445577308869033229/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^8 + 800259361619559093326303226309796088330578399\ 0961398097272808645597372024144147887641819588935125325540507/72543\ 6456108700633648325424259248356083766314277641340448544097063701722\ 03509043143201744870585149877*c_1001_12^7 + 3046977727931904454039224627412560936233589529909705986972041483976\ 217876130669084359911587640103721090268/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^6 - 238056924904087856349282944396282392023039437\ 4041083410535496470556232929695771714702174557684841784782020/72543\ 6456108700633648325424259248356083766314277641340448544097063701722\ 03509043143201744870585149877*c_1001_12^5 - 1461057423967267642372600062739925522534947909182457377714656897946\ 838365550199772192733281265152865075816/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^4 + 742077576048810868528787053072652699581607619\ 242582350049136457893981525071029317944239038797129089726582/217630\ 9368326101900944976272777745068251298942832924021345632291191105166\ 10527129429605234611755449631*c_1001_12^3 + 1169199813930285638223418214551616119349417032300851043164087138904\ 127348299532143550229321103734806886815/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^2 + 11506747588486549247538689930447903186700611\ 8043828074351130783839846582193151665157569226656032677907895/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12 - 1863145535992640264018789840432563038176062497067759339808742763587\ 89507549159772973137857170677039143567/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631, c_0101_1 + 256295813221503634626766638113809741059194629683895148394463\ 791477331702388165971847329949303664856322599/217630936832610190094\ 4976272777745068251298942832924021345632291191105166105271294296052\ 34611755449631*c_1001_12^30 + 1284849392465231129452655025018231439\ 9199974506526618916594226034356620465895649284834133231744281515467\ /217630936832610190094497627277774506825129894283292402134563229119\ 110516610527129429605234611755449631*c_1001_12^29 - 9618281967152471327859802569641306790618455854139401707938082298038\ 72414156054766077043843372874634158711/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^28 - 63510207688097515586075069192642468682182566\ 1803390443933957484660218616137756195315607884340880115680107/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^27 + 4647595948362447416674721086839524885895712830142564113603170132802\ 82608575978309618974725468929526848388/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^26 + 279480799455114263994702250174288511430266856\ 7922608862189507379116763584791906212436235684712874791720758/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^25 - 1454654258802935891787084812094357801820850628457964181531223967375\ 869509970061418101979999899872740587472/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^24 + 32770934945424599634986339787593439302876633\ 57491939524927887305875245980799969918768942857967792405197561/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^23 + 5275197386853713361372512439313463085589723660108000990735158245429\ 25883842843183059227127790151346873076/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^22 - 800956851285159634034461811778286480951598150\ 0921678354461629491478011366056822065211138271826782458282103/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^21 - 2474154010105534476912454776937559710261195304993082067463215697750\ 852567383722060434857801343575828797402/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^20 + 29242322858230542618361814482366665518980177\ 975111771490377114234729512298513800019178460684654453557525315/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^19 - 3646930415334667553883590710776141535879242440294176858221580845599\ 281481083800949038697269517885269141808/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^18 - 25439945725920501062789313546537379647692577\ 021998247413345111718674964175183479373206852278646522734974069/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^17 + 1021300595392298320130704586467797259791557984317741344081974668796\ 0697616478996987731113452864977175705387/21763093683261019009449762\ 7277774506825129894283292402134563229119110516610527129429605234611\ 755449631*c_1001_12^16 + 490740127631686316960044863320773467053845\ 21492685084102244565466149975329338309904978357877035636499176901/2\ 1763093683261019009449762727777450682512989428329240213456322911911\ 0516610527129429605234611755449631*c_1001_12^15 - 9453916521321037354748079666799437425448897558649002283164802613675\ 415351922463199415538421877161006913984/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^14 - 62601359341017194046289736576822518807623047\ 374184454920184442119357865748242798699368701887964999998707613/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^13 + 2505315825999803869155831754939314778171228465677790209127439886115\ 1146596025788899197824532566766684968739/21763093683261019009449762\ 7277774506825129894283292402134563229119110516610527129429605234611\ 755449631*c_1001_12^12 + 218213187176650272505092477232511232813868\ 60591424714937027638003616240994738766837014870672950395533257349/7\ 2543645610870063364832542425924835608376631427764134044854409706370\ 172203509043143201744870585149877*c_1001_12^11 - 4415916270083613423204304816267274935294562621917739776718205318530\ 968805525969298508797819358497452452384/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^10 - 1723995460724979470931992774614569286648601\ 1591435961083413106048270260010386730559086138839518942074894222/72\ 5436456108700633648325424259248356083766314277641340448544097063701\ 72203509043143201744870585149877*c_1001_12^9 - 1022970389404742792909062629124204340661625833133671371545803993547\ 8158620966750280299063092527867221225186/21763093683261019009449762\ 7277774506825129894283292402134563229119110516610527129429605234611\ 755449631*c_1001_12^8 + 2742021878132202572588167165945895319674766\ 9698772480977835776727688233264679776146262020428445457390753434/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^7 + 1043965247467100375645966181959851579968593345286080019677806400641\ 0814396378301110304528545775001680756787/21763093683261019009449762\ 7277774506825129894283292402134563229119110516610527129429605234611\ 755449631*c_1001_12^6 - 2718237208715128385702678754840227446402361\ 588694557917136508057263317107868099619343457031434430783301551/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^5 - 5007254860156688204087231798373662572188267989315307528700517998559\ 843610743119421307510320446883933327132/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^4 + 84484949528688425930419029000571686429183825\ 2945474870027020779396053474721686400072840663855918779813129/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^3 + 1334844126728404964339714306139986609070836729532154355194313024289\ 234602419580278807302911472376279693256/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^2 + 44068193995595959868239159887534627301900979\ 264166984014480769236524077901835590145486413966115352507865/725436\ 4561087006336483254242592483560837663142776413404485440970637017220\ 3509043143201744870585149877*c_1001_12 - 7080655137266992352396451134927013095624696357568927244537292310496\ 0882752764908875115639986078373571254/72543645610870063364832542425\ 9248356083766314277641340448544097063701722035090431432017448705851\ 49877, c_0101_11 + 25290495972001118671582652290406534134854718701091153620050\ 195172379842284843026709996430541552588115659/725436456108700633648\ 3254242592483560837663142776413404485440970637017220350904314320174\ 4870585149877*c_1001_12^30 + 53561630024847132350731378672755029536\ 14500717191749809465148614262134519712465389724964947106551965737/2\ 1763093683261019009449762727777450682512989428329240213456322911911\ 0516610527129429605234611755449631*c_1001_12^29 - 9439667137889018307790678479249050663150669923768645762161209683359\ 4432197051667127601793961740123382889/72543645610870063364832542425\ 9248356083766314277641340448544097063701722035090431432017448705851\ 49877*c_1001_12^28 - 6415143222215481950283496738990894932745832352\ 4071685180001771658337959400363445495751085077455937751989/72543645\ 6108700633648325424259248356083766314277641340448544097063701722035\ 09043143201744870585149877*c_1001_12^27 + 4046896314000402729901551308472015955688047811114805341712064316151\ 38333970852710892581664174893134444885/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^26 + 82838085232619420237967332497939820339536350\ 2744732191014106145061517625272286971036199610730702261438636/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^25 - 1273790678585599805469055944495141778795648580920006986774937906592\ 038473062734625911244918458873263475738/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^24 + 9606498520981416038890823334858580744807870\ 64693096349634393151990285402781181772272716377699700948897211/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^23 + 4789262349785130247800208153371755536828695199905665624707229924747\ 15628580704428307796102205934840329641/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^22 - 23508398313538506558628244286773038304922068\ 99723299592269928413967605244502222167763672359717914136235598/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^21 - 2228185459195561979827573177845726521252844776673903218786410446807\ 820295030021968765817741703116271011957/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^20 + 8582504521522294186350277533763908968529918\ 989207106290537057809480496451267970333068787026218366936696546/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^19 - 3129886868330530890331969606373025036326376393200336767984981781110\ 933726686592715305680666038216509487065/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^18 - 7493549199203832088439176745250296997976544\ 070342679983344393027377185402425988283704610828844289408540917/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^17 + 2899666242295656925009531902672955151010635005707833297099969751502\ 832851261573024300702323422627380558502/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^16 + 4825501120101508601502438645987823495633870\ 173225415666407809108551696271192049907210035982384556285168780/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^15 - 8144980935570162884228579990029482294212799354855311701666903481342\ 228735981018305985805203191013061402232/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^14 - 1846995815490832288483327359724292259309619\ 2980018291014076686542041893740481461302574462074983708374626983/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^13 + 7091042319101861362539520558431682797997999868667595212817858041110\ 963137536809911857276122961714002925455/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^12 + 1922666901569399517109974266685703321806623\ 7256551596814093412626612481836611635427327993454029749712125358/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^11 - 1047403598902199947400924981968193522280410706297449714812484535101\ 150906008229969919195198287508916760200/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^10 - 1509632794061773843904267838815836431339481\ 2271555146009197016432515524500044199044148728471254685399042296/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^9 - 3138797364660333571065426707077088867227653940585033533559621889896\ 048098744928669887582662218826888713079/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^8 + 79480407466915869190863280535604978446446205\ 86204763321578770008721497514911950296223206257729884791356960/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^7 + 1032470963929060523944703259465015127752945553267163669380482951176\ 555867079323892357055837164651848373221/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^6 - 234427824299895682618856952574093449259640336\ 5773564435954595151566300595164913449756978527898947884691307/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^5 - 1464129455786819590710379052189692751588546876819842954949941090297\ 603857320174746314100135528632411270748/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^4 + 23783396545820989945824516671474296436168779\ 5019771078733167581239070644489417785132364234116852826821078/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^3 + 3872141267104152782408090714842489626713102310269931072948997102059\ 33528238472723321903529825126036396595/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^2 + 131317024982698175801573130344894971781803246\ 10530038274410870778409990238976251069003936655083209353782/7254364\ 5610870063364832542425924835608376631427764134044854409706370172203\ 509043143201744870585149877*c_1001_12 - 6158894801521666700413818620972392830296689123253172347145111593818\ 8776186124976608332028192525776128088/21763093683261019009449762727\ 7774506825129894283292402134563229119110516610527129429605234611755\ 449631, c_0101_12 + 49220288511116463802509717865496051401314190412257775232679\ 2935849064332021789692880169649444989026460545/21763093683261019009\ 4497627277774506825129894283292402134563229119110516610527129429605\ 234611755449631*c_1001_12^30 + 212528194039771977624224285524267552\ 7406501641441823971216803135615559913176049691520481171347306209038\ 8/21763093683261019009449762727777450682512989428329240213456322911\ 9110516610527129429605234611755449631*c_1001_12^29 - 6168141630411636640614696919245139257509606078154845523505956294641\ 24166790622326857169831616353724743382/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^28 - 120982919246493680796862725853167812173691993\ 9977821666711097624407480751040776023966022418167963038511711/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^27 + 2695159067014105176084569328448673564938384638131354998331037008453\ 881822380364679672562494194418644687096/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^26 + 1788246334630114627907558318772639419145514\ 687301712273518688200714848641726417525336017454254178106413098/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^25 - 2806839123168638187316214623331785666585062269714424177292113845965\ 268161576325350466111709068348952348030/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^24 + 63151090242101622319931309737151811490954770\ 13470150151925278279853896469450359644958305903256959059950786/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^23 + 1005066615731641976778601199491376037598674907488366327065609040979\ 547384837795850508573879614771200894493/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^22 - 51417109338377299490414491829314146814232326\ 73194107882442641485423142995238275142847801505965511279346995/7254\ 3645610870063364832542425924835608376631427764134044854409706370172\ 203509043143201744870585149877*c_1001_12^21 - 4728607909345308070462636061084503474360553678986619026820232271828\ 603645620449426726405877048944294138989/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^20 + 56319173346870147319324254749041178733707593\ 210431401196686928770673930019101193675554221603451649197530693/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^19 - 7084135269623976224680307171094657604945896078140399555883122846877\ 857898667640899347105752353988160962575/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^18 - 16310891280622837373488424217719778723832547\ 093317995175518394489327096603920603459225112086478629679830684/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^17 + 1988382684297786907076800303012521175165425455852075500805274804663\ 2542910415136866677210890616612985442183/21763093683261019009449762\ 7277774506825129894283292402134563229119110516610527129429605234611\ 755449631*c_1001_12^16 + 943518494265400751474459429403587060125131\ 88318483553426879290699505272571568956923065593204401620966619630/2\ 1763093683261019009449762727777450682512989428329240213456322911911\ 0516610527129429605234611755449631*c_1001_12^15 - 5501656125373128749292605009598849878545462219489491961292000597404\ 0027117794364494935821975401724227421987/21763093683261019009449762\ 7277774506825129894283292402134563229119110516610527129429605234611\ 755449631*c_1001_12^14 - 120354619100743281349953271933224218104567\ 546941802279389662918496561079085851678116173115435523704133324369/\ 2176309368326101900944976272777745068251298942832924021345632291191\ 10516610527129429605234611755449631*c_1001_12^13 + 4883357998971142470855931597805141868991586572702343021458687684850\ 5688050294759758866435870521569721666595/21763093683261019009449762\ 7277774506825129894283292402134563229119110516610527129429605234611\ 755449631*c_1001_12^12 + 126042355459917561323255279678951864020035\ 038271165277472835814048576382001353382891553775181725730334314575/\ 2176309368326101900944976272777745068251298942832924021345632291191\ 10516610527129429605234611755449631*c_1001_12^11 - 9049916250724097418101481390555879761063388277567801249977441180106\ 625998599179800728701314644787740905071/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^10 - 3326542034838510441394292505432266126673751\ 1595128146365594514812202817179059225239110953162493592325863861/72\ 5436456108700633648325424259248356083766314277641340448544097063701\ 72203509043143201744870585149877*c_1001_12^9 - 6463804051220639613016794994608201738405865320774709975055659293200\ 183323191398713474507604227990877258137/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^8 + 530291326490541832823712974279305197941392474\ 33491282297897095614050737661819553959014190577439682771534838/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^7 + 2002661851619163860641978267073183283064079503848345729204219215013\ 8329885962841316009924682822506630330743/21763093683261019009449762\ 7277774506825129894283292402134563229119110516610527129429605234611\ 755449631*c_1001_12^6 - 1581666238024393252359943897934919067781566\ 9193548110145628428552155368669577897858492452267778483657969313/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^5 - 3217750998380781770832103783902076392238732513392751158994527202194\ 397872409277747568610655492443049932747/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^4 + 165275765695581244537082488470857111381834634\ 6485271250639551758752047888994377360828515639515253249360950/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^3 + 2580116053813187263009621185679780897401146130140946860759233064411\ 385169539716519724645589865456551083899/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^2 + 25198862824416471945317486142139333130640314\ 3987628157398812082992543786017644079552697500071343196577437/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12 - 4106407190095437157247060447592528910118692711311097323950653356393\ 88785756928099318230553153118458083655/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631, c_0110_5 + 936609094215115121503387407072768224274825044336623472456463\ 46338781954333224991810706571141016302062264/2176309368326101900944\ 9762727777450682512989428329240213456322911911051661052712942960523\ 4611755449631*c_1001_12^30 + 14732078529307226096802640078147998859\ 85169176248140934710557691462205337148440118927533998332842375576/7\ 2543645610870063364832542425924835608376631427764134044854409706370\ 172203509043143201744870585149877*c_1001_12^29 - 3517442044935481958512261607087510994319657153412680267098321453912\ 64290042674646884884715306582473315259/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^28 - 77186865976121213121393227605585999069204671\ 837965343824774964422290309384780547629845157721640006811733/725436\ 4561087006336483254242592483560837663142776413404485440970637017220\ 3509043143201744870585149877*c_1001_12^27 + 1702036584687184682926189715496090909394257211960714397805901779036\ 78508687599726653303430152496067888652/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^26 + 340564504784436849862596641447768086424310815\ 917600714073998167266024443475761672337720747341732506294034/725436\ 4561087006336483254242592483560837663142776413404485440970637017220\ 3509043143201744870585149877*c_1001_12^25 - 1596692334226368471369187273875433066539501776875903675844509567268\ 914722390985842268030549982900394633676/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^24 + 1199657847821852284164713533893161291498773\ 912644251211854953007545753310168770393350064992972817936012579/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^23 + 5738661974074622705911132088818282790525315817582729580132884742765\ 68020265535739705686548567200381597032/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^22 - 97621517972964809283716772266283442969955204\ 1102866562330633771665002626659322434716177373796519425108596/72543\ 6456108700633648325424259248356083766314277641340448544097063701722\ 03509043143201744870585149877*c_1001_12^21 - 2709743671743950780929575205821963136481797507160900366290793869986\ 602941793299975446361850014420265468255/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^20 + 1069589139484795693181047963234993307149859\ 8020810974061470767514014462097810062037112958448598179237726516/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^19 - 4014001841591406927317743220521431300406277697877171680942251172898\ 568694334296052442647138212145825540195/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^18 - 3097038475574922765392457649759396665605017\ 789299596816290570884381055541883447460814690293415044227480687/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^17 + 1245895891244570123021909835939627877783646752775145299811017195333\ 358246815269148722815193009334529266356/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^16 + 59799015515657557767640173894114133539000886\ 55879630773897251373661924434625856032164663209954865693088605/7254\ 3645610870063364832542425924835608376631427764134044854409706370172\ 203509043143201744870585149877*c_1001_12^15 - 3464860606135803180395970668763231636196916434233219722417482351452\ 233800077600917687200436117193357329010/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^14 - 22879700713012507097960935963053556025994042\ 059042534362268121423077072342136165451685591944263960632821891/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^13 + 9179362193914505425568128345868479131933519716763175547436099348410\ 837354886435066014009782164836799119326/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^12 + 7979094039548582599596148502772244407333009\ 610102659852313829647937282810979854205164770240525168836607671/725\ 4364561087006336483254242592483560837663142776413404485440970637017\ 2203509043143201744870585149877*c_1001_12^11 - 1621257351746209957488551821097195190282938808643054458520383122280\ 448233242958548529374322686100436613296/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^10 - 1891679144971382913599703323222218752149919\ 0580531422953451478286442024727589876090169513083755295445910138/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^9 - 1246347980429839707989010256584091126163546459677638966639309873132\ 290154407276121554851479469942209921464/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^8 + 334107306846226220386875919861303024573221388\ 0650983975448139278812120343130196745350571833986439331365557/72543\ 6456108700633648325424259248356083766314277641340448544097063701722\ 03509043143201744870585149877*c_1001_12^7 + 1272731340339364154728393822210280350451291588891167218304962037444\ 319959173580981449922691916424238763376/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^6 - 992390659238923314395450605331232109242185968\ 673461633725626186759768274811657377230055313397280271158236/725436\ 4561087006336483254242592483560837663142776413404485440970637017220\ 3509043143201744870585149877*c_1001_12^5 - 6098714164937346882086690725530375887241016404352087311075106032631\ 47700361670062127290201074180468274870/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^4 + 3079239950495207371901724657350997354862399639\ 05729040537540818095753023996626842785337254970187564601304/2176309\ 3683261019009449762727777450682512989428329240213456322911911051661\ 0527129429605234611755449631*c_1001_12^3 + 4866776999008377595040395611116646807769863623346947820652866439712\ 41390293473716106111743228607867794192/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^2 + 481461907478102822247382481375605576626042750\ 17975314380177184945184415632340133986616716046570503547015/2176309\ 3683261019009449762727777450682512989428329240213456322911911051661\ 0527129429605234611755449631*c_1001_12 - 7742762916532324714867076001981959692359254987008559798317159654710\ 3147789968258711092992771913692182191/21763093683261019009449762727\ 7774506825129894283292402134563229119110516610527129429605234611755\ 449631, c_1001_0 - 530702024490637744502892739012754923157767553026978710654191\ 24920276300965648567823863621589843279042114/7254364561087006336483\ 2542425924835608376631427764134044854409706370172203509043143201744\ 870585149877*c_1001_12^30 - 833241934675866895011131257151446648822\ 1982667704562978794670681947458591428222591894898096020292662658/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^29 + 5972593544452408428553311864083873640043489263114286104043558978922\ 75223938207996314481072229998108322230/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^28 + 39579802325795037257245305629067182509559648\ 9336763453076826097991580855664109036939804820179937065117724/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^27 - 2881312368105198997975020472934393750948694021323257955203368856779\ 19805354752261947837671306552602609378/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^26 - 173729984159354889598376261527998975376716863\ 6369351331129160247621922904482520327154296108296965701283431/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^25 + 2705848204332674364921792439403344709701693040047488969872782046241\ 931400041285500447935768315639386936976/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^24 - 2032662276507085344315874904960657992648854\ 486095444959043021961572584835285531579111818832823881118476830/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^23 - 9845760972059148327752514054432961726237587092108649855049099899261\ 52390041119645086831175897545920418397/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631*c_1001_12^22 + 49720026081990027917510926068393088356796537\ 87548868791152247176958508667046309202065569393628420245026279/2176\ 3093683261019009449762727777450682512989428329240213456322911911051\ 6610527129429605234611755449631*c_1001_12^21 + 4619996921945670869276843212291984799594889633094926727406691921374\ 677027126409163792232985307320098657831/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^20 - 1814789835284433364515319637892122556749309\ 8681903109560323794081697019190961352755865135005590782626551723/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^19 + 6764130530014406939750648979679410270800780811693124291427237832964\ 368215055206761092322801148951753424248/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^18 + 1579467649393473974053480956791290735798752\ 7134949487465420964133502935596334910776503349346050597757488478/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^17 - 6308317631611956384045383263877014969583081359758556792768335571982\ 771978229093547861288037648887592350261/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^16 - 3047329598722786513714389274623038652316720\ 2393108482198619923880286110602450053236941705290882836770254259/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^15 + 5849263566578767286778532519054636064724817644649842115475742743111\ 257146107538790302374828791143953462498/725436456108700633648325424\ 2592483560837663142776413404485440970637017220350904314320174487058\ 5149877*c_1001_12^14 + 38883677408049185891543428841668200565069541\ 927016304969106043472988323964848259622136348558078498012718026/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^13 - 1546583589499544865261327354882813091784133412409692710210623942547\ 6932534378030748987792039377167384191343/21763093683261019009449762\ 7277774506825129894283292402134563229119110516610527129429605234611\ 755449631*c_1001_12^12 - 135454710749115612199440330622488584555094\ 29171777915288918603206163113358791006487730309939848702554962858/7\ 2543645610870063364832542425924835608376631427764134044854409706370\ 172203509043143201744870585149877*c_1001_12^11 + 2647570996578254098723282826547228018451101019954480453375420310490\ 798520032918430332933347000093633453362/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^10 + 3206916532580291497571251475773762840095882\ 4102892226964132115376019759864653536538617201631723950385204350/21\ 7630936832610190094497627277774506825129894283292402134563229119110\ 516610527129429605234611755449631*c_1001_12^9 + 6406547759473415020038898768533147299299243277944575843883948765362\ 073897595053338981616411018148511811844/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^8 - 16974088844681641326357055590875458331396028\ 466338617413588920781357643040396752556149986223915894025764503/217\ 6309368326101900944976272777745068251298942832924021345632291191105\ 16610527129429605234611755449631*c_1001_12^7 - 6494439175283503659979234299329951709253324574572406678449112658803\ 383701480229588868436449118427311450617/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^6 + 16783058075411263596054065925227183742411942\ 23858122559999026281285523907942457768380817063252135985298195/7254\ 3645610870063364832542425924835608376631427764134044854409706370172\ 203509043143201744870585149877*c_1001_12^5 + 3103589855494945161207624984962878994583230274395014651998427964567\ 846090879799278645235140754905865113527/217630936832610190094497627\ 2777745068251298942832924021345632291191105166105271294296052346117\ 55449631*c_1001_12^4 - 51781577526830321271588233371770990590497128\ 1017350428740973503250770187870465733050684953103895080909898/21763\ 0936832610190094497627277774506825129894283292402134563229119110516\ 610527129429605234611755449631*c_1001_12^3 - 2750708879907556620507002944324832482203954908411087525966156470128\ 60800346174380799128131388577367897481/7254364561087006336483254242\ 5924835608376631427764134044854409706370172203509043143201744870585\ 149877*c_1001_12^2 - 8213406948320283566547559833082082794499751261\ 2213078976848139071908842091930786040848742517336656353091/21763093\ 6832610190094497627277774506825129894283292402134563229119110516610\ 527129429605234611755449631*c_1001_12 + 1313367240496338331529639615210547082286594796329009658882459179921\ 29628545858183814934019094732123769581/2176309368326101900944976272\ 7777450682512989428329240213456322911911051661052712942960523461175\ 5449631, c_1001_12^31 - 596/703*c_1001_12^30 - 2670/703*c_1001_12^29 + 33/37*c_1001_12^28 + 5389/703*c_1001_12^27 + 4232/703*c_1001_12^26 - 18854/703*c_1001_12^25 + 19736/703*c_1001_12^24 - 3728/703*c_1001_12^23 - 25872/703*c_1001_12^22 - 628/703*c_1001_12^21 + 98491/703*c_1001_12^20 - 102028/703*c_1001_12^19 - 42849/703*c_1001_12^18 + 90690/703*c_1001_12^17 + 109442/703*c_1001_12^16 - 198655/703*c_1001_12^15 - 101881/703*c_1001_12^14 + 222933/703*c_1001_12^13 + 117856/703*c_1001_12^12 - 173350/703*c_1001_12^11 - 130999/703*c_1001_12^10 + 99327/703*c_1001_12^9 + 100410/703*c_1001_12^8 - 38902/703*c_1001_12^7 - 48076/703*c_1001_12^6 + 6352/703*c_1001_12^5 + 14647/703*c_1001_12^4 + 1579/703*c_1001_12^3 - 2925/703*c_1001_12^2 - 907/703*c_1001_12 + 523/703 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 18.690 Total time: 18.890 seconds, Total memory usage: 135.00MB