Magma V2.19-8 Tue Aug 20 2013 23:40:34 on localhost [Seed = 2134449129] Type ? for help. Type -D to quit. Loading file "K12n322__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n322 geometric_solution 10.87206898 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1302 0132 0132 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 0 1 1 0 -1 0 0 0 0 0 -3 4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656906537697 0.810097111385 0 4 5 0 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 0 0 0 -1 0 0 1 3 1 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443290129024 1.046677050087 6 7 8 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.438965668076 0.532963899494 4 9 0 10 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.806229389169 0.478711375426 3 1 9 11 0132 0132 2103 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654378998171 1.279266656500 11 7 8 1 0132 2031 3201 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.556725135809 0.750054352653 2 11 7 10 0132 2103 1023 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.345621097299 0.541382431868 5 2 6 9 1302 0132 1023 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.205967300060 0.577798420972 5 9 10 2 2310 1302 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.830806970262 0.652960841689 4 3 7 8 2103 0132 2031 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577178093241 0.560906821004 6 8 3 11 3120 3201 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.829708082388 0.849814296990 5 6 4 10 0132 2103 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.383904898973 1.012324765975 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_2']), 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0011_8'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_0110_9'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0110_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], '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' : d['1'], 's_2_7' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_8']), 'c_1100_4' : negation(d['c_0110_9']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0011_8']), 'c_1100_0' : d['c_0011_10'], 'c_1100_3' : d['c_0011_10'], 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_9']), 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0101_8']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_0011_8'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : d['c_1001_2'], '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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_0'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0101_2']), 'c_0110_10' : d['c_0101_2'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_10'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_2']), 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_8'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_2, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_0110_9, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1696766285266507205750192705946642196878028786885721020604656766334\ 189538622216314565726/110922713845051524029253622595255199450149678\ 785241958074290271615092362035793109253182975*c_1001_2^22 - 3637990887193843375443710720426251620587793649737136307373654275432\ 662448742252515519188/110922713845051524029253622595255199450149678\ 785241958074290271615092362035793109253182975*c_1001_2^21 - 9615573474746963825112728221640890677790024944532663841185116355678\ 43159090474752860927/2218454276901030480585072451905103989002993575\ 7048391614858054323018472407158621850636595*c_1001_2^20 + 5875783246962385739035745287365918503435535186574281886032267982956\ 6442473611612171534319/11092271384505152402925362259525519945014967\ 8785241958074290271615092362035793109253182975*c_1001_2^19 - 4152377097281977570442107237507179083214597880458069045160694328226\ 641027367664945018732/110922713845051524029253622595255199450149678\ 785241958074290271615092362035793109253182975*c_1001_2^18 - 6350751225574101816589321501591545827476539461805990181480284045093\ 41428529418612800284343/1109227138450515240292536225952551994501496\ 78785241958074290271615092362035793109253182975*c_1001_2^17 + 2591121341154061036055841631460664784846144013987982508602216732650\ 60376656886282920748407/2218454276901030480585072451905103989002993\ 5757048391614858054323018472407158621850636595*c_1001_2^16 + 1137067673025091507466498117706048579121716743563253734527443529478\ 779365417027088240135243/110922713845051524029253622595255199450149\ 678785241958074290271615092362035793109253182975*c_1001_2^15 - 9771441319408780047579519797102061315211860276664402660357799734309\ 066482582414746012841932/110922713845051524029253622595255199450149\ 678785241958074290271615092362035793109253182975*c_1001_2^14 + 4650368760335281541286768183584320325199846364415067003849551298475\ 297037523584207779082407/110922713845051524029253622595255199450149\ 678785241958074290271615092362035793109253182975*c_1001_2^13 + 5319488934227362965442136194612228212208568368426195612508142854820\ 803024979875707153176042/158461019778645034327505175136078856357356\ 68397891708296327181659298908862256158464740425*c_1001_2^12 - 1085656840064485093939897906701516898140216602138752458310608368530\ 0123850597336084017991621/22184542769010304805850724519051039890029\ 935757048391614858054323018472407158621850636595*c_1001_2^11 - 4698414609605595682843268501367354281849406649366084426552151554998\ 8923563935922695788203734/11092271384505152402925362259525519945014\ 9678785241958074290271615092362035793109253182975*c_1001_2^10 + 2255026643424155749633375433657004661357001350952210263051228727862\ 65823021197145715088845298/1109227138450515240292536225952551994501\ 49678785241958074290271615092362035793109253182975*c_1001_2^9 + 1046934317641869197618608449850189423848061387344966474317621552486\ 25165467270641433156685476/1109227138450515240292536225952551994501\ 49678785241958074290271615092362035793109253182975*c_1001_2^8 - 1170946891389913340646582782242101484439557574066764920664752713224\ 972500390881001468541899/268577999624822092080517245993353993826028\ 277930367937225884434903371336648409465504075*c_1001_2^7 + 2153593592914248210591087679082858881536623852185991401358224606575\ 3718080171949186129284334/22184542769010304805850724519051039890029\ 935757048391614858054323018472407158621850636595*c_1001_2^6 + 4139446404058151326349783800035558088922241087066429644638005050249\ 5605029026795424614665209/44369085538020609611701449038102079780059\ 87151409678322971610864603694481431724370127319*c_1001_2^5 - 2153054032644983862212905420611760675605382140086794942761665304058\ 1653419320270834871584752/22184542769010304805850724519051039890029\ 935757048391614858054323018472407158621850636595*c_1001_2^4 - 9230949757666295345215736796702380601089894596288162313968413218828\ 05873759596930215893121281/1109227138450515240292536225952551994501\ 49678785241958074290271615092362035793109253182975*c_1001_2^3 + 2012381887613072537299573366976623017270394951792002700424334445376\ 6935066553557295917756380/44369085538020609611701449038102079780059\ 87151409678322971610864603694481431724370127319*c_1001_2^2 + 1057278991954236971523716234610997654139444330312497100062032153660\ 705516332351640293464005094/110922713845051524029253622595255199450\ 149678785241958074290271615092362035793109253182975*c_1001_2 - 6501076541533040452082069096147564395557721536271270497836871094589\ 49752656518953025694680026/1109227138450515240292536225952551994501\ 49678785241958074290271615092362035793109253182975, c_0011_0 - 1, c_0011_10 + 55465719493699206218312053790426260264397633929849520635612\ 1590642768/49608025867821636348600360982558205552779920436465021575\ 1597713408432883895*c_1001_2^22 - 104162026837170994491679437655957\ 3450006506959925940497234879146493699/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^21 - 3345689860988509780090682472897716244863074677864913327585676230664\ 19/9921605173564327269720072196511641110555984087293004315031954268\ 1686576779*c_1001_2^20 + 194808302202653580904434730257466085949484\ 27928491482684647064400650927/4960802586782163634860036098255820555\ 27799204364650215751597713408432883895*c_1001_2^19 + 3635756597077533155982575090002536304530291688137991794238928598495\ 9/49608025867821636348600360982558205552779920436465021575159771340\ 8432883895*c_1001_2^18 - 200788995348003746721780660759500708100481\ 706291085882433521881075632519/496080258678216363486003609825582055\ 527799204364650215751597713408432883895*c_1001_2^17 + 8044917796709863217167863408391092959838596968339426014116189645380\ 7956/99216051735643272697200721965116411105559840872930043150319542\ 681686576779*c_1001_2^16 + 3813072570080609010590353113347688218565\ 10792277719242555815187168531914/4960802586782163634860036098255820\ 55527799204364650215751597713408432883895*c_1001_2^15 - 3296361649889132109208659063709551226360733934234672086941891787882\ 659441/496080258678216363486003609825582055527799204364650215751597\ 713408432883895*c_1001_2^14 + 1809589710768249006467514437233874948\ 844198263434272602242292771492694336/496080258678216363486003609825\ 582055527799204364650215751597713408432883895*c_1001_2^13 + 1102267069894293596243686740608455256996221910129945597037083966206\ 9293127/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^12 - 370185072440196392682325501158004954\ 4906365212481482186442564791252811651/99216051735643272697200721965\ 116411105559840872930043150319542681686576779*c_1001_2^11 - 1002622818171009310888100346770515288211103194748292593803787794970\ 0692627/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^10 + 754221667065260533908819016949883761\ 27521548773612072363917640970634684974/4960802586782163634860036098\ 25582055527799204364650215751597713408432883895*c_1001_2^9 + 1999139924357567194022954503475176393770763610742847723804611498978\ 2196353/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^8 - 1092485941443490451164431488256113585\ 34463711443898158708276591432380005761/4960802586782163634860036098\ 25582055527799204364650215751597713408432883895*c_1001_2^7 + 1311244650794987877656441604402018419921402861759062875398817462824\ 6377050/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^6 + 64747109729587975490675009043278935616\ 666889438661222144476692813836433927/992160517356432726972007219651\ 16411105559840872930043150319542681686576779*c_1001_2^5 - 1134634980315211739168470280283049812922002676460005258538221050224\ 6381173/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^4 - 20852795949491828466440915744119735579\ 1713488894850457741428222381863642633/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^3 + 4801182345640497149815910305460307100486507814113310885957727166383\ 6199185/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^2 + 72581021085833857671403510655748909486\ 4871239952380832917277049139461339152/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2 - 2487612090671916732220265992461896302479243050915904404481561807593\ 2000553/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895, c_0011_11 - 11351024891323900369539189635581996325480543191669508787113\ 23484841287/9921605173564327269720072196511641110555984087293004315\ 0319542681686576779*c_1001_2^22 + 194255409311541235327245400971291\ 5339000235811164912261731129264132659/99216051735643272697200721965\ 116411105559840872930043150319542681686576779*c_1001_2^21 + 3798496952899584342822545227572198578103046631044694258121392265438\ 671/992160517356432726972007219651164111055598408729300431503195426\ 81686576779*c_1001_2^20 - 37168579644227322362012059542623327394101\ 732426841258053291268037187557/992160517356432726972007219651164111\ 05559840872930043150319542681686576779*c_1001_2^19 - 1232694314868094420611431160610545583636817584794286375659145383444\ 4104/99216051735643272697200721965116411105559840872930043150319542\ 681686576779*c_1001_2^18 + 4104277606191521268250334534217023133838\ 11020637578865885135792395301393/9921605173564327269720072196511641\ 1105559840872930043150319542681686576779*c_1001_2^17 - 6898135002430985036925448775967415268526056366212199940661838930302\ 73297/9921605173564327269720072196511641110555984087293004315031954\ 2681686576779*c_1001_2^16 - 961169920305748233512848487978395226453\ 781351412772438684592738121358889/992160517356432726972007219651164\ 11105559840872930043150319542681686576779*c_1001_2^15 + 5944559239286421672686597645527078756764570790593245587702664838809\ 056488/992160517356432726972007219651164111055598408729300431503195\ 42681686576779*c_1001_2^14 - 77099233020414621583198304753955506669\ 4015077873965953117849915255403149/99216051735643272697200721965116\ 411105559840872930043150319542681686576779*c_1001_2^13 - 2372271080387641227527537633674938727363857288091998182582710816629\ 1431642/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^12 + 2542404347763081428168148004681770358\ 5373359953855073371682761017515497581/99216051735643272697200721965\ 116411105559840872930043150319542681686576779*c_1001_2^11 + 3691547597469062631869113832371200955828364176410848356088251825598\ 5330292/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^10 - 1278745226239530548011238738393249352\ 77496192008148818988543033330933975032/9921605173564327269720072196\ 5116411105559840872930043150319542681686576779*c_1001_2^9 - 1179697098596417444104469860427111986029932336298778815437547575810\ 93680123/9921605173564327269720072196511641110555984087293004315031\ 9542681686576779*c_1001_2^8 + 2424183639794565945831292819347176745\ 32800615833076852703206176267826659536/9921605173564327269720072196\ 5116411105559840872930043150319542681686576779*c_1001_2^7 + 1607001385415500759339307902925349810999398099553259444931372539964\ 8216998/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^6 - 63201363560580520746019556164713202285\ 4050323048468912497481311444371656856/99216051735643272697200721965\ 116411105559840872930043150319542681686576779*c_1001_2^5 - 1799306248270974158096527724581622527397014801357535189480133900842\ 05507056/9921605173564327269720072196511641110555984087293004315031\ 9542681686576779*c_1001_2^4 + 4006229554151658846991431666877066557\ 48618572497771790486907065824282992760/9921605173564327269720072196\ 5116411105559840872930043150319542681686576779*c_1001_2^3 - 2078381781480770200086971162512761586470171350954944581626341002804\ 82096438/9921605173564327269720072196511641110555984087293004315031\ 9542681686576779*c_1001_2^2 - 7055043498833526631929445127465388288\ 13549108922976554603135951628246062173/9921605173564327269720072196\ 5116411105559840872930043150319542681686576779*c_1001_2 + 1830754664574357578615572115293922959501560193723721746280490809706\ 89039541/9921605173564327269720072196511641110555984087293004315031\ 9542681686576779, c_0011_2 + 434604326734940449367151341422964460305534652150815698172021\ 4931471104/49608025867821636348600360982558205552779920436465021575\ 1597713408432883895*c_1001_2^22 - 719844905733953897397795459138470\ 2919690071592144262420686016435504157/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^21 - 2814798125977568514154079323435257677113170454969023465221648160497\ 598/992160517356432726972007219651164111055598408729300431503195426\ 81686576779*c_1001_2^20 + 13961270799648350387513449058818876189810\ 7142653879846258411784034216976/49608025867821636348600360982558205\ 5527799204364650215751597713408432883895*c_1001_2^19 + 5296195281833296396536168214575745642046418858811813783679779968941\ 5442/49608025867821636348600360982558205552779920436465021575159771\ 3408432883895*c_1001_2^18 - 154046944461264943138391224769643515563\ 3271934952406391554899423188357722/49608025867821636348600360982558\ 2055527799204364650215751597713408432883895*c_1001_2^17 + 5103164908353356026276307156638769801156983319318003885266439788202\ 00531/9921605173564327269720072196511641110555984087293004315031954\ 2681686576779*c_1001_2^16 + 351627049781636252241309131800758338493\ 4562698563800771550184344712476382/49608025867821636348600360982558\ 2055527799204364650215751597713408432883895*c_1001_2^15 - 2191813619646898951777722871666517500733757109205730053022572741086\ 2459528/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^14 + 206472138592023366588523345655889403\ 4331327458426275538883121541769817503/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^13 + 8667493786741979659885928614214411983669692994799092429932508383900\ 3081151/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^12 - 179683845606382294522262498783655952\ 27697254723408263508560465229221898166/9921605173564327269720072196\ 5116411105559840872930043150319542681686576779*c_1001_2^11 - 1317101472196094646134052668067204334078651179485359629279630106153\ 55682716/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^10 + 46014511256798154879096675515641641\ 4556814352636931985744494386192457380272/49608025867821636348600360\ 9825582055527799204364650215751597713408432883895*c_1001_2^9 + 4724183023877600895861742895917748458731572841621196629741268313669\ 00259439/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^8 - 831447720369459629936058553644446230\ 340135670227246102566705192829407889188/496080258678216363486003609\ 825582055527799204364650215751597713408432883895*c_1001_2^7 - 1385933566596845791256334949532968241096070103500409257255740153532\ 5388291/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^6 + 46213319255103555886698582851286342398\ 5556836501586271245253464857743964485/99216051735643272697200721965\ 116411105559840872930043150319542681686576779*c_1001_2^5 + 1503193988166834381526218571952361949281088703931736551636200600033\ 60636313/9921605173564327269720072196511641110555984087293004315031\ 9542681686576779*c_1001_2^4 - 1381215492937630166703796576347663369\ 828109581505396832928473120609253934264/496080258678216363486003609\ 825582055527799204364650215751597713408432883895*c_1001_2^3 + 1555936460125133259225122527422149953685790341215701137411503485647\ 68662000/9921605173564327269720072196511641110555984087293004315031\ 9542681686576779*c_1001_2^2 + 2631101408648691287256790077253605677\ 544152179581851420638194805283032714996/496080258678216363486003609\ 825582055527799204364650215751597713408432883895*c_1001_2 - 7718320941490081098559785356505134417061187260012296712106928419922\ 72283194/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895, c_0011_8 + 271493736290709444787632450973951358277307637604147525075702\ 9149437366/49608025867821636348600360982558205552779920436465021575\ 1597713408432883895*c_1001_2^22 - 430099082193001386797868080700672\ 5787311512345955635422601852851403873/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^21 - 2043352889140397297545770618082669227520876139725609169923057670968\ 371/992160517356432726972007219651164111055598408729300431503195426\ 81686576779*c_1001_2^20 + 88537158646007412285609611225247751625683\ 505538023306382098319142868004/496080258678216363486003609825582055\ 527799204364650215751597713408432883895*c_1001_2^19 + 4334767185819727141633907425415640274738838730266263752881026217328\ 2868/49608025867821636348600360982558205552779920436465021575159771\ 3408432883895*c_1001_2^18 - 996947665623445746142295166068318608757\ 441259458041997200188448133210968/496080258678216363486003609825582\ 055527799204364650215751597713408432883895*c_1001_2^17 + 3035134373951692080204567631871943457448024109573876550622953989676\ 39038/9921605173564327269720072196511641110555984087293004315031954\ 2681686576779*c_1001_2^16 + 270919125645791600606722609728120524420\ 8157966600822475890032095821111408/49608025867821636348600360982558\ 2055527799204364650215751597713408432883895*c_1001_2^15 - 1422954515510063383474998940671024443347972508019509010615435341602\ 3959702/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^14 - 561746346937075396996195550674257857\ 717591540397313154846871478305863433/496080258678216363486003609825\ 582055527799204364650215751597713408432883895*c_1001_2^13 + 6011362203057800961558636188189282775667521540159483107352092778047\ 3634874/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^12 - 109320411038515549799760638094689936\ 68398656505246011483821375736998897631/9921605173564327269720072196\ 5116411105559840872930043150319542681686576779*c_1001_2^11 - 1060841567434253875807296036712416720661758835508869128988385910086\ 81173009/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^10 + 30838000630335260899370981106278705\ 6301203749281387596437100960341750123068/49608025867821636348600360\ 9825582055527799204364650215751597713408432883895*c_1001_2^9 + 3277718656909396938791968342808483220520092228813450137312027474260\ 08922131/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^8 - 590024419485401419997374529348263651\ 591699931847461564322845935624154482767/496080258678216363486003609\ 825582055527799204364650215751597713408432883895*c_1001_2^7 - 2235428741794779863459563805313513171205298661874181775758588613848\ 3685075/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^6 + 29541860449250917894552338182054656988\ 1473463795698688525216920606200342898/99216051735643272697200721965\ 116411105559840872930043150319542681686576779*c_1001_2^5 + 1285530726534394191895351088904393142229397384583260555950569165719\ 68967510/9921605173564327269720072196511641110555984087293004315031\ 9542681686576779*c_1001_2^4 - 9324146901483645524064865770231605934\ 33664804512534970254367448905427942581/4960802586782163634860036098\ 25582055527799204364650215751597713408432883895*c_1001_2^3 - 1782231936493168026688593355701688765979920858358461170414272378839\ 3339185/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^2 + 12362087544361815922084638630391849542\ 10222542793869581417358824083344307379/4960802586782163634860036098\ 25582055527799204364650215751597713408432883895*c_1001_2 + 1462411049881963888711506560450908417777480592143602472535106275941\ 4772919/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895, c_0101_0 - 285308323002121639945032548743895933506541602847058063311729\ 6720542493/49608025867821636348600360982558205552779920436465021575\ 1597713408432883895*c_1001_2^22 + 550344758640835825494017139053156\ 2627170467518573719674575697759475549/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^21 + 2031617691404718812147565275667245644592351744861307707113984391540\ 276/992160517356432726972007219651164111055598408729300431503195426\ 81686576779*c_1001_2^20 - 98889044389551186468248826266911213611803\ 097494524153406856661770433142/496080258678216363486003609825582055\ 527799204364650215751597713408432883895*c_1001_2^19 - 1705991581759334750218327617888976877287742008183602137787955886529\ 4669/49608025867821636348600360982558205552779920436465021575159771\ 3408432883895*c_1001_2^18 + 109659039897554453721468499776196992824\ 6482182002215305524107322408151089/49608025867821636348600360982558\ 2055527799204364650215751597713408432883895*c_1001_2^17 - 3903906610548648710461280980365475838311794516013149726826526180470\ 50437/9921605173564327269720072196511641110555984087293004315031954\ 2681686576779*c_1001_2^16 - 269254331004170565757660476547603282156\ 5752231050938342074089230864224864/49608025867821636348600360982558\ 2055527799204364650215751597713408432883895*c_1001_2^15 + 1662615559843689056856808090403281539642423975222328257814220670166\ 6375611/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^14 - 359161513521451762292823578772205987\ 7789708101126211189373173325575980371/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^13 - 6893144408421139414500913668238606783452294240883841758322857096336\ 8654832/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^12 + 159464919335210916629263615701374641\ 17863004868514454414439734907310123949/9921605173564327269720072196\ 5116411105559840872930043150319542681686576779*c_1001_2^11 + 1187952465361716622535944649789808859605352675644867214288686821067\ 06340067/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^10 - 38741836091300476045260251405164229\ 7832122102316605832170603947587272084419/49608025867821636348600360\ 9825582055527799204364650215751597713408432883895*c_1001_2^9 - 2873557562758657065946291836883856697825957780859937282196976600383\ 73081823/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^8 + 877079133427276731511490857765045173\ 191509322320487012082020836672075858691/496080258678216363486003609\ 825582055527799204364650215751597713408432883895*c_1001_2^7 + 6806875725993969285385302537095776063686686249416988568297613335321\ 483737/992160517356432726972007219651164111055598408729300431503195\ 42681686576779*c_1001_2^6 - 413228863115308610243672894899294383889\ 701681031485952477691828937537288863/992160517356432726972007219651\ 16411105559840872930043150319542681686576779*c_1001_2^5 - 4067309631840778699747671055414258290937499638792967502868135219333\ 8846371/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^4 + 19162297186861644019150001718626119097\ 07662313698994807555118129308174939123/4960802586782163634860036098\ 25582055527799204364650215751597713408432883895*c_1001_2^3 - 1054297305964242835616487763661185118346550825803374804192060249017\ 47726458/9921605173564327269720072196511641110555984087293004315031\ 9542681686576779*c_1001_2^2 - 2265752044826913118859527040307971362\ 038635097612724398054222757278881498717/496080258678216363486003609\ 825582055527799204364650215751597713408432883895*c_1001_2 + 7386059082451840147221851858537944463857099840021576888874720274243\ 70593428/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895, c_0101_1 - 126288249847344215002894844566779505272397677095399601984825\ 8486777391/49608025867821636348600360982558205552779920436465021575\ 1597713408432883895*c_1001_2^22 + 241838616579019975897443098095254\ 7765645433177749621036133482854849328/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^21 + 1000630462400901640894484073163190831177514317616672938354658992278\ 037/992160517356432726972007219651164111055598408729300431503195426\ 81686576779*c_1001_2^20 - 43958251001544732760914118398470787049121\ 183471397187481296622325679784/496080258678216363486003609825582055\ 527799204364650215751597713408432883895*c_1001_2^19 - 9004957018202165823893070230989843378026349247637856528209062931924\ 148/496080258678216363486003609825582055527799204364650215751597713\ 408432883895*c_1001_2^18 + 4965596477007272264772340658860546279657\ 46732053062220222409368510739073/4960802586782163634860036098255820\ 55527799204364650215751597713408432883895*c_1001_2^17 - 1679170297380325816223531892520861711529009606973328157857711778126\ 05033/9921605173564327269720072196511641110555984087293004315031954\ 2681686576779*c_1001_2^16 - 132372232322061372230258514769242727255\ 8827987687496082504006395030259173/49608025867821636348600360982558\ 2055527799204364650215751597713408432883895*c_1001_2^15 + 7463851620705644910696993402159161512039699812824338998962920556559\ 811242/496080258678216363486003609825582055527799204364650215751597\ 713408432883895*c_1001_2^14 - 1293556136871910901184507887408964490\ 519035833988208702138642310405609547/496080258678216363486003609825\ 582055527799204364650215751597713408432883895*c_1001_2^13 - 3187086413592096044546847845276449070276284101905731827472360917253\ 0414969/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^12 + 666810558552038707762631933705107916\ 3867832078940705320162938581559454372/99216051735643272697200721965\ 116411105559840872930043150319542681686576779*c_1001_2^11 + 5760235755931880875426801556620868349925125637609346999221212360374\ 1812924/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^10 - 171184550068676588835616531134300149\ 589845936394152251860301195087377974408/496080258678216363486003609\ 825582055527799204364650215751597713408432883895*c_1001_2^9 - 1340078531880221206709208701205385224346742471771301600029515409359\ 27908891/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^8 + 416048401494643621982633027456987555\ 853602185084159810832186893310354341477/496080258678216363486003609\ 825582055527799204364650215751597713408432883895*c_1001_2^7 + 2440266443438263858010256409352159592627825018430962177335148520704\ 8352590/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^6 - 18002089659246628841562837418273420354\ 3836577486354236304849519033792108849/99216051735643272697200721965\ 116411105559840872930043150319542681686576779*c_1001_2^5 - 1059608873332107760181327548535182539283060913705059448180944377297\ 3944783/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^4 + 10506918747007234408488583193728375094\ 29199809280922630436436179710626297526/4960802586782163634860036098\ 25582055527799204364650215751597713408432883895*c_1001_2^3 - 3998245457410870158256786016307615613454095148552190555491082209255\ 0361470/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^2 - 11334638669550078876990068758053449776\ 24541742118709855115657988910581568309/4960802586782163634860036098\ 25582055527799204364650215751597713408432883895*c_1001_2 + 4656076825773172217481394830754569367114533766555975156910405096033\ 36399901/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895, c_0101_10 + 10931434075721787520866051030527508578196140608697534065657\ 14331145341/4960802586782163634860036098255820555277992043646502157\ 51597713408432883895*c_1001_2^22 - 2166460102177739572201115580765524384847030063702618293947086817042\ 408/496080258678216363486003609825582055527799204364650215751597713\ 408432883895*c_1001_2^21 - 6361562529831723650802772359722097471075\ 30356280375515459789152620081/9921605173564327269720072196511641110\ 5559840872930043150319542681686576779*c_1001_2^20 + 3751684041566052022976781065505069191034641871609979228439183630032\ 5349/49608025867821636348600360982558205552779920436465021575159771\ 3408432883895*c_1001_2^19 - 726844405822628070871766588232019995250\ 95617764775982501644426703337/4960802586782163634860036098255820555\ 27799204364650215751597713408432883895*c_1001_2^18 - 3993278706920755126408860532003972195192579381581051798411298415259\ 47148/4960802586782163634860036098255820555277992043646502157515977\ 13408432883895*c_1001_2^17 + 15866613582839605826649233355882550076\ 8176287218291445426295697437671397/99216051735643272697200721965116\ 411105559840872930043150319542681686576779*c_1001_2^16 + 7252020495328931973413434555894888087728976203635796538644035017170\ 67978/4960802586782163634860036098255820555277992043646502157515977\ 13408432883895*c_1001_2^15 - 62162085698598390711178351837618889044\ 79415232888351668036302929983127297/4960802586782163634860036098255\ 82055527799204364650215751597713408432883895*c_1001_2^14 + 3005700769472342623621456804934107081563794490239231832179733139312\ 362002/496080258678216363486003609825582055527799204364650215751597\ 713408432883895*c_1001_2^13 + 2235614533055867523735847755915984426\ 4828645866707919677563143626360155094/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^12 - 6749025791126868366576306074672103882659080640715734469681298168141\ 999714/992160517356432726972007219651164111055598408729300431503195\ 42681686576779*c_1001_2^11 - 23158656577807059976728897834539187349\ 468987557694925463224226328473649629/496080258678216363486003609825\ 582055527799204364650215751597713408432883895*c_1001_2^10 + 1383019836704958731790423085889893165586570110278239294825045924920\ 40090583/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^9 + 595018351645055902737059470682693296\ 69905212201281667628785049176784536491/4960802586782163634860036098\ 25582055527799204364650215751597713408432883895*c_1001_2^8 - 2431394958947826974300435654084672523556380651456297453036533183376\ 59646892/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^7 + 134649085931445922203446677107822348\ 20108774805689358566843954156063766894/9921605173564327269720072196\ 5116411105559840872930043150319542681686576779*c_1001_2^6 + 1159243439085007385501660893613866681263794999968643394296576252807\ 16211206/9921605173564327269720072196511641110555984087293004315031\ 9542681686576779*c_1001_2^5 - 1529912126393261646020184269048557235\ 5427706323825702643718697150670588656/99216051735643272697200721965\ 116411105559840872930043150319542681686576779*c_1001_2^4 - 4975957331536952968617194931978420739167738804080953910270592413924\ 02242111/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^3 + 619307584686264976207884708642328645\ 64550749502871393413197535900187457375/9921605173564327269720072196\ 5116411105559840872930043150319542681686576779*c_1001_2^2 + 5496664347624425321309662976844452987894052875017946928759149480896\ 23617584/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2 - 35523033910805856512997070883597059805\ 9075009178430337991646293323546074471/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895, c_0101_2 - 214016983506538179197217829211157107612870431048437942299131\ 3323836402/49608025867821636348600360982558205552779920436465021575\ 1597713408432883895*c_1001_2^22 + 330443232944487149230430504748702\ 6246769474495047976388251439430313526/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^21 + 1753389063379407343760537730404112193018629298008632010265233958740\ 581/992160517356432726972007219651164111055598408729300431503195426\ 81686576779*c_1001_2^20 - 69251745972783559211747610630722410903478\ 390381083153648529486658199723/496080258678216363486003609825582055\ 527799204364650215751597713408432883895*c_1001_2^19 - 3859966111498556079908772007270506158973506789477451465767461476714\ 3751/49608025867821636348600360982558205552779920436465021575159771\ 3408432883895*c_1001_2^18 + 792993392283190352311477785826122345574\ 190958538781974864308686656927011/496080258678216363486003609825582\ 055527799204364650215751597713408432883895*c_1001_2^17 - 2247008657393605129514740319342684559506547989248338594420425834403\ 83590/9921605173564327269720072196511641110555984087293004315031954\ 2681686576779*c_1001_2^16 - 230297356568430094994177219071935873213\ 9081695245664855280163891475322551/49608025867821636348600360982558\ 2055527799204364650215751597713408432883895*c_1001_2^15 + 1101176025943554441279902906257443310589151138111268707354444893686\ 1028119/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^14 + 126067118202544938911884624761046763\ 1756614536294048015344604581869210141/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^13 - 4739412836699792538867393514060207207870005375875402279192069847084\ 0867423/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^12 + 715654928743058782243352386009862397\ 5931207269928016010324359524591926820/99216051735643272697200721965\ 116411105559840872930043150319542681686576779*c_1001_2^11 + 8723844267709118233601869716566465828956487326703119533772657960287\ 8493668/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^10 - 218126863414963432059338092065905756\ 495901650508710374806764510000790469661/496080258678216363486003609\ 825582055527799204364650215751597713408432883895*c_1001_2^9 - 2746907707261277953619733204746405770971658422277476825636796155989\ 28224087/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^8 + 422518883618358512706277096307134351\ 591598994460666004130505483003290452134/496080258678216363486003609\ 825582055527799204364650215751597713408432883895*c_1001_2^7 + 5871840366937972697515426157880953738298717847111353832372174783455\ 0106426/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^6 - 20337148587688187669194972776193601751\ 2459539433912762392401669889207945888/99216051735643272697200721965\ 116411105559840872930043150319542681686576779*c_1001_2^5 - 1494408679027701238643758437599281764752020560601575573737068858045\ 63817024/9921605173564327269720072196511641110555984087293004315031\ 9542681686576779*c_1001_2^4 + 6330205922127368428045953042192541012\ 73949496124116053893061154032283558182/4960802586782163634860036098\ 25582055527799204364650215751597713408432883895*c_1001_2^3 + 9121582342995940508083066665831562179248880750788682121463319486314\ 4565763/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^2 - 12404703971051885050468513157110413632\ 65830333948833421013873859554974629188/4960802586782163634860036098\ 25582055527799204364650215751597713408432883895*c_1001_2 - 1925074583018185033727724773898506312975070770414540049080855176352\ 2539623/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895, c_0101_8 - 323331324263756054405878339516432193394831837135413282955702\ 7654981743/49608025867821636348600360982558205552779920436465021575\ 1597713408432883895*c_1001_2^22 + 547089243162261106450542062825255\ 0631616504558750594682198526247355934/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^21 + 2389545316362579708840814966376321940126159654289007525725023111360\ 662/992160517356432726972007219651164111055598408729300431503195426\ 81686576779*c_1001_2^20 - 10676858638844407944151542128577310281382\ 4809097182945932921322958525072/49608025867821636348600360982558205\ 5527799204364650215751597713408432883895*c_1001_2^19 - 3852697667440329799200054341388185959020997227700973867517297034044\ 0414/49608025867821636348600360982558205552779920436465021575159771\ 3408432883895*c_1001_2^18 + 119232126297526586495236383902651956509\ 3448896696887154705438528182874159/49608025867821636348600360982558\ 2055527799204364650215751597713408432883895*c_1001_2^17 - 3833670015677565712179663654930939567188310861431253048683382808780\ 54987/9921605173564327269720072196511641110555984087293004315031954\ 2681686576779*c_1001_2^16 - 302817561521719414728311564630884754091\ 1979315609244509144567393192390529/49608025867821636348600360982558\ 2055527799204364650215751597713408432883895*c_1001_2^15 + 1722796882929538348391686424633632201037092661400103874158075186684\ 4155416/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^14 - 174502958744689323450261055732363944\ 9807179953945183816835128557443151861/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^13 - 6975027369755660062603241269976191634352869962546194246948384209720\ 1022517/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^12 + 139055750785574561890098299347707278\ 58590287910643750480005657692733926534/9921605173564327269720072196\ 5116411105559840872930043150319542681686576779*c_1001_2^11 + 1103970992548982423127475950002038456390338608247261208009508059313\ 52143297/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^10 - 35642884708545930523838040065489507\ 3054558661536534304289269102492830560244/49608025867821636348600360\ 9825582055527799204364650215751597713408432883895*c_1001_2^9 - 3341926058906333856356792675429099067670710544290293501924646647757\ 12760578/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^8 + 665658379513141210136320661715601603\ 947237059606295749434158801340950099026/496080258678216363486003609\ 825582055527799204364650215751597713408432883895*c_1001_2^7 + 4525349507623513475480959386802730256287840366542417975687779367848\ 6339532/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^6 - 31929582978538261524211581712332268563\ 8839039430777101822059295169924157094/99216051735643272697200721965\ 116411105559840872930043150319542681686576779*c_1001_2^5 - 1341417466388375074041740010694426041197743497363318547299881886538\ 93228368/9921605173564327269720072196511641110555984087293004315031\ 9542681686576779*c_1001_2^4 + 1130616325366432139666314797417096175\ 190723376532211444920120395424685800293/496080258678216363486003609\ 825582055527799204364650215751597713408432883895*c_1001_2^3 + 2928506496133290746004219579408275722793805800501542780143565896295\ 7108388/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^2 - 12940565731894146736918140035699046065\ 27436417085977898138191094236165362877/4960802586782163634860036098\ 25582055527799204364650215751597713408432883895*c_1001_2 + 3359795932778767147926934610969855349293243014742849375008377415600\ 23534848/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895, c_0110_9 + 606253886048852012640534899184074458891295514092170294391141\ 703453373/496080258678216363486003609825582055527799204364650215751\ 597713408432883895*c_1001_2^22 - 5800846717206589939559249047981646\ 93388212637649366980104659618567124/4960802586782163634860036098255\ 82055527799204364650215751597713408432883895*c_1001_2^21 - 5841153155272838002527927725242918725862038795818369392827292768322\ 89/9921605173564327269720072196511641110555984087293004315031954268\ 1686576779*c_1001_2^20 + 182942934716625028070645996364156029616020\ 20381020554336976663383973407/4960802586782163634860036098255820555\ 27799204364650215751597713408432883895*c_1001_2^19 + 2431737334833465839316028754331513338798855992853783304250683178221\ 8664/49608025867821636348600360982558205552779920436465021575159771\ 3408432883895*c_1001_2^18 - 222607303849558688182165820371753646065\ 172988520066386869575519668065614/496080258678216363486003609825582\ 055527799204364650215751597713408432883895*c_1001_2^17 + 3951836992377531900628619237748555398913009123959630620873343678856\ 2090/99216051735643272697200721965116411105559840872930043150319542\ 681686576779*c_1001_2^16 + 8856836722972709874958938790200206996033\ 33124080894736390755123328315334/4960802586782163634860036098255820\ 55527799204364650215751597713408432883895*c_1001_2^15 - 2830847844309735365469416501427152146746656942351577960253970892773\ 065751/496080258678216363486003609825582055527799204364650215751597\ 713408432883895*c_1001_2^14 - 2757236704717096228622303424765292991\ 991890739925636306658012896104623814/496080258678216363486003609825\ 582055527799204364650215751597713408432883895*c_1001_2^13 + 1523027503711772427092035063951999557137576212088207589580040585409\ 8517692/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^12 - 926276432474400645988018092782388184\ 946554182730945300383721997705858139/992160517356432726972007219651\ 16411105559840872930043150319542681686576779*c_1001_2^11 - 3924133683099500519164607987898426062759661607304191569075358517206\ 4651332/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895*c_1001_2^10 + 643453506153260052932607917272790195\ 05155414878789765260197778165694700904/4960802586782163634860036098\ 25582055527799204364650215751597713408432883895*c_1001_2^9 + 1317984715122373109933328617336705412801499526214620927672432571658\ 58002078/4960802586782163634860036098255820555277992043646502157515\ 97713408432883895*c_1001_2^8 - 141489369161526562845424220642818582\ 751373581986528357123209558980997608866/496080258678216363486003609\ 825582055527799204364650215751597713408432883895*c_1001_2^7 - 1139557752928392324858176571985987599372277863928109714194089006230\ 1484616/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^6 + 81576053999796176693495667731907360911\ 932224666618116074571319037727052004/992160517356432726972007219651\ 16411105559840872930043150319542681686576779*c_1001_2^5 + 7542312722798596047547336685751626223101589354568595281899691288865\ 8249254/99216051735643272697200721965116411105559840872930043150319\ 542681686576779*c_1001_2^4 - 15083119930918770051221442276857570039\ 1163879727972306736943410360135802663/49608025867821636348600360982\ 5582055527799204364650215751597713408432883895*c_1001_2^3 + 2234351143771776732220572438892519698409144734600957557170555807985\ 616803/992160517356432726972007219651164111055598408729300431503195\ 42681686576779*c_1001_2^2 + 434861378237277887002764870078458882474\ 164901161365632300318603367110353337/496080258678216363486003609825\ 582055527799204364650215751597713408432883895*c_1001_2 + 8009174487362928934156574012735995665889727570640465370077759537499\ 6820987/49608025867821636348600360982558205552779920436465021575159\ 7713408432883895, c_1001_2^23 - 2*c_1001_2^22 - 3*c_1001_2^21 + 34*c_1001_2^20 + 2*c_1001_2^19 - 370*c_1001_2^18 + 712*c_1001_2^17 + 728*c_1001_2^16 - 5584*c_1001_2^15 + 2055*c_1001_2^14 + 21596*c_1001_2^13 - 28871*c_1001_2^12 - 29164*c_1001_2^11 + 126124*c_1001_2^10 + 75229*c_1001_2^9 - 260176*c_1001_2^8 + 40188*c_1001_2^7 + 588520*c_1001_2^6 + 16190*c_1001_2^5 - 470791*c_1001_2^4 + 255909*c_1001_2^3 + 609944*c_1001_2^2 - 281617*c_1001_2 + 38189 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.720 Total time: 0.930 seconds, Total memory usage: 32.09MB