area (a,b<=20), coincidence (n<=20), mirror (a,b<=14) checked; failures so far 0
invariant formula: 468 SAT tilings (2<=a<=b<=min(2a,28), a<=14), 151 of the distinct (R,L) pairs had left stones
T1b RESULT: ALL OK
