s646.py

from research import *
s=begin(646,'Generate the Creation–Enoch rail square','Can one translation recover all four admitted Creation–Enoch spans?',{'upper':[4244,4237],'lower':[3264,3257]},['File70 Appendix D.1'])
a,b=[4244,4237],[3264,3257]; matrix=[[x-y for y in b] for x in a]
generated=[[980+7*(j-i) for j in range(2)] for i in range(2)]
finish(s,{'matrix':matrix,'translation':980,'rail':7},'The four comparisons are one seven-year rail translated by980: corresponding980s and crossed973/987. This reuses the same rail generator as the larger calendar family.','Ask whether the source’s nested14/140/980 spans share one normalized shape.',{'whole_matrix':matrix==generated,'entries':matrix==[[980,987],[973,980]]})