s645.py

from research import *
s=begin(645,'Test the Enoch partition role','Does the supplied Enoch head give the same internal partition as its close?',{'head':3264,'close':3257,'outer':[4237,1885]},['File70 Appendix D.1–D.4','C644'])
head=[4237-3264,3264-1885]; close=[4237-3257,3257-1885]
finish(s,{'head_partition':head,'close_partition':close,'head_49_coefficients':[F(x,49) for x in head]},'Replacing the supplied close with the head transfers seven years between the two arms and preserves2352. The5:7 partition belongs to the close role; it is not a property of any Enoch placement.','Recover the complete two-node Enoch comparison from its seven-year rails.',{'head':head==[973,1379],'transfer':[head[i]-close[i] for i in range(2)]==[-7,7],'total':sum(head)==sum(close)==2352})