Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 1579139768] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1865 geometric_solution 5.49935670 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.585876555156 0.170117576345 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.839996076441 0.286952655284 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.286350634376 0.620599559874 4 2 6 5 3120 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473314804329 0.503583896487 5 6 2 3 3201 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473314804329 0.503583896487 5 5 3 4 1230 3012 0132 2310 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.009021413651 1.054352944983 6 4 6 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.343890545070 1.488401616398 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 4896994959814218137306763894009275172044183952745562210613955393114\ 4907953547895108823981212071932002812816343713426325093377365200172\ 350781436045340779098807202579/578994729413568057086832869975930428\ 6688886009997868535239654869928904495624056116994733678978982040934\ 535861235415776261968773906980319932699803609305499760441818372*c_1\ 001_3^31 + 98057131481116954279605766963556423014614593688103182339\ 4765208085207792934318070381272377081240092659692738850084490436174\ 782868685049831701327114459700236700723871/115798945882713611417366\ 5739951860857337777201999573707047930973985780899124811223398946735\ 7957964081869071722470831552523937547813960639865399607218610999520\ 883636744*c_1001_3^30 - 1692368396394690192120946139854415819544689\ 1061969346796798636670463071677530466087389780925067150994210636158\ 81770584436609997868353690027546669335275898821591175877/2894973647\ 0678402854341643498796521433444430049989342676198274349644522478120\ 2805849736683948949102046726793061770788813098438695349015996634990\ 1804652749880220909186*c_1001_3^29 + 2868748854904761524161292924264296078841719194302959135842358520969\ 1377081275016141772569840313997063650200804151578717113022147289385\ 676589386715362086050585420722215/578994729413568057086832869975930\ 4286688886009997868535239654869928904495624056116994733678978982040\ 934535861235415776261968773906980319932699803609305499760441818372*\ c_1001_3^28 - 28744937401435607270901827609775969772786244563023023\ 4309877029751828273331880004864731339251019251012159900473542388125\ 660207618559815959095207446978833637748414644623/115798945882713611\ 4173665739951860857337777201999573707047930973985780899124811223398\ 9467357957964081869071722470831552523937547813960639865399607218610\ 999520883636744*c_1001_3^27 + 4422778218369339518448505723347903377\ 2705197578109118505347647823164019561406469436285099208671936854418\ 8163980031634355401884858381468451321303377939849286028532081795/57\ 8994729413568057086832869975930428668888600999786853523965486992890\ 4495624056116994733678978982040934535861235415776261968773906980319\ 932699803609305499760441818372*c_1001_3^26 - 1427760401517713175556005911945588173064421033098952003089251338656\ 1895539966271620233464011413538573881746262857129355686459137232063\ 7651006755402965785459988463085561/41356766386683432649059490712566\ 4591906349000714133466802832490709207463973146865499623834212784431\ 495323990088243984018712055279070022852335700257807535697174415598*\ c_1001_3^25 + 43066249242893211776737222117155284973223165470593288\ 8859320097084379439428723519799412693054017421391434987849294169878\ 4708342860074812120141575322004671501928113798383/28949736470678402\ 8543416434987965214334444300499893426761982743496445224781202805849\ 7366839489491020467267930617707888130984386953490159966349901804652\ 749880220909186*c_1001_3^24 - 3572664283991863556605856262045876149\ 0994458349077931720198687183135953439328339649938790646926156716135\ 435032145580372877865738269728639382568351330163970511716610115917/\ 1157989458827136114173665739951860857337777201999573707047930973985\ 7808991248112233989467357957964081869071722470831552523937547813960\ 639865399607218610999520883636744*c_1001_3^23 + 7481524377726817285995250504861744541332549063014044173889333093499\ 7180133459540440583415968747823367630189805191570392486223707976109\ 57579748108196744592873496492791517/1447486823533920142717082174939\ 8260716722215024994671338099137174822261239060140292486834197447455\ 1023363396530885394406549219347674507998317495090232637494011045459\ 3*c_1001_3^22 - 222567220905551760389429395178892524185450430372555\ 9106960866990726573404125528504368056170070063209605010337140872670\ 75356556981972051723172099413765242504216061992608501/1157989458827\ 1361141736657399518608573377772019995737070479309739857808991248112\ 2339894673579579640818690717224708315525239375478139606398653996072\ 18610999520883636744*c_1001_3^21 + 1250454150804196105598700781504847686917854537577895061661969352333\ 2788152352838069933524927345316207949294677700206154044385918667237\ 628626100886823190411309562986070683/373544986718431004572150238694\ 1486636573474845159915184025583787050906126209068462577247534825149\ 7038287328137002682427496572734883743999565805184576164514583495602\ 4*c_1001_3^20 + 275740758667629867628741031774046433545202704822855\ 9973710027483215809877747588388027384793402936405703924625298364479\ 411749914247386424915313511356035588434090017122881/373544986718431\ 0045721502386941486636573474845159915184025583787050906126209068462\ 5772475348251497038287328137002682427496572734883743999565805184576\ 1645145834956024*c_1001_3^19 - 595513934851259172725537775814831513\ 5254284779421761928890791830431502739769756745211889688707287254804\ 2834086664229676953960131613584198589776055791827182217169171538789\ /578994729413568057086832869975930428668888600999786853523965486992\ 8904495624056116994733678978982040934535861235415776261968773906980\ 319932699803609305499760441818372*c_1001_3^18 - 2528469238147201057217540151449620051409987509164897741412678812762\ 7116850564213132347642588304929997609122067268831003152364891443826\ 98565127402793916101598102066995123/2894973647067840285434164349879\ 6521433444430049989342676198274349644522478120280584973668394894910\ 2046726793061770788813098438695349015996634990180465274988022090918\ 6*c_1001_3^17 - 181224177214255988947266265002912158304652153303698\ 7368134810785477246495494686717451716638080394966804311997310375196\ 17556615739516911799960290485099483614561012964156531/3735449867184\ 3100457215023869414866365734748451599151840255837870509061262090684\ 6257724753482514970382873281370026824274965727348837439995658051845\ 761645145834956024*c_1001_3^16 + 1050885044776919743366447134791542\ 6373427690263439695132282828455559715292968948335528758434635050631\ 9293740874741404900414190062729001522670367978844481937107930491583\ 89989/1157989458827136114173665739951860857337777201999573707047930\ 9739857808991248112233989467357957964081869071722470831552523937547\ 813960639865399607218610999520883636744*c_1001_3^15 - 8548984702880267531880846922290121012457965677150832596496577246420\ 7738004955661589273567176387781595718350970391241322906698981399455\ 1806468498825148855380011333494985107/14474868235339201427170821749\ 3982607167222150249946713380991371748222612390601402924868341974474\ 5510233633965308853944065492193476745079983174950902326374940110454\ 593*c_1001_3^14 + 1299927409318032716095480631301566603638555895517\ 4558708823687388459355431910674194690179196241098205995944119151613\ 081671073854196453761346245141361767199577272603843562303/115798945\ 8827136114173665739951860857337777201999573707047930973985780899124\ 8112233989467357957964081869071722470831552523937547813960639865399\ 607218610999520883636744*c_1001_3^13 - 8382160726578451937936641791659890521338784637570245742944184932769\ 0022183760512401125590059773492037798842331954055893026782627371958\ 32586536101502383876754181344464550107/1157989458827136114173665739\ 9518608573377772019995737070479309739857808991248112233989467357957\ 9640818690717224708315525239375478139606398653996072186109995208836\ 36744*c_1001_3^12 - 16909855773911640049094917484035685869275963974\ 3310960227712611710747115698226675578516165639835834038159273067208\ 0210491291480783843990571754976924375781340055343539829415/82713532\ 7733668652981189814251329183812698001428266933605664981418414927946\ 2937309992476684255688629906479801764879680374241105581400457046714\ 00515615071394348831196*c_1001_3^11 + 1437779014549158452175512506149285263429307621368333222011644955849\ 6576761059234924113464491066848691095854047339901620344076593613701\ 084665726875308681874327557607563398301/115798945882713611417366573\ 9951860857337777201999573707047930973985780899124811223398946735795\ 7964081869071722470831552523937547813960639865399607218610999520883\ 636744*c_1001_3^10 + 9493096197981977535943365587127898443557651027\ 3111038064448022399694192431992470165971882542503006456263958345690\ 41499525814940697144871531888040231429854563444066257887373/1157989\ 4588271361141736657399518608573377772019995737070479309739857808991\ 2481122339894673579579640818690717224708315525239375478139606398653\ 99607218610999520883636744*c_1001_3^9 + 9173770775082336135206640218078777710841425152205242756950016920125\ 3765612305806276544144653160907464100013524028361903862428520984262\ 530541207195322187075314854475665207/933862466796077511430375596735\ 3716591433687112899787960063959467627265315522671156443118837062874\ 2595718320342506706068741431837209359998914512961440411286458739006\ *c_1001_3^8 - 40808550676905878377656879595498368677863153373727217\ 0019644834472932423244956812925410155699006480510009194899376551759\ 7900090274422723202399766350833352395891766785874065/57899472941356\ 8057086832869975930428668888600999786853523965486992890449562405611\ 6994733678978982040934535861235415776261968773906980319932699803609\ 305499760441818372*c_1001_3^7 - 43182879807144512774715238663107102\ 0519237505203055210980953851547464448400921769812267586479983915644\ 8002767421995628709791432756591909660170733453429728217821163919720\ 0/46693123339803875571518779836768582957168435564498939800319797338\ 1363265776133557822155941853143712978591601712533530343707159186046\ 79999457256480720205643229369503*c_1001_3^6 + 2480025610427151062023033083640029547633479535470544205503674027323\ 8767954598885629616228355022147160679569776865738648497208318139989\ 58449739071083735271313662489117042447/1157989458827136114173665739\ 9518608573377772019995737070479309739857808991248112233989467357957\ 9640818690717224708315525239375478139606398653996072186109995208836\ 36744*c_1001_3^5 + 132386703189721413573396224762463911268252786720\ 6635847196143333950423216934811466183614089608737486713666147610645\ 8708639111591761947871710928344156809281473160140302853/41356766386\ 6834326490594907125664591906349000714133466802832490709207463973146\ 8654996238342127844314953239900882439840187120552790700228523357002\ 57807535697174415598*c_1001_3^4 + 324211472601389563787071810875845\ 2457704304275673366123364095377322684035651658959689946449821042681\ 6750804921481359440381404516331830411780010279427177994961267452335\ 2071/28949736470678402854341643498796521433444430049989342676198274\ 3496445224781202805849736683948949102046726793061770788813098438695\ 3490159966349901804652749880220909186*c_1001_3^3 + 6708696887800126511247017718746888984700787917080981640716996835396\ 1473366469916523569354319825719739727188687952638058386003416816911\ 2365333564425503280952942826780463469/11579894588271361141736657399\ 5186085733777720199957370704793097398578089912481122339894673579579\ 6408186907172247083155252393754781396063986539960721861099952088363\ 6744*c_1001_3^2 - 2379437243064745632026167854845134149529373791238\ 7794456274880658006504543219752443881009660890286864888185094156796\ 3079102984168266155195955665829913735708536907766961241/11579894588\ 2713611417366573995186085733777720199957370704793097398578089912481\ 1223398946735795796408186907172247083155252393754781396063986539960\ 7218610999520883636744*c_1001_3 - 853065286756055081876664119541321\ 3708021187001154577271539077105716434661174227732670547445125424113\ 1200512624995886622715410700118617597232754718509856768958568807668\ 371/115798945882713611417366573995186085733777720199957370704793097\ 3985780899124811223398946735795796408186907172247083155252393754781\ 3960639865399607218610999520883636744, c_0011_0 - 1, c_0011_1 - 145878300849432782786301887140596425758454938977135979151018\ 7157408678415757862743273953608710540699262821632291129166263758230\ 608655866829461833487/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^31 + 1511880533350594719618646290084748975565069280773334643895672074021\ 2315935409513773100692958460702017451067935462384210522372505169812\ 162518411447803/663634395443739405268343870943506617919573122998168\ 9000496633448256845341190192945856317673372854829005117835515175814\ 20484865834657889421398839993119952*c_1001_3^30 - 2650101047236955420132385796177110716273453164931141602932509899905\ 3350185250282568692297712044496072872545647186873280186024478505175\ 989333766866033/165908598860934851317085967735876654479893280749542\ 2250124158362064211335297548236464079418343213707251279458878793953\ 55121216458664472355349709998279988*c_1001_3^29 + 8904975359077525714205671645985608059516079663030243041099134234149\ 9061646003889661875346059594906475176121604823299518382323736595595\ 6752239760736451/66363439544373940526834387094350661791957312299816\ 8900049663344825684534119019294585631767337285482900511783551517581\ 420484865834657889421398839993119952*c_1001_3^28 - 4585439673344486282123026457327285943523564028733892540645554947562\ 4373668218983947737154978148034105911713907470669274349253120076220\ 20453087871818417/6636343954437394052683438709435066179195731229981\ 6890004966334482568453411901929458563176733728548290051178355151758\ 1420484865834657889421398839993119952*c_1001_3^27 + 7353796795876933300478042170993728368601177573137772764399779630425\ 7498103975348631225280116090854640902668454007708852154073733933287\ 45514979345387635/3318171977218697026341719354717533089597865614990\ 8445002483167241284226705950964729281588366864274145025589177575879\ 0710242432917328944710699419996559976*c_1001_3^26 - 3216465799952876385964596412307100964798872974395373132433622641022\ 6545297491390994665904501948248739483598202030757451900544698014724\ 869568184845727477/331817197721869702634171935471753308959786561499\ 0844500248316724128422670595096472928158836686427414502558917757587\ 90710242432917328944710699419996559976*c_1001_3^25 + 2780792237077349178646624894749830037372789326636791286724774569276\ 6705457631547999933179380836704913460200608098579595744383889199163\ 2619469981569479923/66363439544373940526834387094350661791957312299\ 8168900049663344825684534119019294585631767337285482900511783551517\ 581420484865834657889421398839993119952*c_1001_3^24 - 6245051347932371774452852308453312590464422234558200724047923659654\ 3354350957073206892553519890183745506589964189707021323582476815406\ 1243192944435794819/66363439544373940526834387094350661791957312299\ 8168900049663344825684534119019294585631767337285482900511783551517\ 581420484865834657889421398839993119952*c_1001_3^23 + 1087919927614993106565817305344254834929849102291212390808365256524\ 0243486288070778618645562308976690737669020244711176163653735939327\ 78858180849992789105/6636343954437394052683438709435066179195731229\ 9816890004966334482568453411901929458563176733728548290051178355151\ 7581420484865834657889421398839993119952*c_1001_3^22 - 1827444297072695764757019216685007569578377744835998935819422258333\ 0797711003127146870725693048034939373812078687496031805795615050865\ 59981213144526420901/3318171977218697026341719354717533089597865614\ 9908445002483167241284226705950964729281588366864274145025589177575\ 8790710242432917328944710699419996559976*c_1001_3^21 + 8733251066268329512161848645663894463668781897041815067087020268695\ 8351134024960353085019207712549114481546723805909324169136619805654\ 0524924421034233461/82954299430467425658542983867938327239946640374\ 7711125062079181032105667648774118232039709171606853625639729439396\ 97677560608229332236177674854999139994*c_1001_3^20 - 8765855381356094709067240347921762639256707726067423249041066742931\ 6600540285549809259107059564215109865878787284561139877115465028016\ 8848530754386796575/66363439544373940526834387094350661791957312299\ 8168900049663344825684534119019294585631767337285482900511783551517\ 581420484865834657889421398839993119952*c_1001_3^19 - 4777417487482034618907801270901592569323634909054008579023409122829\ 2970650138579969631695444828553589103025215321222433822053725227156\ 4341011197709509701/16590859886093485131708596773587665447989328074\ 9542225012415836206421133529754823646407941834321370725127945887879\ 395355121216458664472355349709998279988*c_1001_3^18 + 2408543000903191644101066379956445953439011693091637993161987043955\ 9067423109789342485487179385732098152457470214888042463880542966041\ 7356066102777156209/66363439544373940526834387094350661791957312299\ 8168900049663344825684534119019294585631767337285482900511783551517\ 581420484865834657889421398839993119952*c_1001_3^17 - 2096716477107689562725839105220456089399702542074605499037185501532\ 7718854647198173426897760338499952769692934136638170288750722864255\ 169082956745332695323/165908598860934851317085967735876654479893280\ 7495422250124158362064211335297548236464079418343213707251279458878\ 79395355121216458664472355349709998279988*c_1001_3^16 + 1859835573819744952777739925712916404841489161136130782190856820298\ 2651121515050536234848827832411698351460446268426050068683574259433\ 0872100823504009123279/66363439544373940526834387094350661791957312\ 2998168900049663344825684534119019294585631767337285482900511783551\ 517581420484865834657889421398839993119952*c_1001_3^15 - 1588686295988932267344803653334886074965023938155377693959297103096\ 9475002360538766315726708785473719608697097162673768020228966147520\ 2310797579970564725383/66363439544373940526834387094350661791957312\ 2998168900049663344825684534119019294585631767337285482900511783551\ 517581420484865834657889421398839993119952*c_1001_3^14 + 5954351186039731181465766626758915080440879981550765123394185778262\ 6679510573680412164120768334709763004643378575275287832516182984272\ 686971994508948068349/165908598860934851317085967735876654479893280\ 7495422250124158362064211335297548236464079418343213707251279458878\ 79395355121216458664472355349709998279988*c_1001_3^13 - 2022310019008830539606234353961415546140408762437705659836456681556\ 8419400622646233586955980189866493039447103550023900806214458712105\ 6643176075338442046559/66363439544373940526834387094350661791957312\ 2998168900049663344825684534119019294585631767337285482900511783551\ 517581420484865834657889421398839993119952*c_1001_3^12 - 3014113243656176173529851621106668077686612918260240726708664552492\ 7303420439767781202783203604816605024792141203028944692080360488166\ 4190396089256612790939/66363439544373940526834387094350661791957312\ 2998168900049663344825684534119019294585631767337285482900511783551\ 517581420484865834657889421398839993119952*c_1001_3^11 + 1622621637273179626249630057283092916628018500280568044442298123459\ 5664934818732874622427632491314266406054781681337509397753048070369\ 5587197142614071727325/33181719772186970263417193547175330895978656\ 1499084450024831672412842267059509647292815883668642741450255891775\ 758790710242432917328944710699419996559976*c_1001_3^10 + 5957149925885568794764830513729053213310368825132872599573879752607\ 9132325661088492450603256953149449523151008417706590380320879175155\ 709945239442239883421/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^9 + 7352145466120345720493214517064260399424952640408684374830426878169\ 1212245678544298717827408405186878005969582682442596289132550836111\ 321350175960742396715/331817197721869702634171935471753308959786561\ 4990844500248316724128422670595096472928158836686427414502558917757\ 58790710242432917328944710699419996559976*c_1001_3^8 - 4485852273930455532221395595412732535140346316144634273582254051855\ 4114506470302276610400498177573428560446286806649913992544251750732\ 887190488400492205175/165908598860934851317085967735876654479893280\ 7495422250124158362064211335297548236464079418343213707251279458878\ 79395355121216458664472355349709998279988*c_1001_3^7 - 1184734507726526089311229443252894849297138458491058972562433775599\ 6592792509742157438419853486808382908423555182750066627709927324867\ 8332325130775393041257/66363439544373940526834387094350661791957312\ 2998168900049663344825684534119019294585631767337285482900511783551\ 517581420484865834657889421398839993119952*c_1001_3^6 + 7651061023372372750900324274764934845093258612786658441084690849876\ 3591289129814526053407098789474712935257164870944158220533612736409\ 291148380331495722783/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^5 - 6217877305197672718094069844099203551864398425389235383954213272141\ 7466093411805147514120634066298555690489459072756275339924869911849\ 41469280251095065145/3318171977218697026341719354717533089597865614\ 9908445002483167241284226705950964729281588366864274145025589177575\ 8790710242432917328944710699419996559976*c_1001_3^4 + 2488791008452690229726858884980277070462060665167522550844581251374\ 8886905987238146078219371461553340705930422408347537597881963591478\ 353015291108097997179/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^3 + 1883957446069336722778390846459137038279608583653720280233340795417\ 8502716202177858101328589059710338954696375632759490546860321881002\ 71791992674476758975/3318171977218697026341719354717533089597865614\ 9908445002483167241284226705950964729281588366864274145025589177575\ 8790710242432917328944710699419996559976*c_1001_3^2 - 1311671905327459257320523286300985767536566327929019712839576809379\ 7516810659075540479423030199047939441515944094015607473664349361624\ 90847590437621400539/1659085988609348513170859677358766544798932807\ 4954222501241583620642113352975482364640794183432137072512794588787\ 9395355121216458664472355349709998279988*c_1001_3 - 2518985104968152266896885389620863341154606455320274821825221872782\ 8907853603019440078417196243380829508828230765639138182983731814579\ 0536257633413557835/66363439544373940526834387094350661791957312299\ 8168900049663344825684534119019294585631767337285482900511783551517\ 581420484865834657889421398839993119952, c_0011_4 + 157565417492951148496714179855626088214423511363111976313309\ 7159057089726931406113187163392435773500066249790494604811713386925\ 735954788861851643623601192107/896866714810158474362905735160020801\ 0980731921152257344599240785236269210585998709669261788295677560213\ 04397046883131512522754739105498188854866376378499749903856*c_1001_\ 3^31 - 164001299228646352068472080993762415476901465174549623591921\ 2690666005829179241528004487311173476559963468188878530828249992896\ 8441926086736408741472010430851/89686671481015847436290573516002080\ 1098073192115225734459924078523626921058599870966926178829567756021\ 304397046883131512522754739105498188854866376378499749903856*c_1001\ _3^30 + 28794703256876856576492407324649954361752553466932404880077\ 3738820495842517973083682863468022118435203350447336884075217128731\ 97013428932075157987000286376269/2242166787025396185907264337900052\ 0027451829802880643361498101963090673026464996774173154470739193900\ 5326099261720782878130688684776374547213716594094624937475964*c_100\ 1_3^29 - 9666745293202754228310286203213904883472088318597924054953\ 5649135224136379392128494136463597663161792426895772510464153926982\ 2702571053528512358138515319225695/89686671481015847436290573516002\ 0801098073192115225734459924078523626921058599870966926178829567756\ 021304397046883131512522754739105498188854866376378499749903856*c_1\ 001_3^28 + 49940829521140722466559431180487544702405330717864472779\ 3881413544914555185314607851696442206512951249327030472822789488953\ 5544708546157883712850865652888844369/89686671481015847436290573516\ 0020801098073192115225734459924078523626921058599870966926178829567\ 756021304397046883131512522754739105498188854866376378499749903856*\ c_1001_3^27 - 80453028533447824953657501790179698857562337988007234\ 0349503410385214117182497979324210338208179895486116382567296350019\ 7003402384476872201518605480100717713219/44843335740507923718145286\ 7580010400549036596057612867229962039261813460529299935483463089414\ 7838780106521985234415657562613773695527490944274331881892498749519\ 28*c_1001_3^26 + 35075831856927501079567583633985146286328242074471\ 5339310222480232440551527049439791118550353121204673317440069710123\ 37121642742086334472050915934080599431515505/4484333574050792371814\ 5286758001040054903659605761286722996203926181346052929993548346308\ 9414783878010652198523441565756261377369552749094427433188189249874\ 951928*c_1001_3^25 - 3034448898893995012336009899480346804835798736\ 5082137030750495917231503240357554623457728002953174050391060746528\ 0831510004161273889601126510430866923731431917623/89686671481015847\ 4362905735160020801098073192115225734459924078523626921058599870966\ 9261788295677560213043970468831315125227547391054981888548663763784\ 99749903856*c_1001_3^24 + 68713666935746407793110539530778907475290\ 9992458718683573220568019871879663257196995212219069837189671873564\ 772485823268604537282893031234666159790778341151302547/896866714810\ 1584743629057351600208010980731921152257344599240785236269210585998\ 7096692617882956775602130439704688313151252275473910549818885486637\ 6378499749903856*c_1001_3^23 - 120320745065502434259016417493836926\ 6156038301767783241912032387712282590550310631894132455649087013987\ 972506815755728114183477848034886908201200932216643084491277/896866\ 7148101584743629057351600208010980731921152257344599240785236269210\ 5859987096692617882956775602130439704688313151252275473910549818885\ 4866376378499749903856*c_1001_3^22 + 2003501063181031442922167700014614648665852887133974858454662526299\ 5839573491373202083204495727394247784062206062140534196431014147416\ 68904525156764908546072404927/4484333574050792371814528675800104005\ 4903659605761286722996203926181346052929993548346308941478387801065\ 2198523441565756261377369552749094427433188189249874951928*c_1001_3\ ^21 - 1931476089860891634181099231172853772378442727233723601099517\ 1788972088913758656541858534229704104155082145059414465344097753978\ 03143384866144678456167932223939585/2242166787025396185907264337900\ 0520027451829802880643361498101963090673026464996774173154470739193\ 9005326099261720782878130688684776374547213716594094624937475964*c_\ 1001_3^20 + 1247569527304795435738552706259796582464786942145289726\ 1654179590492407822705527478923059309257657991172406755061914810414\ 05735253941847474389504482627097248732367/8968667148101584743629057\ 3516002080109807319211522573445992407852362692105859987096692617882\ 9567756021304397046883131512522754739105498188854866376378499749903\ 856*c_1001_3^19 + 4691527717392224780756855600135054185349024621482\ 3279857338436506825108503991465843618843286872239927828724506779947\ 8865324402140514835996919217891935880732077335/22421667870253961859\ 0726433790005200274518298028806433614981019630906730264649967741731\ 5447073919390053260992617207828781306886847763745472137165940946249\ 37475964*c_1001_3^18 - 80643662131803604629217664721760663944543487\ 0779947004633783075746580925977377257772768420474975728686886163177\ 91391121302539401284759374763530097564752184216957/8968667148101584\ 7436290573516002080109807319211522573445992407852362692105859987096\ 6926178829567756021304397046883131512522754739105498188854866376378\ 499749903856*c_1001_3^17 + 1138074977362107312266281944884588048365\ 3221533813665057767957999127538035046835130404149182058967166223642\ 113490952168100625841901799472436458890677490685019443157/112108339\ 3512698092953632168950026001372591490144032168074905098154533651323\ 2498387086577235369596950266304963086039143906534434238818727360685\ 8297047312468737982*c_1001_3^16 - 204277629710207997824013531933599\ 0879376941459524937386747200889480583349509449496170902259233997751\ 01773999988868378200745050461290349152038232951509502436860334079/8\ 9686671481015847436290573516002080109807319211522573445992407852362\ 6921058599870966926178829567756021304397046883131512522754739105498\ 188854866376378499749903856*c_1001_3^15 + 1789240005644256860479589772498907824041858117336942413814785235188\ 5751559021984034486230820626655827077038756595335000409470749169452\ 2463801681045478413026061393547/89686671481015847436290573516002080\ 1098073192115225734459924078523626921058599870966926178829567756021\ 304397046883131512522754739105498188854866376378499749903856*c_1001\ _3^14 - 33655840963072003501518413244915156353080020764486547584513\ 7981179864759978090818013621141506723020178056218203083638226019235\ 46989035079089557885619099501568392879/1121083393512698092953632168\ 9500260013725914901440321680749050981545336513232498387086577235369\ 5969502663049630860391439065344342388187273606858297047312468737982\ *c_1001_3^13 + 2320773528525186828853665408138123426566708938781434\ 1896820036349401278176372711713733258840281924067743833715407933486\ 0622723786572356040906526549485213169995479527/89686671481015847436\ 2905735160020801098073192115225734459924078523626921058599870966926\ 1788295677560213043970468831315125227547391054981888548663763784997\ 49903856*c_1001_3^12 + 31682218873043107685609265656123072077103480\ 5819703813741371529885267495562720478535638975525425052663732283114\ 652415394689629863588849774697215557994313378318970439/896866714810\ 1584743629057351600208010980731921152257344599240785236269210585998\ 7096692617882956775602130439704688313151252275473910549818885486637\ 6378499749903856*c_1001_3^11 - 175120424720841339384426108071305467\ 3812697105172656129344955627542628276867266192809928729110714563346\ 80439591526246597444276580336836080151863621158276371828481207/4484\ 3335740507923718145286758001040054903659605761286722996203926181346\ 0529299935483463089414783878010652198523441565756261377369552749094\ 427433188189249874951928*c_1001_3^10 - 4786081467670449931767791519885051037934766156443146213643461732445\ 1429061883971653641549930817469252060466163902000886244192247145542\ 472111038585541057600052696421/896866714810158474362905735160020801\ 0980731921152257344599240785236269210585998709669261788295677560213\ 04397046883131512522754739105498188854866376378499749903856*c_1001_\ 3^9 - 8647530906361028707106722264773537356020972178075573578724284\ 9652365671508178540329066080012508307348168598408004548079646805877\ 327313089121817314129386722504249959/448433357405079237181452867580\ 0104005490365960576128672299620392618134605292999354834630894147838\ 78010652198523441565756261377369552749094427433188189249874951928*c\ _1001_3^8 + 4759900973917768682904269309142576590439783699507935407\ 3549849793620276542045290213320733910716515416109725428877639606397\ 603763389381931104628931655850045995489041/224216678702539618590726\ 4337900052002745182980288064336149810196309067302646499677417315447\ 0739193900532609926172078287813068868477637454721371659409462493747\ 5964*c_1001_3^7 + 1190351928886797841006836394357219793440208917521\ 0418077955559392324631591583893773794856445597946678074998999872477\ 9599300114821995049814472339257796344864933933189/89686671481015847\ 4362905735160020801098073192115225734459924078523626921058599870966\ 9261788295677560213043970468831315125227547391054981888548663763784\ 99749903856*c_1001_3^6 - 768629314714697174058647817329951147738666\ 6446078788607712490579102078979572434497467199460849857600056075820\ 9006223703468896428759768520214212796898903095053591879/89686671481\ 0158474362905735160020801098073192115225734459924078523626921058599\ 8709669261788295677560213043970468831315125227547391054981888548663\ 76378499749903856*c_1001_3^5 + 114346456241862348188943626888099477\ 2056324125120316516164087084804714612700103723154460491283569482330\ 3133848367754558709333838007165137268171969891403144781583045/44843\ 3357405079237181452867580010400549036596057612867229962039261813460\ 5292999354834630894147838780106521985234415657562613773695527490944\ 27433188189249874951928*c_1001_3^4 - 2831706072456505669288149170856542711535794236674165355839665338476\ 6745738215859787435373282567661435082609493277174525594349619280594\ 124968294228865038585709672559/896866714810158474362905735160020801\ 0980731921152257344599240785236269210585998709669261788295677560213\ 04397046883131512522754739105498188854866376378499749903856*c_1001_\ 3^3 - 1787715662160423454600441515263855426210262620537454933484660\ 9149739642142908058547942500222859541259485409921737588112180641693\ 95927249582821109860033093817330209/4484333574050792371814528675800\ 1040054903659605761286722996203926181346052929993548346308941478387\ 8010652198523441565756261377369552749094427433188189249874951928*c_\ 1001_3^2 + 61320911541859032672910220849177217952806398138928225478\ 7070307598419329245983092962230010458707142094058955804636426612805\ 722344327147154537367763136012629228135/112108339351269809295363216\ 8950026001372591490144032168074905098154533651323249838708657723536\ 9596950266304963086039143906534434238818727360685829704731246873798\ 2*c_1001_3 - 389006917861472081156544113495521642637950236807602936\ 3088815260755872920155337423480595184928657609293373291961274076473\ 00351948141695375342812703297759636597933/8968667148101584743629057\ 3516002080109807319211522573445992407852362692105859987096692617882\ 9567756021304397046883131512522754739105498188854866376378499749903\ 856, c_0011_5 + 142758526226529322745308100150960624676886338583609424724358\ 3795708775862564710229648333408016160020906489284102845313794692269\ 10093574629206152671/6636343954437394052683438709435066179195731229\ 9816890004966334482568453411901929458563176733728548290051178355151\ 7581420484865834657889421398839993119952*c_1001_3^31 - 1680979196458313022999913535682424979267064143869069045746721236019\ 4038511697126189152059193205237314827589127187496544289697349506461\ 77561527982455/6636343954437394052683438709435066179195731229981689\ 0004966334482568453411901929458563176733728548290051178355151758142\ 0484865834657889421398839993119952*c_1001_3^30 + 3059416384236482791573970617389389206677046193858591534468736239402\ 4452012829995984615090772646136090772426097878266038041969540535175\ 30788255003837/1659085988609348513170859677358766544798932807495422\ 2501241583620642113352975482364640794183432137072512794588787939535\ 5121216458664472355349709998279988*c_1001_3^29 - 9970345022838243318150879419305517247897797604352283848373879788205\ 2941794196409305873411342127132994558618757961673295685290922692130\ 986315603699091/663634395443739405268343870943506617919573122998168\ 9000496633448256845341190192945856317673372854829005117835515175814\ 20484865834657889421398839993119952*c_1001_3^28 + 5576200444797437426609090404234961436669925342771390039400358968287\ 9389804828253725606150912402261812371105858972734647848410766075499\ 6655278306181949/66363439544373940526834387094350661791957312299816\ 8900049663344825684534119019294585631767337285482900511783551517581\ 420484865834657889421398839993119952*c_1001_3^27 - 9752728703184487559745366564590120723250262281484059358999233485816\ 7321616312675839855831038063787297324804966877603233393419890165024\ 3432964961905495/33181719772186970263417193547175330895978656149908\ 4450024831672412842267059509647292815883668642741450255891775758790\ 710242432917328944710699419996559976*c_1001_3^26 + 3875229072352222441318492127096034932546570151558772219437532650706\ 8161586440499221158211956989584390349731509297821883342986426991255\ 29862203021653581/3318171977218697026341719354717533089597865614990\ 8445002483167241284226705950964729281588366864274145025589177575879\ 0710242432917328944710699419996559976*c_1001_3^25 - 3443030846096320460672522040039381377692380785202093159342495227468\ 7251699072627508145135541761614021862591972345948366946055208316747\ 560927895127390827/663634395443739405268343870943506617919573122998\ 1689000496633448256845341190192945856317673372854829005117835515175\ 81420484865834657889421398839993119952*c_1001_3^24 + 9130859343796212573300526238477390723756964854421383369760501949739\ 7581947541119756658477790712681768350558554065738239869582261660501\ 531068746511322535/663634395443739405268343870943506617919573122998\ 1689000496633448256845341190192945856317673372854829005117835515175\ 81420484865834657889421398839993119952*c_1001_3^23 - 1584698378550933095864166943918504451738885657341326685118045994265\ 3453277442405823507505146825418567559685854948103416172901115138418\ 1041875118254080569/66363439544373940526834387094350661791957312299\ 8168900049663344825684534119019294585631767337285482900511783551517\ 581420484865834657889421398839993119952*c_1001_3^22 + 2234632833913663220660361246772161410300024529572842018145646486794\ 8023621259133311333454149918778356045002916521473535552964760661089\ 9095836385232702683/33181719772186970263417193547175330895978656149\ 9084450024831672412842267059509647292815883668642741450255891775758\ 790710242432917328944710699419996559976*c_1001_3^21 - 2698714374792305537885897135553072594388623584225139933250509981474\ 5831195412293286107739444423220909376470760897026157756695631281606\ 3914458165750144261/16590859886093485131708596773587665447989328074\ 9542225012415836206421133529754823646407941834321370725127945887879\ 395355121216458664472355349709998279988*c_1001_3^20 + 5931437762214096296249058889704036735422370637276206321247285297191\ 9629902034268883844812160892809702756222487387271521903095548557409\ 3183327514491159843/66363439544373940526834387094350661791957312299\ 8168900049663344825684534119019294585631767337285482900511783551517\ 581420484865834657889421398839993119952*c_1001_3^19 + 1689633842749971789002718207727174100485983516761834205495614350061\ 2443433547972098856474138976068261708995472240908437917721300193098\ 5448244817915583795/16590859886093485131708596773587665447989328074\ 9542225012415836206421133529754823646407941834321370725127945887879\ 395355121216458664472355349709998279988*c_1001_3^18 + 1280703887719064824753840324784927002922461177080572103819366571672\ 6257851258074649245546093515627135684800791738419623246858239261493\ 3951557277912122375/66363439544373940526834387094350661791957312299\ 8168900049663344825684534119019294585631767337285482900511783551517\ 581420484865834657889421398839993119952*c_1001_3^17 + 1065587617555249927538351844253049278027910659431175346367856433147\ 9456283052698053184482674364030858827653749719773354136686033751425\ 68283970492286162063/8295429943046742565854298386793832723994664037\ 4771112506207918103210566764877411823203970917160685362563972943939\ 697677560608229332236177674854999139994*c_1001_3^16 - 2942313243379875406778286970856334543144211675677130994476488848331\ 3980768657629864955561689768170459789364669835451663311070890427140\ 287636186454605304435/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^15 + 2889320246503820946073816040798496026909399983556988061958831828938\ 2415997892487431747277371144257485349022425728953706283983074490471\ 629757324833987591103/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^14 - 3714979835102097060553326570674364532819287510208820189088398300378\ 8890748222170585816605270008196575846970684138187697351897823291068\ 62332903205649298369/8295429943046742565854298386793832723994664037\ 4771112506207918103210566764877411823203970917160685362563972943939\ 697677560608229332236177674854999139994*c_1001_3^13 + 4252871944313546942844533094173563448173071546477820463882500385008\ 9096357545717800277006825404124384855203779689020510605191089450569\ 822692701953200099515/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^12 + 3041050438166076411638527318255612212271982559561452591658581410198\ 9451106534426266106345715257635293728217170903896686098282229864490\ 450147175213255762651/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^11 - 3876768658728937787918979392318695593227301152899931872739731758405\ 1521316141697001336590258203826824398015129327424008976793011358454\ 356770796219478628635/331817197721869702634171935471753308959786561\ 4990844500248316724128422670595096472928158836686427414502558917757\ 58790710242432917328944710699419996559976*c_1001_3^10 - 4482830444950701612881462917809107771338959941756639843219600544766\ 1520602074856873593094065009160331905212479695382766641788458644463\ 83220369421942488129/6636343954437394052683438709435066179195731229\ 9816890004966334482568453411901929458563176733728548290051178355151\ 7581420484865834657889421398839993119952*c_1001_3^9 - 2516284715575886666177487219062691747239163274633230982714030293451\ 4719624838102135124878489888212979967455082432476198063471048840794\ 40227064181244723307/3318171977218697026341719354717533089597865614\ 9908445002483167241284226705950964729281588366864274145025589177575\ 8790710242432917328944710699419996559976*c_1001_3^8 + 1107585442897345267124351390180835394396301536359160016205245069459\ 0242556979867395409117385878942939494933808353476478947695951799214\ 057466748018172588897/165908598860934851317085967735876654479893280\ 7495422250124158362064211335297548236464079418343213707251279458878\ 79395355121216458664472355349709998279988*c_1001_3^7 + 1714232460256748038049429664176774291982190653305361944134165287916\ 2563209223518892798031475075760888983945641645956208774443744140617\ 714227253243548598753/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^6 - 2116156777156195253814660770625448747538699344858716309198410131079\ 1203818786077203973378681656934704089217768082881481084016854855460\ 118743338606532985851/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^5 - 7370303208277304796908020336269924375085182071143562566474333414783\ 8817723015555555650363610107968433019195929777064059144047228215857\ 731373553200578511/331817197721869702634171935471753308959786561499\ 0844500248316724128422670595096472928158836686427414502558917757587\ 90710242432917328944710699419996559976*c_1001_3^4 - 5746864547278711620006791578087768458806055925457472403852441784416\ 5624187818618409822558545382734922983106899688724375356504855156436\ 24994310257011330627/6636343954437394052683438709435066179195731229\ 9816890004966334482568453411901929458563176733728548290051178355151\ 7581420484865834657889421398839993119952*c_1001_3^3 - 9282559872680195987146641750777474328963882229740234817188152184921\ 8358701878353819926476457983935481253552212309278655750854877350167\ 615077678949137589/331817197721869702634171935471753308959786561499\ 0844500248316724128422670595096472928158836686427414502558917757587\ 90710242432917328944710699419996559976*c_1001_3^2 + 2046706279863544456651972475458300213945848895965499783775174926442\ 7805499605491925755915677632442977856454931109875718918062137808660\ 2428553793579884939/82954299430467425658542983867938327239946640374\ 7711125062079181032105667648774118232039709171606853625639729439396\ 97677560608229332236177674854999139994*c_1001_3 - 2834644058682826117160232562292477696857519520137547330400711664309\ 9631757733699221585661162184836283218853012985585912503421775209321\ 3775677903736774201/66363439544373940526834387094350661791957312299\ 8168900049663344825684534119019294585631767337285482900511783551517\ 581420484865834657889421398839993119952, c_0101_0 + 123721742185211379481138200332969791769838076539130893061298\ 0125629230506522796030618815279560675209649299977364072658906850309\ 868773144860228030983/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^31 - 1326947812076740183229648756577283364785192841005888427314483230166\ 5283776749749067902643522932513596717232241080680133526653959323214\ 596168361907535/663634395443739405268343870943506617919573122998168\ 9000496633448256845341190192945856317673372854829005117835515175814\ 20484865834657889421398839993119952*c_1001_3^30 + 2360991747720337137205697606602349723961457164093560711165461028040\ 5382532569447410663902458301741840165837785261024317295669878072005\ 609585043383653/165908598860934851317085967735876654479893280749542\ 2250124158362064211335297548236464079418343213707251279458878793953\ 55121216458664472355349709998279988*c_1001_3^29 - 7868301164204818186138866132616195282868320791522550225203366567983\ 4793320755781585948616244862937409365401047199141225843255326988352\ 1425282897881835/66363439544373940526834387094350661791957312299816\ 8900049663344825684534119019294585631767337285482900511783551517581\ 420484865834657889421398839993119952*c_1001_3^28 + 4155838500503260238786807253238178227504831320429355449654081147373\ 8247562009057367754496044164016130193823761112610815381304267537550\ 70399468680808437/6636343954437394052683438709435066179195731229981\ 6890004966334482568453411901929458563176733728548290051178355151758\ 1420484865834657889421398839993119952*c_1001_3^27 - 6913401901785008967993634218228120640014288446718524506352632097503\ 6415944688347267139279059424665670670893285284140261369042354759795\ 76227010086518799/3318171977218697026341719354717533089597865614990\ 8445002483167241284226705950964729281588366864274145025589177575879\ 0710242432917328944710699419996559976*c_1001_3^26 + 2941079978361422424739093464943392453811792773203277708944639120404\ 3384702669105234586940115593921813269495421610908401609096629612431\ 418390890269755685/331817197721869702634171935471753308959786561499\ 0844500248316724128422670595096472928158836686427414502558917757587\ 90710242432917328944710699419996559976*c_1001_3^25 - 2548731889034208652893563495047696946460230141287763184075768705845\ 6287015231970430733281360257704508969659013512715559927462270622851\ 5831964074417403123/66363439544373940526834387094350661791957312299\ 8168900049663344825684534119019294585631767337285482900511783551517\ 581420484865834657889421398839993119952*c_1001_3^24 + 6114876239419232901009996484465930118566148182993269614460532655260\ 9257523223444517760878894534441800381134004513410610323498124584440\ 3584756646778074735/66363439544373940526834387094350661791957312299\ 8168900049663344825684534119019294585631767337285482900511783551517\ 581420484865834657889421398839993119952*c_1001_3^23 - 1099803086338699828599780759879382138853071684600983023721796168650\ 9928876171806391575558534914186829292414111403491892483521681081264\ 42234935690735436833/6636343954437394052683438709435066179195731229\ 9816890004966334482568453411901929458563176733728548290051178355151\ 7581420484865834657889421398839993119952*c_1001_3^22 + 1704691730857934369725924877890714636030161742347049301405483535682\ 7227054462533352826933289825415003459597078885637644898995806510925\ 43558606932908276803/3318171977218697026341719354717533089597865614\ 9908445002483167241284226705950964729281588366864274145025589177575\ 8790710242432917328944710699419996559976*c_1001_3^21 - 1752066709343660677755331619458513340406350008887586389625360419265\ 3960275167012873448218627896742000642148959693580366436531240791443\ 70627938463910218945/1659085988609348513170859677358766544798932807\ 4954222501241583620642113352975482364640794183432137072512794588787\ 9395355121216458664472355349709998279988*c_1001_3^20 + 2705702352407501247852636823382731757695308404941331737365099418585\ 9094263408984989636205862683803151225871031122640242738585712313273\ 32347581613084957291/6636343954437394052683438709435066179195731229\ 9816890004966334482568453411901929458563176733728548290051178355151\ 7581420484865834657889421398839993119952*c_1001_3^19 + 3940555542141045584739737827580372736200676266316447565640493577379\ 1513498852218578764556532704274558446108791644411044405853888988768\ 4558802029631669771/16590859886093485131708596773587665447989328074\ 9542225012415836206421133529754823646407941834321370725127945887879\ 395355121216458664472355349709998279988*c_1001_3^18 - 4736211506514875711208999184269004547054129184518773114249216236357\ 1023875260942485950842084013781423488634580998099853374607695755468\ 1565216665964986401/66363439544373940526834387094350661791957312299\ 8168900049663344825684534119019294585631767337285482900511783551517\ 581420484865834657889421398839993119952*c_1001_3^17 + 8893011416341278540045030837346846952151171439631013747648588649870\ 8335839392532165349520368468948285431486034916623017126976764704848\ 37199650807258781345/8295429943046742565854298386793832723994664037\ 4771112506207918103210566764877411823203970917160685362563972943939\ 697677560608229332236177674854999139994*c_1001_3^16 - 1833014710170994208819335231383559738017531236011741091458391071773\ 7451374457864016513476777978444216981142977781147384862308951495390\ 7526203576273144519227/66363439544373940526834387094350661791957312\ 2998168900049663344825684534119019294585631767337285482900511783551\ 517581420484865834657889421398839993119952*c_1001_3^15 + 1862454365487042723142354018675818978388767277798835543378921609742\ 2626536895830364733833639760403490710320785080878357050525896453904\ 9743710192219175805287/66363439544373940526834387094350661791957312\ 2998168900049663344825684534119019294585631767337285482900511783551\ 517581420484865834657889421398839993119952*c_1001_3^14 - 3052826165281737052642661477620865038474387183862856846570578035439\ 9696142599279270479192624262780344537322254094398344657456970437055\ 477727308494603754817/829542994304674256585429838679383272399466403\ 7477111250620791810321056676487741182320397091716068536256397294393\ 9697677560608229332236177674854999139994*c_1001_3^13 + 2434094783047736060841400913056707823653890328162476610243354326128\ 2554555847100894951451605189148714265246780725538412772619582141440\ 7697380381280580414819/66363439544373940526834387094350661791957312\ 2998168900049663344825684534119019294585631767337285482900511783551\ 517581420484865834657889421398839993119952*c_1001_3^12 + 2016586054727628762318672095286321843908370085420918763969874716824\ 1821740330284163765485684121598821605947961257534690469301669093592\ 4425398578729155029011/66363439544373940526834387094350661791957312\ 2998168900049663344825684534119019294585631767337285482900511783551\ 517581420484865834657889421398839993119952*c_1001_3^11 - 1821559011228492577143231876341625775123841998015106010581932832881\ 4770818162109730668198685802207315090636680503717080225683176324731\ 2698880942919897520851/33181719772186970263417193547175330895978656\ 1499084450024831672412842267059509647292815883668642741450255891775\ 758790710242432917328944710699419996559976*c_1001_3^10 + 2014807099940026355910735147376814035525427946886382479354415236887\ 3470238718467705741390893238461773442659527942378250099104111129160\ 140251471997301591255/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^9 - 5145672317141216938486541445999773013041182921843389116976774998770\ 0060764002142126318802065460374139530889849261476492053608539456017\ 530176494017309080043/331817197721869702634171935471753308959786561\ 4990844500248316724128422670595096472928158836686427414502558917757\ 58790710242432917328944710699419996559976*c_1001_3^8 + 5153523475563405710238863723515863859992822329147807073469556344949\ 7867821104705264829223876050884176484055663998012230012150461080696\ 514364718311363205669/165908598860934851317085967735876654479893280\ 7495422250124158362064211335297548236464079418343213707251279458878\ 79395355121216458664472355349709998279988*c_1001_3^7 + 5864263573922802748308794652611826201405755605598691987966687402742\ 8036297911389115774099858003258008651602381364007420600048109826606\ 951118237714225914361/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^6 - 9676166383117294438243165009434919799028568306946368824112291921938\ 5469200483004926266477736941998876426463846871446390458537807561736\ 340123945555104273587/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^5 + 1180631961200808335894193837087342202571255349426439530354299287586\ 9527552136153934142854321416095899590097702436758588973455451981025\ 154902912403058415345/331817197721869702634171935471753308959786561\ 4990844500248316724128422670595096472928158836686427414502558917757\ 58790710242432917328944710699419996559976*c_1001_3^4 - 2577866922004083860833291186103401424128771107287635188990703308684\ 6870649359960816424433652798701777940676391916587704639249500852894\ 654587807090629419611/663634395443739405268343870943506617919573122\ 9981689000496633448256845341190192945856317673372854829005117835515\ 17581420484865834657889421398839993119952*c_1001_3^3 + 1178802484269800042647963894785707337166607290288974240659002138472\ 4375678466363597893944585299704708263417173754578885307565005815488\ 84121274897201849611/3318171977218697026341719354717533089597865614\ 9908445002483167241284226705950964729281588366864274145025589177575\ 8790710242432917328944710699419996559976*c_1001_3^2 + 6678392903006802444078716779029762197615291003844824013450526727276\ 5923613818638667983754028951727354037033351549035462042296460463168\ 5538436196386090899/82954299430467425658542983867938327239946640374\ 7711125062079181032105667648774118232039709171606853625639729439396\ 97677560608229332236177674854999139994*c_1001_3 - 5311082882339953675316884374174506468031314574411240424935504808271\ 3938431660869940868217213991611355980624194603790324113694976915981\ 0206490391639357521/66363439544373940526834387094350661791957312299\ 8168900049663344825684534119019294585631767337285482900511783551517\ 581420484865834657889421398839993119952, c_0101_5 - 584682026893119271844014839794307766248541995782108142393707\ 7184348197544449979642455455285439873859550934717934272868398501261\ 92949531149460033987155293927/2242166787025396185907264337900052002\ 7451829802880643361498101963090673026464996774173154470739193900532\ 6099261720782878130688684776374547213716594094624937475964*c_1001_3\ ^31 + 5946933813537044493411152638738322741896857551757369257254162\ 0002804131043453139537813760632066510687852695927266637438080349744\ 04180606479546817761130282221/2242166787025396185907264337900052002\ 7451829802880643361498101963090673026464996774173154470739193900532\ 6099261720782878130688684776374547213716594094624937475964*c_1001_3\ ^30 - 1034527475929365958175268351728322846625027920182057790073061\ 5138257142859988104013178655461370157936913091371283504919495814715\ 089490431948192752311049793931/560541696756349046476816084475013000\ 6862957450720160840374525490772668256616249193543288617684798475133\ 1524815430195719532672171194093636803429148523656234368991*c_1001_3\ ^29 + 3492958702619447657830372532364188624012499131546922646983316\ 5918808928007567129673703684465633488750167321164994262223295857074\ 9884869109282161421635215366323/22421667870253961859072643379000520\ 0274518298028806433614981019630906730264649967741731544707391939005\ 326099261720782878130688684776374547213716594094624937475964*c_1001\ _3^28 - 17729076581598629880267678070451058658204788837127692713675\ 7112475801326325247346088113544776377253283114626257901872194108566\ 5360551322730637561666667445403159/22421667870253961859072643379000\ 5200274518298028806433614981019630906730264649967741731544707391939\ 005326099261720782878130688684776374547213716594094624937475964*c_1\ 001_3^27 + 27870540628795727570730444849585943559439029191056168494\ 8957054567847205288353313737471554913492649894409016376257748328397\ 6318219630475618932610636510544075599/11210833935126980929536321689\ 5002600137259149014403216807490509815453365132324983870865772353695\ 969502663049630860391439065344342388187273606858297047312468737982*\ c_1001_3^26 - 12401595555790258872744593897947534671717504354012496\ 3580586728006780674512310113086414311204390242486464025540887761827\ 33713020113694210078227898856415365048803/1121083393512698092953632\ 1689500260013725914901440321680749050981545336513232498387086577235\ 3695969502663049630860391439065344342388187273606858297047312468737\ 982*c_1001_3^25 + 1069269623409927269742642693907882568821641540993\ 9626219687476548036786461304533013341704476457470627325601667420612\ 7641390339514145408152293538188420395847282475/22421667870253961859\ 0726433790005200274518298028806433614981019630906730264649967741731\ 5447073919390053260992617207828781306886847763745472137165940946249\ 37475964*c_1001_3^24 - 23104517854812108754530473970589682855050965\ 5524210624794696887313535758177609626955250419422616371982588557170\ 069871499728617473297042921332627188283073139550829/224216678702539\ 6185907264337900052002745182980288064336149810196309067302646499677\ 4173154470739193900532609926172078287813068868477637454721371659409\ 4624937475964*c_1001_3^23 + 397039406986623426975280559331405346613\ 5399102719863175709892118142416558546930072646364014670678944738621\ 66321599499315035561054984245383820229824957954088175465/2242166787\ 0253961859072643379000520027451829802880643361498101963090673026464\ 9967741731544707391939005326099261720782878130688684776374547213716\ 594094624937475964*c_1001_3^22 - 3491225296261888561170786304239807\ 1483451974095123931312995812916901184566793737247280069082320270676\ 8375598993282582309034488572643450987721018911463061994764010/56054\ 1696756349046476816084475013000686295745072016084037452549077266825\ 6616249193543288617684798475133152481543019571953267217119409363680\ 3429148523656234368991*c_1001_3^21 + 1272877134444298565519695510392390934728253518740135249122950469720\ 3657692126139108631518222716791330201455498629049105568943594039777\ 18735762314348715553978104411/1121083393512698092953632168950026001\ 3725914901440321680749050981545336513232498387086577235369596950266\ 3049630860391439065344342388187273606858297047312468737982*c_1001_3\ ^20 + 6475676412800092277685783344383707640801435000707130158385474\ 1203654367400241064250957964220584553879692513229597892361371373663\ 421102609433890995943568175342551/224216678702539618590726433790005\ 2002745182980288064336149810196309067302646499677417315447073919390\ 05326099261720782878130688684776374547213716594094624937475964*c_10\ 01_3^19 - 170273014723646558715510681570313123768453897758978298766\ 3685387433356562569058159184774890491472635090226378171767346347488\ 71129091052429824196126734829156379039/5605416967563490464768160844\ 7501300068629574507201608403745254907726682566162491935432886176847\ 984751331524815430195719532672171194093636803429148523656234368991*\ c_1001_3^18 + 91215695267237219742759441432543519778329099606948588\ 4651486907368163467298483220684947789714959464690272855169712105659\ 97554572930087140103785091222072422651353/2242166787025396185907264\ 3379000520027451829802880643361498101963090673026464996774173154470\ 7391939005326099261720782878130688684776374547213716594094624937475\ 964*c_1001_3^17 - 1674873920076068463575458004078878488947474656343\ 7561960617751438112444824357292570725188072545217230183427732698199\ 783129098206546214930207451128704817414096743079/112108339351269809\ 2953632168950026001372591490144032168074905098154533651323249838708\ 6577235369596950266304963086039143906534434238818727360685829704731\ 2468737982*c_1001_3^16 + 681610311534009662455641064247325390207438\ 1150502012485559335819325425426007761113657281116482306149504067794\ 1969107531172654442733418040834103985321189897551754081/22421667870\ 2539618590726433790005200274518298028806433614981019630906730264649\ 9677417315447073919390053260992617207828781306886847763745472137165\ 94094624937475964*c_1001_3^15 - 52742798887182841785574698411372593\ 6768026914112380833203392246464119326313842045527832444789722877164\ 40046616819353278602367469564119560656118903721746460537584891/2242\ 1667870253961859072643379000520027451829802880643361498101963090673\ 0264649967741731544707391939005326099261720782878130688684776374547\ 213716594094624937475964*c_1001_3^14 + 4351039732551007035394126731229282846816342898853642480190082640196\ 2174815605133921733235093529235697849158936785382495991857029392859\ 362834575570668286287662158653/112108339351269809295363216895002600\ 1372591490144032168074905098154533651323249838708657723536959695026\ 63049630860391439065344342388187273606858297047312468737982*c_1001_\ 3^13 - 647944477536975680590973221710105221421104153332073290605532\ 5248112996388865340789020966428231119199759857494823638006895530713\ 8150200315212070166192357212047646489/22421667870253961859072643379\ 0005200274518298028806433614981019630906730264649967741731544707391\ 939005326099261720782878130688684776374547213716594094624937475964*\ c_1001_3^12 - 12875319307463283513726078318178799530955945224801184\ 2701292952228770004614178210441194984488122022292609565363159873218\ 259491580931607636664860469468489605692530071/224216678702539618590\ 7264337900052002745182980288064336149810196309067302646499677417315\ 4470739193900532609926172078287813068868477637454721371659409462493\ 7475964*c_1001_3^11 + 266567075809342155270418914998299428453543995\ 2754884868593997510126788398287108103027959561107125390290720536970\ 8988893949745079431226809109476122746211354606670642/56054169675634\ 9046476816084475013000686295745072016084037452549077266825661624919\ 3543288617684798475133152481543019571953267217119409363680342914852\ 3656234368991*c_1001_3^10 + 368107715061593658064865896686431255944\ 9809728621210636018059847114821901100967781450232965693895723190890\ 3453041074030900342459167104847984887818880254327028985939/22421667\ 8702539618590726433790005200274518298028806433614981019630906730264\ 6499677417315447073919390053260992617207828781306886847763745472137\ 16594094624937475964*c_1001_3^9 + 308331313178637925406313969083595\ 9732121293015351356524383179292838881565338682957593659542288878106\ 1724990985846256685331722286558153589408756424583819664105003123/11\ 2108339351269809295363216895002600137259149014403216807490509815453\ 3651323249838708657723536959695026630496308603914390653443423881872\ 73606858297047312468737982*c_1001_3^8 - 1448623691322954860809979086780630086421369783739888481222887640572\ 6062260427697594975856208693235169869178660246012552458049918931640\ 863028727286024643282559239535/560541696756349046476816084475013000\ 6862957450720160840374525490772668256616249193543288617684798475133\ 1524815430195719532672171194093636803429148523656234368991*c_1001_3\ ^7 - 52733875196263319772710493401746779559779140747880770690490396\ 9521292893535951552165602477521831656315472604067471108613792182960\ 35482054120980176678754032299932765/2242166787025396185907264337900\ 0520027451829802880643361498101963090673026464996774173154470739193\ 9005326099261720782878130688684776374547213716594094624937475964*c_\ 1001_3^6 + 23057574358012913261329549162539853141190056248238142397\ 2506048475792305886811999172341312872680466860248968631042532261483\ 61753343555821512945289654849462589547297/2242166787025396185907264\ 3379000520027451829802880643361498101963090673026464996774173154470\ 7391939005326099261720782878130688684776374547213716594094624937475\ 964*c_1001_3^5 - 13592088342854999365150064685607216069862812099494\ 9760834506103956374663464132003079841326121226772970566248515116583\ 1526335621247776689440882813115502355219337769/11210833935126980929\ 5363216895002600137259149014403216807490509815453365132324983870865\ 7723536959695026630496308603914390653443423881872736068582970473124\ 68737982*c_1001_3^4 + 787561787368007046268079986029188900314781646\ 2736545239750714109644803539332930220025774016295842129021637713896\ 447125862028565134217288495183729562817686117629911/224216678702539\ 6185907264337900052002745182980288064336149810196309067302646499677\ 4173154470739193900532609926172078287813068868477637454721371659409\ 4624937475964*c_1001_3^3 + 6951709845919244673991601093700836971839\ 7237545722145248473996962413411248148441038829108157517803637052964\ 9870991874490433229424213127148481542583829022410191496/56054169675\ 6349046476816084475013000686295745072016084037452549077266825661624\ 9193543288617684798475133152481543019571953267217119409363680342914\ 8523656234368991*c_1001_3^2 - 8234059116136100579440150266736353526\ 3008058182366370739632617047628262406789606337585853925830178928969\ 5738903352706962914166884434441564905835374865800636301245/11210833\ 9351269809295363216895002600137259149014403216807490509815453365132\ 3249838708657723536959695026630496308603914390653443423881872736068\ 58297047312468737982*c_1001_3 - 12476553842954798668098544914001488\ 6311221385368916134002282561751873879337618845138067027142447470075\ 822040681148934018058837718376412146986650656226132881642261/224216\ 6787025396185907264337900052002745182980288064336149810196309067302\ 6464996774173154470739193900532609926172078287813068868477637454721\ 3716594094624937475964, c_1001_3^32 - 10*c_1001_3^31 + 69*c_1001_3^30 - 585*c_1001_3^29 + 2928*c_1001_3^28 - 8997*c_1001_3^27 + 40712*c_1001_3^26 - 175403*c_1001_3^25 + 362702*c_1001_3^24 - 606848*c_1001_3^23 + 2265153*c_1001_3^22 - 3930614*c_1001_3^21 - 918871*c_1001_3^20 + 1206791*c_1001_3^19 + 107909*c_1001_3^18 + 57358463*c_1001_3^17 - 106611125*c_1001_3^16 + 68612798*c_1001_3^15 - 131857977*c_1001_3^14 + 83839181*c_1001_3^13 + 242707696*c_1001_3^12 - 144141967*c_1001_3^11 - 98309333*c_1001_3^10 - 116767979*c_1001_3^9 + 81623638*c_1001_3^8 + 110005267*c_1001_3^7 - 24318708*c_1001_3^6 - 3923661*c_1001_3^5 - 13037803*c_1001_3^4 - 7021689*c_1001_3^3 + 2379614*c_1001_3^2 + 864225*c_1001_3 - 3689 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.290 seconds, Total memory usage: 32.09MB