Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 1545453701] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1734 geometric_solution 5.43703427 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 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.328050079997 0.567977195224 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 1 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632035933939 1.022165096344 1 3 0 4 1230 0132 0132 2310 0 0 0 0 0 0 1 -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 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632035933939 1.022165096344 1 2 3 3 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.968899516263 1.026956922682 2 5 5 1 3201 0132 1023 0132 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 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.259054508087 0.505879208612 6 4 4 6 0132 0132 1023 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.569548057912 0.571529728392 5 6 6 5 0132 1230 3012 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 1.678420996772 0.150968216655 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 7449714922186752385715902233533357502072045104378566938017898984803\ 0507593406735/56634585395636230595511466553072180702123277228185160\ 6087222457486113852658288*c_0101_6^31 - 7836379911135942915901859354247466041064882082968861048902690396918\ 173140502757/202266376412986537841112380546686359650440275814947002\ 17400802053075494737796*c_0101_6^30 + 1492033374777034757572239100586434254716705821224686798002922066877\ 15654760302415/2022663764129865378411123805466863596504402758149470\ 0217400802053075494737796*c_0101_6^29 + 2274586121275002794343292092559342454417228341981219199721843139568\ 326501419839997/809065505651946151364449522186745438601761103259788\ 00869603208212301978951184*c_0101_6^28 - 6480817994750500145664099079933169062961278622075681374916941154987\ 268612187382869/809065505651946151364449522186745438601761103259788\ 00869603208212301978951184*c_0101_6^27 - 2651456759017369381686612320158013399129440538466820220344738019846\ 61937254006155883/5663458539563623059551146655307218070212327722818\ 51606087222457486113852658288*c_0101_6^26 - 6602351638559184250326598154987055386235021604865542794454613793744\ 63027920035349/4045327528259730756822247610933727193008805516298940\ 0434801604106150989475592*c_0101_6^25 + 7662956053731824978402927592212513537418660683224347537548718477567\ 31961094214101795/2831729269781811529775573327653609035106163861409\ 25803043611228743056926329144*c_0101_6^24 + 3225070841209798129376592228003317556695101980708349823079461828555\ 88711513374716457/2831729269781811529775573327653609035106163861409\ 25803043611228743056926329144*c_0101_6^23 - 4363568278618390606727217567618435805635329663614052249934384035242\ 260554710337219399/566345853956362305955114665530721807021232772281\ 851606087222457486113852658288*c_0101_6^22 - 2126360261031415848667426092810397980261829207468229899239815932028\ 97020084479110089/7079323174454528824438933319134022587765409653523\ 1450760902807185764231582286*c_0101_6^21 + 6301420526745102777004686740827660884770814568686386313781980683226\ 772385749116250437/566345853956362305955114665530721807021232772281\ 851606087222457486113852658288*c_0101_6^20 + 3761805352356460429316362725905943137170018286790568790121990979564\ 710678206080299121/566345853956362305955114665530721807021232772281\ 851606087222457486113852658288*c_0101_6^19 - 4607573707566705833901115229631268311942552433142670172829086915420\ 57372425301067677/3539661587227264412219466659567011293882704826761\ 5725380451403592882115791143*c_0101_6^18 - 1225288658141644290873584079465918646831156211689651399450522920741\ 09147492825394272/3539661587227264412219466659567011293882704826761\ 5725380451403592882115791143*c_0101_6^17 + 2012198826438826430580281742512069603393551552183599401197457951108\ 995589432325516637/283172926978181152977557332765360903510616386140\ 925803043611228743056926329144*c_0101_6^16 - 4011592216993128335003361019480798571046194190117175211069576117739\ 56514948438177931/1415864634890905764887786663826804517553081930704\ 62901521805614371528463164572*c_0101_6^15 + 3800252779481344362834530810397701581347415926847729025986131898642\ 38624752805916951/7079323174454528824438933319134022587765409653523\ 1450760902807185764231582286*c_0101_6^14 - 2006673949079996950524109204143375577460130090300567496365018250108\ 596643497844330597/566345853956362305955114665530721807021232772281\ 851606087222457486113852658288*c_0101_6^13 - 4171080119572289909848379784837472748540123835715154964420174294383\ 6693742249272671/56634585395636230595511466553072180702123277228185\ 1606087222457486113852658288*c_0101_6^12 + 8585788026170896506787340092866015032305142621357946366785501224881\ 819147686700387/566345853956362305955114665530721807021232772281851\ 606087222457486113852658288*c_0101_6^11 - 5139709696330629854687699604138555330892834189791772071292962655319\ 6443156622884403/40453275282597307568222476109337271930088055162989\ 400434801604106150989475592*c_0101_6^10 + 7053167124504001300742193395407625832027982056351020657303309288025\ 9230813438835766/35396615872272644122194666595670112938827048267615\ 725380451403592882115791143*c_0101_6^9 - 2003139151431279696130041929411078043626988921430462272870093962235\ 28121053264011491/5663458539563623059551146655307218070212327722818\ 51606087222457486113852658288*c_0101_6^8 - 7437273445963257652280690993082559397674298369078837708606977058941\ 6151700057745175/14158646348909057648877866638268045175530819307046\ 2901521805614371528463164572*c_0101_6^7 + 1189304162437623608859356045851757120750790015006622887662128524613\ 19345490324438227/5663458539563623059551146655307218070212327722818\ 51606087222457486113852658288*c_0101_6^6 - 3107821478889512482209104635147578364439168328204652818519314739021\ 55079697589281/5663458539563623059551146655307218070212327722818516\ 06087222457486113852658288*c_0101_6^5 + 2865669462035984074829375428334397077799359186010776254475231746156\ 121776236838355/283172926978181152977557332765360903510616386140925\ 803043611228743056926329144*c_0101_6^4 + 4356186115205823681374557452683410609444899389377012958866616740373\ 068811472500877/566345853956362305955114665530721807021232772281851\ 606087222457486113852658288*c_0101_6^3 - 4151854383706345078435978952657031564586483435540162476923589100259\ 639032761611365/566345853956362305955114665530721807021232772281851\ 606087222457486113852658288*c_0101_6^2 - 3665429231287477394956537401588219137517729144408075262930500713230\ 48138317776569/5663458539563623059551146655307218070212327722818516\ 06087222457486113852658288*c_0101_6 + 2637572276863412913389485673752175259259689568359963021358212299396\ 74110014534015/5663458539563623059551146655307218070212327722818516\ 06087222457486113852658288, c_0011_0 - 1, c_0011_1 - 100347765858868604280924420853361223062097941598027689903019\ 0652509869982554/35396615872272644122194666595670112938827048267615\ 725380451403592882115791143*c_0101_6^31 - 6667994444136421713867040097401361899729384006506376320586527223251\ 49865138/5056659410324663446027809513667158991261006895373675054350\ 200513268873684449*c_0101_6^30 + 7388613275435441355013533235940655\ 270801553259775574733994061623379839697169/505665941032466344602780\ 9513667158991261006895373675054350200513268873684449*c_0101_6^29 + 4447891759986835272972513846660273751615283185818194211238601504854\ 4092258432/50566594103246634460278095136671589912610068953736750543\ 50200513268873684449*c_0101_6^28 - 3917602508845515001531352663225320636475398445424380369061503602537\ 6690876324/50566594103246634460278095136671589912610068953736750543\ 50200513268873684449*c_0101_6^27 - 4686987651935044260165739774548395545656758925313269589182347177107\ 917457789046/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6^26 - 8288627669621834093264433616193992122567459277709759018540138912675\ 16356017370/5056659410324663446027809513667158991261006895373675054\ 350200513268873684449*c_0101_6^25 + 2183432726837786844925853014254259560573664494919119050724297506225\ 8457156408072/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^24 + 4204659565808333307709556408779746066970098716534769564689268305967\ 1734530728632/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^23 - 5407450259752794423935781603473670150829870366700270200152057244964\ 8277991675604/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^22 - 1168317451963814883631324623646911212882106380349392779182719602725\ 90847538522843/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^21 + 7781155214419232357742609213887151889603603972380207086608328937813\ 4836176841937/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^20 + 1781128131137649794564730085279715319654564169150384834072706118294\ 87537724955193/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^19 - 5988844236029443280200505089025405396750591417166284038990647501964\ 2354310682523/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^18 - 1831092950641092157518031916448636859798993726935199074035844131851\ 14453576491846/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^17 + 7258141861419992714101418493981761119806897638755470516676468352927\ 8175438965345/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^16 + 3767504225672575588665070267696342864711744889631373121950733636214\ 3470624171626/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^15 - 1770541177257407833836276020564171668270131084015778964558887407721\ 5742429379476/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^14 + 7234197250675554885805545603072570119658655687097285578827054659281\ 7391110119864/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^13 - 8639393870174754834023122139930545364890686589837439298216269449823\ 0715751103400/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^12 + 4094227388136358329771255384471962835262018638654852299752225381701\ 8356633487621/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^11 - 4746700871052545306656390742354672891581141541594125763521860066948\ 557947601216/505665941032466344602780951366715899126100689537367505\ 4350200513268873684449*c_0101_6^10 + 1064374452008021796637864887298694087168062337692186335901738697686\ 3095997408579/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^9 + 2190855321640330628750074387786722368512050561092089505092546670431\ 9469613473861/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^8 - 1810635230179481239525693416470802616477170212669065777756148548549\ 3455560600903/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^7 + 3179826548376929677295583615302019618139462713372299031082119291113\ 962213648923/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6^6 + 8718298031818841449452796791655777255127141988987532704925323996793\ 37356321779/3539661587227264412219466659567011293882704826761572538\ 0451403592882115791143*c_0101_6^5 - 6495157683610960326900576015417305659821692369093572996831021199926\ 85650179629/3539661587227264412219466659567011293882704826761572538\ 0451403592882115791143*c_0101_6^4 + 6380831754661906846100177070970048802223597430282789893709102572085\ 63860731228/3539661587227264412219466659567011293882704826761572538\ 0451403592882115791143*c_0101_6^3 - 2041078423443734461074845182888730811743271135451725496272384247975\ 84070009129/3539661587227264412219466659567011293882704826761572538\ 0451403592882115791143*c_0101_6^2 - 6558863280146730674389409484222050470521275829929176706289547727868\ 0403037352/35396615872272644122194666595670112938827048267615725380\ 451403592882115791143*c_0101_6 + 3291695070261991948602251458606345\ 854559750701910195198505924182589673712583/353966158722726441221946\ 66595670112938827048267615725380451403592882115791143, c_0011_4 + 104897572303688988837953259902261089392289753792180349351327\ 738547675492155722/353966158722726441221946665956701129388270482676\ 15725380451403592882115791143*c_0101_6^31 + 7019081775982705021338070773457797440285447337719610716263953779039\ 797578696/722379915760666206575401359095308427323000985053382150621\ 457216181267669207*c_0101_6^30 - 8255613840835817211946657283154141\ 45409884065118044137403661052353304954128626/5056659410324663446027\ 809513667158991261006895373675054350200513268873684449*c_0101_6^29 - 4974391459328658610812397620009764549920157690077716472575002890463\ 90271439563/7223799157606662065754013590953084273230009850533821506\ 21457216181267669207*c_0101_6^28 + 8055245571415245103765448831024575107729346008547133796201049403041\ 271687281436/505665941032466344602780951366715899126100689537367505\ 4350200513268873684449*c_0101_6^27 + 3942592023875582186225264499075335572574293761710796280950195828472\ 09690420322884/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^26 + 2791050914479204838922055322404499534554394211705387008901714589439\ 264033385805/722379915760666206575401359095308427323000985053382150\ 621457216181267669207*c_0101_6^25 - 2149016187808913132200998320783206958940730675940546105506444858111\ 938273228529995/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^24 - 1610255036234633731857030583543038166016511945137157073095342554066\ 479941015729043/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^23 + 5834533482460683491322040124587133230539157877777537928144032442036\ 942712332363770/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^22 + 4344521487430420222845228052073434113608425498572532758175916717382\ 044604552964990/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^21 - 8100495742169363560575423475075313032469647994043522568970767214394\ 552185872932235/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^20 - 7990298220173930081141184945820729699414825141537423080175864845352\ 334600498281403/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^19 + 8712127280708150837726641991138992080455924235923967809023070190085\ 620878294382049/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^18 + 5859577764802544170767610614300819831216751569601641191175130625057\ 438372740998265/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^17 - 4964514952773976669608150224707987938859423965578989026238578932045\ 883673322125135/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^16 + 7532263878264022577641544296183376295958658624888647408266157598736\ 69428815839193/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^15 - 3418029466063521613443725236425473258976223905940075611228036039129\ 965455883949190/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^14 + 1233148096406394748884390304830608513082963746251807616880769515009\ 158785322823454/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^13 + 1078886030436612349858417266813517927907704774642992675634504743011\ 820077024192664/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^12 - 1793804549161008812602132307009953133770604561092040352135820735572\ 99597537077933/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^11 + 1596204371949798797203142719544759483155192765086059518456124394310\ 99620479838883/5056659410324663446027809513667158991261006895373675\ 054350200513268873684449*c_0101_6^10 - 1263157167002407140418672699379551703726018933491140727430017866349\ 876905473501183/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^9 - 2301432355471858123538626005071069843122149639579695211630539608349\ 26491592491351/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^8 + 5510483697343773178467525966107653601020076873636894264438495649517\ 37386430402847/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^7 - 8759005267980688659811399110082920689535580761357287711595838332034\ 6548499507799/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^6 - 4328992425890051999661006730635177142666868080387233734107721658953\ 3431485279182/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^5 + 2705532110805566084676738379886862655237542534967592899809901855353\ 862799692410/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6^4 - 1341444171440047145987461845211597022448291578228209852840170291503\ 6608903007002/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^3 + 4767637760711464722453151462302470161490259849413816054430220727065\ 920128850175/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6^2 + 1693553613656794003833700069524706896747333049857806678685889223454\ 304741468661/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6 - 4219384070446495341930571068151246530536136777981564090918205528807\ 24678045497/3539661587227264412219466659567011293882704826761572538\ 0451403592882115791143, c_0101_0 + 810089952489097261071786825044097516864515424445089527807026\ 56062261241878562/3539661587227264412219466659567011293882704826761\ 5725380451403592882115791143*c_0101_6^31 + 3711359974430587897329061647484714002429600026946645005185458592540\ 3399754711/50566594103246634460278095136671589912610068953736750543\ 50200513268873684449*c_0101_6^30 - 6401595727307845964000206788022292384973104314057805712428050426543\ 30350262825/5056659410324663446027809513667158991261006895373675054\ 350200513268873684449*c_0101_6^29 - 2643196712480353771396712874881237550303508688399134787204837162230\ 938160082394/505665941032466344602780951366715899126100689537367505\ 4350200513268873684449*c_0101_6^28 + 6406494098479556369457637117592547378138710588546156253857913097438\ 929005885252/505665941032466344602780951366715899126100689537367505\ 4350200513268873684449*c_0101_6^27 + 3012531706046334320158124510154421484811645095222768348088348230510\ 67788251133520/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^26 + 1208702425612046538802928941089660121502274286809989905896363048098\ 4419533183501/50566594103246634460278095136671589912610068953736750\ 54350200513268873684449*c_0101_6^25 - 1665028939877783903678403467844363670865819524794531174317985423025\ 647242680938658/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^24 - 1129742373230151254700300551620029794955777023838633342587438262038\ 587094888892726/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^23 + 4575975363855115183106866114439118692943900790865050800083894538342\ 853112466950779/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^22 + 3052470128977214591528014027780226937801293609742947398932470942003\ 993758107452860/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^21 - 6428349748085189900043615321628637491264243510786706057438022908108\ 380009082183124/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^20 - 5773510522854248587566778432716138942545376811302904021917942941393\ 858728178646124/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^19 + 7057142693712757510847183408233812372102917311897095765845334634809\ 748297784403879/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^18 + 4087696047021601376543733141762974094234577435066276846617259390206\ 369193586648169/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^17 - 4000812508475558038777066288721211592783573009620340187497743693180\ 580550995426349/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^16 + 7826186199961800272318999874726184975439507851264781852230009914521\ 22523933972836/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^15 - 2753827660085463624726733934930349615174130220336660960694154554873\ 688615640266681/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^14 + 1202316934974583021259868696469920092029508205164155100874007641497\ 180597191311914/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^13 + 6912865103825778398674787519955430970002203058304066437839680266400\ 20007560255893/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^12 - 1133570565548648229842508543475298121585609556661481432514360621983\ 19397995548326/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^11 + 1197728463804353199105846027153101867643565841991129636730723174013\ 91622186748981/5056659410324663446027809513667158991261006895373675\ 054350200513268873684449*c_0101_6^10 - 1025960842149907662997892993410242139509482105992186636191349402490\ 205421469190925/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^9 - 1048439721854721504392309757314104249046239510667909164470516876194\ 15222157663766/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^8 + 4124838411797913983231993860375676411577848951873464336180293964238\ 90348984045518/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^7 - 7895449335959581014090123225493761701098016949792210081258937714167\ 3789152711517/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^6 - 3010678372382154945542334863670621524657242086923863940252192981838\ 0514646573939/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^5 + 1310279846352196205806656228321725942612489806528126044515721995379\ 556116918845/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6^4 - 9232330806728279896258503221513897858266158555945582799968821892162\ 875432678626/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6^3 + 3817125230683056881937930695305323476609182716914807472175875410056\ 899452612395/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6^2 + 1221462634552261725862498632769685087547458732034533118142630562089\ 923551769777/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6 - 3260042803041937466072487510437943899251992031430083256568509259106\ 93471240130/3539661587227264412219466659567011293882704826761572538\ 0451403592882115791143, c_0101_1 - 868555591320913412309488021537787082222420543958020714585198\ 85330449531786401/3539661587227264412219466659567011293882704826761\ 5725380451403592882115791143*c_0101_6^31 - 4102932397201792700953758972353703112542634095200236881580901532653\ 8982537050/50566594103246634460278095136671589912610068953736750543\ 50200513268873684449*c_0101_6^30 + 9751857643530387298655005220625734982466863272399618456476909951095\ 4070569480/72237991576066620657540135909530842732300098505338215062\ 1457216181267669207*c_0101_6^29 + 290283675599893067522882213577237\ 7106014704756620390058302251826596439589350139/50566594103246634460\ 27809513667158991261006895373675054350200513268873684449*c_0101_6^2\ 8 - 660037927774381169514960198041124671411035189635820040251522351\ 4186091030987184/50566594103246634460278095136671589912610068953736\ 75054350200513268873684449*c_0101_6^27 - 3280446119391975209171492964610530451699457120830921097448101746986\ 98386784422222/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^26 - 1735815176213542478581549270091299193362172377916244164498002738452\ 8782682936991/50566594103246634460278095136671589912610068953736750\ 54350200513268873684449*c_0101_6^25 + 1781087945680819455789456190414714632617615462548735287731658285954\ 074069667459325/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^24 + 1383030501998593735718953917097268212183952537842693174808147571016\ 243461850462097/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^23 - 4821623122561817324433326960085979674496437992695608999574124059666\ 565053329820670/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^22 - 3742502620343376798247200449000891575612717447372772450666550949314\ 983059729872754/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^21 + 6684955913495462239148877732333523576427049113554800743844123705297\ 410738219568789/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^20 + 6828068490343946016326384219284351044790457568622925560706091121430\ 374800683825985/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^19 - 7138557649457427541165036623297780880591695334950795596296813068765\ 537670680843677/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^18 - 5110854236301183975755385742045485428780689149392202418382157038851\ 150380246963302/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^17 + 4104858556961952646042509358491950212678345757875480694453930771940\ 766138122540169/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^16 - 4904551954242699470227042252584961977138372943134177677260096498944\ 05618951318075/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^15 + 2747760109418799601589697254701649967349072641269826852050059955814\ 378923161781367/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^14 - 9037467853058806686152353967457759596226087885522762735258343982601\ 35298398354987/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^13 - 9849615370338329291642478472981108730923673463225690267935935518693\ 32421595556573/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^12 + 1689356052446102975902796614551831013422083861347074205586466908846\ 60860968126283/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^11 - 1329078245726279427373616461533941978403737743008236542301935148906\ 41778416954167/5056659410324663446027809513667158991261006895373675\ 054350200513268873684449*c_0101_6^10 + 1023974410704559292398871816831292526778785784938657979767151870638\ 704579185630639/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^9 + 2315370222795356919257395499841936098572891474001362610827868841084\ 79203718026334/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^8 - 4718327679129028020617081166215593998880005166590906733653291323821\ 03814255580777/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^7 + 6617089119046424880076140173267926382987637064853561738907490331616\ 1269105393880/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^6 + 4143583421394322283498454322914599569397460195287656217739325077658\ 6122407606030/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^5 - 3328451407763424319713177451013174535122703251810826372488171520646\ 503979424530/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6^4 + 1150327012658304932653316817459896724273427518907499967735123110522\ 1210973812323/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^3 - 3973070505215546374989818385926990666227365691096744562436367629058\ 579157000388/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6^2 - 1551690802646644998145360552582974733001097163856539322447886594891\ 190702996595/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6 + 3744158083209589480165100787774071051834211515409085499709020925657\ 05729566866/3539661587227264412219466659567011293882704826761572538\ 0451403592882115791143, c_0101_5 + 101429190691402227376456994677570046535241856867673657422836\ 616149336112827657/353966158722726441221946665956701129388270482676\ 15725380451403592882115791143*c_0101_6^31 + 4730377122183437625123977310106450350508235893571377448557193053980\ 8787574508/50566594103246634460278095136671589912610068953736750543\ 50200513268873684449*c_0101_6^30 - 1141225948255887291981560617962639171459850538227461227871703464739\ 95360311424/7223799157606662065754013590953084273230009850533821506\ 21457216181267669207*c_0101_6^29 - 3355439521470626306725876006583514749605584228162598966007010359320\ 204143933353/505665941032466344602780951366715899126100689537367505\ 4350200513268873684449*c_0101_6^28 + 7832030323262840423862803183815120852066280183621231595717257731663\ 437022410799/505665941032466344602780951366715899126100689537367505\ 4350200513268873684449*c_0101_6^27 + 3803472522109941009656224344859589566210639646718269713920240382560\ 60270557169688/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^26 + 1817628410330080518895773164473871640754249230014769906648599683382\ 4343286012287/50566594103246634460278095136671589912610068953736750\ 54350200513268873684449*c_0101_6^25 - 2078017242430249604331732771896283252695329980863439466591690288819\ 074115726993751/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^24 - 1528422404512672319200869056733391705366621252127253140531095899358\ 952750219323969/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^23 + 5652233258832344691430082202565899254113136733794395883999252485970\ 844117205998104/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^22 + 4121211461801880695498517401531332816059589973845591364353685129387\ 652901025182872/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^21 - 7858057612125647497510883169671369407806063278950659958544428487817\ 169722552229071/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^20 - 7616168493794093546699655629170722644430399747231475598943813412641\ 860279592046782/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^19 + 8483793236256493183049772754880956013291080579002728155998599248029\ 131271298163163/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^18 + 5536506337325520596921194537782742783549471235417329720491354290339\ 323075865708267/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^17 - 4818409597270196894058363236502554456784597698656674203222632618593\ 761048619085199/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^16 + 7887040595303504333638310713396976481328265115659183603298824298696\ 17744900811783/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^15 - 3343133431994879676488667833031318455100040169095711116765222585858\ 441266030108884/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^14 + 1260602012605412063851002997636524884429848475389539530151680482161\ 321336748020749/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^13 + 9941898689493641557748520023809612872728355287852480375771992136263\ 17337483950538/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^12 - 1602395144757896512836003458224185222866806943440769780811253938651\ 95019099860298/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^11 + 1531430356341040157772807015568615165670609711259645904492634193818\ 70895978775817/5056659410324663446027809513667158991261006895373675\ 054350200513268873684449*c_0101_6^10 - 1230908157922882647048883839887226252869312323599126575783995446422\ 550023825960753/353966158722726441221946665956701129388270482676157\ 25380451403592882115791143*c_0101_6^9 - 2027836191116423197128654369718973011274001023725257227849621274473\ 97382636575949/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^8 + 5268494197132759044780757257926852690756372587148988840613910554527\ 99644443707203/3539661587227264412219466659567011293882704826761572\ 5380451403592882115791143*c_0101_6^7 - 8768030481135259211445055452405551260184084241303521027705465276470\ 6872621688048/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^6 - 4010511281201093289376453543926540563619125659159532224669643741678\ 5325091478241/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^5 + 2187378608020986414413513994227125524496390571808483194590581487533\ 384449768109/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6^4 - 1275995349826488033635873947220590313098350789214837003972434614872\ 6613007708912/35396615872272644122194666595670112938827048267615725\ 380451403592882115791143*c_0101_6^3 + 4709571580378482978125241844009995700868077461558266878785487158864\ 716990305953/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6^2 + 1568586213151319899153973210772318896425530620180923816983256343054\ 649981360688/353966158722726441221946665956701129388270482676157253\ 80451403592882115791143*c_0101_6 - 3982356716255010153302628124050471723475828069838536461223070703490\ 20941186931/3539661587227264412219466659567011293882704826761572538\ 0451403592882115791143, c_0101_6^32 + 3*c_0101_6^31 - 56*c_0101_6^30 - 217*c_0101_6^29 + 602*c_0101_6^28 + 3608*c_0101_6^27 + 261*c_0101_6^26 - 20836*c_0101_6^25 - 9668*c_0101_6^24 + 59783*c_0101_6^23 + 26015*c_0101_6^22 - 88363*c_0101_6^21 - 54900*c_0101_6^20 + 103631*c_0101_6^19 + 32896*c_0101_6^18 - 62006*c_0101_6^17 + 20010*c_0101_6^16 - 34972*c_0101_6^15 + 21155*c_0101_6^14 + 6566*c_0101_6^13 - 4086*c_0101_6^12 + 10923*c_0101_6^11 - 14918*c_0101_6^10 + 1165*c_0101_6^9 + 5727*c_0101_6^8 - 2201*c_0101_6^7 - 188*c_0101_6^6 + 127*c_0101_6^5 - 129*c_0101_6^4 + 78*c_0101_6^3 + 4*c_0101_6^2 - 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB