Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 812756179] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1995 geometric_solution 5.55879969 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 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.265735944978 0.175690496290 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 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 1 -1 0 -1 0 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 1.843413239856 1.623644639626 3 1 1 4 0132 3201 0132 0132 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 0 0 0 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.576938289080 0.417169591661 2 5 4 6 0132 0132 3201 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.231182043171 1.041433068156 3 6 2 5 2310 0132 0132 1023 0 0 0 0 0 -1 1 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 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.231182043171 1.041433068156 5 3 5 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 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.583979122106 0.603874928078 6 4 3 6 3201 0132 0132 2310 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.203142672017 0.915120799569 ==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' : negation(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_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], '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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(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_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 2071003298679679611771078044589399537607043689005716672536173995613\ 859067797/444469406655084232378250434009862422931150897461167883462\ 66263942106555*c_0101_5^29 - 90055333383935558079522456178858656593\ 2431964037297995555083116605927731086/44446940665508423237825043400\ 986242293115089746116788346266263942106555*c_0101_5^28 + 5137552989806199917354420474161054234913050366800037583759496988493\ 0940593192/44446940665508423237825043400986242293115089746116788346\ 266263942106555*c_0101_5^27 + 1279599626784007710119995604083965178\ 91757331572351498255685282804656691393513/4444694066550842323782504\ 3400986242293115089746116788346266263942106555*c_0101_5^26 + 2069455808580816934797408654607628757649998137483571766320614466104\ 3936463447/88893881331016846475650086801972484586230179492233576692\ 53252788421311*c_0101_5^25 + 13448505232398940363833959566051224293\ 2889387454691969711194050005750983197946/44446940665508423237825043\ 400986242293115089746116788346266263942106555*c_0101_5^24 + 1240000787575727303581409872407922051202233276966041214069462989483\ 96112750631/8889388133101684647565008680197248458623017949223357669\ 253252788421311*c_0101_5^23 + 1892734379913490115733113473647926245\ 47141073613103998481995081103887853409887/4444694066550842323782504\ 3400986242293115089746116788346266263942106555*c_0101_5^22 - 2597727981313642351528740323268772333387747215960460087874139193384\ 94723100336/8889388133101684647565008680197248458623017949223357669\ 253252788421311*c_0101_5^21 + 8587967305574228954617050766872078560\ 1263329594641432412542102934292727908042/88893881331016846475650086\ 80197248458623017949223357669253252788421311*c_0101_5^20 + 7510985551536438837518718998586569656268156755320858789368733591003\ 873510156963/444469406655084232378250434009862422931150897461167883\ 46266263942106555*c_0101_5^19 - 75322299562306393794098334582134475\ 9849762782561007711801136205072912810332268/88893881331016846475650\ 08680197248458623017949223357669253252788421311*c_0101_5^18 - 4102289411942823051368531707257241723331765197391167959210559686913\ 0080504640592/44446940665508423237825043400986242293115089746116788\ 346266263942106555*c_0101_5^17 - 1209569123726845681647668390435143\ 862032014446852927126331336145697405804041096/444469406655084232378\ 25043400986242293115089746116788346266263942106555*c_0101_5^16 + 2068155222114587380413879481247190566064850423413286936263083521779\ 276671495196/103364978291880054041453589304619168123523464525852996\ 1541075905630385*c_0101_5^15 + 567123035468806442945086313549219429\ 61731007483565352145830842128500033547960867/4444694066550842323782\ 5043400986242293115089746116788346266263942106555*c_0101_5^14 - 1531742928816622779153115472393528220728393596177057131745864751272\ 94591234392472/4444694066550842323782504340098624229311508974611678\ 8346266263942106555*c_0101_5^13 - 134661850207249047760184122426543\ 133854210413175635546062321049360787709993463492/444469406655084232\ 37825043400986242293115089746116788346266263942106555*c_0101_5^12 + 1979613504815667993442973802038346683441189570254289146347077277240\ 92245972166138/4444694066550842323782504340098624229311508974611678\ 8346266263942106555*c_0101_5^11 + 869284065729777146342132275566999\ 31180635592962441208082753670986580032342437623/4444694066550842323\ 7825043400986242293115089746116788346266263942106555*c_0101_5^10 - 1031877616304475149485436242657767510954284446492733689009470147618\ 12506801298099/4444694066550842323782504340098624229311508974611678\ 8346266263942106555*c_0101_5^9 - 1806337414394375668918900187846668\ 211357945544488742600657734000781053785242801/888938813310168464756\ 5008680197248458623017949223357669253252788421311*c_0101_5^8 + 1162694502711016010901182312511572322885583204391716651221014906232\ 81612668662/4444694066550842323782504340098624229311508974611678834\ 6266263942106555*c_0101_5^7 + 1438939768210849014960945743043699348\ 0791862034297652100878944469278301286898136/44446940665508423237825\ 043400986242293115089746116788346266263942106555*c_0101_5^6 - 1349357307483839032154472909466968925023209427175029404804284268985\ 902267429591/444469406655084232378250434009862422931150897461167883\ 46266263942106555*c_0101_5^5 - 491216536906415906859294365124034312\ 15150713768431688130337289609611163997116/8081261939183349679604553\ 34563386223511183449929396151750295708038301*c_0101_5^4 + 4847792960998084135645745798834345858533502282672084610274040546030\ 79473815669/4444694066550842323782504340098624229311508974611678834\ 6266263942106555*c_0101_5^3 + 3469458012691794092828385559486603560\ 9892508332979994025290312151769556584548/88893881331016846475650086\ 80197248458623017949223357669253252788421311*c_0101_5^2 - 2666730765453660232193559763669688138972399188759658401186285437652\ 215377249/404063096959167483980227667281693111755591724964698075875\ 1478540191505*c_0101_5 - 460229866731481256622962609593048838797133\ 9980956815491988698644581765608674/44446940665508423237825043400986\ 242293115089746116788346266263942106555, c_0011_0 - 1, c_0011_2 + 303626742318149471375709025355502846890171459302924903004341\ 2/35264517258064940469948268758891668091227788536953868845237*c_010\ 1_5^29 + 1214884455265968594980901577359533332710859950498355160735\ 870/35264517258064940469948268758891668091227788536953868845237*c_0\ 101_5^28 - 75411120011869136351023632090810203530343732664550983254\ 975485/35264517258064940469948268758891668091227788536953868845237*\ c_0101_5^27 - 18502221198621275579755964484953585847851534245828847\ 9453712540/35264517258064940469948268758891668091227788536953868845\ 237*c_0101_5^26 - 1441012716865752108723987119802537392172887302631\ 69099059746467/3526451725806494046994826875889166809122778853695386\ 8845237*c_0101_5^25 - 188731360699580241052267619066010618859715200\ 925434651852880395/352645172580649404699482687588916680912277885369\ 53868845237*c_0101_5^24 - 89865777836959655565848372455889835864723\ 1709152665775141036939/35264517258064940469948268758891668091227788\ 536953868845237*c_0101_5^23 - 2416693167662783601962544988881708355\ 18960282784711219110733421/3526451725806494046994826875889166809122\ 7788536953868845237*c_0101_5^22 + 192886088837691067985030947909924\ 6538658750686074557126240592370/35264517258064940469948268758891668\ 091227788536953868845237*c_0101_5^21 - 685667992049703332432175973636955889988653388739413550162275106/352\ 64517258064940469948268758891668091227788536953868845237*c_0101_5^2\ 0 - 110137048880277443284062135156450301641576214128020236702957509\ 64/35264517258064940469948268758891668091227788536953868845237*c_01\ 01_5^19 + 590359610585459195975574536434399819855027804332197530170\ 6527177/35264517258064940469948268758891668091227788536953868845237\ *c_0101_5^18 + 6011211002838004946511692190100918293318644996064066\ 7455369254527/35264517258064940469948268758891668091227788536953868\ 845237*c_0101_5^17 - 3319792072562586014764708746747276052301305890\ 04330339574933440/3526451725806494046994826875889166809122778853695\ 3868845237*c_0101_5^16 - 131326337472743972827430834872685196710348\ 385291735964770760775310/352645172580649404699482687588916680912277\ 88536953868845237*c_0101_5^15 - 78993241437169058896521125634940899\ 027330431226576845177639541554/352645172580649404699482687588916680\ 91227788536953868845237*c_0101_5^14 + 229205371641118781048146008537341310463542575070936907110408198663/\ 35264517258064940469948268758891668091227788536953868845237*c_0101_\ 5^13 + 191533385505001013324431270889406106582340985610423964681349\ 541610/35264517258064940469948268758891668091227788536953868845237*\ c_0101_5^12 - 29960322065668671724526358399599884245579175245940235\ 1667051913889/35264517258064940469948268758891668091227788536953868\ 845237*c_0101_5^11 - 1212364250266903681967105815734483639355079707\ 34011649968158205207/3526451725806494046994826875889166809122778853\ 6953868845237*c_0101_5^10 + 158407444061553345761688806962823805166\ 450206353030721345284397250/352645172580649404699482687588916680912\ 27788536953868845237*c_0101_5^9 + 108930048566958849534634506297340\ 97191945021693278434128884792003/3526451725806494046994826875889166\ 8091227788536953868845237*c_0101_5^8 - 1675156245104931051330662793235409645386453026838345050744947856/35\ 264517258064940469948268758891668091227788536953868845237*c_0101_5^\ 7 - 216812465519461625179993440919425597414421996999070976569863605\ 02/35264517258064940469948268758891668091227788536953868845237*c_01\ 01_5^6 + 2470239071957411719829680283827266278677324051638497635307\ 047889/35264517258064940469948268758891668091227788536953868845237*\ c_0101_5^5 + 410494941485905419650346398882558733442358491675740561\ 6606147096/35264517258064940469948268758891668091227788536953868845\ 237*c_0101_5^4 - 79512693398051933678711506749262747777290819223051\ 0522548488351/35264517258064940469948268758891668091227788536953868\ 845237*c_0101_5^3 - 26480409191186240240944066852174543299394136667\ 3796622787562608/35264517258064940469948268758891668091227788536953\ 868845237*c_0101_5^2 + 48254469735204629409242963556947746518848371\ 294034485745644816/352645172580649404699482687588916680912277885369\ 53868845237*c_0101_5 + 73834360923105646691200297260367807391450332\ 17538803325409987/3526451725806494046994826875889166809122778853695\ 3868845237, c_0011_4 + 389082844265981289165220777533588045164545367358724041908809\ 0247323329/19710394973617926047815983769838688378321547559253564676\ 836480683861*c_0101_5^29 + 1574565766770773646049401549741310590411\ 873258537035337175658831789871/197103949736179260478159837698386883\ 78321547559253564676836480683861*c_0101_5^28 - 9662942852674806448096555404202043770703370244659718831203372794600\ 4197/19710394973617926047815983769838688378321547559253564676836480\ 683861*c_0101_5^27 - 2375362815351274853561024895280519555077466587\ 86959891281191510458006483/1971039497361792604781598376983868837832\ 1547559253564676836480683861*c_0101_5^26 - 1857181531526107928928271135846627025090304574545218451957033376396\ 63098/1971039497361792604781598376983868837832154755925356467683648\ 0683861*c_0101_5^25 - 242685907578075513157059575815479209229304894\ 832143954470958202819284631/197103949736179260478159837698386883783\ 21547559253564676836480683861*c_0101_5^24 - 1152764103527211818955871930160271979742762002267872282677933712173\ 369564/197103949736179260478159837698386883783215475592535646768364\ 80683861*c_0101_5^23 - 31498661819218441788330045507713092412046038\ 1547282344190230164510874556/19710394973617926047815983769838688378\ 321547559253564676836480683861*c_0101_5^22 + 2470449965016343415080544156871214151388821550846155884149350096785\ 264317/197103949736179260478159837698386883783215475592535646768364\ 80683861*c_0101_5^21 - 86787402892366297375650315665988279011964241\ 3005233972280296662620482998/19710394973617926047815983769838688378\ 321547559253564676836480683861*c_0101_5^20 - 1411827196138023880913383078151044787192380704166834550703014472145\ 8895471/19710394973617926047815983769838688378321547559253564676836\ 480683861*c_0101_5^19 + 7502088222950757431907285939554918992971137\ 000650758749555042407322521362/197103949736179260478159837698386883\ 78321547559253564676836480683861*c_0101_5^18 + 7706798819344564698961929021875796437992050723267097855604447403888\ 5164173/19710394973617926047815983769838688378321547559253564676836\ 480683861*c_0101_5^17 - 8231488434648097641919587656374969752233981\ 1745863550959498529200113783/19710394973617926047815983769838688378\ 321547559253564676836480683861*c_0101_5^16 - 3914047551525318209016146733641302080460982891564670448477958737863\ 989006/458381278456230838321301948135783450658640640912873597135732\ 108927*c_0101_5^15 - 1019573485382490429398023939281294261470511448\ 87994868289725346325655949272/1971039497361792604781598376983868837\ 8321547559253564676836480683861*c_0101_5^14 + 2932928762576144711855068520170343697466129789882931952492148443204\ 85413271/1971039497361792604781598376983868837832154755925356467683\ 6480683861*c_0101_5^13 + 246726711512983496799710280873949111943258\ 088140610334605882099538490738623/197103949736179260478159837698386\ 88378321547559253564676836480683861*c_0101_5^12 - 3829240425803505037989090336180422344013510078520966995598793823311\ 85988920/1971039497361792604781598376983868837832154755925356467683\ 6480683861*c_0101_5^11 - 157035028757267980802712542834250631096824\ 487612581255646975431240026805151/197103949736179260478159837698386\ 88378321547559253564676836480683861*c_0101_5^10 + 2024852636839565113623662086277528676928968123156559682531800390867\ 93267181/1971039497361792604781598376983868837832154755925356467683\ 6480683861*c_0101_5^9 + 1475557720395477748217681375945746236744673\ 5189838097061178786723135415513/19710394973617926047815983769838688\ 378321547559253564676836480683861*c_0101_5^8 - 2196074252736801669227182504633854954556130481405020574188147172718\ 772011/197103949736179260478159837698386883783215475592535646768364\ 80683861*c_0101_5^7 - 277203384600161573030337954444550587515106589\ 96570958048157560342815209457/1971039497361792604781598376983868837\ 8321547559253564676836480683861*c_0101_5^6 + 3040501170163754575244391906780129407848539698256979031489718509803\ 941285/197103949736179260478159837698386883783215475592535646768364\ 80683861*c_0101_5^5 + 528814462328143863616988691360111138377415622\ 8593423417360628558747836309/19710394973617926047815983769838688378\ 321547559253564676836480683861*c_0101_5^4 - 1007706795098291247757582380085350957681127359444717945227948402372\ 695734/197103949736179260478159837698386883783215475592535646768364\ 80683861*c_0101_5^3 - 343285008473687119394234048854909855146838221\ 146755439957276310003306088/197103949736179260478159837698386883783\ 21547559253564676836480683861*c_0101_5^2 + 6176284004589137034100272405968703870097441327335552697621349292421\ 8256/19710394973617926047815983769838688378321547559253564676836480\ 683861*c_0101_5 + 9516538724797782156054376194793490360541436688144\ 808301177811978296986/197103949736179260478159837698386883783215475\ 59253564676836480683861, c_0101_0 + 686587991299639363322366363904629328187411102200257728609236\ 123716532/197103949736179260478159837698386883783215475592535646768\ 36480683861*c_0101_5^29 + 28440437446570595933865860697913194160740\ 8272765011499710655259744440/19710394973617926047815983769838688378\ 321547559253564676836480683861*c_0101_5^28 - 1704019425205379392122622171620042018455357367646034430216604012828\ 4254/19710394973617926047815983769838688378321547559253564676836480\ 683861*c_0101_5^27 - 4207375760475356048025076428082694415434435115\ 7305091622113039198510690/19710394973617926047815983769838688378321\ 547559253564676836480683861*c_0101_5^26 - 3338620102072841666941791455306478764792294006485052541011622932683\ 7988/19710394973617926047815983769838688378321547559253564676836480\ 683861*c_0101_5^25 - 4371328507532733067535436232615018694270608400\ 5311970801590908612787185/19710394973617926047815983769838688378321\ 547559253564676836480683861*c_0101_5^24 - 2043881699404108626272707250843102035647097401934998905717949036306\ 48527/1971039497361792604781598376983868837832154755925356467683648\ 0683861*c_0101_5^23 - 582433473672501060847044160790855642256046013\ 07435700806988456451058342/1971039497361792604781598376983868837832\ 1547559253564676836480683861*c_0101_5^22 + 4326320167917928061352772667645221561491193507081845061658992438850\ 65699/1971039497361792604781598376983868837832154755925356467683648\ 0683861*c_0101_5^21 - 150351712709954029656744419345695312557096242\ 988673630682576156339463550/197103949736179260478159837698386883783\ 21547559253564676836480683861*c_0101_5^20 - 2487871155832582239916454138956925734467638875322184054512779979747\ 658894/197103949736179260478159837698386883783215475592535646768364\ 80683861*c_0101_5^19 + 12990591506085217306573829330147189976099050\ 18862113829767391173763468245/1971039497361792604781598376983868837\ 8321547559253564676836480683861*c_0101_5^18 + 1358106658032737172096405174524001274580197940225523739248858752952\ 5971795/19710394973617926047815983769838688378321547559253564676836\ 480683861*c_0101_5^17 + 1252375815906071462658263087988701708304420\ 39994231286766323378683725684/1971039497361792604781598376983868837\ 8321547559253564676836480683861*c_0101_5^16 - 6867109460602322486903537304512366766497331324755291372137661066900\ 46630/4583812784562308383213019481357834506586406409128735971357321\ 08927*c_0101_5^15 - 18237758697713055703621949502268142684201063297\ 458718428744772564039446405/197103949736179260478159837698386883783\ 21547559253564676836480683861*c_0101_5^14 + 5123336650252582597326261952388656560939418792308053017962849819868\ 0956971/19710394973617926047815983769838688378321547559253564676836\ 480683861*c_0101_5^13 + 4373253630277112949984526273362932930670724\ 7119412258219679878977202973570/19710394973617926047815983769838688\ 378321547559253564676836480683861*c_0101_5^12 - 6660148120490528577159690121283008319593199522761111020944873294238\ 8679995/19710394973617926047815983769838688378321547559253564676836\ 480683861*c_0101_5^11 - 2771519948683037820396824037895991820854007\ 1821252245787528957766804718214/19710394973617926047815983769838688\ 378321547559253564676836480683861*c_0101_5^10 + 3480705095021240352196264101305994891700343193238811583432747604926\ 3296027/19710394973617926047815983769838688378321547559253564676836\ 480683861*c_0101_5^9 + 25160686733184025008838352029804871467189763\ 82783820683215156605089432424/1971039497361792604781598376983868837\ 8321547559253564676836480683861*c_0101_5^8 - 7463236546732941380659605741675018830362239844192309795688778948999\ 0450/19710394973617926047815983769838688378321547559253564676836480\ 683861*c_0101_5^7 - 48400397341827263629219869534064258587006642575\ 11948943618568246137761919/1971039497361792604781598376983868837832\ 1547559253564676836480683861*c_0101_5^6 + 5295597634297264554098787352739687305306329846035864755801417952405\ 07924/1971039497361792604781598376983868837832154755925356467683648\ 0683861*c_0101_5^5 + 8878822907233482154373183817855363051312482792\ 42433307155159883000160442/1971039497361792604781598376983868837832\ 1547559253564676836480683861*c_0101_5^4 - 1688643504980419065438254363089549503319346521988962826162910112507\ 07688/1971039497361792604781598376983868837832154755925356467683648\ 0683861*c_0101_5^3 - 5600299860483183433668710130928044254713694370\ 5321776741716353434128625/19710394973617926047815983769838688378321\ 547559253564676836480683861*c_0101_5^2 + 9841270089134240268276411158701783111979820836187730846609007210836\ 821/197103949736179260478159837698386883783215475592535646768364806\ 83861*c_0101_5 + 15267443510221640329639586698197269973254856597937\ 15710196061025340872/1971039497361792604781598376983868837832154755\ 9253564676836480683861, c_0101_1 - 233191110278398155822162193835791405570010511811039304506008\ 1/35264517258064940469948268758891668091227788536953868845237*c_010\ 1_5^29 - 9856336936597897739313159983545529167460800713240678409434\ 62/35264517258064940469948268758891668091227788536953868845237*c_01\ 01_5^28 + 578864243306213775479164575350012784277996244443427054134\ 52060/35264517258064940469948268758891668091227788536953868845237*c\ _0101_5^27 + 143395465940160340969548781129113440085420394001744071\ 061902313/352645172580649404699482687588916680912277885369538688452\ 37*c_0101_5^26 + 11411293632691471460412997518126562111473716048048\ 3899126480956/35264517258064940469948268758891668091227788536953868\ 845237*c_0101_5^25 + 1482116184775066547342512148610979940991082689\ 39759481802916506/3526451725806494046994826875889166809122778853695\ 3868845237*c_0101_5^24 + 694397857662923057109176793836608927229920\ 815527894734047767338/352645172580649404699482687588916680912277885\ 36953868845237*c_0101_5^23 + 20225647078468634075416824556318926104\ 5310023385628367473325574/35264517258064940469948268758891668091227\ 788536953868845237*c_0101_5^22 - 1473733491302403104367400657306606\ 597449994488783397294408742163/352645172580649404699482687588916680\ 91227788536953868845237*c_0101_5^21 + 496283546244183990360714385777238862321465975364961763600126419/352\ 64517258064940469948268758891668091227788536953868845237*c_0101_5^2\ 0 + 846568258332496743473232482320436530239506550875761819754079711\ 5/35264517258064940469948268758891668091227788536953868845237*c_010\ 1_5^19 - 4345182150917989930099838462801198079597059245825966017986\ 536763/35264517258064940469948268758891668091227788536953868845237*\ c_0101_5^18 - 46233691320024875874445393396205028194581362844158716\ 368870228529/352645172580649404699482687588916680912277885369538688\ 45237*c_0101_5^17 - 77917584401499783325069165883465372563042391862\ 3144200586242528/35264517258064940469948268758891668091227788536953\ 868845237*c_0101_5^16 + 1006679458154215397419642837224483817231380\ 22645261852532805293972/3526451725806494046994826875889166809122778\ 8536953868845237*c_0101_5^15 + 628024423316724906297444376882864282\ 67155312525622549086236001585/3526451725806494046994826875889166809\ 1227788536953868845237*c_0101_5^14 - 174285109664005352437937615242462039308990151883150030303854842471/\ 35264517258064940469948268758891668091227788536953868845237*c_0101_\ 5^13 - 150530247583639978228149326343742605106074788640413712127180\ 711747/35264517258064940469948268758891668091227788536953868845237*\ c_0101_5^12 + 22631474404133901589960821749798096244250902658724501\ 8800271335124/35264517258064940469948268758891668091227788536953868\ 845237*c_0101_5^11 + 9724313340089528718923721825060356591922959890\ 8372750087907121203/35264517258064940469948268758891668091227788536\ 953868845237*c_0101_5^10 - 1191590729611306644588875037357527881595\ 27778110278458520533933425/3526451725806494046994826875889166809122\ 7788536953868845237*c_0101_5^9 - 1020618946098070066028462814396163\ 9333479788650104624016175938076/35264517258064940469948268758891668\ 091227788536953868845237*c_0101_5^8 + 983819731400713626710897779963011937288059096735974065803100299/352\ 64517258064940469948268758891668091227788536953868845237*c_0101_5^7 + 16424437313197880400778563322449892584601981992189138432227586694\ /35264517258064940469948268758891668091227788536953868845237*c_0101\ _5^6 - 158141320761048436414127037021078074496337295669805684867507\ 4813/35264517258064940469948268758891668091227788536953868845237*c_\ 0101_5^5 - 31592111753319380436166951737942737582580587591949392325\ 15481986/3526451725806494046994826875889166809122778853695386884523\ 7*c_0101_5^4 + 5715896006274174983663503016279304404502045760571436\ 77223871650/3526451725806494046994826875889166809122778853695386884\ 5237*c_0101_5^3 + 2070973235044584841523673845426641086808834910903\ 73361254438234/3526451725806494046994826875889166809122778853695386\ 8845237*c_0101_5^2 - 3553634622426767628796536903980212478840031377\ 5005504953007748/35264517258064940469948268758891668091227788536953\ 868845237*c_0101_5 - 5629156621129279622234593757264145531091207805\ 368056486589435/352645172580649404699482687588916680912277885369538\ 68845237, c_0101_3 + 269404290222784858840095250112543816792129284614763127738772\ /35264517258064940469948268758891668091227788536953868845237*c_0101\ _5^29 + 11468271225548949528890776994414039021920370365015273280361\ 5/35264517258064940469948268758891668091227788536953868845237*c_010\ 1_5^28 - 6677056373172341977847773383301486419038202786057953297344\ 450/35264517258064940469948268758891668091227788536953868845237*c_0\ 101_5^27 - 16580977320559832733271150921500020031329125869872819653\ 128190/35264517258064940469948268758891668091227788536953868845237*\ c_0101_5^26 - 13484315356792804317868593159399528279782532510110901\ 805861349/352645172580649404699482687588916680912277885369538688452\ 37*c_0101_5^25 - 17820052292648669964346062420227203460334138761921\ 421396773133/352645172580649404699482687588916680912277885369538688\ 45237*c_0101_5^24 - 80885677131042687126750508590514203729149063428\ 913434816799236/352645172580649404699482687588916680912277885369538\ 68845237*c_0101_5^23 - 24408475436171464466282070139750042170490440\ 949566269630156238/352645172580649404699482687588916680912277885369\ 53868845237*c_0101_5^22 + 16698602324604559543784605220090358792101\ 3389038139884650318519/35264517258064940469948268758891668091227788\ 536953868845237*c_0101_5^21 - 5820228750224113396883073537229057011\ 3006058647646362996210782/35264517258064940469948268758891668091227\ 788536953868845237*c_0101_5^20 - 9723140571635965083903049465434005\ 07155249998043458258651434490/3526451725806494046994826875889166809\ 1227788536953868845237*c_0101_5^19 + 497472395089445286618712289679772553732000113611926700258960573/352\ 64517258064940469948268758891668091227788536953868845237*c_0101_5^1\ 8 + 530637313010805621022705683557106544364869825076264574985241221\ 9/35264517258064940469948268758891668091227788536953868845237*c_010\ 1_5^17 + 1202875084421247372670833860797234640941598499130827274679\ 51474/35264517258064940469948268758891668091227788536953868845237*c\ _0101_5^16 - 114303158124298757614109546926577486820213083702374438\ 56673819364/3526451725806494046994826875889166809122778853695386884\ 5237*c_0101_5^15 - 726020168458830641436386383920318632753884254098\ 8950183147891985/35264517258064940469948268758891668091227788536953\ 868845237*c_0101_5^14 + 1970025966701863767663150024330881055159735\ 3255196772061744805697/35264517258064940469948268758891668091227788\ 536953868845237*c_0101_5^13 + 1712786376479862921226756647654861433\ 6285437278968219139085758508/35264517258064940469948268758891668091\ 227788536953868845237*c_0101_5^12 - 25420917066763112429844264153975355140750680923748482720429574051/3\ 5264517258064940469948268758891668091227788536953868845237*c_0101_5\ ^11 - 1060687567972541353236546521643679358177450116253680957347495\ 8195/35264517258064940469948268758891668091227788536953868845237*c_\ 0101_5^10 + 1291164949349674021323004862037599669451494039718358481\ 3052741837/35264517258064940469948268758891668091227788536953868845\ 237*c_0101_5^9 + 77152753704058352791389156477581458216300410506046\ 5475416189655/35264517258064940469948268758891668091227788536953868\ 845237*c_0101_5^8 + 25757078204134943254276276645797405231248995635\ 5431601687397026/35264517258064940469948268758891668091227788536953\ 868845237*c_0101_5^7 - 18565677424566349091498941325740367030595688\ 28891510365146560489/3526451725806494046994826875889166809122778853\ 6953868845237*c_0101_5^6 + 2212849615519328101436002736988006672327\ 90105547360681824956282/3526451725806494046994826875889166809122778\ 8536953868845237*c_0101_5^5 + 3034944113576954738066395857592048997\ 60595838577220907436699449/3526451725806494046994826875889166809122\ 7788536953868845237*c_0101_5^4 - 6111977569446130092411166656350610\ 8203422498392675022642904429/35264517258064940469948268758891668091\ 227788536953868845237*c_0101_5^3 - 17138268007555172329138348241672704015492602109250889728158253/3526\ 4517258064940469948268758891668091227788536953868845237*c_0101_5^2 + 2998965728269268038010596841065213300495190492833842135590252/35264\ 517258064940469948268758891668091227788536953868845237*c_0101_5 + 454746037001974650391411915862639159441911346812446095166985/352645\ 17258064940469948268758891668091227788536953868845237, c_0101_5^30 - 25*c_0101_5^28 - 51*c_0101_5^27 - 23*c_0101_5^26 - 43*c_0101_5^25 - 271*c_0101_5^24 + 39*c_0101_5^23 + 668*c_0101_5^22 - 480*c_0101_5^21 - 3539*c_0101_5^20 + 3397*c_0101_5^19 + 19031*c_0101_5^18 - 8040*c_0101_5^17 - 43268*c_0101_5^16 - 8694*c_0101_5^15 + 86029*c_0101_5^14 + 32923*c_0101_5^13 - 124162*c_0101_5^12 - 577*c_0101_5^11 + 68489*c_0101_5^10 - 17256*c_0101_5^9 - 2156*c_0101_5^8 - 6885*c_0101_5^7 + 3662*c_0101_5^6 + 1051*c_0101_5^5 - 812*c_0101_5^4 + 16*c_0101_5^3 + 52*c_0101_5^2 - 4*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB