solve p6 brute force
solving p7
reducing size of p7 functions