Magma V2.19-8 Tue Aug 20 2013 16:17:37 on localhost [Seed = 3103335518] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1852 geometric_solution 5.49410761 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.311430235361 0.478484595731 0 1 0 1 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.163419297163 0.630912266284 4 3 5 0 0132 3012 0132 0132 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 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.891068288874 0.972284937982 2 4 0 5 1230 0132 0132 2310 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.891068288874 0.972284937982 2 3 6 6 0132 0132 0132 2310 0 0 0 0 0 1 0 -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 -1 0 0 0 -1 1 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.416144397730 1.320206157989 3 5 5 2 3201 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.220194171722 0.846701321121 4 6 6 4 3201 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 0 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.685419130989 0.502611855464 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 5023120895395264004921700842287024202160451907214376/44110350788388\ 3272509944373219732724917708954379*c_0101_2^27 - 27766480698861167953810815375864496664157685960986794/4411035078838\ 83272509944373219732724917708954379*c_0101_2^26 - 33212442627100904776602913760221252138252371130194816/4411035078838\ 83272509944373219732724917708954379*c_0101_2^25 + 3067767097858256913452796429955143307839294888290498/28095764833368\ 36130636588364456896337055471047*c_0101_2^24 - 1364811948531799024320337505572112178864662984156128208/44110350788\ 3883272509944373219732724917708954379*c_0101_2^23 - 3021123115628836661408690995855857648111252223399608374/44110350788\ 3883272509944373219732724917708954379*c_0101_2^22 + 4150548801981904182664777700958816891994627344578008285/44110350788\ 3883272509944373219732724917708954379*c_0101_2^21 + 3893621269183758047524294775680457386272542002497633816/44110350788\ 3883272509944373219732724917708954379*c_0101_2^20 - 14048359623558956076981349643778014220522802422653477661/4411035078\ 83883272509944373219732724917708954379*c_0101_2^19 - 5691497165413442917365637996557764376633427141982979911/44110350788\ 3883272509944373219732724917708954379*c_0101_2^18 + 41100326817563602897995872346190763957961695398662254780/4411035078\ 83883272509944373219732724917708954379*c_0101_2^17 + 8427346091565295701614259093522894567757092243304812188/44110350788\ 3883272509944373219732724917708954379*c_0101_2^16 - 70608793569072898767144938063129770254232615191288494708/4411035078\ 83883272509944373219732724917708954379*c_0101_2^15 + 13547942188754995828331682029857023783702576777703942064/4411035078\ 83883272509944373219732724917708954379*c_0101_2^14 + 100349299589332833828457069449981320880106016856220573995/441103507\ 883883272509944373219732724917708954379*c_0101_2^13 - 35271650982516687941853346349444276113905806992355462367/4411035078\ 83883272509944373219732724917708954379*c_0101_2^12 - 119920658510594651254258029600189940542236264344920993402/441103507\ 883883272509944373219732724917708954379*c_0101_2^11 + 16131786708278358978342379574650065963746340736095891904/4411035078\ 83883272509944373219732724917708954379*c_0101_2^10 + 88115263137012072424358771308834976121468777930280831554/4411035078\ 83883272509944373219732724917708954379*c_0101_2^9 + 6974558710156899876266103355527303082855293103515860674/44110350788\ 3883272509944373219732724917708954379*c_0101_2^8 - 35731226523288138238285878625120284345245500677593841404/4411035078\ 83883272509944373219732724917708954379*c_0101_2^7 - 7066426096192173127010780694494685920483628495084645883/44110350788\ 3883272509944373219732724917708954379*c_0101_2^6 + 7978805047019066224322287300216815749856369745192864116/44110350788\ 3883272509944373219732724917708954379*c_0101_2^5 + 1877276922281303780214767687004209865908930444322676615/44110350788\ 3883272509944373219732724917708954379*c_0101_2^4 - 829440770717515267220338137021511355200243056911477864/441103507883\ 883272509944373219732724917708954379*c_0101_2^3 - 259140363366674305785228097056054394406821777754950654/441103507883\ 883272509944373219732724917708954379*c_0101_2^2 + 43223216092022485803949540454505679033707771048655816/4411035078838\ 83272509944373219732724917708954379*c_0101_2 + 10588678174892017508729493005156592844505066225079422/4411035078838\ 83272509944373219732724917708954379, c_0011_0 - 1, c_0011_2 + 209216400995145278517083151400263895295953515545411/58039935\ 2478793779618347859499648322260143361025*c_0101_2^27 - 1166859889593651464134799316739853559156859042883389/58039935247879\ 3779618347859499648322260143361025*c_0101_2^26 - 1330056258719697675891571709645958273365967620380117/58039935247879\ 3779618347859499648322260143361025*c_0101_2^25 + 25668635330380940846012735506260535075733451674667/7393622324570621\ 39641207464330762193961966065*c_0101_2^24 - 57804337988149597372749998703707889831175193712827222/5803993524787\ 93779618347859499648322260143361025*c_0101_2^23 - 123388637602120763353575815758154434754110945727887432/580399352478\ 793779618347859499648322260143361025*c_0101_2^22 + 180056694803003821982445311565159608192925368690028411/580399352478\ 793779618347859499648322260143361025*c_0101_2^21 + 156418633376908378374165187032900314404370001047533101/580399352478\ 793779618347859499648322260143361025*c_0101_2^20 - 23815052890224104988138222476447009924041748909883860/2321597409915\ 1751184733914379985932890405734441*c_0101_2^19 - 212094849327746840350302337493311062835901680351264821/580399352478\ 793779618347859499648322260143361025*c_0101_2^18 + 1733300805338498613928343902562098824235418086150747682/58039935247\ 8793779618347859499648322260143361025*c_0101_2^17 + 54932598361225111852699969275035059747575575302315714/1160798704957\ 58755923669571899929664452028672205*c_0101_2^16 - 2988013573042359285010279434679367198075265367121139414/58039935247\ 8793779618347859499648322260143361025*c_0101_2^15 + 691280140833154981687238948303884956792187354482618353/580399352478\ 793779618347859499648322260143361025*c_0101_2^14 + 4201100007278095949901653875750993626590651297569842903/58039935247\ 8793779618347859499648322260143361025*c_0101_2^13 - 1667203893881668263130068518284063175208774136938987442/58039935247\ 8793779618347859499648322260143361025*c_0101_2^12 - 4999347333728285506104266363175871034321399312657214171/58039935247\ 8793779618347859499648322260143361025*c_0101_2^11 + 916751616882748612876411170166630840524353490191604488/580399352478\ 793779618347859499648322260143361025*c_0101_2^10 + 149301837595544393364158653591245739585938886959863469/232159740991\ 51751184733914379985932890405734441*c_0101_2^9 + 134030677995654511291198921234939136537184542588062053/580399352478\ 793779618347859499648322260143361025*c_0101_2^8 - 1563764428332118399629710826723106559752863760621656368/58039935247\ 8793779618347859499648322260143361025*c_0101_2^7 - 50154461117376680653474967253564344568537859409744221/1160798704957\ 58755923669571899929664452028672205*c_0101_2^6 + 363810808551673307122641814703248912734724385912128257/580399352478\ 793779618347859499648322260143361025*c_0101_2^5 + 74281690900890244560086853079506044825551159354529494/5803993524787\ 93779618347859499648322260143361025*c_0101_2^4 - 39877737149458262951818375704937736733578466891316343/5803993524787\ 93779618347859499648322260143361025*c_0101_2^3 - 11209997628207860357382811301126304389164723304496004/5803993524787\ 93779618347859499648322260143361025*c_0101_2^2 + 431604005212890319426982268161848254880714419270757/116079870495758\ 755923669571899929664452028672205*c_0101_2 + 493811706360780000081794067622219963317571650210048/580399352478793\ 779618347859499648322260143361025, c_0011_5 - 284174762095699401834609522335670673789498611485057/58039935\ 2478793779618347859499648322260143361025*c_0101_2^27 + 1586717203580295064945700411730705307533485470695143/58039935247879\ 3779618347859499648322260143361025*c_0101_2^26 + 1797603802307848002165329025806194857072570425615704/58039935247879\ 3779618347859499648322260143361025*c_0101_2^25 - 34886292534426679784379478803735314652177405639369/7393622324570621\ 39641207464330762193961966065*c_0101_2^24 + 78678190642016486596921728269027249191494070738649589/5803993524787\ 93779618347859499648322260143361025*c_0101_2^23 + 167194050150950323549642063844282497335302718953860609/580399352478\ 793779618347859499648322260143361025*c_0101_2^22 - 245857682327987082754398024599967730613796061753487207/580399352478\ 793779618347859499648322260143361025*c_0101_2^21 - 211633415185106420622208614733659654311210786321988962/580399352478\ 793779618347859499648322260143361025*c_0101_2^20 + 32421398970078147550364676147182006446252152590391680/2321597409915\ 1751184733914379985932890405734441*c_0101_2^19 + 283993781213063707907670676255579225627114678640649002/580399352478\ 793779618347859499648322260143361025*c_0101_2^18 - 2358494636031241188263598464294101135255785043933399684/58039935247\ 8793779618347859499648322260143361025*c_0101_2^17 - 72088475053346043324398457678893924213019060498770418/1160798704957\ 58755923669571899929664452028672205*c_0101_2^16 + 4068165923972787620249104874400416134156139066250652843/58039935247\ 8793779618347859499648322260143361025*c_0101_2^15 - 959549825455987989722601629969620637906481457577253436/580399352478\ 793779618347859499648322260143361025*c_0101_2^14 - 5712233043531616608059376893048169403479918111230093711/58039935247\ 8793779618347859499648322260143361025*c_0101_2^13 + 2297869125734691884872484228666143149732970052095254929/58039935247\ 8793779618347859499648322260143361025*c_0101_2^12 + 6795158185213021738407323791682655728034876065091876177/58039935247\ 8793779618347859499648322260143361025*c_0101_2^11 - 1286525621961245441132396479956487710457604908151404381/58039935247\ 8793779618347859499648322260143361025*c_0101_2^10 - 203412256767470264939005455133651599380618879234750425/232159740991\ 51751184733914379985932890405734441*c_0101_2^9 - 157461712466172131723398484489737344808265403387336986/580399352478\ 793779618347859499648322260143361025*c_0101_2^8 + 2139316731825232885243435665149638017464006945377059841/58039935247\ 8793779618347859499648322260143361025*c_0101_2^7 + 66999256248977592758803103017602228724167725819246337/1160798704957\ 58755923669571899929664452028672205*c_0101_2^6 - 499795351063838176479028785609632533116877964307544184/580399352478\ 793779618347859499648322260143361025*c_0101_2^5 - 100702284720556960651311598639236071852100361636943703/580399352478\ 793779618347859499648322260143361025*c_0101_2^4 + 55034329876596449359286511244073055024336513455949391/5803993524787\ 93779618347859499648322260143361025*c_0101_2^3 + 15337211759427058575962802455620440867880593324907023/5803993524787\ 93779618347859499648322260143361025*c_0101_2^2 - 597012669254122316064993970991729651961363877878524/116079870495758\ 755923669571899929664452028672205*c_0101_2 - 680921768421959591761470989160621862980451198088451/580399352478793\ 779618347859499648322260143361025, c_0011_6 + 3628704884295033230732986073607208172604378902357/5803993524\ 78793779618347859499648322260143361025*c_0101_2^27 - 22719756294213298849309134448971613669038884770843/5803993524787937\ 79618347859499648322260143361025*c_0101_2^26 - 10440434866809889058217479250094587593583860742929/5803993524787937\ 79618347859499648322260143361025*c_0101_2^25 + 473152953965359364182142690112610853406040016294/739362232457062139\ 641207464330762193961966065*c_0101_2^24 - 1230861729507392485696449899030662354665708013967164/58039935247879\ 3779618347859499648322260143361025*c_0101_2^23 - 1565907201262702520593889613780371724262602695352484/58039935247879\ 3779618347859499648322260143361025*c_0101_2^22 + 4866760534740494632265450491453291438006759435469282/58039935247879\ 3779618347859499648322260143361025*c_0101_2^21 + 1428006505087909901010498452702899925999369970242887/58039935247879\ 3779618347859499648322260143361025*c_0101_2^20 - 512323358881959361632587982528517505599074201802089/232159740991517\ 51184733914379985932890405734441*c_0101_2^19 + 2173140305540630251520922919701844160320792254595823/58039935247879\ 3779618347859499648322260143361025*c_0101_2^18 + 35430948701153970412031718005493837459249862665412009/5803993524787\ 93779618347859499648322260143361025*c_0101_2^17 - 2635118685454950315691333289781643731514374192348017/11607987049575\ 8755923669571899929664452028672205*c_0101_2^16 - 63829425295654742435019943738618906325465204247554943/5803993524787\ 93779618347859499648322260143361025*c_0101_2^15 + 41570895746782451384353468920951408762473046237861886/5803993524787\ 93779618347859499648322260143361025*c_0101_2^14 + 79079072858633722664091853476730464453980434513355261/5803993524787\ 93779618347859499648322260143361025*c_0101_2^13 - 75701204201301044976412086297085478784922047827633279/5803993524787\ 93779618347859499648322260143361025*c_0101_2^12 - 89726083578740983804382344823683165608933453232752127/5803993524787\ 93779618347859499648322260143361025*c_0101_2^11 + 73688830562310757470671773000531645706457678320913606/5803993524787\ 93779618347859499648322260143361025*c_0101_2^10 + 3280931757137591714670937094348790353469364457802478/23215974099151\ 751184733914379985932890405734441*c_0101_2^9 - 33451862772822080566596269056686481194469652882396314/5803993524787\ 93779618347859499648322260143361025*c_0101_2^8 - 46131992961377088351820795214609383307830385987311466/5803993524787\ 93779618347859499648322260143361025*c_0101_2^7 + 972702043659877505844062221797500621969325392074883/116079870495758\ 755923669571899929664452028672205*c_0101_2^6 + 13745793707372131681218289824296009682864233853229534/5803993524787\ 93779618347859499648322260143361025*c_0101_2^5 + 631242546668467039310239043799552339920900037114828/580399352478793\ 779618347859499648322260143361025*c_0101_2^4 - 1874160793368883234766080970516947487211611316578491/58039935247879\ 3779618347859499648322260143361025*c_0101_2^3 - 305440153442876182613007240972579762900033131624523/580399352478793\ 779618347859499648322260143361025*c_0101_2^2 + 22315666083406783018879159067352366932084351158599/1160798704957587\ 55923669571899929664452028672205*c_0101_2 + 19862955883075067916956052332911221559238326055201/5803993524787937\ 79618347859499648322260143361025, c_0101_0 - 52617749440967627577643791012944443457350466352244/580399352\ 478793779618347859499648322260143361025*c_0101_2^27 + 297359281129427868335353357277644538494733684884281/580399352478793\ 779618347859499648322260143361025*c_0101_2^26 + 314694622474475031235900310209790643788466474438343/580399352478793\ 779618347859499648322260143361025*c_0101_2^25 - 6499593369605839201337706628095182109140022753263/73936223245706213\ 9641207464330762193961966065*c_0101_2^24 + 14896083381778208965218181091864651104002271558179213/5803993524787\ 93779618347859499648322260143361025*c_0101_2^23 + 30131927793765269825971012967957389991302921866717928/5803993524787\ 93779618347859499648322260143361025*c_0101_2^22 - 48025015880783941428143330154300470053985145664233519/5803993524787\ 93779618347859499648322260143361025*c_0101_2^21 - 37325147310566136093054682761773094042723054608950454/5803993524787\ 93779618347859499648322260143361025*c_0101_2^20 + 6146127520835694873016141400730219282932210439179111/23215974099151\ 751184733914379985932890405734441*c_0101_2^19 + 44163782922694083247915722535789755320424173023965759/5803993524787\ 93779618347859499648322260143361025*c_0101_2^18 - 444395380792378221541163906995733715397819038891874253/580399352478\ 793779618347859499648322260143361025*c_0101_2^17 - 8180338668457095915771940576930992700337995530183301/11607987049575\ 8755923669571899929664452028672205*c_0101_2^16 + 770459267140995349620108122764662537480808257582241156/580399352478\ 793779618347859499648322260143361025*c_0101_2^15 - 220361377262123815287922806290579441698229358762253137/580399352478\ 793779618347859499648322260143361025*c_0101_2^14 - 1066605109557385316766502840017592764726293717490620012/58039935247\ 8793779618347859499648322260143361025*c_0101_2^13 + 492891971439799407964519783692849549687659145717310768/580399352478\ 793779618347859499648322260143361025*c_0101_2^12 + 1262397800895946700231239291024185071847206825232807709/58039935247\ 8793779618347859499648322260143361025*c_0101_2^11 - 321610810903047433854153371392254439061250379500149977/580399352478\ 793779618347859499648322260143361025*c_0101_2^10 - 38651081924235305850803373211067561980654245525605431/2321597409915\ 1751184733914379985932890405734441*c_0101_2^9 + 22820242365240233928807509037255415107641876370736663/5803993524787\ 93779618347859499648322260143361025*c_0101_2^8 + 423592800557663142022111936612654267313040645407999922/580399352478\ 793779618347859499648322260143361025*c_0101_2^7 + 9698595241865034124927064840579125783570994565726744/11607987049575\ 8755923669571899929664452028672205*c_0101_2^6 - 103436668703817613388112369772376254363221932853131553/580399352478\ 793779618347859499648322260143361025*c_0101_2^5 - 17681842558478175441411528038596542751257174791805401/5803993524787\ 93779618347859499648322260143361025*c_0101_2^4 + 11944450692005333921000564153596595514765204957434597/5803993524787\ 93779618347859499648322260143361025*c_0101_2^3 + 3009197918614668715334500087148388979770251175965841/58039935247879\ 3779618347859499648322260143361025*c_0101_2^2 - 132692607496561795849831104799836565731625069178803/116079870495758\ 755923669571899929664452028672205*c_0101_2 - 143647918503740800278338175385454159442737274616742/580399352478793\ 779618347859499648322260143361025, c_0101_1 + 58524475398845518306238614984866586406793320100128/116079870\ 495758755923669571899929664452028672205*c_0101_2^27 - 325357306222099838927197857673392224943214522169587/116079870495758\ 755923669571899929664452028672205*c_0101_2^26 - 377426871747394944248830381893784839884600108018711/116079870495758\ 755923669571899929664452028672205*c_0101_2^25 + 7168634787108378834263275351776994609142940799628/14787244649141242\ 7928241492866152438792393213*c_0101_2^24 - 16072850947222128732301586186424156142479414677276751/1160798704957\ 58755923669571899929664452028672205*c_0101_2^23 - 34760719290444508813066874901313699623725539907546291/1160798704957\ 58755923669571899929664452028672205*c_0101_2^22 + 49633926790974160051677711004606766629957755981347578/1160798704957\ 58755923669571899929664452028672205*c_0101_2^21 + 44315369593642423436519540153443009597279736001865248/1160798704957\ 58755923669571899929664452028672205*c_0101_2^20 - 33100219158060684203736777095948557582391449202134592/2321597409915\ 1751184733914379985932890405734441*c_0101_2^19 - 61827276860779854484689903536911106718742313556937518/1160798704957\ 58755923669571899929664452028672205*c_0101_2^18 + 482631127276355285033282928599049303907106323677370466/116079870495\ 758755923669571899929664452028672205*c_0101_2^17 + 16896312823398399304251163364174039742604267967778814/2321597409915\ 1751184733914379985932890405734441*c_0101_2^16 - 830893835114700616480622535977992315206190993273071777/116079870495\ 758755923669571899929664452028672205*c_0101_2^15 + 180719058657385344082065736032875297081092840724395559/116079870495\ 758755923669571899929664452028672205*c_0101_2^14 + 1172747699887182683065372851333909547237636204040410314/11607987049\ 5758755923669571899929664452028672205*c_0101_2^13 - 446479133097754023798009338460905462346465350508375406/116079870495\ 758755923669571899929664452028672205*c_0101_2^12 - 1397545256316142560865787469721733308931330470900023703/11607987049\ 5758755923669571899929664452028672205*c_0101_2^11 + 231873454068860621106945673865008239086675944089988149/116079870495\ 758755923669571899929664452028672205*c_0101_2^10 + 207440569740478161450253344033807869052678008888198279/232159740991\ 51751184733914379985932890405734441*c_0101_2^9 + 52885848704126646122469636370275492306431153620787114/1160798704957\ 58755923669571899929664452028672205*c_0101_2^8 - 429552384305556535557385670121021194043841253547186469/116079870495\ 758755923669571899929664452028672205*c_0101_2^7 - 14844292897125592304391446143499239137189227455006337/2321597409915\ 1751184733914379985932890405734441*c_0101_2^6 + 98615629718232098778527316484710745173859073104975146/1160798704957\ 58755923669571899929664452028672205*c_0101_2^5 + 21090373196448832303812304916071156623705026101498627/1160798704957\ 58755923669571899929664452028672205*c_0101_2^4 - 10645766866776547201608504545017923255512923522493094/1160798704957\ 58755923669571899929664452028672205*c_0101_2^3 - 3089271499167379594980428789907915135327343371092577/11607987049575\ 8755923669571899929664452028672205*c_0101_2^2 + 114282064763812070495634795361298723082546158951989/232159740991517\ 51184733914379985932890405734441*c_0101_2 + 133166953944443191393904214328595354097460621309564/116079870495758\ 755923669571899929664452028672205, c_0101_2^28 - 6*c_0101_2^27 - 4*c_0101_2^26 + 99*c_0101_2^25 - 317*c_0101_2^24 - 473*c_0101_2^23 + 1110*c_0101_2^22 + 384*c_0101_2^21 - 3162*c_0101_2^20 + 189*c_0101_2^19 + 8714*c_0101_2^18 - 2189*c_0101_2^17 - 14839*c_0101_2^16 + 9341*c_0101_2^15 + 18687*c_0101_2^14 - 16458*c_0101_2^13 - 20532*c_0101_2^12 + 14485*c_0101_2^11 + 15994*c_0101_2^10 - 6902*c_0101_2^9 - 7749*c_0101_2^8 + 1961*c_0101_2^7 + 2247*c_0101_2^6 - 380*c_0101_2^5 - 341*c_0101_2^4 + 27*c_0101_2^3 + 33*c_0101_2^2 - 2*c_0101_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB