from research import *
s=begin(965,'Independent Enoch row closes the system','Does the retained65 recover all three distinctive SP begetting inputs?',{'Enoch':65,'cap_lives':[847,720,653],'k':601},['C964','File18 §3.1'])
j,m,l=s['inputs']['cap_lives']; k=s['inputs']['k']; result={'Jared':j-m-s['inputs']['Enoch'],'Methuselah':m-l,'Lamech_completed':l-k,'Lamech_counted_year':l-k+1}
finish(s,result,'Holding Enoch65 closes the one-dimensional ambiguity and recovers Jared62, Methuselah67, and Lamech52 completed years—the source53rd counted year.','Exhibit the remaining ambiguity when that held row is removed.',{'complete_late_match':result=={'Jared':62,'Methuselah':67,'Lamech_completed':52,'Lamech_counted_year':53},'source_row_distinct':s['inputs']['Enoch']==65})