Divisibilityhard
0:00.0

Find the remainder of 22100(mod7)2^{2^{100}} \pmod{7}.