{"version":9,"randomSeed":"7cd4130ac83e76afc1bac198cb218c67","graph":{"viewport":{"xmin":-3.329599709129946,"ymin":-6.071622805717187,"xmax":8.65247883993265,"ymax":6.242800303561642},"showGrid":false,"showXAxis":false,"showYAxis":false},"expressions":{"list":[{"type":"expression","id":"1","color":"#c74440","latex":"N=5","slider":{"hardMin":true,"hardMax":true,"min":"1","step":"1"}},{"type":"expression","id":"2","color":"#2d70b3","latex":"A_{uc}=\\left[1,0,1,1,1,0,0,1,0,1\\right]"},{"type":"text","id":"106","text":"run this after adjusting N"},{"type":"expression","id":"104","color":"#000000","latex":"A_{uc}\\to0\\cdot\\left[1...T\\left(N-1\\right)\\right]"},{"type":"expression","id":"15","color":"#6042a6","latex":"I=\\left[1...N\\right]"},{"type":"expression","id":"16","color":"#000000","latex":"J=\\left[1...N\\right]"},{"type":"folder","id":"81","title":"edge display","collapsed":true},{"type":"expression","id":"50","folderId":"81","color":"#000000","latex":"c_{is}\\left(x\\right)=\\left(\\cos x,\\sin x\\right)"},{"type":"expression","id":"76","folderId":"81","color":"#388c46","latex":"T_{ia}\\left(n\\right)=\\operatorname{ceil}\\left(-\\frac{1}{2}\\sqrt{4N^{2}-4N-8n+1}+N-\\frac{1}{2}\\right)","hidden":true},{"type":"expression","id":"51","folderId":"81","color":"#c74440","latex":"T_{i}\\left(n\\right)=\\left(T_{ia}\\left(n\\right),n-T_{I}\\left(T_{ia}\\left(n\\right),0\\right)\\right)"},{"type":"expression","id":"77","folderId":"81","color":"#c74440","latex":"R_{L}\\left(L,i,x\\right)=\\left\\{i=1:\\operatorname{join}\\left(x,L\\left[2...\\right]\\right),i=\\operatorname{length}\\left(L\\right):\\operatorname{join}\\left(L\\left[1...\\operatorname{length}\\left(L\\right)-1\\right],x\\right),\\operatorname{join}\\left(L\\left[1...i-1\\right],x,L\\left[i+1...\\right]\\right)\\right\\}"},{"type":"expression","id":"49","folderId":"81","color":"#c74440","latex":"\\left[\\operatorname{polygon}\\left(1.5c_{is}\\left(\\frac{2\\pi}{N}\\cdot T_{i}\\left(k\\right).x\\right),1.5c_{is}\\left(\\frac{2\\pi}{N}\\cdot T_{i}\\left(k\\right).y\\right)\\right)\\operatorname{for}k=\\left[1...T\\left(N-1\\right)\\right]\\right]","fill":false,"lineOpacity":"A_{uc}+0.3","lineWidth":"8","clickableInfo":{"enabled":true,"latex":"A_{uc}\\to R_{L}\\left(A_{uc},\\operatorname{index},1-A_{uc}\\left[\\operatorname{index}\\right]\\right)"}},{"type":"expression","id":"103","folderId":"81","color":"#000000","latex":"\\left[1.5c_{is}\\left(\\frac{2\\pi}{N}k\\right)\\operatorname{for}k=\\left[1...N\\right]\\right]","pointOpacity":"1","pointSize":"20"},{"type":"folder","id":"85","title":"matrix display","collapsed":true},{"type":"expression","id":"46","folderId":"85","color":"#c74440","latex":"T\\left(n\\right)=\\frac{n\\left(n+1\\right)}{2}","hidden":true},{"type":"expression","id":"18","folderId":"85","color":"#2d70b3","latex":"T_{I}\\left(A,B\\right)=\\left(T\\left(N-1\\right)-T\\left(N-A\\right)\\right)+B-A"},{"type":"expression","id":"8","folderId":"85","color":"#000000","latex":"M_{L}=\\left(1,\\frac{N}{2}+\\frac{1}{2}\\right)+\\left[\\left(i,-j\\right)\\operatorname{for}i=I,j=J\\right]","showLabel":true,"label":"${M_A}","hidden":true,"points":false,"dragMode":"NONE","labelSize":"2","labelOrientation":"above","pointOpacity":"1","clickableInfo":{"enabled":true,"latex":"S_{wip}\\left(\\operatorname{floor}\\left(\\frac{\\operatorname{index}-1}{N}\\right)+1,\\operatorname{mod}\\left(\\operatorname{index}-1,N\\right)+1\\right)"}},{"type":"expression","id":"4","folderId":"85","color":"#6042a6","latex":"M_{A}=\\left[\\left\\{i<j:A_{uc}\\left[T_{I}\\left(i,j\\right)\\right],i>j:A_{uc}\\left[T_{I}\\left(j,i\\right)\\right],1\\right\\}\\operatorname{for}i=I,j=J\\right]"},{"type":"image","id":"79","folderId":"85","image_url":"data:image/jpeg;base64,/9j/4AAQSkZJRgABAQAAAQABAAD/4gIoSUNDX1BST0ZJTEUAAQEAAAIYAAAAAAQwAABtbnRyUkdCIFhZWiAAAAAAAAAAAAAAAABhY3NwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAA9tYAAQAAAADTLQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAlkZXNjAAAA8AAAAHRyWFlaAAABZAAAABRnWFlaAAABeAAAABRiWFlaAAABjAAAABRyVFJDAAABoAAAAChnVFJDAAABoAAAAChiVFJDAAABoAAAACh3dHB0AAAByAAAABRjcHJ0AAAB3AAAADxtbHVjAAAAAAAAAAEAAAAMZW5VUwAAAFgAAAAcAHMAUgBHAEIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAFhZWiAAAAAAAABvogAAOPUAAAOQWFlaIAAAAAAAAGKZAAC3hQAAGNpYWVogAAAAAAAAJKAAAA+EAAC2z3BhcmEAAAAAAAQAAAACZmYAAPKnAAANWQAAE9AAAApbAAAAAAAAAABYWVogAAAAAAAA9tYAAQAAAADTLW1sdWMAAAAAAAAAAQAAAAxlblVTAAAAIAAAABwARwBvAG8AZwBsAGUAIABJAG4AYwAuACAAMgAwADEANv/bAEMAAwICAgICAwICAgMDAwMEBgQEBAQECAYGBQYJCAoKCQgJCQoMDwwKCw4LCQkNEQ0ODxAQERAKDBITEhATDxAQEP/bAEMBAwMDBAMECAQECBALCQsQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEP/AABEIARMAtwMBIgACEQEDEQH/xAAeAAEAAQUBAQEBAAAAAAAAAAAACQECBgcIBQMECv/EAGAQAAAEBAIECAQODQcKBwAAAAACAwQBBQYSBxMIESIyCRQhIzFCUmIVM0FRFiQ3OENhcXJ1gpKisbIXJTRTY3N0gZWhs7TwGURVkdLT8jU2RVRlZoOTlMJWZHajpMHi/8QAHQEBAAIDAQEBAQAAAAAAAAAAAAUGAwQHAgEICf/EAEIRAAEDAgIGBAkJCAMAAAAAAAIAAwQBBQYSBxETIjEyFCFCYhUjMzRScXKxsjZBUWGBgpKiwggWocHR0uHxU2OR/9oADAMBAAIRAxEAPwCVMAAEQAAEQAAEQAAEQAAEQAAEQAAEQAAEQAFhD6wRXgAAiAAAiAAAiAAAiAAAiAAAiAAAiAAAiAAAiAAAiCy8DjUbvF6ENI5hgnLjIR1Uu6nswSikbM15yZELDdnxoItrmhC6HnGk8D8Z5nX+I+MGH88b8/h3UabRq7gkVNNRoujekTvGJYe83eG6jnhrjDVywhCMBwjgJPm0v09sU5a5lD6C83dv2iS2dzeWQiK5T2/EUKQxe13R5qWz4rMxFek59n2BzfdXepBeLCBf7Q9LCrwAARAAARAAARAAARAAU1wBFUAAEQAAEQBTXDzioIgAAIvmYsIwgOL6Mn8xnvCa1g2cIocXkNFwlyMUY+xmOgrtl7VxjDs+MdeocY0EhGHCPVi5h/4dX+oyGMz2dRot2FC6WDznoDm/MI/zXZpjbVojyx6qSXUnpyymeTOL6KDCbyrmmfjI5rZEm6XeLtG3u+JBimjve0Ix9NR85kmk/PJ3LW6C67dGWrJIrbiqiTYpv+4adwLZhSveFWnR/EK4XJ6LTtNOj+VSgkhCMOkauxxryZYcU9I51LDMIRcVPKZY7Xfw5tJou5KRU+8W01vWGc05MF5lT0qmTnVnvWaCyuVuXmTKY1v6xzXwkSJXOjTM4QR15E7lSyv4si0DH+bcJCipVGjItmC6wAY9R9RS2raRkVXS2C/EZvLkJi1zoWKZaqJTkvL2rTDIQXxAAARAAARBSIqLDgitia2EICkIw1R19ERSJ9Xk6IDnrR90gkMSKvrCipq5W4wwm7p7JlXSMUeMSs57kyQ7RkrvkW9m8Y6mAZaV+dZG2HHgM26ci6LgKj8We4h06oDCKnxywlopg4mNS4j02wQbq5KsfCJFDpqdgxC7Q91rSnFeRAj5aa1sHXDX0C6HKNQSfSkwBqGbIySWYqyFd6v4tFRXL1+4ZS0o2SzmrWZN0XUtcILoOOeSVSjmJqE7ZDF3g10rwRxh1nylK0Xp3QF/JqHO1F42lnmlLXuF5n60W7GUM4y9JawiaThvdxkhC75zHKuQ3vEjDojyD7xQ2zbLKauFIhDoCPQC8r5H8sYQ5YCPyoq/+xzp3Pp1PHC7CScbQlswWVRsIog6bIFvuPsFSIrac57twhxIEblLC2PREcHcIRQWROJJiO3b+knyXgx2srziaaiVx0tncLfeYne2Rpzc9AzgrVg4GpU+tufLdkCTf6h/NSi7tIYpvz9PtiMTTUhBbHeol2q8YQ1sUc5GzxnFilMT3xBtLALTibU5IEKTxj4+/jL0clGbopZ66qZN0i3WVN3/AJfbPyxidV0tqWuKiq2Wy/I9E08Xm6qOdmd1P3uyUojbnOZcjbhrp+i/Bl3s+K6hcI5AAiWuvZ3h1c3D51J3owzSE0wIolxGb+FF0JQggsvnX61CQtNd3ho7hGKtg3oenKBazdsgvN3aizpor7K0SJbfd1bVTEGGaJGlPhzhfhvDDeq5Q+YeD3i6zVaXs+MJqwVOZU95SeKtMYaY0lcYZli1V60yct3CHF0clo0aLZ+WTO5qwv30/X+J2BtOzQ6MGz7arlkwPcG8TO9LZIGWM5EXZyj3lJXgF6g+HP8A6SlP7mmNgDGaApZrRND05RMucZ6EglLSWJKq76hEESpEPH5IyYSdOC5Y5qqddX0oAAPq8IAACILDi7XDzi1QEXkzSEz8HPoyXJ49BFTiubuZ1mxf3bhEnVFZVJLZxJDUU4i3rBuvnMGkuW8UolcRU5lLbLbrtoxBL1HVripdyREZCaEkc1tWGIkZfxJ9U02XdxSWWzOLIX82iQxdi3Zv+N7wULHE1u1x2pvbHlFdK0aNvSpMiLk1gY5S9nWvxYhYr46YgS+Ma8q9fJXSIirKZSrxdikQtpt0vjTXEuvPtk6g0dOVHUXC7ky66y7jxv4U/bP2hsuuKlNEuxGEIecalduuML9IoMW6Trn4+UeZfrnBWGINoi5I7Aj9m99tV5zxCMW/s/8AyhmGDOlTjphHMFy0c5XmrCKiiSstmKxyMUznt2/fFt3t/UUhdy4gxYy0Y9AxKsJ3GWoLwz+ZFttcpxk9TCjtJOHoE637ebSlAD6vd9CzTDTGOo6Vx8p7EWZOnCr808Iq6TQVgSKhFVudR2+QpTX27NuwYwnOjDX+fkERHB+6MX2dZ8hjFUbhD0LUzMsniuwoo9dkIU2SZI3V2y3m7GwS85728vMYcn5xfrYy4wzlcX49xpPiTpoBD5AHKqiopAVEgqerDjDcQKEpzEml31FVMwg4Yv8AzQ1HSP1TkN1TF/jsjNRZYHFfRKoVoQ8aKL/EjQoxipOcuCU3L41JK83KarM7YL5e2Yuan1er3OoQc+zWWzKWTB9JZlL3DF8w8ai7ROmolvW7PZPaawwm8OnGJbix5fJrEVemnHXpW162hy/aiRa4/wDBW/tCuXO0xm2ieX6I0Z6Tb/crk1ZZhCYFQubm3R18fsWrGlFVa5l/huW0xPl0PHJZMucKZqfctJtDp7RE0UKlndUSrFDE+nuISNhFOZSpo7vTdKOyHvSOcvVKQ211b/l39aaLSRY6O9AXa4Q8CIR6enkG04Jp6oxjEvtDaiWhlgqOKoYt0uXzELDlsOggGutN3mJfoTF4pAVEyuSoAACIKRFopGMIQ164QHjOipCEYR6YQA0fJDlGosR8YMGJIxWk9XYgt0HDlE6sUJbMlkHqkErTmsM2OVUptkuzdDyE62oaGrDFrRhq6kdTmj8Qa6b5qa3gmYzKaKE9/Y8c2XFGrIuMSH5Z4R9ZLejWmfMHOwyRfYuosVZpK5FhjVUwnLgrdihKHkVlVdxMmSYoiwUnBUJQ3g3W5lsimlD5A/bpFssNa9o9CWYK4UT2gX5VdTxF5xY/GUDmTMbnDKqnIchSGKSztDUiVPSeRtmUrXw7Ks3QSyou1W6BzxJ2z2dcUjFXg691DI8O5m+td10Q226Wd6R02KQ58uUi1j+kuOtezPnTjP4w4g41fihjvHpb/SCH/OIMWqjCxKduEsh5LWLPjfHFEuKkzswxSlsKqUl+Vsw2dzXcMj8B0vbbCnJfbDyZEBFdHt8dkMh/l/yv0LabliaW+6ycMGQDqHM5mzfXuj1L9x4fgBhVZS5tMkPucZLGRSAnKSnGEPcLCH/2PFnHs4+sG2LlKsGs+IRlTbebE8Bp7JZveIqRzglm/F9H6eQ/3oX/AHZAdxeXWOJuCnT4vgPUcP8Aehf92QHbJuSEdQ6hEPaMhVfgS+M0Zub4d5XgKQ6BUbCi0AABF8z9Iin00fXgVr8ESL9moJWD9Iin00/Xd1t8ESL6igjLx5oS6Roj+VUf1F8JKQbRg9QCgfgRD6BtKPRD3Bq3Rg9QCgfgND6BtPyQ9wb7Xk6KgT/Onfbr71dDoFRSHQKjItZAAARfnjqgWPJyQgOBNIDSPntfVM+oyjZ+vKKPYK8UiqzW56dH9kPnljcVHqFKTv375LO4qr8JeheeeBc7j3g5xxXK38/KNZZ3rrRDYwnk6bRQ8Ofd386yrObXv293Y3toVHGEyTHh5Ipc663ofwtFxJdHSljm2Q5ltdmrLZd0N0P/AN9u43xgWqfV9zxGsVqxcDzlqkcji1bO7JPaSF+so2Exap1As/m9TQ6YDC5vO+MeUeK5mMXPSPxnOJaFbwhqzwrO3H4ouPmAqdQTPFSuSjasW6Bjc49nHvLHGNzYbcenjFUsTOU6JWtFKZwalJNab0cEZ02mK68amm7uZ5K382OW1AxCd3mrvjDrjyx90c8aDNJTGkdGOjpZMnTdxFwgvMklEbrIJuFjqpl2uyU0B0P5x1ZgNm2AL+eV2e2895zvErwABnWggAAIvmfpEU+mn67utvgiRfUUErB+kRT6afru62+CJF9RQRl480JdI0SfKpj1F8JKQXRf9b1QXwI3+gbV841Vov8AqA0F8Bt/oG1fON9vydFQJ3nTnrr71cAAMi1kAABF+aBIWF1kgXV5NYj60tNEGom0+e4j4Ty+L5g/WUdzCXJWwUZKW3GOQpd9Pul3RITq5YQt1w9sWG8sdQ1pcJuaGRxTuG8ST8KzxnQC1F8XtKCEkyhn6nPjvvPsn+HvD7JudfLyCYGv9GjA7E+YRmVbYbSh89zorReJJ5C6iltsDqmStzTFhu33DSFT8GdhJMGqKFI1hUsjXgtnKqqqld7HYIQ1pSioP4SOnWwa/Rll/aJZyarnHLX3VHnnj8y0xbNh3ubgtaNj04rzz9FJf2hgOL/BhzKS0O9neFtcTafTxCyMJc7aIkzU+sQneGoGGJPbVhe/aCsVfIAX4Vxq8njcseRD88IjxJhVfF/TOfqHqVLgXWtEN15jW0rqqVMWCuQq8Xlx0EMzXbYQ9u0MfSlcll7hDXKF11/wyJznU+UHg8I/P1r4/jSffGdbDjYAf/YNfcq009nThzxkyEeJrx5tWI9SapwcGjAvs4+qNTtpk4/D/hha6PGCHGI+RIam90ilcmpTIE2FjcbB7bdWbN3lNxgBT8ypPBCiqbmcUeOsJG0RVytsl+XAbIhDkiPDon/M+R/BzT9iUe9yQ5R00eC/D757R0j+tVAAH1eUAABF8zdAio00vXfVh8EyP6iglXMIp9NP13VbfBMj+ooIy7+aEul6IPlax6i+ElILox+oBQPwI3+gbU83uDVejH6gFA/Ajf6BtTze4JBnlXPZ/nbvt196uh0CopDoFR7WsgAAIgpqh5hUARWWe2LtUPMKgCKyz2wOTWLwBF+JzLmzlDIcoILw/DI3j8foZkn9DMP+kIPZFIxh5x81UqvlCKnVSq5xxR0LMBcSJMu3QoGXSOawioq1eSxIjTnzbUb7SWGKY/Wtvhcey0RLzyTuJa4mskz0F15e7OzztuzYWt7wntMa1XlEH9QSuMtqaeL+Rebu4/8AzDGFYxDsYwNud5dz0LjLu0iZbc+5svzdlTUUWeEaPkcI/wBGtP2JR7pDXdENUBzXoX4usMRsKWVOwcLxnlIops38FonOfI2sha828Y5Cm/wWHP0lCEYxLq5CiyRzB1uhguM3SE/a5r0SQOowKor7gKcgDItNVFl/tAcWHU1AisMe4vJDlj5BFZpoaoaYVXlhDVqlMij8xQSMVBjRhNSLtxLKjxIpyVvmKWeqzWmCUHUE7Cmvybs3dN2RGDpGYn4f4paSlR1dQNTSuayt/L5Ik1V2iZh0iKFUIUqlprix7ojLmVHIxAC6XoqByNiZiQ5TKGousuXlqpLNGb1AKC+CEBtGBuX8w1FowPmznAGh+LLor8XlKaKuT7GoWG0T3w22Ub7Xk6alzuaWaU7Xv1X3AUh0CoyLAgAAIgAAIgAAIgsOLx+ZypCEPcBFao4yS6xqDGnSaw2wWaRLUsxi/mkeRKXMjFOrf347qXxhzhpYabjiSun2HWEzhGEclRGYTxGO2keP+rm6vWIdXf2j2WHKU45ywQ0acWtJhx4bbv8AwFTi63Oz154xzt7XFy9brdzcEQ/cCM9hEHMf5V0Cz4MitRPCuJHtiz2Q7Tn9q2jV2mtjTXc3+0k1QpVhryuJtESKqKJmIW69RUvziWDWj+l2HgqDtybndXKqtvq9o5x0ZVHB34UUFhhPKll1TVZNaokUpXeIu15gRNFRdJMxjcwVK23p2dr3w5Vn1aGmcobtoQ5Mkg5xi+HdAcZ2x7i7xo0mWK6vEGG4+xIN0iLmIV86OxCq3C+qPRJRU34g/QzEc3YjzZt4hy9YvvuyTsEs7fw14QCgJ43by7EZg4kT/Xk56KWegp3zW7SRdm4Rrv3zqYzljI5K3XfTWbu02cvZo+McrqnKRInxzGKUdC1joJ6UFI0+hO28gkNSL5Oc6RlDw53bY/YIU5SZpvedkWKyuXNpnc3wTSTGwLcJXR7o9sZPpD+rqr/FScUxXNIVhlr05U8qm0MqCsYNXZFDpkNu3FLtF+MMljGMOiMYQ9wQPTSaTmm3XgSpG83kLxfpaO0XEuXUgWPzy3XbRbhl7fSYxjbNkGrfGerUEEEclLKqJZPLTsLaJvw7VrceZJclc0SnLHaWqe06H16x92un8VNkqpqJrhHV+saQ0ta7qOg8IHs0puYcReP3bSWwW1nvIRU9pokMXcN3hGXLtJbGty48HNcbq6ni8fYUZusuf5KQpUtQ1e6ivVeI8KsjFzFvBSYTyD+zMKctnOKlsKMM291qwdGALWs9t0VOw5zLk6ZG1AQll2nN3eH815uIz5tLpeu51IdObzyV58w1xjfWN8ow0XPatbzJus3ca1/43xtCuZo6ctuLwX5PxowOmVqVbHe+EGCcZjBXW3zYXwgXkFXs1agzVx/eNdsxPEdGS3bIxA0Bj2ltvAnFOraJreSNsJ3L/XGZNdctl0TpkmW3aUixS+NLt7vXOYpOuJvIQhbqj0COnguKQlrxeuK1dSBivCCzTwU7yiZjZexdJeCXZvLlbQkTRLa21QiL5aQysZ1+Ysezgm3Q2qNiGTd3eBd5fqh0CooKiTVLQAAEQAAEQAFIgi+ZuXahHlh5BzPp31XVlM4MIlpFyuhCazdNk/VR8jWLZc59rq7SZB0tGESR1wjrjHVCAxLEiiKcxIpd/RdWtoLSuYJaldfc2inL3im1G+KMbwVcaIA4retMpmFPZkyAzgBCRD6X1KIDCah6dxRx3o+ia0m3EpJNnnPZscvjNqRlE2+0bZzTFKTr724cS0VlWeHmCdAQndVrIU3T0oy2iUEUebT6qZEk07je4Uojkxs0VsQMDFlqubljNKPbrZyU2aeMak2rTrF3ym+ZtFJfeeweVU2MWNda4cI4cVbP0J5KmCybtJZ40zH2YldaQ6l/O2dsVKNcBsTRMyg3/SXesUYcb0lXFm52V4XGd0XAzZSb+z+i72pTSHwl0jKYrGkcMJi+fTQsod62juXuGJ1M0hilsiqUvXNaIknzty1boNnLbIXb8yqj96UJsmILpJU9a4YTd9UdM1rNZC/WR4pFZnaRSKZtrrd4Yw2mExmMrZzF+4XcLLpqZiyu/fea64Y7nKC6RgcUtgqxSsC3eSxU9x0d30t2v0al0bwfNPy+rdL6Ru5g4h9oJTMZw1Rj7IuUhUC/qdHP8UTDFJyCFzg56qNJdM2lpbBBD7fS+ayhXl8X6UUc3/KZlL8YTS6+kWS1hs4oUouJ4/ldNvzz1V4c8pClalb8XqSnZfNYf+bakU+tAeBHA7CDPz/saUzA3n8GI97u98wzvV5YCnIN8gFziqiD7rVNTda0+1eFKaHouRQ+01Lylj+JaEJ9EBSoJFJqjlDmSTqTt37FwidFyzWRIomqmaFpiWm2d0e8cWWD7lpwWIzPXr19ajAxj4OjGCmnz91gq4llV09CCfEJc7fkazRv08zcoXIXKQlnOmVSP3Nm8/JNRSGd4PVNOMOMVpAjIqjYKIO1miqpF8tNVJM6fOpGOToiJ8zR1w1l5eUQn8I0x4zpq1v+SSP9zSETJtUbIVeC6bhnHt8rMZYM9pk9JddcHFhfiRI3M6r2dtn0qpycy9NFq0Whzb24xTpOSdgpCQN2r8/qWGHecIQ1QhDVGMPPEap0UoFho54cwjr1wkLT6g23G2HKaEPdEjEY6O3kVGvlxdvFxcnPhlMvRX1gKgAzKMQAAEQAAEQAAEQU1QFQBF84w1Q5RHVpwYeTHDmtntfU7S7BlSs+Zp8fWaI2enyXXHPb3fqiRePLD2h4NR03Iarlq8mqOStZrLXEIFWaPEiLoK9bbTPsxEdc7cF0j7E1OYbvz+GrgFwY7PzKAGsJ3Cdf5O5f42gpo/GKYQce/wDriZFHQW0VWk5SnaOELeD1utxsqqsxdn5y7smVs/xCLDGB9Tpa/qlzTdM+ApXxt3xWX6thLnjFt2d74wr8y30t8UG6LuOGMZOYrvL0twMoAH+FrGQ1LM8OK2pzEmXNorrUnN2M9gl1FeLuSq2G7pssT84aV1TmJ9DSSv6SdQcSqfsyPWq3RsG6nvi7vxRAHNZbGYSHjLb2dL6xNodncFFpNQl1RPtG+rpj6RmyykxpvM1WJr6rl220br75C7W6fuiYtD3i9nVc80i2jo8sJbfIYqVwXC2/2hdrh5xMrmqqACkQRWGh0CH3TdlXhLTQr/8AJJF+4FEwRujWImdLz14mJn5LT/7nARl1rkjEug6L4oTMTsNn9BfDVSIaLXrecP8A4EQ+gbX83uDVmjJ63+gvgdD6BtPze4JBrgqPP6pTlO9X3q6HQKikOgVHtayAAAiAAAiAKa4ACKoALL/aBFeLDi8WHBF4VSTSMkkE1nCBc9SXs13UEvvliZjWfNEJUppCY49420vQcW8UFqsm2e7R2/Szcy16u0XsEu2hMDpBTmYUngvW9RSvI483lDgyWalmE3Ld0cDcG7Q5Z1pH1TWzpitFCkpRktFeok4dHy/2RFRETgCRMZbqui4Vk+C8P3ScHz7Nv8X+lp/ShwakuBeJE8wupuP2jYIoPJUisqc50kHBLrDqH3jXEMMMxB0YnOF+F9A46UVV7594eWzlcmzMkj4h7ikJaa+4mya49luwOu+FGo7itXUNWvM/beXO5Orr7aByqlP8lU/yRsrQyoGmsWNCr7HM7j6TmDt8grlRIc7e89xT92IwR2tnMdZopW73PpeGLdOd3tkRNl7P+tS2JoVaTCGkfhelMZ5FFCrpFlMqjRKlEiKi5yXJuUtWzlql27eoe4nZjHpCEIR1m1RhGPIIY6Vntf6GWP7114I1LyhY7OYS7NPlzJgc9xiEN1jbRTonP7+whDiVXBzGDDjGqkm9W0BUaUwQMmTjSMYlTdMVNUeZcJbyRoGu5Pk7IkYsrbjq7ao18w+dpoEhvfZPeEls0VHxz/bgL8wbqr1OvgrTeQRK6X3r0sSvyan/ANygJaDn1RETWl569HEr8lp/9ygIy7eZmukaJPlbF9R/CSkW0YvUAoH4Db/QNpeSHuDVujF6gFA/Abf6BtLyQ9wSDXk6KgT/ADt326+9Xw6BUUh0Co9rWQAAEQBTXDzioIvnGELdUegWR1lhsl/OLjH1e2NW4tY+4c4PoooVW+XWfOPuaXs0YrLrefk3S9bfMXdGNx1tmmdyupZI7DspzZRwzmtpa4+f9Qtvj5/1CPSstM7G6bvUHFOmlNKsvK0ggR6upsbUDKKl3ri9VIu9u9cYi50z9I5vrh9kBH9ENP7Irv722zPkzrpMLRDiqa3tAZH8VFJwReJoe2LjGPCENWqMfLyiNmm+EIxgkkGLWpJNTc8g3Wjx9Xih0HTkmvdJaexLZ2b7D+8OOhcM9OzByuIIy2pYuKNf5OtSMyiU7LXquNEjmHQUnbVIQm0USsa7wpnkzUJedHeJcPhmnRiyekOovhrVenp2PpjLtHedxls3XYLrumiMIpK5cVU86GaTvFtGquC4phu3oev60zuenFQoS2KXmIybEN9Z0cYlwgONVE1W2ldAU04g+eyKZOHs1dowvQaqJEysm63a3z7ZLrMo5Pe754P2l4U5osUq6M34svPlH08V/CZ7lTIP/wBPBAeArR64Z6dgVuyArbMFgLlMhyHs33RHj/6sd4SulyzvAFlUnEUFfQzUTF2qrH2NBe9ob5zhP5IxzgvW7dthxWLeHs88It/7Jer1RvLS4pRtWejRiNJnK8UYIU+vM0VfwjP00n89Aoj00XNI9vo4VRPJlOaQXmsqq7imcs0d2cRbpXGOciVpzqntPu7G5v8AXHh8wYuAOV9FZbQw5dMIyYLG+YOCX3SH/C730mtGCnse6fVcFKizqlilqYTHK34bVqK3aLrMaw3UvP2j3RxVPhfjFo5Ve3nUW89pOaN+aRnkpVOmm5JnWkIcxdhVM5ieKPeSwm5YJXsOcWKMxQoeSV9Ts1bxlU+aEdts5YhFE4G6hy3bJim2Yw85R7zx7SUxQ4tMphKV0PvKyqKhPkjNKgNyPGAeQ/SFRdjxVMsbPQXmxeZ9EqZv9KOnD3hCccqbg3a1rJpFXTKGX6cRS8EzHfNmHPbe3UNZ1CESHTFFafmjxVyMI1FOX1Gr5WcqlULTIIn/AMctyRje9MPWxD0JNHvEiMHMKYWkL3m/TdOqkaRimU91llpktrt2X98c+4hcHTW0t4w6wvrdjNm/PrIy6Y+lF8v2JEim2Qx+2qe33g06eE4/ompwf3GvfHaQXO74xv8Au+xdz0xWFKVrL4TOlahlU2ZLpEWgqzdkXhlnLcXcjsiLnS5jCOmriL+SU/8AuZR4NQaIukzSTnirbDmaxXfem1ladeKxJBTd21EDEuNtDVkrY1bLa+qJrVsJt4V1tUVYzdY6i+zcUu0be3DfJGGZMq5DIHAVn0fYYYt2KY0qHMbeDUfLzcpdlTEaM2r7AFB6unwOhyfmG0tXkhyCHjDDhNMYcL6f+xu1pCmpw3kKqjNqs8zkzpIFPamTmjDrSgeEsw/niKKGIFETeRLuFsnNaRK+QSTt1mWW3DFLvbJM2Il6TGQpQDXMncM3WY46+wyRhrry73z/AFLtcVGEUViTRVfyhCd0VULGaN3ENUIorwzNdhTGIcm8Q5b9ohtsozE5xt0rSvBVshIK5SpqqvsAAPq8r5QThAsC6+gWqRthdqjyj6dEPcGrMdsXZbgrhxNq2dxbmWbJ5TRFZWzjDg3iyf18p+5tDy5X517ZaOQ5RpvmJYHpJaTMuwkSjSlNuWb6sHyOtJKK3NsiffVe9tbCXxjdWBuHHE5cTR8+nk6mDh89mC2cq8eLXqKHGu6vrqo61n76tZ3Bdd6/WzVVe+Mfe1o5yOLNhyfE0mXd3thTkX7GwRo6hYVgg+/qOQe8Rej3RWaT2pm0F/S8f43hizyecZGHvJ5GP3Q4Hjnng0ItnAAXRKXqLC6qLNjvh8TzUYaeoI+cfBzUAlmILlD8WtSXjCJVvVX9KyV4+jFvFtFwvBD8cc/dHeugbpflmTiU4B4guGCCzdomypt5FQqKjmCRNRGxi7hjZRS2xuvOa/YEZS85jGOuMRk1EzmpJZWEjmVJT9aVTuDz0o7RgQ521t1x7TXF6xhPQNpbz2lVxLHPQcVRqRmg3x5fvEpQNJrScczJea4S4TLoL8qktqSbrbZG1yO02b9pTa2zbhBw/MsOqbkiHFHWe+jk5Oassf8AgoyNtNZbJpcg2amjDi+uGtXnIqXnuMc3auOMUqGo3MzjrjEUm4Xqfd5ucNxpdAwHo5Yw/FoDgZjrze17lia0tbNocWbxXyP2XcJ2R57lPV5V4j1VVPaH5ljt48okm5D7fMa6FJw5a3GcmxD8Ky6h9KPH3C6YcZkeIM2cIZqayrR2rnoKES6lh90tvVJYO69GPT/pbGGYNqEr5qhJKoXiRFNbN9KvVI2lIWH3oxjW924xSdYmuNFz08g8hZrFu51t3GQuh4r/AA9b3veFktd5cb3HFwbG2je3ys7kXcPur+gq3ywh0iK/TRNq0wq2h5pTIv2Kg6J0CNKRxijIY4YVrOknFVSJKHFFc6Cij1oQtt5jR2zGLsbRts921yjnDTkUcttKeuHH+yJF9RQWG5H0iJ4vtLl2jSO7asXtg+OUgo58JLpbRv0YMAsUNHCj51WmFUhfTCYMtbp3FLn1D5xtvM7Q/PWXBoYXufTOG9Xz2k1/YkVvT7X4+bt/PG19Bk8HGivQEf8AZv8A3mG9jJwjyRhCMBtFHZkN0o4qaxf7jappPwXiDrry+tRHYhYUY5aM9QIzyoUF2CGvJl9TyNc8WUO4froG3TWH2D7e2fbHVGivpizOvqhQwxxQbpGmjhKEJfNYakyOVNe6r1LrolKWzrGJ29nZ+mLN6akejhW0KkyfTrNRm0S9kVdn8VZ3utd1SwEX2HD2efZHpVtTkHHhSM3aZPFFef8AHbRyd4hLvnWCCcE7ZLabYruH2V1yE61j/DU2XeGRpIj8rwjlIva+ZThwAIdEAFnXCFUeLPqZpypJavJKhp9jNmLiHOtHrQq6KnxT7I9oUiCcOC0dVOiRo5Vq5RdzzCeU5qCWUl4PzWBIQ89rY5CmN3o90a+n3By6PE6my8zbeiuU5/8ANJfMuYTt7OaQ5/njq+EPLq1BGEOk2oYKxWK9hSUa9XKJTIw+Y+oi/quQTcGBo3R/0lXP6YJ/dCz+S10aP9erP9ME/uh2FdHzQ/rCJvPqHzojPoLKeIrs5xkufiJcdfyW2jb/AElXX6YJ/dD25DwcWi9JGEGril5rNoZ2dFWYzHMU6uxcSzZ2TfLP3LeqtRfJANQ+7BmnYWE7xcHOd4vxVXObPQH0Rm7pF2XBSXxVQ6IKu3ahPkmVsFmMmiRhhW1MxQomh6dpqoWBlFJe8l8tTaQvsttVMkXahbyX9X3Lin6O2dXmC3zg4y26GQwWNi5S4z4SGzrnBRguNBHSPcL6/A8i8/8Alcg8t3wfekfH7kkMhj+NnBP7IlRtj5v1it0fa/rESGHIADloC6PXTRjAqaikD+GijNk/Bm4ozKXIOp1V9Nyp8ujzrTOWXylPfFLtj26f4LyrfC11S4pShBhCH+jpesovf8YxCCRaCcfKb9QpEsO1EbIWWEHAFDyNJ2KpPGTq9kRH+S4opvgyMP5c4cei3E+pZ8gtyJIoItmOX8a093WGwKY4PrRepxtBs5pB9PooLJrJLTGbOTnTUJu+KOQvzB0tDp3Yf1i63XAbgxGGuQFXpeJbvcPOpLh+sqrX7ag8HcOFvRFJaPpSlXEEjwjMUZc2aKRT3jFipbcOR8fpjod4kVRNKtcYQoYg1GukmitN1pis0l2pK0pSZpVeztEsJYft747UrKhKLr6Xoy+t6XYT1k3WzUkXiJVCJn3btRhoGrdAnBSo8iNNeHaUggqusrCWzE1jm/qHKqU9pSm2rCWDVuASasZIWXMvNkO2ty812qWTurQ+B2mnLcHZ+hQFbyiRMcOYNCM5L6HWi32kUS7ZVTHVXSP2rznIfuH2NoVpwjFFNUMmgaHms9cG8WrNrJa0s6x9q5X4tg0rXfBe4ktI8aorE6VT2EEVFlkniJmiyim8VFIu2Xa3bzqkGL4XaPNXYPziaN9KHBao6rkjhBNbwlKHV6EpT9kvUSV5w5zdTqE27+qNAKXbZ7Opj7Su0n9xdt0tva5P+MdXxV4LWmM+MOI+PtUIzytn/H12C2TK5RLkT8RZX9QiXXVPtbZ9vasv3B1ZoKaHc8pSbo414nt4t3+TqkkpVR8V+HOWO73Ov19jr9N4L4M4GUHTrKdYY0exbMpuzTeJO1UzqOFW6vPp3GX2y711pt32ht+CScIcpdftjah2w2nukSDzmoy/41CZC8E2iP0eN+YvaX1gAqAl1Q0AABEFBUARU1Q8waoeYVAEVBUABFTVDzCoACIKaoeYVAEQU1Q8wqAIqaoeYVAARWHA4vAEXxs9sfUVAEVNUPMKgAIgAAIgAAIgAAIgAAIgAAIgAAIgAAIgAAIgAAIgAAIgAAIgAAIgAAIv/9k=","name":"satan.jpeg","center":"\\left(4,0.3\\right)","width":"2","height":"3","opacity":"\\left\\{N=5:1,0\\right\\}\\cdot\\left\\{\\operatorname{total}\\left(A_{uc}\\right)=10:1,0\\right\\}"},{"type":"folder","id":"87","title":"homomorphisms","collapsed":true},{"type":"expression","id":"90","folderId":"87","color":"#6042a6","latex":"H_{c}\\left(m,a,b\\right)=\\left[\\left\\{i=a:m\\left[N\\left(j-1\\right)+b\\right],i=b:m\\left[N\\left(j-1\\right)+a\\right],m\\left[N\\left(j-1\\right)+i\\right]\\right\\}\\operatorname{for}i=I,j=J\\right]"},{"type":"expression","id":"97","folderId":"87","color":"#388c46","latex":"H_{r}\\left(m,a,b\\right)=\\left[\\left\\{j=a:m\\left[N\\left(b-1\\right)+i\\right],j=b:m\\left[N\\left(a-1\\right)+i\\right],m\\left[N\\left(j-1\\right)+i\\right]\\right\\}\\operatorname{for}i=I,j=J\\right]"},{"type":"expression","id":"98","folderId":"87","color":"#6042a6","latex":"H\\left(m,a,b\\right)=H_{r}\\left(H_{c}\\left(m,a,b\\right),a,b\\right)"},{"type":"expression","id":"99","folderId":"87","color":"#000000","latex":"E_{uc}\\left(m\\right)=\\left[\\left(m\\left[N\\left(T_{ia}\\left(k\\right)-1\\right)+T_{i}\\left(k\\right).y\\right]\\right)\\operatorname{for}k=\\left[1...T\\left(N-1\\right)\\right]\\right]"},{"type":"expression","id":"88","folderId":"87","color":"#2d70b3","latex":"S_{wip}\\left(a,b\\right)=\\left(A_{uc}\\to E_{uc}\\left(H\\left(M_{A},a,b\\right)\\right)\\right)"},{"type":"expression","id":"100","folderId":"87","color":"#c74440","latex":"S_{wip}\\left(2,3\\right)"}]}}