4a3aa081622d13308ef1c778583682d55dd8d7f8c2e0888f2118a25a51626c3f  REPORT.md
00aa5d55049cb0ef698017a577150f6115309c210d5dc505ef4995d039b68109  Cargo.toml
f665b790fe65898d0112426ad2a33954ee4d5fb4e1f3b4dcfa1d8f6be8aca17e  Cargo.lock
7b3aab619d627f7316e8e9e9f849632ae94d1cf14213dfe1278857b355dea9d2  compare_published.py
66994304965934dcea39a6d8388e741733c0a25cce923aa383c4d4d6510601cb  real_forms.py
85d9305caf5328eac2ad88bad21f053824e50dde0351333771b0950fac4cb6c7  run_bounded.py
ff7afe67433d74ed6bb274981b215c89e65aca6dc7f1bc9b82f3db1f2069720e  verify_erd.py
848bd3fac7b70e88b76a8f1598b88c23a8bbbf8de813bf1608812e60bc4b8911  verify_exp4_desc.py
d8ee9b587dac053265e6778d6a8097aa079286c6c6d86157671f4eefe3e625fd  verify_kl.py
aa6940450be520e8105cb4dc34b5672b0e10d6e97dda0c463b421f7a63d3f09d  verify_windows_pari.py
93ed5282cecefb13ee421810eff182bb8ef58d803986a8258614eac405066f20  windows.py
fe16256e968b7a475f770968285bcf74ca1faaa2da891d7bd3754b29270fa212  write_report.py
ab6a0f0ab51a74572e1e2d97a0da9d1deb3f4ea85df250e71d27f66fb0a5ee38  src/exp4.rs
72238e483878ae03fd5caa5942ab637531e9d9a07b5ee58f8dae1b302976a979  src/main.rs
172c6b62adf763e841113d7b31cb0db7c251ce2e300d7512b49f74f1b894698d  results/erd_certified.jsonl
205f520e8f010f287e4172060f81db085eeb6cf26ebda34f4fc5b4491713b005  results/erd_certified_summary.json
266f4142292012141bcad0e366a278c76c9686de482acf69420e2030a6a88921  results/erd_comparison.json
1df5fe9c1a74bef994375f318a1b14f683eb7e784f021df4b509c50a8b9162f6  results/erd_domain.txt
bd73d7cbc6f80c5ef7dde3d7bf2995d31c85dc1c7a238b1dcacedb3ddfec4c98  results/erd_final.txt
3f0c986c93a43eafaa136ae078ee74164f51304e3d07a24554940f4253fb4e49  results/erd_independent_final_hashes.json
ac4c0390a43231157e1fdfff6cde1827220ff6515f4f38120b7b88c3269866b5  results/erd_pairs.csv
86ab2e387cd53c92f07bc33009bdc370f9b6f3860e6992084668561c2d400d10  results/erd_stats.txt
08d7b607d7ca04e174610ccb6a106fcf47b092575c074d2b5494a42dc2bf2fd8  results/erd_survivors.txt
32ea59ab028b63bbd10fcb841c23905e67f61a7366aa2c87ba02d30408bfadaf  results/exp4_cases.csv
39cf7f32b2038a390a618204d315393328cc6164f87ca05963204b8e3b928fc4  results/exp4_comparison.json
da2670c7b3895cf251bbdd95a9471fb17584a9ec3282308bff2b37d2b3016080  results/exp4_desc_cases.csv
a33ac80d30b18e2a73706af24d4a0574d338b84c4ca43e875514ec59e9daeb7e  results/exp4_desc_histograms.csv
196eca9b820acfb25e9721639858eff4e16b4b3a2905feadb5a97b428dd3c3cd  results/exp4_desc_summary.json
62fb32c39838e507285285ab58bef124db3f647856a37aadba4235a869bbcacd  results/exp4_histograms.csv
1e9fde5d89e72372127c65ded4cd4725ca0f7038504444cb9662370c80a84c96  results/exp4_independent_final_hashes.json
251e9e3d4834a66dddd704309fd547ce2849453d29f58a5edb36deada8a44644  results/exp4_pilot_cases.csv
465a351a477b4199ca1072621481b4c88f13b4c5b0b62427b589c06f5931042e  results/exp4_pilot_histograms.csv
da37139cdadd80bf5a078321a5581c1ebfc83baca019b0b7f2800a87e2344564  results/exp4_pilot_windows.txt
9a55c66ed70b7eb067c1aa12ba771b54b039594acb14ba8cd8f373be09f27a6a  results/exp4_published_bins.csv
cbd3aab16f27318b8b631fe6bb894958683182dd11de7c4b6587c5b5f9f23bf1  results/exp4_stats.txt
3dae939a4b3f31346c763f3aa1ef1345bf75fbbc672ddce42e2744666cadea2a  results/exp4_unresolved.csv
bc1d7ffe94958fab4e1de0bdcdba463f4b9253d5025c1f8c7ec4d85e274c47d7  results/exp4_windows.json
889caa7a2a100fea77539d80c2a867d8a6f5463fdb0cb5178d7ea189c7e55475  results/exp4_windows.txt
9fcfc173df171339b73e8dd77eaf1c559598a18c36c4991c019f7d27564dab46  results/exp4_windows_pari.json
cd4f7d272779f4ef96483ce1d5b670dff1599c06c86d81f41d96538654dddaed  results/kl_comparison.json
5f870b9f9f654fe38ee19ea27ba0c2202c7602a1b38946dccb35cab6d53d10f5  results/kl_exact.jsonl
9de4acdafb115da530b8483b4a404fafe725602b241a2c821fc7b50b201de2dc  results/kl_exact_summary.json
2e0dffbc1441b896fe320598f01d896c0235b868b92cc93f266f2ce2575b7d56  results/kl_final.csv
ad362a9339e885c8e11a67505e69b5bf7edb887b4100b233b2be58e43c51eac9  results/kl_I_survivors.csv
550b58ad43e2599128c95317f32a471dcd6095d1d9da964c45f0b51d8b12acdf  results/kl_independent_final_hashes.json
9a925b789d3e88998c84d571c6430a08570b1cd48b434dec074ba5f60d3043e8  results/kl_stats.txt
db2a62c37fdadc580e034935a0abd5317552e9aaafcc4e8b9f720600e685cd7d  results/published_bundle_hashes.json
fc3c9a2974e50254b9798307935f9fdfc95915aa0bc98dd228e820550c4e9083  logs/build.json
feb4d1771f9aea3dbcd7747890a114edec0a626bdab572123767825e6af64415  logs/build.stderr
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/build.stdout
8dfdb7fb20e2549b4d2ca03469adfb0d7992fb3aac7eabe7922142fb3ba0b492  logs/build_domain.json
8c1e0de7ab9d0d177e1868cc38119f2f7fd549d236fb278266874f51e5161846  logs/build_domain.stderr
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/build_domain.stdout
d4abb815f53fe5a2a3881889ee14b32b2113581a3acd9bae53fa47a2ca323053  logs/build_exp4.json
43c70fa34fc8f895257d48d918688d829f0e812801993fd9660ae9471d26d258  logs/build_exp4.stderr
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/build_exp4.stdout
a6359afd6641da8a2d14491a1598f13f5f196aed67f5b1a2f1cce8670b1c5d42  logs/build_kl.json
a596f7757d26166ae142edc55f72f5328ebeeda656c39d5d08293617aa44e8f1  logs/build_kl.stderr
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/build_kl.stdout
6a9a960156f748dbb083be82954bc93de365a77d1968de7578c813edc1d1955c  logs/compare_published.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/compare_published.stderr
4f55d4b74f00e299c78c7ed23528f8e7becb5287e998ec09882de244ae13381b  logs/compare_published.stdout
fb6ef4e6413b17b5d0a9c8cd10930bbd05021454aded064f603941af88ef3311  logs/erd_certify.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/erd_certify.stderr
3b165d8e53069586abc4cf2e05f3f5ee44c5390969f285c52e68ee914f626b2f  logs/erd_certify.stdout
7b3a60b186234653c54b72b6586e7e1645ba7b47a6c56c8bc6c861da7c773ce1  logs/erd_domain.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/erd_domain.stderr
1df5fe9c1a74bef994375f318a1b14f683eb7e784f021df4b509c50a8b9162f6  logs/erd_domain.stdout
ce430e83619ca28961b5a79d37e6d7ed4a67235bf6ae73b7c613fb2ff761c5c3  logs/erd_full.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/erd_full.stderr
86ab2e387cd53c92f07bc33009bdc370f9b6f3860e6992084668561c2d400d10  logs/erd_full.stdout
219124ab92dac4c12b1634ea2cbe069efe55eac717f23067777969527127afc5  logs/erd_pilot.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/erd_pilot.stderr
56eca8c3779b59a99ce5f752c88083ec4b4e010cc14181bc83fe4e10d2f71adc  logs/erd_pilot.stdout
1d4d3cb39feafc9d2077b27dd5c846afa8dd12d4493d8bfe6fa276d705b8189a  logs/exp4_desc.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/exp4_desc.stderr
a658d0192342ea5e2b932b2b73c476ceac8915c009ea141dcb0a499032b82990  logs/exp4_desc.stdout
f424b433944f4f8820fc7fe89546134773ddeffbb8af91d2dd847e5d22d6bb90  logs/exp4_full.json
5892e61f9498a459339aab5a913b9e04bafee953cf3e88833faea659d77cdd5f  logs/exp4_full.stderr
3394dbef210cbc9864c51aa1da5ffd64dfe2f9095492f9743094db4c52b1a86a  logs/exp4_full.stdout
c03be7b17a03ed043a993de7a1d9c84d916dc2225bad285f06925929ce51e5dd  logs/exp4_pilot.json
8578be88fd46a40c1d6d8cb2c6fddc5883888daa93fa1421a4d1504e9d5f132b  logs/exp4_pilot.stderr
cc02c3f70880279a84f1a523f06127cd08d40475312a02b5873660ea51b436ed  logs/exp4_pilot.stdout
12149e31460bcd08faf2d501e9623f06941b8a2587c605a708e80fea8121cc4e  logs/forms_pilot.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/forms_pilot.stderr
3033366c1247a4d0b72f11ce8315c7ad45127480e160a6309a79cbd212386fa8  logs/forms_pilot.stdout
efe1f6f070681f1ce6689ce2a146031cdec68c33fbd559e258bc65790fa8449b  logs/kl_exact.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/kl_exact.stderr
447713fdc0c4e9a96c0f6a27ff66844e3ee0983d2146a627c7a871a131d6d94c  logs/kl_exact.stdout
d8aa4caf41056c5ba39612d58eadaaf50ec3dfd3b95590546b10e484d8d05103  logs/kl_full.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/kl_full.stderr
9a925b789d3e88998c84d571c6430a08570b1cd48b434dec074ba5f60d3043e8  logs/kl_full.stdout
7c1024ac1b725844ab31c691bf214157fd7628f9da7cda689038508041396903  logs/windows.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/windows.stderr
ab396678fbadf92e2a4b79ea85d5dbbcc952215e23bcbbe7fc7eb0f2ceda113e  logs/windows.stdout
6d0b52308766ed69dcc4744aa74996178bf3712423ae0809c6e6f97906b665e1  logs/windows_pari.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  logs/windows_pari.stderr
e23619c0cbc3554abf644449ebb93f209f60417eea84c3d363e9e93169d18037  logs/windows_pari.stdout
f425ff2caeee5acb242f134cfd840fe4692cf36c51ff5fcfb33c2b6c1b06d397  sources/erd2_bundle.zip
6ebc8eff8688cce43b62bedc36ecb6344e25d6424c64bee57342294f4e4cc6bc  sources/exp4_bundle.zip
73fa5339e37c87e7a2d3165460c29a0cc072e24b883f6dae0e19ec86d6ee677b  sources/kl_bundle.zip
71523c7255e81aaa14d745dddb3d8394dbe08bf8a8b0631929182a7a6db183b6  sources/paper41.html
83101ec53c896698eb747c69192add14ffe550f49c9cd429aa4b0c3fada9f637  sources/paper41.txt
c2c611b18d9bd03b9f7a11bfbef860f55eb340cbd84778372f5b47266debc9a2  sources/post24.html
18acd9fff4afc5530deb9ad7ecfd9cf6d47231c7d788f0e9c45f720278d92659  sources/post24.txt
06ad731b78e4a9a792d791358c5089b452174d689508ed3faa84dc7f274a216e  sources/post25.html
628663b38f7ecd13c7822e679dc601925fc1271caee07d5ff5c6b0c814941c8a  sources/post25.txt
0cefa64e32764e9390c56c48ec0897d8cfc3df687928eb2819d1c62aec59693e  sources/post26.html
80dbab5a7d98773ac6fea656a2685dc1c3275d87ec0cf9ca1efd6fe91033a609  sources/post26.txt
75b9d84a771786018e8c64dbf02d690e3c904c14d76255d250bb0ca36179901c  sources/published_erd/erd2_final.out
d5dfff86afd985f3c295373b8ba20d7f34fc6a9e4339a9d8073c22f22dfb1b82  sources/published_erd/erd2_sieve_full_1.out
c0ddf244eff4974da2ba2e27020af59d4ee04366a04673f4631a49392c6f901b  sources/published_erd/erd2_sieve_full_12000001.out
dcace147a5e0f1c0b4fe468d8c9867affc2fd5be58e6c952ca0a19dd7c7fb3c6  sources/published_erd/erd2_sieve_full_18000001.out
ea5c444b3fe1d9749aed70c88521236064d6af48d76a9261e6b3c38f9bdda64e  sources/published_erd/erd2_sieve_full_6000001.out
68e07e792827368ff81313a539ebc1e55f55bd4e8d79297260703d43636213f4  sources/published_exp4/runs_14_16.log
c4f667493e715c7be0abcaf7e3a456864e6d3ef03c9f62784e8c6feecb298c4a  sources/published_exp4/runs_17_18.txt
ca5b61c72ae9ca94a85fcebc359d79f645d8b8dc1daaa25b3488c2e525ced16b  sources/published_exp4/runs_19_21.txt
1a0041936c189909de808f75f9fbe96951d2eb0f9086fc2d88b6abfa109f234b  sources/published_exp4/t14_E4_0.out
2b6dbfd8d31668a210dc9fe3baa70bfcb6670900f854dcb875bcc39fa4299a3a  sources/published_exp4/t14_E4_1.out
522974633b7fcd0fb4e23791474e3d5328a66c7a81d5629c5fb62c76618f0e65  sources/published_exp4/t14_E4_2.out
f80bedc6c5a11ba38686d981920bb57344ce7eb01a293ee0fac92094f40bbe9d  sources/published_exp4/t14_E4_3.out
c29ba6ce89ade33a98dc52a36a50b534e02018083e2cd552b45d0bdaae0142ee  sources/published_exp4/t14_E4_4.out
ee64c197b64ffac9e30a290fba94acb68b231d9368d8f15735a325dc8444c914  sources/published_exp4/t14_E8_0.out
a39c5ecb2c1f5522d2c3110e4f54e8a0c108eaa638753811ec9811456bb37c26  sources/published_exp4/t14_E8_1.out
c8cea3242010e543dc9e481545ed860c4aadfdfebb6a7d55c3cd426e86c0a7d7  sources/published_exp4/t14_E8_2.out
cc4592a6d51ae574aa9278003f1fb5746b0bb24bf1a05a41b0a6f5beeeba5581  sources/published_exp4/t14_E8_3.out
4580cace64135bb815f7181075ab602845ac0324055e0cad701355e9f4550946  sources/published_exp4/t14_E8_4.out
6167b4d101af67f9faa6883eca5d6274761c4f12a52b746c04d0a11b08ad325b  sources/published_exp4/t14_O_0.out
6ba1730fd19e570f8fca084d9671a37aaad41abc2c3029a0e415909fe925b826  sources/published_exp4/t14_O_1.out
376dcb4d4b28ee78b43691e252c39935a4569b4baf3ec2121f07491f02dfffe9  sources/published_exp4/t14_O_2.out
2e3edf8eca15ea25dcc3a39ec22d5c661e56eee46c8a2132165c1e8cbbba3ae3  sources/published_exp4/t14_O_3.out
b7cc715db35dfe10bcb46204371bea8e5121ac974530b4606bdc9f0d08639792  sources/published_exp4/t14_O_4.out
c0300888154f7030f25cb1d9eae130da2a1a96b0719368e875ca2eec6c80429b  sources/published_exp4/t15_E4_0.out
b0869de9d0a09d85d9ddcfa711be44973fdf6bec016e2599e8192bedcda77e7b  sources/published_exp4/t15_E4_1.out
9fcfd509d0fc49511eadd6fb5afde429b8a831e2babad1303b8dd6d7bf7dd345  sources/published_exp4/t15_E4_2.out
9cd26ccd136fba5fc76b6fa2dc1af80548feafbafacf9da5c48c8efc04088a7b  sources/published_exp4/t15_E4_3.out
55df92427b6828be907b21fff76a004576452c57edd52b04045b9a34a5a3d313  sources/published_exp4/t15_E4_4.out
390ae4b892780ac0bd7c26de7667a8b62982076c07c19ed704361e084e4d64b9  sources/published_exp4/t15_E8_0.out
5b6bc1ae0d637253106b3309b875f120cbe6f1e5a876b6e4f502b37087fcbf46  sources/published_exp4/t15_E8_1.out
e0912531b6b086d2adbbfacaabaa64fc852475e717b747b84e438ca5aca404a0  sources/published_exp4/t15_E8_2.out
c3bcda5a9dd7db4f670f58c0489d1ac3d28df08a28f0690d04ad2c42362b4cdb  sources/published_exp4/t15_E8_3.out
18e9d08a951008876feb5966a02b662a998aa56052f5b21d964041b59f700306  sources/published_exp4/t15_E8_4.out
a4bb7cf00de47434329e5819bf941094245c0bf431ed26f6dfb7da66ab9f8eea  sources/published_exp4/t15_O_0.out
f2905354f1d09ab89cd987ace017c6b195e1e75282b6517f38aeba9227611b91  sources/published_exp4/t15_O_1.out
919f6981bc6076be66b578ebf76d868fdf8eb25c73b1709f8df6a12aeeb7d62e  sources/published_exp4/t15_O_2.out
d9c0c9836cd09a50a9a751ecad3c8e24e0a8ee6d4fce22897a6eeb8de828b756  sources/published_exp4/t15_O_3.out
8987aff1c34cedde1d15a01e0579d9ce6c079f282dc88a980d41284c49311292  sources/published_exp4/t15_O_4.out
d570593b4dd3322c5e5bd82f653d48ff0949f2ff5cc6fe36335eb5dd816d863b  sources/published_exp4/t16_E4_0.out
aa7bbf1822a2e27d5f7ae90717567ca3b7ba0ee5232f4907298a6056606d3b4f  sources/published_exp4/t16_E4_1.out
4788a9cb2bf4172f3505ab2205459b4f6027f28cbd51547a7a2b1e28ec2200a3  sources/published_exp4/t16_E4_2.out
8facdd01ea1dd9d848b76f6ec26043aa2e60718fac3240119f44cac00f0b8c8d  sources/published_exp4/t16_E4_3.out
238afb10555f2cf3943302c99e3890a29704be0f937c6e5ce0837f090d540218  sources/published_exp4/t16_E4_4.out
070a739466b7f67e7aed085cd617b1bbcc7aefe868ea95a6863c76539f458f1a  sources/published_exp4/t16_E8_0.out
e4ca4a5eab036043f79c58e81112117911b190b84767c1945df4532838274140  sources/published_exp4/t16_E8_1.out
682e54ecb1bce08dde0ca7cdd8a132273db1c7f97f61dc9e9757bf5182199c91  sources/published_exp4/t16_E8_2.out
0d4cbef39980d9620b810a885279be5f03ad559c14e38935c60b54b13244affb  sources/published_exp4/t16_E8_3.out
aa7e465681ea3252fa4a47440b403ea17ce55ab7926850cd40bfe041c7cb45b2  sources/published_exp4/t16_E8_4.out
b29aeeccb177879cda48d132098179c31945f792c70ebc9b253671376ef586ab  sources/published_exp4/t16_O_0.out
1db5f5fd4c190ce08a6ed61d07726e6cf42ef80d7af797d8e64ef6b22b140d65  sources/published_exp4/t16_O_1.out
8dcdc8856c0d9450ce221c2ead008af62b5ed166c3f3d3a52203fdf71b5cd93a  sources/published_exp4/t16_O_2.out
10c2165eb109e9cc8ab121048856a87288ac1dd33ae903190d18bfdd16fba3cd  sources/published_exp4/t16_O_3.out
38392b8318bb4600c627eef83e2c4c00575d073bcd4e703713eddefa19ad69df  sources/published_exp4/t16_O_4.out
593c4d3ef8605ae2296176c0fb5183e4df5a7f08195aa2aa94358fb5aae819b9  sources/published_kl/c_cases_exact.txt
37019f9588d13966c24e27bee2c541e89e10fb5ec478ae957e433190ce6a9c13  sources/published_kl/exact_3000.txt
47343d999680a22833b2492c5048166b83dffc48b0ce13e624da6b7bb29aaf90  sources/published_kl/nog_s-1_0.out
ee5c8f617db7b388c9f31c004b3f5d6500f71306b65c0d130fb989fb70e3052a  sources/published_kl/nog_s-1_1.out
a8ec2810c5c686bed8e927ff9504e1dd4abb0028195049feb69f105f26bf9abe  sources/published_kl/nog_s-1_2.out
bba2decf07d821b107b4e5d0b102686d24b63ec5686221364120da0e2ad7d8d7  sources/published_kl/nog_s-1_3.out
81302d84459d2507edba370e11093bdd038c70be586aa2812cdc73059558b81b  sources/published_kl/nog_s-1_4.out
261a64d71dd245473be8d11005678893eab0abb0c5522b5b20085952ac07d171  sources/published_kl/nog_s1_0.out
4aa6c2b541b4ed983130db5803da84efa285bc769aae909d3e3dcff749a0c194  sources/published_kl/nog_s1_1.out
c90190b084ad59bc91101c624a0a05419e0a333f18d32b9324de42fb0ab58e82  sources/published_kl/nog_s1_2.out
fa4f87abcde3a7c28e647fbe246f857b690e29feca9852745b9953ebfc1f5fd3  sources/published_kl/nog_s1_3.out
47007e3587cd4a51383861cf59714f8983192861c43b27bf576582be586ffa5b  sources/published_kl/nog_s1_4.out
99b9bcaf668056ac9cb9e8272c2ec02295c85ebd55a621af4efdf4f237228ef8  pilot_results/erd_pairs.csv
56eca8c3779b59a99ce5f752c88083ec4b4e010cc14181bc83fe4e10d2f71adc  pilot_results/erd_stats.txt
a381dbad88cb1966384cff7e3a5b775dedc07900f3bf56a04c36a32dc3013a1c  pilot_results/erd_survivors.txt
7a42f3cf9a1433be85a2cec73088af950c205d1d2fb0b24246522d1b33704ae4  target/release/independent-sieves.exe
