Magma V2.19-8 Tue Aug 20 2013 20:12:11 on localhost [Seed = 38032774] Type ? for help. Type -D to quit. Loading file "11_373__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_373 geometric_solution 13.35531244 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 15 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 0 -1 1 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.375940358022 0.971779832590 0 5 6 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 -1 0 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 0 0.284625502925 1.075966156801 7 0 8 5 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618449308731 0.945079651863 9 1 10 0 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 -1 0 1 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.269663556472 0.957572005010 9 11 0 9 1230 0132 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 0 -1 1 0 0 0 0 -1 -1 0 2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771707341302 0.578933844379 7 1 2 10 1023 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 -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.391289477971 0.628157544547 12 13 11 1 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.091258013136 0.943803501125 2 5 13 14 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 1 -1 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.198368306605 1.012388842429 14 13 12 2 1023 3012 3012 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.731563121143 0.288145926041 3 4 4 12 0132 3012 0132 3012 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 -1 0 0 0 0 0 0 0 0 0 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771707341302 0.578933844379 12 11 5 3 3012 1230 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 -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.825027025248 0.416176474433 6 4 10 13 2031 0132 3012 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.868707148432 1.456393554127 6 8 9 10 0132 1230 1230 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.197828583005 3.150316715470 8 6 11 7 1230 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.339462897060 0.574235377663 14 8 7 14 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.717054089260 0.816843618703 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_14' : d['c_0101_10'], 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_1'], 'c_1001_13' : d['c_1001_1'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0101_13']), 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_11'], 'c_1001_2' : negation(d['c_0101_13']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_13' : negation(d['c_0101_5']), 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : negation(d['c_0101_13']), 'c_1010_10' : d['c_0101_11'], 'c_1010_14' : d['c_0101_14'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_0_9' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : d['c_0011_14'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_12']), 'c_1100_4' : negation(d['c_1001_12']), 'c_1100_7' : d['c_0011_14'], 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : negation(d['c_1001_12']), 'c_1100_3' : negation(d['c_1001_12']), 'c_1100_2' : negation(d['c_1001_12']), 'c_1100_14' : d['c_0011_14'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_1']), 'c_1100_10' : negation(d['c_1001_12']), 'c_1100_13' : negation(d['c_0101_5']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_0101_13']), 'c_1010_9' : negation(d['c_0101_1']), 'c_1010_8' : negation(d['c_0101_13']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_3'], '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' : 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' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_14'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_10'], 'c_0101_13' : d['c_0101_13'], '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' : negation(d['c_0101_5']), 'c_0110_10' : d['c_0101_3'], 'c_0110_13' : d['c_0011_14'], 'c_0110_12' : d['c_0011_10'], 'c_0110_14' : d['c_0011_14'], 'c_0101_12' : d['c_0101_1'], 'c_0011_7' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 's_3_12' : d['1'], 's_0_8' : d['1'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_14'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0101_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_14'], 'c_0110_1' : negation(d['c_0011_3']), 'c_1100_9' : negation(d['c_1001_12']), 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_14'], 'c_1100_8' : negation(d['c_1001_12'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_14, c_0011_3, c_0101_1, c_0101_10, c_0101_11, c_0101_13, c_0101_14, c_0101_3, c_0101_5, c_1001_0, c_1001_1, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 2006258633765355523255930310878412708462083144694142268542417817245\ 38592546137/2914144019761303537145833863594642933223152504755463571\ 128342511872*c_1001_12^17 - 361779691931243770114504130122357204448\ 465845467133059487012483690234251055909/971381339920434512381944621\ 198214311074384168251821190376114170624*c_1001_12^16 + 8624646820653665750306174616322741955278981662791358872610106477623\ 186558806303/116565760790452141485833354543785717328926100190218542\ 84513370047488*c_1001_12^15 - 4559908489651518749272345474536402000\ 907827870073183175905601779207273370711253/777105071936347609905555\ 6969585714488595073346014569523008913364992*c_1001_12^14 + 1445616683236957223187982286215271509048677250507595804811829615026\ 106343893703/233131521580904282971666709087571434657852200380437085\ 69026740094976*c_1001_12^13 + 8262540832858911223529346106790988184\ 174997600030330491469508361384746758245/242845334980108628095486155\ 299553577768596042062955297594028542656*c_1001_12^12 + 1170666077983616828503052517261998914155334587251577580351376280963\ 11495854075/7520371663900138160376345454437788214769425818723776957\ 75056132096*c_1001_12^11 - 1529760639311780203253707752861693782409\ 43747395696409697245511133096757840487/1793319396776186792089743916\ 058241805060401541387977582232826161152*c_1001_12^10 - 5853169198323854503568243398005863523643516476324386715913704777709\ 7327612123/19427626798408690247638892423964286221487683365036423807\ 52228341248*c_1001_12^9 + 13418047906213258059971901810349937386314\ 047605984438788254367817946807917829/777105071936347609905555696958\ 5714488595073346014569523008913364992*c_1001_12^8 + 1406607219359921921813494088681464352781490522755478828937528759588\ 93506798645/1165657607904521414858333545437857173289261001902185428\ 4513370047488*c_1001_12^7 + 207181359059152660910691515453373230251\ 1306644114283345438549077877827874297/12270080083205488577456142583\ 55639129778169475686510977317196847104*c_1001_12^6 - 1096732763287946432389278012404545428719212583869574854294442656183\ 498158785/122700800832054885774561425835563912977816947568651097731\ 7196847104*c_1001_12^5 - 218570241894314718403832103384982588641644\ 26132336852401152513818642227459/6699181654623686292289273249642857\ 3177543735741504909681111322112*c_1001_12^4 + 1522963352754363844144612658132306250873643946288884653102682463264\ 525719/401950899277421177537356394978571439065262414449029458086667\ 932672*c_1001_12^3 + 2277594594961172768736795059219463608796527183\ 73608535534654527731490377867/1165657607904521414858333545437857173\ 2892610019021854284513370047488*c_1001_12^2 + 5584131821238215137630158301666671123260136926626340110163889515095\ 6996601/23313152158090428297166670908757143465785220038043708569026\ 740094976*c_1001_12 - 131657394595069113648552838418474483920008706\ 9049586541377824676499994327/11656576079045214148583335454378571732\ 892610019021854284513370047488, c_0011_0 - 1, c_0011_10 + 15747243394937123764817994212734393163025241294720190695/26\ 1919991139275533095270629149892221274622943704112*c_1001_12^17 - 46791746702521607705452667269077926744164863297279316227/1309599955\ 69637766547635314574946110637311471852056*c_1001_12^16 + 859901855367368546300583477177949690504120962460445601077/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^15 - 1811412667242209369086282966830743058600539392964337584023/20953599\ 29114204264762165033199137770196983549632896*c_1001_12^14 + 90573403547521945825029272845295305124959075547099173499/2619199911\ 39275533095270629149892221274622943704112*c_1001_12^13 - 43418611977717534885214560774264904334082028392042930785/2095359929\ 114204264762165033199137770196983549632896*c_1001_12^12 + 274745007634037371018874697733965687512135708851537751717/209535992\ 9114204264762165033199137770196983549632896*c_1001_12^11 - 155769700423870375569656004470070383125103842060191477725/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^10 + 33546724470684050778093151419027181175859240667242212037/2095359929\ 114204264762165033199137770196983549632896*c_1001_12^9 + 24766856616211233547935628034235047887468542761377289787/2095359929\ 114204264762165033199137770196983549632896*c_1001_12^8 + 22428048894747568149310220162744224693243171377923202207/2095359929\ 114204264762165033199137770196983549632896*c_1001_12^7 - 8142660232216715947615587221645158650489669111644662519/20953599291\ 14204264762165033199137770196983549632896*c_1001_12^6 - 729524414246450716356109242678934726636044866168162969/523839982278\ 551066190541258299784442549245887408224*c_1001_12^5 - 318935203247055978539876490892352903744219130557023/209535992911420\ 4264762165033199137770196983549632896*c_1001_12^4 + 69090437178117505050319013053646444813596387969862619/5238399822785\ 51066190541258299784442549245887408224*c_1001_12^3 + 5615245735863917508002618355974096982442972823858367/26191999113927\ 5533095270629149892221274622943704112*c_1001_12^2 - 9043555405295259098942494163026561617478330580544387/20953599291142\ 04264762165033199137770196983549632896*c_1001_12 - 2133700734273566414324224243069876589224007028009859/20953599291142\ 04264762165033199137770196983549632896, c_0011_12 + 185136965732217481222138857886716472618153108585919797995/1\ 30959995569637766547635314574946110637311471852056*c_1001_12^17 - 965678743176710747610461571131615372641066301255622566195/130959995\ 569637766547635314574946110637311471852056*c_1001_12^16 + 7189199430433263108735184215093732618649077601437948342661/52383998\ 2278551066190541258299784442549245887408224*c_1001_12^15 - 9612326583661169957129877598969615423351152806202967786769/10476799\ 64557102132381082516599568885098491774816448*c_1001_12^14 - 962172033573660989407894740122724280748357747367758534769/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^13 + 430530150281603216776759321159992082051018076073511416419/523839982\ 278551066190541258299784442549245887408224*c_1001_12^12 + 3519361251949344342318260236810023005363537499054849598059/10476799\ 64557102132381082516599568885098491774816448*c_1001_12^11 - 1186769983320925648290142411849393297301735538019423441311/10476799\ 64557102132381082516599568885098491774816448*c_1001_12^10 - 486155905786317004732502669201054063185791227869359314933/523839982\ 278551066190541258299784442549245887408224*c_1001_12^9 - 107436055363503677830216870925113543233610418272830253295/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^8 + 65808793464553480452146988471072608683077863327256638295/2619199911\ 39275533095270629149892221274622943704112*c_1001_12^7 + 86556354176521353033155373236418253989255639945160510845/1047679964\ 557102132381082516599568885098491774816448*c_1001_12^6 - 9871160193465095311673922396941332446400658094120815975/10476799645\ 57102132381082516599568885098491774816448*c_1001_12^5 - 5261396815782222747525872544704662535793773549456760359/52383998227\ 8551066190541258299784442549245887408224*c_1001_12^4 - 709974719085301678916774543548316432805627764710326467/523839982278\ 551066190541258299784442549245887408224*c_1001_12^3 + 188043717177833652720229447595118495033200799615920685/523839982278\ 551066190541258299784442549245887408224*c_1001_12^2 + 132060382634619171182442813414513450011112485195810939/104767996455\ 7102132381082516599568885098491774816448*c_1001_12 + 2787529498335159393744267992513391238550545886935651/26191999113927\ 5533095270629149892221274622943704112, c_0011_14 + 33360254469849696111677678715685610299562555105580706999/65\ 479997784818883273817657287473055318655735926028*c_1001_12^17 - 351300116801048321682686569543587151548537821582727220197/130959995\ 569637766547635314574946110637311471852056*c_1001_12^16 + 1331487662730131251222556260008523200430012967758997323847/26191999\ 1139275533095270629149892221274622943704112*c_1001_12^15 - 939028574482603704287952731948499677817798428093946709719/261919991\ 139275533095270629149892221274622943704112*c_1001_12^14 - 108664853520743794329170543308185288607340477458962820053/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^13 + 284702752569958161036658917056601187644097651034063237409/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^12 + 310979233543250055893440002910137080561061289169720648055/261919991\ 139275533095270629149892221274622943704112*c_1001_12^11 - 481950635512504680821435691867712822409459897042529553021/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^10 - 314935657591376108161231864649548784095008942370880484457/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^9 - 3292671622960456989558110277965791837555716826263855533/13095999556\ 9637766547635314574946110637311471852056*c_1001_12^8 + 91654670537575819419096716714993520311454205252357162907/1047679964\ 557102132381082516599568885098491774816448*c_1001_12^7 + 13315275100570171924033448369009267190125678717747578271/5238399822\ 78551066190541258299784442549245887408224*c_1001_12^6 - 4064423903437663328245476286226487254208633661544121459/10476799645\ 57102132381082516599568885098491774816448*c_1001_12^5 - 3246504661828895949806812723899162854584084331898409085/10476799645\ 57102132381082516599568885098491774816448*c_1001_12^4 - 196691559377720152959257489625220968616132986128891963/523839982278\ 551066190541258299784442549245887408224*c_1001_12^3 + 66698178939645681301831810511216599560252789542859607/5238399822785\ 51066190541258299784442549245887408224*c_1001_12^2 + 2404748001728068694760129635531580055632447041372849/65479997784818\ 883273817657287473055318655735926028*c_1001_12 + 2893066626647813357094322859879279746389171387719405/10476799645571\ 02132381082516599568885098491774816448, c_0011_3 - 102502729736198620632099163894269562786723490297127545309/13\ 0959995569637766547635314574946110637311471852056*c_1001_12^17 + 133672946545953884155746109981212988834832755255986950121/327399988\ 92409441636908828643736527659327867963014*c_1001_12^16 - 3982368009826057831692589285783902323648447377383040742783/52383998\ 2278551066190541258299784442549245887408224*c_1001_12^15 + 5338283954372126558086483916430614883631872264284501898473/10476799\ 64557102132381082516599568885098491774816448*c_1001_12^14 + 252075078899766032149363311561858899182395261241100180497/523839982\ 278551066190541258299784442549245887408224*c_1001_12^13 - 456139086650811561741938348059911614526254073741678323635/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^12 - 1949699958510216617778356498577648581880132800417100582539/10476799\ 64557102132381082516599568885098491774816448*c_1001_12^11 + 40952568185497966067562475584870967193965299148374743557/6547999778\ 4818883273817657287473055318655735926028*c_1001_12^10 + 533455591950449077523622137347465101617780881080596631287/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^9 + 62190999027802913944505639938396329194830486154517032371/1047679964\ 557102132381082516599568885098491774816448*c_1001_12^8 - 144684186222168807031272964207806621581512362117304778351/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^7 - 48121527564676359984547102309026925783611501465825216835/1047679964\ 557102132381082516599568885098491774816448*c_1001_12^6 + 2572638411766609090985158430033032660669520491830970269/52383998227\ 8551066190541258299784442549245887408224*c_1001_12^5 + 5777064974728851093286330882688366622608635638385429379/10476799645\ 57102132381082516599568885098491774816448*c_1001_12^4 + 50854665914130147581900704654059514903039027340119827/6547999778481\ 8883273817657287473055318655735926028*c_1001_12^3 - 50459058262285774982254478744824000850325928165661367/2619199911392\ 75533095270629149892221274622943704112*c_1001_12^2 - 72344863729131374585103052802979315044614593945150595/1047679964557\ 102132381082516599568885098491774816448*c_1001_12 - 6179695569289279297642535515032928999622947163998173/10476799645571\ 02132381082516599568885098491774816448, c_0101_1 - 810845468728615536146453602884136967826339426727984217/26191\ 9991139275533095270629149892221274622943704112*c_1001_12^17 + 10051706606994714022877336344247740652945780503465710821/1309599955\ 69637766547635314574946110637311471852056*c_1001_12^16 - 377705513863118264474133011254034761967676078352758453451/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^15 + 1438046334316294930027050657982391490668572261904736182537/20953599\ 29114204264762165033199137770196983549632896*c_1001_12^14 - 143352106691913383828454605319930160813788556869589280371/261919991\ 139275533095270629149892221274622943704112*c_1001_12^13 + 180190062597569364484970369803061469114169900820333388591/209535992\ 9114204264762165033199137770196983549632896*c_1001_12^12 + 18740024820152715218978604798239319530136943046392660229/2095359929\ 114204264762165033199137770196983549632896*c_1001_12^11 + 149052927805334792924457940183588177808246582659040077579/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^10 - 165453986484564079612992353987001330159085283301376945163/209535992\ 9114204264762165033199137770196983549632896*c_1001_12^9 - 44429496661952683832996134306917082342232384905518629861/2095359929\ 114204264762165033199137770196983549632896*c_1001_12^8 + 416558139792098032829732573508506517134072110166106319/209535992911\ 4204264762165033199137770196983549632896*c_1001_12^7 + 21860521335822057837820881753357923800318009116983353929/2095359929\ 114204264762165033199137770196983549632896*c_1001_12^6 + 625324961602450961822326447347105097274825409446439571/523839982278\ 551066190541258299784442549245887408224*c_1001_12^5 - 1404045225568021009360012055677367286818328164580238831/20953599291\ 14204264762165033199137770196983549632896*c_1001_12^4 - 146474682692610180859068744228183147642199162384386301/523839982278\ 551066190541258299784442549245887408224*c_1001_12^3 - 1166914010777108794445445933269464388829076986410565/26191999113927\ 5533095270629149892221274622943704112*c_1001_12^2 + 32746084264577620341180706870485652905851124651039645/2095359929114\ 204264762165033199137770196983549632896*c_1001_12 + 5369887666270913478333636072689428505009595851811789/20953599291142\ 04264762165033199137770196983549632896, c_0101_10 + 10583494093062219067220551363171008605900772022042111421/16\ 369999446204720818454414321868263829663933981507*c_1001_12^17 - 53711869475659771490767650569684058240818210255873501256/1636999944\ 6204720818454414321868263829663933981507*c_1001_12^16 + 378427249849727386406672053699613482195997808272268707423/654799977\ 84818883273817657287473055318655735926028*c_1001_12^15 - 418211427165380449532075348350705392868222586404094143937/130959995\ 569637766547635314574946110637311471852056*c_1001_12^14 - 81686109621232903450847319401305835627010549896358398871/6547999778\ 4818883273817657287473055318655735926028*c_1001_12^13 + 66878795367088469098903968536940527501459795249687786547/1309599955\ 69637766547635314574946110637311471852056*c_1001_12^12 + 203793856977633742975471826802811606480147683888247091299/130959995\ 569637766547635314574946110637311471852056*c_1001_12^11 - 4968053641323332539426862297532933120646904300443725617/16369999446\ 204720818454414321868263829663933981507*c_1001_12^10 - 71736329654331305713083067197084293844155791826126454755/1309599955\ 69637766547635314574946110637311471852056*c_1001_12^9 - 10352803156346789742407164537425069801769928256693202055/1309599955\ 69637766547635314574946110637311471852056*c_1001_12^8 + 15109695816858646846549940456521982100573062932423749511/1309599955\ 69637766547635314574946110637311471852056*c_1001_12^7 + 7122799848120860696780331600711111988593997131747573751/13095999556\ 9637766547635314574946110637311471852056*c_1001_12^6 - 169079438198473452925831363393487541100914500470284455/654799977848\ 18883273817657287473055318655735926028*c_1001_12^5 - 744494902769719423662488168273898353012543974969045411/130959995569\ 637766547635314574946110637311471852056*c_1001_12^4 - 35629053339781230839853248883411885205615290687330177/3273999889240\ 9441636908828643736527659327867963014*c_1001_12^3 + 5695492726041982566360731420948759133245534931400089/32739998892409\ 441636908828643736527659327867963014*c_1001_12^2 + 11131977627083550481082150046528276488167612315469627/1309599955696\ 37766547635314574946110637311471852056*c_1001_12 + 972373883902441127894917274178351235011340995143973/130959995569637\ 766547635314574946110637311471852056, c_0101_11 - 15747243394937123764817994212734393163025241294720190695/26\ 1919991139275533095270629149892221274622943704112*c_1001_12^17 + 46791746702521607705452667269077926744164863297279316227/1309599955\ 69637766547635314574946110637311471852056*c_1001_12^16 - 859901855367368546300583477177949690504120962460445601077/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^15 + 1811412667242209369086282966830743058600539392964337584023/20953599\ 29114204264762165033199137770196983549632896*c_1001_12^14 - 90573403547521945825029272845295305124959075547099173499/2619199911\ 39275533095270629149892221274622943704112*c_1001_12^13 + 43418611977717534885214560774264904334082028392042930785/2095359929\ 114204264762165033199137770196983549632896*c_1001_12^12 - 274745007634037371018874697733965687512135708851537751717/209535992\ 9114204264762165033199137770196983549632896*c_1001_12^11 + 155769700423870375569656004470070383125103842060191477725/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^10 - 33546724470684050778093151419027181175859240667242212037/2095359929\ 114204264762165033199137770196983549632896*c_1001_12^9 - 24766856616211233547935628034235047887468542761377289787/2095359929\ 114204264762165033199137770196983549632896*c_1001_12^8 - 22428048894747568149310220162744224693243171377923202207/2095359929\ 114204264762165033199137770196983549632896*c_1001_12^7 + 8142660232216715947615587221645158650489669111644662519/20953599291\ 14204264762165033199137770196983549632896*c_1001_12^6 + 729524414246450716356109242678934726636044866168162969/523839982278\ 551066190541258299784442549245887408224*c_1001_12^5 + 318935203247055978539876490892352903744219130557023/209535992911420\ 4264762165033199137770196983549632896*c_1001_12^4 - 69090437178117505050319013053646444813596387969862619/5238399822785\ 51066190541258299784442549245887408224*c_1001_12^3 - 5615245735863917508002618355974096982442972823858367/26191999113927\ 5533095270629149892221274622943704112*c_1001_12^2 + 9043555405295259098942494163026561617478330580544387/20953599291142\ 04264762165033199137770196983549632896*c_1001_12 + 2133700734273566414324224243069876589224007028009859/20953599291142\ 04264762165033199137770196983549632896, c_0101_13 + 24236537958971298355228470932579605433657662968593723925/32\ 739998892409441636908828643736527659327867963014*c_1001_12^17 - 505285301554497903130821578178967507720342418251731403009/130959995\ 569637766547635314574946110637311471852056*c_1001_12^16 + 234696698810113407625998863313554004610285272407481531405/327399988\ 92409441636908828643736527659327867963014*c_1001_12^15 - 2493815427974489181237948849505228615826577489315813103153/52383998\ 2278551066190541258299784442549245887408224*c_1001_12^14 - 558880159095138689740754114418711294394228762991800191629/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^13 + 483968070411292996657316927549153144001418669501894306147/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^12 + 915622432418517446484118012578214219469669376037592085935/523839982\ 278551066190541258299784442549245887408224*c_1001_12^11 - 611557951585670698154131498437812855062507002593284838425/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^10 - 518992987453114038107965068591690429618117018017339864587/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^9 - 26173494288586811999228364952517914777896107615596959369/5238399822\ 78551066190541258299784442549245887408224*c_1001_12^8 + 137274601731683646607378500582611558963913154886453893265/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^7 + 11460664721743194544418103929040534065087077323448065329/2619199911\ 39275533095270629149892221274622943704112*c_1001_12^6 - 5567386781583777980939224069914784572592065684285608559/10476799645\ 57102132381082516599568885098491774816448*c_1001_12^5 - 5453197763336384932383519579861765717579650520527907147/10476799645\ 57102132381082516599568885098491774816448*c_1001_12^4 - 364992100384535334518352984814195884320326282421738685/523839982278\ 551066190541258299784442549245887408224*c_1001_12^3 + 102896928486825472474520635607809485767028503288018709/523839982278\ 551066190541258299784442549245887408224*c_1001_12^2 + 34094267289781741658224925865410370818127012155338651/5238399822785\ 51066190541258299784442549245887408224*c_1001_12 + 5501354427524370450467435534966774275770281105489323/10476799645571\ 02132381082516599568885098491774816448, c_0101_14 + 51810442649777622497259231302112139128888449627481372541/52\ 3839982278551066190541258299784442549245887408224*c_1001_12^17 - 155674965660261085183463450973701732588995803587702836493/261919991\ 139275533095270629149892221274622943704112*c_1001_12^16 + 2908027471154662762678483030926536565242877908653222255831/20953599\ 29114204264762165033199137770196983549632896*c_1001_12^15 - 6300852132673275064250770881820636185056891091590075390365/41907198\ 58228408529524330066398275540393967099265792*c_1001_12^14 + 168992762470959757166540776543837866124433749752584176151/261919991\ 139275533095270629149892221274622943704112*c_1001_12^13 - 228609899483577750151385413779559774377848399511536520691/419071985\ 8228408529524330066398275540393967099265792*c_1001_12^12 + 892060021972349439693231575197874564448383462311871567351/419071985\ 8228408529524330066398275540393967099265792*c_1001_12^11 - 543337275794390818315379005393727260396260611733904166123/209535992\ 9114204264762165033199137770196983549632896*c_1001_12^10 + 164921753244557828932480997654978242202343926058124675583/419071985\ 8228408529524330066398275540393967099265792*c_1001_12^9 + 86620349811805935949037997298914417917483108178875950409/4190719858\ 228408529524330066398275540393967099265792*c_1001_12^8 + 69033146305274905090282636921701040575951411399737558973/4190719858\ 228408529524330066398275540393967099265792*c_1001_12^7 - 32745664687402498135044160362317915940153986122315368653/4190719858\ 228408529524330066398275540393967099265792*c_1001_12^6 - 2276999492439031285936252796940637960052594811030567725/10476799645\ 57102132381082516599568885098491774816448*c_1001_12^5 + 782159344536359333069817454579590302064837877304626323/419071985822\ 8408529524330066398275540393967099265792*c_1001_12^4 + 272029886885570649770362911743554594702651167202036517/104767996455\ 7102132381082516599568885098491774816448*c_1001_12^3 + 13313121275354470841743540921723069031526359056332663/5238399822785\ 51066190541258299784442549245887408224*c_1001_12^2 - 41050399919952955636648969644803444125779822922641185/4190719858228\ 408529524330066398275540393967099265792*c_1001_12 - 10105690437979690319365882686419475067651907198520329/4190719858228\ 408529524330066398275540393967099265792, c_0101_3 + 12949401098192442331264270574440499433356307316672951749/327\ 39998892409441636908828643736527659327867963014*c_1001_12^17 - 66403658642867309401631048119824815198082978662037028053/3273999889\ 2409441636908828643736527659327867963014*c_1001_12^16 + 478911143458599749241635535549734884647384784486236522107/130959995\ 569637766547635314574946110637311471852056*c_1001_12^15 - 582896871607904888616540922359083102188060542199481427407/261919991\ 139275533095270629149892221274622943704112*c_1001_12^14 - 125945424534851106209857571327114456177693550971128157951/261919991\ 139275533095270629149892221274622943704112*c_1001_12^13 + 24697568876959672704008876096417195056946337617189915983/1309599955\ 69637766547635314574946110637311471852056*c_1001_12^12 + 257395648508462968239109232335206994584687773903769633205/261919991\ 139275533095270629149892221274622943704112*c_1001_12^11 - 62599065678792488207521900977182480494963787395564164729/2619199911\ 39275533095270629149892221274622943704112*c_1001_12^10 - 38111657522363967111037969682754486870958577348034614145/1309599955\ 69637766547635314574946110637311471852056*c_1001_12^9 - 14548092732899552654978341254911675652377965230355627257/2619199911\ 39275533095270629149892221274622943704112*c_1001_12^8 + 4703790521397608339949717628533172369305983839500151363/65479997784\ 818883273817657287473055318655735926028*c_1001_12^7 + 7840257987983257288126183606331710706798446420460024455/26191999113\ 9275533095270629149892221274622943704112*c_1001_12^6 - 245110524732545762320651384011626602353841618101709389/261919991139\ 275533095270629149892221274622943704112*c_1001_12^5 - 452213237785988245114117251947154788328135733060106409/130959995569\ 637766547635314574946110637311471852056*c_1001_12^4 - 81449481657954326352117351325424538139432244997084159/1309599955696\ 37766547635314574946110637311471852056*c_1001_12^3 + 12600286396465684662098058935644442315235552696661653/1309599955696\ 37766547635314574946110637311471852056*c_1001_12^2 + 12960934231224840050718162525781782246686831093723865/2619199911392\ 75533095270629149892221274622943704112*c_1001_12 + 84086963142236731970388434198301436180694491990120/1636999944620472\ 0818454414321868263829663933981507, c_0101_5 - 28870627287610899842617562598624119824607531605378435721/654\ 79997784818883273817657287473055318655735926028*c_1001_12^17 + 302601515539808779767254938096662426228319261022871259047/130959995\ 569637766547635314574946110637311471852056*c_1001_12^16 - 1137122172800639381278699302734767015574268125778677986057/26191999\ 1139275533095270629149892221274622943704112*c_1001_12^15 + 783333073776307475256218225336262713992638854474101049315/261919991\ 139275533095270629149892221274622943704112*c_1001_12^14 + 178443360780342541287408924215567323389384345604156929279/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^13 - 239964793060249257153010115012164846816672407316877274039/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^12 - 273471646988220656318992963994430996770679316701882880867/261919991\ 139275533095270629149892221274622943704112*c_1001_12^11 + 395870030627029381858259459407350642775413239805297839415/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^10 + 283734689099974671965773168045221121739961885926546691943/104767996\ 4557102132381082516599568885098491774816448*c_1001_12^9 + 3881274586075358174344733600458097895308424474599029261/13095999556\ 9637766547635314574946110637311471852056*c_1001_12^8 - 80999914064345121521834387105706578316879368249755168673/1047679964\ 557102132381082516599568885098491774816448*c_1001_12^7 - 12459080047243777308116170397622245514070336012231726243/5238399822\ 78551066190541258299784442549245887408224*c_1001_12^6 + 2999081013247099810648820944998018900818794895714005821/10476799645\ 57102132381082516599568885098491774816448*c_1001_12^5 + 3087754020008961689725470976193940515906626232985437247/10476799645\ 57102132381082516599568885098491774816448*c_1001_12^4 + 202747345621743076070759035091155497754188029382877115/523839982278\ 551066190541258299784442549245887408224*c_1001_12^3 - 53729480265332963616449427265663361572882889786620567/5238399822785\ 51066190541258299784442549245887408224*c_1001_12^2 - 9293385867385978311506925433384377345807483893673517/26191999113927\ 5533095270629149892221274622943704112*c_1001_12 - 3100064705528956854251196829479500575355407884855035/10476799645571\ 02132381082516599568885098491774816448, c_1001_0 - c_1001_12, c_1001_1 + 77343703205553496553074504463783330691922857542565883571/654\ 79997784818883273817657287473055318655735926028*c_1001_12^17 - 100985852136788335362259564534453741743582709909325332757/163699994\ 46204720818454414321868263829663933981507*c_1001_12^16 + 3014695763281546642286690209243199052456550305038530237297/26191999\ 1139275533095270629149892221274622943704112*c_1001_12^15 - 4060481575527104131750385300177754043811855198264015201783/52383998\ 2278551066190541258299784442549245887408224*c_1001_12^14 - 184330879968870307757040759658569654445903277148989280227/261919991\ 139275533095270629149892221274622943704112*c_1001_12^13 + 361966431735771126905163521280658995409045538409385790093/523839982\ 278551066190541258299784442549245887408224*c_1001_12^12 + 1462565726394958759122103940567076213011028009441357847669/52383998\ 2278551066190541258299784442549245887408224*c_1001_12^11 - 62964248888293755000774434865322718614870015149911417365/6547999778\ 4818883273817657287473055318655735926028*c_1001_12^10 - 401363838276544355036869118318455775679039451971943278265/523839982\ 278551066190541258299784442549245887408224*c_1001_12^9 - 41698592632888244696607299354350306359129805513993076413/5238399822\ 78551066190541258299784442549245887408224*c_1001_12^8 + 109137257898014384064606443844159068640396261568104530969/523839982\ 278551066190541258299784442549245887408224*c_1001_12^7 + 35380409490730166396952378255703313644244490659127856901/5238399822\ 78551066190541258299784442549245887408224*c_1001_12^6 - 2141616948707719447897011253728200868352715144999903595/26191999113\ 9275533095270629149892221274622943704112*c_1001_12^5 - 4270475891672673311054495278027853116743138376756672197/52383998227\ 8551066190541258299784442549245887408224*c_1001_12^4 - 70967430750784801323639002488168922759314288975576975/6547999778481\ 8883273817657287473055318655735926028*c_1001_12^3 + 39156602188039609022742515718368211834977848268659819/1309599955696\ 37766547635314574946110637311471852056*c_1001_12^2 + 52681039024553698281238776732179125509741979942685685/5238399822785\ 51066190541258299784442549245887408224*c_1001_12 + 4300709566526663652359316182223137425562844495172179/52383998227855\ 1066190541258299784442549245887408224, c_1001_12^18 - 411871/81709*c_1001_12^17 + 2875727/326836*c_1001_12^16 - 3147243/653672*c_1001_12^15 - 1136875/653672*c_1001_12^14 + 286461/653672*c_1001_12^13 + 807329/326836*c_1001_12^12 - 247813/653672*c_1001_12^11 - 513403/653672*c_1001_12^10 - 62583/326836*c_1001_12^9 + 26335/163418*c_1001_12^8 + 29271/326836*c_1001_12^7 + 2945/653672*c_1001_12^6 - 5241/653672*c_1001_12^5 - 1479/653672*c_1001_12^4 + 9/163418*c_1001_12^3 + 87/653672*c_1001_12^2 + 2/81709*c_1001_12 + 1/653672 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_14, c_0011_3, c_0101_1, c_0101_10, c_0101_11, c_0101_13, c_0101_14, c_0101_3, c_0101_5, c_1001_0, c_1001_1, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 57402668086443020661285365721834208409888023228640689/3220397391637\ 23170400627267409215116614273197992357583*c_1001_12^29 - 838310271282726382680491076001284091430535802157391391/322039739163\ 723170400627267409215116614273197992357583*c_1001_12^28 + 6102442146946599395078558114972679294442394288928607303/32203973916\ 3723170400627267409215116614273197992357583*c_1001_12^27 - 1402419777098122205650661873527438797440566642075483960/15335225674\ 463008114315584162343576981632057047255123*c_1001_12^26 + 105612331389952855801962426855750898004462843235803889653/322039739\ 163723170400627267409215116614273197992357583*c_1001_12^25 - 298886091605408503211631478869895502010226609838931967016/322039739\ 163723170400627267409215116614273197992357583*c_1001_12^24 + 230815515798463133014533901419492520331408936270897866160/107346579\ 721241056800209089136405038871424399330785861*c_1001_12^23 - 40782524766791025838960916207442350321087599715454306632/9758779974\ 658277890928099012400458079220399939162351*c_1001_12^22 + 744440474561199428827173520031716944015772350840648290508/107346579\ 721241056800209089136405038871424399330785861*c_1001_12^21 - 1069511275421264059921086944374035301132256346347732712235/10734657\ 9721241056800209089136405038871424399330785861*c_1001_12^20 + 4046457556773848447368981535503794916726042682303508587686/32203973\ 9163723170400627267409215116614273197992357583*c_1001_12^19 - 4574122705894814276634456178280383520010267476389860316450/32203973\ 9163723170400627267409215116614273197992357583*c_1001_12^18 + 1609900731153326066715441854464682683563740216944936589825/10734657\ 9721241056800209089136405038871424399330785861*c_1001_12^17 - 5138105762810680202782016919473085136392598175459124360674/32203973\ 9163723170400627267409215116614273197992357583*c_1001_12^16 + 6005443127161640843800569959533379031964611545024406512858/32203973\ 9163723170400627267409215116614273197992357583*c_1001_12^15 - 7837295814079152076106864614805888969897465998425124050008/32203973\ 9163723170400627267409215116614273197992357583*c_1001_12^14 + 3544484607334155359749447485218144445771067889690425151269/10734657\ 9721241056800209089136405038871424399330785861*c_1001_12^13 - 13865690538333175934902286612096815284026304485064020719579/3220397\ 39163723170400627267409215116614273197992357583*c_1001_12^12 + 503951237316817995189564752678623278559506423820961891959/975877997\ 4658277890928099012400458079220399939162351*c_1001_12^11 - 6001312612398281093016247674042804042267892000360378679502/10734657\ 9721241056800209089136405038871424399330785861*c_1001_12^10 + 1589763812766343059281346184996314985145386593454478720195/29276339\ 923974833672784297037201374237661199817487053*c_1001_12^9 - 2169710614713323108994450782926654190714847614618586265436/46005677\ 023389024342946752487030730944896171141765369*c_1001_12^8 + 11746804161154797808798091940764914983615822175000443918947/3220397\ 39163723170400627267409215116614273197992357583*c_1001_12^7 - 8025850041573544616620190364163944112632184451202002991593/32203973\ 9163723170400627267409215116614273197992357583*c_1001_12^6 + 4786324454079231390673518137010016283263953185389537216231/32203973\ 9163723170400627267409215116614273197992357583*c_1001_12^5 - 2441438415298402120292718551746007795225745565550614114322/32203973\ 9163723170400627267409215116614273197992357583*c_1001_12^4 + 342374810139089839568613600515675308494077207006559129943/107346579\ 721241056800209089136405038871424399330785861*c_1001_12^3 - 111394739273514948879913241569922885978092512839070062448/107346579\ 721241056800209089136405038871424399330785861*c_1001_12^2 + 74431873198023864398848082185848380991503983887543599506/3220397391\ 63723170400627267409215116614273197992357583*c_1001_12 - 8598262881376255336396470238684329963375193869714379189/32203973916\ 3723170400627267409215116614273197992357583, c_0011_0 - 1, c_0011_10 + 245461122415107186611783699673424769833/5046745921712871930\ 89068752617140908871*c_1001_12^29 - 3591579221982556142889632122800753845722/50467459217128719308906875\ 2617140908871*c_1001_12^28 + 26116131680302910157468953125885299701\ 790/504674592171287193089068752617140908871*c_1001_12^27 - 125611601812217127445905460914118646817127/504674592171287193089068\ 752617140908871*c_1001_12^26 + 448150270526064625829051320509913113\ 549216/504674592171287193089068752617140908871*c_1001_12^25 - 1260137855903338396852507187995493032510921/50467459217128719308906\ 8752617140908871*c_1001_12^24 + 28977782884168579953081584840108293\ 66432198/504674592171287193089068752617140908871*c_1001_12^23 - 5586366265805643337041125309009838349048365/50467459217128719308906\ 8752617140908871*c_1001_12^22 + 91917012835604083761553139427633338\ 02892109/504674592171287193089068752617140908871*c_1001_12^21 - 13093604212458805046424390679792406170136920/5046745921712871930890\ 68752617140908871*c_1001_12^20 + 1638178616125930056725922281183579\ 0033192121/504674592171287193089068752617140908871*c_1001_12^19 - 18398146715653243529734356674744180393999714/5046745921712871930890\ 68752617140908871*c_1001_12^18 + 1936639133022428211775616547007580\ 8599784932/504674592171287193089068752617140908871*c_1001_12^17 - 20657576316514171506824769597083608057071437/5046745921712871930890\ 68752617140908871*c_1001_12^16 + 2431778648073176709158118200504629\ 3562639737/504674592171287193089068752617140908871*c_1001_12^15 - 31907973195929993977922293423822054965347838/5046745921712871930890\ 68752617140908871*c_1001_12^14 + 4330181800439295486440699111809439\ 1296206948/504674592171287193089068752617140908871*c_1001_12^13 - 56266705694447930799063387019675944763926912/5046745921712871930890\ 68752617140908871*c_1001_12^12 + 6713077075077027495397232288599094\ 7942389111/504674592171287193089068752617140908871*c_1001_12^11 - 72215596985625359166593995326322970325924713/5046745921712871930890\ 68752617140908871*c_1001_12^10 + 6963185637689223200519274461005515\ 1458133913/504674592171287193089068752617140908871*c_1001_12^9 - 59978567433306534865383508455409292592596000/5046745921712871930890\ 68752617140908871*c_1001_12^8 + 45901339432570612004390251017631654\ 082559709/504674592171287193089068752617140908871*c_1001_12^7 - 30934713075593006034914599275179287691593508/5046745921712871930890\ 68752617140908871*c_1001_12^6 + 18117581529021768749081935981855046\ 070664224/504674592171287193089068752617140908871*c_1001_12^5 - 9012449152178666268376351520983849824492274/50467459217128719308906\ 8752617140908871*c_1001_12^4 + 365386038913265843441763839415107954\ 5553098/504674592171287193089068752617140908871*c_1001_12^3 - 1124231486853942907730613615438038227803755/50467459217128719308906\ 8752617140908871*c_1001_12^2 + 230396984278317911749645828380061464\ 499822/504674592171287193089068752617140908871*c_1001_12 - 22680529326950115508989040501624646445297/5046745921712871930890687\ 52617140908871, c_0011_12 - 183475230385403070725742146484001303191/5046745921712871930\ 89068752617140908871*c_1001_12^29 + 2273138134668051320152187289233860492647/50467459217128719308906875\ 2617140908871*c_1001_12^28 - 13834309826601013095270443758815934951\ 478/504674592171287193089068752617140908871*c_1001_12^27 + 54800303688711808661682018232980306542983/5046745921712871930890687\ 52617140908871*c_1001_12^26 - 1571293810588197159563014623478283199\ 79885/504674592171287193089068752617140908871*c_1001_12^25 + 341652967085113895655935129510730442866241/504674592171287193089068\ 752617140908871*c_1001_12^24 - 570177759939593246734956380576505095\ 164669/504674592171287193089068752617140908871*c_1001_12^23 + 709589569593683994388049935822020981236136/504674592171287193089068\ 752617140908871*c_1001_12^22 - 567410551874458495683865688234520050\ 912670/504674592171287193089068752617140908871*c_1001_12^21 + 16151360971536665356022124820983009141804/5046745921712871930890687\ 52617140908871*c_1001_12^20 + 8589308617005588306654127702790912766\ 97616/504674592171287193089068752617140908871*c_1001_12^19 - 1709064232957337910561564346286439556914443/50467459217128719308906\ 8752617140908871*c_1001_12^18 + 20598912880123444414440048029682092\ 46022869/504674592171287193089068752617140908871*c_1001_12^17 - 1612739683488426113184822418666192508652328/50467459217128719308906\ 8752617140908871*c_1001_12^16 + 55218894465191371437404574276317023\ 6645526/504674592171287193089068752617140908871*c_1001_12^15 + 392973533646539202019699875650692473808098/504674592171287193089068\ 752617140908871*c_1001_12^14 - 305012843686892686634897914993650469\ 294296/504674592171287193089068752617140908871*c_1001_12^13 - 1375168979131205658130467475007296098503490/50467459217128719308906\ 8752617140908871*c_1001_12^12 + 45157233658913856166888913425713159\ 05208914/504674592171287193089068752617140908871*c_1001_12^11 - 8281894508369362878867424955839578771352920/50467459217128719308906\ 8752617140908871*c_1001_12^10 + 11259170974004096015313008813766861\ 445038439/504674592171287193089068752617140908871*c_1001_12^9 - 12583251984329010676084573810942875073812868/5046745921712871930890\ 68752617140908871*c_1001_12^8 + 11911092752372273327928158315293059\ 329257852/504674592171287193089068752617140908871*c_1001_12^7 - 9628904744945593810576223683944650831569433/50467459217128719308906\ 8752617140908871*c_1001_12^6 + 664119328212631513743884896867171797\ 7015003/504674592171287193089068752617140908871*c_1001_12^5 - 3877663155179849188952173610281995061036837/50467459217128719308906\ 8752617140908871*c_1001_12^4 + 184414887937389998727394208735618780\ 3320747/504674592171287193089068752617140908871*c_1001_12^3 - 665865057860070809749361627174179512264725/504674592171287193089068\ 752617140908871*c_1001_12^2 + 1588010206829524589891981039482386830\ 89563/504674592171287193089068752617140908871*c_1001_12 - 20037824742749993652902564445280345396797/5046745921712871930890687\ 52617140908871, c_0011_14 - 361298347061522739646570885950916899735/5046745921712871930\ 89068752617140908871*c_1001_12^29 + 4955635420863253094432956970529397646577/50467459217128719308906875\ 2617140908871*c_1001_12^28 - 33822979578403327024226485428835771334\ 919/504674592171287193089068752617140908871*c_1001_12^27 + 152856887815965528413350996008722404239334/504674592171287193089068\ 752617140908871*c_1001_12^26 - 512653108446312318492090282745743887\ 321261/504674592171287193089068752617140908871*c_1001_12^25 + 1354695758895692113618563780545166568407202/50467459217128719308906\ 8752617140908871*c_1001_12^24 - 29253371812542234359794422804052721\ 40262439/504674592171287193089068752617140908871*c_1001_12^23 + 5290486945961749541191276974858630458366298/50467459217128719308906\ 8752617140908871*c_1001_12^22 - 81585598956524122109653793376861812\ 47868429/504674592171287193089068752617140908871*c_1001_12^21 + 10889358116080916347158203577906514154132465/5046745921712871930890\ 68752617140908871*c_1001_12^20 - 1279719596896620721070071589668492\ 9483123222/504674592171287193089068752617140908871*c_1001_12^19 + 13655272712445856583313557531434594150620296/5046745921712871930890\ 68752617140908871*c_1001_12^18 - 1409623974229181223795476742256752\ 3088979955/504674592171287193089068752617140908871*c_1001_12^17 + 15552370648116402637103287243680277732393579/5046745921712871930890\ 68752617140908871*c_1001_12^16 - 1956966027456388822642911385588369\ 2919001813/504674592171287193089068752617140908871*c_1001_12^15 + 26773435583548575185993716482843443854280757/5046745921712871930890\ 68752617140908871*c_1001_12^14 - 3618885436218930197044290666009772\ 6273542911/504674592171287193089068752617140908871*c_1001_12^13 + 45412874274874062518730107174997971730958691/5046745921712871930890\ 68752617140908871*c_1001_12^12 - 5149984669875431196909961340584292\ 9540820503/504674592171287193089068752617140908871*c_1001_12^11 + 52168259773063989373538129654070349365426395/5046745921712871930890\ 68752617140908871*c_1001_12^10 - 4716564344510091993041983754246387\ 8817854302/504674592171287193089068752617140908871*c_1001_12^9 + 37860850301837646303246456603384900937752182/5046745921712871930890\ 68752617140908871*c_1001_12^8 - 26767738045729440706268859316180934\ 658299764/504674592171287193089068752617140908871*c_1001_12^7 + 16481289706781670464093512078912560423415997/5046745921712871930890\ 68752617140908871*c_1001_12^6 - 86752609493175066178594406126382042\ 46464931/504674592171287193089068752617140908871*c_1001_12^5 + 3759066395292654898602697435872668193027218/50467459217128719308906\ 8752617140908871*c_1001_12^4 - 125893365863279106850895786604596131\ 8519856/504674592171287193089068752617140908871*c_1001_12^3 + 293965832125660469799884408513640913700834/504674592171287193089068\ 752617140908871*c_1001_12^2 - 4221577559647140635112042262155163690\ 8107/504674592171287193089068752617140908871*c_1001_12 + 2244132719393312623000211135912736503030/50467459217128719308906875\ 2617140908871, c_0011_3 + 229288420709467865682715259494284473885/50467459217128719308\ 9068752617140908871*c_1001_12^29 - 3338841646877793920165440611729236823286/50467459217128719308906875\ 2617140908871*c_1001_12^28 + 24154780441114881261782777433028335844\ 206/504674592171287193089068752617140908871*c_1001_12^27 - 115571426952677218661027996590868958837911/504674592171287193089068\ 752617140908871*c_1001_12^26 + 410151944965483570217628225843603958\ 604197/504674592171287193089068752617140908871*c_1001_12^25 - 1147151350137300982254895576048689205546450/50467459217128719308906\ 8752617140908871*c_1001_12^24 + 26238076075312626484633861857929172\ 20417581/504674592171287193089068752617140908871*c_1001_12^23 - 5030915898504091524854863587608461313306221/50467459217128719308906\ 8752617140908871*c_1001_12^22 + 82330111989750787798729975849140318\ 83489120/504674592171287193089068752617140908871*c_1001_12^21 - 11664888927221583701247376701065887029303542/5046745921712871930890\ 68752617140908871*c_1001_12^20 + 1451876719615193726457942153882421\ 5679462257/504674592171287193089068752617140908871*c_1001_12^19 - 16234104889590365378019079564012577934845512/5046745921712871930890\ 68752617140908871*c_1001_12^18 + 1705030280774300325735214602492601\ 6643928110/504674592171287193089068752617140908871*c_1001_12^17 - 18219576304953610323799500224841980572523181/5046745921712871930890\ 68752617140908871*c_1001_12^16 + 2155837443240022130788813305855128\ 4242805948/504674592171287193089068752617140908871*c_1001_12^15 - 28402576749519627638457255334046008178171172/5046745921712871930890\ 68752617140908871*c_1001_12^14 + 3855982356455187236423800013755551\ 8839849383/504674592171287193089068752617140908871*c_1001_12^13 - 49983049585620699878579712881892139898693096/5046745921712871930890\ 68752617140908871*c_1001_12^12 + 5939954676697713547190887184766776\ 2417615259/504674592171287193089068752617140908871*c_1001_12^11 - 63594725676195218566145075934824225145323403/5046745921712871930890\ 68752617140908871*c_1001_12^10 + 6100271712423587175986273416700889\ 6367949948/504674592171287193089068752617140908871*c_1001_12^9 - 52256329420739265569594949641089627835669053/5046745921712871930890\ 68752617140908871*c_1001_12^8 + 39743521873999974399141656953111950\ 434453500/504674592171287193089068752617140908871*c_1001_12^7 - 26601860368563976460129183527006262591206368/5046745921712871930890\ 68752617140908871*c_1001_12^6 + 15457576243885155947805214903001470\ 165198521/504674592171287193089068752617140908871*c_1001_12^5 - 7614822352936659429821988604251645906272701/50467459217128719308906\ 8752617140908871*c_1001_12^4 + 304952916409123577137762416736901465\ 3861568/504674592171287193089068752617140908871*c_1001_12^3 - 922762114995846667189879313837838649833435/504674592171287193089068\ 752617140908871*c_1001_12^2 + 1858200666266167288598921892111763225\ 08220/504674592171287193089068752617140908871*c_1001_12 - 18350283564043972115067579781807591913690/5046745921712871930890687\ 52617140908871, c_0101_1 - 283240208318145417210882046711479329975/50467459217128719308\ 9068752617140908871*c_1001_12^29 + 3925755084664067981113791384401723232158/50467459217128719308906875\ 2617140908871*c_1001_12^28 - 27028978109293231604716369481730280517\ 180/504674592171287193089068752617140908871*c_1001_12^27 + 122997014730050665275366010157275168373337/504674592171287193089068\ 752617140908871*c_1001_12^26 - 414559751531570533692918311678275080\ 630683/504674592171287193089068752617140908871*c_1001_12^25 + 1098639733624504593071881929386994716828108/50467459217128719308906\ 8752617140908871*c_1001_12^24 - 23735546743882828814057517779518217\ 44590271/504674592171287193089068752617140908871*c_1001_12^23 + 4282349412208006549497985232480598914784705/50467459217128719308906\ 8752617140908871*c_1001_12^22 - 65651922118165887532820406511909700\ 17357234/504674592171287193089068752617140908871*c_1001_12^21 + 8674497587667715554640942606780155404602082/50467459217128719308906\ 8752617140908871*c_1001_12^20 - 10042184358468226498277721047271636\ 578306405/504674592171287193089068752617140908871*c_1001_12^19 + 10510535648941653993901195143293628573045630/5046745921712871930890\ 68752617140908871*c_1001_12^18 - 1065866951976029207200219047240676\ 4522042262/504674592171287193089068752617140908871*c_1001_12^17 + 11722740917956340978603003200789662292149892/5046745921712871930890\ 68752617140908871*c_1001_12^16 - 1498588506050653094956221121377688\ 4159270290/504674592171287193089068752617140908871*c_1001_12^15 + 20893723462432587035894256411183949501334074/5046745921712871930890\ 68752617140908871*c_1001_12^14 - 2850703905512512425660253590294608\ 8310224445/504674592171287193089068752617140908871*c_1001_12^13 + 35722369495114132205039691501370642995321212/5046745921712871930890\ 68752617140908871*c_1001_12^12 - 4009968268079739318133985215272643\ 7299030591/504674592171287193089068752617140908871*c_1001_12^11 + 39886464863243773580072800883150212193914387/5046745921712871930890\ 68752617140908871*c_1001_12^10 - 3508622849034777490189585295686943\ 2991684610/504674592171287193089068752617140908871*c_1001_12^9 + 27105959423587279037930812182197110150430331/5046745921712871930890\ 68752617140908871*c_1001_12^8 - 18128232210033928114362077335293232\ 485715756/504674592171287193089068752617140908871*c_1001_12^7 + 10239047509752690786728635852816828748460972/5046745921712871930890\ 68752617140908871*c_1001_12^6 - 46707120290937868136035042729342486\ 98840863/504674592171287193089068752617140908871*c_1001_12^5 + 1511823741801254284164745767834131829940379/50467459217128719308906\ 8752617140908871*c_1001_12^4 - 178804782214746443081937228033094076\ 927656/504674592171287193089068752617140908871*c_1001_12^3 - 132333970286105389769901510760994818268203/504674592171287193089068\ 752617140908871*c_1001_12^2 + 8181089310224912341924918895364495290\ 6890/504674592171287193089068752617140908871*c_1001_12 - 17491050829197253527134851570143853152586/5046745921712871930890687\ 52617140908871, c_0101_10 + 1, c_0101_11 + 170285814082953650124952140479393787328/5046745921712871930\ 89068752617140908871*c_1001_12^29 - 2350995202765061328501228828658203565500/50467459217128719308906875\ 2617140908871*c_1001_12^28 + 16121737265202707418331255940410309994\ 572/504674592171287193089068752617140908871*c_1001_12^27 - 73057240152113544045815663579305511986749/5046745921712871930890687\ 52617140908871*c_1001_12^26 + 2451535681838629043123119194128963767\ 82448/504674592171287193089068752617140908871*c_1001_12^25 - 646595950929267673907699944011779284023146/504674592171287193089068\ 752617140908871*c_1001_12^24 + 138959659896319604204047992351867266\ 0414491/504674592171287193089068752617140908871*c_1001_12^23 - 2492312460805338882026978419559433616939740/50467459217128719308906\ 8752617140908871*c_1001_12^22 + 37952792655393391028015367406269201\ 81334779/504674592171287193089068752617140908871*c_1001_12^21 - 4976170883282145731489610637520156424603795/50467459217128719308906\ 8752617140908871*c_1001_12^20 + 57115510115331474632461583798029696\ 73715124/504674592171287193089068752617140908871*c_1001_12^19 - 5928357910904233252810027924896973044574588/50467459217128719308906\ 8752617140908871*c_1001_12^18 + 59853196284499506985637984058137967\ 24016165/504674592171287193089068752617140908871*c_1001_12^17 - 6611143456425930743598758235501275267374425/50467459217128719308906\ 8752617140908871*c_1001_12^16 + 85364071570021411159279601802307011\ 28964610/504674592171287193089068752617140908871*c_1001_12^15 - 11979788034395471512808604321463698864843173/5046745921712871930890\ 68752617140908871*c_1001_12^14 + 1635016874452225548959800105223995\ 8655501337/504674592171287193089068752617140908871*c_1001_12^13 - 20403602602533772915082467303368920900182074/5046745921712871930890\ 68752617140908871*c_1001_12^12 + 2274141142491281449041138742142066\ 8788636453/504674592171287193089068752617140908871*c_1001_12^11 - 22402340915350127089424662533533369924541955/5046745921712871930890\ 68752617140908871*c_1001_12^10 + 1946677063776147859762432253201722\ 0164362831/504674592171287193089068752617140908871*c_1001_12^9 - 14800103169209135860953322123904903413325716/5046745921712871930890\ 68752617140908871*c_1001_12^8 + 96781581310844925799813530755217141\ 37559324/504674592171287193089068752617140908871*c_1001_12^7 - 5280769684830233675522472693853778997167826/50467459217128719308906\ 8752617140908871*c_1001_12^6 + 226264276135365652410953831771720540\ 5271328/504674592171287193089068752617140908871*c_1001_12^5 - 619448062190796478556264643652417920752174/504674592171287193089068\ 752617140908871*c_1001_12^4 - 1827266667584068986441329434831800372\ 2492/504674592171287193089068752617140908871*c_1001_12^3 + 120639409570200216769195178989777687001083/504674592171287193089068\ 752617140908871*c_1001_12^2 - 5808346117606598644156625571048711737\ 5523/504674592171287193089068752617140908871*c_1001_12 + 11702552087621431217648821512203467499701/5046745921712871930890687\ 52617140908871, c_0101_13 - 472750550930046349567518515869762453189/5046745921712871930\ 89068752617140908871*c_1001_12^29 + 6630475303099832384062066240376844045978/50467459217128719308906875\ 2617140908871*c_1001_12^28 - 46300242192886473462288289438035565300\ 548/504674592171287193089068752617140908871*c_1001_12^27 + 214251638953788439553520071588992482927495/504674592171287193089068\ 752617140908871*c_1001_12^26 - 736599894400924153208746864455695787\ 267145/504674592171287193089068752617140908871*c_1001_12^25 + 1998518436809162377235250840339337392994016/50467459217128719308906\ 8752617140908871*c_1001_12^24 - 44397398928172263115797181293879568\ 32789467/504674592171287193089068752617140908871*c_1001_12^23 + 8279037806283128370075475503977542203845376/50467459217128719308906\ 8752617140908871*c_1001_12^22 - 13196693252533055552068166840098457\ 426909441/504674592171287193089068752617140908871*c_1001_12^21 + 18248380008449122690452895793857035630416667/5046745921712871930890\ 68752617140908871*c_1001_12^20 - 2223845467035570084672974865175899\ 5933483918/504674592171287193089068752617140908871*c_1001_12^19 + 24501650922102635380235601147232671649189782/5046745921712871930890\ 68752617140908871*c_1001_12^18 - 2567403396357530476745479210814887\ 7341459934/504674592171287193089068752617140908871*c_1001_12^17 + 27850352081593936273822947588639886607438520/5046745921712871930890\ 68752617140908871*c_1001_12^16 - 3372174699424731084278757192287438\ 2373941417/504674592171287193089068752617140908871*c_1001_12^15 + 44937226511243260406019930645800632217520640/5046745921712871930890\ 68752617140908871*c_1001_12^14 - 6069784406604753772789078765792321\ 4627804261/504674592171287193089068752617140908871*c_1001_12^13 + 77556270794748295496625777264985230044396298/5046745921712871930890\ 68752617140908871*c_1001_12^12 - 9054321860012622043263523639924554\ 7803270156/504674592171287193089068752617140908871*c_1001_12^11 + 95133902200256297660561236051750100719537479/5046745921712871930890\ 68752617140908871*c_1001_12^10 - 8966133292995197261590378198910017\ 3478409243/504674592171287193089068752617140908871*c_1001_12^9 + 75506074580452606261315666388580940961231039/5046745921712871930890\ 68752617140908871*c_1001_12^8 - 56480836348257330282215417152952386\ 965236440/504674592171287193089068752617140908871*c_1001_12^7 + 37228852076790632051562993776649034431853879/5046745921712871930890\ 68752617140908871*c_1001_12^6 - 21343471883988412755568077634250393\ 992450718/504674592171287193089068752617140908871*c_1001_12^5 + 10390023089147058746487554988919422337088152/5046745921712871930890\ 68752617140908871*c_1001_12^4 - 41373722100722573991767246706090290\ 75211306/504674592171287193089068752617140908871*c_1001_12^3 + 1272868676946926336102904605305669577217370/50467459217128719308906\ 8752617140908871*c_1001_12^2 - 276074639573175571677659013909074309\ 336859/504674592171287193089068752617140908871*c_1001_12 + 33077195668455702650667924070805870313633/5046745921712871930890687\ 52617140908871, c_0101_14 + 184019100968078047305563159059343104497/5046745921712871930\ 89068752617140908871*c_1001_12^29 - 2609392904409166587400044568582375393363/50467459217128719308906875\ 2617140908871*c_1001_12^28 + 18418747657889672430746208917767954832\ 365/504674592171287193089068752617140908871*c_1001_12^27 - 86127797279934698496195177941942164216847/5046745921712871930890687\ 52617140908871*c_1001_12^26 + 2991158326357279606063753595915444022\ 14498/504674592171287193089068752617140908871*c_1001_12^25 - 819504674411000629020650629474338396689331/504674592171287193089068\ 752617140908871*c_1001_12^24 + 183767260097193878933166642549028444\ 6015953/504674592171287193089068752617140908871*c_1001_12^23 - 3457429583290078979483924404323282775454584/50467459217128719308906\ 8752617140908871*c_1001_12^22 + 55570584468700993989329445946115475\ 86095240/504674592171287193089068752617140908871*c_1001_12^21 - 7742420155766207098574857026552747415197164/50467459217128719308906\ 8752617140908871*c_1001_12^20 + 94954727124129654458570103557895335\ 77059748/504674592171287193089068752617140908871*c_1001_12^19 - 10505344892244224310192652107170794849667195/5046745921712871930890\ 68752617140908871*c_1001_12^18 + 1100885015598824757575212466540016\ 3404288368/504674592171287193089068752617140908871*c_1001_12^17 - 11880159649526290404360555347807815365606047/5046745921712871930890\ 68752617140908871*c_1001_12^16 + 1428441195449681409749927058524643\ 4397083452/504674592171287193089068752617140908871*c_1001_12^15 - 18980451502199063942585537367191219160076976/5046745921712871930890\ 68752617140908871*c_1001_12^14 + 2569132112889662949084754011205829\ 9498732499/504674592171287193089068752617140908871*c_1001_12^13 - 32979901095743274362149101054499498698091171/5046745921712871930890\ 68752617140908871*c_1001_12^12 + 3871401912212629490490604399702240\ 9184551481/504674592171287193089068752617140908871*c_1001_12^11 - 40908447712615321917251592827179344916420369/5046745921712871930890\ 68752617140908871*c_1001_12^10 + 3875462662620710731399325702772116\ 1230700198/504674592171287193089068752617140908871*c_1001_12^9 - 32795164987481302801304694523070769350620786/5046745921712871930890\ 68752617140908871*c_1001_12^8 + 24648701212132567069498529423361119\ 657272556/504674592171287193089068752617140908871*c_1001_12^7 - 16312402736449226410999280185935661401363713/5046745921712871930890\ 68752617140908871*c_1001_12^6 + 93821156347274127034529616115450021\ 72575532/504674592171287193089068752617140908871*c_1001_12^5 - 4579475547742441028761810294043503306894533/50467459217128719308906\ 8752617140908871*c_1001_12^4 + 182388096594323720456929956623469701\ 5500625/504674592171287193089068752617140908871*c_1001_12^3 - 555593209985449195411895251064445032594955/504674592171287193089068\ 752617140908871*c_1001_12^2 + 1176453173512352615712159166207231872\ 87596/504674592171287193089068752617140908871*c_1001_12 - 13041900668631198917679104378828829614975/5046745921712871930890687\ 52617140908871, c_0101_3 + 100425736448645548228105469053544887394/50467459217128719308\ 9068752617140908871*c_1001_12^29 - 1510535687597649211649204522756849216937/50467459217128719308906875\ 2617140908871*c_1001_12^28 + 11219284541504563867140236967470813023\ 339/504674592171287193089068752617140908871*c_1001_12^27 - 54842162572996630341265531104589625525449/5046745921712871930890687\ 52617140908871*c_1001_12^26 + 1980699570644132779324644530971978945\ 06283/504674592171287193089068752617140908871*c_1001_12^25 - 561974138456818066970321354712185524046895/504674592171287193089068\ 752617140908871*c_1001_12^24 + 130027130275765715149351598344486016\ 1160212/504674592171287193089068752617140908871*c_1001_12^23 - 2515537490552723354621405223471419047656649/50467459217128719308906\ 8752617140908871*c_1001_12^22 + 41433187454997679032983772062021327\ 85925955/504674592171287193089068752617140908871*c_1001_12^21 - 5894060796782626035444255932460047687156312/50467459217128719308906\ 8752617140908871*c_1001_12^20 + 73464678600096487118637513400936361\ 35976782/504674592171287193089068752617140908871*c_1001_12^19 - 8201445234567287127776879837695227906571637/50467459217128719308906\ 8752617140908871*c_1001_12^18 + 85729880811358905162519855394819506\ 96907227/504674592171287193089068752617140908871*c_1001_12^17 - 9105014437067049560826933070761344216565919/50467459217128719308906\ 8752617140908871*c_1001_12^16 + 10744295713716433570766848698912438\ 069091321/504674592171287193089068752617140908871*c_1001_12^15 - 14196875906995439311211360444245471360679576/5046745921712871930890\ 68752617140908871*c_1001_12^14 + 1937334610848700384794225960316997\ 7417743067/504674592171287193089068752617140908871*c_1001_12^13 - 25215898796135540803277515527419981908957553/5046745921712871930890\ 68752617140908871*c_1001_12^12 + 3003419643076583379275214888021039\ 6860181061/504674592171287193089068752617140908871*c_1001_12^11 - 32171515348167308400943926875681815302986648/5046745921712871930890\ 68752617140908871*c_1001_12^10 + 3080674078000338523700602142170168\ 6315789432/504674592171287193089068752617140908871*c_1001_12^9 - 26306614163620202490936927959641496226685256/5046745921712871930890\ 68752617140908871*c_1001_12^8 + 19901875398629743419186358414102984\ 264314606/504674592171287193089068752617140908871*c_1001_12^7 - 13212655785509826685606833795158275631861326/5046745921712871930890\ 68752617140908871*c_1001_12^6 + 75856189728079959332046562657173176\ 19141798/504674592171287193089068752617140908871*c_1001_12^5 - 3672767124149400268574964228086052992308886/50467459217128719308906\ 8752617140908871*c_1001_12^4 + 142748525521045276275330984388610619\ 2180819/504674592171287193089068752617140908871*c_1001_12^3 - 409399224346734489258347289764270994242237/504674592171287193089068\ 752617140908871*c_1001_12^2 + 7450646620649531868995066410058764076\ 1875/504674592171287193089068752617140908871*c_1001_12 - 6316765240553457348742892773930767565549/50467459217128719308906875\ 2617140908871, c_0101_5 + 333589168570834270872651904035371212205/50467459217128719308\ 9068752617140908871*c_1001_12^29 - 4916738305135835800668177479317299699550/50467459217128719308906875\ 2617140908871*c_1001_12^28 + 35932990420409766114939826978864895472\ 404/504674592171287193089068752617140908871*c_1001_12^27 - 173408293240910765654988204564107136981212/504674592171287193089068\ 752617140908871*c_1001_12^26 + 619963559769199678848501283361727989\ 262712/504674592171287193089068752617140908871*c_1001_12^25 - 1745167962018327661500698725679062545215607/50467459217128719308906\ 8752617140908871*c_1001_12^24 + 40143735264968233982900934339692858\ 53004239/504674592171287193089068752617140908871*c_1001_12^23 - 7736307616266377920720944019462358949367367/50467459217128719308906\ 8752617140908871*c_1001_12^22 + 12718139898197787396957497139670669\ 963145204/504674592171287193089068752617140908871*c_1001_12^21 - 18093851405736977304729908057433251485641782/5046745921712871930890\ 68752617140908871*c_1001_12^20 + 2260196381728534078512285860911779\ 9598275545/504674592171287193089068752617140908871*c_1001_12^19 - 25341233280338313945073352795293468981742337/5046745921712871930890\ 68752617140908871*c_1001_12^18 + 2664043631804487478574489781915493\ 6913981949/504674592171287193089068752617140908871*c_1001_12^17 - 28415545949753946966161203812593615364308672/5046745921712871930890\ 68752617140908871*c_1001_12^16 + 3350167491517064796041342369722421\ 0638388432/504674592171287193089068752617140908871*c_1001_12^15 - 44036889389692321775678866185338993970193287/5046745921712871930890\ 68752617140908871*c_1001_12^14 + 5980406650981574231428849039269559\ 0880206565/504674592171287193089068752617140908871*c_1001_12^13 - 77679403184283726774019485730399855712330416/5046745921712871930890\ 68752617140908871*c_1001_12^12 + 9258000664563432084676784332700446\ 3462860008/504674592171287193089068752617140908871*c_1001_12^11 - 99445460107299765523208334664897625791650022/5046745921712871930890\ 68752617140908871*c_1001_12^10 + 9570923601767226541116408586535177\ 0486133954/504674592171287193089068752617140908871*c_1001_12^9 - 82288371036252922141460354812899297336251194/5046745921712871930890\ 68752617140908871*c_1001_12^8 + 62832726442148158447945445463315091\ 444491730/504674592171287193089068752617140908871*c_1001_12^7 - 42241044513761204541341856231670817927088659/5046745921712871930890\ 68752617140908871*c_1001_12^6 + 24674788419904311659805002217405177\ 657999258/504674592171287193089068752617140908871*c_1001_12^5 - 12239610443366901962869244748984153017190003/5046745921712871930890\ 68752617140908871*c_1001_12^4 + 49460738857502240388779487591874550\ 78693508/504674592171287193089068752617140908871*c_1001_12^3 - 1519122194794880560093920966501541294436056/50467459217128719308906\ 8752617140908871*c_1001_12^2 + 314673535267552229106311395063150521\ 321204/504674592171287193089068752617140908871*c_1001_12 - 33917843042127278379421076971089527232111/5046745921712871930890687\ 52617140908871, c_1001_0 - 509952517174088880928295121336316095591/50467459217128719308\ 9068752617140908871*c_1001_12^29 + 7497750757087543286693845304613935650754/50467459217128719308906875\ 2617140908871*c_1001_12^28 - 54783270270291974172777402963597740567\ 818/504674592171287193089068752617140908871*c_1001_12^27 + 264753796768546700205352160923926646613994/504674592171287193089068\ 752617140908871*c_1001_12^26 - 949060904588052510040112513608901227\ 212997/504674592171287193089068752617140908871*c_1001_12^25 + 2681295020750236853693912776021346082936082/50467459217128719308906\ 8752617140908871*c_1001_12^24 - 61952095316271131504843945570032672\ 09337760/504674592171287193089068752617140908871*c_1001_12^23 + 12000384036774332482965351542229767728413997/5046745921712871930890\ 68752617140908871*c_1001_12^22 - 1983997128682654440631988243556832\ 7972266376/504674592171287193089068752617140908871*c_1001_12^21 + 28396605299672752076269280578896564810418382/5046745921712871930890\ 68752617140908871*c_1001_12^20 - 3568934196493097378835838821312846\ 7677017347/504674592171287193089068752617140908871*c_1001_12^19 + 40235126625184834863157981758137596614308034/5046745921712871930890\ 68752617140908871*c_1001_12^18 - 4243259020114706247591984461181235\ 6716611317/504674592171287193089068752617140908871*c_1001_12^17 + 45189560719204484956057333538432319427772365/5046745921712871930890\ 68752617140908871*c_1001_12^16 - 5295819372639287983368646418544569\ 1733496351/504674592171287193089068752617140908871*c_1001_12^15 + 69242027129605891175329499223384251850628593/5046745921712871930890\ 68752617140908871*c_1001_12^14 - 9393890837014645259337543429383641\ 0359505868/504674592171287193089068752617140908871*c_1001_12^13 + 122331266425629603283250245007886046071663674/504674592171287193089\ 068752617140908871*c_1001_12^12 - 146454884362687553416265802811030\ 400216824440/504674592171287193089068752617140908871*c_1001_12^11 + 158192898168433648258522267770066046288887693/504674592171287193089\ 068752617140908871*c_1001_12^10 - 153198480556177016604677604004410\ 462542684882/504674592171287193089068752617140908871*c_1001_12^9 + 132566673378670433774673241035057726845247601/504674592171287193089\ 068752617140908871*c_1001_12^8 - 1019611834580193180905485635122780\ 83561112028/504674592171287193089068752617140908871*c_1001_12^7 + 69092863608790969848662750282941027345604463/5046745921712871930890\ 68752617140908871*c_1001_12^6 - 40717744656108676588014389988900328\ 153197641/504674592171287193089068752617140908871*c_1001_12^5 + 20406755890433960527905871443119894529322401/5046745921712871930890\ 68752617140908871*c_1001_12^4 - 83545831689014480961645299036986294\ 71026485/504674592171287193089068752617140908871*c_1001_12^3 + 2604072853494248293578036414019435895524119/50467459217128719308906\ 8752617140908871*c_1001_12^2 - 544199799127755055505464220390678229\ 798508/504674592171287193089068752617140908871*c_1001_12 + 56158374407779137030981734786580600152919/5046745921712871930890687\ 52617140908871, c_1001_1 + 270574453812081333147343227697269786716/50467459217128719308\ 9068752617140908871*c_1001_12^29 - 3702134594191723542949373562330540787203/50467459217128719308906875\ 2617140908871*c_1001_12^28 + 25234415973932433503731394030304449531\ 836/504674592171287193089068752617140908871*c_1001_12^27 - 114024291129730705309900011487268105329651/504674592171287193089068\ 752617140908871*c_1001_12^26 + 382806226956980926771230185709738896\ 471418/504674592171287193089068752617140908871*c_1001_12^25 - 1013873669839941168855728295334374750130047/50467459217128719308906\ 8752617140908871*c_1001_12^24 + 21973845162879624751384786554829807\ 01179447/504674592171287193089068752617140908871*c_1001_12^23 - 3994722855244529074004282588440214181201397/50467459217128719308906\ 8752617140908871*c_1001_12^22 + 62030910632552062152091781724533643\ 74261358/504674592171287193089068752617140908871*c_1001_12^21 - 8351914215282507829504646399751580373182369/50467459217128719308906\ 8752617140908871*c_1001_12^20 + 99172015499567828973723834324330455\ 15783192/504674592171287193089068752617140908871*c_1001_12^19 - 10695443684371084537983079942378647061637833/5046745921712871930890\ 68752617140908871*c_1001_12^18 + 1111746106715103798760964873528036\ 4241024474/504674592171287193089068752617140908871*c_1001_12^17 - 12232563274936575659898983927657903743639300/5046745921712871930890\ 68752617140908871*c_1001_12^16 + 1522245882290063677460095650972778\ 8027881072/504674592171287193089068752617140908871*c_1001_12^15 - 20630959309053913509457052641010140992493643/5046745921712871930890\ 68752617140908871*c_1001_12^14 + 2782161961154146989522269951453196\ 5040961810/504674592171287193089068752617140908871*c_1001_12^13 - 35045090218250369378639671096082429683158822/5046745921712871930890\ 68752617140908871*c_1001_12^12 + 4005726673888370361832754461029765\ 9521132484/504674592171287193089068752617140908871*c_1001_12^11 - 41030088726757154286436451420105577824392776/5046745921712871930890\ 68752617140908871*c_1001_12^10 + 3762005266096358798462423769194583\ 7228928572/504674592171287193089068752617140908871*c_1001_12^9 - 30716749911008037491187674602211526129564972/5046745921712871930890\ 68752617140908871*c_1001_12^8 + 22189743961301945019936373691530824\ 656767739/504674592171287193089068752617140908871*c_1001_12^7 - 14050056819492522092609667588577228719546059/5046745921712871930890\ 68752617140908871*c_1001_12^6 + 76772307519366117066763423183121373\ 23071659/504674592171287193089068752617140908871*c_1001_12^5 - 3511389645313665606227927086046471173973940/50467459217128719308906\ 8752617140908871*c_1001_12^4 + 128629475737150752005515918458727485\ 7956487/504674592171287193089068752617140908871*c_1001_12^3 - 351482956975718204738826030575907216748636/504674592171287193089068\ 752617140908871*c_1001_12^2 + 6514556358017515401594074090001373671\ 2791/504674592171287193089068752617140908871*c_1001_12 - 5648541237204245204291632165443237942988/50467459217128719308906875\ 2617140908871, c_1001_12^30 - 15*c_1001_12^29 + 112*c_1001_12^28 - 554*c_1001_12^27 + 2036*c_1001_12^26 - 5908*c_1001_12^25 + 14049*c_1001_12^24 - 28069*c_1001_12^23 + 47973*c_1001_12^22 - 71134*c_1001_12^21 + 92742*c_1001_12^20 - 108269*c_1001_12^19 + 117045*c_1001_12^18 - 124683*c_1001_12^17 + 141932*c_1001_12^16 - 179297*c_1001_12^15 + 239942*c_1001_12^14 - 315346*c_1001_12^13 + 386704*c_1001_12^12 - 431724*c_1001_12^11 + 434730*c_1001_12^10 - 393201*c_1001_12^9 + 318154*c_1001_12^8 - 228850*c_1001_12^7 + 144950*c_1001_12^6 - 79613*c_1001_12^5 + 36977*c_1001_12^4 - 13938*c_1001_12^3 + 3993*c_1001_12^2 - 773*c_1001_12 + 77 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 253.960 Total time: 254.169 seconds, Total memory usage: 749.97MB