*** This is NuSMV 2.1.2 (compiled 2002-11-22 12:00:00)
*** For more information of NuSMV see <http://nusmv.irst.itc.it>
*** or email to <nusmv-users@irst.itc.it>.
*** Please report bugs to <nusmv-users@irst.itc.it>.
-- specification AG (!(b0 & b1)) is false
-- as demonstrated by the following execution sequence
-> State 1.1 <-
    b0 = 1
    b1 = 0
    b2 = 1
    b3 = 0
    b4 = 1
    b5 = 0
    b6 = 0
    b7 = 0
    b8 = 0
    b9 = 0
    b10 = 0
    b11 = 0
    b12 = 0
    b13 = 0
    b14 = 0
    b15 = 0
    b16 = 0
    b17 = 0
    b18 = 0
    b19 = 0
    b20 = 0
    b21 = 0
    b22 = 0
    b23 = 0
    b24 = 0
    b25 = 0
    b26 = 0
    b27 = 0
    b28 = 0
    b29 = 0
    b30 = 0
    b31 = 0
    b32 = 0
    b33 = 0
    b34 = 0
    b35 = 0
    b36 = 0
    b37 = 0
-> State 1.2 <-
    b4 = 0
-> State 1.3 <-
    b37 = 1
-> State 1.4 <-
    b36 = 1
    b37 = 0
-> State 1.5 <-
    b35 = 1
    b36 = 0
-> State 1.6 <-
    b34 = 1
    b35 = 0
-> State 1.7 <-
    b33 = 1
    b34 = 0
-> State 1.8 <-
    b32 = 1
    b33 = 0
-> State 1.9 <-
    b30 = 1
    b32 = 0
-> State 1.10 <-
    b28 = 1
    b30 = 0
-> State 1.11 <-
    b26 = 1
    b28 = 0
-> State 1.12 <-
    b24 = 1
    b26 = 0
-> State 1.13 <-
    b22 = 1
    b24 = 0
-> State 1.14 <-
    b20 = 1
    b22 = 0
-> State 1.15 <-
    b18 = 1
    b20 = 0
-> State 1.16 <-
    b16 = 1
    b18 = 0
-> State 1.17 <-
    b14 = 1
    b16 = 0
-> State 1.18 <-
    b12 = 1
    b14 = 0
-> State 1.19 <-
    b10 = 1
    b12 = 0
-> State 1.20 <-
    b8 = 1
    b10 = 0
-> State 1.21 <-
    b6 = 1
    b8 = 0
-> State 1.22 <-
    b3 = 1
    b6 = 0
-> State 1.23 <-
    b1 = 1
    b3 = 0
    b4 = 1
    b31 = 1
