Download horny_machine_loopability