Magma V2.19-8 Wed Aug 21 2013 00:45:40 on localhost [Seed = 3819303980] Type ? for help. Type -D to quit. Loading file "K14n7123__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n7123 geometric_solution 11.09840716 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 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 11 -11 0 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.178714737014 0.607775904842 0 5 3 6 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 0 -11 11 0 0 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.838997823707 0.657469738462 7 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 -1 0 0 0 10 -10 -10 0 0 10 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.949529270517 0.837375001893 1 6 10 0 2031 0321 0132 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 -11 0 0 11 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.167946080165 1.008379036878 6 8 0 10 0132 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.525849753010 2.031468618131 9 1 11 10 1230 0132 0132 1230 0 0 0 0 0 0 0 0 -1 0 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 11 0 0 -11 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483667816875 0.345387012446 4 12 1 3 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.459496345142 0.841806826022 2 9 11 9 0132 1230 1302 2310 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 -10 10 0 0 0 0 0 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.149288708980 1.644305757940 12 12 2 4 0321 0213 0132 0321 0 0 0 0 0 0 0 0 1 0 -1 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 -10 0 10 0 0 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.891042103744 0.466823645768 7 5 7 2 3201 3012 3012 0132 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 -11 10 1 0 0 10 -10 0 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506623413687 0.310489171251 5 11 4 3 3012 0213 0132 0132 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 0 11 -10 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.097099849093 0.729417388821 7 12 10 5 2031 0321 0213 0132 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 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.846185541253 0.903834982400 8 6 8 11 0321 0132 0213 0321 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 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.499574388997 0.915230632865 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_0'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_3'], 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_9' : negation(d['c_0011_0']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_0101_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_0101_0'], 's_2_0' : negation(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' : 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_1100_8' : negation(d['c_0101_5']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_5']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_3'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_9' : negation(d['c_0101_5']), 'c_1010_8' : d['c_1001_10'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(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' : d['c_1001_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), '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_0101_5'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_2']), 'c_0101_8' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_3'])})} 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_11, c_0011_12, c_0011_3, c_0101_0, c_0101_2, c_0101_3, c_0101_5, c_1001_0, c_1001_10, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 3524406896453558556054866705337647268214266617729668726681851877759\ 55054799065802459952780989150334/1825567737600521530512087563393645\ 93277801013229178855958701000734235027195905561854973134501*c_1100_\ 0^25 - 122873665842508535906602556870447897090244517794047692638296\ 3980059484099525852040851542360724376912/18255677376005215305120875\ 6339364593277801013229178855958701000734235027195905561854973134501\ *c_1100_0^24 - 1396082459490367226844038049686660919110445536749019\ 01894194458320448599369833061374019670128813368/1825567737600521530\ 5120875633936459327780101322917885595870100073423502719590556185497\ 3134501*c_1100_0^23 + 121045664990381385218599082743680159553345374\ 47305442355339400609882351860651001090722436974120508101/1825567737\ 6005215305120875633936459327780101322917885595870100073423502719590\ 5561854973134501*c_1100_0^22 + 482311744799516584655845396646992633\ 23582658932564301895188413737419496923252195304963624404926787337/3\ 6511354752010430610241751267872918655560202645835771191740200146847\ 0054391811123709946269002*c_1100_0^21 + 5583923597021330804506100739732953258967097889002440965664918474113\ 8971423505508686980249639568953775/18255677376005215305120875633936\ 4593277801013229178855958701000734235027195905561854973134501*c_110\ 0_0^20 + 2416398163684234637730603761242625226899768297785757688717\ 62103823302509995397369952736661274401202397/3651135475201043061024\ 1751267872918655560202645835771191740200146847005439181112370994626\ 9002*c_1100_0^19 + 401258365546840763942535160795566103100456234914\ 255241273033265153106480106077962891520104806014253447/365113547520\ 1043061024175126787291865556020264583577119174020014684700543918111\ 23709946269002*c_1100_0^18 + 27084521145705287498796433686113409628\ 8908279573355005632424763289320758380242842528578203502867359944/18\ 2556773760052153051208756339364593277801013229178855958701000734235\ 027195905561854973134501*c_1100_0^17 + 2473901057457483684974187569726096128457306892421149945768201204669\ 42032234996411235247138224302633210/1825567737600521530512087563393\ 64593277801013229178855958701000734235027195905561854973134501*c_11\ 00_0^16 + 415501594464979829423836251863568462129825534299206369520\ 102660796069337377430892438533221614315089661/365113547520104306102\ 4175126787291865556020264583577119174020014684700543918111237099462\ 69002*c_1100_0^15 + 23887114491477437542667486447841492684076129402\ 2522789279151719243775604500728068440209007175783757048/18255677376\ 0052153051208756339364593277801013229178855958701000734235027195905\ 561854973134501*c_1100_0^14 + 4732889901168918396726251466982755391\ 4777253148181407077686434110446932063769731087084241834171147209/18\ 2556773760052153051208756339364593277801013229178855958701000734235\ 027195905561854973134501*c_1100_0^13 - 2778842564867162866113216992046630306468258151745582469476752352673\ 23701490076771419704662816127399870/1825567737600521530512087563393\ 64593277801013229178855958701000734235027195905561854973134501*c_11\ 00_0^12 - 145451066239139512358476604021800534887742304280562838529\ 997887009349565234268920026992759664971202672/182556773760052153051\ 2087563393645932778010132291788559587010007342350271959055618549731\ 34501*c_1100_0^11 + 29425443082310796277333107744571125171723963247\ 1614983863679209843061845854656642856949882541232821816/18255677376\ 0052153051208756339364593277801013229178855958701000734235027195905\ 561854973134501*c_1100_0^10 + 5908719620870214070287197312681293886\ 31506089915140050369272505933270908649894075836881096244249004893/3\ 6511354752010430610241751267872918655560202645835771191740200146847\ 0054391811123709946269002*c_1100_0^9 - 1805795757192021896724547384800265715680676494208915527411765364010\ 61954521862571866634474876223438151/3651135475201043061024175126787\ 29186555602026458357711917402001468470054391811123709946269002*c_11\ 00_0^8 - 5296635101477684324115130004620337066492186440628451178954\ 63988196032472277536593861818741660166686925/3651135475201043061024\ 1751267872918655560202645835771191740200146847005439181112370994626\ 9002*c_1100_0^7 - 2863322891015410648344672276221202187931432258824\ 83088870032701222307327777166292243412056551227636091/3651135475201\ 0430610241751267872918655560202645835771191740200146847005439181112\ 3709946269002*c_1100_0^6 - 3471389431355350182933378480244774167338\ 0494603548983997303459585262104537793644131369066921949529487/36511\ 3547520104306102417512678729186555602026458357711917402001468470054\ 391811123709946269002*c_1100_0^5 + 1839151962597593071254509663450910779802177415306904565039010960851\ 2060095004113638313503548537390005/36511354752010430610241751267872\ 9186555602026458357711917402001468470054391811123709946269002*c_110\ 0_0^4 - 43198856788804443349098062539785872404222161083345387667442\ 7504942913660473174836181873784202327999/36511354752010430610241751\ 2678729186555602026458357711917402001468470054391811123709946269002\ *c_1100_0^3 - 36345330140754277760061406967329934436666076929263416\ 68138953933998564522641743909501796068772782887/3651135475201043061\ 0241751267872918655560202645835771191740200146847005439181112370994\ 6269002*c_1100_0^2 - 7166881531727478007003187298774961084294456022\ 57260013860728639712206553065539334468976635828211767/1825567737600\ 5215305120875633936459327780101322917885595870100073423502719590556\ 1854973134501*c_1100_0 - 530391760321172081938901107122265856668697\ 55398769633963773285688570165834415275127421876906921809/1825567737\ 6005215305120875633936459327780101322917885595870100073423502719590\ 5561854973134501, c_0011_0 - 1, c_0011_10 - 28196511367521997101735424907081353157448971374450035257717\ 2815296125118062226017/28342752245617404449420845885400621445865617\ 19278843789029828189933508367517531*c_1100_0^25 - 9795152087202128232761979865925064156593233203204805961311883607389\ 45381989761774/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^24 - 9939569040988667337327467204324020202231187081959254067805828031690\ 5797371890869/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0^23 + 9685288883838190371795366259871495782646601957394465931616999275506\ 896398091888403/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^22 + 1917165686128128903555285356878657317185766413724659424781212450956\ 2972769723945627/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^21 + 4443203396492968892367801909124555147166337434755812560072033909646\ 4580777947932427/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^20 + 9611084141299436589702282864355986737737652912357880107858590687375\ 2317900043797785/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^19 + 1593139462923811356885682709502938781569227095336828645974136543919\ 39066239027245679/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^18 + 2147097597510075783889730086489259700435048972678453790624761132900\ 41818178007140073/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^17 + 1952775001700431222893837073096563497262837199622003430151695246139\ 93902424518226230/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^16 + 1638322775446065109806900258483179832993404433485507922139783546719\ 17393816017274172/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^15 + 1891570626260303306372282140958918585525513432651592140346867000929\ 84600304792433254/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^14 + 3556435061620040808583393745324271384014506564255546098565784291203\ 0908699517998382/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^13 - 2227205909392513226275625724773004277405990724108743174061356644603\ 35206745887396974/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^12 - 1134681230405150179081203685110794475304497521946876084819540441872\ 80039816258961518/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^11 + 2368365659887204659206432014980259802645137999198808526936071634449\ 21690201932839259/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^10 + 2332103104117208163826782712135978890966004264919600052799878525962\ 73706063269927088/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^9 - 7519664237468054275001078674808082147530484274507613065062106740622\ 8172847640621018/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^8 - 2107261425275264418335558108232889276384979378976405214720825953671\ 51123171173974358/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^7 - 1117931855545348012657144388800567155058319875843393402685312671041\ 06208355274520533/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^6 - 1260328716894060147978803042685866547642257872195445625904123602453\ 1015272783889361/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^5 + 7402116449583460847872904578111428669029602274883112106503729920726\ 982139286118211/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^4 - 2803696879646868166349628114475609277687532306757133647215305800049\ 73145753061879/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^3 - 1436926822438274049348020183225986977287742926014955234895724781984\ 456508968273581/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^2 - 5516353754595208074854569214521380826552483308200030728578229591295\ 31249333394058/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0 - 3671745355354102442913358452937532601991531272321960518611934728083\ 8141630742754/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531, c_0011_11 + 11081822069127306605147549895620868624208056349568097771782\ 480938414832300723887/283427522456174044494208458854006214458656171\ 9278843789029828189933508367517531*c_1100_0^25 + 3731846914263486787990322965314823464064370100416622373851010733451\ 2906415716521/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0^24 - 1161291526627505485906290374507359881390875378947387519504466842669\ 42554887643/2834275224561740444942084588540062144586561719278843789\ 029828189933508367517531*c_1100_0^23 - 3806876230358046665541913846363450138850632638930015038192539539376\ 55894719914070/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^22 - 7125984063107380431331009159020119626959608881208049305440952512321\ 48974876361910/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^21 - 1668879926076672675764951905693353481945182399739496323313139511775\ 219300188842301/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^20 - 3601151355852189478337522331076673314175025490409453888901945303096\ 793096436811017/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^19 - 5876951982133613206190335704616716030539755872468285188260002869507\ 749849872489148/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^18 - 7810657298689811350790336051022578369940239726661972713226967876822\ 733044559871964/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^17 - 6850452167834238425466843939972598257240322908275387577210245941461\ 877426209948909/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^16 - 5720074353928067425687743232321582307307921256831417309458975880733\ 923834044541496/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^15 - 6848580704672076284870055472106182578151930644748770241521168264581\ 798783042366801/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^14 - 6739221304973516250445516083511718565505042058920025934657282824058\ 87588688623161/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^13 + 8838427431031059666049192772661449876706894441813411147060588284691\ 014910987685082/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^12 + 3470250403379094100305489495410335279254809934930345068792897305519\ 390274727933996/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^11 - 9683448644239165338427288612482210591181126381512266353082179618911\ 371489365415295/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^10 - 8021095193663783675055329613370330099496606456971167995700782739034\ 350598882564388/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^9 + 3823744764853774489309435344063901877137269922959474968656873010102\ 415611918455798/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^8 + 7754258653509487155924198025804548438468522848509221084147808078338\ 866412461104364/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^7 + 3543813040543336610638894385910574058875428431577222426378870922815\ 014237988050786/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^6 + 1982292462604273442034036800557183047811799139313979733198115573638\ 74289148117822/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^5 - 2809306440753830589981745595830705841009397504538780124516251111090\ 04584810069686/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^4 + 2137629450342770746795926385387629484759997220948606181088107198343\ 7933586278078/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0^3 + 4269333830212788123225766153290450909860246053295791497954127224210\ 0887483013863/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0^2 + 1584910421163972148349015204449693496896755006326089764169036784165\ 2083651161978/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0 + 1837449004428551261965432326422112329946992946377070009161988848716\ 764862481446/283427522456174044494208458854006214458656171927884378\ 9029828189933508367517531, c_0011_12 - 49362859816281225141843635293776401829562681177233613161675\ 322329936163608255359/283427522456174044494208458854006214458656171\ 9278843789029828189933508367517531*c_1100_0^25 - 1687655458739695570972208511625059497996301129102116313289151792347\ 91735826011905/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^24 - 8331849033399919455926829729960199750549438659483059892229519642762\ 506338498522/283427522456174044494208458854006214458656171927884378\ 9029828189933508367517531*c_1100_0^23 + 1695163124302792649553063160244188921053090789992649597142973988713\ 079461515490011/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^22 + 3262603844520740185819793900177218343974240150732252286596672371265\ 879230657586764/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^21 + 7606666007021210444276420024918156585065948788542141439068872712571\ 075275214461718/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^20 + 1642647221393324009834240574346035801824615994459124310433623021059\ 7436530762302684/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^19 + 2702773938629213471723763376456580852597774587754008245809837632301\ 1093586269658691/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^18 + 3618993979418653120215333176281266603961363060104768690379117657229\ 6909701713164985/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^17 + 3235348908656113102643384172306289772463346003345519385017664019168\ 0274121730486946/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^16 + 2711579978079329427005539654891917176542497931861384516742129759034\ 1072497951661031/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^15 + 3183663861607712411958713638394834846766407821904629812574211733477\ 9118562995089849/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^14 + 4645302102364227503182755896505192633401210516947967010264441095127\ 023052267450292/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^13 - 3906965856835631712974671534789423714797318577194960195985575251726\ 5033805333312318/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^12 - 1762199294385205310006947856048516375577151301150383232544794095618\ 5477837591330036/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^11 + 4223856640172865827344872718700701848824440988307886343873248062771\ 9893746605457912/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^10 + 3830276947545020528906513653664014108867085856375904984194396378276\ 1490110473896898/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^9 - 1506712954835361484022314049572179433877076888676185159435839488965\ 4254731060311791/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^8 - 3575189244676311797370977930110004525285967664190440903824223288447\ 3495430652753144/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^7 - 1763840724017065651012476546228193940847915836171915563100497178729\ 8869362179943184/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^6 - 1485314378338473654206112896140966197974004278816125907202618063503\ 093058965214367/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^5 + 1236230533034577397144287016048617847662841900974735439812563307035\ 022029048292898/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^4 - 1258886016460613937552489171268928497803475046567700633561470326326\ 58289416443560/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^3 - 2341989150711336253774584418866533472595495123703184450085428033435\ 72306311708846/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^2 - 8471200450432130009056437582975063964795945031142781929642966685834\ 8491103019746/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0 - 7584878362710709809028295399242118484102052083367723219428126602023\ 794317598297/283427522456174044494208458854006214458656171927884378\ 9029828189933508367517531, c_0011_3 + 228031623057980179533406765682036285860351575123598089041541\ 031665044684919007570/283427522456174044494208458854006214458656171\ 9278843789029828189933508367517531*c_1100_0^25 + 7929875977667951192420216806668893555817843033713794238044102975447\ 81642346777873/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^24 + 8290138693587559078135224802343765037676804203360363498508069401297\ 1903669972541/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0^23 - 7833617242629351184637367045574484678887346262905653153254449342353\ 579902020495421/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^22 - 1553293622289025393231360742278825452631242515212184737339745569233\ 6146269020336854/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^21 - 3597703617616342196488902653672245208072450388366151063611898929157\ 3277644720976473/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^20 - 7783596971280522978604464642619082308626424676362367394817342600718\ 4935017790744497/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^19 - 1290715870919559663779550659817601773032013229397886093185363862072\ 95634605182373559/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^18 - 1739969903995067183730226882449425641602468253933013531728232677554\ 99023297098738147/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^17 - 1583793659903159151693682804765892987162726843521324660831230018216\ 06333713953089245/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^16 - 1328338746061821933267334841637912271642291936606007671309827417347\ 88004480636425166/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^15 - 1532652058739783384497430259654668164730843869379870398265133658843\ 95720436937296996/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^14 - 2915840444066871415327504374297903158583787135321519725410430008565\ 9056300560683195/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^13 + 1802180112298406803770631532826780167957743802182424774533266782807\ 18502992146014048/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^12 + 9240641541086066067659029441233690021459611706955923362242603569923\ 3880913063386073/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^11 - 1914919609206673897285913430544297539078878385797087128666796962474\ 79394314975161858/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^10 - 1893775141756216282777173310109049310635909537379845380621303777217\ 51060504456287044/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^9 + 6044651076185871858449104441597912869778975280866302856064610162116\ 9511106220434015/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^8 + 1708771729995958695589350621129507286869129117435645161955672792306\ 38752408792748398/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^7 + 9088403633378465359101424255089579108215341753865487904212556915658\ 2313386930289838/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^6 + 1026859528105031558741378081115567415072971374231122801273803097934\ 4168313220708425/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^5 - 6046115985671607565159477084798248350621899495090545624569785216519\ 298477893663394/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^4 + 2194655876876393176356762594093204315846092210939738598811161612542\ 15513319866224/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^3 + 1175783955456379292387549860499922763770086675024386118134493278814\ 456022823374605/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^2 + 4473840567521407633636547247730898751559095094122292250477460515661\ 21814263418920/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0 + 2957104923443193512569977890749737285241705247943138713279794425257\ 6751880680478/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531, c_0101_0 - 228031623057980179533406765682036285860351575123598089041541\ 031665044684919007570/283427522456174044494208458854006214458656171\ 9278843789029828189933508367517531*c_1100_0^25 - 7929875977667951192420216806668893555817843033713794238044102975447\ 81642346777873/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^24 - 8290138693587559078135224802343765037676804203360363498508069401297\ 1903669972541/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0^23 + 7833617242629351184637367045574484678887346262905653153254449342353\ 579902020495421/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^22 + 1553293622289025393231360742278825452631242515212184737339745569233\ 6146269020336854/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^21 + 3597703617616342196488902653672245208072450388366151063611898929157\ 3277644720976473/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^20 + 7783596971280522978604464642619082308626424676362367394817342600718\ 4935017790744497/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^19 + 1290715870919559663779550659817601773032013229397886093185363862072\ 95634605182373559/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^18 + 1739969903995067183730226882449425641602468253933013531728232677554\ 99023297098738147/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^17 + 1583793659903159151693682804765892987162726843521324660831230018216\ 06333713953089245/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^16 + 1328338746061821933267334841637912271642291936606007671309827417347\ 88004480636425166/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^15 + 1532652058739783384497430259654668164730843869379870398265133658843\ 95720436937296996/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^14 + 2915840444066871415327504374297903158583787135321519725410430008565\ 9056300560683195/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^13 - 1802180112298406803770631532826780167957743802182424774533266782807\ 18502992146014048/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^12 - 9240641541086066067659029441233690021459611706955923362242603569923\ 3880913063386073/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^11 + 1914919609206673897285913430544297539078878385797087128666796962474\ 79394314975161858/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^10 + 1893775141756216282777173310109049310635909537379845380621303777217\ 51060504456287044/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^9 - 6044651076185871858449104441597912869778975280866302856064610162116\ 9511106220434015/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^8 - 1708771729995958695589350621129507286869129117435645161955672792306\ 38752408792748398/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^7 - 9088403633378465359101424255089579108215341753865487904212556915658\ 2313386930289838/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^6 - 1026859528105031558741378081115567415072971374231122801273803097934\ 4168313220708425/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^5 + 6046115985671607565159477084798248350621899495090545624569785216519\ 298477893663394/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^4 - 2194655876876393176356762594093204315846092210939738598811161612542\ 15513319866224/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^3 - 1175783955456379292387549860499922763770086675024386118134493278814\ 456022823374605/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^2 - 4473840567521407633636547247730898751559095094122292250477460515661\ 21814263418920/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0 - 2957104923443193512569977890749737285241705247943138713279794425257\ 6751880680478/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531, c_0101_2 - 453222253409605252578358142724491766356548577280683375651666\ 91911625428818687500/2834275224561740444942084588540062144586561719\ 278843789029828189933508367517531*c_1100_0^25 - 1587574055642903136694958568063217801547929452151125063834490744704\ 79561817272700/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^24 - 2019775080409636669833511819732852749126443193456248973257081798367\ 1395162692779/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0^23 + 1557348395512600751760730922337485685025307054160279828520864123687\ 146874761739182/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^22 + 3126156535892912904172707828277924827275546805748363776004968412773\ 685049498320841/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^21 + 7219111588615145530097593069425068645035083936762994524174707411229\ 082851885420332/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^20 + 1563804386331070152902988027590421430583432997723295806555249977634\ 2064493442736706/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^19 + 2601624065868089749045972064665188829970093972278092862336162302009\ 1349679202590731/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^18 + 3516597386250843873565315459965441389258560913563161189175362174429\ 1480736102169650/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^17 + 3226054607855209098548397294265395750174558613971988511896091435445\ 0148068243633426/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^16 + 2709669856284256210318552812310356546411273449589656215389479468484\ 6119774779234586/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^15 + 3108075250614913425918150673211038343079960930745388390093031436774\ 6977011187675569/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^14 + 6542228737460335569081385704073442289094466350079780536744415290301\ 708733338893411/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^13 - 3576105106757575478631212569897314691409614997071865970089402865851\ 3532777599301527/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^12 - 1920069455514110038409229669945538187507583172461840385338926248647\ 9076997107049080/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^11 + 3786634045550211936322582565741659483421394718836319174172258757233\ 5203612165854067/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^10 + 3855111299588513763547186509899791030754794824026690267177536825704\ 0533632845125182/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^9 - 1143466828066704425860012787617264155132251438751498631641610104710\ 5626458409733774/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^8 - 3430571065042546458495372418381815711971182735995454038708879999997\ 4895439618795115/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^7 - 1862212560570070234233340173898228261241278964789725003719768789741\ 1385141224076699/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^6 - 2368069746558086716136150007928830335544730827404273607573856174079\ 428216575812346/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^5 + 1065724399978431801306874846777607628540977670663756732103252469167\ 606259719264138/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^4 - 6526645749520945886300630014687880641308607712442170257844669958168\ 1900092512761/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0^3 - 2264406890533167525125100303146778207628435930207900342890332108523\ 70932357643977/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^2 - 8637122253065387009874726545858106321890586536686574581215512319832\ 4122947490130/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0 - 8655055491913261751809287324422822355859565888229495778831815000519\ 394458267908/283427522456174044494208458854006214458656171927884378\ 9029828189933508367517531, c_0101_3 + 527255277190143060978837901896114079456596745370665458698438\ 13128179374515841541/2834275224561740444942084588540062144586561719\ 278843789029828189933508367517531*c_1100_0^25 + 1820147272034308352984875112205969611550320080270601725340116201405\ 42071264799734/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^24 + 1456962376642823330308119536834941123978633547256635720501470361721\ 1863354539376/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0^23 - 1811684181986245990954011507627895290011059815785655682388043561025\ 765960542754670/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^22 - 3545684487534696565812113448320164941500717916739958492294219002167\ 710033626433299/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^21 - 8228965445593652833918062101924618727986203607535348578095503052450\ 127334176467615/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^20 - 1778635910714049741582116242636085286852638682657037149035714329695\ 5200392628883293/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^19 - 2939473668077628445831089770377888221462625459553589408050127709026\ 6927068827989996/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^18 - 3948281121980921405144363517533358258657990656063349097471783561597\ 5390216427868061/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^17 - 3561516323840445685601469866481209763462498160907453517814134969901\ 7538825264418290/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^16 - 2980907284080647857712744314609740796582588980878898423007102879454\ 2292878183055416/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^15 - 3467540399539020270509778331518310947267550611133528629278967147969\ 7317597241404845/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^14 - 5878166887938549188858172940261531119748032206745770350229170691825\ 876678572137576/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^13 + 4181888949258715273879667710012990129627054912464614821286022744215\ 7933014579631239/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^12 + 2032338076895834923817364459805730931288161966746285241174228202009\ 2856977150384151/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^11 - 4483615462650538988272996195347255184365788753357255004551789238053\ 2322460095825653/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^10 - 4267588853477480570349696344081150760053453582321607420919997556994\ 0365624728186759/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^9 + 1511399348010510621537014105998691343310280857669996093301003942398\ 4277921717769242/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^8 + 3914996446859484797362061412639737767161309666268908027560855740317\ 7368976002312289/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^7 + 1997606731567398357808927213895869240029354338911594777063287985585\ 1250151211617161/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^6 + 1848436875965501370995221999786128924618506664192182125570339866627\ 629841314555794/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^5 - 1428166112075862276020116440561002320037896450610700473259511990123\ 496888069039658/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^4 + 9286125955177255780812383729977879801871397663274706585755332294750\ 0721223345671/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0^3 + 2695185259031497014046524286827604375355167218151315422838606335979\ 90957395945500/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^2 + 9653599132422165316353127075657084707552144364188521773624056961327\ 4380631970412/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0 + 5569264931777531025743417683749679302538829069247423752374541207229\ 874105632755/283427522456174044494208458854006214458656171927884378\ 9029828189933508367517531, c_0101_5 + 334044918380909919006653467342930022352176057902889715342208\ 563752664616354044483/283427522456174044494208458854006214458656171\ 9278843789029828189933508367517531*c_1100_0^25 + 1159155277570823548623041521145446738600404507297550267288663076430\ 448051098735630/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^24 + 1135516932150628307647208966710279921137160632818764197168537076067\ 54531294932618/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^23 - 1147386395063461447404907105243392084549948039862903961485300695819\ 8625503898191766/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^22 - 2266893818067918450456732425967149427676366653105918815265081812767\ 6022891768857582/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^21 - 5256016168489122435832599305292150657252029637189077576758488266673\ 5398451580301565/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^20 - 1136753692765401658269062287055103521329778884800554342499240497347\ 66889939218214091/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^19 - 1883364159878534539910225133752132297300202389537805902648707160528\ 84993367740679949/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^18 - 2537167219877255619573076907686320164658442648190880142216844134306\ 39425844044786449/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^17 - 2304845386769850355019668920203942665869855601537781623154514184332\ 22331722154042821/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^16 - 1933513697439249663991391140644713191095916859929804861093471259399\ 45359259467495586/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^15 - 2234675831752833379841537909695288081409294019612252179294628957645\ 26464948528829929/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^14 - 4136985255150438595712536671833360755795157694666777269777972473605\ 7844606213243012/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^13 + 2638879190047593193014885230381248871882063339928280598677651196351\ 65242557693063251/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^12 + 1334249561586448735135355479232508461215372977728063425149588096729\ 69295821018470134/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^11 - 2808925511589926808886541421382310023772851823292735513302773776795\ 73865783440448965/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^10 - 2751827000930763507593398227080682306001050937074813868388696821619\ 39259588208599838/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^9 + 8989820957797180493739102484810601500446734878712041929209134082497\ 3053096895740717/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^8 + 2491884075523826888923644503420880446534163163121240327693802342670\ 94750175123004378/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^7 + 1316304230729001348262291223176951800148185693575581685372228704496\ 49501924112333918/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^6 + 1456447817611706361275865176552458414239539290309738864382668433141\ 8102466041487846/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^5 - 8800871866935116632465703421794535671009622707710354326936569930519\ 722511466646421/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^4 + 3570403794158525799639464750285276038298161392849320723405532928016\ 79180464131343/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^3 + 1700534330076368151172774069014605272715439898651776830840749960014\ 423341963539531/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^2 + 6517036965499669042561084565415169932578647684518765726165072150360\ 61329527964717/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0 + 4384353075347694813381499500964215281544425954920143685142545527746\ 0167236530525/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531, c_1001_0 + 281965113675219971017354249070813531574489713744500352577172\ 815296125118062226017/283427522456174044494208458854006214458656171\ 9278843789029828189933508367517531*c_1100_0^25 + 9795152087202128232761979865925064156593233203204805961311883607389\ 45381989761774/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^24 + 9939569040988667337327467204324020202231187081959254067805828031690\ 5797371890869/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531*c_1100_0^23 - 9685288883838190371795366259871495782646601957394465931616999275506\ 896398091888403/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^22 - 1917165686128128903555285356878657317185766413724659424781212450956\ 2972769723945627/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^21 - 4443203396492968892367801909124555147166337434755812560072033909646\ 4580777947932427/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^20 - 9611084141299436589702282864355986737737652912357880107858590687375\ 2317900043797785/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^19 - 1593139462923811356885682709502938781569227095336828645974136543919\ 39066239027245679/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^18 - 2147097597510075783889730086489259700435048972678453790624761132900\ 41818178007140073/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^17 - 1952775001700431222893837073096563497262837199622003430151695246139\ 93902424518226230/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^16 - 1638322775446065109806900258483179832993404433485507922139783546719\ 17393816017274172/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^15 - 1891570626260303306372282140958918585525513432651592140346867000929\ 84600304792433254/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^14 - 3556435061620040808583393745324271384014506564255546098565784291203\ 0908699517998382/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^13 + 2227205909392513226275625724773004277405990724108743174061356644603\ 35206745887396974/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^12 + 1134681230405150179081203685110794475304497521946876084819540441872\ 80039816258961518/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^11 - 2368365659887204659206432014980259802645137999198808526936071634449\ 21690201932839259/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^10 - 2332103104117208163826782712135978890966004264919600052799878525962\ 73706063269927088/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^9 + 7519664237468054275001078674808082147530484274507613065062106740622\ 8172847640621018/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^8 + 2107261425275264418335558108232889276384979378976405214720825953671\ 51123171173974358/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^7 + 1117931855545348012657144388800567155058319875843393402685312671041\ 06208355274520533/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^6 + 1260328716894060147978803042685866547642257872195445625904123602453\ 1015272783889361/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^5 - 7402116449583460847872904578111428669029602274883112106503729920726\ 982139286118211/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^4 + 2803696879646868166349628114475609277687532306757133647215305800049\ 73145753061879/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^3 + 1436926822438274049348020183225986977287742926014955234895724781984\ 456508968273581/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^2 + 5516353754595208074854569214521380826552483308200030728578229591295\ 31249333394058/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0 + 3671745355354102442913358452937532601991531272321960518611934728083\ 8141630742754/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531, c_1001_10 - 29502720877901512373722523648998463095960524835636049762182\ 4355501858465205798720/28342752245617404449420845885400621445865617\ 19278843789029828189933508367517531*c_1100_0^25 - 1026352785468741104216258989936507669782701185122301890031824597007\ 052838011675351/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^24 - 1087295884125855585407956715446730395333622758627682444161515785559\ 76011189874633/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^23 + 1013473335648264854213477781755679498300263782031670228107434324918\ 3581524314979824/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^22 + 2011022182428017755588153284645146876224127034189760455329078304418\ 6453128483143454/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^21 + 4657741503008604961282275419589906629722047686165283375181634926383\ 5094421501750215/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^20 + 1007674628098867062119827614248594849006055318991434747346766634149\ 84922154681082548/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^19 + 1671374366261516462651759051015735063586810701733266708320481278165\ 75720600705426883/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^18 + 2253567191917881452480934754240030596551145414285057552942911292594\ 26390865733156452/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^17 + 2052324759203430784248546465454285834946877154894878331532175707175\ 13769041691386891/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^16 + 1721603749951262536302024740077106496724945886348773969374101403229\ 11885937185474066/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^15 + 1985219714730033025979071277649149318185644603442584761490169736262\ 40169336368397187/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^14 + 3800296116202720241331596134056448178543044835188164526599852336162\ 3132281115967122/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^13 - 2330910437689656281882966367887397638072200180719564973029083322904\ 64525500586580310/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^12 - 1199274497431990886122481455574563627147104499567445011213683125894\ 10078501208444726/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^11 + 2475453083281274679628609098010539471083680099508198653875350857437\ 31253777293351185/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^10 + 2454012267990666835797236171178162297557458198507619300508582438072\ 11510522684950876/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^9 - 7782034229509103754598122174216748307915500061637155866753750745657\ 9107220612863304/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^8 - 2212025199308089148651621009708847687199754221443646424119707746932\ 80903944383982325/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^7 - 1179285944357389323818961031010849917716530198662148001509881270350\ 84687637326345766/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^6 - 1346629938904684784497458111574941248620848767735058177634917416159\ 0245124331830311/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^5 + 7806260105917055903531692742599810986616041167179081771277529046298\ 614131745740436/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^4 - 2588734189011711473031625471998538756865787329766435146319431863022\ 27121319243180/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^3 - 1514302624861350443388249548683050390034716381095276853389538169448\ 334291826250095/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^2 - 5822653765402567856863842837398033305624099292656272965469751780235\ 74962291252118/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0 - 3884187855918998330050540846849332012527552764869380186572904515482\ 2691123672624/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531, c_1001_5 + 378477277265448829660077625048021374446562047613594261819857\ 565792299851294692906/283427522456174044494208458854006214458656171\ 9278843789029828189933508367517531*c_1100_0^25 + 1318001113302395095086476422827888118393872099902895976880260613923\ 250706143980229/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^24 + 1439806414788989031629079338122738340365321468345832058889254163701\ 89647396756571/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^23 - 1300176133296325199025295328558041716945623930394062279197839475748\ 9069138722127761/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^22 - 2584544462789541891557327401478092646478050556320846178641654354717\ 2418190719033620/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^21 - 5983743365527841248237294007891144616830600938022980172703451382725\ 9228962804030224/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^20 - 1294602840073635612783426538933483274801211339467683835230250611979\ 63366600735387121/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^19 - 2148297949486404894743380396818128021737124601905443453563157117154\ 32616422443501847/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^18 - 2897664118880792253260477154496777879213144888399302491787356718094\ 63631085888326063/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^17 - 2641357132460253488414470442224124160085042690078876619452400067419\ 34586300438960941/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^16 - 2215438712538592770164683144048010623838205984532347645983779185913\ 32842912526044265/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^15 - 2551966155196050814644588412234033806217186680700422199308834366622\ 05548161480384387/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^14 - 4945366103159674563649969951796196726180520147030498454718662591244\ 7104980249074171/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^13 + 2990420534950908430182839700564974092490969358399504014097224839027\ 17335365359454033/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^12 + 1550556267325475942049898580019416605359602292419764954786248037093\ 75314317121416952/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^11 - 3171936486187486575368343099687555490988757884099474703771452652742\ 48912277218556570/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^10 - 3162545939204101468666730202356411472022363258337084400295395532183\ 97217639304987562/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^9 + 9885814377337721433074467152792412132870228195454172101433142335875\ 2516111780819291/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^8 + 2845627203206241734487248172305113180540668265017433424381719102361\ 73642000327453212/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^7 + 1523394977742305409914525732701863420321391720414384167855882626562\ 19131398086657450/2834275224561740444942084588540062144586561719278\ 843789029828189933508367517531*c_1100_0^6 + 1749573356066620126625647841919745147955580904884834315955139980990\ 4955355992737276/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^5 - 1016730215794020440173104082281959996937163389752760322922904077328\ 5176297652328059/28342752245617404449420845885400621445865617192788\ 43789029828189933508367517531*c_1100_0^4 + 2819021154614018282114610771316401788654162888278436133957495616651\ 55475063035135/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0^3 + 1968501946764043238790888991010997412487738985720907467869284763538\ 279879690328644/283427522456174044494208458854006214458656171927884\ 3789029828189933508367517531*c_1100_0^2 + 7571607637500827851582311234209064284246277983671951377636892512095\ 43924808187753/2834275224561740444942084588540062144586561719278843\ 789029828189933508367517531*c_1100_0 + 5118231739321595983715170892343878113797755819055965175798350760447\ 1890142128519/28342752245617404449420845885400621445865617192788437\ 89029828189933508367517531, c_1100_0^26 + 296/83*c_1100_0^25 + 56/83*c_1100_0^24 - 2848/83*c_1100_0^23 - 5907/83*c_1100_0^22 - 13604/83*c_1100_0^21 - 29504/83*c_1100_0^20 - 49522/83*c_1100_0^19 - 67560/83*c_1100_0^18 - 63358/83*c_1100_0^17 - 53582/83*c_1100_0^16 - 60165/83*c_1100_0^15 - 15642/83*c_1100_0^14 + 64550/83*c_1100_0^13 + 39482/83*c_1100_0^12 - 66559/83*c_1100_0^11 - 75111/83*c_1100_0^10 + 15703/83*c_1100_0^9 + 64065/83*c_1100_0^8 + 38699/83*c_1100_0^7 + 6783/83*c_1100_0^6 - 1838/83*c_1100_0^5 - 122/83*c_1100_0^4 + 432/83*c_1100_0^3 + 203/83*c_1100_0^2 + 26/83*c_1100_0 + 1/83 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 13.870 Total time: 14.089 seconds, Total memory usage: 120.34MB