User blog comment:SandstoneGem/Sandstone's number/@comment-30754445-20170607102209

Nice.

So A12 = 2(2 12) = 24096 exactly.

Fun fact: this number has 1234 digits.