N := \
665956575448385244483371801103190431893792690606297510299269525949721298936\
683817208696694525198854658807742076344951125628376347774945525033017108476\
156903249444041225762631914275356332269927922664520420046682128616721185164\
518908333044016508742210615955613880943091421014599725893690380595428064338\
717782951391668108959193464471496163042255568270716217630584376095489423287\
115568818056826965147718203271369240135578415021350219581809415951730193735\
058726252954332322788085178982324936791051604623554912871142869864694218054\
925060555250880864016126278512754291060235364188996244447299315104437564793\
362351902622024391219970063859622279295938434349086100769852887204598075534\
116436478348306132250438799850412658951283562152473199151874340947042194874\
287958656806669698019467326347411312414831783051637113933371709589480293587\
884447761361235561844142420410393431081893563567323857774588087995074275522\
246933465826543372884385699996962274204189049986917806406911983290905777044\
161889684042713779617186475504393094018082727833901799107202584822097081535\
588920514831608470695215935444879907654652218275216565108012543625480137655\
821489737671133733125394661418527791563041739842090614788616294787949764262\
200406281230661108180988603541938256127541845145183356139903427098613985677\
199616743168938718347947103821728360334855802449916455123461860428916991641\
246743331896020854107696718856195701386418244198209482726594103043500299428\
505371225469728775299193524251360832097543269361623954011946153007105634721\
900459400713451194030269979482900969218489146601790091068319082321837857774\
111929831376425227232485429416256397679950325434730917346848430885054471343\
252618531251810727405631280160431970317192094105407012734666599663600145207\
221266906479927371798588467396642623675408244246411174756889152736107000982\
7142917873714913280

inequality:

0123456789^0 >
      abs(floor(x)-9646)
    * abs(1-floor(MOD(floor(y/11)*2^(-11*floor(x)-MOD(floor(y),11)),2)))
    * abs(   1
           + 2 * floor((x-551)/9095)
           - floor(MOD(floor(y/11)*2^(-55*MOD(floor(y/11)*10^(floor(x/5)-1928),10)-MOD(11*floor(x)+floor(y),55)),2)))
    + abs(floor(y/11) - N)
 
plot near:  (0,11 * N)