Evidence

s659.py

Download source fileOpen in research workspace
from research import *
s=begin(659,'Generate the cumulative1400 rectangle','Are the four source spans independent or generated by matching70-year rails?',{'upper':[2006,1936],'lower':[606,536]},['File70 A.13.4 CM028–030; C658'])
a,b=[2006,1936],[606,536]; matrix=[[x-y for y in b] for x in a]
finish(s,{'matrix':matrix,'formula':'1400+70(j−i)','rail_indices':[[49,50],[69,70]]},'The1400 rectangle is the existing rail generator at spacing70. Its crossed1330/1470 spans follow from matching rails; the second1400 is a dependent corresponding comparison.','Recover the source’s490|910 lower subdivision and locate Exodus within the same index.',{'matrix':matrix==[[1400,1470],[1330,1400]],'translation':[a[i]-b[i] for i in range(2)]==[1400,1400]})

Linked sources and evidence

Edition and provenance

s659.py

SHA-256 db05172b70fd0d84300439f04240df2eafc57557abbe833503d928386c5255b4

C480–C1634/Research_Cycles/C0632_C0731/evidence/s659.py