another test checking plausibility in ARM
simple tool to write out the results of brute-force analysis as formula
declaring this as version 1.0