Recent activity
Record witnesses and commentary edits, newest first.
-
edited commentary on witness #240920
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 #240919
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 = 44,538 with witness #240923 — |A| = 140, exponent 0.4617
-
set a record for N = 44,537 with witness #240922 — |A| = 140, exponent 0.4617
-
set a record for N = 44,533 with witness #240921 — |A| = 140, exponent 0.4617
-
set a record for N = 44,532 with witness #240920 — |A| = 140, exponent 0.4617
-
set a record for N = 44,531 with witness #240919 — |A| = 140, exponent 0.4617
-
set a record for N = 10,552 with witness #240918 — |A| = 59, exponent 0.4401
-
edited commentary on witness #240917
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 #240916
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 #240915
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 #240914
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 #240912
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 #240913
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 = 44,530 with witness #240916 — |A| = 140, exponent 0.4617
-
set a record for N = 44,524 with witness #240917 — |A| = 140, exponent 0.4617
-
set a record for N = 44,523 with witness #240915 — |A| = 140, exponent 0.4617
-
set a record for N = 44,519 with witness #240913 — |A| = 140, exponent 0.4617
-
set a record for N = 44,518 with witness #240912 — |A| = 140, exponent 0.4617
-
set a record for N = 10,547 with witness #240914 — |A| = 60, exponent 0.4420
-
edited commentary on witness #240911
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 #240910
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 #240909
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 = 44,517 with witness #240910 — |A| = 140, exponent 0.4617
-
set a record for N = 44,516 with witness #240911 — |A| = 140, exponent 0.4617
-
edited commentary on witness #240908
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 #240907
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 #240906
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 = 44,512 with witness #240909 — |A| = 140, exponent 0.4617
-
set a record for N = 44,511 with witness #240907 — |A| = 140, exponent 0.4617