cells: 379
(1) cells + quartic rectangle cover [1,ubar]x[0,9/10]: True 769
    negative test: removing one random cell -> coverage fails in 10 / 10
(2) 641 quartic boxes cover Q: True 669
    negative test: removing one random box -> coverage fails in 10 / 10
T1 COVERAGE: PASS
exit 0 elapsed 2 s
