From c45cb6224b78face6949239192f8ded68600d993 Mon Sep 17 00:00:00 2001 From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr> Date: Thu, 23 Jun 2022 14:51:27 +0200 Subject: [PATCH] test: update GM test exp file --- test/async-unison/ring.rif.exp | 4 +- test/coloring/4.14.0/grid4.rif.exp | 12 ++-- test/coloring/4.14.0/ring.rif.exp | 18 +++--- test/dfs-list/4.14.0/g.rif.exp | 62 +++++++++--------- test/dfs/4.14.0/ER.rif.exp | 74 +++++++++++----------- test/dfs/4.14.0/g.rif.exp | 62 +++++++++--------- test/dijkstra-ring/ring.rif.exp | 4 +- test/k-clustering/4.14.0/fig52_kcl.rif.exp | 4 +- test/k-clustering/4.14.0/rtree10.rif.exp | 4 +- test/toy-example-a5sf/te.rif.exp | 4 +- 10 files changed, 124 insertions(+), 124 deletions(-) diff --git a/test/async-unison/ring.rif.exp b/test/async-unison/ring.rif.exp index 6149975c..6bc1f0c1 100644 --- a/test/async-unison/ring.rif.exp +++ b/test/async-unison/ring.rif.exp @@ -1,5 +1,5 @@ -# Automatically generated by /home/jahier/.opam/4.13.1/bin/sasa version "v4.6.0" ("169b4f7") -# on crevetete the 20/6/2022 at 13:28:32 +# Automatically generated by /home/jahier/.opam/4.14.0/bin/sasa version "v4.6.0" ("73ebb5e") +# on crevetete the 23/6/2022 at 14:36:59 #sasa -l 500 ring.dot -seed 42 #seed 42 diff --git a/test/coloring/4.14.0/grid4.rif.exp b/test/coloring/4.14.0/grid4.rif.exp index 0a72b8f6..71472c75 100644 --- a/test/coloring/4.14.0/grid4.rif.exp +++ b/test/coloring/4.14.0/grid4.rif.exp @@ -1,20 +1,20 @@ -# Automatically generated by /home/jahier/.opam/4.13.1/bin/sasa version "v4.5.9" ("c9bee55") -# on crevetete the 8/6/2022 at 11:17:51 +# Automatically generated by /home/jahier/.opam/4.14.0/bin/sasa version "v4.6.0" ("73ebb5e") +# on crevetete the 23/6/2022 at 14:37:00 #sasa grid4.dot -seed 42 #seed 42 #inputs -#outputs "p0_c":int "p1_c":int "p2_c":int "p3_c":int "p4_c":int "p5_c":int "p6_c":int "p7_c":int "p8_c":int "p9_c":int "p10_c":int "p11_c":int "p12_c":int "p13_c":int "p14_c":int "p15_c":int "Enab_p0_conflict":bool "Enab_p1_conflict":bool "Enab_p2_conflict":bool "Enab_p3_conflict":bool "Enab_p4_conflict":bool "Enab_p5_conflict":bool "Enab_p6_conflict":bool "Enab_p7_conflict":bool "Enab_p8_conflict":bool "Enab_p9_conflict":bool "Enab_p10_conflict":bool "Enab_p11_conflict":bool "Enab_p12_conflict":bool "Enab_p13_conflict":bool "Enab_p14_conflict":bool "Enab_p15_conflict":bool "p0_conflict":bool "p1_conflict":bool "p2_conflict":bool "p3_conflict":bool "p4_conflict":bool "p5_conflict":bool "p6_conflict":bool "p7_conflict":bool "p8_conflict":bool "p9_conflict":bool "p10_conflict":bool "p11_conflict":bool "p12_conflict":bool "p13_conflict":bool "p14_conflict":bool "p15_conflict":bool "legitimate":bool potential:real +#outputs "p0_c":int "p1_c":int "p2_c":int "p3_c":int "p4_c":int "p5_c":int "p6_c":int "p7_c":int "p8_c":int "p9_c":int "p10_c":int "p11_c":int "p12_c":int "p13_c":int "p14_c":int "p15_c":int "Enab_p0_conflict":bool "Enab_p1_conflict":bool "Enab_p2_conflict":bool "Enab_p3_conflict":bool "Enab_p4_conflict":bool "Enab_p5_conflict":bool "Enab_p6_conflict":bool "Enab_p7_conflict":bool "Enab_p8_conflict":bool "Enab_p9_conflict":bool "Enab_p10_conflict":bool "Enab_p11_conflict":bool "Enab_p12_conflict":bool "Enab_p13_conflict":bool "Enab_p14_conflict":bool "Enab_p15_conflict":bool "p0_conflict":bool "p1_conflict":bool "p2_conflict":bool "p3_conflict":bool "p4_conflict":bool "p5_conflict":bool "p6_conflict":bool "p7_conflict":bool "p8_conflict":bool "p9_conflict":bool "p10_conflict":bool "p11_conflict":bool "p12_conflict":bool "p13_conflict":bool "p14_conflict":bool "p15_conflict":bool "legitimate":bool potential:real round:bool round_nb:int #step 0 -#outs 0 0 0 1 0 3 2 2 2 2 1 1 1 0 1 0 t t t f t f t t t t t t f f t f f t t f t f f t f f t f f f f f f 14. +#outs 0 0 0 1 0 3 2 2 2 2 1 1 1 0 1 0 t t t f t f t t t t t t f f t f f t t f t f f t f f t f f f f f f 14. f 0 #step 1 -#outs 0 1 3 1 1 3 2 0 2 2 0 1 1 0 1 0 f f f f f f f f t t f f f f f f f f f f f f f f t t f f f f f f f 2. +#outs 0 1 3 1 1 3 2 0 2 2 0 1 1 0 1 0 f f f f f f f f t t f f f f f f f f f f f f f f t t f f f f f f f 2. f 1 #step 2 -#outs 0 1 3 1 1 3 2 0 0 1 0 1 1 0 1 0 f f f f f f f f f f f f f f f f f f f f f f f f t t f f f f f f t 0. +#outs 0 1 3 1 1 3 2 0 0 1 0 1 1 0 1 0 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t 0. t 1 This algo is silent after 7 moves, 2 steps, 1 round. diff --git a/test/coloring/4.14.0/ring.rif.exp b/test/coloring/4.14.0/ring.rif.exp index 33f59c5d..267b151e 100644 --- a/test/coloring/4.14.0/ring.rif.exp +++ b/test/coloring/4.14.0/ring.rif.exp @@ -1,27 +1,27 @@ -# Automatically generated by /home/jahier/.opam/4.13.1/bin/sasa version "v4.5.9" ("c9bee55") -# on crevetete the 8/6/2022 at 11:17:51 +# Automatically generated by /home/jahier/.opam/4.14.0/bin/sasa version "v4.6.0" ("73ebb5e") +# on crevetete the 23/6/2022 at 14:37:00 #sasa ring.dot -seed 42 #seed 42 #inputs -#outputs "p1_c":int "p2_c":int "p3_c":int "p4_c":int "p5_c":int "p6_c":int "p7_c":int "Enab_p1_conflict":bool "Enab_p2_conflict":bool "Enab_p3_conflict":bool "Enab_p4_conflict":bool "Enab_p5_conflict":bool "Enab_p6_conflict":bool "Enab_p7_conflict":bool "p1_conflict":bool "p2_conflict":bool "p3_conflict":bool "p4_conflict":bool "p5_conflict":bool "p6_conflict":bool "p7_conflict":bool "legitimate":bool potential:real +#outputs "p1_c":int "p2_c":int "p3_c":int "p4_c":int "p5_c":int "p6_c":int "p7_c":int "Enab_p1_conflict":bool "Enab_p2_conflict":bool "Enab_p3_conflict":bool "Enab_p4_conflict":bool "Enab_p5_conflict":bool "Enab_p6_conflict":bool "Enab_p7_conflict":bool "p1_conflict":bool "p2_conflict":bool "p3_conflict":bool "p4_conflict":bool "p5_conflict":bool "p6_conflict":bool "p7_conflict":bool "legitimate":bool potential:real round:bool round_nb:int #step 0 -#outs 0 1 1 1 1 1 0 t t t t t t t t t t f f f f f 10. +#outs 0 1 1 1 1 1 0 t t t t t t t t t t f f f f f 10. f 0 #step 1 -#outs 2 2 0 1 1 1 0 t t f t t t f f f f t t t f f 6. +#outs 2 2 0 1 1 1 0 t t f t t t f f f f t t t f f 6. f 1 #step 2 -#outs 2 2 0 2 0 2 0 t t f f f f f t t f f f f f f 2. +#outs 2 2 0 2 0 2 0 t t f f f f f t t f f f f f f 2. t 2 #step 3 -#outs 1 1 0 2 0 2 0 t t f f f f f t f f f f f f f 2. +#outs 1 1 0 2 0 2 0 t t f f f f f t f f f f f f f 2. t 3 #step 4 -#outs 2 1 0 2 0 2 0 f f f f f f f t f f f f f f t 0. +#outs 2 1 0 2 0 2 0 f f f f f f f f f f f f f f t 0. t 3 -This algo is silent after 9 moves, 4 steps, 2 rounds. +This algo is silent after 9 moves, 4 steps, 3 rounds. #quit diff --git a/test/dfs-list/4.14.0/g.rif.exp b/test/dfs-list/4.14.0/g.rif.exp index 23e204a2..f073c45e 100644 --- a/test/dfs-list/4.14.0/g.rif.exp +++ b/test/dfs-list/4.14.0/g.rif.exp @@ -1,93 +1,93 @@ -# Automatically generated by /home/jahier/.opam/4.13.1/bin/sasa version "v4.5.9" ("c9bee55") -# on crevetete the 8/6/2022 at 11:19:12 +# Automatically generated by /home/jahier/.opam/4.14.0/bin/sasa version "v4.6.0" ("73ebb5e") +# on crevetete the 23/6/2022 at 14:37:01 #sasa g.dot -seed 42 #seed 42 #inputs -#outputs "p1_path0":int "p1_path1":int "p1_path2":int "p1_path3":int "p1_path4":int "p1_path5":int "p1_path6":int "p1_path7":int "p1_path8":int "p1_path9":int "p1_par":int "p2_path0":int "p2_path1":int "p2_path2":int "p2_path3":int "p2_path4":int "p2_path5":int "p2_path6":int "p2_path7":int "p2_path8":int "p2_path9":int "p2_par":int "p3_path0":int "p3_path1":int "p3_path2":int "p3_path3":int "p3_path4":int "p3_path5":int "p3_path6":int "p3_path7":int "p3_path8":int "p3_path9":int "p3_par":int "p4_path0":int "p4_path1":int "p4_path2":int "p4_path3":int "p4_path4":int "p4_path5":int "p4_path6":int "p4_path7":int "p4_path8":int "p4_path9":int "p4_par":int "p5_path0":int "p5_path1":int "p5_path2":int "p5_path3":int "p5_path4":int "p5_path5":int "p5_path6":int "p5_path7":int "p5_path8":int "p5_path9":int "p5_par":int "p6_path0":int "p6_path1":int "p6_path2":int "p6_path3":int "p6_path4":int "p6_path5":int "p6_path6":int "p6_path7":int "p6_path8":int "p6_path9":int "p6_par":int "p7_path0":int "p7_path1":int "p7_path2":int "p7_path3":int "p7_path4":int "p7_path5":int "p7_path6":int "p7_path7":int "p7_path8":int "p7_path9":int "p7_par":int "p8_path0":int "p8_path1":int "p8_path2":int "p8_path3":int "p8_path4":int "p8_path5":int "p8_path6":int "p8_path7":int "p8_path8":int "p8_path9":int "p8_par":int "p9_path0":int "p9_path1":int "p9_path2":int "p9_path3":int "p9_path4":int "p9_path5":int "p9_path6":int "p9_path7":int "p9_path8":int "p9_path9":int "p9_par":int "p10_path0":int "p10_path1":int "p10_path2":int "p10_path3":int "p10_path4":int "p10_path5":int "p10_path6":int "p10_path7":int "p10_path8":int "p10_path9":int "p10_par":int "Enab_p1_update_path":bool "Enab_p1_compute_parent":bool "Enab_p2_update_path":bool "Enab_p2_compute_parent":bool "Enab_p3_update_path":bool "Enab_p3_compute_parent":bool "Enab_p4_update_path":bool "Enab_p4_compute_parent":bool "Enab_p5_update_path":bool "Enab_p5_compute_parent":bool "Enab_p6_update_path":bool "Enab_p6_compute_parent":bool "Enab_p7_update_path":bool "Enab_p7_compute_parent":bool "Enab_p8_update_path":bool "Enab_p8_compute_parent":bool "Enab_p9_update_path":bool "Enab_p9_compute_parent":bool "Enab_p10_update_path":bool "Enab_p10_compute_parent":bool "p1_update_path":bool "p1_compute_parent":bool "p2_update_path":bool "p2_compute_parent":bool "p3_update_path":bool "p3_compute_parent":bool "p4_update_path":bool "p4_compute_parent":bool "p5_update_path":bool "p5_compute_parent":bool "p6_update_path":bool "p6_compute_parent":bool "p7_update_path":bool "p7_compute_parent":bool "p8_update_path":bool "p8_compute_parent":bool "p9_update_path":bool "p9_compute_parent":bool "p10_update_path":bool "p10_compute_parent":bool "legitimate":bool +#outputs "p1_path0":int "p1_path1":int "p1_path2":int "p1_path3":int "p1_path4":int "p1_path5":int "p1_path6":int "p1_path7":int "p1_path8":int "p1_path9":int "p1_par":int "p2_path0":int "p2_path1":int "p2_path2":int "p2_path3":int "p2_path4":int "p2_path5":int "p2_path6":int "p2_path7":int "p2_path8":int "p2_path9":int "p2_par":int "p3_path0":int "p3_path1":int "p3_path2":int "p3_path3":int "p3_path4":int "p3_path5":int "p3_path6":int "p3_path7":int "p3_path8":int "p3_path9":int "p3_par":int "p4_path0":int "p4_path1":int "p4_path2":int "p4_path3":int "p4_path4":int "p4_path5":int "p4_path6":int "p4_path7":int "p4_path8":int "p4_path9":int "p4_par":int "p5_path0":int "p5_path1":int "p5_path2":int "p5_path3":int "p5_path4":int "p5_path5":int "p5_path6":int "p5_path7":int "p5_path8":int "p5_path9":int "p5_par":int "p6_path0":int "p6_path1":int "p6_path2":int "p6_path3":int "p6_path4":int "p6_path5":int "p6_path6":int "p6_path7":int "p6_path8":int "p6_path9":int "p6_par":int "p7_path0":int "p7_path1":int "p7_path2":int "p7_path3":int "p7_path4":int "p7_path5":int "p7_path6":int "p7_path7":int "p7_path8":int "p7_path9":int "p7_par":int "p8_path0":int "p8_path1":int "p8_path2":int "p8_path3":int "p8_path4":int "p8_path5":int "p8_path6":int "p8_path7":int "p8_path8":int "p8_path9":int "p8_par":int "p9_path0":int "p9_path1":int "p9_path2":int "p9_path3":int "p9_path4":int "p9_path5":int "p9_path6":int "p9_path7":int "p9_path8":int "p9_path9":int "p9_par":int "p10_path0":int "p10_path1":int "p10_path2":int "p10_path3":int "p10_path4":int "p10_path5":int "p10_path6":int "p10_path7":int "p10_path8":int "p10_path9":int "p10_par":int "Enab_p1_update_path":bool "Enab_p1_compute_parent":bool "Enab_p2_update_path":bool "Enab_p2_compute_parent":bool "Enab_p3_update_path":bool "Enab_p3_compute_parent":bool "Enab_p4_update_path":bool "Enab_p4_compute_parent":bool "Enab_p5_update_path":bool "Enab_p5_compute_parent":bool "Enab_p6_update_path":bool "Enab_p6_compute_parent":bool "Enab_p7_update_path":bool "Enab_p7_compute_parent":bool "Enab_p8_update_path":bool "Enab_p8_compute_parent":bool "Enab_p9_update_path":bool "Enab_p9_compute_parent":bool "Enab_p10_update_path":bool "Enab_p10_compute_parent":bool "p1_update_path":bool "p1_compute_parent":bool "p2_update_path":bool "p2_compute_parent":bool "p3_update_path":bool "p3_compute_parent":bool "p4_update_path":bool "p4_compute_parent":bool "p5_update_path":bool "p5_compute_parent":bool "p6_update_path":bool "p6_compute_parent":bool "p7_update_path":bool "p7_compute_parent":bool "p8_update_path":bool "p8_compute_parent":bool "p9_update_path":bool "p9_compute_parent":bool "p10_update_path":bool "p10_compute_parent":bool "legitimate":bool round:bool round_nb:int #step 0 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f t f t f t f t f t f f f f f f f f f f f f f t f f f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f t f t f t f t f t f f f f f f f f f f f f f t f f f f f f f f f 0 #step 1 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f t f f t t f t f t f f f f f f f f f t f t f f t t f f f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f t f f t t f t f t f f f f f f f f f t f t f f t t f f f t f f f 1 #step 2 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f f t t f t f f t t f t f f f t f f f t f f f f f t f f t f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f f t t f t f f t t f t f f f t f f f t f f f f f t f f t f f f f f f 1 #step 3 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f f t f f t f t f t f f f f f t f t f t f f t f f f f t f f f f f f f t f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f f t f f t f t f t f f f f f t f t f t f f t f f f f t f f f f f f f t f t f f f 1 #step 4 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 3 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 2 -1 -1 -1 -1 -1 -1 -1 1 f f f t f f t f f t t f f f t f f t t f f f f f f f f f f f t f f f f f f f t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 3 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 2 -1 -1 -1 -1 -1 -1 -1 1 f f f t f f t f f t t f f f t f f t t f f f f f f f f f f f t f f f f f f f t f f t 2 #step 5 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 3 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 f f f t f f t f f t f t f t t f f t t f f f f t f f t f f f f f f t f f f t t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 3 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 f f f t f f t f f t f t f t t f f t t f f f f t f f t f f f f f f t f f f t t f f f 2 #step 6 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 3 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 1 f f f f f f f f t f f t f f t f t f f t f f f f f f f f t f f f f f t f f f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 3 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 1 f f f f f f f f t f f t f f t f t f f t f f f f f f f f t f f f f f t f f f f f f f 2 #step 7 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 1 f f f f f f f f f f f t t f f t t f f t f f f f f f f f f f f t t f f f f f f t f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 1 f f f f f f f f f f f t t f f t t f f t f f f f f f f f f f f t t f f f f f f t f t 3 #step 8 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 0 f f f f f f f f f f t f f t t f t f f f f f f f f f f f f f f f f f f f t f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 0 f f f f f f f f f f t f f t t f t f f f f f f f f f f f f f f f f f f f t f f f f f 3 #step 9 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 2 1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 0 f f f f f f f f f f t f f t t f f t f f f f f f f f f f f f t f f f f f f t f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 2 1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 0 f f f f f f f f f f t f f t t f f t f f f f f f f f f f f f t f f f f f f t f f f t 4 #step 10 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 2 1 -1 -1 -1 -1 1 -1 0 0 0 2 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f t f t f f f t f f f f f f f f f f f f f f f f f f f t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 2 1 -1 -1 -1 -1 1 -1 0 0 0 2 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f t f t f f f t f f f f f f f f f f f f f f f f f f f t f f f 4 #step 11 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 2 1 -1 -1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f f f t f t f t f f f f f f f f f f f f f f f f f t f t f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 2 1 -1 -1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f f f t f t f t f f f f f f f f f f f f f f f f f t f t f f f f f 4 #step 12 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 1 -1 -1 -1 -1 1 -1 0 0 0 1 0 2 1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f f f t f t f f f f f f f f f f f f f f f f f t f t f f f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 1 -1 -1 -1 -1 1 -1 0 0 0 1 0 2 1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f f f t f t f f f f f f f f f f f f f f f f f t f t f f f f f f t 5 #step 13 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 -1 -1 -1 1 -1 0 0 0 1 0 2 1 0 -1 1 -1 0 0 0 1 0 2 1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f t f f t t f f f f f f f f f f f f f f f f f f t t f f f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 -1 -1 -1 1 -1 0 0 0 1 0 2 1 0 -1 1 -1 0 0 0 1 0 2 1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f t f f t t f f f f f f f f f f f f f f f f f f t t f f f f f f t 6 #step 14 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 -1 -1 -1 0 -1 0 0 0 1 0 1 1 -1 -1 1 -1 0 0 0 1 0 2 1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f t f f f f t t f f f f f f f f f f f f f t f f f f t t f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 -1 -1 -1 0 -1 0 0 0 1 0 1 1 -1 -1 1 -1 0 0 0 1 0 2 1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f t f f f f t t f f f f f f f f f f f f f t f f f f t t f f f f f 6 #step 15 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 -1 -1 1 -1 0 0 0 1 0 1 -1 -1 -1 0 -1 0 0 0 1 0 1 1 -1 -1 0 -1 0 0 0 1 0 1 1 1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f f f t f f f f t t f f f f f f f f f f f f f t f f f f t t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 -1 -1 1 -1 0 0 0 1 0 1 -1 -1 -1 0 -1 0 0 0 1 0 1 1 -1 -1 0 -1 0 0 0 1 0 1 1 1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f f f t f f f f t t f f f f f f f f f f f f f t f f f f t t f f t 7 #step 16 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 -1 -1 1 -1 0 0 0 1 0 1 0 1 -1 0 -1 0 0 0 1 0 1 1 -1 -1 0 -1 0 0 0 1 0 1 1 1 -1 0 -1 0 0 0 1 0 1 0 2 -1 0 f f f f f f f f f f t f f f t f t f f f f f f f f f f f f f t f f f t f f f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 -1 -1 1 -1 0 0 0 1 0 1 0 1 -1 0 -1 0 0 0 1 0 1 1 -1 -1 0 -1 0 0 0 1 0 1 1 1 -1 0 -1 0 0 0 1 0 1 0 2 -1 0 f f f f f f f f f f t f f f t f t f f f f f f f f f f f f f t f f f t f f f f f f t 8 #step 17 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 1 0 1 -1 0 0 0 1 0 1 0 1 -1 0 -1 0 0 0 1 0 1 0 1 1 0 -1 0 0 0 1 0 1 1 1 -1 0 -1 0 0 0 1 0 1 0 2 -1 0 f f f f f f f f f f f f t f f f t f t f f f f f f f f f f f f f t f f f t f t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 1 0 1 -1 0 0 0 1 0 1 0 1 -1 0 -1 0 0 0 1 0 1 0 1 1 0 -1 0 0 0 1 0 1 1 1 -1 0 -1 0 0 0 1 0 1 0 2 -1 0 f f f f f f f f f f f f t f f f t f t f f f f f f f f f f f f f t f f f t f t f f f 8 #step 18 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 -1 0 0 0 1 0 1 0 1 1 0 -1 0 0 0 1 0 1 0 2 1 0 -1 0 0 0 1 0 1 1 1 1 0 f f f f f f f f f f t f f t t f t f t f f f f f f f f f f f t f f t f f t f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 -1 0 0 0 1 0 1 0 1 1 0 -1 0 0 0 1 0 1 0 2 1 0 -1 0 0 0 1 0 1 1 1 1 0 f f f f f f f f f f t f f t t f t f t f f f f f f f f f f f t f f t f f t f f f f t 9 #step 19 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 1 0 0 0 1 0 1 0 1 0 1 -1 -1 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 -1 0 0 0 1 0 1 1 1 1 0 f f f f f f f f f f f t t f t f f t t f f f f f f f f f f f f t f f t f f f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 1 0 0 0 1 0 1 0 1 0 1 -1 -1 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 -1 0 0 0 1 0 1 1 1 1 0 f f f f f f f f f f f t t f t f f t t f f f f f f f f f f f f t f f t f f f f f f f 9 #step 20 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 1 0 1 0 1 -1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 -1 0 0 0 1 0 1 1 1 1 0 f f f f f f f f f f f f t f f t t f t f f f f f f f f f f f f f t f f t f f t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 1 0 1 0 1 -1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 -1 0 0 0 1 0 1 1 1 1 0 f f f f f f f f f f f f t f f t t f t f f f f f f f f f f f f f t f f t f f t f f f 9 #step 21 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 -1 0 0 1 0 1 0 1 0 1 1 -1 0 0 0 1 0 1 0 1 1 1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f t t f t f f f f f f f f f f f f f f f f f t f t f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 -1 0 0 1 0 1 0 1 0 1 1 -1 0 0 0 1 0 1 0 1 1 1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f t t f t f f f f f f f f f f f f f f f f f t f t f f f f t 10 #step 22 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 2 1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 2 1 -1 -1 -1 -1 -1 -1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f t f t t f f f f f f f f f f f f f f f f t f f f f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 2 1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 2 1 -1 -1 -1 -1 -1 -1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f t f t t f f f f f f f f f f f f f f f f t f f f f f f f f 10 #step 23 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 2 1 -1 -1 -1 -1 -1 -1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f f f t t f f f f f f f f f f f f f f f f f f t t f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 2 1 -1 -1 -1 -1 -1 -1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f f f t t f f f f f f f f f f f f f f f f f f t t f f f f t 11 #step 24 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 -1 -1 -1 -1 -1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 -1 -1 -1 -1 -1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f f t 12 #step 25 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 1 -1 -1 -1 -1 0 f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 1 -1 -1 -1 -1 0 f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f t 13 #step 26 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 1 -1 -1 -1 -1 1 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t t +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 1 -1 -1 -1 -1 1 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t t 13 -This algo is silent after 63 moves, 26 steps, 16 rounds. +This algo is silent after 63 moves, 26 steps, 13 rounds. #quit diff --git a/test/dfs/4.14.0/ER.rif.exp b/test/dfs/4.14.0/ER.rif.exp index 9ca5524a..3b072556 100644 --- a/test/dfs/4.14.0/ER.rif.exp +++ b/test/dfs/4.14.0/ER.rif.exp @@ -1,111 +1,111 @@ -# Automatically generated by /home/jahier/.opam/4.13.1/bin/sasa version "v4.5.9" ("c9bee55") -# on crevetete the 8/6/2022 at 11:18:53 +# Automatically generated by /home/jahier/.opam/4.14.0/bin/sasa version "v4.6.0" ("73ebb5e") +# on crevetete the 23/6/2022 at 14:37:00 #sasa ER.dot -seed 42 #seed 42 #inputs -#outputs "p0_path0":int "p0_path1":int "p0_path2":int "p0_path3":int "p0_path4":int "p0_path5":int "p0_path6":int "p0_path7":int "p0_path8":int "p0_path9":int "p0_par":int "p1_path0":int "p1_path1":int "p1_path2":int "p1_path3":int "p1_path4":int "p1_path5":int "p1_path6":int "p1_path7":int "p1_path8":int "p1_path9":int "p1_par":int "p2_path0":int "p2_path1":int "p2_path2":int "p2_path3":int "p2_path4":int "p2_path5":int "p2_path6":int "p2_path7":int "p2_path8":int "p2_path9":int "p2_par":int "p3_path0":int "p3_path1":int "p3_path2":int "p3_path3":int "p3_path4":int "p3_path5":int "p3_path6":int "p3_path7":int "p3_path8":int "p3_path9":int "p3_par":int "p4_path0":int "p4_path1":int "p4_path2":int "p4_path3":int "p4_path4":int "p4_path5":int "p4_path6":int "p4_path7":int "p4_path8":int "p4_path9":int "p4_par":int "p5_path0":int "p5_path1":int "p5_path2":int "p5_path3":int "p5_path4":int "p5_path5":int "p5_path6":int "p5_path7":int "p5_path8":int "p5_path9":int "p5_par":int "p6_path0":int "p6_path1":int "p6_path2":int "p6_path3":int "p6_path4":int "p6_path5":int "p6_path6":int "p6_path7":int "p6_path8":int "p6_path9":int "p6_par":int "p7_path0":int "p7_path1":int "p7_path2":int "p7_path3":int "p7_path4":int "p7_path5":int "p7_path6":int "p7_path7":int "p7_path8":int "p7_path9":int "p7_par":int "p8_path0":int "p8_path1":int "p8_path2":int "p8_path3":int "p8_path4":int "p8_path5":int "p8_path6":int "p8_path7":int "p8_path8":int "p8_path9":int "p8_par":int "p9_path0":int "p9_path1":int "p9_path2":int "p9_path3":int "p9_path4":int "p9_path5":int "p9_path6":int "p9_path7":int "p9_path8":int "p9_path9":int "p9_par":int "Enab_p0_update_path":bool "Enab_p0_compute_parent":bool "Enab_p1_update_path":bool "Enab_p1_compute_parent":bool "Enab_p2_update_path":bool "Enab_p2_compute_parent":bool "Enab_p3_update_path":bool "Enab_p3_compute_parent":bool "Enab_p4_update_path":bool "Enab_p4_compute_parent":bool "Enab_p5_update_path":bool "Enab_p5_compute_parent":bool "Enab_p6_update_path":bool "Enab_p6_compute_parent":bool "Enab_p7_update_path":bool "Enab_p7_compute_parent":bool "Enab_p8_update_path":bool "Enab_p8_compute_parent":bool "Enab_p9_update_path":bool "Enab_p9_compute_parent":bool "p0_update_path":bool "p0_compute_parent":bool "p1_update_path":bool "p1_compute_parent":bool "p2_update_path":bool "p2_compute_parent":bool "p3_update_path":bool "p3_compute_parent":bool "p4_update_path":bool "p4_compute_parent":bool "p5_update_path":bool "p5_compute_parent":bool "p6_update_path":bool "p6_compute_parent":bool "p7_update_path":bool "p7_compute_parent":bool "p8_update_path":bool "p8_compute_parent":bool "p9_update_path":bool "p9_compute_parent":bool "legitimate":bool +#outputs "p0_path0":int "p0_path1":int "p0_path2":int "p0_path3":int "p0_path4":int "p0_path5":int "p0_path6":int "p0_path7":int "p0_path8":int "p0_path9":int "p0_par":int "p1_path0":int "p1_path1":int "p1_path2":int "p1_path3":int "p1_path4":int "p1_path5":int "p1_path6":int "p1_path7":int "p1_path8":int "p1_path9":int "p1_par":int "p2_path0":int "p2_path1":int "p2_path2":int "p2_path3":int "p2_path4":int "p2_path5":int "p2_path6":int "p2_path7":int "p2_path8":int "p2_path9":int "p2_par":int "p3_path0":int "p3_path1":int "p3_path2":int "p3_path3":int "p3_path4":int "p3_path5":int "p3_path6":int "p3_path7":int "p3_path8":int "p3_path9":int "p3_par":int "p4_path0":int "p4_path1":int "p4_path2":int "p4_path3":int "p4_path4":int "p4_path5":int "p4_path6":int "p4_path7":int "p4_path8":int "p4_path9":int "p4_par":int "p5_path0":int "p5_path1":int "p5_path2":int "p5_path3":int "p5_path4":int "p5_path5":int "p5_path6":int "p5_path7":int "p5_path8":int "p5_path9":int "p5_par":int "p6_path0":int "p6_path1":int "p6_path2":int "p6_path3":int "p6_path4":int "p6_path5":int "p6_path6":int "p6_path7":int "p6_path8":int "p6_path9":int "p6_par":int "p7_path0":int "p7_path1":int "p7_path2":int "p7_path3":int "p7_path4":int "p7_path5":int "p7_path6":int "p7_path7":int "p7_path8":int "p7_path9":int "p7_par":int "p8_path0":int "p8_path1":int "p8_path2":int "p8_path3":int "p8_path4":int "p8_path5":int "p8_path6":int "p8_path7":int "p8_path8":int "p8_path9":int "p8_par":int "p9_path0":int "p9_path1":int "p9_path2":int "p9_path3":int "p9_path4":int "p9_path5":int "p9_path6":int "p9_path7":int "p9_path8":int "p9_path9":int "p9_par":int "Enab_p0_update_path":bool "Enab_p0_compute_parent":bool "Enab_p1_update_path":bool "Enab_p1_compute_parent":bool "Enab_p2_update_path":bool "Enab_p2_compute_parent":bool "Enab_p3_update_path":bool "Enab_p3_compute_parent":bool "Enab_p4_update_path":bool "Enab_p4_compute_parent":bool "Enab_p5_update_path":bool "Enab_p5_compute_parent":bool "Enab_p6_update_path":bool "Enab_p6_compute_parent":bool "Enab_p7_update_path":bool "Enab_p7_compute_parent":bool "Enab_p8_update_path":bool "Enab_p8_compute_parent":bool "Enab_p9_update_path":bool "Enab_p9_compute_parent":bool "p0_update_path":bool "p0_compute_parent":bool "p1_update_path":bool "p1_compute_parent":bool "p2_update_path":bool "p2_compute_parent":bool "p3_update_path":bool "p3_compute_parent":bool "p4_update_path":bool "p4_compute_parent":bool "p5_update_path":bool "p5_compute_parent":bool "p6_update_path":bool "p6_compute_parent":bool "p7_update_path":bool "p7_compute_parent":bool "p8_update_path":bool "p8_compute_parent":bool "p9_update_path":bool "p9_compute_parent":bool "legitimate":bool round:bool round_nb:int #step 0 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 5 f f t f t f t f t f t f t f t f t f t f f f f f f f f f f f f f t f f f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 5 f f t f t f t f t f t f t f t f t f t f f f f f f f f f f f f f t f f f f f f f f f 0 #step 1 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 5 f f t f t f t f t f t f f f t f t f t f f f t f f f f f f f t f f f t f t f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 5 f f t f t f t f t f t f f f t f t f t f f f t f f f f f f f t f f f t f t f t f f f 1 #step 2 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 4 -1 -1 -1 -1 -1 -1 -1 5 f f t f t f t f t f t f t f t f t f t f f f f f f f f f t f t f f f f f t f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 4 -1 -1 -1 -1 -1 -1 -1 5 f f t f t f t f t f t f t f t f t f t f f f f f f f f f t f t f f f f f t f t f f f 1 #step 3 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 -1 -1 -1 -1 -1 -1 -1 5 f f t f t f t f f f f f t f t f f f t f f f t f f f f f f f f f t f t f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 -1 -1 -1 -1 -1 -1 -1 5 f f t f t f t f f f f f t f t f f f t f f f t f f f f f f f f f t f t f f f f f f f 1 #step 4 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 0 -1 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 -1 -1 -1 -1 -1 -1 -1 5 f f t f t f t f t f t f t f t f t f t f f f f f f f f f f f f f t f f f f f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 0 -1 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 -1 -1 -1 -1 -1 -1 -1 5 f f t f t f t f t f t f t f t f t f t f f f f f f f f f f f f f t f f f f f t f f f 1 #step 5 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 0 0 -1 -1 -1 -1 -1 0 -1 0 1 0 -1 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 -1 -1 -1 -1 -1 -1 5 f f t f t f t f t f t f t f t f t f t f f f t f f f f f t f f f t f t f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 0 0 -1 -1 -1 -1 -1 0 -1 0 1 0 -1 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 -1 -1 -1 -1 -1 -1 5 f f t f t f t f t f t f t f t f t f t f f f t f f f f f t f f f t f t f f f f f f f 1 #step 6 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 0 0 1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 0 0 4 2 -1 -1 -1 -1 -1 1 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 4 -1 -1 -1 -1 -1 0 -1 0 0 4 5 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 -1 -1 -1 -1 -1 -1 5 f f t f t f t f f t t f f t t f t f t f f f t f t f t f f t t f f t f f f f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 0 0 1 -1 -1 -1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 0 0 4 2 -1 -1 -1 -1 -1 1 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 4 -1 -1 -1 -1 -1 0 -1 0 0 4 5 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 -1 -1 -1 -1 -1 -1 5 f f t f t f t f f t t f f t t f t f t f f f t f t f t f f t t f f t f f f f t f f f 1 #step 7 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 2 1 -1 -1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 -1 -1 -1 -1 -1 3 -1 0 0 4 2 -1 -1 -1 -1 -1 3 -1 0 0 4 3 -1 -1 -1 -1 -1 0 -1 0 0 4 4 -1 -1 -1 -1 -1 4 -1 0 0 4 5 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 2 3 -1 -1 -1 -1 5 f f f t f f t f t f t f t f t f t f t f f f f f f f f f t f f f t f f f f f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 2 1 -1 -1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 -1 -1 -1 -1 -1 3 -1 0 0 4 2 -1 -1 -1 -1 -1 3 -1 0 0 4 3 -1 -1 -1 -1 -1 0 -1 0 0 4 4 -1 -1 -1 -1 -1 4 -1 0 0 4 5 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 2 3 -1 -1 -1 -1 5 f f f t f f t f t f t f t f t f t f t f f f f f f f f f t f f f t f f f f f t f f t 2 #step 8 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 2 1 -1 -1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 -1 -1 -1 -1 -1 3 -1 0 0 4 2 1 1 -1 -1 -1 3 -1 0 0 4 3 -1 -1 -1 -1 -1 0 -1 0 0 4 2 1 3 -1 -1 -1 4 -1 0 0 4 5 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 3 -1 -1 -1 -1 5 f f t f f f t f t f t f t f t f t f f t f f t f f f f f f f t f f f f f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 2 1 -1 -1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 -1 -1 -1 -1 -1 3 -1 0 0 4 2 1 1 -1 -1 -1 3 -1 0 0 4 3 -1 -1 -1 -1 -1 0 -1 0 0 4 2 1 3 -1 -1 -1 4 -1 0 0 4 5 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 3 -1 -1 -1 -1 5 f f t f f f t f t f t f t f t f t f f t f f t f f f f f f f t f f f f f f f f f f f 2 #step 9 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 2 1 1 1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 -1 -1 -1 -1 -1 3 -1 0 0 4 2 1 1 -1 -1 -1 3 -1 0 0 4 1 2 -1 -1 -1 -1 0 -1 0 0 4 2 1 3 -1 -1 -1 4 -1 0 0 4 5 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 3 -1 -1 -1 -1 5 f f t f f f t f t f f t t f t f t f t f f f f f f f f f f f f f t f t f t f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 2 1 1 1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 -1 -1 -1 -1 -1 3 -1 0 0 4 2 1 1 -1 -1 -1 3 -1 0 0 4 1 2 -1 -1 -1 -1 0 -1 0 0 4 2 1 3 -1 -1 -1 4 -1 0 0 4 5 -1 -1 -1 -1 -1 0 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 3 -1 -1 -1 -1 5 f f t f f f t f t f f t t f t f t f t f f f f f f f f f f f f f t f t f t f t f f f 2 #step 10 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 2 1 1 1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 -1 -1 -1 -1 -1 3 -1 0 0 4 2 1 1 -1 -1 -1 3 -1 0 0 4 1 2 -1 -1 -1 -1 0 -1 0 0 4 1 3 4 -1 -1 -1 4 -1 0 0 4 1 3 5 -1 -1 -1 0 -1 0 0 4 5 1 -1 -1 -1 -1 0 -1 0 0 4 1 2 2 -1 -1 -1 5 f f t f f f t f t f f t t f t f t f f t f f t f f f t f t f f f t f t f t f f t f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 2 1 1 1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 -1 -1 -1 -1 -1 3 -1 0 0 4 2 1 1 -1 -1 -1 3 -1 0 0 4 1 2 -1 -1 -1 -1 0 -1 0 0 4 1 3 4 -1 -1 -1 4 -1 0 0 4 1 3 5 -1 -1 -1 0 -1 0 0 4 5 1 -1 -1 -1 -1 0 -1 0 0 4 1 2 2 -1 -1 -1 5 f f t f f f t f t f f t t f t f t f f t f f t f f f t f t f f f t f t f t f f t f f 2 #step 11 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 -1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 1 -1 -1 -1 3 -1 0 0 4 1 2 2 2 -1 -1 3 -1 0 0 4 1 2 -1 -1 -1 -1 0 -1 0 0 4 1 2 2 4 -1 -1 4 -1 0 0 4 1 2 2 5 -1 -1 0 -1 0 0 4 1 3 5 1 -1 -1 0 -1 0 0 4 1 2 2 -1 -1 -1 3 f f f f f f f t t f t f t f t f t f t f f f f f f f f t f f t f t f t f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 -1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 1 -1 -1 -1 3 -1 0 0 4 1 2 2 2 -1 -1 3 -1 0 0 4 1 2 -1 -1 -1 -1 0 -1 0 0 4 1 2 2 4 -1 -1 4 -1 0 0 4 1 2 2 5 -1 -1 0 -1 0 0 4 1 3 5 1 -1 -1 0 -1 0 0 4 1 2 2 -1 -1 -1 3 f f f f f f f t t f t f t f t f t f t f f f f f f f f t f f t f t f t f f f f f f t 3 #step 12 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 -1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 1 -1 -1 -1 2 -1 0 0 4 1 2 2 2 -1 -1 3 -1 0 0 4 1 2 0 2 -1 -1 0 -1 0 0 4 1 2 0 3 -1 -1 4 -1 0 0 4 1 2 2 4 3 -1 0 -1 0 0 4 1 3 5 1 -1 -1 0 -1 0 0 4 1 2 2 -1 -1 -1 3 f f t f f f t f t f f f f t t f t f t f f f f f f f f f f f f f f f f f f f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 -1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 1 -1 -1 -1 2 -1 0 0 4 1 2 2 2 -1 -1 3 -1 0 0 4 1 2 0 2 -1 -1 0 -1 0 0 4 1 2 0 3 -1 -1 4 -1 0 0 4 1 2 2 4 3 -1 0 -1 0 0 4 1 3 5 1 -1 -1 0 -1 0 0 4 1 2 2 -1 -1 -1 3 f f t f f f t f t f f f f t t f t f t f f f f f f f f f f f f f f f f f f f t f f f 3 #step 13 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 -1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 1 -1 -1 -1 2 -1 0 0 4 1 2 2 2 -1 -1 3 -1 0 0 4 1 2 0 2 -1 -1 0 -1 0 0 4 1 2 0 3 -1 -1 4 -1 0 0 4 1 2 2 4 3 -1 0 -1 0 0 4 1 3 5 1 -1 -1 0 -1 0 0 4 1 2 0 2 2 -1 3 f f t f f f t f t f f f t f t f t f f f f f f f f f t f t f f f t f f f t f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 -1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 1 -1 -1 -1 2 -1 0 0 4 1 2 2 2 -1 -1 3 -1 0 0 4 1 2 0 2 -1 -1 0 -1 0 0 4 1 2 0 3 -1 -1 4 -1 0 0 4 1 2 2 4 3 -1 0 -1 0 0 4 1 3 5 1 -1 -1 0 -1 0 0 4 1 2 0 2 2 -1 3 f f t f f f t f t f f f t f t f t f f f f f f f f f t f t f f f t f f f t f f f f f 3 #step 14 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 -1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 2 1 -1 2 -1 0 0 4 1 2 0 1 -1 -1 3 -1 0 0 4 1 2 0 2 -1 -1 0 -1 0 0 4 1 2 0 2 2 4 4 -1 0 0 4 1 2 2 4 3 -1 0 -1 0 0 4 1 2 2 4 3 1 0 -1 0 0 4 1 2 0 2 2 -1 3 f f t f f f f f f t f f f f t f f f t f f f t f f f f f f t f f f f t f f f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 -1 -1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 2 1 -1 2 -1 0 0 4 1 2 0 1 -1 -1 3 -1 0 0 4 1 2 0 2 -1 -1 0 -1 0 0 4 1 2 0 2 2 4 4 -1 0 0 4 1 2 2 4 3 -1 0 -1 0 0 4 1 2 2 4 3 1 0 -1 0 0 4 1 2 0 2 2 -1 3 f f t f f f f f f t f f f f t f f f t f f f t f f f f f f t f f f f t f f f t f f t 4 #step 15 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 2 1 -1 2 -1 0 0 4 1 2 0 1 -1 -1 1 -1 0 0 4 1 2 0 2 -1 -1 0 -1 0 0 4 1 2 0 2 2 4 4 -1 0 0 4 1 2 0 2 2 5 0 -1 0 0 4 1 2 2 4 3 1 0 -1 0 0 4 1 2 0 1 3 -1 3 f f f t f f t f t f t f t f t f t f f t f f f t f f t f f f t f t f t f t f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 2 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 2 1 -1 2 -1 0 0 4 1 2 0 1 -1 -1 1 -1 0 0 4 1 2 0 2 -1 -1 0 -1 0 0 4 1 2 0 2 2 4 4 -1 0 0 4 1 2 0 2 2 5 0 -1 0 0 4 1 2 2 4 3 1 0 -1 0 0 4 1 2 0 1 3 -1 3 f f f t f f t f t f t f t f t f t f f t f f f t f f t f f f t f t f t f t f f f f t 5 #step 16 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 1 3 1 2 -1 0 0 4 1 2 0 1 -1 -1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 4 -1 0 0 4 1 2 0 1 3 5 0 0 0 4 1 2 0 2 2 5 1 0 -1 0 0 4 1 2 0 1 3 -1 3 f f f f f f f t t f f f f t f t t f f t f f f f f f f f f f f f f f f t t f f t f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 1 3 1 2 -1 0 0 4 1 2 0 1 -1 -1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 4 -1 0 0 4 1 2 0 1 3 5 0 0 0 4 1 2 0 2 2 5 1 0 -1 0 0 4 1 2 0 1 3 -1 3 f f f f f f f t t f f f f t f t t f f t f f f f f f f f f f f f f f f t t f f t f f 5 #step 17 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 1 3 1 2 -1 0 0 4 1 2 0 1 -1 -1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 4 -1 0 0 4 1 2 0 1 3 5 2 0 0 4 1 2 0 1 3 5 1 0 -1 0 0 4 1 2 0 1 3 -1 2 f f f f f f f t t f f f f t f f f t f f f f f f f f f t t f f f f t f f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 1 3 1 2 -1 0 0 4 1 2 0 1 -1 -1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 4 -1 0 0 4 1 2 0 1 3 5 2 0 0 4 1 2 0 1 3 5 1 0 -1 0 0 4 1 2 0 1 3 -1 2 f f f f f f f t t f f f f t f f f t f f f f f f f f f t t f f f f t f f f f f f f f 5 #step 18 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 1 3 1 3 -1 0 0 4 1 2 0 1 1 1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 1 -1 0 0 4 1 2 0 1 3 5 2 0 0 4 1 2 0 1 3 5 1 0 -1 0 0 4 1 2 0 1 3 -1 2 f f t f f f f f f f f f f f f f f t t f f f f f f f f f f f f f f f f f f f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 1 3 1 3 -1 0 0 4 1 2 0 1 1 1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 1 -1 0 0 4 1 2 0 1 3 5 2 0 0 4 1 2 0 1 3 5 1 0 -1 0 0 4 1 2 0 1 3 -1 2 f f t f f f f f f f f f f f f f f t t f f f f f f f f f f f f f f f f f f f t f f t 6 #step 19 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 1 3 1 3 -1 0 0 4 1 2 0 1 1 1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 1 -1 0 0 4 1 2 0 1 3 5 2 0 0 4 1 2 0 1 3 5 1 0 -1 4 -1 -1 -1 -1 -1 -1 -1 -1 2 f f t f f f t f f f f f f f t f f t f t f f f f f f f f f f f f f f t f f f f t f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 1 3 1 3 -1 0 0 4 1 2 0 1 1 1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 1 -1 0 0 4 1 2 0 1 3 5 2 0 0 4 1 2 0 1 3 5 1 0 -1 4 -1 -1 -1 -1 -1 -1 -1 -1 2 f f t f f f t f f f f f f f t f f t f t f f f f f f f f f f f f f f t f f f f t f f 6 #step 20 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 1 3 1 3 -1 0 0 4 1 2 0 1 1 1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 1 -1 4 5 -1 -1 -1 -1 -1 -1 -1 2 0 0 4 1 2 0 1 3 5 1 0 -1 4 -1 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f t f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 1 3 1 3 -1 0 0 4 1 2 0 1 1 1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 1 -1 4 5 -1 -1 -1 -1 -1 -1 -1 2 0 0 4 1 2 0 1 3 5 1 0 -1 4 -1 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f t f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f f f f f 6 #step 21 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 1 3 1 3 -1 0 0 4 1 2 0 1 1 1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 1 -1 4 5 -1 -1 -1 -1 -1 -1 -1 2 -1 4 5 1 -1 -1 -1 -1 -1 -1 0 -1 4 -1 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f t f f f f f f f f f f f f f f f t f f f t f f f f f f f f f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 0 4 1 2 0 1 1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 4 1 2 0 1 3 1 3 -1 0 0 4 1 2 0 1 1 1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 1 -1 4 5 -1 -1 -1 -1 -1 -1 -1 2 -1 4 5 1 -1 -1 -1 -1 -1 -1 0 -1 4 -1 -1 -1 -1 -1 -1 -1 -1 0 f f t f f f t f f f f f f f f f f f f f f f t f f f t f f f f f f f f f f f f f f f 6 #step 22 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 -1 -1 -1 -1 -1 -1 -1 3 -1 0 0 4 1 2 0 1 1 1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 1 -1 4 5 -1 -1 -1 -1 -1 -1 -1 2 -1 4 5 1 -1 -1 -1 -1 -1 -1 0 -1 4 -1 -1 -1 -1 -1 -1 -1 -1 0 f f f t f f f t t f t f t f f f f f t f f f f t f f f f t f f f f f f f f f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 -1 -1 -1 -1 -1 -1 -1 3 -1 0 0 4 1 2 0 1 1 1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 1 -1 4 5 -1 -1 -1 -1 -1 -1 -1 2 -1 4 5 1 -1 -1 -1 -1 -1 -1 0 -1 4 -1 -1 -1 -1 -1 -1 -1 -1 0 f f f t f f f t t f t f t f f f f f t f f f f t f f f f t f f f f f f f f f t f f t 7 #step 23 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 -1 -1 -1 -1 -1 -1 -1 3 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 1 -1 4 5 -1 -1 -1 -1 -1 -1 -1 2 -1 4 5 1 -1 -1 -1 -1 -1 -1 0 -1 0 2 3 -1 -1 -1 -1 -1 -1 0 f f f f f f f t f f t f t f t f f f t f f f f f f f f t f f t f t f f f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 -1 -1 -1 -1 -1 -1 -1 3 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 4 1 2 0 1 1 2 0 -1 0 0 4 1 2 0 1 1 3 1 -1 4 5 -1 -1 -1 -1 -1 -1 -1 2 -1 4 5 1 -1 -1 -1 -1 -1 -1 0 -1 0 2 3 -1 -1 -1 -1 -1 -1 0 f f f f f f f t f f t f t f t f f f t f f f f f f f f t f f t f t f f f f f f f f f 7 #step 24 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 2 -1 -1 -1 -1 -1 -1 0 -1 0 1 3 -1 -1 -1 -1 -1 -1 1 -1 4 5 -1 -1 -1 -1 -1 -1 -1 2 -1 4 5 1 -1 -1 -1 -1 -1 -1 0 -1 0 2 3 -1 -1 -1 -1 -1 -1 0 f f f f f f t f f f f f f f t f f f t f f f f f f f t f f f f f f f t f f f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 2 -1 -1 -1 -1 -1 -1 0 -1 0 1 3 -1 -1 -1 -1 -1 -1 1 -1 4 5 -1 -1 -1 -1 -1 -1 -1 2 -1 4 5 1 -1 -1 -1 -1 -1 -1 0 -1 0 2 3 -1 -1 -1 -1 -1 -1 0 f f f f f f t f f f f f f f t f f f t f f f f f f f t f f f f f f f t f f f t f f t 8 #step 25 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 2 1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 2 -1 -1 -1 -1 -1 -1 0 -1 0 1 3 -1 -1 -1 -1 -1 -1 1 -1 0 1 3 3 -1 -1 -1 -1 -1 2 -1 4 5 1 -1 -1 -1 -1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 0 f f f f f f t f f f t f t f t f t f f t f f f f f f f f f f t f t f f f t f f t f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 2 1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 2 -1 -1 -1 -1 -1 -1 0 -1 0 1 3 -1 -1 -1 -1 -1 -1 1 -1 0 1 3 3 -1 -1 -1 -1 -1 2 -1 4 5 1 -1 -1 -1 -1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 0 f f f f f f t f f f t f t f t f t f f t f f f f f f f f f f t f t f f f t f f t f t 9 #step 26 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 2 1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 3 -1 -1 -1 -1 0 -1 0 1 1 3 4 -1 -1 -1 -1 1 -1 0 1 3 3 -1 -1 -1 -1 -1 2 -1 0 1 3 3 1 -1 -1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f t f f f f t f t t f f f f f f f f f f f f f f f f t f f t f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 2 1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 3 -1 -1 -1 -1 0 -1 0 1 1 3 4 -1 -1 -1 -1 1 -1 0 1 3 3 -1 -1 -1 -1 -1 2 -1 0 1 3 3 1 -1 -1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f t f f f f t f t t f f f f f f f f f f f f f f f f t f f t f f f f f f f 9 #step 27 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 2 1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 3 -1 -1 -1 -1 2 -1 0 1 1 3 4 -1 -1 -1 -1 1 -1 0 1 1 3 4 3 -1 -1 -1 2 -1 0 1 3 3 1 -1 -1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f t f f f f f f t f t t f f f f f f f f f f f f f f f f f f t t f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 2 1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 3 -1 -1 -1 -1 2 -1 0 1 1 3 4 -1 -1 -1 -1 1 -1 0 1 1 3 4 3 -1 -1 -1 2 -1 0 1 3 3 1 -1 -1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f t f f f f f f t f t t f f f f f f f f f f f f f f f f f f t t f f f f f 9 #step 28 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 2 1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 3 -1 -1 -1 -1 2 -1 0 1 1 3 4 -1 -1 -1 -1 1 -1 0 1 1 3 4 3 -1 -1 -1 0 -1 0 1 1 3 4 3 1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f t f f f f f f t f f f f f f f f f f f f t f f f f f f t f f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 2 1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 3 -1 -1 -1 -1 2 -1 0 1 1 3 4 -1 -1 -1 -1 1 -1 0 1 1 3 4 3 -1 -1 -1 0 -1 0 1 1 3 4 3 1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f t f f f f f f t f f f f f f f f f f f f t f f f f f f t f f f f f f f f 9 #step 29 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 1 3 1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 3 -1 -1 -1 -1 2 -1 0 1 1 3 4 -1 -1 -1 -1 4 -1 0 1 1 3 4 3 -1 -1 -1 0 -1 0 1 1 3 4 3 1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f f t f f t f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 1 3 1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 3 -1 -1 -1 -1 2 -1 0 1 1 3 4 -1 -1 -1 -1 4 -1 0 1 1 3 4 3 -1 -1 -1 0 -1 0 1 1 3 4 3 1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f f t f f t f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f t 10 #step 30 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 1 3 1 -1 -1 -1 -1 3 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 3 -1 -1 -1 -1 2 -1 0 1 1 3 4 -1 -1 -1 -1 4 -1 0 1 1 3 4 3 -1 -1 -1 0 -1 0 1 1 3 4 3 1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 1 3 1 -1 -1 -1 -1 3 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 3 -1 -1 -1 -1 2 -1 0 1 1 3 4 -1 -1 -1 -1 4 -1 0 1 1 3 4 3 -1 -1 -1 0 -1 0 1 1 3 4 3 1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f 10 #step 31 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 1 3 1 -1 -1 -1 -1 3 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 1 2 -1 -1 -1 2 -1 0 1 1 3 4 -1 -1 -1 -1 4 -1 0 1 1 3 4 3 -1 -1 -1 0 -1 0 1 1 3 4 3 1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f f f f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 1 3 1 -1 -1 -1 -1 3 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 1 2 -1 -1 -1 2 -1 0 1 1 3 4 -1 -1 -1 -1 4 -1 0 1 1 3 4 3 -1 -1 -1 0 -1 0 1 1 3 4 3 1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f f f f f f f f f t 11 #step 32 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 1 3 1 -1 -1 -1 -1 3 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 1 2 -1 -1 -1 1 -1 0 1 1 3 4 -1 -1 -1 -1 4 -1 0 1 1 3 4 3 -1 -1 -1 0 -1 0 1 1 3 4 3 1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t f f f f f f f f t +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 1 1 3 1 -1 -1 -1 -1 3 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 3 1 2 -1 -1 -1 1 -1 0 1 1 3 4 -1 -1 -1 -1 4 -1 0 1 1 3 4 3 -1 -1 -1 0 -1 0 1 1 3 4 3 1 -1 -1 0 -1 0 1 1 3 -1 -1 -1 -1 -1 2 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t t 11 -This algo is silent after 95 moves, 32 steps, 14 rounds. +This algo is silent after 95 moves, 32 steps, 11 rounds. #quit diff --git a/test/dfs/4.14.0/g.rif.exp b/test/dfs/4.14.0/g.rif.exp index 37568c7a..76525adc 100644 --- a/test/dfs/4.14.0/g.rif.exp +++ b/test/dfs/4.14.0/g.rif.exp @@ -1,93 +1,93 @@ -# Automatically generated by /home/jahier/.opam/4.13.1/bin/sasa version "v4.5.9" ("c9bee55") -# on crevetete the 8/6/2022 at 11:18:53 +# Automatically generated by /home/jahier/.opam/4.14.0/bin/sasa version "v4.6.0" ("73ebb5e") +# on crevetete the 23/6/2022 at 14:37:00 #sasa g.dot -seed 42 #seed 42 #inputs -#outputs "p1_path0":int "p1_path1":int "p1_path2":int "p1_path3":int "p1_path4":int "p1_path5":int "p1_path6":int "p1_path7":int "p1_path8":int "p1_path9":int "p1_par":int "p2_path0":int "p2_path1":int "p2_path2":int "p2_path3":int "p2_path4":int "p2_path5":int "p2_path6":int "p2_path7":int "p2_path8":int "p2_path9":int "p2_par":int "p3_path0":int "p3_path1":int "p3_path2":int "p3_path3":int "p3_path4":int "p3_path5":int "p3_path6":int "p3_path7":int "p3_path8":int "p3_path9":int "p3_par":int "p4_path0":int "p4_path1":int "p4_path2":int "p4_path3":int "p4_path4":int "p4_path5":int "p4_path6":int "p4_path7":int "p4_path8":int "p4_path9":int "p4_par":int "p5_path0":int "p5_path1":int "p5_path2":int "p5_path3":int "p5_path4":int "p5_path5":int "p5_path6":int "p5_path7":int "p5_path8":int "p5_path9":int "p5_par":int "p6_path0":int "p6_path1":int "p6_path2":int "p6_path3":int "p6_path4":int "p6_path5":int "p6_path6":int "p6_path7":int "p6_path8":int "p6_path9":int "p6_par":int "p7_path0":int "p7_path1":int "p7_path2":int "p7_path3":int "p7_path4":int "p7_path5":int "p7_path6":int "p7_path7":int "p7_path8":int "p7_path9":int "p7_par":int "p8_path0":int "p8_path1":int "p8_path2":int "p8_path3":int "p8_path4":int "p8_path5":int "p8_path6":int "p8_path7":int "p8_path8":int "p8_path9":int "p8_par":int "p9_path0":int "p9_path1":int "p9_path2":int "p9_path3":int "p9_path4":int "p9_path5":int "p9_path6":int "p9_path7":int "p9_path8":int "p9_path9":int "p9_par":int "p10_path0":int "p10_path1":int "p10_path2":int "p10_path3":int "p10_path4":int "p10_path5":int "p10_path6":int "p10_path7":int "p10_path8":int "p10_path9":int "p10_par":int "Enab_p1_update_path":bool "Enab_p1_compute_parent":bool "Enab_p2_update_path":bool "Enab_p2_compute_parent":bool "Enab_p3_update_path":bool "Enab_p3_compute_parent":bool "Enab_p4_update_path":bool "Enab_p4_compute_parent":bool "Enab_p5_update_path":bool "Enab_p5_compute_parent":bool "Enab_p6_update_path":bool "Enab_p6_compute_parent":bool "Enab_p7_update_path":bool "Enab_p7_compute_parent":bool "Enab_p8_update_path":bool "Enab_p8_compute_parent":bool "Enab_p9_update_path":bool "Enab_p9_compute_parent":bool "Enab_p10_update_path":bool "Enab_p10_compute_parent":bool "p1_update_path":bool "p1_compute_parent":bool "p2_update_path":bool "p2_compute_parent":bool "p3_update_path":bool "p3_compute_parent":bool "p4_update_path":bool "p4_compute_parent":bool "p5_update_path":bool "p5_compute_parent":bool "p6_update_path":bool "p6_compute_parent":bool "p7_update_path":bool "p7_compute_parent":bool "p8_update_path":bool "p8_compute_parent":bool "p9_update_path":bool "p9_compute_parent":bool "p10_update_path":bool "p10_compute_parent":bool "legitimate":bool +#outputs "p1_path0":int "p1_path1":int "p1_path2":int "p1_path3":int "p1_path4":int "p1_path5":int "p1_path6":int "p1_path7":int "p1_path8":int "p1_path9":int "p1_par":int "p2_path0":int "p2_path1":int "p2_path2":int "p2_path3":int "p2_path4":int "p2_path5":int "p2_path6":int "p2_path7":int "p2_path8":int "p2_path9":int "p2_par":int "p3_path0":int "p3_path1":int "p3_path2":int "p3_path3":int "p3_path4":int "p3_path5":int "p3_path6":int "p3_path7":int "p3_path8":int "p3_path9":int "p3_par":int "p4_path0":int "p4_path1":int "p4_path2":int "p4_path3":int "p4_path4":int "p4_path5":int "p4_path6":int "p4_path7":int "p4_path8":int "p4_path9":int "p4_par":int "p5_path0":int "p5_path1":int "p5_path2":int "p5_path3":int "p5_path4":int "p5_path5":int "p5_path6":int "p5_path7":int "p5_path8":int "p5_path9":int "p5_par":int "p6_path0":int "p6_path1":int "p6_path2":int "p6_path3":int "p6_path4":int "p6_path5":int "p6_path6":int "p6_path7":int "p6_path8":int "p6_path9":int "p6_par":int "p7_path0":int "p7_path1":int "p7_path2":int "p7_path3":int "p7_path4":int "p7_path5":int "p7_path6":int "p7_path7":int "p7_path8":int "p7_path9":int "p7_par":int "p8_path0":int "p8_path1":int "p8_path2":int "p8_path3":int "p8_path4":int "p8_path5":int "p8_path6":int "p8_path7":int "p8_path8":int "p8_path9":int "p8_par":int "p9_path0":int "p9_path1":int "p9_path2":int "p9_path3":int "p9_path4":int "p9_path5":int "p9_path6":int "p9_path7":int "p9_path8":int "p9_path9":int "p9_par":int "p10_path0":int "p10_path1":int "p10_path2":int "p10_path3":int "p10_path4":int "p10_path5":int "p10_path6":int "p10_path7":int "p10_path8":int "p10_path9":int "p10_par":int "Enab_p1_update_path":bool "Enab_p1_compute_parent":bool "Enab_p2_update_path":bool "Enab_p2_compute_parent":bool "Enab_p3_update_path":bool "Enab_p3_compute_parent":bool "Enab_p4_update_path":bool "Enab_p4_compute_parent":bool "Enab_p5_update_path":bool "Enab_p5_compute_parent":bool "Enab_p6_update_path":bool "Enab_p6_compute_parent":bool "Enab_p7_update_path":bool "Enab_p7_compute_parent":bool "Enab_p8_update_path":bool "Enab_p8_compute_parent":bool "Enab_p9_update_path":bool "Enab_p9_compute_parent":bool "Enab_p10_update_path":bool "Enab_p10_compute_parent":bool "p1_update_path":bool "p1_compute_parent":bool "p2_update_path":bool "p2_compute_parent":bool "p3_update_path":bool "p3_compute_parent":bool "p4_update_path":bool "p4_compute_parent":bool "p5_update_path":bool "p5_compute_parent":bool "p6_update_path":bool "p6_compute_parent":bool "p7_update_path":bool "p7_compute_parent":bool "p8_update_path":bool "p8_compute_parent":bool "p9_update_path":bool "p9_compute_parent":bool "p10_update_path":bool "p10_compute_parent":bool "legitimate":bool round:bool round_nb:int #step 0 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f t f t f t f t f t f f f f f f f f f f f f f t f f f f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f t f t f t f t f t f f f f f f f f f f f f f t f f f f f f f f f 0 #step 1 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f t f f t t f t f t f f f f f f f f f t f t f f t t f f f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f t f t f f t t f t f t f f f f f f f f f t f t f f t t f f f t f f f 1 #step 2 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f f t t f t f f t t f t f f f t f f f t f f f f f t f f t f f f f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f t f f f t f f t t f t f f t t f t f f f t f f f t f f f f f t f f t f f f f f f 1 #step 3 -#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f f t f f t f t f t f f f f f t f t f t f f t f f f f t f f f f f f f t f t f f +#outs -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 t f f t f f t f t f t f f f f f t f t f t f f t f f f f t f f f f f f f t f t f f f 1 #step 4 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 3 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 2 -1 -1 -1 -1 -1 -1 -1 1 f f f t f f t f f t t f f f t f f t t f f f f f f f f f f f t f f f f f f f t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 3 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 2 -1 -1 -1 -1 -1 -1 -1 1 f f f t f f t f f t t f f f t f f t t f f f f f f f f f f f t f f f f f f f t f f t 2 #step 5 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 3 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 f f f t f f t f f t f t f t t f f t t f f f f t f f t f f f f f f t f f f t t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 3 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 1 -1 -1 -1 -1 -1 -1 1 f f f t f f t f f t f t f t t f f t t f f f f t f f t f f f f f f t f f f t t f f f 2 #step 6 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 3 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 1 f f f f f f f f t f f t f f t f t f f t f f f f f f f f t f f f f f t f f f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 3 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 1 f f f f f f f f t f f t f f t f t f f t f f f f f f f f t f f f f f t f f f f f f f 2 #step 7 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 1 f f f f f f f f f f f t t f f t t f f t f f f f f f f f f f f t t f f f f f f t f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 0 -1 0 0 -1 -1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 1 f f f f f f f f f f f t t f f t t f f t f f f f f f f f f f f t t f f f f f f t f t 3 #step 8 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 0 f f f f f f f f f f t f f t t f t f f f f f f f f f f f f f f f f f f f t f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 1 -1 -1 -1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 0 f f f f f f f f f f t f f t t f t f f f f f f f f f f f f f f f f f f f t f f f f f 3 #step 9 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 2 1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 0 f f f f f f f f f f t f f t t f f t f f f f f f f f f f f f t f f f f f f t f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 2 1 -1 -1 -1 -1 0 -1 0 0 0 2 -1 -1 -1 -1 -1 0 f f f f f f f f f f t f f t t f f t f f f f f f f f f f f f t f f f f f f t f f f t 4 #step 10 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 2 1 -1 -1 -1 -1 1 -1 0 0 0 2 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f t f t f f f t f f f f f f f f f f f f f f f f f f f t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 2 1 -1 -1 -1 -1 1 -1 0 0 0 2 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f t f t f f f t f f f f f f f f f f f f f f f f f f f t f f f 4 #step 11 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 2 1 -1 -1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f f f t f t f t f f f f f f f f f f f f f f f f f t f t f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 1 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 2 1 -1 -1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f f f t f t f t f f f f f f f f f f f f f f f f f t f t f f f f f 4 #step 12 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 1 -1 -1 -1 -1 1 -1 0 0 0 1 0 2 1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f f f t f t f f f f f f f f f f f f f f f f f t f t f f f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 1 -1 -1 -1 -1 1 -1 0 0 0 1 0 2 1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f f f t f t f f f f f f f f f f f f f f f f f t f t f f f f f f t 5 #step 13 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 -1 -1 -1 1 -1 0 0 0 1 0 2 1 0 -1 1 -1 0 0 0 1 0 2 1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f t f f t t f f f f f f f f f f f f f f f f f f t t f f f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 -1 -1 -1 1 -1 0 0 0 1 0 2 1 0 -1 1 -1 0 0 0 1 0 2 1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f t f f t t f f f f f f f f f f f f f f f f f f t t f f f f f f t 6 #step 14 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 -1 -1 -1 0 -1 0 0 0 1 0 1 1 -1 -1 1 -1 0 0 0 1 0 2 1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f t f f f f t t f f f f f f f f f f f f f t f f f f t t f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 -1 -1 -1 0 -1 0 0 0 1 0 1 1 -1 -1 1 -1 0 0 0 1 0 2 1 -1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f t f f f f t t f f f f f f f f f f f f f t f f f f t t f f f f f 6 #step 15 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 -1 -1 1 -1 0 0 0 1 0 1 -1 -1 -1 0 -1 0 0 0 1 0 1 1 -1 -1 0 -1 0 0 0 1 0 1 1 1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f f f t f f f f t t f f f f f f f f f f f f f t f f f f t t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 -1 -1 1 -1 0 0 0 1 0 1 -1 -1 -1 0 -1 0 0 0 1 0 1 1 -1 -1 0 -1 0 0 0 1 0 1 1 1 -1 1 -1 0 0 0 1 0 2 -1 -1 -1 0 f f f f f f f f f f f f t f f f f t t f f f f f f f f f f f f f t f f f f t t f f t 7 #step 16 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 -1 -1 1 -1 0 0 0 1 0 1 0 1 -1 0 -1 0 0 0 1 0 1 1 -1 -1 0 -1 0 0 0 1 0 1 1 1 -1 0 -1 0 0 0 1 0 1 0 2 -1 0 f f f f f f f f f f t f f f t f t f f f f f f f f f f f f f t f f f t f f f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 -1 -1 1 -1 0 0 0 1 0 1 0 1 -1 0 -1 0 0 0 1 0 1 1 -1 -1 0 -1 0 0 0 1 0 1 1 1 -1 0 -1 0 0 0 1 0 1 0 2 -1 0 f f f f f f f f f f t f f f t f t f f f f f f f f f f f f f t f f f t f f f f f f t 8 #step 17 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 1 0 1 -1 0 0 0 1 0 1 0 1 -1 0 -1 0 0 0 1 0 1 0 1 1 0 -1 0 0 0 1 0 1 1 1 -1 0 -1 0 0 0 1 0 1 0 2 -1 0 f f f f f f f f f f f f t f f f t f t f f f f f f f f f f f f f t f f f t f t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 1 0 1 -1 0 0 0 1 0 1 0 1 -1 0 -1 0 0 0 1 0 1 0 1 1 0 -1 0 0 0 1 0 1 1 1 -1 0 -1 0 0 0 1 0 1 0 2 -1 0 f f f f f f f f f f f f t f f f t f t f f f f f f f f f f f f f t f f f t f t f f f 8 #step 18 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 -1 0 0 0 1 0 1 0 1 1 0 -1 0 0 0 1 0 1 0 2 1 0 -1 0 0 0 1 0 1 1 1 1 0 f f f f f f f f f f t f f t t f t f t f f f f f f f f f f f t f f t f f t f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 -1 0 0 0 1 0 1 0 1 1 0 -1 0 0 0 1 0 1 0 2 1 0 -1 0 0 0 1 0 1 1 1 1 0 f f f f f f f f f f t f f t t f t f t f f f f f f f f f f f t f f t f f t f f f f t 9 #step 19 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 1 0 0 0 1 0 1 0 1 0 1 -1 -1 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 -1 0 0 0 1 0 1 1 1 1 0 f f f f f f f f f f f t t f t f f t t f f f f f f f f f f f f t f f t f f f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 1 0 0 0 1 0 1 0 1 0 1 -1 -1 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 -1 0 0 0 1 0 1 1 1 1 0 f f f f f f f f f f f t t f t f f t t f f f f f f f f f f f f t f f t f f f f f f f 9 #step 20 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 1 0 1 0 1 -1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 -1 0 0 0 1 0 1 1 1 1 0 f f f f f f f f f f f f t f f t t f t f f f f f f f f f f f f f t f f t f f t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 1 0 1 0 1 -1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 -1 0 0 0 1 0 1 1 1 1 0 f f f f f f f f f f f f t f f t t f t f f f f f f f f f f f f f t f f t f f t f f f 9 #step 21 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 -1 0 0 1 0 1 0 1 0 1 1 -1 0 0 0 1 0 1 0 1 1 1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f t t f t f f f f f f f f f f f f f f f f f t f t f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 -1 0 0 1 0 1 0 1 0 1 1 -1 0 0 0 1 0 1 0 1 1 1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f t t f t f f f f f f f f f f f f f f f f f t f t f f f f t 10 #step 22 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 2 1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 2 1 -1 -1 -1 -1 -1 -1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f t f t t f f f f f f f f f f f f f f f f t f f f f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 2 1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 2 1 -1 -1 -1 -1 -1 -1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f t f t t f f f f f f f f f f f f f f f f t f f f f f f f f 10 #step 23 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 2 1 -1 -1 -1 -1 -1 -1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f f f t t f f f f f f f f f f f f f f f f f f t t f f f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 -1 -1 2 2 1 -1 -1 -1 -1 -1 -1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f f f t t f f f f f f f f f f f f f f f f f f t t f f f f t 11 #step 24 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 -1 -1 -1 -1 -1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 -1 -1 -1 -1 -1 0 -1 2 2 -1 -1 -1 -1 -1 -1 -1 0 f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f f t 12 #step 25 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 1 -1 -1 -1 -1 0 f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 1 -1 -1 -1 -1 0 f f f f f f f f f f f f f f f f f f f t f f f f f f f f f f f f f f f f f f f t f t 13 #step 26 -#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 1 -1 -1 -1 -1 1 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t t +#outs -1 0 0 -1 -1 -1 -1 -1 -1 -1 0 -1 0 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -10 -1 0 2 -1 -1 -1 -1 -1 -1 -1 0 -1 0 2 2 -1 -1 -1 -1 -1 -1 1 -1 2 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 -1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 -1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 -1 -1 -1 -1 -1 0 -1 2 1 1 1 1 -1 -1 -1 -1 1 f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f t t 13 -This algo is silent after 63 moves, 26 steps, 16 rounds. +This algo is silent after 63 moves, 26 steps, 13 rounds. #quit diff --git a/test/dijkstra-ring/ring.rif.exp b/test/dijkstra-ring/ring.rif.exp index 530ebc98..b310b8e7 100644 --- a/test/dijkstra-ring/ring.rif.exp +++ b/test/dijkstra-ring/ring.rif.exp @@ -1,5 +1,5 @@ -# Automatically generated by /home/jahier/.opam/4.13.1/bin/sasa version "v4.6.0" ("169b4f7") -# on crevetete the 22/6/2022 at 17:23:24 +# Automatically generated by /home/jahier/.opam/4.14.0/bin/sasa version "v4.6.0" ("73ebb5e") +# on crevetete the 23/6/2022 at 14:36:59 #sasa ring.dot -seed 42 #seed 42 diff --git a/test/k-clustering/4.14.0/fig52_kcl.rif.exp b/test/k-clustering/4.14.0/fig52_kcl.rif.exp index 9128cdf1..d8c499fd 100644 --- a/test/k-clustering/4.14.0/fig52_kcl.rif.exp +++ b/test/k-clustering/4.14.0/fig52_kcl.rif.exp @@ -1,5 +1,5 @@ -# Automatically generated by /home/jahier/.opam/4.13.1/bin/sasa version "v4.6.0" ("169b4f7") -# on crevetete the 22/6/2022 at 23:23:00 +# Automatically generated by /home/jahier/.opam/4.14.0/bin/sasa version "v4.6.0" ("73ebb5e") +# on crevetete the 23/6/2022 at 14:37:03 #sasa fig52_kcl.dot -seed 42 #seed 42 diff --git a/test/k-clustering/4.14.0/rtree10.rif.exp b/test/k-clustering/4.14.0/rtree10.rif.exp index f87ede86..4b2fe6be 100644 --- a/test/k-clustering/4.14.0/rtree10.rif.exp +++ b/test/k-clustering/4.14.0/rtree10.rif.exp @@ -1,5 +1,5 @@ -# Automatically generated by /home/jahier/.opam/4.13.1/bin/sasa version "v4.6.0" ("169b4f7") -# on crevetete the 22/6/2022 at 23:23:00 +# Automatically generated by /home/jahier/.opam/4.14.0/bin/sasa version "v4.6.0" ("73ebb5e") +# on crevetete the 23/6/2022 at 14:37:04 #sasa rtree10.dot -seed 42 #seed 42 diff --git a/test/toy-example-a5sf/te.rif.exp b/test/toy-example-a5sf/te.rif.exp index 87c880ad..ffab9edc 100644 --- a/test/toy-example-a5sf/te.rif.exp +++ b/test/toy-example-a5sf/te.rif.exp @@ -1,5 +1,5 @@ -# Automatically generated by /home/jahier/.opam/4.13.1/bin/sasa version "v4.6.0" ("169b4f7") -# on crevetete the 22/6/2022 at 17:28:06 +# Automatically generated by /home/jahier/.opam/4.14.0/bin/sasa version "v4.6.0" ("73ebb5e") +# on crevetete the 23/6/2022 at 14:52:16 #sasa te.dot -seed 42 #seed 42 -- GitLab