{"version":10,"randomSeed":"dc4717813ba6ca4bf2836fc952b80150","graph":{"viewport":{"xmin":-20,"ymin":-12.197183098591548,"xmax":20,"ymax":12.197183098591548},"showGrid":false,"showXAxis":false,"showYAxis":false},"expressions":{"list":[{"type":"expression","id":"11","color":"#c74440","latex":"N=6","slider":{"hardMin":true,"hardMax":true,"min":"1","max":"9","step":"1"}},{"type":"expression","id":"16","color":"#c74440","latex":"g=\\left[4,8,6,7,9,1,-1\\right]"},{"type":"expression","id":"24","color":"#000000","latex":"\\left(0,\\left\\{\\operatorname{length}\\left(g\\right)\\ge N:0,20\\right\\}\\right)","showLabel":true,"label":"advance","hidden":true,"labelSize":"2","labelOrientation":"above","pointOpacity":"1","clickableInfo":{"enabled":true,"latex":"g\\to\\operatorname{join}\\left(g,-1\\right)"}},{"type":"expression","id":"5","color":"#000000","latex":"P=18\\left(\\operatorname{random}\\left(9\\right)-\\frac{1}{2},\\operatorname{random}\\left(9\\right)-\\frac{1}{2}\\right)","hidden":true},{"type":"expression","id":"7","color":"#2d70b3","latex":"\\left[\\operatorname{polygon}\\left(p,p+\\left(2,0\\right),p+\\left(2,2\\right),p+\\left(0,2\\right)\\right)\\operatorname{for}p=P\\right]","lines":false,"fillOpacity":"\\left[\\left\\{i=L\\left[k\\right]:1,0.5\\right\\}\\operatorname{for}i=\\left[1...9\\right]\\right]","clickableInfo":{"enabled":true,"latex":"U\\left(\\operatorname{index}\\right)"}},{"type":"expression","id":"25","color":"#fa7e19","latex":"\\left[p+\\left(1,1\\right)\\operatorname{for}p=P\\right]","showLabel":true,"label":"✓","hidden":true,"points":false,"dragMode":"NONE","labelSize":"3","pointOpacity":"\\left[\\operatorname{length}\\left(g\\left[g=i\\right]\\right)\\operatorname{for}i=\\left[1...9\\right]\\right]"},{"type":"expression","id":"14","color":"#6042a6","latex":"k=7","slider":{"hardMin":true,"hardMax":true,"loopMode":"PLAY_ONCE","min":"1","max":"N+1","step":"1"}},{"type":"expression","id":"22","color":"#c74440","latex":"S=\\left(\\left\\{\\operatorname{length}\\left(g\\right)>N+1:\\left(g\\to\\left[\\right],L\\to\\operatorname{shuffle}\\left(\\left[1...9\\right]\\right)\\left[1...N\\right],k\\to1\\right),k\\le N:\\left(k\\to k+1\\right),L\\to L\\right\\}\\right)"},{"type":"expression","id":"18","color":"#388c46","latex":"U\\left(n\\right)=\\left(g\\to\\operatorname{join}\\left(g,n\\right)\\right)"},{"type":"expression","id":"19","color":"#388c46","latex":"\\left(0,0\\right)","showLabel":true,"label":"correct","hidden":true,"labelSize":"5","labelOrientation":"below","pointOpacity":"\\left\\{C=1:1,0\\right\\}"},{"type":"expression","id":"20","color":"#c74440","latex":"\\left(0,0\\right)","showLabel":true,"label":"incorrect","hidden":true,"labelSize":"5","labelOrientation":"below","pointOpacity":"\\left\\{C=0:1,0\\right\\}"},{"type":"expression","id":"15","color":"#000000","latex":"C=\\left\\{\\operatorname{length}\\left(g\\right)\\le N:-1,\\prod_{n=1}^{N}\\left\\{g\\left[n\\right]=L\\left[n\\right]:1,0\\right\\}=1:1,0\\right\\}"},{"type":"expression","id":"12","color":"#2d70b3","latex":"L=\\left[4,8,6,7,9,2\\right]","hidden":true}],"ticker":{"handlerLatex":"S","minStepLatex":"750","playing":true,"open":true}}}