2ebb23ba142b160b832b40b6fec01bc3b8618f3322fb00f4505236ce0430f10e  README.txt
54cf9c197f076e7565c34536842d864b11ed16f97a469283cfdefc9534071f85  check_small_witness.m2
8d4f04ad3dab444ac1ef72c20b78b2f4e06faeaced9a5ed644d2fb0114e96eb3  check_small_witness_output.txt
06f9e32831356ceb57c37696127effad9797f3cc176df6981a9e672835d5aa88  small_witness_certificate.json
92eb4f4d8aba6a7cbc2fb6798a0b4418320b559e6c5a93bdf71209577e0758a3  verify_small_witness.py
ab446128f1db3f0bfe94cb45fb626f4cdcf0b0d817f6139d72fefaaa4f5f4ebc  verify_small_witness_output.txt
