(* 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[ 66274, 1257] NotebookOptionsPosition[ 64639, 1218] NotebookOutlinePosition[ 65078, 1237] CellTagsIndexPosition[ 65035, 1234] WindowTitle->Second DIMACS Sanchis Graph 12 | Example Notebook WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["Basic Examples", "Subsection"], 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, 2, 3, 4, 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:eJwUxWdbMYwCAODXKlRGVkgRWVEiRCqh0jBDEiEku8jeRBSJijy/9lzn/nLT 7hPme+B///3Hk/z33/8HAAEgIAgABoJBYAAEDAHMAGcAs+BZyOzMLAAKhIKg YOgsFAADwcAwCGwGBoWB4GA4BD4Lh8IBc8A50Bx4bmZudg42B58DzUPmZ+Zn 56HzsHngAmhhdgG2AEAAESAEBDGLgCLgiDnEPGIBAUACkSAkBDmDnEVCkTAk HLmARCABKCAKjJpBzaKgKBhqDjWPWkAB0EA0CA1GQ9AzaCgahoaj59ALaAQa iQYughZnFmcXYYvwxblFxCJyEbWIXgRgQBgIZgYzi4FiYBg4Zg6zgEFh0Bgg FoQFYyHYGewsFo6dw85jF7BILBq7iMVgATggDoSD4KA4GA6Om8PN4xZwCBwS h8KhcYs4LA6AB+JBeDAegp/Fw/Fz+AU8Ao/Co/GLeAweRAATIIQZApQwT0AQ kAQUAU1YJGAIOAKeAFyCLM0szS5Bl2BL8KW5pfmlhSXEEmppcQmzhF3CLxGW gEQQEUKcIc4SoUQYEU6cI84TF4hIIoqIIeKIeCKBuEQEkEAkMGmGNEuCkmAk OGmONE9CkFAkNGmRhCFhSXgSgbREIpIAZCAZRAaTIeRZMpQMJ8+TF8gIMpKM IqPJi2QMGUvGkfFkAnmJTCQDloHLoGXwMmQZtgxfnltGLKOW0cuLy5hl7DJ+ mbC8tExcJi2Tl4EUMAVCmaHMUqAUGAVOmacgKCgKmrJIwVCwFByFQCFRyJRl CmAFtAJZmV2BrsBW4CtzK/MriBXkCnoFs4Jbwa8srZBWyCuUFcAqcBW0Cl6F rM6uQldhq/OrC6uIVeQqahW9ilvFrxJWiavk1eVVyurKKpAKos5QYdQ56jwV QUVSMVQsFUfFUwnUJSqRukylUFeoq1QADUgD0yC0GdosDUqD0xZoCBqShqKh aTgankagLdGINBJtmUahrdCoNMAaeA2yNrMGXYOtwdfm1hbWEGuotcU1zBp2 DbeGXyOsEdfIa5Q16hptDUgH0yH0GfosHUqH0+fo8/QFOoKOpKPpi3QMHUsn 0JfoRDqJvkxfoVPpa3QAA8gAMSCMGcYsA8qAMeYY8wwkA8VAMxYZGAaWgWcQ GSQGmbHMoDBWGVQGjQFYB66D1yHrM+uwdfj63Pr8OmIdtb64jl3HrePXl9aJ 65T1lXXq+to6fZ2xDmACmSAmmAlhzjKhTDhzjjnPRDCRTBQTzVxkYpk4Jp5J YC4xSUwyc5lJYa4wV5lUJo3JYK4zASwQC8yCsKAsOGuOtcBCsJAsFAvNwrCw LBwLz1piEVkkFplFYa2wqKw1Fp3FYK2zmCwgG8SGsKFsGBvOnmcj2Gj2IhvD xrJxbDybwF5iE9kkNpm9zKawV9irbCqbxl5j09kMNpPNYoM5EM4sB8qBceCc Oc48B8FBclAcNGeRg+FgOTgOnkPgEDnLnFUOlUPjrHHoHAZnncPksDhsDpAL 4oK5s1woF8ad5y5wkVwUd5GL4WK5OC6eu8QlcklcMneNS+cyuCwuhwvYAG6A NiAbsxuwDfjGwgZyA72B2cBu4DcIG0sbxA3yBmVjZYO6Qd9gbDA3OBtAHpgH 4c3wYLx53gIPwUPyUDw0b5GH4WF5OB6eR+AReSTeMo/CW+VReTTeGo/OY/DW eUwei8fmcXhcHoAP5IP4YD6EP8uH8mF8OH+OP89f4CP4SD6Gj+Xj+Hg+gb/E J/OX+RT+Cp/Kp/HX+Az+Op/F5/C5fMAmcBOyObM5uwndhG3CN+c2EZvITdQm enNxc2mTuEnaJG8ub1I2Vzdpm/RNxub6JnOTtcnZ5G5ubPI2+ZuALeAWaAuy NbsF3Zrbmt9CbqG3FrcwW7gtwhZ5a3lrdYu6Rd9ibK1vMbdYW+wtzhZ3a2OL t8Xf2twCCECCGQFUABPABXOCBQFSgBZgBFgBToAXLAlIArJgRbAqoApogjUB XcAQrAuYApZgQ8AT8AWbgi0BYBu4DdoGb0O2oduw7fnthW3UNnp7cRuzjdvG bxO2l7ZJ2+Tt5e2Vbeo2bZuxvb7N2eZu87c3t7e2AUKgECQEC2eEs0KoECac E84LUUK0cFGIEWKFOOGSkCgkCcnCFeGakC5kCNeFTCFLyBbyhHzhlnBbCBAB RSARWAQRzYqgIphoToQQIUUoEVq0KMKIsCK8iCAiisiiZdGqiCqiidZEdNG6 iCniiniiLZFAtC0C7IB2wDszO7M7sJ35HcQOage9s7iD2cHu4HbwO4SdpR3S DnlneWdlh7pD21nboe8wdpg7rB32Dm+HvyPY2d4R7gDFIDFYDBHPiKFimBgu nhcviBFilBgtxoixYryYIF4SE8UkMUW8IqaJ18R0MUO8LmaJOWKueEPME2+K BeJtsUgMkAAlIAlYMiOZlUAlMMm8ZEGCkKAkaMmiBCPBSnASvIQoIUnIkmUJ RbIiWZVQJWsShoQpYUu4kg0JT8KXbEoEkm2JUCKSAKRAKUgKlkKks1KoFCaF S+ek81KkFCVdlGKkeClRSpKSpRTpipQqpUnXpHQpQ7ouZUpZUraUI+VKN6Q8 KV+6Kd2SCqTbUqFUJN2RiqUSKXAXtAvZndmd3YXuwnbhu3O787sLu4hd5C56 F7uL28XvEnaXdom75N3lXcoudXdtd32Xtcve5exydzd2ebv8XcHu9q5wV7Qr 2ZXuAmQgGVgGkUFlMBlcNiebly3IEDKUDC3DynAygowoI8uWZasyqowmW5PR ZQzZuowlY8s4Mq5sQ7Yp25IJZNsyoUwk25GJZVLZrgwgB8pBcrAcIp+Vw+Rz 8nn5ghwhR8pRcrR8UY6RY+UE+ZKcKCfJyfJl+Yp8TU6Xr8uZcpacLd+Q8+Sb 8m25UC6Wy+SAPeAeaA+8B9mb2Zvdg+7N7y3sIfZQe4t7mD3sHm4Pv0fYI+8t 71H2VvZW92h7a3v0PcYec4+9x93b2OPt8fc297b2BHvCPdHezp54T7q3uyfb k+8BFEAFRDGjmFXAFHDFnGJesaBAKJAKtGJRgVFgFXgFQbGkICpICrJiWUFR rCqoCppiTUFXMBVsBUfBVfAUfIVAsa0QKkSKHYVYsauQKeSKPQVgH7gP2gfv Q/Zh+/B9xD5yH7WP3l/cx+7j9gn7xH3SPnmfsr+yv7pP21/bX99n7rP22fuc fd4+f39zf2tfuC/a39kX70v3d/cV++CD2QPowdzB/AHyAH2weIA5wB7gDvAH hIPlA8rB6gH1gHawdkA/YBysHzAP2Af8g82DrQPBwfaB8EB0sHMgPpAe7B7I D/YOFAf7B4BD4CHoEHwIOZw5nD2EHsIO4Ydzh/OHiEPUIeYQd4g/JBwuHRIP SYfkw+VDyuHK4eoh7XDtkH7IOFw/ZB6yDjmHG4e8Q/7h5qHgUHgoOhQfSg93 D2WH+4cHhwAlUAlWQpQzylklVAlTzikXlItKjBKnxCsJyiUlUbmspChXlDTl mpKuZCiZSraSo+QqN5R85aZySylQCpUi5Y5SopQqd5Vy5Z5SoQQdQY5mjmaP oEewI/jR/NHCEeIIeYQ+whxhj3BH+CPy0fLR6hH1iHZEP2IcMY9YR+wj7hHv iH8kONo+Eh2JjyRHu0fyo70jxdH+0eGR8gigAqpAKrBqVgVVwVRw1YIKqUKp 0KpFFVaFUxFURBVZtayiqFZUVBVNxVCtq9gqjoqr2lDxVJuqbZVQJVHtquSq PZVCta9Sqo5UADVIDVbPqKFqmBqunlMvqBFqpBqlRqsX1Rg1Vo1T49UE9ZKa qCapyeplNUW9oqaq19R0NUPNVLPUbPWGmqfmq7fU22qhWqTeUUvUUvWuWqaW q/fUCvWB+lCtVB+pVWqABqgBacAaiGZWA9XMaRY0CA1Ks6jBaLAavIagIWpI GrJmWUPRrGhWNVQNTbOmoWvWNWwNV7Oh4Wn4mk3Nlkag2daINDsasUai2dXI NXuaA41So9KoNYBj0DH4GHIMPYYfzx3PHyOOkceoY/Tx4jHuGH9MOCYek47J x8vHlOOV49Vj2jHjeP2Yecw6Zh9zjrnHvOOtY8Hx9rHwWHS8cyw93j2WHcuP 9473jw+OVceaY+AJ6AR8AjmZOYGewE7mTuZPECfIE/TJ4gnmBHuCO1k6IZ6Q TpZPKCf0E9YJ+4R/IjjZPhGeiE52TiQnuyeyE/nJ3oniZP/k4OTwRHWiPtGc HJ8AT0Gn4FPI6ewp9BR2Cj9dOEWcIk9Rp9hT0in5lHK6erp2yjhlnrJO2aec U+7pxin/dPtUeCo6FZ9KT2Wn8lPF6f7pwenhqfL06FR1qj7VnB6fArQgLVgL 0c5qoVqYFq6d0y5oEVqkFq1d1GK0WC1Oi9cStCQtWbuspWnXtHQtQ7uuZWpZ Wq52Q8vT8rWb2i2tQCvUirUS7a5WppVr97T72kOtUnukVWs12lMt4Ax0Bj6D ny2cIc5QZ+izxTPMGfYMf7Z0RjwjnVHOVs+oZ2tn9DPGGfuMc7Zxxjvjn22d Cc6EZ6KznTPJ2e6Z7Ex+tnemONs/OzxTnh2dqc80Z8dnJ2enZ9ozwDnwHHw+ cz57Dj2HncPP584XzhHnyHPUOfocc449x53jzwnnxHPy+eo59Zx2vnZOP2ec M89Z5+xzzvnGOf9883zrXHC+fS483zkXn0vOpee757Lz/fOD89Nz7TngAngB ugBfzFzMXkAvYBfwi/kLxAXyAnWBvsBcYC/wF8QL0gX5YvmCcrFysXpBvVi7 oF+sXzAvWBeci42LzQvBhfBi50J8IbmQXuxeyC7kF4qL/YuDi6ML1YX6Qntx fgG8BF1CLmcvEZfIS9Ql+nLxEnOJvcRd4i+Jl6RL8uXK5eol9ZJ2uXbJuFy/ ZF1yLzcu+Zebl1uXgsvtS+Gl6HLnUnwpuZReyi4VlweXysujS9Wl5vL48vTy 7PL88uISoAPpILo53bxuQYfQIXUoHVq3qMPosDqcDq9b0hF1JB1Zt6yj6FZ1 VN2ajqFb17F0bB1Hx9XxdFs6gW5bJ9Tt6CQ6mU6u29MpdPu6A92hTqk70ql0 ap1Gd6w71Z3pznUAPVAP0oP1EP2MHqqH6ef083qEHqlH6dH6RT1Gj9Xj9Hg9 Qb+kJ+nJeop+RU/V0/RreoaeqefoN/Q8PV+/qd/SC/TbeqFepN/RS/RSvUyv 0O/rD/RHepVeoz/Wn+hP9Vr9uf5Cf6nX6QEGoAFkABsghhnDrAFqgBnghjnD vGHBgDAgDSgD2rBowBiwhiUD0UAyUAwrhlUD1UAzrBnoBoZh3cAysA0cA9ew YeAZtgwCw7ZBZBAbJIZdg8wgN+wZ9g0HBqXhyKAyqA0aw7Hh1KA1nBt0Br0B YAQZwcYZ46wRZoQb540II9K4aMQYsUa8kWBcMhKNJOOykWJcMa4aqUaacc24 bmQaWUaOkWvkGfnGTaPAuG0UGsVGiVFqlBn3jArjgfHQqDQeGdVGjfHEeGrU Gs+Nl0adUW8EmIAmkAlsgphmTLMmmGnOtGBCmlAmtAljwppwJryJYFoykUxk 07KJYloxUU0005qJYWKaWCa2iWPaMPFMfNOmacu0bRKadkxik8QkNclMcpPC tG86MClNKpPadGzSms5MF6ZLk86kNxlMADPQPGuGmeHmOfO8GWFGmtHmRTPG TDAvmUlmsnnZTDGvmFfNNDPdzDCvm5lmlplt5pi55g0zz8w3b5uF5h2z2Cwx S81y8775wKw0H5lVZrX52HxiPjVrzefmS7POrDcbzEazyQy5mrmavYJewa/m ruavFq5QV+irxSvMFf5q6Yp8tXy1ekW/Wr9iXrGu2Ffcq40r3pXgavtKdLVz JbmSXu1eya7kV4qr/auDK+XV0ZXqSnN1fHVydXqlvTq7Or+6uLq80l8ZroxX pivzFcACtIAsYAvEMmOZtUAtcMucZcGCsCAtKMuiBWPBWfCWJQvRQrKQLcsW imXFsmqhWtYsdAvDsm5hWlgWtoVj4Vo2LHzLpkVgEVpElh2LxLJrkVsUln3L geXQorSoLGqLxnJsObGcWy4slxajxWQxW4BWkBVshVhnrFArzAq3zlnnrQtW hBVpRVsXrRgr1oq3EqxLVqKVZCVbl60rVqqVZl2z0q0M67qVZeVYN6w866Z1 yyqwbluFVpF1xyq2SqxS665Vbt2zKqz71gOr0qqyqq0a67H1xHpqPbOeWy+t eqvBarZeWYE2kA1im7HN2qA2uG3etmBD2lC2RRvGhrXhbHjbko1kI9sothXb qo1qo9sYNqaNbePYuDaejW/btG3ZBLZtm9C2YxPbJDapbde2Z9u3KW1HNpVN bTuxndoubJc2g81oM9mubBab1Qa8Bl1DrmeuZ6+h1/Dr+WvENfIadY2+XrzG XGOv8deE66Vr0vXy9cr16jX1mnZNv2Zcr19zrrnX/OvNa8H19rXweudaer17 LbuWX+9dK673rw+uldeqa/W15vr4WndtuDZdm6+vrq3XtmuAHWgH2cF2iH3G PmuH2xfsCDvSjrHj7AT7kp1oJ9nJ9mU7xb5qp9pp9jU73c6wr9uZdrada+fZ N+1bdoF92y60i+w7drFdYpfad+0y+559335gP7Qf2VX2Y/uJ/dSutZ/ZL+06 u8FutJvtV3ar3Wa/tgNugDegm5mb2Rv4zfzNwg3qBn2zeIO7wd8QbpZuiDek G/IN5Wb1hnqzdsO4Wb9h33BuuDcbN7wb/s3mzdaN4Gb7Rngjutm5kdxIb3Zv ZDfyG8XN/s3hzdGN6kZ9o7k5vjm90d6c3VzcXN7obvQ3hhvjjenGfHN1Y7mx 3thvAA6gA+QAOyCOGQfUAXPAHXOOBQfSgXKgHRgH3kFwLDmIDpKD4lhxrDqo DpqD7mA41h1MB8vBdnAcXMeGg+fYcggc2w6hQ+TYcUgdcseeY99x6DhyqB0a x7Hj1KFz6B0Gh9Fhclw5rA6bw+64cQBugbfgW8jtzC30FnYLv527nb9duF28 xdxib/G3hNvlW8rtyu3qLfWWdrt2S79l3K7fcm65t7zbrVvBreh251Z8K7mV 3spu5beK2/3bg9vDW+Wt6lZ9q7k9uT291d6e3+pu9bfGW9Ot+fbq1nJrvbXd Xt/ab29ugU6QE+KcdcKccOecc8GJcCKdaOeiE+PEOnFOvJPgXHISnWQnxbnq pDtZTraT4+Q6N5ybzi3ntlPo3HFKnXLnnlPh3HceOA+dSueRU+VUOzXOY+e5 89JpcBqdZueV0+K0Om3Oa6fDeesEukAusAvimnHNuqAumAvumnPNuxZcSBfK hXYtujAunAvvIriILpJr2UVxUV1rLqaL5WK7OC6ua8PFc226tlwCl9Alcu24 xC6Ja8+lcB24lK4jl8qldmlcZ65z14VL59K7DC6jy+Qyu65cFpfNde26cTlc ThfgDngHuoPczdxB72B3c3cLd4g75B3qbvEOe4e7w98R7pbuiHekO/Ld8h3l jnpHu2PcMe84d7w7/p3gbvtOeCe5k97t3snv9u4Ud8q7ozvVnfpOc6e9O7s7 v7u4u7zT3RnujHemO/Od9c52d31nv7u5c9w570BusHvGDXXD3HD3nHvejXAj 3Wj3ohvjxrnxboKb6Ka4V9yrbqqb5l5z090M97qb6Wa52W6Om+vecPPdm+4t t8C97Ra6RW6xW+KWunfde+5996H7yK1ya9wnbq37zH3uvnTr3Aa32X3ltrit bpv72n3rdrkBHqAH7IF4ZjxQD9wz51nwID0oD9qz6MF68B6CZ8lD9JA9yx6K h+qhedY8dA/Dw/SwPGwPx8P18Dx8z5ZH6BF5djxij8Qj9ex6ZB65R+HZ9xx4 lJ4jj8qj9mg8x54Tj9Zz5jn3XHguPQaPyXPlsXpsHrvnxuPwuDx3HrcH4AV6 QV6Id8Y764V6YV64d847713wIrxo76IX68V58V6Cl+glecleinfFu+qleRne dS/Ty/KyvRwv18vz8r2b3i2vwCvyir0S765X5pV7970H3kOv0nvkVXk13mPv iffUq/Weec+9l16dV+81eI1ek9fsvfJavTbvtdfudXhvvU6vy3vndXs9XsA9 8B58P3MPvYfdw+/n7xfukfeoe/T94j3mHndPuCfdk+9X7lfvaff0e8b9+j3n nnu/cc+737zfuhfcb98L70X3O/fie+m97F5+v3evuD+4P7xX3qvu1fea+9P7 s3v9veHeeG++v7q33dvvHffOe9f93b373nsP8AF9IB/YB/HN+GZ9UB/MB/fN +RA+pA/lQ/sWfRgf1ofzEXxLPpKP7Fvx0X0M37qP5WP7uL4NH9+35RP4tn1C n8i34xP7JD6pT+aT+/Z8B75Dn9J35FP51L5j34nv1Kf1nfnOfRc+nU/vM/iM PpPP7LP4rD6b79pn9934HL5bn9Pn8t353D6P794H9IP9UD/MD/fP+ef9C36E H+lH+dF+jB/rx/nxfoKf5F/2U/wr/lU/zb/mp/sZ/nU/08/1b/h5fr5/07/l F/i3/SK/2C/xS/1y/57/0K/0H/lVfrVf4z/2a/3n/gv/pV/n1/sNfqPf5Df7 r/wWv9V/7bf7HX6n3+V3+z1+r//eDwyAAuDATGA2AA3AAvOBhQAigAygAujA YgATwAZwAXyAECAGSIGVADVAC6wF6AFGYD3ADLAC7AA3sBHgBzYDWwFBYCcg DkgC0sBuQBaQB/YC+4GDwGFAGTgKqAOawHHgJHAa0AbOAheBy4AuoA+YA1cB a8AWuA7cBByB24Ar4A34AoAH4MPMw+wD/GHuYf4B8YB6QD8sPmAfcA/4B8LD 0gP5gfKw+kB9WHugPzAemA+sB/YD54H7sPHAfxA8bD9IHqQPsoe9B8XD/oPy Qf2geTh+OHnQPpw9nD/oHvQPhgfzw9WD5cH6YHuwP9w8OB6cD66Huwf3g+fB ++B78D8AgsAgKAgOzgRng/DgXHAhiAyiguggJogL4oOEIDFICpKDy0FKcCW4 GqQGaUF6kBFkBdlBbpAX5AcFwe3gTlAclASlwd2gLCgP7gUVwYPgYVAZPAqq gurgcfA0eBY8D14EdUFj0BQ0B6+C1uB10B68CTqCruBd0B30BL3B+6Av6A8G gg9BwCP4EfI48zj7CH2EPcIfFx4Rj8hH1OPiI+YR+0h4XHokPq4+Uh9pj2uP 9Mf1R+Yj65H9yHnkPm48bj5uPQofRY/iR8mj9HH3ce9x//Hg8fBR9ah+PH48 eTx7vHzUPeofDY+mx6tHy6Pt8frR/njz6Hi8fXQ93j16Hr2P94++x8DjwyMg BAqBQ7MhaAgWmgvNhxZCqBA6tBjChLAhQmgpRAyRQ8shSmg1RAutheghRogZ YoU4IW6IF+KHNkNbIVFIHJKEpKHdkCwkD+2FFKH90EFIGVKFjkMnIW3oLHQR ugzpQvqQMXQVsoSsoevQTcgZcoXuQu6QJ+QN3Yd8IX8oEHoIBUOPIUAYGAaF wWFIeCYMDcPCc+H58EIYGUaF0WFsGB8mhJfC5PByeCW8GqaF18KMMDPMDnPD G2FemB8WhsVhSVga3g3LwvLwXng/fBA+DCvD6rAmfBw+CZ+Fz8OXYUPYGDaF zWFL2Bq2ha/D9vBN+DbsDLvCd2F32BO+D/vDD+Fg+DEcCgMiwMhMBBqBReCR hQgygoqgI4sRbAQXwUcIkaUIMUKKrESoEVpkLUKPMCLrEWaEFWFHOBFuZCPC jwgioshORByRRmQReWQvoojsRw4ihxFlRBM5iZxGtJGzyEVEFzFETBFz5Cpi idgi9ogz4oq4I57IfcQXCUQeIsHIYyQUAUSBUVAUEp2JwqLw6Fx0IYqIIqOo KDq6GMVEsVFclBBdihKj5OhylBJdiVKjtCg9yoyyotwoL8qPbkaFUVF0JyqO SqLS6G5UFpVH96IHUWVUFVVHNdHj6En0NKqNnkXPoxfRy6g+aoyaouaoJWqN 2qLXUXv0NuqMuqJ3UXfUE/VG76P+aDD6GA1Fw9FIFBgDx2Zis7G52HxsIYaM oWOYGDaGixFiSzFijBRbjq3GqLG1GD3GjLFi7Bgnxo1txHgxfmwrJohtx4Sx nZg4JolJY7sxWUwe24spYocxZewodhI7jWljZ7Hz2GVMHzPETDFz7Cpmidli 1zF7zBG7jTljrthdzB3zxLwxX8wfC8QeYo+xUCwci8SiMUAcGAfFwXFIfCYO jcPi8PhcfD6+EEfEUXF0HBfHxwnxpTgpvhynxFfiq3FafC1Oj6/HWXF2nBPn xvnxrbggLoxL4tL4blwWl8cV8YO4Mn4UV8WP4yfx0/hZ/Dx+EdfF9XFD3Bg3 xc1xS9wWv47b47dxZ9wVv4u74564N34f98X98UD8If4YD8XD8Ug8FgckgAlw YiYxm4Al4Im5xHxiIYFMoBLYBC6BTxASSwlSgpxYTlASK4nVBDWxlqAnGIn1 BCvBTWwk+InNxFZiOyFMiBI7CXFCkpAmZIm9hCKxnzhMqBLqhCZxnDhJaBNn ifPERUKXMCSMCVPiKmFLXCfsiZvEbcKZcCXuEt6EPxFMhBLhRCQRTcQSoCfw 08wT7An+NPc0/4R8Qj2hn7BPuCf8E+Fp6Yn4RHoiPy0/UZ5WnlafqE+0J/oT 44n/tPUkeBI+iZ8kT7In+ZPi6eDp8En5dPSkftI8HT+dPJ0+aZ/Ons6fLp90 T8Yn05P5yfJkfbI92Z9unhxPt0/OJ9eT58n3FHh6eAo9hZ9iT4knwDPoGfw8 +wx9hj0vPCOf0c+Lz7hn/DPhmfy8/Ex5XnlefaY+rz2vPzOfWc/sZ87zxjPv mf+8+Sx43n4WPu88i58lz9Jn2bPief/54PnoWfWsftY8a5/Pns+fL591z4Zn 47P5+erZ8mx9tj07nm+fnc/uZ8+z9/n+2f8ceH58Dj2HnyPPsef489MzIAlM gpOQ5EwSmpxPIpLIJCq5mMQkcUl8kpBcShKTpCQ5uZykJFeS1CQ9yUiuJ5lJ VpKb3Ejyk5vJraQwuZMUJyVJWVKe3EsqkvvJg+RhUpk8SqqS6qQmeZI8TZ4l L5KXSV1SnzQlzUlr0pa8TtqTN8nbpDPpSt4l3Ulv8j7pSwaSD8lgMpQMJ6PJ eDKRBKRAKXAKkppJwVJzqfnUQgqRQqZQKXRqMYVN4VOE1FKKlCKnVlKrKWqK lmKl2ClOaiPFS/FTm6mtlCAlSu2kxClpSpbaTylTRylVSp06Tp2kTlNnqfPU ReoypU8ZUsaUKWVOXaUsKWvKnrpJOVK3KVfqLuVOeVLe1H3Kl/KnAqlg6jEV TkVS0VQi9ZR6TiVTgBfgC+gF/AJ5mXmZfZl7mX9BvKBfFl8wL7gX/AvxhfRC fqG8rLysvqy90F/WX1gv7BfOC/eF/7L5svUieNl+Eb6IXnZexC/Sl90X2Yv8 Ze9l/+Xg5fBF+XL0onpRvxy/nLycvmhfzl4uXnQv+hfLi/XF9nL9Yn+5eXG8 3L44Xzwv3pf7F//Lw0vw5fEl9BJ+ibxEX+IviZfkS+oFkp5Jz6ah6bn0QhqR RqYX05g0No1PL6WJaVKanF5Or6RX09Q0Pb2eZqbZaW6al95Mb6UFaWFalN5J i9OStDS9m5al5em9tCK9nz5IH6aV6aO0Oq1Jn6a16bP0efoifZnWpw1pY9qU Nqev0pa0LX2dtqcdaWf6Lu1Oe9L+dCD9mA6lw+lIOpaOpxPpp/RzOpUGZIAZ UAacgWRmMrMZaAaWgWfmMvOZhQwig8ygM7gMPkPKLGcomZUMNbOWoWcYmfUM K8POcDMbGV6Gn9nMCDLbGWFGlJFmdjOKzH7mIHOYUWaOMqqMOqPJnGROM2eZ i8xlRpfRZwwZY8aUMWcsGVvmJuPI3GacGVfmLuPOeDLezH3GnwlkQplwJpKJ Z54yz5lkJpVJZwBZUBachWRnsrNZaBaencvOZ9HZxSwmi8vis4QsKbucpWRX sqtZapaWXcvSs4zsepaZZWU5WW52I8vL8rNbWUFWmBVld7LirDQry8qz+9mD rDKryqqzmuxpVps9y55nL7KXWX3WkDVmTVlz9ipryV5n7dmb7G3WmXVl3VlP 9j7rywaywexjNpQNZyPZWDaefco+Z5PZl2w6m8kCcsAcKAfOzeRmc9AcPDeX m88hcsgcKofOLeYwOWwOl8PnCLmlHDm3nKPkVnL0HCO3nmPmWDlObiMnyG3n hDlRbicnzklzstxe7jCnzB3lVDlN7iR3mtPmznMXucucLmfIGXPmnCVnzdly 1zlH7jbnzLlydzlv7j7ny/lzgdxD7jEXyoVzkVw0F8slck+551w6l8llc4A8 MA/Kg/OQ/Ex+Ng/Nw/Lw/Fx+Po/II/OoPCaPzePy+DwhT8wv51fyq3lqnpZf y9PzzDw7z8lz8xt5Xp6f38oL8sK8KC/JS/O7eVlenlfk9/MH+cO8On+cP8mf 5rX5s/xlXpfX5415c/4qb83b8vb8Tf4278y78u68J+/N3+cf8o/5UD6Sj+Zj +UT+Kf+cT+Zf8ul8Jp/N5/LAAqgAKcwUZgvQAqwAL8wV5gsLBUQBWUAV0IXF AraAKywViAVSgVJYLVALtMJagVFYLzAL7AKnwC1sFHgFfmGzsFUQFLYLwoKo sFMQFySF3YKsIC/sFRSFw4KycFQ4LmgLZ4XzwkXhsqAr6AuGgrFgKpgLloKt cF24KTgKrsJdwVPwFnwFf+GhECw8FkKFcCFSiBZihUQhWUgXMoVsIVcAFkFF cBFSnClCi/DiXHGhiCyiiujiYhFTxBbxRUKRWCQXl4uU4kpxtUgt0or0IqO4 XmQWWUV2kVPkFjeKm8WtoqC4XRQWRcWdori4W5QV5UVFcb94UDwsKovqoqZ4 XDwpnha1xYviZVFXNBSNRVPRXLwq2orXRXvxpugquoueorfoK/qLgeJDMVh8 LIaKkWK0GCvGi4niUzFZTBVzxUIRWAKVwCVICVqCleZK86WFEqKELmFK2BKh RCyRSuTScolSWimtleglRolZYpXYJU6JW9oo8Ur80mZJUNouCUui0k5JXJKU pKXdkqwkL+2VFKWD0mHpqKQqqUua0nHppHRa0pbOSxclXUlfMpSMJVPJXLoq WUq2kr3kKN2WnCVXyV3ylLwlXylQeigFS4+lUClcipSipVgpXkqUnkrPpVTp pZQuZUrZUq6ULxVKxRKgDCqDy5DyTHm2DC3DyvDyfHmhjCgjy+jyYhlbxpXx ZUKZWCaVyeXl8kqZWqaV18r08nqZXeaUueWNMq/ML2+Wt8qC8nZ5pywuS8ry 8l5ZUT4oH5aVZVVZXdaUj8sn5YuyrqwvG8rGsqlsKVvLtvJ12V6+KTvLrrK7 7Cl7y/5yoPxYDpXD5Ug5Vo6XE+XncrKcKr+U0+VSGVABVsCVmQq0AqvAK3OV +cpCBVlBV7AVfIVQWaqQKuTKcoVSWamsVqgVWmWtQq8wKusVZoVV4VQ2KvzK ZmW7IqrsVCSV3YqsIq8oKvuVw4qyclRRVTSV04q2clY5r1xUdBV9xVAxVkwV c+WqYqlYK9cVe+Wm4qg4K67KXcVTua/4Kv5KoBKsPFZClXAlUolWYpVE5amS rKQq6Uqmkq3kKvlKoVKslCrlCqAKrIKqM9XZKqwKr85V56sLVUQVWUVV0VVM FVvFVfFVQnWpSqySqsvVlSq1SquuVelVZpVV5VS51Y0qv7pV3a6KqjtVcVVS lVf3qoqqsqqqaqrH1ZOqtnpWvazqq4aqsWqqmqvWqq1qrzqqt1Vn1VW9q7qr nup91Vf1VwPVh2qw+lgNVcPVSDVajVXj1WT1pZquZqrZaq6arxarpWq5WqkC asAauAapzdRma9AarAavzdUWaogasoaqoWu4GqG2VCPVyDVKbbVGrdFqazV6 bb3GrLFq7Bqnxq1t1LZqgtp2TVgT1cQ1SW23Jqspavu1o5q6pqkd105qpzVt 7bx2Ubus6WqGmrFmql3VLDVr7bpmr93UHDVnzVVz1zw1b81X89cCtWAtVIvU orVYLVF7qj3XUrWXWqaWreVq+VqhVqyVauVatQasg+qQ+mwdWofV4fW5+nx9 oY6oI+uoOrqOqWPruDqhvlQn1kl1cp1SX61T6/Q6o86sc+rc+kadX9+sb9UF 9e26sC6q79TFdUldWt+ty+ry+l59v35QP6wr66q6uq6pn9RP69r6ef2iflk3 1c11S91at9dv6o66s+6qu+u+eqD+UA/WQ/VwPVKP1mP1RP2p/lxP1rP1XD1f L9SL9VK9XK/Uq3VAA9gANcANSGO2AW3AGvDGfGOhgWggG+jGYgPTwDZwDUKD 2CA1lhsrjdUGrbHWoDcYDWaD1WA3uI2NBr+x1RA0thvChqix0xA3JA1pY7ch a8gbew1F46Bx2DhqqBqaxmnjrHHRuGzoGvqGoWFsmBtXDUvD2rA1rhv2xk3D 0bhtOBuuxl3D3fA0vI37hq/hbwQbj41wI9KINmKNROO5kWykGi+NdCPXKDRK jXKj2qg3AE1gE9Kcac42YU14c64530Q0kc3FJqaJbeKa+OZSk9QkNynNleZq k9qkNelNRnO9yWqym5wmt8lr8pubTUFzuylsipo7TXFT2txtypry5l5T0Txs KpuqpqZ50jxtaptnzfPmRfOyqW8amqamuWlpWpvXTXvzpulo3jU9TW/zvulr +psPzWAz1Aw3I81oM9aMNxPNp2a6mW3mm4VmsVlqVprVZq3ZaAJfQa/gV8jr zOvsK/QV9gp/nX9deEW8ol7Rr4uv2FfcK/6V8Lr0Snwlv1JeV19pr2uv9FfG K+uV88p93XjlvfJfN1+3XgWvolfJq/R191X+uve6/3rwevh69Kp61bwev56+ nr1evOpeTa9Xr5ZX66vt1f7qer17db/6Xv2vgdeH1+Dr42v4NfIafX16fX5N vqZe06/Z19xr4bX0Wn6tvFZf66+N1+YrsAVqgVuQ1kxrtgVrLbSQLVQL08K1 8K2lFrFFapFbyy1Ka6VFba216C1Gi9nitDZavBa/tdnaaglaotZOS9yStKSt 3ZasJW8pWvutg9ZhS9k6aqla6pamddw6aZ22tK2z1nnrsqVr6VuGlrFlaVlb 1y17y9G6bTlbdy13y9vytfyth1awFWqFW5HWUyvZemmlW5lWtpVr5VvlVqVV bdVa9Vaj1WwB2sA2uA1pz7Rn27A2vD3fXmgj26g2ur3YxrZxbXyb0F5qE9uk Nrm93F5pr7ZpbXp7vc1qs9v89nZb2Ba1d9qStrS925a199oH7cP2UVvd1rSP 26fts/Z5+7Ktaxvapra5fdW2tK1tW/u6bW/ftl3tu7a77Wnft/3tQPuhHWw/ tkPtcDvSjrZj7Xj7qf3cTrVf2ul2tp1vF9rFdqldblfb9Xaj3WwD3oBv4DfI 28wb9A32Bn+bf0O+od7Qb4tvmDfsG+4N/7b0RnyjvK2+Ud9ob2tv9Lf1N+Yb 6439xnvjv229Cd6Eb6I38ZvkTfomfzt4O3xTvh29qd6O307eTt+0b2dv528X b5dvujf9m+HN8mZ9s71dv9nfbt4cb84315v77f7N//bwFnwLvYXfom+xt/hb 4i35lnrLvOXe8m+Ft+Jb6a38Vn2rvzXemm+tt/YbsAPuzHRmO9DOXGe+s9BB dJAdVAfdWexgOrgOvkPoLHWIHVKH0lnprHaoHVpnrbPeYXZYHXaH0+F2Njr8 zlZH0NnpiDuSjrSz25F15B1F56Bz2FF2NJ3jzmlH2znrnHcuOrqOvmPomDrm jqVj61x37B1H57bj7Lg67o6n4+3cd/ydQOehE+w8dkKdeCfReeo8d5KdVOel k+5kOtlOrpPvlDrlTqXT6DQ7r51Wp90BdMHdme5sF9qFd+e6811EF9lFdRe7 2C6uS+gudYldUpfSXe1Su7Quo7veZXZZXU6X2+V3t7rbXVF3pyvpSru7XVlX 3t3rKrr73YOusnvUVXc13ePuSfe0e9Y97152dV1z96pr7dq6111n19W967q7 nq6vG+g+dB+7oW64G+lGu/FuovvUfe4mu6nuSzfbzXUL3WK31C13K91qt95t dl+7re5bt9MFvAPfwe+Q95n32XfoO/x97n3hHfGOfEe9o98X3wnvy++r79R3 2vvaO/2d8b7+znxnvbPfue8b77x3wbvoXfouf997V7zvvx++K9+P3lXv6nfN +8n76bv2/ez9/P3i/fJd9254N76b3s3vlnf7u+P99t317n73vPve/e8P78H3 x/fQe/Q99h5/T7wn31PvL+/p99x7/r3wXnwvvZffK++19/p747353n5/e+++ Az6AH+CP2Q/oB/xj/gP5gfpAf2A+sB+4D/wH4WPpg/hB+iB/UD5WP6gftI+1 D/oH42P9g/XB/uB8cD82Pngfgg/hh+hj50P6sfsh/9j7UHzsfxx8qD7UH5qP 44+Tj9OP84/LD92H/sPwYfwwf1g+rB/2D8fH7Yfz4+7D/eH58H7cf/g+Ah8P H8GPx4/IR/Qj/vH08fyR/Hj5yHxkP3IfxY/SR/mj8lH9qH3UPxofrY/2x9tH 9+P9A9AD9iC9md5sD9qD9xZ6iB6yh+ot9rA9XI/QI/eWe5Teao/Wo/cYvfUe q8fucXrc3kaP1+P3tnqC3k5P3JP0pD1Zb6+n6O33DnqHPWVP1VP3NL3j3knv tKftnfcuevqeoWfqmXtXPUvP1rvu2XuO3m3P2XP17nrunqfn7d33fD1/L9B7 6AV74V60F+vFe4neU++5l+q99DK9Qq/YK/WqvXqv0Wv2Wr1277330QP0gX1Q H9Kf6c/2oX1Yf64/31/oI/rIPqqP7i/2cX18n9Bf6hP7pP5yn9Jf6a/2qX1a f61P7zP6zD6rz+lv9Hl9fn+zv9UX9IV9UV/Sl/ZlfXlf0T/oH/aV/aO+uq/p H/e1/Yu+rq/vG/rGvqlv7l/1rf3rvr3v7Lv67r6n7+3f9319fz/Yf+yH+uF+ pB/tx/rxfqL/1E/10/1MP9vP9Qv9Yr/cr/Sr/Ua/2X/tt/rd/nv/o9/rAz/B n7BP+Ofc5/znwifyE/WJ/sR8Yj9xn4TP5c+Vz9VP6iftc+2T8bn+yfpkf3I+ Nz55n/zPrU/B5/an8FP0ufMp/pR+7n7KPuWf+5+Hn6pP9afm8+Tz9FP7efZ5 /nn5qfvUfxo/zZ+WT9vnzafj0/l59+n+9Hx6P+8/fZ/+z8Dnw+fjZ+gz/Bn5 jH7GPuOfic+nz+fP1OfLZ/oz+5n7LHwWP0uf5c/KZ/Wz9ln/bH6+frY+3z47 n/1PwAA4AA3AA8gAOoAN5gbzg4UBYoAaoAeLA9yAOCANyAPKYGWwOqAOaAPG gDlgDdgD7mBjwB9sDgSD7YFwIBrsDMQDyUA62B3IB3sDxWB/cDhQDo4GqoFm cDw4HWgHZ4PzwcXgcmAYGAemgXlgGVgH1wP74GbgGDgHrsHdwDO4HwQGD4Pg 4HEQGsQHicHTIDlIDdKDzCA7yA8Kg8qgPmgMmoPWoD14G3QG3cH7oDfoDz4H gC/gF+gL/AX5mvmCfsG+4F/zXwtfiC/U1+IX5gv7hfvCfy19Eb9IX7Qvxhfz i/XF/uJ8bXzxvvhfgq/tL+GX6GvnS/wl+ZJ+yb7kXwdfh1+qL/XX8dfJ1+mX 9uvs6/zr4uvyS/9l/DJ/Wb9sX9df9q+bL8fX7Zfzy/Xl/br/8n35vwJfD1+P X+GvyFf0K/b19PX8lfxKfb18Zb5yX/mv4lf5q/pV/2p8Nb9ev9pfb1+dr+7X +9fHV+9r8AUagoeQ4cwQOoQN4cO54fwQMUQO0UPMEDvEDfFDwpA4JA3Jw+Uh ZbgyXB3ShmtD+pAxZA25w40hb7g5FAyFQ9FwZygeSobS4e5QNtwbKob7w4Ph 0VA1VA81w5Ph6VA7PB9eDvVD49A0NA+vhpahdWgbXg/tw5uhY+gauoeeoXd4 P/QPA8OH4eMwNAwPI8P4MDF8GiaHqeHLMD3MDgvD4rA0LA8rw9qwOXwbdofv w49hb9gffg4HQ8AIOAKNIKOZEXQ0N5ofIUbo0eIIO8KN8CPCaGlEHJFG5BFl tDJaGzFGzBFrxB5xRtzRxog32hxtj4SjnZF4JBlJR7sj2Ug+Uoz2R4ejo5Fq pB4dj05G2tH56HKkHxlHppF5dDWyja5HNyPHyDlyj7wj38g/CoweRsFRaBQZ RUexUXz0NHoeJUep0csoPcqMsqPcKD8qjIqj8qgyqo7qo+boddQevY06o+6o NxqMvkbDEeAb+A36Bn9DvqHfsG/499z3/PfCN+Ib+Y36Rn9jvrHf+G/C99I3 8Zv8vfxN+V75pn7Tvte+17+Z36xv9jfnm/u98c3/3vze+hZ8S76l37vfsu+9 7/3vg2/l99G36lv9rfk+/tZ+n39ffF9+676N31fflm/b9/W34/v22/l99+35 vv/2ffu/A98P38Hv6HfsO/799P38nfpOf2e+s9+57/x34bv4Xfouf1e+q9+1 78b363fr++278/3+3fv+/B58f30Pv4E/oB/wD+Rn5gf+M/+D/sH+4H7wP4Sf pR/iD+ln+Yfys/Kz+kP9of0wftZ/mD+sH/YP92fjh/fD/9n82foR/Gz/iH52 fqQ/uz/yn70fxc/Bj/Ln6Efzc/xz9nPxc/mj+zH8mH7MP5Yf64/t5/rH/nPz 4/hx/rh+3D+eH+/P/Y/vx/8T+Hn4Cf6Ef6I/sZ/4T+Ln6ef5J/mT+nn5yfxk f3I/+Z/iT/Wn9lP/afw0f1o/7Z+3n85P9+f9p/fz+TP6+f4B/AJ/Qb/g35nf 2V/oL+x3/nfhF/mL+kX/Lv5if3G/+F/C79Iv8Zf0S/5d/l35Xf2l/a790n8Z v+u/zF/WL/9381f0u/Mr/pX+7v7KfuW/it+D38Pfo1/Vr/pX83v8q/09+z3/ vfjV/Rp+jb/m36tfy+/1r/3X+ev6vft1/3p+vb/+34ff0G/4N/Ib/Y39xn8T v8nf1G/6N/Ob/S38Vn6rv7Xfxm/z9/W39dv+ffvt/HZ/338/fj9/v35Hvz+/ wDFoDB7PjqFj2Bg+nhvPjxfGiDFyjBljx0tj4pg0Jo8p45Xx6pg6po3XxvTx +pg5Zo85Y+6YN+aPN8fCsWgsGUvH8rFivD8+GCvHqrF6rBkfj0/Gp2Pt+Gx8 Mb4cG8amsXl8NbaMrWPb+HpsH9+MHePbsXPsGt+N3WP/ODB+GAfHj+PQODyO jKPj2Php/DxOjlPjl3F6nBlnx7lxflwYF8elcXlcGVfHtXFz/Dpujdvjt3Fn 3B33xp/j4Xg0/hn/jgET4AQymZnMTqAT2AQ+mZsgJsgJerI4wU5wE8KENCFP lieUyeqEOmFM1iesCXvCmXAnvAl/sjnZmggnool4sjuRTeQTxeRwopwcTVST 48nJ5HSinZxNzicXk8uJfmKYmCZXE+vkemKf3ExuJ67J3cQ98Ux8k4dJcPI4 CU0ik+gkNolPnibPk+QkNXmZpCeZSXaSnxQnlUl1UpvUJ41Jc/I6aU3ak7dJ Z9KdvE8+Jr1Jf/I5GUyGk9HkZzKeAP7Af5C/mT/YH/xv4Q/xh/pb/MP+4f7w f4S/pT/iH+mP+sf4W/9j/rH+2H/cv40/3h//b/NP8Lf9J/wT/e38if8kf9K/ 3T/5396f4m//7+Dv6E/1p/7T/B3/nfyd/mn/zv90f/o/45/pz/Z38+f4u/1z /t39uf88f/d/vj//3+Nf+C/6F/uL/yX+nv6e/5J/qb+Xv8xf9i/3l/+r/tX+ Gn+vf62/zl/37/2v99f/+/wb/H39Df9Gf99/v3/jv8kfYAqcgqbg6cwUOoVN 4dO56fx0YYqYIqeoKXq6OMVMsVPcFD8lTIlT0pQ8XZ5SpivT1Sl1ujalTxlT 5pQ1ZU85040pb8qfbk0F0+2pcCqa7kzFU8lUOt2dyqd7U8V0f3owPZwqp0dT 9VQzPZlqp+fTy6luqp8apsapaWqeWqbW6c3UMb2dOqfeqW/qnwamj9PQNDyN TmPT+DQxfZomp6npyzQ9zU5z0/y0MC1OS9PytDKtTmvT12lr2p6+TbvT9+nH tD8dTb+nP9Pf6Xg6mQL/gf6B/0H+zfyb/Qf7B/8392/+38I/xD/kP9Q/9L/F f5h/2H+4f/h/hH/Ef6R/5H/L/yj/Vv6t/qP9W/tH/8f4t/6P9Y/9j/Nv4x/v H//f5j/Bv+3/FQQnbDE0AACAn/KhFFHuq+QWkSiVHBUdcuROocgRoiJnIUfk qCTK7uzszs597c7u7O7M7hy7MzvXz/re11XuOuA66KpwHXJVu2pdx1zHXXWu E64mV7PrlKvVdcZ11nXO1eY677rouuy66upwdbquu264brq6XN2uW67brh7X Hddd133XQ9cjV5/rsavfNeAadD11PXM9d71wvXK9dr1xDbtGXG9d71zvXaOu D66Prk+uL66vrm+u764frp+uCdcv17Trt2vG9dc15/rnynDPc//nnu9e4F7o znIvcue4c92L3Uvcee6l7nx3gXu5e4V7pXuVe7V7jXute517g3uju8hd7N7s 3uLe6t7mLnXvc5e597vL3QfdFe5Kd5W72n3YfcR9zF3nbnCfcJ90N7qb3M3u Fvcp92n3Wfd59wX3Rfcl92V3u7vD3em+7u5yd7tvuXvcd9x33ffcve4H7kfu fveg+4X7pfu1e9g94n7n/uj+5B5zf3WPu7+5v7t/uH+6J92/3NPuWfecOxOY B/wHzAcWAlnAIiAHWAzkAUuBZUA+UACsAFYDa4B1QCFQBGwCioGtwDZgO7AT KAF2A6XAXmAfUAaUAweAg0AFUAkcAqqAGuAwUAscBY4DdUA90ACcAE4CTUAz 0AKcAlqB08AZ4CxwDjgPXAAuA1eAq0A7cA3oADqB68AN4CbQBXQDt4DbQA9w B7gL3AceAI+Ax8ATYBB4CjwDhoDnwAvgJfAKGAHeA6PAB+Az8AX4CowD34Af wE9gApgEpoBfwDQwA/wB/gJzwD/ADWR45nsWeLI8izw5nlzPYs8yT76nwLPc s8Kz0rPKs9qz1rPes8Gz0VPoKfJs9mzxbPNs9+zw7PLs9uzxlHr2evZ5yjz7 PeWeKk+157Cn1nPUc9xT52nwnPCc9DR7WjynPK2es55znjbPec8FzyXPZU+7 55qnw9Ppue7p8nR7bnlue3o8dz33PL2eB54+z2PPE89Tz5Dnheel55XnjWfE 884z6vno+eT57Pni+eb57vnh+emZ8Ex6pjy/PNOe354Zz6xnzvPP4/K4PYAn A8wE54H/gQvAhWAWmAPmgovBJWAeuBRcBi4HV4KrwTXgWnAduB7cAG4EC8Ei cBNYDG4Gt4Bbwe3gDnAnuAssAfeApeA+sAzcD5aDB8FK8BBYDR4Gj4N1YD3Y AJ4AG8EmsBlsAVvB0+AZ8Cx4DmwDz4MXwIvgZfAq2A52gtfBm2AX2A3eBnvA O+Bd8B54H+wFH4KPwD7wMdgPDoJPwSHwOfgCfAm+Al+Db8BhcAR8C74D34Oj 4AfwE/gZHAO/guPgD3AK/AVOg7/Bv+AsOAf+A10gAHrADG+md553gXehN8u7 yLvYu8Sb5833FnhXeFd6V3lXe9d413rXedd7N3g3eou8xd6t3h3end5d3t3e Pd5S717vPm+Zd7+33HvQW+k95K321nhrvUe9x7z13pPeRm+Tt9l7ytvqPeM9 623znvde8F7yXvZe8V71dnive294u7y3vLe9Pd473rvee9773l7vQ+8jb5/3 ibffO+Ad9A55n3tfeF96X3vfeIe9I9633g/ej95x7w/vT++kd8r7y/vbO+P9 4/3rnfXOeV1etxfwerygN8M3z/efb75voS/Ll+1b5Mvx5fqW+PJ8S33LfAW+ lb5VvtW+Nb61vvW+Db6NvkJfkW+Tr9i32bfFt9W3zbfdt8O301fiK/Xt9e3z lfnKfQd8B30VvkrfIV+Vr9p32FfrO+I77qvz1ftO+E76Gn1NvmZfi++U76zv nK/Nd8F3yXfZ1+Hr9N3w3fR1+Xp8d3x3ffd9vb4Hvoe+ft+Ab9D31PfS99o3 7HvnG/V98H30ffJ99o35vvi++r77JnyTvinftO+3b8b3xzfrm/P987l9gM/j A30ZUCY0D/oPWgAthLKgbGgRlAPlQouhpVA+VACthFZBq6F10HpoI1QIFUGb oM3QFmgbtB3aCe2G9kCl0F6oDNoPlUMHoINQBXQIqoKqoRroMFQLHYGOQseg OqgeaoAaoSaoGWqBTkGnoTPQWagNughdgi5DV6Cr0DWoA7oB3YS6oFvQbegO dBe6B92HeqEH0COoD3oMPYH6oQFoEHoKvYbeQMPQW+gd9B4ahT5AH6HP0Bj0 BfoKjUM/oAloEpqCpqHf0B/oLzQLzUH/IAACIS/kgzL88/0L/Av9Wf5s/yJ/ jj/Xv8Sf7y/wL/ev8q/2r/Wv92/wF/qL/Zv9W/3b/Tv9u/wl/t3+Pf5S/15/ uf+Av9Jf5a/21/gP+2v9R/zH/HX+en+D/6S/0d/kb/a3+Fv9p/1n/Gf95/xt /vP+C/6L/qv+dv81f4f/uv+Gv8vf7b/tv+u/57/v7/U/8D/0P/L3+R/7B/yD /qf+Z/4h/0v/K/9r/xv/sP+j/5N/zP/F/9U/7v/u/+H/6Z/0T/l/+af9v/0z /j/+v37Q7/ND/gw4E54Hz4ez4Gx4EZwD58KL4Tx4KbwMzocL4OXwCnglvBpe A6+F18Hr4Y1wIVwEb4KL4S3wVngbvB3eAe+Ed8El8G54D7wXLoPL4QPwQbgS roKr4Rr4MHwEPgofhxvgk3Aj3AQ3wy3wafgMfBG+BF+G2+FrcCd8He6Cu+Hb 8B34Hnwf7oX74CdwPzwIP4WfwUPwc/gl/Ap+Db+F38Hv4VH4A/wR/gyPwV/h cfgH/BOegCfhKXganoH/wLPwHPwPdsEA7IH9cAaSicxD/kMWIFlINrIIyUFy kSVIHrIUWYbkIwXIcmQFshJZhaxG1iBrkUKkCClGNiNbkG3ITmQXUoLsRvYg e5F9SBmyHylHDiAHkUrkEFKFVCM1yGGkDqlHTiAnkSakBTmFtCKnkTPIWeQc ch65gFxELiGXkSvIVaQd6UA6kevITaQLuYXcRu4g95D7yAPkIfII6UOeIAPI IPIMeYW8Rt4gw8gI8hZ5j4wiH5CPyCfkMzKGfEHGkW/Id2QC+YVMI7+RGeQv Mof8Q1yIGwEQEPEiEOJHYCQDzUTnof+h89EF6EI0C81Gc9BcdDG6BM1Dl6EF 6HJ0BboSXYWuRteg69D16AZ0I7oJ3YJuRbeh29Ed6C60BN2N7kFL0X1oGbof LUcPoBVoJXoIrUWPoEfRY+hxtA5tQE+gJ9FGtAltRlvRM+g59AJ6Cb2MXkGv ou3oNbQTvY7eQLvRW2gPege9i95D76MP0cfoE7QfHUSfokPoC/QV+hp9gw6j 79BR9AP6Ef2EfkbH0C/oV/Qb+h2dQCfRKXQa/Y3OoH/RWXQOdaMeFER9KIT6 UQTNwDKxedh/2HxsAbYQy8KysRwsF1uMLcHysKVYPlaArcBWYWuwtdg6bCNW iBVhxdhmbAu2FduB7cR2YSVYKbYPK8PKsQPYQawSO4RVYdVYDVaLHcOOY3VY PdaMtWCnsFbsLHYOa8POYxewi9gl7DJ2BbuKdWI3sS6sG7uF3cZ6sDvYXewe 1os9wvqwx1g/NoANYs+wIew59hJ7gw1jI9hb7D02in3EPmNfsHHsG/Yd+4H9 xCawSWwKm8Z+YzPYP8yFuTEAAzEvBmEwhmAolonPwxfiOfhifAmehy/F8/Hl +Ap8Jb4aX4Ovxdfh6/EN+Ea8EN+Eb8a34tvxHXgJXorvxffh+/Fy/AB+EK/E D+FVeDVeix/Bj+F1eD3egJ/Am/BmvAU/hZ/Gz+Dn8Db8PH4Bv4q349fwTvwm 3oV347fw23gPfge/h9/He/EH+EP8Ed6HP8af4P34AP4MH8Kf4y/wl/gr/DU+ jI/gb/FR/CP+Cf+Mf8G/4t/w7/gEPolP4b/wGfwPPoe7cAD34CDuw/04jKM4 hmcS84j5xAIim1hE5BKLiSVEHrGUWEbkEwXEcmIFsZJYTawl1hOFRBGxiSgm thM7iRJiN7GHKCX2EvuIMqKcOEAcJCqISqKKqCZqiMNELXGEqCPqiRNEI9FE NBMtxCmilThDnCPaiAvEJeIycYW4SrQT14gO4jpxg+giuolbxG2ih7hD3CXu EfeJXuIB8ZB4RPQRj4knRD8xSDwjhojnxAviJfGKeEMMEyPEW+Id8YH4RIwR X4ivxDjxjfhB/CSmiF/Eb2KG+EvMEm4CIDwESHgJHwERfgImEAIjMshMch45 n1xIZpHZ5CIyh8wlF5NLyKXkMjKfXEGuIdeR68lCsogsJjeTW8it5DZyO7mD 3EnuJkvJfWQZWU4eIA+SleQhsoqsIQ+TR8njZD3ZQDaSTWQz2UK2kqfJs+Q5 so08T14gL5GXySvkVfIa2UF2ktfJG2Q3eZvsIe+S98kH5EOyj3xMDpCD5DNy iHxOviBfkq/I1+QwOUK+JUfJD+Rncoz8Qn4lx8kJcpKcIqfJ3+QM+ZecI/+R LtJNAqSHBEkf6SdhEiUxEicJMoPKpOZR/1ELqIXUIiqHWkwtofKoZVQ+VUAt p1ZQq6l11HpqA1VIFVGbqM3UFmo7tYPaSe2iSqjd1B6qlNpL7afKqYNUBVVJ HaKqqBrqMFVLHaGOU/VUA3WCaqSaqGaqhTpFtVKnqTPUOaqNOk9doC5S7dQ1 qoO6Tt2gblLd1C3qNtVD3aXuUb3UA+oh9Yjqo55Q/dQANUg9pYao59QL6iX1 inpNjVDvqVHqA/WR+kR9psaor9Q49Z36SU1Qk9QU9Yv6Q/2l5igX5aFAyktB FEyhFEYRFEll0Jn0PPo/OovOpnPoXHoxvYTOo5fSy+h8uoBeTq+g19Br6XX0 enoDXUgX0cX0ZnoLvZXeRm+nd9El9G56L72fLqcr6Er6EF1FV9M19GG6lj5K H6Pr6Hq6gT5Bn6Qb6Wa6hT5Ft9Jn6HP0efoCfZG+RF+l2+lrdCd9nb5Bd9Hd 9G26h75D36V76Yf0I7qPfkL30wP0IP2UfkYP0c/pF/Qr+g09TI/Qb+n39Cj9 gf5If6LH6HH6G/2d/kH/pCfpKfoXPUP/o900QHtokPbSPhqi/TRMIzRK4zRB ZzCZzDxmAbOQyWKymRwml1nC5DHLmHxmBbOKWc2sZdYzG5lCZhNTzGxmtjE7 mJ1MCbOb2cfsZw4wlUwVU83UMLXMEaaOaWBOMCeZJqaZaWFOMa3MaeYMc5Y5 x7QxF5lLzBWmnbnGdDA3mJtMN3OL6WHuM73MQ+YR08c8YfqZAWaQeco8Y4aY 58wL5iXzmhlmRpi3zDvmPTPKfGA+Mp+YMeYL85UZZ74x35kfzE9mgplkfjHT zG9mhpllXIybARgPAzI+BmL8DMwgDMbgDMGQDMXQTAabyc5j/2PnswvYhWwO m8suZvPYpewyNp9dzq5kV7Gr2TXsWnYDu5EtZDexxewWdiu7jd3O7mR3sSVs KbuX3c+WswfYg2wFW8keYqvYaraGPczWskfYo+wx9jhbx9azDewJ9iTbyDax zWwre5o9w55j29jz7EW2ne1gO9nr7A32JtvN3mZ72LvsfbaXfcA+ZPvYx+wT tp8dYAfZZ+wQ+5x9wb5iX7Nv2GF2hH3LvmPfsx/Yj+wndoz9wn5lx9lv7Hf2 J/uLnWZ/s3/Yv+wsO8f+Y12smwVYkPWyEAuzCIuyGIuzBEuxNJsRyAzMC8wP LAgsDGQFcgN5gWWB/MDywMrAqsDawLrA+sDGQGGgKLApUBzYHNga2BbYEdgZ 2BUoCewJlAbKAuWBg4GKQGXgUKAqUB04HKgNHAkcDRwLHA/UBRoCjYGmQHOg NXAmcDbQFrgQuBy4EmgPdAQ6A92BW4GewJ3AvcD9QG/gQeBh4FHgceBJoD8w GHgaGAo8D7wIvAq8DowE3gc+BD4FPgfGAl8CXwPjgR+BicBkYCowHZgJ/An8 DcwG5gL/Aq4AEPAEvAFfwB+AA0gADeABIkAGqAAdYAKZwf+CC4ILg1nBRcGc YG5wcXBJcGlwWTA/WBBcHlwRXBVcE1wbXB/cENwYLApuChYHtwd3BHcGdwV3 B/cE9wXLguXBA8GDwYpgZfBQsCpYHawNHgkeDdYF64MNwRPBk8HGYFPwVPB0 8EzwbLAteDF4KXg5eCV4NdgevBbsCHYGbwS7greCt4M9wbvB+8He4IPgw+Cj YH9wMPg0+Cw4FHwefBF8HXwTHA6OBN8G3wXfB8eCX4Pjwe/Bn8GJ4FTwV3A6 OBOcC7qCniAY9AWhoD+IBNEgFsSDRJAMUkE6yAQDwQwuk5vHZXHZ3CIuh1vC 5XFLuWVcAbecW8Gt4lZz67gibhNXzG3mtnLbuO3cDm4nt4vbze3hSrm9XBlX zh3gDnIVXCVXzdVwh7la7gh3lDvGHefquHqugTvJNXJNXDPXyp3mznBnuTbu AneRu8xd4dq5Dq6Tu87d4Lq4W1wPd4e7y93j7nO93EOuj3vMPeH6uQHuKTfE Pedeca+5YW6Ee8u9495zH7iP3CfuMzfGfeG+ct+4H9xPbpKb4n5x09wM94f7 y81yc9w/zsW5OQ8Hcl7Ox0Gcn4M5hEM5jMM5kqM4hmO5ABfk5oUWhrJC2aFF oZxQbmhJKC+0NJQfKgitDq0NrQ9tCBWFNoW2hHaEdoZKQrtDe0J7Q/tCZaHy 0IFQRagyVBU6EjoaOhY6HqoL1YcaQidCJ0ONoaZQc6gldDp0LtQWuhC6GLoc uhK6GroW6gh1hm6GukO3Qj2hu6H7od7Qg9DDUF/oSag/NBAaDD0LPQ+9CL0K vQmNhN6G3oXeh0ZDH0IfQ59DY6Evoa+h8dD30EToV2g69Cc0G3KFPCEw5A35 QlAIDqEhPESEqBAdYkJsKBjKCM8Lzw8vCC8MZ4Wzwznh3PDicF54aTg/vDK8 OrwmvC68PrwxXBguCm8Kbw1vC+8I7wyXhHeH94RLw3vDZeHy8IFwRbgyXB2u CR8O14aPhI+Gj4XrwvXhhvDJcGO4OdwSPh0+Ez4XvhC+GL4UvhK+Fu4Id4av h7vDt8I94Tvhe+EH4YfhR+G+cH94IDwYfhYeCr8Kvw6/CQ+HR8Jvw+/C78Oj 4Q/hT+HP4bHwl/DX8Hj4W/h7+Ef4Z3giPBWeDv8Oz4T/hP+GZ8Nz4X9hV9gT BsNQGA4jYSyMh4kwHWbCbDgYDoUz+Pn8An4hn8Pn8kv4PL6AX86v5Nfy6/j1 /Ea+kC/ii/nN/BZ+K7+d38nv4kv4Pfxefh9fxu/nK/hK/hBfxVfztfwR/ih/ jD/O1/H1fAN/gj/JN/JN/Cm+lT/Nn+XP8W38ef4Cf4m/wl/l2/lrfAffyV/n b/A3+W7+Fn+b7+Hv8vf4+/wD/iH/iO/jn/AD/CD/jH/Ov+Bf82/4YX6Ef8e/ 50f5D/xH/hP/mR/jv/E/+J/8BD/JT/G/+Gn+Nz/D/+H/8rP8HO/mAd7Dg7yX 9/EQ7+cRHuUxHudJnuJpnuNDfJjPiGRG5kcWRBZFciK5kcWRJZGlkfxIQWRF ZE1kbWR9ZEOkMFIc2RzZGtkW2R7ZEdkZ2RXZHSmN7I3si5RHDkYqIpWRQ5Ga SG3kaORY5HikLtIQORFpjDRFWiOnI+cibZHzkUuRy5FrkY7I9cjNSHfkVuRO 5F6kN/Io8jgyGHkaeRYZijyPvIy8iryODEdGIm8j7yKjkQ+RT5GxyHjke+Rn ZCIyGZmK/IpMR2YifyOzkbmIK+KOABEw4o34IlDEH4EjSASL4BE6EogEI1wk FAlHMqKZ0f+i86MLo1nR7OiiaE40N7osmh8tiC6Proyuiq6Oro2ui26IbowW RTdFi6Obo1ui26LbozuiO6O7oqXRfdGy6P5oebQieihaHa2J1kaPRo9Fj0fr ovXRE9HGaFO0OdoSPRVtjZ6OnomejbZFz0cvRC9GL0evRK9G26M3ol3R7ujt aE/0TvRu9H60N/oo2hftjw5EB6NPo0PRl9FX0eHoSPRt9H10NPoh+in6Ofol Oh79Fv0e/RGdiE5Gp6LT0Znon+jf6Fz0X9QVdUeBKBj1RqEoHEWieJSOMlE2 GogGo1w0FA1H+WgkmhHLjP0Xmx/LimXHFsVyYrmxJbG82LJYfqwgtjy2IrYq tj5WFCuObYltjW2LbY/tiO2MlcR2x/bESmP7YmWx8tiBWEWsMnYoVh2riR2O 1caOxI7GjsWOx+pjJ2KNsaZYc6wl1ho7EzsXa4tdjF2KXY5dibXHOmKdseux G7GuWHfsVux2rCd2J3Y3di92P9YbexB7GOuLPY71xwZiT2PPYkOx57GXsVex N7Hh2NvYu9j72MfYp9jn2FhsPPYt9jM2EZuMTcV+xaZjM7HZ2FwMiEExJIbF 8BgZo2J0jImxsUAsGONioVg4FollCP8J84UFwkIhW1gkLBaWCsuEAmG5sFJY JawW1ghrhfVCoVAkFAtbhK3CdmGHsFMoEXYLe4RSYa+wTygT9gsHhINChVAp VAnVQo1wWDgiHBXqhHrhhHBSaBSahGahRWgVTgtnhLPCOeG8cEG4JFwWrgrt wjWhU7gu3BBuCl1Ct3BLuC30CHeEe8J9oVd4IDwUHgl9whOhXxgQBoWnwjPh ufBSGBZGhLfCO+G98En4LIwJX4Vx4ZvwQ/gpTArTwm9hRvgj/BVmhTnBJQCC RwAFr+ATIAEVCIEUKIEWGIEVggInhISwwAtRISbME/8T54sLxIVilpgtLhJz xCVinrhUzBeXi6vE1eIaca24TlwvbhA3ioXiJrFY3CxuFbeJ28Wd4i6xRNwt 7hFLxb1imXhAPChWiofEKrFGPCweEY+KdWK9eEI8KTaKp8TT4lnxgnhRvCRe Fq+IV8VrYofYKV4Xb4hdYrd4W+wR74h3xftir/hAfCj2iY/FfnFAHBSfis/E IfGFOCyOiO/E9+IH8ZP4WRwTx8Vv4nfxh/hTnBAnxSnxtzgj/hH/irPinPhP dIseERS9ok+ERL+IipiIi4RIipRIi4zIigExKHIiL0bEmCiIGfH58QXxrHh2 fFE8J74knhfPjxfEl8dXxFfH18U3xAvjRfFN8c3xbfHt8R3xXfGSeFn8QLwi Xhk/FK+JH47Xxo/Ej8aPxY/H6+Mn4o3xpnhzvCV+On42fi7eFr8YvxS/Em+P d8avx2/Gu+M98Xvx+/He+KN4X/xxvD8+EB+MP4sPxV/EX8ZfxV/H38SH4yPx t/F38ffx0fiH+Mf45/hY/Ev8e/xHfCr+K/47/jc+G5+L/4u74u64J+6N++Jw HIvjcTJOxek4E2fjgTgXD8XDcT4eiUfjGYn5iQWJhYmsRHZiUSInkZtYnFiS yEssTSxLLE+sSKxMrE6sSaxLrE9sSGxMFCaKEsWJzYktie2JHYmdiZLE7sSe RGlib2JfoixRnjiYqEhUJg4lqhLViZrE4URt4kjiaOJY4niiPtGQOJloSjQn WhKtiTOJtsT5xIXE5cSVxNVEe6Ij0Zm4nriZ6Ep0J24nehL3EvcTvYmHib7E 48RAYjDxLPE88SLxOvEmMZx4m3iXGE18TowlviS+Jr4nfiQmEpOJqcRM4k/i b2Iu4Uq4E1DCn4ATSAJN4AkiQSXoBJMIJLhEKBFNxBJiIp7IlOZJ/0nzpYVS lpQtLZJypcXSEilPWiotk/KlAmm5tEJaKa2S1khrpfXSBmmjVChtkoqlzdI2 abu0U9ollUi7pVJpn3RAOihVSoekKqlaqpFqpWPScalOapBOSs1Si9QqnZXO SW3SeemidEm6LF2Rrkrt0jWpQ+qUuqRu6ZZ0W+qR7ki90gPpofRI6pMeS/3S gDQoPZWeSUPSc+mF9Foalkak99Ko9FH6JH2WxqQv0lfpu/RD+ilNSJPSL2la +i3NSLPSnPRPckuA5JFAyStBkl9CJFQKSEGJk0JSWOIlQRKlhJQhZ8rz5P/k +fICOUvOlnPkXHmxvETOl1fKa+V18np5g7xRLpSL5E1ysbxZ3iJvlXfJJfIe uVTeK5fJ++VyuUKulKvlGvmwXCsflY/Jx+U6uV5ukE/IJ+VGuUlullvkU3Kr fFo+K5+T2+Tz8gX5knxFviq3y9fkDrlTviHflLvkbvm2fEe+K9+T78u98gP5 kdwnP5afyP3ygDwoP5WfyUPya/mNPCy/k9/Lo/IH+aP8Wf4ij8vf5B/yT3lC npSn5F/ytDwru2S37JFB2StDMiyjMibjMiGTMiUzMisH5KDMySGZl6NyTBZk UZbkDCVTWahkK4uUxcoSJU/JVwqU5cpqZY2yVlmvbFA2KoVKkbJZ2aJsV3Yo O5VdSomyW9mjlCp7lTJlv1KuHFQqlEqlSqlRDiu1yhHlmHJcqVMalBPKSaVR aVKalVbltHJGOau0KeeVC8pF5bJyRbmmdCidynXlptKl3FLuKHeVe8p95YHy SOlTHitPlH5lQBlUnipDynPlhfJSea0MKyPKe2VU+aR8Vr4o48p3ZUKZVKaU X8q08luZUf4of5VZZU75p7gUtwIoHsWr+BVYwRRcIRVKoZWgwikhhVciSlSJ KaISVxKKpMhKpjpP/U+dry5Qs9RsdZGaqy5Wl6h56lJ1mVqgLldXqCvVVeoa da26Tl2vblA3qoVqkbpJLVY3q1vUreo2dbu6Q92p7lJL1N3qHnWvWqbuV8vV A+pBtUKtVA+pVWq1WqMeVmvVo+ox9bhap9arDWqj2qQ2qy1qq3paPaOeVc+p beoF9ZJ6Te1Ur6s31Jtql9qt3lHvqvfUB+pD9ZH6WH2i9qsD6qD6VH2mDqnP 1Vfqa/WNOqyOqG/V9+qo+kH9rH5Vx9UJdVL9pU6rv9U/6l91VnWrgOpT/Sqs IiqqYiqukiql0iqjsmpADaqcGlJ5NaoKqqjG1YQqqbKqqJnJecn/kvOTC5IL k1nJ7OSiZG5ycTIvmZ8sSK5IrkyuSq5OrkmuS65PbkgWJouTm5NbkluT25I7 k3uSpcm9yX3JsmR58kDyYLIiWZmsStYka5NHk8eSdcn6ZEOyOXkq2Zo8nTyT PJs8l2xLnk9eSF5KXk22J68lO5KdyZvJrmR38nayJ3k3eS/Zm3yQfJR8nBxI DiafJp8lh5Ivki+Tr5Kvk2+Sw8n3ydHkh+TH5KfkWPJrcjz5Pfkj+TM5mfyV nEn+Sc4m/yVdSSAJJeEkliSSZJJJskk+GUkKSTEZT0pJJakmM1PzUv+lFqSy UtmpRamcVG5qcSovtTS1LJWfWpVak1qbWpfamCpMFaU2pYpTm1NbUttSO1I7 UyWpPanS1N5UWWp/qjx1IFWRqkwdSlWlqlM1qcOpo6njqbpUfaohdTLVkjqV OpM6n7qYupS6krqaak91pDpTN1I3U12p7lRP6k7qbqo39SD1KNWXepzqTw2k nqaep16kXqZep96kRlJvU+9So6kPqY+pL6mvqfHU99SP1M/URGoy9Ts1m5pL /Uu5Uu4UkPKkwJQ35Uv5U3AKSaEpLIWnyBSVYlJsKpDiUuEUnxJSYiqRklJK Sk0lU5naPO0/bYG2UMvWFmk5Wq62WFuiLdWWaQXacm2FtlJbra3R1mnrtUKt SNukFWtbtG3adm2ntksr0XZrpdpebZ9Wpu3XyrUD2kGtQjukVWnVWo12WDui HdWOa/Vag3ZCO6k1as1ai3ZaO6Od1dq0i9oV7arWrl3TOrRO7YZ2U+vSurVb 2m2tR7uj3dPua73aA+2h9lh7ovVrg9qQ9lx7pb3RRrS32jttVPugfdQ+aZ+1 Me2L9lX7pn3Xfmg/tQltSpvWfmsz2h/trzar/dPcGqB5NFDzapDm12AN0VAN 03CN0EiN0lgtoAU1TgtpYS2qxTRBE7W4ltBkTdFSWoaeqc/T5+sL9IV6lp6t L9Jz9Dx9qb5ML9CX66v1Nfo6fb2+US/UN+nF+hZ9q75N367v0HfpJfpuvVTf q+/Ty/T9erl+UK/QK/VDepVeox/Rj+rH9Tq9QT+hN+rNeot+Sm/VT+tn9LP6 Ob1Nv6Bf1q/q7XqHflPv0rv1W3qPfke/q9/Te/UH+iO9T3+sP9EH9SH9uf5C f6UP6yP6W/2dPqp/0D/pn/Ux/Ys+rn/Xf+gT+qQ+pf/Sp/UZ/a8+q8/p/3SX DuheHdL9OqwjOqpjOq4TOqlTOq0zekDn9Yge0wU9rid0SVf0lK7pGenM9IJ0 Vjo7nZNenF6SzksvTS9L56cL0svTK9Ir06vSq9Nr0mvTxemt6W3pXemSdGl6 X7osfSB9MH04XZs+kj6aPpauSzekT6RPphvTTemW9Kl0a/p0+kz6bPp8+kL6 YvpS+nL6Svpquj19Ld2R7kxfT99Md6dvp3vSd9IP0n3px+n+9EB6MP00PZR+ nn6Rfpl+lX6dfpMeSb9Lf0x/Sn9Oj6W/pMfT39I/0xPpyfRU+ld6Ov07PZP+ k/6bnk3PpV1pdxpIe9Jg2peG0v40kkbTWBpPE2kyzaSD6VA6nBbT8XQiLaXl tJpOplNpLa2nM4xMY76xwFhoZBnZxiIjx1hi5Bn5RoGx3FhprDJWG2uNdcYG Y6NRaBQZm4xiY7OxxdhqbDO2GzuNXUaJsdvYY5Qae419Rpmx3zhgHDQqjErj kFFlVBs1xmHjqHHMOG7UGfXGSaPRaDJajFNGq3HGOGe0GeeNC8ZF45Jx2bhi XDXajWvGdeOGcdPoMm4bd4y7xj3jvtFrPDAeGn3GE6PfGDAGjafGc+OV8doY Md4Zo8YH45Px2fhifDW+Gd+NH8ZPY8KYNKaMX8a08duYMf4Yf41ZY874Z7gM twEYHsNr+AzI8BuwgRiogRm4QRiUQRuMwRoBI2iEDN6IGjFDMEQjbkiGYiSN lKEbGWamOc/8z5xvLjCzzGxzkZlrLjaXmHnmMrPAXG6uMFeaq8zV5hpzrbnO XG9uNAvNInOTWWxuNreYW80dZom5x9xn7jfLzQNmhVlpHjKrzGqzxqw1j5hH zWPmcbPebDBPmCfNRrPZbDFbzdPmGfOs2WaeNy+YF81L5lWz07xh3jRvm3fM XvOB+ch8bD4xB8xB86n5zBwyn5svzJfma/ONOWyOmG/Nd+Z7c9T8aH4yP5tj 5lfzm/nd/GFOmJPmlDlt/jZnzL/mrDln/jPdpscETa/pM/0mbKImZuImaVIm YwZMzgyZYTNiRs2YKZiiGTcTpmwqZsrUzbRpmPOs+dZCK9taZOVYudZia4mV Zy218q0Ca5W12lpjrbXWWeutTdZma4u1zdpllVh7rL1WmbXfKrcOWhVWpVVl 1Vi11lHrmFVn1VsN1gnrpNVoNVkt1imr1TptnbParPPWReuSddm6Yl212q0O q9O6bnVZ3dYt67Z1z7pv9VoPrIfWY+uJ1W8NWE+tZ9YL66X1ynpjDVsj1ltr zPpifbXGrW/WT2vCmrR+WdPWjPXH+mvNWm4LsDyWz/JbiIVamIVbhEValEVb jMVaAStocVbY4q2IFbVilmjFrYQlWbKlWKqVtFKWZulW2jIs08qwM+159n/2 AnuhnWVn2zl2rr3YXmLn2UvtZXa+vdxeaa+yV9tr7LX2OnuDvdEutIvszfYW e6u9zd5u77B32bvtPXapvdcutw/YFXalfciusqvtGrvWPmIftY/bdXa9fcI+ abfYp+xW+6zdZp+3L9pX7Kt2u33N7rBv2DftLrvbvmXftnvsu/Y9+77daz+w H9qP7Mf2E3vAfmo/s4fs5/YL+5X9xh62R+y39nt71P5gf7Q/21/sr/a4/cP+ aU/Yv+w/9l/7n+2y3TZge2zQ9to+G7JhG7Nxm7Qpm7YZO2AHbc4O2WGbtyN2 1I7Zgi3aCVuyZTtla7ZuG7ZlZziZzjxnvrPAWehkOdnOIifXWezkOUudfKfA We6scFY6q5x1zgZno1PoFDmbnGJns7PF2epsd3Y4u5wSZ7ezxyl19jllzn6n 3DngVDiVziGnyql2apzDTq1zxDnqHHfqnHqnwTnhnHQanSan2WlxTjmnnbPO OafNOe9cdC45V512p8O57txwbjpdTrdz27nj3HPuOw+dPueJM+g8dZ45z51X zhtn2Blx3jrvnPfOqPPRGXO+OF+dceeb89354fx0Jp0p55cz7cw4f5y/zqzz z3E7Hgd0vI7PQRzUwRzcIRzSoR3GYZ2gE3LCDu9EnKgTc0Qn4UiO7CiO6qQc zdEdwzEdy/kfs6l6Dw== "]}]}, 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["13868", "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["13868", "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.773745314243483*^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 12\"\>"}, {"\<\"VertexCount\"\>", "200"}, {"\<\"EdgeCount\"\>", "13868"}, {"\<\"Description\"\>", "\<\"The Second DIMACS Implementation Challenge: \ 1992-1993 \"\>"}, {"\<\"ByteCount\"\>", TemplateBox[{"1593.512`", "\"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.773745315160853*^9, 3.780616763628869*^9}, CellLabel->"Out[2]="] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Basic Applications", "Subsection"], 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[1485714498], "Type" -> TypeSystem`Vector[ TypeSystem`Assoc[TypeSystem`AnyType, TypeSystem`Atom[Rational], 1], 4], "HandleQ" -> True, "Meta" -> {}, "RowTarget" -> 20, "Data" -> TypeSystem`PackageScope`CacheHandle[1485714498]], 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[ 868938110][ 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[868938110][ 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[ 868938110][ 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["0.696884"], TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[868938110][ 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[ 868938110][ 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["1.30312"], TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[868938110][ 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[ 868938110][ 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.999906"], TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[868938110][ 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$$, 868938110][ 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$$, 868938110]]]], TrackedSymbols :> {TypeSystem`NestedGrid`PackagePrivate`$path$$}], TypeSystem`NestedGrid`PackagePrivate`$bottomBar$$ = Framed[ Dynamic[ Replace[ MouseAnnotation[Null], { TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[868938110][Null] -> "", TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[868938110][ 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.7737453195334377`*^9}, CellLabel->"Out[5]="] }, Open ]] }, Open ]] }, ClosingSaveDialog->False, WindowSize->Automatic, WindowMargins->Automatic, WindowTitle->"Second DIMACS Sanchis Graph 12 | 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[643, 23, 36, 0, 70, "Subsection",ExpressionUUID->"f609b409-e77f-4d7c-89ce-bbac833fbac4"], Cell[682, 25, 35, 0, 70, "Text",ExpressionUUID->"aab4d24e-8360-4c96-b946-371577582514"], Cell[CellGroupData[{ Cell[742, 29, 176, 5, 70, "Input",ExpressionUUID->"2644ed01-3710-4cde-a3f4-60c527402f7a"], Cell[921, 36, 45853, 802, 70, "Output",ExpressionUUID->"a5735a3e-3156-4eb9-83e4-9179e3791f7a"] }, Open ]], Cell[46789, 841, 73, 1, 70, "Text",ExpressionUUID->"c7f42faa-acbf-4183-bea1-fd9b9884da16", CellGroupingRules->"NormalGrouping"], Cell[CellGroupData[{ Cell[46887, 846, 244, 7, 70, "Input",ExpressionUUID->"7f39831c-8acc-480f-9195-6fc2da8551bd"], Cell[47134, 855, 1785, 44, 70, "Output",ExpressionUUID->"16a3fd97-18a5-4836-8ce9-2c57095221b5"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[48968, 905, 40, 0, 70, "Subsection",ExpressionUUID->"e8aeda39-631c-4cfb-b7ac-c9335ba8e2c6"], Cell[49011, 907, 410, 5, 70, "Text",ExpressionUUID->"e0e0b8e6-1795-48d8-8b20-814edc96a367"], Cell[49424, 914, 497, 11, 70, "Input",ExpressionUUID->"e79f3392-90e6-4db4-b1f5-9aa6a107c2e9"], Cell[CellGroupData[{ Cell[49946, 929, 684, 16, 70, "Input",ExpressionUUID->"57643d3e-365a-4e58-80d1-138acfa7bb70"], Cell[50633, 947, 13978, 267, 70, "Output",ExpressionUUID->"a48d0a68-5f09-4fe4-930e-c2d4bfcb4070"] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)