s580.py

from research import *
s=begin(580,'Join Shem and Flood to the regular chronology','Does one carrier translation explain both source horizontal bridges?',{'upper_pair':[5436,4836],'lower_pair':[2006,1406]},['File63 §8; C546; latest File52c'])
horizontal=[5436-2006,4836-1406];vertical=[5436-4836,2006-1406]
finish(s,{'horizontal':horizontal,'vertical':vertical,'carrier_factorization':[7,490],'Actual_anatomy':[2401,1029],'state_note':'Actual4836 anatomy and Rounded4836 endpoint are separately labelled'},'The Shem/Flood and Jacob/Conquest pairs form a600-by3430 rectangle. Its3430 also has the earlier Actual anatomy2401+1029 and the Rounded role7×490; these are interfaces through labelled quantities, not an erasure of their states.','Test the smaller Flood core against the cumulative Levi phase pair.',{'rectangle':horizontal==[3430,3430] and vertical==[600,600],'carrier':3430==7*490==2401+1029})