(2^260) factorial