SQLite format 3@ G.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info }r< ]/]ZF-Induct:threads=6elapsed=3.581cpu=13.100gc=0.8167zXZִF! _]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0Ћn㘬7l!1DBBG+,?MbAr)0޹O%Hu<%犃U]T[9mV Fi~ʥ{9.0O{ꊆR%g+rs Fm%;} !xYJf)[ }HgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5->@"p':j e6c`jD[[BBlV-L;+NҊR3^PMٺ{梷%e2?c⭌^Q.?w ,eB3ˆt"t~,·Q5n:;l-jX7?RN;RLHlGFH++&;(@w~YJw&43,!3c>/|+Z-gYZ7zXZִF! ]ŗXi%b5XYLU~=E_푚_YHd ^b?;*nVr[aE“Pof=2: _ U1#z-$3'SˀHx_L}"%ߩ}lh2՞3Iִum%HI]_9ư|Vq̄]%*.DS\Y͉wk7o'JeM$N6k^œrLIBƄ׉4Ήu0)Eo\gBk\ Op|uV`I8 }Qi&vEoZۢ/pi D(BU|cسX,-[ЯB\#deX|N<#MHX۾4jk7·?q \Xb.N "AsBli4Cu'ڵ~K$N*l՟c7pX>ʁzIՉէWݸWopgbe-d.Pf 77jϱgYZb57673d65f491fd120365750d0dc1b08057d14359f3df623f783fd84a7fbb5c71b7694606606d9a5 1f8b0a77c25d36a8ea1639fd956976460456c6c2818b829930bc85c5294d1c82e428e9e1ca331842   ZF-InductCh)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foaBLAH++'ZF-InductZF-Induct.NtreePIDE/messages=)+#ZF-InductZF-Induct.NtreePIDE/markup<(+!ZF-InductZF-Induct.NtreePIDE/files;.+-ZF-InductZF-Induct.NtreePIDE/document_id:*)'ZF-InductZF-Induct.TermPIDE/messages9()#ZF-InductZF-Induct.TermPIDE/markup8')!ZF-InductZF-Induct.TermPIDE/files7-)-ZF-InductZF-Induct.TermPIDE/document_id6-/'ZF-InductZF-Induct.PropLogPIDE/messages5+/#ZF-InductZF-Induct.PropLogPIDE/markup4*/!ZF-InductZF-Induct.PropLogPIDE/files30/-ZF-InductZF-Induct.PropLogPIDE/document_id20+1ZF-InductZF-Induct.ListNdocument/citations1++'ZF-InductZF-Induct.ListNPIDE/messages0)+#ZF-InductZF-Induct.ListNPIDE/markup/(+!ZF-InductZF-Induct.ListNPIDE/files..+-ZF-InductZF-Induct.ListNPIDE/document_id-.1'ZF-InductZF-Induct.MultisetPIDE/messages,,1#ZF-InductZF-Induct.MultisetPIDE/markup++1!ZF-InductZF-Induct.MultisetPIDE/files*11-ZF-InductZF-Induct.MultisetPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id-/'ZF-InductZF-Induct.BrouwerPIDE/messages+/#ZF-InductZF-Induct.BrouwerPIDE/markup*/!ZF-InductZF-Induct.BrouwerPIDE/files0/-ZF-InductZF-Induct.BrouwerPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex3/5 ZF-InductZF-Induct.Primrecdocument/Primrec.tex  cUES#usڮaaP '96"J!#7<'r]Rr*N@~\EU$ʔ+*V(`ȒjrH *Nct)Wt&|ɷn8Vk"b`nHKN #VQV Ep&'lxIX7 |0];q2WfkEӿdbwW9_Hm0b)Q},#d|HGbg|sU%`1GbX>})b 8c:n:}2NQ ~ O(iGʮ6Q/Hu5$ CPZv{9 lE!@*'!65􀘶Hٓ2U 9-"3yEyUJ/ޖ\QlwK-6U=Bv۩b3mU`ghߐK)7\}Uוb|n8У- i-7iy[ g;mլh8rW)_qY dbάA&K#ψA-/<ph l(ﹶ_YK3~Rzf*nLmܣa$=>u.W]R.8RKAxMps %k3NlLJk+dz"xlIu#//GAPH{9ĉYhvgje-:.m5}@ dr76h0-z5u6?DBL 3yٔIï\Ϊe>3}@N|p`6iwk.C8bҋy$ S!a8,\#|R}.ۮ52BM#&n^<}c(T)X⇥}!pĜ$up&3*MFC{(A:w̴ɣPDln.LwSW;} 3yo^']48WKNnՇwwEq hmGx›oH6G"!}% SH!悏2k .?+r.d'5%Cᤀ}2a#M{,W {ꂪ,_0y:5KdQ?&[fzKՠX"r23>BA+le46 n 0(eF4?.ѭw ='P虗,%>iJNV}guɕ} 50Y6pwomt R#aw%J^ѻ&;0 j`,Z`>n -Ƚh-mh:H_Oķ(ZfkUEm(Ʃk}â(uH~n7\цe);VZFE^|@D1__W) VQ&Jb )5(%/q%-%2y-S5eP[2)) q" ,m,r }Ќ-4?<N xGlAcVy,FL1 E I n>">fɀKglpt\k?j%>2"`r6xfxнJLy‘0暆qq4OLqE,̗ɖ2x?OmIkn~V ?{bUqpb/+d=|-bAX2%Ǟ4`k^՝q>㐩D܎iКwet6 or |K~r0%Mw'Lw^|Uʒ~2m"g[DE fF`86}bt& G 'u6D9QK?`" [4[25G&9aC҅߹gϰ̝MZ t g*#V8YV> &-/&dW|XcWPe:WEV q2dPDFM~%2b׎8U2S\eDm#iNDL@0QWRWv͑U&o&Qot8-SY Гړ; O:Q)-Kq0j?d2̪=3߳Dp;*SEl~`_2[uM>Q 6> \}& Cdn4:VY|R &4?0LGW?߯2laGrtF9xq,rSͯѡ#d29qi[]Y"4E}4 ˧*Y6#FpoԺZ+.g',Āy>5%W2kT)0;nv6M~Fܻ@ޤ$ы  ! Fł6@ $?PcOg_pGgk@޹&{إ-uJw!wVN+oġϷ%,؁\3S$Q-$q{_|zZq帤S\_?#]S7Wj*/}9S)IyE DɔwJ{էlgԓ2̴F-ٳ+7 d;!h'`;c%@{/I| ^>-:IgYZm6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Qj p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZbچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZ / /h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb j/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I 7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ /5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ GG6+1 ZF-InductZF-Induct.Ntreedocument/Ntree.tex7zXZִF! p D]A-MՋhvG"uIBm5Ļb\ma ) fXw; Dt" jg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗxEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZx )/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZ  + +R 39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ d 9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ v vA 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,CD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ   w D A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue(4r^jW VZz׏F&6 y}^^Xu+pGBW) \_;t hl(vK~euAΚiE݋4$`3$\k?WQa,5bqsC ʈ6E5py$TI\ ~^9__L2?:n[R 1ء@=wwd> qEJXkj Ə 2 C\냍q%#rH؎ ArYŶhf'̺d[J@JOtK \vТ;k8-RavB[ Xz h1MzZ{9N0᜽x 4bYC^En*i8[/ŖSIp}]rI w =O@ Ķ0( ՠ9}:u26K,ns1,?}|n:LafSbdMMtQ%i"N5``,3PBuVS#EjWJ˄ϻ9#A}cEO7s̶uƭ?Glֵ5\Ii'W4%p^bWb_ c h ٻvkER~{gO+ul bD9^0j<+S/p.7':2JjiaiGMpԪ225vc/tOD0 \k?]v듪L2wHU*r%yHŨۇWLVh^[?'+avW/ Kj|ˏ"%ߑ _1-Yc$-fn̕TUÚ, /Vxw9> `ņM=TNIt8=8Cg ^^BY)O[4)˒+EqVYo@EEhBSi%=/1ci1A5\8@r0?FCMES EH|3²aIjOfq=O;"{"|.33)zΟGZAiS%2ay}(LqC0Zqt|?Sam*g^.!f,rPN<>yݧoG'M{ 5Ւ D!PtIY^1vcƸXbۨkݒ:O$v 7YԊt\M5:W{ oK( +|?+;8&5q,BofkymdęzF!]@܅TZ=-mPoL_͋Zzw:'4m1*ʼ>b 7DKM"fsZƏa%E0ˊeި^TS5rgAUOR)l ">Zqs_Q#BKx-rVXT~cZ(~vLgX9@^$q?ra>缉$0`')ҡ)O\(VF o$wR_ֻlx+N8r8h}Il-O3}TJ8F@gf'%mr҅"4,MQ&g pHkH D>9Vإ2:#Xs}_Fxt w 'Qth"xz|3mAS hW2 XʥJ5=Dt6*JIK|VL̀`6M 8|tF.RJXZDYhgS?1} \O*S6FVmݔ/i숗#R tD. k1 1rYRL#q6T݊hsV [)nbȔ vS|qg:U? C+(n.QDBg 3Lw)T+~rI!J檼*{thOq{΁,LI@Ϛ@NQ\9xJ" 6;2ڀܬ0tQ20 D0+ɀA#U"KXQ?g[(nA.bQZʩI I|!avRhK7UmpeMh)WF>K,ֶVFBcOpc8d0Bckik4cX'+׌ Uv[h=jFG v`)D2-όvRx߄vPGVc.xIOs)HpދjDy 0./ń&lD5:(be4ucX9֯ >!@ϼz֕}()Ut4.WzTT(Kc4?P% z5V^#c<>I1oo%(uFilkCՅ)T8R.-H/u[t%T33* `0#Ejv֦> fXڡ`:E&ZQ?dauWޙz_#4<7.WOAQW 5C\y{[l45emPWoD~ZN0i \_O5#GRP0BA8K?mIDV:ع20B ULч,뇀ZrA CFz(t[Ҟ˴X"¥17!@r8G{j^`Fa?!R { *a&CvdfX_y Zh&^54tqTcÍ IϰiԎ LU 5rt;es ogYZ  b yC HC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102?/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GO]·Iq n[:|&[z StۮLeL˱/P)"+[kLq'UNq]s{jZq076͇H[^GJ~>dƝMjU&4+G,yJ:OP# 8C{A?m'TQh4۱j3?C],[O/e: U .ˏ|}c0/$Qe*UN!x VVGF\<&0?D! $ v)i']hGBGEq|gYZM/# LZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*^]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM?ބc$nu*~Ex:yj\±hiI R!qVZ2i(!qѴa!wz)F2hH-qoA_X61^D,hd6k>t`OJUJ? 'K~^֛oɷÜ9`K;l`B]u+ݏi"$Fydnx!1:nbC{^Q/yA Wu) #ھ8FGefG`b]\G[n*ЏSjARhRw c8a%L]lGǍ m:Iw>â=L$͋tYV]Y'H!q(^7 Aw;5l0g @ޔցӴte G-T" ٖz%(4꿷S߅ U\M 3/Ly%RUV'#&$ &AEб ȑ8G!ަTLo?ϼ *^bgYZV /# \ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9'pB09\I!IE<ꞛ={,5ўwjǙC)RޱPˀF~ác#_%g{'c, bCo|`wV7jVTƮa$ռ*\:ܲ@ ^mg,zED:}3vsZBz[GV:[ #M-jHQ+oi&-dXyiLk|+ E: ϪTf1U%3\Y<4J,|k3xPRya lNq6=pnG/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' lZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z|mpǃ.dN`)Rn{\]: f4k:^*64p(lTPX7xD(Pv h)[tB2©tf|k C1)"} 6KlJr;#|s!`myHUpW99Wn'pZi`a@U$7hT?HGŒ{OFj.kbl9O8 w Xùz1D]Yv޸+FWIkzFE` |c[hx=QsҪ${JL4?fOqBz&F漉 Wu-c6\0s_2y (T@"1L Jx/|[)d)ԆUx/#04NI㨄 xN.XJ2E8mke尃bb>[{u,֯`nV,G9 Q&7ܨYa?|t"I밼k*x|$9zȚа&Sv]6 -4 ;.o>D0^ t`}ULUvmak݀j}s\zAM7xwavj *G|Eqߖ:Ѷ$6gYZp z{[T)fԋ3 C:(D1#3J$ `w1yupxȜ4 QLQa&܌C pszJq@!cٰa$~Č.Ր>V:}RMT{H-`qzЁ ,>Mb-Ve:VCi"Z?j=K1sxky&+7t]XfH?7K^N \ZKu+[3Ȍ뛛׌\OIckwXqkR[!CW߷EgEu2xeNQ? , ͵qw{u蜎J^-Xf$w/Ew$F;/O+64$b Zf1#0쟋?B . OhVp\5HjrA50spEd͵dK!sɂҌ[Xe'.+Cf 䖳>eR1a'J/'4hꍥoH"IxÆ!uL0'Ex4uѲ8vG-BtU3:sħ=rxZfi4f۝˸|?N1Ӄ dA$IQXW0&Q<5`#%F5?I}Ӯy"Y%ֺ@g)QWM`l7IF/Fg:%!@̔q)\n逪!2Fun7: caUe#<4T7U]FANZBƳLc!e$ .t} Ұ!uߩykݑ5ݾ f %Sd=Đ=qCIG.# )8J6JLQW2m4c!H5`t$E3İ..7rS8Iij[J3)-)\B0GᏑ`Ɣ b@LPIޅf&*7cTP q//{o]7 *A[(nǣm. *L1Dq桉]Es$>Y45Y\|ߨ{U[lL괞%'EV"1ky]t>C3¦SN7f'e߯HXA @{{~bekiɦ&ήG yO@4l8A_;_yԽX8F{DqoږӢx~ klqW~Z-όߏbmCa}fՃfjw`;xfщ>%W& KP"4ݲP@:6 k#@ӚH ,:H[z(]hLF7z_K+DB, i+L7ۻ[h(jmXmYA?z~.Hc˅DZmxKg (KÛ$Q U~6Yfί)#U\ ܦP  CiLsg H9kfx P -clDo;Xշj7qԍI0RL?UˀLG%U,J3~-&_xWjRJ1q> f;%݁P Tڌ,mYi:pD>SIg)X"9+t:QA< zz)2s4c[>([DcQmJ7լjɒhd'NXTeg wZ1 r3~7M?-Vo,W;p.I2V^+"LF)#;)<ئXlyJ׍e 52rqtK^v$']CVU>C]UAMb_ZE U_` EZ{ݟ;dz$SF捹S3@A[VM[8 u❨ 4AF4re+JTYz:CXB:2q^d 6'JfV06#d9uxsviՈ6lKBhХS:϶|gP"խG%+fJMG݉12_E(Fԉys *-GH4wѱ*1O C3$G{J.d-0+k21-xJ "lu'nHCD΁^SPdF CvyjO,G^ f5(>* +`? ,.M6ϳdS:@֖VL (1u19&[qp: ?o⛰yz/!삈Z-W%s=}:fjT wK4v81褀=3!n[ ovFh^Ovv*VQt Pt:$}a75w&hm6ne1ޟδ_"uU$mȂV8:y$ٺͷ`]?{÷ -0 yo~: r}w!pS[riu:qRM"d<.o9YgS8&o:kWjfƃ7Y8 s 2dm'o#-0k/B3gTn78`OsP\z}|GON2n=;|DCeuFH>( iIAc8] |Z2#d̕KozOTʚv1$,$&'J[F㓢\:Z Uʈ9?Χ-_{Z=Ow[ * =E|tF?&J&[ScUE繁mnǿΤ. 2jPذ68>' q-rkd|lr~r-l20#L~\E0?&r{!_ѤGehݸxGKqZX|>VLnSۛ+zXyN,aX=CnG>ӝ^AQYL%W?^)e-{Ix?0zNy; P}1Bׂ@6 T 7 "Nursy rY'Ƚ@[6>LN:YVx IS:x Q͠R@ju4G9s:X$ҜS벡fǂ*QX:9y/h%|rc妩\D7m_*I6aoy )ːNmci5fK+I }wނ0f_⇠nOlPtì^$T=(u.T;ASUKy@4lj̱ SdM~3o(Pe`Ɍ6w 7XתlfzЛy6۶l jPMP#jf*х@6%MAE=Zr oϓ a³IY8M(.|25ؕ7k0xK'_JB)) &Lb?$ Z+Hׄ*?VT^O??֛y`{+<R  r*1d!<ucР3U1Ԕxte%} {&T7 W&;EB=,v]NQԡho]Չ7؉ݝz”՟&+D%r6]or\ r7X[xk NC>Yo]/a/K '˦W~rDn1س$12@Ek+;Q6cYa;_[ $R^?w%]ce6 JI<[W1Ţr)UغfJ,NēN8 麏T?0{ M(('Bld/9r]qm?I6FdԌdXk3[H(`$6v8)lT- <+ϵ% >*WoD|y|I_Ph OpMR6B m }W" ϔyZ+<2}j^ߥiֻ\"uO}I.>H)oDXG̮ G ֽOA/ FyK~_+8p 8:*e_a6A⒄[d49ƇK/`o&WfFr<[#;O,n jPeuk%R~RS$ x5_5@'iS4]ﱯxWCy>}nZ1Sγ=Q)^*滹vU0CjaRj~*lNTZbkM|4 {,ߐ%*rҾ1ILW3Yg(Ҙr-TAn3* uF0o x"f'Z{J¼e7 钡eSjS]80?|2Mr+LUlpGLI_#S+7s[Pی)@GߥvیVi}ʹDrHy]"$|Y\4L (cn>;ґGɆrк %6iQeΊWԢS-WdX,b,J|(m ^_uHɩ K~dvsT{OK|&:.]4ʊ7`Dԇӂ́&djgsK0ǘ:qaST1$-'. $^͜k$HLSE~"cKөL"UbVu~l1?|P*hK@)l_'!l5i;h.1Z@}J"ⲟ#-Cז2V\Ýhaf C74q&s#PUZ!{~kZ)],(Ĺ&sj[ԤO4 2 v532U+q$퍖믇=ɇ^}p79? |MK{ _ > -*oa8*#L4VklZKJ䆈0myi۽8džkm&L6Nu[@UX2}FX%:KS j ;-UkEbaB&!ll0%+Xh,|+xvA1͗JmߜwuVQsԏ yA+ټ1tE638_v?YgsG0l8 0z6ʼv3ggG߽% Sx%D6ڑl@6ΚLeI1N#~O'R[AT׾w('4Ym#N:5DK̈́QCMI 6<)g! fy@<}QumVa+F#-[ˆA GqDyI⿚dL Viu7?:AΖE\jqY[dʼn@JG0HOD] ][j[rN3aKTOVЅհզ&$yaC0ihWu#U9{(9$?(tBIe' u@ct¿ ,:s7D~_bR2)GRX1s]LԲMW *ba=r Ͽ򩶲Tދ0lXNԘU0cTN*}>ybWy>֥Ҽ'uTg-#{_]=H: [rs=}S[_j-3CpKցzU\ دu2Ii[5Xf].J(ꌗ0F*2sڀV..~1 KHd!>V6TUC5u}79 E)φ0aA:iChYpy*8# +L#^ cENfSzd9䉛j.s8Њԋ>is׳DTw WqnRr m3^$K-RݬQdyR4YnGy~6c6[8k[C]#:aUFH<ԟ!Us&#'$b,Y~1fV>AFOa_{ʵi3ʠSUA/."5GBU#:@~5q`Ǹw xůJ !.%aA_ :pá=R<<2).1' $pm-8oM~@WuuSo*]?cɿlV/1xI@o14IPKB_`sM1BmJKXUoLV,VtQx{8k%7.G`]gC0Z΁ R Ӊ}#=0?cM/#ҘY;>DdUo_:+劙m1a,X"Hx1M@s +몱da(>$qczfD Z@zMʎY=ldH! wӌ5-i.[{F?-iRTeffĤ2_˹P>:s;=oed>DMXHqK2 36GCv٤4Dy*ipᴦpVNZ VhWBUp"D^ir+hBmbZ,h/7AMr:8X/7c F]ZxOqzc1/P8<]Үʧ8\uڝǟa@  2oL(T* /0G&O6Cr{`$^(]"OyLclF7چ٣r(ݬw&\lGAwFRc!0v9iU炈"cLc!$ۦ;ۄpKQTy%&M]EZ!cV%h'kM|6zik||GV~F֪4Ev]&P F:\sb$DF X--_ ɴ'YOg3Esfzd9Ui۴.ךövy$ctzw±b6S) Jf2QPh"/(}V8,i8XC\gǷ,J}`*L)KP}q–jn}wRнHƢN,r6̼lSܨߊ%*X%Z`T߄2z@u-#RQny8G8 L1UOIlOFݚICl_~ 0B)C%U ƅvlI`Avb  7%ӽn*ЦA;z*IH49ï^ik;i֣i+{sYI3d'ec8?|:mr" n_H(DO|Q3XPR͛w}tզoLɝqv+egB~uR?ߣv GE8r  ppF}Rrzk _ovS^ձ@o[וIXpA?kV*ksf:x*TKSmbF͋бj9XGa+ɀqc'%i@du8 K"yYH5}l 1bourF(ŵwrYECؤIlDF9X1H 1ɋp"\oH@ܜ)!Kni|EIs<(hEuyߖv4cky>\-9u fRQDI2^۔:l,pEjJа]HqPqi~wA;!pu VH,DP69nXsj4 ŤS>/5:+ /l3WjpY˶tϥ7q].x;Ѡpl]\UIϙb0{+e8W)̆޾wg?j(∳աdz=f ‘NKiJAW&I0`ۡ|heOtԷڳ&a>Z:R- IA&4/*1blQݢ y]a#h -^O.@sOh`:tc2u2vuiYJE3,HyDvW#SgMQdHW \FD$~Й 4}}ձNp%䰶*>/I.[~[:L&i.}}T0B |tt$qeSL6NUo,͐r"/^V0J)sψKֶΆs4Ϯʑ{f ?&IC)wEXs ۗmgz̤cQq>-矅1n.Kd0(kRXV^HPz;rl%+lSaᵔ,PΫP&5Żގ;8Dx"irf_tCv(02Qx1{ayi^6w8piYv+@, MN>*|:$|6$q:qC G^8c*C5J(~k2Cr0\^eb2;^h%9YwMװXdX]u 7T1Z+rX;}_cr>B6 x6;4 ,%/ebw1A`QfnQӾTi.#mjMQ9i5=uc:Zm ޴A`Ď:r t&; uDELkG_<& &?U)!\SBkQ@ӕ ءkI<a0,= d%\Τ;lGmr8kUmsߟQYᇑ6b ͈N%75R;MxRwtIu7Y QG utCO/7î5+=&q%imt7%]:QPDnx*'%Jpg?"$8UW~.p7>]}T}bCImYW+q޻Y5&ìYpd vgYZfsN"*-V@0nmoPQ8&*۵ )==Z 9al8wFFT[Kuzພ.N[fOVFxH>9dX[ʱ|)gAU,(9i\y~rr^\P]c.JVM nPanw퀿H4+O 3 Y$If${ϛ?[7*]GqH[d۪V7 Jzb UVUֲBs]Hެax^ὴDrȥΌ r|H8I_u]혖""OҚ׶Y0ҭ8'~p⚢cG{_!d- #Һ|EM|L' c(.{'wrF 83:hM0~ՙz BQ2;)2ʒ`%0Pcfq>"$Ycp#$9q˞ifKW{依?^D%/+5t9bykJ][|FEwSbAqxϯ?wdf7dfKUm, fʰQ;{v٫h"诫Qi:]qP[|<$\,jek9VKގj ̏vMZ0H|@"t-]=ܴh8{"3%͢$z|4ӊAx8sGb)b1ȶlbw@q-)vA#Я{lvݭUky ɉ7/XrNI=F,ɨe>4~'_/G;xX/_ .3wDȧ|+2qM"]e-(]'gE)"~at&GM7=/) miwnXx;qI$$~POUKp i!|'F2>(g"5wGOSD[}6̚^\ *E'&Q~|HY(s\F$rG0c5_ jkB,'@unBk$Gjq@ӅZ-ܺχvב5|fdr֞$<qZw%I|7n]$lK~," HEj*oeL) Do~I#L*q*S0WQ u~ $x{#zloz# $H;&Ə<'!ޫO#{98Z}ϕcv! ̭Z+zoPqޓ&^l+^61uÓUW}MVOhƞiau"6㱉 /bI{\X$~j-J 1'19G X52Սȅ;ޥ~sԨQh× #j.m:jcu)qb'5cTy{.?Mбf(?="V?ה1$qE)MUlJOáYӍO,sZvȹد4*sG ~ˍ@{He)t Ѣ8O[HǬ7"ϼLpg+kb:; ` B FWMJ *1\]2inncHg}Xv}{';2>NR"!d(>>פV()/UA:xqd]:ùNS"_Lm-%sݎ ρf?iƑhvB*[h;9<~Y}9!Hp-IhDsk%Г> *g9 }RQJ /őK]1BS4bdEm@*Ы2ӣ|NշT-g^{0 zY7eIFǭ4vP0LyO@ܴ7*wmw&N|Qěd{س{Va>"nBTBig[ҤH`BNg [\5X4XR\ &8ر>wۛ(DǕB=~ne+W 82G{P9>mnydZcШHfCtbW"4#Ĵ82~i}ee d´ ˤSRPx22An`XРÑ<{'寣A_;8AԬrI GtRѲ%'8Wc:qxv6r^yd|f9>b|M3 1shCaԞiM}i)>VX3F[矙X/O/wn^xŖi<i,z|tE.E(:*97(ADQ?Gђe_%/e śQ],[kYkNI~^< 4Fen( rvB/@Lo-W|jG<څ'|,a{VJ'W4|:~oz41CJr^iv̲M&v='Ф;n )zԟU"(@l/K2uVʱ+Lw=D>IV~unv`lVzuWj("DgYZn-qA*sW" tHV5pN*ͅU_8G!**(Y}TCx~ɂ{05FC >ll؏ +pCܾ8Evz7)3U,/1mie.Hl "MtQJr?,87T<{0 Z_f !Jw\i Ez1G  -j?Zo$=@Ο{*7As95$?̢IQ`KF\F.EKS| 4M #Wʺ\:7*͠pۂw7wzrϫ fi{-sUξ!u:VGʲ}Z~_j$4cm)qxIZԃUj̾Y]zb/ ZF4?TjicůkЖ<t=-i`2ƃSΉ=Äi=ɀrJ b+:̆b!p{x$c,uK~CBЌ3֓R-s?nZ wSޫV쵚 :`R_̑T#u4:G6BeYS57P7d:W-H-~Җp߬jxku1&y4_)A麶jIFtᓔ&>#?u8hZ<(GeIZU>H2$hĖ>4辤\[o {f[zlTi`8JF15QAsz/l%F褌oDožJW8\ݟIj]aq["_8&5 QWtJSZ8WDͺ0\ORJi\yzJ~_w_ aBkX^pb%(M3J x9bܰΩWY{IJz鞜I7aYj&~JB +oavf*y:tdIY3<seGB@͎zXͦNofqA0Hq̭F?Q_,Y'h:D+ΡFIf8!az! \ PRK)vߟз`*Ubc@0Ъ ٶW}w ͎ ??sV;^dw<6u#?jDžzS8xni 4jgeb{ʠ՚{oJ>!~2O7П+?agm3s ݂I {u# 6gu 2 oikxhח3 la7i7hܿ7xtD͹zAAGXRln@͏_R*8JʝIl_opGL<'Tt[I층Vih|⺨n⛽Kǒ]z5 <~nO9bzデwzF䙸ۦN&; ⣓[E+zw,Ϲm7V^0D]skJ>J X=;hKܦɻꍜދ r?B-b&~{~ͭ{TBΑQ9{,FdN{L[S E>IJ7xjxGalW_Vc6`:G@ Vq%Ufd(k' Ҩ{о}'G,CZIfdҼcg() &ӹlYsXToCؽm=o}K)Jʯ0F~jLY6n,g!UШj2fXIDR5醲-Ng]ϹV|vQ!-Loގ!̏`/ 8_XcG*wP!`ǭXپ'|H(4GXWݝU^9|׼3uZvRb?iSݬ*/3@m8*Hq#1#NS_V!T^4NbK*[ y@t2Ӗ;G4Omƻi'%3$c|ѮMKEBjI(iA]š){#`O$%B,7u$/I oHj;չF%rhE; wcMuL$Q};eE *T!9NbL [UyJ(~0d*c -}  W]haǦ-Hk# ?ߪ1 BGc5a'1vsbQ] le ڸybY!P$5- ڬv*z(9)e8Ro`qxڔ(-5&p+|%az}nR,)KL=1_2gOvT aOn64Hi'v 6kz_Ha#|Є}T˵>)x'ӑUP3ܑ'%)idZ#B6ʯ\B_X5c.R7eUy}ߙg ԇDl1:}Bq{ OsPk-E3} (q79G&B D84:*B;B_Wf鄥gǛ| 'ٰaν"mVPl7+ä򝮪@Mn|<- A()ҾuB=:xT=+N@NR:]>Ϛ fHgYZ zz{+# ,ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N ]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?ځ6E!.ȋ2psT0*D "nZ _ڰ )V.(kxڴtLFLxM0`,S x.$V 2l)eAfJ^l淴2iXG5|}: I5 *V/&':_E_q뚛sEȭ l?X(? R6l_.(FU*(:ZHg5h@]mW`OG_ ܴ ƽ=ٕU~~ ioAH2>pV WlpR <@0c,yONu)pGЉ[2}o&972]!+#ޝA|LɼL"?h~qo__&>Z'7B@{ctB \lO-́q!]{EH'xᰗ&Q|K$ O$O8`0rha_*qT)`4d4 (jFd$fhGS)X.Nb?0W|Y=t_c̲.5%48?L>9z(ʋ!Ⲭd(_AV) SK;$Q(<=J#ϒ9fA!N 5Y*ΥD0v_|u7 hG̽АKjRm廓Zr\DʥMӡ7JA3J m!h +>I{'[Mq+'um 9ANʏĠh{Gg=VPuk^ޖs!=( UޱΞ`9T]9!_=[ 8 /4 Ibx2\%%X,"5آιoӽ%ҙ'GKvN:z]|/NV.C-f Һ}r-Y̩7,(Ss3H^ޥv8vLiaY0JK3'j4 5TqR!}z.yB ~K\⎘?? tN_/6\-(5vq#xtb[zOzU@><&`F`blt3'&-!mSUh |uwU{?z8,bTϵf#1-aO7Uםz1>T/{X '2cCI"-vخ!Ȣ҃ k*AAW[x*|j(_ 6W*G\a]yV8As'He(cv1LOoNtcO 1חV1$-jaRKa@nzu q"s3(<[of8]Hv\(TFԁf|n$fzvL0fn8B3$SwW#/'u&;GT#uwna: v7)_Q̫NUa5*<#ڛ/Δ*[E/^5?{~j.ۗmݲMJfuQy  ,*"2>o30Uw]\8;k3Jv Oѓ1+l·i]'Bެ]B(n;/b&6D~Rq=Z7LL(CVhȻx*dNۄZǖA)r}vxVYkR?eNE5V* wYfwqu1p[ r5 A%EAKnhҎpXRQ;9$M@*y盵ɺç} G02uK~*QD@Ҭ VtotZ\md?°]%",S|n!`? 3KK snv]C2hpOc |ĵ27D=*oy!P{Ő31h ,Q&yYGHjD `R=]\5u Dk]Z-.~]?#Di>=GJn;J5GV(*߽=vO>$./9޾sw]}Q5hsLגt9WNʳf2悥0 T]i%z rwr)һ ?oG 9? 䒷2ڱ.$ 'h Ώjs ?׵&@ x?٪nM)X&A dbp hD٥): <\kI*9pjW ax85",Y}PӊFW j=%),c8@/hzF`a! 4p?0 Cvޗ`ń"ꎆpfyH* E>%.ѐF@ԪuӡN 7[oA1azc[E@oПj t'+NzҤ_HS8LP-IpI$"ǿ;*i.Xi.{ <4b(֎ Gѩe0rf\CJѷ,2HpF %Graq{h-._r/PxJ;p!<~鶧=yHhNQc5駂H4h[q4RMVJ.| g=4ӌ 0_ns2O3y1.bJ5O73vtqO{!Չ PY(G)ǤcxRL&l^ 2-akUvUtx ~@ZGӁY;3Ӷ*tq+(1&W_?+=\@q{Gs2K(],IT"սt|wY_->UHUƸ1'yi-ARe$=}B5ŃGfP5$G_:gV(jW˘Mq>bjW?.7Jo7<5$$jo{S K<|RL9oαTަ~Ir-ή&xk3:k#MsUߣdxS9ir?-Y S[OOՐQ)u9s M eV :-dj4}ҜD/k%?mzFP;`cু*iȋ8H˂sKG)h!GQ@wlAs7hfszy'peZXBR q&n0js{&:#F;Nvݑ}dxRf!PEq ˂KObbA72Za(˅ 8ƺYor~V{΄i&<[陥X̪zWl洷.*$zDQr%SN?g:y4' .Tž_A gYZr#9# ZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ*DS?LbOZݢ q1 !O(_!Ekn5Q_<-҈X1 CF_xo%]cE0?89oܭ-jwQ\(ZG"2JxiW!rYTW|=yQόt_ZGsdwp_ӏ)M & X`Sb؀ՒZ Iuݗ'56:$I[Ϝ8cd58NvZ|`I \(𾸖?AD+H3py8>"~A 236@ &X>-ԙYv NfP\}5%ki=1@U AV¬7/,U03{IAX]PIdiY>h]dd\`+grHbj &]~_Q0Ĉ3x98DqQ Mb'&&73jwtLvӱRoc * J, x*e9CX@OOe-ħitlb8;A6PG:_(뛐8 &xg8#Q9Wr*L Njz{boG =ϤC\OR,MfK!H}/dǗ. 23a)q(SFXc- &Ʌb*c_hL4 .l>jb=a+C:VT ף!* " V~ix=b}5}ø[hQe>c$xڠFMe5+-gD0 nQ[-LIƝFrՌhPoM)^+AR. 7=~})C01ZiqoA$P`ݕF+>Ůkg;^>5۶"Do|z ߫Lj}*3-1%Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' dZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+,]·Iq n[:|&[zOR3Km>JsϤ18 q` |uԩi'ovsr8-Z DSNut%y: c~Qr{O= ˜%Ѵg `kB%^ eV0G'NҳχDyODv;uZ)]O=r>7Xq80̘*͖Ds"ߤ8@TP9 єSȋx|<n֝,*$}jlUYJ"Cϼpv>{MrG>0KNPē}%SY;D~W\;ƭOO,2B䟸Evօdžb$WkR˺o'%k~oU)i7x2*L:29l>T.Q fCC[I`0 &.YAVNQrmqkZCM/ t-Kr; :;(T!9m_It ) @!j{kVҋ儮]62x)Pq߰\]=l6ݠtHN E%WckpuN\sg$]ZoE@ se(\^Sݠ//v/ 1@LsޥtQhJr ij!~&bBUV0İ ~xaoGZE`Psj(m^Qq^.]6Ϛ˰BNJd;40N1x*U:+NfD*^x5l&j>9`կ@H C|\$:gyg spPW{ͨQ\K;$f_xR. ZӠ1iQ s8Qʫey]㐀~{Pќl7Ѹ2{d {}Ȩ$kĀ IZ"e\LѣpgYZ{6d?R1~YZhi";qƻ菸||M< M-!E7ZݦV(6?wm$*-؀sҁ1ћH_|JfDz_ |\wug; q^`qKeLrW*6r&{+RV=nB泅qrHק N_usTs _tp+= W=}]O9X$zKIջǤWLАtgo=2BD ._jz0a%Sb) #ᷫQ思AYd>3a31Wz‹gn%t8 I~pk -(i}Ve %+G!_m܈6ˋv{d J6I_dJ%Nu$Q"tPN.%:MU2z m0RZ77T`RHpGgL)A~/CtS [k(-}FE䎊boҥ$Տ᠟C0ZmHD`JԏnTkd&lK.џ, j8ΚDb\$>Y UPKF06Ha_d gѢ.ѪsnGT@ ?(Γs'\T*j?F ţ:fD L a?\MkX;CĴY^# 4Ͷl}-hyӎKi_>ϗOO K^.)'6\EV by 3 u7HqR6L޴tFڨ"V5uKWC!ĄFd/]HgW*3]z>x_YoBoN2ѡvr@8xSٟ[@ScpƷ9oh+Cz>ü 5_xr՘"LҿcHuɗ;;I*"s+T ҥ1݇tTt-V.UDv&dJ7Rޚq;2yJ;5.y(#vD>˲3/!*8`"{oPHb1@F'BHb ,G_Ezx̠zrFY˪bF[4=JUMIƀhnWٗD;iO !rRswplNu/BFGXnz Ԓ519۞!ub8 +YobF9YՓ3u<)g4͊2c(JvJW< Bq9^ zUҥ.>G"l{И 2SVh[SRf5Nrw#__ctS.|GAnou(mi1<;L~S zbΉalJ;F.~H~m,%o$s_"BB0 ݈a 'T%z;⿡sc Pof;0}Q"dLj-3IHo_~{L0}8'6H41PO4PH8IVoC%zKMHdފG d?a{-ކk1[xq~DrQl^x%u;O" $cZ+HEPxIr덛q28G]~,{Ux Xe}?u{FؽJh;Gtuښ\rQ%T-8A2Ӭ{n+)N9J;\$a^.fzI-%m _.g!ŖCi/zgpk/גjjarˢRAÖu7>'B?ڀP9tV,%Mru/yUl17i A Us\ ?(t։>X_0huf"(lwy/G`` ҝ#[6L5+sbA Ngэv3'c&-gr1)"jXiQ{ӎJ0i7!ǰA֋SEװ~ܰC0BuE,7ZJ$f; HA?>o9\ \ =4%j C%tլj` jj1OK`Zd_-"DGˊ ɫD dc< |QlsZ~Hkxsv/^kZ`-$\xϬ-R"mn$ M@37͞J9Z ~PQ ,8_CN}JV~T&c,S+~:n@2~B2 le6dfzSK:fT` HCaJp~Ss'eY,SWO7_E$Q2XX[Z`r3[hw=[^eD1ȝ"Bj, W׽ gOIv~4K9N@41p5vm.()mdCؾN۸0dKSv2Zz/qG2!)JUYt 'lnl}`n]q-bqHc63 Nzcm,LYZV}8} YEz$D'P8_/'C~ i#*zZc6_p Մutp+Oc'jF: C7MV{ꁞTpNwY(rMjiLe+b%t5%琭v_n07R(rt56A;1ՎDyԄW:_&.أ_(oAe< 鋋x؀4Xtl҆F+L$Vkk,h{2?dUǪ.H+Dtb'LlϙF\X8>.F{XլwvAQ'J 6 ;>[8_@ɞŘ7bҵN})·'~ٗ.J)aC '#=5ҳ5ߛ$ ;V1̻-Pl⣏UQ&AV?}A A#`T=StZVk)+}}Vf^!8Aj[kJ#e ҋmƊU"E;TU(݌#GHrE@Qp㷰9an ]޷NdF\:Vꠞ^9b޳5`xB^tUaD$A!b]82#c f6%}>5yF%!w%N+C B:,MVMI(S5ӑr<>X2ApNedFe\! 7LVgLڀf%hFzD nkE\c3aQpc04Y#Q{*rDd`kNuhyȵ$Qo2a|SC+H5~= #`b>,2E]ܢ5=b|4h:3z'V>77oH1GϞԙT,^jQZcN @PطזT򞩗{)J2Ht=߃e, *gYZ ^cI*1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy5)1-ZF-InductZF-Induct.MultisetPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UM]·Iq n[:|&[zׂ#OE%{BEGI΃{ z^e wBL}O#Rp kᯉ$%} .'u0:፝wMxMձ=Yu| 9ykwYG6~;Q6J%x̷i*lK3["FdƹUo :ʁ!XCׁ{I3fˋr7bdJӽ\Է> 6/?G&ak܊D¬I:AY?i&*#o% ~un>~\8MnmܾW)&Y|LO;ȾgYZ'3# lZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  -]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($RAPjR )X;f}by `x1Q"/zoms&YtZp¤^դ`1P>YIIO=fTB-`81n'TI^2]w"u dDoư3"ۛƷ3PxU/GwT=f:mU62NP{eTe[ sC;l[*ͷYEOOG,g~aT\m9s"Bq1,!|hjp,4RlwbNZI/GFײINV#5W j >ty@}gh&R?7az٩"tXƲ4D:$70+B jf-~_9s$F@,u];x$)L@.KF9 @o`fHEejn]2|wηㆇCW@lblTPmҤ5er@;?Z wwfƯQZTCd&͗^j=CfC'`ؿI짠5xNGiœF7xI~ uסݴ2Khko2#:bWsZK.0q*6*f\AZ{ĵWpBpGB_1+t`lMbNz W<9(׈&))bI6bk׼׈z<d;j[c%֍q_F)`J^e)Ä"LT` A?f|S{J%vЏCa`lsw:ZH2:xcTo&#=v @O5Y%y-u ?8Bޭ)û0hB3!MfԴ^Ga{bGVƜx U?˕v%|E+"; 3.!-$ש)IDk;V^[$[z44up[v.XB@ǖ;еj|2/ l87%)!v*?u*vmg"dl`}k *lp&@p&(]wp>)5^\C+uLTh.}ΔOh牍 P,)={ }#5HF˪`2ÖpvF™v=^)31kƟ6[ ։Ap D-6t*IJX_֞5_|0;,MNE>$6~ҟCv]9wUY֚ HV܈y< $K+NlhaJYuܐB ߧWw GnqMЅr׺GQ SFW,RmkhHnE3UwgS*X p5y7p WF[JZ|Ա4#۷zl3p{Gڭl2h]̬{c\^>/|'&f * YhطE$,ts >b=M#{{őtY7vl\e.;XR݇F̓osFPX6?[zN :p M˵dJ|$6ecs?ʡ܇~dv {cdҕfhf2m",v#1{=?Iyŧ E&_m#k0XWw(s~yVE!SoBzv%<@Of5-'o:: hh-t>7G<`-4' ]-#Y |.ųCfj' *4yws%IaUBT =M`cqj)5 iqye1 fl8щğU\ ; 22U~:M==RFD2Ojn#7ld'2'=.cYڝb}_)1M4D>}IhWuC 3a7J0z}3112i1>t8RV 8Ȼ 3\63D;pMjZom*Σ&CSwvz1!x6Yi; XY>nedVφHX+jt(kUej',>-ݞ\lAھ &/CsʗSO7ҳp6Ҟ`DULXυ4H (hej/a钥K> d˙-BZ+ƨ0YT}:VD_Qg^>p .C*(0]Q!+ni./xˁ 1b(%k]';]NoTH4)˞IfێS&[Vݾ*c6^mQ;9A J\&-Qv2fг]181(&J\ na4-f%{/:O4_Dn[Z`|#^ |nvjt,pjY_ы-z^Ӊt1uegYZ(c*P΃Z'}'㔄6ZsX{<"L\k5[/^qlr8w#s56^D>FY>I#RV*bxcOwE=1W^ N,5vd[Q>QWr8sp]`PX,;; 7;cP{l.2d\ ?6 -*{48^tar[)-F"罐qЂc:ZS2 "tU {aV\#j%fOi} &@i9_Z3nؕlߛocHϴ 9WY/̑vL(ciHI<"?aM 2CgoG}$a!Rim|=QqNWh{%hfWq)w̄"˔v"\vZrC\@Y A > .A0ZwF}O_LjL.,51Fw>P[˲![1gVFiRsvgt% *M')mjZ,rf`\}д"US]@R=h@ a UoiX y!ǏkM³ Y >Z-%iن^iRJ%#j/yDGMoP-{O=ͽy 7zn `,q -n N,]Hc, s dV]1˛jMweITzapE$_hun7GPI.l镲M#V8eR$>_3krld 6tTc=ͪ2_8Y>b" BQG* }܊^P{Z=HA]0S;_'CbNɀE1kiאP(B2p+;$G=h'JĚۄ<;(}YIO͒v+q!t̏b5IR-SlB%n*0B7?J]gfSؼ,NL:K*y(ya `03oF1$.7iʎԂ2=WGS@iq 0W0OkBZwSGi Ȅ7kP3q#[L_os<-"0>ot|yNA72cWnjB\ܹ|ӟutc76WSgoe0=zu)HsƏ1rcs\6ƝԾD=3K&9qjN^: U*Y]gVsGDc]A_Ʃ6YRV!`\9jc6Xs1?t}5c>1.`k |@WL$F/ovͩ^ʗڹcp@Cu~JR !٤0|~&t)bI(̃/)y`-t~tEiE'BqX2ٟj&S> \AzdxH+s@LAAZ_Q(5C\Ko0FD~@swN8ˆ#ǫFBE[Z&kP~~BjDqѼpGbG?t,D}Bq;Apk br-z://8h5"01ga8[kzY21C+g]Ij( 1y 9+16A~0]Ay+nIPGOR{ ^C*w=T`k)4@=1my!lO%r^2#]Kҽfhmt-=WQv3(6m㳧E;ŚWuھ[Xll /*G 83Oz=UǓ1ġLW ElDS7ŦG_jzzY/|u4{;˪pqDېlZzBFgMO,Uslvo|OHPp?X]?oe'W+CQpk\>Ɇ394ALTA(Uͯ,?WC+SC?:vp[!uJNhV1ε1Hށ`lvhy[$ `8녋2C+ -&K>^-%윾.J^@ nl,JsvR2#п7nV6"8 'CZ7X~i,T{k_&`1P3c:͆bLcL.A[dN/%Xk|~pQ$Pƨ~wn/r*n`[$RIڪ#"aAI8r$a}_O//ԗ$y}C̷IԢP-ǃ+!lk mQ m c尐 ,Q2(HV1둜mLtLUMZ*D%:+K58n>? CS* Dv"v>+UE)`¤;77YF;JLnƒh%d׵pZzY ceEWPEﳣ6q|Rry5?1? )/i ٻG@n؜CgZ3AAn1r\US/Ewq><ZZ|5]7JBp'FḜ#i5£.)wAQͺ HZ14tÞkļ];<۶{hse\c".w:Urf!Rzu = ԅ\XmxBXbʌ)1#e8H ڠ&"kXɺ8EUYUIQcr3R $v1Q9 $9)SlA{kUey:#NQ> ??jh0G\l[eU0#!g Tn/fGg~yX1uCRײY2K-K? 5x"ˁh (?<F~ :jj+Ln͗IAƉUSAF$.Y4txJ}Rā50{дw!a093!e\"jLeQ_=̈́ӡτr8Ʒj~hl@D®e5Rs,q]g-v)t0J c&j̘ f)U@Ep eB Z^3XH2vS:QDfky3@+!(`BOLғ2_Zmv61fzZ #0 gDyJCClיA! /TF۩ k`B ɪ0pw̑-bHN%BۛSeK+Oo!F7|z|n?0X~oFkm7&ܨ2Yf#e/0,[3}#SHfNMخxit?G;& Y(cds_Q; eHX&VT< U(6k4B:f f%x'HXOyb.M=FѼN.aײ~}4R? =lߞ Wm\"RI| n>}9f1GcG\7-~`r)}7N|I9CBX>qK|1մog/= [( L!Nlo$Cגo3aS`_qv9{6|VJXD i#E\lh/?IBoYЎsV-Fs|4X&JKkMYb#JC~u\.V[ jk B͖폦 ݸC$ U|-=Z5 = hQ.j.I/.~` \8śb#?X$'Qy00j„YuW/:KE1R&ܧ iLa$[Q0?paf<^-K13ͲX^%)۸Z./yOȻoAJ&}J(toݡ us#cK?][^?Uפ 0C"ݾ_#h"nPs9ϰP+3OllJӳI5&'w n>>&o@X/p/He 9!mRRIȋJ(eTB4j)m.i"~e|'EE j[cv%~Pe {QEHJڤϨ?#S~G,"5GքѴO*J!/aG62Fqq9-qbAR<E4g~@L#0TcԀ*q"ǭDtET^1nelj;ݜ2 S`}=Ki_(]@a0(@j#a(o}2W{lkt*>^]OBkA|y%NJsVn@ Uߕ? MV#25p%^(swL&-Vk;NjD&^ZVKf!Œf/F 紴?P@U\ze)&"g2(Tŏ$r|2 jNd 숅bKUd][cB4o+2턮rcaQߟu\lrR,C{>,WJ>6VIԾhn\"xOT!4-ERnkv=P>ELʂ+0iK¡ٹ]>f+r^\q0bnYG'5?{{%7abJ x :y)ß!--c|At;.x'0@:Y *l;Xٽ1OUͮ:m 6꣨DZ_SQH6{q2do Ԓ- QMA>ۦ \?3v&|2]HK&#I[;u2OΥAh{!.m*Y?*_X{ə!LXd 7lKaQj 1VVk+nwՕ6S Xik|!$x QgԵY `NV]˰%?gRJp_Ϩ sxe ^9D^֏8ZLfS!e~L-R!c7ڭr`f yT6ܸF{WRguJw0 ܙ~p { vJ_e{o;LTs?oHD e IE$ Zo٭  hI"UlF3`]=KL`c{3=&FÀ]xsu tC1{RL-{PkE[xc07kx,G򡖻 &,I`hzg+$uZ Th#89r)K7Yui7$̎Q'8[eVl4-p`xX,;5dFW [ 5핊ꝴ ٛ*&C:km1k[lj~ OPnxO̫kVQ vS7>b | nSBݓ`@d0B,DS&qcpwŞ7~餠2O*^<̀>qԅ|2Ty.DcS&+z@~zk:RY[p&OǮ4%/v(sc-e@F,ox "25_kB~؁]P6hK4 ![UUmW*XWFN*zPW6 KI,;YkOnszJDۑxb 5'T WRM3?8;֮a@0, S`+{Ӄuxbvga)g993RXO]`q'!1k*z]#j 0\?->R$˸B`Sܲ[MH4bͨO'yK ]Vz]1 6#DWILصnW}zIt9#Z+T黙rC,J^ٖA0U@I;W faDσj>2%-a Ԥ/6sbgrIJ nK!9\L[Ռ[ePmgåpn1Vq;ԦHpݩc?8ck~#K]R_ɍ(:Pf7?_|`< nxUKރI#uHJuJS#E/7 u>',=7j笹aϜ} ,}2$@ήwwʹBeh&URo$alH|(;9^.foz Oasܜ^́c X]16~C}^Xtӳ;9 e:R7M啦Ho1lW97t&>uPqWr\4o3WA±>е&y?Z ߡ{,%dL?Hm|J7@qaMvPp~ÿ'G-bn@Du"1M&c^05a^© [T(SsH. XX`[6`EVJYW5c;7[C͛~m_˨ι'hdo̚thkQ3,2G HqRj ՙn> *6m!vq _8Ra {1@r%؅.d&Q 5+CyѪLdxjϩuS$=R*$TQ E0 y+%y:srhI$~j&XW{ zfe3Odzlɗc!dMxkiZp%)ifi]=fhs7tbu|Zs+A_f8律{M=*9Czi3:#A$ݩTź1iui qy@|Ղg3b5#8<DŽ>g)EAI%"DVHS:Ϲx#WXKxn7>aiČ&Ay:l[?Fld#do0|D┵~m?wH3g*L c*7N%VzA CI^&^6.nˆJ|Ban!*ҦWewB~hH[_U}avc`nDYADP!\V|C~Pc9S?D ZH+ֹEj _@°D!+\rt}z]*JjtBH*7D,-F4),1L `躐27LKUÍR{B*]`.lOBZtc5pQU܂E~N"k[X:pf3*z7+ĉMUuta`FBLWֵqy VǿI+I[gBR{yݕJKu7Is-{S o7p{m >R]dmƀbh׸uEQN _ d '_> ? <ԃv8;E)ٵu6M〃a>b(+8yKa/E›^4#Nǡ:Z}*ψFBtq x5ߴ!/p 5J(®֋..DO(J˨D,bd]D~QW`\2UbfwTOi8v@pS[EƐEdUˮO'YfU"]viM>V g, %j XP(4v5C.dd3=+=pLy(xwULhC%܃}{^mYo$PymQ19Gu:252HNA| L_JR)0[jּ̗Y?B1{Kق 'Ne`ʼnhʹR79ת6N^U#,3f_OI[~Bw[P;2(o2d xR j kѮy&piaex6F.#+$|WX0x3' L@bcKO4λ@ƛO<-0;[uSW~ Ӧ~7F c2 ;%pVbPS2;?qL?zҀq+ÃHқhocl?=<)~9p`2_~3 T~9 kK.;Z}Z1R;mzT;1tz`YVH ۠9o{$VJ%:Fk*8#O򄵯/.Ir鵯[Nr{#eh QL!Ԝ%qXl|+wRXT>-$*6旸g B_מ]:bd6@nlE7!QķMO)4Ejhlf0mA*҂ZȹrECVʵR~B; `Y XJ}ƪ>~Q2]Pӝdey# sg!q,#zl;O?2Bܡ!%GGJ} IPFQBϧfEz2 '"|x0!{mCZY;&>w D]u~ D{4;BPg3|(fr?R/3GˤdIxBN\6z 62Ayh9F/=/|&: G=# S1pO 8MpN>Z)KLqĽsAZ.LE0Ԭ}xo0s#;N{+Yj$[ǀf%st6*q0QԽrQ1Xo̮y@Zp`y c7g 6܌ئuy%/zU\vAw*ױ F4.)XVMZS%M22׶d7FR=r $EBݗg+~/'#xuobd]"wİ//F~I MW:ƀ-L]QFָ5A1Ќ@*{]HcȖV'(гkHĨ+ev[%ޚ6.*|ϚjŸ$R3Rz}~2^H}VVh'i#ʉVOVw2bGAXVi-@fÚr=,+tM&/_qXkL ;V,J&K0@#ہaz\eQUrDʵs'j#lY| $lzQuWF(s.1@28I: ?-HN3f}ߊ K [f~1Ku]a S͔}#-.Tjֺ4v%ܱےxcL!vXWϽx]5OCoq%9Yu{<{G9iU.(3Q3M,]ϟIi5IMO#$aRE<7)qqMP B&lm_ä<" *)R*0yNoh, c uAZ]kLobNk2~cKu II@<94ns%59\䴆d"Fį9,I1eF\GH7T"7=v{Ca` )<\WztYWGR ߣ!br (3 慔,E)IhcY"] %yJo:؜BW/M'yY<|O_ts VXK;q9Գɹ-ӧ4?JKR$v"N [0"45s#-Q"&]A[>{:8nRidfLI}Sً3 UR|f> Gp ]k*Ͳ8`0@??!CSD|h8=:XQW-O`O sX+M5;y4W"`.} aX% yM5HiK}XpQbg}ya| #iHPL)Q$y -{'[ ?mNiMCwt?FqWv[v/Az,v93ᘁD .ʢ;ƅ6If/e3j!5h3:" bC_M0R/.`|H9)0*wg znd$V?Z7^UMgծlL_74(JQ[<-r?fEtܧXOR)r}>S,\EY//ܖsy^Az۴[xp#rdDJ'tb:7OHdbN[b-u,JR5U{z02;DY)Fu<0l= '|Y<(ts2Knp@Si=nIh_릳ޚcest슿H|zv(ckfx$L ȑiOW!k/?]ďk۵Oj4/ڣ#ڃ抵ڴӁ:1_3YR˽r9H(@wBn 11Ys9BA唦PY!N_ 3\n͒@KtM,D+qDۑI) Ayɭy/hNcN*\[WUW#~ᾙQ5W=#ZұB%%-aN`,<c&Vkf+tR%Ȗ\Oukhw==f%cu"%f﷿̆uB?^mՎ}5Ÿ h f<S29v9IjO^{Zxb^ʧTcXJZlהxZ֥?^1&T%m@Pp@ȁ /KIg0HE]z>XIi[7%S3 @N%!(i J 6 U'!C%";fì K1D;! Te؅VZh'ژ-~=J`IW]ň6َU^l}l\5.=aЄ"'#)^,#W)=eiU[QO;O_aL G#BBl?h<D|}#>c5uO6Y񪋦v`Lԃ従gbC{X,]Yа(~wAB3SJ\DYʃ?fr1Iְ.`Hr4-+m>a82:{Rp}kp:d0g #4%g_wl(NUL`̬WqÕK"p41/g/P)Lg-NWLS}> Eա\ak>A mlk_bFå]pJ ||die4_ 8Vi< HTIiߑP%SE<Ȫ}5iOBhC86.? jF_2NDOƭ,́n濇vnFٽw}7BJ*05,epomk75JGύ\MK(zHb㙎L#K"Ҿ& S}W2<JJJɮ/ݙRL,7H?|;$k,4AeV sU`u׏ E yO=[Lf/Y0i܀>a)^o UL-䤌ɳ9MW=`FV;Z^ɳl5/IMtʨ^h!́_SRCm,)ĺYŭ筯UJHd3'fD)mJ%IhMVz$ntT21ܝI3o}GUGKBU>D`5JcW_՟aR^k}g/^XVddw5 @T8 ELKW۞P9_YavdD[暭%2p;AԯZDR}>jw|`5 >45o >o+̥xכs1w9l8bKNs$pT&^/k"\GP/=gXݰDrZg{p\J C&MHSu5IN9vOň0 ^Y?O}S`d &JFAv2.q#m_4R#[r61YTXa=]YƎB:sO25ܥaCTǗqJpӍZQ? v[!zCn{ߘ82>Y)?5r9fЋ:ɩ|)c>_3򦎓`Ah8}Zɂ3߽;A횖VQwV8-:0 `Բ*o35} "%_- V})'B!D c%Rcn1?t5+|gF bëΥ'4,l՞)Y*_ N_P$РډtsrX~$OgЍ VVH^VSUߚnZ}hh#߻X!}ة<>ڍD8. H|eߒBeI! #=/ng$h>^D,o@sK8vmg|IdժbjPh;/kN*ep UNRmO>\y%يtl[Ǝᔖ@gE7]kxqobZ^|ymQ(A՘#h{' Voܺ"WEȠj neYo .0VVPYK.gVͺZxз4Iȥf;虉3Jg:s9(ՊBl禾`g[vu` YH[o|TZ2^_k#im'^/RqfXCE^P=%F㎳R 9`>ͩQB [ Rx \S[MizNU>%R%n=X&@Z@ޔaih>WnHwg~);c޷+q55Lc"4rb =y볐m;̪~>xy%L К̋(P$ޛzu3i N#Ͳ-@c# =CV s|-WxVM$ oSMxB$G'ի*<";!gPgd:Z2K֤nUh'.#vBř޽6:Ǻ-H`1DڙV "ͧ.fk)bɒfHibpv_F(> 0F_o̐F FFs@ׄԓ=JaN%ޔ1M0~\@0Lmcsuր)P;-uoh&Vú9n@Fg\t~ 5i# r&%e0V&-#K 5Lo9Z|2q;Xub4JiWvlS#>,q|)z |<#mfik!"g`(R,}?cdoOYo|Q]VHwJmfA_lMu+z{qGK KLY92"al]ظ,q$~) Ҟ5j {P4`[əB* sQ /ZZ _μee/`qh"hKM>o{:(28*y O5TulŦ*t5!|s zP|F☛xYP'SUruf;x\bn(XU߄ٺ͌Xfl !5*߀ٳge`vai箆ਲ DC;<>S+F۩I^=\P𶢣L ˫*fd%WpL\)W~ 22WGz$ )]\rJъFO"0*LүCFVoE^Ee$YWP "E29x^3X 1 wxL˓#`CĴW>8Mw쪖7}aC];=(C<:bQO~|}E.%⻌o$e6#B½qt.Ыf=Kis87@ {4*lpHq|tcD B1 a}/n;riymJɂi` (F0)҅R vKP˰"e7N oQ,1F72P0_W6M@ c\4 =OqoB-]D(b5PFm{.OkDew++0A8})(I9k{bLCzrwH*+ 6`~j+ۓ>AMHNLF=~;}lɢឧmH*NѴ帄Dxg&G+XM$"vsG%_B@S>pcKYNF]MЌ.cQ՜T:=m u:FK9ɦ(P{Y(žn&R|NG< #Q%yk}ڤ8 0oM3ވf݈ۛϭq@(IrwAN$ Dv}w7ixL*Uzj4}n}ăIإ}Ia={µu9G@Uq5dT^f*`!wO{نCodN-:Vedn~ F~"qkaFy f&5jEn(vo)ޭa6rXVN?`/:lm].=V@bjHչ<<ģwN5DCt~[O=m*1%!,)EӟMi2{- x!*[H7uF5!.q%55.\_mFxC^i@ as#3-Ӹ+M3VnɰXXx=*js5ؚ8ݭK?T X] joD4Si@[mn߃wys"xp6th\ON愷_Ӭr%a'قsFLzr˹b`9"1A"IfBl-|[u*!@}Q&_543R) /kt'9"/ZV&9W.i ؓ|JYM.Ifw@8.K|deA#c?+hr`Y-.'k( ?^VawupJ]~)0FUyx9 !׽H:EܰlƵs|+8D iHBE"Yߝan>x>y%#\[j`m OhL "UB}Ynx rG8E e"c <ˢsLd20{+]0 ~S%tCO(Ä5uK-hn^pI{ܫ[!|ofVy*fVBXĪw͵!GL84PĽ@ ̴φ, k0Y(J&\E{?>1r w"KF:Ef2F8EjM90LCMpԺlJoH[ L†߮=vbbO糛ϚyoF\15]a0A˝ U~Yb5J ÃӇ}6hF@2kPvTd:0~Gnh9nN +Lz=Dq; R *y!PϚc[hp!ER17 qlRpW>ݔQ;OaՕЈ7;$GDn_hsq"wM]lzi-bVUS5~DU `.q @4}w|2iG@Rr7QlBJ{*lR' i3s?Dͦa]nuQ3P'3ƊdQdV]W hdƳN*2̠ yw'<'E'Ci o&:~p 8S-@2H%IfF#M7s;~9VI0{gu8eW1a Qt<2׺߷IyMS:UB$oy i{,OO۰>|`<wngLn_w|8qXrXr6I!|8\Qa3WX#ި1/h0Zll[? φf>aJIB̙Ӱ Z–c"N@.N(((#Ms<ٳp r<ϓgzTO肭iV׷="Y ` H43LlG!˄9Ԕhu>۬f+:  u-QفV+GNG5 NB1vJ?Z09( -!bҎغ,xz頃~EٮᝃTޣ5DrD)EL)*Ye 9H@~x INsdv+ 8ym{{?o#0GfFG`GxZ=2/zz KGѨ\x4tT3"w>:6mf,ݵ1(-nĪf[@~(gFˆw=uO6 /G1Fe\TTZtEIh;KV b0!&ȹ {BjVjhI+mxrLbN@!AO5$O%x:!z /Vw m(I 3Loz4g&̳ "1;1c*D!$oh-R8h5\jT_%Cީ(-[%*n+6^/FX``0q2]4C>xi{!DWs@3m0v09ѭ!ZrdIRkP6'e]r)YkU=SSw|٪JWhriK6~bւP楑 87>Z'PُD:G 쓋^A P ˋl dnȽ],VWI{gi4!HA<"),ȷ2j[̘ q2\k{N>aM%J:w _WI}g=}Zy>Ld;E/BÂE^++\2t/c7zhH|;ڽǭ~ u-nR5'FkE+Bqmr]GC@~dLٗpE_bh:Q[qb@i[dlQ5RY٬W&rZ Vlb4wCʛd2t/qf¿4͟64&R6i~'A P[K؉"I8lB\grRfFjpym_QǨ݀%(IЎ BIƕq 0g~\ʠUH/p3Iʀ:z ;᪕fb w:_ 1_ - 2TY=Exx 2# QS3߸ L\*IK\k`X"+pV7T/tHOm>,ܷ}yWo0 !`ٖDʁiF]6XT Pz:`n%pa4 FA3H_Уa> 9MD  M:_f0@aF p{!,AhӏR|@.wƍ2UnI/_?CԪ~mC(֓Yڥ~%HLl7iXU1Ӈ7/Q?b~кB9q&mSM@I' q4qs 8Rj#kpFrY+8N秶?iDuOEoFgdeݘMiԅ!VdڸSӏ]1&Ȥv3ػOWnoSM_ 9ʐ(9 X7;)TH14qx7ǜX-ryl_&S;1A3{G(AWȋ* t<͓a)D j@ji=uOԧh]AM2ìGx+DIM'1Mt!p?bSMi!+-]ICPk (vZJmbgC)E4wx{{SVVf Q0:r7$t^_>@qLL#ggSK"LOi OJEP\=05g]wEKqa[}f✦lK؍UF N'{K4QϹgB# /NjM}H04<ke&s*1i :C͊Aݗ|)MOsDa,S-='S$^y@( EWKGgH7elzE3l/>0_0 py"~eiפmbsqPH x*LU?+hQ *=dbM0$xbJ.Sb'Mا4>z<&P)a) TF MpwT< Bc5s'L{-YOrcijfc6Y ❈DCPԯueAs4 z!)xӥI$mH˛eTYUH`ѳ|?M? -wT7 l7oI!~"S?%G %Scjh7q$/jge,a5)PuIOcם\brU=y{vuY?J"k]}: u6r\f>*dT(ŌE 鐆qsڐaskm6]+Ðxx#}Y<4ޥŷ8~av$ZpfOoeWEnL] |ҰiMTۼ"uY5gēޯmI̯j|f'7ɲX ;H ~4iz4z<${aǖΨiȑ1c ap)4u$13S4◈=%[o&cə֬2/Ǥ{~u_1~⽸0XŤ\ɼRnOhV"H-/ejV]Suu[H,o~x9f+aI2\?88@U]**F#^?0_N&hC)]Q4!"7O?o9W\>"ds !˕(z`R;uW^4J )_+T "i3?=e2J"Ź?YGPPNCi .X^=˰ƹrޠsyaޝ DB9yZo~Q|ϑddfW%r4?Dgΐ vz*w k`e\G0}.䥛:6cl۶=?*_u6͟zBe+?"ssAF+_IA\8\0#AEtF[F0dy5FjÈ-rT/a됽m{;Yq5V<_FUqx+EYs _{ӛq26鷠(5yh)L |Ր >n6oIGKXWL\9tf U`].~2 SL] rFGἊNymJOmjp6*ܥV;q;WE@=6Ṫaslȥزs3 J dۤ]<'^K?וX+yWů@xxl6X,S獛}NiY-ބ'}Ŋ^HME6M3}dG]A. y2u I,51Lzytg&^SNX(_ϑ5Fu'0R`Bu!z#I镡v$e28(77C 5FZpS"Ug#Rsz RA&R]wtmC5XujIXx/?z^.a##xC5Xձ` l=AQRTmSs}FIK܌zE7\@_^yҋp_ (^ 1~6i޽ȧߍ̡яD<2<z\M1.7OcL\l}BV|ٳ`5zwQYm OcnR0P6|6JDO}h"Kϟ^Vc],+};LȎ# ў=[0ۆVSs$J|'l H>sG[ǺyLn{#SՍ:%/}4dJ5 3ċ`lr2ɯ4&K kJM)[IH"TU,G4jŊk k n.U:E: X2rW<*])%^2n:/y7d,r}bb4T严[ȟYSG.4BlaAGa[WV=V"$'b1C!Ct<+\)7YB@8ÕqIFq x[V|Kxp굳Ŭ 9슼2 2(\+po" e?H)?aRo|7Ծ]G.g+;Њ!ɭ9rOn!Bf{."{VRo@e{Apr4ĩa' x\ b;at)w5,ui#˹!G8KŲөסC%K f߆(S6=״BYޑ%ѽwxF#X0.1B )CM-)ܱ}_* ɱ?DC>%/w.oa m. {p*cbrUx{.Ù.RC@>odY2chǏ{0.FpAƥw>Z0# 5Ui\ro= ]&tj OF\ލL\s`8ga>&Afnȡ-iᰐ̎ ePs}WWA5㱵ÙN gq{""MV˙{ݛNqBgct>ٷrGӧl!9{zF3;jǼgaPqdzjl k`?od`D;H"z\?iio(aLA\hrZ\f}16$pjËm-d[u旵I/M˾q+MD<㢡IVi칣}ziCP}@8m["bxx'lfL/&ˆ\zd:䧌` +Y}W1Pp:}aɮ7:QhS n7%Їfa1=#VWŖ2N=meAoa'ұ$qAN*"*8\>'B.jc,G%!Paz3b_Ӳb$rfݪ{["} Q)t{h`JMK\?읏6b p3 Kntf{1NsClC2ݘD%+tFw{Z,H4:TbLGB͠VLʈ9XKmL~ȗXq4ZH;4Fݬ,;p!J_~;N($0y%8:iJ MC`~_DvӲ$t%BF:9u3t;[W؋$+So=a@ҋ+7T_Q_`I!Dw'$ڑ#؅BͶK5j D+э8DɹXĉ&7rPE0!ZgϨ k1C-$9B⥛OLQvg7o_{Zdr͋B<~O>CSR=F]P"EcyL1&TKUR&e,5kWln!<+xAj UU9Kv7Bg-]*uNb}kۜI (+g|:kߠ;1`23]gJR1y0rPz4dNli6,dlm a:q$ !W @"ȷf4dL /1oFbW}?[;" iM!b}NB*cDjNf6y|Vt8-M=w+2,A.nt"6V\XHF Oק-Զc5-ctOd$t ::ySP˨A/{ EP=Bh p~Sub5c  B:L_ 5_l=?GHweǮ#3v CJ"\H(7r)mf#2r[?ZE6PSbU!: Ɓp_Qk?1xQnrsy/̈́W)V_k9u\:K0"|B@}{*sRYI1ˠLd}<G^cLcq&K )'Rc#ߨu2Iu7Fi^Mދ `~:'qCM')様Ǫ9,[ƔQ8E5%#%Z3ژ(LNĄBS!Ovń6zۂkGmN4ƿ JU9|BhɧX=zBF;^Ĩr9y|$ p: )Evr߸seG!F6"2d܀yp288qRr8(/{ ʨ_ G«1V=hagtAY52uơZ)܃zuJtYΊXЉtZU(7p%K!6 k v;jH&[HGZM=-FB^vcVmFrU/^<r AM o_UJUI߀ Si +DW>1X kgC1\PD쵋Ǿ S5r$HvrwA6сK4ca>t W@|~eoygkgP5$o:z~Hu Bh옢V:ڭaq췭蛭\&u7M\kn>7kEܜ"`?`1S1q<(Y^s~ӡ|tw iJ q`ao8xME[K`Dž< _Z>YfyX Kr`~WdOEֆQ΃w !gܥDZ_0pJRݺo>'0 㻴\ξ筮Quwo#yugaڹ aT qc6*&Al@ڊM{zv@8~s~(DWyٝQ)2Eф鏘ڬ-( 4{`UX\xuwIDWv~,%xajCiKlWEv@f+qP7 ?޻N n|qQ؂UP|+27hY#Jmb #tUJBG!j`wQ5z'6_p9NMb=7I=G>ymŴscU.}`[97Q}\iDe_1֐̮2u/#dx+CA\?D\ nrRlOn!a[Uy Ƴԟ8ᵄEab|njV%-oia \BDaf*\rmj2ŮE2nzs>*4:ӑZ</{{]N\`ux$p-*$z0y j4ɗ֍xtVpOaBgC*'ۤ>}5KTD7[HmU3Q^b 愗#w@a|ۀPbh& r4t4Gq -X/ܶy+D.FNLvM_┥Mƣ~ O(b,2L"Z.IuHx a\B6Yv҆}OG̰z9ȼ;7/A9K%^7 %pyW$^5;"mT@#V&C} 2v7vzU)wg7vQĽwz͖ J LAc :~45iW }<~sJXipS+FuCu][<''Gh8E:یSٙT!Ijw2v;<ח$:S@JAllXiu8D%~xMN$/@k-&'ӝZ-vSXGep/wдp]eTUg|\ {~TE"h.qڍuRMS :0KzQcf{ƨo` punLrH׹J,LOn81a'gv{Z @04wdF%*ƧUTX*`xzfM6V4_J]saA?xJhyIOJE_H[(n-x]N}O`z&W9S׺hBs{Y-r =fͷsuafdZa܎~I⾕a;?CT VJNj }֠M85l8z.AܩGgEּ.+PN~]vrh))#bKm4l '0dZMX0.2ϖ}jOސ&}D{e١u)0-  w7U(5LbUu]3ŀx͟kAꠐ4A>zznkaFDy BGJ7"TVOŒT)f~#h\dzeF= nq&X]IB׍Îxh4L zo9]"SZ!#]%Rԇ^ gK4[mvӰ6\xT|yCuiExBSBtse,"s?^7Ω`,RkK/a%|TOMpUph+6m+e{zh=7:D=V':ZYnhTW^*|7tGdl0Epv Y!ɨfȸ-usWO"JaO׸X۠KP ߳"ނx=:hǥ iAMpf:gα*cannMܽ35'yt;7HҀbY'Ų%^_ ۍ,!aǎGNx7$W2Z 2ٴXFX@yLbA?4l~؏h ؇M}A#?GiQg^PH%{LR6⢧V{,YJ]M]:5{x%d @ Z]1J SmT{h*bFpWv_8B@"MˈzVl0d3} bc̳zPߗ۰"&#se/ cP{Bx6!GQ8:4)jƀr $.6K:BߝzPLҳ#'TM_ 9-W86?D h7R<,2.ќتn rZ0X|b4:;5–"tu7}<:@4Lt>ꑩd]f5dц}4u,;l'ɹ$ aq@u];V!kwOץ{M8,y L4jgHෆ?ҏ|`H"D+>}`Q1Go\lmX &X嶽+0K{3|NRNz$а?&V G꿺MH]Ui GRP9-VOH]Z5$8Ʌ^v'f0DWNF_RC~1E,m~agzT(* sk@_&e&9 n񚝡CU.feMژҪ|~Fd~z TL+^ȤW=\^N2U>yYI*pK~:])3պ!>FbQ rAhѰVAz>{VdƲ$,Y#vqУSNRv&+uo-POnQKӰINh^ꍰ± F"45/-$nOqhܗ2։U$.uن(`%qU._ʎaDFxHⷉ:HQΩ Tp^ڥ|{R驲8%<#!H}u]x a&yI&RȠb1n;hqq%1:soa@7coV`)x1v Ʀ^"a٣<̱4wAms3j:H3584"/fFנo.tN]GL CХF5!@o1[@ .$sVGEceuō/NOf,Ŧi"iEF8^:QM i}.3h.,aKEaNo\<@eò 0Чɛ|S+؞!,<L؆I{KI 92?U9?ˆt?GyggYZ  !j7C.+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy1-+-ZF-InductZF-Induct.ListNPIDE/document_id984,1' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O B]Άxʆ5.f-9 rq9m3rҷUWln S60s&]_=vUc]/ AGfi4o`G1gPK HEӾ/bՌmq$C\H[Z{uL'O5N)ըOpL`}N7> ր e(C^V G K?"Re$ELjfil{,hK~/4ofGE3?X5*J༄כU+Y($~f G:`JVɋjw0Iŭ+FmkZ*: Zz#]P;Ҕ9x38DZlS?($p2e\q"RqaV@WCDFۻ$V1 {I /b/}N 2L hrj)Lx)/*h8hJVHw6FSIj4Zu]ݏ2zjjuXDz`D7ggnϑȀE}#T?uk8r*іFU'*S +$΢ N1ѿ?x8sxpA1 u(- ?J?qi M u?[mLR(1)Pk32= Dj~lJAe*8ǎ2 ɈR"^MXEuh緳<=UBNE^Q)*W/7𦖌xn2ʳr2wp%Q\OZ#)/ kh잫xb_"{~R+\W?"_NTI RU q-x3T!VJA^W?RչY $S?Zm:MZ=w^FJIYβ;po5ټgIw|Ԁy,t`Ƀ^f ߜ$ 2eG7I Ϝ;h@UYqR5}  D7/M 0/'eJ?7i'E ?}W0rp`vBNOkf5bA5 ,b?Kz:IB YpY6 S>ZPWPh(=ĄSKCMl ƀsCX\C;AgDmIwm `YoYUXk-}pݯg!j#C ]ﭪTHw%$9VTTn =~k  Yp( Rurg/ޅk3rŖve#0>I|_BᕖE`?8QZ5FAL' h?uWGPZ/fc`DTKD+|z05I0nTkeǪ0-,F TS!eQʍ2J"P=XSGVەF U%a^YUeڠD3歁q-ٟۡ!y~1:!\)] \mM jpK61uܓ\㷀<"+%1B6oNhM SB9}LǹW#-AH<@Vu4rz5]4 2*ޭGکd44*^}֟͢&31%76W3N#',::D6n-EX';-EG般/3mعȅ}hT0(Bh,>ZQE# jdˆ;kĒp̰lE:e>cmKY%|Iu%l/S%-߼\I_g!r4sR:VIFH&R'j wDXg79R'`0wLb\d'1b]s ,*ܕWy`n\vy^BVETƐD$v-Vb5lL0s!KLq?VapAҩ;S8T vneѰ\-hMbֱ6+X(&y&N:l^kE;0x:'8:G0MJ+s ܇11CEϣD>X! >56 G'/Ў擐gYZ/+ 1# ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! =]ˠ)jk2p O6LP=͵gl5gՙqjRp]/k 僁cG8cUiAw>T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λͼ#ZR+ ~F~똗W J^XmysH2*?H? 2)p!Ok`q921E+F#72E }j\WmlPZUqP]~ Ld]r7\nT |?ŧ3gŃsaEL(>Xq{,:^UQ3mLݜbںbC>R_>mͶOTNM1JЫgE l_j`m8,OqË}"G!u\`hb~#0rªN!e:2Qڛ=A8b' O7V/0fFuvk1' jj/+# \ZF-InductZF-Induct.ListNPIDE/markup7zXZִF! U(]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CQx_0(/hJcww%oK RvC~:-|@ے/< Pf$C `'q_}C|f u\˧ľl4x"ț4!ר/oc'?'/M[CY^vqխ/es{y@7D U 5H9\LWAծ@(& io[ux?r,(9QUGӻ]LӓE5f\~?_bc)؀ C5[j\::KA3g^UԔt*эLAߥސ+qfTxG.Ȇ=~0sv/ǴER/;s:DTeK8u_g(HmPqtQ ha4^~u~? -a cKNTX#AU^`FoTE/m TЖ)f,9[*rs0qH]ZLHar-f[GIFƫͮ:^ma6W؂qņ%zf(]@VRfLWʟ5`+ϊ@ af~yiiV-N!2yh9ס+ЖRl=;J[H`5Dw6na6&\)?^|Ge0Sy([_4-c w3(S>q\h's0 :LAf7',NdTX2N1>!J뎧~]-"އZ vuJyih[fñy(:@l[HѯP7A3]C"od0{k2램*IѠ\!n$^w~ rZs;﯎/evyȐ Td ?I/;~i-eCЫ1{\ )K>]5ײ9FTٌDfʙM\IE*ۖ1V;7i}{yYlsA)ižpYӴRD]=HD)BmnGowB *>GH`ٲP}II$0d&9>kڼ.?cx,lvˎ8󏀥a5zBx$I|t{o,j\0w'38c V$Be?!TiBDKE{C'=h6?5\.\+ TvG/E; |-Y-]u05n>5lL|X<)@ձYI/"5M}>i/A++qc!  tH=ϱs*.(рmɕ UZAcx`Xf2Odȅ]zʕg>r=;d$MM0NFk?]RC%oAcJVƫ l;,IޢOQ EaQ-AšCE4fS`hPq4OYr)k1}p&"!lf{$C4rx_t !clP,iܼ h)Zl}>)VѮ/S¹k;dV9rq,gL`aC|P]96{[lM/c0 ]5ZRy#}|dmŐA\^SQz.1P89=^_MmѵJ"h+?k>q(9UVYVqxܔy,:2X%6 T&]~UdzFkÆ9Ok.Pux+.Mk?:xvpր=ZjgYZ  8 {~4 /# ,ZF-InductZF-Induct.PropLogPIDE/markup7zXZִF! ^K+]ˠ)jk2p O6LP=͵gl5gՙqjW-HIJU]]kRφ1{ncK'15_o_X?5x}Z$T5޲,8=YP{J=fOJR}3~2Ɠ跬kfu.c;d}YZ l0CYRY "E ,KѠ.R|6IDTOYۦQ,p5 F$ʉ(>*f;X[fx }%*B; Tk w50/u68#nMyv'S淬@vY`HJ! ^\*̸5]{:ΌrT$tRv(ayWem q?{t$f&)]")V.MJVCOiq/ɢTܚag%+{.{h" kizՓ~7Vn~+P6ߧtq BM$k,h2>U!g0xt.zY姩1cPZH.y]kX?7G- >D _ÃK 4#o<(P/[EZHM[qcGgcHqð|#蚡YSn Ç-*Ìye䨓6NZqzpW)S,ٕS-OB+ ܒül!6 } >΂opW9, \Zs?d Y<5}o0+*6_rա-<w\p9,|A. [̀۝E(ZQ]$w78bS /(t̩1oo&Ao(V󹤉L}<"1V.IjvHcΤeZaUwژ} ,Rg!D,Vōk˄Lo(2Hl4";Og\Ën v`F"7(Grx'WYv|r|KxW!1;tfO=pF 0Y +\B [дM OIx©ĝeg|Z]UKNPϜ@ cViҥC*ɮ:?բCx xG-ul0+Z\JhC3`Ϯlq6Xm\Wk='́_N4V`A7a1M$5r(:ڌL* :i̎OEKH`nX_g%f/Tlfܚ'%Sխ ٕK6)[.XچUJєnoolzV\ #ٲ |[JB:yȓWped*X|ڱ[: n/W/u1K!4r%rsYUdi9j4%\& 2h4y h9Y}"b@RCUb+ބё1¯^@)v8.Lkh+ ΰDKb_Є;vd}>ﭮBlCk(UƄ$- Ŋ#@L*ooeHN oL;׋ѴHU@h`M ,&dZE[a}T8)ˢ@TgM_ažJ0rH>r CtgԈAm Xҍ)Q:T-͘<+Hi ɥ:4̱Q]%r4G3/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy42/-ZF-InductZF-Induct.PropLogPIDE/document_id108<1+1"ZF-InductZF-Induct.ListNdocument/citationspaulin-tlcaE0+' ?/ߨi=)Kj͒윦e۝A3!Kߪ%VTO|CHF'<-PlMbV˟ۤ tnskdՓup"и',Ѕ&}8MII r  ZvgR!T7-txTQtg)kqjI[mRn3x"`Gj# I`CLpg0se.g\/6_2Nߠ+TӄE޸FA똪ĔjaPS}af5e/PrcZ'Τ̦C:H1Ϸxx|d@~€KOFޒ!(rٞ \JvjW]תo[GRq13锒IK ƐEl4J!ѾG9]߈0@˺1tkgYZ5As؞h׋ Z&SauRRJX4oLdHF;$5`p=H{^g)GRdҥ Y샿"w:dv#OvY/pLɍdvW:@Όe;bp<.ҹadѺ>N+8"oit8gl33/~pVsr=ېf*ATIdؤ>WHtri겮Fv~^mz [۠ &F9L)ߍ+ԥ8:ܶoK)teGV# [MװjM8-ymJPT5Ԙ>'P jymW^|UȷC&sB5nOiH:S.]gY{]_M﵇!Z]欆ɂӬW(|i E=v6e-v%<s%'8\1d4MJC}'qsM%cvZr_ Rv;u[WqGut޵fk" "t՗E0iq`-T^G0ʣ\_ VӽA zT虻XT9P`fHJqU>@/"mm"}g$Yie<$u#.67T ڪnW Wp^A%K z&T^%+P%@.V/^(5G_bS,ط Vף{Ԃm=V~}8ٲRT N DD)Kou.G\xmq@g5 m|DxS{G #-7=_we(S>GH 2`:Zt6Pְ.GmJ+ \h'u[К}3{*ktS 1Zu/XV&KO 3q}(,s_!9A{kr{̏Rr7KhTluԦ.&-2$1㿯2x̦X)x5P!u gMb~PG*9um ~g볻;=^:(ʴYBMH+'fh S}5IlN]FH/?Y,U=[zO[49Mf}ErL`WA= hfvtؒ1q"È>J2T+"wKGnCwukhq &:"RK_MnUgn˯GړZ߃UN7HjF%ǟ\=ϧ׿=ݛ*qBRw::N1(ChFEq# 0<ܹV, $iT䂧{=?RҺ8)ə{neri r7`HgWϼ'Cq+vBEҾ]As\bz͈#>Ј|\/uH]t%ςExIZ+^eL Q:"dءx5u [ILٙ=+7 iJe͙UmJUk~3Ǎ'I69ok!H<;9֓xTAW=k=oTrQ߮wWNtC*r4Ɩa _H\W2%c+\ gQFxA๘Xoј2zjAjHN䭣"Mɷ0lQd>7,Z<0l ^w$-aR`t?`j9w}&yҗ~eO[w/Ntr)o,"dmXRnVrύ-]`\ `ҹiY[8^&[e>J'l-Yh7ߛU> $цd=p$(BO]Z|ŎnGRYh/!U1jˢ̙t i/F @M0tGj ޭ\ƶ>䤙Jp,@i䓁!uٳo%H(>'RJ,N %t|}sPEp*E6#UѰvn9_tjp ZI+듖~x )[[?? 3%Y5d-ڥk >Z~1Y19'(8&bD- R2)7bY!+8xʳnHݞhϐ2 {i*ܟE c cd8?*L_v0@߯ JU?T_nCXC>PS &V C/PfQ,wz90c^ qjUl2Ej|6|YkykGM^ ?jP&Uv o%V"ax[{%H?.7ޫ9G ? x< !Gm"\mONGh̜h}jz .ٯmMjh*1BGȤWѲϐ80>P M XJePn/sziYeaOSg 8/0;jפkEdL|= SA;l8AQ_yK 0_]Ş*.ۤF>4n51CӪٮ@ů}l۪cB ;ӀV$ߥZ | 0<+q54Rlk\`_j>4`2 -s^&6cjE -κhS+৲S?!ƚ5噽kPK3JYz sW.-.QV3W.8^sX4Cbr(wI'EVTi"V~N8/_E`sl$tan JҘunOCwNQ(|ƻq*I%qp[a+PQT)k ,O ޜo1F BaU؊{h{drt_4{ c6V> mD/RS$U(Poq!o뉧k9`\Gs }?{b4pC"2=kZyԫ31{Rfo@e^@iTuF/cξo`]w$<>2p:Yȧ9<0A8C~z?tXjug[fDI^rLPN V%)@76 y(u}Ǘqu?2.@|Qq'TB Oj79)J]ٰPWz6~[`z t 7ʹexO6DwcJj 17{05zZZtm1~;`,%) VZͱ咚1#?Ďxj/*UR  S`OA斐w^KÙ,יgIؽaE5+<ѱIP i d5iZw[ RSmx e>m`_ߕ!u>hB fWb[)v2 ?&^b>=& '7OH?J[0A8Bo5pf??w[8DN W+Ã__GW̘ο|nfhn$P9@\vA6ՠ(}Lr=%ɘ&T.0xIлxCvhrb,ETN&APyBg9\7n\r`g6b ûjHm/.14%m]$Q as𩐫X iwS5nխ*oܭn"D%Tz):ԋhm,W7*ŕ2!GXJ#Ns #O4 @;/쪼yΫ JqA׵,ݐ{[ A?u(u]q"X"G/tztoRro3B΂=O3w sϢK#EK/4k ,΁92蜣ЪDiJ綀?*s\M/3q+ڗԬ( ;VN0mzSS>P?W,VhW Wș5Tܤ5ګbCXU$ک@sHq}0`rҹj%HXRX#|wNGri0c q[m sh)d򕓠U4i[e<QfILB+'RA5F R5X7 )gz"^e:;8DqP-1dM˝)r!6}Rkz)/HVLw.5NWR{]C?v}af10'm Xn7Gt_@}["MNzf@at#Z,{l (v!?*MF(hHm~IV^/!G=WB} zP49iPNSvB$Lku{'nG iwZrp!q@B,_yݿێA{k`sqaer̔ (ej]Z&w, -jInUM')gKI@ $XZp=.UNTɎx@Ƀ<ҔcvYB9CC{X&_sjqf˒${ּ9dANLIVFLMZ` V!t7fH 3 I|a?r0!⴬*=Wy2P<~wy;aF Ul(yP rD ݹ(m+TɊ6@z>TUE`>`CZ #LdF\MLcb+$e.CgIw>)wbCRB\aUPLP=ȱy뭔mC 9hih3z3EyI}N>)dS9enb&՝@2>sC*W&YBnAFd>xZZq{WLJ 9DfMb%Ab;7Nxc r\0]n*fxEytȧʒ߄DQXJBh%nD~?D_ېf~L̨FD6x i?^bOj>3q01KH=ǁw䊴ɢ8n43FGi3\Yufy-Xd# shvltd4P,]qsZ 5STMQGn4;cG`h*6XD=4^tvTE-BV}dy8z)4O]|8 Nۑ 1c=B @+2-wm ^Mq0Nrz(aNΦKu -{7xr^$MJԇIpD\/cӀhpLgbvCGC}. qGU{CٴRm/9}xzOybS@ MkB $NȦE'FvKeĚbk'q5PrgcL$v;~%y ei6ȡ=o}0 = `l,S9۠]3X$Lɀ(XM(>0RB0+"COU)JS#Iwu+bM,zlֱvO/{Dl#Zjh[ˍPDM$ q}|"w4 9zY9M,?mo Q8:ďN)ѯ)2L,r'+6Vjq9^8Ĭ_n$W|i)9fh'b$"b&|(3#,2t 2#Vx %wûjd|0iOe={fi>A\a;mj;UGɰ5hmq `g{4T6y kzbJîϘ߸SIa遆4 ߡ&ժ98Ojz*x.4Nח)+>)8ZTì@sJ%۷:{!K9y2'!fvAn&nPQWT ~P<]dB,A;oNI9p|Gt9$ڿl%h~ls}Z,| K8)"1p yfVMۻ"VE;%W%IɫC3HYLS)ʣ 3S1ǘKP'b5L!F Y1KRǬhE.M!7ZgFc 3$S?~눌sF^Fz:PU"z qnp(=m 6\xSe`/RaT5Ba>UQY Z4Mqtr*M!L(pd/WԻIdGzL܄O oK/Y+[N,KzMJzBx44Zڠ6 <g"ʟψPO7GM`fypWq2Ն)ʮcdoodT=ˆn;~Y<(PNV*_@‘ypl-^$\>f6z j{jE< :'ӶC, y%:((4o*/d#u ?TDLF( *,#V9#t)kƵxeci@uI࿧KPcBZ6;dHtu 0nI%k|%G*U4&_5rMD ܸV"0{ NL("ÿnPٰnd\e=G@ߨ*x?~m"-쯼f [ɫ2$ k0H'233XA';܄(#ױ/1`b# jJ0' خ ֢ה̢oZfO}Z#TsS%P.Ȁ8svBg_ͮX2ʑe:vt/q]SR!s")*ipDzquV2VF @\^^~F٥!ؒYRZf vƓ2C\ϟ*{z@/z +^ vA@ӉۼvZ$:޸尴^;Ρ>x:YibM( ɗH }CgyaB֌cB8"IAou vF+Q9a2MyPlң!34#]JO-29(Q DeҌS@57CA*㪛ģU^M+Y@"иkbX=^CPr"o\@GPp0cmMTN*-.7x9 :PBI C>۠pmuPzl}I{ԣ&.5+]x49+,ޟV-uj!w<]wGT~7A7)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy16)-ZF-InductZF-Induct.TermPIDE/document_id112+5/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N9]·Iq n[:|&[z|"p8pv"`'uw ؾk.z+HPx92\Hr"q¡uśLn+&1g=%cǜ11RL8\ s*WKQ L=uȣ B$h,68 q@cG}BLe?j.3f(-. ;KO &ųv1GM~af%GќyrHPRꨨb!ܔs Njwu0@}Lwī4" zY O*q(e Yy Bc{VG4Ne_!^s8gsRV#:!Me '$E%_IzVNa 1[_awZ $Ay~ 5u%ޜ dl賷!f%iP$ckpm&not#3]"բN[*# sj-scD3ㆩgrK! G j—nb؇eWb^ފpm(AdHL0ƀKS|`77!*Tf1bqdcJyb^͛Ub$&*oV@t^%;ςoI%!o?F,DʠD@SrF-*J(M7v,+M-縒4} cm˹hoa߀Q7nw8Y-^je:֥(),-0ITUh&iHaӓڟg`E6T /"\׮fcEY+EfO#\\ޓLi/8ڝQgYZ8`F"փֲP/p{YI^$7 ؙ]W[>w\8!T]*g-!:c?@;kX>-3OAۊߨK+/vklƗZ5hrՕm$c+jV3=I+YǘsHTO꜀y0irY)C%ICUSDb8~S A<QLʗ!<~7̅݅m1YbToCHV;HC. Mq!'AcPLY**LmD`wb% hwlE}r# 2 !r=_m{e>X.'>M0; ?VL (~~T5 3 p$lzCcێ(r "I ZD!twX5XYdp6,PhF 6MVR;\Lֳ?'?f1mh ȏ~Fh)*)l \I cwUk({uUaYM^@]&EԞMUL.Xt5p/jUxyU)zi:+Y}_ #h{挞  Psj'H~Bcdܙ=#1ši _u?FI4? -Iz3RR :D0|JVBna t*B~x Cdw- LS6ȱfYY`W%/+1me#r כ $CKoUE*WUSٺ]O͍p#A-u\n:Ontav?[HMb 0I&S"Jz2d]zgʖKY;f14"F̩#U:9(@+_^kRf>1`4M\z`3-s[~KNlh䈿I{W w5R>_tEuCy_\ [S6]R}i9$D7tXUz4.PLTLKHQt!>9qrȬaF}G򠦕ULl\V"VyHp<.;o\8%-Ld7J=ډVc*&TEͲ)|{NDJS>U+a / ñ#rh4R?xމ@ mz/u{׾ۥ*  ڋ/sT{~b2]w CI~;7ýė>e2Cɷ1qFq$WQ3xs@Zx(2MiLCi :cBڗaK?5wyV嘡ו .&yx1OqPn(<ϒl#AXZ n~^Q5 \d[unS̬+/lM`@Zd.WrqSKf `)P/мX'6{Qy2ާyvE'uti&؜Z #:--oNI!1_ڴj2VGڶFUD<\LrQwk!Ϊ0i-=0ʗ:?f:-ZG)Vzɕ{nӣh}<ڔKF)eW~HQU{s9i ӭ}ea6( .(e]Ӱ0mZP"T;xTFv %5c҈w ELTg J K"R? M|@j+D˶_Pw~l!gK4셅>kf/mLk9&+EQb~7ЦV۔ڼvBT㰔O;ĦY }x)$'rv~63μ/>;qO$x*$ &E=~"FxLFGx=ab;@4(X3 yҘV;C,מGo(٧Sy^f!}&Z7K [S,:z58'-fgv6ܡygv|%PO+R+FF݂}H 蓉q|ۀ]p6PA~z]YMsaMwfUNHXaY :9]^-h^#u#5Vrn.6yE֕oeIDbt7x<| p.@u'~y_>DSc\H捵ŒrJgJSDYHB_>!8BVv[\ n UߞU Do"URnvZhvOF2=5EӓȲt2gR$Sg)qqa8f3\1; 2*{--fyLG?z~;V{k#,\hQYd]? j:=X&K3=h*GD }iP%`^ւ0ω@4VP? "ۀFnX[$e$tz6\8*-!X~Cliٹ ҤFwrkcm+2f 2/ \}")T@}dzo[oaslf7f#u˂D%'IL0if[Mt(VqS@*_ z{ L("ǚKT&`,j/"@Gyi@n-pM>0u];|<1yy:I3nu^Wpېi0~bVHX8^wil1VEgGK/8ҋ+MRcHTM[Fu4c-izܕ  (P?mWBv34@5iBJ?iZ8ɶթzR1]z!hyе@(Ch=cY濉:ay5äz ~eFswn?{ꢷ"oLw+Y?e‘3^U>2X_8[Cua nN8B T'`cC%;5q?U:Ѷ=FFdA!#v'&㷢r3*e)>˝bSA$ l( ڢ R6d~59eASa0 Q.ؽb@8#ԟS{| a*a|qMs.>¨r%>pڣfTao3pf} wo4nס$hf]&!ld$A.ݔ|([}}B2[HQ;@s \PQyBuD0чh5k J? >k֑3 ؕ@ʷ&Zx^k{7Mvi`7 M-ZyZcCg&ƥkI^hzɵ6C qWJ£ItkC斂D0Rϴ9r~Nn;dJ3Ktj;@  e8^f!QB "\S}9e3ςG*lW%$u_͊_vꑛ\ &yg`?PužHcd,yӎ58^r.$'"$H\y,{HL sqxlŷFM}y~Q`K"'9z=[" Mfь57|Gk8D뙎׫`2ڴ Cs;ܭ Z3`JM2gnm|s{ 4tF%P}D8Sף (:9&AL-֓wO:Cpu o+ӧySd X*:*fD!ݝ]w k#Ub ! ?'%B*3siU +,ʫDR~]U3[Z`Bpƣ{W~s#!Y 3ZȉI^~=:B=)mm~EψʥZf-*b𜴬B.r'n!Dd/j=y7W6|&[;Í6imH\Ƃ vcj&{r+Y3$ulشKvIxwh}Cڸ_ F' L`_TyvUW."laR[ҫgYZ ]C;+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy2:+-ZF-InductZF-Induct.NtreePIDE/document_id104l9)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}_Zz `b* /Ur_DPT iN"_񐪊W_ "F4awT/>Lz`ϔöǃ fqfCV}|+iL @r^"GvgJ\\lÅ|.n1Capc%h 0ʫ39chFBgLIsʖ#i[Vs@`B\3[jPZQxgYZHcn dP{K)31ĸ[fȋ ,7s _NNs? ׇCҕB[2TG-:ok#syf`}zbRmcx8/Va2 vbKTt{됓R`ʓr9 gyVEUmM$K<S5$'|l#R5s: ;Զ;:[p >hsN4{dٽ;]k0%;\h3FƅO78ǸJ-ĆiY'So&ZDL:&0U-B{@,F.ZF6d#-ߖ@WUㆮgl+a3Z.G_|bYIfҖ9S,uFBOc`Rs3^ql %Yv{l%ͤC\ +TxLJt [h\@N4fƂu'F1:ڊ9yqa gQApVbJ}R! ;+=<Mƌv8LCgxj;Gk[QTjfG|V0cc6^J@sقظ\P%qRieN<ņ4$\Jj N~&Sϖ5,IM9ƋDVm.'s=qUoGbwL,ZqU%ī$UNXrW e&FRٳkvǪ[W׋\s}'pNWIݓ y8w4k|p }~?$vݒWD10J!sAÝB4ա|#b,E7kw/5'eQy6EaZ,t^ b&XM:@mS΋}*5r|գ7_c̑e޷k#om'BlC/8+NN|oA-'O)l Eve@+;("m#]'E)"Ve\z^ᅮۆů&<1T8h Uq[жʠ{*#vaYnSE<p߸X63E)h&#0رSCDH/"9jTB() #7ڣ7CRՖڊyT$o޶|&}}51P~+ݷT%$Χm%>nr;pIbKe}L R2S5ˎ]~Vrv׵!6ԄEShK滎+j.]\#ɩK]#I9en>vvDq (Dcn}|׭9quUH83;$hhA k]\PpV*wG~F_~Op"/S[[zX~{ #X،Bـ8Mț\N=}4KΒaBxW/5lPX#I;c\. =Em> ?9J,ҩB}Xx?4\2v-ʻih+91 rPTtg(w{ ,3 'eU̪uӟq)DU" [ wtCd;}1m`/ty|hdHv(Xn&ib`ET))D=DܰU$x(ߋxp%0DSñ8.Pβg7w_?anPA0]saXBL\ `zg.F ~ F=fDUpqڝb R«R ^)r 'sQnc c7z]ǢחkL- %s7t X>[KT-u|A#|:fՎKEj$Q#4p9Э'eF<ǿZ koB MK';Q{95?#FBP28`78r%2%q}m=7pHYQ6 lLM[>"03Cb{2SbM*h]iB{T1۾!͏+AW Y8xSNJ!SC zCh54h]^sx)Pٌ"C iL5pl5mwVq y:br[rfn+8f$|afw:sD W^hMff6n9(L$lX:bDy|DЍ恎sZNI䏬: I0G&?֥j^!q?+lϜ2fI$cl7%4 #mϾo}N WKA>yA<ózZۤ&nX29~³/mrwy2\ܫ|nQ*:7&,.d&swz&lbOC»d0M\sM}aA2X9-( a?Yph&Rͱ?FЧLl6' E'6B.T7BJ3?2@Efj?4K{{%e_6%<= CxgYZ <+# TZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͖,Ksqjj-h,@0kg;^iBS30`qK L5uԇO+V1oe9~;N7ty#yG=+枎cOԍ=, f<i.Ne]sȘv&?Uy91e md(zK / g!HC?8 Z{J'ٓ58T"#HH.Qvpǡy1o*A[S1RJb"7qWno.ps7F"llwp(|0(ÐɖsD«N')k>PZc6A:(+͸U7 c\L<|afy*OtdO*ǫJT9[Qz\P^R 6iN6o̸6BUL#?{pS蔛=̆;l .TlUl6s5,cD[ǂLΟk4*j4Jg0MM|M_1`;%ꢑzݧESW,k1Lt"\ط+Kjg@`jj`$BAuït@==︁WQz+ 7mlqlI=,*\*0P?n+;c8IJ xN=~AϘ P2Bi~o)+1NMxwf{N``Fذܔh-uIq. _ 9MR.\H$g/X% #X巙.PO>:0"CfAnja~[r2d+ nXtoe!Zph*T[:0%HRyS}u#jn g#&եi8cڂZ>*43_ 8AeH> w]cG.WP9 pw(.56$yt\0bpݤ`pE}L;Mt9~WWCK^;/sXTɣEvϊ=廌"fHᙰQZD n\9ެoE m<ŏ4_~iWšQ;LEm[>/" h6^M1D$^k8$4h_u#o, P:dd_ wfŻ^(!)n]=c0[j|r߳ؼ'zƱKn@/;޾M; 8]FLI΢ʣw6#5-z!]^o1]T7^cϨ]ĔպGvGʭʽ(kDiiF(0 %ٮ6cAFb KVE=0,Ob6O̒Nj*i sn+9lxe'`cw@NXWiWS7 !\°o٠U7ƂWedžhݿdI2i.~vD|׺ RT5!φ#uQ,gc9՗CW/>,{C̯H4bH>x^;oL7a[<,K h}4s'&A9jYkWQ(K~6o7x\ !}Wdow`֣n7غv6IUB|:_Az`MQ,LV^g1Dabfk%0'j10$]&p`(ʯLt:8?U/Y+?jiry$21D;g L))/_?  &9\jpF6iUg.Nab]ߦÜXτLҭ&Qj P [JJs4oPi W#v׾ 1 -WԂ !վA*'W:~5p܂`sr]> [)ȯFT:~f϶tPBnriBej9 x虚xO^o Ig{"2jWo߭) tF0!y ՒJv'SB|;9ӳ \Rni:YYY!A*cW]ǬWN)w5s!j=v\|yfsF$7c /\8CS8@,<^`įm̐u+e^<(1 #T"lwJ#6, i~^mPA/SFzR V [\ Bn %ye<lߌ e2i"RAA{#2otVĒA'x3Ġ;R2HpUiTxaGxq%UgwXx {ij !w&儁E!2-J]y~tX5{ȳ@"k bNIpryKX*SǏfr6lYW ,LJd8 xH7 И RH|O*7@x\ !sN4$ffȝo(ٯQ7¸IL~C2mJ?AC)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0B)-ZF-InductZF-Induct.CombPIDE/document_id94A7' DZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z}xx*x| PәU7nQ>mS:V<t.oR9y8P p 2VlZ#S2+~(SzfɊ0щ\Rp^Z98n7qHs5Bf5Sʴ0fKYP~ 0£S5[dGh,#-V FBBdLGB)ZuQqk])yC(GVE[t O+-,%s&Y /c};A JoAR*Z"դ?I@oXZSeU=-U,|&흍VѽW ozFw}ȁu^#6TR!O`Gڹb~bGlpC. qS"eTgʵ6>G< mFpihZ..Ըl̫']N}F a!j~p]]G g@Ao Ej6g)!5AWI52zxSێDu$#*|tA؃&vbj_W`|e1m7s6X*=+Vz^g>fF:D(k+u|SI{M]9x?JDBlCz`7+qE`I$쥗~C{-k<4t{ >?|>F܋hB) Èm6| ޒS  5i1t`TEf P_/xr[|^Ci,) 757%w,+0:J$J);)Шu1)i vW!DoI΃+Y{PEtZTxF{_.2 pT;{gYZ@ 7# dZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"+]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;4ʅZ6od8n{7auuBеj!m'jу#E5qJ cKȬ³w2Aa>I/PUTA+DMTS\kf&N7'fX HaF4WO ð~5٭sT/C{߸tLH Q6~[:.tVT8WGFPxǤW2CN"]Ze<W2bL6}y B uM-$;;Q ៿ 0g*f8t*-ZL5*8wTxIx!3Rx!xl $`31|?֕e^9 "89I۵?SF=O?7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8>7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145=+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! G]·Iq n[:|&[zJ}ϼaӊ68eQ_禭{?P azM»sN`/><SB Q P.HGsp HNS],&x,}ۅLu:~.W8_{X<ƇU Q,k~P4Qa}74 ;-y<(ћZ yku{z)>XZnT)qy`Hqe{1NQIU􍍔wB 0EJɰ1)^ '܇yMУ"B'@ pi \E*)wuFՄ:HWSϊ]畅QNw@3{i*&Lq[tMg6ƤY"h3VnYK5h ui@? أPVvKDw-݊(_` w<_.dQ%#+䫌Nib%~ AwHBE],޻\tϹ9메,W}xa=iWвz }BN"w8%fܾ0ϵ5Nyqy<:.x-0hOi.qU4]$ӽ%N϶=vG'6Q9s [Ae%TOΙ\7ξ}Edrmtri,!F- >ԡ{=<1A'eo`Q0N3Ɩ,p<)6DZgYZ>SM:.ɊfuҗX%mi>GKV,@TKi :GԜFі$>| 6`Ee9?_]r) \e"Τ9*EF *ֻ+;haoB/h1Кv-&(Xt46vK6N=,>AvU}ԹLz bTwz3-.7j$ .y!ܢ+jSAg'2 j [=^\_1*"]( |oۥo6^.vTڼjA#{qwn~- %Y}׋; F+FbqU/;&3N={z̑4G}CQ>bʻ-H[aJV_6:yu`174caTlD0q;& ?}&o*3F򇓥Bf /DJ5~$ɮgAcɣHQ)y(+ݑ7=2`Cvdgޜ 'JNQ'p'4`JXf25)3(8=&R{FBpGdSKQ@pR{Q GKNwhg+DחGUYZ>D $iʲ)ZXZ@tEbZMsfZ66Ws?P`z*P谲ϕO'x^u3/Oi5 \+'$3o>􈖰)cDWU$,K;l tˊrgI9(6snl*_^rӁ5v {mWlcim8Y?WlLkUa\_ .6s}eLPCBsjI+#t&Db\aƟ쁜rh]NNf7 l˫XqofmHfJǑo7 nn&}a KToRmwwxOc5\,hTg!:Q0Ja8̪HsC pēT+rn=H|ZWwK{rT&& ;%!2x2-򦜐f_EAND;H1| KUzdI2S?U붅,ֳ5|Klrg|ö "@V8ʜTpdE䝅,EhmeH-yss{(`$q$:MYT;e"&/d8l~Y U4E3ȰdS,q6 6|<`-Zq2;H%>!2RʊIk.Ui_UEכ'\ޓ'VhLe}V럄k QwXw8B;ٿ )kG\c?2qa E'/# 4hDza:x zyauyd7$D4%|+MIoI7P`z*շrr@$ 1=Nr>$%D‚VɈA3"+!<%Q{JLrxy/4iYTo*6uTJnt (9A:Y7ҡFF4RB@Vp_37(e0ɇh ё4+*PM"vxCk5tMpjHA^60tlHT^?;3sKt?-")Tr@c4JYP akjڡ0 R)6IQ^\EGgsl98#rd=#^: ŵ*}pP;ǒ@e4~; *R߻E%R1U+~;8?5_*G8h!L֟eTVLRTq#zf?3w\ XŪ}x1d8%5ۋf}cLA1䨑Pæ|"Iк$tߧfQuv^sv9Ԝ 3cwS MzS1Ώ'Rzb~(`?l~rR !nGcP67{)BzrhZ|XT( PAouDbM6|N9pU-&,fiD E,WƧvҟY4۱Q3e#s BgZVj 26e'ĊпfuJ8xh1suĴaU{jd+q3b;9+oO<|lf%>37~9YT+%/s_M˖eފ鷧U^𯒵9xH^s5,琝O*DH DtygxyT߹Qt,c|Mෞp#Uu]JMom]mafke KtQƛۏ!(4t7 JjHdZ$\zvTlS&!.WT#5dYgbT DhGyfxάX#0` 9X黪.g.Q2kTViuys XThPiZ՟<W9MLt{+:i.r:=]ftY8f~Uc[$K*<%'ۇ?ōl,2S#%\a2Sg[t~~rm ͒hb5f@FB#6ٲܫ#?3%D HČgzu!޶4e9; Uo(0YGC1%,lKMyYVI9iolvt]Iϣyzv2I5Js+]jTl}v7o/QR,22_{eϩp!ӏh^tGJ8p]ɘU%-#cnp G;ʫMlk(OAHȦ`8c<%8߬̊ͦh|ed%4ȭMF5"G!֝[|be}aga rvέ_ot?5qYjuY8|< Za$ HvcЯ})qr/xf(yr%>צ\Ts2pbGw@L)-rqR kNھqaKSn@aSDT] m{O*U(!qn*{ƈ,G2K W$S=ؽsLkUu>k?x#(l4eV(sSP9w,2;nGu.Z%YUwX&cs.%H((YDOeH&<$7x_Ġ$TqTI[@< .c#мhE#0T#u816,&wʩF[W7JSL6R<ݝΚYs&ЙbrYhl=yV ߾g4D@bάb]v?M1 L5/W hDZ"oS8,]4m;.h'ԩ*#ϧVs^*hѪ ̬+CIvF},-0*cбpgQ[ʹw-+i_oj0<\QyA1`鸭L6XH׀CԑTt,ps+"Di4Ӆ ( ;!E:zwٷ(d5[#hd?LNT=7Pb&wn^UW5Wfo %B]T8+-xenxUfr1rDbă)d#0z44hKLW 2^+Y8֢H,Q:E)'&{-oSoG:tnaFDg'/YAi20gfS]4Q^v*;|{ @F;j?m0J!Hlۄͨ $$wC㌃?31Bh;Ųb$ sAp(A=]&Xp.I( V7Ro)t}Eq QU $viTC[ͫ;U,eGm=~"j ފoQS$l78 Hn41%aPagDhe,؞] 1T.bX1* 3d9Jw3X+ZG-$ʓ7;Ia 7noo@SX ~yYHڜҍ\ |ZB]nƮcMf#)C±* ' 3y[DznIOɻ݈G{Z `ryH#W_9Ap?#&>iN;f +eZ a/= Ia`<>ѓl_"q|rUpYu:# tjMKrA 7#^|L{/kMH(o6}%C-cBsraƦץO$d-%Q ?;(#D&כHw9x[-L,hSV?ӫTe5j*%J6KUʫ`"k| +^,:' Q%RgQE_OsP ϭUW7±^~}"qvkBaVҐSj_dMRkEMä><*sкN;1)( +f# ]g}Ox`Y5{mImDH7{'`SC2w+XFRD"%=^ w=oWp<3z#YQ+FYn^ d~=EcNv򶣍J'se.,̍A.~k,EZ*.a4U6t]|V/&} er!xj/1 zV c43N(φ%}^R>ʄOnDzn!29.m삣øx6S/Ia[@RlUCE5ΦJr Q43~ӛc ?wWY !BiKmxY G';_:P'}dF_5;hڣ,*n K󂮕>oEJe6%SUR5&{#٧z<3;Q(R@ykaq4akB0mqsP]QҰ*%' 5]'!%H#oIw,8LkbJRM_$հӦ>$»"Og[1&%^U]aB< Lcɟˢͺ1;k']9syXb7Y|l~To]@"S9R.@N\Q,pcvޖ5K_8fўD\<[D{OOVMR|08y@5I CH\l{Hc6Q+ ~K쁭co;B^uRx,̠fnymy#<6\ŌӞ{/xP E[ r$f邱I7Xc:қix{CLw.v19cljG!x*y`Y:ܥ!YF9;450|L6ox=^ AVeԣ3dٌݷ2/D۰eR,%.J爳;G/K:xyDHI7 (a7ڇw㱉}8Cq.gtC`+~}ˮ`$r_Kvpk 5հ~9N')$r~ZFZ d:I30 (rtqe4^ M4/xzFNiSu (Kih3k ^q컶E uBC5DxhI%Bils/?,F{YRtIrj!ZCg1z8f+iaL<+L :jH:-ʊ.TreH%TsE+pD ƮcU h ʦQ,,H+a>bKA?D{9O,T5d -G˜Bqhcf =.^}|CˆL ք,RvS(vԕ/ 5jR"&"{+B尫:&$4 0ǗkyymT\tWp3/El$tJut)2zjcb؎e@ s> #ʘO"D]vŪxfȳ1i(A<"yHlOʮ`$~Gyς1< ֜WFyБ=ʎ A jڈV(ؾ,0ƙnDɬ;gYZ@7r/?iH%\O=2 ;87ZQ\җH<:LQwڽ6Ԉ*jp%3y]N!ZRʱQR>FAr 2]ύ@.^D?}$ yu\=e +JROXQ{.%'mf`'65"UnR.nr8qBfYUd;fZ)4 b`Np_PotPB%/i!`0`WঙIiPlm+bw]%Tcm0[RNy0̩p/9+"58;PLFG2Һ"^BQU{]&p&1&ZT蜌}W. `xqk9 g P&ID Ucj2OJQ@[ɵvUrW4 ^7",C5B.ݩ"t5m&8yA.2/FF,(5DwvD734g\nA^O&~`Z2\nm +!M\ z$,R0([!:$|PB~:7hg "r)n %,6C4v )) 潳dWoT_k7NxLTW1M*eYYjzH@sϪl4 ڍpG֤/*"}լIh|7|#o',J*ӀBfP=OpvG[wEusC*TDLFs|qGRnɽ>(YڋN Wmƴr߉)#aB,߫0%Ԁk%jQ:k>TXF1&a"Pg?IjXQ65XhiRr5!Ue/EK_9Vb, #i'ۺӒ-HZGw`$۪fw7R8bȒlIgH/eyG|!ݩ;JY,ftOh^6 if?H2㛒wJRXZ#ҠNCF FePԖx}r9T(`>Xdt/>"yh?HWWKheÀ uDz]uIMy@XuMڏؘ Qlė P 猘.W ^vulCьmo).FTSt־]VDf#!JY6U+3xR蘹Eo(IYtsuxi֒4Lyn{DBdf- m9 J g 4H >A^2UL/T4P0!~p9izqT`-]E+}0kLDZ4D^L+0Φ:> DC >&\0d;vA#3{54w>ɧ Iכ]Wy[ ˧sۈL /Tջ-h" 6&*0huAeHw-5-f!|>Uj%kIa_V#?kEL'Ku֣c:EL7rp2Yik:3ݤ =v#g $_ez7jHx1CcQ}{߶,SF:L~[.Rlw<ԭ1H8Yeq~ʑĚ긑gwNA{@4vW0m{l/Wwdžr) [`QeoGQ8ބP c:MXsO*\mZۻ\2b;|B}Bl㐒|\/m&@~$[NUqO'13 J*WnԿod拽^u f I1|rxzҁ5n+NϾ%L/bmGL:kL%wuLkm|dHaMRȳz}*my_qa 4%,b cg|Qr~  ĊTX`ۙb02?-YJBRe G.SDK4i>.ʗ#+r"L ='30*۱OBbxnJl+wHI/ 鹐\(fh8bLL+IVjbss;䈭W}:yt`)w`Z`D Dv4 1r~ .cGEɖMe 9L _? bG)cq)P6%K˘Պ֣l#Ak".:ۉ~mG>s;j>rfv~/B >oQ5[$ccB%  )E kƞZ@A`u‰JCGZgG,AEF٤'n:%1 Jh*<6y[k{Rf֪7[h;Op T{ #ÒQ-Ų>Q ߿FWG8mv>+#faRA)^EbVԃ1C<ڐd9mQy6"8LïwM%3@ir* ,x۟v B49ց@>wǨVu>,L oLq/ZpyF$=$w я*p@9nCgYl`bs4_:gQR_0n]JsJH(Fsu쪶LX3;hԆuؓ}wbpqɫd+D6"e8 ^S߲wsڛ )Ѕ'TSX1<|KN+}(Xm@EFYڧg5çJKLֶgHE{"HIvz f߁dõ8Pʯbb)<&I5ē 4U?6&>J[_>Yp+Pmu>U` "'VLq-Dz&ܣQNzrDLH_u\A^zV++4\wZ:v[Nv(SZ.?pS0>"qJt0n4m)".$NT0 y߂|aT0,8Xknk]FlQ{x;, Vڵ(Ulk s3Oxi&6'#q?ǕDmM >>iۨt.d\[t˼qbuMd4ʝN@uUS"ȨN&ROxUB&*Tye h4 #%30aE֬` J;2ц,r=ʒMJUnXNQt?iZ@H/@ sxV47 д )&8?\sĶ)i(k(e<\ʱQI3+yMpW>&~[pAA 1&tb$q>=GڐQ2NoNNL{b)SGD%XD.P>CpƏ|6 D0L(. p uyZ3k,^|"K |},YtmX:/t»rjk 6ӿ5ncU?gE*J '.rnpUʀ4GZHFa:R[y`,2`ha)-o iAgUM`D<+pH0+3_ r, u8 ̠IG&RPe`eGdal ={;JG ,6rnP _hǸ? ,iͭ{(۳X%~wOhVUbmT 箽G$H *ȜbJ"6TY/*9)d%hPM(ЂMh33SNYlPtŀ XY7d' Xs#ubfT$C_-}t19pTwUٞ-&Yó_e20,˅#aI_#{SȕnlN1N.eӀ@y,.ĞNYPVAPѾ|yAvþ[ [Æ @C8k+=džу+EEJ܇z@┿. _c=>2q C{^4d>ݹ&hƕZ0C_j$Pދ'zjx0%R@iG(J߲^y (e $N[ f'Qj.@K`ՊFY98zaR*2,u(Q'zFkHp.z$Z-)_&+s^m)#To譞W9.\̀}#PQQ}<{9ˎw tQ&LL0u LO1[Uk*S5Mj 7=ȅONmFi7T  /dt[Qӷ>ʷV<ۭ`7ب%._ m,h^Yu >r!63'f|#AꘝҎD=lZ6xw  r/c`?.szyʼn Dx}.u<ĔKSpz{CE4% W K 2N8!|G!@"RDKA3:ǫb߮" E}%Evt.X\(!aSjN͊ l7킣ySw&ր1tp!}l˯UʩvpUj`A ) }>,3beZ9?FI)):飥2d#,}^Xeͦb`6 OZJV5^sMSN b`l3?pu`[O+%j%]ʙ}J}F˕b#G'[zdt]h7E@ hP˜1߽Ϋug;yh6Rkh"3cY|Z'|hc-=)!{5|y} 84 tmG`'}&8ٙҼyH% ٹ1[\{qg Sw)AO_@MIJg,PG j-e)GW\a.(Bp A";X{L탯WP!g/iy5-, l{~?cA#ӢItdcCտ\CncŐLfGfvzS=tBrELm4tZ ҉}SEmփ4=\3\͐Vz0GTOYBZ=> wSDznؒ} dA\Bl⨤ բm> K(([}$j!V4ecrV;,F`yN͸͢Ѐ8 MB5Rb~o%hm9KDaGu;\z]߮iĩpN*⇁8* 0:1a.$U"b4\UۏM8>Mg  :ETchr1*%HcQ<>XY9bXAX(edDLtTU {B7K5>[+2_ 'ɴanՉx ;SĄWpP)9v;[ ˞*tnꄰfT-/(ŷǟ`므,Q.{;}3Y[3醓 8sBLPyM}x8"j{882$Ljor,T%vp;2RuͪHE'?It͇:$$0<=3CQΓ!_|VLV ͤ< Vv +q2my .Ͻ :6EQqDaMj{RD"mbk%[L^ԩT8&\Bߛ B s0aV0`4 BZԣ-vI5ֲ;me4XlY@sOCZ咗DL}ѫ960Qфkj9!.G~d`jA-Sm+eV{my5[պJtԺbow" @(^i)u>ӪD9IYl9# 7ɋYuVSfrep9<$w 7Ɂ{tI7+E@ےv`8Fظ3ଉDc٣/;C3֒=uOe]U U"5W r2@$Id ^&sY`fٍ(U\3ҪAKIh BA M.g|u%PoQŨ|DfCy *1_up?VMl/q1OeiN- <Eog7 @|]nٙ&?2-addPy4WRAuZ JL#B4\1;2~KdwZEO5BYri",MAMuWYGxCV)/_6Js쓹>V|s#ts^S֒\(]%sYU SYP1-sfMW_LVp+-U'},ŊO >'ebcaPX"lk2g\l9f6'b0]kIA@Ywl"g/\9U}1M =B@ ݯﬔYy(C޶[d@_&頱V9&*fqMx= e>V]di\M~UMؾl|6+CCj 4B = k]sQyӞ+۱x>eZ;D|ΉDO^ñť<}ȡ~1pqg:DWP$N1cAU?9!-Z'YMଢRcCb*"_Ųu6Zb%7>.0PfԞlGSb_O[a?٠zL[kM4ۧc(a:5h}a&Q4@UUʖvxI0`WegYZmI'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗbDL( ,n^<6#" pb^mqwzAlK/Q594S}:r9uxC3zk5Ot2?n;|+ɈfP /X 3W+ cEhq3MdYe}W b &+.L\kIBz2"N퇮[eFaK."-d)*]MX!{'ἰQimY/X"9:3b[$uoS8놨QsPd|ޚꚷ'[J`)OyElXRAtvvĞ73ΙQ7L/IϖP-ڒ6: ~d z ׳Cp L7:U Et ) 0AJJ=0n>YIܜvK'UfxQ*6g|^S&',^kJZWqX2/M AC(qg6>\k)c. OlD?=]69imiTHX#߭&YY(j\0ɄoI@-qrRXq+4ETBؐ ڛg7mfxda0eTGipfjo9N48$-{@8J{-o_$ht{w/D+wMp<֪sbt?.NPKq 01*>q (4ʃ& &1>[w']RWhTuUU >(} Ag8yqEңohMr^-~I؅Y`X~֢-nT#.ϥ֖ipbrlNg t\6vyz(BOADjg-8=P|,UH]eCP̆\QzMP[۞YBDX'/٦Œ+5Ǽ}1< kPmчq8 .p"q7ޝ:xE3~2@MvMKmm ܕ&׶HY^˄~p\d{PQHD姇0F_1ms˷hΔWL^1Mt 5JKh 촕i`ܼL_Lu~qͭ:rMYeSX 4 6jH+lT|;Gh.kt6"hS)-9I@7JO3E %x"q;8xM7A |KhZ`ზ腝F]ڕ]L-ɨCnx@8k#ڒ(ⵞQWg$q onA1W޸k)X<̰]Ժ4tF+W*\5׹2n49$7dtj6^ч&=*kb㳺$z\Xk~nZKo:rhW`$RHԿSr~qx&z\d!UtVG:Z=Q MX0O1aA-⼺wPcaҫ#}u[5IfG[=fj:ԁPohDB WSý_'O>?"8F ;] UjZ.JZZ2DY–[9|) 2؉S3<:#;rN[ op\LbM*92UK?Q4[ZiR5Vv~~}rb,me=wj+y1,Է⃬;y5:' ա \sVV3DDuU{ѴDfmpoKaSQ3F09k|ۭI_5Jgj4̍H&Z<!֢B<, 2SuCM Gr'_co?cx: ,{_W`7?oIчwIR5'lS&{aP;/8Rjbg47͒(,5ezFj/jVeOX1̜X&Leu>kiHXU46+r#C3mX9`=HVӣV*o̍C:I˿<~߳|u%ʦl>7mG 1`Q3kd z Ӡ8yhd@ Wj'+Y LG煫}Vb ۰ef"dΑR&)MbdQ@s=h?0JNͬ .+)ԐU^4/OTJYlA<+oNH*eEj>)؊I~^\l&>>0+K{7))sʼndw&e^wXgWudBDmczxm:{aZr: Fgt#q kieV(c_]1fnhkIk?0FE/G!C-neooveCPcך*wiqQ91ȫjϟu)eqp2f%Ie$*v:X%'ceYd x$<~:=&qKɤ |f;Mbp! >tw[)2.>xp\cd4FD-)ݥ{.v/mayR{=lк^z%d{ujb؊o`cm ][#if=ͮ6Dۃ =['UpoBSdž_ pSJ~qTB5Ob34_x^\negvB0kPtȫ_ Ee)!*/ґ(eUҳi , [$-C"Gw0[[&}+\|#>"y K %1WhCzeblIKfxpG8+ DӆE M5>_<-4#LQɅbHAԊ]W-'}4PCs~D?Y?C|FSBwv[Dsl,6/m'ׇ =@]x޽Nڞ~ss!2!;dd~\r4ԏ|*x%*)p^2k0hijj :[_2]a rqTGes$JcF(Ӥ6p8cZr8i[f1nYwqZPMux`k2dQ邿YtẔ S"6V~J}<:x3uTXU`"Ǩ S%uWb2M#ߜ-#'4*hO6P2}R 쓇2Kb ޚT`P׌Q$fb]je$=$,(?Mg8$&!-5^`_zIqmĞE##T22+kswFr&$V)R.WСs9,Iˏ%R7Wf}Ƽc(GT9{(/wv Ϻ74j.ҨjO1mGd` n|M./?†,Ru 2CR¢֫{䵱Ŷ?yߟ$@YK}_)"_hL>tt"rXcLC-sɲhtLiw3B;V_ rgYZN /# dZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! WvA)]ˠ)jk2p O6LP=͵gl5gՙqjE- R\o<;q٢Hķ-2. aKmL*VZ*T;O^RM3C:0⃞kUiD Ow@zE.e l_2s=-emzy_`H R?փz0CA0P"FJsgi$C' >WW囫bNg1_V䱨 \p=8W:sp{3CO4yD?uR)@U02{,D[.]YCOVo2A֧g\,fKW_)f?ɠ#t&X#tۅt*ADZ@tDGM/!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thyETWONZ.aKL ȗݾLDi"55hNP%*<ȖOEaJp L]0>Bp ad ħ6ӆJ {^tgdb [dZ!NhW8چOc_w0ImbmLk/Rec~g /` ^{zy,&GCVMݕEd>~;tO~˂`ؙ50VkJQ"̃_FXHZ]bچ.hsέkqEz|AϼqH8x'jY^)%Y.qs_5#};+HI]t'Fm9P {xhg4%.Ҩy"hL<ҽ jojMgF[ލCZ48[tC ̪BYPa$KR1J,/jK*"bbtpe'^w<_Ȧ*_>P ۼIP1TzȖɿoVjg%_gӏ\iS~oZC#"Â_-@7EbpbHڢZxzv^1f޳m_Z`"ՠsyZCRlM^bo8w|\=863EK[;LEC#qTZ8,ۂ~37pNQV9z7⨞G&6& 6r7k-eS-sg 'v6N\Q@D}/z]׀}Ԓe6 Ha d:p݆PjmF\"ZPWB \xvYق!4#8BIusg.|*GtLrsq-~o;65ڥ4.X!t kEiĥ;jL`Jǭke6 p% }{WٝmOU}vf޴b%({.ռ.f%@1S0҇)VDHKAW r i|JIeYF-qȊp]b,au sW;DMZbt5N !塙⽨%YքBy2.E'*QU?spbZ3Rmn֩j*xH^IJamd)e@ hNMy57-.i27Gp&ø0R{[C*v w $6/.7WI)-kՔ8x 䈃0p}-g0S#-#Sw(VoD,2YrL=FO- f(,NAv  ta*4enlT :ۆobA H߅WA*LSY_^ҢZ+ߧ"<\a#Py*bd,Qe4 ]ޙJ c8oWe-On\|J>‚"T}pxS}:8!=q/sM$ w⛁r/ߤb0p""EqVs R,(n-UC4(C;VV0d)CzmE3G\WnB؟u5.u{ fP]loyqwj27$`0*2@|s :q` -}BQيQ]4kFY^(O3Xh )+~> R<)5Q{<)f-:vStNTQpǥH'rjW̷X~jN y`c64QBUoSkiXQ7ۦkH"Q-jtf^nqȣt&]Œ&)&=d_ÔqVT4>lKtYK!Tw"bq X呌$xMnd\A94'TH?D s`~b;caTvTs:&^|>Se̤R"RNh0GC"Ν9~vKcbΑ &;Tu;$߭ 9><Go3cxG~4hל@A?`x #2*F5wh]žu:g[u|Eu'ͩ13WdlmpƏ B)*_Ro8TdԩrG0Z/N`b-Ghn,p:r}T ]ZOú(u>/v6%֯8ܥYǓ/T[08\x#&Dlx=VV9Ǫ+2 R糀T ϴX۾  g /X1M޿oCf4R"J ac яF(l?ꥴA'T;DyEN΀՝3N]WVxT؉1["KC$Sw \Lw_6^<%6OU$*$kuB|TysP%6Awa\m.NXp{C>I7@$FjOfqA1nX]r?P}i7}#:Ǎ2`Q>Dd`>şRk͒dJM)3ů3umXmaAS9~Wx(=}v&M^-;SmAT| q֚6{Yzb{Wn揼ߔE!LYU0CnulB8G `LOɲz&+/S:Iv6ݚQ@įBD=͕ $Rlz`DU>o%j6ۯ7fe + 57-r5q+=7M[R`䑀KqnF<Na:adݽKtR <mq6gz/qbe>/J i-*d})TwQ#8&0sV8 )^u6|Y RnTjkƙ_Vs#ܚ_uW )"^KxGޑtn?f&5hBlzC?4p L"%]ØO+YwBhwZtlk.in Pv407/;Z3p#/sdm6qsr-Wy0–w*G5ᑏ, ]uboC25ճ)k%@V"}٠Y+:zҊoWGU*  &.rj V&;1ˁ΀g2:c<4i@s$ڮ_P:CKvaMLɅ֓n;2‰b٧+i(օjoOk)?dc[ϋ\2qF 2. >.4ۯdWE 3k b= /$9&JXԵYa~*\t M2tq[њ_͞z֬?G5B6}T3ξɼ@ -suӶf4/iwZR4q?Rx0<99i19G?S#Cg۰nCc׉ثj /*;~GMG"[>K+nunzʱ.kqѵN0јTTcNMJ5,% "x̠,w]-B2C8՟ĜuwQ1I}Ky(/˿ku~#DDxЇtrGBlZwQjC3ИY[DcD^-8݇GOT>|rNTi oeS̭1qs,D.0ܩߎJT~v") ʋhzQ԰ms֞-,_cM}۫oiI,m7@orܥM V:8o\a J|pD/ȍIG%ޣVZ9MlɥCȡ8bWv{] ~o$fnI{WV&7;kkb(#y5>$%dElHws`2[tqf΀j%%ĝBOJX{,VZ X) +*-һ+| .ssؒ,_ӝp!qеn 3vNh׃gV;Rpej;;qԯ Y^1{ޗK)0)o fߧ8XHXuk pA8^w* [ 0O҈N]F1v r:=k5"$3WyR#s\gP9;!zbv4ueӭBJصPLyt[F ksi5+O=$|o*aCs~}:}Mi nG[ŧ 1n5 R3]uDг!T&H<7h& vޚx,'MʏR2"9~pڄ& $EJRQHg8C'6Uޭr0bdܾD]as(lGNԔ.›^R_L|͋CvȒrw CG*;qi(=pKG&e(*NzrI?<%k1hV"/H[=߷W"T7}ϻ 0TЯ VGSH㍼<]1j#7jM$?Ib0M#o7qBfAbxMW(>ׯ|C*porCst.-Nb)& #or:D4-W^RC3 d6Qkk!]g~Rna6K*.uQvչoB!$)R NFN8i_0n8+ټ)7?ϼよGJ opQ)9EL1"uRYJ|W ߌ }RaIY2#pެs+$k6!LvqCr`G>~zq#HEǀU 4 ,;el7b >̉(fGyIz&t#0TWU̴%4gQ0 lA7+4"C x\g̊ M 5fZJ2~/ hj'YM BoÅ+Eze[&VYm$!e7zP&F}~W Ewb4@v!G>>r׳z #y.l^2/RsI%LV!80o QgtlY4 O[xtwo Wwjo?f?2j5w>ฅ"q6HEԝpzc1X炃ܘvO}4;4 (yn=}~CX[$1;ʎwZVs3 QM9WFBfTW člnِ#!`wH1>S?Sۭ%CSlb@N8@p~pC%wT#1 AAdbS9P,EGXHkJipJeMTd("IFJG*ĶQ]Zl1|J/uNNaE279J(Z& NF_\6/U1 mXD#@Pawx({Escxo١r\ngWjI 6S7%cM'(ù R>(i>zCF(9@mX[Q:A۩9qUQrӓU nX4sS>b-Mo*u_8Nb/2,$d5YDȐM}܄fj8 7l ico*Nbr7OdଁJғNdaXjr6-MnugM2IX O%NL^EuΫV9ފK5[&[@.T~Jc\"Ķ6Nase"^\p@QaE9f\9:-z;gS!+RѕS{':CNA?f` &9 o:ӍUNrlO$}Kp틝>K@^UrXZyud_+iR7T,(CaIz:b^QǭǙ¼b 8=!hCTg }aY|R\g`Ȉ5D " T? Nq!|]>"ʀ#~$K v 1B@"(:*S{śzdm4:ܽp3/7Ej!n?]q&pdyt2_^6kbu(4v]tXmIP"~#1iS2\]) ?@cMBV9QQdLH|R4B3gF$:8H+vd/+K6QHKϨʽ| o/r{(Nk*p wO :apvҗm&uTd8WjS1FUaS<.|s'mn/ PHD ?\"xjx}^.aQQ J'TiRm$@~G#;Sb')jPەdzwV<"`gՕɗ~"Knhp@;;MNө?{}kimt-Ћr~c'iH5^_AzA]_@ͽ$V)þ*wyYs**ΎtO4re+fjQA`mP:ٷrX-d.ڪ-dh>MZM%L!Hsua= $KS\8= PE5I` N~qKLVɽQm7Zw_A5 7-+#]2)Frj>Ω,$/hVe{E7D3NX?(6ڸ&@ov)bv~n+V.\Lbt?@T:tl X#8}(mB1u H?p2KYNuM'tZYnCI>&ƭ2r퀁 xa3$[9gOcKOO}bkK Io¤!tlaG/SN %X/I4~1@0l$!9&6}- s&|'AJedvد&O+BO p%`'R79x" :'AK2emCkΩ*b Y6PɦN oS,n+Ͽlk}}MUwF&U1FʿvLyo\J0w#ꬕ+oE)uϗhTd=] u]gH$o< ;%c_:gY&#@gM'z!a5>={N9W<2 /5([1B1m{Ȋa1˓d>KqpmjR}4YEc[a^Bu}1z=jFZMa2eO`eQhcU+Z{ۼfEJ>R&6d'O娣iu"4A.E|u40[$J o%xsadۮ*JhC,pqz }|caצΙbvťS02tx`&Dm8Z\i6ye.[]x z(焣@y#\uȽ֓bj$%쏆XohQi^!r+ qς(-{jFhsj`èx@ p-|^Rt=fWsU;`|pƺ+FLd R>aRjj M2zjݰΦSS}ui2˭T*6Aa~ ,qPX=ݴ bKYK7z'-8G2eg2v龣 ]NrO(V}JJKA\{FkJ.)zdu "kbW* AOk@*偘 ɘcoj&%׉c#<竻Llڅ/ ~zL:\?߅_ 5{QMނYgN_ȗ9/@spTRBZ:AiέjZ*5sdOaJXkg9>}-شfІu-ފ%FD鈍5|L=e_͵O*!v: h lj㞈F ?c%TOƧlo|P~JG?N.^9S3۔ju/tTD®gx#wᥤo2ѯvx4cz1zV.M!*pJ˕jœ'6}7]ī/1fL3+ǭ|op{F KIt)"^rץݡ[/V E OY/ 2nm 5fsӂ;:@ߘ)jHIE1k^Ř'fs#&Z+ $Kf`5xE6YweI= 1{!eC-70gSOk25(ܬO2k FF{>S~{84@n~R\ݚnT׿<82Ѣi|fO3)DZ|RN$ycQa<ċr!T( ( J*GH6gx-=<#y .)ŎWqm#Uf뛜\_xI˗n;L֪r6޺qI*4%~@${ZKh"VUva **ܫת VSWv3+|wt@P-HC󢤄h,1#J ³* /^ Kp9.wV}҇x;R͉\v|kѳ)C1/H62#rfdSGhYwߖѵ;sh=5 tk@[5@! 8H ?څ*ߨj/?j6o^^.DԹwpGKm =5+SQf !ܑ+ᨬsvW 0N[dw WeVg9t;.uR~7RIWGMX}&JSGI0>9DJAzM 3tTX6A!ۥ :nF"6¯^ {zD y< L23uZv3GQVݒ`9`14@5T;C; QSz8 "q#9{.j awRYx;+X#Ι>G>7pZ|[L=lbu;y􈂉#}tuC9]֔730DɬЦx5-o3F]04/*pľ* >qOtg+tiR>׸eO̒ $8 W l`SC֖7 2Yl a Xg|uPVJ}q:Ls>OX4Z #OOV)_X_p?GutP`M*DP=plvx e{%RY6/"kFxHxxYU> ŵn_^~o!,yu< `'[Q*wb2hm8b$^mqtGf#ž;Ѡ!Ky妢-Q2S^@kF\4ѥ,-#҂vP(=,Kuuo\XT(G? &@ޘ "l%zgJB慛xHUZ }Sܗu_(aBs$l"!k9@)`B$+G#:JgxkJ(ZLK#,eIQhPa FlЬD{ݤ9oZ"],f]1O'GY6kEgGN:Ť@j3HH1G S&TF2hܸݮPh X)XNܶe% l\k -o-?Wp1AQROWP3ԈXmٳ:M,><0quƜp)\O |L5!_ç9bDžlen+seF`Uɛ.)&cogݱHuF/?&K/ {Zh.6љpPqNbzT0ՉB'osǺ;<ԧ AO84I[$|vQ[P|H9feG^DY\s˲6kxwqdtWP_{ʈIUxT>L)<~A,#&.hD6#G:#G(R?^5wQx=D:!F|HT(>/9 ]誓qT*mUOW񓗃{WMr&\ѧ_/s/߻Rt g.vJ!+w+j%m ΍ 'Si1ي,4Ǿ>WM2;%(Xyi"AY.yxxMށyxJfmlgB}=>%LͯnjUfaEnE+rI"an u$IKy}͒V1jYdHTB6\*(ojlr⮟ ZD&3!$^tV9+5߁O!}ۈA$̖274N#[%8@J[h3Հ趇TԀNł- w:4gYZ