read BYRNES:
lu:=Larson():
print(`Consider three-rowed Chomp positions (a,b,c) where there are a cookies in the first row, b cookies in the second row`):
print(`and c cookies in the third row. Of course a>=b>=c .`):
print(`The minimum of the quantity a+b+c-2a taken over all P positions with c from 1 to 400 is`):
print(lu):
print(`Craig Larson, from Virginia Commonwealth University (with his Chomp group and the program CONJECTURING) conjectures that`):
print(`the minimum is >= -1. This confirms it for three-rowed positions with c<=400. Furthermore, as c gets bigger the minimum gets larger`):
print(`so perhaps there is a stronger conjecture. `):
quit: