PKWy} _rels/.relsj0E },v NېP#=(Rh9ˬLxE)6n%sAzg L@=Cu+\ތ>Z'z[Ӓ[RkTT(o|9[6.8+f3#` ldI%%Ϻz=V jQ-jJI2#CtL&7F \/rڦ:ZYKQK]VUMS?C jhϊkv;PKW^!Boogie.BaseTypes.nuspec\Rю0|I{WDKN$\{ZMl@ʯ' 8ewg7|5-0*mڊܯS}ǝGh*z@t Y6I۳`X!8=PTRzcm!ۈ_Og9OzY٥b!9LɊ6Z?>e8"g /i7G)p@xB >IK2íkLlh)l5R2nx;avv6}R۽Ɗ\EFDkR*nxܿ- QZFckH~f ~+jW1khUtUv#NOo:0&lݠ⶛Aw{#ψ?`g)I+_,g 8PKWʍ C?,dlib/net6.0/Boogie.BaseTypes.dll|}|\ő`73Xl˖=}ڲ I?d,XlIO`iF~3-;Đ`9@.$, B6\dY†pBrI@~vM`<}cOuWuuuuUuuu4{x?:phY)յ/vnb7J=N;N۶tV\)cZM|o<p)"}j9(@U7@'^\~ |+5rMʻsyIш>R4Vz>3l˔3^p~ޛT~CM2ع bar1 ,ZO8B^)eQ[ w*=u'y)OGҺ0|oBF޴jhb% hfs Nl3G:;w(4VMiܗ_au?Z[8BX䏕i _~gxKzըۯ8[Ɏ\spsnt]m|z519ASeS@#sw?ݏ>ph c<^$heVtɪ5dS.<_Em',)Ur?= vY:P HKl|*`ëQ^Uh<,vK0q;uFPEP Pb6Y8l8yuϢEo>#ei j\kbG0vP$ y pZR)(k*]V)DZi"ػ h61X pvh9j}Eɔi%-@Hv؊"EZplqGkwG";ȦF̍1$)2"N%R$q$uv(R")B.uU锴s݋fb(GD%%ђ%H1GAIi~F$RK RSD1G#%"595lǂTbS֏J!Z)?˳*JfBBߠ0)Z>y܁ >bR'9vB?o1&';qlb.Lj[q5e?,lQ]Y m~,0MBnDjooޝ/J)%H j~&F}X=,;v0OE8^RN9mO!'y;8XҢo)/p3xG"XxFsLh2~%(hI&?Pl]x!5I w/~.Z¾kFB¾!\fPazݕyxZ5{!;s ӵ1L!ZSՊH /;e(ȗ!ۗd&Fc;OoKt˵!zd[ȵY-TcP "IT&@S*KE,yJmL$ eBX' *%]ܫr.$լb PH3@]OrO(H po7bq(f0LH"8exk[F}Ǯ|HN]ーxBHAʺ]7aEV͏?pO@sz号5*v<6SR&O*nOWŀbd3E^+Bw+yuЮDNv_(}5^aUDz;eIkcBtOFOC(}?eˑC5>"XσWS:=k{4B<F-P[.s&?,6Ux4fX,quSd;zړ u#G)8r c~zGA~lЩ'b#PkI{G^щA^_'YI?rmc>BS',B6H{'>2Dv*HcxЗƣ ELc4+mUi9D~5'kU6SmjBDJOQ?K=`aŠ"v ]^/ȍZ$.JdbQMTcez&G=QzCգd,AD݈g;J_CxƫF(FfӔʱRyzyc &*Eܼrcmo>NG)9ؾx\(U5\,*_t!Ů)\6e\8î Αkc{ f yx<*X]U/1+m-ply7yE$6)b6dbD)M#X  i]K`Cf蟬nQAb5bC5oیN@1^0N[%vPyU+OJc@A#zB܊R IԊsP <~\kMGt=m0؍_e289~ O+pXȴr8!_f_ İV}:Pn=/ӧ \/ߞW@Ɲy]fbFIM]k>UBPa0.ƻފBo[YmUDpM.~)̄>jֆ\X:Çk?hg KM7 ! =Fr*8/b݀X TIư^1b ,-v"ݵy.V^wR8"PZGe`p>_O髠1Vhh{l l{l |oqck݆mkmg{e͞7=?o-[w+<>oҕu;`JϺ[JϺC+=>wk+=>o*ϺUyvC*ςO"g]pRb?ֿRUb/<[_K,B sW}WUIl5[O@:jk\Ml,0$݌Gl[7{^: = -UbQS5P*ؖq AhZ*4R0*NؙV/&ՋFlbbqnbbW$Fm=kO55Bk˜mF 6@Vb28 O~+$F+Jd5~Ƌƕ͋wc͋w`Kg'͋waMldz5pG[>{u 5P&'iˍkals6#iwgٵB7uf*]йN>^8Ō]ÝXڃmϭbiq#.K^auo-vII5|Ss:Vku-Y}(4nrbo{yoX/RدvK]ƭн.6ط.vxl] wyzq7{c U^L1X{vϛEx\pb1> ۘй1`FGG Q pjc~g(7 kO8nW3W|R_2&Nkoo7t3S*7iQ>R%*OD&Ys}Ep<|)@"RrP'ʣ ,a[Ѓ*AymU<7-eV*DYcH^~^Iw~jÿoB_?v;K6ޯ="?W]XC|=uZ38bv>wq(m&կb6SQ7ǺIv=gjpU0&L%LZsՄbqf׌j4YYel~͐|׮lGi.E\?V/H ,yÑ7T6k2jF@9Ex*+|թ,%ib+%H#=IO[Y%,L3G·MͥS;)m]hwH󗕏02vw∭y=OP"@8BXuf=4A3 a5Љ"a'pzau2npr5Ÿ*T[? /'lw0,&e 8< ?2erFkJQݬvW+mSۣ9ڠ6֮nh1#P}>c|HQNõfYE8G%"L:\PPƽ,pBq||޸sRi@sni- a~LU(٪PsU3!łgV@M<>p z2gЧaTaX`½(~6 z]Cx ż*fL ፰MpO`U~![9gV! G9 #lDMQ%WcwPRT>'Sx7?KSw͉|[i/3J q:I}b,3G>|Q@B<._yEM{a:7=$쑴!M :/aٴN'Ŧd'=՞6-t%!qXT֍z/_ ml2J]kK`;-[BJtȠmn;nټ1|wm]kmVۺvT6$`ȫ^hM99:Ck҃_7 {{[CɌӒLr O&2<`1dׁNvC"oMρmTڭR'ޙwHDjyAGפSD2XGMgtz @WbkS}i:dPL7dp:u%Ӗ!DNzZdHmI$v$GaTݚp33Ȣ#YE& JK& v8D_"hbdi~CAe"k_ E4OPW2'w%\r;7؞OC sr'#.囷9~8~D_fY6g0qk#nu1{24HNcz6ٓLf}]Q,0ٍ3 IQ?Ȑdfs:LQƢ[ә$"Bڙǿ'10̉M%>~/``:qp謗^79x>Matd7e+>cP2%kل\j hwMbp'ѻzXd(Iv\D1gw rk_"]{`DP79Nl28b׷&22}H$G`WS!"V1伆Ռ(*du pͬnuܖIy-x;7lowܧ>^HRC%{sx[21JgDd6^;`-7̄0d9o\\Ul&N2vaZ O\p[r #>.๦yDthȼ֒zYC 6ts v :(`ʖ+P RNrnFx!)G} Z$<ֈ3|{" rėrԁR8ӎ^Qw-T 1ZD*Zlp,}8\[|%V bi,T)Z};Q:搕2Xlf\47xkmCKsk=b eR J߉^-W –QEjA~}ؒffex~]UG;o"D:E`?E4bnxļq?,pl NWZQl J$BhبVpX])aJC-i"JqK((ҶPN ZjYv"_US8P KYE EܑX׿]^DD,ҝUS|/(+>qJJ|9! " "TI=HJ$fqe&-TalOUx<;&Βii-%PMP"' , U{t¶bg8P%bWV,dMe۶YiUR8h4E06K &a[p6z'R4*cf&S4 [U3l14ʊ"U%djC*zYi$ jxU0(>q":gé* 4 )FbpIRgTZ*<"۠%<#\9$_1n1NYZ+A~DOE6,RB& TBϮ{U: fFTSŢj|,iFW/ >Op[>%#i[=,L˛’p !Rd2oQUD NaZ!EJ9TJ.j e$yQN)c9,0lAұBXb&p4)U@FGya!H+h T$UT%k%R8!$;R-+QJq5+U\]\mWk*G*(:4#94% a*U* T Vh+ϤvK0^ sǮ}nPFA>wW(PQymךmV>}XqpY}# MI^cxr;C^ H y(cg6dW}tIBĖUN<6Y;h|=4;=]|%160bKqd #}j|o1HzRnenKYzqs\oj݇eȷF,Qn ,1"Jv>֖ms)yXR[CkI!DGװmG__PKWQI 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ՐPKW6h{ [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¯ZwymPKWf䷗ttQpackage/services/metadata/core-properties/d0d592f3963b4de9a2e88584ad2cb50b.psmdcplRO0~h Ɣ n#A !q1]znƷ,XTFADÀF*O&`a,l:HHB488W-j[PcL F,l :d`~XM&x0Eq-W `U푝%w9T\Z+qgdj-F$R,V$3$r~sۛ:%)闣v tSI.Vg47 ;_[XY†c[/8{)ԏV9#Ҷ1ySѹ1 W[H5bL{rs._ϸgW_CN^|[I4L؟G y/PKW,,.signature.p7s0, *H ,0,10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:+pFy1GxBljx3Ce7sDXVBimfnI6do1xkVj82DQGG3yX4= 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,/~Ծ*1 0PĔ/:bsDt'0  `He0 *H  1  *H 0 *H  1 231208005259Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" z',#ÇhF X05 +7T1%#https://api.nuget.org/v3/index.json0 *H  /10000  `He Z)֭т`Ì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 231208005259Z0+ *H   1000f+2]ΪO@0/ *H  1" _'$L a0-C6{07 *H  /1(0&0$0" mt"@WhA6oU3M x(0  *H <#As6ø-t >V]ȗ \='XZLd0'l*i'0}C?v]Cۻ 0(z 1%|:nsuい@} vU'F$Y 7;o"񧑬W0hܵ?$mHǯ}R#@qq&h>qRjW@NȒEfsQC?0F^]0HG$UC7 :ǩV CDwCoLbb.' 6J֢My2w|,@sf.m:ts2ΐU^ -{|vI]r\d8m.ԩdW $,tKt;01m!P U,K+X(^n/y],ɡG(}T|˙1o+8U{Fb7eB#"CGlDJFm1-ZPKWy} _rels/.relsPKW^!EBoogie.BaseTypes.nuspecPKWʍ C?,d&lib/net6.0/Boogie.BaseTypes.dllPKWQI /LICENSE.txtPKW6h{ M2[Content_Types].xmlPKWf䷗ttQU3package/services/metadata/core-properties/d0d592f3963b4de9a2e88584ad2cb50b.psmdcpPKW,,85.signature.p7sPK_b