s565.py

from research import *
s=begin(565,'Localize phase invariance in the Isaac partition','Can the complete dated partition be carried unchanged into the exact Aaron phase?',{'phase':F(7,2),'fixed_Conquest':1406},['File61 §§17.3–17.7'])
p=F(7,2);upper=(14006+p)-(2246+p);lower=2246+p-1406
finish(s,{'upper_common_phase':upper,'lower_fixed_terminal':lower,'changed_total':upper+lower},'The upper11760 leg is phase-invariant when both ends move. The fixed-Conquest lower leg becomes843.5, so the840 and12600 dated partition belongs to its declared Nisan state.','Separate the Cainan and Apparent inputs in the12250 variant.',{'upper':upper==11760,'lower':lower==F(1687,2),'not_same_total':upper+lower!=12600})