PKB],Y׉ _rels/.relsj1F}{wnUl]_ ̮$J łR 0s,D.ve(A+vl9 ӆWO"x>cJ # )a/fnt5!NKHE7B:slX2`z(90bj)<97j,^SaѣEtqwլ=4cLB$@S2x.Z ,ʚ 2QUbT . Ċ>%b:+ٲKPKB],Y^Boogie.Model.nuspec\Rю0|iC99qHHBB|cSH5$~qۃL<;~Гq,tخ>6w|(: mCM[Ƃ< B6]p3r6,/2!|JXX<9>9=gX;XSd۬RM1] 65զ<?g8#g/eG )=H|\ }+қ{_Ҳ0^VΟ %."rVw铒kZ样-*JVJ亭BM)+JVCH`4??>X\h/'bTMvv;g a?B cfO*N4^zgE9WsvrvOi/PK;],Y0hlib/net6.0/Boogie.Model.dll}ix\ՑhݥEVw-ٖ-yeKȲ$KeayrԒ-ۊ1fI` ! Avf`2M$y!3!CȐ&3%3Uuے !|랪SNU:ܖWy-@t9PCY7?l=GSqcCLU&+Le*SٽrNeRƮm^>} T#vR)@1Ua7~48r3SNV"|Ny>}ԋ.<伎v8Rgg!<|L[CVe\5ks ?`<_9^'ڠk kV)xUjLu éWˎ@a6v[VY9T+`>bXb.6.ڎߢbli/]B"s bRAeQvuFVl!yKy)+@5Qz@5 o'J-qpv ⚵x"Ol3.jUSU˨ۋ u5qemPwaf _U~amPU}E?#" 1l!]X`0XU$N%*#`Lk"lbZh_mZJY}#@X^-T!VSi6Rxg[g7b/9 }a5PAȪ eD]@DՌ MKtV3 TXc=jb#Paz.1+IRL,+ ҞkL^ld!Vl*?sWR: NQgٵk0ePTĉ11c:c SO2z F\b%JYOQ$sI΍osc}An_pJMWchT-.azyѼߺVuRI4Zj5;:"Sy#If`z8}.5Md*lF"-R\ȨZ^JjkWy& X3Ӏ׀53 X1[ZP]uJ޹Fzpd'ɉf†ULMӾDas cG}`|E;aZ}EISǣ^_遠/@aOFc=г۰ڎ ,~ϹQcÞSkgN|&'N=TN/ ],4"r]d&=a`=C=ztrQl(CoqrAzޚ!?1຿< =!d!Z>[II:(KfN(Mv/Oz<4}$yN"QDʊUD { ~ 3 kq=mciӎ .} xPmca߃Uǩ/}茜_0R U:%䝁=p- p:+OpL) 7ff~22Xk1sHhy.ooإ >V y*<-g Yw' 7taߐG3x= K"h-G%~ȨC+_">> !1gyx_bnXհ@_k YVlk~O((5;Fi\췜׬fÂ9`]?N_)k\6[WlDZXr^ǓX -w dB]EMs9{D\ز>{#iov5}pp?'ʛ 2Bڧma3 5a ߞ'p5nݿ1ͱ m;;ʦF4 VDmx@QX48pԝ(h8Z8.(ul\uä޴K YZϼF1&a0z :L\ fœ5Nb$.}|6-~ #BMNу{eNa(јWI~[R>=$IgtYjzU>7žҙ=]N^Leն٠K%Qz+r(U4%?z:EZ_TkB̷ %/UHb\F=5<\U*)IoZr uF9o= YgA8a:_tv6vˮ&`ME4')8MiQD*ojWli^白4`襁A> (|+r>V^}-W kmWHcMһ2?%ŵ[-yjDY/EsylKQr޻\ywnP&e^ULy:  n1c7ʂU2r3_{j7d. E;^.RDifN{ !ͳQ/ /ĨaO @{Zӷ?-꼧6W&MzV#[}5Ξ+v<4iar̳bd+T~߰<i\rlt\]M\5IB==W'2Tz gxU^ m|4ƺįUnz7𥳐PRy(Ym QJIBf}gVEH*,眯筌XjieN=5tᬳD*ZAE*Ee |u-˯ݸn㊣EI K^,Mw$P&'daJ(+ _v: G:p5 h?~;vf.;fq:lV~wlM[#N+k~h$,䘵r+P~8gt2pA_qsB~^^dxҺ1)uPv"T;ՄsA xUx竾KJ皜+6A:?*!DbCBn68!nE{ĥ?T/gE~){9ƄT<[໌AAn( oL+FӍF`f|:/qߣ0>D|+cN:WT)Dstƻ)q8SXBKS֑"eSpMΎ>&qd5)ȉ\1qmYqOyئSfѦtk(nԶQvu¸]q{&"n;ݸ]qV3Oƍzթ}ĭۉ.7s qyւ`b!yV/32N,E7xX^63c9c}"bmF,cy%ئ3.ѦvѦnѦ'n^4/moOc_ĸߍ&"W̌acꍯW_*QLHqdb0b|os莧8.すq<#}4?oǃ3?Ǜe5|]6]pbtܥbnr+A%M1#sπ1|R70%'Lr ` a7p釈Ra< - 3bm-8JMX'{>̰)߀Z< H49 R'@Θ:} {>z{X~)?3i:/m_ ,"MB+sۧ{K^ QjEq\{k)#"J*V qK] EL50v'fΚ4n eKA–B ck –Ac*i_ۦ -.oנ!pl(aVkrn 9;$c}̹eK퇛k= v EGZҳFaNpX=MG$,N{48?~)7DX j,Ǽwy c:w:FL'}rqkԥ'p xR4Z8dwu19V+0g)^Q"Q#ϸix) <$zg-h<13?pLy|u]O# *YgT9r~-E8$Zb& I?8~}Q7_ ہFԻ^: )wv ĹJj*+z)[, H,Il:-X^na#+; W/S}_nxz- ,GV]C.z=,+K <+1s]X* lY{$ha]o4BPJ`F1Ҍ}(c֥ v1bd·3ƒO6?ag}!&~_;"he~FDL mO$ 5W|+ Ҍ]Ǚ嗈qI,XjUbk(xQbKji`zf+d%v.7f:c<%6s^X7b*Z: f]*nnkK07AI;^]9po>>صGe˾V~9/gC)$ˠzN sH(j֋8P G]p{kn0c*'$-s7<&! e_+^Ė>eߕp?)x7T7 ILp1bصУP|Wty"S'[&~0*v_YTkACعq7p</vvG:];NCNNy.r<\퇠wu!ot=]pFW{?< ]ݮp~z\@0qWaqbPœK{ߞӁ <# yX!_0\UL %<^}60ŗo;Z[!",MVipOl KTwFws>$O-`!}9͊)t$lO&L ?̈́_7+^*N.g}ޫtb}M~ ?!bH+EZ)J7 G~L~P<~wa N /gxa\B(_VCv|'^>^z`[JQ諾 W)^^(!qA^ak{70nR6W_wbZ/,Q{Ќjj Z+%F 2;8*(rfeदpXE#x'~\{/΄'oOdxklk<_]Qe5^?5s)QUḾ~}R_YQr/WH2t([1eԠ%O뫱{z//eQޏ*U_D{k GxGa6x R#\ao,pa3 #BN! >!ލ12:1|1442 >o|@x4'>B+v0<4Cý O3| _bð fC3G>%a x^;-vePOgՏ5ڽ4M_M^V__3<½ۋ^Bx_OU[i_ЏUa1bxp*1{Us,E؊ 1U w ]^rNc BO+~o~~K9o'mҷՍO;` N>o"oǕR^EU/1j) OQ~ ua@3GV#'._sҕ++)K#Y1,2#g,B2D2XeXgV5p+owq%ܫ<ϔ_)UqImW> NG#ڳ7W^}~ s˺~8jp~|)|Lw>qZ'!y?^~M(#zP9?4{b)O~Kks|?oEԗ*W/Wl}%~P}[{ƁhorAfjJvk8rwݴZ;s=iTv<ܘNd눺ǞܜɱM!'恁d:'[ {w$"N{}7-mii#HFL%mi' b_.1t5gوmId%sږc4%H%'xcBc ؔ$g&䚛3h9& wi=hb\ܗHO$w%R6ݩ\$ID\=ىt55ʾ9y2DIĎX[KІѝH'ۡo2zwq``OL%V:duh0;قn +6Nv2۞$F{p0*L 2\*;ao&%q;K"e|<dcm4c]TftS*vXe)la0Nb%m؈YSCFru]5Jb[ǒV=hnBp< Yh"3MZΞc<w˰\Ngfx#nSճɗI$O@aSpuM҄ޘą+n$X/Wx+M ^0nId @Fh&-:̥6>q,aߪ+(m U;-7nH@~t~Jy1ݩhu7RؗY,Bm) lk u3 |;#h61ir;q15&r,dţ=cXM ־z` w4WMJ![x@~܃mtgrT& 5.щt9ǀ,,Q&/6uYƥGvHKDY3m8WIЂ)k J@E`v\ ɚNقkVwj4X%=\ NiiRv6碲#!ș8& `qbW5`=,U&1py?RgƑV:\n|M8Om"Gab)9w$d`^!v[M•p$/ߡ&qz$ٕ\]Ѡw(I?ɑbsaV9ua+I#6(es2p'oFjjQ2c;wCoV+Pn8_Zՠߺ x(w>p ?GoEAy?5I(|V^S~n핛ocXޞdv=%&d=]o ^Y/>ax5><}[:֬+t9w[Uܕ|67 .3|M!6ܝNoO֙¬Nr1{M? R+ tyECvi(49vcx;EI WI ' n7Enּ/"0Fwl2R%~;n2CW %!jߧT&3Uh|{C?]caW:;w|'VPW>g 6&O #oEoi Ӷ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ՐPKB],Y6h{ [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¯ZwymPKB],YI3pqQpackage/services/metadata/core-properties/58d0167b8e0a44afb0cd57c8cb65ee47.psmdcplR]o0}W47r+葑ybd5MO>6o{v΄*jTmUHMI* CQM6ѼtPْNtu. &72#*n.}{Z/ 2Lo4o=䒆8\Tц4&㱫Kj]y%/]S>$aA0EtDA SRWt* c/">оSQ1$&NPK%,Y}22.signature.p7s02} *H 2n02j10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:wrCIOVirLCX4Bv5/DXFXl1IG61ThEMIBSnvpzVVXwrk= 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 240912114742Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" kJx R٥LEPnQ\H;XG05 +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 e;Wy5$s!m?`_$TqmafAdb4D],IYBnxe)~5Һ(QаbρaU+8%aC/| u שJu{_v4MV2HIuNUe6{/i kpv2<ƭ]2;/xױޔ~/l%ukݰ?H&l$F]dGR%HW ~һ\ױ&4\C:p$^U/>[ܴ3""Q>?%[/ŪQ{45 jxBH 8)inf`tv3gP1eor'p}nt-l73yT롂!0 *H  1 0 *H 010  `He0 *H  0 `Hl010  `He oj,WM"'.ZGxl.sbvi7 20240912114743Z QOEvG6yZygnkc= ~00 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 240912114743Z0+ *H   1000f+2]ΪO@0/ *H  1" NYl$!Ȏo$b{^wh07 *H  /1(0&0$0" mt"@WhA6oU3M x(0  *H  DzNt8yX`bVt酅7,` aI}Ou6,.̻,a!=5 9AD[veIAt\٢H;tc4wo`[>?(`SB>Da8VMJ#5DPr ڣ?:I-JEL(79UVQIdϡư:i₞olRqʐK0O i;SiQ*` R W8}bzC]*o ~;Nq853}y%.lI4+s1PKB],Y׉ _rels/.relsPKB],Y^CBoogie.Model.nuspecPK;],Y0hlib/net6.0/Boogie.Model.dllPK/],YQI K4LICENSE.txtPKB],Y6h{ 6[Content_Types].xmlPKB],YI3pqQ7package/services/metadata/core-properties/58d0167b8e0a44afb0cd57c8cb65ee47.psmdcpPK%,Y}229.signature.p7sPKl