const mcs11_prop_condensed: array [0..1348] of int8u = (11, 2, 32, 128 - 32, $00, $00, $0C, $00, $18, $00, $24, $00, $30, $00, $3C, $00, $48, $00, $54, $00, $60, $00, $6C, $00, $78, $00, $84, $00, $90, $00, $9C, $00, $A8, $00, $B4, $00, $C0, $00, $CC, $00, $D8, $00, $E4, $00, $F0, $00, $FC, $00, $08, $01, $14, $01, $20, $01, $2C, $01, $38, $01, $44, $01, $50, $01, $5C, $01, $68, $01, $74, $01, $80, $01, $8C, $01, $98, $01, $A4, $01, $B0, $01, $BC, $01, $C8, $01, $D4, $01, $E0, $01, $EC, $01, $F8, $01, $04, $02, $10, $02, $1C, $02, $28, $02, $34, $02, $40, $02, $4C, $02, $58, $02, $64, $02, $70, $02, $7C, $02, $88, $02, $94, $02, $A0, $02, $AC, $02, $B8, $02, $C4, $02, $D0, $02, $DC, $02, $E8, $02, $F4, $02, $00, $03, $0C, $03, $18, $03, $24, $03, $30, $03, $3C, $03, $48, $03, $54, $03, $60, $03, $6C, $03, $78, $03, $84, $03, $90, $03, $9C, $03, $A8, $03, $B4, $03, $C0, $03, $CC, $03, $D8, $03, $E4, $03, $F0, $03, $FC, $03, $08, $04, $14, $04, $20, $04, $2C, $04, $38, $04, $44, $04, $50, $04, $5C, $04, $68, $04, $74, $04, 3, $00, $00, $00, $00, $00, $00, $00, $00, $00, $00, $00, 3, $00, $40, $40, $40, $40, $40, $40, $40, $00, $40, $00, 4, $50, $50, $A0, $00, $00, $00, $00, $00, $00, $00, $00, 5, $00, $50, $50, $F8, $50, $50, $50, $F8, $50, $50, $00, 5, $00, $40, $60, $90, $80, $60, $10, $90, $60, $20, $00, 5, $00, $00, $90, $90, $20, $20, $40, $40, $90, $90, $00, 5, $00, $40, $A0, $A0, $A0, $40, $A8, $90, $90, $68, $00, 5, $00, $00, $20, $40, $00, $00, $00, $00, $00, $00, $00, 5, $10, $20, $20, $40, $40, $40, $40, $40, $20, $20, $10, 4, $80, $40, $40, $20, $20, $20, $20, $20, $40, $40, $80, 5, $00, $00, $90, $60, $F0, $60, $90, $00, $00, $00, $00, 5, $00, $00, $00, $20, $20, $F8, $20, $20, $00, $00, $00, 4, $00, $00, $00, $00, $00, $00, $00, $00, $60, $60, $C0, 5, $00, $00, $00, $00, $00, $F0, $00, $00, $00, $00, $00, 4, $00, $00, $00, $00, $00, $00, $00, $00, $C0, $C0, $00, 6, $08, $08, $10, $10, $20, $20, $40, $40, $80, $80, $00, 5, $00, $70, $90, $90, $90, $90, $90, $90, $90, $E0, $00, 3, $00, $40, $C0, $40, $40, $40, $40, $40, $40, $40, $00, 5, $00, $60, $90, $90, $10, $10, $20, $40, $80, $F0, $00, 5, $00, $60, $90, $10, $10, $60, $10, $10, $90, $60, $00, 5, $00, $10, $30, $30, $50, $50, $90, $F0, $10, $10, $00, 5, $00, $F0, $80, $80, $E0, $90, $10, $10, $90, $60, $00, 5, $00, $60, $90, $80, $80, $E0, $90, $90, $90, $60, $00, 5, $00, $F0, $10, $10, $10, $20, $20, $40, $40, $40, $00, 5, $00, $60, $90, $90, $90, $60, $90, $90, $90, $60, $00, 5, $00, $60, $90, $90, $90, $70, $10, $10, $90, $60, $00, 4, $00, $00, $00, $60, $60, $00, $00, $00, $60, $60, $00, 4, $00, $00, $00, $60, $60, $00, $00, $00, $60, $60, $C0, 6, $00, $08, $10, $20, $40, $80, $40, $20, $10, $08, $00, 5, $00, $00, $00, $00, $F0, $00, $00, $F0, $00, $00, $00, 6, $00, $80, $40, $20, $10, $08, $10, $20, $40, $80, $00, 5, $00, $60, $90, $10, $10, $20, $40, $00, $40, $00, $00, 5, $00, $60, $90, $90, $B0, $B0, $B0, $80, $80, $70, $00, 5, $00, $60, $90, $90, $90, $F0, $90, $90, $90, $90, $00, 5, $00, $E0, $90, $90, $90, $E0, $90, $90, $90, $E0, $00, 5, $00, $60, $90, $80, $80, $80, $80, $80, $90, $60, $00, 5, $00, $E0, $90, $90, $90, $90, $90, $90, $90, $E0, $00, 5, $00, $F0, $80, $80, $80, $F0, $80, $80, $80, $F0, $00, 5, $00, $F0, $80, $80, $80, $F0, $80, $80, $80, $80, $00, 5, $00, $70, $80, $80, $80, $B0, $90, $90, $90, $60, $00, 5, $00, $90, $90, $90, $90, $F0, $90, $90, $90, $90, $00, 4, $00, $E0, $40, $40, $40, $40, $40, $40, $40, $E0, $00, 5, $00, $70, $20, $20, $20, $20, $20, $A0, $A0, $40, $00, 5, $00, $90, $90, $A0, $A0, $C0, $A0, $A0, $90, $90, $00, 5, $00, $80, $80, $80, $80, $80, $80, $80, $80, $F0, $00, 6, $00, $88, $D8, $A8, $A8, $A8, $88, $88, $88, $88, $00, 5, $00, $90, $90, $D0, $D0, $B0, $B0, $90, $90, $90, $00, 5, $00, $60, $90, $90, $90, $90, $90, $90, $90, $60, $00, 5, $00, $E0, $90, $90, $90, $90, $E0, $80, $80, $80, $00, 5, $00, $60, $90, $90, $90, $90, $90, $90, $90, $60, $30, 5, $00, $E0, $90, $90, $90, $90, $E0, $A0, $90, $90, $00, 5, $00, $60, $90, $80, $80, $60, $10, $10, $90, $60, $00, 6, $00, $F8, $20, $20, $20, $20, $20, $20, $20, $20, $00, 5, $00, $90, $90, $90, $90, $90, $90, $90, $90, $60, $00, 6, $00, $88, $88, $88, $88, $50, $50, $50, $20, $20, $00, 6, $00, $88, $88, $88, $A8, $A8, $A8, $A8, $A8, $50, $00, 5, $00, $90, $90, $90, $60, $60, $90, $90, $90, $90, $00, 6, $00, $88, $88, $88, $50, $20, $20, $20, $20, $20, $00, 5, $00, $F0, $10, $20, $20, $40, $40, $80, $80, $F0, $00, 4, $60, $40, $40, $40, $40, $40, $40, $40, $40, $60, $00, 6, $80, $80, $40, $40, $20, $20, $10, $10, $08, $08, $00, 4, $60, $20, $20, $20, $20, $20, $20, $20, $20, $60, $00, 5, $00, $20, $50, $88, $00, $00, $00, $00, $00, $00, $00, 5, $00, $00, $00, $00, $00, $00, $00, $00, $00, $F0, $00, 5, $00, $40, $20, $00, $00, $00, $00, $00, $00, $00, $00, 5, $00, $00, $00, $60, $90, $10, $70, $90, $90, $70, $00, 5, $00, $80, $80, $80, $E0, $90, $90, $90, $90, $E0, $00, 5, $00, $00, $00, $60, $90, $80, $80, $80, $90, $60, $00, 5, $00, $10, $10, $10, $70, $90, $90, $90, $90, $70, $00, 5, $00, $00, $00, $60, $90, $90, $F0, $80, $90, $60, $00, 4, $00, $20, $40, $40, $E0, $40, $40, $40, $40, $40, $00, 5, $00, $00, $00, $70, $90, $90, $90, $70, $10, $90, $60, 5, $00, $80, $80, $80, $E0, $90, $90, $90, $90, $90, $00, 2, $00, $80, $00, $80, $80, $80, $80, $80, $80, $80, $00, 4, $00, $20, $00, $20, $20, $20, $20, $20, $20, $A0, $40, 5, $00, $80, $80, $90, $90, $A0, $C0, $A0, $90, $90, $00, 2, $00, $80, $80, $80, $80, $80, $80, $80, $80, $80, $00, 6, $00, $00, $00, $D0, $A8, $A8, $A8, $88, $88, $88, $00, 5, $00, $00, $00, $A0, $D0, $90, $90, $90, $90, $90, $00, 5, $00, $00, $00, $60, $90, $90, $90, $90, $90, $60, $00, 5, $00, $00, $00, $E0, $90, $90, $90, $90, $E0, $80, $80, 5, $00, $00, $00, $70, $90, $90, $90, $90, $70, $10, $10, 6, $00, $00, $00, $B8, $48, $40, $40, $40, $40, $40, $00, 5, $00, $00, $00, $60, $90, $40, $20, $10, $90, $60, $00, 4, $00, $40, $40, $E0, $40, $40, $40, $40, $40, $20, $00, 5, $00, $00, $00, $90, $90, $90, $90, $90, $90, $70, $00, 6, $00, $00, $00, $88, $88, $88, $50, $50, $20, $20, $00, 6, $00, $00, $00, $88, $88, $88, $A8, $A8, $A8, $50, $00, 5, $00, $00, $00, $90, $90, $60, $60, $90, $90, $90, $00, 5, $00, $00, $00, $90, $90, $90, $90, $70, $10, $20, $C0, 5, $00, $00, $00, $F0, $10, $20, $40, $80, $80, $F0, $00, 5, $30, $40, $40, $40, $40, $80, $40, $40, $40, $40, $30, 3, $00, $40, $40, $40, $40, $00, $40, $40, $40, $40, $00, 5, $C0, $20, $20, $20, $20, $10, $20, $20, $20, $20, $C0, 5, $00, $40, $A8, $10, $00, $00, $00, $00, $00, $00, $00, 5, $00, $20, $70, $D8, $88, $88, $F8, $00, $00, $00, $00, 0); |