Magma V2.19-8 Tue Aug 20 2013 23:38:21 on localhost [Seed = 4105343196] Type ? for help. Type -D to quit. Loading file "K10a43__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a43 geometric_solution 9.81749519 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.470080942035 0.704957495231 0 3 3 4 0132 1302 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504735277347 0.514171333743 5 0 0 6 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.470080942035 0.704957495231 1 5 0 1 2310 3120 0132 2031 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 -5 1 4 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 1.308201207131 0.612748644440 7 5 1 8 0132 0213 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -4 0 -1 5 4 0 0 -4 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.944892180233 1.639588869444 2 3 4 7 0132 3120 0213 0213 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 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.111869053714 1.321229220870 8 9 2 9 0213 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -5 5 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631023308712 0.585051532818 4 8 10 5 0132 0132 0132 0213 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 0 -4 4 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.341676437377 1.410188844690 6 7 4 10 0213 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -1 5 0 -5 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.299033813997 0.242962825404 10 6 10 6 0132 0132 0213 0213 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 4 0 -4 0 -5 5 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631023308712 0.585051532818 9 9 8 7 0132 0213 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 -1 1 0 -4 0 0 4 0 4 0 -4 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771225444532 1.222859435636 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : negation(d['c_1001_2']), 'c_1001_7' : d['c_1001_10'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_1001_8'], 'c_1010_10' : d['c_1001_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : d['c_1001_10'], 'c_1100_8' : negation(d['c_0011_3']), 'c_1100_5' : d['c_1001_8'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_1001_0'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_1001_0'], 'c_1100_10' : negation(d['c_0011_3']), 'c_1010_7' : d['c_1001_8'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_1001_8'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_1001_10'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_4'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_10'], '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_0110_10' : d['c_0011_10'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_1001_0, c_1001_10, c_1001_2, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 1624241691676254245321933068473630145033680420031900002764550154931\ 9961/51822270621882337546921776829578274279899108195150414109319531\ 1947*c_1001_8^22 + 298412479407374922950141403427774329682365442210\ 95363148088529534428190/5182227062188233754692177682957827427989910\ 81951504141093195311947*c_1001_8^21 - 9407169997487819316369902082929679666550349997990429545601125198459\ 3869/51822270621882337546921776829578274279899108195150414109319531\ 1947*c_1001_8^20 + 276175289409466025936792627150656643627925073924\ 40783152942830728849567/3986328509375564426686290525352174944607623\ 7073192626237938100919*c_1001_8^19 - 7713521464463398267528597983493494889873576459771042139258514082238\ 19334/5182227062188233754692177682957827427989910819515041410931953\ 11947*c_1001_8^18 + 15306930304443365512366502980719047033991313604\ 58893484078891901312389181/5182227062188233754692177682957827427989\ 91081951504141093195311947*c_1001_8^17 - 2084459778641113434917553996143622215576243778325151449822062383097\ 53631/3048368860110725738054222166445780839994065187950024359371737\ 1291*c_1001_8^16 + 670320106914209108273193318667126113279366248113\ 1286269267554316353901976/51822270621882337546921776829578274279899\ 1081951504141093195311947*c_1001_8^15 - 7554709312924417659664037005198775413145322966242033326231663966257\ 07493/3986328509375564426686290525352174944607623707319262623793810\ 0919*c_1001_8^14 + 133468948647611338035790751645222300104975960453\ 82976702045762712748466259/5182227062188233754692177682957827427989\ 91081951504141093195311947*c_1001_8^13 - 1378876218221800653804956759800612020513134899942223854917274684598\ 272718/398632850937556442668629052535217494460762370731926262379381\ 00919*c_1001_8^12 + 18722158925026796408876204271063255130482411376\ 999620273431975340670115602/518222706218823375469217768295782742798\ 991081951504141093195311947*c_1001_8^11 - 9501674685716519509815082568085253009678676328394347943548545638395\ 206372/518222706218823375469217768295782742798991081951504141093195\ 311947*c_1001_8^10 - 5139232929742537069573126137981732539015815540\ 459507740509748362541671100/518222706218823375469217768295782742798\ 991081951504141093195311947*c_1001_8^9 + 1263455190951004150785203650620667717175905528381122688535590288570\ 2902178/51822270621882337546921776829578274279899108195150414109319\ 5311947*c_1001_8^8 - 9870961328142601731361349964319816210316859683\ 808093241594580516115208624/518222706218823375469217768295782742798\ 991081951504141093195311947*c_1001_8^7 + 4118823913331841352821609654964685953050312249941628889391741199627\ 797285/518222706218823375469217768295782742798991081951504141093195\ 311947*c_1001_8^6 - 51294829691511286199691632185205475745333177715\ 0770255033065053565370162/51822270621882337546921776829578274279899\ 1081951504141093195311947*c_1001_8^5 - 8682195860551654202586190063152141281287707087905311999953990883747\ 53883/5182227062188233754692177682957827427989910819515041410931953\ 11947*c_1001_8^4 + 161091855743265927417482884319521695456214309361\ 05752753322328393620010/1263957820045910671876140898282396933656075\ 8096378149782760861267*c_1001_8^3 - 4756960663176782311457120522690907867277638959091962296194394971742\ 3047/51822270621882337546921776829578274279899108195150414109319531\ 1947*c_1001_8^2 - 1209140788454893292318541498301877665024755153132\ 40381272740939987840763/5182227062188233754692177682957827427989910\ 81951504141093195311947*c_1001_8 - 1455816263956677568793125274646996878707220865727178042997029745638\ 9006/51822270621882337546921776829578274279899108195150414109319531\ 1947, c_0011_0 - 1, c_0011_10 - 23492481372332649251032517316187697780801100340351569880958\ 4/12313672237353082679483518693561477706113063640992014144401*c_100\ 1_8^22 + 4074689014431881213294802729715566909571795705598329325191\ 00/12313672237353082679483518693561477706113063640992014144401*c_10\ 01_8^21 - 130832604184981509651066924907520569358850215850606195549\ 2896/12313672237353082679483518693561477706113063640992014144401*c_\ 1001_8^20 + 5036424557319174685421994803956177592332145053484264859\ 661384/12313672237353082679483518693561477706113063640992014144401*\ c_1001_8^19 - 10573042202995792565980150099850589501388133482366589\ 629041212/123136722373530826794835186935614777061130636409920141444\ 01*c_1001_8^18 + 20803647507100123490667830637361032891797228659787\ 528307133784/123136722373530826794835186935614777061130636409920141\ 44401*c_1001_8^17 - 28561864899504845673533816385021391437163299646\ 24376106780574/7243336610207695693813834525624398650654743318230596\ 55553*c_1001_8^16 + 90828454945558244086574134624035992073217951368\ 959382135135676/123136722373530826794835186935614777061130636409920\ 14144401*c_1001_8^15 - 13013189585329273907916279311249793666463485\ 0513473046960408822/12313672237353082679483518693561477706113063640\ 992014144401*c_1001_8^14 + 1746740857739416691074805853361014050768\ 57083985274768758871891/1231367223735308267948351869356147770611306\ 3640992014144401*c_1001_8^13 - 233661234646153833810356106870668555\ 535698923324804413354616774/123136722373530826794835186935614777061\ 13063640992014144401*c_1001_8^12 + 236110758341349769877015470293269945066050462482127106626149066/123\ 13672237353082679483518693561477706113063640992014144401*c_1001_8^1\ 1 - 98728422744504393850388803642959743290094489611497487002118913/\ 12313672237353082679483518693561477706113063640992014144401*c_1001_\ 8^10 - 100457567530418206744576294585623484034746727924581875335751\ 762/12313672237353082679483518693561477706113063640992014144401*c_1\ 001_8^9 + 182956539391688596374224043518046911989707092958854517652\ 227949/12313672237353082679483518693561477706113063640992014144401*\ c_1001_8^8 - 123752600814767222371692694961998430324232422790667799\ 326132168/123136722373530826794835186935614777061130636409920141444\ 01*c_1001_8^7 + 389024159967076507804394648206342683220746628649098\ 36015787382/1231367223735308267948351869356147770611306364099201414\ 4401*c_1001_8^6 + 4997587640337427374569826075066566444284709661807\ 572795469889/123136722373530826794835186935614777061130636409920141\ 44401*c_1001_8^5 - 170052169331514866815828937694067491862298234749\ 57144896210538/1231367223735308267948351869356147770611306364099201\ 4144401*c_1001_8^4 + 9499293811927957338979670214092034917378620457\ 219835359120150/123136722373530826794835186935614777061130636409920\ 14144401*c_1001_8^3 + 356413284082154767259264655394018450128498722\ 325650905146738/123136722373530826794835186935614777061130636409920\ 14144401*c_1001_8^2 - 213418471453384344710432159127339909196109010\ 2392853087762729/12313672237353082679483518693561477706113063640992\ 014144401*c_1001_8 - 2894938250402857684148855729211584225060438922\ 18443965284038/1231367223735308267948351869356147770611306364099201\ 4144401, c_0011_3 - 141481261934294823932691021372296812585830628122935018721424\ /12313672237353082679483518693561477706113063640992014144401*c_1001\ _8^22 + 25462013780039337647312271793624328006030488412567236127260\ 8/12313672237353082679483518693561477706113063640992014144401*c_100\ 1_8^21 - 8061300500050244160611137103245585190704223211870850206611\ 16/12313672237353082679483518693561477706113063640992014144401*c_10\ 01_8^20 + 309015097176995884964958479396200888596391748844065833606\ 9550/12313672237353082679483518693561477706113063640992014144401*c_\ 1001_8^19 - 6580561247982623610854300037413522961833668502125088035\ 931090/12313672237353082679483518693561477706113063640992014144401*\ c_1001_8^18 + 13001806961857487341265417707391823390664021367425453\ 625941388/123136722373530826794835186935614777061130636409920141444\ 01*c_1001_8^17 - 17762584955313066108443295027726831565528811234506\ 21709807476/7243336610207695693813834525624398650654743318230596555\ 53*c_1001_8^16 + 56884832024933840398191474975579311513240300357831\ 510149639062/123136722373530826794835186935614777061130636409920141\ 44401*c_1001_8^15 - 82558570617918476257318134320426381507965772368\ 755289665444020/123136722373530826794835186935614777061130636409920\ 14144401*c_1001_8^14 + 11153941037967007293887422101353304101705643\ 4010761939191867088/12313672237353082679483518693561477706113063640\ 992014144401*c_1001_8^13 - 1495194980637610165220006743685388405119\ 93222246172269763089420/1231367223735308267948351869356147770611306\ 3640992014144401*c_1001_8^12 + 154064879232831350751185377387823388\ 443829130026058405396758322/123136722373530826794835186935614777061\ 13063640992014144401*c_1001_8^11 - 72369362051533396189900349033094245892794994449013261401132526/1231\ 3672237353082679483518693561477706113063640992014144401*c_1001_8^10 - 52457250620260477175757675173906091078135618627747053291461246/12\ 313672237353082679483518693561477706113063640992014144401*c_1001_8^\ 9 + 111164212357866185607607902797294427104985900159261977583696773\ /12313672237353082679483518693561477706113063640992014144401*c_1001\ _8^8 - 815757868137498314793188488347663534517190694696733560497230\ 03/12313672237353082679483518693561477706113063640992014144401*c_10\ 01_8^7 + 3043302585204021116178342152451819482143326574743400943361\ 1230/12313672237353082679483518693561477706113063640992014144401*c_\ 1001_8^6 - 90277786875172663395825573327524853242462772021905495593\ 7297/12313672237353082679483518693561477706113063640992014144401*c_\ 1001_8^5 - 90611446259234013606974978697602861503509878144268212247\ 13829/12313672237353082679483518693561477706113063640992014144401*c\ _1001_8^4 + 5934827286320569716050177476711294398708278042523698871\ 412115/12313672237353082679483518693561477706113063640992014144401*\ c_1001_8^3 - 176659497002547820738686670607788103720067040542981300\ 322034/12313672237353082679483518693561477706113063640992014144401*\ c_1001_8^2 - 117438059182648623244313089290706521236356913681718560\ 9465465/12313672237353082679483518693561477706113063640992014144401\ *c_1001_8 - 1422635035085780768350684176001767363286663710489171900\ 99991/12313672237353082679483518693561477706113063640992014144401, c_0011_4 - 323376315688688704289714481493246788447626104386121832365544\ /12313672237353082679483518693561477706113063640992014144401*c_1001\ _8^22 + 57518555715543427300658920069552640531251064831454810263393\ 6/12313672237353082679483518693561477706113063640992014144401*c_100\ 1_8^21 - 1833594196697100704917969278404034777461777624596789737632\ 250/12313672237353082679483518693561477706113063640992014144401*c_1\ 001_8^20 + 70271057223940504113038940611052046351132581930628679784\ 13420/12313672237353082679483518693561477706113063640992014144401*c\ _1001_8^19 - 149066316897906900045664702691256736502290438651372823\ 07969462/1231367223735308267948351869356147770611306364099201414440\ 1*c_1001_8^18 + 294592466504431651829918484675034461765825663038551\ 58974292654/1231367223735308267948351869356147770611306364099201414\ 4401*c_1001_8^17 - 402842795005334572741633182056763644073713631163\ 3355863466010/72433366102076956938138345256243986506547433182305965\ 5553*c_1001_8^16 + 128756330817316478027830451583770640480345056469\ 771684870620880/123136722373530826794835186935614777061130636409920\ 14144401*c_1001_8^15 - 18644610307379090563049998263562725653753256\ 3351219442397054306/12313672237353082679483518693561477706113063640\ 992014144401*c_1001_8^14 + 2517418422767424138536068988158931461652\ 68814136454907340893690/1231367223735308267948351869356147770611306\ 3640992014144401*c_1001_8^13 - 337325108011653308853117882491364350\ 592145874292012829693617350/123136722373530826794835186935614777061\ 13063640992014144401*c_1001_8^12 + 346269801687524277845790652621455424003127535651931068287262096/123\ 13672237353082679483518693561477706113063640992014144401*c_1001_8^1\ 1 - 159759020590166913963026032994676707520160280326554186977943304\ /12313672237353082679483518693561477706113063640992014144401*c_1001\ _8^10 - 12213642299742343446257924499053025035245717598716535936900\ 8270/12313672237353082679483518693561477706113063640992014144401*c_\ 1001_8^9 + 25195170932033617484829730786733576347248444223185829106\ 7747104/12313672237353082679483518693561477706113063640992014144401\ *c_1001_8^8 - 18252282365984785185108734145348464198884859220235748\ 4907912720/12313672237353082679483518693561477706113063640992014144\ 401*c_1001_8^7 + 66576112980943448430372701395963478145232635664240\ 215121522277/123136722373530826794835186935614777061130636409920141\ 44401*c_1001_8^6 - 814706985052815655413196753056343493060463171146\ 157331076457/123136722373530826794835186935614777061130636409920141\ 44401*c_1001_8^5 - 207184710701268314134258243187561596271444959148\ 17414689216087/1231367223735308267948351869356147770611306364099201\ 4144401*c_1001_8^4 + 1320707930445957260077430058955719930457123017\ 5294127807637476/12313672237353082679483518693561477706113063640992\ 014144401*c_1001_8^3 - 22092436070781031754071514673810390634746877\ 8240369722619489/12313672237353082679483518693561477706113063640992\ 014144401*c_1001_8^2 - 26835362997265428029501739713476808942900577\ 53777509917994714/1231367223735308267948351869356147770611306364099\ 2014144401*c_1001_8 - 340278079342362836409863903238073182903077006\ 715813097156275/123136722373530826794835186935614777061130636409920\ 14144401, c_0101_0 - 188069519480126247872160560870787999882742939183246504208688\ /12313672237353082679483518693561477706113063640992014144401*c_1001\ _8^22 + 32902807979235674954247323802748125002083776785568452083408\ 0/12313672237353082679483518693561477706113063640992014144401*c_100\ 1_8^21 - 1051408283846795585821118126604581058506892898925454790438\ 380/12313672237353082679483518693561477706113063640992014144401*c_1\ 001_8^20 + 40477453843395703744395698255985318590397606314663113100\ 86856/12313672237353082679483518693561477706113063640992014144401*c\ _1001_8^19 - 852153181742050965818221101495364471534174529365782139\ 6928844/12313672237353082679483518693561477706113063640992014144401\ *c_1001_8^18 + 1677087609424261915801135758104882028273610003827615\ 6523307988/12313672237353082679483518693561477706113063640992014144\ 401*c_1001_8^17 - 2300605716912262616658032331684519865020885938619\ 597536199999/724333661020769569381383452562439865065474331823059655\ 553*c_1001_8^16 + 7327106942197736121631102709887714479231982494310\ 0138917005035/12313672237353082679483518693561477706113063640992014\ 144401*c_1001_8^15 - 1051971512765963792256979112145246482067576257\ 03997925848249882/1231367223735308267948351869356147770611306364099\ 2014144401*c_1001_8^14 + 141321234706212286510992034109149620856301\ 302309982012390099139/123136722373530826794835186935614777061130636\ 40992014144401*c_1001_8^13 - 18911589645038778888314790740726692944\ 0306984650369909783185073/12313672237353082679483518693561477706113\ 063640992014144401*c_1001_8^12 + 1917801942647645016723618173452805\ 66320275994382064291255764831/1231367223735308267948351869356147770\ 6113063640992014144401*c_1001_8^11 - 81832954909186604585923038072782054226355936998303592561894564/1231\ 3672237353082679483518693561477706113063640992014144401*c_1001_8^10 - 79023346331134148167723401750403381423953004184724536030448581/12\ 313672237353082679483518693561477706113063640992014144401*c_1001_8^\ 9 + 147086700089954808800801186190143201272688043089021204224623206\ /12313672237353082679483518693561477706113063640992014144401*c_1001\ _8^8 - 100701495070003113585904002098996029472433667921680829101815\ 771/12313672237353082679483518693561477706113063640992014144401*c_1\ 001_8^7 + 325325156813203788628664415939407973790026467950924639976\ 43742/12313672237353082679483518693561477706113063640992014144401*c\ _1001_8^6 + 3279492425497915984922287382967037831196662415011967505\ 025477/12313672237353082679483518693561477706113063640992014144401*\ c_1001_8^5 - 134125451017554507146389244878298487699803823154284707\ 91304555/1231367223735308267948351869356147770611306364099201414440\ 1*c_1001_8^4 + 7677145622636856546976201323386167295340663319605858\ 961852569/123136722373530826794835186935614777061130636409920141444\ 01*c_1001_8^3 + 214750778772374240849307702869257138339492717349411\ 732720096/123136722373530826794835186935614777061130636409920141444\ 01*c_1001_8^2 - 169358551996601052866387063079433784971424570650640\ 0377489379/12313672237353082679483518693561477706113063640992014144\ 401*c_1001_8 - 2298666581944033194992153677707234162463012980352141\ 15888678/1231367223735308267948351869356147770611306364099201414440\ 1, c_0101_1 - 56919184320180126516384584972025633996624077530381408739978/\ 12313672237353082679483518693561477706113063640992014144401*c_1001_\ 8^22 + 96541058802847652061131744596903087607258745507139744874328/\ 12313672237353082679483518693561477706113063640992014144401*c_1001_\ 8^21 - 314447335609438352030891673327171160733734383583054701678714\ /12313672237353082679483518693561477706113063640992014144401*c_1001\ _8^20 + 12100867314632039922262611394112213844429757397797945621987\ 98/12313672237353082679483518693561477706113063640992014144401*c_10\ 01_8^19 - 252123667281051729349544212829195314515536403727389330625\ 8398/12313672237353082679483518693561477706113063640992014144401*c_\ 1001_8^18 + 4968875545594855104680530435519297814889402669471190461\ 992212/12313672237353082679483518693561477706113063640992014144401*\ c_1001_8^17 - 68365122401949434060233065577233372181998547766081171\ 9091456/724333661020769569381383452562439865065474331823059655553*c\ _1001_8^16 + 216582367552675175494517776772145447095647007483223019\ 59264868/1231367223735308267948351869356147770611306364099201414440\ 1*c_1001_8^15 - 309362092910312852591675415672970721557596511346298\ 53947626634/1231367223735308267948351869356147770611306364099201414\ 4401*c_1001_8^14 + 415628194775846969906973600629141215476820393573\ 88381533310348/1231367223735308267948351869356147770611306364099201\ 4144401*c_1001_8^13 - 556294297632487014836767125823570028670265541\ 38599850632938666/1231367223735308267948351869356147770611306364099\ 2014144401*c_1001_8^12 + 559393574022112651940734943793113513560862\ 43198033124070722484/1231367223735308267948351869356147770611306364\ 0992014144401*c_1001_8^11 - 229525917147356715283222572668561891504\ 74978707253880678034342/1231367223735308267948351869356147770611306\ 3640992014144401*c_1001_8^10 - 240359365786440242615702128066442413\ 99883258603118713127537648/1231367223735308267948351869356147770611\ 3063640992014144401*c_1001_8^9 + 4281121006104070064965445104810585\ 1985418804575230579734575632/12313672237353082679483518693561477706\ 113063640992014144401*c_1001_8^8 - 28518560379294996389189885608730027559588927420615174501954661/1231\ 3672237353082679483518693561477706113063640992014144401*c_1001_8^7 + 8857563366579102893341425405380964325280173881618556707692452/12313\ 672237353082679483518693561477706113063640992014144401*c_1001_8^6 + 1069346262963757729928856472268968919910438998655408242816737/12313\ 672237353082679483518693561477706113063640992014144401*c_1001_8^5 - 3776593510642073465675986385367967074849246296728677615723829/12313\ 672237353082679483518693561477706113063640992014144401*c_1001_8^4 + 2044265217983493578802824341840522760191057673217144525914787/12313\ 672237353082679483518693561477706113063640992014144401*c_1001_8^3 + 187917729694373387322850896597907556247823384951768157150926/123136\ 72237353082679483518693561477706113063640992014144401*c_1001_8^2 - 519967831928395353913238122117732088306200848242214532311003/123136\ 72237353082679483518693561477706113063640992014144401*c_1001_8 - 86727227808278729490966594712780128939442825191922547168470/1231367\ 2237353082679483518693561477706113063640992014144401, c_0101_10 - 12444134276897320429991536447199782929195925149777252286960\ /724333661020769569381383452562439865065474331823059655553*c_1001_8\ ^22 + 21014637907745040398866061869859184520154719711605046328488/7\ 24333661020769569381383452562439865065474331823059655553*c_1001_8^2\ 1 - 68120777149355632805973530711195057334464737207706072354936/724\ 333661020769569381383452562439865065474331823059655553*c_1001_8^20 + 263200658923421500249945417565510716096561256326981809336144/724333\ 661020769569381383452562439865065474331823059655553*c_1001_8^19 - 546639537349918792289956934478757586592491755062803522115518/724333\ 661020769569381383452562439865065474331823059655553*c_1001_8^18 + 1071673365051514571744059722199319158527586781385167070627292/72433\ 3661020769569381383452562439865065474331823059655553*c_1001_8^17 - 2511198193717988747774404532399426015169579628534357310618856/72433\ 3661020769569381383452562439865065474331823059655553*c_1001_8^16 + 4672425812876436584067799760684462658197245693488760473226590/72433\ 3661020769569381383452562439865065474331823059655553*c_1001_8^15 - 6624779202103321449212617900959405485079435608821950025632720/72433\ 3661020769569381383452562439865065474331823059655553*c_1001_8^14 + 8844200489041731110240589928627717522250651208351102972461482/72433\ 3661020769569381383452562439865065474331823059655553*c_1001_8^13 - 11811402061053777760036754130136068561793170865817990756877880/7243\ 33661020769569381383452562439865065474331823059655553*c_1001_8^12 + 11741612776845850905032794418246217136770604551650833408305084/7243\ 33661020769569381383452562439865065474331823059655553*c_1001_8^11 - 4388399289688921301449444036805349065039019969899412373906332/72433\ 3661020769569381383452562439865065474331823059655553*c_1001_8^10 - 5857469551688388084102006263448695155498146444349819368454944/72433\ 3661020769569381383452562439865065474331823059655553*c_1001_8^9 + 9643035087122156742295090236842219490023844878297873582875216/72433\ 3661020769569381383452562439865065474331823059655553*c_1001_8^8 - 6107825118816745756180153496294399672544544327615318741172958/72433\ 3661020769569381383452562439865065474331823059655553*c_1001_8^7 + 1611082893416348324676010659837055173703707199432052976585440/72433\ 3661020769569381383452562439865065474331823059655553*c_1001_8^6 + 520735688349932739519652588818070110793701411345095062184238/724333\ 661020769569381383452562439865065474331823059655553*c_1001_8^5 - 985701843008778293740050428971985863241586555402221944341888/724333\ 661020769569381383452562439865065474331823059655553*c_1001_8^4 + 494741005677472869471307059741282420115474105633766568022329/724333\ 661020769569381383452562439865065474331823059655553*c_1001_8^3 + 44052173168653160829641384231302271885085657130982303681554/7243336\ 61020769569381383452562439865065474331823059655553*c_1001_8^2 - 120839627576168797527081048428278898247818426247946100878925/724333\ 661020769569381383452562439865065474331823059655553*c_1001_8 - 17442120136847962880863993350945890668556983497837381268321/7243336\ 61020769569381383452562439865065474331823059655553, c_1001_0 + 141481261934294823932691021372296812585830628122935018721424\ /12313672237353082679483518693561477706113063640992014144401*c_1001\ _8^22 - 25462013780039337647312271793624328006030488412567236127260\ 8/12313672237353082679483518693561477706113063640992014144401*c_100\ 1_8^21 + 8061300500050244160611137103245585190704223211870850206611\ 16/12313672237353082679483518693561477706113063640992014144401*c_10\ 01_8^20 - 309015097176995884964958479396200888596391748844065833606\ 9550/12313672237353082679483518693561477706113063640992014144401*c_\ 1001_8^19 + 6580561247982623610854300037413522961833668502125088035\ 931090/12313672237353082679483518693561477706113063640992014144401*\ c_1001_8^18 - 13001806961857487341265417707391823390664021367425453\ 625941388/123136722373530826794835186935614777061130636409920141444\ 01*c_1001_8^17 + 17762584955313066108443295027726831565528811234506\ 21709807476/7243336610207695693813834525624398650654743318230596555\ 53*c_1001_8^16 - 56884832024933840398191474975579311513240300357831\ 510149639062/123136722373530826794835186935614777061130636409920141\ 44401*c_1001_8^15 + 82558570617918476257318134320426381507965772368\ 755289665444020/123136722373530826794835186935614777061130636409920\ 14144401*c_1001_8^14 - 11153941037967007293887422101353304101705643\ 4010761939191867088/12313672237353082679483518693561477706113063640\ 992014144401*c_1001_8^13 + 1495194980637610165220006743685388405119\ 93222246172269763089420/1231367223735308267948351869356147770611306\ 3640992014144401*c_1001_8^12 - 154064879232831350751185377387823388\ 443829130026058405396758322/123136722373530826794835186935614777061\ 13063640992014144401*c_1001_8^11 + 72369362051533396189900349033094245892794994449013261401132526/1231\ 3672237353082679483518693561477706113063640992014144401*c_1001_8^10 + 52457250620260477175757675173906091078135618627747053291461246/12\ 313672237353082679483518693561477706113063640992014144401*c_1001_8^\ 9 - 111164212357866185607607902797294427104985900159261977583696773\ /12313672237353082679483518693561477706113063640992014144401*c_1001\ _8^8 + 815757868137498314793188488347663534517190694696733560497230\ 03/12313672237353082679483518693561477706113063640992014144401*c_10\ 01_8^7 - 3043302585204021116178342152451819482143326574743400943361\ 1230/12313672237353082679483518693561477706113063640992014144401*c_\ 1001_8^6 + 90277786875172663395825573327524853242462772021905495593\ 7297/12313672237353082679483518693561477706113063640992014144401*c_\ 1001_8^5 + 90611446259234013606974978697602861503509878144268212247\ 13829/12313672237353082679483518693561477706113063640992014144401*c\ _1001_8^4 - 5934827286320569716050177476711294398708278042523698871\ 412115/12313672237353082679483518693561477706113063640992014144401*\ c_1001_8^3 + 176659497002547820738686670607788103720067040542981300\ 322034/12313672237353082679483518693561477706113063640992014144401*\ c_1001_8^2 + 117438059182648623244313089290706521236356913681718560\ 9465465/12313672237353082679483518693561477706113063640992014144401\ *c_1001_8 + 1422635035085780768350684176001767363286663710489171900\ 99991/12313672237353082679483518693561477706113063640992014144401, c_1001_10 - 14393668845825924456948324442657100516310632742170974390822\ 0/12313672237353082679483518693561477706113063640992014144401*c_100\ 1_8^22 + 2460031437479195914769681626653268730811627642374872080073\ 36/12313672237353082679483518693561477706113063640992014144401*c_10\ 01_8^21 - 794398314883103465720589534284190245929439591627578996097\ 948/12313672237353082679483518693561477706113063640992014144401*c_1\ 001_8^20 + 30641237607126097961560824448910928343012419252789758257\ 90160/12313672237353082679483518693561477706113063640992014144401*c\ _1001_8^19 - 639411470657739177639400465264299954606538272510175443\ 6937847/12313672237353082679483518693561477706113063640992014144401\ *c_1001_8^18 + 1256401588702268800174907848704102566186973520458850\ 8746541595/12313672237353082679483518693561477706113063640992014144\ 401*c_1001_8^17 - 1728534884159049823230313471419189001713672373115\ 152625311245/724333661020769569381383452562439865065474331823059655\ 553*c_1001_8^16 + 5481046829995130927865679643704999885605263221168\ 4329374854920/12313672237353082679483518693561477706113063640992014\ 144401*c_1001_8^15 - 7812940664397257029478140113143122050246020323\ 1772076234388620/12313672237353082679483518693561477706113063640992\ 014144401*c_1001_8^14 + 1046379489185522194746315403642234977576213\ 26134485142973949597/1231367223735308267948351869356147770611306364\ 0992014144401*c_1001_8^13 - 139890232871639778968564719653421568092\ 176936547167680487990044/123136722373530826794835186935614777061130\ 63640992014144401*c_1001_8^12 + 14025972062258981128375522137534012\ 5460226533418524879201005398/12313672237353082679483518693561477706\ 113063640992014144401*c_1001_8^11 - 55781445528564266104315385546076175950162051819140325399961197/1231\ 3672237353082679483518693561477706113063640992014144401*c_1001_8^10 - 64220124058896466485972222921869879213664970809432556586971116/12\ 313672237353082679483518693561477706113063640992014144401*c_1001_8^\ 9 + 111281862304326239160660418490521802713325097334100288433730481\ /12313672237353082679483518693561477706113063640992014144401*c_1001\ _8^8 - 729550303835168388770877477115637577758685922089530440861557\ 28/12313672237353082679483518693561477706113063640992014144401*c_10\ 01_8^7 + 2134928626433583543721592933858433292546086307781118397973\ 8296/12313672237353082679483518693561477706113063640992014144401*c_\ 1001_8^6 + 42396974556903978418025854247109791984723736876273763929\ 49643/12313672237353082679483518693561477706113063640992014144401*c\ _1001_8^5 - 1067459845631363707174010636773678301958388109387964766\ 5473548/12313672237353082679483518693561477706113063640992014144401\ *c_1001_8^4 + 57096463551124809526183885787918262435572224750990373\ 67388858/1231367223735308267948351869356147770611306364099201414440\ 1*c_1001_8^3 + 3452021038373906020802437689046170455366589364473216\ 81639361/1231367223735308267948351869356147770611306364099201414440\ 1*c_1001_8^2 - 1339465874923117968943478471163800699858717160296825\ 469725168/123136722373530826794835186935614777061130636409920141444\ 01*c_1001_8 - 18828489285852218636389456708308841533207785095587674\ 7685477/12313672237353082679483518693561477706113063640992014144401\ , c_1001_2 - 62305484178743285589630762262582149677384455460204695965712/\ 12313672237353082679483518693561477706113063640992014144401*c_1001_\ 8^22 + 108875773848131180472069545693898157290874216867084524134624\ /12313672237353082679483518693561477706113063640992014144401*c_1001\ _8^21 - 34840213537547999672622975325146661844725523444202145682640\ 0/12313672237353082679483518693561477706113063640992014144401*c_100\ 1_8^20 + 1339778933969360910293004191469177525740279765984278168897\ 096/12313672237353082679483518693561477706113063640992014144401*c_1\ 001_8^19 - 28219424010541414689783399154405246867322818735209123919\ 23316/12313672237353082679483518693561477706113063640992014144401*c\ _1001_8^18 + 555194987745944779094453789449442369399180838794367612\ 8544204/12313672237353082679483518693561477706113063640992014144401\ *c_1001_8^17 - 7614951907084677585604274453742372275801303009266413\ 31606620/724333661020769569381383452562439865065474331823059655553*\ c_1001_8^16 + 24254546317240237611138843795838916825813213462463400\ 209788843/123136722373530826794835186935614777061130636409920141444\ 01*c_1001_8^15 - 34815537839503369258268934264175540697827521404299\ 364329976830/123136722373530826794835186935614777061130636409920141\ 44401*c_1001_8^14 + 46748154539538179554313227861499465986652415957\ 171649924051663/123136722373530826794835186935614777061130636409920\ 14144401*c_1001_8^13 - 62556484794940286905704264928133124687224583\ 653336254376085969/123136722373530826794835186935614777061130636409\ 92014144401*c_1001_8^12 + 63423505465839691347456155986683223180341\ 078660397414445771235/123136722373530826794835186935614777061130636\ 40992014144401*c_1001_8^11 - 26985255868896137033897615036565076806\ 648865350159248013840624/123136722373530826794835186935614777061130\ 63640992014144401*c_1001_8^10 - 26306719110738411689987645429423980\ 990809244723823198123613497/123136722373530826794835186935614777061\ 13063640992014144401*c_1001_8^9 + 487523101584946278408736503629536\ 84106625756493945851941408452/1231367223735308267948351869356147770\ 6113063640992014144401*c_1001_8^8 - 33237997413889792331323711547266173998236167428861209218209663/1231\ 3672237353082679483518693561477706113063640992014144401*c_1001_8^7 + 10629761711659979127335128526453224414113215778243387282913426/1231\ 3672237353082679483518693561477706113063640992014144401*c_1001_8^6 + 1116028423123964422617845007545255100539277541966188557287737/12313\ 672237353082679483518693561477706113063640992014144401*c_1001_8^5 - 4412480333420538370178712882173098600392987640857742158807351/12313\ 672237353082679483518693561477706113063640992014144401*c_1001_8^4 + 2528696148914780504177157618480318417380303053372042388597413/12313\ 672237353082679483518693561477706113063640992014144401*c_1001_8^3 + 63738172188656793858772629485714159571206379025411476095160/1231367\ 2237353082679483518693561477706113063640992014144401*c_1001_8^2 - 561377848842114110488817358822004810755241570522288541185427/123136\ 72237353082679483518693561477706113063640992014144401*c_1001_8 - 83411274333289279962090245702936363195906995545434914282181/1231367\ 2237353082679483518693561477706113063640992014144401, c_1001_8^23 - 124/77*c_1001_8^22 + 59/11*c_1001_8^21 - 1599/77*c_1001_8^20 + 3265/77*c_1001_8^19 - 6406/77*c_1001_8^18 + 15105/77*c_1001_8^17 - 27870/77*c_1001_8^16 + 5590/11*c_1001_8^15 - 52284/77*c_1001_8^14 + 69966/77*c_1001_8^13 - 9794/11*c_1001_8^12 + 23662/77*c_1001_8^11 + 35976/77*c_1001_8^10 - 55318/77*c_1001_8^9 + 33239/77*c_1001_8^8 - 8262/77*c_1001_8^7 - 2708/77*c_1001_8^6 + 5094/77*c_1001_8^5 - 2350/77*c_1001_8^4 - 486/77*c_1001_8^3 + 60/7*c_1001_8^2 + 186/77*c_1001_8 + 13/77 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.240 Total time: 0.450 seconds, Total memory usage: 32.09MB