lem-in while [ 1 ]; do; ./generator --big-superposition > d && ./lem-in --p < d | grep 'lines'; done > lem-in_output
