B      EQU  1(4:4)
BMAX   EQU  B-1
UMAX   EQU  20
TABLE  NOP  GOOD(BMAX)
       ADD  FLOAT(5:5)
       SUB  FLOAT(5:5)
       MUL  FLOAT(5:5)
       DIV  FLOAT(5:5)
       HLT  GOOD
       SRC  GOOD
       MOVE MEMORY(BMAX)
       LDA  FIELD(5:5)
       LD1  FIELD(5:5)
       LD2  FIELD(5:5)
       LD3  FIELD(5:5)
       LD4  FIELD(5:5)
       LD5  FIELD(5:5)
       LD6  FIELD(5:5)
       LDX  FIELD(5:5)
       LDAN FIELD(5:5)
       LD1N FIELD(5:5)
       LD2N FIELD(5:5)
       LD3N FIELD(5:5)
       LD4N FIELD(5:5)
       LD5N FIELD(5:5)
       LD6N FIELD(5:5)
       LDXN FIELD(5:5)
       STA  FIELD(5:5)
       ST1  FIELD(5:5)
       ST2  FIELD(5:5)
       ST3  FIELD(5:5)
       ST4  FIELD(5:5)
       ST5  FIELD(5:5)
       ST6  FIELD(5:5)
       STX  FIELD(5:5)
       STJ  FIELD(5:5)
       STZ  FIELD(5:5)
       JBUS MEMORY(UMAX)
       IOC  GOOD(UMAX)
       IN   MEMORY(UMAX)
       OUT  MEMORY(UMAX)
       JRED MEMORY(UMAX)
       JLE  MEMORY
       JANP MEMORY
       J1NP MEMORY
       J2NP MEMORY
       J3NP MEMORY
       J4NP MEMORY
       J5NP MEMORY
       J6NP MEMORY
       JXNP MEMORY
       ENNA GOOD
       ENN1 GOOD
       ENN2 GOOD
       ENN3 GOOD
       ENN4 GOOD
       ENN5 GOOD
       ENN6 GOOD
       ENNX GOOD
       CMPA FLOAT(5:5)
       CMP1 FIELD(5:5)
       CMP2 FIELD(5:5)
       CMP3 FIELD(5:5)
       CMP4 FIELD(5:5)
       CMP5 FIELD(5:5)
       CMP6 FIELD(5:5)
       CMPX FIELD(5:5)
BEGIN  LDA  INST
       CMPA VALID(3:3)
       JG   BAD
       LD1  INST(5:5)
       DEC1 64
       J1NN BAD
       CMPA TABLE+64,1(4:4)
       JG   BAD
       LD1  TABLE+64,1(1:2)
       JMP  0,1
FLOAT  CMPA VALID(4:4)
       JE   GOOD
FIELD  ENTA 0
       LDX  INST(4:4)
       DIV  =9=
       STX  *+1(0:2)
       INCA 0
       CMPA =5=
       JG   BAD
MEMORY LDX  INST(3:3)
       JXNZ GOOD
       LDX  INST(0:2)
       JXN  BAD
       CMPX =3999=
       JLE  GOOD
       JMP  BAD
VALID  CMPX 3999,6(6)
*VALID  CON  63,3999(0:2),6(3:3),6(4:4)          CMPX 3999,6(6)
*
*
*
INST   CON  63,3999(0:2),6(3:3),45(4:4)
GOOD   OUT  GTEXT(18)
       HLT
BAD    OUT  BTEXT(18)
       HLT
GTEXT  ALF  GOOD
BTEXT  ALF  BAD
       END  BEGIN