x d27a525537 ecip zk: fix div for odd number of points %!s(int64=3) %!d(string=hai) anos
..
construct.sage d27a525537 ecip zk: fix div for odd number of points %!s(int64=3) %!d(string=hai) anos
div.sage 6604d52d5c split up div.sage %!s(int64=3) %!d(string=hai) anos
example-construct-1.sage 6604d52d5c split up div.sage %!s(int64=3) %!d(string=hai) anos
example-construct-2.sage d27a525537 ecip zk: fix div for odd number of points %!s(int64=3) %!d(string=hai) anos
example-construct-algo.sage 65f11bf233 divisor construction algos %!s(int64=3) %!d(string=hai) anos
proof.sage 6786f51555 ECIP proof %!s(int64=3) %!d(string=hai) anos
row-construct.sage a532230693 ECIP row construct.sage %!s(int64=3) %!d(string=hai) anos