PKFVGX _rels/.relsj1F}{7UV[b22QڷoZ,(^3}rf wڸ4L[^M{8˔Od8)Xfʔ8 ի8YwՄ-9!FE~HٲQpf3` lhHO%%/~Vm)*JI2#LCtL.7F 7Һrv<,rVmjnsu_ջύd?\}PKFV IBoogie.BaseTypes.nuspec\]N!=B1]ckML1Q@a%j>x$ ۥ0痸AقNؘic]Dx6h FWGFF\t+d5|`S~6mX5-O eo$r\ed(xY\y&Sv)ŵ 1'|o(]hp?_<>/v(x⯡.cjQn$k"(p@=>k*<࿁!$wѠ [҆zl_2ny.w\~(0Yz2TwA6¦pֻ~Go;; sg1HqazaL:U:u֚ZXYo?tP*,W+D>(PKFVSP+dlib/net6.0/Boogie.BaseTypes.dll|y|Ց`}R[[eKWuZC%6-Xꖿn1 0 a „ @Ld1%0d3;I~3df'U0!1mwWիWU{_w{獠>*W?Gy{Sٚ173&Gkt&WԸTccOhfi(..26Xhʥ-xr_jBJ%v5rPBoB O :4jb2_nԦ]EX8 l~_rΡw󺤠Oĥ n=oop̀ЕtfYS&y(q*/"aGԗ8#A5[xW˩Z MjE5wҲ|Qe*(23]A2ϗM*C̡.&2s jT+fy$WfifB ldy5ipP:".|,Ę>Mb}<4 iDa@L+IeɈ/F(sYE];fL1ϳ`bhZO8^+e/T}l;a=UTyvSy ,/ATS蓘6ua( ߄8i赍J],Ҙ@):f!Lݏw^ *G-Qh"Ҽ_¤k?:[8BXʉ ~gxKzը?Ky`a+:g6h '=Ȏ8H L3elhvȬ]`mh,%E Mg֛n$L7uv, 7 ;(64{9k80 h${>Yl"ά [i ەmWV.ԥK;ud<4r p~(ftksdIIW#8S)P@(}"и <+iQ J59.z*+Vt7Rof[z$F:1 EL;Vj'Ӂ2=Gk#zlhY&{D D>8kȄ8Zf ΍S;~HMCXK 5((P֑]Fh^=Id;W1HFĈ6Q .$W, V"Zbƈ/`+6ɽe\7w2=ζ(Vz%l JЋ^?];իф64j~i#oOǨQtA=;c;;] ld$M~|⽂!4*¢+H0έ-ЊVSX͂ iGȊ6"lX7$٧U5Eps !Vqd,)V^ArWx1Mt~xd?s'Ϛcg}a}lщyGq6-b&Ti;ya㷔s  l.lj[q5e?,lQW='{_Rs$& xUJ`. DgDT35&a,""v֎Y 8ͩ xkLaex~)ˬ]1B5E+DaG˂bۈgţU"tMxqsѲE_3:s 7}݀ cU, ET^5힅uʈ}™:{N-]9C"~g29[䔐@7%71I>);_n&80]L y2&8-lsD܋1wQpfGx)VlOL[t xk^ lm_S1MWh(˟.L^&SISJ%~:RD+vMj?9H AEj%P" [\t"䋐Ks2,Ԃ_R}ɵeCDks- ,V,|[g$*) d ^cxTv%NHB1RW11WO'H l&o5bEm(f0LH":uҍwk#S| /vӝ~rlOYu5x#,+'^mʨ̩M&'I}VO̫b`?h2"oiymЮ,*"=\8NIkB yєB1;?C΄)|VYN[B ]&֖) pT_㼯}:IXd@CÞ GuQ?? MŏOdQ īhVW_tW8 "j,,+Hui3|dvuƣWy #ڬAF;,=#KSIԗ%sҍ>qg.ER(ۦȀyf\O>0>xS%F=|H@'k3{QL>K!s5Xs_&r8iL^TqhfO]^KJZ4&h '}{i;|-@=)P_ЍN)EŠxvPY3ѯkS\]Z<]'' |גlЩF'bPkI{GޥӉ A^ͺOEs=~h[>>(Pf/OYb'/o ]SH{J"$n.")nQ9?ρ x?hC ti5́?fhl=) 饱$5{5!b uqB>DЗƣ%Lc4+mUi9H~5kU86Su ]5)"0a%DC~~'ȍZ~R(JdQMTcez:O=QzC'ԣd-AID܈g;J_AxګE{#iDhiw IsJ[ ~[`<#n~cC9_Jb&?=Q'a\iݴ.5(zݲ~5_CxLiTz%yo6l̝aUw"vok#گk+ڿo^-^#+ty?YKq`fyr"MX lN4&}HddFl}dQ [Dd6@i<_yz4dmR OԷE!:Ru%?Hkoַ/YvJ|JYP^^ qĪ+f ƾj61`, W5{9ʸTvZcC+p}9GM"h7+p6 <_×[(U CJu\{: 1fx+|U{&:TD| c*mm F}7c:<) Ēo1/'"!K2l`YS蟜nQQbbC oی@6~a4 N=6IV 0O{f% 1L(aI npJ7Cb+j!>)X+_(F%z90vSVT#acwOs}جi؛>BCv>Dxї3E][ς_$ϞW;OÝy]bF)U=k>V%֭HBwݍBϧ-8H\8r~Q|t4r?i ~tAA_YPrgnhгcF8pgpu{z}L +=>ou+ XFb{YN>ҳK{AQl^XTjV}WU%6۪֓pzj[![%0]ʳ{z?dWyvyOV9O*xs~ax[_;Z k{=E n\ $v;b#0&~ iXR'6/&f vcQ#ob"j쇧ڼYc8JbQ mZ[fqH=Xm1JqY ?/I^cv/`agc^_uxq~=J!dvjuW.uuؓFq 2F{rhmj\ {vqZ~=&Leq=l\#FE%k Qp/vbkXi/)ҧ5X{3\`aĞb,)eaY7~flľd[PF͵^[-Gw2^E>_fVغ΋m0΋:/7w<4N.yzqbbq/,,x>YgK' K*XUa{CpYCdWag(7r? *ݫ4c+O|RGmƮ LJoZTx$亟BPd_d9C\_ 0TY*RDy{}%l zP{?Q9?J'w:0sتU i:69aq&-f`2}Czg?h/^dmao#B3Յ5oY.L+tGlR fskb+*%w5 o@wP0K2R2da$ S0܇w$E!9a rU|^ t.0,0:ncYt/B Dxz*v rކx&w~P[jK[@|DiCwr<V3Vϻz[tݬ6*U|[rϷWR|NJ:pPj>t*'NO ֟՟P7s BJ&<=?tTb >֧Hzv*?6]+!5,3+TE@M*Piv~^&9|K(MNe+Ls)IuWz .RnEJ|a+`wYPC'mtBȹ.«:ϓ*2O+"~qa`X$Kav#J"fFs٤]!m]_!$/)2~e7ܬ8bjހ;FΆ#o#ˠЎ6#v!ax1dvnʕP.(桓6 "<OϠB٧V>Ҥv>u}R[-:N_Ki+Oh7h bv(3nUѾR]cv{PmQ iX,Fx G0T8#~3eos~E)̽*Gx+?ol_`p;OZMI 6t5oPT)תIJ|%c?-^ip=7=oM(Y4O$7\b]!5 .\ge{5nfT<޿_:WG7?\42.bk{SY*ܞtg:Sқ!QY3:;RT&t#ֹyO=gVdk9 3#΅eC+twnڳgՈw\e#V6avһNsl6 ^% @[jٜ3ОqxlZ'X;0ӖLe dSPj ֱ1Q'73urٽAdӃhnBHxOr![aqF3QoϤsT:+Ԁfr mpʁ>V;2Xksɠ\lɤ7dX&u5ۑ'DNz8ZdTmL$%GƝcd){xS p2Z\3"(٬3?r%dkR~vN@Kxjdq=?PL3Ȯ>Fv4/ZZ. ɂ":tI2ukAt{/>17 Eҕg'/'*5O;Rt&#'4RNV&oe'\|/f}pØ $fy,n:RéRqa< Aq-+ZkH É)蠀i +/C5Hm*zR 'b-E'ؔ\ M dKjxĐ1"wR\ *Ꝝy8Yf`Tp"1=yU*G )n O=Pסå=ğZXuuu<ɰ8.]:A7Zp97^Mt\fsC2sXnN8ȱHt}`KDҶzX6'%Q鍱 BdCd<°Ms1.1|5ʲIN9rrYaZɽ+ cԱ20L40*VeRK?JWx٩a+I\TK*f :qC`Iv[,:VVƮJWWSthFhJW;DUTDVҹ^5M0wffx Vg\uÊ- M( \DF7 jS)`guP-xC @1ܰc xJ$6YR)%8W-=ɸ# rc~wa 33zP|؝ƛd]M;]gEG摺Mx+zof^92=(5(ݛȪ<ˎs*–Fu5JVƽQO"M=qwi̛n-i'Nkelzֵ6r#1i^:t䩃Ftq!OYfZ~Ly ɷ[O-o# V&.@r|˿s䘞?j6& eG;l?kVې^[b̚ט}mןPKFVQI 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ՐPKFV6h{ [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¯ZwymPKFV݁?ituQpackage/services/metadata/core-properties/57131d306cdd4da2bbcfb79d97e32468.psmdcplRo0~hxdefkmm~eo}?zw_'XTF'^@}F*}HeLG06֔`$HB;:W.++ScL 9l :d`Q ivcG(Dit\ U;iӪn؂;J.NS p\rY;٤F! a;cӕ11) (*]tMj˔l2WoK InVgNiy̮;6Vbsndؘ%}UrIwOHv住=3 ]e!P91T\ t,".=}{ڑmV)cQ~ PKVߣI$,,.signature.p7s0, *H ,0,10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:/dtuLetguru/AW2BzQhsS9B/aiQlQlCUAvV6pfFy658= B00 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/000 _ջfuSCoP0  *H  0e1 0 UUS10U  DigiCert Inc10U www.digicert.com1$0"UDigiCert Assured ID Root CA0 131022120000Z 281022120000Z0r1 0 UUS10U  DigiCert Inc10U www.digicert.com110/U(DigiCert SHA2 Assured ID Code Signing CA0"0  *H 0 ӳgw 1IE:D娝2qv.C7׶𜆥%y(:~g)'{##w#fT3Pt(&$iRgE-, J M`IJp1f3q>p|˒;1 WJt+l~t96 Nj gN %#d>RŎ,QsbsA8js ds<3%00U00U0U% 0 +0y+m0k0$+0http://ocsp.digicert.com0C+07http://cacerts.digicert.com/DigiCertAssuredIDRootCA.crt0Uz0x0:864http://crl4.digicert.com/DigiCertAssuredIDRootCA.crl0:864http://crl3.digicert.com/DigiCertAssuredIDRootCA.crl0OU H0F08 `Hl0*0(+https://www.digicert.com/CPS0 `Hl0UZĹ{* q`-euX0U#0E뢯˂1-Q!m0  *H  > Z$",|%)v]-:0a~ `=į* U7ђuQnZ^$N?qcK_Dy6FN\Q$$'*)(:q(<.%Gzhh\ \q h@@Dd %B26$/r~IEYtdkfCڳ  Ι1c=OƓIbnS.hlD2fdQ0O07{=HVW,b s0  *H  0r1 0 UUS10U  DigiCert Inc10U www.digicert.com110/U(DigiCert SHA2 Assured ID Code Signing CA0 210216000000Z 240515235959Z01 0 UUS10U Washington10URedmond1*0(U !NuGet.org Repository by Microsoft1*0(U!NuGet.org Repository by Microsoft0"0  *H 0 *fDyl|lk#y4 gqK gzj9l wz}q<6ᛇ a'?N^I{3gJfZL8t,%d_Uu= PGg?m/C;O59|sr2URlu-R;vQ7҂pc Ǒ~%0ɯ|%VV-!F_>%̅#=S50QwKS+Ԇv歶73P00U#0ZĹ{* q`-euX0UPĔ/:bsDt'0U0U% 0 +0wUp0n0531/http://crl3.digicert.com/sha2-assured-cs-g1.crl0531/http://crl4.digicert.com/sha2-assured-cs-g1.crl0KU D0B06 `Hl0)0'+http://www.digicert.com/CPS0g 0+x0v0$+0http://ocsp.digicert.com0N+0Bhttp://cacerts.digicert.com/DigiCertSHA2AssuredIDCodeSigningCA.crt0 U00  *H  z!:wcJ\F`sy Fƈ*Vٮ8<3{1%87#!DfRVjJ׮)P i۔'⻺fݩ2 l_X90*C.h[?G1rۉʶ q&ok%[U9$d +e4 ;I%j XV,/~Ծ*10PĔ/:bsDt'0  `He0 *H  1  *H 0 *H  1 230601090602Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" qO4l_-}]&2)7y\g05 +7T1%#https://api.nuget.org/v3/index.json0 *H  /10000  `He Z)֭т`=@Qfh_by|ƝSQ#ZF~ vf_"ٖo$XJzT:(s R/ DNR⽄XR=CŇ2*-? 0 *H  1 0 *H 010  `He0 *H  0 `Hl010  `He [H}a?/[qFu@`,Vs3AmK20230601090602Z poI`TX ~e*!s I00 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+|00 MirK<*J=)=Z0  *H  0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA0 220921000000Z 331121235959Z0F1 0 UUS10U DigiCert1$0"UDigiCert Timestamp 2022 - 20"0  *H 0 &:Ʃk ۡt3&U6mU a w=/kdב81r:U3a(ېc\S:-B&xxzVdS*PHi /};S@rI(LVa:}nf\/MhjyF)>&LfȻP8 匔]Z{@noGy> ^f $ҜOnx(?P75xX9L~M­~-+F9Oq.KO{6DU6|1R{Z~%sj!-cYM/'ҫ8fQkSC9dV mdxs!/. ׁ]Kn1)AeX.)ad lQ` %S;j9bօٍyb{gxƈȰn2y Y,|{dĸS^_U})YN]Es~:w00U0 U00U% 0 +0 U 00g 0  `Hl0U#0mM/s)v/uj o0Uba1 =*R0ZUS0Q0OMKIhttp://crl3.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crl0+00$+0http://ocsp.digicert.com0X+0Lhttp://cacerts.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crt0  *H  U*FxW70uOօ#9%rwd6IQ,xcU F9iʛ)?x|Sbaf*EJB+P0 - y }jS` 裸׭Aߝ_J:R I56YTҲ~^ vTtmg+v&8D Yk">D!?|Hؒ OC_jY'b+AS4g&2{\B KJӘE`3#EGθBGA6qwtN.Z"OQ/_'.W`xVj•KȂ|qNzlZȟ\C*bx۽[ p~x]G,c%8?:~,LMrU,'aw1v0r0w0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA MirK<*J=)=Z0  `He0 *H  1  *H  0 *H  1 230601090602Z0+ *H   1000"M35|s0/ *H  1" /b:lj:9ظal3>X07 *H  /1(0&0$0" 2( &:Ox-dLuW#0  *H +ѥ͏A\Cu$$L=OKc}?TTGa^E8{ cˡCSs&7H4{áPNQ]H*44_=SigSo_dӭ`_!n&ګT*oNv Q/{=ɚY.qV=iuĥ# 7`0gzn'W2B?5x:;e.^a`LQҔySI](ѭ#L[$vvsKd"#!^Oh`tc)ܚw;Gx8-D'&azU+HI;c `0AߑPnW"nr~ƪۓl eA@7GdzH,/;PJT >E#򡷉I|G3]," }hg  [$zvj0vT8R\ENqz~P7 l _ WY1 UkjpvPKFVGX _rels/.relsPKFV IDBoogie.BaseTypes.nuspecPKFVSP+dlib/net6.0/Boogie.BaseTypes.dllPKFVQI  /LICENSE.txtPKFV6h{ 1[Content_Types].xmlPKFV݁?ituQ2package/services/metadata/core-properties/57131d306cdd4da2bbcfb79d97e32468.psmdcpPKVߣI$,,4.signature.p7sPKa