The solution at revision #15861 of . This is not the current version.

-1 OR 2+312-312-1=0+0+0+1 --