PKB],Ypv*  _rels/.relsjB1>E\](GqQ袈/r&Ps!Ҿ}bA)v9Ǭ6o挮vǜ0J7j;ԼÛluH$(gl)%4`F`DcUL@ x=C~@Ex[&rFYKZALE n4>3;\#=Ha:-lbciRI" *]9x;!\3tQqZ,N6.U 5ьwaX94|_+PKB],Y.3Boogie.Provers.LeanAuto.nuspecSM0﯈|fKRRVZjb{ ?Ӥp@z̼yy3o+8Ȍ$#ԦH>!]pq%Dm|FkƼC=p[Tؚ@l%3o@KEQZrɑA֖蓳nV-ڔ4 :˔±[['ZiC}Qo;LU0g#ΐs%xtioo.]'FW=H}[\>Iҵƌ,cPsU,DB-/%Up,J2!;mๆi_!Y:6rWuo2b…`}eF&0':U+ÄVW0gAX kq~q2~޼n߈5i|oo7eG3`A.44PK@],YCS8&lib/net6.0/Boogie.Provers.LeanAuto.dll}k`[Ց܇k[ u6q__Y>9#b{@:@ox,ڊ⺅8c5#QkBU~v4#(R_"@稣4AA~jM%DjphV5FlS)XVLTR3/GR53(IW33 4Qj6RP!rbn؏R/ݪqBEXh[jWKLom٭•Vb:i"sOjڈs,*-:Obg#iIښJ--rnѝ3F:=Hbi]T? TSB0w w,OS*#U52|>OĨ>D5x41gNQZ%(QwerKuZRr8JR}a aFa?M!հ ֽߺ\`w؍+QúW)5쳮pL >V~k;p x&œ$´i[ H)OxG8(l-kV7mIU4((qa]L'zX(gBsfy+V|殔{O"jf!?>O[QtrpugkNEvX7_ O=IWNcY6MrT_r6d)s5i:j6>pØ:HeQX,crOFKDj"blF̉1IͦQg8&O(AUL-~V?BBs"l72AG&+KݜUPZnB)7WܬS>ĕQay7*:L;+#oNHID#F(~9EEc]CGHҫ(xs Wu赼 jcX@YƩ@m y|A'&@~?WͺP?N_&73SSCah~X*|)d Ph|85gi2tM>Y7Sg8ϳn02qVNfϒTv~trMy1Ga1h4YϨ-D?ҍH%7V⺍ot>'>vpUtiuYx,نJ+)oAErM+tXV r sq:ZUP]\o8~Af_ĮwSQ|8ה@WPO*(wp?þ+9[2ONԼ>I`"  2a[P2?SO2K7AR lޮ'݊^2q\8 ,#l}Έ1\OÞta/WK!FR;U[4|Xw4(v 3l+y; l+y-e"UE:<=13|&a vPNubDPZ-I۷DQXGQݦחFhBL Ϥ܅rk倐P3nXC >dl1AѿzW: j$0y-4=h 6|R 7wut,1yQ5b#lnDSϥd:1v{ސQ5LOT'Kf Țz+kDLW#SuX,lWJsYf|Є+=r"/u6Nx,a79c?Ey6t?tȦY܄Aq9E -uh~ D7wdnoB eyTЎV{M^YGhPw͝+c~ص7}%hi±+ J{ȃWf$),q{?AWTb}N&C<5 :LǞtL#{!ӨYMjx#UjZ#۟r4&9/X+k%߇gpr7xn DjXVf|Q7@ֳv if=7̲E3o*/==H" e \Hs]`i8f}Obu]^05^ߜwqWus|0?<>NZ<+ C:ЗdxU}\ K/e^ 3{C`v?_m;v!^nu}_/m |m&aby/n?߂H%dFl8g5}%*+RRW7%%8w}֗>Α}62s^pZ/he}䙜ѯ`_u =E$$,9:w!p!yyqU|ԬOF:2qWzc(N2Eg72An^VȽT.FM&MN~ujR#|lƖ47v!4F jZME-'slX|n4PSn͸}|?#E^v3.Bq?ʿe,3Ί[+M t=Z|VL8VFGk#3I0 {_srNs >*l.ƒ˯p*r* *簄FQ.m.3,.J.r5A} L[.r_b=qr̳&܃'*ca9HXe5#=8W?@6 zdlL)2ij Og? 귖e.[Vw?´>S{*Zb/#L*o*oGXGJQT4\ڼ*x\k@vpTãTT!Dx ? Qτ?̓+""R1>h;ƮrCXmEoHΨe.{tnĮXHp r `>q,72XZv':\MAb ´~ΓUrX..ÀIj0lw몠Xc{Up3c_{C R믆;%v~:~/#T(_(߇D뭕؏d,fEY)LύeYľl(_,獵,J_C_φKH>Xm؝vgJbφ^ɥ{ئ 4lwlX-uBľik5UUVUK[P5+)W ¬kRX{,"PI~>~Q%>+1Ş@<-)pRb؁&o-2GͰu]W[WJ?7Ó7e~*|qm%Nbo 9j"pcSb=BW`y5{B`=|Qbg}5p>^bˁ X`4@+6ڵ*O`Uկp{wz}}?؅Uh8_`[>/x!ؚy9%*[;{|up }[CĞ v}wUp;pEJ?K]>vC`UwwYpX"T}Ka`@b!+WWQ++Ė - M`~!r!}/x7HlYg]S[ao%vTnQ`}{"Gfl^Abz6J, $v 6S|:3 YÂ$#9I,R# _娙IpB`F,صu0lpyz$6aLb Hpy5/cXy |1]/2vf`w$vƵp^{s E]_pľ~Ƽ.g !Yڗh/7{$vhO JE'VeQU@CyU =^xΗWVqY֗SfVͧjz;rAeO0!c1yFOF:|4xNt9I ee0_{myJ^ʇ\im4US }= B}H0К F.Wse;e ˩X C n,X UHI LYQK[Mr;4\.sȅ%'EA}K52H9n1?Шý)*_Xyt97O--RQFufdmZq{ת_:VvC{ǷC%١3ՙ(gJ="} sBVWOV=훢=i_+w!f/o_RHGJ//UFW3%Qh\5Oum\ S ue.Zx֞x<.Ue Uat$<9ljz1SoWzحwi}ȷh0V>FOkV._ra\Xx"/*'ͯHۄl1@)~Ԣ“Ў~>`*jZx N9+Zz?xEksZ-\:^ _뫅4~?c9k綿= '0d<'<~4xv_{$IdF[ִWLP{*dXx}6%2$r *mKZ=)Oۘle.yG.&q͕˩R;oa"\ZS,~KݜKd"OH &x:s*W+IRkS'IUWU[cޘҪ|Esd!Q+b6g3!>83jsIΠ'Vv8PMNʅӗW[ʬuЉ5XR^ wa=)cV<۩C2&`hَ4A+Io nKoB:56ZG_:&̌t$:\sD{D#d%qƜI#0cL^<lE.w&{F̬<"1Ġl'Kt\30V2a^J*ua 8ѦD?me0dDV@pL>$0&$\*k.- Gl^VhsGڃt,v_a 4q ]A -)xⵐe nǓ* vY(30G}g8VL N94d@FxxYYa}w 7 d;ds4,.oB#8^M3u>c$%_%$ ZԴz'h N\"7;5IaEΣ?Tuƺ[d_ΖOb^s?$KHIr}EXL#yom8(sqqF7EI 0r\| (`nw< 6c}ܥ_5cT:b.5ǶG}ؿ֑ܞff+d#r5pAE/zNnh|y);a։;xzvl|:-viMئ#V FE8"O{#Yp@p: dnhNJ8 uX3وi݈` p1GKAú5JOE^"*H3ὴ^O |^S|-o\oYA&dD2.$ʼn8φX#kfY32} ]DX$e}lIZ;05*g`VNf$\8-1Sbv8o}1|Y1;3)pTڹLEZslOሕiyɠT5d:yf9,X)A)N+H-l9<%㣱?3fq{t/lԄ]aÈvNG$=UBZWUǏb»ޑoNwo^ C==Xr2359Wtdlŧwd%϶޽^ n>B5gd%gr]3߆k:x+>MImu;##;tj-Ւ1g [`pv"h "A0͛sofPޝqm>vCw[M]QbuwAw#Kj3oQ*P#sq{.yGV03넝¹O>wAVPs>N蟮ԒV L7U[h2x&F'&"S+ N(=@|;tTMfȊ+jZ`gd%k<ƿ[9dQsY?@uٷFnU~|]}UŇ@8LhUP tFq0EJ$c3BBAl65Slj$FR\W#9D#U(0eXhjdW*5cV>7=2U^EցnjXv'2jL¹[VJ#r|O`j Uv9 q!^+tГ<0s9ucL?5 逦"WVjň*Sc79EpTTK-ʽ|WДV_B^ z5?N"1a iFAVb6`pC@ Pdmle4]MKjЍD:6/G\q~p#&ΜT' |g$4Q|&U4i8UFCe#cF={*2Ld "c/FRm~"<(kI>#_Er;̃>2UP)9c|_3%iK&Zd!ԟ( t#W\08< ϖl3*5:āpq Eۇ3#¶^G &&28񥌓wB;Mf;Džû3$: )fIکԳn-h0' W8 .+,xM);U2$mR?qTpB q+rfZ[m(j4_~չ%cKdhQ[468;YHxf2hJILSdꡟ 1-o94J?tDDlop%J?MprvHC*D&z^ ˼z8҂/Da G&+p,eu%jj.-DZB'EB'װl{n-(۶SIӟzJ<.ҟ^s?~A6?c?hswodt,st^J̊.Rl/uV2_g1_:ُ{aז֦+@j;Re??}G{}xJٔLn%ҐWy(Ka3Ɗd׆tzmeaf_`脋r3n&QRb"-7qIz:O/dxz˭ooxQۗf2&@=Q>N}ijj*ʥ~V=N?vwǞl^NǾ 򊭜q-~nO7֬kZſr9-040*~gOVb]#rdǒX׽E_{oPK/],YQI LICENSE.txtURKo0Wrj+ԽXKg9pWGӨ~g(ݶ<뛷!C[y)B6Z71_MVj(lg`plxs|ohNp'֟MA; [; -t'Y[op6wb8˃M8Xeezizӎ`'Fݏm-mG( u'^AKѱ[@4f6vGzK[bSBN~8``QS\@Sm+ZUe&2x KW; 8xPm%,ViRLnB 2-v,_`{eOTCEP].PR4*ײF1٦RJtWpNU#>CR,b+JX(f*Cj֗VAɗ\C^Z2.Th*-&-!u *DQآn *1ZV%HR+<&R{و QS#DYe)Q(jv#8B]#>dՐPKB],Y6h{ [Content_Types].xmlAN0E=m8eJp.`M&3y&U=n `9z-ќ0KHCXi4uvձz~׾3)YΪ:1R!cʋrɱ7?k{I+=o~gL_:ckٳ9Z;ET}JҼdd,}gaYy e85O!zM0¯ZwymPKB],Yy|Qpackage/services/metadata/core-properties/941e5ffd75f143278c6124caac53f7e5.psmdcplR[O0~W4{mB n#/!_k{]S'nΉƷ|sfˏ$`2:b:ha<\Fb camM 8D-ȣb` J@c1Y4pltpj`5MC%i^7(kjPv43:#C4g 9k'hQ1"$b!,p4XWRϐU5/orS$^dX)amh:)M,c:©1V"cñSH2xթxtU)閻mc҇?qI2&7Do!rLTN[s.͹LήݖlB"[I:؟GOPK%,Y= ߂22.signature.p7s02~ *H 2o02k10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:LUccaaXADyB4CNN+peQuIaT6bsYWNYxHQ/b7yZxrNTc= Q00xW!29wu\0  *H  0b1 0 UUS10U  DigiCert Inc10U www.digicert.com1!0UDigiCert Trusted Root G40 130801120000Z 380115120000Z0b1 0 UUS10U  DigiCert Inc10U www.digicert.com1!0UDigiCert Trusted Root G40"0  *H 0 sh޻]J<0"0i3§%.!=Y)=Xvͮ{ 08VƗmy_pUA2s*n|!LԼu]xf:1D3@ZI橠gݤ'O9X$\Fdivv=Y]BvizHftKc:=E%D+~am3K}Ï!Ռp,A`cDvb~d3щίCw !T)%lRQGt&Auz_?ɼA[P1r" |Lu?c!_ QkoOE_ ~ &i/-٩B0@0U00U0Uq]dL.g?纘O0  *H  a}lđádhVwpJx\ _)V 6I]Dcଡ଼f# =ymkTY9"SD]Pz}b! sfѠ`_襴m5|Z֢8xM Gr 20Y.qVjoPmhz6z$ Pz#aB)͢ Aќd&LPAq=?Mp# J܁2  Ok t094!U2qI(PMMuACDO,6E#SlogUFL?n(Zy&ҤbJGJ gf~[A;;cTQ*xίI󒙶a҅POBl C:qM&5]b2Ҡ+TWJ'S趉m[h#QV𦀠Su)wތ!G=uf~00@`ҜL^ͩ0  *H  0b1 0 UUS10U  DigiCert Inc10U www.digicert.com1!0UDigiCert Trusted Root G40 210429000000Z 360428235959Z0i1 0 UUS10U DigiCert, Inc.1A0?U8DigiCert Trusted G4 Code Signing RSA4096 SHA384 2021 CA10"0  *H 0 մ/B(x]9YB3=pŻą&0h\4$KOxCgROẂ>Mp$d}4}LWkC;GZL %Ӌ eI5=Q!xE.,IpB2ehMLHRhW]eO,HV5.7|2t9`ֹ1ܭ#GGnmjg-ҽD; Ǜ2Zj`TI\o&ղ8Αoa4\E(6*f(_s΋&%\Lb^3 +6yue̻HPwPFaX|<(9Է SGu00v[K]taM?v޿Xr)Am&vhAX&+MYxρJ>@G_ɁPs#!Y`dT!8|fx8E0OcOL SA|X=G2 l< VY0U0U00Uh7;_a{eNB0U#0q]dL.g?纘O0U0U% 0 +0w+k0i0$+0http://ocsp.digicert.com0A+05http://cacerts.digicert.com/DigiCertTrustedRootG4.crt0CU<0:08642http://crl3.digicert.com/DigiCertTrustedRootG4.crl0U 00g 0g 0  *H  :#D=v:VH4,tfrʯl0'DK|&7:]Hm?I'EPv~7q"Zj PyH~؀aVv_C>v9=ԙJ(_&XH'?v`\ 98Nn6!SZj>C3O8Tm]@3|╲!usRF4Kov7,?&C p)5\8U7 1.\9qᾜ &gN_zI.t<V+#{pk栺:?ERAHKMD@(V*/ d<3(<ˏ ;{˷w(?/"lA\flņ&3 Kjj@0HK4Q Y mP+JtRH!W;Eanh&`ȯc:VxN00gK 1}0  *H  0i1 0 UUS10U DigiCert, Inc.1A0?U8DigiCert Trusted G4 Code Signing RSA4096 SHA384 2021 CA10 240223000000Z 270518235959Z01 0 UUS10U Washington10URedmond1*0(U !NuGet.org Repository by Microsoft1*0(U!NuGet.org Repository by Microsoft00  *H 0XZ)*@F|*wP3ɀ S#:4M 3"_R獙h,dK>2%z+Mـh}\8bK~Gunckld o7%حE՚=2Ĝɗ Lx g~ـn|%rI}ؕ c!YSzPʽ0wu6A[lM^12Q+ޱCET> hUOv-G;=&9/Cn if"`O00U#0h7;_a{eNB0UĆˈAQ\.M3ܸa0>U 70503g 0)0'+http://www.digicert.com/CPS0U0U% 0 +0U00SQOMhttp://crl3.digicert.com/DigiCertTrustedG4CodeSigningRSA4096SHA3842021CA1.crl0SQOMhttp://crl4.digicert.com/DigiCertTrustedG4CodeSigningRSA4096SHA3842021CA1.crl0+00$+0http://ocsp.digicert.com0\+0Phttp://cacerts.digicert.com/DigiCertTrustedG4CodeSigningRSA4096SHA3842021CA1.crt0 U00  *H  찕IP[@bb\e;ugZڶxR8 nA>cCΓRW1H!j/8jGN?˾5ܝxLqK$Uq  6h#EUx)*Td}ftM};-4vg ڤ 1: ܇?35e;:[qSHzƲL[c+V =2tfʹ$aAqa0ߴ 8몵aE rcQJ̒ゔ(Z݉6M.c(6_q}#@76 z1 ەmc8 Tb\[fFҾ*&'Z\.mM]ʼnx*/]EB+\)dj vf@K !teRKez{HA?SJ71GL\xQ['!lOP,xU~tН10ĆˈAQ\.M3ܸa0  `He0 *H  1  *H 0 *H  1 240912114736Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" p[/)o( 28xс$l#jD.05 +7T1%#https://api.nuget.org/v3/index.json0 *H  /10000  `He K1\ZIm_LEpH-00mk0i1 0 UUS10U DigiCert, Inc.1A0?U8DigiCert Trusted G4 Code Signing RSA4096 SHA384 2021 CA1gK 1}0  *H *͂7Ϯvaeg!#+ $goEv` yʪ{Q@ëy+Q^]qoE+RCF^Z{lbDZH$.6M;lwd(ߺvD@Ԑoz.u=4+zn $P;S".mWdIȇJ|bJAE| %Jϯrۆ0'CĞwG;]^1P(8yr1ۅj1z ο{r-^ArmGwn6}AM* Tu 1 Ko筳jEn0 Vmp dT6D.:S'0RB2 @ 衂"0 *H  1 0  *H 010  `He0 *H  0 `Hl010  `He *Z'ȭG:1&Gp2(,1oNڗcD\_k20240912114736Z d-B (辘췾qnN ᾠ00 F`090  *H 0e1 0 UUS10U  DigiCert Inc10U www.digicert.com1$0"UDigiCert Assured ID Root CA0 061110000000Z 311110000000Z0e1 0 UUS10U  DigiCert Inc10U www.digicert.com1$0"UDigiCert Assured ID Root CA0"0  *H 0 C\`q& 9(X` ک2a<(ܟ zyS\1*26vÌ3/(nDa5YvmK + rڞ`Ў5xU m I|13l"2Z9:r1u}"?F(yȱW~VŨ?_wOc0a0U0U00UE뢯˂1-Q!m0U#0E뢯˂1-Q!m0  *H rszdrf2BubV( `\LX=IEX5iGVyg <&, =(_"◄egI] *&x}?+&5m_I[=%̶odh-BbPglk 67|[mzF`'KΗg*h߀ 3f nc%mlaң&qÙQ+.P E/00u-P@Z0  *H  0e1 0 UUS10U  DigiCert Inc10U www.digicert.com1$0"UDigiCert Assured ID Root CA0 220801000000Z 311109235959Z0b1 0 UUS10U  DigiCert Inc10U www.digicert.com1!0UDigiCert Trusted Root G40"0  *H 0 sh޻]J<0"0i3§%.!=Y)=Xvͮ{ 08VƗmy_pUA2s*n|!LԼu]xf:1D3@ZI橠gݤ'O9X$\Fdivv=Y]BvizHftKc:=E%D+~am3K}Ï!Ռp,A`cDvb~d3щίCw !T)%lRQGt&Auz_?ɼA[P1r" |Lu?c!_ QkoOE_ ~ &i/-٩:060U00Uq]dL.g?纘O0U#0E뢯˂1-Q!m0U0y+m0k0$+0http://ocsp.digicert.com0C+07http://cacerts.digicert.com/DigiCertAssuredIDRootCA.crt0EU>0<0:864http://crl3.digicert.com/DigiCertAssuredIDRootCA.crl0U  00U 0  *H  pC\U8_t=W,^"iT"wmJz/-8r$RN*-V0z^CDC!rH˝Ow'DY/ 4<LJL@5FjiTV=wZ\ToP=v ho 5` X@cŘ"YUk'lvo#-~qj#k"T-'~:𶇖[\MsW^(⹔0067$T|G(f*^[0  *H  0b1 0 UUS10U  DigiCert Inc10U www.digicert.com1!0UDigiCert Trusted Root G40 220323000000Z 370322235959Z0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA0"0  *H 0 Ɔ5I=rIQU%7Q҃ўLm̃ZDB_h} 3P &smW}Cs+"=+>BgQ=V(-ӱue)iِF{DA|jWz7y]dRvGa_T !hn7!@_J}9gcl6 \dt@rźNXMy׏s,9H1W)'.NvU&p&G CCc{un'%:8;["ق*ǒ>sZlR+Xt@(sCJk8)ʪsBhF:^KvQɌ ;["&}_#dc>t? v]Fu`X (T]^0Fvk 3ͱ]0Y0U00UmM/s)v/uj o0U#0q]dL.g?纘O0U0U% 0 +0w+k0i0$+0http://ocsp.digicert.com0A+05http://cacerts.digicert.com/DigiCertTrustedRootG4.crt0CU<0:08642http://crl3.digicert.com/DigiCertTrustedRootG4.crl0 U 00g 0  `Hl0  *H  }YoD"~f!B.M0SοP]K)p )ii>` \[m %41gͶoPLb Vs"%Εi?GwrtO,zC_`Of,d&l|p |屮uOZ](TՊqver#'D'$&*yV Ečrjq Ķ͇$OIwfrKR7~S;I9z%c',=?kfAO@!!@з$x:䞭4q&k8sO?;xLĕ{ _39Axz8#(_+~Fu,',&o{6Yp7 O'`gfU:)+A:1b  Wټ2]# v&evB) G+UT++/DJ78+|00D9?_a0  *H  0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA0 230714000000Z 341013235959Z0H1 0 UUS10U DigiCert, Inc.1 0UDigiCert Timestamp 20230"0  *H 0 SE[>T#ϟ] /Hz;*gbXͪj)bciX5q:P ǚ;/fii[+ P0hʃB $j;]E alq^<.yfR>_CӄH-^EuuRGx)9kxYD+JՕdM#ʆ!dpc.$_v}1eGUJ$/+{s>2R4ԻԠ,4nd7QͪLfhbAxmXAر,Qbi|dM^Pɳʼ;hD;Bs} y4~\ XL>iuǃdu͏vV$k!4/:k*{R8 qlq>oaG l$Bʠq=ip' O6_p .d"+(!IQ~f;8QʔP:ӊ@{00U0 U00U% 0 +0 U 00g 0  `Hl0U#0mM/s)v/uj o0UdVe1I0ZUS0Q0OMKIhttp://crl3.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crl0+00$+0http://ocsp.digicert.com0X+0Lhttp://cacerts.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crt0  *H  ޠpO_B֏ѪUㆿ',AК3J6Թr~y8H_=2u6gZO5<*lyD:8;^9X|s1U ~yeh";뚂5W(i2:Fkwlls:IF̶8C,NL}hpw \`(8RZ֬"#NPkwqDAɸFl2|X/gGesk,FA_٭DA1v0r0w0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CAD9?_a0  `He0 *H  1  *H  0 *H  1 240912114736Z0+ *H   1000f+2]ΪO@0/ *H  1" ALc-Y!s42[ QBJ>P묭07 *H  /1(0&0$0" mt"@WhA6oU3M x(0  *H îeƤ[J/ۢ%]s;C#+OC1/\{D}LD +BpKH ,G^9ЈOXa[ۓ?\ scaZV&?lm{l\r{Yb4)$ߑ5 #PKB],Ypv*  _rels/.relsPKB],Y.3IBoogie.Provers.LeanAuto.nuspecPK@],YCS8&hlib/net6.0/Boogie.Provers.LeanAuto.dllPK/],YQI ;LICENSE.txtPKB],Y6h{ >[Content_Types].xmlPKB],Yy|Q?package/services/metadata/core-properties/941e5ffd75f143278c6124caac53f7e5.psmdcpPK%,Y= ߂22A.signature.p7sPKHt