# Automatically generated by /home/jahier/.opam/4.13.1/bin/sasa version "v4.5.9" ("da5b46e") # on crevetete the 11/5/2022 at 11:30:16 #sasa grid4.dot -seed 42 #seed 42 #inputs #outputs "p0_st":string "p0_par":int "p0_d":int "p1_st":string "p1_par":int "p1_d":int "p2_st":string "p2_par":int "p2_d":int "p3_st":string "p3_par":int "p3_d":int "p4_st":string "p4_par":int "p4_d":int "p5_st":string "p5_par":int "p5_d":int "p6_st":string "p6_par":int "p6_d":int "p7_st":string "p7_par":int "p7_d":int "p8_st":string "p8_par":int "p8_d":int "p9_st":string "p9_par":int "p9_d":int "p10_st":string "p10_par":int "p10_d":int "p11_st":string "p11_par":int "p11_d":int "p12_st":string "p12_par":int "p12_d":int "p13_st":string "p13_par":int "p13_d":int "p14_st":string "p14_par":int "p14_d":int "p15_st":string "p15_par":int "p15_d":int "Enab_p0_Rcu":bool "Enab_p0_Rebu":bool "Enab_p0_Refu":bool "Enab_p0_Riu":bool "Enab_p0_Rru":bool "Enab_p1_Rcu":bool "Enab_p1_Rebu":bool "Enab_p1_Refu":bool "Enab_p1_Riu":bool "Enab_p1_Rru":bool "Enab_p2_Rcu":bool "Enab_p2_Rebu":bool "Enab_p2_Refu":bool "Enab_p2_Riu":bool "Enab_p2_Rru":bool "Enab_p3_Rcu":bool "Enab_p3_Rebu":bool "Enab_p3_Refu":bool "Enab_p3_Riu":bool "Enab_p3_Rru":bool "Enab_p4_Rcu":bool "Enab_p4_Rebu":bool "Enab_p4_Refu":bool "Enab_p4_Riu":bool "Enab_p4_Rru":bool "Enab_p5_Rcu":bool "Enab_p5_Rebu":bool "Enab_p5_Refu":bool "Enab_p5_Riu":bool "Enab_p5_Rru":bool "Enab_p6_Rcu":bool "Enab_p6_Rebu":bool "Enab_p6_Refu":bool "Enab_p6_Riu":bool "Enab_p6_Rru":bool "Enab_p7_Rcu":bool "Enab_p7_Rebu":bool "Enab_p7_Refu":bool "Enab_p7_Riu":bool "Enab_p7_Rru":bool "Enab_p8_Rcu":bool "Enab_p8_Rebu":bool "Enab_p8_Refu":bool "Enab_p8_Riu":bool "Enab_p8_Rru":bool "Enab_p9_Rcu":bool "Enab_p9_Rebu":bool "Enab_p9_Refu":bool "Enab_p9_Riu":bool "Enab_p9_Rru":bool "Enab_p10_Rcu":bool "Enab_p10_Rebu":bool "Enab_p10_Refu":bool "Enab_p10_Riu":bool "Enab_p10_Rru":bool "Enab_p11_Rcu":bool "Enab_p11_Rebu":bool "Enab_p11_Refu":bool "Enab_p11_Riu":bool "Enab_p11_Rru":bool "Enab_p12_Rcu":bool "Enab_p12_Rebu":bool "Enab_p12_Refu":bool "Enab_p12_Riu":bool "Enab_p12_Rru":bool "Enab_p13_Rcu":bool "Enab_p13_Rebu":bool "Enab_p13_Refu":bool "Enab_p13_Riu":bool "Enab_p13_Rru":bool "Enab_p14_Rcu":bool "Enab_p14_Rebu":bool "Enab_p14_Refu":bool "Enab_p14_Riu":bool "Enab_p14_Rru":bool "Enab_p15_Rcu":bool "Enab_p15_Rebu":bool "Enab_p15_Refu":bool "Enab_p15_Riu":bool "Enab_p15_Rru":bool "p0_Rcu":bool "p0_Rebu":bool "p0_Refu":bool "p0_Riu":bool "p0_Rru":bool "p1_Rcu":bool "p1_Rebu":bool "p1_Refu":bool "p1_Riu":bool "p1_Rru":bool "p2_Rcu":bool "p2_Rebu":bool "p2_Refu":bool "p2_Riu":bool "p2_Rru":bool "p3_Rcu":bool "p3_Rebu":bool "p3_Refu":bool "p3_Riu":bool "p3_Rru":bool "p4_Rcu":bool "p4_Rebu":bool "p4_Refu":bool "p4_Riu":bool "p4_Rru":bool "p5_Rcu":bool "p5_Rebu":bool "p5_Refu":bool "p5_Riu":bool "p5_Rru":bool "p6_Rcu":bool "p6_Rebu":bool "p6_Refu":bool "p6_Riu":bool "p6_Rru":bool "p7_Rcu":bool "p7_Rebu":bool "p7_Refu":bool "p7_Riu":bool "p7_Rru":bool "p8_Rcu":bool "p8_Rebu":bool "p8_Refu":bool "p8_Riu":bool "p8_Rru":bool "p9_Rcu":bool "p9_Rebu":bool "p9_Refu":bool "p9_Riu":bool "p9_Rru":bool "p10_Rcu":bool "p10_Rebu":bool "p10_Refu":bool "p10_Riu":bool "p10_Rru":bool "p11_Rcu":bool "p11_Rebu":bool "p11_Refu":bool "p11_Riu":bool "p11_Rru":bool "p12_Rcu":bool "p12_Rebu":bool "p12_Refu":bool "p12_Riu":bool "p12_Rru":bool "p13_Rcu":bool "p13_Rebu":bool "p13_Refu":bool "p13_Riu":bool "p13_Rru":bool "p14_Rcu":bool "p14_Rebu":bool "p14_Refu":bool "p14_Riu":bool "p14_Rru":bool "p15_Rcu":bool "p15_Rebu":bool "p15_Refu":bool "p15_Riu":bool "p15_Rru":bool "legitimate":bool #step 0 #outs C -1 0 EF 0 0 EF 0 0 EF 1 0 I 0 1 I 0 3 C 2 2 EF 2 2 EB 2 0 C 1 1 EB 0 1 I 2 2 I 1 1 C 1 1 EB 1 2 I 1 0 f f f f f f f f f t f f f f t f f f t f f f f f t f f f f t f t f f f f f f f t f f t f f f t f f f f f t f f f f f f f f f f f t f t 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 f f t f f f t f f f f f f f f f f f f t f f f f f f f t f f t f f f t 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 #step 1 #outs C -1 0 EF 0 0 C 0 3 I 1 0 I 0 1 I 0 3 EB 2 2 C 0 3 EF 2 0 EB 1 1 EF 0 1 I 2 2 I 1 1 C 1 1 EF 1 2 I 1 0 f f f f f f f f f t f t f f f f f f f t f f f f t f f f f f f f f f f f t f f f f f f t f f f t f f f f f t f f f f f t f f f f t f t 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 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 f f 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 f t f f f f f f #step 2 #outs C -1 0 EF 0 0 C 0 3 I 1 0 I 0 1 I 0 3 EB 2 2 EB 0 3 EF 2 0 EB 1 1 I 0 1 I 2 2 I 1 1 EB 1 1 C 1 2 I 1 0 f f f f f f f f f t f t f f f f f f f t f f f f t f f f f f f f f f f f f t f f f f f t f f f t f f f f 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 t 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 f f f f f f f f t f f f f f t f f f t 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 f f f f f t f #step 3 #outs C -1 0 C 2 4 EB 0 3 I 1 0 I 0 1 I 0 3 EB 2 2 EF 0 3 I 2 0 EF 1 1 C 2 2 I 2 2 I 1 1 EB 1 1 C 1 2 C 0 3 f f f f f t f f f f f f t f f f f f f f f f f f t 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 f f f f f f f t 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 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 f f f f f f f f f f f t f t 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 f f #step 4 #outs C -1 0 C 2 1 EB 0 3 I 1 0 I 0 1 C 3 2 EB 2 2 EF 0 3 I 2 0 C 3 4 EB 2 2 C 2 3 I 1 1 EB 1 1 C 1 2 C 0 3 f f f f f f f f f f f f t 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 t 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 t 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 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 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 #step 5 #outs C -1 0 C 2 1 EF 0 3 I 1 0 I 0 1 C 3 2 EB 2 2 EF 0 3 C 0 2 C 3 4 EB 2 2 C 2 3 I 1 1 EB 1 1 EB 1 2 C 0 3 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 t f f f f f f f f t f f f t f f f f f f f f f f t f f f f f f f t 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 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 f f f f t f f f f f f f f f f f f f f f f f f f f f f f f #step 6 #outs C -1 0 C 2 1 EF 0 3 I 1 0 I 0 1 C 3 2 EF 2 2 EF 0 3 C 0 2 C 3 4 EB 2 2 EB 2 3 I 1 1 EB 1 1 EB 1 2 C 0 3 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 f t f f f f f f t f f f t 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 f f f t 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 f f f f t 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 #step 7 #outs C -1 0 C 2 1 EF 0 3 I 1 0 I 0 1 C 3 2 EF 2 2 EF 0 3 EB 0 2 C 3 4 EB 2 2 EB 2 3 I 1 1 EB 1 1 EB 1 2 C 0 3 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 f t f f f f f f f t f f t 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 t 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 f t 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 f f f f f f f f f f f t f f f f #step 8 #outs C -1 0 C 2 1 EF 0 3 I 1 0 C 2 3 C 3 2 C 1 4 EF 0 3 EB 0 2 C 1 3 EB 2 2 EB 2 3 I 1 1 EB 1 1 EB 1 2 EB 0 3 f f f f f f f f f f f f f f t f f f f f t f f f f f f f f f t f 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 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 f f f f f t 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 t 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 f f f f #step 9 #outs C -1 0 C 2 1 C 2 5 I 1 0 C 2 3 C 3 2 C 1 3 EF 0 3 EF 0 2 C 1 3 EB 2 2 EF 2 3 I 1 1 EB 1 1 EB 1 2 EB 0 3 f f f f f f f f f f t 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 f f f f t 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 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 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 t 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 #step 10 #outs C -1 0 C 2 1 C 2 5 I 1 0 C 2 3 C 3 2 C 1 3 EF 0 3 C 1 4 C 1 3 EF 2 2 EF 2 3 I 1 1 EB 1 1 EB 1 2 EB 0 3 f f f f f f f f f f t 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 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 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 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 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 f #step 11 #outs C -1 0 C 2 1 C 2 2 I 1 0 C 2 1 C 3 2 C 1 3 EF 0 3 C 1 4 C 1 3 EF 2 2 EF 2 3 I 1 1 EB 1 1 EB 1 2 EB 0 3 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 t f f f f f f f f f f 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 t 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 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 f f f f t f f f #step 12 #outs C -1 0 C 2 1 C 2 2 I 1 0 C 2 1 C 3 2 C 1 3 EF 0 3 C 1 4 C 1 3 EF 2 2 EF 2 3 C 0 2 EB 1 1 EB 1 2 EF 0 3 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 t f 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 f f t 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 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 f f f f f f t f f f f f f f f f f t f f f f f f f f #step 13 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 EF 0 3 C 1 2 C 1 3 C 1 3 EF 2 3 EB 0 2 EB 1 1 EF 1 2 EF 0 3 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 f f f f f f f f f f f t f f f f f f f t f f t f f f f t 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 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 f f f f f f f f f f f f f f f f f f #step 14 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 EF 0 3 C 1 2 C 1 3 C 1 3 EF 2 3 EF 0 2 EB 1 1 EF 1 2 EF 0 3 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 f f f f f f f f f f f t f f f f f f f t f f f f t f f t 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 f f f f f f f f f f f t f f f f f f f f f f f t 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 f f #step 15 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 EB 1 3 C 2 4 EF 0 2 EB 1 1 EF 1 2 EF 0 3 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 f f f f f f f f f f f f f f f f t 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 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 f f f f f f f f f f f f t f f f f f f f t f f f f f f f f f f f f f f f f #step 16 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 EB 1 3 EB 2 4 C 0 3 EB 1 1 EF 1 2 EF 0 3 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 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 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 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 f f f f f f f f f f f f f f f #step 17 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 EB 1 3 EF 2 4 C 0 3 EB 1 1 EF 1 2 EF 0 3 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 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 t 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 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 f f f f f f f f f f f f f #step 18 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 EB 1 3 EF 2 4 C 0 3 EF 1 1 EF 1 2 EF 0 3 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 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 t 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 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 f f f f f f f f f f f f f f f f f f f f #step 19 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 EF 1 3 EF 2 4 C 0 3 EF 1 1 EF 1 2 EF 0 3 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 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 t 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 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 f f f f f f f f f f f f f f f f f f #step 20 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 EF 2 4 C 0 3 EF 1 1 EF 1 2 EF 0 3 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 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 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 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 f f f f f f f f f f f f f #step 21 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 EF 1 1 EF 1 2 EF 0 3 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 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 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 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 f f f #step 22 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 3 EF 1 2 EF 0 3 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 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 t 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 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 f f f f f f #step 23 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 EB 2 3 EF 1 2 EF 0 3 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 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 t 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 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 f f f f f f t f f f f f f #step 24 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 EF 2 3 C 2 4 EF 0 3 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 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 t 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 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 f f f f f f f f f f t f t f f f f f f f t f #step 25 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 4 EB 2 4 C 0 5 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 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 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 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 f f f f #step 26 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 4 EB 2 4 EB 0 5 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 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 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 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 f f f #step 27 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 4 EB 2 4 EF 0 5 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 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 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 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 f f f f f f f f #step 28 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 4 EF 2 4 EF 0 5 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 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 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 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 f f f f f f #step 29 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 4 C 2 5 EF 0 5 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 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 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 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 f #step 30 #outs C -1 0 C 2 1 C 2 2 C 1 3 C 2 1 C 3 2 C 1 3 C 1 4 C 1 2 C 1 3 C 1 4 C 2 5 C 0 3 C 2 4 C 2 5 C 1 6 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 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 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 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 This algo is silent after 72 moves, 30 steps, 15 rounds. #quit