Puzzles designed by Rachel Papirmeister exclusively for the
Formal Methods Reasoning Group (FoRG), a constituent of
Columbia University DAPLab. Unauthorized use is prohibited.