diff --git a/test/async-unison/ring.rif.exp b/test/async-unison/ring.rif.exp index 6149975ccc0b3fb48a5ff60ec70be0146bfe9786..6bc1f0c1eccc34a36ec21e7431fe2f4eb963c443 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 0a72b8f6b13559ec0e2fb782fd304613b8adfa33..71472c756ab7321b8989c7c34e24ac03bb7e8716 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 33f59c5d6577b752a83554034c450f2d6d6af67b..267b151e7c8608a2143f74d67440f87bb0107c4f 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 23e204a292810f979063851764dbf86c9f3e4a1b..f073c45e5f29244f3e20e0b4b41e00cb096197b5 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 9ca5524abc02023432b1ba701de183ee96130147..3b072556561ebf905d9427547700e7b83c3bb586 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 37568c7ae8ddd62975cd53d70b72bda5f7f7a6c6..76525adccfeabe15890e9ed924a62131593fda62 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 530ebc98dd0749ae4739babff0583e52fe2dcd43..b310b8e7d4742fbea4b340aa0bfe5e11520e1eea 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 9128cdf1a3f72184b97f32362763cc01aa54a434..d8c499fde3357c40a02cb9ef891af8c039f1faf0 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 f87ede8671df5b0470adc264833f2ff5ee6bf69a..4b2fe6be3cc8b1491f664415a8102725c19cbbb1 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 87c880ade44a0641d2d94c638bbd4d5fac62e8e5..ffab9edcb8618259f73518a61672fa7788366ec2 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