PK[DE _rels/.relsj0}{{6D]F|,=aMNH l}r}`\LpNSos _fN*rd|dW;SJ Z3v(XbFa !j1e?@i7q#" $X̀1qvTaqWq9zԜ?줐wg߷ gjI*)py `MG wFVFndPJWyJXEYmQlenۯ%<PK[OYg$Boogie.Model.nuspecRn0+,6t[9e B>'Yk;'k$~%qxZKAƻ,ڸ=;P]Nl u'NZF|q dgw}@!jZ]"Z@%ʩ D]o ^Iª-+X!s4e'b \/]kJZ z|8~|d8 5j.s.ϒk(BV_ Iާd˝JG>Idc>IBc?ͮ>S^Ф#%ʷLVwPBuQhN2fQW8 NH~" [ùpDz9\#1)e >͹Q{c7N dz0 ῾|0Y0/k)CPK[H^3jlib/net8.0/Boogie.Model.dll}{x\Wuos3gFc͌4mI,۱Ǒeɶ_NJ#Xx4grf( 2IHRq* iJB^h p)@[kyvwwkZkv4: g^EF'.~FdzdsǽDr4ϻ䈓&l>ٿgrs:e>Naϗ%ɐF 2XuW^H%C\z}8+ X5v%g2Fzװ8Q:6;t%K.Va+nms:,;=R͔S &. {^W."Bf7 BKTiZ;GofMUPRҼ-!Q-Kr#ѵL3̘H-#z3OЪy++\6k^"HtiF!jV_lhVrDh&R3݀*b;=LfKjN@K{Ԋ%튆s1O&nӼ=*ieՎ+- a,(⺔Q)0|Ӏ]` whxDx.I *එIS0Bflh5vet;[NQ*0ՀmZJ{"T׷U#Hg#ݭAmaZg+jjFtQ )4аT^b~:J_wbHp F >|"w$+Ƽ/(W4i,)d)I~YUTf]ej^O[q)l*P+k5G|,;K&TyQ >.TVJz5n/Q7\ޯhm4W+&6Ȯ-N mJEqqSQ MkmsDj8iclP#+ cD{{T6=-=ZKHQeL 7Qӝ ŕ 'i*0K+Zj}bLF-6b:E)j{<:%ҢVTVNMQ/ODIZHLJ+Try5=eԠSH",8h:DQ'_`}_eSįƙafT(3Qƛxgsm@G3& Rfd0^sڟ6 a;Lox'*07W; ^Td/\ Bh=G )=,( ̣MřuAށ+?H㐂x]jdn^XpAFM=Wv5jc۞TANvޅVFrGnQ&sƆ#.\4wg3ny Wͼ@2ާ%`pyq{Fi.g6MC[Qă`J:r!Lo{Ѷ_*S+QzbVFvԮ1e<㛺8*n߰r\DXF s)Y"E"eYZYs||SU9UY…hXm0һ',^Gug4 v'ږ-}^BVnСamD4u`)/ eZӴSTm7o j3!I0=So$a* R&I[ɽZZiwX#GoR;Z7u 9E]h7ϴSn g@ϮyYT7ChjMioָ ǡvdPB1pƄbSy1ܾқ!hU7ZqrG&iPN}} ~k-E>͌su<(Zx̊&ܤt`״y& Kg- >m֤J 2٘&Wt {hY|[4"˄cƠ0[ݟ]͘H˛s8XT=ʩs\7Y*Zo5et> <]eD5IxH]GOgKۧ @#퉝й냆Vzq:ٶ/?NC)vЁU~=d/:OZUU^zGD͹<هoR7SU5'5p_+ t~OԒ 6ꫥw@4ahcTghgKE?P&XY˸ru qF &2U!\8z]MuPw$Fz~T،iQ㱎@"HEC#v碁HT͗ДT\$qVܾ\)L Q1-j`.j7 l ELE}RQQUPqjH#\'{ :?H+;9*'ҭzL >=WUv/[Әz JO˘YQ*\s}N]b.f5(&imMkBo$Z.Og+yњhy$@LktkT7рY!A5nj:MB&|*>MM2Ms8LOp.F/J/Y%|L-BѼ0BGhIo_sԦPNurqz7ΠKt*D A qA˩5|f}g=S򣝞kVEFwZoV41֞I78H-uc8ԖwѪU}y늉 )Hd:pC1:KZŖU>3_LK3S%.yzIcz}T*)$OLTU<^cU{y483tiںп&[q#Xjn4u8gʔ/{iit#gF~B#Q;Txfe6uJdRR %ib. J'ɺ { N_ETMLd[SsV|^[n¦Qh3}.ՄJs$+~?s0+,sf9E6evdBqxlC=9$M)r9g&k[^` έmgwaga>> )Ͷqs~FF.[\K_t"7WuAΔV ?95)~Ldk/sy@q(?~|R%_V|FeO$G fqkŏSD4ipHzqgՋk^Տ;/]~~|ŏDSVٲQi!*ԡK_>GbPuX=}>T|R?|kQHNTh~nsBNsUnM_%/yJ%_ՓzP_~?/AկZ0ۯ VޣZZY~>߯d>rr\G>{7/}_'O'vtvtwvw&{—KvKl~HJ&hT[~nKrt\~OV\= 0)`F75 c5 |QH%V˭GjA$"BsW6A3~hϙ1Qh6-j@vJ% eM~z.P0GɟzǻF3+A6{-0X),Qw,bH㣒N`IAg,KvSA =TP7CQXLcCG Vj tIA8n.?uЃu8Mgzp%& h-[1~܉71 > xs ۞ܣMޥXwVYrL'``YmG^p^>xY{2ЀTʟk ,w1O>88&O?*\AC ̇~t`>  kOV`Ian0 8mV4sPf"_,X].|&\`I bxG螀_'ox1r9!HSᩀO[Gi@hgKϙυ@=ЌK)"\~\@֥"|^g@Q=֫7w wn@{8p!P. n0$^[ _k4Сk29>/<|[Y)Zgy._1?/ ǫ BP#(VAsc>B _ "~wЂCw6 ~hey_2bOIZCĮKXC5ps 2Z+cRCPkx355 7UF e߬L_*/ik(ѸL=]몔XJىw)(щ/N,^|{8Q |&Ѕ4 GWyTZc8X>\>T7@n0>scyt=4WVz܄}hK_s ~C{-2}8їn1"Eg\oc%Cu 6>nMձ_oαkCg}ְVk#-a{Ṅ1>>3g&DZ>c>zs7Z=ay->is^\^\͟}EbO-u*7W+C|h>dqu"~x9tM`;bn0-a/ ƀL=n _ Q-~tnZ3>T ^#Rou7U=o3t')F|&p~[s[z0zcm_Ua\Ws}U=x_Uϣ@_UzU *}lJ_>4W _>W]Ucx*]T1Gצ,t+tʿ6 X6L[x-lÇW ǐx" f>kf-n~|nx5}Cc\ˢ/fp6!絵A,WdcXJ ba*bADߎĺ9}澷cE|700<ןq%gSrP01(Lon§@6|@Vz>"_`%k#Or /Em.k;$n ]h/b~(^J+`YkN 0eCcYE҆C3\ޥ-CK>-ʭQqs+8^amk ʼnWXWxP^'ZA|X |x"T UoĿEo$k YmZfmdmx(V&1҆Mb-rys' X8!l X8?`a  DZ;`!  (~@@!ju`)qՁnL[o:gu|~.%kT1p'\.5ʥ\'˪ur22e/G,2 \r˳\>hbLQ.g+kOi}YCI_oѷY]@C`A`I`e@B&`#lBˆsA= 8ф&E3c.׀'LП#L'2]6.?Q> }>X!} <~,֝4H r,C$Rzg]Cb-A6Ab#B*̇D/ݿ  ϷX A,ɕ8 A'da{-b5$&7i[p$JHW/cXF#r4⟱xЈM b43891lڜ泥l&WAnulx)9cR(8m7)p_fD6?-T,l~ 9gɗaSeFlwJ[1[t:\w<`0=F)"Iz؅,A\z<wTKh;&;Ű-Ɍ}Rv>'33wZ.S,q%ϭ97X;v WTre-COrHTܡ [='Sr5S(MzAN6m.rĖbљɝ2cRfKeG&;Q#,SrƪM8Rŕ@Sf} [EԴgveFg52޸Se&[]2oGvl_*e[6tbֽL`)kRmuDzU9g9S&sNb1>'kKܱRaoLl̩0Qkb|);eK5'GlGП)eҩ ؑ)*@%Udo)hƜiߗ͏eIفZ&2=y~uږBШ֘(c+S=N'?^:T{ͼvsrgg,H_, Oa:xunVUm8-TVOrQLsc~n48QPym)' כ9-ms'5ȾRl'ao2\6v)SQڕ)`[ on)ʚoxgK~lkx*=s[AQMfs Kθ9̕ n"ܑɏ'we Gfw{㡐z߰uԬ.^-|_UV۝of["Z&1ʏ>^vkM63whYQΟdv)rs9'ЫVUnIwEx0eI!mf#x/kЗ):k Σdfhp)91Dv10Q(ZMge2+fJ2 cpO8y/e(:9㓹7p[sPTZX2buG)f+P۝Xz w"J_JEgܹ |j;.oTܑ)i%GSjC휪$oɟ[湘-q}0!VͣZR(| aW C9_ nDyF@; 4;W0:ю܈V,䞋bT hG#+^cjw U)\&Z,?DA8OX#DLEQ_m26N8gJ7#|an-tkk0*XOK&N@[)7bVvcowt*N_ [z:TNߩ1?NKJfҐafnFD7b3oL3 ~{fzucAP.0ьN+y~P3b|fI,):IA I]7#L)Ŕ+ %X/M4\Q@CQnT#~BS %PSV`RQ,=h,bVLj(iEYްBN@X%T T57I`?-"IRb6H uRo$L l^|ʐc(AvzP^ҧeJW*JBLj)Xz f-!I|N_^fiBͫo9k?B߱b rjgz;&y[M1Nzjjw~|; g]Fǖ5×ח/?P3_e-W{2aP᭮ןd(+KE߮O6 #:k~FF_v9A `c{nlSu|*O..]ghې3KeFʩ_#ΥrLYo-F:`g\ ۿW\|./u|BCakׁ]s>V hVۍ}BX0j|-YCΗ}^n'1PoqXqNױ=>Ie]!V{Ne |}-^l7b%}/TNizoN8XXQƭ:\'5؀ _7:х19}tGtX~m=f~4PK{[QI LICENSE.txtUR͎*fVh;&16D4ұɘ+D@:d+}uN2~E?'T>\}+!lYP"63!0hhh pq1:E6;^ð&;Qg^-Ew\m~?n}ŀ_$."+yŰNb0vk*pvfLvXV=4[fRpcFpܦ⣽{pGɓ[(ɝciqq\>ݒXrwdgue&KH#̋_qٖ#zJS_~\v!/X}r=r럻>Zq'Np+e!vB6Ӱ&7,P?K&4ژN5FqQ{ӚIsڀ#?w=&۵BVrT5B&|@ gaҰ s#yߓ`1mDonw`TRȍr;.3T?4ֶMtWQmcШ G+KQUDGQm: eCݡD`JfFPՃ9Ӣρl(rjG$QrE(]}yk9kg?PK[6h{ [Content_Types].xmlAN0}Oay[%NY t܀ X$GIenڲB ǚМH4CYis`}gS vUG$j9U\>]ݻIw0 ռTPyf`=35fr'@'KFȲ q),i 7' P4O҄xAAo?ڴ C@.׎PK[\qoQpackage/services/metadata/core-properties/7755875e8c8746c8b76aea4ac51497e7.psmdcplQo  qmMܖ=lͲW[%Rhvj5\WdADÀV*ς4TXkg+pSIjXU;M3)h(gXг:'O^T4;n^~nJ>R#7;S[9軄#CK J18Z/+HCJH© 5M^ .6%*ܲJu.yL't۶pn>OYl{\Zf9_tQ+-M:F1hH^j@!Y;&]O' q䙮޶dH$0eM PKI[22.signature.p7s02 *H 20210  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:CzbFh+IU4JrP1Q5XjtdqfdgPRAtcS2+0/97753+SS8E= 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 250807025017Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" 0)`9 'ۺފr]vw05 +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 i$L< [g*Uf*4 vf zNÐ`bN\9/'V=1г}ga6V7ƋѹR *4 a=uto0 X<$ `Oj+;N2aGE;q aׅJ"Cb0?'xeWKԱc+0A)K,QqF~e%jO3]@< }\cFi)$}8ʝ4[??hD:}/ "%^~E0S#{]-UP pn9ߤp}]p\lɪ>'̤v]ۭ \ΡX0T *H  1C0? *H 00,10  `He0 *H  0 `Hl010  `He eN 2QlE 0=Bc.FFáh7+y20250807025017Z #H۠Y@y Iwr:\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^(⹔00 ǬW!.@C" :I0  *H  0b1 0 UUS10U  DigiCert Inc10U www.digicert.com1!0UDigiCert Trusted Root G40 250507000000Z 380114235959Z0i1 0 UUS10U DigiCert, Inc.1A0?U8DigiCert Trusted G4 TimeStamping RSA4096 SHA256 2025 CA10"0  *H 0 x1 Aran@AvÄ -To2Ab "9/hO|Iƥ5P.rϧ5fPJ%d1qKв@AqտÌ 5&V}2gEA|8zX1 ^V/'Os<3.;bOޅ[ʈ1΁iZJ3fڠ>TxF4X(它_)k cS]0Y0U00UoSJ|zV/IN0U#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  =vq0 ȵ4Їň0OÛ\sLci] Pk3j$<HK~wa8!PE+Iy,-rS>4ĸc¿ ɿkR|7A+Gj{nXX ?Ѷrԋ|u5ӚB6Ttd ٮ/56W1tI SJSAŸg/1[3zξZ>϶H]4M.ڈ6Dwj|[f(}3-Fb :U|r*Cc\2SLev:weԦINo84s[1etrFa:m1&vdwiGA%7,%g̈=/&>X(,1ȟ!yL?00t-zؒKP tZȈ傝VR3&lšm6֐O\00ՠ Kvth0  *H  0i1 0 UUS10U DigiCert, Inc.1A0?U8DigiCert Trusted G4 TimeStamping RSA4096 SHA256 2025 CA10 250604000000Z 360903235959Z0c1 0 UUS10U DigiCert, Inc.1;09U2DigiCert SHA256 RSA4096 Timestamp Responder 2025 10"0  *H 0 F-ƞ`V+WoQp 7B0c2q Lpl|H狦gM19D':z]]KW%t$l$Ԇ6,jE@ꌘI-4Ac_;v3rM;3x9M@+FTAMGq'Ild<8+ AyJ"8(s>̠z+(JFએ2_sjK@*^(qQ%NɅD,?PaYv-uUKM-LRm)Nkx7>Ʀ`@[HMxQ?eu.1ZsԄ7)-}Aed~+70:)mhK5vvalTʯ̏}ȍYB+B&\$,QPK[DE _rels/.relsPK[OYg$CBoogie.Model.nuspecPK[H^3j+lib/net8.0/Boogie.Model.dllPK{[QI 6LICENSE.txtPK[6h{ x9[Content_Types].xmlPK[\qoQ:package/services/metadata/core-properties/7755875e8c8746c8b76aea4ac51497e7.psmdcpPKI[22a<.signature.p7sPKEo