k=2 b=2 n=4 shape(pi(S))=[4]: EXISTS  (0.0s)
k=2 b=2 n=4 shape(pi(S))=[3, 1]: impossible  (0.0s)
k=2 b=2 n=4 shape(pi(S))=[2, 2]: EXISTS  (0.0s)
k=3 b=2 n=6 shape(pi(S))=[6]: EXISTS  (0.0s)
k=3 b=2 n=6 shape(pi(S))=[5, 1]: impossible  (0.0s)
k=3 b=2 n=6 shape(pi(S))=[4, 2]: impossible  (0.0s)
k=3 b=2 n=6 shape(pi(S))=[3, 3]: EXISTS  (0.0s)
k=2 b=3 n=6 shape(pi(S))=[6]: EXISTS  (0.0s)
k=2 b=3 n=6 shape(pi(S))=[5, 1]: impossible  (0.0s)
k=2 b=3 n=6 shape(pi(S))=[4, 2]: EXISTS  (0.0s)
k=2 b=3 n=6 shape(pi(S))=[4, 1, 1]: impossible  (0.0s)
k=2 b=3 n=6 shape(pi(S))=[3, 3]: impossible  (0.0s)
k=2 b=3 n=6 shape(pi(S))=[3, 2, 1]: impossible  (0.0s)
k=2 b=3 n=6 shape(pi(S))=[2, 2, 2]: EXISTS  (0.0s)
k=4 b=2 n=8 shape(pi(S))=[8]: EXISTS  (0.0s)
k=4 b=2 n=8 shape(pi(S))=[7, 1]: impossible  (0.2s)
k=4 b=2 n=8 shape(pi(S))=[6, 2]: impossible  (0.0s)
k=4 b=2 n=8 shape(pi(S))=[5, 3]: impossible  (0.1s)
k=4 b=2 n=8 shape(pi(S))=[4, 4]: EXISTS  (0.1s)
k=3 b=3 n=9 shape(pi(S))=[9]: EXISTS  (0.4s)
k=3 b=3 n=9 shape(pi(S))=[8, 1]: impossible  (0.2s)
k=3 b=3 n=9 shape(pi(S))=[7, 2]: impossible  (0.3s)
k=3 b=3 n=9 shape(pi(S))=[7, 1, 1]: impossible  (0.3s)
k=3 b=3 n=9 shape(pi(S))=[6, 3]: EXISTS  (0.2s)
k=3 b=3 n=9 shape(pi(S))=[6, 2, 1]: impossible  (0.3s)
k=3 b=3 n=9 shape(pi(S))=[5, 4]: impossible  (0.2s)
k=3 b=3 n=9 shape(pi(S))=[5, 3, 1]: impossible  (0.3s)
k=3 b=3 n=9 shape(pi(S))=[5, 2, 2]: impossible  (0.3s)
k=3 b=3 n=9 shape(pi(S))=[4, 4, 1]: impossible  (0.3s)
k=3 b=3 n=9 shape(pi(S))=[4, 3, 2]: impossible  (0.3s)
k=3 b=3 n=9 shape(pi(S))=[3, 3, 3]: EXISTS  (0.3s)
k=2 b=4 n=8 shape(pi(S))=[8]: EXISTS  (0.1s)
k=2 b=4 n=8 shape(pi(S))=[7, 1]: impossible  (0.1s)
k=2 b=4 n=8 shape(pi(S))=[6, 2]: EXISTS  (0.1s)
k=2 b=4 n=8 shape(pi(S))=[6, 1, 1]: impossible  (0.1s)
k=2 b=4 n=8 shape(pi(S))=[5, 3]: impossible  (0.1s)
k=2 b=4 n=8 shape(pi(S))=[5, 2, 1]: impossible  (0.1s)
k=2 b=4 n=8 shape(pi(S))=[5, 1, 1, 1]: impossible  (0.0s)
k=2 b=4 n=8 shape(pi(S))=[4, 4]: EXISTS  (0.1s)
k=2 b=4 n=8 shape(pi(S))=[4, 3, 1]: impossible  (0.1s)
k=2 b=4 n=8 shape(pi(S))=[4, 2, 2]: EXISTS  (0.0s)
k=2 b=4 n=8 shape(pi(S))=[4, 2, 1, 1]: impossible  (0.1s)
k=2 b=4 n=8 shape(pi(S))=[3, 3, 2]: impossible  (0.1s)
k=2 b=4 n=8 shape(pi(S))=[3, 3, 1, 1]: impossible  (0.0s)
k=2 b=4 n=8 shape(pi(S))=[3, 2, 2, 1]: impossible  (0.1s)
k=2 b=4 n=8 shape(pi(S))=[2, 2, 2, 2]: EXISTS  (0.0s)
