Magma V2.19-8 Tue Aug 20 2013 23:56:15 on localhost [Seed = 4088765401] Type ? for help. Type -D to quit. Loading file "K12n825__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n825 geometric_solution 11.90775767 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 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 1 -1 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.857515326883 0.764478267530 0 5 7 6 0132 0132 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 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.408402326319 0.794423918713 6 0 8 4 3120 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.736386268260 0.916370988646 9 9 10 0 0132 2103 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 -1 0 1 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365276466841 0.780713435403 7 11 0 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525340765540 0.609301206556 7 1 11 8 1023 0132 2031 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541507228881 0.839868325657 12 11 1 2 0132 2031 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.666064916299 0.463824058371 4 5 9 1 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494293775497 0.223261172244 10 5 10 2 0213 1302 1023 0132 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 1 -1 0 0 0 0 -1 0 0 1 -2 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.242022711295 1.004604336710 3 3 12 7 0132 2103 0132 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 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.658383838961 1.176740920290 8 12 8 3 0213 2103 1023 0132 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 1 0 -1 0 0 0 0 0 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.242022711295 1.004604336710 6 4 12 5 1302 0132 1023 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363990071922 0.477235337436 6 10 11 9 0132 2103 1023 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 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.692959511320 0.930311877742 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : negation(d['c_0110_11']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0110_11']), 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_3'], 'c_1001_8' : d['c_0011_8'], 'c_1010_12' : d['c_0011_3'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0011_3']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0011_8'], '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' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : negation(d['c_0101_5']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_2']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1100_0']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_5'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_8'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_0101_12'], 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : negation(d['c_0110_11']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_1100_0']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_5']), 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_10']), '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' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0101_2']), 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_12'], 'c_0110_5' : d['c_0011_8'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_0101_7, c_0110_11, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 360768793441955871687104017713950769391018741936427643/506969450483\ 383304443732723975500782893967314013857*c_1100_0^15 + 96739287723820427337263533047463263905056874142678776842/1201517597\ 64561843153164655582193685545870253421284109*c_1100_0^14 + 148490378446116819919833321390163876369548373422032591497/400505865\ 88187281051054885194064561848623417807094703*c_1100_0^13 - 489978906623443694238898233752115049808800184736182529181/120151759\ 764561843153164655582193685545870253421284109*c_1100_0^12 - 581948809409588899257729590882633047538178225495315911753/120151759\ 764561843153164655582193685545870253421284109*c_1100_0^11 - 2731163219642290648965510464235657305601174809334626981074/12015175\ 9764561843153164655582193685545870253421284109*c_1100_0^10 + 5829089047619472964267727374429795150947864390920563151228/12015175\ 9764561843153164655582193685545870253421284109*c_1100_0^9 + 2631655626868945499890704752433255194166973808809092620255/40050586\ 588187281051054885194064561848623417807094703*c_1100_0^8 + 25046948164727030776158087879845095661370351930735477463562/1201517\ 59764561843153164655582193685545870253421284109*c_1100_0^7 + 9234946069480184508048588438830060946707601391145176031303/12015175\ 9764561843153164655582193685545870253421284109*c_1100_0^6 - 22177152455668763228184008975647321632136235235872448676031/1201517\ 59764561843153164655582193685545870253421284109*c_1100_0^5 + 5315141522127533723583934643940235247288065108662545101990/12015175\ 9764561843153164655582193685545870253421284109*c_1100_0^4 + 4698403048202427287832256767785761570334126700663662100961/12015175\ 9764561843153164655582193685545870253421284109*c_1100_0^3 - 5823326246373751415250364927868654603500840935512048868070/12015175\ 9764561843153164655582193685545870253421284109*c_1100_0^2 + 676143311849343656495497766428084914309501045019043753317/400505865\ 88187281051054885194064561848623417807094703*c_1100_0 - 330151481431369445505294088540856690293569032584406715706/120151759\ 764561843153164655582193685545870253421284109, c_0011_0 - 1, c_0011_10 - 45631970944694398925605389731100927008425/23241824200554812\ 1271179700970752081116151*c_1100_0^15 - 51404330967251244891699140593060810842682/2324182420055481212711797\ 00970752081116151*c_1100_0^14 - 70483669554206204773573977983942857\ 0261534/697254726016644363813539102912256243348453*c_1100_0^13 + 824633956440115780628764771538403722575402/697254726016644363813539\ 102912256243348453*c_1100_0^12 + 7790715428834491339917471207783268\ 0519700/53634978924357258754887623300942787949881*c_1100_0^11 + 4498534526749805212380290497675212575986507/69725472601664436381353\ 9102912256243348453*c_1100_0^10 - 729252622406543710082880717444015\ 159084136/53634978924357258754887623300942787949881*c_1100_0^9 - 4343823719096509932273893032234929893258047/23241824200554812127117\ 9700970752081116151*c_1100_0^8 - 4056448590117813272185455431464514\ 1846787444/697254726016644363813539102912256243348453*c_1100_0^7 - 12472028662022014021752670070766171476364871/6972547260166443638135\ 39102912256243348453*c_1100_0^6 + 408616604429385321966163117684866\ 55908879394/697254726016644363813539102912256243348453*c_1100_0^5 + 809466161818104658824540552002785544949656/232418242005548121271179\ 700970752081116151*c_1100_0^4 - 46805748129392312847470583298897121\ 3355750/232418242005548121271179700970752081116151*c_1100_0^3 + 8454732714875088760220584362398749861295969/69725472601664436381353\ 9102912256243348453*c_1100_0^2 - 2644200902582952199843034641424309\ 592435499/697254726016644363813539102912256243348453*c_1100_0 + 297776709647242585140185442483939548925934/232418242005548121271179\ 700970752081116151, c_0011_3 - 12966584157105075337009244888262520484170/232418242005548121\ 271179700970752081116151*c_1100_0^15 - 50029785190988948657975926069621733315588/2324182420055481212711797\ 00970752081116151*c_1100_0^14 - 13327038119915243432480423055388642\ 4835208/232418242005548121271179700970752081116151*c_1100_0^13 - 458364867003529061594500041273493722474742/697254726016644363813539\ 102912256243348453*c_1100_0^12 + 3138637154497372780226321064088500\ 8901046/53634978924357258754887623300942787949881*c_1100_0^11 + 2165517342723652379554209403844230017932888/69725472601664436381353\ 9102912256243348453*c_1100_0^10 + 107744841190862489511034739864755\ 996848778/53634978924357258754887623300942787949881*c_1100_0^9 - 8031706501599483553015964898389392194029146/69725472601664436381353\ 9102912256243348453*c_1100_0^8 - 8337403154222617431445913997614845\ 734044878/232418242005548121271179700970752081116151*c_1100_0^7 - 44628068029369915520917884064244112161053726/6972547260166443638135\ 39102912256243348453*c_1100_0^6 - 286412379107840087080298768125507\ 25077883224/697254726016644363813539102912256243348453*c_1100_0^5 + 2932361354532665874843860971148757352948411/69725472601664436381353\ 9102912256243348453*c_1100_0^4 + 3607470563919130932892628964965469\ 67672756/232418242005548121271179700970752081116151*c_1100_0^3 - 489981090953998780071706863033992814971637/232418242005548121271179\ 700970752081116151*c_1100_0^2 + 82691204552489286472864916793984494\ 7526856/697254726016644363813539102912256243348453*c_1100_0 - 251645785719410132578271533168107366774283/697254726016644363813539\ 102912256243348453, c_0011_8 + 1901153890760879111309207187616774449301/9653817108761043000\ 544757566002654552837*c_1100_0^15 + 2782909352596554800369380838533875571601/96538171087610430005447575\ 66002654552837*c_1100_0^14 + 37324854279384318193843594021696933736\ 08/3217939036253681000181585855334218184279*c_1100_0^13 - 6544877661699866950905019280916680355013/96538171087610430005447575\ 66002654552837*c_1100_0^12 - 99199276520709716627064226984926122955\ 8/742601316058541769272673658923281119449*c_1100_0^11 - 21943125615215704250017890310134984782977/3217939036253681000181585\ 855334218184279*c_1100_0^10 + 8036655313497070889059107386584919421\ 811/742601316058541769272673658923281119449*c_1100_0^9 + 65776235948594592568204640764289465011701/3217939036253681000181585\ 855334218184279*c_1100_0^8 + 63974743882684341358887979797121671798\ 3880/9653817108761043000544757566002654552837*c_1100_0^7 + 14962926171078138072860837896200977418466/3114134551213239677595083\ 08580730792027*c_1100_0^6 - 703503284288978638919564475849381390327\ 27/3217939036253681000181585855334218184279*c_1100_0^5 + 163758398406918062600592403353675017799230/965381710876104300054475\ 7566002654552837*c_1100_0^4 + 1135472351610563998476382547798615387\ 52952/9653817108761043000544757566002654552837*c_1100_0^3 - 80263547405807315823386747657865179898328/9653817108761043000544757\ 566002654552837*c_1100_0^2 + 50271058542762102319234044898405502129\ 578/9653817108761043000544757566002654552837*c_1100_0 - 10458041951491822996909939924285300746061/9653817108761043000544757\ 566002654552837, c_0101_0 - 2611699795974229557099841949887992261596800/2161489650651597\ 5278219712190279943543802043*c_1100_0^15 - 4132419032388959230462732294518467718104716/21614896506515975278219\ 712190279943543802043*c_1100_0^14 - 5266784742136118869770972428490445482824326/72049655021719917594065\ 70730093314514600681*c_1100_0^13 + 2555792461689205286386409715272865759077856/72049655021719917594065\ 70730093314514600681*c_1100_0^12 + 507110352893810209598513992379911251867261/554228115551691673800505\ 440776408808815437*c_1100_0^11 + 9547942131550631587793205583916870\ 3282330744/21614896506515975278219712190279943543802043*c_1100_0^10 - 10282535950958382949846820437535588687044118/16626843466550750214\ 01516322329226426446311*c_1100_0^9 - 97270137966470631134586842776142138166055884/7204965502171991759406\ 570730093314514600681*c_1100_0^8 - 927366039052750613019286879358651600922288122/216148965065159752782\ 19712190279943543802043*c_1100_0^7 - 23160034880518238107445292584765952391742810/6972547260166443638135\ 39102912256243348453*c_1100_0^6 + 274122506232024726650527989634851\ 389374881874/21614896506515975278219712190279943543802043*c_1100_0^\ 5 + 2067927746621850138649437386814612670709066/2161489650651597527\ 8219712190279943543802043*c_1100_0^4 - 8766321446808140197643752332918430443265193/72049655021719917594065\ 70730093314514600681*c_1100_0^3 + 455708955997539884861751365080310\ 96471204114/7204965502171991759406570730093314514600681*c_1100_0^2 - 36592214445143657783606563229823588060510694/2161489650651597527821\ 9712190279943543802043*c_1100_0 + 943527851076624378615782647244157\ 7543742868/7204965502171991759406570730093314514600681, c_0101_1 - 8236571235809399515868938950493855571655794/2161489650651597\ 5278219712190279943543802043*c_1100_0^15 - 14651064968997707180018460442847890268123054/2161489650651597527821\ 9712190279943543802043*c_1100_0^14 - 17629552512798927533458794222931618654455060/7204965502171991759406\ 570730093314514600681*c_1100_0^13 + 12701802970328245596594608146058232261663740/2161489650651597527821\ 9712190279943543802043*c_1100_0^12 + 4800888760503000287720579565173019987605884/16626843466550750214015\ 16322329226426446311*c_1100_0^11 + 102757206433423826907717702836889616963508931/720496550217199175940\ 6570730093314514600681*c_1100_0^10 - 9185934711722097740708427428789274597964286/55422811555169167380050\ 5440776408808815437*c_1100_0^9 - 9807479039828360802573203191457484\ 54114187183/21614896506515975278219712190279943543802043*c_1100_0^8 - 3092242030013194616757343434833142526193599936/216148965065159752\ 78219712190279943543802043*c_1100_0^7 - 94514648185966335629562815250997829086969658/6972547260166443638135\ 39102912256243348453*c_1100_0^6 + 148299112554135178884528378602459\ 230944571792/21614896506515975278219712190279943543802043*c_1100_0^\ 5 - 353192821665974405369281661525850675951796441/21614896506515975\ 278219712190279943543802043*c_1100_0^4 - 133694266024126577737387687229019145714370892/720496550217199175940\ 6570730093314514600681*c_1100_0^3 + 78019780714190136565455242672422251279099341/7204965502171991759406\ 570730093314514600681*c_1100_0^2 - 32527949451908899698423658831095988394344372/7204965502171991759406\ 570730093314514600681*c_1100_0 + 2489767391366598250405939151823567\ 2714135249/21614896506515975278219712190279943543802043, c_0101_12 - 456739802789926137877860710421952817435528/2161489650651597\ 5278219712190279943543802043*c_1100_0^15 - 1002660744912299172903648426411673075009852/21614896506515975278219\ 712190279943543802043*c_1100_0^14 - 3206471217557659354027324794238085595482218/21614896506515975278219\ 712190279943543802043*c_1100_0^13 - 346573595213806817092283953139649598269604/216148965065159752782197\ 12190279943543802043*c_1100_0^12 + 306059675657399017223942473164537901558798/166268434665507502140151\ 6322329226426446311*c_1100_0^11 + 610471336153842383897442431498004\ 4071338764/7204965502171991759406570730093314514600681*c_1100_0^10 - 1167175031651754030430891181846802043804556/16626843466550750214015\ 16322329226426446311*c_1100_0^9 - 647003145049361044317962919705558\ 52406748844/21614896506515975278219712190279943543802043*c_1100_0^8 - 63846043573580041400306460807989612792178533/72049655021719917594\ 06570730093314514600681*c_1100_0^7 - 6854111491531173942909984312432177243096148/69725472601664436381353\ 9102912256243348453*c_1100_0^6 - 1438816969195861123888888850082567\ 2314512892/7204965502171991759406570730093314514600681*c_1100_0^5 - 1153614091308712489552991711477212331516020/72049655021719917594065\ 70730093314514600681*c_1100_0^4 - 118246077868133990729600416344520\ 566196180544/21614896506515975278219712190279943543802043*c_1100_0^\ 3 - 75157261059829084915120332103231194613201688/216148965065159752\ 78219712190279943543802043*c_1100_0^2 + 11236017593119332799076216858230496930206034/2161489650651597527821\ 9712190279943543802043*c_1100_0 - 198591133552704382376125803640487\ 20709998988/21614896506515975278219712190279943543802043, c_0101_2 + 1682869833262046864167793264734738311299142/7204965502171991\ 759406570730093314514600681*c_1100_0^15 + 10063290147515318904518565657496587077606528/2161489650651597527821\ 9712190279943543802043*c_1100_0^14 + 34712455741026850340142811501517558392584896/2161489650651597527821\ 9712190279943543802043*c_1100_0^13 - 596756041538669957774191529901907586152750/216148965065159752782197\ 12190279943543802043*c_1100_0^12 - 2941419333055859862511079552405675392566644/16626843466550750214015\ 16322329226426446311*c_1100_0^11 - 200398695990144175882119728979751636967953744/216148965065159752782\ 19712190279943543802043*c_1100_0^10 + 4548268582209333085251367681570920163428658/55422811555169167380050\ 5440776408808815437*c_1100_0^9 + 2123353728129558397165324722485991\ 20740893084/7204965502171991759406570730093314514600681*c_1100_0^8 + 685491138219097174158205508287216569482011324/720496550217199175940\ 6570730093314514600681*c_1100_0^7 + 23924836153371976663127678118741121375590501/2324182420055481212711\ 79700970752081116151*c_1100_0^6 + 129756432919602050879402713340804\ 669960917442/7204965502171991759406570730093314514600681*c_1100_0^5 + 170815367070234591970185578302808947766018045/2161489650651597527\ 8219712190279943543802043*c_1100_0^4 + 164608724595020890923763654079513508453921158/216148965065159752782\ 19712190279943543802043*c_1100_0^3 - 24528471977891786078428554065777554685133620/7204965502171991759406\ 570730093314514600681*c_1100_0^2 + 19898380650011025009171489355782633818810522/2161489650651597527821\ 9712190279943543802043*c_1100_0 - 114620200789799426072400520280775\ 98559816047/21614896506515975278219712190279943543802043, c_0101_5 + 1052927737202340214791674753748374251714467/7204965502171991\ 759406570730093314514600681*c_1100_0^15 + 6896766633880947086109269170489591009683929/21614896506515975278219\ 712190279943543802043*c_1100_0^14 + 7730178113222350087709606224570496375800723/72049655021719917594065\ 70730093314514600681*c_1100_0^13 + 4375286369835556110815079804516188327656195/21614896506515975278219\ 712190279943543802043*c_1100_0^12 - 1655918005772246504958318330904803860643961/16626843466550750214015\ 16322329226426446311*c_1100_0^11 - 128843123387750494986992281382933781126014663/216148965065159752782\ 19712190279943543802043*c_1100_0^10 + 6745539731444763903947085874387812575109610/16626843466550750214015\ 16322329226426446311*c_1100_0^9 + 135516932709200011194201732159688\ 852699958607/7204965502171991759406570730093314514600681*c_1100_0^8 + 1366996211874366613261863591563089336917994579/216148965065159752\ 78219712190279943543802043*c_1100_0^7 + 53484768860965157128891819075216056688014475/6972547260166443638135\ 39102912256243348453*c_1100_0^6 + 654654428885567286154105521551052\ 449581947713/21614896506515975278219712190279943543802043*c_1100_0^\ 5 + 343508604314006298937980857558023409976905192/21614896506515975\ 278219712190279943543802043*c_1100_0^4 + 327658577255415142401664231915365134822712938/216148965065159752782\ 19712190279943543802043*c_1100_0^3 + 81213787365770921151470566015629261839372428/2161489650651597527821\ 9712190279943543802043*c_1100_0^2 + 4433891129023399381434331299850476088261488/72049655021719917594065\ 70730093314514600681*c_1100_0 + 31291971606232504682840200479346742\ 246711398/21614896506515975278219712190279943543802043, c_0101_7 - 338248384459452715821275467512989170236106/69725472601664436\ 3813539102912256243348453*c_1100_0^15 - 637945538125337599830682226820165703752958/697254726016644363813539\ 102912256243348453*c_1100_0^14 - 2233939750108699120327341416466723\ 791930408/697254726016644363813539102912256243348453*c_1100_0^13 + 98711735079773152853903817848295378201830/2324182420055481212711797\ 00970752081116151*c_1100_0^12 + 67442163443181378676766509621911782\ 775644/17878326308119086251629207766980929316627*c_1100_0^11 + 12936561273748731148877019489810912627820946/6972547260166443638135\ 39102912256243348453*c_1100_0^10 - 1034081034452336524416141168001284895542575/53634978924357258754887\ 623300942787949881*c_1100_0^9 - 41923041843872800611950200634018524\ 348818392/697254726016644363813539102912256243348453*c_1100_0^8 - 131277324998484781756502993315038553981845024/697254726016644363813\ 539102912256243348453*c_1100_0^7 - 44366745163793036408242028331955495461840722/2324182420055481212711\ 79700970752081116151*c_1100_0^6 - 621419462493867534385661182031298\ 5810147477/697254726016644363813539102912256243348453*c_1100_0^5 - 12631333445631846402766627832584549428769400/6972547260166443638135\ 39102912256243348453*c_1100_0^4 - 699262061533855289239336264378289\ 7964091548/232418242005548121271179700970752081116151*c_1100_0^3 + 6145271012837430952016312597633246806318510/69725472601664436381353\ 9102912256243348453*c_1100_0^2 - 2799560026130617650138271081457968\ 025389385/697254726016644363813539102912256243348453*c_1100_0 + 136354022595995343023556413224318585858102/697254726016644363813539\ 102912256243348453, c_0110_11 + 2594552169808646561320791980693164779870471/720496550217199\ 1759406570730093314514600681*c_1100_0^15 + 4627401930972272560515176095782406293889207/72049655021719917594065\ 70730093314514600681*c_1100_0^14 + 16422689710420093940348696676998344672640899/7204965502171991759406\ 570730093314514600681*c_1100_0^13 - 4402968045680217503045283637089336300718927/72049655021719917594065\ 70730093314514600681*c_1100_0^12 - 1640754290033673576401636512365843279683243/55422811555169167380050\ 5440776408808815437*c_1100_0^11 - 968348053943584807150395319153815\ 47516816985/7204965502171991759406570730093314514600681*c_1100_0^10 + 8826049122743140794461393838499607076838257/554228115551691673800\ 505440776408808815437*c_1100_0^9 + 319254604512464296606549105048687849706747725/720496550217199175940\ 6570730093314514600681*c_1100_0^8 + 964712997933133915130216194542358224965245588/720496550217199175940\ 6570730093314514600681*c_1100_0^7 + 28823192707315042012914750077694202313534613/2324182420055481212711\ 79700970752081116151*c_1100_0^6 - 139616628812197505592627963206290\ 957507945750/7204965502171991759406570730093314514600681*c_1100_0^5 + 17174524924835692338814526795509753103164756/72049655021719917594\ 06570730093314514600681*c_1100_0^4 + 146967072613068089106839636766988314011327190/720496550217199175940\ 6570730093314514600681*c_1100_0^3 - 65519975901300731916285308146342906074014850/7204965502171991759406\ 570730093314514600681*c_1100_0^2 + 20749556609953205403635730922471694530693479/7204965502171991759406\ 570730093314514600681*c_1100_0 - 1242490981931796578572586037184394\ 7080705205/7204965502171991759406570730093314514600681, c_1001_2 + 606200107228818998223968049935303631838/96538171087610430005\ 44757566002654552837*c_1100_0^15 + 233816387240535712738194633742637173930/965381710876104300054475756\ 6002654552837*c_1100_0^14 + 756970198837542867670934423715839530276\ /3217939036253681000181585855334218184279*c_1100_0^13 - 2192661076397978068795754665436736366728/32179390362536810001815858\ 55334218184279*c_1100_0^12 - 10236434257833946861531054925758980772\ 8/247533772019513923090891219641093706483*c_1100_0^11 - 16113180981307695227983482292374310905704/9653817108761043000544757\ 566002654552837*c_1100_0^10 + 4558895616343831783974459059358224450\ 282/742601316058541769272673658923281119449*c_1100_0^9 + 13085227445263488437852494737780519166617/3217939036253681000181585\ 855334218184279*c_1100_0^8 + 12190521194266556770661310777114864420\ 6896/9653817108761043000544757566002654552837*c_1100_0^7 - 3823183998995269744898164497002931051187/31141345512132396775950830\ 8580730792027*c_1100_0^6 - 3500665523770684887254605805282525282198\ 86/9653817108761043000544757566002654552837*c_1100_0^5 - 963017327256450308502800480974839524615/965381710876104300054475756\ 6002654552837*c_1100_0^4 + 4640311704397645860995208385956601257658\ /3217939036253681000181585855334218184279*c_1100_0^3 - 23436381534478037894074527528476849818378/3217939036253681000181585\ 855334218184279*c_1100_0^2 + 48037599516272808967764753359619836940\ 22/9653817108761043000544757566002654552837*c_1100_0 - 1673694425075143248239996990933508841545/32179390362536810001815858\ 55334218184279, c_1100_0^16 + 127/79*c_1100_0^15 + 490/79*c_1100_0^14 - 195/79*c_1100_0^13 - 530/79*c_1100_0^12 - 2853/79*c_1100_0^11 + 3897/79*c_1100_0^10 + 8544/79*c_1100_0^9 + 358*c_1100_0^8 + 23845/79*c_1100_0^7 - 3387/79*c_1100_0^6 + 6733/79*c_1100_0^5 + 4232/79*c_1100_0^4 - 2540/79*c_1100_0^3 + 1704/79*c_1100_0^2 - 448/79*c_1100_0 + 97/79 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_0101_7, c_0110_11, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 42853203215780072491793012362671778267758107023758180542183/7146511\ 402538132024713398217321166181038832594740609105570208*c_1100_0^17 - 204318221190070177847749958400471459732811035960071606192849/142930\ 22805076264049426796434642332362077665189481218211140416*c_1100_0^1\ 6 - 173660269207930336038434935997593805183701864409256270150533/35\ 73255701269066012356699108660583090519416297370304552785104*c_1100_\ 0^15 + 883220132638765764230064306105321680176889865419713794027611\ 3/14293022805076264049426796434642332362077665189481218211140416*c_\ 1100_0^14 - 1363199755303772846522750610725518752843936342223052819\ 0756465/14293022805076264049426796434642332362077665189481218211140\ 416*c_1100_0^13 - 5905524665615015000879490729312830964002435277119\ 927112535399/238217046751271067490446607244038872701294419824686970\ 1856736*c_1100_0^12 + 556732286313377076637270141204185151897168942\ 61378064379427335/3573255701269066012356699108660583090519416297370\ 304552785104*c_1100_0^11 - 9320053057816015754977857200343225330583\ 4904811394672591811965/14293022805076264049426796434642332362077665\ 189481218211140416*c_1100_0^10 + 7838351093866104565769306022935413\ 532192607515314753809300413/142930228050762640494267964346423323620\ 77665189481218211140416*c_1100_0^9 + 164072708502757672812920788576139381566273942700475465049075319/178\ 6627850634533006178349554330291545259708148685152276392552*c_1100_0\ ^8 - 17585238882745090181408583111248700780094553975703979267148599\ 9/3573255701269066012356699108660583090519416297370304552785104*c_1\ 100_0^7 + 116641896461038137721742503722628252826137045864109709029\ 67851/446656962658633251544587388582572886314927037171288069098138*\ c_1100_0^6 + 529409629826377952649772193154104222180321345821347851\ 0066545411/14293022805076264049426796434642332362077665189481218211\ 140416*c_1100_0^5 - 27571296372794118063741826666329947352190807553\ 85605992655682089/7146511402538132024713398217321166181038832594740\ 609105570208*c_1100_0^4 + 92431855846684064726394000017829109489539\ 48526100601851571977/2977713084390888343630582590550485908766180247\ 80858712732092*c_1100_0^3 + 480008977060773561267255117431242524757\ 993664799514673251460263/595542616878177668726116518110097181753236\ 049561717425464184*c_1100_0^2 + 40993891990589715917857404632899376\ 7488750739046387169645198353/89331392531726650308917477716514577262\ 9854074342576138196276*c_1100_0 + 297230435571751633135444086015693\ 78262245464365248699275914606/2233284813293166257722936942912864431\ 57463518585644034549069, c_0011_0 - 1, c_0011_10 - 73159042272435424622205024429517088069631338/36580608542185\ 1633278442812654237599661613577999*c_1100_0^17 + 615952468732473371213379415238625065764913435/975482894458271022075\ 847500411300265764302874664*c_1100_0^16 + 3324370842238355494519763948346862404180661703/29264486833748130662\ 27542501233900797292908623992*c_1100_0^15 - 15728217942300564866488441235944995765672290225/7316121708437032665\ 56885625308475199323227155998*c_1100_0^14 + 70842495393292588724946546652251789514606000219/1463224341687406533\ 113771250616950398646454311996*c_1100_0^13 + 66732268257587273795656730498434908945108018305/1463224341687406533\ 113771250616950398646454311996*c_1100_0^12 - 1626191020917098597203645476357592428519480559979/29264486833748130\ 66227542501233900797292908623992*c_1100_0^11 + 630488373528093708761432479613883881300295028787/975482894458271022\ 075847500411300265764302874664*c_1100_0^10 - 743242449423703150843808318797098725547328245959/146322434168740653\ 3113771250616950398646454311996*c_1100_0^9 - 1961688996966902363958528998475126282665183703769/73161217084370326\ 6556885625308475199323227155998*c_1100_0^8 + 10887875069880261123556439180908180301787348667535/2926448683374813\ 066227542501233900797292908623992*c_1100_0^7 - 2686879195912927953106372690913492288899034379887/73161217084370326\ 6556885625308475199323227155998*c_1100_0^6 - 28021795759003221888062714627173438185511867832335/2926448683374813\ 066227542501233900797292908623992*c_1100_0^5 + 59670724876123686995750703968562939149929788639395/2926448683374813\ 066227542501233900797292908623992*c_1100_0^4 - 48276687057752920116709968020929138551246057606643/2926448683374813\ 066227542501233900797292908623992*c_1100_0^3 - 7076617989882334049035962846460436508458695823779/48774144722913551\ 1037923750205650132882151437332*c_1100_0^2 - 2396147463478491778061241657075564101895284952151/73161217084370326\ 6556885625308475199323227155998*c_1100_0 - 119879697561780803533484321582732181748573407047/121935361807283877\ 759480937551412533220537859333, c_0011_3 + 642176799481583751195931038145467897078841921/19509657889165\ 42044151695000822600531528605749328*c_1100_0^17 - 2262006721007359984788355792449340355936639709/19509657889165420441\ 51695000822600531528605749328*c_1100_0^16 - 174551858412943697820305179694774824143083225/121935361807283877759\ 480937551412533220537859333*c_1100_0^15 + 34962695045686134168498785734479805254806103551/9754828944582710220\ 75847500411300265764302874664*c_1100_0^14 - 271593911590787841432170679665558437377779657225/292644868337481306\ 6227542501233900797292908623992*c_1100_0^13 - 230988116525513887356488872304678173116642233881/585289736674962613\ 2455085002467801594585817247984*c_1100_0^12 + 5405831508771832807251005872315400702338214437175/58528973667496261\ 32455085002467801594585817247984*c_1100_0^11 - 1366603539814724724501457094988650650416847806625/97548289445827102\ 2075847500411300265764302874664*c_1100_0^10 + 2040171666371671522077445074860791520404800457625/14632243416874065\ 33113771250616950398646454311996*c_1100_0^9 + 22307354038201132817443562072532821164155300314981/5852897366749626\ 132455085002467801594585817247984*c_1100_0^8 - 5446200078521718630727702825644582964143442874089/73161217084370326\ 6556885625308475199323227155998*c_1100_0^7 + 52340781221377681665706916556032468677826767777651/5852897366749626\ 132455085002467801594585817247984*c_1100_0^6 + 70430924084852274495928901573774448744544741641157/5852897366749626\ 132455085002467801594585817247984*c_1100_0^5 - 73035252684631436652816120625645472379248361078311/1950965788916542\ 044151695000822600531528605749328*c_1100_0^4 + 120998935907076152962364025623040099676554289040287/292644868337481\ 3066227542501233900797292908623992*c_1100_0^3 + 9904183538039501180206851008654152202712526713691/14632243416874065\ 33113771250616950398646454311996*c_1100_0^2 + 4493133955663320892333233064080712788672399243359/73161217084370326\ 6556885625308475199323227155998*c_1100_0 - 80818477314238946336020462491269599828862473769/3658060854218516332\ 78442812654237599661613577999, c_0011_8 + 502839633755597859111814814451626806827808481/58528973667496\ 26132455085002467801594585817247984*c_1100_0^17 - 554212986721630039904561134660480261743797551/195096578891654204415\ 1695000822600531528605749328*c_1100_0^16 - 110155070206119782952281377790895487640982881/243870723614567755518\ 961875102825066441075718666*c_1100_0^15 + 27291052862156858560161818140152197051005153603/2926448683374813066\ 227542501233900797292908623992*c_1100_0^14 - 21616628577927017325206984006241068473424892761/9754828944582710220\ 75847500411300265764302874664*c_1100_0^13 - 99336176977804723173437514197258971617779057939/5852897366749626132\ 455085002467801594585817247984*c_1100_0^12 + 1422658290862050057938667695192303690743583583293/58528973667496261\ 32455085002467801594585817247984*c_1100_0^11 - 915284595168840221812391543526808255792790485357/292644868337481306\ 6227542501233900797292908623992*c_1100_0^10 + 360732970704595913466045145138737558620469433933/146322434168740653\ 3113771250616950398646454311996*c_1100_0^9 + 6683398395482875584165113162474146653837379400071/58528973667496261\ 32455085002467801594585817247984*c_1100_0^8 - 1301889334991127942461817616748288176269029395093/73161217084370326\ 6556885625308475199323227155998*c_1100_0^7 + 10389488332372261664342908317548485592857761785353/5852897366749626\ 132455085002467801594585817247984*c_1100_0^6 + 7839877953786110740672268772036007892185048942893/19509657889165420\ 44151695000822600531528605749328*c_1100_0^5 - 54839819222496440397338838967554796509818707752479/5852897366749626\ 132455085002467801594585817247984*c_1100_0^4 + 24181420727637720511358426120974624909113637877609/2926448683374813\ 066227542501233900797292908623992*c_1100_0^3 + 8631147394557120579622171185090607288443889214087/14632243416874065\ 33113771250616950398646454311996*c_1100_0^2 - 110543112747279766037156229868120469036925578381/731612170843703266\ 556885625308475199323227155998*c_1100_0 - 9711293498500581808521181303624738673549122466/12193536180728387775\ 9480937551412533220537859333, c_0101_0 + 317920264176633744437671004729882851449638887/19509657889165\ 42044151695000822600531528605749328*c_1100_0^17 - 2996328876232823941396529110985399548575063433/58528973667496261324\ 55085002467801594585817247984*c_1100_0^16 - 1349985262479868997239850404571869056797935493/14632243416874065331\ 13771250616950398646454311996*c_1100_0^15 + 17039184253428779886100792802294194983991291511/9754828944582710220\ 75847500411300265764302874664*c_1100_0^14 - 114782732252471186779495153518233789121413969827/292644868337481306\ 6227542501233900797292908623992*c_1100_0^13 - 214432197163656767823067234971655942156138871015/585289736674962613\ 2455085002467801594585817247984*c_1100_0^12 + 2630346858509633511954923139689523806647373648833/58528973667496261\ 32455085002467801594585817247984*c_1100_0^11 - 1522956092905904213937878996110480263522185702783/29264486833748130\ 66227542501233900797292908623992*c_1100_0^10 + 316942284155953174227190117674259386003072765863/731612170843703266\ 556885625308475199323227155998*c_1100_0^9 + 4191686617325384538544655300304133868691002173105/19509657889165420\ 44151695000822600531528605749328*c_1100_0^8 - 1069419201210888156702547300933159227763186846354/36580608542185163\ 3278442812654237599661613577999*c_1100_0^7 + 5981574544946868553511275907012757927947463250203/19509657889165420\ 44151695000822600531528605749328*c_1100_0^6 + 14828545661933140324109627856747515531900833529153/1950965788916542\ 044151695000822600531528605749328*c_1100_0^5 - 93961034260946180190525645486954197989207698307223/5852897366749626\ 132455085002467801594585817247984*c_1100_0^4 + 13099983682998748749628983960563976827927368224813/9754828944582710\ 22075847500411300265764302874664*c_1100_0^3 + 3928396913631509628923488030007563374660850597109/36580608542185163\ 3278442812654237599661613577999*c_1100_0^2 + 3455872847316065054726078736015191412603068719313/73161217084370326\ 6556885625308475199323227155998*c_1100_0 + 51368963522412131813364051496790217373694081800/1219353618072838777\ 59480937551412533220537859333, c_0101_1 - 447412352203430087515908001808179391235523405/29264486833748\ 13066227542501233900797292908623992*c_1100_0^17 + 760422158432275310547653342184713945152006315/146322434168740653311\ 3771250616950398646454311996*c_1100_0^16 + 2146162459144598646036778660512116380168437091/29264486833748130662\ 27542501233900797292908623992*c_1100_0^15 - 24265629698639430790704195715459669591628342353/1463224341687406533\ 113771250616950398646454311996*c_1100_0^14 + 30053152557389507527935742770067174336466466529/7316121708437032665\ 56885625308475199323227155998*c_1100_0^13 + 70129591500793045825958160686402550121956465569/2926448683374813066\ 227542501233900797292908623992*c_1100_0^12 - 156756835674171841725509979704464780249570394386/365806085421851633\ 278442812654237599661613577999*c_1100_0^11 + 1755261385802587209786669000289660910285846423447/29264486833748130\ 66227542501233900797292908623992*c_1100_0^10 - 813892884581188736116082397768478521406852715321/146322434168740653\ 3113771250616950398646454311996*c_1100_0^9 - 1845107016560690203559446843473971949829418974541/97548289445827102\ 2075847500411300265764302874664*c_1100_0^8 + 3189515289886762172995928947114471156790348373089/97548289445827102\ 2075847500411300265764302874664*c_1100_0^7 - 10746991227345542080353559030145274093369924894881/2926448683374813\ 066227542501233900797292908623992*c_1100_0^6 - 9221742744727354533242194555871644882696577916035/14632243416874065\ 33113771250616950398646454311996*c_1100_0^5 + 24894071947373541968825986289712539986936904110421/1463224341687406\ 533113771250616950398646454311996*c_1100_0^4 - 16427723440386268486106899995044387833705072914779/9754828944582710\ 22075847500411300265764302874664*c_1100_0^3 - 9064602259363797156173218370225527391467195381819/14632243416874065\ 33113771250616950398646454311996*c_1100_0^2 - 493278891043495408564794002198795217824750273489/243870723614567755\ 518961875102825066441075718666*c_1100_0 + 46876391258622934254644987059634037435727812250/3658060854218516332\ 78442812654237599661613577999, c_0101_12 - 111789409559493586185381350166742552370143471/5852897366749\ 626132455085002467801594585817247984*c_1100_0^17 + 1424342080160473197415611171873832724327263/19509657889165420441516\ 95000822600531528605749328*c_1100_0^16 + 906095018050830102953989774263065682347034475/292644868337481306622\ 7542501233900797292908623992*c_1100_0^15 - 5171558185972942714215975365787814626547514545/29264486833748130662\ 27542501233900797292908623992*c_1100_0^14 - 1772219757043857543456818161905408330297088843/97548289445827102207\ 5847500411300265764302874664*c_1100_0^13 + 118354980053361081568516726546061768064928460225/585289736674962613\ 2455085002467801594585817247984*c_1100_0^12 - 256728487867721840815544036338784254250376128593/585289736674962613\ 2455085002467801594585817247984*c_1100_0^11 - 25270885316524351362856879222439928763791594923/2438707236145677555\ 18961875102825066441075718666*c_1100_0^10 + 44149202199157191662845829476466908653530000611/2438707236145677555\ 18961875102825066441075718666*c_1100_0^9 - 941471251621079053433370469131391021033661547667/195096578891654204\ 4151695000822600531528605749328*c_1100_0^8 - 1041697242040297955675100945556509816318873955297/29264486833748130\ 66227542501233900797292908623992*c_1100_0^7 + 1699428562199186807543384098253179874216962706163/19509657889165420\ 44151695000822600531528605749328*c_1100_0^6 - 14430595092039735353692383981189630999288152178119/5852897366749626\ 132455085002467801594585817247984*c_1100_0^5 - 2516592926936785959833617872222558017300723025193/58528973667496261\ 32455085002467801594585817247984*c_1100_0^4 + 2259901005898513561998332866436402700566941033691/48774144722913551\ 1037923750205650132882151437332*c_1100_0^3 - 5934817707346895817191680375194727687104392223569/73161217084370326\ 6556885625308475199323227155998*c_1100_0^2 - 1769370861637241831915587233377679171812725467139/73161217084370326\ 6556885625308475199323227155998*c_1100_0 - 705163913107384526949577739892430016915324929606/365806085421851633\ 278442812654237599661613577999, c_0101_2 - 508511097949684474800972098267946068793915761/19509657889165\ 42044151695000822600531528605749328*c_1100_0^17 + 5177722945630042327633010466912728703514093969/58528973667496261324\ 55085002467801594585817247984*c_1100_0^16 + 3641981936061711029771798343899995506709384349/29264486833748130662\ 27542501233900797292908623992*c_1100_0^15 - 82586707904415395776652968793972608589619771883/2926448683374813066\ 227542501233900797292908623992*c_1100_0^14 + 68182814579049002447343575347288471351589019677/9754828944582710220\ 75847500411300265764302874664*c_1100_0^13 + 234174476759956731770385464293008164608206610261/585289736674962613\ 2455085002467801594585817247984*c_1100_0^12 - 4251153017964270932941085730522099407327321841677/58528973667496261\ 32455085002467801594585817247984*c_1100_0^11 + 1488938726050498442851591797061252127540145836429/14632243416874065\ 33113771250616950398646454311996*c_1100_0^10 - 1430227002889134848568361750371661140673450234927/14632243416874065\ 33113771250616950398646454311996*c_1100_0^9 - 18444871782146099070613250950617834311832842741461/5852897366749626\ 132455085002467801594585817247984*c_1100_0^8 + 5348844496379367400755877699791700040598052853621/97548289445827102\ 2075847500411300265764302874664*c_1100_0^7 - 37583457406210167602537088922904742824719632097151/5852897366749626\ 132455085002467801594585817247984*c_1100_0^6 - 60790674658181380001250447859928521639485130125835/5852897366749626\ 132455085002467801594585817247984*c_1100_0^5 + 165631689455473134492381497776334293747777788449207/585289736674962\ 6132455085002467801594585817247984*c_1100_0^4 - 10663687325346100543667207106992826155519693349958/3658060854218516\ 33278442812654237599661613577999*c_1100_0^3 - 4418870262171377581607453425686714653211940603713/48774144722913551\ 1037923750205650132882151437332*c_1100_0^2 - 1514960861510111902837582037050001808392545151121/24387072361456775\ 5518961875102825066441075718666*c_1100_0 - 30438822973715115938376489342802465459446816863/1219353618072838777\ 59480937551412533220537859333, c_0101_5 + 112174026465675582261700105450726790869696093/58528973667496\ 26132455085002467801594585817247984*c_1100_0^17 + 23545759319013526834236180283065627386775667/5852897366749626132455\ 085002467801594585817247984*c_1100_0^16 - 493296770060844441643709771320957853123081525/146322434168740653311\ 3771250616950398646454311996*c_1100_0^15 + 1731689426750222808005078730126812532775160753/97548289445827102207\ 5847500411300265764302874664*c_1100_0^14 + 2360045509811743311092209641794974940521653179/97548289445827102207\ 5847500411300265764302874664*c_1100_0^13 - 44181249530362148703505947089324008933224119749/1950965788916542044\ 151695000822600531528605749328*c_1100_0^12 + 262891166869908626754554631677073815750903515285/585289736674962613\ 2455085002467801594585817247984*c_1100_0^11 + 356151726291338876382903336564694348711541655133/292644868337481306\ 6227542501233900797292908623992*c_1100_0^10 - 334039256963883874584097590964810234286695458875/146322434168740653\ 3113771250616950398646454311996*c_1100_0^9 + 2981139298359827163955907000036859655037268337427/58528973667496261\ 32455085002467801594585817247984*c_1100_0^8 + 632641019504218283360049105432842097218801385107/146322434168740653\ 3113771250616950398646454311996*c_1100_0^7 - 2251127509390228820572125981746243264327141072057/19509657889165420\ 44151695000822600531528605749328*c_1100_0^6 + 4926023832713291287525482021998576612507355790181/19509657889165420\ 44151695000822600531528605749328*c_1100_0^5 + 3361352418481821480198532312160074627016416456529/58528973667496261\ 32455085002467801594585817247984*c_1100_0^4 - 17818280398248707423491156747376798596237732928777/2926448683374813\ 066227542501233900797292908623992*c_1100_0^3 + 13877906645318842337547269901862786963221834634507/1463224341687406\ 533113771250616950398646454311996*c_1100_0^2 + 913450956267391917174188304033456184241395446451/365806085421851633\ 278442812654237599661613577999*c_1100_0 + 132658977031283262915803158051513146686464763542/365806085421851633\ 278442812654237599661613577999, c_0101_7 - 217936568774692826828665449089674691787791201/29264486833748\ 13066227542501233900797292908623992*c_1100_0^17 + 396002115053437178692442931056839179568796173/146322434168740653311\ 3771250616950398646454311996*c_1100_0^16 + 880872147861234907904306711295704690683566103/292644868337481306622\ 7542501233900797292908623992*c_1100_0^15 - 3983147471192961305574470309350024144163932575/48774144722913551103\ 7923750205650132882151437332*c_1100_0^14 + 7995466085923443298283010056019183774492245281/36580608542185163327\ 8442812654237599661613577999*c_1100_0^13 + 21366628881174840641698083952306759145508732181/2926448683374813066\ 227542501233900797292908623992*c_1100_0^12 - 154777046831012864653061123907750467743626494855/731612170843703266\ 556885625308475199323227155998*c_1100_0^11 + 329706280869168552961486339762800770179885361665/975482894458271022\ 075847500411300265764302874664*c_1100_0^10 - 484723401630133469408129869504012329938206455661/146322434168740653\ 3113771250616950398646454311996*c_1100_0^9 - 2485943142648419578832395033548658866099024852007/29264486833748130\ 66227542501233900797292908623992*c_1100_0^8 + 1736419780226789320177546669656357405184557559849/97548289445827102\ 2075847500411300265764302874664*c_1100_0^7 - 6189379729455381292686288730888241104699429236593/29264486833748130\ 66227542501233900797292908623992*c_1100_0^6 - 4026885803958011042939933063382072257006467578475/14632243416874065\ 33113771250616950398646454311996*c_1100_0^5 + 12813656022398970894526869191494410682071305768653/1463224341687406\ 533113771250616950398646454311996*c_1100_0^4 - 29452077185524990186820817665228964996464356898929/2926448683374813\ 066227542501233900797292908623992*c_1100_0^3 - 1989787264881849747998165968421139478002164795483/14632243416874065\ 33113771250616950398646454311996*c_1100_0^2 - 420699164310665395873483311896631936346194238504/365806085421851633\ 278442812654237599661613577999*c_1100_0 + 258650352536206224718695775421300446606048027097/365806085421851633\ 278442812654237599661613577999, c_0110_11 - 55990859006292292111770363904367335809959891/14632243416874\ 06533113771250616950398646454311996*c_1100_0^17 - 9636366539266053620994673383722064606896939/29264486833748130662275\ 42501233900797292908623992*c_1100_0^16 + 1892688558172518986241409316904981388593197525/29264486833748130662\ 27542501233900797292908623992*c_1100_0^15 - 2591656616555902784557802889042063056218249201/73161217084370326655\ 6885625308475199323227155998*c_1100_0^14 - 2066132633427800427274513901850191635409371011/48774144722913551103\ 7923750205650132882151437332*c_1100_0^13 + 15681170540277970479939660488377112179037551217/3658060854218516332\ 78442812654237599661613577999*c_1100_0^12 - 259809827368815233785049334007929035000639821939/292644868337481306\ 6227542501233900797292908623992*c_1100_0^11 - 659402350089631092737185887233973493877040794209/292644868337481306\ 6227542501233900797292908623992*c_1100_0^10 + 598934470158827024561172567823611686207875462541/146322434168740653\ 3113771250616950398646454311996*c_1100_0^9 - 1451388263305766081064004601857758179534563245107/14632243416874065\ 33113771250616950398646454311996*c_1100_0^8 - 2306979281048734522395199156422194010756476725511/29264486833748130\ 66227542501233900797292908623992*c_1100_0^7 + 987639017897353907028877519999855784636025944555/487741447229135511\ 037923750205650132882151437332*c_1100_0^6 - 14604333295089804608134415023592680418405109774331/2926448683374813\ 066227542501233900797292908623992*c_1100_0^5 - 979657557569767906672025030730438774052856580287/975482894458271022\ 075847500411300265764302874664*c_1100_0^4 + 31377686433639788795481153945995214799639379130923/2926448683374813\ 066227542501233900797292908623992*c_1100_0^3 - 25747542060012633971930630652252242337430619081645/1463224341687406\ 533113771250616950398646454311996*c_1100_0^2 - 1198757591390675222087987947148197180098505453347/24387072361456775\ 5518961875102825066441075718666*c_1100_0 - 472016804716816156586938085289705563940176115149/365806085421851633\ 278442812654237599661613577999, c_1001_2 + 188924703866298518080485850939851038456418159/97548289445827\ 1022075847500411300265764302874664*c_1100_0^17 - 633112212010971867526013417025885618022910227/975482894458271022075\ 847500411300265764302874664*c_1100_0^16 - 1408840159695274889581198108439312489116370915/14632243416874065331\ 13771250616950398646454311996*c_1100_0^15 + 5112208447441116062950532958600455538114020065/24387072361456775551\ 8961875102825066441075718666*c_1100_0^14 - 74592859620685014602954353490159961064587935599/1463224341687406533\ 113771250616950398646454311996*c_1100_0^13 - 96625735368087681645953328558731017991036368531/2926448683374813066\ 227542501233900797292908623992*c_1100_0^12 + 527616989673261920545265625073827769012963185799/975482894458271022\ 075847500411300265764302874664*c_1100_0^11 - 89079194227802079072037755723318816691134822282/1219353618072838777\ 59480937551412533220537859333*c_1100_0^10 + 325689029670847341972774832580640059295688984513/487741447229135511\ 037923750205650132882151437332*c_1100_0^9 + 7028814039132416716710841526124074633346854147143/29264486833748130\ 66227542501233900797292908623992*c_1100_0^8 - 1460693119930290931640889590628104919562403877746/36580608542185163\ 3278442812654237599661613577999*c_1100_0^7 + 13239481641945672553086439590081340115418772046371/2926448683374813\ 066227542501233900797292908623992*c_1100_0^6 + 23711668770315147045149237976274982892626982645187/2926448683374813\ 066227542501233900797292908623992*c_1100_0^5 - 60447610444237703507208195792519465154924439880001/2926448683374813\ 066227542501233900797292908623992*c_1100_0^4 + 7525968626155964925296922873973008831519495741617/36580608542185163\ 3278442812654237599661613577999*c_1100_0^3 + 12823155921707456168271313091925223856612515643407/1463224341687406\ 533113771250616950398646454311996*c_1100_0^2 + 2954502798652569716781207874685499302666459054515/73161217084370326\ 6556885625308475199323227155998*c_1100_0 + 109058979684266536644210911177167217793420895441/365806085421851633\ 278442812654237599661613577999, c_1100_0^18 - 3*c_1100_0^17 - 6*c_1100_0^16 + 106*c_1100_0^15 - 226*c_1100_0^14 - 247*c_1100_0^13 + 2695*c_1100_0^12 - 2820*c_1100_0^11 + 2524*c_1100_0^10 + 13103*c_1100_0^9 - 15794*c_1100_0^8 + 17621*c_1100_0^7 + 47049*c_1100_0^6 - 89621*c_1100_0^5 + 73504*c_1100_0^4 + 66492*c_1100_0^3 + 50752*c_1100_0^2 + 13248*c_1100_0 + 3296 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.710 Total time: 6.929 seconds, Total memory usage: 85.19MB