Tarski's plank problem (source code)

= Tarski's plank problem
{wiki=Tarski's_plank_problem}