diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.eighth.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.eighth.log
new file mode 100644
index 000000000..bcee847fd
--- /dev/null
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.eighth.log
@@ -0,0 +1,59 @@
+start igneum-build-1 2026-10-07T22:45:40Z lease pool up to 32 cores (32: never pre-empted), min 4
+== sac day 20729 k=5 2026-10-07T22:45:40Z
+already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k5.log
+holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=360 (word 11) out=82 (word 2) p=0.49944 z=-4.60
+verdict: no cell beyond 6 sigma
+== sac day 20729 k=6 2026-10-07T22:45:40Z
+already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k6.log
+holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=354 (word 11) out=291 (word 9) p=0.49943 z=-4.66
+verdict: no cell beyond 6 sigma
+== sac day 20729 k=7 2026-10-07T22:45:40Z
+already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k7.log
+holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=226 (word 7) out=440 (word 13) p=0.50061 z=5.01
+verdict: no cell beyond 6 sigma
+== sac day 20729 k=8 2026-10-07T22:45:40Z
+holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=354 (word 11) out=114 (word 3) p=0.50056 z=4.58
+verdict: no cell beyond 6 sigma
+== sac day 20733 k=5 2026-10-07T23:07:00Z
+holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=111 (word 3) out=214 (word 6) p=0.50058 z=4.78
+verdict: no cell beyond 6 sigma
+== sac day 20733 k=6 2026-10-07T23:11:46Z
+holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=66 (word 2) out=385 (word 12) p=0.50056 z=4.55
+verdict: no cell beyond 6 sigma
+== sac day 20733 k=7 2026-10-07T23:16:51Z
+holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=24 (word 0) out=215 (word 6) p=0.49944 z=-4.58
+verdict: no cell beyond 6 sigma
+== sac day 20733 k=8 2026-10-07T23:22:10Z
+holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=192 (word 6) out=321 (word 10) p=0.49943 z=-4.65
+verdict: no cell beyond 6 sigma
+== index day 20733 k=2 2026-10-07T23:27:49Z
+chi2=4191157.5 df=4194303 z=-1.09 empty=0 min=840 max=1187 argmax=0x15c1f3
+segments(2^16): chi2=65230.2 z=-0.84   lines-in-segment(64): chi2=69.5 z=0.58
+verdict: uniform within the band
+== index day 20733 k=3 2026-10-07T23:28:48Z
+chi2=4190521.8 df=4194303 z=-1.31 empty=0 min=862 max=1199 argmax=0x1c4f9d
+segments(2^16): chi2=65009.2 z=-1.45   lines-in-segment(64): chi2=49.0 z=-1.25
+verdict: uniform within the band
+== index day 20733 k=4 2026-10-07T23:29:51Z
+chi2=4193710.8 df=4194303 z=-0.20 empty=0 min=862 max=1180 argmax=0x23f000
+segments(2^16): chi2=65631.7 z=0.27   lines-in-segment(64): chi2=71.1 z=0.72
+verdict: uniform within the band
+== index day 20733 k=5 2026-10-07T23:31:02Z
+chi2=4197980.7 df=4194303 z=1.27 empty=0 min=865 max=1190 argmax=0x189764
+segments(2^16): chi2=65904.2 z=1.02   lines-in-segment(64): chi2=79.3 z=1.45
+verdict: uniform within the band
+== index day 20733 k=6 2026-10-07T23:32:20Z
+chi2=4197551.0 df=4194303 z=1.12 empty=0 min=865 max=1187 argmax=0x204e25
+segments(2^16): chi2=65403.8 z=-0.36   lines-in-segment(64): chi2=49.3 z=-1.22
+verdict: uniform within the band
+== index day 20733 k=7 2026-10-07T23:33:47Z
+chi2=4197936.5 df=4194303 z=1.25 empty=0 min=858 max=1197 argmax=0x37052f
+segments(2^16): chi2=66004.2 z=1.30   lines-in-segment(64): chi2=60.6 z=-0.21
+verdict: uniform within the band
+== index day 20733 k=8 2026-10-07T23:35:19Z
+chi2=4193499.1 df=4194303 z=-0.28 empty=0 min=859 max=1183 argmax=0x7d467
+segments(2^16): chi2=65451.2 z=-0.23   lines-in-segment(64): chi2=60.7 z=-0.21
+verdict: uniform within the band
+== sac day 20729 k=2 2^27 2026-10-07T23:37:00Z
+PREEMPTED sac 20729 k2 n27 try 1 rc=143 2026-10-07T23:58:40Z: re-queuing the same lease line
+PREEMPTED sac 20729 k2 n27 try 2 rc=143 2026-10-08T00:10:05Z: re-queuing the same lease line
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log
index 5453b1099..9bd45845c 100644
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log
@@ -1,29 +1,75 @@
-start igneum-build-1 2026-10-07T22:45:40Z lease pool up to 32 cores (32: never pre-empted), min 4
-== sac day 20729 k=5 2026-10-07T22:45:40Z
+start igneum-build-1 2026-10-08T00:11:05Z lease pool up to 32 cores (32: never pre-empted), min 4
+== sac day 20729 k=5 2026-10-08T00:11:05Z
 already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k5.log
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=360 (word 11) out=82 (word 2) p=0.49944 z=-4.60
 verdict: no cell beyond 6 sigma
-== sac day 20729 k=6 2026-10-07T22:45:40Z
+== sac day 20729 k=6 2026-10-08T00:11:05Z
 already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k6.log
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=354 (word 11) out=291 (word 9) p=0.49943 z=-4.66
 verdict: no cell beyond 6 sigma
-== sac day 20729 k=7 2026-10-07T22:45:40Z
+== sac day 20729 k=7 2026-10-08T00:11:05Z
 already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k7.log
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=226 (word 7) out=440 (word 13) p=0.50061 z=5.01
 verdict: no cell beyond 6 sigma
-== sac day 20729 k=8 2026-10-07T22:45:40Z
+== sac day 20729 k=8 2026-10-08T00:11:05Z
+already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k8.log
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=354 (word 11) out=114 (word 3) p=0.50056 z=4.58
 verdict: no cell beyond 6 sigma
-== sac day 20733 k=5 2026-10-07T23:07:00Z
+== sac day 20733 k=5 2026-10-08T00:11:05Z
+already done: /srv/builds/_adv-mixer-3/logs/sac-20733-k5.log
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=111 (word 3) out=214 (word 6) p=0.50058 z=4.78
 verdict: no cell beyond 6 sigma
-== sac day 20733 k=6 2026-10-07T23:11:46Z
+== sac day 20733 k=6 2026-10-08T00:11:05Z
+already done: /srv/builds/_adv-mixer-3/logs/sac-20733-k6.log
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=66 (word 2) out=385 (word 12) p=0.50056 z=4.55
 verdict: no cell beyond 6 sigma
-== sac day 20733 k=7 2026-10-07T23:16:51Z
+== sac day 20733 k=7 2026-10-08T00:11:05Z
+already done: /srv/builds/_adv-mixer-3/logs/sac-20733-k7.log
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=24 (word 0) out=215 (word 6) p=0.49944 z=-4.58
 verdict: no cell beyond 6 sigma
-== sac day 20733 k=8 2026-10-07T23:22:10Z
+== sac day 20733 k=8 2026-10-08T00:11:05Z
+already done: /srv/builds/_adv-mixer-3/logs/sac-20733-k8.log
 holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=192 (word 6) out=321 (word 10) p=0.49943 z=-4.65
 verdict: no cell beyond 6 sigma
-== index day 20733 k=2 2026-10-07T23:27:49Z
+== index day 20733 k=2 2026-10-08T00:11:05Z
+already done: /srv/builds/_adv-mixer-3/logs/index-20733-k2.log
+chi2=4191157.5 df=4194303 z=-1.09 empty=0 min=840 max=1187 argmax=0x15c1f3
+segments(2^16): chi2=65230.2 z=-0.84   lines-in-segment(64): chi2=69.5 z=0.58
+verdict: uniform within the band
+== index day 20733 k=3 2026-10-08T00:11:05Z
+already done: /srv/builds/_adv-mixer-3/logs/index-20733-k3.log
+chi2=4190521.8 df=4194303 z=-1.31 empty=0 min=862 max=1199 argmax=0x1c4f9d
+segments(2^16): chi2=65009.2 z=-1.45   lines-in-segment(64): chi2=49.0 z=-1.25
+verdict: uniform within the band
+== index day 20733 k=4 2026-10-08T00:11:05Z
+already done: /srv/builds/_adv-mixer-3/logs/index-20733-k4.log
+chi2=4193710.8 df=4194303 z=-0.20 empty=0 min=862 max=1180 argmax=0x23f000
+segments(2^16): chi2=65631.7 z=0.27   lines-in-segment(64): chi2=71.1 z=0.72
+verdict: uniform within the band
+== index day 20733 k=5 2026-10-08T00:11:05Z
+already done: /srv/builds/_adv-mixer-3/logs/index-20733-k5.log
+chi2=4197980.7 df=4194303 z=1.27 empty=0 min=865 max=1190 argmax=0x189764
+segments(2^16): chi2=65904.2 z=1.02   lines-in-segment(64): chi2=79.3 z=1.45
+verdict: uniform within the band
+== index day 20733 k=6 2026-10-08T00:11:05Z
+already done: /srv/builds/_adv-mixer-3/logs/index-20733-k6.log
+chi2=4197551.0 df=4194303 z=1.12 empty=0 min=865 max=1187 argmax=0x204e25
+segments(2^16): chi2=65403.8 z=-0.36   lines-in-segment(64): chi2=49.3 z=-1.22
+verdict: uniform within the band
+== index day 20733 k=7 2026-10-08T00:11:05Z
+already done: /srv/builds/_adv-mixer-3/logs/index-20733-k7.log
+chi2=4197936.5 df=4194303 z=1.25 empty=0 min=858 max=1197 argmax=0x37052f
+segments(2^16): chi2=66004.2 z=1.30   lines-in-segment(64): chi2=60.6 z=-0.21
+verdict: uniform within the band
+== index day 20733 k=8 2026-10-08T00:11:05Z
+already done: /srv/builds/_adv-mixer-3/logs/index-20733-k8.log
+chi2=4193499.1 df=4194303 z=-0.28 empty=0 min=859 max=1183 argmax=0x7d467
+segments(2^16): chi2=65451.2 z=-0.23   lines-in-segment(64): chi2=60.7 z=-0.21
+verdict: uniform within the band
+== sac0 day 20733 k=2 2^28 2026-10-08T00:11:05Z
+holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=19 out=453 (word 14) p=0.49987 z=-4.14
+verdict: no cell beyond 6 sigma
+== sac0 day 20733 k=3 2^28 2026-10-08T00:25:59Z
+holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=15 out=406 (word 12) p=0.50015 z=4.85
+verdict: no cell beyond 6 sigma
+== sac day 20729 k=2 2^27 2026-10-08T00:30:09Z
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log
index 43e50b90e..d4c54bb3d 100644
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log
@@ -13,3 +13,8 @@ wall=3600.02 s maxrss=148976 KB
 == cnf day 20729 k=4 2026-10-07T22:41:16Z
 t0=0x12345678 target index (low 22 bits of s[0]) = 0x23fc47
 cnf: vars=138126 clauses=458645 written to /srv/builds/_adv-mixer-3/cnf/d20729-k4.cnf
+cadical rc=0 (10 sat, 20 unsat, 124 timeout)
+wall=3600.05 s maxrss=174684 KB
+== cnf day 20733 k=2 2026-10-07T23:41:17Z
+t0=0x12345678 target index (low 22 bits of s[0]) = 0x11c9d7
+cnf: vars=67944 clauses=225543 written to /srv/builds/_adv-mixer-3/cnf/d20733-k2.cnf
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20733-k2.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20733-k2.log
new file mode 100644
index 000000000..ef789cb82
--- /dev/null
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20733-k2.log
@@ -0,0 +1,9 @@
+adv-mixer-3 cnf day=20733 apps=2 start=0 plant=None unix=1791416477
+key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
+rot = [28, 11, 18, 18, 13, 28, 5, 13]
+mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
+rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
+keys = 9e3779b9 3c6ef372
+t0=0x12345678 target index (low 22 bits of s[0]) = 0x11c9d7
+cnf: vars=67944 clauses=225543 written to /srv/builds/_adv-mixer-3/cnf/d20733-k2.cnf
+verify a model with: adv-mixer-3 verify --day 20733 --apps 2 --start 0 --plant none --t <t from variables 1..32>
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k4.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k4.log
new file mode 100644
index 000000000..6ae85ba12
--- /dev/null
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k4.log
@@ -0,0 +1,16 @@
+lease: holding 16 pool cores (24,25,26,27,28,29,30,31,76,77,78,79,80,81,82,83, waited 0 s, class adv): adv-mixer-3 index 20733 k4
+adv-mixer-3 index day=20733 apps=4 start=0 plant=None unix=1791415791
+key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
+rot = [28, 11, 18, 18, 13, 28, 5, 13]
+mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
+rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
+keys = 9e3779b9 3c6ef372 daa66d2b 78dde6e4
+census: n=2^32 bins=2^22 expect=1024 wall=70.7s
+chi2=4193710.8 df=4194303 z=-0.20 empty=0 min=862 max=1180 argmax=0x23f000
+segments(2^16): chi2=65631.7 z=0.27   lines-in-segment(64): chi2=71.1 z=0.72
+bins >= 1184 (5 sigma high): 0 (uniform expects about 1.2); bins <= 864: 1 (about 1.2)
+s[0] bit balance over 2^32: worst bit 14 z=2.62; low 22 bits worst z=2.62
+state bit balance over 2^24 sample: worst bit 480 (word 15) z=3.54; bits beyond 6 sigma: 0 of 512
+verdict: uniform within the band
+Terminated
+lease: released 16 pool cores after 71 s, exit 0
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k5.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k5.log
index e69de29bb..0407ca1b1 100644
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k5.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k5.log
@@ -0,0 +1,16 @@
+lease: holding 16 pool cores (24,25,26,27,28,29,30,31,76,77,78,79,80,81,82,83, waited 0 s, class adv): adv-mixer-3 index 20733 k5
+adv-mixer-3 index day=20733 apps=5 start=0 plant=None unix=1791415863
+key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
+rot = [28, 11, 18, 18, 13, 28, 5, 13]
+mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
+rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
+keys = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d
+census: n=2^32 bins=2^22 expect=1024 wall=77.8s
+chi2=4197980.7 df=4194303 z=1.27 empty=0 min=865 max=1190 argmax=0x189764
+segments(2^16): chi2=65904.2 z=1.02   lines-in-segment(64): chi2=79.3 z=1.45
+bins >= 1184 (5 sigma high): 3 (uniform expects about 1.2); bins <= 864: 0 (about 1.2)
+s[0] bit balance over 2^32: worst bit 3 z=2.99; low 22 bits worst z=2.99
+state bit balance over 2^24 sample: worst bit 217 (word 6) z=3.20; bits beyond 6 sigma: 0 of 512
+verdict: uniform within the band
+Terminated
+lease: released 16 pool cores after 78 s, exit 0
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k6.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k6.log
new file mode 100644
index 000000000..9f1c21ade
--- /dev/null
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k6.log
@@ -0,0 +1,15 @@
+lease: holding 16 pool cores (24,25,26,27,28,29,30,31,76,77,78,79,80,81,82,83, waited 0 s, class adv): adv-mixer-3 index 20733 k6
+adv-mixer-3 index day=20733 apps=6 start=0 plant=None unix=1791415941
+key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
+rot = [28, 11, 18, 18, 13, 28, 5, 13]
+mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
+rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
+keys = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56
+census: n=2^32 bins=2^22 expect=1024 wall=86.1s
+chi2=4197551.0 df=4194303 z=1.12 empty=0 min=865 max=1187 argmax=0x204e25
+segments(2^16): chi2=65403.8 z=-0.36   lines-in-segment(64): chi2=49.3 z=-1.22
+bins >= 1184 (5 sigma high): 1 (uniform expects about 1.2); bins <= 864: 0 (about 1.2)
+s[0] bit balance over 2^32: worst bit 9 z=-2.24; low 22 bits worst z=2.24
+state bit balance over 2^24 sample: worst bit 459 (word 14) z=-3.64; bits beyond 6 sigma: 0 of 512
+verdict: uniform within the band
+lease: released 16 pool cores after 86 s, exit 0
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k7.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k7.log
new file mode 100644
index 000000000..485f49f5c
--- /dev/null
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k7.log
@@ -0,0 +1,15 @@
+lease: holding 16 pool cores (24,25,26,27,28,29,30,31,76,77,78,79,80,81,82,83, waited 0 s, class adv): adv-mixer-3 index 20733 k7
+adv-mixer-3 index day=20733 apps=7 start=0 plant=None unix=1791416027
+key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
+rot = [28, 11, 18, 18, 13, 28, 5, 13]
+mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
+rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
+keys = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56 5384540f
+census: n=2^32 bins=2^22 expect=1024 wall=92.1s
+chi2=4197936.5 df=4194303 z=1.25 empty=0 min=858 max=1197 argmax=0x37052f
+segments(2^16): chi2=66004.2 z=1.30   lines-in-segment(64): chi2=60.6 z=-0.21
+bins >= 1184 (5 sigma high): 3 (uniform expects about 1.2); bins <= 864: 1 (about 1.2)
+s[0] bit balance over 2^32: worst bit 31 z=2.94; low 22 bits worst z=2.14
+state bit balance over 2^24 sample: worst bit 155 (word 4) z=3.18; bits beyond 6 sigma: 0 of 512
+verdict: uniform within the band
+lease: released 16 pool cores after 92 s, exit 0
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k8.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k8.log
new file mode 100644
index 000000000..bc32004e2
--- /dev/null
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k8.log
@@ -0,0 +1,15 @@
+lease: holding 16 pool cores (24,25,26,27,28,29,30,31,76,77,78,79,80,81,82,83, waited 0 s, class adv): adv-mixer-3 index 20733 k8
+adv-mixer-3 index day=20733 apps=8 start=0 plant=None unix=1791416119
+key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
+rot = [28, 11, 18, 18, 13, 28, 5, 13]
+mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
+rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
+keys = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56 5384540f f1bbcdc8
+census: n=2^32 bins=2^22 expect=1024 wall=100.9s
+chi2=4193499.1 df=4194303 z=-0.28 empty=0 min=859 max=1183 argmax=0x7d467
+segments(2^16): chi2=65451.2 z=-0.23   lines-in-segment(64): chi2=60.7 z=-0.21
+bins >= 1184 (5 sigma high): 0 (uniform expects about 1.2); bins <= 864: 1 (about 1.2)
+s[0] bit balance over 2^32: worst bit 6 z=-2.83; low 22 bits worst z=2.83
+state bit balance over 2^24 sample: worst bit 34 (word 1) z=-4.23; bits beyond 6 sigma: 0 of 512
+verdict: uniform within the band
+lease: released 16 pool cores after 101 s, exit 0
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k2-n27.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k2-n27.log
new file mode 100644
index 000000000..3b9c9b129
--- /dev/null
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k2-n27.log
@@ -0,0 +1,7 @@
+lease: holding 20 pool cores (24,25,26,27,28,29,30,31,52,53,54,55,76,77,78,79,80,81,82,83, waited 0 s, class adv): adv-mixer-3 sac 20729 k2 n27
+adv-mixer-3 sac day=20729 apps=2 start=8 plant=None unix=1791419409
+key = 528b3e14 2e689968 ffc58df7 b7f348cb 8c15a789 703473e8 e58713af 0cfe196a
+rot = [6, 25, 5, 25, 29, 11, 9, 21]
+mul = addda577 e83ff665 a15aee9f 31ffb8cb e72c824d 225e647b 3ec0ace3 d1eb11d5 fa5c7dc5 40128acf 70bc55cf b823fa39 07fcdf49 56a6c8b1 c05d3115 02063ddd
+rc  = 0655b978 2c53cb31 e14235d3 30d45c30 5b07a13b 25271fad 418b165b f7fe03d7 67943b1d 5ba337a2 24aa3983 6abbbed4 12488b47 a4a81e53 96f96da0 b86823f8
+keys = 8ff34781 2e2ac13a
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k2-n27.partial.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k2-n27.partial.log
new file mode 100644
index 000000000..8a6115278
--- /dev/null
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k2-n27.partial.log
@@ -0,0 +1,8 @@
+lease: holding 4 pool cores (80,81,82,83, waited 0 s, class adv): adv-mixer-3 sac 20729 k2 n27
+adv-mixer-3 sac day=20729 apps=2 start=8 plant=None unix=1791418240
+key = 528b3e14 2e689968 ffc58df7 b7f348cb 8c15a789 703473e8 e58713af 0cfe196a
+rot = [6, 25, 5, 25, 29, 11, 9, 21]
+mul = addda577 e83ff665 a15aee9f 31ffb8cb e72c824d 225e647b 3ec0ace3 d1eb11d5 fa5c7dc5 40128acf 70bc55cf b823fa39 07fcdf49 56a6c8b1 c05d3115 02063ddd
+rc  = 0655b978 2c53cb31 e14235d3 30d45c30 5b07a13b 25271fad 418b165b f7fe03d7 67943b1d 5ba337a2 24aa3983 6abbbed4 12488b47 a4a81e53 96f96da0 b86823f8
+keys = 8ff34781 2e2ac13a
+lease: released 4 pool cores after 24 s, exit 143
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac0-20733-k2-n28.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac0-20733-k2-n28.log
index a677501fd..5a17f0e47 100644
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac0-20733-k2-n28.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac0-20733-k2-n28.log
@@ -1,6 +1,13 @@
-adv-mixer-3 sac0 day=20733 apps=2 start=0 plant=None unix=1791400786
+lease: holding 4 pool cores (80,81,82,83, waited 1 s, class adv): adv-mixer-3 sac0 20733 k2 n28
+adv-mixer-3 sac0 day=20733 apps=2 start=0 plant=None unix=1791418266
 key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
 rot = [28, 11, 18, 18, 13, 28, 5, 13]
 mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
 rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
 keys = 9e3779b9 3c6ef372
+sac0: states=268435456 wall=893.5s band(6 sigma)=0.00018 inputs=32 t bits
+holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=19 out=453 (word 14) p=0.49987 z=-4.14
+line index cells (out bits 0..21): worst z=3.76 beyond6=0 of 704
+verdict: no cell beyond 6 sigma
+Terminated
+lease: released 4 pool cores after 894 s, exit 0
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac0-20733-k3-n28.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac0-20733-k3-n28.log
new file mode 100644
index 000000000..6e5fe30d1
--- /dev/null
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac0-20733-k3-n28.log
@@ -0,0 +1,13 @@
+lease: holding 16 pool cores (24,25,26,27,28,29,30,31,76,77,78,79,80,81,82,83, waited 0 s, class adv): adv-mixer-3 sac0 20733 k3 n28
+adv-mixer-3 sac0 day=20733 apps=3 start=0 plant=None unix=1791419159
+key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
+rot = [28, 11, 18, 18, 13, 28, 5, 13]
+mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
+rc  = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
+keys = 9e3779b9 3c6ef372 daa66d2b
+sac0: states=268435456 wall=249.6s band(6 sigma)=0.00018 inputs=32 t bits
+holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=15 out=406 (word 12) p=0.50015 z=4.85
+line index cells (out bits 0..21): worst z=-3.35 beyond6=0 of 704
+verdict: no cell beyond 6 sigma
+Terminated
+lease: released 16 pool cores after 250 s, exit 0
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k4.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k4.log
index 293aec453..71c78674a 100644
--- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k4.log
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k4.log
@@ -1 +1,5 @@
 lease: holding 1 pool cores (27, waited 0 s, class adv): adv-mixer-3 cadical 20729 k4
+c UNKNOWN
+Command exited with non-zero status 124
+wall=3600.05 s maxrss=174684 KB
+lease: released 1 pool cores after 3600 s, exit 124
diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20733-k2.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20733-k2.log
new file mode 100644
index 000000000..34c82e0c1
--- /dev/null
+++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20733-k2.log
@@ -0,0 +1,2 @@
+lease: 0 of 1 pool cores free (87 leased), a higher class waits ahead; waiting
+lease: holding 1 pool cores (62, waited 1432 s, class adv): adv-mixer-3 cadical 20733 k2