FilimoniC

И почему просто не использовать последовательные ключи?

Если ваши ключи не секретные, то просто берите таймштамп и какой-нибудь ID (например, последовательный) и кодируйте в Base62 (это Base64 без символов +-)
Таймштамп равен 4 байта (8 байт если планируете дожить до 2038).

По условию, оба числа обязаны присутствовать в выражении минимум 1 раз?
изначальная система уравнений такая?
aX + bY > Z
a Э [1;+inf]
b Э [1;+inf]
X > 0
Y > 0
X = *
Y = *

По-моему, тут простой матан, хотя у меня из образования только школа — не смогу решить.

Как обычно 2 пути — Тупой перебор и функциональный анализ.
Думаю, что вам нужно составить систему простых уравнений

Кстати, очень странное ограничение в 64 мегабайта. Многовато. за указанные 2с не кажддый жесткий диск успеет прочитать эту программу, не то что исполнить

Рисунок не соответствует данным вроде бы