Magma V2.19-8 Tue Aug 20 2013 16:18:12 on localhost [Seed = 1595851365] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2421 geometric_solution 5.77043568 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 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 1 0 -1 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.203347567503 1.192500518928 0 2 4 3 0132 3201 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.138954827561 0.814879204159 3 4 1 0 3201 0132 2310 0132 0 0 0 0 0 1 0 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.138954827561 0.814879204159 5 5 1 2 0132 3201 0132 2310 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.455891752015 2.009749644092 6 2 6 1 0132 0132 2310 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 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.859412961377 0.850549523275 3 5 3 5 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.580838488907 0.709540788214 4 4 6 6 0132 3201 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.408593976594 0.262603636220 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 46 Groebner basis: [ t - 9390801269056788722348401260952302354437512938845305613858423761452\ 064254933443671677316731553859461120/277050204060827296621056768444\ 6964793243676513706126314590009847543603724251450517740577601509559\ 1*c_0101_4^44 + 174873706404203541939889824433380997905129784357853\ 5606194643061012831427112313908128367636730722943734784/27705020406\ 0827296621056768444696479324367651370612631459000984754360372425145\ 05177405776015095591*c_0101_4^42 - 9805112419807658249980504581789863990791458524992686400047791764120\ 48471625219710543300839710504098671104/6757322050264080405391628498\ 6511336420577475944051861331463654818136676201254890676599453695355\ 1*c_0101_4^40 + 420408994724558472783434653630044597553439471385833\ 368112984378859098221667819362241968931565686710376809376/277050204\ 0608272966210567684446964793243676513706126314590009847543603724251\ 4505177405776015095591*c_0101_4^38 - 8479944800100588297778682857745674079191456006509791738058529716921\ 87894924728652970860634677145399614292824/9235006802027576554035225\ 6148232159774789217123537543819666994918120124141715017258019253383\ 65197*c_0101_4^36 + 32898086172446135037370042436800370298774791223\ 44348417196210163727928040029262517268243412456156998899958920/9235\ 0068020275765540352256148232159774789217123537543819666994918120124\ 14171501725801925338365197*c_0101_4^34 - 8671978548336515697197568267818673892645086860976052471503895136950\ 842807095918979316392965332599211513106273/923500680202757655403522\ 5614823215977478921712353754381966699491812012414171501725801925338\ 365197*c_0101_4^32 + 1619363696194109097326305793129618186348142643\ 9798590152286753814820650155148992570435064256091142474994139725/92\ 3500680202757655403522561482321597747892171235375438196669949181201\ 2414171501725801925338365197*c_0101_4^30 - 6673246437337942602884330608218745029767832411024492577879166933241\ 0827764005312183293691931538364566073810184/27705020406082729662105\ 6768444696479324367651370612631459000984754360372425145051774057760\ 15095591*c_0101_4^28 + 13735796128422414926689817307289355916828144\ 03786034766617734248409539526586316239854655677876511519608605580/5\ 4323569423691626788442503616607152808699539484433849305686467598894\ 1906715970689753054431668541*c_0101_4^26 - 5822831305176915625430802967253734815144319872268886292711701022807\ 8610140622029348379546824556975984507621842/27705020406082729662105\ 6768444696479324367651370612631459000984754360372425145051774057760\ 15095591*c_0101_4^24 + 39345751593571186207062216587419795387528654\ 374206224852876296807586855595452565683537318622336364053703330868/\ 2770502040608272966210567684446964793243676513706126314590009847543\ 6037242514505177405776015095591*c_0101_4^22 - 1291127217230985539400223514893598877402655202524761018142242442046\ 270174777263981099197909152376313443775649/162970708271074880365327\ 5108498214584260986184533015479170594027966825720147912069259163295\ 005623*c_0101_4^20 + 3384731190554768791396736903687836449347600812\ 667902979974568491414950852308951640784817353752964600695575087/923\ 5006802027576554035225614823215977478921712353754381966699491812012\ 414171501725801925338365197*c_0101_4^18 - 3873204407275134006663547965010565484363765723908843175106036122709\ 413992789389580087126256271648870162184896/277050204060827296621056\ 7684446964793243676513706126314590009847543603724251450517740577601\ 5095591*c_0101_4^16 + 120300828739403625054842799517158039331646806\ 2509342145443789953569421768318076313569269243986114615791902429/27\ 7050204060827296621056768444696479324367651370612631459000984754360\ 37242514505177405776015095591*c_0101_4^14 - 9985237185683786834146175077133705621251967391644607158033889375494\ 9823710530989608325060079896732100025379/92350068020275765540352256\ 1482321597747892171235375438196669949181201241417150172580192533836\ 5197*c_0101_4^12 + 587130162486694765260923285318468251268569102112\ 61068486064183876559973273390416564552234136820289140312217/2770502\ 0406082729662105676844469647932436765137061263145900098475436037242\ 514505177405776015095591*c_0101_4^10 - 8839684423171924311115919360187262389703161360588802930070972125678\ 112175108248715325537063744471453342015/277050204060827296621056768\ 4446964793243676513706126314590009847543603724251450517740577601509\ 5591*c_0101_4^8 + 9857572209976435084674357495233065981818170117012\ 29875638604482096546391774549988284671191587925734998329/2770502040\ 6082729662105676844469647932436765137061263145900098475436037242514\ 505177405776015095591*c_0101_4^6 - 1865589560706993891025713006964208794803803264736977965710974298343\ 508352661963152338768867705552964226/675732205026408040539162849865\ 113364205774759440518613314636548181366762012548906765994536953551*\ c_0101_4^4 + 365249231729274447467103709619940363484313192934969633\ 5372086437996683296306011412931141101749600943079/27705020406082729\ 6621056768444696479324367651370612631459000984754360372425145051774\ 05776015095591*c_0101_4^2 - 789819896740922677999430577978499831547\ 21626697493623068354479074335856678592969378651046439831272108/2770\ 5020406082729662105676844469647932436765137061263145900098475436037\ 242514505177405776015095591, c_0011_0 - 1, c_0011_2 - 582921199766204557246597977729882705633636775027229188468933\ 6647580738958967346201333447234747991040/22524406834213601351305428\ 3288371121401924919813506204438212182727122254004182968921998178984\ 517*c_0101_4^45 + 1085344233241068322553447188998414402504869585440\ 406201280045598288297657311249306167310031104201246848/225244068342\ 1360135130542832883711214019249198135062044382121827271222540041829\ 68921998178984517*c_0101_4^43 - 24924333197978273917262833480082748\ 5557308370962095657713949975983276267125253420558763280455388712662\ 72/2252440683421360135130542832883711214019249198135062044382121827\ 27122254004182968921998178984517*c_0101_4^41 + 2602797149312310328184303778117832963479895905539513456588248018498\ 81522333410150661253225127641711020436/2252440683421360135130542832\ 8837112140192491981350620443821218272712225400418296892199817898451\ 7*c_0101_4^39 - 157204035841070024974352361370884897396938695311581\ 0939879233256618205187909718704416720812752201986952836/22524406834\ 2136013513054283288371121401924919813506204438212182727122254004182\ 968921998178984517*c_0101_4^37 + 6083689204517103460862153874557498\ 3285248371432076358814347046877010324516540628482313762809801346471\ 89442/2252440683421360135130542832883711214019249198135062044382121\ 82727122254004182968921998178984517*c_0101_4^35 - 1598550990097680226843683197139340505988103566150377313109626361021\ 1055737753967193221162496382960025135077/22524406834213601351305428\ 3288371121401924919813506204438212182727122254004182968921998178984\ 517*c_0101_4^33 + 2973113199360095850361959199103279455310149390337\ 4051709174857863428521293057411540620834626668949490603348/22524406\ 8342136013513054283288371121401924919813506204438212182727122254004\ 182968921998178984517*c_0101_4^31 - 4064476000717106507725813871609935357914351178363085306221758726234\ 6633148556615714392172111704083782464955/22524406834213601351305428\ 3288371121401924919813506204438212182727122254004182968921998178984\ 517*c_0101_4^29 + 2496424097482476825895204810090942642186825021438\ 009751118569263548337587110346803839306751509651016552296/132496510\ 7894917726547378136990418361187793645961801202577718721924248552965\ 7821701294010528501*c_0101_4^27 - 350764970179876512355912955526881\ 4508899923116493193498540299008847578732618359764989309623035384997\ 5002702/22524406834213601351305428328837112140192491981350620443821\ 2182727122254004182968921998178984517*c_0101_4^25 + 2356153860904043282451060082665635127231372209615872648382004517693\ 2406496721906058756298741098363862558594/22524406834213601351305428\ 3288371121401924919813506204438212182727122254004182968921998178984\ 517*c_0101_4^23 - 7682830958923428763975830583013243674619242484493\ 11099261696792971909789621385633631930577090580705307634/1324965107\ 8949177265473781369904183611877936459618012025777187219242485529657\ 821701294010528501*c_0101_4^21 + 5999662101930293732572141639248330\ 6002159019747676516735030179804597528112553611453863598919250896344\ 66757/2252440683421360135130542832883711214019249198135062044382121\ 82727122254004182968921998178984517*c_0101_4^19 - 2269643062865939884795040400321718037146888213419712909010417674380\ 567497160779191006705923742388418898643/225244068342136013513054283\ 2883711214019249198135062044382121827271222540041829689219981789845\ 17*c_0101_4^17 + 69799994803484100818393020043985475908190199118253\ 9839416651918479160570888798085945312034079403863464868/22524406834\ 2136013513054283288371121401924919813506204438212182727122254004182\ 968921998178984517*c_0101_4^15 - 1717715040547036200332412699357168\ 0406635229737434920138687480800778181281490597652697283769034904190\ 6675/22524406834213601351305428328837112140192491981350620443821218\ 2727122254004182968921998178984517*c_0101_4^13 + 3320345698138584929037413255800719589368830142532568065576732730918\ 0318526366888303189038322088623865927/22524406834213601351305428328\ 8371121401924919813506204438212182727122254004182968921998178984517\ *c_0101_4^11 - 4917851433277218613968099122658843137281156247181463\ 738907868894750855279694554287138502655906957558294/225244068342136\ 0135130542832883711214019249198135062044382121827271222540041829689\ 21998178984517*c_0101_4^9 + 537761567319042699558432466257793138473\ 175907591030622576017667525419951590278618332178565522998245303/225\ 2440683421360135130542832883711214019249198135062044382121827271222\ 54004182968921998178984517*c_0101_4^7 - 4071370675102616578463260679487848838326864375350486314923539741252\ 2975716918501402154473574298479715/22524406834213601351305428328837\ 1121401924919813506204438212182727122254004182968921998178984517*c_\ 0101_4^5 + 18806326476994334051196844485970614518061167426588694774\ 08174350638659771424525313434541140400272159/2252440683421360135130\ 5428328837112140192491981350620443821218272712225400418296892199817\ 8984517*c_0101_4^3 - 3842863805083758266816419651926764531959049741\ 6557650958543178431692831254567640328785028368064849/22524406834213\ 6013513054283288371121401924919813506204438212182727122254004182968\ 921998178984517*c_0101_4, c_0011_3 + 487695132373580268936796530546383611902873011032832698183324\ 09809281839813389197365846879192659389440/2252440683421360135130542\ 8328837112140192491981350620443821218272712225400418296892199817898\ 4517*c_0101_4^45 - 908296399432319595419690729307793780342334734801\ 3026729590639998028874907473364208260549901938475495808/22524406834\ 2136013513054283288371121401924919813506204438212182727122254004182\ 968921998178984517*c_0101_4^43 + 2089997664765437099265375234450187\ 4784529947947274245369898951015437427862441864028069409886571488231\ 9648/22524406834213601351305428328837112140192491981350620443821218\ 2727122254004182968921998178984517*c_0101_4^41 - 2188416698371776294464075652375392471795171772350360191743564034144\ 071981960993679099468642093444783869980/225244068342136013513054283\ 2883711214019249198135062044382121827271222540041829689219981789845\ 17*c_0101_4^39 + 13264579938445682724868262740580751544183632433469\ 897513323351600753164608626151514047552491400077853258320/225244068\ 3421360135130542832883711214019249198135062044382121827271222540041\ 82968921998178984517*c_0101_4^37 - 5157140145200887472559887984980164544536105331801025895782934110487\ 1163042972999566670895053652951735300333/22524406834213601351305428\ 3288371121401924919813506204438212182727122254004182968921998178984\ 517*c_0101_4^35 + 1363184466253804775596026694734133943904660115923\ 95359821574726243175555085466782009958723632619823512637444/2252440\ 6834213601351305428328837112140192491981350620443821218272712225400\ 4182968921998178984517*c_0101_4^33 - 2554244550108469536056011874574279054044348221918155043247159323717\ 33973943793390262208242619918342369268981/2252440683421360135130542\ 8328837112140192491981350620443821218272712225400418296892199817898\ 4517*c_0101_4^31 + 352267078699261233776869807471712662403807144573\ 435851910064306941523456684104019806525796092809259212857491/225244\ 0683421360135130542832883711214019249198135062044382121827271222540\ 04182968921998178984517*c_0101_4^29 - 2184820764885155537162518935161861773243851194815595339044295280248\ 6836226035236664315646701019298902531101/13249651078949177265473781\ 3699041836118779364596180120257771872192424855296578217012940105285\ 01*c_0101_4^27 + 31013728881128476778141839151462504902844130026535\ 3375966231704465653564424854008074980015955169184546159813/22524406\ 8342136013513054283288371121401924919813506204438212182727122254004\ 182968921998178984517*c_0101_4^25 - 2105489741729165470429270237214538617563152036446933697918418643613\ 22653052984127569733630786095976627810110/2252440683421360135130542\ 8328837112140192491981350620443821218272712225400418296892199817898\ 4517*c_0101_4^23 + 694327832400997200046863005941211294268730230628\ 7129486982824879748831590171556445238079006611404870510711/13249651\ 0789491772654737813699041836118779364596180120257771872192424855296\ 57821701294010528501*c_0101_4^21 - 5490204907142467936148722339774865463987060140625109306865212353899\ 2445959644383460705151155380875003557462/22524406834213601351305428\ 3288371121401924919813506204438212182727122254004182968921998178984\ 517*c_0101_4^19 + 2107227169087880747499912511382331154747560352764\ 7925611042751349628626802142947451978728617909315940723961/22524406\ 8342136013513054283288371121401924919813506204438212182727122254004\ 182968921998178984517*c_0101_4^17 - 6592776044817812011759053356560917803950523623169311731671480756831\ 321922589446422251852742063074574195176/225244068342136013513054283\ 2883711214019249198135062044382121827271222540041829689219981789845\ 17*c_0101_4^15 + 16555621797750461736991256090441107096253095051869\ 49228748755472305536793779833221353223306741505545962594/2252440683\ 4213601351305428328837112140192491981350620443821218272712225400418\ 2968921998178984517*c_0101_4^13 - 327635998403849433023164860610087\ 8181068077171877479195617367494403172162339772217515576969085173380\ 85821/2252440683421360135130542832883711214019249198135062044382121\ 82727122254004182968921998178984517*c_0101_4^11 + 4986969509952606859976253061305058857012114374895872285483971446875\ 9105096902651035591985591639320338440/22524406834213601351305428328\ 8371121401924919813506204438212182727122254004182968921998178984517\ *c_0101_4^9 - 56298020614363892113480861194943845590328443536180019\ 17621391755069558739786943406537803430374654733924/2252440683421360\ 1351305428328837112140192491981350620443821218272712225400418296892\ 1998178984517*c_0101_4^7 + 4429737409344285213748921585721261448233\ 09290922180789335996033192695145034084019025306037995014979672/2252\ 4406834213601351305428328837112140192491981350620443821218272712225\ 4004182968921998178984517*c_0101_4^5 - 2149130238532034249765075674750407046896014851343686588175824697644\ 9349687557796948984250788822093045/22524406834213601351305428328837\ 1121401924919813506204438212182727122254004182968921998178984517*c_\ 0101_4^3 + 47301390280739238460671563807753070081057267061165078024\ 4714254367508758558431137339961532457172615/22524406834213601351305\ 4283288371121401924919813506204438212182727122254004182968921998178\ 984517*c_0101_4, c_0101_0 + 220133794881971522481391037334815274282965111774702336797289\ 9207158848073573274362724321810540500480/22524406834213601351305428\ 3288371121401924919813506204438212182727122254004182968921998178984\ 517*c_0101_4^44 - 4098300116118828460704573004827538178199403132269\ 35017514763826560890478849199596555734026091283011776/2252440683421\ 3601351305428328837112140192491981350620443821218272712225400418296\ 8921998178984517*c_0101_4^42 + 940526522971863606012475804015647534\ 3196566247038296086158314314967744251701196650978174027230839714704\ /225244068342136013513054283288371121401924919813506204438212182727\ 122254004182968921998178984517*c_0101_4^40 - 9812803715672748360256109803959106543614004398511963935288366998757\ 4184052714743151548820075361503060190/22524406834213601351305428328\ 8371121401924919813506204438212182727122254004182968921998178984517\ *c_0101_4^38 + 5919558324299350123137783044730735220759786037742332\ 24012322083740239844265611778789114989014663594388336/2252440683421\ 3601351305428328837112140192491981350620443821218272712225400418296\ 8921998178984517*c_0101_4^36 - 228714007982130211942529364720557292\ 8492989453195578283187748851782867961871875746863467300462457151189\ 853/225244068342136013513054283288371121401924919813506204438212182\ 727122254004182968921998178984517*c_0101_4^34 + 5996998018182476883918776040991051615686902470610769615464876075320\ 511937176343058854570681310329313086231/225244068342136013513054283\ 2883711214019249198135062044382121827271222540041829689219981789845\ 17*c_0101_4^32 - 11123567803261273851674213616368788169014394314002\ 089194180064064650932329032437578152504401526394995526450/225244068\ 3421360135130542832883711214019249198135062044382121827271222540041\ 82968921998178984517*c_0101_4^30 + 1515656746370939758672011713565800080705183162443821476889153780137\ 7658617398369982928433215533593901905026/22524406834213601351305428\ 3288371121401924919813506204438212182727122254004182968921998178984\ 517*c_0101_4^28 - 9273921108211595677694523611206770660717407530613\ 05232474108175849380752018120468474988983393795991077894/1324965107\ 8949177265473781369904183611877936459618012025777187219242485529657\ 821701294010528501*c_0101_4^26 + 1297665224272818397325331401582966\ 6587346884620522557451169030087842320317438717707835127794174119938\ 760250/225244068342136013513054283288371121401924919813506204438212\ 182727122254004182968921998178984517*c_0101_4^24 - 8678014422780214602500932299309410180859110306550663300960699191133\ 592319493822783567067784783493449163321/225244068342136013513054283\ 2883711214019249198135062044382121827271222540041829689219981789845\ 17*c_0101_4^22 + 28159853288396889369483056847941226387390801067327\ 4837690968221804187162339267731480898171225852681411788/13249651078\ 9491772654737813699041836118779364596180120257771872192424855296578\ 21701294010528501*c_0101_4^20 - 21869493458468296831516265373345074\ 5423144788210284615273458827590036616578056764245519488272014179029\ 3406/22524406834213601351305428328837112140192491981350620443821218\ 2727122254004182968921998178984517*c_0101_4^18 + 8218809536382256195604282003129803355917233238381487254115888077622\ 44919346508837071539360370116125972187/2252440683421360135130542832\ 8837112140192491981350620443821218272712225400418296892199817898451\ 7*c_0101_4^16 - 250734962226837488216460736175795465514621424568168\ 422227010454642367387906988291716028390669149912585906/225244068342\ 1360135130542832883711214019249198135062044382121827271222540041829\ 68921998178984517*c_0101_4^14 + 61107633969147642191254805464049115\ 9850685409282924332406708738388362689123589063083747554296037997042\ 62/2252440683421360135130542832883711214019249198135062044382121827\ 27122254004182968921998178984517*c_0101_4^12 - 1167835661123199079527435706005570165075021335908416507159101586905\ 7179987387016214428958781289445323895/22524406834213601351305428328\ 8371121401924919813506204438212182727122254004182968921998178984517\ *c_0101_4^10 + 1707572986651375085380533629789777036917706397623139\ 355316642599448743561531666751035379730275951231127/225244068342136\ 0135130542832883711214019249198135062044382121827271222540041829689\ 21998178984517*c_0101_4^8 - 184203512829399115331849434596791667087\ 559617152464281550313597122426457184992185618852161341097155769/225\ 2440683421360135130542832883711214019249198135062044382121827271222\ 54004182968921998178984517*c_0101_4^6 + 1377892038555511649480302157976007880583125836406813461695632331804\ 3077400733537832070214681425039016/22524406834213601351305428328837\ 1121401924919813506204438212182727122254004182968921998178984517*c_\ 0101_4^4 - 63412397676489908978367960139413317834661471861364180889\ 8042614818501542202332990038535328671377681/22524406834213601351305\ 4283288371121401924919813506204438212182727122254004182968921998178\ 984517*c_0101_4^2 + 13574220771202671615107174325304489052610589921\ 690846351959289908900905170092103256245973147344947/225244068342136\ 0135130542832883711214019249198135062044382121827271222540041829689\ 21998178984517, c_0101_1 - 350643352449874085296848448577803723385236959927652949545770\ 552211651274285076396870815692614251520/225244068342136013513054283\ 2883711214019249198135062044382121827271222540041829689219981789845\ 17*c_0101_4^44 + 65261040547665852958752698848322235442643733728191\ 746190223269381162519703972707999676833521294422144/225244068342136\ 0135130542832883711214019249198135062044382121827271222540041829689\ 21998178984517*c_0101_4^42 - 14945412775612358448431397003244884052\ 88663089941319665480785562287408524448879662456958494033145406880/2\ 2524406834213601351305428328837112140192491981350620443821218272712\ 2254004182968921998178984517*c_0101_4^40 + 1554962999237163349061576020743279744073313184129928273859746917851\ 3426752455255230882410826094491060308/22524406834213601351305428328\ 8371121401924919813506204438212182727122254004182968921998178984517\ *c_0101_4^38 - 9346899786921425082224261723099906143397507775613934\ 3129354144028682126350483360377573990560466314738886/22524406834213\ 6013513054283288371121401924919813506204438212182727122254004182968\ 921998178984517*c_0101_4^36 + 3595273490384519930793017128519922021\ 1080986225708937385060646266778227439825779628403023930527680766384\ 7/22524406834213601351305428328837112140192491981350620443821218272\ 7122254004182968921998178984517*c_0101_4^34 - 9376257001859223986246252631641937114008521281405885411103557304290\ 56273790184450185794622933100099192265/2252440683421360135130542832\ 8837112140192491981350620443821218272712225400418296892199817898451\ 7*c_0101_4^32 + 172852946636385289185977647942065760853163083317135\ 8053734454307531184545274601099684789582373212679766770/22524406834\ 2136013513054283288371121401924919813506204438212182727122254004182\ 968921998178984517*c_0101_4^30 - 2340461480312784114191408779324349\ 0175581280552585337656387605278758324760807385817639225146732902012\ 38730/2252440683421360135130542832883711214019249198135062044382121\ 82727122254004182968921998178984517*c_0101_4^28 + 1424134900388220004592034562841906153817243923343516373495275807876\ 79143788567009957999129911088633562317/1324965107894917726547378136\ 9904183611877936459618012025777187219242485529657821701294010528501\ *c_0101_4^26 - 1984577723620723082718979333962879747444318372942043\ 331131065929522194891938288329436977562856933801498893/225244068342\ 1360135130542832883711214019249198135062044382121827271222540041829\ 68921998178984517*c_0101_4^24 + 13238436447563097191446061546555700\ 9430744100759441117359584756658516886627450993050844865967590357325\ 4954/22524406834213601351305428328837112140192491981350620443821218\ 2727122254004182968921998178984517*c_0101_4^22 - 4291995269717496164135195441296050478514489065261891962626187740553\ 5578297103592336760990645027027680794/13249651078949177265473781369\ 904183611877936459618012025777187219242485529657821701294010528501*\ c_0101_4^20 + 33364226841300876575762948161256212681188578632931254\ 6334588782704462141084160239714791709736690513972233/22524406834213\ 6013513054283288371121401924919813506204438212182727122254004182968\ 921998178984517*c_0101_4^18 - 1258377246751029346198830376905489138\ 0826819519933900140014460754305218348723691965055079095194701292448\ 0/22524406834213601351305428328837112140192491981350620443821218272\ 7122254004182968921998178984517*c_0101_4^16 + 3870075470975914074801171377991361750909588740414535537989139365335\ 3820656316299921415825118645890421319/22524406834213601351305428328\ 8371121401924919813506204438212182727122254004182968921998178984517\ *c_0101_4^14 - 9574444419345640320101133698353308931606888421196347\ 017255680811709470045068137632977291553068291997536/225244068342136\ 0135130542832883711214019249198135062044382121827271222540041829689\ 21998178984517*c_0101_4^12 + 18745169870992163003920493970348230416\ 33764591215746976352972298019029209124657411064694209798602379604/2\ 2524406834213601351305428328837112140192491981350620443821218272712\ 2254004182968921998178984517*c_0101_4^10 - 2838852462132795897420491742245348030014808870156021901623390731640\ 20340271086772093840412710891014384/2252440683421360135130542832883\ 71121401924919813506204438212182727122254004182968921998178984517*c\ _0101_4^8 + 3210967384468689772409585644001353537062942823289107476\ 9895022213104472342907648674778289753474940597/22524406834213601351\ 3054283288371121401924919813506204438212182727122254004182968921998\ 178984517*c_0101_4^6 - 25424197419261070192463714484673626942453830\ 61365910089264402296605550865160804096668774174165211031/2252440683\ 4213601351305428328837112140192491981350620443821218272712225400418\ 2968921998178984517*c_0101_4^4 + 1240053456083197086440828722821961\ 37958807629272690674783866058203978686183377413999467145801608772/2\ 2524406834213601351305428328837112140192491981350620443821218272712\ 2254004182968921998178984517*c_0101_4^2 - 2607341927790502485972848576202221698359918373622188501269506837457\ 475943807498941670767064499599/225244068342136013513054283288371121\ 401924919813506204438212182727122254004182968921998178984517, c_0101_2 + 201642964379509309904940926612428399248831376403090777721749\ 20931460134422808896226361856374735203840/2252440683421360135130542\ 8328837112140192491981350620443821218272712225400418296892199817898\ 4517*c_0101_4^45 - 375478168228384167135256864036529777320793105250\ 5318588324672747331910692237583385171230304969183450048/22524406834\ 2136013513054283288371121401924919813506204438212182727122254004182\ 968921998178984517*c_0101_4^43 + 8628848227765183582860661093771787\ 2282966522866469930083966566726044457729326865891899035977824533863\ 120/225244068342136013513054283288371121401924919813506204438212182\ 727122254004182968921998178984517*c_0101_4^41 - 9019698826453215574972081340364012493112599202615806729891520503439\ 97729245277824269655856391021792332438/2252440683421360135130542832\ 8837112140192491981350620443821218272712225400418296892199817898451\ 7*c_0101_4^39 + 545471921865509914545124194005417101978375854356171\ 9957656847328132482315559977174121652995261797791706648/22524406834\ 2136013513054283288371121401924919813506204438212182727122254004182\ 968921998178984517*c_0101_4^37 - 2114476779756259342614586329667120\ 2592652077070500996069665646276152877578922488501830577014217465109\ 835289/225244068342136013513054283288371121401924919813506204438212\ 182727122254004182968921998178984517*c_0101_4^35 + 5567960518052313708680752240583291753972667866409806292341711689730\ 9251386342803296305383381775647209845896/22524406834213601351305428\ 3288371121401924919813506204438212182727122254004182968921998178984\ 517*c_0101_4^33 - 1038348046611706775864145864213623461470719903023\ 51194319216441145957184244239948702675064743760975692208579/2252440\ 6834213601351305428328837112140192491981350620443821218272712225400\ 4182968921998178984517*c_0101_4^31 + 1423995484764794465396219157960928892110911766536035740971545065677\ 28178265552957560985670384007328803963743/2252440683421360135130542\ 8328837112140192491981350620443821218272712225400418296892199817898\ 4517*c_0101_4^29 - 877684273766026599308424344225142162190542015709\ 6102238835812108188765598522324187110664761140098106942379/13249651\ 0789491772654737813699041836118779364596180120257771872192424855296\ 57821701294010528501*c_0101_4^27 + 1237715590722673616757201205787868537203569796659349588507011402683\ 98849666641601240193418566837860152083005/2252440683421360135130542\ 8328837112140192491981350620443821218272712225400418296892199817898\ 4517*c_0101_4^25 - 834542462661951332954755453125022094797246921645\ 52447988683134688757765799527027436455107446193103132643054/2252440\ 6834213601351305428328837112140192491981350620443821218272712225400\ 4182968921998178984517*c_0101_4^23 + 2732132941653780757354810507503790376982845312318655666537030718033\ 268473237993775862496928690997320721708/132496510789491772654737813\ 6990418361187793645961801202577718721924248552965782170129401052850\ 1*c_0101_4^21 - 214301454364954251027703283601862251911083728577075\ 74467720048049644993108786381165356280508344418841096508/2252440683\ 4213601351305428328837112140192491981350620443821218272712225400418\ 2968921998178984517*c_0101_4^19 + 814850594615512114920128849587825\ 9204199875865414590351882677251586646154472310396063820240527548403\ 131185/225244068342136013513054283288371121401924919813506204438212\ 182727122254004182968921998178984517*c_0101_4^17 - 2521153679759103303210430112802773074659847401020797460302726954210\ 219179252654556833353593380177544796067/225244068342136013513054283\ 2883711214019249198135062044382121827271222540041829689219981789845\ 17*c_0101_4^15 + 62483122877460489998080177388755546015737912716049\ 8657377780186718230711968945491481990967579233418003456/22524406834\ 2136013513054283288371121401924919813506204438212182727122254004182\ 968921998178984517*c_0101_4^13 - 1217667206038051655145183302140946\ 6833430772309138559528874500192081932611737437019853465845708556546\ 8937/22524406834213601351305428328837112140192491981350620443821218\ 2727122254004182968921998178984517*c_0101_4^11 + 1820391516691342147462043111907131966564512465580350490975692758608\ 2670276557615941755243191346049056753/22524406834213601351305428328\ 8371121401924919813506204438212182727122254004182968921998178984517\ *c_0101_4^9 - 20118633161531785735311570300317344977639021977798429\ 19931759874928755524493635992576701958762993577168/2252440683421360\ 1351305428328837112140192491981350620443821218272712225400418296892\ 1998178984517*c_0101_4^7 + 1542218683983293978627372128625463035941\ 85407216211508706657804405716194404136443128329419791428702274/2252\ 4406834213601351305428328837112140192491981350620443821218272712225\ 4004182968921998178984517*c_0101_4^5 - 7229610242719716962703941820228342831499128297155887838044422273570\ 195246271862444968440197588039341/225244068342136013513054283288371\ 121401924919813506204438212182727122254004182968921998178984517*c_0\ 101_4^3 + 151689327831146675571703293416408488262621858984184281816\ 253983517135852253106410919433494026261352/225244068342136013513054\ 2832883711214019249198135062044382121827271222540041829689219981789\ 84517*c_0101_4, c_0101_4^46 - 7453/40*c_0101_4^44 + 688127/160*c_0101_4^42 - 11577709/256*c_0101_4^40 + 176434093/640*c_0101_4^38 - 1382183031/1280*c_0101_4^36 + 1844563527/640*c_0101_4^34 - 6997968747/1280*c_0101_4^32 + 9796338323/1280*c_0101_4^30 - 10507284073/1280*c_0101_4^28 + 8939510053/1280*c_0101_4^26 - 774154571/160*c_0101_4^24 + 3550527447/1280*c_0101_4^22 - 105903439/80*c_0101_4^20 + 335432503/640*c_0101_4^18 - 218202843/1280*c_0101_4^16 + 57567733/1280*c_0101_4^14 - 2427913/256*c_0101_4^12 + 2008647/1280*c_0101_4^10 - 254133/1280*c_0101_4^8 + 11809/640*c_0101_4^6 - 753/640*c_0101_4^4 + 29/640*c_0101_4^2 - 1/1280 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB