Ada and the number-crunching machine Scrapman and the incredible flying machine Cat and their flying machine Arno and the mini machine