Divisibilitymedium
0:00.0

What is 2^(2^5) mod 3?