Magma V2.19-8 Tue Aug 20 2013 16:17:57 on localhost [Seed = 1713896099] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2181 geometric_solution 5.64430071 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510196343542 0.138291991305 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 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.663924178674 0.356624352299 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -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 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 1.775027100014 1.436393920527 5 2 6 4 0132 0132 0132 3120 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476285605830 0.549374419134 3 6 2 5 3120 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 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.476285605830 0.549374419134 3 5 5 4 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612813885757 0.912585403595 6 4 6 3 2310 0132 3201 0132 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 0 0 0 1 0 -1 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.799697451977 0.636904145891 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 1181891814477090742502269000960660396716934380116358713118080853439\ 99496728517282459687037896015847636251400414778657/3242380504323669\ 6184473212972819114891334762714275576668637515921258114834726103574\ 201226949042258425747986136533707*c_1001_3^26 - 1450910121741066849859561883490712955853881019496516045834299893251\ 627266836056313638242407500952653107806908843584048/324238050432366\ 9618447321297281911489133476271427557666863751592125811483472610357\ 4201226949042258425747986136533707*c_1001_3^25 - 8845564479851664576499170227011055659114732197593625503945985686545\ 36267371371658565078215536419995355172871920946135/4631972149033813\ 7406390304246884449844763946734679395240910737030368735478180147963\ 14460992720322632249712305219101*c_1001_3^24 + 1009161300717527083550652882975822384901651148389470742118920852270\ 280026917817703332363073810789734249834611329155662/324238050432366\ 9618447321297281911489133476271427557666863751592125811483472610357\ 4201226949042258425747986136533707*c_1001_3^23 + 9857841843676973959089960644033777575235484853330838834013949984066\ 88993940757195276245125815359058561538212360174232/4631972149033813\ 7406390304246884449844763946734679395240910737030368735478180147963\ 14460992720322632249712305219101*c_1001_3^22 - 2215816410537243861571725871160873591980653651135848894120983382989\ 6795094780194807406456527238912033562049881338089171/10459291949431\ 1923175720041847803596423660524884759924737540373939542305918471301\ 8522620224162653497604773746339797*c_1001_3^21 - 3270541420503209927943338975543094050746790781292821209372200108137\ 382123336829312434737370659616207811507581291752977698/324238050432\ 3669618447321297281911489133476271427557666863751592125811483472610\ 3574201226949042258425747986136533707*c_1001_3^20 - 7223429860700487359614878883298284619560891657280345463954732458599\ 18862195050548011636532389282289124783584698371520139/3242380504323\ 6696184473212972819114891334762714275576668637515921258114834726103\ 574201226949042258425747986136533707*c_1001_3^19 + 2697297255426153662289940264501556228573027634544697413260927001224\ 7585350146736254546426187693676659235071929621365815979/32423805043\ 2366961844732129728191148913347627142755766686375159212581148347261\ 03574201226949042258425747986136533707*c_1001_3^18 + 6748886917397503243499037311844488916951494422767861004985782942222\ 25705974832562869537849541212544380258571476369409466/4631972149033\ 8137406390304246884449844763946734679395240910737030368735478180147\ 96314460992720322632249712305219101*c_1001_3^17 - 1058119319557658894220304136749938377778292570812632405814835134791\ 68908396504617013461572483396291881569487398528923815234/3242380504\ 3236696184473212972819114891334762714275576668637515921258114834726\ 103574201226949042258425747986136533707*c_1001_3^16 - 1078073188269059108134936822263430819689503210636124315195906282892\ 72760463688604046470583681790503862614214388651833047133/3242380504\ 3236696184473212972819114891334762714275576668637515921258114834726\ 103574201226949042258425747986136533707*c_1001_3^15 + 9437356348947573112754855593460497949254882393657098422579042189953\ 33970057110240954006003721707220842802590624676924961698/3242380504\ 3236696184473212972819114891334762714275576668637515921258114834726\ 103574201226949042258425747986136533707*c_1001_3^14 - 6268801830129350744533062199330738792142391605207892271606644606933\ 51209504888526065380988287966768833812179708365990860802/3242380504\ 3236696184473212972819114891334762714275576668637515921258114834726\ 103574201226949042258425747986136533707*c_1001_3^13 - 3144012964948195598454859533771077801217495289177499882662514916957\ 48748534282339203166447158178380253926986397800792849905/4631972149\ 0338137406390304246884449844763946734679395240910737030368735478180\ 14796314460992720322632249712305219101*c_1001_3^12 + 3536824728532176577829512992400122010570500968384216219053157817104\ 231850478542252170336900742176989240012941786787934998245/324238050\ 4323669618447321297281911489133476271427557666863751592125811483472\ 6103574201226949042258425747986136533707*c_1001_3^11 + 2243673274181332303105985336779374761357525159173358101618600395924\ 682094040254237677581667239912763603508567866108770172/324238050432\ 3669618447321297281911489133476271427557666863751592125811483472610\ 3574201226949042258425747986136533707*c_1001_3^10 - 3717969191655724530595098199113119436355641221994516731988008233407\ 095038941284212885390852963428571303507445769820751224415/324238050\ 4323669618447321297281911489133476271427557666863751592125811483472\ 6103574201226949042258425747986136533707*c_1001_3^9 + 3731398326464634136093084499860829283677151883192640291902446240598\ 67277027108325966871975453580294965687779928066112338319/4631972149\ 0338137406390304246884449844763946734679395240910737030368735478180\ 14796314460992720322632249712305219101*c_1001_3^8 + 4600500437770255481092529091225361977546679074968965850398934607413\ 13474548439061708178814970829665022520719415568448022750/3242380504\ 3236696184473212972819114891334762714275576668637515921258114834726\ 103574201226949042258425747986136533707*c_1001_3^7 - 1949699226428886162241732516616358183433046488785069433328582845407\ 33487640546006352286568784526261506003066051711969629100/4631972149\ 0338137406390304246884449844763946734679395240910737030368735478180\ 14796314460992720322632249712305219101*c_1001_3^6 + 6100039619679183916565550882753227850566104396218270868990081206629\ 19732169102962153271466773564456294589519200918051978277/3242380504\ 3236696184473212972819114891334762714275576668637515921258114834726\ 103574201226949042258425747986136533707*c_1001_3^5 + 1257645333468963734715097336272573583768629352940231468939924675901\ 603860949108066396340451918377329476526004507224850172/324238050432\ 3669618447321297281911489133476271427557666863751592125811483472610\ 3574201226949042258425747986136533707*c_1001_3^4 - 1422907040745874822756521779630923370815389845654764544155993840461\ 6943796929864255521646050654214713868314126002870372560/46319721490\ 3381374063903042468844498447639467346793952409107370303687354781801\ 4796314460992720322632249712305219101*c_1001_3^3 + 3146572131023204189764288181023761060408377976173622795209885775420\ 1640509106953822958829970285977587637186955382187555953/32423805043\ 2366961844732129728191148913347627142755766686375159212581148347261\ 03574201226949042258425747986136533707*c_1001_3^2 - 5114758319076472393099472540412978084952402567097466543721008302602\ 34040258539120602091237528183779394407810246105713735/3242380504323\ 6696184473212972819114891334762714275576668637515921258114834726103\ 574201226949042258425747986136533707*c_1001_3 - 9508090509484255783349515843913080188365777086535838024693521219576\ 1411109587746134524990188915113570647631983702185857/46319721490338\ 1374063903042468844498447639467346793952409107370303687354781801479\ 6314460992720322632249712305219101, c_0011_0 - 1, c_0011_1 - 222044210461883523289655213338979838941811054776676918609077\ 862914964831721539882919181958866882610678419/152348110587034273618\ 4252341786899162664619561084802534707283547468422127781106417148363\ 347402920296741734623*c_1001_3^26 - 2186407044080685697744246344745662949103140827079048633417401642044\ 495389623003341656527485449785880372680/152348110587034273618425234\ 1786899162664619561084802534707283547468422127781106417148363347402\ 920296741734623*c_1001_3^25 - 4663467497359738427108668372413224606\ 4163549880206005445752175589720334721934837350297930305790793875127\ 81/1523481105870342736184252341786899162664619561084802534707283547\ 468422127781106417148363347402920296741734623*c_1001_3^24 + 3465529619475859911835674704749835153087504444925122207239309404230\ 7496324198340788285996422132066791633091/15234811058703427361842523\ 4178689916266461956108480253470728354746842212778110641714836334740\ 2920296741734623*c_1001_3^23 + 296240010077490735534491510193452907\ 2776183194587250505118232755365660314766852153025535411465294969344\ 3656/15234811058703427361842523417868991626646195610848025347072835\ 47468422127781106417148363347402920296741734623*c_1001_3^22 - 1310328961340790433458420098852088236195767303676119441958036200259\ 420492586222035760378244382843967240118121/152348110587034273618425\ 2341786899162664619561084802534707283547468422127781106417148363347\ 402920296741734623*c_1001_3^21 - 3021128595693043890780226267201156\ 1323647739818236171386013917538880628769579482837246829270340127557\ 14518911/1523481105870342736184252341786899162664619561084802534707\ 283547468422127781106417148363347402920296741734623*c_1001_3^20 + 1557995656055266007706825535617629466370391050717313939505232382594\ 5996615568813122449310080154600189238647704/15234811058703427361842\ 5234178689916266461956108480253470728354746842212778110641714836334\ 7402920296741734623*c_1001_3^19 + 649511490362831412041764903808070\ 1903588398145922306074919198202264086513226907933535474442325986553\ 8417954424/15234811058703427361842523417868991626646195610848025347\ 07283547468422127781106417148363347402920296741734623*c_1001_3^18 - 1045704974658785574841345459707230337943300645354956789329586944443\ 69300035577638055469444177360660048463878321/1523481105870342736184\ 2523417868991626646195610848025347072835474684221277811064171483633\ 47402920296741734623*c_1001_3^17 - 2927501471546638656096115241613533274228620125011313528111793712185\ 98157405252596884810919941757942716953518788/1523481105870342736184\ 2523417868991626646195610848025347072835474684221277811064171483633\ 47402920296741734623*c_1001_3^16 + 2173367961315371059837377004503510256126090756096987375172098124972\ 84683584521181760225463148784728591384550855/1523481105870342736184\ 2523417868991626646195610848025347072835474684221277811064171483633\ 47402920296741734623*c_1001_3^15 + 2531894590080252403512730875711455553445909523526297522023916901248\ 409572432023198326748778436320326856416129175/152348110587034273618\ 4252341786899162664619561084802534707283547468422127781106417148363\ 347402920296741734623*c_1001_3^14 - 4988091371740155759921299749073321139009701288505507346685279197351\ 296094723239415822275695035850827290153033270/152348110587034273618\ 4252341786899162664619561084802534707283547468422127781106417148363\ 347402920296741734623*c_1001_3^13 - 3702223680142820098519189509247689642269880883718138658280016399136\ 101595795159819705449971065663358873646791745/152348110587034273618\ 4252341786899162664619561084802534707283547468422127781106417148363\ 347402920296741734623*c_1001_3^12 + 1687869691533727797038203493225962063057816163200972142919687122051\ 2945877152936486998394304802598578878839751258/15234811058703427361\ 8425234178689916266461956108480253470728354746842212778110641714836\ 3347402920296741734623*c_1001_3^11 - 9568661859641797870564354343403864347733296090955402799708234675717\ 029977137568479780289535552064715503424534704/152348110587034273618\ 4252341786899162664619561084802534707283547468422127781106417148363\ 347402920296741734623*c_1001_3^10 - 1292493699843042432132299667597027769913448474452251384769005359984\ 9344506428634455186056406174907996020943230947/15234811058703427361\ 8425234178689916266461956108480253470728354746842212778110641714836\ 3347402920296741734623*c_1001_3^9 + 1789620606489154073247866956384812489397577106208480143610765297482\ 3868342553332769614956175340628642206964956412/15234811058703427361\ 8425234178689916266461956108480253470728354746842212778110641714836\ 3347402920296741734623*c_1001_3^8 - 2834152854727867712549949681347634446340096493465563758006220348496\ 341001474930667808618920281917408502107047308/152348110587034273618\ 4252341786899162664619561084802534707283547468422127781106417148363\ 347402920296741734623*c_1001_3^7 - 6844023934982939790742150984938781550283923151275663526557324734203\ 733134947733634658561301348160909022844224311/152348110587034273618\ 4252341786899162664619561084802534707283547468422127781106417148363\ 347402920296741734623*c_1001_3^6 + 4589603694566278927969469061260067348671530544073625838433140993936\ 853875557644350318143869064300810612464028800/152348110587034273618\ 4252341786899162664619561084802534707283547468422127781106417148363\ 347402920296741734623*c_1001_3^5 - 6168023763613176775932057489270916896761716099471219036816603862160\ 71413925048669373938510051970212715307051470/1523481105870342736184\ 2523417868991626646195610848025347072835474684221277811064171483633\ 47402920296741734623*c_1001_3^4 - 560076356836690371245566981827063\ 9239904775439847061410300564280427041609108019308955880404540122019\ 34473543054/1523481105870342736184252341786899162664619561084802534\ 707283547468422127781106417148363347402920296741734623*c_1001_3^3 + 2686747306173238307977206329190528794516188278077428829163000391678\ 39524445709128032387529574447678732046773278/1523481105870342736184\ 2523417868991626646195610848025347072835474684221277811064171483633\ 47402920296741734623*c_1001_3^2 - 133329584299445628739719972926891\ 5071801728574861017788242701380387969894142573262536532156765198130\ 1348342912/15234811058703427361842523417868991626646195610848025347\ 07283547468422127781106417148363347402920296741734623*c_1001_3 - 6567726488269833282935908475752225826117558334219725786735048536491\ 822861897899257110094099590491096553056597/152348110587034273618425\ 2341786899162664619561084802534707283547468422127781106417148363347\ 402920296741734623, c_0011_4 + 338068866671855409378189656177149202785652352010927055442510\ 6591479025330915207990504304216142653742436287/15234811058703427361\ 8425234178689916266461956108480253470728354746842212778110641714836\ 3347402920296741734623*c_1001_3^26 + 4149985892040570974260061078852102331370977485551663705665820372698\ 1647234650877275603178326550922433441364/15234811058703427361842523\ 4178689916266461956108480253470728354746842212778110641714836334740\ 2920296741734623*c_1001_3^25 + 177100892337835770808100866412530028\ 3867777021266659012170647705833482762705062395769635510281127778989\ 84621/1523481105870342736184252341786899162664619561084802534707283\ 547468422127781106417148363347402920296741734623*c_1001_3^24 - 2880498895410627947929048497877886229805100085121176673918156432098\ 1420856909941466056806083076289566945109/15234811058703427361842523\ 4178689916266461956108480253470728354746842212778110641714836334740\ 2920296741734623*c_1001_3^23 - 196537381236134557792763350258616647\ 5362713821227777025228207835299425056536571671258175212870662549129\ 22987/1523481105870342736184252341786899162664619561084802534707283\ 547468422127781106417148363347402920296741734623*c_1001_3^22 + 1964901725795448223087442849691187000292630778523181217574893229020\ 8503889703515060986573162907676044097093879/15234811058703427361842\ 5234178689916266461956108480253470728354746842212778110641714836334\ 7402920296741734623*c_1001_3^21 + 935387573791779435776037867455908\ 9617795652721854820415488429954831193822728148473360181602351487472\ 0809108846/15234811058703427361842523417868991626646195610848025347\ 07283547468422127781106417148363347402920296741734623*c_1001_3^20 + 2067888067819105193709730741043549341855446174266840239097402798727\ 5929364378314106848517988565252395759305844/15234811058703427361842\ 5234178689916266461956108480253470728354746842212778110641714836334\ 7402920296741734623*c_1001_3^19 - 771126848223976014838107806328698\ 3108430751478924722540664364223683697441998272511841882244560213623\ 75693580112/1523481105870342736184252341786899162664619561084802534\ 707283547468422127781106417148363347402920296741734623*c_1001_3^18 - 1341794510842915837740210933977008444530982153632013959399656057844\ 83881538726843788286382806082616405474197616/1523481105870342736184\ 2523417868991626646195610848025347072835474684221277811064171483633\ 47402920296741734623*c_1001_3^17 + 3024294509838670560828680503710281374909825432305102063583485096767\ 099449338805939275594546804604889146304657846/152348110587034273618\ 4252341786899162664619561084802534707283547468422127781106417148363\ 347402920296741734623*c_1001_3^16 + 3078925980083219796508974956366991121880790045364250046648315658530\ 744316372635642617621643799091277221686850105/152348110587034273618\ 4252341786899162664619561084802534707283547468422127781106417148363\ 347402920296741734623*c_1001_3^15 - 2698821745809912004381422622094207529149720307652556370610461534315\ 2793126874192596875782963493486704070766521253/15234811058703427361\ 8425234178689916266461956108480253470728354746842212778110641714836\ 3347402920296741734623*c_1001_3^14 + 1796784878010591115863133981545916935988089177775597189972331755080\ 2309803615299645763834721861700702014804694719/15234811058703427361\ 8425234178689916266461956108480253470728354746842212778110641714836\ 3347402920296741734623*c_1001_3^13 + 6286043009247540685948769664108900669323420075992864193289374955669\ 8519802826771147008649811144033624301683945023/15234811058703427361\ 8425234178689916266461956108480253470728354746842212778110641714836\ 3347402920296741734623*c_1001_3^12 - 1012183500864929568244450856761588335569090803603735508222975411759\ 97109666904204093615430429403838046472790729851/1523481105870342736\ 1842523417868991626646195610848025347072835474684221277811064171483\ 63347402920296741734623*c_1001_3^11 + 2133622836853205348705750937097700850585094538559049840387129369144\ 49795705154472306640931514579567309108269984/1523481105870342736184\ 2523417868991626646195610848025347072835474684221277811064171483633\ 47402920296741734623*c_1001_3^10 + 1062033474484035689592416539688536599228117096541021580643314633990\ 60400485427029523061462206782842058477744015268/1523481105870342736\ 1842523417868991626646195610848025347072835474684221277811064171483\ 63347402920296741734623*c_1001_3^9 - 7491600280498417288663414454513550693454706453955610235911979027360\ 1223036885905765734009922172458030487891237372/15234811058703427361\ 8425234178689916266461956108480253470728354746842212778110641714836\ 3347402920296741734623*c_1001_3^8 - 1291147647665734439163583532970258227974716503886214002829332788745\ 9860288750280622464946686867772160648647742568/15234811058703427361\ 8425234178689916266461956108480253470728354746842212778110641714836\ 3347402920296741734623*c_1001_3^7 + 3901353965225541740867584389648461158716586634502274300931130227300\ 3054931589451643063508774848663041507356442782/15234811058703427361\ 8425234178689916266461956108480253470728354746842212778110641714836\ 3347402920296741734623*c_1001_3^6 - 1752881031761882344052186299187724296776046139691116324806117250028\ 4782832608098580021960540931890025399470894335/15234811058703427361\ 8425234178689916266461956108480253470728354746842212778110641714836\ 3347402920296741734623*c_1001_3^5 + 1321453709864839488174019537935455043880149749322370572525567198434\ 5964527426594883288871666843836261659421631/15234811058703427361842\ 5234178689916266461956108480253470728354746842212778110641714836334\ 7402920296741734623*c_1001_3^4 + 2837057549672938427885663920767439\ 7657780368148199240883255942194180350820723668295515470488936673838\ 14139055626/1523481105870342736184252341786899162664619561084802534\ 707283547468422127781106417148363347402920296741734623*c_1001_3^3 - 9037758740380165905074804418660347830913565772958245864902574589482\ 64279474406431258120623594961715788710321796/1523481105870342736184\ 2523417868991626646195610848025347072835474684221277811064171483633\ 47402920296741734623*c_1001_3^2 + 167273816904781984540330177274007\ 6640117429196717223360875995275482317818910850796947000707057486339\ 7165562275/15234811058703427361842523417868991626646195610848025347\ 07283547468422127781106417148363347402920296741734623*c_1001_3 + 1798281089417742253426757350068138272307228975441761089406510341469\ 9046379423906137545083812087144828232901242/15234811058703427361842\ 5234178689916266461956108480253470728354746842212778110641714836334\ 7402920296741734623, c_0101_0 + 128532194679016314047500116918165597890477187398204313843745\ 228244725026680101840436632044404985255292002093/106643677410923991\ 5328976639250829413865233692759361774295098483227895489446774492003\ 8543431820442077192142361*c_1001_3^26 + 1583981664122450943397687926568933839968712990444121403566628481659\ 951899736953137058454092222058047057695621/106643677410923991532897\ 6639250829413865233692759361774295098483227895489446774492003854343\ 1820442077192142361*c_1001_3^25 + 973231936548984099957842355509927\ 5857920082259908833273747259728597831344479404864837283072106391192\ 24348660/1523481105870342736184252341786899162664619561084802534707\ 283547468422127781106417148363347402920296741734623*c_1001_3^24 - 7262740059056299065777876512053878212038669739855799325687820398447\ 75794087228911964892063449995443510266275/1066436774109239915328976\ 6392508294138652336927593617742950984832278954894467744920038543431\ 820442077192142361*c_1001_3^23 - 1044609572886121723621158034688745\ 3639951846270902295216603566871271075434636074633810924217662540504\ 28257002/1523481105870342736184252341786899162664619561084802534707\ 283547468422127781106417148363347402920296741734623*c_1001_3^22 + 7467926783597981589188800554496442497346767636059529099417930554470\ 33257733076043421171294132767643145118964639/1066436774109239915328\ 9766392508294138652336927593617742950984832278954894467744920038543\ 431820442077192142361*c_1001_3^21 + 3592065490735242224405342545077483192422702034471917985867589445207\ 936761493285010891534448442922209429606460350/106643677410923991532\ 8976639250829413865233692759361774295098483227895489446774492003854\ 3431820442077192142361*c_1001_3^20 + 9774258088829191097852263549856381895600743354679113884333170256514\ 76640277506922741189906132396922879448485873/1066436774109239915328\ 9766392508294138652336927593617742950984832278954894467744920038543\ 431820442077192142361*c_1001_3^19 - 2917010163730589950958932666598453687090165974809559237187165862086\ 9147481949793490207016379182341676201404703321/10664367741092399153\ 2897663925082941386523369275936177429509848322789548944677449200385\ 43431820442077192142361*c_1001_3^18 - 9169919019824226798992486655501498149154745541144773555339683409345\ 98275404946992772813971107449443677074773542/1523481105870342736184\ 2523417868991626646195610848025347072835474684221277811064171483633\ 47402920296741734623*c_1001_3^17 + 1139963735139633341428900644972862160005002943134666227090622354004\ 77138232779140269175607204624238069492177029728/1066436774109239915\ 3289766392508294138652336927593617742950984832278954894467744920038\ 543431820442077192142361*c_1001_3^16 + 1219820818206042241316564638743610823558408992516498470998796307273\ 88450229096272550485108786709799389844022508116/1066436774109239915\ 3289766392508294138652336927593617742950984832278954894467744920038\ 543431820442077192142361*c_1001_3^15 - 1017699761335448871338347748891511272617545690825616398897625667628\ 482740109817716248163156008883595134299692798656/106643677410923991\ 5328976639250829413865233692759361774295098483227895489446774492003\ 8543431820442077192142361*c_1001_3^14 + 6387318994049986793101195971855548829580201050112277706108360735568\ 51644867534689535208584678380104982153758311583/1066436774109239915\ 3289766392508294138652336927593617742950984832278954894467744920038\ 543431820442077192142361*c_1001_3^13 + 3425490714148166950918322706005293211218913973993615481821884532928\ 26425181230412123761881201834015208083454129963/1523481105870342736\ 1842523417868991626646195610848025347072835474684221277811064171483\ 63347402920296741734623*c_1001_3^12 - 3730391735291347258108549459939696322532319722178419497098479614065\ 163939486991089879652998158041494535422261901273/106643677410923991\ 5328976639250829413865233692759361774295098483227895489446774492003\ 8543431820442077192142361*c_1001_3^11 - 1097684088485536827866822401893697296280891606616972785122190748814\ 86536393611515670082998033464427218022590581856/1066436774109239915\ 3289766392508294138652336927593617742950984832278954894467744920038\ 543431820442077192142361*c_1001_3^10 + 3974800968773116258396989134056524485884326867676290690348891821843\ 099105127104596692463360094621589807803024036728/106643677410923991\ 5328976639250829413865233692759361774295098483227895489446774492003\ 8543431820442077192142361*c_1001_3^9 - 3847588521123664279390637154206693868705360833009289781854389562428\ 74826007791312536049656010229219517081192796523/1523481105870342736\ 1842523417868991626646195610848025347072835474684221277811064171483\ 63347402920296741734623*c_1001_3^8 - 5412401284402772194281158648780468115411361834894972238264229075262\ 12588581702299006725572677172379315225565967410/1066436774109239915\ 3289766392508294138652336927593617742950984832278954894467744920038\ 543431820442077192142361*c_1001_3^7 + 2049628572378545573577578602129300436132442391244519382086788496824\ 30618535279604949434498721995038258486877395284/1523481105870342736\ 1842523417868991626646195610848025347072835474684221277811064171483\ 63347402920296741734623*c_1001_3^6 - 6240531006247474904387524631052978267939092593353898694364439303003\ 45946439451320933799070832046619660357137048842/1066436774109239915\ 3289766392508294138652336927593617742950984832278954894467744920038\ 543431820442077192142361*c_1001_3^5 - 8099310631669391263731146562872169688247035641538866269315776963565\ 194439955992824224078600880177704916629759192/106643677410923991532\ 8976639250829413865233692759361774295098483227895489446774492003854\ 3431820442077192142361*c_1001_3^4 + 1482781250443662927878437644546398648876966019836584021787047274847\ 7316340143011861008633397681106057232616616119/15234811058703427361\ 8425234178689916266461956108480253470728354746842212778110641714836\ 3347402920296741734623*c_1001_3^3 - 3180314912038880219871848439714106374800300863910625249297938890842\ 3812568532475616488990974124808412736877435300/10664367741092399153\ 2897663925082941386523369275936177429509848322789548944677449200385\ 43431820442077192142361*c_1001_3^2 + 4369630066469147016568869227986182827876888372534796710618779408050\ 52442459672869276406081722973547147985390889/1066436774109239915328\ 9766392508294138652336927593617742950984832278954894467744920038543\ 431820442077192142361*c_1001_3 + 9386961924804850169250252746704773\ 9897237089551162880437776576972568765855770793399786711858742758210\ 837039308/152348110587034273618425234178689916266461956108480253470\ 7283547468422127781106417148363347402920296741734623, c_0101_3 - 143994452927693419955045611036074527258134162551883217776318\ 882454948304550587292109432399625523382304129391846/213454937743493\ 7207667755956077624416809398467035916831378374978358006243234108201\ 0665718860462316277648443802853*c_1001_3^26 - 1772003613720363083379648901519786938068656216646777317035374130498\ 801381188975882564610066794092953689611027448/213454937743493720766\ 7755956077624416809398467035916831378374978358006243234108201066571\ 8860462316277648443802853*c_1001_3^25 - 7599128150925201425961829346485588868466683889402299570830084859716\ 515555805749013007993583289753836169342730769/213454937743493720766\ 7755956077624416809398467035916831378374978358006243234108201066571\ 8860462316277648443802853*c_1001_3^24 + 9724386143040036552205282963046120674896020360161920950981489788410\ 04776694465256426381183791131734908331151680/2134549377434937207667\ 7559560776244168093984670359168313783749783580062432341082010665718\ 860462316277648443802853*c_1001_3^23 + 8298174034152102907617170401340151831304459544648331454586662942677\ 743896895933993851939424632766692835224321685/213454937743493720766\ 7755956077624416809398467035916831378374978358006243234108201066571\ 8860462316277648443802853*c_1001_3^22 - 8366838224140224945934501762234203745482735168816688407955247789050\ 79672078083611841717449070289533340263290996499/2134549377434937207\ 6677559560776244168093984670359168313783749783580062432341082010665\ 718860462316277648443802853*c_1001_3^21 - 4009526257145054048346771274709450682389174710443785435886332866168\ 797432062444866719086103774372336283481584386378/213454937743493720\ 7667755956077624416809398467035916831378374978358006243234108201066\ 5718860462316277648443802853*c_1001_3^20 - 1013447106426229505406882385951134445960820181991730668835828028453\ 936814541101000626979081651600073008371542355762/213454937743493720\ 7667755956077624416809398467035916831378374978358006243234108201066\ 5718860462316277648443802853*c_1001_3^19 + 3276021331847808658467111737547392073709953866408578321888725373786\ 8482054674242085866296006909662124690200172508143/21345493774349372\ 0766775595607762441680939846703591683137837497835800624323410820106\ 65718860462316277648443802853*c_1001_3^18 + 6683549819487684177616546616390488727717485620909788091626854763505\ 043247240030853460923268673146828954089383257869/213454937743493720\ 7667755956077624416809398467035916831378374978358006243234108201066\ 5718860462316277648443802853*c_1001_3^17 - 1282084387005783120863039025760572101815481985716674805542920131052\ 43087969939847288593062569164547435607386496887379/2134549377434937\ 2076677559560776244168093984670359168313783749783580062432341082010\ 665718860462316277648443802853*c_1001_3^16 - 1348256012647997368918265841537729316771501216685257634664545280594\ 21388650777818346415809857660142116942219146092527/2134549377434937\ 2076677559560776244168093984670359168313783749783580062432341082010\ 665718860462316277648443802853*c_1001_3^15 + 1143857242786426951227319978752889588009530655463050626656737624025\ 728205240447557816175174201537136015284882486298640/213454937743493\ 7207667755956077624416809398467035916831378374978358006243234108201\ 0665718860462316277648443802853*c_1001_3^14 - 7326699700504654566449996552388955864149258194817741550043653577450\ 23819638437953014078278247427977311804787539792195/2134549377434937\ 2076677559560776244168093984670359168313783749783580062432341082010\ 665718860462316277648443802853*c_1001_3^13 - 2686170068414233433850234101008578879922152673807828561355090126263\ 872570107787852723427957822984290945735071496093271/213454937743493\ 7207667755956077624416809398467035916831378374978358006243234108201\ 0665718860462316277648443802853*c_1001_3^12 + 4225003519227307381331579544448173195507013998265393147591726029842\ 763653249633222138873329341311912149364118551450397/213454937743493\ 7207667755956077624416809398467035916831378374978358006243234108201\ 0665718860462316277648443802853*c_1001_3^11 + 8395364684826731627598058292146376496885643811144941557110225783227\ 5928798930826114222091749988556010457750997769830/21345493774349372\ 0766775595607762441680939846703591683137837497835800624323410820106\ 65718860462316277648443802853*c_1001_3^10 - 4480488975120467775324329687694018338686725303534939913658589480136\ 033404157907931357544955867114723679500058476350092/213454937743493\ 7207667755956077624416809398467035916831378374978358006243234108201\ 0665718860462316277648443802853*c_1001_3^9 + 3071229070178279765931526092987672973267916606955266703100165778668\ 553104466325953615792085832856514908287098409187743/213454937743493\ 7207667755956077624416809398467035916831378374978358006243234108201\ 0665718860462316277648443802853*c_1001_3^8 + 5919076467628240318608500226846262825787787175012355196746997429904\ 84346580098774705611138721796400816199022486866518/2134549377434937\ 2076677559560776244168093984670359168313783749783580062432341082010\ 665718860462316277648443802853*c_1001_3^7 - 1624155272634686162422722347282040672711114688457942069743701812144\ 827275998683370992673004684917195802419985315348001/213454937743493\ 7207667755956077624416809398467035916831378374978358006243234108201\ 0665718860462316277648443802853*c_1001_3^6 + 7130035735934179819804031691751949903712073318724762689449882302291\ 26481725444598226101601703333275797536322356214445/2134549377434937\ 2076677559560776244168093984670359168313783749783580062432341082010\ 665718860462316277648443802853*c_1001_3^5 + 6023814194155835554348936050214961546533282592352380955628914642401\ 741011429593869586700045225143139833368593392208/213454937743493720\ 7667755956077624416809398467035916831378374978358006243234108201066\ 5718860462316277648443802853*c_1001_3^4 - 1174934854031921358323214330459287103497297839807842282728791540006\ 70093859142126234266029319057967968484792778930112/2134549377434937\ 2076677559560776244168093984670359168313783749783580062432341082010\ 665718860462316277648443802853*c_1001_3^3 + 3640433317802614489949134180443702376103716461637206946894980866749\ 7770474972435107920212186100639369024417015054619/21345493774349372\ 0766775595607762441680939846703591683137837497835800624323410820106\ 65718860462316277648443802853*c_1001_3^2 - 5697874983200876570462215777419973046711474481967500959963986324838\ 94109171589936718242102464536972173925275839141/2134549377434937207\ 6677559560776244168093984670359168313783749783580062432341082010665\ 718860462316277648443802853*c_1001_3 - 7388651054289736038636067264207777725551119475133864660039266825255\ 17592635690536721291417812900581897922020069874/2134549377434937207\ 6677559560776244168093984670359168313783749783580062432341082010665\ 718860462316277648443802853, c_0101_5 + 142119870310998188292366483314466285078661587637114732621418\ 3902314326048130917038816996199458925978113285239854/14941845642044\ 5604536742916925433709176657892692514178196486248485060437026387574\ 074660032023236213943539106619971*c_1001_3^26 + 1743527740948912445111775484919372504694247437219811240250447477761\ 7371654199827758741197807797422166815592942151/14941845642044560453\ 6742916925433709176657892692514178196486248485060437026387574074660\ 032023236213943539106619971*c_1001_3^25 + 1061507868633256573081490016657932727544113435783828247494096741897\ 5698782693038450089194162319551844369662315332/21345493774349372076\ 6775595607762441680939846703591683137837497835800624323410820106657\ 18860462316277648443802853*c_1001_3^24 - 1285097423488957985721639029545520658719328971837075635300356966296\ 8432001987132609441095343372619142513148301077/14941845642044560453\ 6742916925433709176657892692514178196486248485060437026387574074660\ 032023236213943539106619971*c_1001_3^23 - 1191471793589943220189939595238646378359628592816465621313056998669\ 3358738228749976587483272662221557917266849670/21345493774349372076\ 6775595607762441680939846703591683137837497835800624323410820106657\ 18860462316277648443802853*c_1001_3^22 + 8260163573133257801328194077909415523226342831029769593251636043771\ 833974972128782145763383645492451969064197011613/149418456420445604\ 5367429169254337091766578926925141781964862484850604370263875740746\ 60032023236213943539106619971*c_1001_3^21 + 3926033462485523680155392488391283458941016938399538745707977366580\ 5810481610814675231132895847164114106186776102070/14941845642044560\ 4536742916925433709176657892692514178196486248485060437026387574074\ 660032023236213943539106619971*c_1001_3^20 + 8317244520720909165135908337983815135395132004526029845329717654924\ 307305255515278664691341107380444081843966508669/149418456420445604\ 5367429169254337091766578926925141781964862484850604370263875740746\ 60032023236213943539106619971*c_1001_3^19 - 3246844722832416999615889721535974193302710547921456609230515763013\ 57939094931558374650248922364494781154680308924203/1494184564204456\ 0453674291692543370917665789269251417819648624848506043702638757407\ 4660032023236213943539106619971*c_1001_3^18 - 7776981439765830344438810615406077538020065665950019170787156393463\ 176035848346110192181913195779984937905103130765/213454937743493720\ 7667755956077624416809398467035916831378374978358006243234108201066\ 5718860462316277648443802853*c_1001_3^17 + 1274491490705338825782341895477168996785388877239906830913969628114\ 764774081568784725442250690591502140644000788474802/149418456420445\ 6045367429169254337091766578926925141781964862484850604370263875740\ 74660032023236213943539106619971*c_1001_3^16 + 1287727638179144067762387026990434291885552748512649643540204542745\ 085169904574878583179402648887501140008021512730388/149418456420445\ 6045367429169254337091766578926925141781964862484850604370263875740\ 74660032023236213943539106619971*c_1001_3^15 - 1136478691697539639058831051645701043499246516434366584112588357041\ 6542501000781953298659201692390996859920579281675257/14941845642044\ 5604536742916925433709176657892692514178196486248485060437026387574\ 074660032023236213943539106619971*c_1001_3^14 + 7617995876320970908793126490664227804531951348766026381418868166872\ 322779781854302115978434728291836575553795582335062/149418456420445\ 6045367429169254337091766578926925141781964862484850604370263875740\ 74660032023236213943539106619971*c_1001_3^13 + 3779758999464890371531034385022721365927370940095037283262918023323\ 123807085993970136082983015375884757617923636027091/213454937743493\ 7207667755956077624416809398467035916831378374978358006243234108201\ 0665718860462316277648443802853*c_1001_3^12 - 4274167773120988084828778530863509085493454582357558601586907163231\ 2468781698525798351635096416076536223661443874056978/14941845642044\ 5604536742916925433709176657892692514178196486248485060437026387574\ 074660032023236213943539106619971*c_1001_3^11 + 1665340057970967441099618196220664914660095740625579185472376509958\ 06639550398187235250330910615220015352039476958102/1494184564204456\ 0453674291692543370917665789269251417819648624848506043702638757407\ 4660032023236213943539106619971*c_1001_3^10 + 4482599658112564826680190551323573047261377698318958324752387862589\ 6577305823328888246754858426679297894266311213564679/14941845642044\ 5604536742916925433709176657892692514178196486248485060437026387574\ 074660032023236213943539106619971*c_1001_3^9 - 4523734551978187341289772186682897310245184688815560168993654405871\ 633690452970654196078035549130646059060548443400380/213454937743493\ 7207667755956077624416809398467035916831378374978358006243234108201\ 0665718860462316277648443802853*c_1001_3^8 - 5452395659099234789329046126271423918747379454243170078807091017193\ 419070330512281578112989794540562326621162707805875/149418456420445\ 6045367429169254337091766578926925141781964862484850604370263875740\ 74660032023236213943539106619971*c_1001_3^7 + 2355181751169578413288522071646891114973625831794741587022351411083\ 507195015582422969907541315759520871351047151505827/213454937743493\ 7207667755956077624416809398467035916831378374978358006243234108201\ 0665718860462316277648443802853*c_1001_3^6 - 7402934456531543424080152072314376235834091301600522964485541285699\ 377556751300714522406195341648689521220484221196369/149418456420445\ 6045367429169254337091766578926925141781964862484850604370263875740\ 74660032023236213943539106619971*c_1001_3^5 + 2378974015145396473130939397294569123701225612811459706024621833551\ 268130324467502982675490850825082258456882450437/149418456420445604\ 5367429169254337091766578926925141781964862484850604370263875740746\ 60032023236213943539106619971*c_1001_3^4 + 1717287538566000341932727693531631414586046615987177218406358339174\ 55019282848103567455951949033521640089408733995658/2134549377434937\ 2076677559560776244168093984670359168313783749783580062432341082010\ 665718860462316277648443802853*c_1001_3^3 - 3822093120336643597541736007483605321888773747270214586217789714044\ 41968190214804741341938161597700217870080056776481/1494184564204456\ 0453674291692543370917665789269251417819648624848506043702638757407\ 4660032023236213943539106619971*c_1001_3^2 + 6704601659428265835360191033035676377029956651025608780789444606725\ 484279112797553630301647476582987439838708741369/149418456420445604\ 5367429169254337091766578926925141781964862484850604370263875740746\ 60032023236213943539106619971*c_1001_3 + 1130050930922969449102358214580235873788518044700630401425675726923\ 864726398108370374013772147940224616862005167641/213454937743493720\ 7667755956077624416809398467035916831378374978358006243234108201066\ 5718860462316277648443802853, c_1001_3^27 + 12*c_1001_3^26 + 49*c_1001_3^25 - 23*c_1001_3^24 - 56*c_1001_3^23 + 5828*c_1001_3^22 + 26067*c_1001_3^21 - 1527*c_1001_3^20 - 229892*c_1001_3^19 + 23051*c_1001_3^18 + 906180*c_1001_3^17 + 664946*c_1001_3^16 - 8236330*c_1001_3^15 + 7509535*c_1001_3^14 + 17151400*c_1001_3^13 - 35062646*c_1001_3^12 + 8255047*c_1001_3^11 + 31441199*c_1001_3^10 - 30780995*c_1001_3^9 + 2229340*c_1001_3^8 + 12602842*c_1001_3^7 - 8347989*c_1001_3^6 + 1422129*c_1001_3^5 + 840490*c_1001_3^4 - 497925*c_1001_3^3 + 78249*c_1001_3^2 + 4186*c_1001_3 - 1519 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB