RCIG v1.76 Phase-I Closure Manifest
Generated: 2026-09-13

Status: RCIG Phase I FROZEN at Run 176
Member count excluding this manifest: 748

2243ea51acbb65a8fd983c1ab8de19fa059cbff17830ceae6e1a8496367210d7  RCIG_Autonomous_Run_001.md
4ad5bf651241d856cd2090c7b99e6f743c383f0ea8412bac0db2745c25ab9f71  RCIG_Autonomous_Run_002.md
86316f2faa924571bdcf29e966da9fe47390b4c07d9eca281c6604eced12d95a  RCIG_Autonomous_Run_003.md
5cd2d2dafb56824506f9991c3d1aff7c903063191fbc7b4391e8588fd66c119f  RCIG_Autonomous_Run_004.md
c537a5f38e600b56c5bbe111e4425d48e01332738d0f3b4264d4ec31521dc503  RCIG_Autonomous_Run_005.md
6ffb765a340531f7e2700ec1b6cafd9a56d7d4d15b2a3aacdc9229b454b26aeb  RCIG_Autonomous_Run_006.md
bd0205e2b03181db0b801037f8c2cbdaf8ae83d170101be739bbd103ff2dd9c5  RCIG_Autonomous_Run_007.md
ed89a74f59fa9cd7e37ab023357b447ee2db0d2dbcc787bdfde12185f991fd3c  RCIG_Autonomous_Run_008.md
98c60013b88b75830d7ad7b897eff9d258b2423d10feef39635d18a9d207d9f4  RCIG_Autonomous_Run_009.md
43f19d1eea6350954f38b15e1205eda5cbfafff352e8064334e2f4f661257e2c  RCIG_Autonomous_Run_010.md
1881d92a8a569c78062c0fbd12ae5fbd0a9d1b1c0ad5ab4489f9dd15b98dc611  RCIG_Autonomous_Run_011.md
36d4fdf236263edf3eeb0f4f4e272989d710c31e901d78d8c96b8c3b5e723623  RCIG_Autonomous_Run_012.md
55b8911388d5d3610b7f7dbcc5bd8cef7494d63b7e5e5072ac71955da764cfe5  RCIG_Autonomous_Run_013.md
aad9fefe2ef253371db9722a19265bf1b52dcb212164d014e5a16453aeda3e89  RCIG_Autonomous_Run_014.md
d1d161d2ac478a23af135f05562eee9100764cefd6114b5498bbdf256b6f89be  RCIG_Autonomous_Run_015.md
23fff8ea0a531092627ced4439550dfa0ac8eed8a17851fa3493ecb4aa3dfd3e  RCIG_Autonomous_Run_016.md
36e00d435d66b42ab1d9a129e03fc7787c53a115437ab31819fff28d848ad0ad  RCIG_Autonomous_Run_017.md
c6b3bc80cb51f0cbb77b2c4ee850900f2fb723d8d0d11712ab5a6e3a22a4fe1a  RCIG_Autonomous_Run_018.md
9b04e7e5fcc5695057aa79e7853f66a4f8ad4da6037a4d418ae4bc13e875a672  RCIG_Autonomous_Run_019.md
fa33805b64200ee9d4bac0ef4b7b875241294ff77aec3b230df887483e6b2070  RCIG_Autonomous_Run_020.md
12c6d761862dcd5c1415260796480ebf6ff469be50d819b55f9b43d0fc03ba71  RCIG_Autonomous_Run_021.md
8018ef5a152ad6f4af8f24ef38a9776cdb8d83232a40ac53fee0e446fd11557d  RCIG_Autonomous_Run_022.md
5b0e83bb506b4dfc1acca9deeadd1cba2f2b6b1d3aee0efdb29b45abb735034e  RCIG_Autonomous_Run_023.md
c6ab71f266070d959d37962123eef78b57deb7e4a580754e712cb0bac3f55b18  RCIG_Autonomous_Run_024.md
7f9e5a17abcf07eb97ff246f71fa33aecaa87ae581b4c9caba27b64f439a6cb1  RCIG_Autonomous_Run_025.md
dfab6de7338907f6396f876541b47bcad82143536d13afd0999557a2ec4be86d  RCIG_Autonomous_Run_026.md
9755adde9b10c5ec91658d8756400275e139b3e656506da3562d0bc418e7e4a9  RCIG_Autonomous_Run_027.md
462ba138f381ada6a76b95d911c8a257ce71e295ec8fc7e037375d7b2a6788e0  RCIG_Autonomous_Run_028.md
dfb36d1003694854a386cec9fd53f62aa9c995184535d2aa754b874ed7d80e03  RCIG_Autonomous_Run_029.md
8d9ac9af519b57c9cce3807154f686a197e1cbfccd1a00fdb45d3d0fd3bb917d  RCIG_Autonomous_Run_030.md
06f086bc3f63830579d6cb721a75b4b8f4ac19871bf299ad9975c3c68ceeee75  RCIG_Autonomous_Run_031.md
b70a42d753e896091568d7c2de4327ccfe7a0c8efa07ca4fa1758611e5adead1  RCIG_Autonomous_Run_032.md
6d20a12093fbce9d88294fa0ffb9d23e81ac6ace74b9d6f4544fd04eef84bcca  RCIG_Autonomous_Run_033.md
506da227580e1bd898373f46ee09a2da5467bb629ce209d1a9295a2bb3ed69fb  RCIG_Autonomous_Run_034.md
45719403b0b9aa67d038c05c74343a881a8fb514738567e0def8c57ade4ddb03  RCIG_Autonomous_Run_035.md
89a5c1a5d0e158bb2fbb27f23dc4292b072875a0cdcc6bcab6127e787f14b997  RCIG_Autonomous_Run_036.md
a00c97c7453406b7e0401424cbe2808f3421bdfd7df96513a3349bc6e45befc3  RCIG_Autonomous_Run_037.md
414ce6cb4ac73125c860650c0ec5eb02742ec8758f739fa403e557c746a47a13  RCIG_Autonomous_Run_038.md
9d6a64440715b20438373b9467e81d09f19d8f4767e7005afa5f139814c64f4a  RCIG_Autonomous_Run_039.md
685b48a6f9fdea59ca5da284903a57be006abf374b78fd5c80441e15c78c5986  RCIG_Autonomous_Run_040.md
7e1514394062c8b5aef3436b1b5dde1efaf982b92ce59fdad4b09cea46509825  RCIG_Autonomous_Run_041.md
35a13b5b3f06adf3d79c8978a1acb8121cc087c1fd57c208dc905f58ea25c480  RCIG_Autonomous_Run_042.md
9b5c0309b957db50c80758244f7bdb0cbf444426c2376a1b1092eb66811fe669  RCIG_Autonomous_Run_043.md
a3a9e96c44c0d7f1acbbba4d558afdfe7dee2c35078e4142c350f47b0eb6402f  RCIG_Autonomous_Run_044.md
09694bef01be5850d87bd8cfdf347bce6b4e16b8c6e9258c29d63912d56c9d2c  RCIG_Autonomous_Run_045.md
122c7ec38a26fdb4e23aa828715fe3681b8473252fd0c17bc2d81858685b40d6  RCIG_Autonomous_Run_046.md
23adcc88bf75639d6c3e44fa91dc8f06efe08cee674b354eb722dcff811917fb  RCIG_Autonomous_Run_047.md
8e574394600072865709369badaec80b46ef98127af07346779f364d19cf249d  RCIG_Autonomous_Run_048.md
01ee25d0f6ca0cbdb586d2c5633cd8d48f85a19cf5e0870f8e7e27c4fe9362b5  RCIG_Autonomous_Run_049.md
e7787e80f2430c0b356a83accd330f91ddffe6384f78772e6463dc7e69701d07  RCIG_Autonomous_Run_050.md
0a59de936c90329fb663b2fba0296af4b5c5a01ce60185c6568a37be095388e0  RCIG_Autonomous_Run_051.md
4109c474da293aa0e3bffc38121d66e12b6f142b1f6d6191030e35e071935f21  RCIG_Autonomous_Run_052.md
59beeb4f65990ab90423626670568a477ec95537360fb85ed7726c2e4e3d2d79  RCIG_Autonomous_Run_053.md
bf3eeea56e4766248fb596da20fa77c2d622c3fbdfbf7ad46043b1e7f36130f2  RCIG_Autonomous_Run_054.md
47fcaf9a3a2a5db61b1fa24aa6dd7611809bc172d544c77b5d1a24294c748597  RCIG_Autonomous_Run_055.md
1c02dbad38e7a37b10e6a484d07b587bedcc7ef95972d0cb89add1c48d9e570f  RCIG_Autonomous_Run_056.md
6468cbbe5926f786dcc6a5cc751dc4023e088ada57c8ee1b8d37e9b92686c9e2  RCIG_Autonomous_Run_057.md
3817704599ec1b68e99db234886e8b188b4608a206810411ea1dd774dfc8b715  RCIG_Autonomous_Run_058.md
91f8e93f58ceda28f4e9b7e389b58c226bf92ec8f32cf238d119bdb65e6036a2  RCIG_Autonomous_Run_059.md
9c98dc36d7902486ef8d3b00563126a93ff08f1c9c327747193559dfaf43ee23  RCIG_Autonomous_Run_060.md
948da1b052509cc7358a1dfef8d74e7c9d3da3e11aa2ea6399ca707e6f9a9ac4  RCIG_Autonomous_Run_061.md
e211296e6959e35985c6adbeca385107384291a4ed42e98c88582483a263d7df  RCIG_Autonomous_Run_062.md
f70fe8f1fbdbbb5bfd3a66d34f9fabece967f85b8295a9f97c264d8adbb15889  RCIG_Autonomous_Run_063.md
d71ba7fc779b7038cb8234a3e6b22f4185569b4f73247804dfe8bb85341e3f1a  RCIG_Autonomous_Run_064.md
e750977f45b0e2ce27d0312ef5d5202adf34c91529a082294d98cc2b8e2b3a5d  RCIG_Autonomous_Run_065.md
1e169cce5b2b02ea71a49dd2e225ba503cda010462442bbc59fb9beed5c206b9  RCIG_Autonomous_Run_066.md
a9609954b4fe01f61005e89be35aef2d0c4fa04c9d0f570136f9269f06bee43b  RCIG_Autonomous_Run_067.md
5fe70ea3327672b67f482a9e415be87d0e47029f79bdf560933353c755d8ff4e  RCIG_Autonomous_Run_068.md
542e5e4c2f14f9907294ec88a8e858cd0ac9340a95512c8514978d369225fcfa  RCIG_Autonomous_Run_069.md
7b10c8f2f6108536c881635e020d77a91fa719de9542b331ffd755b37614c8d3  RCIG_Autonomous_Run_070.md
b0519b1f578f85af98ae99b7e8a6d57c1dfbda1c1fc9da25f614161a587eb30b  RCIG_Autonomous_Run_071.md
2bfee6dbd0a4d3155806d19508ba7a916aa8817b33bb32a970ef6d0a60ba0b1d  RCIG_Autonomous_Run_072.md
187cc6768960b413ebc1b0be2e10b1568d5525c7e56c5dea599c2fffb5bccf65  RCIG_Autonomous_Run_073.md
f4cd930a575633840a7bd0d4b74aad8c3ad060190b124409036f1a512a7cbb7f  RCIG_Autonomous_Run_074.md
fd886c743851a56980768d03631c242cb8d26b95c1d0181b01bc96958014229c  RCIG_Autonomous_Run_075.md
e64dec73e8de50779383529502b4c29adad403a81bcd8e1483133e695e61fc99  RCIG_Autonomous_Run_076.md
b3f370f589ca3e9d365b0c180be76befe5c0f1980fa17402afec48f5b4cd7a9f  RCIG_Autonomous_Run_077.md
ba23cfabf0ee9bb464e07ff820ea500b3e0b31af13b50fa96b820cf600b483a3  RCIG_Autonomous_Run_078.md
8678ca501ca36d16a018ea13ef4c4841c4ca45758d4c5890f67a8aa35e45177b  RCIG_Autonomous_Run_079.md
2d31821b7ab31968e64e118494f871cc55971463f5d3571c02c3f18cbfc358c1  RCIG_Autonomous_Run_080.md
aca77f2b530135356d287311b20136fedbebbba6b350de1ca99eae5ae19be5ea  RCIG_Autonomous_Run_081.md
de6c68e6a66075b5375fbe8f4994a5097cdf3eecde5debfeeadc995458c8f568  RCIG_Autonomous_Run_082.md
8edebb1395069c5f91ea79cdb31b96b2b488e8d43c29531164e635330516c84a  RCIG_Autonomous_Run_083.md
e51af5a770dd824be2190bd589210f82e851d288d2f9e4da43ecacddea71f4f2  RCIG_Autonomous_Run_084.md
ff2c312c4dd1fa5737d80fc5020659cbbf490e0b886ff55ca0e8da9c82003f51  RCIG_Autonomous_Run_085.md
15017d30bbd3fe03f5ffab05d944260d020ead1942ed8f67044c08db9e90879d  RCIG_Autonomous_Run_086.md
621323f21307bde80f97e50a290e69a1aadd950b67b5eccf1a9dd0fc1f7123a1  RCIG_Autonomous_Run_087.md
057f737a936639ec54bde0f02e99e1216caf1a4d7ca1c2a14d7d3700f41a6677  RCIG_Autonomous_Run_088.md
14a7eea70165db2df360407d1636373d43c8bd1a7f3048be8c491a76643c010d  RCIG_Autonomous_Run_089.md
0ca5df2df70199a212fca9b329701ff5214206ae576d204343aacf0a7d7df535  RCIG_Autonomous_Run_090.md
a2940eba3cf3b4bffa145e0ca328c6782fd57ba73134fb5c9f67119ddf839753  RCIG_Autonomous_Run_091.md
96078bd71863e852d0504741323751ce9a1daa8fb52d106338117fe6b4dee533  RCIG_Autonomous_Run_092.md
66a61387aeec95a3c2018b8aa7cfa82fc22ae7497d7fbf22b05722c66589e7bd  RCIG_Autonomous_Run_093.md
b90e163d5d04a700c7bbc45a196f078134e098b0394b09ab0ed23c6210b3c847  RCIG_Autonomous_Run_094.md
4c6373bfd4d8f657e55fd8879e3da9941d8ae67e35949de2e80510d39e8d41ed  RCIG_Autonomous_Run_095.md
cdd29d2d5b5bdc07dfb4eac3b2d423b49a88148939126287e4cb8274339b7c0a  RCIG_Autonomous_Run_096.md
c8787b1916b5a05e765c3e9f4d7cb5681978538b3a8cda79a8a432338a017442  RCIG_Autonomous_Run_097.md
b9688f422c78c0e669a4e1b5d448e05802c89af1dc01897fec0a5d77bfb334a2  RCIG_Autonomous_Run_098.md
ca3767293d15b0c2e8c1cac36fa5c89b591dd03423b538dcfde9c955c0dc1685  RCIG_Autonomous_Run_099.md
95c73521e68beca8607465615e175a0b4944165994c02170143676e11c12cd0b  RCIG_Autonomous_Run_100.md
9fca9d4c9912fa6bc2d1d4a9cc30657858e1aca86a07e8e778502f6a6c3d16fe  RCIG_Autonomous_Run_101.md
0c9b13111a349165bb766ed98a4afc068a7190e7dc8b9e03fccbef35070dcf5a  RCIG_Autonomous_Run_102.md
06a1d3f773b11c1b986375bca940e8aac9d53b92ca78af1342ac82f4239463f8  RCIG_Autonomous_Run_103.md
e1ac2c4caa57ee147f964f0ccc08390701dc3bf7feefde75d6b9cb477458e8f3  RCIG_Autonomous_Run_104.md
e42f9043c6bc1fda95efb52122265889ac23bf00151a473a52125a0b81fa666c  RCIG_Autonomous_Run_105.md
43f6af68a8fe3e45cb98f805d20985a553ab3dde55235cf360d81dc68688a70d  RCIG_Autonomous_Run_106.md
dc8b7e16c7c8713cb85b7c40f2b431fa53c9b9d2b81562f702c6d39b08360731  RCIG_Autonomous_Run_107.md
174567b9ec7dd3d4909a8572bdb39546465541f17746e644e37bd31d9d3bf911  RCIG_Autonomous_Run_108.md
4b6dd4e0f05fb1ceb12d975d443098dc447c2fcb360358e73f7677d141a0284a  RCIG_Autonomous_Run_109.md
dbcc46439f247706550dbedd6489fd6a12168483213a948168734100d153e910  RCIG_Autonomous_Run_110.md
e3d6eb91a4296f641d28f78d40a613689258a36106a20cff3217541ce13ac52b  RCIG_Autonomous_Run_111.md
7d84886972af8a5ffb3ed600f390fda42180ec386f75b428296a99102afb4d09  RCIG_Autonomous_Run_112.md
8a096695ab7ad050c167efd1ea56ceaf183651cd0b8adb05793663b70e062fa4  RCIG_Autonomous_Run_113.md
fd28392277bb7872e1978fe10aa339569fd5bedb8e6bcdbb12fbaf6213e4e980  RCIG_Autonomous_Run_114.md
4114cb4c5fef332da305b00e484b141357a4131657d3d99a790180e784ef2948  RCIG_Autonomous_Run_115.md
97f647c187873e708067681e275bacb8309171933876b68d43e4542080a00dd8  RCIG_Autonomous_Run_116.md
f4a0652f22aace551e4bc1acb7f98035955413326c99ba037df729b912708654  RCIG_Autonomous_Run_117.md
1977bd936660828cd3c7fe05d8bc7835c97744fe68f86d2561a3414c68abcaf5  RCIG_Autonomous_Run_118.md
a6ccb861cb73cb7842a468e583245662ef08d4403ace064b51019a6d4db68517  RCIG_Autonomous_Run_119.md
f0520349c2a70f424c3c348e5342d444d2aabe9d112ca145499e3c4f014e5204  RCIG_Autonomous_Run_120.md
9e4780e14e8f8bc89024168876889057bbd107767fef1883c27026e5ac47b4a2  RCIG_Autonomous_Run_121.md
4971206cb9cf100f9bdf1f8cfb4e1fd253f31a5748a454ae1d089f9bc6c45e40  RCIG_Autonomous_Run_122.md
dddfb06e78a90bbe404008aa603feb9dace7c85ddb5195fcc1af7319f17ef645  RCIG_Autonomous_Run_123.md
822889023abd9a225b08cf31d07dac513ebe1b9edb72573f46f6e4496b0ed8c4  RCIG_Autonomous_Run_124.md
11cb19ea1de7050f40ad9673a289b425660bef6dbea8073d47533436664e7cce  RCIG_Autonomous_Run_125.md
f13a9dc2aeaf0eb47bf3432ddf1500d1af9450f3589bd39da221550222b85cd7  RCIG_Autonomous_Run_126.md
ccdee2fd2e38ee01c9668aba3abb2a9b435143af85d4488adb31f23f5718b9b8  RCIG_Autonomous_Run_127.md
bd6905985b2f858d5315585ab7711a0f6c00b975eb88bba77cc234df2cc982ac  RCIG_Autonomous_Run_128.md
02af624601218b2cf501929e8a2f356568971ed470d80ef4c12602275f9e0857  RCIG_Autonomous_Run_129.md
b6ecabad06500b347a508ddb0f162eeb634e00a71414baf277c7ce812ef69c3f  RCIG_Autonomous_Run_130.md
ca8f030ce43bd972e02c431fca252e7ea4275ead7ae6244f58959e4e940dde9b  RCIG_Autonomous_Run_131.md
43c4b7fda227f69637c2a508a538954e8a39500d5c1205b3f3b3eb39e26df19b  RCIG_Autonomous_Run_132.md
0187fbafe274e8121c8cd3773220d2a51d7d5de0119e09f57086240628000d13  RCIG_Autonomous_Run_133.md
60024e94c32b316ae6f153cf5a6008f0cbe74f1e9b709108fb6c27148027fbf8  RCIG_Autonomous_Run_134.md
dac37b6bb320fd26386a3db918228a0a46f09455919be2e8c99a875930da0b03  RCIG_Autonomous_Run_135.md
20db07678eb4061b16c44994d2e5510de5de4651c6eb6d0726db295e29003a0e  RCIG_Autonomous_Run_136.md
9ba00642360ecab850f6aa15fa96bc70b54187e8eabcdf86739370f8c6166615  RCIG_Autonomous_Run_137.md
16c65b7e3281427329c672323a95fa0df349c09d4af7dc30a313e71cdea0575b  RCIG_Autonomous_Run_138.md
d1895d6ff719effbcbc93f91ec3014b79e559136699d0c614c087e69026604e1  RCIG_Autonomous_Run_139.md
0f24c10cda877f953b845b5392e7b6572806ade893b20e052dfa096c9ee581fe  RCIG_Autonomous_Run_140.md
64f8fe5912bac6339a82dc6e36c3c6b7e91225f9f85ada9f3783d911b374e237  RCIG_Autonomous_Run_141.md
a03330b1b2a9dff32d7cf82582d76662934465b8c4c32bcd02b2517119181c56  RCIG_Autonomous_Run_142.md
7e333629111025d3be2c9b75020c0f80362c7310bb0119e27e8a53c25c24d474  RCIG_Autonomous_Run_143.md
c68dae35e9e4d9da3060c6852163e8b5d54f22c6f7d32b6af25cfed348c958b9  RCIG_Autonomous_Run_144.md
9f1bf14328ab9b6d601a07efe9e870a16ff470d056cfa3996ed394ede81b193c  RCIG_Autonomous_Run_145.md
362826c79dc5207e3d3cd46449da3c0dcd64b56ce8b78c568ab8a9318d6a89db  RCIG_Autonomous_Run_146.md
2d9c29822ca3987ee5f2d72b6c0a2e14018548a16582212d3bc0cc4a7170ac26  RCIG_Autonomous_Run_147.md
2bbb1fae85335d37daaf60317ea26f75938c1b4814a78c84d79e31365c672c36  RCIG_Autonomous_Run_148.md
aa9459d8b43f427621d8164c77122c0f5d01d96ea2172032ab2683bc0637d74e  RCIG_Autonomous_Run_149.md
02337b5351012a92d59765d88b1837c1838355f689cff61f3170e819916efa40  RCIG_Autonomous_Run_150.md
6d44972b2c5adb840b9843fc4688f2478805b260f7ff2ad70ab5273e0704ad4f  RCIG_Autonomous_Run_151.md
ff54aa3bdb809eab7b06cb5083d559f47948a6fb59ed7e5fd26d78c81cf4702b  RCIG_Autonomous_Run_152.md
ef7adc937e52496919ea3e2ea4f9674dd04c8af7ae6c7642654983ed1e9efef4  RCIG_Autonomous_Run_153.md
cb3f4bd6a3679bd07c0f1e678ff02043e6456a5db6305445a3ffdb0a25b2669a  RCIG_Autonomous_Run_154.md
ebd8f592a1f460c57ddd0cfd785e47af29aa785e680f2070a0034cf56d2cbff1  RCIG_Autonomous_Run_155.md
0c51aae774265a91e4ba90ef7a9f94bf28636016e0852be46371d17735ec4c58  RCIG_Autonomous_Run_156.md
32e6ce0da35d1a4973ef4e8e0804e7b64c5952b601165af2d667c4732bc866d9  RCIG_Autonomous_Run_157.md
e65043927904854cd929fe85612bd2b95c88b109a72ab048a0cc542cadcb0a94  RCIG_Autonomous_Run_158.md
61bb25d096c7ad857c0a8025ddf925526d1e0235c0ad12bd5ed5ecff28412b39  RCIG_Autonomous_Run_159.md
2a74110be16e1f873275c48123be82653269d6ce8f37ae0cd832ccdc63864226  RCIG_Autonomous_Run_160.md
8317a738c7dd914ad10c56d09ed25449f6a2cb002b542af653c3c7962c4fe860  RCIG_Autonomous_Run_161.md
f693c329c8283c6909d30e868159a373780c097cd38f7da955acce90717ad74c  RCIG_Autonomous_Run_162.md
56c688b4a66d3a2975552b5f1ce881bac3ad0d472cd941441999f96725c61748  RCIG_Autonomous_Run_163.md
17a3d2e41a6da71e9e8cf2aeb9ca52fb56536eedaa6d8af9419fe17801cbcf7a  RCIG_Autonomous_Run_164.md
92234cf24fcd9bf1aaf49611039b907f454c2205b94b1585251a90fbd89591bf  RCIG_Autonomous_Run_165.md
98b9e397f08fbd3abdd94144db08aa32b621523aac97d7adafaadffbb1729853  RCIG_Autonomous_Run_166.md
75c99261d9121952b2f1e6b389e75454090a62342107ed7aac5bc7af91e348b3  RCIG_Autonomous_Run_167.md
880b65331447f2c9229043cfa2e4a486ffcc739f938091548eedf646329b3fda  RCIG_Autonomous_Run_168.md
e9212a339feff3d5c690910d841a10620556bba88c6bb17f799feb701162ef17  RCIG_Autonomous_Run_169.md
6488a36e92d98dc9e7a6edbb1e073a4b55e9f89cd69432a825795c0fe3cc5a64  RCIG_Autonomous_Run_170.md
6ea9d8fe213b44ef48e652ffdeaa799819b929287cf86ff75ccefffd4aa86da7  RCIG_Autonomous_Run_171.md
555575af59aaac2ffb8b734418c64ad0092034bfe56b9ca820ffa8763ec7ba12  RCIG_Autonomous_Run_172.md
bef912ca0c189b7ea6bdb6a015b584a43485356fbc0aa36cb83661802bc7db74  RCIG_Autonomous_Run_173.md
b9d9948b9bce3dbc55b99dca04b4c320a64cf1616f6d40aa7887bc0913092536  RCIG_Autonomous_Run_174.md
f62a3e8484481ab09845494e382b8bf0df9654fe3eb710a03ef50566e7baab7b  RCIG_Autonomous_Run_175.md
eaed1cb3cd9d4cc2673f7c0dc698c97decd7e673efa9e98d264b89fcc2ac3d32  RCIG_Autonomous_Run_176.md
c427b8030dde963b70ae618206659a2f396d13a79b581fe38b71226da296ef1d  RCIG_BASIS_B_Attack_Report_v0.1.json
99eccac31558e2b4ee6fa518ca65c6773bcf85da2c99b0fc2c49455b0e1653eb  RCIG_Basis_v0.1_Erratum_Run160.md
7744ca8b6c661f2078ac2939289ecb0974f30c5e38ee7ac13bece8ebc7d59b67  RCIG_CDIR_Sample_Closed_v0.1.json
c48b340f6709c57c9cf611583a80282299fe6cffa42f4ac9d52c23d59437b372  RCIG_CDIR_Sample_Reopened_v0.1.json
706c7583ae2eae95378599ef10bfab0b78a3d35ed3b117dd5d1fb545fa924cd4  RCIG_CDIR_Sample_Unknown_v0.1.json
b47ec3e530e815b35abe95f804172a8f497631aa84c83a2c58c9e3d3bf199389  RCIG_CDIR_v0.1.schema.json
727009c056a56f7c4bf0d983049d7447a01640df43375b875eddf13d8aa3e827  RCIG_CDIR_v0.10.schema.json
13730d77fc3922052e7af58bca37790e554e1ba58d005511ced70d809c423d7a  RCIG_CDIR_v0.11.schema.json
0c4daa5111feb166a49b16d4abdbac454c88a98668e2c9db054b59db8b7fe692  RCIG_CDIR_v0.12.schema.json
063238423902c3e081582c6f0ddb921694fb3f8e539d031f770074e4f5025078  RCIG_CDIR_v0.13.schema.json
d2bf553643ce7787d8afa171cfdccb855ae2a5b1603a92e400eb52ba92d05d8e  RCIG_CDIR_v0.14.schema.json
a1c26367d20e471e7a764a70d3e6ad27d6dc1114f7b4a7276777c5bad51dfbee  RCIG_CDIR_v0.15.schema.json
fb5c9e962b60bf9d57014aef9d7dd2c054d2ac70f71be1d4532a2de3d4df4672  RCIG_CDIR_v0.16.schema.json
dc9ba96142f7898dc04f0e4c89cdc8f19ea2b802577aaf3d0355242570bf92ba  RCIG_CDIR_v0.17.schema.json
a913bcce4c662c4ef83761971c09d68482b3637cb3b9b7b04b03aa7d4a217b15  RCIG_CDIR_v0.18.schema.json
97919e487e2810e347845a94f2aae4095583f29ffb392aff5e99e2a46f0e9b70  RCIG_CDIR_v0.19.schema.json
f8dd241993c808193f2f705fdc2f99c362a86598c6ff122b4404043f2321d000  RCIG_CDIR_v0.1_to_v0.2_Migration.md
eb8c7a5b982dc344c70e5b3c97068c16a137196ed53f2b3b4f4f3471ea144ccb  RCIG_CDIR_v0.2.schema.json
1016e1ab551f7fc49fc5acb328de42dc51e5382005b4ca5836934958d6902550  RCIG_CDIR_v0.20.schema.json
664115ce770ecef8f0259bb694bb55ba62784ebf6244f694b42a11465cf8c8cf  RCIG_CDIR_v0.21.schema.json
0fe1c812076326b9e6eb064c4e442c8748fe2c007e11ea736492846fc5d56c79  RCIG_CDIR_v0.22.schema.json
04202a6f7c42573d4c69f42c291c3056f630be77885fdd0657d7ac98fba537db  RCIG_CDIR_v0.23.schema.json
20259ff87f8c125de8ea945d869291a98e6f94f03d4ecd845b4600d7707c25d7  RCIG_CDIR_v0.24.schema.json
eabadbfa0bc21a446d6e963edfd9c006207acea76e9bde676426dffdab933db0  RCIG_CDIR_v0.25.schema.json
056652b6a82fccbf5fa09697cb4188ef6375e98a12568d091b466f15b0ecdbd5  RCIG_CDIR_v0.26.schema.json
a7050976a2e8b6feff819f2f49822834e00106f549b9dba54563e1c8c607bc80  RCIG_CDIR_v0.27.schema.json
a869f34fd7d67c465fb46197aa5ab6eeb39a5656a73d8c0ced69af9e18a21c71  RCIG_CDIR_v0.28.schema.json
92a996c2b698feef99125bf56684e29ee4a9a3410866bf2558571c6264d3a7d3  RCIG_CDIR_v0.29.schema.json
49e62dbefaa06f4119de54ddad8e89601f9fd84da4925060e0df28a679071b24  RCIG_CDIR_v0.2_Calculus_Fuzz_Runtime.zip
56ce2d52c9c298de500b41518643b5de0b2c1ca68d006a275bdd5c33252aeb09  RCIG_CDIR_v0.2_Differential_README.md
095c08d4dea7e4d65b33ed3a23e761d511f321867bd3009ff83cf456dbcc5557  RCIG_CDIR_v0.2_Differential_Runtime.zip
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_CDIR_v0.2_requirements.txt
7a9a6a4970984e48cd1b9535087667d32ac6b585e458260543a09ac3fb8ebd8d  RCIG_CDIR_v0.2_Sample_closed.json
f97fc8dad9e2c8ed883d3c651e87bca578f55da092c16ea4dc4e07e5e00163b1  RCIG_CDIR_v0.2_Sample_reopened.json
2eb3e98dd6b12da672dffd7d177dbbbe3f8336428969e352414cb3a65f17d805  RCIG_CDIR_v0.2_Sample_unknown.json
ba5e411a08e2d43c3a394a2c3e8041c12bdb37314ac92a364c659a2e914aa8e1  RCIG_CDIR_v0.2_test.ps1
0afab1d9821724d1fbd9391f04f5847e6e6f6a0750be51e5bc0558ab33457a43  RCIG_CDIR_v0.3.schema.json
187ad0fe30310dab80d617ea5fe3669b61b4cc2419882e0bbec9e8c4cb99378f  RCIG_CDIR_v0.30.schema.json
867da61aa0a2340a207019963df3ecae2504ede58a66fb913a115c057d2a8f9c  RCIG_CDIR_v0.31.schema.json
a12990ff3f70aecc56e16eeb0fb5464a8f6468ac7389fc559eba99e7102b8cce  RCIG_CDIR_v0.32.schema.json
a3afe36075f9d4401255df5f13b23f500f67a436c073408391674756f26bab8f  RCIG_CDIR_v0.33.schema.json
b97e511b16528d8af22b64db1f2ed9a652b382cb902014491fba82252594c315  RCIG_CDIR_v0.34.schema.json
53193ac465dd655a6047fffbc350cf0f5a62f8a2a668b446562cdb72901a3e89  RCIG_CDIR_v0.35.schema.json
3cbeaab78cc20dfcc37124b44a200a4ca9b7bfe7ea382ca9c45d52a026b27998  RCIG_CDIR_v0.36.schema.json
e4d15e38e7ff963eb5a90c61f7936b3a9bd46d736929fdb9bc5fbbd07cdcf93f  RCIG_CDIR_v0.37.schema.json
8d4b31d95bde62a6fc2d754bd523b73a3c9e3823b262f72fe8f2a470f4cdd042  RCIG_CDIR_v0.38.schema.json
6b5cb7c9c77aa8e9a13f634fa66c220186575c8420b183492db8f99c5d3db884  RCIG_CDIR_v0.39.schema.json
ab6ad3131330015e8929ba441e3c38d7dbb08ed8112f1e768b4f034c7e4efc0c  RCIG_CDIR_v0.4.schema.json
538fee19d98c7afe09d42fd979dcbffce90c8886c0b7f2d31088f7d81fbb43af  RCIG_CDIR_v0.40.schema.json
d7c45dda64dec2d134b52999698a4853c35111ad754ffc66b702cda65ea64d25  RCIG_CDIR_v0.41.schema.json
3941b61d7cd39fd534b125f3bcb60355c6e1325cb4664a90ee886158bced509b  RCIG_CDIR_v0.42.schema.json
8ad08098221ca566c5a450833913adc26238742f6b7a4e67ff5726341b8b72a2  RCIG_CDIR_v0.43.schema.json
e0eb060dae29f669affe56373c54427a649cdf19b086a9cf6811e4371565d87a  RCIG_CDIR_v0.5.schema.json
170c6955cfe1bde0f1c5b0f0853e7e0f7a90b80a27ad643da2587e83bb2ee060  RCIG_CDIR_v0.6.schema.json
52546f5847ffe00e03d459aea1ce01dd276628d8751226f5545931590112f715  RCIG_CDIR_v0.7.schema.json
0b7cf784baa28a1aa8f1ef42f348d8f75e43931f58350a3aac3d4f4ca8ac3a8c  RCIG_CDIR_v0.8.schema.json
313ca8d6a9cd53325a8edab8f6c014c0d4b2b2629df66a6b96c836b8ad0ae202  RCIG_CDIR_v0.9.schema.json
ebc046d02dff4f5a24b557eb0712cad96dbeab84a5aa36378207ee884760aab2  RCIG_Confluence_Probe_Report_v0.2.json
347e3fc39894d235b3b66f6f1ffe4df6721e7a96f7668dc116069f55e3631b7f  rcig_confluence_probe_v0_2.py
d21cb82e4f95c34b3fa787a367de0b78f9df069ec1da5350dc09043332d43461  rcig_differential_test_v0_2.py
87e8b14055198b7ed6812f7944694eb5405ac04e59a0d8f209019857fc5c6fa5  RCIG_Differential_Verification_Report_v0.2.json
322bb7a513cbc10369c70eb4e179600a99a6be7e9bacbd260071072e29a0dda0  RCIG_Independent_SCNF_Basis_Verifier_B_v0.1.zip
81691b9c557ca45fbea81a75b73487478e810c43f758b8d149b1a7290ff0216f  RCIG_Independent_SCNF_Basis_Verifier_B_v0.1_README.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  RCIG_Independent_SCNF_Basis_Verifier_B_v0.1_requirements.txt
9f70cf7ad0b06927dcde16b98636e166c88b12d0d7ef8d388bcb06851a9021f9  RCIG_Independent_SCNF_Basis_Verifier_B_v0.1_test.ps1
0d19cfdd54a2825ac5fcdb20c97cf0d359d0e30b06d4d5957b5b374496f9344f  rcig_independent_verifier_b_v0_2.py
8f03bbf853b5cfac281568e38e47b648b4572b3c35c62653c2cef0dd3ab8b87e  RCIG_K3_Attack_Report_v0.3.json
c482a09c3abaf2c24c465ae685b68cd740cacf655cbffd40acd4e78815f4088c  RCIG_K3_canonical_closed.json
b95e56bf2170faaf99cf00f350f711a2e978035590286bb548180c0d6ecd64e8  RCIG_K3_Canonical_Kernel_v0.3.zip
4da4f1b481ea7db7671deae9eaac1abf0b269fad7f32f7456daaba705bcc1543  RCIG_K3_Canonical_Kernel_v0.3_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3_Canonical_Kernel_v0.3_requirements.txt
747dc112ff3ddbaf9c981353987cfc33ac63041635861a07e734eddc675b52f5  RCIG_K3_Canonical_Kernel_v0.3_test.ps1
de2423907e722817c091d9a30e2b9e29b52017d8efb2b6a5c154a03c58701933  rcig_k3_canonical_kernel_v0_3.py
542f8e4e56a15b664b1e1651c154775ca51a2b833f3c36f9456c85b6921aa325  RCIG_K3BAYES_Attack_Report_v0.42.json
1f8d292d5c3e324b603ad2ca6a678862a6c602f8697afdf104af05d71c1dc7f8  RCIG_K3BAYES_bayesian_budget_learning.json
a293fea89e866124a845b3f47b934695346f314dabadd5385a16d2c832a317b3  RCIG_K3BAYES_Bayesian_Budget_Learning_Kernel_v0.42.zip
db1bf3e925aa57ae97437e522710126bbc8d36e973a06cd1c3b6996259a2c461  RCIG_K3BAYES_Bayesian_Budget_Learning_Kernel_v0.42_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3BAYES_Bayesian_Budget_Learning_Kernel_v0.42_requirements.txt
a836158ded9db56372a7a7b88a165e4aa8e2579eb7cf8b57f106f228086377e3  RCIG_K3BAYES_Bayesian_Budget_Learning_Kernel_v0.42_test.ps1
951e606cd7e70700a9fae690d6a7aab0ef13d97e3d50109895c6aa62bde5ee83  RCIG_K3BAYES_Bayesian_Learning_Report_v0.42.json
cb53ba79df116d5c3839d00c1d47dd8ba460378fb96a0de5b14cab08f3fb98fe  rcig_k3bayes_budget_learning_kernel_v0_42.py
e1eaa6c3a5c8c06d5e996ff5129fa808af3a30e74da00910b12ce316b6754b6c  RCIG_K3BUDGET_Attack_Report_v0.39.json
2216fe7dccb1fa32cd85a50852ad20cc1bd0f3a0e340303f2d32b01a05d45a65  RCIG_K3BUDGET_Schedule_Report_v0.39.json
a10cf66ec365a10fdd0d37b78c10aa6c9f81a1121898796d8962885639b6c672  RCIG_K3BUDGET_theorem_budget_schedule.json
f983437de182adee880de4a03db10721f30a67fcdcd194d53fbaf0c4151a881c  RCIG_K3BUDGET_Theorem_Budget_Scheduler_v0.39.zip
b7e723f058a0242325114493067a426e707398b406a6410ea4dd7194777ce890  RCIG_K3BUDGET_Theorem_Budget_Scheduler_v0.39_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3BUDGET_Theorem_Budget_Scheduler_v0.39_requirements.txt
c9fa1237299c159cdd4e0c7b3de266d4dc72be320f87fc1f0e1fc7c6e408d77f  RCIG_K3BUDGET_Theorem_Budget_Scheduler_v0.39_test.ps1
f8c31ce8236647e9ce23f08445b0838a502120fe2391500872b0adcb6e7aee70  rcig_k3budget_theorem_scheduler_v0_39.py
e4dfd4daa29bb3bd0bdf30edee27bd90129965ca5ec30943eb1f3cf5619f3735  RCIG_K3COST_Attack_Report_v0.34.json
1bc03f598c1935879c8d19b04ae8183918d5f4bfa4af8762cfd6ce6023f1f1b3  RCIG_K3COST_filtered_commute_cost_prediction.json
4fd0d57e05ec603d2b4ee2d9b4f92ed3ace7a0cbbf0008934dacb8db05381b7c  RCIG_K3COST_Prediction_Report_v0.34.json
01d73d63696710c35696b6ce215febf1e6c05374812d8b87f6c89e355c1a9f46  RCIG_K3COST_Rule_Admission_Cost_Predictor_v0.34.zip
ead48a14ca84b1ca3cd2a57ef5a8b11360ffaec5837ffa8f835247fcde8be1ec  RCIG_K3COST_Rule_Admission_Cost_Predictor_v0.34_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3COST_Rule_Admission_Cost_Predictor_v0.34_requirements.txt
935f9f0a06b126304661d7b034b640819acaaa1b2ac0fd55ba64560e7a327a47  RCIG_K3COST_Rule_Admission_Cost_Predictor_v0.34_test.ps1
36231ee28782b3a37c942c5b8c0ebd1ac060db7ccf71192e111a1b37254e6b45  rcig_k3cost_rule_admission_predictor_v0_34.py
71d5fbce7382232878679b0729441136293c199ec46281705998dcc24498b21a  RCIG_K3COSTCERT_Attack_Report_v0.35.json
d6948ce1019147eaee97002ed8366a57f0596df67922d3350317929d58d29542  RCIG_K3COSTCERT_Backtest_Report_v0.35.json
a89424988580ec969059f00d7cc81c2de487ae44e50e63c0d7afd71675c42195  RCIG_K3COSTCERT_filtered_commute_backtest.json
1b833d38d3c1988de31629e9c0887c26ccd5bb8e2d168d8009527e9cfd1be553  RCIG_K3COSTCERT_Rule_Admission_Backtest_v0.35.zip
0d2a9a4c8ee65f4a359c08b411adc3e17a0dcdb9b8ff1a5766ed6769ee2236f6  RCIG_K3COSTCERT_Rule_Admission_Backtest_v0.35_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3COSTCERT_Rule_Admission_Backtest_v0.35_requirements.txt
9e93944470be991250d1ed853be8c092bd6cd1b6c77a693bcc60727471672a2d  RCIG_K3COSTCERT_Rule_Admission_Backtest_v0.35_test.ps1
944c26d4cf3996f69af007000cf6ae767bb788898ea3048acb13e40132bc0bba  rcig_k3costcert_rule_admission_backtest_v0_35.py
c97121834e89ab00c9aab321f1ec7d4b6148413e36f93e413e55511bf29f86f5  RCIG_K3D_Attack_Report_v0.8.json
1336321ad3484357aa1cc68989a1660aee7ced6ab33c5007925481e26cae28fd  rcig_k3d_behavior_divergence_kernel_v0_8.py
f06dfa41982541c7582764bec4edc85e1049eba4d75736465520485d2797cfa4  RCIG_K3D_Behavioral_Divergence_Kernel_v0.8.zip
c2cfc2ff04738c5fed531b7694b83e7aae7bc0056db3a74ca840d6e0d288e849  RCIG_K3D_Behavioral_Divergence_Kernel_v0.8_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3D_Behavioral_Divergence_Kernel_v0.8_requirements.txt
487af033d19358fa0b208b3967c8b446ebcb19418d34593f4f931839f5f4a168  RCIG_K3D_Behavioral_Divergence_Kernel_v0.8_test.ps1
b23e833c7251aafc4ecb87ee50670527194ad24f1c7dc640d09f4a95ffba801b  RCIG_K3D_both_silently_diverge.json
7a1ac8d24feec0d871bf9fbe6752c52fdadec4ec50126cbae867df174e079f4c  RCIG_K3D_divergence_sensitive_reject.json
517ccf3ba8a6d8115015c8bd01eee5e8caf7ad358047560e58363ed476162b26  RCIG_K3D_ordinary_branching_hides_divergence.json
101cb4a40a32e12eedd71e3aaf427fd7740bacdf8934213a51cc7eaf85a9a95a  RCIG_K3DEP_Attack_Report_v0.38.json
34d8d10179ae7ca6019e072d3e5b9fa9288b75f03bbd0f2e4952f7cbd99966d1  RCIG_K3DEP_Graph_Report_v0.38.json
256982d644997d628c3888030a643cd71aa1fb44997e9b1995732f49c52752ac  RCIG_K3DEP_theorem_dependency_graph.json
bfe9cbbd359744a20463cae5e543cbfcff7609e69ecd3b6e1dcf0d3f025e71d1  RCIG_K3DEP_Theorem_Dependency_Graph_v0.38.zip
d8704a98fccbbbd04468febb974f10a3e73069f884cde8029154f231634f8e55  RCIG_K3DEP_Theorem_Dependency_Graph_v0.38_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3DEP_Theorem_Dependency_Graph_v0.38_requirements.txt
6f5b377b6b18711c3fcf3f231626461acde3cd9e192f41ff9253d076582b77af  RCIG_K3DEP_Theorem_Dependency_Graph_v0.38_test.ps1
2bd3f5ce1b26962df420a8dd4143e49a63c1784f024a2a55255ac1742c95d571  rcig_k3dep_theorem_dependency_graph_v0_38.py
9f4087210e8cb4e5d88b18ace08a667d55a4f406a9c8d03b0db920cbf60ba431  RCIG_K3DIFF_Attack_Report_v0.29.json
9ee7ec949e880b7dd7fd9cfb0dca647b14e995854462e12a5a3ff3af4823bf90  RCIG_K3DIFF_basis_differential.json
9f1381468a71cb1b14e569d65d742eb44a3f621b469f3e0a071e429cf308f1e1  RCIG_K3DIFF_SCNF_Basis_Differential_Verifier_v0.29.zip
31e8021fece2c3233785e3744de67f3d380f1e3cfe96763f189a1f80e02ab476  RCIG_K3DIFF_SCNF_Basis_Differential_Verifier_v0.29_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3DIFF_SCNF_Basis_Differential_Verifier_v0.29_requirements.txt
3adaa08e538c181a9449659cac7dda01a8174cf5adb4b5e6d1e8e91186bc7480  RCIG_K3DIFF_SCNF_Basis_Differential_Verifier_v0.29_test.ps1
eae350ee2bb046b345f6caa56a0bedc9da22fb670e9e9faa01bb3689134e6c10  RCIG_K3E_Attack_Report_v0.5.json
41ca4c02be4824e89df0965e2dca3b9062c20b60c30382aa967afc440659b33d  RCIG_K3E_compatibility_certified_closed.json
6b5014480d93ae0c0d120ccd6262c5cd53087f9e51939162631747900316ce6d  RCIG_K3E_compatibility_counterexample.json
fdffb95b209b7a808978b646ceb9228a26549236ac205e3246a80ab3b74dae06  RCIG_K3E_transitive_equivalence_unknown.json
6b9ab3d9b329dd4ecab62cb6c888e6216e8fd5d21421499c22324d63794cfa3c  RCIG_K3E_User_Equivalence_Kernel_v0.5.zip
a3875160767f9987553565df2dbd5cc0d5577f45605828bb9972e0b4e9b48783  RCIG_K3E_User_Equivalence_Kernel_v0.5_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3E_User_Equivalence_Kernel_v0.5_requirements.txt
634c954ed474ef5ed18612b97e253db19b50dcf411763b66adb6e5e97f3fa27b  RCIG_K3E_User_Equivalence_Kernel_v0.5_test.ps1
52feeb61191da2a272e0be702868e52ef4b62a7ff254c4d8069bd8c4110d32d3  rcig_k3e_user_equivalence_kernel_v0_5.py
eb7148f432ab06d135b2e1011ac1eadaa2790c812cef700b9a454386adfb29a5  RCIG_K3F_Attack_Report_v0.13.json
6ebeb96e63f6d915d35088b83eb9d18a8d4e55ad0c801acd8e17e7ec8dc9779e  RCIG_K3F_Fair_Scheduler_Kernel_v0.13.zip
ea96302b05be0fb1d99acf79f7ed323e11890e956fde6df454b02aafa3a97441  RCIG_K3F_Fair_Scheduler_Kernel_v0.13_README.md
119408d8fa3a5b8be09e27c5e2d4c9066527226dfda5ba7602090dd6d4282bfd  rcig_k3f_fair_scheduler_kernel_v0_13.py
e06ce7d525fe175b6f1979cc1cc92c0b254ad16b79f980f971f3854dc058dc05  RCIG_K3F_weak_vs_strong_fairness.json
f99971d59f4e62775dd1f7a03006947b1375069c7e15b8587e88c6e0c99c6236  RCIG_K3FGAME_Attack_Report_v0.17.json
e78e2d8bc45a9b8a4bd2ee610e8f1e5671e172e48972785d8992d17129137e0e  RCIG_K3FGAME_Fair_Game_Kernel_v0.17.zip
bacac937a9ae134ef468977fe25d12a987c34d8ee9e1e0d2578e5b9bb30c16ea  RCIG_K3FGAME_Fair_Game_Kernel_v0.17_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3FGAME_Fair_Game_Kernel_v0.17_requirements.txt
8d0fbb6c146b26814b233156b51c6acd50f1b367fec46f9900123a33eaf0d9dd  RCIG_K3FGAME_Fair_Game_Kernel_v0.17_test.ps1
ca5ea6bdb24bf97eda6ba4ed21cd1ae3bde9522c8200d366d281d1baaff42a62  rcig_k3fgame_fair_game_kernel_v0_17.py
c9bde1255d52eb65809036da0a2a409257dc7d06477ede87ac0bbb313480da76  RCIG_K3FGAME_max_strong_fairness_changes_value.json
26fc64ded97c8ca3b93086cbc58e24d0893b2b838d375f3bf1c8eb31c4d604e6  RCIG_K3FLOW_Attack_Report_v0.40.json
8d9735d3c78d0692cb402f8be33a16dd6b41172f8ebae247c7a612a46a81998b  RCIG_K3FLOW_Dynamic_Budget_Admission_Kernel_v0.40.zip
55d8d737181eb8a0926e411df2a269003efdd964c6ba871599d0fbb4854907d8  RCIG_K3FLOW_Dynamic_Budget_Admission_Kernel_v0.40_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3FLOW_Dynamic_Budget_Admission_Kernel_v0.40_requirements.txt
a527e700f1bef617f7c64f7959045f80240504a0ca6ad44d02e60bd693a9c8f2  RCIG_K3FLOW_Dynamic_Budget_Admission_Kernel_v0.40_test.ps1
c8ad53ab6fd905e885b1a915da956b372d74775e646c44f45d28967039533c6c  rcig_k3flow_dynamic_budget_kernel_v0_40.py
dc7a020bcc2a79d7e89299f5c7ccf0605fb2d4ced34b7cf769df3a50f6dfc6c2  RCIG_K3FLOW_Dynamic_Budget_Report_v0.40.json
99b1f8b97c1481c315abcd5b2471191e31859bb2f90a79e6caa66149f00961a3  RCIG_K3FLOW_dynamic_budget_trap.json
ade26747ef2448f5f75115de73b9c160b772735de4428763ac9b35ddca68581a  RCIG_K3FS_Attack_Report_v0.12.json
39e195c135081bd519d59846c1351370f107e387d5b3777d59c470a645fe2f57  RCIG_K3FS_memoryful_scheduler.json
aa7d051f0e0ff360efa23f94d2a19f4e1d9a747ca21dff1b57e2deb3c6dbf2bd  RCIG_K3FS_Scheduler_Product_Kernel_v0.12.zip
e43cf66ac6825df4c0708948e9e8b4d6152bb6f3cb7b84cd0cd9898a892ecf2f  RCIG_K3FS_Scheduler_Product_Kernel_v0.12_README.md
a319972f5bb763e5e7e30133ebaf674fc27bb91e757c4016449b8c5a71f544ea  rcig_k3fs_scheduler_product_kernel_v0_12.py
130589182d0507ada829cca63bc694fa8d89f4acb352eedc25b08fccea544587  RCIG_K3GAME_Attack_Report_v0.15.json
31d1d774a337cf751a9db6e3dc498eb94832d1c946ef0344bf97b45be76a54cd  RCIG_K3GAME_half_value_game.json
19cb3ee147b2d345a6251618b9cb2459860473a18c6b9ed44f74cb69c74b6ee4  RCIG_K3GAME_Stochastic_Game_Kernel_v0.15.zip
f15703ed7b7f0f3d7ed49e8fd47353a91aa148888c1c0720025eec5bba02afd3  RCIG_K3GAME_Stochastic_Game_Kernel_v0.15_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3GAME_Stochastic_Game_Kernel_v0.15_requirements.txt
a8d0492e94c87af50ab8781728d08dbdc6493e26d52ad86a3ec79b75463967f6  RCIG_K3GAME_Stochastic_Game_Kernel_v0.15_test.ps1
b385e276d4feb4c9cbbab11b5bb7defe60cb7c986a6bc3222256643b2685f4ed  rcig_k3game_stochastic_game_kernel_v0_15.py
fa0921bf457fbf94e2187ba8d6bdabd1ab779ab21802df62a89df8d1c9ae95b6  RCIG_K3INFO_Attack_Report_v0.43.json
097cb72f54ce9c727681611786b6c07ec9c9d6f5c4b26a877db62ca74da4dd24  RCIG_K3INFO_Bayesian_Information_Probe_Kernel_v0.43.zip
a6682e953327d1318a2eb190e2088299d93a70b70a6ab83d0900816cccc384c5  RCIG_K3INFO_Bayesian_Information_Probe_Kernel_v0.43_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3INFO_Bayesian_Information_Probe_Kernel_v0.43_requirements.txt
9380f22d8eafa584bcbd45a74d7749749011c7485eb5a5e944b2aa973ff289fa  RCIG_K3INFO_Bayesian_Information_Probe_Kernel_v0.43_test.ps1
0b0e772650b8f45001d51fa8dbc3fc358fb97c9568ad1db92bec8a6b884af72b  rcig_k3info_bayesian_probe_kernel_v0_43.py
43c9acea4dae8ca27fa3d74521a6fd45fb7663639328db77dbf3256a326d05ed  RCIG_K3INFO_one_probe_evsi.json
ef1c24d39c9275c005ab9af741586380e3afd710a421fcd13fed44581ed8147d  RCIG_K3INFO_Probe_Report_v0.43.json
e1171c25d933bd6a472e40a0b1939f4f0362eb90433741c8f7ea7a56d36ff085  RCIG_K3L_action_label_mismatch.json
9d98bdd2e3a08c3a0060325240560e9f25669e662fb8f4fff55be4f1a99bafc5  RCIG_K3L_Attack_Report_v0.7.json
dfb8e11a14cc563acc4cc21886467c2f5472eb75c4b65cedd60da41fdf63d42a  RCIG_K3L_branching_counterexample.json
331cce49c9f12d26010a12bebb33bf12e027dd3b419a32ec4fea6e018d31336d  RCIG_K3L_branching_silent_stutter_positive.json
789e4e2df671407338b3d236a9fbd92e8fd904d9909795b89a6c3cafa7fb2746  RCIG_K3L_Labeled_Branching_Kernel_v0.7.zip
42e100b960be16303bfa3d14bc9a6e5f83774ac02afe0c39f2416a4201f703a2  RCIG_K3L_Labeled_Branching_Kernel_v0.7_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3L_Labeled_Branching_Kernel_v0.7_requirements.txt
7e8697d1bab251781914ece8f145c42b1ae2aaa46bdad9bdc3385eff4ba53269  RCIG_K3L_Labeled_Branching_Kernel_v0.7_test.ps1
1356a4486af088d590301f946c9da53266c0dfe99e8de11681f2f522764b1d66  rcig_k3l_labeled_branching_kernel_v0_7.py
f849705fe72b886a0eaa03dd9d57fafa4b5abb200629ebe63b990425a78c618d  RCIG_K3L_weak_trace_branching_counterexample.json
b6c015f7de405ffb652b730c13d40a8e8be2451782591407468ca65017274c66  RCIG_K3LRT_Attack_Report_v0.23.json
d927cb8944a0577d50c04d5295a0f26fa67fe539c45ada5a323feaaa2ffee6ab  RCIG_K3LRT_Local_Rewrite_Trace_Verifier_v0.23.zip
680a4ca48d5891765c6f0304abb6101f2b86b2696a499794d5487c7a1e4f2f1e  RCIG_K3LRT_Local_Rewrite_Trace_Verifier_v0.23_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3LRT_Local_Rewrite_Trace_Verifier_v0.23_requirements.txt
91466f3e71cdf66d6b70923c87c356d4e7e4b939ba0c3ca0e22c098d6c8c345e  RCIG_K3LRT_Local_Rewrite_Trace_Verifier_v0.23_test.ps1
30e86c92602686338f6a185b2d1f87e56c3af48670d0b34cf779d59eceab43aa  rcig_k3lrt_local_rewrite_trace_verifier_v0_23.py
3907ed32085df031cde934dc8778766373b5c2ddd551101e8a5d263af2c22672  RCIG_K3LRT_local_trace_positive.json
4f540addff95ccf079062e07e2e2e41c29a3f09b6aeffeec17d0337076f108aa  RCIG_K3MDP_Attack_Report_v0.11.json
2ab8a183d29e077b7c979d7ae98c22fdd7a7b223fbe003c081485855018b5457  RCIG_K3MDP_may_must_fractional.json
97c4d7b761e37ba34a6a0bb3adfac1f6e725bc15f63c6ecbe98debc9ffb0a786  RCIG_K3MDP_Scheduler_Divergence_Kernel_v0.11.zip
9713becc53d111f39fc80377fb453eaf5713856cadad191288810f29b38d7a8e  RCIG_K3MDP_Scheduler_Divergence_Kernel_v0.11_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3MDP_Scheduler_Divergence_Kernel_v0.11_requirements.txt
390af510d95d216b3c23b64ed17b71f9f3cb6ee9ded721cf9ef5c72b31b9d176  RCIG_K3MDP_Scheduler_Divergence_Kernel_v0.11_test.ps1
e03a2fa1f10e9ca9612ee2d9a658a63c0187fd5025409cd69bbf3ae5f0186828  rcig_k3mdp_scheduler_divergence_kernel_v0_11.py
272d632a25d8e8df56b24fbef55ad9c4b6e52b22587fea4738f9cbcda1e85d16  RCIG_K3MIX_Attack_Report_v0.16.json
e45c108862035e0fb281cd475bd38fcc7d9cca14fa7bd727bcb8504486a290bf  RCIG_K3MIX_Mixed_Strategy_Kernel_v0.16.zip
1b5263689a4376dd177c7c17ae851af78340cc3e0a526065186804c298059cc6  RCIG_K3MIX_Mixed_Strategy_Kernel_v0.16_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3MIX_Mixed_Strategy_Kernel_v0.16_requirements.txt
c318bccb6f139f0542350d424ed0cf536041815e3b2071e20b30e516be7862aa  RCIG_K3MIX_Mixed_Strategy_Kernel_v0.16_test.ps1
5d6ab44c2ed00b71ffcab2119345c98c1bb836a461bd9f9b31ffb88a9a57a954  rcig_k3mix_mixed_strategy_kernel_v0_16.py
e1266bb21aecc703f7edf8e5b6e7f9a2c3b700d55f3c1d3f999cfcb8c9ab42b2  RCIG_K3MIX_run147_mixed_value.json
2d502a2ed2734eca6e69d89fe6a5e54ef3673695758983a7e7764527fd7b0fb3  RCIG_K3MUT_Attack_Report_v0.30.json
b2c158ebc92884f45d10e6adb22107c83bdaa5f41e81070c133ede1aa135c1b1  RCIG_K3MUT_Mutation_Report_v0.30.json
b169989bbdc20f6d637ca4bc8c281628d2251462a30934bd944144dc4ad93a84  RCIG_K3MUT_rewrite_spec_mutation_campaign.json
da05bb6419de47b214337b360f7175b9dda1746d6e6d428adaacf42d471d2e52  RCIG_K3MUT_Rewrite_Spec_Mutation_Lab_v0.30.zip
0813e93c978d59fa67e776c16ad9b47758d078fae20eba6c598ce6630cb356ef  RCIG_K3MUT_Rewrite_Spec_Mutation_Lab_v0.30_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3MUT_Rewrite_Spec_Mutation_Lab_v0.30_requirements.txt
7b5a6bb8eda50819e8dca7e677727a4b37a4f2eb5973495d5d2b46902302141d  RCIG_K3MUT_Rewrite_Spec_Mutation_Lab_v0.30_test.ps1
2ad1756cef0db948051ff8f6087a43f33512b5c85c651b1bfbbe81fe8ff1d708  rcig_k3mut_rewrite_spec_mutation_lab_v0_30.py
56a97c00e983f9dbc8aee4d11454af7eade0ed6c2d4367e0370d37c8ca7f7a7a  RCIG_K3MW_Attack_Report_v0.6.json
cd4acc62d95565277c2e31772880219b2024c3feec996760da77f4d1be4da6ae  RCIG_K3MW_multistep_terminal_positive.json
2e018e6c0a8d6924cace7f249f2e80372c8b4b5e9625e3d34bdac323f5583a8b  RCIG_K3MW_MultiStep_Weak_Kernel_v0.6.zip
7bb5a62bf8804a1b95cbd071473ce884a5be9bed0257f3853e6d945c40b235ba  RCIG_K3MW_MultiStep_Weak_Kernel_v0.6_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3MW_MultiStep_Weak_Kernel_v0.6_requirements.txt
67343c331208da9ff9a92f3a410160d838c05d4175a6631cfd0e04195296e5a8  RCIG_K3MW_MultiStep_Weak_Kernel_v0.6_test.ps1
e88b7bc743d0463978a3fa7583fa2cf9658992eca303ddcbfd16b79da869c28d  rcig_k3mw_multistep_weak_kernel_v0_6.py
e83e248b9720a65ca73f76750358b984f9b2338af2a191afca57f6ed2bca6ccd  RCIG_K3MW_weak_silent_stutter_positive.json
01d2d7348335aa5d0cc4945e6cb80ca104856fa3b15d1ad67a571222e6f08d38  RCIG_K3MW_weak_visible_detour_negative.json
858eb9903a9ae16d6ae191bc2f4822008b517c3e5b6117329341e5e34adcb63c  RCIG_K3NEWMAN_Attack_Report_v0.27.json
cbcdf60eb16b2eaef3434efd8bec916dd56587ac6994b97cfb5e5e91a47ffeed  RCIG_K3NEWMAN_newman_confluence.json
a2000eb000692a5608d27eaceeea5cfe7e7e21a886ad60bc283572c7f9adf40a  RCIG_K3NEWMAN_Strategic_Confluence_Kernel_v0.27.zip
6402fbb1788e268e6dfb3bdbeb80fea6e8313a42cef1c38156fe225c625dda15  RCIG_K3NEWMAN_Strategic_Confluence_Kernel_v0.27_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3NEWMAN_Strategic_Confluence_Kernel_v0.27_requirements.txt
dff153379d2f3c68a72319a3bec246374c4b0f406cabe89f24d611614db7b728  RCIG_K3NEWMAN_Strategic_Confluence_Kernel_v0.27_test.ps1
82e511accfdde09be6b24e1508e24b4b48753a109cde24fc4e24f88e9e97079f  rcig_k3newman_strategic_confluence_kernel_v0_27.py
7718563ab4b10cd1dccf0837ed260bf8d199d729c03698f847efd50bf2092462  RCIG_K3ORDER_Admission_Order_Optimizer_v0.37.zip
d2d335220c4f0777eee82f4c99fd6ace5db408d7543c19c8c68da4d1dd63fe43  RCIG_K3ORDER_Admission_Order_Optimizer_v0.37_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3ORDER_Admission_Order_Optimizer_v0.37_requirements.txt
2d358bdcb709c0814c238a1c0634837c474f684964f522273d8182af571f11d2  RCIG_K3ORDER_Admission_Order_Optimizer_v0.37_test.ps1
ef0f7ee2014c179d93e9ab1842078095a5c4ba91de1dfa8d8e3f8cbf4a738fbb  rcig_k3order_admission_order_optimizer_v0_37.py
e205127799003c81b3a4f4d5cf43823e4e7273331a4fc81887c083b575d472f3  RCIG_K3ORDER_Attack_Report_v0.37.json
018d8d85cf8428d61f042c3af977f4de1ed03a489669ae32a0c8b5096596cf7f  RCIG_K3ORDER_Optimization_Report_v0.37.json
a93d725b8fbc1de30f7ca32f31d6103ebf93326e987cf572ed212873228cdbe9  RCIG_K3ORDER_three_rule_admission_order.json
843208f9d0dcc7c7b49d80cb0c5d28fbdc6dc0cbab7089bcff983ac6fc11658d  RCIG_K3P_aggregated_probability_positive.json
eebd4c2077e19cd67bf5a5d2fcbf5487bc3478114f76ba248cdccb55bc5246df  RCIG_K3P_Attack_Report_v0.9.json
950795640c66fc1af877fcfcc15b9666af4638ad06f0ee1f80e1ea869ffe6091  RCIG_K3P_Probabilistic_Kernel_v0.9.zip
312ea31add090789cc76e11e742374d600a6fbe008354e6a3333b7852f41d170  RCIG_K3P_Probabilistic_Kernel_v0.9_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3P_Probabilistic_Kernel_v0.9_requirements.txt
afe47872c4b16b20dff4a1cbed541e01df1c48efa0dc463385df5852a71bbc35  RCIG_K3P_Probabilistic_Kernel_v0.9_test.ps1
73bf20722985af4ae77149e595422f95e3cfbc421ab3a451298e2440c83a81f1  rcig_k3p_probabilistic_kernel_v0_9.py
704c7b806c642deac48f64bc2ee106971694ed3f2480c7001df8d9d93d0033a5  RCIG_K3P_same_support_different_probability.json
d2ffc936fef33d8316fa85bb0453cd035d967658cb57e19b7565467df94e6a83  RCIG_K3PD_Attack_Report_v0.10.json
3986f173a2ccc8b3bf63160dbab70cff3b259af0b680657166ead212fc84e0ab  RCIG_K3PD_Probabilistic_Divergence_Kernel_v0.10.zip
3930530ce7680a41538b711688351e42c36872d216dae8fa208e6b3888fe5a3e  RCIG_K3PD_Probabilistic_Divergence_Kernel_v0.10_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3PD_Probabilistic_Divergence_Kernel_v0.10_requirements.txt
2afea0de7e12c345103285266c4595419b16af7dc80c3c1dbcedc925f61d2c5e  RCIG_K3PD_Probabilistic_Divergence_Kernel_v0.10_test.ps1
5a734756386abcb7c7e683a7a62b5e861ea98e73d9a1adbfe50eadb6f6c3aeb4  rcig_k3pd_probabilistic_divergence_kernel_v0_10.py
497e49e39485ab64235bc5e0a57427ec40b3ad85c0d127ccd182fde6521da6e4  RCIG_K3PD_zero_half_one.json
94d614601ba4e8058cac2f09e32f9b897b67777b324a54a19bacd5baf2063374  RCIG_K3PORT_Attack_Report_v0.36.json
f588563d7583504483cf289c8f84327d6e3d1b9461b10efd8135ab007fa2cb55  RCIG_K3PORT_Forecast_Report_v0.36.json
9b2e77e63c3fb988f0ead7372dd708f790de7e9741ab30f4ae2a13060abc411e  RCIG_K3PORT_Multi_Rule_Portfolio_Predictor_v0.36.zip
6ff2ef90ed84f6567db83e1238359ef28b165da2831753823c6ea885ff29dac9  RCIG_K3PORT_Multi_Rule_Portfolio_Predictor_v0.36_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3PORT_Multi_Rule_Portfolio_Predictor_v0.36_requirements.txt
e53830bafa525dec225f27f58ce6d1819a115af621cdbfab83ee15a2551ffe95  RCIG_K3PORT_Multi_Rule_Portfolio_Predictor_v0.36_test.ps1
6e43d326770a3ce881e69a6e244e690e773cb28c01ea64192e42253a45df0884  rcig_k3port_multi_rule_portfolio_predictor_v0_36.py
341e95912c343113ca03d96091bfe6b5722056910bfec859dc3ac5c88d4f7a9e  RCIG_K3PORT_three_rule_portfolio.json
7fb1a7fda1517ed814d037e34951d6c189ee301ec23166037c3f9cf20b10e183  RCIG_K3Q_Attack_Report_v0.4.json
a391e000c0390b1b4d22dcc138d38f51881601f36d318c695e93cc48c5ef6d32  RCIG_K3Q_exact_k3_should_reject.json
03655c3b22950c8670616aef32fc968a9430db6dd239225b74e1b8c986ba990f  RCIG_K3Q_Quotient_Kernel_v0.4.zip
bfb2133bcfbf00fdaa5eab1f2bedf6c4537d47e47b437d157d5cfe05f6a058e5  RCIG_K3Q_Quotient_Kernel_v0.4_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3Q_Quotient_Kernel_v0.4_requirements.txt
6419afeef836609a2f314022e3e30973457f03bbaaa1c96dff9b8edfa2ca185c  RCIG_K3Q_Quotient_Kernel_v0.4_test.ps1
2df3f32f98cae192e3222e84507de1feba46ba9d20a7adeccdfe5ba74e5cd3dc  rcig_k3q_quotient_kernel_v0_4.py
e49c65385b2c69b9d3d5ebdd7260e9896d8dff9cb23e894332e149617e5739f4  RCIG_K3Q_semantic_canonical_closed.json
5d0e70d40e54079fbdf17c0625a11088c243bdcc42982d40a99e54f63da848bb  RCIG_K3Q_semantic_key_equivalent_unknown.json
d7642469354d4be8a7a6da17ff0ff7af99cfa4e464ce9f855f3fbf83f46cafb4  RCIG_K3QIR_Attack_Report_v0.19.json
903f07e0c996164eee0c37b5cd2f65e6cc79ba5d2274a09c1fb455b8f4c201ac  RCIG_K3QIR_strategic_compression.json
2fbe1b035948dbb691b3a274a936df5283820f7b5801a1c3f134dc5bc6857e03  RCIG_K3QIR_Strategy_Quantifier_Runtime_v0.19.zip
8ee4f91f1a239dc93e44c40012832b871b058703c9175e19fb889d385bc3d8e4  RCIG_K3QIR_Strategy_Quantifier_Runtime_v0.19_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3QIR_Strategy_Quantifier_Runtime_v0.19_requirements.txt
5e47a7266528d230bedd6cf56b68d43504649a7a0c1fb325740be055b4e7ab3d  RCIG_K3QIR_Strategy_Quantifier_Runtime_v0.19_test.ps1
60e2d18c09c06596d5e0cff5d11640c15d7cb82770777a9ed04d6d6196fd686a  rcig_k3qir_strategy_quantifier_runtime_v0_19.py
2872208f599f2aa16fcda73b66fdff5fcc474e98e248397505e43940b667aa04  RCIG_K3RW_Attack_Report_v0.21.json
64533c3d3d8d010fee15d11671df7e17aa5f3039ee69e9ebeb91b9cfe940d444  RCIG_K3RW_Strategic_Rewrite_Verifier_v0.21.zip
401c5bdbbeeda2542d55a77140e06f543cffb1cd6055df8cc0d7d35ab6f0d81c  RCIG_K3RW_Strategic_Rewrite_Verifier_v0.21_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3RW_Strategic_Rewrite_Verifier_v0.21_requirements.txt
b37bf9509f32b6c8fe299b1ff47697089c609ab1fb153bb07c757d9d0219dc91  RCIG_K3RW_Strategic_Rewrite_Verifier_v0.21_test.ps1
eb3963562b19bfa61209e10aec248f3ce0ec743a4b0cffa952cdd576de4bfbbd  rcig_k3rw_strategy_rewrite_verifier_v0_21.py
cc331383de1ec5acfc0b4416900a3fa584cd5e66817f6e0a8cdbbe1de4962f56  RCIG_K3RW_verified_rewrites.json
c6d882b818d0e47e12f0477e96d914a2bab3f25b0b51f3d304aad378e5c3142b  RCIG_K3RWF_Attack_Report_v0.31.json
646b27303cba09b2c3a8374f5cc503c6b765343a4d3875919dd87f10010019c8  RCIG_K3RWF_filtered_commute_theorem.json
ed943cda415e5b242db0841a715ce59133c91dfdbd5d15c9093204bd1012ebd4  RCIG_K3RWF_Filtered_Commute_Verifier_v0.31.zip
4a2e3da7a9ceb6ec7ba8cffc2cac323b4af7117fca69e27aa81fd04bd21d1933  RCIG_K3RWF_Filtered_Commute_Verifier_v0.31_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3RWF_Filtered_Commute_Verifier_v0.31_requirements.txt
06be03fecfb07ade95b33b4b3a7248c08f81d60472ee02750a9a19fefc863efc  RCIG_K3RWF_Filtered_Commute_Verifier_v0.31_test.ps1
e9e93abb48fb4765414e9ebd45a6025f0a9a8f8c565d0e625f111786fda1a456  rcig_k3rwf_filtered_commute_verifier_v0_31.py
090df6f0680c45a36807aae1cafa651f3111f307c75277cdda03c541bded8a3a  RCIG_K3SCNF2_Differential_Newman_Kernel_v0.33.zip
7a56fdeb9b5639c3edfcd5f80ae2d16b2dc9dc1097294efbcfcbe1019cfd075b  RCIG_K3SCNF2_Differential_Newman_Kernel_v0.33_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3SCNF2_Differential_Newman_Kernel_v0.33_requirements.txt
cfb8114fc85ef74ee694a4a72158a2d4fc74cb62006466d3ee883f2a815a0795  RCIG_K3SCNF2_Differential_Newman_Kernel_v0.33_test.ps1
0f248e1c1edc56c66f0767da6cff6613e42e4b1c6bb71224dfeeda8bc52d6abe  rcig_k3scnf2_differential_newman_kernel_v0_33.py
66ce51aaa8830d3216574f54281f3907e677ff0370bec6904394912d7ff431f9  RCIG_K3SCNF2CERT_Attack_Report_v0.33.json
1f8bfdce30331557dfca0303c10bddfafc45b168d22c149811ef5a0b6442b7d4  RCIG_K3SCNF2CERT_scnf_v02_differential_newman.json
328e5c019ba00f6922e183c1735dcbcd654e6840d4c167bd235a4c0f561a2ab5  RCIG_K3SNF_Attack_Report_v0.25.json
f488021b62e66b261cfcfb974ce40df71322039c5375d4c61e4ae2102e0243a5  RCIG_K3SNF_Attack_Report_v0.32.json
9188672f91be574ca9083020b73189c73f7d4985674447ee685f97506ed3daf3  RCIG_K3SNF_scnf_confluence.json
4a8ecc8088f8efb1acb8638b745f3885f867d32ce1dabb06cbbed4d71d87161f  RCIG_K3SNF_Strategic_Normalization_Kernel_v0.25.zip
96eb4e177aeceaa73ee73a3ad36654e0102bb36c98cbb93b713c9b32921ebd1a  RCIG_K3SNF_Strategic_Normalization_Kernel_v0.25_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3SNF_Strategic_Normalization_Kernel_v0.25_requirements.txt
783b444c99e6fcc3d2e23c3b188342efaa7f8a20990a55dcfd3befdf23753698  RCIG_K3SNF_Strategic_Normalization_Kernel_v0.25_test.ps1
19cb4356a507a5209c78336822df15f5511da609f8f143941dc73d15e9c1f779  RCIG_K3SNF_Strategic_Normalization_Kernel_v0.32.zip
5b7272c53f2dae7caab129286f317acb82fcd8c96dad229e858654d4e645cc64  RCIG_K3SNF_Strategic_Normalization_Kernel_v0.32_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3SNF_Strategic_Normalization_Kernel_v0.32_requirements.txt
8896777b184841e69dc6d3f2e4b61d5468d00a3c09cfcc636da8c63abac92fe6  RCIG_K3SNF_Strategic_Normalization_Kernel_v0.32_test.ps1
0771164dd3e2e8dfd8ef694cf36512b6f6a25c088f37923bd9986c533b841e30  rcig_k3snf_strategic_normalization_kernel_v0_25.py
6898eb2fe5847ce83ec14e4e8395e7cb3850491f6281ad1280fdd27190dbbb11  rcig_k3snf_strategic_normalization_kernel_v0_32.py
c1f4b22098220a7c147bc1cfe8ee02beea08ed2210fcba64e0bb6e0e406cf4a9  RCIG_K3SNF_v032_scnf_v02_filtered_commute.json
ddf8cb40e8363e7a4dd6ba2fe60b2af27442bb2d1f54cbfb73f5ad8497e1d96b  RCIG_K3STOCH_Attack_Report_v0.41.json
56f55ef40d536c9125277617e8cea450f33f1b93aba4a70bb60c5a866f33a347  rcig_k3stoch_budget_admission_kernel_v0_41.py
950008c08301705af3e2f51b2a98d4f28de07ac74c3e83f1d8cef2e0a228ef75  RCIG_K3STOCH_Stochastic_Budget_Admission_Kernel_v0.41.zip
53c49c5b300a255bcf62a152af3e069cb02ba1c40b1758eba7309fe60af1c4a0  RCIG_K3STOCH_Stochastic_Budget_Admission_Kernel_v0.41_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3STOCH_Stochastic_Budget_Admission_Kernel_v0.41_requirements.txt
565f3f8738a4a219cccab1076fe15b7547c1072e977705993e892fa2bc2f6eb2  RCIG_K3STOCH_Stochastic_Budget_Admission_Kernel_v0.41_test.ps1
93603a1d6832f9649c5e574dba619703707c29d57c206964750fa92f6313d9f6  RCIG_K3STOCH_Stochastic_Budget_Report_v0.41.json
b0a415c711f6d73a1324536e114b76c5b024818115c1fcb0b148a418c40f3e5e  RCIG_K3STOCH_two_stage_budget_option.json
87a892b6b9db16b6339400180c74e696a7501a4c1234438b720f645db8817d25  RCIG_K3SYN_Attack_Report_v0.14.json
178521e7704fc9e10fc3db8868cbd7bfbae2adabb07d39a4b7f2f1c0f3da909f  RCIG_K3SYN_bounded_fair_synthesis.json
b96c6786e18a9a4df80bd08a9495d8e5920c41c94835730d66ebe745e4f131c9  RCIG_K3SYN_Controller_Synthesis_Kernel_v0.14.zip
219fa49d6e972f0aec7799dadd5be4704267c348be88d334e49ccb52a4c93dbc  RCIG_K3SYN_Controller_Synthesis_Kernel_v0.14_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_K3SYN_Controller_Synthesis_Kernel_v0.14_requirements.txt
8bb758bfeb7790120d5e435a4877c3411e6753404cd72e2ccf863eda4c09ca3e  RCIG_K3SYN_Controller_Synthesis_Kernel_v0.14_test.ps1
0326ca6a42709afb3727edfbac697957f8eee17f4cd7849af8daa52717f010e4  rcig_k3syn_controller_synthesis_kernel_v0_14.py
23bc7e5fe668f6ee505bae7d5e650918fe330501fa9a5ddc2b7c78fc937e6910  RCIG_Kernel_Calculus_v0.1.md
7bae922eb2ffb6593dd100dc9304d1c213bf8b53e9ed69fbcb4ec2a5d49bc3e9  rcig_legal_proof_fuzzer_v0_2.py
ef5d5845f3675acee3a38ad94bb41a2566becf0706235f206b2be2d299246413  RCIG_Legal_Proof_Program_Fuzz_Report_v0.2.json
463407c9459a23bc519058a8e1eeb5ff5c994c0e23724c9d0e1004f1e42d490f  RCIG_Methodology_Patch_v0.10.md
a50eb7df02971155caed96bddb0e783a97e273d2601f741bdfd239554a8dd350  RCIG_Methodology_Patch_v0.11.md
06e2fb4ee2e83d2c0c7a13a878166c18e8d7a99816f3eac3e75e65dd58f0502c  RCIG_Methodology_Patch_v0.12.md
e389e4f136d0ddd438e6e2d98a39816edca4b5faf715601e718b8d7c31d42529  RCIG_Methodology_Patch_v0.13.md
cce4342bf84d6b31a8e91150828a2c4b124bbb3d9d2db36ef9b99711b97939a1  RCIG_Methodology_Patch_v0.14.md
bccb80641ea36bd450a5e989cb7a06fe3ea6696b23f023bf133692f549b77420  RCIG_Methodology_Patch_v0.15.md
127c5366a0aa5a32eefc9b0febc01fd344f992815ea4bdc45362dc17189aae8d  RCIG_Methodology_Patch_v0.16.md
e14946bd11cc7b943b26bfc2767674b3292b399f8bbbafa49913bd8319ad3b8a  RCIG_Methodology_Patch_v0.17.md
fa37a0ea808494d98e73ea9588ecd1688a0380cb6bb9e0217ce8a7e7ebcd84de  RCIG_Methodology_Patch_v0.18.md
164ea6764d5ecbd3c6e2f906b25a35443078fd84de32d741e4bc2cec76b70bc1  RCIG_Methodology_Patch_v0.19.md
a2efbc7a98826a8a026bfae8fde329faa72aed9c8cd79ab6a077d345b533bc59  RCIG_Methodology_Patch_v0.2.md
fdb7841e42e24298e3cb9dc0c12e8366b123b18b5b0ecd0f1f269a3eb0f20ee9  RCIG_Methodology_Patch_v0.20.md
f53fb4274653ac2b99e63927da8d04c2225cd0d17b5520ac2614f8c3a6164d5c  RCIG_Methodology_Patch_v0.21.md
eb0824e2ed99fea35d3611a1b74fce8706bdf5831ef2f367cf9bf4c9d85b02f5  RCIG_Methodology_Patch_v0.22.md
0bab8098bf2242adc0c8985c3c1ec2a8ce4586fd7b82cf5e4347ba63dcd0f4f1  RCIG_Methodology_Patch_v0.23.md
4ac41c53117301bf744f3940a31807c9973dd708d23b1099e023b51c8d83e55a  RCIG_Methodology_Patch_v0.24.md
223d72eafc60446dd82e98a2c533e041ccf89e90ff3e130f8dc906ac20d0d758  RCIG_Methodology_Patch_v0.25.md
aac8b176b86919f6017ebe97d06b67ca384deb97510a8452b6af9cce292ab391  RCIG_Methodology_Patch_v0.26.md
19ee021b29272041c6c21f28183ffe4cf12984eadf91670993504286b5a70222  RCIG_Methodology_Patch_v0.27.md
f312fa0d4ec90fcfc283f96d921b1715fa90cfc7b142e05aac88044e22ffecee  RCIG_Methodology_Patch_v0.28.md
f8f15b179e71dec447a597a08933ab56b2151fa3981c7ada462ad203e0381027  RCIG_Methodology_Patch_v0.29.md
1414a39cff25f2dcb37a6f2b3fbcb59c518559c9881ce39527f7333fb693a700  RCIG_Methodology_Patch_v0.3.md
886cbf4782ca7fad22d073d1898cbd571186a029dd51970f4d1bef49271cc27b  RCIG_Methodology_Patch_v0.30.md
b3110da57759983c669e1479690030c1264550a94a20d880393b9f2ea4323e34  RCIG_Methodology_Patch_v0.31.md
60a9f6c36f414540e913c9e7b9a18613f87410f0654d5e28db559a19d25b5bb0  RCIG_Methodology_Patch_v0.32.md
78b17051b45321905df460f3424104e0274f2c19b931166eab0e7ace2e1d9566  RCIG_Methodology_Patch_v0.33.md
f59e624df45be22baff8063e1c2852c6775b06cfbf9886c6c544e6fb4832f28d  RCIG_Methodology_Patch_v0.34.md
2d0145ad44c3cf0061f7d83c1286e44647171f72e729959d67d1488ffd29c0f2  RCIG_Methodology_Patch_v0.35.md
efb655b6aa9545bf1f28557ed2d34faf3799be11188c6aab1ae66944c4829fa5  RCIG_Methodology_Patch_v0.36.md
80e93167799a79654f57c8e10d283517f97e28a12eb0d0a7dc14d35c7d587b17  RCIG_Methodology_Patch_v0.37.md
3f5772d2e96448b54e4dbb6f9b4e7fc2a91ca93a7ebb60b8eabbed9f01f949ce  RCIG_Methodology_Patch_v0.38.md
686dca9d26b3bd0f101b647ee0c9bb5aadfff7cff545fdcf53c38d9371c4a582  RCIG_Methodology_Patch_v0.39.md
d9f87a2dd5442b9cba5c7e669db832e05f4efcb6fd996204fb71e08a8d91971d  RCIG_Methodology_Patch_v0.4.md
4b884e178fd4fae77061336bbba0ce4a0fd0c4247b51458b8538f1b53a4d6b92  RCIG_Methodology_Patch_v0.40.md
2b68840a82833cdb1c69f41cb9b7724e2107bec4b920d2de8453ddd9d2fcc636  RCIG_Methodology_Patch_v0.41.md
3aa6ab6d33076410416183c87f551934d7e2f2bad50080b28707613e5fb6090c  RCIG_Methodology_Patch_v0.42.md
9b90cc56319a829f9fe15301e5163a330fbdb41ae89e14293551c3d4c3a0f278  RCIG_Methodology_Patch_v0.43.md
daf6a2e3f4e0848bc30f96216bf45ced6861bdc846c25c24b0f9c7dbad1ded3e  RCIG_Methodology_Patch_v0.44.md
53bda4e098306d50fc02e34383cc56ab55efa96826b21033256f302661e2be06  RCIG_Methodology_Patch_v0.45.md
5a41a29c22fcf5cb98c7c1e158ae5beba71f645b705432cecfccb31823122163  RCIG_Methodology_Patch_v0.46.md
d47ec862c3c8e79a581a1175e638806ced4d54ba14107eddaf2b246a3e43a93f  RCIG_Methodology_Patch_v0.47.md
16b9fa778ed62cc2f8b1c8bdb243fa1e070c1e832c31aa133984af9b6e0b7de5  RCIG_Methodology_Patch_v0.48.md
6b5f0c703c2ff297f5074efc36db89b7a85482756599d03a3eaee1f1883fc310  RCIG_Methodology_Patch_v0.49.md
8b5f3216da9270d279ce9530066234fe0ac02a2c51b4b1db0e8802ea7cda390e  RCIG_Methodology_Patch_v0.5.md
d4b394163c2cca05144ecd5f8c9dc7db7534244f0e2ffaa6c5c2544674382480  RCIG_Methodology_Patch_v0.50.md
7c1fe48657eeaf7c154f8b5fb561200e72a128c3df54bba115b0e9a66b703843  RCIG_Methodology_Patch_v0.51.md
0664b84a6f6d408081f301c5d379878819354c69e0d28c97290a95a18311b5ec  RCIG_Methodology_Patch_v0.52.md
4256ff5913b8b855d6072acab84d9b51ae07117d0fa6815cb3e308dfdb832f19  RCIG_Methodology_Patch_v0.53.md
d14b9c8f48e4c4660ce4d9600c78f2ed85b454eb31322120f05178cd1c49139b  RCIG_Methodology_Patch_v0.54.md
acfa186b73ef649eb9ff5ecfb190c010117d2941d547fe18d1d8978ec7b1d399  RCIG_Methodology_Patch_v0.55.md
18f8bbe09cd73083938993ac67e149bcc00fc063ea37e5d5e853a544e5911879  RCIG_Methodology_Patch_v0.56.md
79dd013d871e6b94cb4afcabdb29c3c3247dfa0c76d8c6b9b14c72ad3e170ded  RCIG_Methodology_Patch_v0.57.md
5268424223a5536b99cc21c77822aa9ee776ac81017f9e60daa665f1656733d7  RCIG_Methodology_Patch_v0.58.md
a8b0ed97be81c0d4cad8f6208341bc3e6f7f37e3d11e318fc377346f42f7fab8  RCIG_Methodology_Patch_v0.59.md
6bc462d5d5a658f758c04cb01084076ccf0252083aae56af995395893aeb5537  RCIG_Methodology_Patch_v0.6.md
e137f985cd3fbd9e9cef7d628323e4cfa63cd91b12e27249de9bedaeb517e915  RCIG_Methodology_Patch_v0.60.md
4cd97573a997fb03dcc573aa5c9153f55a2762cd5231bc6c8e05b97c5877e6fa  RCIG_Methodology_Patch_v0.61.md
4f06def8c0f00b4d30c6b633d0ee00f3f4e93301e0979df0b308a068783597e7  RCIG_Methodology_Patch_v0.62.md
6a94932ba89b66bb386e2ce9cd89dc9dc6783e070bccf1ea229baab6a0e96241  RCIG_Methodology_Patch_v0.63.md
0df270a168caf28e247665e657c1decd056ed52a7ebdf826b5d6052dd13ac659  RCIG_Methodology_Patch_v0.64.md
da67cbc13d419e9301021cabc5580e9ab9beeb4dff2f72f515dd416cb6e2293e  RCIG_Methodology_Patch_v0.65.md
64383c3e7c4977d64eda36be35a1912a91129668a5765d0321b05b67d413811c  RCIG_Methodology_Patch_v0.66.md
6deec9bc53933987cdc02f8a32e2c3d58f0a3882cbed90389cb7f05d0de7948d  RCIG_Methodology_Patch_v0.67.md
271721e85b3f647f811061ef27e2e194256a7b1c3d948aae61b1566e0dc8e01d  RCIG_Methodology_Patch_v0.68.md
f92612cd2ec7ae54c09cab5922520a630c804f18796a52a15db2bd7a0f42ded2  RCIG_Methodology_Patch_v0.69.md
c157977edcaed9d926025ea80f02e8b44b0f120bd666d136a51db4782ebf630c  RCIG_Methodology_Patch_v0.7.md
caec816787ca2424f6282376eb938f08ee8819e7483a865faee6b30d8d51c15e  RCIG_Methodology_Patch_v0.70.md
cabe17ca527d4d55daf584f235fe32595b8a8fc2fe7dc1796586c2a3993dfaaa  RCIG_Methodology_Patch_v0.71.md
7424491a218693c62d3b01f26e54b7df7abe923707c4a417a4303d14ec6929b3  RCIG_Methodology_Patch_v0.72.md
4aa0b699317cb195a8bdeba398d24bb16b215f2cba73700f96f4a0c22b78ccc5  RCIG_Methodology_Patch_v0.73.md
b3acfe5c038f84938e301678fc98060294cea2ef25c9a120b6d6bf912d752838  RCIG_Methodology_Patch_v0.74.md
54d99fe774d358f8e4ef0b152afc4dc676c1693d3567d50ad5b4e213536711dc  RCIG_Methodology_Patch_v0.75.md
59695922577886e051638844e9d775977d4640ed4b6414f4def15e0fff366cb1  RCIG_Methodology_Patch_v0.76.md
db571a020a714e1736184ae058638bf77e53289e05545ec735d9a71771e3bbd9  RCIG_Methodology_Patch_v0.77.md
aa4b229bf73f1784158762fb80af0ab574d8c5a14f39f20988107a8cac9f3238  RCIG_Methodology_Patch_v0.78.md
99f11310d70eb31a203c1e847256a0dd5fb039ada9f0de86c4ffc9673654713a  RCIG_Methodology_Patch_v0.79.md
242cca72af8feda8f7d7eb430788dcc7ae70958af55fb754f39a263aa47d0b37  RCIG_Methodology_Patch_v0.8.md
b201e497695c5481f81a97ba7ad55ffc046805ef884749bffc3d006128ca345d  RCIG_Methodology_Patch_v0.80.md
62f853be38be1c3362ee9b50325e63475271b2be0c4de2c021cf575664f55da8  RCIG_Methodology_Patch_v0.81.md
a5228cd3e715b512cfe6bb11b5dd6ad34c69b4eb05c301b9790138807025b1fe  RCIG_Methodology_Patch_v0.82.md
b7417dd664da601751a8ed28dd8498f1bd50163e99380e7dfda3c75d6141622c  RCIG_Methodology_Patch_v0.83.md
15831f398a8de6b9531269608e4eb2027e9ec1f0c43a746d45a9d8d8ce80f2a9  RCIG_Methodology_Patch_v0.84.md
4360ade12def1e776012f932396c952ed2e39e9e17f61229fc4eea3bf9cdb142  RCIG_Methodology_Patch_v0.85.md
d1dc22c6558e0d08b5a04f4977ad13f5be3d7d50478f0e7a8b7e7fe8360899b0  RCIG_Methodology_Patch_v0.86.md
5cc464cb293ced06466e768fdfe56fae2a28c50f0d38bf5969ae57b7a061b722  RCIG_Methodology_Patch_v0.87.md
0b79cc452160835b216ba6b5b9a301394e1f641771ebfb3c4d0a9a813159324d  RCIG_Methodology_Patch_v0.88.md
24fa62b6578fcc1258419739565772cd4f14d11a574fd70fcc2c008306165a2f  RCIG_Methodology_Patch_v0.89.md
3cecbe2ed0216917881446035223dfa39c0bd530ef2e4b372c6ca82e7dc56c5f  RCIG_Methodology_Patch_v0.9.md
b946de6cfde4049a6b83da779d5c7da759eb904751b0b66c5ca403e158752c2d  RCIG_Methodology_Patch_v0.90.md
a7b7aed4ae8c98a636106346b7f7ac9414fecb5ff76e611ebe8f47cfef238654  RCIG_Methodology_Patch_v0.91.md
7e2a4cfff45fb1f74b59af7c689886ce993a4e01c91cef135019e0522e004d23  RCIG_Methodology_Patch_v0.92.md
92dd252470619c229c665d592231dcd9525c4636def21c7eb4fdec12570a1f26  RCIG_Methodology_Patch_v0.93.md
2abaa64e6791a584eefb730e5010b011278b4b293c34f0d21efdade4604c0191  RCIG_Methodology_Patch_v0.94.md
7ade6100fad5e706f3ae28e19f89bc2318bd3dc5a7141ab45eaf39af8b4b4dc3  RCIG_Methodology_Patch_v0.95.md
ab11eee4ad76152cb9b60c1abc9790925aec6c9c929c66235287ab966ca4e425  RCIG_Methodology_Patch_v0.96.md
10159210a2d635df09ec7afa5b91800754f895a9fda2a729724c0ba702800b81  RCIG_Methodology_Patch_v0.97.md
c9a1ee57f32517070d2c5e1180adcaafdb9973a79dcee45d1440e99994be8555  RCIG_Methodology_Patch_v0.98.md
a66312bbcfe06b8f952c370da312029f3d38f59e7843383af5d77337464bde1b  RCIG_Methodology_Patch_v0.99.md
ad694a4753a7033c821d3c50ddb28ecf5ae19d6345be46d14190b8656001a137  RCIG_Methodology_Patch_v1.00.md
88c979da6e01dba69785bc0bf080e1ac796b1c53c2a889bb26d8829e37a10d2e  RCIG_Methodology_Patch_v1.01.md
4b02148e2710aa5de10a09914c7fcbc4782e0c71d7cedde4ffd59f6276e79232  RCIG_Methodology_Patch_v1.02.md
b442661f7d71c9ad1174915bc8fe042b5ab3f099d02ce87f2b32f8b601892460  RCIG_Methodology_Patch_v1.03.md
042c8df4cfd15f5753222c8981cf121e77066a6004b4a21575584e7403697657  RCIG_Methodology_Patch_v1.04.md
369063f025f7d4db4772d809e745af9a559d51784cceafe553aba4ded10fd63e  RCIG_Methodology_Patch_v1.05.md
f9d0c5e0949ce66e1321180e0f23ab3087c28b26f52163ae9d0abecd755aba46  RCIG_Methodology_Patch_v1.06.md
8e4cf57a44b144deb2ccef5a48e34edd2a856a3a7c0154856821b53d464eff4a  RCIG_Methodology_Patch_v1.07.md
17e4c93b1e6c6ce721505b0281ef3e0b799291f87afaced633c97f2c7b3db510  RCIG_Methodology_Patch_v1.08.md
0a3dd4258395e3a256ed820c6033448f9e8481306a0f9bb41a0917acc551adb1  RCIG_Methodology_Patch_v1.09.md
6271433fbc5b23342c1ecff25b6306addb768eb783b36129d98d4407c0335bdd  RCIG_Methodology_Patch_v1.10.md
c058898aad4974fa699b8d6c76f86e20f14e4404fcc9f84ffd62322fbe2d5e02  RCIG_Methodology_Patch_v1.11.md
9f59625ca662cf1279d8517cf1637dee6579357ddf7bb5e581c159d51f82b688  RCIG_Methodology_Patch_v1.12.md
3b57bf1dc8a3ff0ef2315ceff6a9f8c78bbae19cd97d11ed1fbd0be56ab6f782  RCIG_Methodology_Patch_v1.13.md
75b6cc6b06c1824b284f53ce35eef206200f88e0f997bc14a22a53cf67a235e5  RCIG_Methodology_Patch_v1.14.md
a21d5e7cd2d119c0cfa27dc9aa68fe3ac2b7c9ab27f5b1ca6ddbbeaf1708cd97  RCIG_Methodology_Patch_v1.15.md
c299235d99581a826f7230235215f03e2a49a1578f3da618d424730a380637dd  RCIG_Methodology_Patch_v1.16.md
eaf3b3bcdf9d61711d90c2e3a7e4903ebf57d3fd93c393afb677331e2ab42aba  RCIG_Methodology_Patch_v1.17.md
2e5037daaae3d935b9ce19bd2c583bc4ee4ae3feaf40449349c7f2a388a3b882  RCIG_Methodology_Patch_v1.18.md
f1ef985e375074093c9295c16fc3da7f39c6f5b8190350cf3c63cac8723df681  RCIG_Methodology_Patch_v1.19.md
90e5eabbac8e66332f4ad7771f0c20503bd42ac9b376c883d08d8be602a3ccf6  RCIG_Methodology_Patch_v1.20.md
90de0cef07ae03fcc753edcd2ca89080528e21d622dc959b94c4c3f79d4d96d3  RCIG_Methodology_Patch_v1.21.md
a29a63af48078563c09da92f04162ea55a39cbe7631daf208de88e65cc260c4f  RCIG_Methodology_Patch_v1.22.md
a76cc735a1accbb89222e65db0d6822f7418cbc52af2947a9972e139cc7df86e  RCIG_Methodology_Patch_v1.23.md
4d2148ae1174eec3f11fbce037880a718cd5e864a154fc1bfa66e3c130edc3ec  RCIG_Methodology_Patch_v1.24.md
17c6991db369876a1fc3d7732733cdd920711b6179a07aeaa617d8516e2e11a3  RCIG_Methodology_Patch_v1.25.md
e2128627757fc95ca1214b31d43618e7ad5fad9f9fb09d111caed6cfc5a3977f  RCIG_Methodology_Patch_v1.26.md
79faa399fdf6928672e638deab1ef74e4b6536fde29cacc6f460cec14fe30d5c  RCIG_Methodology_Patch_v1.27.md
062b6e4c1baaf783777a56661ab1e6dd56077b7ade6a7f145bb41fb4dd1ccd8b  RCIG_Methodology_Patch_v1.28.md
89fc91f68bb3dd94ee721d2a9d5415f8b38667278c47dfb269bbcb16fc2ad00f  RCIG_Methodology_Patch_v1.29.md
7655e16a15fceb3acd819f89d0a9e45b21e13d50395cec8031155d12c3e5d1fb  RCIG_Methodology_Patch_v1.30.md
3245c10b614d2f75c792e3c9f7f2db727c043bd11a79a7e6b769ecdd0455c51c  RCIG_Methodology_Patch_v1.31.md
cecab1de2a2709f8c0961291e4a3970799e38ffce2bc370628b0579ee7e603ec  RCIG_Methodology_Patch_v1.32.md
a21d28c4d2616bb6256e9dc8c3b1be6abe64ee3c9d0149fee6d0266e1dd7fc1a  RCIG_Methodology_Patch_v1.33.md
515f592b592221e6c9700789d0fb4da2579cfefad0fdc62e8685dce3e15e5d3a  RCIG_Methodology_Patch_v1.34.md
7b9ab9a43ee392ca2e487821d531c438faededb70ac5d3d5d70985711523e0b0  RCIG_Methodology_Patch_v1.35.md
f5c279d397085456212df0486b54621df90ae3b094a4ae2bd8921867f632bff4  RCIG_Methodology_Patch_v1.36.md
659e2a8824856c75e96fa749a4f7c5460fcf45680cbd5d4c5447b1f5981b4196  RCIG_Methodology_Patch_v1.37.md
fdd1f651bf8bbce005d37e3edd9decb9ac817e83b25fe6d5bdc5a202181e3fe2  RCIG_Methodology_Patch_v1.38.md
30eae2897e561e3a2566d60439a4c1306f1c6fbe98600135a7dcd4247c120490  RCIG_Methodology_Patch_v1.39.md
dc472ce4c1bbd3c7adde8aea728ea0ea6f671d0fda5481296afade6e1d6ba7a1  RCIG_Methodology_Patch_v1.40.md
2d23936ff785c5772bfa27c1c625c2fa64f353052b1db36e922d829757d86721  RCIG_Methodology_Patch_v1.41.md
020dcc22edb8dcc795a410fb2dcd1a18c305719b8cb4f4b21395ca2070defeda  RCIG_Methodology_Patch_v1.42.md
cc724835dadb858b74fb97258215824b41b8b92581c7d336bdc1c33d12e46dcd  RCIG_Methodology_Patch_v1.43.md
d38eb4d37e829a1a178734b377c112203ac8c7fa91063bb9b577428e522db1d2  RCIG_Methodology_Patch_v1.44.md
2cb35821aecb6abfd850dddadca56d897a635b7cf04c863067f37074b8b0a06c  RCIG_Methodology_Patch_v1.45.md
c185b84a4b071a07d9c2e17133a91d0fc1bb523d6fc3288fc4e4320276db78b2  RCIG_Methodology_Patch_v1.46.md
8f9bd02a0e32aa995d3facdf13553ddf92f323e5b8e6c4c1b0e2bff178950f8b  RCIG_Methodology_Patch_v1.47.md
ce2df7f71a749cb58350fda16b4b7f18af24894a451a19bd4988f3a638c0bbd5  RCIG_Methodology_Patch_v1.48.md
216f0b6ee26f90f8c3dfed1a76632f9edb838b9ca5cfb890d65e12b79dd64842  RCIG_Methodology_Patch_v1.49.md
3c1b9580c10f778eea8e88e7a1963e56d427b1f74b101473b6623e5ccca4e76a  RCIG_Methodology_Patch_v1.50.md
95bffa784c3464074762af5028a1db706b792edb9aa57dfd5ea229def46b664c  RCIG_Methodology_Patch_v1.51.md
f997a1d522d7554e5e6d649f02536db8a9d9c0c4bf585b16f552387282bd8512  RCIG_Methodology_Patch_v1.52.md
d28402a89ca9966c9ce434fd2857b91d6ee8c9c4f0aa74deb2aae845d847668a  RCIG_Methodology_Patch_v1.53.md
0df593725ff50636238029abeb07af6070891080a512cfe4701cb7afdb8f55a5  RCIG_Methodology_Patch_v1.54.md
f1caccbf676f55a47466828bfdd51ef45867d55f0a52786a2eaaa208a361656e  RCIG_Methodology_Patch_v1.55.md
5f0bb7c008f815b008831d4bc9eab3eab1d9059e00760f74b3a65e6a4dde8e2c  RCIG_Methodology_Patch_v1.56.md
460b2cbf5f5a39448c413cd2651019eae6d4885e7ce017ef7a9cc81ae1c5730e  RCIG_Methodology_Patch_v1.57.md
2b6b1f28c4e3c342f44f76675b948fc79b0cf9e3ba10b0c858ab6381f77ecb8e  RCIG_Methodology_Patch_v1.58.md
1ec565d5d23eafcc918fe33103356b5faa18bfc3bea955950f255575a027d9dd  RCIG_Methodology_Patch_v1.59.md
7a87db73bdea8d5f4d8158de3f14b4ee95ca471d37cbf29f86ff7fb106b19700  RCIG_Methodology_Patch_v1.60.md
7c53a0b70d76873bda749fa955aad31a96430a2f9c7d7b64f4af0a2aef4083cf  RCIG_Methodology_Patch_v1.61.md
42d8121b614890ea24cabb6fb89edfb3b0f175ffb15760a2b24acb57696ff7ef  RCIG_Methodology_Patch_v1.62.md
d872b2589256ae6ebf1c97714bc14473b289c3a3a01a568d555404b4c3e76125  RCIG_Methodology_Patch_v1.63.md
d1615d961bfa5a23e2157927b6e2a6a4a3f81a31618c9f3c76e5cb9d063b00a4  RCIG_Methodology_Patch_v1.64.md
3b8bcdb5b879bfdcf519c9a235200c0d7cdd2e4ec7ff22f011962e5eff5a6990  RCIG_Methodology_Patch_v1.65.md
61551051f48b9c641aae85dac0827bf8bef8ed7abea128b9b9c8d17d74ed9716  RCIG_Methodology_Patch_v1.66.md
796aa8364455105fc8c4feb8192830035f8429b9b1ac303cca3132bc7d377664  RCIG_Methodology_Patch_v1.67.md
e8dcfc29789b05c9db123d433869a1529d4c0b4f34298d7f55b22a583df751e1  RCIG_Methodology_Patch_v1.68.md
80148008e4e42be91ab0ac03371e51f5f3de818eb914c30e153bd6beb8ee96a9  RCIG_Methodology_Patch_v1.69.md
181d3da460193ea5126ad67afbdff87e88fe5e88638408c1fd99615e37f48319  RCIG_Methodology_Patch_v1.70.md
940c0de2bc89ec4e2e8bf7730f241edc1b129e5484f5458fd73038f6936798ad  RCIG_Methodology_Patch_v1.71.md
2ac3397af689a5ac3be5fd2e96990222687a0cf7d63de54c49a2d5597ab13ff4  RCIG_Methodology_Patch_v1.72.md
e7de496bf153f71374389ceff04cbf2358190f5be84c60b100ffc9490a9caddd  RCIG_Methodology_Patch_v1.73.md
dd7318a0e969e006272144829d17ea7774ed84886056b39f43393b98209fbfac  RCIG_Methodology_Patch_v1.74.md
b379f6031de6e694a808886e821710f67f1c3600381bf23eaed088ffeafd01ff  RCIG_Methodology_Patch_v1.75.md
0bc083a447fa3f5c37c4258f4871e50e1f7c4c3aaa3c2e3f781dbc86d8ad1ba8  RCIG_Methodology_Patch_v1.76.md
00e040a918e0c7ae89cd97ab20074d5ad00023f4f03996a4698902c3ac229937  RCIG_Nonconfluence_path_A_closed.json
412a704be193d4e564bf01b1a60dc7584561a57ca0348b88b83c71427082e44b  RCIG_Nonconfluence_path_B_unknown.json
9615881ea19547042242e02f44b6e9a3207b6927e1f42f6bad2ba1b3dd627ca8  RCIG_Phase_I_Core_Index.md
05ec632434c1edc4da0d065c354ca2f3fadbbd6ac74dd9ef3a48b175f4b6e074  rcig_ref_verifier_v0_1.py
d589288cc838dd60001f5d02b937f5b3ea7aef16d9efd18ea1fd8d47b404126e  rcig_ref_verifier_v0_2.py
866428cdf4ecf7570202046c0f6d1d9a0d0d5a476c425c0c9ef70c196f5bdd44  RCIG_Reference_Verifier_v0.1.zip
cd4f5256fb7f723331765fe1255f17ab9d01d76ad4b9f933f32e54cad8c5ec0d  RCIG_Reference_Verifier_v0.1_README.md
29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825  RCIG_Reference_Verifier_v0.1_requirements.txt
662e8b721fd760c64e6954a1ffbaf04f54efed0319cd9dff3d3e2bf2831f92c5  RCIG_Reference_Verifier_v0.1_test.ps1
fa942abff485cc566fa91eb5d805af2b45921e17f61c05e19a3a962dd7167f1a  RCIG_Rule_Admission_Cost_Prediction_Run166.json
5eb9506d52f64bb8c723cb2c866080c51d253b5f48d6c6bab8ea9cf2a29d6330  rcig_scnf_basis_differential_verifier_v0_29.py
59f8ff58710694ae9803b268638f986852d0dca4c0039181f98b77d19a38e5b1  RCIG_SCNF_Critical_Pair_Basis_v0.1.json
134b161c05aee78690bbf0f040880be851f89f247cc8584ee31cdcbb4ecd3a56  RCIG_SCNF_Critical_Pair_Basis_v0.1_README.md
cc2d8e84c2ab9e6924c279ee51b231c16dcda4cd39284d8cf61db8f575ae65bb  RCIG_SCNF_Critical_Pair_Basis_v0.2.json
11daed7e8c85a664dc869360581ece3a878736f568438b474d02022ce2373419  RCIG_SCNF_Independent_Basis_B_v0.1_Report.json
25f725726326e0417dd19d8eb68db2947dadba260e5dc5eaf77226d1b746c2c4  rcig_scnf_independent_basis_verifier_b_v0_1.py
70a22f3e895e1de726c215fd11a81788524dbfe6414f46fb88daef20cb85c4df  RCIG_SCNF_v02_BASIS_B_Attack_Report_v0.2.json
baed7aed4eb886f80eee64090682f66460fc526a429abf9cec55f736d4b89df8  RCIG_SCNF_v02_Critical_Pair_Basis_v0.3.json
2d7dd5151a83b32ba2b430de3faa22fc097e6879f20106cd09ae0d7093871c2f  RCIG_SCNF_v02_Critical_Pair_Basis_v0.3_README.md
558c8ab80c7f0517d3fe30eda8f2a8768215d703d598681988d5064a289c0f16  RCIG_SCNF_v02_Independent_Basis_B_v0.2_Report.json
7acc206dae0efc0d13389cd13769616e678802c71cc8fdcf17b456082edff0dd  RCIG_SCNF_v02_Independent_Basis_Verifier_B_v0.2.zip
19f4c65a4e9f8996fba42e3c7cc2d4639589bd1d37b724ce01b6da580c7e1e4b  RCIG_SCNF_v02_Independent_Basis_Verifier_B_v0.2_README.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  RCIG_SCNF_v02_Independent_Basis_Verifier_B_v0.2_requirements.txt
edfc0ca203f687294787533367f136b9bafd6ea18f9b045c93d9ab01a73e1f88  RCIG_SCNF_v02_Independent_Basis_Verifier_B_v0.2_test.ps1
dcea41902c9463f3dd6f29d5b92d36cb9a0ebbffb7e834a4c10e054f8761c0ba  rcig_scnf_v02_independent_basis_verifier_b_v0_2.py
708f6d50937402f14b5939cb8e62297d725a878ef18d3b8d116dc9466ffb1a1c  RCIG_v0.1_Recursive_Constraint_Infinity_Game.md
041747b349d6f615ca54cdff8644e1c6e35dbebe27b4e520c45ef66718783894  RCIG_Verifier_Attack_Report_v0.1.json
a7a6cf3c01c683fde59ba64b6a57d8791e9e218f6982bb202fb6eeebf6f4c062  test_rcig_k3_canonical_kernel_v0_3.py
96718b1e0dc75d665a65f2b066dcf5dfaeb5ad0e47d765285d9d5d14009192bd  test_rcig_k3bayes_budget_learning_kernel_v0_42.py
3483a2e8159c8149e12378205fc80e96ae60628832063a62147bd0eeffb16153  test_rcig_k3budget_theorem_scheduler_v0_39.py
03e0e79029d051a99d834dd92cd338504b1b8714ff6ae835d96db73f5fa322b8  test_rcig_k3cost_rule_admission_predictor_v0_34.py
b0b937a34aa9563a7566ceacf9c881ecda951f8deb77e572433e6d7e2d3fd54c  test_rcig_k3costcert_rule_admission_backtest_v0_35.py
04b97d1da25aaea9b98559920fcaffaccde58fa7f4d00bd3d536dd263bc5bf9c  test_rcig_k3d_behavior_divergence_kernel_v0_8.py
5f873479a02199cb044b8083e493f3bb0108847d1bea4aedb896acf6c5078120  test_rcig_k3dep_theorem_dependency_graph_v0_38.py
dd48a3dd6af732a376cb3907e85ea77be55487fc0b21bdb8d0ddf7ee9a0f0257  test_rcig_k3e_user_equivalence_kernel_v0_5.py
29d6759650eee9a75aad5770f57b11ab39251246bbf0b3d584ec0dc1dbd7f15f  test_rcig_k3f_fair_scheduler_kernel_v0_13.py
5945ec6e5522d61842752cd5b30226adc731d723ac324285fb1f7b0973eeeb29  test_rcig_k3fgame_fair_game_kernel_v0_17.py
7af5c1648694b4663917e1c14fdf97fc4d6459229994d1be185cb227e2047297  test_rcig_k3flow_dynamic_budget_kernel_v0_40.py
17aa02f1dfeffc033e5b621dadf94978727d1bb2413896e67bc07560772b5af9  test_rcig_k3fs_scheduler_product_kernel_v0_12.py
6e158db371ee8dabe1c0e9212b9b70e84c41801c577d16e82cdde1a792c2744b  test_rcig_k3game_stochastic_game_kernel_v0_15.py
9e9fd812bd2f4f4af5b74d218e48fbfa218eea761e0b08919bb27f8e408d6ab7  test_rcig_k3info_bayesian_probe_kernel_v0_43.py
9ff846bd89e22d1e1fc68d2b32313e4a6de8a444757c520feb72daf9eff7851a  test_rcig_k3l_labeled_branching_kernel_v0_7.py
e886077f2170551400c358fff4b208e3d3372ad8ffc9b6c59b4144590cdf11bf  test_rcig_k3lrt_local_rewrite_trace_verifier_v0_23.py
b962a81ae2b68680f2f161e26418562ab640af1aeac1b523559b3853b43404d9  test_rcig_k3mdp_scheduler_divergence_kernel_v0_11.py
39a072e2dc38fd57e9544747290ebc78159c9dc6a5446f6d2f5257166b8c1de7  test_rcig_k3mix_mixed_strategy_kernel_v0_16.py
b77a3b003948b8e042a9072d8c5531155fd696260c422a403224f58ce52c91b1  test_rcig_k3mut_rewrite_spec_mutation_lab_v0_30.py
095d94e0007e39285f9a83343cf91b6258ebf485f9a725102d3fabc55fc67348  test_rcig_k3mw_multistep_weak_kernel_v0_6.py
4ad62fbccf3abd75166402a09fc5cd75674a54a2dfb157bf5ca0590c47193c40  test_rcig_k3newman_strategic_confluence_kernel_v0_27.py
a994a1cac4d05f5b0f3490c5e077da101105fd7447a00ef886b85cf892900e10  test_rcig_k3order_admission_order_optimizer_v0_37.py
c25350370ce571c51c8b912d4a9fadeec92c8eb7ee169d114515a32fe97fa487  test_rcig_k3p_probabilistic_kernel_v0_9.py
d01879ca2d98b7f9ec851a47cffb0ca314ac3f02029a861fab578cf33e037327  test_rcig_k3pd_probabilistic_divergence_kernel_v0_10.py
e73d349eec68c381b598ffc3216ae0bd1452e30fdb5f1e36288d12cecd38d23c  test_rcig_k3port_multi_rule_portfolio_predictor_v0_36.py
da77ec565323b7b258a56c84a86287df0151d046f65c9fcf8ea7eb96ce680206  test_rcig_k3q_quotient_kernel_v0_4.py
6f2522fdb521eb7b3427566e6f68283e8be487fb4c4e52fad1420a4364aab856  test_rcig_k3qir_strategy_quantifier_runtime_v0_19.py
31382e64832adbb9816d0e9b09ffe4c6717d0444b59b2b961228a1f2d9399bdb  test_rcig_k3rw_strategy_rewrite_verifier_v0_21.py
24b6e8c2d21c2c45db2918377fe17424f3e75bb6c28b8860f553077ac4297ac1  test_rcig_k3rwf_filtered_commute_verifier_v0_31.py
bf20c78a81f71ad4e9ea8fa99a22d648f966a96faa7cb4fed4fdcccca8a7139d  test_rcig_k3scnf2_differential_newman_kernel_v0_33.py
00e759f80581e58fefad18ad82ce8df880082a00fa89e5b8056d1b89d43dd3d0  test_rcig_k3snf_strategic_normalization_kernel_v0_25.py
bc9dd7a0637e5a9352640900df47077a55d6615d0f9f734a8e394ef46a9d7156  test_rcig_k3snf_strategic_normalization_kernel_v0_32.py
21baba3cf985816b4adcab8c4f58b29f3605e851da12a6b07fb7f144045cf3ab  test_rcig_k3stoch_budget_admission_kernel_v0_41.py
9a3e37b340f2297dd2eb436321a32536de3b15097c361819c5cfbc48af9f2dbb  test_rcig_k3syn_controller_synthesis_kernel_v0_14.py
2e09ef90d42afbce8de4df79056717166528883798fe0e9053291f003f3d044c  test_rcig_ref_verifier_v0_1.py
f1f9778d2ba56092a4513a35e8f9c80a1472a217c906f33d268b1614b80ed904  test_rcig_scnf_basis_differential_verifier_v0_29.py
d41f6348b684a45d202fd2516cccf62076517c949117bd0e1f79298b252e6e67  test_rcig_scnf_independent_basis_verifier_b_v0_1.py
4a5ade120e72172fdb8cc389ec9e9405159ff4d12a3fdf53309c66a0d57a17b8  test_rcig_scnf_v02_independent_basis_verifier_b_v0_2.py
