Magma V2.19-8 Tue Aug 20 2013 16:18:55 on localhost [Seed = 1377029924] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3084 geometric_solution 6.25189030 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0321 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 -1 0 1 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.144916466362 1.137762612722 0 0 5 4 0132 0321 0132 0132 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 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.487969938214 0.393990672273 2 0 5 2 3201 0132 2103 2310 0 0 0 0 0 0 1 -1 1 0 0 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556834221748 0.816508203164 4 5 5 0 3201 1230 0213 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.051549642924 0.881783602196 6 6 1 3 0132 3201 0132 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 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.022554388614 1.179543652464 2 3 3 1 2103 0213 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.947185779989 1.042279862223 4 6 4 6 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.569562782168 1.151329729515 ==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' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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_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_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_5'], 'c_1010_0' : d['c_0011_5']})} 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_0011_4, c_0011_5, c_0101_0, c_0101_2, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 7151284077875930612921801008842049623273716733292917410530585207691\ 291258151010260885132024/716354207538634992645476660188293471176298\ 338254942161976458826740997784141716536049398407*c_1001_1^31 + 7436735667392964133634489371806014296921474724623980313993636109057\ 2607078722269443071604121/28654168301545399705819066407531738847051\ 93353019768647905835306963991136566866144197593628*c_1001_1^30 + 6252082514027184478248199550059606633304575640974814659697125615316\ 90673899238909402743010381/2865416830154539970581906640753173884705\ 193353019768647905835306963991136566866144197593628*c_1001_1^29 - 8213731261287180965148139713488335149647297393005301470577179505156\ 409403314407864827725817/143270841507726998529095332037658694235259\ 6676509884323952917653481995568283433072098796814*c_1001_1^28 - 3195844823194650840110083261654107029054260565682853844802055015280\ 483034272576656108449865733/286541683015453997058190664075317388470\ 5193353019768647905835306963991136566866144197593628*c_1001_1^27 - 4241636622314176023976999247777275086827256739475503890728525576426\ 523624443912072412717479829/286541683015453997058190664075317388470\ 5193353019768647905835306963991136566866144197593628*c_1001_1^26 - 1260350415649526840080114662590278516366415253943212364834232408737\ 520322120799913501300359843/286541683015453997058190664075317388470\ 5193353019768647905835306963991136566866144197593628*c_1001_1^25 + 4243142268957981953867173467311365821837886148160657556057049908518\ 491800289474683556641919759/286541683015453997058190664075317388470\ 5193353019768647905835306963991136566866144197593628*c_1001_1^24 + 1487409946356865297677772837340060536785637412427265378666271174313\ 1884635741487054884439241081/14327084150772699852909533203765869423\ 52596676509884323952917653481995568283433072098796814*c_1001_1^23 + 8662794229829515329047641436947163490611797794794152953707447800409\ 0806619476938144791541442949/28654168301545399705819066407531738847\ 05193353019768647905835306963991136566866144197593628*c_1001_1^22 + 7025700303648247802523320862002950352363968558935624759242406879576\ 533060718458012582170398365/716354207538634992645476660188293471176\ 298338254942161976458826740997784141716536049398407*c_1001_1^21 - 2242515674631495538967255224296999166404360623850643285823711376686\ 98421804516355988865574459693/2865416830154539970581906640753173884\ 705193353019768647905835306963991136566866144197593628*c_1001_1^20 - 1562831898725300174710885283884819928883082373170992883144490610159\ 79408947243691804185567342127/1432708415077269985290953320376586942\ 352596676509884323952917653481995568283433072098796814*c_1001_1^19 - 9866127350848323239677636840670846361532433247233069878032669547809\ 7833167047695578418594398017/28654168301545399705819066407531738847\ 05193353019768647905835306963991136566866144197593628*c_1001_1^18 + 1538907877251797674848075647206036393987942047601102867042940328919\ 34118156466962547831185370143/2865416830154539970581906640753173884\ 705193353019768647905835306963991136566866144197593628*c_1001_1^17 + 5711622324681930857617341953597337459759448844878206184315266207855\ 36577721339629918026916586257/2865416830154539970581906640753173884\ 705193353019768647905835306963991136566866144197593628*c_1001_1^16 + 1031978865842267865259111206033988602041218727442379794844334348651\ 899482141115115781077854014775/286541683015453997058190664075317388\ 4705193353019768647905835306963991136566866144197593628*c_1001_1^15 - 13852675850809573818495508031002517483797000555124495911544779626\ 3597432672292254572079069182111/28654168301545399705819066407531738\ 84705193353019768647905835306963991136566866144197593628*c_1001_1^1\ 4 - 204715067518032154857794470078841595350934835221147076351790285\ 5492598001452773553004865497773923/28654168301545399705819066407531\ 73884705193353019768647905835306963991136566866144197593628*c_1001_\ 1^13 - 429855266880402447944519511753232861127093093527321772374869\ 659644766393160969402548951709124593/286541683015453997058190664075\ 3173884705193353019768647905835306963991136566866144197593628*c_100\ 1_1^12 + 1992264974661261830841464531823338543392544589513990470950\ 258302251689117874873884196847854588601/286541683015453997058190664\ 0753173884705193353019768647905835306963991136566866144197593628*c_\ 1001_1^11 + 1460571399803412799463366263594897365193060802299882067\ 27749587177251198386895417774279537566424/7163542075386349926454766\ 60188293471176298338254942161976458826740997784141716536049398407*c\ _1001_1^10 - 892315200226027729439512082646705341320534754442386844\ 10509073251112828093791742020032702711003/2204166792426569208139928\ 18519474914208091796386136049838910408227999318197451241861353356*c\ _1001_1^9 - 5082128261464440547720174932554267865978162212138546974\ 81654979702177004016265090257729495675673/2865416830154539970581906\ 640753173884705193353019768647905835306963991136566866144197593628*\ c_1001_1^8 + 522073668983463108949669902724349185968734852444277040\ 986116986711428600154277782917995437570177/286541683015453997058190\ 6640753173884705193353019768647905835306963991136566866144197593628\ *c_1001_1^7 + 47036170953450381203120365780872317383580036435715974\ 71081220379533731384832014959289570090347/4940373845094034432037770\ 0702640929046641264707237390481135091499379157527014933520648166*c_\ 1001_1^6 - 16278490050088894744082987692999960277583101984634100452\ 9684185149458853735225143585209951514481/28654168301545399705819066\ 40753173884705193353019768647905835306963991136566866144197593628*c\ _1001_1^5 - 7344816682603703467949892837795204580007084824269666812\ 6725160921787745815251431509377705837799/28654168301545399705819066\ 40753173884705193353019768647905835306963991136566866144197593628*c\ _1001_1^4 - 1010493649131392739087807505363101339586615246376643413\ 2191655485439715644515073645553115049385/28654168301545399705819066\ 40753173884705193353019768647905835306963991136566866144197593628*c\ _1001_1^3 + 2824034113985191881228628314222587965209088220284372375\ 2586985296828521516882702978243281294931/28654168301545399705819066\ 40753173884705193353019768647905835306963991136566866144197593628*c\ _1001_1^2 - 1715831974741745264002012979457910911823004198834451095\ 266858739587156502833499766133085628043/143270841507726998529095332\ 0376586942352596676509884323952917653481995568283433072098796814*c_\ 1001_1 - 1501601088474027728885401814420062881759667599816280305025\ 10638845166922894254537601933336577/2865416830154539970581906640753\ 173884705193353019768647905835306963991136566866144197593628, c_0011_0 - 1, c_0011_3 + 183389480007347159373564660150559097733559507602945756765870\ 5146513697931997943732731755/49403738450940344320377700702640929046\ 641264707237390481135091499379157527014933520648166*c_1001_1^31 - 4186141883925132912197344771657167126304303011102462178909403363540\ 719488871367541336201/494037384509403443203777007026409290466412647\ 07237390481135091499379157527014933520648166*c_1001_1^30 - 4150681698597508926467267341208293330399280706078924582039991123516\ 7278704978278319167397/49403738450940344320377700702640929046641264\ 707237390481135091499379157527014933520648166*c_1001_1^29 - 1166085180653424460852214413301846368131597674876430251953022352026\ 2181144172560961537625/49403738450940344320377700702640929046641264\ 707237390481135091499379157527014933520648166*c_1001_1^28 + 2026623318248219976266220609266378229472726845664627208344762956160\ 84115025900150899099465/4940373845094034432037770070264092904664126\ 4707237390481135091499379157527014933520648166*c_1001_1^27 + 1661762703848749206207891844896527390492931941891813740192609116950\ 88069874390282256169947/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^26 + 1775484521600109273110650092963186329557689048835615725759622885770\ 99684424963524022157957/4940373845094034432037770070264092904664126\ 4707237390481135091499379157527014933520648166*c_1001_1^25 - 2116627129577785308876430889290166333700879740298255077319224870040\ 16560031108184888093429/4940373845094034432037770070264092904664126\ 4707237390481135091499379157527014933520648166*c_1001_1^24 - 1959810516056592470857680355103587193531049279368365847446987529569\ 723220868525685081603057/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^23 - 3076475670520708697763029668418585456307938552311683267110650826499\ 274326759005667501203566/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^22 - 1837251795652160866313602606108531674099873867269498195238731837187\ 997496780792435113352902/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^21 + 1331917304894223536554362232580276681865843327115162757766781385216\ 4941212356613609162987825/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^20 + 2386426557460823335662152943801111973071734746740918256121657439742\ 8437247945856984831445679/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^19 + 1314145759126765450556293825123580334782987382721581893594122586834\ 6576579462389553045851431/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^18 - 2759537593979883417298742363158289530969918380080282933365351746048\ 824419410859418160438051/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^17 - 3735371565435090883037587801122441235615526410081798071304795533958\ 1071562293360325152002961/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^16 - 3846442607463071794411545757959568518192993582212192203377263787114\ 5551957757004049536218418/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^15 - 1413119366035207342042976126673730568766254393776475318563278654427\ 7761914237189094094958555/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^14 + 6354830776988207568835498584423960917623958454412721574540111309023\ 4440273647205249078828573/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^13 + 6203457282063075442262980568756272297496972530694203090131695726613\ 7136441457533881353448795/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^12 - 1124876942303982772591539226058877997939456364958344514286175924733\ 86862589257120582494185477/4940373845094034432037770070264092904664\ 1264707237390481135091499379157527014933520648166*c_1001_1^11 - 6541624093136567708881795449397775602247679664428735512953668173589\ 7918529189208397286393971/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^10 + 4510841848803554474375209447158871310507826501367224577052149415776\ 545641999941203901276999/380028757314925725541366928481853300358778\ 9592864414652395007038413781348231917963126782*c_1001_1^9 + 2295964736947508226749378082088830839568565251935605147409401275892\ 4237248961763526581694684/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^8 - 1146372249805202758100736111987641498728087035647831044741646073010\ 8575657559391036472936518/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^7 - 1130157973211192274039933062902031990983102116652248985687191963648\ 8897422037286292287315695/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^6 + 2882525186728442631012023873543139059043245288352028655482008868303\ 180441790305481757033710/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^5 + 5559427699931573663523047855279814984370510181115738357313201035591\ 497049945060000716984625/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^4 + 8512149723673011799041620301934737623823764485319821359300144121382\ 75364179260559035482042/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^3 - 6878467773540168719263332670152276662425987194168274231376536180194\ 85761351359658649054417/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^2 + 2450993343280078593360211613082652167582018525161867676438927775393\ 0629644771839660273541/24701869225470172160188850351320464523320632\ 353618695240567545749689578763507466760324083*c_1001_1 + 4699173509653030981563837889518049881107658428621608379680446560167\ 5225359075355668037297/49403738450940344320377700702640929046641264\ 707237390481135091499379157527014933520648166, c_0011_4 + 699600340626062900078230844604547695204516867619809971238960\ 9063935395642100541012593541/24701869225470172160188850351320464523\ 320632353618695240567545749689578763507466760324083*c_1001_1^31 - 1811325249009952237901063236599200191409732119509391148134655716465\ 5504410596357974857015/24701869225470172160188850351320464523320632\ 353618695240567545749689578763507466760324083*c_1001_1^30 - 1528691445950177203181941676430815057256774504828469829788774576201\ 19767032432009709376760/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^29 + 1816470998403571435825689540616614073228812911345736564403068768992\ 224022610211114167348/247018692254701721601888503513204645233206323\ 53618695240567545749689578763507466760324083*c_1001_1^28 + 7765794083856879807910688363333485521376413795784068270407945920167\ 02022905419318953023271/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^27 + 1044531657387380952590308136790355656486669587000817024476492442118\ 204583999191421759622278/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^26 + 3425587184406665850355349944951035591853588677537715908701899456957\ 81022868285028545717119/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^25 - 9946064556581975146609472704076710880625784439742362974049806471390\ 18214216684079870373758/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^24 - 7256550841220864704604209635960393717595877917022154841486394131309\ 460935398762478728851363/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^23 - 2127831446534951307588722378261280455800102947823001507073391901610\ 0438960752065301450207924/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^22 - 7335161153178100771003535932848859003121704360293701129161042535291\ 029325806227016555947930/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^21 + 5401017787764085788470024050791808597860239875124532064393127452772\ 3011823727833229333871496/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^20 + 7653374580235618008290051609126916826529386474465172942691582419515\ 0817281819084283561027918/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^19 + 2632201659283685653709807195479917183539100560802908833232259191534\ 0867089801768492952179291/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^18 - 3465754937904434084753035323001048153059550790689184754933903913840\ 9633201585999258613330327/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^17 - 1380057041835676898676097915339666830745798722838055882807290566887\ 22979097078338339033411361/2470186922547017216018885035132046452332\ 0632353618695240567545749689578763507466760324083*c_1001_1^16 - 2537037296585693821338698579403864169538882597942639318544996110681\ 83951967606025144281800527/2470186922547017216018885035132046452332\ 0632353618695240567545749689578763507466760324083*c_1001_1^15 + 2724600298628538686705637025557900063869444217270468113678845840431\ 3682275743812126368010786/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^14 + 4918152593757286323301401846710777501179373752172515995319790482569\ 53491465201561880865747246/2470186922547017216018885035132046452332\ 0632353618695240567545749689578763507466760324083*c_1001_1^13 + 1078616856495809669971281286570803566494055131541823560240878317901\ 86453432722869533282463930/2470186922547017216018885035132046452332\ 0632353618695240567545749689578763507466760324083*c_1001_1^12 - 4739646713880760136562008275947362834810869967322605368136540489648\ 99213102994566655986024740/2470186922547017216018885035132046452332\ 0632353618695240567545749689578763507466760324083*c_1001_1^11 - 1417134628171096568350465551694052821206439573936930632164490970080\ 03261822526913333507470724/2470186922547017216018885035132046452332\ 0632353618695240567545749689578763507466760324083*c_1001_1^10 + 2099080803572330563746736986424324380021210650459592640719504630994\ 8992110768267817648553685/19001437865746286277068346424092665017938\ 94796432207326197503519206890674115958981563391*c_1001_1^9 + 1207558752148970652989291771816318983738674042651246920722893367357\ 86795411599043174071652407/2470186922547017216018885035132046452332\ 0632353618695240567545749689578763507466760324083*c_1001_1^8 - 1222314719870911167652145251354483139836413652615710444293266588364\ 86538410755477194283345683/2470186922547017216018885035132046452332\ 0632353618695240567545749689578763507466760324083*c_1001_1^7 - 6391988193439657396125819348301729384097972464723549002844570556915\ 7059081120194331814573515/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^6 + 3745116733990297246582457061023642069464002183310137556291552477687\ 2829489440789958377913182/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^5 + 1651382289908809995214609070232218409369599112463636744881470597394\ 6141839165673854450361831/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^4 + 2735647672686154780461661866058861665892946066571685294904437591523\ 188230712810744133371931/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^3 - 6426355520986963926162242886691659536219545488626886448599486420312\ 280033657713434255856754/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^2 + 8873031881510759141188244105434067782465791084631338595517931844108\ 93769467245763809744301/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1 - 2205984130311374527774158823806936517316033673950791019508662725313\ 5053177842878623409587/24701869225470172160188850351320464523320632\ 353618695240567545749689578763507466760324083, c_0011_5 + 105126774978536272507883346578985747670546069110680970777692\ 4222692084431246087665656223/49403738450940344320377700702640929046\ 641264707237390481135091499379157527014933520648166*c_1001_1^31 - 2478197019970519702855991762817879514565013669243634251234932698834\ 435389238689297377631/494037384509403443203777007026409290466412647\ 07237390481135091499379157527014933520648166*c_1001_1^30 - 1172986917629702312572218616088541916523633614348783427515498556511\ 4467740403556906499109/24701869225470172160188850351320464523320632\ 353618695240567545749689578763507466760324083*c_1001_1^29 - 5437436186319538148631639414906709049111300424579224407178123531398\ 322870118039545769895/494037384509403443203777007026409290466412647\ 07237390481135091499379157527014933520648166*c_1001_1^28 + 1138010650601580162853397531642700233415338361912072713686186978806\ 09703647215961536796891/4940373845094034432037770070264092904664126\ 4707237390481135091499379157527014933520648166*c_1001_1^27 + 1841059123587911856972816713367974973308849090970051057220732932328\ 31081958914243205191785/4940373845094034432037770070264092904664126\ 4707237390481135091499379157527014933520648166*c_1001_1^26 + 1017033615125222038007853112650554029063738783205474507394944984233\ 00915742362639165778551/4940373845094034432037770070264092904664126\ 4707237390481135091499379157527014933520648166*c_1001_1^25 - 5851305401623347830058553583466561479685787826509417216804357277249\ 7017233514242078085226/24701869225470172160188850351320464523320632\ 353618695240567545749689578763507466760324083*c_1001_1^24 - 1111408585920635520167907009036177210201343219039237858235340151091\ 587258592350933310944223/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^23 - 1731319576361504241349941610960023177476646186138240719997732908914\ 359171466714753030472061/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^22 - 1985606847863883144307669937638163288078471299368677171046464703566\ 284758955192704259905185/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^21 + 3717239899931983936296834354302937210988814748449221905413678444768\ 139676318146840557656107/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^20 + 1319398709670048892874964994044772390538080241320624086700583354630\ 5000831205628009911986117/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^19 + 7494581880564131655241215876544168120221903312872532766554507480536\ 809676307473604027771447/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^18 - 2841480930388693473765129679918659801304303621907085352441398792142\ 632002599080073321491705/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^17 - 2095761332543153445928815266784863662924356126415882315744934854025\ 8941114661804566593015207/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^16 - 4306554189036598654644997803134510320168625244197594216118750134852\ 2441977148337375457438883/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^15 - 7274955975042641098670818446751729786434620115704627775616025136022\ 120114624979085208936177/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^14 + 6967761024741501160314555939510109239420310637914295105552911484309\ 9774094127294315844104275/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^13 + 3290262332917152005769557293690589899733184454180694669261626253619\ 0222558659740446240742789/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^12 - 3007251408950091774132316481942775541960863088297909435657787674729\ 6651590605631801523917306/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^11 - 3523587468621900894458648323177239945123914912948416270983391304435\ 7890917379045625477816457/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^10 + 2381761326948374236198675259197181329663223155143932832580213540860\ 929756048831209327405535/380028757314925725541366928481853300358778\ 9592864414652395007038413781348231917963126782*c_1001_1^9 + 2473252951218804525860468823345613476789023724247551132261223241760\ 7230850860323505816891159/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^8 - 6060791118283039639471432296322976275581598847804156505255908765891\ 320867776122130187431103/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^7 - 1195042501330647563653060942704738245017166702914020524062419361529\ 8363757719254312598377449/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^6 + 2773109640381104405581048739951849210728773180500254509118510331975\ 323798701180337135843359/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^5 + 3146304209194711949916161594114934298907363993566758086395844106904\ 827265972435596406899095/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^4 + 8497114344425025593835880348866051330031713485742605985611978216776\ 48490430640823817163297/4940373845094034432037770070264092904664126\ 4707237390481135091499379157527014933520648166*c_1001_1^3 - 3677634611540897502232801392458028219619947552708152625333488008815\ 38573633399306583562677/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^2 + 2738346226851271591350985063659888612297168681549712055299470386967\ 1286447950441237938181/49403738450940344320377700702640929046641264\ 707237390481135091499379157527014933520648166*c_1001_1 + 2414045809331900165527309904737581312619890443124858813942145573518\ 0351976740834511873644/24701869225470172160188850351320464523320632\ 353618695240567545749689578763507466760324083, c_0101_0 - 386754327032308048472345759871338232396367372884327744611533\ 7606056435783218940067129973/49403738450940344320377700702640929046\ 641264707237390481135091499379157527014933520648166*c_1001_1^31 + 5548037885574828413959683366142376515599965497585693858094673936652\ 721128001181456377730/247018692254701721601888503513204645233206323\ 53618695240567545749689578763507466760324083*c_1001_1^30 + 8208882599304546395966689496328399607414030811641218340482451079984\ 9824536777689877190845/49403738450940344320377700702640929046641264\ 707237390481135091499379157527014933520648166*c_1001_1^29 - 2578216517402720398267521628773885962144748223150013216232061531705\ 1214790609044640429125/49403738450940344320377700702640929046641264\ 707237390481135091499379157527014933520648166*c_1001_1^28 - 2184049498580921668795510586874341600167468424010349835565965100649\ 06854402881591111452362/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^27 - 2275865766303913367549086972283239903159089614076827889771832794248\ 98777730390023373656814/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^26 + 5152125884717725794580021644198672273165224809640373369167411103999\ 424094195396123089536/247018692254701721601888503513204645233206323\ 53618695240567545749689578763507466760324083*c_1001_1^25 + 6495306757454123287442592418404149414373399630081002763435762017188\ 36743193410328147325401/4940373845094034432037770070264092904664126\ 4707237390481135091499379157527014933520648166*c_1001_1^24 + 3878619514786599777019426755818529370375641926598689866246654825829\ 622502396178061566269285/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^23 + 1059565860675003820360693768852548831327880450331812997384363659784\ 2857520268668906866931273/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^22 + 3869630737686554595187883144591566447711783312360826603999344533824\ 07094263288151138285507/4940373845094034432037770070264092904664126\ 4707237390481135091499379157527014933520648166*c_1001_1^21 - 3205168977765683578038849306287809355811875765574260935640047607009\ 0102090063884319648508651/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^20 - 3417531994492820016781562019027632171493492870910548402002220996090\ 3899982861461287284584723/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^19 - 7684297731822507768708525101789508599822824412655539249202533117992\ 0930947588979810812437/24701869225470172160188850351320464523320632\ 353618695240567545749689578763507466760324083*c_1001_1^18 + 1329932339356687876478180000306079920198025616403180059373777032284\ 3082509723160303008426858/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^17 + 3622471688422738252746040440430476619117941452226359193825056414884\ 5624126402636020500170564/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^16 + 5885870323749198995208635299400430599686764491693144667543045846001\ 4103864228611317975687988/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^15 - 3050608741773668332552235082580731997447864377708571424280270297120\ 8077828984111840755849211/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^14 - 1399201667578067649342448291645859058004986139247907292408288370512\ 02867082574531540238308314/2470186922547017216018885035132046452332\ 0632353618695240567545749689578763507466760324083*c_1001_1^13 + 9505216537385313739887877440277763049496409453984446058950846785811\ 321345009911187822895504/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^12 + 2996498418963873142559062901310634928821596821782306873622020604773\ 01685697235369057230087473/4940373845094034432037770070264092904664\ 1264707237390481135091499379157527014933520648166*c_1001_1^11 + 6668309167193120259402923074136498544309359024814464557365982214415\ 537772308730564822777169/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^10 - 7325250618911367469428891747295623253309906605245143621409635110384\ 364168568487092580673023/190014378657462862770683464240926650179389\ 4796432207326197503519206890674115958981563391*c_1001_1^9 - 1437341558385809289441524314166356805038375687688403153786176620336\ 1510301305546511627278528/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^8 + 9578909654911412643970855484910248479785769157647085137617657862933\ 2518948167744815572257397/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^7 + 2039103043997809900020245916331483552913377050407784908852724764788\ 5386926471839082255061379/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^6 - 1746465177936767302343859758905857910850517764992701350119280990544\ 7839248810302536675547231/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^5 - 2534654311683813283607797223891915491611949939640934244170447306129\ 630282971623393438174831/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^4 + 8971582837425844180255665226853697568144791954670279397694514558588\ 20029328796996784644925/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^3 + 4709948331894318737188931070617155696194685480722732379557861041705\ 854192391569854538093859/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^2 - 1391759207932639550937364848888816986851481856263901238237023575719\ 528395974801390509908233/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1 + 3710657767838117789258821201990768652452337860311334276024520206241\ 5715974468998351128793/49403738450940344320377700702640929046641264\ 707237390481135091499379157527014933520648166, c_0101_2 + 428101069254477604554499791445691248569573816773207828750789\ 5200124999680476311466869401/49403738450940344320377700702640929046\ 641264707237390481135091499379157527014933520648166*c_1001_1^31 - 1239172931572037001937992170081500889815564641249215822764334036842\ 5313079238874760818385/49403738450940344320377700702640929046641264\ 707237390481135091499379157527014933520648166*c_1001_1^30 - 9027684619884454674576461213716243290015551976581711084704304143487\ 6198794984972442815605/49403738450940344320377700702640929046641264\ 707237390481135091499379157527014933520648166*c_1001_1^29 + 2978825312506819332222800008908662025351998458888101307875811303023\ 8487805531939510895071/49403738450940344320377700702640929046641264\ 707237390481135091499379157527014933520648166*c_1001_1^28 + 4781253094478466378505970714235570788520390359698050752296067404809\ 85568155149520233611337/4940373845094034432037770070264092904664126\ 4707237390481135091499379157527014933520648166*c_1001_1^27 + 2490169323590081369438927232506620262470747181900375231713620920726\ 49785984629664236977969/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^26 - 9341663611719254078473789221812822755584715227491212913065321897584\ 94727807196246252115/4940373845094034432037770070264092904664126470\ 7237390481135091499379157527014933520648166*c_1001_1^25 - 7104597991947365222370919182388018725663977251554691203544199365502\ 66516665426277719086229/4940373845094034432037770070264092904664126\ 4707237390481135091499379157527014933520648166*c_1001_1^24 - 4281148309615983011322301638859447251964130127620287574789523066651\ 082190057560433149824839/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^23 - 5827199193624516406023790470283271330119150193789697387733440607610\ 228832338941647992261479/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^22 - 1806801517705035709038514375233071624236905887057299785369747182784\ 92612246341578560598967/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^21 + 3498195256090781575117564084128681294814438889908328277271826907724\ 9803326372127989562869713/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^20 + 3739064646279583744834720625163964656609204214959250927928608299761\ 6736544927583975351661083/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^19 + 8822046206447816754068004948493849831446733917561743493424915241355\ 53202452703624254633487/4940373845094034432037770070264092904664126\ 4707237390481135091499379157527014933520648166*c_1001_1^18 - 1440384391341621722504993544758743369873763172163117248948957524314\ 6021502140264677038065037/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^17 - 7994499431620050063230038803292215537766108597110759292294164036948\ 8990603952491447260085577/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^16 - 6469454035999945006794498124547002158728820580636850917331787400817\ 1131801052050512876095515/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^15 + 6721207245579286809540746956508425495742082092216628285676947999376\ 6045093851447055221004691/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^14 + 1518531958687182602299883489169186983688614884987046166692011216791\ 65735116751598149330573284/2470186922547017216018885035132046452332\ 0632353618695240567545749689578763507466760324083*c_1001_1^13 - 2051751569749318662127085040353936758757172836362490668467387901304\ 5562517293652892903774259/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^12 - 3211965545765095384900010819619957184210144488210085225248260133529\ 04921714299609877744602887/4940373845094034432037770070264092904664\ 1264707237390481135091499379157527014933520648166*c_1001_1^11 - 1061619576212954480305441983373785782566084728970554723382816362187\ 2362218033590090622875615/49403738450940344320377700702640929046641\ 264707237390481135091499379157527014933520648166*c_1001_1^10 + 1559503501603628321488853153829039122725121659372916180778513179342\ 7325693960178663450048835/38002875731492572554136692848185330035877\ 89592864414652395007038413781348231917963126782*c_1001_1^9 + 1704400884349109959543501049956947064652982254626906867526813915576\ 7128223632146670406005449/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^8 - 5066450405978841423499076975268667426576069075805805509422980617445\ 3340288644794790755846916/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^7 - 1158532369081303131921042774981637151255802898331483615919605364609\ 9965897632406306351611565/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^6 + 1785387407337039113990240989811260906779302241072929672342014171720\ 0822653631606739001085842/24701869225470172160188850351320464523320\ 632353618695240567545749689578763507466760324083*c_1001_1^5 + 6503036812389063009906559246953093113633162904934080374753552914492\ 851008498538692637243317/494037384509403443203777007026409290466412\ 64707237390481135091499379157527014933520648166*c_1001_1^4 - 8093720078380513530720210337647707841662173681266088497398712247063\ 17828911426045533445798/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1^3 - 2510299056735815854790780845161686464861948790855701136185061326484\ 880635690488820371276662/247018692254701721601888503513204645233206\ 32353618695240567545749689578763507466760324083*c_1001_1^2 + 6451370502590548341258396093313795684528014277318425715786818559559\ 62036841794509152130565/2470186922547017216018885035132046452332063\ 2353618695240567545749689578763507466760324083*c_1001_1 - 3385824430663860185479794139346412240569787467990338686948785828761\ 5257127240657888497299/49403738450940344320377700702640929046641264\ 707237390481135091499379157527014933520648166, c_1001_1^32 - 8/3*c_1001_1^31 - 65/3*c_1001_1^30 + 2*c_1001_1^29 + 334/3*c_1001_1^28 + 422/3*c_1001_1^27 + 107/3*c_1001_1^26 - 445/3*c_1001_1^25 - 3082/3*c_1001_1^24 - 2959*c_1001_1^23 - 2387/3*c_1001_1^22 + 23552/3*c_1001_1^21 + 10358*c_1001_1^20 + 8396/3*c_1001_1^19 - 16252/3*c_1001_1^18 - 19425*c_1001_1^17 - 104030/3*c_1001_1^16 + 21059/3*c_1001_1^15 + 211750/3*c_1001_1^14 + 9931*c_1001_1^13 - 209837/3*c_1001_1^12 - 15258*c_1001_1^11 + 124324/3*c_1001_1^10 + 43768/3*c_1001_1^9 - 57868/3*c_1001_1^8 - 24199/3*c_1001_1^7 + 6277*c_1001_1^6 + 6253/3*c_1001_1^5 + 160*c_1001_1^4 - 2992/3*c_1001_1^3 + 583/3*c_1001_1^2 - 4*c_1001_1 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB