from research import *
s=begin(874,'Classify all one-Key integer and Rounded domains','How do same-grid conditions differ from merely integral output?',{},['C873','File51a q in5Z'])
from math import lcm
rows=[{'key':n,'ratio':str(k),'integer_generator':k.denominator,'five_year_generator':5*k.denominator} for n,k in [('E',E),('P',P),('J',J)]]
joint=lcm(*(k.denominator for k in [E,P,J]))
a=artifact('model/one_key_domains.json',json.dumps({'rows':rows,'joint_integer':joint,'joint_five_year':5*joint},indent=2)+'\n')
finish(s,{'domains':rows,'joint_integer':joint,'joint_five_year':5*joint,'artifact':a},'Integer self-domains are23Z,69Z,299Z; Rounded5Z self-domains are115Z,345Z,1495Z. Their intersections are897Z and4485Z. These intersections concern separate images, not sequential authorization.','Locate the existing source examples inside these domains without counting them as new discoveries.',{'joint':joint==897,'rounded':5*joint==4485,'different_input_domain':F(483)*E==525 and 483%5!=0})