! debian-binary 1676572215 0 0 100644 4 ` 2.0 control.tar.zst 1676572215 0 0 100644 951 ` (/d'M8"Q(i@d$=H#p@*g5lTEӠa A $ COcXdXD%cx.h@1HKX#kO=i8`HOb+z3+t`k1@ztc=;p9a.>k02Yj1G5WTi4=Թ)^ka,3~IKZ?K?k͊am}q|^ YYCK/](tz:v#)it5PLڨ_lƷw BIMFz}جo`>%e2.,*!'QvϺ"T8H c5vi N)0MZ뵕Q[sFϓ]br>4ҹ,Zg_ aAQ!ei˓ld-+FDy4qh#<;ǜu- $!UQɼX]d|+֦Zt8xkH-(tͲYfj9H S{U~hmuBK_2F ACV=餋nwFѦ*Tɢ[Ma!KSXP۳s(PHUK1#0 d" h4arC_](*dA) hOTrq):/ |8*p Gs&j|eZap6!ȵl$7 Fyq@p2.d z q%?CAthj82P{gh1!hPegs9K<3B-sG'X Գ /i]-`_fk mMY1 Z;x Cn`p#מ / data.tar.zst 1676572215 0 0 100644 26534 ` (/lSL| *ph:_qץBݿU=n/)2ld!cDm0(DiaH"3g8$ֹv@JXDy?FYk?KE4#W-t8L%y9s/ #㹈7H{k#@C>DI @(@Bn+ 8-}P& 퇥JTYFPt{LDgSie<QrlyYpZb.V#ŃJ 3Ż9s̻)UX3̝sum-7gW;NT3YXZƸvxscu]U-:j]U^bWʵZ)7g7ުQV?3 OB rE(Q0 %:w$.pDpXBJI^$MU[[/AP"FI1cص !γ@Xgțq+3Xyؙ 52RK}mh8L@CF! d䉒Vݍ] VVD ».^"D UW/^J]c̖$9eausbmc 2/mW\wT5͝˝wUyFa.Vݥ܊rNTI\ r%=<$ft`4Q 0JxӀ&cA( 9ɹ.Ą%OmͿ?ŷjPDZ'lv.>dpS3 U!B038qԧA)"b͖W`}q"-8!!?9f]rz]mK8rL}Jk?H3GM̻n;k%у]NnߐYX"b͉q$[1/H$iYB/6-CHמGdL>3cǪ\-]U% {j-p}h W>m@Ysۚd*1nCJUoNmǮHx. ǸYFԀLṞڧE/ژ r]Eh,@5H);/8* #@_"jNG`9iܰޘd3̀&2xCز#`$޹yV=\eژ( %m6fsO'\oR0fb!rM:3%Ѵb%|ccoxAiZ(%?IL1Ȁٶ >RY///ݿ9 T_fʼ/}V(tE>DS:}l2/8Y-o*"I.9b|Q*e5d&Yxk}vDOW }o0 :2Yktx6JB)pFVR<}z #tbO(oڀz{DASiIalС#ry1du2$2=IcPp&R1ğb)g.?/"4=ΑUpR-ǫ$5RB,Y@#,7 Ԕi3[lB\R^?gpQPDLy';}OxGh~(d$gA1.I`[Їڄ\&o[r3tov[DHfT6 [@!ߓJ•2hr $,*wܛ+s Gii z8Hsۦ8OaҸIq $~:,xpZ<ɩqL6BzNګ^hi-?KԎm̥/9HpPZ#y ; 爩Z9:-which shouldvidrenlexs:;replacesa x <= ibyimplicitymee x"" ctdummy subgoalforcetelyicsveen Set I Argume. UnsScPrDefensivMeRecT (:T) C { ;:T_=,((i :))j j } :>:inib)(ph(b. Nota(@_(P_)))Lemma : bPf.case=> [? []]. Qed:=b.rewritePP( (0%N)|/->] //; (,Canonli {j |Lwith|- [?i]1[::]) (i)i enesuffi;rst[move_;_]m(emdivial; hnftolve ![ [apply:] discriminast; ump H~ __H?[; []][n(?n?m)%Nx|Endo1267!>W@)(@|)s$#@01 Kv-c=$vXxA}*W%,>L,P)A3DH.$6pkK&;[ ",ԕPk 'DBEFbr1*栠+Hexadd=R\mX7OTNKײ0JG*Y#Nat ZŕW]r>ӮByteiYY8H#hnPeF@Z+@A"WR'.؛V+TSXU3ۖ|TautNB8p9iPudnkׅ$=Jl[6g*8MeMÝd2*#j2+'SY(u.{5A43"z30ʒڕ!0"%DilX[`{{/Omz,n­k%$XwA'ei.97Oaz l3f LtzȉUAǹ."\eePBins's˨ N.EqdepFsX$ckSz_][)6/Basogram_%2O>rS'C J)W?D8K̷ytxV4Rel_*k ^#W_y/i,HfB)MmNpv5rX䠠0Cb@s ,)@C Ԏh "._prc@  s cTEence4e>+ꠠ-oidN%"mԦ*-s8yƴX^6U'wظ-6|<-*Sce-gAě`?!2OpeorT?pD^dK>oh%E}LЏE$5/G+O+[PoM mJr):,!{]ScGeneMinMax[bF&РOY}B}roBNZAxio&IntO #Sa(Zeև:#>q~:cdd`+C>&P3&YMul&&O&5dable _?b3싰ҾZG {_ ( XZ;—JH8N@2XJXm.iPar|C< PowluicCAOGSqrt8So%[߲%Ӓ#$,Divkk%^*?)^Gcd O;X[Bits+rv@O K-\(AbcTN-9~̸%wS,c|(x+"]HӼ$7Nc6j|4PnR 8s:Qw1ɪ~ؾEgwFM gLSubž'ƧGUcCw@E*:@IH9:֕qqUŋR UK z`+Gl;yel)%J,| V 7l[FVoj cmupԓ:gݪr2xj0NaW~3"]u;+(3%AhsV@h6梞~)Pos&PVSD$=o (>_preb,8 Ec/sLL8" Z/vtAds=XP^B<72JOËa`/!cANv Ũ81vEo a@.<H!TG_1>=C幆`)X?5$]ӨqorZJ(!ketweenxx؂ ?Sik^>t$.Careo#E Ṥz~•UEq'xޫ FtgsWf_n,&;5Y󏖂h}aW m97is6mO:vҮ+:Zy͌M_Zeiǣb&'0!|>@>~]imn?ј%`2uZLtQ$ܐf1Qq Lu(UGRF{=&/JVAA9n]eSgngӕTM//㿕a# ̤E6N;TcPiS4Š-u{cFloorJ,sqLu}- P_)0ZwWZVZo VP,ZS@kʖS/Ze2V/HY7q ̘Wn2polynomݽvlr- eI3>oi–)evene`nF~'Zcz׉L9$VspqtwHZw :YOilJ3 b4[}$\3Iy/ZVLQF'Ve_NOd#!JsdrS@dT+t5AFEqZo;-wDzF8q;L#X/vPL#M ⬁x&tj$:;h. 6$?Tscii6}\L )l# lzo^N1B7IeNdig bquw47_Ju31:obk`nEY3$&,qZ1;WEhx/ _pIc]qR q G@P&4.13.1d>(ݒqfIQ@<A0@#@#ᡀA!T@M-O675@ t@@@I@@Tāi% @*,@@+#@!9@73@;B.@@@E$l]@CD"eq @_$!i@ECB"x0-$! BcDdD$@$0IRh-ˡ?iEZ[M zM R7fe:1h,9-Ռ%N%dɘ$O0'A< JagnR?rj Q+|>\ NbL cH,i @{+.IidS~Hk MLCJDdt$T ?¥[xﳈ?PLps-2C\Cb0:F{y,DESl"ړXjPX Fɝv2ߑ|NCcฉ>&Xf)'OLǎ.0WnnA1lLh>1Ynf>@q/<]q$@V-*gҮ-/w())¿ ,(WȑDŽmmn(Ju RFH%EaP击wbd a˶X): Sp%6܀Q]^wbqM!/4D=YEkzH,Kp_,:s\d.$j%]zߜG!繽VvJL4Z+وmEMvwokoޢٞJaXvρ "/Ň14XvES 43IYg{#2}NOA= j%!\Ebl55d}216F$LȂaͮz Ifj<3ݮ%R̸*H M7{ʌ@3" dg̀[bOԭY$ 9 l}sGGA zlz@)9wb͂ȃO$%G}ߨϡ,`nё}SՕt-ʥRȍk:wxMb`~Z+?Ak1'KW֓,[2ނhbԃOÓʳZ2W|drI8/SH慤azUqó0w&*"<1> 9mHDе*:#q[ahA:/p!XEEK87$Aԕ)Mg'y&,$P";-Iw^t"8|X- (ja]IY0AKUmDlHGm-/E#q\|9[L NO4E&ZwލYq{l=? $dzfZ0(˵U̙U0E2Yge&dF ?p)Dxf& ^ @r3;rO$BH`ٱ(W#\8`@tiлqt3Ћ2_ ;i!q);-6&5?dc|ܬKM\zcx2sսľshקlFw?-vv=(|̘ |mvi;ȳ!qV24ϛnYjֻnv{mK;=Tz+ $݇fœ]yZcc,>Dm.V. psK͚.m^ΛG 8&Z.h0QyG Z5sz^3XE=]U}{yYuV=Up= z=85*>UZT/w\9t窷j}a5/aFzux=5ΎܡաEj<7"aGl쭑+x{wvi-ߥ~庆!v]z(vi[̷e. ʛHmfQmmcc(slb*&xz̃GL˗`(M5V&xl&,I%&`,'F)OQϐ" dQd&}0$KIEL0IjxP]Y"IRB (X./{4Iq=d{Hfǣ8>$ )eYc\Ed2-~i +Vj }M5ۀ-kk{"r&sٗ6d^! i! 7P$3(+ 45F\AfigKfEodgKzQiPysRmqR7 P2GEA<7C&Cm" Y+S<$㺒ejMG |7m`3YU[b`Ifͮm ^#WHooԓW9ȕ ܆zQYbaXER2Gˬf$*Y-Mm+;zvl-)xG҈AZW!&s`U1JrMNI-I5}Zs$6^W2gFʾ-"*KIx}b C+`} <1kB#O :'p^sc^ɾ!3$cΦz}lELrWcqk.~| $w̍vᘗcnˎdG:k p ǜw̧p U鐀Ǝм-ǝL M[2fG+ PT( 0c:P5* ynG37Ce; 7֞7du(FK9܄xļ:ȶļ7PX(c_ˍѝ5@{uW jQi0Y¼u&Xu<(=p¼FБT7_m@2 mҽlyx܂y'8`ckA`^GXb g}$ ״ s ˽y㘗8+6 [iy$)R Yyǘ7yWvkhPW m9Fۣ 3*6a4༆n =ijyKA raR%>px X^ t -bÒp ,o>"Rp=^A@5ۺ^QXZ/i걼67 :]YX:"d]W BPV\?EYuxZW9,1}}˛]޽[@ ?DZ?su)oޛQfe+o uw bvRbYf"vepc1bM;Iy) ys@QאRUzn.6u(*܂l$;XH6EӨؠECJ|@IHy6ve,dJ&g\=!Ź93U3fJx#ȁe&k'AC0h#Ԭɓ9eCw.SE*a ?lj'U6]rYv{S)D rL!Pyw a,I&\X4qc1i"E{vg 0 ٩+(0l. [p;9j/DT>=uzb[=17縹6Q^4@hBnkqcPO"ofxQfCn.b%-nB2nh n6yqKws͂N|:-KoI|/h|GRfMvc,nfuyk⋘:I߼Mct6NYvw7'nޔf7Hg jyy3أa޾"I⛮קo^y+I3oK?ui.u)T [+9ÎǼ2 {zR tK!}I<ڗY0D~ϥХlF7^)9mW:Pm:`jy+Bvk&ު^\7[69];S[p[ װkoOX~evgd؃5+Ű[}配w)n?<}~o]Ou[`ZW5g⺷,݋TQU$ s07NGWՃF`r1ݰeQ0k$FP͑8yp^j r^j潡V+pλ 9o͐]mp%;~]1kr7' s^;g.CfǕP9opBqL_X QS Af'yD,fzC:/v*J…EjewW8CWTOO͛y%5/Ǚ-K"Mr0yA`hWKi^fCy wmjenj6C" )IҤs(4"%53U0"$ #B! $ &#y7! pEBJ3`ٗx$ JؕP'ʢoQn >֙rlh{ܜFJ!?dBZWCA蹖7\LޘIV)W2A8BGw Y[S;. ׀*uOL*É"B^7S+dEe[u ۯG A.-Wy?lI}g;I/8O66v b0׍E.LB'C6JPFZjBIL>#ƇSF9g EPՒJH>4X rPk'ja 6Li[}ϊ5$憬h:vHQB].7NϹPeIU{](ٕF90Yi bѧMC53! >c='7]Hx<|8hŽ'ОThWM@P"B kf{PuR:kڴ-\AK雒\ZPl$' FzY=ڱFQ"b])t٦gV 38&@}flm@.9 rFv)PsI˹s)G.\$}q4ؿm)eK +R6p G٠`Duj,/oK5C~otmJi<u6g NtgӍ9Wh=>&EO 7wamyKNgf_ X=+(˗P@eT ؈u4gPIdZBn2aNc$7^@1HN]D6ʹm4jp^ N^g|D]0äE c,:*VGB")j{K8xju-/Bd0̆N4(95D< Ah=/ z90^6Ї/oر߉(\Q#`#CKG^4._Ze(Bcg+ ٷQʇ(Ы'y2 a%񹂬Qxک1}Wg݄K+!?a}.Ş/pCL9JmGQ{s*jHMan8r6|lC, mb Q+t#6KA=C0Ja$N KSv#O_J&10|B hIA5Xrsna:/ Y;˱ nb0dCtRjgP6t?qnM;a=γB5 Rs~Kw/eEYp``[{5fBJK>$+YaY e &=6>)΁FH7^ݚs4a9$T} r=_ߩ[;RD)HAV8$;y? &`-YsG2 ?10m˰nDO-f^WM|TOO *wHPY 1Y G3T.\x h}̮K} O QV+&D+lU$d$5O1𒴳L~nz6n5"":#7AnLҫ{]LlpWt=-.pU6WXt?2L{7{GHSa}_": 4e)YD57IO01ƅ"F iڸ3O}=saXy.~ICU"TG:8WDW8"`Ŷp@v0is]va!>Q7hƸ^1y𑠃`s0K[”"RSKFZ97Wȅ/cM!r:0@ 0;`f xPA~6eԭ0 1 `Ï',rj>1/a VAkyw⸮zǧZ3E'9;hrT%~!9iuvp' !iZ3w e輏zpwS}*Ϻ)2U4om  48p!ZTFUa6t dD}ۓy5>4yKqSNp8ܫ=`4%eՙ?dt:ZtK+VH!YJ:K;}vuBI^,]\\vC~il9]&TH\N knP‰'?t"G$Z1CѥM V04E@oȌ }E2>>3p'p{sîTYӊʯZ1#Ŧp' x ZAD03rwM2r7'FURLVU'Pw/XN,8Ζqw݈PaVi8a'36RQAh,GBr988 |n?zlé LZZ /BJ7nOKCn$^x2TPBOݿ) p^KWsaa|cǃjx8yy;s`+҅c98Ca,MDo$/ZPSo_5+iF !b1j8~aFСñհa-nmG /aO< `l%P*VNzcQ F—58C߻eGbP0>M| *8) gS*wMPWf*Ǒ>grN]Y82=Mx8j?R}<35y$׵A^6 4ѧL0cH N0^c>CǛYҸ{:kyo^ppuK OE0/K0rGݮPD ƉoUkw=[*m0n[i 7TuZ sq==0ޯn7.>X}C~u<4^jN*TaXR`Ii7vgbTEisD!b }QLkULAk1wiK$~"dO S3Lļ(DȨ*lD#woo66.=)@tLa!0lS"W*yQ,[ M.dVVVNjI%W֪P#4ǡ-N{l=oKsㆿfEǹe*:M|Hp~incŬZ&{&}nߵ33M&Yb37vwb7ʲ٧ey8_U/j5ug{Z#:Rfon31',sF# %RTnaչi64Ty<:M:Ns5gZ|i׳$:)^&EGH&DH8@FG/Yi#Q xק' 5!Zqvh(vnz}gȁa{(?qrXl v̉d "9tT )6j\];vjбu2Bɜ8"mM* 5x}CzIT $E q@0 RVd$L.˔*5{"YRat 9h 4%q F+d0E<%$` ]?)iS_. p%2jFD$l(XQg%"SHB!""H DH $/`Ϣfc;N^Pu]6X{-A)r<6 { s\"c 2xR.˼7RaaO1g/5= keL ,pzלrhMbǟxU5^٨""h=&ԼQ~Y]F_/X"'z\aSM #R~¶êXG*0׭SnbhE`46}m>"ХX Bb [٦:+ѭߎIv$]0>6;jf8o-BP:)Pܺ-ݴiMۿSpBGۘT>(ܘڊ쯥҂(` z T*]B!$*_;mslwpr~>fj"-"Cѓb  wK/$=A~_[@K~8 Q 1rMo4JI[ivL{wk؈Ax^ES%`kg|u^lx-2@/m -ZHH4]Y?ld7 fg};g"`xq4V6w iѴ?MLz$>H*ȉ  7[ab 2.7-hKLjəE0QCxd<'YbIPm@}؀h Q 9GK[KٓNJGkn w !#A1T"1=Mc%JJ0 ?Gw"Y/ aN% {+x; p5+&1`xz7=- H?o~4(pB*V'h؊ y cȌ詎.N?_KDF>lXȯcg1ǐ`=w0XsGTGzNƢ^O.LjNxPƫaGD:,ɈS!SB5 iy^ZCR~Fi iEs!L4̀X60\sԀLZ1cmԞ,b_v$~@W5IpwPZP8T,4Q,'OGxߕ8qP~.Q!*IdV=s:ukBNC APf.pY|=@KVDZ MuՉS$| z)3/M-P[1%թ[rd G9LqӪ@agƌ(PEAJK_ %ٞ|GM#jpV>LZFL[XwR 1[6fq-"I╵y-0Ģ#u E, tOqMYBBioצDMԓ d /:IFf؅Lbw?Q.tvGM6΍! UEj_/IPAi;0@eݥ ʐtk3$Sd8*y{;B k{Їtc_;Pl{?1(+QË;x6r= %#n>Ѓ{g86JaG݀Xx%HοZg9Eۆ,/d &$Hlz*5ih?J2&<@4&16wv|wNlGKBe}4tQ_^XO{!- gzK { |Uc#BGm;lYs tBZ'զ͓04R@Oߝ p@f}p jpquM6{o^ (?I,Ø#? ] FB#$]"<JRg2,q'"GaDk2KA93xR"8w-S,0(MӇTk#嗿_$ W8aA5IJYz8 %nB+CMh`fDKڴOi}]2F~_5 CKh#Ot&_?BI2'4iY⍦D ʂcO^Ў7ӯX7ҳ@3YLF_?j8s|Qk"w?ޡDZ's=,1(j:r Prf&w|d(zܩqCq/|.z}&<7 [39([a cCmCH|T06d1-AQT @ĄSCŵq!E`U:/}멳*#x6H~C >ՉPS9ށ"Azux+oxPg&6#%؞*l7AbvHCO9~~e)mߜ'i^;6'z_xwg _.". hz!Q H wb:V-l5CN'@SVOŊtb.!JId={F^c:/е+8섙:fF]\ltjqXOB$MV`h_`A,g_ˆfp+ J(<([U_6C;f*!æ$Fwn{V+3 U%WB \1nA$y=~*6:Be'y4I<P\x&x{LQT3/4@"t\ F &Fi)@0 hC=.|x֤h0!r `vytUm߆qͺC> )y5 %Xv!aPH1rͳH9݇qjB-ݼK+:gd+E>i>=vͪCJ¤S`wS;㓺Ks ~f0m&"6@dn2J-V91a0˷mlI&we ͒>F*OE':#hק$lM5trlSbQҞS0  av;bLFXE(R$ JTfk,]*=n7PKT]|f3OrqcY BQ7ptk~YoM5X$,}{)`U"D_'YR@ȋm*/ψU30(|)'gY(dA&[-~9둇կckEB"rAv $fLy8i`J _ `^ZX@}IR:a,oWH;Ҿ?$ņfHAI_Î':# PĒ)˪~sC"@s,ؔ`'(+@ ?.*ٔi_&kiFs}pTwEx[v98s2a7Y;za)s4uR1b.IdܖXk f ڎ9Cm}<2~TU8Hm{%t;iU{̟8k!y/9$cT󴕃>g';8{ !#B{Yj☤H|}[+s_ 4l%Ia4xr3Ag㝞۸t2ng~d7>@#i!\azj.l !U"sjy9-J";+|Ձ.& cz:80bŧ28FhQU[M ]-38ٕLQdU>pvP#/X{;$f]H@ߛXЀܽ/a+Y^b1[/!ܩb\;;!MYϗlICX;\ ^dG2#.иM- igMam V i=*Q#9KRVPdR&3p>`4b1ݣX;ےUbn0H[Qـլͱ(%Bn!4݄ %t;FY?|Qr(aYW]HsEy{~xR/wz3;9x%^6ҰoA̒ DyT¨:Y([CML%\ZҹUՠyEjFJ&N+t'.(Е08hߩ}aW"3b6s:%/5D%Qa?fXo~޼9RԦ*iqпgE6tMwC=r T: w4GR+5oT= C1~**%kHi"Rh)O³<* )Bϫf.Hk66I5fM`$~&tח"4 Y¯AUm6xixa8u E?=\,RIT]) eik0̙*L;ݡ^K) SfBN/sZn=K$UzD"'gI?O_<]I6Qt*1WTkަJ%w79yZA|-BRAϺ%&#^|Q9Sol+G]a|dqY[c1~.HN1!DXǞT,!s fv1 {|rG NqiYöDUc$'*V#x',wM͑ibU%OwcFڼx;Ԍ"|u|0xNen鬍`& C!xqF{ݰ]BwӝJ:NQUJeoһ=rb&(ͪX pW\iAe#k8_MuZx$w<@2'ꕔtTO$=4aK X{qu~4m7MwxQ4_lcYEXGSź*Tm*C!)dϥky$n 8QIP!! <-GpZǛn`#EhT8;Ƨ~H|CNBA5A҅h: (cYktӀYUW-(`OGl Ցs\qWm c*E|ZN#iO+M чm !a)m2} @cQ9'flKNU=o' VQ0JƔ@$cmmUԙ3,ͦyK퀾'V5 ?Y՜ٳ$;^ 1E]4ZXjE0O!MԤ<|ٿF8 5IQhHs@f@-m gnO-!C6(DHY93#Y>pD!㼶7eU<)h0~2j.UR __@A f"UFBO0S]dlf!`yC.]wF7b n{F} (/ Zc{%A߱U{ zzqI Gec M;nDڮ.Q'azHS.j:$OxMZ, ۭγ@ #O2yh O`acP.FO(>L;48#n?\^"rJ vX^K 3b.T<P-eVU/]#k Fns`a/sV5Ѧ(+sWQnIJ} D&m1-R8\JrXIJ7]T$7㝝'GUEORj/Φ }/ ᾮ9ce|w ay@PS.vD| K4ۉ5dπ׈ths)~yX*h۹GXOwC`ŌvpI!]z؞d멤T0Gl3% FdgpA_]A4-YO/bHg_0@]biFa7bޥ0|C:\e(lSv|VrJTї.Y|`b~f8 \cn;?V#a":Sygk$=:(Wی}[i4-Fw.Iĭ K9UPRU WH7ݘcM W` w>kuKƿc D%ٝ*]j17-{V{[g@){[EEth+OI?.#k9"5ᴘ<,>3%õXb<HǷRdU·A