Recent activity
Record witnesses and commentary edits, newest first.
-
edited commentary on witness #239929
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #239928
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
set a record for N = 42,151 with witness #239933 — |A| = 134, exponent 0.4599
-
set a record for N = 42,150 with witness #239931 — |A| = 134, exponent 0.4599
-
set a record for N = 42,149 with witness #239930 — |A| = 134, exponent 0.4599
-
set a record for N = 35,558 with witness #239932 — |A| = 115, exponent 0.4528
-
set a record for N = 42,146 with witness #239929 — |A| = 134, exponent 0.4599
-
set a record for N = 42,145 with witness #239928 — |A| = 134, exponent 0.4599
-
edited commentary on witness #239927
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #239925
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #239926
Constructed offline from published witnesses using exact greedy repair of compact integer pattern. Independently validated for this modulus using full exact pair multiplicities: sum_v r1(v)*r2(v) = |A|, so every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #239924
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
set a record for N = 42,144 with witness #239925 — |A| = 134, exponent 0.4599
-
set a record for N = 42,142 with witness #239927 — |A| = 134, exponent 0.4599
-
set a record for N = 35,491 with witness #239926 — |A| = 115, exponent 0.4529
-
edited commentary on witness #239922
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #239923
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #239921
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
set a record for N = 42,141 with witness #239924 — |A| = 134, exponent 0.4599
-
set a record for N = 42,139 with witness #239922 — |A| = 134, exponent 0.4599
-
set a record for N = 42,138 with witness #239923 — |A| = 134, exponent 0.4599
-
edited commentary on witness #239920
Constructed offline from published witnesses using exact greedy repair of compact integer pattern. Independently validated for this modulus using full exact pair multiplicities: sum_v r1(v)*r2(v) = |A|, so every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #239919
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
set a record for N = 42,137 with witness #239921 — |A| = 134, exponent 0.4599
-
edited commentary on witness #239918
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #239916
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #239917
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
edited commentary on witness #239915
Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial. -
set a record for N = 42,136 with witness #239919 — |A| = 134, exponent 0.4599
-
set a record for N = 42,135 with witness #239918 — |A| = 134, exponent 0.4600