SQLite format 3@ !G!.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info )r<<$ ]/]ZF-Induct:threads=6elapsed=3.233cpu=11.749gc=0.4557zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0ЉIU &P~"[Px׭hUS^KV:دu=[`=_{ja t/BEsq\ Z3l,EV ˇ m, t}gYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5Wڼ.ռ)MZw~R軁 ö#؟0rcKd%HA}!^pGԭ3vXZ??~K6G6+#WRVuz&x]MCsI/.EA +wUԚZw{߾ \U GąotKpӤ՟vE9cg=|?;_-+ 71 TEcg>p$ȃ qL]1*qOgYZ7zXZִF! ]ŗXi%8ǖ.Lus-H"Ĥ9rn1fN@ca*Ju6 y4s0,A:_ad`/T`E,[OS:@=:b';h]=dTﵔ_yNt]#P3RK~9i,NCg@xS?/ǀɷF:dṐ,|j_bdUԿߎ3Z">9JEw .*TTbm&i3653669$@_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 P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6jf"ȃCGv3㏳p|ӰTn|5M(/VT@rÕ_˙QzHT So th 0##iPvGҷd}J 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<FMEKDG?C>;<:978312/*-&,*     O* ` b /@&Wq _3nS*  /  x O % vM#  9 a}O + u J !c1[0+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 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex-)/ ZF-InductZF-Induct.Termdocument/Term.tex  ~z:7WE獅 aA:U h޴O_>j 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"!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$ Q;ש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[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  j/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6jf"ȃCGv3㏳p|ӰTn|5M(/VT@rÕ_˙QzHT So th 0##iPvGҷd}J h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb ;;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 d9? 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 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?ܗ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 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~~gYZ /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  R 39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZV +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 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 n)# 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?UeI{JS{Pm#//Η{c7%$ &\3?wgH(;։9?_x;Uvof7n Sý/c)$We*1zv6/ӆS:{Lum0Z1$ˆ-"#3f:CZXlzv ҰP,s}=|3=Y7se@!&\?4)i\'$T6)"l&]cAYf!O4f։(ՌwQ` e[nsEԉhj`QmF:ᪿFo>WO1!y>Y#])STr>W!ַ)d`tQz"E`~kV0)š9d &^/Os[.(+\>?EjdijSס;)] *ybf 93W Qz%%guvp:"*i'>fO`p4*ݞ-isCG dza/J2znI@'P\IeʱXq|ՍL', y ?/ig'G^΂:4 !koB!R@ο^L 80PG3*ɒ9աg:J6tjƤӑQ j<&% E ~)x$_Q̓:,A%mo{D;~X";ʶE+h, xl?t`P(γ$%I[ Ӧ+X;IZ'&$a@A?RH<Ļl 5F6CL# 9/ʉ洉.|jԱpjFy Tez3wn?e> .ݹyz{~0nDsg5\%ܿDpxd!gL >Wm)~)Bp6(*PڃĕhVkmVNߪCI˛n ?LӜָ3;ɻ4`ʦuyYzohVr >kӌvGgIc丰} ˌ'Ir;`:GM_3I`x c )VI颺-oz6Ψvku"olOXRwևRVXQ_45Bunyr*RAJ.w#A&8ilI!_E7) FNCHR^6V9{>c5G (|9$G >7 JlUfSDťJT-mMJ+ l:4I_xLF3mz,k(B%̮$gUyu[7t`QI-6R̳U"1p֘oדfD3@n5<@N9Rlܵ-U6ϘPI?1|ou6%Cx,}sR\)2gN+? 70GD-f7a ;e_:}5,NkD-&ևczYXB^5LYg4Ւ&ӏ ºjz!VRSQ?o>"tw&A6Xɣ+Gڑ8S9 ?.YREe8]W8!mA?v),%xCJ+F؛@>fV]˫}9B JPJT#Jc]}ĹdžxjGDm~8CvvGg gۻI~27OANo0pֺlk/wB# q#Rm$ 5+ ,jeRkxl44+2=a.5M񗃐^y9]KnVFLB,좱zh:u<ݎZbQlwGP%w (c<%_XN0ʥRb$*]'{x/W1۵VL>vpx“ @ WvDx!\%ΝB-ʸUHls0D,/17̔6n#N2Qo U1;1JםDzMesV1@m5EII4*T9[9?P7r?B"Lt*gEvO>u9͆(|%×ς[BigEeمcbuWh,hK͖!g{Qqtrٔ {* |FThbCN"'ZUK#٧1!4O({/;r nu$Q97T+Jљqh8{?HG2Ct/ 3[~)j!oC1U]ӝZ%1XL,R|~$FSFN_?KLY V:֗D);8VUz ];HH䔛F+nb/ܙ7m:*?%L6}Tn8_LQE`mV~u#TU]IZTэl'88db[/b0>#c kk9L:[rk3`e;س`sy+@V !|μf-<=$fۿ#*tb$r3JQT-У$~+XxaN;cM??Qwð?\h'Il33sΡg6)-zyAm,US%Cc&bKM-_~<e|e&Lc[qnTg79YH&Q6$@sFuaQlt?ހ#}Z89&7vdE]]j^QT/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x35.Gaɰ'wdlF9S*9 <^bk3 reb wT%ݸqH rֺ Dۺ24BT,g/TTٝgH'놋Lgbma8uGn/I)8\5wD:BhKXMc|ٓ&ufB&'j4]M5o^dF7qEgI}eD~5ڬytαr'-< {iMajwvV٦_*I#v|Ì.J@!ă~Z!]–wvWlJ駮 I1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson7/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}E 7K]C/2!. YlHT{Cr5=0뛃JsRrNF @TVHSpE`dyo~ȒG+=r]Ja6f7А$Hrr-FG|ZXgEp?XЂfVl\)l9UmZQ*"Z0ݹԓL9!#M6!w ݎm+xZ"@.Abl+KX_lMLq8{ ⊇ˉ13 F6,XsQ'=I0AiBw7cc#ߜD Cu:*3%ʰ6 <<Akznlid TEw_~q0mlYb4lbweT"J߳auU)Gz >'Hѕ/[ !w+M1e;^;>3&&Y.r| JsR-O7|مȥr4{fow|#Ղ1tbuB);h&lY kgR\~8 Xا[Ľ+QGΨĜ`3h C<~dv,ll"j oydkv,%QLZXlpʙ!Eɏ&hXr0c*^bgYZJ /# DZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9B܆rMPsW=:ǔi5#|b_z(NnR>곑M+<%JuliJ*X8+Lt ڻŏ+[+3+Jy&ixU (-;|B$2XZ]ZR ^;7k|~#">6ݝuHK#yПK'2jMhk5& V+WGa{Pt<n⍢:.ҹ{>A֦Hrl8݋jC.wzcpA$h4[OEbzGlʆ^Ӈ%@)픣G/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' dZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z|hހ?iLĄ ii>la:kyg{; ޏ:?`dVF@\B VeU@Kh7~fZ]46[<}u%泊|9~bPW=-"؈oy"G|ZS *Hšο_JRG|Qxg E.PAY ttsꂍu"0Gp&ֵe ԕDʇC~'dݡtJAt'㖲ǂ6HbZfǦs{_6G;ǎۇ|+'_HլJNlyIuC hɃ/-j+P\^ Y_0  cxk~^GNV ̅C&\Q$- ;rG]zBLEZn`^H ߸I}=I9eH]1OSf􉂡L~pz&8$k!sCDծ0OHAlñĦ_{3;7:Z"Օk}6a&wD Z(®H vk?tZX{NKXˇuk():$^uw47i濕Q=K)oJߠ3W4U!#{= \fTREWykH/ O)&FZ4*oK'<,'WML}OP <=& F޾IwԈ3(FTcD{/t2XdDAWO.\[A6'z|?1'[QSYgFp%q˜T8wcC>։ ߋ4TKMhKπ&#~K$v]( 4sD4Xt!$Tra&s|Ckgܕg\8Y{Sv YMUj7k|P$I=!e4;tAQi@-"oPNsfb[ƖB'p2x[pֶt\&l3Mp| .ML$C 6]|8޹S*J-ަC4lI0kNg{}mC1N&sj;ze'Ng*%q|rpovQ;g"YUB H$›sz…~8j?1 HKUfQl&!(Y4Jհ ,"bVPGT ~u&|@jXu0g%1' uXL%T.^D5W H3^A]dK(٘>M?6.A ^&ar*dz9«2´Bϵ:t\ 6U!\dJ5Iy(?xLVJ[/0mv? ђ|TK5v&8gIW~`E!oZX]aNy'M9I}4gjzg="Iཊ"oр܍xWUMR)wA%8Lu :rݘ2]79]\Yso1GHʊ?6VRrl-V= ͼgj N62*II]xnU  .aq$@S̔TuPiD<[ ! 4>SpJv5:a=F܉t;q#{9ꓻ Es{h)( 7v €3'I?HX6yЧ)/=$5^Ӆĭw8| ]M, ]Ӿɸx&.|K> m#GR;9@j@TٚѽAfm{?^y LLj BMID~TQ W.Q,X%-<DM+ͧ\/DȌIG 咺OJ80>H ten]2|<=_F Z57꫹nR#@H:bB@q`cj'"0{#wSI_YZwlypJb {8 t A/F;rEҔ\aGβdP)Zdx{L%lIz oܒ2ɜ/DEM`:b3"U`V3֔p_&}ş9 wlK Y0HѯWX#Sϣa0a9*E rG$[%j//O8]bM_n&!:-2SjG@b.0L57.R-LFeJY'rn ceH2`%eǡb}Ɏ 2/[{|)hZ7xQ6 [.oS>mj,}@U`*~/F/t.T~R*@SpΤRfԢ3ӵN}ۯxL |QH.<mk&zx"d$`.CӢ655~_"NɫG3YckoU~qp{DDh&Sgwr\VQjԻxFy^3.?Tc;OL|%W}w dyH%yEܕ>tmU"ƏQmw[/q_G|xy~H š kr="J);esxɚ8aCÿ$ր8(6Z#[N\2I)w7$_~BS-+']%4j #zF v%\"Qd+t/ <ǀՌ,v5&HY8l䫶{q\|&hou^7dQMR ] (W% /|z&EvJIp' $HFbα/*C'y$DY@TD#3Ӛ]b 1|ꕁ@fͼl/׋sU=[ 183ըkP%"_Q$]h\֬`.vj&n);Fi7v;@A7R[0Us: ΏYl[/M-n;%;Hdc.o`y,DgKפM@Fwò>]]^2.:{Pki)9Y#gNי6w?u_19vJ_15Ttƾd2{yAt!d UZ_r~w˟q.eNtrP24TY{P-w޿v%DՆοPѻ$ӄS{8'+GYXEpH#Y@#.uhbZUi-XHeky'FqLqY]fQ9Hs2owN@/`$ܵ ƍ%n0ՃhQ. `E NOۖ͝pD fHQ?3* vy\mVPeݮn0,8s׷% $$ ${7{nA-j__/=U#}sNx`-Mg^8SP`% !#6kc,5Ja: FRSݙrP*klRc3N Q -F[]K<}bvɫ΃aѭpuv>" 5DY ex5 ~7C g]nYCU%EPwK 'S9@w9$-_ӗt6Y[ ϝ #M}c` ]H& jaȏ^U hW|:\k¯rfI:%&zT]`EMüO O}štΉ=ه A>>C꿄}#lt*}v7P%]MGl黐 V=hܻljm.\#(U7,.kTw$L &=_Ӊ'¶+N{<X_t@u1u% ;Wm0-+ABk3e#ZC#!9~ 䘣] ?h&u9u⏅]a|t,E&a:NhB#OotV,[@+,D3׺`-U "Uj*)GJ;]ENXB Wu~%G3%3?UȐ7yK|r]+_qElut"Æ[@7Sd %v:  gu1im@7L4>F9Jcb ogwvQ9)I`ҵE_xf)<;wb0t EJ^̊MW#dNX.FMwrmyR3if? bToĚ; _OT ڴ+x6A.aPՓemb %?.HrR}Hաk"kz)ltLvb>ƣ܈F}+Z~MLtqI m6Ӵn&]PjVU&eH02ž>t˻)8d}l)ow }򈳾"`jۛĐ{9+| F:5{˻&Ty ]>.N)+gj|(ydJ3ǟ1X%&8˂mqu?\nv`AY'9uM&ٮ~N4Mta@솝Cu8}üEKI }箿@ψB[LLV;}EW0xOIF9KnмQÝ18R0䏐}FS~HTG]Q.›ه.Idkġ%:${p@+gх6YP}`)ruiPGR@ol{Pne |Ԯ%~Yal [1lI.M|1ݢ[Tc>D6Q4W˺WnsECƳFx*ɮ o;j7Ugw@IzIC-cQ^ԑCU9G; PΚth. Ns&fvw=rucQ.c:R|]XGv}#J7#`~dm:ӲUlʼw=A$ Bfp@ nPgL֏6_iPDzӀdQqpqC7Kب+B@/@渿S{.P႕ЀN1?F)>>Fۆ'>ljI./Z.m})d=7܏ j]܊ ixƊY|I\ ;H'xvš(* j[h]I?Mˉ26ٖe~W506lJ=f{ωzlfeV6QYl!7ļllN~'Pb0M>݌S0 f{vo.U[[ʪ_m;T&11KraS];cSDg_;Ԗ/k m]ӈ.w¸f*{='d`!Ũ4jLަjD#) ~҅6UC;-1@<=9eIԯ.(r$@{:TT8/f1D ԍt "GYs.DT?bJXVL|h'_-*:ͳT^bUp-DeJņ6f{+Pl-Uor+회-.gtR$x55< KyX6p?k,7L=^I Hj" 5v4neH0]VŃu,SƕjTbtyx;Zx;}=u>P)SiSC, 9Qk28+:ېQJjm]7i4]Jw}nfF\re0}D\QI}_JؔK}̥,ؽ;YU 4V ;6P1u9X|s~׍l7Zoat;A'J7Z>윮|jh`ў%rp[7ݠmo Q+CoM(pRqS.Ch P +Jr\&Ν ng20e(IUgA`4i%R%˒  Iɷ&+'ܛvwS<׵9rz(ƒ{#>orS3ggWHf?= IYw=NZRu@8)6m3H\r8`x0e>Hd_*}+Qv]_W}Io2,Cmɑ1ϕ.S}SqW&(6Ė+_ y =4{~˒co8BK~ٔzwfj3"TSr3CksUb8TsߗZP'CbYVPa&Ur-Ը87+R^T^/+m3nZ1 ΈedOMG NQh,+=,則kdT}Ŋ#씵Ǹ 5VeCHٻz=;7'n|w?F`bUګ~\!t?r{B6vT4?H@H!ID?ëп!%+<&'}CsgN)lIRt c}UyYpz?Q&Bn '^G`7>[ UB*7:ȳ/Qc@U>TC hT Ş^gFB]'{S-(B+c ?2l!ֹ*tyP*Bl&pZ2duZYP:XZ7iNu)"6&ZƗ | 5 "/ҺA/oFAdFC-&EyuieYrWC6]u7kBT+REQߤx!5W =&1h$>y]ԍR՞Ajs_DZKz?v4~j,LK{̿y&HO;wLzB"v1kiC;I+_@ _FE6M2vj5_:>_Zny tru$ eC}eD`jJj/.E/ԫ%F-MrI3^ [OLjOOH†&xܞgF m%kzd (̣riR\i źel(73JYڔW4|'ԍCh@E6..#WSi\8tO.@'dҘ+xRdIPiIƜ,|Ɨ;6Tm_4@J_6f U[[Y$b˘auϼ尫ȑ#kcrVc./"Q{SOo?j-DQaDþOE4}AB{:ـra;i$x*v/ Ɗš-k"^ИpZ(~$8SEőKNodт}맭PrO@tGb7Srg[ %rt(p}qd_YDԶddƮH,r&jd2^rnՉnк2D`H>yjKr`9 .~t} yX020=*5(2Z]!)YfUo0s]8z:UbwiiT {L@+zK}բ t#kzC,=^&S1i |YxRE/tAtLd6&Ȼ}kp쏃ؙ<8*vƨ@5KxAg1CLH Akē{<Rg̞\5wr0: ZKْ˘XG m!btSӿ'p>%0+Fz=o-䗹»ez9`dpk^HXBM}"Vd\k[.uWd-Ss:d3b\Ь~sn#4#H&WBzpSֹ]5'!`+Dƒ:!+z;2tb=ZA~%qsZ4^>usP)ʡAԅoJEce?WTeSLaqFR72{`b co%ʭkI7s vZM;*R7a*BD|\"3t# Y.-&HSjJ"\ 0,؂ HׅUxVDWlQ6_ٔDkl@RW03(?:  ?؃<M[D o_O/'t\,.X\/( ޝ4%w@aAHRa.|6%i_fڥ^ !w,҄L)P6'BNvȬ@HKFwL9GŮԇUyE)0dJ5h/J`,DK\1 S](,{L{7~qRei#vWur9u*b$7sy@RsMQ&JSYt (n֝fޘ0Y'w%' \2U"ȢcQ~xIўtnh,nn ߭b,jrǴi5སLW@#%_pآv㛴Xr;ޕ*iMsbZ㉮@/^pHB%IGN)l*z!= iMiFWí^SFU4"B:<0x8xӇn)+9[a=?|hx"> ׇ[,Vl[!:-& ˾L*dȝQe4D}Ls5/köC;QqN}CPj6SG[\Wt%Ƭȣׅ"_w1!.Fɟc( [u&Gnmy%HDRF1_1$3¡Jev0Ikt VETeC<@U5ɥxS zRuvf7xLMǑ=b8گ(/V‘-W]2#yF^cŹaF}@gdV#]>å[Gd&coW'0cV?LTt3oa(M:0+tHcJm1sB0Ñƽk5\xц=ApG^J+<&" T@(f//JE%m՗дE.IwXdPyS?1Tm\]"sp@DaY>$ cwyFa*p/!peGl@LfQ TH-GeN]P QJctM cΗtTݞ@6g.]tɰB=i z} #Y^.QE\JRdkrSv`wdXjP H~1c(qA_:/h84nlQkF9ǎ7]uPiR}g<<<j4"Tra22!>6jD/:9'5 V;;xHo=XpX1ePg=[l 2KM G]#7!r6#>a)4`],] ݁9L52.BL5uv[BډʺJzH)_.S]Uj [ݘfZ6QHeH1 `j<5Fr@z aEn݆Y - 1K.Rk r ϻR$4*R ӾUS*8S.?NV ]pmXtp%G tgD&/b.6ӭ|8p^1\y|O:O&V,@NO~v(7'}1Ĕ.zbpݤ -*R\tF,t {Ɖ&8~=M!\bAs9R*VCeY1C॔u+t.dfP$nַw7[s*27oU<uރ1TEe0nol :׫HxPr< 5˻擹oА?gFs\ v.v|#?>i+v."U8[utXӌYFbPr1=MHVu|"ff˥K{$>wL9sHAż4jeȖy<{zV7u.q[FYسX]cf8XS A=7xd8 2dvFQMQ4Lg0z4i8Lf?3GZf|,az/N ؟1 <v/c O39ϸHv^^O\+~f£1 ƀA.T9zu$(^98m82ii& vK{{17JR} (a?NyuNW)*%%VOAU_xۘam.~FAm awf)!ⶠ& ct#y6^O!p|ZSҿhVꦺcLC`WÒypp;s>WhDK5cAwe&38'T>;"'H}9$s;_(ۘ([/~I| ؾjd4*zo"˅ӿ   s9 o\)'$G/+W 'Z4K eLT} Х93[K`͆6j3 5[[O톨$è%x9F@O$TLcV 'τnYw~ϲҤ{̺IzB{ʼn y8-Hi^^[r3nGs@z[On =|[9)jK vFg||Q 6nn]!q?دϙ5O\7x6*Pkos}!>Ow~0bYb,ig38l؞즁i2+16㈌_ $BxQT>h!**I5Mbp R@ʍG)|~Nt] Nn L;|iyƁvsaiȧн.$þY![%yIP_!)q{0:nndnz[7/s‹@8;첒f_K!V(UvS䮓Miw>6'42"TG"!>؛QvbU'OP 7" 5 b@َjd|d![LwdݿW!;Q}^9ǥGҭ!:"/G; p31%J7Kӆ@cNx"YPV)9Q,#m ;m'[3MWra(mFi/05]Pٞ6(yoGg:wP<` ږx"Hk^ĺ:VGOE"j 3}KypIɂʎu#Q'g`wb)k|eO9 >_갛Ŏ=t[T%^VgmټMydիt6:@WӬbOеtI!#ߡ|hJ?G)~TV/"7`atwzJT`dϏ9Vu$=mc~ ToG+6\s@sC+2^m"g6 @8 򲹬Iڀ:fyIYEm!7@0FUdwhmQ]02Wb 'tV%:%D6v )i.o[HHNP ` >˖qK^Dl$"v,NtmwBŽB^EuQ *x`b8ts z}e1b[ \]|r *ek]C/D i;џ$H5?rާo !R:׉ayVwh3fȌOr$ w%1\{0 SgX[c,ǠK(n'z 6#fCڸFhY;jKAdhtRBoƻB:$Ʀ4Ԣx-+\ |xKκY鍚YIH_;<sHf"OEFO ?״餥6pt1R +2wA+,ٸ Y&ÐOb̛nuM+ ȁB/m҈"¡Wև`A2uwՓX"9e\4e|P Ú`碍qY7o@b촪@4 m!$b-8X1/AØM1jIUݵQquFMT42k݁H7HZK!u_G/ 7%R nܽ_&T. ?yTS7"G?ADmB\#3 da#SOE>6Cب3Q#=2=ëM}Q:1~٪mkG5NiAQujc;v`ch)w7io6c'Xy/ȉsPőpMu<+Kmt131C5x_2 #;Lft 0j3&B@>8/BDv3_/}3"}ݎ B\VHRIr.g2ĺ<پzh)l%L=;Z?# ̻i:r^T7Оoy8|x5=z6Vi2VFô3}@! v _!Sr Nr4RycbH Ln0C'| B 7s; ,_z3[֤bowQp%sP]]%- .F墥WgщZ5΢;3s>ѿGܧj?g'3 M B/o+dv&+/GUwҟ4񙚿p@qQ%H@.7b2?8>E[ a襅ӑhvxaȫ&GdvK>(Ғu&N Q1]vN} [KG=d53[wf%J%YwM RM]J/C~ŷIKKwfBzEZ Y[Msw#!Yh)zm j2k=#gn+o/Y }Ǽh3Nֲ#iIC4E&sT{_Rv;~G{m-;uP.>|?圐/ɜ9k(M^f;kF_1'0`oi`D%c N#X#6JANZd0w %bz^+O1eY&'< ?;Sl͠Þ3Q <~ 0J=:Z=9 HreThwx<ítc%dۏ}&NyLsUQc\,^!U;:bʍɌ$nqH}k[|f n*|o眷x H`2`Pr`,°yN31Srl:p{>9ZH5\g7kWpcsiV[~(g;5EU;TcP}%4A}¯fQhIR3 Y8 oq#V㸜7>zOЌG7- ކ ?~b,C_WDu.~\&׵:Ǐ$p{9"6ͷ'SG2_$t M N_)E*JmtYr1$cB(j3rME|[T(uTmjb}Mlu @~WHḿ)]/):< D'BC̒xoIqQ )W0 {m!I6qGQu\ԉݗ J'<+ /qу1dD5\{KZ\%6AprץYGgŨ=9q1CJh= ȍ Ô+(?4aq7t*ҡx;9YX>,Ŗ #Va/OrsfϤ$2~ϩvT\ K O(WoՔ/gcVOd!Rxq"!|Amj6 lTSk&MmL5!/|mQ0D(?WNc~5)okDiCuA@H~1꯲SZPV=&r|[R-Yqv^E7b|^>/$>3SR|M]Ӄ#C@u{ꬵJ&K/#Huu7@82ߓebpv@܊\n5Hpa\C)ӵLbDHMuV494ՉбϬr{i#Y͏ܬ6h%9/5}'P˾G# 8HwA \/"VLZ$RMbnѿrP)@+t@(cVclwh]7GLZ 1ku~djСf-ʫl[7Nρw@^VPZW`覈fZ{3{4'1&6Ki7P$OIz]e3>:ξꦧ7| B^0f]|0N'tV4aRjDQ<ԚX ;"&KŶ;4 /grgIڜ<.ic9rC[hTSD#^"Lrgg֟t>wР6/瑝6԰G|Ù'umYIYiV8]-RDnj~RVA\[Ss2EK:Fp⺙Sp`x &jE.NEjfu$Y{kGDjX&G(> |9F?hZY7Oi]MJ Gg̋ʖ7l5 I\Ÿ*Ηrtka /TUS[e$j|mLc`} MRHn݋!بs-,XuA0n89rK4-SFRyT%iȏA7D44n 0o6"d[FAW+51rZKbȐ{tVG-QC^]hu' |=Of ~}NjuFE3Xm(3DʕdE "O'|wEaP|ׄy# 'W- rx[;UsCٺhAm ٤~%anEIDb Ę֚GW q1Kt_).~"l SޢXL"1wrN=H\sr"|%iR+d9>."Ѱ?|Ύ ߞ,hAmiQvME#hsSDM/g>Y#nXGd{e~jt5&W[LGX Ǯia&x:-*H QJx{&+lmYv l%|Jwe $Hz%k H=Tls'pzJk^8 Q/;:&I4`H&fnI*p1 Tk(1v/qC?既"C6Ġy"3&j<od%0iSkaFɃjĮ~*.4A%vcpnh#Ij;R{YʘI㙈Oe9 QCz5r|w<-J3PFd%[iC̬ޘ//&tĤU4xC1d/kY2A˃D}KGA`nJ v?7. m?!rg;tk{vD {,)$Op 2~Zx.l2~-SdwA$WScf˾S?[@t6`-5nUMw. Wº_meX $ [{i*e̩M`ĀW~ |) ͝DJEYay>dr:H<&PDC}#XX>tE4$Va}^L< 9 XؒL|\܀#RG l &`վz1֨bMՕrg%FuciU&[/:E  Ԕ8ϊUCw WtPkK_7 lvŽm[OnnHd3.h,8>"*S:RZ4(a,y1glA}lhFCR -wly+֡[sƂPvx~WzZHoT+:%}dl%^6keQwwu@gڭw:\w"Pi)Z8᧭`w2<};oX32\m׉f?Eq1j(扗^|/⭯6!_x3vU=t~w4hRb?ӀZ& !kO]<؁&cs n 3iJ~Cy@ul\EY]3Dl%k0Pvާ"N8rO&!/N;TR*s(Y|y˔T7SyvkQ xxXYs=μ~?.e6c(pqVДt&h^xUN֪\ݻ.I笉J=)ᢣ]_.6]|(ו'6Æ@B`_: Zh6uν^SQþVՒn۠W'WCX5pɠ;Fm)yΈl"Z|s,@3lHn"9o0=Bn{x^iM[ywGkAZ}S<4g³m~=mu҆qS4Nvf#@;p}QIVq@MMsjtq2 q<1sQh_`˙!9٣D4BޭJ ]i3ep( IT>P]v?$?, a|^rp!T[C2Zw%r!fvg.kÆ`>ɯe1)pa >:BsEd#8y檧c2l- 6 g}2iob(o ]1_MŭfD!6`GcyIAƸH,n-_ծP !H (Ɋ)*S朶O~$gY,%Q=۶Z= e @~~H=#$0nJ7=8Š+k]'Rn $찡,4O?)vUi;s"~(l7bMA}mǹ{ɮZ }` /uL`10CCjeZ4 cT^#".~-~W 6n:'[-Tڻ>Ɵ{0~OԦ&Pd|lՓ[?MpZڣ}*I͸&4 2SՖhsٮ;Œ:>tn;~_n1ǰ[~\):}`uOgN *i?XrG (~tLY,XId"$Q7jUqIO!N-,%K9MLb$w(I,Eҵ3t.u#H)=)$ YQLtav9ˢUV"2EgTRD1=DHoh] fQxp,wR6Qu`y$%{.džEnؿR7l5c~ w+5)37D>K>Ч3U6;_{:!0(L;RB[م)_y|Z!9v¹j -6w-bβH+5EG?CJD>)6.G 0HY X4<2)Q׫z4:j3^p֊ad9לj~Hh ` ~HM>lF77&^ȘV(>ɬɣ=I,;dU(q1Nkq1㲺k[Ԑ& m5K Y,[%p|L5 D-NG0_ΧNq[Q¨XͪX_L}ˋI\$rZX7߅nqcoJ sA2rLGFEFZT˒"}#șԎfWY_WExALNeQjy^ o5s*ɝ\A&0ozY "KӱyZrSsV͸E CZ7@"E O]ď( CHs~ٍj"ѤC\N4NXٳ=Sp "vX)Ux< "zQ츄$yOȴ B̛_ >V}}VB= cULLᇿ PP(4[ٔI.q7O^l`L1red (ɶg9=ni#\z|rW& }qjkۖ%SoNjzP;h]q ;@j\J020-8WΟ0ȅ~ )w^+U׭ YlHķh g~>QP!꺨{+|pѪ"Aq!oy&\rW:tV)$ҸR/1eUh`fJaB6R! iu" g61F~9kS;B\F%+G9pWA1?G8z 7 $#i6᱑1|ܛkngO?<43WU^֧ MO~Ĕ.lnf{{jxHH@l#?ׁ5:] ^2ƒĀi|p=s~q^K AZW=TGU>J8'0BP^sV-}TW sT{4&̕X-cbWtΑu]+I>r\FN m swfc^J6{?/Bkp^v^BJ>tN+;/sK[PAeJɄG &XB Yγ$?}@?wx6 Ծ } ,,(΂m[TsAܓOPNUm|zL=žJ+[֧Dvp:? R@@CxQ)[\d 82$M::LUêZAc*3|<]8`aG6h!$֊ve]3 #RM͌=usÀ&l=Q:qpkkz=c'Z\-#J"$TXarn@Src9c$e\?I0 r0f"0`~r6.IRImۺ̿oĸc8Sw-K{bV 1)/:ũ<#5jGpf|@8;TW8g˗q Nyqar toCǎO}Q}㉝O$27xTU_ 7nd"Z+ o]  ΖɼBm-:K+ӫ*7V*OUŽv2/Qe|d.T7X0.H'qGWV0M ?^k<yٿ8P MgWΚښ9^>XJXۗI*fw?~N^V˓E6"z(Ϗ DJH);lVf4=hQ?6o c&;$!tkn9Me9B>\)J";80|vg1%k=&|lޭks~}H9(%,@ ض\1>4YOqneҐ&뤀mHJ g Җp >07? yC+9pCB|q+D{mf~:¦&H.B8yA9cL.YFa3bA398aO FCMh]l ?hoFpƵNƞEIvpY8e?<{&PWh!gj8,)&Ժsv#L W)cRO!'ydui!ŪkIwڨ/-^3ߖ"vd./jWËRnGЁtSHޭ]]:5% hWb,h 3Y# HOS;{)iӯ4F.x_jh׿1K!&,D %+5H;Dz _ͳCvlݬqdzBa12!Y-k͚(+r@ɯB>V{! k}l5huvc{ӆC})I>fv k")X;S䭗|5-Vn}Bգso 3(ݼ]!p=r< 5{AQ!s(C'9 N^7LN_ŇZuwiϽm h«( K?LuŚQ7y@ CWOSziϿ?u@fjum&)g(R3ߏC 3^,ĕ$ڌHp*΃'3 v'"7,xcc= Rk4ZL8pK }oIOa/[]Ja|GɛÙ~Q'O-szћO& }M^DqFe 5, UDy7 te]ש8ga=d -GyZ<'YJqPy$J ,c]lr]򴩌W*$,TW2=Y@mv(6edS=pvwB&ǗjgISxQڪOJ6 f6-GKm L?2Żj$M_XE]E~̮åaV_Phm=qׁ]Xy P3E5v…)knIq\~8p^VGو5it!R>Gw6)<3A4m鸩8-܌f۹ٓ.pPBfQtI A53\I )QO }ť,HX=}u3u}̪`SF2|[J7@!@Cp9O)`wW = ۫.S4y~/6܃O4YROSŋ(< q?5Lm#uU5ƌ'Γ [6҇՘q`h&㠧#VQ\_n+IH}~"6u[ cNńYh3;e[<"G}G oPS4;p|m)vSP̻J|K00Hn?n=k1>bH8 ɂB?ҁF}f6pU̺nsQ:B1BxfhMz ;#@:Dv q̾ᥠldp=eӸvJٺ=^đI oq".85Zĸ ?pѺLF \ *mU,X/O4gNg YpMhaQD!J7/aK rTmrj7 n cTtڷ_EJ5q91ZInj=cٶ '%rsVVǸ .^!m۞O ;{r]6_S~y7C$wO64!x)qdOq2k_q8[Y55j3>HJBpOU>Js96P>3|NM rۊ@ND%X '±!܉D}]Q* 7]A&Jk <$6ߊ"oJh<_A5Sw9]g>X ohZ0"GWγ(➇۞Ciy'!Wty^ S;Fi+pl!27Nc9 nS$vcfiïaj|Pb(K8_\$ D>y>|35&$1N|[ɼS A`?ݯy+ ;.Jd Z1s;)+kLD_Kϗvw6v`Y~{Ģ tս~?|"2U!NK (#C^uFG6ˡBHȃVmx,t\ߊJɁS v _b=L5Z Ԥ֯mܻysr]JɞZӰ/&J:E=GgZ͏Wn:$)Bw)夞wL%큯V:\lڐ;(!E6MrCt@c5ǪM=bWqhibo~@[l7NwF`2,qTB\9 CaUrROgj*)=o,YE|7DSAӸ&)^kOj=Nv T=C{A|w ð 솉EOo8`>y1b4Myl;*8}5+.}l9ZަUշ}iK's[r- d_|N9b\cs&cڄ((|Ɂvx S0@ZcݶPXӺZyա"G@X~gBl=?|{yտk$-#G}D',|W_whM2P\"} .J=mv> _7X%fegN;T{3-/RSⴴnG=(ʵٺTÀdǨYzZJJ3ŗ?vTʼn9WC3(jLد9l Gl R 4wcNMb"EJe&۬ ʻl[s$Yb3LY 37Ä8BÇ`LT\+V#[֧U"䠣4؏ M5md1~BtǙ!V.y2ftVh-hJ/a`nb~%=~}qQk[fsZzzmq*M!k5IO^e9k}*YiS^0nW{v~Y`5 Փ=xɄϵys ^]8_=03/|b&T:-6n萫I] L`,#mKЕ^2`]r0C.郣MUw QUOn2dKBtʾi4yAæ i{%EC 5Ihjo&LPDz=rU۫G P>5-x1aQ[Dj9"f^'ݡQz0!Vjȭd}>I=]0b 4b' eg+~I xH<ȅ 6WҖQO}bdXKb bOI&41]+O$V)qh*Lq[8/u9'ah}FIy^:eUQ"zy+#ND8ųRUuP*y )uxm/Dua## $SNn&9 _ȕhmhP+Z:Eoq7. 7C~maA9q u$s/Mn=K;yNQAF[ܦ.R5W?hٝPPMTM,R*b(&oփ!|Fߨg&|oD"vch2ȇàLiG4uH [4Wb4̳[/}qϑZj\T;T-hdX(Cx4{cejϽQEZ#}OLBN7B![u `Dv8:Rm aT; #RU\˃p OW{퟊AǺVZAp&e\6O(XuWcr.v:("@Q\Ё%Yuη3X<-Mk eHR Ӯ-)|ˁHHC뜌$\RonārXjٝ޲> _LCi|Kg3㙵AI8W2chP뿒wp6 +\?gȞF50$s8mEab3l5y-`8 M__ |MYDed>ɲ RQdʤ(qB '\,xR^}LM?*dUFnW"a|Ba^R34*lA" bQ%Ų}GJ@@ϭ9,C`41#ѢRm+$qW^T` }Jx\9*m=\EN]@yqK~c'nZ*-S`| !@3-S@ fe._Dxrg>Am?B1Wy NcRX'H: 勤v8D%RpI{j"}_VI1 ݖ-<- P},tr>WZz#T|_B`jگTƳþH/'S0PWE11ݬ6ԗGT7)DW DRmJP,("2_Jp47aM.3ho` WZʽtJTLnv>@1z1BO,n_wmmG rE,3O s0\9}D L%Rrב;Q~4 Y#Zqѷ#~ p9fnY 9"E%]@ʉSU(aabH^ N2&: J TJ^sN]F鶏HBմO,I ]3mfdPv`r?wԑ5j2  v]Hq`~ v];C̭>yTލDȊءOobGf߳@UVF1&V n @eaX  MM_#/Vt);z.秚 1m4M97".70$tm}˯sl8DTӴ3)8΄y\e]2!M濨2'39cSkwA =C_oTnjQT2Kؒ'w"r#$ɩaI;$) E~x*\VLi1irOq8%O@mW5D(:ѡ c-`V:4k96R/` i u~ X| n['` z_9n,xKv& Zs!;[f%S4 :`oL[. /ƑfU8q',Փep]n}q4]P"oȯ:`1U 1ʙވƜNsk~ƌIy&t:`h̵mųdJ>{9}{6f6jMe}{;Tn)L5r4?0!!(XY\:$d2wxʐ2=n[FkفApSt)V;$CXi. [ݺAh7F6yǣEI@;/ J :A |OY쎞RZ>fo{Z)H5"gYU{N jh cd4Zh19M|C& *咦ǂ>xrX*m)G t0MjsEE.pzs ~llo2BhrŽpCt땋Z;7e\SLa_953,լխ|SU#}k3ӂUIvIZ .Pċ(UNQ\4'`kF+hdRL\Zj#`;5ZuئkmnȲ rj F u!4 * 69Xt qq=k2ɨ/mV  !w/5]ueYo8%jK2bs5ۤpSP o]9kGvbL|j).9|.%NӤ: oXv/[q 8ϷDM& g|9O==wkbK #jבa7&p'#r]sut,> Ll^"?i~qZ֦U#DOe!3I۫&MtJ9X(go` wh2%#jW5JT_CbKu | Jh]Bi{hgmS^rloQQd%B'A1ڲ c5/Fes.tɉK/"z+7 %~%e;D,ݴ( մ 5B1(e;Zؚ4v ((0o*,dn*C؄,ę`* L)'7,JR{؍&ͩ3#PA+sW*Q@hܗ7)B0%J țuJ}kcB)p"?,˥wYt vBX`)/f^2:nʔ.O)"p^od64zTZZ!@O)AAnję`u_Pb7@T rۘՆب"ڛ+ϲdFZazjY"؏_(L?u8 HST).N={r+(VۭoIGĜiݮ t\6}bn(Dc:z6p}S}Ѫkh.ZαlQ!FFI>%a\@+NDVk{;YAي7 mPrN.ƣYJق'aun >w1):'Q3vi#U2^=FU!ʿDra **%ru^Ƭ bqܟቊr98'PǾp m +{I+@$柼rb44&HÏ ;g' kVښx$Q^>0?А~ '56MȾlE\sxYTt,UI};n][ .zi> iʏ4dZM i[WjĆ4fU%:sf~a-cѡ&$ծ0 |;H_7)ZzM-5%w *3ءc,]g)˦3Mv0ҏ,-=nѰWr4j ^w#Tc"3" exCp~n:F]jHnFP ]VU5"}Qh_ ~3M8 e ӱd-B2=x,sXy6Nm 4Rk @im"TTt&ja}W~|<]l8NO)mд7Q/o ?'5?osN!!|UЌh];׊ۦf<7pݫ05bK5jS\\*j;#\V?kǿ :Re4lKKKp0'dW&!~5|~]F a)[^}*mnJq_ELHX_Zi#+gN[OE,5ӑICcZm'I8 At+四 ?ߒ3ۂwR~I{zؤøbRA@+?(Ót5wTW$TO:JFvQ)-M R ?ID^j2η=4cD7] cƆɤ3ݔyo YU\!(y@#Hn \t# kClҿ ͧFTQϴH>Tȹ%򩱬(@(x2j*Z_BJ'xi¿XmYu8| %i#ME?sRQb؀uH^6 ᕳ#[ }ӹ"g7 ǃ[-Ɏ ;_|`~ybZ>>]\[D̂3;C:TKSm`j}Yxs+1n*iCy8.ВjnnQ,-\;e =O'+aLh'j')*Y5E,^]ȏV }ĊSd˯Yj3;~W摣H%:$VLo2~/GR!zLa旔(>C&o{A6Bu6:7w>jV6pD'/uq:-]i5)4h%^ 6@)#ܺed {`vwoDV&O/]+: oY@{.nǓyi2`sZV7DgrH ك%\Rx928[&/[d@pE!1A^Cr)?g4(|9;0Ъ._~hO9*\ˢ5ij~biV<! MػMGE+Z< ËYoQ,Cќj[wVTC̓4əVstҨ2P?0?YNvT6 `3/:fOTKJ b3HY_5lߜNpHp?RʔdrJ ~;7?O?qѪS&*psC7-xokpwph@:(?3ࣻHmSw\v:Txz>ptcg!G^F61=lb1_lE\MҢǔ5B[㙏l3}Lal8F0Ss퇲]_ܐt{T"W\ f#9nO( @1 o֝ϗjn62V)LHcD"@`ÊƸ;:s o!AP7wtwhcJa fWDɨn_*sȗ76}F _ڠejTRpl9":#. |iklJ(?qPMdq =Lw$}-3>Y f@v˥*5 1$/  (dx=Erz3u'%5+`H9?V9U7I/Jes|cH u? :q|ʢ+X#FWZ?AF%,U9!8Y WuHYL]897($6 W6x !˱<=Y :f+l.I>G*搦5L#?Gby&H nAիӖߣc7z$F^vm*W9%d{ӿdTMBYxyK -LΙuFhݾ=v]jL0$C Ck ZMrw/5 pMI?֍H?56A:?c"fns} r$Q~[o:(VwR9^fmj4[ߛlP2B +(OyְfRIp:|\̟-c{:ך*jA !iĮgd ^Lk@H6wde ֿ$?%AzZ8+n$,4Va '_afQysfڔWn ,tFu'Ƶ D4 4Ρd-L{f#K:]BSU:3$8V!N:;|")Š]Vs1b%*vp2+F#߷'=\D. 7=|qB9`<[{z(эmS#I XWԍ$Dw13‰½KV#PBVxVC'=R4e-[>w TKXdOeAﳧfg>ֺxΎon}kSV}(l7Y!Z86z#HuaWhym.l˪bW.%.|@M<.=:؊Ԇ&7q^7:,`W;WNMyꐽU #ZDĪ |6 {,xP"_;G[%ws< !f@N:`:9E;7-TF[3PkXh|nߊsD:`1sGy=@bK+bazLݦ>^^Dc˦L|J#^$ ĚK Nܿa/7|@Y;'0fqd!PBCcU+D!V}9P Z- ^@ƒw-Kk% "B5 btl[r4KpCRƑj}ai"C_- Sv82 iÖ>e[^ɡZ=9Vk m#}'U;H`y^mG>0©)*>E(̅׭piUhw밿K%/`z buG;XkoGDEӤXm mK r|Qv(5_Z4ݥj*v'v>3~}F$o6eu@ĥwPĉe;b/̰8ԁQE=sd9$;6D4_[5rRg(@"0m?|.ٴ+\4% " ]K^8ATy`Т*3̂>H*=|*VŪA*?5x"т1Pi:E&=(czn-R3rZHIxw&J֢j(Dok}vPai^Z!2`QN5ret)ߏ'S(Da<眴Ug(*f;1u˞LP1S-[Y=+ڿzYi;-.7 ŋbۢ**R%[G BJMd73 LDu.6b1֐ r#TJPmpj#rg8 ֻ'A rL| ^~a+$KBNZz}Vk;̌itTa!.RWx̛'l0BK |~$BxϰQFHrN/ N/^YK@l=W NqOy0Ce IHzzɌwH8Ɩsbj_ߢD 0ؑfM惑-DXHT½+1JR@ID6hG-"mNy{-T55늡^`Y#*z@&c7!o=#{TK (AWcn3#)CO=SX$d)}s$WjM9pg~~8w/Wfvgep{ B(:.:ΐ✜“pVVW^&29uVi|BkCc`Vs:pLqo5/?eD(QT@NN޿Xt+L'k1sl1F';k~ߧ4I>jD_ yR>N5Mfx }W(it ,_d4~27;Tb@ؐJ<5 wX U}i:6|9^XXu5C?KE)-%Ϳjt`Ѯ}p #3 {>rHbz;N5i.I o ;nDLJ3QPHG _!8=i钵f5;vV $D2\CS01yi(Uv8ٰZp%DWA' ge"HoaqeU)q6A#[ZEwa#&4A8!HN*wj, ]ɒmM{6M'Std-@L`GK=j0 E8;E$ }cj(N͆3Lc{&}r1c%ХC"O927 1? & uk}޵C|q7P`wg -C< pw\5U @QL$ϯvcCw^eZ!x4ha/>Yz9 -g5l[4bDj=#ywr>˰ST%Bɭ,l\ߡ I{o2i/WM+?h%(v | "@{4? 8KmC|}mqx/o]1IEc,>Y<b2ʅnT??0K)DOJʓ2JU[gzt:r.4^kP9F$O lW=nuGA &lIj`>;l,At0ȂZhF\ac^Z&1=Qd̙QԆ^K)4]YM !kΫ+1҃pf_d,H/;ʀ1{B焢)q6trG,KXN X '(0Jׅ+Dv Zo'Wm{L~ȑw60ڿ98gQ ㄦ1PO1Eh?KiN0-B0h/kNc!; \靼tD-p~ð>x)ډv3HvcwuSPtY4h`15޳.' h']$!v/ً.^X(8S Q= oOAs˖t)&j7r<ؼ ro_6镍41uD(DgM 阜A(Eqa&k[` :5Uz6jH;Sj%a1u!A g.“O0X Y}֣d pjR.MuDY;h O@,>H2ַaP*܊F{˓+}\ԫTx$\9?tOqk_ e,28``tJxLyզgH ʏU:&LJU SI)1AbS0ʬ;;v.%]C4)A˜ES+ hq>։M~d:VA;X~Q5 KA: gI@)uTFry3iU2hl7޺[AI#׌ӝtDTgYZ IC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10241' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O D]Άxʆ5.f-9 rq9}ȧ̳͚}<.VjI/L_rM 5OE Ү?”¼ °<քǃn v?[Q̒GF"}Fx_ճ 'GHg<*> _K;޼*G.Z2:EwSͻIde'XA[S-[?:/ﯽu k^&ofگ]OD`Q=hjnmnnس\MғOn4%j~x* xYQ?Ca"y@/qA_ l 7G߃Ѻ>a3H;@jϯK7+HtEcpYbAA&>fTu=Ȅ rƬ]40O.spg w[~ſ#fkٞZwtuz8cMX5NdN!PsWm&6ڞ}Zoxp\L-(h#lf>p`'ɋWm eF\c,Yݰu,"p)`Fe*.AVT7DD>´ܦ;yl3L@ypx0:]tAT*3ܐiyXoתw[܅^m}G(CnXs}Xבå@(6;Xb[hkXxӬF:NRL~,rj Z[y"im 4Ol[Eޥft!3uH?KOtQ#iɪwV֨TU7fuqhHFgo/R01׈l#tpQ#(XyRc{ь3>cCx[bVZ: IB,dՔ9P<-Y 'O˃я OhYaH%ϺTU}(T5M #u3{{5l^Һ:hPt^9: q4D $3R0op\-v'd-֠l+;! 危ಅ`[\3,y bB=6hr/JӻE ep帧sӣc O3Kg+M K:,YbKBviVw$ `oc%. D+Uzű9"k|iWB^WxR}`` ڰw=jHTOU d֫F`umKA#TWWY.4ꇮx8D:l4_ UVF&RVM9x"] m xAkN'ǭ ]7G+wUdR\$/KZd84H,4VCU09-' l0!mYƱU[?<Dz1KxcOaj$[GSg˩J7h6lI&A?d6@Nv'|!b\rmF?l7 Uzq%{xƦ`89ifҴTZޮm=7bkLcRfI@\-TAJ`L =>~J c\gW{"$]Qhq /IokE(#p}d:"vRUnz{J~1 7g<]!׬ ]2j2>(t8}LmDf*kHa<(؈Fr4U] y9m9Ў;ٱgYZ>0æ"g~HLǚ>ÏƹArF|kpJឧ,֜ %@W[p^ ;=޻}됢u7F\s|d$Ztg1]HTMq;ɕG b0r*K\~) $ GhaM@qlh"XKu> M/u5%(#q\(T'<ͯ$i?Ka!ǰTI;z_)01jBWPc=}d(}L!5' Do|A:[k0y>͙O%΢~9"b=Dz4-# #Ÿ-(v6*;rnyCֺ?" X:hlk/LuHVQ7{b7F)rNBڳ Z߭|1ȴ0(E&㣮ֲI<4/3[4a9#U]W"x\heTar:U`:%%%^xExϕZЧ}Х)dsunsy-Qy_A>^z8Q 4]kx4.9JkX ah `ꔆOQ-FU=&{V1w<4ˈrv$~6hhqΘ&Y0rF8# sc68_)(k675NO b"rN~Z(UV-V~,$ FcKP&c3Иgn+ul=X.nV6PÜSbPbʬ.* u4+ ȊHA r>"xEէ%/*ψo%"@g_i}/%V_ޫL9  Sx9ό4z+,(uC Qi}Ohw%ٮ!Dq{m5V-K.t% lLcf̞^#` T=p$mRp-P6Tk-<1I]Ye%{O@@%*Xўn:{*V);3!ɄPVpZ5A0? oɲRfQӘ sBm>Ǹ̔,!_a-Fs.@`^e$AGEb˚] "qHWG :!w-i~9o۾چ-}dN]JGkSk9w\ "ƭVi0`*b|&/swMm`Z,>y(1q4],n&hmS)Ě _إ!$ƗR`# Z6AUgnLK`.JE+>EŵO%GJdPuR,W2X K)|Ppȯ@fn X=[?̖j1,K%.Ě/r^To#{lnhWĸ_&ޜ<1=fs@'|/~ad P=4 x[ Mʹ21yve'EwW>lc;ֱM=T)t8{n|| vef GY\jDQ3(` r\(*jCE6Mʀ-,̪U$p2C:j6xJ),5CDsyɈ˪8zo1ꚤߔ"%4b-]`Th?gx7ڳ'R +cC?iqUy7XU K #͚b ~%Q=/_YRK Cs9JH6_뢜WuִD2`AcUv9sSvI"AeS5'pv! ^|n.0g47|`Ql[КV2RuA eMq +!u4PPO [rw4xR}F6M ]ⷐ h܇ X]Y;bGiŝYXJ6.vʼn[.2zMVO>Ep_{1 3Zhrq_l0Y2{C FNpja (P{F%8ׯS/}{2O ¹DZby+XLꬰz 1>DȬf5 8]:~LEr+AySH**ASبWQ,\ƠU#OWkaȣ": ;Pwc )}9g '#w1#֮}O{!ЁT֞[XdA/83 l~닜JR!{8O҈ygD7ne͕|ǜ%WzjԒm1dz/ʬIl60u']mP΋aqDzy +&>%HWTn8FxnTJkw[eШ%qM_nAܐ#yz4Jl]@WZ]ϐ~y|O>2˖Aoj]}tp<)6F4 Zb˂+|ȀXHKq0X0]M#TTE mG{9S{ͳeNܠ_T;n;+0ǨmnMIAMr䥡k7$b8hoň$$&_8{$]IڏY8}Azpk:1(I?2QcUf9Z?:PΌi.ha>:A6nYΌ]ױ <e\qg)野+95VbԌ6ΰqe6upg +J9LNOB7N ˥ϏHف/@rMic=i*'IR+Ly8)iufM-iF^\xN] k4ǎocr|*1Gm״ [De!= ъ7/ʬ ǭ~_ٞ@t\QYx9N p憰r<3.{RY2_' *'qzf qr"L;]@LD͂ :7q E䬥5evv~R qZO[v 0uϚ mܱgYZ zz{+# ,ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?=^W{""(ㅒ\&n =ΗQ=&DMp%Wz}yXCSxԈ,8'HΖ9YV?Q ܩb ;X8f܂mOI\giKWzmT8g[ M*Vk4e0oHz=|@'I |H%bl0ENc:a}PeK$]Ck`o4Q+Io,8FY5< H4(^ Dޭ| wC]D4`퓸zanڥVhj8'bdNoqܾ-0,+^qC)z+. 9 caNoʣoVq::P.݉*9߮xOpJIzT`_ul3+~S  =rZ ͥ5 mN)hYW@ߙY+v[rں$ 2[k͟n^+u]g[|X g_XYSX4LTVk͒]|d6HRl;y,w^bVz㍕;u|lO:B}l)OʔXsQ#FuBw-[c'Dg,ƍ^ }>-y<'I uŖPRt F'm[)7#BSm[~nsD%U)rwĄjcI̔xSdp { kx^V Z6~I>#$Ë|d`Ρv˶u5F,9E9 H< z|GZEg?^*R~E?3EH1Zm$]L6/ b2uGk<7sߨ+KfQ"JJ CDs,YL?W@bs7|KlmHiLR"w*_b$kyuᘕTc%`sͽG0JW+8> "7mr?+:fY(@#+i>qB? xn:̮CFT!ķub&gƓbmDxA ongfb_F68Wa={Y7hU{UC%y\7dWc V,7U;=WS,ڜ4S:6+WiMJYմ$C9dIqB;X&"~9Ѣu(KN^,<3Y- kI&Kˆm1h3aa͕)H' &S6iXPݙRܘdMPJB_L%sa Kt|Gox u*O5~ 0Ss(\c!Tn>Wai]$1y_v!@~.I/3C@k!#@IȂYq([W"6F9?vFMi`޽.XqSW3# z -N)AmBn =Fg DY<8W Fz j6uǏ~&R#͞Ly_/N9+LXYr1;SBۦ줴 y3j}H4evat~N,LӥJwI9t:Շ4tcorzIN㦧)j]xgo5p& =)rtMtiԚ4ZonR0Xd_eJ 3go>_ PYΐ"Kw\fLV𙡃? =m Lnau͚Q9GN32`;}2!E&;q•Vt57<%E5ul,TC#$kĠ>y܉1U U!̃~s 6A/Omičҟ_Ll߲BJ@QW}1C:7#4i]JY'!Κ۠; ih(`/J9^%We#]a݀__:b|Fb;h*'xPY'M.8ʗ h6oq9`}9{(0W WGOHEYQ#t‰ u,F嵯ޟM7E;{@B#ȃ"|Rp&b%RC`^7 (oLskH$?ڒ }Ӂ|{(AOJ6OKl|FbX};C rjU4}oxOb51?8vIp-H\<80~lO. ASpo <c3tYPh5tq4-Y|e ƍbZ7W DMUjXGX`UE#(A{9~KĻf[), 9Rpn/b!j0d~- -m*+MGNR³ª&̮m"t`7o4)7YB356Ϫ$yq%N[ :6ʢQjaN??ql*}|1>Su\Dtoku^SI ^FZa8~Rf W2$fj)Voou`I݂ ?zqк{RyqJ|%]Ց+ o d * boK&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ׂ`N{I yHOYը쀹:ཬC3 Ox˶aSGzg̠Q-ބ6~Sf/pk F:ש1VtX1'dA6 "at>3Ǧ|\lxqHxX[[_ ArUqZcԭ=c\"/Dx3"[D]J̓?XE=V=kgYZj#9# |ZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ 7_>]i@X#KZLA $=f>=:oAq"(Xq'qElz[ZQp vd fg5OyTwm5vIsE,/ ePwI Vz>)ZzjVm[<ݢ"*SV$[n'הi\ $wOАx빑rU"iDN]FwP Dpj>(܏%{u& ^E%;cHgC #ZƈVc|vj u l,zPi-?Lw+ZwH!L۬ {6mGK|]APaI۞xep]= & Lj~:l%{A_ȎK_Tk 멠 SS/ ξ2{N/VQQ'[~@"9ƪn-d u42XڠϮޤB 篅3_ۇ^kI ϹsXh],sb[36>Y# o(fL FBA>֔N6|¡-ˬ_ n %i+.}ٛno,"Bko?|c# (겤n >/L.]6f!O:wBl:㙃aFjCH45LwUSW¾D9b$-]M/a9bSs׫w:SϼZhqGi|C ";P,B[oP^›O sH]T;~t=KT?lІ'WKn/Z%y{~*e9:B•6q 6ιOҝs4dMDk~NL?9Bʚ|2)?h$7Ød|#pj'iQV|Pf\k[_gEGy@cXoݺ{z,:0>_Td)K]zܫ*bNfMdHwg_&޷fi]#6[GuWI$4O >0bxC'f&p1pV"Saeh\q]bLk%(fP1)NHl, Vqp-sLgn.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[:|&[zEK"( %0^<15rkUx&#Y|֭\_V6^4W(9`T"&+4Q\nl_BiT9}I c"0 RҺgRR$n-#<܀ECʿ4xW' wy_ㄗy$RDk3c_@wZ$tl[iDLV: 8rF* z[ڢIŨ_l2+GGX^7T9@ 3n x:TktuLT~rwqAԔ{{`NK`O QnӘCRxEK,L_&H*!sl!ي6Ud3-=;qW yz_0){5T@z^$G+#sN!g'fayAC2f5sn$Xe322BtЩO]o?ٌtNLѣpgYZm4lj4wpkG`!d9*>FA<'yqB 62 cF AwK͌y]wfN~RL/?:,Cх2;r=.˒kLʬHZ'"@,&dEѥLa2W]E)"O w>KZ@EŎ~jgW3jm\#Ttf!&_SQ)S;Vvi E\eD=l4V8A|CI{L{`kyEf^I?RFr/brzyݹ,Q{ôc-Tf(߾ Qh {ֲQ:4$Nغ*A8l& 5!c)ܪg"S))H` k"hMRZvm++BKS!bCHAFCi3ۂnZ݈2WWޙ%H"UoүvBHݤt\X^j7*"#P ͺtQè 7:."EX.As@;o@:WæQvTzJC?c5)64djG܄oW+F22Oj$Ό9ZE:\be=}Lb&:,8ȑ.bȦ:I<{Edۡ8@R$Ⱦo,8#(Г/疋I_U6s[,'ihU? XJYc5g" Q< O+ʕbZgbn3H򩆪bCwuKUu0I#16NwNҴ% ͥnϥIrfz~ M# 76u5X+ߞ 'A`55?fpc35G|$x"K*>ԾgIR<񂁽gl*Ǽ3a*t-N ;Nl~| R$Ź sCiuAn/31(EdmjOGtpeO$zmY7X$@x嶗==vCog4pqW td8,@X5"LL&ۖ0MHυq\37q=VcKQ_wq^k[Jr U?ҩ041P5k < wcsqH_fS\m$d(Q% J5FRݴ;Պ6F_OЛab֗ra0joX4b2!)gk](l*/=HED"2| (R/ u]%mjdLSmQߙafH׻ЅF n#(*T qq tτ' 7<`t01K]I.v a:,œ-W$Gt-z;9h7g3 ԏ^^Fn7=t4R5u:(ND)?)y7ut IK 'Ҷ“uK2Dc-coqS5U@˒ + RVFTn:%kibi}fWW+սD妶^g4-i;S)s|±DELp=Eͮ晢izA=.ctܔnq~.άrlIBKd-HP!?u+88ke}WtvlDao[;"X@'U`,q𚂁y r머#˜YCLd"}4^\{GCj®=(쵻80c-ƍ54<*+\(վJ ޻yN]7Xu(rliwy}MKr+Ro}N*#/9,=F떇';%[ `+Q'Q[ #D*v L) Gq69, WYgYZ bhG*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UN]·Iq n[:|&[zׂ7/nWeXBXS.UdWFzWmj\8w0vJTHhV['cm*R><'Ar86>etfPΡI#l*E" lD%vgPZ|6:&=QqOG,e_ϟ((kiU!mP 6jSKzT+VrMB5ͨ5@.%W&D[ӓ)DqQZ|P]C8>PΣge7d4㺝nC8wID2q0U/ 5Z +KtgYZ'3# dZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  )]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($TD&R0Qo+< Sv@5َ Ah׀JQ?w&oWrcЄt$x3,>| J'ґP_3q c1p9H_co6#ԈՏa8 \Z KG %4ˌGS9xŗe1෽n&gڥ?$*cuƤ|QȢK05}׮cz='Y ؾb\L3D; 3]y ԮS| p[r*R1"J[;K$5EjQF3S;B:D8>AKJLd*cD4x,mZ{Ћ-e%et\ؘ1pP#gÃ7="1*_t\O7l) P+.eZ ƁEԫMewJF[=z),xTq~Dl%r/f+,[y\1p9w:V ƫp"(|N4 MIfYF1A=q`;$4j =䄵[6>{,qDL OGVSC8>zSGD_K-Aig+n#JIVSb0zfЬ @m8cq GiX"/gSsZc|L<dzpA&^^K#ASoG61ȍ ot>3Q?_պ, dd1 #/ ~"< "9u[voO d`ca4)nKy5CREƒS(^t2µnrK3ĉ;51In>a} o4_yJ"LrW <@ M\@5'1*Gk 9n[53tx7o/gϊqt펼h왂iK"x7H?E>5Yzn{O&$ |1kĤ 2 7m4Mr%?. A;-XGwl45x”G<߀d3OHͅDPRU֜@E@ K`3x6c,)LFg% 'o P7"f0O(Ijז"hgɜS `ܮ'@*8Ngp ?i^:5<@J)lw-kZ}Hh"0r7\[(oH}%t.ַn }9. Q cmRʍII(d.S!&8D$YfCcB3t~` ­UBw4+ވMS1z߻sFAQ8j7~_ݒh:6 C'X#LE:!Ao | HfWux2zt;P jVĕ B{n47,?xolqt =d7 Un `Ck{s,&sCnwb\ᎬM?GY>ݮbAQfЫߥ:rӇMXL(.X 9C温5ÝQuOHNDN lLݷ%D1S$F: {$5uF\/G2ͥ"llk9#q~#sP dX}Fvsx I4 ۞sQa2,ݺK=#ldL;Z0w2̩]KV@$ 75Qq>8:mv6 ֥@b0'<O YVN| զT)lA>GJ9Ы&-#vvWKS+z*zTQO} .y6.?kp~:'K62IY?m:wJ *s+0ZpCrT20';^X| #@p˘gW&.Y;?@yAvv~H'ZZ:%Uz֦M@-ø1t( ۹bNIف)$V+ ] q7g\9ڛAU!H}%#=y2)?횲lH\*~}bK 565{4QYv d1vq޶TE6KcĎ(<µj,ZV[*F@Ň~x#}:crNbyg? >%!OH7]= E@7su9zOc#T50;6D#}%>Z@.qÞ2 ˚V+6<> ͿT1Y`Uj6fy&Jq5XЋĴ&]bcbt͈/WdI] 9p rBKb_)7flAEF3y 8M´~sN=pϥ>'}q_@:/|2.3YDY5'<5)p_d{ӆ/8~V Ǧk=On!o 1ŋhƼo)Q`oxSHɇ1*VP5GD\*H"{IlDkS>$19H&oui5( OM ŵAIYIT U]M͠rBriw`)ҩߴV lZWev԰"V?ïC.iH&M}%_puLҐI 7 ~ f0ޔf5Op%!v6q/fʂO-F LwcWFzkC3\SG& qA~ -vL1p&nK",X>;̩?Hl ͟1V|]0ma}ߵ9BǧCbj e$hGNFD.ٓpvVE.e {cXϙa]&=΅lǷ#jLS{6Э$"-Ri\[ez}Czy)0nKn 0 F8+9%] JoMH !!;C>QGM@PgFidV/S>9B-_"Eb}o^ܺI*/jJGr:[Bg|Ɲ!O0I=-!MMq ik4dɘ,V³؄EDfUF"UrgpcQmсO+/SO $#8nog/WP˃5\ƅQ'/4{8 K}l鍴M؞ f!DT>&,ڠ/Zɾ?Q͈`$Rw!'`bhd`Yu -86ض+m#ب { /{Y3nshl96Gvyzr.mK8FỤ?b$i'́rWL_P5zG>/&iU>0WLl<3xG|r5/E@k:^Nq^Yd(1BW.p@+Zd(ߗHDj c >ʷƩ+sREZ}8&uξ Z BrNi e&i:gİcMZ>X}xD'4wr閾eV؁ T RJl1v-8i8& CzZec-sZl.ak!5Z8%7XH9A F@J*xCY?Rٸvhzfׇ`$mPR28#'PegYZ  J  G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108W0/' \ZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Ng]·Iq n[:|&[z״/g NM #)嫋7@3AyDa4\JC',t6/N>߁6$Oυ[޾oF~BMp([]# R7Mb9ڍ-ʰ;'V=uwY-,[HK.H2Grl_WCdx;[%mBT"Z|E֓Wտ3UlGm:boˉ<8`${DO:Zhb``R'm3SM0j%PԂ߃v: {U|Aڬd /+=j̣ +}]|a ;|m 6f#Y.gb 61GPW p5xY*6>b9D`YS5My~xudd{ [ɓqD`퇠-;6\^9"^[! 'QgSf| /n ZQe3w!`= PW $V\,p4+{=1bUߘWt.#fNOXX9;-WM~Pķ-ڄLM*Q{Fҋ~i}GF|a\zN* e1(ϣs)(Re=_;;f cށT22E][,I8WĜk x<C 85gYZ/ /# 4ZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! UsA]ˠ)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{3aw!G-3һ b7J tfQɢӱzOq~Nz3o-nMjZ+R% Rv7EƗSjщGxjzQije15 29dB9P2G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98C,/' 4ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GQ]·Iq n[:|&[z'q~WHPסgT|\ @XAE!l[d[hy/*AlVe\Ynū ʹةufUJxU @ 92l,ePg1kU$%=~WֆFWO*SDi)*Mh}y8M/:$4 thF"1=3iŎUeBgjwg(Ȋb YlqA :6:Lj,_-4*ѡ//7Ƒ 6Ѐ+;eRIE%PN]P5H)k ;d(gYZY+/# dZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*i]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM=43 \@FS&~@HmU}iM*x1zZZ;ԗdXk.ؘ5iSP)aFnjP7'f>kcmz '^/3 ]Gw4)fƭ2l.-eF;(&99@lTtn|<.9rQ-U.l8oex˒5L8ݎN'yߔ0kh )7U :`pE=aOѕto3~/7'Ŕdjuu:" M+Ħt|XV$~Ϻ, VQl^a} 8օ ~W=eQrN0( L0uDvQ@5;4d*=>!t}\x}\Q}z2#sƌ!F ``Tn/ÉQ42ogGž2(Yb^̤xڀ\t=:D.5dL@ =Bܚq`_9u84 C:Kة])8Eri?{KFm]C^IoyOw!լxV }BLs?Aem_=vB!n(1`aMe[ϾQyPCx/4Z?Ytk![#9ҟ X<+M{%ԪZTfK$wx@{g1h`4<(2d{R!y7AD9@H|Bs3φ {QcܣåWܷԋl zjFO7bᢾ7Cޕ)6+X0h8Uf=7',vxfIlu؆а" ^!w>& M] ?/RML+' C#U;4Q߲qß&wSZ[ڝg![xX55 ,p$e{h1j?R}sciܫa+L{ .lvcL^W(GI38wb4`eN\ϋ?ծҴ(75  bo6Eh]i>thܭ;aBn]Zպ KBؠ%ɴUJh3}^9V䵓td5_Zg\ 5/@)dd%i ",CrA/#V9:dMNJ.YQ֦>@'B5Yd;nbmY>-Jr qH2ݔS ѿ("x-w|2E[/#a əȼn:RZ5hc#YoE;Eג w_vM8FMב<@t=eܓU:hs)ug+Ӣ6Ɔ ہ eqc6|ePq4ezAQ!5_U?K46nz7g j 0}mj7ݚJpeO$ Б͈%7/K?{!wjp'b#̈́`/|rKٲU%5s[#MC[a)bKJSo7nktęoN̅v% nHy!9&4'nm@۟wK8Ua2B ,x4bM~ꨡ f `PxNU/_P%C Y 1tBlu'n4PTݱ׾dVmQC2'&C?-v6=mYPkS3eZ1~w*{|V & H"9G_oTrJc8pgHqV 1E!xȰŜ+H%8,!X,_FTOH i5#[…h:{r$'^,PnRl"4,!_~(69,ncJ"䈒}!p2򜚾7yg%+ݚcAh?( iNun)u}sbk [{-B3CseP}1[rFІ7*I|d a/u Pt8OzWS9-qk44!nV.3kq@9J(=q[&BjS0"Hr0c;7k W7=G}?@B=~F>%C= o+t ؍A(ܘΈDNG<pru.Ԁ >N)[tzμfL틉]<1Z,BGPY ެa%Tb8U}*oWSNNXA%FUྀH1̯K߂`vj]6 X{۩t,EF;U'&Lq75:3$.PZ(r]OwYwL߹Sཉ)z*J6LUa[\!uJ[g*9g|b.^wW>qڞ5OOF*ːDsmVjz*9-b2oìS 3%N5(!a_1  O< Ĺ/kdƩW=2LH@f垉gjwzՠn)n Kxچ*-}/ǙŪ^w&cGH㴙ߩ KW Jp֍48!Z  *S<G!5-ڤ~Jr$˷ŠG@A)KOrԠB,p8'Ν!WBy:O9nSqNhʙ5WlPe3~epL=y`!$9@ `="QD(К5"4ŴWtͿ)jTgNT'x9],N »(9c3daUQ ڽ]gnr"]g={ɾ|jU$= a|0C5p+ *EŴTZq㜬ǧ }+X-9Ɗs菭a S~ioa%_}}}, a$kWRu@HMc'1u= ּCД3z-r8" ].\!r'~ :|d{uIJo<X7*.΍v=D5M #US5Fo.BV:It z7#hGfh#q3-ƚG DS+u2 tonĸbGΗ.TV`8vݓ. YmbF,ؚW/6ӶSGwi,.g̠kuGz׭ nX4u釙giB{4qE|{(GF@g {Ŵڪ0:FR@<)V w P[O!/pXK.) d1&Wٵ#D'_&J^^)͂!f.:8Jx)KE5;ݬ@v>^d!iSAvOAqk"k# #6HoHl9)cíB j qdMSfOd,H 3L('+KhYNPA%EJgSГh)J6fȫhpTK=Q4/־i+nW`vZ@GKF`%;-:I2DZL&'Ic9sB[@ێ5~\ b# D*G@9J9;C9$I[!Atx>"IOՍD[gqvW9Ju?k=m9l~*bd'A_Ij|" Y@*7a-Yw5\ǜRah8X&U֡6\R‘3v PGrPu4ܱА̹XۤQ {Gxv&y%`ѩE@p䦙d}I5! H`+Z&C_E{F**̋27,kײ(=:fV^˜xfI[kDX$q12a J1:~ O#F&~"MJkvck1̮Vk F<.k8PcL4"ٔ 9{z_yhOY*sgv 2SzvZ\p_LC/, P]DZ=fH.W1+{<]w"˃EÊ# Ű{9t|Xt# o5na*9r)Xo^7-(҄_f{JP®~vCM)>{0\hC,2 ?ǿXxb#vxη3b&|oŤԆWZF~?'g_ͱ,ηh#)iل٪bf}wp*}a\00Ive-l6 i|2[h [./45 b s6zFN3 v`ٵ۠rV@)=V݄@ F䀰n߭e*M_ʆTz(Lض_ߣ/CI=ߚ?m3E`"jZ !o3^8tO2JC[Vv26}tŘ̥ ;hf~$dw j2b|jRz!5~נ= ZU3r ۶tsb;(⢍Brஜ"sGYHl")0} fU.O Uza/bVA+a}p9vq1LSMrf Qr=fyAY~;&w nĊ@>2y=e@TR5GvA` `}~dkc"9zMܵG]鰢~bL럡 9sتz5+Y:`4 rP`/E/֊Zy~QLv\.̓nnJp}6b5qsCv `kYL+h$zӮ\N.JR37Yn-4tlSA>$W]CSfCё&{N$018Z= u,kHFO0.$Gqo$T><2({\o5@}O8eH=w=5, \rC%6F{_HAf8T5&ZJ,ædx7)5V\ {=em ݈*H0 gkڏdց&UT^^ɞz('&gdu'hELE(ͥ}W{D/z^c2rW^oit>ަ NT? 6œG骓aF("64PŲ@p4젗/3WC0bM,8~vH$ ouI lntۇnOxl R+ݡ3p>Zˉ !v9z52j7fݩm?2G0a33`Ȑ-'P%8@Ŕ/ȑ%6R68N ͢a^TF0 <4Y=伩a;mሱG'`3g*dD2gP!bGaiޔo"dm7X#3t JƟ)~C:S!dFؕaiZ@]̽Rge4Mf3/;LK-dd8%'dvk4h/d%J-\ NUql{\~V!gKPGK'vG](h0F8U$\q茮3ɽi}%PޞES !Qܕ?<7Hn>Ux11 ?!:׽#YB̊6QћBD*$xO1_RDt_#6s79Q**uhiJ)m9Mk+9@QGTa8zQ  :oM%kQʏQ0=L$eԼQ1W#lG[nnCD7#x 0LuPY2ZTShTx6Rb4/2[OoBw)NyrY^f951lJ fL'Z Ba)pX&07{&f ]A顰ר‹aJAűz& h?OtAb.`8ӤbF<%XtmSҫa3Fv2YmP>i0]FCrr 磟D,P"w/ 7=ΞYߊeRfhMPV4j(f#z%EWD| /N;ֱviYӶ}q&KWy+ ;ہJ+;sDO$ uWAL m{pRiVVA?3FS&QY *[N! p%xXWf {Ǭt) ɝZJJmxA)::+:1Aʣ1^z*25i'c4fIaD^\i_Y~"傆FgRbqsL 8v?a+|`^D6T}|˭2ktt*dl[asP:c|vG.,T]{`K$_VI+ġ YgFG^mxt NmZmpah SV÷FA*zr0-tbkU(1'I|A=rY˓9s [ 0$X"U0w_m򷾇kyM%$^Waװ%N ɪCH]`D*o9lL)L=&A@Q`Q1*<i3j.VBM%+ >8;QITxH)ԇeV;aztw(H?w H0Ƕyt!Ӧc'^.$`H"؄5y"ȝOy_ErL <|;4;S%$ _Sl`o [yٛ3o3x0sT`ӅۅSWvMHԷd \PR*mIi}f]Ltf=W ZxI]‘Ki.4rj sojP^[zZ_ȰUDh[n m D _n|Ip,ﬓO8%En`0ڈG/ГE28mwWI| =7OBbM MkZ=5B$aϋHwA_V>/A7;YyLI 3q`I'⻵Grnhl)U& 5 ] ,a:Oh(2•=ĚPla`bO0#UuhRFVIyV7]S15"c)0CJ>p;He [a]ewojB6Ƽi"gv"|-c^u`]d q oSnj+( Ts j *(Q )+)>A˕CF@u 6OKW+L/ۧR2KJ_5ڵdd6~MpWyj͝g"5Ҫ'-E(ÇuaUbqSTi*Oך٧@0AV1rw$bΧljJUܹ@h- 6=Co)blodV9l%/]oIjo#VtMN?=7dBhT#q}{:a٢d 5 ?^hFb26A@礽ّ_l*2T¸^aoHrM\]'3sy8:>7EG607yo/WUlES# d%sqp밓b1הWTGk]Eϧ3z`ѮJ'7~*М}eT@ kOʩH2' '~+C}+( نftrDg-QIb` e](nxtw"xVtZ_2)fATf$@0Y9)P 7M\ Y>,Qf|a)T]N+a,~'*܄}N͛ht.|A%HSw%L?#U6::;~_#@i\*=( a֊bT&rًo'.5c 3EN r=Tw7so.}uXWQ̀"+8r {17Vߔ.CH+ Yi`~ atv r +̣7@UΨď% V2ݷ:t)Np c=LqFc=a%vu,ۜ;b+Bhn+w%^XWdgX`UoZzWE开h \¡ڞ2tMWgfȻ*z;X) ) C^rTi6^ONȦbC# ܘX z>7_&BG*~">-54χFm//(ŔG0x t E֬Yr㫥W{6ȰcHk4^ ч xyk&_j\(Dɕ _t~N^\z=kÚq[Fd{3(%`DFV~ٮ @N.+[Yn4*Z(>zb-(j,zF[kʈčRZ~^8Tenx^m10 .גV+Ii7 @ԭx m-˩eƿd*/1cyp u葢ĩ4=v)9&:NP!գyiߓe6߷L4~MO1Z84 3&/}C䎊F$j̕FoC@lp488\^-7,Ǎ3QyM#QMza#}J `:S?g^L˭XΎMъ&Юd˝3fڛČoO,!23Hϯs6v}? |T΢(IPBŝƗP3xN^eĠ|C 99w$&u]Yp:Ƀ܌r˥LMT$EoGn%xKiup-ů a݄5ʣkr|VjsO|S=#9JD4X:ɅJRtxdudL@59O:|1Ô)]~+Xo>DP} ,]>^ Vy/̫bX,F vC)|Gy%.C{tf°5n*~0ZmXD<ӅCOhߪ 7aKOU"9*(i&TɦP FgNhDmxS 52-˽VyO-Y)f!bZ/4L bUfBOs\Km W1%d3Ql~ Je9SlRCeǵ j4HZ?Tiq&l_hs-N}:I1@fWc#3}]“D4yZTT7YCgdaSD WiF؄ӖNGDzg[OK*GԚ;/:NaW*, 0,] ̐lL%dߙ[ޖt l9/Gi66}eH53ui4̨F8&fPCs4/KI]l /#=r AjJ>Րej@>[*uG1Fcl$@a@r?!Mx]_o> `D}ńd샾IpKBˉgv_'y<df<̰EŀaRu~8:[hnG/z(*Rڽ5fGsEq@)(KY$#3~Dw_Tf!Sh̒;Gersauߋ2x짹5v;V| x E& Tt!|0{km3PGNM;OUd Ecq:^å vtrMĺ{RaBȋJ  l"&[ X=!iM<`3/G*DL5 cgl4Z.C 9M1S[}-4ը#Szu|atQ}<(A.8 yn4A7u1%Y3aWŠR 'gVKs5D5lթe Y#oDrg S%r,Z =@"AT6c̤{̯ߵp}áɢĜPDz(MJiW>Jͷ .)hљf {ʌʙ݁M.^5,p^Ύh^zcK.\e2ϗ"\DkL0ilǢ*v<yaטaw;׾ +a{pT̔(HXU[7ҬE';,G-~ڴvu&3 L"l Ѡ=3{X[ti\A5ZvB QCNyRCMy3=.יN_?7kO`cE^1XPO0\4U'%}*CY* 4yl}c"īE^_z 7D~1,cWV4ޅ[Z7uvҽoċVt3ПIr>\,l+:C`J=mJTF'+}6 C7".J_"ڹUQ YnsCʕb.޻ 9<ξ5;YnʬRc1!q͹S+..vXdXцhcHe,-% gYZ7ƪat!{ D ]u0:2>t풎vYQM-^#QD6Vw5%u1i2!2M0"O5;J~z+hYSgi(Jҝ)P|C?K &^B.UH3UaV*YzLX;Q.R^ YF>ͦpvIRص=66Wifaئq cj%U$LM&oH=Γ8IK԰q)%)<+a?Y>h%)KM9e<TWq]29[9mQ_B xKwT 2fU5Q٦7Jf{}"vs#R/}#Ȱ Xu{HP4lBjӷ SF眠cd#Ik": h{}&1\ZNRkl{!7>'PnwQЧG! @B8mGLuROpV=!{-Jvͥ~u cth8PUɂ/AE=xRMQW97H8Ϝg?~Ҷ/Fe+~ hɩLޕ0F 7!C!=zWYwO1!GSll:@ ~z,jA8[SpfqbCe+iJP_sL?;TGxre&R=CcU 򢳁6ؠ[jUnzВ&ȫvEQp3h: z: 24Źt*P QEً⊱[!; `VC#G$fJ&^W8yTLw'{)`6)C jfBX'CY> #AN ]J[MjKF(}_.d~+v- ),[c?s|jjP(R(֬tX]YSΝ6.mt-95}O{TfҩfY;P_HWɟe, HMGmtMY R9Mc 9Tz#vT}MfNB{K9yXBjŒlEzw]h^;.ypy;ZLmѶm|w2Y˥/ͨ{%.dEk('K q=s^1WA;->'pz4G(ZV|f+cմwF_V|J)wRxF0eÏΊ2ǀ.pWsC -1BhLA:cGkI<\)$ )E;>鱳 n@.{RF,ɑ%MMOhldy3BS5.CUTúRЁN/%$8\i7/Ȳ ),ӡta8. mP'PZ5R ~[[ߩ~W]ie+Qe*;Z.^ZgYKTmH~4BR YίwjTxXN eZ&˵A@X(~ J[.-y | YL.y1P2?-jQ!O o6v= Lz:|uRV&0Fj 7ZY4Y#pbJs{AL67e9̐#4z I9Y 487'|_n8xsQ)cE+DC.J$זk,2/Xv>?XT+-^qLv}Jwux!xxbwieIޗ:.#F>FȭBa;Sna1i!KuY?bF_kۧM-_+ h=E!,o`| QscK 7y Q!8 d|BECCTmӷ~!laT?Y@r-N4_ H znqlۺ]G1puJ*|N.)SHpuQT5-5a\Dn R|zYyy7U šOY+yQX=Jv_{ցr)%Z@Qp XA|x- Jr&0ޭ3!KR54{r>Sп3yiaV'FCZZP;a`D[ Ѽ8VAןV~[_Dyں8ˆe˖Țo%36 ŵzֽyX,;!xa^F;%> JG)ZX[4ƇCSj노4zm" s+ϛ뽣w}wHɆ[w;\Bqܻ_suBeͶlQ{:^CJ\$N]፺=j칓w#!lkZV»7F?uL}w~ Aˣ0hs(Q,uw}& eoN/ol؞+]qPIc&sGm)w<S+0aIbfHD]`CROoT]dkrWZyZKs-pEDdzcKR]\Ê:>$J|fZr2tDyƤ:kDGlTǴA/͢ɩ`5>!^ؿo`L^wEAL d`ʼni?X!#G&Fmy|7[!FSM-: iaR~XQ&g۾=5Y0֝gT_1G%|4#/fk@D*+ d++2/Zj~޺XͨHydKD]Yd`8',ywOoglꅸfBoqc(fR;6~Wvg5N;XrwB::PL%R2iՍʎvu^0٨#q]œ(=&ڛ=Yz6U7>c@J95{B*1=|% 0S i5/gֿո*v <)3bmv3š<=VVS~0 #~R#7OQ(i;wQe ,nWjD SG:23аú=e.Uo0-LE;]hO `UFrrm+z\0F^ZxJV۳QcNJxDA=*mXH<[jɁZZa2LD- \ Իj،aߟ/7ohkkqϊæC{DYl]+Mm baݮ.tvozj'"mbcӑ20:V@Y& u4 !`AdhyJK`BY,ћz3D ,Y]Oyܲr: $m 9Ibn5u@[@U?~+\kCTMLݑ!mYl%aд-%s`Mj:7cuO`(ґ>P5 w?li!J dAݼlk2n[PzLCFKKZLJǕB@0{AS'ayshlE<ǂmL_۷L=ZU&M3׀rJG /,:~%pbaFk7ۆWh!# ՐDQdIK7 5A¾/}6?Kn8`v03OmTJ6isﰄQ bem*xC-4e។T5@3*N= +BqSL Ѯs@h;n9 f)qz V(⏚Hpثơ4|4 5d08ӿ^x3%ϮaiꃈIo4{9jM4ٍ 4t/kti]3R6'ОK rug |YٶrOOhݝV8'2z+`zKXdM>}o>.GtB7UXKX7vl@S㞊ji_Nx<{$X/c"bnЬ^7 Ĵr1& -Imfn/Yn•s/L;Q/vD,sL4sjQ朓AF 6ՊN =3)LF4BCV[.Z>WR̀zRȐSIA&LιH2n‰lќ ~G\IP[C4O:,?R C>Yt;ȷLgk|DhA}T 씒k@WOٙkq_*/$`d%ܐJ(KCzUN+{\^`HO^ai0RKIxo-0Sj %26h-{659 Ia~IҊp!o& :0^8\[W mfp[ бA^CC0>#֡YKA$rq&#ÿ>UU̝b dɐEDv%ϞPiQcݏ +|>ُrQW:IXCa`-8Y$qDW 32K;utdȘT/*&j 3/\N>sbJRem_tA MU%/Oz U7=T6?Bn8%a }V )m7/rEP`/|?ka2CEp5i=:?$Zn/Q.U\RR;URxs fR7q:W,9}羅bxY9yo)~56q0CI/VAD]쀠˒y՟y9;W)!9TN`V̼ygYZ SS3 /# lZF-InductZF-Induct.PropLogPIDE/markup7zXZִF! ^K+0]ˠ)jk2p O6LP=͵gl5gՙqjW-HIJU]]kRφ1{ncK'15_o_X?5x}Z$T5޲,8=YP{J=fOJR}3~2Ɠ跬kfu0Zmeo +L(eW^{p_߀M7|S>a ,&I_|qxAˇؖ#D=uc$3s!u2e{Xc>f[ZIf u~e hz=3π#CJI wfK,l P =YC>a znX; kʂ&_4kT$*;%&bLvV$,U^Rs|2?1Z ]X1 e21?\m -.9FO-߷-gp8C9>ӊ~)3l/]_N E٦I[Dp1 .=!&ɑ 풜苙/goA^O q vD>G--A*"iuИ~Oғ @S&a3So I~;JS,nIXl$jn9WsR+x0ԡT|[&-4j'P__o|ò=pxj|iD2($2>lsBt=g *k ̚b>=?{^DQhecG¼jd_m F]P n6$G#a%!ʕԋIL=6,+sr&X<JDͱ$"c,gYreY&w;/RhזBo~Z*0YHm鉈`+ѩ[)=FLOV0!qN[.U9[otLKRqɮIMRs0 Ɓm;PRO0_P/~<0 *JDhk2˧V =D'DO42ƂT`aq8v|r} YݲmY"li! }_@TS.\:f0_2ed;-}%880Bi;xw37̈́0mj^uhe!'PVcDF׌9'`k-h :Zq%CS(;>~{i^7ܤY6A!TQ`N*?Ǔ_'e#!!|"(U :>"G0 p~ qj;Nb.Ǥ@0%٨y'SZF'T`&cP8@8A&ε:1Ll j!9'0௎vIq-{7J Aq }֤];XDH,! oAP`TM#ܾS4;ESW&ȮD^K WwRlP.'n& 3Z`N5XaO'55f9-! tpwp]V-0VϚ2yf]Wk;M6OaϑtSA#㻟e6nkhH# ӘRe|'(ɓa*9O%d 8LRr,:Od֡4 G+ӆs;I߽ ?RB4 O蔵63:Bt9M7І.]7jގA'PXۿ)-hecu FE;jZ0h*o >킦Mg(N7zv+ ۽|Ml^FPZ g0Wkd1ҥXD5\A!XO ru_ H8r-e :: HHWxBeN%h5&&&k*wۦ*HY?"O˝:rЧ7_tZ9T~;xIxjV]Jo[ٰwnC&ݹ 391ԣyo|hmL?kvuO^*q~ Fŷ,zgbZb hӦ18{ǻ;%G݈}l,tB|8e<7X\I9"a5 .OU=E>G~esHx,?h ːJAe[$xGg0^[nj&n ;'oCF5*e5iۺa횘j#]rhɤW? F[-Z3![1-@#2ʏD }̀Rw*v 9*XZk>ÔFV0e6LLFJpUJؐA tu*à:%hd>+JV͆C.$Sp Зh2,"0'[.FT-F ;t"3n}^(c}.?f.~(ZJ`:=(A nip*86  V # C7 )# oP+(- C}iUKa@x^߬OXăxt*4H<^S_oQ5h5ɒ&0`J#@~NO TXGs 1=RWAlrYagԪJy=d͗?<$1o0Bސڏ6WKF ZڋџPjR*k#Ot3:"j8B=_}(!5>e\<-"FTnAsՍ*ǃVB6>BhJuG;H<.Guk pu tIi\ϬI޾kuQnWrq1N$ [׏SA>sFy=|"jb]@& $t,A}%W5׬&]?{QCgZƒ$|6;ydDx$F)B(y,)\*kL{\\ pK/yVs-|ٺJ]l麺as\'Fi[tӈS9xHdw-'ZqAg\.;$:`Jov~R.Em'g W^)jG?I/ܻ\&6D,심wlN $X\*p=Q&ؽ8`@5 h^AP8O%C6Nl3S;4S T|fyR'坳Z쓭yq\|3/fz תw2XgVڗQz:A[I$Zڼ ibVRNs[7oͨ)ҥYi<=`[4$ -A |+@"-ɱbؕ t{u]tNr ,i5i]4&eqVď< ):8ԛ2OicCHXEd4rp,x , *uq4lB)#-υ#o+R8ɧiXsXci ;u{dl^<$_Inª\`bvH!j?"VNQ]J]QRcmFO% *PwXhh(pTKZDjFyQg 4tGc\g´ lv;rm\us {I)#$‡B)?-2.QcQ˄Wch~6!3͚{rn?1~#g<H u7GBe*b#q:A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112'4/' |ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N7]·Iq n[:|&[z|ODU#^u!'w#Hj,8{j.#MBF;pҔ M:hm]O Ҏ$i& ,/b"먖{ǭazKH"n2z*ġMMS n3S=%o'Nt]=FOB˹Z%B]Ej{Õ? ޡ"h4f$ORe ?AQ=C W/9@>9] ^Ss*]9+ʘ>uĽ'B#n /d5[L`dɇK8,~UTq4T娇4`"fb˅>JQȭl~ 1O>++-"- 3ƣZ \,ccdCh.&2eV6 NNC*h2<f8ƪi Q "m1i:gxJ^<?J'Afet' /ś^- | _)㼌-|ߴ}>dYCBl(8aF7|}DՎ aA s/Z̐gO*-u1ڝ±gYZ;} )@ZDo숥jvLr2`H ferj6Uzoçk&~j9:*1U,nP5n!4!ػ&xOZ{O{#?=T+W:7Q #Q^p#  }7[K5*VwtrzⰬ'[ҷ"KU-gs{A.Q״qNc8 [!mܑ[zfD.EҀ~Ed)J!.6-8(Yf7.aX"/0rZklWvLƤSFb~k,@v@N43~j(:PoL= zzH)2pSv`kQUҧaίukiPT"lҌVϧR`oێa9<~qeNgʸpnvʱZbVB/8:C*'34a5>Jf7)V\[zfΩ:}#Ruo l&f@ CC˅c3A0~eLJfɈOAW Qh{<ώ>z_~_!6\P H6䦋#hɻ5xl׉0{{6.>,+h&oHaھb̪&Q^VD)&dڰIX :CTpmBheemLX<:>#cEH3c K11"LbOCԈFCN%D IݯȫU޳@ţ~WμBK0CL 1c[=رG܉XqZ^nEm2߭:]ğ&g t9Ino/i^~i@{Z*.nyG5|#|7.dnI>G8 y,t- BleCwB [uSg$-5,)slK2Grs TV?Pp vmaBYX2KHi= U~:P YOhݞUÞ qq*+X Ay+J,}:gDM`' gْ'(ul| *DMpyV# Trص>܅ܵӇu2pPq->b;e¸KFo3~d/UQ~p["%5NH7ǒEkiŒA[v?UpM*Z2LzsdYɓQR[<xvD,qoSeTgʴtJe{fxxj"fڌc'JuD~*B[=\?l<sq)L'Hp94b}Upo$t}l@XG[}7OH<[>ȤIǪ1v{t/.ܩvt<\{XOê Hx Bu-ޚgIC[RA$+Y!ЕeqvWĢ3[BNzfyJ8Р^etL|8.eOߜotd*㭱Hq"IlՒ7moi ltMd\`מcEmH4[II!&3V?&OO|չZDefm_]I\ܶynš^"P<šJ$-I7!v4_+w.7*|imѣCQ%6CJHjVd85鶒;_ύyB θ03(_9s)}'s )L"ܛMQ|EROoaD!` [KdwƥsQu @cZC݊c4`Ӎ6Ht:MK @f\3]ҷQWhd~; ] M 2˷l #ٯb_1ó{9HIfޛ.0 Ib8GE1yvM(0qL|,lYS1Oi-ŖW_p|M@(0'Cw[& Wn6nj3C#f˞.܇ 2pkY͸FoW4bLHpBY|+ET)n,le~e:)XWAlԈ 1RU@Ӓ%9D 5WI7ٚu3f] Ү~ úiY`k#>G}⢫4zsӮ qEi5gw)򫲡{QjK>[`o\"#殾=,`Y`GyG6[qVni/_X ƺ8xhutx XK5ɻi Cʊ;OJ%qZ a1ZѦCw@8:pTU7 *EogVʇP0Ia!9'1sŗ|sER%+n'^b{ɕ#6z%*KFoݓ%' vyZq ps!6nI֞#9xΐ8(+c~d,mͳg7J^Q#T0NL~PrC[݅8hYK}6S qu(_Ui2iKSYHb?2,y_C:d}Iم->n0i7.֣1QMQ4V@TBNq&p`k{6),{\I%'(W!:&Ґ*h; ϥ1ų9DD\5 >KM$[ -$.Yr_s$1nmv)E [5Xs41U T{‘cuѴN\׋%DCPŖv[t 3Dȹ;{ݲcԨʒ5]ceI/~VtoOHM3睊ǦgB|8X1K̳ꚶJb A U\^~7#oYKPSY#X-`]cŸǧ Ÿޣ史'#cMK1H_Eʪ'nk ϱV|ؙ05`&p\dϵtH!RL )Ӡ 'afOZC&+T~(fbxdïjCiU){ fRFlYoyhJ{7vZצx s='Ed+-xJK{^7l?Y'߇Lut[> v \Z-Av^3[O <|ݸbߨ:6ܜ-@1*C^?ayLcVH{Or[9b.8'~}2wzwO4 w4s<_\+NH^5Q!0N>,edXy"6n%T#qޑ t;OO?,/~{ф__J@ !CHOާLM/Dyњ;Ј\O<S0dF+|Jh1ڸ_Pv_*?i.zV^J>RFƻB? "'?$QlX'/fMH/ ;Fs#Mc=4hd[x%:Ŀ$' @V)ѯ'R>̭Mz=I3|`DR8}c3>V6P0E*vbJ2P(.}53]%'R=?Uɦ#rAЀ%78~@T(숔:HnG,[z[gH(}KԽ=RxVd"4V#zrv3W$fwZCܔ*p*㸁"]ÒԶ@ԔpF JqΟ܅0H>S0LK`MmDD"Nk**ѱ+g] dW0L#џ%ťDv犚 KaWAL63D> )xFD~*wuVCi?\\#gq~W.*e!.Gd:ӬSN~G7 #p %cw d) ᙷ L`b'$Xu()&Ǹf,5#}yGVdϨR uXH;n/07`{/wؤ 㐂t JG}UfUlϵܐwwi6M860Q -,\ UhxB-Q67צuAQHqpx&OΦK^?V.l.EVy{x'lo߰f2ZnX4{Bd0dtQx8R[DҳHI,"d#3$¼0KG?ci)'[*F_n ]L7P]J3Ip=8hL}Zn%±yML:P5e+cI1xkueu]I$xcmyH rkkd?AQ9E`*[DĂJIWh}`%Tt?ZQLu},/x3N@d_ ͞;[j%LKQ/mr[쒺Lp/3$g1]lm*L7S4cTHڐ֕YT,RaV ۼ k%ItfƉh9e Fd|'A?7'z{sk"[+Y;ﺟi,TD`R=ɦyҬ¼\hvrLhU$ 92q(ezqa?r x%*׸ҒN/mz4>8bZfcm2ԕHm㭬>aڇ֬o5.^jFQ7,?5J5 RY},Dr4YK@a~ fN5;Щ웅A,9yWϡ|seoDC3ʆ|)t?DHX=1\A'[:waoQ(*izlra{16[$!E$sWwX_3- ,Lq1f?np͍F%jp|1d3A@񞰓/9Z}v#ܕR'?i;b5}Ԧ-ּ })*/Zjw?պm>0z(#Bb,۲ȬXsjHVY5E|ژ!WݯS#Qsa9F_ aS/'R J fYCN[qd*SX:U¾cWu IgɱcЦ~u( T}WK`1Bʃys7*LC/lJ&;'њ[Q̠v\*ۡʋFhSA8ݗbCf,iWsKx(^HXdԛ)ey17<܇/<?5y`h5̊ [dwugA"L#۝)Fr͐{Ơor8j?ӎ).h%M1^|"x(r;"'c&Co#'q.lġspmDэf(!0hTr= ]G;E.k.gp~Tvc {uМ؟FQtbHRX0 ]ػ{;nS dxOR[ҫgYZ ]C:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104l8)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}E+qk!p}1@|)\̓ߖp^W vS83?d;HC s\OGY鵼\f?iNh#^,@n 3mIq[/N3bY-RlGvQBPRzR12ݭk efuɃ<[w&x]ku!JZ`{3X'ngH.tBdDQxgYZ.}ksK"P:MnȷF=ᰪ R9?N\Ђw82&ITGkޑ"82­CVhXbL }ZmFN,(zsr}_B ϐ)4`^WBZd#W/&F."ʷ-RcxF݃ Mvts?0Z]yc\dԴ)(l~생$40#kp=e;7iƗ 6si  ׁX/+'PXI||To { \_U9]컖٪VFv\V2LldKc;@//jq]jKfH=`m7e(7X&S~ٻ1#R^r+@sثPŒӼ3H#F4J/gζ(qvą W۔5Uo`. k HcL/=·#HrBKkkl꺭\@b2zRHuCCsbUV}2+˺?aIaýyc쳩EIoZMY} Dzߵݚt!: s`li$} нT6ETUoRh[9NBb NCzpP-́/HbYފNzף`R3 #3JJkS-{unXWn$#c`{P.%$B{;i{.lp}׮,|eMƔ#=#&cbt.#U[(#GA/S~)`zRvqDD@ jj:m)#^aRV&+=H)Gi~L#cbJFL-5&8n _6`A4]3g,&uus&s++`8늇1\Kz\Ғ>Q?=ss{{˿c,i=fv*쭨Js@):m i(O>\lD7+a<j GZB6NeZz"Kh+Q,( (U0Q6TyNDV`hSlW)0L* J( ["aGc!pZ[wPDS/[ [-0{H6f"?uf7OcN[;Qz9u:u %z!o.`?Hc U)5p9~,Q m$3 7Zl u#@Bo=IPjb>ƳO+Jq{+BImƣ#M=xU0E[KK>VF ?Je63$9?VQfTUƭnښ$ٮ#Ǯ25 4t D=Z9s (ݜ{<mMjb(+$CР՝_i2Xq4bqȝ&Ø QId2hkl! 2, ^zk2OR)P3 ~dc -ё=˲.I!ܿVs:,vq3#ca^!Jڸ!AT͚k0]pTj]g7OFajR џ'h(J~An-l^O`Uoj_sw(o, Գ/t {^/°y/IVc߽2]bX9}q+}Nqp%Ax@e)Ց,^5x_* HH -J]AKa+j@9@~,^4&Utgw/%_]8xJ\"4JqijB Hp4݁vwxN~U7Qeyߤd_ׂ1e&NڊR3! 3iPӦȄTk=V+cdXK?iDSfF O)2 #}ivP(g`psi9¼N} Uv% (ÎUќj%Fl"SMuٛpgOUDz݋pgdm5#}JZ)&걟 +$ G"8ILܷ=d_Nxcy2X#Տtf]zЅ޿Ri;M)&r,v}o,졷;QVx o^-f䉮㜛(@*X.oŠz%4+R`YKNE}iT*< 78J}@&gq`-.;~+4HҸ Y%XZa7?[ dbzDU/6s0vg@RKr:O8>5o4%*(Vᕐ!ju!pM4iVMdđ5-QQE 5rL)gܞfk,Pw x5݈Aі`OdI.AAM7ׅPDӘ[Oӑ= YgYZ ;+# DZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͗"R7?;Zg9GD])q#&-2JGOͫy&i'i.PQ6+R ӣ*{ڭx P35F-Mn*ـqb&Xn0zE ҒwC.>]:>CuuσS:+S ~S2b)+6 YC}|cAȆ":,U `P1yLGpOg%WCJU'\DL*'nsk st tCb\1o \I)!PI B<3yF=d c Ytɹ`JzXo˵6[b͍%nޖ%KϤ؃,)ۣde*зή_N(|g2.@X*I| %n 8޻"t+iKZntKŜ4!Ovjя<fZ_(i\VubOTAF|f 88 q㢅h Be!`kL=`ȥ`9uuIA}bү+Kn]N;AP0XYܩ0F/fLL 0͜zVFGYC C]Z;}uLp3[F?70 QԦ-k*L A`-4A?q !~ƙQRWѹq|^D_>lRPZljd>bڌVv3zR宩Sۖہj0\x ~C'sS%BcF jliEcmrӵL':'VC@GwbU /۔u~8yEp 9+7;Zg {";4vyAiͩb2$B2swVf-51ptJew~jhqmNq`͙5e$[bvWV_wAqAW~(.X%b.;A '۟i=I0K . #E)('*6z6NNT]i~ ڈe&Iҟw3E -m2.E`Ѳ`(Qky9kd.HG>m5pzY9bI6$Iz>>G@Vu=pomV@p8lY\tXk̐u( ?N]+%G?aכ#~vlF9.G$}J,Hjj2Z iZČ~^BgŹ3nA.]dlƤnKV2tAÊ ר ?փ b4X%<##;%FS.iCgvP(5MvdM.l{CfxAFOs5C*? ,) 9\1I c"!KIP /lQB(K5Qr{nDlJE,dw<sT?B=unY^irS!zŢyne@n9qP;qbh~:-\ ǒX!gJ[t4@)։!b L(kتsR[2g)?E($Mbf"AJkj~Mօ88Vc>ȿh#RN2:iE!iZ@,%6s+{ S"\ӉƤ|^w$<G-M ݷtA|}o) [dK]cK _=R꛲yzI.Dl(b$ίV|jr-PjxUd3R5 z̤ۋڬr0좒Ox/eU'hkX>JHWW؛7i7$z|l&H,_ig#QɇA)Ӆof:usma&{#;b&c۩>M_)ww?Ʃ1_r/s{fp_m?roc%N2(])NNOBe716dZ GIHj39.ĝm)7b!r)񫿕ё b%epMHTB@ Pyp ,G.?jVrMJ'P)Sd4qXȪ$4VE_1VE`>y1>syF5\3j eݮ~qIAJF:H߻#g~˃բ(ꬄ2% *o[*ɿRvCXH]LxeXYjvjs5z0):+ x)ז[BAB)!>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[:|&[z,k[Iv~5I{u~%I&/oebLbc5Eڭ 1{/~*Md7sOA)!yg-d[ oA3l@Qx{[x`toZhkݔZ@p,5d+69ܶr ɲHG%Њ]nY R߀T 7fe]:`1GCy2S$Dj\[XnT3WgYZf? 7# tZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H!]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;mwXgzcA4ak /t w!V,S8]fge >qCY/2#n&KC&Z~=f 7#ꪙahaFg%: <-T|Mh G97|3b9vP:HrUYzL 1fYyO a U/8\돽&yZ^m0R7xoP&/"[b# Tٜ[ 8R =2hR3K'O4ge_*H'V>GP!41?]'iԎ둿۳F#sD@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[:|&[zE?a<(ab܏hN.wi[G1G!]1  %yp]":qtVQ͛dn CDm_^ X$ 53<5 pl}r/d=E͊7!~BygDfp:DWH[eA F]X_b|"c{d+wvju7K"Jd$7/ꣴi8sw1UY?: 6)c4MK`~̢-qXBR3R6H+si<[sZ ǛdsgXt=&.-L&AAK%Dm?x``ofaOQ D ߆cA)@#Dj,'6P+fTM[LY/v \%^X} @?IyqP']`%Ĩ:HU$[ʯ{5'!^E8wGB^ْȇAòk"k$g_[I /oRϬ?uF)ck)GR*P?D,2*4 "JK[u,e+UGGe.M-e5XNT{:x6\KPX_o߽GX짂vZt<vL`G¹*N໣hR<w{m ݫ&5K7a=\dSpz+i,cצ]Ƽvy gF4Fcwkѱ-#fݶ%kڼW)ύFgYZA^c"MkT4k5"5MԺCwOQA~LhS1 (X9Kּ hPS@ij6`!H:;VoI'FDrR(iM tU+ O)9mG0 4~ɉ/tϫKQ/ #ncb4O)B{ۀLO8l`W=䯝ju)̿hy|_pק j E A;Nw|44{jt䏘Z5TC\ˉf?V~iGk_G`pmJ#KUn;q l9L?"{,OtCԟ>j$rkf뚬-'óEEA*[otSKɭ% cQ `+< )#|t^*e6`JMuXo'.CZ5'Jg#B{(C8`3. IfMC-NMpOEK>ZC9֞p\Am)-CS`eB f ;\q,7u EAºFru+}R M,]fzqvB4lDz`?ޠ>S6~U|pm}DL"ᯂ @Qi{qL1mI=}:QsX5)xQ_&Ul8΁8٨M, wBE;]qyV;tVH% WtGY"2ax#j "29}HLѲ(=%q|d$l\&%\ouXsqqȣ`^) 6M~T,H_ߠͶ {T杽69)ٔ@oԛ|f+r^n47(bUng * M3w1|ܭش76N[p \CSvPCsh: r2c`+}7D}m@X  00d3|߸ |I!هZSNjfdK'>LE9k:jm&FJWFCiGVNx``8UshJڿ^a?`D|t#Gz(;ىF)s6u|τD=WD}sZ/\Y_` oE|$KXsAiHB.Z/VtyO- MS;8^_Y"0u9/VB@^`?0,cd]s:|ohb*0w1 M8|; {]+z6`/G] ]NI~x>&'_-U<n:qẉ(Y*Ww^竆npz(Chc~!kan_ݗ8!C3:xdD?S!fbEs1m1mm;,)H0JWLtVN*h =rc, QNѥs?dzn[{ԸS{*5zJ)2TAMdo'_"j7,TnQ  M ҕvEVMB@)L%#КTk VM15>k{⡬{F!3|0=p#`# Fl@J)_գ$E+VggmG]͎%ղKl-}Hy"guBX$:"}FrƹH=ܸv8`8/ґcw晥 L5ȯ'14/x?`tfjS6s5~)ʖ%2™t+C/JDFO$G#!I*SJ u;6ݾ1a(t.glGb8dȤ_RWTo[n2sX$8R T|,JY@h(lGAs5;4S!Ijp:%T0:p"J#(\bUJn&OsDN\8Q F6|Wx4ɺ#tE^U*õQ4r1>-4R[W Ί8}z,J;L X*,v9؉p5\|@) U\΅68V/RK#¡;JWUF"C_Ӈ%\L(mmv*EV=A O4v}BoP.J803zR$8+C`tecx.y\-l$i 4? }]-z2\EWB:.F~)WƦ#5AE7L1.Gi;Za[>64H3d;'ʆ-J̖JG~!/ OLV1wmY"`Q|ٱ޶ͮG"yA,a8 L{q\ÛY"Ux.k&.fܔ/C-z ˉӨ~;K;xHPvt")u>&D5ryΧ0]1P7c:rթS#c*D.b%s1wt:L+4YS\`H{WdR|xʙ_I6Q\5pD R3/w7>"12IC|_~N0KICTs) ~ lϻB|0>1$T=B'ӦDG0~6`W)0^ !l'D*o 8C=/gުV~J o+Ūڂ wPVcI[4mHݱ΄xvW#+hl}. %tTjt\,QZ~j$fQ/a=21ghO+dx hр>~T+) $\FͿPBk^o5vYD q4Xcmh ,ي,v5}X!U9p'vUc||#ïtIO{pN n(yo2e̍Jd??~ 5eK'^{xKc!% G?INh{ 8{%Z/h(O:/)ųO&C p wg0P1(VKHjM͟Mq%pTv_#bBC?XZY|86A A ;$ s [~P(> Nv0' 637u^D]-qQrm=+pF豟DɁR=t?7NGX^[Wv:~7 iz cCb(6Ă(1i(T9y8ku+#QmI+SyO#NUx/{6,bd,ȵRGw#EK>߃Tv sRĚzax>@ЋBRu'}=AzQ|-â@uA3X gz!*9_1xLALk&vF Ϗ=}N!_9fp?"v#\~N չΕ9a( /P+O(^ΫwJW݊dYL_+~6$:UwD_t#@KHPI66SrT\r*zx!Si8Θ A[tƋ 㪊W+[cFkJZ2Hʲu"o-YLQTg%?e6$̨ƏJpuD~ /E4`=8+w]\ƄU]ϭhU~^S#,&DIR+<ua7 br3T4UsEKev{ҞJdSҜg4 %q"'Š+~Vu )KM$]ʶHkHM,`r &2:ݼrQxb5}_ wL{\ #ܞ_ߏ)=yF:oKێWfA2*G5 'M?50'E\z.tUH˪zrE-=ѩyF Jhbٛą&>~j5X6 7+mXs!֯H/&K鬙gpGN:CLO3k-Hoe J+9Mc4<9-ӡGl3jB!#&BF(xE'ZrMx ݴhY69j]חE$Smk_Bf ?2~QeZps)tZ/\)enC:νz_#o{ۇziM]fB<6Fx_6d1=s#{IrC`HEWBQ; mZbA l28 lu'ɼ~&+-C1uX4Ce "9 _čl}j227SiXyIxdh?若Eʿ/_f) qO.MBW4AGoje!2օˎHS6Q-Ӏ!S?9s&]gZzW )nc- "z 3LY1LJjZVϩcI bV.Tkx»Wx[d|a:^P+6WK==ϯ_sbP5:eN|-EϿ:u IПԤڳRwDhK9͔(&Ν '#Zddrt3-oRX-/ fl|y*{^PE7b)$s&ۮL,Eyq VKi'GώiՂSA?a[:62Wz<1[Z,![JJWױGļvrTm+ UfDԣE9tםO?IqY'QDO{y._ռָ[աÈb-xxjFI[{#sTs/<$w2m c., ܨʘ jڂIu }z!;B|I#¹Lb'Ҳ0.W^ΛeT. 5껱)\SLmA8"GN@Q8ze4X %R $ijzסڟ#{#1/mEyg$ rͱ:Ʒ$#J LHq$<*s 7Q>sKYUXAR?X5?^xlE8~hcu*=.qewQTh%fx[]a[hl\h>1:\Xzz;H~^,ˉgfMU+j9Y ?ua,i7.8 pE,x5e[A(/fNUVg%0zVSF@"̧ΟŵD^dmf>=ɅBo9c pKi^ՀI"b#JJMiw[.?@r ,)gK{ qOXFr'ʇŬᳩs='j& Db<$MPbE<Y5.&SU3Μp64T=woTt3ngkN.om5NNf׸ ىiRKiۻC9"EՁ'.yɃdag}͹#K>OHF `1w,EIb2CV(AmZw%d7,@ßYbuEM$tc)_m 6$]?QE µ$ sSUƢi_Pby,AdjJ  ` JйʲH}N*Uo'>FR?qѼ_J6">FqXvxP9Z;s:S-3S3 oE6Ԋ$>2"bn.SM㨞35JU:`JdgZETVm U%GChc(<#gf6PXMR .>{'8I2;aBܒ֑%_h y6͓`: _unJfl!U3Ȇ2gѷ+Eza^xY4? fis}ZpX- ۫@9-RזpϞ'𤧿.BE):!brDɬơ|*gYZCdkx Ll۱< i,U"Dm^ 2$utRK7U+h(>x]7۾J\ ^ ,2RU>Lz^O{9t#ί>n.k(nQ. 68V#dVao`|fCPv_L|;s¾:-(GR}mFCdϣ6^Efk2f@kبPlv z"fp=xG زYo/H<</6<,eK#&ˬ:!qcFswiwN6|V &s1ܴz޷UP~w25PqD8.|`(O<rLW2D{&52'0n95bckohqT[Ekk06$?^u"@ª$., [ҩғ B8789PXIr{d4'o^5l=B@&LN[ֶnwAG0R} ~zzhUA %BL@rmLjf#ܡOV(,5)֝qiɯ@|hCH:)[d ^ pQ,[JwNbHyo$hb e>e,(_:FuYAfZj>h&$ g -(ߚ\Gh7֔C>`ŪJ(z[w&3JIBȄ~%y0o"-86LXˤ rIL>$Ǎ>wH:1e\;i+ч!C2Y,?]'11cє5hxG RPl_dGݑzըi=&BC,UJt)7ʖNhallqe֯铰ϸ` Q maJ;3kDPcN4^}S.UiC )8#(8c{aDX)@طkR*`EO@t& Yax|;0P2Q"q^S]QFL>0tT+i4{"J8ݟ޸=oUI&<$hE4J=_!R4 sH#%^`x+<$6}Ws0:iI5:p W+k,๬jHl2 ꅶj&NL,8}؞_},՗\2Joz&NUg6 '"C\2(Q\ f Hy#y$09; f^iƫDγ#@([ aY=$3-WFR, ԉHؼA:w#!iq5RM WpᲈݎChN`n_y$RXӍ+YC[5*O1TwD"ŭ'̲suμ0S IT HYw/H̻ ֙4cWMțwR&u<>Y#"VǏ/Ii=.9 \X#<>-,P"'xl${Lֵ85$3-a;Jf`D&wT-Ω /:7krsE|9%fV1GOku꾓$gTʭ~]FH*L調nG8Ǭj[ƷbKgY>۪Ng%ʐGws{ [1)%ī!ȏ WcfN;L6KF@ɸ6t_l0JIp&9\0`' d>4s{; Rݕ0vO3 ؁XwgRA[{|̓hA{n ֬>va79Z"pè&k%kV8O}J5 -osܕܹ{Jp>Am ~ 2'T +- DsԭsS|ws MqN8ӗxyd AX)kc(SmG{5I4]/0ΡT>>?i=BKBl?C) ] ',|7^U;n'&pCZ@?M˭-ȞσMo~U/ o>(SY2 3_Uky5'k$&u(rWzi%DOnUr Epr(ꢊGag ,K?WY"*ZUDkOb`&>ipi[}qמ5qBMo 4+\g$a`ގ+Q3l3ZW ~\Dn)0A<2IR`*Qfƴ,B'nzjAnn Һs qR(@*2#8C-s lQj& *]9&V3:B!S(4TxS! b^ۢj聉l/'M׍Xǣ?VijPZg=ONoHγ۩a^jjدaB.)1[ʬ4[m/y:ke`XZ&DS bqJP NpD/T7O_KuLȚS)+MEM'iL)覛FJZ\l/ENjMR.J6UcgaE j*e2^D?3]JN OSդh L"%hy5̘첍iEW.ݗrVlFiUf\6i"mdu 7"Uxdhɇ帴Xg_.1㖫a8KMlK4V zgq9,kIS*!+YyNʝ#B=8U uU-HLxT\K.y|pe淼6Cx[5|t˪ST[CBה0^jg2{e3MXuwd;ɱcǰ y/G ,/Nj18\C;& uLcC[[hw; L9v>f99v3o$(Xu+ 0ݥ)ܰ)#T(GO,RT@fSQk)π$"Pc%qJdr72U[ FNzo:g }(lpEms}4 -90-1#k-z!U5.Nֲe$eۅZWX&NSVC 9{h]+t13z-37hEg"ģh؎I c@ Bw|.m]'wP!9I`Io1p5j 1s/K@XkERS*uk$joD1VUY6[]X ?k,,' i 3;S8V1HX_5 뿍~3)S,I_ir'1mcB|Nٍp<ǹN$ta(6gv#ghB@Ns kAn@D&Ԃ'k!JgM;Î;x}a*&p]EY~t~¥]1fx|TSZo`ȌA6KNv!c/L7ɟ)u-s?K`yQ 1,Cf>5xL&<7 Uyy֜נ^@ "IcP&H%%ᖽîBcS9wp "}g[2ngSfQr{)Wl#: (~߇`\{Vn+T(pN~$Gk~B#LG 6 сjЅ<'KLrZ  YO]i;fQӏi$Qk`ʙF,o J-6Hb^ ZDuC,] Oؓk9q?G?9f q'39]/)iyřӢEZ]&G>+Fd๷2g:Dt)jklF*e7D49;6H+IUhVE+P%CP"Hv?ʝ9;Oa 6~gi"0&PL[)2u}O,1T)ׅ+VUu7BF`vgFp". !AIESGgJetUXUJNIaGmO}Y>cg˶5T q.H"=~X Z2EY8|H*F7Zwݦ ;'-dc#<21ސ]@wtPyuDU 5\~#*>#mt&BS!iݶwftI@s 8 Xq5:MVӌq&X!U@NiYT0Y}r.7 U̢~qCNbf\}d! Z*7c @t٢D<(:fLnb{^7CsJ >9mH*e="bAI$j0tF{\ ,]u{ ]WtU[>YH2f)mQ̑UKY֒քL 5Ne;}iā0w;E)Q#V8;%,aH^B{ϥ6 BF2s h59~gNlOklьLы/Iw.bVAefiiGYÉ6@tԼO猃&a. q)̓c-duMImthGV[BH8E}^mZ΁Z``7hzUEeR>U/!nIvGBK F<YWEs<(% ž'B\&ޜh`r&? W\,tOWpc;Zξ/ZXmȌJmz!8- Hi`Նr:J<}jxe 2\ȓP#/ ð:bCtm4^l|)o-gE ']N0riᴋwjrnֆ@k%:v"DD&HF:֒VYFcPQb@u>23h <ǟ{g|em0,PcHb?;e4D_&KiM苣aKAGlb ZOXG,j #y8! /8(4TXwG3BrI8@3C%&J<_/RhUƌ수dVmG;ޥUԺ Q'|5$T`H ߘ3g[c\ |r{(7QQڃ lnɵ5!}j^aȰ8dOY9W#? oA|T>. @ʷJ~ hdct͓xI*jӦN$ s85^o -iS N, X h[r lfyTVFSHjs8.\9p/I(MtGKVɏoh"Ew|gYZ r !r?G'!(:"Ӫ@ `sݭ taWz6_g٬`l]ڲ:)ꛞk|nm^жW{U-, ]JѥDjC_lڇt &&(V@ \W NbzQ{/ڱK{3{Lɶ&|] WF C8T&{k}oQ ku\.lbl'p=S}M"5d1 )^65EqIB7c#M1^fE>ߏp =,SQg(Xj'Ce~H:wwa#sަ dF䇡?'iLC_q(EؿN^HwA+iWY"qz i-i|QLle,NՐ;w6y|*:% Y.'3d^\NN4D㕛z\mVlx#y~sa t RݙQvVk2qQݥP]Ff+>jhũDGZx龝ԗӕdϥ~%^VgT~0Edu@{{M R:.9'[crŪJ1¾}VdF#=d"ѬٟO%F2옛;̕ȅe GσZ<)MRv`9@2\}9%J=na_%9ۀ !^+&Gȵ<%?=@FCeJ4R"GlAN%%}L93;ҍ闂/*Vޥw.*Pzan+ ,iVf,^S:no\9L܆aA҂F1rM~UmW@ݞ#kR:;jB7 ׊ 蓗<<yw< D x&v`L|+bRЙ,xՌ Ļ C k !0 9qQ;|0+<#tx5YY9ǘ{ͻJ r>2K+-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׌;L0w1y ׺j33GuVt/+٪pfly)zIF:نݗ$8_'_YHX?VSRwi)";7|Fjs %sGfsE^f#M, kgh39-z8kI0 \S5Kr6-wEiV{Y-GU gYZqH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗWLf(qsXic&>iwR8[S;D *B]|S_uNJ0Cˑ^Z5slǡ 88enb:`B"ʆt*uOAlo%\n,n&}7֎3׷A{獕V~PNC^tuTՃ(QcTEӨҤ.h@_J:Fn,!]e0}TVW+j/5S\}uS8lZ+/Z3|Mxf6#}UtkljX|2h2X1/[מ/,4=.En)仅9۝0*/EPBAi 5Ll4[v!(pmIAs X$NmGc "?0<C4UOWgTR̟N{BxԂK+ !tAqŜӸp 'OkDgB#<:XoUgw+$REǰSY), QZ${lʲwԃ`j\SJ1 XʄW?)0}#RY>f#o!]~@*1U1ju*Ҫ1s-N leL&A͟T;B`s != O9pͣ0aZ-1T&9jl{}pg 7&˦Tpu9l228k5[HOՁLM$p(K 4to⮸t-*!clK\%\-dx nr>sh-jK=!sGx$ KXAǔ艂xrΝ3AqG1{!1&[>4̹f%,+V~>E3 .Y|?v C]Z\0mrՆm3ljY,2b-0K4QΞH ^'p02083Ah%-6#r{ .;$3&|H X!zsڴlQHrCzR\Yu 5|4ִΙs`'|~\ mm7|ZW2G .pzUT4-M u]`dE#?$ 3w=+rqU=i+Hr%o %1dl.\dSlV D :wV)=xw! e11\cYt7e-+W hg A(AfMry^hn{H)~!5^2ʰًq\v VC9;^Uo NWĺJ\Ouixρml*oQql`$FCg^`&ȕKHaAAM;z):;gE]uQ[8J׹M~4%!A7wKzOP%WrYsZ~V"voa:D# ~,=p%) 3"DHp*o?AŢ~azY@mLpd}ڪ[fkW$]<[}ձ)IŽ4mH{V8ssRXp>AU\D+Pqe.ƌh(ؠ2$\tٌfIiTd Rg/8yZ`Rd1rLݮF@YJDd0{ߑ9ݼ^OJ/? dkVE;xLPλ/Ѡ~ h,:QH-|{0=|Y3h>p>V6F:{Dj V+sGm8fXK*IG> NI L|jy[~߮[uBP&1+l_[u7ڌ:S C[߅L,LuAKNM1g} ˀ*q,E A/Ɏ=0P:72./ %n[11H$7VB4ٟ1)|KçdGvMnzT ϺNKIŘ+y*WsvNnS_4 ߌi7.ҁƋ7wu$ʌ}h O뇳mU".ɮqȀ RkAUXU"્KӺrmSL^>gu'5 .bWu8P%Xϼ<1FLҕ%2F5z{M2^ 8U)%8wj yYZlWk1)LNhzy+2- rn [9b^h t͒@cay.xTH dkS`Olu078wMwK!%*â *3b2rʓlgM`"xc)Gw_Bwp!~t<^Kg'sXo׿{e!1v:׈Mj`a×{z`䄧oH*zXiQDV&y֮tWrʐnthGn1Jkt,d3Ok-|SYìpM* g9e1-[5:" ?bVCs*{9 -,~~+^f5:_S0`Ϯ")%`J=Vj>qxE$p8׎,@1aVF#[c"?L V d 76=)X?Sa0[jEN W4v&S߃CnI%< /|" b4>|?¹gPtShg{rA/}VW͚+oj[J. nQŀ`@^k^]Yť2.IjfT4|'bLJ.3Pfe,Κ {QO.NGv+Df xrt} PLB_4|z2Ű&"$0F[-y[{Tr#78oKM\9ŁTƗ<`PA&/H)4xQ%A)eJ!#y"Fgq3;0^ ѯ&N%YBP [NgYZ ))M+# TZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o!]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌C2e$6LGpj U[%uHuu_|S9cM׽HĺCy͓ q洃}M-ܜrE7[G!rƨaFMV6M$gϖg2Qh5[2=2'Gڽr#)T5^UV k4Fa{}n !=@bY]n57AQ(0J"&/VD*m+R|y&,3t6ݙR/~3%ľ_uTފ1=J$քI"BɹG^֌J4bh뙒%ݠ?zZ.;˱NA*W>РyyRԐ^I?\}bW)ۂ<ZN@w'EG3LPS@AmTEvwA# -'/ v׀V!skBd;zi&*i:r䐢߫Aұ[KQ':}^;MHv3q#{w؀\wD:E Oi?ۙ&?vZf"! ENuOmGDVy~n$\ gj X Z8NyI`Ng՞tRsUʼnFSiߠZT.&l:>L8J铕.'G7qj2C rb I;.΢g䋗tB 0b{ wђ?M"@]\E\ =_9D:(((viƕ`eB\(B;JBnroJ#dy}}c:B ."ľl ^v%(|$dDYʞuը L +4ۯ;]Xif<!@RM %I],ӝ[\PsԈB0SbO2N*˙*RH>t່1>X՝ʣhDqmlжWw [gI%A g 4@#|A[x}~|qˑQB_& c9,Д8x8lh}WydcnDE&H U ۥ7zX"c:u(>;v niȖ_S6[TH3zIJ. ބ|.y=@Ֆ8 Y/YxGɩ Ǒ3 ``igD 5rgU?1G`}9<G_1. L.6g#yH,EyTnC^oY#.%$*ם٣`ݐyUȿ'qBsFZKG^dvX:Mn0.Ɨo> s -Fxdbv1C+u앎3ퟧ@`hGa8B?3FF،;_,s @gl,3^1v4'GWYE6JeLc l hԘ%_u0H$q{fyI;iʻn T |mdXPdRvýo@'ki,>hWN ~BSX9F=NNӨu-# Bŕ}t,W?GQTJ^0*bA[;0od q542QWQ 7C1ˌ>a=. X3MFB|#d ^W)lyjJ]ОO;lQ9LF!$.o:Ba~LP׵ɜYp+ÿ֔* 8whtq+B2{<;ڛ'FjΏ v :Md qh_G 5190lwyf[AIōV6T҂xSE8s5n@rR\-:~ 8)KQ'^y@  ~ɽ5aӱ?"&o$I./vq75C0,dɱ6RScJg#Bo`<˼ T%/_岭tBDq>sIS=mcg歉V'YXAEr߈ oN>mqQ "-UOUҖ]-CH >eԈCmPNl,v3;ԙ̻bT dbr;FV˛N=lَЕ\8=* BrJrzXo.֥ T6/\ 3椡ZzI=<)ߪJI?vG1_'gh'r %اD_XS߰Da^D|QB{/ٙO/rV^|m]4w|hG8O$&8+:SZɰA QR.}Ɲdrm,ճ/%]^0-fv Tv8A wZBvkFKg]8Z.gU'CȲ!̓hyaWLuՙ@NA+df.ñgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 ??|"_-$<Yp awP{v\h)f9hw:Ni$}>#Gh "ŕ=0Iֽ/Ы93.3&eoXH0xԁJa5L8;GyVd~0zb}*Ėv!&S4Bu/d-҅hDUN})M܏ "%d6nCD/2_] 7 T$ ា!G9Z%:͊($LͿZTDm7Ԭ[EF،J" }Dͻƛ}˚#RL·9;mƗ-O`.:Kvp =|(x$4joWJ]Ww ^0jJ3a9-۵5#)6|4<0c秳.gYZ