Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 2732801657] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1712 geometric_solution 5.42304206 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.657485345568 0.211724040800 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.353027924547 0.614976455643 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.250797842494 0.417504720730 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.054276967621 1.067344590457 6 5 2 3 2310 0132 0132 3201 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 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.054276967621 1.067344590457 5 4 3 5 3201 0132 0132 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528265965856 1.013710929320 6 6 4 3 1302 2031 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.437573593946 0.507429483085 ==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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), '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_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 1324531567688727394036328777599482536249725058600101469240041773945\ 5270759015145400454678076604245839/52566541607026407085464684211519\ 6685232161055008908959259714729882883573334949656136528286954513603\ *c_0101_3^32 - 8014724587390312109668787477138727941527183879070988\ 9829642412598821824698309348119631303688714064168/52566541607026407\ 0854646842115196685232161055008908959259714729882883573334949656136\ 528286954513603*c_0101_3^31 + 4286271758811718121270116758397820532\ 9314235866480122935031396540632886677304523869522518657868671847/75\ 0950594386091529792352631593138121760230078584155656085306756975547\ 96190707093733789755279216229*c_0101_3^30 + 5417792270097185602612741932102149717167054752091844487413286685254\ 69115323703279792983991101942413673/5256654160702640708546468421151\ 9668523216105500890895925971472988288357333494965613652828695451360\ 3*c_0101_3^29 - 344553357690725966937874080006491074932172062997981\ 7992737640815875805351226362359931889907319782761096/52566541607026\ 4070854646842115196685232161055008908959259714729882883573334949656\ 136528286954513603*c_0101_3^28 + 9752950501075191613752393714046959\ 0346971888675077287113702670103867561482898086543743142877118465869\ 7/52566541607026407085464684211519668523216105500890895925971472988\ 2883573334949656136528286954513603*c_0101_3^27 + 1462803606221856648740448038916871950810461586704828503909028369833\ 8325111335165686002190292678555111087/52566541607026407085464684211\ 5196685232161055008908959259714729882883573334949656136528286954513\ 603*c_0101_3^26 - 1106607743230245219497354322970716296631880208112\ 5859016734828764972085019475305760492655518261135591848/52566541607\ 0264070854646842115196685232161055008908959259714729882883573334949\ 656136528286954513603*c_0101_3^25 - 3799031180937646895930871921132945412742265296054543144036193227754\ 9813134833459665799843530727755821796/52566541607026407085464684211\ 5196685232161055008908959259714729882883573334949656136528286954513\ 603*c_0101_3^24 + 6630380976273022637236542068931496027729984163529\ 155846476685996373384712850402867990089807433566006568/750950594386\ 0915297923526315931381217602300785841556560853067569755479619070709\ 3733789755279216229*c_0101_3^23 + 633940146781879796530071639717789\ 3571171370131630081629554190907996860392755111553406133297017363038\ 2779/52566541607026407085464684211519668523216105500890895925971472\ 9882883573334949656136528286954513603*c_0101_3^22 - 6282328450169240892682763024623118083350511435905873461045982281374\ 88719888887159315410347075643523973/1746396731130445418121750306030\ 553771535418787405013153686759899943134795132723110088133843702703*\ c_0101_3^21 - 30763285798391660176978400432468365596126963730463973\ 1409201379427048167775732309714351776228566664149202/52566541607026\ 4070854646842115196685232161055008908959259714729882883573334949656\ 136528286954513603*c_0101_3^20 + 4264073693826753912077259835583686\ 9924748998553607597396881689737319116789108531337380064394804542483\ 9907/52566541607026407085464684211519668523216105500890895925971472\ 9882883573334949656136528286954513603*c_0101_3^19 + 1637837685264516468162525102358283745539893712538493766809959275787\ 686380922531739585379454986974315398710/525665416070264070854646842\ 1151966852321610550089089592597147298828835733349496561365282869545\ 13603*c_0101_3^18 - 23142020406203217556545016110962441944970738432\ 4395875836390603743397526467709266141967107512139073742436/75095059\ 4386091529792352631593138121760230078584155656085306756975547961907\ 07093733789755279216229*c_0101_3^17 - 2655057647960817142243018918351187742124982421184221990553004537056\ 32771307251440872517570237799974305245/7509505943860915297923526315\ 9313812176023007858415565608530675697554796190707093733789755279216\ 229*c_0101_3^16 + 3017899163373546878317670679488942531703808227905\ 781675023332335180137956885345196852420206918140412543560/525665416\ 0702640708546468421151966852321610550089089592597147298828835733349\ 49656136528286954513603*c_0101_3^15 - 2032370032896212537673933149591807255687279982074250348289414758068\ 71738343218696771720454187739371166665/5256654160702640708546468421\ 1519668523216105500890895925971472988288357333494965613652828695451\ 3603*c_0101_3^14 - 438642458002694524999609014264940824047247351382\ 092428399637941030214598948324557991650398240627842694577/750950594\ 3860915297923526315931381217602300785841556560853067569755479619070\ 7093733789755279216229*c_0101_3^13 + 4016234131777184010263513337087414647352148163955296966078007360281\ 726345330702276789633692747103077795673/525665416070264070854646842\ 1151966852321610550089089592597147298828835733349496561365282869545\ 13603*c_0101_3^12 - 30718320914080931639052265520555637899076245626\ 71565509897039097678021114176558990681463408854919330438268/5256654\ 1607026407085464684211519668523216105500890895925971472988288357333\ 4949656136528286954513603*c_0101_3^11 + 1405259724810844908095095689520828043526032662982330465070554634242\ 463238507353967420088282449056232278304/525665416070264070854646842\ 1151966852321610550089089592597147298828835733349496561365282869545\ 13603*c_0101_3^10 + 15189330421479057265957890125209309995335762036\ 4425425634953196696620486816342192164220319884358912297042/52566541\ 6070264070854646842115196685232161055008908959259714729882883573334\ 949656136528286954513603*c_0101_3^9 - 7344372853246988015603771140879948590388505700931222463628426642181\ 12702765892392138572850362663689208926/5256654160702640708546468421\ 1519668523216105500890895925971472988288357333494965613652828695451\ 3603*c_0101_3^8 + 6125431064908923455750515636075179754163358806661\ 1039688198169892209322562263904951412914743114803314935/75095059438\ 6091529792352631593138121760230078584155656085306756975547961907070\ 93733789755279216229*c_0101_3^7 - 273204554536304109020246615054166\ 9183246258488997182748959436437528824680082112097822733802397183217\ 4050/52566541607026407085464684211519668523216105500890895925971472\ 9882883573334949656136528286954513603*c_0101_3^6 - 7609561921498359755249726308193305525830836298238078558359440880247\ 2781680099565683385449424923708150488/52566541607026407085464684211\ 5196685232161055008908959259714729882883573334949656136528286954513\ 603*c_0101_3^5 + 27355142106022842994649667537667650631436390972056\ 173680653551486501795054171120693126901261342939240049/525665416070\ 2640708546468421151966852321610550089089592597147298828835733349496\ 56136528286954513603*c_0101_3^4 + 592626941703969652892950032823118\ 8312874489180941574158785893125703530156091618680185330475229717648\ 514/525665416070264070854646842115196685232161055008908959259714729\ 882883573334949656136528286954513603*c_0101_3^3 - 5017814496103671870873652685592809472882129230901076760783938652517\ 288211230170098087752899971905912791/525665416070264070854646842115\ 1966852321610550089089592597147298828835733349496561365282869545136\ 03*c_0101_3^2 - 493708499539625686921846898612452056182322754036151\ 962128953455771405202398111285591770235401336597577/525665416070264\ 0708546468421151966852321610550089089592597147298828835733349496561\ 36528286954513603*c_0101_3 + 49318912729174569805493876647098835658\ 3798206423749946879973196570456692470825016756731596290500058093/52\ 5665416070264070854646842115196685232161055008908959259714729882883\ 573334949656136528286954513603, c_0011_0 - 1, c_0011_1 + 105098193716750048609366989129949329587225317792821256755587\ 4707972923898211358400317/13812896312536168670313019282317855217032\ 159423682851367468717751707639214493338212897*c_0101_3^32 + 6871093335533874097919855283906432533668382553853908214186564490799\ 100036493890904448/138128963125361686703130192823178552170321594236\ 82851367468717751707639214493338212897*c_0101_3^31 - 2046241079285384605892167834648335428380495988349658446884827508091\ 9843840263581402033/13812896312536168670313019282317855217032159423\ 682851367468717751707639214493338212897*c_0101_3^30 - 5293517941298844481473062953588916925982942750364226305988865675280\ 6251611723405077634/13812896312536168670313019282317855217032159423\ 682851367468717751707639214493338212897*c_0101_3^29 + 2477218699015236956198359994134626468664684426019171054888171703279\ 25293844947018873522/1381289631253616867031301928231785521703215942\ 3682851367468717751707639214493338212897*c_0101_3^28 + 4297109881671726184141780715003628718930831597210750870685975052104\ 9483265320891847948/13812896312536168670313019282317855217032159423\ 682851367468717751707639214493338212897*c_0101_3^27 - 1140558407692074139836059178731146556983703387859524300758786151470\ 246282628597788615006/138128963125361686703130192823178552170321594\ 23682851367468717751707639214493338212897*c_0101_3^26 + 3257634947756801869610431928206006593517081529452863623166480269449\ 71287255601004937390/1381289631253616867031301928231785521703215942\ 3682851367468717751707639214493338212897*c_0101_3^25 + 3174755374643538761055844615785025778739749643925350299772624588318\ 842033561538522592485/138128963125361686703130192823178552170321594\ 23682851367468717751707639214493338212897*c_0101_3^24 - 2151304609825576436948458966648823362443884150587875593825368737342\ 024453609012620098138/138128963125361686703130192823178552170321594\ 23682851367468717751707639214493338212897*c_0101_3^23 - 6079202604730402139150689825050666975011867658326274265851892416335\ 263454484970923300006/138128963125361686703130192823178552170321594\ 23682851367468717751707639214493338212897*c_0101_3^22 + 1208496506579526294346044189383913146936655050012341708340190783391\ 5384928754616457923093/13812896312536168670313019282317855217032159\ 423682851367468717751707639214493338212897*c_0101_3^21 + 3028256695345075076825966613310549024100594085288949781003070216321\ 3661096810531814665692/13812896312536168670313019282317855217032159\ 423682851367468717751707639214493338212897*c_0101_3^20 - 1917372919235111877989671349083425893737624252335295501821108409027\ 9977836236120713612485/13812896312536168670313019282317855217032159\ 423682851367468717751707639214493338212897*c_0101_3^19 - 1391691468335303443383872078538828301927841670999602712116126977991\ 97431414471234084896093/1381289631253616867031301928231785521703215\ 9423682851367468717751707639214493338212897*c_0101_3^18 + 6124187430594965348899794231460733460000102871060721884307594843810\ 5227104830483546064471/13812896312536168670313019282317855217032159\ 423682851367468717751707639214493338212897*c_0101_3^17 + 1772380751993335069883898859895923872644306955041643996003698717354\ 80390125007312823201453/1381289631253616867031301928231785521703215\ 9423682851367468717751707639214493338212897*c_0101_3^16 - 1550166717996808314120522425472010471847861152057474220155524261199\ 53017408400573999123086/1381289631253616867031301928231785521703215\ 9423682851367468717751707639214493338212897*c_0101_3^15 - 5937003418775511940375671861266637085140444987068748032008537800391\ 7383545272720105947494/13812896312536168670313019282317855217032159\ 423682851367468717751707639214493338212897*c_0101_3^14 + 2169101946055770563285506888290202391229553049846219527206999661139\ 12480671344547142700067/1381289631253616867031301928231785521703215\ 9423682851367468717751707639214493338212897*c_0101_3^13 - 2140396425313001347328241823091630759493214383030041292680551377211\ 20834338102726015229734/1381289631253616867031301928231785521703215\ 9423682851367468717751707639214493338212897*c_0101_3^12 + 1385066769522988779632419347698740701997872873855247883628335083925\ 54471377647817604385492/1381289631253616867031301928231785521703215\ 9423682851367468717751707639214493338212897*c_0101_3^11 - 4199736501385647983756922396045733270773305754208806582048681019657\ 3333231259160090940286/13812896312536168670313019282317855217032159\ 423682851367468717751707639214493338212897*c_0101_3^10 - 3441297410099401683122290174529954255164005829128177976488409417904\ 6507779442461712587408/13812896312536168670313019282317855217032159\ 423682851367468717751707639214493338212897*c_0101_3^9 + 4285569443385862916636685934446569031859078188913757872555278277343\ 6749758469866137080228/13812896312536168670313019282317855217032159\ 423682851367468717751707639214493338212897*c_0101_3^8 - 1340878419879480737248556078714304841091509232369224824096620464188\ 7850264174226155859249/13812896312536168670313019282317855217032159\ 423682851367468717751707639214493338212897*c_0101_3^7 - 4740352643709835648065399463512250454725527508923683783352986307197\ 076603503436560247104/138128963125361686703130192823178552170321594\ 23682851367468717751707639214493338212897*c_0101_3^6 + 4034319123522416775506432431147973487786929853144303981561168639366\ 449500860648180059999/138128963125361686703130192823178552170321594\ 23682851367468717751707639214493338212897*c_0101_3^5 - 2542744368278630868564391184903922412924720365730056054366093975147\ 68009038876593121897/1381289631253616867031301928231785521703215942\ 3682851367468717751707639214493338212897*c_0101_3^4 - 6326951986075628392180476029190771918869120872440438199972907181989\ 82991979081456117708/1381289631253616867031301928231785521703215942\ 3682851367468717751707639214493338212897*c_0101_3^3 + 1031259724753456932416794202976506874526528742790389966488919160311\ 02943079861648262286/1381289631253616867031301928231785521703215942\ 3682851367468717751707639214493338212897*c_0101_3^2 + 8665285020634067829305075585485466410097927959691314485102887620983\ 5593009728464521629/13812896312536168670313019282317855217032159423\ 682851367468717751707639214493338212897*c_0101_3 - 5649105042172658193760530241565259696980763086241847585187855918516\ 250654996369148797/138128963125361686703130192823178552170321594236\ 82851367468717751707639214493338212897, c_0011_4 + 442258524940119445699921077341921821465625009254845183798837\ 86752311843102197156469694754336384/1746396731130445418121750306030\ 553771535418787405013153686759899943134795132723110088133843702703*\ c_0101_3^32 + 28891752638236129274153229468371707335402636795022201\ 3034292494108519096210404811281902356388833/17463967311304454181217\ 5030603055377153541878740501315368675989994313479513272311008813384\ 3702703*c_0101_3^31 - 868045839021184922238375996217406983484430455\ 635682407658802818163999111318163346688701111660178/174639673113044\ 5418121750306030553771535418787405013153686759899943134795132723110\ 088133843702703*c_0101_3^30 - 2256339024053689705405479052344954047\ 104264715025468544942280091445910048885475659097821000741355/174639\ 6731130445418121750306030553771535418787405013153686759899943134795\ 132723110088133843702703*c_0101_3^29 + 1056067876054214603685861868103520308747879321693154936042082215202\ 9664598114810647631770670337989/17463967311304454181217503060305537\ 71535418787405013153686759899943134795132723110088133843702703*c_01\ 01_3^28 + 196064790981910103680189882796017960763477568814280443208\ 9521531536848118858575286763357544212884/17463967311304454181217503\ 0603055377153541878740501315368675989994313479513272311008813384370\ 2703*c_0101_3^27 - 494207221964765342093986309848005756979978457181\ 23173977380272893950334192539464787991180678912039/1746396731130445\ 4181217503060305537715354187874050131536867598999431347951327231100\ 88133843702703*c_0101_3^26 + 14549273532946409004934791625715427480\ 527449721833612453450459090208778130295885581042636767768232/174639\ 6731130445418121750306030553771535418787405013153686759899943134795\ 132723110088133843702703*c_0101_3^25 + 1391653008478680700658244421292075574591175078101148383223294014275\ 44958380602077759137786497461749/1746396731130445418121750306030553\ 771535418787405013153686759899943134795132723110088133843702703*c_0\ 101_3^24 - 96328853122413907254836680697813672337010362695084818005\ 408440463646600151747372961519707180664610/174639673113044541812175\ 0306030553771535418787405013153686759899943134795132723110088133843\ 702703*c_0101_3^23 - 2689413980466005804297256322772432436359935402\ 62108248338211241540030388566019836550841414366971189/1746396731130\ 4454181217503060305537715354187874050131536867598999431347951327231\ 10088133843702703*c_0101_3^22 + 52991381721007251449117860192160362\ 4382398600161440470357600269433842754905636339920418435193987131/17\ 4639673113044541812175030603055377153541878740501315368675989994313\ 4795132723110088133843702703*c_0101_3^21 + 1291685638058003544131789176290518887810242764425923216318632309837\ 291800562581478576783464304411941/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^20 - 8908606417768332636249735419901448251483219407031227408\ 48725935591168511100865473673564947346382587/1746396731130445418121\ 7503060305537715354187874050131536867598999431347951327231100881338\ 43702703*c_0101_3^19 - 59657841783775549256909330313494857674421500\ 54680310155886091530102981503322753501030711203961090378/1746396731\ 1304454181217503060305537715354187874050131536867598999431347951327\ 23110088133843702703*c_0101_3^18 + 2772237309855534082911577426011177590611425526058165845523339943550\ 861804737889770349593282520392572/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^17 + 8059445228668457794954000516842200685737131419774485235\ 360773934755002898101116603709896609107505355/174639673113044541812\ 1750306030553771535418787405013153686759899943134795132723110088133\ 843702703*c_0101_3^16 - 7263394143078802337624127396607299018699023\ 255831239960460380678628997751941503899812696038401300846/174639673\ 1130445418121750306030553771535418787405013153686759899943134795132\ 723110088133843702703*c_0101_3^15 - 2952537917251497240564358124343810023028280461688028307126767004469\ 412666373228965178788672337594545/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^14 + 1039109486015564464415522107874720436702128692487402414\ 6850980283082498232688674899136776363314770441/17463967311304454181\ 2175030603055377153541878740501315368675989994313479513272311008813\ 3843702703*c_0101_3^13 - 946099325851808637816842069333255021429767\ 7650965313466173776660152325814684547827360114899480139836/17463967\ 3113044541812175030603055377153541878740501315368675989994313479513\ 2723110088133843702703*c_0101_3^12 + 4824145824944593245038567120548024592243976738232657668848670820072\ 552380995552199101246916525422481/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^11 + 2066473875987491032627352930818899267538047115628406578\ 658558281874972766869136317149039939249988/174639673113044541812175\ 0306030553771535418787405013153686759899943134795132723110088133843\ 702703*c_0101_3^10 - 3143497549981465040258374118501497827876384236\ 607784908139389040993670441716379550754130799981177258/174639673113\ 0445418121750306030553771535418787405013153686759899943134795132723\ 110088133843702703*c_0101_3^9 + 28615963612065766179917516627026664\ 59731664938129000208893254345862600028478865441240024537962077362/1\ 7463967311304454181217503060305537715354187874050131536867598999431\ 34795132723110088133843702703*c_0101_3^8 - 8794222636091752542471979884930608845425886908783166370442663462804\ 97181888910241618479437208085504/1746396731130445418121750306030553\ 771535418787405013153686759899943134795132723110088133843702703*c_0\ 101_3^7 - 350955116660446975649609659637850503311415802731637450723\ 699513215373677666649819543059490804562878/174639673113044541812175\ 0306030553771535418787405013153686759899943134795132723110088133843\ 702703*c_0101_3^6 + 36516215952946741842979000630034333283698214308\ 2921536581806253177389027408779207203614128302504871/17463967311304\ 4541812175030603055377153541878740501315368675989994313479513272311\ 0088133843702703*c_0101_3^5 - 7950404263280600435139042713708593857\ 7760802325894651951223176394232657879000830741057698668116526/17463\ 9673113044541812175030603055377153541878740501315368675989994313479\ 5132723110088133843702703*c_0101_3^4 - 3010874523986439826535604101393280919242556485361958700836403517122\ 6154029364751969486323329174268/17463967311304454181217503060305537\ 71535418787405013153686759899943134795132723110088133843702703*c_01\ 01_3^3 + 1332919589205533175012945321909027040419838372061669095902\ 0447724107182669010788030442014145911669/17463967311304454181217503\ 0603055377153541878740501315368675989994313479513272311008813384370\ 2703*c_0101_3^2 + 2864715821489605635798738830889673700460492965338\ 214946405748399173546653239780033851298714114608/174639673113044541\ 8121750306030553771535418787405013153686759899943134795132723110088\ 133843702703*c_0101_3 - 5519395320318260172052892499577399897235995\ 27910559064284954018686083545786019099555532812462077/1746396731130\ 4454181217503060305537715354187874050131536867598999431347951327231\ 10088133843702703, c_0011_6 + 537238079744233037807662987830111462697055263077188471894882\ 14419603466737753021710269220374144/1746396731130445418121750306030\ 553771535418787405013153686759899943134795132723110088133843702703*\ c_0101_3^32 + 34534536338103413878592798898341390963782360369863243\ 6116586404802415629321198848467848699847956/17463967311304454181217\ 5030603055377153541878740501315368675989994313479513272311008813384\ 3702703*c_0101_3^31 - 107957368356205999951609944047956075949127859\ 5484957139821028787250364960544112490407121613994840/17463967311304\ 4541812175030603055377153541878740501315368675989994313479513272311\ 0088133843702703*c_0101_3^30 - 255405704210349459067043262693344032\ 1858234236005753478180870544021479761373689444949603875809224/17463\ 9673113044541812175030603055377153541878740501315368675989994313479\ 5132723110088133843702703*c_0101_3^29 + 1289895114368269485700042903012371399062263950232280835988823439887\ 0286267700435524808843624251089/17463967311304454181217503060305537\ 71535418787405013153686759899943134795132723110088133843702703*c_01\ 01_3^28 + 478760193159625914182366241459983929948101720559146093796\ 130075607870166992105539879021010605934/174639673113044541812175030\ 6030553771535418787405013153686759899943134795132723110088133843702\ 703*c_0101_3^27 - 5767204523108849283235233076969898247559691821779\ 3231116988341494470994931995659264670835591110906/17463967311304454\ 1812175030603055377153541878740501315368675989994313479513272311008\ 8133843702703*c_0101_3^26 + 242947004550071440918756964405712116115\ 54893818271763821178235676772283568523767716878456436054562/1746396\ 7311304454181217503060305537715354187874050131536867598999431347951\ 32723110088133843702703*c_0101_3^25 + 1557855299917076971126452713994762520965334965744297923190978334643\ 27936224136743821399597898696467/1746396731130445418121750306030553\ 771535418787405013153686759899943134795132723110088133843702703*c_0\ 101_3^24 - 13132434196774592548574147723639442351730762810478278724\ 0435843645426883462861907158600613261346329/17463967311304454181217\ 5030603055377153541878740501315368675989994313479513272311008813384\ 3702703*c_0101_3^23 - 284565897991448464095662568227340151058527719\ 089110316615781066169517568197512602632988639739839832/174639673113\ 0445418121750306030553771535418787405013153686759899943134795132723\ 110088133843702703*c_0101_3^22 + 6562931641919316634316600061302677\ 68778559827545219788071931685768818551443390730772623126691220730/1\ 7463967311304454181217503060305537715354187874050131536867598999431\ 34795132723110088133843702703*c_0101_3^21 + 1448191028834196996530636757008145690069357882770205115274737399675\ 659317357843106590093791161056886/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^20 - 1123050474851163101580417883659100760217379013132927084\ 546997423575427615548926157488488194751379849/174639673113044541812\ 1750306030553771535418787405013153686759899943134795132723110088133\ 843702703*c_0101_3^19 - 6821136913783976135801480493632489139050468\ 561270962859411110902162870844977105240294935812211074462/174639673\ 1130445418121750306030553771535418787405013153686759899943134795132\ 723110088133843702703*c_0101_3^18 + 3983562997253522369879686972025044082672764332767170583500183268418\ 374513549462150016409145103585382/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^17 + 8050582905112463054759070659219845178940227980737253387\ 088285493319991778720688392637029675112771692/174639673113044541812\ 1750306030553771535418787405013153686759899943134795132723110088133\ 843702703*c_0101_3^16 - 9295352211621308494742890627073177877439912\ 226644943997369413721070490599869623116249331012664331064/174639673\ 1130445418121750306030553771535418787405013153686759899943134795132\ 723110088133843702703*c_0101_3^15 - 1349912865526595028523036142262564073813181511861845210302820515081\ 902981653930528629633917779813230/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^14 + 1149972076695580649086826738880148441797347966865600799\ 0273497767969052937062610880914247723991433424/17463967311304454181\ 2175030603055377153541878740501315368675989994313479513272311008813\ 3843702703*c_0101_3^13 - 127896401919840509687534573647356973584436\ 38565867496782521081610739594458041839280991652578697133893/1746396\ 7311304454181217503060305537715354187874050131536867598999431347951\ 32723110088133843702703*c_0101_3^12 + 8901901626565411456803903957243296327494403609992752807705445782591\ 979108561781136355470276644316974/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^11 - 3122653170593187284099730462090697090095727685302471331\ 752802840818706181369396986266192885614221701/174639673113044541812\ 1750306030553771535418787405013153686759899943134795132723110088133\ 843702703*c_0101_3^10 - 1555333973019757293817813222136836145927140\ 701162340773103399266028039381775865691704295933544970990/174639673\ 1130445418121750306030553771535418787405013153686759899943134795132\ 723110088133843702703*c_0101_3^9 + 2616188759357284870253119379550284958044244534326507475061388314340\ 749827509993197531889073348012008/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^8 - 11636063833728392896976593407313237312246435402726320045\ 73163544985381449028234281096870466614221244/1746396731130445418121\ 7503060305537715354187874050131536867598999431347951327231100881338\ 43702703*c_0101_3^7 - 130344005461422722745604833917085437993190595\ 655032373842368316364605739041750036240671193861371851/174639673113\ 0445418121750306030553771535418787405013153686759899943134795132723\ 110088133843702703*c_0101_3^6 + 30284515006017150655956263082854881\ 5181771797667803490129719333509086853027813927349063370479153531/17\ 4639673113044541812175030603055377153541878740501315368675989994313\ 4795132723110088133843702703*c_0101_3^5 - 8876792075576707678096538116755735401741289315588009287464548562058\ 8611939943055579855218484798950/17463967311304454181217503060305537\ 71535418787405013153686759899943134795132723110088133843702703*c_01\ 01_3^4 - 2323757913801524634454335155328157805149026139868754219433\ 4177009868890452160429411236541992626369/17463967311304454181217503\ 0603055377153541878740501315368675989994313479513272311008813384370\ 2703*c_0101_3^3 + 1431234528696499257103602648572585220198657696757\ 3995429391679627162621920547717882494785055179511/17463967311304454\ 1812175030603055377153541878740501315368675989994313479513272311008\ 8133843702703*c_0101_3^2 - 7144919515312398178766760697109586583472\ 1864423881439477908058658055096974231344129575364056838/17463967311\ 3044541812175030603055377153541878740501315368675989994313479513272\ 3110088133843702703*c_0101_3 - 620598645306151412228287187420516754\ 366191182568502530939463984665827738670386598958976976250744/174639\ 6731130445418121750306030553771535418787405013153686759899943134795\ 132723110088133843702703, c_0101_0 - 514892327689890166151685922812825356548069392215556219157924\ 01832080895362098181865661166914402/1746396731130445418121750306030\ 553771535418787405013153686759899943134795132723110088133843702703*\ c_0101_3^32 - 37817062207168834110872015859805569321231304408560363\ 4463397277124567579479709733777535549056158/17463967311304454181217\ 5030603055377153541878740501315368675989994313479513272311008813384\ 3702703*c_0101_3^31 + 733192617483216272301738118795069605703787681\ 915633441777798192900915132754611661360152735161944/174639673113044\ 5418121750306030553771535418787405013153686759899943134795132723110\ 088133843702703*c_0101_3^30 + 3414653896090261761014996405445278184\ 845139212648499321866032412964823047397828022316347196552909/174639\ 6731130445418121750306030553771535418787405013153686759899943134795\ 132723110088133843702703*c_0101_3^29 - 1010607565201757428029309139327797419242149411068057117603827262857\ 1689137100136192829576551232114/17463967311304454181217503060305537\ 71535418787405013153686759899943134795132723110088133843702703*c_01\ 01_3^28 - 119547523567472842766166998254495087567371343921176076360\ 07564703308525769112232260587361943913531/1746396731130445418121750\ 3060305537715354187874050131536867598999431347951327231100881338437\ 02703*c_0101_3^27 + 54843774903452029922890000015359994341028662251\ 997995757824253670403782110413565960307348325743003/174639673113044\ 5418121750306030553771535418787405013153686759899943134795132723110\ 088133843702703*c_0101_3^26 + 2852889298953704177479869016097670736\ 5473999975840523790102640900634489378367121076603472563981805/17463\ 9673113044541812175030603055377153541878740501315368675989994313479\ 5132723110088133843702703*c_0101_3^25 - 1707959520425264627726825886977933362021758945563234886252428786939\ 08132093907154119134309051371491/1746396731130445418121750306030553\ 771535418787405013153686759899943134795132723110088133843702703*c_0\ 101_3^24 - 16443436204756994723073691185128009583480489591346679382\ 295605203612090038909506420522157002095051/174639673113044541812175\ 0306030553771535418787405013153686759899943134795132723110088133843\ 702703*c_0101_3^23 + 3879624542540496853208405178903148025666481154\ 73276513107123228973433081105040882666078118361248921/1746396731130\ 4454181217503060305537715354187874050131536867598999431347951327231\ 10088133843702703*c_0101_3^22 - 36409144006821394590354657039720784\ 4180064512710385652658745087360922794234511814104679648812012349/17\ 4639673113044541812175030603055377153541878740501315368675989994313\ 4795132723110088133843702703*c_0101_3^21 - 1966308230958514321450421390979704027809243549932608313679424999238\ 489993161685974485403354466890943/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^20 - 2182757308337633654719754934236367229445946192158526637\ 89559409926324640335883944147053406838993281/1746396731130445418121\ 7503060305537715354187874050131536867598999431347951327231100881338\ 43702703*c_0101_3^19 + 76064767756904092818854645088358153308217296\ 68676713069830597300813886549048975316729779660544309124/1746396731\ 1304454181217503060305537715354187874050131536867598999431347951327\ 23110088133843702703*c_0101_3^18 + 2392362366694959154814649289334342982613555483813164839580789628392\ 703543969771714628163754926090335/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^17 - 1133832739783502496294253227631031566908002551467879422\ 0961817756051998130442560311217898811584822253/17463967311304454181\ 2175030603055377153541878740501315368675989994313479513272311008813\ 3843702703*c_0101_3^16 + 106000557307152264432944529554979246379749\ 7057763416543820682766448046079616394107337914254045938151/17463967\ 3113044541812175030603055377153541878740501315368675989994313479513\ 2723110088133843702703*c_0101_3^15 + 9146593816574611750097581867378040337891450176348037643732676410955\ 657501252708334503224033160410058/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^14 - 8976413679780523457386947513509260724761428558003546147\ 696948875784277694182384567607890155570338193/174639673113044541812\ 1750306030553771535418787405013153686759899943134795132723110088133\ 843702703*c_0101_3^13 + 2324254706784049898314941898185471820355931\ 047288705892633287179197446997631235477467061628009062726/174639673\ 1130445418121750306030553771535418787405013153686759899943134795132\ 723110088133843702703*c_0101_3^12 + 2103074104604862358207990124865175400277106347117969620287693423195\ 040407704130926761179182234261542/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^11 - 4442125985307523164210823870799495287345874651278731530\ 816365021395597118518309183393704066484312686/174639673113044541812\ 1750306030553771535418787405013153686759899943134795132723110088133\ 843702703*c_0101_3^10 + 4429477482881392463006003519255139579617730\ 661471981621478831938245877462689685281191489890052819021/174639673\ 1130445418121750306030553771535418787405013153686759899943134795132\ 723110088133843702703*c_0101_3^9 - 1489803704703229853505081687384567034412780555268717237484202039694\ 168841356593657602551759890648263/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^8 - 77751204180454708742732479971007160539367200824296760410\ 7667413964337780302382117594338706721143656/17463967311304454181217\ 5030603055377153541878740501315368675989994313479513272311008813384\ 3702703*c_0101_3^7 + 8447389828385161524424533158953445314415738217\ 11792349835292398918234504281847766268351151666409397/1746396731130\ 4454181217503060305537715354187874050131536867598999431347951327231\ 10088133843702703*c_0101_3^6 - 164166313957376324774680352563156158\ 655004629239963935799505042044121797353625257745300072286206630/174\ 6396731130445418121750306030553771535418787405013153686759899943134\ 795132723110088133843702703*c_0101_3^5 - 6780590757513109170892567080570004669053816656613503822210862952789\ 8199418042877506509942340820899/17463967311304454181217503060305537\ 71535418787405013153686759899943134795132723110088133843702703*c_01\ 01_3^4 + 2855382796305642612189038416007848694898355071838848737875\ 9828065285103675849034633360316933582274/17463967311304454181217503\ 0603055377153541878740501315368675989994313479513272311008813384370\ 2703*c_0101_3^3 + 1324831129749616727388645831646993111153492875366\ 7991018003655799362984776114265220398733400483130/17463967311304454\ 1812175030603055377153541878740501315368675989994313479513272311008\ 8133843702703*c_0101_3^2 - 4233095187439995081147334333945775108974\ 663340484571194281912418908360048782689278160706649125049/174639673\ 1130445418121750306030553771535418787405013153686759899943134795132\ 723110088133843702703*c_0101_3 - 2271961815748079277583101157236904\ 267095326875830417278452106121824701420388707949073273579886323/174\ 6396731130445418121750306030553771535418787405013153686759899943134\ 795132723110088133843702703, c_0101_2 - 310873624522439347368548541933650563972486077426581552291324\ 80919007724062150535078958984396889/1746396731130445418121750306030\ 553771535418787405013153686759899943134795132723110088133843702703*\ c_0101_3^32 - 22247156518295711861015640379633771989525148061380241\ 6470571770573327561369176719143396311794282/17463967311304454181217\ 5030603055377153541878740501315368675989994313479513272311008813384\ 3702703*c_0101_3^31 + 482327297618147756506373970190553978718473559\ 993660094717869790433549502016493646819597332471565/174639673113044\ 5418121750306030553771535418787405013153686759899943134795132723110\ 088133843702703*c_0101_3^30 + 1957153626154863416014039783403574959\ 437916111840465456555389415972679205100963276561106473380619/174639\ 6731130445418121750306030553771535418787405013153686759899943134795\ 132723110088133843702703*c_0101_3^29 - 6419823839457793028573240177669394463655877505484109128069632378175\ 222066074173940214688932046105/174639673113044541812175030603055377\ 1535418787405013153686759899943134795132723110088133843702703*c_010\ 1_3^28 - 5914246960598899056434144851983839718174334675345321021126\ 245108854928141723299085167419069818082/174639673113044541812175030\ 6030553771535418787405013153686759899943134795132723110088133843702\ 703*c_0101_3^27 + 3364646782676761147019052493366733194014184958333\ 7542660850641326342051422694286139587306142261212/17463967311304454\ 1812175030603055377153541878740501315368675989994313479513272311008\ 8133843702703*c_0101_3^26 + 110206257017117837343804400268237121471\ 65182676263014579136490552131570893595208728266280696108390/1746396\ 7311304454181217503060305537715354187874050131536867598999431347951\ 32723110088133843702703*c_0101_3^25 - 1027063383185825138325597689910027498406787101457145369305833937297\ 18857811115292751190456462655720/1746396731130445418121750306030553\ 771535418787405013153686759899943134795132723110088133843702703*c_0\ 101_3^24 + 77162870758964847643950540952608393065269020940451344440\ 61507748765984725076629279540679285529421/1746396731130445418121750\ 3060305537715354187874050131536867598999431347951327231100881338437\ 02703*c_0101_3^23 + 22618874800853953505211739878404964096166164079\ 0573853538907729548386264769762347949157728699955462/17463967311304\ 4541812175030603055377153541878740501315368675989994313479513272311\ 0088133843702703*c_0101_3^22 - 255146808486249230976009302836851107\ 689321681632469707822673964737234174705950631931624705191710416/174\ 6396731130445418121750306030553771535418787405013153686759899943134\ 795132723110088133843702703*c_0101_3^21 - 1127706161982699839152715535624220840344700067024662981561100797959\ 725132917897230987796183305153635/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^20 + 4981780158066218120583919476521003279628086931670109584\ 2284325018080142393193830532964783984760823/17463967311304454181217\ 5030603055377153541878740501315368675989994313479513272311008813384\ 3702703*c_0101_3^19 + 452856303081104244594265823500514329586848793\ 0520635878377798941130202745506860281981067403385203624/17463967311\ 3044541812175030603055377153541878740501315368675989994313479513272\ 3110088133843702703*c_0101_3^18 + 660966025183973711300492554042674\ 144613882890459355113857819037999179622801549893503084175932431981/\ 1746396731130445418121750306030553771535418787405013153686759899943\ 134795132723110088133843702703*c_0101_3^17 - 6683193948800844693589259919972355813499180847462213408854296101954\ 882117970829046630481363332520291/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^16 + 1642644968016589121778604016681111722931515945338737049\ 811521228690055200322807026972032336918617689/174639673113044541812\ 1750306030553771535418787405013153686759899943134795132723110088133\ 843702703*c_0101_3^15 + 4868577248490431677616008208461346503922415\ 058573124760207539514798000763542327803741046767091643439/174639673\ 1130445418121750306030553771535418787405013153686759899943134795132\ 723110088133843702703*c_0101_3^14 - 5878110009366207290815628181309600817769135815520372787081951045984\ 490700730635188658478399509027895/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^13 + 2532289326210933855735730440816294588585866115147015670\ 328879255927723362957297540518684594246119273/174639673113044541812\ 1750306030553771535418787405013153686759899943134795132723110088133\ 843702703*c_0101_3^12 + 3194909377530139414338604649706575640749461\ 26135702257243585295954127743115926895030573254489555127/1746396731\ 1304454181217503060305537715354187874050131536867598999431347951327\ 23110088133843702703*c_0101_3^11 - 2138146733021596369947526691471197003422192355960708396512079999574\ 091250684396753596547733213669437/174639673113044541812175030603055\ 3771535418787405013153686759899943134795132723110088133843702703*c_\ 0101_3^10 + 2575526202798521429218219026948145340337242501580173754\ 715833706978307619928486325058731861017632447/174639673113044541812\ 1750306030553771535418787405013153686759899943134795132723110088133\ 843702703*c_0101_3^9 - 11135711504705703599245510756788455059870625\ 72828946397209486616623285642521200256786089073381729983/1746396731\ 1304454181217503060305537715354187874050131536867598999431347951327\ 23110088133843702703*c_0101_3^8 - 277403431221023245843512141327843\ 090657201220610510533798626895315895859013498667717313186042102064/\ 1746396731130445418121750306030553771535418787405013153686759899943\ 134795132723110088133843702703*c_0101_3^7 + 4826648128536388569550353611749603136129738316204753965064232970007\ 12484338615588942398939739515583/1746396731130445418121750306030553\ 771535418787405013153686759899943134795132723110088133843702703*c_0\ 101_3^6 - 140762299860800147805793611213396272869059630283015110076\ 164133154211037654915357828744725545400428/174639673113044541812175\ 0306030553771535418787405013153686759899943134795132723110088133843\ 702703*c_0101_3^5 - 22751303601033347738921732115832499841186895997\ 141618906614986490206416672498558276337617052837344/174639673113044\ 5418121750306030553771535418787405013153686759899943134795132723110\ 088133843702703*c_0101_3^4 + 20653454800047935660211561373339624619\ 168794797986471431723106354630121881093619697720287734577605/174639\ 6731130445418121750306030553771535418787405013153686759899943134795\ 132723110088133843702703*c_0101_3^3 + 3016118523008803392978381994458630440230428662668337265654585325326\ 050698157105265605114532406189/174639673113044541812175030603055377\ 1535418787405013153686759899943134795132723110088133843702703*c_010\ 1_3^2 - 33254492696044913202337590995296799380555308934745733010424\ 48288346673614936361860100178117095856/1746396731130445418121750306\ 0305537715354187874050131536867598999431347951327231100881338437027\ 03*c_0101_3 - 10630687188264323751022923822325453961180941467332717\ 74228565575590555538875688953571060938086880/1746396731130445418121\ 7503060305537715354187874050131536867598999431347951327231100881338\ 43702703, c_0101_3^33 + 6*c_0101_3^32 - 23*c_0101_3^31 - 40*c_0101_3^30 + 263*c_0101_3^29 - 85*c_0101_3^28 - 1110*c_0101_3^27 + 891*c_0101_3^26 + 2868*c_0101_3^25 - 3666*c_0101_3^24 - 4724*c_0101_3^23 + 14610*c_0101_3^22 + 22716*c_0101_3^21 - 33843*c_0101_3^20 - 123097*c_0101_3^19 + 129413*c_0101_3^18 + 139188*c_0101_3^17 - 237705*c_0101_3^16 + 20596*c_0101_3^15 + 237245*c_0101_3^14 - 313347*c_0101_3^13 + 239302*c_0101_3^12 - 109349*c_0101_3^11 - 11997*c_0101_3^10 + 58244*c_0101_3^9 - 34249*c_0101_3^8 + 2133*c_0101_3^7 + 6244*c_0101_3^6 - 2253*c_0101_3^5 - 479*c_0101_3^4 + 416*c_0101_3^3 + 39*c_0101_3^2 - 44*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB