Fri, 22 Mar 2019 12:53:56 +0000 Chengsong augmented version of proof sketch
Thu, 21 Mar 2019 13:26:07 +0000 Chengsong pf
Sat, 16 Mar 2019 20:05:13 +0000 Chengsong found the difference: caused by flats
Sat, 16 Mar 2019 15:00:43 +0000 Chengsong random test failed
(0) -4 +4 +10 +30 +100 tip