From neried7@gmail.com Wed Feb 21 12:02:43 2024 Return-Path: X-Original-To: cfrg@ietfa.amsl.com Delivered-To: cfrg@ietfa.amsl.com Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id DBF98C151991 for ; Wed, 21 Feb 2024 12:02:43 -0800 (PST) X-Virus-Scanned: amavisd-new at amsl.com X-Spam-Flag: NO X-Spam-Score: -4.797 X-Spam-Level: X-Spam-Status: No, score=-4.797 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, HTML_IMAGE_ONLY_12=2.059, HTML_IMAGE_RATIO_08=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_HI=-5, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01] autolearn=ham autolearn_force=no Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id FhjMSxDIZa9j for ; Wed, 21 Feb 2024 12:02:39 -0800 (PST) Received: from mail-ed1-x533.google.com (mail-ed1-x533.google.com [IPv6:2a00:1450:4864:20::533]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id E6ECEC1524DC for ; Wed, 21 Feb 2024 12:02:15 -0800 (PST) Received: by mail-ed1-x533.google.com with SMTP id 4fb4d7f45d1cf-55f279dca99so1332299a12.3 for ; Wed, 21 Feb 2024 12:02:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708545733; x=1709150533; darn=irtf.org; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :from:to:cc:subject:date:message-id:reply-to; bh=LpDN97uRJHgMpO4rjlmDEPcZpwpF+PymHL/aSG8r8NY=; b=NZdRs1p/I6e0nvfTkq7goR/RPdhEPhJij+SzHBYEz/yc9ntoLrjLXu3OVrYmijc9RY GryRAntvgpYQjykU3rqmQxwgYS+TCeb3iVqqMC6BFO0gPSUCTE8pH20DlVFII6bXLWyY ahcVlcefSI4GLlJQE8hBa0uEmFLAhlNpi57B0upybCtwN4oPsquJh9tFKLN4tuofb5H0 fWec1ibtIpOgggS9RaA+rRJt/EOAu2gJprcztFrPSWNQTkjh4snFuupSm6urg3frgZwY 4yMxyjUOh5iHypEYYOVd9NujGbp2+HgBDLAdAY+S/ZmW4oeWVmbM1THCM1TyNKnWaAz9 g43w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708545733; x=1709150533; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=LpDN97uRJHgMpO4rjlmDEPcZpwpF+PymHL/aSG8r8NY=; b=HmKg7fNy9GjQ93IsfSE6uPd+YJgzvILGezsQHDbhGCpttkNp92jdmyB35SN10aj5qD WrVlfrrrHxR3dEjI4JzlmEbJoYRid6VTr6lp1/+G4QF0ZUF5FGVLOTdSB5fUNFrNjpa1 Ksl+p+GveuSYUanqmzev1sAkK4huWICsDkJasCvb5/z9JXudHUByFDVSZofDzWAnVedp DZLjQ1GKb7CmyJpNK673y/cFMznAF7uUoiVJqWcskh8KydvC2p5vhpUqGmPAZ4JaD5QE tJ7Omww6sO8vXJOmHAqZxY5YOgezGFZIZrTaGO7jFMg92LXLE6ZkUmShmBscXcw3hb3E qFlA== X-Gm-Message-State: AOJu0Yxzal3Uj5FgxRap/yXkjKVdfwTTkF1z3X8WaLQumlxRx7qpjhDG IrE/khwf31GfAXD3qRABi1avAEwGun5IzSuYNkSxC9/sG268ebGpeWxN5u07Vpz39F3bQ/oks5d pXDUmakkhAkTzAad2ix8jVIfN1yPppUoa X-Google-Smtp-Source: AGHT+IENmvrxcE8BqQ+NVXO2nwGRXHCFl3MFaph+0Gx2pXQvlQn1QdJYXWTQboMloFrMMe4wTiW2bF4X/Np78ZKZ0pk= X-Received: by 2002:a05:6402:1210:b0:565:14b6:39e0 with SMTP id c16-20020a056402121000b0056514b639e0mr967384edw.1.1708545733026; Wed, 21 Feb 2024 12:02:13 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Deirdre Connolly Date: Wed, 21 Feb 2024 15:01:36 -0500 Message-ID: To: CFRG Content-Type: multipart/related; boundary="00000000000080056b0611e9cda3" Archived-At: Subject: [CFRG] Fwd: Yet another interesting KEM combiner X-BeenThere: cfrg@irtf.org X-Mailman-Version: 2.1.39 Precedence: list List-Id: Crypto Forum Research Group List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 21 Feb 2024 20:02:44 -0000 --00000000000080056b0611e9cda3 Content-Type: multipart/alternative; boundary="0000000000008005690611e9cda2" --0000000000008005690611e9cda2 Content-Type: text/plain; charset="UTF-8" Apple just announced their PQ3 upgrade to iMessage, with long term ML-KEM-1024 keys and occasionally ratcheting Kyber758 keys. They combine them P-256 ECDH and possibly a root key in an interesting variant of HKDF: [image: kdfskck.jpeg] https://security.apple.com/assets/files/Security_analysis_of_the_iMessage_PQ3_protocol_Stebila.pdf Based on previous literature, one would probably reach for a concatenation scheme that then is just shoved through HKDF in one go (for example in PQXDH in Signal), vs this kind of chained variant. It seems like an interesting approach and I am wondering if anyone has any more information about why one would construct it this way (the benefits vs a simpler way) Deirdre --0000000000008005690611e9cda2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Apple just announced their PQ3 upgrade to iMessage, with long term M= L-KEM-1024 keys and occasionally ratcheting=C2=A0Kyber758 keys. They combin= e them P-256 ECDH and possibly a root key in an interesting=C2=A0variant of= HKDF:

3D"kdfskck.jpeg"


Based on previous literature, one would pro= bably reach for a concatenation scheme that then is just shoved through HKD= F in one go (for example in PQXDH in Signal), vs this kind of chained varia= nt. It seems like an interesting approach and I am wondering if anyone has = any more information about why one would construct it this way (the benefit= s vs a simpler way)

Deirdre

--0000000000008005690611e9cda2-- --00000000000080056b0611e9cda3 Content-Type: image/jpeg; name="kdfskck.jpeg" Content-Disposition: inline; filename="kdfskck.jpeg" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: ii_lsw7zmt12 /9j/4QDoRXhpZgAATU0AKgAAAAgABgESAAMAAAABAAEAAAEaAAUAAAABAAAAVgEbAAUAAAABAAAA XgEoAAMAAAABAAIAAAITAAMAAAABAAEAAIdpAAQAAAABAAAAZgAAAAAAAACQAAAAAQAAAJAAAAAB AAiQAAAHAAAABDAyMjGRAQAHAAAABAECAwCShgAHAAAAEgAAAMygAAAHAAAABDAxMDCgAQADAAAA AQABAACgAgAEAAAAAQAAAuqgAwAEAAAAAQAAARikBgADAAAAAQAAAAAAAAAAQVNDSUkAAABTY3Jl ZW5zaG90AAD/4g/QSUNDX1BST0ZJTEUAAQEAAA/AYXBwbAIQAABtbnRyUkdCIFhZWiAH5wAMAB4A AAAsABNhY3NwQVBQTAAAAABBUFBMAAAAAAAAAAAAAAAAAAAAAAAA9tYAAQAAAADTLWFwcGwAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABFkZXNjAAABUAAAAGJk c2NtAAABtAAABJxjcHJ0AAAGUAAAACN3dHB0AAAGdAAAABRyWFlaAAAGiAAAABRnWFlaAAAGnAAA ABRiWFlaAAAGsAAAABRyVFJDAAAGxAAACAxhYXJnAAAO0AAAACB2Y2d0AAAO8AAAADBuZGluAAAP IAAAAD5tbW9kAAAPYAAAACh2Y2dwAAAPiAAAADhiVFJDAAAGxAAACAxnVFJDAAAGxAAACAxhYWJn AAAO0AAAACBhYWdnAAAO0AAAACBkZXNjAAAAAAAAAAhEaXNwbGF5AAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAbWx1YwAAAAAAAAAmAAAADGhySFIAAAAUAAAB2GtvS1IAAAAMAAAB7G5iTk8AAAASAAAB +GlkAAAAAAASAAACCmh1SFUAAAAUAAACHGNzQ1oAAAAWAAACMGRhREsAAAAcAAACRm5sTkwAAAAW AAACYmZpRkkAAAAQAAACeGl0SVQAAAAYAAACiGVzRVMAAAAWAAACoHJvUk8AAAASAAACtmZyQ0EA AAAWAAACyGFyAAAAAAAUAAAC3nVrVUEAAAAcAAAC8mhlSUwAAAAWAAADDnpoVFcAAAAKAAADJHZp Vk4AAAAOAAADLnNrU0sAAAAWAAADPHpoQ04AAAAKAAADJHJ1UlUAAAAkAAADUmVuR0IAAAAUAAAD dmZyRlIAAAAWAAADim1zAAAAAAASAAADoGhpSU4AAAASAAADsnRoVEgAAAAMAAADxGNhRVMAAAAY AAAD0GVuQVUAAAAUAAADdmVzWEwAAAASAAACtmRlREUAAAAQAAAD6GVuVVMAAAASAAAD+HB0QlIA AAAYAAAECnBsUEwAAAASAAAEImVsR1IAAAAiAAAENHN2U0UAAAAQAAAEVnRyVFIAAAAUAAAEZnB0 UFQAAAAWAAAEemphSlAAAAAMAAAEkABMAEMARAAgAHUAIABiAG8AagBpzuy37AAgAEwAQwBEAEYA YQByAGcAZQAtAEwAQwBEAEwAQwBEACAAVwBhAHIAbgBhAFMAegDtAG4AZQBzACAATABDAEQAQgBh AHIAZQB2AG4A/QAgAEwAQwBEAEwAQwBEAC0AZgBhAHIAdgBlAHMAawDmAHIAbQBLAGwAZQB1AHIA ZQBuAC0ATABDAEQAVgDkAHIAaQAtAEwAQwBEAEwAQwBEACAAYQAgAGMAbwBsAG8AcgBpAEwAQwBE ACAAYQAgAGMAbwBsAG8AcgBMAEMARAAgAGMAbwBsAG8AcgBBAEMATAAgAGMAbwB1AGwAZQB1AHIg DwBMAEMARAAgBkUGRAZIBkYGKQQaBD4EOwRMBD4EQAQ+BDIEOAQ5ACAATABDAEQgDwBMAEMARAAg BeYF0QXiBdUF4AXZX2mCcgBMAEMARABMAEMARAAgAE0A4AB1AEYAYQByAGUAYgBuAP0AIABMAEMA RAQmBDIENQRCBD0EPgQ5ACAEFgQaAC0ENAQ4BEEEPwQ7BDUEOQBDAG8AbABvAHUAcgAgAEwAQwBE AEwAQwBEACAAYwBvAHUAbABlAHUAcgBXAGEAcgBuAGEAIABMAEMARAkwCQIJFwlACSgAIABMAEMA RABMAEMARAAgDioONQBMAEMARAAgAGUAbgAgAGMAbwBsAG8AcgBGAGEAcgBiAC0ATABDAEQAQwBv AGwAbwByACAATABDAEQATABDAEQAIABDAG8AbABvAHIAaQBkAG8ASwBvAGwAbwByACAATABDAEQD iAOzA8cDwQPJA7wDtwAgA78DuAPMA70DtwAgAEwAQwBEAEYA5AByAGcALQBMAEMARABSAGUAbgBr AGwAaQAgAEwAQwBEAEwAQwBEACAAYQAgAGMAbwByAGUAczCrMOkw/ABMAEMARHRleHQAAAAAQ29w eXJpZ2h0IEFwcGxlIEluYy4sIDIwMjMAAFhZWiAAAAAAAADzUQABAAAAARbMWFlaIAAAAAAAAIPf AAA9v////7tYWVogAAAAAAAASr8AALE3AAAKuVhZWiAAAAAAAAAoOAAAEQsAAMi5Y3VydgAAAAAA AAQAAAAABQAKAA8AFAAZAB4AIwAoAC0AMgA2ADsAQABFAEoATwBUAFkAXgBjAGgAbQByAHcAfACB AIYAiwCQAJUAmgCfAKMAqACtALIAtwC8AMEAxgDLANAA1QDbAOAA5QDrAPAA9gD7AQEBBwENARMB GQEfASUBKwEyATgBPgFFAUwBUgFZAWABZwFuAXUBfAGDAYsBkgGaAaEBqQGxAbkBwQHJAdEB2QHh AekB8gH6AgMCDAIUAh0CJgIvAjgCQQJLAlQCXQJnAnECegKEAo4CmAKiAqwCtgLBAssC1QLgAusC 9QMAAwsDFgMhAy0DOANDA08DWgNmA3IDfgOKA5YDogOuA7oDxwPTA+AD7AP5BAYEEwQgBC0EOwRI BFUEYwRxBH4EjASaBKgEtgTEBNME4QTwBP4FDQUcBSsFOgVJBVgFZwV3BYYFlgWmBbUFxQXVBeUF 9gYGBhYGJwY3BkgGWQZqBnsGjAadBq8GwAbRBuMG9QcHBxkHKwc9B08HYQd0B4YHmQesB78H0gfl B/gICwgfCDIIRghaCG4IggiWCKoIvgjSCOcI+wkQCSUJOglPCWQJeQmPCaQJugnPCeUJ+woRCicK PQpUCmoKgQqYCq4KxQrcCvMLCwsiCzkLUQtpC4ALmAuwC8gL4Qv5DBIMKgxDDFwMdQyODKcMwAzZ DPMNDQ0mDUANWg10DY4NqQ3DDd4N+A4TDi4OSQ5kDn8Omw62DtIO7g8JDyUPQQ9eD3oPlg+zD88P 7BAJECYQQxBhEH4QmxC5ENcQ9RETETERTxFtEYwRqhHJEegSBxImEkUSZBKEEqMSwxLjEwMTIxND E2MTgxOkE8UT5RQGFCcUSRRqFIsUrRTOFPAVEhU0FVYVeBWbFb0V4BYDFiYWSRZsFo8WshbWFvoX HRdBF2UXiReuF9IX9xgbGEAYZRiKGK8Y1Rj6GSAZRRlrGZEZtxndGgQaKhpRGncanhrFGuwbFBs7 G2MbihuyG9ocAhwqHFIcexyjHMwc9R0eHUcdcB2ZHcMd7B4WHkAeah6UHr4e6R8THz4faR+UH78f 6iAVIEEgbCCYIMQg8CEcIUghdSGhIc4h+yInIlUigiKvIt0jCiM4I2YjlCPCI/AkHyRNJHwkqyTa JQklOCVoJZclxyX3JicmVyaHJrcm6CcYJ0kneierJ9woDSg/KHEooijUKQYpOClrKZ0p0CoCKjUq aCqbKs8rAis2K2krnSvRLAUsOSxuLKIs1y0MLUEtdi2rLeEuFi5MLoIuty7uLyQvWi+RL8cv/jA1 MGwwpDDbMRIxSjGCMbox8jIqMmMymzLUMw0zRjN/M7gz8TQrNGU0njTYNRM1TTWHNcI1/TY3NnI2 rjbpNyQ3YDecN9c4FDhQOIw4yDkFOUI5fzm8Ofk6Njp0OrI67zstO2s7qjvoPCc8ZTykPOM9Ij1h PaE94D4gPmA+oD7gPyE/YT+iP+JAI0BkQKZA50EpQWpBrEHuQjBCckK1QvdDOkN9Q8BEA0RHRIpE zkUSRVVFmkXeRiJGZ0arRvBHNUd7R8BIBUhLSJFI10kdSWNJqUnwSjdKfUrESwxLU0uaS+JMKkxy TLpNAk1KTZNN3E4lTm5Ot08AT0lPk0/dUCdQcVC7UQZRUFGbUeZSMVJ8UsdTE1NfU6pT9lRCVI9U 21UoVXVVwlYPVlxWqVb3V0RXklfgWC9YfVjLWRpZaVm4WgdaVlqmWvVbRVuVW+VcNVyGXNZdJ114 XcleGl5sXr1fD19hX7NgBWBXYKpg/GFPYaJh9WJJYpxi8GNDY5dj62RAZJRk6WU9ZZJl52Y9ZpJm 6Gc9Z5Nn6Wg/aJZo7GlDaZpp8WpIap9q92tPa6dr/2xXbK9tCG1gbbluEm5rbsRvHm94b9FwK3CG cOBxOnGVcfByS3KmcwFzXXO4dBR0cHTMdSh1hXXhdj52m3b4d1Z3s3gReG54zHkqeYl553pGeqV7 BHtje8J8IXyBfOF9QX2hfgF+Yn7CfyN/hH/lgEeAqIEKgWuBzYIwgpKC9INXg7qEHYSAhOOFR4Wr hg6GcobXhzuHn4gEiGmIzokziZmJ/opkisqLMIuWi/yMY4zKjTGNmI3/jmaOzo82j56QBpBukNaR P5GokhGSepLjk02TtpQglIqU9JVflcmWNJaflwqXdZfgmEyYuJkkmZCZ/JpomtWbQpuvnByciZz3 nWSd0p5Anq6fHZ+Ln/qgaaDYoUehtqImopajBqN2o+akVqTHpTilqaYapoum/adup+CoUqjEqTep qaocqo+rAqt1q+msXKzQrUStuK4trqGvFq+LsACwdbDqsWCx1rJLssKzOLOutCW0nLUTtYq2AbZ5 tvC3aLfguFm40blKucK6O7q1uy67p7whvJu9Fb2Pvgq+hL7/v3q/9cBwwOzBZ8Hjwl/C28NYw9TE UcTOxUvFyMZGxsPHQce/yD3IvMk6ybnKOMq3yzbLtsw1zLXNNc21zjbOts83z7jQOdC60TzRvtI/ 0sHTRNPG1EnUy9VO1dHWVdbY11zX4Nhk2OjZbNnx2nba+9uA3AXcit0Q3ZbeHN6i3ynfr+A24L3h ROHM4lPi2+Nj4+vkc+T85YTmDeaW5x/nqegy6LzpRunQ6lvq5etw6/vshu0R7ZzuKO6070DvzPBY 8OXxcvH/8ozzGfOn9DT0wvVQ9d72bfb794r4Gfio+Tj5x/pX+uf7d/wH/Jj9Kf26/kv+3P9t//9w YXJhAAAAAAADAAAAAmZmAADypwAADVkAABPQAAAKW3ZjZ3QAAAAAAAAAAQABAAAAAAAAAAEAAAAB AAAAAAAAAAEAAAABAAAAAAAAAAEAAG5kaW4AAAAAAAAANgAArhQAAFHsAABD1wAAsKQAACZmAAAP XAAAUA0AAFQ5AAIzMwACMzMAAjMzAAAAAAAAAABtbW9kAAAAAAAABhAAAKBF/WJtYgAAAAAAAAAA AAAAAAAAAAAAAAAAdmNncAAAAAAAAwAAAAJmZgADAAAAAmZmAAMAAAACZmYAAAACMzM0AAAAAAIz MzQAAAAAAjMzNAD/2wCEABoaGhoaGiwaGiw/LCwsP1U/Pz8/VWtVVVVVVWuBa2tra2trgYGBgYGB gYGbm5ubm5u1tbW1tcvLy8vLy8vLy8sBHyEhNDA0WTAwWdWQdpDV1dXV1dXV1dXV1dXV1dXV1dXV 1dXV1dXV1dXV1dXV1dXV1dXV1dXV1dXV1dXV1dXV1f/dAAQAL//AABEIARgC6gMBIgACEQEDEQH/ xAGiAAABBQEBAQEBAQAAAAAAAAAAAQIDBAUGBwgJCgsQAAIBAwMCBAMFBQQEAAABfQECAwAEEQUS ITFBBhNRYQcicRQygZGhCCNCscEVUtHwJDNicoIJChYXGBkaJSYnKCkqNDU2Nzg5OkNERUZHSElK U1RVVldYWVpjZGVmZ2hpanN0dXZ3eHl6g4SFhoeIiYqSk5SVlpeYmZqio6Slpqeoqaqys7S1tre4 ubrCw8TFxsfIycrS09TV1tfY2drh4uPk5ebn6Onq8fLz9PX29/j5+gEAAwEBAQEBAQEBAQAAAAAA AAECAwQFBgcICQoLEQACAQIEBAMEBwUEBAABAncAAQIDEQQFITEGEkFRB2FxEyIygQgUQpGhscEJ IzNS8BVictEKFiQ04SXxFxgZGiYnKCkqNTY3ODk6Q0RFRkdISUpTVFVWV1hZWmNkZWZnaGlqc3R1 dnd4eXqCg4SFhoeIiYqSk5SVlpeYmZqio6Slpqeoqaqys7S1tre4ubrCw8TFxsfIycrS09TV1tfY 2dri4+Tl5ufo6ery8/T19vf4+fr/2gAMAwEAAhEDEQA/AOnooooAKKYjo43IQw9qC6KwQsAT0FAD 6KhaeBDtd1UjsSBTkeNxmNgw9qAJKKYzogy5Cj34qP7Rb/8APRPzFAE9FRNLEihmdQD05oSaF+Ed W+hFAEtFMZ0jGXIUe/FPoAKKjV42JCEHb1x2oeWKIZkZVHucUASUVHHLFKMxMrD/AGTmlV0cZQgg ccUAPoqNnjQhWIBPQU5mVFLMcACgB1FMRldA69COO1PoAKKjMkaEKzAE9BUlABRRRQAUUUUAFFFF ABRRRQAUUUUAFFFFABRRRQAUUUUAFFFR+ZGG2bhu9KAJKKiikjmTfGcjpUtABRRRQAUUUUAFFFFA BRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAF FFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAf/9Dp6Q9KWkPSgDmrG+jstLDNyxY7 V/z2rTsrNkY3V0d0z/ko9BWXpOnW9xZtJKNxfKj2HtV/TZnjZtPuP9ZF90+q9qAIYYYZtWuRKiuA FxkZ7ClvrRbRPt1kPLePqB0I+lPtf+Qxdf7q/wAhT9VuFW3NqnzSS/KqigCvrEgm0tJV6MVP6Ve+ w6b/AM846z9Vi8jSY4f7m0fkK0f7K0//AJ4rQBR1RI1ezjwNgkAx2xxT7+HTUt2fCRsB8pXAOe3S k1dFeW0RhkGQAj24qK9s4bJ4763jG2M/Ovt6/hQAy/MraNGZ/v8Ay5q5d3byzDT7MgOfvN/dHt71 HrTrJpwdDlWZSKJ9MENur2fE0PzA929aALyRQ6daN5Y4RSx98CqFhaLdJ9tvB5jydAegH0q2kial p7eXwXUrj0NRaTcK1uLZ/lki+UrQBehtLe3dnhQIW4OPasOxvIrKylkk6+a21fXgV0W9N/l5G7Gc e1c5pVjb3CzSzDd8zIB6UAaNlauz/brvDSsPlHZR6Cn3X764htP4T87j2XoPzqvp8j20p0yc8rzG fVan6auP+uHH/fVAFua4htwPNO38PT6U1bu2aQQq3zHp6HHoelUdWUCH5fvy7Yh+daC20C7CEGYx hT6CgDPvFSW/tosD5cuT7L0q/HdW80nlRtlgM/h7ViTiSW6ubpSCkChCp/iA5I9q17c28jLMihZH jU9Oi9hQBdpjukSl3IVR3pEkjkGY2DAccVRvws+2zV9krfMvH92gC1HcRSNsUnOM4II4/EUr3EUb eWx+bGcKCePwrOszN9sdbxVMkaDDr02mq8nnnzdRsHVonHzKwx90Y4oA3UdJEDxnKnpin1QjH+go bf8AdDZux1xx05qSxdpLOJ3OSVGaALdNZlRSzHAFNSSN87GB28HHaqV/5csYsi+x5vu8f3eaALMd zDIwVTyRkZBGfpkClkniiYIx5PYAk4+grMtvtH24RXqqzom5XX06dKY/nSSPfadIpAGxlYcfL6UA bMbpIgeM5BqSsm3EjWcH2VPLV+Wweg9s1JBJIt9Ja7t6KgbJ/hPpQBpU0kKMngCmiSMsY1YFl6j0 qrfGJovs0jbTN8i8UASpdQSEKp+993IIB+naoZWtZ5o4WY7kbcAOASvb049KpQC5S8igvQsm1SY3 Xt26UieWL/8A6Z2oCj/fegDXlmihA8w4zwB6/QCspTFc6srxgYiQknGOTxg/SpLcGXUp5ZP+WICI PTNN090eaa4/57SbV+iCgCf/AI99QCj7twp4/wBpf/rVpVmXf/H7aAddzf8AoNadABRRRQAUUUUA FFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAU UUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAf//R6ekpajeRY13P09hn+VAD ILeK2j8qFdq+lI9tBJKk7L86fdPT+VM+22/qf++W/wAKPttv6n/vlv8ACgCOXTbKaQzSJlm6nJH8 qkgsbS2O6GMKfXvR9tt/U/8AfLf4Ufbbf1P/AHy3+FAEk9vDcx+XOu5euOn8qnqp9tt/U/8AfLf4 Ufbbf1P/AHy3+FAEktvDMUaVcmM7l9jUjKrqUYZBGCKr/bbf1P8A3y3+FH2239T/AN8t/hQAhsbU 24tSn7schcmrlVPttv6n/vlv8KPttv6n/vlv8KAHxW0EDM8S7S/J/wD1VFcWFpcnfKnzeo4P6U77 bb+p/wC+W/wo+22/qf8Avlv8KAC3sra1z5CYJ6nvUkFvDbqVhXaCcn61H9tt/U/98t/hR9tt/U/9 8t/hQA+S2gmdJJFy0fKnpj8qr3iMjx3iDPlfeA/unr+VS/bbf1P/AHy3+FH2239T/wB8t/hQA9oo bjy5T8235lx0qxVMXdsBgZA/3T/hS/bbf1P/AHy3+FAD0toY1dFXiQkt75oht4rcYiGOg554HQfh TPttv6n/AL5b/Cj7bb+p/wC+W/woAjsoEh80xpsVm4H071YkgjkYOchgMAg4OPwqP7bb+p/75b/C j7bb+p/75b/CgCWOCOEHYOvU9Sah+xW+NuDt/u5O38ulL9tt/U/98t/hR9tt/U/98t/hQBJNuERC IWJGMDH9cVDYLJHbJDKhQoAO36Yp32239T/3y3+FH2239T/3y3+FAEdrAkc00ka7FYgfUjqf1qxJ BHKQW4K9CDgj8qj+22/qf++W/wAKPttv6n/vlv8ACgCWOCOLJQcnqTyai+xW+CuDtP8ADk7fyo+2 2/qf++W/wo+22/qf++W/woALlp44dtpHuboOgAH41BZCdW2vD5S4ySWDFm/Cp/ttv6n/AL5b/Cj7 bb+p/wC+W/woAjSBBfPOi7flwx/vE4/kBVmSGOXG8cr0I4I/Kovttv6n/vlv8KPttv6n/vlv8KAJ I7eKIllHzHqScn9aaLWASmbHzE59s9M46U37bb+p/wC+W/wo+22/qf8Avlv8KAFezgkcuw5bhsEg HHqBRFaQQNviXH8hn0Hak+22/qf++W/wo+2W/qf++W/woAhh/wBIuzcj/VxjYnue5H8q0api7tgM DIA/2W/wpfttv6n/AL5b/CgC3RVT7bb+p/75b/Cj7bb+p/75b/CgC3RVT7bb+p/75b/Cj7bb+p/7 5b/CgC3RVT7bb+p/75b/AAo+22/qf++W/wAKALdFVPttv6n/AL5b/Cj7bb+p/wC+W/woAt0VU+22 /qf++W/wo+22/qf++W/woAt0VU+22/qf++W/wo+22/qf++W/woAt0VU+22/qf++W/wAKPttv6n/v lv8ACgC3RVT7bb+p/wC+W/wo+22/qf8Avlv8KALdFVPttv6n/vlv8KPttv6n/vlv8KALdFVPttv6 n/vlv8KPttv6n/vlv8KALdFVPttv6n/vlv8ACj7bb+p/75b/AAoAt0VU+22/qf8Avlv8KPttv6n/ AL5b/CgC3RVT7bb+p/75b/Cj7bb+p/75b/CgC3RVT7bb+p/75b/Cj7bb+p/75b/CgC3RVT7bb+p/ 75b/AAo+22/qf++W/wAKALdFVPttv6n/AL5b/Cj7bb+p/wC+W/woAt0VU+22/qf++W/wo+22/qf+ +W/woAt0VU+22/qf++W/wo+22/qf++W/woAt0VU+22/qf++W/wAKPttv6n/vlv8ACgC3RVT7bb+p /wC+W/wo+22/qf8Avlv8KALdFVPttv6n/vlv8KPttv6n/vlv8KALdFVPttv6n/vlv8KPttv6n/vl v8KALdFVPttv6n/vlv8ACj7bb+p/75b/AAoAt0VU+22/qf8Avlv8KPttv6n/AL5b/CgC3RVT7bb+ p/75b/CpYp45eEzx7EUATUUUUAf/0unooooAKKKKACiiigAooooAKKKKACiiigAoqGaaO3j8yU4U VNQAUUUUAFFFFABRRVW7uPslu0+3dtxx09qALVFRxP5kayYxuANVbW8FysrbdvlMV/KgC9RVO0ul urYXJGwHPHpim2139qZvKT90vAf1+g9KAL1FZEeoXExfyLfcEYr98DpVi2vUmkMDqYpV/hb09qAL 9FZcl/KLp7WCAyFAD94Cp7ee5kfbLbmIY67gf5UAXaKilfyonkxnYpOPpWbFqF1NGJYrUlT0+YUA a9FQQPJJHulj8s/3c5/lU9ABRTFdGJCkHbwcdqfQAUUUUAFFFMV0YkKQdvBx2oAfRVS4maMrFEAZ JOFHYY6n8Kllk8mIyEFtvZRz+VAE1FVbm4Nvbm4C5CjOOlTRMXiVyNu4A49KAJKKKKACiiigAooo oAKKKKACiiigAooooAKKKKACiiq9zMbeBpgu7aM46cUAWKKgimDW63DjYCu7HoMU+KRJY1kj+6wy KAJKKKKACiiigAooqldXRtfLwm7zGCdccmgC7RTTnHy8VXtpjKGRxtkjOGH+HtQBaooooAKKKKAC iiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooA//0+nooooAKzJgV1C3 wxw2/jPHA9K06zp4bl7mKZFTEW7qx53DH93igDRquRcfaF27fJ28jvmpxVcrcfaFZWHlbeV75oAs 0UUUAFZUt6TdG1Q7Ag+ZsZPsAK1az1gmguJZYQrLLg4Jxgj8DQAsb3TQdPmLYUkY+X1Iqt5l6801 vC4PlAEEgdSOB6Yq06XoVTG67twJGMDb/dFV4bW7jMoyoMx3Fx1HsBjt2oAhvEnlmtrZn5c7iAOB tFackotod8pLbRyQPT6dKry2832sXMO04j2DPY560t5th0+SN358sqCepOKALysGUMOhFRzTJbxG WThV9KbbOjwIUIIwBx9KsUAYtrfQuz3MrEb8BVweFH0FXf7QtP7x/wC+W/wp0EBgkkVMCJsFR6Hv +FW6AIIZ4pxmI5x7Yqnq/wDyDpfoP5itOqd9A9zaPBHgFsYz060AU4G1TyI9ixY2jHJ6YqHSc+Rc 7uvmNnH0rZhQxwpGeqqB+QqlZWklukyvj945YY9DQBz0X2yXTgqJ+4i5btv56fQV1ds8MkCPB9zH AHb2qHT7Z7W0WCTBK56dKjtbSS0ncRkeQ/IXup9vagCDR/u3H/XZqTUQFvbN0+/vx+HFFva6jamQ Q+UQ7luSf6CrEFlJ5/2u7YPIBhQBhVHtQBQ3XCaxP9nQOdi8E44wK17d7ls/aI1T0wc1DFaSJqEt 2SNrqAB34x/hWhQBWvP+PSb/AK5t/KsnT21EWcfkrEUxxknNaPlXL280UzKS+4JjjAI4qlbwavbQ rBGYNq9M7qALkv277Oske0SryUHRvaq8F1Pfvutj5USDkkDJb0/CpHi1CaDypGjQsfmKZ+77e9C2 TW0yyWeFTADoehA7j3oAp6fFc/aZ/wB9wsnzfKPm/wAKf5t/NfTWsLhETb82AdvHQfWpktryC6ka Ip5UjBjnOfwqxBbPFdzznG2XbjH+yKAIbrzlfJulgXHyjC/1qsupTNp8cqgedI3lj0z6097K6W7k mjETiTGDJ1XHpSR6ZILEWzsBIr71ZegPagCzHb3yMC1zuBHI2gdu1UtPiuftM/77hZPm+UfN/hV6 EamXXzzEEHXbnJqJLa8gupGiKeVIwY5zn8KAJY/n1OUn/lnGqj8eajvLi4hkUR8AuqKP72ev4CpM eTqWT92ZMD6r2/KkuraeS4jmiK/IpAz2J70AQ6zIi26RPwJHAP8Aujk1OjXcrxyxlPKPVRg4Hbn1 pxtXN1DKTlIUIGeuTx/Ko7a1mgkZcgR72fjvnoMegoAhSe9e7+z5Aym88fc54H5U+CS6lnlgD/JE cb8DPTp6VYt7d47ia4fH7wjbjsAKZb2ssVtKhIEkpY5HYnpQA+wne4t/MfnDEA+oFWZTKF/cgE+h OB/Kqtjby28apJgBVChV6e5/GrUkSTLsfOPYkfyoAr79Q/55x/8AfZ/+Jp8bXZbEqIF/2WJ/oKZ/ Z9t6N/323+NPjtIIm3puz7sx/maALVYb37mWWJXCSIdqRkYDfif/AK1bLhihVTgkYB9KzGs5p4Ut 5wp24y+ctx6cCgCa+umtYkP3QzAFsZ2iltZmdXfcHiH3GHU8c8D/AAp0kc/n+amHQrt2E4H16Gi1 t1tEdmwNxLHHCigCaCdJwxjz8p28jHSp6y9OliYzqrAnzWOB6cVOrTi9MbFTEUyoHUYwKAH3czW9 s8yDJUcCqltd+Y25ZRJEqZY8Ag/T0q1PHMzRvE2Ah5XOM/pVcWO95ZJAqGVPLwnp69qAK7XdybNt QBCKPuJjt05/+tT9QMjWUcDcPOUQ4/Wkks7uS1jtfkCx7e/3tv4cVJLaXLNDKCpaMsSCePm6Y4/h oATVd6WmyJtu7EYXHXPH8qv28RhiERbcFGBxjgVVuLWR1g2Hd5LAndxnA+lWoUdF/eHLE59h7D2o AJTcDHkKp9dxx/IGod+of884/wDvs/8AxNTS28U+PMzx0wSP5YqH+z7b0b/vtv8AGgCaE3Bz56qv ptOf6CknMgQCPjJ5b0HrSw28UGfLzz6kn+dNuo5JLd4osBmXAzQBn2smoXEEU4ZeW5GP4fX/APVT NQnRL63RuiAtjpyeB9K1oIhDCkQ/gUD8qqCzZp7iWTGJVCL7DFAEkIvPOJlZWiK8Y9fb2qP7mqYH SSLn6qadZQTwoqzEYRQgAPHHemx/vdQklH3YkEf4nk/lxQBo0UUUAFFFFABRRRQAUUUUAFFFFABR RRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAf/U6eiiigAooooAKKKKACiiigAooooAKKKK ACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigCGWFJk 2N9QR1BHpUtLRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUwIqsXA5PX8KfRQAUUUUAFFFFABRR RQAUUUUAFFFFABRRRQA0jIxnH0pkUKQII4xgCpaKACiiigAooooAKKKKACiiigAooooAKKKKACii igAooooAKKKKACiiigAooooAKKKKACiiigD/1enooooAKpveQx5LZ2rwWxwKuVlzxL5b2NooBk++ eyg9/wDAUAaYIIyOlJkZ29/So4AiwIsZyoUAfTHFMMNublZjjzQuBz2+lAFmiiigArKbzDqS7bhQ gGDFnnp6Vq1g3KqNbtyBjKn+tADr27zexWgl8tOrkHH4Z7dKu2EU8URE8vm5OVPX5azrtEOs242j BU54+tbwAUYHAFADqjEkbNsVgWHYVFdSJHCdz7N3yg+56VlW6TRXEFrdIBsBKMnQ4HcUAbTyRx43 sFz0zxTxWDM0u6W9tts0RXaexUL1xV+NZBHBFb5WPZ97jI4GBQBoUVRspnmWQPg+W5QEdCBU1xs8 o7wxH+xnP6UAWKKxcWn9y5/8iVNALfzV2LOD/tb8frxQBqVFMSsLsvBCnH5VLUNx/wAe8n+6f5UA FuS0EbN1Kj+VTVBa/wDHtF/uL/Kp6AMy/v0tAqKw3sQMegqzIyT27+TJ2+8h6YrJ1tF3W7YHL4Na oaHEsUQxs64GOooAz9Kux9iEl1KAdxGXNbIIIyvIrm9JhibTpZGUEnI59AKrq8o0E7P7+D9KAOmW 5tmby1kQt6AinNNCjiNnUMei5GfyrDa2ebTUVREihVYPk8e/So9VQMbPOCWIBYd+lAHQLPA7+Wjq WHYEZqaue1KNIbuxEShfnxxxxla6GgBpIUZPAFIjpIMxkMPasm4EtxqKwDGyJN+1uhPT9KseVGgl 86VVL43Y+UAdBQBc86HBO9cL15HFRXFzHBA0uRwuVHrWeIoZNTKhQEgiA445PT9KZdxQfY4LW3Hy ysoX/d60AalrKZrdJGI3FRnHQHFWapMTgJaAAb9rEY+Xim200jXE1u53CPGG+o6GgC/UPmxiYQfx bd34dKe27YdmN2OM9KxLQXwmlDmPzuM7gfu9sY7UAb1FUsah6xfkali+05/f7MdtuaAC6JW2lZeC EOPyqDTXaSxidzkkdTU15/x6Tf8AXNv5Vk6dp1rNZRyODkjsSKALNnJI2oXUbMSq7cDsKis7sRw3 E1y52pKQM/yFN0yJIb+6jTgLtxVSz0+O8Nw0pOBIwUeh9aANW0W5nk+13BKKfuRjsPeqsaSXV/cx tNIqx7cBWx1FWNOnk+ayuf8AWxfqvY1HY/8AISvP+A/yoAa73Gmyp5khlgc7fm6qfrRd+bJqcdss jxoY8/IcetGrMs/l2EfLuwOB2AqO8hWbV4Y2JA8v+E49aANCKyaKQP58r4/hY8VfqnBZx2770Zzx j5myKshkJKgjK9R6UAYGnQzXkBlkuJVO4jhvStaKNbND5sxYE9ZCPyrF0qxtri2Lyg53EcEj+VbP 2a0itnhb/VdTk5oAsvJHGuZGCj34qkuo25uGgLKAoHzbhg+1ZVj+8uIxdliij/R9w6+/1x0q1FBb /wBqTK0aYCKQMDFAGuZYkO1mUEDOM9qY9zbRqGeRVB6cjn6VlTW8dxrASUZVYt2Ox5qed4RcC3ht xLIqdOAFWgDTR0dQyEFT0I6VD9rtd/leam7pjIrCt2lSyvRGNpVjgL/D64+laVrbWP2ONtiFdoO4 46/WgB66jbm4aAsoCgfNuGD7U67Zi0drGdplPJHZR1/wqlFBb/2pMrRpgIpAwMVbb/kKR5/55Nj8 xQBabZDFsUrGANq56D0qGbdFZMZXyyJyw46fSqmqJlQq8vLiJR6Z6n8qbqDK9klvAc+awjH4f/qo At2T7LSEXD/O4z8x5Oaub03bNwzjOPasaJYJd8d2v7yJ0yQeOfuge3tRLbxyalHCeQA0re+eAPpQ BrrNCwLK6kL1wRxTkdHXdGQw9qyY4o59TlbHywqq47Z/+tTtOdWeWUcCaQ7B7LxmgDXoqGbb5Tbg 2P8AZzn8Mc1l4tP7lz/5EoA2qKyYhbeYu1Jwc8bvMx+vFa1AEbyRx/fYL9eKVmRV3MQB69qxLFLi 4R7o7N0hIywyVA4xir6R2qiJd4YRL8oyO3GfwoAtebF8o3L833eev0qnc3gilihjK5dsNnsB1qjZ QW8lqs0wx5su5fz4FTEQtqUkjgBII+eO55/lQBsDBHFLVC6kliWNoiApZFxj1P8AntV0kKMtwBQA 6o3kjjxvYLnpninAgjI6VhTNLulvbbbNEV2nsVC9cUAb2RjPamJJG4+Rgw9qx3USPaWS5EJXcQe4 A4FPTyf7VkkGFESLHx/ebp/hQBLl21XYrNsSPLLnjJ4HFPa9X7ZHboy7SpLH9BiobB1e4nmPWR9q /ROKZbCE3VxcOAFVliXjuP8A69AG1RRWMRa5+5cf+RKANmisXFp/cuf/ACJWumNi46Y70AUTLJPe NbRtsWJQWIxnJ6Dn2ot5DK81ncYcx4GfVWFRWw26pdA/xKhH0xii1GdTunHQBB+lAFi0ZlaS1c5M RGD/ALJ6f4VerNT/AJCr4/54rn860qACiiigD//W6eiiigArObS7F2LsmS3J+Zv8a0aKAGqoRQq8 ADAqMwRGYXBX51GAfapqKACiiigAqk+n2skvnuvz+u4/41dooAoyafaSyedImW9ckf1q70paKAIp Io5V2uOByO2MfSmx28UbbxktjGScnH41PRQBU+x2+NuDt/u5O38ulNu0unQJbbQP4skjj0GBV2ig CpaRzRx7Zgi4+6qdAKt0UUAFFFFACVS/s+1IwQ3/AH23+NXqKAKI0+1AwAwA/wBtv8au4xxS0UAQ T28NynlzLuFMFnbrEYAvyt15OT+PWrVFAFFNOtI42jRMK3Ubj/jT4bK2t1ZIkwrdRkkfrVuigCgN Nsl6Jx/dydv5dKfNYWtw4eVMkdOSP5VcooAoyadaSlWkQkqAB8x4x+NXFUKoUdBxTqKAK8ltFKwk YEMBjIODj04prWds0RhZcq3X149+tWqKAKX2G2znaeeDyfm+vrU0tvFMFDj7nK44x+VT0UAU5o5k gEVjtU+/YflTbOK4iysoQL2CZ69yc1eooAKi8pPNE2PmA2/galooAKKKKAGOiuhRhwwwfpTYoo4I xFEMKvQVLRQBAlvDHI8yLhnxuP0oht4oNwiG3cdx+tT0UAV2toXmWdl+dOAelQSabZyyGV0+ZuuC R/I1fooArQWltbf6hAuacbeEzC4K/OowD7VPRQAVAkEUcjSouGfqfpU9FAGX/Y2m/wDPL/x5v8ak XTLJIzEsfytgkZPOOlaFFAEEtvDOgSRcgcjtjHpioZtPtLiQSSpkgY6npV2igCEQRCb7QB8+3bn2 qGewtblxJKvzDjIOOPwq5RQBWgtbe2BWBdobrVf+yrDfv8v3xk4/LpWjRQBSn0+0uZBLMmWxjrj+ VJdxsDHcxDJhPQd1PBFXqKAKzxQXSI55A5Ujj+VKbaEmM7f9V9z0HarFFAFb7LD53n4+bj6ccDjp T1gjWVpwPmYAE+wqaigCGKGOIsUGN53H60yG1gt/9UuO30HoPQVZooAKKKKACiiigCp9jgycAgMc lQSF/LpSyWdvIwZk+6Noxx8vpx2q1RQBVitIISDGMY6DPAz6DtSm0gaQyleTjPocdOOnFWaKAKN5 FNMqrEFwrK3Jx909OlTyKHgZZk3ZHKj+Q6VPRQBXtYvJt0iPG0dPSmfY7fG3B2/3cnb+XSrdFAEE tvHLtLDlehBwR+VRR2VtE/mIuD9ePrjpVyigCtFbQwsXjXBP9fT0oW0gWQyKvJO72z646VZooAKK KKACiiigCvJbRyOJOVdRgFeDj0oSOG1jJXhR8xNWKKAKNnGxMlzINrSngeijpV6iigAooooA/9fp 6KKKACiis2a7liikm8vCRHGDwSPUUAaVFNU7lDdMioTcRLcLan77LkD2oAsUUUUAFFFUZb6KOb7O qtJJjO1B0/kKALhKqMscAU1JI5BmNgwHpVeC5guw8e3BXhkYdKyNHmjtrKaWQ4VX/oKAOjoqh9tC uiSQunmHapOMfoaWW+ijm+zqrSSYztQdP5CgC9RVS3u4rncqAqycMrDBFW6ACiqP26HBdQSinBcD 5R/n2qWW5SEkYLFRkhR0FAFmiqEd/byOqJn5wSpxwcelVUuXl1IgK+yNApHu3r+FAGzRUZkjDbCw B9KkoAKKhnmS3iaV+ij/ACKdEXaJWkG1iBkelAElFFFAEe+MOI9wDdh3/KlZ0jXc5CgdzxWJdzRQ axDJKdqiPr+dRarfWk9k0cMgZsjigDfZ40xuIGeBmnEgDJ4ArG1QhVtCeAJVqPz11a4NqjbYE5b1 f/61AG150Pl+bvXZ65GKYtzbMdqSIT6Ais7WEVNNKIMKNoAFW20+zli2NEo47AA0AXelQfarX/nq n/fQrNsJJPKuLSU7jBlQfbtVLTTpf2NftPlb+c7sZoA6RHSQZjIYe1I8kcQzIwUe/FMt1gEQNsFC HkbelZWtbALfzPu+YM/SgDU+1Wv/AD1T/voVYrFWTQ3IVRESeB8v/wBatBbqIztbHKuozz3HqKAL VFZM2oj7LJNbo5AyqsBxnHX6CnW19utfOljcbIwzErgHjtQBqUVnwajBPkxKxVVyWxwPb601NSjL okkckYc4UsMCgDSoqlcXsdsyx7Wd26KgycVWm1Ei1kdIpEdRjBXpxwfpQBrVF5ieZ5OfmxnHtVOy uzNAGkR1IQEsy4B47UunDdB9of70x3n+g/AUAaFR+bEH8vcN393PP5VTSW1uLpCAd6KWQ9ip4yKr O0f9qGRsBYI//Hm6fpQBs0VRS+hdGYBso2wrjnPpTF1GBovOjDMqj5sD7v8An2oA0aKo/b4AA4B8 skDfj5avUAFFVpLu1hbZJIqn0Jpn9oWP/PZPzFAFyioopYpl3RMGHTiiWWOBDJKdqigCWiqsdyru IyrIWGRuGMgVE1/AmC2dpOFbHBPoKAL9FUVvYmRnVW/dnawxyMVDpcsksG+QNlyWyemOwFAGpRTQ VP3SOOKdQAUUxmWNC7HAUZNV0u43dYyCpcZXI64oAt01mVF3OQAPWqj3sKFgMsI/vlRwv+fao7u5 jOnPcLyrJ8v48CgC8jI67kII9RT6zN/9n6eo2klE7dAcVJpxf7KiybtwHJb3oAv0VDLPDAAZnCZ6 Z4qH+0LH/nsn5igC5RVeK5t5jthdWI7A1YoAKKpfbYRzzs3bd3bPSppZkiZUwSzdFX2oAnoqvFcR yoXXgKcHPYipVdHG5CCPagBsciSrmM5xx9MVLWc37jUEx0nUgj3Xp+laNABRRRQAUUUUAFFFFABR RRQAUUUUAFFFFABRRRQAUUUUAf/Q6eiiigArDu5Yp7Z5G/dyRnCqT3HT5en6VuU3aM5xQBHAXaFG lGGKjI96YZ41uFtsHcy5HHGKs0UAFFFFABXMlPsupyPO7RJL91xjH06V01FAGNa/ZVuJbpGdxt+a RsbfwwBWTaS2406eOUb8uDtHBxwMiuvooA5aJfImhFjcmYFgDGecD+n5U8p9l1OR53aJJfuuMY+n SulpaAMiyWA3Uk0JeTKgFzjb9BwKu3iu1pKsX3thx+VWqKAMO3+xrbRLuMhAGIwe/wDuj+tOvbuJ YrmGJSJcAdOuR2+grZwB0owKAKFo8W2OCHDBEGWHQe1VbGUB5TjMksp+X+6o45+lbIAHSigDKuoE 8qS2j+eSY7uf4ff2A7Vpx/6tec8Dmqb6dZyO0joSW6/M3+NXgAoAHQUAZeoWZnCzozbouQueDj+R qSK2SWNZEllwwBHzVo0nTgUAU/sQ/wCesv8A31VsDaAPSnUUAYswH9tw/wDXI/1p2tqBp7YHda2K KAMLVUV47WNujSKDU19alFS6sxiSDoB3X0rXooAwdSnjudI86Podv4c9Ktf2tZKgEbeY2OFUHNal FAGRZW8scM084w82WK+g7CmaNFE2noWUE89vetqigCtPNFZw+Yw+UYGFFZmssqi3dvuiQE/QVuUU AZP9r6X/AH//AB0/4VXvVGpyfZ7bH7oZaT0yPu/41vUUAY4mWbTpoFTZJGhUp6cdvaoUuoJtKaGM 5ZIORjpgYrepAAOlAGbCxt9KSSFclYgwH4ViT3X2iOEmfzDvU7AuAv4111IAB0oAxZXWy1I3M/Ec iBQ3oR2qeW5ivLO4+z5YBCM4wOnatPAxijpQBk2dxDc2Qt4Tl1iAIx04xVnTyHsIfTYB+XFXQAOl VIIXt5HRR+6b5h/snuPpQBn2jr9ulYLznylUfwog6/SqgEgSXVoz83mcA/d2j5a6ajAxigDPlnj+ zS3CqMR52H1OMZH48VSlQ2+jpboPmkCr+Lda3cDGKKAMe/CRi2tT8se7k9sIOlasTF41crtyOnpT 6WgCrJ9r3fuVjK/7RIP8qj/0/wDuQ/8AfR/+Jq9RQBFF5u398FB/2en8hWbqSBpbbzDtiD/MfQ4+ Wtek9qAM5GtVdnjzKQpy33sAdvT8BVF7m3nmtNnyQp83PABA+Uegrf6UYHTFAGVeTE6dNLGuAeB7 g8ZqzbGNo/IjAaONQu7sfartNwMbe3tQBQsFVHuFQAAS8Af7oqx9pi+0/ZOd+3d7YoitoYWLRggt 1+YmnGMmYSE8KMAe5oAgvXRYhFIuUlOwnOAoPeqNtHIlwyQSefGsZwTztPYA1uUnTpQBzXnJDo5h Q5lYHcO4yec+lWLlo2gghGBCJFXd2KoK3cCjAxigDI1BzLZRgjYszoGz2U1owyiUEoMIDhT6/T2q bHFLQBBL5+B5Cqf944/kKg/0/wDuQ/8AfR/+Jq9RQBWh+05/fKgHbaSf6CluJfIgaULu2joKsUUA c9HCIp4VtJN6FstEcMFHr7Yqe58qedt7m3aDhX3AZyPT0rZAA6UYFAGXbRGSyRrr5drbzwFzj1FP tVzdSXAGxXA2r0Jx/Firc1vFcJ5UoyvpnH8qZBaW9sS0K4J46k/zoAgufmvrVR23N+AGK0apwQv5 zXM3DEbVHooq5QAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFAH//0enooooAKKKKACii igAooooAKKKKACiiigAooooAKKKpXt2LOJZNu7LBcdKALtFNY7VLegqhFfiSwN7sxgE7c+lAGjRV aO4RrZbp/kUqG+lR2101xE03l7UH3c9x9O1AF2iseHULq4iE0NrlT/tjtVy1vI7oFQCjp95D1FAF yiso6hMbiS3ggMnl4z8wFWbea4kYiaAxADg5B/lQBcoqC4m+zwPNjOwZxVCO+vJEWRLQlWGR8woA 1qKihd3jDSJ5bf3euKloAKKKKACiiigAooqpNc+TPDDtz5pIz6YoAt0VUuJmjKxRAGSThR2GOp/C rVAC0UUUAFFNZlRS7cBRmmxSJLGskf3WGRQBJRRRQAUVUnvbW1YLO+0kZHB/pU8bpIgkjOVYZFAE lFFVpbu3hlWGRtrP0H6UAWaKKKACioJ54bZPMmO1en+cUlvcwXSl4G3AcUAWKKKKACiiigAooooA KKKKACiiigAooooAKKKKACiiigAooooAKKKKACimO22NmHYVUS4c/ZuB++XJ/wC+c8UAXqKKKACi oIZRKCQpXadvzDHT09qbczG2gaYLu2jOOlAFmiooXMsKSEbdwBx6U2eZbeFpnBIXsKAJ6Kz7bUIr pwkKPjuSMAVJc3sNopMm449B/kUAXKKikkSFDI/AFVvtqq6RzRtFv4UtjH04PFAF6iqjTNFOscmN knCn0b0P9Kt0AFFFFABRRRQAUUUUAFFFFABRRRQB/9Lp6KKKACse/kdkxEcIjqDjucjj8K2KyLrT y8ax23ABB+Z27e3NAGvVci4+0Lt2+Tt5HfNSRgqgU8Y98/qaiK3H2hWVh5W3le+aALNFFFABVG7N wozC6xKoyWYZ/DFXqzZ4Lx5POjKfJ9xG6fX60AT2rXDr5lwAueijtS3V1FZxedLnHTilt0mVSZ2D Oxzx0HsKnKhhtYZB7UAZNpeQrGXmc75DuIw2B6Dp2FW/7QtP7x/75b/Cn2sLQK0RPyA/J7L6fhVq gCKKWOZd8fI6dMVla5n7ImP+ei/yNbVZ+o2sl3CscZAKuG59BQBE7arsOUhxj1NUbX/kAP8A7rV0 DjchUdxisyGxlj0xrIld5BHHTmgDH3XD20E9xH/osW0FfXtu+ldQSrQbk+6V4x6YpkEGy1S3lAOE Cn06VWtLWa2SS3LBov8Aln6j2oAj0X/kHR/j/Oo5AF1uLZ/FGd307UWttqdpALdPJIHc7v8ACrVp ZmGRridvMlfgnGAB6CgDNhe5TUrr7Mgflc5OK2bdrhgftCKnpg5qC2tZIbuediNsuMY9qvHOOKAK eo/8eE3+5VKzbUvssXlrEV2jGSelW2guZbBreZlMrKRkcCq0MWrwxLCnkYQYH3u1AE9w95DGlwMH YP3kY9PY+1FpPNdyG4X5YBwoxy3v9Ka9ve3KpFcsgT+PZnn0H0qSK1ktrgm3wIH6p/dP+zQBn27a ndwNLHMF2khRtHOKsxXE13YpMsghPR2x6emeKo2C6gbV1tSgUuwyeq1Zk0t1ggjg2v5JJKv91s0A SWV07Xb2jSiZQu5XGPpjjiq8UmoXInZJggidgvyjnHarNrZ3Ed4bqbywCm3anbkVNa2kkEc6MR+8 dmGPQ0AUzf3D2Vv5WBLOdoPYY4zTJY7iK+tFnl83lsfLt7e1Tf2bMLKGJWAmgO5T26077LfTXME9 wYwIs/Kue9AE8fz6nKT/AMs41UfjzSXl4YZI7ePAZ+56KKXHk6lk/dmTA+q9vyp0sEguku4QCQuw qeOPbigBsUtx+82ZkUAbCw25P6cVC0l2LsWiyA5TeTgcduKsSJfNGxjdUfjaByB+OP6VClveJcSX A2ZkUDr9zH4c/pQBDfG7GnhZGAkfCEKODn/61XQfsUKRsd/IROg+gplxayMINh3+SwY7jjOBT2eS 1gMjhpXJ+6oz+A9hQA+K43ytbuux0APtj2q3WXYndK8jI4dgNzOu36AD0FT27T+fNHKQVXBXHYHt QBLdf8esv+438qi07/jxh/3BSXaXkimO28vay4O7OfwxUdlDewosE/l+Wq7RtzmgDNm1C4tyzNPE WU/6oDPH1FWdTkZ7W3liHLSIVB+nFRrp99HbtZRmIRtkbsHdj+VSyWV5NZR27MivGy4K5xhRj86A JBNeWs8cd0VdJTtBUYwaqyajJLNIkc0cCxnaN3JbH9Ktpa3c00ct6yYi5VUz19TmmNY3EMrva+Wy yHJWQdD7YoAtafdG7tllIwehx04qHTv9bdf9djUkcN3BbBI2R5M5O7hfwxVa2t9Sgkdv3OJH3N1/ TigDZorIkh83UTFuYKYckA45zinxDzbqaKYnEYUIM44x1oA1KKwRPMbdFLHyzP5e/wD2O3P6Zq2f 3V9HDF911bevpjofagC8kiybgn8B2n61FaztOr7l2lHKYBz0/AVQ09Ionk6g+eyjk+mf5VV3spkD /LB9obcynBHp9BQB0dFY2He8aDGURBsUsRn375pJYpfsQkDl3hOflJ5VT93t2oA2qqXk7WsDTqob b1GccflUER87fexZI24QZODgen6fhWfMFfRzcOxLsOTnvnpjp+FAHRUVkzGSS/EBAKeXkKTtBP4D tUE6yLaY8z5llAUqTwCRx74oA15XaNQUQvkgYHapqyLyFYLbKM3+sUjLHuQMfSnXf+jTxXhJ8vO1 xk4GeAcdOKANWisaTEdtvYuGncYAPqeF56cdaWB9l3LbSfKpVcKCSAT6cDHFAGnHIkgJTsSv5cUk LtIm50KHpg1maakSRleQS7qBk9AahEjx2RCsQPP2Fv7q7sUAb9FZkn7i7gSDo+Qy+wHWqap/o942 5v3bPs+Y8YHFAG1N/qX/AN0/yrPi/wCXH/c/9kq2GL2e89THn9KqRf8ALj/uf+yUAOvbv7NJHGze Wj5y+M9O1CTXBt95I27j84wfkHf0zUhiuBJIflkV8YVjgLgemKiawZdONlEw3H8B1zigBI71o9NF 5cj5sdB39Kq3wungiilcZnZVKAdB14+lW5bKSa2MZIDZBVf4V29BTZoL2WeO4+QeXnC56ZGM5x+l AGqAAMCq90jPAUTG7jGenBqE/aIriCMMDEV2kH72QOtPu7f7TEFGMqwYA9OO1AET3E1tNEs5VklO 35RjB7d+lR6z/wAg9/qv8xT3t5rqaJplCJEd2Ac5Pbt0o1C3uLqEwRBApxySe3tigC1cW8d1F5Mn 3Tjp7Vn3q/a5o7OL/lmwd2/ugdB9auv9saBggRZOg5JH8qzorXU0QQkxBM/MVzuPr+NAFvU+LJ3H VMMPwIrQByM1n6j88Atl+9MwUfTv+laNABRRRQAUUUUAFFFFABRRRQAUUUUAf//T6eiiigAooooA KKKKACiiigAooooAKKKKACiiigAooooAKKKKACikoBB6UALRRRQAUUUUAFFFFABRRRQBFFDFAuyJ do64qWiigAopMjoKWgAooooAhlhSZNjfUEdQR6VLS0UAFFFFABRRRQAUxUVc7RjJyafRQAUUgI7U tABRRRQAUUUUAFFFFAEPkQeZ5vlrv/vYGaHghlx5iK2OmRU1FADNibPL2jb0xjimxwxRf6pFXPoM VLRQBF5MQfzAg3HvjmmC1tgpQRIAeo2jHFWKKAIDb25UIY12r0GBgfSo5I5uFgKqm3bjHT0I+npV rIHFLQBHHGsUaxoMBRgfhUZtbZslokOevAqxRQBCYIGQRlF2r0GOB9KRre3ZQjRqVXoMDAqeigCF oIHUI8alV6AgYH0pxjRk8tlBXpjHFSUUARvGki7JFDD0I4pqwQIQyxqCvQgDipqKAIRDCGLhFy3U 460JBBGpWONVB6gACpqKAIY4IYv9Uir9BimC0tQCoiQA9RtFWaKAIhFGsflIAq4xgcUxbaNfKxn9 yML+WKsUUAFFFFABRRRQAzYu/fjnGM+1PoooAKKKKACiiigCEQp53nnlsYHsPapqKKACiiigAooo oAKKKKACiiigAooooA//1OnooooAKoNqFsspg+bevG0KT/Kr9ZTMywTXUEvClmxjj5e1AGrTcjO3 v6UyF/NiSTGNyg4+tRmG3Nysxx5oXA57fSgCzRRRQAVH5kYbZuGQM49qkrDlt45NSjhPO0NK348A fhQBr745IyVYbfVTWfpsuLTzriTh2JXee3QCi8SOysZzCMGT+bcVUiiiUNZX45jiB3A8BB6elAHQ VFNKkEZlk4VaeoAUAdBWNfi6+0RsxXyNwxnpntuoA2qWqWNQ9YvyNAGodzF+RoAu0xnRMBiFzwM0 +su6ignm8rYJJdv8XRR60AW7oj7NKB2Q/wAqolxbxW9tbAI02OQOmByalCQxWMyQndtVgx9Tiq0o xcWD9sEfmvFAFnzZLe7jt3fekoOMgZBX6Y4rSrJvBu1CzUdtx/DArTZkQbnIUe/FAD6KKYrI33SD jjigB9U72dra2aVBkjAHFWdyAhSQCegpSyqpZuAKAMq5lnsfKlMhkRmCsrADr6YAp1x9ua5K20io qquQw9c/4Ux9ty63U/EMfKL3J9T/AEFWFW2uLqXdFlo8Llhx68UAS4mhtW8x97hSc4A7elVLePUW KmeddowcKoyfbpxVe3nEVtdK4LRROVUD06YH0p1/HFa2iT2yeW6FdvHP0NAFzy401FWRQC0bZwOv K1oVSb/kIR/9cm/mtWgyltgIyO1AD6jWSNzhGBx6VnagWeWC0BwsrHd9F7VO8VtBItwTt2IQqjgY HJwKAK9o5+03Ls58pCFGTwPWtRWVlDKQR7VzliGXyhdruW4JZcdifUfyrctUhjgVLf7g6UAWOAM9 qjhlSaNZY/ut0rP1Rbsw/uMeX/GO+Kkj+2+WvlGHZgbcA9O1AGjRVLGoesX5GrSbto34z3x0oAGZ UXc5CgevFAZTgAjkZH0qneCAhElXzGJ+RPU//WpLOCG3ZkGPMwCQOijsB6CgCojraWL3MaDeXYZA /wBsj9KkuZZ7HypTIZEZgrKwA6+mAKsWTKtqWbgBn/8AQjVZ9ty63U/EMfKL3J9T/QUASXRvTcBL WRUATJ3DjrU4Z7S2aW6k8wqMnAA/AUzFvPeMjx7miUckfLzWRMG+zX1tF/q4ypUdh3IoA0gb54Vm Rh5hwfL42hT+GelatYN3HHb6ak8HDptKt3Oa3B0yeKAHUUxWV13IQR7Ubl3bMjOM49qAH0UxmRBu chR78UpOBn0oAyIxqUrErOqoWYD5RkAHHpWlIJhH+6YAgdWGf5YrMMVpLp8lykezcGcEj5gf89Ku 2kjy2KSSfeKc0AN02aSeyjllOWbP86iuJrmK7gj3LskYjAHYCl0f/kHRfj/M02+/4/LP/eP8qAJb 6OMiOQqNyyIAccj5hWhVK+/1Sf8AXSP/ANCFXaACiiigAooooAKKKKACiiigAooooAKKKKACiiig AooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKAP/9Xp6KKKACqjWcD5 yDtJyVydv5VbooATpURgiMwuCvzqMA+1TUUAFFFFABUKwRrK04HzMACfYVNRQBDLDHMAsgyFII+o pj2sEkgldfmAx+HpVmigAqKSJJYzE4yrDBqWigBKWiigAqlJYWkoIkTOTuz3/OrtFAFOaNIbKSOM BVCHAH0pkQt7y1ReHCgdOxAq/RQBWjto43MvJcjGTzx6U+aCK4Typl3L6VNRQAnTgVDFBFAGEK7d x3H61PRQBA0ETypMy/Mn3T6Us0MdxGYpRlT26fyqaigDNTSdPRg6RYKnI5Pb8asvbRyPvyysRg7T jNWaKAIEt4Y4vIVRsxjFRLZQhlY7m2fdDEkCrlFAGd5sb6kqIQSkbAgduVqRYFF61wq4+TaT/e6f yxV2igCGWCOYASDpyMcEfTFR/Y4NrKQTvG0kkk49M1aooArPawOiIRgR/dwcY7dqnVVRQijAAwBT qKACoookhQRxjCr0FS0UAFFFFAFWW0t5s+agbcMc+nt6U6C2htk2QrtFWKKAMm1W2urZrWT5sO25 c4/iOOlSJpOnowdIsFTkcnt+NaVFAFeS2jkbfyrYxlTjilit4YY/LjXCnr7/AFqeigCktjbqV4JV OVUn5R9BVwgEYPSlooAhhhit4xFCNqjoKTyIvO+0bfnxtz7VPRQBDNBFcJ5Uy7l9Kl6cClooApGx t2+U52HnZk7fyqeSGORNjZwOykr/ACxU1FAFaC1gtuIQVHpk4/LpTJLG2lcSSBiw5HzNx9OeKuUU AZl40UaxW+75jJHgE5ONwrToooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAK KKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooA//9bp6KKKACiisn7W8vmeS6JtJVA3 8RH9KANaimrnaN3WoDMRcLBsbBXO4fdHtQBZooooAKKKyZtReG7+yGHJYfLg9fTtxQBrUVkpqqC2 a4njMextu31Pt0pW1CWFUluYdkbYGQckZ9RigDUyB1pa56+uLj+0IIQg2g5UZ+92/CtOa5mgtftD Rcr1Xd0H1xQBeorLN+32Bb5Ys+q56D8qVr9hYLerFkYyVzjA/KgDTorHi1RpGh/cEJNwG9/y6Cj+ 05PtbWZg+cdMN1/TjigDYorOtr3zbh7SVNkiDPByMcfStGgCCWZYQueSxwoHU1PWdF+91CVj0hVV X/gXJ/pRNfiGURiMsC2zj+9jOMUAaHQVDDcQ3GfJOdvB4xUUNyX8zzUMfldfTp2rMsrgxWjTKhkd yZGA7Z6f/qoA36KjjbfGr427gDg9qczKilm4AFADqrtcwRyrAzYdugxVT7eAizCM+UzBVPc59B6V DPIn9ppu6QpkAf3m4wB9KANZjtUkDOB0FNikSaMSR8qaht7h5nkR4zH5eBz3qGD91fTQDowEg/Hg 0AaNFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRR QAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFA BRRRQAUUUUAFFFFABRRRQB//1+nooooAKwlj8i1uLQoS7ltuF+9np/ntW7RQBDbq6QRpJyyqAfri mGZxcLAIztK539h7VZooAKKKKACufnL/ANrx3AikKRrtJCn36fnXQUUAZWrWb3drti+8hyB61UKQ ywiMW0rPx8rbgoP1zjFdBRQBhX0Ui3ttcqhZE4O0ZxVthPc2EqsuGfdtB447VpUUAc0GlGkfZBDJ 5m0jG0461IC/9jeR5T78bMbT/nFdDRQBn6YSLNI2VkKDBDDFZ8e/+2Gn8p9jLtB2n2H5V0FFAHPw eYNYknMThHUKDtPt/hXQUUUAZtv8l/cof4gjj6YxSSRtJqUXy/JEhbPbJ4qzNAWdJosK6cexHcVa oAo6j5n2KRYlLMw2gD34qkIn0+ZVgVjGYz8oyRv/AKVt0UAU5bh4DErIW3kKSvRe1N1GKSaykii+ 8RxVh4vMKZPCnOPXHSpqAKMdwPLWOCNsgAYKlQPqSO1ZjW0ri5vVVlmDYjxwcLx0roaKAK1vI8oL MMKMAZGM8c8VXi+fUpXHRI1T+tXm3bTsxuxxnpUVvAII9ucsTlj6mgCxRRRQAUUUUAFFFFABRRRQ AUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFAB RRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAf/ 0OnooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKK ACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooA KKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAo oooAKKKKACiiigAooooAKKKKAP/Z --00000000000080056b0611e9cda3--