stage_prime_bigger: Gamma' instances (6<=|D|<=7, K=3|D|+1)=734 failures=0 max edges of Gamma'=2067 time=58.8s
