proofs

	Name	Size	Modified
	..	—	—
	RamseyConjs.mg	—	Fri Feb 13 23:56:50 2026
	RamseyConjsWithBounties.mg	—	Fri Feb 13 23:56:50 2026