PKGOYg _rels/.rels]k0!6mM;bn?pLO0Aeˆe 9rV7}&WAY<㔠Wfl%nֳI $1&t=1BfG@ˆl{]yВR1V|)[2q45`[:kGY?!3PRҷ-v_u?FW?1B'G.7_ KΡidU NCqZ/KwXv7*!bUq~PKGOYLBoogie.BaseTypes.nuspec\RQ0SXflV rHH+'Ķ \p]YV@뗏ç/ ',}=7b$!0΃/7ʭx/ ,s;kR٠sid2YBDcsls.])𠱢y+QBE+ʦl7jSirh XvSl i^A;^ SE &ZJ{]}&ZU4ooA/$Ä3ӻ.;d?nԽzΈ3rn"%ie!_PKFOY ͺ1,dlib/net6.0/Boogie.BaseTypes.dll|}|\ő`73Xl˖=}Z#YlcƲ1f$=Ƀȶ $1$@p@X , , @Ȇ&{,a!! wK.l[UoÄdoiߌԹ:@< u> | #ֻPOJ:I|mռ(s*/[|IN~j,T3pee&ZtA=Q3\'-Suzh j8BtWе u$&9fҳ 8QZ9Flkf +!ՊكfzI|뵠Yk鹈WF̘AkI#rbHòv@Ӥ'=a#i23ɶL91Ey.뼹g0ӌi 9f٨@zyl)b2\3VVM58SMO|&ڔօ!}0UC4+1te@c6vd0mv?בy-\PGjH-okmUcI*s?N[}g/Eтע~o򸝳[4 s>LFIjr҃3ʠI7hf-AK,5v1F5-#h-X ;E>+Lșά3n*X](ث&Q8JMi-}1Npn~+h$}^ڗ[lN$[i5ەmׂV-.ԥI;5d<4r p~(ditk d IgEQR`עҁqy'V #:-j s0O9t*+VtGRgfZz8F:1 E jUN+%zD6DYR=q֐ג #zaP}&w"@j4'P'̪ѼzvyOA #bm@rYsشbj3Flc\E-ӄ9{1&FĶ"+R%eDVm&^)NƵQTSSMX J=Jޏ4*ܩޱ FKFlLJq!+;(<BC"n.(D Q" Pj$V3od OOxb݄Lrln!E-rA`I NyO)j b(vXj iVZdqkj qɣ.&QHY^laq\bhG"FO֊鮦1r9#bu%8":R#V+],#+g-ITŸ@0qCv'% ݔ7bxu\zI `7MZ]΍3fTpS":ՌK Eirsvfڸi$>=)m*X"kTeIqbsՊu6v}4ӹ^" Gd}4K)LZcx 0`5 JPPB@pX@_6"K {:f! YBgg=4qKx^qyRqcP-ҜOoF22&<ujy,4 42}_#?χP7a 'pԫ| QنNxӥ1yg,jBՒȑH$ZR\4R)(()VϊDciAJH1HqDp{#U1Zq,(N%6a<RUBn-qSrRxk/ j$tB^9AcwT^ϽHsw3az40$uz4Ʈ4LHY_B'^9Q13Lp8;ΌէK{dN4[v xq;҂m(4 xJT?!NK*%,b!gGdK}4rmz˰ x)⧮L@Y~BNm"e䡩1XqS'$N*>BM\- Կy_Qa I|6ɇFK]]h:r/~5g4^x2"2W0l#UQx ̅"vɜMŖcYΟz_jL-abTYs$Y&kE ȭ3 ƃx|&45a!XҞJ茶.!GnvY7.BA>D4cr~i)Fh=M bT%Hw8ރ|\ ȿmT)'!Ɣ^}MmrNR\բ_ &Ȱ}2c/*vPd~ ԗ#!(tjj%}E)(Fѧ"e{'䯦t{Όj%Zy * Z<]}5b DZY Sd;zڝ u=G)8s qzguA~8OlЩʩ'b#PkI{G^щA^ڟ'YIg}x!L{MZb'/m &'L&}b2YyڈE)̆^<6 WhB͇҉bU'sZE@DƎUil:) Y/sCQb@_6ith2%JX`UMȧM ՜U5cLMA O)n~„Ev}R_\c7A(].8k#62 >)"tzڣ p {ŏG`yYO v,W~E̦)c{޵4=&M TJ\+y Q9C}bRs}^*jYT޿BVG]IS S#lʸл)î Γk{ f ]yx<*Xm|F瘕}(g<"n~`Ts*1&Čz&a\ifݴ.5(z]>KT-]Mx) srn)RU٘;Gb5XI{}}h~}h۾*ko}բL7\q㚅t^f9ʌ}Y,'Q*H VĮA81}-wwm]MX^큥͍Ka`yq_em^WM3q?umlH|x޺m`S5]7s)tїFgG7jKn7SUS, ! 1#6haۄWkMz跫uԺLI%5?dxӯ  |0qjv"B*%jaB/ tyu@qJ,4:&\OX?p.O͚\4aJ3ͤ^qԩoBI Dˤ(~[}R)sᤲw!6;xx. dCa6d ¦vEJVd/GAk  hsu{9b!.3x2^yW/3R\[RZG>䧾_DN%0piyZSK_#L0gR[0=gï1|78׶ '&[;UE؈hCLW8kS0 = *bJ,qb t|/˰͂sf?Yݤvj ņj\Oٷ]zea4 ]HV3swʅJg@A#z'?{S +2Ԋvû{P ~\mDt=m0Y2]5,FvG4?Wg r8$d߁z9[W1lYbc"Sb-ts!aWV3 ٳJH`(=3(oYwQRog}ךk*8:j6}|[bU*a?v7%vBw}KBx4V&a<`^RNGP,*euP+WkہXbS2pk%z,;z>:|t\ok=}\_S9pM_yACccaGcc{My l[-oZ<ߧ_.,~ܳ}ъu7ҳCF(=ϳz';ϳf8|gG <>wy}TUu/큁UD,#[; OZYp~\uxCbQqU%`fZs,XBmomQ1Zcm{vyO{vyO{s9?Ax77r'6wv f/6жNح `V1%tNy1Q؍m^LL7pӍLӍ *E6 J9{qZ[\c 6Hlupq3xB`Fc;1x~ڋQX{1X{尹݋+݋+a]Up{{>{u UP&'e)+alsviw5B筷k f*ƵеV>^4؅YOz۞_nzxqm>>6K7uy-x#ؓ9k6;(0xJsVkME}(4n%we.ﱛy*c뽨Ka^,u7Cz/꺍[`z/"[^ vÛ=6nN(<۸:mM7w<1j|7vC޺A׆]<1GG/ *(_zس}x.9Jvr0ɘ8=aJq`̈́Ntxʢ:}K&aO)URogX }.]2vc@2cS((W@ oU?J݄n1ްI] Z*V:?~Di+Xk=䡻q{ҎKߡ^a#^6)|[r%ϷSN*] NJ*pP|PP~'G:֟WzS9]}!%|PM_pl'/n(Ox`H (fJ 2*n9/竤|*C8O%2Jx!Cن:\~{<^ &2FX (;XÁo$]e < rdH3iw9JLy(S+il+%H#=I;ʃX+dXu(fZ5KvwU[V.GH!_V>^iT7jH[vh5GƴSڵ c:f o2b) ~p-S *F&rxe((q*$\P=fp)z2gЧaTa7XK`=(ma )X,B8yU*T\ ?VI3a,ܫY\7s,Bx fcF r> !lDMQãPR*Ph+9nyu~\=v-Χ^&^f,tXf`}{,i+ֺax^IXvDsMrXlLft{:Rlst&e;- Cv4wit't*!ֱiO=MKa,%`Egt9njΎMۺl޴1|wokn[wT6$`ث>hK;}5:CC_7#{ڒكɌӚLr0H%:2`1dρuNv}"wu߁T?ڭR'ޕpHDjyGWSD2XgMgtz0@wbkRi9dPwJ7dH:u5Ӟ%DNz(ZdXmN$'FTےp33ȢCYE& Jk& u:D"hbfi~#!e"k$E4OPw2'w'\v}7ؑH 3r'.囷:#~8N~DfYVg(qk#nq1S2Matf6e+^cp2%k]ل\j2Xoubh7ѷX[e(Iv]D1gs r{o"]TP7:Nl:4b׷%22H$GbWSڦa"V1伆Ռ(+du pͬnqܞIy-x;7jowܧ>>HRC%rx{21JgDd6Qƻ@-7̤0d9o\\Ul&N1q!Z O\P{r0#>.⹦yTthȼ֚YE 6ts v :(`P R.rnFx!iG} m-F>RH4u\*Z >(q-R]smJy`]z.صԹ5QBBӍ2֍kD֏ثbZ(ߋr~lI?2F3ӈUx)^D"#- N"aaZ4D7c'"yl"1:E{ak))c<\Pm( 45eRE9rJYaZ+ cԱ"0L"40*ViRB WxT$UT%k%R8X)(*.ţlQ**+gwWEnb/c^7}0 ?+ߴ{uu6P+>'k;3>P{7eZM?oC Vn)@#n#Clt~&[y͒cz:؆[ҏw>L6?>2&Z0or~7&ф= ca9Zlԇ8E 2VzkIaB?D׈ۦg?^PKFOYQI 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Ր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¯ZwymPKGOYulgrsQpackage/services/metadata/core-properties/e908400a99c54ababf3bf187a036795d.psmdcplR]o }W>+X;ŵ5q[iL4^JlUhW;,=!|EettHiP>gD kkJN/8" Ε3Ah,! z[࿂gT=kZG-o2cG(Hit\ T[oU{dol%'~)f8.㬙lTـD˜ݔ:Vο\&O?VrdJQ{WoK JnFeEԯ] tKm,aG=⒭ptQ\-Ҧ!yRi蓢!yrWYH5T|H.W.[sFnOc.]=o!dB s aNPK/OYY4{2{2.signature.p7s02w *H 2h02d10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:7mNra3qHh8mjTsPuJ9ywEJZG3A2MWgnhP4edbyNZOhE= 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 241015090130Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" ( L!ٵ"*-`xɖ? j05 +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 ~;`U>lpJmC$]/RXvwњaGmnј>%&Wr62o#PZ%KJQ/k/n)&* n `[pAԲsĬ2G8@]{ { AzHٯ)N@/<1~2,>!\=>PB(3k), A-`L,eVPBtў eAu"|5[ }wۍxAS֘yw3!pJQ4 ](%HtJdqr49T13ԭ;J2,9|Gz q:yEy1{YY?;E(g(#S^c9x^tb;0 *H  10 *H 010  `He0 *H  0 `Hl010  `He U(|%L#i<^sp;%M8 tW$ ~U C20241015090130Z ;{N~%W8䐬6Q;gXi00 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 241015090130Z0+ *H   1000Ӆb>{qHP$Ն[E0/ *H  1" ˋ]3|6bp? Bȍ07 *H  /1(0&0$0" vvc/C :#0VuseC0  *H 'G ت'EM};9] 5ֹ+Z-yyY_tz <Dzd馴V* orMg,p% IzqlzN 9Hو#Q-qQ܎Q}'_~ @b<߇E{0bkL_CX>5O?7_NqO58)'Q?[)~3 sB.=*0TVm+GgBğ x3Zg pqY-57qT Q>{\jDWPG? Y0Kڭ(Z3;QH zߘ+_n}t3i Zw2|(S.sL3\*oܚ"24yɯ]f>" h6KnU2w^ ~AiyǖjߢǏPKGOYg _rels/.relsPKGOYLDBoogie.BaseTypes.nuspecPKFOY ͺ1,d$lib/net6.0/Boogie.BaseTypes.dllPKFOYQI /LICENSE.txtPKGOY6h{ =2[Content_Types].xmlPKGOYulgrsQE3package/services/metadata/core-properties/e908400a99c54ababf3bf187a036795d.psmdcpPK/OYY4{2{2&5.signature.p7sPKg