Magma V2.19-8 Wed Aug 21 2013 00:22:31 on localhost [Seed = 846471299] Type ? for help. Type -D to quit. Loading file "K14n12065__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n12065 geometric_solution 12.31103260 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.080757395922 1.224858449901 0 5 2 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559838834032 0.615054464842 7 0 1 8 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.661918485547 1.381122296227 8 5 7 0 0132 2310 2031 0132 0 0 0 0 0 0 0 0 -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 1 0 -1 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280870654732 0.763169061911 9 9 0 8 0132 1302 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522840107067 0.769176370555 10 1 11 3 0132 0132 0132 3201 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462051267590 0.553496982013 7 12 1 9 2103 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 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.402200025990 0.447936687244 2 10 6 3 0132 0132 2103 1302 0 0 0 0 0 0 1 -1 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 -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.529686442135 0.445103328178 3 10 2 4 0132 3201 0132 0213 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.121632018266 1.061509148465 4 11 6 4 0132 3012 0132 2031 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582389631897 0.938805523989 5 7 8 11 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562881448650 1.151910150215 9 12 10 5 1230 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 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 -1 0 0 1 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.057325842564 1.243723745179 12 6 12 11 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.755115838340 1.047656704616 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : negation(d['c_0011_12']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_11'], 'c_0101_11' : negation(d['c_0011_4']), 'c_0101_10' : d['c_0101_10'], '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' : negation(d['1']), 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1010_4'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_1001_10']), 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : negation(d['c_1010_4']), 'c_1100_1' : negation(d['c_1010_4']), 'c_1100_0' : negation(d['c_1001_10']), 'c_1100_3' : negation(d['c_1001_10']), 'c_1100_2' : d['c_1010_4'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_1010_4']), 'c_1100_11' : negation(d['c_0011_3']), 'c_1100_10' : negation(d['c_0011_3']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_1001_10']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_4']), 'c_0110_10' : negation(d['c_0011_4']), 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_3']), 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : negation(d['c_0011_0']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3']), 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_1001_10, c_1001_5, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 3031803763123874978060036923618681525570652404171752398942294426070\ 3444410915/69540959614074180224834298046661801956063438585051876956\ 614296018646661778*c_1010_4^15 - 1947612782121592816120861423207834\ 7252137150449189711819721324402621824936434307/36369921878160796257\ 588337878404122423021178379982131648309276817752204109894*c_1010_4^\ 14 + 15126562810708062868904512876318137609727269840418650484897571\ 649285307364095946/181849609390803981287941689392020612115105891899\ 91065824154638408876102054947*c_1010_4^13 + 1358239090508134196692597013099047539141145105990703915052205570180\ 586337971124499/145479687512643185030353351513616489692084713519928\ 526593237107271008816439576*c_1010_4^12 - 1071183742491201435125317645011372970083041754866621027301332056870\ 933370752074268/181849609390803981287941689392020612115105891899910\ 65824154638408876102054947*c_1010_4^11 - 9477864010109469888067296303725764658364461050969767425322666694990\ 55062753550213/1039140625090308464502523939382974926372033667999489\ 4756659793376500629745684*c_1010_4^10 + 6576720696064506136432725020045526693158124696034919325525484160086\ 335313748070725/207828125018061692900504787876594985274406733599897\ 89513319586753001259491368*c_1010_4^9 + 5841141551741053943918611785328174703429053455730357733292856645080\ 423920305193352/181849609390803981287941689392020612115105891899910\ 65824154638408876102054947*c_1010_4^8 - 1866101578942379933129388058570387695850729467687563128218315067852\ 44279691195429497/1454796875126431850303533515136164896920847135199\ 28526593237107271008816439576*c_1010_4^7 - 4946174088413946638481452332941143345263307964715297880727328792777\ 1590146159270959/72739843756321592515176675756808244846042356759964\ 263296618553635504408219788*c_1010_4^6 - 1417146697741037899741623397359717064462205639160067877468754470598\ 837337782356087/145479687512643185030353351513616489692084713519928\ 526593237107271008816439576*c_1010_4^5 + 2994050208272271516318695240075429755168359581780696036779337347380\ 3393787422188395/14547968751264318503035335151361648969208471351992\ 8526593237107271008816439576*c_1010_4^4 + 4201837721955563084585107776647848902311825092855270519666646863210\ 68834583094883/1454796875126431850303533515136164896920847135199285\ 26593237107271008816439576*c_1010_4^3 - 1680458076360974537189725859791858863946138213840862809669588633631\ 29664882397987/3636992187816079625758833787840412242302117837998213\ 1648309276817752204109894*c_1010_4^2 + 8227769846365314726292570555720522422119433437770584885482611566797\ 9701013198001/72739843756321592515176675756808244846042356759964263\ 296618553635504408219788*c_1010_4 + 1803916346137904829098496141381965600543663036463294987360665911014\ 7559927975817/14547968751264318503035335151361648969208471351992852\ 6593237107271008816439576, c_0011_0 - 1, c_0011_11 - 41327041120905081736713626205490494653853325585594257243635\ 974002/189565427048388178887176391070766724969716260304457166218214\ 491413*c_1010_4^15 - 7617750055239355834396751729145549579595060537\ 912116858044467178/270807752926268826981680558672523892813880371863\ 51023745459213059*c_1010_4^14 + 78436305809210151875608364365233406\ 712319405222246640518567675340/189565427048388178887176391070766724\ 969716260304457166218214491413*c_1010_4^13 + 127475018626931707071574736416448953872388405249897698466055263900/\ 27080775292626882698168055867252389281388037186351023745459213059*c\ _1010_4^12 - 553654968660388026449531437005679817652954315691352112\ 8867780015698/18956542704838817888717639107076672496971626030445716\ 6218214491413*c_1010_4^11 - 905097266356890924621496276108598841415\ 2656090190190677604264729096/18956542704838817888717639107076672496\ 9716260304457166218214491413*c_1010_4^10 + 2985201663684506632535959432197709227093661173179384303003264068224\ 8/18956542704838817888717639107076672496971626030445716621821449141\ 3*c_1010_4^9 + 3278307246327402253821128734592737521168270749978434\ 5893470927786264/18956542704838817888717639107076672496971626030445\ 7166218214491413*c_1010_4^8 - 1220536525044250686583707546339225434\ 45299672574151035352306148921126/1895654270483881788871763910707667\ 24969716260304457166218214491413*c_1010_4^7 - 7366201649163956692874636279342614298306321262766946493657049791945\ 8/18956542704838817888717639107076672496971626030445716621821449141\ 3*c_1010_4^6 + 4646410855489194182235182258421567849984338052865877\ 539506480455106/189565427048388178887176391070766724969716260304457\ 166218214491413*c_1010_4^5 + 22186886109597652256437172758984339185\ 435040808328474682558804867315/189565427048388178887176391070766724\ 969716260304457166218214491413*c_1010_4^4 - 471387956316534174200042096589820163734037084825435430306598498824/\ 27080775292626882698168055867252389281388037186351023745459213059*c\ _1010_4^3 - 4796284213962863385787500706855830394132539155825717095\ 278579635689/189565427048388178887176391070766724969716260304457166\ 218214491413*c_1010_4^2 - 99451893437042560675529644763673231909431\ 6841794642293691575589914/18956542704838817888717639107076672496971\ 6260304457166218214491413*c_1010_4 + 37901736879917586193668267039900702523219656186966839337888992089/2\ 7080775292626882698168055867252389281388037186351023745459213059, c_0011_12 + 13355681962387968245491286811271179458686439528005562438200\ 872436/189565427048388178887176391070766724969716260304457166218214\ 491413*c_1010_4^15 + 1837046450613811808302276973709594385096370687\ 1361850824636022480/18956542704838817888717639107076672496971626030\ 4457166218214491413*c_1010_4^14 - 241077739800778575471964022023842\ 07979178602654514059389650412272/1895654270483881788871763910707667\ 24969716260304457166218214491413*c_1010_4^13 - 290730314192366037509409422045849107044028230651709033419085978754/\ 189565427048388178887176391070766724969716260304457166218214491413*\ c_1010_4^12 + 17652393767868606613827981923795158258407517798027070\ 90986413736228/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^11 + 30821495272759703051765955920814124802\ 66290343873537737556593956526/1895654270483881788871763910707667249\ 69716260304457166218214491413*c_1010_4^10 - 9430677127965376439769062245139779693046603015157187023808637037959\ /189565427048388178887176391070766724969716260304457166218214491413\ *c_1010_4^9 - 11453365526729359432308522691129725140707166100930281\ 837689453889344/189565427048388178887176391070766724969716260304457\ 166218214491413*c_1010_4^8 + 38726515875416615563246398408914533666\ 654381989044649260639266018914/189565427048388178887176391070766724\ 969716260304457166218214491413*c_1010_4^7 + 2727817160297811945424239601698156328324914833457832883982495482961\ 4/18956542704838817888717639107076672496971626030445716621821449141\ 3*c_1010_4^6 - 2212112605821553996693007614473558983511289553326267\ 77220355402583/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^5 - 743883640513285012344151623053834948825\ 8160999446998025386730617134/18956542704838817888717639107076672496\ 9716260304457166218214491413*c_1010_4^4 + 654608941513262494123989470009643486597285272813027006863464454418/\ 189565427048388178887176391070766724969716260304457166218214491413*\ c_1010_4^3 + 184439570089908294685843996946930370665696338553934060\ 5842361259214/18956542704838817888717639107076672496971626030445716\ 6218214491413*c_1010_4^2 + 3420117061267983243682515630632471173296\ 54920155528239838280758493/1895654270483881788871763910707667249697\ 16260304457166218214491413*c_1010_4 - 169870751938088395808916349259089454537626955277109110447123752740/\ 189565427048388178887176391070766724969716260304457166218214491413, c_0011_3 + 133556819623879682454912868112711794586864395280055624382008\ 72436/1895654270483881788871763910707667249697162603044571662182144\ 91413*c_1010_4^15 + 18370464506138118083022769737095943850963706871\ 361850824636022480/189565427048388178887176391070766724969716260304\ 457166218214491413*c_1010_4^14 - 2410777398007785754719640220238420\ 7979178602654514059389650412272/18956542704838817888717639107076672\ 4969716260304457166218214491413*c_1010_4^13 - 290730314192366037509409422045849107044028230651709033419085978754/\ 189565427048388178887176391070766724969716260304457166218214491413*\ c_1010_4^12 + 17652393767868606613827981923795158258407517798027070\ 90986413736228/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^11 + 30821495272759703051765955920814124802\ 66290343873537737556593956526/1895654270483881788871763910707667249\ 69716260304457166218214491413*c_1010_4^10 - 9430677127965376439769062245139779693046603015157187023808637037959\ /189565427048388178887176391070766724969716260304457166218214491413\ *c_1010_4^9 - 11453365526729359432308522691129725140707166100930281\ 837689453889344/189565427048388178887176391070766724969716260304457\ 166218214491413*c_1010_4^8 + 38726515875416615563246398408914533666\ 654381989044649260639266018914/189565427048388178887176391070766724\ 969716260304457166218214491413*c_1010_4^7 + 2727817160297811945424239601698156328324914833457832883982495482961\ 4/18956542704838817888717639107076672496971626030445716621821449141\ 3*c_1010_4^6 - 2212112605821553996693007614473558983511289553326267\ 77220355402583/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^5 - 743883640513285012344151623053834948825\ 8160999446998025386730617134/18956542704838817888717639107076672496\ 9716260304457166218214491413*c_1010_4^4 + 654608941513262494123989470009643486597285272813027006863464454418/\ 189565427048388178887176391070766724969716260304457166218214491413*\ c_1010_4^3 + 184439570089908294685843996946930370665696338553934060\ 5842361259214/18956542704838817888717639107076672496971626030445716\ 6218214491413*c_1010_4^2 + 3420117061267983243682515630632471173296\ 54920155528239838280758493/1895654270483881788871763910707667249697\ 16260304457166218214491413*c_1010_4 - 169870751938088395808916349259089454537626955277109110447123752740/\ 189565427048388178887176391070766724969716260304457166218214491413, c_0011_4 + 301965845875046069391932873739781922339079088757881661259732\ 909/997712773938885152037770479319824868261664527918195611674813112\ 7*c_1010_4^15 + 487122305584829421427821140965500551190218256394686\ 550215827462/270807752926268826981680558672523892813880371863510237\ 45459213059*c_1010_4^14 - 16092565250038346346261187646411690766969\ 108006839003350801633676/189565427048388178887176391070766724969716\ 260304457166218214491413*c_1010_4^13 - 16645717907132220153770330839442247195098669583257554458401528382/2\ 7080775292626882698168055867252389281388037186351023745459213059*c_\ 1010_4^12 + 8545186585024814288267366127327047519887328907721017159\ 68036397044/1895654270483881788871763910707667249697162603044571662\ 18214491413*c_1010_4^11 + 72282471614256773059183462525326132437226\ 6814163821956273069854519/18956542704838817888717639107076672496971\ 6260304457166218214491413*c_1010_4^10 - 5021850661535913832985020699711476645975412946148164711222760817972\ /189565427048388178887176391070766724969716260304457166218214491413\ *c_1010_4^9 - 16939889910242157939242399958735734533763972030622231\ 47680770531829/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^8 + 200824763093048870604744210709315406744\ 79991892143469356752397495364/1895654270483881788871763910707667249\ 69716260304457166218214491413*c_1010_4^7 - 1444506844334290627563623080110487386611991698331201442897895936477\ /189565427048388178887176391070766724969716260304457166218214491413\ *c_1010_4^6 - 76125841889953659163864608431739769949270555749422899\ 63494460432360/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^5 - 310603728056441751756406618489824316696\ 8777597171105268915124061346/18956542704838817888717639107076672496\ 9716260304457166218214491413*c_1010_4^4 + 234201668874235823155981336537852076091291903400301747858566370394/\ 27080775292626882698168055867252389281388037186351023745459213059*c\ _1010_4^3 + 4403666621832041599882723839936311233042931995840460418\ 54587388935/1895654270483881788871763910707667249697162603044571662\ 18214491413*c_1010_4^2 - 298891237040403862645089885808682896506791\ 187626207324330974997867/189565427048388178887176391070766724969716\ 260304457166218214491413*c_1010_4 - 15818391615206593388202101696733107760143756823513518321346663732/2\ 7080775292626882698168055867252389281388037186351023745459213059, c_0101_0 - 176662763165643169209814398489731559234562634684161107984865\ 45603/1895654270483881788871763910707667249697162603044571662182144\ 91413*c_1010_4^15 - 25402457663662230764756554734588432945916598043\ 781974500043307107/189565427048388178887176391070766724969716260304\ 457166218214491413*c_1010_4^14 + 3100143421190222094272402632850757\ 1488142486092785694842568949067/18956542704838817888717639107076672\ 4969716260304457166218214491413*c_1010_4^13 + 387372151685477883179337780384531985414877578704224588380921474459/\ 189565427048388178887176391070766724969716260304457166218214491413*\ c_1010_4^12 - 23123143156196207738905704681421632548929606224619532\ 77461501178755/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^11 - 42365047351210291846583459321123106110\ 40210331911379550356874471707/1895654270483881788871763910707667249\ 69716260304457166218214491413*c_1010_4^10 + 1230451341086560192537015488370178955040973198768188063970128426875\ 6/18956542704838817888717639107076672496971626030445716621821449141\ 3*c_1010_4^9 + 8458186961035828216730821811985709764793289679309367\ 37391135030531/9977127739388851520377704793198248682616645279181956\ 116748131127*c_1010_4^8 - 50754266806776312636366715689867940176811\ 474672384799299612122264581/189565427048388178887176391070766724969\ 716260304457166218214491413*c_1010_4^7 - 3981747835071770017799259198103400676432819399799659736813341198047\ 1/18956542704838817888717639107076672496971626030445716621821449141\ 3*c_1010_4^6 + 9680156412069004385075799175770845113312826321180383\ 525453185353/189565427048388178887176391070766724969716260304457166\ 218214491413*c_1010_4^5 + 11112846909946479668171002654192070651843\ 205378778713509312534958828/189565427048388178887176391070766724969\ 716260304457166218214491413*c_1010_4^4 - 39681716739870601839567707715744115275510135011246937533002640974/9\ 977127739388851520377704793198248682616645279181956116748131127*c_1\ 010_4^3 - 306370445686824395646298006636832968139320522241747029768\ 8935420342/18956542704838817888717639107076672496971626030445716621\ 8214491413*c_1010_4^2 - 5226518077476566016061047046284447101979174\ 64003312821928996332442/1895654270483881788871763910707667249697162\ 60304457166218214491413*c_1010_4 + 150662973187271436849348887317349891246505277038110907169568315158/\ 189565427048388178887176391070766724969716260304457166218214491413, c_0101_1 + 256319311998078487551734187433948310632880415250760240222491\ 1749/18956542704838817888717639107076672496971626030445716621821449\ 1413*c_1010_4^15 + 425324044220262251462511263731680528295374482377\ 4015439323334685/18956542704838817888717639107076672496971626030445\ 7166218214491413*c_1010_4^14 - 316094175303058350265587405751538962\ 1420914046693431427036586458/18956542704838817888717639107076672496\ 9716260304457166218214491413*c_1010_4^13 - 56881955952594460004152590588274327901681210436365806364385781573/1\ 89565427048388178887176391070766724969716260304457166218214491413*c\ _1010_4^12 + 321611120792243422116273729185454173971443530024328406\ 637119970534/189565427048388178887176391070766724969716260304457166\ 218214491413*c_1010_4^11 + 6784383649751392568514602306642518917982\ 85041103660237007389868263/1895654270483881788871763910707667249697\ 16260304457166218214491413*c_1010_4^10 - 1571702045287419568483420246131379397341513703586545292569605926713\ /189565427048388178887176391070766724969716260304457166218214491413\ *c_1010_4^9 - 26607104864215690141832521132547352378490606025727597\ 29022611727783/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^8 + 913482108126102567096311781387872187077\ 948315500652962663250044822/270807752926268826981680558672523892813\ 88037186351023745459213059*c_1010_4^7 + 7257443220687015307961818042945065750885636851495088958717895859514\ /189565427048388178887176391070766724969716260304457166218214491413\ *c_1010_4^6 + 30953752744910031940790823294237861248113619449389170\ 41501911572817/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^5 - 176733207148024986893170078469756236272\ 5281364957776322827477744354/18956542704838817888717639107076672496\ 9716260304457166218214491413*c_1010_4^4 - 926008366527500906335702756007266791866269317780254144752350814580/\ 189565427048388178887176391070766724969716260304457166218214491413*\ c_1010_4^3 + 343853314521489837577175322048428856048844630474911164\ 247600496484/189565427048388178887176391070766724969716260304457166\ 218214491413*c_1010_4^2 + 47288796523273804549861760601757111482777\ 9219166745393069883909922/18956542704838817888717639107076672496971\ 6260304457166218214491413*c_1010_4 + 207341327937500387210815899711774996259665673367204227605901259/997\ 7127739388851520377704793198248682616645279181956116748131127, c_0101_10 - 36739272518674319924105357423511578375499201343786575661376\ 83609/1895654270483881788871763910707667249697162603044571662182144\ 91413*c_1010_4^15 - 54359273611242008419487161225578103418908026767\ 94887100362474395/1895654270483881788871763910707667249697162603044\ 57166218214491413*c_1010_4^14 + 55094537369054110186765179690089955\ 16582379714937572205989369269/1895654270483881788871763910707667249\ 69716260304457166218214491413*c_1010_4^13 + 4209241886147454328767026464103703309423326116921740551151503787/99\ 77127739388851520377704793198248682616645279181956116748131127*c_10\ 10_4^12 - 476103494481979125169274821949684417909155234185606873124\ 007658059/189565427048388178887176391070766724969716260304457166218\ 214491413*c_1010_4^11 - 8858736520017769237441420008056811959577922\ 67966362260881549677545/1895654270483881788871763910707667249697162\ 60304457166218214491413*c_1010_4^10 + 2424457016732699823855312512922909761189497384758185543306700631403\ /189565427048388178887176391070766724969716260304457166218214491413\ *c_1010_4^9 + 33025592638834336975363928729874927533428796677237432\ 06170726207701/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^8 - 988554449982685593149614931994385627752\ 1793532360417562432315429594/18956542704838817888717639107076672496\ 9716260304457166218214491413*c_1010_4^7 - 8226658396660945550733815181644495107836642282300363522659550570143\ /189565427048388178887176391070766724969716260304457166218214491413\ *c_1010_4^6 - 25016598061923856543115197538353162712853546956559684\ 58707304139490/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^5 + 134763419208866394827281984749885507321\ 3906947367173801471653638666/18956542704838817888717639107076672496\ 9716260304457166218214491413*c_1010_4^4 + 34349557527461972327936561395444079149492591584866186346742162952/1\ 89565427048388178887176391070766724969716260304457166218214491413*c\ _1010_4^3 - 5850905030646855574353800734563907030631102185455159679\ 37749083674/1895654270483881788871763910707667249697162603044571662\ 18214491413*c_1010_4^2 - 196840410158040651399685438129589685675168\ 216021831928182308758045/189565427048388178887176391070766724969716\ 260304457166218214491413*c_1010_4 + 115248570229016378611446170249841218485818860439182198594257683099/\ 189565427048388178887176391070766724969716260304457166218214491413, c_0101_2 + 113184014714424167198180893568067839077320685118906444880454\ 90937/1895654270483881788871763910707667249697162603044571662182144\ 91413*c_1010_4^15 + 14267728303151040285650627571461372046049751717\ 48963175904760966/2708077529262688269816805586725238928138803718635\ 1023745459213059*c_1010_4^14 - 270537412371187956224798379828290497\ 36120927679690459224018498948/1895654270483881788871763910707667249\ 69716260304457166218214491413*c_1010_4^13 - 33621131610389626018528368032509994421589789133231137420230320980/2\ 7080775292626882698168055867252389281388037186351023745459213059*c_\ 1010_4^12 + 1614967596927539180459596280472569474158203878178785146\ 811250743252/189565427048388178887176391070766724969716260304457166\ 218214491413*c_1010_4^11 + 1852481781284447818708646083979453909596\ 942437667564335074814019956/189565427048388178887176391070766724969\ 716260304457166218214491413*c_1010_4^10 - 9130395065440351795273764559038881474428576874912434713282176605362\ /189565427048388178887176391070766724969716260304457166218214491413\ *c_1010_4^9 - 55889934477839362220815955963671637926089071982164541\ 53755663946942/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^8 + 367595740697267823093989537475742942883\ 90356753904223251791236062638/1895654270483881788871763910707667249\ 69716260304457166218214491413*c_1010_4^7 + 6400191590756890492163011188118269229063060082218550491512444999912\ /189565427048388178887176391070766724969716260304457166218214491413\ *c_1010_4^6 - 81731067654071755273799025543688908852354023330142402\ 94111584342250/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^5 - 557905924490694563042672057917366876126\ 8219745563453362826323102128/18956542704838817888717639107076672496\ 9716260304457166218214491413*c_1010_4^4 + 414434527240089714808469239606273575352899991388757549147498380714/\ 27080775292626882698168055867252389281388037186351023745459213059*c\ _1010_4^3 + 9317676029425658940153605314256561235291483512351511071\ 50883987462/1895654270483881788871763910707667249697162603044571662\ 18214491413*c_1010_4^2 - 326673854977977172066581751117807667598136\ 190292964544481135600940/189565427048388178887176391070766724969716\ 260304457166218214491413*c_1010_4 - 20650685731084746856981655852758198202065124265938228229643163600/2\ 7080775292626882698168055867252389281388037186351023745459213059, c_0101_3 + 246777871410044671032788843091229910690267564804428991979826\ 41974/1895654270483881788871763910707667249697162603044571662182144\ 91413*c_1010_4^15 + 43075999207185997608883075514809679627496568377\ 24116528645320258/2708077529262688269816805586725238928138803718635\ 1023745459213059*c_1010_4^14 - 475296066292859751467617246339398147\ 08293021160306245212117045200/1895654270483881788871763910707667249\ 69716260304457166218214491413*c_1010_4^13 - 75532390583616978641208449985870003568006611016467256407432494714/2\ 7080775292626882698168055867252389281388037186351023745459213059*c_\ 1010_4^12 + 3338761115031310245490377023101897337006862387596379791\ 239197855316/189565427048388178887176391070766724969716260304457166\ 218214491413*c_1010_4^11 + 5148692623140261529063528030255997580367\ 459542859819809623233602334/189565427048388178887176391070766724969\ 716260304457166218214491413*c_1010_4^10 - 1797540576132552144470411401486871680731039792927867611094153774385\ 2/18956542704838817888717639107076672496971626030445716621821449141\ 3*c_1010_4^9 - 1817406494538663023005977343350891828246038854290233\ 1174930873295882/18956542704838817888717639107076672496971626030445\ 7166218214491413*c_1010_4^8 + 7297708633765175236169014059328766789\ 7048473692697206871307572538898/18956542704838817888717639107076672\ 4969716260304457166218214491413*c_1010_4^7 + 3862747676475461508143790297055093466208587573492800474784234561062\ 5/18956542704838817888717639107076672496971626030445716621821449141\ 3*c_1010_4^6 - 8841484307322060370052516516536545866246013397171242\ 20708723749928/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^5 - 136666007617710415690211258842762658559\ 92749200967105189461043226791/1895654270483881788871763910707667249\ 69716260304457166218214491413*c_1010_4^4 + 302234873451948409033398568110299930314479790305433252578327281966/\ 27080775292626882698168055867252389281388037186351023745459213059*c\ _1010_4^3 + 2589076901576073288184426147116441178670250985283272990\ 626261154474/189565427048388178887176391070766724969716260304457166\ 218214491413*c_1010_4^2 + 72183101571336413856314642014091152183759\ 6951582979065988740799804/18956542704838817888717639107076672496971\ 6260304457166218214491413*c_1010_4 - 29828847479360628780719647945086753164973302002844580237121473115/2\ 7080775292626882698168055867252389281388037186351023745459213059, c_1001_10 + 12520284323062199777752906447594259394701121194983038469564\ 508006/189565427048388178887176391070766724969716260304457166218214\ 491413*c_1010_4^15 + 1389105123708654915204007672477808946264185161\ 0729913982784545106/18956542704838817888717639107076672496971626030\ 4457166218214491413*c_1010_4^14 - 138223478781787251051281791773063\ 5826069415774150701510190756740/99771277393888515203777047931982486\ 82616645279181956116748131127*c_1010_4^13 - 265485991634297386488600095143214248484134561678826960659576280172/\ 189565427048388178887176391070766724969716260304457166218214491413*\ c_1010_4^12 + 17256154296879502473475168472306841750598701525642712\ 04958824132396/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^11 + 24298408360868899765067081083420265145\ 92056059133343296277831407278/1895654270483881788871763910707667249\ 69716260304457166218214491413*c_1010_4^10 - 9483782475166334112351051386812697182042865907249556355161033139538\ /189565427048388178887176391070766724969716260304457166218214491413\ *c_1010_4^9 - 82070317565604199632688039233946473139106005371455934\ 91478047189391/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^8 + 549955324811506424795738918626065623751\ 4308858969518823721459605608/27080775292626882698168055867252389281\ 388037186351023745459213059*c_1010_4^7 + 1532336211855157230911852147077364433140553682553941836348542933283\ 3/18956542704838817888717639107076672496971626030445716621821449141\ 3*c_1010_4^6 - 4347547268488335527070740935148659155555884972328327\ 747466354837680/189565427048388178887176391070766724969716260304457\ 166218214491413*c_1010_4^5 - 57958659071807254731473103398455271929\ 40751896432239115941932718053/1895654270483881788871763910707667249\ 69716260304457166218214491413*c_1010_4^4 + 2754671952388156742687468604263621964094349149497925795608671445400\ /189565427048388178887176391070766724969716260304457166218214491413\ *c_1010_4^3 + 11931386691930812219085622535469625536593983486768771\ 60598672354484/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^2 + 378553379153461912402587951233327653351\ 71830361921482599097521048/1895654270483881788871763910707667249697\ 16260304457166218214491413*c_1010_4 - 108505165154476980862058773341896686904544948605211386487817362995/\ 189565427048388178887176391070766724969716260304457166218214491413, c_1001_5 - 338618945686241900104879400937720750870673370797094272461125\ 01412/1895654270483881788871763910707667249697162603044571662182144\ 91413*c_1010_4^15 - 50140567074430631307140094492261392304202006407\ 479933557328620701/189565427048388178887176391070766724969716260304\ 457166218214491413*c_1010_4^14 + 5702811181767950187414416442680845\ 3607789086114364936436755489418/18956542704838817888717639107076672\ 4969716260304457166218214491413*c_1010_4^13 + 744167471644070599441287575353407477399240608202997274448700065635/\ 189565427048388178887176391070766724969716260304457166218214491413*\ c_1010_4^12 - 44000438544080658275875853732874709013502483633555268\ 92290213251952/1895654270483881788871763910707667249697162603044571\ 66218214491413*c_1010_4^11 - 83020182736402825874415553889078611636\ 56338519662902925602567555562/1895654270483881788871763910707667249\ 69716260304457166218214491413*c_1010_4^10 + 2320535858282077525130916423446131873862342218996676369488787783598\ 4/18956542704838817888717639107076672496971626030445716621821449141\ 3*c_1010_4^9 + 3167470675599717719914351400453414434725381525793405\ 1362978952226605/18956542704838817888717639107076672496971626030445\ 7166218214491413*c_1010_4^8 - 9580644457684862945576682519836583746\ 5328262449761012751500049891666/18956542704838817888717639107076672\ 4969716260304457166218214491413*c_1010_4^7 - 7980388959971338939347204237679948357063317898354448789709002349320\ 2/18956542704838817888717639107076672496971626030445716621821449141\ 3*c_1010_4^6 - 5710191524173355239248052041471323253337302277333137\ 64676009691362/2708077529262688269816805586725238928138803718635102\ 3745459213059*c_1010_4^5 + 1895648725550510952023561168008135595105\ 8390949214352000261000960696/18956542704838817888717639107076672496\ 9716260304457166218214491413*c_1010_4^4 - 486249367748695115080648942117064927868421711071291133143368722608/\ 189565427048388178887176391070766724969716260304457166218214491413*\ c_1010_4^3 - 466332126896417111317193071673611156777696636262922333\ 4420080655000/18956542704838817888717639107076672496971626030445716\ 6218214491413*c_1010_4^2 - 1124678574389543557029761495367758452767\ 811900047710982191849915304/189565427048388178887176391070766724969\ 716260304457166218214491413*c_1010_4 + 219888488867400871942126235413889655903546950010047851399614812165/\ 189565427048388178887176391070766724969716260304457166218214491413, c_1010_4^16 + 619/523*c_1010_4^15 - 1056/523*c_1010_4^14 - 11185/523*c_1010_4^13 + 71250/523*c_1010_4^12 + 106901/523*c_1010_4^11 - 388659/523*c_1010_4^10 - 374100/523*c_1010_4^9 + 1581602/523*c_1010_4^8 + 768735/523*c_1010_4^7 - 131183/523*c_1010_4^6 - 291641/523*c_1010_4^5 + 78244/523*c_1010_4^4 + 58504/523*c_1010_4^3 + 5590/523*c_1010_4^2 - 5836/523*c_1010_4 + 829/523 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_1001_10, c_1001_5, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 7917166200548349822897729251657461923199474235557865683270608232250\ 05887/7662359925896005562573555561095424306468608386281283794345566\ 23481574892032*c_1010_4^24 - 28863837171296604009749505920224797660\ 25606800511266206360389165673413719/7662359925896005562573555561095\ 42430646860838628128379434556623481574892032*c_1010_4^23 + 8241298948241739401749500962667522179625795829749401632251674161550\ 469445/766235992589600556257355556109542430646860838628128379434556\ 623481574892032*c_1010_4^22 - 7274462865522755405153090991380933162\ 171317158088963846569273272212999077/383117996294800278128677778054\ 771215323430419314064189717278311740787446016*c_1010_4^21 + 2264833781007009513427321099621807478116706192676721412106849213223\ 6730951/38311799629480027812867777805477121532343041931406418971727\ 8311740787446016*c_1010_4^20 - 866300394641342266488658260486473115\ 89765359292597357281862725930622591183/7662359925896005562573555561\ 09542430646860838628128379434556623481574892032*c_1010_4^19 + 1537919554122755132672837053142501529699104637332080141847448563915\ 33167489/7662359925896005562573555561095424306468608386281283794345\ 56623481574892032*c_1010_4^18 - 38835710943927967020427681787416215\ 443861640216139744927110840658358832159/957794990737000695321694445\ 13692803830857604828516047429319577935196861504*c_1010_4^17 + 2010585952059664079432822701016601653511961685083853928245758231249\ 0321709/33314608373460893750319806787371410028124384288179494758024\ 201020938038784*c_1010_4^16 - 2550073330380031415731715239434102061\ 54120234249025392856348417973131550623/3831179962948002781286777780\ 54771215323430419314064189717278311740787446016*c_1010_4^15 + 4605904789042063350842088242665181014557404997456847410226348209860\ 55887941/7662359925896005562573555561095424306468608386281283794345\ 56623481574892032*c_1010_4^14 + 17321005517035443360214621762455200\ 137327768575823212633282626309665914767/191558998147400139064338889\ 027385607661715209657032094858639155870393723008*c_1010_4^13 - 7073457022999784590278918679014784236019549517534029820013820011025\ 87132947/3831179962948002781286777780547712153234304193140641897172\ 78311740787446016*c_1010_4^12 - 19280693775740778952347442673294743\ 7839039390287618392983457638061702683265/95779499073700069532169444\ 513692803830857604828516047429319577935196861504*c_1010_4^11 + 2342478922414091591812960878270051417945489709093587036288228229301\ 083752685/383117996294800278128677778054771215323430419314064189717\ 278311740787446016*c_1010_4^10 + 2808058261366836724763781417580011\ 475779442749582679575441254443642656325947/383117996294800278128677\ 778054771215323430419314064189717278311740787446016*c_1010_4^9 - 5020727342481844555123238226236673054154525641757679794940427702867\ 18930017/2394487476842501738304236112842320095771440120712901185732\ 9894483799215376*c_1010_4^8 - 1537465079363593084049637318089905598\ 687653753449803864451322099447899769607/191558998147400139064338889\ 027385607661715209657032094858639155870393723008*c_1010_4^7 + 6599029694771843446438075695878049694797806153640325426118076081677\ 134891929/191558998147400139064338889027385607661715209657032094858\ 639155870393723008*c_1010_4^6 + 65438423264290805478839019974626246\ 5491434496563408191564453561755835475081/38311799629480027812867777\ 8054771215323430419314064189717278311740787446016*c_1010_4^5 - 1413040049984854239808143905392120715484988148034535425279367238865\ 7897168831/38311799629480027812867777805477121532343041931406418971\ 7278311740787446016*c_1010_4^4 + 3325094514071188551281875157680528\ 966701037942217975429925266203106350175997/383117996294800278128677\ 778054771215323430419314064189717278311740787446016*c_1010_4^3 + 6286101969703856264513726684859996222859607448579070967889708476867\ 606957973/383117996294800278128677778054771215323430419314064189717\ 278311740787446016*c_1010_4^2 - 82253190562532253212134764078748877\ 0995889935146828482685689177065801556103/19155899814740013906433888\ 9027385607661715209657032094858639155870393723008*c_1010_4 - 2659065964427357181555792203544592380094167270746287792728144269350\ 095322087/766235992589600556257355556109542430646860838628128379434\ 556623481574892032, c_0011_0 - 1, c_0011_11 - 13249909259996202726603714560395712819094434019191846559/11\ 553443310832507591700594860232318592462982681912943116171*c_1010_4^\ 24 + 49505251325193020612829913481222691985375380367700952085/11553\ 443310832507591700594860232318592462982681912943116171*c_1010_4^23 - 142950213496456584786094435089187173000491981941267593903/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^22 + 265896494376970376086632176154804950340585440617295914955/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^21 - 823659067052729092008229552512503888436227107088446945885/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^20 + 1649227408326850871955292668852345134383116347491316633918/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^19 - 3018237999856322306627861177836258382498279905345610252891/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^18 + 6244738746478971422579159911227757538426424750831821894094/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^17 - 10037848740886261969623735146090128155875719330737574025167/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^16 + 12832986336368210516551003749949338491080930197398414343610/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^15 - 15736435192912029399106290329362633688114856904166510131432/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^14 + 12253983085420221726562931806701107987527996518775359171642/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^13 + 4680707621532342398105825290142623279070455835773191678343/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^12 + 49993659325964546741668796174456232687898785688476620755125/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^11 - 109171072581458422166535183066584359633532421508782958169571/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^10 - 64847307292408512577679496421673872722969733479848558592120/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^9 + 233766957642699654041516433379892852855488118056005896943507/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^8 + 169095105557571261473255293646504654670989716623453653887552/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^7 - 475161431485544529129525057781821379336722953077972278424324/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^6 - 76117218494659922156581059247008327969589157294416629535603/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^5 + 475305475630181367831861786923416330172441458104309545753487/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^4 + 45532155156122889423746247158131727193229982711883769211185/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^3 - 323081590900315425171798771357532204917388940470365851383374/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^2 + 24537878274606310370153849759301584905381173045390873028143/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4 + 75059964794086541817415198326600931475136543766790228295030/1155344\ 3310832507591700594860232318592462982681912943116171, c_0011_12 + 7722584553467263932993575618361567492662890822209490557/115\ 53443310832507591700594860232318592462982681912943116171*c_1010_4^2\ 4 - 22092958024692624343842502079933711179541649885216428122/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^23 + 55514987589215764797511114457962792055567509140922609972/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^22 - 68645382964828095079404509390254465815330887763508909727/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^21 + 303626002963036627150453083896494787239268590738711501320/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^20 - 450512412338362161067629857045289866732233814652864029844/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^19 + 696269629330154523328472309084153068398563483433119360126/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^18 - 1577346822598172795416816398158053243663794251434545663679/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^17 + 1739045825563160135616887153536361892238829141281985857170/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^16 - 508874779360223403940055523016562344857627741235019349907/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^15 - 461243673094353917219210094480481875621211043037156233447/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^14 + 4906696447950447172070494919813199520081551063487186539177/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^13 - 13275357096438931994102529403650893793422139856184600423445/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^12 - 29514486767340227577885238011683667056337613772648639120644/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^11 + 43425108579924347683415786753430869003790631844895471215940/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^10 + 90440773268357952603393663978678805321332422083518471236575/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^9 - 124110517276774903180652054469021807979263718343474959344784/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^8 - 219370132353582076290956215275037378107293089401450419007882/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^7 + 263404280865816230836656884521123710144502905635997963301957/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^6 + 231380223129419966992670185036415721819305876478450503244947/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^5 - 327352338827597029691929237522344866402965903955443941661999/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^4 - 163658649430245928502653332352264281821033802979595587437019/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^3 + 215280051401341566860688593884194660407557994298026548472892/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^2 + 18850542363930713033547878159048955492719480385439058733605/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4 - 30718902754643754160794490432255173654215956119895255608474/1155344\ 3310832507591700594860232318592462982681912943116171, c_0011_3 - 11275501929137709251616312181797242096009004852693663554/115\ 53443310832507591700594860232318592462982681912943116171*c_1010_4^2\ 4 + 32617616473601981298187227096951291254686121826568157718/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^23 - 84865260731599912422498812294792548340017477309719419459/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^22 + 114451500414113607127378033634238177433975422973657880497/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^21 - 483934897523832202356018932414480294619061335084153646004/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^20 + 752499864063068577616422100157483689814720694317559212098/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^19 - 1267725648310682066312971903740954269491540305251705624723/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^18 + 2819634863086062149451624819824033020257571273575964643692/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^17 - 3574871933311188696591886482935111061874996209202144138238/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^16 + 2776163544926430863969302702750286732703928505715236779632/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^15 - 2668394919182370699813361565497975940760224287493483039141/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^14 - 2323285628398507162898901019926437406366428240986359481684/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^13 + 13132033788503244585161800197788497098354069597050895418788/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^12 + 48600307143325668183271386399173508894666741714241064850592/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^11 - 66883216774394535689511750235095749082328909352247866104153/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^10 - 120107515469166675139999518901688388740012529922008690507888/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^9 + 164182568462149612075061086628053529237137690823292427205189/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^8 + 313965003170534944271005772872067848937479360737794691945825/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^7 - 358343718259772821057518935806620428716508656411967236931023/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^6 - 331198221000465265949049481664802025722263026989322018366162/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^5 + 443377066057847897423362661880727218096847905195557302938159/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^4 + 262295926478660199781163945562299772969251686925014100534878/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^3 - 310092496695014433871270033557822289559297816132824965008311/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^2 - 44461005384760492268195724518868313141890665487287827071767/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4 + 63210173220959155831017714351822310606821464559171918516736/1155344\ 3310832507591700594860232318592462982681912943116171, c_0011_4 + 3893393106198591122514245276880831622817585211308892794/1155\ 3443310832507591700594860232318592462982681912943116171*c_1010_4^24 - 15050166554936362165063503747138169697730711250250413169/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^23 + 40296074520269369049912812524949525282885084236942059048/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^22 - 70970972727058222323676505795783606618198658607527647784/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^21 + 212651460639155766927039189586678450404338129488539952435/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^20 - 437512578679485714122313417785392085637520126092108090587/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^19 + 698587679416277518793798188792385203298238651930242777722/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^18 - 1464923571912598188864178193124621957789379040082904455787/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^17 + 2211832370228187604486955360101457036562994262590827592723/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^16 - 2100255631950761729752396387278733921411026300975830400486/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^15 + 1798982369875567928755245633810580170258411733146041362432/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^14 + 747584966965589409352525199362632236737878992390626961450/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^13 - 7729865515973721507455148837352083067713086720332329448524/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^12 - 7729927639391675629178432972397089968162545400434935369884/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^11 + 30326697832038275411948610649378432254856596310066325504081/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^10 + 33140678489033038432996522048170280545754946074230456753977/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^9 - 96487863268205344258044434036733218791977797179598688066589/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^8 - 52640911648158502107661623863328400545229743772100348912051/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^7 + 173967815443374643633815020013899095724205436746880357824816/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^6 + 45451429462267979749883669255049501991816296249903690214109/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^5 - 197436813462453488076036046721258819861853056198075476933772/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^4 - 7150070765716236360770196976938843923300239986772334632041/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^3 + 112636551022983084852294232092783397884776514864124714498870/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^2 + 5412995835684667492283438515133792126596615190319251833053/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4 - 27600473102652350879642086024003296959671052571866401784051/1155344\ 3310832507591700594860232318592462982681912943116171, c_0101_0 - 10613376969490131218179672078993261230688377279867405352/115\ 53443310832507591700594860232318592462982681912943116171*c_1010_4^2\ 4 + 33731783694141890584862498284943720797112762640315334068/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^23 - 96968009003926559642304495791149547087519312663646222669/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^22 + 163699093115363347676284646169607207627285065037594126413/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^21 - 584831525752600456950094593818260581210211052027131081714/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^20 + 1033434828789834923656815427888869404591864574226279150881/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^19 - 1962212305559529050505799848102418184791657635359864138048/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^18 + 4164382819048811347305259845721934177425213364090018066596/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^17 - 6263426321775507633488498583720590546931881259351055073451/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^16 + 7984716966016968528511461973292219287654256003953375222464/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^15 - 10275997650177990761732430343624344764191978524411330328529/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^14 + 7679984036417240542048750409502849073652831538224112216405/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^13 + 2279710993053715425806937279591702234337327661502871785886/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^12 + 48848472992622505644586728739181485754691463435277881269789/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^11 - 68456821119825878079414892175392003353775343012763393961170/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^10 - 75659938973133942263945845723112452512400382568261053349683/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^9 + 128804921498628946126402141150701738361132987906335069861415/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^8 + 211745951958836102283424933953621091838130598650570565910848/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^7 - 270436822096164059196837677019292226896074424342076806476659/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^6 - 186145559152108855386544765751150849934716555700214187765595/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^5 + 274888905056194239552080569042999187182615053935480085997851/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^4 + 164503757574336780587252381268591563976404427226280642985496/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^3 - 185403423493964265117419179429734292612739093386666726733968/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^2 - 30901006747863174173946518047662822589384414554800072987796/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4 + 34776739686588497587627769218938604254932567964410962799767/1155344\ 3310832507591700594860232318592462982681912943116171, c_0101_1 - 1848660748507373070128084678744448907082163857275727275/1155\ 3443310832507591700594860232318592462982681912943116171*c_1010_4^24 + 5905572979058721187509583508226065477215461182362071281/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^23 - 14263171317544699468482613367568021482788298400663961853/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^22 + 19999724098145931053958764914961070556105254450953773065/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^21 - 78601360277609828744671606668388413192501226297272468435/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^20 + 146115938362031488649996300745355384773355829574483009391/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^19 - 219310205056233232408772184695429011854037045784812788060/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^18 + 523463471882436506681090956215394866162757460364582740969/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^17 - 763807167037600403035664373101512034377151277540614243189/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^16 + 719693130186827696627092141842572953293687150429459123016/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^15 - 990296466968365798415383843723689040640944741531145047284/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^14 + 971667995595556168786641883409889129217014606657019921987/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^13 - 2631826313320895903576085403982144705345885253707374641/11553443310\ 832507591700594860232318592462982681912943116171*c_1010_4^12 + 11528109404781664035498696454328594942434966550600526167684/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^11 - 19903497682778544287819205126438501044984178331868758387753/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^10 - 16456323358212935080392201164824567390221052582858762879801/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^9 + 32883081991597659890801526605026946727347661821881349697169/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^8 + 66517810714111411602367083594569971782741297719657913551356/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^7 - 102384427040254775251967579777171322315416705398739872831503/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^6 - 69324335182705255539186402902126603758786380319154830238703/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^5 + 128810612379576778408347220097780784037499932513086499404903/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^4 + 60707026842305894325541901776576832540915799320978256507335/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^3 - 127681095198986567815765699892686370193930198561589285176546/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^2 - 11590438316711468348127848594914452073988020410289971180572/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4 + 34535066587074041209692668239409944128002785084659329728889/1155344\ 3310832507591700594860232318592462982681912943116171, c_0101_10 - 1, c_0101_2 + 2001740320527094192190763228916894517769954410595774782/1155\ 3443310832507591700594860232318592462982681912943116171*c_1010_4^24 - 2989173306930852268196384587934712455718416825543433316/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^23 + 3957505038787595991784231303261452423860546557756796859/11553443310\ 832507591700594860232318592462982681912943116171*c_1010_4^22 + 15031835459506067371973500309793696749658661265835382386/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^21 + 7060035469551078288238183859283421806166983091918419010/11553443310\ 832507591700594860232318592462982681912943116171*c_1010_4^20 + 102507212968365753147410371731929094241894953765523730293/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^19 - 281782048785494463057560033231570604920461528199553683274/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^18 + 510698454188896432479732870682691051944397798201718855456/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^17 - 1559373938901198830407176797830437542507975961255187704997/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^16 + 3282975235292278540399205127929717415433610297416626060771/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^15 - 5520146849579008151875395925006498021551014977562579072005/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^14 + 9431492383395179531925189177370968853701645060990784904180/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^13 - 13116559818534139813596120413056164082735645194553185801873/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^12 + 1238915566442016972339397200237684187604442958671651593326/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^11 - 9539971507727860633991274207350763728786007813029328402756/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^10 + 52785060662662557655273454266347287018260291181400785550986/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^9 - 30874434883355847416779997550023414888529032375394349913621/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^8 - 67778223670065403598384383473507853583287486899415818241656/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^7 + 23870978825066651897209594630464436609483511843615276633699/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^6 + 105510088186212791312335371352998645988495740889759049720026/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^5 - 56392061462138881023113848507713386267969789914253387240540/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^4 - 48756167272176387868996023644791415773754848239189540972001/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^3 - 4083902497791976087420308806271049983483710166750953554302/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^2 + 42664721432083445177544035662531108956589403648505707845153/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4 + 6224359299112697312696528891748226582532805819071019072773/11553443\ 310832507591700594860232318592462982681912943116171, c_0101_3 + 5079108388100154525504820693321476020482008836563097583/1155\ 3443310832507591700594860232318592462982681912943116171*c_1010_4^24 - 19897038957177514241585090620067583267871114633488469876/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^23 + 56848669168917192646476036348637502918581946111060319584/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^22 - 105920525594031461017628611426799597096400161229214932485/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^21 + 316581068700696662213609071613773185082343678961505543439/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^20 - 652837629843213016632748061405399998560275973474106526141/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^19 + 1169275379057306506578500135262351937798065871048783034802/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^18 - 2380734432194894943996944827332223804525447603615861953585/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^17 + 3878382429904892891118033582319925141134603791032651218591/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^16 - 4778061299775413369960883116751711118490530282102487677264/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^15 + 5538458463373374354778916798665497711786621021658090216396/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^14 - 3933644646258820620985863577523907904948902087479295476144/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^13 - 3239562178777471939783242600088432240077811337834336615137/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^12 - 16990401909071435961046396104738554811899360419502723570260/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^11 + 45907803972405696736821918371719251968726138758091086311809/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^10 + 20802656735765834815182812627505162159627175498438991741103/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^9 - 105987848797142293523719961922415794587393919625773724466451/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^8 - 53852974564257776008870389280532946335470911543993339604533/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^7 + 221073535705678440656542459578929146548038690997124693563008/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^6 + 2500993030934102071053763076882945657835116435964262011332/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^5 - 230432086969335198737107386494642467344389651485763435037468/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^4 + 14290777632420158240927840822545191241611416570750674844174/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^3 + 158012248607358244302993201880566728882511914862599221081585/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^2 - 26926862891073673318104436780193738060645024968775767748977/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4 - 33528997849281383053566057019971000608169403893825779466918/1155344\ 3310832507591700594860232318592462982681912943116171, c_1001_10 - 3850401069034467262318847907661343424852118267871502057/115\ 53443310832507591700594860232318592462982681912943116171*c_1010_4^2\ 4 + 8894746285989573455705968096160777932933878007905504597/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^23 - 18220676356332295460266844670829473906648844958420758712/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^22 + 4967888638639863681985264605167373806446593185118390679/11553443310\ 832507591700594860232318592462982681912943116171*c_1010_4^21 - 85661395747160907032909790527671834998668209389190887445/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^20 + 43608725393665735502585929013426290531460875808959279098/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^19 + 62471843729261230648787848536141593066424482414740895214/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^18 + 12765017693540074201358085532703814218359662162863885513/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^17 + 795566771863598427371512424728925508130824683714573461808/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^16 - 2563282105105450843772112986087144462139923146987166937755/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^15 + 4529850382610642353460012081282808980910070236031434024721/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^14 - 8459824387799623363138547293961079724484630454333764982193/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^13 + 13113927992220818917692544327652181938030299309299478427232/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^12 + 10289193838339647063159299254090910754830523591928874574358/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^11 - 10363526175050683653827930919087737316198170518839429984997/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^10 - 69241384020875492735665655431171854408481343764259548430787/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^9 + 63757516874953507307581524155050361615876694197275699610790/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^8 + 134296034384176815200751467068077825366028784619073731793012/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^7 - 126255405865321427149177174407635758924900217242355149465202/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^6 - 174834423368918046851521774255125249747282121208913879958729/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^5 + 185202673841715659431461068605494170305469722427339886645443/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^4 + 109463194114482282194537925421368248314670647560167797479336/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^3 - 123597192701194591728345391086415320210446488394838331622244/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^2 - 42701716437962405933971289397213242438114441376882735909554/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4 + 28310707287961343896996139347661717545469979265588310656116/1155344\ 3310832507591700594860232318592462982681912943116171, c_1001_5 - 6979739228796895275581479745138727572991787995657779975/1155\ 3443310832507591700594860232318592462982681912943116171*c_1010_4^24 + 13067156289206954986837012964170890061238143744715860667/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^23 - 25611710737271713355263415335093649754230675694057346829/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^22 - 11894122253987217411704357880426601048668479675317694507/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^21 - 140700220022126765831498080469709562656201334937977609731/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^20 - 16411654093771238343249612307879111960435515553955644789/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^19 + 158343153348079449800015518944154680885542832603235271431/115534433\ 10832507591700594860232318592462982681912943116171*c_1010_4^18 - 91243197687898484479391351691533893305005789503821865828/1155344331\ 0832507591700594860232318592462982681912943116171*c_1010_4^17 + 1422002962541833981333961486205050536808859839263474217617/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^16 - 4156790497035567885677593828705621583726990456253522483137/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^15 + 6169946161542958151034030235696942837136094570803731094922/11553443\ 310832507591700594860232318592462982681912943116171*c_1010_4^14 - 10525759233616502389611305565175984870212952535117615536499/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^13 + 14239956664505460923536088341553811287537280853201232496910/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^12 + 35097612713011431283741242573789002859784980368489355262130/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^11 - 22517856035076828787138620982150782342312168646718297230717/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^10 - 119031333736521132369786036842681116169015471924853332386731/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^9 + 76816450011322339275589906385691425272160426260738698340234/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4^8 + 314385845036918595687492831146944694176832369260819265061182/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^7 - 198379970484243378869532772685945585537984714738198970026323/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^6 - 390224224035422266359219400498730555028854077909151872664988/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^5 + 330214712999727102182977941286975850432883868702159145239273/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^4 + 314755018553831394957792061240843169677227609978679714096219/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^3 - 255224658846108703216953356714392203868760554225330851339820/115534\ 43310832507591700594860232318592462982681912943116171*c_1010_4^2 - 66387432032574591220004318977568448548782725763100162028304/1155344\ 3310832507591700594860232318592462982681912943116171*c_1010_4 + 64729508864417144457946435227971112952290260371910533572111/1155344\ 3310832507591700594860232318592462982681912943116171, c_1010_4^25 - 3*c_1010_4^24 + 8*c_1010_4^23 - 12*c_1010_4^22 + 47*c_1010_4^21 - 78*c_1010_4^20 + 134*c_1010_4^19 - 300*c_1010_4^18 + 404*c_1010_4^17 - 397*c_1010_4^16 + 461*c_1010_4^15 - 34*c_1010_4^14 - 1033*c_1010_4^13 - 4095*c_1010_4^12 + 5605*c_1010_4^11 + 10885*c_1010_4^10 - 13987*c_1010_4^9 - 26133*c_1010_4^8 + 26907*c_1010_4^7 + 31681*c_1010_4^6 - 31559*c_1010_4^5 - 28789*c_1010_4^4 + 21389*c_1010_4^3 + 13909*c_1010_4^2 - 5698*c_1010_4 - 3187 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 10.320 Total time: 10.519 seconds, Total memory usage: 122.16MB