ccca364e22573c439a8e61f7b8ea474ed94c00dbea17747bdc4def7173c243d4  COMMUTING_CASE.md
060ec723f6eb4b5909fa034fab7ca92692977dc6520e79200346358cdbb839fd  COMPLETION.md
839df4564bcb6f212be0704fb38601fbd998094af451dbca06b4a3a8b905095d  DETERMINISTIC_CASE.md
1bfe678791e2722b6bd6c9116fbdde7a7cd0e1629cfa43bbf9b08e949d4910a7  EXACT_DEGREE.md
ba8eb5db0a4cf8bad7f87786391d5a6d35cd55c643c2185e081526f67e25be76  LICENSE.txt
e8675543aa65070b15710108cd346380def006e736eb1ee474e8742915912e32  MANUSCRIPT.md
01fe33f123cb9b1d951ffbe899871295c0773f3730af72f4951e361147acc4c0  NONMORTAL_CASE.md
358f8bf8014ea2ac1e97f39b7153f15d7dd7e8c8f92e5cca1417872fe5cfeb62  PERMUTATION_CASE.md
f87338b222a731e2d3e2d5d459ccde6a922dfbf1a6bf2843b9e56589162f859b  PROOF.md
5172707a2ca645e08ae6caea9e38614f213b77735f43dd846afa02c0fc3cdb21  README.md
2b0c3208908c7c24b6e54fbd29f066d4b2e5471eaa44d5716ce0d04b1ca1227e  SYNCHRONIZING_CASE.md
a2c94def64db441f75df7442383085d66b8215bf95ea5138efeff48f7c6b2fde  UNIPOTENT_CASE.md
e72ee64e05f68e2035683c66309659d24fcedf6fe4031ed877aa9ebccb3e4585  audit_deterministic_frames_20261027.py
740704e9e1fef54374b0bc7831be4c8935e64792d933abe7336d335a65b394ae  audit_natural_completion_20261027.py
9972dd47b4de5c4327b2583b838f320557b56ea0069f9035e688d0ff6466cc6f  audit_natural_persistent_pump_20261027.py
473481f35681e880257efd459590e7ca1e4e365e47ca61051db5f1dcc5890b34  audit_natural_positive_rate_20261027.py
2a7f7ee006a7fe4fb0f23f0c4ed1ac5e7245be5393b092c34992179e232c9a55  audit_nonmortal_frames_20261027.py
195da2f1b9607973c7a28330e6230175e9461f6b77c84d2809112c1ec91cf211  audit_permutation_blocks_20261027.py
e496d6fdd40992fc0d2c3540ff07f49d19b894d654c2436f8fa746832914a223  audit_synchronizing_blocks_20261027.py
d3866307230e9fad0eebaf0bd9b7952da11664bd9c788a3450c95998479ec6ab  deterministic_frames_audit_20261027.json
6959aededfb5fd805e10205df326bec3bece6250b12e9ea1892b4ff0349fa500  natural_completion_audit_20261027.json
30a04142210c0ba4b0181630614cfb38c6b3ed8b4dfd6a5e1f2bc1c5f0be6453  natural_mortal_reduction_20261027.json
1ee57ebdf46e4d69234825d25feaf7942e011869e37e204d0964441aec521877  natural_mortal_reduction_20261027.py
ce992391c17ca205873bc7ba42e45569bd539632d2856a0f7c0933a1d3ee0df5  natural_persistent_pump_audit_20261027.json
e776a5771664e5f63ccd49547b2499af2a30737fb9d168290f551e395d400689  natural_positive_rate_audit_20261027.json
3eb8e4fc66f1914bcbf923afb5ca7385e2a4e0fb6fc61a26368c517fad58ebbc  nonmortal_frames_audit_20261027.json
de47aca3f34fbb275b6fa627c6e55a9976b1c867c1073023cc9cdb92a2872f1c  permutation_blocks_audit_20261027.json
c55505a4132bdff2423837b229cc220f4a0383a44b4b066f374a945223b7f04d  synchronizing_blocks_audit_20261027.json
