<div dir="ltr"><div class="gmail_default"><div class="gmail_default"><font face="courier new, monospace">On Fri, Aug 3, 2018 at 6:31 AM Robin Woolley <<a href="mailto:robin@robinw.org.uk">robin@robinw.org.uk</a>> wrote:</font></div><div class="gmail_default"><font face="courier new, monospace">> (Thought: if you can't do it by hand, how the ... can you write a program to do it?)</font></div><div class="gmail_default"><font face="courier new, monospace"><br></font></div><div class="gmail_default"><font face="courier new, monospace">Cf. the four color theorem</font></div><div class="gmail_default"><font face="courier new, monospace"><br></font></div><div class="gmail_default"><font face="courier new, monospace"><br></font></div><div class="gmail_default"><font face="courier new, monospace"><br></font></div><div class="gmail_default"><font face="courier new, monospace"><br></font></div><div class="gmail_default"><font face="courier new, monospace">-- </font></div><div class="gmail_default"><font face="courier new, monospace">Don Morrison <<a href="mailto:dfm@ringing.org">dfm@ringing.org</a>></font></div><div class="gmail_default"><font face="courier new, monospace">“However, as every parent of a small child knows, converting a large</font></div><div class="gmail_default"><font face="courier new, monospace">object into small fragments is considerably easier than the reverse</font></div><div class="gmail_default"><font face="courier new, monospace">process.”       — Andrew S Tannenbaum, /Computer Networks/</font></div><div style="font-family:"courier new",monospace"><br></div></div></div>