from research import *
s=begin(676,'Reconstruct the recovered35 phase pair','What exact coordinates result from withdrawing2.5 at both normalized endpoints?',{'T_coordinates':[F(5783,2),F(5703,2)],'N_coordinates':[2891,2851],'withdrawal':F(5,2)},['Supplement A §4.3; derived phase-resolution test'])
t=[F(5783,2)-F(5,2),F(5703,2)+F(5,2)]; n=[F(2891)-F(5,2),F(2851)+F(5,2)]
finish(s,{'from_T_coordinates':t,'from_T_labels':['2889n','2854n'],'from_N_coordinates':n,'from_N_labels':['2889t','2854t']},'Withdrawing2.5 from both normalized endpoints recovers width35 and changes the displayed suffix: the Tishri coordinates land on Nisan labels, and vice versa. The apparent integer-label ambiguity is resolved by the exact half-year convention.','Generate the two40 brackets and their common120 field.',{'T_to_N':t==[2889,2854],'N_to_T':n==[F(5777,2),F(5707,2)],'widths':t[0]-t[1]==n[0]-n[1]==35})