ramsey.gms:

References:

Point: p1 
Best known point: p1 with value -1.4931


<!--#include virtual="ramsey.gms" -->