PKW1 ! _rels/.relsn0E|=qDU"-{_ Q TUj#=sܬ? &]KyQRNym+ӚWy%MH$g\j11Lࣕ8 ջr3&`35*,^deŬtfd[:GŦOƒC!/(J/vŮͺ,_ZdG faXԼs=R*в^9 Yd Ŋj\djwņ| PKW+P$Boogie.AbstractInterpretation.nuspec0lANVRV xמV;'jx$^'qۅ-3f?6 8)hViSvM y5@_b1/ Z:m-Ѐ-l{fz߁LhyCo( Zkk ޣ \0,3$Mr|(z/V뻥Tb]]v-rf"(a^^C+$kgp5;'Zjݱp䌽> s#<| sxz]Š UpFz49} E_n5Ӟ݀##ggT]7_PKWT-'<;,lib/net6.0/Boogie.AbstractInterpretation.dll} x$UGWUW?y;a&ddy3yd 'it~ a0A@@F@D~~XpEDEwaWePuUtqes*yI{Ͻ{ιnT. ~VFd~ iӷv JE{j v7Xsu[l[$bض`.WancHZpݘ4ic\^ q=(pՄJ^^"ݰ ^zq :4VY>3W:r]U}$.l+}$6/wŒE2<%fR= S{6&f2͞aDn7aR|;:{.jAI8Shl|ƭ7`'bѸ|'k]?V͎QASk4_C3:t@Xoqc`Ry">#o{i#X;xhkhJm L3I6SKhq` Yv,T@`Tr'3H1s7L#Qp0آ>V|`LLPc:_꼪yUy^; ΫY<-;Τq%L=<˴oiv{4$t$UN$g}8>=Bvgz2:b"h&ƠA9v0F20*cQܮZ:)DQsuƍ*^8cT r]ZL$Ψp–k.&Ӥ4y2M1;ޏiqB+M*7x~{%! h܆ύ wTjLA%݈U>*U/(OœIp8~Z\3-8"~pq]X)] -AY4Z -Y]4lj6qL)ThR|oۍVIy%VT Vi[P&>T\Ĕ 7'EL ^:OWh2c!H#ݡNz݄*zw7Ŏsh}a,$l=Ը3@'3pqW2.'P%:{RYӺSM}cq@ZþqNzUGH4+bV؊V$H2ɫxY\ݠY5Surqk\t]M&( M8(rq99kZ*?'E jk@Mnkgnw} Ru:ӰwRTsA > A=,fBcԟ6\L<x-K-afj q󯸀^.}=-|fLQ;r| ߕջCMp,s}M-j&ԏ zЃЉX;H9Z a)$T'd"..UJmZ"!}GEN]*D*K>U .QR樑٨BE'h@j) |{lPG lw})ӑ2 )z.eP]G`sեNPfLGtq寁߄IsHN9*m>-ᖿ!TX|ӷLwb虊oYIaoOsvYZs hYKGW8Ѻ x0A^lvZE6@ä}ܐ*쌪9ĵÍ#nTmҨ|3QEC^?ܸԼKp60e FpS<a,'ܐk2nwM;Z^2S QW{Zݩ9-1rBSW8m81N] K" mRN,RDzTU<:_Ýծ}?D,Z:U)i_O||.f-rPn(z#1JiM7[>B-Z% ]\kaY1t7j,u3f{01Zj?Gi?Fq?2t.e "fK}xsHZ ԽzHM۰a(0>h3@8gjI)3m< `j!iTD^H?I AmԶhin#qc5b$Mt<{wq̣빻/?ZGnOhԽ#Uք'YZYjX!^\S6) @tħZ 5ΥH% hH@RqU$={:s&|g{@@dKXE!MIc1B,hF[4"-5x4*6}ՠW<V@=$ 'Qi2;NFA!Ɩ~a~eRƀGmY[^^zE2n]4O%l 7t1h)reX:~XP -gmLSj½L~l9nu!T #v:QS}OO=G;jΗYϻ@wQ|ɒt.Ml^ Lk^) C*ݽ>vAۀR@iY';W/\lx`eP|_ŵFiI`䌛pjу͊ݐ1[p@doԈV]m%9k$Vfl==V#w_}=YytE) VlKsoNh<|wϓ5n {vt8+֕&{kwȿIN7NߒxT:dg)O0IN;O DRA9|긃%L8*AH5VI;nea 6U :wA71OjS7N"dV0;赓-{N3)EQugBcaSƊZ5ǡ4fEӘOѣB&)=-c}IVc"}2P^Gz N#i , K{bA%z8Ch1:!DԸS]b (|ܣ(,u(:?{`|$,ͣ>!@ۉ.[̑彤3_˩PRz|y C%$h68k"/ih[#w2KKӢfWP#37T8 jQ!| R/>*G$*->^ZŜE w%qo+>-,%''rQW?+y(R 88 \ vyQN ⵆGP  ]?wBqwZp8q(Bwu8 Ƕ+W]+ 9x t`?E V"?|,>*Mω:i[MA༗JqCl_CG ghMכ1S$&R$Nh=/ڳ=ڃ,qTom L:ʺwp=sVMSƑ&0AmaXsl)ne6Oj%_S%響JfDUnUvrӧ9+@`o L=7_ HTDϦ7lE8whp:Nni^h$)&OzlVV~-. >U!q髺,y|8eW4$}̹c^LMJ?^WVQ3ΏRWNu[EWGt&muӸ[i(2[WR'#cDpOc=kaaGff3$ݢLSoVP#&N^)I}bz_n.?SVSήeV> ܦimA FezHS,>&x76%Dw6ż*ݐҳ7%;w_`k,L+KLL|~9z,/w5}s?2tNK07y@}3ؿ<8b:x IAK - ` եgBA%w$32ͥލw4?5AԊO"r ЂGjl6ΖK?F.HωOA'TeΡvb͢=$ fZw LM;!%#>_.X"+Hd Vɵls ^T9 !㡸R׌`"VS{"r jEK?!I ??E_QEuRJXszOiҶEmwRMг%WT7\Zw 2]/B][{aSw(HoN/ERg J,A?nGx^h\/7#5(oiptP䴍-.ߠRJI^CK*7N2LPK6!f%kp5\'pw-9 @x{`[9@tZ[~K L}{KQJoVo*@ep, Vs@hFJ+7q?V:3>+%J/}6j5(iP8-qzu亅esmND~j ?W"'QH;d\d~$:69 ҥ\˄[t{M Aφ/UI19iL_ñzSKytjRS`nMR,sC}Q9 L4a{-㰙YYqz9s2 wPz 3 uEtJ h;-T H,%2[168rۏ̵ 66. d5JV@R 4#p&CIڄcQ! [ !•hQ[z-~PP*%n#^onѕBKkg/OP;s'õGҙB+2>@#ׅ> ;P!?t|ʁF#B7Vm8& =vo wngTx t3|Ӂ_ UI CIq[aL!tsFX@m:Bz-3To$p>XЫN۩ᯇnyPx^ } z6q8<@!t/ rf:m~ڭK`Pz9mY`2߱[5! ܝrZ^Z 0±/ҽ(ȸ*SR*)1II;,#2W[|o 2Ns ˩Q$טiNzKBhoּTAz%2^ͯ@kU6$FϔBOG9RxT{=D(+bh5y3{GovQh ~$֧-x?Q<{m!hy?ajI`1洋4i-hw )n.i>ƜkD'`LI}mKcHF5Wx3ƹ)_"~#ю20^WN."1SΖ~SD@U\Z SqgCGPn_- B߅K`Ge9Z]gp0u9(SAt7q(\DQWv%] a tB[V8o޶cdD֋Y ^Jmgd b9yZ[)L!31XfT'Wȕs|wrTdr bpп.el?j}ݷv+bK%*mÚ\_@w)ե*8՞-W\:.۔(f "qb}|ȥ>ί.v܍rqPD3¦,#,gKۓ݄";? [(+P) d 6v]n[c,t69Q.dECW+z6 ]raTU\)3ήPVBvphBid #7TEsJ WS ;4)x 5s}9כ#ǣ|kZDN&pU#^"}hJ##1ŵY0N. x \q(ZЍeKE_pf4yRWa[<Ôp R` @Ѷˢ}Qqvg"=ȷ7Be{6eKK* \1PƒJ-1DN._ylϻEr1'Dq TWAG_=&^cl(b5vl.NFBה)኷2/GEn4'IŘmE9B Bb1`T+)2tIIkFcRf ;d*D˰7/8>F8פ0w;L#aZhnd 2"qvma⺗2omݕaqse}aA !v-NO$ gەB:l!osy٢(l;{cXж &h#8-xӶ%{+$.}[x$֢ծLSICvBA;O;ٜr43Iqrwg*yg<.b̍;=V(/8L2XբXvzm +ڦr6VD6/ǤqP<Z>{;К8Om[{]?Swa[ BfekȲ< \7[a{k< Ww5{Nq/(J[VG3CJ֮-\_ɭbZ(Y lQՏ^]uT}!,܂pr&ߝÈR"_C_ϳؖ1j&rܺr.vC^xrBбڡPH.kl+I榺-ޡĹې `uNP7KP@S;Rᅞ;mpo pv!IkbBQ7>jh=n֯0nv8nv[?},PG!ؗ?efkFp7X̌Tc7s#tT,6tu}ϋ|OE!#`#\nx6b# X7me'ǥR,"/=>1X3tlg#}<[$| `^~ԫk ,෽x^O~~{wm6J4e 4R4iG ojj#$kgFjwUF !>(s/jTt+vwZ]*H Nm.r2@`h?CFNS$CDɪ[eY$[ºxU<,. AFae @|APpcy8_cKEM_k "kSDleR=_DI`? u!PnL_.CSu؁t0)4]>3>FƙS'OQ#qL{;N]8ѫ@ڵmq1S:ziv&m=>?ȣ T !rdy\Ftͱ J(U*Z| 6>DCn EM-}[!iWz5THƜ].ڛz5C-Cr; Gɾ(}7אV5GJq倶H0UkLDednV|5AWBۢl#I\kBh c_7D"2 Ulhɲ˳q`(C0[MF#h'1<[ثYLi&wCa0z$䘅QUۈL7ĎY[Н^[m :mO8] h$*G(Gn 5G, 5+!(pXJ!gkq[qj5gKTHΊ5*@3c* (Ll 5*TAM"sׅh7 F_p|+aixcӫ !|8g8H#14:at#\|*=N,4U1H8"k2`\fpҺtgEr ?;)rqGoÚYYW4/$Ɂ!]wvHAHR.\R|3]&KEs@nhDN +h3ނ)O#gh$u9*F^ȑ ꘋG:G̥2lTy97dRBNVe {ۘ5 M|sxj&6;El2?|iE$gˤ؃ KiwEx0R# :4^ZPaN~;שx_qל4J(g@>s;x F .=DL3U5$z̦S o ՛EҒdHEgo5mY<;mϲEH >=6G#b$М@?;fJ޶m@m ;;-\Է;,Yֱ?ӱ{OY3hqs1\ f "A,cRwdg1`<\Zp@'L_V[{7~q? ݽ [>t]O  bP)9Sfvؗ]8ڽ-tja![F[xdBKN^77(mK?7Xѻ=r#LP:˺|~3=h*dyyw>R$VfzESF4#sz-8K] ܅,ϗ_t7D~CH:[9Ci}'p|KTw*wt]]LEKvJ]sZac% ekF9و_j}<8`#ݔ!_osݎ᧓si.{4 H-O io8㛰}ƆQW$ bV>Rmac]{nwhO o2["w# fftŵc-ցNFNzebL;h8dq<>|{O%?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¯ZwymPKWgT{Qpackage/services/metadata/core-properties/b3581b86311d4350aceda821bd34eb5a.psmdcplR[O0~W4{vcJQc@=@.홓o7D[{KsNgN Z. *܎<$XXZSExv3)`X++ScwL 9ѱF,p Zg~:ճ꺦uaCGJ;Z@QG]Prq;h&#gMgo-$R̄f cv vVD?lM~jɔQ['ozqhG'QZןy,!J@8J%?6;|rq^@T.隻M!yNw4mce!Px,M:6^N'_^5YHn%0a^$OʾPKWF,,.signature.p7s0, *H ,0,10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:wUCRIM7sUuaz4IlqDcRn8DtIau5/Yq5+7EMPJ1fdz3A= 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 231208005257Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" nj[#mtԡ {!X-.خU05 +7T1%#https://api.nuget.org/v3/index.json0 *H  /10000  `He Z)֭т`\IrcٜZ$=qGyHUK4? %Fb x5 Ì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 231208005257Z0+ *H   1000f+2]ΪO@0/ *H  1" v Gι%~\eV2"%:07 *H  /1(0&0$0" mt"@WhA6oU3M x(0  *H ex2 p`S|W!\^3SE k\z\,U7/N4\>Lƒ Xr<%Q(5dֵሇ' *5;"kAmUlX"fR4U5s2t!LUg2W/P0 (B筚~tN1d=Ѧs Y|"^C<74 NHOϔ/J*˱T -u]XM_°YBMO y}xRP$yQ1Zp_!bpݳ-Y(z5$lEuΧLd\AsEd4>!)Q[D[u:H܇N?œ.EDnv/2WqȄj]ظp%qП#Sy׾sgSj–] r20ɳm1"Dn'Lē6\HUZIcfᣴ.^}z6"PKW1 ! _rels/.relsPKW+P$JBoogie.AbstractInterpretation.nuspecPKWT-'<;,Slib/net6.0/Boogie.AbstractInterpretation.dllPKWQI >LICENSE.txtPKW6h{ A[Content_Types].xmlPKWgT{QBpackage/services/metadata/core-properties/b3581b86311d4350aceda821bd34eb5a.psmdcpPKWF,,vD.signature.p7sPKq