{ ⌊ a b ⌋ | a 2 + b 2 ≤ 3 }