( "\xd9\x8f\xc1W\x0b\xb5\xa33\x8f3)" )
    counter
    12
    +
    thousand
    +
m5
product
digits
    inc
    +
b2
scan
1000
0
primes #(0: n_primes)
tuck
select
product
digits
compress
product