e919455f5e4b3b5872d5764a68c8086774ab625f333dd1c417de96ce92f45c0b  verified_math/F-192_erdos-267-faithful-theorem/Erdos267Standalone.lean
bd57e4affc32f362cfe8c12e5613a2c8a28ca6340e71079871fe93b94d003866  verified_math/F-192_erdos-267-faithful-theorem/Basic.lean
