Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 3583265045] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2137 geometric_solution 5.62079943 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.239083619582 0.580294418198 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 1 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609415183777 1.143027383347 1 3 0 4 1230 0132 0132 3201 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 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609415183777 1.143027383347 1 2 3 3 0132 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.593969668397 0.946859938880 5 2 5 1 0132 2310 2310 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.839964716637 1.622988351683 4 4 6 6 0132 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.207112734766 0.194819905756 5 6 5 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3.389927695493 2.507743097770 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 1906899583331514502300559844936884785741170191179180936172577511721\ 42895508394288834402472499586161/3422375867269082875801357686901011\ 2311586996689347750032214632976282287992193852279693869030834*c_010\ 1_4^33 - 5198513526240834329118676093263258562129274070014182199267\ 18606673021356774139992694084625429706159/3422375867269082875801357\ 6869010112311586996689347750032214632976282287992193852279693869030\ 834*c_0101_4^32 - 3789702019551754976799851934758492378210490464969\ 804398443012163336553733577311249621928204283351305/171118793363454\ 1437900678843450505615579349834467387501610731648814114399609692613\ 9846934515417*c_0101_4^31 + 137521364396212740762423321568105544981\ 69142981375927758200576188841078255983799461257654241192578071/3422\ 3758672690828758013576869010112311586996689347750032214632976282287\ 992193852279693869030834*c_0101_4^30 + 4746056190964575646906866720558462215914647379147162739862774588633\ 5452601324528120672648354121820134/17111879336345414379006788434505\ 056155793498344673875016107316488141143996096926139846934515417*c_0\ 101_4^29 - 16082294932806978799718867393509132283317154787159556595\ 6428946568621619433043129166575429826092187816/17111879336345414379\ 0067884345050561557934983446738750161073164881411439960969261398469\ 34515417*c_0101_4^28 - 49667554953455579067010860286673793991905834\ 9934234238061295395711754107576864567775218413052716828960/17111879\ 3363454143790067884345050561557934983446738750161073164881411439960\ 96926139846934515417*c_0101_4^27 + 3636611960993424943068693857730314424308531373304157412263050642733\ 131381090790075238825911479792956569/342237586726908287580135768690\ 10112311586996689347750032214632976282287992193852279693869030834*c\ _0101_4^26 + 111568553377545304355912402232684679073491820574902112\ 40265087775237001143705022339569997093519111117155/3422375867269082\ 8758013576869010112311586996689347750032214632976282287992193852279\ 693869030834*c_0101_4^25 - 1309465361272638506410713357530571153731\ 5871121216740047215410616428944651059633959292589318518527318179/34\ 2237586726908287580135768690101123115869966893477500322146329762822\ 87992193852279693869030834*c_0101_4^24 - 3372949841119426361703985912277012686046940418555834817443775436200\ 9771688499023517513387763533004840375/17111879336345414379006788434\ 505056155793498344673875016107316488141143996096926139846934515417*\ c_0101_4^23 - 73342736335427408822623744767762661860475202883201681\ 5376527799668215661984859812200202134213078803915/18012504564574120\ 3989545141415842696376773666786040789643234910401485726274704485682\ 5993106886*c_0101_4^22 + 176173899122419301866443935353681645807411\ 325043707581428083287155400302115675035382140827752270069095157/342\ 2375867269082875801357686901011231158699668934775003221463297628228\ 7992193852279693869030834*c_0101_4^21 + 1215266244929285809557921013316236158993386004752326725300287782365\ 00674377262698561991445583711515304751/3422375867269082875801357686\ 9010112311586996689347750032214632976282287992193852279693869030834\ *c_0101_4^20 - 2800494782067183253540663370784104700026846115205033\ 53299386612249327030550910345049380059106310354361867/3422375867269\ 0828758013576869010112311586996689347750032214632976282287992193852\ 279693869030834*c_0101_4^19 - 1263558259092018605863504174116658454\ 5372676849978493562918700014213451376884784108345113746468357607845\ 5/17111879336345414379006788434505056155793498344673875016107316488\ 141143996096926139846934515417*c_0101_4^18 + 3362853196019274854544642112845177417839195316295241347844824580293\ 21540649285974802617730196880231182097/3422375867269082875801357686\ 9010112311586996689347750032214632976282287992193852279693869030834\ *c_0101_4^17 + 3170016868730651837479910608115892949399233281921476\ 41226240725503736205870137353231779788314403221986215/3422375867269\ 0828758013576869010112311586996689347750032214632976282287992193852\ 279693869030834*c_0101_4^16 - 1517669648924242540542990177999073258\ 9272889027090647798636145711939119512914122642784903818581477533965\ 0/17111879336345414379006788434505056155793498344673875016107316488\ 141143996096926139846934515417*c_0101_4^15 - 1322789931074342112176997252233906164801943591417496690338313772380\ 51702673708209992540431129048693307384/1711187933634541437900678843\ 4505056155793498344673875016107316488141143996096926139846934515417\ *c_0101_4^14 + 9192046883673329200640967106271216661259578794402940\ 7916781482921809948844882338753859638624404081716938/17111879336345\ 4143790067884345050561557934983446738750161073164881411439960969261\ 39846934515417*c_0101_4^13 + 30659661524504360419450362659698775505\ 63395448940707661962010469754908200044001530365448109951688577443/7\ 9590136448118206413985062486070028631597666719413372167941006921586\ 7162609159355341717884438*c_0101_4^12 - 7126330680060401473285394652349997766214940591364060611792339633723\ 7908023205892289554993765941606636105/34223758672690828758013576869\ 010112311586996689347750032214632976282287992193852279693869030834*\ c_0101_4^11 - 15590101580412743873557827445705880571040009206922138\ 430195333693425643727424397148630384000919862982457/171118793363454\ 1437900678843450505615579349834467387501610731648814114399609692613\ 9846934515417*c_0101_4^10 + 937245266305137946039927494436290988664\ 8552018378022521091522681175478791018565330274429680643508196014/17\ 1118793363454143790067884345050561557934983446738750161073164881411\ 43996096926139846934515417*c_0101_4^9 + 2440408180169826884306076425007822736257311272153218795044939377608\ 7825314079393678446012340751736595/39795068224059103206992531243035\ 0143157988333597066860839705034607933581304579677670858942219*c_010\ 1_4^8 - 11551055430482339312551845869430830171268495708000145685675\ 58025853020206226535613095855886911038102048/1711187933634541437900\ 6788434505056155793498344673875016107316488141143996096926139846934\ 515417*c_0101_4^7 - 79167599175404187610711088468556054108235349884\ 992199244899317053858605178705051925609109864979183777/342237586726\ 9082875801357686901011231158699668934775003221463297628228799219385\ 2279693869030834*c_0101_4^6 - 6892743259232485554107600613249573232\ 51092790886900183915819565514862442556265359330603470324467895129/3\ 4223758672690828758013576869010112311586996689347750032214632976282\ 287992193852279693869030834*c_0101_4^5 - 8419516195255880968211617789040613372353120310210978508136486820733\ 9253522938011013655686407544413203/34223758672690828758013576869010\ 112311586996689347750032214632976282287992193852279693869030834*c_0\ 101_4^4 + 100630541205434410050805312238215506712736742087264049593\ 894479533163180277394333026447507453670344866/171118793363454143790\ 0678843450505615579349834467387501610731648814114399609692613984693\ 4515417*c_0101_4^3 + 1372391601344517577269324545249552908371997634\ 8289739976387567048846487172140743354394971129174382785/17111879336\ 3454143790067884345050561557934983446738750161073164881411439960969\ 26139846934515417*c_0101_4^2 - 688539993576622688688448347292650438\ 8177021977234613516258833291683263545601813038959442492112464348/17\ 1118793363454143790067884345050561557934983446738750161073164881411\ 43996096926139846934515417*c_0101_4 - 7247642940757781567330708909332066938348639109729309066168015103685\ 46286147432116063303412177695797/3422375867269082875801357686901011\ 2311586996689347750032214632976282287992193852279693869030834, c_0011_0 - 1, c_0011_1 - 567814975001314839522113121120200872033046517355018972752442\ 10025915793268973360712643522623/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 33 + 15542228396914978851498415455751936049789129734675716030308115\ 5668373278081641495596149388674/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^3\ 2 + 225473853398975464227358161994809017695426845650650841273937294\ 7087393228076884211677781176628/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^3\ 1 - 411840269577475467770656629130211330401212817175639026485944412\ 2318329233272532590294372147085/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^3\ 0 - 282016199248733238883559227604146368842113370957001023154309235\ 47847891283402629043202065401905/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 29 + 96046645440802100373247254933197943555772238940067051625534447\ 388691784788712676217643235457596/497582999021384541407583263579675\ 9568419162065912728995669472663024467576649295184602190903*c_0101_4\ ^28 + 2945198947509809900118496437656653170473743572060363143327110\ 89481556336974267867457409209029534/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4^27 - 10852555769819387264797498128616681837485819037354236892548\ 56394208322648516045206373941623270724/4975829990213845414075832635\ 796759568419162065912728995669472663024467576649295184602190903*c_0\ 101_4^26 - 33081988983816319280209944800931601239061017294562098052\ 32683749916343624764870156423368920715228/4975829990213845414075832\ 635796759568419162065912728995669472663024467576649295184602190903*\ c_0101_4^25 + 39260746745809994894827173277626351623559619197261844\ 28444910973789494912361085056999592514798206/4975829990213845414075\ 8326357967595684191620659127289956694726630244675766492951846021909\ 03*c_0101_4^24 + 20021598840387331258644019161057223580699595142884\ 950498387718639317459876268872763123260582636000/497582999021384541\ 4075832635796759568419162065912728995669472663024467576649295184602\ 190903*c_0101_4^23 + 3970170958065412996776539633533651454183952714\ 805363187722273067232369512521139457933773420565249/497582999021384\ 5414075832635796759568419162065912728995669472663024467576649295184\ 602190903*c_0101_4^22 - 5236125544262074321562926628555371442941159\ 5605772164626851671304152411154792216672067585980906064/49758299902\ 1384541407583263579675956841916206591272899566947266302446757664929\ 5184602190903*c_0101_4^21 - 356424308559208285437110112229776163839\ 65544584399338737568705925886494498372170982695374001439209/4975829\ 9902138454140758326357967595684191620659127289956694726630244675766\ 49295184602190903*c_0101_4^20 + 83379642528902160042095390734518122\ 428875166924789775232259077366136008668295873382517424502444937/497\ 5829990213845414075832635796759568419162065912728995669472663024467\ 576649295184602190903*c_0101_4^19 + 7423371462189758329840544773255597029151670233383783131155776705433\ 4568262537813932321339850250828/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^1\ 8 - 100243290723911003585649872405760855645866143802214150337516758\ 185526368279277801373741819211440526/497582999021384541407583263579\ 6759568419162065912728995669472663024467576649295184602190903*c_010\ 1_4^17 - 9303580623222827849956881989340385213147964546697346291613\ 4880652693962428719365698948555527889178/49758299902138454140758326\ 35796759568419162065912728995669472663024467576649295184602190903*c\ _0101_4^16 + 904903862480535251173158588444024533770307591047402244\ 45979864234220547681344601456452307183677220/4975829990213845414075\ 8326357967595684191620659127289956694726630244675766492951846021909\ 03*c_0101_4^15 + 77490221455758824164024051230093103170664157695312\ 381577113519022781373371721264699699908083589996/497582999021384541\ 4075832635796759568419162065912728995669472663024467576649295184602\ 190903*c_0101_4^14 - 5474192009592170362993116788238139018244068742\ 7126966584348570240273967212884254730128626811532912/49758299902138\ 4541407583263579675956841916206591272899566947266302446757664929518\ 4602190903*c_0101_4^13 - 894674334716659695275352640941654079099716\ 919235884856556575130442433994631831817122834030239694/115716976516\ 6010561412984333906223155446316759514588138527784340238248273639370\ 97316330021*c_0101_4^12 + 21133037086336259061474498232141007801272\ 122248402509970374897844972944864638752671752372307681667/497582999\ 0213845414075832635796759568419162065912728995669472663024467576649\ 295184602190903*c_0101_4^11 + 9015545151530678327918681902243021646\ 839550586646971189574310118343960421942605011147535665601825/497582\ 9990213845414075832635796759568419162065912728995669472663024467576\ 649295184602190903*c_0101_4^10 - 5509155355060458124447068563495605\ 213535654616380539477946534854465072016212163996817555261278353/497\ 5829990213845414075832635796759568419162065912728995669472663024467\ 576649295184602190903*c_0101_4^9 - 1364061744166530468516130943253628804287355864119903997612860269816\ 4983815994715842212188074407/11571697651660105614129843339062231554\ 4631675951458813852778434023824827363937097316330021*c_0101_4^8 + 6685765917121147742512035394345179314338720864610543020088737875324\ 32505729967418074746779222615/4975829990213845414075832635796759568\ 419162065912728995669472663024467576649295184602190903*c_0101_4^7 + 2520563874067480003357979165254430608618138800203712357773484761051\ 5747998432303848456661361207/49758299902138454140758326357967595684\ 19162065912728995669472663024467576649295184602190903*c_0101_4^6 + 2041714769726951715323164853455826474486402485697168411925447890559\ 85227449136061595350182548363/4975829990213845414075832635796759568\ 419162065912728995669472663024467576649295184602190903*c_0101_4^5 + 2378563129496956526008625522168809312140248986782772468527356750062\ 8718681068650936209923134769/49758299902138454140758326357967595684\ 19162065912728995669472663024467576649295184602190903*c_0101_4^4 - 5896760667235027451482707173533617664153043403471476929117293460251\ 2222100957366732435951471847/49758299902138454140758326357967595684\ 19162065912728995669472663024467576649295184602190903*c_0101_4^3 - 7938367594309817708915232393791323467260287853309035524108973004112\ 584807104744648575675733857/497582999021384541407583263579675956841\ 9162065912728995669472663024467576649295184602190903*c_0101_4^2 + 3989224282046507637026372278267567104299411869084874731699915582118\ 514631893355583067944158474/497582999021384541407583263579675956841\ 9162065912728995669472663024467576649295184602190903*c_0101_4 + 2048509823506907731676637241965312887875217316711154608178844711562\ 16373542277728692539167089/4975829990213845414075832635796759568419\ 162065912728995669472663024467576649295184602190903, c_0011_4 + 104223185764711507622931296720057248962099729280723649197423\ 918126589932448420864989748480205/497582999021384541407583263579675\ 9568419162065912728995669472663024467576649295184602190903*c_0101_4\ ^33 - 2834890182116818273685652410792437940345525545155738144110964\ 28863254882701819895147909287815/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 32 - 41447839218724950987549228816899979243488880932476193671536960\ 47575280475529590473797941472817/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 31 + 74925326630685046181763174419837010052053488441727339264311310\ 40343049734793742738455512758147/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 30 + 51942685367167352174723229405989776814122440191181046490158862\ 459687949515222612908709542171767/497582999021384541407583263579675\ 9568419162065912728995669472663024467576649295184602190903*c_0101_4\ ^29 - 1755268455573675975344564586562578465852295376752167617174919\ 72790369537285000921968942491217905/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4^28 - 54418913462784694471869281043229822000760590765936728003923\ 5976088933826040499335303954965649559/49758299902138454140758326357\ 96759568419162065912728995669472663024467576649295184602190903*c_01\ 01_4^27 + 198521367157929182136865917355071218222286618325346290722\ 5435073786754208570157853275039394014676/49758299902138454140758326\ 35796759568419162065912728995669472663024467576649295184602190903*c\ _0101_4^26 + 611164075341044085310714047130932733315476035244424552\ 4808631211710916370919764709920167692150703/49758299902138454140758\ 3263579675956841916206591272899566947266302446757664929518460219090\ 3*c_0101_4^25 - 712959000331344290103681381614048624997645640747469\ 3721584198795276394116506074351991168746690606/49758299902138454140\ 7583263579675956841916206591272899566947266302446757664929518460219\ 0903*c_0101_4^24 - 369320777107084774846884129840423433987239178486\ 00029927870580604877118649381114504557304290323300/4975829990213845\ 4140758326357967595684191620659127289956694726630244675766492951846\ 02190903*c_0101_4^23 - 77955239583497579443633778411506300017771046\ 77630400206822392137201709456826731527949824341460865/4975829990213\ 8454140758326357967595684191620659127289956694726630244675766492951\ 84602190903*c_0101_4^22 + 96362948032259369763603983058888316342247\ 843860566947526205973837689987012894373423713151992799836/497582999\ 0213845414075832635796759568419162065912728995669472663024467576649\ 295184602190903*c_0101_4^21 + 6693809999577275949369797582241897006\ 0668004245770604228599253537476714149223703990424247356326881/49758\ 2999021384541407583263579675956841916206591272899566947266302446757\ 6649295184602190903*c_0101_4^20 - 153018360147924832636450361059184\ 211070843604697149750308445731853107690101611182791761168417326843/\ 4975829990213845414075832635796759568419162065912728995669472663024\ 467576649295184602190903*c_0101_4^19 - 1390320374613547126790871711051429819849351544628619802678881478670\ 44040523047818829446415549637077/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 18 + 18361857474131865296095778156264939628486457627075098526501355\ 5350844069213441345585905575439014236/49758299902138454140758326357\ 96759568419162065912728995669472663024467576649295184602190903*c_01\ 01_4^17 + 174415806385134194992738112178428529872013652764434266969\ 996788603338717693851390609650448118559539/497582999021384541407583\ 2635796759568419162065912728995669472663024467576649295184602190903\ *c_0101_4^16 - 1657073317459227286063501644706678983009533435224690\ 31899007325224626173637661630266357679690753563/4975829990213845414\ 0758326357967595684191620659127289956694726630244675766492951846021\ 90903*c_0101_4^15 - 14563005448597595611249312003920997965835667387\ 7188890870649910061407409395124663607777129138558637/49758299902138\ 4541407583263579675956841916206591272899566947266302446757664929518\ 4602190903*c_0101_4^14 + 100391396698779500485240863405738107595078\ 403924629073993067155705883387296238122580356730017149370/497582999\ 0213845414075832635796759568419162065912728995669472663024467576649\ 295184602190903*c_0101_4^13 + 1689115373319739279253145300468550541\ 421193135966896093571849659070735767394483204261698367809369/115716\ 9765166010561412984333906223155446316759514588138527784340238248273\ 63937097316330021*c_0101_4^12 - 38970511082017088894657251756735213\ 930585983176026887371971352807560560917005765816132066378823944/497\ 5829990213845414075832635796759568419162065912728995669472663024467\ 576649295184602190903*c_0101_4^11 - 1720920435096267084231429197498002000572459298366866777654159370564\ 6947159611698322129868666001450/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^1\ 0 + 102863367290641006400674448817817969715134599562302546366235975\ 55585779672304217379010356310868412/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4^9 + 270447492259750502938236706665959098940334906011619525598274\ 89339765516255351332581584846832130/1157169765166010561412984333906\ 22315544631675951458813852778434023824827363937097316330021*c_0101_\ 4^8 - 1272749644896741301961100303358137369960154311800786695239270\ 361956352788073122690780200984259131/497582999021384541407583263579\ 6759568419162065912728995669472663024467576649295184602190903*c_010\ 1_4^7 - 40406090093038855814565888821161757694132735137115299576855\ 821977419638781775496776428662857671/497582999021384541407583263579\ 6759568419162065912728995669472663024467576649295184602190903*c_010\ 1_4^6 - 37862571208256024190623489876200277965203004560962106045516\ 3301271613748621556492250756961552495/49758299902138454140758326357\ 96759568419162065912728995669472663024467576649295184602190903*c_01\ 01_4^5 - 4729064443901609403454641252577371920809212804365210935713\ 3588306827561648329082252615591885622/49758299902138454140758326357\ 96759568419162065912728995669472663024467576649295184602190903*c_01\ 01_4^4 + 1104643046267488098638539976957729251133893024901369314169\ 80092749340205138866325024558286866547/4975829990213845414075832635\ 796759568419162065912728995669472663024467576649295184602190903*c_0\ 101_4^3 + 151473868450197129126757670103258026538485208596941765764\ 40064104212458176953763829757021763109/4975829990213845414075832635\ 796759568419162065912728995669472663024467576649295184602190903*c_0\ 101_4^2 - 754293073814984455020700990479209931399450385435700371285\ 1303631172744687625863607395438606974/49758299902138454140758326357\ 96759568419162065912728995669472663024467576649295184602190903*c_01\ 01_4 - 386506382191396722510322404155211084391286128436517852763779\ 227325981788202946995728875585768/497582999021384541407583263579675\ 9568419162065912728995669472663024467576649295184602190903, c_0011_6 - 817378946460261607496445677704821018177328757152245619024409\ 82587252022524993620389818721115/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 33 + 22248988037102044093640868728807301646434626040280895455634656\ 8563100376312908988641431314185/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^3\ 2 + 325005209327980020148658573800995845472140653121349167678432196\ 4785956145265321710396839070825/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^3\ 1 - 588225248525912868855629558453918906160997441351108858240401390\ 9923935238081207977283611264143/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^3\ 0 - 407212208242429153024777350461018028097204438117990005104474300\ 78389183804334706847724184753319/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 29 + 13773211609131479671449731812754302342792215996184832281262183\ 1253994808485015742515525099372263/49758299902138454140758326357967\ 59568419162065912728995669472663024467576649295184602190903*c_0101_\ 4^28 + 426465854045207127807657553490351239010265064564560759212114\ 646715878983638572516089138806643645/497582999021384541407583263579\ 6759568419162065912728995669472663024467576649295184602190903*c_010\ 1_4^27 - 1557603308553530547769976526211238522258512907715177001568\ 109844252437033693989605756939239976839/497582999021384541407583263\ 5796759568419162065912728995669472663024467576649295184602190903*c_\ 0101_4^26 - 4789537078515338214776091488557493380055054678149342552\ 367895864361208690019575245957251874649537/497582999021384541407583\ 2635796759568419162065912728995669472663024467576649295184602190903\ *c_0101_4^25 + 5599046248591840886378040809572481570969415428392689\ 755115590738131596482206789209268839159118111/497582999021384541407\ 5832635796759568419162065912728995669472663024467576649295184602190\ 903*c_0101_4^24 + 2894781066024586399009724063529620542615607291191\ 1158837816987503013265460611846491152802315989546/49758299902138454\ 1407583263579675956841916206591272899566947266302446757664929518460\ 2190903*c_0101_4^23 + 606403078194864511321995657414242969441750991\ 1618161747852036581644789618943752410662022866218967/49758299902138\ 4541407583263579675956841916206591272899566947266302446757664929518\ 4602190903*c_0101_4^22 - 755521455399183579008740840991140278007336\ 83470200459359272901621047790621195809392498136900831946/4975829990\ 2138454140758326357967595684191620659127289956694726630244675766492\ 95184602190903*c_0101_4^21 - 52347402042894563649342276474393057671\ 013130127744268454766623008233417575934495950761696293007846/497582\ 9990213845414075832635796759568419162065912728995669472663024467576\ 649295184602190903*c_0101_4^20 + 1200164599035768455719323940595548\ 71496067539836945624877713234092369359907252253939638471861097450/4\ 9758299902138454140758326357967595684191620659127289956694726630244\ 67576649295184602190903*c_0101_4^19 + 1087587185005624754532095684878052523088875886914128639063001445970\ 26581801786990146430301341439935/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 18 - 14405619183150343048836337174861451993276495118576482955777665\ 1126149884999730014042741761304707988/49758299902138454140758326357\ 96759568419162065912728995669472663024467576649295184602190903*c_01\ 01_4^17 - 136411820532051119879819700895146320613944546355521048905\ 030066796847387724190764412593833811104394/497582999021384541407583\ 2635796759568419162065912728995669472663024467576649295184602190903\ *c_0101_4^16 + 1300110406408464409563383813660253005778065548309105\ 05190854709944307957593823337982617245189235567/4975829990213845414\ 0758326357967595684191620659127289956694726630244675766492951846021\ 90903*c_0101_4^15 + 11385005599935204588817721721524796047429989962\ 0807368408239155848399830241656409469518507755548605/49758299902138\ 4541407583263579675956841916206591272899566947266302446757664929518\ 4602190903*c_0101_4^14 - 787474341623575681253222742043851854662443\ 86557319105596225947916560194889634302470453433993256070/4975829990\ 2138454140758326357967595684191620659127289956694726630244675766492\ 95184602190903*c_0101_4^13 - 13194855538393521838219975859474277220\ 43275890112497068382882060310506985934318256574828782409709/1157169\ 7651660105614129843339062231554463167595145881385277843402382482736\ 3937097316330021*c_0101_4^12 + 305413272733150720702686360119631231\ 18408540565772459621553990632582018575772930078915691909400195/4975\ 8299902138454140758326357967595684191620659127289956694726630244675\ 76649295184602190903*c_0101_4^11 + 1341948468278989430537418154927631851026653946699259655913780888650\ 9725642068399254806191625548472/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^1\ 0 - 804523601640583130269280492689020373750686372535249223236042495\ 2366761453998511943107694538173249/49758299902138454140758326357967\ 59568419162065912728995669472663024467576649295184602190903*c_0101_\ 4^9 - 2097445090643426529742191995305669548271926373703854826581704\ 4248116580740987918087413661168949/11571697651660105614129843339062\ 2315544631675951458813852778434023824827363937097316330021*c_0101_4\ ^8 + 99217460829473594075706172302829516029793055038426979418130968\ 8146025451679128880495277603883204/49758299902138454140758326357967\ 59568419162065912728995669472663024467576649295184602190903*c_0101_\ 4^7 + 3254648393221498465493222368080415113093067566832545643582163\ 5914300174340329875505663666163402/49758299902138454140758326357967\ 59568419162065912728995669472663024467576649295184602190903*c_0101_\ 4^6 + 2966124216552008405733260083035204044033566527398967980707394\ 93791767555409056673788253417284078/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4^5 + 366967900435785006856061333094190624704697236183814175802920\ 56431748842715396612749602895886191/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4^4 - 863720590721863715157314675338078355132059416754313688146925\ 89596900055086469928385152874730560/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4^3 - 118177026402472396738358857917156748336982133871518286922941\ 62407537924431730266381909661172329/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4^2 + 588536551512610059375273887371216841003787789100900137112688\ 0648009673022819694533657808007845/49758299902138454140758326357967\ 59568419162065912728995669472663024467576649295184602190903*c_0101_\ 4 + 301877545449040152083074712552948851868599707631041776155445523\ 370408439450250372283884404081/497582999021384541407583263579675956\ 8419162065912728995669472663024467576649295184602190903, c_0101_0 - 793184248937296144613531831248311802076106067437826198130675\ 00070193824821860860361462550042/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 33 + 21580635103967958969963865213898109206162605613712210100499735\ 5541817202043174391798496364036/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^3\ 2 + 315415832774819499053898038452592788177674122244828423677355386\ 3467433172578280921051456862335/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^3\ 1 - 570438384679734758787794330154744024997460553861687745388419007\ 7785356347645358516704473419761/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^3\ 0 - 395245763098248132375623938062659186489148941833588615121763608\ 23737360603310134147336200141729/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 29 + 13361044336828182072351571423581289042795862533083744582868296\ 7337979284595826095965045950751370/49758299902138454140758326357967\ 59568419162065912728995669472663024467576649295184602190903*c_0101_\ 4^28 + 414028044221945128840067443194712872653550827809555366134443\ 424214327644155141937458484709096499/497582999021384541407583263579\ 6759568419162065912728995669472663024467576649295184602190903*c_010\ 1_4^27 - 1511072914545413714307132040251446996735853595761335205179\ 523505348235376702847201433100711933427/497582999021384541407583263\ 5796759568419162065912728995669472663024467576649295184602190903*c_\ 0101_4^26 - 4649829290978853642120940670292023044960882283111023762\ 381074373280945618567909226755457634648970/497582999021384541407583\ 2635796759568419162065912728995669472663024467576649295184602190903\ *c_0101_4^25 + 5428564567544427406354333779237697921849141736309600\ 486385068273525251276278424869394589154982805/497582999021384541407\ 5832635796759568419162065912728995669472663024467576649295184602190\ 903*c_0101_4^24 + 2809984688383668475592125947214543298009589475590\ 0371644574483968774872149074446080950784059752287/49758299902138454\ 1407583263579675956841916206591272899566947266302446757664929518460\ 2190903*c_0101_4^23 + 591445486744008997119973809697162299401570253\ 4470814046514959640455406884736599639374443088891988/49758299902138\ 4541407583263579675956841916206591272899566947266302446757664929518\ 4602190903*c_0101_4^22 - 733230485547098331012658165955140152157874\ 54762918426800470196155593965107495307918559704345923822/4975829990\ 2138454140758326357967595684191620659127289956694726630244675766492\ 95184602190903*c_0101_4^21 - 50881507860053113760362646279562662545\ 651972140882504446780067361259629826413779046539412707147600/497582\ 9990213845414075832635796759568419162065912728995669472663024467576\ 649295184602190903*c_0101_4^20 + 1164472567089891293423808092560043\ 29780603972352539336288224298859221453191551044418212296910589848/4\ 9758299902138454140758326357967595684191620659127289956694726630244\ 67576649295184602190903*c_0101_4^19 + 1056855778910014286863225469131080730056697970072027144074922195403\ 67443264756684382414708715173316/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 18 - 13975215831377846523777716001730493449483770954380505121887225\ 6640800927593311312789935756501206213/49758299902138454140758326357\ 96759568419162065912728995669472663024467576649295184602190903*c_01\ 01_4^17 - 132563806525453519843850220612444568165474853994016249478\ 763790896604554471683340896650183665140319/497582999021384541407583\ 2635796759568419162065912728995669472663024467576649295184602190903\ *c_0101_4^16 + 1261266679100234493506273749061348591749677036022118\ 74713751828751805406297403669531879650998042441/4975829990213845414\ 0758326357967595684191620659127289956694726630244675766492951846021\ 90903*c_0101_4^15 + 11065596309425375934418001024297503074385194931\ 7327584442122038899487374068366349390203070883276980/49758299902138\ 4541407583263579675956841916206591272899566947266302446757664929518\ 4602190903*c_0101_4^14 - 764096514898834084884397250360579199638877\ 24723087798858465810234293337017866360351651158622036836/4975829990\ 2138454140758326357967595684191620659127289956694726630244675766492\ 95184602190903*c_0101_4^13 - 12827968786010829541410489068543024858\ 01894924205266416510714064142845602988352306125266287863954/1157169\ 7651660105614129843339062231554463167595145881385277843402382482736\ 3937097316330021*c_0101_4^12 + 296562098492741645266995896713216663\ 57698390179909830953130400821191069743785475757244886836095583/4975\ 8299902138454140758326357967595684191620659127289956694726630244675\ 76649295184602190903*c_0101_4^11 + 1305300224154712919470861240396779410534459445270831269394115050336\ 2467542729020451603281250938760/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^1\ 0 - 782429355683037968847256278444646826830878846608938914926154696\ 5726840683788488183537595253756926/49758299902138454140758326357967\ 59568419162065912728995669472663024467576649295184602190903*c_0101_\ 4^9 - 2040560198379321491558871188065231954356223455282146794211358\ 0745528412244771296253013692630912/11571697651660105614129843339062\ 2315544631675951458813852778434023824827363937097316330021*c_0101_4\ ^8 + 96704056104516241099699215676396343195438410353479487259329928\ 5338161536544699140736000080868705/49758299902138454140758326357967\ 59568419162065912728995669472663024467576649295184602190903*c_0101_\ 4^7 + 3034244785349337798477375426029289358580731221690644857993739\ 7558014658916410205862059827755258/49758299902138454140758326357967\ 59568419162065912728995669472663024467576649295184602190903*c_0101_\ 4^6 + 2880713076636280449238856681591244639738164669353276973556211\ 29854609882045033879863714415751798/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4^5 + 358956544136015924963399175881481943756417226373484970052902\ 06246818762821456868501715123724306/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4^4 - 839213242661900580519564375957236102157963903883154385951103\ 64834661276579637216231902975065793/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4^3 - 114338869577484307894731625608532106081362672186514190373437\ 48785797674120923175842361374382772/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4^2 + 573537469755012960343140294673899370047004318317503116357181\ 2596723574415686678240885625626561/49758299902138454140758326357967\ 59568419162065912728995669472663024467576649295184602190903*c_0101_\ 4 + 288293109682241666045647562388461333775953491408089178658257751\ 480196025737264575543570202014/497582999021384541407583263579675956\ 8419162065912728995669472663024467576649295184602190903, c_0101_1 + 828093944879669362933045736560356002160711353883773149834092\ 31903374369873725278047028706224/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 33 - 22517074032731023637465487570269920242611826930466913913139583\ 9352962580125671567410240654679/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^3\ 2 - 329346687561050838433900086005197408899334994356141413063514931\ 4862886653175360357322139743817/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^3\ 1 + 595052302911412507385804034320160466261629351948887930613400965\ 4122938614680421487380471752850/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^3\ 0 + 412784711307783388580142832531317262082092357269892138720403088\ 16791894443206286918170991749379/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 29 - 13943535190216384298433042871103452377337151550964181396621252\ 0102668489345376520815894816625805/49758299902138454140758326357967\ 59568419162065912728995669472663024467576649295184602190903*c_0101_\ 4^28 - 432531352372252869880719271303890148422958672773471485872271\ 335713981459847703831372413131954879/497582999021384541407583263579\ 6759568419162065912728995669472663024467576649295184602190903*c_010\ 1_4^27 + 1577114032977730562899202820937202457310866729010190364636\ 436645906519196074463207016938859340313/497582999021384541407583263\ 5796759568419162065912728995669472663024467576649295184602190903*c_\ 0101_4^26 + 4857553518451863891757458631521493891982325072525473884\ 334862756405397150500224085618287205701712/497582999021384541407583\ 2635796759568419162065912728995669472663024467576649295184602190903\ *c_0101_4^25 - 5662228582639132588416097167681140638524389624814289\ 009104515465398872591880529240143949122122815/497582999021384541407\ 5832635796759568419162065912728995669472663024467576649295184602190\ 903*c_0101_4^24 - 2935168363927962603487647790495052195353702896542\ 2136727526026112664560444586983840776568064391334/49758299902138454\ 1407583263579675956841916206591272899566947266302446757664929518460\ 2190903*c_0101_4^23 - 621116609734181227959445584539576659647208298\ 3448252550995062179401839157038040676412263862842793/49758299902138\ 4541407583263579675956841916206591272899566947266302446757664929518\ 4602190903*c_0101_4^22 + 765778146835169575386772986789855781010815\ 88494875715617101680707581306824170376202830528906883034/4975829990\ 2138454140758326357967595684191620659127289956694726630244675766492\ 95184602190903*c_0101_4^21 + 53237030070049812499850012894930952209\ 126526467791894075982223472894091755762278694245044608705452/497582\ 9990213845414075832635796759568419162065912728995669472663024467576\ 649295184602190903*c_0101_4^20 - 1215911622093359939173440297435024\ 71168586022662348557043742954939802884773692727351875090869849443/4\ 9758299902138454140758326357967595684191620659127289956694726630244\ 67576649295184602190903*c_0101_4^19 - 1105611634123898474870267981217620814861973592695740659420508321539\ 72260187171537151680669438180851/4975829990213845414075832635796759\ 568419162065912728995669472663024467576649295184602190903*c_0101_4^\ 18 + 14590384442451113771525195740438827977311683195931576887901073\ 3710195711557613651423958584017178813/49758299902138454140758326357\ 96759568419162065912728995669472663024467576649295184602190903*c_01\ 01_4^17 + 138700992173071770103608599662734285772050180146438884771\ 579180900766319023582668027158798631293499/497582999021384541407583\ 2635796759568419162065912728995669472663024467576649295184602190903\ *c_0101_4^16 - 1316798248543369844083663245586398274461602718356670\ 45343473377358797263049996518544637917813641383/4975829990213845414\ 0758326357967595684191620659127289956694726630244675766492951846021\ 90903*c_0101_4^15 - 11581356518858378739585538689651510559671569781\ 5385775948079432600901768931868792413332668101441485/49758299902138\ 4541407583263579675956841916206591272899566947266302446757664929518\ 4602190903*c_0101_4^14 + 797889767827769612795176831689555246619161\ 86449564988259031623781266310702592433624811156882853899/4975829990\ 2138454140758326357967595684191620659127289956694726630244675766492\ 95184602190903*c_0101_4^13 + 13433331827035592247426057305364635299\ 10513144531573120457239665371145002427897731550850665816351/1157169\ 7651660105614129843339062231554463167595145881385277843402382482736\ 3937097316330021*c_0101_4^12 - 309829274665625131770386604694562461\ 46421117987923105575411410051744795450260533029199353632572614/4975\ 8299902138454140758326357967595684191620659127289956694726630244675\ 76649295184602190903*c_0101_4^11 - 1368661760693978029438748664234100072613361630981058908286185284189\ 5561134773279969055283397032328/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903*c_0101_4^1\ 0 + 818141484373313497974774102100523941751615908531146999354841652\ 1712915292275084152286850065171547/49758299902138454140758326357967\ 59568419162065912728995669472663024467576649295184602190903*c_0101_\ 4^9 + 2149201411376212759535617639195847506347067138361374705765185\ 5902483405139883566390172869894569/11571697651660105614129843339062\ 2315544631675951458813852778434023824827363937097316330021*c_0101_4\ ^8 - 10124918028085783320696421740853392768779468008174602132159315\ 68783094928721221667056826979514979/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4^7 - 317009626739356900620325542339817570117567738795436338623373\ 61213629038507306546383238026950052/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4^6 - 301096758227749401150651249197197574865941469976130710287600\ 146414244982941136260617483209479580/497582999021384541407583263579\ 6759568419162065912728995669472663024467576649295184602190903*c_010\ 1_4^5 - 37604881087910472655329611548499676978698369550090597535721\ 532083687132263092968091586958389738/497582999021384541407583263579\ 6759568419162065912728995669472663024467576649295184602190903*c_010\ 1_4^4 + 87834674726467063625730886384137994304358684683426750081966\ 113659700663986738247475889444551286/497582999021384541407583263579\ 6759568419162065912728995669472663024467576649295184602190903*c_010\ 1_4^3 + 12017652559530494135572806330963392372863546665808400577767\ 315136666620776144143331366486028922/497582999021384541407583263579\ 6759568419162065912728995669472663024467576649295184602190903*c_010\ 1_4^2 - 59968133592530898223996331699120185211662175261524257180233\ 23933935462687871543831328286489055/4975829990213845414075832635796\ 759568419162065912728995669472663024467576649295184602190903*c_0101\ _4 - 30290478758006399471159090047961957391836688196693282087357564\ 6862464752715320740244883441556/49758299902138454140758326357967595\ 68419162065912728995669472663024467576649295184602190903, c_0101_4^34 - 3*c_0101_4^33 - 39*c_0101_4^32 + 83*c_0101_4^31 + 478*c_0101_4^30 - 1823*c_0101_4^29 - 4747*c_0101_4^28 + 20496*c_0101_4^27 + 53282*c_0101_4^26 - 84677*c_0101_4^25 - 334919*c_0101_4^24 + 23739*c_0101_4^23 + 943645*c_0101_4^22 + 384302*c_0101_4^21 - 1642471*c_0101_4^20 - 922763*c_0101_4^19 + 2125329*c_0101_4^18 + 1178759*c_0101_4^17 - 2045637*c_0101_4^16 - 950598*c_0101_4^15 + 1342756*c_0101_4^14 + 426651*c_0101_4^13 - 562281*c_0101_4^12 - 60849*c_0101_4^11 + 142794*c_0101_4^10 - 15972*c_0101_4^9 - 15064*c_0101_4^8 + 2901*c_0101_4^7 - 3507*c_0101_4^6 + 548*c_0101_4^5 + 1174*c_0101_4^4 - 145*c_0101_4^3 - 111*c_0101_4^2 + 16*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB