asm^``````~~````~~~~`~~~~````````~~``~~~````````````~`~````~```~```````~`~``````````~~``````````````````````~`````````````XKremlinmemKremlin data_startKremlindebug WasmSupportWasmSupport_trap WasmSupportWasmSupport_align_64 WasmSupportWasmSupport_check_buffer_size WasmSupportWasmSupport_betole32 WasmSupportWasmSupport_betole64 WasmSupportWasmSupport_memzeroHacl_IntTypes_Intrinsics&Hacl_IntTypes_Intrinsics_add_carry_u32Hacl_IntTypes_Intrinsics'Hacl_IntTypes_Intrinsics_sub_borrow_u32Hacl_IntTypes_Intrinsics&Hacl_IntTypes_Intrinsics_add_carry_u64 Hacl_IntTypes_Intrinsics'Hacl_IntTypes_Intrinsics_sub_borrow_u64 FStarFStar_UInt128_u32_64FStarFStar_UInt128_u32_32Hacl_Impl_Blake2_Constants+Hacl_Impl_Blake2_Constants___get_sigmaTable Hacl_Impl_Blake2_Constants*Hacl_Impl_Blake2_Constants___get_ivTable_S Hacl_Impl_Blake2_Constants*Hacl_Impl_Blake2_Constants___get_ivTable_B Hacl_Hash_BaseHacl_Hash_Definitions_word_lenHacl_Hash_BaseHacl_Hash_Definitions_block_lenHacl_Hash_Base#Hacl_Hash_Definitions_hash_word_lenHacl_Hash_BaseHacl_Hash_Definitions_hash_lenHacl_Hash_Blake2(Hacl_Hash_Blake2_update_multi_blake2s_32Hacl_Hash_Blake2(Hacl_Hash_Blake2_update_multi_blake2b_32Hacl_Hash_Blake2'Hacl_Hash_Blake2_update_last_blake2s_32Hacl_Hash_Blake2'Hacl_Hash_Blake2_update_last_blake2b_32Hacl_Hash_Blake2 Hacl_Hash_Blake2_hash_blake2s_32Hacl_Hash_Blake2 Hacl_Hash_Blake2_hash_blake2b_32Hacl_Hash_Blake2Hacl_Blake2b_32_blake2b_initHacl_Hash_Blake2"Hacl_Blake2b_32_blake2b_update_keyHacl_Hash_Blake2$Hacl_Blake2b_32_blake2b_update_multiHacl_Hash_Blake2#Hacl_Blake2b_32_blake2b_update_lastHacl_Hash_Blake2Hacl_Blake2b_32_blake2b_finishHacl_Hash_Blake2Hacl_Blake2b_32_blake2bHacl_Hash_Blake2Hacl_Blake2s_32_blake2s_initHacl_Hash_Blake2"Hacl_Blake2s_32_blake2s_update_keyHacl_Hash_Blake2$Hacl_Blake2s_32_blake2s_update_multi Hacl_Hash_Blake2#Hacl_Blake2s_32_blake2s_update_last!Hacl_Hash_Blake2Hacl_Blake2s_32_blake2s_finish"Hacl_Hash_Blake2Hacl_Blake2s_32_blake2s# Hacl_Hash_MD5!Hacl_Hash_MD5_legacy_update_multi$ Hacl_Hash_MD5 Hacl_Hash_MD5_legacy_update_last% Hacl_Hash_MD5Hacl_Hash_MD5_legacy_hash&Hacl_Hash_SHA1"Hacl_Hash_SHA1_legacy_update_multi'Hacl_Hash_SHA1!Hacl_Hash_SHA1_legacy_update_last(Hacl_Hash_SHA1Hacl_Hash_SHA1_legacy_hash)Hacl_Hash_SHA1Hacl_Hash_Core_SHA1___get__h0*Hacl_Hash_SHA2Hacl_Hash_SHA2_update_multi_224+Hacl_Hash_SHA2Hacl_Hash_SHA2_update_multi_256,Hacl_Hash_SHA2Hacl_Hash_SHA2_update_multi_384-Hacl_Hash_SHA2Hacl_Hash_SHA2_update_multi_512.Hacl_Hash_SHA2Hacl_Hash_SHA2_update_last_224/Hacl_Hash_SHA2Hacl_Hash_SHA2_update_last_2560Hacl_Hash_SHA2Hacl_Hash_SHA2_update_last_3841Hacl_Hash_SHA2Hacl_Hash_SHA2_update_last_5122Hacl_Hash_SHA2Hacl_Hash_SHA2_hash_2243Hacl_Hash_SHA2Hacl_Hash_SHA2_hash_2564Hacl_Hash_SHA2Hacl_Hash_SHA2_hash_3845Hacl_Hash_SHA2Hacl_Hash_SHA2_hash_5126Hacl_Hash_SHA2Hacl_Hash_Core_SHA2___get_h2567Hacl_Hash_SHA2Hacl_Hash_Core_SHA2___get_h3848Hacl_Hash_SHA2Hacl_Hash_Core_SHA2___get_h5129 Hacl_SHA3Hacl_Impl_SHA3_rotl: Hacl_SHA3Hacl_Impl_SHA3_state_permute; Hacl_SHA3Hacl_Impl_SHA3_loadState< Hacl_SHA3Hacl_Impl_SHA3_storeState= Hacl_SHA3Hacl_Impl_SHA3_absorb> Hacl_SHA3Hacl_Impl_SHA3_squeeze? Hacl_SHA3Hacl_Impl_SHA3_keccak@ Hacl_SHA3Hacl_SHA3_shake128_haclA Hacl_SHA3Hacl_SHA3_shake256_haclB Hacl_SHA3Hacl_SHA3_sha3_224C Hacl_SHA3Hacl_SHA3_sha3_256D Hacl_SHA3Hacl_SHA3_sha3_384E Hacl_SHA3Hacl_SHA3_sha3_512F Hacl_Chacha20Hacl_Chacha20_chacha20_encryptG Hacl_Chacha20Hacl_Chacha20_chacha20_decryptH Hacl_Chacha20/Hacl_Impl_Chacha20_Vec___get_chacha20_constantsI Hacl_Salsa20Hacl_Salsa20_salsa20_encryptJ Hacl_Salsa20Hacl_Salsa20_salsa20_decryptK Hacl_Salsa20Hacl_Salsa20_salsa20_key_block0L Hacl_Salsa20Hacl_Salsa20_hsalsa20MHacl_Bignum25519_51!Hacl_Impl_Curve25519_Field51_fmulNHacl_Bignum25519_51"Hacl_Impl_Curve25519_Field51_fmul2OHacl_Bignum25519_51"Hacl_Impl_Curve25519_Field51_fmul1PHacl_Bignum25519_51!Hacl_Impl_Curve25519_Field51_fsqrQHacl_Bignum25519_51"Hacl_Impl_Curve25519_Field51_fsqr2RHacl_Bignum25519_51(Hacl_Impl_Curve25519_Field51_store_felemS TUVWXYZ[\]A A  Hacl_Curve25519_51_fsquare_timesWHacl_Curve25519_51_finvXHacl_Curve25519_51_scalarmultZ#Hacl_Curve25519_51_secret_to_public[Hacl_Curve25519_51_ecdh\ data_size] ዀ~ ~(~~A( ! A AlAlj! AAlAlj! ! ! AAlAlj! AAlAlj! ! AAlAlj! ! A AlAlj! )! )! )! )! )! )! )! )! ) ! ) !   |7   |7   |7   |7   |7 )! )! )! )! )! )!! )!" )!# ) !$ ) !%  B| }7  B| }7  B| !}7  "B| #}7  $B| %}7 !& AAlAlj!' !( AAlAlj!) &)!* ')!+ &)!, ')!- &)!. ')!/ &)!0 ')!1 &) !2 ') !3 ) * +|7 ) , -|7 ) . /|7 ) 0 1|7 ) 2 3|7 &)!4 ')!5 &)!6 ')!7 &)!8 ')!9 &)!: ')!; &) !< ') != ( 4B| 5}7 ( 6B| 7}7 ( 8B| 9}7 ( :B| ;}7 ( ))!? ()!@ ))!A ()!B ))!C ()!D ))!E () !F )) !G & > ?|7 & @ A|7 & B C|7 & D E|7 & F G|7 ()!H ))!I ()!J ))!K ()!L ))!M ()!N ))!O () !P )) !Q ' HB| I}7 ' JB| K}7 ' LB| M}7 ' NB| O}7 ' PB| Q}7 !R AAlAlj!S A AlAlj!T AAlAlj!U !V A AlAlj!W W V R   R R U)7 R U)7 R U)7 R U)7 R U) 7 T)!X U)!Y T)!Z U)![ T)!\ U)!] T)!^ U)!_ T) !` U) !a U XB| Y}7 U ZB| [}7 U \B| ]}7 U ^B| _}7 U `B| a}7 S UBP S)!b T)!c S)!d T)!e S)!f T)!g S)!h T)!i S) !j T) !k S b c|7 S d e|7 S f g|7 S h i|7 S j k|7  W V O N!!  A!!  6 ~ (~A( ! AAlAlj! ! AAlAlj! A AlAlj! AAlAlj! ! A AlAlj! )! )! )! )! )! )! )! )! ) ! ) !  |7  |7  |7  |7  |7 )! )! )! )! )! )! )! )! ) !! ) !" B| }7 B| }7 B| }7 B| }7 !B| "}7  R )7 )7 )7 )7 ) 7 )!# )!$ )!% )!& )!' )!( )!) )!* ) !+ ) !, #B| $}7 %B| &}7 'B| (}7 )B| *}7 +B| ,}7 BP )!- )!. )!/ )!0 )!1 )!2 )!3 )!4 ) !5 ) !6 - .|7 / 0|7 1 2|7 3 4|7 5 6|7  O!!  A!!  6 ~~~~~~A(A ! A(A AlAlA(jA!!  6! B7 B7 Ak!@ AK@A(A! @ AI@A(  AljAj j AAlAlj j-: Aj! A!!  6  Ak!A!!  6  ! A)! A(A)AlAlA(jA!!  6! B7 Ak! @ AK@A( Alj )7 Ak! A!!  6  ! ! ! ! A AlAlj! ! !A !@ AK@A(  AkAlj  AkAlj)7 Ak!A!!  6  ! AAlAlj! B7 B7 B7 B7 B7 B7 B7 B7 B7 B7 ! ! ! A AlAlj! A(AlAlj!BB}!A!@ A I@A(   Alj)  Alj)!  Alj  Alj) 7  Alj  Alj) 7 Aj!A!!  6    T B7A!@ AI@A( ! A(AlAlj!! !" A AlAlj!# A kAnAlj-A kApvAqAqAq!$ !) $!%B %}!&A!'@ 'A I@A( & " 'Alj) # 'Alj)!( " 'Alj " 'Alj) (7 # 'Alj # 'Alj) (7 'Aj!'A!!  6   T ! $7 Aj!A!!  6  )!)B )}!*A!+@ +A I@A( *  +Alj)  +Alj)!,  +Alj  +Alj) ,7  +Alj  +Alj) ,7 +Aj!+A!!  6  !- AAlAlj!. - . U - . U - . U !/ !0A !1@ 1AK@A( 0 1AkAlj / 1AkAlj)7 1Ak!1A!!  6  A!!  A!!  6  ~A(  QA!@  AkI@A( Q Aj!A!!  6  A!!  A!!  6 ~A(A! A(AAlAlA(jA!!  6! B7 Ak!@ AK@A(  Alj )7 Ak!A!!  6  ! ! AAlAlj! AAlAlj! !  AW AW  N N AW N AW N AAlAlj! A AlAlj! AAlAlj! !   A W    N   AW    N   A W    N   A2W    N AAlAlj! A AlAlj! AAlAlj! !   AW    N   A2W    N   AW ! AAlAlj!   NA!!  A!!  6 ~A( ! AAlAlj!A! A(AAlAlA(jA!!  6! B7 Ak!@ AK@A( Alj )7 Ak!A!!  6  ! A! A(AAlAlA(jA!!  6! B7 Ak! @ AK@A( Alj )7 Ak! A!!  6  ! A ! A(A AlAlA(jA!!  6! B7 B7 Ak!@ AK@A(A!@ AI@A(  AljAj j AAlAlj j-: Aj!A!!  6  Ak!A!!  6  !  X  N SA!@ AI@A( AlAlAlj Alj)7 Aj!A!!  6  A!!  A!!  6 섀~ ~~A(A ! A(A AlAlA(jA!!  6! B7 Ak!@ AK@A(  Alj )7 Ak!A!!  6  ! A! A(AAlAlA(jA!!  6! B7 Ak! @ AK@A( Alj )7 Ak! A!!  6  ! A! @ AI@A( !  AlAlAlj! )! ! !  Alj 7 Aj! A!!  6  )! B7 ! AAlAlj! B7 B7 B7 B7 B7 )B! )A3! )BA ! )A&! )BA! )A! )BA'! )A !  7   7   7   7  7  V YA!!  A!!  6 ~ A(A ! A(A AlAlA(jA!!  6! A: Ak!@ AK@A(  Alj -: Ak!A!!  6  !A! @ A I@A( ! #! Alj-! Alj : Aj! A!!  6   ZA!!  A!!  6 ~A(A ! A(A AlAlA(jA!!  6! A: Ak!@ AK@A(  Alj -: Ak!A!!  6  !  ZA(AAlAlA(jA!!  6! A: ! A! @ A I@A( Alj-! Alj-! sAq!A sAjAq!  rAq! AvAq! AkAq!  -qAq: Aj! A!!  6  -! AFAq! AF!!  A!!  6 #Aj$ #                                    g jgrn<:ORQhك[ɼg j;ʄg+rn<6_:OтRQl>+hkAكy!~[xjVp $ν|*ƇGF0FؘiD[\"kqCy!Ib%@@QZ^&Ƕ]/SD!7Ç ZEogL*B9q"am 8D꾤K`Kp~('09|eVD")*C#9Y[e }]O~o,CN~S5:*ӆ#EgܺvT2؞]|6*)bp0ZY9Y/1 g&3gXhJd . ۤOHG/BD7q۵[V9Y?^[1$} Ut]rހܛtiGƝ̡ $o,-tJܩ\ڈvRQ>m1'Y GQcg)) '8!.m,M 8STs e jv.,r迢KfpK£Ql$օ5pjl7LwH'4 9JNOʜ[o.htocxxȄnjlPxq"(ט/Be#D7q/;Mۉ۵8H[V9YO?m^BؾopE[N1$} Uo{t]r;ހ5%ܛ&itJi%O8GՌƝew̡ $u+Yo,-ntJAܩ\SڈvfRQ>2-m1?!'Y= % GoQcpn g))/F '&&\8!.*Zm,M߳ 8ScTs ew< jvG.;5,rdL迢0BKfpK0TQlReU$* qW5ѻ2pjҸSAQl7LwH'Hᵼ4cZų 9ˊAJNscwOʜ[o.h]t`/CocxrxȄ9dnj(c#齂lPyƲ+SrxqƜa&>'!Ǹ}xnO}orgȢ}c ?G5 q}#w($@{2 ˾L*~e)Y:o_XGJDl $-7)8+>'=,      expand 32-byte k