{"version":9,"randomSeed":"afe1632d277be0b71b6081f5568f8d9d","graph":{"viewport":{"xmin":-0.7120165618915748,"ymin":-0.4156503161385814,"xmax":18.111512849873115,"ymax":18.0154475522446},"showGrid":false,"showXAxis":false,"showYAxis":false},"expressions":{"list":[{"type":"folder","id":"15","title":"data","collapsed":true},{"type":"expression","id":"1","folderId":"15","color":"#c74440","latex":"L=\\left[2,5,4,7,12,11,3,6,13,14,9,15,1,8,10,16\\right]"},{"type":"expression","id":"6","folderId":"15","color":"#c74440","latex":"n=2","slider":{"hardMin":true,"min":"1","step":"1"}},{"type":"expression","id":"7","folderId":"15","color":"#2d70b3","latex":"k=1","slider":{"step":"1"}},{"type":"expression","id":"11","color":"#c74440","latex":"R=\\left(L\\to\\operatorname{shuffle}\\left(L\\right),n\\to2,k\\to1\\right)"},{"type":"expression","id":"2","color":"#2d70b3","latex":"y\\le L\\left[x+1\\right]\\left\\{y\\ge0\\right\\}","lines":false},{"type":"expression","id":"5","color":"#000000","latex":"S_{u}\\left(i,j\\right)=\\left(L\\to\\operatorname{join}\\left(\\left\\{i=1:\\left[\\right],L\\left[1...\\left(i-1\\right)\\right]\\right\\},L\\left[j\\right],\\left\\{i+1=j:\\left[\\right],L\\left[\\left(i+1\\right)...\\left(j-1\\right)\\right]\\right\\},L\\left[i\\right],\\left\\{j=\\operatorname{length}\\left(L\\right):\\left[\\right],L\\left[\\left(j+1\\right)...\\operatorname{length}\\left(L\\right)\\right]\\right\\}\\right)\\right)"},{"type":"expression","id":"3","color":"#388c46","latex":"S\\left(i,j\\right)=\\left\\{i<j:S_{u}\\left(i,j\\right),i>j:S_{u}\\left(j,i\\right),\\left(L\\to L\\right)\\right\\}"},{"type":"expression","id":"8","color":"#388c46","latex":"A=\\left\\{L\\left[k+1\\right]<L\\left[k\\right]:\\left(S\\left(k,k+1\\right),k\\to k-1\\right),n<\\operatorname{length}\\left(L\\right):\\left(n\\to n+1,k\\to n\\right)\\right\\}"}],"ticker":{"handlerLatex":"A","minStepLatex":"30","open":true}}}