P
Initializing...
Tate table: type IV has $\operatorname{ord}\Delta = 4$ · Prove2Me