from research import *
s=begin(560,'Unify crossed Joseph containers by phase','Are140 and140.5 conflicting containers or different declared states?',{'Levi_span':137,'phases':[3,F(7,2)]},['File61 §§12.1–12.3'])
out={str(p):{'parts':[27+p,83-p,27+p],'outer':137+p,'other_diagonal':137-p} for p in [F(3),F(7,2)]}
finish(s,{'phase_family':out,'exact_diagonal_center':137,'exact_diagonal_separation':7},'Whole-year30|80|30 and exact30.5|79.5|30.5 are evaluations of one phase formula. Exact diagonals140.5 and133.5 are centered on137 and separated by7.','Reconstruct the430/460 Joseph-to-Joshua routes with their declared phase states.',{'whole':out['3']['outer']==140,'exact':out['7/2']['outer']==F(281,2),'center':(F(281,2)+F(267,2))/2==137})