Magma V2.19-8 Tue Aug 20 2013 16:16:53 on localhost [Seed = 509575873] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1138 geometric_solution 5.00509177 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.270351697239 0.142533521554 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.164728353602 1.383425818626 1 3 4 3 0132 3201 0132 1230 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.458720351433 1.214619812500 2 4 2 1 3012 3201 2310 0132 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 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.458720351433 1.214619812500 5 5 3 2 0132 2310 2310 0132 0 0 0 0 0 0 -1 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 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.141352328015 1.012893572784 4 6 6 4 0132 0132 1023 3201 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.249336451955 0.359330125889 6 5 5 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.191666796961 0.555218327791 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : 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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_3'], '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_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_6'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_4, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 37 Groebner basis: [ t - 1344626112396893426719440810895554019220138060426610091802406927363\ 875341434731970082250/723274518168962936463096697490464149233178727\ 0896968837543446987480293136481731999279*c_0101_6^36 - 6878522396618728014521155313395968087364336220997992738819829839068\ 001006658332318343206/723274518168962936463096697490464149233178727\ 0896968837543446987480293136481731999279*c_0101_6^35 + 6090619874324443077304999465163010070688192534541602041641864450111\ 3188187642182592320610/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^34 + 3908539757957665643165354449637473470723080545263453589815639804882\ 80510955871213591021702/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^33 - 8054023943791360301589389560344043729302862190224375268146275981052\ 40228777456062643986877/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^32 - 8207223142191185626195243619158348916106677575928867819960087670109\ 687211216258946703883523/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^31 + 1704022835443155205528739123494277221608253118547871411886050153031\ 115897479152349332551864/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^30 + 8954955318053704347743938567987826273934105214725538228060914676840\ 6753900712188714275270516/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^29 + 4080797578700169863855216975771605713543731751763235671444100980445\ 3073917063597072368830550/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^28 - 6149108421448780987325246974904302132456065451721246796618798222232\ 55109583653042887610087099/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^27 - 3991418776399534806749155110923307051479394617293731494216825002290\ 21930040305860157716873108/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^26 + 2926086543773700523883245964112928340564852871971730338032317751961\ 166098580213234019986777160/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^25 + 1720662558307890683388001182846665834758721635562134943317812424903\ 587812935964275877715853598/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^24 - 1002588372933280973260307534052559696787090024471255079072155160267\ 9369268826993773684910932250/72327451816896293646309669749046414923\ 31787270896968837543446987480293136481731999279*c_0101_6^23 - 3996066934191379797196977584471486534491845686604898161304581171804\ 698959224162033751031912236/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^22 + 2487295589727038169365964300466981282672656317463753979411688900551\ 1777326279189352171271175167/72327451816896293646309669749046414923\ 31787270896968837543446987480293136481731999279*c_0101_6^21 + 4235447647445683584235940477882740009292907065395971049418759572371\ 334140336923161724314420649/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^20 - 4416942859987395576326652355641044839127999242332608763322501902053\ 9312060841311812939064812504/72327451816896293646309669749046414923\ 31787270896968837543446987480293136481731999279*c_0101_6^19 + 1968296717677900446381161505839444384507025415856149512137716178458\ 107523341345445341273513744/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^18 + 5502860181434748409077290859089772810690728102479832066430277397594\ 1521142073495143452499867660/72327451816896293646309669749046414923\ 31787270896968837543446987480293136481731999279*c_0101_6^17 - 1230282530904465896248097632131382820800659861488403867962031862781\ 9501113899855196957302375788/72327451816896293646309669749046414923\ 31787270896968837543446987480293136481731999279*c_0101_6^16 - 4702492020001803217370147519494108130477612922541349611349986663731\ 0982474332394154129602073696/72327451816896293646309669749046414923\ 31787270896968837543446987480293136481731999279*c_0101_6^15 + 1700047918435531797939249270650362855774412771255018515943755626544\ 6209770885244459095409002596/72327451816896293646309669749046414923\ 31787270896968837543446987480293136481731999279*c_0101_6^14 + 2707640759453125138559604721332831528544175216103968682036310200438\ 3918542684140402201422748944/72327451816896293646309669749046414923\ 31787270896968837543446987480293136481731999279*c_0101_6^13 - 1243191204295328198323232449840075964320276201641352978022154084390\ 2747757959005271724317992285/72327451816896293646309669749046414923\ 31787270896968837543446987480293136481731999279*c_0101_6^12 - 1042565227003876395586439763589673882258190927501732807345648383341\ 5599948880348419098607601964/72327451816896293646309669749046414923\ 31787270896968837543446987480293136481731999279*c_0101_6^11 + 5321400509089968122159126678751861118811365732354391007779686706178\ 963531296094790768959792205/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^10 + 2715927153371810396443192760669756208167532847879587312884240856638\ 269339408954970441120615697/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^9 - 1330985535832710790026322471983449699281943534210484589276872599473\ 201507677151698026716656855/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^8 - 4986936064669849409270728481145981325270065737894414185048936519831\ 26137275177011589409328110/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^7 + 1807565951067167979884674393215923796411760290000260808023560465576\ 28167805944710652255731387/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^6 + 6653094470994621520833000952584214818116398893444996756187534967586\ 6953659076878720876831358/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^5 - 1040388104701212485819691699362317026375189817219003624081947740708\ 9116183798690355227287078/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^4 - 5717231834631550098056903520663068403084129794134593832766160497494\ 575435006357187523614520/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^3 - 8669123541894794861433569525103065774940334358895297137187725679279\ 0625079615491612337627/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^2 + 2117646914473268829554790400428826081769450544566101564238526734677\ 78827565920101892717673/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6 + 2565978513338547673062369811689987417329832790533704986075013077217\ 0351139973022630620852/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279, c_0011_0 - 1, c_0011_1 + 631710231489119277437011058112742819653483294531007466638206\ 63246176650561706049185474/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^36 + 2339291090677330711461853660860105854818160725975933513535808998266\ 96902165922908875457/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279*c_0101_6^35 - 3058974462572655971801238457498469818989507781134089396027754176460\ 144964763010893775723/723274518168962936463096697490464149233178727\ 0896968837543446987480293136481731999279*c_0101_6^34 - 1359007333101300415336018536781267862895140478159725708198775834392\ 6841796386618181183480/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^33 + 5048095608683093650519098293587644223094054445047608414338340330067\ 4689510634155949123305/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^32 + 2877372977584757703147195768432499222817260815273294509184823178050\ 36562121194081151416222/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^31 - 3731082547404450516384960642273849378359870592544468639949321055229\ 31624147776367749087943/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^30 - 3112606063889822482554359393298098820472858755523400890602252556500\ 078621697971127480141032/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^29 + 1537161567454059034341232979233314070983055187133911997728840838432\ 777699980521896742713584/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^28 + 2052789501626235987218570618957899468979697883776728300988366637300\ 9674160229116034708106882/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^27 - 5256307130452461612423306115263315996718176777128899569465446440176\ 942044594976925906423203/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^26 - 8915748238415437626882505581272809459557648890512309298100166546061\ 3439357481638174533053106/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^25 + 2230077727866361959927292392180076310136775219724990124099224134507\ 6097049611949325368733634/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^24 + 2640362194528235060070725758728555015655567593166419746508200594170\ 28861926427341117588929108/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^23 - 8809602858812170896394866505496624730000006188712702528064544095238\ 7883557914011045185730105/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^22 - 5402002952488549023833524298771262988882991806245534760169458776463\ 27728427751336063192910941/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^21 + 2384989463583988777247585409242455932362907149821960534023039016531\ 55830408131142144453282241/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^20 + 7638809420193808420770325543646641404993803187356504275324008598080\ 89418905941382907686301652/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^19 - 4156135819656513597719421383760094913514500300859196330327827426064\ 31537663225439124065344357/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^18 - 7430618694156759234699925102382879050105692366474231175652237416136\ 28539803950854625776541107/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^17 + 4672483111297519657567563969409807292846099869965998918058381708605\ 45309155293509347432201711/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^16 + 4967953443263684134097655590605177595711884136396987088482005022676\ 05641398039174211235058005/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^15 - 3420490519277715154087460201860050719849200053210392488190368558373\ 49688489741928494385990943/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^14 - 2305054773324633189004887246015555143588973899802038783471227409706\ 13771448085219681429366780/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^13 + 1631029063093495996037386675454415870814221526379014080343469472322\ 20680703340825900706679530/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^12 + 7594277085283760069835101170117549978061324094173669349446509672790\ 5836394080214768993604666/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^11 - 4977067758066105211885222652990128339182870762283176849489305335077\ 1850933940744699122921693/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^10 - 1825079390386649900124423202182047343692096865385837332161124314424\ 4095035345758913997281073/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^9 + 9277586881961081064944136087031912977101554400739267530374438767774\ 760360394087371025665689/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^8 + 3196635219185438435894417287465071294699369396112118462814514982612\ 582903483491418675695870/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^7 - 9491017925471053591932386903564889422771826182825456093199547407152\ 07251394494401555011698/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^6 - 3819278447872767166027831679679941982305733836778182403529951905289\ 77123875246072159076694/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^5 + 3711282160131829522869553765358223191970109804445554410192150333151\ 1605928254372117351366/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^4 + 2672250019716255230952428803499894695289795079164819501926151400621\ 4409183643898491303763/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^3 + 1122074583383339210053367790137526181774898266298950182560056561183\ 050636220735029440075/723274518168962936463096697490464149233178727\ 0896968837543446987480293136481731999279*c_0101_6^2 - 7825407906409364662223536874018816871913241778936866629432794138362\ 73399620299501414330/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279*c_0101_6 - 1038577219988029354719222517524417095347869780216001331863890752167\ 41149115597423102225/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279, c_0011_3 - 910959585936819687824316902632997768133226500924643206529002\ 72668264352873577410249620/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^36 - 3387147357903360052002355331321306157644578558774940145172458186676\ 30404170813040673047/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279*c_0101_6^35 + 4407364851285677707935510319397221727379366143226087566661510071819\ 372155429972626176196/723274518168962936463096697490464149233178727\ 0896968837543446987480293136481731999279*c_0101_6^34 + 1966847277492144646177081624966268427514809902970578746102597132516\ 2691520678538809853802/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^33 - 7256224105938397025581311229782519284598022793441638347228047940813\ 8500259627152911787363/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^32 - 4162792416410069681190586648541854072878660688404255287169977475208\ 17989117150309742903474/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^31 + 5328532937755782511552519843488012211645132203456991663789600931348\ 63710473284515488053115/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^30 + 4501926476261583851831352348541174728576935185481937185988208539768\ 039924256851332006035630/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^29 - 2158025980716634546530313932394550098765968759843377657457857707980\ 534010631936695065502896/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^28 - 2969273628870069481984631041941957473485916206798511601019071664506\ 1080868618169257368166620/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^27 + 7184083576368120575246616875538533310000338453924091101996351871008\ 959740061004478611511752/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^26 + 1290573449947468333361437679439900270860290688835971455551007147863\ 30088366968665830598265821/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^25 - 3047075437871351336977587473051502117513107075799694166014878072612\ 5914967233992391396328048/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^24 - 3828207849758819706210633188577518914747728810554027309149281469554\ 39125676985898612563538121/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^23 + 1224171741469979382233066934293978033404566554947008583687543641383\ 79234331952226286147052180/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^22 + 7853510851171452936078955452929398728120344271933426063788315556529\ 77892888080852538456929326/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^21 - 3359856321337793336172643781789623700772180827530753071215254522271\ 23953690465599447565430881/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^20 - 1114937424239207195665293617266502420225667883098025336570144800334\ 962151033436462125621812614/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^19 + 5915924302043291439686270186082305687053757542566304297193995622113\ 41376686269752312471117322/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^18 + 1090119954293224676143891276005930504310518634618521121302704541510\ 302382630755427137644660009/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^17 - 6713090403208052338098620528791366672810314707164544020029598041857\ 25096701335178298849494202/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^16 - 7327626141904782318511318378345673587815239133375793002494404328529\ 43677318795353922362075297/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^15 + 4961640875059271692547769195787982592305909380587510835934581147444\ 40151682074799289027870899/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^14 + 3409512234365410178214806169831998040468562118551189323949814081302\ 91899610499770412601300329/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^13 - 2390202552580214146354182236874360522593672730052605639671966982594\ 86624355286522808838317811/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^12 - 1117398512826386580940356352263156458415015483159217384011336074414\ 84077381282410721323223998/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^11 + 7370764528693303687746581322440045480147602886278838677830313154405\ 5999701348654951278787005/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^10 + 2635155018604880920925382296068235135567383738290840043567126200719\ 6310854390649798753483581/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^9 - 1389380791278524175218942571557775035980260128742115965730033494827\ 2258855744028254404115618/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^8 - 4485811459123530385348779524775141985807189740630934295833307348533\ 512231834148480741322095/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^7 + 1451474295333217396539189126433716102013789143250268956306938339897\ 176109593162019189216724/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^6 + 5267199379589986360336358448331131526764770839931071634636144649064\ 41638590306954506469436/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^5 - 6368134215048941998883539213724337649806396916203701685928575091360\ 9064731303182761268006/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^4 - 3755312490324919535753268842783611578695632930760117531746875631499\ 0241031420910402609007/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^3 - 7778415417384459913055152628478139758559018022097397348874566390118\ 92210625864015039174/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279*c_0101_6^2 + 1164882371508742120539422057837842537878183980321887658864587333552\ 260909359072828006683/723274518168962936463096697490464149233178727\ 0896968837543446987480293136481731999279*c_0101_6 + 1251036534576178338887806738696183629363921124660293165939914003760\ 08664470784782372333/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279, c_0011_4 + 873407219762895545763448804139648190571961974240521224838846\ 82685859628456793535420345/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^36 + 3036875193485192788357297661614797279435671686838742219019321009674\ 08862642035452811937/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279*c_0101_6^35 - 4317959304020100668807055035613980928576372549397917291678973009003\ 126358248453871513343/723274518168962936463096697490464149233178727\ 0896968837543446987480293136481731999279*c_0101_6^34 - 1789242935223497046291708749771105716611001910887049308265967214683\ 2558761313099633986020/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^33 + 7478496839969375753578852329081553494545506794828524741093072072557\ 3968291860541828255821/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^32 + 3854424958532720713520850108272870014509017958003739137079797596124\ 72782477612698435047077/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^31 - 6177410334948219782334929687170417256978407248641940193561673654437\ 82018728966076261490310/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^30 - 4258079289912284395709475730058050058354262685102063472531274771825\ 813267008533193284900811/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^29 + 3181098505633829991544807180210890336303178494196312760591092824954\ 022380978876345566351293/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^28 + 2866240958960195900883690237790939080026392053125389676502343269389\ 4145009979332445016139951/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^27 - 1397506203180515380720873047670409806632660082847576981702309668397\ 2819376126358230508189420/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^26 - 1265791853335771479225738728060236034956871432574328581461228303317\ 86004682668117315048155096/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^25 + 5946300970601512055916125030547234271241026278758533501434157992550\ 7738701908539238930984532/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^24 + 3793137386841819247136808829871221066886078231065145672199585473226\ 68576703430913148952640939/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^23 - 2075789999239680153078713705546906899465999216278521069955546129858\ 17995661809068413804469696/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^22 - 7813660655169806660472946946297333219298848218972712797212841142938\ 87231171830920002232970458/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^21 + 5134336979945529555471572253697520009745299118853435381456859178024\ 55599354852830209451896489/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^20 + 1106640561533423488150727602700099481885832536306525867026667157252\ 815080291617625584808636417/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^19 - 8566594331336745887396510856622056986968730870486389310154463404241\ 53065842792270857424032284/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^18 - 1071252924872802026038735682546844550615836999251994558520501649786\ 319262881073027244575433838/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^17 + 9549962002451073273658881791243146466000999910429061082000981421278\ 36966351946083588855156543/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^16 + 7063026767551324191689753387870692832845061306328318141034459161861\ 61776293614667869439912937/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^15 - 7125342903134706062229251590459642545738743907192349134846405368176\ 18534787691610439577516465/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^14 - 3195325828073959990849016782111313850985064699560863048682557595617\ 63116702849450167320120338/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^13 + 3556665602484244272801461298298358732129131582336843198679246681341\ 53012110134435251073327448/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^12 + 1025110152871299465696534483111765336520397045927805749368185611576\ 73945211251273023534976337/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^11 - 1173329600153866214470155034915571326262016349333682479728897963437\ 62426492112113274750092805/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^10 - 2510313136714733258160534593764724314916332661391390435409982252887\ 4695369812937452168380324/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^9 + 2470806301419901668683431299931964537826297418539209317846303638420\ 9808707154763601809796130/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^8 + 5021923780818767034008910048413536666065287056137590038134403314923\ 378716405564947080346539/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^7 - 3067140726035060462537848352002211393444520762865818940456128868653\ 274400695753243705346973/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^6 - 7669606278240939476013288850215573659801789840775130121482621409025\ 44776804891449260266005/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^5 + 1822469700817447232303871245219064256123012815821200495191424508604\ 80854640915250797473552/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^4 + 7122855831145501029737273371485744593257638696917733438214562340688\ 5009802127552824897575/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^3 - 8164868629836401157676946426471333405454414223683238938172103944551\ 55901062989424026756/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279*c_0101_6^2 - 2725156136894023491447458733566457831590772430880359781505944819590\ 711468304186447420618/723274518168962936463096697490464149233178727\ 0896968837543446987480293136481731999279*c_0101_6 - 2941358547842346712341538452885374627016199611392212549585940780114\ 21282315672701950328/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279, c_0101_0 + 631624000265096679216013641796520637873751832945182281219656\ 8660760504817391441327358/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^36 + 4718256186965585685766787304524237229139327868740162822291506196977\ 20432096754645960/7232745181689629364630966974904641492331787270896\ 968837543446987480293136481731999279*c_0101_6^35 - 3795342305407326525611790454011334652344466772390987672453557622928\ 02738610112765497047/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279*c_0101_6^34 - 2136530043230426789604681804029985526789571387585312021536445506918\ 21609815634688327379/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279*c_0101_6^33 + 9416467373149356344654439487959952429711722490838910965737199179221\ 333764089582019200526/723274518168962936463096697490464149233178727\ 0896968837543446987480293136481731999279*c_0101_6^32 + 8349760197353604100061551620226783679234979363121765992527815888812\ 404471712275573294688/723274518168962936463096697490464149233178727\ 0896968837543446987480293136481731999279*c_0101_6^31 - 1315984967961897535273116018142666065186683186418394499966148433064\ 40717373769468551403296/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^30 - 1302461479000591884795915886702164302476233665325890785161082254960\ 71397816710274875393800/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^29 + 1191948850194213838818098296106655522982450308625198425936316927597\ 274136977384546684065673/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^28 + 9906914788316593322610976908350689035560118651700042704336411287411\ 82530379362745841432864/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^27 - 7427002525366565232122923041417556804974248726451775065619395693865\ 911303212568797491779194/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^26 - 3646042209248997447878983247542596652086212858430895989275341669143\ 695742891762969387127946/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^25 + 3182794296420973642906079614686731789212122874831714250334827727150\ 8547188009902948449485063/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^24 + 3870876113929507047976815680681659584833540523353594264227996540816\ 400583207213361104366013/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^23 - 9286667616708837711359610905692366414681877574319373267427711487892\ 7861996445172595252583204/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^22 + 1893400351778710933575697964205146054660488488149366636143882628287\ 9028252989433813272747708/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^21 + 1821330751152624063199646224609768552672273474725418014007219935402\ 80516006394087047538052520/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^20 - 8709495044787893774949471116707657490482589049561843281297489112470\ 1685824455692850183706427/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^19 - 2348223574236543811422141039745718855987083648953132521243546622336\ 03855954676087950095498821/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^18 + 1697835239407792612724379545180047546661259384801704919587238751742\ 11555814963724876580268123/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^17 + 1917184559891213942917853068469326718941658303261861677838103955798\ 54294940349488349391354535/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^16 - 1887794495614479172975505260594082155786565091154861973935505654895\ 70777719857271684682896411/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^15 - 9308069198085536925389669984161581256888117276986612494977872673579\ 5063171417754917641245497/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^14 + 1278926431309660698026273109065253330758387579149009020296546015693\ 62476577086647398895230645/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^13 + 2314346836389395917034203228619359488515530671007170225020534895566\ 0912431776052715531933331/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^12 - 5374500548654069849893474913867619281527625486572821245276461028968\ 2745587240313720234190881/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^11 - 1212259122734781287642134061075666336780214295332446450406825751011\ 725022902007837122401882/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^10 + 1396054844685188795887694945939675237374420859125056830903810659094\ 1312854623966320296880955/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^9 - 5872384550468555972960222350152777862728436833430847448606055081001\ 26507814573706506556676/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^8 - 2216176691320681470792389259817077330370767096674996588096418336487\ 753344407585030487912199/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^7 + 7374892258776236571243390940309985824341970720695625658851486432449\ 8610652839757611503876/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^6 + 2151616873715506510379368163829405841116395446623558007118852681232\ 19806646193486992676084/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^5 + 7268976629008105983761295804419543239533491516040640366042831450221\ 628623168137463006164/723274518168962936463096697490464149233178727\ 0896968837543446987480293136481731999279*c_0101_6^4 - 1255247125097483425984316298317595574574221998890134945088775986345\ 1474970373005457724612/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^3 - 1365357799309549806735183252542574866941694302806855386108573877353\ 775216583548121984629/723274518168962936463096697490464149233178727\ 0896968837543446987480293136481731999279*c_0101_6^2 + 3044650502907449387136236771879944516762203134137960919282576158757\ 87539614481990240439/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279*c_0101_6 + 5340952724831065552544624803942070402372687795831645479004241352817\ 8762781122612605891/72327451816896293646309669749046414923317872708\ 96968837543446987480293136481731999279, c_0101_3 - 102941216819764272899451421195502274421192709080154987161042\ 196890021360796507132430304/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^36 - 3535177792189484046341516388743379098156278344920842559925866985536\ 56938931149877140272/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279*c_0101_6^35 + 5073478939145778192886849202969513349917845332927366797682901902158\ 409491379090102871836/723274518168962936463096697490464149233178727\ 0896968837543446987480293136481731999279*c_0101_6^34 + 2076174827079320705618142918263567768735285444576989334532245743664\ 8181506798585671736328/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^33 - 8752349704157687968711368337402995137305029373165895685080394202486\ 3044291883754694712800/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^32 - 4441711238308324053611301782489210532634868245274020695591075845677\ 79387627059807640966641/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^31 + 7216024884443712558912260558901634103346051898938975440230462123360\ 09770966862325379148538/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^30 + 4852541234155591261313375672019322337742561016666936073016930903246\ 263410440463014859184149/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^29 - 3756060174309798090067101883488859450003834009705608440828745029566\ 270804052460271502002141/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^28 - 3215770893729987945779098856453056981562186638562554020940729617242\ 0343194643753087920331456/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^27 + 1688154794052401290511138064445398171754698821305543184368948122351\ 1192970735114364954507274/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^26 + 1388545367857357669169777330468176234409869275936602404326398085080\ 20543384927161363629964847/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^25 - 7198395692932854906354198862577141406896664899043234647989976260699\ 9599169946731524062372595/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^24 - 4027967779052678225321680312822207391132872625942665416136437741347\ 90149850784240814609327285/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^23 + 2446684124437445744424333105086504596466773640866189158037508687869\ 36439165707534947652942184/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^22 + 7916558675999591062709347017887079280901773323506753790016656817825\ 32824456710355200280005251/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^21 - 5787554113478887076345494795802223227311503460118933201697914621093\ 39953681359978288402937279/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^20 - 1046883408686332422049156072861921666769157573818407000335910731256\ 502780456040508499036557656/723274518168962936463096697490464149233\ 1787270896968837543446987480293136481731999279*c_0101_6^19 + 9090838972308677944061087458739989692615607037713948004849066658109\ 16848532177768074337239399/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^18 + 9163346385280951565646069098766745034877271466569938221722928465852\ 33688918772336386529797896/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^17 - 9355262712090954295261781294557697141630950643445486262673475769026\ 18582203261906853229699890/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^16 - 5224015142924111031262459380410081680911728805869863539058788592045\ 90440180393173322869570680/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^15 + 6290417974939086541707742579949931647446624470653357955018519061341\ 13540952392884574950610454/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^14 + 1935842748576043029427336437113486543633662401089783881773625780985\ 79970848709696649835836276/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^13 - 2753050659768376879619733854650474501101487177896068140546259185448\ 01182943640238404386808403/7232745181689629364630966974904641492331\ 787270896968837543446987480293136481731999279*c_0101_6^12 - 4909019728262445291311533993504175389016140655561861228860555093835\ 7519937958640400214185961/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^11 + 7729526516989375477295283088620111039437622981793133291267713780826\ 7519731267277706168812830/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^10 + 1008256955653094104923568500306795620696429503191747424000261209625\ 1084044605476234373432886/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^9 - 1345287539364410694284320562039980647177820294939453102094017415433\ 6005394788381957807480099/72327451816896293646309669749046414923317\ 87270896968837543446987480293136481731999279*c_0101_6^8 - 1920864798993154595937743185765086089804128700936111895755084163862\ 100217041568458169923344/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^7 + 1350898624458877289586569080187094200323715304714805521909210014383\ 777444776834982093398596/723274518168962936463096697490464149233178\ 7270896968837543446987480293136481731999279*c_0101_6^6 + 2759377150624376372067411841280226556443054694618568095945411947852\ 90987407292538734371574/7232745181689629364630966974904641492331787\ 270896968837543446987480293136481731999279*c_0101_6^5 - 6488815138277981886304618228944146753408877056317109463594640373615\ 2138596919344131230824/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^4 - 2137172611537872186731176227274755292855785676078099022752183773649\ 4522710570548853229536/72327451816896293646309669749046414923317872\ 70896968837543446987480293136481731999279*c_0101_6^3 + 3451014354991369217503769683684880133368242508457020836399969801227\ 53723384423464064502/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279*c_0101_6^2 + 6098176246669849088507564799776624369327722133229171456749874627431\ 20092862694225480631/7232745181689629364630966974904641492331787270\ 896968837543446987480293136481731999279*c_0101_6 + 5275642567283266794586844591970150687041096468044805771131760270326\ 8644985367051087817/72327451816896293646309669749046414923317872708\ 96968837543446987480293136481731999279, c_0101_6^37 + 3*c_0101_6^36 - 51*c_0101_6^35 - 181*c_0101_6^34 + 949*c_0101_6^33 + 3988*c_0101_6^32 - 9084*c_0101_6^31 - 45011*c_0101_6^30 + 58750*c_0101_6^29 + 306648*c_0101_6^28 - 310297*c_0101_6^27 - 1344913*c_0101_6^26 + 1338303*c_0101_6^25 + 3897803*c_0101_6^24 - 4303628*c_0101_6^23 - 7477299*c_0101_6^22 + 9695450*c_0101_6^21 + 9267577*c_0101_6^20 - 14883755*c_0101_6^19 - 6939247*c_0101_6^18 + 15388047*c_0101_6^17 + 2524530*c_0101_6^16 - 10688297*c_0101_6^15 + 212907*c_0101_6^14 + 4995262*c_0101_6^13 - 623728*c_0101_6^12 - 1573359*c_0101_6^11 + 266262*c_0101_6^10 + 334188*c_0101_6^9 - 53201*c_0101_6^8 - 47827*c_0101_6^7 + 4740*c_0101_6^6 + 4549*c_0101_6^5 - 33*c_0101_6^4 - 266*c_0101_6^3 - 21*c_0101_6^2 + 7*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB