[PASS] Lemma 2.4 midpoint area, N=3
[PASS] N=3: A2 = -A
[PASS] Lemma 2.4 midpoint area, N=4
[PASS] Lemma 2.4 midpoint area, N=5
[PASS] Lemma 2.4 midpoint area, N=6
[PASS] Lemma 2.4 midpoint area, N=7
[PASS] Lemma 2.4 midpoint area, N=8
[PASS] Lemma 2.4 midpoint area, N=9
[PASS] centrally symmetric N=4: A2 = 0
[PASS] centrally symmetric N=6: A2 = A
[PASS] Lemma 2.1(b) sign +1
[PASS] Lemma 2.1(b) sign -1
[PASS] b''^2 = b^2 cn^2 D
[PASS] a''^2 = a^2 cn^2 D / dn^2 D
[PASS] kappa = ab/(a''b'') = dn D/cn^2 D (squared)
[PASS] period relation b/a = k'/dn D (squared)
[PASS] Lemma 2.3 midpoint x
[PASS] Lemma 2.3 midpoint y
[PASS] N=4 rhombus sides tangent to caustic lam=a^2b^2/(a^2+b^2)
N=4 rhombus: A = 2*a*b ; A' = 4*a*b ; A'' = 4*a**3*b**3/(a**2 + b**2)**2 ; A^x = 2*a**3*b**3/(a**2 + b**2)**2 ; A'^- = a*b
  inner vertices: [(a**3/(a**2 + b**2), b**3/(a**2 + b**2)), (-a**3/(a**2 + b**2), b**3/(a**2 + b**2)), (-a**3/(a**2 + b**2), -b**3/(a**2 + b**2)), (a**3/(a**2 + b**2), -b**3/(a**2 + b**2))]
[PASS] N=4 k110 = 8a^4b^4/(a^2+b^2)^2
[PASS] N=4 k807 = 4a^4b^4/(a^2+b^2)^2
[PASS] N=4 k809 = 4a^2b^2
[PASS] N=4 k106 = 8a^2b^2
[PASS] N=4 k113 = (ab/(a''b''))^2
  Garcia-Reznik printed k110(N=4) = 2a^4b^4/(a^2+b^2)^2 ; ratio correct/printed = 4
ALL PASS
