Кстати (на скриншоте теорема из их же работы) — на каждом шаге можно выбрать, какой из двух астероидов вылетает к Ю1. Поэтому "взрывающихся" решений получается (как минимум) целое канторово множество: столько есть последовательностей из А1 и А2, говорящих, на каком шаге какой астероид летит к Ю1.