{"schema":"vela.problem-packet.v0.1","problem":1148,"statement":"Can every large integer $n$ be written as $n=x^2+y^2-z^2$ with $\\max(x^2,y^2,z^2)\\leq n$?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A390380","name":"Integers k which cannot be written in the form x^2 + y^2 - z^2, where x, y, z are integers and x^2, y^2, z^2 <= k.","terms":"3,6,11,15,22,27,35,38,42,55,59,66,78,83,87,95,110,118,123,131,143,150,187,210,222,227,255,262,266,278,299,303,323,326,39","url":"https://oeis.org/A390380"},{"id":"A393168","name":"Integers k which can be written in the form x^2 + y^2 - z^2, where x, y, z are integers and x^2, y^2, z^2 <= k.","terms":"0,1,2,4,5,7,8,9,10,12,13,14,16,17,18,19,20,21,23,24,25,26,28,29,30,31,32,33,34,36,37,39,40,41,43,44,45,46,47,48,49,50,51","url":"https://oeis.org/A393168"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}