*** 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) is false
-- as demonstrated by the following execution sequence
-> State 1.1 <-
    b0 = 0
    b1 = 0
    b2 = 1
    b3 = 0
    b4 = 1
    b5 = 0
    b6 = 0
    b7 = 0
    b8 = 0
    b9 = 0
    b10 = 0
    b11 = 0
    b12 = 1
    b13 = 0
    b14 = 0
    b15 = 1
    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 = 1
    b29 = 0
    b30 = 0
    b31 = 0
    b32 = 0
    b33 = 0
    b34 = 0
    b35 = 0
    b36 = 0
    b37 = 0
    b38 = 0
    b39 = 0
    b40 = 0
    b41 = 0
    b42 = 0
    b43 = 1
    b44 = 0
    b45 = 0
    b46 = 0
    b47 = 1
    b48 = 1
    b49 = 1
    b50 = 0
    b51 = 0
    b52 = 0
    b53 = 0
    b54 = 0
    b55 = 0
    b56 = 0
    b57 = 1
    b58 = 0
    b59 = 0
    b60 = 0
    b61 = 0
    b62 = 0
    b63 = 0
    b64 = 0
    b65 = 0
    b66 = 0
    b67 = 0
    b68 = 0
    b69 = 0
    b70 = 1
    b71 = 1
    b72 = 0
    b73 = 0
    b74 = 0
    b75 = 1
    b76 = 0
-> State 1.2 <-
    b15 = 0
    b34 = 1
    b43 = 0
    b44 = 1
    b48 = 0
    b69 = 1
    b75 = 0
-> State 1.3 <-
    b15 = 1
    b34 = 0
    b43 = 1
    b44 = 0
    b48 = 1
    b66 = 1
    b75 = 1
-> State 1.4 <-
    b35 = 1
    b43 = 0
    b44 = 1
    b48 = 0
    b51 = 1
    b66 = 0
    b68 = 1
    b69 = 0
-> State 1.5 <-
    b17 = 1
    b44 = 0
    b46 = 1
    b48 = 1
    b51 = 0
    b57 = 0
    b68 = 0
    b69 = 1
    b76 = 1
-> State 1.6 <-
    b1 = 1
    b4 = 0
    b5 = 1
    b17 = 0
    b25 = 1
    b57 = 1
    b76 = 0
-> State 1.7 <-
    b14 = 1
    b16 = 1
    b26 = 1
    b47 = 0
-> State 1.8 <-
    b0 = 1
    b5 = 0
    b6 = 1
    b14 = 0
    b21 = 1
    b43 = 1
    b46 = 0
    b47 = 1
