Or for the audience here, 2^(9^12) is a number that takes roughly 100 gigabytes to store. Edit: oh wait, 2^(9^12) is the number of bits. So we are actually tal

Or for the audience here, 2^(9^12) is a number that takes roughly 100 gigabytes to store. Edit: oh wait, 2^(9^12) is the number of bits. So we are actually talking about numbers of the size 2^(2^(9^12)). “Too big to be practical” is a serious understatement here.