From: Neil Smith Date: Fri, 28 Jul 2017 15:21:06 +0000 (+0100) Subject: Added execution traces X-Git-Url: https://git.njae.me.uk/?a=commitdiff_plain;h=456ac7253b3d4798223da34369535262cbc38057;p=ou-summer-of-code-2017.git Added execution traces --- diff --git a/09-resolving-the-bill/gf.dot b/09-resolving-the-bill/gf.dot new file mode 100644 index 0000000..2047689 --- /dev/null +++ b/09-resolving-the-bill/gf.dot @@ -0,0 +1,64 @@ +digraph G { + + +nae20c69b2c4d4ea2a239af485ca10f16 [label="bdabcc\ndabaabcacb"]; +nae20c69b2c4d4ea2a239af485ca10f16 -> nac3868f0d46645ca8bf1b02110448236; +nac3868f0d46645ca8bf1b02110448236 [label="bdabcc\ndabaabcac"]; +nac3868f0d46645ca8bf1b02110448236 -> nf5a124f6b457426eaa13f9d58a716fe1; +nac3868f0d46645ca8bf1b02110448236 -> na1b07d40913a48a89651e06846c27489; +nf5a124f6b457426eaa13f9d58a716fe1 [label="bdabc\ndabaabca"]; +nf5a124f6b457426eaa13f9d58a716fe1 -> nf82bf143985849a9a14d7272ab8be040; +nf82bf143985849a9a14d7272ab8be040 [label="bdabc\ndabaabc"]; +nf82bf143985849a9a14d7272ab8be040 -> nf5694edb16d84740ad75d3c3a9dc33f4; +nf82bf143985849a9a14d7272ab8be040 -> nd6bf8394c44b4af79b2a91534ba13317; +nf5694edb16d84740ad75d3c3a9dc33f4 [label="bdab\ndabaab"]; +nf5694edb16d84740ad75d3c3a9dc33f4 -> n7734cd7f92a34a3bbb223dac592bd496; +nf5694edb16d84740ad75d3c3a9dc33f4 -> nad799597664c441f9ccedc62f06247bb; +n7734cd7f92a34a3bbb223dac592bd496 [label="bda\ndabaa"]; +n7734cd7f92a34a3bbb223dac592bd496 -> nf51d59c7071c4725a4e961fd017fd0b6; +n7734cd7f92a34a3bbb223dac592bd496 -> nd7f11536d8df400d860ac372d1c3e9f8; +nf51d59c7071c4725a4e961fd017fd0b6 [label="bd\ndaba"]; +nf51d59c7071c4725a4e961fd017fd0b6 -> n48a2b0c66af943439d0c9767e9181c50; +n48a2b0c66af943439d0c9767e9181c50 [label="bd\ndab"]; +n48a2b0c66af943439d0c9767e9181c50 -> nfee98ef394994c0b9664921c73ae7882; +nfee98ef394994c0b9664921c73ae7882 [label="bd\nda"]; +nfee98ef394994c0b9664921c73ae7882 -> n077956a8b783437ba5a65c3fd3380e2f; +n077956a8b783437ba5a65c3fd3380e2f [label="bd\nd\nFalse"]; +nd7f11536d8df400d860ac372d1c3e9f8 [label="bda\ndaba"]; +nd7f11536d8df400d860ac372d1c3e9f8 -> nb1bf7b9e21a64b30a7a536a9b8649e56; +nd7f11536d8df400d860ac372d1c3e9f8 -> n115e972256cc4394a1eba134f114e4ab; +nb1bf7b9e21a64b30a7a536a9b8649e56 [label="bd\ndab"]; +nb1bf7b9e21a64b30a7a536a9b8649e56 -> nb0329d485ca14bfaa79caa33670a8699; +nb0329d485ca14bfaa79caa33670a8699 [label="bd\nda"]; +nb0329d485ca14bfaa79caa33670a8699 -> ne91eaaeffb1443639b733682718f4092; +ne91eaaeffb1443639b733682718f4092 [label="bd\nd\nFalse"]; +n115e972256cc4394a1eba134f114e4ab [label="bda\ndab"]; +n115e972256cc4394a1eba134f114e4ab -> na78115224d9f4e37b4045f6c30e4ceb1; +na78115224d9f4e37b4045f6c30e4ceb1 [label="bda\nda\nFalse"]; +nad799597664c441f9ccedc62f06247bb [label="bdab\ndabaa"]; +nad799597664c441f9ccedc62f06247bb -> n55c3278b1aea4bdc92b3d5eb3c09366c; +n55c3278b1aea4bdc92b3d5eb3c09366c [label="bdab\ndaba"]; +n55c3278b1aea4bdc92b3d5eb3c09366c -> n5d2503b1d062482b898e4682240dcc78; +n5d2503b1d062482b898e4682240dcc78 [label="bdab\ndab\nFalse"]; +nd6bf8394c44b4af79b2a91534ba13317 [label="bdabc\ndabaab"]; +nd6bf8394c44b4af79b2a91534ba13317 -> ne856116c734a46b1967bddb73c56140f; +ne856116c734a46b1967bddb73c56140f [label="bdabc\ndabaa"]; +ne856116c734a46b1967bddb73c56140f -> ne0497380dcb04eb9b64499dca04e370b; +ne0497380dcb04eb9b64499dca04e370b [label="bdabc\ndaba\nFalse"]; +na1b07d40913a48a89651e06846c27489 [label="bdabcc\ndabaabca"]; +na1b07d40913a48a89651e06846c27489 -> nf7b9fd837f974551b0795d7492210e52; +nf7b9fd837f974551b0795d7492210e52 [label="bdabcc\ndabaabc"]; +nf7b9fd837f974551b0795d7492210e52 -> n753dfbdd86b543cbb9b246e976d31406; +nf7b9fd837f974551b0795d7492210e52 -> n556f3f77789b40f0b332b55e20828606; +n753dfbdd86b543cbb9b246e976d31406 [label="bdabc\ndabaab"]; +n753dfbdd86b543cbb9b246e976d31406 -> na21720c117704e02910b868caeddb9a9; +na21720c117704e02910b868caeddb9a9 [label="bdabc\ndabaa"]; +na21720c117704e02910b868caeddb9a9 -> nb1bec31f0ddf4a888f941702a407906f; +nb1bec31f0ddf4a888f941702a407906f [label="bdabc\ndaba\nFalse"]; +n556f3f77789b40f0b332b55e20828606 [label="bdabcc\ndabaab"]; +n556f3f77789b40f0b332b55e20828606 -> n5b6173aea18d41f8b4a2c5ce99cc4d7a; +n5b6173aea18d41f8b4a2c5ce99cc4d7a [label="bdabcc\ndabaa\nFalse"]; + + + +} diff --git a/09-resolving-the-bill/gf.dot.png b/09-resolving-the-bill/gf.dot.png new file mode 100644 index 0000000..9a6800d Binary files /dev/null and b/09-resolving-the-bill/gf.dot.png differ diff --git a/09-resolving-the-bill/gf.dot.ps b/09-resolving-the-bill/gf.dot.ps new file mode 100644 index 0000000..d9a4282 --- /dev/null +++ b/09-resolving-the-bill/gf.dot.ps @@ -0,0 +1,1127 @@ +%!PS-Adobe-3.0 +%%Creator: graphviz version 2.38.0 (20140413.2041) +%%Title: G +%%Pages: (atend) +%%BoundingBox: (atend) +%%EndComments +save +%%BeginProlog +/DotDict 200 dict def +DotDict begin + +/setupLatin1 { +mark +/EncodingVector 256 array def + EncodingVector 0 + +ISOLatin1Encoding 0 255 getinterval putinterval +EncodingVector 45 /hyphen put + +% Set up ISO Latin 1 character encoding +/starnetISO { + dup dup findfont dup length dict begin + { 1 index /FID ne { def }{ pop pop } ifelse + } forall + /Encoding EncodingVector def + currentdict end definefont +} def +/Times-Roman starnetISO def +/Times-Italic starnetISO def +/Times-Bold starnetISO def +/Times-BoldItalic starnetISO def +/Helvetica starnetISO def +/Helvetica-Oblique starnetISO def +/Helvetica-Bold starnetISO def +/Helvetica-BoldOblique starnetISO def +/Courier starnetISO def +/Courier-Oblique starnetISO def +/Courier-Bold starnetISO def +/Courier-BoldOblique starnetISO def +cleartomark +} bind def + +%%BeginResource: procset graphviz 0 0 +/coord-font-family /Times-Roman def +/default-font-family /Times-Roman def +/coordfont coord-font-family findfont 8 scalefont def + +/InvScaleFactor 1.0 def +/set_scale { + dup 1 exch div /InvScaleFactor exch def + scale +} bind def + +% styles +/solid { [] 0 setdash } bind def +/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def +/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def +/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def +/bold { 2 setlinewidth } bind def +/filled { } bind def +/unfilled { } bind def +/rounded { } bind def +/diagonals { } bind def +/tapered { } bind def + +% hooks for setting color +/nodecolor { sethsbcolor } bind def +/edgecolor { sethsbcolor } bind def +/graphcolor { sethsbcolor } bind def +/nopcolor {pop pop pop} bind def + +/beginpage { % i j npages + /npages exch def + /j exch def + /i exch def + /str 10 string def + npages 1 gt { + gsave + coordfont setfont + 0 0 moveto + (\() show i str cvs show (,) show j str cvs show (\)) show + grestore + } if +} bind def + +/set_font { + findfont exch + scalefont setfont +} def + +% draw text fitted to its expected width +/alignedtext { % width text + /text exch def + /width exch def + gsave + width 0 gt { + [] 0 setdash + text stringwidth pop width exch sub text length div 0 text ashow + } if + grestore +} def + +/boxprim { % xcorner ycorner xsize ysize + 4 2 roll + moveto + 2 copy + exch 0 rlineto + 0 exch rlineto + pop neg 0 rlineto + closepath +} bind def + +/ellipse_path { + /ry exch def + /rx exch def + /y exch def + /x exch def + matrix currentmatrix + newpath + x y translate + rx ry scale + 0 0 1 0 360 arc + setmatrix +} bind def + +/endpage { showpage } bind def +/showpage { } def + +/layercolorseq + [ % layer color sequence - darkest to lightest + [0 0 0] + [.2 .8 .8] + [.4 .8 .8] + [.6 .8 .8] + [.8 .8 .8] + ] +def + +/layerlen layercolorseq length def + +/setlayer {/maxlayer exch def /curlayer exch def + layercolorseq curlayer 1 sub layerlen mod get + aload pop sethsbcolor + /nodecolor {nopcolor} def + /edgecolor {nopcolor} def + /graphcolor {nopcolor} def +} bind def + +/onlayer { curlayer ne {invis} if } def + +/onlayers { + /myupper exch def + /mylower exch def + curlayer mylower lt + curlayer myupper gt + or + {invis} if +} def + +/curlayer 0 def + +%%EndResource +%%EndProlog +%%BeginSetup +14 default-font-family set_font +1 setmiterlimit +% /arrowlength 10 def +% /arrowwidth 5 def + +% make sure pdfmark is harmless for PS-interpreters other than Distiller +/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse +% make '<<' and '>>' safe on PS Level 1 devices +/languagelevel where {pop languagelevel}{1} ifelse +2 lt { + userdict (<<) cvn ([) cvn load put + userdict (>>) cvn ([) cvn load put +} if + +%%EndSetup +setupLatin1 +%%Page: 1 1 +%%PageBoundingBox: 36 36 622 1011 +%%PageOrientation: Portrait +0 0 1 beginpage +gsave +36 36 586 975 boxprim clip newpath +1 1 set_scale 0 rotate 40 40 translate +% nae20c69b2c4d4ea2a239af485ca10f16 +gsave +1 setlinewidth +0 0 0 nodecolor +389.82 940.6 56.64 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +370.32 944.4 moveto 39 (bdabcc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +357.82 929.4 moveto 64 (dabaabcacb) alignedtext +grestore +% nac3868f0d46645ca8bf1b02110448236 +gsave +1 setlinewidth +0 0 0 nodecolor +389.82 850.86 51.74 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +370.32 854.66 moveto 39 (bdabcc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +361.32 839.66 moveto 57 (dabaabcac) alignedtext +grestore +% nae20c69b2c4d4ea2a239af485ca10f16->nac3868f0d46645ca8bf1b02110448236 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 389.82 913.27 moveto +389.82 905.31 389.82 896.41 389.82 887.93 curveto +stroke +0 0 0 edgecolor +newpath 393.32 887.86 moveto +389.82 877.86 lineto +386.32 887.86 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 393.32 887.86 moveto +389.82 877.86 lineto +386.32 887.86 lineto +closepath stroke +grestore +% nf5a124f6b457426eaa13f9d58a716fe1 +gsave +1 setlinewidth +0 0 0 nodecolor +333.82 761.12 47.25 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +317.32 764.92 moveto 33 (bdabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +308.32 749.92 moveto 51 (dabaabca) alignedtext +grestore +% nac3868f0d46645ca8bf1b02110448236->nf5a124f6b457426eaa13f9d58a716fe1 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 373.92 824.95 moveto +368.08 815.79 361.37 805.28 355.12 795.5 curveto +stroke +0 0 0 edgecolor +newpath 357.89 793.33 moveto +349.56 786.78 lineto +351.99 797.1 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 357.89 793.33 moveto +349.56 786.78 lineto +351.99 797.1 lineto +closepath stroke +grestore +% na1b07d40913a48a89651e06846c27489 +gsave +1 setlinewidth +0 0 0 nodecolor +446.82 761.12 47.25 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +427.32 764.92 moveto 39 (bdabcc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +421.32 749.92 moveto 51 (dabaabca) alignedtext +grestore +% nac3868f0d46645ca8bf1b02110448236->na1b07d40913a48a89651e06846c27489 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 406 824.95 moveto +412.06 815.62 419.04 804.88 425.49 794.95 curveto +stroke +0 0 0 edgecolor +newpath 428.48 796.77 moveto +430.99 786.48 lineto +422.61 792.96 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 428.48 796.77 moveto +430.99 786.48 lineto +422.61 792.96 lineto +closepath stroke +grestore +% nf82bf143985849a9a14d7272ab8be040 +gsave +1 setlinewidth +0 0 0 nodecolor +333.82 671.38 43.27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +317.32 675.18 moveto 33 (bdabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +311.32 660.18 moveto 45 (dabaabc) alignedtext +grestore +% nf5a124f6b457426eaa13f9d58a716fe1->nf82bf143985849a9a14d7272ab8be040 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 333.82 733.79 moveto +333.82 725.83 333.82 716.93 333.82 708.45 curveto +stroke +0 0 0 edgecolor +newpath 337.32 708.38 moveto +333.82 698.38 lineto +330.32 708.38 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 337.32 708.38 moveto +333.82 698.38 lineto +330.32 708.38 lineto +closepath stroke +grestore +% nf7b9fd837f974551b0795d7492210e52 +gsave +1 setlinewidth +0 0 0 nodecolor +446.82 671.38 43.27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +427.32 675.18 moveto 39 (bdabcc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +424.32 660.18 moveto 45 (dabaabc) alignedtext +grestore +% na1b07d40913a48a89651e06846c27489->nf7b9fd837f974551b0795d7492210e52 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 446.82 733.79 moveto +446.82 725.83 446.82 716.93 446.82 708.45 curveto +stroke +0 0 0 edgecolor +newpath 450.32 708.38 moveto +446.82 698.38 lineto +443.32 708.38 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 450.32 708.38 moveto +446.82 698.38 lineto +443.32 708.38 lineto +closepath stroke +grestore +% nf5694edb16d84740ad75d3c3a9dc33f4 +gsave +1 setlinewidth +0 0 0 nodecolor +242.82 581.64 38.78 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +229.32 585.44 moveto 27 (bdab) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +223.32 570.44 moveto 39 (dabaab) alignedtext +grestore +% nf82bf143985849a9a14d7272ab8be040->nf5694edb16d84740ad75d3c3a9dc33f4 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 310.86 648.24 moveto +299.17 636.97 284.83 623.14 272.34 611.1 curveto +stroke +0 0 0 edgecolor +newpath 274.46 608.28 moveto +264.83 603.86 lineto +269.6 613.32 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 274.46 608.28 moveto +264.83 603.86 lineto +269.6 613.32 lineto +closepath stroke +grestore +% nd6bf8394c44b4af79b2a91534ba13317 +gsave +1 setlinewidth +0 0 0 nodecolor +338.82 581.64 38.78 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +322.32 585.44 moveto 33 (bdabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +319.32 570.44 moveto 39 (dabaab) alignedtext +grestore +% nf82bf143985849a9a14d7272ab8be040->nd6bf8394c44b4af79b2a91534ba13317 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 335.32 644.05 moveto +335.77 636.09 336.28 627.19 336.76 618.71 curveto +stroke +0 0 0 edgecolor +newpath 340.26 618.82 moveto +337.34 608.64 lineto +333.27 618.43 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 340.26 618.82 moveto +337.34 608.64 lineto +333.27 618.43 lineto +closepath stroke +grestore +% n7734cd7f92a34a3bbb223dac592bd496 +gsave +1 setlinewidth +0 0 0 nodecolor +134.82 481.29 33.88 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +124.82 485.09 moveto 20 (bda) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +118.82 470.09 moveto 32 (dabaa) alignedtext +grestore +% nf5694edb16d84740ad75d3c3a9dc33f4->n7734cd7f92a34a3bbb223dac592bd496 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 219.92 559.78 moveto +203.7 545.01 181.81 525.08 164.29 509.13 curveto +stroke +0 0 0 edgecolor +newpath 166.34 506.26 moveto +156.59 502.11 lineto +161.62 511.43 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 166.34 506.26 moveto +156.59 502.11 lineto +161.62 511.43 lineto +closepath stroke +grestore +% nad799597664c441f9ccedc62f06247bb +gsave +1 setlinewidth +0 0 0 nodecolor +247.82 481.29 33.88 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +234.32 485.09 moveto 27 (bdab) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +231.82 470.09 moveto 32 (dabaa) alignedtext +grestore +% nf5694edb16d84740ad75d3c3a9dc33f4->nad799597664c441f9ccedc62f06247bb +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 244.15 554.54 moveto +244.71 543.45 245.38 530.33 245.99 518.34 curveto +stroke +0 0 0 edgecolor +newpath 249.49 518.33 moveto +246.5 508.17 lineto +242.5 517.98 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 249.49 518.33 moveto +246.5 508.17 lineto +242.5 517.98 lineto +closepath stroke +grestore +% ne856116c734a46b1967bddb73c56140f +gsave +1 setlinewidth +0 0 0 nodecolor +338.82 481.29 34.8 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +322.32 485.09 moveto 33 (bdabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +322.82 470.09 moveto 32 (dabaa) alignedtext +grestore +% nd6bf8394c44b4af79b2a91534ba13317->ne856116c734a46b1967bddb73c56140f +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 338.82 554.54 moveto +338.82 543.45 338.82 530.33 338.82 518.34 curveto +stroke +0 0 0 edgecolor +newpath 342.32 518.17 moveto +338.82 508.17 lineto +335.32 518.17 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 342.32 518.17 moveto +338.82 508.17 lineto +335.32 518.17 lineto +closepath stroke +grestore +% nf51d59c7071c4725a4e961fd017fd0b6 +gsave +1 setlinewidth +0 0 0 nodecolor +46.82 370.34 29.9 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +39.82 374.14 moveto 14 (bd) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +33.82 359.14 moveto 26 (daba) alignedtext +grestore +% n7734cd7f92a34a3bbb223dac592bd496->nf51d59c7071c4725a4e961fd017fd0b6 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 117.01 458.24 moveto +103.6 441.63 85.08 418.7 70.43 400.57 curveto +stroke +0 0 0 edgecolor +newpath 73.01 398.19 moveto +64 392.61 lineto +67.56 402.59 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 73.01 398.19 moveto +64 392.61 lineto +67.56 402.59 lineto +closepath stroke +grestore +% nd7f11536d8df400d860ac372d1c3e9f8 +gsave +1 setlinewidth +0 0 0 nodecolor +134.82 370.34 29.9 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +124.82 374.14 moveto 20 (bda) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +121.82 359.14 moveto 26 (daba) alignedtext +grestore +% n7734cd7f92a34a3bbb223dac592bd496->nd7f11536d8df400d860ac372d1c3e9f8 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 134.82 454.19 moveto +134.82 440.18 134.82 422.69 134.82 407.39 curveto +stroke +0 0 0 edgecolor +newpath 138.32 407.22 moveto +134.82 397.22 lineto +131.32 407.22 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 138.32 407.22 moveto +134.82 397.22 lineto +131.32 407.22 lineto +closepath stroke +grestore +% n55c3278b1aea4bdc92b3d5eb3c09366c +gsave +1 setlinewidth +0 0 0 nodecolor +251.82 370.34 30.31 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +238.32 374.14 moveto 27 (bdab) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +238.82 359.14 moveto 26 (daba) alignedtext +grestore +% nad799597664c441f9ccedc62f06247bb->n55c3278b1aea4bdc92b3d5eb3c09366c +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 248.78 454.19 moveto +249.29 440.18 249.93 422.69 250.5 407.39 curveto +stroke +0 0 0 edgecolor +newpath 254 407.34 moveto +250.87 397.22 lineto +247 407.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 254 407.34 moveto +250.87 397.22 lineto +247 407.09 lineto +closepath stroke +grestore +% n48a2b0c66af943439d0c9767e9181c50 +gsave +1 setlinewidth +0 0 0 nodecolor +38.82 259.38 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +31.82 263.18 moveto 14 (bd) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +28.82 248.18 moveto 20 (dab) alignedtext +grestore +% nf51d59c7071c4725a4e961fd017fd0b6->n48a2b0c66af943439d0c9767e9181c50 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 44.92 343.52 moveto +43.9 329.51 42.61 311.96 41.48 296.61 curveto +stroke +0 0 0 edgecolor +newpath 44.95 296.11 moveto +40.73 286.4 lineto +37.97 296.63 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 44.95 296.11 moveto +40.73 286.4 lineto +37.97 296.63 lineto +closepath stroke +grestore +% nb1bf7b9e21a64b30a7a536a9b8649e56 +gsave +1 setlinewidth +0 0 0 nodecolor +110.82 259.38 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +103.82 263.18 moveto 14 (bd) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +100.82 248.18 moveto 20 (dab) alignedtext +grestore +% nd7f11536d8df400d860ac372d1c3e9f8->nb1bf7b9e21a64b30a7a536a9b8649e56 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 129.19 343.79 moveto +126.03 329.45 122.04 311.34 118.59 295.66 curveto +stroke +0 0 0 edgecolor +newpath 121.98 294.78 moveto +116.41 285.77 lineto +115.14 296.29 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 121.98 294.78 moveto +116.41 285.77 lineto +115.14 296.29 lineto +closepath stroke +grestore +% n115e972256cc4394a1eba134f114e4ab +gsave +1 setlinewidth +0 0 0 nodecolor +182.82 259.38 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +172.82 263.18 moveto 20 (bda) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +172.82 248.18 moveto 20 (dab) alignedtext +grestore +% nd7f11536d8df400d860ac372d1c3e9f8->n115e972256cc4394a1eba134f114e4ab +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 145.47 345.16 moveto +152.12 330.06 160.78 310.42 168.08 293.84 curveto +stroke +0 0 0 edgecolor +newpath 171.37 295.06 moveto +172.2 284.5 lineto +164.96 292.24 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 171.37 295.06 moveto +172.2 284.5 lineto +164.96 292.24 lineto +closepath stroke +grestore +% nfee98ef394994c0b9664921c73ae7882 +gsave +1 setlinewidth +0 0 0 nodecolor +33.82 148.43 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +26.82 152.23 moveto 14 (bd) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +27.32 137.23 moveto 13 (da) alignedtext +grestore +% n48a2b0c66af943439d0c9767e9181c50->nfee98ef394994c0b9664921c73ae7882 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 37.62 232.29 moveto +36.98 218.27 36.18 200.78 35.47 185.48 curveto +stroke +0 0 0 edgecolor +newpath 38.96 185.14 moveto +35.01 175.31 lineto +31.97 185.46 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 38.96 185.14 moveto +35.01 175.31 lineto +31.97 185.46 lineto +closepath stroke +grestore +% n077956a8b783437ba5a65c3fd3380e2f +gsave +1 setlinewidth +0 0 0 nodecolor +31.82 37.48 31.64 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +24.82 48.78 moveto 14 (bd) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +28.32 33.78 moveto 7 (d) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +17.32 18.78 moveto 29 (False) alignedtext +grestore +% nfee98ef394994c0b9664921c73ae7882->n077956a8b783437ba5a65c3fd3380e2f +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 33.34 121.33 moveto +33.14 110.51 32.91 97.62 32.68 85.27 curveto +stroke +0 0 0 edgecolor +newpath 36.17 85.01 moveto +32.49 75.07 lineto +29.18 85.13 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 36.17 85.01 moveto +32.49 75.07 lineto +29.18 85.13 lineto +closepath stroke +grestore +% nb0329d485ca14bfaa79caa33670a8699 +gsave +1 setlinewidth +0 0 0 nodecolor +110.82 148.43 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +103.82 152.23 moveto 14 (bd) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +104.32 137.23 moveto 13 (da) alignedtext +grestore +% nb1bf7b9e21a64b30a7a536a9b8649e56->nb0329d485ca14bfaa79caa33670a8699 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 110.82 232.29 moveto +110.82 218.27 110.82 200.78 110.82 185.48 curveto +stroke +0 0 0 edgecolor +newpath 114.32 185.31 moveto +110.82 175.31 lineto +107.32 185.31 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 114.32 185.31 moveto +110.82 175.31 lineto +107.32 185.31 lineto +closepath stroke +grestore +% na78115224d9f4e37b4045f6c30e4ceb1 +gsave +1 setlinewidth +0 0 0 nodecolor +187.82 148.43 31.64 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +177.82 159.73 moveto 20 (bda) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +181.32 144.73 moveto 13 (da) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +173.32 129.73 moveto 29 (False) alignedtext +grestore +% n115e972256cc4394a1eba134f114e4ab->na78115224d9f4e37b4045f6c30e4ceb1 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 184.02 232.29 moveto +184.51 221.47 185.11 208.57 185.67 196.22 curveto +stroke +0 0 0 edgecolor +newpath 189.18 196.17 moveto +186.14 186.02 lineto +182.19 195.85 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 189.18 196.17 moveto +186.14 186.02 lineto +182.19 195.85 lineto +closepath stroke +grestore +% ne91eaaeffb1443639b733682718f4092 +gsave +1 setlinewidth +0 0 0 nodecolor +113.82 37.48 31.64 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +106.82 48.78 moveto 14 (bd) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +110.32 33.78 moveto 7 (d) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +99.32 18.78 moveto 29 (False) alignedtext +grestore +% nb0329d485ca14bfaa79caa33670a8699->ne91eaaeffb1443639b733682718f4092 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 111.54 121.33 moveto +111.84 110.51 112.19 97.62 112.53 85.27 curveto +stroke +0 0 0 edgecolor +newpath 116.04 85.16 moveto +112.81 75.07 lineto +109.04 84.97 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 116.04 85.16 moveto +112.81 75.07 lineto +109.04 84.97 lineto +closepath stroke +grestore +% n5d2503b1d062482b898e4682240dcc78 +gsave +1 setlinewidth +0 0 0 nodecolor +259.82 259.38 31.64 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +246.32 270.68 moveto 27 (bdab) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +249.82 255.68 moveto 20 (dab) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +245.32 240.68 moveto 29 (False) alignedtext +grestore +% n55c3278b1aea4bdc92b3d5eb3c09366c->n5d2503b1d062482b898e4682240dcc78 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 253.72 343.52 moveto +254.52 332.6 255.48 319.54 256.39 307.04 curveto +stroke +0 0 0 edgecolor +newpath 259.91 306.97 moveto +257.15 296.74 lineto +252.93 306.45 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 259.91 306.97 moveto +257.15 296.74 lineto +252.93 306.45 lineto +closepath stroke +grestore +% ne0497380dcb04eb9b64499dca04e370b +gsave +1 setlinewidth +0 0 0 nodecolor +338.82 370.34 34.8 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +322.32 381.64 moveto 33 (bdabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +325.82 366.64 moveto 26 (daba) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +324.32 351.64 moveto 29 (False) alignedtext +grestore +% ne856116c734a46b1967bddb73c56140f->ne0497380dcb04eb9b64499dca04e370b +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 338.82 454.19 moveto +338.82 443.37 338.82 430.48 338.82 418.13 curveto +stroke +0 0 0 edgecolor +newpath 342.32 417.93 moveto +338.82 407.93 lineto +335.32 417.93 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 342.32 417.93 moveto +338.82 407.93 lineto +335.32 417.93 lineto +closepath stroke +grestore +% n753dfbdd86b543cbb9b246e976d31406 +gsave +1 setlinewidth +0 0 0 nodecolor +442.82 581.64 38.78 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +426.32 585.44 moveto 33 (bdabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +423.32 570.44 moveto 39 (dabaab) alignedtext +grestore +% nf7b9fd837f974551b0795d7492210e52->n753dfbdd86b543cbb9b246e976d31406 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 445.62 644.05 moveto +445.26 636.09 444.85 627.19 444.46 618.71 curveto +stroke +0 0 0 edgecolor +newpath 447.96 618.47 moveto +444.01 608.64 lineto +440.96 618.79 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 447.96 618.47 moveto +444.01 608.64 lineto +440.96 618.79 lineto +closepath stroke +grestore +% n556f3f77789b40f0b332b55e20828606 +gsave +1 setlinewidth +0 0 0 nodecolor +538.82 581.64 38.78 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +519.32 585.44 moveto 39 (bdabcc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +519.32 570.44 moveto 39 (dabaab) alignedtext +grestore +% nf7b9fd837f974551b0795d7492210e52->n556f3f77789b40f0b332b55e20828606 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 470.04 648.24 moveto +481.85 636.97 496.35 623.14 508.98 611.1 curveto +stroke +0 0 0 edgecolor +newpath 511.74 613.3 moveto +516.56 603.86 lineto +506.91 608.23 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 511.74 613.3 moveto +516.56 603.86 lineto +506.91 608.23 lineto +closepath stroke +grestore +% na21720c117704e02910b868caeddb9a9 +gsave +1 setlinewidth +0 0 0 nodecolor +442.82 481.29 34.8 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +426.32 485.09 moveto 33 (bdabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +426.82 470.09 moveto 32 (dabaa) alignedtext +grestore +% n753dfbdd86b543cbb9b246e976d31406->na21720c117704e02910b868caeddb9a9 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 442.82 554.54 moveto +442.82 543.45 442.82 530.33 442.82 518.34 curveto +stroke +0 0 0 edgecolor +newpath 446.32 518.17 moveto +442.82 508.17 lineto +439.32 518.17 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 446.32 518.17 moveto +442.82 508.17 lineto +439.32 518.17 lineto +closepath stroke +grestore +% n5b6173aea18d41f8b4a2c5ce99cc4d7a +gsave +1 setlinewidth +0 0 0 nodecolor +538.82 481.29 38.78 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +519.32 492.59 moveto 39 (bdabcc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +522.82 477.59 moveto 32 (dabaa) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +524.32 462.59 moveto 29 (False) alignedtext +grestore +% n556f3f77789b40f0b332b55e20828606->n5b6173aea18d41f8b4a2c5ce99cc4d7a +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 538.82 554.54 moveto +538.82 546.69 538.82 537.82 538.82 529.05 curveto +stroke +0 0 0 edgecolor +newpath 542.32 528.88 moveto +538.82 518.88 lineto +535.32 528.88 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 542.32 528.88 moveto +538.82 518.88 lineto +535.32 528.88 lineto +closepath stroke +grestore +% nb1bec31f0ddf4a888f941702a407906f +gsave +1 setlinewidth +0 0 0 nodecolor +442.82 370.34 34.8 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +426.32 381.64 moveto 33 (bdabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +429.82 366.64 moveto 26 (daba) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +428.32 351.64 moveto 29 (False) alignedtext +grestore +% na21720c117704e02910b868caeddb9a9->nb1bec31f0ddf4a888f941702a407906f +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 442.82 454.19 moveto +442.82 443.37 442.82 430.48 442.82 418.13 curveto +stroke +0 0 0 edgecolor +newpath 446.32 417.93 moveto +442.82 407.93 lineto +439.32 417.93 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 446.32 417.93 moveto +442.82 407.93 lineto +439.32 417.93 lineto +closepath stroke +grestore +endpage +showpage +grestore +%%PageTrailer +%%EndPage: 1 +%%Trailer +%%Pages: 1 +%%BoundingBox: 36 36 622 1011 +end +restore +%%EOF diff --git a/09-resolving-the-bill/gt.dot b/09-resolving-the-bill/gt.dot new file mode 100644 index 0000000..a60fdc8 --- /dev/null +++ b/09-resolving-the-bill/gt.dot @@ -0,0 +1,84 @@ +digraph G { + +nd5092f0e2ba047ba9b662e17a650791a [label="daabcc\ndabaabcacb"]; +nd5092f0e2ba047ba9b662e17a650791a -> nc243f60568164ba495d5f89dc1075a85; +nc243f60568164ba495d5f89dc1075a85 [label="daabcc\ndabaabcac"]; +nc243f60568164ba495d5f89dc1075a85 -> n933e3a2ebca34034866b98ab19ee3f90; +nc243f60568164ba495d5f89dc1075a85 -> n3c49af7ea69340f2a97827a0547f73db; +n933e3a2ebca34034866b98ab19ee3f90 [label="daabc\ndabaabca"]; +n933e3a2ebca34034866b98ab19ee3f90 -> n8d50442e9d704d7a8e9f0ba2f38e73fc; +n8d50442e9d704d7a8e9f0ba2f38e73fc [label="daabc\ndabaabc"]; +n8d50442e9d704d7a8e9f0ba2f38e73fc -> n942c205bd0994681bf159f01fc42d0f5; +n8d50442e9d704d7a8e9f0ba2f38e73fc -> n8aab1aa30e494cef8895ff177a1d0623; +n942c205bd0994681bf159f01fc42d0f5 [label="daab\ndabaab"]; +n942c205bd0994681bf159f01fc42d0f5 -> na797ca966ed045d5a14888ef06ae64ba; +n942c205bd0994681bf159f01fc42d0f5 -> nd7ea02b3fb6348e49929c458903e1c66; +na797ca966ed045d5a14888ef06ae64ba [label="daa\ndabaa"]; +na797ca966ed045d5a14888ef06ae64ba -> nfc8f27c7ea3b45f69d3e28ff7397c211; +na797ca966ed045d5a14888ef06ae64ba -> nfc96ed80812342958197f351bf4bb6c4; +nfc8f27c7ea3b45f69d3e28ff7397c211 [label="da\ndaba"]; +nfc8f27c7ea3b45f69d3e28ff7397c211 -> n0fba1674138c4ee2a437ec3bfe3c0c34; +nfc8f27c7ea3b45f69d3e28ff7397c211 -> n214435af4c204b2bac186c6bc7fd4b43; +n0fba1674138c4ee2a437ec3bfe3c0c34 [label="d\ndab"]; +n0fba1674138c4ee2a437ec3bfe3c0c34 -> nbbbca27c4d794d3396c58908f36ad8b1; +nbbbca27c4d794d3396c58908f36ad8b1 [label="d\nda"]; +nbbbca27c4d794d3396c58908f36ad8b1 -> n4a39eb3283ba4896bd0ae98e695a5e78; +n4a39eb3283ba4896bd0ae98e695a5e78 [label="d\nd"]; +n4a39eb3283ba4896bd0ae98e695a5e78 -> n0f69ba31cb9341b8a0e01b58e94ecc3e; +n4a39eb3283ba4896bd0ae98e695a5e78 -> n01a1efd1fe0148409aa9ae19a57a1c11; +n0f69ba31cb9341b8a0e01b58e94ecc3e [label="-\n\nTrue"]; +n01a1efd1fe0148409aa9ae19a57a1c11 [label="d\n\nFalse"]; +n214435af4c204b2bac186c6bc7fd4b43 [label="da\ndab"]; +n214435af4c204b2bac186c6bc7fd4b43 -> n7f75729c74d944199866bc8242166a15; +n7f75729c74d944199866bc8242166a15 [label="da\nda"]; +n7f75729c74d944199866bc8242166a15 -> nfe2ac3cf290844a686eb20c8a1419632; +n7f75729c74d944199866bc8242166a15 -> n99dabcab19424f76aade00e10b247e28; +nfe2ac3cf290844a686eb20c8a1419632 [label="d\nd"]; +nfe2ac3cf290844a686eb20c8a1419632 -> n4ef4c358f84b44f0816ee6c23bc87c23; +nfe2ac3cf290844a686eb20c8a1419632 -> n0fcf711c28b84e869cd5b1ad29147b79; +n4ef4c358f84b44f0816ee6c23bc87c23 [label="-\n\nTrue"]; +n0fcf711c28b84e869cd5b1ad29147b79 [label="d\n\nFalse"]; +n99dabcab19424f76aade00e10b247e28 [label="da\nd\nFalse"]; +nfc96ed80812342958197f351bf4bb6c4 [label="daa\ndaba"]; +nfc96ed80812342958197f351bf4bb6c4 -> n6f68fb9a9f774752ada474efa377f60e; +nfc96ed80812342958197f351bf4bb6c4 -> ne0abe88f3d764703a75eed757cc316bf; +n6f68fb9a9f774752ada474efa377f60e [label="da\ndab"]; +n6f68fb9a9f774752ada474efa377f60e -> n9c89649fee58407db0ff5d0ba2eb4f2d; +n9c89649fee58407db0ff5d0ba2eb4f2d [label="da\nda"]; +n9c89649fee58407db0ff5d0ba2eb4f2d -> n34738b8c332d4e559f9aa7c7eec42e72; +n9c89649fee58407db0ff5d0ba2eb4f2d -> n446a9bd7fa264edcb2bf289b4fe55f71; +n34738b8c332d4e559f9aa7c7eec42e72 [label="d\nd"]; +n34738b8c332d4e559f9aa7c7eec42e72 -> n73e44dd0c7f248a3bd4aa11de6040c5f; +n34738b8c332d4e559f9aa7c7eec42e72 -> n7af9d67feb864b8ea552f84d64b3e610; +n73e44dd0c7f248a3bd4aa11de6040c5f [label="-\n\nTrue"]; +n7af9d67feb864b8ea552f84d64b3e610 [label="d\n\nFalse"]; +n446a9bd7fa264edcb2bf289b4fe55f71 [label="da\nd\nFalse"]; +ne0abe88f3d764703a75eed757cc316bf [label="daa\ndab"]; +ne0abe88f3d764703a75eed757cc316bf -> n639c085cdfa84e26a754dd4aa56a044e; +n639c085cdfa84e26a754dd4aa56a044e [label="daa\nda\nFalse"]; +nd7ea02b3fb6348e49929c458903e1c66 [label="daab\ndabaa"]; +nd7ea02b3fb6348e49929c458903e1c66 -> nbfa7d3dbec204c328749c3db14b668ea; +nbfa7d3dbec204c328749c3db14b668ea [label="daab\ndaba"]; +nbfa7d3dbec204c328749c3db14b668ea -> nabacc0aef05041c5998655b5e68b6d94; +nabacc0aef05041c5998655b5e68b6d94 [label="daab\ndab\nFalse"]; +n8aab1aa30e494cef8895ff177a1d0623 [label="daabc\ndabaab"]; +n8aab1aa30e494cef8895ff177a1d0623 -> nd04c429a65b74db8902b1a2725254549; +nd04c429a65b74db8902b1a2725254549 [label="daabc\ndabaa"]; +nd04c429a65b74db8902b1a2725254549 -> nff340dd0af774bf0818a959dad441b84; +nff340dd0af774bf0818a959dad441b84 [label="daabc\ndaba\nFalse"]; +n3c49af7ea69340f2a97827a0547f73db [label="daabcc\ndabaabca"]; +n3c49af7ea69340f2a97827a0547f73db -> n5f1bfeaf12e247d9bc9ca4641cb72fb5; +n5f1bfeaf12e247d9bc9ca4641cb72fb5 [label="daabcc\ndabaabc"]; +n5f1bfeaf12e247d9bc9ca4641cb72fb5 -> na504494b1bc842bd800600c18478723a; +n5f1bfeaf12e247d9bc9ca4641cb72fb5 -> n13e17edfcd5a4128996ba5dd2473f244; +na504494b1bc842bd800600c18478723a [label="daabc\ndabaab"]; +na504494b1bc842bd800600c18478723a -> n78a73478b48c43d594e6a04a79c61946; +n78a73478b48c43d594e6a04a79c61946 [label="daabc\ndabaa"]; +n78a73478b48c43d594e6a04a79c61946 -> na3c9f1e44c6546ba9b4c49c48ae842ba; +na3c9f1e44c6546ba9b4c49c48ae842ba [label="daabc\ndaba\nFalse"]; +n13e17edfcd5a4128996ba5dd2473f244 [label="daabcc\ndabaab"]; +n13e17edfcd5a4128996ba5dd2473f244 -> n5624db7a63c643bcafb2ba6797348bba; +n5624db7a63c643bcafb2ba6797348bba [label="daabcc\ndabaa\nFalse"]; + + +} diff --git a/09-resolving-the-bill/gt.dot.png b/09-resolving-the-bill/gt.dot.png new file mode 100644 index 0000000..23a3ce3 Binary files /dev/null and b/09-resolving-the-bill/gt.dot.png differ diff --git a/09-resolving-the-bill/gt.dot.ps b/09-resolving-the-bill/gt.dot.ps new file mode 100644 index 0000000..a235a9b --- /dev/null +++ b/09-resolving-the-bill/gt.dot.ps @@ -0,0 +1,1479 @@ +%!PS-Adobe-3.0 +%%Creator: graphviz version 2.38.0 (20140413.2041) +%%Title: G +%%Pages: (atend) +%%BoundingBox: (atend) +%%EndComments +save +%%BeginProlog +/DotDict 200 dict def +DotDict begin + +/setupLatin1 { +mark +/EncodingVector 256 array def + EncodingVector 0 + +ISOLatin1Encoding 0 255 getinterval putinterval +EncodingVector 45 /hyphen put + +% Set up ISO Latin 1 character encoding +/starnetISO { + dup dup findfont dup length dict begin + { 1 index /FID ne { def }{ pop pop } ifelse + } forall + /Encoding EncodingVector def + currentdict end definefont +} def +/Times-Roman starnetISO def +/Times-Italic starnetISO def +/Times-Bold starnetISO def +/Times-BoldItalic starnetISO def +/Helvetica starnetISO def +/Helvetica-Oblique starnetISO def +/Helvetica-Bold starnetISO def +/Helvetica-BoldOblique starnetISO def +/Courier starnetISO def +/Courier-Oblique starnetISO def +/Courier-Bold starnetISO def +/Courier-BoldOblique starnetISO def +cleartomark +} bind def + +%%BeginResource: procset graphviz 0 0 +/coord-font-family /Times-Roman def +/default-font-family /Times-Roman def +/coordfont coord-font-family findfont 8 scalefont def + +/InvScaleFactor 1.0 def +/set_scale { + dup 1 exch div /InvScaleFactor exch def + scale +} bind def + +% styles +/solid { [] 0 setdash } bind def +/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def +/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def +/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def +/bold { 2 setlinewidth } bind def +/filled { } bind def +/unfilled { } bind def +/rounded { } bind def +/diagonals { } bind def +/tapered { } bind def + +% hooks for setting color +/nodecolor { sethsbcolor } bind def +/edgecolor { sethsbcolor } bind def +/graphcolor { sethsbcolor } bind def +/nopcolor {pop pop pop} bind def + +/beginpage { % i j npages + /npages exch def + /j exch def + /i exch def + /str 10 string def + npages 1 gt { + gsave + coordfont setfont + 0 0 moveto + (\() show i str cvs show (,) show j str cvs show (\)) show + grestore + } if +} bind def + +/set_font { + findfont exch + scalefont setfont +} def + +% draw text fitted to its expected width +/alignedtext { % width text + /text exch def + /width exch def + gsave + width 0 gt { + [] 0 setdash + text stringwidth pop width exch sub text length div 0 text ashow + } if + grestore +} def + +/boxprim { % xcorner ycorner xsize ysize + 4 2 roll + moveto + 2 copy + exch 0 rlineto + 0 exch rlineto + pop neg 0 rlineto + closepath +} bind def + +/ellipse_path { + /ry exch def + /rx exch def + /y exch def + /x exch def + matrix currentmatrix + newpath + x y translate + rx ry scale + 0 0 1 0 360 arc + setmatrix +} bind def + +/endpage { showpage } bind def +/showpage { } def + +/layercolorseq + [ % layer color sequence - darkest to lightest + [0 0 0] + [.2 .8 .8] + [.4 .8 .8] + [.6 .8 .8] + [.8 .8 .8] + ] +def + +/layerlen layercolorseq length def + +/setlayer {/maxlayer exch def /curlayer exch def + layercolorseq curlayer 1 sub layerlen mod get + aload pop sethsbcolor + /nodecolor {nopcolor} def + /edgecolor {nopcolor} def + /graphcolor {nopcolor} def +} bind def + +/onlayer { curlayer ne {invis} if } def + +/onlayers { + /myupper exch def + /mylower exch def + curlayer mylower lt + curlayer myupper gt + or + {invis} if +} def + +/curlayer 0 def + +%%EndResource +%%EndProlog +%%BeginSetup +14 default-font-family set_font +1 setmiterlimit +% /arrowlength 10 def +% /arrowwidth 5 def + +% make sure pdfmark is harmless for PS-interpreters other than Distiller +/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse +% make '<<' and '>>' safe on PS Level 1 devices +/languagelevel where {pop languagelevel}{1} ifelse +2 lt { + userdict (<<) cvn ([) cvn load put + userdict (>>) cvn ([) cvn load put +} if + +%%EndSetup +setupLatin1 +%%Page: 1 1 +%%PageBoundingBox: 36 36 853 1124 +%%PageOrientation: Portrait +0 0 1 beginpage +gsave +36 36 817 1088 boxprim clip newpath +1 1 set_scale 0 rotate 40 40 translate +% nd5092f0e2ba047ba9b662e17a650791a +gsave +1 setlinewidth +0 0 0 nodecolor +620.7 1052.96 56.64 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +601.7 1056.76 moveto 38 (daabcc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +588.7 1041.76 moveto 64 (dabaabcacb) alignedtext +grestore +% nc243f60568164ba495d5f89dc1075a85 +gsave +1 setlinewidth +0 0 0 nodecolor +620.7 963.22 51.74 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +601.7 967.02 moveto 38 (daabcc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +592.2 952.02 moveto 57 (dabaabcac) alignedtext +grestore +% nd5092f0e2ba047ba9b662e17a650791a->nc243f60568164ba495d5f89dc1075a85 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 620.7 1025.64 moveto +620.7 1017.67 620.7 1008.78 620.7 1000.29 curveto +stroke +0 0 0 edgecolor +newpath 624.2 1000.23 moveto +620.7 990.23 lineto +617.2 1000.23 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 624.2 1000.23 moveto +620.7 990.23 lineto +617.2 1000.23 lineto +closepath stroke +grestore +% n933e3a2ebca34034866b98ab19ee3f90 +gsave +1 setlinewidth +0 0 0 nodecolor +564.7 873.48 47.25 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +548.7 877.28 moveto 32 (daabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +539.2 862.28 moveto 51 (dabaabca) alignedtext +grestore +% nc243f60568164ba495d5f89dc1075a85->n933e3a2ebca34034866b98ab19ee3f90 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 604.8 937.32 moveto +598.96 928.16 592.24 917.64 586 907.86 curveto +stroke +0 0 0 edgecolor +newpath 588.77 905.7 moveto +580.44 899.15 lineto +582.87 909.46 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 588.77 905.7 moveto +580.44 899.15 lineto +582.87 909.46 lineto +closepath stroke +grestore +% n3c49af7ea69340f2a97827a0547f73db +gsave +1 setlinewidth +0 0 0 nodecolor +677.7 873.48 47.25 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +658.7 877.28 moveto 38 (daabcc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +652.2 862.28 moveto 51 (dabaabca) alignedtext +grestore +% nc243f60568164ba495d5f89dc1075a85->n3c49af7ea69340f2a97827a0547f73db +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 636.88 937.32 moveto +642.94 927.99 649.92 917.25 656.37 907.31 curveto +stroke +0 0 0 edgecolor +newpath 659.36 909.14 moveto +661.87 898.85 lineto +653.49 905.33 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 659.36 909.14 moveto +661.87 898.85 lineto +653.49 905.33 lineto +closepath stroke +grestore +% n8d50442e9d704d7a8e9f0ba2f38e73fc +gsave +1 setlinewidth +0 0 0 nodecolor +564.7 783.74 43.27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +548.7 787.54 moveto 32 (daabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +542.2 772.54 moveto 45 (dabaabc) alignedtext +grestore +% n933e3a2ebca34034866b98ab19ee3f90->n8d50442e9d704d7a8e9f0ba2f38e73fc +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 564.7 846.16 moveto +564.7 838.19 564.7 829.3 564.7 820.81 curveto +stroke +0 0 0 edgecolor +newpath 568.2 820.75 moveto +564.7 810.75 lineto +561.2 820.75 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 568.2 820.75 moveto +564.7 810.75 lineto +561.2 820.75 lineto +closepath stroke +grestore +% n5f1bfeaf12e247d9bc9ca4641cb72fb5 +gsave +1 setlinewidth +0 0 0 nodecolor +677.7 783.74 43.27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +658.7 787.54 moveto 38 (daabcc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +655.2 772.54 moveto 45 (dabaabc) alignedtext +grestore +% n3c49af7ea69340f2a97827a0547f73db->n5f1bfeaf12e247d9bc9ca4641cb72fb5 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 677.7 846.16 moveto +677.7 838.19 677.7 829.3 677.7 820.81 curveto +stroke +0 0 0 edgecolor +newpath 681.2 820.75 moveto +677.7 810.75 lineto +674.2 820.75 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 681.2 820.75 moveto +677.7 810.75 lineto +674.2 820.75 lineto +closepath stroke +grestore +% n942c205bd0994681bf159f01fc42d0f5 +gsave +1 setlinewidth +0 0 0 nodecolor +473.7 694 38.78 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +460.7 697.8 moveto 26 (daab) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +454.2 682.8 moveto 39 (dabaab) alignedtext +grestore +% n8d50442e9d704d7a8e9f0ba2f38e73fc->n942c205bd0994681bf159f01fc42d0f5 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 541.74 760.6 moveto +530.05 749.34 515.71 735.51 503.21 723.46 curveto +stroke +0 0 0 edgecolor +newpath 505.34 720.65 moveto +495.71 716.23 lineto +500.48 725.69 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 505.34 720.65 moveto +495.71 716.23 lineto +500.48 725.69 lineto +closepath stroke +grestore +% n8aab1aa30e494cef8895ff177a1d0623 +gsave +1 setlinewidth +0 0 0 nodecolor +569.7 694 38.78 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +553.7 697.8 moveto 32 (daabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +550.2 682.8 moveto 39 (dabaab) alignedtext +grestore +% n8d50442e9d704d7a8e9f0ba2f38e73fc->n8aab1aa30e494cef8895ff177a1d0623 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 566.2 756.42 moveto +566.65 748.45 567.16 739.56 567.64 731.07 curveto +stroke +0 0 0 edgecolor +newpath 571.14 731.19 moveto +568.22 721.01 lineto +564.15 730.79 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 571.14 731.19 moveto +568.22 721.01 lineto +564.15 730.79 lineto +closepath stroke +grestore +% na797ca966ed045d5a14888ef06ae64ba +gsave +1 setlinewidth +0 0 0 nodecolor +363.7 593.66 33.88 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +354.2 597.46 moveto 19 (daa) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +347.7 582.46 moveto 32 (dabaa) alignedtext +grestore +% n942c205bd0994681bf159f01fc42d0f5->na797ca966ed045d5a14888ef06ae64ba +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 450.37 672.15 moveto +433.85 657.38 411.56 637.45 393.72 621.49 curveto +stroke +0 0 0 edgecolor +newpath 395.66 618.53 moveto +385.87 614.48 lineto +390.99 623.75 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 395.66 618.53 moveto +385.87 614.48 lineto +390.99 623.75 lineto +closepath stroke +grestore +% nd7ea02b3fb6348e49929c458903e1c66 +gsave +1 setlinewidth +0 0 0 nodecolor +478.7 593.66 33.88 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +465.7 597.46 moveto 26 (daab) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +462.7 582.46 moveto 32 (dabaa) alignedtext +grestore +% n942c205bd0994681bf159f01fc42d0f5->nd7ea02b3fb6348e49929c458903e1c66 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 475.03 666.91 moveto +475.59 655.82 476.26 642.7 476.87 630.71 curveto +stroke +0 0 0 edgecolor +newpath 480.37 630.7 moveto +477.38 620.54 lineto +473.38 630.34 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 480.37 630.7 moveto +477.38 620.54 lineto +473.38 630.34 lineto +closepath stroke +grestore +% nd04c429a65b74db8902b1a2725254549 +gsave +1 setlinewidth +0 0 0 nodecolor +569.7 593.66 33.88 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +553.7 597.46 moveto 32 (daabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +553.7 582.46 moveto 32 (dabaa) alignedtext +grestore +% n8aab1aa30e494cef8895ff177a1d0623->nd04c429a65b74db8902b1a2725254549 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 569.7 666.91 moveto +569.7 655.82 569.7 642.7 569.7 630.71 curveto +stroke +0 0 0 edgecolor +newpath 573.2 630.54 moveto +569.7 620.54 lineto +566.2 630.54 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 573.2 630.54 moveto +569.7 620.54 lineto +566.2 630.54 lineto +closepath stroke +grestore +% nfc8f27c7ea3b45f69d3e28ff7397c211 +gsave +1 setlinewidth +0 0 0 nodecolor +230.7 482.7 29.9 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +224.2 486.5 moveto 13 (da) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +217.7 471.5 moveto 26 (daba) alignedtext +grestore +% na797ca966ed045d5a14888ef06ae64ba->nfc8f27c7ea3b45f69d3e28ff7397c211 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 340.53 573.68 moveto +318.2 555.38 284.32 527.63 260.09 507.78 curveto +stroke +0 0 0 edgecolor +newpath 262.23 505.01 moveto +252.28 501.38 lineto +257.8 510.43 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 262.23 505.01 moveto +252.28 501.38 lineto +257.8 510.43 lineto +closepath stroke +grestore +% nfc96ed80812342958197f351bf4bb6c4 +gsave +1 setlinewidth +0 0 0 nodecolor +363.7 482.7 29.9 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +354.2 486.5 moveto 19 (daa) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +350.7 471.5 moveto 26 (daba) alignedtext +grestore +% na797ca966ed045d5a14888ef06ae64ba->nfc96ed80812342958197f351bf4bb6c4 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 363.7 566.56 moveto +363.7 552.55 363.7 535.05 363.7 519.76 curveto +stroke +0 0 0 edgecolor +newpath 367.2 519.59 moveto +363.7 509.59 lineto +360.2 519.59 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 367.2 519.59 moveto +363.7 509.59 lineto +360.2 519.59 lineto +closepath stroke +grestore +% nbfa7d3dbec204c328749c3db14b668ea +gsave +1 setlinewidth +0 0 0 nodecolor +483.7 482.7 29.9 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +470.7 486.5 moveto 26 (daab) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +470.7 471.5 moveto 26 (daba) alignedtext +grestore +% nd7ea02b3fb6348e49929c458903e1c66->nbfa7d3dbec204c328749c3db14b668ea +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 479.9 566.56 moveto +480.54 552.55 481.34 535.05 482.04 519.76 curveto +stroke +0 0 0 edgecolor +newpath 485.55 519.74 moveto +482.51 509.59 lineto +478.56 519.42 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 485.55 519.74 moveto +482.51 509.59 lineto +478.56 519.42 lineto +closepath stroke +grestore +% n0fba1674138c4ee2a437ec3bfe3c0c34 +gsave +1 setlinewidth +0 0 0 nodecolor +115.7 371.75 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +112.2 375.55 moveto 7 (d) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +105.7 360.55 moveto 20 (dab) alignedtext +grestore +% nfc8f27c7ea3b45f69d3e28ff7397c211->n0fba1674138c4ee2a437ec3bfe3c0c34 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 210.67 462.73 moveto +191.75 444.81 163.26 417.81 142.42 398.07 curveto +stroke +0 0 0 edgecolor +newpath 144.78 395.49 moveto +135.12 391.15 lineto +139.97 400.57 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 144.78 395.49 moveto +135.12 391.15 lineto +139.97 400.57 lineto +closepath stroke +grestore +% n214435af4c204b2bac186c6bc7fd4b43 +gsave +1 setlinewidth +0 0 0 nodecolor +230.7 371.75 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +224.2 375.55 moveto 13 (da) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +220.7 360.55 moveto 20 (dab) alignedtext +grestore +% nfc8f27c7ea3b45f69d3e28ff7397c211->n214435af4c204b2bac186c6bc7fd4b43 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 230.7 455.61 moveto +230.7 441.59 230.7 424.1 230.7 408.8 curveto +stroke +0 0 0 edgecolor +newpath 234.2 408.63 moveto +230.7 398.63 lineto +227.2 408.63 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 234.2 408.63 moveto +230.7 398.63 lineto +227.2 408.63 lineto +closepath stroke +grestore +% n6f68fb9a9f774752ada474efa377f60e +gsave +1 setlinewidth +0 0 0 nodecolor +349.7 371.75 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +343.2 375.55 moveto 13 (da) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +339.7 360.55 moveto 20 (dab) alignedtext +grestore +% nfc96ed80812342958197f351bf4bb6c4->n6f68fb9a9f774752ada474efa377f60e +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 360.38 455.88 moveto +358.58 441.87 356.33 424.33 354.35 408.97 curveto +stroke +0 0 0 edgecolor +newpath 357.79 408.24 moveto +353.04 398.76 lineto +350.84 409.13 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 357.79 408.24 moveto +353.04 398.76 lineto +350.84 409.13 lineto +closepath stroke +grestore +% ne0abe88f3d764703a75eed757cc316bf +gsave +1 setlinewidth +0 0 0 nodecolor +421.7 371.75 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +412.2 375.55 moveto 19 (daa) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +411.7 360.55 moveto 20 (dab) alignedtext +grestore +% nfc96ed80812342958197f351bf4bb6c4->ne0abe88f3d764703a75eed757cc316bf +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 376.28 458.06 moveto +384.55 442.54 395.47 422.03 404.52 405.01 curveto +stroke +0 0 0 edgecolor +newpath 407.73 406.44 moveto +409.34 395.97 lineto +401.55 403.15 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 407.73 406.44 moveto +409.34 395.97 lineto +401.55 403.15 lineto +closepath stroke +grestore +% nbbbca27c4d794d3396c58908f36ad8b1 +gsave +1 setlinewidth +0 0 0 nodecolor +111.7 260.8 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +108.2 264.6 moveto 7 (d) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +105.2 249.6 moveto 13 (da) alignedtext +grestore +% n0fba1674138c4ee2a437ec3bfe3c0c34->nbbbca27c4d794d3396c58908f36ad8b1 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 114.74 344.65 moveto +114.23 330.64 113.58 313.15 113.02 297.85 curveto +stroke +0 0 0 edgecolor +newpath 116.51 297.55 moveto +112.65 287.68 lineto +109.52 297.8 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 116.51 297.55 moveto +112.65 287.68 lineto +109.52 297.8 lineto +closepath stroke +grestore +% n7f75729c74d944199866bc8242166a15 +gsave +1 setlinewidth +0 0 0 nodecolor +230.7 260.8 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +224.2 264.6 moveto 13 (da) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +224.2 249.6 moveto 13 (da) alignedtext +grestore +% n214435af4c204b2bac186c6bc7fd4b43->n7f75729c74d944199866bc8242166a15 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 230.7 344.65 moveto +230.7 330.64 230.7 313.15 230.7 297.85 curveto +stroke +0 0 0 edgecolor +newpath 234.2 297.68 moveto +230.7 287.68 lineto +227.2 297.68 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 234.2 297.68 moveto +230.7 287.68 lineto +227.2 297.68 lineto +closepath stroke +grestore +% n4a39eb3283ba4896bd0ae98e695a5e78 +gsave +1 setlinewidth +0 0 0 nodecolor +109.7 149.84 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +106.2 153.64 moveto 7 (d) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +106.2 138.64 moveto 7 (d) alignedtext +grestore +% nbbbca27c4d794d3396c58908f36ad8b1->n4a39eb3283ba4896bd0ae98e695a5e78 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 111.22 233.7 moveto +110.96 219.69 110.64 202.19 110.36 186.9 curveto +stroke +0 0 0 edgecolor +newpath 113.86 186.66 moveto +110.17 176.73 lineto +106.86 186.79 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 113.86 186.66 moveto +110.17 176.73 lineto +106.86 186.79 lineto +closepath stroke +grestore +% n0f69ba31cb9341b8a0e01b58e94ecc3e +gsave +1 setlinewidth +0 0 0 nodecolor +29.7 38.18 29.9 38.37 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +27.2 49.98 moveto 5 (-) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +16.7 18.98 moveto 26 (True) alignedtext +grestore +% n4a39eb3283ba4896bd0ae98e695a5e78->n0f69ba31cb9341b8a0e01b58e94ecc3e +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 94.27 127.7 moveto +83.35 112.72 68.43 92.27 55.68 74.8 curveto +stroke +0 0 0 edgecolor +newpath 58.35 72.52 moveto +49.63 66.5 lineto +52.69 76.64 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 58.35 72.52 moveto +49.63 66.5 lineto +52.69 76.64 lineto +closepath stroke +grestore +% n01a1efd1fe0148409aa9ae19a57a1c11 +gsave +1 setlinewidth +0 0 0 nodecolor +109.7 38.18 31.64 38.37 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +106.2 49.98 moveto 7 (d) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +95.2 18.98 moveto 29 (False) alignedtext +grestore +% n4a39eb3283ba4896bd0ae98e695a5e78->n01a1efd1fe0148409aa9ae19a57a1c11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 109.7 122.86 moveto +109.7 112.07 109.7 99.2 109.7 86.83 curveto +stroke +0 0 0 edgecolor +newpath 113.2 86.61 moveto +109.7 76.61 lineto +106.2 86.61 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 113.2 86.61 moveto +109.7 76.61 lineto +106.2 86.61 lineto +closepath stroke +grestore +% nfe2ac3cf290844a686eb20c8a1419632 +gsave +1 setlinewidth +0 0 0 nodecolor +192.7 149.84 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +189.2 153.64 moveto 7 (d) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +189.2 138.64 moveto 7 (d) alignedtext +grestore +% n7f75729c74d944199866bc8242166a15->nfe2ac3cf290844a686eb20c8a1419632 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 222.08 235.07 moveto +216.93 220.31 210.31 201.33 204.66 185.14 curveto +stroke +0 0 0 edgecolor +newpath 207.89 183.76 moveto +201.29 175.47 lineto +201.28 186.06 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 207.89 183.76 moveto +201.29 175.47 lineto +201.28 186.06 lineto +closepath stroke +grestore +% n99dabcab19424f76aade00e10b247e28 +gsave +1 setlinewidth +0 0 0 nodecolor +269.7 149.84 31.64 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +263.2 161.14 moveto 13 (da) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +266.2 146.14 moveto 7 (d) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +255.2 131.14 moveto 29 (False) alignedtext +grestore +% n7f75729c74d944199866bc8242166a15->n99dabcab19424f76aade00e10b247e28 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 239.45 235.35 moveto +243.79 223.21 249.17 208.19 254.18 194.19 curveto +stroke +0 0 0 edgecolor +newpath 257.5 195.31 moveto +257.57 184.71 lineto +250.91 192.95 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 257.5 195.31 moveto +257.57 184.71 lineto +250.91 192.95 lineto +closepath stroke +grestore +% n4ef4c358f84b44f0816ee6c23bc87c23 +gsave +1 setlinewidth +0 0 0 nodecolor +189.7 38.18 29.9 38.37 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +187.2 49.98 moveto 5 (-) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +176.7 18.98 moveto 26 (True) alignedtext +grestore +% nfe2ac3cf290844a686eb20c8a1419632->n4ef4c358f84b44f0816ee6c23bc87c23 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 191.99 122.86 moveto +191.69 112.07 191.34 99.2 191 86.83 curveto +stroke +0 0 0 edgecolor +newpath 194.49 86.51 moveto +190.72 76.61 lineto +187.5 86.7 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 194.49 86.51 moveto +190.72 76.61 lineto +187.5 86.7 lineto +closepath stroke +grestore +% n0fcf711c28b84e869cd5b1ad29147b79 +gsave +1 setlinewidth +0 0 0 nodecolor +269.7 38.18 31.64 38.37 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +266.2 49.98 moveto 7 (d) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +255.2 18.98 moveto 29 (False) alignedtext +grestore +% nfe2ac3cf290844a686eb20c8a1419632->n0fcf711c28b84e869cd5b1ad29147b79 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 207.73 127.44 moveto +217.87 113 231.51 93.57 243.42 76.61 curveto +stroke +0 0 0 edgecolor +newpath 246.58 78.2 moveto +249.46 68 lineto +240.85 74.18 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 246.58 78.2 moveto +249.46 68 lineto +240.85 74.18 lineto +closepath stroke +grestore +% n9c89649fee58407db0ff5d0ba2eb4f2d +gsave +1 setlinewidth +0 0 0 nodecolor +349.7 260.8 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +343.2 264.6 moveto 13 (da) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +343.2 249.6 moveto 13 (da) alignedtext +grestore +% n6f68fb9a9f774752ada474efa377f60e->n9c89649fee58407db0ff5d0ba2eb4f2d +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 349.7 344.65 moveto +349.7 330.64 349.7 313.15 349.7 297.85 curveto +stroke +0 0 0 edgecolor +newpath 353.2 297.68 moveto +349.7 287.68 lineto +346.2 297.68 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 353.2 297.68 moveto +349.7 287.68 lineto +346.2 297.68 lineto +closepath stroke +grestore +% n639c085cdfa84e26a754dd4aa56a044e +gsave +1 setlinewidth +0 0 0 nodecolor +426.7 260.8 31.64 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +417.2 272.1 moveto 19 (daa) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +420.2 257.1 moveto 13 (da) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +412.2 242.1 moveto 29 (False) alignedtext +grestore +% ne0abe88f3d764703a75eed757cc316bf->n639c085cdfa84e26a754dd4aa56a044e +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 422.9 344.65 moveto +423.39 333.83 423.98 320.94 424.55 308.59 curveto +stroke +0 0 0 edgecolor +newpath 428.06 308.54 moveto +425.02 298.39 lineto +421.06 308.22 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 428.06 308.54 moveto +425.02 298.39 lineto +421.06 308.22 lineto +closepath stroke +grestore +% n34738b8c332d4e559f9aa7c7eec42e72 +gsave +1 setlinewidth +0 0 0 nodecolor +349.7 149.84 27 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +346.2 153.64 moveto 7 (d) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +346.2 138.64 moveto 7 (d) alignedtext +grestore +% n9c89649fee58407db0ff5d0ba2eb4f2d->n34738b8c332d4e559f9aa7c7eec42e72 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 349.7 233.7 moveto +349.7 219.69 349.7 202.19 349.7 186.9 curveto +stroke +0 0 0 edgecolor +newpath 353.2 186.73 moveto +349.7 176.73 lineto +346.2 186.73 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 353.2 186.73 moveto +349.7 176.73 lineto +346.2 186.73 lineto +closepath stroke +grestore +% n446a9bd7fa264edcb2bf289b4fe55f71 +gsave +1 setlinewidth +0 0 0 nodecolor +426.7 149.84 31.64 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +420.2 161.14 moveto 13 (da) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +423.2 146.14 moveto 7 (d) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +412.2 131.14 moveto 29 (False) alignedtext +grestore +% n9c89649fee58407db0ff5d0ba2eb4f2d->n446a9bd7fa264edcb2bf289b4fe55f71 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 364.91 238.27 moveto +375.06 223.91 388.67 204.65 400.54 187.86 curveto +stroke +0 0 0 edgecolor +newpath 403.64 189.53 moveto +406.56 179.35 lineto +397.93 185.49 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 403.64 189.53 moveto +406.56 179.35 lineto +397.93 185.49 lineto +closepath stroke +grestore +% n73e44dd0c7f248a3bd4aa11de6040c5f +gsave +1 setlinewidth +0 0 0 nodecolor +349.7 38.18 29.9 38.37 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +347.2 49.98 moveto 5 (-) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +336.7 18.98 moveto 26 (True) alignedtext +grestore +% n34738b8c332d4e559f9aa7c7eec42e72->n73e44dd0c7f248a3bd4aa11de6040c5f +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 349.7 122.86 moveto +349.7 112.07 349.7 99.2 349.7 86.83 curveto +stroke +0 0 0 edgecolor +newpath 353.2 86.61 moveto +349.7 76.61 lineto +346.2 86.61 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 353.2 86.61 moveto +349.7 76.61 lineto +346.2 86.61 lineto +closepath stroke +grestore +% n7af9d67feb864b8ea552f84d64b3e610 +gsave +1 setlinewidth +0 0 0 nodecolor +429.7 38.18 31.64 38.37 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +426.2 49.98 moveto 7 (d) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +415.2 18.98 moveto 29 (False) alignedtext +grestore +% n34738b8c332d4e559f9aa7c7eec42e72->n7af9d67feb864b8ea552f84d64b3e610 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 365.12 127.7 moveto +375.81 113.05 390.33 93.15 402.89 75.93 curveto +stroke +0 0 0 edgecolor +newpath 405.81 77.87 moveto +408.88 67.73 lineto +400.15 73.74 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 405.81 77.87 moveto +408.88 67.73 lineto +400.15 73.74 lineto +closepath stroke +grestore +% nabacc0aef05041c5998655b5e68b6d94 +gsave +1 setlinewidth +0 0 0 nodecolor +498.7 371.75 31.64 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +485.7 383.05 moveto 26 (daab) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +488.7 368.05 moveto 20 (dab) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +484.2 353.05 moveto 29 (False) alignedtext +grestore +% nbfa7d3dbec204c328749c3db14b668ea->nabacc0aef05041c5998655b5e68b6d94 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 487.25 455.88 moveto +488.77 444.86 490.59 431.65 492.33 419.04 curveto +stroke +0 0 0 edgecolor +newpath 495.8 419.49 moveto +493.69 409.1 lineto +488.86 418.53 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 495.8 419.49 moveto +493.69 409.1 lineto +488.86 418.53 lineto +closepath stroke +grestore +% nff340dd0af774bf0818a959dad441b84 +gsave +1 setlinewidth +0 0 0 nodecolor +569.7 482.7 33.88 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +553.7 494 moveto 32 (daabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +556.7 479 moveto 26 (daba) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +555.2 464 moveto 29 (False) alignedtext +grestore +% nd04c429a65b74db8902b1a2725254549->nff340dd0af774bf0818a959dad441b84 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 569.7 566.56 moveto +569.7 555.74 569.7 542.85 569.7 530.49 curveto +stroke +0 0 0 edgecolor +newpath 573.2 530.3 moveto +569.7 520.3 lineto +566.2 530.3 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 573.2 530.3 moveto +569.7 520.3 lineto +566.2 530.3 lineto +closepath stroke +grestore +% na504494b1bc842bd800600c18478723a +gsave +1 setlinewidth +0 0 0 nodecolor +673.7 694 38.78 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +657.7 697.8 moveto 32 (daabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +654.2 682.8 moveto 39 (dabaab) alignedtext +grestore +% n5f1bfeaf12e247d9bc9ca4641cb72fb5->na504494b1bc842bd800600c18478723a +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 676.5 756.42 moveto +676.14 748.45 675.73 739.56 675.34 731.07 curveto +stroke +0 0 0 edgecolor +newpath 678.84 730.84 moveto +674.88 721.01 lineto +671.84 731.16 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 678.84 730.84 moveto +674.88 721.01 lineto +671.84 731.16 lineto +closepath stroke +grestore +% n13e17edfcd5a4128996ba5dd2473f244 +gsave +1 setlinewidth +0 0 0 nodecolor +769.7 694 38.78 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +750.7 697.8 moveto 38 (daabcc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +750.2 682.8 moveto 39 (dabaab) alignedtext +grestore +% n5f1bfeaf12e247d9bc9ca4641cb72fb5->n13e17edfcd5a4128996ba5dd2473f244 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 700.91 760.6 moveto +712.73 749.34 727.22 735.51 739.86 723.46 curveto +stroke +0 0 0 edgecolor +newpath 742.62 725.66 moveto +747.44 716.23 lineto +737.79 720.6 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 742.62 725.66 moveto +747.44 716.23 lineto +737.79 720.6 lineto +closepath stroke +grestore +% n78a73478b48c43d594e6a04a79c61946 +gsave +1 setlinewidth +0 0 0 nodecolor +673.7 593.66 33.88 26.74 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +657.7 597.46 moveto 32 (daabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +657.7 582.46 moveto 32 (dabaa) alignedtext +grestore +% na504494b1bc842bd800600c18478723a->n78a73478b48c43d594e6a04a79c61946 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 673.7 666.91 moveto +673.7 655.82 673.7 642.7 673.7 630.71 curveto +stroke +0 0 0 edgecolor +newpath 677.2 630.54 moveto +673.7 620.54 lineto +670.2 630.54 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 677.2 630.54 moveto +673.7 620.54 lineto +670.2 630.54 lineto +closepath stroke +grestore +% n5624db7a63c643bcafb2ba6797348bba +gsave +1 setlinewidth +0 0 0 nodecolor +769.7 593.66 38.37 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +750.7 604.96 moveto 38 (daabcc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +753.7 589.96 moveto 32 (dabaa) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +755.2 574.96 moveto 29 (False) alignedtext +grestore +% n13e17edfcd5a4128996ba5dd2473f244->n5624db7a63c643bcafb2ba6797348bba +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 769.7 666.91 moveto +769.7 659.05 769.7 650.19 769.7 641.42 curveto +stroke +0 0 0 edgecolor +newpath 773.2 641.24 moveto +769.7 631.24 lineto +766.2 641.24 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 773.2 641.24 moveto +769.7 631.24 lineto +766.2 641.24 lineto +closepath stroke +grestore +% na3c9f1e44c6546ba9b4c49c48ae842ba +gsave +1 setlinewidth +0 0 0 nodecolor +673.7 482.7 33.88 37.45 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +657.7 494 moveto 32 (daabc) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +660.7 479 moveto 26 (daba) alignedtext +0 0 0 nodecolor +14 /Times-Roman set_font +659.2 464 moveto 29 (False) alignedtext +grestore +% n78a73478b48c43d594e6a04a79c61946->na3c9f1e44c6546ba9b4c49c48ae842ba +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 673.7 566.56 moveto +673.7 555.74 673.7 542.85 673.7 530.49 curveto +stroke +0 0 0 edgecolor +newpath 677.2 530.3 moveto +673.7 520.3 lineto +670.2 530.3 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 677.2 530.3 moveto +673.7 520.3 lineto +670.2 530.3 lineto +closepath stroke +grestore +endpage +showpage +grestore +%%PageTrailer +%%EndPage: 1 +%%Trailer +%%Pages: 1 +%%BoundingBox: 36 36 853 1124 +end +restore +%%EOF diff --git a/09-resolving-the-bill/iaaa.dot b/09-resolving-the-bill/iaaa.dot new file mode 100644 index 0000000..93c30f2 --- /dev/null +++ b/09-resolving-the-bill/iaaa.dot @@ -0,0 +1,84 @@ +digraph G { + + +n894a2781e978478699af2875308ec4ad [label="aaa\naaa\naaaaaa"]; +n894a2781e978478699af2875308ec4ad -> n863e03f8030547bf9f4e7a4815c4e027; +n894a2781e978478699af2875308ec4ad -> n4c492e6eb94741d2b11567b1b4c729fa; +n863e03f8030547bf9f4e7a4815c4e027 [label="aa\naaa\naaaaa"]; +n863e03f8030547bf9f4e7a4815c4e027 -> n8f044087a7324ef69d5cf2ae120c0902; +n863e03f8030547bf9f4e7a4815c4e027 -> n5510c6a96018480ba0fc2315d34a69e6; +n8f044087a7324ef69d5cf2ae120c0902 [label="a\naaa\naaaa"]; +n8f044087a7324ef69d5cf2ae120c0902 -> n6f3153ef68384ebbbe5860a48c774d55; +n8f044087a7324ef69d5cf2ae120c0902 -> n4d068ce52cf248adb3b537805a233dda; +n6f3153ef68384ebbbe5860a48c774d55 [label="-\naaa\naaa\nTrue"]; +n4d068ce52cf248adb3b537805a233dda [label="a\naa\naaa"]; +n4d068ce52cf248adb3b537805a233dda -> nb85aee31625f4998b596d9b6ea3b77fd; +n4d068ce52cf248adb3b537805a233dda -> nec2837ce384246ffb06e3d4090adfb37; +nb85aee31625f4998b596d9b6ea3b77fd [label="-\naa\naa\nTrue"]; +nec2837ce384246ffb06e3d4090adfb37 [label="a\na\naa"]; +nec2837ce384246ffb06e3d4090adfb37 -> n9c395901af2d4e67a7e5a370f759bce6; +nec2837ce384246ffb06e3d4090adfb37 -> nff84b0c784744901afb3ac8a5aef3c23; +n9c395901af2d4e67a7e5a370f759bce6 [label="-\na\na\nTrue"]; +nff84b0c784744901afb3ac8a5aef3c23 [label="a\n-\na\nTrue"]; +n5510c6a96018480ba0fc2315d34a69e6 [label="aa\naa\naaaa"]; +n5510c6a96018480ba0fc2315d34a69e6 -> n5eaaabd1caef4c3f8f6607a8bb254906; +n5510c6a96018480ba0fc2315d34a69e6 -> n6041081af67d4f57968572aa2051d1bc; +n5eaaabd1caef4c3f8f6607a8bb254906 [label="a\naa\naaa"]; +n5eaaabd1caef4c3f8f6607a8bb254906 -> n6dd23a9ed026429fb57cbf94e6283364; +n5eaaabd1caef4c3f8f6607a8bb254906 -> n3042bda75e7c4d8f8a9ccc464f0ba724; +n6dd23a9ed026429fb57cbf94e6283364 [label="-\naa\naa\nTrue"]; +n3042bda75e7c4d8f8a9ccc464f0ba724 [label="a\na\naa"]; +n3042bda75e7c4d8f8a9ccc464f0ba724 -> n5e702eeee87042deb3157b6663b1f07a; +n3042bda75e7c4d8f8a9ccc464f0ba724 -> n37928d6516f942008c5e89b5c37098ee; +n5e702eeee87042deb3157b6663b1f07a [label="-\na\na\nTrue"]; +n37928d6516f942008c5e89b5c37098ee [label="a\n-\na\nTrue"]; +n6041081af67d4f57968572aa2051d1bc [label="aa\na\naaa"]; +n6041081af67d4f57968572aa2051d1bc -> nbb96e07d3c89450cb92ad725f6fc4845; +n6041081af67d4f57968572aa2051d1bc -> n0dbe764d7e4a429298f2d3583e8c84b1; +nbb96e07d3c89450cb92ad725f6fc4845 [label="a\na\naa"]; +nbb96e07d3c89450cb92ad725f6fc4845 -> nbe5a7be2ec824370a293e7aa8f3a5467; +nbb96e07d3c89450cb92ad725f6fc4845 -> ndc15a7d84b734bb793055e4712a82d5c; +nbe5a7be2ec824370a293e7aa8f3a5467 [label="-\na\na\nTrue"]; +ndc15a7d84b734bb793055e4712a82d5c [label="a\n-\na\nTrue"]; +n0dbe764d7e4a429298f2d3583e8c84b1 [label="aa\n-\naa\nTrue"]; +n4c492e6eb94741d2b11567b1b4c729fa [label="aaa\naa\naaaaa"]; +n4c492e6eb94741d2b11567b1b4c729fa -> n0e78dd2900a34a7297cc0ea2bb27e30c; +n4c492e6eb94741d2b11567b1b4c729fa -> nc18fe2c53e9e4209a9af9c0678465b1f; +n0e78dd2900a34a7297cc0ea2bb27e30c [label="aa\naa\naaaa"]; +n0e78dd2900a34a7297cc0ea2bb27e30c -> n1b98c16a65994faaa980d9c530383c77; +n0e78dd2900a34a7297cc0ea2bb27e30c -> n33dbe313802045f8895d0e904d588881; +n1b98c16a65994faaa980d9c530383c77 [label="a\naa\naaa"]; +n1b98c16a65994faaa980d9c530383c77 -> n5e7c6dff46ff49f7903eb543c02fa22b; +n1b98c16a65994faaa980d9c530383c77 -> n33391a1fab3849cf9823ccc7396aa7d4; +n5e7c6dff46ff49f7903eb543c02fa22b [label="-\naa\naa\nTrue"]; +n33391a1fab3849cf9823ccc7396aa7d4 [label="a\na\naa"]; +n33391a1fab3849cf9823ccc7396aa7d4 -> n13b4732016804c3986853f6d2fe4a28b; +n33391a1fab3849cf9823ccc7396aa7d4 -> n767be985e5a5469da7cfeea0272705b3; +n13b4732016804c3986853f6d2fe4a28b [label="-\na\na\nTrue"]; +n767be985e5a5469da7cfeea0272705b3 [label="a\n-\na\nTrue"]; +n33dbe313802045f8895d0e904d588881 [label="aa\na\naaa"]; +n33dbe313802045f8895d0e904d588881 -> nf59143762fc643f0bd58507b5097b837; +n33dbe313802045f8895d0e904d588881 -> n30d968450bf147b68a8d7df49177722c; +nf59143762fc643f0bd58507b5097b837 [label="a\na\naa"]; +nf59143762fc643f0bd58507b5097b837 -> ncd2168bdc52c459d821427219fb885d1; +nf59143762fc643f0bd58507b5097b837 -> nc6011f3f746f425ab01fd89e1f17cbb4; +ncd2168bdc52c459d821427219fb885d1 [label="-\na\na\nTrue"]; +nc6011f3f746f425ab01fd89e1f17cbb4 [label="a\n-\na\nTrue"]; +n30d968450bf147b68a8d7df49177722c [label="aa\n-\naa\nTrue"]; +nc18fe2c53e9e4209a9af9c0678465b1f [label="aaa\na\naaaa"]; +nc18fe2c53e9e4209a9af9c0678465b1f -> n38a7aa8aab21444d8b9d50ca71871b7e; +nc18fe2c53e9e4209a9af9c0678465b1f -> n1ec1cf69ce3c4798b305338648a6e46b; +n38a7aa8aab21444d8b9d50ca71871b7e [label="aa\na\naaa"]; +n38a7aa8aab21444d8b9d50ca71871b7e -> nad5433a86522484e85d560ac7d202b3d; +n38a7aa8aab21444d8b9d50ca71871b7e -> n6bfb83c32f9e46a19e9408fc087e74ae; +nad5433a86522484e85d560ac7d202b3d [label="a\na\naa"]; +nad5433a86522484e85d560ac7d202b3d -> n292f0206736a40ac8f6045ac0d8a0a07; +nad5433a86522484e85d560ac7d202b3d -> n07c65e03d3bd473f97579a2c63f922c7; +n292f0206736a40ac8f6045ac0d8a0a07 [label="-\na\na\nTrue"]; +n07c65e03d3bd473f97579a2c63f922c7 [label="a\n-\na\nTrue"]; +n6bfb83c32f9e46a19e9408fc087e74ae [label="aa\n-\naa\nTrue"]; +n1ec1cf69ce3c4798b305338648a6e46b [label="aaa\n-\naaa\nTrue"]; + + + +} diff --git a/09-resolving-the-bill/iaaa.dot.png b/09-resolving-the-bill/iaaa.dot.png new file mode 100644 index 0000000..c28283d Binary files /dev/null and b/09-resolving-the-bill/iaaa.dot.png differ diff --git a/09-resolving-the-bill/interleaving.ipynb b/09-resolving-the-bill/interleaving.ipynb index 46e2b5c..04c8ca1 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,7 @@ }, { "cell_type": "code", - "execution_count": 2, + "execution_count": 3, "metadata": { "collapsed": true }, @@ -46,7 +46,7 @@ }, { "cell_type": "code", - "execution_count": 3, + "execution_count": 4, "metadata": {}, "outputs": [ { @@ -55,7 +55,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 +73,7 @@ }, { "cell_type": "code", - "execution_count": 4, + "execution_count": 5, "metadata": {}, "outputs": [ { @@ -87,7 +87,7 @@ " [False, False, False, False, False, False]]" ] }, - "execution_count": 4, + "execution_count": 5, "metadata": {}, "output_type": "execute_result" } @@ -100,7 +100,7 @@ }, { "cell_type": "code", - "execution_count": 5, + "execution_count": 6, "metadata": { "scrolled": true }, @@ -146,7 +146,7 @@ " (5, 5): False}" ] }, - "execution_count": 5, + "execution_count": 6, "metadata": {}, "output_type": "execute_result" } @@ -160,7 +160,7 @@ }, { "cell_type": "code", - "execution_count": 6, + "execution_count": 7, "metadata": { "collapsed": true }, @@ -174,7 +174,7 @@ }, { "cell_type": "code", - "execution_count": 7, + "execution_count": 8, "metadata": { "collapsed": true }, @@ -188,7 +188,7 @@ }, { "cell_type": "code", - "execution_count": 8, + "execution_count": 9, "metadata": {}, "outputs": [ { @@ -210,7 +210,7 @@ }, { "cell_type": "code", - "execution_count": 9, + "execution_count": 10, "metadata": {}, "outputs": [ { @@ -284,7 +284,7 @@ " (5, 5): (4, 5, 'c', 's1')}" ] }, - "execution_count": 9, + "execution_count": 10, "metadata": {}, "output_type": "execute_result" } @@ -337,7 +337,7 @@ }, { "cell_type": "code", - "execution_count": 10, + "execution_count": 11, "metadata": { "collapsed": true }, @@ -413,7 +413,7 @@ }, { "cell_type": "code", - "execution_count": 11, + "execution_count": 12, "metadata": {}, "outputs": [ { @@ -422,7 +422,7 @@ "True" ] }, - "execution_count": 11, + "execution_count": 12, "metadata": {}, "output_type": "execute_result" } @@ -433,7 +433,7 @@ }, { "cell_type": "code", - "execution_count": 12, + "execution_count": 13, "metadata": {}, "outputs": [ { @@ -457,7 +457,7 @@ " (5, 5): (4, 5, 'c', 'seq1')})" ] }, - "execution_count": 12, + "execution_count": 13, "metadata": {}, "output_type": "execute_result" } @@ -468,7 +468,7 @@ }, { "cell_type": "code", - "execution_count": 13, + "execution_count": 14, "metadata": { "scrolled": true }, @@ -530,7 +530,7 @@ " (5, 5): True})" ] }, - "execution_count": 13, + "execution_count": 14, "metadata": {}, "output_type": "execute_result" } @@ -541,7 +541,7 @@ }, { "cell_type": "code", - "execution_count": 14, + "execution_count": 15, "metadata": {}, "outputs": [ { @@ -550,7 +550,7 @@ "False" ] }, - "execution_count": 14, + "execution_count": 15, "metadata": {}, "output_type": "execute_result" } @@ -561,7 +561,7 @@ }, { "cell_type": "code", - "execution_count": 15, + "execution_count": 16, "metadata": {}, "outputs": [ { @@ -603,7 +603,7 @@ " (4, 3): (4, 2, 'b', 'seq2')})" ] }, - "execution_count": 15, + "execution_count": 16, "metadata": {}, "output_type": "execute_result" } @@ -614,7 +614,7 @@ }, { "cell_type": "code", - "execution_count": 16, + "execution_count": 17, "metadata": { "collapsed": true }, @@ -638,7 +638,7 @@ }, { "cell_type": "code", - "execution_count": 17, + "execution_count": 18, "metadata": { "collapsed": true }, @@ -652,16 +652,16 @@ }, { "cell_type": "code", - "execution_count": 18, + "execution_count": 19, "metadata": {}, "outputs": [ { "data": { "text/plain": [ - "'cccbggadggfbghfbeeeecgabbcdehcgfdhegefddahcdcabbch'" + "'ddbcceaffddbbddddehffcdffbffdfdfdddcehhgaddfddbgda'" ] }, - "execution_count": 18, + "execution_count": 19, "metadata": {}, "output_type": "execute_result" } @@ -672,7 +672,7 @@ }, { "cell_type": "code", - "execution_count": 19, + "execution_count": 20, "metadata": { "collapsed": true }, @@ -713,65 +713,62 @@ }, { "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 f\n", + "1 0 1 adding f\n", + "2 0 2 adding d\n", + "3 0 3 adding v\n", + "3 1 2 adding d\n", + "4 1 3 adding g\n", + "5 1 4 adding g\n", + "6 1 5 adding v\n", + "6 2 4 adding d\n", + "7 2 5 adding z\n", + "7 3 4 adding h\n", + "8 3 5 adding w\n", + "8 4 4 adding z\n", + "8 5 3 adding y\n", + "8 6 2 adding b\n", + "9 6 3 adding u\n", + "9 7 2 adding d\n", + "10 7 3 adding w\n", + "10 8 2 adding u\n", + "10 9 1 adding w\n", + "10 10 0 adding u\n", + "10 11 -1 adding g\n", + "11 11 0 adding c\n", + "12 11 1 adding x\n", + "12 12 0 adding z\n", + "12 13 -1 adding b\n", + "13 13 0 adding a\n", + "14 13 1 adding v\n", + "14 14 0 adding a\n", + "15 14 1 adding x\n", + "15 15 0 adding f\n", + "16 15 1 adding f\n", + "17 15 2 adding v\n", + "17 16 1 adding c\n", + "18 16 2 adding a\n", + "19 16 3 adding h\n", + "20 16 4 remaining s2 vzxy\n" ] }, { "data": { "text/plain": [ - "('cafehbhfdccfaeebcgeb',\n", - " 'xvuzywuxzuvyyyuzwuwy',\n", - " 'xcvafuzyweuhxbhzfdcuvcfayyyuezebcgwuewby',\n", + "('ffddggdhbdgcbaaffcah',\n", + " 'vvzwzyuwuwuxzvxvvzxy',\n", + " 'ffdvdggvdzhwzybudwuwugcxzbavaxffvcahvzxy',\n", " 40)" ] }, - "execution_count": 20, + "execution_count": 21, "metadata": {}, "output_type": "execute_result" } @@ -785,7 +782,7 @@ }, { "cell_type": "code", - "execution_count": 21, + "execution_count": 22, "metadata": {}, "outputs": [ { @@ -793,466 +790,466 @@ "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", - "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", + "seq2 0 1 ! f f True\n", + "seq2 0 2 ! f f True\n", + "seq2 0 3 ! d d True\n", + "seq2 0 4 ! d v False\n", + "seq2 0 5 ! g d False\n", + "seq2 0 6 ! g g False\n", + "seq2 0 7 ! d g False\n", + "seq2 0 8 ! h v False\n", + "seq2 0 9 ! b d False\n", + "seq2 0 10 ! d z False\n", + "seq2 0 11 ! g h False\n", + "seq2 0 12 ! c w False\n", + "seq2 0 13 ! b z False\n", + "seq2 0 14 ! a y False\n", + "seq2 0 15 ! a b False\n", + "seq2 0 16 ! f u False\n", + "seq2 0 17 ! f d False\n", + "seq2 0 18 ! c w False\n", + "seq2 0 19 ! a u False\n", + "seq2 0 20 ! h w False\n", + "seq1 1 0 v ! f False\n", + "xxxx 1 1 v f f False\n", + "xxxx 1 2 v f d False\n", + "seq1 1 3 v d v True\n", + "seq2 1 4 v d d True\n", + "seq2 1 5 v g g True\n", + "seq2 1 6 v g g True\n", + "xxxx 1 7 v d v False\n", + "xxxx 1 8 v h d False\n", + "xxxx 1 9 v b z False\n", + "xxxx 1 10 v d h False\n", + "xxxx 1 11 v g w False\n", + "xxxx 1 12 v c z False\n", + "xxxx 1 13 v b y False\n", + "xxxx 1 14 v a b False\n", + "xxxx 1 15 v a u False\n", + "xxxx 1 16 v f d False\n", + "xxxx 1 17 v f w False\n", + "xxxx 1 18 v c u False\n", + "xxxx 1 19 v a w False\n", + "xxxx 1 20 v h u False\n", + "seq1 2 0 v ! f False\n", + "xxxx 2 1 v f d False\n", + "xxxx 2 2 v f v False\n", + "xxxx 2 3 v d d False\n", + "xxxx 2 4 v d g False\n", + "xxxx 2 5 v g g False\n", + "seq1 2 6 v g v True\n", + "seq2 2 7 v d d True\n", + "xxxx 2 8 v h z False\n", + "xxxx 2 9 v b h False\n", + "xxxx 2 10 v d w False\n", + "xxxx 2 11 v g z False\n", + "xxxx 2 12 v c y False\n", + "xxxx 2 13 v b b False\n", + "xxxx 2 14 v a u False\n", + "xxxx 2 15 v a d False\n", + "xxxx 2 16 v f w False\n", + "xxxx 2 17 v f u False\n", + "xxxx 2 18 v c w False\n", + "xxxx 2 19 v a u False\n", + "xxxx 2 20 v h g False\n", + "seq1 3 0 z ! d False\n", + "xxxx 3 1 z f v False\n", + "xxxx 3 2 z f d False\n", + "xxxx 3 3 z d g False\n", + "xxxx 3 4 z d g False\n", + "xxxx 3 5 z g v False\n", + "xxxx 3 6 z g d False\n", + "seq1 3 7 z d z True\n", + "seq2 3 8 z h h True\n", + "xxxx 3 9 z b w False\n", + "xxxx 3 10 z d z False\n", + "xxxx 3 11 z g y False\n", + "xxxx 3 12 z c b False\n", + "xxxx 3 13 z b u False\n", + "xxxx 3 14 z a d False\n", + "xxxx 3 15 z a w False\n", + "xxxx 3 16 z f u False\n", + "xxxx 3 17 z f w False\n", + "xxxx 3 18 z c u False\n", + "xxxx 3 19 z a g False\n", + "xxxx 3 20 z h c False\n", + "seq1 4 0 w ! v False\n", + "xxxx 4 1 w f d False\n", + "xxxx 4 2 w f g False\n", + "xxxx 4 3 w d g False\n", + "xxxx 4 4 w d v False\n", + "xxxx 4 5 w g d False\n", + "xxxx 4 6 w g z False\n", + "xxxx 4 7 w d h False\n", + "seq1 4 8 w h w True\n", + "xxxx 4 9 w b z False\n", + "xxxx 4 10 w d y False\n", + "xxxx 4 11 w g b False\n", + "xxxx 4 12 w c u False\n", + "xxxx 4 13 w b d False\n", + "xxxx 4 14 w a w False\n", + "xxxx 4 15 w a u False\n", + "xxxx 4 16 w f w False\n", + "xxxx 4 17 w f u False\n", + "xxxx 4 18 w c g False\n", + "xxxx 4 19 w a c False\n", + "xxxx 4 20 w h x False\n", + "seq1 5 0 z ! d False\n", + "xxxx 5 1 z f g False\n", + "xxxx 5 2 z f g False\n", + "xxxx 5 3 z d v False\n", + "xxxx 5 4 z d d False\n", + "xxxx 5 5 z g z False\n", + "xxxx 5 6 z g h False\n", + "xxxx 5 7 z d w False\n", + "seq1 5 8 z h z True\n", + "xxxx 5 9 z b y False\n", + "xxxx 5 10 z d b False\n", + "xxxx 5 11 z g u False\n", + "xxxx 5 12 z c d False\n", + "xxxx 5 13 z b w False\n", + "xxxx 5 14 z a u False\n", + "xxxx 5 15 z a w False\n", + "xxxx 5 16 z f u False\n", + "xxxx 5 17 z f g False\n", + "xxxx 5 18 z c c False\n", + "xxxx 5 19 z a x False\n", + "xxxx 5 20 z h z False\n", + "seq1 6 0 y ! g False\n", + "xxxx 6 1 y f g False\n", + "xxxx 6 2 y f v False\n", + "xxxx 6 3 y d d False\n", + "xxxx 6 4 y d z False\n", + "xxxx 6 5 y g h False\n", + "xxxx 6 6 y g w False\n", + "xxxx 6 7 y d z False\n", + "seq1 6 8 y h y True\n", + "seq2 6 9 y b b True\n", + "xxxx 6 10 y d u False\n", + "xxxx 6 11 y g d False\n", + "xxxx 6 12 y c w False\n", + "xxxx 6 13 y b u False\n", + "xxxx 6 14 y a w False\n", + "xxxx 6 15 y a u False\n", + "xxxx 6 16 y f g False\n", + "xxxx 6 17 y f c False\n", + "xxxx 6 18 y c x False\n", + "xxxx 6 19 y a z False\n", + "xxxx 6 20 y h b False\n", + "seq1 7 0 u ! g False\n", + "xxxx 7 1 u f v False\n", + "xxxx 7 2 u f d False\n", + "xxxx 7 3 u d z False\n", + "xxxx 7 4 u d h False\n", + "xxxx 7 5 u g w False\n", + "xxxx 7 6 u g z False\n", + "xxxx 7 7 u d y False\n", + "xxxx 7 8 u h b False\n", + "seq1 7 9 u b u True\n", + "seq2 7 10 u d d True\n", + "xxxx 7 11 u g w False\n", + "xxxx 7 12 u c u False\n", + "xxxx 7 13 u b w False\n", + "xxxx 7 14 u a u False\n", + "xxxx 7 15 u a g False\n", + "xxxx 7 16 u f c False\n", + "xxxx 7 17 u f x False\n", + "xxxx 7 18 u c z False\n", + "xxxx 7 19 u a b False\n", + "xxxx 7 20 u h a False\n", + "seq1 8 0 w ! v False\n", + "xxxx 8 1 w f d False\n", + "xxxx 8 2 w f z False\n", + "xxxx 8 3 w d h False\n", + "xxxx 8 4 w d w False\n", + "xxxx 8 5 w g z False\n", + "xxxx 8 6 w g y False\n", + "xxxx 8 7 w d b False\n", + "xxxx 8 8 w h u False\n", + "xxxx 8 9 w b d False\n", + "seq1 8 10 w d w True\n", + "xxxx 8 11 w g u False\n", + "xxxx 8 12 w c w False\n", + "xxxx 8 13 w b u False\n", + "xxxx 8 14 w a g False\n", + "xxxx 8 15 w a c False\n", + "xxxx 8 16 w f x False\n", + "xxxx 8 17 w f z False\n", + "xxxx 8 18 w c b False\n", + "xxxx 8 19 w a a False\n", + "xxxx 8 20 w h v False\n", + "seq1 9 0 u ! d False\n", + "xxxx 9 1 u f z False\n", + "xxxx 9 2 u f h False\n", + "xxxx 9 3 u d w False\n", + "xxxx 9 4 u d z False\n", + "xxxx 9 5 u g y False\n", + "xxxx 9 6 u g b False\n", + "xxxx 9 7 u d u False\n", + "xxxx 9 8 u h d False\n", + "xxxx 9 9 u b w False\n", + "seq1 9 10 u d u True\n", + "xxxx 9 11 u g w False\n", + "xxxx 9 12 u c u False\n", + "xxxx 9 13 u b g False\n", + "xxxx 9 14 u a c False\n", + "xxxx 9 15 u a x False\n", + "xxxx 9 16 u f z False\n", + "xxxx 9 17 u f b False\n", + "xxxx 9 18 u c a False\n", + "xxxx 9 19 u a v False\n", + "xxxx 9 20 u h a False\n", + "seq1 10 0 w ! z False\n", + "xxxx 10 1 w f h False\n", + "xxxx 10 2 w f w False\n", + "xxxx 10 3 w d z False\n", + "xxxx 10 4 w d y False\n", + "xxxx 10 5 w g b False\n", + "xxxx 10 6 w g u False\n", + "xxxx 10 7 w d d False\n", + "xxxx 10 8 w h w False\n", + "xxxx 10 9 w b u False\n", + "seq1 10 10 w d w True\n", + "xxxx 10 11 w g u False\n", + "xxxx 10 12 w c g False\n", + "xxxx 10 13 w b c False\n", + "xxxx 10 14 w a x False\n", + "xxxx 10 15 w a z False\n", + "xxxx 10 16 w f b False\n", + "xxxx 10 17 w f a False\n", + "xxxx 10 18 w c v False\n", + "xxxx 10 19 w a a False\n", + "xxxx 10 20 w h x False\n", + "seq1 11 0 u ! h False\n", + "xxxx 11 1 u f w False\n", + "xxxx 11 2 u f z False\n", + "xxxx 11 3 u d y False\n", + "xxxx 11 4 u d b False\n", + "xxxx 11 5 u g u False\n", + "xxxx 11 6 u g d False\n", + "xxxx 11 7 u d w False\n", + "xxxx 11 8 u h u False\n", + "xxxx 11 9 u b w False\n", + "seq1 11 10 u d u True\n", + "seq2 11 11 u g g True\n", + "seq2 11 12 u c c True\n", + "xxxx 11 13 u b x False\n", + "xxxx 11 14 u a z False\n", + "xxxx 11 15 u a b False\n", + "xxxx 11 16 u f a False\n", + "xxxx 11 17 u f v False\n", + "xxxx 11 18 u c a False\n", + "xxxx 11 19 u a x False\n", + "xxxx 11 20 u h f False\n", + "seq1 12 0 x ! w False\n", + "xxxx 12 1 x f z False\n", + "xxxx 12 2 x f y False\n", + "xxxx 12 3 x d b False\n", + "xxxx 12 4 x d u False\n", + "xxxx 12 5 x g d False\n", + "xxxx 12 6 x g w False\n", + "xxxx 12 7 x d u False\n", + "xxxx 12 8 x h w False\n", + "xxxx 12 9 x b u False\n", + "xxxx 12 10 x d g False\n", + "xxxx 12 11 x g c False\n", + "seq1 12 12 x c x True\n", + "xxxx 12 13 x b z False\n", + "xxxx 12 14 x a b False\n", + "xxxx 12 15 x a a False\n", + "xxxx 12 16 x f v False\n", + "xxxx 12 17 x f a False\n", + "xxxx 12 18 x c x False\n", + "xxxx 12 19 x a f False\n", + "xxxx 12 20 x h f False\n", + "seq1 13 0 z ! z False\n", + "xxxx 13 1 z f y False\n", + "xxxx 13 2 z f b False\n", + "xxxx 13 3 z d u False\n", + "xxxx 13 4 z d d False\n", + "xxxx 13 5 z g w False\n", + "xxxx 13 6 z g u False\n", + "xxxx 13 7 z d w False\n", + "xxxx 13 8 z h u False\n", + "xxxx 13 9 z b g False\n", + "xxxx 13 10 z d c False\n", + "xxxx 13 11 z g x False\n", + "seq1 13 12 z c z True\n", + "seq2 13 13 z b b True\n", + "seq2 13 14 z a a True\n", + "xxxx 13 15 z a v False\n", + "xxxx 13 16 z f a False\n", + "xxxx 13 17 z f x False\n", + "xxxx 13 18 z c f False\n", + "xxxx 13 19 z a f False\n", + "xxxx 13 20 z h v False\n", + "seq1 14 0 v ! y False\n", + "xxxx 14 1 v f b False\n", + "xxxx 14 2 v f u False\n", + "xxxx 14 3 v d d False\n", + "xxxx 14 4 v d w False\n", + "xxxx 14 5 v g u False\n", + "xxxx 14 6 v g w False\n", + "xxxx 14 7 v d u False\n", + "xxxx 14 8 v h g False\n", + "xxxx 14 9 v b c False\n", + "xxxx 14 10 v d x False\n", + "xxxx 14 11 v g z False\n", + "xxxx 14 12 v c b False\n", + "xxxx 14 13 v b a False\n", + "seq1 14 14 v a v True\n", + "seq2 14 15 v a a True\n", + "xxxx 14 16 v f x False\n", + "xxxx 14 17 v f f False\n", + "xxxx 14 18 v c f False\n", + "xxxx 14 19 v a v False\n", + "xxxx 14 20 v h c False\n", + "seq1 15 0 x ! b False\n", + "xxxx 15 1 x f u False\n", + "xxxx 15 2 x f d False\n", + "xxxx 15 3 x d w False\n", + "xxxx 15 4 x d u False\n", + "xxxx 15 5 x g w False\n", + "xxxx 15 6 x g u False\n", + "xxxx 15 7 x d g False\n", + "xxxx 15 8 x h c False\n", + "xxxx 15 9 x b x False\n", + "xxxx 15 10 x d z False\n", + "xxxx 15 11 x g b False\n", + "xxxx 15 12 x c a False\n", + "xxxx 15 13 x b v False\n", + "xxxx 15 14 x a a False\n", + "seq1 15 15 x a x True\n", + "seq2 15 16 x f f True\n", + "seq2 15 17 x f f True\n", + "xxxx 15 18 x c v False\n", + "xxxx 15 19 x a c False\n", + "xxxx 15 20 x h a False\n", + "seq1 16 0 v ! u False\n", + "xxxx 16 1 v f d False\n", + "xxxx 16 2 v f w False\n", + "xxxx 16 3 v d u False\n", + "xxxx 16 4 v d w False\n", + "xxxx 16 5 v g u False\n", + "xxxx 16 6 v g g False\n", + "xxxx 16 7 v d c False\n", + "xxxx 16 8 v h x False\n", + "xxxx 16 9 v b z False\n", + "xxxx 16 10 v d b False\n", + "xxxx 16 11 v g a False\n", + "xxxx 16 12 v c v False\n", + "xxxx 16 13 v b a False\n", + "xxxx 16 14 v a x False\n", + "xxxx 16 15 v a f False\n", + "xxxx 16 16 v f f False\n", + "seq1 16 17 v f v True\n", + "seq2 16 18 v c c True\n", + "seq2 16 19 v a a True\n", + "seq2 16 20 v h h True\n", + "seq1 17 0 v ! d False\n", + "xxxx 17 1 v f w False\n", + "xxxx 17 2 v f u False\n", + "xxxx 17 3 v d w False\n", + "xxxx 17 4 v d u False\n", + "xxxx 17 5 v g g False\n", + "xxxx 17 6 v g c False\n", + "xxxx 17 7 v d x False\n", + "xxxx 17 8 v h z False\n", + "xxxx 17 9 v b b False\n", + "xxxx 17 10 v d a False\n", + "xxxx 17 11 v g v False\n", + "xxxx 17 12 v c a False\n", + "xxxx 17 13 v b x False\n", + "xxxx 17 14 v a f False\n", + "xxxx 17 15 v a f False\n", + "xxxx 17 16 v f v False\n", + "xxxx 17 17 v f c False\n", + "xxxx 17 18 v c a False\n", + "xxxx 17 19 v a h False\n", + "seq1 17 20 v h v True\n", + "seq1 18 0 z ! w False\n", + "xxxx 18 1 z f u False\n", + "xxxx 18 2 z f w False\n", + "xxxx 18 3 z d u False\n", + "xxxx 18 4 z d g False\n", + "xxxx 18 5 z g c False\n", + "xxxx 18 6 z g x False\n", + "xxxx 18 7 z d z False\n", + "xxxx 18 8 z h b False\n", + "xxxx 18 9 z b a False\n", + "xxxx 18 10 z d v False\n", + "xxxx 18 11 z g a False\n", + "xxxx 18 12 z c x False\n", + "xxxx 18 13 z b f False\n", + "xxxx 18 14 z a f False\n", + "xxxx 18 15 z a v False\n", + "xxxx 18 16 z f c False\n", + "xxxx 18 17 z f a False\n", + "xxxx 18 18 z c h False\n", + "xxxx 18 19 z a v False\n", + "seq1 18 20 z h z True\n", + "seq1 19 0 x ! u False\n", + "xxxx 19 1 x f w False\n", + "xxxx 19 2 x f u False\n", + "xxxx 19 3 x d g False\n", + "xxxx 19 4 x d c False\n", + "xxxx 19 5 x g x False\n", + "xxxx 19 6 x g z False\n", + "xxxx 19 7 x d b False\n", + "xxxx 19 8 x h a False\n", + "xxxx 19 9 x b v False\n", + "xxxx 19 10 x d a False\n", + "xxxx 19 11 x g x False\n", + "xxxx 19 12 x c f False\n", + "xxxx 19 13 x b f False\n", + "xxxx 19 14 x a v False\n", + "xxxx 19 15 x a c False\n", + "xxxx 19 16 x f a False\n", + "xxxx 19 17 x f h False\n", + "xxxx 19 18 x c v False\n", + "xxxx 19 19 x a z False\n", + "seq1 19 20 x h x True\n", + "seq1 20 0 y ! w False\n", + "xxxx 20 1 y f u False\n", + "xxxx 20 2 y f g False\n", + "xxxx 20 3 y d c False\n", + "xxxx 20 4 y d x False\n", + "xxxx 20 5 y g z False\n", + "xxxx 20 6 y g b False\n", + "xxxx 20 7 y d a False\n", + "xxxx 20 8 y h v False\n", + "xxxx 20 9 y b a False\n", + "xxxx 20 10 y d x False\n", + "xxxx 20 11 y g f False\n", + "xxxx 20 12 y c f False\n", + "xxxx 20 13 y b v False\n", + "xxxx 20 14 y a c False\n", + "xxxx 20 15 y a a False\n", + "xxxx 20 16 y f h False\n", + "xxxx 20 17 y f v False\n", + "xxxx 20 18 y c z False\n", + "xxxx 20 19 y a x False\n", + "seq1 20 20 y h y True\n", + "T T T T . . . . . . . . . . . . . . . . .\n", + ". . . T T T T . . . . . . . . . . . . . .\n", + ". . . . . . T T . . . . . . . . . . . . .\n", + ". . . . . . . T T . . . . . . . . . . . .\n", + ". . . . . . . . T . . . . . . . . . . . .\n", + ". . . . . . . . T . . . . . . . . . . . .\n", + ". . . . . . . . T 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 .\n", - ". . . . . . . . . . . . . . . . . . . T T\n", + ". . . . . . . . . . T . . . . . . . . . .\n", + ". . . . . . . . . . T T T . . . . . . . .\n", + ". . . . . . . . . . . . T . . . . . . . .\n", + ". . . . . . . . . . . . T T T . . . . . .\n", + ". . . . . . . . . . . . . . T T . . . . .\n", + ". . . . . . . . . . . . . . . T T T . . .\n", + ". . . . . . . . . . . . . . . . . T T T T\n", + ". . . . . . . . . . . . . . . . . . . . T\n", + ". . . . . . . . . . . . . . . . . . . . T\n", + ". . . . . . . . . . . . . . . . . . . . T\n", ". . . . . . . . . . . . . . . . . . . . T\n" ] } @@ -1264,16 +1261,16 @@ }, { "cell_type": "code", - "execution_count": 22, + "execution_count": 23, "metadata": {}, "outputs": [ { "data": { "text/plain": [ - "'XcVafUZYWeUhXbhZfdcUVcfaYYYUeZebcgWUeWbY'" + "'ffdVdggVdZhWZYbUdWUWUgcXZbaVaXffVcahVZXY'" ] }, - "execution_count": 22, + "execution_count": 23, "metadata": {}, "output_type": "execute_result" } @@ -1284,35 +1281,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 T . . . . . . . . . . . . . . . . .\n", + ". . . T T T T . . . . . . . . . . . . . .\n", + ". . . . . . T T . . . . . . . . . . . . .\n", + ". . . . . . . T T . . . . . . . . . . . .\n", + ". . . . . . . . T . . . . . . . . . . . .\n", + ". . . . . . . . T . . . . . . . . . . . .\n", + ". . . . . . . . T 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 .\n", - ". . . . . . . . . . . . . . . . . . . T T\n", + ". . . . . . . . . . T . . . . . . . . . .\n", + ". . . . . . . . . . T T T . . . . . . . .\n", + ". . . . . . . . . . . . T . . . . . . . .\n", + ". . . . . . . . . . . . T T T . . . . . .\n", + ". . . . . . . . . . . . . . T T . . . . .\n", + ". . . . . . . . . . . . . . . T T T . . .\n", + ". . . . . . . . . . . . . . . . . T T T T\n", + ". . . . . . . . . . . . . . . . . . . . T\n", + ". . . . . . . . . . . . . . . . . . . . T\n", + ". . . . . . . . . . . . . . . . . . . . T\n", ". . . . . . . . . . . . . . . . . . . . T\n", - "XcVafUZYWeUhXbhZfdcUVcfaYYYUeZebcgWUeWbY\n" + "ffdVdggVdZhWZYbUdWUWUgcXZbaVaXffVcahVZXY\n" ] }, { @@ -1321,7 +1318,7 @@ "True" ] }, - "execution_count": 23, + "execution_count": 24, "metadata": {}, "output_type": "execute_result" } @@ -1335,19 +1332,19 @@ }, { "cell_type": "code", - "execution_count": 24, + "execution_count": 25, "metadata": {}, "outputs": [ { "data": { "text/plain": [ - "('fdghaegbegehggbggcgcfecbgfacefhahahdhfafacchafacea',\n", - " 'hdhadgebfeaehhhggbdghgcehabccgbddafeacagbgcahhfefe',\n", - " 'fhdgdhahadgegebfbeegehaegghbhghggcggcfecbgbdgfhagcehabcccgbedfdhahaafeahcdhfaafaccghafbgacceahahfefe',\n", + "('fcbhdfdbgebhgbgbcbhceagfbfhedffbbbehbfbbgedbacecdg',\n", + " 'dfbgbebeggbcdahfbddbfcgcehhffhgfhdfffbeedgcghhhaga',\n", + " 'dfbfcbghbedbfedbggbcdgeahfbhbdgbgbcdbbfcghcehceahgfbffhgfhfedhdfffffbebbbedehgbfcbghbghehdbaacgecadg',\n", " 100)" ] }, - "execution_count": 24, + "execution_count": 25, "metadata": {}, "output_type": "execute_result" } @@ -1361,65 +1358,65 @@ }, { "cell_type": "code", - "execution_count": 25, + "execution_count": 26, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ + "T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", "T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". T . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . T . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . 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 T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . T . T T T T T T T T . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . T . T . . . . . . . . . . . . . . . . . . . . . . . . .\n", + "T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + "T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . T . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . T T T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . T T T T T . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . T . T 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 T . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . T . T T T . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . T T . . T . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T T . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T\n", - "fHdgDhaHADGegEBFbeEgehAEggHbHgHgGcgGcfecbgBDGfHaGCEHABcCCGBeDfDhahaAFEAhCdhfaAfaccGhafBGacCeAHaHFEFE\n" + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T\n", + "DFBfcbGhBEdBfEdbGGBCDgeAHFbhBDgbgbcDbBFCGhCEHceaHgfbFFHGfhFedHDffFFFBEbbbEDehGbfCbGHbgHeHdbaAcGecAdg\n" ] }, { @@ -1428,7 +1425,7 @@ "True" ] }, - "execution_count": 25, + "execution_count": 26, "metadata": {}, "output_type": "execute_result" } @@ -1442,14 +1439,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.29 ms per loop\n" ] } ], @@ -1460,65 +1457,65 @@ }, { "cell_type": "code", - "execution_count": 27, + "execution_count": 28, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . T T T 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 . . . . . . . . . . .\n", + "T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". T . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . T T T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . T T . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . T T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . T T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . T T T T T . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . T T T T . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . T . . T . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . T . . T . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T T T . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . T . T . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . T T . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T T . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T . . . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T T T T . . . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . T . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . T . . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T T . . . . .\n", - ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . T T T T T T\n", - "FhDGdhaHAdgEGebfBeEGEHaeGGhBhGhgGCgGCFECBGbdgFhAgcehabccCgbEdFdHAHaAfeaHcDHFaAFACCgHAFbgAcCEahAhfefe\n" + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T . . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T . .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T .\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T T\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T\n", + ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T\n", + "dfbFCBgHbeDbFeDBggbcdGEahfBHbdGBGBCdbBfcgHcehCEAhGFBffhgFHfEDhdfffFFbeBBBedEHgBFcBghBGhEhDBaACgECaDG\n" ] }, { @@ -1527,7 +1524,7 @@ "True" ] }, - "execution_count": 27, + "execution_count": 28, "metadata": {}, "output_type": "execute_result" } @@ -1541,7 +1538,7 @@ }, { "cell_type": "code", - "execution_count": 28, + "execution_count": 29, "metadata": {}, "outputs": [ { @@ -1550,7 +1547,7 @@ "True" ] }, - "execution_count": 28, + "execution_count": 29, "metadata": {}, "output_type": "execute_result" } @@ -1561,16 +1558,16 @@ }, { "cell_type": "code", - "execution_count": 29, + "execution_count": 30, "metadata": {}, "outputs": [ { "data": { "text/plain": [ - "('febffabcddaaaeffcdhcdaffgfafafcchfffdcbbbagbdfdbdd', False, False)" + "('dbgdadhhhhacehhbdfdcffdghcahbbceegebbfhabafecadhhe', False, False)" ] }, - "execution_count": 29, + "execution_count": 30, "metadata": {}, "output_type": "execute_result" } @@ -1582,7 +1579,7 @@ }, { "cell_type": "code", - "execution_count": 30, + "execution_count": 31, "metadata": {}, "outputs": [ { @@ -1590,7 +1587,7 @@ "output_type": "stream", "text": [ "T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - "T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", + ". T T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", @@ -1640,7 +1637,7 @@ ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", ". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .\n", - "\n" + "dFb\n" ] }, { @@ -1649,7 +1646,7 @@ "False" ] }, - "execution_count": 30, + "execution_count": 31, "metadata": {}, "output_type": "execute_result" } @@ -1663,7 +1660,7 @@ }, { "cell_type": "code", - "execution_count": 31, + "execution_count": 32, "metadata": { "collapsed": true }, @@ -1687,7 +1684,256 @@ }, { "cell_type": "code", - "execution_count": 32, + "execution_count": 33, + "metadata": { + "collapsed": true + }, + "outputs": [], + "source": [ + "import uuid" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "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": 69, + "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": 61, + "metadata": { + "collapsed": true + }, + "outputs": [], + "source": [ + "s1 = \"aabcc\"\n", + "s2 = \"dbbca\"\n", + "\n", + "s3t = \"aadbbcbcac\"\n", + "s3f = \"aadbbbaccc\"" + ] + }, + { + "cell_type": "code", + "execution_count": 70, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "n825af3fb1bf441a3b97d8fbfcdce6f3d [label=\"aabcc\\ndbbca\\naadbbcbcac\"];\n", + "n825af3fb1bf441a3b97d8fbfcdce6f3d -> n944a00ca9b134f3c98aeef34526ff17d;\n", + "n944a00ca9b134f3c98aeef34526ff17d [label=\"aabc\\ndbbca\\naadbbcbca\"];\n", + "n944a00ca9b134f3c98aeef34526ff17d -> n1586862dcfb74b1a9e9f964b7de102ef;\n", + "n1586862dcfb74b1a9e9f964b7de102ef [label=\"aabc\\ndbbc\\naadbbcbc\"];\n", + "n1586862dcfb74b1a9e9f964b7de102ef -> nf59278631d8047e7b0cca670e412297b;\n", + "n1586862dcfb74b1a9e9f964b7de102ef -> nd83e9c32d1fa43bab45dc21d46830924;\n", + "nf59278631d8047e7b0cca670e412297b [label=\"aab\\ndbbc\\naadbbcb\"];\n", + "nf59278631d8047e7b0cca670e412297b -> nb0424588e9354d2aa61b587a7edfb7f6;\n", + "nb0424588e9354d2aa61b587a7edfb7f6 [label=\"aa\\ndbbc\\naadbbc\"];\n", + "nb0424588e9354d2aa61b587a7edfb7f6 -> nb73d85cfb09e43d692de22a49de48b35;\n", + "nb73d85cfb09e43d692de22a49de48b35 [label=\"aa\\ndbb\\naadbb\"];\n", + "nb73d85cfb09e43d692de22a49de48b35 -> n9e34f866ae1746d797cebd4e1fc73af9;\n", + "n9e34f866ae1746d797cebd4e1fc73af9 [label=\"aa\\ndb\\naadb\"];\n", + "n9e34f866ae1746d797cebd4e1fc73af9 -> n5c7027bfea9f494894cea01fd5e25387;\n", + "n5c7027bfea9f494894cea01fd5e25387 [label=\"aa\\nd\\naad\"];\n", + "n5c7027bfea9f494894cea01fd5e25387 -> n650da0feb2624011a20e209bada2445c;\n", + "n650da0feb2624011a20e209bada2445c [label=\"aa\\n-\\naa\\nTrue\"];\n", + "nd83e9c32d1fa43bab45dc21d46830924 [label=\"aabc\\ndbb\\naadbbcb\"];\n", + "nd83e9c32d1fa43bab45dc21d46830924 -> n1c4772b660f24d6da9194d16be602b3a;\n", + "n1c4772b660f24d6da9194d16be602b3a [label=\"aabc\\ndb\\naadbbc\"];\n", + "n1c4772b660f24d6da9194d16be602b3a -> n0393745322e447c79515cffb4afc4d5b;\n", + "n0393745322e447c79515cffb4afc4d5b [label=\"aab\\ndb\\naadbb\"];\n", + "n0393745322e447c79515cffb4afc4d5b -> na9ae42f3b7dd415886e78bb960b94184;\n", + "n0393745322e447c79515cffb4afc4d5b -> nccaf23a4e311415cbe42bedd8a3727c2;\n", + "na9ae42f3b7dd415886e78bb960b94184 [label=\"aa\\ndb\\naadb\"];\n", + "na9ae42f3b7dd415886e78bb960b94184 -> nab2d4f76a75c4c6686166212cad4b4a3;\n", + "nab2d4f76a75c4c6686166212cad4b4a3 [label=\"aa\\nd\\naad\"];\n", + "nab2d4f76a75c4c6686166212cad4b4a3 -> nee8a56cc920943e0a2593a8ee863c53c;\n", + "nee8a56cc920943e0a2593a8ee863c53c [label=\"aa\\n-\\naa\\nTrue\"];\n", + "nccaf23a4e311415cbe42bedd8a3727c2 [label=\"aab\\nd\\naadb\"];\n", + "nccaf23a4e311415cbe42bedd8a3727c2 -> ne1d3cf2b04074c10986fdefb464e5da8;\n", + "ne1d3cf2b04074c10986fdefb464e5da8 [label=\"aa\\nd\\naad\"];\n", + "ne1d3cf2b04074c10986fdefb464e5da8 -> n9091b74bc8a64b91a9e75aef6b016a64;\n", + "n9091b74bc8a64b91a9e75aef6b016a64 [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": 71, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "n894a2781e978478699af2875308ec4ad [label=\"aaa\\naaa\\naaaaaa\"];\n", + "n894a2781e978478699af2875308ec4ad -> n863e03f8030547bf9f4e7a4815c4e027;\n", + "n894a2781e978478699af2875308ec4ad -> n4c492e6eb94741d2b11567b1b4c729fa;\n", + "n863e03f8030547bf9f4e7a4815c4e027 [label=\"aa\\naaa\\naaaaa\"];\n", + "n863e03f8030547bf9f4e7a4815c4e027 -> n8f044087a7324ef69d5cf2ae120c0902;\n", + "n863e03f8030547bf9f4e7a4815c4e027 -> n5510c6a96018480ba0fc2315d34a69e6;\n", + "n8f044087a7324ef69d5cf2ae120c0902 [label=\"a\\naaa\\naaaa\"];\n", + "n8f044087a7324ef69d5cf2ae120c0902 -> n6f3153ef68384ebbbe5860a48c774d55;\n", + "n8f044087a7324ef69d5cf2ae120c0902 -> n4d068ce52cf248adb3b537805a233dda;\n", + "n6f3153ef68384ebbbe5860a48c774d55 [label=\"-\\naaa\\naaa\\nTrue\"];\n", + "n4d068ce52cf248adb3b537805a233dda [label=\"a\\naa\\naaa\"];\n", + "n4d068ce52cf248adb3b537805a233dda -> nb85aee31625f4998b596d9b6ea3b77fd;\n", + "n4d068ce52cf248adb3b537805a233dda -> nec2837ce384246ffb06e3d4090adfb37;\n", + "nb85aee31625f4998b596d9b6ea3b77fd [label=\"-\\naa\\naa\\nTrue\"];\n", + "nec2837ce384246ffb06e3d4090adfb37 [label=\"a\\na\\naa\"];\n", + "nec2837ce384246ffb06e3d4090adfb37 -> n9c395901af2d4e67a7e5a370f759bce6;\n", + "nec2837ce384246ffb06e3d4090adfb37 -> nff84b0c784744901afb3ac8a5aef3c23;\n", + "n9c395901af2d4e67a7e5a370f759bce6 [label=\"-\\na\\na\\nTrue\"];\n", + "nff84b0c784744901afb3ac8a5aef3c23 [label=\"a\\n-\\na\\nTrue\"];\n", + "n5510c6a96018480ba0fc2315d34a69e6 [label=\"aa\\naa\\naaaa\"];\n", + "n5510c6a96018480ba0fc2315d34a69e6 -> n5eaaabd1caef4c3f8f6607a8bb254906;\n", + "n5510c6a96018480ba0fc2315d34a69e6 -> n6041081af67d4f57968572aa2051d1bc;\n", + "n5eaaabd1caef4c3f8f6607a8bb254906 [label=\"a\\naa\\naaa\"];\n", + "n5eaaabd1caef4c3f8f6607a8bb254906 -> n6dd23a9ed026429fb57cbf94e6283364;\n", + "n5eaaabd1caef4c3f8f6607a8bb254906 -> n3042bda75e7c4d8f8a9ccc464f0ba724;\n", + "n6dd23a9ed026429fb57cbf94e6283364 [label=\"-\\naa\\naa\\nTrue\"];\n", + "n3042bda75e7c4d8f8a9ccc464f0ba724 [label=\"a\\na\\naa\"];\n", + "n3042bda75e7c4d8f8a9ccc464f0ba724 -> n5e702eeee87042deb3157b6663b1f07a;\n", + "n3042bda75e7c4d8f8a9ccc464f0ba724 -> n37928d6516f942008c5e89b5c37098ee;\n", + "n5e702eeee87042deb3157b6663b1f07a [label=\"-\\na\\na\\nTrue\"];\n", + "n37928d6516f942008c5e89b5c37098ee [label=\"a\\n-\\na\\nTrue\"];\n", + "n6041081af67d4f57968572aa2051d1bc [label=\"aa\\na\\naaa\"];\n", + "n6041081af67d4f57968572aa2051d1bc -> nbb96e07d3c89450cb92ad725f6fc4845;\n", + "n6041081af67d4f57968572aa2051d1bc -> n0dbe764d7e4a429298f2d3583e8c84b1;\n", + "nbb96e07d3c89450cb92ad725f6fc4845 [label=\"a\\na\\naa\"];\n", + "nbb96e07d3c89450cb92ad725f6fc4845 -> nbe5a7be2ec824370a293e7aa8f3a5467;\n", + "nbb96e07d3c89450cb92ad725f6fc4845 -> ndc15a7d84b734bb793055e4712a82d5c;\n", + "nbe5a7be2ec824370a293e7aa8f3a5467 [label=\"-\\na\\na\\nTrue\"];\n", + "ndc15a7d84b734bb793055e4712a82d5c [label=\"a\\n-\\na\\nTrue\"];\n", + "n0dbe764d7e4a429298f2d3583e8c84b1 [label=\"aa\\n-\\naa\\nTrue\"];\n", + "n4c492e6eb94741d2b11567b1b4c729fa [label=\"aaa\\naa\\naaaaa\"];\n", + "n4c492e6eb94741d2b11567b1b4c729fa -> n0e78dd2900a34a7297cc0ea2bb27e30c;\n", + "n4c492e6eb94741d2b11567b1b4c729fa -> nc18fe2c53e9e4209a9af9c0678465b1f;\n", + "n0e78dd2900a34a7297cc0ea2bb27e30c [label=\"aa\\naa\\naaaa\"];\n", + "n0e78dd2900a34a7297cc0ea2bb27e30c -> n1b98c16a65994faaa980d9c530383c77;\n", + "n0e78dd2900a34a7297cc0ea2bb27e30c -> n33dbe313802045f8895d0e904d588881;\n", + "n1b98c16a65994faaa980d9c530383c77 [label=\"a\\naa\\naaa\"];\n", + "n1b98c16a65994faaa980d9c530383c77 -> n5e7c6dff46ff49f7903eb543c02fa22b;\n", + "n1b98c16a65994faaa980d9c530383c77 -> n33391a1fab3849cf9823ccc7396aa7d4;\n", + "n5e7c6dff46ff49f7903eb543c02fa22b [label=\"-\\naa\\naa\\nTrue\"];\n", + "n33391a1fab3849cf9823ccc7396aa7d4 [label=\"a\\na\\naa\"];\n", + "n33391a1fab3849cf9823ccc7396aa7d4 -> n13b4732016804c3986853f6d2fe4a28b;\n", + "n33391a1fab3849cf9823ccc7396aa7d4 -> n767be985e5a5469da7cfeea0272705b3;\n", + "n13b4732016804c3986853f6d2fe4a28b [label=\"-\\na\\na\\nTrue\"];\n", + "n767be985e5a5469da7cfeea0272705b3 [label=\"a\\n-\\na\\nTrue\"];\n", + "n33dbe313802045f8895d0e904d588881 [label=\"aa\\na\\naaa\"];\n", + "n33dbe313802045f8895d0e904d588881 -> nf59143762fc643f0bd58507b5097b837;\n", + "n33dbe313802045f8895d0e904d588881 -> n30d968450bf147b68a8d7df49177722c;\n", + "nf59143762fc643f0bd58507b5097b837 [label=\"a\\na\\naa\"];\n", + "nf59143762fc643f0bd58507b5097b837 -> ncd2168bdc52c459d821427219fb885d1;\n", + "nf59143762fc643f0bd58507b5097b837 -> nc6011f3f746f425ab01fd89e1f17cbb4;\n", + "ncd2168bdc52c459d821427219fb885d1 [label=\"-\\na\\na\\nTrue\"];\n", + "nc6011f3f746f425ab01fd89e1f17cbb4 [label=\"a\\n-\\na\\nTrue\"];\n", + "n30d968450bf147b68a8d7df49177722c [label=\"aa\\n-\\naa\\nTrue\"];\n", + "nc18fe2c53e9e4209a9af9c0678465b1f [label=\"aaa\\na\\naaaa\"];\n", + "nc18fe2c53e9e4209a9af9c0678465b1f -> n38a7aa8aab21444d8b9d50ca71871b7e;\n", + "nc18fe2c53e9e4209a9af9c0678465b1f -> n1ec1cf69ce3c4798b305338648a6e46b;\n", + "n38a7aa8aab21444d8b9d50ca71871b7e [label=\"aa\\na\\naaa\"];\n", + "n38a7aa8aab21444d8b9d50ca71871b7e -> nad5433a86522484e85d560ac7d202b3d;\n", + "n38a7aa8aab21444d8b9d50ca71871b7e -> n6bfb83c32f9e46a19e9408fc087e74ae;\n", + "nad5433a86522484e85d560ac7d202b3d [label=\"a\\na\\naa\"];\n", + "nad5433a86522484e85d560ac7d202b3d -> n292f0206736a40ac8f6045ac0d8a0a07;\n", + "nad5433a86522484e85d560ac7d202b3d -> n07c65e03d3bd473f97579a2c63f922c7;\n", + "n292f0206736a40ac8f6045ac0d8a0a07 [label=\"-\\na\\na\\nTrue\"];\n", + "n07c65e03d3bd473f97579a2c63f922c7 [label=\"a\\n-\\na\\nTrue\"];\n", + "n6bfb83c32f9e46a19e9408fc087e74ae [label=\"aa\\n-\\naa\\nTrue\"];\n", + "n1ec1cf69ce3c4798b305338648a6e46b [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": 35, "metadata": { "collapsed": true }, @@ -1702,7 +1948,7 @@ }, { "cell_type": "code", - "execution_count": 33, + "execution_count": 36, "metadata": {}, "outputs": [ { @@ -1711,7 +1957,7 @@ "True" ] }, - "execution_count": 33, + "execution_count": 36, "metadata": {}, "output_type": "execute_result" } @@ -1722,7 +1968,7 @@ }, { "cell_type": "code", - "execution_count": 34, + "execution_count": 37, "metadata": {}, "outputs": [ { @@ -1731,7 +1977,7 @@ "False" ] }, - "execution_count": 34, + "execution_count": 37, "metadata": {}, "output_type": "execute_result" } @@ -1749,7 +1995,7 @@ }, { "cell_type": "code", - "execution_count": 35, + "execution_count": 38, "metadata": { "collapsed": true }, @@ -1762,7 +2008,7 @@ }, { "cell_type": "code", - "execution_count": 36, + "execution_count": 39, "metadata": { "collapsed": true }, @@ -1788,29 +2034,29 @@ }, { "cell_type": "code", - "execution_count": 37, + "execution_count": 40, "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: baddacaddb\n", + "1: bcccacbacb\n", + "2: cdcddbcccacbacbaabcc\n", + "3: cdccdbadcaacbbcccaac\n", + "4: bbacccdacdacadbdbacb\n", + "5: cbaccbbcadadaaccaddb\n", + "6: cbaccbcaac\n" ] }, { "data": { "text/plain": [ - "['bcdbddaccbddbbdaabca']" + "['bbacccdacdacadbdbacb']" ] }, - "execution_count": 37, + "execution_count": 40, "metadata": {}, "output_type": "execute_result" } @@ -1831,7 +2077,7 @@ }, { "cell_type": "code", - "execution_count": 38, + "execution_count": 41, "metadata": {}, "outputs": [ { @@ -1839,19 +2085,19 @@ "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" + "b b . . . . . . . . .\n", + ". a c c c . . . . . .\n", + ". . . . d a c . . . .\n", + ". . . . . . d . . . .\n", + ". . . . . . a . . . .\n", + ". . . . . . c . . . .\n", + ". . . . . . a . . . .\n", + ". . . . . . d b . . .\n", + ". . . . . . . d . . .\n", + ". . . . . . . b a c b\n", + "bBAcccDacDACADbDBacb\n", + "bbacccdacdacadbdbacb\n", + " ** * ***** ** \n" ] }, { @@ -1860,7 +2106,7 @@ "True" ] }, - "execution_count": 38, + "execution_count": 41, "metadata": {}, "output_type": "execute_result" } @@ -1875,24 +2121,24 @@ }, { "cell_type": "code", - "execution_count": 39, + "execution_count": 42, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ - "dcccaadcdddcdbbbadbc\n", - " * **** ** ***\n" + "cbaccbbcadadaaccaddb\n", + " * ** * * *****\n" ] }, { "data": { "text/plain": [ - "4" + "5" ] }, - "execution_count": 39, + "execution_count": 42, "metadata": {}, "output_type": "execute_result" } @@ -1906,27 +2152,27 @@ }, { "cell_type": "code", - "execution_count": 40, + "execution_count": 43, "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", + "* b . . . . . . . . .\n", + "b b a . . . . . . . .\n", + ". . c . . . . . . . .\n", + ". . c . . . . . . . .\n", + ". . c d . . . . . . .\n", + ". . . a . . . . . . .\n", + ". . . c d a c a d . .\n", + ". . . . . . . . b d b\n", ". . . . . . . . . . a\n", - "BcDBddAcCBdDbbdAAbcA\n", - "bcdbddaccbddbbdaabca\n", - "* ** * ** * ** *\n" + ". . . . . . . . . . c\n", + ". . . . . . . . . . b\n", + "bBaCCCdACdacadBdbACB\n", + "bbacccdacdacadbdbacb\n", + " * *** ** * ***\n" ] }, { @@ -1935,7 +2181,7 @@ "True" ] }, - "execution_count": 40, + "execution_count": 43, "metadata": {}, "output_type": "execute_result" } @@ -1950,7 +2196,7 @@ }, { "cell_type": "code", - "execution_count": 41, + "execution_count": 44, "metadata": {}, "outputs": [ { @@ -1958,6 +2204,7 @@ "output_type": "stream", "text": [ "* . . . . . . . . . .\n", + "b . . . . . . . . . .\n", ". . . . . . . . . . .\n", ". . . . . . . . . . .\n", ". . . . . . . . . . .\n", @@ -1967,9 +2214,9 @@ ". . . . . . . . . . .\n", ". . . . . . . . . . .\n", ". . . . . . . . . . .\n", - ". . . . . . . . . . .\n", - "\n", - "\n" + "B\n", + "b\n", + "*\n" ] }, { @@ -1978,7 +2225,7 @@ "False" ] }, - "execution_count": 41, + "execution_count": 44, "metadata": {}, "output_type": "execute_result" } @@ -1993,7 +2240,7 @@ }, { "cell_type": "code", - "execution_count": 42, + "execution_count": 45, "metadata": {}, "outputs": [ { @@ -2022,7 +2269,7 @@ "False" ] }, - "execution_count": 42, + "execution_count": 45, "metadata": {}, "output_type": "execute_result" } @@ -2058,7 +2305,7 @@ }, { "cell_type": "code", - "execution_count": 43, + "execution_count": 46, "metadata": { "collapsed": true }, @@ -2079,7 +2326,7 @@ }, { "cell_type": "code", - "execution_count": 44, + "execution_count": 47, "metadata": { "collapsed": true }, @@ -2090,15 +2337,15 @@ }, { "cell_type": "code", - "execution_count": 45, + "execution_count": 48, "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 2.96 s, sys: 4 ms, total: 2.97 s\n", + "Wall time: 2.97 s\n" ] }, { @@ -2107,7 +2354,7 @@ "[0]" ] }, - "execution_count": 45, + "execution_count": 48, "metadata": {}, "output_type": "execute_result" } @@ -2118,15 +2365,15 @@ }, { "cell_type": "code", - "execution_count": 46, + "execution_count": 49, "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 660 ms, sys: 0 ns, total: 660 ms\n", + "Wall time: 658 ms\n" ] }, { @@ -2135,7 +2382,7 @@ "[0]" ] }, - "execution_count": 46, + "execution_count": 49, "metadata": {}, "output_type": "execute_result" } @@ -2146,7 +2393,7 @@ }, { "cell_type": "code", - "execution_count": 47, + "execution_count": 50, "metadata": { "collapsed": true }, @@ -2180,7 +2427,7 @@ }, { "cell_type": "code", - "execution_count": 94, + "execution_count": 52, "metadata": { "collapsed": true }, @@ -2200,7 +2447,7 @@ }, { "cell_type": "code", - "execution_count": 88, + "execution_count": 53, "metadata": {}, "outputs": [ { @@ -2209,7 +2456,7 @@ "(40, 40, 20, 20)" ] }, - "execution_count": 88, + "execution_count": 53, "metadata": {}, "output_type": "execute_result" } @@ -2240,7 +2487,7 @@ }, { "cell_type": "code", - "execution_count": 89, + "execution_count": 54, "metadata": {}, "outputs": [ { @@ -2249,7 +2496,7 @@ "(True, True)" ] }, - "execution_count": 89, + "execution_count": 54, "metadata": {}, "output_type": "execute_result" } @@ -2260,7 +2507,7 @@ }, { "cell_type": "code", - "execution_count": 90, + "execution_count": 55, "metadata": {}, "outputs": [ { @@ -2269,7 +2516,7 @@ "(True, True)" ] }, - "execution_count": 90, + "execution_count": 55, "metadata": {}, "output_type": "execute_result" } @@ -2280,7 +2527,7 @@ }, { "cell_type": "code", - "execution_count": 91, + "execution_count": 56, "metadata": {}, "outputs": [ { @@ -2289,7 +2536,7 @@ "(False, True)" ] }, - "execution_count": 91, + "execution_count": 56, "metadata": {}, "output_type": "execute_result" } @@ -2300,19 +2547,19 @@ }, { "cell_type": "code", - "execution_count": 93, + "execution_count": 57, "metadata": {}, "outputs": [ { "data": { "text/plain": [ - "('efcfdffcdbcehdffghch',\n", - " 'hhdgeffcdbcehdfhfded',\n", - " 'hhefdcgefdffdhgcdbcdbbeebhdefgfhgfdehdch',\n", - " 'hhdegeffcffcdfdbcefchdfdbchehfddeffghdch')" + "('echgeaeeefdcebeaahaf',\n", + " 'eeahaaeeefdcebedghbg',\n", + " 'eeecahahgeaaeeebafaadgceadabefdaghbgahaf',\n", + " 'eecheagehaaaeeeeeefdcebefadahcaebfedghbg')" ] }, - "execution_count": 93, + "execution_count": 57, "metadata": {}, "output_type": "execute_result" } @@ -2323,7 +2570,7 @@ }, { "cell_type": "code", - "execution_count": 96, + "execution_count": 58, "metadata": {}, "outputs": [ { @@ -2332,7 +2579,7 @@ "False" ] }, - "execution_count": 96, + "execution_count": 58, "metadata": {}, "output_type": "execute_result" } @@ -2344,16 +2591,16 @@ }, { "cell_type": "code", - "execution_count": 98, + "execution_count": 59, "metadata": {}, "outputs": [ { "data": { "text/plain": [ - "('hhdgeffcdbcehfdhfded', 'hhdgeffcdbcehdfhfded')" + "('eeahaaeeefdceb', 'eeahaaeeefdcebedghbg')" ] }, - "execution_count": 98, + "execution_count": 59, "metadata": {}, "output_type": "execute_result" } diff --git a/09-resolving-the-bill/it.dot b/09-resolving-the-bill/it.dot new file mode 100644 index 0000000..90afb59 --- /dev/null +++ b/09-resolving-the-bill/it.dot @@ -0,0 +1,41 @@ +digraph G { + + +n825af3fb1bf441a3b97d8fbfcdce6f3d [label="aabcc\ndbbca\naadbbcbcac"]; +n825af3fb1bf441a3b97d8fbfcdce6f3d -> n944a00ca9b134f3c98aeef34526ff17d; +n944a00ca9b134f3c98aeef34526ff17d [label="aabc\ndbbca\naadbbcbca"]; +n944a00ca9b134f3c98aeef34526ff17d -> n1586862dcfb74b1a9e9f964b7de102ef; +n1586862dcfb74b1a9e9f964b7de102ef [label="aabc\ndbbc\naadbbcbc"]; +n1586862dcfb74b1a9e9f964b7de102ef -> nf59278631d8047e7b0cca670e412297b; +n1586862dcfb74b1a9e9f964b7de102ef -> nd83e9c32d1fa43bab45dc21d46830924; +nf59278631d8047e7b0cca670e412297b [label="aab\ndbbc\naadbbcb"]; +nf59278631d8047e7b0cca670e412297b -> nb0424588e9354d2aa61b587a7edfb7f6; +nb0424588e9354d2aa61b587a7edfb7f6 [label="aa\ndbbc\naadbbc"]; +nb0424588e9354d2aa61b587a7edfb7f6 -> nb73d85cfb09e43d692de22a49de48b35; +nb73d85cfb09e43d692de22a49de48b35 [label="aa\ndbb\naadbb"]; +nb73d85cfb09e43d692de22a49de48b35 -> n9e34f866ae1746d797cebd4e1fc73af9; +n9e34f866ae1746d797cebd4e1fc73af9 [label="aa\ndb\naadb"]; +n9e34f866ae1746d797cebd4e1fc73af9 -> n5c7027bfea9f494894cea01fd5e25387; +n5c7027bfea9f494894cea01fd5e25387 [label="aa\nd\naad"]; +n5c7027bfea9f494894cea01fd5e25387 -> n650da0feb2624011a20e209bada2445c; +n650da0feb2624011a20e209bada2445c [label="aa\n-\naa\nTrue"]; +nd83e9c32d1fa43bab45dc21d46830924 [label="aabc\ndbb\naadbbcb"]; +nd83e9c32d1fa43bab45dc21d46830924 -> n1c4772b660f24d6da9194d16be602b3a; +n1c4772b660f24d6da9194d16be602b3a [label="aabc\ndb\naadbbc"]; +n1c4772b660f24d6da9194d16be602b3a -> n0393745322e447c79515cffb4afc4d5b; +n0393745322e447c79515cffb4afc4d5b [label="aab\ndb\naadbb"]; +n0393745322e447c79515cffb4afc4d5b -> na9ae42f3b7dd415886e78bb960b94184; +n0393745322e447c79515cffb4afc4d5b -> nccaf23a4e311415cbe42bedd8a3727c2; +na9ae42f3b7dd415886e78bb960b94184 [label="aa\ndb\naadb"]; +na9ae42f3b7dd415886e78bb960b94184 -> nab2d4f76a75c4c6686166212cad4b4a3; +nab2d4f76a75c4c6686166212cad4b4a3 [label="aa\nd\naad"]; +nab2d4f76a75c4c6686166212cad4b4a3 -> nee8a56cc920943e0a2593a8ee863c53c; +nee8a56cc920943e0a2593a8ee863c53c [label="aa\n-\naa\nTrue"]; +nccaf23a4e311415cbe42bedd8a3727c2 [label="aab\nd\naadb"]; +nccaf23a4e311415cbe42bedd8a3727c2 -> ne1d3cf2b04074c10986fdefb464e5da8; +ne1d3cf2b04074c10986fdefb464e5da8 [label="aa\nd\naad"]; +ne1d3cf2b04074c10986fdefb464e5da8 -> n9091b74bc8a64b91a9e75aef6b016a64; +n9091b74bc8a64b91a9e75aef6b016a64 [label="aa\n-\naa\nTrue"]; + + +} diff --git a/09-resolving-the-bill/it.dot.png b/09-resolving-the-bill/it.dot.png new file mode 100644 index 0000000..84c1f71 Binary files /dev/null and b/09-resolving-the-bill/it.dot.png differ diff --git a/09-resolving-the-bill/subsequence.ipynb b/09-resolving-the-bill/subsequence.ipynb index 0966d73..53055e8 100644 --- a/09-resolving-the-bill/subsequence.ipynb +++ b/09-resolving-the-bill/subsequence.ipynb @@ -19,7 +19,7 @@ }, { "cell_type": "code", - "execution_count": 7, + "execution_count": 1, "metadata": { "collapsed": true }, @@ -30,7 +30,7 @@ }, { "cell_type": "code", - "execution_count": 8, + "execution_count": 55, "metadata": { "collapsed": true }, @@ -52,7 +52,7 @@ }, { "cell_type": "code", - "execution_count": 9, + "execution_count": 3, "metadata": { "scrolled": true }, @@ -128,7 +128,7 @@ " (5, 10): False}" ] }, - "execution_count": 9, + "execution_count": 3, "metadata": {}, "output_type": "execute_result" } @@ -142,7 +142,7 @@ }, { "cell_type": "code", - "execution_count": 10, + "execution_count": 4, "metadata": { "collapsed": true }, @@ -156,7 +156,7 @@ }, { "cell_type": "code", - "execution_count": 11, + "execution_count": 5, "metadata": {}, "outputs": [ { @@ -178,7 +178,7 @@ }, { "cell_type": "code", - "execution_count": 12, + "execution_count": 6, "metadata": {}, "outputs": [ { @@ -255,7 +255,7 @@ " (4, 7): (4, 6, 'b', 's2')}" ] }, - "execution_count": 12, + "execution_count": 6, "metadata": {}, "output_type": "execute_result" } @@ -299,7 +299,7 @@ }, { "cell_type": "code", - "execution_count": 13, + "execution_count": 7, "metadata": { "collapsed": true }, @@ -323,7 +323,7 @@ }, { "cell_type": "code", - "execution_count": 14, + "execution_count": 8, "metadata": {}, "outputs": [ { @@ -332,7 +332,7 @@ "'AAAbAbb'" ] }, - "execution_count": 14, + "execution_count": 8, "metadata": {}, "output_type": "execute_result" } @@ -343,7 +343,7 @@ }, { "cell_type": "code", - "execution_count": 15, + "execution_count": 9, "metadata": { "collapsed": true }, @@ -400,7 +400,7 @@ }, { "cell_type": "code", - "execution_count": 16, + "execution_count": 10, "metadata": { "scrolled": true }, @@ -468,7 +468,7 @@ "True" ] }, - "execution_count": 16, + "execution_count": 10, "metadata": {}, "output_type": "execute_result" } @@ -479,7 +479,7 @@ }, { "cell_type": "code", - "execution_count": 17, + "execution_count": 11, "metadata": { "collapsed": true }, @@ -492,7 +492,7 @@ }, { "cell_type": "code", - "execution_count": 18, + "execution_count": 12, "metadata": {}, "outputs": [ { @@ -501,7 +501,7 @@ "True" ] }, - "execution_count": 18, + "execution_count": 12, "metadata": {}, "output_type": "execute_result" } @@ -513,7 +513,7 @@ }, { "cell_type": "code", - "execution_count": 19, + "execution_count": 13, "metadata": {}, "outputs": [ { @@ -522,7 +522,7 @@ "'AbAAbcAcb'" ] }, - "execution_count": 19, + "execution_count": 13, "metadata": {}, "output_type": "execute_result" } @@ -533,7 +533,7 @@ }, { "cell_type": "code", - "execution_count": 20, + "execution_count": 14, "metadata": {}, "outputs": [ { @@ -554,7 +554,7 @@ }, { "cell_type": "code", - "execution_count": 21, + "execution_count": 15, "metadata": {}, "outputs": [ { @@ -575,7 +575,7 @@ }, { "cell_type": "code", - "execution_count": 22, + "execution_count": 16, "metadata": {}, "outputs": [ { @@ -584,7 +584,7 @@ "False" ] }, - "execution_count": 22, + "execution_count": 16, "metadata": {}, "output_type": "execute_result" } @@ -595,7 +595,7 @@ }, { "cell_type": "code", - "execution_count": 23, + "execution_count": 17, "metadata": {}, "outputs": [ { @@ -604,7 +604,7 @@ "('aaaa', 'dabaabcacb')" ] }, - "execution_count": 23, + "execution_count": 17, "metadata": {}, "output_type": "execute_result" } @@ -615,7 +615,7 @@ }, { "cell_type": "code", - "execution_count": 24, + "execution_count": 18, "metadata": {}, "outputs": [ { @@ -648,7 +648,7 @@ " (4, 10): (4, 9, 'b', 's2')}" ] }, - "execution_count": 24, + "execution_count": 18, "metadata": {}, "output_type": "execute_result" } @@ -659,7 +659,7 @@ }, { "cell_type": "code", - "execution_count": 25, + "execution_count": 19, "metadata": {}, "outputs": [ { @@ -668,7 +668,7 @@ "False" ] }, - "execution_count": 25, + "execution_count": 19, "metadata": {}, "output_type": "execute_result" } @@ -679,7 +679,7 @@ }, { "cell_type": "code", - "execution_count": 26, + "execution_count": 20, "metadata": { "scrolled": true }, @@ -753,7 +753,7 @@ " (4, 7): (4, 6, 'b', 's2')})" ] }, - "execution_count": 26, + "execution_count": 20, "metadata": {}, "output_type": "execute_result" } @@ -764,13 +764,14 @@ }, { "cell_type": "code", - "execution_count": 27, + "execution_count": 77, "metadata": { "collapsed": true }, "outputs": [], "source": [ "def is_subseq_recursive(s1, s2):\n", + "# print(s1, s2)\n", " if not s1:\n", " return True\n", " elif len(s1) > len(s2):\n", @@ -784,7 +785,7 @@ }, { "cell_type": "code", - "execution_count": 45, + "execution_count": 67, "metadata": { "collapsed": true }, @@ -805,6 +806,17 @@ { "cell_type": "code", "execution_count": 28, + "metadata": { + "collapsed": true + }, + "outputs": [], + "source": [ + "import uuid" + ] + }, + { + "cell_type": "code", + "execution_count": 24, "metadata": {}, "outputs": [ { @@ -813,7 +825,7 @@ "True" ] }, - "execution_count": 28, + "execution_count": 24, "metadata": {}, "output_type": "execute_result" } @@ -824,7 +836,7 @@ }, { "cell_type": "code", - "execution_count": 29, + "execution_count": 25, "metadata": {}, "outputs": [ { @@ -833,7 +845,7 @@ "False" ] }, - "execution_count": 29, + "execution_count": 25, "metadata": {}, "output_type": "execute_result" } @@ -842,6 +854,311 @@ "is_subseq_recursive(s1, s2f)" ] }, + { + "cell_type": "code", + "execution_count": 76, + "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": 51, + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "'ae50b62c418f4ba8902bfa8bab4948e0'" + ] + }, + "execution_count": 51, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "uuid.uuid4().hex" + ] + }, + { + "cell_type": "code", + "execution_count": 78, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "nd5092f0e2ba047ba9b662e17a650791a [label=\"daabcc\\ndabaabcacb\"];\n", + "nd5092f0e2ba047ba9b662e17a650791a -> nc243f60568164ba495d5f89dc1075a85;\n", + "nc243f60568164ba495d5f89dc1075a85 [label=\"daabcc\\ndabaabcac\"];\n", + "nc243f60568164ba495d5f89dc1075a85 -> n933e3a2ebca34034866b98ab19ee3f90;\n", + "nc243f60568164ba495d5f89dc1075a85 -> n3c49af7ea69340f2a97827a0547f73db;\n", + "n933e3a2ebca34034866b98ab19ee3f90 [label=\"daabc\\ndabaabca\"];\n", + "n933e3a2ebca34034866b98ab19ee3f90 -> n8d50442e9d704d7a8e9f0ba2f38e73fc;\n", + "n8d50442e9d704d7a8e9f0ba2f38e73fc [label=\"daabc\\ndabaabc\"];\n", + "n8d50442e9d704d7a8e9f0ba2f38e73fc -> n942c205bd0994681bf159f01fc42d0f5;\n", + "n8d50442e9d704d7a8e9f0ba2f38e73fc -> n8aab1aa30e494cef8895ff177a1d0623;\n", + "n942c205bd0994681bf159f01fc42d0f5 [label=\"daab\\ndabaab\"];\n", + "n942c205bd0994681bf159f01fc42d0f5 -> na797ca966ed045d5a14888ef06ae64ba;\n", + "n942c205bd0994681bf159f01fc42d0f5 -> nd7ea02b3fb6348e49929c458903e1c66;\n", + "na797ca966ed045d5a14888ef06ae64ba [label=\"daa\\ndabaa\"];\n", + "na797ca966ed045d5a14888ef06ae64ba -> nfc8f27c7ea3b45f69d3e28ff7397c211;\n", + "na797ca966ed045d5a14888ef06ae64ba -> nfc96ed80812342958197f351bf4bb6c4;\n", + "nfc8f27c7ea3b45f69d3e28ff7397c211 [label=\"da\\ndaba\"];\n", + "nfc8f27c7ea3b45f69d3e28ff7397c211 -> n0fba1674138c4ee2a437ec3bfe3c0c34;\n", + "nfc8f27c7ea3b45f69d3e28ff7397c211 -> n214435af4c204b2bac186c6bc7fd4b43;\n", + "n0fba1674138c4ee2a437ec3bfe3c0c34 [label=\"d\\ndab\"];\n", + "n0fba1674138c4ee2a437ec3bfe3c0c34 -> nbbbca27c4d794d3396c58908f36ad8b1;\n", + "nbbbca27c4d794d3396c58908f36ad8b1 [label=\"d\\nda\"];\n", + "nbbbca27c4d794d3396c58908f36ad8b1 -> n4a39eb3283ba4896bd0ae98e695a5e78;\n", + "n4a39eb3283ba4896bd0ae98e695a5e78 [label=\"d\\nd\"];\n", + "n4a39eb3283ba4896bd0ae98e695a5e78 -> n0f69ba31cb9341b8a0e01b58e94ecc3e;\n", + "n4a39eb3283ba4896bd0ae98e695a5e78 -> n01a1efd1fe0148409aa9ae19a57a1c11;\n", + "n0f69ba31cb9341b8a0e01b58e94ecc3e [label=\"-\\n\\nTrue\"];\n", + "n01a1efd1fe0148409aa9ae19a57a1c11 [label=\"d\\n\\nFalse\"];\n", + "n214435af4c204b2bac186c6bc7fd4b43 [label=\"da\\ndab\"];\n", + "n214435af4c204b2bac186c6bc7fd4b43 -> n7f75729c74d944199866bc8242166a15;\n", + "n7f75729c74d944199866bc8242166a15 [label=\"da\\nda\"];\n", + "n7f75729c74d944199866bc8242166a15 -> nfe2ac3cf290844a686eb20c8a1419632;\n", + "n7f75729c74d944199866bc8242166a15 -> n99dabcab19424f76aade00e10b247e28;\n", + "nfe2ac3cf290844a686eb20c8a1419632 [label=\"d\\nd\"];\n", + "nfe2ac3cf290844a686eb20c8a1419632 -> n4ef4c358f84b44f0816ee6c23bc87c23;\n", + "nfe2ac3cf290844a686eb20c8a1419632 -> n0fcf711c28b84e869cd5b1ad29147b79;\n", + "n4ef4c358f84b44f0816ee6c23bc87c23 [label=\"-\\n\\nTrue\"];\n", + "n0fcf711c28b84e869cd5b1ad29147b79 [label=\"d\\n\\nFalse\"];\n", + "n99dabcab19424f76aade00e10b247e28 [label=\"da\\nd\\nFalse\"];\n", + "nfc96ed80812342958197f351bf4bb6c4 [label=\"daa\\ndaba\"];\n", + "nfc96ed80812342958197f351bf4bb6c4 -> n6f68fb9a9f774752ada474efa377f60e;\n", + "nfc96ed80812342958197f351bf4bb6c4 -> ne0abe88f3d764703a75eed757cc316bf;\n", + "n6f68fb9a9f774752ada474efa377f60e [label=\"da\\ndab\"];\n", + "n6f68fb9a9f774752ada474efa377f60e -> n9c89649fee58407db0ff5d0ba2eb4f2d;\n", + "n9c89649fee58407db0ff5d0ba2eb4f2d [label=\"da\\nda\"];\n", + "n9c89649fee58407db0ff5d0ba2eb4f2d -> n34738b8c332d4e559f9aa7c7eec42e72;\n", + "n9c89649fee58407db0ff5d0ba2eb4f2d -> n446a9bd7fa264edcb2bf289b4fe55f71;\n", + "n34738b8c332d4e559f9aa7c7eec42e72 [label=\"d\\nd\"];\n", + "n34738b8c332d4e559f9aa7c7eec42e72 -> n73e44dd0c7f248a3bd4aa11de6040c5f;\n", + "n34738b8c332d4e559f9aa7c7eec42e72 -> n7af9d67feb864b8ea552f84d64b3e610;\n", + "n73e44dd0c7f248a3bd4aa11de6040c5f [label=\"-\\n\\nTrue\"];\n", + "n7af9d67feb864b8ea552f84d64b3e610 [label=\"d\\n\\nFalse\"];\n", + "n446a9bd7fa264edcb2bf289b4fe55f71 [label=\"da\\nd\\nFalse\"];\n", + "ne0abe88f3d764703a75eed757cc316bf [label=\"daa\\ndab\"];\n", + "ne0abe88f3d764703a75eed757cc316bf -> n639c085cdfa84e26a754dd4aa56a044e;\n", + "n639c085cdfa84e26a754dd4aa56a044e [label=\"daa\\nda\\nFalse\"];\n", + "nd7ea02b3fb6348e49929c458903e1c66 [label=\"daab\\ndabaa\"];\n", + "nd7ea02b3fb6348e49929c458903e1c66 -> nbfa7d3dbec204c328749c3db14b668ea;\n", + "nbfa7d3dbec204c328749c3db14b668ea [label=\"daab\\ndaba\"];\n", + "nbfa7d3dbec204c328749c3db14b668ea -> nabacc0aef05041c5998655b5e68b6d94;\n", + "nabacc0aef05041c5998655b5e68b6d94 [label=\"daab\\ndab\\nFalse\"];\n", + "n8aab1aa30e494cef8895ff177a1d0623 [label=\"daabc\\ndabaab\"];\n", + "n8aab1aa30e494cef8895ff177a1d0623 -> nd04c429a65b74db8902b1a2725254549;\n", + "nd04c429a65b74db8902b1a2725254549 [label=\"daabc\\ndabaa\"];\n", + "nd04c429a65b74db8902b1a2725254549 -> nff340dd0af774bf0818a959dad441b84;\n", + "nff340dd0af774bf0818a959dad441b84 [label=\"daabc\\ndaba\\nFalse\"];\n", + "n3c49af7ea69340f2a97827a0547f73db [label=\"daabcc\\ndabaabca\"];\n", + "n3c49af7ea69340f2a97827a0547f73db -> n5f1bfeaf12e247d9bc9ca4641cb72fb5;\n", + "n5f1bfeaf12e247d9bc9ca4641cb72fb5 [label=\"daabcc\\ndabaabc\"];\n", + "n5f1bfeaf12e247d9bc9ca4641cb72fb5 -> na504494b1bc842bd800600c18478723a;\n", + "n5f1bfeaf12e247d9bc9ca4641cb72fb5 -> n13e17edfcd5a4128996ba5dd2473f244;\n", + "na504494b1bc842bd800600c18478723a [label=\"daabc\\ndabaab\"];\n", + "na504494b1bc842bd800600c18478723a -> n78a73478b48c43d594e6a04a79c61946;\n", + "n78a73478b48c43d594e6a04a79c61946 [label=\"daabc\\ndabaa\"];\n", + "n78a73478b48c43d594e6a04a79c61946 -> na3c9f1e44c6546ba9b4c49c48ae842ba;\n", + "na3c9f1e44c6546ba9b4c49c48ae842ba [label=\"daabc\\ndaba\\nFalse\"];\n", + "n13e17edfcd5a4128996ba5dd2473f244 [label=\"daabcc\\ndabaab\"];\n", + "n13e17edfcd5a4128996ba5dd2473f244 -> n5624db7a63c643bcafb2ba6797348bba;\n", + "n5624db7a63c643bcafb2ba6797348bba [label=\"daabcc\\ndabaa\\nFalse\"];\n" + ] + } + ], + "source": [ + "root, graph = is_subseq_recursive_dot('daabcc', 'dabaabcacb')\n", + "print('\\n'.join(graph))" + ] + }, + { + "cell_type": "code", + "execution_count": 70, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "bdabcc dabaabcacb\n", + "bdabcc dabaabcac\n", + "bdabcc dabaabca\n", + "bdabcc dabaabc\n", + "bdabcc dabaab\n", + "bdabcc dabaa\n", + "bdabc dabaab\n", + "bdabc dabaa\n", + "bdabc daba\n", + "bdabc dabaabca\n", + "bdabc dabaabc\n", + "bdabc dabaab\n", + "bdabc dabaa\n", + "bdabc daba\n", + "bdab dabaab\n", + "bdab dabaa\n", + "bdab daba\n", + "bdab dab\n", + "bda dabaa\n", + "bda daba\n", + "bda dab\n", + "bda da\n", + "bd dab\n", + "bd da\n", + "bd d\n", + "bd daba\n", + "bd dab\n", + "bd da\n", + "bd d\n" + ] + }, + { + "data": { + "text/plain": [ + "False" + ] + }, + "execution_count": 70, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "is_subseq_recursive('bdabcc', 'dabaabcacb')" + ] + }, + { + "cell_type": "code", + "execution_count": 75, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "bdabcc dabaabcacb nae20c69b2c4d4ea2a239af485ca10f16 [label=\"bdabcc\\ndabaabcacb\"];\n", + "bdabcc dabaabcac nac3868f0d46645ca8bf1b02110448236 [label=\"bdabcc\\ndabaabcac\"];\n", + "bdabc dabaabca nf5a124f6b457426eaa13f9d58a716fe1 [label=\"bdabc\\ndabaabca\"];\n", + "bdabc dabaabc nf82bf143985849a9a14d7272ab8be040 [label=\"bdabc\\ndabaabc\"];\n", + "bdab dabaab nf5694edb16d84740ad75d3c3a9dc33f4 [label=\"bdab\\ndabaab\"];\n", + "bda dabaa n7734cd7f92a34a3bbb223dac592bd496 [label=\"bda\\ndabaa\"];\n", + "bd daba nf51d59c7071c4725a4e961fd017fd0b6 [label=\"bd\\ndaba\"];\n", + "bd dab n48a2b0c66af943439d0c9767e9181c50 [label=\"bd\\ndab\"];\n", + "bd da nfee98ef394994c0b9664921c73ae7882 [label=\"bd\\nda\"];\n", + "bd d n077956a8b783437ba5a65c3fd3380e2f [label=\"bd\\nd\"];\n", + "bda daba nd7f11536d8df400d860ac372d1c3e9f8 [label=\"bda\\ndaba\"];\n", + "bd dab nb1bf7b9e21a64b30a7a536a9b8649e56 [label=\"bd\\ndab\"];\n", + "bd da nb0329d485ca14bfaa79caa33670a8699 [label=\"bd\\nda\"];\n", + "bd d ne91eaaeffb1443639b733682718f4092 [label=\"bd\\nd\"];\n", + "bda dab n115e972256cc4394a1eba134f114e4ab [label=\"bda\\ndab\"];\n", + "bda da na78115224d9f4e37b4045f6c30e4ceb1 [label=\"bda\\nda\"];\n", + "bdab dabaa nad799597664c441f9ccedc62f06247bb [label=\"bdab\\ndabaa\"];\n", + "bdab daba n55c3278b1aea4bdc92b3d5eb3c09366c [label=\"bdab\\ndaba\"];\n", + "bdab dab n5d2503b1d062482b898e4682240dcc78 [label=\"bdab\\ndab\"];\n", + "bdabc dabaab nd6bf8394c44b4af79b2a91534ba13317 [label=\"bdabc\\ndabaab\"];\n", + "bdabc dabaa ne856116c734a46b1967bddb73c56140f [label=\"bdabc\\ndabaa\"];\n", + "bdabc daba ne0497380dcb04eb9b64499dca04e370b [label=\"bdabc\\ndaba\"];\n", + "bdabcc dabaabca na1b07d40913a48a89651e06846c27489 [label=\"bdabcc\\ndabaabca\"];\n", + "bdabcc dabaabc nf7b9fd837f974551b0795d7492210e52 [label=\"bdabcc\\ndabaabc\"];\n", + "bdabc dabaab n753dfbdd86b543cbb9b246e976d31406 [label=\"bdabc\\ndabaab\"];\n", + "bdabc dabaa na21720c117704e02910b868caeddb9a9 [label=\"bdabc\\ndabaa\"];\n", + "bdabc daba nb1bec31f0ddf4a888f941702a407906f [label=\"bdabc\\ndaba\"];\n", + "bdabcc dabaab n556f3f77789b40f0b332b55e20828606 [label=\"bdabcc\\ndabaab\"];\n", + "bdabcc dabaa n5b6173aea18d41f8b4a2c5ce99cc4d7a [label=\"bdabcc\\ndabaa\"];\n", + "nae20c69b2c4d4ea2a239af485ca10f16 [label=\"bdabcc\\ndabaabcacb\"];\n", + "nae20c69b2c4d4ea2a239af485ca10f16 -> nac3868f0d46645ca8bf1b02110448236;\n", + "nac3868f0d46645ca8bf1b02110448236 [label=\"bdabcc\\ndabaabcac\"];\n", + "nac3868f0d46645ca8bf1b02110448236 -> nf5a124f6b457426eaa13f9d58a716fe1;\n", + "nac3868f0d46645ca8bf1b02110448236 -> na1b07d40913a48a89651e06846c27489;\n", + "nf5a124f6b457426eaa13f9d58a716fe1 [label=\"bdabc\\ndabaabca\"];\n", + "nf5a124f6b457426eaa13f9d58a716fe1 -> nf82bf143985849a9a14d7272ab8be040;\n", + "nf82bf143985849a9a14d7272ab8be040 [label=\"bdabc\\ndabaabc\"];\n", + "nf82bf143985849a9a14d7272ab8be040 -> nf5694edb16d84740ad75d3c3a9dc33f4;\n", + "nf82bf143985849a9a14d7272ab8be040 -> nd6bf8394c44b4af79b2a91534ba13317;\n", + "nf5694edb16d84740ad75d3c3a9dc33f4 [label=\"bdab\\ndabaab\"];\n", + "nf5694edb16d84740ad75d3c3a9dc33f4 -> n7734cd7f92a34a3bbb223dac592bd496;\n", + "nf5694edb16d84740ad75d3c3a9dc33f4 -> nad799597664c441f9ccedc62f06247bb;\n", + "n7734cd7f92a34a3bbb223dac592bd496 [label=\"bda\\ndabaa\"];\n", + "n7734cd7f92a34a3bbb223dac592bd496 -> nf51d59c7071c4725a4e961fd017fd0b6;\n", + "n7734cd7f92a34a3bbb223dac592bd496 -> nd7f11536d8df400d860ac372d1c3e9f8;\n", + "nf51d59c7071c4725a4e961fd017fd0b6 [label=\"bd\\ndaba\"];\n", + "nf51d59c7071c4725a4e961fd017fd0b6 -> n48a2b0c66af943439d0c9767e9181c50;\n", + "n48a2b0c66af943439d0c9767e9181c50 [label=\"bd\\ndab\"];\n", + "n48a2b0c66af943439d0c9767e9181c50 -> nfee98ef394994c0b9664921c73ae7882;\n", + "nfee98ef394994c0b9664921c73ae7882 [label=\"bd\\nda\"];\n", + "nfee98ef394994c0b9664921c73ae7882 -> n077956a8b783437ba5a65c3fd3380e2f;\n", + "n077956a8b783437ba5a65c3fd3380e2f [label=\"bd\\nd\\nFalse\"];\n", + "nd7f11536d8df400d860ac372d1c3e9f8 [label=\"bda\\ndaba\"];\n", + "nd7f11536d8df400d860ac372d1c3e9f8 -> nb1bf7b9e21a64b30a7a536a9b8649e56;\n", + "nd7f11536d8df400d860ac372d1c3e9f8 -> n115e972256cc4394a1eba134f114e4ab;\n", + "nb1bf7b9e21a64b30a7a536a9b8649e56 [label=\"bd\\ndab\"];\n", + "nb1bf7b9e21a64b30a7a536a9b8649e56 -> nb0329d485ca14bfaa79caa33670a8699;\n", + "nb0329d485ca14bfaa79caa33670a8699 [label=\"bd\\nda\"];\n", + "nb0329d485ca14bfaa79caa33670a8699 -> ne91eaaeffb1443639b733682718f4092;\n", + "ne91eaaeffb1443639b733682718f4092 [label=\"bd\\nd\\nFalse\"];\n", + "n115e972256cc4394a1eba134f114e4ab [label=\"bda\\ndab\"];\n", + "n115e972256cc4394a1eba134f114e4ab -> na78115224d9f4e37b4045f6c30e4ceb1;\n", + "na78115224d9f4e37b4045f6c30e4ceb1 [label=\"bda\\nda\\nFalse\"];\n", + "nad799597664c441f9ccedc62f06247bb [label=\"bdab\\ndabaa\"];\n", + "nad799597664c441f9ccedc62f06247bb -> n55c3278b1aea4bdc92b3d5eb3c09366c;\n", + "n55c3278b1aea4bdc92b3d5eb3c09366c [label=\"bdab\\ndaba\"];\n", + "n55c3278b1aea4bdc92b3d5eb3c09366c -> n5d2503b1d062482b898e4682240dcc78;\n", + "n5d2503b1d062482b898e4682240dcc78 [label=\"bdab\\ndab\\nFalse\"];\n", + "nd6bf8394c44b4af79b2a91534ba13317 [label=\"bdabc\\ndabaab\"];\n", + "nd6bf8394c44b4af79b2a91534ba13317 -> ne856116c734a46b1967bddb73c56140f;\n", + "ne856116c734a46b1967bddb73c56140f [label=\"bdabc\\ndabaa\"];\n", + "ne856116c734a46b1967bddb73c56140f -> ne0497380dcb04eb9b64499dca04e370b;\n", + "ne0497380dcb04eb9b64499dca04e370b [label=\"bdabc\\ndaba\\nFalse\"];\n", + "na1b07d40913a48a89651e06846c27489 [label=\"bdabcc\\ndabaabca\"];\n", + "na1b07d40913a48a89651e06846c27489 -> nf7b9fd837f974551b0795d7492210e52;\n", + "nf7b9fd837f974551b0795d7492210e52 [label=\"bdabcc\\ndabaabc\"];\n", + "nf7b9fd837f974551b0795d7492210e52 -> n753dfbdd86b543cbb9b246e976d31406;\n", + "nf7b9fd837f974551b0795d7492210e52 -> n556f3f77789b40f0b332b55e20828606;\n", + "n753dfbdd86b543cbb9b246e976d31406 [label=\"bdabc\\ndabaab\"];\n", + "n753dfbdd86b543cbb9b246e976d31406 -> na21720c117704e02910b868caeddb9a9;\n", + "na21720c117704e02910b868caeddb9a9 [label=\"bdabc\\ndabaa\"];\n", + "na21720c117704e02910b868caeddb9a9 -> nb1bec31f0ddf4a888f941702a407906f;\n", + "nb1bec31f0ddf4a888f941702a407906f [label=\"bdabc\\ndaba\\nFalse\"];\n", + "n556f3f77789b40f0b332b55e20828606 [label=\"bdabcc\\ndabaab\"];\n", + "n556f3f77789b40f0b332b55e20828606 -> n5b6173aea18d41f8b4a2c5ce99cc4d7a;\n", + "n5b6173aea18d41f8b4a2c5ce99cc4d7a [label=\"bdabcc\\ndabaa\\nFalse\"];\n" + ] + } + ], + "source": [ + "root, graph = is_subseq_recursive_dot('bdabcc', 'dabaabcacb')\n", + "print('\\n'.join(graph))" + ] + }, { "cell_type": "code", "execution_count": 30, @@ -1746,7 +2063,9 @@ { "cell_type": "code", "execution_count": 67, - "metadata": {}, + "metadata": { + "collapsed": true + }, "outputs": [], "source": [ "import pandas as pd\n",