From 4adb52dc754e2599cc0f1b0bee1310dcc287d70f Mon Sep 17 00:00:00 2001
From: igneum-labs <337424239+igneum-labs@users.noreply.github.com>
Date: Thu, 8 Oct 2026 00:16:16 +0000
Subject: [PATCH] adv-accept-3: Q4c, the same 400 programs from the spec text
 at 8b834634: 0 of 400 differ; dataset_elem the one named-not-stated function

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 .../adv-accept-3/983-textderive-8b834634.tsv  | 405 ++++++++++++++++++
 .../cryptanalysis/report-acceptance-rule-3.md |  21 +-
 tools/attack/adv-accept-3/textderive-run.sh   |   8 +
 3 files changed, 432 insertions(+), 2 deletions(-)
 create mode 100644 docs/analysis/cryptanalysis/logs/adv-accept-3/983-textderive-8b834634.tsv
 create mode 100644 tools/attack/adv-accept-3/textderive-run.sh

diff --git a/docs/analysis/cryptanalysis/logs/adv-accept-3/983-textderive-8b834634.tsv b/docs/analysis/cryptanalysis/logs/adv-accept-3/983-textderive-8b834634.tsv
new file mode 100644
index 000000000..e28b6db46
--- /dev/null
+++ b/docs/analysis/cryptanalysis/logs/adv-accept-3/983-textderive-8b834634.tsv
@@ -0,0 +1,405 @@
+lease: holding 16 pool cores (71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86, waited 0 s, class adv): adv-accept-3 983-textderive spec 8b834634
+# adv3 textderive 2026-10-08T00:11:34Z seeds 0..400 spec 8b834634 (internal adversarial pass, not an independent review)
+seed	text_attempt	code_attempt	text_id	code_id	base_eq	shadow_eq	id_eq	text_rejects	code_rejects	first_diff	secs
+0	3	3	6eb252f3a3102cdb	6eb252f3a3102cdb	eq	eq	eq	a',a',a'	a',a',a'	-	5.8
+2	5	5	de8d683ee438fa5b	de8d683ee438fa5b	eq	eq	eq	a,a',a',a',a'	a,a',a',a',a'	-	5.9
+5	1	1	65600785570ca327	65600785570ca327	eq	eq	eq	a'	a'	-	6.1
+4	8	8	8d11ef9ea4947147	8d11ef9ea4947147	eq	eq	eq	a',b,a',a',a',c-constbit,a',a'	a',b,a',a',a',c-constbit,a',a'	-	6.2
+13	0	0	cce31e82e649befe	cce31e82e649befe	eq	eq	eq	-	-	-	6.2
+14	1	1	295b1297e218468f	295b1297e218468f	eq	eq	eq	a'	a'	-	6.6
+7	0	0	34ea7b9d6f3c066e	34ea7b9d6f3c066e	eq	eq	eq	-	-	-	6.7
+6	0	0	360b32ffc8a4a271	360b32ffc8a4a271	eq	eq	eq	-	-	-	6.7
+15	3	3	c20a0f8328cbdab0	c20a0f8328cbdab0	eq	eq	eq	a,a',a	a,a',a	-	7.0
+12	4	4	7b0dbf8f7db66218	7b0dbf8f7db66218	eq	eq	eq	a',a',b,a'	a',a',b,a'	-	8.1
+9	3	3	62b04e3ce4024cdb	62b04e3ce4024cdb	eq	eq	eq	a',a',a'	a',a',a'	-	8.6
+1	1	1	47b8f1ace3857f0b	47b8f1ace3857f0b	eq	eq	eq	a'	a'	-	9.9
+8	0	0	3e6287e61520120c	3e6287e61520120c	eq	eq	eq	-	-	-	10.2
+10	1	1	913a80679ca50093	913a80679ca50093	eq	eq	eq	a'	a'	-	10.4
+11	10	10	fa0f33df1f03715a	fa0f33df1f03715a	eq	eq	eq	a',a',a',a',a',c-constbit,a',a',a',a	a',a',a',a',a',c-constbit,a',a',a',a	-	10.8
+3	4	4	cc6a1daba90e6d2f	cc6a1daba90e6d2f	eq	eq	eq	a',a',a,c-saturated	a',a',a,c-saturated	-	10.8
+17	0	0	e601bd18fafd7eaf	e601bd18fafd7eaf	eq	eq	eq	-	-	-	6.6
+20	5	5	b037aecdc57fb98d	b037aecdc57fb98d	eq	eq	eq	a',a',a',a',a'	a',a',a',a',a'	-	6.5
+16	6	6	b84697b8d267efe6	b84697b8d267efe6	eq	eq	eq	a',b,a,a',a',a'	a',b,a,a',a',a'	-	8.8
+22	6	6	548fa8da3290c3b6	548fa8da3290c3b6	eq	eq	eq	a,a',a',a',a',a'	a,a',a',a',a',a'	-	9.4
+19	0	0	bc68dff4947a86de	bc68dff4947a86de	eq	eq	eq	-	-	-	11.0
+18	1	1	e8a7298c53cdc8e6	e8a7298c53cdc8e6	eq	eq	eq	a'	a'	-	11.2
+23	1	1	b06294482df9d6e5	b06294482df9d6e5	eq	eq	eq	a	a	-	11.0
+24	0	0	42f914c0c4a1956e	42f914c0c4a1956e	eq	eq	eq	-	-	-	10.9
+21	1	1	0675e51502e49859	0675e51502e49859	eq	eq	eq	a'	a'	-	11.4
+33	2	2	b5611fb76ecfd9ba	b5611fb76ecfd9ba	eq	eq	eq	a',a'	a',a'	-	6.4
+25	0	0	2e5539d816afe429	2e5539d816afe429	eq	eq	eq	-	-	-	11.3
+26	0	0	90d05d2d0779e985	90d05d2d0779e985	eq	eq	eq	-	-	-	11.4
+32	0	0	d75ee29fe903753f	d75ee29fe903753f	eq	eq	eq	-	-	-	8.4
+27	6	6	c37dd50f9b2fcd1a	c37dd50f9b2fcd1a	eq	eq	eq	a',a',a,a',a',a'	a',a',a,a',a',a'	-	11.2
+30	11	11	177dcc153fa1c245	177dcc153fa1c245	eq	eq	eq	b,c-saturated,a,b,a',a',a,a',a',a',a'	b,c-saturated,a,b,a',a',a,a',a',a',a'	-	11.0
+29	5	5	f394ea655a7c76c3	f394ea655a7c76c3	eq	eq	eq	a,a',b,a',a'	a,a',b,a',a'	-	11.6
+31	0	0	95f39794439ab64a	95f39794439ab64a	eq	eq	eq	-	-	-	11.5
+34	0	0	20810ad35dfa16d7	20810ad35dfa16d7	eq	eq	eq	-	-	-	11.2
+35	6	6	dd8c82a556eafb41	dd8c82a556eafb41	eq	eq	eq	a',a',a,a',a',a'	a',a',a,a',a',a'	-	11.3
+37	2	2	c77d053eade8de4e	c77d053eade8de4e	eq	eq	eq	a',a'	a',a'	-	11.0
+36	1	1	ee7aba00b4e1df5d	ee7aba00b4e1df5d	eq	eq	eq	a'	a'	-	11.4
+38	1	1	404ada7a4dcfbec8	404ada7a4dcfbec8	eq	eq	eq	a'	a'	-	11.5
+40	0	0	5e68b1e74a26403c	5e68b1e74a26403c	eq	eq	eq	-	-	-	11.3
+39	0	0	43d10d26f0bf393c	43d10d26f0bf393c	eq	eq	eq	-	-	-	11.9
+43	0	0	58b368af89b1e72c	58b368af89b1e72c	eq	eq	eq	-	-	-	11.2
+42	6	6	a96744f3c4908417	a96744f3c4908417	eq	eq	eq	a',a',a',a',a',a'	a',a',a',a',a',a'	-	11.9
+44	0	0	136eea7d9b75afc7	136eea7d9b75afc7	eq	eq	eq	-	-	-	11.5
+45	5	5	a5546f05d607fcde	a5546f05d607fcde	eq	eq	eq	b,a,a',a',a'	b,a,a',a',a'	-	11.7
+46	0	0	bda818fa9c9f1be2	bda818fa9c9f1be2	eq	eq	eq	-	-	-	11.3
+47	8	8	6d90f44f54550eb3	6d90f44f54550eb3	eq	eq	eq	a',a',a',a',a',a',a',a'	a',a',a',a',a',a',a',a'	-	11.6
+48	0	0	c6fe0c06f1b4828c	c6fe0c06f1b4828c	eq	eq	eq	-	-	-	11.2
+49	0	0	00597bc8e6261fca	00597bc8e6261fca	eq	eq	eq	-	-	-	11.2
+28	7	7	45d98252b29464b1	45d98252b29464b1	eq	eq	eq	a',a',a',a',a',c'',a	a',a',a',a',a',c'',a	-	27.6
+50	1	1	9077cafa12f5e32b	9077cafa12f5e32b	eq	eq	eq	b	b	-	11.1
+51	13	13	9b2c5a4d3661612b	9b2c5a4d3661612b	eq	eq	eq	a',a',a',a',a',a',a',a',a',a',a',a',a'	a',a',a',a',a',a',a',a',a',a',a',a',a'	-	11.3
+52	3	3	14f48bec6a871ccc	14f48bec6a871ccc	eq	eq	eq	a',a',a'	a',a',a'	-	11.4
+54	10	10	36f1e5de899f6691	36f1e5de899f6691	eq	eq	eq	a',a',a',a,a',a',a',a',a',a'	a',a',a',a,a',a',a',a',a',a'	-	11.2
+53	4	4	432df32903d6980d	432df32903d6980d	eq	eq	eq	a',a',a',a	a',a',a',a	-	11.7
+55	0	0	6fa2b637b52fb68d	6fa2b637b52fb68d	eq	eq	eq	-	-	-	11.5
+56	1	1	79286d88cc4599ae	79286d88cc4599ae	eq	eq	eq	a'	a'	-	11.1
+58	1	1	fd45565ca93a3ef3	fd45565ca93a3ef3	eq	eq	eq	a'	a'	-	11.3
+59	2	2	e6047ae61921f266	e6047ae61921f266	eq	eq	eq	a',a'	a',a'	-	11.5
+62	4	4	990884d46f8fe8e6	990884d46f8fe8e6	eq	eq	eq	a',a',a',a	a',a',a',a	-	11.5
+61	1	1	0fcaecf225f109e9	0fcaecf225f109e9	eq	eq	eq	a'	a'	-	11.6
+60	2	2	86ce043937295780	86ce043937295780	eq	eq	eq	a',a	a',a	-	12.2
+41	5	5	424e2ec2b1b7fcf0	424e2ec2b1b7fcf0	eq	eq	eq	b,a',a',a',c''	b,a',a',a',c''	-	27.3
+63	2	2	8bd86e0959305976	8bd86e0959305976	eq	eq	eq	a',a'	a',a'	-	11.5
+64	1	1	50659877be06bb8c	50659877be06bb8c	eq	eq	eq	a'	a'	-	11.1
+65	2	2	93c6b96b7ddfc12d	93c6b96b7ddfc12d	eq	eq	eq	a',a'	a',a'	-	11.7
+66	5	5	6cc975c4bf4ce192	6cc975c4bf4ce192	eq	eq	eq	a',a',a',a',a'	a',a',a',a',a'	-	11.4
+67	1	1	3bdeb8697d005adb	3bdeb8697d005adb	eq	eq	eq	a'	a'	-	11.1
+68	0	0	1c1ad7467a56fb6f	1c1ad7467a56fb6f	eq	eq	eq	-	-	-	11.3
+69	3	3	230a9a932c40d7f5	230a9a932c40d7f5	eq	eq	eq	a',a',a'	a',a',a'	-	11.2
+70	4	4	af25eba847145647	af25eba847145647	eq	eq	eq	a',a',a',a'	a',a',a',a'	-	11.3
+71	6	6	704a52493c76ebbc	704a52493c76ebbc	eq	eq	eq	a,a,b,a',a',a'	a,a,b,a',a',a'	-	10.9
+72	3	3	e526948b6bce93cd	e526948b6bce93cd	eq	eq	eq	a',a',a'	a',a',a'	-	11.1
+73	2	2	9a96519cc6e12cb6	9a96519cc6e12cb6	eq	eq	eq	a',a'	a',a'	-	11.6
+75	3	3	91bb7d5f902a269b	91bb7d5f902a269b	eq	eq	eq	a',a',a'	a',a',a'	-	11.1
+74	10	10	08c3c48b4cd5816f	08c3c48b4cd5816f	eq	eq	eq	a',a',a',a,a',a,a',a',a,a'	a',a',a',a,a',a,a',a',a,a'	-	11.3
+76	1	1	2fb168cb16b9cfef	2fb168cb16b9cfef	eq	eq	eq	a'	a'	-	11.4
+77	1	1	c5e6f34377149394	c5e6f34377149394	eq	eq	eq	a'	a'	-	11.3
+57	8	8	861dadb0575b868e	861dadb0575b868e	eq	eq	eq	a',a',a',c'',a,a',a',a	a',a',a',c'',a,a',a',a	-	26.6
+79	3	3	47912d27d52001c2	47912d27d52001c2	eq	eq	eq	a',a',a'	a',a',a'	-	11.0
+82	6	6	f4c340e4e28d7642	f4c340e4e28d7642	eq	eq	eq	a,a',a',a,a',a'	a,a',a',a,a',a'	-	10.2
+80	8	8	b2626c73cf2b396d	b2626c73cf2b396d	eq	eq	eq	a',a',a',a,a',a',a',a'	a',a',a',a,a',a',a',a'	-	11.3
+81	1	1	ea828c5e4ff3a83e	ea828c5e4ff3a83e	eq	eq	eq	a'	a'	-	10.6
+83	0	0	bd905dec0cbaa51c	bd905dec0cbaa51c	eq	eq	eq	-	-	-	9.8
+84	0	0	8fd94c27f16f4a9a	8fd94c27f16f4a9a	eq	eq	eq	-	-	-	9.8
+85	3	3	95d94ac8be402270	95d94ac8be402270	eq	eq	eq	a',a',a'	a',a',a'	-	9.7
+86	6	6	4705671659c97d04	4705671659c97d04	eq	eq	eq	a',a',a',a',a',a'	a',a',a',a',a',a'	-	9.5
+90	0	0	f6a9ec289f888e6e	f6a9ec289f888e6e	eq	eq	eq	-	-	-	7.1
+93	0	0	bb4d5cf06e14cc3f	bb4d5cf06e14cc3f	eq	eq	eq	-	-	-	6.5
+92	0	0	aa90796d5208bc43	aa90796d5208bc43	eq	eq	eq	-	-	-	7.2
+88	1	1	a247676b07237c08	a247676b07237c08	eq	eq	eq	a'	a'	-	10.3
+89	1	1	70ba3a46a66dca9a	70ba3a46a66dca9a	eq	eq	eq	a'	a'	-	10.5
+96	1	1	d41ff79578148173	d41ff79578148173	eq	eq	eq	a'	a'	-	5.6
+97	1	1	c00077640a7cbe3b	c00077640a7cbe3b	eq	eq	eq	a'	a'	-	5.7
+91	2	2	97fdb828c8784a5f	97fdb828c8784a5f	eq	eq	eq	a',a'	a',a'	-	10.5
+95	2	2	f79e320654a3f1b8	f79e320654a3f1b8	eq	eq	eq	a',a'	a',a'	-	6.0
+98	0	0	cd8cd42c696b15dc	cd8cd42c696b15dc	eq	eq	eq	-	-	-	5.8
+99	2	2	03b7e54d65222248	03b7e54d65222248	eq	eq	eq	a',a'	a',a'	-	5.7
+100	6	6	51a7f11f7805a143	51a7f11f7805a143	eq	eq	eq	b,a',a',a',a',a'	b,a',a',a',a',a'	-	5.6
+78	6	6	d823f3125973d282	d823f3125973d282	eq	eq	eq	a',a',a',b,c'',a'	a',a',a',b,c'',a'	-	19.4
+101	0	0	ef000ce675b00817	ef000ce675b00817	eq	eq	eq	-	-	-	5.5
+102	2	2	baa46088d508add0	baa46088d508add0	eq	eq	eq	a',a'	a',a'	-	5.6
+94	0	0	4425870f81cfb35c	4425870f81cfb35c	eq	eq	eq	-	-	-	10.1
+103	2	2	de6485b853fc0d14	de6485b853fc0d14	eq	eq	eq	a',a	a',a	-	5.7
+104	1	1	1fbfcbdfed405b4c	1fbfcbdfed405b4c	eq	eq	eq	a'	a'	-	5.8
+87	3	3	b5d8914b19b97669	b5d8914b19b97669	eq	eq	eq	a',a',c''	a',a',c''	-	16.5
+107	0	0	26cd2780c5338276	26cd2780c5338276	eq	eq	eq	-	-	-	5.7
+108	3	3	8afcaeaf301ee2b5	8afcaeaf301ee2b5	eq	eq	eq	a',a',a'	a',a',a'	-	5.7
+111	0	0	4ffcbcadcada9074	4ffcbcadcada9074	eq	eq	eq	-	-	-	5.6
+110	0	0	49e7653ee951319e	49e7653ee951319e	eq	eq	eq	-	-	-	5.7
+112	0	0	6aad652d3e6f426d	6aad652d3e6f426d	eq	eq	eq	-	-	-	5.6
+115	0	0	1c03d197d407d07b	1c03d197d407d07b	eq	eq	eq	-	-	-	5.4
+113	1	1	9ed7c2e0afc7acf9	9ed7c2e0afc7acf9	eq	eq	eq	a'	a'	-	5.8
+114	2	2	1e62b5fb6d8511ea	1e62b5fb6d8511ea	eq	eq	eq	a',a'	a',a'	-	5.9
+116	1	1	c5d501abf6c69ce1	c5d501abf6c69ce1	eq	eq	eq	a'	a'	-	5.7
+118	0	0	b484b853d75adfff	b484b853d75adfff	eq	eq	eq	-	-	-	5.7
+105	7	7	bcf8d1662b49096d	bcf8d1662b49096d	eq	eq	eq	a',a',a',a',a',a',a	a',a',a',a',a',a',a	-	10.0
+119	2	2	fbb4e32f9347f4ba	fbb4e32f9347f4ba	eq	eq	eq	a',a'	a',a'	-	5.7
+106	2	2	83bfa79b88cc3659	83bfa79b88cc3659	eq	eq	eq	a',a'	a',a'	-	10.0
+120	0	0	77527c2199a991fa	77527c2199a991fa	eq	eq	eq	-	-	-	5.6
+109	0	0	cd8c4f7f87b9ffd4	cd8c4f7f87b9ffd4	eq	eq	eq	-	-	-	10.3
+121	3	3	ab62a540cd35e836	ab62a540cd35e836	eq	eq	eq	a',a',a'	a',a',a'	-	5.7
+123	0	0	3239da4274ac55f4	3239da4274ac55f4	eq	eq	eq	-	-	-	5.6
+122	2	2	340c09541ab72959	340c09541ab72959	eq	eq	eq	a,a'	a,a'	-	5.8
+125	2	2	2915b08d7ee207fa	2915b08d7ee207fa	eq	eq	eq	a',c-constbit	a',c-constbit	-	5.8
+126	10	10	51d2347a061006ab	51d2347a061006ab	eq	eq	eq	a',a',a,a',a',a',a',a',a',a'	a',a',a,a',a',a',a',a',a',a'	-	5.6
+124	9	9	d21a76012f7c3afd	d21a76012f7c3afd	eq	eq	eq	a',a,a',a',b,a',a',a',a'	a',a,a',a',b,a',a',a',a'	-	6.3
+127	4	4	b5f76a212c7f66be	b5f76a212c7f66be	eq	eq	eq	a',a',a',a'	a',a',a',a'	-	5.9
+128	2	2	dbab82e2ce561df3	dbab82e2ce561df3	eq	eq	eq	a',a'	a',a'	-	5.8
+117	1	1	aafd9ad837186eb7	aafd9ad837186eb7	eq	eq	eq	a'	a'	-	10.1
+129	1	1	63a7a2c4772f0864	63a7a2c4772f0864	eq	eq	eq	a'	a'	-	5.6
+130	0	0	c28701647ee05522	c28701647ee05522	eq	eq	eq	-	-	-	5.6
+132	0	0	62ede17ae27b52fb	62ede17ae27b52fb	eq	eq	eq	-	-	-	5.7
+134	7	7	7bbfd39ef4282ebe	7bbfd39ef4282ebe	eq	eq	eq	a',a',a',a',a',a',a'	a',a',a',a',a',a',a'	-	5.7
+136	1	1	d28038085b7e0e29	d28038085b7e0e29	eq	eq	eq	a'	a'	-	5.4
+138	0	0	c015c0ad2bf711d9	c015c0ad2bf711d9	eq	eq	eq	-	-	-	5.6
+137	8	8	60b723e1e9317f6b	60b723e1e9317f6b	eq	eq	eq	a',a',a',a',a,a',a',a'	a',a',a',a',a,a',a',a'	-	6.0
+139	0	0	e08b20a7eca1758f	e08b20a7eca1758f	eq	eq	eq	-	-	-	5.8
+140	2	2	94685c1c6bd26808	94685c1c6bd26808	eq	eq	eq	a',a'	a',a'	-	5.7
+141	1	1	43f5cd2b3393111b	43f5cd2b3393111b	eq	eq	eq	a'	a'	-	5.5
+143	0	0	2a3945a06b2423d5	2a3945a06b2423d5	eq	eq	eq	-	-	-	5.6
+142	1	1	7ec0dadeb56e5265	7ec0dadeb56e5265	eq	eq	eq	a'	a'	-	5.9
+145	1	1	c975aea6fcb6e297	c975aea6fcb6e297	eq	eq	eq	a'	a'	-	5.8
+133	0	0	3337caaf8883d14b	3337caaf8883d14b	eq	eq	eq	-	-	-	9.6
+131	0	0	c752be2419d2181d	c752be2419d2181d	eq	eq	eq	-	-	-	10.3
+146	0	0	2af8da73b283eefa	2af8da73b283eefa	eq	eq	eq	-	-	-	5.5
+135	4	4	64548ef9b2945b80	64548ef9b2945b80	eq	eq	eq	a',a',a',a'	a',a',a',a'	-	9.4
+147	0	0	6a1c15caaedae11e	6a1c15caaedae11e	eq	eq	eq	-	-	-	5.7
+148	0	0	94a55fefd69c5864	94a55fefd69c5864	eq	eq	eq	-	-	-	5.7
+149	2	2	b712d99e7d073a50	b712d99e7d073a50	eq	eq	eq	a',a'	a',a'	-	5.7
+144	2	2	d5daaffff9c45719	d5daaffff9c45719	eq	eq	eq	b,a'	b,a'	-	9.9
+151	6	6	f0eee40932b39d15	f0eee40932b39d15	eq	eq	eq	a',a',a',a',a',a'	a',a',a',a',a',a'	-	5.7
+150	4	4	888b6730b514d81c	888b6730b514d81c	eq	eq	eq	a',a',a',a'	a',a',a',a'	-	6.1
+153	1	1	5739ff38ac0ddd18	5739ff38ac0ddd18	eq	eq	eq	a'	a'	-	5.6
+154	1	1	50f2fa864fbeac47	50f2fa864fbeac47	eq	eq	eq	a'	a'	-	5.7
+152	0	0	b899ad1b940d7731	b899ad1b940d7731	eq	eq	eq	-	-	-	6.0
+155	6	6	693aadba2850f312	693aadba2850f312	eq	eq	eq	a',a',a',a,a',a	a',a',a',a,a',a	-	5.8
+156	8	8	8bff7cf8a6fb91a3	8bff7cf8a6fb91a3	eq	eq	eq	a',a',a',a',a',a',a,a'	a',a',a',a',a',a',a,a'	-	5.8
+157	2	2	e9de7d04a3c49d9c	e9de7d04a3c49d9c	eq	eq	eq	a',a'	a',a'	-	5.6
+160	1	1	48a28a24fad345fc	48a28a24fad345fc	eq	eq	eq	a'	a'	-	5.5
+162	1	1	22d861a141062647	22d861a141062647	eq	eq	eq	a'	a'	-	5.6
+164	3	3	e8549bc09ec35740	e8549bc09ec35740	eq	eq	eq	a',a',a	a',a',a	-	5.8
+166	1	1	5ffabae17e16a925	5ffabae17e16a925	eq	eq	eq	a'	a'	-	5.5
+168	1	1	9090f07d861918e7	9090f07d861918e7	eq	eq	eq	a'	a'	-	5.5
+169	2	2	dfff734327cf72b0	dfff734327cf72b0	eq	eq	eq	a',a'	a',a'	-	5.6
+167	0	0	92af9c2f53c1ab38	92af9c2f53c1ab38	eq	eq	eq	-	-	-	5.9
+158	0	0	3f0c912a49dfe915	3f0c912a49dfe915	eq	eq	eq	-	-	-	10.2
+159	1	1	72f1bdc701dbcf02	72f1bdc701dbcf02	eq	eq	eq	a'	a'	-	10.2
+170	6	6	7d9bfb3293081058	7d9bfb3293081058	eq	eq	eq	a,a',a',a',a',a'	a,a',a',a',a',a'	-	6.0
+171	2	2	51f7f0c7020107fa	51f7f0c7020107fa	eq	eq	eq	a',a'	a',a'	-	5.8
+161	12	12	6ee571eb380ce96e	6ee571eb380ce96e	eq	eq	eq	a,a',a',a',a',a',a',a,a',a',a',a'	a,a',a',a',a',a',a',a,a',a',a',a'	-	10.1
+173	2	2	429099b13e20c72c	429099b13e20c72c	eq	eq	eq	a',a'	a',a'	-	5.5
+174	1	1	92b80501a503cdc4	92b80501a503cdc4	eq	eq	eq	a'	a'	-	5.6
+175	1	1	ab08135c32d6dd4d	ab08135c32d6dd4d	eq	eq	eq	a'	a'	-	5.9
+165	9	9	7d2a063a01f8c52a	7d2a063a01f8c52a	eq	eq	eq	a',a',a,a',a',a',a',a',a'	a',a',a,a',a',a',a',a',a'	-	10.0
+176	0	0	27d69ccadbaa241d	27d69ccadbaa241d	eq	eq	eq	-	-	-	5.5
+177	4	4	f9d79e322f151df4	f9d79e322f151df4	eq	eq	eq	a,a',a',a'	a,a',a',a'	-	5.6
+163	2	2	90df908d5da872ec	90df908d5da872ec	eq	eq	eq	c'',a'	c'',a'	-	13.3
+178	1	1	0ae9d715233f6dfb	0ae9d715233f6dfb	eq	eq	eq	a'	a'	-	5.8
+180	1	1	dccdfb3fda72b7f4	dccdfb3fda72b7f4	eq	eq	eq	a'	a'	-	5.8
+179	2	2	e406e5498b6e386a	e406e5498b6e386a	eq	eq	eq	a,a'	a,a'	-	6.0
+184	1	1	dbdf339f25a99375	dbdf339f25a99375	eq	eq	eq	a'	a'	-	5.5
+183	2	2	524ee490a119cd54	524ee490a119cd54	eq	eq	eq	a',a'	a',a'	-	5.6
+186	1	1	1cf284a3e8e99a3a	1cf284a3e8e99a3a	eq	eq	eq	a	a	-	5.7
+187	0	0	230b6fbc905bd48f	230b6fbc905bd48f	eq	eq	eq	-	-	-	5.7
+172	2	2	4c05cb760c438608	4c05cb760c438608	eq	eq	eq	c'',a'	c'',a'	-	13.7
+188	1	1	e50685f37822e0e0	e50685f37822e0e0	eq	eq	eq	a'	a'	-	5.6
+190	1	1	63d722a87ea9abb9	63d722a87ea9abb9	eq	eq	eq	a'	a'	-	5.6
+182	2	2	a7ccb2e17d73dd8f	a7ccb2e17d73dd8f	eq	eq	eq	a',a'	a',a'	-	9.9
+181	0	0	110bd7f3b3616a98	110bd7f3b3616a98	eq	eq	eq	-	-	-	10.2
+191	0	0	aed82c7e73c58858	aed82c7e73c58858	eq	eq	eq	-	-	-	5.6
+185	1	1	9317d08960ced40c	9317d08960ced40c	eq	eq	eq	a'	a'	-	9.9
+192	0	0	a361d1e35903705d	a361d1e35903705d	eq	eq	eq	-	-	-	5.8
+193	4	4	3b95130389ee1046	3b95130389ee1046	eq	eq	eq	a',b,a',a'	a',b,a',a'	-	5.9
+194	0	0	a1d91627d438bd85	a1d91627d438bd85	eq	eq	eq	-	-	-	5.7
+195	3	3	ec55dc3f6d0f7474	ec55dc3f6d0f7474	eq	eq	eq	a',a',a	a',a',a	-	5.6
+196	0	0	3e55c710102a29ab	3e55c710102a29ab	eq	eq	eq	-	-	-	5.6
+197	1	1	3b37840c5f6dc04f	3b37840c5f6dc04f	eq	eq	eq	a'	a'	-	5.8
+199	2	2	c1e38354b1f70ee4	c1e38354b1f70ee4	eq	eq	eq	a,a'	a,a'	-	5.5
+189	8	8	b95254d3b24eb4ff	b95254d3b24eb4ff	eq	eq	eq	a',a',a',a',a',a,a',a'	a',a',a',a',a',a,a',a'	-	10.3
+200	0	0	c8900d0b5e5fcb29	c8900d0b5e5fcb29	eq	eq	eq	-	-	-	5.9
+201	1	1	344a95f9453267f7	344a95f9453267f7	eq	eq	eq	a'	a'	-	6.0
+202	0	0	4fc537bf4aeeb679	4fc537bf4aeeb679	eq	eq	eq	-	-	-	5.7
+205	2	2	73e0ba129918b212	73e0ba129918b212	eq	eq	eq	a',a'	a',a'	-	5.8
+207	2	2	28273710491032e1	28273710491032e1	eq	eq	eq	a,a'	a,a'	-	5.7
+208	4	4	129745e59edf8082	129745e59edf8082	eq	eq	eq	a,a',a',a'	a,a',a',a'	-	5.8
+211	3	3	1c968baadeb0cd99	1c968baadeb0cd99	eq	eq	eq	a',a',a'	a',a',a'	-	5.5
+210	0	0	4499c61fd509e92d	4499c61fd509e92d	eq	eq	eq	-	-	-	5.8
+212	0	0	e0f9c0b1e40ac069	e0f9c0b1e40ac069	eq	eq	eq	-	-	-	5.7
+213	0	0	4ab4fcc133482293	4ab4fcc133482293	eq	eq	eq	-	-	-	5.5
+198	3	3	108cac4c6688638c	108cac4c6688638c	eq	eq	eq	c'',a',a	c'',a',a	-	13.3
+215	2	2	814a1134be304d70	814a1134be304d70	eq	eq	eq	a',a'	a',a'	-	5.8
+216	7	7	36d5d073b8008d64	36d5d073b8008d64	eq	eq	eq	a',a',a',a',a',a,a'	a',a',a',a',a',a,a'	-	5.8
+204	6	6	dc9f3dda5895b25e	dc9f3dda5895b25e	eq	eq	eq	a',b,a',a',a',a'	a',b,a',a',a',a'	-	10.0
+203	2	2	297a52ca496e423d	297a52ca496e423d	eq	eq	eq	a',a'	a',a'	-	10.3
+206	6	6	d6e9de898817f203	d6e9de898817f203	eq	eq	eq	a',a',a',a',a',a	a',a',a',a',a',a	-	9.9
+217	2	2	56f3f778824c5d99	56f3f778824c5d99	eq	eq	eq	a',a'	a',a'	-	5.6
+218	2	2	0c46f09e40e2d5fb	0c46f09e40e2d5fb	eq	eq	eq	a',a'	a',a'	-	5.6
+219	0	0	91b3b861f2a317e5	91b3b861f2a317e5	eq	eq	eq	-	-	-	5.7
+221	0	0	3b6662d3b011474a	3b6662d3b011474a	eq	eq	eq	-	-	-	5.7
+220	0	0	63131ab6fe1ea281	63131ab6fe1ea281	eq	eq	eq	-	-	-	5.8
+222	0	0	e6e5efaf9c73bc00	e6e5efaf9c73bc00	eq	eq	eq	-	-	-	5.7
+223	1	1	b9fe26eaad7835ce	b9fe26eaad7835ce	eq	eq	eq	a	a	-	5.8
+224	19	19	bfd9522b05bf1b3e	bfd9522b05bf1b3e	eq	eq	eq	a',b,a',a',a',a',a',a',a',a,a',a',a',a,a',a',a',a',a'	a',b,a',a',a',a',a',a',a',a,a',a',a',a,a',a',a',a',a'	-	5.9
+214	0	0	a1339b3a1b6abbf4	a1339b3a1b6abbf4	eq	eq	eq	-	-	-	10.5
+209	3	3	7bdaae2b7cc7286c	7bdaae2b7cc7286c	eq	eq	eq	a',a',c''	a',a',c''	-	13.9
+226	1	1	7b2380f5f194e51b	7b2380f5f194e51b	eq	eq	eq	a'	a'	-	5.5
+225	0	0	731b4565be815b64	731b4565be815b64	eq	eq	eq	-	-	-	5.9
+227	3	3	a128d1e33646e3e2	a128d1e33646e3e2	eq	eq	eq	a',a',a'	a',a',a'	-	5.6
+231	2	2	4624798875ae5b7e	4624798875ae5b7e	eq	eq	eq	a',a'	a',a'	-	5.9
+232	0	0	1b58217fdba915f6	1b58217fdba915f6	eq	eq	eq	-	-	-	5.8
+233	2	2	ac3a2b140ce4f739	ac3a2b140ce4f739	eq	eq	eq	a',a'	a',a'	-	5.6
+234	2	2	ac4fab3038eb5efc	ac4fab3038eb5efc	eq	eq	eq	a',a'	a',a'	-	5.5
+235	3	3	56c46b8581509dc0	56c46b8581509dc0	eq	eq	eq	b,a',a'	b,a',a'	-	5.5
+237	0	0	feb22479e9021ee2	feb22479e9021ee2	eq	eq	eq	-	-	-	5.5
+236	2	2	69f2ce1e954bbb80	69f2ce1e954bbb80	eq	eq	eq	a',a'	a',a'	-	5.8
+238	0	0	5dea9a8256b05609	5dea9a8256b05609	eq	eq	eq	-	-	-	5.6
+228	9	9	8fc5ba7a06cff0ec	8fc5ba7a06cff0ec	eq	eq	eq	a',a',a',a',a,a',a',a',a'	a',a',a',a',a,a',a',a',a'	-	10.3
+229	2	2	d8e0702155e9bbd7	d8e0702155e9bbd7	eq	eq	eq	a,a'	a,a'	-	10.2
+240	4	4	f527bd3aed104be1	f527bd3aed104be1	eq	eq	eq	a',a',a,a'	a',a',a,a'	-	5.7
+230	8	8	9840ac0c082a031e	9840ac0c082a031e	eq	eq	eq	a',a',a',a',a',a,a',a'	a',a',a',a',a',a,a',a'	-	10.5
+241	4	4	329f92d933108c0d	329f92d933108c0d	eq	eq	eq	a',a,a,a'	a',a,a,a'	-	5.8
+242	5	5	1a38af0914d18c05	1a38af0914d18c05	eq	eq	eq	a',a',a',a',a'	a',a',a',a',a'	-	5.6
+243	9	9	702bb744d09a2b28	702bb744d09a2b28	eq	eq	eq	a,a',a',a',b,a',a',a',a	a,a',a',a',b,a',a',a',a	-	5.7
+244	0	0	0aaf7dd1bfcd27a2	0aaf7dd1bfcd27a2	eq	eq	eq	-	-	-	5.6
+245	0	0	d6fb0aff490821f2	d6fb0aff490821f2	eq	eq	eq	-	-	-	5.7
+247	4	4	329eb3aa77482e1b	329eb3aa77482e1b	eq	eq	eq	a',a,a',a'	a',a,a',a'	-	5.6
+246	0	0	3d944e6713d7e811	3d944e6713d7e811	eq	eq	eq	-	-	-	5.7
+248	2	2	bae30844a6e1e507	bae30844a6e1e507	eq	eq	eq	a',a'	a',a'	-	5.6
+239	0	0	689e2bf18ec8e5f0	689e2bf18ec8e5f0	eq	eq	eq	-	-	-	10.0
+250	0	0	83d24f7376662262	83d24f7376662262	eq	eq	eq	-	-	-	5.8
+249	1	1	c50ede4b615bf73e	c50ede4b615bf73e	eq	eq	eq	a'	a'	-	6.1
+251	3	3	8c2243907c0d74ee	8c2243907c0d74ee	eq	eq	eq	a',a',a'	a',a',a'	-	5.8
+254	1	1	0150e4fbf57f331e	0150e4fbf57f331e	eq	eq	eq	b	b	-	5.9
+257	1	1	f57305b52a125456	f57305b52a125456	eq	eq	eq	a'	a'	-	6.0
+258	0	0	38faab15c36a2f79	38faab15c36a2f79	eq	eq	eq	-	-	-	6.0
+259	1	1	dcc5a6e0d3d158db	dcc5a6e0d3d158db	eq	eq	eq	a'	a'	-	5.8
+261	0	0	fcaec8651a039eda	fcaec8651a039eda	eq	eq	eq	-	-	-	5.5
+260	3	3	090afb91bb44e32e	090afb91bb44e32e	eq	eq	eq	a,a',c-constbit	a,a',c-constbit	-	6.1
+262	8	8	bb8c4428c5dad0c9	bb8c4428c5dad0c9	eq	eq	eq	a',a',a',a',a',a',a',a'	a',a',a',a',a',a',a',a'	-	6.1
+265	0	0	db9fe6536cc3d30c	db9fe6536cc3d30c	eq	eq	eq	-	-	-	5.4
+266	0	0	125730bb81e603f1	125730bb81e603f1	eq	eq	eq	-	-	-	5.6
+252	0	0	1b0a52e6cda60c38	1b0a52e6cda60c38	eq	eq	eq	-	-	-	10.1
+253	0	0	2252c9e3655d1f36	2252c9e3655d1f36	eq	eq	eq	-	-	-	10.4
+267	2	2	8c485d01356a3d35	8c485d01356a3d35	eq	eq	eq	a',b	a',b	-	5.8
+255	3	3	8e4444685740f836	8e4444685740f836	eq	eq	eq	a,a',a'	a,a',a'	-	10.5
+268	0	0	60af7738dc732752	60af7738dc732752	eq	eq	eq	-	-	-	6.1
+269	1	1	fd8bf4df846c42cd	fd8bf4df846c42cd	eq	eq	eq	a'	a'	-	5.7
+270	1	1	58d9a41c2feb65f6	58d9a41c2feb65f6	eq	eq	eq	a'	a'	-	5.7
+271	0	0	a1587ac9a79aeb57	a1587ac9a79aeb57	eq	eq	eq	-	-	-	5.5
+264	2	2	8e882a7f35b4fcde	8e882a7f35b4fcde	eq	eq	eq	a',a	a',a	-	10.4
+272	1	1	274d44070152ad6c	274d44070152ad6c	eq	eq	eq	a'	a'	-	5.6
+256	5	5	88d207d35ab37e6b	88d207d35ab37e6b	eq	eq	eq	a',a',a',c-distinct,a'	a',a',a',c-distinct,a'	-	13.6
+273	14	14	d22e26ede400c6a6	d22e26ede400c6a6	eq	eq	eq	a',a',a',a',a',a',a',b,a',a',a,a',a',a	a',a',a',a',a',a',a',b,a',a',a,a',a',a	-	5.7
+274	2	2	0b8cc98a78459d69	0b8cc98a78459d69	eq	eq	eq	a',a	a',a	-	6.1
+275	3	3	9a0daa2901721dde	9a0daa2901721dde	eq	eq	eq	a',a',a	a',a',a	-	6.2
+276	2	2	5f6865d43e1e0ca7	5f6865d43e1e0ca7	eq	eq	eq	a,a'	a,a'	-	6.0
+263	1	1	c2a77a9edcf6464d	c2a77a9edcf6464d	eq	eq	eq	c''	c''	-	13.0
+279	0	0	cc9d06e4bb21702e	cc9d06e4bb21702e	eq	eq	eq	-	-	-	5.9
+281	0	0	c06dbbef348857f6	c06dbbef348857f6	eq	eq	eq	-	-	-	5.6
+282	0	0	19ad7033be33a3ac	19ad7033be33a3ac	eq	eq	eq	-	-	-	5.7
+283	5	5	0a6879e530e6564c	0a6879e530e6564c	eq	eq	eq	a',a',a',a,a'	a',a',a',a,a'	-	5.5
+284	7	7	31faf836a5f4d6db	31faf836a5f4d6db	eq	eq	eq	a,a',a',a',a',a',a'	a,a',a',a',a',a',a'	-	5.9
+287	0	0	f25078994a17e0eb	f25078994a17e0eb	eq	eq	eq	-	-	-	5.8
+277	0	0	5b404032ff2d303e	5b404032ff2d303e	eq	eq	eq	-	-	-	10.0
+286	0	0	5226142b6483cef7	5226142b6483cef7	eq	eq	eq	-	-	-	5.9
+288	6	6	684f49ba168cc9c5	684f49ba168cc9c5	eq	eq	eq	a',a',a,a,a',a'	a',a',a,a,a',a'	-	5.5
+289	1	1	c6cc289b01ea37b4	c6cc289b01ea37b4	eq	eq	eq	a'	a'	-	5.6
+290	0	0	904229de5249b7e3	904229de5249b7e3	eq	eq	eq	-	-	-	5.5
+291	2	2	930b696fd76e4147	930b696fd76e4147	eq	eq	eq	a',a'	a',a'	-	5.7
+292	3	3	1cc54a9af7b9db87	1cc54a9af7b9db87	eq	eq	eq	a',a',a'	a',a',a'	-	5.6
+293	0	0	0c4267dba804c57c	0c4267dba804c57c	eq	eq	eq	-	-	-	5.8
+294	3	3	2cb1c51d4127a177	2cb1c51d4127a177	eq	eq	eq	a',a',a	a',a',a	-	5.8
+295	6	6	db574922815468dd	db574922815468dd	eq	eq	eq	a',a,b,a',a',a'	a',a,b,a',a',a'	-	5.6
+296	4	4	48246ef302bc75ee	48246ef302bc75ee	eq	eq	eq	a',a',a',a'	a',a',a',a'	-	5.5
+285	4	4	c7deddb21dd9f5ec	c7deddb21dd9f5ec	eq	eq	eq	a,a',a',a'	a,a',a',a'	-	9.8
+297	0	0	64c6d13c36f537c4	64c6d13c36f537c4	eq	eq	eq	-	-	-	5.8
+300	6	6	a21d06e01d1f6c02	a21d06e01d1f6c02	eq	eq	eq	a',a',a',a',a',a'	a',a',a',a',a',a'	-	5.6
+301	1	1	eb98de42c750d368	eb98de42c750d368	eq	eq	eq	a'	a'	-	5.7
+298	2	2	f3b07ae30db002d5	f3b07ae30db002d5	eq	eq	eq	c-saturated,a'	c-saturated,a'	-	5.8
+302	1	1	3439732c476ba228	3439732c476ba228	eq	eq	eq	b	b	-	5.8
+303	0	0	a029794a03e19881	a029794a03e19881	eq	eq	eq	-	-	-	5.9
+304	1	1	2debe017ad17ab27	2debe017ad17ab27	eq	eq	eq	a'	a'	-	5.7
+305	3	3	c100ca8793eee571	c100ca8793eee571	eq	eq	eq	a',a',a'	a',a',a'	-	5.9
+306	0	0	71d19a268c2ec429	71d19a268c2ec429	eq	eq	eq	-	-	-	5.7
+309	1	1	9ed74b96df211eb3	9ed74b96df211eb3	eq	eq	eq	a'	a'	-	5.5
+308	1	1	918f388d480d7ab5	918f388d480d7ab5	eq	eq	eq	a'	a'	-	5.5
+307	5	5	52841e72f4a3068a	52841e72f4a3068a	eq	eq	eq	a',a',a',a',a'	a',a',a',a',a'	-	5.8
+299	0	0	3f6b74cdc07fd213	3f6b74cdc07fd213	eq	eq	eq	-	-	-	10.5
+311	11	11	ddf286ac1d9ae1ea	ddf286ac1d9ae1ea	eq	eq	eq	a',a',a',a',a',a',b,a',a',a',a'	a',a',a',a',a',a',b,a',a',a',a'	-	6.0
+312	0	0	6c4a606e06325dc3	6c4a606e06325dc3	eq	eq	eq	-	-	-	6.5
+314	3	3	6a24e52845f723bd	6a24e52845f723bd	eq	eq	eq	a',a',a'	a',a',a'	-	7.0
+313	0	0	fd745788579dd7e8	fd745788579dd7e8	eq	eq	eq	-	-	-	7.1
+315	1	1	8bd3f017241637d8	8bd3f017241637d8	eq	eq	eq	a	a	-	7.2
+317	5	5	64c0d18242f2ff9b	64c0d18242f2ff9b	eq	eq	eq	a',a',a',a',a'	a',a',a',a',a'	-	7.7
+278	5	5	8b0147755ce1530f	8b0147755ce1530f	eq	eq	eq	c'',b,a',a',a'	c'',b,a',a',a'	-	24.7
+316	2	2	df256b6929914c91	df256b6929914c91	eq	eq	eq	a',a'	a',a'	-	8.4
+280	7	7	20b617cb05261a1d	20b617cb05261a1d	eq	eq	eq	a',c'',a',a',a',a',a'	a',c'',a',a',a',a',a'	-	24.5
+318	3	3	9ee96b4533df75d0	9ee96b4533df75d0	eq	eq	eq	a,a,a'	a,a,a'	-	8.6
+319	3	3	df9e25e5f9228cf5	df9e25e5f9228cf5	eq	eq	eq	a',a',a'	a',a',a'	-	9.3
+322	4	4	ad1be7d76d42c5bd	ad1be7d76d42c5bd	eq	eq	eq	a',a',a,a'	a',a',a,a'	-	10.1
+320	0	0	73978f6fc38e47bb	73978f6fc38e47bb	eq	eq	eq	-	-	-	10.4
+321	4	4	6e3a90e82a7daaf2	6e3a90e82a7daaf2	eq	eq	eq	a',a',a',a'	a',a',a',a'	-	10.6
+323	1	1	8c1868ee422e4833	8c1868ee422e4833	eq	eq	eq	a'	a'	-	11.1
+324	2	2	e8f94a3c82c8e767	e8f94a3c82c8e767	eq	eq	eq	a',a	a',a	-	11.3
+325	0	0	19b25fc86e04fa6a	19b25fc86e04fa6a	eq	eq	eq	-	-	-	11.4
+327	0	0	50d8fd842e6f7df3	50d8fd842e6f7df3	eq	eq	eq	-	-	-	11.0
+326	0	0	9b2d839b0552230d	9b2d839b0552230d	eq	eq	eq	-	-	-	11.3
+328	2	2	391f212ad53718dc	391f212ad53718dc	eq	eq	eq	a',a'	a',a'	-	11.2
+329	3	3	66496fda4cb8d0c6	66496fda4cb8d0c6	eq	eq	eq	a',a',a'	a',a',a'	-	11.2
+332	1	1	ebff740a9a579967	ebff740a9a579967	eq	eq	eq	a	a	-	11.2
+330	7	7	56bb4893b9e1af86	56bb4893b9e1af86	eq	eq	eq	a',a',a',a',a',a,a'	a',a',a',a',a',a,a'	-	12.0
+333	0	0	718da6d8b32bd112	718da6d8b32bd112	eq	eq	eq	-	-	-	11.4
+334	0	0	88530150b21b6dba	88530150b21b6dba	eq	eq	eq	-	-	-	11.7
+310	2	2	6824a5fc7d9ecb7d	6824a5fc7d9ecb7d	eq	eq	eq	a',c''	a',c''	-	26.5
+335	0	0	9ea23aa3763da310	9ea23aa3763da310	eq	eq	eq	-	-	-	11.1
+336	6	6	e407eb4526b19279	e407eb4526b19279	eq	eq	eq	a',a,a',a',a',a'	a',a,a',a',a',a'	-	11.5
+337	1	1	b9d67d5f965c98d5	b9d67d5f965c98d5	eq	eq	eq	a'	a'	-	11.5
+338	2	2	d4df4c31b2b74503	d4df4c31b2b74503	eq	eq	eq	a',a'	a',a'	-	11.6
+339	2	2	ff9bab3ba112e895	ff9bab3ba112e895	eq	eq	eq	a',a'	a',a'	-	11.0
+342	3	3	26ea2b95aa697ea8	26ea2b95aa697ea8	eq	eq	eq	b,a',a'	b,a',a'	-	11.0
+340	0	0	65ea29876569f179	65ea29876569f179	eq	eq	eq	-	-	-	11.6
+341	2	2	f699d894ef141989	f699d894ef141989	eq	eq	eq	a',a'	a',a'	-	11.3
+343	6	6	4860ad1fd073218e	4860ad1fd073218e	eq	eq	eq	a',a,a',a',a',a'	a',a,a',a',a',a'	-	11.4
+344	1	1	2f26f7183d6b3fda	2f26f7183d6b3fda	eq	eq	eq	a'	a'	-	11.4
+345	3	3	4e5940a1e781a3be	4e5940a1e781a3be	eq	eq	eq	a,a,a	a,a,a	-	11.5
+346	1	1	2e65160409d552a8	2e65160409d552a8	eq	eq	eq	a'	a'	-	11.2
+347	0	0	8cd05a2ffe9623cf	8cd05a2ffe9623cf	eq	eq	eq	-	-	-	11.4
+331	3	3	85dce17d5781f317	85dce17d5781f317	eq	eq	eq	a',c'',a'	a',c'',a'	-	25.9
+350	0	0	7ba37abfe3d9bfa4	7ba37abfe3d9bfa4	eq	eq	eq	-	-	-	10.9
+349	10	10	28bcc046e9330927	28bcc046e9330927	eq	eq	eq	a,a,a,a',a',a',a,a',a',a'	a,a,a,a',a',a',a,a',a',a'	-	11.6
+352	5	5	941706681e64bd27	941706681e64bd27	eq	eq	eq	a',a',a,a',a	a',a',a,a',a	-	11.1
+351	0	0	c2aa1dd5b789b190	c2aa1dd5b789b190	eq	eq	eq	-	-	-	11.5
+354	0	0	c8237d596e1ad182	c8237d596e1ad182	eq	eq	eq	-	-	-	11.0
+353	0	0	2c34e3089d85fc56	2c34e3089d85fc56	eq	eq	eq	-	-	-	11.4
+357	1	1	e5265a2379741380	e5265a2379741380	eq	eq	eq	a'	a'	-	10.9
+356	0	0	e234b132b24bf5b3	e234b132b24bf5b3	eq	eq	eq	-	-	-	11.5
+355	5	5	cbb75fd94e668fbb	cbb75fd94e668fbb	eq	eq	eq	a,a',a',b,a'	a,a',a',b,a'	-	11.8
+358	3	3	31b8e07b4071e6c3	31b8e07b4071e6c3	eq	eq	eq	a',b,a'	a',b,a'	-	11.3
+359	1	1	f5a0f6ae7606e1e2	f5a0f6ae7606e1e2	eq	eq	eq	a	a	-	11.5
+360	3	3	5e51c3211a5994fc	5e51c3211a5994fc	eq	eq	eq	a',a',a'	a',a',a'	-	11.2
+361	1	1	b51f0608e9f914bd	b51f0608e9f914bd	eq	eq	eq	a'	a'	-	11.1
+362	0	0	03d4329d9dbbd2aa	03d4329d9dbbd2aa	eq	eq	eq	-	-	-	11.0
+363	2	2	cf260cac8f770928	cf260cac8f770928	eq	eq	eq	a,a'	a,a'	-	11.2
+364	2	2	33f80a492d11f17b	33f80a492d11f17b	eq	eq	eq	a',a'	a',a'	-	11.4
+365	0	0	ae8e70cff42a245d	ae8e70cff42a245d	eq	eq	eq	-	-	-	11.2
+366	1	1	4282ce03ab1463d6	4282ce03ab1463d6	eq	eq	eq	a'	a'	-	10.9
+367	1	1	b6f157fe1d2e6730	b6f157fe1d2e6730	eq	eq	eq	a'	a'	-	11.5
+348	5	5	6542e52a678fcb9e	6542e52a678fcb9e	eq	eq	eq	a,b,a',c'',a	a,b,a',c'',a	-	26.5
+368	1	1	3a8d5a2474eb8bde	3a8d5a2474eb8bde	eq	eq	eq	c-saturated	c-saturated	-	11.5
+369	3	3	24aa52c2724dd067	24aa52c2724dd067	eq	eq	eq	a',b,a'	a',b,a'	-	11.3
+370	2	2	0db70d6c60f6c775	0db70d6c60f6c775	eq	eq	eq	a',c-constbit	a',c-constbit	-	11.3
+371	0	0	1d2f81bb5c1f5a2d	1d2f81bb5c1f5a2d	eq	eq	eq	-	-	-	11.1
+372	0	0	e49485288b3c90c1	e49485288b3c90c1	eq	eq	eq	-	-	-	11.2
+373	0	0	28b4f9b7e88aab40	28b4f9b7e88aab40	eq	eq	eq	-	-	-	11.4
+374	0	0	f6e3d8f0dcfe1f8a	f6e3d8f0dcfe1f8a	eq	eq	eq	-	-	-	11.3
+375	5	5	a1e4c37776b1d325	a1e4c37776b1d325	eq	eq	eq	a',a,a',a',a'	a',a,a',a',a'	-	11.2
+376	4	4	721026bb2c1b53e8	721026bb2c1b53e8	eq	eq	eq	a',b,a',a	a',b,a',a	-	11.6
+377	0	0	25d3fcd18485f02b	25d3fcd18485f02b	eq	eq	eq	-	-	-	10.8
+378	0	0	ee3480339a312baf	ee3480339a312baf	eq	eq	eq	-	-	-	11.7
+379	2	2	a651c8ff445dd2fc	a651c8ff445dd2fc	eq	eq	eq	a',a'	a',a'	-	11.4
+380	1	1	457f750cc74c8662	457f750cc74c8662	eq	eq	eq	a'	a'	-	11.2
+381	2	2	fa5a17faca062fdd	fa5a17faca062fdd	eq	eq	eq	a',a'	a',a'	-	11.2
+382	1	1	41924220b868368f	41924220b868368f	eq	eq	eq	a'	a'	-	11.5
+383	5	5	47d9c0f37e4a2381	47d9c0f37e4a2381	eq	eq	eq	a',a',a',a',a'	a',a',a',a',a'	-	11.3
+384	1	1	533271410fa7f234	533271410fa7f234	eq	eq	eq	a'	a'	-	11.8
+385	1	1	f92ab60dfa636b96	f92ab60dfa636b96	eq	eq	eq	a'	a'	-	11.8
+386	9	9	6d2cf405185ea91d	6d2cf405185ea91d	eq	eq	eq	a',a,a',a',a',a',a',a',a'	a',a,a',a',a',a',a',a',a'	-	10.6
+387	1	1	9048d1740369402e	9048d1740369402e	eq	eq	eq	a'	a'	-	11.0
+388	3	3	f23b80c280e1a957	f23b80c280e1a957	eq	eq	eq	a',a',a'	a',a',a'	-	11.2
+389	5	5	20b1d92fe398a794	20b1d92fe398a794	eq	eq	eq	a',a,a,b,a'	a',a,a,b,a'	-	11.3
+390	13	13	d4873efe0ec93168	d4873efe0ec93168	eq	eq	eq	a',a',a',a,a,a',a',b,a',a',a',a',a	a',a',a',a,a,a',a',b,a',a',a',a',a	-	11.3
+391	2	2	38f17f8053286f96	38f17f8053286f96	eq	eq	eq	c-saturated,a	c-saturated,a	-	11.5
+392	2	2	a7f19d25d7cf754b	a7f19d25d7cf754b	eq	eq	eq	a,a'	a,a'	-	11.0
+393	0	0	bc61739c779a40b1	bc61739c779a40b1	eq	eq	eq	-	-	-	11.6
+395	0	0	c3438365c7f44ac3	c3438365c7f44ac3	eq	eq	eq	-	-	-	10.7
+394	0	0	698dccc45caaea2e	698dccc45caaea2e	eq	eq	eq	-	-	-	11.0
+397	0	0	229b19cb374277fd	229b19cb374277fd	eq	eq	eq	-	-	-	11.4
+396	0	0	071361cdbc2ee452	071361cdbc2ee452	eq	eq	eq	-	-	-	11.7
+398	0	0	a0673615e578a84c	a0673615e578a84c	eq	eq	eq	-	-	-	11.8
+399	2	2	f9c86223ef8b1862	f9c86223ef8b1862	eq	eq	eq	a,a'	a,a'	-	11.7
+Terminated
+lease: released 16 pool cores after 226 s, exit 0
diff --git a/docs/analysis/cryptanalysis/report-acceptance-rule-3.md b/docs/analysis/cryptanalysis/report-acceptance-rule-3.md
index da540662f..e2ced4099 100644
--- a/docs/analysis/cryptanalysis/report-acceptance-rule-3.md
+++ b/docs/analysis/cryptanalysis/report-acceptance-rule-3.md
@@ -24,7 +24,7 @@ internal adversarial pass, not an independent review
 | Q2b | Static steering at 10^6 seeds | `adv3 static`: the first candidate passing (a), (b), (a') per seed, static properties, quantiles to 10^-6 | the plant of Q2 (the same property code) | the 10^-5 and 10^-6 quantiles of each property, priced | DONE: table in section 3; the best property at 1 in 10^6 tries is a shadow block with 38 multiplies of 256 (mean 74), worth about 2 to 3 percent of the f = 1 chip's energy per hash (approximate); the load critical path at 40 of 128 (median 72) is worth nothing at the memory activate ceiling | BOUND |
 | Q2c | Live hot set of the lowest-ratio steered seeds | f8 `warps` on the lowest-ratio seeds of Q2 | f8's own const-item plant | the worst steered seed's gain priced | plant FLAGGED (X_0.1% +6.25, 24.9x); control clear; the five lowest of 975 (ratio 0.998): within the 1.2x gate (1.01x to 1.13x), no hot set, 6-sigma flagged (+32 to +164); the three lowest of 4,975 (ratio 0.995: seeds 2653, 3296, 4388): PASS with no test fired (1.0007x to 1.0008x, X_0.1%/f 0.002, 6-sigma +4.3 to +4.8, the control's level); worst case over the eight: 1.0004x | BOUND: the 0.995 seeds PASS at 2^24 (0.9998x to 1.0002x); seed 620 at 2^24 is beyond the 1.2x share gate (1.43x) with no hot set (X_f/f 0.77), 1.0008x: the lane's worst live case |
 | Q3 | Program id: collisions and derivation agreement | `adv3 ids` over 10^7 (seed, attempt) pairs; `adv3 idcheck` by three derivations | low-32 collision counts must match the birthday expectation; one attempt bit flipped must change the id | 0 collisions; the derivation that matches the packs named | 0 id collisions, 0 program-stream state collisions, 0 seed-word collisions over 10^7 pairs (control: 11,759 low-32 id collisions against 11,641 expected); FINDING: program.json's `program_id_derivation` string and spec 1.4.6 state a derivation WITHOUT the `"sub/" || 3_le16` suffix the code appends for generator 4; an implementation written from the text computes 30956569d8f3d8d7 for Devnet 3 where the pack carries fce15bf61030be57 | FINDING (interoperability, not consensus) |
-| Q4 | Determinism traps | `adv3 margins`; a second interpretation of the rule (`adv3 verdicts`, 2,000 seeds, every attempt); a spec-1.4.6-only interpretation (400 seeds); the read list | `--variant floor97` must change at least one verdict | 0 disagreements between code and the faithful second interpretation; the spec-only disagreement rate measured; every divergence listed | margins: the f64 ratio compare of (c'') never disagrees with the integer rule `50 d >= 49 E` on any of the 2^20 + 1 values of d for any window (margins 0.32 to 0.44 counts); second interpretation DONE: 5,748 of 5,748 attempt verdicts of 1,792 seeds agree; its control fired (the single-pass (a) variant changes 4 of 1,008 verdicts and 3 of 300 programs; the floor-0.97 variant changed none, section 6.4) with the code, part by part (the same 1,445 (a'), 204 (a), 70 (b), 20 (c''), 7 (c') saturated-source, 7 constant-bit, 1 distinct-sum rejections and 792 accepts), chosen attempt equal on every seed; read list in section 6 (the spec text is behind the code on six points; the CLI `accept` command caps at 32 with no last resort) | DONE. Spec-text implementation (sweep 97, 400 seeds): 759 of 1,317 verdicts and 264 of 400 epoch programs differ from the code, 1 disagreement the other way. Divergence sources: D2 (documentary, FINDING), D3 (the id string, FINDING), D1 (f64 ratio, latent, safe at the shipped constants), D4 (CLI cap 32, tool only); D5 to D10 none |
+| Q4 | Determinism traps | `adv3 margins`; a second interpretation of the rule (`adv3 verdicts`, 2,000 seeds, every attempt); a spec-1.4.6-only interpretation (400 seeds); the read list | `--variant floor97` must change at least one verdict | 0 disagreements between code and the faithful second interpretation; the spec-only disagreement rate measured; every divergence listed | margins: the f64 ratio compare of (c'') never disagrees with the integer rule `50 d >= 49 E` on any of the 2^20 + 1 values of d for any window (margins 0.32 to 0.44 counts); second interpretation DONE: 5,748 of 5,748 attempt verdicts of 1,792 seeds agree; its control fired (the single-pass (a) variant changes 4 of 1,008 verdicts and 3 of 300 programs; the floor-0.97 variant changed none, section 6.4) with the code, part by part (the same 1,445 (a'), 204 (a), 70 (b), 20 (c''), 7 (c') saturated-source, 7 constant-bit, 1 distinct-sum rejections and 792 accepts), chosen attempt equal on every seed; read list in section 6 (the spec text is behind the code on six points; the CLI `accept` command caps at 32 with no last resort) | DONE. Spec-text implementation at 017e7037 (sweep 97, 400 seeds): 759 of 1,317 verdicts and 264 of 400 epoch programs differ from the code, 1 disagreement the other way; against the rewritten text at 8b834634 (Q4c, section 6.5): 0 of 400 differ on any field, with one named-not-stated function (`dataset_elem`) still taken from the crate. Divergence sources: D2 (documentary, FINDING), D3 (the id string, FINDING), D1 (f64 ratio, latent, safe at the shipped constants), D4 (CLI cap 32, tool only); D5 to D10 none |
 | Q5 | Era steering | `adv3 era-steer` over 400 era seeds: stride, interleave, epoch 0's min ratio | none needed (a listing) | noted | 400 eras: no stride under NAF weight 7 (mean 11.4), all 31 rotations, 354 distinct interleaves; the accepted attempt of epoch 0 is 3 under every era, so the era lever moves the address map and not the program | BOUND |
 
 ## 1. Q1: exhaustion (row 90, owner adv-accept, cited; this lane's static rates added)
@@ -271,6 +271,22 @@ So an implementation that follows docs/spec/01-lottery-hash.md section 1.4.6 at
 
 The twelve (c'') ratios: 0.814, 0.815, 0.815, 0.856, 0.856, 0.885, 0.913, 0.933, 0.955, 0.956, 0.965, 0.966. So on this sample the 0.98 floor sits in a gap of 0.023: the accepted population's minimum is 0.009 above it and the rejected population's maximum 0.014 below it, with nothing in between. That is why the floor-0.97 variant changed no verdict, and it is the floor's headroom as a number: a floor anywhere in 0.967 to 0.988 gives the same verdicts on these 320 candidates. The accepted minimum of 0.989 (one program in 300) is also the sharpest accepted ratio seen by either lane (adv-accept's gap rows read 0.983 on seed 100064 of its 16,337); the two readings together put the accepted tail at about 0.983 to 0.989 and the rejected head at about 0.966, so the shipped floor is near the middle of the gap. A grinder cannot steer into the gap: no program of 20,275 draws between the lanes has landed in it. Sweep 94 DONE (seeds 0 to 791 at 88 threads before the kill, then 1,000 to 1,999 through the lease in 200-seed chunks, 20:43 to 21:40 BST; logs 94-verdicts-faithful-part1.tsv and part2.tsv): 5,748 attempt verdicts over 1,792 seeds, 5,748 agree; the first failing part named by the second interpretation equals the code's on every row ((a') 3,281, (a) 459, (b) 135, (c'') 50, (c) constant bit 16, (c) saturated 12, (c) distinct sum 3, accept 1,792); the chosen attempt is the same on all 1,792 seeds. Every part of the rule fired at least once in the sample except (c'), the saturated-source count (its rate is 2 in 15,714 candidates in the steer sweep, so 0 in 5,748 is expected), and the lane-constant-site test (never seen in any sweep of this lane; the draw's fresh-source rule makes a 32-lane-constant address need a constant register). (Part 1 alone: 2,546 attempt verdicts, 2,546 agree; the first failing part named by the second interpretation equals the code's on every row ((a') 1,445, (a) 204, (b) 70, (c'') 20, (c') 7, constant bit 7, distinct sum 1, accept 792); the chosen attempt is the same on all 792 seeds. The known-failed variant (floor 0.97) runs as sweep 98.
 
+## 6.5 Q4c: the same 400 programs from the rewritten spec text (read against build master 8b834634)
+
+Main's order, 8 October 2026, 01:0x BST: the audit lane rewrote spec sections 1.4.3 and 1.4.6 to the shipped rule (build master 8b834634; read here: docs/spec/01-lottery-hash.md at that commit only, sections 1.3, 1.4.2, 1.4.3, 1.4.6 with its constants and pinned-ids tables, 1.6, 1.7, 1.13.1, and the shape of igneum-pow/tests/spec_readback.rs). A fresh text-only implementation (`tools/attack/adv-accept-3/src/text.rs`: seed words, SplitMix64, the program stream, the 1.4.3 draw with the two eligible states and the shared-operand rule, the 256-instruction shadow block, the 1.13.1 stride and rotation, the 1.6 init, the 1.7 execution with the shadow 27 times per iteration, parts (a), (b), (a'), (c), (c'), (c'') in the stated order with the integer ratio compare, the 256 cap, the last resort, the id with the sub-version suffix) derived the same 400 epoch seeds of sweep 97 under the Devnet 3 era and was compared with the crate's `Epoch::chain_program` field for field.
+
+| Compared over 400 seeds | Equal |
+|---|---|
+| The 64 base instructions (op, dst, src, src2, imm, imm2, rot, bit, mask, window) | 400 of 400 |
+| The 256 shadow instructions | 400 of 400 |
+| The chosen attempt | 400 of 400 (0 last resorts) |
+| The program id | 400 of 400 |
+| The sequence of rejection parts of the earlier attempts | 400 of 400 |
+
+Command: `adv3 textderive --from 0 --count 400 --threads 16` (binary 144b81a9ec9d01f52ed81c728288fa37bc58dd522446004a65e47b74d2443814), `lease pool 16 --min 8` class adv on build-2, 01:11 to 01:15 BST, 8.8 s per seed at 16 threads (the text implementation runs the 2^20 pass on every candidate that passes the static parts, as the text says the code does), log logs/adv-accept-3/983-textderive-8b834634.tsv; queue file 983 claimed.
+
+Result: 0 of 400 differ. The documentary finding of section 6.2 (264 of 400 against the text at 017e7037) is CLOSED against 8b834634. One sentence of 1.4.6 still cannot be followed from the text alone: 1.4.6.4's Dataset row names `dataset_elem(idx, S[0], S[1])` "of verify.rs (the closed form of the version 0.1 packs)" and does not state its six operations, so a reader of the text cannot compute part (c), (c') or (c'') without the crate; text.rs takes that one function from `igneum_pow::verify` and nothing else. Stating the closed form in the text (`x = idx XOR S[0]; x *= 0x9E3779B1; x ^= x >> 15; x += S[1]; x *= 0x85EBCA77; x ^= x >> 13; x *= 0xC2B2AE3D; x ^= x >> 16`, read from verify.rs for this note) would remove the last dependence. Box-hours for the row: 0.02.
+
 ## 7. Q5: era steering (sweep 99)
 
 `adv3 era-steer --from 0 --count 400` (DONE, 23:00 to 23:04 BST on build-2, log 99-era-steer.tsv) lists, per era seed of this lane's label space, the stride multiplier (its popcount and NAF weight), the rotation, the interleave, and epoch 0's accepted attempt and minimum ratio under that era.
@@ -288,7 +304,7 @@ Reading. The era attacker re-rolls one 32-byte value per 180 days and gets an od
 
 ## 8. Box-hours and what a longer pass would add
 
-Spent at 23:05 BST, every sweep of this lane ended, nothing holding or waiting on either box: about 3.3 box-hours. By step: builds 5 x under 1 min; idcheck, margins, exhaust-mirror, ids and two static 10^6 sweeps about 5 min together; the plant run 1 min at 48 threads; steer 19,975 seeds at 88 then 23 to 32 cores, about 1.6 box-hours; verdicts faithful 1,792 seeds, noncyclic 300, floor97 300, spec 400, about 0.7 together; last resort 3,000 seeds 0.3; f8 live census 8 runs at 10^6 and 4 at 2^24 nonces, about 0.5; ratios 300 seeds 0.1. The 8-hour reading line was not reached.
+Spent at 01:16 BST on 8 October, every sweep of this lane ended, nothing holding or waiting on either box: about 3.3 box-hours (the Q4c row of section 6.5 added 0.02). By step: builds 5 x under 1 min; idcheck, margins, exhaust-mirror, ids and two static 10^6 sweeps about 5 min together; the plant run 1 min at 48 threads; steer 19,975 seeds at 88 then 23 to 32 cores, about 1.6 box-hours; verdicts faithful 1,792 seeds, noncyclic 300, floor97 300, spec 400, about 0.7 together; last resort 3,000 seeds 0.3; f8 live census 8 runs at 10^6 and 4 at 2^24 nonces, about 0.5; ratios 300 seeds 0.1. The 8-hour reading line was not reached.
 
 Bound reached, honestly: exhaustion is bounded at 1.0 x 10^-43 per epoch seed from 62,240 candidates of 19,975 full-rule seeds plus 3 x 10^6 static candidates of 10^6 seeds (0 at the cap in either); the last resort is characterised on 3,000 seeds and found to fail the rule itself in 9 percent of them (FINDING, unreachable); steering is bounded over 19,975 full-rule seeds and 10^6 static seeds with the worst live hot set of eight measured at 1.0008x and no static property buying over about 1.03x at one seed in a million; the id is bounded at 0 collisions in 10^7 pairs with the stated derivation wrong (FINDING); determinism is bounded by a second interpretation agreeing on 5,748 of 5,748 verdicts with a fired control, the f64 ratio safe by 0.32 counts at the shipped constants, and the spec text diverging on 264 of 400 programs (FINDING, documentary).
 
@@ -322,5 +338,6 @@ Main's rule (relayed 20:2x BST): no sweep starts except through `/srv/builds/_bi
 | 98-adv-accept-3-verdicts-knownfailed.sh | 1 | verdicts floor97 0..300 | DONE 21:42 BST: did not fire (section 6.4) |
 | 981-adv-accept-3-verdicts-noncyclic.sh | 1 then 2 | verdicts noncyclic 0..300 (the replacement known-failed shape) | DONE 22:30 BST on build-2: fired, 4 verdicts and 3 programs changed |
 | 982-adv-accept-3-ratios.sh | 1 then 2 | ratios 0..300 (the (c'') ratio at 2^20 of every dynamic candidate) | DONE 22:45 BST on build-2: the floor sits in a 0.023 gap |
+| 983-adv-accept-3-textderive.sh | 2 | textderive 0..400 against the spec text at 8b834634 (Q4c) | DONE 01:15 BST, 8 October: 0 of 400 differ |
 | 99-adv-accept-3-era-steer.sh | 1 then 2 | era-steer 0..400 | DONE 23:04 BST on build-2: the lane's last run |
 | 991-adv-accept-3-f8-live.sh (DONE 20:37 BST) and 992-adv-accept-3-f8-live-2.sh (DONE 21:53 BST) | 1 | f8 `warps` (seed mode added, census code untouched; binary attack-f8 918f80a5fee5d2c349c90794b825a731ff16084c833c2f76f810a0e9ff5b0d80) on the const-item plant, seed 0 as control, then steer seeds 514, 522, 620, 703, 959 at 10^6 nonces, day 20733 | claimed 20:30 BST, waiting |
diff --git a/tools/attack/adv-accept-3/textderive-run.sh b/tools/attack/adv-accept-3/textderive-run.sh
new file mode 100644
index 000000000..c336f65fc
--- /dev/null
+++ b/tools/attack/adv-accept-3/textderive-run.sh
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+# adv-accept-3 Q4c (main's order, 8 Oct 2026 01:1x BST): the same 400 epoch programs derived from the spec text at
+# build master 8b834634 alone (text.rs) against the code's chain draw. One lease, class adv, 16 cores min 8.
+# Claim: mkdir /srv/builds/_adv/accept/claims/983-adv-accept-3-textderive.sh
+B=/srv/builds/_adv-accept-3/bin/adv3-144b81a9; D=/srv/builds/_adv-accept-3; LOG=$D/983-adv-accept-3-textderive.lease.log
+echo "queued $(date -u +%FT%TZ)" >> $LOG.driver
+/srv/builds/_bin/lease pool 16 --min 8 --label "adv-accept-3 983-textderive spec 8b834634" --owner adv-accept-3 -- $B textderive --from 0 --count 400 --threads '{cores}' >> $LOG 2>&1
+echo "done $(date -u +%FT%TZ) rc $?" >> $LOG.driver