outer_cluster_0 cluster_0 outer_cluster_2 cluster_2 outer_cluster_3 cluster_3 outer_cluster_9 cluster_9 outer_cluster_31 cluster_31 outer_cluster_5 cluster_5 outer_cluster_6 cluster_6 outer_cluster_10 cluster_10 outer_cluster_29 cluster_29 outer_cluster_7 cluster_7 outer_cluster_12 cluster_12 outer_cluster_1 cluster_1 outer_cluster_4 cluster_4 outer_cluster_11 cluster_11 outer_cluster_8 cluster_8 2__0:s->1__0 3__1:s->7__0 3__1:s->3__0 7__0:s->1__0 7__0:s->6__0 3__2:s->0__0 3__2:s->7__0 3__2:s->3__0 3__3:s->0__0 3__3:s->7__0 3__3:s->9__0 9__0:s->3__0 9__0:s->8__0 3__4:s->2__0 3__4:s->1__0 3__4:s->3__0 3__5:s->1__0 3__5:s->3__0 3__5:s->3__0 3__6:s->1__0 3__6:s->3__0 3__6:s->6__0 6__0:s->3__0 6__0:s->5__0 6__0:s->4__0 3__7:s->1__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 8__0:s->0__0 31__1:s->3__0 31__1:s->10__0 31__2:s->3__0 31__2:s->10__0 31__3:s->1__0 31__3:s->10__0 31__3:s->4__0 4__0:s->2__0 4__0:s->3__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->0__0 5__4:s->7__0 5__4:s->11__0 11__0:s->10__0 11__0:s->8__0 5__5:s->0__0 5__5:s->7__0 5__5:s->12__0 12__0:s->9__0 12__0:s->11__0 5__6:s->1__0 5__6:s->3__0 5__6:s->5__0 5__7:s->1__0 5__7:s->10__0 5__7:s->5__0 5__8:s->1__0 5__8:s->6__0 5__8:s->10__0 5__9:s->3__0 5__9:s->5__0 5__9:s->31__0 10__1:s->0__0 10__1:s->7__0 10__1:s->10__0 10__2:s->2__0 10__2:s->1__0 10__2:s->10__0 29__1:s->3__0 29__1:s->3__0 29__2:s->1__0 29__2:s->3__0 29__2:s->4__0 7__1:s->0__0 7__1:s->7__0 7__1:s->8__0 12__1:s->9__0 12__1:s->11__0 4__1:s->2__0 4__1:s->3__0 0__0 zeroone 2__0 var 1__0 x 3__1 app 7__0 lam 3__0 0 3__2 let 3__3 let 9__0 app 3__4 let 3__5 let 3__6 let 6__0 if 3__7 let 10__0 10 3__8 if 29__0 true 5__0 1 8__0 var 31__1 = 31__2 = 31__3 let 4__0 = 31__0 false 5__1 + 5__2 + 5__3 app 5__4 let 11__0 app 5__5 let 12__0 + 5__6 let 5__7 let 5__8 let 5__9 if 10__1 let 10__2 let 29__1 = 29__2 let 7__1 let 12__1 + 4__1 =