PK#zzYF  _rels/.relsj1F}{wZ\+7 dv 5?$Qڷo(Rh/s>f~'rw-Ttk㆖s?nz5Z$s9IG)K-=:]>ZRa⭃Fi#5*\)o' +1eJ2[ OWTs (y-u-λQlcuYj%(qbc6nB~ (ifSɕ`VC& j'|lĦ{蚆U\VPK#zzYMcBoogie.Model.nuspec\RAn0ύ(EVTuiP(r-H\rC/h;M;;#ο?w'8hViVt{PAȃh#rI0g 7ݥY҂ +Z{@VUqyJr#Qٹ^`<<PѝO_6',^a:qIOE</p-.%a8h1l5R2nl! 9m9Myk]?) pEVJ%d!,+T&-r-V,W q (\ ى~Yw8^Dm6֠v™5[tMUqԝzш;p.d%zeorvi?PKzzY0hlib/net6.0/Boogie.Model.dll}ix\ՑhݥEVw-ٖ-yZ-o2,ɒmoX--7nol !c̒!2IIƒ!d7!dBfB8!Mf{K f۷%Bޟ={N:Uus[6ۮ4Oi?s?/೾oZGRQ#LU$+Le*SٹrJER.=w *J!D A;s-J۪}3N?X?O!'svI>Pz߃O?h"%O~9C"Y{mh#Ot`*_Wg'֠lfY/nе⹙x17P/muLJ5ocs [5:ԫeG;FYDԬXYsUUNdbsQh1\XEmo 1.u@e͞KX k1uUJX"(:#J|b+6cEZ̐DJB>G (:#4?8L?GH*!3-u*e86Y@wj=)w~eA /{v5Sr@=xΥRNvac*WulCj[؟TR‡TϪUsZmJ,qh* Έfꐳ:{& >#i#PLU.7IYշ5Kl^µ*3vu0ctswmS("h,* Kc.:u5q0-/ kI ٠EYu+M/&xWI7J&/ROʨ>fӾ̱++oտ#s(4LhmPU,C&\vh,v*̔J)wͯjYtΓԪR"|l f3pް?H N#y©|KQeoz,Ys ]'\.7M)cBm-b`5k}V>kv<'l*\] 1DxTN|gٴf`9QbbFG'Q^+GÌ:Z\kqg'Xڴる7@`iTzX`q!5˼ah5:#gTFUf yaO>q `jQܬκȯ(/S33?ᦙp/֚~ ǩ7_|`gv AUm^ OF9n坦)#ݹ}԰n7 ޥDfeqÒ33E!"qɨ߬;feͳJȠOBEHY8 0ף:7Vat5a;h1pC<'6 c͎QZ9(;mg5Kqur#XӇӗzʚSKgX,\9)OfOi2RWqQ\b^6k.e!Q<6/+qLj`ڛBM*\-ɩ&©/$p롐5E،/9$|:AϪkD8}1o^=S{:39$˪m{AJ>VP&i@ V.u, | oN~K8_0NČ˹4zk?yTثTS2gOu %sl{.(8eq2 tzz6vˮ!`M E4z')8MiQD*ofkc (|+r!V^}-W(kmWJcһ2?%A7[nS7x ժv;w3V1|fۛaz@s zE 49w }1|c&p0#q GRz6QC99Rns~nk2BVOqV}s\,QVjmyQb^dq4[eET.uޝ[:u@0oS4x9{C/[j8"> mE9W~ޅZ A:v8B AC9QŧYނn8G\ {; 1jqS0,0鞶[՟uSTOOw&Vzj`=֭mg;4`wT9t9IS{ouf .i.t\][. |\hj\.P-A/KUzq/.JhྯZ@yJqg?f*F%W YaYh#tjk(s2b?]);"[׈ҽbΑk 1.( 룼wẽ+ѫ'),y4!|l?@mL|`](c,)|)2hv5>u}bDy[_W55y.outP|>?e-"y?FiΛ*] +a|Ab܇霐x:5^n[~B)TzApxz \>^ަ٪o2*eR9a ]Iu#d!k!m ;!nE{e?TW"?ϊ Me=PcB?-oW]Ơ eieSx7`Yu#Fh[05>g8Qq">U1o\)t9i[Ɖz|p8p}\ 9!!.WH20\-a="n񏋹d#Y@M@ r"15rrw[/aJq;)F.S7I7Z-nԶ^r]m8n7sܞm7nb>.EmԸq~ubEqtSč%N0/RLV,s0ω`0yFӉOS˧|,q삼OD,N|,$t&)t0&t:%tBub1x%c1d>{Ebo1+b|1:uE1T8q[G.s?/,88wGw<`aM|{y8ǽ8"H4y;ѳCEa_QPL羍ۅZpKB+Tf8KCw-ܴ;|oujaGr~LnWREW3'N1<.sw3ot^ b.%mg{|SO>6À=4 1ldg~C'xY^ xΚ!- ʳbmYuSn&i=a̔~o@FpFy xCzqu7C'3楱g;`ODyӇYo1gf:B׀KAEɿ[b8lVr4bOy ߋ;LK`|8}ErTW)P}^*!}{)󡖱)N9-U})HBhflA"halT%K`=c[5Ⱋ:aJ?.^fk"\0}0g;d9u}p z Gx`+/³Z¿В%42tC1kȳ;4 vaJσ}31gA1 z. ?ce 2&Ѫq %˽+ɱ_'= axFGpO4HQ`Vi_'ր[=@SꉡϞE)#܅p6 >+wdaҟB<)7kTSh`?$$K%GnuwB5 S2"bs'8TV&R6/X1X1 U1t([(>+\a#+; /S}_nx ,FV!v`@=UjIl1?\bW [vAV30$k Fʖ 6f@qneĺ$y؈j}Sk)Ʈoz?0b l?k̔ѳf%R8!/p7cwݸI^ oAgn7f]=pIxilEb'\>׃P6?pו8' |a/J%rH`^W?}OW`}QǍy_!8IC%p9pe.E+\ s\VZ 8ya__R/\ 9}p.p.ag 8Tg1dtfɾFɾo? Kׅ}V;0ڹovnp>\;Kmv\kxݵ|ݵv`}uW{6 >gjG6`Nv~NvBK rC]0j?].W;݁<\ xr)q;s:Ag|?ix>˹)]ҲۂKzmOkk0R* rИ.aHc·,{;4<ѽIq9w$_1Dj絩PKs<1Å̽wo(=mk?~s /~H!iH+:ߌޏǏ1P,~wa3v `aLBy}Q |uED׵{0ϙDyT5C{7q/p\/WH~ gEBrʙ\!]UPorƬS<-ʿPF{?\%ˉ@x1% 4 ZiXs/:Kpuf#>M028pBx9|aCԣe b,ciAxnPU3u/E ;1|! 4N#=^hl%O!|!V2lcxi0{fga>efm 1| !< nw*m5TϨPk{ǵk/h/j>O՗[?]CSD=*w/NG@X00p0f@ 1x+-㷦?۳^ }i~SOgz4~ʛ-Oj/ n+z}E?yOmg~B?W9"٪x #lUZTXzkU 1؄Pux] [Q~;i=nDxI+uA~y;\/xuQK VK(?o g M1=rư,Fx9u2̥\]HY0,FX,EA2!g!'9`rA%r,: 5[|{7(^U~J1ըHVSQTTJ==}S{Uַ7ѿ?dW㷚|)5wN}1퓗_0C9 Q9/T΍b=L3'RZX\y ?W!~PzbK[ZW47@^;K8(w4Qkg&YCt+c4u<.AhLeGӉ D6۴d稕Nl ?17'9JC'iM厴íC(1oiTKaX:H'5BwWfl$i;{(i'{r9Fls"{'T\w.9BzWyc %dc*HeۗCw&״m&J'xN`P$Fm;1~)]#LARt*W36ͥrԤjqX%GOjJi1wEJiNM:8Iҳ [[((0F#s,{ܚ @Wfh/si \;ɣҸ:O5cL;2w ="S:(aKhmOtWxCfw:+{&yX]nGFE`rԡZ*(ر;ClKAǍ@4*>w˰G=3mˁ ɓ9*P\c4a7&q;}+/7'2CX #b[ RMkuqno_*_[qT\7( ?:x?։Tb8cN_ N)IS,g f  FgSd> 44 ݘGY9 jQx聮Q&Jhi]ߟ;Žcc@tȖ<{q͐L.AE0$SF+u)-mGQtel+pasػ-81݅-%f,=1Hwz:N ZAqέknLɓWq,uӋJ{Xi:-nr<ݞk n$Mͷ0Ia!Km |?fja=|6AE(c>ʪE? QJ=)Jԅ%T"L0KAma+R؟⑭ha9L܍KI!pG%YK9rpJo1GeOOT6[Qxi&1%::Z%@i%;eĜJ9,[Mqt@/+\ȏhqh`VӢz3k&/iMz*_Җk4qcH! 59"-'jCMqLr?0 kК2nZ)G߇rG\K.z"F6ðE2j0;•6p^CM4I+A| PS#5[YūYApj2#؀v9)y!wG Q{Ԛ]ɢ!?dW#e<=&RYPWR:ղ7sħZpq*cVAH8q0KI#0k!~⥼@{Nb-X8d\nUK2K\\APN?t-rRJ1<#\lnKb =+L)X+ٝYĆT ž[nY/6ϻ;Puw%_JExTJ(DHTcf %ҦWBvrĻVuDQD Sz!y@UC!ņAQ5lkc|=3튗FU4+2T#e2sfdy+U5 QD U BJE2-43)NTf%ӱAznLbjE%'Ŋf;xPG b%OeaTK'jM 'FBsiJ;~4#TV6͂yO"-"B-F9~ݦ|hfH$P`\::zx ZpxT§?Janj3J SkÈA0eew9+І qbtHF!`#zxFFcă8݌RSN ϷQ.qL8Jej'^èWXuDhq`6inCތ8eLw:̋֎tihB<$VlY*˝tc$§o;&Q#O(@ xNA#Oaba h6;"}kZC}C}fʊ#e5dEreNPU "_5B9})fKd7,^CQ͔^V "PICʋ)ؐoSuqeN%b \#rB1bVb& ~Na< RĪ"EM*D0++PGHe((MI5ڴapS1kQ憾m_A\ޖ'-4Bdc8A~|@I!&x0hэ*UeiUJ^$`UA,!"!ܫ }^5Nn2WGlDVA>OSn{WNȷ뎯k@yiD%r0VP+N&i[QTuW6J LllZrhy`aPSssqusbWZiє7ܰZ䨕M,{|^t$ͮN厌 Z#<ֲeSh|廍7K|_ +c/jaiДo]7;eN#!*fQw-~0x* z:{6_R]wW>C2X#z{,IҳΣlt5pULL2)R?ln_rH]{XԷoΖV3ֵvDL%RxbV'y{1ʘ> )s/ ty%C}POh/h{f?.؅nmGF]迺@rohz)vi[d{"otǦ{.,Q|(p{ Ǘ\,)< ?+bDRH# W t`wr"#owt]ٟXA]{-ۄ#V@?XVo-2|v|']uLKU@/h(z鿅uؚte_)Cxk;vtrxY]\lSJif\p4!%Ҹf_OU! pLoo_?_PKzzYQI 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#zzY6h{ [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#zzY6"ooQpackage/services/metadata/core-properties/7d640d4f552a4c70ada3cbb0e0a83374.psmdcplR]o0}W4S20/V qtt꓏ہA-nZU jSPg;f:G9uMa4/!qb&h ]gp̈5KI9Lf9"p[Av;e$ "k p6plZ|sMv 8HmnqoR³1z *g}usPq`)9{>CF㣈7PK:zY]|2|2.signature.p7s02x *H 2i02e10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:p2Xpn6cNelZ8xVmp7glfrer//6/Em2yw4Z43tquXYbE= 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 241126152230Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" #rk 04Se8xMz6OK05 +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 x6TF<.$Pv5<Km_[u>W&W*سOǔ]WD4tfҍᲒ܋%&Ցtxƃ#^E͹`mkՁ0%][+af+/?yДy4)RSi}AIu:L)ix/i{)%~e=SyxF,o )Jv}U-zMudbÌ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 241126152230Z0+ *H   1000Ӆb>{qHP$Ն[E0/ *H  1" s::Fxѕ=Nyt~{07 *H  /1(0&0$0" vvc/C :#0VuseC0  *H # .Y~ϗ{qƕl. Ak6\xY(oT/ȽHA ayB.xf Y],ۉʩ%3dxrT&o9qTPK#zzYF  _rels/.relsPK#zzYMcCBoogie.Model.nuspecPKzzY0hlib/net6.0/Boogie.Model.dllPKzzYQI J4LICENSE.txtPK#zzY6h{ 6[Content_Types].xmlPK#zzY6"ooQ7package/services/metadata/core-properties/7d640d4f552a4c70ada3cbb0e0a83374.psmdcpPK:zY]|2|29.signature.p7sPKl