{
"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"
]
}