outer_cluster_2 cluster_2 outer_cluster_21 cluster_21 outer_cluster_1 cluster_1 outer_cluster_4 cluster_4 outer_cluster_3 cluster_3 outer_cluster_6 cluster_6 2__0:s->2__0 2__1:s->2__0 2__2:s->1__0 1__0:s->1__0 21__0:s->1__0 21__0:s->3__0 3__0:s->3__0 1__1:s->1__0 4__0:s->4__0 4__1:s->4__0 4__2:s->3__0 3__1:s->3__0 6__0:s->6__0 6__1:s->2__0 6__1:s->4__0 6__2:s->2__0 6__2:s->4__0 6__3:s->6__0 6__4:s->21__0 2__0 +(·, 0) 2__1 *(·, 1) 2__2 pow(2, ·) 1__0 +(·, 0) 21__0 + 3__0 +(·, 0) 1__1 *(·, 1) 1__2 x 4__0 +(·, 0) 4__1 *(·, 1) 4__2 pow(2, ·) 3__1 *(·, 1) 3__2 y 6__0 +(·, 0) 6__1 * 6__2 * 6__3 *(·, 1) 6__4 pow(2, ·)