s660.py

from research import *
s=begin(660,'Insert Exodus into the indexed cumulative body','What does the supplied Exodus1446 add to the4900 index?',{'path':[5436,1936,1446,536],'unit':70},['File70 §9.1A; A.13.3–4'])
nodes=[5436,1936,1446,536]; indices=[F(5436-x,70) for x in nodes]; gaps=[nodes[i]-nodes[i+1] for i in range(3)]
finish(s,{'indices':indices,'gaps':gaps,'unit_gaps':[F(x,70) for x in gaps]},'Exodus is index57 in the same source-conditioned lattice. The lower1400 is7|13 units, embedded in the complete50|7|13 partition of4900. The supplied Exodus role selects the cut; the other measures follow.','Reconstruct the larger cumulative spine in its175-year unit.',{'indices':indices==[0,50,57,70],'parts':[F(x,70) for x in gaps]==[50,7,13],'closure':sum(gaps)==4900})