{
  "name": "OCanren",
  "version": "0.3.0",
  "files": [
    "doc/OCanren.tester/Tester/index.html", "doc/OCanren.tester/index.html",
    "doc/OCanren.syntax/Pa_ocanren/index.html",
    "doc/OCanren.syntax/index.html",
    "doc/OCanren/OCanren/Std/List/class-show_logic_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-gmap_logic_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-html_logic_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-eq_logic_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-compare_logic_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-foldl_logic_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-foldr_logic_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-fmt_logic_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-logic_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-show_ground_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-gmap_ground_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-html_ground_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-eq_ground_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-compare_ground_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-foldl_ground_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-foldr_ground_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-fmt_ground_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-ground_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-show_t_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-gmap_t_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-html_t_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-eq_t_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-compare_t_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-foldl_t_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-foldr_t_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-fmt_t_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-t_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-show_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-gmap_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-html_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-eq_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-compare_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-foldl_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-foldr_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-fmt_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-logic'_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-show_list_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-gmap_list_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-html_list_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-eq_list_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-compare_list_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-foldl_list_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-foldr_list_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-fmt_list_t/index.html",
    "doc/OCanren/OCanren/Std/List/class-list_t/index.html",
    "doc/OCanren/OCanren/Std/List/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-show_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-html_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-eq_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-compare_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-foldl_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-foldr_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-gmap_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-fmt_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-logic_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-show_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-html_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-eq_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-compare_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-foldl_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-foldr_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-gmap_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-fmt_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-ground_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-show_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-html_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-eq_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-compare_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-foldl_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-foldr_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-gmap_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-fmt_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-show_t_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-html_t_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-eq_t_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-compare_t_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-foldl_t_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-foldr_t_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-gmap_t_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-fmt_t_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/class-t_t/index.html",
    "doc/OCanren/OCanren/Std/Nat/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-show_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-html_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-eq_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-compare_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-foldr_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-foldl_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-gmap_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-fmt_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-logic_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-show_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-html_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-eq_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-compare_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-foldr_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-foldl_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-gmap_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-fmt_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-ground_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-show_t_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-html_t_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-eq_t_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-compare_t_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-foldr_t_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-foldl_t_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-gmap_t_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-fmt_t_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-t_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-show_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-html_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-eq_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-compare_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-foldr_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-foldl_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-gmap_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-fmt_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/class-logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Bool/index.html",
    "doc/OCanren/OCanren/Std/Option/class-show_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-gmap_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-html_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-eq_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-compare_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-foldl_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-foldr_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-fmt_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-logic_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-show_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-gmap_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-html_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-eq_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-compare_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-foldl_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-foldr_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-fmt_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-ground_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-show_t_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-gmap_t_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-html_t_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-eq_t_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-compare_t_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-foldl_t_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-foldr_t_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-fmt_t_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-t_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-show_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-gmap_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-html_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-eq_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-compare_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-foldl_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-foldr_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-fmt_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Option/class-logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Option/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-show_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-gmap_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-html_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-eq_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-compare_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-foldl_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-foldr_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-fmt_logic_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-logic_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-show_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-gmap_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-html_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-eq_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-compare_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-foldl_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-foldr_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-fmt_ground_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-ground_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-show_t_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-gmap_t_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-html_t_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-eq_t_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-compare_t_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-foldl_t_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-foldr_t_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-fmt_t_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-t_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-show_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-gmap_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-html_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-eq_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-compare_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-foldl_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-foldr_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-fmt_logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/class-logic'_t/index.html",
    "doc/OCanren/OCanren/Std/Pair/index.html",
    "doc/OCanren/OCanren/Std/index.html",
    "doc/OCanren/OCanren/Env/Monad/Syntax/index.html",
    "doc/OCanren/OCanren/Env/Monad/index.html",
    "doc/OCanren/OCanren/Env/index.html",
    "doc/OCanren/OCanren/Timer/index.html",
    "doc/OCanren/OCanren/Runconf/index.html",
    "doc/OCanren/OCanren/Stream/index.html",
    "doc/OCanren/OCanren/PrunesControl/index.html",
    "doc/OCanren/OCanren/Tabling/index.html",
    "doc/OCanren/OCanren/NUMERAL_TYPS/index.html",
    "doc/OCanren/OCanren/Fresh/index.html",
    "doc/OCanren/OCanren/State/index.html",
    "doc/OCanren/OCanren/class-type-reified/index.html",
    "doc/OCanren/OCanren/Reifier/index.html",
    "doc/OCanren/OCanren/class-show_logic_t/index.html",
    "doc/OCanren/OCanren/class-gmap_logic_t/index.html",
    "doc/OCanren/OCanren/class-html_logic_t/index.html",
    "doc/OCanren/OCanren/class-eq_logic_t/index.html",
    "doc/OCanren/OCanren/class-compare_logic_t/index.html",
    "doc/OCanren/OCanren/class-foldl_logic_t/index.html",
    "doc/OCanren/OCanren/class-foldr_logic_t/index.html",
    "doc/OCanren/OCanren/class-fmt_logic_t/index.html",
    "doc/OCanren/OCanren/class-logic_t/index.html",
    "doc/OCanren/OCanren/index.html", "doc/OCanren/index.html",
    "doc/src/OCanren.syntax/pa_ocanren.ml.html",
    "doc/src/OCanren.tester/tester.ml.html",
    "doc/src/OCanren/OCanren.ml.html", "doc/src/OCanren/oCanren__.ml.html",
    "doc/src/index.html", "doc/index.html", "doc/README.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/OCanren/Std/Nat/class-compare_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-compare_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-gmap_list_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-gmap_list_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/index.html"
    },
    {
      "old_path": "doc/OCanren/Reifier/index.html",
      "new_path": "doc/OCanren/OCanren/Reifier/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-fmt_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-fmt_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-html_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-html_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Env/Monad/index.html",
      "new_path": "doc/OCanren/OCanren/Env/Monad/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-fmt_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-fmt_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-eq_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-eq_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-foldr_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-foldr_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-foldr_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-foldr_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-foldr_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-foldr_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-gmap_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-gmap_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-show_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-show_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-fmt_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-fmt_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/class-eq_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/class-eq_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-eq_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-eq_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-compare_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-compare_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-foldr_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-foldr_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/NUMERAL_TYPS/index.html",
      "new_path": "doc/OCanren/OCanren/NUMERAL_TYPS/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-gmap_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-gmap_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-html_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-html_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-foldl_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-foldl_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-eq_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-eq_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-html_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-html_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-gmap_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-gmap_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-show_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-show_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-compare_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-compare_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/class-html_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/class-html_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/State/index.html",
      "new_path": "doc/OCanren/OCanren/State/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-fmt_list_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-fmt_list_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-foldl_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-foldl_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-compare_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-compare_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-compare_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-compare_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-foldr_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-foldr_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-eq_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-eq_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-eq_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-eq_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-foldl_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-foldl_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-eq_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-eq_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-compare_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-compare_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-show_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-show_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-gmap_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-gmap_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-foldr_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-foldr_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-foldr_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-foldr_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-show_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-show_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/index.html",
      "new_path": "doc/OCanren/OCanren/Std/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-compare_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-compare_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-foldl_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-foldl_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-fmt_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-fmt_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-foldl_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-foldl_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Env/index.html",
      "new_path": "doc/OCanren/OCanren/Env/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-fmt_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-fmt_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/class-gmap_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/class-gmap_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-compare_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-compare_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-html_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-html_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-gmap_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-gmap_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-gmap_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-gmap_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-foldr_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-foldr_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-compare_list_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-compare_list_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-compare_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-compare_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-gmap_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-gmap_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-eq_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-eq_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-fmt_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-fmt_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-foldr_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-foldr_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Env/Monad/Syntax/index.html",
      "new_path": "doc/OCanren/OCanren/Env/Monad/Syntax/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-html_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-html_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Timer/index.html",
      "new_path": "doc/OCanren/OCanren/Timer/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-eq_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-eq_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-gmap_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-gmap_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-foldl_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-foldl_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-fmt_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-fmt_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-show_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-show_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-fmt_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-fmt_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-eq_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-eq_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-html_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-html_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-show_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-show_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-foldr_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-foldr_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-html_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-html_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-gmap_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-gmap_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-show_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-show_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-eq_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-eq_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-foldl_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-foldl_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-html_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-html_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Fresh/index.html",
      "new_path": "doc/OCanren/OCanren/Fresh/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-html_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-html_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-compare_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-compare_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-show_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-show_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-foldl_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-foldl_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-html_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-html_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-eq_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-eq_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-fmt_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-fmt_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-eq_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-eq_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Tabling/index.html",
      "new_path": "doc/OCanren/OCanren/Tabling/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-fmt_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-fmt_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/class-foldl_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/class-foldl_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-fmt_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-fmt_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/class-show_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/class-show_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-compare_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-compare_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-foldl_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-foldl_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-gmap_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-gmap_ground_t/index.html"
    },
    {
      "old_path": "doc/Tester/index.html",
      "new_path": "doc/OCanren.tester/Tester/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-show_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-show_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-foldl_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-foldl_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-gmap_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-gmap_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-foldl_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-foldl_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-html_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-html_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-html_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-html_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-foldl_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-foldl_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-foldr_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-foldr_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-html_list_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-html_list_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-html_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-html_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-show_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-show_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-foldl_list_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-foldl_list_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-compare_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-compare_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-gmap_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-gmap_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-compare_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-compare_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-show_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-show_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-html_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-html_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-html_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-html_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-eq_list_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-eq_list_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-foldl_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-foldl_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-foldr_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-foldr_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-compare_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-compare_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-show_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-show_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-foldr_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-foldr_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-foldr_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-foldr_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-show_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-show_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-foldr_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-foldr_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-eq_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-eq_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-foldr_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-foldr_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-show_list_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-show_list_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-compare_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-compare_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-foldl_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-foldl_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-foldl_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-foldl_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-show_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-show_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/class-foldr_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/class-foldr_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-foldl_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-foldl_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-fmt_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-fmt_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-fmt_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-fmt_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-foldr_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-foldr_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-show_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-show_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-fmt_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-fmt_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-html_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-html_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-eq_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-eq_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-eq_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-eq_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-gmap_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-gmap_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-gmap_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-gmap_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/class-logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/class-logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-fmt_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-fmt_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-gmap_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-gmap_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/PrunesControl/index.html",
      "new_path": "doc/OCanren/OCanren/PrunesControl/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-fmt_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-fmt_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-show_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-show_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/class-compare_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/class-compare_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-foldl_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-foldl_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-eq_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-eq_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-gmap_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-gmap_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-foldl_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-foldl_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/class-type-reified/index.html",
      "new_path": "doc/OCanren/OCanren/class-type-reified/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-fmt_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-fmt_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-show_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-show_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-gmap_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-gmap_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-foldl_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-foldl_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-foldr_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-foldr_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-fmt_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-fmt_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-html_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-html_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-gmap_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-gmap_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-eq_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-eq_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-html_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-html_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/class-fmt_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/class-fmt_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-list_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-list_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-show_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-show_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-foldr_list_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-foldr_list_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Stream/index.html",
      "new_path": "doc/OCanren/OCanren/Stream/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-fmt_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-fmt_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-compare_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-compare_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-compare_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-compare_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-compare_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-compare_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-foldr_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-foldr_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-compare_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-compare_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Runconf/index.html",
      "new_path": "doc/OCanren/OCanren/Runconf/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-gmap_ground_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-gmap_ground_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-foldl_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-foldl_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-html_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-html_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-show_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-show_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-compare_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-compare_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-fmt_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-fmt_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-show_logic'_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-show_logic'_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/List/class-gmap_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/List/class-gmap_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-foldr_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-foldr_logic_t/index.html"
    },
    {
      "old_path": "doc/Pa_ocanren/index.html",
      "new_path": "doc/OCanren.syntax/Pa_ocanren/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Bool/class-eq_logic_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Bool/class-eq_logic_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Pair/class-eq_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Pair/class-eq_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Option/class-eq_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Option/class-eq_t_t/index.html"
    },
    {
      "old_path": "doc/OCanren/Std/Nat/class-html_t_t/index.html",
      "new_path": "doc/OCanren/OCanren/Std/Nat/class-html_t_t/index.html"
    }
  ]
}