Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!philabs!seismo!hao!hplabs!sri-unix!CS.CLINE@UTEXAS-20
From: CS.CLINE%UTEXAS-20@sri-unix.UUCP
Newsgroups: net.ai
Subject: a simple logic/number theory/A I/scheduling/graph theory
Message-ID: <2768@sri-arpa.UUCP>
Date: Thu, 30-Jun-83 12:11:00 EDT
Article-I.D.: sri-arpa.2768
Posted: Thu Jun 30 12:11:00 1983
Date-Received: Sat, 9-Jul-83 15:32:53 EDT
Lines: 3

hms (with proofs of course) for this one. You 
may notice that the approach you apply to Problem 1 does not
generalize to problem 2.