I believe the computer upon which the researchers were drawing circuits is the same model as the machine for which Ken Thompson first created Unix.

Source: x.com/unclebobmartin/status/1849312730852856213