Magma V2.19-8 Tue Aug 20 2013 16:17:57 on localhost [Seed = 4122241328] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2192 geometric_solution 5.64973829 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 0 -1 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.721813495881 0.976742919471 0 2 3 0 0132 0132 0132 1023 0 0 0 0 0 1 0 -1 1 0 0 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.114661438226 0.384805907686 4 1 3 5 0132 0132 2103 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.991642369001 1.246996317444 2 5 4 1 2103 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.991642369001 1.246996317444 2 3 4 4 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392084742442 0.484875816795 6 3 2 6 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682793077743 0.402919828210 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.142380368433 0.498948840952 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : 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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : 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_3, c_0101_0, c_0101_2, c_0101_4, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 1241287774243249788346185734713030349428518652047808197706415396467\ 5222870585618922328258391264893723025363244380372092132956900204010\ 92069255064319/5218518495926157486074880602519715209755054446144367\ 6068209493357433015013611053420466072131555466672700197669522613376\ 778938559043819927536668095488*c_1001_1^29 + 3890402083795620879939487093158633510249448245181317896630790994742\ 8433159463612653059755071098428730228049394510694493529964639822351\ 47676207477353/1304629623981539371518720150629928802438763611536091\ 9017052373339358253753402763355116518032888866668175049417380653344\ 194734639760954981884167023872*c_1001_1^28 + 1826166584894427215893673672730456256879683458614977198546656976257\ 9668386608677263951345817103731913839197054398129351828614824971741\ 040883505866273/391388887194461811455616045188978640731629083460827\ 5705115712001807476126020829006534955409866660000452514825214196003\ 2584203919282864945652501071616*c_1001_1^27 - 7811353044957912539382286610612099274737087926839151126032302600595\ 3159080258734936417625406383497507102167811927034351645351759625271\ 269914004337607/234833332316677086873369627113387184438977450076496\ 5423069427201084485675612497403920973245919996000271508895128517601\ 95505223515697189673915006429696*c_1001_1^26 - 6601726606213676734459959559527011079370141586235527996790854446022\ 8738590359821991958065039566299687724219266884209406317108941130502\ 1311422669441591/52185184959261574860748806025197152097550544461443\ 6760682094933574330150136110534204660721315554666727001976695226133\ 76778938559043819927536668095488*c_1001_1^25 - 5324229715887008407090322278089545015998815423743765877629159695870\ 3219236181222903845625507410121827123757513495786228953535177917648\ 68685507202107985/1565555548777847245822464180755914562926516333843\ 3102820462848007229904504083316026139821639466640001810059300856784\ 0130336815677131459782610004286464*c_1001_1^24 + 7262539522010971431925196758800333020348143919563082470205058398772\ 5622254804841721343471272168903013164487542630099462725676838967834\ 4883533078982071/16773809451191220490954973365241941745641246434035\ 4673076387657220320405400892671708640946137142571447964921080608400\ 13964658822549799262422500459264*c_1001_1^23 + 3996123059550701181706835784246265997672097800720847680116708708886\ 7678335980277841899003666368496043539248271037975559638265711749574\ 955611015689842923/117416666158338543436684813556693592219488725038\ 2482711534713600542242837806248701960486622959998000135754447564258\ 80097752611757848594836957503214848*c_1001_1^22 - 2533027638789550455940931638873780799266681891330698859048726906754\ 4171059203439892287598680174375505265135831618424601238313989429533\ 27019151197175393/4996453879078235890922758023689089030616541490989\ 2881341902706406052886715159519232361132891914808516415082875074842\ 59478834542887174248381170349568*c_1001_1^21 - 3363375604403894125261436802548008608060388382192649509301105509582\ 4568689427850542380204646295860475988178616273365251396578296579644\ 6016760869175723599/15655555487778472458224641807559145629265163338\ 4331028204628480072299045040833160261398216394666400018100593008567\ 840130336815677131459782610004286464*c_1001_1^20 + 2932930737863972428559904009076088402668130124897035291516298468479\ 9440247560448347251644402250832632162833803664581493477664378719698\ 62571949739625236421/4696666646333541737467392542267743688779549001\ 5299308461388544021689713512249948078419464918399920005430177902570\ 3520391010447031394379347830012859392*c_1001_1^19 + 5140085938388602938395286429408929064649090413108757351275300445117\ 5108322511417306477062548451412689074953793533658770195469742432868\ 8276617614711498501/67095237804764881963819893460967766982564985736\ 1418692305550628881281621603570686834563784548570285791859684322433\ 60055858635290199197049690001837056*c_1001_1^18 - 1536357954151634691024500295428872108100913427156993637019354512536\ 2800331968013784354968606352431870815861941803718471826112859331765\ 759416186768277996831/469666664633354173746739254226774368877954900\ 1529930846138854402168971351224994807841946491839992000543017790257\ 03520391010447031394379347830012859392*c_1001_1^17 - 3465419037150061392339569902518046582808807164456902400240562535666\ 7245814422750711367290611729236055019349691585067088340981031887903\ 49897502028764019677/2348333323166770868733696271133871844389774500\ 7649654230694272010844856756124974039209732459199960002715088951285\ 1760195505223515697189673915006429696*c_1001_1^16 + 4679239213952093390728364892607959139177036697814666172550780510298\ 6821035579278682659130864564423524989803510504980990907585907534839\ 874922756844903223495/469666664633354173746739254226774368877954900\ 1529930846138854402168971351224994807841946491839992000543017790257\ 03520391010447031394379347830012859392*c_1001_1^15 + 2673555718142418237419821668048626732114624567013937172883135713125\ 0432649943159208631111317551719187158312783591945216228260726420663\ 12881465084803686465/4696666646333541737467392542267743688779549001\ 5299308461388544021689713512249948078419464918399920005430177902570\ 3520391010447031394379347830012859392*c_1001_1^14 - 4431772684243510774681452526778069685175708135811443190422666934239\ 1236894178655298515659293047666020505153651722837129146653090767924\ 51910241769861312713/2236507926825496065460663115365592232752166191\ 2047289743518354296042720720119022894485459484952342859728656144081\ 120018619545096733065683230000612352*c_1001_1^13 + 2646251977942176458838465297930251324740906729339014387597439935883\ 2270323658567396037213218892947519748612737681099957133194952388050\ 9702561220836842965/65231481199076968575936007531496440121938180576\ 8045950852618666967912687670138167755825901644443333408752470869032\ 6672097367319880477490942083511936*c_1001_1^12 + 6264625552484969001836335545913737378058646853489276410784480213262\ 9676903357611817917673340194220362123251491404389237505235826954486\ 408047084291540930475/234833332316677086873369627113387184438977450\ 0764965423069427201084485675612497403920973245919996000271508895128\ 51760195505223515697189673915006429696*c_1001_1^11 - 2457921743976062808575613657611908794840949026234842765119527511936\ 9118827165231014184954362821120658448986240206371793610698509917925\ 070317485485754758029/234833332316677086873369627113387184438977450\ 0764965423069427201084485675612497403920973245919996000271508895128\ 51760195505223515697189673915006429696*c_1001_1^10 - 1908567000393706097103625507704740587278940714856659185921811418419\ 8314518957311932182023527078682082076283739431702141124963649153535\ 783476178418722214691/782777774388923622911232090377957281463258166\ 9216551410231424003614952252041658013069910819733320000905029650428\ 3920065168407838565729891305002143232*c_1001_1^9 + 6203996229689092980880270388389953694517474593205661817181003869151\ 3188050351753136609782431911545145485339862307338947379571550785181\ 421329745357849543117/469666664633354173746739254226774368877954900\ 1529930846138854402168971351224994807841946491839992000543017790257\ 03520391010447031394379347830012859392*c_1001_1^8 + 1736746351767558051009589464275322654771660061837196097283133079807\ 0893353113466639555902226189027102811267215701718687754760337205866\ 635710272429286273701/117416666158338543436684813556693592219488725\ 0382482711534713600542242837806248701960486622959998000135754447564\ 25880097752611757848594836957503214848*c_1001_1^7 - 7908061215397839787637662611915845791443010027771080559691923442764\ 3337210168072529182546557909771248859060952096495309812929121006641\ 05305169701784929607/7827777743889236229112320903779572814632581669\ 2165514102314240036149522520416580130699108197333200009050296504283\ 920065168407838565729891305002143232*c_1001_1^6 - 1288924567758470334913906122230112479029905914637983057329526006948\ 4995391463233437771463805594168644501545234859518811674146017943084\ 186870203330355937893/234833332316677086873369627113387184438977450\ 0764965423069427201084485675612497403920973245919996000271508895128\ 51760195505223515697189673915006429696*c_1001_1^5 + 7355898611310115631748763507593155053824665226803008629444465658493\ 0828070800096450219201204893888900555214018264777172743622434532943\ 64914701874567815971/1565555548777847245822464180755914562926516333\ 8433102820462848007229904504083316026139821639466640001810059300856\ 7840130336815677131459782610004286464*c_1001_1^4 + 5079101131099906961416482108986370599180378436482504053920994930150\ 0795767678451795310179552493936940764061215145130259481064903246086\ 3754608006901232225/52185184959261574860748806025197152097550544461\ 4436760682094933574330150136110534204660721315554666727001976695226\ 13376778938559043819927536668095488*c_1001_1^3 - 3322061061411225561989727920035778890782031157735347116764030835730\ 8482349102717977031775938408992876663615088413323640902670713440697\ 5154963571292534059/29354166539584635859171203389173398054872181259\ 5620677883678400135560709451562175490121655739999500033938611891064\ 70024438152939462148709239375803712*c_1001_1^2 - 1212449652094457455417208687831093323126995430711186477535353735394\ 7978020423074405738635955953670073207257917420645233008612166214672\ 80528901647846309/1467708326979231792958560169458669902743609062978\ 1033894183920006778035472578108774506082786999975001696930594553235\ 012219076469731074354619687901856*c_1001_1 + 4635015962349653026637128456662084690665832811958580226589804447509\ 3868478097930813162104328655320470605799201941994111628032671690859\ 899714641899503/582423939277472933713714352959789643945876612292898\ 1704041238097927791854197662212105588407539672619721004204187791671\ 5155065356075691883411459928, c_0011_0 - 1, c_0011_3 + 129495814285728869307111713822274598324979145957277942257124\ 499648773007977804112608221440587113474371028504798307475247837/622\ 4366474403297947884508897156934838915282175957619388259556358240622\ 7230551067839987213096358915226864913915144865220351296*c_1001_1^29 + 40409447415561186565590666335356621135387846048116120848613525643\ 5248878241956728487881195222668958076897781924974400988045/15560916\ 1860082448697112722428923370972882054398940484706488908956015568076\ 37766959996803274089728806716228478786216305087824*c_1001_1^28 + 6108915858555006576432489494283851707477489245506317930319461423422\ 00224955236906370773169909954378171602563580262848209593/1556091618\ 6008244869711272242892337097288205439894048470648890895601556807637\ 766959996803274089728806716228478786216305087824*c_1001_1^27 - 1026753237235941376125170070426985350337926440475936049364438281414\ 233026480514269229734823515143646429814667859075113047613/311218323\ 7201648973942254448578467419457641087978809694129778179120311361527\ 5533919993606548179457613432456957572432610175648*c_1001_1^26 - 6897956802355012199142226798351565427475658531601116624455117953507\ 6940360908423897557260725217830195444781713357550100052821/62243664\ 7440329794788450889715693483891528217595761938825955635824062272305\ 51067839987213096358915226864913915144865220351296*c_1001_1^25 - 1813934117956842440152563065955246761283744055295653283448662244635\ 07086821675659978757863901391928961128946002944506031613561/6224366\ 4744032979478845088971569348389152821759576193882595563582406227230\ 551067839987213096358915226864913915144865220351296*c_1001_1^24 + 6250922927751655684740553593016802838585506253186586268537097389184\ 9633960636080914661651122638256088349209785122072932280945/15560916\ 1860082448697112722428923370972882054398940484706488908956015568076\ 37766959996803274089728806716228478786216305087824*c_1001_1^23 + 4633487570770326426777555704405631155491180818122278044769828761670\ 95974624657464613147030126180489035212265901357481831804145/1556091\ 6186008244869711272242892337097288205439894048470648890895601556807\ 637766959996803274089728806716228478786216305087824*c_1001_1^22 - 3051710615545376008778369691624316949101307187288870406917501869231\ 0072532208563471381611675537105451615592334582131889794363/66216664\ 6213116802966437116718822855203753422974214828538250676408576885431\ 394338723268224429350161987924616118562395961184*c_1001_1^21 - 1166085884552849598814269668251595811197256610446525939443003885829\ 3930855465180892264114035375895750462230074090977533133728575/62243\ 6647440329794788450889715693483891528217595761938825955635824062272\ 30551067839987213096358915226864913915144865220351296*c_1001_1^20 + 3474945969153460181023398277926820942168075417314485106035641862051\ 9368106205537756079220066689360995742968943650707190414856159/62243\ 6647440329794788450889715693483891528217595761938825955635824062272\ 30551067839987213096358915226864913915144865220351296*c_1001_1^19 + 4060338724608095427126431624537548172343286374299339752936393237719\ 6863006607352396767273012710655125168479490926909685720264729/62243\ 6647440329794788450889715693483891528217595761938825955635824062272\ 30551067839987213096358915226864913915144865220351296*c_1001_1^18 - 1820806357215918672213418403352181868413494047693777947744732138263\ 68020501186385534047522971448743048428840736928064239811630317/6224\ 3664744032979478845088971569348389152821759576193882595563582406227\ 230551067839987213096358915226864913915144865220351296*c_1001_1^17 - 3691878535934309514842010613799906987642167323177039296963453096249\ 1532038996204351821944721833388041621805521037089412248562467/31121\ 8323720164897394225444857846741945764108797880969412977817912031136\ 15275533919993606548179457613432456957572432610175648*c_1001_1^16 + 5558548315026790163540360007808950471786997537313587121597834138966\ 46245094610349887007259225772846209045162931308110442404596637/6224\ 3664744032979478845088971569348389152821759576193882595563582406227\ 230551067839987213096358915226864913915144865220351296*c_1001_1^15 + 9989690271977496111572623344411343541916681823923515029583248253576\ 385294760247467005020196952080576695374257520445391427413907/622436\ 6474403297947884508897156934838915282175957619388259556358240622723\ 0551067839987213096358915226864913915144865220351296*c_1001_1^14 - 1107631262862203498846805230775759032846732294689784658272372172829\ 124165490280623396124833597169124504564593270375339114186603879/622\ 4366474403297947884508897156934838915282175957619388259556358240622\ 7230551067839987213096358915226864913915144865220351296*c_1001_1^13 + 83181485373368596682670720778482121503384805909773300313899901518\ 40419136996476188040098009957870186662477669463606308556941983/1945\ 1145232510306087139090303615421371610256799867560588311113619501946\ 00954720869999600409261216100839528559848277038135978*c_1001_1^12 + 7467172156919414953161774995791882206145215629532566628450286898105\ 81925717589950073372368168395386992039473955081475446440269753/3112\ 1832372016489739422544485784674194576410879788096941297781791203113\ 615275533919993606548179457613432456957572432610175648*c_1001_1^11 - 3189196789801156228443029079303815005081275765349321030715519627798\ 99488341791986071136888272433597183933422451388208529582900295/3112\ 1832372016489739422544485784674194576410879788096941297781791203113\ 615275533919993606548179457613432456957572432610175648*c_1001_1^10 - 6834387372383981762220573833851948623026948528231645175722444766370\ 92319618190835065834323277765787968774484806090377084468961083/3112\ 1832372016489739422544485784674194576410879788096941297781791203113\ 615275533919993606548179457613432456957572432610175648*c_1001_1^9 + 7894219666946326445106407983730612202404399760427288326261380931139\ 02087722663963813045349939685264618373228706994373049053610335/6224\ 3664744032979478845088971569348389152821759576193882595563582406227\ 230551067839987213096358915226864913915144865220351296*c_1001_1^8 + 2074430514712879732335736067736785455728898254111682000670337119466\ 63481905609235943347870430490816886305747632828614823268445885/1556\ 0916186008244869711272242892337097288205439894048470648890895601556\ 807637766959996803274089728806716228478786216305087824*c_1001_1^7 - 2996546761525045957615406661276494849951895733382096818629597584549\ 30380218131967000659309125802666734848535693311038446401260439/3112\ 1832372016489739422544485784674194576410879788096941297781791203113\ 615275533919993606548179457613432456957572432610175648*c_1001_1^6 - 1537428180004367332422610420729464911414136442098019610950548515550\ 64717081693652890806171331866176243507205394033322523932471727/3112\ 1832372016489739422544485784674194576410879788096941297781791203113\ 615275533919993606548179457613432456957572432610175648*c_1001_1^5 + 2782563890924203698356925006369844853941735173825652404942962969965\ 07895453144000283226999337373584227695587153155503032945065747/6224\ 3664744032979478845088971569348389152821759576193882595563582406227\ 230551067839987213096358915226864913915144865220351296*c_1001_1^4 + 5393705253047600541501749579428783512001646849739623629392169549915\ 4432585346636484962066824641556824679582220854304285019602875/62243\ 6647440329794788450889715693483891528217595761938825955635824062272\ 30551067839987213096358915226864913915144865220351296*c_1001_1^3 - 8423855467432176938141601115812206663762763157635048365848125220052\ 644231362011918794680631405915665346139326074662263368495587/778045\ 8093004122434855636121446168548644102719947024235324445447800778403\ 818883479998401637044864403358114239393108152543912*c_1001_1^2 - 8400506492462808109552723682025546299385160060443331804909373715930\ 444692808617329450863828700866174473581153236710322602765/194511452\ 3251030608713909030361542137161025679986756058831111361950194600954\ 720869999600409261216100839528559848277038135978*c_1001_1 + 7443970573888995660461755869817650417371867269849900519781924349322\ 9312379499319748918749153848695722243486091820333451331321/97255726\ 1625515304356954515180771068580512839993378029415555680975097300477\ 360434999800204630608050419764279924138519067989, c_0101_0 - 168496979521739162703523650445513680271643864916837432617346\ 4607391400794931648022995400676366999622535254023884588212688523/43\ 5705653208230856351915622800985438724069752317033357178168945076843\ 590613857474879910491674512406588054397406014056542459072*c_1001_1^\ 29 - 10505077040754836411950207688465431806122991578916286182415727\ 896145742370554462686218047818731455012061127792698196052750015/217\ 8528266041154281759578114004927193620348761585166785890844725384217\ 95306928737439955245837256203294027198703007028271229536*c_1001_1^2\ 8 - 790169322426729110754765558686240815647948168376523279684760885\ 2220820664425709433352241564960777705781870128357904528748469/10892\ 6413302057714087978905700246359681017438079258339294542236269210897\ 653464368719977622918628101647013599351503514135614768*c_1001_1^27 + 3916719907289319952376917820851532188233649140361027533126545756309\ 0379143384722827517326312645082260878800471139665782130213/65355847\ 9812346284527873434201478158086104628475550035767253417615265385920\ 786212319865737511768609882081596109021084813688608*c_1001_1^26 + 8958502507456506740638713934271007491480884696455000962549995852310\ 17852342769977026305144376140666435185491127898752176162935/4357056\ 5320823085635191562280098543872406975231703335717816894507684359061\ 3857474879910491674512406588054397406014056542459072*c_1001_1^25 + 2349577155433329632644672941767102427056787792873901834924943976310\ 609200544970561273669065598956298538522928898642805769985969/435705\ 6532082308563519156228009854387240697523170333571781689450768435906\ 13857474879910491674512406588054397406014056542459072*c_1001_1^24 - 6944857301426071170343972777666234890562814117331682427811501834824\ 21060527813768550308887254113775067471997031890009197750613/9336549\ 7116049469218267633457354022583729232639364290823893345373609340845\ 826601759980819644538372840297370872717297830526944*c_1001_1^23 - 1797661539311461583717358528632680110602943263909006934400346365463\ 2213273101964380755343105516869387506669454099935878705627623/32677\ 9239906173142263936717100739079043052314237775017883626708807632692\ 960393106159932868755884304941040798054510542406844304*c_1001_1^22 + 1196107405080027664050385408819483357414104853005821679867865433971\ 316306927922202280701930386710145896362310941546956567681043/139054\ 9957047545286229517945109527995927882188245851139930326420458011459\ 4059281113188632713016353401746416938489810315184864*c_1001_1^21 + 1501819845904929480884786114597315314148979934115228271190898517093\ 34016498615590230189052222086508610065506460917355889188391101/4357\ 0565320823085635191562280098543872406975231703335717816894507684359\ 0613857474879910491674512406588054397406014056542459072*c_1001_1^20 - 13561489178430282921327618700912483027130213105602126594473860851\ 21011998985245160874542225604235155327869455790732469427301795545/1\ 3071169596246925690557468684029563161722092569511000715345068352305\ 30771841572424639731475023537219764163192218042169627377216*c_1001_\ 1^19 - 221284892514504713847457525966233783959931072044106635885068\ 5836204915924794049383442229332233176368012897737808152937408751975\ 61/1867309942320989384365352669147080451674584652787285816477866907\ 47218681691653203519961639289076745680594741745434595661053888*c_10\ 01_1^18 + 705950345283136128095281762925150588666579317463916567463\ 7653009282868650240197904055217301080560712193790888651598461170266\ 533155/130711695962469256905574686840295631617220925695110007153450\ 6835230530771841572424639731475023537219764163192218042169627377216\ *c_1001_1^17 + 6864075393936320736453046717586739733451650205670895\ 0475039539856034035694620420832265470622108181056416136715006100711\ 3243983833/32677923990617314226393671710073907904305231423777501788\ 3626708807632692960393106159932868755884304941040798054510542406844\ 304*c_1001_1^16 - 2141649801674789440069807842207538692261206605598\ 0099434621506999563764797837845310209340875903200577836683963225477\ 752601876604957/130711695962469256905574686840295631617220925695110\ 0071534506835230530771841572424639731475023537219764163192218042169\ 627377216*c_1001_1^15 - 1007873279706886279967579696387815506951214\ 3734089901753718860846299306860114224825850036155257697380990090842\ 0721662518205834661/13071169596246925690557468684029563161722092569\ 5110007153450683523053077184157242463973147502353721976416319221804\ 2169627377216*c_1001_1^14 + 201818903550068785849104292528986900522\ 1636466499095399214388502049546814938616538461618765190899516517581\ 123215930724918596688181/622436647440329794788450889715693483891528\ 2175957619388259556358240622723055106783998721309635891522686491391\ 5144865220351296*c_1001_1^13 - 177789292334512351023427002465352265\ 3365319004768972142686896655244754220813661329239859549779065734991\ 214404291928859502062123325/217852826604115428175957811400492719362\ 0348761585166785890844725384217953069287374399552458372562032940271\ 98703007028271229536*c_1001_1^12 - 2834795297227363695505389803527705031179558777141900590501588705532\ 7146792862885463024821730520943019128341756077785614635442614341/65\ 3558479812346284527873434201478158086104628475550035767253417615265\ 385920786212319865737511768609882081596109021084813688608*c_1001_1^\ 11 + 12394333217159128759503891514139119237045822656172178073500033\ 4341322791606893378308723352160181959107509632576409581764111200045\ 65/6535584798123462845278734342014781580861046284755500357672534176\ 15265385920786212319865737511768609882081596109021084813688608*c_10\ 01_1^10 + 857219436577216447371899805811977850963691173451789418264\ 9155360271601330285270633315496057041310813506901618259588836953904\ 347875/217852826604115428175957811400492719362034876158516678589084\ 472538421795306928737439955245837256203294027198703007028271229536*\ c_1001_1^9 - 302031276649580465296859460970624414955658877532991104\ 6026447173753049325203089437982221443834566011962294268340537387413\ 1133987319/13071169596246925690557468684029563161722092569511000715\ 3450683523053077184157242463973147502353721976416319221804216962737\ 7216*c_1001_1^8 - 1545253325990446287526615799629940325061903157548\ 5535231231696374876508925427801509659129055406422946292896610300941\ 036941585444923/653558479812346284527873434201478158086104628475550\ 0357672534176152653859207862123198657375117686098820815961090210848\ 13688608*c_1001_1^7 + 377387987155183031335409813030274613525136640\ 3511109972550539069127258293718300088938187812897211424911908114839\ 386408604396758277/217852826604115428175957811400492719362034876158\ 5166785890844725384217953069287374399552458372562032940271987030070\ 28271229536*c_1001_1^6 + 564898754733812669728438264628254992527347\ 9035758721171065661748103531661866013043435954958858592309802132663\ 785489894865679138237/653558479812346284527873434201478158086104628\ 4755500357672534176152653859207862123198657375117686098820815961090\ 21084813688608*c_1001_1^5 - 345971114740662976436364485463180550639\ 6511081879783498002328633274672319188591548625613701471187665531387\ 917644187684452747086105/435705653208230856351915622800985438724069\ 7523170333571781689450768435906138574748799104916745124065880543974\ 06014056542459072*c_1001_1^4 - 645754630482817701541313917274255279\ 1948410051623174621962612154825029897443236131184710426102265422782\ 09354505325896693535311819/4357056532082308563519156228009854387240\ 6975231703335717816894507684359061385747487991049167451240658805439\ 7406014056542459072*c_1001_1^3 + 1236138558823366363714330273009080\ 9366446449811800155709026669982428261889911779501332941019523790675\ 92451355795036770322660953959/6535584798123462845278734342014781580\ 8610462847555003576725341761526538592078621231986573751176860988208\ 1596109021084813688608*c_1001_1^2 + 1006243606149261893589090267548347023314920286103680247164408359884\ 14702281965406442508796252967467093530337456342167193561909/4084740\ 4988271642782992089637592384880381539279721877235453338600954086620\ 049138269991608594485538117630099756813817800855538*c_1001_1 - 1279474617405943078965393160032200179806129718385489468133353242929\ 27216591734043167620299533944093983755485873528686783457017/9725572\ 6162551530435695451518077106858051283999337802941555568097509730047\ 7360434999800204630608050419764279924138519067989, c_0101_2 + 275481279076803356108866215236189693645158233202452785778682\ 9738487473245527096678787846668368131347892924282880510293017223014\ 43304994260810755/1331254718348509562774204235336662043304860828098\ 0529609237115652406381381023227913384202074376394559362295323857809\ 5348925863671030152876369051264*c_1001_1^29 + 8631994356106597379250165598328507013792128040709304449520684835123\ 7202121562302631405233935215810522060844861707267958941985387581468\ 2406799079/33281367958712739069355105883416551082621520702451324023\ 0927891310159534525580697834605051859409863984057383096445238372314\ 65917757538219092262816*c_1001_1^28 + 1347087858245495753256547562025306969125529105894765478995321188593\ 8340775333006214002329193123205924199543797224078652666305867443155\ 23478066367/3328136795871273906935510588341655108262152070245132402\ 3092789131015953452558069783460505185940986398405738309644523837231\ 465917757538219092262816*c_1001_1^27 - 5903063784749207857693666471222718269009962354287462936794585618525\ 5544128212798185980319127866849220450594542991485035243576755559438\ 56545878857/1996882077522764344161306353004993064957291242147079441\ 3855673478609572071534841870076303111564591839043442985786714302338\ 8795506545229314553576896*c_1001_1^26 - 1466277294494236066687439083480133241194543906657558871613612734534\ 6660563510570667427351063558046349294271700429363672881317984583189\ 9843694075883/13312547183485095627742042353366620433048608280980529\ 6092371156524063813810232279133842020743763945593622953238578095348\ 925863671030152876369051264*c_1001_1^25 - 3933970510317554798718206570070272228622507954652887481821130257469\ 2005417277670378632625500292950566819681770222769688564033206027087\ 6927590290743/13312547183485095627742042353366620433048608280980529\ 6092371156524063813810232279133842020743763945593622953238578095348\ 925863671030152876369051264*c_1001_1^24 + 3790618542092783637873027290863412853872352740754966610250159594082\ 9131733801676345395699184724938888146604574945573450348766861990558\ 9820061616841/99844103876138217208065317650249653247864562107353972\ 0692783673930478603576742093503815155578229591952172149289335715116\ 94397753272614657276788448*c_1001_1^23 + 2961502991630258250416611286244178911730323436809565506953134584590\ 9161836453752546344191859121662424227417982711778370691763584732584\ 80722129335717/9984410387613821720806531765024965324786456210735397\ 2069278367393047860357674209350381515557822959195217214928933571511\ 694397753272614657276788448*c_1001_1^22 - 1879743689561853100471961568198768621024073278410683419846172351701\ 9967881799533576386750880924847260021221433739829268082645387484153\ 8336553317775/42486852713250305194921411766063682233133856215895307\ 2635227095289565363224145571703751130033289188064754106080568389411\ 4655223543515517330927168*c_1001_1^21 - 2494227558968080782578489146736710446720024092441646269956814344807\ 9267282226747982979738621330982039525351595639741367419439515039886\ 402097592718273/133125471834850956277420423533666204330486082809805\ 2960923711565240638138102322791338420207437639455936229532385780953\ 48925863671030152876369051264*c_1001_1^20 + 2174308139926892046964562281792629855764811339906526155537979375555\ 0527418415525851903611862963952567857239721690139115120401918800481\ 0303255016544243/39937641550455286883226127060099861299145824842941\ 5888277113469572191441430696837401526062231291836780868859715734286\ 046777591013090458629107153792*c_1001_1^19 + 2670516318062810889005058232768949179730435857178091790145443577273\ 8186057783109213973882258596821261120411543625900160977751465738483\ 0992932148852357/39937641550455286883226127060099861299145824842941\ 5888277113469572191441430696837401526062231291836780868859715734286\ 046777591013090458629107153792*c_1001_1^18 - 1140896910854809222378757099903715312009537640570428866499964489394\ 0231312977874039207124054410133516497211073726308088198569010408376\ 00998874851567433/3993764155045528688322612706009986129914582484294\ 1588827711346957219144143069683740152606223129183678086885971573428\ 6046777591013090458629107153792*c_1001_1^17 - 2579065093977658641191035479898294352283500350980587308331862622613\ 7109076180754743818716894472267181546638655877621543763077914676443\ 9715177737107423/19968820775227643441613063530049930649572912421470\ 7944138556734786095720715348418700763031115645918390434429857867143\ 023388795506545229314553576896*c_1001_1^16 + 3482526519025661146993715217792448219196259649036175972916453991095\ 3350236958720933957970298056764056396438605697898667775824392813275\ 18445948720846537/3993764155045528688322612706009986129914582484294\ 1588827711346957219144143069683740152606223129183678086885971573428\ 6046777591013090458629107153792*c_1001_1^15 + 2045373568210759460192574865645519766821460511780470826650469939038\ 6172867354224908104119423915181717612965027666699758970839520886434\ 0779273735978903/39937641550455286883226127060099861299145824842941\ 5888277113469572191441430696837401526062231291836780868859715734286\ 046777591013090458629107153792*c_1001_1^14 - 2314815064160676699720842261694794107841625413106856170524183254528\ 2957519239786895846742724411764664175747655156655060827088965721989\ 70576435110281769/1331254718348509562774204235336662043304860828098\ 0529609237115652406381381023227913384202074376394559362295323857809\ 5348925863671030152876369051264*c_1001_1^13 + 2925017359713916120425935097197738368830459876219847326003111927889\ 7836123416442972708671634679173807769561489974354563891347732665084\ 509350225712593/832034198967818476733877647085413777065538017561283\ 1005773197282753988363139517445865126296485246599601434577411130959\ 307866479439384554773065704*c_1001_1^12 + 4690277573684319886645019593290535720518466765039446998839467605099\ 5643113294257076826327834170474940605389669603710819797426067840597\ 60919818630021605/1996882077522764344161306353004993064957291242147\ 0794413855673478609572071534841870076303111564591839043442985786714\ 3023388795506545229314553576896*c_1001_1^11 - 1823050744222680244565086201794698862222034450080011175949914567556\ 8140042648452397886389492499226145611423002678909744491474217015490\ 76144653096011259/1996882077522764344161306353004993064957291242147\ 0794413855673478609572071534841870076303111564591839043442985786714\ 3023388795506545229314553576896*c_1001_1^10 - 1435541906688341786799924841763419401040048021285246039544784962036\ 1649224069581095319468635640837712725775930384072406676129386058281\ 39113708960732373/6656273591742547813871021176683310216524304140490\ 2648046185578262031906905116139566921010371881972796811476619289047\ 674462931835515076438184525632*c_1001_1^9 + 4617498278794829319374709411045048447693963367753550993547077288074\ 1931162663145128641526146792161181117726076624348854617371914981592\ 27148771721827747/3993764155045528688322612706009986129914582484294\ 1588827711346957219144143069683740152606223129183678086885971573428\ 6046777591013090458629107153792*c_1001_1^8 + 1314968292645670971256381930077245243750148077491345543669113123748\ 0347292667860705826100612185728422861101791602766758413326986490292\ 97209189277175597/9984410387613821720806531765024965324786456210735\ 3972069278367393047860357674209350381515557822959195217214928933571\ 511694397753272614657276788448*c_1001_1^7 - 5902076046432656179590052478330493273167552818485069130408128837920\ 6589262111978890668150868787455871501741264220001023771846683769154\ 7296840467087897/66562735917425478138710211766833102165243041404902\ 6480461855782620319069051161395669210103718819727968114766192890476\ 74462931835515076438184525632*c_1001_1^6 - 9869241236482355143729279696795308047459055448435890215052948044124\ 8567431300328660540000035995885897163196840051881286091224885600025\ 8420627808980899/19968820775227643441613063530049930649572912421470\ 7944138556734786095720715348418700763031115645918390434429857867143\ 023388795506545229314553576896*c_1001_1^5 + 5505933307310181849332909105964865217766123565240147180050454296921\ 4781827891116084275008995870786700335494145702281314374619751516842\ 1097738349333613/13312547183485095627742042353366620433048608280980\ 5296092371156524063813810232279133842020743763945593622953238578095\ 348925863671030152876369051264*c_1001_1^4 + 1201400790928711769129887722462586622919798924712707626677341253642\ 7531597285594654182273023645315443957624864842992412176119174585561\ 9246067415523221/13312547183485095627742042353366620433048608280980\ 5296092371156524063813810232279133842020743763945593622953238578095\ 348925863671030152876369051264*c_1001_1^3 - 4984081979734630595573008830533792577789940288406999740272492451204\ 7987966964031843074166412044653073776279759414092616905277680985120\ 616707557525113/499220519380691086040326588251248266239322810536769\ 8603463918369652393017883710467519075777891147959760860746446678575\ 5847198876636307328638394224*c_1001_1^2 - 9780228001870942156801232639637118235796237482736914046229215596752\ 2036970434109825278237393295906263440770653786643530128018417635071\ 085005052105/624025649225863857550408235314060332799153513170962325\ 4329897962065491272354638084398844722363934949701075933058348219480\ 899859579538416079799278*c_1001_1 + 7193754396158336169974877426347329802772128758801428223798595485031\ 3286074433305957596050466874889869590264438844920613727579767379923\ 851134204224/104004274870977309591734705885676722133192252195160387\ 5721649660344248545392439680733140787060655824950179322176391369913\ 483309929923069346633213, c_0101_4 - 277210064446993378569690620976821583822964448356808539089766\ 4638584952128101693998324371857457824144216057208927764538510288604\ 4353676377113531/16640683979356369534677552941708275541310760351225\ 6620115463945655079767262790348917302525929704931992028691548222619\ 18615732958878769109546131408*c_1001_1^29 - 4335950208792092763469719403092917447894275188549101881339437024170\ 8240516988981259937049333724479900241440928116597201026609793123389\ 802298015/208008549741954619183469411771353444266384504390320775144\ 3299320688497090784879361466281574121311649900358644352782739826966\ 619859846138693266426*c_1001_1^28 - 1335153235318339739380169814590766739488857214787540288364482940697\ 4027777486237496967035053907375737890226027995354784515390135860753\ 4785399331/41601709948390923836693882354270688853276900878064155028\ 8659864137699418156975872293256314824262329980071728870556547965393\ 3239719692277386532852*c_1001_1^27 + 2099698452606294255322252051187674535544149793731482955754165922435\ 1362400466528123292520535431588937722323360262913882273236832046219\ 7591840563/83203419896781847673387764708541377706553801756128310057\ 7319728275398836313951744586512629648524659960143457741113095930786\ 6479439384554773065704*c_1001_1^26 + 1476957483540453202691345455199715604972346135163871414656971173151\ 2929455035154965933814845281982422546289412585622187817154993378003\ 870930865691/166406839793563695346775529417082755413107603512256620\ 1154639456550797672627903489173025259297049319920286915482226191861\ 5732958878769109546131408*c_1001_1^25 + 3928401998668299517997525391947318660420789765173222863381160333100\ 7018606740320483944678016028743827219494834856838513190076016980253\ 199284709899/166406839793563695346775529417082755413107603512256620\ 1154639456550797672627903489173025259297049319920286915482226191861\ 5732958878769109546131408*c_1001_1^24 - 3261969934788549240588378335758727347070166424366323943014154308384\ 0664515791098727878616389191567360545686428789180589718806065998186\ 67467347360/1040042748709773095917347058856767221331922521951603875\ 7216496603442485453924396807331407870606558249501793221763913699134\ 83309929923069346633213*c_1001_1^23 - 9945919520305020670243107530050106418385374042163851200106126485655\ 3916712786604252340850488168952792399098662614009908736979443797877\ 397877781479/416017099483909238366938823542706888532769008780641550\ 2886598641376994181569758722932563148242623299800717288705565479653\ 933239719692277386532852*c_1001_1^22 + 6403679951090820921944113849566276753294586105949680068151637796198\ 5560835565940279078501750464503031245586362525194077126845817968515\ 92747351413/1770285529718762716455058823585986759713910675662304469\ 3134462303731890134339398820989630418053716169364754420023682892144\ 3967647646479888788632*c_1001_1^21 + 2511066171878145493327517957458450320587511759591444323680269207312\ 6318599699388347088236571108490111847083380537811218527484221839514\ 37232558901441/1664068397935636953467755294170827554131076035122566\ 2011546394565507976726279034891730252592970493199202869154822261918\ 615732958878769109546131408*c_1001_1^20 - 7362255145197495742149177891145536028522988251667085112440684380000\ 2573333276869192389952128732157739128241812934042682575480184671445\ 37705046749253/1664068397935636953467755294170827554131076035122566\ 2011546394565507976726279034891730252592970493199202869154822261918\ 615732958878769109546131408*c_1001_1^19 - 8889854500101120992876210285562274311173606425824916836652318861277\ 9211479914500746340980979222186696504563769239022433536497888000736\ 51809770634515/1664068397935636953467755294170827554131076035122566\ 2011546394565507976726279034891730252592970493199202869154822261918\ 615732958878769109546131408*c_1001_1^18 + 3868125889210703033471632188937076993419145737106191125752461306863\ 7135629366658556505507210485871843804609504555751802989552478003379\ 103775611971071/166406839793563695346775529417082755413107603512256\ 6201154639456550797672627903489173025259297049319920286915482226191\ 8615732958878769109546131408*c_1001_1^17 + 8406090838544545722547611226273597549366136272326232849184549200879\ 9478034695318774752734835294012610293333506440995115841483202103980\ 86786912492579/8320341989678184767338776470854137770655380175612831\ 0057731972827539883631395174458651262964852465996014345774111309593\ 07866479439384554773065704*c_1001_1^16 - 1182632475339276217174944955110321032600159447125915459733658077683\ 3289584530459876363422020763721673160969985330402813847136840178253\ 6844591166594131/16640683979356369534677552941708275541310760351225\ 6620115463945655079767262790348917302525929704931992028691548222619\ 18615732958878769109546131408*c_1001_1^15 - 5093792956761325714255357877156175430317287877779649628570310957685\ 9810785764913808661219768251479073067535098842409363549254618680472\ 78618692754193/1664068397935636953467755294170827554131076035122566\ 2011546394565507976726279034891730252592970493199202869154822261918\ 615732958878769109546131408*c_1001_1^14 + 2360812732998707810909602484074935022941910483025822892798300602208\ 3178952226389222814296633439113734632253013801081638799244964304528\ 0253146085610749/16640683979356369534677552941708275541310760351225\ 6620115463945655079767262790348917302525929704931992028691548222619\ 18615732958878769109546131408*c_1001_1^13 - 1282040391070051913757422637361947798885771403243987120199926308497\ 2910521382166802761091481254353445611352248724714090696243610168161\ 389180246234871/416017099483909238366938823542706888532769008780641\ 5502886598641376994181569758722932563148242623299800717288705565479\ 653933239719692277386532852*c_1001_1^12 - 1595048616376681588438368217053720829444649003667963534335382804299\ 9834024852798420255309224521638471952902405854279869488893726571196\ 2971267940728487/83203419896781847673387764708541377706553801756128\ 3100577319728275398836313951744586512629648524659960143457741113095\ 9307866479439384554773065704*c_1001_1^11 + 6449208842176733768980344780355743732061599237116178976526775961556\ 2325557920800722851187812993196198784786643620730344055304006141211\ 922577865494517/832034198967818476733877647085413777065538017561283\ 1005773197282753988363139517445865126296485246599601434577411130959\ 307866479439384554773065704*c_1001_1^10 + 1463424796149650328779110387549931517158036670530724389990188885255\ 7153619999503882134379867780949922588481938334237121052160003268223\ 9829407840450649/83203419896781847673387764708541377706553801756128\ 3100577319728275398836313951744586512629648524659960143457741113095\ 9307866479439384554773065704*c_1001_1^9 - 1619786493256482744038596949420342935773026541246619996071078849187\ 0283519048576162494828576567842799567494906956571060194791627387088\ 2205186490370065/16640683979356369534677552941708275541310760351225\ 6620115463945655079767262790348917302525929704931992028691548222619\ 18615732958878769109546131408*c_1001_1^8 - 1113701411169084696898260487633843328027823084656979439130082749814\ 5327997669924808189919415456536458608494975518396751397719819075164\ 616175389526409/104004274870977309591734705885676722133192252195160\ 3875721649660344248545392439680733140787060655824950179322176391369\ 913483309929923069346633213*c_1001_1^7 + 6187223191929484063860648322194464959330649579330027505536617206213\ 8869587825697807057072106674923854514779068731140990247932796443087\ 936472293117673/832034198967818476733877647085413777065538017561283\ 1005773197282753988363139517445865126296485246599601434577411130959\ 307866479439384554773065704*c_1001_1^6 + 3316916795007792835375155084763895302524054117979850847780814170105\ 9323322078269508267632340483201379423448526320448304183928777827306\ 092324039893557/832034198967818476733877647085413777065538017561283\ 1005773197282753988363139517445865126296485246599601434577411130959\ 307866479439384554773065704*c_1001_1^5 - 5757277676940201508148702075910621008665990304960353172709719403967\ 7935824515917696404122644095009856160166768922111118359064563731195\ 380582713904477/166406839793563695346775529417082755413107603512256\ 6201154639456550797672627903489173025259297049319920286915482226191\ 8615732958878769109546131408*c_1001_1^4 - 1178370043913058404762242300812415171939104550394990421662887647252\ 2996886530420721513480357544644886941147083348801449522107921333406\ 238001946642769/166406839793563695346775529417082755413107603512256\ 6201154639456550797672627903489173025259297049319920286915482226191\ 8615732958878769109546131408*c_1001_1^3 + 3470238111946523807420582900388239161856200770346412813860712500549\ 1853684863514388932477873522899979581963923782309717154833663729088\ 56404207307297/4160170994839092383669388235427068885327690087806415\ 5028865986413769941815697587229325631482426232998007172887055654796\ 53933239719692277386532852*c_1001_1^2 + 6548815645502132439380568683848965378375833281404186694077814510720\ 2354560204118307307187791070029630669211308840545339590936167263790\ 99940440620/1040042748709773095917347058856767221331922521951603875\ 7216496603442485453924396807331407870606558249501793221763913699134\ 83309929923069346633213*c_1001_1 - 5962981117159057597751539791812100987900920385261145261877389553679\ 4871344213189535715469426703966565714854396551888903336669533741701\ 455826839163/104004274870977309591734705885676722133192252195160387\ 5721649660344248545392439680733140787060655824950179322176391369913\ 483309929923069346633213, c_0101_6 + 211811632322835539691476113528009982156541654373437329106174\ 3244293300607189922952142510961984070530555790973687802867642333880\ 89021388594042291/5824239392774729337137143529597896439458766122928\ 9817040412380979277918541976622121055884075396726197210042041877916\ 715155065356075691883411459928*c_1001_1^29 + 1060164721428403836989670198907070575823554011881932767618395481878\ 0805995607633557922727539929259172288085619797194088954350931125641\ 863635636863/232969575710989173485485741183915857578350644917159268\ 1616495239171116741679064884842235363015869047888401681675116668606\ 20261424302767533645839712*c_1001_1^28 + 4083536351928357054169024081414873375790549546484229533262941626226\ 6256597030501794951178764380315625428485691231167236761503381216485\ 79338671837/5824239392774729337137143529597896439458766122928981704\ 0412380979277918541976622121055884075396726197210042041877916715155\ 065356075691883411459928*c_1001_1^27 - 9512164161359984396576694911891181816798744470723447828591114210057\ 8452275246014065572751377429757117335410548204730309121392916614608\ 11127988649/1747271817832418801141143058879368931837629836878694511\ 2123714293783375562592986636316765222619017859163012612563375014546\ 5196068227075650234379784*c_1001_1^26 - 2255644049143060080500016642764229799682921745377381202653630999522\ 9700370149912042188109735377346140900650200678135755767747004406589\ 2182401790965/11648478785549458674274287059195792878917532245857963\ 4080824761958555837083953244242111768150793452394420084083755833430\ 310130712151383766822919856*c_1001_1^25 - 1200604108411350923884119946677675075040844573130539817163423547399\ 7585841977898758700637779463832483242689989126409737297334331743337\ 43303617485571/2329695757109891734854857411839158575783506449171592\ 6816164952391711167416790648848422353630158690478884016816751166686\ 0620261424302767533645839712*c_1001_1^24 + 6810096875118067134458496717278037958352502016190896178861749319085\ 8555645036090724859213612362168122131720850185865394065062476457023\ 1519836239513/99844103876138217208065317650249653247864562107353972\ 0692783673930478603576742093503815155578229591952172149289335715116\ 94397753272614657276788448*c_1001_1^23 + 9105416227502605092974530161039716079636710050911697711172791942028\ 1150229004664780154908505337703438068877859071330520151271872367443\ 91172872205751/1747271817832418801141143058879368931837629836878694\ 5112123714293783375562592986636316765222619017859163012612563375014\ 5465196068227075650234379784*c_1001_1^22 - 2933927860412653649928768406502484503517833038268328349732962917395\ 3109684823217702061107493309053521549671402246464889613893267849122\ 7171583692975/37175996124094017045556235295305721953992124188908393\ 8555823708378369692821127375240782238779128039556659842820497340735\ 0323320600576077664561272*c_1001_1^21 - 3829297155926450843060060275021772412854356716449912264617039684348\ 5946913345663538088886997834967903289514695958695770386775122548913\ 539057355909881/116484787855494586742742870591957928789175322458579\ 6340808247619585558370839532442421117681507934523944200840837558334\ 30310130712151383766822919856*c_1001_1^20 + 6744552724061041435908665321219785328798280848133262756296903883970\ 0054437836172249354929291208931844407655665096160331629586657046242\ 8992262248139437/69890872713296752045645722355174757273505193475147\ 7804484948571751335022503719465452670608904760714366520504502535000\ 581860784272908302600937519136*c_1001_1^19 + 1160204995253354357498207288586238761489927795635477380948724051977\ 0302700918824794772818048347745497390180644813986204171298985663267\ 6478216816365453/99844103876138217208065317650249653247864562107353\ 9720692783673930478603576742093503815155578229591952172149289335715\ 11694397753272614657276788448*c_1001_1^18 - 3538663398178924122262835568986269383844243611852427479698688750217\ 3841175421998261016155480269304570285788618557004540324450632201962\ 64937436225418195/6989087271329675204564572235517475727350519347514\ 7780448494857175133502250371946545267060890476071436652050450253500\ 0581860784272908302600937519136*c_1001_1^17 - 1530579692531955682486818017687223098465574105201207742177990827684\ 2504035096760778641123008038107275748745986935926498493975113993096\ 78082791689704093/6989087271329675204564572235517475727350519347514\ 7780448494857175133502250371946545267060890476071436652050450253500\ 0581860784272908302600937519136*c_1001_1^16 + 5402609297295858158862455067134680900941994284687616377516240359092\ 4212194519361268917008564419740940410181969843846895651492953149194\ 51360526713274451/3494543635664837602282286117758737863675259673757\ 3890224247428587566751125185973272633530445238035718326025225126750\ 0290930392136454151300468759568*c_1001_1^15 + 4432263283708493950886440459514153546781945162208209226237194956053\ 9200365429371507371859213591442810266234918373233847049612383805126\ 3868471094409209/69890872713296752045645722355174757273505193475147\ 7804484948571751335022503719465452670608904760714366520504502535000\ 581860784272908302600937519136*c_1001_1^14 - 1025824239552121168747030122476689524225631318049772169422732059835\ 3347357338518249092087597904631697835839846128420047824420282024700\ 41642171869680333/3328136795871273906935510588341655108262152070245\ 1324023092789131015953452558069783460505185940986398405738309644523\ 837231465917757538219092262816*c_1001_1^13 + 1575193245713754500980685993333576064668961282783028347712087683261\ 6418762860001207294820774018711140287230295591105050049543601509693\ 34276672298846811/2329695757109891734854857411839158575783506449171\ 5926816164952391711167416790648848422353630158690478884016816751166\ 6860620261424302767533645839712*c_1001_1^12 + 9084001047960271526241803866265368436111631421227561350712664744004\ 1507480900044312485502522971102556484652493164158190841192247042806\ 1900491910876713/21840897722905235014264288235992111647970372960983\ 6813901546428672292194532412332953959565282737723239537657657042187\ 68183149508528384456279297473*c_1001_1^11 - 5910836031440860770122191741865102671391358928568820193705453999818\ 0694555992587011410886641295734587191627230930446242621754565245145\ 62968133878451411/3494543635664837602282286117758737863675259673757\ 3890224247428587566751125185973272633530445238035718326025225126750\ 0290930392136454151300468759568*c_1001_1^10 - 4438144249066975246898901894254313082718975369469474941336243917981\ 6553969330748359213873071202491448633613973517954660787605978347386\ 20038068753084057/1164847878554945867427428705919579287891753224585\ 7963408082476195855583708395324424211176815079345239442008408375583\ 3430310130712151383766822919856*c_1001_1^9 + 7407324301989039700762071232850656868641327161295820258871385697011\ 9584201457099546515164017502453393635877925429751941026861331684141\ 31216566669998419/3494543635664837602282286117758737863675259673757\ 3890224247428587566751125185973272633530445238035718326025225126750\ 0290930392136454151300468759568*c_1001_1^8 + 1618478101878038014083745600359305616023382052192209361335490454425\ 9690854437256837870274379041762087964842370114220202428412951136025\ 097955018957905295/698908727132967520456457223551747572735051934751\ 4778044849485717513350225037194654526706089047607143665205045025350\ 00581860784272908302600937519136*c_1001_1^7 - 9419950141890705306292392958642089748350372480652865202687682149798\ 6835607929362767615539468353000015565446856757284722660107164959033\ 2319513133996869/58242393927747293371371435295978964394587661229289\ 8170404123809792779185419766221210558840753967261972100420418779167\ 15155065356075691883411459928*c_1001_1^6 - 3005314852054187456108208693285837894578931242939856632682735248618\ 3650501415586434183993783834356423055544099600872759475460015630168\ 17938327735086691/3494543635664837602282286117758737863675259673757\ 3890224247428587566751125185973272633530445238035718326025225126750\ 0290930392136454151300468759568*c_1001_1^5 + 8759550566473607929257821825369702922482065304865837629992113584744\ 6629090715505297681873657358359637545324452941960218513120603018865\ 5723542176441133/11648478785549458674274287059195792878917532245857\ 9634080824761958555837083953244242111768150793452394420084083755833\ 430310130712151383766822919856*c_1001_1^4 + 3538929351651738298544535183437221999844373788261849461956473995054\ 0463841070027828474434829986447244369997957325055249891322821037645\ 9036873447672261/23296957571098917348548574118391585757835064491715\ 9268161649523917111674167906488484223536301586904788840168167511666\ 860620261424302767533645839712*c_1001_1^3 - 1267141312828774771736934844602120331038646425716383427678395866190\ 5993496635455874355982410137976815277159924095972112893286852002867\ 92867099814817069/6989087271329675204564572235517475727350519347514\ 7780448494857175133502250371946545267060890476071436652050450253500\ 0581860784272908302600937519136*c_1001_1^2 - 4434209657539295972634973136792922083138389359341967459474281960437\ 9318270940752836517641435553369933371690499999860178184932638513954\ 2418074746649/43681795445810470028528576471984223295940745921967362\ 7803092857344584389064824665907919130565475446479075315314084375363\ 66299017056768912558594946*c_1001_1 + 1304397924973600962666749718751282715067885142271176225219606619076\ 6691968806227033759022171380716902552274427769739651281334755830172\ 0599515236159/10400427487097730959173470588567672213319225219516038\ 7572164966034424854539243968073314078706065582495017932217639136991\ 3483309929923069346633213, c_1001_1^30 + 12*c_1001_1^29 + 116/9*c_1001_1^28 - 662/27*c_1001_1^27 - 4721/9*c_1001_1^26 - 10301/9*c_1001_1^25 + 69860/27*c_1001_1^24 + 360188/27*c_1001_1^23 - 782182/27*c_1001_1^22 - 236753/3*c_1001_1^21 + 8389889/27*c_1001_1^20 + 4905607/27*c_1001_1^19 - 41756563/27*c_1001_1^18 + 3022046/27*c_1001_1^17 + 122004619/27*c_1001_1^16 - 53532979/27*c_1001_1^15 - 25386193/3*c_1001_1^14 + 6108040*c_1001_1^13 + 278910526/27*c_1001_1^12 - 278266258/27*c_1001_1^11 - 23892634/3*c_1001_1^10 + 295166009/27*c_1001_1^9 + 90220532/27*c_1001_1^8 - 22493938/3*c_1001_1^7 - 3136642/27*c_1001_1^6 + 3176959*c_1001_1^5 - 1812403/3*c_1001_1^4 - 18583744/27*c_1001_1^3 + 6431776/27*c_1001_1^2 + 318976/9*c_1001_1 - 50176/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.280 seconds, Total memory usage: 32.09MB