(2^100)!