Evidence

s1137.py

Download source fileOpen in research workspace
from research import *
from itertools import combinations
s=begin(1137,'Test whether the early rounded grid fixes the interior','Do the first-five460 total, retained65 scale, five-year grid and descending order recover105,90,70?',{'scale':65,'grid':5,'order':'130>Seth>Enosh>Kenan>65'},['C1134','File51a §8.3','File18 §3.1'])
solutions=sorted([(a,b,c) for c,b,a in combinations(range(70,130,5),3) if a+b+c==265])
a=artifact('model/SP_early_grid_fibre.json',json.dumps({'solutions':solutions,'source':[105,90,70],'scope':'complete bounded diagnostic family; these are not chronology admissions or a statistical sample'},indent=2)+'\n')
finish(s,{'early_grid_fibre':a,'solutions':solutions,'count':len(solutions)},'The natural five-year grid and strict early-age order still permit multiple internal allocations. The actual105,90,70 is retained as source data rather than forced by460 and65.','Determine how much one extra internal source age would identify within this complete bounded family.',{'actual_included':(105,90,70) in solutions,'nonunique':len(solutions)>1,'all_admitted_conditions':all(130>a>b>c>65 and a+b+c==265 for a,b,c in solutions)})

Linked sources and evidence

Edition and provenance

s1137.py

SHA-256 44b27255390f5fd497fa40a6323563fe1a209c881f2110b6df882d2e2553e754

C480–C1634/Research_Cycles/C1132_C1431_Recovered/evidence/s1137.py