Bellaterra n= 1 log2|G_n| =    1  layer ranks d_1..d_n = [1]  (0.0s)
Bellaterra n= 2 log2|G_n| =    3  layer ranks d_1..d_n = [1, 2]  (0.0s)
Bellaterra n= 3 log2|G_n| =    5  layer ranks d_1..d_n = [1, 2, 2]  (0.0s)
Bellaterra n= 4 log2|G_n| =    7  layer ranks d_1..d_n = [1, 2, 2, 2]  (0.0s)
Bellaterra n= 5 log2|G_n| =   10  layer ranks d_1..d_n = [1, 2, 2, 2, 3]  (0.0s)
Bellaterra n= 6 log2|G_n| =   13  layer ranks d_1..d_n = [1, 2, 2, 2, 3, 3]  (0.0s)
Bellaterra n= 7 log2|G_n| =   16  layer ranks d_1..d_n = [1, 2, 2, 2, 3, 3, 3]  (0.0s)
Bellaterra n= 8 log2|G_n| =   19  layer ranks d_1..d_n = [1, 2, 2, 2, 3, 3, 3, 3]  (0.0s)
Bellaterra n= 9 log2|G_n| =   22  layer ranks d_1..d_n = [1, 2, 2, 2, 3, 3, 3, 3, 3]  (0.0s)
Bellaterra n=10 log2|G_n| =   25  layer ranks d_1..d_n = [1, 2, 2, 2, 3, 3, 3, 3, 3, 3]  (0.0s)
Bellaterra n=11 log2|G_n| =   28  layer ranks d_1..d_n = [1, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3]  (0.0s)
Bellaterra n=12 log2|G_n| =   31  layer ranks d_1..d_n = [1, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3]  (0.0s)
Aleshin    n= 1 log2|G_n| =    1  layer ranks d_1..d_n = [1]  (0.0s)
Aleshin    n= 2 log2|G_n| =    2  layer ranks d_1..d_n = [1, 1]  (0.0s)
Aleshin    n= 3 log2|G_n| =    4  layer ranks d_1..d_n = [1, 1, 2]  (0.0s)
Aleshin    n= 4 log2|G_n| =    7  layer ranks d_1..d_n = [1, 1, 2, 3]  (0.0s)
Aleshin    n= 5 log2|G_n| =   10  layer ranks d_1..d_n = [1, 1, 2, 3, 3]  (0.0s)
Aleshin    n= 6 log2|G_n| =   14  layer ranks d_1..d_n = [1, 1, 2, 3, 3, 4]  (0.0s)
Aleshin    n= 7 log2|G_n| =   21  layer ranks d_1..d_n = [1, 1, 2, 3, 3, 4, 7]  (0.0s)
Aleshin    n= 8 log2|G_n| =   34  layer ranks d_1..d_n = [1, 1, 2, 3, 3, 4, 7, 13]  (0.0s)
Aleshin    n= 9 log2|G_n| =   57  layer ranks d_1..d_n = [1, 1, 2, 3, 3, 4, 7, 13, 23]  (0.0s)
Aleshin    n=10 log2|G_n| =  102  layer ranks d_1..d_n = [1, 1, 2, 3, 3, 4, 7, 13, 23, 45]  (0.2s)
Aleshin    n=11 log2|G_n| =  189  layer ranks d_1..d_n = [1, 1, 2, 3, 3, 4, 7, 13, 23, 45, 87]  (0.9s)
Aleshin    n=12 log2|G_n| =  363  layer ranks d_1..d_n = [1, 1, 2, 3, 3, 4, 7, 13, 23, 45, 87, 174]  (7.0s)
