Magma V2.19-8 Tue Aug 20 2013 16:18:26 on localhost [Seed = 324177446] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2629 geometric_solution 5.90685362 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.256830774406 0.188214999344 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.209994903537 1.668187935491 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.200083615321 1.034846707161 5 4 2 1 1023 0132 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.200083615321 1.034846707161 6 3 6 2 0132 0132 2310 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 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.038946440542 0.733475861058 5 3 2 5 3201 1023 0132 2310 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670820938503 0.756584750040 4 4 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448239965096 0.308830864603 ==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_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_1'], '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_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], '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' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 8917471451218822898542705638746884174617343464818097176864698430912\ 826/663545388354856287671825280330951930642145544077689477556408836\ 775*c_0101_4^37 - 2644738681306502173905844795639992481323183569355\ 083079777443393488908/663545388354856287671825280330951930642145544\ 077689477556408836775*c_0101_4^36 + 1801380239053414957328369249440367449826664099069831051675809890790\ 00164/6635453883548562876718252803309519306421455440776894775564088\ 36775*c_0101_4^35 + 69967398670499464019422236620363763876651004765\ 35100774453048478234813/6635453883548562876718252803309519306421455\ 44077689477556408836775*c_0101_4^34 - 1778065035667529686281815269772442732547552740175328995171896891708\ 579233/663545388354856287671825280330951930642145544077689477556408\ 836775*c_0101_4^33 + 5112597835703050480283785225937112440078868739\ 23870433844479200184707886/6635453883548562876718252803309519306421\ 45544077689477556408836775*c_0101_4^32 + 1159347117543188346681406268321256757935943142551563280635517921687\ 6147094/66354538835485628767182528033095193064214554407768947755640\ 8836775*c_0101_4^31 - 598101887346622987867188103184923210783879763\ 25697668784226963268401/6870778031114225085910694075391684500565835\ 299794869040190617*c_0101_4^30 - 5583104114138024044803307045494940\ 2584994909820228064548920873885905610402/66354538835485628767182528\ 0330951930642145544077689477556408836775*c_0101_4^29 + 3059884078125216163177555650020130486163988855163722058648445030019\ 1391639/66354538835485628767182528033095193064214554407768947755640\ 8836775*c_0101_4^28 + 444833721531573562880474474737888522470133403\ 11159925229540416928711676711/1327090776709712575343650560661903861\ 28429108815537895511281767355*c_0101_4^27 - 1196356872584790240725716417048601459550854133013235948450338279564\ 13507217/6635453883548562876718252803309519306421455440776894775564\ 08836775*c_0101_4^26 - 78368766307333961602471832540979124226223086\ 7895137429878732792853577093721/66354538835485628767182528033095193\ 0642145544077689477556408836775*c_0101_4^25 + 4403186904018943166603612098410137358375216286792836210757391901380\ 27969432/6635453883548562876718252803309519306421455440776894775564\ 08836775*c_0101_4^24 + 91211135061097339268987862900745336490947040\ 313066948102701639372103606611/265418155341942515068730112132380772\ 25685821763107579102256353471*c_0101_4^23 - 5585302104180247524248332619000646603232754850126992518366535388222\ 0178612/26541815534194251506873011213238077225685821763107579102256\ 353471*c_0101_4^22 - 4988866927502314526398556851043231691695778241\ 914842122912513353687220865327/663545388354856287671825280330951930\ 642145544077689477556408836775*c_0101_4^21 + 6535160183296761110210182648305719886640297467585049620994174972700\ 05196838/1327090776709712575343650560661903861284291088155378955112\ 81767355*c_0101_4^20 + 78724764675729829947528059613493504541829159\ 99831709596101916776910699890837/6635453883548562876718252803309519\ 30642145544077689477556408836775*c_0101_4^19 - 5347551817992968753216844117102350883594861489240795039504291848258\ 119065106/663545388354856287671825280330951930642145544077689477556\ 408836775*c_0101_4^18 - 8888135892259795315130125733054503909161759\ 906478466577937343313667364151094/663545388354856287671825280330951\ 930642145544077689477556408836775*c_0101_4^17 + 6107579875458800030642552270097461797033288081253573851002378171869\ 992440863/663545388354856287671825280330951930642145544077689477556\ 408836775*c_0101_4^16 + 7172281527880098828885287657210430655862556\ 313919154630769024875148304857494/663545388354856287671825280330951\ 930642145544077689477556408836775*c_0101_4^15 - 4906126170478013564210958281668182997748435006040006098502468534031\ 318392237/663545388354856287671825280330951930642145544077689477556\ 408836775*c_0101_4^14 - 4103663719497892753960224115751083482286001\ 283582254938536878184141351470017/663545388354856287671825280330951\ 930642145544077689477556408836775*c_0101_4^13 + 2779445150298353702252163185213287624058574390816664851589816414950\ 539408723/663545388354856287671825280330951930642145544077689477556\ 408836775*c_0101_4^12 + 1627858725583448152747269264252671437410305\ 620109517830460041805377991105773/663545388354856287671825280330951\ 930642145544077689477556408836775*c_0101_4^11 - 1102693735893952669867135295542699628968267945727720380830874276080\ 149145221/663545388354856287671825280330951930642145544077689477556\ 408836775*c_0101_4^10 - 4301418045611676933827586297933875427853439\ 39154530816084536707635148609487/6635453883548562876718252803309519\ 30642145544077689477556408836775*c_0101_4^9 + 6025667088707515756436740585855036259314722329622199217255492257898\ 5235384/13270907767097125753436505606619038612842910881553789551128\ 1767355*c_0101_4^8 + 7235992325355394060651195387898082372492293580\ 7645943822180263066310913192/66354538835485628767182528033095193064\ 2145544077689477556408836775*c_0101_4^7 - 5513518970583297418442201461800900784007734377085057885804647237347\ 7270463/66354538835485628767182528033095193064214554407768947755640\ 8836775*c_0101_4^6 - 7976354764907074244128672412066022208713927256\ 196384424013080325045539384/663545388354856287671825280330951930642\ 145544077689477556408836775*c_0101_4^5 + 6336913682545803263582388031126415307105508144997265499238920886741\ 545309/663545388354856287671825280330951930642145544077689477556408\ 836775*c_0101_4^4 + 66213578320345018782582037878054402178968833736\ 0519205666289177747733554/66354538835485628767182528033095193064214\ 5544077689477556408836775*c_0101_4^3 - 4083647469743322512703535934935648191377867854038071346848186401746\ 46892/6635453883548562876718252803309519306421455440776894775564088\ 36775*c_0101_4^2 - 299016048359517112017512943262828969957725568767\ 12821866682827187321256/6635453883548562876718252803309519306421455\ 44077689477556408836775*c_0101_4 + 1206790800124313376574089381723539581051974913267241060706193398519\ 9307/66354538835485628767182528033095193064214554407768947755640883\ 6775, c_0011_0 - 1, c_0011_1 + 256231689894669293617718072188249315044315821924292231390927\ 9102510/26541815534194251506873011213238077225685821763107579102256\ 353471*c_0101_4^37 + 7972325184911677593327255172583242580473184415\ 24986315345989474920/2654181553419425150687301121323807722568582176\ 3107579102256353471*c_0101_4^36 - 517962767676113666464132738145796\ 40319316135793322805595130181072092/2654181553419425150687301121323\ 8077225685821763107579102256353471*c_0101_4^35 - 2755952125353461451072542875407706362104969296822814843369689877985\ /26541815534194251506873011213238077225685821763107579102256353471*\ c_0101_4^34 + 51181429786707825594200260478560528656022719302630195\ 3575730051727432/26541815534194251506873011213238077225685821763107\ 579102256353471*c_0101_4^33 - 1398674309840266521292110998769114107\ 24007274864888045805095764326163/2654181553419425150687301121323807\ 7225685821763107579102256353471*c_0101_4^32 - 3342428905766931884629584020377432874774298100101629817686573210589\ 031/265418155341942515068730112132380772256858217631075791022563534\ 71*c_0101_4^31 + 41887021617695115508132697958784699716898244714113\ 2478021500548632/68707780311142250859106940753916845005658352997948\ 69040190617*c_0101_4^30 + 16123126354400504624829404954695863331350\ 547152506656004386781220158360/265418155341942515068730112132380772\ 25685821763107579102256353471*c_0101_4^29 - 8614729621679969763383229433771928718799364652136599432424619357242\ 305/265418155341942515068730112132380772256858217631075791022563534\ 71*c_0101_4^28 - 64296715855400000554917987759933051042547507100998\ 388130438662190254087/265418155341942515068730112132380772256858217\ 63107579102256353471*c_0101_4^27 + 3372127384638285306189515055738943475596295331269906267865195239692\ 9426/26541815534194251506873011213238077225685821763107579102256353\ 471*c_0101_4^26 + 2266893962417463860880250104716163149461820266651\ 15443351166436079855800/2654181553419425150687301121323807722568582\ 1763107579102256353471*c_0101_4^25 - 1243082952901290123095263743264012540679225058842984598825505845754\ 41260/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^24 - 660538755758222149886430666559968645616931135861\ 094972525717964632696711/265418155341942515068730112132380772256858\ 21763107579102256353471*c_0101_4^23 + 3954968024829751419209185920366070512026148100382086616263308014699\ 06709/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^22 + 144906007295823709323175756016609633794830369789\ 8123146102115664104416009/26541815534194251506873011213238077225685\ 821763107579102256353471*c_0101_4^21 - 9294635067003855430007202057728872626843443006451804818750061054011\ 96943/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^20 - 229526100329564059484472352366216393617147156864\ 4613899161757140309151025/26541815534194251506873011213238077225685\ 821763107579102256353471*c_0101_4^19 + 1528549648679868983332511065503217261903823708183440491666208800818\ 134971/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^18 + 26032191601355971181692327514009903791301093784\ 44535486873469910978847024/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^17 - 1755433417934414888037067877563044782791867612731102565328253225020\ 915470/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^16 - 21115652011502170899886004202937830442254475591\ 15966716284041168396543312/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^15 + 1418978056514491489456601437565084113809458379240481509553973858445\ 549413/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^14 + 12151332842225842941807840228991366250893113136\ 96569515879150223969423098/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^13 - 8097202306214040634827874589383129042226295538781720733786036390962\ 23424/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^12 - 485161108976948288905623834331805842443870843834\ 408994139926424261554200/265418155341942515068730112132380772256858\ 21763107579102256353471*c_0101_4^11 + 3239413895692617311550313316210926242444370194299462248376703140491\ 09154/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^10 + 129133108081147564588454784423931184197776364836\ 785537587302093262305651/265418155341942515068730112132380772256858\ 21763107579102256353471*c_0101_4^9 - 8933718268972091522325056809884009057997335655841634625890540231744\ 1284/26541815534194251506873011213238077225685821763107579102256353\ 471*c_0101_4^8 - 21876492047604840815822861472534176173234224260442\ 293061870287695442239/265418155341942515068730112132380772256858217\ 63107579102256353471*c_0101_4^7 + 165020535330752205193556308901578\ 52172840312967487777709102779569835265/2654181553419425150687301121\ 3238077225685821763107579102256353471*c_0101_4^6 + 2414592873535303889898830931288594789808461061393881257725630405351\ 634/265418155341942515068730112132380772256858217631075791022563534\ 71*c_0101_4^5 - 191414390738015000794858181398201969245715557352828\ 1494016033226479746/26541815534194251506873011213238077225685821763\ 107579102256353471*c_0101_4^4 - 19936510648995451300559051239721724\ 1225920629124685975843287189770237/26541815534194251506873011213238\ 077225685821763107579102256353471*c_0101_4^3 + 1247715288220549105518784086295984470528890747633983284619386267224\ 48/2654181553419425150687301121323807722568582176310757910225635347\ 1*c_0101_4^2 + 9133347357734127704815701273286465947312219480822448\ 505838145615010/265418155341942515068730112132380772256858217631075\ 79102256353471*c_0101_4 - 37124299288841456366105668306563851021831\ 18737066028047505899857447/2654181553419425150687301121323807722568\ 5821763107579102256353471, c_0011_3 + 373897174441833988811743984186962317940880455882913562660815\ 6210918/26541815534194251506873011213238077225685821763107579102256\ 353471*c_0101_4^37 + 1176654845471646951940259119987130028965646339\ 586213312698877108408/265418155341942515068730112132380772256858217\ 63107579102256353471*c_0101_4^36 - 7557666740685796552168152235465078784622340961810769884750911369328\ 0/26541815534194251506873011213238077225685821763107579102256353471\ *c_0101_4^35 - 4288299398663731675348323813464707371815932589114228\ 803992162091678/265418155341942515068730112132380772256858217631075\ 79102256353471*c_0101_4^34 + 74681132926460309918644307140746271906\ 4457076503820804538392775850667/26541815534194251506873011213238077\ 225685821763107579102256353471*c_0101_4^33 - 2014796430803560452282550979104265626692964146434836965672530862212\ 38/2654181553419425150687301121323807722568582176310757910225635347\ 1*c_0101_4^32 - 487783265002538547772439316791212289604260844308381\ 1965103049870725793/26541815534194251506873011213238077225685821763\ 107579102256353471*c_0101_4^31 + 6068142505843218054626527524199439\ 51817796345558956926063213953475/6870778031114225085910694075391684\ 500565835299794869040190617*c_0101_4^30 + 2353396727961061011528685169410910217781924907393740059759601021147\ 9970/26541815534194251506873011213238077225685821763107579102256353\ 471*c_0101_4^29 - 1248884581882587825357925342839858960096518912132\ 4736175323653383146064/26541815534194251506873011213238077225685821\ 763107579102256353471*c_0101_4^28 - 9385926897759347155025144431234883375925774189169352068602511791538\ 7321/26541815534194251506873011213238077225685821763107579102256353\ 471*c_0101_4^27 + 4888093535316318519620978329190459467384500590494\ 5861941933234132639173/26541815534194251506873011213238077225685821\ 763107579102256353471*c_0101_4^26 + 3309294234715045812065344049006293050622395288962300475775616983852\ 70360/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^25 - 180247628204326186337718290195753725434745265239\ 898749733066527784043322/265418155341942515068730112132380772256858\ 21763107579102256353471*c_0101_4^24 - 9643905413626255229529572890698281448196155703373339353307059082948\ 18308/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^23 + 573794611287716664482106062228593387854646870096\ 259025988408740539399111/265418155341942515068730112132380772256858\ 21763107579102256353471*c_0101_4^22 + 2116164944773533514601747856618996058811608469964380853818951349526\ 681627/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^21 - 13490575346820241745841685141554513963918358111\ 67679084632853918087203181/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^20 - 3353180902158591893228212211183472214372756302669623268791362275677\ 756683/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^19 + 22191355385792831947226524484816984082387083078\ 26852697804015079854860545/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^18 + 3804914074089160786752387231811390461610224372367497681180248842558\ 267965/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^17 - 25488021653673325994375715319424198833769936368\ 95336246963814805485146452/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^16 - 3088135270993946316547130981910437433263321259303806941177497358976\ 167434/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^15 + 20603225933929637418219509072609598585516498926\ 37213412521376387525912122/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^14 + 1778433542498807212586132182728459105047416109678724454625003790570\ 665631/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^13 - 11756572205450154616420400930486771435611131551\ 64451501933421310694550854/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^12 - 7107774969072468720988268620360717971621137256244018788091223819481\ 12292/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^11 + 470324869095096316229573833039267177667976707344\ 974983973545260416631576/265418155341942515068730112132380772256858\ 21763107579102256353471*c_0101_4^10 + 1894755155155426105818149202652346826360829785656765337300286560530\ 96016/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^9 - 1297089097297879889312248701595791061674053207388\ 45224473799749318787023/2654181553419425150687301121323807722568582\ 1763107579102256353471*c_0101_4^8 - 3218687694736396782034246164160640199717160921264821987711289084981\ 5552/26541815534194251506873011213238077225685821763107579102256353\ 471*c_0101_4^7 + 23959099309245856133504275464455556284164928399710\ 121605891030704923565/265418155341942515068730112132380772256858217\ 63107579102256353471*c_0101_4^6 + 356874679096242800005878618099828\ 5054226149904307022334529802970372559/26541815534194251506873011213\ 238077225685821763107579102256353471*c_0101_4^5 - 2777273132743882859046222595949948238211115103600307413506621557810\ 680/265418155341942515068730112132380772256858217631075791022563534\ 71*c_0101_4^4 - 295588393571088865928825132562927606573447920739737\ 661309387094172792/265418155341942515068730112132380772256858217631\ 07579102256353471*c_0101_4^3 + 180670247767862813565003313187869125\ 328876606330540297710246408715647/265418155341942515068730112132380\ 77225685821763107579102256353471*c_0101_4^2 + 1354388390588947105695999250836437250801100809151658214346089672804\ 7/26541815534194251506873011213238077225685821763107579102256353471\ *c_0101_4 - 5394375613315787816698261431416842767903414921993312879\ 229989404092/265418155341942515068730112132380772256858217631075791\ 02256353471, c_0101_0 + 230355021004427404154882326099007303720251487345248361359074\ 2956066/26541815534194251506873011213238077225685821763107579102256\ 353471*c_0101_4^37 + 7334909732242943220977226195700524541639220389\ 07979845328477618078/2654181553419425150687301121323807722568582176\ 3107579102256353471*c_0101_4^36 - 465631033020560615242666362876418\ 08243909593834979029006915723141147/2654181553419425150687301121323\ 8077225685821763107579102256353471*c_0101_4^35 - 2816294047935082878964205501652163688430524896936860497235749349044\ /26541815534194251506873011213238077225685821763107579102256353471*\ c_0101_4^34 + 46016506231972166292740991571770554032700800105476965\ 6568316669099181/26541815534194251506873011213238077225685821763107\ 579102256353471*c_0101_4^33 - 1224161428329407044485844567604799126\ 56317009463682079618340862673048/2654181553419425150687301121323807\ 7225685821763107579102256353471*c_0101_4^32 - 3006324100451922302696023061334137039078576351157626749255736019251\ 720/265418155341942515068730112132380772256858217631075791022563534\ 71*c_0101_4^31 + 37101528169512806017764458049118448593946315591718\ 9703973062668845/68707780311142250859106940753916845005658352997948\ 69040190617*c_0101_4^30 + 14508660006120374287956523444047500123230\ 465204799310255268204269411197/265418155341942515068730112132380772\ 25685821763107579102256353471*c_0101_4^29 - 7642624997633959098196637659620244484020505821419859714577984594845\ 912/265418155341942515068730112132380772256858217631075791022563534\ 71*c_0101_4^28 - 57873959844562517605402016980305467430425797840899\ 466029232245026404252/265418155341942515068730112132380772256858217\ 63107579102256353471*c_0101_4^27 + 2991148572476872924322097786408929742966960514410460549825437916032\ 6042/26541815534194251506873011213238077225685821763107579102256353\ 471*c_0101_4^26 + 2040696256239785957746009073324187763981125683639\ 64655289231883788420117/2654181553419425150687301121323807722568582\ 1763107579102256353471*c_0101_4^25 - 1103341476162832675301838708137917913496116414780001154393049454618\ 45081/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^24 - 594823043743578758134116347264285955306351768474\ 305034608157232928562565/265418155341942515068730112132380772256858\ 21763107579102256353471*c_0101_4^23 + 3514599008656241584800539193682650480279174670758134819603401359587\ 29788/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^22 + 130577957656164400118975300937665933637309369221\ 7030949574213595788016313/26541815534194251506873011213238077225685\ 821763107579102256353471*c_0101_4^21 - 8267917134920736682386818118552220353325804730138759439085389280938\ 40627/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^20 - 207037413749304222082171834823953179690628110776\ 5035890936039659173552355/26541815534194251506873011213238077225685\ 821763107579102256353471*c_0101_4^19 + 1360609113535153138325838696136726645502131668216445539463521055022\ 603695/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^18 + 23511678878669035689635739861698389338126797452\ 46535894792196836671165979/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^17 - 1563216881644321260775738038066425049667009641772786995107985416451\ 620398/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^16 - 19101163697875399894236960081838198553140115198\ 75786102855887472553299908/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^15 + 1263910864605814497387508227545544300196710436958234178851945593182\ 806571/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^14 + 11013662264936857143794876601912385709132627868\ 72193133626324296064548490/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^13 - 7213516241346413665139690538658484618729359033288829460341080496653\ 55519/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^12 - 440901637859991665690122238566066697538042794455\ 048293073154566955312296/265418155341942515068730112132380772256858\ 21763107579102256353471*c_0101_4^11 + 2886533914894288200371042648733111694552811626134078236688158109034\ 44492/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^10 + 117823833826834144313753945530387046712446423216\ 609716788130163903146280/265418155341942515068730112132380772256858\ 21763107579102256353471*c_0101_4^9 - 7964424598574467611019336425703175064970222521224295061715786489622\ 6683/26541815534194251506873011213238077225685821763107579102256353\ 471*c_0101_4^8 - 20096545239086459422590524391061692941916059966813\ 176282127852248485270/265418155341942515068730112132380772256858217\ 63107579102256353471*c_0101_4^7 + 147240176409136008565440952353997\ 84582907478481721221829416735369631369/2654181553419425150687301121\ 3238077225685821763107579102256353471*c_0101_4^6 + 2240462556221752940575344426763863913637963425689877152055861537246\ 921/265418155341942515068730112132380772256858217631075791022563534\ 71*c_0101_4^5 - 170825514469994768905691997543688570659998717281365\ 3625426157555815848/26541815534194251506873011213238077225685821763\ 107579102256353471*c_0101_4^4 - 18572664298343038352561520793218674\ 3161700601964319144344996539684411/26541815534194251506873011213238\ 077225685821763107579102256353471*c_0101_4^3 + 1110170061479599219252163721848677665672127381667484285001825454119\ 66/2654181553419425150687301121323807722568582176310757910225635347\ 1*c_0101_4^2 + 8444209403876450525982930901427641628532337262195175\ 131354792164700/265418155341942515068730112132380772256858217631075\ 79102256353471*c_0101_4 - 33145204232243634190701989976387164504372\ 19728855775804308670817513/2654181553419425150687301121323807722568\ 5821763107579102256353471, c_0101_1 - 190705031453287236004014076773837039396770764299365238132454\ 6944629/26541815534194251506873011213238077225685821763107579102256\ 353471*c_0101_4^37 - 5934343221668534611335085945045001416083941712\ 43818248772155951955/2654181553419425150687301121323807722568582176\ 3107579102256353471*c_0101_4^36 + 385500865487278234318945008073104\ 94705268226954059674500562844174600/2654181553419425150687301121323\ 8077225685821763107579102256353471*c_0101_4^35 + 2053485899181483914579889897684633757251681242010701571471289370333\ /26541815534194251506873011213238077225685821763107579102256353471*\ c_0101_4^34 - 38092595748012804818459835633830255748838366159303091\ 4776913266896111/26541815534194251506873011213238077225685821763107\ 579102256353471*c_0101_4^33 + 1040682320394358838448573482427261820\ 07527514085703470172332076777019/2654181553419425150687301121323807\ 7225685821763107579102256353471*c_0101_4^32 + 2487689926618937842967297771191288527978908515347187189277354829099\ 363/265418155341942515068730112132380772256858217631075791022563534\ 71*c_0101_4^31 - 31168984463036691353279261659711132479253562244803\ 4958070113156592/68707780311142250859106940753916845005658352997948\ 69040190617*c_0101_4^30 - 12000343872782396961530013577890983782043\ 379323739244921172435161317336/265418155341942515068730112132380772\ 25685821763107579102256353471*c_0101_4^29 + 6410517233665338011865978153498258197383482396800235541410296609755\ 132/265418155341942515068730112132380772256858217631075791022563534\ 71*c_0101_4^28 + 47856985450596133132278314858424947131832668588893\ 433036474201098449140/265418155341942515068730112132380772256858217\ 63107579102256353471*c_0101_4^27 - 2509385459261681765965052784354644334823988559530660132535963256880\ 9585/26541815534194251506873011213238077225685821763107579102256353\ 471*c_0101_4^26 - 1687316670434020786312675077935954221941966390625\ 54457677280197823497459/2654181553419425150687301121323807722568582\ 1763107579102256353471*c_0101_4^25 + 9250690077500804697298216132598613115400035373975506962498914002773\ 1806/26541815534194251506873011213238077225685821763107579102256353\ 471*c_0101_4^24 + 4916720752867819160414589406938143950810336282874\ 27799509112786426715390/2654181553419425150687301121323807722568582\ 1763107579102256353471*c_0101_4^23 - 2943218961789446648078983345973614769817465910742163397969455781976\ 95678/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^22 - 107868380675355082382306041032533351270969276812\ 4151193301893813327533059/26541815534194251506873011213238077225685\ 821763107579102256353471*c_0101_4^21 + 6917250188809980628052437639675509934541352314627507277598689909283\ 81165/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^20 + 170884282954616532479983836373146031156299448595\ 4668143165468707838839684/26541815534194251506873011213238077225685\ 821763107579102256353471*c_0101_4^19 - 1137731659196628962907183714257249245708764989936886828674832555657\ 255024/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^18 - 19385751681258067481923469647479867145472867589\ 06522496439438425342030020/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^17 + 1306950343876326126224722925251991189560044049335796884303211015658\ 794322/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^16 + 15729723077145292141255463291482709799085319792\ 06530681802940527909279715/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^15 - 1056903550832340206555373428939339987987237830217564522218107137543\ 559463/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^14 - 90558173443423164028869616199811566911380984634\ 8453088086628977095355491/26541815534194251506873011213238077225685\ 821763107579102256353471*c_0101_4^13 + 6034805741288358575216625629395206416051897697586558335800283152675\ 05199/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^12 + 361753807296564553484527845495558326820058737223\ 517959305622487503177941/265418155341942515068730112132380772256858\ 21763107579102256353471*c_0101_4^11 - 2416329435825504306144851467639800388458588481156243311656758875710\ 88159/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^10 - 963356023436930603435634946708249376318208827936\ 07284942478803263878439/2654181553419425150687301121323807722568582\ 1763107579102256353471*c_0101_4^9 + 6670557167101800089299334226870336002915420471299783866805196610545\ 2805/26541815534194251506873011213238077225685821763107579102256353\ 471*c_0101_4^8 + 16322078156151418022938121676325198612282985510585\ 172362099318955751711/265418155341942515068730112132380772256858217\ 63107579102256353471*c_0101_4^7 - 123342989811001563421033701581928\ 25095784670370559541644604482324332412/2654181553419425150687301121\ 3238077225685821763107579102256353471*c_0101_4^6 - 1799160853976569404639593695593797968665634851789622233169216798649\ 191/265418155341942515068730112132380772256858217631075791022563534\ 71*c_0101_4^5 + 143202200747030385577504048402779424840267239554010\ 6820536008013616159/26541815534194251506873011213238077225685821763\ 107579102256353471*c_0101_4^4 + 14832267177220667532409231542473934\ 6117530962726946673840669981828501/26541815534194251506873011213238\ 077225685821763107579102256353471*c_0101_4^3 - 9343061096298543064998716522583308927875529146670243862426511395023\ 5/26541815534194251506873011213238077225685821763107579102256353471\ *c_0101_4^2 - 68052110744571186824996565438264967352226728835024543\ 88332622442961/2654181553419425150687301121323807722568582176310757\ 9102256353471*c_0101_4 + 278782630371683184105372987760786992754882\ 3242008196266510290808817/26541815534194251506873011213238077225685\ 821763107579102256353471, c_0101_3 - 660106859697217062613740473333091574632004322426707052949596\ 6625776/26541815534194251506873011213238077225685821763107579102256\ 353471*c_0101_4^37 - 2095735409070978574513216259733255624387436935\ 747049376253911001703/265418155341942515068730112132380772256858217\ 63107579102256353471*c_0101_4^36 + 1334194111547071865331139321173007201920690854942991367046393355518\ 97/2654181553419425150687301121323807722568582176310757910225635347\ 1*c_0101_4^35 + 793653483089445500488596441992121321141729922101772\ 4354623552863291/26541815534194251506873011213238077225685821763107\ 579102256353471*c_0101_4^34 - 1318379847179134111897762872202280504\ 728733254524757210882632440987389/265418155341942515068730112132380\ 77225685821763107579102256353471*c_0101_4^33 + 3521323688695415984451084189018889052030073303752689194520044312826\ 07/2654181553419425150687301121323807722568582176310757910225635347\ 1*c_0101_4^32 + 861187466635858479683176674536886671782828030552075\ 9953114565465206574/26541815534194251506873011213238077225685821763\ 107579102256353471*c_0101_4^31 - 1065277611952276735718057058185398\ 675591917409798404852421373592318/687077803111422508591069407539168\ 4500565835299794869040190617*c_0101_4^30 - 4155433101825168275712369231305791341401928228245554455639805536526\ 5499/26541815534194251506873011213238077225685821763107579102256353\ 471*c_0101_4^29 + 2193575924195327382592076179739813604294696780054\ 5534193384264760110721/26541815534194251506873011213238077225685821\ 763107579102256353471*c_0101_4^28 + 1657368704677874197085863526819201156479890714243118224611032783162\ 44433/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^27 - 858458116419805141467929739192301195331807821269\ 71568191678077777741920/2654181553419425150687301121323807722568582\ 1763107579102256353471*c_0101_4^26 - 5843600879307088230535983328087155823315015370514748557788872925807\ 53520/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^25 + 316627348294366030531101805718210212644555981564\ 964704892974004992532882/265418155341942515068730112132380772256858\ 21763107579102256353471*c_0101_4^24 + 1703032748353791376968662589274252206040425804133867311164800531428\ 558330/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^23 - 10083709097202100003134426238439468415813979374\ 80411011891220390804930040/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^22 - 3737430352356324629862994709584722084914881770456367323945240660835\ 373237/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^21 + 23714535856303973448371234278656278380282868377\ 53055866009644871547361990/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^20 + 5923136205678119770916680339703283794331416279941125985635589872066\ 003516/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^19 - 39011846540385600098349958159433182989203958796\ 21553018777949724343713654/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^18 - 6722320567231272259816939204551985475445157353693635381310368997366\ 428747/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^17 + 44801139780901958245977073825906058772662324034\ 54613173996051688912951949/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^16 + 5457042994877987518706747777575336158235910014206179240768982592293\ 031857/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^15 - 36202710380866896755613087922612279926469097696\ 07080913210741730291372180/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^14 - 3143441146560334226982130166128353038130512380883478559644663438490\ 742602/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^13 + 20646687798542933222770940588977755025222213149\ 56605576465086018532932281/2654181553419425150687301121323807722568\ 5821763107579102256353471*c_0101_4^12 + 1256815816694914506304345932643669531529864592634709128421607923784\ 179606/265418155341942515068730112132380772256858217631075791022563\ 53471*c_0101_4^11 - 82535815620915717264858604579134332824495501290\ 6107102280215103068063643/26541815534194251506873011213238077225685\ 821763107579102256353471*c_0101_4^10 - 3353123888159564648009864079231706726120321890842911498886843275168\ 80187/2654181553419425150687301121323807722568582176310757910225635\ 3471*c_0101_4^9 + 2274124892678261619338708339000003861872702005038\ 81327086023066089842925/2654181553419425150687301121323807722568582\ 1763107579102256353471*c_0101_4^8 + 5707733605547846518803492853958430275403568236375770696429380857102\ 9055/26541815534194251506873011213238077225685821763107579102256353\ 471*c_0101_4^7 - 41963215732253513656214724292574387723501941182460\ 382075333737957700943/265418155341942515068730112132380772256858217\ 63107579102256353471*c_0101_4^6 - 635598480275833131644972721187545\ 5852972013083020812051452826407553607/26541815534194251506873011213\ 238077225685821763107579102256353471*c_0101_4^5 + 4857088197428202014336348628767110605686113388011180348415018413865\ 706/265418155341942515068730112132380772256858217631075791022563534\ 71*c_0101_4^4 + 528000436283167313043433373341879256006634985184301\ 114822398272619258/265418155341942515068730112132380772256858217631\ 07579102256353471*c_0101_4^3 - 314874276739637044683882634895171915\ 883944655912156949623634520096869/265418155341942515068730112132380\ 77225685821763107579102256353471*c_0101_4^2 - 2404645608716156051680515280617592241476361307060441132396444311021\ 5/26541815534194251506873011213238077225685821763107579102256353471\ *c_0101_4 + 9353480937615572251456886515906280729468891760940004948\ 743654868625/265418155341942515068730112132380772256858217631075791\ 02256353471, c_0101_4^38 + c_0101_4^37 - 20*c_0101_4^36 - 15*c_0101_4^35 + 199*c_0101_4^34 + 83*c_0101_4^33 - 1342*c_0101_4^32 - 267*c_0101_4^31 + 6727*c_0101_4^30 + 972*c_0101_4^29 - 27407*c_0101_4^28 - 4123*c_0101_4^27 + 97527*c_0101_4^26 + 12421*c_0101_4^25 - 291176*c_0101_4^24 - 23200*c_0101_4^23 + 671752*c_0101_4^22 + 26746*c_0101_4^21 - 1145407*c_0101_4^20 - 20360*c_0101_4^19 + 1426452*c_0101_4^18 + 14554*c_0101_4^17 - 1295428*c_0101_4^16 - 13705*c_0101_4^15 + 855158*c_0101_4^14 + 10558*c_0101_4^13 - 406662*c_0101_4^12 - 3968*c_0101_4^11 + 137315*c_0101_4^10 - 154*c_0101_4^9 - 32502*c_0101_4^8 + 557*c_0101_4^7 + 5368*c_0101_4^6 - 97*c_0101_4^5 - 591*c_0101_4^4 - 5*c_0101_4^3 + 37*c_0101_4^2 + c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB