{ "metadata": { "name": "" }, "nbformat": 3, "nbformat_minor": 0, "worksheets": [ { "cells": [ { "cell_type": "code", "collapsed": false, "input": [ "import vcsn" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 2 }, { "cell_type": "code", "collapsed": false, "input": [ "b = vcsn.context('lal_char(ab)_b'); b" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\{a, b\\}\\rightarrow\\mathbb{B}$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 3, "text": [ "lal_char(ab)_b" ] } ], "prompt_number": 3 }, { "cell_type": "code", "collapsed": false, "input": [ "r = b.ratexp('a+b*+a'); r" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$a + {b}^{*} + a$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 12, "text": [ "a+b*+a" ] } ], "prompt_number": 12 }, { "cell_type": "code", "collapsed": false, "input": [ "r+r*r" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$a + {b}^{*} + a + \\left(a + {b}^{*} + a\\right) \\, \\left(a + {b}^{*} + a\\right)$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 23, "text": [ "a+b*+a+(a+b*+a)(a+b*+a)" ] } ], "prompt_number": 23 }, { "cell_type": "code", "collapsed": false, "input": [ "r.standard().determinize().minimize().shortest(10)" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\varepsilon + a + b + bb + bbb + bbbb + bbbbb + bbbbbb + bbbbbbb + bbbbbbbb$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 22, "text": [ "\\e + a + b + bb + bbb + bbbb + bbbbb + bbbbbb + bbbbbbb + bbbbbbbb" ] } ], "prompt_number": 22 }, { "cell_type": "code", "collapsed": false, "input": [ "a = r.derived_term()" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 16 }, { "cell_type": "code", "collapsed": false, "input": [ "a+a" ], "language": "python", "metadata": {}, "outputs": [ { "metadata": {}, "output_type": "pyout", "prompt_number": 17, "svg": [ "\n", "\n", "\n", "\n", "\n", "\n", "%3\n", "\n", "\n", "\n", "0\n", "\n", "0\n", "\n", "\n", "I0->0\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "0->F0\n", "\n", "\n", "\n", "\n", "1\n", "\n", "1\n", "\n", "\n", "0->1\n", "\n", "\n", "a\n", "\n", "\n", "2\n", "\n", "2\n", "\n", "\n", "0->2\n", "\n", "\n", "b\n", "\n", "\n", "3\n", "\n", "3\n", "\n", "\n", "0->3\n", "\n", "\n", "a\n", "\n", "\n", "4\n", "\n", "4\n", "\n", "\n", "0->4\n", "\n", "\n", "b\n", "\n", "\n", "1->F1\n", "\n", "\n", "\n", "\n", "2->F2\n", "\n", "\n", "\n", "\n", "2->2\n", "\n", "\n", "b\n", "\n", "\n", "3->F3\n", "\n", "\n", "\n", "\n", "4->F4\n", "\n", "\n", "\n", "\n", "4->4\n", "\n", "\n", "b\n", "\n", "\n", "\n" ], "text": [ "mutable_automaton" ] } ], "prompt_number": 17 }, { "cell_type": "code", "collapsed": false, "input": [ "b = vcsn.context('lan_char(ab)_b')" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 24 }, { "cell_type": "code", "collapsed": false, "input": [ "b.ratexp('(a+b)*').thompson().proper()" ], "language": "python", "metadata": {}, "outputs": [ { "metadata": {}, "output_type": "pyout", "prompt_number": 27, "svg": [ "\n", "\n", "\n", "\n", "\n", "\n", "%3\n", "\n", "\n", "\n", "2\n", "\n", "2\n", "\n", "\n", "I2->2\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "0\n", "\n", "0\n", "\n", "\n", "0->F0\n", "\n", "\n", "\n", "\n", "0->0\n", "\n", "\n", "a\n", "\n", "\n", "1\n", "\n", "1\n", "\n", "\n", "0->1\n", "\n", "\n", "b\n", "\n", "\n", "1->F1\n", "\n", "\n", "\n", "\n", "1->0\n", "\n", "\n", "a\n", "\n", "\n", "1->1\n", "\n", "\n", "b\n", "\n", "\n", "2->F2\n", "\n", "\n", "\n", "\n", "2->0\n", "\n", "\n", "a\n", "\n", "\n", "2->1\n", "\n", "\n", "b\n", "\n", "\n", "\n" ], "text": [ "mutable_automaton" ] } ], "prompt_number": 27 }, { "cell_type": "code", "collapsed": false, "input": [ "z = vcsn.context('lal_char(ab)_z'); z" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\{a, b\\}\\rightarrow\\mathbb{Z}$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 28, "text": [ "lal_char(ab)_z" ] } ], "prompt_number": 28 }, { "cell_type": "code", "collapsed": false, "input": [ "rz=z.ratexp('[ab]*b(<2>[ab])*'); rz" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\left(a + b\\right)^{*} \\, b \\, \\left(2\\,\\left(a + b\\right)\\right)^{*}$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 39, "text": [ "(a+b)*b(<2>(a+b))*" ] } ], "prompt_number": 39 }, { "cell_type": "code", "collapsed": false, "input": [ "az =rz.derived_term(); az" ], "language": "python", "metadata": {}, "outputs": [ { "metadata": {}, "output_type": "pyout", "prompt_number": 40, "svg": [ "\n", "\n", "\n", "\n", "\n", "\n", "%3\n", "\n", "\n", "\n", "0\n", "\n", "0\n", "\n", "\n", "I0->0\n", "\n", "\n", "\n", "\n", "\n", "0->0\n", "\n", "\n", "a, b\n", "\n", "\n", "1\n", "\n", "1\n", "\n", "\n", "0->1\n", "\n", "\n", "b\n", "\n", "\n", "1->F1\n", "\n", "\n", "\n", "\n", "1->1\n", "\n", "\n", "<2>a, <2>b\n", "\n", "\n", "\n" ], "text": [ "mutable_automaton" ] } ], "prompt_number": 40 }, { "cell_type": "code", "collapsed": false, "input": [ "q = vcsn.context('lal_char(ab)_q'); q" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\{a, b\\}\\rightarrow\\mathbb{Q}$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 32, "text": [ "lal_char(ab)_q" ] } ], "prompt_number": 32 }, { "cell_type": "code", "collapsed": false, "input": [ "rq = q.ratexp('(<1/2>[ab])*<1/2>b[ab]*'); rq" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\left(\\frac{1}{2}\\,\\left(a + b\\right)\\right)^{*} \\, \\frac{1}{2}\\,\\left(b \\, \\left(a + b\\right)^{*}\\right)$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 37, "text": [ "(<1/2>(a+b))*<1/2>(b(a+b)*)" ] } ], "prompt_number": 37 }, { "cell_type": "code", "collapsed": false, "input": [ "aq = rq.derived_term(); aq" ], "language": "python", "metadata": {}, "outputs": [ { "metadata": {}, "output_type": "pyout", "prompt_number": 38, "svg": [ "\n", "\n", "\n", "\n", "\n", "\n", "%3\n", "\n", "\n", "\n", "0\n", "\n", "0\n", "\n", "\n", "I0->0\n", "\n", "\n", "\n", "\n", "\n", "0->0\n", "\n", "\n", "<1/2>a, <1/2>b\n", "\n", "\n", "1\n", "\n", "1\n", "\n", "\n", "0->1\n", "\n", "\n", "<1/2>b\n", "\n", "\n", "1->F1\n", "\n", "\n", "\n", "\n", "1->1\n", "\n", "\n", "a, b\n", "\n", "\n", "\n" ], "text": [ "mutable_automaton" ] } ], "prompt_number": 38 }, { "cell_type": "code", "collapsed": false, "input": [ "az&aq" ], "language": "python", "metadata": {}, "outputs": [ { "metadata": {}, "output_type": "pyout", "prompt_number": 41, "svg": [ "\n", "\n", "\n", "\n", "\n", "\n", "%3\n", "\n", "\n", "\n", "0\n", "\n", "0\n", "\n", "\n", "I0->0\n", "\n", "\n", "\n", "\n", "\n", "0->0\n", "\n", "\n", "<1/2>a, <1/2>b\n", "\n", "\n", "1\n", "\n", "1\n", "\n", "\n", "0->1\n", "\n", "\n", "<1/2>b\n", "\n", "\n", "2\n", "\n", "2\n", "\n", "\n", "0->2\n", "\n", "\n", "<1/2>b\n", "\n", "\n", "3\n", "\n", "3\n", "\n", "\n", "0->3\n", "\n", "\n", "<1/2>b\n", "\n", "\n", "1->F1\n", "\n", "\n", "\n", "\n", "1->1\n", "\n", "\n", "<2>a, <2>b\n", "\n", "\n", "2->1\n", "\n", "\n", "b\n", "\n", "\n", "2->2\n", "\n", "\n", "a, b\n", "\n", "\n", "3->1\n", "\n", "\n", "b\n", "\n", "\n", "3->3\n", "\n", "\n", "a, b\n", "\n", "\n", "\n" ], "text": [ "mutable_automaton" ] } ], "prompt_number": 41 }, { "cell_type": "code", "collapsed": false, "input": [ "b = vcsn.context('lal_char(abc)_b')" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 44 }, { "cell_type": "code", "collapsed": false, "input": [ "b" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\{a, b, c\\}\\rightarrow\\mathbb{B}$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 45, "text": [ "lal_char(abc)_b" ] } ], "prompt_number": 45 }, { "cell_type": "code", "collapsed": false, "input": [ "a = b.ladybird(20).determinize()" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 51 }, { "cell_type": "code", "collapsed": false, "input": [ "a.info()" ], "language": "python", "metadata": {}, "outputs": [ { "metadata": {}, "output_type": "pyout", "prompt_number": 52, "text": [ "{'is ambiguous': False,\n", " 'is complete': False,\n", " 'is deterministic': True,\n", " 'is empty': False,\n", " 'is eps-acyclic': True,\n", " 'is normalized': False,\n", " 'is proper': True,\n", " 'is standard': False,\n", " 'is trim': True,\n", " 'is useless': False,\n", " 'is valid': True,\n", " 'number of accessible states': 1048575,\n", " 'number of coaccessible states': 1048575,\n", " 'number of deterministic states': 1048575,\n", " 'number of eps transitions': 0,\n", " 'number of final states': 524288,\n", " 'number of initial states': 1,\n", " 'number of states': 1048575,\n", " 'number of transitions': 3145723,\n", " 'number of useful states': 1048575,\n", " 'type': 'mutable_automaton'}" ] } ], "prompt_number": 52 }, { "cell_type": "code", "collapsed": false, "input": [ "ctx = vcsn.context('lal_char(ab)_lat')" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 3 }, { "cell_type": "code", "collapsed": false, "input": [ "ctx" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\{a, b\\}\\rightarrow\\mathbb{Q} \\times \\mathbb{R}$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 4, "text": [ "lal_char(ab)_lat" ] } ], "prompt_number": 4 }, { "cell_type": "code", "collapsed": false, "input": [ "ctx.ratexp('(<(1/2,.44)>a)*').derived_term().shortest(10)" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\varepsilon + \\langle (\\frac{1}{2}, 0.44)\\rangle a + \\langle (\\frac{1}{4}, 0.1936)\\rangle aa + \\langle (\\frac{1}{8}, 0.085184)\\rangle aaa + \\langle (\\frac{1}{16}, 0.037481)\\rangle aaaa + \\langle (\\frac{1}{32}, 0.0164916)\\rangle aaaaa + \\langle (\\frac{1}{64}, 0.00725631)\\rangle aaaaaa + \\langle (\\frac{1}{128}, 0.00319278)\\rangle aaaaaaa + \\langle (\\frac{1}{256}, 0.00140482)\\rangle aaaaaaaa + \\langle (\\frac{1}{512}, 0.000618122)\\rangle aaaaaaaaa$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 7, "text": [ "\\e + <(1/2, 0.44)>a + <(1/4, 0.1936)>aa + <(1/8, 0.085184)>aaa + <(1/16, 0.037481)>aaaa + <(1/32, 0.0164916)>aaaaa + <(1/64, 0.00725631)>aaaaaa + <(1/128, 0.00319278)>aaaaaaa + <(1/256, 0.00140482)>aaaaaaaa + <(1/512, 0.000618122)>aaaaaaaaa" ] } ], "prompt_number": 7 }, { "cell_type": "code", "collapsed": false, "input": [ "ctx = vcsn.context('lat_ratexpset')" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\{a, b\\} \\times \\{x, y, z\\}^*\\rightarrow\\mathbb{B}\\,\\mathsf{RatE}\\,\\{u, v, w\\}$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 8, "text": [ "lat_ratexpset" ] } ], "prompt_number": 9 }, { "cell_type": "code", "collapsed": false, "input": [ "ctx" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\{a, b\\} \\times \\{x, y, z\\}^*\\rightarrow\\mathbb{B}\\,\\mathsf{RatE}\\,\\{u, v, w\\}$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 10, "text": [ "lat_ratexpset" ] } ], "prompt_number": 10 }, { "cell_type": "code", "collapsed": false, "input": [ "e = ctx.ratexp(\"'(a,xyz)'\")" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 12 }, { "cell_type": "code", "collapsed": false, "input": [ "e+e" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "${u}^{*}\\,(a, xyz) + {u}^{*}\\,(a, xyz)$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 19, "text": [ "(a, xyz)+(a, xyz)" ] } ], "prompt_number": 19 }, { "cell_type": "code", "collapsed": false, "input": [ "e.standard().info()" ], "language": "python", "metadata": {}, "outputs": [ { "ename": "ValueError", "evalue": "invalid literal for int() with base 10: 'N/A'", "output_type": "pyerr", "traceback": [ "\u001b[0;31m---------------------------------------------------------------------------\u001b[0m\n\u001b[0;31mValueError\u001b[0m Traceback (most recent call last)", "\u001b[0;32m\u001b[0m in \u001b[0;36m\u001b[0;34m()\u001b[0m\n\u001b[0;32m----> 1\u001b[0;31m \u001b[0me\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mstandard\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0minfo\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m", "\u001b[0;32m/Users/akim/src/lrde/vaucanson2/_build/34s/python/vcsn.py\u001b[0m in \u001b[0;36mautomaton_info\u001b[0;34m(aut)\u001b[0m\n\u001b[1;32m 72\u001b[0m \u001b[0mres\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0mk\u001b[0m\u001b[0;34m]\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0mv\u001b[0m \u001b[0;32min\u001b[0m \u001b[0;34m[\u001b[0m\u001b[0;34m'true'\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0;34m'1'\u001b[0m\u001b[0;34m]\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m 73\u001b[0m \u001b[0;32melif\u001b[0m \u001b[0mk\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mstartswith\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;34m'number '\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0;32m---> 74\u001b[0;31m \u001b[0mres\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0mk\u001b[0m\u001b[0;34m]\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0mint\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mv\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m\u001b[1;32m 75\u001b[0m \u001b[0;32melse\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m 76\u001b[0m \u001b[0mres\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0mk\u001b[0m\u001b[0;34m]\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0mv\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n", "\u001b[0;31mValueError\u001b[0m: invalid literal for int() with base 10: 'N/A'" ] } ], "prompt_number": 18 }, { "cell_type": "code", "collapsed": false, "input": [ "b" ], "language": "python", "metadata": {}, "outputs": [ { "ename": "NameError", "evalue": "name 'b' is not defined", "output_type": "pyerr", "traceback": [ "\u001b[0;31m---------------------------------------------------------------------------\u001b[0m\n\u001b[0;31mNameError\u001b[0m Traceback (most recent call last)", "\u001b[0;32m\u001b[0m in \u001b[0;36m\u001b[0;34m()\u001b[0m\n\u001b[0;32m----> 1\u001b[0;31m \u001b[0mb\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m", "\u001b[0;31mNameError\u001b[0m: name 'b' is not defined" ] } ], "prompt_number": 20 }, { "cell_type": "code", "collapsed": false, "input": [ "b = vcsn.context('lal_char(abc)_b'); b" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\{a, b, c\\}\\rightarrow\\mathbb{B}$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 21, "text": [ "lal_char(abc)_b" ] } ], "prompt_number": 21 }, { "cell_type": "code", "collapsed": false, "input": [ "a = b.ratexp('[ab]*a[ab]').derived_term(); a" ], "language": "python", "metadata": {}, "outputs": [ { "metadata": {}, "output_type": "pyout", "prompt_number": 23, "svg": [ "\n", "\n", "\n", "\n", "\n", "\n", "%3\n", "\n", "\n", "\n", "0\n", "\n", "0\n", "\n", "\n", "I0->0\n", "\n", "\n", "\n", "\n", "\n", "0->0\n", "\n", "\n", "a, b\n", "\n", "\n", "1\n", "\n", "1\n", "\n", "\n", "0->1\n", "\n", "\n", "a\n", "\n", "\n", "2\n", "\n", "2\n", "\n", "\n", "1->2\n", "\n", "\n", "a, b\n", "\n", "\n", "2->F2\n", "\n", "\n", "\n", "\n", "\n" ], "text": [ "mutable_automaton" ] } ], "prompt_number": 23 }, { "cell_type": "code", "collapsed": false, "input": [ "print(a.format('dot'))" ], "language": "python", "metadata": {}, "outputs": [ { "output_type": "stream", "stream": "stdout", "text": [ "digraph\n", "{\n", " vcsn_context = \"lal_char(abc)_b\"\n", " rankdir = LR\n", " {\n", " node [style = invis, shape = none, label = \"\", width = 0, height = 0]\n", " I0\n", " F2\n", " }\n", " {\n", " node [shape = circle]\n", " 0\n", " 1\n", " 2\n", " }\n", " I0 -> 0\n", " 0 -> 0 [label = \"a, b\"]\n", " 0 -> 1 [label = \"a\"]\n", " 1 -> 2 [label = \"a, b\"]\n", " 2 -> F2\n", "}\n" ] } ], "prompt_number": 26 }, { "cell_type": "code", "collapsed": false, "input": [ "a2 = vcsn.automaton('''digraph {\n", "vcsn_context = \"lal_char(abc)_ratexpset\"\n", " 0 -> 1 [label=\"a,b\"]\n", " 0->0 [label=\"a\"]\n", " I-> 0\n", " 1 -> F [label=\"\"]\n", " }''')" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 38 }, { "cell_type": "code", "collapsed": false, "input": [ "a2" ], "language": "python", "metadata": {}, "outputs": [ { "metadata": {}, "output_type": "pyout", "prompt_number": 39, "svg": [ "\n", "\n", "\n", "\n", "\n", "\n", "%3\n", "\n", "\n", "\n", "0\n", "\n", "0\n", "\n", "\n", "I0->0\n", "\n", "\n", "\n", "\n", "\n", "0->0\n", "\n", "\n", "<u*>a\n", "\n", "\n", "1\n", "\n", "1\n", "\n", "\n", "0->1\n", "\n", "\n", "a, b\n", "\n", "\n", "1->F1\n", "\n", "\n", "<v>\n", "\n", "\n", "\n" ], "text": [ "mutable_automaton>" ] } ], "prompt_number": 39 }, { "cell_type": "code", "collapsed": false, "input": [ "a2.ratexp()" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\left({u}^{*}\\,a\\right)^{*} \\, \\left(a + b\\right)\\,v$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 40, "text": [ "(a)*(a+b)" ] } ], "prompt_number": 40 }, { "cell_type": "code", "collapsed": false, "input": [ "a2.shortest(10)" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\langle v\\rangle a + \\langle v\\rangle b + \\langle {u}^{*} \\, v\\rangle aa + \\langle {u}^{*} \\, v\\rangle ab + \\langle {u}^{*} \\, {u}^{*} \\, v\\rangle aaa + \\langle {u}^{*} \\, {u}^{*} \\, v\\rangle aab + \\langle {u}^{*} \\, {u}^{*} \\, {u}^{*} \\, v\\rangle aaaa + \\langle {u}^{*} \\, {u}^{*} \\, {u}^{*} \\, v\\rangle aaab + \\langle {u}^{*} \\, {u}^{*} \\, {u}^{*} \\, {u}^{*} \\, v\\rangle aaaaa + \\langle {u}^{*} \\, {u}^{*} \\, {u}^{*} \\, {u}^{*} \\, v\\rangle aaaab$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 41, "text": [ "a + b + aa + ab + aaa + aab + aaaa + aaab + aaaaa + aaaab" ] } ], "prompt_number": 41 }, { "cell_type": "code", "collapsed": false, "input": [ "a2.eval('aab')" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "${u}^{*} \\, {u}^{*} \\, v$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 48, "text": [ "u*u*v" ] } ], "prompt_number": 48 }, { "cell_type": "code", "collapsed": false, "input": [ "vcsn.context('law_char(0-9)_b')" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\{0, 1, 2, 3, 4, 5, 6, 7, 8, 9\\}^*\\rightarrow\\mathbb{B}$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 58, "text": [ "law_char(0123456789)_b" ] } ], "prompt_number": 58 }, { "cell_type": "code", "collapsed": false, "input": [ "e = b.ratexp('[ab]*%abab'); e" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "$\\left(a + b\\right)^{*} \\cap \\left(a \\, b \\, a \\, b\\right)^{c}$" ], "metadata": {}, "output_type": "pyout", "prompt_number": 51, "text": [ "(a+b)*&(abab){c}" ] } ], "prompt_number": 51 }, { "cell_type": "code", "collapsed": false, "input": [ "e.derived_term().determinize().minimize(\"signature\").universal()" ], "language": "python", "metadata": {}, "outputs": [ { "metadata": {}, "output_type": "pyout", "prompt_number": 59, "svg": [ "\n", "\n", "\n", "\n", "\n", "\n", "%3\n", "\n", "\n", "\n", "0\n", "\n", "0\n", "\n", "\n", "I0->0\n", "\n", "\n", "\n", "\n", "\n", "1\n", "\n", "1\n", "\n", "\n", "I1->1\n", "\n", "\n", "\n", "\n", "\n", "2\n", "\n", "2\n", "\n", "\n", "I2->2\n", "\n", "\n", "\n", "\n", "\n", "3\n", "\n", "3\n", "\n", "\n", "I3->3\n", "\n", "\n", "\n", "\n", "\n", "4\n", "\n", "4\n", "\n", "\n", "I4->4\n", "\n", "\n", "\n", "\n", "\n", "5\n", "\n", "5\n", "\n", "\n", "I5->5\n", "\n", "\n", "\n", "\n", "\n", "6\n", "\n", "6\n", "\n", "\n", "I6->6\n", "\n", "\n", "\n", "\n", "\n", "7\n", "\n", "7\n", "\n", "\n", "I7->7\n", "\n", "\n", "\n", "\n", "\n", "8\n", "\n", "8\n", "\n", "\n", "I8->8\n", "\n", "\n", "\n", "\n", "\n", "9\n", "\n", "9\n", "\n", "\n", "I9->9\n", "\n", "\n", "\n", "\n", "\n", "10\n", "\n", "10\n", "\n", "\n", "I10->10\n", "\n", "\n", "\n", "\n", "\n", "11\n", "\n", "11\n", "\n", "\n", "I11->11\n", "\n", "\n", "\n", "\n", "\n", "12\n", "\n", "12\n", "\n", "\n", "I12->12\n", "\n", "\n", "\n", "\n", "\n", "13\n", "\n", "13\n", "\n", "\n", "I13->13\n", "\n", "\n", "\n", "\n", "\n", "14\n", "\n", "14\n", "\n", "\n", "I14->14\n", "\n", "\n", "\n", "\n", "\n", "15\n", "\n", "15\n", "\n", "\n", "I15->15\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "0->F0\n", "\n", "\n", "\n", "\n", "0->0\n", "\n", "\n", "a\n", "\n", "\n", "0->1\n", "\n", "\n", "a, b\n", "\n", "\n", "0->2\n", "\n", "\n", "a, b\n", "\n", "\n", "0->3\n", "\n", "\n", "a, b\n", "\n", "\n", "0->4\n", "\n", "\n", "a, b\n", "\n", "\n", "0->5\n", "\n", "\n", "a\n", "\n", "\n", "0->6\n", "\n", "\n", "a\n", "\n", "\n", "0->7\n", "\n", "\n", "a\n", "\n", "\n", "0->9\n", "\n", "\n", "b\n", "\n", "\n", "0->10\n", "\n", "\n", "b\n", "\n", "\n", "0->11\n", "\n", "\n", "b\n", "\n", "\n", "0->12\n", "\n", "\n", "b\n", "\n", "\n", "16\n", "\n", "16\n", "\n", "\n", "0->16\n", "\n", "\n", "a\n", "\n", "\n", "17\n", "\n", "17\n", "\n", "\n", "0->17\n", "\n", "\n", "a, b\n", "\n", "\n", "18\n", "\n", "18\n", "\n", "\n", "0->18\n", "\n", "\n", "a, b\n", "\n", "\n", "19\n", "\n", "19\n", "\n", "\n", "0->19\n", "\n", "\n", "a, b\n", "\n", "\n", "20\n", "\n", "20\n", "\n", "\n", "0->20\n", "\n", "\n", "a, b\n", "\n", "\n", "21\n", "\n", "21\n", "\n", "\n", "0->21\n", "\n", "\n", "a\n", "\n", "\n", "22\n", "\n", "22\n", "\n", "\n", "0->22\n", "\n", "\n", "a\n", "\n", "\n", "23\n", "\n", "23\n", "\n", "\n", "0->23\n", "\n", "\n", "a\n", "\n", "\n", "25\n", "\n", "25\n", "\n", "\n", "0->25\n", "\n", "\n", "b\n", "\n", "\n", "26\n", "\n", "26\n", "\n", "\n", "0->26\n", "\n", "\n", "b\n", "\n", "\n", "27\n", "\n", "27\n", "\n", "\n", "0->27\n", "\n", "\n", "b\n", "\n", "\n", "28\n", "\n", "28\n", "\n", "\n", "0->28\n", "\n", "\n", "b\n", "\n", "\n", "1->F1\n", "\n", "\n", "\n", "\n", "1->1\n", "\n", "\n", "b\n", "\n", "\n", "1->2\n", "\n", "\n", "a, b\n", "\n", "\n", "1->3\n", "\n", "\n", "a, b\n", "\n", "\n", "1->4\n", "\n", "\n", "b\n", "\n", "\n", "1->5\n", "\n", "\n", "a\n", "\n", "\n", "1->6\n", "\n", "\n", "a\n", "\n", "\n", "1->9\n", "\n", "\n", "b\n", "\n", "\n", "1->10\n", "\n", "\n", "b\n", "\n", "\n", "1->11\n", "\n", "\n", "b\n", "\n", "\n", "1->12\n", "\n", "\n", "b\n", "\n", "\n", "1->17\n", "\n", "\n", "b\n", "\n", "\n", "1->18\n", "\n", "\n", "a, b\n", "\n", "\n", "1->19\n", "\n", "\n", "a, b\n", "\n", "\n", "1->20\n", "\n", "\n", "b\n", "\n", "\n", "1->21\n", "\n", "\n", "a\n", "\n", "\n", "1->22\n", "\n", "\n", "a\n", "\n", "\n", "1->25\n", "\n", "\n", "b\n", "\n", "\n", "1->26\n", "\n", "\n", "b\n", "\n", "\n", "1->27\n", "\n", "\n", "b\n", "\n", "\n", "1->28\n", "\n", "\n", "b\n", "\n", "\n", "2->F2\n", "\n", "\n", "\n", "\n", "2->2\n", "\n", "\n", "a\n", "\n", "\n", "2->3\n", "\n", "\n", "a, b\n", "\n", "\n", "2->4\n", "\n", "\n", "b\n", "\n", "\n", "2->5\n", "\n", "\n", "a\n", "\n", "\n", "2->6\n", "\n", "\n", "a\n", "\n", "\n", "2->11\n", "\n", "\n", "b\n", "\n", "\n", "2->12\n", "\n", "\n", "b\n", "\n", "\n", "2->18\n", "\n", "\n", "a\n", "\n", "\n", "2->19\n", "\n", "\n", "a, b\n", "\n", "\n", "2->20\n", "\n", "\n", "b\n", "\n", "\n", "2->21\n", "\n", "\n", "a\n", "\n", "\n", "2->22\n", "\n", "\n", "a\n", "\n", "\n", "2->27\n", "\n", "\n", "b\n", "\n", "\n", "2->28\n", "\n", "\n", "b\n", "\n", "\n", "3->2\n", "\n", "\n", "a\n", "\n", "\n", "3->3\n", "\n", "\n", "a, b\n", "\n", "\n", "3->4\n", "\n", "\n", "b\n", "\n", "\n", "3->5\n", "\n", "\n", "a\n", "\n", "\n", "3->6\n", "\n", "\n", "a\n", "\n", "\n", "3->11\n", "\n", "\n", "b\n", "\n", "\n", "3->12\n", "\n", "\n", "b\n", "\n", "\n", "3->18\n", "\n", "\n", "a\n", "\n", "\n", "3->19\n", "\n", "\n", "a, b\n", "\n", "\n", "3->20\n", "\n", "\n", "b\n", "\n", "\n", "3->21\n", "\n", "\n", "a\n", "\n", "\n", "3->22\n", "\n", "\n", "a\n", "\n", "\n", "3->27\n", "\n", "\n", "b\n", "\n", "\n", "3->28\n", "\n", "\n", "b\n", "\n", "\n", "4->1\n", "\n", "\n", "b\n", "\n", "\n", "4->2\n", "\n", "\n", "a, b\n", "\n", "\n", "4->3\n", "\n", "\n", "a, b\n", "\n", "\n", "4->4\n", "\n", "\n", "b\n", "\n", "\n", "4->5\n", "\n", "\n", "a\n", "\n", "\n", "4->6\n", "\n", "\n", "a\n", "\n", "\n", "4->9\n", "\n", "\n", "b\n", "\n", "\n", "4->10\n", "\n", "\n", "b\n", "\n", "\n", "4->11\n", "\n", "\n", "b\n", "\n", "\n", "4->12\n", "\n", "\n", "b\n", "\n", "\n", "4->17\n", "\n", "\n", "b\n", "\n", "\n", "4->18\n", "\n", "\n", "a, b\n", "\n", "\n", "4->19\n", "\n", "\n", "a, b\n", "\n", "\n", "4->20\n", "\n", "\n", "b\n", "\n", "\n", "4->21\n", "\n", "\n", "a\n", "\n", "\n", "4->22\n", "\n", "\n", "a\n", "\n", "\n", "4->25\n", "\n", "\n", "b\n", "\n", "\n", "4->26\n", "\n", "\n", "b\n", "\n", "\n", "4->27\n", "\n", "\n", "b\n", "\n", "\n", "4->28\n", "\n", "\n", "b\n", "\n", "\n", "5->F5\n", "\n", "\n", "\n", "\n", "5->0\n", "\n", "\n", "a\n", "\n", "\n", "5->1\n", "\n", "\n", "a\n", "\n", "\n", "5->2\n", "\n", "\n", "a\n", "\n", "\n", "5->3\n", "\n", "\n", "a, b\n", "\n", "\n", "5->4\n", "\n", "\n", "a, b\n", "\n", "\n", "5->5\n", "\n", "\n", "a\n", "\n", "\n", "5->6\n", "\n", "\n", "a\n", "\n", "\n", "5->7\n", "\n", "\n", "a\n", "\n", "\n", "5->11\n", "\n", "\n", "b\n", "\n", "\n", "5->12\n", "\n", "\n", "b\n", "\n", "\n", "5->16\n", "\n", "\n", "a\n", "\n", "\n", "5->17\n", "\n", "\n", "a\n", "\n", "\n", "5->18\n", "\n", "\n", "a\n", "\n", "\n", "5->19\n", "\n", "\n", "a, b\n", "\n", "\n", "5->20\n", "\n", "\n", "a, b\n", "\n", "\n", "5->21\n", "\n", "\n", "a\n", "\n", "\n", "5->22\n", "\n", "\n", "a\n", "\n", "\n", "5->23\n", "\n", "\n", "a\n", "\n", "\n", "5->27\n", "\n", "\n", "b\n", "\n", "\n", "5->28\n", "\n", "\n", "b\n", "\n", "\n", "6->0\n", "\n", "\n", "a\n", "\n", "\n", "6->1\n", "\n", "\n", "a\n", "\n", "\n", "6->2\n", "\n", "\n", "a\n", "\n", "\n", "6->3\n", "\n", "\n", "a, b\n", "\n", "\n", "6->4\n", "\n", "\n", "a, b\n", "\n", "\n", "6->5\n", "\n", "\n", "a\n", "\n", "\n", "6->6\n", "\n", "\n", "a\n", "\n", "\n", "6->7\n", "\n", "\n", "a\n", "\n", "\n", "6->11\n", "\n", "\n", "b\n", "\n", "\n", "6->12\n", "\n", "\n", "b\n", "\n", "\n", "6->16\n", "\n", "\n", "a\n", "\n", "\n", "6->17\n", "\n", "\n", "a\n", "\n", "\n", "6->18\n", "\n", "\n", "a\n", "\n", "\n", "6->19\n", "\n", "\n", "a, b\n", "\n", "\n", "6->20\n", "\n", "\n", "a, b\n", "\n", "\n", "6->21\n", "\n", "\n", "a\n", "\n", "\n", "6->22\n", "\n", "\n", "a\n", "\n", "\n", "6->23\n", "\n", "\n", "a\n", "\n", "\n", "6->27\n", "\n", "\n", "b\n", "\n", "\n", "6->28\n", "\n", "\n", "b\n", "\n", "\n", "7->0\n", "\n", "\n", "a\n", "\n", "\n", "7->1\n", "\n", "\n", "a, b\n", "\n", "\n", "7->2\n", "\n", "\n", "a, b\n", "\n", "\n", "7->3\n", "\n", "\n", "a, b\n", "\n", "\n", "7->4\n", "\n", "\n", "a, b\n", "\n", "\n", "7->5\n", "\n", "\n", "a\n", "\n", "\n", "7->6\n", "\n", "\n", "a\n", "\n", "\n", "7->7\n", "\n", "\n", "a\n", "\n", "\n", "7->9\n", "\n", "\n", "b\n", "\n", "\n", "7->10\n", "\n", "\n", "b\n", "\n", "\n", "7->11\n", "\n", "\n", "b\n", "\n", "\n", "7->12\n", "\n", "\n", "b\n", "\n", "\n", "7->16\n", "\n", "\n", "a\n", "\n", "\n", "7->17\n", "\n", "\n", "a, b\n", "\n", "\n", "7->18\n", "\n", "\n", "a, b\n", "\n", "\n", "7->19\n", "\n", "\n", "a, b\n", "\n", "\n", "7->20\n", "\n", "\n", "a, b\n", "\n", "\n", "7->21\n", "\n", "\n", "a\n", "\n", "\n", "7->22\n", "\n", "\n", "a\n", "\n", "\n", "7->23\n", "\n", "\n", "a\n", "\n", "\n", "7->25\n", "\n", "\n", "b\n", "\n", "\n", "7->26\n", "\n", "\n", "b\n", "\n", "\n", "7->27\n", "\n", "\n", "b\n", "\n", "\n", "7->28\n", "\n", "\n", "b\n", "\n", "\n", "8->F8\n", "\n", "\n", "\n", "\n", "8->0\n", "\n", "\n", "a, b\n", "\n", "\n", "8->1\n", "\n", "\n", "a, b\n", "\n", "\n", "8->2\n", "\n", "\n", "a, b\n", "\n", "\n", "8->3\n", "\n", "\n", "a, b\n", "\n", "\n", "8->4\n", "\n", "\n", "a, b\n", "\n", "\n", "8->5\n", "\n", "\n", "a, b\n", "\n", "\n", "8->6\n", "\n", "\n", "a, b\n", "\n", "\n", "8->7\n", "\n", "\n", "a, b\n", "\n", "\n", "8->8\n", "\n", "\n", "b\n", "\n", "\n", "8->9\n", "\n", "\n", "b\n", "\n", "\n", "8->10\n", "\n", "\n", "b\n", "\n", "\n", "8->11\n", "\n", "\n", "b\n", "\n", "\n", "8->12\n", "\n", "\n", "b\n", "\n", "\n", "8->13\n", "\n", "\n", "b\n", "\n", "\n", "8->14\n", "\n", "\n", "b\n", "\n", "\n", "8->15\n", "\n", "\n", "b\n", "\n", "\n", "8->16\n", "\n", "\n", "a, b\n", "\n", "\n", "8->17\n", "\n", "\n", "a, b\n", "\n", "\n", "8->18\n", "\n", "\n", "a, b\n", "\n", "\n", "8->19\n", "\n", "\n", "a, b\n", "\n", "\n", "8->20\n", "\n", "\n", "a, b\n", "\n", "\n", "8->21\n", "\n", "\n", "a, b\n", "\n", "\n", "8->22\n", "\n", "\n", "a, b\n", "\n", "\n", "8->23\n", "\n", "\n", "a, b\n", "\n", "\n", "24\n", "\n", "24\n", "\n", "\n", "8->24\n", "\n", "\n", "b\n", "\n", "\n", "8->25\n", "\n", "\n", "b\n", "\n", "\n", "8->26\n", "\n", "\n", "b\n", "\n", "\n", "8->27\n", "\n", "\n", "b\n", "\n", "\n", "8->28\n", "\n", "\n", "b\n", "\n", "\n", "29\n", "\n", "29\n", "\n", "\n", "8->29\n", "\n", "\n", "b\n", "\n", "\n", "30\n", "\n", "30\n", "\n", "\n", "8->30\n", "\n", "\n", "b\n", "\n", "\n", "31\n", "\n", "31\n", "\n", "\n", "8->31\n", "\n", "\n", "b\n", "\n", "\n", "9->F9\n", "\n", "\n", "\n", "\n", "9->0\n", "\n", "\n", "b\n", "\n", "\n", "9->1\n", "\n", "\n", "b\n", "\n", "\n", "9->2\n", "\n", "\n", "a, b\n", "\n", "\n", "9->3\n", "\n", "\n", "a, b\n", "\n", "\n", "9->4\n", "\n", "\n", "b\n", "\n", "\n", "9->5\n", "\n", "\n", "a, b\n", "\n", "\n", "9->6\n", "\n", "\n", "a, b\n", "\n", "\n", "9->7\n", "\n", "\n", "b\n", "\n", "\n", "9->8\n", "\n", "\n", "b\n", "\n", "\n", "9->9\n", "\n", "\n", "b\n", "\n", "\n", "9->10\n", "\n", "\n", "b\n", "\n", "\n", "9->11\n", "\n", "\n", "b\n", "\n", "\n", "9->12\n", "\n", "\n", "b\n", "\n", "\n", "9->13\n", "\n", "\n", "b\n", "\n", "\n", "9->14\n", "\n", "\n", "b\n", "\n", "\n", "9->15\n", "\n", "\n", "b\n", "\n", "\n", "9->16\n", "\n", "\n", "b\n", "\n", "\n", "9->17\n", "\n", "\n", "b\n", "\n", "\n", "9->18\n", "\n", "\n", "a, b\n", "\n", "\n", "9->19\n", "\n", "\n", "a, b\n", "\n", "\n", "9->20\n", "\n", "\n", "b\n", "\n", "\n", "9->21\n", "\n", "\n", "a, b\n", "\n", "\n", "9->22\n", "\n", "\n", "a, b\n", "\n", "\n", "9->23\n", "\n", "\n", "b\n", "\n", "\n", "9->24\n", "\n", "\n", "b\n", "\n", "\n", "9->25\n", "\n", "\n", "b\n", "\n", "\n", "9->26\n", "\n", "\n", "b\n", "\n", "\n", "9->27\n", "\n", "\n", "b\n", "\n", "\n", "9->28\n", "\n", "\n", "b\n", "\n", "\n", "9->29\n", "\n", "\n", "b\n", "\n", "\n", "9->30\n", "\n", "\n", "b\n", "\n", "\n", "9->31\n", "\n", "\n", "b\n", "\n", "\n", "10->F10\n", "\n", "\n", "\n", "\n", "10->2\n", "\n", "\n", "a\n", "\n", "\n", "10->3\n", "\n", "\n", "a, b\n", "\n", "\n", "10->4\n", "\n", "\n", "b\n", "\n", "\n", "10->5\n", "\n", "\n", "a\n", "\n", "\n", "10->6\n", "\n", "\n", "a, b\n", "\n", "\n", "10->7\n", "\n", "\n", "b\n", "\n", "\n", "10->11\n", "\n", "\n", "b\n", "\n", "\n", "10->12\n", "\n", "\n", "b\n", "\n", "\n", "10->14\n", "\n", "\n", "b\n", "\n", "\n", "10->15\n", "\n", "\n", "b\n", "\n", "\n", "10->18\n", "\n", "\n", "a\n", "\n", "\n", "10->19\n", "\n", "\n", "a, b\n", "\n", "\n", "10->20\n", "\n", "\n", "b\n", "\n", "\n", "10->21\n", "\n", "\n", "a\n", "\n", "\n", "10->22\n", "\n", "\n", "a, b\n", "\n", "\n", "10->23\n", "\n", "\n", "b\n", "\n", "\n", "10->27\n", "\n", "\n", "b\n", "\n", "\n", "10->28\n", "\n", "\n", "b\n", "\n", "\n", "10->30\n", "\n", "\n", "b\n", "\n", "\n", "10->31\n", "\n", "\n", "b\n", "\n", "\n", "11->2\n", "\n", "\n", "a\n", "\n", "\n", "11->3\n", "\n", "\n", "a, b\n", "\n", "\n", "11->4\n", "\n", "\n", "b\n", "\n", "\n", "11->5\n", "\n", "\n", "a\n", "\n", "\n", "11->6\n", "\n", "\n", "a, b\n", "\n", "\n", "11->7\n", "\n", "\n", "b\n", "\n", "\n", "11->11\n", "\n", "\n", "b\n", "\n", "\n", "11->12\n", "\n", "\n", "b\n", "\n", "\n", "11->14\n", "\n", "\n", "b\n", "\n", "\n", "11->15\n", "\n", "\n", "b\n", "\n", "\n", "11->18\n", "\n", "\n", "a\n", "\n", "\n", "11->19\n", "\n", "\n", "a, b\n", "\n", "\n", "11->20\n", "\n", "\n", "b\n", "\n", "\n", "11->21\n", "\n", "\n", "a\n", "\n", "\n", "11->22\n", "\n", "\n", "a, b\n", "\n", "\n", "11->23\n", "\n", "\n", "b\n", "\n", "\n", "11->27\n", "\n", "\n", "b\n", "\n", "\n", "11->28\n", "\n", "\n", "b\n", "\n", "\n", "11->30\n", "\n", "\n", "b\n", "\n", "\n", "11->31\n", "\n", "\n", "b\n", "\n", "\n", "12->0\n", "\n", "\n", "b\n", "\n", "\n", "12->1\n", "\n", "\n", "b\n", "\n", "\n", "12->2\n", "\n", "\n", "a, b\n", "\n", "\n", "12->3\n", "\n", "\n", "a, b\n", "\n", "\n", "12->4\n", "\n", "\n", "b\n", "\n", "\n", "12->5\n", "\n", "\n", "a, b\n", "\n", "\n", "12->6\n", "\n", "\n", "a, b\n", "\n", "\n", "12->7\n", "\n", "\n", "b\n", "\n", "\n", "12->8\n", "\n", "\n", "b\n", "\n", "\n", "12->9\n", "\n", "\n", "b\n", "\n", "\n", "12->10\n", "\n", "\n", "b\n", "\n", "\n", "12->11\n", "\n", "\n", "b\n", "\n", "\n", "12->12\n", "\n", "\n", "b\n", "\n", "\n", "12->13\n", "\n", "\n", "b\n", "\n", "\n", "12->14\n", "\n", "\n", "b\n", "\n", "\n", "12->15\n", "\n", "\n", "b\n", "\n", "\n", "12->16\n", "\n", "\n", "b\n", "\n", "\n", "12->17\n", "\n", "\n", "b\n", "\n", "\n", "12->18\n", "\n", "\n", "a, b\n", "\n", "\n", "12->19\n", "\n", "\n", "a, b\n", "\n", "\n", "12->20\n", "\n", "\n", "b\n", "\n", "\n", "12->21\n", "\n", "\n", "a, b\n", "\n", "\n", "12->22\n", "\n", "\n", "a, b\n", "\n", "\n", "12->23\n", "\n", "\n", "b\n", "\n", "\n", "12->24\n", "\n", "\n", "b\n", "\n", "\n", "12->25\n", "\n", "\n", "b\n", "\n", "\n", "12->26\n", "\n", "\n", "b\n", "\n", "\n", "12->27\n", "\n", "\n", "b\n", "\n", "\n", "12->28\n", "\n", "\n", "b\n", "\n", "\n", "12->29\n", "\n", "\n", "b\n", "\n", "\n", "12->30\n", "\n", "\n", "b\n", "\n", "\n", "12->31\n", "\n", "\n", "b\n", "\n", "\n", "13->F13\n", "\n", "\n", "\n", "\n", "13->0\n", "\n", "\n", "a\n", "\n", "\n", "13->1\n", "\n", "\n", "a\n", "\n", "\n", "13->2\n", "\n", "\n", "a\n", "\n", "\n", "13->3\n", "\n", "\n", "a, b\n", "\n", "\n", "13->4\n", "\n", "\n", "a, b\n", "\n", "\n", "13->5\n", "\n", "\n", "a\n", "\n", "\n", "13->6\n", "\n", "\n", "a, b\n", "\n", "\n", "13->7\n", "\n", "\n", "a, b\n", "\n", "\n", "13->11\n", "\n", "\n", "b\n", "\n", "\n", "13->12\n", "\n", "\n", "b\n", "\n", "\n", "13->14\n", "\n", "\n", "b\n", "\n", "\n", "13->15\n", "\n", "\n", "b\n", "\n", "\n", "13->16\n", "\n", "\n", "a\n", "\n", "\n", "13->17\n", "\n", "\n", "a\n", "\n", "\n", "13->18\n", "\n", "\n", "a\n", "\n", "\n", "13->19\n", "\n", "\n", "a, b\n", "\n", "\n", "13->20\n", "\n", "\n", "a, b\n", "\n", "\n", "13->21\n", "\n", "\n", "a\n", "\n", "\n", "13->22\n", "\n", "\n", "a, b\n", "\n", "\n", "13->23\n", "\n", "\n", "a, b\n", "\n", "\n", "13->27\n", "\n", "\n", "b\n", "\n", "\n", "13->28\n", "\n", "\n", "b\n", "\n", "\n", "13->30\n", "\n", "\n", "b\n", "\n", "\n", "13->31\n", "\n", "\n", "b\n", "\n", "\n", "14->0\n", "\n", "\n", "a\n", "\n", "\n", "14->1\n", "\n", "\n", "a\n", "\n", "\n", "14->2\n", "\n", "\n", "a\n", "\n", "\n", "14->3\n", "\n", "\n", "a, b\n", "\n", "\n", "14->4\n", "\n", "\n", "a, b\n", "\n", "\n", "14->5\n", "\n", "\n", "a\n", "\n", "\n", "14->6\n", "\n", "\n", "a, b\n", "\n", "\n", "14->7\n", "\n", "\n", "a, b\n", "\n", "\n", "14->11\n", "\n", "\n", "b\n", "\n", "\n", "14->12\n", "\n", "\n", "b\n", "\n", "\n", "14->14\n", "\n", "\n", "b\n", "\n", "\n", "14->15\n", "\n", "\n", "b\n", "\n", "\n", "14->16\n", "\n", "\n", "a\n", "\n", "\n", "14->17\n", "\n", "\n", "a\n", "\n", "\n", "14->18\n", "\n", "\n", "a\n", "\n", "\n", "14->19\n", "\n", "\n", "a, b\n", "\n", "\n", "14->20\n", "\n", "\n", "a, b\n", "\n", "\n", "14->21\n", "\n", "\n", "a\n", "\n", "\n", "14->22\n", "\n", "\n", "a, b\n", "\n", "\n", "14->23\n", "\n", "\n", "a, b\n", "\n", "\n", "14->27\n", "\n", "\n", "b\n", "\n", "\n", "14->28\n", "\n", "\n", "b\n", "\n", "\n", "14->30\n", "\n", "\n", "b\n", "\n", "\n", "14->31\n", "\n", "\n", "b\n", "\n", "\n", "15->0\n", "\n", "\n", "a, b\n", "\n", "\n", "15->1\n", "\n", "\n", "a, b\n", "\n", "\n", "15->2\n", "\n", "\n", "a, b\n", "\n", "\n", "15->3\n", "\n", "\n", "a, b\n", "\n", "\n", "15->4\n", "\n", "\n", "a, b\n", "\n", "\n", "15->5\n", "\n", "\n", "a, b\n", "\n", "\n", "15->6\n", "\n", "\n", "a, b\n", "\n", "\n", "15->7\n", "\n", "\n", "a, b\n", "\n", "\n", "15->8\n", "\n", "\n", "b\n", "\n", "\n", "15->9\n", "\n", "\n", "b\n", "\n", "\n", "15->10\n", "\n", "\n", "b\n", "\n", "\n", "15->11\n", "\n", "\n", "b\n", "\n", "\n", "15->12\n", "\n", "\n", "b\n", "\n", "\n", "15->13\n", "\n", "\n", "b\n", "\n", "\n", "15->14\n", "\n", "\n", "b\n", "\n", "\n", "15->15\n", "\n", "\n", "b\n", "\n", "\n", "15->16\n", "\n", "\n", "a, b\n", "\n", "\n", "15->17\n", "\n", "\n", "a, b\n", "\n", "\n", "15->18\n", "\n", "\n", "a, b\n", "\n", "\n", "15->19\n", "\n", "\n", "a, b\n", "\n", "\n", "15->20\n", "\n", "\n", "a, b\n", "\n", "\n", "15->21\n", "\n", "\n", "a, b\n", "\n", "\n", "15->22\n", "\n", "\n", "a, b\n", "\n", "\n", "15->23\n", "\n", "\n", "a, b\n", "\n", "\n", "15->24\n", "\n", "\n", "b\n", "\n", "\n", "15->25\n", "\n", "\n", "b\n", "\n", "\n", "15->26\n", "\n", "\n", "b\n", "\n", "\n", "15->27\n", "\n", "\n", "b\n", "\n", "\n", "15->28\n", "\n", "\n", "b\n", "\n", "\n", "15->29\n", "\n", "\n", "b\n", "\n", "\n", "15->30\n", "\n", "\n", "b\n", "\n", "\n", "15->31\n", "\n", "\n", "b\n", "\n", "\n", "16->F16\n", "\n", "\n", "\n", "\n", "16->0\n", "\n", "\n", "a\n", "\n", "\n", "16->1\n", "\n", "\n", "a, b\n", "\n", "\n", "16->2\n", "\n", "\n", "a, b\n", "\n", "\n", "16->3\n", "\n", "\n", "a, b\n", "\n", "\n", "16->4\n", "\n", "\n", "a, b\n", "\n", "\n", "16->5\n", "\n", "\n", "a\n", "\n", "\n", "16->6\n", "\n", "\n", "a\n", "\n", "\n", "16->7\n", "\n", "\n", "a\n", "\n", "\n", "16->8\n", "\n", "\n", "a\n", "\n", "\n", "16->9\n", "\n", "\n", "a, b\n", "\n", "\n", "16->10\n", "\n", "\n", "a, b\n", "\n", "\n", "16->11\n", "\n", "\n", "a, b\n", "\n", "\n", "16->12\n", "\n", "\n", "a, b\n", "\n", "\n", "16->13\n", "\n", "\n", "a\n", "\n", "\n", "16->14\n", "\n", "\n", "a\n", "\n", "\n", "16->15\n", "\n", "\n", "a\n", "\n", "\n", "16->16\n", "\n", "\n", "a\n", "\n", "\n", "16->17\n", "\n", "\n", "a, b\n", "\n", "\n", "16->18\n", "\n", "\n", "a, b\n", "\n", "\n", "16->19\n", "\n", "\n", "a, b\n", "\n", "\n", "16->20\n", "\n", "\n", "a, b\n", "\n", "\n", "16->21\n", "\n", "\n", "a\n", "\n", "\n", "16->22\n", "\n", "\n", "a\n", "\n", "\n", "16->23\n", "\n", "\n", "a\n", "\n", "\n", "16->24\n", "\n", "\n", "a\n", "\n", "\n", "16->25\n", "\n", "\n", "a, b\n", "\n", "\n", "16->26\n", "\n", "\n", "a, b\n", "\n", "\n", "16->27\n", "\n", "\n", "a, b\n", "\n", "\n", "16->28\n", "\n", "\n", "a, b\n", "\n", "\n", "16->29\n", "\n", "\n", "a\n", "\n", "\n", "16->30\n", "\n", "\n", "a\n", "\n", "\n", "16->31\n", "\n", "\n", "a\n", "\n", "\n", "17->F17\n", "\n", "\n", "\n", "\n", "17->1\n", "\n", "\n", "b\n", "\n", "\n", "17->2\n", "\n", "\n", "a, b\n", "\n", "\n", "17->3\n", "\n", "\n", "a, b\n", "\n", "\n", "17->4\n", "\n", "\n", "b\n", "\n", "\n", "17->5\n", "\n", "\n", "a\n", "\n", "\n", "17->6\n", "\n", "\n", "a\n", "\n", "\n", "17->9\n", "\n", "\n", "b\n", "\n", "\n", "17->10\n", "\n", "\n", "a, b\n", "\n", "\n", "17->11\n", "\n", "\n", "a, b\n", "\n", "\n", "17->12\n", "\n", "\n", "b\n", "\n", "\n", "17->13\n", "\n", "\n", "a\n", "\n", "\n", "17->14\n", "\n", "\n", "a\n", "\n", "\n", "17->17\n", "\n", "\n", "b\n", "\n", "\n", "17->18\n", "\n", "\n", "a, b\n", "\n", "\n", "17->19\n", "\n", "\n", "a, b\n", "\n", "\n", "17->20\n", "\n", "\n", "b\n", "\n", "\n", "17->21\n", "\n", "\n", "a\n", "\n", "\n", "17->22\n", "\n", "\n", "a\n", "\n", "\n", "17->25\n", "\n", "\n", "b\n", "\n", "\n", "17->26\n", "\n", "\n", "a, b\n", "\n", "\n", "17->27\n", "\n", "\n", "a, b\n", "\n", "\n", "17->28\n", "\n", "\n", "b\n", "\n", "\n", "17->29\n", "\n", "\n", "a\n", "\n", "\n", "17->30\n", "\n", "\n", "a\n", "\n", "\n", "18->F18\n", "\n", "\n", "\n", "\n", "18->2\n", "\n", "\n", "a\n", "\n", "\n", "18->3\n", "\n", "\n", "a, b\n", "\n", "\n", "18->4\n", "\n", "\n", "b\n", "\n", "\n", "18->5\n", "\n", "\n", "a\n", "\n", "\n", "18->6\n", "\n", "\n", "a\n", "\n", "\n", "18->10\n", "\n", "\n", "a\n", "\n", "\n", "18->11\n", "\n", "\n", "a, b\n", "\n", "\n", "18->12\n", "\n", "\n", "b\n", "\n", "\n", "18->13\n", "\n", "\n", "a\n", "\n", "\n", "18->14\n", "\n", "\n", "a\n", "\n", "\n", "18->18\n", "\n", "\n", "a\n", "\n", "\n", "18->19\n", "\n", "\n", "a, b\n", "\n", "\n", "18->20\n", "\n", "\n", "b\n", "\n", "\n", "18->21\n", "\n", "\n", "a\n", "\n", "\n", "18->22\n", "\n", "\n", "a\n", "\n", "\n", "18->26\n", "\n", "\n", "a\n", "\n", "\n", "18->27\n", "\n", "\n", "a, b\n", "\n", "\n", "18->28\n", "\n", "\n", "b\n", "\n", "\n", "18->29\n", "\n", "\n", "a\n", "\n", "\n", "18->30\n", "\n", "\n", "a\n", "\n", "\n", "19->2\n", "\n", "\n", "a\n", "\n", "\n", "19->3\n", "\n", "\n", "a, b\n", "\n", "\n", "19->4\n", "\n", "\n", "b\n", "\n", "\n", "19->5\n", "\n", "\n", "a\n", "\n", "\n", "19->6\n", "\n", "\n", "a\n", "\n", "\n", "19->10\n", "\n", "\n", "a\n", "\n", "\n", "19->11\n", "\n", "\n", "a, b\n", "\n", "\n", "19->12\n", "\n", "\n", "b\n", "\n", "\n", "19->13\n", "\n", "\n", "a\n", "\n", "\n", "19->14\n", "\n", "\n", "a\n", "\n", "\n", "19->18\n", "\n", "\n", "a\n", "\n", "\n", "19->19\n", "\n", "\n", "a, b\n", "\n", "\n", "19->20\n", "\n", "\n", "b\n", "\n", "\n", "19->21\n", "\n", "\n", "a\n", "\n", "\n", "19->22\n", "\n", "\n", "a\n", "\n", "\n", "19->26\n", "\n", "\n", "a\n", "\n", "\n", "19->27\n", "\n", "\n", "a, b\n", "\n", "\n", "19->28\n", "\n", "\n", "b\n", "\n", "\n", "19->29\n", "\n", "\n", "a\n", "\n", "\n", "19->30\n", "\n", "\n", "a\n", "\n", "\n", "20->1\n", "\n", "\n", "b\n", "\n", "\n", "20->2\n", "\n", "\n", "a, b\n", "\n", "\n", "20->3\n", "\n", "\n", "a, b\n", "\n", "\n", "20->4\n", "\n", "\n", "b\n", "\n", "\n", "20->5\n", "\n", "\n", "a\n", "\n", "\n", "20->6\n", "\n", "\n", "a\n", "\n", "\n", "20->9\n", "\n", "\n", "b\n", "\n", "\n", "20->10\n", "\n", "\n", "a, b\n", "\n", "\n", "20->11\n", "\n", "\n", "a, b\n", "\n", "\n", "20->12\n", "\n", "\n", "b\n", "\n", "\n", "20->13\n", "\n", "\n", "a\n", "\n", "\n", "20->14\n", "\n", "\n", "a\n", "\n", "\n", "20->17\n", "\n", "\n", "b\n", "\n", "\n", "20->18\n", "\n", "\n", "a, b\n", "\n", "\n", "20->19\n", "\n", "\n", "a, b\n", "\n", "\n", "20->20\n", "\n", "\n", "b\n", "\n", "\n", "20->21\n", "\n", "\n", "a\n", "\n", "\n", "20->22\n", "\n", "\n", "a\n", "\n", "\n", "20->25\n", "\n", "\n", "b\n", "\n", "\n", "20->26\n", "\n", "\n", "a, b\n", "\n", "\n", "20->27\n", "\n", "\n", "a, b\n", "\n", "\n", "20->28\n", "\n", "\n", "b\n", "\n", "\n", "20->29\n", "\n", "\n", "a\n", "\n", "\n", "20->30\n", "\n", "\n", "a\n", "\n", "\n", "21->F21\n", "\n", "\n", "\n", "\n", "21->0\n", "\n", "\n", "a\n", "\n", "\n", "21->1\n", "\n", "\n", "a\n", "\n", "\n", "21->2\n", "\n", "\n", "a\n", "\n", "\n", "21->3\n", "\n", "\n", "a, b\n", "\n", "\n", "21->4\n", "\n", "\n", "a, b\n", "\n", "\n", "21->5\n", "\n", "\n", "a\n", "\n", "\n", "21->6\n", "\n", "\n", "a\n", "\n", "\n", "21->7\n", "\n", "\n", "a\n", "\n", "\n", "21->8\n", "\n", "\n", "a\n", "\n", "\n", "21->9\n", "\n", "\n", "a\n", "\n", "\n", "21->10\n", "\n", "\n", "a\n", "\n", "\n", "21->11\n", "\n", "\n", "a, b\n", "\n", "\n", "21->12\n", "\n", "\n", "a, b\n", "\n", "\n", "21->13\n", "\n", "\n", "a\n", "\n", "\n", "21->14\n", "\n", "\n", "a\n", "\n", "\n", "21->15\n", "\n", "\n", "a\n", "\n", "\n", "21->16\n", "\n", "\n", "a\n", "\n", "\n", "21->17\n", "\n", "\n", "a\n", "\n", "\n", "21->18\n", "\n", "\n", "a\n", "\n", "\n", "21->19\n", "\n", "\n", "a, b\n", "\n", "\n", "21->20\n", "\n", "\n", "a, b\n", "\n", "\n", "21->21\n", "\n", "\n", "a\n", "\n", "\n", "21->22\n", "\n", "\n", "a\n", "\n", "\n", "21->23\n", "\n", "\n", "a\n", "\n", "\n", "21->24\n", "\n", "\n", "a\n", "\n", "\n", "21->25\n", "\n", "\n", "a\n", "\n", "\n", "21->26\n", "\n", "\n", "a\n", "\n", "\n", "21->27\n", "\n", "\n", "a, b\n", "\n", "\n", "21->28\n", "\n", "\n", "a, b\n", "\n", "\n", "21->29\n", "\n", "\n", "a\n", "\n", "\n", "21->30\n", "\n", "\n", "a\n", "\n", "\n", "21->31\n", "\n", "\n", "a\n", "\n", "\n", "22->0\n", "\n", "\n", "a\n", "\n", "\n", "22->1\n", "\n", "\n", "a\n", "\n", "\n", "22->2\n", "\n", "\n", "a\n", "\n", "\n", "22->3\n", "\n", "\n", "a, b\n", "\n", "\n", "22->4\n", "\n", "\n", "a, b\n", "\n", "\n", "22->5\n", "\n", "\n", "a\n", "\n", "\n", "22->6\n", "\n", "\n", "a\n", "\n", "\n", "22->7\n", "\n", "\n", "a\n", "\n", "\n", "22->8\n", "\n", "\n", "a\n", "\n", "\n", "22->9\n", "\n", "\n", "a\n", "\n", "\n", "22->10\n", "\n", "\n", "a\n", "\n", "\n", "22->11\n", "\n", "\n", "a, b\n", "\n", "\n", "22->12\n", "\n", "\n", "a, b\n", "\n", "\n", "22->13\n", "\n", "\n", "a\n", "\n", "\n", "22->14\n", "\n", "\n", "a\n", "\n", "\n", "22->15\n", "\n", "\n", "a\n", "\n", "\n", "22->16\n", "\n", "\n", "a\n", "\n", "\n", "22->17\n", "\n", "\n", "a\n", "\n", "\n", "22->18\n", "\n", "\n", "a\n", "\n", "\n", "22->19\n", "\n", "\n", "a, b\n", "\n", "\n", "22->20\n", "\n", "\n", "a, b\n", "\n", "\n", "22->21\n", "\n", "\n", "a\n", "\n", "\n", "22->22\n", "\n", "\n", "a\n", "\n", "\n", "22->23\n", "\n", "\n", "a\n", "\n", "\n", "22->24\n", "\n", "\n", "a\n", "\n", "\n", "22->25\n", "\n", "\n", "a\n", "\n", "\n", "22->26\n", "\n", "\n", "a\n", "\n", "\n", "22->27\n", "\n", "\n", "a, b\n", "\n", "\n", "22->28\n", "\n", "\n", "a, b\n", "\n", "\n", "22->29\n", "\n", "\n", "a\n", "\n", "\n", "22->30\n", "\n", "\n", "a\n", "\n", "\n", "22->31\n", "\n", "\n", "a\n", "\n", "\n", "23->0\n", "\n", "\n", "a\n", "\n", "\n", "23->1\n", "\n", "\n", "a, b\n", "\n", "\n", "23->2\n", "\n", "\n", "a, b\n", "\n", "\n", "23->3\n", "\n", "\n", "a, b\n", "\n", "\n", "23->4\n", "\n", "\n", "a, b\n", "\n", "\n", "23->5\n", "\n", "\n", "a\n", "\n", "\n", "23->6\n", "\n", "\n", "a\n", "\n", "\n", "23->7\n", "\n", "\n", "a\n", "\n", "\n", "23->8\n", "\n", "\n", "a\n", "\n", "\n", "23->9\n", "\n", "\n", "a, b\n", "\n", "\n", "23->10\n", "\n", "\n", "a, b\n", "\n", "\n", "23->11\n", "\n", "\n", "a, b\n", "\n", "\n", "23->12\n", "\n", "\n", "a, b\n", "\n", "\n", "23->13\n", "\n", "\n", "a\n", "\n", "\n", "23->14\n", "\n", "\n", "a\n", "\n", "\n", "23->15\n", "\n", "\n", "a\n", "\n", "\n", "23->16\n", "\n", "\n", "a\n", "\n", "\n", "23->17\n", "\n", "\n", "a, b\n", "\n", "\n", "23->18\n", "\n", "\n", "a, b\n", "\n", "\n", "23->19\n", "\n", "\n", "a, b\n", "\n", "\n", "23->20\n", "\n", "\n", "a, b\n", "\n", "\n", "23->21\n", "\n", "\n", "a\n", "\n", "\n", "23->22\n", "\n", "\n", "a\n", "\n", "\n", "23->23\n", "\n", "\n", "a\n", "\n", "\n", "23->24\n", "\n", "\n", "a\n", "\n", "\n", "23->25\n", "\n", "\n", "a, b\n", "\n", "\n", "23->26\n", "\n", "\n", "a, b\n", "\n", "\n", "23->27\n", "\n", "\n", "a, b\n", "\n", "\n", "23->28\n", "\n", "\n", "a, b\n", "\n", "\n", "23->29\n", "\n", "\n", "a\n", "\n", "\n", "23->30\n", "\n", "\n", "a\n", "\n", "\n", "23->31\n", "\n", "\n", "a\n", "\n", "\n", "24->F24\n", "\n", "\n", "\n", "\n", "24->0\n", "\n", "\n", "a, b\n", "\n", "\n", "24->1\n", "\n", "\n", "a, b\n", "\n", "\n", "24->2\n", "\n", "\n", "a, b\n", "\n", "\n", "24->3\n", "\n", "\n", "a, b\n", "\n", "\n", "24->4\n", "\n", "\n", "a, b\n", "\n", "\n", "24->5\n", "\n", "\n", "a, b\n", "\n", "\n", "24->6\n", "\n", "\n", "a, b\n", "\n", "\n", "24->7\n", "\n", "\n", "a, b\n", "\n", "\n", "24->8\n", "\n", "\n", "a, b\n", "\n", "\n", "24->9\n", "\n", "\n", "a, b\n", "\n", "\n", "24->10\n", "\n", "\n", "a, b\n", "\n", "\n", "24->11\n", "\n", "\n", "a, b\n", "\n", "\n", "24->12\n", "\n", "\n", "a, b\n", "\n", "\n", "24->13\n", "\n", "\n", "a, b\n", "\n", "\n", "24->14\n", "\n", "\n", "a, b\n", "\n", "\n", "24->15\n", "\n", "\n", "a, b\n", "\n", "\n", "24->16\n", "\n", "\n", "a, b\n", "\n", "\n", "24->17\n", "\n", "\n", "a, b\n", "\n", "\n", "24->18\n", "\n", "\n", "a, b\n", "\n", "\n", "24->19\n", "\n", "\n", "a, b\n", "\n", "\n", "24->20\n", "\n", "\n", "a, b\n", "\n", "\n", "24->21\n", "\n", "\n", "a, b\n", "\n", "\n", "24->22\n", "\n", "\n", "a, b\n", "\n", "\n", "24->23\n", "\n", "\n", "a, b\n", "\n", "\n", "24->24\n", "\n", "\n", "a, b\n", "\n", "\n", "24->25\n", "\n", "\n", "a, b\n", "\n", "\n", "24->26\n", "\n", "\n", "a, b\n", "\n", "\n", "24->27\n", "\n", "\n", "a, b\n", "\n", "\n", "24->28\n", "\n", "\n", "a, b\n", "\n", "\n", "24->29\n", "\n", "\n", "a, b\n", "\n", "\n", "24->30\n", "\n", "\n", "a, b\n", "\n", "\n", "24->31\n", "\n", "\n", "a, b\n", "\n", "\n", "25->F25\n", "\n", "\n", "\n", "\n", "25->0\n", "\n", "\n", "b\n", "\n", "\n", "25->1\n", "\n", "\n", "b\n", "\n", "\n", "25->2\n", "\n", "\n", "a, b\n", "\n", "\n", "25->3\n", "\n", "\n", "a, b\n", "\n", "\n", "25->4\n", "\n", "\n", "b\n", "\n", "\n", "25->5\n", "\n", "\n", "a, b\n", "\n", "\n", "25->6\n", "\n", "\n", "a, b\n", "\n", "\n", "25->7\n", "\n", "\n", "b\n", "\n", "\n", "25->8\n", "\n", "\n", "b\n", "\n", "\n", "25->9\n", "\n", "\n", "b\n", "\n", "\n", "25->10\n", "\n", "\n", "a, b\n", "\n", "\n", "25->11\n", "\n", "\n", "a, b\n", "\n", "\n", "25->12\n", "\n", "\n", "b\n", "\n", "\n", "25->13\n", "\n", "\n", "a, b\n", "\n", "\n", "25->14\n", "\n", "\n", "a, b\n", "\n", "\n", "25->15\n", "\n", "\n", "b\n", "\n", "\n", "25->16\n", "\n", "\n", "b\n", "\n", "\n", "25->17\n", "\n", "\n", "b\n", "\n", "\n", "25->18\n", "\n", "\n", "a, b\n", "\n", "\n", "25->19\n", "\n", "\n", "a, b\n", "\n", "\n", "25->20\n", "\n", "\n", "b\n", "\n", "\n", "25->21\n", "\n", "\n", "a, b\n", "\n", "\n", "25->22\n", "\n", "\n", "a, b\n", "\n", "\n", "25->23\n", "\n", "\n", "b\n", "\n", "\n", "25->24\n", "\n", "\n", "b\n", "\n", "\n", "25->25\n", "\n", "\n", "b\n", "\n", "\n", "25->26\n", "\n", "\n", "a, b\n", "\n", "\n", "25->27\n", "\n", "\n", "a, b\n", "\n", "\n", "25->28\n", "\n", "\n", "b\n", "\n", "\n", "25->29\n", "\n", "\n", "a, b\n", "\n", "\n", "25->30\n", "\n", "\n", "a, b\n", "\n", "\n", "25->31\n", "\n", "\n", "b\n", "\n", "\n", "26->F26\n", "\n", "\n", "\n", "\n", "26->2\n", "\n", "\n", "a\n", "\n", "\n", "26->3\n", "\n", "\n", "a, b\n", "\n", "\n", "26->4\n", "\n", "\n", "b\n", "\n", "\n", "26->5\n", "\n", "\n", "a\n", "\n", "\n", "26->6\n", "\n", "\n", "a, b\n", "\n", "\n", "26->7\n", "\n", "\n", "b\n", "\n", "\n", "26->10\n", "\n", "\n", "a\n", "\n", "\n", "26->11\n", "\n", "\n", "a, b\n", "\n", "\n", "26->12\n", "\n", "\n", "b\n", "\n", "\n", "26->13\n", "\n", "\n", "a\n", "\n", "\n", "26->14\n", "\n", "\n", "a, b\n", "\n", "\n", "26->15\n", "\n", "\n", "b\n", "\n", "\n", "26->18\n", "\n", "\n", "a\n", "\n", "\n", "26->19\n", "\n", "\n", "a, b\n", "\n", "\n", "26->20\n", "\n", "\n", "b\n", "\n", "\n", "26->21\n", "\n", "\n", "a\n", "\n", "\n", "26->22\n", "\n", "\n", "a, b\n", "\n", "\n", "26->23\n", "\n", "\n", "b\n", "\n", "\n", "26->26\n", "\n", "\n", "a\n", "\n", "\n", "26->27\n", "\n", "\n", "a, b\n", "\n", "\n", "26->28\n", "\n", "\n", "b\n", "\n", "\n", "26->29\n", "\n", "\n", "a\n", "\n", "\n", "26->30\n", "\n", "\n", "a, b\n", "\n", "\n", "26->31\n", "\n", "\n", "b\n", "\n", "\n", "27->2\n", "\n", "\n", "a\n", "\n", "\n", "27->3\n", "\n", "\n", "a, b\n", "\n", "\n", "27->4\n", "\n", "\n", "b\n", "\n", "\n", "27->5\n", "\n", "\n", "a\n", "\n", "\n", "27->6\n", "\n", "\n", "a, b\n", "\n", "\n", "27->7\n", "\n", "\n", "b\n", "\n", "\n", "27->10\n", "\n", "\n", "a\n", "\n", "\n", "27->11\n", "\n", "\n", "a, b\n", "\n", "\n", "27->12\n", "\n", "\n", "b\n", "\n", "\n", "27->13\n", "\n", "\n", "a\n", "\n", "\n", "27->14\n", "\n", "\n", "a, b\n", "\n", "\n", "27->15\n", "\n", "\n", "b\n", "\n", "\n", "27->18\n", "\n", "\n", "a\n", "\n", "\n", "27->19\n", "\n", "\n", "a, b\n", "\n", "\n", "27->20\n", "\n", "\n", "b\n", "\n", "\n", "27->21\n", "\n", "\n", "a\n", "\n", "\n", "27->22\n", "\n", "\n", "a, b\n", "\n", "\n", "27->23\n", "\n", "\n", "b\n", "\n", "\n", "27->26\n", "\n", "\n", "a\n", "\n", "\n", "27->27\n", "\n", "\n", "a, b\n", "\n", "\n", "27->28\n", "\n", "\n", "b\n", "\n", "\n", "27->29\n", "\n", "\n", "a\n", "\n", "\n", "27->30\n", "\n", "\n", "a, b\n", "\n", "\n", "27->31\n", "\n", "\n", "b\n", "\n", "\n", "28->0\n", "\n", "\n", "b\n", "\n", "\n", "28->1\n", "\n", "\n", "b\n", "\n", "\n", "28->2\n", "\n", "\n", "a, b\n", "\n", "\n", "28->3\n", "\n", "\n", "a, b\n", "\n", "\n", "28->4\n", "\n", "\n", "b\n", "\n", "\n", "28->5\n", "\n", "\n", "a, b\n", "\n", "\n", "28->6\n", "\n", "\n", "a, b\n", "\n", "\n", "28->7\n", "\n", "\n", "b\n", "\n", "\n", "28->8\n", "\n", "\n", "b\n", "\n", "\n", "28->9\n", "\n", "\n", "b\n", "\n", "\n", "28->10\n", "\n", "\n", "a, b\n", "\n", "\n", "28->11\n", "\n", "\n", "a, b\n", "\n", "\n", "28->12\n", "\n", "\n", "b\n", "\n", "\n", "28->13\n", "\n", "\n", "a, b\n", "\n", "\n", "28->14\n", "\n", "\n", "a, b\n", "\n", "\n", "28->15\n", "\n", "\n", "b\n", "\n", "\n", "28->16\n", "\n", "\n", "b\n", "\n", "\n", "28->17\n", "\n", "\n", "b\n", "\n", "\n", "28->18\n", "\n", "\n", "a, b\n", "\n", "\n", "28->19\n", "\n", "\n", "a, b\n", "\n", "\n", "28->20\n", "\n", "\n", "b\n", "\n", "\n", "28->21\n", "\n", "\n", "a, b\n", "\n", "\n", "28->22\n", "\n", "\n", "a, b\n", "\n", "\n", "28->23\n", "\n", "\n", "b\n", "\n", "\n", "28->24\n", "\n", "\n", "b\n", "\n", "\n", "28->25\n", "\n", "\n", "b\n", "\n", "\n", "28->26\n", "\n", "\n", "a, b\n", "\n", "\n", "28->27\n", "\n", "\n", "a, b\n", "\n", "\n", "28->28\n", "\n", "\n", "b\n", "\n", "\n", "28->29\n", "\n", "\n", "a, b\n", "\n", "\n", "28->30\n", "\n", "\n", "a, b\n", "\n", "\n", "28->31\n", "\n", "\n", "b\n", "\n", "\n", "29->F29\n", "\n", "\n", "\n", "\n", "29->0\n", "\n", "\n", "a\n", "\n", "\n", "29->1\n", "\n", "\n", "a\n", "\n", "\n", "29->2\n", "\n", "\n", "a\n", "\n", "\n", "29->3\n", "\n", "\n", "a, b\n", "\n", "\n", "29->4\n", "\n", "\n", "a, b\n", "\n", "\n", "29->5\n", "\n", "\n", "a\n", "\n", "\n", "29->6\n", "\n", "\n", "a, b\n", "\n", "\n", "29->7\n", "\n", "\n", "a, b\n", "\n", "\n", "29->8\n", "\n", "\n", "a\n", "\n", "\n", "29->9\n", "\n", "\n", "a\n", "\n", "\n", "29->10\n", "\n", "\n", "a\n", "\n", "\n", "29->11\n", "\n", "\n", "a, b\n", "\n", "\n", "29->12\n", "\n", "\n", "a, b\n", "\n", "\n", "29->13\n", "\n", "\n", "a\n", "\n", "\n", "29->14\n", "\n", "\n", "a, b\n", "\n", "\n", "29->15\n", "\n", "\n", "a, b\n", "\n", "\n", "29->16\n", "\n", "\n", "a\n", "\n", "\n", "29->17\n", "\n", "\n", "a\n", "\n", "\n", "29->18\n", "\n", "\n", "a\n", "\n", "\n", "29->19\n", "\n", "\n", "a, b\n", "\n", "\n", "29->20\n", "\n", "\n", "a, b\n", "\n", "\n", "29->21\n", "\n", "\n", "a\n", "\n", "\n", "29->22\n", "\n", "\n", "a, b\n", "\n", "\n", "29->23\n", "\n", "\n", "a, b\n", "\n", "\n", "29->24\n", "\n", "\n", "a\n", "\n", "\n", "29->25\n", "\n", "\n", "a\n", "\n", "\n", "29->26\n", "\n", "\n", "a\n", "\n", "\n", "29->27\n", "\n", "\n", "a, b\n", "\n", "\n", "29->28\n", "\n", "\n", "a, b\n", "\n", "\n", "29->29\n", "\n", "\n", "a\n", "\n", "\n", "29->30\n", "\n", "\n", "a, b\n", "\n", "\n", "29->31\n", "\n", "\n", "a, b\n", "\n", "\n", "30->0\n", "\n", "\n", "a\n", "\n", "\n", "30->1\n", "\n", "\n", "a\n", "\n", "\n", "30->2\n", "\n", "\n", "a\n", "\n", "\n", "30->3\n", "\n", "\n", "a, b\n", "\n", "\n", "30->4\n", "\n", "\n", "a, b\n", "\n", "\n", "30->5\n", "\n", "\n", "a\n", "\n", "\n", "30->6\n", "\n", "\n", "a, b\n", "\n", "\n", "30->7\n", "\n", "\n", "a, b\n", "\n", "\n", "30->8\n", "\n", "\n", "a\n", "\n", "\n", "30->9\n", "\n", "\n", "a\n", "\n", "\n", "30->10\n", "\n", "\n", "a\n", "\n", "\n", "30->11\n", "\n", "\n", "a, b\n", "\n", "\n", "30->12\n", "\n", "\n", "a, b\n", "\n", "\n", "30->13\n", "\n", "\n", "a\n", "\n", "\n", "30->14\n", "\n", "\n", "a, b\n", "\n", "\n", "30->15\n", "\n", "\n", "a, b\n", "\n", "\n", "30->16\n", "\n", "\n", "a\n", "\n", "\n", "30->17\n", "\n", "\n", "a\n", "\n", "\n", "30->18\n", "\n", "\n", "a\n", "\n", "\n", "30->19\n", "\n", "\n", "a, b\n", "\n", "\n", "30->20\n", "\n", "\n", "a, b\n", "\n", "\n", "30->21\n", "\n", "\n", "a\n", "\n", "\n", "30->22\n", "\n", "\n", "a, b\n", "\n", "\n", "30->23\n", "\n", "\n", "a, b\n", "\n", "\n", "30->24\n", "\n", "\n", "a\n", "\n", "\n", "30->25\n", "\n", "\n", "a\n", "\n", "\n", "30->26\n", "\n", "\n", "a\n", "\n", "\n", "30->27\n", "\n", "\n", "a, b\n", "\n", "\n", "30->28\n", "\n", "\n", "a, b\n", "\n", "\n", "30->29\n", "\n", "\n", "a\n", "\n", "\n", "30->30\n", "\n", "\n", "a, b\n", "\n", "\n", "30->31\n", "\n", "\n", "a, b\n", "\n", "\n", "31->0\n", "\n", "\n", "a, b\n", "\n", "\n", "31->1\n", "\n", "\n", "a, b\n", "\n", "\n", "31->2\n", "\n", "\n", "a, b\n", "\n", "\n", "31->3\n", "\n", "\n", "a, b\n", "\n", "\n", "31->4\n", "\n", "\n", "a, b\n", "\n", "\n", "31->5\n", "\n", "\n", "a, b\n", "\n", "\n", "31->6\n", "\n", "\n", "a, b\n", "\n", "\n", "31->7\n", "\n", "\n", "a, b\n", "\n", "\n", "31->8\n", "\n", "\n", "a, b\n", "\n", "\n", "31->9\n", "\n", "\n", "a, b\n", "\n", "\n", "31->10\n", "\n", "\n", "a, b\n", "\n", "\n", "31->11\n", "\n", "\n", "a, b\n", "\n", "\n", "31->12\n", "\n", "\n", "a, b\n", "\n", "\n", "31->13\n", "\n", "\n", "a, b\n", "\n", "\n", "31->14\n", "\n", "\n", "a, b\n", "\n", "\n", "31->15\n", "\n", "\n", "a, b\n", "\n", "\n", "31->16\n", "\n", "\n", "a, b\n", "\n", "\n", "31->17\n", "\n", "\n", "a, b\n", "\n", "\n", "31->18\n", "\n", "\n", "a, b\n", "\n", "\n", "31->19\n", "\n", "\n", "a, b\n", "\n", "\n", "31->20\n", "\n", "\n", "a, b\n", "\n", "\n", "31->21\n", "\n", "\n", "a, b\n", "\n", "\n", "31->22\n", "\n", "\n", "a, b\n", "\n", "\n", "31->23\n", "\n", "\n", "a, b\n", "\n", "\n", "31->24\n", "\n", "\n", "a, b\n", "\n", "\n", "31->25\n", "\n", "\n", "a, b\n", "\n", "\n", "31->26\n", "\n", "\n", "a, b\n", "\n", "\n", "31->27\n", "\n", "\n", "a, b\n", "\n", "\n", "31->28\n", "\n", "\n", "a, b\n", "\n", "\n", "31->29\n", "\n", "\n", "a, b\n", "\n", "\n", "31->30\n", "\n", "\n", "a, b\n", "\n", "\n", "31->31\n", "\n", "\n", "a, b\n", "\n", "\n", "\n" ], "text": [ "mutable_automaton" ] } ], "prompt_number": 59 }, { "cell_type": "code", "collapsed": false, "input": [], "language": "python", "metadata": {}, "outputs": [] } ], "metadata": {} } ] }