Progrestron. Lynxee ryder. Busy beavers numbers 123. Hoshaiah medioni.