Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 1225315733] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0880 geometric_solution 4.78348608 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.674058103138 0.064409488450 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 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.855813593458 0.076068330208 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 -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 1 -1 -1 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.763162107574 0.224215243455 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.032285758680 1.030738530100 3 6 5 5 0132 0132 0213 2310 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 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.320728979618 0.755445312956 4 4 6 3 3201 0213 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.320728979618 0.755445312956 6 4 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 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 1.070820530405 1.029241655566 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], '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' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_5'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 4497960749450293802002046410999130310566413290856119346423057764227\ 4599202867899730035566334/21300455416968015694362566939891279647443\ 84127621935443781211234750495798354375468381893*c_0101_6^35 + 1943481580160509059909224598144267175375941880537620207116919995854\ 61541056962576694272307413/2130045541696801569436256693989127964744\ 384127621935443781211234750495798354375468381893*c_0101_6^34 - 2907503300385938295268791106424052152911244667288690719293063469942\ 815464314023140951515344373/213004554169680156943625669398912796474\ 4384127621935443781211234750495798354375468381893*c_0101_6^33 - 1477127333795952342459228091238917838923280430938213237038692074203\ 696948038765710731740974591/213004554169680156943625669398912796474\ 4384127621935443781211234750495798354375468381893*c_0101_6^32 + 4965064391663271176897367167482042641351123444205730799854467654985\ 583848249424842455115844532/193640503790618324494205153999011633158\ 580375238357767616473748613681436214034133489263*c_0101_6^31 - 1825339837303036734177298800812462126695700853882189106776051854538\ 703629428088315763747098631/193640503790618324494205153999011633158\ 580375238357767616473748613681436214034133489263*c_0101_6^30 - 1795673851997781581633775481478858577599720957772987595031282173999\ 62424647568984854183259477234/7100151805656005231454188979963759882\ 48128042540645147927070411583498599451458489460631*c_0101_6^29 + 1218566474324457366912557455531530177837719574752165292654015708850\ 87560893122390659181980659662/7100151805656005231454188979963759882\ 48128042540645147927070411583498599451458489460631*c_0101_6^28 + 3471189149466299412513678598605129180377196083257785477484772293161\ 593001045427661819723995948189/213004554169680156943625669398912796\ 4744384127621935443781211234750495798354375468381893*c_0101_6^27 - 2606030127084993525614828100421454521109595193536349399068092661444\ 655197111153059770481050925464/213004554169680156943625669398912796\ 4744384127621935443781211234750495798354375468381893*c_0101_6^26 - 1510049702152828077653047553372965106150521102283437944737042633248\ 378098868198405445663748294710/193640503790618324494205153999011633\ 158580375238357767616473748613681436214034133489263*c_0101_6^25 + 8865016142536441585642959858396577437095242138622153961713731574152\ 96269662545651999145682400130/1936405037906183244942051539990116331\ 58580375238357767616473748613681436214034133489263*c_0101_6^24 + 6010076713025162608201059269138733025351194242820141188051172386798\ 7553882246008624259222854631315/21300455416968015694362566939891279\ 64744384127621935443781211234750495798354375468381893*c_0101_6^23 - 1672575514440480890737236684956292585207793815968027336910095333037\ 9040322775986464884422227526873/21300455416968015694362566939891279\ 64744384127621935443781211234750495798354375468381893*c_0101_6^22 - 1559609693452454425118985065607173485345474533191069961987952078360\ 83009842346170836036717808910556/2130045541696801569436256693989127\ 964744384127621935443781211234750495798354375468381893*c_0101_6^21 + 2162714414995887459597078942461596006876832933165251690843847635439\ 490478104197031496130210502040/213004554169680156943625669398912796\ 4744384127621935443781211234750495798354375468381893*c_0101_6^20 + 2964469405326004254087998506573664728240639071969987387851018392069\ 03340463965405759662632815883950/2130045541696801569436256693989127\ 964744384127621935443781211234750495798354375468381893*c_0101_6^19 + 6194239600299940632212032087834903882215271145764993799520523539559\ 436267111212367174235341460497/193640503790618324494205153999011633\ 158580375238357767616473748613681436214034133489263*c_0101_6^18 - 1333943718865746242326575528851801252672286311185433842391861805125\ 99451943285446636443688360477016/7100151805656005231454188979963759\ 88248128042540645147927070411583498599451458489460631*c_0101_6^17 - 1878872567092879859342549829434949234967542470971023007736668809378\ 02912266517666513153868128469643/2130045541696801569436256693989127\ 964744384127621935443781211234750495798354375468381893*c_0101_6^16 + 3439728592784189122700067566996560443077306556280635007752638538801\ 90639636119247215123719890847318/2130045541696801569436256693989127\ 964744384127621935443781211234750495798354375468381893*c_0101_6^15 + 7840609507725153250995901059378780814783903879722680734286414809349\ 4966975424950208324389422385626/71001518056560052314541889799637598\ 8248128042540645147927070411583498599451458489460631*c_0101_6^14 - 5829224401689420426148605135356693976143621444888861747757700283434\ 0754062049142253015799470716146/71001518056560052314541889799637598\ 8248128042540645147927070411583498599451458489460631*c_0101_6^13 - 1599092914906845867194760021769604669014104312682988615777891137042\ 26630044156421893710377921344710/2130045541696801569436256693989127\ 964744384127621935443781211234750495798354375468381893*c_0101_6^12 + 4843430956613318091818722117810803859574467762874636036377755955965\ 1580717781867084369365487185932/21300455416968015694362566939891279\ 64744384127621935443781211234750495798354375468381893*c_0101_6^11 + 6287301004422646366013469138917190237118458667359244568956928750586\ 1995880176274236958756491935266/21300455416968015694362566939891279\ 64744384127621935443781211234750495798354375468381893*c_0101_6^10 - 5453939119196011364864637905932774946090441982477268779171728856490\ 037187955216161968995642480385/213004554169680156943625669398912796\ 4744384127621935443781211234750495798354375468381893*c_0101_6^9 - 4874344882110817676766400957431294118739734382323209942634919342258\ 663444382095555227936420914661/710015180565600523145418897996375988\ 248128042540645147927070411583498599451458489460631*c_0101_6^8 - 4021647714287847942570070804022018307370540477947913438861571935490\ 29858211103006544082645522039/2130045541696801569436256693989127964\ 744384127621935443781211234750495798354375468381893*c_0101_6^7 + 2026874156144648738767381357466623421845097723969711535505107420952\ 906819419210353641770215681995/213004554169680156943625669398912796\ 4744384127621935443781211234750495798354375468381893*c_0101_6^6 + 5492281397988480797012228801637801655088942024033900275262452405038\ 8305057095303300512463437339/71001518056560052314541889799637598824\ 8128042540645147927070411583498599451458489460631*c_0101_6^5 - 5635352403411330339046473470520016123581249899908586345470331208264\ 1393815763417843441659363428/71001518056560052314541889799637598824\ 8128042540645147927070411583498599451458489460631*c_0101_6^4 - 1516985988979567083829463827007045733308115791827813499370916031962\ 4287102592089464460948159400/21300455416968015694362566939891279647\ 44384127621935443781211234750495798354375468381893*c_0101_6^3 + 8113328282467189057915117489629232115775459436695515351339244895679\ 214476642591236735337534923/213004554169680156943625669398912796474\ 4384127621935443781211234750495798354375468381893*c_0101_6^2 + 4612881118194496780148553022477016467410892503999679016001239023269\ 18719867777660241346913017/2130045541696801569436256693989127964744\ 384127621935443781211234750495798354375468381893*c_0101_6 - 1741842284427166091283751278824397192419485121574803816035733847437\ 59994202996565381799696201/2130045541696801569436256693989127964744\ 384127621935443781211234750495798354375468381893, c_0011_0 - 1, c_0011_1 + 297385672096894028392060945487639256804320300458782483002028\ 156276182618087391829369038/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^35 + 1326022498731779591622185796448405755875917110560774368560736101252\ 902998044904984984441/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421*c_0101_6^34 - 1892514485793627517704699346958076818215840535580559559853404751914\ 4041836549444608838812/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6^33 - 1186099684468432781783055438729820707485992904432832941317295296970\ 8684889283087133311389/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6^32 + 3521668090816148344211627903757162773772115973163536277348324077610\ 85161363817418485411837/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^31 - 8919883139916167763756639617187866058597159568132799209130626818071\ 3975659864447722812354/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6^30 - 3437437306321516445959338898316723473549944107435570589489257179756\ 279120636169077844008798/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^29 + 1916694649458939994997076098600400608046767412200391104112576102489\ 929263651582459680746719/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^28 + 2186977492073250654591062129201342142932850100075007925221727589657\ 1502813861010264136820640/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^27 - 1354792602083554888167169158130697435785971489581091081171076948731\ 2251687263019238573939564/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^26 - 1030520255302010512774811683738075775207234525137010363874813218487\ 15316032455073242912718479/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^25 + 4545585011075544490296248930905517503835437690998045625907184230131\ 0727316293875220595060539/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^24 + 3625668904075528428933786804042014906477342095719942482011512885434\ 85890323892777883305245804/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^23 - 4490365698542515666996450407418767901163861525922162847521116517724\ 8858994797954019336613667/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^22 - 8917547097974927019280049637169864289101256554166026455444575364899\ 28885405048612146126112137/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^21 - 1190762009442525375820068551681190696823396786618733762423283061419\ 86325961599399690685986960/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^20 + 1582299205668090868984359489615346829774693252562112284675841528196\ 832794741556273315187292383/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^19 + 6019087431712906355049130964882995065614897878448762982791376284498\ 47671855731236554320397275/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^18 - 1916046167400945343625549892662728822978563512633517692563920579430\ 845645376164060324513137564/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^17 - 1226587833531861019416713535745654856100951528870456379442755108512\ 237376494326221553644960843/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^16 + 1312186474859735524539240217760550701922799763332177743293596457473\ 242615516825781177595720721/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^15 + 1181321471090942308084027636784771928595612895478546850992094004289\ 347706352612128611564448429/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^14 - 4373399743458128767996749890366276134872661950788249406518188373122\ 71121977732241052165125019/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^13 - 5639302248130750889070729743459358391579518215627798891792172990285\ 36226859614231227529757847/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^12 + 5375369451085263584714817671413803516282004403372937177811643690220\ 3738727210621911102043230/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^11 + 1325749319032057451240299274368442902332775049578685565831201296911\ 37426263922269308385282911/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^10 - 9826346789850446846789750669566332686017246530813910312647576114927\ 57697650065705346831152/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^9 - 1422174971834580136194800902671743842886160645911274649349721763404\ 4717835464839515108270015/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^8 + 1501114215047505309129525764668530452714412033581804205314460649280\ 253395215840709983529692/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^7 + 6332057464628126805812255155079447787189315311215572655679072789212\ 21023193712982722286885/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^6 - 4913061509187663809351512156977712241753819064613026424693852581470\ 97692796017038135229555/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^5 + 9975084379312277885253609549144594514700224594289021892680153308301\ 747364571555983818137/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421*c_0101_6^4 + 5351491550567946512859071296475986529381574333951118467832205599547\ 3926674401816964643696/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6^3 - 4195265554033574010051356015426580764569362110163100851700101805787\ 424408659592327264486/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421*c_0101_6^2 - 2012738401205035665014811602773112869960316770294223058423950474260\ 558235802239472703434/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421*c_0101_6 + 2159251935377460373304653161822506235231785376887563766196988339808\ 42705674995229479681/6454683459687277483140171799967054438619345841\ 2785922538824582871227145404678044496421, c_0011_5 - 169017781287381140358641290228509116704071375552996890587698\ 4485574812881708083814702438/64546834596872774831401717999670544386\ 193458412785922538824582871227145404678044496421*c_0101_6^35 - 7306806182719073603856190324765241992081057061030498032056337062314\ 674792955958711229883/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421*c_0101_6^34 + 1091289952751802678362819995550026138844963663670193583799325896292\ 34444376964290625302642/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^33 + 5527191732918300876227815809319758709787524357794875455701022232721\ 3492330446459484815189/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6^32 - 2045258307688792322367491487222444670748233354347798368452679788889\ 099443473254344048645204/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^31 + 7542434939978452337104930554365257241450500696589573654395599751679\ 70939098759523674309261/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^30 + 2011579300896348210473837892699855002312884323304438394025743992067\ 9561079047008312283993206/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^29 - 1366061898538655579234432945663015278316607450003465177778654349776\ 5915770672316673110877207/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^28 - 1292067351583422767092820288446890473773612988230452034086472916378\ 08319852324914992516223025/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^27 + 9695233401526113825078282915825589098944029740604184346372827085148\ 7250737620089064713330431/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^26 + 6163302994587041568447064554939307074025949941827182480761972874164\ 39055894257377996723096162/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^25 - 3601970090867889080321274965752099602455590686980782104241506899429\ 80564335417293090699633174/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^24 - 2221017637610610423397679606894469472331253985752292900544025529908\ 474646468628672238296109012/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^23 + 6073366915256270791140478553732714197391428855734271117786994455814\ 06310354454351097824889211/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^22 + 5726639916465067521241972736356723058675976262554846411027134722085\ 411665678777992229678542358/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^21 - 5382748114563411385340553836673974524937329283377975089910584965868\ 7561821974444945648429300/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^20 - 1080383099582482388655249112576422260733945840517818228116711658028\ 1969255195938209519887897522/64546834596872774831401717999670544386\ 193458412785922538824582871227145404678044496421*c_0101_6^19 - 2533539773285251296919958312371644154283123964625733377518673756879\ 541716984339677798135054250/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^18 + 1442958561294395961703889828001857931275129258659524853928101398378\ 8405055949668109042527371449/64546834596872774831401717999670544386\ 193458412785922538824582871227145404678044496421*c_0101_6^17 + 6850583882122231461935655885293627836925393844682646952528099037784\ 812880638822008289535606767/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^16 - 1216890058935001790192864948692881866466707048444627858901554110841\ 4948510596854296056845975004/64546834596872774831401717999670544386\ 193458412785922538824582871227145404678044496421*c_0101_6^15 - 8371333083110604846722642651640924104966980725693604159135212313444\ 175338910115847722954745917/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^14 + 6028071418882880366927037332636415757933412304021142474917017044996\ 070384733307085245939447805/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^13 + 5522887829646358842800524935773757927316691786881511974388500187946\ 619730183318781557272827325/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^12 - 1625263570468456131172003504128318571520552458735547556381403378831\ 102361541019952070121115429/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^11 - 2102484293563552818129150367235305222894964705088727614285233380619\ 851599609155295897905277236/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^10 + 1815438540178018715968778770460756312529952564743581862046412028703\ 46762378552196207778600815/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^9 + 4746614847088708870697797111854561262835384716793544478665617010447\ 87201622920433596777416538/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^8 + 1110518935819277912516495871701171289186623839722600203872905546879\ 7698831424260559260838907/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^7 - 6433764693331889687194964329397023131436790676750825909525233806530\ 5705893751598815462447958/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^6 - 4822343712996834542645517960935878576525642475141382438442339467554\ 583116627795680240036542/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^5 + 5273391255501187963151941259592782567864513997342018297589262104592\ 204489406542760761374968/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^4 + 4374310382580340209944837909184447572628973662516997233131555922124\ 14453207050883268954234/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^3 - 2486758600428024385431458479441156479859929191241746048079777244141\ 63942141120244351978525/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^2 - 1325667740741421348068765283136140697498273022018947809689108792327\ 3869640530135519740245/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6 + 5257346834287342979004370863195265787069434007474695914218399754288\ 227370530338697629508/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421, c_0101_0 - 231273805073035479854191410934001603364032988200527783172044\ 4959622659437882696561059992/64546834596872774831401717999670544386\ 193458412785922538824582871227145404678044496421*c_0101_6^35 - 9850437453727920812263443263318497960714272163218852290333637309900\ 340406944223559159648/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421*c_0101_6^34 + 1500784707996230710767629086626590322457135674563406178298330695320\ 18472948392859142341944/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^33 + 6661987354902889441169814228702962123068748161974720946450343597139\ 3018729831882408540604/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6^32 - 2810623721799146850979611270444296272879657841893872054330598925284\ 666395251713342199843310/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^31 + 1204944349859539974448567421064192149957090722651674883831331734398\ 451239178810399222896639/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^30 + 2759435605244929789522694371331995453137705496625286478617034178276\ 8834981410338657852781011/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^29 - 2045987364149988488902480530374929887933243656966150069723505060626\ 9364631180134927254024131/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^28 - 1769437445544072588809733143983393195375701685956676424047786348279\ 11858398209127108899406805/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^27 + 1444516572716772520387847932680496440164839445236705365150161397078\ 19097951512459050613237403/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^26 + 8435420616483620840140591527491081890478588051233468949428568578651\ 32508352273890903944829054/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^25 - 5504291625048631777340024710498636199254083595407693193680288013210\ 67356708302312096135377793/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^24 - 3049060027949414998601284168283322750793217089151083444113885923051\ 693387306015332805313032813/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^23 + 1035527029358470300949843287300131769748304885503307274118160469190\ 389423507156767915788260784/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^22 + 7929857802784614342519792207560793092222859312048052116340104641799\ 990362088518575298083808612/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^21 - 5657501046215216169811361025320508022583545520032990133819102743750\ 93710195244107375457184486/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^20 - 1514053323859163409536512907496119958833736782231072403589592710267\ 9282735654330435258612350458/64546834596872774831401717999670544386\ 193458412785922538824582871227145404678044496421*c_0101_6^19 - 2636732426810778754324337803193616941760285067145169225640496442628\ 444716802404065031217496521/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^18 + 2060484816789966888087869742480559699249741759344260619422997663859\ 1293116696503552572507008372/64546834596872774831401717999670544386\ 193458412785922538824582871227145404678044496421*c_0101_6^17 + 8480078015606135232375570021145397745192212467629169107964196928635\ 673596777461459946630768080/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^16 - 1801066534076215049628975774972053619670001266092474440376743646582\ 0304241564124785605007875468/64546834596872774831401717999670544386\ 193458412785922538824582871227145404678044496421*c_0101_6^15 - 1105947671446056234801916506887988730943388138757628155377431855594\ 6371143651503525075609200403/64546834596872774831401717999670544386\ 193458412785922538824582871227145404678044496421*c_0101_6^14 + 9470907985736642645514136183988742667570980754143687954009393329144\ 520343000583273316536343624/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^13 + 7676066452033875918397897451387957215020345816526969125520206132540\ 157523110014091643093387859/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^12 - 2825078867640967891374589408099169453270824011607513657602360469823\ 920707504061844536022983134/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^11 - 3069210583907270087022276895401837935572513284846998484280496486061\ 398834182825091292476629631/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^10 + 4068031074348093008923789392556016561237402809601766217737783335840\ 67964573169406553316208171/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^9 + 7276547118586680875047042974124477154524668080089416848895564408127\ 17900366222779823510933364/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^8 - 5606176984359752788914610998880846028472754593140556189319469289561\ 488459421061235547592689/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^7 - 1032379273887144709572417415847895609197346843212494686799827458893\ 80578691934116545972316951/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^6 - 5544898808280630071509732286682972739354887847645754154046774708491\ 711137991331493257185924/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^5 + 8777495500997915977477735932509271536645680872028904143832151375740\ 155366927435513807032453/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^4 + 6148292305384967612686269125977104843499014973746364248891525016420\ 42929682630265929647027/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^3 - 4227908660870447016849982965726637667425949899020972413912752362090\ 38071229575375793318221/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^2 - 2021353856519623751982342849376364595447123536721379223072123071970\ 2352001025217295418241/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6 + 8973353895972013204019422121378909786054166565841381363527441056059\ 009550219486377767708/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421, c_0101_1 - 133851050549084593701047696339359766716397623419624783435286\ 63268250175452461756502929/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^35 - 1885911353605507835335533350622354862545284149911902505846708451251\ 8808523971773276999/64546834596872774831401717999670544386193458412\ 785922538824582871227145404678044496421*c_0101_6^34 + 1128887822716650586955304384560853816604444775227594736302042086454\ 459952642438692293779/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421*c_0101_6^33 - 1631447441758310395122251958936938339214574014166552442465303841407\ 484045395728268398605/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421*c_0101_6^32 - 2349738147728239636626114086975078762115238758224563983260615258379\ 3163997820755876688330/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6^31 + 4796212658741722490411251981231113258042494644674600078131241826457\ 3969483684028001295285/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6^30 + 2552504479218783644150704367796919350929988674685032920733192044134\ 85035626734521379372891/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^29 - 5757222883113828518125803116910743460951389025391452525389100344865\ 93501432410129338018886/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^28 - 1833230906169798361033239230819526406725757720296431182726695878853\ 116949701948951843575259/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^27 + 4123338984380235278839693630815751138558615349403917011903591721943\ 144753907097248352049713/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^26 + 9930247643129147049393475081131163433118691618380244175859022488817\ 777072069573370783683920/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^25 - 1991299645974045879008235473979738821637607250083500952404553025088\ 0785052770654281524274984/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^24 - 4408974090362383912592482867256081371632939537443588318582595997196\ 1705711820444457093540165/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^23 + 6354979839011483540811679112029708488982149432741962109503275846490\ 4844014051539414293523008/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^22 + 1543839518797851744068012486101532243936246278739455118760500771858\ 72772394739211106354431184/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^21 - 1214184337742562243061801005322715549031011900595231212531809808504\ 81696526356765434187784437/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^20 - 3850687635810187959614675413274183149948666732886096738124238531818\ 36193789094916927366273782/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^19 + 1247456957409749334273680691957553078327212599802750078106893606181\ 01415335368771525432701370/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^18 + 6980605281308381082879977277700001214691013637882725071534056786414\ 21357143594929291381478838/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^17 + 4077538697859942772687189402034543650525047343588743526179472184171\ 4569175568668473921755563/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^16 - 8685801194939087419033802027649144178159321505742615856688688482477\ 23024395582608424811667116/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^15 - 3506301461342091123475076083983843409168704056022087906009597390077\ 84978392371849645513262630/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^14 + 6182067690507450809221613650699598888790524389545786808106815207237\ 61680138478806257747554581/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^13 + 4325103684539541843552540371766564183773587815491554477170708502957\ 97114768972286841188714667/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^12 - 2153643097713425515425321994134580621647442483345105171598039616618\ 19529356672153192898076869/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^11 - 2382756076930338919182051925104459981641350356134607199652704963531\ 07403722824704493322399482/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^10 + 2276769777113588541788341508154384912680575987341869363742452141901\ 2260838343195751575140763/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^9 + 6644963085894469849849182241191457177482920980222973659819778243815\ 4961357633584200333665323/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^8 + 5162691414137908937739829582087103727839184492372732332542472476296\ 661017048887017020928649/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^7 - 9687618805755889859836007544186635564511657230352980369663368076731\ 811682529291211261576484/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^6 - 1478577337654589613882120237464988818883791091705090387296425014065\ 557471587397399539830895/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^5 + 7932978446845540991528984166463135981966696311273259931122802514588\ 41767656034662937536026/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^4 + 1314524325338679827678789840424253334860716949825932622908395343300\ 18708834882617279537050/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^3 - 3793737099210346832561744653911878050605569797065997253880836154903\ 3621300062959771170773/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6^2 - 4104639090936592309091684619469489091029162489285671594711050451636\ 311888296503303995052/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421*c_0101_6 + 9156765368656009449329428824996726729345962793159189970191829644751\ 74667644334481955211/6454683459687277483140171799967054438619345841\ 2785922538824582871227145404678044496421, c_0101_3 + 635204508730982132771075848317751505025224283214376697860659\ 547623104816564661207979109/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^35 + 2851588812075731018846469108392581253576857195658251752788195010036\ 852059798498417788403/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421*c_0101_6^34 - 4057861596397698609291546485901697002716343274008896866518432695735\ 9496086698762968359754/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6^33 - 2767648678542471135725520803395464005906554152960571070916400417707\ 5759587967817796881899/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6^32 + 7666255647750651309563174600642488219102039433410209245128789776147\ 55989814693298493537523/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^31 - 1553667787402038322091954779481731932027235158686196518440728214680\ 37301286418595508434957/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^30 - 7633209365520899051373145001981975303969068308340933404326262007945\ 547885423115391085572948/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^29 + 3893559693530724801310549521362490815873310639525227020987280593092\ 976667968845207671117098/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^28 + 4966143334711559406212420675467106621430501113767272118638834282437\ 3040233542604571131441727/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^27 - 2859909821749803292329375375180239333621768353454205249020487471631\ 4207727554679987811460052/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^26 - 2392350440821434689459920386362926747097517368003719206742974360370\ 27718192639898458495062240/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^25 + 9845189960286451438730566341610802500885401077865614708655879268429\ 3576137188483074229819341/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^24 + 8643697307408840131490013949172127423717791671919841964609180337635\ 80629352355535215553298699/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^23 - 9561354824160297196970712785674680119249179072540823989879919030018\ 9090727928817355258240729/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^22 - 2215311838820127418713708319335920993047719491413466954191738863729\ 872597582032516621690470946/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^21 - 3244021483354002405627250144206058140034547716467265651403839978586\ 44141388972512894001461578/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^20 + 4127024924548391698373436676291718986059914688170274830021505348731\ 793049992521109242022673925/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^19 + 1611093193983058944352920466986608045128002079432875927438782932988\ 726712806230882588814952027/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^18 - 5381829948157429984354976671662248955807844963405334351491724660938\ 771719460593938516738107205/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^17 - 3474795465567580891193567202310467560975238250467323123407864871251\ 073943763727068542219750113/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^16 + 4298766830713339734028433436094348577284016757514753807576872432006\ 290685319474769595666944927/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^15 + 3937983008012349887915736454718878210458906841280743524013538804415\ 022719255739297470446964148/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^14 - 1869297929908538502169015444247019677756451989987582250977489493257\ 306165306920244796451883507/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^13 - 2492944674158810116148176180506344205572848412276384507284408241756\ 880460472217248233758644610/645468345968727748314017179996705443861\ 93458412785922538824582871227145404678044496421*c_0101_6^12 + 3318984401866918318064140314036413720219333927216859992932252360055\ 55827666616435395986289177/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^11 + 9127294446862318686879814132978330435217974189709588623947657752999\ 19876895777274170712627714/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^10 + 3900890575852614418636798849667550039664994620732424518211844715362\ 5281031486359512885495940/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^9 - 1949271490764721881881102229807131112241200000399599603382733959026\ 22173818287857766756202562/6454683459687277483140171799967054438619\ 3458412785922538824582871227145404678044496421*c_0101_6^8 - 2705567360883449097963163230967555891902671018806658915537030963597\ 6270941325065133549281975/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^7 + 2426137780021483994587341939878146513427906180702985713402872122694\ 7657009532895734516253574/64546834596872774831401717999670544386193\ 458412785922538824582871227145404678044496421*c_0101_6^6 + 4455981323105544508541889752176780697332692954556197583883805752448\ 905934381487260712749972/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^5 - 1804452629136843240581909331589300269877451539483397842270558955885\ 085890010305647663582715/645468345968727748314017179996705443861934\ 58412785922538824582871227145404678044496421*c_0101_6^4 - 3227994914752797750086148170667991625386818012026138652706219261237\ 89028282083731168863864/6454683459687277483140171799967054438619345\ 8412785922538824582871227145404678044496421*c_0101_6^3 + 8022840564582603342070961515345465655902489487729772015478674902360\ 8317164119840471904787/64546834596872774831401717999670544386193458\ 412785922538824582871227145404678044496421*c_0101_6^2 + 8904582762964718362662730721300220501116395356723394548003712803073\ 881899976902288224615/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421*c_0101_6 - 1719326362654336152549582073210132809082499980294811650876857308362\ 875246893703416583036/645468345968727748314017179996705443861934584\ 12785922538824582871227145404678044496421, c_0101_6^36 + 4*c_0101_6^35 - 66*c_0101_6^34 - 12*c_0101_6^33 + 1223*c_0101_6^32 - 836*c_0101_6^31 - 11801*c_0101_6^30 + 11943*c_0101_6^29 + 74258*c_0101_6^28 - 82339*c_0101_6^27 - 348807*c_0101_6^26 + 332860*c_0101_6^25 + 1257864*c_0101_6^24 - 790722*c_0101_6^23 - 3316819*c_0101_6^22 + 1136227*c_0101_6^21 + 6493472*c_0101_6^20 - 560882*c_0101_6^19 - 9223790*c_0101_6^18 - 1354979*c_0101_6^17 + 8762737*c_0101_6^16 + 2766379*c_0101_6^15 - 5354574*c_0101_6^14 - 2262890*c_0101_6^13 + 2091199*c_0101_6^12 + 1013235*c_0101_6^11 - 522417*c_0101_6^10 - 269483*c_0101_6^9 + 84407*c_0101_6^8 + 43959*c_0101_6^7 - 9233*c_0101_6^6 - 4395*c_0101_6^5 + 725*c_0101_6^4 + 249*c_0101_6^3 - 39*c_0101_6^2 - 6*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB