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