[userbinator]

It looks like they used the GE-235 originally, which only had 8K words of 20 bits each (i.e. 20KB.)

https://en.wikipedia.org/wiki/GE-200_series