outer_cluster_7 cluster_7 outer_cluster_9 cluster_9 outer_cluster_31 cluster_31 outer_cluster_3 cluster_3 outer_cluster_4 cluster_4 outer_cluster_6 cluster_6 outer_cluster_12 cluster_12 outer_cluster_29 cluster_29 outer_cluster_5 cluster_5 outer_cluster_10 cluster_10 outer_cluster_11 cluster_11 7__0:s->6__0 6__0:s->3__0 6__0:s->4__0 6__0:s->5__0 7__1:s->7__0 9__0:s->3__0 31__3:s->10__0 31__3:s->4__0 4__0:s->3__0 31__2:s->3__0 31__2:s->10__0 31__1:s->3__0 31__1:s->10__0 3__1:s->7__0 3__1:s->3__0 3__2:s->7__0 3__2:s->3__0 3__3:s->7__0 3__3:s->9__0 3__4:s->3__0 3__5:s->3__0 3__5:s->3__0 3__6:s->6__0 3__6:s->3__0 3__7:s->3__0 3__7:s->10__0 3__8:s->3__0 3__8:s->29__0 3__8:s->5__0 4__1:s->3__0 12__0:s->9__0 12__0:s->11__0 11__0:s->10__0 12__1:s->9__0 12__1:s->11__0 29__1:s->3__0 29__1:s->3__0 29__2:s->3__0 29__2:s->4__0 5__1:s->3__0 5__1:s->5__0 5__2:s->3__0 5__2:s->5__0 5__3:s->7__0 5__3:s->10__0 5__4:s->7__0 5__4:s->11__0 5__5:s->7__0 5__5:s->12__0 5__6:s->3__0 5__6:s->5__0 5__7:s->10__0 5__7:s->5__0 5__8:s->6__0 5__8:s->10__0 5__9:s->3__0 5__9:s->31__0 5__9:s->5__0 10__1:s->7__0 10__1:s->10__0 10__2:s->10__0 7__0 lam(x, ·) 6__0 if 7__1 let(zeroone, ·, var(zeroone)) 9__0 app(var(zeroone), ·) 3__0 0 31__3 let(x, ·, ·) 10__0 10 4__0 =(var(x), ·) 31__2 = 31__1 = 31__0 false 3__1 app 3__2 let(zeroone, ·, ·) 3__3 let(zeroone, ·, ·) 3__4 let(x, ·, var(x)) 3__5 let(x, ·, ·) 3__6 let(x, ·, ·) 3__7 let(x, ·, ·) 3__8 if 29__0 true 5__0 1 4__1 =(·, var(x)) 12__0 + 11__0 app(var(zeroone), ·) 12__1 + 29__1 = 29__2 let(x, ·, ·) 5__1 + 5__2 + 5__3 app 5__4 let(zeroone, ·, ·) 5__5 let(zeroone, ·, ·) 5__6 let(x, ·, ·) 5__7 let(x, ·, ·) 5__8 let(x, ·, ·) 5__9 if 10__1 let(zeroone, ·, ·) 10__2 let(x, ·, var(x))