BTW { "output": "12\n" }
HAI 1.3
VISIBLE BIGGR OF 3 AN 12
KTHXBYE