K is the number of calculator tokens in one candidate program, searched globally from 1 through K.
Active alphabet36 tokens
T=13 · U=18 · B=5
Valid programs at K=72,324,451,337
Cumulative programs (≤K)2,411,426,589
Fixed-width description36.19 bits
Counts use exact RPN stack grammar: terminals push, unary functions preserve stack depth, and binary operators reduce it.
The browser GPU cap (100,000,000 programs or 30s) is exhaustive only through K=6 for this alphabet. A deeper GPU result is explicitly reported as partial.
CPU threads and GPU workgroups divide this same space; they affect elapsed time, never K or the candidate count.