X-Git-Url: https://git.njae.me.uk/?a=blobdiff_plain;f=09-resolving-the-bill%2Finterleaving.ipynb;h=4dc92780fe508dfc3c18c927ef3f64b1a2718aae;hb=7feed95175973490721236795cc7895e252965e2;hp=46e2b5c89057226482fe903c91d96581213e98a7;hpb=737bfafa601efeaee26d9d6cfd3c18ea34722868;p=ou-summer-of-code-2017.git diff --git a/09-resolving-the-bill/interleaving.ipynb b/09-resolving-the-bill/interleaving.ipynb index 46e2b5c..4dc9278 100644 --- a/09-resolving-the-bill/interleaving.ipynb +++ b/09-resolving-the-bill/interleaving.ipynb @@ -19,7 +19,7 @@ }, { "cell_type": "code", - "execution_count": 1, + "execution_count": 2, "metadata": { "collapsed": true }, @@ -31,7 +31,19 @@ }, { "cell_type": "code", - "execution_count": 2, + "execution_count": 47, + "metadata": { + "collapsed": true + }, + "outputs": [], + "source": [ + "import sys\n", + "sys.setrecursionlimit(10**6)" + ] + }, + { + "cell_type": "code", + "execution_count": 3, "metadata": { "collapsed": true }, @@ -46,7 +58,7 @@ }, { "cell_type": "code", - "execution_count": 3, + "execution_count": 4, "metadata": {}, "outputs": [ { @@ -55,7 +67,7 @@ "[(0, ''), (1, 'a'), (2, 'aa'), (3, 'aab'), (4, 'aabc'), (5, 'aabcc')]" ] }, - "execution_count": 3, + "execution_count": 4, "metadata": {}, "output_type": "execute_result" } @@ -73,7 +85,7 @@ }, { "cell_type": "code", - "execution_count": 4, + "execution_count": 5, "metadata": {}, "outputs": [ { @@ -87,7 +99,7 @@ " [False, False, False, False, False, False]]" ] }, - "execution_count": 4, + "execution_count": 5, "metadata": {}, "output_type": "execute_result" } @@ -100,7 +112,7 @@ }, { "cell_type": "code", - "execution_count": 5, + "execution_count": 6, "metadata": { "scrolled": true }, @@ -146,7 +158,7 @@ " (5, 5): False}" ] }, - "execution_count": 5, + "execution_count": 6, "metadata": {}, "output_type": "execute_result" } @@ -160,7 +172,7 @@ }, { "cell_type": "code", - "execution_count": 6, + "execution_count": 7, "metadata": { "collapsed": true }, @@ -174,7 +186,7 @@ }, { "cell_type": "code", - "execution_count": 7, + "execution_count": 8, "metadata": { "collapsed": true }, @@ -188,7 +200,7 @@ }, { "cell_type": "code", - "execution_count": 8, + "execution_count": 9, "metadata": {}, "outputs": [ { @@ -210,7 +222,7 @@ }, { "cell_type": "code", - "execution_count": 9, + "execution_count": 10, "metadata": {}, "outputs": [ { @@ -284,7 +296,7 @@ " (5, 5): (4, 5, 'c', 's1')}" ] }, - "execution_count": 9, + "execution_count": 10, "metadata": {}, "output_type": "execute_result" } @@ -337,7 +349,7 @@ }, { "cell_type": "code", - "execution_count": 10, + "execution_count": 11, "metadata": { "collapsed": true }, @@ -413,7 +425,7 @@ }, { "cell_type": "code", - "execution_count": 11, + "execution_count": 12, "metadata": {}, "outputs": [ { @@ -422,7 +434,7 @@ "True" ] }, - "execution_count": 11, + "execution_count": 12, "metadata": {}, "output_type": "execute_result" } @@ -433,7 +445,7 @@ }, { "cell_type": "code", - "execution_count": 12, + "execution_count": 13, "metadata": {}, "outputs": [ { @@ -457,7 +469,7 @@ " (5, 5): (4, 5, 'c', 'seq1')})" ] }, - "execution_count": 12, + "execution_count": 13, "metadata": {}, "output_type": "execute_result" } @@ -468,7 +480,7 @@ }, { "cell_type": "code", - "execution_count": 13, + "execution_count": 14, "metadata": { "scrolled": true }, @@ -530,7 +542,7 @@ " (5, 5): True})" ] }, - "execution_count": 13, + "execution_count": 14, "metadata": {}, "output_type": "execute_result" } @@ -541,7 +553,7 @@ }, { "cell_type": "code", - "execution_count": 14, + "execution_count": 15, "metadata": {}, "outputs": [ { @@ -550,7 +562,7 @@ "False" ] }, - "execution_count": 14, + "execution_count": 15, "metadata": {}, "output_type": "execute_result" } @@ -561,7 +573,7 @@ }, { "cell_type": "code", - "execution_count": 15, + "execution_count": 16, "metadata": {}, "outputs": [ { @@ -603,7 +615,7 @@ " (4, 3): (4, 2, 'b', 'seq2')})" ] }, - "execution_count": 15, + "execution_count": 16, "metadata": {}, "output_type": "execute_result" } @@ -614,7 +626,7 @@ }, { "cell_type": "code", - "execution_count": 16, + "execution_count": 17, "metadata": { "collapsed": true }, @@ -638,7 +650,7 @@ }, { "cell_type": "code", - "execution_count": 17, + "execution_count": 18, "metadata": { "collapsed": true }, @@ -652,16 +664,16 @@ }, { "cell_type": "code", - "execution_count": 18, + "execution_count": 19, "metadata": {}, "outputs": [ { "data": { "text/plain": [ - "'cccbggadggfbghfbeeeecgabbcdehcgfdhegefddahcdcabbch'" + "'fcafghacdbdhegdbdfbbbghecebceaecbhbfgaedaggbbfefcd'" ] }, - "execution_count": 18, + "execution_count": 19, "metadata": {}, "output_type": "execute_result" } @@ -672,7 +684,7 @@ }, { "cell_type": "code", - "execution_count": 19, + "execution_count": 20, "metadata": { "collapsed": true }, @@ -713,65 +725,65 @@ }, { "cell_type": "code", - "execution_count": 20, + "execution_count": 21, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "0 0 0 adding x\n", - "0 1 -1 adding c\n", - "1 1 0 adding v\n", - "1 2 -1 adding a\n", - "2 2 0 adding f\n", - "3 2 1 adding u\n", - "3 3 0 adding z\n", - "3 4 -1 adding y\n", - "3 5 -2 adding w\n", - "3 6 -3 adding e\n", - "4 6 -2 adding u\n", - "4 7 -3 adding h\n", - "5 7 -2 adding x\n", - "5 8 -3 adding b\n", - "6 8 -2 adding h\n", - "7 8 -1 adding z\n", - "7 9 -2 adding f\n", - "8 9 -1 adding d\n", - "9 9 0 adding c\n", - "10 9 1 adding u\n", - "10 10 0 adding v\n", - "10 11 -1 adding c\n", - "11 11 0 adding f\n", - "12 11 1 adding a\n", - "13 11 2 adding y\n", - "13 12 1 adding y\n", - "13 13 0 adding y\n", - "13 14 -1 adding u\n", - "13 15 -2 adding e\n", - "14 15 -1 adding z\n", - "14 16 -2 adding e\n", - "15 16 -1 adding b\n", - "16 16 0 adding c\n", - "17 16 1 adding g\n", - "18 16 2 adding w\n", - "18 17 1 adding u\n", - "18 18 0 adding e\n", - "19 18 1 adding w\n", - "19 19 0 adding b\n", - "20 19 1 remaining s2 y\n" + "0 0 0 adding g\n", + "1 0 1 adding f\n", + "2 0 2 adding z\n", + "2 1 1 adding e\n", + "3 1 2 adding y\n", + "3 2 1 adding g\n", + "4 2 2 adding f\n", + "5 2 3 adding a\n", + "6 2 4 adding z\n", + "6 3 3 adding v\n", + "6 4 2 adding y\n", + "6 5 1 adding u\n", + "6 6 0 adding z\n", + "6 7 -1 adding h\n", + "7 7 0 adding v\n", + "7 8 -1 adding g\n", + "8 8 0 adding d\n", + "9 8 1 adding u\n", + "9 9 0 adding z\n", + "9 10 -1 adding a\n", + "10 10 0 adding z\n", + "10 11 -1 adding y\n", + "10 12 -2 adding w\n", + "10 13 -3 adding a\n", + "11 13 -2 adding f\n", + "12 13 -1 adding g\n", + "13 13 0 adding g\n", + "14 13 1 adding f\n", + "15 13 2 adding h\n", + "16 13 3 adding x\n", + "16 14 2 adding w\n", + "16 15 1 adding a\n", + "17 15 2 adding e\n", + "18 15 3 adding w\n", + "18 16 2 adding d\n", + "19 16 3 adding x\n", + "19 17 2 adding u\n", + "19 18 1 adding z\n", + "19 19 0 adding x\n", + "19 20 -1 remaining s1 g\n" ] }, { "data": { "text/plain": [ - "('cafehbhfdccfaeebcgeb',\n", - " 'xvuzywuxzuvyyyuzwuwy',\n", - " 'xcvafuzyweuhxbhzfdcuvcfayyyuezebcgwuewby',\n", + "('gfegfahgdaafggfhaedg',\n", + " 'zyzvyuzvuzzywxwwxuzx',\n", + " 'gfzeygfazvyuzhvgduzazywafggfhxwaewdxuzxg',\n", " 40)" ] }, - "execution_count": 20, + "execution_count": 21, "metadata": {}, "output_type": "execute_result" } @@ -785,7 +797,7 @@ }, { "cell_type": "code", - "execution_count": 21, + "execution_count": 22, "metadata": {}, "outputs": [ { @@ -793,467 +805,467 @@ "output_type": "stream", "text": [ "xxxx 0 0 ! ! ! True\n", - "seq2 0 1 ! c x False\n", - "seq2 0 2 ! a c False\n", - "seq2 0 3 ! f v False\n", - "seq2 0 4 ! e a False\n", - "seq2 0 5 ! h f False\n", - "seq2 0 6 ! b u False\n", - "seq2 0 7 ! h z False\n", - "seq2 0 8 ! f y False\n", - "seq2 0 9 ! d w False\n", - "seq2 0 10 ! c e False\n", - "seq2 0 11 ! c u False\n", - "seq2 0 12 ! f h False\n", - "seq2 0 13 ! a x False\n", - "seq2 0 14 ! e b False\n", - "seq2 0 15 ! e h False\n", - "seq2 0 16 ! b z False\n", - "seq2 0 17 ! c f False\n", - "seq2 0 18 ! g d False\n", - "seq2 0 19 ! e c False\n", - "seq2 0 20 ! b u False\n", - "seq1 1 0 x ! x True\n", - "seq2 1 1 x c c True\n", - "xxxx 1 2 x a v False\n", - "xxxx 1 3 x f a False\n", - "xxxx 1 4 x e f False\n", - "xxxx 1 5 x h u False\n", - "xxxx 1 6 x b z False\n", - "xxxx 1 7 x h y False\n", - "xxxx 1 8 x f w False\n", - "xxxx 1 9 x d e False\n", - "xxxx 1 10 x c u False\n", - "xxxx 1 11 x c h False\n", - "xxxx 1 12 x f x False\n", - "xxxx 1 13 x a b False\n", - "xxxx 1 14 x e h False\n", - "xxxx 1 15 x e z False\n", - "xxxx 1 16 x b f False\n", - "xxxx 1 17 x c d False\n", - "xxxx 1 18 x g c False\n", - "xxxx 1 19 x e u False\n", - "xxxx 1 20 x b v False\n", - "seq1 2 0 v ! c False\n", - "seq1 2 1 v c v True\n", - "seq2 2 2 v a a True\n", - "seq2 2 3 v f f True\n", - "xxxx 2 4 v e u False\n", - "xxxx 2 5 v h z False\n", - "xxxx 2 6 v b y False\n", - "xxxx 2 7 v h w False\n", - "xxxx 2 8 v f e False\n", - "xxxx 2 9 v d u False\n", - "xxxx 2 10 v c h False\n", - "xxxx 2 11 v c x False\n", - "xxxx 2 12 v f b False\n", - "xxxx 2 13 v a h False\n", - "xxxx 2 14 v e z False\n", - "xxxx 2 15 v e f False\n", - "xxxx 2 16 v b d False\n", - "xxxx 2 17 v c c False\n", - "xxxx 2 18 v g u False\n", - "xxxx 2 19 v e v False\n", - "xxxx 2 20 v b c False\n", - "seq1 3 0 u ! v False\n", - "xxxx 3 1 u c a False\n", - "xxxx 3 2 u a f False\n", - "seq1 3 3 u f u True\n", - "xxxx 3 4 u e z False\n", - "xxxx 3 5 u h y False\n", - "xxxx 3 6 u b w False\n", - "xxxx 3 7 u h e False\n", - "xxxx 3 8 u f u False\n", - "xxxx 3 9 u d h False\n", - "xxxx 3 10 u c x False\n", - "xxxx 3 11 u c b False\n", - "xxxx 3 12 u f h False\n", - "xxxx 3 13 u a z False\n", - "xxxx 3 14 u e f False\n", - "xxxx 3 15 u e d False\n", - "xxxx 3 16 u b c False\n", - "xxxx 3 17 u c u False\n", - "xxxx 3 18 u g v False\n", - "xxxx 3 19 u e c False\n", - "xxxx 3 20 u b f False\n", - "seq1 4 0 z ! a False\n", - "xxxx 4 1 z c f False\n", - "xxxx 4 2 z a u False\n", - "seq1 4 3 z f z True\n", - "xxxx 4 4 z e y False\n", - "xxxx 4 5 z h w False\n", - "xxxx 4 6 z b e False\n", - "xxxx 4 7 z h u False\n", - "xxxx 4 8 z f h False\n", - "xxxx 4 9 z d x False\n", - "xxxx 4 10 z c b False\n", - "xxxx 4 11 z c h False\n", - "xxxx 4 12 z f z False\n", - "xxxx 4 13 z a f False\n", - "xxxx 4 14 z e d False\n", - "xxxx 4 15 z e c False\n", - "xxxx 4 16 z b u False\n", - "xxxx 4 17 z c v False\n", - "xxxx 4 18 z g c False\n", - "xxxx 4 19 z e f False\n", - "xxxx 4 20 z b a False\n", - "seq1 5 0 y ! f False\n", - "xxxx 5 1 y c u False\n", - "xxxx 5 2 y a z False\n", - "seq1 5 3 y f y True\n", - "xxxx 5 4 y e w False\n", - "xxxx 5 5 y h e False\n", - "xxxx 5 6 y b u False\n", - "xxxx 5 7 y h h False\n", - "xxxx 5 8 y f x False\n", - "xxxx 5 9 y d b False\n", - "xxxx 5 10 y c h False\n", - "xxxx 5 11 y c z False\n", - "xxxx 5 12 y f f False\n", - "xxxx 5 13 y a d False\n", - "xxxx 5 14 y e c False\n", - "xxxx 5 15 y e u False\n", - "xxxx 5 16 y b v False\n", - "xxxx 5 17 y c c False\n", - "xxxx 5 18 y g f False\n", - "xxxx 5 19 y e a False\n", - "xxxx 5 20 y b y False\n", - "seq1 6 0 w ! u False\n", - "xxxx 6 1 w c z False\n", - "xxxx 6 2 w a y False\n", - "seq1 6 3 w f w True\n", - "seq2 6 4 w e e True\n", - "xxxx 6 5 w h u False\n", - "xxxx 6 6 w b h False\n", - "xxxx 6 7 w h x False\n", - "xxxx 6 8 w f b False\n", - "xxxx 6 9 w d h False\n", - "xxxx 6 10 w c z False\n", - "xxxx 6 11 w c f False\n", - "xxxx 6 12 w f d False\n", - "xxxx 6 13 w a c False\n", - "xxxx 6 14 w e u False\n", - "xxxx 6 15 w e v False\n", - "xxxx 6 16 w b c False\n", - "xxxx 6 17 w c f False\n", - "xxxx 6 18 w g a False\n", - "xxxx 6 19 w e y False\n", - "xxxx 6 20 w b y False\n", - "seq1 7 0 u ! z False\n", - "xxxx 7 1 u c y False\n", - "xxxx 7 2 u a w False\n", - "xxxx 7 3 u f e False\n", - "seq1 7 4 u e u True\n", - "seq2 7 5 u h h True\n", - "xxxx 7 6 u b x False\n", - "xxxx 7 7 u h b False\n", - "xxxx 7 8 u f h False\n", - "xxxx 7 9 u d z False\n", - "xxxx 7 10 u c f False\n", - "xxxx 7 11 u c d False\n", - "xxxx 7 12 u f c False\n", - "xxxx 7 13 u a u False\n", - "xxxx 7 14 u e v False\n", - "xxxx 7 15 u e c False\n", - "xxxx 7 16 u b f False\n", - "xxxx 7 17 u c a False\n", - "xxxx 7 18 u g y False\n", - "xxxx 7 19 u e y False\n", - "xxxx 7 20 u b y False\n", - "seq1 8 0 x ! y False\n", - "xxxx 8 1 x c w False\n", - "xxxx 8 2 x a e False\n", - "xxxx 8 3 x f u False\n", - "xxxx 8 4 x e h False\n", - "seq1 8 5 x h x True\n", - "seq2 8 6 x b b True\n", - "seq2 8 7 x h h True\n", - "xxxx 8 8 x f z False\n", - "xxxx 8 9 x d f False\n", - "xxxx 8 10 x c d False\n", - "xxxx 8 11 x c c False\n", - "xxxx 8 12 x f u False\n", - "xxxx 8 13 x a v False\n", - "xxxx 8 14 x e c False\n", - "xxxx 8 15 x e f False\n", - "xxxx 8 16 x b a False\n", - "xxxx 8 17 x c y False\n", - "xxxx 8 18 x g y False\n", - "xxxx 8 19 x e y False\n", - "xxxx 8 20 x b u False\n", - "seq1 9 0 z ! w False\n", - "xxxx 9 1 z c e False\n", - "xxxx 9 2 z a u False\n", - "xxxx 9 3 z f h False\n", - "xxxx 9 4 z e x False\n", - "xxxx 9 5 z h b False\n", - "xxxx 9 6 z b h False\n", - "seq1 9 7 z h z True\n", - "seq2 9 8 z f f True\n", - "seq2 9 9 z d d True\n", - "seq2 9 10 z c c True\n", - "xxxx 9 11 z c u False\n", - "xxxx 9 12 z f v False\n", - "xxxx 9 13 z a c False\n", - "xxxx 9 14 z e f False\n", - "xxxx 9 15 z e a False\n", - "xxxx 9 16 z b y False\n", - "xxxx 9 17 z c y False\n", - "xxxx 9 18 z g y False\n", - "xxxx 9 19 z e u False\n", - "xxxx 9 20 z b e False\n", - "seq1 10 0 u ! e False\n", - "xxxx 10 1 u c u False\n", - "xxxx 10 2 u a h False\n", - "xxxx 10 3 u f x False\n", - "xxxx 10 4 u e b False\n", - "xxxx 10 5 u h h False\n", - "xxxx 10 6 u b z False\n", - "xxxx 10 7 u h f False\n", - "xxxx 10 8 u f d False\n", - "xxxx 10 9 u d c False\n", - "seq1 10 10 u c u True\n", - "xxxx 10 11 u c v False\n", - "xxxx 10 12 u f c False\n", - "xxxx 10 13 u a f False\n", - "xxxx 10 14 u e a False\n", - "xxxx 10 15 u e y False\n", - "xxxx 10 16 u b y False\n", - "xxxx 10 17 u c y False\n", - "xxxx 10 18 u g u False\n", - "xxxx 10 19 u e e False\n", - "xxxx 10 20 u b z False\n", - "seq1 11 0 v ! u False\n", - "xxxx 11 1 v c h False\n", - "xxxx 11 2 v a x False\n", - "xxxx 11 3 v f b False\n", - "xxxx 11 4 v e h False\n", - "xxxx 11 5 v h z False\n", - "xxxx 11 6 v b f False\n", - "xxxx 11 7 v h d False\n", - "xxxx 11 8 v f c False\n", - "xxxx 11 9 v d u False\n", - "seq1 11 10 v c v True\n", - "seq2 11 11 v c c True\n", - "seq2 11 12 v f f True\n", - "seq2 11 13 v a a True\n", - "xxxx 11 14 v e y False\n", - "xxxx 11 15 v e y False\n", - "xxxx 11 16 v b y False\n", - "xxxx 11 17 v c u False\n", - "xxxx 11 18 v g e False\n", - "xxxx 11 19 v e z False\n", - "xxxx 11 20 v b e False\n", - "seq1 12 0 y ! h False\n", - "xxxx 12 1 y c x False\n", - "xxxx 12 2 y a b False\n", - "xxxx 12 3 y f h False\n", - "xxxx 12 4 y e z False\n", - "xxxx 12 5 y h f False\n", - "xxxx 12 6 y b d False\n", - "xxxx 12 7 y h c False\n", - "xxxx 12 8 y f u False\n", - "xxxx 12 9 y d v False\n", - "xxxx 12 10 y c c False\n", - "xxxx 12 11 y c f False\n", + "seq2 0 1 ! g g True\n", + "seq2 0 2 ! f f True\n", + "seq2 0 3 ! e z False\n", + "seq2 0 4 ! g e False\n", + "seq2 0 5 ! f y False\n", + "seq2 0 6 ! a g False\n", + "seq2 0 7 ! h f False\n", + "seq2 0 8 ! g a False\n", + "seq2 0 9 ! d z False\n", + "seq2 0 10 ! a v False\n", + "seq2 0 11 ! a y False\n", + "seq2 0 12 ! f u False\n", + "seq2 0 13 ! g z False\n", + "seq2 0 14 ! g h False\n", + "seq2 0 15 ! f v False\n", + "seq2 0 16 ! h g False\n", + "seq2 0 17 ! a d False\n", + "seq2 0 18 ! e u False\n", + "seq2 0 19 ! d z False\n", + "seq2 0 20 ! g a False\n", + "seq1 1 0 z ! g False\n", + "xxxx 1 1 z g f False\n", + "seq1 1 2 z f z True\n", + "seq2 1 3 z e e True\n", + "xxxx 1 4 z g y False\n", + "xxxx 1 5 z f g False\n", + "xxxx 1 6 z a f False\n", + "xxxx 1 7 z h a False\n", + "xxxx 1 8 z g z False\n", + "xxxx 1 9 z d v False\n", + "xxxx 1 10 z a y False\n", + "xxxx 1 11 z a u False\n", + "xxxx 1 12 z f z False\n", + "xxxx 1 13 z g h False\n", + "xxxx 1 14 z g v False\n", + "xxxx 1 15 z f g False\n", + "xxxx 1 16 z h d False\n", + "xxxx 1 17 z a u False\n", + "xxxx 1 18 z e z False\n", + "xxxx 1 19 z d a False\n", + "xxxx 1 20 z g z False\n", + "seq1 2 0 y ! f False\n", + "xxxx 2 1 y g z False\n", + "xxxx 2 2 y f e False\n", + "seq1 2 3 y e y True\n", + "seq2 2 4 y g g True\n", + "seq2 2 5 y f f True\n", + "seq2 2 6 y a a True\n", + "xxxx 2 7 y h z False\n", + "xxxx 2 8 y g v False\n", + "xxxx 2 9 y d y False\n", + "xxxx 2 10 y a u False\n", + "xxxx 2 11 y a z False\n", + "xxxx 2 12 y f h False\n", + "xxxx 2 13 y g v False\n", + "xxxx 2 14 y g g False\n", + "xxxx 2 15 y f d False\n", + "xxxx 2 16 y h u False\n", + "xxxx 2 17 y a z False\n", + "xxxx 2 18 y e a False\n", + "xxxx 2 19 y d z False\n", + "xxxx 2 20 y g y False\n", + "seq1 3 0 z ! z False\n", + "xxxx 3 1 z g e False\n", + "xxxx 3 2 z f y False\n", + "xxxx 3 3 z e g False\n", + "xxxx 3 4 z g f False\n", + "xxxx 3 5 z f a False\n", + "seq1 3 6 z a z True\n", + "xxxx 3 7 z h v False\n", + "xxxx 3 8 z g y False\n", + "xxxx 3 9 z d u False\n", + "xxxx 3 10 z a z False\n", + "xxxx 3 11 z a h False\n", + "xxxx 3 12 z f v False\n", + "xxxx 3 13 z g g False\n", + "xxxx 3 14 z g d False\n", + "xxxx 3 15 z f u False\n", + "xxxx 3 16 z h z False\n", + "xxxx 3 17 z a a False\n", + "xxxx 3 18 z e z False\n", + "xxxx 3 19 z d y False\n", + "xxxx 3 20 z g w False\n", + "seq1 4 0 v ! e False\n", + "xxxx 4 1 v g y False\n", + "xxxx 4 2 v f g False\n", + "xxxx 4 3 v e f False\n", + "xxxx 4 4 v g a False\n", + "xxxx 4 5 v f z False\n", + "seq1 4 6 v a v True\n", + "xxxx 4 7 v h y False\n", + "xxxx 4 8 v g u False\n", + "xxxx 4 9 v d z False\n", + "xxxx 4 10 v a h False\n", + "xxxx 4 11 v a v False\n", + "xxxx 4 12 v f g False\n", + "xxxx 4 13 v g d False\n", + "xxxx 4 14 v g u False\n", + "xxxx 4 15 v f z False\n", + "xxxx 4 16 v h a False\n", + "xxxx 4 17 v a z False\n", + "xxxx 4 18 v e y False\n", + "xxxx 4 19 v d w False\n", + "xxxx 4 20 v g a False\n", + "seq1 5 0 y ! y False\n", + "xxxx 5 1 y g g False\n", + "xxxx 5 2 y f f False\n", + "xxxx 5 3 y e a False\n", + "xxxx 5 4 y g z False\n", + "xxxx 5 5 y f v False\n", + "seq1 5 6 y a y True\n", + "xxxx 5 7 y h u False\n", + "xxxx 5 8 y g z False\n", + "xxxx 5 9 y d h False\n", + "xxxx 5 10 y a v False\n", + "xxxx 5 11 y a g False\n", + "xxxx 5 12 y f d False\n", + "xxxx 5 13 y g u False\n", + "xxxx 5 14 y g z False\n", + "xxxx 5 15 y f a False\n", + "xxxx 5 16 y h z False\n", + "xxxx 5 17 y a y False\n", + "xxxx 5 18 y e w False\n", + "xxxx 5 19 y d a False\n", + "xxxx 5 20 y g f False\n", + "seq1 6 0 u ! g False\n", + "xxxx 6 1 u g f False\n", + "xxxx 6 2 u f a False\n", + "xxxx 6 3 u e z False\n", + "xxxx 6 4 u g v False\n", + "xxxx 6 5 u f y False\n", + "seq1 6 6 u a u True\n", + "xxxx 6 7 u h z False\n", + "xxxx 6 8 u g h False\n", + "xxxx 6 9 u d v False\n", + "xxxx 6 10 u a g False\n", + "xxxx 6 11 u a d False\n", + "xxxx 6 12 u f u False\n", + "xxxx 6 13 u g z False\n", + "xxxx 6 14 u g a False\n", + "xxxx 6 15 u f z False\n", + "xxxx 6 16 u h y False\n", + "xxxx 6 17 u a w False\n", + "xxxx 6 18 u e a False\n", + "xxxx 6 19 u d f False\n", + "xxxx 6 20 u g g False\n", + "seq1 7 0 z ! f False\n", + "xxxx 7 1 z g a False\n", + "xxxx 7 2 z f z False\n", + "xxxx 7 3 z e v False\n", + "xxxx 7 4 z g y False\n", + "xxxx 7 5 z f u False\n", + "seq1 7 6 z a z True\n", + "seq2 7 7 z h h True\n", + "xxxx 7 8 z g v False\n", + "xxxx 7 9 z d g False\n", + "xxxx 7 10 z a d False\n", + "xxxx 7 11 z a u False\n", + "xxxx 7 12 z f z False\n", + "xxxx 7 13 z g a False\n", + "xxxx 7 14 z g z False\n", + "xxxx 7 15 z f y False\n", + "xxxx 7 16 z h w False\n", + "xxxx 7 17 z a a False\n", + "xxxx 7 18 z e f False\n", + "xxxx 7 19 z d g False\n", + "xxxx 7 20 z g g False\n", + "seq1 8 0 v ! a False\n", + "xxxx 8 1 v g z False\n", + "xxxx 8 2 v f v False\n", + "xxxx 8 3 v e y False\n", + "xxxx 8 4 v g u False\n", + "xxxx 8 5 v f z False\n", + "xxxx 8 6 v a h False\n", + "seq1 8 7 v h v True\n", + "seq2 8 8 v g g True\n", + "seq2 8 9 v d d True\n", + "xxxx 8 10 v a u False\n", + "xxxx 8 11 v a z False\n", + "xxxx 8 12 v f a False\n", + "xxxx 8 13 v g z False\n", + "xxxx 8 14 v g y False\n", + "xxxx 8 15 v f w False\n", + "xxxx 8 16 v h a False\n", + "xxxx 8 17 v a f False\n", + "xxxx 8 18 v e g False\n", + "xxxx 8 19 v d g False\n", + "xxxx 8 20 v g f False\n", + "seq1 9 0 u ! z False\n", + "xxxx 9 1 u g v False\n", + "xxxx 9 2 u f y False\n", + "xxxx 9 3 u e u False\n", + "xxxx 9 4 u g z False\n", + "xxxx 9 5 u f h False\n", + "xxxx 9 6 u a v False\n", + "xxxx 9 7 u h g False\n", + "xxxx 9 8 u g d False\n", + "seq1 9 9 u d u True\n", + "xxxx 9 10 u a z False\n", + "xxxx 9 11 u a a False\n", + "xxxx 9 12 u f z False\n", + "xxxx 9 13 u g y False\n", + "xxxx 9 14 u g w False\n", + "xxxx 9 15 u f a False\n", + "xxxx 9 16 u h f False\n", + "xxxx 9 17 u a g False\n", + "xxxx 9 18 u e g False\n", + "xxxx 9 19 u d f False\n", + "xxxx 9 20 u g h False\n", + "seq1 10 0 z ! v False\n", + "xxxx 10 1 z g y False\n", + "xxxx 10 2 z f u False\n", + "xxxx 10 3 z e z False\n", + "xxxx 10 4 z g h False\n", + "xxxx 10 5 z f v False\n", + "xxxx 10 6 z a g False\n", + "xxxx 10 7 z h d False\n", + "xxxx 10 8 z g u False\n", + "seq1 10 9 z d z True\n", + "seq2 10 10 z a a True\n", + "xxxx 10 11 z a z False\n", + "xxxx 10 12 z f y False\n", + "xxxx 10 13 z g w False\n", + "xxxx 10 14 z g a False\n", + "xxxx 10 15 z f f False\n", + "xxxx 10 16 z h g False\n", + "xxxx 10 17 z a g False\n", + "xxxx 10 18 z e f False\n", + "xxxx 10 19 z d h False\n", + "xxxx 10 20 z g x False\n", + "seq1 11 0 z ! y False\n", + "xxxx 11 1 z g u False\n", + "xxxx 11 2 z f z False\n", + "xxxx 11 3 z e h False\n", + "xxxx 11 4 z g v False\n", + "xxxx 11 5 z f g False\n", + "xxxx 11 6 z a d False\n", + "xxxx 11 7 z h u False\n", + "xxxx 11 8 z g z False\n", + "xxxx 11 9 z d a False\n", + "seq1 11 10 z a z True\n", + "xxxx 11 11 z a y False\n", + "xxxx 11 12 z f w False\n", + "xxxx 11 13 z g a False\n", + "xxxx 11 14 z g f False\n", + "xxxx 11 15 z f g False\n", + "xxxx 11 16 z h g False\n", + "xxxx 11 17 z a f False\n", + "xxxx 11 18 z e h False\n", + "xxxx 11 19 z d x False\n", + "xxxx 11 20 z g w False\n", + "seq1 12 0 y ! u False\n", + "xxxx 12 1 y g z False\n", + "xxxx 12 2 y f h False\n", + "xxxx 12 3 y e v False\n", + "xxxx 12 4 y g g False\n", + "xxxx 12 5 y f d False\n", + "xxxx 12 6 y a u False\n", + "xxxx 12 7 y h z False\n", + "xxxx 12 8 y g a False\n", + "xxxx 12 9 y d z False\n", + "seq1 12 10 y a y True\n", + "xxxx 12 11 y a w False\n", "xxxx 12 12 y f a False\n", - "seq1 12 13 y a y True\n", - "xxxx 12 14 y e y False\n", - "xxxx 12 15 y e y False\n", - "xxxx 12 16 y b u False\n", - "xxxx 12 17 y c e False\n", - "xxxx 12 18 y g z False\n", - "xxxx 12 19 y e e False\n", - "xxxx 12 20 y b b False\n", - "seq1 13 0 y ! x False\n", - "xxxx 13 1 y c b False\n", - "xxxx 13 2 y a h False\n", - "xxxx 13 3 y f z False\n", - "xxxx 13 4 y e f False\n", - "xxxx 13 5 y h d False\n", - "xxxx 13 6 y b c False\n", - "xxxx 13 7 y h u False\n", - "xxxx 13 8 y f v False\n", - "xxxx 13 9 y d c False\n", - "xxxx 13 10 y c f False\n", - "xxxx 13 11 y c a False\n", - "xxxx 13 12 y f y False\n", - "seq1 13 13 y a y True\n", - "xxxx 13 14 y e y False\n", - "xxxx 13 15 y e u False\n", - "xxxx 13 16 y b e False\n", - "xxxx 13 17 y c z False\n", - "xxxx 13 18 y g e False\n", - "xxxx 13 19 y e b False\n", - "xxxx 13 20 y b c False\n", - "seq1 14 0 y ! b False\n", - "xxxx 14 1 y c h False\n", - "xxxx 14 2 y a z False\n", - "xxxx 14 3 y f f False\n", - "xxxx 14 4 y e d False\n", - "xxxx 14 5 y h c False\n", - "xxxx 14 6 y b u False\n", - "xxxx 14 7 y h v False\n", - "xxxx 14 8 y f c False\n", - "xxxx 14 9 y d f False\n", - "xxxx 14 10 y c a False\n", - "xxxx 14 11 y c y False\n", - "xxxx 14 12 y f y False\n", - "seq1 14 13 y a y True\n", - "xxxx 14 14 y e u False\n", - "xxxx 14 15 y e e False\n", - "xxxx 14 16 y b z False\n", - "xxxx 14 17 y c e False\n", - "xxxx 14 18 y g b False\n", - "xxxx 14 19 y e c False\n", - "xxxx 14 20 y b g False\n", - "seq1 15 0 u ! h False\n", - "xxxx 15 1 u c z False\n", - "xxxx 15 2 u a f False\n", - "xxxx 15 3 u f d False\n", - "xxxx 15 4 u e c False\n", - "xxxx 15 5 u h u False\n", - "xxxx 15 6 u b v False\n", - "xxxx 15 7 u h c False\n", - "xxxx 15 8 u f f False\n", - "xxxx 15 9 u d a False\n", - "xxxx 15 10 u c y False\n", - "xxxx 15 11 u c y False\n", - "xxxx 15 12 u f y False\n", - "seq1 15 13 u a u True\n", - "seq2 15 14 u e e True\n", - "xxxx 15 15 u e z False\n", - "xxxx 15 16 u b e False\n", - "xxxx 15 17 u c b False\n", - "xxxx 15 18 u g c False\n", - "xxxx 15 19 u e g False\n", - "xxxx 15 20 u b w False\n", - "seq1 16 0 z ! z False\n", - "xxxx 16 1 z c f False\n", - "xxxx 16 2 z a d False\n", - "xxxx 16 3 z f c False\n", - "xxxx 16 4 z e u False\n", - "xxxx 16 5 z h v False\n", - "xxxx 16 6 z b c False\n", - "xxxx 16 7 z h f False\n", - "xxxx 16 8 z f a False\n", - "xxxx 16 9 z d y False\n", - "xxxx 16 10 z c y False\n", - "xxxx 16 11 z c y False\n", - "xxxx 16 12 z f u False\n", - "xxxx 16 13 z a e False\n", - "seq1 16 14 z e z True\n", - "seq2 16 15 z e e True\n", - "seq2 16 16 z b b True\n", - "seq2 16 17 z c c True\n", - "seq2 16 18 z g g True\n", - "xxxx 16 19 z e w False\n", - "xxxx 16 20 z b u False\n", - "seq1 17 0 w ! f False\n", - "xxxx 17 1 w c d False\n", - "xxxx 17 2 w a c False\n", - "xxxx 17 3 w f u False\n", - "xxxx 17 4 w e v False\n", - "xxxx 17 5 w h c False\n", - "xxxx 17 6 w b f False\n", - "xxxx 17 7 w h a False\n", - "xxxx 17 8 w f y False\n", - "xxxx 17 9 w d y False\n", - "xxxx 17 10 w c y False\n", - "xxxx 17 11 w c u False\n", - "xxxx 17 12 w f e False\n", - "xxxx 17 13 w a z False\n", - "xxxx 17 14 w e e False\n", - "xxxx 17 15 w e b False\n", - "xxxx 17 16 w b c False\n", - "xxxx 17 17 w c g False\n", - "seq1 17 18 w g w True\n", - "xxxx 17 19 w e u False\n", - "xxxx 17 20 w b e False\n", - "seq1 18 0 u ! d False\n", - "xxxx 18 1 u c c False\n", - "xxxx 18 2 u a u False\n", - "xxxx 18 3 u f v False\n", - "xxxx 18 4 u e c False\n", - "xxxx 18 5 u h f False\n", - "xxxx 18 6 u b a False\n", - "xxxx 18 7 u h y False\n", - "xxxx 18 8 u f y False\n", - "xxxx 18 9 u d y False\n", - "xxxx 18 10 u c u False\n", - "xxxx 18 11 u c e False\n", - "xxxx 18 12 u f z False\n", - "xxxx 18 13 u a e False\n", - "xxxx 18 14 u e b False\n", - "xxxx 18 15 u e c False\n", - "xxxx 18 16 u b g False\n", - "xxxx 18 17 u c w False\n", - "seq1 18 18 u g u True\n", - "seq2 18 19 u e e True\n", - "xxxx 18 20 u b w False\n", - "seq1 19 0 w ! c False\n", - "xxxx 19 1 w c u False\n", - "xxxx 19 2 w a v False\n", - "xxxx 19 3 w f c False\n", - "xxxx 19 4 w e f False\n", - "xxxx 19 5 w h a False\n", - "xxxx 19 6 w b y False\n", - "xxxx 19 7 w h y False\n", - "xxxx 19 8 w f y False\n", - "xxxx 19 9 w d u False\n", - "xxxx 19 10 w c e False\n", - "xxxx 19 11 w c z False\n", - "xxxx 19 12 w f e False\n", - "xxxx 19 13 w a b False\n", - "xxxx 19 14 w e c False\n", - "xxxx 19 15 w e g False\n", - "xxxx 19 16 w b w False\n", - "xxxx 19 17 w c u False\n", - "xxxx 19 18 w g e False\n", - "seq1 19 19 w e w True\n", - "seq2 19 20 w b b True\n", - "seq1 20 0 y ! u False\n", - "xxxx 20 1 y c v False\n", - "xxxx 20 2 y a c False\n", - "xxxx 20 3 y f f False\n", - "xxxx 20 4 y e a False\n", - "xxxx 20 5 y h y False\n", - "xxxx 20 6 y b y False\n", - "xxxx 20 7 y h y False\n", - "xxxx 20 8 y f u False\n", - "xxxx 20 9 y d e False\n", - "xxxx 20 10 y c z False\n", - "xxxx 20 11 y c e False\n", - "xxxx 20 12 y f b False\n", - "xxxx 20 13 y a c False\n", - "xxxx 20 14 y e g False\n", - "xxxx 20 15 y e w False\n", - "xxxx 20 16 y b u False\n", - "xxxx 20 17 y c e False\n", - "xxxx 20 18 y g w False\n", - "xxxx 20 19 y e b False\n", - "seq1 20 20 y b y True\n", - "T . . . . . . . . . . . . . . . . . . . .\n", - "T T . . . . . . . . . . . . . . . . . . .\n", - ". T T T . . . . . . . . . . . . . . . . .\n", - ". . . T . . . . . . . . . . . . . . . . .\n", - ". . . T . . . . . . . . . . . . . . . . .\n", - ". . . T . . . . . . . . . . . . . . . . .\n", - ". . . T T . . . . . . . . . . . . . . . .\n", - ". . . . T T . . . . . . . . . . . . . . .\n", - ". . . . . T T T . . . . . . . . . . . . .\n", - ". . . . . . . T T T T . . . . . . . . . .\n", + "xxxx 12 13 y g f False\n", + "xxxx 12 14 y g g False\n", + "xxxx 12 15 y f g False\n", + "xxxx 12 16 y h f False\n", + "xxxx 12 17 y a h False\n", + "xxxx 12 18 y e x False\n", + "xxxx 12 19 y d w False\n", + "xxxx 12 20 y g a False\n", + "seq1 13 0 w ! z False\n", + "xxxx 13 1 w g h False\n", + "xxxx 13 2 w f v False\n", + "xxxx 13 3 w e g False\n", + "xxxx 13 4 w g d False\n", + "xxxx 13 5 w f u False\n", + "xxxx 13 6 w a z False\n", + "xxxx 13 7 w h a False\n", + "xxxx 13 8 w g z False\n", + "xxxx 13 9 w d y False\n", + "seq1 13 10 w a w True\n", + "seq2 13 11 w a a True\n", + "seq2 13 12 w f f True\n", + "seq2 13 13 w g g True\n", + "seq2 13 14 w g g True\n", + "seq2 13 15 w f f True\n", + "seq2 13 16 w h h True\n", + "xxxx 13 17 w a x False\n", + "xxxx 13 18 w e w False\n", + "xxxx 13 19 w d a False\n", + "xxxx 13 20 w g e False\n", + "seq1 14 0 x ! h False\n", + "xxxx 14 1 x g v False\n", + "xxxx 14 2 x f g False\n", + "xxxx 14 3 x e d False\n", + "xxxx 14 4 x g u False\n", + "xxxx 14 5 x f z False\n", + "xxxx 14 6 x a a False\n", + "xxxx 14 7 x h z False\n", + "xxxx 14 8 x g y False\n", + "xxxx 14 9 x d w False\n", + "xxxx 14 10 x a a False\n", + "xxxx 14 11 x a f False\n", + "xxxx 14 12 x f g False\n", + "xxxx 14 13 x g g False\n", + "xxxx 14 14 x g f False\n", + "xxxx 14 15 x f h False\n", + "seq1 14 16 x h x True\n", + "xxxx 14 17 x a w False\n", + "xxxx 14 18 x e a False\n", + "xxxx 14 19 x d e False\n", + "xxxx 14 20 x g w False\n", + "seq1 15 0 w ! v False\n", + "xxxx 15 1 w g g False\n", + "xxxx 15 2 w f d False\n", + "xxxx 15 3 w e u False\n", + "xxxx 15 4 w g z False\n", + "xxxx 15 5 w f a False\n", + "xxxx 15 6 w a z False\n", + "xxxx 15 7 w h y False\n", + "xxxx 15 8 w g w False\n", + "xxxx 15 9 w d a False\n", + "xxxx 15 10 w a f False\n", + "xxxx 15 11 w a g False\n", + "xxxx 15 12 w f g False\n", + "xxxx 15 13 w g f False\n", + "xxxx 15 14 w g h False\n", + "xxxx 15 15 w f x False\n", + "seq1 15 16 w h w True\n", + "seq2 15 17 w a a True\n", + "seq2 15 18 w e e True\n", + "xxxx 15 19 w d w False\n", + "xxxx 15 20 w g d False\n", + "seq1 16 0 w ! g False\n", + "xxxx 16 1 w g d False\n", + "xxxx 16 2 w f u False\n", + "xxxx 16 3 w e z False\n", + "xxxx 16 4 w g a False\n", + "xxxx 16 5 w f z False\n", + "xxxx 16 6 w a y False\n", + "xxxx 16 7 w h w False\n", + "xxxx 16 8 w g a False\n", + "xxxx 16 9 w d f False\n", + "xxxx 16 10 w a g False\n", + "xxxx 16 11 w a g False\n", + "xxxx 16 12 w f f False\n", + "xxxx 16 13 w g h False\n", + "xxxx 16 14 w g x False\n", + "xxxx 16 15 w f w False\n", + "xxxx 16 16 w h a False\n", + "xxxx 16 17 w a e False\n", + "seq1 16 18 w e w True\n", + "seq2 16 19 w d d True\n", + "xxxx 16 20 w g x False\n", + "seq1 17 0 x ! d False\n", + "xxxx 17 1 x g u False\n", + "xxxx 17 2 x f z False\n", + "xxxx 17 3 x e a False\n", + "xxxx 17 4 x g z False\n", + "xxxx 17 5 x f y False\n", + "xxxx 17 6 x a w False\n", + "xxxx 17 7 x h a False\n", + "xxxx 17 8 x g f False\n", + "xxxx 17 9 x d g False\n", + "xxxx 17 10 x a g False\n", + "xxxx 17 11 x a f False\n", + "xxxx 17 12 x f h False\n", + "xxxx 17 13 x g x False\n", + "xxxx 17 14 x g w False\n", + "xxxx 17 15 x f a False\n", + "xxxx 17 16 x h e False\n", + "xxxx 17 17 x a w False\n", + "xxxx 17 18 x e d False\n", + "seq1 17 19 x d x True\n", + "xxxx 17 20 x g u False\n", + "seq1 18 0 u ! u False\n", + "xxxx 18 1 u g z False\n", + "xxxx 18 2 u f a False\n", + "xxxx 18 3 u e z False\n", + "xxxx 18 4 u g y False\n", + "xxxx 18 5 u f w False\n", + "xxxx 18 6 u a a False\n", + "xxxx 18 7 u h f False\n", + "xxxx 18 8 u g g False\n", + "xxxx 18 9 u d g False\n", + "xxxx 18 10 u a f False\n", + "xxxx 18 11 u a h False\n", + "xxxx 18 12 u f x False\n", + "xxxx 18 13 u g w False\n", + "xxxx 18 14 u g a False\n", + "xxxx 18 15 u f e False\n", + "xxxx 18 16 u h w False\n", + "xxxx 18 17 u a d False\n", + "xxxx 18 18 u e x False\n", + "seq1 18 19 u d u True\n", + "xxxx 18 20 u g z False\n", + "seq1 19 0 z ! z False\n", + "xxxx 19 1 z g a False\n", + "xxxx 19 2 z f z False\n", + "xxxx 19 3 z e y False\n", + "xxxx 19 4 z g w False\n", + "xxxx 19 5 z f a False\n", + "xxxx 19 6 z a f False\n", + "xxxx 19 7 z h g False\n", + "xxxx 19 8 z g g False\n", + "xxxx 19 9 z d f False\n", + "xxxx 19 10 z a h False\n", + "xxxx 19 11 z a x False\n", + "xxxx 19 12 z f w False\n", + "xxxx 19 13 z g a False\n", + "xxxx 19 14 z g e False\n", + "xxxx 19 15 z f w False\n", + "xxxx 19 16 z h d False\n", + "xxxx 19 17 z a x False\n", + "xxxx 19 18 z e u False\n", + "seq1 19 19 z d z True\n", + "xxxx 19 20 z g x False\n", + "seq1 20 0 x ! a False\n", + "xxxx 20 1 x g z False\n", + "xxxx 20 2 x f y False\n", + "xxxx 20 3 x e w False\n", + "xxxx 20 4 x g a False\n", + "xxxx 20 5 x f f False\n", + "xxxx 20 6 x a g False\n", + "xxxx 20 7 x h g False\n", + "xxxx 20 8 x g f False\n", + "xxxx 20 9 x d h False\n", + "xxxx 20 10 x a x False\n", + "xxxx 20 11 x a w False\n", + "xxxx 20 12 x f a False\n", + "xxxx 20 13 x g e False\n", + "xxxx 20 14 x g w False\n", + "xxxx 20 15 x f d False\n", + "xxxx 20 16 x h x False\n", + "xxxx 20 17 x a u False\n", + "xxxx 20 18 x e z False\n", + "seq1 20 19 x d x True\n", + "seq2 20 20 x g g True\n", + "T T T . . . . . . . . . . . . . . . . . .\n", + ". . T T . . . . . . . . . . . . . . . . .\n", + ". . . T T T T . . . . . . . . . . . . . .\n", + ". . . . . . T . . . . . . . . . . . . . .\n", + ". . . . . . T . . . . . . . . . . . . . .\n", + ". . . . . . T . . . . . . . . . . . . . .\n", + ". . . . . . T . . . . . . . . . . . . . .\n", + ". . . . . . T T . . . . . . . . . . . . .\n", + ". . . . . . . T T T . . . . . . . . . . .\n", + ". . . . . . . . . T . . . . . . . . . . .\n", + ". . . . . . . . . T T . . . . . . . . . .\n", + ". . . . . . . . . . T . . . . . . . . . .\n", ". . . . . . . . . . T . . . . . . . . . .\n", - ". . . . . . . . . . T T T T . . . . . . .\n", - ". . . . . . . . . . . . . T . . . . . . .\n", - ". . . . . . . . . . . . . T . . . . . . .\n", - ". . . . . . . . . . . . . T . . . . . . .\n", - ". . . . . . . . . . . . . T T . . . . . .\n", - ". . . . . . . . . . . . . . T T T T T . .\n", - ". . . . . . . . . . . . . . . . . . T . .\n", + ". . . . . . . . . . T T T T T T T . . . .\n", + ". . . . . . . . . . . . . . . . T . . . .\n", + ". . . . . . . . . . . . . . . . T T T . .\n", ". . . . . . . . . . . . . . . . . . T T .\n", - ". . . . . . . . . . . . . . . . . . . T T\n", - ". . . . . . . . . . . . . . . . . . . . T\n" + ". . . . . . . . . . . . . . . . . . . T .\n", + ". . . . . . . . . . . . . . . . . . . T .\n", + ". . . . . . . . . . . . . . . . . . . T .\n", + ". . . . . . . . . . . . . . . . . . . T T\n" ] } ], @@ -1264,16 +1276,16 @@ }, { "cell_type": "code", - "execution_count": 22, + "execution_count": 23, "metadata": {}, "outputs": [ { "data": { "text/plain": [ - "'XcVafUZYWeUhXbhZfdcUVcfaYYYUeZebcgWUeWbY'" + "'gfZeYgfaZVYUZhVgdUZaZYWafggfhXWaeWdXUZXg'" ] }, - "execution_count": 22, + "execution_count": 23, "metadata": {}, "output_type": "execute_result" } @@ -1284,35 +1296,35 @@ }, { "cell_type": "code", - "execution_count": 23, + "execution_count": 24, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "T . . . . . . . . . . . . . . . . . . . .\n", - "T T . . . . . . . . . . . . . . . . . . .\n", - ". T T T . . . . . . . . . . . . . . . . .\n", - ". . . T . . . . . . . . . . . . . . . . .\n", - ". . . T . . . . . . . . . . . . . . . . .\n", - ". . . T . . . . . . . . . . . . . . . . .\n", - ". . . T T . . . . . . . . . . . . . . . .\n", - ". . . . T T . . . . . . . . . . . . . . .\n", - ". . . . . T T T . . . . . . . . . . . . .\n", - ". . . . . . . T T T T . . . . . . . . . .\n", + "T T T . . . . . . . . . . . . . . . . . .\n", + ". . T T . . . . . . . . . . . . . . . . .\n", + ". . . T T T T . . . . . . . . . . . . . .\n", + ". . . . . . T . . . . . . . . . . . . . .\n", + ". . . . . . T . . . . . . . . . . . . . .\n", + ". . . . . . T . . . . . . . . . . . . . .\n", + ". . . . . . T . . . . . . . . . . . . . .\n", + ". . . . . . T T . . . . . . . . . . . . .\n", + ". . . . . . . T T T . . . . . . . . . . .\n", + ". . . . . . . . . T . . . . . . . . . . .\n", + ". . . . . . . . . T T . . . . . . . . . .\n", + ". . . . . . . . . . T . . . . . . . . . .\n", ". . . . . . . . . . T . . . . . . . . . .\n", - ". . . . . . . . . . T T T T . . . . . . .\n", - ". . . . . . . . . . . . . T . . . . . . .\n", - ". . . . . . . . . . . . . T . . . . . . .\n", - ". . . . . . . . . . . . . T . . . . . . .\n", - ". . . . . . . . . . . . . T T . . . . . .\n", - ". . . . . . . . . . . . . . T T T T T . .\n", - ". . . . . . . . . . . . . . . . . . T . .\n", + ". . . . . . . . . . T T T T T T T . . . .\n", + ". . . . . . . . . . . . . . . . T . . . .\n", + ". . . . . . . . . . . . . . . . T T T . .\n", ". . . . . . . . . . . . . . . . . . T T .\n", + ". . . . . . . . . . . . . . . . . . . T .\n", + ". . . . . . . . . . . . . . . . . . . T .\n", + ". . . . . . . . . . . . . . . . . . . T .\n", ". . . . . . . . . . . . . . . . . . . T T\n", - ". . . . . . . . . . . . . . . . . . . . T\n", - "XcVafUZYWeUhXbhZfdcUVcfaYYYUeZebcgWUeWbY\n" + "gfZeYgfaZVYUZhVgdUZaZYWafggfhXWaeWdXUZXg\n" ] }, { @@ -1321,7 +1333,7 @@ "True" ] }, - "execution_count": 23, + "execution_count": 24, "metadata": {}, "output_type": "execute_result" } @@ -1335,19 +1347,19 @@ }, { "cell_type": "code", - "execution_count": 24, + "execution_count": 25, "metadata": {}, "outputs": [ { "data": { "text/plain": [ - "('fdghaegbegehggbggcgcfecbgfacefhahahdhfafacchafacea',\n", - " 'hdhadgebfeaehhhggbdghgcehabccgbddafeacagbgcahhfefe',\n", - " 'fhdgdhahadgegebfbeegehaegghbhghggcggcfecbgbdgfhagcehabcccgbedfdhahaafeahcdhfaafaccghafbgacceahahfefe',\n", + "('chcceahdchbdeahgacbfbfebfefacfebhhcdfgfgggfeahaadd',\n", + " 'fbhafageadeedbcdfffaabefeeffaffgebdbchcgfcgggecbgh',\n", + " 'chccfbehaahfdcagheabdedeaehgdabccbfdbfebffeffafacfaebefeebfhhcdfafffgebdgfgggbfchceahgaafdcgdggecbgh',\n", " 100)" ] }, - "execution_count": 24, + "execution_count": 25, "metadata": {}, "output_type": "execute_result" } @@ -1361,57 +1373,55 @@ }, { "cell_type": "code", - "execution_count": 25, + "execution_count": 26, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". T . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . T . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + "T T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . T . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . T T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . T . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . T . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . T . T T T T T T T T . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . T . T . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . T T . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T T . . . . . . .\n", + ". . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . T T T T T T . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . T . . T T T T . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . T . T T T . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . T . T . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . T . . T T T . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T T . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T T . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T\n", @@ -1419,7 +1429,9 @@ ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T\n", - "fHdgDhaHADGegEBFbeEgehAEggHbHgHgGcgGcfecbgBDGfHaGCEHABcCCGBeDfDhahaAFEAhCdhfaAfaccGhafBGacCeAHaHFEFE\n" + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T\n", + "chccFBeHaAhFdcAGhEAbdeDEaEhgDaBcCbfDbfebfFefFaFAcfAeBEFEEbFhhcdFAfFFGEBDgfgggBfCHCeahGaaFdCGdGGECBGH\n" ] }, { @@ -1428,7 +1440,7 @@ "True" ] }, - "execution_count": 25, + "execution_count": 26, "metadata": {}, "output_type": "execute_result" } @@ -1442,14 +1454,14 @@ }, { "cell_type": "code", - "execution_count": 26, + "execution_count": 27, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "1000 loops, best of 3: 1.4 ms per loop\n" + "1000 loops, best of 3: 1.31 ms per loop\n" ] } ], @@ -1460,65 +1472,65 @@ }, { "cell_type": "code", - "execution_count": 27, + "execution_count": 28, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ + "T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + "T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + "T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", "T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", "T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . T . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . T T T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . T . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . T . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . T T . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . T T T T T T T T T . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . T . . . . T T T T T . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . T T . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . T T T T T T . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . T . . . . T T . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . T . T T T T T T T . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . T . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . T T T T T T\n", - "FhDGdhaHAdgEGebfBeEGEHaeGGhBhGhgGCgGCFECBGbdgFhAgcehabccCgbEdFdHAHaAfeaHcDHFaAFACCgHAFbgAcCEahAhfefe\n" + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T T T T\n", + "CHCCfbEhaAHfDCagHeaBdeDEAeHGdAbcCBFdBFEBfFEffaFACFaEbefeeBfHHCDfaffFgebdGFGGGbFchcEAHgAAfDcgDggecbgh\n" ] }, { @@ -1527,7 +1539,7 @@ "True" ] }, - "execution_count": 27, + "execution_count": 28, "metadata": {}, "output_type": "execute_result" } @@ -1541,7 +1553,7 @@ }, { "cell_type": "code", - "execution_count": 28, + "execution_count": 29, "metadata": {}, "outputs": [ { @@ -1550,7 +1562,7 @@ "True" ] }, - "execution_count": 28, + "execution_count": 29, "metadata": {}, "output_type": "execute_result" } @@ -1561,16 +1573,16 @@ }, { "cell_type": "code", - "execution_count": 29, + "execution_count": 30, "metadata": {}, "outputs": [ { "data": { "text/plain": [ - "('febffabcddaaaeffcdhcdaffgfafafcchfffdcbbbagbdfdbdd', False, False)" + "('cbchedabcadedhfafahdaacbhhhedfhgceafghceehaefaebcc', False, False)" ] }, - "execution_count": 29, + "execution_count": 30, "metadata": {}, "output_type": "execute_result" } @@ -1582,7 +1594,7 @@ }, { "cell_type": "code", - "execution_count": 30, + "execution_count": 31, "metadata": {}, "outputs": [ { @@ -1591,9 +1603,9 @@ "text": [ "T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", "T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + "T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + "T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + "T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", @@ -1649,7 +1661,7 @@ "False" ] }, - "execution_count": 30, + "execution_count": 31, "metadata": {}, "output_type": "execute_result" } @@ -1663,7 +1675,7 @@ }, { "cell_type": "code", - "execution_count": 31, + "execution_count": 32, "metadata": { "collapsed": true }, @@ -1674,20 +1686,449 @@ " return s2 == s3\n", " elif not s2:\n", " return s1 == s3\n", + " elif len(s1) + len(s2) != len(s3):\n", + " return False\n", " else:\n", - " if s1[-1] == s2[-1] and s1[-1] == s3[-1]:\n", - " return is_interleave_recursive(s1[:-1], s2, s3[:-1]) or is_interleave(s1, s2[:-1], s3[:-1])\n", + " if s1[-1] == s3[-1] and s2[-1] == s3[-1]:\n", + " return (is_interleave_recursive(s1[:-1], s2, s3[:-1]) \n", + " or \n", + " is_interleave_recursive(s1, s2[:-1], s3[:-1]) )\n", " elif s1[-1] == s3[-1]:\n", " return is_interleave_recursive(s1[:-1], s2, s3[:-1])\n", " elif s2[-1] == s3[-1]:\n", - " return is_interleave(s1, s2[:-1], s3[:-1])\n", + " return is_interleave_recursive(s1, s2[:-1], s3[:-1])\n", " else:\n", " return False" ] }, { "cell_type": "code", - "execution_count": 32, + "execution_count": 33, + "metadata": { + "collapsed": true + }, + "outputs": [], + "source": [ + "import uuid" + ] + }, + { + "cell_type": "code", + "execution_count": 34, + "metadata": { + "collapsed": true + }, + "outputs": [], + "source": [ + "def is_subseq_recursive_dot(s1, s2):\n", + " node_id = uuid.uuid4().hex\n", + " node_string = 'n{} [label=\"{}\\\\n{}\"];'.format(node_id, s1, s2)\n", + "# print(s1, s2, node_string)\n", + " if not s1:\n", + " return node_id, ['n{} [label=\"-\\\\n{}\\\\nTrue\"];'.format(node_id, s2)]\n", + " elif len(s1) > len(s2):\n", + " return node_id, ['n{} [label=\"{}\\\\n{}\\\\nFalse\"];'.format(node_id, s1, s2)]\n", + " else:\n", + " if s1[-1] == s2[-1]:\n", + " node1_id, node1_graph = is_subseq_recursive_dot(s1[:-1], s2[:-1])\n", + " node2_id, node2_graph = is_subseq_recursive_dot(s1, s2[:-1])\n", + " return node_id, ([node_string, \n", + " 'n{} -> n{};'.format(node_id, node1_id), \n", + " 'n{} -> n{};'.format(node_id, node2_id)] + \n", + " node1_graph + node2_graph)\n", + " else:\n", + " node1_id, node1_graph = is_subseq_recursive_dot(s1, s2[:-1])\n", + " return node_id, ([node_string, \n", + " 'n{} -> n{};'.format(node_id, node1_id)] + \n", + " node1_graph)" + ] + }, + { + "cell_type": "code", + "execution_count": 35, + "metadata": { + "collapsed": true + }, + "outputs": [], + "source": [ + "def is_interleave_recursive_dot(s1, s2, s3):\n", + " \n", + "# print(s1, s2, s3)\n", + " node_id = uuid.uuid4().hex\n", + " node_string = 'n{} [label=\"{}\\\\n{}\\\\n{}\"];'.format(node_id, s1, s2, s3)\n", + "\n", + " if not s1:\n", + " if s2 == s3:\n", + " return node_id, ['n{} [label=\"-\\\\n{}\\\\n{}\\\\nTrue\"];'.format(node_id, s2, s3)]\n", + " else:\n", + " return node_id, ['n{} [label=\"-\\\\n{}\\\\n{}\\\\nFalse\"];'.format(node_id, s2, s3)]\n", + " elif not s2:\n", + " if s1 == s3:\n", + " return node_id, ['n{} [label=\"{}\\\\n-\\\\n{}\\\\nTrue\"];'.format(node_id, s1, s3)]\n", + " else:\n", + " return node_id, ['n{} [label=\"{}\\\\n-\\\\n{}\\\\nFalse\"];'.format(node_id, s1, s3)]\n", + " else:\n", + " if s1[-1] == s2[-1] and s1[-1] == s3[-1]:\n", + " node1_id, node1_graph = is_interleave_recursive_dot(s1[:-1], s2, s3[:-1])\n", + " node2_id, node2_graph = is_interleave_recursive_dot(s1, s2[:-1], s3[:-1])\n", + " return node_id, ([node_string, \n", + " 'n{} -> n{};'.format(node_id, node1_id), \n", + " 'n{} -> n{};'.format(node_id, node2_id)] + \n", + " node1_graph + node2_graph)\n", + " elif s1[-1] == s3[-1]:\n", + " node1_id, node1_graph = is_interleave_recursive_dot(s1[:-1], s2, s3[:-1])\n", + " return node_id, ([node_string, \n", + " 'n{} -> n{};'.format(node_id, node1_id)] + \n", + " node1_graph)\n", + " elif s2[-1] == s3[-1]:\n", + " node1_id, node1_graph = is_interleave_recursive_dot(s1, s2[:-1], s3[:-1])\n", + " return node_id, ([node_string, \n", + " 'n{} -> n{};'.format(node_id, node1_id)] + \n", + " node1_graph)\n", + " else:\n", + " return node_id, ['n{} [label=\"{}\\\\n{}\\\\n{}\\\\nFalse\"];'.format(node_id, s1, s2, s3)]" + ] + }, + { + "cell_type": "code", + "execution_count": 36, + "metadata": { + "collapsed": true + }, + "outputs": [], + "source": [ + "s1 = \"aabcc\"\n", + "s2 = \"dbbca\"\n", + "\n", + "s3t = \"aadbbcbcac\"\n", + "s3f = \"aadbbbaccc\"" + ] + }, + { + "cell_type": "code", + "execution_count": 37, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "T . . . . .\n", + "T . . . . .\n", + "T T T T T .\n", + ". T T . T .\n", + ". . T T T T\n", + ". . . T . T\n", + "AAdbbcBCaC\n" + ] + } + ], + "source": [ + "v, bp, t = is_interleave(s1, s2, s3t, return_backpointers=True, return_table=True)\n", + "print(show_table(t))\n", + "print(show_backtrace(bp))" + ] + }, + { + "cell_type": "code", + "execution_count": 38, + "metadata": { + "collapsed": true + }, + "outputs": [], + "source": [ + "def show_table_md(table, s1, s2, s3):\n", + " header = '| |' + '|'.join('{}
{}'.format('
'.join(str(s2[:i])), i) for i in range(len(s2) + 1)) + '|'\n", + " separator = '|:---:' * (len(s2) + 2) + '|'\n", + " rows = []\n", + " columns = sorted(set(k[1] for k in table))\n", + " for r in range(len(s1) + 1):\n", + " row = '|**{}
{}**|'.format(r, s1[:r])\n", + " row += '|'.join('{}
T'.format(s3[:(r+c)]) if table[r, c] else '{}
.'.format(s3[:(r+c)]) for c in columns)\n", + " row += '|'\n", + " rows += [row]\n", + " return '\\n'.join([header] + [separator] + rows)" + ] + }, + { + "cell_type": "code", + "execution_count": 39, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "| |
0|d
1|d
b
2|d
b
b
3|d
b
b
c
4|d
b
b
c
a
5|\n", + "|:---:|:---:|:---:|:---:|:---:|:---:|:---:|\n", + "|**0
**|
T|a
.|aa
.|aad
.|aadb
.|aadbb
.|\n", + "|**1
a**|a
T|aa
.|aad
.|aadb
.|aadbb
.|aadbbc
.|\n", + "|**2
aa**|aa
T|aad
T|aadb
T|aadbb
T|aadbbc
T|aadbbcb
.|\n", + "|**3
aab**|aad
.|aadb
T|aadbb
T|aadbbc
.|aadbbcb
T|aadbbcbc
.|\n", + "|**4
aabc**|aadb
.|aadbb
.|aadbbc
T|aadbbcb
T|aadbbcbc
T|aadbbcbca
T|\n", + "|**5
aabcc**|aadbb
.|aadbbc
.|aadbbcb
.|aadbbcbc
T|aadbbcbca
.|aadbbcbcac
T|\n" + ] + } + ], + "source": [ + "print(show_table_md(t, s1, s2, s3t))" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "| |
0|d
1|d
b
2|d
b
b
3|d
b
b
c
4|d
b
b
c
a
5|\n", + "|:---:|:---:|:---:|:---:|:---:|:---:|:---:|\n", + "|**0
**|
T|a
.|aa
.|aad
.|aadb
.|aadbb
.|\n", + "|**1
a**|a
T|aa
.|aad
.|aadb
.|aadbb
.|aadbbc
.|\n", + "|**2
aa**|aa
T|aad
T|aadb
T|aadbb
T|aadbbc
T|aadbbcb
.|\n", + "|**3
aab**|aad
.|aadb
T|aadbb
T|aadbbc
.|aadbbcb
T|aadbbcbc
.|\n", + "|**4
aabc**|aadb
.|aadbb
.|aadbbc
T|aadbbcb
T|aadbbcbc
T|aadbbcbca
T|\n", + "|**5
aabcc**|aadbb
.|aadbbc
.|aadbbcb
.|aadbbcbc
T|aadbbcbca
.|aadbbcbcac
T|" + ] + }, + { + "cell_type": "code", + "execution_count": 40, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "T T T T\n", + "T . T .\n", + ". . T T\n", + ". . . T\n", + "abACaB\n" + ] + } + ], + "source": [ + "e1 = 'acb'\n", + "e2 = 'aba'\n", + "e3 = 'abacab'\n", + "v, bp, et = is_interleave(e1, e2, e3, return_backpointers=True, return_table=True)\n", + "print(show_table(et))\n", + "print(show_backtrace(bp))" + ] + }, + { + "cell_type": "code", + "execution_count": 41, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "| |
0|a
1|a
b
2|a
b
a
3|\n", + "|:---:|:---:|:---:|:---:|:---:|\n", + "|**0
**|
T|a
T|ab
T|aba
T|\n", + "|**1
a**|a
T|ab
.|aba
T|abac
.|\n", + "|**2
ac**|ab
.|aba
.|abac
T|abaca
T|\n", + "|**3
acb**|aba
.|abac
.|abaca
.|abacab
T|\n" + ] + } + ], + "source": [ + "print(show_table_md(et, e1, e2, e3))" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "| |
0|a
1|a
b
2|a
b
a
3|\n", + "|:---:|:---:|:---:|:---:|:---:|\n", + "|**0
**|
T|a
T|ab
T|aba
T|\n", + "|**1
a**|a
T|ab
.|aba
T|abac
.|\n", + "|**2
ac**|ab
.|aba
.|abac
T|abaca
T|\n", + "|**3
acb**|aba
.|abac
.|abaca
.|abacab
T|" + ] + }, + { + "cell_type": "code", + "execution_count": 42, + "metadata": { + "scrolled": true + }, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "ndf96f65c85de45ba814c3aebe4afed65 [label=\"aabcc\\ndbbca\\naadbbcbcac\"];\n", + "ndf96f65c85de45ba814c3aebe4afed65 -> n0e6e480c9d664ba2af7e041445763b66;\n", + "n0e6e480c9d664ba2af7e041445763b66 [label=\"aabc\\ndbbca\\naadbbcbca\"];\n", + "n0e6e480c9d664ba2af7e041445763b66 -> nc7f25932eaf1431cb98430f8b1644221;\n", + "nc7f25932eaf1431cb98430f8b1644221 [label=\"aabc\\ndbbc\\naadbbcbc\"];\n", + "nc7f25932eaf1431cb98430f8b1644221 -> ncd2942f9e99443619c6ce1d72a10da75;\n", + "nc7f25932eaf1431cb98430f8b1644221 -> n0e76b3b46aba4a8abdbd569a0762170a;\n", + "ncd2942f9e99443619c6ce1d72a10da75 [label=\"aab\\ndbbc\\naadbbcb\"];\n", + "ncd2942f9e99443619c6ce1d72a10da75 -> n4762ffa7e0c6426792438c6f84c9d2f9;\n", + "n4762ffa7e0c6426792438c6f84c9d2f9 [label=\"aa\\ndbbc\\naadbbc\"];\n", + "n4762ffa7e0c6426792438c6f84c9d2f9 -> n9434633af1674b45ae72a987932bcacc;\n", + "n9434633af1674b45ae72a987932bcacc [label=\"aa\\ndbb\\naadbb\"];\n", + "n9434633af1674b45ae72a987932bcacc -> n72dd6ed85e8d43d39b1c6b240f672815;\n", + "n72dd6ed85e8d43d39b1c6b240f672815 [label=\"aa\\ndb\\naadb\"];\n", + "n72dd6ed85e8d43d39b1c6b240f672815 -> nf904e4ea330a48028602500e910001ba;\n", + "nf904e4ea330a48028602500e910001ba [label=\"aa\\nd\\naad\"];\n", + "nf904e4ea330a48028602500e910001ba -> nc2246b72d95748f5984f7a9a922afafa;\n", + "nc2246b72d95748f5984f7a9a922afafa [label=\"aa\\n-\\naa\\nTrue\"];\n", + "n0e76b3b46aba4a8abdbd569a0762170a [label=\"aabc\\ndbb\\naadbbcb\"];\n", + "n0e76b3b46aba4a8abdbd569a0762170a -> nde239312af534c47988db27094dc5e3b;\n", + "nde239312af534c47988db27094dc5e3b [label=\"aabc\\ndb\\naadbbc\"];\n", + "nde239312af534c47988db27094dc5e3b -> n0571e43544db4baea762dd9382a90eab;\n", + "n0571e43544db4baea762dd9382a90eab [label=\"aab\\ndb\\naadbb\"];\n", + "n0571e43544db4baea762dd9382a90eab -> nd24f1944051440d6b94710a3b971c134;\n", + "n0571e43544db4baea762dd9382a90eab -> n671eff7dd1f945a28e7bcd0647d7d40d;\n", + "nd24f1944051440d6b94710a3b971c134 [label=\"aa\\ndb\\naadb\"];\n", + "nd24f1944051440d6b94710a3b971c134 -> n26480b1bcee847adaeb205f2e844a4e5;\n", + "n26480b1bcee847adaeb205f2e844a4e5 [label=\"aa\\nd\\naad\"];\n", + "n26480b1bcee847adaeb205f2e844a4e5 -> n162a36ef08174bafa51dbf89a58965df;\n", + "n162a36ef08174bafa51dbf89a58965df [label=\"aa\\n-\\naa\\nTrue\"];\n", + "n671eff7dd1f945a28e7bcd0647d7d40d [label=\"aab\\nd\\naadb\"];\n", + "n671eff7dd1f945a28e7bcd0647d7d40d -> n8d9c2dc78a9047d4a243d316e87dd782;\n", + "n8d9c2dc78a9047d4a243d316e87dd782 [label=\"aa\\nd\\naad\"];\n", + "n8d9c2dc78a9047d4a243d316e87dd782 -> n6d893e899f6f4f77a30c3be1eeef25d0;\n", + "n6d893e899f6f4f77a30c3be1eeef25d0 [label=\"aa\\n-\\naa\\nTrue\"];\n" + ] + } + ], + "source": [ + "root, graph = is_interleave_recursive_dot(s1, s2, s3t)\n", + "print('\\n'.join(graph))" + ] + }, + { + "cell_type": "code", + "execution_count": 43, + "metadata": { + "scrolled": true + }, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "n8ab105a57ff44daa8fa8c0bd8275721c [label=\"aaa\\naaa\\naaaaaa\"];\n", + "n8ab105a57ff44daa8fa8c0bd8275721c -> ndd3ec050e4d441ba9f5eca4140804aa2;\n", + "n8ab105a57ff44daa8fa8c0bd8275721c -> n5fe9af06410d4e3796f3e5b09724befb;\n", + "ndd3ec050e4d441ba9f5eca4140804aa2 [label=\"aa\\naaa\\naaaaa\"];\n", + "ndd3ec050e4d441ba9f5eca4140804aa2 -> n4da003b54dd94728a1aa1890f1a9250a;\n", + "ndd3ec050e4d441ba9f5eca4140804aa2 -> ncb2a3fd92dc6414a99dc115990760e7c;\n", + "n4da003b54dd94728a1aa1890f1a9250a [label=\"a\\naaa\\naaaa\"];\n", + "n4da003b54dd94728a1aa1890f1a9250a -> n699e6ec8bba74ec394a68d5c2d306c30;\n", + "n4da003b54dd94728a1aa1890f1a9250a -> n71376b3b5e614617ba68dccf8d9677cc;\n", + "n699e6ec8bba74ec394a68d5c2d306c30 [label=\"-\\naaa\\naaa\\nTrue\"];\n", + "n71376b3b5e614617ba68dccf8d9677cc [label=\"a\\naa\\naaa\"];\n", + "n71376b3b5e614617ba68dccf8d9677cc -> nb876b970b38f4ba2937a69ba491f308c;\n", + "n71376b3b5e614617ba68dccf8d9677cc -> nfb2ebec95c5c46c6b160c511031f5417;\n", + "nb876b970b38f4ba2937a69ba491f308c [label=\"-\\naa\\naa\\nTrue\"];\n", + "nfb2ebec95c5c46c6b160c511031f5417 [label=\"a\\na\\naa\"];\n", + "nfb2ebec95c5c46c6b160c511031f5417 -> ndcf30cbbd8f646adb30c01e8fbc8aaaf;\n", + "nfb2ebec95c5c46c6b160c511031f5417 -> n9bb6593bab3c47e59f83df2767b67a3a;\n", + "ndcf30cbbd8f646adb30c01e8fbc8aaaf [label=\"-\\na\\na\\nTrue\"];\n", + "n9bb6593bab3c47e59f83df2767b67a3a [label=\"a\\n-\\na\\nTrue\"];\n", + "ncb2a3fd92dc6414a99dc115990760e7c [label=\"aa\\naa\\naaaa\"];\n", + "ncb2a3fd92dc6414a99dc115990760e7c -> n937d754714994223bc97015534e1806e;\n", + "ncb2a3fd92dc6414a99dc115990760e7c -> n553eac2d6c4542448a5c82b781e963b1;\n", + "n937d754714994223bc97015534e1806e [label=\"a\\naa\\naaa\"];\n", + "n937d754714994223bc97015534e1806e -> n08a6688eb7df48f8834787728a0e36a2;\n", + "n937d754714994223bc97015534e1806e -> n063d395576474c5b82d810b2b70e7e3c;\n", + "n08a6688eb7df48f8834787728a0e36a2 [label=\"-\\naa\\naa\\nTrue\"];\n", + "n063d395576474c5b82d810b2b70e7e3c [label=\"a\\na\\naa\"];\n", + "n063d395576474c5b82d810b2b70e7e3c -> n04b9f6aea46c458da227558ab02a0b4c;\n", + "n063d395576474c5b82d810b2b70e7e3c -> nc067208a5ab64f8c9904d58b738b81e4;\n", + "n04b9f6aea46c458da227558ab02a0b4c [label=\"-\\na\\na\\nTrue\"];\n", + "nc067208a5ab64f8c9904d58b738b81e4 [label=\"a\\n-\\na\\nTrue\"];\n", + "n553eac2d6c4542448a5c82b781e963b1 [label=\"aa\\na\\naaa\"];\n", + "n553eac2d6c4542448a5c82b781e963b1 -> n5d50905c46ce4dc8bcb59fb62984fa54;\n", + "n553eac2d6c4542448a5c82b781e963b1 -> n6768e9ad78804e65b1bde9cb655f2a60;\n", + "n5d50905c46ce4dc8bcb59fb62984fa54 [label=\"a\\na\\naa\"];\n", + "n5d50905c46ce4dc8bcb59fb62984fa54 -> n22bc48dd2aa84e79a387252cc28f3a92;\n", + "n5d50905c46ce4dc8bcb59fb62984fa54 -> n853ef88a20ee48a4bccf390498c96f5d;\n", + "n22bc48dd2aa84e79a387252cc28f3a92 [label=\"-\\na\\na\\nTrue\"];\n", + "n853ef88a20ee48a4bccf390498c96f5d [label=\"a\\n-\\na\\nTrue\"];\n", + "n6768e9ad78804e65b1bde9cb655f2a60 [label=\"aa\\n-\\naa\\nTrue\"];\n", + "n5fe9af06410d4e3796f3e5b09724befb [label=\"aaa\\naa\\naaaaa\"];\n", + "n5fe9af06410d4e3796f3e5b09724befb -> ne6b19fc7e02b4981a1edc20c7fe0cce0;\n", + "n5fe9af06410d4e3796f3e5b09724befb -> ne0c07d6d54f045a5b4bf9eb10bd8d810;\n", + "ne6b19fc7e02b4981a1edc20c7fe0cce0 [label=\"aa\\naa\\naaaa\"];\n", + "ne6b19fc7e02b4981a1edc20c7fe0cce0 -> n9d2cfd4e9cf2473bbd05a8a7e2a96714;\n", + "ne6b19fc7e02b4981a1edc20c7fe0cce0 -> n3d4e61bc032c4f8387c269d8ac49cc3f;\n", + "n9d2cfd4e9cf2473bbd05a8a7e2a96714 [label=\"a\\naa\\naaa\"];\n", + "n9d2cfd4e9cf2473bbd05a8a7e2a96714 -> n214f88e71d504eaba78b46c5a5bbe31d;\n", + "n9d2cfd4e9cf2473bbd05a8a7e2a96714 -> n2890559b11cb49c9aa083a76a7b68ce4;\n", + "n214f88e71d504eaba78b46c5a5bbe31d [label=\"-\\naa\\naa\\nTrue\"];\n", + "n2890559b11cb49c9aa083a76a7b68ce4 [label=\"a\\na\\naa\"];\n", + "n2890559b11cb49c9aa083a76a7b68ce4 -> n5d37f312b10341d09e2faa4fb4f40e3c;\n", + "n2890559b11cb49c9aa083a76a7b68ce4 -> nd73fc499c4214ddbbe7155f97c9ff394;\n", + "n5d37f312b10341d09e2faa4fb4f40e3c [label=\"-\\na\\na\\nTrue\"];\n", + "nd73fc499c4214ddbbe7155f97c9ff394 [label=\"a\\n-\\na\\nTrue\"];\n", + "n3d4e61bc032c4f8387c269d8ac49cc3f [label=\"aa\\na\\naaa\"];\n", + "n3d4e61bc032c4f8387c269d8ac49cc3f -> nfac20fc8bb7441f891ac0380259f3b76;\n", + "n3d4e61bc032c4f8387c269d8ac49cc3f -> n9d9c86dc313f48b69d9c2693ee32e7ab;\n", + "nfac20fc8bb7441f891ac0380259f3b76 [label=\"a\\na\\naa\"];\n", + "nfac20fc8bb7441f891ac0380259f3b76 -> n14489559bae24e99b2d816716ceef683;\n", + "nfac20fc8bb7441f891ac0380259f3b76 -> n44c425cd261c4c19971a47901723f942;\n", + "n14489559bae24e99b2d816716ceef683 [label=\"-\\na\\na\\nTrue\"];\n", + "n44c425cd261c4c19971a47901723f942 [label=\"a\\n-\\na\\nTrue\"];\n", + "n9d9c86dc313f48b69d9c2693ee32e7ab [label=\"aa\\n-\\naa\\nTrue\"];\n", + "ne0c07d6d54f045a5b4bf9eb10bd8d810 [label=\"aaa\\na\\naaaa\"];\n", + "ne0c07d6d54f045a5b4bf9eb10bd8d810 -> n8d8289489db44271b99f22c572668eaa;\n", + "ne0c07d6d54f045a5b4bf9eb10bd8d810 -> n4eda0dd1e0e34c8c9a81beba5c70fe5f;\n", + "n8d8289489db44271b99f22c572668eaa [label=\"aa\\na\\naaa\"];\n", + "n8d8289489db44271b99f22c572668eaa -> n156514e9dbcb44a8a6b4d96f1ec3e48f;\n", + "n8d8289489db44271b99f22c572668eaa -> n3ba7c5a0cc3b405aa6ca7899ee85a518;\n", + "n156514e9dbcb44a8a6b4d96f1ec3e48f [label=\"a\\na\\naa\"];\n", + "n156514e9dbcb44a8a6b4d96f1ec3e48f -> n3b99ff94eb914661bafe9ba4c0c997e2;\n", + "n156514e9dbcb44a8a6b4d96f1ec3e48f -> n91eac98d4ed74a1f99fd48ca60111d2c;\n", + "n3b99ff94eb914661bafe9ba4c0c997e2 [label=\"-\\na\\na\\nTrue\"];\n", + "n91eac98d4ed74a1f99fd48ca60111d2c [label=\"a\\n-\\na\\nTrue\"];\n", + "n3ba7c5a0cc3b405aa6ca7899ee85a518 [label=\"aa\\n-\\naa\\nTrue\"];\n", + "n4eda0dd1e0e34c8c9a81beba5c70fe5f [label=\"aaa\\n-\\naaa\\nTrue\"];\n" + ] + } + ], + "source": [ + "root, graph = is_interleave_recursive_dot('aaa', 'aaa', 'aaaaaa')\n", + "print('\\n'.join(graph))" + ] + }, + { + "cell_type": "code", + "execution_count": 44, + "metadata": { + "scrolled": true + }, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "n5d63e71661ed4a8ead31b5c5f9c1949b [label=\"acb\\naba\\nabacab\"];\n", + "n5d63e71661ed4a8ead31b5c5f9c1949b -> n11bd1802979b4332bdf9cf6cc3b2a51c;\n", + "n11bd1802979b4332bdf9cf6cc3b2a51c [label=\"ac\\naba\\nabaca\"];\n", + "n11bd1802979b4332bdf9cf6cc3b2a51c -> n8a082af1ba074b84b7410b97554be94f;\n", + "n8a082af1ba074b84b7410b97554be94f [label=\"ac\\nab\\nabac\"];\n", + "n8a082af1ba074b84b7410b97554be94f -> n6ec78858d88046c8b8531a63f38825b3;\n", + "n6ec78858d88046c8b8531a63f38825b3 [label=\"a\\nab\\naba\"];\n", + "n6ec78858d88046c8b8531a63f38825b3 -> na563514a3f194725be7160850c3c8369;\n", + "na563514a3f194725be7160850c3c8369 [label=\"-\\nab\\nab\\nTrue\"];\n" + ] + } + ], + "source": [ + "root, graph = is_interleave_recursive_dot(e1, e2, e3)\n", + "print('\\n'.join(graph))" + ] + }, + { + "cell_type": "code", + "execution_count": 45, "metadata": { "collapsed": true }, @@ -1702,7 +2143,7 @@ }, { "cell_type": "code", - "execution_count": 33, + "execution_count": 48, "metadata": {}, "outputs": [ { @@ -1711,7 +2152,7 @@ "True" ] }, - "execution_count": 33, + "execution_count": 48, "metadata": {}, "output_type": "execute_result" } @@ -1722,7 +2163,7 @@ }, { "cell_type": "code", - "execution_count": 34, + "execution_count": 49, "metadata": {}, "outputs": [ { @@ -1731,7 +2172,7 @@ "False" ] }, - "execution_count": 34, + "execution_count": 49, "metadata": {}, "output_type": "execute_result" } @@ -1749,7 +2190,7 @@ }, { "cell_type": "code", - "execution_count": 35, + "execution_count": 50, "metadata": { "collapsed": true }, @@ -1762,7 +2203,7 @@ }, { "cell_type": "code", - "execution_count": 36, + "execution_count": 51, "metadata": { "collapsed": true }, @@ -1788,29 +2229,29 @@ }, { "cell_type": "code", - "execution_count": 37, + "execution_count": 52, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "0: cddcdbbdbc\n", - "1: bdbacbdaaa\n", - "2: bdccbaadcbdbdacacaac\n", - "3: dccaadcdba\n", - "4: dcccaadcdddcdbbbadbc\n", - "5: bcdbddaccbddbbdaabca\n", - "6: cdcccadbaadcddcbcaac\n" + "0: ddadbdcbdc\n", + "1: bbcbbabdab\n", + "2: dcddddbbdb\n", + "3: cccbbbcbabadbddcabda\n", + "4: ddcdddadddbbbddbcbdc\n", + "5: dcccdddcbdbadbdbdcda\n", + "6: ddadbbcbbbdacbbdcdab\n" ] }, { "data": { "text/plain": [ - "['bcdbddaccbddbbdaabca']" + "['ddadbbcbbbdacbbdcdab']" ] }, - "execution_count": 37, + "execution_count": 52, "metadata": {}, "output_type": "execute_result" } @@ -1831,27 +2272,27 @@ }, { "cell_type": "code", - "execution_count": 38, + "execution_count": 53, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "* b . . . . . . . . .\n", - ". c d b . . . . . . .\n", - ". d . d . . . . . . .\n", - ". . . d a c . . . . .\n", - ". . . . c c b d . . .\n", - ". . . . . . d d . . .\n", - ". . . . . . . b . . .\n", - ". . . . . . . b . . .\n", - ". . . . . . . d a a .\n", - ". . . . . . . . . b .\n", - ". . . . . . . . . c a\n", - "bCdbDDacCbdDBBDaaBCa\n", - "bcdbddaccbddbbdaabca\n", - " * ** * **** ** \n" + "* . . . . . . . . . .\n", + "d . . . . . . . . . .\n", + "d . . . . . . . . . .\n", + "a . . . . . . . . . .\n", + "d b b c b b . . . . .\n", + "b b . b b b . . . . .\n", + ". . . . . d a . . . .\n", + ". . . . . . c b . . .\n", + ". . . . . . b b d . .\n", + ". . . . . . . d . . .\n", + ". . . . . . . c d a b\n", + "DDADbbcbbBDaCbBDCdab\n", + "ddadbbcbbbdacbbdcdab\n", + "**** ** * *** \n" ] }, { @@ -1860,7 +2301,7 @@ "True" ] }, - "execution_count": 38, + "execution_count": 53, "metadata": {}, "output_type": "execute_result" } @@ -1875,15 +2316,15 @@ }, { "cell_type": "code", - "execution_count": 39, + "execution_count": 54, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "dcccaadcdddcdbbbadbc\n", - " * **** ** ***\n" + "ddcdddadddbbbddbcbdc\n", + " * ** * * * ****\n" ] }, { @@ -1892,7 +2333,7 @@ "4" ] }, - "execution_count": 39, + "execution_count": 54, "metadata": {}, "output_type": "execute_result" } @@ -1906,27 +2347,27 @@ }, { "cell_type": "code", - "execution_count": 40, + "execution_count": 55, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "* . . . . . . . . . .\n", - "b c d . . . . . . . .\n", - ". d . . . . . . . . .\n", - ". b d d . . . . . . .\n", - ". . . a c . . . . . .\n", - ". . . c c . . . . . .\n", - ". . . . b d . . . . .\n", - ". . . . d d b b d . .\n", - ". . . . . . . . a . .\n", - ". . . . . . . . a b c\n", + "* d d a d b . . . . .\n", + ". . . . b b . . . . .\n", + ". . . . b . . . . . .\n", + ". . . . c b . . . . .\n", + ". . . . b b . . . . .\n", + ". . . . b b d . . . .\n", + ". . . . . . a c b . .\n", + ". . . . . . . b b d c\n", + ". . . . . . . . d . d\n", ". . . . . . . . . . a\n", - "BcDBddAcCBdDbbdAAbcA\n", - "bcdbddaccbddbbdaabca\n", - "* ** * ** * ** *\n" + ". . . . . . . . . . b\n", + "ddadBBCbBBdAcbBdcDAB\n", + "ddadbbcbbbdacbbdcdab\n", + " *** ** * * ***\n" ] }, { @@ -1935,7 +2376,7 @@ "True" ] }, - "execution_count": 40, + "execution_count": 55, "metadata": {}, "output_type": "execute_result" } @@ -1950,19 +2391,19 @@ }, { "cell_type": "code", - "execution_count": 41, + "execution_count": 56, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "* . . . . . . . . . .\n", - ". . . . . . . . . . .\n", - ". . . . . . . . . . .\n", - ". . . . . . . . . . .\n", - ". . . . . . . . . . .\n", - ". . . . . . . . . . .\n", + "* d . . . . . . . . .\n", + "d d . . . . . . . . .\n", + "d . . . . . . . . . .\n", + "a d . . . . . . . . .\n", + "d . . . . . . . . . .\n", + "b . . . . . . . . . .\n", ". . . . . . . . . . .\n", ". . . . . . . . . . .\n", ". . . . . . . . . . .\n", @@ -1978,7 +2419,7 @@ "False" ] }, - "execution_count": 41, + "execution_count": 56, "metadata": {}, "output_type": "execute_result" } @@ -1993,15 +2434,15 @@ }, { "cell_type": "code", - "execution_count": 42, + "execution_count": 57, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "* . . . . . . . . . .\n", - "b . . . . . . . . . .\n", + "* d . . . . . . . . .\n", + ". . . . . . . . . . .\n", ". . . . . . . . . . .\n", ". . . . . . . . . . .\n", ". . . . . . . . . . .\n", @@ -2011,9 +2452,9 @@ ". . . . . . . . . . .\n", ". . . . . . . . . . .\n", ". . . . . . . . . . .\n", - "B\n", - "b\n", - "*\n" + "d\n", + "d\n", + " \n" ] }, { @@ -2022,7 +2463,7 @@ "False" ] }, - "execution_count": 42, + "execution_count": 57, "metadata": {}, "output_type": "execute_result" } @@ -2058,7 +2499,7 @@ }, { "cell_type": "code", - "execution_count": 43, + "execution_count": 58, "metadata": { "collapsed": true }, @@ -2079,7 +2520,7 @@ }, { "cell_type": "code", - "execution_count": 44, + "execution_count": 59, "metadata": { "collapsed": true }, @@ -2090,15 +2531,15 @@ }, { "cell_type": "code", - "execution_count": 45, + "execution_count": 60, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "CPU times: user 3.4 s, sys: 0 ns, total: 3.4 s\n", - "Wall time: 3.4 s\n" + "CPU times: user 3.2 s, sys: 96 ms, total: 3.3 s\n", + "Wall time: 3.3 s\n" ] }, { @@ -2107,7 +2548,7 @@ "[0]" ] }, - "execution_count": 45, + "execution_count": 60, "metadata": {}, "output_type": "execute_result" } @@ -2118,15 +2559,15 @@ }, { "cell_type": "code", - "execution_count": 46, + "execution_count": 61, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "CPU times: user 932 ms, sys: 0 ns, total: 932 ms\n", - "Wall time: 932 ms\n" + "CPU times: user 0 ns, sys: 0 ns, total: 0 ns\n", + "Wall time: 570 µs\n" ] }, { @@ -2135,7 +2576,7 @@ "[0]" ] }, - "execution_count": 46, + "execution_count": 61, "metadata": {}, "output_type": "execute_result" } @@ -2146,7 +2587,7 @@ }, { "cell_type": "code", - "execution_count": 47, + "execution_count": 62, "metadata": { "collapsed": true }, @@ -2163,7 +2604,7 @@ }, { "cell_type": "code", - "execution_count": 51, + "execution_count": 63, "metadata": { "collapsed": true }, @@ -2180,7 +2621,7 @@ }, { "cell_type": "code", - "execution_count": 94, + "execution_count": 64, "metadata": { "collapsed": true }, @@ -2200,7 +2641,7 @@ }, { "cell_type": "code", - "execution_count": 88, + "execution_count": 65, "metadata": {}, "outputs": [ { @@ -2209,7 +2650,7 @@ "(40, 40, 20, 20)" ] }, - "execution_count": 88, + "execution_count": 65, "metadata": {}, "output_type": "execute_result" } @@ -2240,7 +2681,7 @@ }, { "cell_type": "code", - "execution_count": 89, + "execution_count": 66, "metadata": {}, "outputs": [ { @@ -2249,7 +2690,7 @@ "(True, True)" ] }, - "execution_count": 89, + "execution_count": 66, "metadata": {}, "output_type": "execute_result" } @@ -2260,7 +2701,7 @@ }, { "cell_type": "code", - "execution_count": 90, + "execution_count": 67, "metadata": {}, "outputs": [ { @@ -2269,7 +2710,7 @@ "(True, True)" ] }, - "execution_count": 90, + "execution_count": 67, "metadata": {}, "output_type": "execute_result" } @@ -2280,7 +2721,7 @@ }, { "cell_type": "code", - "execution_count": 91, + "execution_count": 68, "metadata": {}, "outputs": [ { @@ -2289,7 +2730,7 @@ "(False, True)" ] }, - "execution_count": 91, + "execution_count": 68, "metadata": {}, "output_type": "execute_result" } @@ -2300,19 +2741,19 @@ }, { "cell_type": "code", - "execution_count": 93, + "execution_count": 69, "metadata": {}, "outputs": [ { "data": { "text/plain": [ - "('efcfdffcdbcehdffghch',\n", - " 'hhdgeffcdbcehdfhfded',\n", - " 'hhefdcgefdffdhgcdbcdbbeebhdefgfhgfdehdch',\n", - " 'hhdegeffcffcdfdbcefchdfdbchehfddeffghdch')" + "('hbgbfhdaghfbcagbhhgh',\n", + " 'eccfdhdaghfbcaggbaae',\n", + " 'ehccbfgbdfhfefdbagefagehfgbcaggbbhahgaeh',\n", + " 'hecbgbfhdagchffbdhcagdbhaghhfgbchaggbaae')" ] }, - "execution_count": 93, + "execution_count": 69, "metadata": {}, "output_type": "execute_result" } @@ -2323,7 +2764,7 @@ }, { "cell_type": "code", - "execution_count": 96, + "execution_count": 70, "metadata": {}, "outputs": [ { @@ -2332,7 +2773,7 @@ "False" ] }, - "execution_count": 96, + "execution_count": 70, "metadata": {}, "output_type": "execute_result" } @@ -2344,16 +2785,16 @@ }, { "cell_type": "code", - "execution_count": 98, + "execution_count": 71, "metadata": {}, "outputs": [ { "data": { "text/plain": [ - "('hhdgeffcdbcehfdhfded', 'hhdgeffcdbcehdfhfded')" + "('eccfdhdaghfbc', 'eccfdhdaghfbcaggbaae')" ] }, - "execution_count": 98, + "execution_count": 71, "metadata": {}, "output_type": "execute_result" }