(k,(c,(y,(d,s)))) (k,(c,(s,(d,y)))) (k,(c,(d,(s,y)))) (k,(d,(c,(s,y)))) ((d,k),(c,(s,y))) (d,(k,(c,(s,y)))) (k,(s,(c,(d,y)))) ((s,k),(c,(d,y))) (s,(k,(c,(d,y)))) (k,(y,(c,(d,s)))) (k,(y,(s,(d,c)))) (k,(y,(d,(s,c)))) (k,((d,y),(s,c))) (k,(d,(y,(s,c)))) ((d,k),(y,(s,c))) (d,(k,(y,(s,c)))) (k,((s,y),(d,c))) (k,(s,(y,(d,c)))) (k,(s,(d,(y,c)))) (k,((d,s),(y,c))) (k,(d,(s,(y,c)))) ((d,k),(s,(y,c))) (d,(k,(s,(y,c)))) ((s,k),(y,(d,c))) (s,(k,(y,(d,c)))) ((s,k),(d,(y,c))) (s,(k,(d,(y,c)))) (s,(d,(k,(y,c)))) ((d,s),(k,(y,c))) (d,(s,(k,(y,c)))) ((y,k),(c,(d,s))) (y,(k,(c,(d,s)))) ((y,k),(s,(d,c))) (y,(k,(s,(d,c)))) ((y,k),(d,(s,c))) (y,(k,(d,(s,c)))) (y,(d,(k,(s,c)))) ((d,y),(k,(s,c))) (d,(y,(k,(s,c)))) (y,(s,(k,(d,c)))) ((s,y),(k,(d,c))) (s,(y,(k,(d,c)))) ((c,k),(y,(d,s))) (c,(k,(y,(d,s)))) ((c,k),(s,(d,y))) (c,(k,(s,(d,y)))) ((c,k),(d,(s,y))) (c,(k,(d,(s,y)))) (c,(d,(k,(s,y)))) ((d,c),(k,(s,y))) (d,(c,(k,(s,y)))) (c,(s,(k,(d,y)))) ((s,c),(k,(d,y))) (s,(c,(k,(d,y)))) (c,(y,(k,(d,s)))) (c,(y,(s,(d,k)))) (c,(y,(d,(s,k)))) (c,((d,y),(s,k))) (c,(d,(y,(s,k)))) ((d,c),(y,(s,k))) (d,(c,(y,(s,k)))) (c,((s,y),(d,k))) (c,(s,(y,(d,k)))) (c,(s,(d,(y,k)))) (c,((d,s),(y,k))) (c,(d,(s,(y,k)))) ((d,c),(s,(y,k))) (d,(c,(s,(y,k)))) ((s,c),(y,(d,k))) (s,(c,(y,(d,k)))) ((s,c),(d,(y,k))) (s,(c,(d,(y,k)))) (s,((d,c),(y,k))) (s,(d,(c,(y,k)))) ((d,s),(c,(y,k))) (d,((s,c),(y,k))) (d,(s,(c,(y,k)))) ((y,c),(k,(d,s))) (y,(c,(k,(d,s)))) ((y,c),(s,(d,k))) (y,(c,(s,(d,k)))) ((y,c),(d,(s,k))) (y,(c,(d,(s,k)))) (y,((d,c),(s,k))) (y,(d,(c,(s,k)))) ((d,y),(c,(s,k))) (d,((y,c),(s,k))) (d,(y,(c,(s,k)))) (y,((s,c),(d,k))) (y,(s,(c,(d,k)))) (y,(s,(d,(c,k)))) (y,((d,s),(c,k))) (y,(d,(s,(c,k)))) ((d,y),(s,(c,k))) (d,(y,(s,(c,k)))) ((s,y),(c,(d,k))) (s,((y,c),(d,k))) (s,(y,(c,(d,k)))) ((s,y),(d,(c,k))) (s,(y,(d,(c,k)))) (s,((d,y),(c,k))) (s,(d,(y,(c,k)))) ((d,s),(y,(c,k))) (d,((s,y),(c,k))) (d,(s,(y,(c,k))))