PKWmT _rels/.rels]k0!6vZ@a$e }9C|Pִe#0Je0j9kp1IcB !ALyȬ648.!tEOZ ob&RddВhn!bt~bvTz̜ћlaۼc9F1F4D.yDXsp/J a=($-deIYUys悖]+nv];*+6/PKW8Boogie.Graph.nuspec\RAn0ύ(ىkuAPhr%H\vC/h;M;#aA[S")#Ҧ>7 -6{`,AKom0v`36-b{f@fh}C("ZOֶ^ؘ'IX\C1bg}H\<AEl/߶\ۉȆ8R <_  $k2kLlh1l5R2~w;ݸ;;myk}>)AcEKUe#n)X7kuWR( JE5$bvto?y1O535Hh*X^H NO:0 QmFݫw菿"".>NRVV,g6PKW,84plib/net6.0/Boogie.Graph.dll}{|\Ugf9lL2I4M۴2IGi郴iKKI@K$v`2'@cp-X+^ " UO@TTT|O>E/Z{绿Fg^{^{ϙ-iOsٟIs>-zw ST.g\}&W߽~LÁ%czၙw7ȑ̭V蒶X>F+֤;3>mJ/ץ? Y&8@ _`3].>Tĺgׁ.W P<+'oɧԕtfY3NU3vY]|+43?3[5o=GxAuP%Lϴ#*ii@fn3y^˽QTfBg/](2m.ΨuveuļQZ$$pIGiZOZb$]i>}h/{8DH-g|.UyT%NOu9X$y4Mx FVݨ%яLFMm;x)P@LHn %Nvbglo]':ZblKISZޣ1U*|aKj3ًeoU U nv+'/6 9d׈vj0xh54ʫBKJkVpG`0&xmc˱Fe,$gE֑)hbZ>.8DN=L& cRKo-I7Tܣ9`Ku{q쟴_T`OJ;>V8ўJ0f|D5(}Xv0 [lGCCz%1og“A'UD_^.ivdWpdI6UNnjb5va=b7B8B{[fKǤQjYd>Cr%Vr&IIIRse,/ӧ_C:< %AN:*+n5`)^B sIΖk5MQ.k+T+BCO]K'ť}' &>h@7_Oz}Ѡ7z!#c%E#Bxn -i Y5K],z;+Bm'3·@T]}G~j䁯`F2X8tu؛h@\if2װR*p[^ؖcSO/K0-tv]]G&A=g-HzOߴ1 ث֊y} xa_=?5!Q٨7RAAQ!Oq:9Ґ8v I(4e"%9hb8.3>9 kQED i#\f}AadH/_LߖoauDzZ|RYNUSƭ\&'C\*V"lZwhBb}siec~ݪ%y-ҺL#_] a-7sv &QIaQ6+ K MX"1}Xi']^g/sb~Bp;&"_ENY7Dyp=Lwގ IBίۋXDk6ٴ?F1$ᣜ s CTLl&X8$ 8l@V9M<[iÙidi1kiʅqk`"=cRXVX]2c$iǮP@Gs@o,_Ӷd yg܊=Ôk/Kf5K|P+a讃;7F~;/7'7ʘ"XEO$nY5Pw^eSE9!o06-8 c^cFr^&tgiсYDϡ74h4h y+iOk)uq^/sxkƁo U˜df3s!_182tpc+ùCDqЏyT~;ƕD,H{q?N$|J0VPK1R3reە+z$ 8CKЫ_PN>75;gqFyWXF5µ9y',\tzuEo0T/s=:se.jМgac<)P[[)!=86?&)ӽeF~=QOLSweR' 9 L!7!=*Nx*:=N9c09>J}Աw%"_B~y_ ד' ::$LjŐ!}8x7@7"/\/Ѫ=E8̈́I<](]_uř':RWdp7P{:_4 gn&"JM~< 6M3VKÈs45MZQo o$gSHQB; Pg; c ƿϓuy2 4Y dа_ <H\KX\#gO˼M%C' ?#i_#iq$e8(N zU1>,Iɶ^mI&> ?pѰ^t?e/vr{2kd[=Ait|>[#aV8cT:#HOP&[W|y()O+AUgx ˒ Qڬ}ZOӘ4 h dާtfBbqjbi:^GuH4=MY4]ՆWؘU&+d#oU!*JWCUeƕzq@uUhfVY]=Mjۏ$f4R`Z5!;rK5r^U8*h0?  Ai]0:T5_Na,:]-9g`!4**׬謄E`jRwoͰx|l/g:PNf$*(lDy1:J_~k]Xu!NTzd G=f3*Vkp48գU9̵Fp {JIRKgV1oT.2+FA}f }O^s5Έ%N7wNdtqΙ9\L.jXׯ؋'rx:8<97N[ xEGNVL.3@~_z4~%rw5~-_Ԫޗ ctV9SOjPݤw|CO5KMic G=zD"u/+)%@.3;@.3浱A+uIt֖֎6Q" +hya|;μb>_ b*by;{QzƝp"L6K@>Ͼ?觬Ϣ^K#-$7)5}/1R_ߧh^GiYgTcg1ЃoS\GeǸ(SzRh Ц{ n #QVF>226qd [>*XsVa1|OQn;u%O(8[ku(' !zEm]fM5ya<&!Mb|9$ 3a71lN2 {cˡ#2'9ی"A˰z ϙ~.&`V臚2ey.,W.D^-tpʧ9ގse^VJeO= wk%60]Kg¾$y'B+KX U%, E΃>%f%| 3# Ķ= [H v%c?_j]p.\mG$&vVSosaBQ-5j;`CK\+%Ϊ8]zܪMpOg uukח- +r>mōҳ1Dz`+#[aQZ)ś2CŹ.q5.섇\#섇%',;qUS.΋cR\ vTyb m@v^ KI=sKav Z]v^ =62 6WtqB#+I,~jKwTl Rf)=!*?FҰ^?ᯨG2ӈk~$Q(zP̜rsΈPQ; Gʽ&.hcnOfۅ%{SrvXW>?+4 ~0/iBe9;ytp|6D'2Sj}}%4{r"eqz*0UZSׂz˃tKXSm_sy.}UJju+xa`Vo`c-WD{ fo>0f\w*0SM\^%\`Ys_!X8Q.1&/GJ'ta jr ݳa70k/ E[6F4B<YN}qǹkg˜-8,,Ymd,"}Tyky#<ky$@9Qhҍ a8'+¶\,I@'Qw6Mgja9$*?Ҏga'8ӞL{s#I՗$£ҁrJ+ 9<$P2}@jʪO)_6SZ><9J!a=MioO''=˜ }j3nAԫ[għC?7vv t-Tk47)t;->(tf紧rl"gsEʸ, [ĩ9"Ȼ&yWWacQ'n|eAqIA7ēnx\s1A+uT<&b'XgXcҁGϱ>/ =_Utڛo_e^c9gcn_^~s7XWYgF:JR#|Z.4lؠ'7)NbX#}4Z=e侵*[evkt(3ѤVȯ}~m1A;O{ni- 2V ynf$̟htzT[ńF;F _ tk(ckd㄂ql9vH!5zr\{Kzr\LKyI#ݡ0$[X3!MbI f/a?=]a⧡P(|=$ =ޗy5W5j|S35| ^5V$ ˷aG'4l @i܋Lg,Lױ8c`yt` v\r`i7\~˟pѨ:.O' s`0l.40 +4a?Qr1|n`_gEBk6hC/5Ax=m] ˌqqk2; Nm%t4LZz1[40s3mcysp?/WG'cyAF,?<'߉^>Tʭ¼S80_ 2 Ӱl|UXj_/O~ag=ac8s%"gmELۧCmmgsC'<|ϳ{w[{'ߗ_O?4|,ht* ׆mΰ0-j.Y5g\&tr1|ϝope =v/*kjEo%~7]ɕj0N$R+=UPuT]깪nPU'DoURt[sPB=41z̓[~_xPwͻ';ď[U1&+Z`ciw`ZuЋϡbǵ+uTѺ,6.߻wnA/Ycv;= siTV҃T1merW ==Ļj?0: @JսR6Jec:cS W \)d PmiP0bdi~ZMSL*Wܒ.aHV5<H >C ӸԛrDn@Ҵ#48244Oo0l8֑tfjA/ˆ #r |Ұ6?S!ٴ]i 8.d a%hC&7(]^\F-v䊙u.Z1ľ7:|.d]AT. [FERbw:ޏRPHgGqRbXgQk>M_`iMbRnZwd~BT !J_c*7?TLvLPqڸ)n6ı }S.4<- Ӆg.0rolztp(5)hW>=JCéA6Ӌ'kF5/=.tQ翈63 C6V #ôۋaLz(eraKjϖ%d_L2 E q0#S8;s( B"i"c]l6" 8t*^BqcA['՟–@.-w3Iڴ fWnL.k@ P!#TX<!s5%B,A )̴Z2g_ð5UD股 ˦SyfŨO!'D>2S2$ШJ.ڑL0eu(tjXJ gα<iWp]+ނJrիg}zWW)̔s\Pˀ,Icŝ:AO(ܣ( )8cugRsh *LݓNMΠ<iqm_kme׺¤Cڔ2&mʱ]icnI>5Ar%D ͥI:'.BM( rvex(*8GprtQpo)(m9fƜ}dk%;]y.]Aۮ"Ϧp!l"'RJTlYI}8lN m簉tRJs'JX{dagqa+S9u5&_0pW 1ڐcͶ \#xX|}E.ǪK'RK kG x,* N]Q8˽/ᅽӳc]wՃx yH0@E;{ &{] ioxaL]PB+#z%6mXC?g#,B,#SFma k$9*s 85sh s@ M|9(Y'M#328R?1}~>qw6ʶwe <^ӇUE`W=|^]%bíGO#>M GUa҈%F",[Oh~نzX"*9%BUM%4J g b"ܝހ=XW`QWDǘ5>cGLCz1,SM> gpA 1LiJЁwhDb!ЊK!s@% aziTAT1BDLjr&R=S`+E Ef_J^ ͑90$);ܺ`ep&Uu:P^#\etej5>)՚:cfԃt҈r 5#g@ .6MW]LCjNZj;צUvG4Q[BhÏEeS @D.иI\j /쪢yWHNRtuL֐1BhJԁBF5 z 174M* h+ TmY;jWv9t+ -~},-!N˻cV 98x&PD^a$F=S[DٗhS;./2 9|up8)8s&onDžk;kY'?M=s \%B 6nKOh\')Cm Ս~(IIK\C?\u=)np""FJ{/6U\;Y1DTCiGzk 2٪RԐW3THآ1{HydZjT[c>cҔ=+4'yiB@'N.I' jҾ8_SjOE# V3jZ[ѻϰz/uu& f3]j~!c~U$d(K)ccTp)LTSMx.;*;7Þ/Jv{VC:FŹs qR Iɨ<r2߃rk@K@ U2׬H3֢: + ~\ -D}@!?^q9lr(pqQJR >"Z.#:x]`J3\J'A_0B/NS۟W=.> ]z?+-+$XЅaIy'牁UETV=4C@F y9J172J%1mqnUh+2Teۣ4it"HbrP' 94)$ڒpn- H5?6 P(K%[8JϮ@޾ O[,Դl]߷ΧSUW/miEҫu+&G]> 0vTA!--[Z:0\>|@ց}`}i⎁TmK/OXB2a)ѝlÁbqbѢ⁑{hQ?wiπزLM=P]7ó>Q;'q7=UGN2ҋ#\:lr*6qOp"eEthҋ~=}RPcWE/7cc˺-u]|owc{Y~0T@H 2NIi֫,tП]~R0"腽XmmMXn<))(9H#_)ȣ ?9GO~3CI_ NO2N~>]<@z?,ҝ4((O[l)a%m_ l,=d{b*˸yRہ=Zkef]ZX-0O蓠Ͻi8Bj )KWwb['B ,Úz_u 8?yE+r>ПRPKWQI 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¯ZwymPKWLqpQpackage/services/metadata/core-properties/1b0dbcb1c4d04db69d701877caf391a5.psmdcplR]o0}W4ϝw0c]ZC"c`/p٫$ Y8EG;)cQL~ PKW0-,,.signature.p7s0, *H ,0,10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:+Oc9Hi9qpaicGYnQdJBjI1zo62A2/fqBV3EXC1NGCN0= 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 231208005254Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" )GW.2R`[rWK05 +7T1%#https://api.nuget.org/v3/index.json0 *H  /10000  `He Z)֭т`rY:G5zDxR HL`Q!0 *H  1 0 *H 010  `He0 *H  0 `Hl010  `He RŶ9q5̦8*UuqevDEDmC8?n<`ķ20231208005254Z G/Z#X0oDLAoEq Arn00 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 231208005254Z0+ *H   1000f+2]ΪO@0/ *H  1" R`6E x<6m PFbB/z07 *H  /1(0&0$0" mt"@WhA6oU3M x(0  *H C z)r犇H ˋ)_3uiUw83d]Çx$Bٕ~d^Rgc1tr[| Z >2;VkcdS9NؚX}_ 9k?:c"톺%B{f< ߦӍ6$t:Yo5"z鶍\&a2zi<]DױwR k{q`l5+XJXEA+s 7BQ9FJΙ tNi}54a(wt ]GR7 N }'Rĉ7KX&tm]K_{<.<Ԅ ' õK7&| >?o ^RrRm;"aR