ROSECODE 394

Hidden title

Philippe_57721 · Programming · 2017-05-05

Consider the amazing Tupper's formula :

\frac{1}{2} < ⌊ m o d (⌊ \frac{y}{17} ⌋ 2^{- 17 ⌊ x ⌋ - m o d (⌊ y ⌋, 17)}, 2) ⌋

Plot the set of points (x,y) where

0 \leq x \leq 105

and

k \leq y \leq k + 16

k = 18103678631912000062470282381747441976757893373198
    86435384963567843211312931211913675581074713889534
    00578937967544149947045057575532393376026086675639
    79479602976376683335698251880808911605667287509150
    04068115678628489149512637203885271143388014539045
    70710336898701369407801663926977881040872681066426
    17283868280916627888347962832772249277391186206061
    40236546487592898274058357130776778346128459449558
    45786918834227702457154420543255799489565393910464
    89136316751596075567372059735592342126648150418628
    790330350241623669114319450430013312

Answer format: the text hidden in the plot