Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 2227509437] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0137 geometric_solution 3.64070631 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636200333973 0.021506500811 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.793761896867 0.031568005367 1 3 1 3 0132 0132 1023 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498769939883 0.136120367713 4 2 4 2 0132 0132 2310 1023 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -1.963696096419 3.822774191079 3 3 5 6 0132 3201 0132 0132 0 0 0 0 0 1 -1 0 -1 0 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 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 0.012307511391 0.504083618893 6 6 6 4 1023 3012 1230 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 0 1 -1 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.991837445561 0.999888237700 5 5 4 5 1230 1023 0132 3012 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.991837445561 0.999888237700 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_5'], '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_3'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], '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_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 52048468228197120887261732902523841712541053569274143180507477739/2\ 2458780588160081825513786293372305226986119425910088521375785*c_010\ 1_4^30 + 1838024779915757580319752741955159203234642690716581573533\ 63086963/2245878058816008182551378629337230522698611942591008852137\ 5785*c_0101_4^29 - 131406956643272157600630497034548578792942960930\ 0244748681121865994/74862601960533606085045954311241017423287064753\ 03362840458595*c_0101_4^28 - 22468456271192590007325121336717996280\ 76947028806482297353924100147/4491756117632016365102757258674461045\ 397223885182017704275157*c_0101_4^27 + 9527774578637155901688607637939470440459302761541387493707540256043\ 7/22458780588160081825513786293372305226986119425910088521375785*c_\ 0101_4^26 + 2960640286874203450420527683427816935064025496670937904\ 1227456096461/44917561176320163651027572586744610453972238851820177\ 04275157*c_0101_4^25 - 33894200646539335835784195000979616651378657\ 4881909385922693345987579/74862601960533606085045954311241017423287\ 06475303362840458595*c_0101_4^24 - 2109181767387441590085531652832118560643056577017742086730011832377\ 78/4491756117632016365102757258674461045397223885182017704275157*c_\ 0101_4^23 + 5972703436559500731750288912178823464125827216549090138\ 325850564913206/224587805881600818255137862933723052269861194259100\ 88521375785*c_0101_4^22 + 50615999488335732101215032255759739019043\ 21510091157389973913677476036/2245878058816008182551378629337230522\ 6986119425910088521375785*c_0101_4^21 - 2141256734988280931822554994962863291133797092737746062099706228392\ 7791/22458780588160081825513786293372305226986119425910088521375785\ *c_0101_4^20 - 1702686579851505737486690582277740951701746679552015\ 7009164926309944641/22458780588160081825513786293372305226986119425\ 910088521375785*c_0101_4^19 + 4919158294947478233003886314902176202\ 5263349103638372968598661517123143/22458780588160081825513786293372\ 305226986119425910088521375785*c_0101_4^18 + 1309863041282713439400715223072863525889496743943384674288569747902\ 0871/7486260196053360608504595431124101742328706475303362840458595*\ c_0101_4^17 - 73993127500825227326577368238605621908800794919577019\ 101954619052447718/224587805881600818255137862933723052269861194259\ 10088521375785*c_0101_4^16 - 20269909008550778079074084621889293785\ 259129745707862889796234318994249/748626019605336060850459543112410\ 1742328706475303362840458595*c_0101_4^15 + 7332720865543003467643954673904033523240004157765794588372308383137\ 0041/22458780588160081825513786293372305226986119425910088521375785\ *c_0101_4^14 + 2070846982236325708994414072536923288535533397875386\ 3649568663044516264/74862601960533606085045954311241017423287064753\ 03362840458595*c_0101_4^13 - 95550012856916878904260741277724353283\ 07888651427498785404557418029798/4491756117632016365102757258674461\ 045397223885182017704275157*c_0101_4^12 - 2757545377144721711789859255456859891754450180225682945576558973996\ 906/1497252039210672121700919086224820348465741295060672568091719*c\ _0101_4^11 + 407616407122381706749952504157962618275960147757680081\ 6332330229900438/44917561176320163651027572586744610453972238851820\ 17704275157*c_0101_4^10 + 35457494942839789556615307891620887232041\ 13037151656452330755120790125/4491756117632016365102757258674461045\ 397223885182017704275157*c_0101_4^9 - 5660408532349951673313789720941961496132180764797302495252862800451\ 266/22458780588160081825513786293372305226986119425910088521375785*\ c_0101_4^8 - 482206319396086165551987141984217532147534723757902966\ 0646667878095183/22458780588160081825513786293372305226986119425910\ 088521375785*c_0101_4^7 + 99305540381153503505990000505092048452825\ 4004170412084490547981935021/22458780588160081825513786293372305226\ 986119425910088521375785*c_0101_4^6 + 7974358108174373333639081318624996632888446920359602961778191579349\ 18/22458780588160081825513786293372305226986119425910088521375785*c\ _0101_4^5 - 3526315276814156946717462597407805938516794958043001338\ 0752853729928/74862601960533606085045954311241017423287064753033628\ 40458595*c_0101_4^4 - 145143954709083742490635552290603903985578472\ 21697922911723973695351/4491756117632016365102757258674461045397223\ 885182017704275157*c_0101_4^3 + 23531565488812761747257803726146621\ 30682619338313411743322804944623/7486260196053360608504595431124101\ 742328706475303362840458595*c_0101_4^2 + 944003135202575700977664107389032662124298782119182740090834665557/\ 7486260196053360608504595431124101742328706475303362840458595*c_010\ 1_4 - 2826893924858686564477086355482484473339256426075994770219994\ 79092/2245878058816008182551378629337230522698611942591008852137578\ 5, c_0011_0 - 1, c_0011_1 - 858263210671652760427217379265056363560058045986141692331927\ 4/1497252039210672121700919086224820348465741295060672568091719*c_0\ 101_4^30 - 28473631960592424298327835707785708833514431034100497096\ 900945/149725203921067212170091908622482034846574129506067256809171\ 9*c_0101_4^29 + 654365128338322552300265282832389643428192356928299\ 999313656729/149725203921067212170091908622482034846574129506067256\ 8091719*c_0101_4^28 + 170699025631458900687631648619884809937747725\ 0802740542836467906/14972520392106721217009190862248203484657412950\ 60672568091719*c_0101_4^27 - 15939322698158717237731728469756856573\ 703658236272500565268216540/149725203921067212170091908622482034846\ 5741295060672568091719*c_0101_4^26 - 20671563581919841385763900929297129809429639507356057248801955556/1\ 497252039210672121700919086224820348465741295060672568091719*c_0101\ _4^25 + 16873326437913039645974043556402056325376959677050032812878\ 5872892/14972520392106721217009190862248203484657412950606725680917\ 19*c_0101_4^24 + 13411529604832264952644326133226495216273646880985\ 0858936050505702/14972520392106721217009190862248203484657412950606\ 72568091719*c_0101_4^23 - 97803249944780368335833315614510961405125\ 1052725004251452099275211/14972520392106721217009190862248203484657\ 41295060672568091719*c_0101_4^22 - 603868491824348903188866135139045736856509311519210874257916892053/\ 1497252039210672121700919086224820348465741295060672568091719*c_010\ 1_4^21 + 3454555252340171498919446406957984708235341257090636345046\ 712586944/149725203921067212170091908622482034846574129506067256809\ 1719*c_0101_4^20 + 197956369870110305293688666181833776252278830106\ 6112162057216594489/14972520392106721217009190862248203484657412950\ 60672568091719*c_0101_4^19 - 78096318992457875417075631887056214031\ 05959796917458064442544803512/1497252039210672121700919086224820348\ 465741295060672568091719*c_0101_4^18 - 4526871528865057282480123968482756021373747678599200417469931178992\ /1497252039210672121700919086224820348465741295060672568091719*c_01\ 01_4^17 + 115249232197909566694543339393918150312540181118277485818\ 60088623641/1497252039210672121700919086224820348465741295060672568\ 091719*c_0101_4^16 + 6918666668127115910391473016466258497838846113\ 262428188113322697636/149725203921067212170091908622482034846574129\ 5060672568091719*c_0101_4^15 - 111256662174725034008671778965181288\ 61067633917259733595247880216920/1497252039210672121700919086224820\ 348465741295060672568091719*c_0101_4^14 - 6881835670597415660229575556410630138643049518947792076738830636486\ /1497252039210672121700919086224820348465741295060672568091719*c_01\ 01_4^13 + 695750184359570419329293827856327900814139264301975928987\ 3716053488/14972520392106721217009190862248203484657412950606725680\ 91719*c_0101_4^12 + 43682353890048282567913347793698567145739726204\ 80232939245437262015/1497252039210672121700919086224820348465741295\ 060672568091719*c_0101_4^11 - 2769548543110622822229278261073589309\ 160777631284076429596031151756/149725203921067212170091908622482034\ 8465741295060672568091719*c_0101_4^10 - 1740684896567516146919854500434313494184235168279753005846033894176\ /1497252039210672121700919086224820348465741295060672568091719*c_01\ 01_4^9 + 6831291865026293573062527054315635318544267059564730211419\ 76915619/1497252039210672121700919086224820348465741295060672568091\ 719*c_0101_4^8 + 42926988264781361926996878945363769384043270658519\ 4823467592404705/14972520392106721217009190862248203484657412950606\ 72568091719*c_0101_4^7 - 978123678440615106969208076057744551746828\ 87327122756235248852620/1497252039210672121700919086224820348465741\ 295060672568091719*c_0101_4^6 - 62011138144866427586301897744186068\ 086895177308915016653541714906/149725203921067212170091908622482034\ 8465741295060672568091719*c_0101_4^5 + 7528094176457755223634672493325109249201881586726204665091951731/14\ 97252039210672121700919086224820348465741295060672568091719*c_0101_\ 4^4 + 4555255623930883401333610429776484044971567589907596715725447\ 737/1497252039210672121700919086224820348465741295060672568091719*c\ _0101_4^3 - 3599781177120973723544854973540415023626083059630049758\ 95012337/1497252039210672121700919086224820348465741295060672568091\ 719*c_0101_4^2 - 13067388145373964382360919241779296876999918498859\ 5997804317931/14972520392106721217009190862248203484657412950606725\ 68091719*c_0101_4 + 11745768742790188656759573412636760042191101145\ 637204447730234/149725203921067212170091908622482034846574129506067\ 2568091719, c_0011_5 + 542714308893170454054659043052073725068154432354103742777546\ /1497252039210672121700919086224820348465741295060672568091719*c_01\ 01_4^30 + 161958735344307057134011234534312126570752247102095625584\ 6198/1497252039210672121700919086224820348465741295060672568091719*\ c_0101_4^29 - 41870598443097271017598668749338127762992818657422273\ 341010622/149725203921067212170091908622482034846574129506067256809\ 1719*c_0101_4^28 - 937848147424977430769175820735375125229208381904\ 19033702954142/1497252039210672121700919086224820348465741295060672\ 568091719*c_0101_4^27 + 1035675982487472393755505834460233202900301\ 669950272238925439207/149725203921067212170091908622482034846574129\ 5060672568091719*c_0101_4^26 + 949409149258137291000666546141002255\ 048221825805331738632576462/149725203921067212170091908622482034846\ 5741295060672568091719*c_0101_4^25 - 10905105218882462190962649887705584205404654796319444418769721553/1\ 497252039210672121700919086224820348465741295060672568091719*c_0101\ _4^24 - 46570431608627093684817888063094273698296343947758002082929\ 30143/1497252039210672121700919086224820348465741295060672568091719\ *c_0101_4^23 + 6253636216558141990803045430404754390023738684928734\ 2644991363705/14972520392106721217009190862248203484657412950606725\ 68091719*c_0101_4^22 + 15845638581341429680345923927612261810053574\ 019903996685319805972/149725203921067212170091908622482034846574129\ 5060672568091719*c_0101_4^21 - 218711494295371496483611610769737218\ 044435692365129688934198227992/149725203921067212170091908622482034\ 8465741295060672568091719*c_0101_4^20 - 44827764103606523282221101068369788471640380523321623585884367314/1\ 497252039210672121700919086224820348465741295060672568091719*c_0101\ _4^19 + 49134804231762455513461715986002611598765022438451418372372\ 4112618/14972520392106721217009190862248203484657412950606725680917\ 19*c_0101_4^18 + 98062338284449797897644102651679377441444892535761\ 053892049061464/149725203921067212170091908622482034846574129506067\ 2568091719*c_0101_4^17 - 724120683726562126651370893496167358807936\ 449687340306161013493582/149725203921067212170091908622482034846574\ 1295060672568091719*c_0101_4^16 - 143449675631239607732895088762483\ 657418097974796928197460523415657/149725203921067212170091908622482\ 0348465741295060672568091719*c_0101_4^15 + 702088865153432654982165453337238560165266745235140533788308607029/\ 1497252039210672121700919086224820348465741295060672568091719*c_010\ 1_4^14 + 1273417266391940472194639266913234322296324211390327269872\ 16828498/1497252039210672121700919086224820348465741295060672568091\ 719*c_0101_4^13 - 4440025333547118732221158920658213003158327567882\ 20441728448949616/1497252039210672121700919086224820348465741295060\ 672568091719*c_0101_4^12 - 6263174241736232449599524909672943359673\ 2799093757966379176111343/14972520392106721217009190862248203484657\ 41295060672568091719*c_0101_4^11 + 180500415850093076386975303884307113473985824483705417052352868340/\ 1497252039210672121700919086224820348465741295060672568091719*c_010\ 1_4^10 + 1419685170933056838179112894837196991826549031217466019273\ 4020817/14972520392106721217009190862248203484657412950606725680917\ 19*c_0101_4^9 - 464254642309270836904391827545716771963470050913635\ 16564064857957/1497252039210672121700919086224820348465741295060672\ 568091719*c_0101_4^8 - 31184756391129033373243766413520376265455048\ 3775622664204561939/14972520392106721217009190862248203484657412950\ 60672568091719*c_0101_4^7 + 738090577701409270563289649608451860765\ 1014018130080127347990924/14972520392106721217009190862248203484657\ 41295060672568091719*c_0101_4^6 - 523939842666060832225843006118082\ 240837623563324138155953920616/149725203921067212170091908622482034\ 8465741295060672568091719*c_0101_4^5 - 721959568954514873441409400380563040141102235054176273456872548/149\ 7252039210672121700919086224820348465741295060672568091719*c_0101_4\ ^4 + 10381123602162998044938653586193176353104069020649363516224222\ 0/1497252039210672121700919086224820348465741295060672568091719*c_0\ 101_4^3 + 367367910582253734066257541071857052726297215353348888911\ 45333/1497252039210672121700919086224820348465741295060672568091719\ *c_0101_4^2 - 58588944317325523148552934239636507222035859807027489\ 27664727/1497252039210672121700919086224820348465741295060672568091\ 719*c_0101_4 - 1182722027667909243943023473570207482469420007536528\ 09815360/1497252039210672121700919086224820348465741295060672568091\ 719, c_0101_0 + 174962291025560186522096154962594318560769470321182002457564\ 6/1497252039210672121700919086224820348465741295060672568091719*c_0\ 101_4^30 + 51416564301576348381532441147859885277382194309201621153\ 50574/1497252039210672121700919086224820348465741295060672568091719\ *c_0101_4^29 - 1354253079076601738039698057964037983002914271251940\ 05700533534/1497252039210672121700919086224820348465741295060672568\ 091719*c_0101_4^28 - 2970344422458748819177563695208419282867871278\ 58942658245998583/1497252039210672121700919086224820348465741295060\ 672568091719*c_0101_4^27 + 3367742555440572577892741898691473865213\ 795728181524922386825766/149725203921067212170091908622482034846574\ 1295060672568091719*c_0101_4^26 + 296132989857820510341736137599113\ 7601636235463168499010914476837/14972520392106721217009190862248203\ 48465741295060672568091719*c_0101_4^25 - 35652385765829885570795849217030100575907587240324368574000815209/1\ 497252039210672121700919086224820348465741295060672568091719*c_0101\ _4^24 - 14201190142497139638618991717852059584251730169705656436706\ 686662/149725203921067212170091908622482034846574129506067256809171\ 9*c_0101_4^23 + 206161998634242603987686097320034303897920114349531\ 598099598693963/149725203921067212170091908622482034846574129506067\ 2568091719*c_0101_4^22 + 480568067052015394530596820960072889053526\ 67703828916670322089757/1497252039210672121700919086224820348465741\ 295060672568091719*c_0101_4^21 - 7305847649872080760353292773882684\ 39536567608766087013474033191413/1497252039210672121700919086224820\ 348465741295060672568091719*c_0101_4^20 - 142550238403736687300435169503242229922111328449768432943647144983/\ 1497252039210672121700919086224820348465741295060672568091719*c_010\ 1_4^19 + 1674127312375678014324056063719135009095141007203557036188\ 598170280/149725203921067212170091908622482034846574129506067256809\ 1719*c_0101_4^18 + 341593757088023021025580827076561969609709266061\ 621632874043568994/149725203921067212170091908622482034846574129506\ 0672568091719*c_0101_4^17 - 253793589087921404867683244182861924268\ 4183998668990465805755139560/14972520392106721217009190862248203484\ 65741295060672568091719*c_0101_4^16 - 565703660862645766321429524809598680075882166782112136069849072842/\ 1497252039210672121700919086224820348465741295060672568091719*c_010\ 1_4^15 + 2557505802980783980695312676802370008227103932688902100372\ 131472239/149725203921067212170091908622482034846574129506067256809\ 1719*c_0101_4^14 + 602054187741527398949832997738548562374823781539\ 289277852416033643/149725203921067212170091908622482034846574129506\ 0672568091719*c_0101_4^13 - 170031449306817915640595680062101634976\ 4887513457695786640394666529/14972520392106721217009190862248203484\ 65741295060672568091719*c_0101_4^12 - 402174591823865617278449680145983797067697557185508847879495022921/\ 1497252039210672121700919086224820348465741295060672568091719*c_010\ 1_4^11 + 7332792799367396741069034954877668486347400784920223755348\ 64104248/1497252039210672121700919086224820348465741295060672568091\ 719*c_0101_4^10 + 1680831858207286940501312613131414406026460429744\ 38487417015833458/1497252039210672121700919086224820348465741295060\ 672568091719*c_0101_4^9 - 19965194370714027442577401776313841950596\ 1965782942879064527008346/14972520392106721217009190862248203484657\ 41295060672568091719*c_0101_4^8 - 443601953123818143973644231564714\ 04770451214719690543447461530427/1497252039210672121700919086224820\ 348465741295060672568091719*c_0101_4^7 + 32649534215009091585344741649800998364984447311239514112023552360/1\ 497252039210672121700919086224820348465741295060672568091719*c_0101\ _4^6 + 707967275509656501449991722868233417591026979610586851756112\ 3673/1497252039210672121700919086224820348465741295060672568091719*\ c_0101_4^5 - 295656163840899132943776713433838872544157276939929117\ 8347178011/14972520392106721217009190862248203484657412950606725680\ 91719*c_0101_4^4 - 555072459034029662369352122605497082868988723272\ 224746329353550/149725203921067212170091908622482034846574129506067\ 2568091719*c_0101_4^3 + 1324064856781113649102812368525163769771200\ 25282004459518957054/1497252039210672121700919086224820348465741295\ 060672568091719*c_0101_4^2 + 10494099791971895093336753058250944105\ 268085195306072248086984/149725203921067212170091908622482034846574\ 1295060672568091719*c_0101_4 - 263287188254112230125614304933710202\ 4717934301289708271252019/14972520392106721217009190862248203484657\ 41295060672568091719, c_0101_1 - 167637087962790654271877583325757649082764874527938308316013\ 62/1497252039210672121700919086224820348465741295060672568091719*c_\ 0101_4^30 - 5625504235909643148495827043499214398274681876715584050\ 5585914/14972520392106721217009190862248203484657412950606725680917\ 19*c_0101_4^29 + 12767727497619420613512117184856372257245035466447\ 38191643041144/1497252039210672121700919086224820348465741295060672\ 568091719*c_0101_4^28 + 3385274020898757764503798495350283008924836\ 972260553788221187299/149725203921067212170091908622482034846574129\ 5060672568091719*c_0101_4^27 - 310658333328157053138686818336474279\ 98948864906449267400411313370/1497252039210672121700919086224820348\ 465741295060672568091719*c_0101_4^26 - 41702244147033953109363218486931192079716589008906053359810393137/1\ 497252039210672121700919086224820348465741295060672568091719*c_0101\ _4^25 + 32951868252426194453509179158945053445421943108450693253386\ 0225950/14972520392106721217009190862248203484657412950606725680917\ 19*c_0101_4^24 + 27597793692943742326839166456062966112035300664626\ 6045092274141451/14972520392106721217009190862248203484657412950606\ 72568091719*c_0101_4^23 - 19160068692512515992438664599383132982530\ 90442181400084370191408166/1497252039210672121700919086224820348465\ 741295060672568091719*c_0101_4^22 - 1259947181275714011698736975663534675106674035082484172421615785458\ /1497252039210672121700919086224820348465741295060672568091719*c_01\ 01_4^21 + 679282505660177792498423932521826327023505154507357167906\ 1134338003/14972520392106721217009190862248203484657412950606725680\ 91719*c_0101_4^20 + 41520833071163301307404273808250031277784221459\ 36734360477774440964/1497252039210672121700919086224820348465741295\ 060672568091719*c_0101_4^19 - 1542375941320849639372259755101436389\ 6384883215564232288622082258133/14972520392106721217009190862248203\ 48465741295060672568091719*c_0101_4^18 - 9508918099564296334735375881135044874414871781388418168757627349949\ /1497252039210672121700919086224820348465741295060672568091719*c_01\ 01_4^17 + 228898413372211238714271181146130640717154587341682903845\ 52811409194/1497252039210672121700919086224820348465741295060672568\ 091719*c_0101_4^16 + 1456590094071351239041374263481746652586451398\ 6528721681308995058676/14972520392106721217009190862248203484657412\ 95060672568091719*c_0101_4^15 - 22275858541412020398376855927642606\ 126049124394971409414200149140159/149725203921067212170091908622482\ 0348465741295060672568091719*c_0101_4^14 - 1456747098529567602357009728078863269788671202773310619314999776335\ 6/1497252039210672121700919086224820348465741295060672568091719*c_0\ 101_4^13 + 14106906963840641204385461347163809354293159973491620355\ 269018245300/149725203921067212170091908622482034846574129506067256\ 8091719*c_0101_4^12 + 933831510473440639473983394330162186084701008\ 8636262265820647383806/14972520392106721217009190862248203484657412\ 95060672568091719*c_0101_4^11 - 57317956692533979214421877569060478\ 36109606120863612830779109130107/1497252039210672121700919086224820\ 348465741295060672568091719*c_0101_4^10 - 3775775365483034669765089684953098991983005553247378175213903985793\ /1497252039210672121700919086224820348465741295060672568091719*c_01\ 01_4^9 + 1461250287334521726877115143788481026407289614230021635356\ 072115542/149725203921067212170091908622482034846574129506067256809\ 1719*c_0101_4^8 + 9479685966625913788038766846263613053041199817092\ 19751484937857470/1497252039210672121700919086224820348465741295060\ 672568091719*c_0101_4^7 - 22034522795251220352733681469696670592445\ 6527994353160485443554902/14972520392106721217009190862248203484657\ 41295060672568091719*c_0101_4^6 - 140083365500221414129173416007457\ 452591004498248148354877350585680/149725203921067212170091908622482\ 0348465741295060672568091719*c_0101_4^5 + 18152206419888244556933181108240933469687106479346764904351058888/1\ 497252039210672121700919086224820348465741295060672568091719*c_0101\ _4^4 + 106586913885404895826549685694289289199396568925184284212380\ 82658/1497252039210672121700919086224820348465741295060672568091719\ *c_0101_4^3 - 88217145814615722991594149990152545111212770493626695\ 1561578669/14972520392106721217009190862248203484657412950606725680\ 91719*c_0101_4^2 - 314326020924327706600768565086353164754175404325\ 618496354404795/149725203921067212170091908622482034846574129506067\ 2568091719*c_0101_4 + 278488050494427641922967839921354704835662962\ 43595145339442954/1497252039210672121700919086224820348465741295060\ 672568091719, c_0101_3 + 706518883412470665137894236257644638561516800904050579819079\ 6/1497252039210672121700919086224820348465741295060672568091719*c_0\ 101_4^30 + 23673398742872136698818070976573503813508888881899778243\ 370112/149725203921067212170091908622482034846574129506067256809171\ 9*c_0101_4^29 - 538252291071550042189662887101862406322859390844046\ 939315872355/149725203921067212170091908622482034846574129506067256\ 8091719*c_0101_4^28 - 142407444246878173224031727355853062847862507\ 1474654975051327268/14972520392106721217009190862248203484657412950\ 60672568091719*c_0101_4^27 + 13102325751851540612012004672573167752\ 129700859903756480622958403/149725203921067212170091908622482034846\ 5741295060672568091719*c_0101_4^26 + 17511453923649124429396532948037803869080901269929791788445400985/1\ 497252039210672121700919086224820348465741295060672568091719*c_0101\ _4^25 - 13902390273192047793196577922864759095310150805447690555881\ 5932710/14972520392106721217009190862248203484657412950606725680917\ 19*c_0101_4^24 - 11558957146859358549391591603725802432998728480198\ 5556918421357437/14972520392106721217009190862248203484657412950606\ 72568091719*c_0101_4^23 + 80868366922406389228175125931115599159396\ 2755373927964267465738111/14972520392106721217009190862248203484657\ 41295060672568091719*c_0101_4^22 + 526469104037558270864497155410630844442291564045069927579726846439/\ 1497252039210672121700919086224820348465741295060672568091719*c_010\ 1_4^21 - 2868733068209672520035002709748436144102884009143934010053\ 889721154/149725203921067212170091908622482034846574129506067256809\ 1719*c_0101_4^20 - 173248843347613393544851050044834282757499797278\ 9477080807121130659/14972520392106721217009190862248203484657412950\ 60672568091719*c_0101_4^19 + 65198979216488159963842362551597185168\ 63839297258693110974258636193/1497252039210672121700919086224820348\ 465741295060672568091719*c_0101_4^18 + 3964774713707238250433354650000121186110270714286518139894308687096\ /1497252039210672121700919086224820348465741295060672568091719*c_01\ 01_4^17 - 969063239532795372174958313902448969851359994693611832197\ 6800988442/14972520392106721217009190862248203484657412950606725680\ 91719*c_0101_4^16 - 60699855711500514614354813376852714145712334207\ 97484129835333840308/1497252039210672121700919086224820348465741295\ 060672568091719*c_0101_4^15 + 9453696753843584702561712358944906362\ 028560896584271486048997440632/149725203921067212170091908622482034\ 8465741295060672568091719*c_0101_4^14 + 6066477179866561971329340332698405144959059101615613577643389497266\ /1497252039210672121700919086224820348465741295060672568091719*c_01\ 01_4^13 - 601034842374139926235127325597176591677584707284200269736\ 3488359993/14972520392106721217009190862248203484657412950606725680\ 91719*c_0101_4^12 - 38851036577760117102654008514001609232084553085\ 23586221765577221160/1497252039210672121700919086224820348465741295\ 060672568091719*c_0101_4^11 + 2457336185673749250059440354330255760\ 755965900282756319188858810845/149725203921067212170091908622482034\ 8465741295060672568091719*c_0101_4^10 + 1569032869197357866372706272960135420433895407143230328193863868978\ /1497252039210672121700919086224820348465741295060672568091719*c_01\ 01_4^9 - 6325548764305291846128506146430358558227704700261400005850\ 91423032/1497252039210672121700919086224820348465741295060672568091\ 719*c_0101_4^8 - 39354506927309019826025084991096675082064459882318\ 7580834320269730/14972520392106721217009190862248203484657412950606\ 72568091719*c_0101_4^7 + 968591997646118849137237158283488373759438\ 51035693799587217262046/1497252039210672121700919086224820348465741\ 295060672568091719*c_0101_4^6 + 58139576051734811396263418567264350\ 737261473192173715233852946208/149725203921067212170091908622482034\ 8465741295060672568091719*c_0101_4^5 - 8169606246443849594691419774226935516685278769891017519735340954/14\ 97252039210672121700919086224820348465741295060672568091719*c_0101_\ 4^4 - 4432584975869320736100733503774344693364397158500010658884865\ 701/1497252039210672121700919086224820348465741295060672568091719*c\ _0101_4^3 + 3998921125862277159672691428839478579858059412339133648\ 37885957/1497252039210672121700919086224820348465741295060672568091\ 719*c_0101_4^2 + 13035505016514454080502233894331665747942504222368\ 8566641469381/14972520392106721217009190862248203484657412950606725\ 68091719*c_0101_4 - 11932706991748741582838382899150868546302505743\ 684154208457120/149725203921067212170091908622482034846574129506067\ 2568091719, c_0101_4^31 + 4*c_0101_4^30 - 74*c_0101_4^29 - 251*c_0101_4^28 + 1723*c_0101_4^27 + 3681*c_0101_4^26 - 18053*c_0101_4^25 - 29116*c_0101_4^24 + 103679*c_0101_4^23 + 148692*c_0101_4^22 - 356736*c_0101_4^21 - 508172*c_0101_4^20 + 760359*c_0101_4^19 + 1158001*c_0101_4^18 - 999928*c_0101_4^17 - 1744082*c_0101_4^16 + 769573*c_0101_4^15 + 1718411*c_0101_4^14 - 283219*c_0101_4^13 - 1092770*c_0101_4^12 - 15010*c_0101_4^11 + 441555*c_0101_4^10 + 56586*c_0101_4^9 - 111205*c_0101_4^8 - 22755*c_0101_4^7 + 16495*c_0101_4^6 + 4183*c_0101_4^5 - 1297*c_0101_4^4 - 344*c_0101_4^3 + 51*c_0101_4^2 + 10*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB