Есть много задачек про бедных гномиков, но над этой я дольше всего пыхтел, и даже думал, что доказал, что она не решаема — а она решаема.

Итак, стандартная история: