Checksum: a04d3a86f1e79eec8ebbf3dd59323f212a128619a5ab1ad43ccdd7602bb933f7 (page 1)

• acl2/8.0dfsg-1/books/projects/sat/lrat/tests/uuf-100-5.lrat
• acl2/8.3dfsg-2/books/projects/sat/lrat/tests/uuf-100-5.lrat
• acl2/8.5dfsg-5/books/projects/sat/lrat/tests/uuf-100-5.lrat
• acl2/8.6+dfsg-2/books/projects/sat/lrat/tests/uuf-100-5.lrat
• acl2/8.6+dfsg-3/books/projects/sat/lrat/tests/uuf-100-5.lrat
• drat-trim/0.0~git20240428.effa1dc-2/examples/uuf-100-5.lrat