Magma V2.19-8 Wed Aug 21 2013 00:09:46 on localhost [Seed = 2430009111] Type ? for help. Type -D to quit. Loading file "K13n2522__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2522 geometric_solution 12.09690930 oriented_manifold CS_known 0.0000000000000010 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 -2 2 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.795456405338 1.020085091617 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 1 0 0 -1 -2 0 0 2 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144368474815 0.917768194559 8 0 7 9 0132 0132 3120 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 0 0 0 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.140601865821 0.720060689003 10 4 11 0 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 -1 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.532852907761 0.812856898684 8 6 0 3 3012 2310 0132 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 -1 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.610057488360 0.658849970243 8 1 11 12 1023 0132 2103 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 -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.337979501568 1.443407187906 9 7 1 4 0132 0132 0132 3201 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 1 -1 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.036240669974 1.678009733067 12 6 2 1 0132 0132 3120 0132 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 -1 1 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.418578327830 0.707849545737 2 5 10 4 0132 1023 0213 1230 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 -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.501759306599 0.577540200127 6 11 2 10 0132 1230 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.080318169468 1.373976705943 3 8 9 12 0132 0213 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.276405135680 0.611589908464 5 12 9 3 2103 2103 3012 0132 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.972862389295 0.506352244183 7 11 5 10 0132 2103 0132 2103 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.111754287255 0.962495860812 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_10'], 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_2']), 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_0011_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_11'], 'c_1010_12' : negation(d['c_0110_4']), 'c_1010_11' : d['c_0110_4'], 'c_1010_10' : d['c_0110_4'], '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0110_4'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : negation(d['c_0101_7']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_7']), 'c_1100_11' : negation(d['c_1001_0']), 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_0101_1'], 's_3_1' : 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_0101_3']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_12'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0011_4'], '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_0011_10'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_7, c_0110_4, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 3086170947057823477300288322727307394870604/62286050654086569043329\ 2492771376117125*c_1001_2^22 + 380988893305703071875221235026436296\ 06868267/622860506540865690433292492771376117125*c_1001_2^21 + 295608722713821283103530845163853996219385958/622860506540865690433\ 292492771376117125*c_1001_2^20 + 2451671338446213477160477647538464\ 701369409484/622860506540865690433292492771376117125*c_1001_2^19 + 14210598213965658816701339554456719464404488108/6228605065408656904\ 33292492771376117125*c_1001_2^18 + 2193367020784892430610044072487077332185753719/24914420261634627617\ 331699710855044685*c_1001_2^17 + 1517682162092237246348176623529255\ 35422023816136/622860506540865690433292492771376117125*c_1001_2^16 + 319994826768992209633677058873831146648311417759/622860506540865690\ 433292492771376117125*c_1001_2^15 + 23266594449178220724158702101934313710631703549/2708089158873329088\ 8404021424842439875*c_1001_2^14 + 169376288095044344944295149481426\ 03372546432563/14485128059089899777518430064450607375*c_1001_2^13 + 820040073575232728399797403048124411478471533772/622860506540865690\ 433292492771376117125*c_1001_2^12 + 771530996918714710805528054266622202796454991241/622860506540865690\ 433292492771376117125*c_1001_2^11 + 610289654742006574602387304881366787558859292664/622860506540865690\ 433292492771376117125*c_1001_2^10 + 407692296543263642213778340056751267167858473461/622860506540865690\ 433292492771376117125*c_1001_2^9 + 9245683751046822219921301974362414394677255961/24914420261634627617\ 331699710855044685*c_1001_2^8 + 97579627260460937938633541669366167\ 6283035257/5416178317746658177680804284968487975*c_1001_2^7 + 47188280269502891476633909620000593814224887807/6228605065408656904\ 33292492771376117125*c_1001_2^6 + 174219386176810837664330640062465\ 46120340605202/622860506540865690433292492771376117125*c_1001_2^5 + 5588267166640809095338741374683138261358105193/62286050654086569043\ 3292492771376117125*c_1001_2^4 + 1541829542131858663886842172451374\ 566159123108/622860506540865690433292492771376117125*c_1001_2^3 + 336453264228806194525516206256322505952311319/622860506540865690433\ 292492771376117125*c_1001_2^2 + 13430062457112594351165077209084800\ 794551907/124572101308173138086658498554275223425*c_1001_2 + 8653561238138149181553680254159758791061489/62286050654086569043329\ 2492771376117125, c_0011_0 - 1, c_0011_10 + 337679208101430658017382855412667/2651739690451240233870650\ 81271407*c_1001_2^22 - 4102587469003014203950675555885100/265173969\ 045124023387065081271407*c_1001_2^21 - 33187354644892237379016377306207508/2651739690451240233870650812714\ 07*c_1001_2^20 - 274271265766361074220102386293779562/2651739690451\ 24023387065081271407*c_1001_2^19 - 1604465104745532384169596887756799273/26517396904512402338706508127\ 1407*c_1001_2^18 - 6280784397530725688319363232046443480/2651739690\ 45124023387065081271407*c_1001_2^17 - 17640755046911319126339640712645062938/2651739690451240233870650812\ 71407*c_1001_2^16 - 37704119365418091793349971628981598891/26517396\ 9045124023387065081271407*c_1001_2^15 - 63825978220053583367389523260716426431/2651739690451240233870650812\ 71407*c_1001_2^14 - 87814526309116761468321215471780483607/26517396\ 9045124023387065081271407*c_1001_2^13 - 99838387309333521618103288423388387998/2651739690451240233870650812\ 71407*c_1001_2^12 - 94773451139112893762745536515921576198/26517396\ 9045124023387065081271407*c_1001_2^11 - 75614552855776866749403586629731020073/2651739690451240233870650812\ 71407*c_1001_2^10 - 50974139809815951489144634821438665151/26517396\ 9045124023387065081271407*c_1001_2^9 - 29216402844465128260460624343235481530/2651739690451240233870650812\ 71407*c_1001_2^8 - 14384736079620324573835353635650241213/265173969\ 045124023387065081271407*c_1001_2^7 - 6159566221844245926507838964303440418/26517396904512402338706508127\ 1407*c_1001_2^6 - 2318310291940456986465886022438559666/26517396904\ 5124023387065081271407*c_1001_2^5 - 757230772274608790205717627524244198/265173969045124023387065081271\ 407*c_1001_2^4 - 211215907673023529018289611465936806/2651739690451\ 24023387065081271407*c_1001_2^3 - 481444600774470519549921752248068\ 18/265173969045124023387065081271407*c_1001_2^2 - 9592987416694446983455046116404763/26517396904512402338706508127140\ 7*c_1001_2 - 1225282895565598206465983321947706/2651739690451240233\ 87065081271407, c_0011_11 + 150163567971890590560373892753810/2651739690451240233870650\ 81271407*c_1001_2^22 - 1834625023802418610446612997848664/265173969\ 045124023387065081271407*c_1001_2^21 - 14651402787666672778833092908860746/2651739690451240233870650812714\ 07*c_1001_2^20 - 120700645746456449315027210030812814/2651739690451\ 24023387065081271407*c_1001_2^19 - 704075140751582583508553523138010452/265173969045124023387065081271\ 407*c_1001_2^18 - 2734175068255697491982445319127109292/26517396904\ 5124023387065081271407*c_1001_2^17 - 7604725057733659659421884570372755267/26517396904512402338706508127\ 1407*c_1001_2^16 - 16092725988289370333806433100265563073/265173969\ 045124023387065081271407*c_1001_2^15 - 26989286965581062039584432224374149822/2651739690451240233870650812\ 71407*c_1001_2^14 - 36828893245020315858817075563031541534/26517396\ 9045124023387065081271407*c_1001_2^13 - 41580413584655706889573067913215609511/2651739690451240233870650812\ 71407*c_1001_2^12 - 39243312285919680630552781414367228954/26517396\ 9045124023387065081271407*c_1001_2^11 - 31150786144361642759245089243330490706/2651739690451240233870650812\ 71407*c_1001_2^10 - 20879119687443872045515285598727537552/26517396\ 9045124023387065081271407*c_1001_2^9 - 11856335444060766685226086889120146572/2651739690451240233870650812\ 71407*c_1001_2^8 - 5736133641643356898729279166328552205/2651739690\ 45124023387065081271407*c_1001_2^7 - 2383673890500954925793619394389379719/26517396904512402338706508127\ 1407*c_1001_2^6 - 861429893723525586547409546525731191/265173969045\ 124023387065081271407*c_1001_2^5 - 272550882917025083477678554513338686/265173969045124023387065081271\ 407*c_1001_2^4 - 75163696564071103784172064360733092/26517396904512\ 4023387065081271407*c_1001_2^3 - 1726950854384674083944625067378586\ 0/265173969045124023387065081271407*c_1001_2^2 - 2938104167688284269589067760300515/26517396904512402338706508127140\ 7*c_1001_2 - 514616204487606253458649273903984/26517396904512402338\ 7065081271407, c_0011_12 + 19415152178153686148438266884089/26517396904512402338706508\ 1271407*c_1001_2^22 - 406235813068049373094114882113288/26517396904\ 5124023387065081271407*c_1001_2^21 + 328750088928609110959628568887540/265173969045124023387065081271407\ *c_1001_2^20 - 1135628740917205279723292556238128/26517396904512402\ 3387065081271407*c_1001_2^19 + 30610627034248929800666108642452832/\ 265173969045124023387065081271407*c_1001_2^18 + 320356947669239803251070406590302047/265173969045124023387065081271\ 407*c_1001_2^17 + 1423248097092813744063001062953441010/26517396904\ 5124023387065081271407*c_1001_2^16 + 3995306817919860742728988216493111842/26517396904512402338706508127\ 1407*c_1001_2^15 + 8074904550878769923887587610314625935/2651739690\ 45124023387065081271407*c_1001_2^14 + 12518165954348054413603433379253965384/2651739690451240233870650812\ 71407*c_1001_2^13 + 15380489998583558389975439387885586817/26517396\ 9045124023387065081271407*c_1001_2^12 + 15239794065293581739184503596927933758/2651739690451240233870650812\ 71407*c_1001_2^11 + 12271229673301833339401614289676792841/26517396\ 9045124023387065081271407*c_1001_2^10 + 8047915261306121116822272303018893847/26517396904512402338706508127\ 1407*c_1001_2^9 + 4306783892349956725344662001906517922/26517396904\ 5124023387065081271407*c_1001_2^8 + 1886758744310596967214415017562654684/26517396904512402338706508127\ 1407*c_1001_2^7 + 688426131130053413263261299833090531/265173969045\ 124023387065081271407*c_1001_2^6 + 203675195568500339061622571463216767/265173969045124023387065081271\ 407*c_1001_2^5 + 46351852217299684196207994455095185/26517396904512\ 4023387065081271407*c_1001_2^4 + 3060218910196369561571932041097676\ /265173969045124023387065081271407*c_1001_2^3 + 208733634548260690591047879275772/265173969045124023387065081271407\ *c_1001_2^2 - 655477677727043566691416389447582/2651739690451240233\ 87065081271407*c_1001_2 - 197197598707351101703804585110860/2651739\ 69045124023387065081271407, c_0011_4 - 402141417706190949342407747406970/26517396904512402338706508\ 1271407*c_1001_2^22 + 4953911431839243985762385475447213/2651739690\ 45124023387065081271407*c_1001_2^21 + 38634288226563236276973239179298473/2651739690451240233870650812714\ 07*c_1001_2^20 + 320669100800034401453345771574585442/2651739690451\ 24023387065081271407*c_1001_2^19 + 1861339636922385683115931254176190651/26517396904512402338706508127\ 1407*c_1001_2^18 + 7204461824911478718518761356526340943/2651739690\ 45124023387065081271407*c_1001_2^17 + 20023110920120669642762022589846206758/2651739690451240233870650812\ 71407*c_1001_2^16 + 42431030192658471384861093997669738715/26517396\ 9045124023387065081271407*c_1001_2^15 + 71380819320288002416446986610990666481/2651739690451240233870650812\ 71407*c_1001_2^14 + 97826986756419107927895390427938398803/26517396\ 9045124023387065081271407*c_1001_2^13 + 111046231065361327051982200177216466655/265173969045124023387065081\ 271407*c_1001_2^12 + 105476522503367166586994785169648004400/265173\ 969045124023387065081271407*c_1001_2^11 + 84361095128732954161626828816799369505/2651739690451240233870650812\ 71407*c_1001_2^10 + 57065150674040557810303924049389208504/26517396\ 9045124023387065081271407*c_1001_2^9 + 32785226742104922866802237950883826886/2651739690451240233870650812\ 71407*c_1001_2^8 + 16111069632454080785672994874672268104/265173969\ 045124023387065081271407*c_1001_2^7 + 6828015127096116707666265158870516048/26517396904512402338706508127\ 1407*c_1001_2^6 + 2521134164549140535142669357741287371/26517396904\ 5124023387065081271407*c_1001_2^5 + 802574526583628208591097701627192216/265173969045124023387065081271\ 407*c_1001_2^4 + 218677844907283821750205629211549959/2651739690451\ 24023387065081271407*c_1001_2^3 + 466001415832925834138450451631400\ 26/265173969045124023387065081271407*c_1001_2^2 + 8640855826092813907684688249763695/26517396904512402338706508127140\ 7*c_1001_2 + 905067159538453395784293312161520/26517396904512402338\ 7065081271407, c_0101_0 + 315045366758844571282086904872651/26517396904512402338706508\ 1271407*c_1001_2^22 - 4000810195352754378756338134229257/2651739690\ 45124023387065081271407*c_1001_2^21 - 28807040840946351800427763551307592/2651739690451240233870650812714\ 07*c_1001_2^20 - 239470290575139085420943610902230386/2651739690451\ 24023387065081271407*c_1001_2^19 - 1361573951034013746206527285418453459/26517396904512402338706508127\ 1407*c_1001_2^18 - 5079913104221354974518310293491148812/2651739690\ 45124023387065081271407*c_1001_2^17 - 13492474856437417557856968060905312483/2651739690451240233870650812\ 71407*c_1001_2^16 - 27141708414558548136958008962754601549/26517396\ 9045124023387065081271407*c_1001_2^15 - 43052990441859397333209158926268766032/2651739690451240233870650812\ 71407*c_1001_2^14 - 55193424589659166744409567947552761864/26517396\ 9045124023387065081271407*c_1001_2^13 - 58028125043478749841074258446675919808/2651739690451240233870650812\ 71407*c_1001_2^12 - 50417909666348826974860594129225214171/26517396\ 9045124023387065081271407*c_1001_2^11 - 36331457706873486807145202583197370369/2651739690451240233870650812\ 71407*c_1001_2^10 - 21776168814974586875549170904023194692/26517396\ 9045124023387065081271407*c_1001_2^9 - 10927664176976630464335105103530751821/2651739690451240233870650812\ 71407*c_1001_2^8 - 4687700792635795266092558951349097239/2651739690\ 45124023387065081271407*c_1001_2^7 - 1777692448397017887372376978087172081/26517396904512402338706508127\ 1407*c_1001_2^6 - 623968484743117988031026002792781979/265173969045\ 124023387065081271407*c_1001_2^5 - 197254886115230464674878962306554222/265173969045124023387065081271\ 407*c_1001_2^4 - 57396359888000649011419140672696351/26517396904512\ 4023387065081271407*c_1001_2^3 - 1254477461621082273228438464638565\ 0/265173969045124023387065081271407*c_1001_2^2 - 3451272343855977486700254497954326/26517396904512402338706508127140\ 7*c_1001_2 - 523325970676096968163252539923399/26517396904512402338\ 7065081271407, c_0101_1 - 40683142463445857303193088482238/265173969045124023387065081\ 271407*c_1001_2^22 + 475650930500485896036812339265112/265173969045\ 124023387065081271407*c_1001_2^21 + 4233865255155627967640099332283862/26517396904512402338706508127140\ 7*c_1001_2^20 + 34751970869866332776647208320092504/265173969045124\ 023387065081271407*c_1001_2^19 + 2076501683640702441277268026757737\ 79/265173969045124023387065081271407*c_1001_2^18 + 838596419564718676322078081906653501/265173969045124023387065081271\ 407*c_1001_2^17 + 2435282050737435935034049875966515989/26517396904\ 5124023387065081271407*c_1001_2^16 + 5385810401347580620901784323433296690/26517396904512402338706508127\ 1407*c_1001_2^15 + 9440493844695202854124429580241789089/2651739690\ 45124023387065081271407*c_1001_2^14 + 13464300586141290064132167912267495530/2651739690451240233870650812\ 71407*c_1001_2^13 + 15891034663239344203990603231627869107/26517396\ 9045124023387065081271407*c_1001_2^12 + 15684296978533860878632049896236634723/2651739690451240233870650812\ 71407*c_1001_2^11 + 13027793689555057283752644677760945620/26517396\ 9045124023387065081271407*c_1001_2^10 + 9144870135041253004389154673852103704/26517396904512402338706508127\ 1407*c_1001_2^9 + 5445830286576670631928306415152565730/26517396904\ 5124023387065081271407*c_1001_2^8 + 2767683269787561083536190563091285083/26517396904512402338706508127\ 1407*c_1001_2^7 + 1210488984554470719654064467930957591/26517396904\ 5124023387065081271407*c_1001_2^6 + 458891431512836937325201135037804654/265173969045124023387065081271\ 407*c_1001_2^5 + 150066688432584434654903108654038217/2651739690451\ 24023387065081271407*c_1001_2^4 + 416210396157509402535357632726590\ 18/265173969045124023387065081271407*c_1001_2^3 + 9951157418968580043369688267690432/26517396904512402338706508127140\ 7*c_1001_2^2 + 2262742427902194666288359784408528/26517396904512402\ 3387065081271407*c_1001_2 + 259294960087852117426474299831255/26517\ 3969045124023387065081271407, c_0101_11 + 295215613891078738937353217943235/2651739690451240233870650\ 81271407*c_1001_2^22 - 3699352570667167901604007504044901/265173969\ 045124023387065081271407*c_1001_2^21 - 27556501075178622252182589728350323/2651739690451240233870650812714\ 07*c_1001_2^20 - 229785194462231309079451440401259304/2651739690451\ 24023387065081271407*c_1001_2^19 - 1319929542488222223024562209873996537/26517396904512402338706508127\ 1407*c_1001_2^18 - 5027059642409523864715555869017842939/2651739690\ 45124023387065081271407*c_1001_2^17 - 13743852556713412778985535359520166696/2651739690451240233870650812\ 71407*c_1001_2^16 - 28693396388022593098484364621111498046/26517396\ 9045124023387065081271407*c_1001_2^15 - 47673229447348730594348001895704136646/2651739690451240233870650812\ 71407*c_1001_2^14 - 64727997970904735824484495268497279863/26517396\ 9045124023387065081271407*c_1001_2^13 - 73065465176654049077899850719564531825/2651739690451240233870650812\ 71407*c_1001_2^12 - 69321439860841716577890954268534978460/26517396\ 9045124023387065081271407*c_1001_2^11 - 55660103711922687581715157751752515906/2651739690451240233870650812\ 71407*c_1001_2^10 - 37990668777707328034882515922508083688/26517396\ 9045124023387065081271407*c_1001_2^9 - 22103914942232374942733751853581830558/2651739690451240233870650812\ 71407*c_1001_2^8 - 10997084658409711586152417920432374587/265173969\ 045124023387065081271407*c_1001_2^7 - 4683234014684253248056115928070115149/26517396904512402338706508127\ 1407*c_1001_2^6 - 1715858030872729418790295531806115695/26517396904\ 5124023387065081271407*c_1001_2^5 - 536215400078850530330385244076744717/265173969045124023387065081271\ 407*c_1001_2^4 - 144960042100562291624347742784035736/2651739690451\ 24023387065081271407*c_1001_2^3 - 304094294148277221329276082666611\ 64/265173969045124023387065081271407*c_1001_2^2 - 5358577338170474457033750796826769/26517396904512402338706508127140\ 7*c_1001_2 - 564066945958493015221798661597762/26517396904512402338\ 7065081271407, c_0101_3 - 289678778386005046369634319794535/26517396904512402338706508\ 1271407*c_1001_2^22 + 3667805158505709361782525566459466/2651739690\ 45124023387065081271407*c_1001_2^21 + 26623194615690257849877860115088885/2651739690451240233870650812714\ 07*c_1001_2^20 + 221187856019036387019143650679471525/2651739690451\ 24023387065081271407*c_1001_2^19 + 1260771632235222370507000227336143317/26517396904512402338706508127\ 1407*c_1001_2^18 + 4721906917688511599210494610660129634/2651739690\ 45124023387065081271407*c_1001_2^17 + 12610106118243010976140921076421241835/2651739690451240233870650812\ 71407*c_1001_2^16 + 25561458884050345567745963758822039415/26517396\ 9045124023387065081271407*c_1001_2^15 + 40978100315884776148647270685261558935/2651739690451240233870650812\ 71407*c_1001_2^14 + 53304677445788160236834701607061236040/26517396\ 9045124023387065081271407*c_1001_2^13 + 57173465317690166516488652040183132212/2651739690451240233870650812\ 71407*c_1001_2^12 + 51057749169772404051039460838828762790/26517396\ 9045124023387065081271407*c_1001_2^11 + 38206250089712917859024466813185452725/2651739690451240233870650812\ 71407*c_1001_2^10 + 24101562481716451249233987706723783965/26517396\ 9045124023387065081271407*c_1001_2^9 + 12928268604621855672131576395774729189/2651739690451240233870650812\ 71407*c_1001_2^8 + 5995646697766614268103685187026883211/2651739690\ 45124023387065081271407*c_1001_2^7 + 2450006664904727332666819221588416038/26517396904512402338706508127\ 1407*c_1001_2^6 + 899773515244760169438504533579895308/265173969045\ 124023387065081271407*c_1001_2^5 + 290215199452229114511625532836961784/265173969045124023387065081271\ 407*c_1001_2^4 + 82825580532553055543853219927322969/26517396904512\ 4023387065081271407*c_1001_2^3 + 1830992983460016015550951536027393\ 0/265173969045124023387065081271407*c_1001_2^2 + 4216594716731303679444134450968570/26517396904512402338706508127140\ 7*c_1001_2 + 542042200953881217349157921357590/26517396904512402338\ 7065081271407, c_0101_7 + 252468357609541212628022990807420/26517396904512402338706508\ 1271407*c_1001_2^22 - 3015619997094493386040379684410728/2651739690\ 45124023387065081271407*c_1001_2^21 - 25482860617531402626952396300874350/2651739690451240233870650812714\ 07*c_1001_2^20 - 209620795530492539653098349231129130/2651739690451\ 24023387065081271407*c_1001_2^19 - 1237638458020920656344649556138069983/26517396904512402338706508127\ 1407*c_1001_2^18 - 4909043218940757250848064969918376674/2651739690\ 45124023387065081271407*c_1001_2^17 - 13963786490290713103526491832644336993/2651739690451240233870650812\ 71407*c_1001_2^16 - 30181907231496647564726737987446405642/26517396\ 9045124023387065081271407*c_1001_2^15 - 51580113707499948254003004130989003587/2651739690451240233870650812\ 71407*c_1001_2^14 - 71512400264615296935633247422021125234/26517396\ 9045124023387065081271407*c_1001_2^13 - 81750646583352727787291443241621378312/2651739690451240233870650812\ 71407*c_1001_2^12 - 77804094169550615277748115162990509614/26517396\ 9045124023387065081271407*c_1001_2^11 - 61978372033351701477325920240858844271/2651739690451240233870650812\ 71407*c_1001_2^10 - 41460298678045927670495833025815893936/26517396\ 9045124023387065081271407*c_1001_2^9 - 23373955604424910301142700911915961819/2651739690451240233870650812\ 71407*c_1001_2^8 - 11189801637199313416268379897049514217/265173969\ 045124023387065081271407*c_1001_2^7 - 4605803962063242058792801847790137572/26517396904512402338706508127\ 1407*c_1001_2^6 - 1654270623886586547012284878754313721/26517396904\ 5124023387065081271407*c_1001_2^5 - 515912148660907955850450610208287307/265173969045124023387065081271\ 407*c_1001_2^4 - 136889393010937778663677754962623804/2651739690451\ 24023387065081271407*c_1001_2^3 - 295311252513240779373242220998893\ 15/265173969045124023387065081271407*c_1001_2^2 - 5487632225944196131552222786263948/26517396904512402338706508127140\ 7*c_1001_2 - 718348694629014159190232163075446/26517396904512402338\ 7065081271407, c_0110_4 - 99050163695926921726015251904216/265173969045124023387065081\ 271407*c_1001_2^22 + 1265830996256688268979699245399265/26517396904\ 5124023387065081271407*c_1001_2^21 + 8909891521032618881243682687387736/26517396904512402338706508127140\ 7*c_1001_2^20 + 75098955040087312967180457176767300/265173969045124\ 023387065081271407*c_1001_2^19 + 4267642263653385644879178631214541\ 52/265173969045124023387065081271407*c_1001_2^18 + 1600712933216131353766208167910083661/26517396904512402338706508127\ 1407*c_1001_2^17 + 4338904352066206330327902258761902288/2651739690\ 45124023387065081271407*c_1001_2^16 + 9078691741719814839511236858939934907/26517396904512402338706508127\ 1407*c_1001_2^15 + 15304559942863263848146936558832346814/265173969\ 045124023387065081271407*c_1001_2^14 + 21342241757143863566699581015986516751/2651739690451240233870650812\ 71407*c_1001_2^13 + 25019044907261936765681557145746428172/26517396\ 9045124023387065081271407*c_1001_2^12 + 24874450983326395545869817577246933246/2651739690451240233870650812\ 71407*c_1001_2^11 + 21051339488068684239888241433090013463/26517396\ 9045124023387065081271407*c_1001_2^10 + 15160591961812743042432160462885524221/2651739690451240233870650812\ 71407*c_1001_2^9 + 9261211949404483591634396948017904155/2651739690\ 45124023387065081271407*c_1001_2^8 + 4787435849105867070781385549388444738/26517396904512402338706508127\ 1407*c_1001_2^7 + 2095318498989315563761770081935467509/26517396904\ 5124023387065081271407*c_1001_2^6 + 787806557032195191665724447301139995/265173969045124023387065081271\ 407*c_1001_2^5 + 257383262312145229589370689182435329/2651739690451\ 24023387065081271407*c_1001_2^4 + 737754012399684417873666052359250\ 81/265173969045124023387065081271407*c_1001_2^3 + 15842748016135421374899660048519317/2651739690451240233870650812714\ 07*c_1001_2^2 + 3158608524293717204158715341318255/2651739690451240\ 23387065081271407*c_1001_2 + 478413620083573217993851110558352/2651\ 73969045124023387065081271407, c_1001_0 + 26065109615799042707157114705506/265173969045124023387065081\ 271407*c_1001_2^22 - 254170699740128882338911429939921/265173969045\ 124023387065081271407*c_1001_2^21 - 3260553520498994387447092942761163/26517396904512402338706508127140\ 7*c_1001_2^20 - 28118516107123854039379705410511211/265173969045124\ 023387065081271407*c_1001_2^19 - 1797102785198788119868116307085250\ 37/265173969045124023387065081271407*c_1001_2^18 - 824157303445278537155172307240440168/265173969045124023387065081271\ 407*c_1001_2^17 - 2756745505583702202863801230575405663/26517396904\ 5124023387065081271407*c_1001_2^16 - 6981291006441632214247972866470509840/26517396904512402338706508127\ 1407*c_1001_2^15 - 13845131949454333602305025642460858026/265173969\ 045124023387065081271407*c_1001_2^14 - 22051266518469319950313923712206664397/2651739690451240233870650812\ 71407*c_1001_2^13 - 28703286044330938440875819753414465271/26517396\ 9045124023387065081271407*c_1001_2^12 - 30871620114032056278683757340838147884/2651739690451240233870650812\ 71407*c_1001_2^11 - 27599959589469760168501434588310492766/26517396\ 9045124023387065081271407*c_1001_2^10 - 20563381291730818751033234680871619902/2651739690451240233870650812\ 71407*c_1001_2^9 - 12785785869390111764876297412870664932/265173969\ 045124023387065081271407*c_1001_2^8 - 6658052539506140130722590139061557934/26517396904512402338706508127\ 1407*c_1001_2^7 - 2930478474316435279416825562183021811/26517396904\ 5124023387065081271407*c_1001_2^6 - 1108226163879410427974569837610880367/26517396904512402338706508127\ 1407*c_1001_2^5 - 362605497145365213120935545732576269/265173969045\ 124023387065081271407*c_1001_2^4 - 100059869586345450318652562834340772/265173969045124023387065081271\ 407*c_1001_2^3 - 21934039417706428236909247844269715/26517396904512\ 4023387065081271407*c_1001_2^2 - 4193972161524195404333073721107783\ /265173969045124023387065081271407*c_1001_2 - 499156857569393415842190858351843/265173969045124023387065081271407\ , c_1001_2^23 - 12*c_1001_2^22 - 100*c_1001_2^21 - 828*c_1001_2^20 - 4883*c_1001_2^19 - 19392*c_1001_2^18 - 55514*c_1001_2^17 - 121455*c_1001_2^16 - 211394*c_1001_2^15 - 300509*c_1001_2^14 - 354959*c_1001_2^13 - 352247*c_1001_2^12 - 295760*c_1001_2^11 - 211160*c_1001_2^10 - 128754*c_1001_2^9 - 67445*c_1001_2^8 - 30573*c_1001_2^7 - 12096*c_1001_2^6 - 4175*c_1001_2^5 - 1249*c_1001_2^4 - 313*c_1001_2^3 - 66*c_1001_2^2 - 11*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.260 Total time: 5.469 seconds, Total memory usage: 122.59MB