PK@X7G _rels/.relsj0E },ى%; nB~@#Gz )BB)aew3+pYPJ7j;uԲ~=,R>g#ʌ>7Dy#b<ؼQ.&|RF½ h\t*ҙ/gƒʉV+ sՍ0=H^a]C`D_݈$F.҇L!ޅ#;CVuʲ^+^rݶ@+fV<c>3UqKPK@XE@Boogie.Model.nuspec\R[n0)~7*uiPhr%H\r֏W(ev?8cג༶YRFZMS>Vw( m|Ic^>ti;6s"͖,]33d2zE;Bx(@1Ԫzѐ| Z0wjdI٥bu>j9sJZhy{KpD"wVp>L'"Jۆ֠nĉe;0Ӡ[W\ͅJޚv?<^TPK@Xoj0hlib/net6.0/Boogie.Model.dll}}|\q܏w?kmْe$Km,!˒,ٖlc_X^qwe[c>IB nHBGJ>|5д4ᅴ!%Bb:3ܽ+~Of瞙3gf̜9ܕM:~}i?mN'T|O+[5p*[9j[vbr0XʃJ{,STvnu `׋‘ , (1Ե*Rbnn :hpFbg?(w"[N}>oE|S^K#r^\ D HF|m_L[VecC׊&ⁿxܰ@ sO^7֬RѪ2l՘S;lfRfsvCVfVU9}F\rm\bmA3_Pkyg4{.a$<ŤֽV%+1b 4l(U،5i1C{Jy)+@5QG5 %J-5k!DF\ժQQ)DA+fkvڠfo#d^}yg7ڿD s+ڠJKȋFIcBL:`jHJUF2EŴ>:A۴Е~&6f[hfGSC;WWSi6Rxg[gc/9 k9+CtêU\,7uʫ fdҴDi50^U8֓k$x0U8 jB8̱BHx+"B {%6IIkɦR:7I~U.JIo~^yZ]MY6[/jI`11,cN13z:=U$SWX-%^r񸪔E27V>7-gd{Kyq8BJ)F)r'k݋kVg(U$IAX  k>/-]r}7d&I!qRڀiCX+F$+ )Ņ ̉[ꦤfP}ߨ1 gҀUS 8jkv"fzXo+kkѐΖX;Hl'9QŒ@ذiڗ〨7lN`l// |g7_\/){xؽx+}MnXz>W6j̰|sbԉķĩ*]F:ဵEUd]N<{'zRN3j"m?ehi'ݩs/iGX(K(飼}=l_AQdddwdCEg+3,GI\q8.>vL33!쿝;(]VQ8AUg~8`y$8ShΘMi|R+*?8קѿH[N :RU.;5MK\ûD o V;ĚqHq0ctswmS("h,* Kc.:u5q0-kI ٠EYu+M/FxWQ7J{&V[^#7Q}T}cWWޢmMG3hQ-&ԣ9h<DiV,C&\vh,v"̔J)wͯjYtΓԪR"|l f3Vΰ?Ha N#y‰|KQeoz,Ys ]'l.74n݀ 1sfg-"  WWlZB0Ԝ([Y?Xa#aFy>`-ͳx,mqQ@*Rxq,{(ްO FaVStnฅ4nV^gw}1)晟pYfYk?wM/M> Tw*6ZE#a7NSawG {\>aGn3R"aədbo֝bthr%Kd'p"$,YQ]L0MtHKyx!jY f[(-@3ڌ:YPVP9K=eCpR8 Wj{ Y .aU`\4 {YHυMKJ{1"FPӫ W ~r꾼apKa+I/m|&z(}nͦ;y6#3=>Ѣ)7MW*5CK׆gϽ!(LaWNHHu}8$U@x^Vbr^OjUЁX3DMԐunc 7Ѩd%0k\ޒx%+ zV]C'%W9=|*)$_Vm WgC,`Y; j_3-d9W{Y.|:A3."豮%,QbRO8=)N"[ב'h74yM٠8dp:E ℇW@ 3/U|U^v 8kg(+8HiJӈ"UA|71>PY/eo0z-' A)D#֍/j|tUyngǂ 좗NO/0?!lX{e8\qU_!57KV |581Z ]2>ނ=|іi@y3I˜$xHbm/ _T}33k/azqBVf.bu:.jOv+>׉mrѻ^zɝNdE0 }D~r\wҝB14N97u|>F73@7i›{jU + ?>C3P0=~QYzE 4Yw b+ )eMN`|[Dlr)5s g5yiHܹ&\4ÛhIj"$ F}6?k6?jà R۹9/^*yRNykFUJHxRw}׊eBڭg5YożhKn9].;Wt(뀲a /*i~Ss_ )E|heAڊ*sj t2p"/(r4On q٨Xb`Y'`=mŷ?'꼧6W$MzV#[}5Ξ+v<4inr̳bd+T~߰<i\r\ɸܻVsBquqx;/Cp,WŽ Gc;Ijuwj)e"T_)di֟*@靠Sc@y+#V3u"!u7p )#v8,.ʼ֟SnxyCbk>+{h>’K"Ԧg _؅?I:?%*—,a\"ڏ_|]G!vQD\q<{_.["Vns|I5?@Ft}sr̚9ӍF?3U8IQWxĸ?sB~^^dxҺ܄:S􊍃 d+*~5sA xUxgKJV8$;Wmt~&UBԉņ+*l>#œi{ă JP]yVo,S'ƀRho1~C2)K .{»01˪v7Bقi0>ǁBl `|xLSwI2NT'ƩǵMj8x"x"x)\%Gm|z>)1c$ HAN:FQnEO[{>neE|6&76&;x^Ktٍږ۳mqZۧD6L.7U'v]N'nEH2dB0 sW>d0X~n,]lj,/r.Dr˔Xn:KrɱMgMѦѦdLn7{/g1-bxc|n+x1ת/q(b$q8p1?xnq35{q-wJwx#KئNnGGE}yte]}]c}cCQ<|lh- \؛S,q نZ#pn\Ŀשi3K>NiKi_%π;/ ߇T̝Sљ{))fdx[O7f<i@aí ?:S wN~(U?<Ѐy)`i<-F;nߪQW2&neF:qML ~j5<7"}{:hE뤮GAΘƞލ|>aCLf],?Ĕiڽl/m_ l/"Rȃ&n9S[퓈=%~/ZD1:*:-p (利=R+UBRlC-cS` &[JjEبJڗ:ƶha'c[u–7P hh8/.JدšqE`fv8X/sn c[N>~%=K idtc_ztk#"GSϫA+O * Fg>+wdaҟB 7TQĀO3LFCAp_p%ꢣnQ: ԻVڍ )v ĹJj*+z), K,Kl:-X^Ob~0ako/7p#vFbS`pP݇ؕ%b~.G, ,>,ZkaHb-Xm̀4c G;bx`R^;!#[-r=' C+$.1SFϚXKc]^vo(M"Z\h8Qu{D͘w2J2géF}w{?\}Ș}P-pOH/ |a/IrH`^W?}5.JcףDZwy}RpJ(]rbu]\V2@Csp._ľΥ0Ps~ p.p.a 8Tg1õspW{?jzW{?ܶww}]zW{?tNW{?uNW~hr=]pվ\aվj;gAOV.%}oN~"Hg bχ~p91+@Zp[{WX_pqm \6Y?Q%,PyPx P[B *LsSz/HUSM>M_?-^*噎.'}قޫtb}~ ?!bH+EZ)J7c G~~P,~wav /gaLx!SX«ρI4k}:@&\% ~>`^/_w"xRo#SHD97)yVro vܓ:3³3ma WJ]S򣠩\2[Wk:ТUȞ{p뗽O? Ҭ> igT~Oɱk>9pcY ' L1Us6)&UU`Ԟs8Eҋ0e}WfL'e e5[ۭpQ2n܁KxQF3\=Kj5&\2oګȹ5f½cF&_ oOa>I7ن7y"=jS!2z2|24m m7y" >o}'Gx4g! `x!^'0ba~0|!a a C06>jvvZ}S?[:x|'Q{LJwr?"A!31Jpa}/[i5ޞ-4;3L.i\)IoI2Rɴ.Ka Cܶ`Gt0 hzrI V:밬Tw:,.Asa:hr &1~Wإ'*& =e8ver)Dw2Is _C}w[ە kѝݐgD3I1|>1\p9""iimrl69r0=ޓ%D{.g4kd4Nڜa8`L&[\#/+$bE{ noaJy̲Lא7 l@v%,!JZD8o#NVm\9Cit&22gKLSޱ\*GMFЉq[9L e.\B0l|TJvs.@\Tt(=,0[e #aܓ cldf8w2CG{M=n3;K2ywPq vq<d@dЈ2y଻v7*=CbTb$ʝQl8JMYcl`",^iΥP-8/fuS<\ҕϝm\-!egs.*8"nHA-h=GlCC`KDqєmeVN2y.C{;g?uD̔R0&`BoZG[D+q8xsp8cK*Vc{Nⴛ/ jg%=3Icljek/6A piRsu _3 9.>ZXMa(ʘv4jOq  A%FCz*&kRP4D[؊xd+qm ,l1wR|}%QI֒bF[̑Fj?۠` O"W4 DS'@Q@(dzS)eK>SI9^vta+sQ]-( ̪{Z4\ϐaf %-TO%Q2& _)$sAF9GeDm3IcGW!v ZX&-C #e:8vA Qn9kEY]ۀ&q#s~AHF fb[wIw7Iv%?w`4(?ob=cjsF9~͘5]j-\fN@ )3҈َ2g9 7%5nrTa2b/=[38Y9$JsuSǤ_* J*_y@ZTZfT .Xv,49*1 'n[z1^#f-Y^WO7H`q̹E x"˭ u2Zf /VERNZJɣ7b8@TR~'uK|Iage)%k%3p~*2Cس<֡[Kͧ_ǎm9=o|+ŋ[F8LhS*"IR˕H^ Q-F[ E3L ?U PJWEհ"K*B^A +^RTѤD SE̙j(RT(G-BT1@ n*"H:Qj^SBLaQ0قbP^+VT ]4?fP`fzXEĽF  yJ1:7 N-޹(|m`d_V dܐ SgP()[).1^6~oC0F07 S1+lģT0&4$#aef'rJxr͏e‰T*S814.mJ#REsLLC&w:f,c-yg^vKC3p8!b*PX#>yNNO6yBZOp y"k.G.!O/ \QkZ n"M)+|gאii:UCŇW5׋^F]\b.mߢcCx`:D6y Y*FƮ6Sf$[jr+@% u*/bCNi9 8%p0ʅbPŬ"{L8ThMx~VUC;D^q %pU`VbÇWɏHK PPjd/i*cȧbrF }SR( iԹ- O:Zi9q҃B2L`dg;YUFhӫ3f)H )XBDhCBW<+G}jljeXֱ|@_@Y֮lo]]WB%/+ ҈J(`/HsG2Ld%XP<@/XH|u}aŪ/Ysih0qM"TXieՇZs%Ң)o;V6vz\n4ۼ|p*wx`ݠ5 a/.&.*ŧG~cM"J1Z4hʷW Jv#*fQw-~0x* ;z;{׎^8m/mWX~I.2AzyZc`r9:xr3_CwSUAK]8>OߌֵvDL{)uf1eLӏ†9:"tw/'k4v=saV7"ލp._irhENּ/"0Fwl"w _R r|΅S/F)Ձtz+0 2x*OX|'w ;;v:zGU8ԕoق8?Sϲߝk{k{gZ-~FӌGq6_ӻNNͬk.}ߧ ᅖ>:c{S?(C1XQn8r ARw%6!Gr?}Գ k8N|i{#~Fa?PK@XQI 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ՐPK@X6h{ [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¯ZwymPK@XnyqpQpackage/services/metadata/core-properties/600ce358f1154f75a1499009e0f7737e.psmdcplQO0͞ݘLm$A!$kiFC.m߻1S!'+J4*OeLG1F` \ 3 PΒX:e OV T]׸;nXt"uT1]vMQ2m lPRv9I)QN%&p5/!s`&]i U'8XfD隗KY&x8"pkAv\8eJG8pdXuIk :^UBrhqpcݎC%]e QP9Cm;}> 糈0pv7O;LS1s(&?NPK X"22.signature.p7s02~ *H 2o02k10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:A9GgcxhqamC+jbm3moXWK9L8yTpXB6sM2SNZeYY7N1o= 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 240523081220Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" aS G|]X#TcKYe =,05 +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 ? ,3(`NW"-D }/Ь6@/ b??1m>.Rp丟W+99tFC;f*ld&}#p9NY^T'-̔^@ zӞ ;zUmU{tٌ3. ߛo=>A bI0``45&2-rf`dHCqO_ CeOJW5YldϬzf!weOꗵ#c?Swn׋4P RBF}OxdaPV#"0 *H  1 0  *H 010  `He0 *H  0 `Hl010  `He - JvamKi K2%]p%~~>oB@|20240523081220Z `6pqu.حks_jw"ӉX00 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 240523081220Z0+ *H   1000f+2]ΪO@0/ *H  1" 7> ΍2SNV;4w3407 *H  /1(0&0$0" mt"@WhA6oU3M x(0  *H #aghn=:F1Mf\7wdShwh; 2L J*ae@jJoP#}E`n(؆ `B{.öqu~bŠ-1.pCOG_(DӄӧsFc H(Gjw ls\Tϟd(-55X$dIWC1Ǐى݌{~n^ݩk# >mm q҈'OɅ5jtn>/:I H=kG5y{}Vo0i>X.@@0h.w&m25Em%%Xu00VE&BQShLzu6k>V(T ې,PQXkCdmAE.H"\xh daU at{<~W )>xy7;ƅEk:4MzG/R/kQgb6RX03qnGPK@X7G _rels/.relsPK@XE@CBoogie.Model.nuspecPK@Xoj0hlib/net6.0/Boogie.Model.dllPK@XQI V4LICENSE.txtPK@X6h{ 7[Content_Types].xmlPK@XnyqpQ 8package/services/metadata/core-properties/600ce358f1154f75a1499009e0f7737e.psmdcpPK X"229.signature.p7sPKl