This page has moved to https://williamdemeo.org/blog/three-sat-and-partition-lattices/.