(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 13.2' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] NotebookDataLength[ 66773, 1271] NotebookOptionsPosition[ 65136, 1232] NotebookOutlinePosition[ 65574, 1251] CellTagsIndexPosition[ 65531, 1248] WindowTitle->Second DIMACS Sanchis Graph 2 | Example Notebook WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["Basic Examples", "Subsection", CellFrame->False, ShowCellBracket->True, CellMargins->0, CellFrameMargins->{{66, 8}, {8, 8}}, CellFrameColor->GrayLevel[1], CellFrameLabelMargins->6, CellSize->{Automatic, Automatic}], Cell["Retrieve the graph:", "Text"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ResourceData", "[", "\"\\"", "]"}]], "Input", CellContext->Notebook, CellFrameLabels->None, CellLabel->"In[2]:="], Cell[BoxData[ TagBox[ DynamicModuleBox[{Typeset`sgraph$$ = Graph[{1, 3, 4, 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200}, {Null, CompressedData[" 1:eJwUxWc7MowCAOBXEimU9qZdlJI0NKVoaBpFGlqkNKSBlobVkpKeX3uuc3+5 169TzmvAf//9F9/977//PwOYmQXOAmZn5gBzs3NA0BxoZh4wPzs/Nw+an1kA LMwuzC3MLwDBADAIvAAGLM4uzi3OLy4szkCAkFkICDIPAUMWITNQIBQAnYPO Qxegi1DgEmhpfgm8BFmCLs0sA5dBy/PL4OXFZcjy0vLMCmBldmVuZX5lcQW6 MgMDwgCweRgYBoFBYUuwZdgMHAgHwGfhc3AQfB6+AF+EQ+BQ+DJ8BQ6Dz6wC VmdX51ZBq/OrC6vg1cVV6OrKKmwVvjqDACJmEXOIecQCAoxYREAQUMQSYhmx goAh4IhVBBAJQs4jF5BgJAS5hFxGwpAzKCAKhFpAgVGLKAgKilpGwVBw1CoK iZpBA9EA9Cx6Dg1Cz6MX0ItoKHoJvYxeQcPQcPQqGoGewQAxAMwsZg4Dwsxj FjBgzCIGilnCLGNWMHAMAoPEoDBoDBALwIKw89gFLBgLwS5hl7Ew7CoWiUVh 0VggDoCbw4FwENwSbhkHw8FxqzgEDolD4TA4LG4GD8DP4ufwIPw8fgG/iIfg ofgVPBy/ikfgUXg0HoPH4mcIAMIsYY4wT1ggLBIgBChhibBMWCHACasEBAFJ QBMwBCwBTwASQcR54gIRTFwkQohLxGXiChFGXCUiiEgiioghYok4Ip5IIM6Q Zkkg0gIJTIKQlkjLJBgJQUKSUCQ0CUPCknAkImmGDCTPkkHkeTKYvEReJsPI cPIqGUlGkdFkLBlHJpJJ5BkKkDJLAVHAlEUKhAKlLFGWKTAKnIKgICkoCpqC peAoeAqRQqKQKTNrwDXA2uza3Nr82sLa4hpkDbq2sgZfQ6yh1tBr2DX8GmGN tEZeo6zNrAPXAetz6/PrC+uL60vry+sr6/D11XXEOnods45dx63j1wnra+sz VCAVQJ2jgqhg6iIVQoVSl6jL1BUqjIqgIqkoKpqKoWKpOCqeSqASqSQqmUqh rlHXqUAaiAamQWhQ2hJtmbZCg9HgtFUakoai4WgEGpFGopFpFNoajUoD0gH0 WTqIPk8H0yH0JfoKHUaH0xF0JB1Fx9JxdAKdSCfRyXQKfY1OpdPoMwwAY5Yx z1hgLDIgDChjibHCgDHgjFUGgoFioBkYBp5BYBAZZAaFscZYZ9AZM0wAc5Y5 xwQx55kLTDBzkQllLjNXmDAmnLnKRDCRTDQTw8Qx8UwCk8SkMNeY60wak85k MGdYQBaANccCscAsCGuJtcyCsRAsJAvFQrMwLCwLx8KziCwSi8yisNZYVBaN RWcxWDNsIBvAnmXPsefZC+xFNpS9zF5hw9mrbAQbyUax0WwMG8vGsfFsApvI JrPX2OtsKpvBBnBmOXOcec4CB8KBcpY4y5wVDowD56xyEBwkB83BcPAcAofI oXDWOOscKofBYXJYHDZnhgvkAriz3DnuPHeBu8iFcKHcFS6MC+euchFcFBfN xXBxXDyXwCVyydw17jqXwWVy2VwOd2YDuAHYmN2Y2wBtzG8sbCxuQDagGysb 8A3EBnoDu4HfIGwQN0gb5I31DcYGc4O9wdngbsxsAjZnN+c2QZsLm+DNxU3I JnRzZRO2Cd9c3URsojbRm5hN7CZ+k7BJ2lzbXN+kbtI3GZvMTdYme5Ozyd3c 2JzhAXkA3ixvjjfPW+CBeYs8KG+Zt8KD81Z5CB6ah+FheTgenkfgEXlrvHUe jcfgMXksHpvH4XF5G7xN3gwfyAfx5/lgPoQP5S/xl/krfBgfzl/lI/koPpqP 4WP5OD6eT+AT+SQ+mU/hr/OpfBqfzmfw2XwOf4MP3AJszW2BtsBbkC3o1tLW 8hZsa3ULsYXcQm2ht7BbuC3iFmmLvEXZWtuibdG3WFvcLd4Wf2tGABTMCuYE CwKwYFEAESwJlgVIAUqAEWAFOAFeQBAQBSQBWUARrAnWBVQBTUAXMAQsAVvA EWwINgV8wZYAKJwVzglBwnnhghAshAihwiXhihAmRAiRQpQQK8QJiUKSkCyk CNeE60KqkCZkCdlCrpAv3BIKhDPbgO3Z7bnt+e2F7cVtyDZ0e3l7ZRu2Dd9e 3UZsI7dR25ht7DZ+m7BN3CZvr22vb1O3GdvMbfY2Z5u7vbG9uc3b3toWbAu3 gSKAaFYEEoFFENGSaFm0IoKJ4CKkCCXCinAigogoIonIIopoTbQuoopoIrqI IWKKWKJNEU/EF22JBCKhCLgD2JndAe0s7IB3IDtLO8s7sB34zuoOYge5g9rB 7GB3cDuEHdIOeYeys75D3aHt0HcYO6wd7s7mDn9na0ewI9wR7QDFs2KQeF4M Fi+KIWKoeEm8LF4Rw8SrYoQYKUaJMWKsGCfGi4likpgspoppYrqYIWaKWWK2 mCveEPPFW2KBWCgWiXfEM7uA3dnduV3Q7vzuwi54d3EXuruyC9uF767uInaR u+hdzC5uF79L2CXtru2u7zJ2mbvsXc4ud3djd3OXvyvYFe5u7wIlAMmcZF4C lkAkUMmSZFmyIoFLkBKUBCvBSfASooQkIUsoknUJVUKT0CUMCVPCknAlGxK+ ZEsilIgkOxKxZFcyIwVKZ6Ug6YIULF2UQqRL0mXpihQmhUuRUpQULcVIsVKc FC8lSklSspQipUppUrqUJd2Qbkp5Ur50SyqQCqXbUpF0RyqWSqRAGUA2JwPJ wLJFGUQGlS3JlmUw2aoMIUPKUDK0DCvDyYgykowso8jWZVQZTUaXMWRMGUvG lnFkfNmWTCATykSyHZlYJpFJZTNyoBwgn5XPyUHyBTlYviiHyKHyZTlMjpRj 5Fg5Tk6Uk+RkOUW+Jl+XU+U0OV3OkLPkHDlXzpPz5VtygVwo35aL5DtysXxX LpFL5TI5cA+wN7s3tze/t7AH3oPsQfeW9pb3Vvbge6t7iD30HmYPu4ffI+yR 9tb21veoe7Q9xh5zj7XH3uPubext7vH2BHvbe6I98d7unnRvRgFQzCrmFCDF vGJBsaiAKlYUcMWqAqFAKdAKjAKnwCsoijXFuoKmYCiYCraCo+AqNhSbCp5i S7GtECnEil2FRCFVyBR7ihklUAlQzilBygUlWLmohCiXlMvKFSVMiVSilBgl VolT4pUEJVFJUpKVFCVNSVcylSwlW8lV8pR8pUApVG4rRcodpVi5q5QopUqZ Uq7cUyqUMyqAalY1p1pQgVWLKogKqlpSrajgqlUVQoVUoVUYFU6FVxFURBVJ RVZRVGuqdRVNxVAxVSwVW8VRcVUbKp5qWyVS7ajEql2VXLWnUqiUqhk1UD2r nlOD1PNqsBqiXlLD1Ag1Uo1SY9RYNU5NVJPUZDVFTVXT1Aw1S81Vb6g31Tw1 X72lFqi31SL1jlqs3lVL1FK1TC1X76kVaqV6RgPUADQgzbwGrFnUQDRQzZJm WQPTrGqQGpQGo8Fp8BqihqQhayiaNQ1VQ9cwNCzNhmZTw9PwNVsagUaoEWl2 NGLNrkaikWpkGrlmT6PQKDUqjVoD0M5q57Qg7bx2QQvWQrXL2hUtXLuqRWiR WrQWo8VqcVq8lqAlaklainZNu65laJlalpat5Wo3tJtanlagFWq3tbtaiVaq lWsVWpVWrdVoZ/aB+4D9uf35/YX9xX3I/so+fH91H7GP3Efto/cx+9h93D5+ n7BP2V/bp+7T9hn7zH3WPnufs8/d39jf3Oftb++L9sX7u/vSfdn+3r5iX7mv 2tfuz+gAulndnA6km9ct6MC6RR1EB9Wt6GC6VR1Ch9ShdGgdRofT4XUEHUlH 1lF0a7p1HVVH1zF0TB1bx9FxdRu6TR1PJ9Bt60S6XZ1EJ9XJdXs6hU6lU+u0 un0d8ABwMHcAOgAfQA6WDpYPVg5gB6sHyAPUAfYAd0A8IB2QD9YPqAe0A/oB 84B1wDnYONg84B3wD7YOBAfCA9HBzoHkQHogO5AfKA6UB6oD9YHmQHuwfzCj B+pn9XN6kH5ev6AH6xf1ED1Uv6Rf0cP0cP2qHqVH6zF6nB6vJ+iJepKeol/T r+upepqeoWfq2XqOnqvf0G/qeXqhflsv0ov1u3qJXqqX6ff0Cr1Sr9Kr9Rq9 Vr+v1+kP9DMGoAFsgBiWDMsGuGHVgDAgDSgD1oAzEAxEA8lANlAMawaqgWag GxgGlmHDwDPwDVsGoWHbIDLsGMSGXYPUIDPIDXsGhUFpUBnUBo3hwAA8nDsE HYIPIYdLh8uHsEPEIfIQdYg+xB7iDgmHxEPSIfmQekg7pB8yDlmH7EPOIe+Q f7h1KDgUHooOdw53DyWH0kPZofxw71B5qD7UHGoP9w/1h4bDmSPgEeBo9mj+ aOFo8Qh6tHS0cgQ7gh+tHiGOUEfoI8wR9gh/RDgiHZGPKEdrR+tHzCP2EeeI e7RxtHnEO9o6EhwJj7aPdo9kR3tHiiPVkfZo/0h3pD8yHM0YAcY5I8g4b1ww go2LRohxxQg3rhoRRqQRZUQbMUasEW8kGIlGknHNSDXSjAwj08g2coxc44Zx 08gz8o1bRoFx27hj3DVKjDKj3LhnVBiVRpVRY9QadcYDo95oMB4aj4wzJqAJ YJo1zZnmTQumRRPEBDWtmOCmVRPChDKhTRgTzoQ3EU0k05pp3UQ10U0ME9PE MrFNHBPXtGHaNPFMfJPQtG0SmcSmXZPUtGdSmdQmjUlr2jfpTAcmvclgOjIZ TTNmoBlgnjWDzAtmsHnRDDEvmZfNMDPcvGpGmJFmlBltxppxZryZaCaZyWaK ec1MNdPMdDPDzDSzzGzzppln5pu3zAKz0Cwy75jFZolZZpab98wKs9KsNmvM OvOBWW82mA/NJjPQArIsWMCWRQvEsmRZtsAscAvCgrSgLDgL3kK0kCxkC8Wy ZqFa6BaGhWlhWdgWjoVr2bDwLHzLlkVgEVpElh2L2CKxSC0yi9yitKgsasu+ RWc5sOgtBsuhxWgxWcyWmWPA8ezx3PH88cIx+HjxGHq8cgw7hh+vHiOOUcfo Y8wx9hh3jD8mHK8drx8zjpnH7GPOMfd443jzeOtYeLx9LDoWH0uOpcd7x4pj 5bHqWHu8f6w71h8fHh8dG49Nx+bjGSvQCrDOWkFWsHXRCrFCrUvWZeuKFWZF WJFWlBVjxVpxVqKVZCVbKdY1K9VKs9KtTCvLyrZyrFzrhpVv3bIKrELrtlVk 3bGKrbtWiVVqlVuVVrVVY9VaD6x6q8F6aDVZzVaL9dg6YwPaALZZG8gGti3a ILYl27JtxQazIW0oG9qGs+FtBBvRRrKRbRTbmo1qo9sYNqaNZduwbdp4Nr5t yyawCW0i245NbNu1SWxSm8wmtylsSpvadmAz2A5tRzaz7dhmtQHtADvIPm8H 2yH2ZTvMDrcj7Wg71o6z4+1EO8lOtlPsVDvNTrez7Gw7x861b9p5dr59yy6w C+0i+45dbJfYpXaZXWlX2dV2jf3Arrcb7Id2s91iP7Zb7Tb7jAPoADhmHXOO eceCY9EBcUAdS44VB8wBd6w6EA60A+MgOMgOimPNse6gORgOpoPt4Di4jg3H poPn2HIIHELHtkPkEDt2HVKHzLHnUDhUDrVD49A69h06h95hcBw5jA6T49hh cwCdAOesc84Jci44wU6Ic8m57IQ5V51IJ8qJdeKcRCfJSXZSnFQnzUl3Mp0s J9vJcXKdPCffueUUOIXObeeOU+yUOKVOmVPu3HMqnSqn2qlxap0HTr3T4Dx0 mp0W57HT6rQ57U6ga84FdkFcS65l14oL7kK6UC60C+PCunAuvIvgIrpILrKL 4lpzrbuoLpqL7mK52C6ua9PFc/FdWy6hS+TacYlduy6pS+aSuxQupUvlUrs0 Lq1r33XgOnQZXWaXxXXssrpsLrvL4XK6Zk4AJ7Mncyegk/mThZPFE8gJ9GT5 ZOUEfrJ6gjhBnqBO0CeYE/wJ4YR4QjlZO1k/oZ0wTpgnrBP2CeeEe7JxsnnC O+GfbJ/snkhO9k4UJ6oT7cn+ie5Ef3J0YjwxnRyfWE/sJ44T54nrZOYUeAo4 nT2dP104BZ8unkJOoadLp8unK6fw09VTxCnqFH2KOcWd4k8Jp5TTtdP1U/op 85R9yjnlnm6cbp7yTvmngtPtU/Hp7uneqeJUeao61ZxqT/dPdacHp/pTw+nh qfHUdHp8aj21nTpOnaeu05PTmTPA2ezZ/NnC2eIZ9GzpbOUMfrZ6hjhDn2HO cGf4M8IZ8Yx8tna2fkY9o50xz9hnnDPu2cbZ5hnvbOts+0x8tnsmPds7U5yp ztRn2rP9M93ZwZn+zHB2eGY8M50dn9nO7GeOs5OzmXPA+ez53DnofP584Rx8 vngOOYeeL5+vnMPO4eeIc/Q59hx/TjgnnZPP189p5/RzxjnznHXOPuecc883 z3nnW+fC8+3znfPdc8m57Fx+vneuOFedq8+15/vnuvODc/254fzo3HhuOj8+ d5yfnJ+en53PuIFugHvWPeeedy+4we5FN9S95F52r7jh7lU3wo10o90YN9aN c+PdBDfJTXGvudfdNDfdzXCz3Bw3173h3nTz3FvubfeuW+7ecyvcSrfKrXZr 3Fr3vlvn1rsN7iO30W1yW9zHbqvb5na4ne4T96n7zH3unvEAPLOeOQ/IM+9Z 8IA9ix6IB+pZ8qx4YB64Z9WD8KA8GA/Wg/cQPGTPmmfdQ/PQPQwP08P2cDxc z4Zn08Pz8D0ij9iz65F4pB65Z8+j8Cg9Ko/Ws+/RefSeQ8+Rx+gxecyeY4/d 4/A4PSeeU8+Z59zj9sxcgC7AF5AL6MXSxfIF7AJxgbxAXaAvsBe4C8IF8YJ8 QblYu1i/oF7QLugXrIuNC/7F1oXgQnghuti5EF9ILqQXsgv5hfJCfaG50F7s X+guDi70F4aLw4ujC+OF+cJyYb2wXdgvnBeuC88F8BJ0uXAJvly8hFxCL5cu ly9hl4hL5CXqEnuJuyReki7Jl5TL9UvqJe2Sfsm8ZF1yLrmX/MutS8Gl8HLn Uny5eym5lF7KLuWXikvlpfpSc7l/eXBpuDy8PLo0XZovLZfHl9ZL26X90nV5 dnl+6b70XF5cAr1zXpAX4oV6l7zL3hUvzAv3IrxIL8qL9mK9BC/RS/KSvRQv 1Uvz0r0sL9fL8/K9W16BV+gVeXe8Yq/EK/XKvHKvwqv0qrxqr8ar9e57dd4D r95r8B56jV6T1+y1eK1em9fudXidXpf3zHvhvfTOXAGuZq/mruavFq4WryBX 0Kulq+WrlSvY1eoV4gp5hbpCX2GucFf4K8IV8Yp8tXa1fkW/Ylwxr9hXnCvu 1cbV5hXvin+1dSW4El5tX+1c7V7tXSmuVFfqK82V9mr/Sn91eHV0ZbwyXR1f Wa9sV/Yrx5Xz6uTq9Ors6vzKfeW5uri6vJrxAXyzvjkfyLfgW/RBfFDfkm/Z t+KD+1Z9CB/Sh/KhfRgf1ofz4X0EH9FH8pF9FN+ab91H9dF8dB/Dx/SxfRwf 17fh4/kEvm3frk/ik/v2fAqf0qf17ft0Pr3P4Dv0HfmMPpPP4jv22Xx2n8N3 4jv1nfnOfW6fx+f1XfmAfpAf7If4of4l/7If5of7kX6UH+3H+LF+nJ/gJ/pJ frKf4l/3U/00P93P9LP8HD/Xv+nn+7f8Ar/Qv+0X+Xf8Yr/EL/XL/Uq/2q/x 6/wHfr3f4D/0m/0W/7Hf5rf7HX6n3+U/9Z/5z/1uv8d/4b/0e/1XfmAAEJgN zAVAgfnAQgASWAosB2ABRAAZQAUwAWwAHyAEiAFSgBygBNYC1AAtQA8wAqwA J7AZ4AX4ga2AICAMiAI7AXFAEpAGZAF5QBFQBlQBdUAT2A/oAgcBQ+AwcBQw BswBS+A4YA3YAvaAI+AMuAKngfOAO3ARuAz4Av7ATBAQnA3OBUHB+eBCEBxc DEKC0OBScDm4EoQHV4OIIDKICqKDmCA+SAgSg2vB9SAjyAyyguwgJ8gNbgQ3 g4LgdlAU3AmKg7KgPLgXVARVQXVQG9wP6oIHQX3wMHgUNAZNQUvQGrQHHUFX 8CR4GjwLngfdQU/wIngZvAr6gv7gzDXwGnA9ez13PX+9cL14DbmGXi9fr1zD ruHXq9eIa+Q1+hpzjb8mXJOuKddr1+vX9GvGNfOadc2+5lxvXG9e867511vX wuvt691r2bX8eu9aca26Vl9rrrXX+9e6a/314fXRtfHadG25Pr62XzuuXdcn 16fXZ9fn1+5rz/XFtff66tp3HbyeCQFDgNBsaC4ECs2HFkLg0GIIEoKGlkIr IVhoNYQIoULoECaEDxFCxBA5tBZaD1FDjBAzxA5xQtzQRmgzxAvxQ1shQWg7 tBuShKQhWUge2gspQsqQKqQOaUP7IX3oMHQUMoZMoeOQNWQPOUInodPQWeg8 5A55Qpchb8gXCoSCoesQMAwIz4bnwqAwOAwJQ8NL4ZUwLIwMo8KYMDaMCxPC xDApTA5TwtQwLcwIM8OsMDvMCXPDG+HNMD+8FRaEReGdsDgsCUvDsrA8rAgr w5qwNrwfPgjrw4bwYdgYNoXNYUv4OGwN28L2sDPsCp+G3WFP+CJ8GfaGfWF/ OBAOhkPhmQgwMhcBRcARSAQaWYosR2ARRAQZQUXQEUwEG8FF8BFChBghRcgR SmQ9Qo3QIvQII8KOcCKbEV5kKyKICCPbEVFkJyKO7EYkEWlEFpFH9iLKiCqi jmgiBxFD5DByFDFGTBFzxBI5jlgjtog94og4I67ISeQichnxRnwRfyQQCUau I+EIMAqIzkZB0YUoOLoUXY6uRGFReBQRRUZRUXQUE8VGcVFClBglRSlRapQW pUeZUVaUE+VGN6KbUV6UH92KCqLC6HZUFN2JiqOSqDQqi8qjyqgqqo5qogdR fdQQPYwao+aoJWqN2qL2qDPqirqjnuhF9DLqjV5F/dFANBgNRyPR2RgoNh8D xxZjkNhSbDkGi8FjyBgqho5hYtgYLkaMkWOUGDVGi9FjjBgrxo7xYvzYVkwQ E8a2Y6LYTkwck8SkMVlMHtuLKWLKmCqmjmli2thBzBA7jBljppg5Zokdx6wx W8wec8ZcMXfsMuaNXcV8MX8sEAvGQrFwLBKLxoA3gJu5G9DN/A34ZvEGcrN0 s3wDu1m9Qd6gbtA32BvcDf6GeEO6Id9QbtZvqDe0G/oN54Z7s3UjuBHeiG52 bsQ3uzeSG+mN7EZ+s3ejvFHfaG60N/s3upuDG8PN4Y3xxnRjvrHcWG9sN/Yb 543r5uTm9Obs5uLm8sZ747vx3wRuwjfRm9jNzC3gdvZ27hZ0O3+7cLt4C7mF 3q7cwm9XbxG36FvMLfYWf0u4Jd6Sb9du12+pt7Rb+i3jlnnLvuXcbtxu3vJu +bdbt9u3otudW/Ht7q30du9Wcau61d7u3+pu9bdHt8Zb063l9vjWeuu4dd6e 3J7ent2e37pvPbeXt1e3vtvAbfA2dBu+vbmdiQPjgPhsfC4+H1+IL8YhcWh8 Kb4Sh8dX44g4Ko6JY+O4OD5OiBPjpDg5vhZfj9PijDgzzo5z4tz4Rnwzzovz 44L4Tlwc343L4vL4XlwRV8XVcW18P66LH8T1cUP8KG6Mm+LHcVvcHnfEnXFX /CR+Gj+Ln8fd8cv4VdwXD8av46F4NH4Tv40D7wB3oLuFu8U7yB30bulu+Q52 t3qHvEPdoe+wd/g7wh3xjnRHvqPcrd2t31HvaHf0O8Yd627zjn+3dSe4E96J 7nbuxHe7d5I76Z3sTn63d6e4U96p7zR3B3f6O8Pd4Z3xznRnvrPcWe9sd/Y7 x53zznV3endxd3nnvwvfRe6id7G7m7v43UwCmAAkZhNzCVBiPrGQACcWE5AE NLGcWEnAEvDEagKRQCbQCUwCm8AnCAlyYi2xnqAlGAlmgpVgJziJjcRmgpfg J7YSwsR2QpQQJ3YTkoQ0IU/sJRQJZUKV0Cb2E7rEQUKfMCQOE0cJY8KUOE7Y E46EM+FKnCROE2eJ84Q74UlcJK4SvkQwEUrEEzNJQHI2OZecTy4kF5OQJDS5 koQl4cnVJCKJSqKTmCQuiU8SksQkKUlOUpJryfUkPclIMpOsJDvJSW4kN5O8 pCApTG4nRcndpDQpT+4lFUlVUpvcT+qSB0l90pA8TB4ljUlT8jhpTdqTjqQz eZI8TZ4lz5PupCd5kbxMXiV9yWAylAwnY8mbZDw5cw+8B9zP3s/dg+7n7xfu F++h90v3K/fw+9V7xD3yHnWPvsfc4+7x94R74j3pnny/dr9+T79n3HPuufcb 95v3vPvte9G9+H73Xnovu5ff790r7pX3qnvNvfZ+/153r78/ujfem+6P7633 tnvHvfP+5P70/uz+/N5z772/uvfdB++v70P30fvY/e19/D5xn7yfSQFToNR8 CpyCpKCppdRyaiUFS8FTqylECplCpdApbAqXwqeIKVKKnKKkqClaip5iplgp doqb2kzxU1spQUqY2kmJU5KUNCVLyVOKlDKlTmlS+6mDlD5lSB2mjlLmlCVl TdlS9pQj5UqdpM5S56mLlDd1lfKnAqnrVCgVTkVS0VQsdZO6SyVTM2lgGpCe Tc+lQen5NDi9mIakl9LL6ZU0LL2aRqZRaUwam8aliWlSmpympKlpWpqeZqRZ aU6an95KC9LCtCi9kxanJWlZWp7eSyvT6rQmrU3r0gdpfdqQPkyb0pa0NW1L 29OOtDPtSp+mz9Lu9EX6Mu1N+9OBdCgdTkfS0XQsfZOOp+/SiXQqPZMBZuYy oAw4s5iBZKCZpcxyBpaBZxAZZAaVwWZwGXyGkCFmSBlyZj1DzdAy9Awjw8pw MvzMVkaQEWa2M6LMTmY3I8lIM7KMPKPMqDLqjCazn9Fl9BlDxpgxZywZa8aW sWecGVfmJHOeuchcZrwZfyaQCWcimWgmlrnJ3GbimbtMIpPKpDPALCALys5n F7LgLCS7lIVl4dnVLDKLymKy2CwuS8ySsuQsJUvN0rKMLDPLyrKz3OxGdjPL y/KzW1lBdjsryu5kxVlJVpqVZeXZvawyq8pqsvvZg6whe5g1Zc1ZS9aatWXt WUfWmXVlT7JnWXf2InuZ9Wb92UD2OhvJRrOx7E32LpvI3mdT2XQ2kwU+zD7M PYAewA+Qh6WH5QfYw+oD8gH1gHnAPuAeCA/EB9ID+YHysPaw/kB9oD3QH5gP 7AfOA/dh42HrQfAgfNh+ED3sPIgfdh8kD9IH2YP8Ye9B+aB+0DwcPOgfDA+H D6YH84Plwfpge7A/OB6cD66Hi4fLB++D/yHwEHwIPYQfog+xh9uHu4fkQ+oh /ZB5yD7M5IA5QA6UW8iBc5DcUm45t5KD5eA5ZA6Vw+ZwOXyOmCPlyDlKbj1H zdFy9Bwjx8yxcuwcJ7eR28zxc1s5QU6Y28mJc5KcNCfLyXN7OUVOmVPl1DlN Tps7yOlzhtxhzpyz5Kw5W86ec+VOcme585wnd5Hz5q5y/lwgF8yFc5FcNBfL 3eTiubtcIpfMpXOZXDb3kJt5nHsEPS48gh8XHyGP0Melx+XHlUfY4+oj4hH5 iHpEP2IfcY/4R+Ij+ZHySH2kPdIfWY/sx43HzUf+49aj4FH4uP0oetx5FD9K HqWPskf5496j8lH9qHk8eDQ8Hj6aHy2P1kfbo/3R8eh8dD2ePXoeLx+9j/7H wGP4MfIYfbx5jD/ePSYe7x9Tj+nHzGP28eEx9ziTB+Rn83N5UH4hD84v5iF5 aH4lD8vD86t5RB6ZR+cxeXyekCflKfm1/Hqemqfl6XlGnpln5dl5Tp6b38jz 8sL8dl6U38nv5uX5vbwir8xr8tr8fl6X1+cN+aO8MW/Km/OW/HHemrflHfmT /Gn+LH+ed+c9eW/+Kh/IB/PX+VA+nI/lb/K3+Xj+Lp/IJ/P3+VQ+k58pAAuA wmwBVAAXFguQwlJhubBSgBXgBUQBWUAVMAVsAVfAFwgFYoFUIBcoBVqBXmAU mAVWgV3gFjYLvAK/ICgIC6LCTkFc2C1ICtKCrCAvKArqgqawXzgoGAqHBWPB VDAXLIXjgrVgK9gLzoKrcFG4LHgLVwV/IVAIFkKFcCFSiBZihZvCXSFZSBXS hUwhW3go5AqPhXwBWJwtgooLRXARWlwqLhdhRXgRUUQWUUV0EVPEFnFFQpFY JBUpxfUitUgr0ouMIrPIKrKLnCK3yC9uFQVFYVFU3CmKi5KitCgryovKoqqo LmqK+0Vd8aBoKB4WzUVL0Vq0Fe1FZ9FVPC2eFc+L7qKneFG8LHqL/mKgGCqG i5FirHhTvC3Gi3fF+2KqmC5mitniQzFXfCzmi4XiTAlQmi3NlUCl+dJCCVxa LEFLS6WVEry0WkKUUCV0CVPClgglUolcopTWSuslaolWopcYJWaJXeKUuKWN 0maJVxKWtku7JWlJVtorKUqqkrqkLe2XdCV96bB0VDKWTCVzyVI6LllLtpK9 5CqdlE5LZ6XzkrvkKV2ULkve0lXJV/KXAqVg6boUKsVKt6V4KVFKlu5L6dJD KVfKl2aegE+Ap9mnuSfQ0/zTwtPiE+QJ+rT0tPy08gR/Wn1CPKGfME/4J8IT 5Wntaf2J9kR/Yjwxn9hPnCfu08bT5hPvaetp+2n3SfIke9p7UjypnjRP2qf9 J92T/unoyfhkejI/HT/ZnxxPzqfTp7On8yf3k+fJ+3T15HsKPl0/hZ5iTzdP t0/xp7unxFPy6f4p95R/Kj6Vnmaegc+A59nnuef554XnxWfo88oz7Bn+vPqM eEY9Y56xz7hn/DPhmfRMeV57Xn+mPzOemc+sZ/Yz55n7vPG8+cx73noWPAuf d553n6XPsue9Z8Wz6ln7vP+se9Y/Hz0bn03P5ufjZ+uz/dnx7Hx2PZ88nz6f PZ8/u5+vnn3Pwefr59Bz5Dn6HHu+fU48J5/vn1PP2eeH5/xz8bn0/PQ88wJ8 Ab2AXxZfIC9LL8svsBfUC/oF+4J7wb8QX0gv5BfKC/WF9kJ/Yb2wXzgvGy+8 F/7L1ovgRfiy/SJ62XkRv0hepC+yF/mL4kX5onpRv2he9l90LwcvhpfDl6MX 44v5xfJifbG92F+cL66Xk5fTl7OX8xf3y8XL5Yv3xffifwm8XL+EXsIvkZfo S+zl5uX25e4l9ZJ+ybxkXx5eci+PL4WX4kvp5ellpgwsA8qzZVB5oQwuL5Yh 5eXyShlWXi0jy+gypowt48r4MrFMKpPLlPJamVqmlellRplVZpe55Y3yZplX 5pe3yoKysLxdFpV3yuLybllSlpZlZUVZWVaXNWVteb98UDaUD8tHZVPZXLaU rWVb2Vl2lU/LZ2V32VO+KF+WvWVf2V8OlMPlSDlajpVvynflRPm+nCqny5ly tvxQzpUfy4VysfxSnqkAK4DKbGWuAqrMV8CVxQq0slyBVeCV1Qqigq5gKtgK vkKoECuUylplvUKr0CuMCrPCqrArnAq3slHZrPAq/Iqgsl0RVXYquxVJZa+i qCgrqoq6oq3sV3SVg4q+YqgcVYwVU+W4YqvYK47KSeW0clY5r7grnsplxVu5 qvgq/kqgEqxcV0KVcCVaiVVuK/FKopKs3FfSlWwlV3ms5CuFSrFSqjxVnivl ykwVUJ2tzlVB1fkquLpYhVaXq/DqahVRRVZRVXQVU8VV8VVClVQlV9eq61Vq lV5lVJlVdpVT5VY3qptVXpVf3aoKqtvVnepuVVKVVmXVvaqiqqqqq5qqtrpf 1VX11aOqsWqqmquW6nHVWrVXHVVn9aR6Wj2rnlfdVU/1onpZ9Vavqr5qsHpd DVXD1Vj1thqv3lUT1WT1vpqt5qr5aqFarJaqT9Xn6kwNWAPUZmtzNVBtvrZQ A9cWa9DaSg1Wg9dWa4gapoar4WuEGrlGqa3V1mu0GqPGrLFrnBq3tlHbrPFq otpOTVzbrUlqezVFTVXT1LS1/ZqudlDT145qxpqpZq5Zasc1a81Ws9cctZPa ae2sdl5z1y5r3tpVzVcL1IK161qoFq5FatFarHZbS9SStftaqpauZWrZ2mMt XyvVnmqVWrU2UwfWZ+ug+nx9oQ6uQ+pL9eX6Sh1Wh9eRdVQdU8fWcXV8nVAn 1cl1Sn29Tq3T6vQ6o86ss+rsOqfOrW/U+fWtuqAurG/XRXVxXVKX1mV1eV1Z V9XVdU1dW9+v6+oHdUP9sH5UN9ctdWvdVrfXHXVn3VU/qV/UL+veur8eqIfq 4XqkHq3H6jf1eP2unqin6ul6pp6tP9Rz9cd6oV6sl+rP9Zd6uV6tz7zOvs69 gl7nXxdewa+Lr5BX6OvS68or/HX1FfWKfsW84l8Jr+TXtdf1V9or/ZXxynxl vbJfOa/c143XzVfeq/B1+1X0uvsqfd17VbyqXrWv+6+616NX46vp1fJ6/Gp9 tb06Xp2vJ6+nr2ev56/uV8/rxevlq/f16tX36n8NvAZfr19Dr7ev8dfEa/L1 /jX9mn19eM29Pr7mX0uvT6/Pry+vldfqa+21/jrTADYAjdnGXAPUmG8sNMCN xQa0sdKANeANRAPZQDewDVwD3yA0iA1Sg9JYb1AbjAazwW5wGtzGZoPX4De2 GoKGsLHd2GnsNqQNWUPe2GsoGqqGuqFt7Dd0DX3D0DhsHDWMDVPD0jhu2BuO hrNx0jhtnDXcDU/jquFrBBrBxnUj1Ig0oo1Y46Zx24g3Eo1k476RaqQb2Ua+ UWo8NZ4blUa1UWvUG68NYHO2CWrONxea4CakCW0uNZebsCa8udpENlFNbBPX xDcJTWKT1CQ3KU1ak95kNFlNTnOjyW8KmsKmqLnTFDd3m5KmtClrypvqpqap bR40Dc3D5lHT2DQ1zU1L87hpbdqa9qaj6Wy6mudNd9PTvGheNr3Nq6a/GWhe N0PNcDPSjDZjzZvmbTPevGsmmvfNVDPdzDSzzYdmrvnYLDZLzZdmuVlp1pr1 5mtzpgVozbbmWqDWfGuhBW4ttiAtaGulBW+tthAtZAvVQrcwLXyL0CK1yC1K a6213mK0mC1Wi93itLitjdZmi9fit7ZagtZ2a6e125K29lqKlqqlaWlb+y1d 66ClbxlaRy1jy9Qytyyt45a15Wg5W67Waeusdd5ytzyti9ZVy9fytwKtYOu6 FWqFW7eteCvRSrbuW9nWQyvXyrcKrVLruVVpVVu11mur0Wq2Ztqz7bn2fHuh vdiGtpfaK21YG95ebSPb6DamjW3j24Q2sU1qk9tr7fU2o81ss9rsNqfNbW+0 N9u8Nr+91Ra2t9vi9m5b2pa199qKtqqtbmvb+21d+7B91Da2Te3jtrVtbzva rvZJ+7R91j5vu9ue9mX7qu1rB9rB9nU71I62b9q37Xg70U6279vpdqb90M63 C+1iu9R+aj+3X9rldqVdbdfa9Xaj3Wy32jNvgLfZt7k30Nv828Ib+G3xDfIG fVt+W3mDv62+Id6Qb+g3zBv+jfBGflt7W3+jvjHemG/sN87bxtvmG++N/7b9 tvsmedt7U7yp3rRv+2+6N/3b0ZvxzfR2/GZ9s7853k7eTt/O3s7f3G+et4u3 y7erN9+b/y3wFnwLvYXfIm/Rt9jbzVv87f4t/ZZ5y7+V3p7ent8qb9W32lv9 7fWt8dZ8a72134DvoHfwO+Qd+r70vvy+8g57R7wj31Hv2HfcO/Gd9E5+p7xT 32nv9HfWO/ed985/33oXvAvfRe877+J3ybvsXf6ufFe/a94P3vXvhvfD96N3 y7v13fZuf3e8O99d7yfvp+9n7xfvl+/ed/974P36PfQefo+8R99j7zfvt+93 74n31HvmPfv+8J57f3zPvxfei++l9+f3l/fye/W9/t54b76/vQM/QB/zHwsf 4A/IB/Rj+WPlA/ax+oH8wH7gPogfpA/yB+Vj7WP9g/pB+6B/MD5YH9wP3gf/ Y+tD8CH8EH3sfIg/JB/SD9mH4kP5ofpQf2g+Dj4MH4cfRx/GD9OH+cPyYf2w fTg/XB/nHxcflx/ej6sP34f/I/AR/Lj+CH2EPyIf0Y/Yx83H7cfdR/Ij9ZH+ yHxkPx4+ch+PH4WP4sfTx/PHy0flo/pR+6h/ND9aH+8fwM+5T9Dn/OfCJ/gT 8gn9XPpc/oR9wj8Rn6hP7Cfuk/hJ+iR/Uj6pn7RP+ifjk/XJ/eR98j+3PgWf wk/R586n+FPyKf2Ufco/9z4Vn8pP9afm8+BT/2n4PPw8+jR9mj8tn9ZP26f9 0/Hp/HR9ej4vPi8/vZ/+z8Bn8PP6M/wZ+Yx+xj5vPm8/4593n6nP9GfmM/v5 8Jn7fPzMfxY+i59Pn8+f5c/6Z+Oz+dn6fP/8+Jz5An7Nfs19gb7mvxa+Fr8g X9CvlS/YF/xr9Qv9hfnCfuG/CF+kL8rX2tf6F+2L/sX4Yn6xvthfnC/u18bX 5hfvi/8l/Nr+2vna/ZJ97X0pvpRfqi/1l/Zr/0v3dfB1+HX0ZfwyfZm/LF/H X46vk6/Tr7Ov8y/3l+fL+3X15fsKfAW/rr9CX+Gvm6/br/jX3VfiK/l1/5X+ ynw9fuW/Cl/Fr9LX09fz18tX5av6VfuqfzW+Wl9vX+9fMx1AZ64D6sx3FjqL HUhnqbPcWenAOvDOagfRQXZQHXQH08F3CB1ih9Qhd9Y6tA69w+gwO6wOu8Pp cDsbnc0Or8PvCDrbnZ2OuLPbkXX2OoqOqqPuaDu6zkFH3znqmDrHHVvH0XF2 XJ2TzmnnrHPecXc8nYvOVcfXCXauO6FOtHPTue3EO3edRCfZue+kOulOppPt PHRyncdOvlPoFDulzlPnuVPpVDu1zmun0Wl12p23znvns/PVAXZnu3NdUBfc XexCutDuUne5C+uudhFdZBfVxXSxXVwX3yV0SV1yl9Jd6653qV1al95lddnd jS6/u9UVdIVdUVfclXSlXVlX3t3rKrvqrqar6x50Dd3D7lHX3LV0j7vWrq1r 7zq6zq6re9Z1dz3di+5l19v1df3dQDfYve6GuuFupBvtxro33dvuXTfZve+m uuluppvtPnRz3cduoVvsPnWfuy/dcrfRbXbfux/dz+5MD9gD9GZ7c72F3mIP 0oP2VnqwHry32kP0kD1UD93D9PA9Qo/Uo/TWeus9ao/RY/ZYPXaP0+P2Nnq8 3lZP2NvuiXo7vd2erCfv7fUUPW1vv6fr6XuG3lHP2DP1jnvWnq1n7zl6J73T 3lnvvOfueXre3lXP3wv2rnuhXrgX6cV6t714766X6CV7971UL9d77BV6pd5T 77lX7lV61V6tV++99hq9Zq/Va/feeu+9z95Xr9Pr9oB9QH+uD+rP9xf64P5i H9KH9pf6y/2VPqwP7yP7qD66j+lj+7g+oU/sk/rkPqW/3qf2aX16n9Pn9nn9 rb6gL+yL+jt9cX+3L+lL+7K+vK/oK/vqvqav7ev6B31939A/7B/1TX1z39K3 9m19e9/Zd/VP+qf987677+lf9C/73r6/H+gH+9f9cD/aj/Vv+3f9ZD/VT/cz /Ww/13/s5/uFfrH/0i/3q/16v9l/67/3P/qf/U6/258ZAAegwfwAPIAMoIOl wfJgZQAbwAeIAXKAGmAHuAF+QBgQB6QBeUAZUAe0AX3AGDAHrAF7wBvwB1sD wUA4EA12BuKBZCAbyAeKgXKgHmgG2oFucDDQDwyDw4FlcDywDmwD+8AxcA5c g5PB6eBscD64GFwOvIOrgW/gHwQGwUFoEB5EBtFBbHAziA/uBolBcpAaZAbZ wcMgN3gc5AeFQXHwMigPKoPqoDaoD5qD1qA9+Bh8DrqD/gD4PfcN+l74Bn9D vpe+l79XvmHf8G/kN+ob+437xn8TvonfpG/yN+Wb9k3/Znwzv1nfm9+8b/63 4Fv4Lfre+RZ/S76l37Jv+bfqW/2t+d7/Pvg2fB9+G79N3+Zvy7f12/Zt/3Z+ u75Pvs++3d8X35ff3m/ft/878B3+jnxHv2PfN9+333ffie/kd+o7/Z35zn4/ fOe+H7+L38/fL9/l78p37bv+3fh+//74/vzufve/B98zQ8Bwdjg3nB8uDMHD xSFkCB0uD1eGq0PEEDlEDzFD3BA/JAyJw7Xh+pA6pA8ZQ+aQNWQPOUPucGO4 OeQN+UPBcHsoHu4OJUP5cG+oGKqG6qFmqB3uD/XDo6FxaBqah8dD+9AxPBme Ds+G50P30DO8GF4OvUPf0D8MDq+H4eHN8HYYH94NE8Pk8H6YHmaG+WFp+DR8 HlaG1WFtWB++DhvD1rA9fBu+Dz+Gn8OvYWfYHfaGg+H3EPgD+AH9zP8s/IB/ Fn8gP9CfpZ/ln5Uf2A/yB/WD/sH8YH9wP/gfwg/ph/xD+aH+0H7oP8wf1g/n h/+z9SP4Ef5s/4h+xD+SH+mP7Ef+o/hR/qh+1D+an4Mf/Y/h5/DH9GP+sfxY f2w/9h/nj+vn5Mfzc/Fz+eP98f34fwI/oZ/wT+Qn+hP7ufm5/Yn/3P0kflI/ 6Z/MT/bn4Sf38/iT/yn8FH+ef15+yj+vP82f9s/bz/vPx8/nz9dP76f/M/j5 /pkZAUeA0exobjQ/WhgtjiAj6GhptDKCj1ZHiBF6hBlhR7gRfkQZrY3WR/QR Y8QcsUbsEWfEHW2MNke8EX+0NRKMtkei0c5IPNodSUbS0d5IOVKNNCPtaH+k Gx2M9CPD6GhkHJlHxyPH6GR0OjobnY/cI8/oYuQdXY18I/8oOLoehUbhUWQU G92O4qO7UWKUHN2PUqPM6GGUGz2O8qPS6Gn0PHoZlUeVUXVUG9VHr6PGqDVq j95GX6POqDcajoBjwHh2PDcGjefH4DFkvDReHq+MYWP4GDFGjlFj7Bg3xo8J Y9KYPKaM18bUMW1MHzPGrDF7vDHmj7fGgrFwLBqLx5KxdCwby8fKsWqsHmvG 2vH+WDc+GOvHhvHh2Dy2jI/H1rFtbB87x67xyfhsfD72jC/Gl2Pv2D8OjIPj 63FoHB5HxtFxbHwzjo/vxsnx/Tg1To8z4+z4YZwbP44L4+L4efwyLo8r49q4 MW6OW+P2+G38Pv4Yf46/xp1xb9wfD8bfY+Av6HfhF/wL+YX+Lv/Cfld/Eb/I X/Qv9hf3S/wl/ZJ/Kb/rv9Rf2i/9l/HL+uX88n75v1u/gl/hr+h351f8u/sr +ZX+yn6Vv6pf9a/mV/ur+z341f8afg9/j37Nv5Zf66/t1/Hr/HX9nv+6fz2/ F7+Xv95f/2/gN/h7/Rv+jfxGf2O/N793v8nf1G/6N/Ob/X34zf0+/uZ/C7/F 36ff59+X39pv/bfx2/x9+33//fzt/vZ++7+D3+/fn9/R7/h3ZgKcACazk7kJ aDI/WZxAJtDJ0gQ+WZ0gJugJZoKd4Cb4CWFCnJAm5MnaZH1CndAm9Aljwpyw J5wJd7Ix2ZzwJvyJYLI9EU12J5KJdLI3UUxUE+1kf6Kb6CeGydHEODFNzBPL 5HhimzgmJ5PTydnkfOKeeCbeydXENwlOriehSXgSndxO4pO7SWKSnNxPMpPs JDd5nOQnxUlp8jR5ntQm9cnrpDFpTdqTt8n75GPyNelMepPvyXAymownM3/A P8Df7N/c3/zfwh/4b/EP+rf8t/IH+4P/rf4h/lB/6D/MH/YP/0f4I/9R/tb+ 1v8Yf5w/7t/G3+Yf74//t/Un/Nv+E//t/sn+9v4Uf8o/1Z/2b/9P93fwp/87 +jP+mf7Mf8d/1j/Hn/PP9Xfyd/p39nf+5/nz/l39+f6Cf9d/ob/I383f7V/8 L/GX/Ev95f+Kf6W/p7/nv8pf9a/29/rX+Gv9tf/e/t7/Pv++/jp/3b/e3+Bv +Df6+/2b/M1MgVPAdHY6NwVN56fg6eIUMoVOl6bL05UpbAqfIqbIKWqKmWKn uCl+SpgSp6QpeUqZUqe0KX3KmDKnrCl7ujHdnPKnW1PBVDjdmYqnu1PJVDqV TeXTvaliqpyqpuqpZqqd6qYHU/3UMD2cHk2NU9PUPLVMrVPb1D51TU+mp9Oz 6fn0Yuqd+qeBaXAamoankWl0GpveTO+myWl6mplmpw/Tx2l+WpgWpy/T8rQy rU+b09a0PX2bvk8/pp/T7rQ/HUy/p8Ppz3Q8/Z0C/83+A/0D/4P8g/5b+rf8 D/YP/m/1H+If8h/qH/of7h/+H/Ef6R/5H+Xf2j/qP/o/xj/mP9Y/zr+Nf/x/ W/8E/4T/tv+J/u38E//b/Sf5J/0n+yf/p/in/Kf6p/6n/Xfwz/Dv8J/5n/Wf /Z/jn/Of69/5v4t/l/+8/3z//P8C/ysIPvxqeAAAgH/sjIiMkKzoZ0WFklFG 2TKzyYhCkqhI9ihJEuHdvnfv3Xp39268uzfv3Xx3f9bv+w3cCtwJ3A20Bu4F 7gfaAu2BB4GHgc7Ak0BX4GmgO/As8DzQG+gLvAi8DPQHXgUGAm8CbwPvAu8D HwOfA4OBocDXwHBgJPA9MBr4ERgLjAd+BX4HJgJ/A/8Ck4DJwBRgGjAdmAHk AbOAOUA+MBeYB8wHFgCFwEJgEbAYWAIUAUuBZcByoBgoAVYBq4G1QCmwDlgP /AdsADYCm4DNwBZgK7ANqAAqgSpgJ1AN1AC7gT3APqAO2A8cAA4Ch4AGoBE4 AhwFjgEngSbgNHAGOAdcAJqBi8Al4DJwBbgKXAduAC3ALeA2cAe4C7QDD4BH QAfwGOgEuoAeoBd4AfQDr4DXwBvgLfAOeA98AD4Cn4EvwDDwDfgOjAI/gXHg FzAB/AH+ApPAyeAUcBo4HZwB5oEzwVngbHAOOBecBxaA88EFYCG4GFwCLgOX g8XgKnA1uA7cAG4EN4GbwS3gNrASrAJ3gtVgLbgb3APuBfeBdeB+8AB4EGwA j4BHwWPgCfAk2ASeAc+B58ELYDN4EbwMXgGvgzfAm2ALeAu8Dd4B74L3wXbw AfgQfAR2gJ3gE7AL7AZ7wD7wBfgS7Adfga/BN+Bb8D34AfwEfga/gIPgMPgN /A6OgmPgT3Ac/AX+Bv+AARAAp0JToOnQDGgmNAfKh+ZCBdACqBBaCC2CFkNL oCJoKbQMWg4VQyugldBqaA20FiqF1kFl0EaoHNoKbYMqoEqoCtoO7YCqoRpo F1QL7YH2QnVQPbQfOggdghqgRugwdAQ6Dp2ATkFN0GnoDHQWOgedhy5Al6Er 0FXoGnQTaoFuQ3ehVug+1Aa1Qw+gh1An9ATqgp5C3dAz6DnUC72A+qFX0AD0 GnoDvYPeQx+gj9AgNAR9hYahEeg7NAr9gMagn9A49BuagP5C/6AABEAgNAme Ck+HZ8Az4dnwHDgfngsXwPPhQnghvAheAhfBS+FieAVcAq+EV8Gr4TXwWrgU LoM3wlvgcngrvA2ugKvg7fAOeCdcDdfAtfAeeC9cB9fD++ED8CG4AW6ED8NH 4OPwCbgJPg2fgc/C5+Dz8AW4Gb4IX4GvwtfgG3ALfBu+A9+FW+F78H24DX4I P4Ifw53wE7gLfgp3w8/g53AP3Av3wS/gl/AreAB+B7+HP8Af4c/wIDwEf4WH 4W/wCDwK/4DH4HH4NzwB/4H/wQEYgCF4EjIVmY7kITORfGQuUoDMRxYii5DF SBGyFClGViArkdXIGmQtUoqsQ9YjZchmZAtSjmxFtiEVSCVShWxHdiA7kWqk BtmF1CK7kb1IHVKPHEIakcPIEeQochw5gZxCmpDTyFnkHHIRuYJcRa4hN5Cb SAtyC7mLtCL3kTakHXmAPEQeIY+RTuQJ0oU8RbqRZ8hzpBd5ibxCBpDXyDvk PfIR+YR8RgaRIeQr8g0ZQUaRH8gYMo78Qn4jE8gf5C/yDwkgAAIjU9HJ6BR0 GjoDzUPnoPnoXHQeWoDORxeghegidDG6BF2GLkdXoqvQ1Wgpug5dj5ah/6Eb 0U3oZnQLWo5uRbehFWglWoXuQHeiu9BadA+6Dz2AHkQb0CPoUfQYehw9gZ5E z6Dn0QtoM3oRvYReRq+h19Eb6E20Bb2F3kbvoK3oPbQdfYA+QjvQx2gn+gR9 hj5He9Be9AX6Eu1HX6ED6Gv0DfoWfY9+QD+hn9Ev6CD6FR1Gv6Ej6Hf0J/oL nUD/oH/Rf2gABVAQhVAYRdBJ2FRsMjYFm4bNwPKwmdgsbA42F5uHFWDzsQVY IbYQW4wtwZZhy7ESbCW2CluNrcPWY2XYf9gGbCO2CduMbcG2YhVYJbYTq8F2 YbXYbmwPtg/bjx3ADmKHsAasETuMHcGOYsewk9hp7Ax2AWvGLmKXsMvYVew6 dgNrwW5ht7E72F2sFbuHtWHt2APsEdaBPcY6sS6sG3uO9WC9WB/2AuvHBrDX 2BvsLfYe+4B9xr5gg9gQ9hUbxr5hI9h3bAz7if3CJrA/2F8sgIEYhMEYgqHY JHwqPhmfgk/HZ+Az8dl4Pj4Xn4cX4IX4QnwRvhgvwpfiy/FifAVegq/EV+Gr 8TX4WrwUL8M34pvwzXg5vhXfhlfglXgVvh3fgVfjNXgtvgffi9fh9fgB/BDe gDfih/Gj+HH8BH4Sb8JP42fxc/gl/Ap+Fb+Gt+B38Lt4K34Pv4+34Q/xDvwx 3ok/wbvwp3g3/gx/jvfgvXgf/gJ/hQ/gb/F3+Ef8E/4ZH8SH8K/4MP4NH8FH 8R/4GP4TH8d/4xP4H/wfHsABHMQhHMFRfFJwanBycEpwWnBGMC84Kzg7OCc4 L1gQnB9cECwMLg4uCRYFlwaXBZcHS4Irg6uCq4OlwXXB9cGy4H/BDcGNwU3B zcHy4NbgtmBFsDJYHdwV3B3cE9wb3BesC9YH9wcPBA8GG4JHgkeDx4KngmeC 54LngxeCzcGLwUvBy8FrwevBG8GW4O3gnWBrsC3YHnwQfBh8FOwIPg52BnuC fcEXwZfB/uCr4Ovgm+Db4Pvgh+Cn4Ofgl+Bg8GtwOPgtOBL8HhwN/giOBX8G fwUngn+Cf4NAEAxCQTiIBNEgFpxKTCfyiJnELGI2MYfIJ+YSBcQioohYSiwj iokVRAmxklhFrCHWEqVEGfEfsYHYSGwhyomtxDaigqgkqojtxA6imqghdhG1 xG5iL1FH1BMHiENEA9FIHCaOEMeI48QJ4iRximgiThNniXPEeeIC0UxcIa4S 14jrxA3iJtFC3CVaiXvEfaKNaCceEA+JR0QH8ZjoJJ4QXcRTopt4Rjwneohe oo8YIF4Tb4h3xAfiI/GZGCSGiGHiGzFCjBI/iDHiJzFO/CJ+ExPEPyJAQARM IAROBIlJoamhyaEpoemhGaG80MzQrNCcUH5oXmh+aEGoMLQ4tCRUFFoWWh4q Dq0KrQ6tDa0P/RfaENoY2hTaHNoS2hqqDG0P7QjtDNWEakO7Q3tCe0P7QvWh /aEDoYOhQ6GGUGPocOho6FjoROhkqCl0OnQmdDZ0PnQxdCl0OXQldDV0LXQ9 dCPUEroVuh26E2oN3Qu1hx6EHoYehTpCj0NPQz2hF6GXof7Q69Cb0NvQ+9CH 0KfQ59CX0FDoa2g49C00EvoeGg2NhX6GfoX+hP6GAiEgBIagEBJCQ1gIDwVD RGhqeHp4ZnhWeHY4PzwvXBCeH14QLgwvDC8KLwkXhZeGl4eLwyvCJeGV4TXh teGy8OZweXhreFu4MlwV3h7eEa4O14R3hWvDe8P7wvXh/eED4YPhQ+HG8OHw 8fCJ8KlwU/h0+Ez4bPhc+EL4cvhK+Gr4Wvh6+Ga4JXwrfDt8J9wavhe+H24L t4cfhjvCneEn4a5wd/hZ+Hm4J9wb7gu/DPeHX4UHwq/D78Ifwh/Dn8OD4aHw 1/Bw+Ft4JPw9PBr+ER4Lj4d/hyfC/8KBMBSGw0gYC+NhIjyJnEpOJqeQ08kZ ZB45k5xN5pNzyXlkATmfXEAuIpeQReRSchm5nCwmV5Al5EpyDbmWLCXXkevJ MnIjuYUsJ7eS28gKspKsIreTO8idZDVZQ+4ia8k95F6yjqwnD5CHyEbyMHmE PEYeJ0+Qp8gm8jR5ljxHniebycvkFfIqeY28Tt4kW8jb5F2ylbxH3ifbyIdk J/mE7CKfkt3kM/I52UP2kn1kPzlAvibfkO/I9+QH8iP5ifxCDpJD5Aj5nRwl f5Bj5E9ynPxNTpB/yX9kgARIkIRImERInAyTk6jJ1BRqGjWDyqNmUrOo2dQc ai41jyqg5lMLqEJqIbWYWkItpZZTK6gSaiW1ilpNraHWUqXUOmo9VUb9R22g NlKbqM3UFqqCqqSqqO3UTqqa2kXtpvZQe6l9VB1VT+2nDlAHqUNUA3WYOkId pY5Rx6kT1EmqiTpNnaXOUxeoZuoidYm6TF2hrlM3qFvUbeoOdZdqpe5TbVQ7 9YB6SD2iOqjHVCf1hOqmnlM9VC/VR72k+qkB6jX1hnpLvaPeUx+oT9Rn6gv1 lRqmvlEj1HdqlPpJ/aL+UH8pgAIphEIpjMKpIBWiptJT6Gn0dDqPnknPomfT c+h8ei5dQM+nF9CF9EJ6EV1EL6WX08X0CrqEXkmvotfQa+lSeh1dRm+kN9Fb 6HJ6K72NrqAr6Sp6O72DrqZ30bX0bnovXUfX0/vpA/RB+hDdSB+mj9DH6BP0 KbqJPk2fpc/R5+kL9EX6En2ZvkJfpa/RN+ibdAt9l26l79H36Ta6nX5Id9CP 6U66i35Kd9PP6Od0L91Hv6D76Vf0AP2afkO/o9/TH+lP9Gd6iP5Kj9Cj9Bg9 Tv+mJ+g/9D86QEM0TCM0SmM0Tgdpgg7RYZqkJzGTmSnMdGYGk8fMZGYxc5h8 Zi4zjylg5jMLmEJmIbOIWcwsYYqYpcwyZjlTzKxgSphVzGpmDVPKrGf+YzYw G5lNzGZmC1PObGMqmEpmO7OD2clUMzXMbmYPs5fZx+xnDjAHmQamkTnMHGWO MSeYk8xp5gxzjjnPXGQuMZeZ68wN5iZzi7nN3GHamHbmAfOI6WAeMz3MC+Yl 08+8Zt4wb5l3zHvmA/OJ+cx8YYaYr8ww840ZYb4zP5lx5hfzh/nLAAzIwAzK YAzOBBmCIRmKmcROZSezU9hp7Aw2j53JzmLnsHPZeWwBu4AtZBeyi9klbBG7 jF3OlrAr2VXsanYNW8quY9ezZex/7AZ2I7uJ3cxuYcvZrWwFW8lWsTvZanYX W8vuZvew+9g6dj97gG1gj7BH2WPscfYEe5I9w55nL7DN7EX2EnuZvcreYG+x t9m7bCt7n21nH7CP2A72MdvJdrHP2OdsD/uCfcn2s6/Y1+wb9i37nv3AfmI/ s1/YQXaI/coOs9/YEfY7O87+Yn+zE+wf9i8LsCALsQiLshgbZEMsyVIszTLs pMjUyOTIlMi0yIzIzMisyOzInEh+ZG6kIDI/siBSGFkcWRJZFlkeKYmsjKyK rI6siayLrI+URf6LbIhsjGyKbI5siZRHtka2RSoilZGdkepITWRXZHdkT2Rv ZF+kPrI/ciByMNIQaYwciRyNHIscj5yInIw0Rc5EzkcuRJojFyOXIpcjVyPX IzcityK3I3cidyOtkfbIg8ijSEfkcaQz0hN5EXkZ6Y8MRN5G3kc+RD5FPke+ RAYjXyPDkW+Rkcj3yM/IeORXZCLyNwJEwAgUgSNoBIsEI0QkFKEiTISNTOIm c1O4adwMLo+byc3iZnNzuHncfG4BV8gt5pZwRdxSbjm3ilvNreFKuXXceq6M +4/bwG3kNnGbuS1cOVfJVXE7uJ1cNVfD7eJqud3cHm4fV8fVc/u5A9xB7hDX wDVyR7ij3DHuOHeCO8md5s5y57jz3AWumbvIXeIuc1e4a9x17gZ3k2vhbnG3 uTtcK3efa+PauQfcI66De8x1cd1cD9fL9XEvuX7uFTfAvebecG+599wH7iP3 ifvMfeGGuGHuG/edG+N+cr+4P9xf7h8X4AAO5GAO5TAuyIU4kqM5hmO5CDeJ n8pP46fzM/lZ/Gw+n5/LF/Dz+UJ+Ib+IL+KX8sv45Xwxv4Iv4Vfya/i1fClf xm/gN/Gb+S18Ob+V38ZX8Nv5HfxOvpqv4Xfxtfxufi+/j6/j6/n9/AH+EN/A N/KH+WP8cf4Ef4pv4k/zZ/hzfDN/kb/EX+Gv8df5G/xNvoW/xd/h7/Kt/D3+ Pt/Gt/MP+Uf8E76Lf8p388/5Xr6Pf8G/4gf4N/w7/gP/kf/Mf+EH+SH+Kz/M f+NH+FH+Bz/G/+TH+d/8BB/gAR7kIR7mER7nCT7Eh3mSp3ianypMFqYI04UZ Qp4wW5gj5AtzhQJhgVAoLBQWCUXCMmG5UCysEEqElcIaYa1QKpQJ5cJWYZtQ IVQKVcJ2YYdQLdQIu4RaYa9QJ9QL+4UDwkHhkNAoHBaOCMeFE8IpoUk4LZwR zgrnhGbhinBVuC7cFG4Jt4U7wl2hVbgn3BfahHahQ+gUnghdwlOhW3gmPBd6 hT6hX3glDAivhTfCO+G98EH4KHwSBoUh4aswInwXRoUfwpgwLvwSfgsTwh/h r/BPCAiQAAuIgAqYgAtBgRBCQlggBVpghYjAC5OiU6OTo1Oi06IzonnRWdE5 0fzovGhBdH50QbQwuii6OLokWhRdGl0WXRFdGV0VXR0tja6Lro+WRf+Lbohu jG6Kbo5uiZZHt0YropXRquj26M7oruju6L7o/uiB6MFoQ/RI9Gj0ZPRU9Ez0 fPRCtDl6MXopejl6NXotej16I9oSvRW9Hb0TbY22Rx9EH0U7oo+jndGn0e7o 82hPtC/6Ivoy2h8diL6Ovom+jb6Pfoh+in6OfokORoeiX6PD0W/Rkej36M/o RPRP9G80EAWiYBSKIlE0ikWD0VCUitJRJspGI1EuKkQniVPFyWKeOFOcLc4R 88W5YqG4UFwkLhaXiEXiUnGZuFwsFleIJeJKcZW4RlwrlorrxDJxg7hZ3CKW i1vFCrFSrBK3izvEnWKNuEusFfeIe8U6sV7cLx4UD4mHxePiCfGU2CSeFs+K 58Vm8bJ4RbwqXhOvizfFFvG2eFdsFe+J98U28YH4UHwsdopPxC7xqdgtPhOf i71in/hSfCUOiO/Ej+IncVAcEr+Kw+KI+F0cFX+IY+JPcVz8LU6I/8SACIqQ CIuIiIuEGBLDIilSIi0yYkTkRUGMipOkqdJkaYo0TZouzZDypJnSLGmONE+a Ly2QCqXF0hKpSFoqLZOKpRVSibRKWi2tldZJ66Uy6T9pg7RR2iRtlrZI5VKF VClVSTulaqlW2i3tlfZJddJ+6YB0UGqQGqUj0lHppHRGOi9dkJqli9Il6bJ0 RbomXZduSDelW9Jt6Y50T2qXHkgPpUdSh/RYeiI9lbql51KP1Cu9kF5K/dKA 9Fp6I72V3knvpQ/SR+mT9Fn6Ig1JX6Vh6Zs0In2Xfkg/pXHpj/RX+icFJEAC JURCJUzCpaBESCGJlCiJkVgpInESL4nSJHmqPFmeIk+Tp8sz5Dx5pjxbzpfn yvPkAnm+XCgvkovkpfIyeblcLK+QS+SV8ip5jbxWLpXXyWXyFrlc3ipvkyvk Knm7vEPeKVfLNfIuuVbeLe+V98l1cr28Xz4oH5Ib5Eb5sHxUPiYfl0/IJ+VT cpN8Wj4jn5XPyRfkZvmSfFm+Il+Vr8k35Jtyi3xbviPflVvle/J9uU1ulx/K j+QOuVN+InfJT+Vu+Zn8XO6Re+U++YX8Uu6XB+TX8hv5rfxO/iB/lAflIXlY /iaPyKPyD3lM/imPy7/lCfmv/E8OyIAMypAMy4iMybgclimZlhmZlTmZlwVZ lKcq05U8ZaYyS5mt5CtzlXlKgbJQWaQsVoqUpcpypVhZoZQoK5W1SqmyTlmv lCmblXJlm1KhVCnblR3KTqVaqVF2KbXKbmWfUqfUKweUQ0qD0qgcVo4oR5Xj ygnlpHJKaVJOK2eVc8oFpVm5pFxWrihXlWvKdeWm0qLcUe4qrco95b7SprQr D5VO5YnSpTxVupVnynOlR+lTXij9yitlQHmrvFM+KJ+Uz8oXZVAZUr4qw8qI Mqr8UH4q48ov5bcyofxR/ir/lIACKKACKbCCKKiCK0GFUMIKqdAKo7BKROEU XhEUUZEUWZkcmxKbFpsRy4vNjs2JzYvNjy2IFcYWxRbHlsSWxpbFlseKYyti JbGVsVWx1bG1sdLYutj6WFnsv9jG2KbY5tiWWHmsMlYV2xmrju2J7YvVxw7E DsYOxRpijbHDsSOxo7FjsZOxU7Gm2JnY+diFWHPsYuxS7HLsauxa7HrsRqwl dit2O3Yndjd2L3Y/1hZrjz2IPYp1xB7HnsS6Ys9iPbHeWF/sRexlrD82EHsd exN7G3sf+xD7FPsc+xIbjA3HvsW+x0ZjY7GfsV+x37E/sb+xQAyIgTEoBsew WDAWipExKkbHmBgbi8S4mBCLxsSYFJNjSmyqOk2drs5Q89SZ6mx1jpqvzlXn qQXqfHWBWqguVBepi9Uidam6Qi1RV6qr1NXqGnWtWqquU9erZeoGdaO6Sd2s blHL1a3qNrVCrVSr1B3qTrVarVF3qbXqbnWvWqfWq/vVg+ohtUFtVA+rR9Xj 6gn1pHpKbVJPq2fUs+o59YLarF5Rr6rX1OvqTbVFva3eVVvVe+p9tU19qD5W O9Unapf6VO1Wn6nP1R61V+1T+9VX6oD6Rv2oflYH1SH1qzqsjqo/1DH1lzqh /lMDKqBCKqwiKq4SalglVUqlVUZlVU7lVUGNqqIqq4o6SZuqTdOmazO0mdps LV+bqxVo87VCbZG2WCvSlmrLtOVasbZCK9FWaqu1NdparVQr0/7TNmqbtHJt q7ZNq9AqtSptu7ZD26lVazXaLq1W263t1eq0em2/dlA7pDVojdph7ah2TDuu ndBOaqe0Ju20dkY7q53TzmvN2mXtinZVu6bd0G5qLdpt7a7Wqt3T7mtt2kOt Q+vUnmhd2lOtW3umPdd6tF6tT3uh9WsD2jvtg/ZR+6x90Qa1IW1YG9FGtR/a mPZTG9d+ab+1Ce2P9lf7pwU0UIM0WEM0XAtrtMZovCZooiZpiqZqk+PT4tPj M+J58Znx2fE58fz43HhBfGF8UbwovjReHC+Jr4yviq+Jr42XxtfHy+Kb4+Xx rfFt8Yp4VXx7fEe8Ol4T3xWvje+N74vXxevjB+IH44fiDfHG+OH4sfjx+In4 yfipeFP8dPxM/Gz8XLw5fjF+KX45fjV+LX4jfjPeEr8dvxO/G2+N34u3xR/E H8Y740/iXfGn8e74s3hvvC/+Iv4qPhB/HX8Tfxf/GP8UH4wPxb/GR+Kj8R/x sfjP+Hj8V/x3fCL+Lx6Ig3EoDseROB4n4uE4GafidJyJs3E+LsSjcTEuxeW4 ElfjWnxSYnJiSmJaYkYiLzErMTsxJzEvUZCYn1iQKEwsTCxOLEkUJZYllidW JVYn1iZKE+sSGxIbE5sSmxNbEuWJykRVYkdiZ6I6UZPYndiT2JeoT+xPHEgc TBxKNCQaE4cTRxJHE8cSxxMnE2cS5xLnExcSzYmLicuJ64kbiZbErcTtxJ3E vcT9RFuiPfEg8TDxKNGReJLoSvQkehN9iReJl4n+xKvEQOJ14k3ibeJd4n3i Q+Jj4lPic+JLYigxnPiWGEl8T/xI/Ez8SvxJAAkoASeQBJrAEngimAglwgkq wSTYRCTBJaIJMSElYgk1MSk5NTklOS05PTkjmZecmZydzE/OTRYkFyYXJRcn i5JLk8XJFcmS5MrkquSa5NpkaXJdcn2yLLkpWZ7cmtyWrEhWJquS25M7kjuT 1cmaZG1yd3Jvsi5Zn9yfPJg8lGxMHk4eTR5LHk+eSDYlTyfPJs8lzycvJi8l rySvJq8lW5K3kreTd5J3k63Je8n7ybZke/JhsjP5JNmVfJrsTj5LPk/2JHuT fclXyYHku+T75Mfkp+Rgcij5NTmSHE3+SI4lx5O/kxPJf8lAEkxCSSSJJYlk KBlOkkk6GUnySSEpJuWkklSTWjKenJSampqcmpaanpqZmpPKT81NFaQKUwtT i1JFqaWpZani1IrUytSq1JrU2lRpqiy1KVWe2pralqpIVaaqUttTO1I7U9Wp mtSuVG1qb6ouVZ86lGpMHU4dSR1PnUidSjWlTqfOpM6mzqUupa6krqaupa6n bqRuplpSd1OtqfuptlR76mGqI9WZepLqSj1NdaeepZ6nelK9qRepl6n+1KvU QOp16k3qXepD6mPqU2owNZT6mvqWGkmNpn6kxlLjqV+p36mJ1J/Uv1QgBaTg FJrCUniKSIVTZIpO8SkhJaaklJxSUmpKS8VTiVQyNSk9OT0lPS09PT0jnZee lZ6Tzk/PS89PL0gXphelF6eXpIvSy9LL08XpFemV6VXp1ek16XXp9en/0hvS G9Ob0pvTW9KV6ar09vTOdHW6Jl2b3p3ek96b3peuS9en96cPpA+mG9JH0kfT x9In06fSp9Nn0ufSF9LN6YvpS+nL6avpa+nr6RvpW+nb6Tvp1nRbuj39IP0o 3ZF+nO5MP0n3pPvSL9L96VfpgfTr9Jv02/S79Pv0h/Tn9Jf0UHo4/S39PT2a Hkv/TI+nf6X/pP+m/6UDaTANpZE0mg6mQ2kqTaeZNJuOpLk0n46mpbSSjqXV tJZOpJPpqZkpmemZvMzMzKzM7Ex+Zm5mXqYgMz+zIFOYWZhZlCnKLM0UZ1Zk SjIrM2syazOlmfWZssx/mY2ZTZnyzNbMtkxFpiqzPbMjU52pydRmdmf2Zuoy 9ZkDmYOZQ5mGTGPmcOZ45kSmKXM6czZzLnM+05y5mLmUuZK5mrmWuZ5pydzO 3M20Zu5l7mfaMu2Zh5lHmY5MZ+ZJpivzNNOdeZZ5nunN9GX6M68yA5m3mXeZ 95mPmcHMUOZrZiQzmvmRGcuMZ35nJjJ/M/8ygQyQATNQBsmgGSITyoQzZIbO sBkuw2eEjJiRM0pGzWiZeCaVSWcm6ZP1Kfo0fbo+Q8/TZ+qz9Nn6HD1fn6cX 6PP1BXqhvkhfrC/Ri/Sl+nK9WC/RV+mr9VJ9nb5e/0/foG/UN+mb9S36Vr1C r9R36jV6rb5b36Pv0+v0en2/fkA/qB/SG/RG/bB+RD+qH9OP6yf1Jv2cfl6/ oDfrF/VL+mX9un5Dv6Xf1u/od/V7+n29XX+gP9I79Md6p96lP9W79Wf6c71H 79X79Jd6v/5Kf62/0d/q7/UP+if9s/5FH9SH9K/6sP5NH9G/6z/0n/q4/kv/ rU/of/S/OqCDOqpjOq4HdUIP6aTO6Kwe0QU9qku6rCt6TFd1TU/oST2lp/VJ 2cnZKdlp2RnZvOys7JzsvGxBdn52QbYwuzi7JLssuzxbnC3JrsquzpZm12XX Z8uy/2U3ZDdlN2e3ZCuzVdnt2Z3Zmuzu7J7s3uy+7P7sgezB7KFsQ7YxeyR7 NHssezx7Mnsq25Q9kz2bPZ+9kG3OXsxeyl7OXslez97I3sy2ZG9l72Rbs/ey bdkH2cfZJ9mu7NNsd7Yn25t9kX2Z7c++yr7Ovsm+zb7Pfsh+yn7ODmaHssPZ b9nv2dHsj+zP7Hj2V3Yi+yf7N/svG8gCWTCLZrFsMEtkQ1kqS2eZLJuNZLls NCtl5Wwsq2a1bCKbzurZqcYUY7oxw8gzZhqzjNlGvjHXKDAWGIXGQmORsdhY YhQZS41lRrGxwigxVhmrjTXGWqPUKDM2GpuMLUa5sdXYZlQYlUaVsd2oNmqM XUatsdvYa+wz6ox6o8FoNI4Yx40TximjyThtnDXOGeeNC0azcdm4Ylw1rhk3 jRbjlnHXaDXuGfeNNuOB8dDoMDqNJ8ZTo9t4Zjw3eoxeo894abwyBox3xnvj o/HJGDSGjK/GN2PE+G6MGj+MMWPc+G1MGH+Nf0bAAAzQgAzYQAzMwI2gQRgh I2yQBm0wRsTgDN4QDNGQDcVQDc2IGwkjaaSMtJExssZkc7qZZ840Z5v55lxz nllgzjcXmovMInOpWWyWmCvN1eYac61Zaq43y8z/zA3mRnOTudksN7ea28wK s8rcbu4wd5rVZo25y6w1d5t7zL1mnVlv7jcPmIfMBrPRPGweNY+bJ8xTZpN5 2jxjnjXPmefNZvOiecm8bF41r5nXzZtmi3nHvGu2mvfMNvOh+cjsMDvNJ2aX +dTsNp+ZvWaf+cJ8afabr8wB8435zvxgfjQ/m4PmkPnVHDFHzR/mmDlu/jJ/ mxPmH/OfGTBBEzJhEzFxkzDDJmlSJm0yJmfypmCKpmTKpmLGTNXUzISZNFNm xtTNrGmYk6yp1mRrmjXdyrNmWrOtfGuuVWAtsAqthdYia4lVZC21llvF1gqr xFplrbbWWGutUmudtd4qs/6zNlmbrXJrq7XNqrAqrSpru1Vt1Vi7rFprt7XH 2mvts+qseuuA1WA1WkesY9Zx64R1ymqyTltnrXNWs3XZumJdta5ZN6ybVot1 12q17ln3rTar3XpoPbI6rMdWp/XEemp1W8+s51av1We9tF5ZA9Zr6431znpv fbQ+WZ+tL9agNWR9tYatEWvU+mGNWT+tceu3NWH9sf5ZAQuwQAuyYAuxUAu3 ghZhhaywRVqURVuMxVq8JViiJVmypViqpVlxK2ElrZSVsXQra5nWVHu6PdOe bc+x8+259jy7wJ5vL7AX2ovsxXaRvdRebhfbK+wSe6W9xl5rl9rr7TJ7g73R 3mRvtsvtrfY2u8KutKvs7fYOu9reZdfae+y9dp1db++3D9gH7UN2g91oH7aP 2CfsU3aTfdo+a5+zm+2L9hX7qn3Nvmm32Hfsu3arfc++b7fZ7fZDu8N+bHfa XfZTu9t+Zj+3e+xeu89+Yffbr+wB+639zn5vf7Q/21/sIfurPWyP2KP2mP3T Hrd/2b/tCfufHbAhG7YRG7Vxm7DDNmlTNmvztmCLtmwrtmprdtxO2ik7bWfs rG3Ypm3ZU53JzjRnujPDmenMduY4+c5cZ55T4CxwCp2FziJnqVPsrHBKnJXO KmeNU+qsc8qcDc5mp9zZ6mxzKpwqZ7uzw9npVDs1zi6n1tnj7HXqnENOg9Po HHaOOEedY85x55Rz2jnjnHXOOeedZueSc8W56lxzbjg3nRbntnPXaXXuOfed Nqfdeeg8cjqcTueJ0+U8dbqdZ85zp8fpdfqcF06/88oZcN45H5yPzhdn0Bly vjrDzojz3Rl1fjhjzrjz25lw/jr/HNCBHNhBHNTBHNwJOoQTdkiHcmiHcVgn 4vCO4EQd0ZEdxVEdzYk7SSflZJysYzimYzm2M8md6k52p7jT3RnubHeOm+/O dQvc+W6hu9Bd5Ba5xe4Kt8Rd6a5x17ql7jp3vVvmbnDL3a3uNrfCrXSr3O3u DnenW+3WuLvcWnevW+fWu4fcBrfRPewec4+7J9yT7im3yT3tnnXPuefdZveK e9W97t5wb7q33DvuXbfVvefed9vcdrfD7XSfuF3uU7fbfeY+d3vdPveVO+C+ dd+5H91P7qA75H51h91v7og76v5wx9yf7rj7y/3tTrh/3L/uPzfggi7kwi7i oi7uBl3CDbukS7uMy7oRl3N5V3RlV3FjrupqbtxNuEk35abdjKu7WddwTddy bddxJ+Um56bkpuWm52bk8nKzcnNy+bl5ufm5BbnC3MLc4tyS3NLcslxxbkWu JLcqtzq3Nrcutz73X25DbmNuU25zbkuuIleZ25mrztXkduf25epy9bn9uQO5 g7lDuYZcY+5I7mjuZO5Uril3OncmdzZ3Pnch15y7mLuUu5y7kruWu567kbuV u527k2vN3cu15dpzD3KPch25x7mu3NNcd+55rif3Ivcy158byL3Ovcm9zb3P fch9zH3Kfc59yQ3lhnPfct9zP3JjuZ+5P7m/uX+5QA7IgTkkh+awXDBH5EK5 cI7K0Tkmx+YiOS4n5mK5eC6RS+cyOT2XzRk5K+fk3Nwkb6o32ZviTfOmezO8 PG+WN9ub483z5nsLvEJvsbfEK/KWecu9ld4qb7W3xiv11nnrvf+8Dd5Gb5O3 2dvmVXpV3nav1tvt7fH2eXXefu+Ad9Br8I54R71j3nHvhHfKa/LOeOe9C16z d9G75F32rnjXvOveDe+md9u7493z7nvt3gPvkdfhPfaeeE+9bu+Z1+P1eS+8 l16/99p747313nsfvI/eJ++z98Ub9Ia8Ye+b990b9X54Y95P75f32/vj/fX+ eQEP8EAP8hAP9TAP9wgv5JEe5dEe47FexOM83hO8qCd6kid7MS/hpby0p3tZ z/Rsz/Vy3lR/ij/Nn+7P8PP8mf4sf7Y/x8/35/oF/nx/gb/QX+Qv9pf4Rf5S f5lf7K/wS/yV/ip/tb/GX+uX+uv8Df4mf7O/xd/qb/Mr/Cp/u7/Dr/Zr/F1+ rb/X3+fX+fX+Ib/Bb/QP+0f8o/4x/7h/wj/pn/Kb/NP+Wf+cf96/4F/0L/mX /Sv+Vf+af8O/6bf4t/w7/l3/nn/fb/cf+o/8Dv+x3+k/8bv8p/4z/7nf4/f6 ff4L/5U/4L/z3/sf/I/+J/+LP+gP+V/9Yf+bP+L/8Mf8cf+X/9uf8P/5AR/0 IR/2ER/3CT/skz7l0z7vC77oy77iq77mx/2En/RTfsbP+oZv+pZv+47v+v8D taW94w== "]}]}, InterpretationBox[ RowBox[{ TagBox["Graph", "SummaryHead"], "[", DynamicModuleBox[{Typeset`open$$ = False, Typeset`embedState$$ = "Ready"}, TemplateBox[{ PaneSelectorBox[{False -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource[ "FEBitmaps", "SquarePlusIconMedium"]], ButtonFunction :> (Typeset`open$$ = True), Appearance -> None, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], GraphicsBox[ GraphicsComplexBox[{{ 0.1, -3.31951456589972}, {-0.14816751450286603`, \ -2.625037331552915}, {0.6310524421714278, -1.3}, { 0.9405108616213151, -2.8841601437046225`}, { 0.4967448863824806, -2.092358403567382}, {-0.846735323402297, \ -1.466588600696043}, {0.8846460183439665, -0.5107506168284197}, { 1.8939086566530445`, -2.50980168725566}, { 1.756629266633539, -3.4622764737192444`}, { 2.119361963550152, -2.99}, {-0.5709741939515942, \ -4.632295267644082}, { 0.20977925607671288`, -4.647162049737781}, \ {-1.0861820131541373`, -4.047493574735101}, {-1.2223073729506904`, \ -2.2040562174063485`}}, { Hue[0.6, 0.7, 0.5], Opacity[0.7], Arrowheads[0.], ArrowBox[{{1, 2}, {1, 4}, {1, 11}, {1, 12}, {1, 13}, {2, 3}, {2, 4}, {2, 5}, {2, 6}, {2, 14}, {3, 4}, {3, 7}, {4, 5}, {4, 8}, {4, 9}, {8, 10}, {9, 10}}, 0.0378698213750627], Hue[0.6, 0.2, 0.8], EdgeForm[{ GrayLevel[0], Opacity[0.7]}], DiskBox[1, 0.05], DiskBox[2, 0.05], DiskBox[3, 0.05], DiskBox[4, 0.05], DiskBox[5, 0.05], DiskBox[6, 0.05], DiskBox[7, 0.05], DiskBox[8, 0.05], DiskBox[9, 0.05], DiskBox[10, 0.05], DiskBox[11, 0.05], DiskBox[12, 0.05], DiskBox[13, 0.05], DiskBox[14, 0.05]}], AspectRatio -> 1, Background -> GrayLevel[0.93], ImagePadding -> 0, FrameStyle -> Directive[ Opacity[0.5], Thickness[Tiny], RGBColor[0.368417, 0.506779, 0.709798]], Frame -> True, FrameTicks -> None, ImageSize -> Dynamic[{ Automatic, (3.5 CurrentValue["FontCapHeight"])/ AbsoluteCurrentValue[Magnification]}], PlotRange -> {{-1.1, 2.4}, {-4.4, -0.7}}], GridBox[{{ RowBox[{ TagBox["\"Vertex count: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["200", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Edge count: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["13930", "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> { "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}], True -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource[ "FEBitmaps", "SquareMinusIconMedium"]], ButtonFunction :> (Typeset`open$$ = False), Appearance -> None, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], GraphicsBox[ GraphicsComplexBox[{{ 0.1, -3.31951456589972}, {-0.14816751450286603`, \ -2.625037331552915}, {0.6310524421714278, -1.3}, { 0.9405108616213151, -2.8841601437046225`}, { 0.4967448863824806, -2.092358403567382}, {-0.846735323402297, \ -1.466588600696043}, {0.8846460183439665, -0.5107506168284197}, { 1.8939086566530445`, -2.50980168725566}, { 1.756629266633539, -3.4622764737192444`}, { 2.119361963550152, -2.99}, {-0.5709741939515942, \ -4.632295267644082}, { 0.20977925607671288`, -4.647162049737781}, \ {-1.0861820131541373`, -4.047493574735101}, {-1.2223073729506904`, \ -2.2040562174063485`}}, { Hue[0.6, 0.7, 0.5], Opacity[0.7], Arrowheads[0.], ArrowBox[{{1, 2}, {1, 4}, {1, 11}, {1, 12}, {1, 13}, {2, 3}, {2, 4}, {2, 5}, {2, 6}, {2, 14}, {3, 4}, {3, 7}, {4, 5}, {4, 8}, {4, 9}, {8, 10}, {9, 10}}, 0.0378698213750627], Hue[0.6, 0.2, 0.8], EdgeForm[{ GrayLevel[0], Opacity[0.7]}], DiskBox[1, 0.05], DiskBox[2, 0.05], DiskBox[3, 0.05], DiskBox[4, 0.05], DiskBox[5, 0.05], DiskBox[6, 0.05], DiskBox[7, 0.05], DiskBox[8, 0.05], DiskBox[9, 0.05], DiskBox[10, 0.05], DiskBox[11, 0.05], DiskBox[12, 0.05], DiskBox[13, 0.05], DiskBox[14, 0.05]}], AspectRatio -> 1, Background -> GrayLevel[0.93], ImagePadding -> 0, FrameStyle -> Directive[ Opacity[0.5], Thickness[Tiny], RGBColor[0.368417, 0.506779, 0.709798]], Frame -> True, FrameTicks -> None, ImageSize -> Dynamic[{ Automatic, (3.5 CurrentValue["FontCapHeight"])/ AbsoluteCurrentValue[Magnification]}], PlotRange -> {{-1.1, 2.4}, {-4.4, -0.7}}], GridBox[{{ RowBox[{ TagBox["\"Vertex count: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["200", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Edge count: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["13930", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Type: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"undirected graph\"", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Connected graph: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ DynamicBox[ ToBoxes[ ConnectedGraphQ[Typeset`sgraph$$], StandardForm], SynchronousUpdating -> False, TrackedSymbols :> {}, CachedValue :> AnimatorBox[ 0, {0, Infinity}, AppearanceElements -> "ProgressSlider", ImageSize -> 20]], "SummaryItem"]}]}, { RowBox[{ TagBox["\"Acyclic graph: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ DynamicBox[ ToBoxes[ AcyclicGraphQ[Typeset`sgraph$$], StandardForm], SynchronousUpdating -> False, TrackedSymbols :> {}, CachedValue :> AnimatorBox[ 0, {0, Infinity}, AppearanceElements -> "ProgressSlider", ImageSize -> 20]], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> { "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}]}, Dynamic[Typeset`open$$], ImageSize -> Automatic]}, "SummaryPanel"], DynamicModuleValues:>{}], "]"}], Typeset`sgraph$$, Editable->False, SelectWithContents->True, Selectable->False], DynamicModuleValues:>{}], Setting[#, {0}]& ]], "Output", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, 3.773744975044239*^9}, CellLabel->"Out[2]="] }, Open ]], Cell["Summary properties:", "Text", CellGroupingRules->"NormalGrouping"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"ResourceData", "[", RowBox[{"\"\\"", ",", "All"}], "]"}], "[", "\"\\"", "]"}]], "Input", CellContext->Notebook, CellFrameLabels->None, CellLabel->"In[2]:="], Cell[BoxData[ TagBox[GridBox[{ {"\<\"Name\"\>", "\<\"Second DIMACS Sanchis Graph 2\"\>"}, {"\<\"VertexCount\"\>", "200"}, {"\<\"EdgeCount\"\>", "13930"}, {"\<\"Description\"\>", "\<\"The Second DIMACS Implementation Challenge: \ 1992-1993 \"\>"}, {"\<\"ByteCount\"\>", TemplateBox[{ "1600.4560000000001`", "\"kB\"", "kilobytes", "\"Kilobytes\""}, "Quantity"]} }, AutoDelete->False, FrameStyle->RGBColor[0, 0, 0, 0.4], GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxBackground->{"Columns" -> { RGBColor[0.92, 0.92, 0.9]}, "Rows" -> {{ RGBColor[0.985, 0.98, 0.973]}}}, GridBoxDividers->{"Columns" -> { RGBColor[0, 0, 0, 0.4], RGBColor[0, 0, 0, 0.3], { RGBColor[0, 0, 0, 0.09]}, RGBColor[0, 0, 0, 0.4]}, "Rows" -> { RGBColor[0, 0, 0, 0.4], { RGBColor[0, 0, 0, 0.08]}, RGBColor[0, 0, 0, 0.4]}}, GridBoxFrame->{"ColumnsIndexed" -> {{{1, -1}, {1, -1}} -> True}}, GridBoxItemSize->{"Columns" -> {{All}}, "Rows" -> {{1.3}}}, GridBoxItemStyle->{"Columns" -> {{ Directive[FontWeight -> "Light", FontFamily -> "Helvetica Neue"]}}, "Rows" -> {{ Directive[FontWeight -> "Light", FontFamily -> "Helvetica Neue"]}}}, GridBoxSpacings->{"Columns" -> { Offset[1.4], { Offset[1.75]}, Offset[2.1]}, "Rows" -> { Offset[1.2], { Offset[0.48]}, Offset[0.4]}}], "Grid"]], "Output", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, 3.773744978524391*^9, 3.780615918823495*^9}, CellLabel->"Out[2]="] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Basic Applications", "Subsection", CellFrame->False, ShowCellBracket->True, CellMargins->0, CellFrameMargins->{{66, 8}, {8, 8}}, CellFrameColor->GrayLevel[1], CellFrameLabelMargins->6, CellSize->{Automatic, Automatic}], Cell["Show the properties of the graph:", "Text", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, {3.772800905394904*^9, 3.772800917097815*^9}, {3.7735921303338346`*^9, 3.773592135621241*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"g", " ", "=", " ", RowBox[{ "ResourceData", "[", "\"\\"", "]"}]}], ";"}]], "Input", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, {3.773588408329665*^9, 3.773588409940804*^9}}, CellLabel->"In[4]:="], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Dataset", "[", RowBox[{ RowBox[{ RowBox[{"<|", RowBox[{"#", "\[Rule]", RowBox[{"#", "[", "g", "]"}]}], "|>"}], "&"}], "/@", RowBox[{"{", RowBox[{ "GraphDiameter", ",", " ", "GraphDensity", ",", " ", "MeanGraphDistance", ",", " ", "GraphLinkEfficiency"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, {3.773591426742284*^9, 3.7735915191231623`*^9}}, CellLabel->"In[5]:="], Cell[BoxData[ TemplateBox[{ TagBox[ DynamicModuleBox[{ TypeSystem`NestedGrid`PackagePrivate`$state$$ = Data`UnorderedAssociation[ "DisplayedRowCount" -> 20, "RowCount" -> 4, "Length" -> 4, "InitialType" -> TypeSystem`Vector[ TypeSystem`Assoc[TypeSystem`AnyType, TypeSystem`Atom[Rational], 1], 4], "DisplayedColumnCount" -> 20, "DataRowCount" -> 0, "Shape" -> TypeSystem`PackageScope`Limited[ TypeSystem`PackageScope`ColumnShape[ TypeSystem`PackageScope`Limited[ TypeSystem`PackageScope`ColumnShape[ TypeSystem`PackageScope`KeyValueShape[ TypeSystem`PackageScope`UnknownShape, TypeSystem`PackageScope`AtomShape[34]]], 1, {All}]], 4, {}], "DataColumnCount" -> 0, "InitialData" -> TypeSystem`PackageScope`CacheHandle[1676755337], "Type" -> TypeSystem`Vector[ TypeSystem`Assoc[TypeSystem`AnyType, TypeSystem`Atom[Rational], 1], 4], "HandleQ" -> True, "Meta" -> {}, "RowTarget" -> 20, "Data" -> TypeSystem`PackageScope`CacheHandle[1676755337]], TypeSystem`NestedGrid`PackagePrivate`$path$$ = {}, TypeSystem`NestedGrid`PackagePrivate`$pos$$ = 1, TypeSystem`NestedGrid`PackagePrivate`$grid$$ = DynamicModule[{ TypeSystem`NestedGrid`PackagePrivate`renderedGrid = Deploy[ Style[ Grid[{{ Item[ Pane[ Pane[ Annotation[ RawBoxes[ StyleBox[ "GraphDiameter", FontFamily -> "Source Code Pro", FontSize -> 13, ShowStringCharacters -> True]], TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[ 1207332420][ GeneralUtilities`Slice[1, Key[GraphDiameter]]], "Mouse"], ImageSize -> {{60, Full}, Automatic}, Alignment -> {Left, Baseline}], ImageSize -> {{60, Full}, Automatic}], Background -> GrayLevel[0.95], Alignment -> {Left, Baseline}], Pane[ Annotation[ RawBoxes["2"], TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[1207332420][ GeneralUtilities`Slice[1, Key[GraphDiameter]]], "Mouse"], ImageSize -> {{34, Full}, Automatic}, Alignment -> {Left, Baseline}]}, { Item[ Pane[ Pane[ Annotation[ RawBoxes[ StyleBox[ "GraphDensity", FontFamily -> "Source Code Pro", FontSize -> 13, ShowStringCharacters -> True]], TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[ 1207332420][ GeneralUtilities`Slice[2, Key[GraphDensity]]], "Mouse"], ImageSize -> {{60, Full}, Automatic}, Alignment -> {Left, Baseline}], ImageSize -> {{60, Full}, Automatic}], Background -> GrayLevel[0.95], Alignment -> {Left, Baseline}], Pane[ Annotation[ RawBoxes["7/10"], TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[1207332420][ GeneralUtilities`Slice[2, Key[GraphDensity]]], "Mouse"], ImageSize -> {{34, Full}, Automatic}, Alignment -> {Left, Baseline}]}, { Item[ Pane[ Pane[ Annotation[ RawBoxes[ StyleBox[ "MeanGraphDistance", FontFamily -> "Source Code Pro", FontSize -> 13, ShowStringCharacters -> True]], TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[ 1207332420][ GeneralUtilities`Slice[3, Key[MeanGraphDistance]]], "Mouse"], ImageSize -> {{60, Full}, Automatic}, Alignment -> {Left, Baseline}], ImageSize -> {{60, Full}, Automatic}], Background -> GrayLevel[0.95], Alignment -> {Left, Baseline}], Pane[ Annotation[ RawBoxes["13/10"], TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[1207332420][ GeneralUtilities`Slice[3, Key[MeanGraphDistance]]], "Mouse"], ImageSize -> {{34, Full}, Automatic}, Alignment -> {Left, Baseline}]}, { Item[ Pane[ Pane[ Annotation[ RawBoxes[ StyleBox[ "GraphLinkEfficiency", FontFamily -> "Source Code Pro", FontSize -> 13, ShowStringCharacters -> True]], TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[ 1207332420][ GeneralUtilities`Slice[4, Key[GraphLinkEfficiency]]], "Mouse"], ImageSize -> {{60, Full}, Automatic}, Alignment -> {Left, Baseline}], ImageSize -> {{60, Full}, Automatic}], Background -> GrayLevel[0.95], Alignment -> {Left, Baseline}], Pane[ Annotation[ RawBoxes["0.999907"], TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[1207332420][ GeneralUtilities`Slice[4, Key[GraphLinkEfficiency]]], "Mouse"], ImageSize -> {{34, Full}, Automatic}, Alignment -> {Left, Baseline}]}}, BaseStyle -> {ContextMenu -> { MenuItem["Copy position to clipboard", KernelExecute[ TypeSystem`NestedGrid`PackagePrivate`toCurrentPosition[ TypeSystem`NestedGrid`PackagePrivate`copyClip]], MenuEvaluator -> Automatic], MenuItem["Copy data to clipboard", KernelExecute[ TypeSystem`NestedGrid`PackagePrivate`toCurrentData[ TypeSystem`NestedGrid`PackagePrivate`$state$$, TypeSystem`NestedGrid`PackagePrivate`copyClip]], MenuEvaluator -> Automatic], Delimiter, MenuItem["Paste position in new cell", KernelExecute[ TypeSystem`NestedGrid`PackagePrivate`toCurrentPosition[ TypeSystem`NestedGrid`PackagePrivate`cellPaste]], MenuEvaluator -> Automatic], MenuItem["Paste data in new cell", KernelExecute[ TypeSystem`NestedGrid`PackagePrivate`toCurrentData[ TypeSystem`NestedGrid`PackagePrivate`$state$$, TypeSystem`NestedGrid`PackagePrivate`cellPaste]], MenuEvaluator -> Automatic]}, FontFamily -> "Verdana", FontSize -> 12}, Alignment -> Left, RowMinHeight -> 1.5, Dividers -> All, FrameStyle -> GrayLevel[0.85], BaseStyle -> {FontFamily -> "Verdana", FontSize -> 12}], LineBreakWithin -> False, ContextMenu -> {}, NumberMarks -> False, ShowAutoStyles -> False]], TypeSystem`NestedGrid`PackagePrivate`initialQ = True, TypeSystem`NestedGrid`PackagePrivate`self = $Failed}, Dynamic[ TypeSystem`NestedGrid`PackagePrivate`setupViewPath[ TypeSystem`NestedGrid`PackagePrivate`$path$$, If[ Not[TypeSystem`NestedGrid`PackagePrivate`initialQ], Module[{TypeSystem`NestedGrid`PackagePrivate`tmpGrid$ = $Failed, TypeSystem`NestedGrid`PackagePrivate`tmpData$ = TypeSystem`NestedGrid`PackagePrivate`LookupCacheValue[ TypeSystem`NestedGrid`PackagePrivate`$state$$["Data"]]}, TypeSystem`NestedGrid`PackagePrivate`tmpGrid$ = If[TypeSystem`NestedGrid`PackagePrivate`tmpData$ === TypeSystem`NestedGrid`PackagePrivate`$NotCached, TypeSystem`NestedGrid`PackagePrivate`renderedGrid, TypeSystem`NestedGrid`PackagePrivate`renderGrid[ TypeSystem`NestedGrid`PackagePrivate`$state$$, TypeSystem`NestedGrid`PackagePrivate`$path$$, TypeSystem`NestedGrid`PackagePrivate`$pos$$, TypeSystem`NestedGrid`PackagePrivate`$grid$$, 1207332420][ TypeSystem`NestedGrid`PackagePrivate`tmpData$]]; If[ Not[ FailureQ[TypeSystem`NestedGrid`PackagePrivate`tmpGrid$]], TypeSystem`NestedGrid`PackagePrivate`renderedGrid = TypeSystem`NestedGrid`PackagePrivate`tmpGrid$]; Null]]; TypeSystem`NestedGrid`PackagePrivate`initialQ = False; TypeSystem`NestedGrid`PackagePrivate`$pos$$; If[ FailureQ[TypeSystem`NestedGrid`PackagePrivate`renderedGrid], TypeSystem`SparseGrid[ TypeSystem`H["(data no longer present)"]], If[GeneralUtilities`$DebugMode, Row[{TypeSystem`NestedGrid`PackagePrivate`renderedGrid, " ", TypeSystem`NestedGrid`PackagePrivate`formatState[ TypeSystem`NestedGrid`PackagePrivate`$state$$, TypeSystem`NestedGrid`PackagePrivate`$path$$, TypeSystem`NestedGrid`PackagePrivate`$pos$$]}], TypeSystem`NestedGrid`PackagePrivate`renderedGrid]]], TrackedSymbols :> {TypeSystem`NestedGrid`PackagePrivate`$pos$$}], DynamicModuleValues :> {}], TypeSystem`NestedGrid`PackagePrivate`$posCell$$, TypeSystem`NestedGrid`PackagePrivate`$topBar$$ = Dynamic[ TypeSystem`NestedGrid`PackagePrivate`alignBar[ TypeSystem`NestedGrid`PackagePrivate`$state$$][ TypeSystem`NestedGrid`PackagePrivate`makeFramedBar[ TypeSystem`PackageScope`Pathbar[ TypeSystem`NestedGrid`PackagePrivate`$path$$, TypeSystem`NestedGrid`PackagePrivate`updateState[ TypeSystem`NestedGrid`PackagePrivate`$state$$, TypeSystem`NestedGrid`PackagePrivate`$path$$, TypeSystem`NestedGrid`PackagePrivate`$pos$$, TypeSystem`NestedGrid`PackagePrivate`$grid$$, 1207332420]]]], TrackedSymbols :> {TypeSystem`NestedGrid`PackagePrivate`$path$$}], TypeSystem`NestedGrid`PackagePrivate`$bottomBar$$ = Framed[ Dynamic[ Replace[ MouseAnnotation[Null], { TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[1207332420][Null] -> "", TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[1207332420][ Pattern[TypeSystem`NestedGrid`PackagePrivate`path, Blank[]]] :> ( TypeSystem`NestedGrid`PackagePrivate`$lastPath = TypeSystem`NestedGrid`PackagePrivate`path; TypeSystem`NestedGrid`PackagePrivate`makePathTrail[ TypeSystem`NestedGrid`PackagePrivate`path, TypeSystem`NestedGrid`PackagePrivate`makePathElements]), Null :> Spacer[10], Blank[] :> Spacer[10]}], TrackedSymbols :> {}], FrameStyle -> None, ImageMargins -> 0, FrameMargins -> 0, Alignment -> Top, ImageSize -> {Automatic, 14}]}, DynamicBox[ ToBoxes[ Column[ If[TypeSystem`NestedGrid`PackagePrivate`$path$$ == {}, { TypeSystem`NestedGrid`PackagePrivate`displayScrollBar[ TypeSystem`NestedGrid`PackagePrivate`$grid$$, TypeSystem`NestedGrid`PackagePrivate`$state$$, TypeSystem`NestedGrid`PackagePrivate`$pos$$], TypeSystem`NestedGrid`PackagePrivate`onDesktopShow[ TypeSystem`NestedGrid`PackagePrivate`alignBar[ TypeSystem`NestedGrid`PackagePrivate`$state$$][ TypeSystem`NestedGrid`PackagePrivate`$bottomBar$$]]}, { TypeSystem`NestedGrid`PackagePrivate`$topBar$$, TypeSystem`NestedGrid`PackagePrivate`displayScrollBar[ TypeSystem`NestedGrid`PackagePrivate`$grid$$, TypeSystem`NestedGrid`PackagePrivate`$state$$, TypeSystem`NestedGrid`PackagePrivate`$pos$$], TypeSystem`NestedGrid`PackagePrivate`onDesktopShow[ TypeSystem`NestedGrid`PackagePrivate`alignBar[ TypeSystem`NestedGrid`PackagePrivate`$state$$][ TypeSystem`NestedGrid`PackagePrivate`$bottomBar$$]]}], Spacings -> If[TypeSystem`NestedGrid`PackagePrivate`$path$$ == {}, 0, {{}, {0, 0.05, 0}}]], StandardForm], ImageSizeCache -> {218., {56.634033203125, 62.365966796875}}, TrackedSymbols :> { TypeSystem`NestedGrid`PackagePrivate`$state$$, TypeSystem`NestedGrid`PackagePrivate`$grid$$}], BaseStyle -> {LineBreakWithin -> False}, Deinitialization :> TypeSystem`NestedGrid`PackagePrivate`deleteState[ TypeSystem`NestedGrid`PackagePrivate`$state$$], DynamicModuleValues :> {}, Initialization :> Block[{$ContextPath = $ContextPath}, Needs["TypeSystem`"]]], Deploy, DefaultBaseStyle -> "Deploy"]}, "CopyTag", DisplayFunction->(#& ), InterpretationFunction->("Dataset[<>]"& )]], "Output", CellChangeTimes->{{3.696377005707614*^9, 3.69637702247129*^9}, { 3.696377225845625*^9, 3.696377236186659*^9}, 3.696377278504891*^9, { 3.696377319054945*^9, 3.6963773247475147`*^9}, 3.6963774601870575`*^9, { 3.696377490692107*^9, 3.696377510279066*^9}, 3.773591519664216*^9, 3.773592813518729*^9, 3.773744649636367*^9, 3.773744982825972*^9}, CellLabel->"Out[5]="] }, Open ]] }, Open ]] }, ClosingSaveDialog->False, WindowSize->Automatic, WindowMargins->Automatic, WindowTitle->"Second DIMACS Sanchis Graph 2 | Example Notebook", Visible->True, DockedCells->{}, FrontEndVersion->"13.2 for Mac OS X x86 (64-bit) (November 18, 2022)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[642, 23, 227, 7, 70, "Subsection",ExpressionUUID->"f21a34d9-9720-4614-9aea-08d691a424aa"], Cell[872, 32, 35, 0, 70, "Text",ExpressionUUID->"2ba0aab5-9fee-4aa6-88d4-9480d26f6f0a"], Cell[CellGroupData[{ Cell[932, 36, 175, 5, 70, "Input",ExpressionUUID->"c1867c40-37e6-463e-9422-61d3401ec2be"], Cell[1110, 43, 46024, 805, 70, "Output",ExpressionUUID->"31f9c87e-150a-4a9c-84de-f8bdbca58454"] }, Open ]], Cell[47149, 851, 73, 1, 70, "Text",ExpressionUUID->"2ff9455b-3e76-4683-8383-4d7e4f695ef9", CellGroupingRules->"NormalGrouping"], Cell[CellGroupData[{ Cell[47247, 856, 243, 7, 70, "Input",ExpressionUUID->"8838f8b1-a891-4971-8234-5185dbf6fb76"], Cell[47493, 865, 1801, 45, 70, "Output",ExpressionUUID->"399d9039-55e9-4199-9b0e-08ec3f684ba2"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[49343, 916, 231, 7, 70, "Subsection",ExpressionUUID->"01611b50-e7b3-46b6-8159-6e23121a813f"], Cell[49577, 925, 410, 5, 70, "Text",ExpressionUUID->"dab68884-bc95-4b2a-977d-ab35752a8ee6"], Cell[49990, 932, 496, 11, 70, "Input",ExpressionUUID->"22c1595e-0319-4733-a953-46f4c5b8e7a2"], Cell[CellGroupData[{ Cell[50511, 947, 684, 16, 70, "Input",ExpressionUUID->"cce6c468-bf9e-41ac-a423-e06b24532048"], Cell[51198, 965, 13910, 263, 70, "Output",ExpressionUUID->"90ae537b-a82d-436f-bbb6-2b58d4645d06"] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)