from fractions import Fraction
def run(load,read,check):
 S={z['center'] for z in load('C286_DATA.json')['target_register']};P=load('C450_DATA.json')['pivots'];pairs=load('PREVIOUS_DATA.json')['rectangle']['output_rows'];trials=[]
 for pair in pairs:
  for h in P:
   y=[Fraction(25*x-2*h,23) for x in pair];integer=all(z.denominator==1 for z in y);residue=pair[0]%23==h%23
   check(f'residue_{pair}_{h}',integer==residue)
   trials.append({'input_pair':pair,'pivot':h,'input_residue':pair[0]%23,'pivot_residue':h%23,'integer_outputs':integer,'outputs':list(map(str,y)),'both_sourced':integer and all(int(z) in S for z in y)})
 translated=2756-275;formal=[int(Fraction(25*x-2*translated,23)) for x in pairs[0]]
 check('translated_continuation',formal==[1681,2931])
 return {'step':'C460','trials':trials,'admitted':[t for t in trials if t['both_sourced']],'pivot_residues':[{'pivot':h,'residue':h%23} for h in P],'row_residues':[p[0]%23 for p in pairs],'translation_residue':275%23,'counterfactual_translation_only':{'pivot':translated,'pivot_sourced':translated in S,'outputs':formal,'outputs_sourced':[x in S for x in formal],'admitted':False},'counts':{'trials':len(trials),'integer_output_pairs':sum(t['integer_outputs'] for t in trials),'sourced_output_pairs':sum(t['both_sourced'] for t in trials)}}