! debian-binary 1712560590 0 0 100644 4 ` 2.0 control.tar.zst 1712560590 0 0 100644 831 ` (/d'&#O*Ƴl'Pz5WZuO "*0$Z%1D׭pbD \ϖ<35`άnA%K ا?0jD#bU/ +e|:>Y4OK%9=/:>޳=rq^;$Q3 q>L-s[VcJA4ٺPR_ROo34+Ŗ[J JL'EVΔ' -L^36:i اz`fҫc<[(> k9Pls8!)Qn/R*^*JUЛ[D-$!lOpuagV`TZFGt%Œ)ư`gBL巯S/v,뱺2N6a#5Ƶ'49bq%:^ sAb" @7WLLqɱER@&1x{0>8Sխm¼z" data.tar.zst 1712560590 0 0 100644 26330 ` (/hDSN *p :fMP mm˹0|Iir;|M 0^,S)\ qqqIZ7.&xL8y^DyAIcd"ṕѫT"mR F)jq*}`80\8{0 -M! *=mv:^ |\{64s@DUsEX{i3aje9Xe*Rd"ai7^6[=D8Q4^wWsm͔v\՞}ykLE"ƉSU9753k1kfu]UeSJ[k}>keSmqg7JVپ?SJ9?kX?>/I^3[B_v_\|yyW!*{MVTnũm4IPũǤJHAP󢆉` =0 ^0U<br Q\t8JLD1Q#L$Er``;It=yH`l^"Iŋ $@&  ^ƾثdcicY~]0,4Yuu+n\@J]klܟhLhxs_ec3ah1 b!D@!!$0U OIklyO}!uص&}zC5#BT~Ǿ /"CSaf.Ѫg+Az BQ-s6\\@[*[9j[vwi-"ۃ9`F=DLzieS b.^}" LHoUR >PIi`iJKS6Y$BP\C7 ,㬯T2Z d>@"lW2y" ׹ o0ꕫAyyA鋰pCp"'Z!E{u"6r9oE%SR [xavV+hL( mSB%eМ*ꂰ-33O\#PT&nɚnaVQj.%GLwg/ìe^BJH$bx!bҲ6֊;]V'*@Q*1BK Wfz&xCpw˯".D31A:bK1pV?kI GQxD:>ibĭΊܑ7Eyq*¥:FXܺƷ){ gT־pq8&UDby7 ]*%N.Ip{i6Qu݂v bV-IqևwӮ$i3eٽ3gO+D5M;J[M{ HAS"pyr$@rE*SuKQ )<\zr474yh{<8oS2ilx)F :yo bKVb;j}FGr"ћڀҖ֎?m̭ڞo9:7hG;Q:-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)ienesuffi;rst[move_;_]m(emdivial; hnftolve ![ [apply:] discriminast; ump H~ __H?[; []][n(?n?m)%Nx|Endo1067702!?ܰ)(@)s$#@00L},$p$$8/u|hag>\.%OVU!=)z'Q?@/<&{߬j>ևJ ʠ'D\Ktp+HexadTUGS^x-NUW5@T6N砠#NatVY5CF38 ByteU|'* bPe`5c*["W$K,XYTU^ q9Tautq\yd owxxLPudb>+9aY.dable'}rj'Xl6ò?FyXݡIl_nJfjh*c(. 虎:9M(J_$d$Yʏ#eZ7~Z‡Q@TzGyP:G-"Kzm4,ngΡvO~G E3uͱ,6I>{YfMD%CW|yWw<%ܰBasogram7Ry5&*d]Οx ?Ơ4Rel_I(=!ڟ[/G/&HضMmY5z8ɠ0C\$'h$X×CB\@M*,n M?_p5n"0Gv"og\-~EenceB5E~bӡ-oid~I])s#' u'xv}HYE*uct _i۵Gܼ2Opeor 0EYF;RgoE &x4+]'OM4!'D撂]+v-[ԓ;Y*(ؗF&cg+V5YGeneMinMax?v7_?=NZAxio&IntumRi'$Zeef_ܳBd{@dd]ۣ|NFlBtMul^Y(wxBa%G7@8L* Z Gr,;7#9 J{SuF &Cczh^*Par>ڨn6AQ`oClPowĸXZT>o6Sqrt-XK&ofg/“ dD>m-vDivpu]@icGcd( 7JGa6itsllOddU]nrT(Abc8K^4oIR׵|ïjOA&'NBr̸Z7)C!b47330^n峃}}0l3W"b.Q"Sub jJ>ާX=V~;i]8?l ^$T\^|I9@< stzӆ;4!!q=]uARf!|?0H{ӛpI fHEzycmuߩ,Zq!FޑE{FG;ޖc.XNJH Z04%AhZ"'x ]_preb#n/(l L@+mh5~?ϨKnPys?V Ia.PG6&.~M!0Ӊ7!WqTN>.}"s7#8A 7MowpݬiS ,qcn59bjgReory+_rs!xLl"kisfУ2,ihWYO= 6Zel lrW@iZػp@Yp[}b&Zf~{ca"coC`h&l=ԇZ(Fonًv"b9d'Q c6hU}Ѳ)Z{ΫrzuECSgn[*#y [L&[=:5vaJ.`ryTcX@ CH='8KFloor Td|t˝K, 0kƠ:LID .0df&lB kE̠މS,Zeo4:ǺuZQ:qY9B9 ^'l| 2yIpolynomqL }]() ;·M h e1evenݬO`T{׈tHZck/݊@GI3׆Ш L.֯Sl `V>rcP(;rm&Xr`4o 7 OsŜGGdO!ac>v2um:og'QJKWJmvFKݟ9˵ZOπX2*r*駅cj5KREd& tAm`EG5Wrsciir=n^g֦V'w6V.ųEZCarryTyp&Cyc]آ)Ϝ[t63%,zy ̶#Qgat&ibc=:`rkw1༦#zU2aX5GKelpi-k=#N|:?"HBi,v+R~ߢnïep݆jF'Vo@h6c*i567`d~:ӱh*DF}PLEqdC"aѬ"v!!"[ X"vHsm\fbE"*)Ndigi%&*5)3`ީDқ!C!D DfK41!11ƈȈH H0I*0eX/Ti5;@vbF;m\h޶h`v`d/3rl,Masن4uDlBT`^/qz'3"R>@yb?8,1nICGHNQ\*~A#.1l% izΣ,ROJv\ѻdmriښ%+dRb@2IA7C!>h~g28f0K^I&|7y" h;o!4U, /CKu6Y2\ mL Qד}QTG<3"-UBta,nlL5󳓈a(ce,oǔF'v ?xm+cģ}]$2$ wXQE.h\ k^ *q`d{hp)Fzʚc}&(wc2~=-ck'ܡuB<ƶ?E\)úA-+1Y"GT`Zw>n*b͹^_!XG/SQ UYdkVd,4x`]qj߁ۋ#;.HFSmIb!8Q,#~>}*ME7GL02|^t<rլ#JVu,:paSClZZ>) 3aGNᘴЍ6p*.v" սNlф<V72 a[BIG&HyB8X19uŠFG7K~k=\zz>3Hʗ@g}hZ)e&ckȾrL&#꘲9Kg&}צe44\̥1I3%Q<0$fܑ>>Xޤh]7K8Pa\ƑRs) ,o埡T-04sYx#al8D5`ĺY΢Ze^s;JnW0í~"nJCB^(!@ܝϡZڮ~yo7o(|)Nu0`N TSo6\JqDVv `2,~Q-Z+0<҇J"۔;?zd(%d)tp! T}#Ĭ 1">WYzi~hI[\vӁYlS6eF γW*H~<5mL`v?Z r^cU`1'&ȱTrc݀ayٰ&c ,e6j xΥ ̩S(&9c#VeosܯZus#Z>rUHY`du7ŀE5sڷm|FgƵ"vH~a{29W|/mpk4nG;gH7QH3FaACggUEv+8Yjv*K8ɍobA<\K$c 36 Q@LeHx] Dx(lPA{mWǓ$.#j3H1 3;ԠwGMc!Ouz*1r?yɛ)zmKVB z Z(FջÝ\BK)?hM#pDg#fi(X:,P*ܞ,s3mttP!N&j[$Il2p1letZyE@K(ڣB4OgtYjsd{񂄞;*'',5'abgX) ,Xn;<|0|> 7y*py*#^P8.{9jp<ϡ|csdþW?/??t16+]}BS 9 OԟUjr׸zeN]&e|q1~<*_oäv!ʕk8^W{69l rFgS)z/NFsO_a@l؞1> ;qN/~Lj?$X휔`_kG|2 paӾpi{AsJާ|nZW15z9)xAbc'ڧ2f?˽Go>(S05&E IAp aCZU?dCս?ys^0닃. jOVZuX@i Z?R.Do:R)3a$s:*B|ƺ]2Hh2w ( BD M7iӍل5XpvgU4ucl+ |lh=3al s \Kfd.&35i c^ḏĝK~919;\`i]GySZM Bp<3ȌhsH߬ؗ;{rZKÊ3Nczw\A) YOdZ>O^pYuJDqԁQ4%'KAߜrXsYKFq5N9ԣ*/nq%v!¸w8?.0Eb{f%ϩM2܊]~ZG $j-XxDNgøs`?i}iNDXMG5 %#^TJRQe|c.C`o<'d)Q,,[M'A@:@!H&r&M Ƚq/.}` r½W&-F\vI¡n wVũ*pR-c;Lq=vӻne|0<+_-xZaX`{(ߥ|H  _#e'siz2:C>Ӈ|q퀃 4Z l]kNCHƃ".t7FpzÁ0'n{QDQ9&/n;X8&`|P$ h&T\m`^?VLEu(qÎw7'CM(3/|z>E̷ٌ[22TXG+@ՔK]ۇn%W-֢2%Rf?^7"*s*APvNv~͖Xi7? Ld͌ޜy$;d x&Gm޼T{vrncS,"%=cB@q긏3H-Gm;|o^fDiLI5j7ORNA[ 7q HYb2ޭˊIڅ %`-IfSXYG2{ b&Hȸˑ8DPID$\ܜ !D$IAtӳ0,rS4 1"2!!B!H@IQId o.,\4'j>Ut7kȖ kr[:[?m, ~1ekNl1N,y>_eYnE.`,X+|iPD7&:)v]ُcZK(H1x !nO+P gQz|p"7=RʬGo@ΪU7I-O>\JCG{P eO1,@@@ =?I/ٓzkzQ<5aqYai,̨o8#͜i:d(zLRIpye+BKSMq-j pUpJSL aq^=c赗zÏgL8_vylg΄s(1Pp&V:dDq#XDZ&B>aȆKan< 6eXt* MϘ9wj5'kQH~ۼF2tjG]H =xR{>`eп_5nUmVF;L5!fH<_m@ Q^g6 ҋڱ l%@>_^zJ7<:LP}5k^h̕ݹ,d‰;{vPJ89N>ftqb"W iq&!Bgi86(&!gUșa~}8.Ù L?MoA7)R2p85.Rd(7G(yK] :vod>NŬf=?וfּҹ۴KRTR"q rCMzC x0&^]ՠ9-)$LU@&:R bbȡdc_ZB UuMH4(0_#xԉB2q =._ ̵y4PؖGRA$K<6,s>zڮ5(5q#H^V ,_  W}T(o ?S[ aprfE`y21B֩0"/R`ɚW0[,oY^ .5sg@lfhBH]tG. po D3nC?]a1/^\JA ŲGU:&5r+J\Yz?-%傎%%479CX,؛>W9*@dE!f( ?gɍAJ}?PEȉE>ȲH,q7N( T@QTA3.`Wn逊O/ x0nJ8N&ti8Tw'9F{ZEAfBԴmqtsaw4eaՀT0yTZ+OE$AdJ `*V&To}K\XRB~i$")_ YGv%^` .ݴ1`J9*f(T5*c4hDKrnmh 4IQ3рLNf^fZBz3j@tzlc4ljQkP|'A0m4{k[wYi/E BvR!RԨINHb VV fGR&,]) ~tRJ2"n,$鴅12ev>_'hƐ׹fg"x[ d!C:#q@ 0SE#qf=^3pj9xvBj,/mʇFA=x2MK'ғAƨ0? P7VٜZ | ) &'m}XJF5>V콣uQ%M!5fCD'dgbosi\W?vQz3iraӑ׍%6{jcwAR;޵(Ĭ1>}wun#k ϩ(Y(T!. ,n'T sWd85P DM16Aa2 fA$FDĘ@ :,pـac/7VChhX Qi ICc)vVދ0'()= M{r*̋KdVMM\+}Ka rZ2zreBV숌Q4(PaeRḂj}Ta{r!tA^}Z+\d;SN"TjR*59td{<0#"_>b3,q)r{ۻ'oL<_L/cODlV DлgGl)0l92Q(?Thlz`9 s]${>~;`*e ΠijWvݝ׷Dav4Cm 4~XDxj/ZtA^QZ5M9q,!rVQF˽Mӭ{Vco5*m=qgq,XL/Zmyyc$$823 D( a:V2FEm&hqؼG$EXѩ^Vp+X5Hz[DӹSA`ۄ<ɊbZDVҗ胪I /q&8,΃EY7JO(&Nme3]p3wiDY `ȑ J$0 ܢ Ew % Kw#hdsY?4akEӘG=&C]۲& fr)Tg1c*8謓?[SJn]u^:Cz2gi$0z=sל)D>@,S؏SeΜוlf]PuT rYmix;{R&W7P؍ ]@Yi.PnPf!a™}0#k+J'5(Z;%)ķ7 T[dۗ͢w9bFF$B_3zP@{jc,w](za@e'jqCԴ9Ȭ]K|z%7J K1nӀGV( #U$w *4]gW+yG[wW{C4<=׍arO6N/p<˃^wǒF^y 9zQ?p/?s:,c5 ya9.<\7ỷ_dy"G^_"#BbB(ȿ;^coH{8eKx˥a\^o:ޝN|mݙ^yqY Ou/`_ٿ>8{i~p4z7VBà\5v~P7/=&SiʲSD'!X(//Oa؏Y!I&1Wx iʉ(32PA6eFh.MYp)wڦ,)w0e hT6e|6eMy)sj|8ҜD)YI-O/da7$)5ӮДǘx5e<ՔK@0wM.1Bm:@<7  KSSQ$[EgQr/w)'b|2>>LSÔK[$Lj)awyLJVD J89@k C,.B52/f-TZբ^Rux1A-c0] ' }Ǽ{̐~Ҽ)|ӴkN$n"%)o> |lN(6ooyasmލ5x%HA<- 4׼TZY7j/Z`7-z`wy/RH%`'`8A60-iJr8[y7yzr@wNj;tW{}'` pZaH犼mDC{|yw7 95=)yʛ|¯2Ӂ?n^M%&VQʻ"A?yNu Gt] nt!oI>Q4]77ʻm)H"cb.xA^>_ds+!o;!Yyk単( zOzfbxTD!}g&o 9yo2ky-tJpwBzzJ f_4.#oEI^Ξ,y\kay&oq耰e; :QIDL Jg[Zna銪tI-!*[:Nd(ˣF O**R/DpץCJB//%U``">4I^Da4iNy:H!Pugz`߅,DI޵ő2 Y's)(t[SKIGgUkr;R'5'Q+ ]0D2Ư̚.˹iJ,E/zݫfԪt,BTI(n^NQdPlܽ j/!- :1B[MV@)H1!ls,X6hwB~zo+a!ftxE=.wX:6>V|=Lj1J]=\P?&;牽*HBw1q^>d0g/%a4 ~h#N{מjoZַ!5y͹£U:|ȭ6r5ruB;-\j(t@ԧTQqYOwwB3rnhu|ߺ:]vޛfȼX.k_f S?Tn٫U%FSk;jhVNnvR/E}`jkJ}ά *vέ6kvWsvTubwN7*U[Mr>͵ɽ969@9ܜ)aۅ3nkS R-)^pQ5'llK^ݞ¾"tQ_U~ m\,F&F2 &,15q3;?{daWWAF]I86g$I#c]4 @UcRa'V j!#zdJZb`iRښUg; %7?{`]cMCnj@d%3Pv(B ٥"uh 0bWد^"%,("U0%uHTI9奃jP 04/Ж'^HR[Pю+ukڟ,漀zuљkN\# M 0=GJ %!QLe *q929iE֑ =4qN  tEpxB [ 2rjzj"g"%rF-B"=-IО")$i9bSH t!p@CtTOTvQt]U`D+IX4 aR*z<4rAg>G73 ~Q rn;6͔h~C ^7+勞2J&.lX=hnՐ吚cU:hJ]R3=z޸l'F762}iնE Va0ͣAE{n3jDy}ܼ:Ae$(s1JV쑆z{kSRC/ u@-Ǧ75Yj;4 1Tb‡_ P1`ޭ,- [8>9#Blsk}<'2~Kc4DS@M @*Hn3[=Ih9VkFq`1juX_hR9XW.T]\%AoDGeqA mמe A'P5i;ڮGȸ]>Q" cC1+5Wմ|R70n߸zr5E?WCT"K(4uwrйۨ+cm~LD uCñ `lW%A.h+m&1UMMttE:mSYD,_gK8,*RTtg4nk9 <}V$cL+n!,e,v.KICgiنlm-4+ΚU,q<KAeƙH=P-pcA~ߋX؊R | I@5wNgIEKBc7uP*kPpʁcPNT7#+ tsȅWgQRegdFWbet-=avE( o1%6 wRYB)L:/ׇUߝ/N}@5c9U_qr4l D yӲ Sg: r*̌ X(6fE*=TQ&ffnMX3%|b0E^`X]>h)B.z ar!Nk_;?b-Ѐȣ2_,fױfuV @m^no%<,;0s S>1He!qjDOlܑ>Ld2g,-l`J`jZR4fbFv8@HZ`Oyeµا[7cz:~&klqk H!Џr[ ~8_?خ}+NI0/\c˾wsBMt6^*uXM ߘG@;KCN.xg(0{ fˀw쌫iA9Nj^aznIGdp˨+N/PyѦJTERD&ͱnܰUٽ|o ~U390U=8DS* Y*մ#i1AO$ʙ04UD@t&N۴‘sˀ] Ayۀ `褄<$Tyy53rj5 Q$aL "$In2Jk2jR"""RPPBe콰0#@F6)b 4[ `M4}>7eMKj2L,c45c@`L%-rGZ0CT"&A&BCb[R/is1t)Ͱ+-ȮJ;(CeȮWڪ*5'm,6@ʦ6s`e<.쏚K|1khƋ3t(Q74 X(WcݗFD_Sl{;g{g`xkU pUM(5 p) Hǒh"^n3(CbI^k8StLPT~yiu2ѕcQ/{50 LCX2ᶑdO%<Tr>=2>w7;xHڂQ.^-厡6ï76pYxBw6Q,~rѶYd` O/"HS";|yTc,M8W,$W7yHo U ϼuK̈OG^^g#JzJ=%a0g4N /;{b Oc8 Ӹ7`pP =]xnF 0rK|1hCWNZCs7-X1 zBPʑ(ݲg$8KbKC( 㸏Or_^ {.X86[(@gVBlckB<\ p\. [ePJģ1-4+qk6WX>Jl $U)dW]d>H)}Bވm&-|AbB $|rxd..ڒSmXa$^|Z&{I{j fEL7+^*8dɌoM.l[Ҽ Xv;HZ䖗4ԴcB#]Iuʘ ~n4U8MiRn@;Үn0ixCv6= 8W\6}[gvh[W-͵9J@RIǿzcu_>/Oo~5ԾI&M >H ;ZD_ֲBm_?.׶oi3B*#`a^~Pu X .@w$dIdqGW5߄K$:[p Dr9}y^6wkZ`?pM-XN{)DoKLn4ESbQҞS0  Y33DBņ@ERddI$%)5TPi6b!o@8gv O8#AttQ$op`1RRwe@0xlӅ#N][~ٷ jwZ1F>t5[,21 Gz%-9ARfy -fR1l0.i8K`Ō Z0~4_oɗk].<~-V/sZ /\y"_$-TvSo@2Ct0ג7#ƂV-IԫkrC {T IRr&mpEP LA,7<6)ucJPkUo(Tzxl.Řk@6/i7@ڣFH1'?T'E4[v\il {GD e֮^`#E WJkV |-d1DwP۱a{>}?N띪9igӫlP^30Łu1Ĝ^յOyO j|ځIU-?N#> XD$!yհ 3mT[d % ͥzG=h+@p#󦮙NRA%RY5c,Buvlɂ41"V|r{aeF[@ij:C%ws!θ|SjXftt,HfVW "95Owla[\C^6Vۂz$NM8T;{->-l/GZK)v9=dT(J [ N9<+V٭PD87kBN`x HͲ\#%*]R!'y \RUMRR&/ J+Фىw+/$y]&'}FKylPcw]_P*Ob>UԐl.e? aH\xU.E}u4N{HLڗ?U˂2$.hA3OZpSYv/\"i/R'>KB|}V1WQ rߨ۰a .DY\[2%IʇaG@ig88s߶09@BQ:SݮlY?cu^z@̫vS‰,)9&Mʠf~aE8ACܼ!5-LjĈyO)ϡNDq S m7ɰ!xq>Y}7t?Cdljlm+TES eٚ z7DVy ,A)e0.[V?#{&l\"`E0N<:(.,&sXFJ@M3n{[$|y__Aw_αxe J}tX:1R~šiVG(xyp,u0!YsIٸ8v[ @Ū/%F?(H# GNȭ a}0ni 6Jîr'}IbF,MN-䎞wL$TfQFF1#1%QREŦjo # O#@<3[(reUYڎhD^[/aak'At%香~ѪA1aJSHEh1p"{dZI$bM/plf>U?4 O *B#HZ!s@QN'h:)|rXև *bk}EiQEA` GU-2J194 8XA㲙ETf XBc`-j0֚ݼ}I96vk4,goQ{sCĺ Mgl¿t?Dv0::'$(;xe[X4k-Tt»xI<ˆ@Q`ir _WC{+>'u4kGQ"*3a}WA?Fށm+c6$<(-I)xxu(A''DGl4P0+ ZRa/* raKn5p\%kT⅏Evlf%LRʮ6G \^7hs4gA> 6Btyep->j @|s?ph>(ww<*Le8&|6\FJ1RJ\7q Q;y3,X"SJ9_:W)oڕd,ݿ8K%W{E8ޭ yM=蝼"l>{+91hŒK {nv KqB[m*ҝOVH4#W䛅]N"_ krkgS}0t!qFN03l|AY"h`3zVa& |.2[*;D MH BʿPgK؀JAbg5idw/\dKX?, d#j8W׉.o`zv U!jOxd"hofTR!㈡^M\PF4f\O58bV Zu'F.LKpoU_eY_^gIq K~!4d쭻b5X.a5bAy&H%,Pmý8*'lZK$p%F``P}f8ck+3Ӳ-rzks+07<!GdEߊc:sP_Θ@^]TX,hVsuW.Ho"`gT0 x0v'l5by~%0_ *m2qA댏yS3R-hduyz'yIETJ2-S;8Qt ۶a6Fb )D #&EG