Magma V2.19-8 Tue Aug 20 2013 16:16:40 on localhost [Seed = 341149918] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0958 geometric_solution 4.85420209 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 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.574377645512 0.721211900079 0 3 3 4 0132 0321 1302 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751252493662 0.693241392452 2 0 0 2 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.394101442544 0.474458695370 1 4 0 1 2031 1023 0132 0321 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 -1 0 1 -1 0 0 1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751252493662 0.693241392452 3 5 1 5 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 -2 -1 2 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.922509869923 0.300189998519 6 4 6 4 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 -1 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.870591855214 0.136748682820 5 6 5 6 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 -1 1 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 2 -2 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880129887116 0.085462886191 ==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' : 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' : 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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0110_4'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : 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_3, c_0101_0, c_0101_2, c_0101_5, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 111289481982627448205509611813565342617/105064978078700086211737327\ 537838256482*c_0110_4^31 - 2159736583896085556618098206322444539523\ /105064978078700086211737327537838256482*c_0110_4^30 - 9623799244088859886938770503586423618258/52532489039350043105868663\ 768919128241*c_0110_4^29 - 5202831118509163167856663682233916651668\ 5/52532489039350043105868663768919128241*c_0110_4^28 - 377375125183846475724749515188909538718185/105064978078700086211737\ 327537838256482*c_0110_4^27 - 9457561340996769705032156544907229308\ 41163/105064978078700086211737327537838256482*c_0110_4^26 - 1565470251572889909424409962963890193044869/10506497807870008621173\ 7327537838256482*c_0110_4^25 - 617795569582794340978230213156603374\ 464572/52532489039350043105868663768919128241*c_0110_4^24 + 1494179889419791452620643434663846424891607/10506497807870008621173\ 7327537838256482*c_0110_4^23 + 342778886400484499597085123705562222\ 8143893/52532489039350043105868663768919128241*c_0110_4^22 + 853073472629206677831781599099901175466337/750464129133572044369552\ 3395559875463*c_0110_4^21 + 570883987372571093405748546618190493569\ 2468/52532489039350043105868663768919128241*c_0110_4^20 + 1037011303097839185135715653015670938133894/52532489039350043105868\ 663768919128241*c_0110_4^19 - 6223384265895006540283940686331706633\ 874584/52532489039350043105868663768919128241*c_0110_4^18 - 11371318771325203012379429914117705727096585/5253248903935004310586\ 8663768919128241*c_0110_4^17 - 211965083541937391229023163200518944\ 87118821/105064978078700086211737327537838256482*c_0110_4^16 - 8876559204128123167149621305178572016427849/10506497807870008621173\ 7327537838256482*c_0110_4^15 + 886569987962387951165777476294816270\ 44966/1694596420624194938898989153836100911*c_0110_4^14 + 13301240947459600810892333462093302628994737/1050649780787000862117\ 37327537838256482*c_0110_4^13 + 12399424255344823626641235194576940\ 647986679/105064978078700086211737327537838256482*c_0110_4^12 + 3365529960856564240129538336332537001846152/52532489039350043105868\ 663768919128241*c_0110_4^11 + 9925297628545097081704590518624740510\ 9443/7504641291335720443695523395559875463*c_0110_4^10 - 595647386019880952129282928946511845854244/525324890393500431058686\ 63768919128241*c_0110_4^9 - 717064817878411233847434969255074097779\ 453/52532489039350043105868663768919128241*c_0110_4^8 - 395092274795881315493802505676861620686705/525324890393500431058686\ 63768919128241*c_0110_4^7 - 137221178518142503953176802115894810172\ 188/52532489039350043105868663768919128241*c_0110_4^6 - 73409779259077152267474906941310026998875/5253248903935004310586866\ 3768919128241*c_0110_4^5 - 1038362597921496632611123717736783090038\ 27/52532489039350043105868663768919128241*c_0110_4^4 - 27724183534395742477081751263542222151461/1500928258267144088739104\ 6791119750926*c_0110_4^3 - 1101931720209672217250981716820547538132\ 7/15009282582671440887391046791119750926*c_0110_4^2 + 3375971890496543403990907191434786665011/10506497807870008621173732\ 7537838256482*c_0110_4 + 3909532576815444864786814603529147981329/5\ 2532489039350043105868663768919128241, c_0011_0 - 1, c_0011_3 + 127275927727210901534593136137309795/48417040589262712539971\ 1186810314546*c_0110_4^31 + 1204572217461629446062705561266667057/2\ 42085202946313562699855593405157273*c_0110_4^30 + 20833308459724239143034513280902714861/4841704058926271253997111868\ 10314546*c_0110_4^29 + 54280977173019353344391771444622227710/24208\ 5202946313562699855593405157273*c_0110_4^28 + 375863732102646151389010513987184893015/484170405892627125399711186\ 810314546*c_0110_4^27 + 441984806508558783216185955228519994699/242\ 085202946313562699855593405157273*c_0110_4^26 + 656466859733561663629677968075026972498/242085202946313562699855593\ 405157273*c_0110_4^25 + 676713967672569387227031519671547825775/484\ 170405892627125399711186810314546*c_0110_4^24 - 2149088809845736629626592565621689844963/48417040589262712539971118\ 6810314546*c_0110_4^23 - 6774206509068134770632159769570008655317/4\ 84170405892627125399711186810314546*c_0110_4^22 - 5004163990738388506915541537905170153806/24208520294631356269985559\ 3405157273*c_0110_4^21 - 3727086217427554708037941874138144073252/2\ 42085202946313562699855593405157273*c_0110_4^20 + 1023750464631550968893586691177878894271/24208520294631356269985559\ 3405157273*c_0110_4^19 + 6750038942685670459341711099684163502764/2\ 42085202946313562699855593405157273*c_0110_4^18 + 9389105275437263611687759223382632904812/24208520294631356269985559\ 3405157273*c_0110_4^17 + 13740772225470079241328576667866352666817/\ 484170405892627125399711186810314546*c_0110_4^16 + 1069519239363262445536493317234946515361/24208520294631356269985559\ 3405157273*c_0110_4^15 - 7938263068168574911797082770849769762747/4\ 84170405892627125399711186810314546*c_0110_4^14 - 11108819693118057091782698904010482345193/4841704058926271253997111\ 86810314546*c_0110_4^13 - 4029696009576896812901853041460264119275/\ 242085202946313562699855593405157273*c_0110_4^12 - 3073604374082593656150132820577550313619/48417040589262712539971118\ 6810314546*c_0110_4^11 + 165178792763516560291018834045731313269/24\ 2085202946313562699855593405157273*c_0110_4^10 + 672744934120938340644249366649799483688/242085202946313562699855593\ 405157273*c_0110_4^9 + 485904496118701595240060096992841026442/2420\ 85202946313562699855593405157273*c_0110_4^8 + 187001194535771462293850680778542146043/242085202946313562699855593\ 405157273*c_0110_4^7 + 43463189815772298090688763947568846463/24208\ 5202946313562699855593405157273*c_0110_4^6 + 50619437393616953230201879109341148046/2420852029463135626998555934\ 05157273*c_0110_4^5 + 86022459054285605870077731489373675974/242085\ 202946313562699855593405157273*c_0110_4^4 + 119395400608786466917073248570765574749/484170405892627125399711186\ 810314546*c_0110_4^3 + 8090628229615378059076029824496547674/242085\ 202946313562699855593405157273*c_0110_4^2 - 7394789333226381836693712124431454352/24208520294631356269985559340\ 5157273*c_0110_4 - 3263812929400136065401656604884016491/4841704058\ 92627125399711186810314546, c_0101_0 + 9098191893748237031858464075551991/4841704058926271253997111\ 86810314546*c_0110_4^31 + 176317807159307847205212645828953305/4841\ 70405892627125399711186810314546*c_0110_4^30 + 785833412768535923639140457572304387/242085202946313562699855593405\ 157273*c_0110_4^29 + 4256990819401481782842579691685743800/24208520\ 2946313562699855593405157273*c_0110_4^28 + 30999113889609245542461162260371058477/4841704058926271253997111868\ 10314546*c_0110_4^27 + 78153875639653971239124461847318651231/48417\ 0405892627125399711186810314546*c_0110_4^26 + 130514716940186483276865005953704794339/484170405892627125399711186\ 810314546*c_0110_4^25 + 52588413263733869057480788781580100649/2420\ 85202946313562699855593405157273*c_0110_4^24 - 120804829454008051887901325589398222625/484170405892627125399711186\ 810314546*c_0110_4^23 - 285578213638556503536963743766714827968/242\ 085202946313562699855593405157273*c_0110_4^22 - 501981968804571636873575649037824851217/242085202946313562699855593\ 405157273*c_0110_4^21 - 481998890432903493561907235148187060484/242\ 085202946313562699855593405157273*c_0110_4^20 - 85559717027319710136664809351706920265/2420852029463135626998555934\ 05157273*c_0110_4^19 + 533365934503057975494557545240100188449/2420\ 85202946313562699855593405157273*c_0110_4^18 + 969278206585464059328919612479199816852/242085202946313562699855593\ 405157273*c_0110_4^17 + 1785833512484814578796894807250079228871/48\ 4170405892627125399711186810314546*c_0110_4^16 + 709460239630886068355716622248858029975/484170405892627125399711186\ 810314546*c_0110_4^15 - 261304667096930897288094875670113675835/242\ 085202946313562699855593405157273*c_0110_4^14 - 1163354086583727537155640952187405308737/48417040589262712539971118\ 6810314546*c_0110_4^13 - 1046546234691332729497516666025644970561/4\ 84170405892627125399711186810314546*c_0110_4^12 - 268008744668014171235348500045849590547/242085202946313562699855593\ 405157273*c_0110_4^11 - 39521832251660915608765457706186452922/2420\ 85202946313562699855593405157273*c_0110_4^10 + 62944924086130297044715457003258902280/2420852029463135626998555934\ 05157273*c_0110_4^9 + 65040138307895749563660225552739018925/242085\ 202946313562699855593405157273*c_0110_4^8 + 32614958260601173087464567669708353759/2420852029463135626998555934\ 05157273*c_0110_4^7 + 9010874249651578922129797214310939441/2420852\ 02946313562699855593405157273*c_0110_4^6 + 3743451835211065292376618560737879865/24208520294631356269985559340\ 5157273*c_0110_4^5 + 7456419661019480668268483566495874934/24208520\ 2946313562699855593405157273*c_0110_4^4 + 15881696927363749790940523783639985953/4841704058926271253997111868\ 10314546*c_0110_4^3 + 5863050087673028942707173359696471671/4841704\ 05892627125399711186810314546*c_0110_4^2 - 1037997563228735491399889566849544055/48417040589262712539971118681\ 0314546*c_0110_4 - 340870415071700941085365307686293577/24208520294\ 6313562699855593405157273, c_0101_2 + 118411511325844144536633181466577215/48417040589262712539971\ 1186810314546*c_0110_4^31 + 1116486816155752879855934285309837655/2\ 42085202946313562699855593405157273*c_0110_4^30 + 19220771070359766425272170646859317543/4841704058926271253997111868\ 10314546*c_0110_4^29 + 49790188147270776814192184473088872870/24208\ 5202946313562699855593405157273*c_0110_4^28 + 342181301506618537044961263346979018833/484170405892627125399711186\ 810314546*c_0110_4^27 + 398089878132651592845551066557102702678/242\ 085202946313562699855593405157273*c_0110_4^26 + 579824405626441659546167252385344217428/242085202946313562699855593\ 405157273*c_0110_4^25 + 538602939177301866712443628623814190287/484\ 170405892627125399711186810314546*c_0110_4^24 - 2042094591781362156494312830904842023255/48417040589262712539971118\ 6810314546*c_0110_4^23 - 6141743892378165384782230688213779357169/4\ 84170405892627125399711186810314546*c_0110_4^22 - 4414525578699450211733348621088436131151/24208520294631356269985559\ 3405157273*c_0110_4^21 - 3124453156534702963405473196058583595111/2\ 42085202946313562699855593405157273*c_0110_4^20 + 1187308426842856282320372857356328534968/24208520294631356269985559\ 3405157273*c_0110_4^19 + 6173523823622520854913636668236188587310/2\ 42085202946313562699855593405157273*c_0110_4^18 + 8248012406140386354439141876308781811668/24208520294631356269985559\ 3405157273*c_0110_4^17 + 11526501375322511532172182162450141177531/\ 484170405892627125399711186810314546*c_0110_4^16 + 575761776334695434023008240898169566378/242085202946313562699855593\ 405157273*c_0110_4^15 - 7426607757704384155464559929048984880783/48\ 4170405892627125399711186810314546*c_0110_4^14 - 9755720839745457892816937084668638375373/48417040589262712539971118\ 6810314546*c_0110_4^13 - 3390529491922765066945797633287455484809/2\ 42085202946313562699855593405157273*c_0110_4^12 - 2381924348134898686492052132420746279479/48417040589262712539971118\ 6810314546*c_0110_4^11 + 233338282893056082178935817596843119447/24\ 2085202946313562699855593405157273*c_0110_4^10 + 609189818239418389486810168277024536506/242085202946313562699855593\ 405157273*c_0110_4^9 + 413138641701894279751087233759887917484/2420\ 85202946313562699855593405157273*c_0110_4^8 + 149215828718973495306048404030885795931/242085202946313562699855593\ 405157273*c_0110_4^7 + 31669287702036872312188954049115464225/24208\ 5202946313562699855593405157273*c_0110_4^6 + 44262405920947785579621201776606121333/2420852029463135626998555934\ 05157273*c_0110_4^5 + 75278673372386161597196636596275134780/242085\ 202946313562699855593405157273*c_0110_4^4 + 97820013080516062150016459379410658195/4841704058926271253997111868\ 10314546*c_0110_4^3 + 4174021189561782539026444651344129979/2420852\ 02946313562699855593405157273*c_0110_4^2 - 6711721914791558020318958181065498666/24208520294631356269985559340\ 5157273*c_0110_4 - 2353742498300545241445515993046690895/4841704058\ 92627125399711186810314546, c_0101_5 + 32457308122185686429902994101072159/242085202946313562699855\ 593405157273*c_0110_4^31 + 620630334639049130012315430565216682/242\ 085202946313562699855593405157273*c_0110_4^30 + 5415812267857370862199772381041338266/24208520294631356269985559340\ 5157273*c_0110_4^29 + 28446749923492626084213812073576134281/242085\ 202946313562699855593405157273*c_0110_4^28 + 99181443046332951631040518645997534101/2420852029463135626998555934\ 05157273*c_0110_4^27 + 234817952324529525750931523263844378310/2420\ 85202946313562699855593405157273*c_0110_4^26 + 351669306443293505591313580298305449004/242085202946313562699855593\ 405157273*c_0110_4^25 + 187200893414504848545474393596714276783/242\ 085202946313562699855593405157273*c_0110_4^24 - 562051859303490782059727776802440384965/242085202946313562699855593\ 405157273*c_0110_4^23 - 1798921437505662610862114251780809779459/24\ 2085202946313562699855593405157273*c_0110_4^22 - 2676149473347237085446616440086175042022/24208520294631356269985559\ 3405157273*c_0110_4^21 - 2014233265953233833063145044621333551144/2\ 42085202946313562699855593405157273*c_0110_4^20 + 511089083004944128744983984851042683052/242085202946313562699855593\ 405157273*c_0110_4^19 + 3578367488402658439819990835331124249815/24\ 2085202946313562699855593405157273*c_0110_4^18 + 5016195110667162481772983779945180971940/24208520294631356269985559\ 3405157273*c_0110_4^17 + 3701567899463981401690206325769678233278/2\ 42085202946313562699855593405157273*c_0110_4^16 + 616144021227274816679064789892116689962/242085202946313562699855593\ 405157273*c_0110_4^15 - 2087310170715873212994935768285698389508/24\ 2085202946313562699855593405157273*c_0110_4^14 - 2960857495495033210255718946865624428113/24208520294631356269985559\ 3405157273*c_0110_4^13 - 2169232605474166435942189488857231800531/2\ 42085202946313562699855593405157273*c_0110_4^12 - 844497844044393851852972923388452958675/242085202946313562699855593\ 405157273*c_0110_4^11 + 72020932120189230512486735837994174697/2420\ 85202946313562699855593405157273*c_0110_4^10 + 354622855401100383180566243281840014624/242085202946313562699855593\ 405157273*c_0110_4^9 + 262163655283399200913599146164889777277/2420\ 85202946313562699855593405157273*c_0110_4^8 + 103747009737390298004005625379558077330/242085202946313562699855593\ 405157273*c_0110_4^7 + 25028609033575783902646942214314603520/24208\ 5202946313562699855593405157273*c_0110_4^6 + 27101252582881092235389079126480571367/2420852029463135626998555934\ 05157273*c_0110_4^5 + 45464330795420203514396649897799949794/242085\ 202946313562699855593405157273*c_0110_4^4 + 31538239374454444903748711301678999800/2420852029463135626998555934\ 05157273*c_0110_4^3 + 4448258644424925041037339512309142364/2420852\ 02946313562699855593405157273*c_0110_4^2 - 3600363900756294515456129179381149427/24208520294631356269985559340\ 5157273*c_0110_4 - 784174343399094787891852599222693013/24208520294\ 6313562699855593405157273, c_0101_6 + 138140710329295016789637696485853133/48417040589262712539971\ 1186810314546*c_0110_4^31 + 1302346944339288940959647607221877645/2\ 42085202946313562699855593405157273*c_0110_4^30 + 22426886718449531224219917914392316201/4841704058926271253997111868\ 10314546*c_0110_4^29 + 58147058293272111244424463249500064936/24208\ 5202946313562699855593405157273*c_0110_4^28 + 400337012967195465764594861488706658719/484170405892627125399711186\ 810314546*c_0110_4^27 + 467363865628997659899675714739042824700/242\ 085202946313562699855593405157273*c_0110_4^26 + 686082798856020945160469173941163713484/242085202946313562699855593\ 405157273*c_0110_4^25 + 669367372479557521942488279971704175477/484\ 170405892627125399711186810314546*c_0110_4^24 - 2333038755173529391829966951773298438203/48417040589262712539971118\ 6810314546*c_0110_4^23 - 7167860155562767990839990078383130336855/4\ 84170405892627125399711186810314546*c_0110_4^22 - 5222640023155533049316081289651180266375/24208520294631356269985559\ 3405157273*c_0110_4^21 - 3803335782656744753260868767005294401274/2\ 42085202946313562699855593405157273*c_0110_4^20 + 1207590084205925581612161868291843146946/24208520294631356269985559\ 3405157273*c_0110_4^19 + 7137654707535502703982327985988455218307/2\ 42085202946313562699855593405157273*c_0110_4^18 + 9766226889175293688930970986926352885670/24208520294631356269985559\ 3405157273*c_0110_4^17 + 14062298190757280078803410276769998199013/\ 484170405892627125399711186810314546*c_0110_4^16 + 972303935668934406380912519489850544146/242085202946313562699855593\ 405157273*c_0110_4^15 - 8402707585691439764580067791090961617073/48\ 4170405892627125399711186810314546*c_0110_4^14 - 11524508231457262160117837092980157549197/4841704058926271253997111\ 86810314546*c_0110_4^13 - 4133032656277996777240226041371412258819/\ 242085202946313562699855593405157273*c_0110_4^12 - 3098801078194348329492261589263628217543/48417040589262712539971118\ 6810314546*c_0110_4^11 + 190845129997701211712086495387748708330/24\ 2085202946313562699855593405157273*c_0110_4^10 + 696995470599699264291738906071969989587/242085202946313562699855593\ 405157273*c_0110_4^9 + 496787945008723886183375807120016401639/2420\ 85202946313562699855593405157273*c_0110_4^8 + 188915100329830294588119016944068218231/242085202946313562699855593\ 405157273*c_0110_4^7 + 43992029654596471058792126757861040971/24208\ 5202946313562699855593405157273*c_0110_4^6 + 53828356687959305651539624979215287251/2420852029463135626998555934\ 05157273*c_0110_4^5 + 89498648428220167655191637442766918335/242085\ 202946313562699855593405157273*c_0110_4^4 + 121017768297104698295761644501182801555/484170405892627125399711186\ 810314546*c_0110_4^3 + 7815333931417649149754784062918170705/242085\ 202946313562699855593405157273*c_0110_4^2 - 7426348714439402508660130351614904777/24208520294631356269985559340\ 5157273*c_0110_4 - 3202123408010397056907290676594252259/4841704058\ 92627125399711186810314546, c_0110_4^32 + 20*c_0110_4^31 + 184*c_0110_4^30 + 1029*c_0110_4^29 + 3873*c_0110_4^28 + 10142*c_0110_4^27 + 17875*c_0110_4^26 + 16658*c_0110_4^25 - 10742*c_0110_4^24 - 71059*c_0110_4^23 - 136347*c_0110_4^22 - 145090*c_0110_4^21 - 50054*c_0110_4^20 + 120812*c_0110_4^19 + 261990*c_0110_4^18 + 270731*c_0110_4^17 + 138798*c_0110_4^16 - 39990*c_0110_4^15 - 153758*c_0110_4^14 - 159744*c_0110_4^13 - 95694*c_0110_4^12 - 25765*c_0110_4^11 + 12546*c_0110_4^10 + 19196*c_0110_4^9 + 11596*c_0110_4^8 + 4134*c_0110_4^7 + 1620*c_0110_4^6 + 2206*c_0110_4^5 + 2407*c_0110_4^4 + 1190*c_0110_4^3 + 57*c_0110_4^2 - 150*c_0110_4 - 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB