Model F2 seems right: https://github.com/PDP-10/FOONEX/blob/master/F2-MICROCODE/DS...