{
  "nodes": {
    "0__0": {
      "op": "zeroone",
      "cost": 1.0,
      "eclass": "0",
      "children": []
    },
    "1__0": {
      "op": "x",
      "cost": 1.0,
      "eclass": "1",
      "children": []
    },
    "2__0": {
      "op": "var",
      "cost": 1.0,
      "eclass": "2",
      "children": [
        "1__0"
      ]
    },
    "3__0": {
      "op": "0",
      "cost": 1.0,
      "eclass": "3",
      "children": []
    },
    "3__1": {
      "op": "app",
      "cost": 1.0,
      "eclass": "3",
      "children": [
        "7__0",
        "3__0"
      ]
    },
    "3__2": {
      "op": "let",
      "cost": 1.0,
      "eclass": "3",
      "children": [
        "0__0",
        "7__0",
        "3__0"
      ]
    },
    "3__3": {
      "op": "let",
      "cost": 1.0,
      "eclass": "3",
      "children": [
        "0__0",
        "7__0",
        "9__0"
      ]
    },
    "3__4": {
      "op": "let",
      "cost": 1.0,
      "eclass": "3",
      "children": [
        "1__0",
        "3__0",
        "2__0"
      ]
    },
    "3__5": {
      "op": "let",
      "cost": 1.0,
      "eclass": "3",
      "children": [
        "1__0",
        "3__0",
        "3__0"
      ]
    },
    "3__6": {
      "op": "let",
      "cost": 1.0,
      "eclass": "3",
      "children": [
        "1__0",
        "3__0",
        "6__0"
      ]
    },
    "3__7": {
      "op": "let",
      "cost": 1.0,
      "eclass": "3",
      "children": [
        "1__0",
        "10__0",
        "3__0"
      ]
    },
    "3__8": {
      "op": "if",
      "cost": 1.0,
      "eclass": "3",
      "children": [
        "29__0",
        "3__0",
        "5__0"
      ]
    },
    "4__0": {
      "op": "=",
      "cost": 1.0,
      "eclass": "4",
      "children": [
        "2__0",
        "3__0"
      ]
    },
    "4__1": {
      "op": "=",
      "cost": 1.0,
      "eclass": "4",
      "children": [
        "3__0",
        "2__0"
      ]
    },
    "5__0": {
      "op": "1",
      "cost": 1.0,
      "eclass": "5",
      "children": []
    },
    "5__1": {
      "op": "+",
      "cost": 1.0,
      "eclass": "5",
      "children": [
        "3__0",
        "5__0"
      ]
    },
    "5__2": {
      "op": "+",
      "cost": 1.0,
      "eclass": "5",
      "children": [
        "5__0",
        "3__0"
      ]
    },
    "5__3": {
      "op": "app",
      "cost": 1.0,
      "eclass": "5",
      "children": [
        "7__0",
        "10__0"
      ]
    },
    "5__4": {
      "op": "let",
      "cost": 1.0,
      "eclass": "5",
      "children": [
        "0__0",
        "7__0",
        "11__0"
      ]
    },
    "5__5": {
      "op": "let",
      "cost": 1.0,
      "eclass": "5",
      "children": [
        "0__0",
        "7__0",
        "12__0"
      ]
    },
    "5__6": {
      "op": "let",
      "cost": 1.0,
      "eclass": "5",
      "children": [
        "1__0",
        "3__0",
        "5__0"
      ]
    },
    "5__7": {
      "op": "let",
      "cost": 1.0,
      "eclass": "5",
      "children": [
        "1__0",
        "10__0",
        "5__0"
      ]
    },
    "5__8": {
      "op": "let",
      "cost": 1.0,
      "eclass": "5",
      "children": [
        "1__0",
        "10__0",
        "6__0"
      ]
    },
    "5__9": {
      "op": "if",
      "cost": 1.0,
      "eclass": "5",
      "children": [
        "31__0",
        "3__0",
        "5__0"
      ]
    },
    "6__0": {
      "op": "if",
      "cost": 1.0,
      "eclass": "6",
      "children": [
        "4__0",
        "3__0",
        "5__0"
      ]
    },
    "7__0": {
      "op": "lam",
      "cost": 1.0,
      "eclass": "7",
      "children": [
        "1__0",
        "6__0"
      ]
    },
    "7__1": {
      "op": "let",
      "cost": 1.0,
      "eclass": "7",
      "children": [
        "0__0",
        "7__0",
        "8__0"
      ]
    },
    "8__0": {
      "op": "var",
      "cost": 1.0,
      "eclass": "8",
      "children": [
        "0__0"
      ]
    },
    "9__0": {
      "op": "app",
      "cost": 1.0,
      "eclass": "9",
      "children": [
        "8__0",
        "3__0"
      ]
    },
    "10__0": {
      "op": "10",
      "cost": 1.0,
      "eclass": "10",
      "children": []
    },
    "10__1": {
      "op": "let",
      "cost": 1.0,
      "eclass": "10",
      "children": [
        "0__0",
        "7__0",
        "10__0"
      ]
    },
    "10__2": {
      "op": "let",
      "cost": 1.0,
      "eclass": "10",
      "children": [
        "1__0",
        "10__0",
        "2__0"
      ]
    },
    "11__0": {
      "op": "app",
      "cost": 1.0,
      "eclass": "11",
      "children": [
        "8__0",
        "10__0"
      ]
    },
    "12__0": {
      "op": "+",
      "cost": 1.0,
      "eclass": "12",
      "children": [
        "9__0",
        "11__0"
      ]
    },
    "12__1": {
      "op": "+",
      "cost": 1.0,
      "eclass": "12",
      "children": [
        "11__0",
        "9__0"
      ]
    },
    "29__0": {
      "op": "true",
      "cost": 1.0,
      "eclass": "29",
      "children": []
    },
    "29__1": {
      "op": "=",
      "cost": 1.0,
      "eclass": "29",
      "children": [
        "3__0",
        "3__0"
      ]
    },
    "29__2": {
      "op": "let",
      "cost": 1.0,
      "eclass": "29",
      "children": [
        "1__0",
        "3__0",
        "4__0"
      ]
    },
    "31__0": {
      "op": "false",
      "cost": 1.0,
      "eclass": "31",
      "children": []
    },
    "31__1": {
      "op": "=",
      "cost": 1.0,
      "eclass": "31",
      "children": [
        "3__0",
        "10__0"
      ]
    },
    "31__2": {
      "op": "=",
      "cost": 1.0,
      "eclass": "31",
      "children": [
        "10__0",
        "3__0"
      ]
    },
    "31__3": {
      "op": "let",
      "cost": 1.0,
      "eclass": "31",
      "children": [
        "1__0",
        "10__0",
        "4__0"
      ]
    }
  },
  "comment": "# generated by egg 0.9.4",
  "root_eclasses": [
    "5"
  ]
}