160-0445-02 is a Signetics 82S107 3-state FPLA, programmed to
patch sections of Tektronix 7854 revision -01 mask ROMs located at
A31U100, A31U110, A31U200 and A31U210 with data from revision -02
patch EPROMs located at A31U400 and A31U410.

F[0-5] and _FLAG will be asserted when the bus address matches I[0-15].
F[6-7] are always high-Z.

When _FLAG is asserted, U130 and U230 go high-Z, and the FPLA F outputs
drive EPROM U400 and U410 A[4-9] address lines directly.

F output value is given in hexadecimal, with bits 6 and 7 always high-Z.
I input values are given in binary, with don't-care bits marked X.

The effective address remapping is included for convenience.
Address ranges given in brackets are from the perspective of
the affected ROM/EPROM IC.

41 p-terms total.

F   Bus Addr   ROM Addr      Bus Addr   EPROM Addr I
-------------------------------------------------------------------
00: 3FF0-3FFF (1FF8-1FFF) -> 9010-901F (0008-000F) 001111111111XXXX
01: 7FF0-7FFF (1FF8-1FFF) -> 9030-903F (0018-001F) 011111111111XXXX
02: 2494-2497 (124A-124B) -> 9054-9057 (002A-002B) 00100100100101XX
03: 24E8-24EF (1274-1277) -> 9068-906F (0034-0037) 0010010011101XXX
04: 2A04-2A07 (1502-1503) -> 9084-9087 (0042-0043) 00101010000001XX
05: 2AB8-2ABF (155C-155F) -> 90B8-90BF (005C-005F) 0010101010111XXX
06: 0962-0963 (04B1-04B1) -> 90C2-90C3 (0061-0061) 000010010110001X
07: 03A0-03AF (01D0-01D7) -> 90E0-90EF (0070-0077) 000000111010XXXX
08: 1D80-1D83 (0EC0-0EC1) -> 9100-9103 (0080-0081) 00011101100000XX
09: 0A00-0A1F (0500-050F) -> 9120-913F (0090-009F) 00001010000XXXXX
0A: 0040-0047 (0020-0023) -> 9140-9147 (00A0-00A3) 0000000001000XXX
0B: 3418-3419 (1A0C-1A0C) -> 9178-9179 (00BC-00BC) 001101000001100X
0C: 2C38-2C3F (161C-161F) -> 9198-919F (00CC-00CF) 0010110000111XXX
0D: 06DC-06DF (036E-036F) -> 91BC-91BF (00DE-00DF) 00000110110111XX
0E: 2AC0-2ADF (1560-156F) -> 91C0-91DF (00E0-00EF) 00101010110XXXXX
0F: 2B3C-2B3F (159E-159F) -> 91FC-91FF (00FE-00FF) 00101011001111XX
10: 2B40-2B41 (15A0-15A0) -> 9200-9201 (0100-0100) 001010110100000X
11: 2C80-2C9F (1640-164F) -> 9220-923F (0110-011F) 00101100100XXXXX
12: 2768-276F (13B4-13B7) -> 9248-924F (0124-0127) 0010011101101XXX
13: 02F0-02FF (0178-017F) -> 9270-927F (0138-013F) 000000101111XXXX
14: 0060-007F (0030-003F) -> 9280-929F (0140-014F) 00000000011XXXXX
15: 00EC-00EF (0076-0077) -> 92AC-92AF (0156-0157) 00000000111011XX
16: 3240-325F (1920-192F) -> 92C0-92DF (0160-016F) 00110010010XXXXX
17: 3124-3127 (1892-1893) -> 92E4-92E7 (0172-0173) 00110001001001XX
18: 2518-251B (128C-128D) -> 9318-931B (018C-018D) 00100101000110XX
19: 3110-3117 (1888-188B) -> 9330-9337 (0198-019B) 0011000100010XXX
1A: 08CC-08CF (0466-0467) -> 934C-934F (01A6-01A7) 00001000110011XX
1B: 4790-4797 (03C8-03CB) -> 9370-9377 (01B8-01BB) 0100011110010XXX
1C: 4838-483B (041C-041D) -> 9398-939B (01CC-01CD) 01001000001110XX
1D: 6370-637F (11B8-11BF) -> 93B0-93BF (01D8-01DF) 011000110111XXXX
1E: 6380-638F (11C0-11C7) -> 93C0-93CF (01E0-01E7) 011000111000XXXX
1F: 3A9E-3A9F (1D4F-1D4F) -> 93FE-93FF (01FF-01FF) 001110101001111X
20: 3AA0-3AAF (1D50-1D57) -> 9400-940F (0200-0207) 001110101010XXXX
21: 3ADE-3ADF (1D6F-1D6F) -> 943E-943F (021F-021F) 001110101101111X
22: 3AE0-3AEF (1D70-1D77) -> 9440-944F (0220-0227) 001110101110XXXX
23: 3B1E-3B1F (1D8F-1D8F) -> 947E-947F (023F-023F) 001110110001111X
24: 3B20-3B2F (1D90-1D97) -> 9480-948F (0240-0247) 001110110010XXXX
25: 3B5E-3B5F (1DAF-1DAF) -> 94BE-94BF (025F-025F) 001110110101111X
26: 3B60-3B6F (1DB0-1DB7) -> 94C0-94CF (0260-0267) 001110110110XXXX
27: 237E-237F (11BF-11BF) -> 94FE-94FF (027F-027F) 001000110111111X
28: 2380-2383 (11C0-11C1) -> 9500-9503 (0280-0281) 00100011100000XX