let yycheck = "\030\000\006\001\030\000\006\001\031\000\001\000\007\001\004\001\036\000\131\000\030\000\014\001\004\001\005\001\034\000\010\001\008\001\021\001\008\001\023\001\025\001\022\001\012\001\018\001\146\000\009\001\010\001\054\000\033\001\004\001\022\001\036\001\020\001\008\001\018\001\055\000\026\001\040\001\066\000\069\000\037\001\013\001\034\001\037\001\036\001\009\001\076\000\077\000\078\000\079\000\080\000\081\000\082\000\083\000\074\000\075\000\001\001\002\001\003\001\004\001\005\001\036\001\012\001\008\001\009\001\010\001\038\001\039\001\018\001\009\001\015\001\016\001\017\001\004\001\038\001\039\001\013\001\107\000\108\000\107\000\004\001\001\001\002\001\003\001\004\001\005\001\038\001\039\001\008\001\034\001\010\001\036\001\009\001\020\001\011\001\015\001\016\001\017\001\038\001\039\001\004\001\038\001\039\001\001\001\002\001\003\001\004\001\005\001\128\000\021\001\008\001\141\000\034\001\035\001\034\001\037\001\036\001\015\001\016\001\017\001\007\001\009\001\009\001\011\001\011\001\006\001\007\001\022\001\009\001\010\001\011\001\004\001\013\001\004\001\021\001\014\001\034\001\018\001\036\001\008\001\021\001\022\001\004\001\008\001\025\001\008\001\027\001\028\001\029\001\030\001\031\001\032\001\033\001\034\001\035\001\036\001\037\001\038\001\039\001\006\001\007\001\005\001\009\001\010\001\011\001\004\001\005\001\007\001\007\001\008\001\004\001\018\001\004\001\005\001\021\001\004\001\008\001\004\001\025\001\004\001\027\001\028\001\029\001\030\001\031\001\032\001\033\001\034\001\035\001\036\001\037\001\038\001\039\001\006\001\007\001\034\001\009\001\036\001\011\001\008\001\013\001\008\001\034\001\021\001\036\001\011\001\014\001\004\001\021\001\022\001\009\001\009\001\025\001\009\001\027\001\028\001\029\001\030\001\031\001\032\001\033\001\034\001\035\001\036\001\037\001\038\001\039\001\006\001\007\001\009\001\009\001\009\001\011\001\009\001\013\001\027\001\028\001\029\001\030\001\031\001\032\001\004\001\021\001\022\001\011\001\004\001\025\001\012\001\027\001\028\001\029\001\030\001\031\001\032\001\033\001\034\001\035\001\036\001\037\001\038\001\039\001\006\001\007\001\018\001\009\001\021\001\011\001\009\001\013\001\084\000\085\000\086\000\087\000\007\001\007\001\000\000\021\001\022\001\021\001\009\001\025\001\005\000\027\001\028\001\029\001\030\001\031\001\032\001\033\001\009\000\049\000\036\001\019\000\038\001\039\001\006\001\007\001\103\000\009\001\255\255\011\001\255\255\013\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\021\001\009\001\255\255\255\255\025\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\033\001\255\255\255\255\036\001\255\255\038\001\039\001\027\001\028\001\029\001\030\001\031\001\032\001\033\001\034\001\035\001\036\001\037\001\038\001\039\001\006\001\007\001\255\255\009\001\255\255\011\001\255\255\013\001\255\255\006\001\007\001\255\255\009\001\255\255\011\001\021\001\013\001\255\255\255\255\025\001\255\255\255\255\255\255\255\255\021\001\255\255\255\255\033\001\025\001\255\255\036\001\255\255\006\001\007\001\255\255\009\001\033\001\011\001\255\255\036\001\255\255\006\001\007\001\255\255\009\001\255\255\011\001\021\001\255\255\255\255\255\255\025\001\255\255\255\255\255\255\255\255\021\001\255\255\255\255\033\001\025\001\255\255\036\001\255\255\255\255\255\255\255\255\255\255\033\001\255\255\255\255\036\001"