(4^(128x112))