Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 2530675319] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1979 geometric_solution 5.54967578 oriented_manifold CS_known 0.0000000000000001 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 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.492916943224 0.216688949835 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -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 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.806907562210 0.530717377980 1 3 1 4 0132 0132 1023 0132 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 1 -1 0 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 2.059347098471 0.377117515653 5 2 6 4 0132 0132 0132 2310 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.244526962977 0.743117528929 3 6 2 5 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.244526962977 0.743117528929 3 5 4 5 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522820649600 0.684758776492 6 4 6 3 2031 0132 1302 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 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.501786976959 1.553832419381 ==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' : 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' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : 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' : d['c_0101_3'], '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' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], '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_1, c_0101_3, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 1283662212550445795874270706435077973444356763889661123303243402465\ 564150247176351231242496827900478275325242794/137415617887443787847\ 7210080442118196543507990753383691327141998604932222341743804404398\ 710604751352187371623047*c_1001_3^27 - 2527951673930845021578558424961278005334211354507683347124348225885\ 9829189628841614238935310985703253009943402420/13741561788744378784\ 7721008044211819654350799075338369132714199860493222234174380440439\ 8710604751352187371623047*c_1001_3^26 + 4479876255928404043369650804961029876930113478056459755531497862248\ 1457353441802935038030719159823348196220836277/13741561788744378784\ 7721008044211819654350799075338369132714199860493222234174380440439\ 8710604751352187371623047*c_1001_3^25 + 3305741166212969448698747706558600596214242299789290904448982535591\ 51712530411521141858868167327453250889844134311/4580520596248126261\ 5907002681403939884783599691779456377571399953497740744724793480146\ 6236868250450729123874349*c_1001_3^24 - 2832983535393330513314019415343394055666469085055227954340017079551\ 740590889458103427492748425794078362615911887390/137415617887443787\ 8477210080442118196543507990753383691327141998604932222341743804404\ 398710604751352187371623047*c_1001_3^23 - 8319255577307829277631415624604474927358335873400955140447119770076\ 568837916339467755616628917722862914189841731528/137415617887443787\ 8477210080442118196543507990753383691327141998604932222341743804404\ 398710604751352187371623047*c_1001_3^22 + 2901280075359978744990634586750318064523962937401717776071630196927\ 3593024330776289465665630515113818335974121090623/45805205962481262\ 6159070026814039398847835996917794563775713999534977407447247934801\ 466236868250450729123874349*c_1001_3^21 - 6064265410066868622678743313819869717138587413212913628640997197798\ 3228483410424397744806821551629951023686947718508/13741561788744378\ 7847721008044211819654350799075338369132714199860493222234174380440\ 4398710604751352187371623047*c_1001_3^20 - 4266833066605934665999103103058085713709654148476602930593134322548\ 67379999342816123103339409908098619772942317876656/1374156178874437\ 8784772100804421181965435079907533836913271419986049322223417438044\ 04398710604751352187371623047*c_1001_3^19 + 5775521613008241015115080958762477019448882689600089970316373190235\ 216708240699771684665938838866445119235704814819/443276186733689638\ 2184548646587478053366154808881882875248845156790103943037883240014\ 1893890475850070560374937*c_1001_3^18 + 7106498471089485649377681347627389563574570114544365580883277518007\ 95347840779390342887384587488264700173866278809471/4580520596248126\ 2615907002681403939884783599691779456377571399953497740744724793480\ 1466236868250450729123874349*c_1001_3^17 + 3016990549914073061882365281039023852951077660075847466899234967737\ 56529665743263339696209123694253127541856480466700/1374156178874437\ 8784772100804421181965435079907533836913271419986049322223417438044\ 04398710604751352187371623047*c_1001_3^16 - 1691666097658514668132447906411244255681733420981885241371132656549\ 391254783356574097248134740059119946837572030151836/458052059624812\ 6261590700268140393988478359969177945637757139995349774074472479348\ 01466236868250450729123874349*c_1001_3^15 - 4218616678410472218618012635155102253040303021328730458899886097166\ 96468136419701928601529703879374266618096327322000/1526840198749375\ 4205302334227134646628261199897259818792523799984499246914908264493\ 3822078956083483576374624783*c_1001_3^14 + 9489997071840134698498384505843747854088844200786750874393613634690\ 36536574333084323425993071577346263235913798961731/1526840198749375\ 4205302334227134646628261199897259818792523799984499246914908264493\ 3822078956083483576374624783*c_1001_3^13 + 1567862933680981326956605373585961727661357120978871104387518029856\ 908869122474680365778074592995872597001398900196138/458052059624812\ 6261590700268140393988478359969177945637757139995349774074472479348\ 01466236868250450729123874349*c_1001_3^12 - 2983587483319186213160941120384513606341821180277652565902989663407\ 05710017961436565240909699714200859509324248878793/5089467329164584\ 7351007780757115488760870666324199395975079333281664156383027548311\ 274026318694494525458208261*c_1001_3^11 + 6878989536522873915292062139393283198852054694271503862734812465840\ 608596570207594837448843117238710214262342099820/152684019874937542\ 0530233422713464662826119989725981879252379998449924691490826449338\ 22078956083483576374624783*c_1001_3^10 + 4396311266716619593338310119262882066146026414970245862432693249857\ 89625193529869256111433831424711511751872456777441/1526840198749375\ 4205302334227134646628261199897259818792523799984499246914908264493\ 3822078956083483576374624783*c_1001_3^9 - 3113641677015674547989050072935471220843572794965728584286808801086\ 518163291986196650814794298110006744236997539791968/137415617887443\ 7878477210080442118196543507990753383691327141998604932222341743804\ 404398710604751352187371623047*c_1001_3^8 - 1282126535713306697929292085922048468509600856383693122898132117799\ 898186398534047932887783154429777669628135618038251/137415617887443\ 7878477210080442118196543507990753383691327141998604932222341743804\ 404398710604751352187371623047*c_1001_3^7 + 1728400311625715451990996607216312448363650534641720610280059613126\ 923536962825123176914148491537660465245853006695278/137415617887443\ 7878477210080442118196543507990753383691327141998604932222341743804\ 404398710604751352187371623047*c_1001_3^6 + 3494217962771948354382167819186392224731345280401968419885052810542\ 93696942137581548209510619083386162797053708947303/1374156178874437\ 8784772100804421181965435079907533836913271419986049322223417438044\ 04398710604751352187371623047*c_1001_3^5 - 1536705756529518115141913148226743911356520979941559454105804652562\ 90390414051417113615055979906140382933809372674267/1374156178874437\ 8784772100804421181965435079907533836913271419986049322223417438044\ 04398710604751352187371623047*c_1001_3^4 + 5039703066676271266026850887290915216331897905452066958557908694971\ 7610876637703327623201048557976212464477389595903/13741561788744378\ 7847721008044211819654350799075338369132714199860493222234174380440\ 4398710604751352187371623047*c_1001_3^3 - 5113796996525367593609075794505281410212730557691104901001370464442\ 4049037847491172974776338050369971868110592956790/13741561788744378\ 7847721008044211819654350799075338369132714199860493222234174380440\ 4398710604751352187371623047*c_1001_3^2 - 5616066361666374648115560856521141442102780943248740474274452924560\ 6000576728434536193447467597704280974938289856545/13741561788744378\ 7847721008044211819654350799075338369132714199860493222234174380440\ 4398710604751352187371623047*c_1001_3 - 1059196808060508095538485857712894289004675978660830539502477310675\ 989038148945438510072193602165668059937218914211/152684019874937542\ 0530233422713464662826119989725981879252379998449924691490826449338\ 22078956083483576374624783, c_0011_0 - 1, c_0011_1 + 639963615657693187880535590564673414054942037422043014410676\ 2638995845809238004963747233207234409895885/10684700911940840220272\ 7327755380674750311056689610790735624295726133582641258303565314180\ 0816541327899351*c_1001_3^27 + 122363438203367607186478864391444024\ 1420193778174282397817537863699668675147273702182946018716722168697\ 36/1068470091194084022027273277553806747503110566896107907356242957\ 261335826412583035653141800816541327899351*c_1001_3^26 - 9764846634251354450258216653304563083853742352702605156512909921495\ 4419491504925721226616506905629271350/35615669706469467400909109251\ 7935582501036855632035969118747652420445275470861011884380600272180\ 442633117*c_1001_3^25 - 5296145563028164849337859566377952473223533\ 65222561861134546477576228854830742938017153167259849192354284/1187\ 1889902156489133636369750597852750034561854401198970624921747348175\ 8490287003961460200090726814211039*c_1001_3^24 + 1683720233095252842308792298895107709369242598221188584894091630568\ 8444055224303844076761587140117823476862/10684700911940840220272732\ 7755380674750311056689610790735624295726133582641258303565314180081\ 6541327899351*c_1001_3^23 + 314493207000556005400739914192314318001\ 2804688888632918409762824433861947849220632637038460456906318812491\ 6/10684700911940840220272732775538067475031105668961079073562429572\ 61335826412583035653141800816541327899351*c_1001_3^22 - 4508448297212809143689736281871389729610276238159474377834610576773\ 88626257916368628299714291572093236367067/1068470091194084022027273\ 2775538067475031105668961079073562429572613358264125830356531418008\ 16541327899351*c_1001_3^21 + 62625303638282070649107420577151275445\ 9699491174172180695924793884384418194631447042136091093595368269394\ 16/1187188990215648913363636975059785275003456185440119897062492174\ 73481758490287003961460200090726814211039*c_1001_3^20 + 1770972496368030079229614473579981084617245689899569733143156250036\ 784215702006736763985534080027847779728055/106847009119408402202727\ 3277553806747503110566896107907356242957261335826412583035653141800\ 816541327899351*c_1001_3^19 - 2090379528937826673586675461424926566\ 9354687245071252884491144874162788530807658639498616848972749075492\ 3443/11871889902156489133636369750597852750034561854401198970624921\ 7473481758490287003961460200090726814211039*c_1001_3^18 - 3134474459463248743815180561561906529673088977491100855791504078694\ 741596175995003221425704508226950041032673/356156697064694674009091\ 0925179355825010368556320359691187476524204452754708610118843806002\ 72180442633117*c_1001_3^17 + 38206043367239055327294064711211645280\ 1205431543761460879077626090743685891584882438508881393805752445645\ 7172/10684700911940840220272732775538067475031105668961079073562429\ 57261335826412583035653141800816541327899351*c_1001_3^16 + 2237018009098843568274739477212737038754781416210280721273192751794\ 9456956273049297380569986643199018967897595/10684700911940840220272\ 7327755380674750311056689610790735624295726133582641258303565314180\ 0816541327899351*c_1001_3^15 + 599502343998892911377086580776581388\ 3720912408024216733327794333334668467271697003373492927900624252593\ 466436/106847009119408402202727327755380674750311056689610790735624\ 2957261335826412583035653141800816541327899351*c_1001_3^14 - 4446241439731926772078029291970572203373097459693017925999823136280\ 8465975024063945854237659756426963723056055/10684700911940840220272\ 7327755380674750311056689610790735624295726133582641258303565314180\ 0816541327899351*c_1001_3^13 + 328788944877799850784619526460844252\ 6746600240749348740878513265328410523320083894511787270001836278054\ 743217/106847009119408402202727327755380674750311056689610790735624\ 2957261335826412583035653141800816541327899351*c_1001_3^12 + 3577128759331157775430507673938463468216587121757581684515762279900\ 6338733547695268598885288684612726739279673/10684700911940840220272\ 7327755380674750311056689610790735624295726133582641258303565314180\ 0816541327899351*c_1001_3^11 - 216329984608795867159548569422817119\ 1264530767359214299799713759761804792856105874856044378903913081158\ 3202253/10684700911940840220272732775538067475031105668961079073562\ 42957261335826412583035653141800816541327899351*c_1001_3^10 - 5334721522537837371196410893154277768968112171784086374100379198437\ 927072729991616195144254707480573211699794/106847009119408402202727\ 3277553806747503110566896107907356242957261335826412583035653141800\ 816541327899351*c_1001_3^9 + 58936503503595186212059316951555589890\ 0180185481220945518924467667493614106179462485117545846845942527803\ 4688/35615669706469467400909109251793558250103685563203596911874765\ 2420445275470861011884380600272180442633117*c_1001_3^8 - 4353040262621139634860711446583069929757071580483781980090413069931\ 968963150734429098543324670450752635013530/106847009119408402202727\ 3277553806747503110566896107907356242957261335826412583035653141800\ 816541327899351*c_1001_3^7 - 51116230578468603358542803667827906070\ 3198760526140021409725963224573273943190116731796563527122485942607\ 5770/10684700911940840220272732775538067475031105668961079073562429\ 57261335826412583035653141800816541327899351*c_1001_3^6 + 1220559248359382036870680567022173519910554801507982985344117324627\ 593585801364311270335227687132076433926049/106847009119408402202727\ 3277553806747503110566896107907356242957261335826412583035653141800\ 816541327899351*c_1001_3^5 - 15176038291486966521523941182089613803\ 6300476390719141507495775651756740443955802834702859863028573374336\ 524/106847009119408402202727327755380674750311056689610790735624295\ 7261335826412583035653141800816541327899351*c_1001_3^4 - 1246320332972886209766604399787603786841133680798354644059493457980\ 11080042851977475452366651907624277143729/1068470091194084022027273\ 2775538067475031105668961079073562429572613358264125830356531418008\ 16541327899351*c_1001_3^3 + 293574411100266727978152193405611255269\ 6313146951247449557231334889983286556850635534281937600309300292189\ 95/1068470091194084022027273277553806747503110566896107907356242957\ 261335826412583035653141800816541327899351*c_1001_3^2 + 9627350576323540954697408521201103358235660388263612054480657560016\ 502183570774677062642170443909037977375/118718899021564891336363697\ 5059785275003456185440119897062492174734817584902870039614602000907\ 26814211039*c_1001_3 + 13993045254310190478361664798088429156311246\ 5539146225410349486309715704799399158742834069209136261813747/11871\ 8899021564891336363697505978527500345618544011989706249217473481758\ 490287003961460200090726814211039, c_0011_4 - 216484090452628857670344777304423087723274179912522111420993\ 830863639882554173819212175626091079308522126074/147758728911229879\ 4061516215529159351122051602960627625082948385596701314345961080004\ 7297963491950023520124979*c_1001_3^27 - 4180855299306792423970136300467656283245656581812579054176038670559\ 358353396564861885222382347275774841520025/147758728911229879406151\ 6215529159351122051602960627625082948385596701314345961080004729796\ 3491950023520124979*c_1001_3^26 + 101652390562075655107634531634355\ 5175023030560899862664419759111476814230869455781750200873865067495\ 876441560/164176365456922088229057357281017705680227955884514180564\ 7720428440779238162178977783033107054661113724458331*c_1001_3^25 + 1819987937926438703158382111662023232149100705105953738892544459714\ 4961366318975778558147668840561612966502916/16417636545692208822905\ 7357281017705680227955884514180564772042844077923816217897778303310\ 7054661113724458331*c_1001_3^24 - 540227499451242744324152003164044\ 9602232638104557445364269613524841097733829387022244996456796331004\ 68459214138/1477587289112298794061516215529159351122051602960627625\ 0829483855967013143459610800047297963491950023520124979*c_1001_3^23 - 11985309095523533336573605524302061560244998389732457937732508655\ 80332847413310683589947076981794359751396327052/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^22 + 1513999399516913571556705458763099283480965953278977964468802777714\ 0157747521506093887988924521226552960319708229/14775872891122987940\ 6151621552915935112205160296062762508294838559670131434596108000472\ 97963491950023520124979*c_1001_3^21 - 5328955325882990726986244329138713322431295317143302185398323899770\ 212977017211938716486264824993253135961631005/492529096370766264687\ 1720718430531170406838676535425416943161285322337714486536933349099\ 321163983341173374993*c_1001_3^20 - 6599108810849842847031678783778943282393934562654997229625991286735\ 3848661069703765426874831661326626169756453321/14775872891122987940\ 6151621552915935112205160296062762508294838559670131434596108000472\ 97963491950023520124979*c_1001_3^19 + 1851222959416062122902843262774869451427383927020873155541725330977\ 1049615294641291800336747981376860950697493499/49252909637076626468\ 7172071843053117040683867653542541694316128532233771448653693334909\ 9321163983341173374993*c_1001_3^18 + 1128807758189516329625413986460586670431881761115862404421198565838\ 55316569410817022501080254447778884582137537581/4925290963707662646\ 8717207184305311704068386765354254169431612853223377144865369333490\ 99321163983341173374993*c_1001_3^17 - 7855862136236466488060129654627038774358138397235677608901221009734\ 5945627163451609364191336581464727624637097872/14775872891122987940\ 6151621552915935112205160296062762508294838559670131434596108000472\ 97963491950023520124979*c_1001_3^16 - 8276585908504429160278917977566203556932306274222334940817315627553\ 89775763498775641265387871368113671491580948869/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^15 - 3236824210903251869400289995827701561338244854538238493318691069106\ 88567348401026727877057936667339846638661284287/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^14 + 1565797613913189334906835515109723781503622160085482221161119579312\ 270577328732877079058413172751153376993010393350/147758728911229879\ 4061516215529159351122051602960627625082948385596701314345961080004\ 7297963491950023520124979*c_1001_3^13 + 1970898805623193012180501079377782814690198371569222311840909141261\ 85947918231811712971531311914251731129707666079/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^12 - 1438951174327897198022890164344353280697134834584348328186999434377\ 384917931017614336410650086230039601665994061374/147758728911229879\ 4061516215529159351122051602960627625082948385596701314345961080004\ 7297963491950023520124979*c_1001_3^11 + 5674797505652753028509416575561063920555962409683890336493268532024\ 08188652197256108127212568163034094822278953624/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^10 + 4466063849650785488842656222591021661924846047974797688555491006925\ 02650607115492782849593854733804279874301759198/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^9 - 2344116205287688016621413089184920573529880665354017939067169257608\ 73028871752868763891017748144319227993067036189/4925290963707662646\ 8717207184305311704068386765354254169431612853223377144865369333490\ 99321163983341173374993*c_1001_3^8 + 6129114571202039508989862786866281269728020241140046665367891933337\ 9395587531471092876839892057518179698667143406/14775872891122987940\ 6151621552915935112205160296062762508294838559670131434596108000472\ 97963491950023520124979*c_1001_3^7 + 2653892569235337953718801479384758652832805465943294176177248299320\ 80697383544332761879969977248681870166508973856/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^6 - 4436885948571320389180822926155775595151227545860412934699173496299\ 2433476449351569985302365820860128150776954071/14775872891122987940\ 6151621552915935112205160296062762508294838559670131434596108000472\ 97963491950023520124979*c_1001_3^5 - 5515071590842023764126125949699673862330683222281428883925435208537\ 799725218026704965491235258885357482046332750/147758728911229879406\ 1516215529159351122051602960627625082948385596701314345961080004729\ 7963491950023520124979*c_1001_3^4 + 9856030219455524981646455321154478822187672348073385420953336232811\ 703644093439475235825576102738368405880535070/147758728911229879406\ 1516215529159351122051602960627625082948385596701314345961080004729\ 7963491950023520124979*c_1001_3^3 - 1276902882408901399867440483471261414846921583568506835892074437284\ 4357150810135423678153763893142318652097771175/14775872891122987940\ 6151621552915935112205160296062762508294838559670131434596108000472\ 97963491950023520124979*c_1001_3^2 - 1487846190282225078985465013232422556891800681662199420533775543738\ 344356730448014280461133045932823214052221425/492529096370766264687\ 1720718430531170406838676535425416943161285322337714486536933349099\ 321163983341173374993*c_1001_3 - 9424167989245380552346596834574181\ 5995318094778705735571346187508331817847392051161495990740999853350\ 32782938/1641763654569220882290573572810177056802279558845141805647\ 720428440779238162178977783033107054661113724458331, c_0101_0 - 292187435292180520204442540682250018785831247541095936325123\ 8484565981307054831728430605565733688409642/35615669706469467400909\ 1092517935582501036855632035969118747652420445275470861011884380600\ 272180442633117*c_1001_3^27 - 1882425154223954369802103066606874787\ 3408306953819649711101572561105752374147231182779854307865137622516\ /118718899021564891336363697505978527500345618544011989706249217473\ 481758490287003961460200090726814211039*c_1001_3^26 + 4081348063045399664793574266593498449979042414835651221210774479338\ 1045309816010980207737357946721681460/11871889902156489133636369750\ 5978527500345618544011989706249217473481758490287003961460200090726\ 814211039*c_1001_3^25 + 7362934888337901072490599866620789888921821\ 42342733072083190154767318796484487257873847044605103485604608/1187\ 1889902156489133636369750597852750034561854401198970624921747348175\ 8490287003961460200090726814211039*c_1001_3^24 - 7252023498028988447146911534251359744359442347169709538577129330809\ 391069732656625387477427357552151727574/356156697064694674009091092\ 5179355825010368556320359691187476524204452754708610118843806002721\ 80442633117*c_1001_3^23 - 53803687054809563663960907286192428255006\ 85003612762222106047538147756645313879895438621125381427891518538/1\ 1871889902156489133636369750597852750034561854401198970624921747348\ 1758490287003961460200090726814211039*c_1001_3^22 + 2036989648219238078489353472189525023632521658086148865345066721826\ 22301094426928841006042662510142714965538/3561566970646946740090910\ 9251793558250103685563203596911874765242044527547086101188438060027\ 2180442633117*c_1001_3^21 - 213881042570554188011266525569780293163\ 3711374708963317568847270637549052937566999488804940357333853726503\ 33/3561566970646946740090910925179355825010368556320359691187476524\ 20445275470861011884380600272180442633117*c_1001_3^20 - 8813868021277009615616331983687930356483779291180235557856238907799\ 66948376048602319334226871495914959789323/3561566970646946740090910\ 9251793558250103685563203596911874765242044527547086101188438060027\ 2180442633117*c_1001_3^19 + 727688063654249624443203925551006887292\ 3394822183068979683019797516966155000467754939083637959626373853667\ 23/3561566970646946740090910925179355825010368556320359691187476524\ 20445275470861011884380600272180442633117*c_1001_3^18 + 4525484876697061138734919759944766521784963874850915526420588840990\ 583372818215529520981718053873434705092763/356156697064694674009091\ 0925179355825010368556320359691187476524204452754708610118843806002\ 72180442633117*c_1001_3^17 - 97427399478356789058676419405099450060\ 2326830532083199810578949921843976575715999707172880391424505719067\ 794/356156697064694674009091092517935582501036855632035969118747652\ 420445275470861011884380600272180442633117*c_1001_3^16 - 3635350167622607188925597021493994784584138143900960968720788119350\ 193154099141501768216493477254124573896819/118718899021564891336363\ 6975059785275003456185440119897062492174734817584902870039614602000\ 90726814211039*c_1001_3^15 - 44598115556829621519619367617898222341\ 6800814865834532213123619057848399418146803580412998000916583037811\ 0372/35615669706469467400909109251793558250103685563203596911874765\ 2420445275470861011884380600272180442633117*c_1001_3^14 + 2050260222788022154513231179037134811228132182623742467838892493352\ 3839796115829298690373782401965057801446134/35615669706469467400909\ 1092517935582501036855632035969118747652420445275470861011884380600\ 272180442633117*c_1001_3^13 + 8143253626647013051930449016829409027\ 3387975099956266489599280838529197803806862913480502622082979212660\ 7676/11871889902156489133636369750597852750034561854401198970624921\ 7473481758490287003961460200090726814211039*c_1001_3^12 - 1852202489367670695280387984102472392005654471493055937599806424868\ 7185452009912990430712380299503537874934863/35615669706469467400909\ 1092517935582501036855632035969118747652420445275470861011884380600\ 272180442633117*c_1001_3^11 + 7744402442715146331016554651328183166\ 4783142170308205217640982977979159324523888140708882719985782561509\ 64272/3561566970646946740090910925179355825010368556320359691187476\ 52420445275470861011884380600272180442633117*c_1001_3^10 + 1823380389550952829705513181884568351579715123741380832349435396595\ 328764476996692736406649568773292155163125/118718899021564891336363\ 6975059785275003456185440119897062492174734817584902870039614602000\ 90726814211039*c_1001_3^9 - 303217077124274750623968228015500946898\ 6594295612638726350124687517696029532213433892572842980879128288417\ 881/118718899021564891336363697505978527500345618544011989706249217\ 473481758490287003961460200090726814211039*c_1001_3^8 + 8921483604844108863745169264607516356877419165437591206859162385937\ 23272516025574162068642291782698963850568/3561566970646946740090910\ 9251793558250103685563203596911874765242044527547086101188438060027\ 2180442633117*c_1001_3^7 + 1084770688814794455395747020219250806491\ 6165872427401574663219194006505527944951915645323085171854649062410\ 93/1187188990215648913363636975059785275003456185440119897062492174\ 73481758490287003961460200090726814211039*c_1001_3^6 - 5706297553687066466001113729521122838686231976722198417590958668551\ 94154675305629019910434629189184137274554/3561566970646946740090910\ 9251793558250103685563203596911874765242044527547086101188438060027\ 2180442633117*c_1001_3^5 - 1186685863789077790363449845667445922787\ 9010309528011851938845597216620407697805385218214054443831468397958\ /118718899021564891336363697505978527500345618544011989706249217473\ 481758490287003961460200090726814211039*c_1001_3^4 + 1266711566500655967967908466185788150912838714247891840376741544880\ 09965886025934032106131829436536741151733/3561566970646946740090910\ 9251793558250103685563203596911874765242044527547086101188438060027\ 2180442633117*c_1001_3^3 - 5136316599122805169401236777923683094148\ 3809538150353404777577440482002961864051466720287359539172916919736\ /118718899021564891336363697505978527500345618544011989706249217473\ 481758490287003961460200090726814211039*c_1001_3^2 - 1795501654836438087635326953748364862475154660531217797597536202117\ 2964885622493871944699078991092674624368/11871889902156489133636369\ 7505978527500345618544011989706249217473481758490287003961460200090\ 726814211039*c_1001_3 - 2638036090218586790546800886486050589801592\ 82570965311829177330654666147086282750276882209353121502409606/1187\ 1889902156489133636369750597852750034561854401198970624921747348175\ 8490287003961460200090726814211039, c_0101_1 + 556785631023447648761552724684394324926604419585153068530747\ 410090056660789758218360111179125824509745/118718899021564891336363\ 6975059785275003456185440119897062492174734817584902870039614602000\ 90726814211039*c_1001_3^27 + 32950099404200424335422223901954877527\ 205387764846706256889669046563355680665173312481597119768212634330/\ 3561566970646946740090910925179355825010368556320359691187476524204\ 45275470861011884380600272180442633117*c_1001_3^26 - 1915437868228918551492634562246286721313004508007465638174869907297\ 8795546220158155982257273332613561873/11871889902156489133636369750\ 5978527500345618544011989706249217473481758490287003961460200090726\ 814211039*c_1001_3^25 - 4323244280505317053757556988887578545349761\ 13410299321338328936645743902336081693366311769935000261107261/1187\ 1889902156489133636369750597852750034561854401198970624921747348175\ 8490287003961460200090726814211039*c_1001_3^24 + 1220816216574661375509844841978161481540827512077988965489188212971\ 168984284355249601314864069029836365666/118718899021564891336363697\ 5059785275003456185440119897062492174734817584902870039614602000907\ 26814211039*c_1001_3^23 + 11123841097915446223100471611224926303749\ 085361219242388910152697501258036176664843523547902625136929546845/\ 3561566970646946740090910925179355825010368556320359691187476524204\ 45275470861011884380600272180442633117*c_1001_3^22 - 3794885973517203211932609258343692734197112582596674294872854160637\ 3819383098333633014971263959628695957604/11871889902156489133636369\ 7505978527500345618544011989706249217473481758490287003961460200090\ 726814211039*c_1001_3^21 + 7481452224527150830620643899797015241156\ 5369949195965528549146096965617679456967593740441996939536485741208\ /356156697064694674009091092517935582501036855632035969118747652420\ 445275470861011884380600272180442633117*c_1001_3^20 + 5777514167901678997142347040559200474849888655679281012406742481116\ 52626725804992037070452420851416483732504/3561566970646946740090910\ 9251793558250103685563203596911874765242044527547086101188438060027\ 2180442633117*c_1001_3^19 - 262282717829389920289772651393775365189\ 9585296508657205109335694400977551394234079964016848478541161222926\ 70/3561566970646946740090910925179355825010368556320359691187476524\ 20445275470861011884380600272180442633117*c_1001_3^18 - 2822869320080089105486568276719761548018353874169669359238025395622\ 300422029018825766868399026641681287670471/356156697064694674009091\ 0925179355825010368556320359691187476524204452754708610118843806002\ 72180442633117*c_1001_3^17 - 31654596306050940647079535228424223824\ 2645842901713971729246153009368512648741817884538421682033359041239\ 016/356156697064694674009091092517935582501036855632035969118747652\ 420445275470861011884380600272180442633117*c_1001_3^16 + 6882631098366227341901347814898032530601325643021020197379726487639\ 924142467596117578888422364363630845828781/356156697064694674009091\ 0925179355825010368556320359691187476524204452754708610118843806002\ 72180442633117*c_1001_3^15 + 15032706745413602964114051111844577388\ 0018649043088434600547300647734811853044578591818691911481153260592\ 7279/11871889902156489133636369750597852750034561854401198970624921\ 7473481758490287003961460200090726814211039*c_1001_3^14 - 1170881967205974211245930601489402413652051929240788973515005080792\ 3352178236631188714239468915322202347886180/35615669706469467400909\ 1092517935582501036855632035969118747652420445275470861011884380600\ 272180442633117*c_1001_3^13 - 5683998449510842202256626990361834977\ 1924317901714495412602349531796505260520538717927554598046312915111\ 28236/3561566970646946740090910925179355825010368556320359691187476\ 52420445275470861011884380600272180442633117*c_1001_3^12 + 4167949635954641571681302953570765340130379171071152825150011999073\ 105359699785348072761418351414546956370064/118718899021564891336363\ 6975059785275003456185440119897062492174734817584902870039614602000\ 90726814211039*c_1001_3^11 - 18671616301173008655617425716456242416\ 9051145224288652906762598521982898057155385586502377509753535771856\ 9616/35615669706469467400909109251793558250103685563203596911874765\ 2420445275470861011884380600272180442633117*c_1001_3^10 - 6253868569443915148499332014237004020127599995779482153024067519520\ 724644958492504004874822617012054103005348/356156697064694674009091\ 0925179355825010368556320359691187476524204452754708610118843806002\ 72180442633117*c_1001_3^9 + 200195324655822731982723806200630216909\ 4871400870987179916040411667349553547466340465590193427256255907961\ 948/118718899021564891336363697505978527500345618544011989706249217\ 473481758490287003961460200090726814211039*c_1001_3^8 + 2722387266741835268192806813236493963253529228709673062365400774619\ 24958008657981161359510467618383099135457/1187188990215648913363636\ 9750597852750034561854401198970624921747348175849028700396146020009\ 0726814211039*c_1001_3^7 - 2783194432878818205976085357112109782377\ 5821930586093030601879954487739996499322516043907107243096989453093\ 89/3561566970646946740090910925179355825010368556320359691187476524\ 20445275470861011884380600272180442633117*c_1001_3^6 + 9388204265994529350401537988756840360835616585329335413994854645801\ 0306531697702854438101567038332841364917/11871889902156489133636369\ 7505978527500345618544011989706249217473481758490287003961460200090\ 726814211039*c_1001_3^5 + 14231388566725744099532501585774368213755\ 3403054527635143568266853558849890304536532720268337789387035042622\ /356156697064694674009091092517935582501036855632035969118747652420\ 445275470861011884380600272180442633117*c_1001_3^4 - 5008775531416233543044661321936785735495282498791885537630953845806\ 8846402833661280266704176737304303799152/11871889902156489133636369\ 7505978527500345618544011989706249217473481758490287003961460200090\ 726814211039*c_1001_3^3 + 10680147210199606990571263210797209673437\ 8535339650801502675593893406524387721110453602204188598484725636536\ /356156697064694674009091092517935582501036855632035969118747652420\ 445275470861011884380600272180442633117*c_1001_3^2 + 1530589622035346238629742708165682747008847504478506882422562876873\ 3657490987670673057462460431830807800130/11871889902156489133636369\ 7505978527500345618544011989706249217473481758490287003961460200090\ 726814211039*c_1001_3 + 3569549147890222754516774280992543600293459\ 91263661763626169170178101232275949216235463875051378041936368/1187\ 1889902156489133636369750597852750034561854401198970624921747348175\ 8490287003961460200090726814211039, c_0101_3 + 215775706800959261843879919602345736024410407391099104486575\ 960860762050968322876602247214408204808680715067/147758728911229879\ 4061516215529159351122051602960627625082948385596701314345961080004\ 7297963491950023520124979*c_1001_3^27 + 4179291900797260831312334847630745118209264480719443240962517923859\ 000847657176508015989465487224735769274291/147758728911229879406151\ 6215529159351122051602960627625082948385596701314345961080004729796\ 3491950023520124979*c_1001_3^26 - 987552029517724097741630263545540\ 8046575002760396263727476778033096869228528242629437679841656093173\ 83458863/1641763654569220882290573572810177056802279558845141805647\ 720428440779238162178977783033107054661113724458331*c_1001_3^25 - 1820324668279597354801199054814989997252509308107176979701106966440\ 2537264892487029902659837157136524964625418/16417636545692208822905\ 7357281017705680227955884514180564772042844077923816217897778303310\ 7054661113724458331*c_1001_3^24 + 529574103987407836017951042671776\ 0581577387413495572779424611967792268798600637707843907884632404705\ 62448613084/1477587289112298794061516215529159351122051602960627625\ 0829483855967013143459610800047297963491950023520124979*c_1001_3^23 + 12269284396415503007186260133281783788835221565652795108182706525\ 54476803571183165181341943999807444567025071360/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^22 - 1503703165212129643105715685141896961354785099538522889767281414887\ 3195162114356266204588121536509113097066647029/14775872891122987940\ 6151621552915935112205160296062762508294838559670131434596108000472\ 97963491950023520124979*c_1001_3^21 + 5029763998653577492736174247113600952629926836868141381810725285396\ 086896254091560518905682366624791122568784600/492529096370766264687\ 1720718430531170406838676535425416943161285322337714486536933349099\ 321163983341173374993*c_1001_3^20 + 6692981910337564443702268343823696038508422969208351068367497029197\ 5077159350506631969512060125826139966112448917/14775872891122987940\ 6151621552915935112205160296062762508294838559670131434596108000472\ 97963491950023520124979*c_1001_3^19 - 5825543906633975024729828995981207328818972643036780487685003830883\ 734473140980625100034411412204134270706664308/164176365456922088229\ 0573572810177056802279558845141805647720428440779238162178977783033\ 107054661113724458331*c_1001_3^18 - 3788218034518372986862598599539118090538593098437968597254823563556\ 1664351767091226868063778836254699357794647068/16417636545692208822\ 9057357281017705680227955884514180564772042844077923816217897778303\ 3107054661113724458331*c_1001_3^17 + 6207315834996264735191071845381849199871605822246993720648121981680\ 0368412132864817177642200300965589426775150293/14775872891122987940\ 6151621552915935112205160296062762508294838559670131434596108000472\ 97963491950023520124979*c_1001_3^16 + 8324081484750708308842135152598715959398298779384398543096961917270\ 35167532080177537237325351275481324210368917831/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^15 + 3573867560000583071460850774145870042096450894489722236488809798725\ 25130351115379193915144032793565524227530291733/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^14 - 1551165495481391228752520476472757474136650089942988043188034647599\ 578181289982834749234581265999770675437370324725/147758728911229879\ 4061516215529159351122051602960627625082948385596701314345961080004\ 7297963491950023520124979*c_1001_3^13 - 2669229503859820604899481936683708904533169419735182906084627554074\ 98441730053672672006682806307879335446019630755/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^12 + 1454503143189886224920722413506553275748436229490407194041655280227\ 025345435670232320752937834951134395285599684776/147758728911229879\ 4061516215529159351122051602960627625082948385596701314345961080004\ 7297963491950023520124979*c_1001_3^11 - 5251475084697945687542286330797419621189452488039666220295018149276\ 69129766287936144067376019678045831203905358534/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^10 - 4888503101763174341688838113303885198625389470438037438073791378296\ 89695325345149337288610524033555955058834982159/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^9 + 2365431837247560576358475283957817340972213874228042872112868050673\ 73153274417589895851644738985354700419605690223/4925290963707662646\ 8717207184305311704068386765354254169431612853223377144865369333490\ 99321163983341173374993*c_1001_3^8 - 4085221041223481385249890352758564441914073284494196126925126314916\ 6168908416236636709586638968822931481760199542/14775872891122987940\ 6151621552915935112205160296062762508294838559670131434596108000472\ 97963491950023520124979*c_1001_3^7 - 2743234033173146015824819223010898918386397428642320514219264661608\ 76350226351242906423093230656949307407314677452/1477587289112298794\ 0615162155291593511220516029606276250829483855967013143459610800047\ 297963491950023520124979*c_1001_3^6 + 4298309630926524621392814659775800683013243199670067417393814770924\ 1602084266391049444162941902310620017053983669/14775872891122987940\ 6151621552915935112205160296062762508294838559670131434596108000472\ 97963491950023520124979*c_1001_3^5 + 6652413008297913090152124198626262449848550594994788623305614859356\ 272223280300646461559195063441817907276351796/147758728911229879406\ 1516215529159351122051602960627625082948385596701314345961080004729\ 7963491950023520124979*c_1001_3^4 - 1098416785877574505399505202784448057386585584238629475869098989262\ 9765765996679652893473369571667033918585731656/14775872891122987940\ 6151621552915935112205160296062762508294838559670131434596108000472\ 97963491950023520124979*c_1001_3^3 + 1272859873682622415433655604775389527762059612292560087757438649166\ 3574284592189519510052257314293398350452163200/14775872891122987940\ 6151621552915935112205160296062762508294838559670131434596108000472\ 97963491950023520124979*c_1001_3^2 + 1534609005732987105354233562658331918744998688726924749665092303920\ 383434835624651798725786408389160744140061680/492529096370766264687\ 1720718430531170406838676535425416943161285322337714486536933349099\ 321163983341173374993*c_1001_3 + 9736550550592238776123311583653288\ 5359176697800065194538565314614351307407180433633501221408755737919\ 33872964/1641763654569220882290573572810177056802279558845141805647\ 720428440779238162178977783033107054661113724458331, c_1001_3^28 + 20*c_1001_3^27 - 29*c_1001_3^26 - 786*c_1001_3^25 + 1976*c_1001_3^24 + 7264*c_1001_3^23 - 66171*c_1001_3^22 + 25690*c_1001_3^21 + 356722*c_1001_3^20 - 48329*c_1001_3^19 - 1744761*c_1001_3^18 - 708752*c_1001_3^17 + 4094823*c_1001_3^16 + 4117779*c_1001_3^15 - 6250806*c_1001_3^14 - 5903520*c_1001_3^13 + 6107688*c_1001_3^12 + 1932939*c_1001_3^11 - 3916494*c_1001_3^10 + 1883393*c_1001_3^9 + 1942444*c_1001_3^8 - 1446685*c_1001_3^7 - 627163*c_1001_3^6 + 166934*c_1001_3^5 - 29488*c_1001_3^4 + 29216*c_1001_3^3 + 61312*c_1001_3^2 + 14517*c_1001_3 + 279 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB