PK lXMQ _rels/.relsj1F}{wlXTEoH5Di߾XPJfݞc2Wtkƞ0j9Y$s9IG)K==:] >ZGRflAB}CW_V`3LAsO`5*wN%Ϻ`bmCG 1ƿ,8 1L7!bVV4Vjf+vzy VZquq믊 PK lXk Boogie.Model.nuspec\Rю0|iJz-rrJ{Zu@ʯ' 8egg7;Cي.)mۊ_BE $mXD:- ntKA %PLE,k5dYN2V/"[rv)|HZ.5Z @CE?mw/_wY"KM= t(.0)xzAzdKZևk,лS2jdfd!"9o9Oy|>)pM "_yQz)7J>͢h^yyXjU)aW=X!+wCOPpXQ ^ODm΢nĉ-[t *N4h޼œ~F\|$Sڠ PKlX*¼0hlib/net6.0/Boogie.Model.dll}kx\Ց`Gu[-d[䷬d=eɖlXrԖ-BH&$@$ &L`&0I6d&d"0CvM f۷%B|~+uOթSUNsn˦[A?6?'J{~Sʖ9"Y{mh#O2_Wg'րlfY.[7ks?`<_9^'Z kV)HUjLuéWˎ@a6vX3VY39T+fa>fcXb.6.ڶߣblio]5B= bR>QuFVl!y%h⼔V͎(+ʄwTKqpv5x#Ol.jUSU ۋz u35qemPaf _U~amPU}EE?#, 1l !z]X`0XU$N%*#`Lk "lbZh_mZJY}#@XX-T!)4XCet)-LLѳ}aSAZ*BV>b~2&6fիzceFj95YAy\(c>YV /~|Y3A= ט]ld!Pl*?ss55ɯj%4St\ >K6@UK+`:uˡ1E-,5&Ƙc)cп8O ?@,3]u2%86U@wj=)w~yA /{;vUr@=xΦRNvac*WulCj[ٟTR‡TϨUsZmJ,qh* Έf꠳:{& >#i#PtU.;AY7 5Kl^µ~*ӑvU0ctswmS($h,* Kc.:u5q0-Ɨ5RR$ylP"º_ Ċ╦O[A_EUG<XҤҽE^QbĖ0'eTUh_ĕ_W49G h&6F(QVUhjQBv.Ct;AR4{YC|;fx%”;]WX :E9jU A >d6?g؟GA$0<4>(`WPGȷQ=zs6j vVn݀ 1o;Xjg-"  WWlZB0ќ([Y?Xa#bFy^`-ͳx,mqQ@*Rxa,컿(%ްO3 FaVt/nฅ8nV^gݯ˯(/cS33?ᦙp/֚~4ǩ7_|`gv AUm^ OFYn坦I#~ݹ}°j7 ޥDfeqÒ33EA"qɨߤ;fe3JȠOBEHY8 0ף:7Vat5a;h1pC<+3>6 cͶQZ9(;g5qur!XՋӗzʚՋgX,\9IOfO)2OSWqQ\b^6k.e!Q<6/+^qLj`BM*\-ɩ&©/$p롐UE،O,1$QgtYjzU>7ž=31$˪m{AJ> r(U4y?z:NZ_TkB7r{%/U'Hb\@=5䟅<\U*)'IoZr8"uF9o= YA8a:_tv6vˮ&`M4E4z')8MiQD*o&jۣM9plo9¶˥F&j[Oñ11U+kv\ݛG/? (o:õt/I\Lx5AI7C0}>//'da QͰqVO/< ĝ {jBE?&!Lb0_IҨ/6~gm>Gmx|5Wj;7Q U1O)O2bͨ ض\ SPꮏ9ZUS\};4CUZm^T?1=}Ytd-˥{w*ebP6[Ŕ7 ocP~q>:>|3,H[Q%cN-7Uwa}NP$BENAi֭b8<6BZ 2KL5~s{j ~ nJO g5׺u޷ͼYbCf*<+6IBuj 6%7NHyh^$,cxUrw^Jo zY Ћ{AXwx=M}E7 V7j_-BҬ*@靠Sc^CKy+#V+u"!up )-v8,.ʼ_SnxyKb k>+{h^’J"}Ԧg_؅?I:?%*—,!\ }*ڏ]|]G"vID\q<{_.["V^MzŇCj|?"ҝI1[Sn6ᜩuI}$} qx{Y5Kcst+6*DwėW1Um&.!Rf*ktHv t-& Y WnE|ȱG q'/҈@#.yVo*SɦRho1~C2)K .{»01˪v7Bقi0>ǀBl `|r+tSuI]2NP ƩǵMj8xDEj)R%Gmlj>)1c$ HANM7ݖ|܎˸m:Mlm:Mt8Fm-]W/gq,͍5Omq2nߧ nNܶ7;qKE07 ̳b6`tbtS,wɱ4!;/-b9ke,m|&6'6'EN;DN;hr1w0Ʒ{?^7D_>9d7F?pAD1#9{Eđ/ 1q<=%Oq78km.M\6>xټNEa]VW_TL羇'ZpKB+Tf(Kw߸ ;|ujꙊ%jO4ѥ/g@Ocx]"N)gW̽x]XK32ࣞ| i}D-/{>ccp+3N]Ӧ"R"4Y8m^Yw(x۷(qLwN|a3S}>=49ƵRם# gKcO{Bwz0Nb/ͥjvo~^sٶ >Rȃ&n9][퓈=%~/+ӵ"btTt8.=s5QS{LXW@ x 8]΅Z";XcgM7V0 a󡙱a /m.ƶ--oplƻ(aU[+\ wsqzs3\W7wx \߉֋𯵤g$ 2n{ Q1YhpyCHyY;)AX k̅Gwx c:}:FL}r1WkCKogp"x,RZ8!dwYQ9V+0;g>^QQψE) <[$zƳ40VCc3g_f]W;?FxJ&lWα_ 3vNAK 4ä!<$ 'Xo/:F ku+Ш@kjRݤOyi@۩ġiBi6C|EXvJ&<$#X_p52W؜BHl;~ĮPW>xVbÈW T.vJlY#Z_olJ.c2aƮKxAboleX{N0v-xe߽aWH\`Yc܍1+1~);JߘQ ?;>@ոpA :v1`d΄SMƒO4f?ag} &~1 ARs>}_(Óqۑscb ˘gpo=NB((|-<-<pE0%)? ʕ,'Rf*cyZ} s73`'AU\'˿ᓐcۮg gx(_SFJ7F >V_`/M~{-\(.K/b/_8_Y][ 7)?/ύ۱wzi/ȨoF5GaV<^g Xm]v}9 rpLSWQ~ν^3u쓷')::WWD~|][O yJUS)<4wcWSzGrpV+$ҵ@!]5 (jm:5h2ޢ KgT˸Uk߰t\s^XB=AX0F:<ڬûԛgA[a&8E/+/!a{wz 0 ao 5`>o{ jj~%aA2<zIdx2B`%6dӸI1| y1 _faa ç"ðf?IV6 zJWڠ]ݭ=}I{A{Q9zި]SKD=*w/NG@X00p0f@ 1x+-㷦۳y^|_i~P/gz4~ʛ]Oh/ G v𞢟p\sUquVlUх6`Xi}Xp5f*|Va-Fߵ{J*0؈Pux] K[~;i=n@xI~ua~y+l/xuPK VKW(?o"g M1#rư,Dx9u̦\]H0,DX,FA2!g!'9`rA%r<,:5,3p|?rm__*o(UqQmU;rvAYyUKo?YNEOG[LpR>y;'Ӿ￐/SFrPE{h{m*F ׃AgO)~s TMfS_f^PA-}}e%[;=ag`2&q9:&%}}H:1>fVu=19bF3OM}}tNPqDGF{RP n[0:N'Ƀ ՙNLIĞ\bHkβ۔I氵%P2וKޕ}}HC؆Bc ې$鱆IgF3h#Q\p>"]"iimrl69ܟN\=S$I6gt:CCdKsL ɸXxaۻ0f?C=>TP|Gy\1he"f(e))Jԅ% T"L0ۋAma+R؟⑭h!9L IApG%YK9rpJo1GeOOTB7l-og~⥼@{c-?e\nUK2Kg]XPN>p-sRJQc<\lnKb =+L)X+ٝYĆd ižeݲ$_zm.momo8O|蕊-@`#&4TP$veJM(w!ꈢ C򀪆B(J%ԋ ͫj %! bz/hV"eF"e5)VjF!G7HdjC[hhGC`(5 ^Lw"Jc0(lA1HJN(/+*v8:TݏJNC.5쩖H OŋO>=NfӔwh1=C!iFXEN (?uP*/ tYDe;#@irE:qGhyS YWc3T(M0vL=D"^# `RZy%O \gl>6cw/ + FS 2sv „3K[(鐭ragBf7Ɋ!y#GN^K CQ^dBtYn2v3KO9%kȊ44?ë^Etjt#rNS.16o !o0Y",ApucW)3;%[jr+@% u*/bCNi9 8%pt0ʅbPŬ"L8ThMxVUC;D^q %pU`VbÇWɏHK PPjd/i*cȧbrF }SR( iټ- O:Zi9q҃B2L`dg;YUFhӫ3f)H )XBDhCBW+G;;1_T#7?2ƵvDH)uf0eLя†9:"tw^/'k4v=a'V"ޅp.7Γ&ZVʡn:Xnl,ݱK? xNKeJpotYV-e:JJ3O}2ѿT&03Uh|{C?;ߑ;2ɮquxwO|mPzF[ ߃]+MW>Rgom 4f\@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 lX6h{ [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 lXT]`qpQpackage/services/metadata/core-properties/ed4d147312824d52ac54be8df2141af7.psmdcplQO0͞ݘ 6wY.m߻1FS!'+4*ʥJFvF`Kb\$d3 PΒX:e OV T]׸;nؼ#t"uT1]vMQRm lPR ڤ9)QN%&p5/!qd&Yk U'8XfD隗KvY&x8"pAv\Oq˶r8pDdXuIk >'^WBr6tqcݎC%]e VP9C{ٜp~o譙)#QD~ PK4X&22.signature.p7s02} *H 2n02j10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:Ve4NvQM1KhFSiK2mVVqU1iy9yjfGlB5VKftzghMOARU= 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 240730133838Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" =?YF"pYri^˜105 +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 wy u|M=ۆ4o:f4nFkED4؃X܏[=f: ] z7I#h;kFa(>T7Zc=yi9CLUt@ N[PZp3̉>xmVŔC09!o!λ"EU!nIfvhڸ?n2& [72XTܜmUOу J/x$ug:>B-AIڒwmx|c rm*=X#HCS@.z_ a>Tepj慈8`D1C-&ǷdU,>Uqꯀ)?;͠ YN@VH!0 *H  1 0 *H 010  `He0 *H  0 `Hl010  `He ޛ֛HChyN`*4/J&<{HBwFrC20240730133838Z Qդj(q-(3ɱpԌ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 240730133838Z0+ *H   1000f+2]ΪO@0/ *H  1" , s A3cM45D507 *H  /1(0&0$0" mt"@WhA6oU3M x(0  *H (_Ljof|S8Eձ/ {5|;d 䦚?c޽/.$(rfg:a{ý(`h;kt_ J*nΝlv"zLWr|x0q)q x)6H8U5j$FuVQ~w}K:9EA}b_k9X3 ̚)h GDUj ^ RZdqr@x <#UgIBJr{ $HG <`taۊ{1euO/F^U8|JYhiCK2,lpaȅGVѶ! h!<qjmvˋ2'MN% *ӗl cORCPmꕴy"\NZ!Y_PK lXMQ _rels/.relsPK lXk BBoogie.Model.nuspecPKlX*¼0hlib/net6.0/Boogie.Model.dllPKkXQI L4LICENSE.txtPK lX6h{ 6[Content_Types].xmlPK lXT]`qpQ7package/services/metadata/core-properties/ed4d147312824d52ac54be8df2141af7.psmdcpPK4X&229.signature.p7sPKl