9 pages, written assuming the basic computer tested conjecture