Thời Dạ không đi học, hôm nay cậu ngồi trong thư viện, mượn mạng ở đây dùng.
Lúc Sở Anh Túng tan học đến tìm người, liền thấy cậu học đệ băng sơn này ngồi ở góc khuất trong một phòng media đa chức năng, trầm ngâm nhìn vào màn hình laptop, hàng lông mày nhíu lại như có như không.
— Vấn đề khó giải quyết đến vậy sao?
Sở Anh Túng bước vào, đóng cửa lại, nhìn Thời Dạ một lúc, chẳng hay tự lúc nào đã bóc hết chỗ quýt mang theo, lặng lẽ đặt bên cạnh tay Thời Dạ.
Thời Dạ ngẩng đầu nhìn Sở Anh Túng.
Sở Anh Túng: “Anh siêu yên lặng luôn! Không làm phiền em đâu!”
“…” Thời Dạ im lặng cúi đầu xuống.
Một lúc sau, Sở Anh Túng len lén nhìn vào màn hình của Thời Dạ, thấy lần này cậu hình như đang xem một tệp dll[1], nhìn tên hàm có vẻ là: CertDllVerifyMicrosoftRootCertificateChainPolicy…[2]
Sở Anh Túng không khỏi tò mò hỏi: “Không phải em muốn crack điện thoại sao? Sao lại xem mấy thứ chứng chỉ số hóa thế?”
Thời Dạ đáp: “ECC[3] cập nhật phiên bản mới, khả năng tương thích với IOS không tốt lắm, có thể có lỗ hổng.”
Sở Anh Túng nghe vậy, tinh thần phấn chấn: “Có lý!”
Anh cũng ghé mắt nhìn màn hình, lướt qua hàm mới được cập nhật.
Dựa theo so sánh sau khi cập nhật phiên bản, lần này Microsoft chủ yếu sửa đổi một số hàm liên quan đến chiến lược liên kết chứng chỉ, bổ sung thêm một số cổng vào để tương thích với giao thức mới.
Thời Dạ vừa suy ngẫm vừa gỡ lỗi, highlight một số đoạn code so sánh bộ nhớ.
Sở Anh Túng vẫn có thể hiểu được chút ít, liền tò mò nói: “Là chỗ này đang so sánh khóa công khai à?”
Thời Dạ nói: “Ừm.”
Chứng chỉ số hóa có thể ví như “visa” của con người, cần phải được cơ quan có thẩm quyền cấp.
Lấy thuật toán đường cong elliptic (ECC) do Microsoft phát minh ra làm ví dụ: Cơ quan cấp visa đầu tiên sẽ chọn một khóa bí mật, xác định một đường cong elliptic dựa trên khóa bí mật đó, đưa vào các tham số bổ sung, để có được một đáp án khác trên đường cong elliptic, đáp án này chính là khóa công khai.
Khóa bí mật chỉ có cơ quan cấp visa biết, nhưng khóa công khai thì được công bố rộng rãi trên mạng.
Khi cơ quan cấp visa cấp chứng chỉ số hóa cho một phần mềm nào đó, họ sẽ dùng khóa bí mật của mình, một số tham số cục bộ và giá trị băm để tạo ra chữ ký, cũng chính là “visa” của phần mềm đó.
Sau đó, bất kỳ ai trên mạng công cộng đều có thể sử dụng khóa công khai để so sánh “visa” của phần mềm này, tức là tự mình thực hiện một phép tính đường cong elliptic, có thể so sánh xem kết quả có trùng khớp hay không —
Trùng khớp thì chứng tỏ “visa” là do cơ quan chính thức cấp, không có vấn đề gì;
Nếu không trùng khớp, thì đây chính là “visa” không hợp lệ, phần mềm này đáng ngờ, là “người đen” không có hộ chiếu, không đáng tin cậy.
Toàn bộ quá trình cấp visa số hóa này là một chiến lược mã hóa bất đối xứng.
“Bất đối xứng” ở chỗ: Cơ quan cấp visa nắm giữ khóa bí mật, còn tất cả mọi người đều nắm giữ khóa công khai, toàn bộ quá trình chỉ có thể xác minh, nhưng không thể suy ngược lại.
Giống như quốc gia nắm giữ công nghệ chống giả của việc in tiền, tất cả mọi người đều có thể dùng những cách đơn giản như nhìn, sờ để kiểm tra dấu hiệu chống giả của đồng tiền, nhưng không ai có thể làm giả được dấu hiệu này.
Công nghệ này cũng có thể giúp phần mềm máy tính chống giả ở mức độ cao nhất, từ đó đảm bảo tính bảo mật của chính thiết bị.
Tuy nhiên, trong thế giới của Thời Dạ, không có gì là không thể.
Xét cho cùng — “Trên đời không có hệ thống nào an toàn tuyệt đối, chỉ có những lỗ hổng chưa được phát hiện”.
Cậu vừa suy ngẫm vừa gỡ lỗi thuật toán cấp visa ECC sau khi cập nhật, sau đó phát hiện ra một hàm có tên là “CertVerifyCertificateChainPolicy”, truyền liên tiếp bốn tham số liên quan đến chứng chỉ, hơn nữa không xử lý gì cả, liền truyền đến hàm tiếp theo.
Cậu trầm tư suy nghĩ.
Sở Anh Túng thấy Thời Dạ đột nhiên dừng lại ở một chỗ nhất định, không khỏi cũng nhìn chằm chằm một lúc, gãi đầu gãi tai hỏi: “Thời Tiểu Dạ, anh có thể hiểu được tham số OID[4], còn ba cái kia là gì?”
Thời Dạ cầm bút, thuận tay viết ra giấy mấy tham số đó, giải thích cho anh: “Giả sử khóa bí mật của chứng chỉ gốc là p, chúng ta không thể biết được khóa bí mật này, nhưng điểm cơ sở của ECC là G, vậy thì khóa công khai chính là pG. Mấy tham số này chỉ là đang tùy chỉnh tham số r, s của đường cong elliptic và khóa công khai…”
Nói đến đây, cậu đột nhiên dừng lại.
Sở Anh Túng bỗng nhiên “A” lên một tiếng, nói: “Vậy nếu kiểm tra như vậy, tự mình truyền tham số vào, dùng tham số tùy chỉnh giống hệt như vậy, chẳng phải có thể dùng bất kỳ khóa bí mật nào cũng có thể cấp visa sao?”
Thời Dạ im lặng một lúc, nói: “Anh nghĩ không tệ.”
Thời Dạ mở cửa sổ dòng lệnh trên máy tính, bắt đầu dùng lệnh openssl[5], tự mình tạo ra một loạt tham số, thử tạo chứng chỉ ECC mới.
Sau đó, cậu dùng chứng chỉ ECC giả mạo này, tùy tiện ký tên cho một phần mềm “ba không”.
Sở Anh Túng nhìn được một nửa, đã tự giác móc điện thoại của mình ra, kết nối với máy tính.
Tiếp đó, Thời Dạ thử cài đặt phần mềm vào điện thoại của anh —
Xác minh chữ ký số thành công.
Cài đặt phần mềm thành công.
Đến bước này, miệng Sở Anh Túng đã há hốc thành hình chữ “O”, kêu lên: “Woa woa woa woa woa woa chúng ta phát hiện ra một 0day! Thời Tiểu Dạ, phát tài rồi!”
Thời Dạ bình tĩnh: “Ừm.”
Cậu tiếp tục công việc tiếp theo, kiểm tra chứng chỉ số hóa giả mạo này, tên chỉ tùy tiện đặt là “1”, tên và ngày tháng của người ký tên đều không có, nhưng trong hệ thống lại là “chứng chỉ bình thường” đáng tin cậy.
Sở Anh Túng thì không bình tĩnh như vậy, cười ngây ngô xoay hai vòng tại chỗ, nhét hai múi quýt vào miệng Thời Dạ, vui vẻ nói: “Đây chính là lỗ hổng chứng chỉ số hóa, gửi cho Microsoft ít nhất cũng là mức độ ‘nguy hiểm’. Đến lúc đó tiền thưởng được gửi đến, Thời Tiểu Dạ, em sẽ thành triệu phú đấy!”
Quýt rất ngọt, Thời Dạ im lặng ăn, liếm môi.
Sở Anh Túng nhìn mà tim đập thình thịch, vui vẻ hôn cậu một cái.
Học trưởng cũng rất ngọt, Thời Dạ im lặng để anh hôn, sau đó mới thản nhiên nói: “Chưa gửi vội.”
Sở Anh Túng lúc này mới nhớ ra: “À đúng rồi, đây mới chỉ là bước đầu tiên, em thật sự định crack hệ điều hành IOS 13 sao?”
nFl5oSNySL4UyZ28tpg+S6lI1398jmJUOv9zzBiHWGXpQsockhO+V7xE1a9zszjR24MYZQ0KwU+bCBFJkhJ+IhAfv/eAgxv49hupU1mNPimF0sOM523ejpgVPa9z+HcZnjWeWoqV9CrjT7R2t4W+eEcUjUiQ5lUqlshKEkVW8rj6ZVdBvzexl+K+p/Sm2KC0rtFVjXJAB5Fzsd4ifpttHhUqrfF8AmALb5k00VZc0HyrbLowGZBVa0Rropj5l8xbm/s4jeD65jXPvje0/JD/uPwkSlDPyB3nu5Z6o73+W7W4iGHYtvAuMnIAY5YOVFM7n4BdyZUwBlvurVZGnCuUEf1EmI1DQLAKt7mb3lAxdt/j+XmkQIMK8EkxWi4GHOenZbXB56gsQlpto6vlaOHbBBnDSExlE63DAuooOKcHJ4XdLz8AVDHBgNj5c19yhwtf4VWHVPjWZy9IsOU4LJYhVD0HIRPT0cD+2gn/HJHQBuH/nelGxVf6Ii/D+FxLWpqvEmoe33qRkVZJD2YMpJ26GFW0jCybBngAqGgnxHJO4g+Lt/g28xGCPkIE0UapOtD5H9JaQUt5JeDXcQ3RP8Zbimrkdi0KlPvNQ5U2TBboyp7xJBcYCZogkx6wBkIXP0nMOVEj3FT45ODkfnXSHPJ0tEFur/vkoaiyhfnnCXvoLuQZ+00QWHHl9wOsXN0CQzDgpCXAYondipJoMb3yUeVkjPpB29uYOZJz74kt3wNLVVpBzBRkdxMmebc6XrzjXDzoC2qp3bXZfgDlXZ6Ss+9nvaQjZi2DcGGc4xRBTGINASsRXRfKVkqAJhEX3NBqeihtBwdYS/O+0sjv0O5l3tKTTqr9+giCJy748uolpNDfd1E64/f08Tm9hjEIm1xmmnLRR3rUQMPnDg1wtU5b8CcnlmdVztnM1QulnKVu7Qu7CrxstI0+ohEVTwyLjm6KmzCOh5UIgonyD3qj0h4Vy3VDzWVPV1JSaAqFNv2EM7bkaM/sCrTtc2kaN3wOo/+RFxC3+j5r5903VTaTArs8mxhEhnMMoJ6yXaEALwWzGipc1NPjAFqBzovooOAv7UPUBb1pn/F+3d2Qu7Hy9wz35fg1LN4WmTnYdZ+kSo8MqOlFEZHpcUeBNyka1TrAczk6x5UHRuc5jPStl95agUyQiQfvWozC/oVAH4CCz8LVEQZPSxmY6p/lscqX0nu7ynQwthPpMC5CQ1bGPWhUuwDPYdH25T9FeBnQjBahFPfr8glyeayIgvvWXtqJb9pSu3oPmy6kHHEGttNQCLKBVAH2vWU4H5lRXLe1qVrLhJz0Tz0FgVJNWWLY6nG20Gby0F4iJe8aBSgS/ArMa3kdAQlsCMS0yiJjVjOOMUEzhU1jBcG0edSZRJOv6bQGd9j1Fh0TlnuOz9op43H85I/3xreXMjYAAHS9We8jils3XZzsmPVueYzfTtj2L8pWeEHHS6sN3LjG5oFnCaL/1REJCVOj0RqXgqKIFGLZ+cDH2oVu7Qfsn/cIoowdIiTM6TuN2BlJc0POmAQ+VJPhFhhWEqEVTFXwxWjYUU4s5eKEeQoatYiGx1RcWmYTMx4O26/jdJHDz4Gha/hcflvlMuP28F+DpU8fh2dNMgVT3RoTjpq0qBqSpB/ls7IITcUJsLXxAzNqsbdiAEs7SX7RVZjJCaSVadSNmfMr6zfkf9REY6vhJp66oMC0kyDe0P5ADgqITHj0pVx/F/Gsg2LOyY8NU0aSUEgX6Enycf42H3cTpazBLJLUHb3KBQbgdirUr88ETH6DMf+VzgQYwY4c7B9nARt2119UTkpnmlofHr1VGtweSPLix2WKArOIwrnIY1mji3xprBPcW1FKKN0PcTTD7bYkxQawFO9++EOaYR6c+H7VDAvO+kqmJ+4+H2LynE+ntE4dG3cwehmNCcjdYiHWUbOSfHp1p7uw9InHi5/R6r4rMC9neuW8BT8luqhpbQwjxzAYir5bpteAQuY3ZQfstMd2Zav1t6PhQxvP+yAW56NDaHXFl4qHasA7QeEd38uj9x3h4mG5Y4HRZ8nvxFRHvcIMKctpRuM3d+9O0XoMaDCcfNmHKVhYJ+6jlfKqOaDZBaFcsWwHNlcG0ggFfQuqu1mzq8dTUTZwdwm0tiE0iNq6RMEuO/WxnNCG53ka/xIB5i4/KEBPr8oqcbMyDPO3QclwSi57yzKqFNU093tuf40dlp+Hvc808UA5xQK1Rnd1yv5TDWbrylRGhmPyVVmhoFoODui67d47aOkDkhQ/j92OPCTrSgyoUoXgtCbBpgueZ+ELWhsf0MxI5mh1Zy+nnm6P4h8d9sC7d/8xzfPjeX+bOFi/NR72jVDKzFgZYTDu5PMRBfrH7GeuUCv2JgzlVkcQM6Y/OxZaMk2Vfr/aww+rRJ7xrjg6JWtEdqBuXPre8Fo7vjXhUq7EHPsiFyhe2uLwtVqZ/M/I9ICRZpBFx4YwHo8t2VGUc4vMLz1ETesQMHAYxB+xID0Ioa5Yx5t8+Lb+dw9tGGNPtF7XNvARchu6yFAgKOAHukSYpHt3sEc9aXW/ekCqCBinIiRkddMs79LQstmIlOhLe6Nw37OYTKg+Mt9oLOF6puqXegD6x6MuK8JgJRXAk7BmNevBlR1DxzCpnY3qUOgRAe4SBZ4sdhU1LArcWG3dl9B3THzaKb3jYomecQZ9twR/8yzV0vpw6ACK1j4E2Krn5IkzGxdOwlvtkly0n9JzWXPXFdzrDCMM/mV4HGuRJ88NwHNTn8FO5PFk/IiAwS+TGtj/tHl5BqaqgK+QtjK2COMiDUDh8znP3V7PFYqC1yO7ERtXAoo8OY/1ufsferGTPzIadlPfg4wUzd/60ufiUNfKcMWNKWfRDYN7iHCW2oVL9oCE2PgEMmou62JuG9zPAMqYt01yRQj7WUHJ+j1T2VKtDlOGl5Ox173FS1/LFtO5wv2/ABUn7lVjlPdH66elBzntUlZCukAhVieh4WjbNezzjrDmrFHb6kd47QlCuVO4wvgQliEuR1uw6RwsZPP2SI7bPbo1A3bA8IqQM3BuKdXc+6rwVEAyaaoPQHs/jJyrUaweS4FnBTXr36ywGdIx+IE6vJKPC8WXtP6/5kY1HXloeSYEPWbfGdCc3hH4ZFdo2BNiUnrV0VYZFZl5Zq+hKc+cfskr5JqGd32f4mEcstg9TbHdmMu6tqjUaXhYnpvJUbk89AMKb6duV4kH1QNfSBHUZNFgnMGF3PwINT/0x1QbZ6i+Rs0aJGQZZpqLwv85j+wY72eTS880UaRd8q0JADlaFpxJ0Hu9pdmwYBVEYpMy0Ye+s9npYOsrKos0WxCSRftdNKAjGJR2JmUXiWFPEivz/q+fnnRRSizJBKibLQ8lbCflw2/1Id4fu7F/WSJ4+2aMrrtFBI6Q4JshrEJplu1ASODWyLrZaDrS+UtXCit2cg5gs6xOmvWpg+BcpTd0de50BlkcXR22PVSX0EXcimYEYWSDHaZNwF8KAU0GAbRK2MA6oPp8NK/h5BFFtSfIJea81l2raH/96JiE3LHd8AcMIjoxY+4BSJajoVRK8reis5xXYqjA/RcUce4NrQpJzEBARRpsw8ums1cFmkDggczwaXoHI7ens/nTP+lstt7kzFIyrpcyuerQL3SiaAZ/kLmOMPg4lzvK+8VZzR+k4Ip6ZasKUXxirj5NCCxzUSQ+5S7Fj7a2Cc9byXzue9UmFl46ELp8tnyu2TaeeL0KkKcsE4kPi2XN1UF4Ggx01RRvi21CfPYFU5WpGRXShEYhong0MUGUynvdcN15sCMf8aEOEkghtDnUajDdlFvFhaf3CkHbMxWgTJMVD8wxXAMOBmo8EzE46TyPtf2iLBgPC2PslbQTC5YLPKi1hfnC8Wz6OwRSmev5m0Uz5E2V06hT55XW0F52FF2hdMqXaSNFg+XLvJhgnNvk4HZPMfIq669DDtAqaOFRZ7QW3mVU/jR+iFGEXpp5ONim7LXfJkZyNQnX/CADyCsZyPDHtfMc986ydE6RqXScl8eWsYEyZI1qGGE1SixtK/ZyCMs3tZnW4CSVBh83VeGue2G6+Ldla2ni4Ghc9i/huaIHP5x6J+V4HmBbpNVGUL3hBvpOyVvodH1/mRnSGYuEKk41pa//ru7dow4IbR+NA9g3N6y1uMcBU/UtzFO6FoOY7FoyxR/lqee0T7Y3u2pxbIrZW9YkwEY8fr5q3SsUIbPcURhCUENhTFgImhjKTHMQ5BJcQZvT0gNh+2+vPXuezWg6A6e/dCtQ3+Ni/X++0ZRQuGljmM18a89IwXdp3AY/8wfRN7s10MqCzIY114IfoSKfqQA5Ms9Ijj3JaUAeeA2JjPME44eag4+DrVlHc2zAMW/UXplBaDh2HjZL35KzLlR86TrVA/wCUsdIymGxwnKa726hIp8b6ZJo0wqFGKdcayNEYQk8rstks4Hw+r3xGvq4y0Q/8wfEwJiAhkP7nB5ig1FWYCZUpdgiOZQpI5TbfIv3tPqWUWp+Od2VWL5ZzNxFOfjZANCwsD5xoZaWLwMTUr84VM8Q+1aWtAvGGSLhtGtOhiSMGVALLkvA0f2OHZtQ61VY4j5wSlF77UedaM/7jfFaNsH+CKtewyrkJE6Djpuq/ThFJ+u/stw8Vrd9H48kuL7OLb6qlPbtf3Mvpl1PXR8YRlCZ7W62EnAC6kgLCAq8oL0Hf30BIDyBJlpJksLxslUGjtbA9QiWM2ebFW0OEEc+uxEcqY4E5eGhbQ2stvrrGtck9RXw+JeXEiz75Hm5KsN2/AHLe2UbcuimZwu/LzcZTzze2AlVojFHXO/rmgDTsUEDrRgk7S5tgFZ/T0q9jrQeHjzFdM8dnNEKUlOdPr9OFTXhPnN/o9XpL3n5/7AMb4gDCs+mO+K4pfF1w3fssk5TSsTZWaooBk2eTt447OjbHF5qbm3CXwH580l49JOnIAsdr0mBhLfKTis+TMm4UpBZONNSUhKYvDzDqJ80YntcWw3x+g3z7a0FhBqg10q54zBVlDWNGkYxWGAh21jrYx1mLQlYUTnwA7mCTFnPN49Gx0ko7d37RLAdARuHcwYN028C5679QrKyW7pSstl7Dv1U+WZXecM1lqUXWD+J0uf4iFDVGgHyhFRIyD9Ku7CXMnA7WF2qmFYoj0Hgj8wU5cajFppyqWDUAAZNYyviRtxNLSoeYi8XZEgGKKGwOkXpkZTZjWYNeljr/o68+9WDB36zS3iC5599eveTmYcIywqflwdO7SYm3xF0v2WGIUQDc1COVXp74Zyoz/s1wolnlKQVh8PUktpbRiF+i4MmWyMnwx0SCsXx5q1iJ8BR5D4CLvjtyTWXArf74TZHQLYa/0MjzpGnBwwaqtWR+sOFnkvUgCdSvYsgTGmH7FUmT8djFO+kvIReOlSSkVwkR2WGOu0ycg2Y6kkHiXCodtX6sz5RIcxFXvcNd9lLkAP5MeH4FqzegzZdqw2/uEdwURpecKZ9mEhW/eQtU61xsr9ibeRnA89wAGMSCO55PROFl3L2KiJbzhKWtY9zh/f2+YfJ1BEkY8LVLb/45CSFO+vR6PIBhLjsMy6Vy/QtF24jUOkW26iKaRhZHzlEdWmKM58uHzvX2XOcMJSYa5L/NhJDewlxuYVChJviTZqfYPKl8MBkO6zbJyP6MKhs6pILBQl1JDSO3UhR41SClqqXMuxagGl9h09/Bdx/cYfRzeh/PfREz97w43R8FMDy7TN3Rs2+paECYmwmgChxORwIpgMnyVqKfRYM9yJ3hTDOdBl8OBif3M8EFxX9BqHMGRFKJOzTpsLka5kplh7Tz++0ZT72zPNrcYX9aY9p6nEkE+mpmAZHmBvT3e3CAAO1R8kYwaWbnPOMiZXIvuhlGzpPupIwFPh4LlJ+u2hwsCT3nIKdPnEWlmNLI9pObSLuwCWmAegJ+zR1TwYuUGE0gih6NUPnfTajr6iCLhow29gqYQ4sIUYAezmHbtxwKeWR/QSsYwrNOE3VThkA0OKSZDCDS7H16fFoTYdM2yLNL1gMXQ3+z3uC1yvU5kh3czos31DxOTk2J/McAX8ZzIcHKcV7K2gvWVD1sne+TWxoNtihd8unWE0ZEmLgVd35vO2ZHTiYVC/ZQv7OqKu+AwmPKrh3lVs5SPBUhfHycKoUpmR6wJgbSPNDglJeAda9dsI+RvPouaJajZMBCs1r5dvbzOEpbD4Erv+uOPioc23uMnqpgmdI6ywUrItdedfVJDIfVdpBQoj1INm0dFTidqiQs4/wgFvzgUwUH1gRq6YNPXsMzqH1oKXbourRTdB7e2bzlvubjfiKuWbzqN3iZm1KH4HBBrPct1GGzyJT+MJf+gbYxFVO0jzCuoRn8iyhbjOwtTt6GH+9IlJ2Hv6JuTlMB9dsNIs1PQ7Fi4UMc14ezYSYF++hp7yryq9Bf9FK4uEOYHxlmxwaE/+0eBHUXow9ssp3bogLrpjp9FtzMsFWoTOwPmZRSAumchrBn/E6ZR/rwkbaXX9DOHjK6YrfDXqXCiUW+V+TquQRtIDy/qvJSTZTNKdrpI5Y8S8yKpNW2e8H2SUqC1n8PJK/ZMLpKxxsj5U/ovGIhiD5bneKxRmN4ALaS28BqlUgQFNTsE+/g3Tuk1NhfNjbwjCi6PJuoIu6U2GUEEyjPCitLdXMIQCh5265LBU7Qe01z53Vd81z2tHv9LKtKVj3l+dAeB3jiOAkeRH+x0FHpbB6q9YxDPZTGSl66uA0bwy2K3BoUCXlfVByR0Qjz2tBqYuyQ8vMy1iQeVDiyfnyR1mrYAvaFJ6Tmi+gELLw71ph/BRKzbyjAGp5TKQVC9OtBmL9+mOhLhS4SZRVQxTnOdvLSquDq1GnP7Nfxo4XA1qfsWZAYkdhlJYwAXtNyzL1Z6LY8Vcsrzphoih5mSvDgCvQGwMwZUH8lK8HZGvC7yHY52ImLG97/iblXnB+6LzfQ6e3ecZst6U8LEUyP+WxDWFEg8+vDOt1J2gFYxG+5C7RsILTl0DHSnkBkAz4OfYYAziOIOmwUYWvdxACJRuzxYDuio7y4sqyIiK+xvcBuoxs+ZoFrAOs9RC+5v7L2ZiTZ0vrTnCJY4HP6XnN8HTiZMh9FA/KSpjnOa2XJU18YCakh0EfV+VtGDUpYG6ZLaXE+mDBWvRM5exl1JzFU3Pt7LO8/NDA2OIPypYcYpJLiZZnaJAs4t6L3UlQofkjLys3zYoVIz2tK5Hel4JwZiuo4rli665wGJoss821eJFxg0Pc0Eq+c8XixMGdVrdpoZ80LXqvVIutgxaqFoNCwQnpPct2jE6qGficLXI8/ikLvn4mzGRjBLKFNXMBnW//Wl5Y1tS/m7dgm7OpgTrS4rzzFwin2Bt8xKLhwAbMehO8p6mFqVV1W0jkuHonaJewZ1ofvPzwYITllqXUmBla3sjvkdKQNQzVigbp4MxPpt+tG8cDJDE3jJxB/Mpfu1qP9zG3wcL8QhdjpLoZwrX63NLOSFgDFfwdBFM6OHS+0nIYWKQUjhE67Qjb8N4U1SzW5cMVvTFZ7Okbdivso5LubrbykEeAfYF5Ty9h5ouqH9m4/qhLRfr5Da+0+X+x5kui+kuIkIBb1ZN0LA9RinlmcFXWpyHlML/BN6zegi17b+ZeWNQbnYmzgNNkww0GQDN2qz8EAGbAVy7hAjTL1AdulVuaZVszGx++85ItjZWUR3Az+1eStluX/YZ1ylOIP8YbrB9vNIaasLfpMePF9YkoRhzsxy8OoJGw6zVKjgm02DiXIEk9L75QRW5ThhfJcTh2jfX2uBDrPUICnLC0WLkIDnih99eSXmSaNrRkdiLAUsm94AB9lqy19/B/SZJIYvtUmfV9VTKcIj1sBLsoQShQOotnveZAJ7KREDQ925xM5ecJFEN90U9XeSl0Nol7NgMzhCfHv5FitLQ4K/VBf3+PYbOWt9HC8kpmRAbJJpAMxo/pcCbjDgqePF8o+5LBES/IQM2TjUlBxL9YW6KGSizrLY1ej2NtxXYuVZuNZA5zkbt8wXWnK5RKMCH1KngNjYO9kCYefm5DPABQ5+9ly5pnaBum1/zIJ3DBicpdhCpC7VsyqqTFFEqRrX5MWCr609ZczlzRRKK8wROTJfxxMaqGQDwhk1IE0leZ71Ng0UAsvQo7s//oGGu78W+dGyoSi1J7sQzJvWLVZL7b4RUpel+PUihHUJ1UDwlsbQYF6QNh2NrA4amUTo2ewNzW5brkY0+mLTvSs4T7llIYBT25yUmQjSSwawg8Lgk9G232zeVTa9I4gDnBFLdqXVULrGKfSNxpjsiYxGX0CsJlv7BoFEhDvKG/1GB9uTY2+f3KZuUSIFM2OnVrmki00RRO2MUAfcB8ORVBp6NugJ91Pp7+pi7uZWFD6vLnNC9m6lS7Nw7Nu4k4IaKHJQtjZte28w6lU46VdR3CfRRBHYZG7IpRVV3ZDw4Fu/UAnYtuIMz+FFMnEOxy6lsV0tdj3VcX29u18eghMdXzfdzGdt0hvd/ViLtn/Lxg5MpO8k/K/jsB6sGfYPNO4EPJL3eR8/HmvtO0pylbmAG03rjuc0B+KUdHVnDnbHti9cZ/3H6bT+EfsrFZEgmBq5fNGrO67X5vt2lwYIFay+4T+sOXA9C4VlXG8lATBWJcSzxlB4dJqKObuDEs5GWiIQOuVJNgGerOW/l640euRwHLvBBtDJl6hMLCC3avSQf+uSqHclVE2TZdWHjMrl2Ybd/JNsv0iemB2WvpylYi2VqM/6xjNiOZ3t2XAoAwb4zvYXPMD0xIQRLzMWgcCNZiAiORSp8zKOvSCU+470PZJePzRwN7NPDEWyeftU0hR0QgdIHrSG2j0HlwKyy2wLaRQMAMXnSbQE96oIdTMQfB0VHTB9oKlDkuivOhxtjjdnm258HLARi8Y6sGDuyWc0lV0Jp+RvfE4HJ8N+kxSGDurThirocisdqB/wYycNCCAynLIMj6MjFojFjhAYYdKivPOmAXvntOUOzwWlR8i2Ies4oJ7pqJjJTfptMQnYrkJb2KDymcMn99sO6vwKHwoIBXsICBcf0t/USEuAdamJdhKWhcgZBW843QF2tgZp6Jqe76KG3CwqWOQMFCYR3gXc1BoTRUSfRdodU8yLEyBZ18RZNUtqwXOwtxnZGfzt3zBaldH6qvoXAEeBl2z7oA1Z0e/sc0RGBvh57NL/z8GzM1qtT0H5axF4RoQUzzP+6Vbmp5idBdsgUSzYzILWHtzc/5vLYCHWQ5v9OTow4I+4KuxxRTikSoSO30Gg+q6j/LszdZrlT/nORC7cABVoPkoNxRHdRkRHUytHJiLUJWJ1fLPqEDkQxz7NCxzZB9kA6WMznaTEqG34VH39hggmhxod8jCD+hctI238W7/IMdu3UYZC/1UyGsywqkldQLLYaBxiFZwO4k01vFdPRC8dpJo7t/vpgtNJA6oKp/gOhAY+Mwb8JpsCK/O40vlaBQsEPi7NhKJrzNy9YG0h59zS+fs565MgauvZBhRd3vW9iRWJ++WrstfH2s0CbuSLZ5gCQvrW3daOcTMIm/wnBDw+VA3kl8RfvQ6v6TMR3MoeY269ko1/5fCv57VPOocPoO0vIX3OyRONHQByibYIsxrmpFHXs5jOHQQATWgBAknUkS1qt8pCyByX8uTsDUCJormsHeIvF9a/NsbpmvTNZlqpHjDI6i+DtghSzbv/8HKafQPk6yWYE7Q0jU55Y803udjG2FDupu5rf+BF/iGWCfdPGpUgXJFUOXxFm2AVQUi04nc5jDNC1n+UtWf1TZc0S2h7Y2t4rw43Gs29uy9YTmi9hVF8h7mLiJXpfQSWAxSXzpLkJ4LvDplDAjFfJ9nheY5LTwA8tHWbZL6YmZGC/80eGR3XV2ZY7HdAokeqThNgMD3n1LXrbOR8IMPvtqIllxdzMbpC6jpH/TtSD+TlxJbEGyrhcwesPu8lp5SYKt0zWB1ZppCx/StK4Gcx1pTt6hcRF5ANL9ylj6g/LorIDHc8yITuLRQDanW/SYUlMOQiMV+YUBv/rKPLIxFhlLnDJAJYX7Mfo1NiLdTRbFzO/LbeKF0/lwI+bSQXOmnvpEHNuGWPBMzG7JNaMgvYnLlep1yCZXIeR43SEg1vNoGbZQeLM7Ic/aTkRMgLEsrNF7/nqCx9mVP6BT/ShcW4gCre7Lb0lBkSBda59DnN4n4Q3l82BxfkXWQZo4bCOX9iAYKRueIcLdWgnEOdrBaZMRrOR0IBPgnPZ8Pd0hCCwl6QwdQuYz2mjz4UmZc44UcOSLG7I6imRsUMZWa6JnFDPHMpSz6djGLbZ1x+jiwbtPtogDu0H0hgdl34a7UkIfHD4EfvYho6v7rZNtBZUIE0UGsHXDICRiwBa+QEbbrxOtwWPRhnGvC7Ga502kKbSjoQYf3rz8mRyd/AvGfA45vnASla/Ns84tvKMreKzV8hli68+T4gHI2dUX5gGXdIJAB4MmTYiB58DERodOfHK8aG4rBhyWK4Wgoni2zoLcd8xDW9NAL86u5U9rk4oxnZsZT9exfUqdXc9rbRn4RNzsVBZCJloUZnszkDy12le+nLNEALv73rxYlDjZi3KEUEHpbBExoUhuxiyuoU9RWdTLCFy/GKYP5F9WLyRAY/E13iJ6fug7IpML2qp2C/ALYBuz+3RCCGn6p4j47GdfZdFdsow5+XNGRpng5r9hpX2rcerIllLzo/BAyHIddrREiGp5sUgR5iIdSaME1Rdvq34fbn7w3Ffl4XF4EA+h9i49ybxfOEdQxTy0zdRb4dCFSlmvQLR+CRriwIultlSFSFtj5QYwyS1Yzr2OZt4/uAnfXhvFfe5o4YdlUGqx/js5IrvFDg+5lwJ1bKxJALIVlK+i0MKw3O5/SeVfoEjS1zoqS9GQK/IbQQ+9qyQ6P2zT3li7H34sXtkM5TOkczbFhWGnatIL9bydfutmq4sMfcTUiPZpXwDhd0WlQoWfVqqnRl6Yeo+SHV1rlZSktEsw2adQdL18w5bueuY9246uoNoE1y73N+RSZIvB/XImoyHzd1PZaPJAoIfDOoXWQRs0/Uneu+D/oh26PqW9xiJ9vCM6NOcfu/zOpaKKSofY5eKxaZ0jLeX+jHrgyNXXN59qc+mOfcnrlWSYtHst/nKbj0BNxWlUConB5nhbqnH1ANGlF/ouys6CBec0c6wTJpcSoQWVK9pXUnwoeoY2hm9X8sqvXf5X6Yxx4m9WcEhOZWeGyFxi7nRI6SIoCm07+rSjZ/B6L3vAjUTnDOOOtKA2a0Z8e/OMDM7T4zk7PE1AXCYPtMdncnN5XwWGyptkDoOkXvc8YPTYIVc0HY7eESrhYWJlv/W7S5UeifqGsUS5vROfgKK+zk95qkKwz4oi+Tbf9fND2bvasQ+PO8xKDVxI7+oAK9bS2u+wR0GZCQpWHNj9RRIduzHjahNvTRviguN6wtyuEnjXTCeTow9HF6X78xR+QUhsYPolMxxxgBBXo/DlysUKO6cbo93dxpO/HgYNNzmm+Gc7XegQLun2f2OZi1mJVUyX5JjWrHYcYo06vINGd+NTbrq0mE+WV1sYRPMTtvlrtQhDM14uahgoeXJPkMbEM8vVXTmAANRJdurZBIY1jDj2bO7MpcNxu4UFuBDZKy4bamIe5272Etb4oIwr71hAHPdOMJuoSPfDwu5nB3Fd5bmArxE2VnVxXb5r18W4pB8iYALm8AFQW5FIzSRj0063xqNKbJSu+NeU1xStlyl9j3rDHscJT3Vt794ZYdry3wo8RCQKHob8zfuevyxsdA9XO2aQDPhiTfxSc8/xu77+QK3g8CkzHmzvDuhQFgCSRc+FQ96oZvSCKHDiYhcSg2UBYsM6szPiPMN6B9C2eSKWq5f1YBSzDUUBgOKaEl7zgs30NyT4ZCbTYlDCJKgcuLVftpEViYplu/sAIWM/XS3FIFBBfHtlipqih6kzUxAKS6Mi7DJiA+VSM3l4U5IAFCrYY4KYs1f85D2E1axu22qJYWQHOt9fd1rSn3NAPrmdkN1PR5HRcE+TH19GzHqHBS0OKYd3+yrFGrN7oWp2l/XAbKGE+IJvkWeYW2owzJ77/1NLYzbuRkzp/G3+Lpaz+4JM31+y/bE0Fe96hv0T6SoFB/MAUbqjlNeyivAHxr8UBQ9rPuTFA86SzU44RU/2KI+6RrmRlhecWNhlFQGRoC6Zwr1+0YV6G+vBveOuENgdgNPKmqyvkDckqVcSt+o07tZkNo9O9sMGIUTNltrPqdT5Hg9UEPYnDfC0ky6bwQAYCjHcwHLg6BaxAqj31eEMY/DVkoyOZPjiOFHIu4pi91Y1skoc/JAnQU6Ml2qSJ3jpvA0EkePH7858XUiqEfUH803UX+ksYt15ZWSl7EfuG5Ki1xKA3hEn1Ebok7KtrchGcrDJP2iuG7skAQtrsg2ugwCLrbsRe9L6zsMN/U/08XRETpvqBugYpamt/Q6hBbYyghL20012jceiK9mQ30+nX1PMLfja+bNpwseZ3ZHO2pDnIXfjYNlc/Jj1q38X7/HE/FTQnCTzo8pgsFIBCM4UP5RsN0N4WDUTMa5Ym94EElFQW3w9fnflYatrGn7jbd+s3x87N3UhYL8DmebiCqP3b1cuZFxvTVIinbkvYCC1O7uNYCYcoaSWWdTpyUj3dRFo6t1U/CU8bzh4kqSYsxiubeNt2Xf/uzUSXObSt0ksUp3vym6QbK9hZRRI0VaYx5ptNfJs2pZdKB1UoDu063ofzvJ570ZMYGYYbQZjUcJ4krwN87kcTJhi0a+VsNRItrTi4gUq/LWagzrJ3DrMs68oAMYgEeswo4XUHKxkLqcuUY0XdI1/0T5qqeULj8kT8yYIkAhcHCrU0EIEChoNTuVsQxgdGbX+6QRbqtuy4PsrkgqmyN0KOFp3z9LLzhX+6T5AzLRoT5GOPCeJJ9N9/H1eQTGYGb15kTK3x3RuuwIvND5esWbHRFr/OFGa/0bpZaQ3ds8sOeuvd+AS5RxQo5C+jNzKdF1hiQ0F89z5ITwuk4InM0kkj8lN4l134tddTrUi0WdHmP+5u767Odca7XkkiO0XUiR3L3qjWPNsivuA/z3vJaETAyM20J8LGmmiUhB5qAwLQmlgtoou/1kqaGf3VA77YmQTKlqnEdjVpXxRdIMTQs6CqaYTcIez3KIQzV2Z+78IcKBkdMqrReOcSUtBIYx+4GzZEuJlhHhnREB46YomGRW270f01k/vM9nOpQGYbWt6zB6Jj+yFSPrmTxmB4BrgCcpWJ2OzrJx+TZgldS4Jt8dQ0nz+xLunVcreJOnbLk84TAnGLyIUqKPio5UFgAtfVDWz4rkF9RLKGrY9FQBOhUYcVu5OHslHjjZJ82T/LVBRDfIr9YyENavpGm02WbnY6LJ6RjAQssA96W/G2UIyZ+9HcfNYQ1raVNTctmrm10BFzhf69LSmA1eUi7tMJCdj0c0fcWYOmTusuGNvFBpgJJQLGN/wblPAXXZdqTk/bsVpCLB3bKc6U2mmNJMir8k7rSjML7biKdsRtCBdxEAeLOtRR/MkhDsVqjEgZwrYeZxAfwm6jw2N/B5r8a0suoSxVBf4s4NGVHwHENPlPDiRjUoRS5sbmugMYKbqQMGiZ9ddbwESJjiWD5g/7GA74vWNUXH+tgnuU2tAK3TifHYSPF6ILlJs+5TJGL5gNVxTp3THAqNifk8qe+Mb3uzQdXP5/3UFFfJtUKhR4VABwI+XCHQyVH7lJNbqiohwtcDQzEwc1mf7opP2fCga4brCT1jeMpQwurueKxccUbh0mlulYQGnEBgQdqzT6TfFaBDqDd0XbCCAbNJKmKbHOo4Jow/1s/BrmFE7A1EBxHEPjc9+rnD9cx4ngjSeAOJs7NQ/brZzJ/1VP2flgUfXp3MHOTGQEtkLrd/1ulOcecSgBQEUK/hBV8ST8SkzT1mOrG566tJHvicNSedzMMS3oTYZnCpMT++Sg/x+PhmnlfbP3V7/MpUXBIX6KDtUUhCGL6Xj6wd+/t5SaU/kiubh57+QIc3GKWGCl/b4GARb6rMr7Oxo2TD2gj3xjq5v81qEHdaJ5foIfK7i6BUf4seWhOPbyAf4aE02HA5kh9LnCo84mKBfW/Hq3wjuIy1ugn6uJvQfhRf2GWFDlJP8MGjm3O6rvz+DQ2rEnaar2tG3uE9go9uPRS0M9u7qv1w7qa2AMRLjTDqGXpdb4YpdkusxnTgm4IJ2fbbZkhlSKGn3MTT9lnPFMB+U4kbs4yllqrCkgdbrm0+Q8UZqDwrEoiAjja8A31mKNm6tsQEUdsFToAue3hqKUduOG9gV8Z5Ai9IkaOrAn5kCuzE1CsaDghbmv8aPih+BqWqHWWCvDu0OMA42vaIYpeLmxedQvUS05pkuJj+g9s8RAh99jtXdWi4jIijX0/1M5cvldi1WlSzWGNesLGCI318XVjha6eq4oSQXIrVuDcxUU9c0OkK8Y2z6XKAwBUixu/r3Q0ech3OTIOnLmBtvrb8pdppz996GCBRxEZkNoUz1t3i7DEYWR6FppE7RIdo2YEOUgLBdwFxFO5Ia4nowj925bP5uORSbqXBUyuks2ea2IOQTJ3rLx+/txUJoE40sNDqYdbbIjKRnv7FE4o7XwHk+8mPM6f5414e/Jzk2YpXT8Wpeo9tuqud7AC6gWqMemaAB1mrIv6nUAsfTsD1SY3EgxA5zG1hg6QfhZUBddYHBPUMrpJ2dsUc0/vmTQftPsOvbjEdMCqP5/qU48G5TGlq9Min93GOQBkX5RL++bM6sxEmdPPiOoFGYvG5PFEaw3QCGTv9E/IN8xkjwWY5MV/fvwgnwY3M/qwSmjNITaV/t+sg6fTrpxPvBqSOYMbbful5MPBoxIaT+zIlQaYUA8mIYF0RPaPDadeshNIlBbKS8CWqsYlf0JTqJ1i0IsO1UOV0CjxvTMWMgQ1l6AHMiAi/AMmOfOy53TTpruvqx/T2G01eSoHSwi53jRStAt/mtnhvvlzx2V/23gk2MGXmFnZtD3IDpXlKUZ+yO2fECMZezm9g7JIqV/vZoe8CDna5f7eANcB+bLXno5YdWBL2MHr6sRTnMaeiSijx+LyHnuQtHlKSG7+YX/XyhCsODt3q7i0cF/KCvNobEXLi8mrHU0mI5/2fhTfYZOjnZsrdJDskcZCQ10pehx/2uCHt1JEc0v0medSc6cowxeV8snIN1jfzerdY78OIxa0fOqYZBN0iq103cE1ORugegdD70GXptaT6kUJ1TBDl0Q+dsKoZelIds9DNb48shZ2QZ06xBiXIt6sY3kus2T5JwBVZazZ/6NPg66UFKxsJCQG9MKSrKNGjFsi7jrxrxwf+g35PLA8C7CPRbmpIN7S5oQK2Bx7FgBqNPCu2k49tOjykgs4ciMVXSqb5EOcFHF/rHY5fDmyanhMHRx4UOUO0Y3sQ2ZPBYniHLQjWNCGWinHJ5dF9wSs2y9WI0CxGwzb1fAS7AeW036iyaBN/ngI14HyeQQZThp4WfMZp5kulJyl7nYdWSAlK90sJWve3kq08F7vXkiW/shP4+Hq8BczmMLmc/dOHA3Fkkmp0nkYaEOfarCaXaf5a4C66C/fcKxAwfz5RBKqO+7aMoeiniuTorVnQi9p60B+Z00gFHqnM5VJJj7kWLkdQe+SKnhWOKY6NQDXAho2Su6rUgAHDeTRj97oDGaP212bEqeLrDRjlfohJYYoLCJEvYf4IcTW/jkWtxw04wnJiHWkyzTun8p/DOzzxs1TdaPtgDcgr4vsNgWLXsZpMdRcykYSlTNg/Wq2orTZz+vCGKkoRNh3yV+Dq0A3z/yBa7M2Q0wQNOQDzqxymbIY+J6149SvCVVALNqIOpnJB/TsmqPIsZrSrrY2Y8DIHvv4Fqombj5Ez+3cpqy8OURAlB/CsrHWsiJ771wMc1KUytN2r81cpCCbt7YGahZcVKJ4OVDn3vf60fjDjjqBZ0wM/wFuXBs6U/ktfylsihekaij1QIO6/O1mcrnfwsaDa59kZAtSWPvHEa1c8WuTO0+GFPxHfyTelKIq9YkBWMrjhGovYtBoybr3KARwthGQJu0M2jd0TzCvhJHyXUWm66sug9acJfNgQGu6COHZJsuF5ytzvRtYR/NZcNipESfq0ZZq1v
