P
Initializing...
Tate table: type II\* ($E_8$) has $\operatorname{ord}\Delta = 10$ · Prove2Me