Dfd (c) 1 1 1 0 0 6 1 1 i 2 10 9 1 4 i>=0 4 1 1 i 6 1 1 i 3 i-1 11 4 1 5 'fin' 1