The left hand side implies the left hand side of BP1116.

Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well.

Currently, the solution is overridden by BP1116. (See @overriddensolution.) Can more examples be added to fix this?

Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well.

Currently, the solution is overridden by BP1116. (See @overriddensolution.) Can more examples be added so that this isn't so?

Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well.

Currently, the solution is overridden by BP1116. (See @overriddensolution.) Can more examples be added so that this isn't the case?

Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well.

Currently, the solution is overridden by BP1241. (See @overriddensolution.) Can more examples be added so that this isn't the case?

Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well.

Proofs still needed that EX8973, EX9863, EX9834, EX9057, EX9055 cannot fit on the other side.

Tiled by pair of fractals including itself such that both tile the other vs. tiled by pair of fractals including itself such that the other tiles itself.