TX-0 upgraded system (8 kWords of RAM)