s944.py

from research import *
s=begin(944,'Bounded aggregate identifiability','Can distinct admissible integer aggregates have both measurements equal?',{'digit_bounds':{'H':[2,18],'T':[0,18],'U':[2,18]},'kernel':[10,-101,10]},['C939','C940','C943'])
max_t_difference=18; minimum_kernel_t=101
finish(s,{'largest_allowed_tens_difference':max_t_difference,'smallest_nonzero_kernel_tens_difference':minimum_kernel_t,'aggregate_unique_given_both_totals':True},'Within this register, the finite digit box eliminates every nonzero integer kernel move: both totals uniquely identify the aggregate columns.','Determine which individual component details the aggregate still loses.',{'kernel_excluded':minimum_kernel_t>max_t_difference,'primitive_kernel':__import__('math').gcd(10,101)==1})