100644 blob d32f1bf26b6ac2b1f34dd33dc55f36ff53443509	common_comparison_category.module.verify.cpp
100644 blob e6428cec2c430b0f78e0a84e813f5b58b443fa34	compare_three_way.module.verify.cpp
100644 blob 0e544ee7b33042deb70df2db1549308b569af3c0	compare_three_way_result.module.verify.cpp
100644 blob 4936b175f2bced732b8f725250d21c6ec1a65c81	is_eq.module.verify.cpp
100644 blob 2c0580c2154ac5bde68c65092b1cdeda0143afd1	ordering.module.verify.cpp
100644 blob 3fc2db9d6729064775a544f853bee684e238a273	synth_three_way.module.verify.cpp
100644 blob 293d1e03cfbafb333910d428fabbac47465313aa	three_way_comparable.module.verify.cpp