{"version":8,"graph":{"viewport":{"xmin":-0.5528568662281451,"ymin":-0.37645262757816733,"xmax":0.9224610978804132,"ymax":0.645829995267322}},"randomSeed":"3d12fb4e3dc51810bcf654383692cb31","expressions":{"list":[{"type":"expression","id":"1","color":"#c74440","latex":"s=\\left[0,0,3\\right]"},{"type":"expression","id":"20","color":"#000000","latex":"q=10"},{"type":"expression","id":"2","color":"#2d70b3","latex":"a_{0}=\\left[\\frac{\\operatorname{floor}\\left(qx\\right)}{q},\\frac{\\operatorname{floor}\\left(qy\\right)}{q},1\\right]"},{"type":"expression","id":"6","color":"#c74440","latex":"r=1","hidden":true},{"type":"expression","id":"9","color":"#6042a6","latex":"l=\\left[0.5773,0.5773,0.5773\\right]"},{"type":"expression","id":"4","color":"#6042a6","latex":"d_{ot}\\left(u,v\\right)=u\\left[1\\right]v\\left[1\\right]+u\\left[2\\right]v\\left[2\\right]+u\\left[3\\right]v\\left[3\\right]"},{"type":"expression","id":"3","color":"#388c46","latex":"a=\\frac{a_{0}}{\\sqrt{d_{ot}\\left(a_{0},a_{0}\\right)}}"},{"type":"expression","id":"31","color":"#c74440","latex":"b=\\min\\left(d_{ot}\\left(a,s\\right)+\\sqrt{d_{ot}\\left(a,s\\right)^{2}-d_{ot}\\left(s,s\\right)+r^{2}},d_{ot}\\left(a,s\\right)-\\sqrt{d_{ot}\\left(a,s\\right)^{2}-d_{ot}\\left(s,s\\right)+r^{2}}\\right)"},{"type":"expression","id":"18","color":"#388c46","latex":"n=\\frac{ab-s}{\\sqrt{d_{ot}\\left(ab-s,ab-s\\right)}}"},{"type":"expression","id":"13","color":"#388c46","latex":"d=\\left\\{b>0:1,0\\right\\}"},{"type":"expression","id":"25","color":"#000000","latex":"c=d\\left(0.5+\\max\\left(0,d_{ot}\\left(\\frac{ab-s}{\\sqrt{d_{ot}\\left(ab-s,ab-s\\right)}},l\\right)\\right)\\right)"},{"type":"expression","id":"12","color":"#2d70b3","latex":"c>\\left[0,0.1,...1\\right]","lines":false,"fillOpacity":"0.1"},{"type":"expression","id":"32","color":"#2d70b3","latex":"\\frac{ab-s}{\\sqrt{d_{ot}\\left(ab-s,ab-s\\right)}}>0"}]}}