PKWi# _rels/.relsn0E|=qWEI ߨ.G3^bugrŘwtkㆎ^r?mj9Y y67hb%W?PKWČ +lib/net6.0/Boogie.CodeContractsExtender.dllXkl>3;NuBp`!:%MBx=0;:Bj"@U[ъV %TET-mU(ZUJ[% r9|{>~ QŋDOWvcx/{ΖŶY݉dl+e+鈪FZΚ݌&"i+E D{W}E*Q@'$7QAßdP+^*wL 2HKaY=D 'ɇK)ڼ:Y/PpvlDlx 5RXYW]{x > rrh7p̅ PɎ1FԱ[:&=Ɏ@g@,7^q|mDOt504i@&1]+wut[0o 2EVy#Yyj>d(V2ExˏƫY8Q&\.I$[s}X7=$!2@D~ kpmL9LL*oߴ_{`$]s(ݰV.-Ôߥ^NY f<Kқ3*u,*<џS`>` Yɫa6@ˌnt>. NjЯD_ZN Hb|$t( 0lXS黤 -ICs@]-yhUC jJ!zhV{/k8zExiq.J"}VxihLqe82qGzt ]Anh8t7cN{ Hgiعw@L߅ń@{C?@w N%xz %ө<-fy. yqb-P@*)? t"TW Kt^g=j(jVЧObmPY-BP[2">]- =?q-qM&J9ќũ~#R1NtTӒrmEur+(̜nPmUg|k겸-XX.bbr'tCw}IuS4qX1`f/xlRi`ݖH,+kKI-?yW3M@͈͜ Hj~/uyUpEe. pZPT(Dq]I㭀C ͞1bW`8JrrC+:fRXxn:˜5Q؎peFPih,q+|kYsNut)h6b pAB8AXm7[%=59 ~QVuO>ܳm,E F$4wLm-ա,UWS k%zVb-55,7] '6 ʭ*F ֤za.F Ւ \FϫX_5w|xdjr4=\R#Q+kdzV=X4mYABJ`d NZ8e9rK ZZJ%-MM7J3_uđ`}YsttxrȲLSlɫFcpPݐ?o㺓? XZD`Q!QEx'8| #(Vg (׫&d_U=J[&j ؏ lcfm]])ݝ&Jp-;%Xo]SI7rp/C=x 6sxނ-bH'uo|4éo5k.;k,bIQ +kZײ#vvtw]x$q3سe+XE,o'_9zɗu`_o!e^?">DvT<|ămټŖ¾޸L9}|t1}us?^(|)?TYY)ABI3ce=o5 B., ]$ '<4&6QpEp#/|6i>0"HQ8AkaoQQ;㐲YߝԵ(&\@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ՐPKW6h{ [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¯ZwymPKW{}Qpackage/services/metadata/core-properties/279799f18b17426d9a547dba7a09dc49.psmdcpl]O0ͮݘm& B!$mmذK{1xמ>oGSON Z! *܏f}6H vs)3VV6 r(@cXklL<9ի꺦uavȵ צjtCőqK5ʾ H18-9(HUSHpª7yȵÔQ{o4Fꄠ%6t,!Mڤp.KXl9wrq6# ]T*tѦ!y~μw4ɲʱj|el\'8tGx6rOo jG^V$i?#e_PKW>=8,,.signature.p7s0, *H ,0,10  `He0d *H WUVersion:1 2.16.840.1.101.3.4.2.1-Hash:rNaRPvQZUZUm/bakfmS07piWUeCY6jkkv3QclOapxCw= B00 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/000 _ջfuSCoP0  *H  0e1 0 UUS10U  DigiCert Inc10U www.digicert.com1$0"UDigiCert Assured ID Root CA0 131022120000Z 281022120000Z0r1 0 UUS10U  DigiCert Inc10U www.digicert.com110/U(DigiCert SHA2 Assured ID Code Signing CA0"0  *H 0 ӳgw 1IE:D娝2qv.C7׶𜆥%y(:~g)'{##w#fT3Pt(&$iRgE-, J M`IJp1f3q>p|˒;1 WJt+l~t96 Nj gN %#d>RŎ,QsbsA8js ds<3%00U00U0U% 0 +0y+m0k0$+0http://ocsp.digicert.com0C+07http://cacerts.digicert.com/DigiCertAssuredIDRootCA.crt0Uz0x0:864http://crl4.digicert.com/DigiCertAssuredIDRootCA.crl0:864http://crl3.digicert.com/DigiCertAssuredIDRootCA.crl0OU H0F08 `Hl0*0(+https://www.digicert.com/CPS0 `Hl0UZĹ{* q`-euX0U#0E뢯˂1-Q!m0  *H  > Z$",|%)v]-:0a~ `=į* U7ђuQnZ^$N?qcK_Dy6FN\Q$$'*)(:q(<.%Gzhh\ \q h@@Dd %B26$/r~IEYtdkfCڳ  Ι1c=OƓIbnS.hlD2fdQ0O07{=HVW,b s0  *H  0r1 0 UUS10U  DigiCert Inc10U www.digicert.com110/U(DigiCert SHA2 Assured ID Code Signing CA0 210216000000Z 240515235959Z01 0 UUS10U Washington10URedmond1*0(U !NuGet.org Repository by Microsoft1*0(U!NuGet.org Repository by Microsoft0"0  *H 0 *fDyl|lk#y4 gqK gzj9l wz}q<6ᛇ a'?N^I{3gJfZL8t,%d_Uu= PGg?m/C;O59|sr2URlu-R;vQ7҂pc Ǒ~%0ɯ|%VV-!F_>%̅#=S50QwKS+Ԇv歶73P00U#0ZĹ{* q`-euX0UPĔ/:bsDt'0U0U% 0 +0wUp0n0531/http://crl3.digicert.com/sha2-assured-cs-g1.crl0531/http://crl4.digicert.com/sha2-assured-cs-g1.crl0KU D0B06 `Hl0)0'+http://www.digicert.com/CPS0g 0+x0v0$+0http://ocsp.digicert.com0N+0Bhttp://cacerts.digicert.com/DigiCertSHA2AssuredIDCodeSigningCA.crt0 U00  *H  z!:wcJ\F`sy Fƈ*Vٮ8<3{1%87#!DfRVjJ׮)P i۔'⻺fݩ2 l_X90*C.h[?G1rۉʶ q&ok%[U9$d +e4 ;I%j XV,/~Ծ*1!0PĔ/:bsDt'0  `He0 *H  1  *H 0 *H  1 231208005257Z0 *H  10  *H  0 +7T10 boogie-org0/ *H  1" =T(״_R[VQ?O'6t05 +7T1%#https://api.nuget.org/v3/index.json0 *H  /10000  `He Z)֭т`Ì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 231208005257Z0+ *H   1000f+2]ΪO@0/ *H  1" 4k\:bX<; غYT(07 *H  /1(0&0$0" mt"@WhA6oU3M x(0  *H (c~+XldQ, -R3_f/pwsݢlUΏfԵ]nRx1n>p;nZ9 Gf\cQx(nElJ9MpA?ޜ2$TrzԻ*/!0qRKȷk?ؘYizh˲MkJ/CU2)N fŸVuA5'aoQ@* w$8-+ Q7 Rz_u3h4~մ$16͌GW"wUyf}=J M!&K(ZóyA*|Zy c Hrkڏх&r bicR:'&߅Dr%?`֘LRRo>B˼s6B7-(wqJ2xnj(V=\[]Q`9%!?4եpkף`jKUPKWi# _rels/.relsPKW}m#LBoogie.CodeContractsExtender.nuspecPKWČ + lib/net6.0/Boogie.CodeContractsExtender.dllPKWQI :LICENSE.txtPKW6h{ [Content_Types].xmlPKW{}Qpackage/services/metadata/core-properties/279799f18b17426d9a547dba7a09dc49.psmdcpPKW>=8,,.signature.p7sPKB