{"version":8,"graph":{"viewport":{"xmin":-1.1802490071355303,"ymin":-12.47283738479339,"xmax":45.932748552909985,"ymax":20.172870108437262},"showGrid":false,"showYAxis":false,"xAxisNumbers":false,"yAxisNumbers":false,"polarNumbers":false},"randomSeed":"d9157a8911bfc1bcba192c001a9afa4d","expressions":{"list":[{"type":"text","id":"7","text":"Font data -- when in binary, higher bits represent shading higher positions"},{"type":"expression","id":"1","color":"#c74440","latex":"a=\\left[16,8,4,2,1,24,12,6,3,20,10,5,18,9,17,28,26,22,14,13,11,7,25,21,19,27,0\\right]"},{"type":"text","id":"9","text":"Text, encoded as numbers corresponding to letters"},{"type":"expression","id":"4","color":"#6042a6","latex":"t=\\left[20,8,5,27,17,21,9,3,11,27,2,18,15,23,14,27,6,15,24,27,10,21,13,16,19,27,15,22,5,18,27,20,8,5,27,12,1,26,25,27,4,15,7\\right]"},{"type":"text","id":"11","text":"Rendering inequality"},{"type":"expression","id":"5","color":"#000000","latex":"\\operatorname{floor}\\left(\\frac{\\operatorname{mod}\\left(a\\left[t\\left[\\operatorname{floor}\\left(x\\right)\\right]\\right],2^{1+\\operatorname{floor}\\left(y\\right)}\\right)}{2^{\\operatorname{floor}\\left(y\\right)}}\\right)>0","lines":false,"fillOpacity":"1"},{"type":"expression","id":"12","color":"#000000","latex":"y=5","lineOpacity":"1","lineWidth":"1.5"}]}}