nats adx zeros zeros cons n__0 n__zeros incr cons X Y cons n__s activate X n__incr activate Y adx cons X Y incr cons activate X n__adx activate Y hd cons X Y activate X tl cons X Y activate Y 0 n__0 zeros n__zeros s X n__s X incr X n__incr X adx X n__adx X activate n__0 0 activate n__zeros zeros activate n__s X s X activate n__incr X incr activate X activate n__adx X adx activate X activate X X 2.2 activate n__zeros zeros activate n__adx X adx activate X activate n__incr X activate X incr cons X Y activate Y nats zeros activate n__incr X incr activate X adx cons X Y incr cons activate X n__adx activate Y activate n__adx X activate X nats adx zeros hd cons X Y activate X adx cons X Y activate Y activate n__0 0 tl cons X Y activate Y incr cons X Y activate X adx cons X Y activate X activate n__s X s X true tl cons X Y activate Y false nats zeros false hd cons X Y activate X false nats adx zeros false adx cons X Y incr cons activate X n__adx activate Y adx cons X Y activate X activate n__incr X incr activate X incr cons X Y activate X adx cons X Y activate Y incr cons X Y activate Y activate n__incr X activate X activate n__adx X adx activate X activate n__adx X activate X true adx 1 1 5854 0 0 0 incr 1 1 0 hd 1 0 nats 0 0 s 1 1 0 n__adx 1 1 5854 activate 1 1 0 n__zeros 0 58713 activate 1 1 0 adx 1 1 5854 zeros 0 58713 tl 1 0 n__s 1 1 0 0 0 0 zeros 0 0 s 1 0 tl 1 0 incr 1 1 0 n__0 0 0 hd 1 0 nats 0 0 cons 2 1 2 0 n__incr 1 1 0 activate n__adx X adx activate X activate n__incr X activate X incr cons X Y activate Y incr cons X Y activate X activate n__incr X incr activate X adx cons X Y incr cons activate X n__adx activate Y adx cons X Y incr cons activate X n__adx activate Y activate n__incr X incr activate X zeros n__zeros incr cons X Y cons n__s activate X n__incr activate Y activate n__adx X adx activate X activate X X incr X n__incr X 0 n__0 activate n__s X s X activate n__0 0 adx X n__adx X s X n__s X activate n__zeros zeros zeros cons n__0 n__zeros adx cons X Y incr cons activate X n__adx activate Y activate n__incr X activate X activate n__incr X incr activate X incr cons X Y activate Y incr cons X Y activate X activate n__adx X adx activate X true adx 1 1 5854 0 0 0 incr 1 1 0 hd 1 0 nats 0 0 s 1 1 0 n__adx 1 1 5854 activate 1 1 0 n__zeros 0 75018 activate 1 1 0 adx 1 1 5854 zeros 0 75018 tl 1 0 n__s 1 1 0 0 0 38551 zeros 0 0 s 1 0 tl 1 0 incr 1 1 0 n__0 0 38551 hd 1 0 nats 0 0 cons 2 1 36467 2 0 0 n__incr 1 1 0 activate n__adx X adx activate X incr cons X Y activate Y activate n__incr X incr activate X activate n__incr X activate X adx cons X Y incr cons activate X n__adx activate Y adx cons X Y incr cons activate X n__adx activate Y activate n__incr X incr activate X zeros n__zeros incr cons X Y cons n__s activate X n__incr activate Y activate n__adx X adx activate X activate X X incr X n__incr X 0 n__0 activate n__s X s X activate n__0 0 adx X n__adx X s X n__s X activate n__zeros zeros zeros cons n__0 n__zeros adx cons X Y incr cons activate X n__adx activate Y activate n__incr X activate X activate n__incr X incr activate X incr cons X Y activate Y activate n__adx X adx activate X true Failed! NaTT certifiable-1.6