SQLite format 3@ E.C  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 Qr\4\ ]/]ZF-Induct:threads=6elapsed=3.603cpu=13.112gc=0.7527zXZִF! \]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0N-i&=N`2dYq'87P(ыVɈ.z6N={_~,q0"z&c"iթWh}d/ֻ&yW'%#5NjOm(D@6gYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5h5DxaZ]rd ZfФG$xTankf`sH|g]Ku1cy%%ir gpbb5E 3M_M&rQ_x 6f>-feb d )2ʗq[uZ׺l-պ' r({hdh)h0Kh92DL4촵VH4<,:gYZ7zXZִF! ]ŗXi%R#F {.?rZd/Bl.рRօ'!'j s[A~* "yѩx 7PU!0_t} V.VymLJIiSW yYFv&X8垰й>j ^qL>&WM,1 fV):ܢ##AfВB\ыwt _0RG!`E Aud=DXt!12EP~sMC괝,`^h~W[>3Zn|R smgx dz R1.OWfgO'>2ʰ,Ur\W;K^E#k uE{\V/=$)Q? $acD67oM'*~-LW救@r(Q:hG~\-|hQMfhQulE)hL S=vX9Xz`?=zF c IB`8}єZb кw?0V9k~?2+GNl0i!>hy]A 3. sgI.7RW doTp#AtW3y=hqV253669$@_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*DLCGBC@B??=><;8:531/0+/*-&,*       O* ` b / @eWq,_3S*  /  x O % vM#  9 a}O + u J !nc10+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/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_id617ZF-InductZF-Induct.Multisetdocument/Multiset.tex4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex3/5 ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex  bچ  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[gYZm6QLFt2;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| ^>-:IgYZ 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   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 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 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?ܗ -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/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  x )/ 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~~gYZV +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>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\ gYZ 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 F F~/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'FLMp']#Ӕ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,C?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*XnBgYZVFtNh+ 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 1t1A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110A 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 V)# dZF-InductZF-Induct.RmapPIDE/markup7zXZִF! @ ] !M젗OFOJZgׅi]5ӤTρ36Sۍ ZC} L DX3Mza*Q(&>m6Vu=6s>&qGC K=@b8ШڤM{ O+Z>C 3a l/%67`ˑ_[rحBn4LC6Yn n1\L\tm<¿{y8& L[)|޵ nVBBY}Z&yD\A$*~b~]xz"DaZ@5б Pe(%xCI9R0".1WYPe>ZS6E=߸)_(Qn`=veKx@;/*pJբFz#&p+-8] :&C;XF5ЯC]Z΍f]oN S"Cԭ/cɺ )zָJ 2!mr*5]6'DΠϗ0;ZL,e-gfϲѠvŀ I*j){7Ns"CP+n"ա!#:Rƕwl :ؓheHҭΩڶEx酬2Py=;W*H^s7wm,0MRqZ][Esm-5F2H`d#6!LVe BN઼L 'eqDL*mBw@,EOSv_EP9vGJ{b?wpSi&~a~R/BjŲEOQ:$k(ʉI$*ᒠ{eL50654ngMr~ qaSr75iL ZXN2:>?`]=!?|!G]e2aE ? gBʏKnbW]jG1~$ͥF* .(٦eN 6cdFD:h&nG+/]1K'XR_`ٵѩnC#Nb l=^5ݤ$jBw8E%k;r͜s[w_|r34SO>!{IvF~!<r5nfe< `7@G>8o3lW@67xx}2¾HP9LVh1[4d蹎QR=rp5)>> KHŤD>ֶҨV#>d%2U.V' _4t9Hx7Xvd,˖M3IٱmW,+DӠ{"cd9@U>ɽN@ۇU#_,&/8`Pv#XR*}X\q'!>~E;Y"]lӢ,uǣ ՇDƀϽ!1ŋ7paHo}/ ~}q9v0j{S'5m i p:|T@R ,6'B!¡b̓̐9Buź)®ʊlO(a@/R1L[ 0BZfG)_]m,hZ4&;`XKӖe[/fWqSxzGRoUP=I,RQzuN1l(7GxM-HA"'*yr422|tt[WUۥRo-$cD !qD #Bj`{@QFZnylwpX2cvyUNDYDgJ nFEf~Jw7*+!Eo3`RAxz{&- *hA #>K{@D ZLrz3L"ˀnGzAeΟ}0TD`ґAEtb}QLvV~*_[9Bk/H,] FPtA%k9彙<T"Dn:}#eE^{5NSv]cbԆ*\*W 'S~hmV?O'>RHE/U\.+|޶w/$vUr%^T5X/;[IDGA=]ı3(Zȕn}r]TKlFL;D<= fԙpCaN]8 /gQR;h.htFeU W#(Dzz*\;dnB$jԨR䡾@*H_ԼNe'7i sGк?EZ#aG. dhXٕ׶xt nГ&5+K<+uֹ0.u-&(oj}'NNLJ>_dujKyO[>a8{dz5^wK~'}|-l !+g\cO7|f% &ǃ Y|0x@SY䇙6TΛ$yuzԀI j\z.z<Ԡ(rzY=G:yo#9nw%zxm!ipZ`cm~A[ 18k>GN>ˤ֞P^oWpggp\6?|N*зvTlfnoB>>8'jW&+mQ`9f5=*,_2owؿqp=[cʩ|x{IV )=o/xѦWeFs4D#3ؑ&YM=0kZyV߳}vҔAۤ"@\| )DBlXh8* XVڙG&L^9/a$6gYZnx01o܍=\ ө4PЍq4@;u<ɦR~ ?Ƀ %h`4K^PR8H@>iYjhcKPq=U?h8)Q1H5T׸WZocf~*f>|uJeq郓ma;+ߛLiђ ``7ySc5SL~#>B(AC*GcVzWGTv~b1mCMOq9RЖz#'~,"5!HuO8K(W:K) ӠA[$b|gE .v? OYq<%R䨖DĤw 9]7t@b`=U:hE\4wNIդ f`pFNѤ_qBg謉W ?W:Oj,)~J>S8+ZM~ nuFeC}8\{ '|"a?Iz qhFCP<24 LeIm04^6 כ憁-8 mjV6vn9}@}c>JWږCZ`1 KpQ;]dBb|$CqR#*»1; 1"*L`wl,C6f< تA掅ʏRO~VYKPkrΛ}٥NofCJˁN*.º`<_IJ$vz ޓ>aĠ'9 Y }*iT^ u*6UT%oMB~]2˰3#L0ZA )&bTU$*Zo_VeD7oۅS7G/^V[BNS!Jc\ Z|\M}l ,e[{w6x RQnIJXX/]OƔ&5fAs+./Js|ܭ->>,\‡(ڹ>\,=rqref쯖3kV$S3 \fBD&RdT#`n)ukOeS:ɣڊKyR] '!/?dǬ2_'q&2 &_:$;(Sǥ(>(> @@mQFAmS8fքW' 1נngL!?Zzc =HX bผ戈ο[vxQ>r&V 6;5H C J ɇV7muL(9UP^-h{ * kc\.FNGF]ㆌϤٲ!<#v f [34{*g qe# IImIf;LY2i0f?,EcE+qcب|q<%`hٿGdOB/Q x=5)6ZbS9qcājU7?b9 oV嘂U£r3Mʙ(P8KAK糅r'Lbf" @v`xW¯`MsiO)X&n6<UE@&STg?zı;xdN2aoh ^3F@_P+uR^U~Ƕ$f/n#{& hz !YoL^.|3bdz${V>~F;-/G7 ܀g} U`5bߣrKRm~yKOͪNY9摇]3B28ǒ_VpL5R%KIT:y&Pbo34  s`i+|?]RuCK `I`z4 m7H}@JFG <m\VGc5HtтQܾLvNǭ"mqޙ_&qGBw: e^3P+;JBD\gY(?*z W(\H4 i>l)B]#֭~:<O<#0}$5,Z]l]̀/+IJ-{~^ay?kdD`ljyb?uB|ar~9,-hH2ڞe1&Ɠ`ց5  7-`mh8h~|qTk5M22˙p!Vp5).(,WWŪC69)&8;L!K;}egDҮ!Vs fW?qs'kg ȍ>qF B%!!7H N};=mA ūCc"—x;$1y>@^z9+E=8E]Cbw X@_ 'w%X3GƋiSHĠ-_U-kÜ/|Tg#sy9^JmPG>wulBBk+HrEķX)8ATK248 O1nh?/JKzV?Ksl*!vY׻ǷT~m\sv{ۼ&gNAT#<6aSI }aT3Av4s?f51#'mQe6b+V~ G͍"9YrÚ[nMM3'2zl(}لץ ~1Y/6A9:ir̍J"T⹨ .?O}Q %#i%w7Rp4;[a#8=T 9DP_#ү$Rov (7xhw|o]jZԘ-X]y8)C/+'B)4M>5Nj3(};hn/ošva5zΧ$Q۲9k, iapG7-KN%.B|!T:Ȩo\s%<[EP)ݽDq mAi~M3 *<3Yf/ Y~ie0x?Jgc{T{]_dK%r6xzY6ao}7wӇʼ6H34&aREQ*V_K B0<GQȼ|u\e ܵ'v.#@jt8|NIO()IBet 4a$DW?["擣2][ؾ4< FܒQ #oˆOF>b^%FE$#o֐mw0r v sŭ{fW6[90y.e)5j`7JCX ,$[ğv򊢛=ULSj >?aie]0p`K|(ڐ XH ^@ʍ5vljF-ڔGARKtm.؁.IpYKĉ4g83̊|j}VDC &X8^zuP;yVaH2y;O3ICvj-]4Hi)3ꦇ}Aa0B,C6!0hR)+A 1к_b{̟ƪjvMy{fC;%K:>2-%WFs#D%IE1 ug]+.ZT(7}ڤSG|Q~a*)la в}ić֚!hn|b},o _R<u𸏿+$X=|} DuG\* @GɎS9&;XWtL6ͤoWcI sM/8@D_M6c$ң jc#i=|Y`h$K"*SiE^lP.\ 6=<+sCN^e`+.`uŧ|2T5c L}+8 !$v5^tgWBT"Ž W k3.*7-_Qaڸ:ڝ?vD:rTσh#fWn#f G;  ?n^jRKj\ nHX5EH+eux޹ʕ1J`0ʳ.7VCp2]B'YΪ6˼+ދ- Dn# }?)e`z CW^%{[1iE< ;g_֬5X!\hcwj|EFS$ZzZ>WM'i}=X+Y FOCmX&z\V8Szڸs!K‰cf5|7E)iALʑ#95Q'ZIŅ&kb t0&|k=)$§b@bv]Q ɶE2-^$mӿy`1AyР=k°)d$ B*)2)QFa)_HuNڟ+m xz%[~uE~7Ճ-iu w!;;'c[@HY [B|1:{Hwz풊sg8fq<=Xˆ 5GD8< Y3pݰ5-lqnXr$" MLӻ7еi(cbԌp>>Oˬ(*}*7x9-hˆ<]0u X v4sC& %iT>ǜ?'*w]ֺ(Nu-~7XDuQ雽nld)iXsC>1A$aG0#W.ж3&x'Q<6M[^(tC}325yĊ@# O:wвz_(%x«ϗ}_0'*NdGʓpΡw_`C'79uWٻ):wI &'UMxW*` 9)`oI*-Cly!xV+_Vs|o5\p$7AJiy)S_GgQ ܌NTjW70v)9% cU: Y_8vޡs9}M_wFֱ눸iU$LИoB(vZk9܁ܮrwƃ;x(Q(u0n %&l~# |8?d.0Uϫ"H{VI×Y;^MlsŖ:UCQ6'ɇNgw>bYۧGbJ+P޾R{WeFZNv) 4̉χVCK0p칎p4XGSy3   s Gu1t?B*Nl;}rE%DlpRu\Z&` 9E2e8՟OHٖ>G!=0( j+ɇӱ 2xTxq k0}YZA]Z E.ӭFGEV JE +S] YeUa1˄@-x{,@*#g/5"I$AIJ{zݦ,ҝYwWO=>̣1goGmDgA 8 ]2q-,r(Dfe2W{Cש\*ʞTncM^JO$ۜsdà!᳣ICP LU`^c>U4Y7. ZIWQR[gYZ  /# lZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! -] !M젗OFOJZgׅ 6UV A;b즍Y9 bE;:y>(Ns"h^r˜L/6h=yºژfy~E ]] y< 仈~/V^\7sT9|^=/򤉥aͮa BE;4v+xcA,d%"1jaZ|.\U(Si s HyڿuU5-'b"*m& oM\X:&Ctң*7qI\A?aPÉ1ҷ=eJB:~æ=[e`"vU2w5'Yh%CR 괦s%döyb[V4P_3 08+޾"NRd^Tl $ihR4pj:gTB-t;@n5,AdQN<8/uŊXQ҄SeQ`m/Yꆧ)P5v@V: ٦mj2cܶS`A}ONt꧱zX naM7گv &ȷ9K$216aL;΅6Cf(ED }$9Wr8w, JV-5B:HN~'~˺Ƨ3x'qN}- 06=$CO *Gɥo % 'u/B2,>T6̥`T6pJ"ɲ05+вi6F6 "'\)23x;j<-3/(Z ڇ ;voU3Qj]V9/$JK~l!oRG<,P۷]mG_2~U00b mc5Ƙ\2!t9d.(@9aT8e5DԤV7:W@jS5ܮ5?;yEXdV|0BQ^9B+˩,J/Q!wW6.ecާ W4 U촀㦇?VQe2oc\c<X>6ygҙ/C3N]e&;T烠A>+[LGkFN2R,K0N3Gl.u #d$sR>rzS.ji=DA^vц9G4: $KKwR_IӮ6/چc@ϟ'bAXm`^!/$Ŗܫc^SBސɘMz 5Q-3^G5\w8/5VRR=Pl0&fR`+"7ԀΓSLg!@mP\0jm ;{u/ =SfooVh@xmܐŜ~Hl)E^M\[SSig9n0YFs\]]4^? h+$! ՐjvsH}~ >QZb-ou]DR?]+5  M W 1# \ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! f] !M젗OFOJZgׅdjw,aa@ߎQ(~*ܡO>cK@*8;1f12Olo{^pvYrSbJ#rO؃E%֞mk4 Iq|[8pG]rT/C jw@2\ u%Q'li˳&3-R31+hL9]Z>A|0 gHYw%Ԏ̤s7.yyhk+in[h .+f9> ܄9sNǶ& q)w)Ƒu&9^=loX>81)7evlyɋxJ#G>X “F2D-gשR(9UOR01(E_;XgaL D9{у#ҋ$cU Tҏc#\[qќ&7f4A0d-yz0'^**>Hai~ 1- Qd[UtG.wQ!qc=Cu] HDk .{\iv`nݭt,u.◳q^|<,ɛiv/%K>=aᝲhN0XlWc;CPԐ⸓VH ~~5hQX!T9 w,T| }e?>kW]X [g=PC]0>JxS37z b 3.-jsEmՑLƍi #kz%u:-3nJ4Kv/_"G8" cN$46~"^#Ӫ5nĂf?|-'}P\Ψ(0AGsո-rke-(<V)?@mF)`_"v$GTۼ0P<ƔY̿*5( Q1O.ͮC T%eqBR\ ?J+K֧.i@k8YSQqKIqB)GC8۪ V:OR\5biZ{޳䴇M7 7:bE&ۻr\GDl( ѵ +U0w{9[$ %/d"w 7[TEXWf ^"pMgBʉ c RoL[O'_5%$jkF?^ɊA!<݀P c7(YXixIۅ< V2#2;xrBJ |vV{q Oz&d.$boBЖK[4GsV!/QdgxSb~Ο9p@:c0yL5lh2RpՒGY,6!;o={ tE\G4Md_y\(t02Fm&Ƽ)X7[V,uzغV-Pp9foܮȪ/͹4q.JuM͉I2={ ge*7!%78yEZis۫bX(ɠx󃎵Ԕgnu0gJXI=ޱ8uME8%(`>%`%?F忿vWF|#C_R_''?14\'`x}jh[¯O+D)ZV$*QF! ^0g$L(^ߋqZׅ'w" W$ä| /1\{3l"ɲV6#/_j?aa4"VWRaPHn90zjMxFڥ*^N IGDWI6H*$'/j*%/gYZ" Y:ǓĩIb;C?\EU nu=~z6z;n.a,U/C$mtXťOڬ&QX$u :{hll ] m8 t/sˋ)dCB@3J_,6oB07'E8_L3ÌǨVxquH pȿwZh7zWuSO%-2l,˽VYs>ߺ!O[=ɦ:;SޮYJ{p9LI[\.IXޢA P(oVJE2wZR753yz,o'37ߗOq/O݋!Ҥ!Q!D푍 a__gIoΘ߉FlFfd.%UTJGJkQQkkPW,7J& {R:aQJ` UF^ sm=ox-˽$l` ]etdQָb$'5MNޫڤ7A&4C4 K O߱咘)  Lc $4N D.E& "$Xn41vom{^tNj*E]E|yf ;5dkB,N4@$~mNd8 Ʀ;YG?,t*T1@t\T=`+e\iVNG-Yv:\w* R4w M/{v+6 v4zYO=gԾ]ȶ=\"7+/]\\coJ9Dgf-:Z}ű|Gӳ,uk.E 芃#TP쒅3 Wi)cZ$|3!l+ d)ӛ}R]G tA`Բ**І"Y@cPeY)٬VR¨V&bN8|i %:$"n5w>{589 |1#n LY67C?N~p&ؓ6v K+ٚ P ǖdAø{a\fZRlDȴ{LYex=g;@'dB35(y8Qk9뫲b>40*ӅVPq6/3hgG:2t?) !ٵyxjsc%6HQ!T֤\zf` me_t T 9hs!d/ 'U1?9;|r37F)w TVAxzQ4ۃy@ݟ߇ 9#o薁B̶$-_f}h@5/W,oҎ{,fi;Nx"cEOħKsd&/RW48ҟUUߪM!bEaQlm¿6=#|Lu$yQp1%0ho?ni) ';!c,j-j/b}ԓiټbL>AҲ_#5K^;ё*)k NW|$n -cVR@~r 'FBQ~-d#c>sDyj{ـIa;Cݪ8c HlFDFUPA0iԇMWϾ܇ur}{b2#7'6c{)q#Pf16ҙ+yyLG[$Q&I8_~mFc8*R2>ކKm igQ&Z*䆃s8(xlU -Fn3r"eD(XF?O:bY.4CPM;e_vJ <X YˌhwN"tg,{h^ VZܸfb{{3<%lviӵAkW\B/3pFeԞøsȠME.xDz%ҨWB hDG*Dzlj(ӉGԯ}Tp ݝ, n<>'%[M.?v^A?@.IuѪRkQx_+o=߀P;୊/U;D-`y%I]~!8V8a]%;C}0Im =ok_P{.ÿ}0M ]ԦcB g</OC:Ǣ/aۺ$FDJn.;7ԹI03~m,(j&1x2G Le6YW+;>ROE5xئ1j\Nx\RT?Z$5}xa8P;= R'նzʩ$Qo9L[rz&ZBwKm/~9@f_4TA* hێnp_˚<\E>O`õVcF?r Et+E8qD-(s&.dpܟuIeԪEZϼʹňݍByLa:ʑ ۸Ԉfv"~ ncQI8tI+} \r(_ H DYŷsHyP싫$'b4խpT2EKSVV7Sѩi)S "Nؖ9nµI^̖tQќd9M T 7/H]߮)G7v;ruMw R]]_r7-PDwxΠ8RzGʝvc>K(c Iį-pl S0W>&]\4aaB`?@/73P8;~[`6\^*%tPd0Ei^opo)MrQyⓩsXx6eRb7'YXzPWJ/~?eL\ދMVU%j<@ Uyt螱T+_qXݢہ{,I{c K^18WDeVN7I>h&Ev_z$`7 k j Y!2G*%ҒPzh(8;:GS8G:5QL)^(.ҸrFx,L Xo O% /^DnISa;cK=Z1x(ZI՟DIՑfaQŦߌdq) >|4hg}x|8⫬e 6NH )k1)ķI*Tޞ9厾.[bܭ6{zՈoh.8"ʜa @lR\ ó|.*xz }P(,&?y%Y]|M@dQ&B$!YV]t,#@Ьwod҅[O4e%w*!=Ѯ1GF&@.Dދ٢ i"x]&5*p}=S Ai3|)XaˮR Ek1L%S%?~;)l%AV^1#mU'<9&j_2ydYKEo*h8fBT>[s{zv LG>-f@ثTJqJ7K8BO!B}hYUP ؂y !WB,[2]:FhEENdn0J}Vz'bOipDEO;g6̯(I ڇrZuMڽC1քőb_1(i .wΟo,qgX Ȇ:K}Ġ|>(Pú`T<\H=R:cOA/ZcZmeKo|LFg2}z &rs}/ͧg( ։=U7-زz٪or(c^h~wNA^tl5чrU&|.XyРVÂ}6 ՓI *+ayky]W,g|JL"bS_ؼ0 ]sϝ4/6] ] Sx[e@0,*qݧ?1xvȸR~x*{ZjW )z_+EGşIzÀY/(c[pXspC#>(V(Nq4 Qa厷(ϼWAÙf(#>f$vX@恾dJD&5Pӻ˭r["\rn䕠1/ZwH3uڅYP5A"4"שG̍Vs<#a3^&ޠԛ hv9&u4Rgg2<$eZAb `J˵o:=[gND0@1ߞ<$}p5x$kI$TLtv2 %lx^uNa\.>?h%<̏_0xP&J8>9ng&K1Jo)I@OQ.ͨHJ&?'䒬nR'MYvg9 wxL2~",}116ܫ #mŽUGniNDvqj&ZvG.!٨q9e.JIBZ'zj=?M5]2VXȉBqUv6䒼UoAa? ~FY& ZԾ$lj$@xz~盉5b#CuJpLY᯺;HwH0 "{jD *ƇsKNܟIHa z [62o- 8r)?\ k7豥vo:G!]{cvd$ǔfTx<\ݛ]HWC(1,WZ BOX0  cVDf^%R4ɸ0'%৙dI^r"S,0s汙'c ouZT:~Q^t7ޤ5ZOV)!:/oUtYЄ!i:5P|s4$ԔHC橣,3IdNo)̭e!, ?9k)Ζćίוup2 .j}YҤkkOw)3VbLg Z]g7^샎;%$Zk C;CSCFByKt{ao4o4.:ݟz=J9/Xkag<`׀ o} kk8;4xlP'~mVa h ::eUU:6m  )7_X;BLqeK{!cKESH\[/4.#AL:vbCTc?'>LBOyTjeR7F/f2!>zXL#k ZGD`ݥ.&#gJChN5t.hGU9Nc$_{fU"O#W3Fy[ٻXuQWϪ%dns[W41}j*Xwcޒ@yl N][]q^u]%tzc]i7Mq!Sƃ}>MzFЎ^ t˨2,#;ͤݒH#k {^V z؂cԓH \6~9N)5] fX -9 vn0U ͵|+ܣ=끔Z!k=+~ޓɇ48>}p蒟:~lS`5Qtgv9vC~Z}Md,*R y62h,poTꆓ. 첪S5 M@%ս(NFĻШ:!< ~T}6 =@8vAvW~p04e]o {C|d 5trd3I'{;v1z̓>^8Fab٫ kHѺb}"?3d `n~tz}Nb24=״("{au+5R"]Igԓۘ3BE*]C)[<44Ԑ0DguާS$ 1 `)TbPGchGcA\i5grFmQPG˦7L ʴ){pZU^FiQC>Wo& Wv U`2uZqdtQ_kZ5®=="~hw\s?û/5, Ekт6-U'%@0tӫrHӵD#}x tmsT / >ҥP߅d=cW0_2ؽ#]# a-=&]7_ RH$<:°*z=Ǡ{W퀡 $xdM;M}Tg3 H, |C3^{ng+&"1^SS#B09UI.!6 ㇂{s Fh[΀XSS-1bO#ң^?F쩿+B=I[B]=1o8xYw#g) \n&]ə+<1+jˆ0.c9`$9nΒ~ܑ{!k!L\AKd3~טJ ' ,? ! >ȶQ)[- %rL%<熣,7{^S. @MO:WcBxVynx\&W•Z:bYv8K:]x >L09JI(Q{= i[Tg L d Ru^.Y<hob'}Wս$M4yIJi =.ad5 *%hL-LzP{>xW,3CPX5xF 'v&|pJ`,)V34nU8}FLkm$AʏhsYgH.ϲ7@jߢua+(ͩ3|kXa e!TCJ2BҿM)h yxOUAmI'n-#K065'm(o&Y6L;׼ۺIq8՟,m<ꐹ{`<%MeA[b+~enm"4$밣k@ֈ XxC徵,' DԳ݁E XmAPR}{'9+wwxV#,W`v$RwEj@V8]Oh@&LC&0~M*-> \1UYȬ)7&C~B{D)e^BzHt RF %njʟ8wl7Jv3Q0+ń$ jS/v=ʋSAdv` QI5<< B?3(!wu^ڰ993[: 8A@~t;$Z@w$d%~0 vhUJ"'[V_g 5@PvC <Z͢EJkDw!<͖)_2{ Ed[5Z֮j_Hتl(pphtAL_{~ޮ?bjTH:_?]c ATbLcHWdw;3&0K#K 7'e&QDާ7*V[G~G8,[ C_T c[`%WSW`Nv))]_FdV`j,@k/[U Hr:Kٍ7~+4q %\n~wyA6hyk !O?C Ղ(ĩO[V.38h\fMam0ʐ Ri0E6$C YkZbWhUN f rz?m].J"K}HkE_I0)NP97qz̕}zG>yy[l a3Tge:bn e]崯ӗ(4^f,R Z< ր {G@fa%\B&2_Paq\\vP2ѓ_8K(_r~u\;m0\nޥ\HP[\Ѐ{eOĴORASnT/0#r,I 3wS$ReˏEfb[Zʈg}{:hmh jicıBgqfrc3&v0Źw[**9Į㰑&JF6*`F0j3Bw?U>6fsrq/*L Exߞ.$JQ01ISi&#e_BP>%Έ-aI=*?%6-epyYC 0:libtu<ңeeZF fiAΤWBS?P(sCḴ₹ RJĚv3! CPA*`l+S.y 7J ԕr~m*n`CZE,7bqet(gd^By9ob\4ЊވI?(䕪w_w[ f^Å,K)"EObHRXy&ybO f lyN A]v@}TMv|QJVeR"N=w6τW۱lCySfF>K?Z07:FE ‘ ,04R mk3eHHen!xM#ڔ+cx}h쒙DѼvmcU[a*|hbPeAix܄bߺ|q1x-%uUzAJ;Z:͠"I܉9|\H6=`'ozN+Ź_OR sFpb RyYfl N(C9 ' Q@\iIZjs䫠5tdMM,k3- [ &~TK*p;IcbZ: qbz5Mu=F~h{]LT -ҬWԲ Ww1CJHP}ZKvRPHo嘕er5It X2dOS[wj _i):Eo Q,-}|zԤ_bȏx5xX2P1CV}qᑱdҷNoi%IoG (QG yBe3ccdW^U{0u~ v=ٕW#73]o@O'Bol?SA-M9+B[/)B8YwC f2^pwyW {2)]mUYFD["6,v3If@ar\KMQv`3~]AzG&rOڎCTcK'نTj61 $+ܩswY >T3F6-A)s?YqDm8zę ̵nq/tf*Lo80+2E3_~o1HͰO>5ߵj7%"Óү!hŁyF\!'GdH瑈*2*vd?|]nRTXo9l!&< ]JT8NY8:hÓS3EG<; t)4y:5:|J<͠ujX+ڨ^]Y_Bى9ixNz Zq?;"f& iל+AXHl}"rpRa''f1ʲWX~ ^9'i,vOXl,ʜw1̐73 D!V*Y]d"ž+1>۶Z-erU Jz?@[κ=%<z!e6h}[8n=|&"lz1gOU\2c8.,lb*$T&S{IS7'0`ݍ]6ZϼJO#noF*Fvm@DGN/;g^P\cM{C]%~(ߢJ.80N4~V rI W>CMv6a^d;㖆L\RQuЪA ×0ϬY:m\" $Ñ[P 5iD8xzYrj)ULJ;3}k&TJ#>~QDhSXtqWdZ %RQ=t&yqK d8)u7J +WN_x'L8f]&o%'2Rax+5#CMtɞ{V߶fJ/g㈒X6<}ScƓ@F @L7+̈́Zgh3Raei=pqդ@1_Ue!B}{8 W-ޤCvST.?iLfDy$j4 VQ"`? nhQFMe6S`]ԛۢk{Xml \vwTD s:L V[o#](NJaP*ͱw/m}ޣHCdb+pNi*x~+h AcSJ$f~̈~cQ8AI<. CmVb-/KWم="KԺ|~)Sa1h0JQ}vv9L5|l)Nݙx熁lw䯎˔xA3lpDWOdi6JǯJJM@ <, Ӫ Ȣ,I5#‹"qm%b=coٛS;YLCM4Q9{){PNk~2#9uj^= jȻ;CoŁ-LFFVHuOŒ+W1[XseG{;??oW@zk5UxMd`5R6&%Ig1!hKe|Kŵ݂kzWC ]yK*<DCkjym--hDoܿ ^%7` q:= ?}4qm0;]b'<@ހjU,Ұ2%̸Z|m}yA<e%R3TM 3d,GpҬ$e9Y1(چШFQ&,~.qGpw,[!?p*p=+SuG h?p̉k<0d^-7]$J4#PUBsg1,ɥ9/~rHj_޺42m~GbnwU $GD*;kTA=" # יK#8@|#= H+Df(Zs=Yy KitF^:i~JDG{ALa?ؒ9jSWG멺@PI鋲wYwn$ig(}WoK]TzvZIhY.YAO.'fhthR@\{US<8a4:+7Y\{>̩u*nzVBYNP:Gg쨜g_;_'$& Yd6*1N diư+@Q5)Z~c[]ī;SY ]+AF3=h*aG*h6h"kz.…ih9SFwX:N))/N_քx%)6nS$ u@O؁ lP*|ȜAՏ& JD|i83Χ5 fK}(2Rd[k}xX,|# JrZ=8& rD p& / n6Ԇs(ŁM:6]gI[3DF(-4Kx,rXfJ,%IDLn~-泂 Bl/`󸍍l?mhdWϘ]xU?c4`.) c534kdPXDL deY &Ӣi>r-+ds<ΊR-{\l2MyU%q*#9^%ނxEOx\YjF'y[3bA^0DZ0(:5Q>Sgs]ۄgm( !e%Gj+8YQhQU"T쟞b t%DZ eykMe0WŪ>Mu %-䠈A& reĪZ4qޛ&kkMӉ;G!yC.J6^'`ikvnIy2E'"奤T!wf2' T KC88A91pC \Oi@s](K{ޯޮ{ʄR[jkԃ ՒQ? .H'R`"5~Xu쭇P1[I/ ̞x vQwfXϴ]it`])_QOV4p9HRvZ= 4v{;s{YH7r3P0^=Md[g?I$$z"iSpW@%pS_"aȮjDo]X}v6]k Lt$E߶ |}ph.ي jKisS2'Kײ/4Kt~ @B+&Y=Z*tL1mXQԔgx(Syx"C11vf2~2EğZZ6tj,~Z! &D6:4WmP?yb" váX7`tz #Rop`[w_C-!+<VՀne"{6S[3YYXE~A 큫ۊ9afAfl(+L3zo ΧRPCvs':X( f \pnKh]ܭXw&Bpʶ@<4\#pexqXDV]{?3WErS"h#"/ʌ&*,Ex1覠qG~D\OqI.NH]{P.tGkD&JPaF\2L7IК,O࿰BKg;UxymͨVe^`&wC<0ˈAi85yykl+&  &\1\7”R : bE}Q5a2דk㡵]>VSg`ox`Pln=6 {YcVd^^t#+έR:|] CZHhIo"!W 4T=7n9:7QH@; 5-+CleHM]^%9|,dcJkB_].kE?$O)u2킙#Jh?+\vhtgw!Y@=́7,"\P%qZ[]~ X9dOQyzY,,坮N졆aiQbMXVϜmnRl(9ֆWH9Kn(=_>.1Bs(81qoq<.jK Z}0^cDK4r^lD9ZNt85e($|N[Vo P |˓N$R[l29jQX%gu$k T +0Vzk~v/-6^)wCtn]-%BG}pgg&*bu} د.:vr۹՗AZ jЅ_ٳ!\Nj͓,u21 3cѭ}g7eyU3(>*n7e7W#F2CK`"aIi?s$zm0ZK8zo 89βHȁ})FR/ԃ-vR T@zOtd6 PFju"j8Umy5xڏy;YxXvȋ|WWTvdzhI y@_WhiJ.) q A@PYT.t6~]`gP+] G/YGvr -p.,0jU ʧAto68'9@;;VK?I:i3HJ@nqa='֐Nvlq#C3eI2Ti鑡@e8+&N0$hw3g,x^i So;_VOl3]SKWοPRUGp4,YtTdqP#.L2̏K춬B C+MW3 eX?8,4 +fM[ U[ݍ(JaT>L〟l@D@O%<ѯa|nbwi8 vP9ҘͯK0,~X IVOWd .UjvGiFCu8-V8Q/R~31far԰SYm4}drxzU}b{5N(}OB/LTs6T eInK* ){ iDM&߱1V.f $T_VB3`8Sń?D.2w:=b*;d6!01l_u:Z`^tv#L?j ֛˭^vjCK?Q KQt ;le`^-"2ݶ_T3,(H@K&Š&spP~Qq?!\8|a}uܥ=b޷ XNQUdudJc2q8KO*pSUMZ9fd?߫jnbI o%BMm@wTڱYm[-<ǂmXhV2ȗÖuOӉx h\:z)/V :"^}pJ7QNN ;_C`< v`/t;VB nXQ3gNBVyne]_AN~ F vN\&ri=*Dm;=%W ic͓UL(B,߇I)U|v0FLm^/:8p.ړZ葍-)Q{,3aRNH"xq~!:q9~gЍ6fj{9^vcGQ}D}Hl\H&L D:?+8S w3:EIkxYkW7#~opzjun.Ծ<ۅm=$C RX!LÕӥ'JFOa__l10#; agqsߗOH;6# IYs /vTS? Mt԰1Q$Dk7ߚC'|3`.hA2?vI3B\G:{Rciux.(_͈t*[q,i$hgr[~fU}^9݆h8_g<]`ZP%4]LI`ېvcoTKb]F0uŰ-aW0;=f1ϔu: Ƴ J:ђڧvlK(}{vV(:>t.L&zQLeDiE4lD'ZI#;rI)#]Z$2cD7_0 4ʏ-4o]\CbmF8>@ic..UROGuf'8PưHCav<*8:c=t1ؒ1rC[3ۉi/L{>Yv"2Va5;#>'wq1X/oܼqDIT@+(0u 2eث=!O: oBLvvj 'c9.xҬFru eS!>b#]P7`[wS=n +ijVy@ߤ!M+D^;^3/Fr8L |oj[/uyLQFC/t-U ׭FbA *g"϶Jg;=] |jvacIz9mGxiۥ_O`0R~BO˹ 0ؠ5 Q>Z u4bն*\΂oQZdYtrriWܤx_9ܗ9'P¡1둞+d@pl )h%%@;D`& ?gɎgrA$`JF}NGg*1g~Ҟ93p#|3Z`kN' w/= ջbotCހE-ac~b/+6sXդBP/~BJ_ndetX(bTn.$@vT'1w1/mxo ! 0&eJ\26mdmn1ach~u~4#Vd/Jpe/?^" Ϲ< U:z;vxEf/),4Xyv͜}Gdm'BZA}mQֲFWhhׂvgz,2>91JNeYVOLPMdNܡz-PmG}d;/%UrU}`AtkM_H:4 ;ЫlQF?RlQ\)?Dqnqt=YNfL#R1lN(,AYۅ6sp4m(- d#)Q8}ZwsAlɫy1Y5钓8NUM$Zd{r #*??`ejvV>}d(] DQ?>Yd1~0C V +K%?^Ş)eK{EO|`- uhfoVѲ8sְFp`Ӥ%7:K ĻsU;Ic dP.tώ J䏔nM5 >c߼#D}78҈>shA=͹SdԠi~7GDLR0P=p:ŗE!)(bp!u]q|I:D,g\ K.Ɯr&ֹ!Ié-Bv]Ea_/K@+x,QAbD}ݾW_:|s70;_G= 2qZ#(o|w4j!&yP̘EI`!F :U)2yrz@LKׯ`+z[꽼_|aC+v@ɤMMT7{&[+`p@Zog(2€fs II'{`Gv6Ff܍!K毌)T}@g:ѵNWJۿqWGn0 v-'[NcdV0HTT뼵84uuךjg\3uC—R,lNj+eO9d`dTH('g聩5ai2r3rNGK,d BS4pIŋRtx \[^RџcS<P)*,,(aۗEltb\Oy5Ȝ!`ׂ[b/t~Tgj!Zesx^R >+)I'ly(BhѢ1[e½B?[w%B|ˢ~\*=aYmspɹNۦJ{Q30.r$~b.vO I 5r]|OɳT¡k+ƨNllrng֌-# )q{!mY;$5HQ5؋|H0*k))ppn)ܼ^T[{i2(~s j6}+C;9Ԗ4킁39!ZF/ iG%ޅ"9M`9<\\ zh2 ᾎf6CK^0bK>GXXp̫wP@Ws2yS= c@}9k,G9+;& KY)'<]ga!Y8Ek~<+z77cD#J-YR:XM7PEb$d5Ev(4$Kt77 [<F` Mfae]O (X [ wE|Mk|VA]!:yI$sBTsХ1*q8K ~;щ}Oֆ^]s4[zO1P&rckgI~2 [HGugj t%bir0 dܒkuBCept5[ܦw) 2V!Xtz\2R@IBޓ- a6iqj2cBWZRVѾ8j#lݕ4G7.c ')<>)驉Og>W 6$3h>呣ٰ r`MBc9:ZʌiM)dn=.Cif,oZy\!BIquLp$1{4C٤P-e1g)e A'vnsqlPE4>&5 }#_J=tj ) o)PԞ2B!AY,.;V4FǢHTb+(sXJ k"BoMV$9ce=YxK /۔?-)GpJ֫tF& فxi Gm)k !_lXAߑFZ݌<ꬮSTjFG,ACOhaX#%xKs 9?̂!+ͼ=Oﲎ t]$$OFt(JƒxyQ~}^ߵd@2#xKyɛFNqRPghޯOettT _\jh]$ߎڬy"V~?ъ9;T03/Zj)6/ibib?aq/) [i DHp9?Խ/0` #Ţe=4S j)xa-9+zO}~yG@j-3]$:% pHL ~ _O ȇ7oцͮoLIL[Zg\S i'\='uO>wfnQN kmXz0%rNS}iY.w LͼK0if:0Rt@YB=Gٔ nQĕ9T 9ϓQ[Q%>~¸k͊Σ1#pd I䦏;<#e>L,e^UeTl>[* 0EŰf"#:r'~MAmaIvL'({`櫎`{IK i(7.>8ʱ7NT2_0ōbܙe)P L5X?NG_\ k=4Cxu($iC/ 7 ٘Zin۔?I Kq%G{ds#sKwҶa 4Xq@'C|KOd-q=)oYr2 FђR~]'bB h{yc/2lr1‚t\2l?НY-_^RN7,z~u7sQp8܃}u:Q%xvGvut[0}VlPҹ7ten\_b;4mwQQb,,$BulSmJ~'}?Aʩoۈ9b31#St(!pNdpuS*=UTS(;b9*Y'0?KE&b"-"h)'oE`ZqP8N3E1H\'s Y FZgjż4R\z@U.EO ܙ7c-t +WWtKN\Hz0Cڊ9wu+:0%R8 6ldiR4ܓg LhhG}TWʙ*;NVih@\Z4}Q6gMGlB!kv}%jb& {ĸO twSu 0@BnTZA\v[ y{|Qk~ |=x][w{%b[~N%$~W-}xqQ=Iݿk'_lO,;$G P (TAuy9䭝ܗBդmB-g.Y[eV\\)|&!&oHM#h8oJi:|uo]6*Ȍ [^i96ImUm(;/+I~ $tCa_?Yc:A7f#3"w3#}:cӵޒAtrj7[RfY\ʶ \^Lj1? "&Ɇ9F|E9yŷ};Āⱔ0yU+o؅lm g6[/>Fh?|d& ,Ywaafp8"+ڳy:.]d*t=AbSܬcLzNR [uaG^rg4.,߇a 4A]?|F4d.;62 wm.-( =n^ U.@ ଇ`#;Jo0Ṁ@WI,Q d.đs}X!o Gx~FTX_'it5~1& au*@ﲠ^A%0ZtoXRBo2ߴVf^ꤧJzxc]䍁'qESvadMشUJKM/$rȗ{)#=a90d1 hD>%8vWGXcM,|4&Q M`߇"hm.-NӥUسҩ1I'`/H_$19 /P)B`?*~.mwV\@UY I{вuݙV d]û,=Ө3 XED ?ɋpVI StϾcĀHդae`;6}%}Yp5U(s,+|4዆E]ef!};"MW 9: ҟ}ќT":53FfG:;/ V qS~_(T]!ub[k1(R>YccS بlxא/V)M^\}}zv Ȏ]uͪ2(iDZ+P` (9ݢS@kd9=^ȝt @/`J5(z 4V8qO4Y&McGf OG}pXA }VD7 Wec5]MPBV%':R.G_̍:n* Ϗzwr#M3zauHZ*EAdp1QW F4.n>ZcK`.ݹ9N8Q@8(mJQ?x𔯿8#D?X^gCH5SBľx@ݑbh 7m>^Q'7u]zW\+#])ǞP`f+{ wޥ;)=łBg`R{Mtbt\OtsƆk$1J-#Y78Tw`VOojմW5o͂/S3PՄS\ YJr2Y$o{ZSᶺׂ"njD"HfL|@d>8CL࣢ sZi̍UPƣL] <])P=blr"Qי4,8SrXq6{84)+ċ, $}'}ͬsW9FjXQft;_ƜV)PBv?:b3d&GSJ*%㝤oZdA ?9q? K˥Tɶ'$ :}ߡc@ZgwnE3 .Dszr o dh \R啠D:|mE ,DCwYFiwEH#`O'j 12H}`OvK}ROUyH@pиwHꛀZ۲mSe{8PpPϖ:Jiq`zuAЦ{ 0Oྣ|@(ׯsT5OKWX^OEȿ8⢅tXS@#pZ|.ج$+*WPWwni%[ plX{N"/maT5Sw2"̾Xr'=wOдУ/UKN B~OXJ%m} iMZLkUGRI.Z|8;DSu.zMXφ4pRaOijUtUL'܅Vq{'c!X &$){T- qnP,ēKrgUփDM'ZYgtlP(D!R+zVw'KLf u^b_ϙXmeEPKU5j=Pa&ue*CO,|qTbum5Za,9e B:$ȉ2at4L\upjgMK`դiESMUCtTq@Vr} /N./XZ`+Ӫ˥Br ,9>"oSmݨl|e [Þ%-\1Gtj-d קB@]-+%W;EQDRi-i(uY`Y!a[I\"0!ݚ1)`.9_hϤ+H!H0YkTbIN{rL͟ւ(0T hO\"a TQ;ϲq6.Viy*zi1F+&$bؓs!wޑtP9m!^⠆ta9o"GG"'ޠ'WONf,T.\/=f Aaj4/LlenkF$8Gs86QLr6XLG$"qPd!Shhat5X]klrSeyAO qiVWҕGF$VƉH:>m\P!# XlN2(WYp BmZLYU*C3hՋ`._ K\h ?{WL2BoI+$dFe&4.YATvTz:(mP،:PMFV3J초^rRin <+;6%24'?c*d*fI ~Nm6ZPBIuDFl<@m,֢H\+="<:+vxkJT*򟃢֝I}q,bo"2 je PGaLK)1 l3oP'z*3 \ ;՘XF?Z)Ӹ*ʋBφw` `UMg;ޝݔ9!{笟Wo<Ìt8tlwDΈ55HSa"2G3 @FB(iG]ޜj̶ߣ%tYߩTz;"2eߗjo%1Յ0H L|By1t@F̐X`@%L(Kbsy v粉3u"`l#ԉA ~ vu64]̞xtna 2F&W7@iV\]PYt-ŊLT]AN;kjFf Ϗ뮰D yuJ*Rи0 ^ _WBuKOنUb9Zv6@#L` fdZ\ibʿS ek|=mVU H˸6D{)|jb@VS EqХ o%C,w*"_6/0^kR ]d!7?ZЊ{D} / mW.Nl@~B.=x=L??C M}Ե.{5]'zPFp$H ؼ0G%C ao2TvamWɾqٲ 著1Et.i#̂c nX$@OVTιj0T!E>5 ^T@78:ʦءkxkYjM^ԏ%z4ȒOt2YXUU ^ 3t孓Z*lB 7UYtwQ!)2w2f'x$Wh4O;~Obƅ5*.SĤ=ZGRzX.{6VwnP!)1)KʛdKoJ?N(.v0H]n{S|.9 2z:Ӊ}I^6(s5Vt ϑ!o~?4~Dߨ uC{M3; E18UJvURʾ);hZ􈶁$#E:;9  O 2Q(1:2/ [zFyzӌl]xIhIO'L;Oе#HQeU ,&UyL@=@]9IQ݌Jwݟc{+~MM[aYBqSƿFhX0'Rҙs(@] 堛O5ce`fM- 4$[]Mbx#Uk{Fo g|+5?ܟ̷\#+}Yѽ*: ş(]7"IG0/k2"X~& N e ˜^cO#"q1?66g FbhKbϫpҥq2e hh$OzvK~xc bn5̑8M={~P[#:HBU/6*C͌Et~ @(>b3BT]1 1]qzw$AI-4nTeʹCL1ykqym͗jV}duC^ݹ&NFi`X9YL V1Vwľ!+Uɖ cwdsPGr*_:IUUGAqQ´ vHS>./w62J<=._Fq90mN)we!`.1Q.n:2LLfЎ&gYZ- \*9U17"Πh̓)Bw \nn%'+Xks'QKnCM&_KBYa^q. s՜K$+ƭyQ,rbbTQDrZm DZtJNHhbH,ۛD%k|vz}?=4]>b 2j yL΁p#c닜wؒƄ1"ВytS˝Gl~nc? (Eҡs"r-Q~h^OVZd o{BOOz\{?KltAq6⟈?~!]b0$5E 4ol9!Ų͚ҫA`H y.6 6,JC Yf-@&l W  BI dt;w`E+T\[x]y$z 9AY/.;<bwsaG%]rj{܃G6@-cxNn.O 줱:4;feiF#>#K\xr# _L<$Aj#Ys|v3"}34:|=cNu>\XX9r>ع|FjFX]bcޢ\QY L<+Z=(F "]`'u$^IpbA;=a/usTkSd&˥-tj6 S}}PM \]ߞZPK`hqx᰹4'cŰ1hzqb g4AӉ$.=_}p 2T>pԥ@(d^qRHBu@, V^Q'׾{>ģ[g0ү{aF&\ /L!f>?L7dȋ 3ƪnx$låy-V$AT{ΐv;3ɮnNmaQBhJҮ[ɧ1"2$T>&hV%.;o~xn[˧3_Ҙ뉦#ER8jzGdϢtq̂ 4)z's&0XSc@ Gtp>I^-{0ٰڂ,mض^k ?rܑJb60EA]w{T!vD;>AExY?2i W@IީE=k)CG" ,D0vf?knD&씥6cpɷb̠%kjq y1OOG=rFS?T,@E:=DRl"ܗ~ BZ$k71z#WC{W`v~Qwڄ\Q|>+6qbPɬ W8t׏1eכ-jM޳+ΜY ˠ'V{j1 <B8ߤV Ӑa0_`Yq~DNnxՏܵ\ti u e$CZ}AT/D)I7yz-NS+?NHNj!Fdk"L_,|po meA{'$FQd/>fب$*@!;;=U&W-wᩈ{SFCQ_8bSȻ.>X{ށc߂ӏs"Xx'Ƴ˝DԀۛq{ wHQ yrgWNMJ-o6W_x_GOʆׄ}0.e.Dˋ1J^7gINCJv?OjSzI,]~O۸ 9_\retUOݔaMbVYŋѷ`@뷽'mvhvRH|?\\}YQgMBVa l6u]hA>K[[氳\/j2%4 Ԥ5iH>,"Ba^f06o>;>T>n,gE~"&hOb 2a$<, h%ש){.Ȱ9M^ʦ#QL1{ SN/&.5y2}HGILǛ9is ;Vܲ$.*VloQ2i4=7m ҌbWlxM0EmʓPػ_>=(3*t=+hK]U-O?_ԯi4Dޅ>tmߝ< XEa>CUe!20NHCjH7zбXPCuE&HvNy)Gd5>5'~#}{5 ܡO崆CXI͖ e G9aա\;⧚ PŲ+v[_nJ5>HDc0AN_+Q"Y5y_Ni~Pgp24P^S!J~)9 ` X⯦" r tY;VHB3|Jri#CYY:V$ ܹE\&iK(4}ӎ-Egct 8>^**F`[O}^{՝Fn[ VśJi2 驢7u!0v@sFY{F;҂mc]UΆcMnSVME ! jhM=1J* 3M<߄2ڴ҂4ogr$Z8N0Hَ €j|J-7D#X[#ڟM<"0)u:Rc4!dƃasP0ʻLZM. fӡL)r/mt !axP]nS ˽d8g&fp a!fPkBR7Q "]@sxkZ?*A'kɡ7q=zEa43z3W˘J)8kxVGez}2U}љ)7~;OUS DN)^ _XCy.4x9W5C,|lLo;ؑq0.hǥpdֵݴs \$r(~o:R9Wʠ (]EQp\ިKM9 9/d=xz99f^|@k -^s  9P}&Jpנ |A:JP#ȼabk,sc8S/yg08̊iiSXzVti3s;秓ùWӫH؀Iy.Xr 7m 23j. \ ]MzxYlZKQ:lʨ >!x>* wcG|OvM-Jɸ~̐הU'y׽"K zƀzTQS0(W Q"I %H#  gb^+PY!Upi"nJ^|fDfat*zL~oPʁIEL$gx7?5Md@A#Oc![b@Vu_&/A ʙt^p:N/N̝A|)2/ Wy¡=u#jͧxq y݀}%0XQsd묬V'H}|~Dm:AdD$@Oj@@t 6$@!{lKvv-Өnymu?j2%\캝+]یq3}p̵!І)a ƒ n2Wz%d@/& ܯ'dX*Zd,EΉ:>6$)(/(^72XaTHnzQWo 8g5 $j!W{ד׺g33Nמ=40=7= =,|>F'!0uy[SWs()Sf+!2 w'|V~h#Dh>_Dq̈́vVa⑄ghAi툇j1)V0S\}pA(: SѠ_+ -&{o^M QP.cL޼^U.PQ0]֖[@{DAUrʞC,x{PY4fZS5 噳"T߉Ȥ:lx`) 3e?@Tdʞv6plO.u>xFՎ/1U_/* \/>X<$C\AŽ6h5q%VSwapqk0 xek3٨09R~~A5l&BZƸXs 3SbAo>_5 v'QDHzs+89h :FDV+"d.O޺ %2չp{Ƀ?ѱ`o]a>G2 }hP mNz쨁|mƭj ' )LV|C&)^FRǒET X]p m/stA@&}J1KISl]SpQ;. u?C S;c@f!+zͳ;zPur!Wɶ~#;\%\Xt Ԓ)CgxopIγIE'R=LElYPMx!uR9s|F$<a)n'ѲS$b$\>)7iyL~m2ir aVACId<^37b1>b/ipq"W|qǘ/hia&2SHpAynJw+ gD ՙ. = /{Rȃb]\*׸BO_+(}4HUY{l׳e}d}۞̇=l;K3w831=Ô["Wsߵ[)e@2V8E.v={>sG8=kȨ!4RW0|B,)Zc90׉LJ4Ы߿t5'E YZ]xEާ;"d:_4QY嶤\Wl@Xy/I` hFQ8Rt7LAkU܇G4Q2 5ƴ&ȋql<#! 9?ZӼ7`!UZ`r6E䊁$H)^vd#BRڣqUWݷt4xt+ٵ˟}3g b&="gj,?Wz(rvPMVE|ƞ/-9'm9hF~.PO7+nMh$R7kJEH乜>"/n@YUx(>@E9 @[y6YEg;C`'Zͦn2wr4@lħߺayzې^SDʉ [NA/O" <dž)l޳ ZEJ[o<70k;M_MBrᬍԇjdZ <3ĬK%08ZyQko6"dɿG[w &b^{ӛk9N1/3Yez $fꓐfBn6B I< F@HHZ/ *n*x^'N R 32Jlc3ܢeBgBu!̸Ynq =MHcurHgv^~2*{l—9>L-Dմ6P޿p#Aل?J:Y|@{|eE爷R6=HyoIMIA^Ch C;pkb8 r<ۓ},g+P+P'^[jWc縚t+  h . lK&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ׁ-UZ%Xap r`ݢ yX8qLGlY>nH՘}*ۜؑ"(HXa]VE CK45WȟYgZYG;dsᤸ*jrV bݵbNUEJ 4^ Mܧ W9E.m$1lF9̝5%,)2˔r7jӨ"MGgYZ>#9# $ZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! iK] !M젗OFOJZgׅa4u:̓?k=Ѩu[6'4^6#&#"FQbY6GMLt Qq <2*ZSѿGatkN؃s(Xm$To)(Tˡ93/&vMT9dUaUd"/DU0gvQчίq2ab1Wk~|9\ ҿ1M,f=#öLAj\z?uD %"U*`Bmy3B/"A`BNɞYj4گL ShP~Cհ^ -qHqs|ADF ZQ1N,8qRxdVri] {V{DfcN}(,ZT!b~gczAa&\m?x ~ߕ lf+2uZ4'CEK$ߡlyRf7ImկȨ[@kYqW% `s[&V$?D0\gij ˂](WKى+௃-~uulZZ|MyqK1E4?hzALDL l~tOQƎVC,X-vk m.:IF)>FZ:aWdNY?WPQ,I3nA!̅ߛԸGwGJvO p(6_0a th|ϒǽٕӉiFk=+dnL?w0˝x?eԘɞS-?eo,3n% H*c/~ț2.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' \ZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+&]·Iq n[:|&[zEWzloT%2@OuGֶ櫆bDV5.ʞ5d#׶Sb$"DF)?<7ːԴl]JUm\7H0uٗ M`-Dx GLD6 "gQ:( )WߣvvH[B;=K|>UĎ5d9y^!nyPhX7T̾ncV|vBttw-u@M2ٚ'@ IKPUg-{_&,L1dl`\~ٟm9(1A |o[7yph!)8W&|Tj..p|X .cStwttlnWV:됮9-3'aQ{c]c^L Qm]ً Gߒf>r@g&{C%I%2 :8r.}3/' ӕ\V;c7]"QKnҌƒdg!gI4avht`ie1bT\}Bm}/P#Zusƽ=&k}A 7٣.v\{BYS,Ǔ=ECo_ o &Eg.PF_(S{4L^[pRS}^GV9%Gt(U`2i!6}1tK0j)/Z VCW 48hAV&yZYrl]kB{E7oMWhLk*ALB]ԩh!] N(|lࣅr'l-)'r(*HJ`3Uáxv?p@7eP\ FG#'wΊ&ˋ `$+g^CͿn&glΗ[{x=Uxܝֶ3 dij'Ֆb&;:[*RLw\$4Sx|`3X%~tH!{@W9BI<%yn^3Kw]<;GҕOe^ gEK]wT-$$BQG/ Af||$4LImy(zNꑵ[)3|Np*ܑm_@)F!Pt>лƮ"+s'zuH&]1nO-A'P_,B"9hvhw76A{?vP V1P_`Tm[9~#81") :ehH۸ nb$6 ha7MDكVbOvЊND1:Ȑ :(Q'xp={8p#h,oPd=uJIN8x7iB+5gcL(ƭNz@zG<ŅOi%,M1J\ODjȗ DA-n6EHuYd=b;]L9iFTX#䄿~HU.H_0lD{r)t3\mShڷڐ.#M8)aEVoyhy |xLlPl`AC|j V!hW=^i96z [[ ؛>luoGK ʯ@fDAoGL ֚0W4 ~1x;y6yS /SElI7He+W'Yh苽w{Y (N * f$&7dr&O%J}<llUyl  Ǯ%@+a@Qi!a/ .gb=_)xIG}L1&4ȾWTJnժ6 L8#\ɖ[w]Es"E}azxSOAқs LpkcK()frqwGN7=ִXm %r'p̾u<{%&-Jb;&m~}צͿ){̮fsҍKR 9FM9Ay<ʝ 0E*|.xej`&. kC^yvEٓb#~=*'3 6$ Ron ^Բ1N xܿDcVswC5,ΜB3y7x H-xi/}X(DD[9R~/kĔƊᩄD?Cip0M( QsmhK'fUӜ>H4UB@lB~@{' 5xaYK䁊KʯC{H&Ndv wQ܇/.(TEď&!=&ۛ_#bsxGE^M7Oh_U{rIh.& |(gYZ B~HG*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UM]·Iq n[:|&[zׂ<61HTdO=hY@B&@u Sg,E7NRDuf eZݱY`a~ ^] p,䚘y-[2%PQp"cC݌Ӟ #]ر9νk=n7X.w~ooEDbLfTVS89$~Zߒ-.b/ #_c'!ͮ^A陵'3$˦u\,Ό[ @N#k{ bߝ͵  oʹlÅJ@t7lxǩgYZ;'3# $ZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF! െ L] !M젗OFOJZgׅQotK~0KjͺA#bɾD6:HcQ?RXC|m_aB2Bnb&Ę֦˗A 艉4`zQ,p0f9z$Y?Un@2 K w`DYdk͐!olu 9͒<7f%ֳ$< .8pL{<*R['_P> Gl*鯁ege0cx=fWůx4MR Oi A)]~Z`+*<Ϛ^;'3+V+J 5q8I,G@5Zq#ThɇWETTgKDrO٠ _ "FozCpPF n(PV,>ޭz;ܷl|3}f+*u+8Cr 3Vs'tM%f֡ ag}?*:IŌ>iv\ xIA2Ŕ*x+AoFvp tø!6 $. AVYAp5vo׃NL 7y8qՔ996bME;IarL|M3H"dc^kHyv|BAAt\ yŭ*:Y?-ox,͍H=G1U2;YcIwdOuHd3TW|5?o@LjY=RjyK$.>'@ٮQz!"5qP} o`68ċzr`.3lUCɜa8(vL* Q$ ڳ% 3)Tt RJSR(ooe-K Tr)(7~!\G|Bl~ɄƮ*{RP.\00p),_\ﰭV咸~ȫGp#N@íH&`8,I!*u0toeY֬n_1 +<]J`˯ YEҢWH t`Cy7&^dzT<8.m.@잀 "]^;iPF328VB\XZ< K;w.< NJ$*#8>Ԁ`5 ;;]DLRUX3xq4n{`Ǿ*73<=#Qh,aiT~$@F@qM!ːsHjzXH.m~eR)yi/]ի*DҖSÆs/hJLn8S%ncb(NcިN=Ho#pYܨ ?m^Vt3eRuvUzt`CۨSA1GwmGMoc{j"~(\kܫg6}AJ< f|Y{}zogܬ1~&0ã)̢ ėH?`gDEQc=+ i vkʃГ=׿0k~ `NQr6*{m?pԹO &@po1 1.j? z22E PkbnVߨC t#J I ]iJ߶UBs%ȋ+W2Q%LⒺW7xk`fV3 LCTꝋ%_ʘWmLzMܸĺ:xO!̗Ґ剉 0G3:RXUYXR/$MKѪ޻$15!41|D~|22;4&f~(Q1gYZ DD9+/# $ZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! ?L] !M젗OFOJZgׅ`VD: p<#U /X,Kf`\x=-~Ơ!+If 5vwe}4i tXqK\h#uH[ TT4Wg7un!Adbܳ (LM{Ju4-h=;LЪ?xH|#IVGȥ!0"dįQm+S0 9^u9"$C)4 ͬݔܩKOw8,b22)Dx+7O5A_8g<_`J^8C-ck)<zЃ gƔjb'"ܼXT,Ƒk?`!޹0 T(/(v3nDC$-Le~φCS]{L.XS=i??U0VQXW࣮$yk[K~-ꋎ*:]N "SS>N=A`(kˤt&}5T,vzyd,Cq>"WzˬQ?cWӞ 4D{iҺ[izc=dծlh^; 5uI$bZJ/{גKf1.? l;֑ 0L;KsHl @=t#O@FH%M1Jq*ՖfnJtKyNb}`R{,FZzqd$;I??tnd15t dE %̀ 3q8>z,@tv/Lge g)[AVKĴ~y+!x,߼< Gp-G3Jm./ Y-F,&'Cv=I@juTRV;c=CXᮕ!UX)N7rU7)р2&.@A˜"xjn?"ϿD@[gZf~cᅰn>a!Eu #te$lԩQ;oQBm"CB7}ĸ-Q ; `흠m޶F |B#gp#p8MIQ VpF&ZIm"!dk˞)OT]~;hN9 $1hɧ$)zBtVn\ ]wj*xteZMjLW֐R%0A͒g6Wʮ5A*x# F@rB{!M 1 ڥ+z9cyILW"a"Fac7_!x?lUגJ>`+jz­˪%QrDOm7.ϫ {/KgwM'rY+DlLWc}#|ۍ\$2U;UvtƃGS4=]>,DWs%R*7Mw =0zST3^MBHUB}3+;:ioV.^ \rPijt.IW>D5Zb?t٦~ B$*Y$}Tм.y$u8OR5qg-e/䬢m3nn@vuEaz*_],S]t63.4y*I&OՒP$P܏m , M86nv+LtFۚW_@q]-|-A КjD̦6*4ܓvE)Xd%B.6K1Œ3tN$hZ þ[+YHʜ.!òSqZ ɼF _]2 s%f6V\wrg/MDMvI6ޗ8elJU80Y${="KQ &_dnV.2ŃSweʗe./e3uofǺOqy\ѳ.詈/bArH+Cz.;?X&zFg[!n9O_}YAYצb dhy֓3diw+\~7jQۦqHA vaykiR_w*ʍ~:}oLpdd cu^<+?bYR{54stWBa^W٠ڲ`ģ应&0׊(<]B~OF~8Ԥ1KK\v5SE ܸUnL 7}ǯ1Z [:u)'b/FysgpeS!}9]3Yps>TUϐ4(F+ނTe(DK,"?Z-`ь.I@9Tt*6rLEزnS?atb86H(4VG<39f8rmq.DM/aD8GpJJB HM3mv_q0@;YnZYY۞0NqNFgV4y7d(CB] cs܇`9&"r:[^]| hĂ'cs333PHF;$aw'Je@b'_50,3R278dж}knUu`^".ij J8w:咋yu4 >9BD3b]531 F٣x6Tm)# ^بU֯`!.$c,(a_T ?NنF .Я`v+_od"+gN?4KA`|j4Kw:k[{ Kf|Ue lj`me_/﹢a['s̈́ @-2#QE) 7!mn^iig|JVxδ, KBğƈ`VًKwQǍť|xj0Z{pZ0NypzT"j'dvR9"orsj7=ATY <\Hn˜@Q,]B]Wu10&VF:Н +'S M*o d7Ą=m=%<উ5Y*@(S49F@Jrפ-yKx"fK qӔM_ޭ|FW@V!t~ղ}7vNnI^?Z3%bZpء4+SE߶gdz94܂EU${ڊUԖLh/e}C }YwYm\n</ \5T @uFP?4e|ϊvcd,y0cihuXzq[p1ZŒ{kcLYF/m ٯN1 \p=$L\gfعidE3ƣr5ۘ_R@8_YY\l*2J)NjĞ<\s&*>3 Hp3-o"=]m]"2]O ~F3j"&i;nv%BU$}=No_D8QVZg䟖gT' n"wj@CPc͵DbO M'Oۂo㎕팊ñgYZ B / /# dZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! k;] !M젗OFOJZgׅ–A=֑g:aʓJ:KO@`F+f;ׁ$O>NiH7 a*ۛPh-B ۩tѧݍr,|[xOS0@= kdeDžR:16FyqTjK?3LI/dDY3atI <fb :M(r@;)Gm,vEmpUA8x} OS4k؋nfpDZegD́OSqIV y-Ib5?^1Ɲ߭!e8i7ar@ׯ\!AtYGMQlJmx.H]Ѐ9jAeIхc~VsH+ 7g"žBQ5y* U3m[6?;{WԩMChGћx8h sI+ Dz=|HMZ_vHM=0D"éTF.*hwoa3u[7SL8Qz][Kb49lK ?$5ghBň.a 9u(&S6%{CʶLn @j(&0>b)i[XOZӄ>Z~.Qk=p=a(z_oWwN'CtDW 1`:Te h!d@v\}UG&%./a68 ^7 {,,]SsXWAlbNÃDP$X$s pلUY] Ec,/2v-3x=,pI<4syǫ^6W%ز&}@Q0A;C+a+"i<]xø7uCwǸ S|{X F7H@RSJ } qH&5y/m4{Y :?>IޜesZjGQ[P55]:z 'HPo=n;^&PnW:(p' r=1 JUzbQF=6<.:0\Z Zoغqޫyֆ8ڕbl=Rc`B E3d&6F(~&ÉL STVshomhLtk^S̃'v>* cT* RD к෋ RQ$"] 4wRগ'ЛJή+yoy{ukɚW\5!* !ܗt3 і9._˜)ƒjgc7`Ƨ|m۱GŻ 5m|L_x`_ʢTarfSK+q IɳO+?xd(zDdRc}R% wuޙ$<^R*u@W2#xt\tWTj!/ ]r@u= /~뉕g<B"r({* 5%P\t<GznfZքen(R>> /MZIygm8!+ݠ6w=/M,- |N?UnLs'ҞDV߻|r ioy7=2c޾w4M"OUT[&)?/ onq ;g_Jg'm߭iz(>T:|+o5Z̺:sdlW9Vt/@RБӓ#{ő*ȳ>4WJ3D+>A4RĿߑPZ$)tH|CWIz9t]@vG]IU0jQӗlB[ KXH#3i_zPo +fܽiσl |`WYv{ȱl4}v^ݒ&ΐrck4%hZXA}9[(hkf?-_̫f~=m4?P>o=RgTܱI ic< gj|^y,{:TbC,aO̔"% Δf'kfZCY?7Fgs 'ފYK_BMkdoF" bV16gSYQ:|38hղd 5=>LrZ\M|t\Tk@Q3oL/ElNcb)gÏb y"s\$I z~)-tJ"STvꯇo554n+ykwWANȎyC7YgYZ3 #Jê~ݯЋk*{ʺz ))IiP`~ -v4P"䇅Z[7%񿢮 VB 'FwG,7plDeU'j*Fe8yyPÚ$*`}d"LvI>_}WF t]_i}EsYYuƶ0NI=_f͌D`|vUnfp.!^{G<]Ri8[0*R@VH(ԓC&jmސg,px:4BU66޸]`m hoTdo K s1J=ǣ+W_u̿zbCX!Tqqb00KsR2dΊrʜ&W:+#8x)h@ "+pUq# fg86Ѽ \s>v9e% LK)z9K#+c{8B9߶ù& ie !ʱjXӾuy60m:U>Zh=a$ըAoCpaRh.rSuTi%+:JHIE|vh(LD?mKƻ\:R]mz9^@>,GOu5c:yp@.%BiN1fS5f-@j-`)"vȬe"Jp)[Ш֢_7ؚ,rbu21JhU$e}ߩ4"հց!41I أxC XrGPx\6+( aL_z7;I:ñm0G"- #]|(pC2eH?ESn> \p J0D܉Eߑ,M:'{P"wӜ F۩~I \dؼ|݉a@kg} a,ROj{qSr0F?nJ%Gk"ܵb,bCdr/"I&_Fr PiQH8CfP3ǀPzv?|y?6yG՛o}gH8-99%XۙF;!^iLFLm!NãΏutZ]/26+NM0?-$č7aj3]pshjR,l<)_"M44hLؼsoyQ[;^bG@IB2yK .jF^x! ws:xyCoNYu<׉د5018k6$:TU[V1OFLufʅ}S'ԾpFl2,axuCWJG ("Q tm=O5 ɔ=HX2 f':-{*gUvg_ 1p4+‘Vo u Aƻ/аWn36\YB"} ZJũ|]#βn巃{FnjU*Z#kA* r!iPo<|=mgQ!sϒxutz{|u!wGvx^7-k>\ _IS%?!ї5:hhJ Rm숗T@wY&p|y_{碰FUi6.{okQb[hL]E85 4o+Z)ܭڤTӴ" 7,!pϪ Zk$p'-kRA >޸h!/mm)'C-xL:RC+I&$n.sS! ܕ`5OLo`&|H^lQBxPr &Vwe@TJ4NAMl$H4<I/)nc%;~+&%dQӕmg еTR63VVLLd[uu8TK= c z@`u RyJ&_*fF Tjin_s:1$BQ3 0ocu#:&Rbi%eg4@I px,p#"m0t~56T#T(/aǝˆ>Shib\< c0zDwR^֭ڋfFePQ(1mZYzr*2tvm: wg6BTC\W {rBX`[,-'ٔ1n_*zBQ{'#IsGVEjWy';UNAd 8\ 8k2Owk/GKGש.t HF_OnMzH'r|qYi [=i k #1D<9jȝiy1J|C7c+s`bmp8va7bEn~^ukVm5ްhn&]i788cB.W+>bp&W})H9S=`mQInvOPP KqG1wU;8IXLL?_d+FA?Pmof[o9)fm eK]QL;bǁaTdhY?SR:kB\L+#EͤTvM-<Hǁ΍ ,974 w< +̃:2 )Nzcx=#0R,ʻwc 5w:vԥk6D~l|OGL<)ԊiC &,?VC`ph~4zO)+@d?nae-]z2[;*| 2@ΊCTF Q8y5;Q&67hiZ15t_w_tl k ' a83EU*/o7l` E$ҧgn*%|>*y׈ +f'8YaycDpwyʐSxoo}ok/ 1:~=MOR2j<Ҷ^[#0 g猐"ɔ1zHt˫ D6fxF@|ɗC`5TVR{N9885JsRR [X+qN0Jtb7RY7sAG>Y19MOVS9C23_$ZX!Ξw7["?If{>$&0.M cT/v8w{| ENA~սq8I %MiҮ ; DlGEHmgK*Y?S2dF+<-Xs$~ >@9k#}jTOj}u`W jl'~Nus\|T+޸R HYUǺ]}ܤQmCjs١ ,!ha N.*֬;$SӇP?̄\lIlcwRھ:0㫪w%KOX314 '" YpG]dk^2aAGKg[X=Фܜ_'`$5/w:A*n^!l@vIM_'ȝixy˥M~ nvr tf?b[E$| ܖ2>I_Տ6eHmdsrBW\rTݝ{ %IÙBdh"6,}4T'$ PI5=4Nu^fA'\BU\2<,{ ivA mELilwh0|ЀR\;ǘS Z[ oLO\툥{xkWlN,)vkz4(rLBX_5%9?/:md+^3kUˎm<ߣrC#>y~^QoFFiO2yIZёDO:qm;br.E[>z[*܋rYZB},P]#FLu(e5uro!孬NdQoBHȩmp$U|s(备ir%HXpMCPaW4zI-G~} 'cEmY|2n> "Sy 4߱ -Eg%n*8ʏWc>Joe?/k3ýsMK3eפ!QcoMw_$wA=ݷO!lp~ܺޒ5AhTu$7 1W6%n7<^`q,%e =UQ)ԨIU ÕԡhbJޒh6&㊴'j ı=6?’h8.%/-w9:J2t(!&[~4IxY<&Ϡ/9 ?9/JyD̖"DݒLU"}!Gkr'ʻ;]V Vj^.Y./J0NNм`&_E|0޽01vpzS*I yCbR^dk\x~ғ =ݫCԼY6?J7@>}p1<1x J),)ǒ<0Gŏ*]>>"V쭚EW# !sȊQ4%DL]7+>F4WNV X+8һ SGHzbFGqS[0@,K#Wźg,gM&6_ʈ蹉W'&/)Mn|TЖ ;^^d[+s "=0HA\A̸۾0J' %f.2Ax.$1myl3\9(ҲYW nWyzyf~UadV71[0Ӓw^ы*گ-)T crt#.#Mbڂq֖G渾ݍ (G-ٱ+oe3o||?WFu (_2΂{KZv5'qV lA2Ru䇺zː\J 0U *6aM.p`)X{qn H6Cmn3*zʰ9~B$,V ]\8K1 ݅)$';(oFyMCg\d}N8dMu+jϽi&9U ]/LoDb('omb5Q9(pʼnh[Qe6ӍO}n )29iJSy3.o Æ蓊ww+nnz Aj8` H]9Ȯ E`TDf Nz09;?r YiJԣu'*giҚyuy@e4 7un PTVPH- ?Ў` rfeÓb! VG/ɻ7I $D%MIZl0#fƧ;WeAdNA'heF`xr3R *58?X[d"#twϩ  vf/C{GTȇi+n;E`ϼWՊR8Mi;%׿ oP_ѭ|*Qې+Ex6q? 4J;sl  F]eݡUI(;4ddAø#UT5+ L6q^Jr_?@4ǤA$`oΔ8Q*VG.B9bk<(% u7(Jq= [Z PdJ[A_ܣBSۧe*p{elҎ/$o8/ܒ4CHHVǞc?}N7(lx<$wsv:WqO'UcD'iwE[n v!rc`L)*A˚fMJcHQIq0&4uTfVznB i]u}\2"MHKcPy[+砜,u~Q1Z5mX1I~Kǩ 5o $HHUqAL_,|y</~ /B2?T`lMڠ!Ɩ(>ް23F^|;iz&B@TMfW3 wu#ZjNJX>fVvAŸ,kק4d0R S"d8bH3d(T.b|9-t?kFݢ>T=[C43Ʌ$L9ҷ: `}H .nt펨Uw^X*1\^-WNrD^cr%`1,rh;빫L6/Yv՝m>uJ5*"3g8xЂcZ- ܠNjea;yA⭇9lݠ2I 1Sy7ǡ[s&.u`Hh1`]݅ȸmWpW% Ecބ *~| }#iXcה:ޏQ5^)`q.?8D:52ƹ=?DժY]A#Ө·+E51ۑg9|MlU$:e7(p7ϨhcP-̀nO'ŲÛ}JA?RT9jmcƧu/&@Q깻sCռX\.bdjɬ'Yg28CC TL`0`Oyty")Wsʟ<i7yDX.:GgwxrJcʨ[MYSAOV[Za R@ʸ=s늁v7nQT X{j3/?1'!A[õW˒ݹpI:&0/`NϷ,4(Kl'@ !%@?kH"L=(!R/o;2H>i?!Frϥl.. 7|M0+Q_R;gҘY-SfzpѭR54e0/0PS7٬3+A X["ğ:Ӌ6n>gSIT:Feo?2t$ b;0zhEd}|qaXi+%4GX4*uc$k]Oڢw cֵB1hn;DPA (.^ ni3hKS?>ltgqdJ1dc\u,{|C.DwlZWfB)g rjGWab[_cc5X,%6} rOTزWl}窞{̦β7\O&[K"ʹ,hA; 4.9n#_Ɨ`d|Np6KUlWH*⑎LL@<\R:SVQ@2EtsP`@Kp1L8iȜX؋ېB7IXTzuF_71crf]٘Q Mdf]k !I;h7YpBzކVTt4ySHvT/Igê AԣMЖ=StlIzX{0~NU1Cpf0h9H6+5^QM2$_P@ZtEj9.K4͎T6P ?}qGF˾3دd]rk8ӹZNxoR)ul I9ؚލՋ5+^$~tǐՇXe'Z,kur$Or:\gU=pN*R߃ b!A'lU`f7Rǘ$qقcgF ZDx,81dCړ NI*yz>u^2¢L;h&[ǫQy-moKnx*|C30#el~%i#A]"4n1ޑZLj} ^/oA8z"F3EZi#)wlNJ_)-|yCOs-z}M]aCW^m1yd+lTVl ȑ@D#fa ΂Yeݍ`֟~'h #\0Vo E $0ުY!~06 3",+J_ltOn`E7ه\,}a5i :K UcDꌺ"lVמ`Jx d")^RϤ~}( NtvCs[w;! AD\gݷєH ^"dvI( qd@'Y}ҸEbgRQS[LBda*%1И-#! MUo״a':K$V2^'VlE-X;po[d%ϑB0% GIdsW5csA7~1̭~R ёrt\笟+&S;Fv0Gjyܴ|*W AP4DG,byL;-;E0SQHxLRc5d=F@7gϵK[8]B}D;$0Hr?TD!@놖{ؽJ|wY/*=@#* LqwJuDx{Y'UY"ӗvk-ĭhF:8Rx^%0 H"Ό91^X"ƤhO].<8u~_rt.;䵑lX- U#YVZԕ~_|"e" cm[Xx̛ͮ'ƕyqfP  (ẅp^+AY#AR1N:4$JY>9 :*PlByXv &G猄()86UFm*`}?oLKNhwrkʸ62{ߪגSŽ D z:41_? i5W$Ucc'FplD!wmہ01lMXoY^L>$'*%o;S<, (D֎GqjAZ g0G{[fJ$t- Q oBg7"˅2 .~.ojITzUaH\t +]E^~ۤ.I8(NSQeoZ/~SG;p}dH_ %gYZ7c١@#Pk&^.P SbWȡ:C,+S93?CjIsSPv7K?h!+Y*lKU!Z^$q5;gIG8+RYW\Ȋ;ALe-aE( z~ E`KYTȮ-瞈i$=a//(|Iķ *ԛ5law9hwc̛O^WmX^veLR!#|Xg;ѼjR$fHGr_QwCoCcYA4>lf7@, 4^/K*0ްh>]d4?Wi;? 7D2TΫP9'{ W΢ SOB :riI* ]o0s$em&N\NߘXo2X1e@=.W06Aߩ*1g_\H4s'eZZX)44*u w6v~v.|SOl_l$SGMBܚ#6?^ /*6:cಪC?LbVl7jg vVBZ8tOOD8 B,L!UrZTpA?vmۡݱرhҏZX7a > 㓚ovP?kfqCz]!tӃ?HJ* $8>fdɷ/ژ#B̶{䢣ZvHUlV9D(#ԽSqNҏY>Pa~m:4>O׮8JQ]~R$=դ2S Kӱ?$+a7c2;]gt8Gu7w",+ z ,Qe{ 9!lt G]#2+JAG:6 =ڗ fADJl 7 wkB3re``%אn):{S*b,Sc63iAHWel"TR4Wn9 3[5e2kzb%$rY1 5Pl̳UuxQ>M/n"` 1KzUfם1q1/!)~f*bn(3=`D}(Z+K?JH}`@lb3 SA ċ3ZpJ +b[mOx7!V*Nf;SG|?U9鉺Ki2+m;fB`LiCe _aN!UErC~z6-bdM%K%%եqwrAIW;F1غNq5_,6u^r <}ifpUπ8&ʽȟmcnǻw"j%+sK(lIt2HJ{-H=lT|;t6.uk?JZA|Uoh}(9V\Qܨek@kTZfa"JjZ4QÊiL>qF kA BZR)_@FR U{[ڈ.xTd*l c4]v>Ԙ!gp8OEܢX,Qj#jOXU66 C>8]Bl+xČhUG,Xj1^5D-!n#E]+ >AUc`[ϤuvnAqvhZaJ$ {%kmaJ'5z|4]BUK emd]߇Rsޖ+>ŵQӔ:jlS֝ڵ%S44]2d7;UYk1ZaNt*/+BY/p)LW `59&?VRrǴL`t[D$mc "O\p!úe㩍f٧L;^ ͞_?^Q+$Ρ/u5sN"OHVf  cTxǩ=*R OcTH'ULucNB $:Y ѝTf[Jge0*}5UFRg/7³@h=tZ0U_Pp\MO<ֽDZ 7O ctϏO쩸uY)gQ\hvE9Wc _ q'$\f9=D*OТ\kJ;֦dc@! J󤃬cm2q:̋A5 Ao_~@v%݂chPezmc AGmI ff }vd}԰ML-@$0u KJQ xs2gnڢ4v3OwD;G]< .`c} Fd#vbRx_oQIꌾ${(@;a?\ dğGJ5Z"+fqDmԢ,dv۲X?C5 gPnyO/ Un.&bfg"+t㳖~D8HKم+`_ٜck[dXRl; rU/m#| ls'Qr!Dzî~::S E&g#ZTRWg?xXbCk-vHL܋#;f2 _П"s>$*;kgN4~s$͚a$9* yH0"svZj[۠)yA_+*/ة0i6:WEO83H/8s& L*CJ N֤WvDk#FFM{0p*S^%J;ƾ ?ȇ(  (xJn2CE Y+=KGFg3UCKw)Tʱ9ru)oe+(t$3,q7%ߡ׹C*+*7$!n:bRzB#c IJPJVE6'ߟDY{Qr"멬ң4aH˕#,V1an.\18n%a 6--`ũu`ڄwkǥ; :OaNgsT'*U}1J9. ƴI 4־/=rNECxޙN2SoҝJ]&_AP܎±IHb6=aW?r3 zLGMgF)-<{n)7 S='ѯ|m5 )z,تSޮCHÅ6%*VkqvX ȠB[*3fP~>p<#]_tB7-A8MjF]T~G5n 30ogPs`jnjbgW1G9zDz b4 (Ba9*#ny$ŕ\l׭ BN?ML/*w~Jpߴ*vZy P8`i:^9^?:W9] JRvl΅T\TF8&|`MSv+ dD؋ wV%'#/c{Y/٭zpn50Ő([蘪7N3cڱF}= D6SXj6c_W܂,Ȑ{G[ ,VA !)_hxΪ:xejIٶ}Y5^ҞtkҌ 6t(̙aPn:!S AS`hbXA,.!SwV6GqNgM*[h^:&qx 57_]x, H$BzD| ʆj|N$»ŇL$*32+EYB%\N 5 vzNo{pON*8!l:ͱg{L 8Ɲ7)cF1U.a;|&}Lg&$&=B_dAi T= XOØ`Hm3_y/Qf5NQJԭ 2o|5Ց|p-|Y=Ecq4xvf* %; P{Nkq!!%?avC >!FOr] |*b*ih{ےo< )٥/z;-DSI0P~{|-}^r9Zͤy<--彭NB; V9f慽!V .3sϭlj{u9뭲C@lK%۝ uKaPjt:ܣdۑm-3QY2^ >{Vz_o'|R4]jZ4 Ai}WfYNa"Y=uaR B"n$~8DDG݁MȃgE$ǝq[+ND_46 tXB8C\pN934٧tLK,ɂd; h|<@kbivR׹H!=]TnNZiGtl!MK~ҦE@+nt,vuE| Ui߷c3BVqW23db8N,Z3Ub O2R#q@ {=^ukE^Gh\-9b iu"Jk4" :!UE!vZjQdhbਁ ភIa_3%v}mkmIeHې48ųߵ(r ;D@~;sl!.siw|&:W;Kb>\,ë8҅ך/NlQQ;;M NY.f9qzŪf+X1&j4aW..(4Ý]N9?t悪gan2$GƒI*$e9ρ_@+^^zJ+E+PBɸ Q^ NENqPWŖ cFIx7_;>*Up=:=D.b(zεԯڗ}~)x/^#͂\yN7m}Rpϼ<ℶ[8#:Q=NX9WUjQnrl 쯕9ܕ>*:z]ckcT+r,Ml58}\.r<=\pF|*Yeքa;ƤAmPj[N0nױgYZ f V # RfC:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104p8)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}_$Euv- LV u~j2NwSf ;w?mq[,D9Ϋb #Bj g]VE>b(U UFrp2kq8l/(#/XTzBBB$ͪ>c{ -Zl~ UPy>'+"}¼v-9z+W]qxN/eSjm /9Mퟘt$m;[1 H8UrgV\j@{t/ X@~Qdލ'ْ,ڿQj#S&1i#[C |@D @Lxe?Wc=E#e cHHI_|ZwNw&}u*|CZ[b]HxCX]_fWgOdP=nnb1+Jjg؉Kz/(M|/bū/)E&4pU6*[Y#j9f~ӏl ,_5*q׫uQ!w.g}*WMGBf";z:,(Fhc NOKO8-ߊN yFf씚Q@2gqNqA`oHr>ׇwA|1FeՔwW\8JMbR/CkKj$((`L]vO"y2YlCt:'IJ|C76W"ʗG7c"Á$h3.6hYYZ@0 od% ڕA/2ӁfA2 0 iǮc]qȭ:f*nfg(4}:%s\g=`2w\/1wŝ؊2h:4ʶDHs1`Ԫȱ!бX3fŁqv=$XyKjhǢvV4@ Sε[/ uPݍF: 8_*?jӸn߂[N{廱-^c5}ItL,+5ޱwwWQrW/sy* +d3"=X$۹ʩGjd^#rk+ fIwΜtϵ 77dacfcq46H=/]UZTtƻ *$ Œh${;c@=`)3$P~=7:$b]Ik[&:ESs_2iHۀY = 2E;?ҞJFR 5KGepl-x$kf  Q tEU:cm%[tTc*:hE?v jI641o LJRX*3bk4"&Hv꧐\mj6 s^;ϭ =Dڂl4VӧK$9s~\^r>J{5iM}J-҆ k9R 0[D麯Xv"B%#33]Xv8eIvا@]g?4U6lQ$2nX$O>WDC_ ґ8&p} ~c6yh#B0OlDCϿx`ЋE=ݘ+(m9A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112'4/' |ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N8]·Iq n[:|&[z|J3:#a_6(g/&/v}[ڲ;ihE=u=o:d{CtT7bp(j 3]u}_%;T䱗rnbdF``c$2iN&)<^q"-pbaS1]uC^DTv1OJ (;o:ZNqƹJr-wP}ok(g'Yl2٫SmVz͂Ǥ'q7m'kޤ{7Uԉ!/ X_1 iW{P%I'.-2pWujldKal!mK g^$f$-9bY2>!JDLk4I1q! Vg̰_aܣr RO׆J!W ]Ǟ>0)vN_C6 glq GM aM},:#~QA.Fzp *<{&'98/HtI(wmW4_}o&&b3 cyk=F<,5KBhB}wȨwʦc (;j$dxhW0d˴Njks^kJJ̍%4 v4oj,Be_)EVc{|ɠoїj7̥_a}4U[ 7zoa+BуI(MQ/yn' .ְ?ðC`EƤ.H1>TS~\^h W=ZdAx 8"s5Q?~̸Ss+˴L}#̻9GB3-E/'¼YEv /1?A'2WGw5&Ӱڝ:߱gYZ:E:j;ָ@ܔ2N˦:EO4e)aC$)覦4{݋6'EV^tԏQ &DŽD5ϺO[8l CW.dlЩ,v$v񣑳{h2jTn*A`hғcd+1Dx^^pK U~27(: Gjmlh_2th:sjZdB")?cs~,-wF B+$/}=$geP1f^Rg5!0C5cHS*Zv}eLIղf/jZF.:2%_eY *@,KEǵI[ n~nE{e_8;K9T{Pqy$Q`'2r-&hsDW ~wcbwJ"Fqj/8Z!ORЄ=dRu~14.k c0} U6G۪E25bc{.(A1( ›LRl*OtvOS$)2)#UOo jι(U~v ?}W+UԥJ)oqGeEYUhxct6)CZ$oc9dunAI G"y|5R'W(woE7AL\v/DN3)?ıx;Cun]0 E#9 wUTZFI`̦{IR R,-o4Y @z;1n0r vsR$c1C+F*l! -.ʶ-+"* ^(ytQ, Awsʫ5d޴fD0Pw ;6Yxl'1q/":\DJj5#?-P(җEQ+jo^8Ȃ!oFeڐj;ӼR˜h89Y1B]ݑ68>ƒ+4]97Y?(Nvz𼋋jRva'eOt5 ԆaP@|ŋt{s}b;0dyTGFrM.QAn(ZV,ZvC3ӊIU="6X_BF$ϿW,ޭ}kn|/]ʞdJ&C<#׊x4\ywI>wycQ!"]:`np{BH/A̹&΃yK͔$ם}ھ&owCin\veubgt]L7-z02$yq < @V\jv"]| !hzzy71BOr?N&};YeX6ɏ'-/B=S"(*|(.CQ)A!կw!uPڸlM|]fY 9 ?g+a%bqW­t wd.dC(-GۜyHFdC9{Nzf^MвE.G{i;%ۖg}Bb6%Hh[ГjSͶ2 (Agfq:P:L=@b'|got^Sռy + RixMv)8AŽǘhcK>+Ni+uH%Ҟ_Bf_y6xg:3vA9" #TJ=?_'UWR (XށەsiM5Ԗ20p]$ʪw{;EwoFZDDl,;:0Wҝ.3? @e[yUğpFc~1T%c!xvwQ-8هSDEb-dw6&gwlgڈMu-Q>دJPaZA׃PLN=c~%T4ND%B$T^ی2(_[(qa4ٔFf鲭aZ |*CgR;JΔ&7%sP9pf8z _"m4q&)ɫ$uR,O5Ϩ^V8ll켠N&x]*x&|GƉ2wBn1:x Ò12beR{Qm&n^C* gK1B'8D!HGJae^&m_ץ9| J=4aS뷶nC쭖~t Ka#L:_gܕ[)՝~d+׹׮+gx]@5ee-?xίՓaA`2à2r|xP"]I|EC\^~l?ٗc`˓8-UecabXG(ͫK3@ Ջ2KY|uS=b9gLhCӒh$cR=(3y;D;H^ɮu /@b#nzCl)CӺ~-pctSn|eew‘iqWp$"2$"f$Xød:L?wѵl啷.h>"y8n&uĝLZmAB&VFe[cL*H FfO5!}ԣ"ؠ/lOj-Ym) T'Z"f u D!*֟?nË*LRj8;;+:\W7(~,Q~%ɹ>tYa6W9 'i)$qIcg:Dv6MB ٍ} H $2mM76H!/ܭ+4ff"Qk]1\2!|ZV.siەrA5HAV,j8Utlc!JC R^lGȶt2Yn\QsΩ}ZZNVQmHukp$|;{8M1+Ewa *Vl ,1RF\6jU-ag)u;JƒHm2*gM,4,FT,k >/#&oj)(08z⦞B-]ۗsC?:U4\(||W__U fƖUFZ2pޛR`5"i2}́+1E\ Hbjs׉#-ܬ(. uEh=(% wv8˙UdN>x#řߓ+Jz:<| mf,M6SUT3P^cy!No@ѕ*XLh9[vg Y qqcˉ̚i;j8ꏲO4t̸Uْq /.m{zE-;Q'oBUB"M+][Qe_nX0n_07.<ۧZKzCy~aH 2s1h}2!oi rQwW:k8UH] =R~jmMJQ+߰ؒܮsYҜl*|LM. \\ZUV pMd`Bk\C[ Mp/W,\$YA1/6FXbh!AL5x&p`h\qP0vat7"|ٛƗV UrIAgKng%j+ r@hs4(&˗lk! VɨM" 웪̶kCx4~@Hyg\n%[Y8?hfjU'B."YKcgՀU]A}6n&] _v16SBbdemd?tO0սy 7:}iHNq :"|e׎ Į WiX zZC%ipNf&X/vyZL^|U| u4q4ƌ3<,IP҆VIb.<؆fS逯eb*a eK̸*W^h#ZzژuAMP iW KA%F(gtn;t8M9'Q(֨Z:y yK6Cqw(#;2Nآfv=0$/ >zPMN[ g'^iܵТ) o_C!gJ 2-odbx%C(l.Ot|DCu}XWydldb4 HQA"$q~gtA- 1<7?@)a9eXp("&oM%Tc'Y!5 &hWuYQM" XwTjMC+ v+w 94vڋwlߐष+o&? ȗQr}4ъ|u#$fIﭥp|Q;\DY-Y ZfN a,[}e]wz2:Gu ޮ'Bqoc F46&R^x x+jOA|֪>jBgc ꅀ˚NsjX,t#E<\vV +C5'^pX 2x N\.Ɋa3?}'i=%bSi k7y&)hol&dcAF~L9:Ⱦ izEٓ4eS\t(@=a/g*vܙkJ ,R'vUq'㎨sO5yGJ9)=#]‘~9;}1R1Y\X>J5\xj!VyCt~KGv.̃<&҂A8P]wt`_dGCE;)]Sj"Zߧn>c;CZLku(݈B'HIP@FQ%ų¿.> o>]V+9~<}.'UݐS882oУ;9G^i\ރw)(qS~R8["m4VwgԖcO<} %x3As͹Yta7 ~&- *\+iR6J!OGZōI&5@yn#p"W4$": }|%D;W*ᔮG!vh;Wn5p<\-3p]i}pK,{&[s1Q&LKOP]/q!ҩ[PX;УL<:dב k bv=~!|O,FN`105ߤv8Tի,]lx;G ()}G;1Saxq9 ,f /'j{2w_]WS ŻK?mDKܵm\UUTW6Q_L|t%,.i/wӨ)ɑ2g1quxPSXSB#3 NKAU =mPTq) O))EXKSUSu]٭{(q%ʽA x;Z_g5]\=exܹ+ tkXLn~YߝfتMTkڻ cgE! ͹JеQm#$Z =tr^w _zG+zjjp&2,ċR 3$wMxf]%kL-rgYZK4&3X_9BLra3FX74Zqw|v8Hv{uuW O2H)ZVP)[t}\{+&#)c0qHX1B0Af!=Җ\d*R6c^&TL|?hݗN5G2Hy"H[4B2\̯̾eq}&9-x2U:(FpYe{kSU?zsw ̴4Љpwt΍m+W&|`l`76e1|b閾򭫛>H*I>[Md-4/tgwYk} 2t/9H\gcb$77$X*eD=IUĶ,&II#K&i;4blp )XgPj2dw**ග )?F?`dN,HH. ٙICV-% M,r^EÏ'RtUqAY<ʍG:6TJ#E?9 Ӆ3-'pZ%M'dhJg|+'{OfA#sp'0 FEN'5L7{I1ƾ? wU~(`II3̂D S@PHw:6LqP&0Bf#54,"8%i'+6§$=ӑ Wqvx?-yr:)!rⷯqK;omZhuSPARC.Xs sߦޗ̍ 1O_`t3 T@4;p9ZYᗾJzZߚC._&6EmB:e"kQ2"HV= !\MK~Tlz0jA:A)VGqPK_isTky7QmoM I`,:G+j܉CV~s8{D@5sB%Cx֢gYdq?%e GRF}1O@?iHY5 OEu7.~Yr: 竼-"cr_lgr4SdR )ߺIRw | P՛9;aPlcL۴!S"vjdEcM'>.iOO'/"̡ h}vY76iFTGUI爂߼05⨿s219 6Uq)mHJ}?@mmAji#wE0Fg+Ⱦ+# OΠ:PTv9~IW _ GE+7rPy{({-3q & ͕(ā%D"u tmVh@Bi )c2كLϨx_)$zX EoZ8+d 4Vh|q)Ǒz(p 4}ImGɟaң@wtӞ#pz31_{.k` y2j&dNMC=)/Ղ j]҆%;Zjnhi>p:aaYHqEX }5)j">-qQ:t]͉:vsŃ8C{N)jdVp࿫7$ʦ4vwtDFs!R';+-fr"9}l9bQԲca j<4qrd;uJ-6_`/_!+*ө ,YƒeOk_e* |vbxPldc=|'/Cފe&qn;7os?QrB,י[|$+IPExj,m_hb$hJwu6م?1FuL=ckxeuWi|4]13/68-*Yo5fxza[zD ' TR;tHt䠏sFN/dO9NRZCax+hy ?r~__7TQ3pg#`F=x!qm%GDԁrӶCl|^"bRI]m![ٷBh˥OX͐M2|W*GH6z7c~|0?0,08t}gL7!vgXZL2ɵO fۉؗDfW}xa`HL SXJ 'JeBE+O C%۩ɪE= 4pb?lx |3ѩ[s0uPe?8͝j Fv l@ .:#z6- J*#Rl{L N!u7fكc Q-PJhE[vBfU<.iˀ ,/ ay$Som6u&]5#ggUu#,J1v]&XW]A.Xk1km8l:NPd@H' | 9ɽwCayٚ\%pGݔzE?;DU? UD UTYސL<%R zӀQYf?n!t. +EB:\=WV$IG/X$jnٳ =. s9Ѱ BՉc&֠"@6*!t*\6Y lҿ#N=]Go\Hvy?cTNqeȕE\ g,?L9ȩ/C]ʸC%qĻXPp'k}V.UǔIvjg-i򈎝:ҧOO3Gu ~؋C3s0 3=4Vxd Ԓmc"PkSe~gZ}}%ж#` BZp?~-@P}pՈ|"=6"aAvF80!uiIvd/aiJq]5%>ѥ,778 5RgYZ S;+# \ZF-InductZF-Induct.NtreePIDE/markup7zXZִF! ] !M젗OFOJZgׅgqU(5$ɦ}Ě|2_vO:ipcIKiG̗y,a}{8T6h1sV@Ռ`H1μJ84B+3byBޕMeϮoҦi=[t'aeF4S%|gj5sQ"dXĂ-|m R/~a*mesJxd BbjJRlT,{^:TJQ0ޑQΎX`醂D7:қ9C-Qrj-.|{rkXLxH*jH %PCXPtu h.Xq<mBqL4>U,c4E^(P_ ,—x][s{Zo#f`9ZXp;@Yƿ`~A8]v ީq>iŖ${ž&[t9c Jh,D'GOS/t4T&z"w\T5Q-sQ{bSU3gٔ?CrVIQy>zC'0DC".IZ8Ճ8?`-ూoIR|PkD+х=HJ-ӳ0D4?&^~SUG !AfAXA8cM/>ىOTWM,7 B,B&v€vj]x0J hdl7έ7f5gҍ@?#G^?{Bl_PbQQr:b_)X?ݙ.2nMVm6c>paZjo9;o:{z K1vy􇡬fSP:qGQZ;pW֓g{g?~i2[qÃ="+b|hiPͮ3m)*GŲܢӏczwqd)Kϧ3*)CjF^8@&k^^i,]qr똎fj/QU9{ Z[ݤES!QFkhوfXD޻I^6*!p%9CF~+͏* %I-`E %LfGn%?ãIoUJV #{.U&TuAt]z PBx[ @;yHxF Kor!I#"D,PҌP~md 8PECPè}c1 e"kKdS8iW*rT47Zd)ґTa?Oi,*kw*`RƒAZ4_YIIsdǭ=Wt3<8]V=|w78,S13K2Tfc5ȹ3= 0-Cxs<>@Cy#ٔ@@z i :tl"Qp6-U4䬐pJq'R2uðio/᭒XU=wo>LRe3aZm{0Jbcvv;v0%g_IeCC&ҤX)PgcAR鰤?Ŗ@cwSj0xpTUAd FD7"Yar+à !NXE<'rXn2؅hgN.IQkPv=%OE:Zrn.@i H2=m'4Κ$̏+Tj_Kˏ}hXO,J`.y-ePgގ0>@rҸ@sP[)"\9[RU!3 "XF? X8XcʔI3d,|C d my]Am9;ΗĻfLu]l7Ac+JٶR50aRqxrPvՂoGAKKH! 7#4r#Wd,nEGb&0<͋mu[rwc-@Rc,h!#m݇J;Lx’C"t Nq:4*ĮVSR9I8Ͻ2yuaC**VkwTr rSs;ɈZ&w;#_?c!  }՞/ =[.؇VpWX |31J4a!#?N0K=#c.=WZž]_!p>ި厐3:E7t>_e[}Hʓ`ѝ?iJŽs#3-!qt9Fr7OC1؍L{La7~i>r dk5H+ħrI<#rj.O>]Xtjĉ7K 76,\U ƻ*bϱQuo R@ N$T\MKk4lk&)|RvMx-UVV#LxώNUGgS̏Ⱥt},NKV rx;  H  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! F]·Iq n[:|&[zmnӊ —w3f]<|UQoaVlf|/Psze#ͿFp6 $ӟmb _ r]J-}#DⲬpfnIn{ Y`ew1Cb{o3o\4癡.}LswLic}Փ*Cpv}!iF{]6HisU,E\ t .3A0/A=9HM=NS ƍ>1ap;ir5CM֝Cpɬ#XRrGa5TQD~Y3f&hztacEe%|a ->մv3R2XSL0ybU?nrsX/' GAiٱ1^om:W3ro oש\f8/漆AGN7obWv)zBҫ=ny䰅!]91(h9/6~WWreZĨ$/TvUXA林%c(嵌eRʾֻ\A(-f anHDJ,!WPӼ^d'hdnT}(xLIZH8J&YFcdg(Y @_#b ˆؤn,t_jIܳʒhvZ֮渚- P(ߣ;ԩ9`rsRw "fP``bH»<Y>| ;Nd!q:E? &sEĸ~#_Kz22.[8쉣.tdhQaQU6nQN.R=ֈKO$0Z} 7pW|PKWZp]@VSjr>L=P8"\xԚoCl{4'0 %n[w8G欙a9oAN ZD&~Ȣ7S5G&r1C `^>џt9oUo 5DDY|ֿGTDusdH?LsS$NRU"UR>`|#sp/bYj-w2&Ƈv,)}qoS*"Y e!u@ŏ䴚h* ݩ5eۀ  c%|ɂs/e͆64B@.lfrw={s}i_QQ6{^[yoGꂝN)$EM4,_'0-HbH!^`dN^0գ,rmD.{rkqUͱmOKY@ Ta7eݻq c>3{Oӄ;CX6ǖuT+f|?k'x3I6ߩ K0XyEլ`fi=M|ebn5L@h8y{MAXN/";hpD?JLS#%X.patk$w7'>BD^g!URLQ%%VP7ɶJ,ӏ{CoyG>o"@sn'ծkT 8G󁱟\C3g-AV[  Eܹ*]]My F|hS3Qז(ПM l8Dd냣f:&Rqeo $%~ȬE*7v%괣n_Ju:-&UoDI/|&FPs 7`mO]o8 m(@pPDDzuxWZ!kպ[e :%zkS,b!d^#kB-Vt 9WhMAAT?hډjd=0 |y,]NNJA9;6qͲ NrMci~T Ӧ'Mݫ \:55w2>&s03ݨ т"RͬyL<.ӱ¾q$aJ'%s*Q׌ "!M 6ŢKIu^;H/u^[ @q7eBM=hӯуz-bXG, +ҕg|O&V-=A\J 蜱z@R_ 'ə_"m>.I8MTWIkS Q8TٮyQ-]YC*zR6u8Sz^֐qqaRK.w6om: bRZ9ߜݝ-:Q*+F7*~ Yz8%$ WzNE;LJ.P\;UDoxsHJlq\,xr ٫h8+ B#0b-5 ^8 m@صqdxҵ'ly3aZFU ;oȚpPkXmR*˃\4xה UߚC͗8L1X/2Y6N"PO \~_:Yzqe-/ț8{j?(%VqR"F'L fyo{kc*BX%挗#t ڜ'Jưd: Ld >5XҷV&-F]u@nvDM R]Z0<Y BRQW=?"?h$'uYL  &'/L9uaCcBS'8@#ga_xn$L24GAe#7|ԏ3'3ۢWɉUZ1uWX.GU|?LrLڧWlY4є>znOUԙJ/,?o5Q}m/>KU1,௬:)L"]5In ƳJ {(5I='-#σw|}P(+F #~y9+|Dqzιb $[ {iXYS\5'dFSsoWXr#ĥWfewnjiR*401߆ʾ{+J-& 1yU5xp_" Hkuft!b;m9/A/^c`'=Szk U-E}V؇W@ y_Hz*b=Z=mEq8Kf]OQ\[('Mz*d2д!mkm4\  (T&>1$e "Z1CZ rp͒X8!?}tGQ#ϿǷ3 ez䚓K,= NX'- @uKũ1C;?!ʘ`[ʩ >TgYZ ``?7# TZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! #] !M젗OFOJZgׅ;d-is[q qKJѸ5HD D_gӿ6E_Ҹ 6Hj;Ur֨[d56S69-{lWT3Y0`.IzL\se!WQ7]vQt|lY)l ԶbK-Dm1J; JCqt%C )ŭaF< O~lA9RU@A ׍Vg@+%0c E͑ꐋeN``[+RG ls6H4@dC'tNΈyoi1JCԺTR{V<,;rbE~SD`FSSJ`^0=VT@(VtLB'o(X;&"iL A/,~8Ǎ7l̤9ZO$ޯKyTcuYT{Y {m+h5&Fn5- 8GxSsGO"M0}(;̲hĸ2-#:KI .;IE~tj"!6r]1P:؃' )$#S{E ļi58j94f d >}M BO4^SLP3v{ ~>ƈ&P}.pv#z'P)i Xx&w6 =&U\u.Fy{>O0}W㽦N]U\'"}nɼw'Fz=%gocs @9RoX-6 zkD "s#˛eO)V; ;Yͱ! fM @oǨy}iz!Æ !zJ8~gl7gچSVɅݚOu=:gc᧎yɖ,HO}_|+Q֓~.e ۍ&A" nB6$e-y頚h!dmuI`cX !ldjxd&sǹ#$*ϵdo7xz?DXel~dg7Dl/RcI8Wj M5Ky3.X d OzDZgn*NN]<ء܇֌+79L9mb8Bf|4|ilۖl7}< ?۲ܧS[[x]GwD md0]٥[.^jGz%SY.nv| vD^) )UI1E u?M:K򵗠D #I"lII7cZ<0#7IC $-ZD-*K=QVEWH Ͼ~bӘ6@W @x]U_.Odv qct-V1]6^ G3 u@'i8 u>"g3^׃LUl%WT#VW:pB_E6St0VϚ9tʧXq YCG׉Rc<$6)~ 6ٔb2N&(kH[4A/H!'H⟷tgЄL AĮl6^i2'+&\M/< ),-\cҙMO>Yӗ&yr @'rq$31Y0x2701;4rbq}m,Ғ:gqf|B#7Y0w{DwJ3-ӈɤ-A2 y]*Q$ڼ5T7Ltf'Lo`*0.є(mI&L57ω" *;V䡈}s|)  n < AB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' DZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[zZp]O%:^tXG f,}㸾e bD 70nk=T#;~L.A-w4a[yüTY?]BԋHXV~Mgx\B^7&ADJ߻ʣ芹1C\Wف"[^Vmkcyy ;YRkz,Oh׾6AVQ=qM.vEQ6IEW\@0Z=zF٣4XtSZ W_/]IKR3vpnfKV6}~F-⿂.E۹hϋ6eQ'^cVK+'M05{h ~zmoQ[tU9!ײT…ޢL'\cr DXF OiQWXA:8kD1L ]_R X?g r % 7b1 \Q}X}a7RW7GVRI;;щ؂UL,*0?3Jg'/[B4 rbRY!ʄ-nU,VjB鼣];xGyIq@9Ǿ\`P 0^[#_d1[je! vB!L"JAOeXO QKo"M/6jYd>1 ["&c腺k=ۥB1Eآ}4!yO%r@[Np%W3!x>S::!@O"͔2 Oa: bKTk '8CNOfSJckE r6gM+坏QKɼ h/ViYUÄܢk*:;x~q=O=οLL(St(k|6Oy%B\9G9yI`'%f1Y#g ׳ArsMn nL>C <}* rn+g[&UrF}"^8^]6kc&atZ},EQyJ9\ʓ oB0b;Քw1'>BЈOEH #hk: Q1=pmp |f?z/]ۼW XDss:*[FH*`k G0r)E?>EQxr5[4teMn =|X5k e&8WQ9=W|XJ>Y혇c$,Ӑ4t:]ӱg|5pmv6wiLmE"i8A$*GQ}[z܌\w'#gG l^EPVUntx2ʖ9 1pyDD~^mA A! mCbzC=p*.&i/tvrr ^Y2o_i~!wM!ѩNmⴺp"+vVXgrË|4CH+\g5sX-}8x(93yaNC ;XV,[(B'[)u>/'NiIN&V,ҌJ[of|™bl8\\}#e-‚o-f+XEtY܎EKOزi\n;:T :w}[~A ;pu[h@~㵵#͐UG3-A7dd%-V8iI>O]MEE[50? _G'IrÇ2C4Y. ""-}!u~#%< uViLI`d( /u7ib:1!-~ nNt! L[ٕ\Rz25}q4cť绫b5cfPȢ,'JƦډF.aA%.w`!Izӻd !yd#]w*Cq~䷩cmpsfG8{?3FYy(\I" 'VsA9-xE&P8T/eF~=>?,$.~}b[h(:jh@yI%8dz'Ic%%-k%Ə%48ۥ ^=~$BE U턾QjٴZXMTW27Rxo) ћ2gĚEwbQ 1[v@>H+ V9\1^&ӳ!c9&^)ȃ`0\r36Xd=hG18eX@,Ժq Ltk&y:!=<#c*?(oWSɬ鞲&H1p2_I5iʢk'" 퇶L<7m;s0344z6@ܴQ[!860ޚRT6d>mWf 29DKECհ &*@ގI#_viPR': !l>똧4:ݩx܎{AՌ!ӔpG><6s 5\]Tuaܐ bJВ,y'Hà 3ݝ! h3E$/SVy#Qŗ|[O]8SDj/[܋CϽPft 4$eaL<(k&^ swdd&Oyc4L.$V[!~A{W*^@%8~W?^!FiKC1'&쬉*+K3(@&'@m/Aorבp_^yX+Gx7`[<l~[ n>u vgYZ ggC)# TZF-InductZF-Induct.CombPIDE/markup7zXZִF! 㚡$] !M젗OFOJZgׅ>oljil,%p6[D+|{Y% t1G:yo>HAD&z,<6kw~.vXHr䏘`xbT[haR\t-G&STS\ܵf{ <ʪ"c e?5R_<[iϼ%26yg[e" O#wX5We慖'- J[\)t4(Spһ!bv"ltH=!$^.Z!ndF%T_=rx9TT؏&u(0U:g:f˥!f礸E+Q4>K rԤ(ޣ|4p;/}qH،2S| yO*al/ɵA_% Cv*ӳ}2B I<wX(Q6htetJ\-~HP ﰷyy$cV\"ch$ 7⊰k~ʹ@$"oMTOݼ"(ulZ&so㤪ϊ] Nq`{lc.=&O!I'jb~s>V [ {tڴep&ȽbQ!nJeB?x/[도ťo,{Rۀbb'6=ax1ķZ./n?fzQ3^LsHGGb >HɕG{`)+gd>D#2 ^[Igzp /GC]m1ӉeJ ?Sm;E1/=IX8PYcn*b eWюsc\ɕ}A3vL $Z5"㎂1SIRޢxr $` z&]Pn]bo+(96ߦATnh*&F؋#!W&_B~h=a\\YQFZ@ʗ_ 81P1`&Ъj7Tz)?%ukWq'ś˸焋充A<8y)_.PWXUÛ8->;Ê?fİNʅk6k=CcjU%=/nX]gX`w|lnMHW(rM! ~LE:-1@|6<>%2r}WSgBQJ!J ^wh;,e| ^; ^³,PPLPkroyPJͳ+mH /$  eWfiIkcZwg&E;0nj)YՕnxiimLWF~%Nd"( k9z}&`~uK)$zq8X\mh@wؔ|B#* PDIO ]rISML[bc[2p0=Ʋ[]RIyNk :#}k`4Mɉ 6lw-gß5zZhA`CݰT[uOCx^f-"3Mb'N޷KS.pvAӻgj9l,s &S|~Mc2g`PSūI75}L4v uw$u*+=4w">2 w_ (j TX@uQu0/Z[aCqPZl-|:L[ @>G8P+h dD3CYd/'vm&/!|g>"O}<O`.IKI\K-ɭ/"wUq61P =U!5ڪ*48A0oAD]cjV] "g{ri{6 reg n܍򰝿, =?w7>(Vp FqnUSA\S֢)H#gi$6K(XG nkUEay]iScFBJhBކ#j5Ya>1~&@7FPbzL5=$_UY.1 T* fS qop#hxq7_-rYsn%g+5RuZYmT\rcZJ bg, |g&BN.r=T z70)kcf鏯Y?{\r< j';uJTº aD# &g]<ى7GS[D9fyLNW\h3֒ \^ϴ]BdE/od2_I?tWFX?[D`"f#XZ6K?Vm*K!9Pq6`X?GbjU-AEH' tR)j>z]__k"EPJmYm@WJ19KdT*Խ+oJv;?1L*# mvu/sd:;}}wiw$Z8Q P#vg~ 31o6wNXwq_cu?Ӏnj_6EY@Y"ͪDCk"H#;w_M2rx1ԻZLt^1]㌫ԩǹSW}܉+dV 6v 3 O4}K4XXUN^2kSKL+3uc*O>Mѵgi. d˄6?#?o@ 7y2* ڟ^I1 ]HHމےȣy8)y~BIn ZݽNCuJ3:٠ ~ij3nS9F}6JZC69'.7(ģc%' {m7ղn"1{D)WtrO?0%y{Ұ 1n QxqLh;B!ql.Ra"37蘿ĽhėO0Ue\^|`~N5$=)ۧ pc#MHJa!펫*~'DTe"6QO=g;X);B?1p>sk3ۇm8I4|2C:4ޕR? U$55]ѲФ iJ|dK1tDQ+[\ J ȕ3P]3C+F?<vzƌ;6)pxH -IzK*6F>34}kQߎ S8bU]b ՠOOԝu=Dac '11>&AȘ+RVEbWsnqk@=Y'ƞO's-Lūw`dh.M|23טu 2 \ D=#~[4i*:O񬻌AMKA:D8i| ؤL8G8%DwPKs, m) 6?vWcvu|j!B1z:s-\BV`YzժӞ?2In$b(V})8gE3??ʓV3B@CUe  #ycgYZ j.CL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[I'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zךrwýlUf0XݔY]s:8`p:Â~mؖ2iq,r+g]^~)ߓ05mbe68P @k(eޡmErhPMw@Ta"d"_#yp,SI )p1i#rm=@3uggZw%{him)O "iB2<9_*ٶ d=%>,pitN^5j BCaQm2µ>I~ƎȌEW5Qj;RCDɂ*}z"mA~?gy.nPAz3a8Q jqV8s ~)[=/{ _atXѧzQA<-NAcccOt Qgh,ׁNOVw[BLJ(ua51c q:oۯj徚cut+D )$ mПa| p<`p\{ggonZPzD͠c"cH24AnPn("~r,ɬ[H۔vL_EvgSٷlζݳuTkxs+w@ל}E-UF(1_ 1&<ß/RF$Ni}Ga* cJ-K v V-l\+ezjAWbc}4s'ib@B$?N`.ϒ/xZϘT5T2ضP eeMUd TtX'\#J[wa!D8r!DbvSkh`*VҤUɰpvgsA9+)U1k׀Li^TR-D'$1G›Jj8z ni(@͹_ƙk\"ב&Q!Nm5\tv-A˽cJH%Ԓm)>,NFX!'^Vʌ sgƹG,g9?w+Tөdɩ]?+4GaHl.^v{_$m ;=TFv]wi`A$' (MⷙhS)|P%3bruPy\0ra 壊?\6g{֚m90$ͨ{f:pRCBx@r =TuéAgDoXIlolPh&O Ќ?_*w8oBTȏ)f(}م,"(P.ts}-nNRRFyS&d>EjpgpЈu:8@WxMZq҃;GأY `f^Dkb]5+m@Yxy-2ꤜwuKn5x@<̉ 5| Xۻq;m )vLtq5A SEA !?O9@i3'I|~@9A,j9۪,lB5G~ɴgſu_I>eC9][VѵzpjB3/D[}_ڤ")g򞪣:v}`}Z7藇!)vCwYxoa5Cjp^"iXX~a~,uZeoV}x>BMXR1K{GC5 [sWFt$Dqk/Iw0,݁ _MW.ԑCիĢ|s)7\УN[@-冼ߍhgʻ.+4QwK!R X҈UT_$> w|!{qoJTp5C3]L\s5``dz'ֱgYZ T^T25&11@{:dRNV a,[/S'kTPC GpXeJ VIw\JԿƄ4]z [" !ۣCpx>b$?(1&V|S8%; وh,3%(|Tz s|Ewuts #p)P9WU .ܿ&9쌄M#G5RL` eibv\lBV2Kpp&[Z2Z1 I^"wfy!Ջj`F W#7'>!ȥ?#~Jx7T}"xRvs:GP}HӌTdmff~ೆJgg]p=̯  TYzJ&Vx=#D' }NiHWpIyok K_%794u=S׫1`%KlGl!:j_Igq FesDJs"_0R}. ř'ݡKPF﯒}3]rc5iSRX;E2FO5 ܛ)`NDwp\n:ܘ&dviV* *iu>tk)KlU1 P:0{K@@b3]xϙ.YIJvs4 KƝ#*±k4Mg} шٹoȽj>y)f 1cLfֿoՃ9X>[9r0)\W"O/V*zGU{=_Л"GҸt  8P"Hi{O*#\H2xA8f[N"D`SυLk̬mcw; igI:3aL"Z5,/`siT&YD U>NkNZi+[X]$K= `&RP:Ma>E))h"zhkr~rb ;yNKD12Vͷ:R/`Pib>NĒs#TƟg=5uq{-S]⠦NXuzPEj'/lj>ɽA8B2@ _⠁w*צ2t^г! "*%d ?@L+n*o`xc#%X}n 3.ZXXB _/|w5ЈEL'_~x)qk,3./64{wymB {N{z6][ROM9WU͈"1$R.iWƼA._MdT4ѷq/gYZ