Cell[CellGroupData[{Cell[BoxData[ RowBox[{"Manipulate", "[", " ", RowBox[{ RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{"n", "<=", "m"}], ",", RowBox[{"m", "=", RowBox[{"n", "-", "1"}]}]}], "]"}], ";", RowBox[{"If", "[", RowBox[{ RowBox[{"n", "<=", "k"}], ",", RowBox[{"k", "=", RowBox[{"n", "-", "1"}]}]}], "]"}], ";", " ", RowBox[{"GraphPlot", "[", RowBox[{ RowBox[{"Rule", "@@@", RowBox[{"Partition", "[", RowBox[{ RowBox[{"Range", "[", "n", "]"}], ",", "2", ",", "1", ",", "1"}], "]"}]}], ",", RowBox[{"VertexRenderingFunction", "->", " ", RowBox[{"(", RowBox[{ RowBox[{"Inset", "[", RowBox[{ RowBox[{"Column", "[", RowBox[{ RowBox[{"{", RowBox[{"#2", ",", RowBox[{"If", "[", RowBox[{ RowBox[{"MemberQ", "[", RowBox[{ RowBox[{"Take", "[", RowBox[{ RowBox[{"Combinatorica`InversePermutation", "[", RowBox[{"Combinatorica`Josephus", "[", RowBox[{"n", ",", "m"}], "]"}], "]"}], ",", "k"}], "]"}], ",", "#2"}], "]"}], ",", RowBox[{"Framed", "[", RowBox[{"gr", ",", RowBox[{"Background", "->", "Red"}]}], "]"}], ",", "gr"}], "]"}]}], "}"}], ",", RowBox[{"Alignment", "->", "Center"}]}], "]"}], ",", "#1"}], "]"}], "&"}], ")"}]}], ",", RowBox[{"ImageSize", "->", RowBox[{"{", RowBox[{"400", ",", "400"}], "}"}]}], ",", RowBox[{"PlotRangePadding", " ", "->", " ", RowBox[{"Scaled", "[", "0.12", "]"}]}]}], "]"}]}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"n", ",", "5", ",", "\"\\""}], "}"}], ",", "3", ",", "10", ",", "1", ",", RowBox[{"Appearance", "->", "\"\\""}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"m", ",", "2", ",", "\"\\""}], "}"}], ",", "1", ",", RowBox[{"n", "-", "1"}], ",", "1", ",", RowBox[{"Appearance", "->", "\"\\""}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"k", ",", "2", ",", RowBox[{"Row", "[", RowBox[{"{", RowBox[{"\"\\"", ",", RowBox[{"Superscript", "[", RowBox[{"\"\\"", ",", "\"\\""}], "]"}], ",", "\"\< soldier\>\""}], "}"}], "]"}]}], "}"}], ",", "1", ",", RowBox[{"n", "-", "1"}], ",", "1", ",", RowBox[{"Appearance", "->", "\"\\""}]}], "}"}], ",", RowBox[{"SynchronousInitialization", "->", "False"}], ",", " ", RowBox[{ "Initialization", ":>", " ", RowBox[{"(", " ", RowBox[{ RowBox[{"Quiet", "@", RowBox[{"Get", "[", "\"\\"", "]"}]}], ";", " ", RowBox[{"gr", "=", GraphicsBox[RasterBox[CompressedData[" 1:eJzVWgdUk2e//8792nu/9mq1jmrHV9uv1g6t1FEHKjKy15tB2HuPhJEEAtkh IZsMCCQkQNhTpoiCiDLde6Gin9aBioIoshNv0A5vrRa0t+fc3znhcHLyvO/v +e///3k+D4jGB/z9b3/7W7D18531M/X/k/8HmLx29dKZ4wf7bt2wWCwzXTw6 Orp7Z1FNsWb/vsbbP3abJ8fNT57M9DHW3yexE9xA6yTBQA7HP1PCGu6/PfX1 tB/UXFeiiXf1x2xcv/Jf3375SVyEX/+da5NPzDPdTr5GmugJlpLwBobnuuVf UEI9hx49mP5+dlTkVcqDCpK8WCFIZ7itOCFo8N5Ny5PJmdIYHRlKT0mG2a93 2vSDrzMEA3M4d+HC9KVx/PiREF+8o+NGAgoiiMb3nm+zTI5bLDOj8dPLLGPV aYyMcLwh2lnMiB58MDD9J9y5fd0kj0ul4HV0XHWWcHho0GJ96sxtzGKZ0uPl kwdMNDcTicCjRY2MDE9/ed+d63lJEdUcDyPd5URH3cT46EwJPE+j/84Nfqir P9reheD8+PHj6StlYOCejyteScbSAtCnTh2dnJx4PRrPMD465O3l5uC4EQle f+tq91OpTovJ8NADXx9nm9U269bZ9HSff7ap18bI0MMcNa2pKkXGJxgzhWNj 05XtiaMdOaowkzaMFQu7eP6I+c2kce/2DQU/RCsJ57N9SVHY40c6zOY/tnar DLVKuoTrkamMiAqF19UXz8iuXsTd29dFDC9xoguHgouKAWqrsicmxl+5Ykpl P/ac4tCIIgYmhesTE4krzkt5/Pjhm9Dou3OTQ3HnxgLMWCCKjDLoBH+klyka h1rrWBQUh4rgxMJDgxyLTbLXp/HUEntvXmFSXLlxBKZVGpFYFitg4H7vk5/9 6PcWTS2rKFQlUNCseDSHjgkOdCzKfVMaly+ciI8hcBKJdAo2NhYXHoY5c2Tv lHm83F2s4VclIsdHo1gJQJLQJTISXmCSvyGNc6cOUkloIcddnuxDjcYF+kNr K01W83iF0/beuirg+NKtNChoRgI2NAKca1I+Hnr0ujSmXnXqRGccGc1nE2UC r8Q4YkAQoqBQPT4+9gppnDt7kBVPTKQidRpvcTIxPByck60YGnptE5160+ED e+JjMTwmMZnrzmE4R5Gxcln88ONHrwhi+zt2suJxHCpKI3fhM3AREdBso+y1 aTyL253tO+MpAI9BlCd7cVluNCqOww6+33f7FQsbt+czqChGFFQuJjIoiJBA R5NR8vjNpNG2py6OhBRxXAqyIiXJXnE0fEKi7+3eay/LldZUnmtMSohCcqIx 1lXR/mBPl03F2YqnAnx9Gq27a2NDoRKhuyHNTyL0pNPwJDLu0sWzL3PYkeHH aco4Dh0QxqEkDAw1FOxB2FhWqH59Gk/329pUHR0EETIJGpm3mO+eSMVFhKGO Hd73spDe33dXyg/iMwBeFJwTDY8OBRGxG+qrckZHHr8Jjfbm2khPMDcGa1T4 pgjcmXRCaAiiaVfl5MTvp6pL3SdZNGcuDZkcDzAjoFH+jgTkupaGsrHRkTeh cah9Z4g7mBOFyZB7ygSuLIbVAdH1dWUvyyz7OxtZVDwvBqpMxPBJkKhAJ1fc pkMdjRNWH39dHtZPz+nDkb4wJhklYbvy2e4JFGd/f+j2utIXaTzzrOad5Yxo q0ag0ngYJwIS4m3vTrA7e6LrDcuevhtX4iMIdDI6meEq4HpQo4HAANi+fbsm J39jGz85TnmBhhWLZsciJFxCXBjY13mzrxf8Sk+3xfxGZY+1qk+IIMZEYjJV wVqVH42Cj44ivOgpT0lYJsyTGSoWOw7LY+L5DCyNjHAj2JLCPe7cflWcmQ7M EyNKSWxiPC47PVIl9WMmurgTISePHTH/dndTqXV89FFGCi0xGqmUeAs5LlFh MCRibbpeMhVCZ1yS/xZnju0TxBMNiogskR8/EuMOs2vcsX3it54y9ZrBuzeU SSFCFjFd4StkukRFwGOjCFevnrW8MiNPE+bxh3pOuJ6MzacS0qLxNA9Ydppy bOx3LP/yqU4J2VVOAVTJASKGcwwJ1t6UNzb6+I0pTGHSbM6RxufE4crZHlk0 YlIIwIwKGOi/9+IvO3eXSUlANgmujUDy/cHeyK3Hu3ZNvr6r/i9MTI5Xqenl dEI5g5gdR1CQcTF+mEvdL8ZzS32BSkMGTFR0XhygiEAG4e1bd9WMTxWNf4I8 rGbQpGNWsN0r2e6FicQ0KpHsAWnaXmENpBbLry8YG32YlxKfScHlxwE5NGxq DIbq5Vhbnm3NMpbpNfIWy0snBtZvRx4PNaRSagReNTz3Kq5bZpxLlAcsVcIa G7Vu89focbf3uiwhMD0WU0jHZdOxymg0zccxR8MbejRo/jOkYe0fC9meVVxi NYdQRsdqScgAtF1UkPfjR4M/72DqLRcvXgjzISSFIwsZQAkTn0HD0v1BaeL4 R4MDrzGleRE3rl2uLcnc21BycG9Ne1Nl047SkuIsjTrZGsQmzeNPBW7d7khZ aQ4UshWA2DK9nHJo6MxYdIK/Y5p0isZrNPIvwtox3bt9a/DhwIMH93vv9rZ3 tBUW5VbXl+zcXWvM0cs0KZpMdWtHY0aWhiFmcRVcrU6hVDD5nLDQAEAlSXw4 OIPhzMthOX60q7IsXyzghQT5lFUUOIG2QiBbyeRALi8BhYE5OW6FwZ1EcsF3 3327YsVXCYlROXnZgDM+PCaYrWBqjaK+OxeeWCbfUC8PHw5KU5JWrPpm4aKF 8xfMlcr4Wx1sncCOSBQsLMwfhYIgUWA4DMTls7788rPPPvsoOzudHBXx2Rcf g8CbvfwIq21XJcT4Pxi4/Vokfl10vfcWCIVc9OHit95+++9/fwsgwJb8a8nH n36y0maFE3jrlk3r7Ow2b9260c/f1Upj6Ref6nQKLw/i9zbfwOD2CBx44eIP Ppg/q6OpZqZjll+ca2JkYOB29/56DY/hGkMmeBDAjvarMXjIh0s+fvs//2vW rHe++Opf36xYZrtpnb2jras7sHLlt2tWLU/PSAGD7W1svkGhHG3t1syaM9ve fvP1a5dewzxGh+4fajKaJN5JsQgeHZnMJfKYLtx4N4nQR6eJEoti161f9dbb b3227F/zF837zmYFDAO2c7T9evmXG23XZBrSt9htsNJwd8eu3bD6H+/+l16X PqMx0bOI2HNyXzrPnR5hz0jA8Jn4OBKKE4cXcN0SY7BxsYTIYBgr0dWUxaNS fRYsXvDu7P/+7zmzISgQBO34yaeLV69ZweLQN9iusbH5CoFw+uLLz79ctvTM 2dNPq4Jp0Xj2o2NtBVyyEy0cwiAhJVxXIQcQMpxZFEDEd2XFO3PoBEoogstx o9JQWnVYEidwwcK5//H225vsNmDwsA8WzbdZ9S2BiF63fvXq1SscHG3nzJmF x+H6+vp+EcUrwvUv6D7exA2zF0QjpEx8Eg0rZmE1YtccVYiAglQkuQjYRB4V r1UECrgEHtc1MgTOpBBjIoB/vPuP9RtXOUG2LPhg3rKvlyJQTlvsN27a9MOq 1d/Omv2OTqebpkYmn9ZR/Xevyel4biiYEwDhR8MUHKyYjlKwkKoEeAoNlcIE RExAQANUTBcJCysWEJlUTGQkSsT2goHXffPdshU2Xy9cNH/xJ4vWbVwDhtih 0ZA1a1d+9tk/jxw+/ELV+hKYrVzNeWp6vK+tMAYqi3dWctykVIiKBddy4fpk IJVH0DCQaiZKTkeI4hByLiBjYSRMHC8OEx0IF7Jcv/n6i8UffbBw8XyrXj5f +unmzT/Y229ctHjeFrtNt27dmhaHpzh/vCPO05YdCUumQNIZ+NQYVEqknTYR rBdgcmTYTDFew8WksjEaDiaVh5Iz4SmJSF6kE5sMiQmHc2IBqP13770/d94H 7y9avODTJR9+/e0XS5Ysfvfdt6JjyAMDPw2Wnw6IrRWK+VH/7f6bPeOjj5+8 oKoseQLVfUMSFcgQBacLvOQUUEq0vZqGMIg8jCKcSe6cqwgqSA3VJhHSk9Cp HJQoeKtJGZjMwvEp0LgIKNlv05x5782dN3v+wjmLrKr5aOEHi+bOfu8do9Ew PPxTz/isRuo5WKdje4piYHtKVVOTfPOvRB7c70v0Q9L97WUJOL00zCCONAp9 9XyPbIlrZjI2U+RtkAboBMQsoWt+iq+Gh1XRYZIoSAoNkFLgUhYyOgDECHf8 8KMF782dNef92fPmz5k/f868eVN89u7dOz4+/jMNa/8wcrIiuZBLNDKAGqnH rZ6j5ufq6qsXz0Xi7BL8nJSxuAyGRxbPLV/ql5Psa5J46Tk4g5SULXfJluBS Bc46AU7Ls+oIbZRi0vlIOQuZnICNDQJxQh2XLf1wzrzZc60cFlhpzJ07d/YX X3525szJ5/uIoZvnmKFoXjCkVgjUSd1vdndOPtf6Xe4+S3K2i3ffKvTfrGIA mQmQHBY0X+6Zneyh5WLylKQ6Y2iR2iVbEaznueiTAIMIbZKiTXIgUwRokpyZ UdDkaOi3y5fMndLLUxoL5sya/Q8Q2OHOnTvPq35o8B6VGgKyXyUOtW/Tug1c 7rI8R+P2jas0LwjLd6syDlKRRs7loIrl6JpMYqEcnytxz5J4FaeFlKeFlxqS MpNds8QuOg4mMwGazoYr4+F6HiCIhQpjIF8u+/i992fPef+9eQvmLFg45513 /lMkTn706OEv8cr89O+1y6ecvXHrNtrsKNM/7L9jfq6otlZHrGCMIBKcr/Yv S4+oMsRXZ4dUZniUaghl2sAyPSVXHZWrDDVIfIpU7jlS73QOQh1hX5LireEA KRRQEgksioFsXL/062UfzZ03d9bs2XNmvbto8Qcd7W0TUzXzTzR+Oo+4+2/X ABdbmP3hwwdGRkaej/Bjk+Z0ToiMgsyShNbli5or+U1FjCpNQBEfV53qViwn Fkp8ipWeJSq3benB5doQY5K3joPW0eDGBGiBDKVKRLDJYEqwfRoHKWXDMRhb m/Ur16z9/uLFi//LI5/SuNCe7+qDAhNgZ84eG39h2txUbRKGbCwx0pq2KZoL qfXZoeUp+DIxukrvXK5CV6qJperAupzgYgWmSEKs1vtncL3SE1GZfGsYQRj4 MEqggzABnqsCCqTEUiU2mR/AE1F6rlx4OhH6lcmdK8f2Z/r4+kBgBNjZs0df pNF3964uya/SEHuso/BQQ0ppemSdKbzR5F2f699gcquSIWs1fo0FYbU6Yg7D qYCPrNaHGEVuJpWPUQBTMWAhLg4yKsQohGUKcPpEWDYHyqK7tnU0j42PWbX/ TCaD/b17c6IOZWAigmFQAuzC2RO/KYSe2Un36cOVRkrHjtT+Oz03r50725nV WivZWy3qqo5vzPbckebRWc1qyo+p1XjlpwZXpPrU6Hzy5KhcMcKagOK8HbJ4 iAwWTEEHKWMd1VSHTA5YLo348frVXxz2dFtZiwpz1ICnRSDAzvAL535L45nc rJ/dtaYDe0yXzhwYfjx0+cyB1oacrl25HduldXn0Ol3A+X3pXfXSGk1QmRBX IUdVZxDypKgcEZodClKSQSYJPF+O0DCxchJESgOnxDpKo2xb6vNGR4at5dzk +Oj+ckaLBjiqRzPJCKQz4srF4+aJ3y8Lr/ec2lNb8uOPF4631l3tPrSnIu3A 7twrp+saixg79F5n2zMO7VLWZUVsEyDLJECFAp4rwVgznSoGkhrrZOAjDDyI moGRkJwEJMfkGCjVz7bQqHg2lR0dGdpfTGnV4Y9lonlRUKQz5MqFIy+jMTE2 XKFl7KkuOHns0Lnjbft3GE7vrzrVLD5UQ95XEHigmleZHlyldS9WE8plqBwB OoMBVSegdRRQDhtm4sOzuNZUSJRTrGEEKiSBIp1tJcyowQf91icP9d9qMwZ0 ZgAnDBhhDAxBgF25cPRlNKw96Q5lcI0Avk1Daa4t6mzKP7y3/ERr6t48v93Z XpUprqUioESGKVUAWSL/Mh2pSg0YhYSsBJCJB8vhwbLZ4GwRUZsIlcVB+THg MOImYXzA4MA9q7qPNOXsUWEOpKMPamHCKBgUB7rUfXTyJTTGJ8Z3a8JaRKBO FVga6tBUV3byUFtXY97uItq2VJ9ilUuhDFur8znWxDm9l78rj1qhI9ebKEUS oEiEyuNDcwVQLROamgCTUaGCGEgw0Y5N8XvQf+/M8f0GjkudENmiAB8tid3T WIb1Ilw4d+wVLcPRSllLsmOnGmOMdijKTB2fGumYe29e5UW6CUKcTExkgxrf Wel3fDd5f5VfS0FYpZ5UaQwqV2PLVEiTBKXjwvRClJ6HSGFCA3Eb4qNDem/d TObGlCRj61KAAiao50TLg8H+cCrp3LnjL8aNJz+X5deO7WxgbT6gQe2VIVJC 7Zt3Tg0xbt3uTQh354dCtHTAlIStUGIr03BlCux2HXpnTkBNFqXO6FWsxuhY sLwUTIUOm5kElyXC/J23BHgCCXHUABeHBrVLoxKXy8PfvNZtNk+IVOIL3dYo +tKzyOGH95rEhH1iUFcadm8KNicRuNpz/saNm2RPTFKoozwar+WEpvHc1BSQ KsZBz4DmJcFqsmhlmrCpRBPnlMmH6fkwRRyMGw4OxNoTgM1LPlsUiLfdrXGp FqELZYH9d29Yd1xXX/7vC0fHRn9nim6ZimNTRcipWuUegf1Jo/tRo992IVCR wWzYXhnjDuX5O6VEgjPZnlU6amkGTcfFZ3JhRXJkucZ3m94nSwBJpVgLNgdV AkQSC2KGOga52nsS7Vet/Nqqne0StCkRvrdcOTr80DKVTO+NDj2wvGT4b7H2 3U+ejNy7ukOC4/g5EpzWsP23NqQGRofg2R4O4kgHHQ1cwHCoVvhWaoMr0nxz 5ficZIQuyblAgclOJmQK0GomTJEIS2HABVFgkocT0vEHKGR9VBBWm+ispAH/ Ptdlnpz4w1bhWWE49LBfSsKtXPb5J598JGSSDnfuyJDHJQc7qWIdtmfgmo2E 5gxUVw2rRIGrSsNkiZEmpa9JgCnKiCrQkSoz3YvUSGMyTB4HpQc7YcAbkE5r KVHEJF6YUUl9NNg3NbL+Ocu8Gvf770PsbL9e+s+vvvp8f2fL0f0t5Tk8HQdb mR19vNP48O6Bvp7i3m5dXU50gRqzPQu3szC+SEbcVcLuaoitzQnLkzsXqbEm GUZAhXgDm3GO30cEIzz8MQAKfPlSt3kmFwYSGXGLFi2wWflVQ33p2RMddaWK QoVvY4Xm/JHmBwN91gZr8G7rrvyQ1kK3vQXEplJ2uca7oyHlZHtce6VfuT6k SudSloFVxIMZEdCEIAdSMMQOYrdk6Sf7mutndJxxsKt12dIvNmxeu722/P69 3q7mihMdpRdO7rt0ZFf34V3jo5fvXi3ZYQqpSQfqDK67iujN+dQjLfqT+1h7 Cj135IZvz3WpzsQZxAixNZyS4Jx4l6XLl35v882Zk4enc83gFzweGoSCNoMR jkX5hjt3brbUpjdmRu8rYbdV8tuqeLe70443xlWn+5fIYXWG8AYTuakgelch rWtb0HadW112dJkCXazA5ioIWmveEXtLBKGLPl64ddPam9d6ZjqnTVUrrEpJ ZFDad5cXy1wrEh2r5fBdUkSjKai5iFiT4ZLLx5iSESYRsVLrX60PKkrxK0xC lIhQhSleeiaiLjfRKPGW0kHZCmKaNPCfSz7C42F9fb0zoPHUjAcGH7JigogI ByWbkJsIK0+AliYDlVJMsQIoVQF5Mrw1pRp4MC0TUajE50kIJplzNgNsoENS rf2FyCtPE62MhUjJ9ioGSMmGLV32KYUaMTDQP/2Rj+Xn46pjhw/Yb7Qhudlp KMhsLqIoCV2idM4WYfNkyKxka+JA6vgYvchNn4TOEjkbRK6ZTGg6HaSigQ1C V0UCRhLpIIoGCaOdmAGbv1/7Vf3OmrGx0RnMfJ6bhLS17gn2JDqsW+4JWcsM BOmFQCobbRQgC9WhnU36hlzSdkNoZYZfkdLFJMJZe5YMNkId66RlwiXxUyWH N24jwm7l2m8/9/Qm3rvX9/MuZ4ZnnYXFPN7Y3ESl03x8XTk0tyQyWMtF1GWR 95fEHTR6HM1xa1UTd8kIxSK8IRmnZiDFMSCrg0QF2ttv+u6bFV8u+365LXjr waMHJt7syO8XWPvNhw/6D7TXF6RRD2R7Hcpy2SECDunxhw0u25LQyhhkAHqL L3EzjYQIC3Rcs2n1etAWCBHlGuK2p61xRup4GSyW395eu3Kktk6O0VJhHRnE OglGEQMne0NDXex9XJz27dnW0ZTf3FLX2dXS3t54+fyhyYmxP+V06UUM3O09 c3i3kEzYJsO36LxaDAFKKoYRAr9yutU8OT7+6M6TGd79ey1Yem/13Lh6Qcvx 2pOGPaABmgQuqWQYNwz24/kuy+TEYG+PedrXw96Ahbn32tltpXl5SZguLdCa 7rc3xS+XBSSFgTgU/57LFx/dvzY5+eecr70a7S01eAKqkI06kUU4Wxi6V+uV SUVs46MCgR8CvV27T7SZ/+Bu2J+D1h354S5bKgXQy5Xknur40zkelUnAYb1L ehzC1ubzykL96PDrXpOYNqxm37ldJw5F1YjRXdkB9Slex7LcVLEoq4lS/KCr vv1co5IMPXqjO2/TRGuDwRO9IQxvq6JjMzju+9NxhVw02cvJbsP3C96fVVBg GHntSyMzQe/1s3wK4AxfY4iHtWVH7ilkZAlxkhgYErQ8geIz0H/L8mccNf4h JkYfZQqDVExEeTq+udSrNsvbJMPpxQhBrGNxrtTaPv8pR42vxrNc01AsFsU4 lkmRe/JwBSKYnu1kLcupQZt21E1d4/kLaDzLkg/uXVOxXLUMp20KWIEYpWVB JVR7QTz21tVzb3hRdpowm3+q8C+da1cyCGnhW7SUrawQOw3b/dzZtsnJvyJi PPm52x25d/NmdYHJHxOIdchgo2Qkuzpx3L8Ptw/e6X3D+zPTpfE0bZ0xKZvQ tibsllB3WF4yYO1exehNMsChsyJ/bHj4LzAN6xuG7986lZve4AnPxm4N90Wo KU6yaKjUA9So4Q/0/miZXl/25nhw9XyzP3IXsKEMvTHZB70thZjLc6xIIT0e 7Lc864X/Aoc1T3XcD6+f6KJ41mN+qMJurPdYX0ncmOfqdK62eGJk2OooludP Sv6PWFimhp2T48On8pWV8B9agFXNmNU7gA05qE35sB/ajarRoUcz6lVfk8fT v5MjD+51HzmtZuyDrdiFtKnHrKqArakCLd8jiBp50P/XhI5npemjWxdORADH SbiuWI+mIMQhEeUoL3D4xsWpE7W/xESfPLts8+BO3/7mscG7Y/dvPzrXZhkf mZgYM0+NScwzVcr/AKHWN4Q= "], {{0, 0}, {25.2, 60.599999999999994`}}, {0, 255}, ColorFunction->RGBColor], ImageSize->{Automatic, 60}, PlotRange->{{0, 25.2}, {0, 60.599999999999994`}}]}], ";"}], " ", ")"}]}]}], "]"}]], "Input", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{ 3.35696210375764*^9, 3.4184093758194427`*^9, {3.418409521326695*^9, 3.418409531460779*^9}, {3.418409746669989*^9, 3.4184098343121233`*^9}, {3.4184098732566977`*^9, 3.41840990180964*^9}, {3.418410003737481*^9, 3.4184100286060467`*^9}, {3.418410166670281*^9, 3.4184102709649677`*^9}, {3.418411559918187*^9, 3.4184117502652903`*^9}, 3.4184119498766727`*^9, { 3.418412146718975*^9, 3.418412148517275*^9}, 3.4184122373112926`*^9, {3.4184131764272137`*^9, 3.418413180246764*^9}, {3.418414088371389*^9, 3.418414091322796*^9}, 3.4184824774551353`*^9, { 3.4184849414862804`*^9, 3.4184849638733234`*^9}, { 3.418484995680733*^9, 3.4184850038513007`*^9}, { 3.4186761742109838`*^9, 3.418676199827814*^9}, { 3.4186762629413276`*^9, 3.418676324868578*^9}, { 3.418676357291794*^9, 3.418676357760112*^9}, {3.418738969762928*^9, 3.418738998579928*^9}, 3.418992349701928*^9, { 3.418992417717928*^9, 3.418992435965928*^9}, { 3.4189927531559277`*^9, 3.4189928233139277`*^9}, { 3.4189935012163363`*^9, 3.4189935104151754`*^9}, { 3.5062560156402082`*^9, 3.5062560836390076`*^9}, 3.759792868764929*^9}], Cell[BoxData[ TagBox[ StyleBox[ DynamicModuleBox[{$CellContext`k$$ = 2, Combinatorica`m$$ = 2, Combinatorica`n$$ = 5, Typeset`show$$ = True, Typeset`bookmarkList$$ = {}, Typeset`bookmarkMode$$ = "Menu", Typeset`animator$$, Typeset`animvar$$ = 1, Typeset`name$$ = "\"untitled\"", Typeset`specs$$ = {{{ Hold[Combinatorica`n$$], 5, "number of soldiers n"}, 3, 10, 1}, {{ Hold[Combinatorica`m$$], 2, "m"}, 1, Dynamic[Combinatorica`n$$ - 1], 1}, {{ Hold[$CellContext`k$$], 2, Row[{"execute ", Superscript["m", "th"], " soldier"}]}, 1, Dynamic[Combinatorica`n$$ - 1], 1}}, Typeset`size$$ = Automatic, Typeset`update$$ = 0, Typeset`initDone$$, Typeset`skipInitDone$$ = False, Combinatorica`n$107201$$ = 0, Combinatorica`m$107202$$ = 0, $CellContext`k$107203$$ = 0}, DynamicBox[Manipulate`ManipulateBoxes[ 1, StandardForm, "Variables" :> {$CellContext`k$$ = 2, Combinatorica`m$$ = 2, Combinatorica`n$$ = 5}, "ControllerVariables" :> { Hold[Combinatorica`n$$, Combinatorica`n$107201$$, 0], Hold[Combinatorica`m$$, Combinatorica`m$107202$$, 0], Hold[$CellContext`k$$, $CellContext`k$107203$$, 0]}, "OtherVariables" :> { Typeset`show$$, Typeset`bookmarkList$$, Typeset`bookmarkMode$$, Typeset`animator$$, Typeset`animvar$$, Typeset`name$$, Typeset`specs$$, Typeset`size$$, Typeset`update$$, Typeset`initDone$$, Typeset`skipInitDone$$}, "Body" :> ( If[Combinatorica`n$$ <= Combinatorica`m$$, Combinatorica`m$$ = Combinatorica`n$$ - 1]; If[Combinatorica`n$$ <= $CellContext`k$$, $CellContext`k$$ = Combinatorica`n$$ - 1]; GraphPlot[ Apply[Rule, Partition[ Range[Combinatorica`n$$], 2, 1, 1], {1}], VertexRenderingFunction -> (Inset[ Column[{#2, If[ MemberQ[ Take[ Combinatorica`InversePermutation[ Combinatorica`Josephus[ Combinatorica`n$$, Combinatorica`m$$]], $CellContext`k$$], #2], Framed[$CellContext`gr, Background -> Red], $CellContext`gr]}, Alignment -> Center], #]& ), ImageSize -> {400, 400}, PlotRangePadding -> Scaled[0.12]]), "Specifications" :> {{{ Combinatorica`n$$, 5, "number of soldiers n"}, 3, 10, 1, Appearance -> "Labeled"}, {{Combinatorica`m$$, 2, "m"}, 1, Dynamic[Combinatorica`n$$ - 1], 1, Appearance -> "Labeled"}, {{$CellContext`k$$, 2, Row[{"execute ", Superscript["m", "th"], " soldier"}]}, 1, Dynamic[Combinatorica`n$$ - 1], 1, Appearance -> "Labeled"}}, "Options" :> {SynchronousInitialization -> False}, "DefaultOptions" :> {ControllerLinking -> True}], ImageSizeCache->{368., {79., 85.}}, SingleEvaluation->True], Deinitialization:>None, DynamicModuleValues:>{}, Initialization:>((Quiet[ Get["Combinatorica`"]]; $CellContext`gr = Graphics[ Raster[CompressedData[" 1:eJzVWgdUk2e//8792nu/9mq1jmrHV9uv1g6t1FEHKjKy15tB2HuPhJEEAtkh IZsMCCQkQNhTpoiCiDLde6Gin9aBioIoshNv0A5vrRa0t+fc3znhcHLyvO/v +e///3k+D4jGB/z9b3/7W7D18531M/X/k/8HmLx29dKZ4wf7bt2wWCwzXTw6 Orp7Z1FNsWb/vsbbP3abJ8fNT57M9DHW3yexE9xA6yTBQA7HP1PCGu6/PfX1 tB/UXFeiiXf1x2xcv/Jf3375SVyEX/+da5NPzDPdTr5GmugJlpLwBobnuuVf UEI9hx49mP5+dlTkVcqDCpK8WCFIZ7itOCFo8N5Ny5PJmdIYHRlKT0mG2a93 2vSDrzMEA3M4d+HC9KVx/PiREF+8o+NGAgoiiMb3nm+zTI5bLDOj8dPLLGPV aYyMcLwh2lnMiB58MDD9J9y5fd0kj0ul4HV0XHWWcHho0GJ96sxtzGKZ0uPl kwdMNDcTicCjRY2MDE9/ed+d63lJEdUcDyPd5URH3cT46EwJPE+j/84Nfqir P9reheD8+PHj6StlYOCejyteScbSAtCnTh2dnJx4PRrPMD465O3l5uC4EQle f+tq91OpTovJ8NADXx9nm9U269bZ9HSff7ap18bI0MMcNa2pKkXGJxgzhWNj 05XtiaMdOaowkzaMFQu7eP6I+c2kce/2DQU/RCsJ57N9SVHY40c6zOY/tnar DLVKuoTrkamMiAqF19UXz8iuXsTd29dFDC9xoguHgouKAWqrsicmxl+5Ykpl P/ac4tCIIgYmhesTE4krzkt5/Pjhm9Dou3OTQ3HnxgLMWCCKjDLoBH+klyka h1rrWBQUh4rgxMJDgxyLTbLXp/HUEntvXmFSXLlxBKZVGpFYFitg4H7vk5/9 6PcWTS2rKFQlUNCseDSHjgkOdCzKfVMaly+ciI8hcBKJdAo2NhYXHoY5c2Tv lHm83F2s4VclIsdHo1gJQJLQJTISXmCSvyGNc6cOUkloIcddnuxDjcYF+kNr K01W83iF0/beuirg+NKtNChoRgI2NAKca1I+Hnr0ujSmXnXqRGccGc1nE2UC r8Q4YkAQoqBQPT4+9gppnDt7kBVPTKQidRpvcTIxPByck60YGnptE5160+ED e+JjMTwmMZnrzmE4R5Gxcln88ONHrwhi+zt2suJxHCpKI3fhM3AREdBso+y1 aTyL253tO+MpAI9BlCd7cVluNCqOww6+33f7FQsbt+czqChGFFQuJjIoiJBA R5NR8vjNpNG2py6OhBRxXAqyIiXJXnE0fEKi7+3eay/LldZUnmtMSohCcqIx 1lXR/mBPl03F2YqnAnx9Gq27a2NDoRKhuyHNTyL0pNPwJDLu0sWzL3PYkeHH aco4Dh0QxqEkDAw1FOxB2FhWqH59Gk/329pUHR0EETIJGpm3mO+eSMVFhKGO Hd73spDe33dXyg/iMwBeFJwTDY8OBRGxG+qrckZHHr8Jjfbm2khPMDcGa1T4 pgjcmXRCaAiiaVfl5MTvp6pL3SdZNGcuDZkcDzAjoFH+jgTkupaGsrHRkTeh cah9Z4g7mBOFyZB7ygSuLIbVAdH1dWUvyyz7OxtZVDwvBqpMxPBJkKhAJ1fc pkMdjRNWH39dHtZPz+nDkb4wJhklYbvy2e4JFGd/f+j2utIXaTzzrOad5Yxo q0ag0ngYJwIS4m3vTrA7e6LrDcuevhtX4iMIdDI6meEq4HpQo4HAANi+fbsm J39jGz85TnmBhhWLZsciJFxCXBjY13mzrxf8Sk+3xfxGZY+1qk+IIMZEYjJV wVqVH42Cj44ivOgpT0lYJsyTGSoWOw7LY+L5DCyNjHAj2JLCPe7cflWcmQ7M EyNKSWxiPC47PVIl9WMmurgTISePHTH/dndTqXV89FFGCi0xGqmUeAs5LlFh MCRibbpeMhVCZ1yS/xZnju0TxBMNiogskR8/EuMOs2vcsX3it54y9ZrBuzeU SSFCFjFd4StkukRFwGOjCFevnrW8MiNPE+bxh3pOuJ6MzacS0qLxNA9Ydppy bOx3LP/yqU4J2VVOAVTJASKGcwwJ1t6UNzb6+I0pTGHSbM6RxufE4crZHlk0 YlIIwIwKGOi/9+IvO3eXSUlANgmujUDy/cHeyK3Hu3ZNvr6r/i9MTI5Xqenl dEI5g5gdR1CQcTF+mEvdL8ZzS32BSkMGTFR0XhygiEAG4e1bd9WMTxWNf4I8 rGbQpGNWsN0r2e6FicQ0KpHsAWnaXmENpBbLry8YG32YlxKfScHlxwE5NGxq DIbq5Vhbnm3NMpbpNfIWy0snBtZvRx4PNaRSagReNTz3Kq5bZpxLlAcsVcIa G7Vu89focbf3uiwhMD0WU0jHZdOxymg0zccxR8MbejRo/jOkYe0fC9meVVxi NYdQRsdqScgAtF1UkPfjR4M/72DqLRcvXgjzISSFIwsZQAkTn0HD0v1BaeL4 R4MDrzGleRE3rl2uLcnc21BycG9Ne1Nl047SkuIsjTrZGsQmzeNPBW7d7khZ aQ4UshWA2DK9nHJo6MxYdIK/Y5p0isZrNPIvwtox3bt9a/DhwIMH93vv9rZ3 tBUW5VbXl+zcXWvM0cs0KZpMdWtHY0aWhiFmcRVcrU6hVDD5nLDQAEAlSXw4 OIPhzMthOX60q7IsXyzghQT5lFUUOIG2QiBbyeRALi8BhYE5OW6FwZ1EcsF3 3327YsVXCYlROXnZgDM+PCaYrWBqjaK+OxeeWCbfUC8PHw5KU5JWrPpm4aKF 8xfMlcr4Wx1sncCOSBQsLMwfhYIgUWA4DMTls7788rPPPvsoOzudHBXx2Rcf g8CbvfwIq21XJcT4Pxi4/Vokfl10vfcWCIVc9OHit95+++9/fwsgwJb8a8nH n36y0maFE3jrlk3r7Ow2b9260c/f1Upj6Ref6nQKLw/i9zbfwOD2CBx44eIP Ppg/q6OpZqZjll+ca2JkYOB29/56DY/hGkMmeBDAjvarMXjIh0s+fvs//2vW rHe++Opf36xYZrtpnb2jras7sHLlt2tWLU/PSAGD7W1svkGhHG3t1syaM9ve fvP1a5dewzxGh+4fajKaJN5JsQgeHZnMJfKYLtx4N4nQR6eJEoti161f9dbb b3227F/zF837zmYFDAO2c7T9evmXG23XZBrSt9htsNJwd8eu3bD6H+/+l16X PqMx0bOI2HNyXzrPnR5hz0jA8Jn4OBKKE4cXcN0SY7BxsYTIYBgr0dWUxaNS fRYsXvDu7P/+7zmzISgQBO34yaeLV69ZweLQN9iusbH5CoFw+uLLz79ctvTM 2dNPq4Jp0Xj2o2NtBVyyEy0cwiAhJVxXIQcQMpxZFEDEd2XFO3PoBEoogstx o9JQWnVYEidwwcK5//H225vsNmDwsA8WzbdZ9S2BiF63fvXq1SscHG3nzJmF x+H6+vp+EcUrwvUv6D7exA2zF0QjpEx8Eg0rZmE1YtccVYiAglQkuQjYRB4V r1UECrgEHtc1MgTOpBBjIoB/vPuP9RtXOUG2LPhg3rKvlyJQTlvsN27a9MOq 1d/Omv2OTqebpkYmn9ZR/Xevyel4biiYEwDhR8MUHKyYjlKwkKoEeAoNlcIE RExAQANUTBcJCysWEJlUTGQkSsT2goHXffPdshU2Xy9cNH/xJ4vWbVwDhtih 0ZA1a1d+9tk/jxw+/ELV+hKYrVzNeWp6vK+tMAYqi3dWctykVIiKBddy4fpk IJVH0DCQaiZKTkeI4hByLiBjYSRMHC8OEx0IF7Jcv/n6i8UffbBw8XyrXj5f +unmzT/Y229ctHjeFrtNt27dmhaHpzh/vCPO05YdCUumQNIZ+NQYVEqknTYR rBdgcmTYTDFew8WksjEaDiaVh5Iz4SmJSF6kE5sMiQmHc2IBqP13770/d94H 7y9avODTJR9+/e0XS5Ysfvfdt6JjyAMDPw2Wnw6IrRWK+VH/7f6bPeOjj5+8 oKoseQLVfUMSFcgQBacLvOQUUEq0vZqGMIg8jCKcSe6cqwgqSA3VJhHSk9Cp HJQoeKtJGZjMwvEp0LgIKNlv05x5782dN3v+wjmLrKr5aOEHi+bOfu8do9Ew PPxTz/isRuo5WKdje4piYHtKVVOTfPOvRB7c70v0Q9L97WUJOL00zCCONAp9 9XyPbIlrZjI2U+RtkAboBMQsoWt+iq+Gh1XRYZIoSAoNkFLgUhYyOgDECHf8 8KMF782dNef92fPmz5k/f868eVN89u7dOz4+/jMNa/8wcrIiuZBLNDKAGqnH rZ6j5ufq6qsXz0Xi7BL8nJSxuAyGRxbPLV/ql5Psa5J46Tk4g5SULXfJluBS Bc46AU7Ls+oIbZRi0vlIOQuZnICNDQJxQh2XLf1wzrzZc60cFlhpzJ07d/YX X3525szJ5/uIoZvnmKFoXjCkVgjUSd1vdndOPtf6Xe4+S3K2i3ffKvTfrGIA mQmQHBY0X+6Zneyh5WLylKQ6Y2iR2iVbEaznueiTAIMIbZKiTXIgUwRokpyZ UdDkaOi3y5fMndLLUxoL5sya/Q8Q2OHOnTvPq35o8B6VGgKyXyUOtW/Tug1c 7rI8R+P2jas0LwjLd6syDlKRRs7loIrl6JpMYqEcnytxz5J4FaeFlKeFlxqS MpNds8QuOg4mMwGazoYr4+F6HiCIhQpjIF8u+/i992fPef+9eQvmLFg45513 /lMkTn706OEv8cr89O+1y6ecvXHrNtrsKNM/7L9jfq6otlZHrGCMIBKcr/Yv S4+oMsRXZ4dUZniUaghl2sAyPSVXHZWrDDVIfIpU7jlS73QOQh1hX5LireEA KRRQEgksioFsXL/062UfzZ03d9bs2XNmvbto8Qcd7W0TUzXzTzR+Oo+4+2/X ABdbmP3hwwdGRkaej/Bjk+Z0ToiMgsyShNbli5or+U1FjCpNQBEfV53qViwn Fkp8ipWeJSq3benB5doQY5K3joPW0eDGBGiBDKVKRLDJYEqwfRoHKWXDMRhb m/Ur16z9/uLFi//LI5/SuNCe7+qDAhNgZ84eG39h2txUbRKGbCwx0pq2KZoL qfXZoeUp+DIxukrvXK5CV6qJperAupzgYgWmSEKs1vtncL3SE1GZfGsYQRj4 MEqggzABnqsCCqTEUiU2mR/AE1F6rlx4OhH6lcmdK8f2Z/r4+kBgBNjZs0df pNF3964uya/SEHuso/BQQ0ppemSdKbzR5F2f699gcquSIWs1fo0FYbU6Yg7D qYCPrNaHGEVuJpWPUQBTMWAhLg4yKsQohGUKcPpEWDYHyqK7tnU0j42PWbX/ TCaD/b17c6IOZWAigmFQAuzC2RO/KYSe2Un36cOVRkrHjtT+Oz03r50725nV WivZWy3qqo5vzPbckebRWc1qyo+p1XjlpwZXpPrU6Hzy5KhcMcKagOK8HbJ4 iAwWTEEHKWMd1VSHTA5YLo348frVXxz2dFtZiwpz1ICnRSDAzvAL535L45nc rJ/dtaYDe0yXzhwYfjx0+cyB1oacrl25HduldXn0Ol3A+X3pXfXSGk1QmRBX IUdVZxDypKgcEZodClKSQSYJPF+O0DCxchJESgOnxDpKo2xb6vNGR4at5dzk +Oj+ckaLBjiqRzPJCKQz4srF4+aJ3y8Lr/ec2lNb8uOPF4631l3tPrSnIu3A 7twrp+saixg79F5n2zMO7VLWZUVsEyDLJECFAp4rwVgznSoGkhrrZOAjDDyI moGRkJwEJMfkGCjVz7bQqHg2lR0dGdpfTGnV4Y9lonlRUKQz5MqFIy+jMTE2 XKFl7KkuOHns0Lnjbft3GE7vrzrVLD5UQ95XEHigmleZHlyldS9WE8plqBwB OoMBVSegdRRQDhtm4sOzuNZUSJRTrGEEKiSBIp1tJcyowQf91icP9d9qMwZ0 ZgAnDBhhDAxBgF25cPRlNKw96Q5lcI0Avk1Daa4t6mzKP7y3/ERr6t48v93Z XpUprqUioESGKVUAWSL/Mh2pSg0YhYSsBJCJB8vhwbLZ4GwRUZsIlcVB+THg MOImYXzA4MA9q7qPNOXsUWEOpKMPamHCKBgUB7rUfXTyJTTGJ8Z3a8JaRKBO FVga6tBUV3byUFtXY97uItq2VJ9ilUuhDFur8znWxDm9l78rj1qhI9ebKEUS oEiEyuNDcwVQLROamgCTUaGCGEgw0Y5N8XvQf+/M8f0GjkudENmiAB8tid3T WIb1Ilw4d+wVLcPRSllLsmOnGmOMdijKTB2fGumYe29e5UW6CUKcTExkgxrf Wel3fDd5f5VfS0FYpZ5UaQwqV2PLVEiTBKXjwvRClJ6HSGFCA3Eb4qNDem/d TObGlCRj61KAAiao50TLg8H+cCrp3LnjL8aNJz+X5deO7WxgbT6gQe2VIVJC 7Zt3Tg0xbt3uTQh354dCtHTAlIStUGIr03BlCux2HXpnTkBNFqXO6FWsxuhY sLwUTIUOm5kElyXC/J23BHgCCXHUABeHBrVLoxKXy8PfvNZtNk+IVOIL3dYo +tKzyOGH95rEhH1iUFcadm8KNicRuNpz/saNm2RPTFKoozwar+WEpvHc1BSQ KsZBz4DmJcFqsmhlmrCpRBPnlMmH6fkwRRyMGw4OxNoTgM1LPlsUiLfdrXGp FqELZYH9d29Yd1xXX/7vC0fHRn9nim6ZimNTRcipWuUegf1Jo/tRo992IVCR wWzYXhnjDuX5O6VEgjPZnlU6amkGTcfFZ3JhRXJkucZ3m94nSwBJpVgLNgdV AkQSC2KGOga52nsS7Vet/Nqqne0StCkRvrdcOTr80DKVTO+NDj2wvGT4b7H2 3U+ejNy7ukOC4/g5EpzWsP23NqQGRofg2R4O4kgHHQ1cwHCoVvhWaoMr0nxz 5ficZIQuyblAgclOJmQK0GomTJEIS2HABVFgkocT0vEHKGR9VBBWm+ispAH/ Ptdlnpz4w1bhWWE49LBfSsKtXPb5J598JGSSDnfuyJDHJQc7qWIdtmfgmo2E 5gxUVw2rRIGrSsNkiZEmpa9JgCnKiCrQkSoz3YvUSGMyTB4HpQc7YcAbkE5r KVHEJF6YUUl9NNg3NbL+Ocu8Gvf770PsbL9e+s+vvvp8f2fL0f0t5Tk8HQdb mR19vNP48O6Bvp7i3m5dXU50gRqzPQu3szC+SEbcVcLuaoitzQnLkzsXqbEm GUZAhXgDm3GO30cEIzz8MQAKfPlSt3kmFwYSGXGLFi2wWflVQ33p2RMddaWK QoVvY4Xm/JHmBwN91gZr8G7rrvyQ1kK3vQXEplJ2uca7oyHlZHtce6VfuT6k SudSloFVxIMZEdCEIAdSMMQOYrdk6Sf7mutndJxxsKt12dIvNmxeu722/P69 3q7mihMdpRdO7rt0ZFf34V3jo5fvXi3ZYQqpSQfqDK67iujN+dQjLfqT+1h7 Cj135IZvz3WpzsQZxAixNZyS4Jx4l6XLl35v882Zk4enc83gFzweGoSCNoMR jkX5hjt3brbUpjdmRu8rYbdV8tuqeLe70443xlWn+5fIYXWG8AYTuakgelch rWtb0HadW112dJkCXazA5ioIWmveEXtLBKGLPl64ddPam9d6ZjqnTVUrrEpJ ZFDad5cXy1wrEh2r5fBdUkSjKai5iFiT4ZLLx5iSESYRsVLrX60PKkrxK0xC lIhQhSleeiaiLjfRKPGW0kHZCmKaNPCfSz7C42F9fb0zoPHUjAcGH7JigogI ByWbkJsIK0+AliYDlVJMsQIoVQF5Mrw1pRp4MC0TUajE50kIJplzNgNsoENS rf2FyCtPE62MhUjJ9ioGSMmGLV32KYUaMTDQP/2Rj+Xn46pjhw/Yb7Qhudlp KMhsLqIoCV2idM4WYfNkyKxka+JA6vgYvchNn4TOEjkbRK6ZTGg6HaSigQ1C V0UCRhLpIIoGCaOdmAGbv1/7Vf3OmrGx0RnMfJ6bhLS17gn2JDqsW+4JWcsM BOmFQCobbRQgC9WhnU36hlzSdkNoZYZfkdLFJMJZe5YMNkId66RlwiXxUyWH N24jwm7l2m8/9/Qm3rvX9/MuZ4ZnnYXFPN7Y3ESl03x8XTk0tyQyWMtF1GWR 95fEHTR6HM1xa1UTd8kIxSK8IRmnZiDFMSCrg0QF2ttv+u6bFV8u+365LXjr waMHJt7syO8XWPvNhw/6D7TXF6RRD2R7Hcpy2SECDunxhw0u25LQyhhkAHqL L3EzjYQIC3Rcs2n1etAWCBHlGuK2p61xRup4GSyW395eu3Kktk6O0VJhHRnE OglGEQMne0NDXex9XJz27dnW0ZTf3FLX2dXS3t54+fyhyYmxP+V06UUM3O09 c3i3kEzYJsO36LxaDAFKKoYRAr9yutU8OT7+6M6TGd79ey1Yem/13Lh6Qcvx 2pOGPaABmgQuqWQYNwz24/kuy+TEYG+PedrXw96Ahbn32tltpXl5SZguLdCa 7rc3xS+XBSSFgTgU/57LFx/dvzY5+eecr70a7S01eAKqkI06kUU4Wxi6V+uV SUVs46MCgR8CvV27T7SZ/+Bu2J+D1h354S5bKgXQy5Xknur40zkelUnAYb1L ehzC1ubzykL96PDrXpOYNqxm37ldJw5F1YjRXdkB9Slex7LcVLEoq4lS/KCr vv1co5IMPXqjO2/TRGuDwRO9IQxvq6JjMzju+9NxhVw02cvJbsP3C96fVVBg GHntSyMzQe/1s3wK4AxfY4iHtWVH7ilkZAlxkhgYErQ8geIz0H/L8mccNf4h JkYfZQqDVExEeTq+udSrNsvbJMPpxQhBrGNxrtTaPv8pR42vxrNc01AsFsU4 lkmRe/JwBSKYnu1kLcupQZt21E1d4/kLaDzLkg/uXVOxXLUMp20KWIEYpWVB JVR7QTz21tVzb3hRdpowm3+q8C+da1cyCGnhW7SUrawQOw3b/dzZtsnJvyJi PPm52x25d/NmdYHJHxOIdchgo2Qkuzpx3L8Ptw/e6X3D+zPTpfE0bZ0xKZvQ tibsllB3WF4yYO1exehNMsChsyJ/bHj4LzAN6xuG7986lZve4AnPxm4N90Wo KU6yaKjUA9So4Q/0/miZXl/25nhw9XyzP3IXsKEMvTHZB70thZjLc6xIIT0e 7Lc864X/Aoc1T3XcD6+f6KJ41mN+qMJurPdYX0ncmOfqdK62eGJk2OooludP Sv6PWFimhp2T48On8pWV8B9agFXNmNU7gA05qE35sB/ajarRoUcz6lVfk8fT v5MjD+51HzmtZuyDrdiFtKnHrKqArakCLd8jiBp50P/XhI5npemjWxdORADH SbiuWI+mIMQhEeUoL3D4xsWpE7W/xESfPLts8+BO3/7mscG7Y/dvPzrXZhkf mZgYM0+NScwzVcr/AKHWN4Q= "], {{0, 0}, {25.2, 60.599999999999994`}}, {0, 255}, ColorFunction -> RGBColor], ImageSize -> {Automatic, 60}, PlotRange -> {{0, 25.2}, {0, 60.599999999999994`}}]; Null); Typeset`initDone$$ = True), SynchronousInitialization->False, UnsavedVariables:>{Typeset`initDone$$}, UntrackedVariables:>{Typeset`size$$}], "Manipulate", Deployed->True, StripOnInput->False], Manipulate`InterpretManipulate[1]]], "Output", CellGroupingRules->{"GroupTogetherGrouping", 10000.}, CellChangeTimes->{3.759792868765292*^9}, CellID->163607768] }, {2}]]