# Generated by re2py
# re2py $INPUT -o $OUTPUT

def lex(yyinput):
    yycursor = 0
    yymarker = 0

    yystate = 0
    while True:
        match yystate:
            case 0:
                yych = yyinput[yycursor]
                yycursor += 1
                if yych == 0x07:
                    yystate = 2
                    continue
                yystate = 1
                continue
            case 1:
                x = ['\a', '\b', '\f', '\n', '\r', '\t', '\v', '\\', '\'', '\"'] # unused
                return False
            case 2:
                yymarker = yycursor
                yych = yyinput[yycursor]
                if yych != 0x08:
                    yystate = 1
                    continue
                yycursor += 1
                yych = yyinput[yycursor]
                if yych == 0x0C:
                    yycursor += 1
                    yystate = 4
                    continue
                yystate = 3
                continue
            case 3:
                yycursor = yymarker
                yystate = 1
                continue
            case 4:
                yych = yyinput[yycursor]
                if yych != 0x0A:
                    yystate = 3
                    continue
                yycursor += 1
                yych = yyinput[yycursor]
                if yych != 0x0D:
                    yystate = 3
                    continue
                yycursor += 1
                yych = yyinput[yycursor]
                if yych != 0x09:
                    yystate = 3
                    continue
                yycursor += 1
                yych = yyinput[yycursor]
                if yych != 0x0B:
                    yystate = 3
                    continue
                yycursor += 1
                yych = yyinput[yycursor]
                if yych != 0x5C:
                    yystate = 3
                    continue
                yycursor += 1
                yych = yyinput[yycursor]
                if yych != 0x27:
                    yystate = 3
                    continue
                yycursor += 1
                yych = yyinput[yycursor]
                if yych != 0x22:
                    yystate = 3
                    continue
                yycursor += 1
                return True
            case _:
                raise "internal lexer error"


assert lex(b"\x07\x08\x0c\x0a\x0d\x09\x0b\\'\"\0")