Added execution traces

[ou-summer-of-code-2017.git] / 09-resolving-the-bill / gt.dot

diff --git a/09-resolving-the-bill/gt.dot b/09-resolving-the-bill/gt.dot
new file mode 100644 (file)
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"];
+
+
+}