b27d945bc8a5a6ab33d043cd0f0073aa33dcf64f4ca88417447307761c597f1e  Makefile
41afefb4e650a5a52297ee4ca0919584fe9279334d1e8651e32b3d91a1d43821  README.md
c965ccaaef2ac68ba06455e07ccd000618654a6c544b64de4fc666293c02a418  evidence/0013aa84.asm
90479bed0eb994f0dd444d52650a3788c2ddcafa3c38273acd233dc553e91e77  evidence/0013aa84.c
d2290b1040a45a8d12c9065745f09a014922a275d6a3fd992ddce9140a6986b5  evidence/0014f220.asm
90d931fe88091c9ce31089938f6ed8fe9dde4a7189b8b72c238015c66140e354  evidence/0014f220.c
91378019d2c4bffed179bd0d688f0d07f5b403fce00d684140c80d21883e009b  evidence/0014f930.asm
c5ccfba7cc84d40dae08deab4625bd277c7bc9ce8ac1f4e667f78143dafcbb3f  evidence/0014f930.c
f37286f6ea6ab01a00984ce1619adb4b5b05b128bc4d706a6813b44ac71fa508  evidence/0014fa2c.asm
ccb1017214863400cd31163e8eb3e522702eec55a7e47b3e23bc903c287a90f3  evidence/0014fa2c.c
4f45288f84cce3c179a44d02323c510d76d81d5e30bf9ab68dd78a53e589d22b  evidence/0014fb00.asm
452eaaf3389ec9c437ac5696f2755a81e6022ecb78da142136db65fda37dfe5d  evidence/0014fb00.c
fccef68f6ee3571ccbd1325aeef18a34ffbf811b91e4d054f1d4896a05881ae1  evidence/0014fbd4.asm
df23a6755e2a5e15c582bc8b3baaa6084a75c220d3e31dd7897c3ae883af2453  evidence/0014fbd4.c
7f1b796f6ce9710ddc2d9a010cb6d5bbf19c4fa96dc5eaebfa4e32a008cc6d3d  evidence/0014fd54.asm
38e5325909574dde42ccdc8cfbf03596f6d65cc855ffe915271f02ac7d62fe92  evidence/0014fd54.c
daaec5f3abb34fcb71f09805217ba33b9d4773a1767efe630b13731ba4a22d12  evidence/0014fda4.asm
dc0eca5f208ccb055b2166210c809fd323a508d8cd6cbf38c9a497bdad2dda6d  evidence/0014fda4.c
7705f800faaf716d07ff77d0d3b0412f22f9ec87dcbcfcb4fad8fac5016db733  evidence/0014fe78.asm
e6b4b5eccde985ab67d135ebb309e54db67104b3e3cd7a54dbe8b00f02ca9824  evidence/0014fe78.c
4dc5b114a9bc87755448c9d8cda09ebeeb4d8b9af44fd68c36b09a54cb4be437  evidence/0014ff74.asm
067986aa8cdad5be0bee3165eca6090a9d71180cd52eafe06970e9bce3dc7198  evidence/0014ff74.c
2c91c238d1a159766e287cd5f189e8a3512a86c88fa1378f2da749c977649608  evidence/0014ffa4.asm
519b512d40902aaded54e6ff1f335809165c91eb1136b38beb736c087c4eb959  evidence/0014ffa4.c
749279395d79a0fdfe450eada8b0b1ff8fb13b3c929d4edd49b631e71318c894  evidence/0014ffd4.asm
53db7696dbba1718605c75880b99f411cae7e4ade11d6149fec79ef65404c372  evidence/0014ffd4.c
d5bf5b59405180ec4383dffeaa8e8dc360996a94ce7904d8375b95656d56500b  evidence/00150004.asm
8eddab7e4b623eb35f61ea58495bc7b174c28a8e6313f5a619b91818b06bfe0e  evidence/00150004.c
e11f12e779e47d71ef5411d20f4d97e8cbef8989611773077538c552d144aa33  evidence/00150034.asm
9c8b04e412ef74233a7ca7dd07eafdfacd496387ef60828a675f97b6642cb02a  evidence/00150034.c
222f7f2f1a3541c62e960071877588515544d99aedbed0a018d12d46740989b4  evidence/00152c3c.asm
85876fe12a869a0e4a9ea292a6a555ee88629fc057db23fc28d81282a38f06fb  evidence/00152c3c.c
54b745b1b8528cc64762c65076b9f1f66f4ba3e84268a86b311961855308e2d2  evidence/00152c68.asm
1066812ac5fc3e97c668de01fcd6ecfa1dd658c61ad5a1d21245461efe263cf0  evidence/00152c68.c
65bf9947315fd02d3df677762c7d55b9061283eb1e64ab24fbe3e58d244185b8  evidence/00152c94.asm
569bec072a5cc09eee9579f0b3b0cdb21125fdc15efa8900b85734613870b848  evidence/00152c94.c
723b420584b2ee1941731256a557ec4e0450e66e0fc55792788a02bf8f19de3b  evidence/00152cc0.asm
da09df06e1e0727b424fa8e5e1c0cfe873d8a38b0227460f6b6f9adbf206a4d5  evidence/00152cc0.c
bf1adf618ca17753431d93438b7cde0f2afa52e1008b8406e2b53983fe12f85a  evidence/00152cec.asm
932df15fc504e96f393a5d226b020aeb3ab6ee0d4ea324207e27f368a52c4170  evidence/00152cec.c
04e2b67ef3c9a2b45384be88a3a2a3d679c5f7d7ceeb492799e981db69dcf730  evidence/00152d20.asm
0b0172a08a3078048f61c8a0bc22c85b41415f82903b64f186f7a51f01ddba02  evidence/00152d20.c
b9d727c58db98658b213a8b49a9bc2ed59b409aebc5c7944e67213fe880a8060  evidence/00152d54.asm
46eb1429c8d640d66a857fe1a17ca16a4267d54528125b4d6d181802ee71fa18  evidence/00152d54.c
037d0f2c36f9ce6e0f63445695887ca3ffb81dad8b0e9e6fad7353c80ef26301  evidence/00152d88.asm
4ce8407cc9e1deddf6a291df817bc6829a62958aa44154f019af75a02866914b  evidence/00152d88.c
9022e3a94d8a41d46fdfc567abfd333d6af984cc7348f129f2a0f511392a2f47  evidence/00152db4.asm
2114c36c5269bd09cc687770c132138654e03cb3f26879561060ea45a4231965  evidence/00152db4.c
7cab69857729286b3463b860fe205be956c95bd9bf99ca184fa0ca8d73c66093  evidence/00152de0.asm
70261ff566040400924ce62dff17946cf7f23fde98f9af0bb058a73a0c0ac16e  evidence/00152de0.c
7b748561bd3ef329cb20a6019e60beff10adc663c1a378d9de166e0ba7b06cfd  evidence/00152e14.asm
2961ec06dc4ce4126edd9a4314b81bc4eea589c27c2e5a095a732bb39b2db77f  evidence/00152e14.c
e7480301004f1a543c2337c490b734d57928d56616e30c1cb395602f0cad146e  evidence/00152ea8.asm
67cd98a1869966b4cb02e05b81d2813ee956e4dd6d73100d462edd9eca3b20db  evidence/00152ea8.c
247ab148eff1950abaaea105a3351d5b81d5c5db4665e0e11eeca98058a78203  evidence/00152f54.asm
92cea68aa6abca0a0039472687a13c5dc9df1440afb55de52e061746de6fb78e  evidence/00152f54.c
501e30016a6ec2edf161d17d7724b092aad3b086ff03f0f53c46ce90ef4021fd  evidence/00152fa8.asm
0c677824cd0327993761605f91a4a7b39730ca14a6ec7e842375f6b935858131  evidence/00152fa8.c
1bd03e4f9494424089b8fd13114dfab91d8022cee71b550df26c7aa943d8ed04  evidence/00152fe0.asm
5897fdcf7452d5f6fccad6f9d9e90fca4d50a7e3430c3bdc12b2564a7a09abcc  evidence/00152fe0.c
e5fccc150ebb9e7de272771a79a02da8b33858556b9682ad2aa3abea18a183bd  evidence/0015306c.asm
cacbc270785f127eaa00f9e5a41a18f5712412713850257130a52f0366a0fe71  evidence/0015306c.c
ec7f7615fa9000a6868d9ec64dffc02451a195bdebec1ff958667b7f6c7546d2  evidence/00167db0.asm
f21178afe743c3597622e282f9eae8616a8423895c395bcc0cfbea848edaf981  evidence/00167db0.c
25df0f310a56c3e13267b5cd79a499c90f82259b438b519068eeea3fbe72a5af  evidence/00167e18.asm
8672b26721c195bed8f4729f821ab421b1a58f7f797eef4decd5937de9fc4efd  evidence/00167e18.c
a21474a66288cd4c375ac0131871f7d64404affd5d9b9fa1deb7bdb36f65a780  evidence/00167e2c.asm
84caae2e5776323734895fad69047c025517e341ceb779d59482ca047865bab7  evidence/00167e2c.c
f07ca4fd02a1bae8ac09953a51a063742473ec4fa26539557ac60d0d350a12d3  evidence/00167f98.asm
ca652e20f12cbd0c22d790d43f876f3708e1b9456a805e85ff0c8fb44b24cb9c  evidence/00167f98.c
b48c1ba4ec9b4f6734dc55be9f902ab7e47d10a49282960ca2a0c1c4bffb2668  evidence/001685f0.asm
bd1a61dc7fd4acb72e899a8edc3e945179c27f70c9120e5298d718400f89a669  evidence/001685f0.c
4deed6210f00118072519da5ce25ec3f32c653f6470edbbcc383c2199aedcd48  evidence/00168660.asm
5e80c73b6a10fdf53ae6170c95f608b4d9f9cc1f6726b3b32cc40c61ace84f08  evidence/00168660.c
65eca389bb30102575e45149dc070c9dc70977069be50bf0629af82f4d64c7e3  evidence/00168ae4.asm
d1f7ef2a2453e3d656462fdb9cd3ae0b30dd55d0f93302b94db13263c2106f15  evidence/00168ae4.c
87b046ad679baad06cf9cd2ca414b8fc17914906c5d19d196fe977aa2289f98f  evidence/00168b3c.asm
9bc6a5cd4373e0c12a72d8999ec62a82795cd43c6bdd09fa8e8e3b3f38022c4b  evidence/00168b3c.c
723d536cfef4643cc73d22521232cbdc95b491b309413ecf52d761252fe2d984  evidence/00168b84.asm
ae45a8eed3f5e6b127b51b85ed5a096c378e9279da4483404f32ba86b963215f  evidence/00168b84.c
03277ac03d332f35baa637f82477b3b6a660b07637e3881df8274f5da3ee8c79  evidence/0016b2ec.asm
94bc25920d5280092cba4c24f23766a0460444f2c6d61d57224336de8e542e81  evidence/0016b2ec.c
7c30848319e10db7b9a51995ae9f1baf2b88457d4138864b11237d0fc043e648  evidence/0016b318.asm
73ec4a07708e3e6345ef4b9a4061c858327d53d9a64593f984f9eb2fc8bb7700  evidence/0016b318.c
073c22f207a95285eabb8cd09c7951284162f4ca813248e1e54e4307156bc974  evidence/0016b348.asm
218cb4723d20df888e892e58f6671efb68b829058169010ba08da3da3b44660b  evidence/0016b348.c
5f536a53b5b332885bb37b9bc7cdca9745d5e597923adcfae7c2658236da6b3a  evidence/0016b358.asm
9a346a422b555a240f6ec92f335fa59ec457400b80f1640d531106f975047e90  evidence/0016b358.c
39401b9b5bb750847570d1299952042aa535afdeb0ff065f7e2c8d573e6c9dfa  evidence/0016b3d4.asm
e1af54a4d47d83e94fd6819ae2686db2d72e53f096637952293db750cd1768d7  evidence/0016b3d4.c
73aca92265514ad044e7538fbe28638384189f0ad2c49767d67da1cb7567a57b  evidence/0016b45c.asm
38b75bf18fd3b63ee3d20101a28162708f8d03760e44e147fbf12648111936df  evidence/0016b45c.c
76a68eb67728d65cb4aff43664f5337fa8be1db8820afdff73533a5829d543bb  evidence/functions.json
d898990bad214b0417a942899b47af5ed4d1e64374eda37d7314b0046f6a043c  evidence/literals.json
1003ad6977e45abcbec70d04a10b0540a8d5b2e506cc9967e84dfab85d9e0da6  evidence/provenance.json
ab29eade8002756908ea483c3d341da00969eb3649d981b9ae8f61bc0d157ab8  pokemon_stats.c
ea951dfa47fa35f426cfa26d1678a36c11e9ce19171d38a210d0401827050ae1  pokemon_stats.h
f341676ef90c2235c1202564ce87b83d605d6ef2e633362be3976a7b5ed72564  reproduction/ExportFunctionSet.java
59962c341e3645fdbdce114266018212b46c0aab487e38294892efca82ab82c5  reproduction/README.txt
f039fd88f32098d4ef02658f4647a90d3bc3df772a90e0c48031d55a892435aa  reproduction/export_stats.py
e00d9183f72fdd8df66ea209cb8fbf27f49eeec4460b62043d6159f7bb2a327e  reproduction/reviewed-command.json
8d37d48890564506158fe0a3b29337ad7f38e79abc7e50e8d9a8bb80f4216c71  reproduction/verify_evidence.py
34ad2331e8b6488c9224d988b4af5d3c58da4ed8a11a3e67eb470bb1a6e4c15c  stats_fields.c
a3fd78fe63aa1c7cefa73b8341d68e0e56fde9503d1066759c5e24a37ea80762  stats_fields.h
f90dbe881b8aaa6e52e7710d1af0aeca87ac64a4181ccac64d63a0a9a113c58d  stats_math.c
447f8993006fdbc48eedc16172cc363f0afa4bcb8a3eee28ebc380a2f44d8137  stats_math.h
6d90cac18600368f7c5980b9238feea3d6b1c6a4eb6c550251b310a62c164d9d  test_pokemon_stats.c
22b0301329d3964e2fac334a54787b6b7fba5e542f17f95c7c438f9a2e5aabdb  test_pokemon_stats_chain.c
5090ae9fe69270337ca1d0de8e942da57cbeaf333c8b5ae2402a4c3722ed9281  validation.json
9b136544ef212df05da29dacc1b11ea9edf5abc6a01447566ada3b8d983c6e7f  validation.txt
