! debian-binary 1708773948 0 0 100644 4 ` 2.0 control.tar.zst 1708773948 0 0 100644 825 ` (/d']$ M<T&'5/'[5/ay82 A`zά ðNSS;.^~l)2:w>P )c/П:XgP3=ugB>>#/b7XL9@_/xsk'"a±pB(CE$ɲ8`e/u8]oءm M+4kGqpztcJ>G@A-=Y2(gt@I:kq&4}jZk%uW tki5o/$CQ`',3-̛Er^nq N1iiHĻؒ,M6Kims ::ISwX5wڗ?`e<ԮluMN)?@~>3OlF;0E2L-Ek,Y-}Y_,qny=,l1ʒ- [T0ܡ/ؗ=5cO6RͨgoyCbczQȧ@'B0ma(S"&m`HK1D $1ɟ ۖKոYZ/B+aëtEOG V>'C?Pɞq9C:`Hf;Gwd?8&mLS CRV71ޅ `KIc1ý=N"zy>j>Ol MPes\nEDBcspJ!س_/0?&ȅx*#wuǠDJV data.tar.zst 1708773948 0 0 100644 26140 ` (/hLS N %hѲCv}c,V̹)$9 Уl2(>!'ftlcV f>M3acGjH c$L45~wH~ԇ,9!W\֏Ӝ^}T>$+FVŴs;Ia"šJ [,-[X.1ۅ9e*h2IɌdi͌4ifTPIӠ{3`@|94*cP0XmA똻T_m|yæ{yP^V{}Ȍjs~f^V=1 {hW[.1=o5]G[\ w[s~ݻ~4|uk!+rѯI1P@y@^rfd=K FwXyass1J^(BAdƵ9cDZIF^"ɹXg=V~IZhdv- U܋JB!x(jFKDX] :ܵ`}>m';eAİb׮iOŨ+Vo=w!\螺FƎy $uztw߹*[nXur7v.sH*z03u$˦CU$iM[tE>1) ҰIR\&P5-HVlLől^ؼXHUm,1K`L*Y9L dP dXD`U ؅US]i*$(4 Dl @T<&۽}o"4ȖzS˻K(Hk0ErDszuu;لXelw.s[Bɠxs_I Rti`J1 b!D@!!$pƦtҲ/kht|EF{H ;0/ UšPO݄븥 d_m>T03ZlM@jRɋp%m?-[~E`[+s wf{*wșB0qQ =`Kˆ(#n rUg`e廊TCĦ'9&Х=ڹskdS"z]#Oٝs' Z{fӀ 5@k ³C6>D~Ž ">Q q@^W,č Cी899EW"m4=)U})iKP6L`UMtaDPM mɖq Kr uLDL wN}J>gA' @ dȑS.SԯJ @߿`2 z&oL"|v pE؂vv+:o1L.CCl W0CNA@F'ELdNGxLWAV A͜]$79Gz=riXd&zZ}=50]!X2%PA _Atҙo-5WC:3*>kYU {~{ʹg5 b*gqPk :0,==XqKHKthրK*>sDG\0n(h׵L߇T{+нk%Y]4~M@byϦd Pj)<>/ uU h߭]:(#x7IV2[lnZ5=Q%_E Z" 0.#zj &)v,qS,nywrn,."B%Dk)dX9ٕxk!>~|*j]/b8uPG6x7XZ𗲞O&vɖ`o N֮ ֵM>c kx5e$!kYˠ/[ gMydm͘n(˻q-*3uIouCsLL~>°9nI?9/ws Y}P%U^S:p`4a޻/>0Ŵ`!MrvpT`JSSx8!t4j #<_Y{K5Q6-Ȁ}1:$tB&lV[xxz~J) kM*Ew{\%b z5Q.,\,!9pC>d$"ٷ)X=+qxbީww$>je>~(1MGFfcݐq.[rjdHX 2Sɺ&h ʅp0E8{t%@tqs7uU Vxl,_s֝&@eKmP5ugX?i@@Ŧa!MBhfcI gÈ=R  [JY:X5gT4jv;"r8$Aii{H〗y8ݦOeر Nthf ,Z'. +t^v\KHQZ3U>񧍹Q(s`Oz f #=Mu?yX d:-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|Endo105566!@OC)(@|)s$#@0c'"Jֱwy$(t瀠-]_p1,"]24Rel_(o3)BK?/q2 D[iMm!`&(!0C<1)eO{ZNKTn1'ԬaUE*uc) Q 2OpeorfzcqIWEL5nC#y@$ߕTRsHvwiz'YO!ʣ8~hU&k'(~Q_J~'eE)fR FIzcXGeneMinMaxg/8#bNZAxio&Int\ = yf]hZe̳2t͂c|ydd'.)8:^MulTb9yO&:o&ݚ~ z6aZaߴoD*llhq @rSlZva=^Par@GƫBk}n|Powq&dاSqrtFVL'ogV.ZMUiе̨4Div\3\"X6Gcd_VPWaEXitsX֨ ]CFgD3(AbcJL#02_״i/nP3[X.M{~UN*mNpKҫ2&kg=D !|) 0aH`0->WËl%>XK/aR瘕Q_ԪeJYٺp$87Ѿp.эdiv0% d׉UAbWl&4.1@v8繼-Â\ EAA0<@#@#ᡠA!T@M0玐786@ @@@@(@&I@@›C!BFK4!fA!D1"2"H LJsZClY8|Qi6OaxPc<j폇uPLLs+9/C@ vCaJ(Jp~?$SeRL.Hnjy`P ! fRbwRT?a=ܓUGܔry`iQ$ @!mKK(!KB?'pI6@fHf%0S1Ӯ0D/;"Lbɣ׶hh&IΏ:(?Qq&fVq8/Q'BS9HM_`&*-=vQY$>!C˫8H|زx^9s/%ƖTꇽ$v/R!݆/F3FJiz6(|Y9 &2,n0 ]lhas As'b`ߍ j0ϊ9VVg/?V^ÄA_2jYN J!PK~IdC;qsӤ\NM+2>VD)^^$f-@*4ܭd5&zꉀ:4KGq>] dcMj2D!rj9&{ֈMW/oogAAi\q5ʸ3XFiIV6Ut|d/4)R/9]E巹*%c@ Zf-!fZirT& !iO3W&])ָ7Dpg&]k t܏%4@qo&6 yijZx07Б)3$a qL{fE9#ܛMF> QZ'ZuQ(%$ q孕6//щɣ XRGkzQ[+ÃݾHN{#_ Zfҏ~4|"O0,bB=7ˆԢ"L!|%]$;J;f(#t0!bd)1yyeQAyMidIJ:\:;_穥7&lt9 $n4\bw7pPspXJv0ߌ*!`L꽹gN &=u_!vdC(i{N\bN]@HjTGs T L.c_p~lq CL!T$5r, xO>i3 >wiݶ2/}/JhDarF;"s.FNFmINiqA:4UZ|(N{ԯ4ݧ|gS.j*P|2r >E0Nnmm{$xS,Z05:0]FpERѴ:?g8̶8DPJ:[d"[ p;qqrl}o S(ubaO]-re//1b6gDL=.\Yˁ_esW n"nXg?.m n~m'uX ZUrdq۬LDq ^cs!6z92 ͫ6oS,5>jip4v]Plawzؼ'à3PatbÐ(_*(LG@΀ B~UuLI؀ʡ&]c8WI?;B4dacN_ۮ O?Gf$nsëR Pmqngf)[t/f=RHL( 4՛gm;)g2nD_cl3"{rVzl6~~ pcc?< uQ>s$ }1q}vi}iEK?vuĸ=8۷ t&kiťzosO_YŠz'x &'>+,a6@B0 7>qck(_^nZGU*'')|^Bk aoEx-sHf&m+!eyrOjvyekkX u9$]#ɹE0W:==비r|Q~_Q%kTy>}?FDr0kr/s>˷ r$h=,[r9LܙFppycac ](˷zpǢpg8 ܑȽTrs`.t_ܚc4?,^ok<ԾN.gՏ.?55H6rd\EpNC1ޣso[iռPp}[tM;r-\T/b8DAGl +R&ڒJ$I/_'WtjcD]eNtj kjr )wMy~"g{bf5.fIՖ.~o @9g]6/Sf#y]csl@%%_4wҚq{ש.ns .RMbq']q>&]l)}ⶓ%GCǵF(p9A|K$`KS"լ4'MJ.\9g|%aS}rm&PrkIl܊B^]rbOp9cjmbe¥:5d:)`$e!#%-ᖂ JYSqKRWMXT-H>qҪʼn'ZN-T9*wmcRXvrbdYHXި%@ _MVsw/pdu9G&ml5|a\6聟~o^S*χ;gj8{;aپ|7L~=K~dvtQLܧ:b-cψVL9YًCeOay|}0i[ OC+sQ\js=[}\ǂ"I b~6.#ވ{Չ\E.CL2x>vӶO +x}ˏ@ܹ XcU&:!-t*S$A/1kkBkpϨu*FVfPi5*EI$\Fe0aQR4>RT:ҏqt':Jh6ZEV*#pʏk6Lc=Egg]k1LLXI v;ڍoߝ-<7iBa,mgjɀ5!CDSmMAZn-8tk3ZoiI,[d-\`46Y` d'ߗ"33Xk.9k,X[/FFDzQڤH6Odfdud4VHC Տ .kWyWsH"j] _[֐ ̫CX&(|yu ݇,H Qw(V<0_MKN"&^=~)_zL?g@)|%\_װ5~;y{@K}jWý/w5.?rjn6Dv Z?x!0WGYPj}p |'_^T7jLbf.ڏSqj$Tp%y# ts/TKҪa^󖔼W3اqϞY8F͚6L.eo̘%kqli/~Z8lWS/:ZL!<  !#I$(, Jzt3D1$BCABBD Hl **FŹ͢;IfϢ}]Fԟ;(D˙@^YLM/ Ѻ;_1#1L ; ȤӰX}T(bơV*`YWoʱtD)y3ilo5ECtdASnx0S{YdVmHos,}<փ^qܣrvhHB bSz{C} AexlR3wlY/㪛 Gд4VD8UWS}PffT\9 [B2I@gḧ́Ɔeڳ–GjdVN*kC#rsY58a# 獼;nҺ(M#W gas{9V1@ YeT.Ȏ\Lp㍣1$ IcYy]"4,\-;^ϟMQa_A{oգ{ay %,'2D8ɜMDP`K{ѫ'4|0 |jM$EGÐ#s1d $C;_f2# LCjЄ@CFV1IycY Oq7?y$# ;ݿd:4 _ &u<(ĢZd^-E f{ E90>`wD/O{uRNh᱾כ$=. Չ]<ʍrM*y(Je cF872I=oV5~[AR}z|]di)DzH1qw$cKv9E 9趺jFX.yRVluSm'sAy4v_0:\20ݠzI<ט):ͩhz"(Mr+6cDO|ǫ6NKVP)~>!GE\LS "IMc B9fːoJ-,y͛í(V§ҋfFCe*" J=,q<V͏/_^YUr^,afZ~uDܤBR}Y?JK8J,<9h2@VݡAb+1e]D!QȮJ}#͊W~>7za/z' Љy>>*6U9;Y..ʱUPexw%N\D\}npM:%Intk ;Q0ٍ(uEw!h֥l휧dkIbpq**W-I;y >kf^^,SW_ZW4;zX޽'ʲ{䩸_Z*݋]{Ͳ)hɊS>m̹khę*əEm>u ԝ{Ŝ_LvӒ֢[<':P $ۯZL^j.\F򧮙!!c q*^Ĕt`ڴ? #u}/^}t۲Ri|{5}gߨU_4$Q>l< X6 m0'6dϬZ JQ,d BWe,IZW"V 94)s,= ߒ}>\amzgZ2Bݨ;t5S 0Hͮ}kh0Ob')M>^2!@]o DA5Gf r x%trmr8_)tP<;nꈙ*Mu!yH|iU *"׼ڧ{c1b`2UV:z2Rq ߪ%;e ע%v߶&ԯh>,C tG*GYI-RZQH 7 mYu0ALQ,295 vy<[t>!>x,藓)<@{͊ dlL`p<ybj9 OK?i2ɍՁdfl,B,FaLP sߚO۵KqA&-vGa-jhtD[X1gD-ʉl:OiCi~?=P%봄j œ~c,=Z>z^ԫmLn(Bn. e3~Vh嵓 =uģ* xb?89tQ n{:XOڳD4_zTKApxFɄ;h [.V2m ,wm˷:q^iZ6ڙ|{$uֵU AY(h*J_g"Τf(tBx2T|Z׀=L Kb?! dg} Mlcg% }CI,p֛x2&p?WD|Qj1TbYRxW{xvL¼e}#pTN cF1,Ю&d{薏EG-Zb7o~,0|4ٴ;, )+Ϛp:T To! fݓ 'BkqjQ1{㑟8&d<_35q,d1 +Y(hUg$'p){ok"R"]8A88Z #L$PPT:z?Xc Īj>rJUui9,X1ԣ; ({C xkx9 LspV26+W6."`6f iިT f}MO4ɀخaiÆMI`MщfxN}t%: Rczǐ3~*n6Pf0JBbz,ǔ'+~(\)H"I+(\n^7{Fԯk \KzZż|k7_#Fd^99Xh/[_y`s MḌI7s}YܜVK$wWKBj&'q˦Arj&~ꃎq~lIwpt\u(J|)N7poi\:]ڻw{tt#> @^KF@m~F{eMe4`KFKƠѰd-IG46P)YSX8c8:whrM"L ̔wc|x #@ @.ScbSp,TZ*Tנ2::ۄT>2<ݼ V=<2sG%/uuQrT2M%̩#)f+0fIM@ L21%xڀեL0ob m:pDR DC{y jyd~B`voHP-ć=\aǻ@8҆7WE~h5yJA#2/ùXNGcq/+>=r&,+}afﴠ[K>KPTJR q w&M` n =EtN y+^&567ٓ^ ΀Ew`7BL^<C> j~`=k%1o(yO0ׇ~sDEVn VҜSkhUmzU]dQ,sBl{9XYWZXuV]>;^gZ}\]L=PKˋˋg0ef !,:|Hel'/ 3 AԺSAlq#]0ajM,&T Zεa\#Z'6r#0mFJJJY5-99&:C<Z m:.\-/hU ]Ψd-ͮZ!AaLkXB(nPa> 1ZJ^LQTCy*]h`'HhŭJhU-B9ixj\/Px-{Z1kE2ƻZ'U^ mc(`~mC`jsћaozZ8oKBż/'rxz' b!$sQj8d`UhRBM:v1j!_@aH[{zӵ%(edlj폝HJfbT d;}WEL+ ?sv;"K(iAde-I-p>Exvb}wԸ|X0kޡ15`awHY"Q|g-J}48hr;z(H4xTwOPJq{1vo1+R5u7iq KL_9TSj.=p[lx I$]vF V.js XZh}o05zů谌J[n.; 0~a3F֑U#1ymX2FlVykn ʹtfT<^/(,5dPg 9W',@am7G,Y|vϷl `%E8?)(_hd4d.u ac8 Bd Wb&HTܡ9a*KKC XI|Q%lMe3iwe=Yӏ9~~co1Euծh"S0'U-J--$5+ 'A2ZD8ȭ@{i BBň6OC^qݼ83 6MԼ9ɅK*qc}KWqୢP!RL i"b\t?M,QPWSa:HGF> d{? պxa c4<&9#0vxq/&"n \~ȿTi!IR{jF"4ŻxY QņFlv6@w;p2f&dbIq0(ȶ1 Uǁ?½A~d.yx٥7䊩$ITr!T90&pE#'LbX pIi>/(26.媹 ^y-vłg]r30#Xo}6np$A?ç`[GrM$\3JVv-Pk03do7$iR#xv:|9L5B jhg6w9 Ѳ ǔ<[QRS,'n  3v+WClD1{,vt;햭+0Yc9 Tl+~W@ ~~ ~YC9pe=8DS* Mjz4 'ÐLP k_{,ZMc׿4X/L7yOjNrf<X1SfDiZBmdͅagI(|7͚*)1!{J h QfE' Yd\j\E@:Yj.FD0}G x/:ɇ~3όL7 55g\ڣs١u%r O.]h*wɒFZPF0x}6@ 3<9&=0OqKCί/&`@r3(vWG4u"^?0;;Lg$쩒r=G U0fKBuǾt3`S+leQb/.fIϕfMգEyRute)TqϸsVNq5ֽ71nQ<#PV *y)KÏXPfK%h^@,b^Bǝt7m8lP3+#!`?5)ܿ(zԟHprCUK؇gʄ/o.2U)>Fxu<0!w-O!c1! ^2-:9ǡ'AoF4zi\eVs=oe14f [y0mȅsD/ s0_Wba.GWqy>8]0k* 2WM'4']vEܠϖb\VPa aÑUf PAUH|}0wH2U- wgFDqI_![Ր9EjMFh ڂ .  wH-"42yI%>&\qv@XҀWg\6j0v@lqfυXzQs@NYiXzl90#—uX|:x'#ेd_bOIڥGu|LxYCkPYTQrva c)W]*âuTG2#Sks)*Y5).Pi03SUU-D6YDOJͶ&\0Hky\Yvzu$#\'J((=w|׳G&@!DjۥQfIp3H!PLIR D^4*vuO.H~n m8L?YDI,9x38>ݑVm`&UF^l(*z_>tΌN9qF%arh ΑghjJQsI e ,iʨ֛Ph#1޺&sguzHaD9c\Zu+~W%\pcw卩s:Þhwuv`qFAQh8gƢy,dnXɞE :dBd(Zڝ*JlIR7"mpkGGݹAw{ щ{}ah3cbQҞS0  YSDBņHERddI$%)5vA @7eHL6 Rl0JTxz܀g3ꮟIw6\cI ̨xn6@^Rō-][NXt W#Vn|{õ8C rŊ4\)X<-]^$tk{3J0aF ;,OPൕ뮏4ٵ /`QUC i{nX{?~!V}FdUDҎg>B[!m!缸*9F"S1pm\X KxX$SO]lOc`.Fɶ>E(x8m ءmwڪ&~GA/^K%oY I} SAgw1i;:`}Ğne(c峢~a%Xcy9rJUxZ^ > s"E2y.yc`SXXcRܐhXVb^)+ȧ4*s25S%ck.Kf⅗ӓSӎT|2l'x`*ް&5cgݎ'R/-7oS}mue_~m#;#d1NU$ ux{Z(sĨiؓ[eƴRKY"t\2%maBigHq Hߴp9@灄NQS%vh?cQ~pLvڃ),.9}~M ʀfn ٸ!Gn^ 5mIjzԈ9COXRsmo0wM\K6N!bG ;;k'ֵJ.kk6=9=(bXRRp7P.G̹)ӹ8N&cQ5x<8di/ ٳ}ɾAN32W~y_ϞBw_cxe K}tHNxl2~&=-6t6Oi5qr4zdA$]Dy&<2GYj[pa{î[ϑz'я5qr+_4MYx:F:^__H?haitOEȪR7F/L‘~:k!e9VIlPaH5RȽ=H/'&!r!,o mzu áDžڎa܃ G$QKSG;C*E (XzEVcdfX Ca樖 TQҩ30zy7ۑ'#@<9\2Yih^/RSegul#k'T ́5MAh!Л0($ 50r"/d4/J&woj843 ҟ_(i>oP(|wv(҄'MϷF&G! YLK_qbUф7H7-)4c'jX;䈤 O@wfZ!8O#`%Q+XqeY x:;(-~\l,sT'&(kePX4i-Tux`<@T$đ`iu/aC$>'2uu/(Pu0> u+E?o#HB@6*6o Ԟk~Ɖ+xХ(1C'Q dq(_Y+Z+'*Ϧ ra n&t\$nVᅏsEv}f*C3,RёJbW"t+8MZ"a@wW.1Փ MaJ̝'&v.UnM!%hڈz G@ {͜!zQ`xLS̥0y%g;ؿWz:SʐC^++rK6x%W;XrŰW6Af):X( @!CTZI#>rJY޵Id[\WPI$4\M{l G1l3Θi܆@y)% n=glig@p3N~skv:(eG͜@>)_[( Y.=4=-1,YF@pS|H(bI? DJ6&x(7% FӣV`g_" {)AG#  , yX e3*K'HwA R>'WI eru-G\%z-c}7ɺ0R 17탻ڱx=je`=掖 ;09l-9XcG?i1`ϛojG]6ޙu#IEt/0SȋE;ͳ2 \2d ;Kgp+p{8/Iw>xT1 -** J9v4.\ /旟ug>Ƈ;\3D~.8ۄ4Y ^Ck"+ ӮFWK hXlM&ٽa o&4Y[F3m2hYo6"C y2[ps.ꯃ׻J Q /k=cSČ3?~.PFa'1.|:VX`%]B!#E%Z<us"nsp~Ba{>/ zRQ Z+`gcC%JqD{Ӷ̊HE WldF@xf8"=RȆE0Zç$uM