# SHA-256 of the files read by the programs, recorded on 2026-10-21 (local copies; the second
# verification run downloaded the 18 tables again and found the same values).
# Format: sha256  role  URL   (role: proof = used in Proposition 7.1(b); check = cross-check;
# source = the open publisher file of Oberwolfach Report 27/2025, read for the statement)
a50809b8d2ecb9573a327f4558db7d747996ebfab67317488c0cdbbed6426d8f  check  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A7/A7.2partmod2.pdf
524faffa36f864877d54f2a3cb8aacbdb26e438b061cf8f49f9a7ca2d14c96e0  check  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A7/A7.2partmod3.pdf
d6ae9b7e61f8992293366503979c74e78e50da0cc2a81bb024c77bcb518db9e5  check  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A11/A11.2partmod3.pdf
6f17ca3b15279173644b9b098898151d1faae9edfe8b6da5113926b91f6ebfde  check  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A11/A11.2partmod5.pdf
9267033d4ed3e309d123bfbf65f31f9f05178c2c0772b87b8631142d99fb3d48  check  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A11/A11.2partmod7.pdf
58a4e454f90d927cb93483271b7019e289d5ea2eff44a84ff4ed2d2ad9d7a7db  proof  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A13/A13.2partmod2.pdf
9599b3526ee1d048418c46304f26dad13937841ed38912777ba6a5b4b081244d  proof  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A13/A13.2partmod3.pdf
8121dc6776bc1cf857511f7b21dd789ac1b568395d7fd389e2b271cd857fd96f  proof  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A13/A13.2partmod5.pdf
96effe4c1c0e37bebba2daa2f1f001f02b539000f89dcb3808aad548b426e6bd  check  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A13/A13.2partmod7.pdf
49454d228c20ba063cd87a10bfbe79914f74492fd3c8ed21672bf0987ee31105  proof  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A17/A17.2partmod3.pdf
8ee7c34a5e1ca52e8dc691eed426942462009cbc1afc66f1da816efe19915862  proof  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A17/A17.2partmod5.pdf
49d0c35916406778aef0d5056a55c7b176e4dde9bb8dca39f1b7cedf13feb808  proof  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A17/A17.2partmod7.pdf
5fc25225111a24ebb566ef89f6798443b3a5353a33a5dd6b7535708edd44aca8  check  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A17/A17.2partmod11.pdf
6dfeba57f27e20feef40c053598eccd4a9ea7ee2af551bae6a90d20b5671dae9  check  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A17/A17.2partmod13.pdf
6fc588972ae2e90d384c563e8119e7d35f519f9405a3f5ce93cf75a5d355cdb3  check  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A18/A18.2partmod3.pdf
ac3c9926ea372307aad039fb7c223c8b93c5e0adb6ad62eab8511c4622bc8e80  check  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A18/A18.2partmod5.pdf
b8cb41d9821925b89adca1c98e096ae8e9ab925862d9f05f37150ebe59239552  check  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A18/A18.2partmod7.pdf
32f5bbfa517eb8ef7bc66c4e907e1f776a17735d7a5ff79ff411c485c7f9f730  proof  https://www.math.rwth-aachen.de/~MOC/decomposition/tex/A19/A19.2partmod2.pdf
818c47a49ce2fd05b13dd30e2bd9826f869fedf5e8b1c3a9d6d77bf0c1e356b0  source https://ems.press/content/serial-article-files/51860
