dochack.js

/* Generated by the Nim Compiler v2.0.4 */
var framePtr = null;
var excHandler = 0;
var lastJSError = null;
var NTI33554466 = {size: 0,kind: 1,base: null,node: null,finalizer: null};
var NTI704643086 = {size: 0, kind: 18, base: null, node: null, finalizer: null};
var NTI33554435 = {size: 0,kind: 31,base: null,node: null,finalizer: null};
var NTI956301391 = {size: 0,kind: 31,base: null,node: null,finalizer: null};
var NTI956301397 = {size: 0, kind: 18, base: null, node: null, finalizer: null};
var NTI134217745 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI134217749 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI134217751 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI33555173 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI33555181 = {size: 0, kind: 22, base: null, node: null, finalizer: null};
var NTI33554449 = {size: 0,kind: 28,base: null,node: null,finalizer: null};
var NTI33554450 = {size: 0,kind: 29,base: null,node: null,finalizer: null};
var NTI33555180 = {size: 0, kind: 22, base: null, node: null, finalizer: null};
var NTI33555177 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI33555178 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI134217741 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NTI134217743 = {size: 0, kind: 17, base: null, node: null, finalizer: null};
var NNI134217743 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI134217743.node = NNI134217743;
var NNI134217741 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI134217741.node = NNI134217741;
var NNI33555178 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI33555178.node = NNI33555178;
NTI33555180.base = NTI33555177;
NTI33555181.base = NTI33555177;
var NNI33555177 = {kind: 2, len: 5, offset: 0, typ: null, name: null, sons: [{kind: 1, offset: "parent", len: 0, typ: NTI33555180, name: "parent", sons: null}, 
{kind: 1, offset: "name", len: 0, typ: NTI33554450, name: "name", sons: null}, 
{kind: 1, offset: "message", len: 0, typ: NTI33554449, name: "msg", sons: null}, 
{kind: 1, offset: "trace", len: 0, typ: NTI33554449, name: "trace", sons: null}, 
{kind: 1, offset: "up", len: 0, typ: NTI33555181, name: "up", sons: null}]};
NTI33555177.node = NNI33555177;
var NNI33555173 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI33555173.node = NNI33555173;
NTI33555177.base = NTI33555173;
NTI33555178.base = NTI33555177;
NTI134217741.base = NTI33555178;
NTI134217743.base = NTI134217741;
var NNI134217751 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI134217751.node = NNI134217751;
NTI134217751.base = NTI33555178;
var NNI134217749 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI134217749.node = NNI134217749;
NTI134217749.base = NTI33555178;
var NNI134217745 = {kind: 2, len: 0, offset: 0, typ: null, name: null, sons: []};
NTI134217745.node = NNI134217745;
NTI134217745.base = NTI33555178;
var NNI956301397 = {kind: 2, len: 2, offset: 0, typ: null, name: null, sons: [{kind: 1, offset: "a", len: 0, typ: NTI956301391, name: "a", sons: null}, 
{kind: 1, offset: "b", len: 0, typ: NTI33554435, name: "b", sons: null}]};
NTI956301397.node = NNI956301397;
var NNI704643086 = {kind: 2, len: 2, offset: 0, typ: null, name: null, sons: [{kind: 1, offset: "Field0", len: 0, typ: NTI33554435, name: "Field0", sons: null}, 
{kind: 1, offset: "Field1", len: 0, typ: NTI33554466, name: "Field1", sons: null}]};
NTI704643086.node = NNI704643086;

function mnewString(len_33557003) {
        var result = new Array(len_33557003);
    for (var i = 0; i < len_33557003; i++) {result[i] = 0;}
    return result;
  

  
}

function toJSStr(s_33556901) {
  var result_33556902 = null;

    var res_33556943 = newSeq_33556919((s_33556901).length);
    var i_33556944 = 0;
    var j_33556945 = 0;
    Label1: {
        Label2: while (true) {
        if (!(i_33556944 < (s_33556901).length)) break Label2;
          var c_33556946 = s_33556901[i_33556944];
          if ((c_33556946 < 128)) {
          res_33556943[j_33556945] = String.fromCharCode(c_33556946);
          i_33556944 += 1;
          }
          else {
            var helper_33556959 = newSeq_33556919(0);
            Label3: {
                Label4: while (true) {
                if (!true) break Label4;
                  var code_33556960 = c_33556946.toString(16);
                  if ((((code_33556960) == null ? 0 : (code_33556960).length) == 1)) {
                  helper_33556959.push("%0");;
                  }
                  else {
                  helper_33556959.push("%");;
                  }
                  
                  helper_33556959.push(code_33556960);;
                  i_33556944 += 1;
                  if ((((s_33556901).length <= i_33556944) || (s_33556901[i_33556944] < 128))) {
                  break Label3;
                  }
                  
                  c_33556946 = s_33556901[i_33556944];
                }
            };
++excHandler;
            try {
            res_33556943[j_33556945] = decodeURIComponent(helper_33556959.join(""));
--excHandler;
} catch (EXCEPTION) {
 var prevJSError = lastJSError;
 lastJSError = EXCEPTION;
 --excHandler;
            res_33556943[j_33556945] = helper_33556959.join("");
            lastJSError = prevJSError;
            } finally {
            }
          }
          
          j_33556945 += 1;
        }
    };
    if (res_33556943.length < j_33556945) { for (var i = res_33556943.length ; i < j_33556945 ; ++i) res_33556943.push(null); }
               else { res_33556943.length = j_33556945; };
    result_33556902 = res_33556943.join("");

  return result_33556902;

}

function raiseException(e_33556653, ename_33556654) {
    e_33556653.name = ename_33556654;
    if ((excHandler == 0)) {
    unhandledException(e_33556653);
    }
    
    throw e_33556653;

  
}

function addInt(a_33557050, b_33557051) {
        var result = a_33557050 + b_33557051;
    checkOverflowInt(result);
    return result;
  

  
}

function chckRange(i_33557324, a_33557325, b_33557326) {
  var result_33557327 = 0;

  BeforeRet: {
    if (((a_33557325 <= i_33557324) && (i_33557324 <= b_33557326))) {
    result_33557327 = i_33557324;
    break BeforeRet;
    }
    else {
    raiseRangeError();
    }
    
  };

  return result_33557327;

}

function setConstr() {
        var result = {};
    for (var i = 0; i < arguments.length; ++i) {
      var x = arguments[i];
      if (typeof(x) == "object") {
        for (var j = x[0]; j <= x[1]; ++j) {
          result[j] = true;
        }
      } else {
        result[x] = true;
      }
    }
    return result;
  

  
}
var ConstSet1 = setConstr(17, 16, 4, 18, 27, 19, 23, 22, 21);

function nimCopy(dest_33557268, src_33557269, ti_33557270) {
  var result_33557279 = null;

    switch (ti_33557270.kind) {
    case 21:
    case 22:
    case 23:
    case 5:
      if (!(isFatPointer_33557259(ti_33557270))) {
      result_33557279 = src_33557269;
      }
      else {
        result_33557279 = [src_33557269[0], src_33557269[1]];
      }
      
      break;
    case 19:
            if (dest_33557268 === null || dest_33557268 === undefined) {
        dest_33557268 = {};
      }
      else {
        for (var key in dest_33557268) { delete dest_33557268[key]; }
      }
      for (var key in src_33557269) { dest_33557268[key] = src_33557269[key]; }
      result_33557279 = dest_33557268;
    
      break;
    case 18:
    case 17:
      if (!((ti_33557270.base == null))) {
      result_33557279 = nimCopy(dest_33557268, src_33557269, ti_33557270.base);
      }
      else {
      if ((ti_33557270.kind == 17)) {
      result_33557279 = (dest_33557268 === null || dest_33557268 === undefined) ? {m_type: ti_33557270} : dest_33557268;
      }
      else {
        result_33557279 = (dest_33557268 === null || dest_33557268 === undefined) ? {} : dest_33557268;
      }
      }
      nimCopyAux(result_33557279, src_33557269, ti_33557270.node);
      break;
    case 4:
    case 16:
            if(ArrayBuffer.isView(src_33557269)) { 
        if(dest_33557268 === null || dest_33557268 === undefined || dest_33557268.length != src_33557269.length) {
          dest_33557268 = new src_33557269.constructor(src_33557269);
        } else {
          dest_33557268.set(src_33557269, 0);
        }
        result_33557279 = dest_33557268;
      } else {
        if (src_33557269 === null) {
          result_33557279 = null;
        }
        else {
          if (dest_33557268 === null || dest_33557268 === undefined || dest_33557268.length != src_33557269.length) {
            dest_33557268 = new Array(src_33557269.length);
          }
          result_33557279 = dest_33557268;
          for (var i = 0; i < src_33557269.length; ++i) {
            result_33557279[i] = nimCopy(result_33557279[i], src_33557269[i], ti_33557270.base);
          }
        }
      }
    
      break;
    case 24:
    case 27:
            if (src_33557269 === null) {
        result_33557279 = null;
      }
      else {
        if (dest_33557268 === null || dest_33557268 === undefined || dest_33557268.length != src_33557269.length) {
          dest_33557268 = new Array(src_33557269.length);
        }
        result_33557279 = dest_33557268;
        for (var i = 0; i < src_33557269.length; ++i) {
          result_33557279[i] = nimCopy(result_33557279[i], src_33557269[i], ti_33557270.base);
        }
      }
    
      break;
    case 28:
            if (src_33557269 !== null) {
        result_33557279 = src_33557269.slice(0);
      }
    
      break;
    default: 
      result_33557279 = src_33557269;
      break;
    }

  return result_33557279;

}

function chckIndx(i_33557319, a_33557320, b_33557321) {
  var result_33557322 = 0;

  BeforeRet: {
    if (((a_33557320 <= i_33557319) && (i_33557319 <= b_33557321))) {
    result_33557322 = i_33557319;
    break BeforeRet;
    }
    else {
    raiseIndexError(i_33557319, a_33557320, b_33557321);
    }
    
  };

  return result_33557322;

}

function makeNimstrLit(c_33556895) {
      var result = [];
  for (var i = 0; i < c_33556895.length; ++i) {
    result[i] = c_33556895.charCodeAt(i);
  }
  return result;
  

  
}

function subInt(a_33557054, b_33557055) {
        var result = a_33557054 - b_33557055;
    checkOverflowInt(result);
    return result;
  

  
}

function cstrToNimstr(c_33556898) {
      var ln = c_33556898.length;
  var result = new Array(ln);
  var r = 0;
  for (var i = 0; i < ln; ++i) {
    var ch = c_33556898.charCodeAt(i);

    if (ch < 128) {
      result[r] = ch;
    }
    else {
      if (ch < 2048) {
        result[r] = (ch >> 6) | 192;
      }
      else {
        if (ch < 55296 || ch >= 57344) {
          result[r] = (ch >> 12) | 224;
        }
        else {
            ++i;
            ch = 65536 + (((ch & 1023) << 10) | (c_33556898.charCodeAt(i) & 1023));
            result[r] = (ch >> 18) | 240;
            ++r;
            result[r] = ((ch >> 12) & 63) | 128;
        }
        ++r;
        result[r] = ((ch >> 6) & 63) | 128;
      }
      ++r;
      result[r] = (ch & 63) | 128;
    }
    ++r;
  }
  return result;
  

  
}
var ConstSet2 = setConstr([65, 90]);
var ConstSet3 = setConstr(95, 32, 46);
var ConstSet4 = setConstr(95, 32, 46);

function mulInt(a_33557058, b_33557059) {
        var result = a_33557058 * b_33557059;
    checkOverflowInt(result);
    return result;
  

  
}
var ConstSet5 = setConstr([97, 122]);
var ConstSet6 = setConstr([65, 90], [97, 122]);
var ConstSet7 = setConstr([97, 122]);
var ConstSet8 = setConstr([65, 90]);
var ConstSet9 = setConstr([65, 90], [97, 122]);

function nimMax(a_33557108, b_33557109) {
    var Temporary1;

  var result_33557110 = 0;

  BeforeRet: {
    if ((b_33557109 <= a_33557108)) {
    Temporary1 = a_33557108;
    }
    else {
    Temporary1 = b_33557109;
    }
    
    result_33557110 = Temporary1;
    break BeforeRet;
  };

  return result_33557110;

}

function nimMin(a_33557104, b_33557105) {
    var Temporary1;

  var result_33557106 = 0;

  BeforeRet: {
    if ((a_33557104 <= b_33557105)) {
    Temporary1 = a_33557104;
    }
    else {
    Temporary1 = b_33557105;
    }
    
    result_33557106 = Temporary1;
    break BeforeRet;
  };

  return result_33557106;

}

function addChar(x_33557415, c_33557416) {
    x_33557415.push(c_33557416);

  
}
var objectID_1191182513 = [0];

function setTheme(theme_553648134) {
    document.documentElement.setAttribute("data-theme", theme_553648134);
    window.localStorage.setItem("theme", theme_553648134);

  
}

function add_33556373(x_33556374, x_33556374_Idx, y_33556375) {
          if (x_33556374[x_33556374_Idx] === null) { x_33556374[x_33556374_Idx] = []; }
      var off = x_33556374[x_33556374_Idx].length;
      x_33556374[x_33556374_Idx].length += y_33556375.length;
      for (var i = 0; i < y_33556375.length; ++i) {
        x_33556374[x_33556374_Idx][off+i] = y_33556375.charCodeAt(i);
      }
    

  
}

function newSeq_33556919(len_33556921) {
  var result_33556922 = [];

    result_33556922 = new Array(len_33556921); for (var i = 0 ; i < len_33556921 ; ++i) { result_33556922[i] = null; }
  return result_33556922;

}

function unhandledException(e_33556649) {
    var buf_33556650 = [[]];
    if (!(((e_33556649.message).length == 0))) {
    buf_33556650[0].push.apply(buf_33556650[0], [69,114,114,111,114,58,32,117,110,104,97,110,100,108,101,100,32,101,120,99,101,112,116,105,111,110,58,32]);;
    buf_33556650[0].push.apply(buf_33556650[0], e_33556649.message);;
    }
    else {
    buf_33556650[0].push.apply(buf_33556650[0], [69,114,114,111,114,58,32,117,110,104,97,110,100,108,101,100,32,101,120,99,101,112,116,105,111,110]);;
    }
    
    buf_33556650[0].push.apply(buf_33556650[0], [32,91]);;
    add_33556373(buf_33556650, 0, e_33556649.name);
    buf_33556650[0].push.apply(buf_33556650[0], [93,10]);;
    var cbuf_33556651 = toJSStr(buf_33556650[0]);
      if (typeof(Error) !== "undefined") {
    throw new Error(cbuf_33556651);
  }
  else {
    throw cbuf_33556651;
  }
  

  
}

function raiseOverflow() {
    raiseException({message: [111,118,101,114,45,32,111,114,32,117,110,100,101,114,102,108,111,119], parent: null, m_type: NTI134217743, name: null, trace: [], up: null}, "OverflowDefect");

  
}

function checkOverflowInt(a_33557048) {
        if (a_33557048 > 2147483647 || a_33557048 < -2147483648) raiseOverflow();
  

  
}

function raiseRangeError() {
    raiseException({message: [118,97,108,117,101,32,111,117,116,32,111,102,32,114,97,110,103,101], parent: null, m_type: NTI134217751, name: null, trace: [], up: null}, "RangeDefect");

  
}

function addChars_301990090(result_301990092, result_301990092_Idx, x_301990093, start_301990094, n_301990095) {
    var Temporary1;

    var old_301990096 = (result_301990092[result_301990092_Idx]).length;
    if (result_301990092[result_301990092_Idx].length < (Temporary1 = chckRange(addInt(old_301990096, n_301990095), 0, 2147483647), Temporary1)) { for (var i = result_301990092[result_301990092_Idx].length; i < Temporary1; ++i) result_301990092[result_301990092_Idx].push(0); }
         else {result_301990092[result_301990092_Idx].length = Temporary1; };
    Label2: {
      var iHEX60gensym4_301990110 = 0;
      var i_553649327 = 0;
      Label3: {
          Label4: while (true) {
          if (!(i_553649327 < n_301990095)) break Label4;
            iHEX60gensym4_301990110 = i_553649327;
            result_301990092[result_301990092_Idx][chckIndx(addInt(old_301990096, iHEX60gensym4_301990110), 0, (result_301990092[result_301990092_Idx]).length - 1)] = x_301990093.charCodeAt(chckIndx(addInt(start_301990094, iHEX60gensym4_301990110), 0, (x_301990093).length - 1));
            i_553649327 = addInt(i_553649327, 1);
          }
      };
    };

  
}

function addChars_301990086(result_301990088, result_301990088_Idx, x_301990089) {
    addChars_301990090(result_301990088, result_301990088_Idx, x_301990089, 0, ((x_301990089) == null ? 0 : (x_301990089).length));

  
}

function addInt_301990111(result_301990112, result_301990112_Idx, x_301990113) {
    addChars_301990086(result_301990112, result_301990112_Idx, ((x_301990113) + ""));

  
}

function addInt_301990129(result_301990130, result_301990130_Idx, x_301990131) {
    addInt_301990111(result_301990130, result_301990130_Idx, BigInt(x_301990131));

  
}

function HEX24_385875976(x_385875977) {
  var result_385875978 = [[]];

    addInt_301990129(result_385875978, 0, x_385875977);

  return result_385875978[0];

}

function isFatPointer_33557259(ti_33557260) {
  var result_33557261 = false;

  BeforeRet: {
    result_33557261 = !((ConstSet1[ti_33557260.base.kind] != undefined));
    break BeforeRet;
  };

  return result_33557261;

}

function nimCopyAux(dest_33557272, src_33557273, n_33557274) {
    switch (n_33557274.kind) {
    case 0:
      break;
    case 1:
            dest_33557272[n_33557274.offset] = nimCopy(dest_33557272[n_33557274.offset], src_33557273[n_33557274.offset], n_33557274.typ);
    
      break;
    case 2:
          for (var i = 0; i < n_33557274.sons.length; i++) {
      nimCopyAux(dest_33557272, src_33557273, n_33557274.sons[i]);
    }
    
      break;
    case 3:
            dest_33557272[n_33557274.offset] = nimCopy(dest_33557272[n_33557274.offset], src_33557273[n_33557274.offset], n_33557274.typ);
      for (var i = 0; i < n_33557274.sons.length; ++i) {
        nimCopyAux(dest_33557272, src_33557273, n_33557274.sons[i][1]);
      }
    
      break;
    }

  
}

function raiseIndexError(i_33556812, a_33556813, b_33556814) {
    var Temporary1;

    if ((b_33556814 < a_33556813)) {
    Temporary1 = [105,110,100,101,120,32,111,117,116,32,111,102,32,98,111,117,110,100,115,44,32,116,104,101,32,99,111,110,116,97,105,110,101,114,32,105,115,32,101,109,112,116,121];
    }
    else {
    Temporary1 = ([105,110,100,101,120,32] || []).concat(HEX24_385875976(i_33556812) || [],[32,110,111,116,32,105,110,32] || [],HEX24_385875976(a_33556813) || [],[32,46,46,32] || [],HEX24_385875976(b_33556814) || []);
    }
    
    raiseException({message: nimCopy(null, Temporary1, NTI33554449), parent: null, m_type: NTI134217749, name: null, trace: [], up: null}, "IndexDefect");

  
}

function sysFatal_268435501(message_268435504) {
    raiseException({message: nimCopy(null, message_268435504, NTI33554449), m_type: NTI134217745, parent: null, name: null, trace: [], up: null}, "AssertionDefect");

  
}

function raiseAssert_268435499(msg_268435500) {
    sysFatal_268435501(msg_268435500);

  
}

function failedAssertImpl_268435541(msg_268435542) {
    raiseAssert_268435499(msg_268435542);

  
}

function onDOMLoaded(e_553648169) {
            
function HEX3Aanonymous_553648193(event_553648194) {
                event_553648194.target.parentNode.style.display = "none";
                event_553648194.target.parentNode.nextSibling.style.display = "inline";

              
            }

    document.getElementById("theme-select").value = window.localStorage.getItem("theme");
    Label1: {
      var pragmaDots_553648192 = null;
      var colontmp__553649318 = [];
      colontmp__553649318 = document.getElementsByClassName("pragmadots");
      var i_553649320 = 0;
      var L_553649321 = (colontmp__553649318).length;
      Label2: {
          Label3: while (true) {
          if (!(i_553649320 < L_553649321)) break Label3;
            pragmaDots_553648192 = colontmp__553649318[chckIndx(i_553649320, 0, (colontmp__553649318).length - 1)];
            pragmaDots_553648192.onclick = HEX3Aanonymous_553648193;
            i_553649320 = addInt(i_553649320, 1);
            if (!(((colontmp__553649318).length == L_553649321))) {
            failedAssertImpl_268435541(makeNimstrLit("iterators.nim(246, 11) `len(a) == L` the length of the seq changed while iterating over it"));
            }
            
          }
      };
    };

  
}

function isWhitespace_553648536(x_553648537) {
  var result_553648538 = false;

    result_553648538 = (((x_553648537.nodeName == "#text") && !/\S/.test(x_553648537.textContent)) || (x_553648537.nodeName == "#comment"));

  return result_553648538;

}

function toToc_553648539(x_553648540, father_553648541) {
                var Temporary5;
            var Temporary6;
            var Temporary7;
            var Temporary8;
      var Temporary15;

    if ((x_553648540.nodeName == "UL")) {
    var f_553648549 = {heading: null, kids: [], sortId: (father_553648541.kids).length, doSort: false};
    var i_553648550 = 0;
    Label1: {
        Label2: while (true) {
        if (!(i_553648550 < x_553648540.childNodes.length)) break Label2;
          var nxt_553648551 = addInt(i_553648550, 1);
          Label3: {
              Label4: while (true) {
                if (!(nxt_553648551 < x_553648540.childNodes.length)) Temporary5 = false; else {                  Temporary5 = isWhitespace_553648536(x_553648540.childNodes[nxt_553648551]);                }              if (!Temporary5) break Label4;
                nxt_553648551 = addInt(nxt_553648551, 1);
              }
          };
            if (!(nxt_553648551 < x_553648540.childNodes.length)) Temporary8 = false; else {              Temporary8 = (x_553648540.childNodes[i_553648550].nodeName == "LI");            }            if (!Temporary8) Temporary7 = false; else {              Temporary7 = (x_553648540.childNodes[i_553648550].childNodes.length == 1);            }            if (!Temporary7) Temporary6 = false; else {              Temporary6 = (x_553648540.childNodes[nxt_553648551].nodeName == "UL");            }          if (Temporary6) {
          var e_553648564 = {heading: x_553648540.childNodes[i_553648550].childNodes[0], kids: [], sortId: (f_553648549.kids).length, doSort: false};
          var it_553648565 = x_553648540.childNodes[nxt_553648551];
          Label9: {
            var j_553648570 = 0;
            var colontmp__553649334 = 0;
            colontmp__553649334 = it_553648565.childNodes.length;
            var i_553649335 = 0;
            Label10: {
                Label11: while (true) {
                if (!(i_553649335 < colontmp__553649334)) break Label11;
                  j_553648570 = i_553649335;
                  toToc_553648539(it_553648565.childNodes[j_553648570], e_553648564);
                  i_553649335 = addInt(i_553649335, 1);
                }
            };
          };
          f_553648549.kids.push(e_553648564);;
          i_553648550 = addInt(nxt_553648551, 1);
          }
          else {
            toToc_553648539(x_553648540.childNodes[i_553648550], f_553648549);
            i_553648550 = addInt(i_553648550, 1);
          }
          
        }
    };
    father_553648541.kids.push(f_553648549);;
    }
    else {
    if (isWhitespace_553648536(x_553648540)) {
    }
    else {
    if ((x_553648540.nodeName == "LI")) {
    var idx_553648588 = [];
    Label12: {
      var i_553648593 = 0;
      var colontmp__553649338 = 0;
      colontmp__553649338 = x_553648540.childNodes.length;
      var i_553649339 = 0;
      Label13: {
          Label14: while (true) {
          if (!(i_553649339 < colontmp__553649338)) break Label14;
            i_553648593 = i_553649339;
            if (!(isWhitespace_553648536(x_553648540.childNodes[i_553648593]))) {
            idx_553648588.push(i_553648593);;
            }
            
            i_553649339 = addInt(i_553649339, 1);
          }
      };
    };
      if (!((idx_553648588).length == 2)) Temporary15 = false; else {        Temporary15 = (x_553648540.childNodes[idx_553648588[chckIndx(1, 0, (idx_553648588).length - 1)]].nodeName == "UL");      }    if (Temporary15) {
    var e_553648609 = {heading: x_553648540.childNodes[idx_553648588[chckIndx(0, 0, (idx_553648588).length - 1)]], kids: [], sortId: (father_553648541.kids).length, doSort: false};
    var it_553648610 = x_553648540.childNodes[idx_553648588[chckIndx(1, 0, (idx_553648588).length - 1)]];
    Label16: {
      var j_553648615 = 0;
      var colontmp__553649342 = 0;
      colontmp__553649342 = it_553648610.childNodes.length;
      var i_553649343 = 0;
      Label17: {
          Label18: while (true) {
          if (!(i_553649343 < colontmp__553649342)) break Label18;
            j_553648615 = i_553649343;
            toToc_553648539(it_553648610.childNodes[j_553648615], e_553648609);
            i_553649343 = addInt(i_553649343, 1);
          }
      };
    };
    father_553648541.kids.push(e_553648609);;
    }
    else {
      Label19: {
        var i_553648624 = 0;
        var colontmp__553649346 = 0;
        colontmp__553649346 = x_553648540.childNodes.length;
        var i_553649347 = 0;
        Label20: {
            Label21: while (true) {
            if (!(i_553649347 < colontmp__553649346)) break Label21;
              i_553648624 = i_553649347;
              toToc_553648539(x_553648540.childNodes[i_553648624], father_553648541);
              i_553649347 = addInt(i_553649347, 1);
            }
        };
      };
    }
    
    }
    else {
    father_553648541.kids.push({heading: x_553648540, kids: [], sortId: (father_553648541.kids).length, doSort: false});;
    }
    }}

  
}

function extractItems_553648327(x_553648328, heading_553648329, items_553648330, items_553648330_Idx) {
  BeforeRet: {
    if ((x_553648328 == null)) {
    break BeforeRet;
    }
    
    if ((!((x_553648328.heading == null)) && (x_553648328.heading.textContent == heading_553648329))) {
    Label1: {
      var i_553648347 = 0;
      var colontmp__553649350 = 0;
      colontmp__553649350 = (x_553648328.kids).length;
      var i_553649351 = 0;
      Label2: {
          Label3: while (true) {
          if (!(i_553649351 < colontmp__553649350)) break Label3;
            i_553648347 = i_553649351;
            items_553648330[items_553648330_Idx].push(x_553648328.kids[chckIndx(i_553648347, 0, (x_553648328.kids).length - 1)].heading);;
            i_553649351 = addInt(i_553649351, 1);
          }
      };
    };
    }
    else {
      Label4: {
        var k_553648373 = null;
        var i_553649355 = 0;
        var L_553649356 = (x_553648328.kids).length;
        Label5: {
            Label6: while (true) {
            if (!(i_553649355 < L_553649356)) break Label6;
              k_553648373 = x_553648328.kids[chckIndx(i_553649355, 0, (x_553648328.kids).length - 1)];
              extractItems_553648327(k_553648373, heading_553648329, items_553648330, items_553648330_Idx);
              i_553649355 = addInt(i_553649355, 1);
              if (!(((x_553648328.kids).length == L_553649356))) {
              failedAssertImpl_268435541(makeNimstrLit("iterators.nim(246, 11) `len(a) == L` the length of the seq changed while iterating over it"));
              }
              
            }
        };
      };
    }
    
  };

  
}

function tree_553648258(tag_553648259, kids_553648260) {
  var result_553648261 = null;

    result_553648261 = document.createElement(tag_553648259);
    Label1: {
      var k_553648275 = null;
      var i_553649368 = 0;
      Label2: {
          Label3: while (true) {
          if (!(i_553649368 < (kids_553648260).length)) break Label3;
            k_553648275 = kids_553648260[chckIndx(i_553649368, 0, (kids_553648260).length - 1)];
            result_553648261.appendChild(k_553648275);
            i_553649368 = addInt(i_553649368, 1);
          }
      };
    };

  return result_553648261;

}

function text_553648283(s_553648284) {
  var result_553648285 = null;

    result_553648285 = document.createTextNode(s_553648284);

  return result_553648285;

}

function uncovered_553648728(x_553648729) {
    var Temporary1;

  var result_553648730 = null;

  BeforeRet: {
    if ((((x_553648729.kids).length == 0) && !((x_553648729.heading == null)))) {
    if (!(x_553648729.heading.hasOwnProperty('__karaxMarker__'))) {
    Temporary1 = x_553648729;
    }
    else {
    Temporary1 = null;
    }
    
    result_553648730 = Temporary1;
    break BeforeRet;
    }
    
    result_553648730 = {heading: x_553648729.heading, kids: [], sortId: x_553648729.sortId, doSort: x_553648729.doSort};
    Label2: {
      var k_553648745 = null;
      var i_553649375 = 0;
      var L_553649376 = (x_553648729.kids).length;
      Label3: {
          Label4: while (true) {
          if (!(i_553649375 < L_553649376)) break Label4;
            k_553648745 = x_553648729.kids[chckIndx(i_553649375, 0, (x_553648729.kids).length - 1)];
            var y_553648746 = uncovered_553648728(k_553648745);
            if (!((y_553648746 == null))) {
            result_553648730.kids.push(y_553648746);;
            }
            
            i_553649375 = addInt(i_553649375, 1);
            if (!(((x_553648729.kids).length == L_553649376))) {
            failedAssertImpl_268435541(makeNimstrLit("iterators.nim(246, 11) `len(a) == L` the length of the seq changed while iterating over it"));
            }
            
          }
      };
    };
    if (((result_553648730.kids).length == 0)) {
    result_553648730 = null;
    }
    
  };

  return result_553648730;

}

function mergeTocs_553648758(orig_553648759, news_553648760) {
  var result_553648761 = null;

    result_553648761 = uncovered_553648728(orig_553648759);
    if ((result_553648761 == null)) {
    result_553648761 = news_553648760;
    }
    else {
      Label1: {
        var i_553648773 = 0;
        var colontmp__553649371 = 0;
        colontmp__553649371 = (news_553648760.kids).length;
        var i_553649372 = 0;
        Label2: {
            Label3: while (true) {
            if (!(i_553649372 < colontmp__553649371)) break Label3;
              i_553648773 = i_553649372;
              result_553648761.kids.push(news_553648760.kids[chckIndx(i_553648773, 0, (news_553648760.kids).length - 1)]);;
              i_553649372 = addInt(i_553649372, 1);
            }
        };
      };
    }
    

  return result_553648761;

}

function buildToc_553648778(orig_553648779, types_553648780, procs_553648781) {
  var result_553648782 = null;

    var newStuff_553648787 = {heading: null, kids: [], doSort: true, sortId: 0};
    Label1: {
      var t_553648791 = null;
      var i_553649363 = 0;
      var L_553649364 = (types_553648780).length;
      Label2: {
          Label3: while (true) {
          if (!(i_553649363 < L_553649364)) break Label3;
            t_553648791 = types_553648780[chckIndx(i_553649363, 0, (types_553648780).length - 1)];
            var c_553648796 = {heading: t_553648791.cloneNode(true), kids: [], doSort: true, sortId: 0};
            t_553648791.__karaxMarker__ = true;
            Label4: {
              var p_553648800 = null;
              var i_553649360 = 0;
              var L_553649361 = (procs_553648781).length;
              Label5: {
                  Label6: while (true) {
                  if (!(i_553649360 < L_553649361)) break Label6;
                    p_553648800 = procs_553648781[chckIndx(i_553649360, 0, (procs_553648781).length - 1)];
                    if (!(p_553648800.hasOwnProperty('__karaxMarker__'))) {
                    var xx_553648801 = p_553648800.parentNode.getElementsByClassName("attachedType");
                    if ((((xx_553648801).length == 1) && (xx_553648801[chckIndx(0, 0, (xx_553648801).length - 1)].textContent == t_553648791.textContent))) {
                    var q_553648806 = tree_553648258("A", [text_553648283(p_553648800.title)]);
                    q_553648806.setAttribute("href", p_553648800.getAttribute("href"));
                    c_553648796.kids.push({heading: q_553648806, kids: [], sortId: 0, doSort: false});;
                    p_553648800.__karaxMarker__ = true;
                    }
                    
                    }
                    
                    i_553649360 = addInt(i_553649360, 1);
                    if (!(((procs_553648781).length == L_553649361))) {
                    failedAssertImpl_268435541(makeNimstrLit("iterators.nim(246, 11) `len(a) == L` the length of the seq changed while iterating over it"));
                    }
                    
                  }
              };
            };
            newStuff_553648787.kids.push(c_553648796);;
            i_553649363 = addInt(i_553649363, 1);
            if (!(((types_553648780).length == L_553649364))) {
            failedAssertImpl_268435541(makeNimstrLit("iterators.nim(246, 11) `len(a) == L` the length of the seq changed while iterating over it"));
            }
            
          }
      };
    };
    result_553648782 = mergeTocs_553648758(orig_553648779, newStuff_553648787);

  return result_553648782;

}

function add_553648276(parent_553648277, kid_553648278) {
    if (((parent_553648277.nodeName == "TR") && ((kid_553648278.nodeName == "TD") || (kid_553648278.nodeName == "TH")))) {
    var k_553648279 = document.createElement("TD");
    k_553648279.appendChild(kid_553648278);
    parent_553648277.appendChild(k_553648279);
    }
    else {
    parent_553648277.appendChild(kid_553648278);
    }
    

  
}