PKGOYA _rels/.relsj1}{7Ѻ.7 d7HoP,(^33ݜBvxQP ';|Nju?kp)I2cc#!QL`x,7SH<o|"ցBwZtCj.: ՗eZíVFGFH&[F ŋp*9z=5ղ?la` F1ՍH\ĉp>d:$ &7!\R* .]F1@ @R^G#V(kvÞվm*'PKGOYhБ}Boogie.Model.nuspec\Rю0|QPNwTt*Uc/Ċև~R&8ɵ⅝7zCي>d9%`SvBE$mqxXEz- L-V+2!JXjU?;i>9,d^eR.M1]ki_?3D͛z.Qd}` R ^)WL_ zޗ["0S2idfl!"9o9Oy|^)py+QBE+ʦl7jSirh Xvu;UҾ"y7?x Dh.n,z!1')޲uaL$ͨϣ6ݓ3rJ7-?< PKFOYx%T$0hlib/net6.0/Boogie.Model.dll}kx\Ց`Gu[-d[䷬[,Kd[Ʋ%-ƭv˶2<^ 00!, yA^f`2M`6d&$ā yv!&Uuے !go麧ԩSU9e{mwx OS U|%_=)e c5b'F+<3LeQk8Y H;*|}UvjR)@1Ua7~48x=3]N[O>oE|s^K#r^] DHF|_L[CVe>oL3<n Axho(<>Y~cUeت1I ^-;&w1f!ZfR̚r"bEڸ*j;~fv"- h|*HxXIJVbhF^Q[k,bR5;Wj4tk+KZRm"5k1Ff\ժQP) DA+jvڠfo'd^yg7ڿL s+ڠJȋFEc6B L:`jHJUF Ŵ>:I۴Е~6f[hfGSC;WVSi6Rxg[g7`/9 }a5PAȪ eD]@jDՌ!2f65 zcFj5YMyl(b>yV /~|YsA=(ט٦bC0rs 5T Jf+5ɯj4SAt\ >K6@UK`:uˡ1E-,5&Ƙcc0ctswmS(&h,* Kc.:u5q0-W5RR$ylP"º_ Ċ╦O[A_EUG<XѬҽE^QMjT{Ɠ2ô/s [to쯫xj?Σńz4 ZG#(jeTP݀K!NqN2Y@0.U-V5i=yޯ;OѼ CzTS'w*x=l-R^3nȲgecNFAa6J bgLf96bTAkpROYs|ܺ|f{<•s:dHhK!f*0.jKY ˆxͅ,$–t%<L{CSSa?9uİ_8р6?p=>fxJh4]x+ %kó\]g&+Hu$m6*W X /SpS/0lhǯta#(Ԅ1p[{Va׸54ǖ}(n`$XuEFbh|n8LQwXh8ӱt#t6 z.5d]h=Ř"42r (ߚyN8;sٴ8%oWwmu|g$?7;+Q1M=T 4}j&^Ix:IϪL8}1o^={;=gj!IU&.|F%-ȡTMр 1$5k ~YPͯ 3߼},p`V$s iXWrWdzΞ'ڿk4IE缹LP2g&qk+d *>| i/h5x4iD٪ Y]n󬗳7i1wa(U ZzZבiʼZQWѧXG vk/m)yKKq-賫)tNהjzT5ώ ix/*Ҽ|3{)cxvK' |F_PGW6\½Z.^۪/welJx>yƘ[TyqtoWhK4$%[Xw$16%զ{ Kw؆?EًcXN광.fzSa5wTng!}joy?4];N!Иu3Nv87u|>N7[nS7x ժv;w3V1|fۛaz@sqzE4w }1|c&p0=q GRz6YC9yRn3~cIW |7 U(O)CG~߬6Xߨ}r!KgVEH:,眯筌Xj/heNݼ5t3D*ZIE*Ee |M-ɯn劣EH K^(Mw$S&#daJ$ _v:G:p Pܝ\]]FTx@t+xjF9\&EJzŇN+k~h$瘵r+P~8kt2pA_qN8ٽȬu1IuPv"T;UsA xUx窾Jg+6A:7*!DGbCB[o6vCI4=A.^ϊ<+5?ds@ x4Ʒ!\wR=F]WޘVeՍP ltcG!a|60>?ruЩNvQ:礩'w TqqmS'gzNZGgDžj qO}J%jR#(Ǎ~ea~"nŭ32n">aNySDzS]N KkIbFnc~owsa+Ϙ62 aCLa,?ĔjNo~^vpٶ v|)AP?p؜)Ğg lK`B8}-ErTS)P}C^*!}z) )N-Ռ}5HbhalAhclL%`c[5Ⰻm:a*?.~kV\.:羻N0ǜ[ƾ ˣ@<z?›%= iducytgN GSϩA+-x1U*1Bx{0Sݧ~a$xG S ~5H8=4 ]OePjܘB>, <* ~懞,+^3j~SƱ? #E9~ӟD6SoM'>{g*!r'¹/+) K% +gYϐ^EK 4äa<$ X¯/8 kuШz*^PY!:%>η8wPCMeEo#e"Sa9mQCЋK&<,X_p2 ؂RnE:R㸇$vzg%6~!K @R@;_b+AU#e+Vj ؟1.a:º%y؈j=]$c}=QxH5pȟ5fk`)}RˮMݸ)^ ?lAWn3=̹pYx)]\Ib'L^7T2?q78'>$f 9,0/+ȾǍKҾص1}^cJWX]W2EX..\K<os9 p._Ǿ[ 8W 8WCyg qx3|^/ଃ(ଃ=B/aAEC"U"bJ.~*L or4}]MfZ&(HͰDbAm6V-;C1WNg^UkQl񗛭@l$ou:xCb]u@j$6dbvsX삟^}Jܹ-m{lwkIƮjň="^3$&cg%66#Ē/;n$̭-#aX+@o; ;V1wm;㌉x̝ľX|AbǕq&הی] -یw2?ɾᔹ~Sܡ#Uen>hBk[>sD7G 6"DO}`Dbn:ܹ}pms܉n)p<ڹ^pwvg;];sờ(ӵs?\޵s?[j]pzW6 {}j7`^}w~Nt@[vݮ0j?cݮnW;݁<\xr)q{s:A}?c<x>K˹)ҲۂK:mOkk8R* r)aH.`·,{;4<ѽYq9$_qDnᗴPkgK3G;sSb +g%qo= N@((|<<6pE0%)?,)s Vom>wD0*Z.c!sB{J_Iȱmױ[x<*|BP?(s~)_cJYn?ze#jRab>(_SEJ/F >R_d/M~{-\(w+{/a/_8_Y=ۘ 7*߫/O;wzi/ʨ=`F5GaV"`KX]N}9 rpBSWQ~ެ{?c'gw'OR< *v9(Ryhb>  ɯ(WHN9+kBjQNujВ=MWȨPWr'+b9膅/ ð hEu:<Ҭû[A[a.8E /+n/!c{wz 1 ao 5`>x; jf~%aa1<)þdx*Y3J 2<fq/S g4WB10`x?çðAO3|!Da-pAeҫlQ ziQZG{L ZIߥߢ[:x|'Q{LJwr?"A!1Jpa}/[i5ޞ- HXvO*wiFyK[ġt`#tgGmvrx/:Zl6'G9lmMe1 䒣vb1olcnLeD4ӳl{drM4MA;6A$'v'hWj(2 {Ǯ&Wdv6fӨ`Fk: hMU&_JП<M~<& $.4\qpҴDfd1lbc\Jims 7 }6X {;ʽq3zOu$WF+{ٺfQ ݙc)p2Xe\<>lwz ΤLw!k[{D̴R0&`BoZǒD+q8tsHf:E%=T4'i79_@L56K7{jdƦ[ _IT_l$@0 ҐVHArx]>?C>[TP|xBhe"fL(  C%FCz*&krP4D؊xd;qm,l1wr|}%QI֒bA[̑F3j? ۡ a+O!W$4"DgR'AQ@(dzW)eK>S)y>Nta+sQݰ -, ̪gF4\ϐav %-TO%Q &"_)$sA8GeDm3IcGV!vZ"X!mC  esƑC@8r r;o÷iMd@,%>$)s [wIw7Iv%?Wwa4(?obgjOp8~5ݼj-gN@ )҈َ287-5nqTQQ2b/=Z38Y9$Jsuӹǥ_* J*_y@ZTZft ίXv,49*1 'nfZz!^#,Y^WCO7H` ̹%y"˭ u2Zf9ʩ/TErNZJc7b8@TR~'uK|Iage)%k%3H~.2KS_v-+W zƯ>|;zG@T/n0!OBD$K5fG.U"z%Di(Gqo%PGe@d0u7T5BQ*^lh^UVP/y1G3;ܩxImPE)3L5R)3gG֪HRUPUL0 Q-?D$SFC"]BQzMevQ2qF$f+9FTrByYXQi ~(VtZvfOEx*^|ّ]dpb#4DXG I3Be*pogX@[MDͨԔPy9ǯkJֳ֡eg9LioƆAΦUAM C~smߧ|W{k? .3|u!6ܕN&RxaV'yw)ʘ9 )s/ tyCPOh/h{ n؉mCF]o#97LsC݌-t|وYF7c=~~KeJpotm[} ]uΗfx1OL[Q~g6~cwr"#oCwl]ٟXA]- uO #OE參i ӶM3ù|\@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ՐPKGOY6h{ [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¯ZwymPKGOY9noQpackage/services/metadata/core-properties/5fdea09675904c8f909ef554eed0dfb7.psmdcplR]o }W>+v6kkaӘh"\Bt?- /prHRO0Vhi.1 jw|2m`ct ȋs'9!Um$H8# ,pD_A ̳ioXm J::Aa;bߪA:9TSBJpSGI;٤F B)gsf:mG)) Q9r=:- G\Jsk}.yJB\mS2lۺyփ//~-,n;>G>%<Z@v1{)+\v^?ևhÔ|&PKAOYdr{2{2.signature.p7s02w *H 2h02d10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:Rgb8gYQZci2AjwU3kruT6gfHMbPM+9tea2y/Tyx7Nvw= 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 241015090202Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" >+Թ=(YBV-&g;ud05 +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 ez# _2dxfY/PCT|0/V1MH&w詃e\苳vȬ: ɦq v ͪ>-]PBy0=/3B& գWDjF1? ̃\Į"dU7:#[)c^ukyLAI+{z.'8!JDުUƗ?W9$&Io[x:H/]7JzadQn|@(*'])PT$d<)Ux1lbc3١`繌èJ0aLt Y7k3JV߳' 8E'=o-EBi;vJUBlȁ{iK~0 *H  10 *H 010  `He0 *H  0 `Hl010  `He ]۟1CbJZfZvE7S05 )c LGR20241015090202Z w"Hy/^`u YePY$Տr00 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 fZ30  *H  0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA0 240926000000Z 351125235959Z0B1 0 UUS10U DigiCert1 0UDigiCert Timestamp 20240"0  *H 0 js!0[mYĈ;j 0 CtFw1ymIXa+3О zGW3K;CE>Bitv;(m.%B6h)ӿ~iOɠo~R}azv,L{ڽYQYLS͚ X|˺Q(ZWx1MQx|{ЯH~7M2Ǐ[K_b?޺}WHz9XxGT);IRt|iuϔDHAu~+D +XlY"!$2J5_! }qijSDx!%v+]Җ| 8@.'q[#&&wGէI^DElT Ej@6&N662̋7!5BPJ[W*b}'UlO'˖&K˜ׁrC(00U0 U00U% 0 +0 U 00g 0  `Hl0U#0mM/s)v/uj o0UW,w(fc^Ov[0ZUS0Q0OMKIhttp://crl3.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crl0+00$+0http://ocsp.digicert.com0X+0Lhttp://cacerts.digicert.com/DigiCertTrustedG4RSA4096SHA256TimeStampingCA.crt0  *H  =v[8GCۛN(O{K&^xҋyc"V*()³f]UoA=4Te+ RBvǰ-Mm*V;.^u\~j缅Z +Ja @tʑ/$:xy:?TR*T VGQowMSkV% .m0;_u%T1SU|{~Oi RG-w߽d TIexUdzo.Q"+D#3Ok[p'MzE @tu٬R6B~̄r̤[ 偰Pܭ8VHu4tvC?~7t5dz?gF.pCrl?q sdxUKiN¬:1v0r0w0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert Trusted G4 RSA4096 SHA256 TimeStamping CA fZ30  `He0 *H  1  *H  0 *H  1 241015090202Z0+ *H   1000Ӆb>{qHP$Ն[E0/ *H  1" IaӜ~ f_yWr[ӤU07 *H  /1(0&0$0" vvc/C :#0VuseC0  *H _thZ=.ǹ*qkxOZg$Hr<:!;r>sXzϕ(I5Igg4AD#3r-%WDO^4##^HQiNb6½o@bba$MJݰL\L#2KE@'!pZ:͸&Vسzqz3!7…\`H a͎B2mw ưRbV=?[k!>o>|U\&E