Magma V2.19-8 Tue Aug 20 2013 16:18:01 on localhost [Seed = 543276270] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2250 geometric_solution 5.67996037 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404254462676 0.268573112428 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.879553677272 0.871607224301 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 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.147258914240 0.838274271590 2 5 4 1 3201 0132 3201 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.147258914240 0.838274271590 3 2 6 6 2310 0132 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422081715464 1.806380460117 5 3 5 2 2310 0132 3201 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 -1 0 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.203287081918 1.157215720337 4 6 4 6 2310 2310 0132 3201 0 0 0 0 0 -1 1 0 -1 0 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.575208403426 0.456298163907 ==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' : 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' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : 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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 7344017080885633664672146597258058410822527211499490297917776829748\ 85055159738015185407279441056501737062275799608526690250531/1264416\ 1763049915704610327729992342479497448850443439601900109774085165587\ 857091408942635027735320197646933873497873172452358*c_0101_4^37 - 1439764236978124990777731850194269062628394222535744560972763941716\ 660038171352207812391037301732023644300782379306214698928485/126441\ 6176304991570461032772999234247949744885044343960190010977408516558\ 7857091408942635027735320197646933873497873172452358*c_0101_4^36 + 1619038076577763107773398848478091791618843664791536673337468949429\ 7117800095695513434949139102259660693469828550730462720151475/12644\ 1617630499157046103277299923424794974488504434396019001097740851655\ 87857091408942635027735320197646933873497873172452358*c_0101_4^35 + 9601112120042461597087500083617298929227066226044922649456787863623\ 795820423101946297783702349449548915803865943068555521459797/126441\ 6176304991570461032772999234247949744885044343960190010977408516558\ 7857091408942635027735320197646933873497873172452358*c_0101_4^34 - 3231891517245055306169280323462869554091617824051354800958774400225\ 833731683216145931876651741276997549640383816803574745534294/632208\ 0881524957852305163864996171239748724425221719800950054887042582793\ 928545704471317513867660098823466936748936586226179*c_0101_4^33 + 1928522182681734228351041530260683305735937718484397164706281102170\ 26545528216513313951170618522125276792214706988546977349763257/1264\ 4161763049915704610327729992342479497448850443439601900109774085165\ 587857091408942635027735320197646933873497873172452358*c_0101_4^32 - 3346891904819691078765332121579614577390851933872304342075565071340\ 82746522211132464243208520680769802984401439260366398803136423/1264\ 4161763049915704610327729992342479497448850443439601900109774085165\ 587857091408942635027735320197646933873497873172452358*c_0101_4^31 + 1068711276069581433385708002714901807998465750164561190764092285482\ 889199625624468580335185342259753503797774038556599097372213817/632\ 2080881524957852305163864996171239748724425221719800950054887042582\ 793928545704471317513867660098823466936748936586226179*c_0101_4^30 - 2862710339616648606061128563897767842578618391556037507401148156122\ 13721706047654029937461628908524009135643930384697357239917141/6322\ 0808815249578523051638649961712397487244252217198009500548870425827\ 93928545704471317513867660098823466936748936586226179*c_0101_4^29 + 9674462214235803551607391222360830153451507154998842563788425487823\ 06564238209075615315563334998983999777698640842495691167799011/1806\ 3088232928451006586182471417632113567784072062056574143013962978807\ 98265298772706090718247902885378133410499696167493194*c_0101_4^28 - 1460505067083446733562132103593747471109699938005090922366729017579\ 902120729498548872366780699285582344875860377123444615922591407/632\ 2080881524957852305163864996171239748724425221719800950054887042582\ 793928545704471317513867660098823466936748936586226179*c_0101_4^27 + 9670106453179138280283388929334015192415127212356066818573410099318\ 783854157383105192061118018741051246950302420993317020697084565/126\ 4416176304991570461032772999234247949744885044343960190010977408516\ 5587857091408942635027735320197646933873497873172452358*c_0101_4^26 - 16171502425255571446428611713935422297884717247422777583303872412\ 786290602742592769595368323278308642969286075311463149851507307031/\ 1264416176304991570461032772999234247949744885044343960190010977408\ 5165587857091408942635027735320197646933873497873172452358*c_0101_4\ ^25 - 2438406992303765988073699035272906029478250573333857906436621\ 2817248956469352665369493283144206498392423283276874459914856155181\ 439/126441617630499157046103277299923424794974488504434396019001097\ 74085165587857091408942635027735320197646933873497873172452358*c_01\ 01_4^24 + 532691451839015177944523941457613370320144076456792821255\ 8078742189696130306091202966766622400485602059975149281531473473336\ 371571/632208088152495785230516386499617123974872442522171980095005\ 4887042582793928545704471317513867660098823466936748936586226179*c_\ 0101_4^23 - 1363306959853222659263063223263916030614215806082604653\ 3942481431481924367503780700134240310436493758150495477172128646404\ 8275283711/12644161763049915704610327729992342479497448850443439601\ 9001097740851655878570914089426350277353201976469338734978731724523\ 58*c_0101_4^22 + 69482349449865149655352784321504659908294102062589\ 7584796938635683718399125033228112154893672853185301860517214745760\ 38537294363915/1264416176304991570461032772999234247949744885044343\ 9601900109774085165587857091408942635027735320197646933873497873172\ 452358*c_0101_4^21 - 1494045016658379213759666241205554668637840161\ 7234045165760089935440170825511095787742369666711575225293974820796\ 4151789356382521347/12644161763049915704610327729992342479497448850\ 4434396019001097740851655878570914089426350277353201976469338734978\ 73172452358*c_0101_4^20 + 43069851977636698575876206666335442845860\ 3878939929050594030637381515362872151987317721494794496794514763711\ 39490291709786980555170/6322080881524957852305163864996171239748724\ 4252217198009500548870425827939285457044713175138676600988234669367\ 48936586226179*c_0101_4^19 - 82362819162144607578367750092405244497\ 1816620431426055336734239886409336949026562585443305825446013617205\ 8610017975968427782856391/63220808815249578523051638649961712397487\ 2442522171980095005488704258279392854570447131751386766009882346693\ 6748936586226179*c_0101_4^18 - 856052523555711970287910231169877663\ 6178793548503714660011823766498678457032234941528387660766090700465\ 379869683284251752819524710/903154411646422550329309123570881605678\ 3892036031028287071506981489403991326493863530453591239514426890667\ 05249848083746597*c_0101_4^17 + 19705259958800737683977205704105841\ 4222074943983917039024580364695434866827637244352249524305946631999\ 194533601157279975078389410576/632208088152495785230516386499617123\ 9748724425221719800950054887042582793928545704471317513867660098823\ 466936748936586226179*c_0101_4^16 - 4342017649699923199829906862469671682597030052619667366762099401838\ 79374644314359018300146034046452317389253190360674942690707382085/1\ 2644161763049915704610327729992342479497448850443439601900109774085\ 165587857091408942635027735320197646933873497873172452358*c_0101_4^\ 15 + 22857532690157078275258655373246582857924313517454097778256576\ 2831327868245236797349742136961774630251369810994295290683419226577\ 867/632208088152495785230516386499617123974872442522171980095005488\ 7042582793928545704471317513867660098823466936748936586226179*c_010\ 1_4^14 - 1251584104453760061100464245315130510801427668724207675080\ 0976150539386604021904090502555146555035718570418179910852686601900\ 2577019/63220808815249578523051638649961712397487244252217198009500\ 54887042582793928545704471317513867660098823466936748936586226179*c\ _0101_4^13 + 157340821861421054669341575471630446195913582304145170\ 0669255790866436872705605988487006174552590197932741462447797877921\ 69239691623/1264416176304991570461032772999234247949744885044343960\ 1900109774085165587857091408942635027735320197646933873497873172452\ 358*c_0101_4^12 - 1097949999584423867535507422210168697413630498605\ 8991828901490462162283488761306879692578089928388620716832826219273\ 654229776406128/632208088152495785230516386499617123974872442522171\ 9800950054887042582793928545704471317513867660098823466936748936586\ 226179*c_0101_4^11 + 5326685951634346116991549902650623057794723802\ 4504462276758827046791611631068620029821670871698916458435218600253\ 1323419604444618/63220808815249578523051638649961712397487244252217\ 1980095005488704258279392854570447131751386766009882346693674893658\ 6226179*c_0101_4^10 + 926351275035427155511029704378809137973985635\ 3665687296736528375568845970793922745005238445667968724660291581056\ 727032708376452561/180630882329284510065861824714176321135677840720\ 6205657414301396297880798265298772706090718247902885378133410499696\ 167493194*c_0101_4^9 - 42995217600179443295550312679297626115327842\ 7016257654906301071819649956092409640160894750880429849526166861751\ 04699457957238036213/1264416176304991570461032772999234247949744885\ 0443439601900109774085165587857091408942635027735320197646933873497\ 873172452358*c_0101_4^8 + 18487333755360797760110705947400984103496\ 6510467681484502777954639441689126335725850784028150450631930682023\ 7144801408982795203345/63220808815249578523051638649961712397487244\ 2522171980095005488704258279392854570447131751386766009882346693674\ 8936586226179*c_0101_4^7 + 3501639001782449402524224819536898600168\ 0450458163990730556200512451282043460294169796872697837051899503826\ 95076463218043948175933/1264416176304991570461032772999234247949744\ 8850443439601900109774085165587857091408942635027735320197646933873\ 497873172452358*c_0101_4^6 - 32392584425642588551567079474800206736\ 8462535597394927162921897314927610845682450348758595537404697665270\ 0443341665982724477520203/63220808815249578523051638649961712397487\ 2442522171980095005488704258279392854570447131751386766009882346693\ 6748936586226179*c_0101_4^5 - 2079234337510609679391474268308081735\ 9718761565178872663514551125875587538603804200475644081500391215213\ 1801132163108687169613137/12644161763049915704610327729992342479497\ 4488504434396019001097740851655878570914089426350277353201976469338\ 73497873172452358*c_0101_4^4 + 128863022407262349399313473166258825\ 7441104849782400250882535643123392940081757314778172288886537436327\ 83807177049471783814747653/1264416176304991570461032772999234247949\ 7448850443439601900109774085165587857091408942635027735320197646933\ 873497873172452358*c_0101_4^3 - 43583009662380319323326513982919860\ 1843908414978109394334068886213636522106989637053369780153390895269\ 04649570709881924461583823/1264416176304991570461032772999234247949\ 7448850443439601900109774085165587857091408942635027735320197646933\ 873497873172452358*c_0101_4^2 + 40286701802323280829295821064903639\ 9597998918504398242236625873142798950095994357409240012824862643175\ 34857495470961967161189205/1264416176304991570461032772999234247949\ 7448850443439601900109774085165587857091408942635027735320197646933\ 873497873172452358*c_0101_4 + 5249435816697305839045209468178331987\ 2912241426666234843169764886014430643445217411635581781032513553849\ 7531577245634470917209/63220808815249578523051638649961712397487244\ 2522171980095005488704258279392854570447131751386766009882346693674\ 8936586226179, c_0011_0 - 1, c_0011_1 + 472185333867517975468084046877485227304078821103977547604103\ 8125054507206696367658238922712624634466361975428764/34936989015932\ 5278972102514877871990994568568182241294105422556470218961898460262\ 80171585666741260556021585390231*c_0101_4^37 + 7862639433319649138505180453346142125271585144207439208134562990783\ 514277680742243745912464515180461928008565422/349369890159325278972\ 1025148778719909945685681822412941054225564702189618984602628017158\ 5666741260556021585390231*c_0101_4^36 - 1061333886444169630949145561535154666650997776097262002367079749816\ 15135867773034249602622731193782875464675180421/3493698901593252789\ 7210251487787199099456856818224129410542255647021896189846026280171\ 585666741260556021585390231*c_0101_4^35 - 2983712573211039066860545313894883903721802255015215543936641800679\ 0167606365803608704346318048110809852438082388/34936989015932527897\ 2102514877871990994568568182241294105422556470218961898460262801715\ 85666741260556021585390231*c_0101_4^34 + 4412806519609329316464787758610377737511787664642798447157805225019\ 3353317044248819032666971291566869722043337758/34936989015932527897\ 2102514877871990994568568182241294105422556470218961898460262801715\ 85666741260556021585390231*c_0101_4^33 - 1256471358665887298296641133177391675437265849655585921078035400197\ 251289219249695061219872479966761595579428116668/349369890159325278\ 9721025148778719909945685681822412941054225564702189618984602628017\ 1585666741260556021585390231*c_0101_4^32 + 2524401118578067714265225713950500752287456580726129941046315471988\ 532025746916484542514738757315907245738059538395/349369890159325278\ 9721025148778719909945685681822412941054225564702189618984602628017\ 1585666741260556021585390231*c_0101_4^31 - 1456351563003332823338065042928211666764011439078161469618840610064\ 8924085800981013045225709706812370796808738528913/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^30 + 8113532517173603137192344902374055882055702784331541094007082283891\ 296614157357623907927563036717271782783506517001/349369890159325278\ 9721025148778719909945685681822412941054225564702189618984602628017\ 1585666741260556021585390231*c_0101_4^29 - 4678276749525531132234408290984019056714197352146365799134823252870\ 9447782120495785766427468020354092180071382389638/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^28 + 3285938338594415204353314366420409913669905871369848654614144746093\ 9820133428127731961112173889434236971913989254039/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^27 - 7465966979181775557865981746082049096912018612561465398245323424396\ 6061016570061454017759905414036869154824625086482/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^26 + 1272622418524813286060149713358582856991428288256427756522453823607\ 53555849253348977140616306870288323291217122719987/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^25 + 1149320703052645064368367113090319145652047708570782683815784640523\ 34326554028603610718675389407074224145895436283095/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^24 - 9585145622305517973268604645827365837333432817589809082813361221062\ 9422313247718051377874135080152024699622386818078/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^23 + 9134234158692239199671452274287276829123991086757279301310799451213\ 91069076594026614457675043384123095602491732852098/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^22 - 7196276572425478529646937235468268000499664437577595717321152635959\ 71361273823421858153762482588356610437900523263627/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^21 + 1227590495332869304946089101008914752674790383246032314273337764112\ 087162777400402251890254165442264428224417638158950/349369890159325\ 2789721025148778719909945685681822412941054225564702189618984602628\ 0171585666741260556021585390231*c_0101_4^20 - 9450988979059639856282911134315078185232844869896593573656821289500\ 34472928723848469342094726588828424159702261252882/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^19 + 4531704848553909015617771032726522754257001019890854650632134621743\ 55286673968569762102699569944287444319300179859113/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^18 + 5966983253422028443881155939369359607517023965424119385851100998264\ 56220965374988578103775109757209184241136015209433/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^17 - 2691079625176167693752622215074133116357182290571975849284968586164\ 418536812675529603163469410145188512108586331487992/349369890159325\ 2789721025148778719909945685681822412941054225564702189618984602628\ 0171585666741260556021585390231*c_0101_4^16 + 3625526106033957985291703544287059987079973591038892395192263301302\ 191085571453238981373371895583998847732245734258851/349369890159325\ 2789721025148778719909945685681822412941054225564702189618984602628\ 0171585666741260556021585390231*c_0101_4^15 - 4160542370959572273358987814051033219358004794657856895844073930275\ 344865827949350278004784520372793414797068208127128/349369890159325\ 2789721025148778719909945685681822412941054225564702189618984602628\ 0171585666741260556021585390231*c_0101_4^14 + 3017026627549739761392212599292563816762763460277044358023695608563\ 021332814306974697258882707747063515149962021023236/349369890159325\ 2789721025148778719909945685681822412941054225564702189618984602628\ 0171585666741260556021585390231*c_0101_4^13 - 2110532147629710136244922101606873691154057253291948868979204477553\ 589107296858938648371859635026164418861092528161660/349369890159325\ 2789721025148778719909945685681822412941054225564702189618984602628\ 0171585666741260556021585390231*c_0101_4^12 + 8978097447639189806998665100403822092546931549171084722522194712813\ 48786109217661768726581525485876406508689993021113/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^11 - 3719778857541786852567494381422521508172346326385112641218424141757\ 28715769834353173786964785475303129574087634751180/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^10 - 2736938199060852769071765540644429839321802381574343188036705754946\ 68491713239378826919629891608558998563621641845076/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^9 + 3395931916918438416766844907329019418312152349777989273885793005628\ 92663757239753044026909924978809915403429398553620/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^8 - 1438231097946033495183681832591610729467228676811857556964751720497\ 69987151177678973533100108401767596253513340367120/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^7 + 3449171604377530192355013306994333786915880480431885707044522159962\ 6773898501775294006770835596508315794969264564268/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^6 + 2590994664287366545409625800771908935773728766506948795892119528924\ 8401822053641710513000142028618946809048981964720/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^5 - 4863986262360458705133761623028779226758990124649611780001861465928\ 513979736803239194385102130540351727811721113293/349369890159325278\ 9721025148778719909945685681822412941054225564702189618984602628017\ 1585666741260556021585390231*c_0101_4^4 + 2118887310703124553123776898537256818387734214631110622343282467446\ 168297332709479606157118649094807500592542838916/349369890159325278\ 9721025148778719909945685681822412941054225564702189618984602628017\ 1585666741260556021585390231*c_0101_4^3 - 2099827449073629851224001698947902544978338286903481971743389999262\ 19760412238017483476820301587039157048670061370/3493698901593252789\ 7210251487787199099456856818224129410542255647021896189846026280171\ 585666741260556021585390231*c_0101_4^2 + 5217077443688569067854552813055604073458312018985118369556323137594\ 220933209429886729445609912553373158577294707/349369890159325278972\ 1025148778719909945685681822412941054225564702189618984602628017158\ 5666741260556021585390231*c_0101_4 - 1675109374756355679533796611809758789380350271123869031296496358084\ 5709910262883193099266084249040279171661352444/34936989015932527897\ 2102514877871990994568568182241294105422556470218961898460262801715\ 85666741260556021585390231, c_0011_3 + 711663097493297400791172838132947582037603462496785219137842\ 1722975387347487935374696454695557666788952510023491170335203/53126\ 7300968483853134887719747577415104934825648884016886559234205259058\ 31332316844296785830820673099356865014696946102741*c_0101_4^37 + 1369803367685053386755997896522913039303661245052334594716952235791\ 5504451810929696035938279947997688742122376117474561386/53126730096\ 8483853134887719747577415104934825648884016886559234205259058313323\ 16844296785830820673099356865014696946102741*c_0101_4^36 - 1568463015823155270968103299302342637126689647159812184484527561663\ 02074954249376818027879720633318103065638635242648668682/5312673009\ 6848385313488771974757741510493482564888401688655923420525905831332\ 316844296785830820673099356865014696946102741*c_0101_4^35 - 8655539760369327883646613395015073741534154722421194314433627314368\ 7601580084119073512101076947290560608094795309589435124/53126730096\ 8483853134887719747577415104934825648884016886559234205259058313323\ 16844296785830820673099356865014696946102741*c_0101_4^34 + 5375553580639167635507537700081327798297987838158933133286509751481\ 4041623983770729458058950360207267598683343079114020583/53126730096\ 8483853134887719747577415104934825648884016886559234205259058313323\ 16844296785830820673099356865014696946102741*c_0101_4^33 - 1874082712457318415884337827052598977849165031135206881381957025599\ 715437933651144134836235250350970410447405814973784776699/531267300\ 9684838531348877197475774151049348256488840168865592342052590583133\ 2316844296785830820673099356865014696946102741*c_0101_4^32 + 3314773665245393912256173328189485674591987183549329658339693752565\ 064058220324923874342450820289558785731819697475685668700/531267300\ 9684838531348877197475774151049348256488840168865592342052590583133\ 2316844296785830820673099356865014696946102741*c_0101_4^31 - 2097288518581621956042916146337673054024302513017121447335830720628\ 2073742446856385282352384625263933028792076695392712081569/53126730\ 0968483853134887719747577415104934825648884016886559234205259058313\ 32316844296785830820673099356865014696946102741*c_0101_4^30 + 6580980743687990364883099195128223359512528531525119550679942084582\ 018270877438308879958201314352303472507171626507466871687/531267300\ 9684838531348877197475774151049348256488840168865592342052590583133\ 2316844296785830820673099356865014696946102741*c_0101_4^29 - 6750705974138350371749644009597880604427684973324404455124992679536\ 9576720379027917825491002788374330873316105327499183293206/53126730\ 0968483853134887719747577415104934825648884016886559234205259058313\ 32316844296785830820673099356865014696946102741*c_0101_4^28 + 3163148293756201506920343659346393490902487641953980373841609291269\ 3135066531040248918126002022098780690113152803179091718973/53126730\ 0968483853134887719747577415104934825648884016886559234205259058313\ 32316844296785830820673099356865014696946102741*c_0101_4^27 - 1001566336903049725885999865395724524369739846978387975939389378993\ 70300080653414093864827567806264195241741979881796788322616/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^26 + 1639717654367991483561224265285762252947120464412355023242297424878\ 84397810249545667594527684067462853412159808425050544294398/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^25 + 2218823310214644607954203581202651852117774471803941391905125052623\ 70424517711688578421484296582038202949330680855612544173604/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^24 - 9681050446251356204412220259013463576915940046151375940393244779946\ 1907443919992389493009772434216278384156231100408308928621/53126730\ 0968483853134887719747577415104934825648884016886559234205259058313\ 32316844296785830820673099356865014696946102741*c_0101_4^23 + 1337368081596206321388081327261249091053040664751104632569155622840\ 444896419388763293410115751985237522176812462119048344486504/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^22 - 7315904744407575888693702038599805445561565560732702756489095189078\ 44461167251461241299985313008747257306519404712794905303643/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^21 + 1577632801059812809462439587104762738329345240113448359273614777421\ 427287458006405124777125430948812536215262409115563257451330/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^20 - 9720266302101009353387789284066867432945352910146683790597199131372\ 20554248903058992828898789441365490755287218756529668882114/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^19 + 3355089769318995032381740789962568008068752151826103906902445086803\ 66717374212202586593821332245683188014292477532543343714782/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^18 + 1042922854941804958612657799969865997653647495361665144850124928065\ 982481290230129840251777247339210976011115671148012359810825/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^17 - 3802541398843393430908528244258015577663055304359204676312420603307\ 773020690141100204028975035047056801123690332143374129332127/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^16 + 4410583449602805345785644604130282594535733100866819349373378902504\ 271961266285259180088161163546496807592638124121548295529182/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^15 - 4891170229821901402104901606155051250591891165941448972877823249042\ 413821388991540841375298654340523264348703815516113571472351/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^14 + 3011796421796624630588480727295020153548899038624394857663855022817\ 199852245139463278031542383321014096702465423708861652903902/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^13 - 2107960339374093665876626318096100510482942293724052764486225556990\ 866855007428349527624844017736678380358686509772316984854961/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^12 + 6331633005134012551914159943073354206291827262657164864409113938263\ 62151823717761326290557193444092215101109968736845453679569/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^11 - 2762568403172632722903193926932868743202020381619186377185039699444\ 51899893815783160504810775949830874579735294735077972340032/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^10 - 5166143980214205496494019945115950757009051473713198850838173167287\ 34162576602034595305027869122675836368435534469316260148471/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^9 + 3920911942543463155159368260339315695913001346677069480046656377235\ 27312809560208003460368443405251288385190226798310535525967/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^8 - 8232677362125759001505917008481272557679027934807960031589710025216\ 3392664549724418486730287292694025419313360154075897570021/53126730\ 0968483853134887719747577415104934825648884016886559234205259058313\ 32316844296785830820673099356865014696946102741*c_0101_4^7 + 7616255604102415005519123578652736416651166154485218680229028584295\ 130686633050713391092393814401664180361650130530914370700/531267300\ 9684838531348877197475774151049348256488840168865592342052590583133\ 2316844296785830820673099356865014696946102741*c_0101_4^6 + 4436204482510846734694803784270809426876869426220963307904965824348\ 8400360471977971641480372302611509403444442670673584051253/53126730\ 0968483853134887719747577415104934825648884016886559234205259058313\ 32316844296785830820673099356865014696946102741*c_0101_4^5 + 4590357196946734717075197461514691937768603036171439587575555487388\ 879577737799307473712097905996357783327122071187707791181/531267300\ 9684838531348877197475774151049348256488840168865592342052590583133\ 2316844296785830820673099356865014696946102741*c_0101_4^4 + 1485889496506866323701113056255727758694153718185047320068221276429\ 734516188466877341969499335745293140004827662319433914674/531267300\ 9684838531348877197475774151049348256488840168865592342052590583133\ 2316844296785830820673099356865014696946102741*c_0101_4^3 - 2929452059725177052332901748475977754256908698717421655519104798257\ 00820716685136393698463391973231240112855579923921218370/5312673009\ 6848385313488771974757741510493482564888401688655923420525905831332\ 316844296785830820673099356865014696946102741*c_0101_4^2 - 1080874601193362960451917776169596220431244154838509067544137841077\ 95391675539397326605313539381426105810820776988889318196/5312673009\ 6848385313488771974757741510493482564888401688655923420525905831332\ 316844296785830820673099356865014696946102741*c_0101_4 - 2340141378353652516352616489961848954153220551865554563937685554601\ 3282081796942360977405702243231914772692993455789630931/53126730096\ 8483853134887719747577415104934825648884016886559234205259058313323\ 16844296785830820673099356865014696946102741, c_0011_6 - 304407043694189830072391228691489842672654905687124578386834\ 9367447540961593825145438057743033402499180704371756/34936989015932\ 5278972102514877871990994568568182241294105422556470218961898460262\ 80171585666741260556021585390231*c_0101_4^37 - 5346098278938131028603469152430546385113008132838446588422206295882\ 718460727716135369367013228705348314056031660/349369890159325278972\ 1025148778719909945685681822412941054225564702189618984602628017158\ 5666741260556021585390231*c_0101_4^36 + 6804607756138721122003680676006706322624973423578221836507779161862\ 2477759575354207261264001631185142026665770870/34936989015932527897\ 2102514877871990994568568182241294105422556470218961898460262801715\ 85666741260556021585390231*c_0101_4^35 + 2563200159803010243836931337958003247203430142263440116161526324980\ 9732884379455771859058980297251930960856431649/34936989015932527897\ 2102514877871990994568568182241294105422556470218961898460262801715\ 85666741260556021585390231*c_0101_4^34 - 2858468417480075416920440190045325199221244109886989411910191350160\ 6550487318211144285508389201029350287055724594/34936989015932527897\ 2102514877871990994568568182241294105422556470218961898460262801715\ 85666741260556021585390231*c_0101_4^33 + 8063991885671686184638731197630955074610654285132759535317295320201\ 86098345406506323936200319379855063629952154552/3493698901593252789\ 7210251487787199099456856818224129410542255647021896189846026280171\ 585666741260556021585390231*c_0101_4^32 - 1553147046049621424560351855435865033516144746049116267417836786752\ 123578586206223019209678548604588624235305426938/349369890159325278\ 9721025148778719909945685681822412941054225564702189618984602628017\ 1585666741260556021585390231*c_0101_4^31 + 9217825957350496518143504766038524110516871225841168392451796597338\ 567136267292100338370839332533785397403189384345/349369890159325278\ 9721025148778719909945685681822412941054225564702189618984602628017\ 1585666741260556021585390231*c_0101_4^30 - 4335416155702509988760802780290805332774022192108525134336243276153\ 828225541803027154337735080913439841219979804851/349369890159325278\ 9721025148778719909945685681822412941054225564702189618984602628017\ 1585666741260556021585390231*c_0101_4^29 + 2942824338592977957378983822289735959907841718356628323613766042656\ 1093837216430488851882951177956022358508029913710/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^28 - 1835376958460206393340151832186709358111806407074624154706532452288\ 6282413979663722008849820786382287363320230143088/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^27 + 4536664409908479331451997646774235356194347304371113500271246670779\ 9779314032495521431362561699872624810801092514696/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^26 - 7726926794373523015418306391404555195679206398769814403768967029686\ 4254666726085418956563657988510704685991833508527/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^25 - 8284270664197888403715237287803030912565868170861101499110192859065\ 6726715552971897425118154664081008400673807481420/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^24 + 5706085524924598043009925306400439274527233949923267884023760730088\ 4792461432119856358920850258483326399784644913196/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^23 - 5806618747454663953504821158061603522052323575955031464016627433734\ 23787598754321221527460982528176534254283067847355/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^22 + 4092873185733601476278296919012572513723195551317949089346616272043\ 13646299134259309454159698328045989340471601832669/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^21 - 7327968872151669208054840963873591852916863447168191362901513462284\ 78212249981488901574893526889247053367498548958342/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^20 + 5282776740652528018675102257323320958249442581000174090173470614002\ 54049350931637038112776511043293280427544279604548/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^19 - 2163343689567918466528504071835330872586540248845056054169424551989\ 92701996884180824270188302138116113609189443243866/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^18 - 4237720313706009884789078640596581418117344541494619111303141750836\ 02884251500480139394143680771355309212294506470130/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^17 + 1705555408788884420819722630721613031348155864087627523385314341271\ 668265161231504245741835137042078948068322471778893/349369890159325\ 2789721025148778719909945685681822412941054225564702189618984602628\ 0171585666741260556021585390231*c_0101_4^16 - 2167867567609961163764618351807012901318619991320683497856325981547\ 238238268638724271273514550175893895520401071238354/349369890159325\ 2789721025148778719909945685681822412941054225564702189618984602628\ 0171585666741260556021585390231*c_0101_4^15 + 2424024559927396272442067690091249281176480623516124250315311167903\ 238950508851700845174724980343669648192561129016791/349369890159325\ 2789721025148778719909945685681822412941054225564702189618984602628\ 0171585666741260556021585390231*c_0101_4^14 - 1646691698567811265017395516555972513131351870808632093833156962700\ 380274766329042630734852835781178282182806914730538/349369890159325\ 2789721025148778719909945685681822412941054225564702189618984602628\ 0171585666741260556021585390231*c_0101_4^13 + 1120988582399054747856488989946164779827556765316625112662117294598\ 578258974597142305526536491277689416260815038323692/349369890159325\ 2789721025148778719909945685681822412941054225564702189618984602628\ 0171585666741260556021585390231*c_0101_4^12 - 4142226661064210109923201570771634731072263356616402641582524700956\ 67920580200251685410795999645159135178235814821228/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^11 + 1565006107806535795462397384230843232834896652104447842806087202903\ 83395937788042738314977867784411321476818123250978/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^10 + 2098560754463544077834282248208625960262535428302732587179169279800\ 92485394042025907815700180140779698198761062823206/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^9 - 2095350207676278305588186410600230418938630985531616639378431247024\ 95638593927231420546875433878738758111755663401068/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^8 + 6831834960213674364598994864172848780496024427078654050310432074354\ 6885764832195740624088007605748256826303256587946/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^7 - 1023464708312258917397734035440424120582665920383894859966050720091\ 0404907507945301691896745571761727301464467556669/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^6 - 1972394539968722569359533322023039041411263842645588621284248905029\ 7058829432714455647775975522460718713540527007140/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^5 + 1802380799390949989862016313443334784798644025508537821254458806194\ 444159782253033832536771011374945363673748238625/349369890159325278\ 9721025148778719909945685681822412941054225564702189618984602628017\ 1585666741260556021585390231*c_0101_4^4 - 5915076035866041534360005633269008473198902398562247193068452002380\ 16494853983545266459051987426338743443077514888/3493698901593252789\ 7210251487787199099456856818224129410542255647021896189846026280171\ 585666741260556021585390231*c_0101_4^3 + 1275428819876819595821682871347341709823068296716779565266634415806\ 87182855428205867499737518492717826132089364016/3493698901593252789\ 7210251487787199099456856818224129410542255647021896189846026280171\ 585666741260556021585390231*c_0101_4^2 + 9905512657798900867402375671889441602002556733942014923428408889861\ 643882551847843999620691866424661117500857602/349369890159325278972\ 1025148778719909945685681822412941054225564702189618984602628017158\ 5666741260556021585390231*c_0101_4 + 6547945035730469461417752754915577883360498122285120394804759294575\ 497153939546944637031731849078304038974109780/349369890159325278972\ 1025148778719909945685681822412941054225564702189618984602628017158\ 5666741260556021585390231, c_0101_0 - 554961989397462445350927808720894623816599773198405925235958\ 9849722677272819085445276329460497268753920244899932485341558/53126\ 7300968483853134887719747577415104934825648884016886559234205259058\ 31332316844296785830820673099356865014696946102741*c_0101_4^37 - 9107320807963292814121010366216823199724164215970628939922914407673\ 290517512272945286437969355231285750205824779058729271/531267300968\ 4838531348877197475774151049348256488840168865592342052590583133231\ 6844296785830820673099356865014696946102741*c_0101_4^36 + 1253784753238485813407832301081675090807915147716653066980090233801\ 70874208886081871354461242546494968714948035290845464777/5312673009\ 6848385313488771974757741510493482564888401688655923420525905831332\ 316844296785830820673099356865014696946102741*c_0101_4^35 + 3280760117639824213553243862456549487475805647370985389146303305044\ 6395287923466229489246942931478755357960004811348461201/53126730096\ 8483853134887719747577415104934825648884016886559234205259058313323\ 16844296785830820673099356865014696946102741*c_0101_4^34 - 6196567531612141794416063622517017551158169727905535572826936434817\ 3547885031089872082099497456228001618908484956516208691/53126730096\ 8483853134887719747577415104934825648884016886559234205259058313323\ 16844296785830820673099356865014696946102741*c_0101_4^33 + 1474261414009623010977548812751925538618254398620865074194558018223\ 426268430368882762049689208901626250844091267178538424232/531267300\ 9684838531348877197475774151049348256488840168865592342052590583133\ 2316844296785830820673099356865014696946102741*c_0101_4^32 - 2999499180281566939839096086193590348134312563599370277833520266310\ 056682886844888870206878796922389416071943765803862314328/531267300\ 9684838531348877197475774151049348256488840168865592342052590583133\ 2316844296785830820673099356865014696946102741*c_0101_4^31 + 1707733787712535513717568580400607190611778688791224436146204523703\ 1301625345251798232764378849978735058988759026588757345875/53126730\ 0968483853134887719747577415104934825648884016886559234205259058313\ 32316844296785830820673099356865014696946102741*c_0101_4^30 - 9738708306451671053969014049583645436860773154593004663350047779909\ 073320410232253439684705011421206529652484512335978970636/531267300\ 9684838531348877197475774151049348256488840168865592342052590583133\ 2316844296785830820673099356865014696946102741*c_0101_4^29 + 5394895068322204809810803348934794917932028594236860441082757925075\ 2797525192279567865700408604602378259634700736160332048610/53126730\ 0968483853134887719747577415104934825648884016886559234205259058313\ 32316844296785830820673099356865014696946102741*c_0101_4^28 - 3937273612982894328860108979704019279912317483322416655756610770145\ 0060863601779727957864991906567009692821087944011862332176/53126730\ 0968483853134887719747577415104934825648884016886559234205259058313\ 32316844296785830820673099356865014696946102741*c_0101_4^27 + 8456174383606293206361973051600963121746750217110127938584842055483\ 8945284760070016150183460731159734838665411555810337701533/53126730\ 0968483853134887719747577415104934825648884016886559234205259058313\ 32316844296785830820673099356865014696946102741*c_0101_4^26 - 1492626046576709678941841806655048044910514670388772582093277222312\ 05325006747083965722934886047000335540595766899164218061758/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^25 - 1379547577395777683044161094563733348509198314353900605032793385282\ 82549441143638935360159684579838298071132212154446319268761/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^24 + 1264617132647866068579868051125122227102335683273228266950699733328\ 40232108815154547669291400940331371776976739431811367306698/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^23 - 1065114734554667585227776789223357570110981791637781223947560599309\ 963759574521044734166351182770631673334291090728989754549057/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^22 + 8650259977367726996484898688944476069472707452751191073432093868076\ 64698339246226172237086137514712938776245858337058583903269/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^21 - 1382817495024784369697815797055689406773068150575900203455838456208\ 625440870806162486970105120106994164362353447058550357015158/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^20 + 1091497584496231324130552148294097441537889678119320179083362511237\ 570701527783523595039032701745424850257569636693565302738667/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^19 - 4540394549461838459234354698045931478427603478908482640162603153973\ 29453952510383338940771033864344422603184201297896252296641/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^18 - 7614789293976687395418313561012578878850325506101971993403380174636\ 94180347244741999899280808553427517842046675980240866886372/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^17 + 3215285936336165763311303594951543844961003952135657648369494356330\ 247060283740957212015675856635549802661730301447316473590345/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^16 - 4283678766095703253866011380231038126836476295960909909876695798093\ 118827661598614020776159719082196001402554111624004679275522/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^15 + 4762894960545646643502014553274048807362160972821037483104998794669\ 968022765042338990323694358026328713887127182355478732655576/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^14 - 3369310470374535810327981206906483543617059846138506554947920577875\ 086833720581982999709694236950964139914133723768618058327795/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^13 + 2224298269817062049335305330982316276799872213565828992978561760609\ 260177296633642942543330663353988599999509124605941035240152/531267\ 3009684838531348877197475774151049348256488840168865592342052590583\ 1332316844296785830820673099356865014696946102741*c_0101_4^12 - 8774151343433571908574419474633421099782672841940562607445584855833\ 59027610742367562517921792449209993133922653588037022921970/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^11 + 2906256336765477308753129357490221540565012686197827125095375136934\ 25212536366683053766744269521890857847062156789820459693455/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^10 + 3797734489840952250377346242224784109925912719914540707833872226592\ 60876495998173530994507982557844169665542910632996167053772/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^9 - 4387568551455584367513736777922727082950611027840891229760728703159\ 49023489719774471048318643087364634548950052428116200433173/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^8 + 1538537000074736133316459398608383837313101516933047307300096913931\ 11619723706883607214438657866146611777813507709141452936825/5312673\ 0096848385313488771974757741510493482564888401688655923420525905831\ 332316844296785830820673099356865014696946102741*c_0101_4^7 - 1916375412354339009109775960843451245187911783122098855800973224049\ 0172263362731230264859087449435600532069451477093282149222/53126730\ 0968483853134887719747577415104934825648884016886559234205259058313\ 32316844296785830820673099356865014696946102741*c_0101_4^6 - 3987160428010597725671503560067715999199600865973529098986415667500\ 6698067251260241301620703589297178280847970262809392290302/53126730\ 0968483853134887719747577415104934825648884016886559234205259058313\ 32316844296785830820673099356865014696946102741*c_0101_4^5 + 9259194110549037069798620303671854765435952652675876147531101113811\ 286823553781164115542446472922231904419579892282785645780/531267300\ 9684838531348877197475774151049348256488840168865592342052590583133\ 2316844296785830820673099356865014696946102741*c_0101_4^4 - 1931003618262760101119175534130151730812089623708272075239457063778\ 84082087749218322780080959367883183243129113427066074876/5312673009\ 6848385313488771974757741510493482564888401688655923420525905831332\ 316844296785830820673099356865014696946102741*c_0101_4^3 + 2368477443155088707384105750013959885249969560724487822595405050659\ 81147966388586122035196221238962203587191387374872265026/5312673009\ 6848385313488771974757741510493482564888401688655923420525905831332\ 316844296785830820673099356865014696946102741*c_0101_4^2 + 2584595627095031216687051687299124963657074694251322096189047398236\ 89978522615157820976170991790526227880698826733495062608/5312673009\ 6848385313488771974757741510493482564888401688655923420525905831332\ 316844296785830820673099356865014696946102741*c_0101_4 + 3485572799005024045987388359307898503450722515691555856327510763015\ 103164698929553238472368248842881433665935522983663322/531267300968\ 4838531348877197475774151049348256488840168865592342052590583133231\ 6844296785830820673099356865014696946102741, c_0101_1 - 168516837358623459505788493606977710208967622867468776485676\ 4903766776406507247638093190721389991435008992786419/34936989015932\ 5278972102514877871990994568568182241294105422556470218961898460262\ 80171585666741260556021585390231*c_0101_4^37 - 2977056749037496816027842823944032756012599789372591679286046942026\ 649417030362065201330137493180673340476126613/349369890159325278972\ 1025148778719909945685681822412941054225564702189618984602628017158\ 5666741260556021585390231*c_0101_4^36 + 3767227379774748753397540558677329285378894036880499073846653325280\ 3047128284405631070248328838752989317943779256/34936989015932527897\ 2102514877871990994568568182241294105422556470218961898460262801715\ 85666741260556021585390231*c_0101_4^35 + 1468714953121903286927865762346642779009188661414763359339180988146\ 9526236391212675913325292027227003478155963597/34936989015932527897\ 2102514877871990994568568182241294105422556470218961898460262801715\ 85666741260556021585390231*c_0101_4^34 - 1633014025585970194201206894622714815262661507136961316833253542535\ 0752607422168363487125935507655867848224565223/34936989015932527897\ 2102514877871990994568568182241294105422556470218961898460262801715\ 85666741260556021585390231*c_0101_4^33 + 4449241738873371374188824592618802298459559557945842225427727218470\ 80567717598293109919619409777224591331541896739/3493698901593252789\ 7210251487787199099456856818224129410542255647021896189846026280171\ 585666741260556021585390231*c_0101_4^32 - 8554541727561364296667260161198852592192083219815280395161322176029\ 25300064399658543601014003819316570321810457909/3493698901593252789\ 7210251487787199099456856818224129410542255647021896189846026280171\ 585666741260556021585390231*c_0101_4^31 + 5085445327711390086538230833014719399528578503822195475862332850348\ 087331499033427604314450547187603805926940984429/349369890159325278\ 9721025148778719909945685681822412941054225564702189618984602628017\ 1585666741260556021585390231*c_0101_4^30 - 2342469307953684089687987527446612922749607150786235361280191096848\ 945912541766640926977637125484001885917035338009/349369890159325278\ 9721025148778719909945685681822412941054225564702189618984602628017\ 1585666741260556021585390231*c_0101_4^29 + 1618719943515759881713768987507425352854342019857756928633021489183\ 1798713566698091179080065836981680382112797749232/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^28 - 1008385515869113917612586598300951166426934429520321365608655200009\ 6359556022762197493405339590766953934003604313501/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^27 + 2472941186374865577092951146973473800353687688897765428787187989748\ 8188621866905422398187077339134965463178084379861/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^26 - 4276941693885229212806367230415552464465726037256411372703552083698\ 7648895956633805103548723520719977930639843462362/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^25 - 4658786434314271633437677727576916823391488006661898740417636782732\ 0383300580208605530931994008579950382029116616397/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^24 + 3127510277883090352515838634562944738494370103275669135884399127818\ 6878779641353327837967625090093453000954274389439/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^23 - 3190904463169327621756705144600717112127415168167032910076537312619\ 77362576777456242019715784694697608808611431693903/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^22 + 2240729833241738250075748825148292927536399673162250327036837251330\ 78989929594823249628663136151549012173359555293161/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^21 - 3974905196515970205839988912539251812254292574332629921105844437564\ 74354605329713038426603064488777327671083786527362/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^20 + 2926244129715385134693039389193342379798860142196048590482779624604\ 76021586869023258966554758921156412550225801785233/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^19 - 1135165623749843298337462723793896245667936918711534346011148092781\ 47302043474808512668955058297718868200127138115027/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^18 - 2308689955226360798034095500536674882884543133162332541699853508462\ 01482581280057735232670485587239919940731739914540/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^17 + 9370478348128215696816331070166293930020634179505728966332150480065\ 85819822197834007827189193320529613432997821683815/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^16 - 1182730011730668538570189033006363913144841735026671634265826140112\ 552129141029260932210476686562013205414256128708116/349369890159325\ 2789721025148778719909945685681822412941054225564702189618984602628\ 0171585666741260556021585390231*c_0101_4^15 + 1316734502813667684676758258168757029301841993920790821828070402866\ 472132041900387975173025756343848868941329169931388/349369890159325\ 2789721025148778719909945685681822412941054225564702189618984602628\ 0171585666741260556021585390231*c_0101_4^14 - 8983936223369199322142512062821053248630669251187288269754757341265\ 93881791955207985247804452727897263480436971917267/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^13 + 6133809443636227356117958552845802320946757160671987534844722497582\ 95897871255287283281808815623757035389137653470469/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^12 - 2380003223781656098730144342667630753730978592570851546955951747963\ 29676181966944884758192006657629069504135327943920/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^11 + 9410957178667627498653894033174987798512564435720529655249579086974\ 3154926078161278673057083118079237894731920642795/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^10 + 1044807871890991503733860572159410740119731428064320537814814333436\ 12853118638354379283553153650492499379935974407368/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^9 - 1090396756451773235560874469203613772362560386074243296256798528087\ 48133110724111675190029656695116598035963079099567/3493698901593252\ 7897210251487787199099456856818224129410542255647021896189846026280\ 171585666741260556021585390231*c_0101_4^8 + 2985443339732798118204852930622629292833553938454257859943309415016\ 9355532143768732589946647321463263228347377899511/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^7 - 4603132003350801437452122669977770324000101286666344658797400458370\ 571101035563351258431320416891921914129651113969/349369890159325278\ 9721025148778719909945685681822412941054225564702189618984602628017\ 1585666741260556021585390231*c_0101_4^6 - 1013989595074853903917402231801973091750749873658268860374892786203\ 3329931610116008988349262779526125831131955776193/34936989015932527\ 8972102514877871990994568568182241294105422556470218961898460262801\ 71585666741260556021585390231*c_0101_4^5 + 8600849030658898034030010832551180505342085201356914861153268797993\ 33654271153113158159339229509543265048006096956/3493698901593252789\ 7210251487787199099456856818224129410542255647021896189846026280171\ 585666741260556021585390231*c_0101_4^4 + 4594057147629413862609215065861750364672770760032682482749876783090\ 2660967992331080192004057606191727750655720021/34936989015932527897\ 2102514877871990994568568182241294105422556470218961898460262801715\ 85666741260556021585390231*c_0101_4^3 + 1695299163303402016195486697958419715939529185952047977186053709642\ 85821653038069467879956118274988013567783144573/3493698901593252789\ 7210251487787199099456856818224129410542255647021896189846026280171\ 585666741260556021585390231*c_0101_4^2 + 1212706712531760274869527099363093098670441212868807733357184171731\ 89837585791045908154546715312318511002387038143/3493698901593252789\ 7210251487787199099456856818224129410542255647021896189846026280171\ 585666741260556021585390231*c_0101_4 - 5197729280397644939510402977350069271116088097194252843683686505991\ 498652931858907627857670375167441812528670544/349369890159325278972\ 1025148778719909945685681822412941054225564702189618984602628017158\ 5666741260556021585390231, c_0101_4^38 + 2*c_0101_4^37 - 22*c_0101_4^36 - 14*c_0101_4^35 + 9*c_0101_4^34 - 262*c_0101_4^33 + 445*c_0101_4^32 - 2884*c_0101_4^31 + 648*c_0101_4^30 - 9094*c_0101_4^29 + 3565*c_0101_4^28 - 12706*c_0101_4^27 + 21297*c_0101_4^26 + 34536*c_0101_4^25 - 14017*c_0101_4^24 + 184194*c_0101_4^23 - 86615*c_0101_4^22 + 193673*c_0101_4^21 - 104769*c_0101_4^20 + 10347*c_0101_4^19 + 169808*c_0101_4^18 - 532211*c_0101_4^17 + 565587*c_0101_4^16 - 581053*c_0101_4^15 + 293313*c_0101_4^14 - 175561*c_0101_4^13 + 4217*c_0101_4^12 + 11042*c_0101_4^11 - 92693*c_0101_4^10 + 56466*c_0101_4^9 - 648*c_0101_4^8 - 7265*c_0101_4^7 + 9191*c_0101_4^6 + 549*c_0101_4^5 - 407*c_0101_4^4 + 68*c_0101_4^3 - 55*c_0101_4^2 - 2*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.300 seconds, Total memory usage: 32.09MB