PASS Ex7.4 2x3: |E| = m
PASS Ex7.4 2x3: column 3 is missed, all other slices met
PASS Ex7.4 2x3: 11 is pinned
PASS Ex7.4 2x3: Jacobian determinant nonzero at a rational point
PASS Ex7.4 2x3: midpoint of 1/200 and 159/200 is 2/5
PASS Ex7.4 2x3: completion at x11 = 2/5 is a pair of probability vectors
PASS Ex7.4 2x3: completion reproduces x at x11 = 2/5
PASS Ex7.4 2x3: a = (4/5, 1/5), b = (1/2, 1/8, 3/8, 0, ...)
PASS Ex7.4 2x3: x11 = 1/200: B = 441/200 > 1 and b_3 = 1 - B < 0
PASS Ex7.4 2x3: x11 = 159/200: B = 32041/31800 > 1 and b_3 = 1 - B < 0
PASS Ex7.4 2x3: coordinate sums 41/200 and 199/200
PASS Ex7.4 2x4: |E| = m
PASS Ex7.4 2x4: column 3 is missed, all other slices met
PASS Ex7.4 2x4: 11 is pinned
PASS Ex7.4 2x4: Jacobian determinant nonzero at a rational point
PASS Ex7.4 2x4: midpoint of 1/200 and 159/200 is 2/5
PASS Ex7.4 2x4: completion at x11 = 2/5 is a pair of probability vectors
PASS Ex7.4 2x4: completion reproduces x at x11 = 2/5
PASS Ex7.4 2x4: a = (4/5, 1/5), b = (1/2, 1/8, 3/8, 0, ...)
PASS Ex7.4 2x4: x11 = 1/200: B = 441/200 > 1 and b_3 = 1 - B < 0
PASS Ex7.4 2x4: x11 = 159/200: B = 32041/31800 > 1 and b_3 = 1 - B < 0
PASS Ex7.4 2x4: coordinate sums 41/200 and 199/200
PASS Ex7.4 2x5: |E| = m
PASS Ex7.4 2x5: column 3 is missed, all other slices met
PASS Ex7.4 2x5: 11 is pinned
PASS Ex7.4 2x5: Jacobian determinant nonzero at a rational point
PASS Ex7.4 2x5: midpoint of 1/200 and 159/200 is 2/5
PASS Ex7.4 2x5: completion at x11 = 2/5 is a pair of probability vectors
PASS Ex7.4 2x5: completion reproduces x at x11 = 2/5
PASS Ex7.4 2x5: a = (4/5, 1/5), b = (1/2, 1/8, 3/8, 0, ...)
PASS Ex7.4 2x5: x11 = 1/200: B = 441/200 > 1 and b_3 = 1 - B < 0
PASS Ex7.4 2x5: x11 = 159/200: B = 32041/31800 > 1 and b_3 = 1 - B < 0
PASS Ex7.4 2x5: coordinate sums 41/200 and 199/200
PASS Ex7.4 2x6: |E| = m
PASS Ex7.4 2x6: column 3 is missed, all other slices met
PASS Ex7.4 2x6: 11 is pinned
PASS Ex7.4 2x6: Jacobian determinant nonzero at a rational point
PASS Ex7.4 2x6: midpoint of 1/200 and 159/200 is 2/5
PASS Ex7.4 2x6: completion at x11 = 2/5 is a pair of probability vectors
PASS Ex7.4 2x6: completion reproduces x at x11 = 2/5
PASS Ex7.4 2x6: a = (4/5, 1/5), b = (1/2, 1/8, 3/8, 0, ...)
PASS Ex7.4 2x6: x11 = 1/200: B = 441/200 > 1 and b_3 = 1 - B < 0
PASS Ex7.4 2x6: x11 = 159/200: B = 32041/31800 > 1 and b_3 = 1 - B < 0
PASS Ex7.4 2x6: coordinate sums 41/200 and 199/200
PASS Ex7.4 2x7: |E| = m
PASS Ex7.4 2x7: column 3 is missed, all other slices met
PASS Ex7.4 2x7: 11 is pinned
PASS Ex7.4 2x7: Jacobian determinant nonzero at a rational point
PASS Ex7.4 2x7: midpoint of 1/200 and 159/200 is 2/5
PASS Ex7.4 2x7: completion at x11 = 2/5 is a pair of probability vectors
PASS Ex7.4 2x7: completion reproduces x at x11 = 2/5
PASS Ex7.4 2x7: a = (4/5, 1/5), b = (1/2, 1/8, 3/8, 0, ...)
PASS Ex7.4 2x7: x11 = 1/200: B = 441/200 > 1 and b_3 = 1 - B < 0
PASS Ex7.4 2x7: x11 = 159/200: B = 32041/31800 > 1 and b_3 = 1 - B < 0
PASS Ex7.4 2x7: coordinate sums 41/200 and 199/200
PASS Ex7.4 2x8: |E| = m
PASS Ex7.4 2x8: column 3 is missed, all other slices met
PASS Ex7.4 2x8: 11 is pinned
PASS Ex7.4 2x8: Jacobian determinant nonzero at a rational point
PASS Ex7.4 2x8: midpoint of 1/200 and 159/200 is 2/5
PASS Ex7.4 2x8: completion at x11 = 2/5 is a pair of probability vectors
PASS Ex7.4 2x8: completion reproduces x at x11 = 2/5
PASS Ex7.4 2x8: a = (4/5, 1/5), b = (1/2, 1/8, 3/8, 0, ...)
PASS Ex7.4 2x8: x11 = 1/200: B = 441/200 > 1 and b_3 = 1 - B < 0
PASS Ex7.4 2x8: x11 = 159/200: B = 32041/31800 > 1 and b_3 = 1 - B < 0
PASS Ex7.4 2x8: coordinate sums 41/200 and 199/200
PASS 2x2: no pattern of size 2 has a pinned element
PASS 3x1: endpoint sums 1/2 and 3/2 (not completable), midpoint sum 1 (completable, theta_1 = midpoint, theta_2 = (1))
PASS 3x1: no element of E = D is pinned (each lies alone in its slice of coordinate 1)
PASS Ex7.2: 9/32 is the midpoint of 1/100 and 221/400
PASS Prop6.1 degenerate: theta = ((0,1),(1,0)) completes x21 = 1, x12 = 0
PASS Prop6.1 degenerate: theta^s = 0 for this (the only) completion
PASS Prop6.1 degenerate: P_X(A) = A^2, so no root in (0,1]
PASS Rem6.2(4): at most two sign changes in the coefficients of P_X (300 random X)
ALL PASS
