V0: k=150 seed=20: 59 candidates, sampled 25 V1: k=100 seed=17: 58 candidates, sampled 20 V2: k=40 seed=18: 34 candidates, sampled 20 V3: k=60 seed=19: 45 candidates, G3 accepts 10; growth stopped by gate 3, by cap 7 blind sheet: 75 clusters, 1265 lines real 1m8.707s user 0m53.236s sys 0m14.723s