let yycheck = "\005\000\000\000\003\001\003\001\005\000\004\001\000\000\000\000\000\000\010\000\011\000\004\001\005\001\006\001\007\001\008\001\054\000\055\000\056\000\012\001\013\001\059\000\001\000\024\001\024\001\012\001\013\001\000\000\027\001\030\001\030\001\003\001\033\000\034\001\035\001\035\001\021\001\022\001\023\001\024\001\025\001\046\000\047\000\048\000\049\000\050\000\051\000\052\000\053\000\026\001\008\001\028\001\003\001\000\000\012\001\013\001\003\001\058\000\027\001\005\000\006\000\007\000\008\000\009\000\035\001\035\001\004\001\035\001\073\000\004\001\035\001\004\001\073\000\015\001\016\001\017\001\018\001\019\001\020\001\000\000\015\001\016\001\017\001\018\001\019\001\020\001\004\001\004\001\029\001\255\255\255\255\255\255\255\255\039\000\040\000\041\000\042\000\043\000\044\000\255\255\255\255\255\255\255\255\255\255\255\255\000\000\001\001\002\001\003\001\255\255\255\255\255\255\255\255\255\255\009\001\010\001\011\001\255\255\255\255\014\001\005\001\006\001\007\001\008\001\255\255\255\255\255\255\012\001\013\001\024\001\255\255\000\000\255\255\255\255\255\255\030\001\031\001\032\001\033\001\034\001\035\001\255\255\005\001\006\001\007\001\008\001\255\255\255\255\000\000\012\001\013\001\255\255\255\255\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\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\005\001\006\001\007\001\008\001\000\000\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\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"