{"version":10,"randomSeed":"77cd4d10671176b2adeb2552c7b0f2f4","graph":{"viewport":{"xmin":-0.5878938231898562,"ymin":-0.09986094783360211,"xmax":7.9711421865198355,"ymax":0.7203635746668824},"squareAxes":false},"expressions":{"list":[{"type":"expression","id":"1","color":"#c74440","latex":"A=\\operatorname{round}\\left(\\operatorname{random}\\left(9000\\right)\\right)"},{"type":"expression","id":"9","color":"#6042a6","latex":"\\left(\\left[1...\\operatorname{length}\\left(A\\right)\\right],A\\right)","hidden":true},{"type":"expression","id":"13","color":"#388c46","latex":"S=\\left(b\\to b+1,\\left\\{A\\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":"folder","id":"20","collapsed":true},{"type":"expression","id":"14","folderId":"20","color":"#6042a6","latex":"K=\\left[1,2,2,3,1,2,2,1,3,2,1,1,3,3,1,1,4,10,1,2,1,1,5,3,3,2,1,1,2,5,1,2,1,3,1,1,1,2,2,1,1,1,1,2,1,2,2,3,1,1,3,2,4,3,2,1,2,2,1,3,4,2,1,2,1,3,2,2,1,1,1,1,1,2,1,1,1,1,2,2,2,5,4,1,3,1,2,2,2,1,3,1,1,1,1,1,1,2,1,1,3,1,2,2,1,1,1,4,6,4,3,2,1,2,1,3,1,1,1,4,7,1,3,1,1,1,2,3,2,1,1,7,2,1,1,2,1,2,3,1,2,1,1,1,1,1,2,1,3,2,2,3,5,5,1,1,1,2,1,2,1,5,2,2,1,2,1,2,1,3,1,2,1,3,1,1,3,1,1,3,1,2,2,2,1,1,1,1,1,1,2,4,1,1,2,1,3,3,3,1,3,1,1,3,1,2,1,1,4,1,1,2,1,1,2,1,2,1,1,2,2,2,1,1,1,1,1,1,1,3,2,1,1,2,1,4,2,1,2,2,3,1,2,1,2,2,1,3,3,5,1,2,2,3,3,1,2,2,1,1,3,2,2,2,-1,2,3,3,4,1,1,2,1,7,1,1,1,2,1,1,8,3,1,3,1,3,1,1,1,4,2,6,2,1,1,3,1,1,2,2,1,1,2,1,2,5,1,1,1,2,1,1,1,1,2,1,2,1,3,2,1,2,2,3,1,3,2,1,1,2,2,2,1,1,1,1,1,7,2,1,1,3,2,1,4,3,2,2,7,1,1,1,2,2,2,1,2,2,5,1,1,2,1,4,1,1,2,3,1,1,1,1,2,3,2,1,3,5,1,2,1,2,2,1,1,1,1,1,2,2,4,1,1,3,2,4,2,2,1,1,2,1,3,1,1,1,1,2,2,1,2,3,1,1,1,2,1,1,5,3,2,3,1,3,1,1,4,1,1,1,1,1,2,3,1,2,1,2,1,2,2,1,1,3,1,1,1,2,4,1,1,1,1,1,1,4,1,1,2,1,1,1,3,1,3,3,1,7,1,2,3,1,3,1,1,1,1,1,2,4,2,1,1,3,5,1,1,4,3,2,2,1,1,4,1,3,3,2,1,1,6,2,1,1,1,1,7,1,3,4,1,1,2,1,1,1,2,1,1,1,3,1,4,2,1,2,1,2,4,1,2,3,1,3,2,1,2,1,2,1,4,2,1,1,1,1,3,1,1,1,2,2,4,1,5,7,1,2,1,1,2,1,2,1,1,2,2,1,5,5,1,2,2,9,3,3,1,2,1,1,1,1,3,1,1,1,2,2,2,3,1,1,4,1,7,1,5,2,6,1,1,3,1,1,1,1,2,1,1,1,2,2,1,1,2,3,1,1,4,3,1,2,1,3,1,3,2,2,1,3,1,1,2,3,2,6,1,2,1,1,1,1,2,4,5,1,4,1,2,1,1,1,1,1,1,2,6,1,2,2,3,2,1,1,1,4,1,3,1,1,1,2,3,1,1,1,1,1,2,2,1,1,2,1,1,5,1,2,1,3,2,2,3,5,2,1,5,2,2,1,3,1,1,1,1,2,1,5,1,2,2,2,2,3,1,3,1,1,1,1,3,1,3,9,1,3,2,3,1,1,5,1,1,4,2,2,2,3,1,1,1,1,1,1,2,1,1,1,2,1,1,2,4,3,1,1,1,1,6,3,2,1,2,5,4,1,2,3,4,4,1,3,1,1,4,1,1,1,6,2,2,1,2,1,2,1,1,1,1,1,2,2,3,1,2,1,2,1,1,4,2,3,2,1,1,1,3,1,2,1,1,3,1,1,1,2,3,1,4,5,4,1,1,3,1,3,3,1,2,1,2,2,3,1,6,2,2,1,1,1,3,2,1,1,8,3,1,1,1,2,2,6,1,2,1,4,1,2,5,1,2,1,1,3,2,1,2,4,1,2,4,2,2,5,2,4,1,2,3,4,2,5,2,1,7,1,1,1,4,3,1,2,1,3,1,2,1,3,1,1,1,1,3,2,1,1,1,5,1,2,1,1,2,2,4,2,2,1,1,1,3,4,3,3,4,2,2,5,1,1,6,2,1,1,1,1,1,2,2,1,1,1,2,1,3,1,1,3,3,3,1,1,1,2,3,5,1,1,2,1,1,1,3,1,1,2,2,5,3,3,4,2,1,1,1,2,2,3,3,1,3,1,2,3,2,1,2,1,3,2,1,2,1,1,2,2,1,1,1,1,1,1,3,2,1,3,1,4,2,8,2,1,1,1,3,1,3,1,2,3,2,1,1,2,1,3,1,1,1,1,1,1,2,5,1,1,1,1,1,1,1,2,1,1,1,3,3,1,2,1,1,1,2,5,1,1,1,3,2,2,5,1,2,2,1,2,1,1,3,1,1,2,2,2,5,2,3,4,2,2,1,2,1,1,2,3,1,1,1,3,2,1,1,1,1,2,1,4,2,2,2,2,2,1,1,1,4,3,4,1,1,1,1,1,3,1,1,1,2,1,5,1,2,1,1,1,1,3,4,2,1,2,5,1,1,1,1,3,1,1,1,1,3,1,1,1,4,3,1,4,5,2,1,3,1,2,1,1,2,2,1,4,7,2,2,2,1,2,3,1,1,2,1,3,5,4,1,1,1,3,1,5,5,2,1,4,1,1,1,1,5,2,2,2,1,2,1,4,4,2,1,4,3,1,2,1,5,1,4,4,1,1,2,3,1,1,3,1,1,1,1,1,1,1,3,2,2,1,1,1,1,5,2,2,1,1,1,2,1,4,1,1,1,1,3,3,1,1,1,1,3,1,1,2,4,1,1,1,1,1,2,1,3,1,1,1,2,1,5,1,1,1,1,1,1,4,1,3,3,2,3,1,1,5,4,3,2,2,5,1,2,2,2,1,5,2,1,1,4,7,1,1,2,1,1,3,3,2,1,4,3,2,1,3,1,1,2,3,1,1,2,1,1,4,1,1,1,1,2,1,2,3,1,1,2,1,1,1,1,1,2,4,1,2,3,2,2,1,2,1,2,9,1,2,1,3,1,1,2,2,1,1,4,3,2,1,2,1,2,2,4,1,1,2,2,1,2,1,5,1,1,2,1,1,3,2,3,2,1,1,4,1,1,3,1,4,3,2,2,2,1,1,1,1,5,2,3,3,1,2,1,2,1,1,2,1,1,2,3,3,2,1,1,2,12,1,1,3,1,1,1,3,1,1,2,1,1,1,2,1,3,3,2,2,5,2,3,1,2,1,1,5,1,5,1,1,1,1,2,3,4,1,6,2,2,1,8,4,4,2,1,4,3,3,3,1,4,1,2,3,2,3\\right]"},{"type":"expression","id":"10","folderId":"20","color":"#000000","latex":"a=3911","slider":{"hardMin":true,"min":"1"}},{"type":"expression","id":"12","folderId":"20","color":"#2d70b3","latex":"b=3912","slider":{"hardMin":true,"min":"1"}},{"type":"expression","id":"18","color":"#388c46","latex":"\\operatorname{histogram}\\left(K-0.1\\right)","vizProps":{"binAlignment":"left","histogramMode":"relative"}},{"type":"expression","id":"21","color":"#000000","latex":"\\frac{1}{2^{\\operatorname{ceil}\\left(x\\right)}}"}],"ticker":{"handlerLatex":"S","playing":true,"open":true}}}