state %7B%7B0%2C1%2C0%7D%2C%7B0%2C0%2C1%7D%2C%7B1%2F5%2C-1%2C0%7D%7D%2C input %7B%7B0%7D%2C%7B0%7D%2C%7B1%7D%7D%2C output %7B%7B-3%2C0%2C1%7D%7D