Attach("anti-cyclotomic.m"); SetVerbose("ac_height",1); SmallestDTest(5);