1{2 "experiment": "sha256_local_collision_9step",3 "timestamp_utc": "2026-11-01T06:07:10+00:00",4 "command": "experiments/reduced_round_sha256/local_collision.py --seed 2 --n 100000 --sat-bits 31,0 --sat-timeout 900 --out results/reduced_round_sha256/local_collision_bits31_0_seed2.json",5 "cwd": "/Users/simon-pierreboucher/Desktop/UQO/Recherche/Recherche-UQO/mathematiques/beyond-square-root-barrier",6 "seed": 2,7 "host": {8 "hostname": "MacBookPro-de-simon-pierre-2.local",9 "os": "Darwin 27.0.0 (27.0)",10 "machine": "arm64",11 "python": "3.12.13",12 "cpu": "Apple M5 Max",13 "cores": 18,14 "ram_gb": 48.015 },16 "software": {17 "numpy": "2.5.4",18 "scipy": "1.18.1",19 "sympy": "1.14.0",20 "gmpy2": "2.3.2",21 "z3": "5.3.3",22 "pysat": "1.9.dev17",23 "ecdsa": "0.19.2",24 "coincurve": "21.0.0"25 },26 "params": {27 "n_per_bit": 100000,28 "start_step": 0,29 "sat_bits": [30 31,31 032 ],33 "sat_timeout_s": 900.0,34 "model": "GH03 structure, absorbing Boolean functions"35 },36 "measurements": {37 "linear_model": {38 "0": {39 "cancels_after_9_steps": true,40 "pattern_hex": [41 "00000001",42 "44280480",43 "850a2130",44 "00000000",45 "00000001",46 "44280480",47 "00000000",48 "00000000",49 "00000001"50 ],51 "register_difference_trajectory_hex": [52 [53 "00000001",54 "00000000",55 "00000000",56 "00000000",57 "00000001",58 "00000000",59 "00000000",60 "00000000"61 ],62 [63 "00000000",64 "00000001",65 "00000000",66 "00000000",67 "40080400",68 "00000001",69 "00000000",70 "00000000"71 ],72 [73 "00000000",74 "00000000",75 "00000001",76 "00000000",77 "00000000",78 "40080400",79 "00000001",80 "00000000"81 ],82 [83 "00000000",84 "00000000",85 "00000000",86 "00000001",87 "00000000",88 "00000000",89 "40080400",90 "00000001"91 ],92 [93 "00000000",94 "00000000",95 "00000000",96 "00000000",97 "00000001",98 "00000000",99 "00000000",100 "40080400"101 ],102 [103 "00000000",104 "00000000",105 "00000000",106 "00000000",107 "00000000",108 "00000001",109 "00000000",110 "00000000"111 ],112 [113 "00000000",114 "00000000",115 "00000000",116 "00000000",117 "00000000",118 "00000000",119 "00000001",120 "00000000"121 ],122 [123 "00000000",124 "00000000",125 "00000000",126 "00000000",127 "00000000",128 "00000000",129 "00000000",130 "00000001"131 ],132 [133 "00000000",134 "00000000",135 "00000000",136 "00000000",137 "00000000",138 "00000000",139 "00000000",140 "00000000"141 ]142 ]143 },144 "1": {145 "cancels_after_9_steps": true,146 "pattern_hex": [147 "00000002",148 "88500900",149 "0a144261",150 "00000000",151 "00000002",152 "88500900",153 "00000000",154 "00000000",155 "00000002"156 ],157 "register_difference_trajectory_hex": [158 [159 "00000002",160 "00000000",161 "00000000",162 "00000000",163 "00000002",164 "00000000",165 "00000000",166 "00000000"167 ],168 [169 "00000000",170 "00000002",171 "00000000",172 "00000000",173 "80100800",174 "00000002",175 "00000000",176 "00000000"177 ],178 [179 "00000000",180 "00000000",181 "00000002",182 "00000000",183 "00000000",184 "80100800",185 "00000002",186 "00000000"187 ],188 [189 "00000000",190 "00000000",191 "00000000",192 "00000002",193 "00000000",194 "00000000",195 "80100800",196 "00000002"197 ],198 [199 "00000000",200 "00000000",201 "00000000",202 "00000000",203 "00000002",204 "00000000",205 "00000000",206 "80100800"207 ],208 [209 "00000000",210 "00000000",211 "00000000",212 "00000000",213 "00000000",214 "00000002",215 "00000000",216 "00000000"217 ],218 [219 "00000000",220 "00000000",221 "00000000",222 "00000000",223 "00000000",224 "00000000",225 "00000002",226 "00000000"227 ],228 [229 "00000000",230 "00000000",231 "00000000",232 "00000000",233 "00000000",234 "00000000",235 "00000000",236 "00000002"237 ],238 [239 "00000000",240 "00000000",241 "00000000",242 "00000000",243 "00000000",244 "00000000",245 "00000000",246 "00000000"247 ]248 ]249 },250 "2": {251 "cancels_after_9_steps": true,252 "pattern_hex": [253 "00000004",254 "10a01201",255 "142884c2",256 "00000000",257 "00000004",258 "10a01201",259 "00000000",260 "00000000",261 "00000004"262 ],263 "register_difference_trajectory_hex": [264 [265 "00000004",266 "00000000",267 "00000000",268 "00000000",269 "00000004",270 "00000000",271 "00000000",272 "00000000"273 ],274 [275 "00000000",276 "00000004",277 "00000000",278 "00000000",279 "00201001",280 "00000004",281 "00000000",282 "00000000"283 ],284 [285 "00000000",286 "00000000",287 "00000004",288 "00000000",289 "00000000",290 "00201001",291 "00000004",292 "00000000"293 ],294 [295 "00000000",296 "00000000",297 "00000000",298 "00000004",299 "00000000",300 "00000000",301 "00201001",302 "00000004"303 ],304 [305 "00000000",306 "00000000",307 "00000000",308 "00000000",309 "00000004",310 "00000000",311 "00000000",312 "00201001"313 ],314 [315 "00000000",316 "00000000",317 "00000000",318 "00000000",319 "00000000",320 "00000004",321 "00000000",322 "00000000"323 ],324 [325 "00000000",326 "00000000",327 "00000000",328 "00000000",329 "00000000",330 "00000000",331 "00000004",332 "00000000"333 ],334 [335 "00000000",336 "00000000",337 "00000000",338 "00000000",339 "00000000",340 "00000000",341 "00000000",342 "00000004"343 ],344 [345 "00000000",346 "00000000",347 "00000000",348 "00000000",349 "00000000",350 "00000000",351 "00000000",352 "00000000"353 ]354 ]355 },356 "3": {357 "cancels_after_9_steps": true,358 "pattern_hex": [359 "00000008",360 "21402402",361 "28510984",362 "00000000",363 "00000008",364 "21402402",365 "00000000",366 "00000000",367 "00000008"368 ],369 "register_difference_trajectory_hex": [370 [371 "00000008",372 "00000000",373 "00000000",374 "00000000",375 "00000008",376 "00000000",377 "00000000",378 "00000000"379 ],380 [381 "00000000",382 "00000008",383 "00000000",384 "00000000",385 "00402002",386 "00000008",387 "00000000",388 "00000000"389 ],390 [391 "00000000",392 "00000000",393 "00000008",394 "00000000",395 "00000000",396 "00402002",397 "00000008",398 "00000000"399 ],400 [401 "00000000",402 "00000000",403 "00000000",404 "00000008",405 "00000000",406 "00000000",407 "00402002",408 "00000008"409 ],410 [411 "00000000",412 "00000000",413 "00000000",414 "00000000",415 "00000008",416 "00000000",417 "00000000",418 "00402002"419 ],420 [421 "00000000",422 "00000000",423 "00000000",424 "00000000",425 "00000000",426 "00000008",427 "00000000",428 "00000000"429 ],430 [431 "00000000",432 "00000000",433 "00000000",434 "00000000",435 "00000000",436 "00000000",437 "00000008",438 "00000000"439 ],440 [441 "00000000",442 "00000000",443 "00000000",444 "00000000",445 "00000000",446 "00000000",447 "00000000",448 "00000008"449 ],450 [451 "00000000",452 "00000000",453 "00000000",454 "00000000",455 "00000000",456 "00000000",457 "00000000",458 "00000000"459 ]460 ]461 },462 "4": {463 "cancels_after_9_steps": true,464 "pattern_hex": [465 "00000010",466 "42804804",467 "50a21308",468 "00000000",469 "00000010",470 "42804804",471 "00000000",472 "00000000",473 "00000010"474 ],475 "register_difference_trajectory_hex": [476 [477 "00000010",478 "00000000",479 "00000000",480 "00000000",481 "00000010",482 "00000000",483 "00000000",484 "00000000"485 ],486 [487 "00000000",488 "00000010",489 "00000000",490 "00000000",491 "00804004",492 "00000010",493 "00000000",494 "00000000"495 ],496 [497 "00000000",498 "00000000",499 "00000010",500 "00000000",501 "00000000",502 "00804004",503 "00000010",504 "00000000"505 ],506 [507 "00000000",508 "00000000",509 "00000000",510 "00000010",511 "00000000",512 "00000000",513 "00804004",514 "00000010"515 ],516 [517 "00000000",518 "00000000",519 "00000000",520 "00000000",521 "00000010",522 "00000000",523 "00000000",524 "00804004"525 ],526 [527 "00000000",528 "00000000",529 "00000000",530 "00000000",531 "00000000",532 "00000010",533 "00000000",534 "00000000"535 ],536 [537 "00000000",538 "00000000",539 "00000000",540 "00000000",541 "00000000",542 "00000000",543 "00000010",544 "00000000"545 ],546 [547 "00000000",548 "00000000",549 "00000000",550 "00000000",551 "00000000",552 "00000000",553 "00000000",554 "00000010"555 ],556 [557 "00000000",558 "00000000",559 "00000000",560 "00000000",561 "00000000",562 "00000000",563 "00000000",564 "00000000"565 ]566 ]567 },568 "5": {569 "cancels_after_9_steps": true,570 "pattern_hex": [571 "00000020",572 "85009008",573 "a1442610",574 "00000000",575 "00000020",576 "85009008",577 "00000000",578 "00000000",579 "00000020"580 ],581 "register_difference_trajectory_hex": [582 [583 "00000020",584 "00000000",585 "00000000",586 "00000000",587 "00000020",588 "00000000",589 "00000000",590 "00000000"591 ],592 [593 "00000000",594 "00000020",595 "00000000",596 "00000000",597 "01008008",598 "00000020",599 "00000000",600 "00000000"601 ],602 [603 "00000000",604 "00000000",605 "00000020",606 "00000000",607 "00000000",608 "01008008",609 "00000020",610 "00000000"611 ],612 [613 "00000000",614 "00000000",615 "00000000",616 "00000020",617 "00000000",618 "00000000",619 "01008008",620 "00000020"621 ],622 [623 "00000000",624 "00000000",625 "00000000",626 "00000000",627 "00000020",628 "00000000",629 "00000000",630 "01008008"631 ],632 [633 "00000000",634 "00000000",635 "00000000",636 "00000000",637 "00000000",638 "00000020",639 "00000000",640 "00000000"641 ],642 [643 "00000000",644 "00000000",645 "00000000",646 "00000000",647 "00000000",648 "00000000",649 "00000020",650 "00000000"651 ],652 [653 "00000000",654 "00000000",655 "00000000",656 "00000000",657 "00000000",658 "00000000",659 "00000000",660 "00000020"661 ],662 [663 "00000000",664 "00000000",665 "00000000",666 "00000000",667 "00000000",668 "00000000",669 "00000000",670 "00000000"671 ]672 ]673 },674 "6": {675 "cancels_after_9_steps": true,676 "pattern_hex": [677 "00000040",678 "0a012011",679 "42884c21",680 "00000000",681 "00000040",682 "0a012011",683 "00000000",684 "00000000",685 "00000040"686 ],687 "register_difference_trajectory_hex": [688 [689 "00000040",690 "00000000",691 "00000000",692 "00000000",693 "00000040",694 "00000000",695 "00000000",696 "00000000"697 ],698 [699 "00000000",700 "00000040",701 "00000000",702 "00000000",703 "02010010",704 "00000040",705 "00000000",706 "00000000"707 ],708 [709 "00000000",710 "00000000",711 "00000040",712 "00000000",713 "00000000",714 "02010010",715 "00000040",716 "00000000"717 ],718 [719 "00000000",720 "00000000",721 "00000000",722 "00000040",723 "00000000",724 "00000000",725 "02010010",726 "00000040"727 ],728 [729 "00000000",730 "00000000",731 "00000000",732 "00000000",733 "00000040",734 "00000000",735 "00000000",736 "02010010"737 ],738 [739 "00000000",740 "00000000",741 "00000000",742 "00000000",743 "00000000",744 "00000040",745 "00000000",746 "00000000"747 ],748 [749 "00000000",750 "00000000",751 "00000000",752 "00000000",753 "00000000",754 "00000000",755 "00000040",756 "00000000"757 ],758 [759 "00000000",760 "00000000",761 "00000000",762 "00000000",763 "00000000",764 "00000000",765 "00000000",766 "00000040"767 ],768 [769 "00000000",770 "00000000",771 "00000000",772 "00000000",773 "00000000",774 "00000000",775 "00000000",776 "00000000"777 ]778 ]779 },780 "7": {781 "cancels_after_9_steps": true,782 "pattern_hex": [783 "00000080",784 "14024022",785 "85109842",786 "00000000",787 "00000080",788 "14024022",789 "00000000",790 "00000000",791 "00000080"792 ],793 "register_difference_trajectory_hex": [794 [795 "00000080",796 "00000000",797 "00000000",798 "00000000",799 "00000080",800 "00000000",801 "00000000",802 "00000000"803 ],804 [805 "00000000",806 "00000080",807 "00000000",808 "00000000",809 "04020020",810 "00000080",811 "00000000",812 "00000000"813 ],814 [815 "00000000",816 "00000000",817 "00000080",818 "00000000",819 "00000000",820 "04020020",821 "00000080",822 "00000000"823 ],824 [825 "00000000",826 "00000000",827 "00000000",828 "00000080",829 "00000000",830 "00000000",831 "04020020",832 "00000080"833 ],834 [835 "00000000",836 "00000000",837 "00000000",838 "00000000",839 "00000080",840 "00000000",841 "00000000",842 "04020020"843 ],844 [845 "00000000",846 "00000000",847 "00000000",848 "00000000",849 "00000000",850 "00000080",851 "00000000",852 "00000000"853 ],854 [855 "00000000",856 "00000000",857 "00000000",858 "00000000",859 "00000000",860 "00000000",861 "00000080",862 "00000000"863 ],864 [865 "00000000",866 "00000000",867 "00000000",868 "00000000",869 "00000000",870 "00000000",871 "00000000",872 "00000080"873 ],874 [875 "00000000",876 "00000000",877 "00000000",878 "00000000",879 "00000000",880 "00000000",881 "00000000",882 "00000000"883 ]884 ]885 },886 "8": {887 "cancels_after_9_steps": true,888 "pattern_hex": [889 "00000100",890 "28048044",891 "0a213085",892 "00000000",893 "00000100",894 "28048044",895 "00000000",896 "00000000",897 "00000100"898 ],899 "register_difference_trajectory_hex": [900 [901 "00000100",902 "00000000",903 "00000000",904 "00000000",905 "00000100",906 "00000000",907 "00000000",908 "00000000"909 ],910 [911 "00000000",912 "00000100",913 "00000000",914 "00000000",915 "08040040",916 "00000100",917 "00000000",918 "00000000"919 ],920 [921 "00000000",922 "00000000",923 "00000100",924 "00000000",925 "00000000",926 "08040040",927 "00000100",928 "00000000"929 ],930 [931 "00000000",932 "00000000",933 "00000000",934 "00000100",935 "00000000",936 "00000000",937 "08040040",938 "00000100"939 ],940 [941 "00000000",942 "00000000",943 "00000000",944 "00000000",945 "00000100",946 "00000000",947 "00000000",948 "08040040"949 ],950 [951 "00000000",952 "00000000",953 "00000000",954 "00000000",955 "00000000",956 "00000100",957 "00000000",958 "00000000"959 ],960 [961 "00000000",962 "00000000",963 "00000000",964 "00000000",965 "00000000",966 "00000000",967 "00000100",968 "00000000"969 ],970 [971 "00000000",972 "00000000",973 "00000000",974 "00000000",975 "00000000",976 "00000000",977 "00000000",978 "00000100"979 ],980 [981 "00000000",982 "00000000",983 "00000000",984 "00000000",985 "00000000",986 "00000000",987 "00000000",988 "00000000"989 ]990 ]991 },992 "9": {993 "cancels_after_9_steps": true,994 "pattern_hex": [995 "00000200",996 "50090088",997 "1442610a",998 "00000000",999 "00000200",1000 "50090088",1001 "00000000",1002 "00000000",1003 "00000200"1004 ],1005 "register_difference_trajectory_hex": [1006 [1007 "00000200",1008 "00000000",1009 "00000000",1010 "00000000",1011 "00000200",1012 "00000000",1013 "00000000",1014 "00000000"1015 ],1016 [1017 "00000000",1018 "00000200",1019 "00000000",1020 "00000000",1021 "10080080",1022 "00000200",1023 "00000000",1024 "00000000"1025 ],1026 [1027 "00000000",1028 "00000000",1029 "00000200",1030 "00000000",1031 "00000000",1032 "10080080",1033 "00000200",1034 "00000000"1035 ],1036 [1037 "00000000",1038 "00000000",1039 "00000000",1040 "00000200",1041 "00000000",1042 "00000000",1043 "10080080",1044 "00000200"1045 ],1046 [1047 "00000000",1048 "00000000",1049 "00000000",1050 "00000000",1051 "00000200",1052 "00000000",1053 "00000000",1054 "10080080"1055 ],1056 [1057 "00000000",1058 "00000000",1059 "00000000",1060 "00000000",1061 "00000000",1062 "00000200",1063 "00000000",1064 "00000000"1065 ],1066 [1067 "00000000",1068 "00000000",1069 "00000000",1070 "00000000",1071 "00000000",1072 "00000000",1073 "00000200",1074 "00000000"1075 ],1076 [1077 "00000000",1078 "00000000",1079 "00000000",1080 "00000000",1081 "00000000",1082 "00000000",1083 "00000000",1084 "00000200"1085 ],1086 [1087 "00000000",1088 "00000000",1089 "00000000",1090 "00000000",1091 "00000000",1092 "00000000",1093 "00000000",1094 "00000000"1095 ]1096 ]1097 },1098 "10": {1099 "cancels_after_9_steps": true,1100 "pattern_hex": [1101 "00000400",1102 "a0120110",1103 "2884c214",1104 "00000000",1105 "00000400",1106 "a0120110",1107 "00000000",1108 "00000000",1109 "00000400"1110 ],1111 "register_difference_trajectory_hex": [1112 [1113 "00000400",1114 "00000000",1115 "00000000",1116 "00000000",1117 "00000400",1118 "00000000",1119 "00000000",1120 "00000000"1121 ],1122 [1123 "00000000",1124 "00000400",1125 "00000000",1126 "00000000",1127 "20100100",1128 "00000400",1129 "00000000",1130 "00000000"1131 ],1132 [1133 "00000000",1134 "00000000",1135 "00000400",1136 "00000000",1137 "00000000",1138 "20100100",1139 "00000400",1140 "00000000"1141 ],1142 [1143 "00000000",1144 "00000000",1145 "00000000",1146 "00000400",1147 "00000000",1148 "00000000",1149 "20100100",1150 "00000400"1151 ],1152 [1153 "00000000",1154 "00000000",1155 "00000000",1156 "00000000",1157 "00000400",1158 "00000000",1159 "00000000",1160 "20100100"1161 ],1162 [1163 "00000000",1164 "00000000",1165 "00000000",1166 "00000000",1167 "00000000",1168 "00000400",1169 "00000000",1170 "00000000"1171 ],1172 [1173 "00000000",1174 "00000000",1175 "00000000",1176 "00000000",1177 "00000000",1178 "00000000",1179 "00000400",1180 "00000000"1181 ],1182 [1183 "00000000",1184 "00000000",1185 "00000000",1186 "00000000",1187 "00000000",1188 "00000000",1189 "00000000",1190 "00000400"1191 ],1192 [1193 "00000000",1194 "00000000",1195 "00000000",1196 "00000000",1197 "00000000",1198 "00000000",1199 "00000000",1200 "00000000"1201 ]1202 ]1203 },1204 "11": {1205 "cancels_after_9_steps": true,1206 "pattern_hex": [1207 "00000800",1208 "40240221",1209 "51098428",1210 "00000000",1211 "00000800",1212 "40240221",1213 "00000000",1214 "00000000",1215 "00000800"1216 ],1217 "register_difference_trajectory_hex": [1218 [1219 "00000800",1220 "00000000",1221 "00000000",1222 "00000000",1223 "00000800",1224 "00000000",1225 "00000000",1226 "00000000"1227 ],1228 [1229 "00000000",1230 "00000800",1231 "00000000",1232 "00000000",1233 "40200200",1234 "00000800",1235 "00000000",1236 "00000000"1237 ],1238 [1239 "00000000",1240 "00000000",1241 "00000800",1242 "00000000",1243 "00000000",1244 "40200200",1245 "00000800",1246 "00000000"1247 ],1248 [1249 "00000000",1250 "00000000",1251 "00000000",1252 "00000800",1253 "00000000",1254 "00000000",1255 "40200200",1256 "00000800"1257 ],1258 [1259 "00000000",1260 "00000000",1261 "00000000",1262 "00000000",1263 "00000800",1264 "00000000",1265 "00000000",1266 "40200200"1267 ],1268 [1269 "00000000",1270 "00000000",1271 "00000000",1272 "00000000",1273 "00000000",1274 "00000800",1275 "00000000",1276 "00000000"1277 ],1278 [1279 "00000000",1280 "00000000",1281 "00000000",1282 "00000000",1283 "00000000",1284 "00000000",1285 "00000800",1286 "00000000"1287 ],1288 [1289 "00000000",1290 "00000000",1291 "00000000",1292 "00000000",1293 "00000000",1294 "00000000",1295 "00000000",1296 "00000800"1297 ],1298 [1299 "00000000",1300 "00000000",1301 "00000000",1302 "00000000",1303 "00000000",1304 "00000000",1305 "00000000",1306 "00000000"1307 ]1308 ]1309 },1310 "12": {1311 "cancels_after_9_steps": true,1312 "pattern_hex": [1313 "00001000",1314 "80480442",1315 "a2130850",1316 "00000000",1317 "00001000",1318 "80480442",1319 "00000000",1320 "00000000",1321 "00001000"1322 ],1323 "register_difference_trajectory_hex": [1324 [1325 "00001000",1326 "00000000",1327 "00000000",1328 "00000000",1329 "00001000",1330 "00000000",1331 "00000000",1332 "00000000"1333 ],1334 [1335 "00000000",1336 "00001000",1337 "00000000",1338 "00000000",1339 "80400400",1340 "00001000",1341 "00000000",1342 "00000000"1343 ],1344 [1345 "00000000",1346 "00000000",1347 "00001000",1348 "00000000",1349 "00000000",1350 "80400400",1351 "00001000",1352 "00000000"1353 ],1354 [1355 "00000000",1356 "00000000",1357 "00000000",1358 "00001000",1359 "00000000",1360 "00000000",1361 "80400400",1362 "00001000"1363 ],1364 [1365 "00000000",1366 "00000000",1367 "00000000",1368 "00000000",1369 "00001000",1370 "00000000",1371 "00000000",1372 "80400400"1373 ],1374 [1375 "00000000",1376 "00000000",1377 "00000000",1378 "00000000",1379 "00000000",1380 "00001000",1381 "00000000",1382 "00000000"1383 ],1384 [1385 "00000000",1386 "00000000",1387 "00000000",1388 "00000000",1389 "00000000",1390 "00000000",1391 "00001000",1392 "00000000"1393 ],1394 [1395 "00000000",1396 "00000000",1397 "00000000",1398 "00000000",1399 "00000000",1400 "00000000",1401 "00000000",1402 "00001000"1403 ],1404 [1405 "00000000",1406 "00000000",1407 "00000000",1408 "00000000",1409 "00000000",1410 "00000000",1411 "00000000",1412 "00000000"1413 ]1414 ]1415 },1416 "13": {1417 "cancels_after_9_steps": true,1418 "pattern_hex": [1419 "00002000",1420 "00900885",1421 "442610a1",1422 "00000000",1423 "00002000",1424 "00900885",1425 "00000000",1426 "00000000",1427 "00002000"1428 ],1429 "register_difference_trajectory_hex": [1430 [1431 "00002000",1432 "00000000",1433 "00000000",1434 "00000000",1435 "00002000",1436 "00000000",1437 "00000000",1438 "00000000"1439 ],1440 [1441 "00000000",1442 "00002000",1443 "00000000",1444 "00000000",1445 "00800801",1446 "00002000",1447 "00000000",1448 "00000000"1449 ],1450 [1451 "00000000",1452 "00000000",1453 "00002000",1454 "00000000",1455 "00000000",1456 "00800801",1457 "00002000",1458 "00000000"1459 ],1460 [1461 "00000000",1462 "00000000",1463 "00000000",1464 "00002000",1465 "00000000",1466 "00000000",1467 "00800801",1468 "00002000"1469 ],1470 [1471 "00000000",1472 "00000000",1473 "00000000",1474 "00000000",1475 "00002000",1476 "00000000",1477 "00000000",1478 "00800801"1479 ],1480 [1481 "00000000",1482 "00000000",1483 "00000000",1484 "00000000",1485 "00000000",1486 "00002000",1487 "00000000",1488 "00000000"1489 ],1490 [1491 "00000000",1492 "00000000",1493 "00000000",1494 "00000000",1495 "00000000",1496 "00000000",1497 "00002000",1498 "00000000"1499 ],1500 [1501 "00000000",1502 "00000000",1503 "00000000",1504 "00000000",1505 "00000000",1506 "00000000",1507 "00000000",1508 "00002000"1509 ],1510 [1511 "00000000",1512 "00000000",1513 "00000000",1514 "00000000",1515 "00000000",1516 "00000000",1517 "00000000",1518 "00000000"1519 ]1520 ]1521 },1522 "14": {1523 "cancels_after_9_steps": true,1524 "pattern_hex": [1525 "00004000",1526 "0120110a",1527 "884c2142",1528 "00000000",1529 "00004000",1530 "0120110a",1531 "00000000",1532 "00000000",1533 "00004000"1534 ],1535 "register_difference_trajectory_hex": [1536 [1537 "00004000",1538 "00000000",1539 "00000000",1540 "00000000",1541 "00004000",1542 "00000000",1543 "00000000",1544 "00000000"1545 ],1546 [1547 "00000000",1548 "00004000",1549 "00000000",1550 "00000000",1551 "01001002",1552 "00004000",1553 "00000000",1554 "00000000"1555 ],1556 [1557 "00000000",1558 "00000000",1559 "00004000",1560 "00000000",1561 "00000000",1562 "01001002",1563 "00004000",1564 "00000000"1565 ],1566 [1567 "00000000",1568 "00000000",1569 "00000000",1570 "00004000",1571 "00000000",1572 "00000000",1573 "01001002",1574 "00004000"1575 ],1576 [1577 "00000000",1578 "00000000",1579 "00000000",1580 "00000000",1581 "00004000",1582 "00000000",1583 "00000000",1584 "01001002"1585 ],1586 [1587 "00000000",1588 "00000000",1589 "00000000",1590 "00000000",1591 "00000000",1592 "00004000",1593 "00000000",1594 "00000000"1595 ],1596 [1597 "00000000",1598 "00000000",1599 "00000000",1600 "00000000",1601 "00000000",1602 "00000000",1603 "00004000",1604 "00000000"1605 ],1606 [1607 "00000000",1608 "00000000",1609 "00000000",1610 "00000000",1611 "00000000",1612 "00000000",1613 "00000000",1614 "00004000"1615 ],1616 [1617 "00000000",1618 "00000000",1619 "00000000",1620 "00000000",1621 "00000000",1622 "00000000",1623 "00000000",1624 "00000000"1625 ]1626 ]1627 },1628 "15": {1629 "cancels_after_9_steps": true,1630 "pattern_hex": [1631 "00008000",1632 "02402214",1633 "10984285",1634 "00000000",1635 "00008000",1636 "02402214",1637 "00000000",1638 "00000000",1639 "00008000"1640 ],1641 "register_difference_trajectory_hex": [1642 [1643 "00008000",1644 "00000000",1645 "00000000",1646 "00000000",1647 "00008000",1648 "00000000",1649 "00000000",1650 "00000000"1651 ],1652 [1653 "00000000",1654 "00008000",1655 "00000000",1656 "00000000",1657 "02002004",1658 "00008000",1659 "00000000",1660 "00000000"1661 ],1662 [1663 "00000000",1664 "00000000",1665 "00008000",1666 "00000000",1667 "00000000",1668 "02002004",1669 "00008000",1670 "00000000"1671 ],1672 [1673 "00000000",1674 "00000000",1675 "00000000",1676 "00008000",1677 "00000000",1678 "00000000",1679 "02002004",1680 "00008000"1681 ],1682 [1683 "00000000",1684 "00000000",1685 "00000000",1686 "00000000",1687 "00008000",1688 "00000000",1689 "00000000",1690 "02002004"1691 ],1692 [1693 "00000000",1694 "00000000",1695 "00000000",1696 "00000000",1697 "00000000",1698 "00008000",1699 "00000000",1700 "00000000"1701 ],1702 [1703 "00000000",1704 "00000000",1705 "00000000",1706 "00000000",1707 "00000000",1708 "00000000",1709 "00008000",1710 "00000000"1711 ],1712 [1713 "00000000",1714 "00000000",1715 "00000000",1716 "00000000",1717 "00000000",1718 "00000000",1719 "00000000",1720 "00008000"1721 ],1722 [1723 "00000000",1724 "00000000",1725 "00000000",1726 "00000000",1727 "00000000",1728 "00000000",1729 "00000000",1730 "00000000"1731 ]1732 ]1733 },1734 "16": {1735 "cancels_after_9_steps": true,1736 "pattern_hex": [1737 "00010000",1738 "04804428",1739 "2130850a",1740 "00000000",1741 "00010000",1742 "04804428",1743 "00000000",1744 "00000000",1745 "00010000"1746 ],1747 "register_difference_trajectory_hex": [1748 [1749 "00010000",1750 "00000000",1751 "00000000",1752 "00000000",1753 "00010000",1754 "00000000",1755 "00000000",1756 "00000000"1757 ],1758 [1759 "00000000",1760 "00010000",1761 "00000000",1762 "00000000",1763 "04004008",1764 "00010000",1765 "00000000",1766 "00000000"1767 ],1768 [1769 "00000000",1770 "00000000",1771 "00010000",1772 "00000000",1773 "00000000",1774 "04004008",1775 "00010000",1776 "00000000"1777 ],1778 [1779 "00000000",1780 "00000000",1781 "00000000",1782 "00010000",1783 "00000000",1784 "00000000",1785 "04004008",1786 "00010000"1787 ],1788 [1789 "00000000",1790 "00000000",1791 "00000000",1792 "00000000",1793 "00010000",1794 "00000000",1795 "00000000",1796 "04004008"1797 ],1798 [1799 "00000000",1800 "00000000",1801 "00000000",1802 "00000000",1803 "00000000",1804 "00010000",1805 "00000000",1806 "00000000"1807 ],1808 [1809 "00000000",1810 "00000000",1811 "00000000",1812 "00000000",1813 "00000000",1814 "00000000",1815 "00010000",1816 "00000000"1817 ],1818 [1819 "00000000",1820 "00000000",1821 "00000000",1822 "00000000",1823 "00000000",1824 "00000000",1825 "00000000",1826 "00010000"1827 ],1828 [1829 "00000000",1830 "00000000",1831 "00000000",1832 "00000000",1833 "00000000",1834 "00000000",1835 "00000000",1836 "00000000"1837 ]1838 ]1839 },1840 "17": {1841 "cancels_after_9_steps": true,1842 "pattern_hex": [1843 "00020000",1844 "09008850",1845 "42610a14",1846 "00000000",1847 "00020000",1848 "09008850",1849 "00000000",1850 "00000000",1851 "00020000"1852 ],1853 "register_difference_trajectory_hex": [1854 [1855 "00020000",1856 "00000000",1857 "00000000",1858 "00000000",1859 "00020000",1860 "00000000",1861 "00000000",1862 "00000000"1863 ],1864 [1865 "00000000",1866 "00020000",1867 "00000000",1868 "00000000",1869 "08008010",1870 "00020000",1871 "00000000",1872 "00000000"1873 ],1874 [1875 "00000000",1876 "00000000",1877 "00020000",1878 "00000000",1879 "00000000",1880 "08008010",1881 "00020000",1882 "00000000"1883 ],1884 [1885 "00000000",1886 "00000000",1887 "00000000",1888 "00020000",1889 "00000000",1890 "00000000",1891 "08008010",1892 "00020000"1893 ],1894 [1895 "00000000",1896 "00000000",1897 "00000000",1898 "00000000",1899 "00020000",1900 "00000000",1901 "00000000",1902 "08008010"1903 ],1904 [1905 "00000000",1906 "00000000",1907 "00000000",1908 "00000000",1909 "00000000",1910 "00020000",1911 "00000000",1912 "00000000"1913 ],1914 [1915 "00000000",1916 "00000000",1917 "00000000",1918 "00000000",1919 "00000000",1920 "00000000",1921 "00020000",1922 "00000000"1923 ],1924 [1925 "00000000",1926 "00000000",1927 "00000000",1928 "00000000",1929 "00000000",1930 "00000000",1931 "00000000",1932 "00020000"1933 ],1934 [1935 "00000000",1936 "00000000",1937 "00000000",1938 "00000000",1939 "00000000",1940 "00000000",1941 "00000000",1942 "00000000"1943 ]1944 ]1945 },1946 "18": {1947 "cancels_after_9_steps": true,1948 "pattern_hex": [1949 "00040000",1950 "120110a0",1951 "84c21428",1952 "00000000",1953 "00040000",1954 "120110a0",1955 "00000000",1956 "00000000",1957 "00040000"1958 ],1959 "register_difference_trajectory_hex": [1960 [1961 "00040000",1962 "00000000",1963 "00000000",1964 "00000000",1965 "00040000",1966 "00000000",1967 "00000000",1968 "00000000"1969 ],1970 [1971 "00000000",1972 "00040000",1973 "00000000",1974 "00000000",1975 "10010020",1976 "00040000",1977 "00000000",1978 "00000000"1979 ],1980 [1981 "00000000",1982 "00000000",1983 "00040000",1984 "00000000",1985 "00000000",1986 "10010020",1987 "00040000",1988 "00000000"1989 ],1990 [1991 "00000000",1992 "00000000",1993 "00000000",1994 "00040000",1995 "00000000",1996 "00000000",1997 "10010020",1998 "00040000"1999 ],2000 [2001 "00000000",2002 "00000000",2003 "00000000",2004 "00000000",2005 "00040000",2006 "00000000",2007 "00000000",2008 "10010020"2009 ],2010 [2011 "00000000",2012 "00000000",2013 "00000000",2014 "00000000",2015 "00000000",2016 "00040000",2017 "00000000",2018 "00000000"2019 ],2020 [2021 "00000000",2022 "00000000",2023 "00000000",2024 "00000000",2025 "00000000",2026 "00000000",2027 "00040000",2028 "00000000"2029 ],2030 [2031 "00000000",2032 "00000000",2033 "00000000",2034 "00000000",2035 "00000000",2036 "00000000",2037 "00000000",2038 "00040000"2039 ],2040 [2041 "00000000",2042 "00000000",2043 "00000000",2044 "00000000",2045 "00000000",2046 "00000000",2047 "00000000",2048 "00000000"2049 ]2050 ]2051 },2052 "19": {2053 "cancels_after_9_steps": true,2054 "pattern_hex": [2055 "00080000",2056 "24022140",2057 "09842851",2058 "00000000",2059 "00080000",2060 "24022140",2061 "00000000",2062 "00000000",2063 "00080000"2064 ],2065 "register_difference_trajectory_hex": [2066 [2067 "00080000",2068 "00000000",2069 "00000000",2070 "00000000",2071 "00080000",2072 "00000000",2073 "00000000",2074 "00000000"2075 ],2076 [2077 "00000000",2078 "00080000",2079 "00000000",2080 "00000000",2081 "20020040",2082 "00080000",2083 "00000000",2084 "00000000"2085 ],2086 [2087 "00000000",2088 "00000000",2089 "00080000",2090 "00000000",2091 "00000000",2092 "20020040",2093 "00080000",2094 "00000000"2095 ],2096 [2097 "00000000",2098 "00000000",2099 "00000000",2100 "00080000",2101 "00000000",2102 "00000000",2103 "20020040",2104 "00080000"2105 ],2106 [2107 "00000000",2108 "00000000",2109 "00000000",2110 "00000000",2111 "00080000",2112 "00000000",2113 "00000000",2114 "20020040"2115 ],2116 [2117 "00000000",2118 "00000000",2119 "00000000",2120 "00000000",2121 "00000000",2122 "00080000",2123 "00000000",2124 "00000000"2125 ],2126 [2127 "00000000",2128 "00000000",2129 "00000000",2130 "00000000",2131 "00000000",2132 "00000000",2133 "00080000",2134 "00000000"2135 ],2136 [2137 "00000000",2138 "00000000",2139 "00000000",2140 "00000000",2141 "00000000",2142 "00000000",2143 "00000000",2144 "00080000"2145 ],2146 [2147 "00000000",2148 "00000000",2149 "00000000",2150 "00000000",2151 "00000000",2152 "00000000",2153 "00000000",2154 "00000000"2155 ]2156 ]2157 },2158 "20": {2159 "cancels_after_9_steps": true,2160 "pattern_hex": [2161 "00100000",2162 "48044280",2163 "130850a2",2164 "00000000",2165 "00100000",2166 "48044280",2167 "00000000",2168 "00000000",2169 "00100000"2170 ],2171 "register_difference_trajectory_hex": [2172 [2173 "00100000",2174 "00000000",2175 "00000000",2176 "00000000",2177 "00100000",2178 "00000000",2179 "00000000",2180 "00000000"2181 ],2182 [2183 "00000000",2184 "00100000",2185 "00000000",2186 "00000000",2187 "40040080",2188 "00100000",2189 "00000000",2190 "00000000"2191 ],2192 [2193 "00000000",2194 "00000000",2195 "00100000",2196 "00000000",2197 "00000000",2198 "40040080",2199 "00100000",2200 "00000000"2201 ],2202 [2203 "00000000",2204 "00000000",2205 "00000000",2206 "00100000",2207 "00000000",2208 "00000000",2209 "40040080",2210 "00100000"2211 ],2212 [2213 "00000000",2214 "00000000",2215 "00000000",2216 "00000000",2217 "00100000",2218 "00000000",2219 "00000000",2220 "40040080"2221 ],2222 [2223 "00000000",2224 "00000000",2225 "00000000",2226 "00000000",2227 "00000000",2228 "00100000",2229 "00000000",2230 "00000000"2231 ],2232 [2233 "00000000",2234 "00000000",2235 "00000000",2236 "00000000",2237 "00000000",2238 "00000000",2239 "00100000",2240 "00000000"2241 ],2242 [2243 "00000000",2244 "00000000",2245 "00000000",2246 "00000000",2247 "00000000",2248 "00000000",2249 "00000000",2250 "00100000"2251 ],2252 [2253 "00000000",2254 "00000000",2255 "00000000",2256 "00000000",2257 "00000000",2258 "00000000",2259 "00000000",2260 "00000000"2261 ]2262 ]2263 },2264 "21": {2265 "cancels_after_9_steps": true,2266 "pattern_hex": [2267 "00200000",2268 "90088500",2269 "2610a144",2270 "00000000",2271 "00200000",2272 "90088500",2273 "00000000",2274 "00000000",2275 "00200000"2276 ],2277 "register_difference_trajectory_hex": [2278 [2279 "00200000",2280 "00000000",2281 "00000000",2282 "00000000",2283 "00200000",2284 "00000000",2285 "00000000",2286 "00000000"2287 ],2288 [2289 "00000000",2290 "00200000",2291 "00000000",2292 "00000000",2293 "80080100",2294 "00200000",2295 "00000000",2296 "00000000"2297 ],2298 [2299 "00000000",2300 "00000000",2301 "00200000",2302 "00000000",2303 "00000000",2304 "80080100",2305 "00200000",2306 "00000000"2307 ],2308 [2309 "00000000",2310 "00000000",2311 "00000000",2312 "00200000",2313 "00000000",2314 "00000000",2315 "80080100",2316 "00200000"2317 ],2318 [2319 "00000000",2320 "00000000",2321 "00000000",2322 "00000000",2323 "00200000",2324 "00000000",2325 "00000000",2326 "80080100"2327 ],2328 [2329 "00000000",2330 "00000000",2331 "00000000",2332 "00000000",2333 "00000000",2334 "00200000",2335 "00000000",2336 "00000000"2337 ],2338 [2339 "00000000",2340 "00000000",2341 "00000000",2342 "00000000",2343 "00000000",2344 "00000000",2345 "00200000",2346 "00000000"2347 ],2348 [2349 "00000000",2350 "00000000",2351 "00000000",2352 "00000000",2353 "00000000",2354 "00000000",2355 "00000000",2356 "00200000"2357 ],2358 [2359 "00000000",2360 "00000000",2361 "00000000",2362 "00000000",2363 "00000000",2364 "00000000",2365 "00000000",2366 "00000000"2367 ]2368 ]2369 },2370 "22": {2371 "cancels_after_9_steps": true,2372 "pattern_hex": [2373 "00400000",2374 "20110a01",2375 "4c214288",2376 "00000000",2377 "00400000",2378 "20110a01",2379 "00000000",2380 "00000000",2381 "00400000"2382 ],2383 "register_difference_trajectory_hex": [2384 [2385 "00400000",2386 "00000000",2387 "00000000",2388 "00000000",2389 "00400000",2390 "00000000",2391 "00000000",2392 "00000000"2393 ],2394 [2395 "00000000",2396 "00400000",2397 "00000000",2398 "00000000",2399 "00100201",2400 "00400000",2401 "00000000",2402 "00000000"2403 ],2404 [2405 "00000000",2406 "00000000",2407 "00400000",2408 "00000000",2409 "00000000",2410 "00100201",2411 "00400000",2412 "00000000"2413 ],2414 [2415 "00000000",2416 "00000000",2417 "00000000",2418 "00400000",2419 "00000000",2420 "00000000",2421 "00100201",2422 "00400000"2423 ],2424 [2425 "00000000",2426 "00000000",2427 "00000000",2428 "00000000",2429 "00400000",2430 "00000000",2431 "00000000",2432 "00100201"2433 ],2434 [2435 "00000000",2436 "00000000",2437 "00000000",2438 "00000000",2439 "00000000",2440 "00400000",2441 "00000000",2442 "00000000"2443 ],2444 [2445 "00000000",2446 "00000000",2447 "00000000",2448 "00000000",2449 "00000000",2450 "00000000",2451 "00400000",2452 "00000000"2453 ],2454 [2455 "00000000",2456 "00000000",2457 "00000000",2458 "00000000",2459 "00000000",2460 "00000000",2461 "00000000",2462 "00400000"2463 ],2464 [2465 "00000000",2466 "00000000",2467 "00000000",2468 "00000000",2469 "00000000",2470 "00000000",2471 "00000000",2472 "00000000"2473 ]2474 ]2475 },2476 "23": {2477 "cancels_after_9_steps": true,2478 "pattern_hex": [2479 "00800000",2480 "40221402",2481 "98428510",2482 "00000000",2483 "00800000",2484 "40221402",2485 "00000000",2486 "00000000",2487 "00800000"2488 ],2489 "register_difference_trajectory_hex": [2490 [2491 "00800000",2492 "00000000",2493 "00000000",2494 "00000000",2495 "00800000",2496 "00000000",2497 "00000000",2498 "00000000"2499 ],2500 [2501 "00000000",2502 "00800000",2503 "00000000",2504 "00000000",2505 "00200402",2506 "00800000",2507 "00000000",2508 "00000000"2509 ],2510 [2511 "00000000",2512 "00000000",2513 "00800000",2514 "00000000",2515 "00000000",2516 "00200402",2517 "00800000",2518 "00000000"2519 ],2520 [2521 "00000000",2522 "00000000",2523 "00000000",2524 "00800000",2525 "00000000",2526 "00000000",2527 "00200402",2528 "00800000"2529 ],2530 [2531 "00000000",2532 "00000000",2533 "00000000",2534 "00000000",2535 "00800000",2536 "00000000",2537 "00000000",2538 "00200402"2539 ],2540 [2541 "00000000",2542 "00000000",2543 "00000000",2544 "00000000",2545 "00000000",2546 "00800000",2547 "00000000",2548 "00000000"2549 ],2550 [2551 "00000000",2552 "00000000",2553 "00000000",2554 "00000000",2555 "00000000",2556 "00000000",2557 "00800000",2558 "00000000"2559 ],2560 [2561 "00000000",2562 "00000000",2563 "00000000",2564 "00000000",2565 "00000000",2566 "00000000",2567 "00000000",2568 "00800000"2569 ],2570 [2571 "00000000",2572 "00000000",2573 "00000000",2574 "00000000",2575 "00000000",2576 "00000000",2577 "00000000",2578 "00000000"2579 ]2580 ]2581 },2582 "24": {2583 "cancels_after_9_steps": true,2584 "pattern_hex": [2585 "01000000",2586 "80442804",2587 "30850a21",2588 "00000000",2589 "01000000",2590 "80442804",2591 "00000000",2592 "00000000",2593 "01000000"2594 ],2595 "register_difference_trajectory_hex": [2596 [2597 "01000000",2598 "00000000",2599 "00000000",2600 "00000000",2601 "01000000",2602 "00000000",2603 "00000000",2604 "00000000"2605 ],2606 [2607 "00000000",2608 "01000000",2609 "00000000",2610 "00000000",2611 "00400804",2612 "01000000",2613 "00000000",2614 "00000000"2615 ],2616 [2617 "00000000",2618 "00000000",2619 "01000000",2620 "00000000",2621 "00000000",2622 "00400804",2623 "01000000",2624 "00000000"2625 ],2626 [2627 "00000000",2628 "00000000",2629 "00000000",2630 "01000000",2631 "00000000",2632 "00000000",2633 "00400804",2634 "01000000"2635 ],2636 [2637 "00000000",2638 "00000000",2639 "00000000",2640 "00000000",2641 "01000000",2642 "00000000",2643 "00000000",2644 "00400804"2645 ],2646 [2647 "00000000",2648 "00000000",2649 "00000000",2650 "00000000",2651 "00000000",2652 "01000000",2653 "00000000",2654 "00000000"2655 ],2656 [2657 "00000000",2658 "00000000",2659 "00000000",2660 "00000000",2661 "00000000",2662 "00000000",2663 "01000000",2664 "00000000"2665 ],2666 [2667 "00000000",2668 "00000000",2669 "00000000",2670 "00000000",2671 "00000000",2672 "00000000",2673 "00000000",2674 "01000000"2675 ],2676 [2677 "00000000",2678 "00000000",2679 "00000000",2680 "00000000",2681 "00000000",2682 "00000000",2683 "00000000",2684 "00000000"2685 ]2686 ]2687 },2688 "25": {2689 "cancels_after_9_steps": true,2690 "pattern_hex": [2691 "02000000",2692 "00885009",2693 "610a1442",2694 "00000000",2695 "02000000",2696 "00885009",2697 "00000000",2698 "00000000",2699 "02000000"2700 ],2701 "register_difference_trajectory_hex": [2702 [2703 "02000000",2704 "00000000",2705 "00000000",2706 "00000000",2707 "02000000",2708 "00000000",2709 "00000000",2710 "00000000"2711 ],2712 [2713 "00000000",2714 "02000000",2715 "00000000",2716 "00000000",2717 "00801008",2718 "02000000",2719 "00000000",2720 "00000000"2721 ],2722 [2723 "00000000",2724 "00000000",2725 "02000000",2726 "00000000",2727 "00000000",2728 "00801008",2729 "02000000",2730 "00000000"2731 ],2732 [2733 "00000000",2734 "00000000",2735 "00000000",2736 "02000000",2737 "00000000",2738 "00000000",2739 "00801008",2740 "02000000"2741 ],2742 [2743 "00000000",2744 "00000000",2745 "00000000",2746 "00000000",2747 "02000000",2748 "00000000",2749 "00000000",2750 "00801008"2751 ],2752 [2753 "00000000",2754 "00000000",2755 "00000000",2756 "00000000",2757 "00000000",2758 "02000000",2759 "00000000",2760 "00000000"2761 ],2762 [2763 "00000000",2764 "00000000",2765 "00000000",2766 "00000000",2767 "00000000",2768 "00000000",2769 "02000000",2770 "00000000"2771 ],2772 [2773 "00000000",2774 "00000000",2775 "00000000",2776 "00000000",2777 "00000000",2778 "00000000",2779 "00000000",2780 "02000000"2781 ],2782 [2783 "00000000",2784 "00000000",2785 "00000000",2786 "00000000",2787 "00000000",2788 "00000000",2789 "00000000",2790 "00000000"2791 ]2792 ]2793 },2794 "26": {2795 "cancels_after_9_steps": true,2796 "pattern_hex": [2797 "04000000",2798 "0110a012",2799 "c2142884",2800 "00000000",2801 "04000000",2802 "0110a012",2803 "00000000",2804 "00000000",2805 "04000000"2806 ],2807 "register_difference_trajectory_hex": [2808 [2809 "04000000",2810 "00000000",2811 "00000000",2812 "00000000",2813 "04000000",2814 "00000000",2815 "00000000",2816 "00000000"2817 ],2818 [2819 "00000000",2820 "04000000",2821 "00000000",2822 "00000000",2823 "01002010",2824 "04000000",2825 "00000000",2826 "00000000"2827 ],2828 [2829 "00000000",2830 "00000000",2831 "04000000",2832 "00000000",2833 "00000000",2834 "01002010",2835 "04000000",2836 "00000000"2837 ],2838 [2839 "00000000",2840 "00000000",2841 "00000000",2842 "04000000",2843 "00000000",2844 "00000000",2845 "01002010",2846 "04000000"2847 ],2848 [2849 "00000000",2850 "00000000",2851 "00000000",2852 "00000000",2853 "04000000",2854 "00000000",2855 "00000000",2856 "01002010"2857 ],2858 [2859 "00000000",2860 "00000000",2861 "00000000",2862 "00000000",2863 "00000000",2864 "04000000",2865 "00000000",2866 "00000000"2867 ],2868 [2869 "00000000",2870 "00000000",2871 "00000000",2872 "00000000",2873 "00000000",2874 "00000000",2875 "04000000",2876 "00000000"2877 ],2878 [2879 "00000000",2880 "00000000",2881 "00000000",2882 "00000000",2883 "00000000",2884 "00000000",2885 "00000000",2886 "04000000"2887 ],2888 [2889 "00000000",2890 "00000000",2891 "00000000",2892 "00000000",2893 "00000000",2894 "00000000",2895 "00000000",2896 "00000000"2897 ]2898 ]2899 },2900 "27": {2901 "cancels_after_9_steps": true,2902 "pattern_hex": [2903 "08000000",2904 "02214024",2905 "84285109",2906 "00000000",2907 "08000000",2908 "02214024",2909 "00000000",2910 "00000000",2911 "08000000"2912 ],2913 "register_difference_trajectory_hex": [2914 [2915 "08000000",2916 "00000000",2917 "00000000",2918 "00000000",2919 "08000000",2920 "00000000",2921 "00000000",2922 "00000000"2923 ],2924 [2925 "00000000",2926 "08000000",2927 "00000000",2928 "00000000",2929 "02004020",2930 "08000000",2931 "00000000",2932 "00000000"2933 ],2934 [2935 "00000000",2936 "00000000",2937 "08000000",2938 "00000000",2939 "00000000",2940 "02004020",2941 "08000000",2942 "00000000"2943 ],2944 [2945 "00000000",2946 "00000000",2947 "00000000",2948 "08000000",2949 "00000000",2950 "00000000",2951 "02004020",2952 "08000000"2953 ],2954 [2955 "00000000",2956 "00000000",2957 "00000000",2958 "00000000",2959 "08000000",2960 "00000000",2961 "00000000",2962 "02004020"2963 ],2964 [2965 "00000000",2966 "00000000",2967 "00000000",2968 "00000000",2969 "00000000",2970 "08000000",2971 "00000000",2972 "00000000"2973 ],2974 [2975 "00000000",2976 "00000000",2977 "00000000",2978 "00000000",2979 "00000000",2980 "00000000",2981 "08000000",2982 "00000000"2983 ],2984 [2985 "00000000",2986 "00000000",2987 "00000000",2988 "00000000",2989 "00000000",2990 "00000000",2991 "00000000",2992 "08000000"2993 ],2994 [2995 "00000000",2996 "00000000",2997 "00000000",2998 "00000000",2999 "00000000",3000 "00000000",3001 "00000000",3002 "00000000"3003 ]3004 ]3005 },3006 "28": {3007 "cancels_after_9_steps": true,3008 "pattern_hex": [3009 "10000000",3010 "04428048",3011 "0850a213",3012 "00000000",3013 "10000000",3014 "04428048",3015 "00000000",3016 "00000000",3017 "10000000"3018 ],3019 "register_difference_trajectory_hex": [3020 [3021 "10000000",3022 "00000000",3023 "00000000",3024 "00000000",3025 "10000000",3026 "00000000",3027 "00000000",3028 "00000000"3029 ],3030 [3031 "00000000",3032 "10000000",3033 "00000000",3034 "00000000",3035 "04008040",3036 "10000000",3037 "00000000",3038 "00000000"3039 ],3040 [3041 "00000000",3042 "00000000",3043 "10000000",3044 "00000000",3045 "00000000",3046 "04008040",3047 "10000000",3048 "00000000"3049 ],3050 [3051 "00000000",3052 "00000000",3053 "00000000",3054 "10000000",3055 "00000000",3056 "00000000",3057 "04008040",3058 "10000000"3059 ],3060 [3061 "00000000",3062 "00000000",3063 "00000000",3064 "00000000",3065 "10000000",3066 "00000000",3067 "00000000",3068 "04008040"3069 ],3070 [3071 "00000000",3072 "00000000",3073 "00000000",3074 "00000000",3075 "00000000",3076 "10000000",3077 "00000000",3078 "00000000"3079 ],3080 [3081 "00000000",3082 "00000000",3083 "00000000",3084 "00000000",3085 "00000000",3086 "00000000",3087 "10000000",3088 "00000000"3089 ],3090 [3091 "00000000",3092 "00000000",3093 "00000000",3094 "00000000",3095 "00000000",3096 "00000000",3097 "00000000",3098 "10000000"3099 ],3100 [3101 "00000000",3102 "00000000",3103 "00000000",3104 "00000000",3105 "00000000",3106 "00000000",3107 "00000000",3108 "00000000"3109 ]3110 ]3111 },3112 "29": {3113 "cancels_after_9_steps": true,3114 "pattern_hex": [3115 "20000000",3116 "08850090",3117 "10a14426",3118 "00000000",3119 "20000000",3120 "08850090",3121 "00000000",3122 "00000000",3123 "20000000"3124 ],3125 "register_difference_trajectory_hex": [3126 [3127 "20000000",3128 "00000000",3129 "00000000",3130 "00000000",3131 "20000000",3132 "00000000",3133 "00000000",3134 "00000000"3135 ],3136 [3137 "00000000",3138 "20000000",3139 "00000000",3140 "00000000",3141 "08010080",3142 "20000000",3143 "00000000",3144 "00000000"3145 ],3146 [3147 "00000000",3148 "00000000",3149 "20000000",3150 "00000000",3151 "00000000",3152 "08010080",3153 "20000000",3154 "00000000"3155 ],3156 [3157 "00000000",3158 "00000000",3159 "00000000",3160 "20000000",3161 "00000000",3162 "00000000",3163 "08010080",3164 "20000000"3165 ],3166 [3167 "00000000",3168 "00000000",3169 "00000000",3170 "00000000",3171 "20000000",3172 "00000000",3173 "00000000",3174 "08010080"3175 ],3176 [3177 "00000000",3178 "00000000",3179 "00000000",3180 "00000000",3181 "00000000",3182 "20000000",3183 "00000000",3184 "00000000"3185 ],3186 [3187 "00000000",3188 "00000000",3189 "00000000",3190 "00000000",3191 "00000000",3192 "00000000",3193 "20000000",3194 "00000000"3195 ],3196 [3197 "00000000",3198 "00000000",3199 "00000000",3200 "00000000",3201 "00000000",3202 "00000000",3203 "00000000",3204 "20000000"3205 ],3206 [3207 "00000000",3208 "00000000",3209 "00000000",3210 "00000000",3211 "00000000",3212 "00000000",3213 "00000000",3214 "00000000"3215 ]3216 ]3217 },3218 "30": {3219 "cancels_after_9_steps": true,3220 "pattern_hex": [3221 "40000000",3222 "110a0120",3223 "2142884c",3224 "00000000",3225 "40000000",3226 "110a0120",3227 "00000000",3228 "00000000",3229 "40000000"3230 ],3231 "register_difference_trajectory_hex": [3232 [3233 "40000000",3234 "00000000",3235 "00000000",3236 "00000000",3237 "40000000",3238 "00000000",3239 "00000000",3240 "00000000"3241 ],3242 [3243 "00000000",3244 "40000000",3245 "00000000",3246 "00000000",3247 "10020100",3248 "40000000",3249 "00000000",3250 "00000000"3251 ],3252 [3253 "00000000",3254 "00000000",3255 "40000000",3256 "00000000",3257 "00000000",3258 "10020100",3259 "40000000",3260 "00000000"3261 ],3262 [3263 "00000000",3264 "00000000",3265 "00000000",3266 "40000000",3267 "00000000",3268 "00000000",3269 "10020100",3270 "40000000"3271 ],3272 [3273 "00000000",3274 "00000000",3275 "00000000",3276 "00000000",3277 "40000000",3278 "00000000",3279 "00000000",3280 "10020100"3281 ],3282 [3283 "00000000",3284 "00000000",3285 "00000000",3286 "00000000",3287 "00000000",3288 "40000000",3289 "00000000",3290 "00000000"3291 ],3292 [3293 "00000000",3294 "00000000",3295 "00000000",3296 "00000000",3297 "00000000",3298 "00000000",3299 "40000000",3300 "00000000"3301 ],3302 [3303 "00000000",3304 "00000000",3305 "00000000",3306 "00000000",3307 "00000000",3308 "00000000",3309 "00000000",3310 "40000000"3311 ],3312 [3313 "00000000",3314 "00000000",3315 "00000000",3316 "00000000",3317 "00000000",3318 "00000000",3319 "00000000",3320 "00000000"3321 ]3322 ]3323 },3324 "31": {3325 "cancels_after_9_steps": true,3326 "pattern_hex": [3327 "80000000",3328 "22140240",3329 "42851098",3330 "00000000",3331 "80000000",3332 "22140240",3333 "00000000",3334 "00000000",3335 "80000000"3336 ],3337 "register_difference_trajectory_hex": [3338 [3339 "80000000",3340 "00000000",3341 "00000000",3342 "00000000",3343 "80000000",3344 "00000000",3345 "00000000",3346 "00000000"3347 ],3348 [3349 "00000000",3350 "80000000",3351 "00000000",3352 "00000000",3353 "20040200",3354 "80000000",3355 "00000000",3356 "00000000"3357 ],3358 [3359 "00000000",3360 "00000000",3361 "80000000",3362 "00000000",3363 "00000000",3364 "20040200",3365 "80000000",3366 "00000000"3367 ],3368 [3369 "00000000",3370 "00000000",3371 "00000000",3372 "80000000",3373 "00000000",3374 "00000000",3375 "20040200",3376 "80000000"3377 ],3378 [3379 "00000000",3380 "00000000",3381 "00000000",3382 "00000000",3383 "80000000",3384 "00000000",3385 "00000000",3386 "20040200"3387 ],3388 [3389 "00000000",3390 "00000000",3391 "00000000",3392 "00000000",3393 "00000000",3394 "80000000",3395 "00000000",3396 "00000000"3397 ],3398 [3399 "00000000",3400 "00000000",3401 "00000000",3402 "00000000",3403 "00000000",3404 "00000000",3405 "80000000",3406 "00000000"3407 ],3408 [3409 "00000000",3410 "00000000",3411 "00000000",3412 "00000000",3413 "00000000",3414 "00000000",3415 "00000000",3416 "80000000"3417 ],3418 [3419 "00000000",3420 "00000000",3421 "00000000",3422 "00000000",3423 "00000000",3424 "00000000",3425 "00000000",3426 "00000000"3427 ]3428 ]3429 }3430 },3431 "linear_model_random_multibit_ok": true,3432 "empirical": [3433 {3434 "bit": 0,3435 "n": 100000,3436 "n_collisions": 0,3437 "p_collision": 0.0,3438 "p_upper95_rule_of_three": 3e-05,3439 "survival_by_step": [3440 25224,3441 14,3442 0,3443 0,3444 0,3445 0,3446 0,3447 0,3448 03449 ],3450 "survival_fraction_by_step": [3451 0.25224,3452 0.00014,3453 0.0,3454 0.0,3455 0.0,3456 0.0,3457 0.0,3458 0.0,3459 0.03460 ],3461 "pattern_hex": [3462 "00000001",3463 "44280480",3464 "850a2130",3465 "00000000",3466 "00000001",3467 "44280480",3468 "00000000",3469 "00000000",3470 "00000001"3471 ],3472 "pattern_weight": 243473 },3474 {3475 "bit": 1,3476 "n": 100000,3477 "n_collisions": 0,3478 "p_collision": 0.0,3479 "p_upper95_rule_of_three": 3e-05,3480 "survival_by_step": [3481 25137,3482 51,3483 0,3484 0,3485 0,3486 0,3487 0,3488 0,3489 03490 ],3491 "survival_fraction_by_step": [3492 0.25137,3493 0.00051,3494 0.0,3495 0.0,3496 0.0,3497 0.0,3498 0.0,3499 0.0,3500 0.03501 ],3502 "pattern_hex": [3503 "00000002",3504 "88500900",3505 "0a144261",3506 "00000000",3507 "00000002",3508 "88500900",3509 "00000000",3510 "00000000",3511 "00000002"3512 ],3513 "pattern_weight": 243514 },3515 {3516 "bit": 2,3517 "n": 100000,3518 "n_collisions": 0,3519 "p_collision": 0.0,3520 "p_upper95_rule_of_three": 3e-05,3521 "survival_by_step": [3522 24900,3523 16,3524 0,3525 0,3526 0,3527 0,3528 0,3529 0,3530 03531 ],3532 "survival_fraction_by_step": [3533 0.249,3534 0.00016,3535 0.0,3536 0.0,3537 0.0,3538 0.0,3539 0.0,3540 0.0,3541 0.03542 ],3543 "pattern_hex": [3544 "00000004",3545 "10a01201",3546 "142884c2",3547 "00000000",3548 "00000004",3549 "10a01201",3550 "00000000",3551 "00000000",3552 "00000004"3553 ],3554 "pattern_weight": 243555 },3556 {3557 "bit": 3,3558 "n": 100000,3559 "n_collisions": 0,3560 "p_collision": 0.0,3561 "p_upper95_rule_of_three": 3e-05,3562 "survival_by_step": [3563 25218,3564 13,3565 0,3566 0,3567 0,3568 0,3569 0,3570 0,3571 03572 ],3573 "survival_fraction_by_step": [3574 0.25218,3575 0.00013,3576 0.0,3577 0.0,3578 0.0,3579 0.0,3580 0.0,3581 0.0,3582 0.03583 ],3584 "pattern_hex": [3585 "00000008",3586 "21402402",3587 "28510984",3588 "00000000",3589 "00000008",3590 "21402402",3591 "00000000",3592 "00000000",3593 "00000008"3594 ],3595 "pattern_weight": 243596 },3597 {3598 "bit": 4,3599 "n": 100000,3600 "n_collisions": 0,3601 "p_collision": 0.0,3602 "p_upper95_rule_of_three": 3e-05,3603 "survival_by_step": [3604 25013,3605 9,3606 0,3607 0,3608 0,3609 0,3610 0,3611 0,3612 03613 ],3614 "survival_fraction_by_step": [3615 0.25013,3616 9e-05,3617 0.0,3618 0.0,3619 0.0,3620 0.0,3621 0.0,3622 0.0,3623 0.03624 ],3625 "pattern_hex": [3626 "00000010",3627 "42804804",3628 "50a21308",3629 "00000000",3630 "00000010",3631 "42804804",3632 "00000000",3633 "00000000",3634 "00000010"3635 ],3636 "pattern_weight": 243637 },3638 {3639 "bit": 5,3640 "n": 100000,3641 "n_collisions": 0,3642 "p_collision": 0.0,3643 "p_upper95_rule_of_three": 3e-05,3644 "survival_by_step": [3645 25221,3646 19,3647 0,3648 0,3649 0,3650 0,3651 0,3652 0,3653 03654 ],3655 "survival_fraction_by_step": [3656 0.25221,3657 0.00019,3658 0.0,3659 0.0,3660 0.0,3661 0.0,3662 0.0,3663 0.0,3664 0.03665 ],3666 "pattern_hex": [3667 "00000020",3668 "85009008",3669 "a1442610",3670 "00000000",3671 "00000020",3672 "85009008",3673 "00000000",3674 "00000000",3675 "00000020"3676 ],3677 "pattern_weight": 243678 },3679 {3680 "bit": 6,3681 "n": 100000,3682 "n_collisions": 0,3683 "p_collision": 0.0,3684 "p_upper95_rule_of_three": 3e-05,3685 "survival_by_step": [3686 25187,3687 11,3688 0,3689 0,3690 0,3691 0,3692 0,3693 0,3694 03695 ],3696 "survival_fraction_by_step": [3697 0.25187,3698 0.00011,3699 0.0,3700 0.0,3701 0.0,3702 0.0,3703 0.0,3704 0.0,3705 0.03706 ],3707 "pattern_hex": [3708 "00000040",3709 "0a012011",3710 "42884c21",3711 "00000000",3712 "00000040",3713 "0a012011",3714 "00000000",3715 "00000000",3716 "00000040"3717 ],3718 "pattern_weight": 243719 },3720 {3721 "bit": 7,3722 "n": 100000,3723 "n_collisions": 0,3724 "p_collision": 0.0,3725 "p_upper95_rule_of_three": 3e-05,3726 "survival_by_step": [3727 24932,3728 14,3729 0,3730 0,3731 0,3732 0,3733 0,3734 0,3735 03736 ],3737 "survival_fraction_by_step": [3738 0.24932,3739 0.00014,3740 0.0,3741 0.0,3742 0.0,3743 0.0,3744 0.0,3745 0.0,3746 0.03747 ],3748 "pattern_hex": [3749 "00000080",3750 "14024022",3751 "85109842",3752 "00000000",3753 "00000080",3754 "14024022",3755 "00000000",3756 "00000000",3757 "00000080"3758 ],3759 "pattern_weight": 243760 },3761 {3762 "bit": 8,3763 "n": 100000,3764 "n_collisions": 0,3765 "p_collision": 0.0,3766 "p_upper95_rule_of_three": 3e-05,3767 "survival_by_step": [3768 25104,3769 14,3770 0,3771 0,3772 0,3773 0,3774 0,3775 0,3776 03777 ],3778 "survival_fraction_by_step": [3779 0.25104,3780 0.00014,3781 0.0,3782 0.0,3783 0.0,3784 0.0,3785 0.0,3786 0.0,3787 0.03788 ],3789 "pattern_hex": [3790 "00000100",3791 "28048044",3792 "0a213085",3793 "00000000",3794 "00000100",3795 "28048044",3796 "00000000",3797 "00000000",3798 "00000100"3799 ],3800 "pattern_weight": 243801 },3802 {3803 "bit": 9,3804 "n": 100000,3805 "n_collisions": 0,3806 "p_collision": 0.0,3807 "p_upper95_rule_of_three": 3e-05,3808 "survival_by_step": [3809 25140,3810 15,3811 0,3812 0,3813 0,3814 0,3815 0,3816 0,3817 03818 ],3819 "survival_fraction_by_step": [3820 0.2514,3821 0.00015,3822 0.0,3823 0.0,3824 0.0,3825 0.0,3826 0.0,3827 0.0,3828 0.03829 ],3830 "pattern_hex": [3831 "00000200",3832 "50090088",3833 "1442610a",3834 "00000000",3835 "00000200",3836 "50090088",3837 "00000000",3838 "00000000",3839 "00000200"3840 ],3841 "pattern_weight": 243842 },3843 {3844 "bit": 10,3845 "n": 100000,3846 "n_collisions": 0,3847 "p_collision": 0.0,3848 "p_upper95_rule_of_three": 3e-05,3849 "survival_by_step": [3850 25089,3851 20,3852 0,3853 0,3854 0,3855 0,3856 0,3857 0,3858 03859 ],3860 "survival_fraction_by_step": [3861 0.25089,3862 0.0002,3863 0.0,3864 0.0,3865 0.0,3866 0.0,3867 0.0,3868 0.0,3869 0.03870 ],3871 "pattern_hex": [3872 "00000400",3873 "a0120110",3874 "2884c214",3875 "00000000",3876 "00000400",3877 "a0120110",3878 "00000000",3879 "00000000",3880 "00000400"3881 ],3882 "pattern_weight": 243883 },3884 {3885 "bit": 11,3886 "n": 100000,3887 "n_collisions": 0,3888 "p_collision": 0.0,3889 "p_upper95_rule_of_three": 3e-05,3890 "survival_by_step": [3891 25284,3892 11,3893 0,3894 0,3895 0,3896 0,3897 0,3898 0,3899 03900 ],3901 "survival_fraction_by_step": [3902 0.25284,3903 0.00011,3904 0.0,3905 0.0,3906 0.0,3907 0.0,3908 0.0,3909 0.0,3910 0.03911 ],3912 "pattern_hex": [3913 "00000800",3914 "40240221",3915 "51098428",3916 "00000000",3917 "00000800",3918 "40240221",3919 "00000000",3920 "00000000",3921 "00000800"3922 ],3923 "pattern_weight": 243924 },3925 {3926 "bit": 12,3927 "n": 100000,3928 "n_collisions": 0,3929 "p_collision": 0.0,3930 "p_upper95_rule_of_three": 3e-05,3931 "survival_by_step": [3932 25222,3933 43,3934 0,3935 0,3936 0,3937 0,3938 0,3939 0,3940 03941 ],3942 "survival_fraction_by_step": [3943 0.25222,3944 0.00043,3945 0.0,3946 0.0,3947 0.0,3948 0.0,3949 0.0,3950 0.0,3951 0.03952 ],3953 "pattern_hex": [3954 "00001000",3955 "80480442",3956 "a2130850",3957 "00000000",3958 "00001000",3959 "80480442",3960 "00000000",3961 "00000000",3962 "00001000"3963 ],3964 "pattern_weight": 243965 },3966 {3967 "bit": 13,3968 "n": 100000,3969 "n_collisions": 0,3970 "p_collision": 0.0,3971 "p_upper95_rule_of_three": 3e-05,3972 "survival_by_step": [3973 25019,3974 13,3975 0,3976 0,3977 0,3978 0,3979 0,3980 0,3981 03982 ],3983 "survival_fraction_by_step": [3984 0.25019,3985 0.00013,3986 0.0,3987 0.0,3988 0.0,3989 0.0,3990 0.0,3991 0.0,3992 0.03993 ],3994 "pattern_hex": [3995 "00002000",3996 "00900885",3997 "442610a1",3998 "00000000",3999 "00002000",4000 "00900885",4001 "00000000",4002 "00000000",4003 "00002000"4004 ],4005 "pattern_weight": 244006 },4007 {4008 "bit": 14,4009 "n": 100000,4010 "n_collisions": 0,4011 "p_collision": 0.0,4012 "p_upper95_rule_of_three": 3e-05,4013 "survival_by_step": [4014 25010,4015 7,4016 0,4017 0,4018 0,4019 0,4020 0,4021 0,4022 04023 ],4024 "survival_fraction_by_step": [4025 0.2501,4026 7e-05,4027 0.0,4028 0.0,4029 0.0,4030 0.0,4031 0.0,4032 0.0,4033 0.04034 ],4035 "pattern_hex": [4036 "00004000",4037 "0120110a",4038 "884c2142",4039 "00000000",4040 "00004000",4041 "0120110a",4042 "00000000",4043 "00000000",4044 "00004000"4045 ],4046 "pattern_weight": 244047 },4048 {4049 "bit": 15,4050 "n": 100000,4051 "n_collisions": 0,4052 "p_collision": 0.0,4053 "p_upper95_rule_of_three": 3e-05,4054 "survival_by_step": [4055 25079,4056 13,4057 0,4058 0,4059 0,4060 0,4061 0,4062 0,4063 04064 ],4065 "survival_fraction_by_step": [4066 0.25079,4067 0.00013,4068 0.0,4069 0.0,4070 0.0,4071 0.0,4072 0.0,4073 0.0,4074 0.04075 ],4076 "pattern_hex": [4077 "00008000",4078 "02402214",4079 "10984285",4080 "00000000",4081 "00008000",4082 "02402214",4083 "00000000",4084 "00000000",4085 "00008000"4086 ],4087 "pattern_weight": 244088 },4089 {4090 "bit": 16,4091 "n": 100000,4092 "n_collisions": 0,4093 "p_collision": 0.0,4094 "p_upper95_rule_of_three": 3e-05,4095 "survival_by_step": [4096 25053,4097 11,4098 0,4099 0,4100 0,4101 0,4102 0,4103 0,4104 04105 ],4106 "survival_fraction_by_step": [4107 0.25053,4108 0.00011,4109 0.0,4110 0.0,4111 0.0,4112 0.0,4113 0.0,4114 0.0,4115 0.04116 ],4117 "pattern_hex": [4118 "00010000",4119 "04804428",4120 "2130850a",4121 "00000000",4122 "00010000",4123 "04804428",4124 "00000000",4125 "00000000",4126 "00010000"4127 ],4128 "pattern_weight": 244129 },4130 {4131 "bit": 17,4132 "n": 100000,4133 "n_collisions": 0,4134 "p_collision": 0.0,4135 "p_upper95_rule_of_three": 3e-05,4136 "survival_by_step": [4137 25124,4138 11,4139 0,4140 0,4141 0,4142 0,4143 0,4144 0,4145 04146 ],4147 "survival_fraction_by_step": [4148 0.25124,4149 0.00011,4150 0.0,4151 0.0,4152 0.0,4153 0.0,4154 0.0,4155 0.0,4156 0.04157 ],4158 "pattern_hex": [4159 "00020000",4160 "09008850",4161 "42610a14",4162 "00000000",4163 "00020000",4164 "09008850",4165 "00000000",4166 "00000000",4167 "00020000"4168 ],4169 "pattern_weight": 244170 },4171 {4172 "bit": 18,4173 "n": 100000,4174 "n_collisions": 0,4175 "p_collision": 0.0,4176 "p_upper95_rule_of_three": 3e-05,4177 "survival_by_step": [4178 25073,4179 10,4180 0,4181 0,4182 0,4183 0,4184 0,4185 0,4186 04187 ],4188 "survival_fraction_by_step": [4189 0.25073,4190 0.0001,4191 0.0,4192 0.0,4193 0.0,4194 0.0,4195 0.0,4196 0.0,4197 0.04198 ],4199 "pattern_hex": [4200 "00040000",4201 "120110a0",4202 "84c21428",4203 "00000000",4204 "00040000",4205 "120110a0",4206 "00000000",4207 "00000000",4208 "00040000"4209 ],4210 "pattern_weight": 244211 },4212 {4213 "bit": 19,4214 "n": 100000,4215 "n_collisions": 0,4216 "p_collision": 0.0,4217 "p_upper95_rule_of_three": 3e-05,4218 "survival_by_step": [4219 25058,4220 18,4221 0,4222 0,4223 0,4224 0,4225 0,4226 0,4227 04228 ],4229 "survival_fraction_by_step": [4230 0.25058,4231 0.00018,4232 0.0,4233 0.0,4234 0.0,4235 0.0,4236 0.0,4237 0.0,4238 0.04239 ],4240 "pattern_hex": [4241 "00080000",4242 "24022140",4243 "09842851",4244 "00000000",4245 "00080000",4246 "24022140",4247 "00000000",4248 "00000000",4249 "00080000"4250 ],4251 "pattern_weight": 244252 },4253 {4254 "bit": 20,4255 "n": 100000,4256 "n_collisions": 0,4257 "p_collision": 0.0,4258 "p_upper95_rule_of_three": 3e-05,4259 "survival_by_step": [4260 24978,4261 8,4262 0,4263 0,4264 0,4265 0,4266 0,4267 0,4268 04269 ],4270 "survival_fraction_by_step": [4271 0.24978,4272 8e-05,4273 0.0,4274 0.0,4275 0.0,4276 0.0,4277 0.0,4278 0.0,4279 0.04280 ],4281 "pattern_hex": [4282 "00100000",4283 "48044280",4284 "130850a2",4285 "00000000",4286 "00100000",4287 "48044280",4288 "00000000",4289 "00000000",4290 "00100000"4291 ],4292 "pattern_weight": 244293 },4294 {4295 "bit": 21,4296 "n": 100000,4297 "n_collisions": 0,4298 "p_collision": 0.0,4299 "p_upper95_rule_of_three": 3e-05,4300 "survival_by_step": [4301 25024,4302 45,4303 0,4304 0,4305 0,4306 0,4307 0,4308 0,4309 04310 ],4311 "survival_fraction_by_step": [4312 0.25024,4313 0.00045,4314 0.0,4315 0.0,4316 0.0,4317 0.0,4318 0.0,4319 0.0,4320 0.04321 ],4322 "pattern_hex": [4323 "00200000",4324 "90088500",4325 "2610a144",4326 "00000000",4327 "00200000",4328 "90088500",4329 "00000000",4330 "00000000",4331 "00200000"4332 ],4333 "pattern_weight": 244334 },4335 {4336 "bit": 22,4337 "n": 100000,4338 "n_collisions": 0,4339 "p_collision": 0.0,4340 "p_upper95_rule_of_three": 3e-05,4341 "survival_by_step": [4342 24884,4343 13,4344 0,4345 0,4346 0,4347 0,4348 0,4349 0,4350 04351 ],4352 "survival_fraction_by_step": [4353 0.24884,4354 0.00013,4355 0.0,4356 0.0,4357 0.0,4358 0.0,4359 0.0,4360 0.0,4361 0.04362 ],4363 "pattern_hex": [4364 "00400000",4365 "20110a01",4366 "4c214288",4367 "00000000",4368 "00400000",4369 "20110a01",4370 "00000000",4371 "00000000",4372 "00400000"4373 ],4374 "pattern_weight": 244375 },4376 {4377 "bit": 23,4378 "n": 100000,4379 "n_collisions": 0,4380 "p_collision": 0.0,4381 "p_upper95_rule_of_three": 3e-05,4382 "survival_by_step": [4383 25053,4384 6,4385 0,4386 0,4387 0,4388 0,4389 0,4390 0,4391 04392 ],4393 "survival_fraction_by_step": [4394 0.25053,4395 6e-05,4396 0.0,4397 0.0,4398 0.0,4399 0.0,4400 0.0,4401 0.0,4402 0.04403 ],4404 "pattern_hex": [4405 "00800000",4406 "40221402",4407 "98428510",4408 "00000000",4409 "00800000",4410 "40221402",4411 "00000000",4412 "00000000",4413 "00800000"4414 ],4415 "pattern_weight": 244416 },4417 {4418 "bit": 24,4419 "n": 100000,4420 "n_collisions": 0,4421 "p_collision": 0.0,4422 "p_upper95_rule_of_three": 3e-05,4423 "survival_by_step": [4424 24949,4425 20,4426 0,4427 0,4428 0,4429 0,4430 0,4431 0,4432 04433 ],4434 "survival_fraction_by_step": [4435 0.24949,4436 0.0002,4437 0.0,4438 0.0,4439 0.0,4440 0.0,4441 0.0,4442 0.0,4443 0.04444 ],4445 "pattern_hex": [4446 "01000000",4447 "80442804",4448 "30850a21",4449 "00000000",4450 "01000000",4451 "80442804",4452 "00000000",4453 "00000000",4454 "01000000"4455 ],4456 "pattern_weight": 244457 },4458 {4459 "bit": 25,4460 "n": 100000,4461 "n_collisions": 0,4462 "p_collision": 0.0,4463 "p_upper95_rule_of_three": 3e-05,4464 "survival_by_step": [4465 24828,4466 14,4467 0,4468 0,4469 0,4470 0,4471 0,4472 0,4473 04474 ],4475 "survival_fraction_by_step": [4476 0.24828,4477 0.00014,4478 0.0,4479 0.0,4480 0.0,4481 0.0,4482 0.0,4483 0.0,4484 0.04485 ],4486 "pattern_hex": [4487 "02000000",4488 "00885009",4489 "610a1442",4490 "00000000",4491 "02000000",4492 "00885009",4493 "00000000",4494 "00000000",4495 "02000000"4496 ],4497 "pattern_weight": 244498 },4499 {4500 "bit": 26,4501 "n": 100000,4502 "n_collisions": 0,4503 "p_collision": 0.0,4504 "p_upper95_rule_of_three": 3e-05,4505 "survival_by_step": [4506 25154,4507 8,4508 0,4509 0,4510 0,4511 0,4512 0,4513 0,4514 04515 ],4516 "survival_fraction_by_step": [4517 0.25154,4518 8e-05,4519 0.0,4520 0.0,4521 0.0,4522 0.0,4523 0.0,4524 0.0,4525 0.04526 ],4527 "pattern_hex": [4528 "04000000",4529 "0110a012",4530 "c2142884",4531 "00000000",4532 "04000000",4533 "0110a012",4534 "00000000",4535 "00000000",4536 "04000000"4537 ],4538 "pattern_weight": 244539 },4540 {4541 "bit": 27,4542 "n": 100000,4543 "n_collisions": 0,4544 "p_collision": 0.0,4545 "p_upper95_rule_of_three": 3e-05,4546 "survival_by_step": [4547 25138,4548 15,4549 0,4550 0,4551 0,4552 0,4553 0,4554 0,4555 04556 ],4557 "survival_fraction_by_step": [4558 0.25138,4559 0.00015,4560 0.0,4561 0.0,4562 0.0,4563 0.0,4564 0.0,4565 0.0,4566 0.04567 ],4568 "pattern_hex": [4569 "08000000",4570 "02214024",4571 "84285109",4572 "00000000",4573 "08000000",4574 "02214024",4575 "00000000",4576 "00000000",4577 "08000000"4578 ],4579 "pattern_weight": 244580 },4581 {4582 "bit": 28,4583 "n": 100000,4584 "n_collisions": 0,4585 "p_collision": 0.0,4586 "p_upper95_rule_of_three": 3e-05,4587 "survival_by_step": [4588 25109,4589 8,4590 0,4591 0,4592 0,4593 0,4594 0,4595 0,4596 04597 ],4598 "survival_fraction_by_step": [4599 0.25109,4600 8e-05,4601 0.0,4602 0.0,4603 0.0,4604 0.0,4605 0.0,4606 0.0,4607 0.04608 ],4609 "pattern_hex": [4610 "10000000",4611 "04428048",4612 "0850a213",4613 "00000000",4614 "10000000",4615 "04428048",4616 "00000000",4617 "00000000",4618 "10000000"4619 ],4620 "pattern_weight": 244621 },4622 {4623 "bit": 29,4624 "n": 100000,4625 "n_collisions": 0,4626 "p_collision": 0.0,4627 "p_upper95_rule_of_three": 3e-05,4628 "survival_by_step": [4629 24848,4630 9,4631 0,4632 0,4633 0,4634 0,4635 0,4636 0,4637 04638 ],4639 "survival_fraction_by_step": [4640 0.24848,4641 9e-05,4642 0.0,4643 0.0,4644 0.0,4645 0.0,4646 0.0,4647 0.0,4648 0.04649 ],4650 "pattern_hex": [4651 "20000000",4652 "08850090",4653 "10a14426",4654 "00000000",4655 "20000000",4656 "08850090",4657 "00000000",4658 "00000000",4659 "20000000"4660 ],4661 "pattern_weight": 244662 },4663 {4664 "bit": 30,4665 "n": 100000,4666 "n_collisions": 0,4667 "p_collision": 0.0,4668 "p_upper95_rule_of_three": 3e-05,4669 "survival_by_step": [4670 24995,4671 17,4672 0,4673 0,4674 0,4675 0,4676 0,4677 0,4678 04679 ],4680 "survival_fraction_by_step": [4681 0.24995,4682 0.00017,4683 0.0,4684 0.0,4685 0.0,4686 0.0,4687 0.0,4688 0.0,4689 0.04690 ],4691 "pattern_hex": [4692 "40000000",4693 "110a0120",4694 "2142884c",4695 "00000000",4696 "40000000",4697 "110a0120",4698 "00000000",4699 "00000000",4700 "40000000"4701 ],4702 "pattern_weight": 244703 },4704 {4705 "bit": 31,4706 "n": 100000,4707 "n_collisions": 0,4708 "p_collision": 0.0,4709 "p_upper95_rule_of_three": 3e-05,4710 "survival_by_step": [4711 100000,4712 49,4713 0,4714 0,4715 0,4716 0,4717 0,4718 0,4719 04720 ],4721 "survival_fraction_by_step": [4722 1.0,4723 0.00049,4724 0.0,4725 0.0,4726 0.0,4727 0.0,4728 0.0,4729 0.0,4730 0.04731 ],4732 "pattern_hex": [4733 "80000000",4734 "22140240",4735 "42851098",4736 "00000000",4737 "80000000",4738 "22140240",4739 "00000000",4740 "00000000",4741 "80000000"4742 ],4743 "pattern_weight": 244744 }4745 ],4746 "sat": [4747 {4748 "bit": 31,4749 "n_vars": 15218,4750 "n_clauses": 66208,4751 "status": "sat",4752 "wall_s": 9.043,4753 "conflicts": 615822,4754 "decisions": 3984334,4755 "propagations": 48042457,4756 "restarts": 18410,4757 "solver_real_s": 9.04,4758 "cadical_rss_mb": 83.59,4759 "seed": 2,4760 "state_hex": "63a6280055eafb0837bb7ed68348efce63c83c4b3855e5378f380b6c54925c92",4761 "W_hex": [4762 "27d5e1a8",4763 "56e2666b",4764 "b9f1b974",4765 "fca4a04e",4766 "e717893a",4767 "be2cad72",4768 "885b3c2b",4769 "ff8d1042",4770 "d49f8b65"4771 ],4772 "W_prime_hex": [4773 "a7d5e1a8",4774 "74f6642b",4775 "fb74a9ec",4776 "fca4a04e",4777 "6717893a",4778 "9c38af32",4779 "885b3c2b",4780 "ff8d1042",4781 "549f8b65"4782 ],4783 "verified": true,4784 "final_state_hex": "8f1a96925c3271723bbca3d3218fc8d94a088a33000394dda43988c207c2efe7"4785 },4786 {4787 "bit": 0,4788 "n_vars": 15218,4789 "n_clauses": 66208,4790 "status": "sat",4791 "wall_s": 52.215,4792 "conflicts": 3270049,4793 "decisions": 17031636,4794 "propagations": 216029645,4795 "restarts": 90977,4796 "solver_real_s": 52.21,4797 "cadical_rss_mb": 132.0,4798 "seed": 2,4799 "state_hex": "50548fe70405027d385ad0841d40748708ba4cc0511e70bc7c96b68608865021",4800 "W_hex": [4801 "86840142",4802 "882a7096",4803 "94763fc7",4804 "050d5ea0",4805 "3945f5df",4806 "522208c2",4807 "d5394935",4808 "396add95",4809 "00000001"4810 ],4811 "W_prime_hex": [4812 "86840143",4813 "cc027416",4814 "117c1ef7",4815 "050d5ea0",4816 "3945f5de",4817 "160a0c42",4818 "d5394935",4819 "396add95",4820 "00000000"4821 ],4822 "verified": true,4823 "final_state_hex": "ecd94463e1195afa82a0d5567d7d4f89f9735a5f020000003c0007ff05ac2000"4824 }4825 ],4826 "pattern_formula": "(d, S0(d)^S1(d), S1(S0(d)), 0, d, S0(d)^S1(d), 0, 0, d)"4827 },4828 "elapsed_s": 62.144,4829 "op_stats": {4830 "wall_s": 61.927,4831 "peak_rss_mb": 64.8,4832 "step_evaluations_real": 576000004833 }4834}