let yycheck = "\005\000\000\000\004\001\005\000\004\001\001\000\000\000\000\000\000\000\011\000\012\000\026\001\034\001\028\001\003\001\015\001\016\001\017\001\018\001\019\001\020\001\056\000\057\000\058\000\003\001\027\001\061\000\000\000\005\000\006\000\007\000\008\000\009\000\035\000\005\001\006\001\007\001\008\001\012\001\013\001\003\001\012\001\013\001\048\000\049\000\050\000\051\000\052\000\053\000\054\000\055\000\003\001\027\001\000\000\005\001\006\001\007\001\008\001\060\000\035\001\004\001\012\001\013\001\035\001\041\000\042\000\043\000\044\000\045\000\046\000\075\000\035\001\024\001\075\000\035\001\003\001\029\001\004\001\030\001\000\000\001\001\002\001\003\001\035\001\004\001\004\001\255\255\255\255\009\001\010\001\011\001\255\255\255\255\014\001\022\001\008\001\024\001\255\255\255\255\012\001\013\001\022\001\030\001\024\001\255\255\000\000\034\001\035\001\255\255\030\001\031\001\032\001\033\001\034\001\035\001\015\001\016\001\017\001\018\001\019\001\020\001\255\255\005\001\006\001\007\001\008\001\255\255\255\255\255\255\012\001\013\001\000\000\015\001\016\001\017\001\018\001\019\001\020\001\021\001\022\001\023\001\024\001\025\001\004\001\005\001\006\001\007\001\008\001\000\000\255\255\255\255\012\001\013\001\255\255\255\255\255\255\255\255\000\000\021\001\022\001\023\001\024\001\025\001\255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\000\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\004\001\005\001\006\001\007\001\008\001\004\001\004\001\004\001\012\001\013\001\255\255\015\001\016\001\017\001\018\001\019\001\020\001\021\001\022\001\023\001\024\001\025\001\026\001\255\255\028\001\029\001\004\001\005\001\006\001\007\001\008\001\255\255\255\255\255\255\012\001\013\001\255\255\015\001\016\001\017\001\018\001\019\001\020\001\021\001\022\001\023\001\024\001\025\001\026\001\255\255\028\001\029\001\004\001\005\001\006\001\007\001\008\001\255\255\255\255\255\255\012\001\013\001\255\255\015\001\016\001\017\001\018\001\019\001\020\001\021\001\022\001\023\001\024\001\025\001\026\001\255\255\028\001\029\001\004\001\005\001\006\001\007\001\008\001\255\255\255\255\255\255\012\001\013\001\255\255\015\001\016\001\017\001\018\001\019\001\020\001\021\001\022\001\023\001\024\001\025\001\255\255\027\001\255\255\029\001\004\001\005\001\006\001\007\001\008\001\255\255\255\255\255\255\012\001\013\001\255\255\015\001\016\001\017\001\018\001\019\001\020\001\021\001\022\001\023\001\024\001\025\001\255\255\255\255\255\255\029\001\004\001\005\001\006\001\007\001\008\001\255\255\255\255\255\255\012\001\013\001\255\255\015\001\016\001\017\001\018\001\019\001\020\001\004\001\005\001\006\001\007\001\008\001\255\255\255\255\255\255\012\001\013\001\005\001\006\001\007\001\008\001\255\255\255\255\255\255\012\001\013\001\004\001\005\001\006\001\007\001\008\001\004\001\005\001\006\001\007\001\008\001\004\001\005\001\006\001\007\001\008\001\004\001\005\001\006\001\007\001\008\001\004\001\005\001\006\001\007\001\008\001\004\001\005\001\006\001\007\001\008\001\004\001\005\001\006\001\007\001"