proofs

	Name	Size	Modified
	..	—	—
	RamseyConjs.mg	—	Tue Feb 3 11:11:15 2026
	RamseyConjsWithBounties.mg	—	Tue Feb 3 11:11:15 2026