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|֍$iT=un b^)fkhK=P æ9/#Ԟjx#8{6&ɀNٙʌ5ZIhGZ/g3B 5SgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5bt,y(zA.y'A !6OnSn_"" rjPn#}w*`%1.ת:ҁ႓!܋\^L/W,$Z=q[(5a-=r뉱r#6gdC6>#g ʴ\] R< !4V_ =:Ti&1\{MS9l =1j#'7fHQBu~TH'n 3fg9 Í'NԌ6#vEm"'_= [U)$ε:;M14Pf32xYW)xFFYhcC7>k5h)hG a77^B{ MD|GH ˛^R~ߑf^9zo(Ȉ۲OZLCp0X R 4F!GkZ$H:<>}٣Fp!uO[͆(}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 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++'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--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/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.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/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 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex-)/ ZF-InductZF-Induct.Combdocument/Comb.tex  m6QLFt2;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"!gYZcUES#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| ^>-:IgYZbچ  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 / /f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}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 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<ڹ7S53669$@_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 ;;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 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?ܗ7;_|}-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 /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  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 0 +0x )/ 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~~gYZR 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 v v. '- 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,CxEdx3|˥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\ gYZVFtNh+ HZ 2%;*}6?Yԭ͘#l.ԛT͗շbX\m5i_$O%ŲqQRPD'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`Kw7QgYZ 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'tc{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:Z0TIQB >?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 b)# |ZF-InductZF-Induct.RmapPIDE/markup7zXZִF! 0]ˠ)jk2p O6LP=͵gl5gՙqj[FDQLjD>__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue*e'Ki#'5PYQV~bAű8qtOI|ĀJkf(8/<<S q 0%@-dҚ5x>HHʏV0 Bn*rGf'B=!e;,%yirt8Y*OLq[!Zz^:um P:Ty>!Qo4`粇 jc_Ǩ5Z K8b'I)\Ko/ښb8XOVͳ_WiÒk ?[@l10 Ƨ׬T L0J՝g^6 .k31鑷d^G:*V8B}lθ[1uL?;bw]&r .)_;5"C!/omhG3G:1K_siӅF*"`&pny*@&p?Y+)kQn%<:2|L3=k~+l,8˧43m~UM,Js?rkJ7yTx펾įQ⣩̷;Eи F.AF (t/%JnɱUf$ƵƳoHdTஔ=U%9ݙc&O&c ;*p3V3p9Ai4[Y7')o&ߗ:< (_jyՂmӪ$"򾫔D+XۻS4t',ÃqHtoY%faZo?Dk.C]v]`nK~FADU񋢒!8A:ϛ'T ĎDuYʺb$(Cq(b7HKSTb7-̈ .PnbKtj{qFwr] ?M .<::rkB&d{b^ZmGu&n))Pgvurv4Kn(S+dp7z]>_@^~B8`o8Ql_G@3fRz[gA[Erj}O]ݵqk"?!*Vf{QN ]~UZT խ3)B6u"\#U ;ibcn=][Q# H+Q~pLSŞ޿n imIYgD'ubP{ĮkhҼ93=hdy{iFnk[ f t)t f*Dj@-NL^P1q;N55Zx i' ~yHƖB_ oL!{NGMyt*46`XA 4p(̑@[t~b՛n7 GƁMx P_՜tFdšu';t-Y}dl%̰}rj~Qh q3)+!tם R#֋6Xqp>ce7$'@еׅ1z~I f+.butCp1\# 8WqIV(S\Mid !KC+az}ճytg!z [خE0F1+dXz={\O6R%j])ݸ BE"%aT,E`!s 8wұ)׮w ynpn9Mt~ws:[g&jih;[RL^<M-Iت)cNHϓ4U R|&0-lZia4%]8,1x1tato>ʎCY 0ԟ,gB]G[\SȴЛ%(&64]{ 0J'nxP41:ڙ⢩vT*Y+~g)~)/Yl8"rxuRI(ު4WtH#0KT!  њG?Uȧ*^Zu4֬ҝhlO4vE(˝l횃MQfn@LqVNn{kN,cf0f!vݼf9>}(mIFUL˵߅U+M5"ڜvŷk^4.Pn#JQQp^pu@9}\R>"pLM@SLc-ܛ^ zr wD0:A?(k2)cMUmp|JE~Z Mo_!=\ AiasJI:g6xaUF'eqTp?-yu'6^qEڇK#wd뇬\L(%^r4UĐxSaxV}\@ 4K, NkkEq.+7Q狏x#:\ޔлI0.4b?-(dUZNQ)%ٷ0دRFf̓p.euY:gBq7g9PX2MѨКr&7{Ɍl GRRMB20|o T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λ㭯@NCe~rC8؎ O\gVGy9դ<ЫƪN~^7%+)L3*^ t# *\ -Da4 \?bD\_Q!vݢ&x̤dĶPS nw (!=>m1αU!~FqnTSM@Q3a5I&wЄ)Io\ 6Nv]pC89BZd#ZN> &#[y֢y%8Em.>wo{P%)< +&BzfSanN‘F9'mAijj'Dln: n خ^vnk|`1 GS"`~bNVaFR^fo' 8&)@CTZh0}_R؝u5>QaP ,<Ʒ!Ѝչ^ynUM^7 6/+$dK :- N?~ ZIX7(1N&ԡ}D@wܧMc6=uڊG`?n]QHtTz|g=Z5(i jNPrRZ;qH &a6tщuU6@OU1b ~'9TaLp\p`]{n/=A_t $D ޥ!kin")" >*}0="n¯0+vrUє$j g[>)z>#Q ;gޡ3qgAw̤AW}#q|wvSeTE^\(xd:Ty+-F0*X?|ݟso4V,8\sۮ]XPgZK/ǹd}DӿWCԷ4Lr:@?$4cgYZ)dx:NVReCp(>F.},eMXpD.H%ǖvp3LĨð[#/?1n륈@̙хִvmܩMZjz19Jo00]!zT /E [H.-ʺq&iG3۱FvH^05?)IQ{{/`cE-Kg|4[7: 1X@ŀ*99%8~I{) c`fP}c=vt)E^֓Vϸ=IO|c~QUR;-eX=?!l A(YDsdȭ+L&:gbD +8+jթs\L-kx[hqD;ы/f *nU{EO3TJ_~;I 7N&#˅9 &V}&R@DCyrʿҙ(4pR(߽1h+qHDdX GeA1괅$$4ջ H> |m=8IjsDU-CW R+:|p[:Py&Dz C;x-$9ywC^0ta ^r6qFBiŶN[K}KL| T8I(ƍdCYiy&L;XoiaJj Y%5oU K4{JjI.pi fjG/*mD($ ӎ~0J%/%(wQȸnĐyd@Mb3Pb=v35E4rQNGC&t<${H&zl)f Zq G0r a$T"ɡ{h'hUyQmI'N@:K4wD"8Q۪\S%}5ͰZO\z$pKzUGs^FESqtL + ƈ7IҰr9ASp$xR}L")&` 86 .R8Ѷ6`5)[83#;M8Xpل]z3Kcox`s{钤ԓu9"oM>ǔ8|ȶDұ0k4[äL*k85-`6i ]:Xϔ:gBY`5 ;==l[;GCu,'̴@^R"4nMQnne!Ĩdt`Kg%`wúj* ~{.sHKW80UpQוymx];+n\8ly#'k?@p'I`<oTș2[G5쓘Kq8AYI|vIYֻZ8s.9I#]S;D3Bk6n Uj [2r&&xL5`GGg*RƘ:ӄh `KeEFzK>h"~p 3c)u>:볡uħhOl@ ʯk id1maCr=-V8j Ʀ=2KXXyѼ݄,yw;fχBݾ*b#DrDrh:*۳f*GOr:j Nmk}ݠyR:NK0+L3UR/&6@؆6pjmӘt&.d zP" BXsY&Ƕt8#8v6ZeV8Vf6Dmɡ2l8Sat/ɹ;"~3(*-d67EhaZcuGd<$өZڭI+T3©K2߰g-)_m+b֖y-|OYmS:]AߥKkoɩ[w^$=>eN'R;F9R*~މIJPwGP#4e޺SxѸ]%+ЍW% Lx+']K):L֩hv3k8m ̲´7(F2E"ΔL̯&lOKѡdWOj4&^jj48l[ pK[2t%-4 QLP%ǺHhWN:Ľ^Kq064$Xo?#N´`m߿igm|,B =5Zc! ^KNZ_w:kgN lNwP nILDw #F2cl_iSIfvt#IEx̊rQirr:4B-&ر^/%d'g?7wKWkEjc&Y6#_ /۸dr+*hV[j85i( Spyf\oҳtLDi_OZ\|fGuh_d#ڎZ\պbAAR];7N:~g'dNGEPjVZk7,7c^(Fʱ$OCdV qĀjB",PWp,jqpur~*| x9' cet8B-C B.WYΰEe.|*dG L\0` j`D =z 0o70c:c<$G]Gnm-3s SHȪn^֩%Lڔ#[na`~~4ʻmdᝧ 1`\:܅VۚF7/K^ stH2n#9)S[=c:;C/sb:ub/ItqDw3>{2>mgT_-r*<oz/BɭoD 8ENƆܒ Yq1`Y-R~WK (-&/ly`Mo.G<@(8E };@N:j»Mƃ'rՠ׈X˳42K <5 lԻi+@φ֛I3Cgw/./;Xbog-on>VAbZz.1 }$ ]#Z2H|*1! #u^y/3-?&.]EFP(#.ł8 +[բBJ(PӶR_̻ӥWj=ۄ@ y! Ύb[v}oY"[1%4LkBD9eYJ{[S+H$1 ^*KB"ȁ{&/|'}U/G:Im:pa$H'8c?&Z_OEq_;Oˤ:ZWjʹPMOن u+[oƗ)I ЂRQ㊼vWJdhgofPeѕUρ}f &ӧzQ:=se9THGoՏTU0GҺ_S$rǁF)JVJ7} I`%p4{.t5tIՏӷAfz!&Fna :%ldZŇJB!!\鯵*d󢇇/ct ͫ2r,á eQVoE3IˠSl8M djYnYmhYY/|JM)Ѝm:ۭR"[ Fm8tG^6EMBYGqEn=ODޣC #ԖEo?3>p {>![Je8p`"+M- NQ _"zKR8 F>Iȓqޚ VxV_imm֎?&$b2Les6F DDFBK,A72PM#UnTGP0zْ ?72ioܔN2YՕR?r c~ f +ܴ6mlx땱2`}$;&]814ieZ/NG(1s&&atQO~ov_4uc2`'T!^&W#Or]r>^A|_O% ٔ]b<'ޠ rA(6z Z9QKv/jL%>$E .  N1.sKsrdUP}x U=40IQڪIk븨Rs3]1qmڸ+Hؚ0G2pM+s sFWšgP61Z #a'A\~F^[( 75C6{33, uL'bb򖀘e/톨 WLx'_[%)j2C>"Hl )2I0uaxIc/D!wqtbHl3ՒCr@DnTx/B(z=,?ű Sv_0b! 8iQ!X yǨ"5xVR&oy4A{dEC 10h:x0ssSه",nQXQ}q;g-xB¬?eYJL{k$8b+ X@>Xr[aO0dz8LgbRȒrlC"o힃pDQXyPGR",*XM葜P.^ĂD;rB[IBM zݯm C͸dpojD*67:_JQYc Ҹ2F]!cd\T}>fxR&~W} n:WwH9P/?{V͛嗩`\ψM/Gp+GY0cX{[Y)XajS~Nv)9dkΈPlPq:x1Xk$n4c-/O&! S5u[㬆jIt-~ĺ )jCd [T4'oYo1z4]SD3s-;8z2[ТkkMZ)sL7Oo ?%y8F VYߣ+%xICb&fQr%MOp6<-q{;W?O>+6pgkXIOj?VVRwFoLYg8X7,闦 MQ[f@ F 0З,LQ 'P>Xk[ pa8(ڛ5/jI5ƍ`L匊Yj.'W+ ű\94 \ b|mND]&yV^Ssɿq_[-0\9 7tߙ5P_WnDy\ ON|_iVkއEV0.t?,=) ~i {`k~rU6{j0':T %x~ 4i/kdc@h[% L0(HaH8mSWVf8rVci=Cv*g.19U*^3\.! lwM(%SuxXPXjA/eǵ ?H/bY]o92M-Iӄj5߻tQr84pdg$ڰY1,P s|a +"LzSizDbec (s 6kr $ (F#5& #i-2 b:b%ؗc|v d8Ϳh+Bjr+ZbvHMCUިMWX *`HC<{@O; 1 k,zGݺ?ABE$/{E%93/oZ! >X tC9xp>OV}75nBrD-J>۟鵮poSH\[Q)BD@cb;\[0hq3F Co\ l+o=&J0gTQN{LO?u._(x!P{u1i+|"f;0m$68Zu ] G\A"$@wq@c?7 t :ov(#C|uެ]m)@ {|5՗;@"r !#F*y3KFŽ {; &<*j6G]o7[mc #s_XWQ{b='B8d@5~6Á%g"q_aΥ(!|nJ?& =Qe#1'yG|'()#;\Z %5'wZ +qW]|G*~{im\ |4,e5!,N Y ۬8 l*2u@W>X,k3ImA")rh;\KN=SjEՋG/)OiU\,Xm1I>zMdZǍKrP2jFm0t|w_=M[c%%jpT9YRr9 +  D S79n pdQ$%a's߷B~KV%F?l#kEwTs1:&O&F2(o۔V Mpm$"@僾DY/"EaF:UTcūy()aMU}2c+5PCvDHi|:Ri{lN8`-]~͚I3̟HuXސ$ȏ߶A\?uXkceɠ/Uό]nCGSm4s 79!WĩɝpיMo>Ͳ)JYV)ꩱ*-ɟ &L볬_t fc[HNIsIGAE߂iKްkK%/A9?0Tqqlj nٰʹu\"8(}*O}ʹʃ]c=U ѵJB <ѫ/2[eu${_3%㘚rq7Hs1ז} RߛqSRñq'aʀRV*+\'M+Gfx$-ccY<|Uil6yHeor0FƾfҨq``$%Ezʐ۷$eĪ@n0XFJldV?O (AKjޗKf#AR's0嫬V M a,hLiU.z68⪗ Sqx H>!7$z֌O+I|hap, y_\.Y2@h:}`5,rv&ګnq.0*RA#9Qvc PF oˎ$A74¹3@vA R=+CIJ3b&|ݰ~FvJh^xеĎi2v`Jy7oUYFtRqC/XY{@sܫOgh(VQovFs16FwH$(ux}ZO^hF?2x#~9~(dnѥkۦ̹δ{('Լta/I{o k ЬVD]*oB]_οoH~mH-B7v^JD_eO&J du|RcɏIl b- 1gB7ox]=V΄:޳"֠jlRohǼE6ZdOⴤ~<)8 &$Oz_׈&5/l1r' q$)A>LMJCZ XchQY~ø%H본gړ+ā;G3ҽ'G R߶q錴U$-Q?R EYm,~JAfh?6g>р=]ةPn1K9K\jq\!HF'm5֠%uR=me*/jjNmn({K6)֟ P<$׮J>'5G}xSq=p |^PO+WD'p<UQ]4&{]z~Ks&ekr.(xYy8FM dIkgXM1N\2Ҭ e.LSÇLևWTnׯo;/ z=vcRD9<_~hq c^۰dV.BE)c;1׊KAW̮?7%8c>)$DR'>C!=+/;_e=ťQ^P9pekuS|t))ofƸ#ed.Dnhr7XrWե?תi.^h[vHs36x] ~ׇp53̖wgg&1W JF8ĮK&2vaD~dG.]ˆ"4wR,LgW67UP" T/ &ed(NpK&U@jU/xwStW r\1qb7*m'xrZ⸡ߏ#_gŐӶ 5.VFU7\#iv9U!쩊::9t$P:4Wdś f> ,LKh `HB$Gtݥf/y<0\=л޳nA j `'.V+}/v`gLx*H+A')a"F#5g, -0es5o4fIKI7 +.=Ҏ4sӠH^SJ gR;16pYl[px=4jTR\ o׭ EPh^xLuMBaos N 0f␉#P,4h/s3ay ||!J  lGJrM(WqFs:$rdwߪ~i jI-[jŁU!If&e{Sj)$_wyir*E7 Bz۲BF(+负D H0sIwehf@>KIoDw?ԗ&CzTk]kνϺ4aս57& fϏ`>َ{@k}\2 I:Ouq!j4wm6bpm\*st8T$>jM"ϋnMTiEbv#X|gH:YXC"j1Dx]d3pOJ-\z[kퟘ3dj+޵_q&UB(TLQ*t ,~Kl /Y^ 3cHJhI{l>f$xHGH6M:sws^Ѻ=]q.,Ab뒉>Ï#6 >2nmK=Kb> N y*T6,f0 mk->iT:XK'?51vƦ+r.<1uz<C.jʪD%;Zܗ~^Հ/$E>v2Kw@6F;rxM?'7Xp *Dȿbcut~{$k)B`wNkMTtpFT/j5An.D.#74;Ѻ=]zNKϹH@Ec4- PP 9WسX 2eV`簩4E#JKBt[e .uqP͗ўepybYqee+:&B3~b^(TWxF/l90,SY#k:82д P&X8TBzK@X7H J{Ƿ.KC$&8%ޕ,g^\Lqrp%azt(2,_9HruaD -:'^ ֛MEn:c4+dr4LllSsMdӔ3!BĭusJ5/v>4>7:WEܪrW)EJF3)/`Cب†߹ 6<1H6S8rVOup#2XCkvO?>kp@=} EzպCª'GJmzeHeg>+`PVp :vw0B{F;SW_!'W.RU6N\7@xZG 61\uҮuSM=T\x f Jrx ,R5O傒2D2I8k!&I_'&c Q|b}i_ӣ8Hi3t<: Rړ-oa 3Ut(jiߍJT|!5,a*ޡ꫸ٕ:% ,Oe{-1VfrK@`<>=WȌ2su+Gw:=TgS9/yD6u3&OVoVa556H(2x~(Yӆ4҅}ȇ2(OsRr!-98<ꌿc'k*?׷)Lo yNJ0<)0GTJ" jR*F#.BE/9&Lx1P-1/|r#+ufƹ^(v2%R ]?0P&CǮE ۞\ $ˤ@{. j*m>vE4QwAvbz8 [jv(=Rd}Z NrwW$9V nܛ]|}@(A p~DzRxr> (ĝUK (;пj9v_{&&`?}8Q s) 薇ĄGq1oD]{7J8>dKyHrjޒG2mk6*n e=Imw<T\[_Z:!?$f_#f< % x;<&xZVbIDҌeެXU7`,]+=|[;+!)rKEHzi"t._t嫯颇KCzAB%iǸ&4hMtʰVwRFnG]t@>lU!|HhRWϢނd8W~B%} я5(@~ ї RD$ZJh 4Y(R9$y羔S$l ik!=C!!mєd,j}N[wI^5AYDPY |브ZԲ‹|q⻟]GBHzښON^w] GV#/B/=h\Q8*M@VFL`nn"^ԥ)S/}9P,J|R,qg#",]̑Љ~f .l\X^.M:,C(" )>ZQ0Mĉn%C-$=݈d.)4v )[SU'#v9",Re{ V[}y cbTӑ;c'v DiMw_[ȟU^VayYBꞿYw_/5ht'Hف3  E_o犷o?Rˏ hA#冇kM\kE S}Q6?0P}]Sk-x>C䫔NZh[m̑ /uIB0̝ZKBFbo~B^F eoC s< AB9G)N9< ,^%պk)0*|wWEmOh}qk X'$k\h!5rPzhKh΍m EOjr:@ bo*Qa-Y/>I`:yޓ(rH- [5[ftźprIn-:\IW5v[|zO95z7QZ: `/YSt[IB_T:y0ъsro!sFyDQ}R4jb3 oZ.;PPrelmhjIyw*g`_9(hO݅;Lxn;6`]]>VyTq{YxtG~LTś6&y.4]Χۯ|9/*6宒Rll?a#x1U{K,gZ[*߃U7D=.qXr/,Xk]0rZ51= X&5TB6[wzwG<2fR<.Φ&f&ͻFJsoysCE%F*^-ӌs(d `o>tഈˈWtJ}g|ER]=+il8\Zsy"bewb,֙j8Z_fm]ī0ԴrE@R5 +epLHvU9zABY X\N)eHS#g^ysOdy~#FPJ+vA5͹J2wmLEާR_EJC nlgT:BT+d5}ܤHpptX kg~C/'لx\ڌ-j F{RJx4=l7h\ U[pyzRC[2! ַIj[e-.#){4y%T匲KM/QGn5 xv֬n "oZX~ S-:^9˞KO_C]\ bhnGD;/[jj@)!;MU΅jʜT:q!AzW LvmR'm4GA2@ oS%39T2VS-6)eN6LHhwIbkL֣  "t4p(*%fʰh*Oܠe7\ڟ]݅}f|zY}Sy*,!/]kgok9Ow# >j~QGO_toq<s|9Lw#fwDE'>&-a6_j[o@ٛ`H̀=1/O Rؐz vc >&lOėγɸ y5<}A5^WSZ |/! RGȓ1DB%:Z{u<,3{8?W̨3C@O5NljA,'RRy$}ztr|%jlZí &!.N&pc ,-xh `0.ĽڢKY!.s2reXB l-e\41CiP! "n4K1ǢTA;,61(:;ct+&P@6rH}jdcoDb'o/&MKC@ eL7QƨTP:I\)e m8BYUηVc_R=QL^=J0Tflt9aGҜ cPXǟ IFu mdĵg3c*/3H5t"EC%F|<}0c)( a:vHO_^AiJuU ْRtWfAi4JʋP\yr3* -lޞylJ? ]O0ӓr3%j3nO{!Y.d>Ar=kyd|]`y Ò;Gk*!4@QbRV aqX$v'zE ̌=F ꀶhȓ+:%Z`$f.=ȪA\X# BjZK5xNI`V0ݫ󴸤/KzQ)ER:I7ώg[B )"h-Q~+&SLQkCE0Uj oxR>!;w!V_sO0ņl>ff>Z݉51J )M),\k")yz/ 3cFOJAZ"ª$'t#X9 r<2ɋ8%=i\^wG;}c&e+z |UH|ޣrW duDpZ23T\v~PS͝v_*GeqL&.ZS`2#BRTִO!#T!ARK^f>Quof#]yc;OjJ {pD_4FV\ AВUIAP?mYSpKYb;xuv:x*v.P-ZB h*F{rE1]rBYw ػyJVα> Rtnn F=rHF JYaA$HR;B-tNq\ژseTt6h1bjl qa"֗9²>_YWF4m0q+ Dl ĵBx8,<$ s(SE"W(hފOW̸fxaDFm m)ueS}g;w%]1ӟAA\DY d"كrw[t\S{SyT40gr4NFG2)Kpiz0F\vLГGhoQpu2<@es xs$OU~~87AYg\uXG4 $lڗ%ʨ' )P݂`*t()KL\[} }z}3e`O)hL.X3j?xZh]#7|b ?gYqWDsYb"[-@# u6[т7ȱE%Tg[W~4>"k.CnϋQS8~Kڙ: QS:WpnUΦ1uw }΁,¹ל2jW`HutdZ1&V¡r6h"ɱVK5 JƂ9GcvNāBi ;4QcaOZ1N; ߞ M1!3{6p1q7(#}HEan3bVC,FsEWJ\e$#} mNЦ 1ߛ*Ϣ@`᜽/ ?svqr 2F24|JWcpEk ,Xjb rnFKCݓIe"Wvbl0enTҨkkiǕYW)b3O!ٗ}D~"~B !co,&O@&sB`6^f{mMѥ3ATx;zCubcw}ZU%-gk̜T_9?^t^zdS*5mwG|yd\XwdcmjrBLhyKZq G1!7쇧(؝zW+-GQ!&Qaacol6IP"g=+Lat9h @=XZU%!ˊq6kg$`S΋F&ކH$z(3ƬL>$ax,yϰl]b$6s.?-B+wq&5Žw#Us#z2R*Uؗ0L:Gt]JI <p"Z"Tl2rWh!E?~n>ͿR)(3a nN S2/xYuJuu0ϰ'*b0b>viHٵQ"Ʊ 37%I9Q/тH)jz&4]=Yoz%4$rl"*si[34&cL98?ۀWqMD^ьHPUxDxtFQͦ[M\<&WbNZGh ?c1aD|Vڈ4mYnj@q(MSdsTFB脙qERRQ F~3i0Zy[v.'b'nGAEυ3 . t~i V 6|{ v^.+8e$f*,L>/8ܩxg96 J .AF UjWywH@ C"@$F}dziz>sH{T~'} ";v[# S[̥^"L =myk vFqٚ㏯qi҅ m/:sy$458XRtwOރ󳤊Ӧʐڞ _Gp #$]$ݎ V%gmzn 웆_}~SQX/9-?fĭvTy%D&lG){U0Ag2򠗉ȏTKwZ1<&k΀YLBg7?M]3!eAu?qTSjJ^O \1FYϲ0% g'DJegSi <: 1J:K 5)6v?iQx/L"׏\)Xj9a{:{? )Rz{Y=Kx.Jľ|?RA\4Si*eB?=3}_lٶLSjdGj;tkU!³i=*,>R2jzXɹjG6KƱy-jLF[fN;\^1 ̵Kos *hN4[yĿQkpsep?!y=R@Y{>%;ٹ.H#HRF}q?σ=D伪+ }E0-e2xπڲ !="1 щgZE^ToŊ DF SSgv˺=iw̔: c{x7NF?xLA~&RNއ؀Ӂ2 U w*N]E ʒykcw o>-J8ad\~AN3)a ܰ ˘-U@u[^pgsnMz}1"B v}s +vJO-p&ȃZڙ!@KsErVyU'levn* Ā+%p *Un AH<-Tce zhI*ku,_q90q}p ufÿ t δ[/Xj oMTAg*q[3i$oTo&$}C\Lr7H ?mW;,%>,m<_90L.6y;(Jb\1hi]$Suj#z] >ᖝLIyhFfKCMB}D,7k*6Or9?T٬-w[2h&a 8OC8W)[`xBwwk#"I m 2?`[M J^1#X S<'>6j0};½>ʘUj/~$%7090K9\$ބ5j󥕕v=fްѩW~#T:U иi-;5qoa%n#!gU6~,Cn'cϨm_ NNIKOdD肩Ui[a±n@Ng*~w-5h^E׃ vѠroum8rjWx>>] mHkŷzՓ4n3J+ lsgO(TТO C j@vI${Y?={m"8䄡LҷwQFWe:fة'hE_e=hY ~5yt&&E@CU|y'+UkQjhчH@74*[l&yP2󻇿 ,PLuV[5 M N"7L'E&hK|p%}Go7rb3f Gh!E@š u LA:hH =Nm2A6xa >p^L @fUT|30#)i-߲LyM[=4G5=dg \2m DS~+kzeG06BgeчвvN$LSgWׇ XþTb_i?vRH_?~$ ~h숢~FpCz-׌4C0mbn;mXTd@ tG0D[`8D:x{f/xvNJ)1/*xUft+" )#087rݜ\:.u a02=|%uJMkTiU~^ ]:I ,O ;* 875)5:&fYw ːxy2Qy2գj-66X9)]u]+nqMGE)R%|Zz:^GVѓvP/O~#EЅXRjtIp2һ'5ᯎtAkN_&Kaʡ ұ/k;VCccnUChKuOď`E]zq`.5Ϟ+B4yyals&Ѯ ) wF91Zز=l~wRIe6~' (j>}9 (&+X/皛Tވos@qk!3XW37!mo0B6 F yX\HXTx+/PfA:hpJKkrEi/qArerްUycu:!5`3a Sq| d-ֺ+ b+Qj4Rg3](dukol?89rܢW#j1ᇯyA**lHT;ĸ/-|];}OKɊ*(A)o @j&ݪ$6*,; R=S?RTp@Mg{&Lϟm/eВ+]čj7G?Ke6eLbEFxQ4Ɨq^Ij̡$? P"B4 nɄ|'"_?*}r /39ia6;ȰE{ʋr.4%Rk/2zH?>ڀ\+Kq7 BabC*W⡍xMtJy銄=NKY-bno͸FGWMxv cL3뿩q $: Q&NBˎ{t0kry=kz닙=-9`Z;.H̊ uB7"8hVR"e mf o/B׬:S繶0{Hg}Wzwkiz%KF)][QU?VO3yawͶ3ȕikw;%33p.yrsC~)b d$-<#C|R] g2/2>*mz E,$W2BRpqq#K#0L3>3^c@\崓 Y,GKa*t4d}-N $/s싇C$ǂ" U_#R*Ž9攆Zќc'?RB#(>|5 G `}s ~(p%}5Y /}sfmLՔP@)E%ҨsxTi0Q}<: 4(DQzR{HK ?QvK7NZri6f|~Q"oSR?KCX'ެDVdV ›[hNh)$jy]]dJ"ԏ,M/W|{J ̚| !$`ǰU]푾d>bz7UB.LH&nH\j; =NvmM< J'P#%V X Cȓ$]p\cQE;ζ"^f0jBCQ/_-1ҬRq45"fTH~PAKV65@#6m(/RA>^gAoŀ>vGz]A9þg[i*rH%\Jne<՟eH|Pa-XXrEmM(O"0X6Α񡼹!Og"|4^ { A3C{KcQʷ6ocaNV%zkƱ\xHo! ]nlI8]!Xip<>x^8_ط]k/ ;c 7kY i]4=$@ef/$UZ:[UhXc<(cbcLhX 7z=7F'DՓ6$ q0O펝 Z6Pp֌\$8 `ܴfZz%mJ=4X#QGLG5~̕lO>:6@#Ku"p'j,|u+ ]7i.ڄ5Q-T K B+ 'P6}Ʀn+}v؂'&<^ zIB $"8WҎ`)D4kfGN&v4m㬨hdS|;YhKse f^X3srJyQ-Q 4̳gS}X?lOXե+2zV,(D$ kCPEZh}h砖RHH̅<+mT>W|z{b_߀X]R)CPĞ3PN@tp02 uiW444}`\RTVA1)C}ы~ ~O-藳`"[nT%x,aBJ0j8BO6+סUfi~<xOz0bC2Inj͠E/ǭ> (fcwJaz'*u0i^W;' ں! &cZH@_hn*]JeHs"CjВNO2Zd~MZ ^NntËq=U&?uQĵDύ&SG5S!h ?,u&Ch#%)g{w}VzTXfy_N6m H2yɺ w/!BJGq:9 kU]hQ5!,:VpKf+g嵬T6]~:#ceh"zTH`cyJɗ;(}UXgw[WQLf!GHW ![# ],䉢L 0K(1Yvin}!RaT }7JgU2ݸY4/r[C'#%_z*72mѽxUSv4I :0]~"DD A_5y1Y@-gL]UWh!8+Hjd^.#1I0Sz$J˜+^>bȗd 2Cx9 ,Gopk m&gLűW;stKZ,aMuq#7fmc4*/`,&v,2 HizԸpDOc!= lOp}15^%HS5z6ƃFjL :!9 NPӶK䦫"uCⰅ7@+8ң#cR ib{v/nL 'xmxz6YE3HZ!JȋDX %x`Idӄ8侞!ᶧvZa s;Sa3$?-=!#|9Kw4 bS#y U"z7@dKvAd("ݵH#9]EF!\mR%Ca1-@Noڶ49mZ㔓PR 얚?nXDXͳN+"Ka^9FF6~By*,.Oz,g~"ȸk{+_UW9-ea!a^4v7 Bm(Ÿ kh {]i:i&ud'bI^j 'gJ~pz*uc4|fYHHv~4igtпQ%_iĴKYY]R.UCx9T)cTAS#h*+1 t,Zagd֎l'jJGU(NOEPWM$vR\?c36K$Љ 䝙@za+к'9KSdkV!YUre:Yx%E)FH@?s˕ OZm4˄)Y>Lml0v罒tkD4Ra{GǤh2YW9bdtGD{µt3'8  .]6=y*O_ OݞS#W N5qcUMꋡfB 'ΉЈ\9O\8W02A`Q? DLuȼ<%}Jj8֊{xk1yeqlOPg/)8 p^En7 rsÒ4caW4j2Yu7kh]7Bpkmdb?<q#ʄ՜2 hܧ%s mg`+mnR0Uť"djTfQgQY)؛4c[,2a@/ieT=SAV,!j?L+#nxoc+K=VDOmZu|Stj9TPrN=u SIX< H &OaWCs`%DjnJaVNt y֜v:ƒzP-DÔ*09LnYp [Vsԯ5mxQ}_XhLr,Fb-_XWP?BL$ӷܮ0 !0[i|'2Y11pG95,  i?fdF`h$Ly@a%SC a<'SF+ܴP!'TLb=~kE%9C T֮SoRm@1%a&[9y)y掖G aa?{˅o8|%e'> 垧^i:"z3?8 MS^t &vDrOkr=qTgD}9aE' $Uy DxA[V"ƝP~$a>.aCߟCK1vg͚ASWM9@2&܉aq5R}P?/[k Xx;1{2e_p)h3{2j赻b5y I.(1fċWl…|U 9bƂ7m^do}[*^`,&5? 3R DcaZډLwqRƃeD # lc^cEM2q=cb䡕µZq*h=4f,?Kj#_RM!X/)0OCWE\80\Sp 8G7/:4>dn|!tr?D9촜U(( PWҦ7ִuں'M8 ,1::Tl]1yDWJN0o 74\TssBֆYTxпY ?AKPrPQHⅴRG#=f3LIԤ:쀑=*vAt Z7 ]2 sK*Ӊ.P5 k ev%-e3Ƣ7e7ƷAtx{iopVT4yшrKi,sMBMZ,߭P 'C3o&NJ0@CqjXÒDP "[k/xO3$R XAw`lSgOɏ=)4򣄠Ԏ9^u0QiOYLUw;X~k6zBZ? ?؁Hi HfEq/RpF EƊÍbAӑ!KvxזP9M[ѳLMTyӫgV{;X O Bפc|]!)( xgDTf\1ޣ|^.&ӔsRR)'NҀnUS~́3,\ nDQϛs"I ]t.4EZ 9f?Ƶ5J%a_N;m; G{^shj>>᪦MuZ~gX;kq\eh`.Ur,adlt ]\~oJQ^*3:cJ#>p FI=o䖝nsYeXĢm^qBFr ݴc';hCNH+lSv/^) ̲5 (%}PyLEg>]@`q $B k Yfء9DİZF2oePkCPX8ӎ9maҒѰY~ġٕ [U8J:q0_<{@OʎK4~6z4g>{kl@jGV{cCt&哗܊?:aAYD:7?J;b>U7KaiDrhV7%۲gh !^9*{zI_xn)PhPa f%),,B.)ۍ4Xi1txS"_'#!0qF4ˇ'b|M YsN,g9_bzf'| /ґHn[`y9vY@$`; 9nF靎oQĺNy.T[ZTqX||8? ǴnQ+fqdn&Ӿ&l.)yjuRpޫep[C5Wj:P~.?L2$O]pB5wDb٬Q꒲fM}c'Y q\V䓫^N{}˞)S :}>6P/ymOJy" [2Ы 0NRuXҞ[Xdx߄5:m;z"? qLh HӾm[RuNHkOEI1|U|L{)o1`N<2K3-e ,7NO1:oR΁0ǯ}m}RiTqM"2dttY9[^ tѰ~Q3|={7l œu[οZj# -UFujꑳqO^Ÿ~eakH4}:RsդuP uU8@nOVTu~ IZy=IPx.]0gŅe㎗11bLF۴PpFs,7S IC!k`R`O\.b5#nH%v" |8>`ap <4I2Jl2CjpLϮ-l_!dcu}}KPR)ǀG 3>v"Bm];k%9o)TRPf<>b5ُڐ ?j-ґv2QTLm%Ç I6!8Ϣ E2gOվA$J$"A6eU*^?hోˇqf[| xP~eLONRwX6ΕLuP|V4?#"Sڬ|X<#a01nmjbӛky+X%' ay"^d hF[NK99odt([goQw{ir% OO>DV\$ȝAOc@Fu%֝mk2f!"֪J{M,(qf<^$Ҷ_R)t_N)T薌?K!?G?z5HmyՊOxBK٧ve inT>ҥ͆3z!473mlg H/mRFsa6fr'9#[y4mZ^e2RC6=0YlұxHJmzTPxÕ_ty%(/0ek/m[],5gCG0Rsh)_yXdZsEj|$oy%/%IA~m=-=Z`zT~Gܙ^X4QP/qj:y8v7H˦O;%ז{^Ҝ~ cX62v H;.pkdk\' aW0N-C/8i R/Wk,MQh㤒߂4;i_nqO$2rò96̡uF"bOFO.AF׵H!XvZ19UKO3Zr&;b8C$tMt#5`N32& k׻LEqX/XNjGMMgVYM7m%'Hߞ,xؽj (IſyW]F*:6'`U؋*IB֕>]Q^߲,i в5T K]B΄6U!ƥuNE^h lfصwgv7-VX&&Rض1=l_P*^ٙ#+EzP;\!,rNhy*z2+>^,+i'A'1QYD,â*S/&[wIhRű˒\'XDE$=N1I'Y#v7S:\!VH~ٞ)LwSvc#2 1Os7૫GSu[?[[+  @cp'ħV<8~5TKKN"(s_Y zv86ۑM.Y1^]R?s.Y+.Px4EΔa<%A~f7c^9Et6ך|iR؟NΊU_Ss _Qguw'a}&o zxh{ӜM#~q\y߸dY2P[ZR%NJۈZFCօ" }b8{BD+oKdu)Tkڢr VdUhkJPm}0`eKF٘b4RnAvg#*+Xd=E3a\e摐ZkEJ;c&SKa% igsL}};V! pņ:S)=uܲOտ0Ա5&\Gk >@f[ H,qF}CʹFXdWr.ƍF.q(sQ;v,rs=dRwZ73Hr[9}gR;+,k²{V{eq؛io5D?fP.7ui9CWY6#涅FuѶ$ ͐gtk1 ÿ8ZD(ig%F2Ķ{+zEڏz?m8`ϗaRn 2v`Ĕ3E֚`PQK)|_C] 5^!ѳ/vӐNAsB~~a3"r-8Jرs/6kpH7?LC2JN䓶4uk27{G\,@K7_#| ;^iKFU;4aX,w+e}Nq1OB}DP3+|fjE egöGnaMJun@VI\0Ϗה<ǵCZ)_%&L)t]0C[oAp[v0!.oϷev&7\Ɲ0y:fd͔mtx *<KD%b +*ͶųQlsq|e&<й>iź+z:iy6VTSD<ׯe*0 Kfh1zHiB+ۿ22ʸV70zo͖D}ǖn3Hx oMsD]-T)aiLZttQwgP5 Sk$ƟKQ?AZ4&邬bEʖ_hPY7D.P6XQ; q`ѥv0Ii8IY*_PK-]2VtCGcO M}=pؑB˳O2*2.GVIe=fA;; NǗ-.xx`?QE5jL&ɫJ7YeV_n}[),TET?E@곧׷]?8Qg6RVW-f+wї$޵_KqYIIӦdڣ4{Zl"1;߄󔧋]dn-(Ɨowq^2IM)p/O*fB [3..6+a|^05~)*'䩐8vq24^.g]S RO8%KW֥C}9=]Tȕ9p RyYM>4+6,I֘PϡM::`yXKP5mHmgCJ$3/࢓%ܺ~-hɛ 8d ,|立g%'3fYAJޯ}h˞ER~mDNT#o0^.Zp_(s7AVH: ňiQRMJQ3.F98޸kWd;#;-rC1<`7= ڝEF¾^#$2F{7 n*e?௼*ILQٺL?$|L2$^Ut-֮>K.Seĺ$׿:|R@@YZ|(33brfzdL, aȞ7D8AWc'UfZhlOF]d'ILJa!îQ0hm)z+u}M4VkV_3~ݫPvLX4 ЙpM"51vMBB=]8}MTv3 ?~fzS;ijnoOd[ї~=:ibE:mz8o̶ l:~u#azȖޢ;VFf:ydyTILչMf7 *J&YU[z F)a'NKS 7~cp}J "UdSRg@!%.>U|FWŇ3 m石NN,r_ΙBv/d?AkmS_\b\mŖg >wq G.IJL]]V1,@^#WY?ck5@@\ I5˅%.^I#YT9b^GAp{ F ٘ Ժo',uD1!Y YkvaNQJafASŽ[o;|<^g@(M$>L+3 0>]bmCeb{ ^Wл]˟|It(9wͬCݓ0i{j!*eoo.Ő D(\vǠ1Gsxd0iJUY,Vط 'f)fRZG?ٸ>J59}>E7Ɏ,>.:ıtyqm"h'22xng `tz4Q]lڶe;2O*Q k<3xDbt.b?D kXã"Ҷ,_px'dgˍc4|no9dJ_lh͆&oVa'mdDjcK_ś AoB@w4qss@)1ZJx ,I%[|4(=`[-YƘSʵnFvPbFCMAr-bEWٖ,i-ɵ,)XfO#V#LСǰz`P0`Mr3|vI >KDOJE@s Bbk6saH}v`ʤ:Q#urH9;ԫlȭ^Mxw9Z5< ku뇖U106 hd+| wxB cNkC\)e\3,'nod' foe3R:? -sA4/n5z cPeQ~*Lקfڑ(sn9!͡pUUy oh)tkc:更bHS. -4Imݎqf>94wQFr^A8P}XiviCBկ]%D>i0>Ⱥ5ОFW rB'7 q ]+)"3b40~'b's[\2!F^W,QThk׀G a0uWtb{q a<9Zm]sC'5hQD~'H}uإ,CR]?w}yRL%9)-͢%8[:f&  fhFgg7bZ:f[xO*`3v@drU.ۓ\fJj/_V^sap5ܼL$g飒GbJ6'[ץVeD{ih:J{gW~{QL]:DqkzOc d0sSu+x(vWg˃ g3[ 聰;OF(`r7_ %?TlmܦGv]1t`@ߥU.'|~ Eo4ĕD?Dw@Y/Ԧۛ/I,sz؝۔D"=c舶Vkk Zr҂`I(ly.!Z ~p$=vBb `% Ple6qGC_rI֭#@ZNjy.])4ˊR(J#AW43|n,P ^Y Q8A By&"<1.!” wu?-0:DnB]a#-K8PRJXMxJOhU2< ;IoxX$h,Rsfk3[ 5_=;,Ư5W]JhHt&Gh:t+^r#Ϝd =9UU ,Anq@cS9{YV dž^X^O#>D ┕:''ۼP&Cz;̦7<]ijط"{m&r^i8 9/?ewtD>~7ov{eK 1]x-NtJGx[(!݁f>KKɉu˚T.*uĂ&Hx_4 ;yA'2 x#JD+J֡AFV?@`dB4)U*G ?Cvᬆ[Ru@#drrMEaht%Fjq_SO/g@h zJ!yd\4 py?׎I=ziߌ}LHDZߍ~/!*[uyux `kSEE(WGsp߮!=tw}Sн4mz1AijiYz!౓f|mb l>!u%TEyM*ށ0ET1U^I!9a$_|kQVoO[Iώ78 (0YǛ]q4wS op!rh0o1s!oO(*aNݶ<ι~B2Xmr#!(L>[TRx/%Njf3f~ŴߣM!؂<7:ԟ`˪fۘL&+vlQ?3)C4#(,޵ U:k ^4). h<$zrKƒ民i.B]] `CW02-qQ0ӭqdPW&H.T*M"JGUѨfំw^wTH5Vw$lMF+m/jI]Ny3UVYiD}Ci;.yqr{UW6CuEOkdQ4](<l"s"DIbi 4|};Rь|s~&u%Jy xk,b\a!i `;yrõԄ96T{ZƪM:݄/}Cp*'SmQFtWa.)S 8 }/\$~}l0a &xfVHɠf@{i`+V([+?vaMӈKn؉0O4.=10zʕS}?)uiRu7R*3Z%j Z2x$1h4 9{7ZAgiVP>ƨ'r⥈LQSU!]EΦ5X)io0?NR C{l|X ?6/sN hݮ^^<Θ5pRm (ޡK@2q QrD}/{TN sO`B$p1)-gOeح)xܤ]K'>$!ĿTL~+ڂ0n% S o]YK?>>HX>m)HMkH/vc)KO<VVn[#ӐG 1$◡qgF3Uj'O ˨;_;p+;vj",K'7_ +h\EPd4ʃ'"= vΟ.t`po "FcbqtBOj"NV%xO%^kТ DjSM*9Xc^A7+8LRu0t9RiTpiZ×\=VCդV=y-(Š,lwc+ @{^楚'N]}_{腙-:əP$Tf3UהC78OYo4eo1z,j.F b)EBTsB* O$@al[8G]TO*aQέS[G0WRw:f榩i\af0zHY,=`4:4hP)#1_bnq{j0906/\Kĸ|}m*|Wh:t?En%=jbD~iN߻Gz_ʽ8ݤL52ܴJڂ !4Aoe|cb͒<@B$cw*\ǡmRlWxǺtϠ#TgX.FIRKB*O)lkYkO *Y4e,t[1*G_W /f,~`ÌnSެy:4 h>U8" NSN @cPuC# 0T˴X#ffvT˶|.QPtѤgYZ IC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10241' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O C]Άxʆ5.f-9 rq9;w'Rwr(дܓ\?MU2N2d9UǬd@,cX.''B{H9H1]b++=c02ROYbĵrdk5sκsZ4^"oH`ĺ<H{T5=DE.\ b(Ѥ[E1,)ۺwXS潵7%rƛś1Iɩ(]4'cTyaa&T󸆂P)E؈cTBcVClp%B{KGjmRa׎-n%/BT$}6ͱX 8]c%|ucw8AP|ljCն1s7܌\&eoH>~!oֽ7OH߮ ?Wɲ?jK!9ApC矦*o!M=n و ?ͩIފ:&͵C0i]H+q@85_罽ywjEuw-*{ WrR]X\p|Sv1ghl;+lgĎ@o@(UqjW e-=sKעh\~rѡ^Jj1(pݑ7&:?UxặkZ0wPHQa֐( Z>60h;r- >|> ޾ou<4by XP!=.r-&Yn.YtSK4$ Ŕl|$Ĥȷ7C15h EiӃ9cW'jO@cWRa&dn=pzBBO!`]0z LmWekf=U?Yr ZFnqG˚fF1}tx@hg T 1=^r p.?tmJbO>Qg?U)2QR[U i1LQ(g?TMtPs|߈QXh Qǭ~+p,t2+nʬEV/@u}(j΀\x9ȽkWa*adxlOe}:"@QQǎ Qo6Gܻ+"\.l#1fc.vgI-Yk?!ʳ=Y8Q26"B6Z$jzDrS~INe/fE-✞o;ůJ_`٥厎BR3Sڴę yʘ;e#6J g~*NȾm^I?*  Ke\!A}ZwD 9vt%'\R{jy{EAv4W|$ ƼIKLN4^􄳗1~=7pt3MNLNAwLʰw\upR8TH1m3 ֲ c_Nns^9!\ )͹X7^3Q:~2JĹ#4H qq(?Kj.$Ai?od"Q|]RJ D6YyyiF'; 9؆ewmZǭn8cGT~5FOKvZjp/1{\:F KYܠl^&VA#@Y$g\@ ew괬SkG,7ŏdp(D:WЉk_T8%S7{UC/_;S!fםzHLSFeϜx)o+jAij@Lԗq*[I@^ɻۧ d:۷rYsQP@;i;gK⓬nUi}tȋ#RB6c0;&}^rU춴<c$ÉTLR>)R+` #?A6Yi ',%xN^Ք[ö4 +&N aS*[7JgK(T&L +^Y>ʲ|wb  ~HĉпZ1?a58t@u}ʗfI o8E&gɓ: -B(@/ApǺ@Evl6X9@b5Ҙ%Dq'O0Tg*㝸*74Y Alg%_Ú3،M4%aD%G Tͷ@_ BQ):43_Q|1N]]PZSyvHvfV!Z.U{D!bKY6~7@;ꂱvz"n.[O#n`o55-,r@#8(bp- 1lGZHNB-jUJHXY%QU7u\Y;%g0oW@EC O^c&:h4F)"?hLQBMPHʣFw`Fml^&~x3fV `r}"Ӵ<֦#d1Zz/65\{ ?c+@":`;FXOz~RfqcK vnjRW}2ۛaGYVk^9ބ LQ۬Ν!|fVFf"o.nY}qkC`4&a>% }Nzq>YDŽ|dy<:EwE/Lij4 bYQNjqܒYy3ڂm^#rþS9ߜ)DixAv`UUy/:RЭ_5 vp\;:wLIΘEm.N˩뙐^B:ϝɔɆ1T._“h[ j$@7AP}ujC@ui+xe0de&vT9uёϪB81] $x1b6%؂Dp'Kn'ڪ xjy2$"W)pF=E;P+4=7oI}}vX΍!koa4ŮjҌC"ADg 9z~k̋ {I8gFYJ }$3`.#¢`F?xW+/JJ6zŠb~\Cg~u905gO0D2m աts NM'j,7/ Z EF9mYj`[.邓8;&YhC H={>ؽ|Dc?>l7XH2S I>9?% EWR׈P93tnNNb8CAm$?u¦V<1@&7M.M{UhAo ܅+dlهwR\qCt#1- yw-+~ۙ2Hi~{`w|qz@ h!EA7x:wZeaN >~-uw$Eў'c5V7BYG3c=|0 b?G;pv4\4nC<6MO 26y_tsο@^Y?*~*6= q|+OX|lgka\$Q^A jdb,0N+`$6qX@_q^x0~pnkqz3=eInQ)sɉq[ p~29\ώb2ؽkhۛ8gz$j/PAv_l#D?DB 1_C~uP hxZp*#Q-{ť˥&>ӯ*C礁Т?aQD7+. @.?h"!c-wȣ.#"ݵc9P{Jxտ7{pQ a3( M 0.,Ky?[0nkbp=ilSojT'[%|LA4ߙ:E9eRv)3-&^g\f%=̯DV] [SQlⷧ*(^P~z^z|h;Ro$'`::dCG>{;+'DQUInܩ /T 3VrTyF*ޫ.Ueyoޢ9I:-H:~g$2ʷUqc;Apm8tDЧ~3(@ԡj^0 ԪX=G|*>|kM~l*8 g _8 D=c%W52(p1c݇p9 sY~=:F>iRcdo i;&f 7TSnr~@C nb "Ń'9Ct#{M" h;.؄L;581}& =- kPaZ{IFXTVK na[ 9x7xB*x%>Ϛ gYZ g+# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?;@.I#q/WnMoXKd޷fj~mz bR n8(o4ReXk :D)@_Ѱ#z\JQ!$X#!nr2Û]S[鲘F$Yuxٗx>Tp0 ύO$Hn,+ B=ZӅ hT r}Hf; Cy/ U;\-yK`lo(yzEuƍCGMx6) 72ni-*x7n>eCd<*ikvt^[F!۲| T+-0XxOo{I[akU7XzDCkF3l>zJ0Y7j%3&t%F`$JEU(a Ny(Zo,i0ڊ@>CU}9alDuPs0 ׍IY2wl=+W{heٸ5-z3ȣZ -ٳ[|rElvJa_D.WTu4,;Vz'9_VAn :T!xN|wGխWcA$T]U!T5ds|o 77|)- lX(*pTuoY} ɵl89sB@FO$+G@:!n-8>w sSė]|W/SIζ%_]zؖ=.Ɗ:(xZ︴64[T&'XM o{H1,p_ke "OӝUR)Yez+;% O 7[ _Ͱ_ESM8tL [\"Ǵ)SS# 5y:I=k6Ht5jxIQaJ׈<=M~{7zQFCpJ +@m[E2ȦbjѲkB#=eU#L/%' o͆_R3 p,5rk3Iblԁ|"[p'05װnkÑ*"k18"oc;񵘐 V8E& &$g"9K[~Q;M&h䀿+A/5gntYWt6͌$CF2M]5%nBka:!b}AlA9 S )~$ƒZeņe>TFXWWT5OeM<_iI8:\h!< U)lߘh4;-ngq>5֢zXs8p"kgs9(dq(4 Wx)Jj%Uwĺ.:u" EL4Uwa Q"3Qҥ)眳g"`8h`|Y$31 peā/%,4#4 ȋ-C10YRl PQČ8 4|qJ0=L#Qˉ..1};t?Zjd04f> OA/+eaG-r~賿=FV|'O)%Jo&r[;DU4MZJsIq>Տdl|ҍ;d̨tdY~ H_Xd,jL>ZjerIx lҋ*[Bkư|xEʔTm=52ߣw%bAsw94Q0,lv-ac "Es2g\|ý8>.SrDOq݅`wra]B4mU"O"Э멈R~|xQ@c7Ic(F7E-tMDh _l'ł]NGKz^ IoU80% Zg3'5D>L=s,oL})6u*G6\c;Zߏ0l-Nks}˷NSUN*6R%5JA_AF{!R]7~"8Y&P5ʷeֲL7Uh+a, !\SQar *zyt\Tue&ϞkrhDR.-d9ƽ]}wJיVHQT~exZ=~3!캣0¥옑|79KO+{zϑ,x O%,\N%n*8x"&x]k :mUd`NmZڃ)`tDyEiu 0_mfGwe{$IUu78ݜ+W䞧lI)zX[=xt|Ffvċq9lCni" OEѶӔQUPbd:-B6 , SԹk+^V/glS\*} ֞y@%rØ=Dɡs#t>K@ۋvtqǙe O|6q)_ۼ!8t(F-4 ]I]I}ϢT$4GD)4y7Ē^Z*_+ C˓4M ,ʾId0%Fw|Sl]ԉ7yǶgKPq%v!q gڮώ^=|D\vngбO%A 6FLZ0ft-F\Nn==^C<7̻Un/ =)G˘o[ 2溍}UJ⯡DJOFB֙(hBoxJ>Ë+ c d * VcK&3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5%3-ZF-InductZF-Induct.DatatypesPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׂ^^@IѪ.SnѶ:O~p ӍN78v- NJy8 n-Wm 'Wv}d-q 4m\1%.I zZ~SXIfwex=hK]t+GìNF-Γz!l`MUѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQQS;r#M@ѲU͋D M=Mu."B9xw(Vdt=U˙ѤAR>.qx(խL:ICNtq0K[~©ŢNI>Nr4=Xd4!^@M0Rh;o0*[N.*R0S@(hdR5@M[i->AhD۬_o3ГI8ebK?U7Fp-2 Xڌko1 >er[pQ^ N1O)|v'/ P"<a сn0Pjկ7ur< CHe\0J8bqQ K*^$Ԩ8яýA&VYMuN,̹q\qQB+cs(NeHxm  ?#FKtHGx>,Skfyp(atp;C> ŵpRh8'0LKvSKʷn颏Dc]$ '!ו습cBl~QE\vCv7j-^E%!OQ<%dƴ.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[:|&[zASj Ѩ%cqZ3CGAJ('n!lƩa5$]A[ xA,BJ{ǫ';Tݜ4b[khwyC)㺈F10r6kf>Iud qBkH·Ƈ"ST4K$|oyDՂ`Z}Q󭘉>S:zxy-!!n1_ښ;31`>M{N ^br{CƆjnmzMy:،%SaSD| xD͹Ϫ" *Ǫ}|SȚzvJy$0]/t=wq}h(g}gб76:UhI ^cUgH_5:ܪRHdr8iC[ v6~6״ͨAմ[U߲6Y,9ſf؅wdde((1ރo3Xa8|oSL^%o!a%\v%=D77䃇1=4V,mdO:ٽ҅BIPke}%?ɥo_$Xn7>hNQO&Ÿh^Y10ˆШHEO[ Uȇ_yQ%$XN@fPn!dn31YBlm|BY׎ԯxd\ wf>z{" X/\!B+S7":qƳ >@52P #HN.AkGK]8aAx``TUMa$e`B xn*2ΗGs8~cr>U_ lFc=^asc&fIxFxf0y| 7AY{lKr˟_l.ڰ,C(wW|Y$01W&-)0 I{ᓗ[TD8emnYfBDcY)u %įu,eF8Ϟ:aLѣpgYZWd䠵 y(Z0& m2oڍHL {'Ҙ=JEe%D'j"jc,s[>踑ݖ1=^äiM~KurnkmkZG2[\,3"W-y47D_GrhIo- [O0Y,cYw(ep¡7 ͫUaytyxSw<`W${ j?N+aPTI+i/)ј )fqJ ]8gҽ 7g6G)!}vKd$yɝEck1j{+/n}]8[j!GIؙhkeaby^u.rM|?yUQkD\񦃼k{>,_]G {>:J Jh mi$deCs 34{bPQKeDde'?te>t…$> Ib3r't]Z1@W{g_`{mkH[,QlvL&6ɇ@nkY.6/j8LG+5,<\c;C+HQ6XA9hMZ318βJhQTB`4:,V@/$N臌4LPH2|'p[(!`\2#Y8]u˳N/ەr0xX}x5 KXɀb 0mE*ZWU‧堋FS ,>̊ !c)JAqj"&i]k';e1عV_ʩYwq"e:AZȂL8ſJ0lǗF!n#C  "`?n5 `3Lj']?Ӳx}Z~:5z5U6Ii/[l<~Bd 9`tz ~%Z(.9׈Ÿ 7RzdA)Fö' ܧGyrjprom{CΒ K&sL? ZM: nX!cܽ0uWB ~QPj&W5Ƹ?0#R*V -j|j궮E)PC:ҫ;f*Oۚ1G"xt`*A.R߂V/g \M [=q\M[Nu; fNUx$Eb& b\.lo 'i]Q&8-%ذXK*(9D7i F'I  YB .R(,}Vvo%%^Zy 'vFtgƖN.~*dE '8..pp,C۞Xߏ4J DogYM)l3qKtwx]ˠ g 3W_d9wbUt1YtA(3?Eۯ*{&dJ WPc"3,fӕ :X0tᩫbɶI9iԈ!}`c2B {8/_E:,tL~Fu3\FW,z]'s3'?p<7؛ w!/m-'aF(陚»VaS>^ ;8Bzg3i+ۜyt 6xM*|딥v\K M6<,3KZNM [;bzt|A(`+z) kݘMCzOWpC4~ m{L`Ǔ <-9%3Ul'%@MoqJTD9y"] i Vb&ùKw RA^ J}>Q̾JLYO(C6 o uҽt5ľ Ωɠ"Ѥ %"EuH_*>E{ cpFN Y@^ELruuVC(!$ECiH|hjqMic"D |oUc [gލ K2v:pW,y*ȓt<7cn #Z#koz;yY&# S'M ݭхi,#jiuVuv9-Sh}s.bN5|&q;E[ZF&Ly, $*E~f3t稚K MLտay&rj[ įRU•b)} '٢; Η6鯅7kxJzyx#{6~~UƐTndr`;'qh:-ȑN|ҞόVՙ5:^z[P7fR ZA*&Ţri/J@qŧ2lEwN)\wd(m#/cO<WG] 6\I]Q֍|cW罟!22ńTr\Pr[t}#Gx'COZ 3ő)xdbt*_muHta.hY&7?) 2NlOw הUʇBh\g|_m/bS 97yYs }Hx0KɶtTA(RYw|X1S3,4MϟcHM@\{{H_9%>S2E 898L{2^Vc $,mF>=+˳J371Fax4@k,&{CY^0<ġhݩs}b;kv^f* őYa5)j]O$%]6e`l`[, !gYZ V`G*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118=(3' $ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UK]·Iq n[:|&[zׂ#I>`H)H}g)D2;'5[MN4WO$SWJR)?PfV;]r:m:0N&A*Py qeުۅ&MsvAE$K# 9? $-Nou 9@̣/p_D$DO##C@k`^ݼJ WyRVw+}n Zν)*>~ QuoA},$,D?fqu>X='CjgugYZ''3# |ZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  7]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($T3^Q,غX8j5 뺑kmDJvW'H^%w*)\*$ƕDv%jUy<IU t4>ERiL])<YA!Bk͘mUgѰ(#XV_BkHba\ Fn5g(7YCfuY9+{\4?@ J1g{PK6-8ጁ/O֝4c}n\ "sw ̋z q?8EJ$JREϞmQ;"=!ߪ[5 v9lp+sٶ-[exЍ *w:'" EWLlgS͌E{x xR8WZsK1[F-;˦^Yj{˖qzXkL48EC Eg:Q[TKrxz~ז"2= QPu{]f#:΂b6 ؑ|ϒ\+ %~QP Qk;LVcޞWX}4M~Xۈ}UK랶P箞iѕv3JK`?w9f4!n- $1b]ï^rc:fD C5hI*&9ƹ8 W4ct|ZÂ(YIuEUMsz.("ra$ 4oXl1)@'3A^՝.O2PLd2[twT{HQ%FKJn˲&"?IdM$f,/RupJp@48Ck5Gy*[̐ЀQj% 6BvC+X :H?I᷵ג ڒꖬxT =8~'d]s*[1S<@砟MH ^7swKm;GB F夿R\7l:,mP Qɪ>IZ-_8 (6K ~"_6̫lR(u^Wc  Kq2{iC)- @Rrj!gOlE3+|w, MP4ХdE*Læ OF&lGZ9KMKwQhVٳV:+E]W!Ua$RgFLsMn&u`9SK22*{Ɠ WqsDuBp?IvUًO +?j2ݗuk"v#])9w;3ᨿ upUlpb'DeN0.5"tIZGa%z-/v><.o 6hM"C>sǦ[ñx`B>һ(a :HJ|\xfP1y;C e5_uE_; pKӛ̳;|%¶Xjbڪ"S<3Kw7p'>5Z#CZ:3_[C0**/8S -_86~hWZEw)|}å"yEGPa ʵbZvi7yL;vژ%RDoKg1 [XSĻ=B;eI?i+~0U$o6 AԬ?yo0^@8[9g#*LhGq̆ !G]k@9),suS?8:6y$bd") YUY+!g4 =\D—8r^nj^Wk?K]drPx?EycDk7 <) '4Nx46%Ԑ'|MWvv-exmIy7y NŢ$9z!cӐZ4ٽ|':(v:S)a:,_ԛE!HYteU5vNE:%ÿ nGa#q@O \` %+T'3dAАKi|] &{J2IME!oXduڇ7O0h䱨} TVVT ~b9>x |fZJXWb6 "S +K!^Xn]M0!D?5nj2a5Vo3' h\|XrrbWqbZ&|F^Yǭ Z3VUfaaJ ӹf4+I< 9ye WvP,=ObIHHclxZ~(r]0Q; FצvT#L&%=Bso,M&g;WB!9H>FC4{:MzЃK_Z/PAbb^_bN0X0X&$ +$K:z Rl:|f_YDZgYZF=zl-/~o^/eһmdB}s[с)OXIͅ-˱LHs 4Hfg]! q8.3V e u37|)}4zͯL`[,AN :kبT̸?t!-ʞEyN_. 며&3Xaba%2vh@blZ&Gˁ0~4++]c3`xV~Vt::bO+@m;K͗yt(fߚC6j` ':9SH|rчUF&b{〜'¡s$ ľ3a: ȂqvؗiZL ErOqēTgKۇ{lD"^zIP !s3QE^hx?t32Ćsa{u񓞑)I܇yA˲7WGY_ W g?۴teey!йL R$zK[5?&al a[&yQyC$2p AՐp➓Qe%jCz5X ,ѲBí 1)ݵ9c>hOtV1gB_"3>ߟ|QjH('xncեDK~zټ>l^|"}V)ly cENbi,mm>EǙ2PV Zi;cEeI {*! R嬅/kPȘ~r @D^)7FLLF!=QWRA>WF/G6㋚idR0&E;nP]хf1OȆڑ;;{v-cR%D>DG  y Њ`4MpwYzjF`ƗUdw\.%5Yb(Ox)H,A"kÝL0v#50 -p̈́9Gz Wbl JVp娂 p{.(l#c:V^n{cJv5)bl]745E62_V5 &G굟u!/ 0%gEM+C^- b7~<NFod!ɻtJG;=WZ4`M՜a)_~e@3RW>̇fRfm?sҙ'F vYU M2Q6Jx&B $Lx/Z#jm=Zۤ r$.ke7esl>Iҵ|زHi]i9D{oѸu$1i3LW*KkT~e`LSY*߭o^D*ô̾$d-"{=Q`Nl6eҰW;Q| hǃCQq$7q;/lhHC=SMtr @ ߉'vűX{cH8?,3"y,kR(-Y$F'WkX) |&C&yź/9.893О-uHlk;zHƢ; 9=4u?G]A`_ NXp?L0t"RU=1BĎR+`B}H4jbp0a90*4'q<dLcӆ?VO PoI`j@'(Cc"cܪS9{SX^SsXO]EfuA`B|X/׾i?[egF Hl#EOv'4iq.alQ[̹j:jkP}Ӵ%/$NNr'o\PLX ?X#'azn`sx+±zQr 0y!:JdYҼ ZA^qɏ Ű$\~^ߍ&dWb-5i0a>)K}_ .{87GݍO%vX)#@R40_r: -@:G+?0.`^4ai w.ﵳDxffAIm7[&LtP+5Rj1u9e4I X|΢DP{UVzYwb֛3ܞuQ I([KU,Kк{j35 3i&EL5Gbm]9z@,WބH!_%qx& l* ptś>/LþG뫌ʼBY(&8j- Q'  ަwD(Sïpy3KY }%cʵWzաY΃eT$'.ٓ(ޜ1DcRMoA# z<`ϒa/WC+NQGF^I;^>x+#3npdF0rYE5-}<2[ _+X"!M֋\l%z4W=X0PHuN2։QҲKƤ0gϓ }H<8/IqDC!_`S=G4#:iNZ-nȌ"W4F9llwnj>1#pRqDDlC#c-ׇ^MfMhJS2 UCz\ʑd6D.d }bcO: ^,c\aO).bqQ 0w3*|j|%){qfǐw<&n(:I>G9Sz)W Ν!aT9|d(RЎB ysY{-qu33\\ Lu;`mC 3۾WHV\S*,-;& Y>SwK6 N_%{~( ɺ)9}r(\׳a:^!l\]z4j8w*:y =4mhn{x%ݮUϽBdbVE߁8qȫXD&!dOsՇ 0'9_{^iw%V&Q5ͱF1 - |j8~gvXV5JyA2 Lq4oynY#Kܿ\@ 9 ljC:&<%8`F; UqMW){3)!ߤQ}+Yynp՘(8wj#Z@(;Em#'߰gYZ   J  C.+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy1-+-ZF-InductZF-Induct.ListNPIDE/document_id98C,/' 4ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GQ]·Iq n[:|&[zkkE'U["']Y 7<G OoR̜ᓲM&EpیѦh  p'c̬ \3>gP^RA<~՜7IBp{2ph%建m;&w  v3)ĕ2dH=z+АVCux/M*VZ$vեfmCy)*ijc mt9ޑ~s!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM+7Pd2g&b#w ZEK/V>5-ҁ"~\@Fʜ*7㐬dK#dR1B,v>?"rVmqkK[O LpX|?u[kM7i`r <?@j0J̼D6J31t]ڼ*He#;y cPp#i)3H5Jx. yvEM ր TOB1~Lb ސ0 bb/+# lZF-InductZF-Induct.ListNPIDE/markup7zXZִF! U/]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CWq`)V wf(eNrpYQir|u͒9yp网) xCJ b 8rOs@->wDd |+䃜$@iaRq;g{;o$,o꼊--+w#x6 p|Vvc)f=47m^إ{AWٓVf<5K]R.FS!f خb~vs[q,vn[PW^"MP1/SXR$3YKVZb ے@1[{+E1Ba20/IuJ+vw8dof`iy4&l"Sa7Pw 0.Q6>?go5|4۔ =̼xC"5=ĝx} ]*e6j_0lx]^UE"o{Xg{d^#Qj, HŠp0Ӓ %P/>>'+50]=]H[;f<&bH7hdy.a;+AW삁)0BC0z^qkz'p],6PXD}Հ$W7Vb +;/CIX=&JTl3 mJPjʓSF W[!oz̢Y^nKz昌o>%"*V Yݹō3 NT7q{*d;;bş M8Wbk,?#^/Aӕ \kPINV̙|7BpھXB5iLcjD7ޘF8òN6PBYJK[f_4+M]0"SCa&PX*6`Ӏy^|qdv\L>N;[eC\ɎZ«  &DcɡG7\(fQ,W諰o}2$K/\̂%&>gB,7DpiIpЌE9!'UKyBi!\G5;&N^< t5$Hr0Xp\幇ZP (so.1Yc5.NE`(G~~{ro&*So'Uٶ*ASWacjGpt J+4b\Kϓَ#XdzMfur)sRmCtl#3>7E螇e!ɣq(I3Xk+yˈ&FQ=="H _7Ԩ}KL+ Nd[G~KlL=km>= 9~hѫFp/vPPX9RUЕxa|9biMtd+_cK)J-zHXK{V)ة;Xy7z:qj0eW:F*f]TaNqՅz#J֛z2 YG`̱ (MH& ̒\1 *FC3'r-Tm3>j+5`'p5 jئ=ݧ.D(@rʶs".e&{9Jn*&9T[Ld!@;i\'3IR$DruF]<-#*UMF-ݛiPOXYT P{/΁u5Y%, ftt/pFƴy7c:.d5)N*CP8tHIlcB݂1\4λ,I3o*"hOYF) s;kz @?L\拔/.VW`ut.'70U5҂_Ƕ6i 1_l{Jܼ[~S4ޤfGPuAzoT qN1w_|u~Eִ4ltw^a -wTSFZ FZZ5s, %R"\FV`B$b';ڌi 锕\ e{ŊuSigk\yQ, 17*vZej(R/\81:Q+Uef#ƉA?Z1tבTYղ[))l,%,4%>oi59̬6Lːʨ¸k'iV +˨D.h*Mq=J0\2Q5(թF[3]2W}VDWg=.P +&X\Q8|;'O A ojP:>#6 ߯ITt,PD@) lw<1_ |ő?gи+u 7 5̽\e5s)Ai*P}M/z:ӡ {^4;vM3[ ^F# A/rS>YN?d^9H҉(mVȘȟ~qjSN>7zwen\rEANX 6qSobs+k>,W7%e(55 ڬJn`3;Ark~RRs[m;i8ti ,ɤ%gf lۚ1>EN%6Bwm^ljV;o.7봑+'yw'Fs$>3RLCiB!2B +dʼnÙ`@wSqI%]QzHR &K(?Dd_ !xnǹ?% ÈAvE.3]3y>ShBڳ7?sCO3O拏i|I@dra3WM6HBy4Ǎj-$U7[`7ݶ|{e 0Im)e 1=+I$Įa(\ qրx gYZ  4 w 4 /# DZF-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Ɠ跬kfu0gh}  BPQop^-B40Ah}Yر˜j"P. J݉ -in ?[9nDåhDk9X,$|kuɀp".znP'AgJTTRmo w5 Q.8$s 1c'A5,)ň -a*΍ŪFyX}Ɇei;fRH l71< 22"&zN2 yw ikHz m.rՙæV]{8p>+>sӾ 'C,)%juSz@Vۆ e-"ҭn #+xF… q}U))ce&,EZV!: [M5B;^ uMA7庯kx4QD51pv hΞ:T;i2L_`c}EJ +/ *Ƌ 2BvX_n;_Q\ 4`3eXh` 7]|+ ψ ^z/<,tIW3LEY$>Y}=4D"+!cVg|4(n~c(Wl#ښdqE_!U3aR)ҌWQ>NLw!aZx0ԝ;4&#ӘQݾ1?q݃לP_>䀕ŵv:Fq) `"{1/$OEFST֟+dp" 17"QwqiER'x_A^*(Ш- ʮ%ѽdeD&L"{_ j'S$xQیhnTKin~z:;@cChm/!=˛4tȚavLaUWwLt&^@>MUf8@ _,X>k6]4נVؗ{+醙iϛ/؞ROz5?5^HW9SBhoJltx mIh뭍)4=OƑwGX]R|NC Q 1{cMX_T1w TϖZ|Cq[% M7L0z~ B#tQAKzS'7]IF %՞l8@`eAc2o@|L>W׸)(cXU4R/(o=M) ݾ Ȉ 1 By$<&qn,O@:0;cVӔ++{J?(J}ޠ>^ٚs9F*fQ<9;A#:?.hV3">zxM¨/p:{j"~;&Gfna,2_7%BŰE< H24a,IoW!oL{1-! :m]uyʥt*!'%/[ؠ|d!K܏ݗoW.ɡ` El,3o1-[_U_bǣeڭP.lޱ&6RLdMxΣ/]fISˁ%(S2xB;" lSm|Vf5_+^)suEv TP{M N{-ViPhjN:/4*(~FZ;3Y14G3/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy42/-ZF-InductZF-Induct.PropLogPIDE/document_id108<1+1"ZF-InductZF-Induct.ListNdocument/citationspaulin-tlcaI0+' DZF-InductZF-Induct.ListNPIDE/messages7zXZִF! {Z]·Iq n[:|&[zךBBZ,^.OA{m f*ss* 737]x7gE۪At|WP y0pW,AG\.w 6<^Tm:a =\^7cm h5\Br\c."f\>@wDRib-XdR':w]uM'{bC!<'JI16ʾm6`3 7Țci^GGmQ7cSp%AhzK~+DwU- & ^fp7tlc M8sT0.*0CVR9TStl@gۊmX_(whr&ۯ{ n y"unL砹{itj% 鐌*>-᠀+N B4T5kc'Dxoju8Dw ,1QX)cQy!f$%tp%YV=t7#뮷r OO=4QaYv^2ƙvgCJZܫ_;r uKؤVA3G-g :*2㮁7 ͘kQBs@? r,kK3[Z.AC7?; KI*!b>}-hݩc{@_|)W{U)}^R&沿 J+WٱYSClg'V،Oe_ϣgUϪۼ[Y\C@ .ƽ5Ǝ_ S+U/.".0=A*Th3`FR͠$U O(ZS>3A*O m'SoH2h4ĞUBE,増ywm = 2 `׶<È+*@竂,Y%J&tⳋ9[ Gs>*GYdDr\|3 ]ĆwQ* O<7"yOGKТ"'z%Q D=T]2[ʎ\7pOzBP=p\=qZOHe IlF2`Pͤn}[L,³LmOr%CUQ+b -ENF93RcZt qNA bʘ |IrD.f׮*Oyw1ANswm 0a:VvPQ͐cIl M]! W._` SpQMx)D+I%{C Aܗ v$ۼꬽZ2Uڃ hxٿ6m֔OJ.46RP&$^8ӸJ{wsV̆RNg#Bcne8 x򫁨Δ$z)]\RkgJvx[~$5ƹ&5RERkc3\d+vk;w"uH~"+z;lVt u'!Eqpn#_^7֮[w pZj#^k6m55(!\փG*p<a)?N(<_.BQq}]Lv qWOV#T=dV'^}2>zVAo ӵUugޜs?ebK3Dm\YJo_8fuNL4~MHT`Wy崹JL9E &Χg{ 94R4duBbRCǏG޳ [؋خ}J؀λ1~d#(E!IA|#91M _.)#g~2t89 ehgSR7:#F\f3]Gq- *;3RDG̕&@c7QSLvRLEV]_H9v:WhIC ;&x*&f^Д5ԫ~Jtսb.>}~O&QsP$!PhH Gq*O8g$.I# <8f<X#{/kN8z V@52`( \@ s~ &(9ñ[A]{Ue`HwvȲhnWt@n$xYw$ozji;&Du|:k$ ZL@. cOn"Qfl<4؍y2/:N-. Zo}٬L6D<n.'~=ȈC}M1s/odw m%MK<if'޲)I3@>k}n" `H!u>k5ÿI\c^k(xeP .[q`M-ܤF2emcx{8ɟÔլ9J竊m68sZ sޫ.8$\Y#Hn |f<̉-a JϚfHWy&Pgص)H;:K0|" z`m*:a~ᴤ*.6j^}B再2/k CAE,{ 7aM0\QT8ghđC4n/:޳Wx^PB",gvl}TrE# 5EM$jLf{p=p4KYYA'?,sJ fʦ-Me몾Zdq1dF+QԩASx[!&5MNQPҸ*).B=V~$SnSJMH~fJ4&c3С Q\=myJE?W H+7Vթ|zOLy>>H 9J ?s}/HuQjݚ$8Q=/nkϙ_nQd5,ͽ][$t=Z Z#Aw;Җl(wbh*桃Q.n~λۤeؤsJgpǭ 녺 )ņ!VA R Fr3 1Ϡ oX ah6*U-rnW@zSwcw6sf!GzEk]a:8H\iNP/Q J {Ȱ%MΕ͔M)0kT' prf¦ޮl,󡧅8H-%]}}U ьe{ó1q>F7K,DdDHHF_l08|^`,&˩zVӌ>`/F۝,n^L'fTC@6y+GT kA4h؋6TN' D5Ek%$Wb/G> @U 'yT;_ϟlh9mfnT=@1 PVA[v(M]|ot|Gz;]&4D*~ih Vr)!fI߽(e6_ R2H 1C߁͡fs};yu0XaV@@؄vhUFwF&W>sC{=87*zmv1NG@Sr)C^&Ѧ z[imֆ !>D7ę iʦ} _sCY6eOwo9Ђ)4OoFFj>f5S3 }SS nc$'΅Y4Fz֎iW)LIQ9Îh_ _M c OW5~Љ*Gښ0L ?]zn[h{ڭ%+CTH0.9lP\4?$R1M>ehѐzwMDGJ P?0&A3s᧥X؟|䤗O+Wu"wSmX' '`>ɽ)1%ĥJP*z 0:>b^mVں'[RYܽ&8nSXm aGW1.m0"لyU+Ls߆,V@#~#ۈrP:fAe?IhuF7Ț i|L9ڜ7Rv3-r]ȇDXvsYJKMaI c%íc sQ;a5c<6(3YPdWl(j`U# Ǹl#ž2!Xpe#DM`o1f $%/ÏuvT}%N˧,P[DMvt2o"Cw7.us{ޒb 6 o"M!ư.46g,Jt7'KQUd-qBiC` .E̟ٳD>etI遶Jx`E}+w Yg%6!*ܟFnMX%Zke1Kw~ (f6mG9]p~F1%y -ϻpif:ϴCkx7-K}բU}={*-UZ ;"m{6]⭽*?^Zt;DTF[R<Z-O`Q|vz*kh4nm̆jg3D8^zGQ޾9!!&ڸfAvJ?t?C+-(1`GE]w&j!TfE4B}ʷ@1\di) r!v3Cכ=F$Ki}0w`pz3H&VM;*I/}_@5s m]~x 9Z7;9>ͰȎӏ 7l_r_l ;H'ٱrj3tovRũ(d x:\FF@moylڀ=HǗVmwj؍8O_}0?i<IcmG9kȎ7s}qg]K CǏL<OYTT 9f:^U5zd} D wvO}/TJ"ѝUP`,\.iS #AA+ycd~cL87y|o_˟kHR,׋] (?}WS^Bu9D<7^PV>:{,=vM²NJ/|.;lM ^c`zЋH|\j![X`g.?0b:,ZŌ<]o.sRъĚ|\2` 8ov%jʪ/*O*+cQijyՕONܽz_MTgF4rD7#aB zG)@6V ɏLw 3 ט j\۠l(Ys FK?,2A13*3ϗ!4ܣկgO#<qQ X']!9nNzSQTDF{>q28!ZRgS1t{<=Skz:giZ EipC9Ã'e8|])#Tp yi9ST.&`E@çTyr{wyT6cЭѩ?^-)ޙ|n`6 ڲW5Vɞ;SDUz'v?gKOA2K<'-Y}1ҟLv-H)NV̼|@gYZ  Z ' ?8 )# 4ZF-InductZF-Induct.TermPIDE/markup7zXZִF! )R]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JFU3+"ԔI<ɭ9_~1[L Fv2d98Qǒ#"|x0+LM;g7bAMKE`94djd,.o45p;)J3߉DGDs]K?g[(^$F9Dxzu;0(6KT,nWpCV}zif웭i;<%lQNWt$$=(`(DXl)gB2IwQU͌{%f/M*_0,IpZŲ f$j=,O6r4/b$N,^%;CT<ON6#L$si(g& 8%}[|x?َ׹@>ۯ#;fh$7J2Ob(47(tЋ_·|6H#YI^Dv:H6U9rPF < Rt#kr!1[vFγoRdCs}6a/N,HMaNE1|)q*PH~;{ϥC;i^w]xc03$` % >$ɥ0l c9 k %5JBwbOf|Kv  p#|r'Z:U.a~0X@uby0 /ʊd3>'=t̯/O郗QTI,+njvMM qXHbaMFOFUWҚʉlm兄R@9 ,#v\ī]!. "v!f0-'6"HIS'Db9nkSIk i24|QICD@8*hٟζ۳ca{ͨt*(# h\x8$mbadK%oιD4zQG $mXՄR;t*~)9/`>m"r珞w{@ .ʪ#}6 a@iz=ܚ`y#N8W%0_EӳbJCIB͑c%:*yj.2h7A7)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy16)-ZF-InductZF-Induct.TermPIDE/document_id112#5/' tZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N3]·Iq n[:|&[z}׳{Va[;Xb Vx2dՙ}Kw*e=-`M;L"]I>܁EVr-ԪCF.hFDkd[òR|ޟb,kAUǼCE^$Fy;T;Fc)OL^j-$Aw-iIZEeמ7gLO.])8ܭ2ߕn Sz=пJ\(c?wt[G\R2FЍFfPꍿ2[: ^mmqOⳓk4~A 86[yg_Uk @3<)H9DU\qBB[gՃCXߕ,O7{28n]K.e֞GcmcڻQQd7hpr3Fjp1ͫș?4GZhK;߂V\[S'JoZ *h7>.?-70;LpsOZ%2VQBXE(݁ s6^q.I7V-i-תPL4v|m:n`c1oR2>%UF;,6H (NfNB4.+"?V`]xfo6Yb>vGLFz}؆`I +h t'GPLs+R9ѽV\ˊIIn;]eU#8Sw$&(= 8q'||p)EJ>&qO%>q,:MۇNhDphHm3IڝbpgYZ8Ĝ^9&4 zIN\\mί1C cuR|-5gb":WWX͐&{_@b;$3 bJ6#r̬" u&[F)n ĩȗO\6!\zrD|S]v{& ;`89';n3J1c~ȹԻ: 1w:)WKHi0ku : iu5⏚LJaQ#6D3dT!o2[ICy0!iƈF(n=|5FGm\A1f( Sx<6 F_(A'lʇG@rfv34r#F=ϓXB+4V2dPt ?3OEA,W+Y \nJW~26ꨮ4:yʹpLJ>i' `ߩSEIUڅ)*JZ)V>BMlnxǽle0 &MF*bh<71)\ۺռk?L@R«TgK(Fz&_~JUDAt;B9睵 M[!x+IH1/nhaH@*Zyl8j ߻XG2drL{_n 2~EXk]Is,BE)(UW)Xܭx{fў'`^p&9G2_L*ð Zs]g$ zi8Xg‘~Nay*2c1b*z%S*X`+Iz$ӹK9fD+ 3İ<\n7*F7Rcv吤BZ= !}Ra}PK#XTǁw=h{-PrӸ AtfI\vmDI2V-E>·0ºi6 :*К&$T̟MǺ,Gø/ xkYuH>>PVVr/g-?X^"}3Yn] `Y~Z,b*6%UU͒V;ĥ8AXEha ˵ X, wˮjzdMyHu{5d}39O#ƼFI뱝ǥ4e/d;/ZR =gB&Vbre~~c\"IJ0TcO?-H(dNԿAk# )>ڲ1 QS/_K Ft2<S[[:HYi-;ivi!ޜb53a{)ǽԒP-{ gMps xBJ ,+\/̏,Rwh2r;I|oU6Qr:x$"S@v{a|dxbw t7_lN;ޣrt3l|KQ]28Gѣqvr  kצXn􁚏oXB]X|[ pawu澵g_(0bl:o"Iw!nKwp[k B,а8UU*f<ILq`!eiz=mo 8W1r<9u)W8qdVY U(V;fK= g&-OÇ<أ?6aLqIhl|gZ fOIђ'䄢&CR/MM 5oBHL T !N/AT)S'fA OF%~*P /=66 0HG5Y9ndRq2깄A/Swne&1`a-z*wxH јPжVdv HTvtjDg^,@*-!^{| :ƿk(33~_鸢 7T03[%_Id釪Н᜺ #m}]WH@ -R,f, L 91N\FnNhr@ËSR>4y:b%Hצ$gj|> cpp9,d_&w-(<}ִ(yc?`3 ?e/Cl1Cul\=Et+%2'dNӧ!t[B _ie3E U"\unr.h)a- Ar^Q´Wl2wMĹZb4xRnƓ/j#n iEBFY]uXܤ 3|p$B#g? ~>ږ]r6_XoUޣQ*jB)v~bG8[3$ TGk[r>V* VU~xUFdϦcָԨs ξvtJZPp8,6S9|"7c0FeüuĔJ1Cr]pL <bzܚB{ 4xiO~;on`hD/I%(,ӡ~p+_ۋm־| ͋4L&;?;Λ|ᒏ_r`Ej\qpwWyL6vn1N.X%|2݀{vF5\Οaѕju(kfe'{UY.-%ǽ'}>Ҧ;[$B9"@^(bٹdXFH[O^/rԖ{|y!?d|w u9QO#?uL_ƒK\T>m8K^2lUDvlSA\8Zx,;Zbkޣ(_im(*p+[3, \msR0en,L+njql@ղzО4<Fm׀3yq#xhWBUbGP,zeX̰@O*A9UA s~_ ipEj^Mo08za@?ϐ֐PіI!:̵IM5qx~% CRooazxaI:.X[_Uf,nMb}x5%pZgi2+š8a$bHz%~!^+<߫㬛sudK{zRD-qoF)ޚ84VI3pVg58),pȦ_7tܜ `u#w#[ Z`eu9tlD# ߚ٠1t)ٺb\yhn&[xe +V}x1Y18DTEWWg{`V沤9LYa ({oA:/.n^}9[ s1Gze`[ 8k :UÒL[%Ö))mFǓ{r Z6`pZ{@={n⢳?yK`0@W'Tzs <97뵙j4Q i0h(|15=Đl@U#=۫iC"<$}F kh6ƩEݝ; Dk-ɮ:'\B CjF!Z,6LxW8دIM|QD! |1cpqq(i:,#^.fӴrnb#RtK@85@fWlT!>M:E(dADUE`_WvJ*$Tk\^эҎKÀYwx-}\`d!G0jPeMp/x$ڑgVp xz)&C< Tm16 q;7 鹠׉J 0t1N4GDE0 , C}zjCDZq s$fWoXC{P}݈"y9`u7\//J0`Zg U#b:3}:7q3ڜP$ ȏ-G<~3j?z~Efb9)>C[L Db+.V8{ڜ~)G3ZE7Qp>2E~5Y&Lb ȑH*I;T((I%Akͷ]K%2Ne,CK?Y]Ƿp X(2W-'^$ 3u  z6ȜùfU^cvw~E^ZEhn%؎+ !7 3 a0k؟hpjux١r5Ix *R)M?[*j2R4+qϼ D)73%5^ԯ2Hl3u]ǴgzKMh/sJ^jwp҅`o%_3u %MPaܿz;[kcs!-O,:TSӑ+¤'J= |+,!ù AV(DmL. _i(0M9EG7⅐ 5DNezI|e+YfVn! :$|}ը{D@/t[B]O&2$RRTAϴRCׄ۰OC0_$wBśw}nh~}2I< wPT^TĊx%5C05rVc^K4MVBԻz hc[EAj -!ÁՌB 0o?ܳmg&0iN>ee'U/w ׌@~Gx5N,S=r{yB=x<l=F>C>wѵԧvH|(۟ r0^~`:Q^R.)6)q~(otqqq@( e-}vZN: ۲wDQ%'pQK%%<)og3&MV;XKVU8|J]S( ~Qk' _~Uj?ZTzbUOJ4PT%1T-3˓õk<0[L+0?,qc}\ lӼ\Co?RFh24վbcjI@4¨|ޓFե  k XkW9-^|q?oOt f&9TOXtN#U!+P֋)suu2]5IJz4ܱ\3HsuDN N !,A]0TrP3 u6Pnu޲FS5#/`'1 -]@ A) 0K k&(>/RAX }7U("!kDȤo_iTϛ-K.|qUbu1Lhx-` X2w~:3~/{ss>/7KU * 1hB77G ߝI AӟP: Лi>BRP vsw)/:~ UJ1z OL⸅L4VDkJP7Z3sU"ԐMȱhK#O?3W `P~y62!8gBb\銁8}~Z}XKHƴsYf'LXΒ0Fޜpf/Z)p7Mξk$UZ5Umi+'LPZCZxݷ,63,l?Kk]t͓d51 bK2ZМbl`hW4XbE#=[v9ST-#xVd|,I,r#Fe:u Z_fF=oh9`YҕXl(wGQ^ʴn:}_93aۓ_fcLfe߂ҝ}=]LLu" Œ|A1;ؙgIѹ@BhB2` Ͼx+]o'DaeuAm_u\Kr9CWX[ZtOgNS*ƞ%SEG1+&vHt u~4U"s5ъrZRx=P :7yau~i;fپAy+77 68)7l`%[m_1 o ;(}DԫtjR0߱gYZ YC;+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy2:+-ZF-InductZF-Induct.NtreePIDE/document_id104p9)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}x͙0+hP=]f{f&2[0&Hfě+yǂk^-N ?O+IG|Rg]"+.q/o6KtPB]*QfαQ -U?ĿYJZ ee>e= Eu&(,u7X~&Og@[@t/O`o'G({fe O(gYZvoڨ|st)$V4 C[G. W~mL8Ӎ(Zv\ˆdq2@י=XwcN_l3[Z+'i oZϧv7ޮ.۰dq#\"ۦZfi_E[ˬa?2d rq{80>>faz*nZ7[y6E Gړr_MRNF6zoANa!6ȋ0܋s9"E"%zLםcmp,Ayꈅ=׌,hSn 0P@G՗fq-\f KFg:{- Gnՙ*VlRkׄ8螯 JQrR/P(I;;]nɊGMJ^1O'( ^-yRofw&#``vt eSƠ2v4ẅhN3t[ɢ69t`M_t@7F,t0+n'(+FV 鵟A)͉=+Pfە/D]X1j RGYI6`MǨ ô@3~'bDޡܯ8zS͐3\OWRCz>cc`!% 9RNei(#Ƿ\){>Om-01Z'EK|m Pp~bh}gۏQYa A9, $ bN>@WHcKt@UN<IWs_+%,ט#V]':(r6GNCY {J xz4D09q: s eOc44t|1 L])-@#UYoF\F4t/ovT '_aQơkΪĻ$k^Va,DL'b&Gl3yM߶>\LuJA,2Oiu y7D}L5d.1!9LsRFNituAS2Ld6A5DkqnmYi_`Չ[MmͅnoB}k A$ۮX[m F ' R@ES]i~de9W_Ppr,5X9sF"il&鷨gB07BK740# ?qBP X5yarMоNx0"t޴ŰF:46PTUgO'YfDJ{b͘в#uziWah\L޾0^0H/z<9E W(iLRMʼoEKqi!;Պz 2rI'YӸi=6޽KmKk2.s@( &DžiBuQuG@hr$(u`;XisLD#c$M[u:Zlقa+J{k apК1ڿc4rN:1VftivulI,aW NaeGSyӓ )_ C $$Ndܓlm+jRʖFUͶ˥n-w!:QPM \͏&\dڲ. dBzD@C B21pd O ia>a"*OH]rR1K=Fv,C-=׋Ze= 1(CY4@y3i6l~=DV tzˀe!ǯh1y<;nC//H[ҘDVi|ƛOh! @zܜhmЗQD%.Xh1\Afui@/dP~K~|sdvZDl>bP9wTDsh%])`eZW[-9&' a0&= VP5}E7$⟜rF1Fi-DD#AWW%-`acG7!8_0+8jeqխvnVb6̸aM:˨w 1*F}\d}cUp3A{S0w@Z{(OwMُĉjƃ`z̺5Dz.J qBਜ਼5S$ tBꮝ"8h VSFQv,875<4sSm%_e| fhRKz%Eʟ`qH{7b^axwoAm|\;00, 3c̢NVa4&MO$%\!~afR32 !s<ɋe0oq^p*.&(cF*:Ľҫ d r<(:cV3LZ}+ORIg9 HA9/N3Y65EœW,UԤ}ōIx#QC'-"-FeE_aypf)4}|6>iݓtvTﲵBW <6J~}CEH V5KDŽ; NDP@5uu7@@˳‹9ýl= SgYZ  <+# LZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͗ \+E|K}$ܐcf| <cةs2g=̷ךH}vXl9QĀE^Z(Go3`cQ 쮸EΚ@,[Vu>>Ȕ? 7Dht}МbOX|HZb?e\oVdư~-60F1OU$Z.k+., Il&1 itzYi HB)Ps9?[]6@_mE_xCx3ŲN+!Xbi5,UEY*Rc<pwlƈH~B^>캣CY]iL2XQ@ЪfU:xժMY·]a~rʾ83ТJFA:n* $KdgYӭiCQ 0Vp-eg9SpZ.e!A('# 4SpOr\^x6.;y(Mm²g& +9m!_u 6#h(S,LO]db2:>36#<9tN3L9V; 1e;/d~mO/[B_1 ;X]A%V =ZZqo 1rII!ifvWq\T1h؇>tͣ~Up]Tm!ĵS-5P7PU UAꖟvoJaY' 7r|j G=eIha|«h ۸}TJa:#!Z'JMۦYc &o&HԀaÌHW730sZH|s^؟d@rfkWRpbVSKc/d\]Bs5+kr!g/͘'?*ā<>X^b*|łv?:I@6yߍ#r8dQ*OTG:3&r>IWO 3HEha 7lwVVK-:O`֩(/=sI%z@@^&T-Kxl{?r&kHXSCGImb+vKRh|\@0֌vs' R:BC 8EVQ`[C8:[j'n!W^K,2שu4oFONXzk;iOI(JN6PrUCiq&d_iVo\dKo.3"[Z?{S;4"z|Oj6ΌGdPeX9I%uZ,F} n};EbOCH%',%J4qG.ru+W9ܝXk!IFeZXĎnIˋla=`#y[L@_\ .pI6\>r2fômcw7+즧oBy+q^RYYYˍdH#oMEmm0Axd)˹ֿS.JCܭO4F~'X)o?pSKv&fBQ3F(2ỵVo:o')Z]i&[5#\VWͻ,a aP ͛$-Xm xut4:7n( }![)8P㩂Ls 9xUY;Cϩ΍g$iA}#1G焭DݎVן3'A^u|ݮa+F+݂-߬t`ּE-I#`>"5Bxbט s%J|}y{6FeP41aK fea vFߟln.OBq2B8&n6! k#ڟO !wq&VR/bF۴U.qS2Y?9n$ gmr*~oޤ5v 65*=Q3@sE 4MKyvT1F;U? Aās*Kpzt?y1^y$ ސc tR+"va} z Yk =*ɸc4!edh#pjLCxF!28u$B ika*؞5uil.maꋭ&I[ ?9R =Mꕋ2DW![K10ykixC V=qo,ufNR'%V| v8]=!) xB'ZщBr/wdJJdFsPa+ԅ97#MGXKNf`×KkP%Nj}أw c-(/+Uu.9嶺 /M9lԟ}e4D+íKlzؾ(B쐺 OV|O?i[ty>v#:0l.gWAJyD] 2pBwD TMaܟGh~Bs%2(, :QW~Au/ :  L  j8D )# dZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&e?uo Lj92aGo$R Y+`S$lį=r}8ZBME*%1!+JTN:eh/TΆ{牦=ÚL`%fS$w*ԪƬ͠ JiGƇa0~of;08hqr/|Ξc;>8p=ޠ0_wc^;lzD<,,YXlZ:RkCJ\ո\afܓC 4[_C8J2bLT(q,9!lzҜ67'av3luS#2|JY`YkZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0B)-ZF-InductZF-Induct.CombPIDE/document_id94A7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z+ P@F:HsĚ%4v84̨L<3!DrLX9B`}h  ѯIWz$u%u ݮۚ5QZPI!76*%^[r`ꕚ/»[x1:n3?ߜ{ڙV!hȄ[ N#ˋPzɲS /CU i=ܴH[e,FST3S >SuH }uG謀͑nFq0FUC_;Z>@ kr\/'gɸq({3X:K @CIo3_FTNk_#Z_bj}& sqㆫӚE$Z7{!M$AٱcƬ-\-iEaaEV@3>X ȨwӾN o{0Mk̈́9nlR"9ndw9|+hy_5בW(3f{U/4(-n+*0Ey{wr[t)@<07ɘ bKSnk_fy:+*w&JP)%⑉H1l`B4Hi @!J>Tc4 heg wT~zZDRAJ^~ {QLcwkz!ھ YkdWVx í(cY VɉH3>&_iU!f6~A(t0O3 63fSy k`j T0 6gYZ2@ 7# ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"?]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;j in/J/Mqd\-rMLfQߑj )fYNi3g|dO w/V; O+A""x`^qڱ4GŖlQ@)]&%D˩1s@qeLE׍U#3U@LpHzZ#"xcQ[ 5=k;,W<5x5շC>$6󻱥-߭te5 %$ܡoN˘avp+mQ,hA`?v H:(bhʐ\jih`j*eg[ҁ6ڌV6mgKrmguRu0a'D{s!"dVk7R(Fj[ ,R»Heہ0\&^7^译a=O?7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8>7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1141=+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! A]·Iq n[:|&[z} t[ΕԒ\=ͷkijXxQw6.FjGF ; Cw1wǀQ[p~\O&Ja%b1V{'Ir9O~/+.D8B`BƱڛ;,RhZHc&%XVr7 j$Mq2Ub\:EQvC;BA] aWV}1;\ nf6 _n9w2Gσr$v+ÏAXmp)ύFgYZ>JsKQ&ٰIԿ4ү\ !ra)#Q cF >o$TFi磃x{'6!06nd~9gw{;n^Ugk?RFgH1A+uVT=~־M͋r̘<-PlL(f Ve:Q^>fs VxTPvG7#[[87ro>c1=a $P6ffF8Y&+u) zI!AYZ(;>־*tEVq&9Ocf־֢HB~e3 SNF YUn`w%6 ~.m+OaAQ!<Կ"sםe[8@&uO%研GH?Tâ` x+'٭AJ}+Yr4QV3oWl>;xҚj=DǿIaT)lCչM x["fI1*7ێ83^DBڋIXw]>m$V<ib*;#x 20 +c"vh*ot0PUO>l/)F۹|9'ٹ5\fPKb2@]ղ6C!r=YouҩGgt Jm< DC@9/O@Ю;Ă˿.R$Dj" uήitYu簚xjEꕴQP%JUj,CjY$emGZmLD^|,d \!ʻ1_xǰ(ՑC>E. *UM\Tg0*6#8è= 1т1oN}%Ĺx|KOS<@bDA\kj IQHdv*R9nC9\u86 $/Ug29Y8s߫0՟L(M:HF9ɻ%q5Tw/`!i`~eWvJ*ZhP,c-=69z1tnTneDy! Cx6]jlI]NxZVñ;,YXPFuf:[/V_bf"Nщp k'zGY+E9ǸAh,V["8't1yねЪ,mBY?}%إs~nO6/K ]S+?2C}u5P8}SEgGOz r?~[J*^Ϭ:#IKIZ1Guv3VGOKXcEPɵd.-_f c* :C(4ֳ4ck{K1Bӛ d aY!ZV)N\F6P;U*𘍦<@9Y5TwDb^DndN_ zVɾf34\ r>X-G!KT?ECm=dFœEXMY.tC(b$bHq>>|n2c)3X^.4zBKΘ/e{*=jz[5|bkD̖#pٰLXX0PQ{8Ų㢵^3I_xƹwn^6^<չ^?Lnh5kX5RȊL"l(6jgKm <ɐ@ ?~0Rx(^Io"7'Anm34{y%9+?wPbX-[ :(j`j wupaQ䐲;zy"LLp1/m<Hw8A@Ċf; Hpu}3x+?KmdFѯY7\ݩr`FT Mъ:8%*UE.nFu E=mgP˜fԯZ.L+41,u6f;IbΖ޺ڳptA:v9H:#(%vQ {5^.rR*!#^eAQ! y8XB#T0ZC5 0T;s; *(#Ez ԌEXNR\ɰ0; XMT0/ WlF)>A%mZ>PH,1E%k0] PKHE:{:U7lI+:&!&PjȺv_Q3Bv2*0K= zcR{Nv՝l(tęʰS5GiTX pflX)Pr2uۏO:st;238@+T)BU*7^נP:5 AD7bX䷋[N+ʌ*d@\ZT"oL*1j2~JJ*} j0^Ֆ{S6!__7iKf؏d\qljQ.!!wu`p wQd,dCɗ4_Q'93!AʩXh޻xF#Ռrbuî: Op[uOe_8r AOFC813O-RV4 $pD"iෲf9z^TV V @[ؽx1S>j& Cb8Cxt$h.']gQ`4,5g=sďP|@ܐ;#` 5 hL ?8$zcU48n3+Aj%[R}JMyt$P;3GғbBueX&>tE ,o2|qozAerTh J4YCɡd C;?=JK.)qtE@ՍGڟaV 37.%Z +qp/DC^`mfKwWYV8%7tJҧy$:mYa}G~1@-5Ta&R: *{#ad7* 2oa&= BXYl9Fn* r=z$lu<ѳrC{<&[H:1Fa,!z%sdC$,Fn 98M LƬU6H? `00T?l~B(Ił5)6SoGK+Yj‘9rKa HZ_ݜ2yXPU.kUQo/ ,qvl7ZO#N㷃\)Vuۼ4P8Dӭ"`I،4Զ){~eOl#)#ykjQ)<&Ɣv\Fl]a.MX,II`zV*k&$ɾXn*C {9%;A*|7gfd;lC< [;Aߺ_2*rsά\vBZd%m +MҟpR=@%Ŀ@ܡ,XnzT{K Ӳia-pV0AyRG4zXI4XMvh+e0}WrV>B5&) xuϷ6]J'^IJB g( A@ꛯ&e/Vs{X#a?L A<_I"!!ַl#ŏأ /o6" wr p 8#RX; v8780c2KEks@AVFcC($fȅQc** vu 3+?4:3oD[ʐ)8Q%`X(+qAW''{q#a>1k$^7RL!Sj23$ ]dnDkF0&_I$a(T΀۝~8)m?O-OB&T!6DgL 78YX(d*xE3OMޱ#)6Q, >w؆Iok+rwkVDk ZXQ'zۢ 4 iM=j|X~2-r#s\1rt^$\Ad.5S рՇ6{׽n6(y L ")zk5L6 8\bGŐ-uUH?$I7 wʥXfash?ciѵS\P26*2H=e`Y%r!y. B-'z>lRR"-pyiY`*K&9DRl ,#ħA o"6?$ׄzV:zvz ee}bpK\)L* BsJq6AWwOJ'6ӻVzV 8IC^0Xxth/=ƕA%ZK߭ rn-KjMԷ#c\8 1/=y oJH[ ?k)xz AWZw9F'b͵N=I;a^?g{oz7}$7mrFW F6b̐22M^;f(T3QƙPiӟb] =`flߌy"g>H3'КڪcF#Z#WG@ @.sch( PUQsɩ11-#'KRc0ɗc"en GBet6ޮpщǍ,|4!uϼԀeG?~O*5-.ͺ hGMʺ\90{W[[#LVxoȜJ۠dKz`R\}i^e{ O U }d ܈F*L]((&>ѭ1!+3a0w)j)IJ`utJEuT]nHm#Cyɀ`pbghxJ=|a}}ԹUk"=$ mȧ1,]gl-Whlr\Aƫ% ig:7]m4hrůeel%q{q/(aCT+ m`MGb>?Zq|BOwns4SѸ՜@Q*i@A"֩zZfբ~Tpi.I\ S/<WFT:jt81>䅛 kDѪj dX͘1Re/&TbUMLj`nj;J1~`I-lyThB[]p%'.Zjq!^4x$P8gdBo3A#;$B҉[Nx͗p'.QJq%>nyqFyzŏxq~HuMxd\ǨCxUؒrp.E_PlG+,EUrW^&rg"*Ź>4 SD%D4w͎tbTּE?sc9w_* M'C!! W"6D1;'O 5҉KxbK=jbmuJtWXcP~~m*e;l^>Nz^"y_P 3.;M}BB>"`trIj&h#ʔOE:۠BsK"}C%fBs=h.a^ xev'7Wx,at#+nvFơs*C\0XkfHd0}/ySvě$'bfғIojJWkP0KqG<6 k;r7"uat#B4-=o,y?*t[l*&d6X=S10_FheJקg d-Ts#a4 \7vGnΈa (Q')j w, P.<{OKf0G9Dɬi[OgYZ@ bBOFmr(Rg)E}/&1e0/ lAQf@&}z̹UP0&СCNkUk*rF+t46^;}W׹ܒK PF>hB`w0ë ZTXGA*"$y]_bhEMv)ǽeQ1' s3Z:c)-IͥO G,{8X]^H*6ڊk`$[CAj ,]e?u>aHȄC* ja"s$2v&TA%LK6C,:qpR%7gmy{MXddES r#cSMҘc¼qx)IQOD/F,f\Lꋢ_ (U:^h򨢄aiF M8G.1ŒՔ'x= \W:s !Zky4K; ZT(J=ƫ1gˡ軀Eo}hRP#c:Muݪ-Ԙ H<>ER~ oB.6낮_ƳpQsٔI 07PRs}l"_+3-]8k%SrsBU ~wHkrEXnC7i1;O!A~t:GPڳ"o<ƶ7DrL:l{С1v)y ˛.n* ˭wLcsX(b \+w:d-^o6s4EVy` !Dp3h5noH -'cqb7Q\|?9VчC! 3~d@xPT%BKN*/4j$6%GGL';]w+DtZ x*B'h{;QDQ H@EXWK6B4좕^pvon`mAyDLǵ b|%Q5g<О*tezb$x^.bTݕe(BJT*x& PmO` 3Q0F&8 W"-EKx6 aI$7a$59\\gL-|[z_%g4|m =zut7 *`Y 8@=Ѵ!| cΠr|i&dp#/K}SGz1F$41RI (x~ud4b{b'XCͶ{~@֧$37^ֺ'#}K# sʉ:G!ςMlm"* opi!;무VY-8(_J46h30WVJt~b}'N_^^kWѢa 8 cmE m3sE(Q󂫉zYotAm@HZ&o4u/}@/0X:&tsqU$Vvgt1X 1w5Wnh /݃| p;q޾o/]U #v%^ %Z+ڲ!W߲7Z_ (\eTL h\nn-qÁ^$5jiA{%زA3_jm|k!7)\$Jr㰴jӫfZAMJnmB %d .mH;DJ/Z:H%`H-bR:zhĈeY;>Iѱ"aGVcyX FVEV^VTQ=7@ -U&'Y5Y@Yrr=9Y%͈q/ =7 [B ֝_ k| Lv۲URD*9kh}Ocu >6Ě8qw;}Ɂ xzKši5㓝_@WĘ>S&p9td8([Ɵε2k6՘hlj#1h&^'wj#˖Mm״X&l s@&q؂]X^יdj^bHμv)UrOfBs.L3W]CGDl(+_:υmq;P [ [-~gf8dEв膁\+M| Qt5v5 %|pxƄltMuo2/[ o&1A3&@9G>8#ۧ !S{"um؁6O)gDwY K+{}k*֨Q}Jc ;?pP%#Q_"\W*UN7,SfThUYdu@P(jX=/`}d GMztOet|s)8m+UJT!FEdMx.nTR+z#3\3/t1S9wY !],zSM7ZNT]cgAtFlPXG$6*]+ߟ8g˪!fOd`wOX0Q`$)#g&4['˜[Abi]V'ʍ:vW9]*L`6M* BgxQ'SDu/|PZ2AaAZ4T`Bs4޸r71cAcs4-#xb}mo.8n-bR$,tojhn,{ز"8!ròq*O5fڣA'a = %-TkV];Q8pC 9-MXTrԎZq /4uVȵNtF~\a- \> ]$-a`3>pDvOog{xq8Gs =Z~.{gaꚛaz㡴G'&:h5W3=H3BP_z#=/w.>Dka-8TX{cb4001X;4# @x?E=jUh17^tR#x96lhl\߸'ͳ6CX;"aIr7A^%n9>Jϥ^g6*k>LYNGCN4,/Cb |6򰌃LG*I=3n/r0"h&hvOy,^L7da"ݙL[ ͐>[4% W_l0 p/ ֭*76;s@5ʺ3pdl .L!E؉͉Ү?ݜ3b/0] 9 ,f>XAWXwG@i$Č:l&uYQgt& Ew;Jtܓ' N36AI]׭W% GʚU]h]KD͒rvyPHh&NXނO=^-)[oVu? 2)=AO$$+A,;*˓\av?UV`o`焷^o$"Hke{>K] G Avoj˷j>IEB#|-πyFV;>>P[ٳI]'o8L3TiUXB\b0{]WGs`"^32 2=I>OeJ4J54EO)<\ׯ#UB*̆|'KW_=*&$pe+}/ YER3b&Bf`N|p,R$:&h>y"DãAz\ ;9Gϕ$Kqȁkjj1OHF^=G#b9N]pHigmehŋuԜpPu\9W~uO,:{%#rQ@^X00%_aY+Nf6D2tP/qMZ,?W8ӎuKzȚ30GğEp.ic^4m iU'펒IZ__ YbzN0`͠π,p{'{if٥=|CYy%Xne]BnMsN?$B4_(b~,{z Bibmxx]IhJbeY! -$ƍuLUTqS٬)Rs_ɝU^ĝ.DJ.% (pȃ%6er8ޥSc3r[^dFtJgzJAρ}S%./9 u [oqko jm畡FhAªVOBUSrCP&ٍ/rۤ"i{ި @cF֑&*$Qm mO k:&|[:2[50Y2z B.M>v1)*pc`Ӛh j98VJyS+yZW(AC |'/1e>m27tWȳ4MXRȂa==TV߱4~\ZNJa/tp+W`01?1u\PE3d3իՙ:CQtyXlG}XSSgCa1üP }'{$t(D3ƨgX)Y)HF,fXZ? F\1/,_j-AχcC`Jiޣ(rfTB>n>1:9)T t',IEHoy%e翄*է4D*4aM^Hjx^4vzXkW+{ - ELrtBcҁ$Oh >)_Mw!Ă62tnq*ťatZHMð)&k*io?喙E+[ǵHIIo}vM=`B߭9^ig1 wUexݤs@OP~ۧ|uiє-WC9['v@Z+~BBl&*9A;gȲ0c'ԁ#1@ -`MO 8ӦsuW;dӠꫦW&4o:I@D[S×"+6A-!q9!W͙OPȼ 8QLWQux)4'80zR)k}Tk6YJ-ʧΪQQ?`iGC?9j0l`jl6l(I$ƠzVvR#T N.1#pu8]0Cv6XԯУ]ԇb.뻔*Wo{ؖt ː!F.U t|hez!0mLHWQjE ;9L T:F #IGw4B~hpoa+~Sb~ @mdn_H=B4l7f(rvp+SATuAgnDmxH2i iI󿂤Y;xFoS a$t&"R*w#vFRoytq|wxt7˶ڝ≟)gqJX~f8( 'sr;>oERݿc$xZMq EpԐgYZ v %v?H'!v}H(}8: ϪxL鈧BZL($ ,: <-zS`4n6Y u 0H܈VƲ :% g|Wd te\p.wL@JFaK묄\!Np hG9 ق`DqXĹ/4&;8 XЉǢd#o 'A4/vvS5G%d8_mP /mkII j>ep<\77T12 +h%XAf98MMvT{#C"aխp"iّ*+2({S5ܗb01͵Cg-wʉZv?jjn[[^wje0箬ߏւ.HcaW`a{_R *e\戰@٥qVZBo-B{w10!0w$%KQL)F}HDN@3%O'BBv5 ם/3Q~oy?iU5bߵ_$'>5)b4qz=| XLy)cZ3:mÃt@Ԧ9JOc|oL~~1.N >OD:]vЊNy) HMX)wGQ&7G IJmZÎPV`LطL2$iE#棳}|@ȡ"!(ﺦGRә6MV(Yg3A^F'A1gr5E9/c!@BK'w}ĩ_0 2uYOfmaP,A=L6>_oUlG72sMYNH9mWIYC.Nwe9! zQ+E-z:Hh !W*/j{r]V/ک?f1CDpId,{}q*c 5gl,.RL8=ݴ^8UH5+ GG~&41ChT84͋6Ph'Aw>w{Cr >LF{|>Zq2k '9J]Ӵl׮N0H3.Ӹ=1<r/rntC:Ph_c7)^ j. 77X&Wlx?K .,El7}/c*cKSuԧKw߬7uјns̗#dAh 1eCXkP^A[Ejʷ i7mUm'j!W=4|p`Z,ꇪcg:&D (ݡP2]NJ g±gYZ < r<4L/-ZF-InductZF-Induct.FoldSetPIDE/document_id100:K'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[J'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ,i9u.řFL[&;|qڕCZʅPݯXv* k]G !+E@&_'19RT  \ɖ%@(PngyO32QW64Jja[QG$N(G^LNq"SeKYz@8l쓱딳&}e? ^ph]Y&ohjVvYgYZqI'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗN=xȇ] +mSË3±YmNfH{UvHzcy^xRt^=v$ 4?0^TaMĕ/rZjP+lp\' $r>=_*w8Vb1c+aHj{-}2nt"OHe߆s!Ϗ>uW]N!g shlͼG)TO8I,P7EY~:jj]p O|"'bq+u¦Qp7ЙiTqуh3[Û)hZږR>ElVJݽ\([[չL+x9Ǻfe'?N7ht)ƈl;]*ů(mDVΔ>Wm#wkR9إ"s嵠ڀ}Hcdpܙffb^exKC.ohTlq7,'b mۆ:C `5Nd*d C>Wh {1'8fq FK]>I>ص|v- ~yB"8w>\M殻YvIO?~,cI(t3%6/JNDFS̔31:\z oem\ӘRT9Qxԕzq|=⁴5BNYTHUO[ߞFYqL Vd \B[sa 쥠J'2I[Z\(vja,ږڥvR#`H򆪁%V싗~u2ɱtdX|3FxEv,1vgS ^MaP G{'q"o[oIG:Du/TSk~orO qNxgQvL ШK1 [S(ܕgFDls-L־J9ԂZaij`- Mgbe{گ+[T JGaY#lJTKz%״_©a|k[rrpj2IH)wceިk0x>QGxUC H_57nD{ocU3Gwl`d01_ΈȜj*Ya"HlXakU{s I4Ԑ~ eFU]>b3k#YņV}GcW{ Wwbڀ{id3(ӵobfdj 4<5;O1iZD-{d)|WHmN٦~<|_2dyQdz?U(蕳kleT"0p :(S)QDwe:_Eh!@п5o%hb"~EgT?ކ*$,ܡH,f6= 6, m|k]]qp:˘׊&] ğ"؋c.o C)N=tpG$j4ϼtɱSH8@6}?a4l?tpx8Ԏռ6Bq$ٔ^ᝠQv`{d}@~2cmCc;.ؕǫ܃XO?=èr5u[fJz~RkQi x۟Q1 EH?F x') `}5:Ŀ-5~ͅ~E׀}*гh6$q\hEoeq[ ]$ԝU`^EsCrr{y;j+<w}"Ѿ&:0,ZnG;nѺ(~ ]x$ _b9R? R!-BDij}lhp611bz4 2+Ǖ@;hh^0 s>uy+|W$]'=Ib0`ԦQ_#Wգ:]j/ joBϕQ/ˆq#4{ʙ !ۭ0I.lBgL_O]#FϲpFq÷ M\1tn O[܄ߍAIՋ`s}kzP".\d+L<4rXP."՘XsR?yzq-IH/Z,9[IJэD@d=fOU6VPYwo^j~(o޿+ΊXg #N8v0 w`8\(쇄Dd2Iѕd3pT9"!U%0Zҿ:ViYL y;fֈ,?#"CM|mg_^ =ªg#[曰΅(n}%N-a|ʸ:Zli B23T2p7;{1{ۙNI]_ `v$4jG ~h4$x.k/RoaaB iNCс[f)buE<{{0|m&)ո"$RrjSfN3G8@Uo͉EћBSN5Iԅ2aM'- Aoik.l ##aj[L,"ė.<]~ ΍#Ba}cD';,xG')6%ʿ\c %=| <60?@PJJiuC>DFz9FK$i_Vfݛ FE%BQˢv;p2c.)Mg%`J5]|gRA] p.Jtޣ{+Q"9)v`#q6N۱O;"]H *3= P.vj~]6Fw0@hy^ 7k%J(y2.9OvV w5,jSL9'41v4]+6sB) 34U/AJnl]=;nDcҘC$|ԺuTq~LhQ̀3DjdP?lJ)g/|a˨ 8ꈕiM4f!ME5^9x&0Jti)^0M0@h4e}1ćݠgD N7>qae1թA 7AeBLq~ 8Y \]Ծ*yas[y#}{9^d FlT=(:1(tZ%_EK|Ҽ'1;1:1:; eyرgYZ.N /# ZF-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{3Ce{9k8lV_"r@@,qۆ.&:tDcyV7-(a2]i@W4gAxBI>0hqiǪb̎Ac掶2ɣQPEI Cv5DGM/!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thyEཀྵm9ݼ߯=%vm5(zI0TpRriũYcn PoDkzep%lH`jX #FZ!* CM{FB@!')NvphG5JadF0fTG(uleIsA)G-HC 4?|j!d28- ƅ@dg$Kwp&:P4C.ALh\ϜnrAohd Ш Va}m!q[4쯑o;lD泙4帲hj_ 'l#ƿ1}'-N/uq71c>$Pb;q7qx ln꺷z=ׂzM} 5h{6:Y}j _k1/{x'q-"i?G$@k̠2Mh #\KSnˠ \_".wwh٩#ݹ9[`gZ+qM˜qlAqTO{r QHrpcU"9R{QʲIh ?`gNI)@E>PGT%g g4r9Md7+he_Y劕xZ .MRI/*Yײt{9[5v@vqD,h";^@."ĪJ' 8뢪5`#6bdLg;^n2sʼNHP/G}n@۴:ETܭw9",%ڥkVܭK3#sfV bw0@V_~[JbYa(5ybi+NvV/ `w +]g):bQяW XAاe 9i.j”Rطmqϯ@5i%v ce݉5DFm%5z;IכX.C<Nt:5,Bn%A)vwyz3jro6$ `[Ր=*aYzDz(~3#X (*x3?ǙܚHU|&YWE=!^~\snKf^Y)Dh繫8ս?,ٽSaݳ<{fJ yFLQ*Mw4bpSA.8A7ȥ>uؙQV"q߲K1X:/nCsN_v@z/`b1(GI?yFUKb>'?Xi:^*Cwst=aYYڭuDW@BEW3v*)cB~Qu3nPx(p9/E=W$'~aN#s_0,.%  U Kmi)3|Je 1 ú,93Cn3GHy7f{lhۭn?n^ %xG96B5ƞj~&q j`t`}"OlbIj=S=_ t(Y_z3GctcP٤pb\,9Ԭ<$a&\7ηi7 b@x b/FkiN66'Y)att '8~1zՊ_FݞDEjǍSJ1%n"lL$@QS.l~?`ESlIa`_ZjJ~6R~wT=4.LQ׵ajD#σ|*^@;Py$ *VНI?aTR1J]S[/2~rw0-pwn̨yElvg=!XEFX -Koq$A9iuoߔ(do=&d(w DCF.98S'r{45$u)M/lg j hlSD`X>MYnQC U@eCi0?Dp)Ag2Dtg {0p~ s.|.֥3ty ,qayt0T~cxGY m"[Α%S( szQ=Xg"}nQtV LJA*4hw(#~EzJ[zʏjjTX &db3=.q2Q#02'%j xH<'Uz&wgey_l{H*Œ۟2l :qk]vgI?=ߝp_H?dYBZV8mL%|ċ͞2 Y7䰘/kR9LKGql> rV9 ޭibV9>y;l3Պԋrp&X燤t0.5{4A@>_vf4rpV?j1V]nkܬ_(G#k=7 ZpJLʪs]O7{`lnMO1o/<]p(ABF5v!/J7/4 P0B4k"{5~|׸r5 u3vd12}b 1H 5Eo҃_ъ>:L%AmL: USʽW>{~?1~ŵ joЉhfE;IPmM~vˣB-0bBj{`ܷ-TY mHz0X<>B W@uvs 8FDs07Ve|ywKۓ,/*KNv=AtQyɣ#AF}8_c%}DHc[ha J1_ă+Zzkh,ee<  zX/%3qN"nyAP";EԵ/60ٶ`zQUPsU'ɢ Z:un Vh ?M1:aR@YdgބHtQpc7^mx$%pFJGIVc lU00"gf.GYXe+pw=mZ'A.'t?IEeIX3ҵ`'♲ œ ubĔJT~nkxRVЄx@52q*>CW ,<.ԌbF;: f\M;:S d. y爡7_cDp* ޢ[G􁗙ㅡ }}'Yˁ >[4)YPQp,jR7Hf{m͂eo 䟾i8b̀zx ;,8I2ԌFI C vT{ S \ֹï4m<|IjHEugH3.ߔJGD}7]Ww[\@J1%:jf>4BAw B9\?X $+I{=F mNЗ_sz'Sa8/Al蚥݂[,_)$\?lG|}[v $>=ɖÎMUJ\P6 ]NDRyDc[J#0y! zԋƻ=#M9[,Rh~i\9I ײ"mzš,CíV$|DfOGoq?ےm 4M{S+wUm#E O9> TAOm58M3Z\!"9hw?ԟ@ Cqk^%`LDm֔8$ ŷP+rZA&? ai ~S>'I2Bas yzvx᪎X:esKPedB?ʶkmQ.@XA4Jm@fsټVQZptiךs:$Npr@"Tmo>|r҈)-gzWJs)VMzʪW #!Tg>$t1 Nfg!%oj5=Uz)IwDnpr Me!IB !x C;Ԉk|Pǣd9k!*yk2 @Al\ɢ䌫46ۛy$>*t붼\NP}\()%<ࡲ;߃47~e /ۭwW >Qpv쁪"˿.| sml9TN9WY+GL'*s=8mh K}ByN 'Nۚn_q<:Ub2xf3m-ٮ_ keQqf¹fz9dxj6DAOip(5'YX?zs⵶15z17֭Њ2gx-`RsO>+cO8Si$ƹu@wbs:[w @^ʑmϱ:q;bCR'`8".(J~QgvNH AO"%4 tHz0Gt3c eCw 8k-qZjN jy+t*[kQң䲦>Jo,DAJrǎ;ǣhA1}+0=( xLLv7ǦPg t$(Np3pJX>ێek5f~TǿTkMi2h .2xfds( U[kWicW7&uO[]nGYylN`Jiݺy~2t>SOVҰbnA=A&; /'l>W!rGğ+-`}OҒl{V/rqܮ9f*8NU'j&Af(OLi1DzB~WRK+ t 8 oMS49JzG@ {TniA:s.a+O;T ~h9TQ3xm8-HZT*P&f]_-ϑ]$l n𑍩nA,`: N6>ՖwzF5avjGg4ڌ-굫q.Vx'e|L3Aԡ_}жY=GoG=55Nj&;xj jQ)RLE|rKZFc'lzf'V# ;X BOS\2cHnkt_c"g[R}{`S'8\gX޾t`:1uLZ1z&XuhҖ(JD@$֐T5QV^ U^D,Hb"~6;t"v;qtx_q&QA,,֒TfpF#'Ye΀qUn /"сn#5Gk5zdvRcݼ/=}fV"NܕB"ʼv$'~"84*} i4[b,Ribqcn.gY(;:¹qX opyy§/0vaxQ=fm1fa[L _T{SP<|o콬{l8:M[K۱;CӚ@_&d޾&GT6k79_}4GIj۟1j . b{*=N^>t'!WּsEO@ t>9platkwnhN2p%FS$3jh6z I^EJa!9M7g-P !?'y[Ә|H1ñ8 6tmb2y8@,Ğӓa;eY5 )[=Ug~1@ )fg%T$'( NX* DA]q6cLn,[j8jY%. H54 7UW1tޙh?Ks IP\`^zѢ)c1xBdOتcME";Z +􁳄I[9RHV9ic|ZVz~UH5X(rPJiqO2w/6Y \Y6,B9s[`T5oa6~(Ͻ?CIJ_xÝǵR(XD|"7LI}瀲 >~ BAaLk)t3`e A~ ;nC1<Ѽa7>0|Y*[B \BW &E)lF~qY`QdĢwQ%ݥ!~ȸHC b20G`6y⺧& QQTn`v5kǎ5IV˅W}]U0l<{˻Wm/  7$ʬػ[>yiwYDdɇNȢbg<֙ad}}K1l*Ϫ9'A!W:ÀVŕ@ Q1-|YNyҌo!<+&5-wa\ђ--D2A(mOG!iŅ@n^h@4C̄eTȡEjLge@u~΀$1k#T^X+aB]# NK|h7\ثPυ3 D;KbP<Ͷ4oCnKb UOB"3᳸ZëV-,HaY;3ܷ Z l ~ z!K,~Uo#= N☽R8(5͆䶤ŕw}7:y=CrGk advm>w !Za3/q]YFxUZA18}_cz( LwKsBFHAHIY-ېzG. ;$%~OعEU4r2 î^srX;": +} e9*T"Grq@W$u(*ד$T~tTZ'"N ^c>*AxpqC cb[WgggvKgIFraزXK F+Sg,"?HU#Vہ7s S,)2гpأs!4Y7Qs[]I C(l0‹ O[dOAÄyB1ն S)g9@|[b;ƀqim!£l:hA[ENxy=Ze b72\Mo`>PgvYV.FhH} nt&=!Pt~5FN5eXN'q:Gf UYY^>&"%#:f x1 ?}Vzl'qpa!pIPhU3CXW\T4Yeg@|V$ߔ],P OWnLKU?`;U|-KK`d'J܈ ?ܵ&~ p9"c\* Ѷ4dp g/e8eJe%$H]I;w|DxF{a1@hoƾx Du|+9m^)Dd(Z$|$$fWUNlX.JJ p5BxB\v+6Q*-|J1{qFMȯ/[ De랊W mJ'jpr yoDn= :0L^c$mPHD]LԴc2vp,O6)Pop&\3=m\5Oes.([Ŗi~XaVe#ZjXl}J˫g-\O ^t9A5>}Z:Fcp,]8,߭U)}ʅsbb ؠQ(b-]_k`%p}3V˼_D`2wս5'o+߭O%?xޞ6 &`O3T^tE\NFh0YBހWލyCܚ&M59ȸ';V=Z޳?X"fBjkq{fR)D?f,n]>8q\ X.kq8 ._E(lkZ䧔kwd4O@`Fo'omg.*FnEהbk'5VSCE:'gJ¯/ʴ-@K_` )4*;ύqx9q+f2?T9dCzi (s6s:J=68wli6La 8X=҃^jfZ {Ip]v% D꘿mLƥp]1QGCRE<@ԛ l|ೠMT1~"da-` /h%fLKt<ݤqU IV@jz۪g+NRPV5dm3W8H+ q0 xM-GQi2 R** QyFCؓn͡[յ/ 16UCkQ-OһAS'"tuJF~IR-AyIy9*M0t_ Kq>q>WTjd_w{ڑ8[H"T]4W2euöW\+*4JҺ;`B=~7yO|o[XcSP b]kv_3+dڬvQa Lىtf[SAQ}zaqK.m{ն kYljQ@x6341^moc@+Uꯔ;)Կ8I_?F}|#XOH+}&(^4tX~` - &h1rUR2mp>ͣH%!kljN ؋߉p]B$OX Č_'p:֨,ϟoWc GDG׆ІTto2%Sӫju^1 E wd*9f˵3*yZWV \g VwElbU2\kyh+pQª%̿D1E8vҶM%,z PP Ő@LV3scc t* Bs Sfò:`]lU=;{ )$En*鏟vpfwTĀ9\slDZrlM{ N5 e'腙ƘdVaРxQ y^3lvv]x,D u}Nڒ' sjܶ~.~Ws(h{o ?zh${/iJ뇉U\Bg@X>q y˥&ܐ-btaU'E?4\(Z! $Vhţꨴs5[@{n PR2n8y?op's G2Kr]AD,s)5Ӎ--YiO iSEWU7ɉݜN$:k _-Uxj_2s0_C]ZHQuD6֔/ET3?w7 ǀ"ZiE@<# @s߳^hRWB6`Ld_L̶-sl*ިL7"*Ι'sJ0llNrR%S)#|4&P@z92r,1Q lQ2&viJE}+!F'w^>TZ(zQ$>e;?r*zYdp^f{?h:<;3KlQ"7f3IBr'&]Z͢z 0SQ]7$%U:ō飭YvkDt?jd-fI/ cys؋z[67 )vJ\jDBJz28Zx-8R;(Z Ocd155x28K o?kv/dm8!trrbHÖ`ELR$Q6vnN@K |SҔ$ð8ݶi852r%ycUe;&z J 3uVl>X\Ƅno{槚'!LS)\@iYfO;NyKIԑ`QTm$ -,F QVe-nqwҞwYE|y1 g2H(KMɫ' .'bdc pcB; 3V=r QҺ;6y>h!$z۩.j)#0E^(w,>'^J