Magma V2.19-8 Tue Aug 20 2013 18:22:37 on localhost [Seed = 1309667383] Type ? for help. Type -D to quit. Loading file "11_436__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_436 geometric_solution 13.07449710 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 4 0132 0132 0132 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 1 0 -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.645229114954 0.549043807615 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 -1 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.810042164232 1.080283014232 8 0 9 6 0132 0132 0132 2031 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 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.565610966674 0.716008822115 10 11 4 0 0132 0132 0213 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.628794270431 1.065127750067 10 3 0 12 3120 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480030494988 0.420347205099 13 1 8 9 0132 0132 1023 1302 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 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.555698121901 0.592526899580 13 2 1 8 1230 1302 0132 0321 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 1 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.384903086624 0.769709207553 10 8 13 1 2103 0321 1230 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 1 -1 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384903086624 0.769709207553 2 6 5 7 0132 0321 1023 0321 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 1 -1 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.633600273513 0.792863618441 12 11 5 2 1230 0321 2031 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.645229114954 0.549043807615 3 12 7 4 0132 3012 2103 3120 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 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.048509513022 0.828779740194 12 3 13 9 3012 0132 3120 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 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.835679026577 0.918331541388 10 9 4 11 1230 3012 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 1 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.659475875748 0.627584419044 5 6 11 7 0132 3012 3120 3012 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 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.633600273513 0.792863618441 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_0']), 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_13' : negation(d['c_0011_6']), 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_13']), 'c_1001_8' : d['c_0101_5'], 'c_1010_13' : negation(d['c_0101_0']), 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0011_4']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_3_13' : d['1'], 's_0_13' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : 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_1001_1']), 'c_1100_8' : d['c_0101_11'], 'c_0011_13' : negation(d['c_0011_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0011_9']), 'c_1100_7' : d['c_0101_5'], 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0011_9']), 'c_1100_3' : negation(d['c_0011_9']), 'c_1100_2' : negation(d['c_1001_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_13']), 'c_1100_10' : negation(d['c_0101_1']), 'c_1100_13' : negation(d['c_0101_11']), 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_9']), 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_1'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['c_0011_9']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_9']), 'c_0110_10' : d['c_0011_4'], 'c_0110_13' : d['c_0101_5'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 's_3_12' : d['1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : d['c_0101_8'], '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_0011_12'], 'c_0110_8' : d['c_0011_12'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_13'], 'c_0110_4' : d['c_0011_4'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10'], 'c_0101_13' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_4, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_13, c_0101_5, c_0101_8, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 234039223299589947013298651383549420269487586843168/180067222129360\ 597956886761699644224384726268187*c_1001_2^17 - 11879947143357277871900497584346819685046500432232895/1140425740152\ 617120393616157431080087769933031851*c_1001_2^16 + 1089959191391084806613173380721250869235097855578966/11404257401526\ 17120393616157431080087769933031851*c_1001_2^15 + 327017086809778830805929342709637548239322210353667955/342127722045\ 7851361180848472293240263309799095553*c_1001_2^14 - 694526901281035199904127055261482669290720497524848889/342127722045\ 7851361180848472293240263309799095553*c_1001_2^13 + 330219314137416262336211687412913284716492020324772548/342127722045\ 7851361180848472293240263309799095553*c_1001_2^12 - 1621134268331979591893433584916922456680939862897932133/34212772204\ 57851361180848472293240263309799095553*c_1001_2^11 + 1344241841375050494626598146876882584043808604679517235/34212772204\ 57851361180848472293240263309799095553*c_1001_2^10 - 296303476929912589512209410098519100416897884989046366/114042574015\ 2617120393616157431080087769933031851*c_1001_2^9 + 649085216162520213504182477182217924289237545075557327/342127722045\ 7851361180848472293240263309799095553*c_1001_2^8 - 115020888340341116690404000956894307399192405903510841/114042574015\ 2617120393616157431080087769933031851*c_1001_2^7 - 11847488651654099115265383815386729639240351504528625/2631751708044\ 50104706219113253326174100753776581*c_1001_2^6 - 551833392183505039341425042874705964753184386905400906/342127722045\ 7851361180848472293240263309799095553*c_1001_2^5 - 188161808216262718800202322238137362950482073045390071/342127722045\ 7851361180848472293240263309799095553*c_1001_2^4 + 139827312927257809819206036191597925202055216744305367/342127722045\ 7851361180848472293240263309799095553*c_1001_2^3 + 86578520998041181052206626385509622466794684385350556/3421277220457\ 851361180848472293240263309799095553*c_1001_2^2 + 23505475667904574324897214879361609377953172512861621/3421277220457\ 851361180848472293240263309799095553*c_1001_2 - 3375037890414341233547335755829230781330525317079964/11404257401526\ 17120393616157431080087769933031851, c_0011_0 - 1, c_0011_10 + 1743067395866573978242604077843108687274560/764714070282246\ 5620116650176228148994977121*c_1001_2^17 + 4948434294541400906611308014329274291575534/25490469009408218733722\ 16725409382998325707*c_1001_2^16 + 5652232619445030445621057666202140845081283/76471407028224656201166\ 50176228148994977121*c_1001_2^15 - 43008915595234513016576232406873436234623822/2549046900940821873372\ 216725409382998325707*c_1001_2^14 + 211453680035037546386862084133614759797929012/764714070282246562011\ 6650176228148994977121*c_1001_2^13 + 4332517874597260817808770279450564170574071/25490469009408218733722\ 16725409382998325707*c_1001_2^12 + 527248927021208360032185976215542034276775655/764714070282246562011\ 6650176228148994977121*c_1001_2^11 - 136251470291816553734244886990175030726169689/764714070282246562011\ 6650176228148994977121*c_1001_2^10 + 21053574350570525501947551413178123809847734/7647140702822465620116\ 650176228148994977121*c_1001_2^9 + 110016940938639279511068868490906558945285527/764714070282246562011\ 6650176228148994977121*c_1001_2^8 - 127806198056017366385350167307667371947641356/764714070282246562011\ 6650176228148994977121*c_1001_2^7 + 19299097577389893162697393297356599284118491/5882415925248050477012\ 80782786780691921317*c_1001_2^6 + 180195269684448781801295526339167\ 538229699897/7647140702822465620116650176228148994977121*c_1001_2^5 + 220868324439319770078744226468522813621900696/7647140702822465620\ 116650176228148994977121*c_1001_2^4 - 3766992467202330284132783784730552057956022/25490469009408218733722\ 16725409382998325707*c_1001_2^3 - 438606419312378752541327798908699\ 4255055401/7647140702822465620116650176228148994977121*c_1001_2^2 + 544782582386200583806778965397747834145649/254904690094082187337221\ 6725409382998325707*c_1001_2 + 655174664065051377114781060191433605\ 444915/849682300313607291124072241803127666108569, c_0011_12 - 775513044363297247959195474139438652488523/2549046900940821\ 873372216725409382998325707*c_1001_2^17 - 19078894145689025763061631115933656134266772/7647140702822465620116\ 650176228148994977121*c_1001_2^16 - 2106614062407766655581553586277870336407877/76471407028224656201166\ 50176228148994977121*c_1001_2^15 + 168291213800778951898451250584388085504857874/764714070282246562011\ 6650176228148994977121*c_1001_2^14 - 333662810201814093924402691922793169465850261/764714070282246562011\ 6650176228148994977121*c_1001_2^13 + 14556796875020209943811558612870617860698961/8496823003136072911240\ 72241803127666108569*c_1001_2^12 - 283846419051206558389776790154226000300627080/254904690094082187337\ 2216725409382998325707*c_1001_2^11 + 531110824964543724589805403613220803055368498/764714070282246562011\ 6650176228148994977121*c_1001_2^10 - 48975156182500481537896613737655034260079721/8496823003136072911240\ 72241803127666108569*c_1001_2^9 + 243214602284558509213647666241508\ 323958475877/7647140702822465620116650176228148994977121*c_1001_2^8 - 38975200452648186791062961315343837748379209/25490469009408218733\ 72216725409382998325707*c_1001_2^7 - 11198886384875000304066226433073172474341749/5882415925248050477012\ 80782786780691921317*c_1001_2^6 - 933999179243429640865106024146887\ 15145651409/2549046900940821873372216725409382998325707*c_1001_2^5 - 189953195421125857750992934033060270846386112/764714070282246562011\ 6650176228148994977121*c_1001_2^4 - 350209571144539190860028437863793174770998/764714070282246562011665\ 0176228148994977121*c_1001_2^3 + 7116987222480273885473328462069815\ 904463156/7647140702822465620116650176228148994977121*c_1001_2^2 + 280280519871999371025314924251295324924275/849682300313607291124072\ 241803127666108569*c_1001_2 - 8427493446255102453126502057168098149\ 30898/849682300313607291124072241803127666108569, c_0011_4 + 1779119471094060840306007210955253221125106/7647140702822465\ 620116650176228148994977121*c_1001_2^17 + 14254814381639171647852078149305277714127288/7647140702822465620116\ 650176228148994977121*c_1001_2^16 - 349022040968262394091401240288563190690769/254904690094082187337221\ 6725409382998325707*c_1001_2^15 - 128188038548923313842602937083886\ 975259375842/7647140702822465620116650176228148994977121*c_1001_2^1\ 4 + 280164520751024781977900214834721282813670323/76471407028224656\ 20116650176228148994977121*c_1001_2^13 - 51454466370172548909062124141506882507874842/2549046900940821873372\ 216725409382998325707*c_1001_2^12 + 676278352104814691930121321193377321574761571/764714070282246562011\ 6650176228148994977121*c_1001_2^11 - 524023008422816472346039410639332158416853163/764714070282246562011\ 6650176228148994977121*c_1001_2^10 + 452470287761772493088880577880826123654357712/764714070282246562011\ 6650176228148994977121*c_1001_2^9 - 259247892546512384360293375873222164131111438/764714070282246562011\ 6650176228148994977121*c_1001_2^8 + 150443287793896358734301438342631745465792009/764714070282246562011\ 6650176228148994977121*c_1001_2^7 + 4528943250536523499950095053776483560283505/58824159252480504770128\ 0782786780691921317*c_1001_2^6 + 2374296139105417848187724208833036\ 11752913256/7647140702822465620116650176228148994977121*c_1001_2^5 + 9330273956822110511557713627986797571217201/84968230031360729112407\ 2241803127666108569*c_1001_2^4 + 5326655400562087428983644378554280\ 137943688/7647140702822465620116650176228148994977121*c_1001_2^3 + 3452869837706802917873044823966511559507228/76471407028224656201166\ 50176228148994977121*c_1001_2^2 + 461053132082894039179465250584883\ 853152291/2549046900940821873372216725409382998325707*c_1001_2 + 58103636234758700460856089569868091522532/8496823003136072911240722\ 41803127666108569, c_0011_6 + 244564321516220307365067678435928418388281/58824159252480504\ 7701280782786780691921317*c_1001_2^17 + 1879623720504608788278829663350154900747684/58824159252480504770128\ 0782786780691921317*c_1001_2^16 - 870198783308333345337421461610544\ 88722919/65360176947200560855697864754086743546813*c_1001_2^15 - 17572928283544637439570063968533233437510920/5882415925248050477012\ 80782786780691921317*c_1001_2^14 + 44216803393836198179303347380722791630917808/5882415925248050477012\ 80782786780691921317*c_1001_2^13 - 3765727803297932735257652933560975424732823/65360176947200560855697\ 864754086743546813*c_1001_2^12 + 1004783879843551161714149660671084\ 31124282562/588241592524805047701280782786780691921317*c_1001_2^11 - 103184144934957179821181518601695878508679273/588241592524805047701\ 280782786780691921317*c_1001_2^10 + 85898363936282744208686531460740644635942754/5882415925248050477012\ 80782786780691921317*c_1001_2^9 - 574697215960930124299901313298502\ 83655128487/588241592524805047701280782786780691921317*c_1001_2^8 + 31486569916328156402400871611902534412046408/5882415925248050477012\ 80782786780691921317*c_1001_2^7 + 256118198096262383716543157830190\ 4665434972/588241592524805047701280782786780691921317*c_1001_2^6 + 27356773986727416147312735294171960159147407/5882415925248050477012\ 80782786780691921317*c_1001_2^5 + 453744792554114094813472482878315\ 106489181/65360176947200560855697864754086743546813*c_1001_2^4 - 4819528924185691368418738643372544218608681/58824159252480504770128\ 0782786780691921317*c_1001_2^3 + 7108568910168702391713611724156754\ 38352636/588241592524805047701280782786780691921317*c_1001_2^2 - 122497314602633098280633413572756909136823/196080530841601682567093\ 594262260230640439*c_1001_2 - 4953567149780044784851953398251788906\ 5181/65360176947200560855697864754086743546813, c_0011_9 - 1202713949456478782013303800973914661893990/7647140702822465\ 620116650176228148994977121*c_1001_2^17 - 3235583286270767347237803843887258989175030/25490469009408218733722\ 16725409382998325707*c_1001_2^16 - 102144455727463684759201853874771253214999/764714070282246562011665\ 0176228148994977121*c_1001_2^15 + 282910798730272439327524809074973\ 32816320123/2549046900940821873372216725409382998325707*c_1001_2^14 - 182947985329628778944185157462815287294546827/7647140702822465620\ 116650176228148994977121*c_1001_2^13 + 12337193337534359150467052671448521538730046/8496823003136072911240\ 72241803127666108569*c_1001_2^12 - 501151063307361501172013313004303372179815419/764714070282246562011\ 6650176228148994977121*c_1001_2^11 + 373160060516096031023180027776615402820783305/764714070282246562011\ 6650176228148994977121*c_1001_2^10 - 390095212444113300146238778458633380214132307/764714070282246562011\ 6650176228148994977121*c_1001_2^9 + 281449056831466544155603129552752397252064473/764714070282246562011\ 6650176228148994977121*c_1001_2^8 - 187526914217025970327047513860533435777245478/764714070282246562011\ 6650176228148994977121*c_1001_2^7 + 1286133555098693369231669038699864534882903/58824159252480504770128\ 0782786780691921317*c_1001_2^6 - 1777539608146803235725990427535749\ 53759266816/7647140702822465620116650176228148994977121*c_1001_2^5 - 80809704819545273671313950164062653867423265/7647140702822465620116\ 650176228148994977121*c_1001_2^4 - 2413029286245788137772293761568296506234242/84968230031360729112407\ 2241803127666108569*c_1001_2^3 - 5340042015883815432735894352178227\ 033101023/7647140702822465620116650176228148994977121*c_1001_2^2 + 1260655172922355397413127615054377905700502/25490469009408218733722\ 16725409382998325707*c_1001_2 - 86931422923617615620220925429508323\ 432927/849682300313607291124072241803127666108569, c_0101_0 + 771268137799043718471080658313359226630828/76471407028224656\ 20116650176228148994977121*c_1001_2^17 + 6282653112658895217468525935745089483287790/76471407028224656201166\ 50176228148994977121*c_1001_2^16 - 25943991444840285744168528648232121321450/8496823003136072911240722\ 41803127666108569*c_1001_2^15 - 60647366727991505992962551015583699\ 908995721/7647140702822465620116650176228148994977121*c_1001_2^14 + 113082427916120991045883875394090080352709930/764714070282246562011\ 6650176228148994977121*c_1001_2^13 - 742993556125613075591850927658536727396692/849682300313607291124072\ 241803127666108569*c_1001_2^12 + 2010506952936827181949928652844499\ 64455423087/7647140702822465620116650176228148994977121*c_1001_2^11 - 164606906477599348738314740731298370364337683/7647140702822465620\ 116650176228148994977121*c_1001_2^10 - 44120973502596453056438867860742118108447883/7647140702822465620116\ 650176228148994977121*c_1001_2^9 + 26419172632611253401724448201250335023374716/7647140702822465620116\ 650176228148994977121*c_1001_2^8 - 42087966128450337599760100937293612460876605/7647140702822465620116\ 650176228148994977121*c_1001_2^7 + 5704062102106608597821838477896767036130972/58824159252480504770128\ 0782786780691921317*c_1001_2^6 + 8505143234221872314884445135533097\ 3917045633/7647140702822465620116650176228148994977121*c_1001_2^5 + 6234144048854767689854844005742597863604401/25490469009408218733722\ 16725409382998325707*c_1001_2^4 - 801065631200749938727776029002883\ 16238383152/7647140702822465620116650176228148994977121*c_1001_2^3 - 40598048207121676346012575931269581194745814/7647140702822465620116\ 650176228148994977121*c_1001_2^2 + 330993851179217948024837451009806013817018/254904690094082187337221\ 6725409382998325707*c_1001_2 + 700110780118018631149945826921287696\ 12653/849682300313607291124072241803127666108569, c_0101_1 + 632707676705482123661484966129227928154031/25490469009408218\ 73372216725409382998325707*c_1001_2^17 + 4988797737471710966440812978764991642054202/25490469009408218733722\ 16725409382998325707*c_1001_2^16 - 1029717022089405166767359919696406524889891/25490469009408218733722\ 16725409382998325707*c_1001_2^15 - 45644108443262705746497819637903019336313437/2549046900940821873372\ 216725409382998325707*c_1001_2^14 + 105322937016795159751353744750602976670818017/254904690094082187337\ 2216725409382998325707*c_1001_2^13 - 66906752321452313115871979323937627439306959/2549046900940821873372\ 216725409382998325707*c_1001_2^12 + 246785095663421584567403140314128889899103706/254904690094082187337\ 2216725409382998325707*c_1001_2^11 - 217056820304112067363283786433692546965705418/254904690094082187337\ 2216725409382998325707*c_1001_2^10 + 178407543369097467033794841613985350525588757/254904690094082187337\ 2216725409382998325707*c_1001_2^9 - 111075472566030244492382390723661081349796849/254904690094082187337\ 2216725409382998325707*c_1001_2^8 + 56531877001008982923147675798013435235054417/2549046900940821873372\ 216725409382998325707*c_1001_2^7 + 1732911076990020387611367048302687511556210/19608053084160168256709\ 3594262260230640439*c_1001_2^6 + 2403242326739020451243325834185694\ 3036148175/849682300313607291124072241803127666108569*c_1001_2^5 + 8990911062356384551101306534970461341683861/84968230031360729112407\ 2241803127666108569*c_1001_2^4 - 8660225981658239060751468407820036\ 707774465/2549046900940821873372216725409382998325707*c_1001_2^3 + 40488270683823197802013477464109706686445/2549046900940821873372216\ 725409382998325707*c_1001_2^2 - 71878036250707083306178492073397423\ 3638879/2549046900940821873372216725409382998325707*c_1001_2 + 63321089009157975126187804580742304354566/8496823003136072911240722\ 41803127666108569, c_0101_11 + 487396158487253107950908632051471320996433/2549046900940821\ 873372216725409382998325707*c_1001_2^17 + 3622324639583930941285070128833498851829452/25490469009408218733722\ 16725409382998325707*c_1001_2^16 - 876602932117331979566230798601327674823082/849682300313607291124072\ 241803127666108569*c_1001_2^15 - 1183535492455353188652565305064071\ 4251700043/849682300313607291124072241803127666108569*c_1001_2^14 + 97641948846308562675177997324798971015944626/2549046900940821873372\ 216725409382998325707*c_1001_2^13 - 27152660386266592397783363940986736545571868/8496823003136072911240\ 72241803127666108569*c_1001_2^12 + 193520123226635968566211579645312558654148080/254904690094082187337\ 2216725409382998325707*c_1001_2^11 - 77904740905118909537418477844374912119981589/8496823003136072911240\ 72241803127666108569*c_1001_2^10 + 168065241884085922121372719161983127513298775/254904690094082187337\ 2216725409382998325707*c_1001_2^9 - 89864675236588521586526684454798507365156627/2549046900940821873372\ 216725409382998325707*c_1001_2^8 + 10425225512245196060938880282452947179312913/8496823003136072911240\ 72241803127666108569*c_1001_2^7 + 918377013584120971484481438679930\ 669949179/65360176947200560855697864754086743546813*c_1001_2^6 + 18668564238689489283247837838460776182968191/2549046900940821873372\ 216725409382998325707*c_1001_2^5 + 825899467008325812519497235269802269380147/849682300313607291124072\ 241803127666108569*c_1001_2^4 - 29619702034411733311288658012409394\ 818268634/2549046900940821873372216725409382998325707*c_1001_2^3 + 7450373844588683063344525594304759520676447/25490469009408218733722\ 16725409382998325707*c_1001_2^2 + 109442461811530221320695310586946\ 0302219571/2549046900940821873372216725409382998325707*c_1001_2 - 93384696695508376523745255310406680386659/8496823003136072911240722\ 41803127666108569, c_0101_13 - 632707676705482123661484966129227928154031/2549046900940821\ 873372216725409382998325707*c_1001_2^17 - 4988797737471710966440812978764991642054202/25490469009408218733722\ 16725409382998325707*c_1001_2^16 + 1029717022089405166767359919696406524889891/25490469009408218733722\ 16725409382998325707*c_1001_2^15 + 45644108443262705746497819637903019336313437/2549046900940821873372\ 216725409382998325707*c_1001_2^14 - 105322937016795159751353744750602976670818017/254904690094082187337\ 2216725409382998325707*c_1001_2^13 + 66906752321452313115871979323937627439306959/2549046900940821873372\ 216725409382998325707*c_1001_2^12 - 246785095663421584567403140314128889899103706/254904690094082187337\ 2216725409382998325707*c_1001_2^11 + 217056820304112067363283786433692546965705418/254904690094082187337\ 2216725409382998325707*c_1001_2^10 - 178407543369097467033794841613985350525588757/254904690094082187337\ 2216725409382998325707*c_1001_2^9 + 111075472566030244492382390723661081349796849/254904690094082187337\ 2216725409382998325707*c_1001_2^8 - 56531877001008982923147675798013435235054417/2549046900940821873372\ 216725409382998325707*c_1001_2^7 - 1732911076990020387611367048302687511556210/19608053084160168256709\ 3594262260230640439*c_1001_2^6 - 2403242326739020451243325834185694\ 3036148175/849682300313607291124072241803127666108569*c_1001_2^5 - 8990911062356384551101306534970461341683861/84968230031360729112407\ 2241803127666108569*c_1001_2^4 + 8660225981658239060751468407820036\ 707774465/2549046900940821873372216725409382998325707*c_1001_2^3 - 40488270683823197802013477464109706686445/2549046900940821873372216\ 725409382998325707*c_1001_2^2 + 71878036250707083306178492073397423\ 3638879/2549046900940821873372216725409382998325707*c_1001_2 - 63321089009157975126187804580742304354566/8496823003136072911240722\ 41803127666108569, c_0101_5 + 1052239867767797427694385800604757052742594/7647140702822465\ 620116650176228148994977121*c_1001_2^17 + 8038299635085369818204414700387084601545386/76471407028224656201166\ 50176228148994977121*c_1001_2^16 - 4196690066336909597569845716949526166380496/76471407028224656201166\ 50176228148994977121*c_1001_2^15 - 79026657118129298313926204116771663191578714/7647140702822465620116\ 650176228148994977121*c_1001_2^14 + 64804205827553883724084463338321004666604931/2549046900940821873372\ 216725409382998325707*c_1001_2^13 - 40624349382215332888595878466393343160109168/2549046900940821873372\ 216725409382998325707*c_1001_2^12 + 364727825708151664781257849513951014074735839/764714070282246562011\ 6650176228148994977121*c_1001_2^11 - 46616150463987921411877829087230394166134656/8496823003136072911240\ 72241803127666108569*c_1001_2^10 + 215835208774410834014454583339674449668829449/764714070282246562011\ 6650176228148994977121*c_1001_2^9 - 35959839864834241757517480160043565588285706/2549046900940821873372\ 216725409382998325707*c_1001_2^8 + 19762538002876815458041954327596710690311432/7647140702822465620116\ 650176228148994977121*c_1001_2^7 + 2227672140983731929254045598123093658436969/19608053084160168256709\ 3594262260230640439*c_1001_2^6 + 5867460264463870113289055277181315\ 7707612643/7647140702822465620116650176228148994977121*c_1001_2^5 + 9454192554607233398544456296886421384183537/76471407028224656201166\ 50176228148994977121*c_1001_2^4 - 833115126277595422180424010594944\ 74787388338/7647140702822465620116650176228148994977121*c_1001_2^3 - 3028543183913082382614359537343910398435863/25490469009408218733722\ 16725409382998325707*c_1001_2^2 + 137055905322176632009400485525975\ 9331401271/2549046900940821873372216725409382998325707*c_1001_2 - 13362676221011313625611429533099531843421/8496823003136072911240722\ 41803127666108569, c_0101_8 - 2233456613260803042323806554467773189620127/7647140702822465\ 620116650176228148994977121*c_1001_2^17 - 17149627031410688041323736322245586038776146/7647140702822465620116\ 650176228148994977121*c_1001_2^16 + 902546923562172265310399327249559796144532/849682300313607291124072\ 241803127666108569*c_1001_2^15 + 1671655610489732929716934284713501\ 28174296108/7647140702822465620116650176228148994977121*c_1001_2^14 - 406008274455046679071417867368486993400543808/7647140702822465620\ 116650176228148994977121*c_1001_2^13 + 27895653942392205473375214868645273272968560/8496823003136072911240\ 72241803127666108569*c_1001_2^12 - 781611064973590623893627604220387640417867327/764714070282246562011\ 6650176228148994977121*c_1001_2^11 + 865749574623669534575081041330672579444171984/764714070282246562011\ 6650176228148994977121*c_1001_2^10 - 460074752149661313307679289625207264431448442/764714070282246562011\ 6650176228148994977121*c_1001_2^9 + 243174853077154311357855605163145187072095165/764714070282246562011\ 6650176228148994977121*c_1001_2^8 - 51739063481756426948689821604782912152939612/7647140702822465620116\ 650176228148994977121*c_1001_2^7 - 13969455224363697341182171426016143065673583/5882415925248050477012\ 80782786780691921317*c_1001_2^6 - 141057125058287190998587964870713\ 302465950206/7647140702822465620116650176228148994977121*c_1001_2^5 - 8711842449879745127413335711552004671744842/254904690094082187337\ 2216725409382998325707*c_1001_2^4 + 168965669223310193806643576937516500693189054/764714070282246562011\ 6650176228148994977121*c_1001_2^3 + 18246926673355627155978999148355302632716473/7647140702822465620116\ 650176228148994977121*c_1001_2^2 - 1425418469294520161231790556879266316036589/25490469009408218733722\ 16725409382998325707*c_1001_2 + 23373618683706513408750672618277910\ 774006/849682300313607291124072241803127666108569, c_1001_1 - 632707676705482123661484966129227928154031/25490469009408218\ 73372216725409382998325707*c_1001_2^17 - 4988797737471710966440812978764991642054202/25490469009408218733722\ 16725409382998325707*c_1001_2^16 + 1029717022089405166767359919696406524889891/25490469009408218733722\ 16725409382998325707*c_1001_2^15 + 45644108443262705746497819637903019336313437/2549046900940821873372\ 216725409382998325707*c_1001_2^14 - 105322937016795159751353744750602976670818017/254904690094082187337\ 2216725409382998325707*c_1001_2^13 + 66906752321452313115871979323937627439306959/2549046900940821873372\ 216725409382998325707*c_1001_2^12 - 246785095663421584567403140314128889899103706/254904690094082187337\ 2216725409382998325707*c_1001_2^11 + 217056820304112067363283786433692546965705418/254904690094082187337\ 2216725409382998325707*c_1001_2^10 - 178407543369097467033794841613985350525588757/254904690094082187337\ 2216725409382998325707*c_1001_2^9 + 111075472566030244492382390723661081349796849/254904690094082187337\ 2216725409382998325707*c_1001_2^8 - 56531877001008982923147675798013435235054417/2549046900940821873372\ 216725409382998325707*c_1001_2^7 - 1732911076990020387611367048302687511556210/19608053084160168256709\ 3594262260230640439*c_1001_2^6 - 2403242326739020451243325834185694\ 3036148175/849682300313607291124072241803127666108569*c_1001_2^5 - 8990911062356384551101306534970461341683861/84968230031360729112407\ 2241803127666108569*c_1001_2^4 + 8660225981658239060751468407820036\ 707774465/2549046900940821873372216725409382998325707*c_1001_2^3 - 40488270683823197802013477464109706686445/2549046900940821873372216\ 725409382998325707*c_1001_2^2 + 71878036250707083306178492073397423\ 3638879/2549046900940821873372216725409382998325707*c_1001_2 + 786361211304449315997884437222385361754003/849682300313607291124072\ 241803127666108569, c_1001_2^18 + 153/19*c_1001_2^17 - 6/19*c_1001_2^16 - 1378/19*c_1001_2^15 + 2930/19*c_1001_2^14 - 1460/19*c_1001_2^13 + 7070/19*c_1001_2^12 - 5345/19*c_1001_2^11 + 4257/19*c_1001_2^10 - 2528/19*c_1001_2^9 + 1314/19*c_1001_2^8 + 829/19*c_1001_2^7 + 2303/19*c_1001_2^6 + 1099/19*c_1001_2^5 - 10*c_1001_2^4 - 37/19*c_1001_2^3 - 23/19*c_1001_2^2 + 3/19*c_1001_2 - 9/19 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_4, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_13, c_0101_5, c_0101_8, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 1826284023231811839217687359/1974802306573583916307947520*c_1001_2^\ 17 + 24967458732802784380086651/13907058496997069833154560*c_1001_2\ ^16 + 13098742060025882525254437/12342514416084899476924672*c_1001_\ 2^15 + 608483811637266500540299919/493700576643395979076986880*c_10\ 01_2^14 + 1393499774372200389864074633/987401153286791958153973760*\ c_1001_2^13 - 11736123321252687902090892851/98740115328679195815397\ 3760*c_1001_2^12 + 2454577936062215431137290933/1974802306573583916\ 307947520*c_1001_2^11 - 1173884215704980506738631797/31851650106025\ 547037224960*c_1001_2^10 + 7955165404077260062695865809/19748023065\ 7358391630794752*c_1001_2^9 + 37320200382861330421936513797/1974802\ 306573583916307947520*c_1001_2^8 - 31324384003404145832166191341/246850288321697989538493440*c_1001_2^\ 7 + 6110963795625870059555033939/49370057664339597907698688*c_1001_\ 2^6 + 180745932000221517307741407367/1974802306573583916307947520*c\ _1001_2^5 - 210117071395811138437038213559/197480230657358391630794\ 7520*c_1001_2^4 - 140336386259751807496782323/197480230657358391630\ 7947520*c_1001_2^3 + 3469593170702087971358205193/31851650106025547\ 037224960*c_1001_2^2 + 13030244985441145239359176757/24685028832169\ 7989538493440*c_1001_2 - 209026356452058035243686873651/19748023065\ 73583916307947520, c_0011_0 - 1, c_0011_10 + 37954410974473602282/3395277953368425252235*c_1001_2^17 - 43801150462360083686/3395277953368425252235*c_1001_2^16 - 13952881309781487543/679055590673685050447*c_1001_2^15 - 77243320558092267143/3395277953368425252235*c_1001_2^14 - 210234131382372435933/3395277953368425252235*c_1001_2^13 + 270076686836333188871/3395277953368425252235*c_1001_2^12 + 66370073163820555266/3395277953368425252235*c_1001_2^11 + 51498328562340896717/109525095269949201685*c_1001_2^10 + 23684931544637000033/679055590673685050447*c_1001_2^9 - 541461473082818438151/3395277953368425252235*c_1001_2^8 + 6134963307596334738989/3395277953368425252235*c_1001_2^7 - 480250097506168204220/679055590673685050447*c_1001_2^6 - 4777816052351573352491/3395277953368425252235*c_1001_2^5 + 6117119890519346381482/3395277953368425252235*c_1001_2^4 - 176735502905339002716/3395277953368425252235*c_1001_2^3 - 102363050973956764158/109525095269949201685*c_1001_2^2 - 2625284175596004404953/3395277953368425252235*c_1001_2 + 3578298870053769859483/3395277953368425252235, c_0011_12 - 46191375051377361406/3395277953368425252235*c_1001_2^17 + 51861596375413297308/3395277953368425252235*c_1001_2^16 + 19341523988037003656/679055590673685050447*c_1001_2^15 + 79899516988204225869/3395277953368425252235*c_1001_2^14 + 261915242230031243329/3395277953368425252235*c_1001_2^13 - 403160641034420139843/3395277953368425252235*c_1001_2^12 - 73639354551261355298/3395277953368425252235*c_1001_2^11 - 59288067509618721321/109525095269949201685*c_1001_2^10 - 25595008973883303044/679055590673685050447*c_1001_2^9 + 1207460312817067690123/3395277953368425252235*c_1001_2^8 - 8206321036754307606902/3395277953368425252235*c_1001_2^7 + 654490505208083989052/679055590673685050447*c_1001_2^6 + 5340988818356461225473/3395277953368425252235*c_1001_2^5 - 6189135676445513790306/3395277953368425252235*c_1001_2^4 + 1471794337049104641938/3395277953368425252235*c_1001_2^3 + 85614271483964692479/109525095269949201685*c_1001_2^2 + 3875053166955260995454/3395277953368425252235*c_1001_2 - 3202090355471275909859/3395277953368425252235, c_0011_4 + 10385795504869727846/3395277953368425252235*c_1001_2^17 - 11734498672066612173/3395277953368425252235*c_1001_2^16 + 634411142009171098/679055590673685050447*c_1001_2^15 - 41753729600945000969/3395277953368425252235*c_1001_2^14 - 87876652624740331924/3395277953368425252235*c_1001_2^13 - 27590853347140779507/3395277953368425252235*c_1001_2^12 - 124438837705138524262/3395277953368425252235*c_1001_2^11 + 17854971243582345196/109525095269949201685*c_1001_2^10 + 30123495912430871023/679055590673685050447*c_1001_2^9 + 1025822113756669214447/3395277953368425252235*c_1001_2^8 + 1627870325729785158692/3395277953368425252235*c_1001_2^7 - 52319136723604019724/679055590673685050447*c_1001_2^6 + 1010684910544588372107/3395277953368425252235*c_1001_2^5 + 1648301407367156353051/3395277953368425252235*c_1001_2^4 - 349457033359237679023/3395277953368425252235*c_1001_2^3 - 7839182739103706524/109525095269949201685*c_1001_2^2 - 694885493112283385034/3395277953368425252235*c_1001_2 - 543341234659473490736/3395277953368425252235, c_0011_6 + 46191375051377361406/3395277953368425252235*c_1001_2^17 - 51861596375413297308/3395277953368425252235*c_1001_2^16 - 19341523988037003656/679055590673685050447*c_1001_2^15 - 79899516988204225869/3395277953368425252235*c_1001_2^14 - 261915242230031243329/3395277953368425252235*c_1001_2^13 + 403160641034420139843/3395277953368425252235*c_1001_2^12 + 73639354551261355298/3395277953368425252235*c_1001_2^11 + 59288067509618721321/109525095269949201685*c_1001_2^10 + 25595008973883303044/679055590673685050447*c_1001_2^9 - 1207460312817067690123/3395277953368425252235*c_1001_2^8 + 8206321036754307606902/3395277953368425252235*c_1001_2^7 - 654490505208083989052/679055590673685050447*c_1001_2^6 - 5340988818356461225473/3395277953368425252235*c_1001_2^5 + 6189135676445513790306/3395277953368425252235*c_1001_2^4 - 1471794337049104641938/3395277953368425252235*c_1001_2^3 - 85614271483964692479/109525095269949201685*c_1001_2^2 - 3875053166955260995454/3395277953368425252235*c_1001_2 + 3202090355471275909859/3395277953368425252235, c_0011_9 + 26243970838661075/6723322679937475747*c_1001_2^17 - 64662668576681910/6723322679937475747*c_1001_2^16 - 9668485241402897/6723322679937475747*c_1001_2^15 + 3337790159967850/6723322679937475747*c_1001_2^14 - 55410734297476826/6723322679937475747*c_1001_2^13 + 365738958260505455/6723322679937475747*c_1001_2^12 - 211569325606072903/6723322679937475747*c_1001_2^11 + 36930823957855700/216881376772176637*c_1001_2^10 - 1437762556890988485/6723322679937475747*c_1001_2^9 - 71811965667793894/6723322679937475747*c_1001_2^8 + 4237806068966709499/6723322679937475747*c_1001_2^7 - 7093610330039683786/6723322679937475747*c_1001_2^6 - 2938929563985516734/6723322679937475747*c_1001_2^5 + 5073644229866716984/6723322679937475747*c_1001_2^4 - 555847289745629829/6723322679937475747*c_1001_2^3 - 190046076425487275/216881376772176637*c_1001_2^2 + 2365376815468400096/6723322679937475747*c_1001_2 + 5488700922321446850/6723322679937475747, c_0101_0 + 4479910712910913427/3395277953368425252235*c_1001_2^17 + 23845757764450262829/3395277953368425252235*c_1001_2^16 - 9539524355242379279/679055590673685050447*c_1001_2^15 - 51465802429229394348/3395277953368425252235*c_1001_2^14 - 98387355478447618483/3395277953368425252235*c_1001_2^13 - 100036686091166558464/3395277953368425252235*c_1001_2^12 + 322769452167666547041/3395277953368425252235*c_1001_2^11 + 5554767114754338582/109525095269949201685*c_1001_2^10 + 267936645137688960853/679055590673685050447*c_1001_2^9 - 698748789965834348641/3395277953368425252235*c_1001_2^8 + 319904550791350244494/3395277953368425252235*c_1001_2^7 + 760990391961325464519/679055590673685050447*c_1001_2^6 - 3069558303878221085821/3395277953368425252235*c_1001_2^5 + 425319478569830341202/3395277953368425252235*c_1001_2^4 + 788761981792945507879/3395277953368425252235*c_1001_2^3 + 41668696484150478362/109525095269949201685*c_1001_2^2 + 74432962214151522437/3395277953368425252235*c_1001_2 - 493902428956157428487/3395277953368425252235, c_0101_1 + 13530491268855386399/3395277953368425252235*c_1001_2^17 - 558757127607586442/3395277953368425252235*c_1001_2^16 - 1020324679040304724/679055590673685050447*c_1001_2^15 - 102049493755226072621/3395277953368425252235*c_1001_2^14 - 141411380599837344251/3395277953368425252235*c_1001_2^13 - 105816254695337819428/3395277953368425252235*c_1001_2^12 - 61380487477903309303/3395277953368425252235*c_1001_2^11 + 24227107861132011219/109525095269949201685*c_1001_2^10 + 132327058015367256369/679055590673685050447*c_1001_2^9 + 1559209981697803637823/3395277953368425252235*c_1001_2^8 + 1854582653137410017083/3395277953368425252235*c_1001_2^7 + 528168436802289047710/679055590673685050447*c_1001_2^6 + 2236033964328954635828/3395277953368425252235*c_1001_2^5 - 922094397643499808366/3395277953368425252235*c_1001_2^4 - 339849517451970291127/3395277953368425252235*c_1001_2^3 + 87206905831524852719/109525095269949201685*c_1001_2^2 - 2146971187569882001206/3395277953368425252235*c_1001_2 - 4020592514407675573784/3395277953368425252235, c_0101_11 + 4479910712910913427/3395277953368425252235*c_1001_2^17 + 23845757764450262829/3395277953368425252235*c_1001_2^16 - 9539524355242379279/679055590673685050447*c_1001_2^15 - 51465802429229394348/3395277953368425252235*c_1001_2^14 - 98387355478447618483/3395277953368425252235*c_1001_2^13 - 100036686091166558464/3395277953368425252235*c_1001_2^12 + 322769452167666547041/3395277953368425252235*c_1001_2^11 + 5554767114754338582/109525095269949201685*c_1001_2^10 + 267936645137688960853/679055590673685050447*c_1001_2^9 - 698748789965834348641/3395277953368425252235*c_1001_2^8 + 319904550791350244494/3395277953368425252235*c_1001_2^7 + 760990391961325464519/679055590673685050447*c_1001_2^6 - 3069558303878221085821/3395277953368425252235*c_1001_2^5 + 425319478569830341202/3395277953368425252235*c_1001_2^4 + 788761981792945507879/3395277953368425252235*c_1001_2^3 + 41668696484150478362/109525095269949201685*c_1001_2^2 + 74432962214151522437/3395277953368425252235*c_1001_2 - 493902428956157428487/3395277953368425252235, c_0101_13 - 13530491268855386399/3395277953368425252235*c_1001_2^17 + 558757127607586442/3395277953368425252235*c_1001_2^16 + 1020324679040304724/679055590673685050447*c_1001_2^15 + 102049493755226072621/3395277953368425252235*c_1001_2^14 + 141411380599837344251/3395277953368425252235*c_1001_2^13 + 105816254695337819428/3395277953368425252235*c_1001_2^12 + 61380487477903309303/3395277953368425252235*c_1001_2^11 - 24227107861132011219/109525095269949201685*c_1001_2^10 - 132327058015367256369/679055590673685050447*c_1001_2^9 - 1559209981697803637823/3395277953368425252235*c_1001_2^8 - 1854582653137410017083/3395277953368425252235*c_1001_2^7 - 528168436802289047710/679055590673685050447*c_1001_2^6 - 2236033964328954635828/3395277953368425252235*c_1001_2^5 + 922094397643499808366/3395277953368425252235*c_1001_2^4 + 339849517451970291127/3395277953368425252235*c_1001_2^3 - 87206905831524852719/109525095269949201685*c_1001_2^2 + 2146971187569882001206/3395277953368425252235*c_1001_2 + 4020592514407675573784/3395277953368425252235, c_0101_5 + 1637896305370671597/109525095269949201685*c_1001_2^17 - 1395272137853174031/109525095269949201685*c_1001_2^16 - 997890137579443155/21905019053989840337*c_1001_2^15 - 2671921638396855023/109525095269949201685*c_1001_2^14 - 8180813365619382633/109525095269949201685*c_1001_2^13 + 16906009805727259936/109525095269949201685*c_1001_2^12 + 9428440679805168011/109525095269949201685*c_1001_2^11 + 57939603714788817442/109525095269949201685*c_1001_2^10 + 1621016316683638823/21905019053989840337*c_1001_2^9 - 95958287592225943371/109525095269949201685*c_1001_2^8 + 288082414523570633974/109525095269949201685*c_1001_2^7 - 3238449020623877009/21905019053989840337*c_1001_2^6 - 241089174598082510191/109525095269949201685*c_1001_2^5 + 159652671740989581977/109525095269949201685*c_1001_2^4 + 175382710812389383629/109525095269949201685*c_1001_2^3 - 135413128804270689728/109525095269949201685*c_1001_2^2 - 274905427194765115048/109525095269949201685*c_1001_2 + 104862439084350750723/109525095269949201685, c_0101_8 + 52063665161458035051/3395277953368425252235*c_1001_2^17 - 81207847247921997243/3395277953368425252235*c_1001_2^16 - 23205467928464493503/679055590673685050447*c_1001_2^15 - 18220683021263930174/3395277953368425252235*c_1001_2^14 - 184095171945911887744/3395277953368425252235*c_1001_2^13 + 742053713529720787213/3395277953368425252235*c_1001_2^12 + 44115929052069683718/3395277953368425252235*c_1001_2^11 + 57461704186881335716/109525095269949201685*c_1001_2^10 - 259242645587569917998/679055590673685050447*c_1001_2^9 - 3174330993865123823938/3395277953368425252235*c_1001_2^8 + 9624104127319639525537/3395277953368425252235*c_1001_2^7 - 1292327053455498872280/679055590673685050447*c_1001_2^6 - 5372822893937078016573/3395277953368425252235*c_1001_2^5 + 9710293440287676591706/3395277953368425252235*c_1001_2^4 - 428924314816668457903/3395277953368425252235*c_1001_2^3 - 132539203525316872124/109525095269949201685*c_1001_2^2 - 2206156129690207871979/3395277953368425252235*c_1001_2 + 5872153148125976030734/3395277953368425252235, c_1001_1 - 1, c_1001_2^18 - 4*c_1001_2^16 - 4*c_1001_2^15 - 6*c_1001_2^14 + 6*c_1001_2^13 + 17*c_1001_2^12 + 40*c_1001_2^11 + 38*c_1001_2^10 - 63*c_1001_2^9 + 118*c_1001_2^8 + 136*c_1001_2^7 - 233*c_1001_2^6 - 13*c_1001_2^5 + 195*c_1001_2^4 - 68*c_1001_2^3 - 196*c_1001_2^2 - 3*c_1001_2 + 142 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 66.090 Total time: 66.310 seconds, Total memory usage: 294.97MB