13 0 13 {1}\{0}