// This program was compiled from OCaml by js_of_ocaml 1.0
function caml_raise_with_arg (tag, arg) { throw [0, tag, arg]; }
function caml_raise_with_string (tag, msg) {
  caml_raise_with_arg (tag, new MlWrappedString (msg));
}
function caml_invalid_argument (msg) {
  caml_raise_with_string(caml_global_data[4], msg);
}
function caml_array_bound_error () {
  caml_invalid_argument("index out of bounds");
}
function caml_str_repeat(n, s) {
  if (!n) { return ""; }
  if (n & 1) { return caml_str_repeat(n - 1, s) + s; }
  var r = caml_str_repeat(n >> 1, s);
  return r + r;
}
function MlString(param) {
  if (param != null) {
    this.bytes = this.fullBytes = param;
    this.last = this.len = param.length;
  }
}
MlString.prototype = {
  string:null,
  bytes:null,
  fullBytes:null,
  array:null,
  len:null,
  last:0,
  toJsString:function() {
    return this.string = decodeURIComponent (escape(this.getFullBytes()));
  },
  toBytes:function() {
    if (this.string != null)
      var b = unescape (encodeURIComponent (this.string));
    else {
      var b = "", a = this.array, l = a.length;
      for (var i = 0; i < l; i ++) b += String.fromCharCode (a[i]);
    }
    this.bytes = this.fullBytes = b;
    this.last = this.len = b.length;
    return b;
  },
  getBytes:function() {
    var b = this.bytes;
    if (b == null) b = this.toBytes();
    return b;
  },
  getFullBytes:function() {
    var b = this.fullBytes;
    if (b !== null) return b;
    b = this.bytes;
    if (b == null) b = this.toBytes ();
    if (this.last < this.len) {
      this.bytes = (b += caml_str_repeat(this.len - this.last, '\0'));
      this.last = this.len;
    }
    this.fullBytes = b;
    return b;
  },
  toArray:function() {
    var b = this.bytes;
    if (b == null) b = this.toBytes ();
    var a = [], l = this.last;
    for (var i = 0; i < l; i++) a[i] = b.charCodeAt(i);
    for (l = this.len; i < l; i++) a[i] = 0;
    this.string = this.bytes = this.fullBytes = null;
    this.last = this.len;
    this.array = a;
    return a;
  },
  getArray:function() {
    var a = this.array;
    if (!a) a = this.toArray();
    return a;
  },
  getLen:function() {
    var len = this.len;
    if (len !== null) return len;
    this.toBytes();
    return this.len;
  },
  toString:function() { var s = this.string; return s?s:this.toJsString(); },
  valueOf:function() { var s = this.string; return s?s:this.toJsString(); },
  blitToArray:function(i1, a2, i2, l) {
    var a1 = this.array;
    if (a1)
      for (var i = 0; i < l; i++) a2 [i2 + i] = a1 [i1 + i];
    else {
      var b = this.bytes;
      if (b == null) b = this.toBytes();
      var l1 = this.last - i1;
      if (l <= l1)
        for (var i = 0; i < l; i++) a2 [i2 + i] = b.charCodeAt(i1 + i);
      else {
        for (var i = 0; i < l1; i++) a2 [i2 + i] = b.charCodeAt(i1 + i);
        for (; i < l; i++) a2 [i2 + i] = 0;
      }
    }
  },
  get:function (i) {
    var a = this.array;
    if (a) return a[i];
    var b = this.bytes;
    if (b == null) b = this.toBytes();
    return (i<this.last)?b.charCodeAt(i):0;
  },
  safeGet:function (i) {
    if (!this.len) this.toBytes();
    if ((i < 0) || (i >= this.len)) caml_array_bound_error ();
    return this.get(i);
  },
  set:function (i, c) {
    var a = this.array;
    if (!a) {
      if (this.last == i) {
        this.bytes += String.fromCharCode (c & 0xff);
        this.last ++;
        return 0;
      }
      a = this.toArray();
    } else if (this.bytes != null) {
      this.bytes = this.fullBytes = this.string = null;
    }
    a[i] = c & 0xff;
    return 0;
  },
  safeSet:function (i, c) {
    if (this.len == null) this.toBytes ();
    if ((i < 0) || (i >= this.len)) caml_array_bound_error ();
    this.set(i, c);
  },
  fill:function (ofs, len, c) {
    if (ofs >= this.last && this.last && c == 0) return;
    var a = this.array;
    if (!a) a = this.toArray();
    else if (this.bytes != null) {
      this.bytes = this.fullBytes = this.string = null;
    }
    var l = ofs + len;
    for (var i = ofs; i < l; i++) a[i] = c;
  },
  compare:function (s2) {
    if (this.string != null && s2.string != null) {
      if (this.string < s2.string) return -1;
      if (this.string > s2.string) return 1;
      return 0;
    }
    var b1 = this.getFullBytes ();
    var b2 = s2.getFullBytes ();
    if (b1 < b2) return -1;
    if (b1 > b2) return 1;
    return 0;
  },
  equal:function (s2) {
    if (this.string != null && s2.string != null)
      return this.string == s2.string;
    return this.getFullBytes () == s2.getFullBytes ();
  },
  lessThan:function (s2) {
    if (this.string != null && s2.string != null)
      return this.string < s2.string;
    return this.getFullBytes () < s2.getFullBytes ();
  },
  lessEqual:function (s2) {
    if (this.string != null && s2.string != null)
      return this.string <= s2.string;
    return this.getFullBytes () <= s2.getFullBytes ();
  }
}
function MlWrappedString (s) { this.string = s; }
MlWrappedString.prototype = new MlString();
function MlMakeString (l) { this.bytes = ""; this.len = l; }
MlMakeString.prototype = new MlString ();
function caml_array_get (array, index) {
  if ((index < 0) || (index >= array.length - 1)) caml_array_bound_error();
  return array[index+1];
}
function caml_blit_string(s1, i1, s2, i2, len) {
  if (len === 0) return;
  if (i2 === s2.last && s2.bytes != null) {
    var b = s1.bytes;
    if (b == null) b = s1.toBytes ();
    if (i1 > 0 || s1.last > len) b = b.slice(i1, i1 + len);
    s2.bytes += b;
    s2.last += b.length;
    return;
  }
  var a = s2.array;
  if (!a) a = s2.toArray(); else { s2.bytes = s2.string = null; }
  s1.blitToArray (i1, a, i2, len);
}
function caml_call_gen(f, args) {
  if(f.fun)
    return caml_call_gen(f.fun, args);
  var n = f.length;
  var d = n - args.length;
  if (d == 0)
    return f.apply(null, args);
  else if (d < 0)
    return caml_call_gen(f.apply(null, args.slice(0,n)), args.slice(n));
  else
    return function (x){ return caml_call_gen(f, args.concat([x])); };
}
function caml_int64_compare(x,y) {
  var x3 = x[3] << 16;
  var y3 = y[3] << 16;
  if (x3 > y3) return 1;
  if (x3 < y3) return -1;
  if (x[2] > y[2]) return 1;
  if (x[2] < y[2]) return -1;
  if (x[1] > y[1]) return 1;
  if (x[1] < y[1]) return -1;
  return 0;
}
function caml_int_compare (a, b) {
  if (a < b) return (-1); if (a == b) return 0; return 1;
}
function caml_compare_val (a, b, total) {
  var stack = [];
  for(;;) {
    if (!(total && a === b)) {
      if (a instanceof MlString) {
        if (b instanceof MlString) {
            if (a != b) {
		var x = a.compare(b);
		if (x != 0) return x;
	    }
        } else
          return 1;
      } else if (a instanceof Array && a[0] === (a[0]|0)) {
        var ta = a[0];
        if (ta === 250) {
          a = a[1];
          continue;
        } else if (b instanceof Array && b[0] === (b[0]|0)) {
          var tb = b[0];
          if (tb === 250) {
            b = b[1];
            continue;
          } else if (ta != tb) {
            return (ta < tb)?-1:1;
          } else {
            switch (ta) {
            case 248: {
		var x = caml_int_compare(a[2], b[2]);
		if (x != 0) return x;
		break;
	    }
            case 255: {
		var x = caml_int64_compare(a, b);
		if (x != 0) return x;
		break;
	    }
            default:
              if (a.length != b.length) return (a.length < b.length)?-1:1;
              if (a.length > 1) stack.push(a, b, 1);
            }
          }
        } else
          return 1;
      } else if (b instanceof MlString ||
                 (b instanceof Array && b[0] === (b[0]|0))) {
        return -1;
      } else {
        if (a < b) return -1;
        if (a > b) return 1;
        if (total && a != b) {
          if (a == a) return 1;
          if (b == b) return -1;
        }
      }
    }
    if (stack.length == 0) return 0;
    var i = stack.pop();
    b = stack.pop();
    a = stack.pop();
    if (i + 1 < a.length) stack.push(a, b, i + 1);
    a = a[i];
    b = b[i];
  }
}
function caml_compare (a, b) { return caml_compare_val (a, b, true); }
function caml_create_string(len) {
  if (len < 0) caml_invalid_argument("String.create");
  return new MlMakeString(len);
}
function caml_parse_format (fmt) {
  fmt = fmt.toString ();
  var len = fmt.length;
  if (len > 31) caml_invalid_argument("format_int: format too long");
  var f =
    { justify:'+', signstyle:'-', filler:' ', alternate:false,
      base:0, signedconv:false, width:0, uppercase:false,
      sign:1, prec:-1, conv:'f' };
  for (var i = 0; i < len; i++) {
    var c = fmt.charAt(i);
    switch (c) {
    case '-':
      f.justify = '-'; break;
    case '+': case ' ':
      f.signstyle = c; break;
    case '0':
      f.filler = '0'; break;
    case '#':
      f.alternate = true; break;
    case '1': case '2': case '3': case '4': case '5':
    case '6': case '7': case '8': case '9':
      f.width = 0;
      while (c=fmt.charCodeAt(i) - 48, c >= 0 && c <= 9) {
        f.width = f.width * 10 + c; i++
      }
      i--;
     break;
    case '.':
      f.prec = 0;
      i++;
      while (c=fmt.charCodeAt(i) - 48, c >= 0 && c <= 9) {
        f.prec = f.prec * 10 + c; i++
      }
      i--;
    case 'd': case 'i':
      f.signedconv = true; /* fallthrough */
    case 'u':
      f.base = 10; break;
    case 'x':
      f.base = 16; break;
    case 'X':
      f.base = 16; f.uppercase = true; break;
    case 'o':
      f.base = 8; break;
    case 'e': case 'f': case 'g':
      f.signedconv = true; f.conv = c; break;
    case 'E': case 'F': case 'G':
      f.signedconv = true; f.uppercase = true;
      f.conv = c.toLowerCase (); break;
    }
  }
  return f;
}
function caml_finish_formatting(f, rawbuffer) {
  if (f.uppercase) rawbuffer = rawbuffer.toUpperCase();
  var len = rawbuffer.length;
  if (f.signedconv && (f.sign < 0 || f.signstyle != '-')) len++;
  if (f.alternate) {
    if (f.base == 8) len += 1;
    if (f.base == 16) len += 2;
  }
  var buffer = "";
  if (f.justify == '+' && f.filler == ' ')
    for (var i = len; i < f.width; i++) buffer += ' ';
  if (f.signedconv) {
    if (f.sign < 0) buffer += '-';
    else if (f.signstyle != '-') buffer += f.signstyle;
  }
  if (f.alternate && f.base == 8) buffer += '0';
  if (f.alternate && f.base == 16) buffer += "0x";
  if (f.justify == '+' && f.filler == '0')
    for (var i = len; i < f.width; i++) buffer += '0';
  buffer += rawbuffer;
  if (f.justify == '-')
    for (var i = len; i < f.width; i++) buffer += ' ';
  return new MlWrappedString (buffer);
}
function caml_format_int(fmt, i) {
  if (fmt.toString() == "%d") return new MlWrappedString(""+i);
  var f = caml_parse_format(fmt);
  if (i < 0) { if (f.signedconv) { f.sign = -1; i = -i; } else i >>>= 0; }
  var s = i.toString(f.base);
  if (f.prec >= 0) {
    f.filler = ' ';
    var n = f.prec - s.length;
    if (n > 0) s = caml_str_repeat (n, '0') + s;
  }
  return caml_finish_formatting(f, s);
}
function caml_greaterequal (x, y) { return +(caml_compare(x,y,false) >= 0); }
var caml_js_regexps = { amp:/&/g, lt:/</g, quot:/\"/g, all:/[&<\"]/ };
function caml_js_html_escape (s) {
  if (!caml_js_regexps.all.test(s)) return s;
  return s.replace(caml_js_regexps.amp, "&amp;")
          .replace(caml_js_regexps.lt, "&lt;")
          .replace(caml_js_regexps.quot, "&quot;");
}
function caml_js_on_ie () {
  var ua = window.navigator?window.navigator.userAgent:"";
  return ua.indexOf("MSIE") != -1 && ua.indexOf("Opera") != 0;
}
function caml_js_wrap_callback(f) {
  var toArray = Array.prototype.slice;
  return function () {
    var args = (arguments.length > 0)?toArray.call (arguments):[undefined];
    return caml_call_gen(f, args);
  }
}
var caml_global_data = [0];
function caml_failwith (msg) {
  caml_raise_with_string(caml_global_data[3], msg);
}
function caml_lex_array(s) {
  s = s.getFullBytes();
  var a = [], l = s.length / 2;
  for (var i = 0; i < l; i++)
    a[i] = (s.charCodeAt(2 * i) | (s.charCodeAt(2 * i + 1) << 8)) << 16 >> 16;
  return a;
}
function caml_lex_engine(tbl, start_state, lexbuf) {
  var lex_buffer = 2;
  var lex_buffer_len = 3;
  var lex_start_pos = 5;
  var lex_curr_pos = 6;
  var lex_last_pos = 7;
  var lex_last_action = 8;
  var lex_eof_reached = 9;
  var lex_base = 1;
  var lex_backtrk = 2;
  var lex_default = 3;
  var lex_trans = 4;
  var lex_check = 5;
  if (!tbl.lex_default) {
    tbl.lex_base =    caml_lex_array (tbl[lex_base]);
    tbl.lex_backtrk = caml_lex_array (tbl[lex_backtrk]);
    tbl.lex_check =   caml_lex_array (tbl[lex_check]);
    tbl.lex_trans =   caml_lex_array (tbl[lex_trans]);
    tbl.lex_default = caml_lex_array (tbl[lex_default]);
  }
  var c, state = start_state;
  var buffer = lexbuf[lex_buffer].getArray();
  if (state >= 0) {
    lexbuf[lex_last_pos] = lexbuf[lex_start_pos] = lexbuf[lex_curr_pos];
    lexbuf[lex_last_action] = -1;
  } else {
    state = -state - 1;
  }
  for(;;) {
    var base = tbl.lex_base[state];
    if (base < 0) return -base-1;
    var backtrk = tbl.lex_backtrk[state];
    if (backtrk >= 0) {
      lexbuf[lex_last_pos] = lexbuf[lex_curr_pos];
      lexbuf[lex_last_action] = backtrk;
    }
    if (lexbuf[lex_curr_pos] >= lexbuf[lex_buffer_len]){
      if (lexbuf[lex_eof_reached] == 0)
        return -state - 1;
      else
        c = 256;
    }else{
      c = buffer[lexbuf[lex_curr_pos]];
      lexbuf[lex_curr_pos] ++;
    }
    if (tbl.lex_check[base + c] == state)
      state = tbl.lex_trans[base + c];
    else
      state = tbl.lex_default[state];
    if (state < 0) {
      lexbuf[lex_curr_pos] = lexbuf[lex_last_pos];
      if (lexbuf[lex_last_action] == -1)
        caml_failwith("lexing: empty token");
      else
        return lexbuf[lex_last_action];
    }else{
      /* Erase the EOF condition only if the EOF pseudo-character was
         consumed by the automaton (i.e. there was no backtrack above)
       */
      if (c == 256) lexbuf[lex_eof_reached] = 0;
    }
  }
}
function caml_make_vect (len, init) {
  var b = [0]; for (var i = 1; i <= len; i++) b[i] = init; return b;
}
function caml_ml_out_channels_list () { return 0; }
function caml_obj_is_block (x) { return +(x instanceof Array); }
function caml_obj_tag (x) { return (x instanceof Array)?x[0]:1000; }
function caml_parse_engine(tables, env, cmd, arg)
{
  var ERRCODE = 256;
  var START = 0;
  var TOKEN_READ = 1;
  var STACKS_GROWN_1 = 2;
  var STACKS_GROWN_2 = 3;
  var SEMANTIC_ACTION_COMPUTED = 4;
  var ERROR_DETECTED = 5;
  var loop = 6;
  var testshift = 7;
  var shift = 8;
  var shift_recover = 9;
  var reduce = 10;
  var READ_TOKEN = 0;
  var RAISE_PARSE_ERROR = 1;
  var GROW_STACKS_1 = 2;
  var GROW_STACKS_2 = 3;
  var COMPUTE_SEMANTIC_ACTION = 4;
  var CALL_ERROR_FUNCTION = 5;
  var env_s_stack = 1;
  var env_v_stack = 2;
  var env_symb_start_stack = 3;
  var env_symb_end_stack = 4;
  var env_stacksize = 5;
  var env_stackbase = 6;
  var env_curr_char = 7;
  var env_lval = 8;
  var env_symb_start = 9;
  var env_symb_end = 10;
  var env_asp = 11;
  var env_rule_len = 12;
  var env_rule_number = 13;
  var env_sp = 14;
  var env_state = 15;
  var env_errflag = 16;
  var tbl_actions = 1;
  var tbl_transl_const = 2;
  var tbl_transl_block = 3;
  var tbl_lhs = 4;
  var tbl_len = 5;
  var tbl_defred = 6;
  var tbl_dgoto = 7;
  var tbl_sindex = 8;
  var tbl_rindex = 9;
  var tbl_gindex = 10;
  var tbl_tablesize = 11;
  var tbl_table = 12;
  var tbl_check = 13;
  var tbl_error_function = 14;
  var tbl_names_const = 15;
  var tbl_names_block = 16;
  if (!tables.dgoto) {
    tables.defred = caml_lex_array (tables[tbl_defred]);
    tables.sindex = caml_lex_array (tables[tbl_sindex]);
    tables.check  = caml_lex_array (tables[tbl_check]);
    tables.rindex = caml_lex_array (tables[tbl_rindex]);
    tables.table  = caml_lex_array (tables[tbl_table]);
    tables.len    = caml_lex_array (tables[tbl_len]);
    tables.lhs    = caml_lex_array (tables[tbl_lhs]);
    tables.gindex = caml_lex_array (tables[tbl_gindex]);
    tables.dgoto  = caml_lex_array (tables[tbl_dgoto]);
  }
  var res = 0, n, n1, n2, state1;
  var sp = env[env_sp];
  var state = env[env_state];
  var errflag = env[env_errflag];
  exit:for (;;) {
    switch(cmd) {
    case START:
      state = 0;
      errflag = 0;
    case loop:
      n = tables.defred[state];
      if (n != 0) { cmd = reduce; break; }
      if (env[env_curr_char] >= 0) { cmd = testshift; break; }
      res = READ_TOKEN;
      break exit;
    case TOKEN_READ:
      if (arg instanceof Array) {
        env[env_curr_char] = tables[tbl_transl_block][arg[0] + 1];
        env[env_lval] = arg[1];
      } else {
        env[env_curr_char] = tables[tbl_transl_const][arg + 1];
        env[env_lval] = 0;
      }
    case testshift:
      n1 = tables.sindex[state];
      n2 = n1 + env[env_curr_char];
      if (n1 != 0 && n2 >= 0 && n2 <= tables[tbl_tablesize] &&
          tables.check[n2] == env[env_curr_char]) {
        cmd = shift; break;
      }
      n1 = tables.rindex[state];
      n2 = n1 + env[env_curr_char];
      if (n1 != 0 && n2 >= 0 && n2 <= tables[tbl_tablesize] &&
          tables.check[n2] == env[env_curr_char]) {
        n = tables.table[n2];
        cmd = reduce; break;
      }
      if (errflag <= 0) {
        res = CALL_ERROR_FUNCTION;
        break exit;
      }
    case ERROR_DETECTED:
      if (errflag < 3) {
        errflag = 3;
        for (;;) {
          state1 = env[env_s_stack][sp + 1];
          n1 = tables.sindex[state1];
          n2 = n1 + ERRCODE;
          if (n1 != 0 && n2 >= 0 && n2 <= tables[tbl_tablesize] &&
              tables.check[n2] == ERRCODE) {
            cmd = shift_recover; break;
          } else {
            if (sp <= env[env_stackbase]) return RAISE_PARSE_ERROR;
            sp--;
          }
        }
      } else {
        if (env[env_curr_char] == 0) return RAISE_PARSE_ERROR;
        env[env_curr_char] = -1;
        cmd = loop; break;
      }
    case shift:
      env[env_curr_char] = -1;
      if (errflag > 0) errflag--;
    case shift_recover:
      state = tables.table[n2];
      sp++;
      if (sp >= env[env_stacksize]) {
        res = GROW_STACKS_1;
        break exit;
      }
    case STACKS_GROWN_1:
      env[env_s_stack][sp + 1] = state;
      env[env_v_stack][sp + 1] = env[env_lval];
      env[env_symb_start_stack][sp + 1] = env[env_symb_start];
      env[env_symb_end_stack][sp + 1] = env[env_symb_end];
      cmd = loop;
      break;
    case reduce:
      var m = tables.len[n];
      env[env_asp] = sp;
      env[env_rule_number] = n;
      env[env_rule_len] = m;
      sp = sp - m + 1;
      m = tables.lhs[n];
      state1 = env[env_s_stack][sp];
      n1 = tables.gindex[m];
      n2 = n1 + state1;
      if (n1 != 0 && n2 >= 0 && n2 <= tables[tbl_tablesize] &&
          tables.check[n2] == state1)
        state = tables.table[n2];
      else
        state = tables.dgoto[m];
      if (sp >= env[env_stacksize]) {
        res = GROW_STACKS_2;
        break exit;
      }
    case STACKS_GROWN_2:
      res = COMPUTE_SEMANTIC_ACTION;
      break exit;
    case SEMANTIC_ACTION_COMPUTED:
      env[env_s_stack][sp + 1] = state;
      env[env_v_stack][sp + 1] = arg;
      var asp = env[env_asp];
      env[env_symb_end_stack][sp + 1] = env[env_symb_end_stack][asp + 1];
      if (sp > asp) {
        env[env_symb_start_stack][sp + 1] = env[env_symb_end_stack][asp + 1];
      }
      cmd = loop; break;
    default:
      return RAISE_PARSE_ERROR;
    }
  }
  env[env_sp] = sp;
  env[env_state] = state;
  env[env_errflag] = errflag;
  return res;
}
function caml_register_global (n, v) { caml_global_data[n + 1] = v; }
var caml_named_values = {};
function caml_register_named_value(nm,v) {
  caml_named_values[nm] = v; return 0;
}
function caml_string_equal(s1, s2) {
  var b1 = s1.fullBytes;
  var b2 = s2.fullBytes;
  if (b1 != null && b2 != null) return (b1 == b2)?1:0;
  return (s1.getFullBytes () == s2.getFullBytes ())?1:0;
}
(function(){function fU(jB,jC,jD,jE){return jB.length==3?jB(jC,jD,jE):caml_call_gen(jB,[jC,jD,jE]);}function bz(jy,jz,jA){return jy.length==2?jy(jz,jA):caml_call_gen(jy,[jz,jA]);}function bo(jw,jx){return jw.length==1?jw(jx):caml_call_gen(jw,[jx]);}var a=[0,new MlString("Failure")],b=[0,new MlString("Invalid_argument")],c=[0,new MlString("Not_found")],d=[0,new MlString(""),0,0,-1],e=[0,new MlString(""),1,0,0],f=new MlString("#FFFFFF"),g=[0,-1,-1];caml_register_global(5,[0,new MlString("Division_by_zero")]);caml_register_global(3,b);caml_register_global(2,a);var aU=[0,new MlString("Assert_failure")],aT=new MlString("%d"),aS=new MlString("Pervasives.do_at_exit"),aR=new MlString("Array.blit"),aQ=new MlString("List.map2"),aP=new MlString(""),aO=new MlString("syntax error"),aN=new MlString("Parsing.YYexit"),aM=new MlString("Parsing.Parse_error"),aL=new MlString("canvas"),aK=new MlString("br"),aJ=new MlString("textarea"),aI=new MlString("input"),aH=new MlString("\""),aG=new MlString(" name=\""),aF=new MlString("\""),aE=new MlString(" type=\""),aD=new MlString("<"),aC=new MlString(">"),aB=new MlString(""),aA=new MlString("2d"),az=new MlString("Dom_html.Canvas_not_available"),ay=new MlString("_"),ax=new MlString("0"),aw=new MlString("\n"),av=[0,new MlString("html.ml"),109,17],au=new MlString("main"),at=new MlString("middle"),as=new MlString("px 'Arial'"),ar=new MlString("top"),aq=new MlString("px 'Arial'"),ap=new MlString("px 'Arial'"),ao=new MlString("px 'Arial'"),an=new MlString("text"),am=new MlString("submit"),al=new MlString("#FF0000"),ak=new MlString("#55FF55"),aj=new MlString("code cannot be unified"),ai=new MlString("Dummy"),ah=new MlString("Fix.Cannot_take"),ag=new MlString("Fix.Unify_Error"),af=new MlString(""),ae=new MlString("Cannot happen in insert_rule"),ad=new MlString("Cannot happen in insert_rule"),ac=new MlString("Input Term: "),ab=new MlString("root judgement"),aa=new MlString("go"),$=new MlString("delete"),_=new MlString(""),Z=new MlString(" "),Y=new MlString("\xe9\x81\xa9\xe7\x94\xa8\xe5\x8f\xaf\xe8\x83\xbd\xe8\xa6\x8f\xe5\x89\x87\xef\xbc\x9a"),X=new MlString(""),W=new MlString(""),V=new MlString(""),U=new MlString(""),T=new MlString(""),S=new MlString(""),R=[0,new MlString(""),[0,0,0,0,0]],Q=new MlString("t"),P=new MlString("t"),O=new MlString("t"),N=new MlString("t"),M=new MlString("t"),L=new MlString("t"),K=new MlString("t"),J=new MlString(")"),I=new MlString("\xe2\x8a\x83"),H=new MlString("("),G=new MlString("of Term"),F=new MlString("of Var"),E=new MlString("MP"),D=new MlString("K"),C=new MlString("S"),B=new MlString("parser"),A=[0,259,260,261,262,0],z=new MlString("\xff\xff\x01\0\x02\0\x03\0\x03\0\x03\0\x03\0\0\0\0\0"),y=new MlString("\x02\0\x02\0\x02\0\x01\0\x01\0\x03\0\x03\0\x02\0\x02\0"),x=new MlString("\0\0\0\0\0\0\0\0\x04\0\x03\0\0\0\x07\0\0\0\b\0\0\0\0\0\0\0\x01\0\x02\0\x06\0\0\0"),w=new MlString("\x03\0\x07\0\t\0\b\0"),v=new MlString("\x07\0\0\xff\0\xff\0\0\0\0\0\0\0\xff\0\0\x06\xff\0\0\b\xff\x0b\xff\0\xff\0\0\0\0\0\0\f\xff"),u=new MlString("\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x01\xff"),t=new MlString("\0\0\0\0\0\0\xfe\xff"),s=new MlString("\n\0\x04\0\x05\0\x06\0\x0b\0\x05\0\0\0\x05\0\x01\0\x02\0\x10\0\f\0\r\0\f\0\x0e\0\x0f\0\f\0\f\0"),r=new MlString("\x02\0\x01\x01\x02\x01\x03\x01\x06\0\x04\x01\xff\xff\x06\x01\x01\0\x02\0\f\0\x05\x01\x06\x01\x05\x01\x06\x01\x04\x01\x05\x01\x05\x01"),q=new MlString("LPAREN\0RPAREN\0ARROW\0EOI\0"),p=new MlString("VAR\0LVAR\0"),o=new MlString("unknown token"),n=[0,new MlString("\0\0\xf8\xffK\0\xa0\0\x01\0\0\0\xfd\xff\xfe\xff\x01\0\xfc\xff\xfb\xff"),new MlString("\xff\xff\xff\xff\x06\0\x05\0\x07\0\x07\0\xff\xff\xff\xff\0\0\xff\xff\xff\xff"),new MlString("\x01\0\0\0\xff\xff\xff\xff\xff\xff\xff\xff\0\0\0\0\xff\xff\0\0\0\0"),new MlString("\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\b\0\b\0\0\0\0\0\b\0\b\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\b\0\b\0\0\0\0\0\0\0\0\0\0\0\0\0\x07\0\x06\0\0\0\0\0\0\0\x05\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x04\0\n\0\0\0\t\0\0\0\0\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\0\0\0\0\0\0\0\0\0\0\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\0\0\0\0\0\0\0\0\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\0\0\0\0\0\0\0\0\0\0\xff\xff\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0"),new MlString("\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\0\0\b\0\xff\xff\xff\xff\0\0\b\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\0\0\b\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\0\0\0\0\xff\xff\xff\xff\xff\xff\0\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\0\0\x04\0\xff\xff\x05\0\xff\xff\xff\xff\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\x02\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\0\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\x03\0\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"),new MlString(""),new MlString(""),new MlString(""),new MlString(""),new MlString(""),new MlString("")],m=new MlString(";;");function l(h){throw [0,a,h];}function aV(i){throw [0,b,i];}function aW(k,j){return caml_greaterequal(k,j)?k:j;}function a7(aX,aZ){var aY=aX.getLen(),a0=aZ.getLen(),a1=caml_create_string(aY+a0|0);caml_blit_string(aX,0,a1,0,aY);caml_blit_string(aZ,0,a1,aY,a0);return a1;}function a8(a2){return caml_format_int(aT,a2);}function a9(a6){var a3=caml_ml_out_channels_list(0);for(;;){if(a3){var a4=a3[2];try {}catch(a5){}var a3=a4;continue;}return 0;}}caml_register_named_value(aS,a9);function bl(ba,a$,bc,bb,a_){if(0<=a_&&0<=a$&&!((ba.length-1-a_|0)<a$)&&0<=bb&&!((bc.length-1-a_|0)<bb)){if(a$<bb){var bd=a_-1|0,be=0;if(!(bd<be)){var bf=bd;for(;;){bc[(bb+bf|0)+1]=ba[(a$+bf|0)+1];var bg=bf-1|0;if(be!==bf){var bf=bg;continue;}break;}}return 0;}var bh=0,bi=a_-1|0;if(!(bi<bh)){var bj=bh;for(;;){bc[(bb+bj|0)+1]=ba[(a$+bj|0)+1];var bk=bj+1|0;if(bi!==bj){var bj=bk;continue;}break;}}return 0;}return aV(aR);}function bq(bn,bm){if(bm){var bp=bm[2],br=bo(bn,bm[1]);return [0,br,bq(bn,bp)];}return 0;}function bK(bu,bs){var bt=bs;for(;;){if(bt){var bv=bt[2];bo(bu,bt[1]);var bt=bv;continue;}return 0;}}function bC(by,bw,bx){if(bw){if(bx){var bB=bx[2],bA=bw[2],bD=bz(by,bw[1],bx[1]);return [0,bD,bC(by,bA,bB)];}}else if(!bx)return 0;return aV(aQ);}function bL(bH,bE){var bF=bE;for(;;){if(bF){var bG=bF[1],bJ=bF[2],bI=bG[2];if(0===caml_compare(bG[1],bH))return bI;var bF=bJ;continue;}throw [0,c];}}function b0(bM){var bW=[0],bV=1,bU=0,bT=0,bS=0,bR=0,bQ=0,bP=bM.getLen(),bO=a7(bM,aP);return [0,function(bN){bN[9]=1;return 0;},bO,bP,bQ,bR,bS,bT,bU,bV,bW,e,e];}function b1(bX){var bY=bX[6]-bX[5]|0,bZ=caml_create_string(bY);caml_blit_string(bX[2],bX[5],bZ,0,bY);return bZ;}var b2=[0,aN],b3=[0,aM],b4=[0,caml_make_vect(100,0),caml_make_vect(100,0),caml_make_vect(100,d),caml_make_vect(100,d),100,0,0,0,d,d,0,0,0,0,0,0];function cb(b$){var b5=b4[5],b6=b5*2|0,b7=caml_make_vect(b6,0),b8=caml_make_vect(b6,0),b9=caml_make_vect(b6,d),b_=caml_make_vect(b6,d);bl(b4[1],0,b7,0,b5);b4[1]=b7;bl(b4[2],0,b8,0,b5);b4[2]=b8;bl(b4[3],0,b9,0,b5);b4[3]=b9;bl(b4[4],0,b_,0,b5);b4[4]=b_;b4[5]=b6;return 0;}var cF=[0,function(ca){return 0;}];function cJ(cn,cj,cz,ck){var ci=b4[11],ch=b4[14],cg=b4[6],cf=b4[15],ce=b4[7],cd=b4[8],cc=b4[16];b4[6]=b4[14]+1|0;b4[7]=cj;b4[10]=ck[12];try {var cl=0,cm=0;for(;;)switch(caml_parse_engine(cn,b4,cl,cm)){case 1:throw [0,b3];case 2:cb(0);var cp=0,co=2,cl=co,cm=cp;continue;case 3:cb(0);var cr=0,cq=3,cl=cq,cm=cr;continue;case 4:try {var cs=[0,4,bo(caml_array_get(cn[1],b4[13]),b4)],ct=cs;}catch(cu){if(cu[1]!==b3)throw cu;var ct=[0,5,0];}var cw=ct[2],cv=ct[1],cl=cv,cm=cw;continue;case 5:bo(cn[14],aO);var cy=0,cx=5,cl=cx,cm=cy;continue;default:var cA=bo(cz,ck);b4[9]=ck[11];b4[10]=ck[12];var cB=1,cl=cB,cm=cA;continue;}}catch(cD){var cC=b4[7];b4[11]=ci;b4[14]=ch;b4[6]=cg;b4[15]=cf;b4[7]=ce;b4[8]=cd;b4[16]=cc;if(cD[1]===b2)return cD[2];cF[1]=function(cE){return caml_obj_is_block(cE)?caml_array_get(cn[3],caml_obj_tag(cE))===cC?1:0:caml_array_get(cn[2],cE)===cC?1:0;};throw cD;}}function cK(cG,cH){return caml_array_get(cG[2],cG[11]-cH|0);}var cL=[0,0],cM=null,cN=false,cO=Array;function cS(cI){return 0;}var cR=undefined,cQ=true;function cT(cP){return cP instanceof cO?0:[0,new MlWrappedString(cP.toString())];}cL[1]=[0,cT,cL[1]];function c1(cU,cV){cU.appendChild(cV);return 0;}function c2(cX){return caml_js_wrap_callback(function(cW){if(cW){var cY=bo(cX,cW);if(!(cY|0))cW.preventDefault();return cY;}var cZ=event,c0=bo(cX,cZ);cZ.returnValue=c0;return c0;});}var c3=aA.toString(),c4=window,de=caml_js_on_ie(0)|0;function dh(c5,c6){return c5?bo(c6,c5[1]):0;}function c9(c8,c7){return c8.createElement(c7.toString());}function dr(c$,c_){return c9(c$,c_);}function dm(da,db,dd,dc){if(0===da&&0===db)return c9(dd,dc);if(de){var df=new cO();df.push(aD.toString(),dc.toString());dh(da,function(dg){df.push(aE.toString(),caml_js_html_escape(dg),aF.toString());return 0;});dh(db,function(di){df.push(aG.toString(),caml_js_html_escape(di),aH.toString());return 0;});df.push(aC.toString());return dd.createElement(df.join(aB.toString()));}var dj=c9(dd,dc);dh(da,function(dk){return dj.type=dk;});dh(db,function(dl){return dj.name=dl;});return dj;}function ds(dq,dp,dn){return dm(dq,dp,dn,aI);}var dt=[0,az];window.HTMLElement===cR;var du=[0,0],dv=20,dw=10,dx=c4.document,dy=dr(dx,aL);if(1-(dy.getContext==cM?1:0)){dy.width=2000;dy.height=500;var dN=function(dB){var dA=dy.width,dz=dy.height;return dy.getContext(c3).clearRect(0,0,dA,dz);},dO=function(dC){var dD=dC[2],dE=dC[1],dF=dy.getContext(c3);dF.strokeStyle=al.toString();return dF.strokeRect(dE,dD+2,dC[3]-dE,dC[4]-dD-1);},dJ=function(dG,dH){return dG.style.backgroundColor=dH.toString();},dP=function(dK,dL){var dI=ds([0,am.toString()],0,dx);dJ(dI,f);dI.value=dK.toString();dI.onclick=c2(dL);return dI;},dQ=function(dM){return dr(dx,aK);},dR=dm(0,0,dx,aJ);dR.readOnly=cQ;dR.cols=80;dR.rows=10;var dT=function(dS){dR.value=dR.value.concat(dS.toString());return dR.scrollTop=dR.scrollHeight;},ed=function(dU){return 2===dU[0]?dU[3]:dU[2];},d3=function(dY,dV){var dW=dV[2],dX=dV[1];return [0,dY[1]+dX,dY[2]+dW,dY[3]+dX,dY[4]+dW];},d5=function(dZ,d2){var d0=dZ[2],d1=dZ[1];switch(d2[0]){case 1:var d4=d3(d2[2],[0,d1,d0]),d6=d2[1];return [1,bq(bo(d5,[0,d1,d0]),d6),d4];case 2:var d8=d2[5],d7=d2[4],d9=d3(d2[3],[0,d1,d0]),d_=d5([0,d1,d0],d2[2]);return [2,d5([0,d1,d0],d2[1]),d_,d9,d7,d8];default:var d$=d3(d2[2],[0,d1,d0]);return [0,d2[1],d$];}},eq=function(ea,ee){var eb=ea[2],ec=ea[1],ef=ed(ee),eg=ef[1]<=ec?1:0;if(eg){var eh=ec<ef[3]?1:0;if(eh){var ei=ef[2]<=eb?1:0,ej=ei?eb<ef[4]?1:0:ei;}else var ej=eh;}else var ej=eg;return ej;},e_=function(ek,em){var el=ek,en=em;for(;;){if(en){var eo=el[2],ep=el[1],er=eq([0,ep,eo],en[1]);if(!er){var eu=en[2],et=[0,ep,eo],el=et,en=eu;continue;}var es=er;}else var es=en;return es;}},e$=function(ew){var ev=dy.getContext(c3);ev.font=a7(a8(dv|0),ao).toString();return [0,ew,[0,0,0,ev.measureText(ew.toString()).width,dv]];},eD=function(eB,ex,eC,eE){if(ex){var ey=ex[1],ez=ed(ey),eA=ez[1],eF=eD(eB+(ez[3]-eA)+eC,ex[2],eC,eE),eG=[0,d5([0,eB-eA,eE-ez[4]],ey),eF];}else var eG=ex;return eG;},fa=function(eH,eK,eN){var eI=ed(eH),eJ=eI[4],eL=ed(eK),eM=dy.getContext(c3);eM.font=a7(a8(dw|0),ap).toString();var eO=eM.measureText(eN.toString()).width,eP=eJ+eL[4]+6,eQ=[0,0,0,aW(eI[3],eL[3])+eO,eP];return [2,eH,d5([0,0,eJ+6],eK),eQ,eN,eO];},eS=function(eR){switch(eR[0]){case 1:return bK(eS,eR[1]);case 2:var eT=eR[2],eU=eR[1];eS(eU);eS(eT);var eV=ed(eU),eW=eV[3],eX=ed(eT),eY=eX[3],eZ=eX[2],e0=eX[1],e1=aW(eW-eV[1],eY-e0);dy.getContext(c3).fillRect(e0,eZ-2,e1,1);var e2=aW(eW,eY),e4=eR[4],e3=dy.getContext(c3);e3.textBaseline=at.toString();e3.font=a7(a8(dw|0),as).toString();return e3.fillText(e4.toString(),e2,eZ-2);default:var e5=eR[2],e9=e5[2],e8=e5[1],e7=eR[1],e6=dy.getContext(c3);e6.textBaseline=ar.toString();e6.font=a7(a8(dv|0),aq).toString();return e6.fillText(e7.toString(),e8,e9);}},fb=[0,ag],fz=[0,ah],f5=function(fF){var fd=[1,ai,[0,0]],fZ=[0,function(fc){throw [0,c];}];function f0(fe){if(caml_string_equal(fe,ay))var ff=fe;else try {var fg=bL(fe,du[1]);fg[1]=fg[1]+1|0;var fh=a7(fe,a8(fg[1])),ff=fh;}catch(fi){if(fi[1]!==c)throw fi;du[1]=[0,[0,fe,[0,0]],du[1]];var ff=a7(fe,ax);}return [1,ff,[0,0]];}function f1(fj){return [0,fj];}function f2(fl,fk){return [2,fl,fk,[0,0]];}function fp(fm){switch(fm[0]){case 1:var fn=fm[2],fo=fn[1];if(fo){var fq=fp(fo[1]);fn[1]=[0,fq];return fq;}return fm;case 2:var fr=fm[3],fs=fr[1];if(fs){var ft=fp(fs[1]);fr[1]=[0,ft];return ft;}var fu=bo(fm[2],0);fr[1]=[0,fu];if(2===fu[0]&&!fu[3][1])return fu;var fv=fp(fu);fr[1]=[0,fv];return fv;default:return fm;}}function f3(fw){return 0;}function f4(fx){var fy=fp(fx);{if(0===fy[0])return fy[1];throw [0,fz];}}function fD(fC,fA){var fB=fp(fA);switch(fB[0]){case 1:return caml_string_equal(fC,fB[1]);case 2:return 1;default:var fE=fB[1],fG=bo(fD,fC),fH=bz(fF[1],fG,fE);return bo(fF[4],fH);}}function fT(fI,fK){var fJ=fp(fI),fL=fp(fK);switch(fJ[0]){case 1:var fM=fJ[2];switch(fL[0]){case 0:var fN=fL,fO=fM,fP=fJ[1],fQ=1;break;case 1:var fR=fM!==fL[2]?1:0,fS=fR?(fM[1]=[0,fL],0):fR;return fS;default:var fQ=0;}break;case 2:var fQ=0;break;default:switch(fL[0]){case 1:var fN=fJ,fO=fL[2],fP=fL[1],fQ=1;break;case 2:var fQ=0;break;default:return fU(fF[2],fT,fJ[1],fL[1]);}}if(fQ){if(fD(fP,fN))throw [0,fb,fP];fO[1]=[0,fN];return 0;}throw [0,fb,aj];}function fX(fV){var fW=fp(fV);switch(fW[0]){case 1:return e$(fW[1]);case 2:return bo(fW[1],0);default:var fY=bz(fF[1],fX,fW[1]);return bo(fF[3],fY);}}return [0,fd,f4,fD,fT,fX,f0,f1,f2,fp,f3,fZ];},gb=function(f7,f6){return [0,f6[1]];},gc=function(f8){return 0;},gd=function(f$,f_,f9){if(caml_string_equal(f_[1],f9[1]))return 0;throw [0,fb,F];},ge=f5([0,gb,gd,function(ga){return e$(ga[1]);},gc]),gE=function(gg,gf){{if(0===gf[0])return [0,gf[1]];var gh=bo(gg,gf[2]);return [1,bo(gg,gf[1]),gh];}},gF=function(gi){{if(0===gi[0])return bo(ge[10],gi[1]);var gj=gi[1],gk=gj?gj:gi[2];return gk;}},gG=function(gn,gl,gm){if(0===gl[0]){if(0===gm[0])return bz(ge[4],gl[1],gm[1]);}else if(1===gm[0]){bz(gn,gl[1],gm[1]);return bz(gn,gl[2],gm[2]);}throw [0,fb,G];},gH=f5([0,gE,gG,function(go){{if(0===go[0])return bo(ge[5],go[1]);var gp=[0,e$(J),0],gq=[0,go[2],gp],gr=[0,e$(I),gq],gs=[0,go[1],gr],gt=[0,e$(H),gs],gu=gt,gv=1,gz=0;for(;;){if(gu){var gw=ed(gu[1]),gx=aW(gv,gw[4]-gw[2]),gy=gu[2],gu=gy,gv=gx;continue;}var gA=eD(0,gt,gz,gv),gB=gA;for(;;){if(gB){var gC=gB[2];if(gC){var gB=gC;continue;}var gD=ed(gB[1])[3];}else var gD=0;return [1,gA,[0,0,0,gD,gv]];}}}},gF]),gN=function(gJ,gI){return bo(gH[7],[1,gJ,gI]);},gW=function(gQ){var gK=bo(gH[6],M),gL=bo(gH[6],L),gM=bo(gH[6],K),gO=gN(gK,gM),gP=gN(gN(gK,gL),gO);return [1,gN(gN(gK,gN(gL,gM)),gP)];},gX=function(gS){var gR=bo(gH[6],O);return [1,gN(gR,gN(bo(gH[6],N),gR))];},gY=0,gZ=[0,[0,C,gW],[0,[0,D,gX],[0,[0,E,function(gV){var gT=bo(gH[6],Q),gU=bo(gH[6],P);return [0,gU,[0,[0,gT,0],[0,[0,gN(gT,gU),0],0]]];}],gY]]],hd=A.slice(),hc=[0,257,258,0],hb=17,he=function(g0){throw [0,b2,cK(g0,0)];},hf=function(g1){throw [0,b2,cK(g1,0)];},hg=function(g2){return cK(g2,1);},hh=function(g3){var g4=cK(g3,2);return gN(g4,cK(g3,0));},hi=function(g5){var g6=[0,cK(g5,0)],g7=[0,bo(ge[7],g6)];return bo(gH[7],g7);},hj=function(g8){var g9=cK(g8,0);return bo(gH[6],g9);},hk=function(g_){return cK(g_,1);},hl=function(g$){return cK(g$,1);},hm=[0,[0,function(ha){return l(B);},hl,hk,hj,hi,hh,hg,hf,he],hd,hc,z,y,x,w,v,u,t,hb,s,r,cS,q,p],hs=function(ho){var hn=0;for(;;){var hp=caml_lex_engine(n,hn,ho);if(0<=hp){ho[11]=ho[12];var hq=ho[12];ho[12]=[0,hq[1],hq[2],hq[3],ho[4]+ho[6]|0];}if(hp<0||7<hp){bo(ho[1],ho);var hn=hp;continue;}switch(hp){case 1:var hr=0;break;case 2:var hr=1;break;case 3:var hr=2;break;case 4:var hr=3;break;case 5:var hr=[1,b1(ho)];break;case 6:var hr=[0,b1(ho)];break;case 7:var hr=l(a7(o,b1(ho)));break;default:var hr=hs(ho);}return hr;}},ht=gH[5],ip=gH[4],iQ=gH[1],hw=function(hu){return 0===hu[0]?hu[3]:hu[4];},iA=function(hv){return hv[1];},iR=function(hx){return eS(hw(hx));},hE=function(hy,hB){var hz=hy[2],hA=hy[1];{if(0===hB[0]){var hC=d5([0,hA,hz],hB[3]);return [0,hB[1],hB[2],hC];}var hD=d5([0,hA,hz],hB[4]),hG=hB[3],hF=hB[2],hH=bq(bo(hE,[0,hA,hz]),hF);return [1,hB[1],hH,hG,hD];}},ib=function(hI,hJ){return [0,hI,hJ,fa(R,bo(ht,hI),hJ)];},hQ=function(hO,hK,hP,hR){if(hK){var hL=hK[1],hM=ed(hw(hL)),hN=hM[1],hS=hQ(hO+(hM[3]-hN)+hP,hK[2],hP,hR),hT=[0,hE([0,hO-hN,hR-(hM[4]-hM[2])],hL),hS];}else var hT=hK;return hT;},h$=function(hV,hU,hW){if(0===hU)return [1,hV,0,hW,bo(ht,hV)];var hX=hU,hY=1;for(;;){if(hX){var hZ=ed(hw(hX[1])),h0=aW(hY,hZ[4]-hZ[2]),h1=hX[2],hX=h1,hY=h0;continue;}var h2=hQ(0,hU,5,hY),h3=h2;for(;;){if(h3){var h4=h3[2];if(h4){var h3=h4;continue;}var h5=ed(hw(h3[1]))[3];}else var h5=0;var h6=[1,bq(hw,h2),[0,0,0,h5,hY]];return [1,hV,h2,hW,fa(h6,bo(ht,hV),hW)];}}},h8=function(ia,h7){{if(0===h7[0]){var h9=h7[2],h_=bq(bo(h8,af),h9);return h$(h7[1],h_,ia);}return ib(h7[1],ia);}},ij=function(ic,ig){var id=ic[2],ie=ic[1],ih=eq([0,ie,id],hw(ig));if(ih){if(0===ig[0])return dO(ed(hw(ig)));var ii=ig[2];return e_([0,ie,id],bq(hw,ii))?bK(bo(ij,[0,ie,id]),ii):dO(ed(hw(ig)));}return ih;},iu=function(il,ik,im){if(caml_string_equal(ik,T))return h$(il,0,S);var io=fU(bL,ik,im,0);bz(ip,il,io[1]);return h8(ik,io);},iC=function(ix,it,iq,iw,iv){var ir=iq[2],is=iq[1];if(eq([0,is,ir],hw(it))){if(0===it[0])return iu(ix,iw,iv);var iy=it[2];if(e_([0,is,ir],bq(hw,iy))){var iz=iu(ix,it[3],iv);{if(0===iz[0])return l(ae);var iE=iz[2],iF=bC(function(iB,iD){return iC(iA(iB),iD,[0,is,ir],iw,iv);},iE,iy);return h$(iz[1],iF,iz[3]);}}return iu(ix,iw,iv);}if(0===it[0])return iu(ix,it[2],iv);var iG=iu(ix,it[3],iv);{if(0===iG[0])return l(ad);var iK=it[2],iJ=iG[2],iL=bC(function(iH,iI){return iC(iA(iH),iI,[0,is,ir],iw,iv);},iJ,iK);return h$(iG[1],iL,iG[3]);}},iN=function(iM){{if(0===iM[0])return ib(iM[1],iM[2]);var iO=iM[3],iP=bq(iN,iM[2]);return h$(iM[1],iP,iO);}},iU=function(iS){return cJ(hm,1,hs,b0(a7(iS,m)));},iV=function(iT){return cJ(hm,2,hs,b0(iT));};gH[11][1]=iV;var iW=[0,V],iX=[0,h$(iQ,0,U)],iY=[0,g],iZ=[0,0],jp=function(i0,i1){iW[1]=new MlWrappedString(i0.value);iX[1]=h$(iU(iW[1]),0,W);dN(0);iR(iX[1]);return cN;},i7=function(i4){var i3=iZ[1];return bK(function(i2){return dJ(i2[2],f);},i3);},i9=function(i6){du[1]=0;var i5=iU(iW[1]);return iN(iC(i5,iX[1],iY[1],i6,gZ));},ja=function(i_,i$){i7(0);var i8=hw(iX[1]);if(eq(iY[1],i8)){iX[1]=i9(i_);dN(0);iR(iX[1]);}iY[1]=g;return cN;},jt=function(jb){return ja(X,jb);},jm=function(jd){dN(0);iR(iX[1]);var jc=dy.getBoundingClientRect();iY[1]=[0,jd.clientX-jc.left,jd.clientY-jc.top];ij(iY[1],iX[1]);var je=hw(iX[1]);if(eq(iY[1],je)){dT(Y);var jk=iZ[1];bK(function(jf){var jg=jf[2],jh=jf[1];try {i9(jh);dT(a7(jh,Z));var ji=dJ(jg,ak);}catch(jj){if(jj[1]===fb)return dJ(jg,f);throw jj;}return ji;},jk);dT(aw);}else i7(0);return cN;};c4.onload=c2(function(jv){var jl=dx.getElementById(au.toString());if(jl==cM)throw [0,aU,av];dy.onmousedown=c2(jm);var jn=dx.createDocumentFragment();c1(jn,dx.createTextNode(ac.toString()));c1(jl,jn);var jo=ds([0,an.toString()],0,dx);jo.value=ab.toString();c1(jl,jo);c1(jl,dP(aa,bo(jp,jo)));c1(jl,dQ(0));iZ[1]=bq(function(jq){var jr=jq[1],js=dP(jr,bo(ja,jr));c1(jl,js);return [0,jr,js];},gZ);var ju=dP($,jt);iZ[1]=[0,[0,_,ju],iZ[1]];c1(jl,ju);c1(jl,dQ(0));c1(jl,dy);return cN;});a9(0);return;}throw [0,dt];}());