{"version":10,"randomSeed":"18773eb2357da7630e32a9b99c225958","graph":{"viewport":{"xmin":-7.831607543302368,"ymin":-16.290205753693936,"xmax":33.566192292288655,"ymax":21.976756025061544}},"expressions":{"list":[{"type":"expression","id":"1","color":"#c74440","latex":"A=\\operatorname{random}\\left(1000\\right)-\\frac{1}{2}"},{"type":"expression","id":"6","color":"#c74440","latex":"B=\\left[\\sum_{k=1}^{n}A\\left[k\\right]\\operatorname{for}n=\\left[1...\\operatorname{length}\\left(A\\right)\\right]\\right]"},{"type":"expression","id":"7","color":"#2d70b3","latex":"C=\\left[\\left\\{B\\left[j\\right]>0:1,0\\right\\}\\operatorname{for}j=\\left[1...\\operatorname{length}\\left(B\\right)\\right]\\right]"},{"type":"expression","id":"9","color":"#6042a6","latex":"\\left(\\left[1...\\operatorname{length}\\left(C\\right)\\right],C\\right)"},{"type":"expression","id":"10","color":"#000000","latex":"a=395","slider":{"hardMin":true,"min":"1"}},{"type":"expression","id":"12","color":"#2d70b3","latex":"b=1223","slider":{"hardMin":true,"min":"1"}},{"type":"expression","id":"13","color":"#388c46","latex":"S=\\left(b\\to b+1,\\left\\{C\\left[b\\right]=0:\\left(a\\to b,\\left\\{a=b-1:\\left(K\\to K\\right),\\left(K\\to\\operatorname{join}\\left(K,b-a-1\\right)\\right)\\right\\}\\right)\\right\\}\\right)"},{"type":"expression","id":"15","color":"#000000","latex":"\\left(K\\to\\left[\\right],a\\to1,b\\to1\\right)"},{"type":"expression","id":"14","color":"#6042a6","latex":"K=\\left[-1,2,11,1,1,25,1,207,82,1,1\\right]"},{"type":"expression","id":"17","color":"#2d70b3","latex":"\\operatorname{histogram}\\left(\\ln\\left(K\\right)\\right)","vizProps":{"binAlignment":"left"}}],"ticker":{"handlerLatex":"S","open":true}}}