P1_partition: unsat
P2_hole_is_benzel: unsat
PV_bones: unsat
PS_bones: unsat
PF_bones: unsat
ALL CLAIMS HOLD (unsat): the F1 rule tiles B(4D-3,5D-3) minus H for every D >= 2.
