Snippets Hilbert Decision Problem pix2