From afbe390882abf3bea4c21a362ef679d4b4cdcec0 Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Thu, 8 Oct 2026 00:58:24 +0000 Subject: [PATCH] adv-accept-3: Q4d, the crate-free text derivation against 56eebc0d: 0 of 400 differ, no sentence needs the crate Co-Authored-By: Claude Fable 5.1 --- .../adv-accept-3/984-textderive-56eebc0d.tsv | 405 ++++++++++++++++++ .../cryptanalysis/report-acceptance-rule-3.md | 19 +- .../adv-accept-3/textderive-56eebc0d-run.sh | 8 + 3 files changed, 428 insertions(+), 4 deletions(-) create mode 100644 docs/analysis/cryptanalysis/logs/adv-accept-3/984-textderive-56eebc0d.tsv create mode 100644 tools/attack/adv-accept-3/textderive-56eebc0d-run.sh diff --git a/docs/analysis/cryptanalysis/logs/adv-accept-3/984-textderive-56eebc0d.tsv b/docs/analysis/cryptanalysis/logs/adv-accept-3/984-textderive-56eebc0d.tsv new file mode 100644 index 000000000..e6c76b9e3 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-accept-3/984-textderive-56eebc0d.tsv @@ -0,0 +1,405 @@ +lease: 0 of 8 pool cores free (88 leased); waiting +lease: holding 16 pool cores (63,64,65,66,67,68,69,70,87,88,89,90,91,92,93,94, waited 61 s, class adv): adv-accept-3 983-textderive spec 56eebc0d +# adv3 textderive 2026-10-08T00:52:21Z seeds 0..400 spec 56eebc0d, text.rs takes nothing from igneum_pow, pinned vectors checked (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 +13 0 0 cce31e82e649befe cce31e82e649befe eq eq eq - - - 11.1 +10 1 1 913a80679ca50093 913a80679ca50093 eq eq eq a' a' - 11.3 +14 1 1 295b1297e218468f 295b1297e218468f eq eq eq a' a' - 11.3 +1 1 1 47b8f1ace3857f0b 47b8f1ace3857f0b eq eq eq a' a' - 11.3 +0 3 3 6eb252f3a3102cdb 6eb252f3a3102cdb eq eq eq a',a',a' a',a',a' - 11.5 +8 0 0 3e6287e61520120c 3e6287e61520120c eq eq eq - - - 11.6 +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' - 11.6 +15 3 3 c20a0f8328cbdab0 c20a0f8328cbdab0 eq eq eq a,a',a a,a',a - 11.6 +6 0 0 360b32ffc8a4a271 360b32ffc8a4a271 eq eq eq - - - 11.7 +5 1 1 65600785570ca327 65600785570ca327 eq eq eq a' a' - 11.7 +9 3 3 62b04e3ce4024cdb 62b04e3ce4024cdb eq eq eq a',a',a' a',a',a' - 11.7 +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 - 11.8 +2 5 5 de8d683ee438fa5b de8d683ee438fa5b eq eq eq a,a',a',a',a' a,a',a',a',a' - 11.8 +12 4 4 7b0dbf8f7db66218 7b0dbf8f7db66218 eq eq eq a',a',b,a' a',a',b,a' - 11.8 +3 4 4 cc6a1daba90e6d2f cc6a1daba90e6d2f eq eq eq a',a',a,c-saturated a',a',a,c-saturated - 11.9 +7 0 0 34ea7b9d6f3c066e 34ea7b9d6f3c066e eq eq eq - - - 11.9 +19 0 0 bc68dff4947a86de bc68dff4947a86de eq eq eq - - - 11.1 +16 6 6 b84697b8d267efe6 b84697b8d267efe6 eq eq eq a',b,a,a',a',a' a',b,a,a',a',a' - 11.4 +17 0 0 e601bd18fafd7eaf e601bd18fafd7eaf eq eq eq - - - 11.3 +18 1 1 e8a7298c53cdc8e6 e8a7298c53cdc8e6 eq eq eq a' a' - 11.5 +23 1 1 b06294482df9d6e5 b06294482df9d6e5 eq eq eq 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.1 +24 0 0 42f914c0c4a1956e 42f914c0c4a1956e eq eq eq - - - 11.3 +20 5 5 b037aecdc57fb98d b037aecdc57fb98d eq eq eq a',a',a',a',a' a',a',a',a',a' - 11.6 +25 0 0 2e5539d816afe429 2e5539d816afe429 eq eq eq - - - 11.4 +22 6 6 548fa8da3290c3b6 548fa8da3290c3b6 eq eq eq a,a',a',a',a',a' a,a',a',a',a',a' - 11.6 +26 0 0 90d05d2d0779e985 90d05d2d0779e985 eq eq eq - - - 11.5 +21 1 1 0675e51502e49859 0675e51502e49859 eq eq eq a' a' - 11.7 +27 6 6 c37dd50f9b2fcd1a c37dd50f9b2fcd1a eq eq eq a',a',a,a',a',a' a',a',a,a',a',a' - 11.6 +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.7 +34 0 0 20810ad35dfa16d7 20810ad35dfa16d7 eq eq eq - - - 11.3 +33 2 2 b5611fb76ecfd9ba b5611fb76ecfd9ba eq eq eq a',a' a',a' - 11.5 +37 2 2 c77d053eade8de4e c77d053eade8de4e eq eq eq a',a' a',a' - 11.1 +32 0 0 d75ee29fe903753f d75ee29fe903753f eq eq eq - - - 11.8 +35 6 6 dd8c82a556eafb41 dd8c82a556eafb41 eq eq eq a',a',a,a',a',a' a',a',a,a',a',a' - 11.5 +36 1 1 ee7aba00b4e1df5d ee7aba00b4e1df5d eq eq eq a' a' - 11.5 +40 0 0 5e68b1e74a26403c 5e68b1e74a26403c eq eq eq - - - 11.4 +43 0 0 58b368af89b1e72c 58b368af89b1e72c eq eq eq - - - 11.4 +46 0 0 bda818fa9c9f1be2 bda818fa9c9f1be2 eq eq eq - - - 11.3 +38 1 1 404ada7a4dcfbec8 404ada7a4dcfbec8 eq eq eq a' a' - 11.9 +44 0 0 136eea7d9b75afc7 136eea7d9b75afc7 eq eq eq - - - 11.6 +45 5 5 a5546f05d607fcde a5546f05d607fcde eq eq eq b,a,a',a',a' b,a,a',a',a' - 11.5 +39 0 0 43d10d26f0bf393c 43d10d26f0bf393c eq eq eq - - - 12.0 +42 6 6 a96744f3c4908417 a96744f3c4908417 eq eq eq a',a',a',a',a',a' a',a',a',a',a',a' - 11.9 +28 7 7 45d98252b29464b1 45d98252b29464b1 eq eq eq a',a',a',a',a',c'',a a',a',a',a',a',c'',a - 27.0 +48 0 0 c6fe0c06f1b4828c c6fe0c06f1b4828c eq eq eq - - - 11.3 +50 1 1 9077cafa12f5e32b 9077cafa12f5e32b eq eq eq b b - 11.2 +49 0 0 00597bc8e6261fca 00597bc8e6261fca eq eq eq - - - 11.3 +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 +53 4 4 432df32903d6980d 432df32903d6980d eq eq eq a',a',a',a a',a',a',a - 11.1 +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 +52 3 3 14f48bec6a871ccc 14f48bec6a871ccc eq eq eq a',a',a' a',a',a' - 11.5 +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.3 +58 1 1 fd45565ca93a3ef3 fd45565ca93a3ef3 eq eq eq a' a' - 11.3 +56 1 1 79286d88cc4599ae 79286d88cc4599ae eq eq eq a' a' - 11.5 +55 0 0 6fa2b637b52fb68d 6fa2b637b52fb68d eq eq eq - - - 11.5 +59 2 2 e6047ae61921f266 e6047ae61921f266 eq eq eq a',a' a',a' - 11.7 +60 2 2 86ce043937295780 86ce043937295780 eq eq eq a',a a',a - 11.9 +61 1 1 0fcaecf225f109e9 0fcaecf225f109e9 eq eq eq a' a' - 11.6 +41 5 5 424e2ec2b1b7fcf0 424e2ec2b1b7fcf0 eq eq eq b,a',a',a',c'' b,a',a',a',c'' - 28.0 +64 1 1 50659877be06bb8c 50659877be06bb8c eq eq eq a' a' - 11.2 +67 1 1 3bdeb8697d005adb 3bdeb8697d005adb eq eq eq a' a' - 11.1 +62 4 4 990884d46f8fe8e6 990884d46f8fe8e6 eq eq eq a',a',a',a a',a',a',a - 11.6 +63 2 2 8bd86e0959305976 8bd86e0959305976 eq eq eq a',a' a',a' - 11.8 +66 5 5 6cc975c4bf4ce192 6cc975c4bf4ce192 eq eq eq a',a',a',a',a' a',a',a',a',a' - 11.5 +69 3 3 230a9a932c40d7f5 230a9a932c40d7f5 eq eq eq a',a',a' a',a',a' - 11.2 +65 2 2 93c6b96b7ddfc12d 93c6b96b7ddfc12d eq eq eq a',a' a',a' - 11.7 +68 0 0 1c1ad7467a56fb6f 1c1ad7467a56fb6f eq eq eq - - - 11.5 +70 4 4 af25eba847145647 af25eba847145647 eq eq eq a',a',a',a' a',a',a',a' - 11.4 +72 3 3 e526948b6bce93cd e526948b6bce93cd eq eq eq 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' - 11.6 +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.0 +73 2 2 9a96519cc6e12cb6 9a96519cc6e12cb6 eq eq eq a',a' a',a' - 11.8 +75 3 3 91bb7d5f902a269b 91bb7d5f902a269b eq eq eq a',a',a' a',a',a' - 11.2 +57 8 8 861dadb0575b868e 861dadb0575b868e eq eq eq a',a',a',c'',a,a',a',a a',a',a',c'',a,a',a',a - 27.1 +76 1 1 2fb168cb16b9cfef 2fb168cb16b9cfef eq eq eq a' a' - 11.5 +77 1 1 c5e6f34377149394 c5e6f34377149394 eq eq eq a' a' - 11.3 +82 6 6 f4c340e4e28d7642 f4c340e4e28d7642 eq eq eq a,a',a',a,a',a' a,a',a',a,a',a' - 11.0 +79 3 3 47912d27d52001c2 47912d27d52001c2 eq eq eq a',a',a' a',a',a' - 11.5 +81 1 1 ea828c5e4ff3a83e ea828c5e4ff3a83e eq eq eq a' a' - 11.2 +85 3 3 95d94ac8be402270 95d94ac8be402270 eq eq eq a',a',a' a',a',a' - 11.0 +83 0 0 bd905dec0cbaa51c bd905dec0cbaa51c eq eq eq - - - 11.4 +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.9 +84 0 0 8fd94c27f16f4a9a 8fd94c27f16f4a9a eq eq eq - - - 11.8 +88 1 1 a247676b07237c08 a247676b07237c08 eq eq eq a' a' - 11.3 +86 6 6 4705671659c97d04 4705671659c97d04 eq eq eq a',a',a',a',a',a' a',a',a',a',a',a' - 11.8 +89 1 1 70ba3a46a66dca9a 70ba3a46a66dca9a eq eq eq a' a' - 11.5 +90 0 0 f6a9ec289f888e6e f6a9ec289f888e6e eq eq eq - - - 11.2 +91 2 2 97fdb828c8784a5f 97fdb828c8784a5f eq eq eq a',a' a',a' - 11.4 +92 0 0 aa90796d5208bc43 aa90796d5208bc43 eq eq eq - - - 11.3 +93 0 0 bb4d5cf06e14cc3f bb4d5cf06e14cc3f eq eq eq - - - 10.9 +96 1 1 d41ff79578148173 d41ff79578148173 eq eq eq a' a' - 11.3 +94 0 0 4425870f81cfb35c 4425870f81cfb35c eq eq eq - - - 11.5 +95 2 2 f79e320654a3f1b8 f79e320654a3f1b8 eq eq eq a',a' a',a' - 11.6 +97 1 1 c00077640a7cbe3b c00077640a7cbe3b eq eq eq a' a' - 11.3 +101 0 0 ef000ce675b00817 ef000ce675b00817 eq eq eq - - - 10.8 +98 0 0 cd8cd42c696b15dc cd8cd42c696b15dc eq eq eq - - - 11.4 +100 6 6 51a7f11f7805a143 51a7f11f7805a143 eq eq eq b,a',a',a',a',a' b,a',a',a',a',a' - 11.1 +99 2 2 03b7e54d65222248 03b7e54d65222248 eq eq eq a',a' a',a' - 11.4 +102 2 2 baa46088d508add0 baa46088d508add0 eq eq eq a',a' a',a' - 11.3 +103 2 2 de6485b853fc0d14 de6485b853fc0d14 eq eq eq a',a a',a - 11.2 +78 6 6 d823f3125973d282 d823f3125973d282 eq eq eq a',a',a',b,c'',a' a',a',a',b,c'',a' - 26.9 +104 1 1 1fbfcbdfed405b4c 1fbfcbdfed405b4c eq eq eq a' a' - 11.3 +105 7 7 bcf8d1662b49096d bcf8d1662b49096d eq eq eq a',a',a',a',a',a',a a',a',a',a',a',a',a - 11.4 +87 3 3 b5d8914b19b97669 b5d8914b19b97669 eq eq eq a',a',c'' a',a',c'' - 27.1 +106 2 2 83bfa79b88cc3659 83bfa79b88cc3659 eq eq eq a',a' a',a' - 11.3 +107 0 0 26cd2780c5338276 26cd2780c5338276 eq eq eq - - - 11.2 +108 3 3 8afcaeaf301ee2b5 8afcaeaf301ee2b5 eq eq eq a',a',a' a',a',a' - 11.1 +111 0 0 4ffcbcadcada9074 4ffcbcadcada9074 eq eq eq - - - 11.1 +112 0 0 6aad652d3e6f426d 6aad652d3e6f426d eq eq eq - - - 11.0 +110 0 0 49e7653ee951319e 49e7653ee951319e eq eq eq - - - 11.2 +115 0 0 1c03d197d407d07b 1c03d197d407d07b eq eq eq - - - 10.8 +109 0 0 cd8c4f7f87b9ffd4 cd8c4f7f87b9ffd4 eq eq eq - - - 11.5 +113 1 1 9ed7c2e0afc7acf9 9ed7c2e0afc7acf9 eq eq eq a' a' - 11.5 +114 2 2 1e62b5fb6d8511ea 1e62b5fb6d8511ea eq eq eq a',a' a',a' - 11.9 +116 1 1 c5d501abf6c69ce1 c5d501abf6c69ce1 eq eq eq a' a' - 11.6 +117 1 1 aafd9ad837186eb7 aafd9ad837186eb7 eq eq eq a' a' - 11.5 +118 0 0 b484b853d75adfff b484b853d75adfff eq eq eq - - - 11.4 +119 2 2 fbb4e32f9347f4ba fbb4e32f9347f4ba eq eq eq a',a' a',a' - 11.4 +120 0 0 77527c2199a991fa 77527c2199a991fa eq eq eq - - - 11.5 +121 3 3 ab62a540cd35e836 ab62a540cd35e836 eq eq eq a',a',a' a',a',a' - 11.8 +122 2 2 340c09541ab72959 340c09541ab72959 eq eq eq a,a' a,a' - 11.7 +123 0 0 3239da4274ac55f4 3239da4274ac55f4 eq eq eq - - - 11.1 +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' - 11.0 +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' - 11.6 +125 2 2 2915b08d7ee207fa 2915b08d7ee207fa eq eq eq a',c-constbit a',c-constbit - 11.4 +128 2 2 dbab82e2ce561df3 dbab82e2ce561df3 eq eq eq a',a' a',a' - 11.3 +129 1 1 63a7a2c4772f0864 63a7a2c4772f0864 eq eq eq a' a' - 11.3 +130 0 0 c28701647ee05522 c28701647ee05522 eq eq eq - - - 10.9 +127 4 4 b5f76a212c7f66be b5f76a212c7f66be eq eq eq a',a',a',a' a',a',a',a' - 11.9 +133 0 0 3337caaf8883d14b 3337caaf8883d14b eq eq eq - - - 11.0 +132 0 0 62ede17ae27b52fb 62ede17ae27b52fb eq eq eq - - - 11.4 +131 0 0 c752be2419d2181d c752be2419d2181d eq eq eq - - - 11.7 +134 7 7 7bbfd39ef4282ebe 7bbfd39ef4282ebe eq eq eq a',a',a',a',a',a',a' a',a',a',a',a',a',a' - 11.7 +135 4 4 64548ef9b2945b80 64548ef9b2945b80 eq eq eq a',a',a',a' a',a',a',a' - 11.3 +136 1 1 d28038085b7e0e29 d28038085b7e0e29 eq eq eq a' a' - 11.0 +138 0 0 c015c0ad2bf711d9 c015c0ad2bf711d9 eq eq eq - - - 11.4 +137 8 8 60b723e1e9317f6b 60b723e1e9317f6b eq eq eq a',a',a',a',a,a',a',a' a',a',a',a',a,a',a',a' - 12.1 +142 1 1 7ec0dadeb56e5265 7ec0dadeb56e5265 eq eq eq a' a' - 9.7 +139 0 0 e08b20a7eca1758f e08b20a7eca1758f eq eq eq - - - 11.5 +140 2 2 94685c1c6bd26808 94685c1c6bd26808 eq eq eq a',a' a',a' - 11.1 +141 1 1 43f5cd2b3393111b 43f5cd2b3393111b eq eq eq a' a' - 11.1 +143 0 0 2a3945a06b2423d5 2a3945a06b2423d5 eq eq eq - - - 11.1 +144 2 2 d5daaffff9c45719 d5daaffff9c45719 eq eq eq b,a' b,a' - 11.2 +145 1 1 c975aea6fcb6e297 c975aea6fcb6e297 eq eq eq a' a' - 11.4 +146 0 0 2af8da73b283eefa 2af8da73b283eefa eq eq eq - - - 11.0 +147 0 0 6a1c15caaedae11e 6a1c15caaedae11e eq eq eq - - - 11.4 +148 0 0 94a55fefd69c5864 94a55fefd69c5864 eq eq eq - - - 11.6 +149 2 2 b712d99e7d073a50 b712d99e7d073a50 eq eq eq a',a' a',a' - 11.6 +151 6 6 f0eee40932b39d15 f0eee40932b39d15 eq eq eq a',a',a',a',a',a' a',a',a',a',a',a' - 11.5 +150 4 4 888b6730b514d81c 888b6730b514d81c eq eq eq a',a',a',a' a',a',a',a' - 11.9 +153 1 1 5739ff38ac0ddd18 5739ff38ac0ddd18 eq eq eq a' a' - 11.2 +152 0 0 b899ad1b940d7731 b899ad1b940d7731 eq eq eq - - - 12.1 +155 6 6 693aadba2850f312 693aadba2850f312 eq eq eq a',a',a',a,a',a a',a',a',a,a',a - 7.6 +154 1 1 50f2fa864fbeac47 50f2fa864fbeac47 eq eq eq a' a' - 11.9 +156 8 8 8bff7cf8a6fb91a3 8bff7cf8a6fb91a3 eq eq eq a',a',a',a',a',a',a,a' a',a',a',a',a',a',a,a' - 11.7 +157 2 2 e9de7d04a3c49d9c e9de7d04a3c49d9c eq eq eq a',a' a',a' - 11.2 +160 1 1 48a28a24fad345fc 48a28a24fad345fc eq eq eq a' a' - 11.0 +158 0 0 3f0c912a49dfe915 3f0c912a49dfe915 eq eq eq - - - 11.5 +159 1 1 72f1bdc701dbcf02 72f1bdc701dbcf02 eq eq eq a' a' - 11.6 +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' - 11.4 +162 1 1 22d861a141062647 22d861a141062647 eq eq eq a' a' - 11.4 +164 3 3 e8549bc09ec35740 e8549bc09ec35740 eq eq eq a',a',a a',a',a - 11.6 +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' - 11.6 +166 1 1 5ffabae17e16a925 5ffabae17e16a925 eq eq eq a' a' - 10.9 +167 0 0 92af9c2f53c1ab38 92af9c2f53c1ab38 eq eq eq - - - 11.7 +168 1 1 9090f07d861918e7 9090f07d861918e7 eq eq eq a' a' - 11.1 +169 2 2 dfff734327cf72b0 dfff734327cf72b0 eq eq eq a',a' a',a' - 11.2 +170 6 6 7d9bfb3293081058 7d9bfb3293081058 eq eq eq a,a',a',a',a',a' a,a',a',a',a',a' - 11.8 +171 2 2 51f7f0c7020107fa 51f7f0c7020107fa eq eq eq a',a' a',a' - 12.1 +173 2 2 429099b13e20c72c 429099b13e20c72c eq eq eq a',a' a',a' - 11.0 +175 1 1 ab08135c32d6dd4d ab08135c32d6dd4d eq eq eq a' a' - 11.0 +174 1 1 92b80501a503cdc4 92b80501a503cdc4 eq eq eq a' a' - 11.4 +176 0 0 27d69ccadbaa241d 27d69ccadbaa241d eq eq eq - - - 11.1 +177 4 4 f9d79e322f151df4 f9d79e322f151df4 eq eq eq a,a',a',a' a,a',a',a' - 11.1 +178 1 1 0ae9d715233f6dfb 0ae9d715233f6dfb eq eq eq a' a' - 11.4 +180 1 1 dccdfb3fda72b7f4 dccdfb3fda72b7f4 eq eq eq a' a' - 11.7 +179 2 2 e406e5498b6e386a e406e5498b6e386a eq eq eq a,a' a,a' - 11.9 +181 0 0 110bd7f3b3616a98 110bd7f3b3616a98 eq eq eq - - - 11.5 +182 2 2 a7ccb2e17d73dd8f a7ccb2e17d73dd8f eq eq eq a',a' a',a' - 11.3 +163 2 2 90df908d5da872ec 90df908d5da872ec eq eq eq c'',a' c'',a' - 26.6 +184 1 1 dbdf339f25a99375 dbdf339f25a99375 eq eq eq a' a' - 10.9 +183 2 2 524ee490a119cd54 524ee490a119cd54 eq eq eq a',a' a',a' - 11.3 +185 1 1 9317d08960ced40c 9317d08960ced40c eq eq eq a' a' - 11.3 +186 1 1 1cf284a3e8e99a3a 1cf284a3e8e99a3a eq eq eq a a - 11.7 +187 0 0 230b6fbc905bd48f 230b6fbc905bd48f eq eq eq - - - 11.3 +188 1 1 e50685f37822e0e0 e50685f37822e0e0 eq eq eq a' a' - 11.2 +190 1 1 63d722a87ea9abb9 63d722a87ea9abb9 eq eq eq a' a' - 11.1 +191 0 0 aed82c7e73c58858 aed82c7e73c58858 eq eq eq - - - 11.1 +189 8 8 b95254d3b24eb4ff b95254d3b24eb4ff eq eq eq a',a',a',a',a',a,a',a' a',a',a',a',a',a,a',a' - 11.7 +192 0 0 a361d1e35903705d a361d1e35903705d eq eq eq - - - 11.9 +194 0 0 a1d91627d438bd85 a1d91627d438bd85 eq eq eq - - - 11.3 +193 4 4 3b95130389ee1046 3b95130389ee1046 eq eq eq a',b,a',a' a',b,a',a' - 11.7 +172 2 2 4c05cb760c438608 4c05cb760c438608 eq eq eq c'',a' c'',a' - 27.2 +195 3 3 ec55dc3f6d0f7474 ec55dc3f6d0f7474 eq eq eq a',a',a a',a',a - 11.2 +196 0 0 3e55c710102a29ab 3e55c710102a29ab eq eq eq - - - 11.2 +199 2 2 c1e38354b1f70ee4 c1e38354b1f70ee4 eq eq eq a,a' a,a' - 11.1 +197 1 1 3b37840c5f6dc04f 3b37840c5f6dc04f eq eq eq a' a' - 11.4 +200 0 0 c8900d0b5e5fcb29 c8900d0b5e5fcb29 eq eq eq - - - 11.8 +201 1 1 344a95f9453267f7 344a95f9453267f7 eq eq eq a' a' - 12.0 +202 0 0 4fc537bf4aeeb679 4fc537bf4aeeb679 eq eq eq - - - 11.4 +204 6 6 dc9f3dda5895b25e dc9f3dda5895b25e eq eq eq a',b,a',a',a',a' a',b,a',a',a',a' - 11.3 +203 2 2 297a52ca496e423d 297a52ca496e423d eq eq eq a',a' a',a' - 11.7 +206 6 6 d6e9de898817f203 d6e9de898817f203 eq eq eq a',a',a',a',a',a a',a',a',a',a',a - 11.2 +205 2 2 73e0ba129918b212 73e0ba129918b212 eq eq eq a',a' a',a' - 11.5 +207 2 2 28273710491032e1 28273710491032e1 eq eq eq a,a' a,a' - 11.6 +208 4 4 129745e59edf8082 129745e59edf8082 eq eq eq a,a',a',a' a,a',a',a' - 11.7 +211 3 3 1c968baadeb0cd99 1c968baadeb0cd99 eq eq eq a',a',a' a',a',a' - 11.1 +210 0 0 4499c61fd509e92d 4499c61fd509e92d eq eq eq - - - 11.6 +212 0 0 e0f9c0b1e40ac069 e0f9c0b1e40ac069 eq eq eq - - - 11.5 +213 0 0 4ab4fcc133482293 4ab4fcc133482293 eq eq eq - - - 11.5 +214 0 0 a1339b3a1b6abbf4 a1339b3a1b6abbf4 eq eq eq - - - 12.0 +215 2 2 814a1134be304d70 814a1134be304d70 eq eq eq a',a' a',a' - 11.4 +198 3 3 108cac4c6688638c 108cac4c6688638c eq eq eq c'',a',a c'',a',a - 26.5 +216 7 7 36d5d073b8008d64 36d5d073b8008d64 eq eq eq a',a',a',a',a',a,a' a',a',a',a',a',a,a' - 12.1 +217 2 2 56f3f778824c5d99 56f3f778824c5d99 eq eq eq a',a' a',a' - 11.2 +218 2 2 0c46f09e40e2d5fb 0c46f09e40e2d5fb eq eq eq a',a' a',a' - 11.1 +221 0 0 3b6662d3b011474a 3b6662d3b011474a eq eq eq - - - 11.0 +220 0 0 63131ab6fe1ea281 63131ab6fe1ea281 eq eq eq - - - 11.4 +219 0 0 91b3b861f2a317e5 91b3b861f2a317e5 eq eq eq - - - 11.7 +222 0 0 e6e5efaf9c73bc00 e6e5efaf9c73bc00 eq eq eq - - - 11.5 +223 1 1 b9fe26eaad7835ce b9fe26eaad7835ce eq eq eq a a - 11.5 +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' - 11.8 +225 0 0 731b4565be815b64 731b4565be815b64 eq eq eq - - - 11.8 +226 1 1 7b2380f5f194e51b 7b2380f5f194e51b eq eq eq a' a' - 11.0 +227 3 3 a128d1e33646e3e2 a128d1e33646e3e2 eq eq eq a',a',a' a',a',a' - 11.1 +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' - 11.6 +229 2 2 d8e0702155e9bbd7 d8e0702155e9bbd7 eq eq eq a,a' a,a' - 11.7 +209 3 3 7bdaae2b7cc7286c 7bdaae2b7cc7286c eq eq eq a',a',c'' a',a',c'' - 27.8 +230 8 8 9840ac0c082a031e 9840ac0c082a031e eq eq eq a',a',a',a',a',a,a',a' a',a',a',a',a',a,a',a' - 12.0 +232 0 0 1b58217fdba915f6 1b58217fdba915f6 eq eq eq - - - 11.5 +231 2 2 4624798875ae5b7e 4624798875ae5b7e eq eq eq a',a' a',a' - 12.3 +234 2 2 ac4fab3038eb5efc ac4fab3038eb5efc eq eq eq a',a' a',a' - 11.0 +233 2 2 ac3a2b140ce4f739 ac3a2b140ce4f739 eq eq eq a',a' a',a' - 11.3 +235 3 3 56c46b8581509dc0 56c46b8581509dc0 eq eq eq b,a',a' b,a',a' - 11.2 +236 2 2 69f2ce1e954bbb80 69f2ce1e954bbb80 eq eq eq a',a' a',a' - 11.6 +237 0 0 feb22479e9021ee2 feb22479e9021ee2 eq eq eq - - - 10.9 +238 0 0 5dea9a8256b05609 5dea9a8256b05609 eq eq eq - - - 11.1 +239 0 0 689e2bf18ec8e5f0 689e2bf18ec8e5f0 eq eq eq - - - 11.3 +240 4 4 f527bd3aed104be1 f527bd3aed104be1 eq eq eq a',a',a,a' a',a',a,a' - 11.3 +242 5 5 1a38af0914d18c05 1a38af0914d18c05 eq eq eq a',a',a',a',a' a',a',a',a',a' - 11.1 +241 4 4 329f92d933108c0d 329f92d933108c0d eq eq eq a',a,a,a' a',a,a,a' - 11.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 - 11.2 +244 0 0 0aaf7dd1bfcd27a2 0aaf7dd1bfcd27a2 eq eq eq - - - 11.1 +245 0 0 d6fb0aff490821f2 d6fb0aff490821f2 eq eq eq - - - 11.3 +246 0 0 3d944e6713d7e811 3d944e6713d7e811 eq eq eq - - - 11.4 +247 4 4 329eb3aa77482e1b 329eb3aa77482e1b eq eq eq a',a,a',a' a',a,a',a' - 10.8 +250 0 0 83d24f7376662262 83d24f7376662262 eq eq eq - - - 11.4 +248 2 2 bae30844a6e1e507 bae30844a6e1e507 eq eq eq a',a' a',a' - 11.8 +251 3 3 8c2243907c0d74ee 8c2243907c0d74ee eq eq eq a',a',a' a',a',a' - 11.4 +249 1 1 c50ede4b615bf73e c50ede4b615bf73e eq eq eq a' a' - 11.9 +252 0 0 1b0a52e6cda60c38 1b0a52e6cda60c38 eq eq eq - - - 11.3 +253 0 0 2252c9e3655d1f36 2252c9e3655d1f36 eq eq eq - - - 12.0 +254 1 1 0150e4fbf57f331e 0150e4fbf57f331e eq eq eq b b - 11.8 +255 3 3 8e4444685740f836 8e4444685740f836 eq eq eq a,a',a' a,a',a' - 11.8 +258 0 0 38faab15c36a2f79 38faab15c36a2f79 eq eq eq - - - 11.4 +257 1 1 f57305b52a125456 f57305b52a125456 eq eq eq a' a' - 11.7 +259 1 1 dcc5a6e0d3d158db dcc5a6e0d3d158db eq eq eq a' a' - 11.5 +261 0 0 fcaec8651a039eda fcaec8651a039eda eq eq eq - - - 11.0 +260 3 3 090afb91bb44e32e 090afb91bb44e32e eq eq eq a,a',c-constbit a,a',c-constbit - 11.9 +262 8 8 bb8c4428c5dad0c9 bb8c4428c5dad0c9 eq eq eq a',a',a',a',a',a',a',a' a',a',a',a',a',a',a',a' - 12.1 +265 0 0 db9fe6536cc3d30c db9fe6536cc3d30c eq eq eq - - - 11.3 +266 0 0 125730bb81e603f1 125730bb81e603f1 eq eq eq - - - 11.2 +264 2 2 8e882a7f35b4fcde 8e882a7f35b4fcde eq eq eq a',a a',a - 11.8 +267 2 2 8c485d01356a3d35 8c485d01356a3d35 eq eq eq a',b a',b - 11.5 +268 0 0 60af7738dc732752 60af7738dc732752 eq eq eq - - - 12.2 +269 1 1 fd8bf4df846c42cd fd8bf4df846c42cd eq eq eq a' a' - 11.2 +270 1 1 58d9a41c2feb65f6 58d9a41c2feb65f6 eq eq eq a' a' - 11.4 +271 0 0 a1587ac9a79aeb57 a1587ac9a79aeb57 eq eq eq - - - 11.0 +272 1 1 274d44070152ad6c 274d44070152ad6c eq eq eq a' a' - 11.4 +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 - 11.4 +274 2 2 0b8cc98a78459d69 0b8cc98a78459d69 eq eq eq a',a a',a - 12.0 +275 3 3 9a0daa2901721dde 9a0daa2901721dde eq eq eq a',a',a a',a',a - 12.0 +276 2 2 5f6865d43e1e0ca7 5f6865d43e1e0ca7 eq eq eq a,a' a,a' - 11.9 +256 5 5 88d207d35ab37e6b 88d207d35ab37e6b eq eq eq a',a',a',c-distinct,a' a',a',a',c-distinct,a' - 27.0 +277 0 0 5b404032ff2d303e 5b404032ff2d303e eq eq eq - - - 11.3 +279 0 0 cc9d06e4bb21702e cc9d06e4bb21702e eq eq eq - - - 11.2 +281 0 0 c06dbbef348857f6 c06dbbef348857f6 eq eq eq - - - 10.9 +283 5 5 0a6879e530e6564c 0a6879e530e6564c eq eq eq a',a',a',a,a' a',a',a',a,a' - 11.1 +282 0 0 19ad7033be33a3ac 19ad7033be33a3ac eq eq eq - - - 11.4 +263 1 1 c2a77a9edcf6464d c2a77a9edcf6464d eq eq eq c'' c'' - 26.1 +284 7 7 31faf836a5f4d6db 31faf836a5f4d6db eq eq eq a,a',a',a',a',a',a' a,a',a',a',a',a',a' - 11.7 +285 4 4 c7deddb21dd9f5ec c7deddb21dd9f5ec eq eq eq a,a',a',a' a,a',a',a' - 11.1 +287 0 0 f25078994a17e0eb f25078994a17e0eb eq eq eq - - - 11.5 +286 0 0 5226142b6483cef7 5226142b6483cef7 eq eq eq - - - 12.0 +288 6 6 684f49ba168cc9c5 684f49ba168cc9c5 eq eq eq a',a',a,a,a',a' a',a',a,a,a',a' - 11.1 +290 0 0 904229de5249b7e3 904229de5249b7e3 eq eq eq - - - 11.1 +289 1 1 c6cc289b01ea37b4 c6cc289b01ea37b4 eq eq eq a' a' - 11.2 +291 2 2 930b696fd76e4147 930b696fd76e4147 eq eq eq a',a' a',a' - 11.3 +293 0 0 0c4267dba804c57c 0c4267dba804c57c eq eq eq - - - 11.3 +292 3 3 1cc54a9af7b9db87 1cc54a9af7b9db87 eq eq eq a',a',a' a',a',a' - 11.8 +294 3 3 2cb1c51d4127a177 2cb1c51d4127a177 eq eq eq a',a',a a',a',a - 11.6 +295 6 6 db574922815468dd db574922815468dd eq eq eq a',a,b,a',a',a' a',a,b,a',a',a' - 11.0 +296 4 4 48246ef302bc75ee 48246ef302bc75ee eq eq eq a',a',a',a' a',a',a',a' - 11.1 +297 0 0 64c6d13c36f537c4 64c6d13c36f537c4 eq eq eq - - - 11.2 +298 2 2 f3b07ae30db002d5 f3b07ae30db002d5 eq eq eq c-saturated,a' c-saturated,a' - 11.5 +280 7 7 20b617cb05261a1d 20b617cb05261a1d eq eq eq a',c'',a',a',a',a',a' a',c'',a',a',a',a',a' - 26.9 +278 5 5 8b0147755ce1530f 8b0147755ce1530f eq eq eq c'',b,a',a',a' c'',b,a',a',a' - 27.9 +299 0 0 3f6b74cdc07fd213 3f6b74cdc07fd213 eq eq eq - - - 11.9 +300 6 6 a21d06e01d1f6c02 a21d06e01d1f6c02 eq eq eq a',a',a',a',a',a' a',a',a',a',a',a' - 11.2 +301 1 1 eb98de42c750d368 eb98de42c750d368 eq eq eq a' a' - 11.7 +302 1 1 3439732c476ba228 3439732c476ba228 eq eq eq b b - 11.6 +304 1 1 2debe017ad17ab27 2debe017ad17ab27 eq eq eq a' a' - 11.2 +303 0 0 a029794a03e19881 a029794a03e19881 eq eq eq - - - 11.6 +305 3 3 c100ca8793eee571 c100ca8793eee571 eq eq eq a',a',a' a',a',a' - 12.0 +308 1 1 918f388d480d7ab5 918f388d480d7ab5 eq eq eq a' a' - 10.9 +306 0 0 71d19a268c2ec429 71d19a268c2ec429 eq eq eq - - - 11.5 +307 5 5 52841e72f4a3068a 52841e72f4a3068a eq eq eq a',a',a',a',a' a',a',a',a',a' - 11.6 +309 1 1 9ed74b96df211eb3 9ed74b96df211eb3 eq eq eq a' a' - 10.8 +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' - 11.1 +312 0 0 6c4a606e06325dc3 6c4a606e06325dc3 eq eq eq - - - 11.1 +313 0 0 fd745788579dd7e8 fd745788579dd7e8 eq eq eq - - - 11.4 +315 1 1 8bd3f017241637d8 8bd3f017241637d8 eq eq eq a a - 11.4 +314 3 3 6a24e52845f723bd 6a24e52845f723bd eq eq eq a',a',a' a',a',a' - 11.6 +317 5 5 64c0d18242f2ff9b 64c0d18242f2ff9b eq eq eq a',a',a',a',a' a',a',a',a',a' - 10.9 +316 2 2 df256b6929914c91 df256b6929914c91 eq eq eq a',a' a',a' - 11.8 +318 3 3 9ee96b4533df75d0 9ee96b4533df75d0 eq eq eq a,a,a' a,a,a' - 11.2 +319 3 3 df9e25e5f9228cf5 df9e25e5f9228cf5 eq eq eq a',a',a' a',a',a' - 11.4 +320 0 0 73978f6fc38e47bb 73978f6fc38e47bb eq eq eq - - - 11.4 +321 4 4 6e3a90e82a7daaf2 6e3a90e82a7daaf2 eq eq eq a',a',a',a' a',a',a',a' - 11.9 +322 4 4 ad1be7d76d42c5bd ad1be7d76d42c5bd eq eq eq a',a',a,a' a',a',a,a' - 11.1 +323 1 1 8c1868ee422e4833 8c1868ee422e4833 eq eq eq a' a' - 11.0 +324 2 2 e8f94a3c82c8e767 e8f94a3c82c8e767 eq eq eq a',a a',a - 11.6 +325 0 0 19b25fc86e04fa6a 19b25fc86e04fa6a eq eq eq - - - 11.7 +326 0 0 9b2d839b0552230d 9b2d839b0552230d eq eq eq - - - 11.2 +327 0 0 50d8fd842e6f7df3 50d8fd842e6f7df3 eq eq eq - - - 11.1 +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.3 +332 1 1 ebff740a9a579967 ebff740a9a579967 eq eq eq a a - 11.2 +310 2 2 6824a5fc7d9ecb7d 6824a5fc7d9ecb7d eq eq eq a',c'' a',c'' - 27.6 +330 7 7 56bb4893b9e1af86 56bb4893b9e1af86 eq eq eq a',a',a',a',a',a,a' a',a',a',a',a',a,a' - 12.2 +333 0 0 718da6d8b32bd112 718da6d8b32bd112 eq eq eq - - - 11.4 +335 0 0 9ea23aa3763da310 9ea23aa3763da310 eq eq eq - - - 11.1 +334 0 0 88530150b21b6dba 88530150b21b6dba eq eq eq - - - 11.8 +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.5 +339 2 2 ff9bab3ba112e895 ff9bab3ba112e895 eq eq eq a',a' 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.2 +342 3 3 26ea2b95aa697ea8 26ea2b95aa697ea8 eq eq eq b,a',a' b,a',a' - 11.0 +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 +346 1 1 2e65160409d552a8 2e65160409d552a8 eq eq eq a' a' - 11.2 +345 3 3 4e5940a1e781a3be 4e5940a1e781a3be eq eq eq a,a,a a,a,a - 11.5 +347 0 0 8cd05a2ffe9623cf 8cd05a2ffe9623cf eq eq eq - - - 11.8 +350 0 0 7ba37abfe3d9bfa4 7ba37abfe3d9bfa4 eq eq eq - - - 10.8 +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 +331 3 3 85dce17d5781f317 85dce17d5781f317 eq eq eq a',c'',a' a',c'',a' - 26.1 +351 0 0 c2aa1dd5b789b190 c2aa1dd5b789b190 eq eq eq - - - 11.5 +352 5 5 941706681e64bd27 941706681e64bd27 eq eq eq a',a',a,a',a a',a',a,a',a - 11.1 +353 0 0 2c34e3089d85fc56 2c34e3089d85fc56 eq eq eq - - - 11.4 +354 0 0 c8237d596e1ad182 c8237d596e1ad182 eq eq eq - - - 11.0 +356 0 0 e234b132b24bf5b3 e234b132b24bf5b3 eq eq eq - - - 11.2 +355 5 5 cbb75fd94e668fbb cbb75fd94e668fbb eq eq eq a,a',a',b,a' a,a',a',b,a' - 11.8 +357 1 1 e5265a2379741380 e5265a2379741380 eq eq eq a' a' - 10.9 +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.6 +361 1 1 b51f0608e9f914bd b51f0608e9f914bd eq eq eq a' a' - 11.3 +360 3 3 5e51c3211a5994fc 5e51c3211a5994fc eq eq eq a',a',a' a',a',a' - 11.3 +362 0 0 03d4329d9dbbd2aa 03d4329d9dbbd2aa eq eq eq - - - 11.4 +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.7 +369 3 3 24aa52c2724dd067 24aa52c2724dd067 eq eq eq a',b,a' a',b,a' - 11.3 +368 1 1 3a8d5a2474eb8bde 3a8d5a2474eb8bde eq eq eq c-saturated c-saturated - 11.5 +370 2 2 0db70d6c60f6c775 0db70d6c60f6c775 eq eq eq a',c-constbit a',c-constbit - 11.2 +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.5 +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 - - - 11.4 +378 0 0 ee3480339a312baf ee3480339a312baf eq eq eq - - - 11.8 +379 2 2 a651c8ff445dd2fc a651c8ff445dd2fc eq eq eq a',a' a',a' - 11.3 +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 +383 5 5 47d9c0f37e4a2381 47d9c0f37e4a2381 eq eq eq a',a',a',a',a' a',a',a',a',a' - 11.3 +382 1 1 41924220b868368f 41924220b868368f eq eq eq a' a' - 11.4 +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.5 +384 1 1 533271410fa7f234 533271410fa7f234 eq eq eq a' a' - 11.8 +385 1 1 f92ab60dfa636b96 f92ab60dfa636b96 eq eq eq a' a' - 11.8 +387 1 1 9048d1740369402e 9048d1740369402e eq eq eq a' a' - 11.2 +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.4 +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 - - - 12.2 +395 0 0 c3438365c7f44ac3 c3438365c7f44ac3 eq eq eq - - - 10.7 +394 0 0 698dccc45caaea2e 698dccc45caaea2e eq eq eq - - - 11.0 +396 0 0 071361cdbc2ee452 071361cdbc2ee452 eq eq eq - - - 11.6 +397 0 0 229b19cb374277fd 229b19cb374277fd eq eq eq - - - 11.3 +399 2 2 f9c86223ef8b1862 f9c86223ef8b1862 eq eq eq a,a' a,a' - 11.7 +398 0 0 a0673615e578a84c a0673615e578a84c eq eq eq - - - 11.8 +lease: released 16 pool cores after 367 s, exit 0 diff --git a/docs/analysis/cryptanalysis/report-acceptance-rule-3.md b/docs/analysis/cryptanalysis/report-acceptance-rule-3.md index c8d3dc801..fe4a900fe 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 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 | +| 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; against 56eebc0d with nothing from the crate (Q4d, section 6.6): 0 of 400 differ, the finding closed in full. 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) @@ -289,7 +289,18 @@ Result: 0 of 400 differ. The documentary finding of section 6.2 (264 of 400 agai ## 6.6 Q4d: the same 400 programs from the spec text at 56eebc0d, text.rs taking nothing from the crate -The audit lane closed the gap of section 6.5 on build master 56eebc0d (01:49 BST, 8 October): 1.4.6.4 now states the closed form in full (`x = i XOR S0; x = x * 0x9E3779B1; x = x XOR (x >> 15); x = x + S1; x = x * 0x85EBCA77; x = x XOR (x >> 13); x = x * 0xC2B2AE3D; x = x XOR (x >> 16)`, 32-bit wrapping) with two pinned vectors (`dataset_elem(0x00000fed, 0x9E3779B9, 0x7F4A7C15) = 0x5c7dabd2`, `dataset_elem(0x0fffffff, 0, 0) = 0x7662c1ec`). A diff of the spec between 8b834634 and 56eebc0d shows that block and one clause of the "what the parts catch" paragraph as the only changes. text.rs now carries `dataset_elem` written from that text and imports nothing from `igneum_pow` (0 `use igneum_pow` lines); the binary checks the two pinned vectors before the first seed and exits 4 on a mismatch (binary 47b72eadc5466e8054f5701cbb53881dec6afef9705300ac7be2a30defa84ae4). The run: the same 400 seeds, `adv3 textderive --from 0 --count 400 --threads 16` under `lease pool 16 --min 8` class adv on build-2, queue file 984, queued 01:51 BST with the pool at 88 of 88 leased. The count lands here. +The audit lane closed the gap of section 6.5 on build master 56eebc0d (01:49 BST, 8 October): 1.4.6.4 now states the closed form in full (`x = i XOR S0; x = x * 0x9E3779B1; x = x XOR (x >> 15); x = x + S1; x = x * 0x85EBCA77; x = x XOR (x >> 13); x = x * 0xC2B2AE3D; x = x XOR (x >> 16)`, 32-bit wrapping) with two pinned vectors (`dataset_elem(0x00000fed, 0x9E3779B9, 0x7F4A7C15) = 0x5c7dabd2`, `dataset_elem(0x0fffffff, 0, 0) = 0x7662c1ec`). A diff of the spec between 8b834634 and 56eebc0d shows that block and one clause of the "what the parts catch" paragraph as the only changes. text.rs now carries `dataset_elem` written from that text and imports nothing from `igneum_pow` (0 `use igneum_pow` lines); the binary checks the two pinned vectors before the first seed and exits 4 on a mismatch (binary 47b72eadc5466e8054f5701cbb53881dec6afef9705300ac7be2a30defa84ae4). The run: the same 400 seeds, `adv3 textderive --from 0 --count 400 --threads 16` under `lease pool 16 --min 8` class adv on build-2, queue file 984, queued 01:51 BST with the pool at 88 of 88 leased, granted 01:52 BST, ended 01:57 BST (log logs/adv-accept-3/984-textderive-56eebc0d.tsv). + +| Compared over 400 seeds, text at 56eebc0d, nothing from the crate | Equal | +|---|---| +| The 64 base instructions with every operand and window | 400 of 400 | +| The 256 shadow instructions | 400 of 400 | +| The chosen attempt (0 last resorts) | 400 of 400 | +| The program id | 400 of 400 | +| The rejection-part sequence of the earlier attempts | 400 of 400 | +| Every row identical to the Q4c row for the same seed on every field but the time | yes (`cmp` of the two logs' first eleven columns) | + +Result: 0 of 400 differ, and no sentence of sections 1.3, 1.4.2, 1.4.3, 1.4.6, 1.6, 1.7 or 1.13.1 still needs the crate: text.rs has no `use igneum_pow` line (file tools/attack/adv-accept-3/src/text.rs, 0 crate imports; the comparison target alone, in main.rs, calls the crate). The pinned vectors held at start. The documentary finding of section 6.2 is closed in full against 56eebc0d: the public spec text now reproduces the shipped class v4 program, attempt and id on every seed tried. Box-hours for the row: 0.02. ## 7. Q5: era steering (sweep 99) @@ -308,7 +319,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 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. +Spent at 01:58 BST on 8 October, every sweep of this lane ended, nothing holding or waiting on either box: about 3.35 box-hours (the Q4c and Q4d rows of sections 6.5 and 6.6 added 0.02 each). 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). @@ -343,6 +354,6 @@ Main's rule (relayed 20:2x BST): no sweep starts except through `/srv/builds/_bi | 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 | -| 984-adv-accept-3-textderive-56eebc0d.sh | 2 | textderive 0..400 against the spec text at 56eebc0d, nothing from the crate (Q4d) | queued 01:51 BST, pool full | +| 984-adv-accept-3-textderive-56eebc0d.sh | 2 | textderive 0..400 against the spec text at 56eebc0d, nothing from the crate (Q4d) | DONE 01:57 BST, 8 October: 0 of 400 differ, 0 crate imports | | 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-56eebc0d-run.sh b/tools/attack/adv-accept-3/textderive-56eebc0d-run.sh new file mode 100644 index 000000000..befc61445 --- /dev/null +++ b/tools/attack/adv-accept-3/textderive-56eebc0d-run.sh @@ -0,0 +1,8 @@ +#!/usr/bin/env bash +# adv-accept-3 Q4d (main's order, 8 Oct 2026 01:5x BST): the same 400 epoch programs derived from the spec text at +# build master 56eebc0d alone (text.rs, nothing from igneum_pow) against the code's chain draw. One lease, class adv, 16 cores min 8. +# Claim: mkdir /srv/builds/_adv/accept/claims/984-adv-accept-3-textderive-56eebc0d.sh +B=/srv/builds/_adv-accept-3/bin/adv3-47b72ead; D=/srv/builds/_adv-accept-3; LOG=$D/984-adv-accept-3-textderive-56eebc0d.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 56eebc0d" --owner adv-accept-3 -- $B textderive --from 0 --count 400 --threads '{cores}' >> $LOG 2>&1 +echo "done $(date -u +%FT%TZ) rc $?" >> $LOG.driver