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 Url%"Yn6B& A2a,L=lXL!M# aBEŏQq ARgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5ՒtTjj[곗ap֔V6're2%R,(gYZ7zXZִF! ]ŗXi%%90p/MCL<{@JygE7w_rΐ:w}EWTe!e GE-39#! ۿUDlQ{5{րA0MP [ dD!8W;i% 6x^  dU7wӋ~,Ɩm#f?BΒ 9 cǻD NIm hB+GL&U/JC55:KfTśy4% l=>?UۤYH`uiYX$ ! n76dX[lHܒ\xIx4n| 8~oT%*[$'*s(ʙh7N$^o=ݓL}VVnI/lw%rx/̒ J*^{c4[PkVr{83<qC8ivmrB `^|oJ)qJA eSAB?@R sEWz=9STRMEFx<2%Uxu0ELjndШe\nkR IWM$]r:!&OS#CB1t?`W7U%Ϯ\tzOaү xʮrZKT$9V$U~*,GJ`:Ũ碻S(&H뮬vk,*Vp2/V 7nsP貧JD=TWc=C[.H:$ {8"I,t7-?gYZb57673d65f491fd120365750d0dc1b08057d1435b7d1e0bcad61ff24291cc398a6e6073b9f0cbfa7 9115ea3f1420686f1d82b0c9d58c2103945b3dfd00e0f1c72b143d8d0e666a608840aa0833593eb4   ZF-InductGj/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 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;<:978312/*-&,*      O* ` b /@cWq _3nS*  /  ) x O % vM#  9 a}O u J4!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_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.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.Termdocument/Term.tex-)/ ZF-InductZF-Induct.Combdocument/Comb.tex  m6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Qj p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZbچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[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 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?ܗ?^\ +;Ƃ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  +V +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\ gYZR 39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ  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 v vA 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,CD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ   w D A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue(4r^jW VZz׏F&6 y}^^Xu+pGBW) \_;t hl(vK~euAΚiE݋4$`3$\k?WQa,5bqsC ʈ6E5py$TI\ ~^9__L2?<#-VUBNs|d4vm_(Fy \#~Z.! Ƙ7C^T8!j(!-/B^=r'|8fF7z%Å"C u9x/E\FCO$4cP-uǡR>1G1Я3A SN,AE婲46S SpAiN.]~RmUߌW: qʲs~BjėIGlBy&UIN7>޷柊vl"*fNCW]2\/ْ*,.5+ȇ^l;)VB`^Xy$ow,0*0ͥr*ވtpǦ({`u+ĻDŽxj UTboh3w/Ɠ#-)i^+,rtCKk7@$[F^i1wO!&+5adBXmJ?v6!N 5lSQ ˎ3 2}Hcn%^fýaZP C~^ɥh QLmcb 9i plr"dک֮ s/M1{{GG3զ*>|{J^`G~ ;9ʽB /(2z\snbޯ4{"K@2 oдATD]d'?Q+O!n/yճՁ 7 ɴi$R6a L*_Hӫ(3$ ЌP,7j|:WC;;SfLa g` x>z:gM2o_!\AuUO9otD:dhCh}rK`\u։6ymbF>pK.ٿT q.!urIێQsa렘wQ)~tkg:!8iph_=m kY=)x3TqEzENw[i'د ^p?)L\Ѷ pmds- :zi'a䢅NIHpRm ?w#GpyڤIfYɝ?ق萁doB^^Mi5MJ4w)@ .G1mQBϵ(dZ0 ԍD8&jTDj".adRr~H17-^{; !ڄcH7-g* #Lm"/M~}#nEAK[r:HH֕ro]Vt+־5|jg!jR@7d)qa|q&ޕod+oܥ/viy81=(C±fKG^w"swm^à Sֈd^i[yCeAV %鿳6knY|3]?E\{7[bO ^Tu'}okC%,C'{fEM9/;gȵˎKy|*ѩ(\6^Ɨ7 i[iψQczS3ΤŞBNޱ;y]e<X[3}(Ȓs{ߒ!D$`\c!c0Y6z2߭m^wq#l9,gze&XI4z׊|i8 @aݰ0m*Y=#k%'R 'u\KCw:`1}"`mÕVn~K\{D*{S-]g/]avO+gGS]TM*uh 6؞ִ-SykE:v}cUO ${eY'G0!|l~d-c怹vhldrq{ , d \E~'9odV1,:d<%y=7QգZ0[y9.G/+Y@@Gz]AK(V3P|^8>3_':wN25Q:vV-buQeה+d  d9D B Ut(ncqX2%\~"@!C0ANً/?y#q+/4컸0Oܪo4R` k ^h:aa*V򓅂ucL1]jCp腍LdҜ(zփ|vG#iZc ]r=) ]$ÜMfuͼsR-8\:d]=`7gYZ  b i2G 1# T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λͼ#ZR+ ~F~똗W J^XmysH1s Č᳤zw fU,$̍DŽ/8Qq.718٦ ~ J*kC4$E+E#d*.Gj5k11*-SObJKNŎe(~qtyCI)kcz&oGl:YZ] LMTǏ:eug]6pKa殕=D`zR LD9 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}**>4¥3#jt%-)7-u`NqxW*#XH闗zZ|+Q'ZPU.@ZHrD-IJR㑹>6 +k_j67ӌl9*~O=I䁤{/I^ 3XʚpOϳCHS:ăvi< $9ۥE{ISf aAP"vkgnKTκx7 tFYH) j'?3so{ӈpՕJl7 O(Ϛf= GɵY":MVi^`#d adIHe񊯛ǯkÚ@VڌoْFQ;,~ r5|!D?>:^yF3nH!*BT}75-Cs|yx0,biHx)!V6eO *,V0,:8Ljbm OmAe'\#@B!*|5P46Rl!fy ]4r3l ukVNY@ \t9ß,ea݇ˆaOYҷhN/d@y*gYZf /# |ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9'pB09\I!IE<ꞛ={,5ўwjǙC)RޱPˀF~ác#_%g{'c, bCo|`wV7jVTƮa$ռ*\:ܲ@ ^mg,zED:}3vsZBz[GV:[ #M-jHQbػ[CwBqҰ c%`C> 8R)0엄p1X3-/*Li dFa#?a3bY:~ZaQ\=91dÛGs~8Cz|ycDfrB=#;8G/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' lZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}G)kZċesZ{H'vnIHVH b͕^G-Οt݄d7 >ЂJᜥ3~-Fy/p-羑qUcFdzGmPx=}?nkT!!ptsyH+̞9Gt>*SWThdg?eEheY<|n 3Th*ޅL/8bѕO ˟˷dyaƱ>pN^gΛ%#I*vtfAB6\^ ^D,xjiMΫmScdla ށvHPEw.nN[)zFjF`Ѐ+ۙyE+oh݋Y#}lٽy=꬜3T괏U81 ; fB}~?tE''\=:\,0KufqV,=M4 qlc lW|(70)h_&7VR0_vw$w}l?^sw2[ވl S7lVØz&v-)>5͏T1@,֮[3V}9"ʫI95%fgG`/K}3D \]!\s R)Ϧkle2Ht?U5"H%e%p3:C^3JUE˭p2NS~Zxx- Kѥ5ˀwbYmH1+ ϔDx\$sʋ*I6Xt;VPȁT+ 69yB=B7T6HH~qJEEQm2Օ>LusP~Ngc::Y/Xb75)%?` b3<29/ߌ= ,jo/~骏~xuLfy l II.Ȧdp?v/aU==͐;V62o첇ZqT\(V4)5\ N(  W@5(K([ ?ψ؇EѳG~;GEZ@c1TY GCJ)B  gC8O"COA Vcij- [7ҷR#W6~}w.ς1+p&?³ j&O eV8wnWF:̄1؏3M.B7owiyx{`}$b[/&>KB{S1:͆ 5R^L` wOch)L̓Akڮmˑ# }Y|cw.VRH{CK2NTP@,(3X(FLE\P_baaQ< OZ|[Cg5b't-~2 Ioց^;.!MHV%gDR҆DpVBh1j]2.-5 Ղ}W67Ni S,_\jcPA * ,HA G~~KZwEhߝq3<0PcMf{n@؝pg(jCM}s]%"Ͳ؉xK\UQi@olBx'[Zr4qc.=zOC1)vj Nx\zB+9U!X+8sq^V ;q%]w ߏD}DRB T>+~u:J`wΜ>Jˣr̹kJ&5gzQ$rUt4A+RJma5X dZ VJ&LOjXit.-_DpWtMI4ŝw^PO'ey4 Ӆl Z^%Ijo^ Sp4ߏRƛCO3e4<d! O5F`%'ݵQH;",4d8]妠1, _^TbGgD_yΐ-}?&,?܆? R8 ؀4+eme1ǶvCh "ъyh:d@IoTin5xY(O ޏ0&t(v%X`Ć^5|uhQA]մ~x(~зkDXY#u*ؕU` 0݀>||ow.T*( >O۠L*Xg?n)?d<h 7f ]WA$V1~h*T BG ?joZ{L_˻AyAiXM=8 FI2`]^yKɇ$iU{ s'Ֆ[{"5n6DiDWi`וv!3+Vkwǒ~0Au۔i-tFYx;F)LFsMNkJd mmpg R-"t5Җzw5y7ͮ쑛Z*5IHiU=Nڮ+~ _o^N+;8 Q^IRZ䏑a[e4zU-"qfT5 .Yf-*Qux` Ej$oki]1iV<]t겠%!#հlU٦j5j { Ւ:y>.7/Ͷyi!dI:ҖXjWljx1BƓ̯'Bxad3*`=i$JMIir?he)}mW_FrcKdӱǣ/sʪ)xUzf@⑧ՋnWsKŠت5jj~(6w| n9,D U!YA~};Oj'6oBf^`>f+5n>T9 U%9@lW%57۶u$ЯLY3-Da\yTPVO$Y+,N nFGG9\FnEV K*Va)!+>%9I"=ѡ*6^%rs=5NQr|%aEФ;(zs&k%cxo+ PŴN 3;uJM !v_k3IBp*6q3'>[<y.*%s'sqR;E\/v89i>% 9ʟ @"ʽol݇iGP']Ws~AD |] Elfz,%a DTp_{%RD*1ẅ́'$È[kչT>~KZ;e rY]E5B9 o>5#p={WynɅw>s$˱Q2h4d5T3Pu/c,LGm-gKsw<:w&t$L P?QsR_ƖM\Wsmop+AJUe1)Xj 񆡰ns|9HB|5K4~狟pG0tk3};S1L~3K'Tրu,4Gi԰b\Z&^M c*grT VTDc' !!gRUԧI]^8 gϬ$N`nOj2Z|VfE"ەZe9:zc&6NQI)g/br"YUX6Z> 7g j;We[]e~}\xf֪SiSm;⪡E1H4څ896'Āo͡d|o DA5pꇋPQ|1~^oeggt ߸?3Yvi=č|P8NEH#1Txk[kᰦ#&ڐm7 ?Q^>'BP̵&ny{12kL0\mK4=j+x艡FF]QjWj䅟TʂD?c\-*bDܲĬـiC!V&4iY񗭑;ki "i9e_ Qڝ,bd|Za>6;GF^a@+YWARGRo:nq*Y6\ /ZoBDPzNv[,;BsJٝX|qqѸV[ݸkٛP)%}?sY7Р MJqYPviw>d,U ,o^djyş}:Qqw NSԩt78M :5T†LsrXt jG/),ם[+IFqdӊ wڛ%3ћLo2- :Ť4n[g眠 O%x*p%j1<˰(!~OV{3}zzn=Q(pk}T{/!W~*뙮l>H1}B+ p AI)O{rD!s7KCJ1BƗ*z5UO5tM;J*0_KV0%&09eq% 3>ʐLgӆ.#R&'&DՔUsC,Zȉ})xj3 pV@;SHϚٍZ<c[U?_7̸)8mZ>*P%?_ڦ%6BnkS:mt:m[fx櫂ǻYFtCyu(hY*8S_8TWV5&!Fbq1G.J%WӴ1fDB Z"Z Q} E~"B dV9P\t[p%ATad(l![Xl T;CG Ly⧻Pn*EF@̶վ 5@3A&sF6c=\`S^RbB KJ-OB'R,e}i?7Iz zA^hY*(ttO5˪|XŷeV$|k}ELf,[:˥#>#|fXGW+nmrN++(LΪTM^XD)AY![HX"'%xϼ!!UXYdL$j"+ x;`RKb226J+6?QW;^ f}$ЈÏ 64=FVsö ̀?80%z>vU7apDygSG|Eӝ;df޾sJ{(/j 8F"Ql᎛~mjDO!VLN?vVoM#B\rDct& \dZZԹhI7mbP6yPW~);fb{tkܝ{j L2ŮH Jng&k8&\Uy5pޢ1@^{ߤ5tw:৘/gz)?y]/duy~En`֦.ނx7GӻDk1X|3'ep ]:j:ۙ]nl6X" ) 䞄qd<{cƢ-KvB4qu,Mz\0LV1Hw-š-".8OB$(`fh2үPIiOa>\0bDٜg 4]==gp܉y'ѯ焝Ћreb|`CQ iOGƔq-Hͪ_E\[KC" !zZFd:{X`y4? J)0|s{`=}):~h<@,cDh<V3 yJ~lq(]Yf5bvWM;r3*nBT-[U%҈&̀)S8@UXڱm:>.nb#:!DžLIR$:Ԧdcٱ'!zC0yW) R3bև\OV`[pKdN>L䥭S} ̖GO@Ap~:Lt?>`MWuI<GN:+QۉmlEȗ!q>-kKքLj~!J)81WO$ejP)cHGQGOU1`ttuatrM!2d ;e+<_ש+c!tLʹ$øAsiX\;Zc[=qV;9=x)`-dEgE+yoT>;D.בvZ:BUV4VS2M_t ]zFh,5{{k\xȖy^q)1IXޏJiN;.\K'zehԃ]h|"y7(.!I|9a8H,ΩVgOkv:fBLFa2 nj"z Y#S<"4/dZmܠƨi.t< sn{jUۘ0)fj+~΋ 缱U [bkp{:znuDLz3T@FRcL> !GŮVhK>#B_ąS)3)JPlC' n9^Y8)EY7x»A=QWR6y\R@wJf-QyhR̐ dsnxZ"BjFuLn-MT$:'qFyQdVBo [4ÖAz.j󌊆Sy8{Rƙ;h& ^9A)ba)nHp([^[SYI4= i5^Y/ “|uܚ-×@'1?z]6P A{h>y`LmJՏx` i $=2IOQЍ'߮2,4)Co],nҹJߜ$*^ċ:J1D}u(GBl0f楮/8k\=C%!!S ͩ= I{YڢamN9ro͋9$TW6&gR5d83<e'kX.WP>ԅTFHy<%YT밡ZR԰.3դ [er+eCaC㖱@3^:& 62U45 OzX1:{'[_^plAW,wbpIogŐ} 2~YIV{^X2a NIur' -i[_ǯ>EЁVD]`?txc"S-3>͎$笜MQI~HLY ࿼NYH&?jv49*%$4i50v%-":O|=V}jjLI>UYHƝx Dd_D{|I8k"`2[mjm~akrj dG&] WᤘYԴUc0yhI #;(ݗ*M$2˚H9+I弆A$彿CT]('Z x+?yFD GGZ/n^{ eƬP*C}Se"e˿?μ9~ƐڞH*C~C)4|&g6ൢS@b:SkAKw)wq$t&`-Սb{yHn#} o3.QHCZD l,xfqi8+ 3; =ϩ1%>'?o*)i=w dC\J^Grag6(L1y==ce\-U4Z?q'5.ۓSNȫs!lpZyj/+:lOlFa3X D-> 1~l\rʖP1˪]FM6ũw-MVt)9+ZHkD\u<7SBw+)[IiO0&#ʁ,-tB<N,n~ѲR@WO7xHDV *K7*ۘ,Î0ޒQ.J"vMjd~BTүyYo -펫369U黟l+2O-޿XF2}D !#5ѻcyj\MJH`ü2(ph˧O!_,l_3]֝6Eu`qߏi$^դ&߸'p%NY ۣvv]o@56zA?. yZr`,Z3y}%b)N~?CӇoMvZTy}ŎSvBEкRz.T#?Sq u:&)(6Pwm4R !znBeƃKH&M'_q|L 9KhsZ&Kb+,$yl%]au/W{UXF0a5 _-^\صwlKgK(Of"7C3T1vv@ caIA~LZSlNΈȶrMI5Djn(2~MK귀}R]`%)D׮8c09_;2Q8\a޿W)E$jQv~c5+7 Z|RYA5i$q"7 uQ"A]7͈zYOwR.챉#:TfлZI\ \d1]T@5T$wd}SD`Ių{BϜPq SV&Yb봴q&!J~΁@hI܀w˥;K؟w/6 1Fbc^5 pxDjW|49}JW@m#-y|I/&?7z}5y3T-t[,)%(3wvO| KkѺT/ NE;wE~9Li+-w^o@C0=ek+i;'AH^0;{gf`(=3f3_)nο"LK/|pIY]F; X pxac|JyXT}X]U^Vʮiȡ%$ٝ@6.c!y]OqZ_s"dq-\%Ã6r$Ǯ' g?NDd^:|",WHZ By&/ ιw0]I jkUȿY7/Ga,\i5UT 2Ax#}Y蜽i^%dbQg0CB 6X԰;^3 l Ъ}NÐ#ZG8##:>(^<680S`X:*}A˞ٟrNM*þv_&qL $ 4ufzam;\gmB\ܾSg:5lD8 {Éa7(mɚI(ud ج{Ve)I 4.NP߿R@ӟY.Ea^K>5ʞwT &xf#w&ڎeG1*Y,8=OtM|ppslt ݿ/stI pE l5ɔPX:D\*J$ [gxҍ$Ϙ aQb5'ٹ:2Qq ޸t D Nav.p6oȍS0Ӿ4 jtim*RM9g wjt@&gI9Wi "?i&F 6S80m9fЈҌ6*19C< ] ڊȏŮܵklqӆ@fUWPiVo=ɗ⍹L%UN-kS] toiRjq,K򳸩>^[uB`RGUl&5|K)U`BMV>dX]4!x]'<2z\"'콙jf8gk:Lmq7U-P+ &I=?x|P{_] T+Esu#.eApߦKաeqmwsI"}zo7ᥛ{]JyP|D%b3PW~~wqؚj+m nY[E9݄y`fj OmI$/J䌜y:iUsg^+Y V`=H3R`:L=$hQˑC[gc%I⏐+j+_ lIQ KuPbbx]' ye,fg5D$jY]Uim8FIG@h4Kwz>ݭVY?o0@.,ұZC=پo {INk"~s FE7Ϝ@)D)]kQc2s-^Sث]3N2QꌷsVr^YH-=P ZZaQt5?7|Vs;m@ A9@'6eߴƤڊ!q,q;q \LKע|sћs!߮,^8){ڕcOd7eթDkԲ$󱈐 [/@ϖߨL ӗq>G8Ak謫/?:9Zo _ cꪁp׃ &/tKv47"x{LnXUEF$E FK♒ZG-'_ +eYn@H@g᷿X(YK#+ç/Jon$R{"s=b̘.} .wEl쓨*ڏ-0 Z z,1%8ʧ4fD'> anZTwZβ7d耪$… tݦ;\Ny@uvI[H Tx^mN9~!s=ɕmd&nYX!ƹ$ׯ.|/2SN%/^iX~\oB /(YoodPckƛԌ6]u}(X$8xaگ-!Td!f{" @Vb-] ᧣M@$x%`IMUǼ]':iEn6PWZZz6ag]F`5g2&aBTmB Ys^4>Ϝ}i2;="AW Z{4欪y\ "|SӃSWզpB~ h\XD{v c6MQhK^PXBq*W[qox?_VtnfmrbU=d3EԇɲcΥ:"|3ܓFܺmZr O6\ Ho^ep\r>͈ʹ L:p@))9s3z%C>[afǍoTbTd? k'z-Nho($*9n(+Ш}+!3,F62c-)y{ g6֨\ad┘1w:AϖX$J^Ѻ@A!MXȚ6m6$24#}<} ޭq'-bx`3OXx YKZ<@3hEVBoҺl3 * >lڃ W# HL1_A_h8NtڋBA%LO5_ddUl8B_Wsڨ5b-5 tSg{Z#/#3 (@g9sІW鄥ci[ H72|ҙH=_>@$alx-voY|!.H."'3}luW:!:fAi8zjRB'|dc/{mk~ty@w[1^ |fzT/nNns/d)kсecVupp[ wQ /׳42&Kp`r]ɪ{; Aڽ,DMYlJP#Sj*z.߳7FՒE? ,N$dq;*rl}c @{fnsz4-83w- ʳO)}PJ5˱m;.0s"YoPHӒ 6?av03Rx"dQ#oW0>4:ϙxc PMkKeA^ xWc'*&NHo8EЗˠfSg Zz*^$ݥ>V9&`vl/ ak`_+Ny:>d9᫣ U^.=yNYϤ"w  |6[P|} [LZ':+ళ.*Ru "7{8 |8cWbOj4QnpԐAToK0mc(sOFeJ8͍.t_lN2qWund p aй`^&jpk;DhEjiPbB}N]ϳT);)7v%μALnrz-qqﰻ侜 'y\[|;K|\jR"4<[sG̒Q((6}5רtGH7oda9N&AE`MPj睟=!\on?w[&Tʒ"/N42XOGQQ gzAX-2aքvmƍ!@5tVUh}w xP gڪ;y"]q8W_j\WvSGCSZ}czjB? Y3:}K?q;Gҏ?p*J^_;i5at3'eHm@7 .p^WZ=ϞӇ'h=uJ֨EbL?R.,^) I%9v2# 4Ƈ@8at$5R46AALnJd#^qkUǗH{6HRWхR4s[Idň9+XP^]y@þ¦K-(yM7Xuhyp1(6[P2E go.D08J$a~DZ4^MI Pħ%FL- }-E'؊pW7Ң$E SMdV\ޟ0+'ᘀ!ae[Ow|27 a0]9 ]{V8bZG<=; dHtno-jajsu~6t\yO}xN7\0mN V9`s@1L,ЌX$|j}HZ@X9)yKv6U({B׍P'4r}%, & &wnFE切>Fȃi׀ ~v*6UNϬ) O-xK>HE''6|\ue[bhi :04iqT%9)a2\,s_(bn} 3)L0١pFs5#'*ȅ_JɦkGSX[w a}/bEzCЊnҢm'{<$ΑLؓJs#S_ l^Lê}QJ/ A%M [AG>%x#Ӻt:87ɶ4Cdew\9;K@2M4yv*AΓg]>>Փ&شmGށ; CaR423U}|5ǚG'K5fO Yl[r1Daa\Bl$䃘*+Tyr[ 9/D` Tk(YBJV,/ZN OHA~{#@pZa起Ԭl+=: \TӶ1Kio_f] D3@Bbџp݃]9Ϣ OѦƋMM`:('o^>N$}/`<'7xM, W0[^+~ x߿+ ,8T^]W tGjjvt3v[lBp!mЫnD?ě#P)o2Y[_z@ؠq8)+Ba#0^O:=1'6H+%^1)P7%oῗ- 'i"qld:RB#'(K!'0^a],Lh<gaÜfBw]E`2?% ]LeX\Rr.kDopqiha12)7M3|-M ggGkb(`XOqi^Z{c_l{+N_CxH7~xT Zsi5[1B*jrUhTbTWaРGy+]5s(Y(˭Iߝ;cThv͊QfGPԛK𕼫"rۅKEde٣ޖ|9o\slOzwv}y-@hD.!ZHELې,xzW[Ĩ<>PuU" =?Mǀ]S BNAޣ6[C0c;ًD}<[N!uw0D4kЯ]_dڮ,lCK3VF SgTrSTѫra"u/Gæ"%j=U,vƓI香i6, QR#*n|tp+?kli^n ddm}~M״=Bm= r [i䅠'[?]E5gEs4kaR:C1= ui (#_xsZK"f$UV^p'9{姬S߳#n5_1 i dN_mc<0gJ5w8{k|x禇-H-Uiwv&h0ݬa0EN<{WYW׾AJ-y5ՔQC|~ҡY![CŻ30[1}2Rע?aiꦍLZrarPv5`p_BOء3eQÏ[Dv/4C0D.!-HɕfVmIk]wcS~ c$B݈p-3׋wt%? nr<$߉.= \EpR!xld%/6i*2u¡߾ﴥ֔T9L8E"sXl2Mf4п"H] ̬\o/UkMv3"p6xjV07Q\'@e+ȔS%y=<%Y l܀ e[-^~ Q @gwȵ0mQogYnl5ԼLK⾆?ճf- .djߚ} yV+Ϻ6d%>A䧜Wsf/z193Z9CT,(u.@%8c:φ{4!$P 5T) %η5W` IlІ96d;M\qXݠ kO|VݍΈ׵|)^` !RF⺞yl] !$`t:$? k~2~QE]߻c-N,AhK:)O^r)sQ9{ =Q׊Chn .,2̣bu?u֥<>թi |!O̅ZHq3_5Ț_ϥFVU0ly7Op<(m$IbR{^!1[6p[ #m ݯ{ڀx\ʦxkVR~[SAV:AeziJ'qrц7{ЍX"iɬ ښUOW=?u[]{ ^0[k_K;wwa˩Sש b&]p[OYW UO,Φ2"db^jQIh ^#=5t%Z?J6ćR?KynʳKh936ȃf0r,}U{/D(`"ZBP g (h0!UÃLU0M} NhQ8m QSEBM8{fs.8]//E:@ԉ:NbS<}ߗBدr_f&oT_*S42%0K\I PNڱv nYQEڨ?&7ӿ:LUQIdhSOwtw5zdS `o&e;IlNA0?A[9lxKCg@Ya8[y[,gS›9[-42( .8<rf3'1[ Іy3mש0|%]B*C{}ne&şYFn]gDp3WSy_M Q_ ɘ3!6ɦuToc9 #q›U4qu&1 ^sġW]ˈMWuڱSwSʰdݚzi L(MX&3@c>5cY־6;Ό[-IlGczY#QD"^L[y=Pًaqgz8TC"CmPj *UT%_WbˏNZnAz/@"*&Cء];<ϯr5+9()ڜU{TXn6C5Rΐ0dj B FHio!ϩ;6VPf3TwWSM?(益='4$*#y@~Ԩ||Fćдv%u8l̎0Z3WVE9]zCC[J9*jiT_=T/,#|藏bTux. 7ڂܗ*}/$IC,=;#"Fsrɗ (Rr1$V[㧎E~;ju^m2^syrNnS8'X9p})chW;r>R4jvgV y!(@Y 1*L?Lꦀ%_yߟeZ`2mÅQ+suȲXqR'hoD9x4 a-zn^Hl[AOR9!Xp*G?6V{S ̓ZHfor_b)ܲVڠsFKXG #u; RLJ ?>^<+-'.|Sy7?}p=1a-Q;0N%].oye88'YyR6ş.$Aiu""c_=߹ƒuxq°&YyXE}(%l$#اo9 sMą ̓\n hV܄. zz㖚zi 3T쨴P/ͅ'?YhȢ%|7_U ٥8 1;Ȓ;j{4f́RaRjY {Zsh'PٚA9but; ͛.'[]ᭂE"G1w"+ ݤPJ3;@$a7EZO4 ZgJJS^H7>gMtҥ4c ZT7} 2HM>/LY +H|uv72e!&٢#"az9Ef[^ RɞN D&-{T\Sk)&aup<+iy^NUʫ7WD8n>"<ܙl>bJ_x}ԄОHRT - "Zߩ)7lurC1}RfK##.@@ rhڐ$dUXw>d olK9 s/QHew;X=<1ZrVM45n#\ZSKN#]$#bĜ)qt 1d)B@ ǖwKRJ}4{cIVYR1j/cIʹ2k:iD@bN]IR_(Ŷ}oݯh>wajYe=:ގu3҉(Ѷh'~;x8Z/k?>G >[#{|T]>z{y+vR^ƜqDJ{mHSEO:s-<뭬9^Z`ihhcw Rp%ӤhZUەLv" E@P Lvm9[} y3SR (]DQӍ.iى^ 1-?(*[? nXY)m+BwBUgQw$8~2O3jK|<1Ocxb.~8+0߹ t=ԭʵ5w(-ŝ2FkM+ n0#Ac@m4-II. &ԯ֡^ST_;Et3S Φ+!+/LMŮc+8% zEm}:S:]AezJ}fMe |x䠾X7kA,aдDBZ qY84D")_OKnAP ]-Wa8?pwBYgo]9{Z\2!fPc&K'g8}r B!EQxpߐ,w *6X'CF${ڐ~܏=3ח?LAEa_tc+ b6)>FU-e^=uXIDcJuN}ۚ3˸8ٌ64_ۄ0רʗC{{`KQPbY/X/_ъj r#wZ~jųØsQ'Rщ#o <@O z#k5|xXm 79v* T{ ϟ(vav]޾ٯ(@w1ݛ}-6"vԮ;21LR_=0E2a{K6'ż2+g+c09MCDՍP8+0[K(xg؋?0WhA5}L!׈Z6e1Mwʩ( i6HvD] }!nl3T{NAֵ+ $NV@QJiZHcGw74i(܁Ec 5㥖t̙wfFwKB rl`EGy+? Cѩ'(6RfRG.]Paɾ3j+0&5;r/1HYG-7%c''ONҾgŔUZT#\[!ڹ3A)R7`RSs8׳T6Mpm,Qn=;i>0q( ء3UZO_FE@f׏OZv0ɔb!AʑGE{?$D|m! 47Y_ 7rlGZuBf῭ Z &<=hNEQXQKŮVL9:Q.)9/DZl \_ ?ׯ D`OAM9fx6dz` ?,D ْՖI㢣s"N+ID0Hf| =!AdzyJH~x6-w~N=@$(`h5]3mWЌwXfݤ\:7="Ӎŵ4/uOt1'. :ݖ3x_\ 8Df`f'd&CE7n`a8f'\6Ft;PI)y E2_?H͉wpf)%MjZ@6Nln}X}C ۥZ֯-` ޾xS=񌔎oARzvu|5 TB m$O0YtXy>ySe?H{-]Mfr e#sDtvASЮU"E ۽,Ļ9蘏ę3k;*6.#"H8VPBQ(,cN0 )BЖ-y~lkBAHT)tc\IK "pR+S,Gv/yʾlpc<#KO)C&^gnN+@U\H}.F+JstQ{t+%}p3uha**B9aF#wB}^-$=.K-lLFc2q}݌x:C>݅mqzN //:-He;*Lz1O?o2폜ve7ͳE8";p0%6u(#e2}ݽ sSrsmgz >p }(!`a8AOfP4.)y ꮪ3Xezx?tVpj<\!%{QAߪ_C)ߝ;پdQ$Xkj|@H͕? nMY씼j y[eZ0ͦ8%҄|V[ת|^m-K;`oSv<a‰X ^S)$ChcC@H:::/{<S$JG@0§yFϬr<-41*b*]A،us}gDvɾ9{,15N/nF2ՌBExxX̏M! 9?teK z(EVRL3`{d{R Qt 9W_;vO#i>V/ ]*c'^`v2U ˱W3NUrKv=c@VEA^qU1AFj5x+0>9h4[P3q;t uN7RyS!B`v?j-9^h=6ӤR/騬݋yL:w1/#"@9pJxVA_ԧJkѨSh;x3~gqߍ ۦNW{<aS2õiNOR)f cDωD)8Y+Ng8:ARK&.^jO>׋+TGQ|(; j&SPJN #p4PY~oy27Z,Lu{&h&6 4Y InlO)n74AMݩ/e eBGf[J;y}tn’ڄ7-ϓ,)@flHFcDdS4#{a}no3IЂ|n^/Z+,83sa2SbS6x@ǃwTXוdxcZw1mO뼨Ցx%㩌~Rj]q ࿲\FE@iU"O Th>+~F,*o#@1oKZ0o G83a^+վZ>{Z8k2c`{^ck9`E59C1VqpX&룞7f}vth[Hi)*yFz l=TL#ai D#7z%p$A@3&B)D:#Lr&x(n4ƢG.uK&|$H^onk4e;uoDܦ٥Ms2%!'`kF.+W|+Jm &v/&ӒyK הCik"3Rs6@&zi3bSӏ.;ͫ>GD@L#zyΔڟnS|J|L4N*GSo{Tpt\_t}yp:bNT@d_>&v-4KrŸp;!'q 1BZmX5,AA_> JXI{.᫦š˩_.V><#Z& :Aʣ- |Lk81eab6ۣ䥅t PfD3W>x%_g2)U@Gr=Xpi TdlQ܂,6oQ7P nR;z $IȋXiR|f"N9'5#1OT$nq`'B9lvCUQK8e,"F'vv,?^I3sj]R4b:*ѻCq;𒒔оg $Ov=-RAZ=JsXګ&x Q 5>j.ά2~ Svu*/uFdz~3s1ccUq})Ur vigd*U>1fXӈ`}+R[-wsm-I;Rjqr<5/Y-O>7Zxkּ *> pEQS~%ը4ߜVZψw, !+{UIP6Ei#dW?R2hL?ԏ,*cP?\One5K0z߰e&p*캕s翤.oRz }gI9>*=:yT53>НE\'I7K'-C QHfuyP;.GM1%Arn@h.7$O򀐺 }+hnHF5z3 [F-[anU7aI;?Կ4˲VM#$!w?BY{/=ڙ8|*Y-"9TN,~m6uF}fb,ګr*ȌdI( PMjl^0_ڹ;YAMyeaTsrHDE:5|LFİ#x'6୹eQrqL~3Xܡ}[!@25*;sۮ vJqǃ-(/߻kc]]xdץ4¸!'<g]i+W-0?IzbX^xaFoLGL!vuYPZ0L[f8D!2a ߕ&y0@#7iȼSZqޓ5(|D'0 ޔ_Z%}Qvh\Rd?Ͻ%P0 I,~ӟv skQ ,r²humn(au, rr&q?T1U6n b~(32dSu2Vj`?S`ǬM3` G$ Y:P6I_ .nfQRnZKS A\bRONC0ˆ̲(B%n9tf4sQeM½$,HW4uxx1{M'R@sd5; =lf~W~68k2CI5wӌ1YZ.R'ayْ,it;^D{@Bc&LJ9LusntW?u-Ch7'3Nu9LR7 e?;}|spbTk\@r%)=#᧡5Ԛ'Wڕ e&РUԊTfOUvmPY7,2ܚp汝q҄y@'߲Kn;zOsrL!(tZ3#?CqշCІơw9L~[WlʋW-P.r;NgegC.řҨ`&j;5,UIdKan865޿r927'Y\݂ =`Y0bT(zGĽW}\9V:fc J8-&'"&ĺޚ&F(t)PqHFzØT:"0mNfԕFTxɎmGUgqA4ŷ@0w+%+ {k{JFD?F)Kwg]ۑ=n%.]%Vp8fBMF\K4H 4AK8swK$a'f6khr&Bu /oO s lr#&У0kF2?\ޠ94t#Y M\}-(PaZ?}C ZSg;$ 7hXC#ş&xs -̧= 7>868ga6CtMt>x%s α )f(8vg߼>l7wZ5(n"0'cZ-tE?EWp?OFm|Y"8V9 v ƬtU9si3Fu-]ރzi%~Xi^n6btVnOFC/Ih-7SVsk|7]3$6C'l$h$&ȨjvZ5;:Ɂ8՟a|â:.f> ڽ^!xܝIf[sjݾos7lC rsh)|:91 ?*9R>Mt2]n8!(QLEz8'Jwf|d(h)gڑF5Go %OTsR{iy$4%S.o7f 50E7VP՛;&rze Iڡ? ?:f2(Cf/ˇ\ŀ[#O%cGƝ3ȃBAk,xHCPcW5Y an{TTp4.]̓jjD[dMxHsT.H ;gϮTv7Ҽbݐ-SC3z0͛q۵|O <-sbAT+g^I:>sK{%{ XK/Ӆ=`!$0,pÞ-#/߯ѵyfBE+>)ŅMC#[SK^;" `tfYHsc*J? pAXA?F$WJZ\$(ݡ[Jr$ 'q| ozכǸo?v˶E(̦,r@Wj y GKjL+ \2V݈Z8->Xik~f^\K+oC \_Zna[hKwıVrxG| FN ;'2bN2yzj#8tXZ3 - 'I11-v'R:ld<\=ePalh@ƍ# Q)?hM8S1*fa1_xq91m4ULI\ZWIKM݀`3lC pۓ }HC.R޾Kߞ}ʠ@e~;-BT L: 2|V M) !j6 oZ,"5o!n{}Ֆ3rdiB*,l':Q`+ U%#93cj/iUJpJ5R 3)exK[4 & GAw}t_٭HwZ:n_gT//7!7܏-bҎܑL00%\6vu_hQ_oUs8% -@FPgя~k{ t:9V%k2'Ц|R{nvmt"ZvCr1gyP(܅g0ˑB;Mkpݤk&\[Ikbƅ>4,8~;'M}~#[ !0aS낟nS_ 8!)2.jpBM!5*c/u ǟ W'2.5D \a]^oz Fw-on)>!A`ShT!~jICsci\IƆT4޷*J 7nӋDvov6Rc-4jkyY<%*Nw@Ƈ#F<'oae ,hޤȻ֑="ZXRZCdF]ne$41z(sF!D;{y /М<]#|+ߝr#ui'ގM=ez}$>F Ŗ%mc.J %f1@;w@m0'2fpӳSոmCXlbA8N4zM J>8f~(L,L k'Iv= _zsE3f?% KIyJ1ur &oBF+\=\G":n{q{u_q_dSY[-:OUWx&+*^:>d -~:W 5ZC2usֺKO&G5!#>}n~4 \u>B~Nkwg2V߬j Kų2w^DmXjE"/; h]א8g^n>ب4 LmO펭]ix765iv4 --1χ>03 25^6Fȃiݗ<ЉUf;/V:q%;W'WdDkJ6[B.@npl k瓒/!V$ 1,A=zBL97\,d[;z 6\LmEqyէCJa8l9 ( imW(VT&2pdHUHO35De LF +o"E3w<]-B x ϻ*nZVX`2Y.Jݯuֿ{/Μ(2 I˾ժIV{\tZ="0#F31`J > b i; _;SFk77j]!̸+8!*>wr.>*̑SGS zhA$lvSd6"PC7WxEge2?o9\\EUb$`;!$][)࡟;F+v\#Hc.*Qc_g/x'9z8\y@6' wP*H|-8=,]r[2n<=?V͉l{ Kf`JAL3!2B̦6eR(Nbi޵XZ,{L'dHo\.zl7YzRJA|_~BV}7Y=]>PA3ݟwHszeEThK. \aFxN`#V6B-υ)I'z"pIЦtr2oOb#%YǶnZw] HMo_ \>gQM"6 M=3Ire Ɉ'5puun_&i'j6[m w P`;uT`mngKUAAKm 7KatJUzT( S÷ȯ9, =w(q ;. +帀 &cPɤ:z?KP ФgD\,6u]a[csv{ґUoʵL*ǼOB'܄لry`!;82L&!`Ujbs(7T1>x,4UM~z ,H? Aɇ\ dY OU,>+%5F",F_\ Du2h>7bQ MۙBH/S?܌}^4Flni_-Uo&$YL3nl hW|Gn E)xȖ`8*Q.K1aX L1WCCӳbxmg?.35g1khubG6V5Jd%3?:U"mẙT/v$AMUfJ<*?SnksMnDz!U!kK)Ml썃 R9j-J9zCIx(x!ү*aU)6R),<|I0 #>^Ix^HsmtQH8N`ZfZϲ-E2Y1FhSU*?J?v;4^/_Zd?xoH%"}^h"$5]ͪq؃pt !71t91Ok?90$.9C AQ + bgnL{h".YgXKa'n*tĈБ"`fSUdFiXP[—y$JEc"98 u]n3~Y2iߪ~*>o)T \B ذF'usrpKr`9icCok'U?o&;fA 97JAB"I9SArf{1_a [nHpwXS QKJفhV5Mv)x7Vy~?fMx oSH rmbŠE93y~:N TѪ9N62;?XZPtxrCc: g' 4aN++ó[u{MwYX֠#)BSA^ZԪ -/e4|J*P5[jǨbn;R㹝>:9;c0UZc1L-1J)qAxRք^ nY=y{6=;a((;bHQֈ6-C:\%>t猪PY_:^#!b鼹O5.6<>Te ,V,+͖򏩹*(iJ`\kч 3te^*ʙquRIp1V&):JR5SՄ+J[XK1"BWF D7/"_cc+!8L3IRp@v@;!?i?aΧVLk\gOF+ktoRg Jw*2`T1;@zͪ X́~سX"?ߤ+|vCi"K ;O]K;6%G+usILDkbUBsy(gQP3ݧ{ZkS<>%!'uiP|\.9O5M(WcWŵQH::QaHd^c(n\ GOXA-{f!ċ|nWu}J.izy! lstTtfSDT3nmZ4E 4D zۛ@#NDoE,MVxhͳV҄dGB/P2 b=DKo$GB'ex󁠼6 &n$-x(ܟs<^i/6_z%FI+rebo.\ =1(ҲǦQ z4W4~B&ks) "aYR`}H9v^hB>lXOТ+!1&]wJ㽉vϞb1xzr):TDWCt\\QA-Yv0yS3XDqJy3W08a^CA. az T'o;E P4%yݦr1>+!:1ӂW+`)ϵ 2ߓ0}o-"VKe 7l?6*c _`&wF˱ qnvŗ o~bl Xy`ra[/͏P^)˷]*WFXdc EZ<ށD柈^_*7Tx a8悄}#"X<ݶ!i3`@?܉lJT}+GR~s`{a=l{xTiW'->6 H4P {m>,ZnX<ߏw>/Uh=uBR. 4 [/ec@nl> pJ)_L}OB }8W)#\͹ ъ\y )%60س5Pګ/iR '-imQ5K+GqH !]'Ŏ2;-#$m+|y0/C= ]èZw/@!<K}.srk2'aXE,ܙZ~vne46.f5`p!i&"@4U*Z.sLU݅vʑG)] e1G`Pw=KO9o?M5p}Z"rw +pÖOpÎ{C *0,=}{}uv[LTH\ZDW΀(*7\" \3(ۦHHTL&N׵y >*t2& *}Kb Ȁ%[QJ-do̰~je|=J X&޹cK/U.T_gt Ln!@s,~{ݬGɞ1N %(0YDƗ֡?R3vg]l0oMfߓANn~dEI]lNYL)=~͜ϓZ׵V!,|-w н}:=BTńKh㵔àޤH):T˨hؑvd,nn)i qqu WNLqChE|gŵoe"CrWpJj&P[-@nx*8tI ^6.*W\yw(mTQKh2B/_P*C1]}Z{Lmyzw3Ma.0 ܾ@E_+3nh{k? "5~ABsP't hϛ Rs0#D@tZ*_ߡA@ Wap|k?Z>cҾԭOH2eWCw _i5CyvmLXs:(#Y29lgh+Ѓ8 H~Lasjw8*Ck&' |loD҃Vs?]Z z,g.MOCظߝPX.oD\2 r" Hnب9hgݪ0jMf]冒JMXkm;g=O"=󀅦ҟLy(\3y·).|nazڈjnC@+{A~8 =JrJlT4Czc66eaeSAl LO=j-(0Pܔ؈/1P2-Eᆌcc-h4[8r˘8Ardz㡒CtŠLhphCӫxCZDJKzv㗺AM bL9gbP;`}- N4I kS^E,`<IJ+1as>gOSX;p\TDC̗&ѿ~)|sO {|t`Gtch~z\^ (SԥO@H 6b0y(yCl9T_)/Y*_jݍY 5˄ c2epxvQd(dļ@Km eȯ0s܏,^(f`EdDt9 Vmp4"B,v: P"%=yxiеŕ'e,yUj]x12ZK:5nϞֺmm^11i(E1Ӄ) ǾM+]Oe$4ME~JK;''֠_[OeǟM227Oq oU좶skUɻu3qhVIq }1!EǷ-+\׾&,<]>a-)sjxrn&Meܡ -r#2(or%+D5>Ko+Xo167MHtFjDFv{E0tsc41g P*x,l ;^AϢEl`\|(&2H5 #B6YO7,,[0}ҿ+ј{;01w^D b7bpGU{7$Csa+d 4 Rf罰~jH[=l#˪\x-qQw3)͖M)Eγx2(A°Nb쭑eJ^K)E0>"Q׆X]Hta,laIy2e{΄V+E\M"p_a/e[3첁0YT|l 6R(*"QB>K {=vEKeޮF@`%:^N(NqZL3 ׊EL5Nd5)t3iK8E&cgOrZ'IefTKL/7Kcqcsڠ_y)dY89~Z%qNH\ǕY㬡R×>=u{Fw]zQ*W+l^B?noZ[Xn툫ntWT!B?3ǐ*|(FMu~3F χupe2/qOWA)Em*'N!ÿZDR`(Q^T"]$9"%CpbrTFZ (|{{Oax }1pWOmFϬUrݯc50.wa*i l^)h\NOh;!+),Y f]qp!#к?>[4Qr)<&+94If-h/(~Q++?(u¦qS?.963F~*/?mZ@TH  L\] N@qCT<а7nacl 2Ƨ Hq'|8o_-lO'/Eo^P QEnHm1 2*-!謗r g'8(V%j# bT;.;Ct |` Jck&L)k?':>""co̜/!SO^.vM՟f;<'>Q?{FjP}}[:,zt %ֵ):,wAǨVML`j|ᒯXFaق̥fZʱ$Qnp@0/rz&Є.|VZdϱh@Wq,aPW&[K1f*Vl%U_ ?v.ziFԅA睤.Fq1ې8'3kBB!;OFhuߚ@|)7G`1w dlJգNf.q] Wa2bvĤwyq1/t6-(Z2dTjЪ~"#XHߡB)Qlkh |f*' =P&i32-%D )!0TLpU'ڽCj"u*,bbuBq*L(!;uumshS@AP=Ajp6޵pllӒJLZp2 /ݗAMPbb X0JP(;A-s?GDՊ6Hhu'~3d*ZW+85EqХfD$\.Pb&߉XNϯ1n("?&wy9n} {bth ̹ɫrYFy|yd"v6)t+*n67bvj# k)Pٵxơ͕.Qan&lz%s$XeUԼ(ٵj@I*TI"<2 gjΙ}uAԂ\3x$-s˵"~QNv𐵣qྠtL-I7.)hQ ͌QfS]fF0ןMyGºGI;hpda`%䧚/76|8cH;Cv4wwO0[_p;{ ߵ?2c#m1|y;rjS-/ԇ) G3>ӲROU̥v,*ڋPE0$ ߻v˪; 4SC Ds I+AvbOE:F1eɬ$9H>[ |t"9=n)>Mdp1o_8(҄\o_g=uB{Pr>ȠSCh'OeJPrtfԘ~U+[(c sf@a//"6v4@]̃zMK5ɢջoP_R.!/aG|4@c?Im˯A@wUYJtEgXZՕ$t270/Ye qH2 } !>H;Ĕ3F=HTۏ&rOfq J! t.cnm@3P% )Q*Ssl[ (n"U]opa_\0 ӝtD 1gYZ A C+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102<1' $ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O L]Άxʆ5.f-9 rq9βAUOBfEr *a>Uc3"0RQB^J*ngɱڰ#?%(BnSa+VeAO2#+4{—#{-^ۑav!shĔYO,{w{j}G\6uHU) =ML14 H|Aq>7Gg/3"&m#Zmz\{,W8Ϋ- vw}F@wT_^%)ć~rlWsBP=ɒg ./\()R'&.5TK?٦]H+xŁfb#>Ccx^zK튨>řzv-(:[@NPڎݿY-OU3Խ/*Z{j) yJr[ztCaHo**ey> C)a璻ϗ/R &6X4hc۟tر$3Kyy/A~ulwQz깡DV.=FUP23un=>-8T2mɺLZY]~Vg Mq#]`v]-Υ ?zQC\[?R Qawit(`K;NPMA7r tzbj .zԪٳ#CxHVh9"持WA Uyl7Qhݵ$Ee ;0!9 LuJЛ՚ӼIȲ9wYYo[egCݟ[eYvCԊeE;o̘1B4X -0Lڵ2Di6kͬ5 ǠJT8-2@kF7ٍ8!WKW7p69@ 7P`# sʕ!?nwsbPSRTId&͗&Un1xJ"Jyɬ5y *mKy:嘓oHU\ݚL:3eUH2mTa o oocA#ri(d)~hMDe!Nb6,`JvwQ/GtB$r 6%HDw!]z {ɑ#/jqO>7u%vqFbmzVc5+nL}Chu,+0z籕e5,'y@ "b }; At_SN<^7ܚ]kŀTjP]۬G 7[=Mg[ HIf?)7~qgIz^4EjGE7{)cXt=wS`<)ЎVw5gYZ lFQU\v0ŵ3{(9CWc=W dMכȣuuQ\vR laH,<5|2mlk/`HRC +䉥_yZME#L'琬bcl(*(\T)vX:w)ĞWtNL g8nY<tB ] V?=33LMJ$y qNSyff1q&?ЎRQĚf9DШ Tu<؀ hG=\-uMcj2b]0g_#- ?$P =960ځ{rMۨݠчtEϮɂwkZ6 3fRڭxz?HʤifspV(6'.T^@Շ[Eĸh̢kQ.FԽ@\,rŹ.D Vf'M_0r#Z5SUDyoG|BZGin:F;Hxmk&M~"+ ${C:R.(.ܖ7\gZ&_{V$ʂp7(z~n%Kce0=#D8v`bDz;Cj_(B ߈?$*k/ ҋom>HۖjA6]1x+G<ڵdޝ`a2'@sZTVi=/L$Ҳ!:֡ғ|DgN']1j]WzʒŪ:(ƨ9xעNʶes[&j~0:RD6Ӛn FϐnWF2:MR;B٧$-]-!X=yȣ0l1@Qyldk{!\4%`LX'9h)C#vXsT_n#=),ɥ^8D 4mFDT(rBQc 5AJ&R;!peJ"+yB@g?ӻ<ds; V]+sdK=ylH]y]U[?Ё ܤOdh%-'c\:: Fd'U`7({='h9$Օ09 ?GZ} -%݈D!<;}ՙޯ( -cȞU /֡8Bp3/2,]BnEBiu>270^0˸n"ӑO";p aX([D='.i4{.lȈr`x>*b-0.~2 Yjt /O}kuǂPQ>O<׏N~ixN8yb_O$Tvw>AZ|WCOkfq.Gwt h $~W)OOk v"8.G]XN:  e ^9z/ կ/ ~,p1,.y(3IVK/2=Kn РAG5g(!W-.x)$OX{}_ *xW|1o+ɬ@Fvax}X NfcWFߍ$eT(o(YdU7H3=8k`aI]zt']Gc~n<-g\/jDkַIyl!(vm@HY܏VKQtQ"1ёJ\}o/7a>DO Mdp IoAJI%ht-l$ͥZȎ aV~g낏6,a"7tB.WQʻRZSt /a!L$yQE&KpgXT"ч-58/-qq=F3۞1,rp~oq9"xxɊv5;խ]Tg$F_o͛nvk#V_ ]+oIA19AtNj*yѺgB8dGǏ ӆ۲Zl/8nON\ȃu(Xd ]/QRcSѝSMb8kMJYhj:+k ?[bN=&`$;ABEXxA|>MZ7+ "Cyd2+3 9EqIe@5CJj !ٳ|O;Ԩ+]GVX`54$ټ5\ IyN[O9Go=w<s,fΓ:kl{gwQAo}v;X(3P k%"Cג=C[g\ZSuqy" 1|X^`Q3( z][0w c`i%6zi\DGF˩f2tAjΎĀgfI_AgvzŃW0Ƣ+<( nEI)F#4ybeG@p'Eb؍!k$PyeTGJGFªX ngE|k@ w3Na˳GZ} l$ >{L(Rz~Igp9KHC+',<.,D;$S3\dK"ְT3T} ጼ 3}P:JD%n§pS$\YaҭiV`휏Nx-M38Y6t-/S9tGڈ3=/]B%iӑYRkD7גx2V?3MF⿵(&S.QWg}Xj@o^Ɛq^rk+@DSqJKJ~FG,sˇG>;MoWIK@Fx6*λɈQre%wơ߾:;4 MF)9R70x4iMB d @٬R 2O#w"Pˢ|8o ?)3sޑ_imCLBUJXv9pЫ-tx=ꀡ?ך(nTe=Šc<l 0Kr[ 7.҅3W@lՋ(q,Ǭ4HDpR~ (i܂|ΒεWc?GP>=o@IU8fE[#هk a^8|mu3 )T8w/I7sO̕=C~ sA#3 G#FPXJDF3Lnp&?tu8X\;ZGj$e&y\Q~Vi"@X%:78pع)7tCEV,."W?$̇~n^lh5"gz2&1KҕH.& e(#0:ta7H_J:㾗>$5׀Z@ ;X ?~Efup9,Vr\4 ͿMeP,ľ[p6g{p4F;G a]X#wI0.&< ʐC쵬9mH.h,gx20C/~r{.Vםl֩P[ӑ{%$n6`47UW%5}[! kP`)R ;>Ϛ (cgYZ nn+# DZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?ځ6E!.ȋ2psT0*D "nZ _ڰ )V.(kxڴtLFLxM0`,S x.$V 2l)eAfJ^l淴2iXG5|}: I5 *V/&':_E_q뚛sEȭ l?VLR֝A^3SKF%쑤f>Aug_:>`˝J-9rC;XdkJ*^I7 Uj_/(ԏdlx^{8+4 Qz.\)|/UXdGqU9^+gBu3MWxW|Io-ܐQ])4mIf4׵0;9wD5>P]눽#rrs\3f԰ =HYJ>YYvtHHI{rV 9^#ҽ"oLjxȕzG*՗RJٹ U}Rtq5_e, @B&c?QBiw2WU۫"sΈؖ;A;.|W3ؖ?e Xq27ȣQt7N/'Tkk|WZl:a~!c\xr}@{ZAƆ89*h0D&=wLQPg}צsII(w~@ > 52xf= ]z;[Ñzv@ 3)V0>vX\oo.$ϱz)mi|ZZfLn;"rhyE~]JrFb(f&!9üKZQ} ]1u*G/@SjjVz:+Zot mc 9UK]"Te\ _PfUX|Rnn5;kAʦm}$sg׉+D#ΰ+w֥w@ ]wB1B6BgCCb8s<=7B>19]1dJ}#mgT/uɱDvhxZK(!9kM y zrk_.PM䕷C|s~mp.d4)}{N}LA+anp'^4!(ː>bX2v{/sH㜅>i _neC;}M ZNe./U9;$kW!](Qgf3$1i t4! <6u_TySN /J6z@@wz䙅ze)c3݃^3gB=e ~?ΒŶQoksCF^::-ELwtf T,;Aw \jOt֔w#5) 7p~I7$xK9(D0Uαi`Fx.>PԾPfX>WG6u:YTFCXRM%3M[om>)#'7ȘH@h7(!ـ܊::,Q@'[,a!/mΓt:Q>Jb&аo%%svQ.On:}%o %^TUP] /@FNZ;027=_ccH0c9teEB{EUan`^P+fbugl(9Z3g!-%dH) 6|~_s% B0BԤQ+~cy^enE.ѿv|Ic!G5-ªB,Uƽ^~o"L#@%@xW]QDjk ߳Zt8b7]QCuYNl<\̣$"i#1=V'I$Q.ud͡%,E`},yn8;CqՊPv U{$]bB(,Q'c&'F =z*n}ʽ֓.X. -alf:z tЯZbxEl~0_b'bWo/ަ^Cx5j#M(Mޥd#Jkt+'昢tٖ]1k@wv هJ,+L]:fRY2,=JƷ& vgz>dބB؈o[]̓K.{7>]AKCD#|qڢ`weu`Yng*ޠ(>]Iw>-K=шR}:%z2;٨F*WS݁fi$3xk@ T8s;+t(2;KOZhĸӟlio# p[_vdְYߪܘ8wxNs-C]4 TI1 ]9F <BA'p++>B۰i`Ep)!UR5@ymM2r< T"Q\9KTwjӔ7iD>sf) pvQ 7`Jh0E_vlK-+]}Xv89/?t!@g$Pp6ռXlA X$/BnGrib;uCYW̷>]@67 Nelf̑1w@#-,"j m#aG^_s =s01Af#h*{ *o[Tfm|O \4Bsm#̖qRԷ$ﲫW78G'6CH$OAk.L̝:+6^&@` y QO+%ʌ`Ǟˮbф#єFiTwFtc;̾=ڇFxY"$rbF?)xLߪ1" + { h . n{K&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ׁtӓ5yjQ]a70ua|%|+m#Eu/vw\隅Y:sUѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ*DS?LbOZݢ q1 !O(_!Ekn5Q_<-҈X1 CF_xo%]cE0?89oܭ-jwQ\(ZG"2JxiW!rYTW|=yQόt_ZGsdwp_ӏ)M [| b8ote 3H A3IŹ5̼tZ)X<gU&`J*!A>c )g|y'=g>~@+:ɕk+{/')ru5N8?yy Ui=P]6^h*Rp@LP⦐ L XrZ#jYW?|*7ﯹҋѐ&_^0ͱƽ-rJI7](FB͕p)%! 4fqu Dx |:REׁbxF5K.SEpVUL,Z +ܾ2F%q [EcR0>PMظ#xS@|:3i'j>gr ~TyNx0Vi/]G B{HuH] r+غR5݁|e=Vc%u!f \WJKTi"_D{E;/YJ&[B`"!n:"Ҥc1ٙ=w?1d/ ZsX{r:;8ߛ[!F.akz"0|>=:\jAzm;g9MM৳? q$3aPrRaW C5 *~<`NvI .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[:|&[zE.02@pjEBBuށ=-7 Zg=V\/hѢCe dl yԁG-'JFx~l $_qo(zt ^X>:-0kFH5y,SgG<.Ҏi)W$Þ Y4T^4}kg%ߨ]&QWXkP#*f]#ݖp+xr6$d~ D:{w9Pd/T~9ޚ!8h HYI!=w홒|Jjk鼞*XEH$`xMZ"ITVt],JJ%}iዼ]+(;.|U(ܭ̙zEW'Y/lKE"cxAPH u|2Y]g:n^۞:Gq$r&NgM; Fr('Ǖ][ g6WC}(x/CNe >F@M<|CU_%\lSER k)gDs<`*TXQpnIzkĀne4iW;dݒ +_ye"Jꜟ"oN06N (!X]J6]֯QKbй/2v&Ӛ\> zi l0N,*䙜T.Ả{*\"tnђʪ =9_3+򘿈3~d>IG6Jp_2yy,ma`7\T)\Ly /]_5E9]xSp5;LagYZu0 "~Lz+Vny?ھz(\2m)-jO_/65* cb1jL#^g Wm3cT5,¤_p2=ZeҙIK[\ۮpF9&*{p1ޮ+Fi ->9)I<ҭǖ{G˄KzyrtD}13;v!u$e7ٴ*$o H`ҹ,LH a"2n5cgvbz.iP&^hpGJ9NNc È=eє&cDJ/ +׹eCF(2"ɤR,BxsJ#tQŶ^ynjO&]zBXͥذ!P䣚ROV{].!6c! Fb6X'Y 3ݙk#AXeq0J fQT5%'8s>tz;}r`|D8JOIUٿC[zȠgF Q K3bG4ཪ[$-li-%`< D[=z{s闦~0UQߖ\|LTꉜJ |p,v'EAevS(~x}5 wLU]gG&lm^2YP}8Bn`E э)R?uG\mϠ+E(LWTHQJT2Q0@a,֭ׄh3%+׆~mvsGd3Oz3 fFo7ڢU,zYo=6)t|цق0}o }O5*MD;lgA}r!ٝ#Na`b ; |04'O1ݹ`=cIbʷLP%td& ein8^x5ɢ34=\z!ĥY۾r9Jiۢ:IAi)ǔUvH HڰG"灮Yxa.t67q~lUb\ ;:`4@j^hGA L< (eEbr_d40hG70G}Fv14g,w"ҝQ :|h:Jc!y.Re2V@1ZUuf\TfE no \P`2]$y Js 9LE[J.ԈJ!^(IzSց(.[x]m:ї\K@K o)\#OBXep޶zuw?x3GI(tZ@ |W4y`d%i*Cc,<>^'3gD'>xfn3 -Yy-$ %L'%Ū5 J'ҍʻg,OO5߲&iWڝȣ>ݑ{.Eν9[$VßǑVy:%R<r1X3%vg?߱caEPtE$'>"YP^cw4G|&hn۶tueDd@vGM|)^Q-IY3rh5RVq$Q?R,3zScܜJu>G/*>rbD;|*K8h7EU=1qЫ)TF$oioޮ@p">j]2X `|~ iNl[7c{4!Tׁ"嫎iM< tZ*`k]wb76g<]D]Vv.HT3v\<@/,!P+*W.* T02n8|LHiS JItۍDn\R~4dyM(pIZaA'/;WFAB4!ڋ8ODI7w-WC]%0Nؓ{A4[_=ƆXۜ#l J ~t`T. }YV(s^(uZּ:Ffa6,xqV3jV)\,l79̄e`侞Co^@DH47T [\J+Gq  vD| ]]6p31)GC9oq=Z˕pZ\6VqY fɬ"ii?"_Əqը$VE#4d` ˇVp)*Ǣ'V&00-3Z+ WFhk mCݱz2ҹ'uj0b($K؍^4\PG[2~Uض9hk D1f:o.F=Hն_]^t_Mw4=p,q]̱gYZ'3# lZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  .]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($RAPjR )X;f}by `x1Q"/zoms&YtZp¤^դ`1P>YIIO=fTB-`81n'TI^2]w"u dDoư3"ۛƷ3PxU/GwT=f:mU62NP{eTe[ ͖\q%_ӡ8aIGxl׉`[,bELi*lE`T&Q[c--DR{,vnGE0Oha)*>Pae^tYZeDž8;櫞 gpD/| D n1i%L D`:Ƴ;ɈT^J_ghy]IP5~~^U:kNIT&)$S.6 od@;+d\U+#$ >ax7䕛-ŝPX"㠸աW^$FWG"sfD^=Rׯ Rv3̨۟-V!O"B\S›+p:RD/Bm;ͣj.9UB8VBk^HKAZ*[^of2ZaEH(*f{ӘisH#m!|2MӜ@z !Da0%[PGQ^-X ~;8?|2_g }5G`r~#V.z8O9 Y-Gq3XG,TB!-`kXX) UuKvyez\ti"󸓿V"j!ɏpd$\|^c2w8i;eR#lr :T!Te6~j|6[=pQxp[V}H1ji|*:f"?a(>fu[ՄQ >gEώHfM`I~x2Jh|zܦ)͝dfוTjԶhvZ{˧T5 #O4:, Z$PYЈ]{fIUtZvK\wofI~LLBO$xnLF~ʁ#dӣLNaԲ,#hee;#Dǵ]NÞqkAfOKp0DrD^-7 vgnT 3Fl31]|4\FƯ}.&mp$A)X#)dli";`G6" )-sͺ ؖ0e)l¹LbV#It?jg?J.*5-.s%bȡNj,,QKH*Hy zZv׃L N_nn4KjUeO'ܡb)OM[ƃ BA̒'yxjj x˚x"}%'wRldSw YX+KeD`MlY{tIb\AT'iCN6Qk" OZPrc SD&IiCК-[_'e72İjiFR_ BFy=Tg8 ]|/uε(LPzkF6n:|qjdw!3NTF(U:rGj(Pg  V@m&;kN4b 4@ zTG%ա}Vh|f~w9G!Ibu?F A3ڇ7cc4XsJƳ%SA D a,'sxc3 w`C3[U r%"ċG$)}5/= Pb/|DaRnL%wUn[/(İB2yX8w0nE;[m^JԢ0N%3oY,ScJ,C' Wj̩SplߢSEQ?ɳWDڄOr OVe!q$07md%3@NUfY ?pC`wF`]&{* \hӅґ5R!%rKO Q%.[:є Ur% _Iz;2%bJ$.DK{´9 ÒݴuL9ȶ%ցEJƖ6 *]dG6O!D(/{R6ipʂDS3()B G^?r2fEc]-Ecs26Bn+ a*OB] rr~x`UVy+MَVG,+!mməfp{\M[iU6==S!?ra*rT-yfVJ%_Azy][+pT3ى ̞'fi$7yPAUك^A4#V"G2u:GV(wwb'ZcoTJњ'Z /QTW. Sy GkT8ѭ fEcq )郎k5&x$ź?>4)Mwf(-㇥$ޭy< ֙eMQ q%(=7舥nS'r`7Mo 9/6vp'd)G?Q^,/}Q'm+I@ENѹ?Ex()nmjFGozt@҄7"|:tɰŪs]DY]Vzp%ON gYZϝ"UE:X>ȄΊ(ߵ~3=uQۊ[ KAz|《'BFe#<>j9њ 2|YSS &C$ #V-ݘXY]u JҾTX,CFӑEGƀB; 3wS/R nuo#u!h'oh@̘ !6j@6\5dn~/VxDu&zlc]d/U_DfU$ّ6m񩜀v;dzt߅$7_Z8dّ:+'< x)kDJm]0D `R堾FAzV쩮t8^R}Qv m4ԅtK7Li vDd<z4EG,4[H.M$+.d3xѡeEv֟Bĩ\Rk©Pz|uROkZ#W. `X^OhpTm5dyRi_4a*|k`nrN ]aI6KQ*AKExoȐh<7>w햄%,0U*ٸF#n]]ɰB{* aŖF+@sk?IXMYm6 rνm!,4@zM DM¢Aޓ6̼5=k5W,5aح^9,_%ڢM6BoEuY=}"ޣC?qsZhµJ*8zI0uVb9UxW2wBG7F^؎W!)gF1㩭g uIK">XI]gyTu/A֞5iaN 7RZ$اo}_ a̙#SYg'bx"J%ƃ>cgVn(U"Fj>~: mOoQ4Gs>ԍNf`͇>R1 v(}i5 }.MibCy(i$ !t=/s꿻AgWѦ?L̾/oܡh\s '0RH18-tS,EtsGg*a[OH6=z`RY51ONF2Hd4^eM򃯛$DW:""%uT@uHY;TDr?jDyl4 ,2hGS (@p I01wv$ i_|)qk@ZǠyayWnzf|̗",VOTinXBؤ5U׼hZ+0$ hϲj9 }F4 LMfݍ]MX3ԥ3 8U -a3G84H3q(vlO%a<\ <ꐈYfSNQ: ٞ[{4EI8Jw/C6x"аL& ˍ@ 0\*y3՗%p!9W^4& dňe,(&\< (K O˸CYb{WfX7M dՕ1/fQFz(\gYsWIr2 a&H4q!O!J4qO3|cOxj\ygp>Vagwt96WsGF##kzX@uy*;qZ ˄X [A}.@z "㗠vE|/M%R$@8;9w&Ux˟ڳ%$Xp$0cSs-=r3纏TXLȵ$>l#Al醸!v%%& #6䚖CUoX &ݵGwR)Sr]/[i(zDzGXdB<6,1,2szU*I agqw۞ VMBYi\UMו><;K*~.ǨcHߚL\qސ*]\ +Kd,)mre1#g쌸~ qR$ӳmE`~8Y1y}zEa,ӜP|n ag_ް緮me{ ¥/ru,M[LjBBtf]2m"2ȶAxsW`7L r"K.:'F6TtȠMPoyMwg~`?ˤkQڔ=L ohkK 2g-x3p)|ex[!8Y=Lvـ3qZ5 @Q4P2DC@lϯi#I/\YPG8۝}!Wd|;'8SBl.pOwjK[h#g)> ΐN7XAa|QYɵ}x7wy %].} +sW( ] b~tkMoXUT5H[T3ڵ pڋb^]uq.*/q&e82,W69-gwGK cS'K-INIS'E6(UV;8i7yB@M#]f_Go3\سYYhEpVhf&1PU]vE)+# dzx똨_)yA.wnL֭kk +x+Ru w%;Q䯚dlFfxܴF B0z#ϥcIap|}Љ|ъQ(N ѿC^uou ~^- jk3($[p,~!_T0wo1ڞ*rc : IcNH3{?aݱ_|&hg\`g@xҸTS+!xp}ѓ<4N2gbB4B7*Q c%:3=Ɋ5YnϮ|aDDk.[{hn;|5h3ٶnAH^DG4u/gZIbXP[7;=~gECxnL8X;Śr˩TkJe82XHCgO,{Ob״I2tDa X_ᑍ3@IىMA+v82wǪ%DZVjPP!k8n(:+a>ѕ9O(>vݛ|]u;D-6p̂%t0dwS 0L(R͊M3z*jra]8Ɖ~tD a(rYfeQ=4WF:HvPCH&oj]]mJ)nc$fYgᚗ9C!J!S-->qj,rÒ` (U#tgYZ  N   G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108S0/' TZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nd]·Iq n[:|&[z״/(`?c-'aPwODl2#]5Gp(K_u rrhH>2[N_5WEa(MY73KN9$]E}_Q0LOX2ybz><[ph]C51n V?7uy=h Hl:_@OLmxmfJdkvjv-*k߉I+vbud~2CiGM9 yJ4|rLrEoe9U&鰰t<Zqvz"ԂS`}mKBKJ÷<0´PYǔC;T.WmD/GEǾL= |/hC^%†涕7ifv%$&x5#Lc6=bH"Gݜ[uck9T%bY-\}R[e}RͥwI`Q*z پe@4ARH3RR'ҨBx&ML5ZXV4Z-ڪ=[(q֫N, Q< wfyAkqG[쇆|sNGۍ\TGE(n9i* eK~>Q]ڐH.;]OnU?_eʃe5. ;>90,x wt5OgTmWs150n2_|b&ަ2o3(a`O#R$$ 2gYZ/ /# dZF-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{3CO4yD?uR)@U02{,D[.]YCOVo2AvsJӀ7r/[<4SaHYOXĞ:@Z30:ha2G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GN]·Iq n[:|&[z ?A0I*9Ak )9ܸ=w}PO[] ` ی:.&Zl%.AhSDv&? T:]6/me_=SJKIȾD|p㕆,eRMĉn,.D8E9OrUh\[!jFh@,i\w%BsC2 'PmRiQk}}g|M: nAVq0Pø() m .K  xP\c T-gYZ]+/# lZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*n]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM?ބc$nu*~Ex:yj\±hiI R!qVZ2i(!qѴay@ŗ$E.hJ03^R/lp_]IBR aS6. 6JW+R[dS*"( xU6WH 护B<DEV J$LlP 7BwޏÈYD(s=22>໢j\Ȝ:貉띿'P"pP}67K MaUw'2fnUS{b'8- [#yvXWBdYyp^I4wD:(XVNN-Ӫey195 (HZ+AAwZݧ()y <M͍?&QX *!h5˹ ŪA}`܎5 ԱpAaGvX5v(Z#WPvyeUI%`C6jcX 1m]6бglKaH_gHEE g#ko>Y9F}&f}Ɣ U%ܥoѻ0lX4GfCHj3m7غzox<80rARf /H64-F?0xj=#簏sgPS(׉5]pK_8f"[^7[ڽ@Q1E=6;"E/'=.[Z)άg}a(sY4S4UtԿGeC,tO6Ha*v!a GxNd?': .m]MRmM/)KVdr>X8]zͭ_ߏ.e5N'ƕ5C&R8O1 mXѮs>;>4s-Ae%S)|ց3\r>sd9vvw7 NI'%姃"IHUԱZ'1+9ۺn3. $ntjXw #DRSWϙ={y.>a)|΋'j16F&`@Npg u`3ef4,Ab[1(PeVX'TӢ7Xej2 đ+YNaH^^@}aa| Р,Z&N~~bdF٥dpz(Y~`bifS$0Hg.(1:յKJ^Wb~&2O9fEOvGɧ2N֨%>h3oٛsfyryArrlM~Sm3=VbdgiI-2ow27- r;3FKқ0mN)j#$V< AA3uXI-*c$cP,b~t09C5W03Sy:9^Jm^]A@*}¦IJԼ]cu̼4DQdXWͣd cTW8va'4]$4dz3kZv) {ct0u0Xi 3{qA<`w܂2Bs{Lns`\"[$#*) 34mi؛M fOC{Yd\~(}nZ˭=niB4$W X{PT¼ti F<[3*_W+tܸlsX7¦m'p(7o++W3 j9 ?+ l|wp!L͸qJM4ZUxN/ z%F79MfaiH=[һ^b5ї]q3~&lA p!n?MץҠE Ѹӡy=4^505?I0ūC/2şwc*WKZR=;wfjN̦L,U@g;<)~uTs̞]㝪7>?sDjd D: M)=炫^F`CZq-*Kɚ'UZԙkK)ßYa#$G.XSП(`zsAM^L5 ʾ}6q0-T?GL+8_٣‡f<{f+I@BvԦَO}pېX 'ܟ;]Z` knV2dDsGX#L Do =MȜ/u*X}ub q!|uP7sR}2 jQKOIZ-.\.iQR;a^' :PkW].i4B򎐧{ qXz} =a%ܺwzELwը{9ωظx*ĕMv BNX7u~R#\>-':84*1b1lBh51#USpX*[wB28:>Rr'xXm#1({ x r-Qfff}M"mK%y\y4i]&Y-BQy[gh ,M%kch qK})U mDT {A~`*`XV! d. O=˵FH֖Pro5 [i݄A۫—,):S]Oy..q6Pe/ò˹9V{Cr*̩/ W wx*ruDҵ R t>xLnAkЁ~Lpo(ͳoAr௣cccq lB;crʿv%bԵJ!kc /`b[Јg OgC\K]]⠒{SRvMQR [a!xgJvT)5[r-Z%Гr&QMTȒ;sƧG 홒*?pr2~ֈU\)XD6( j?ο`CݕIܔ[沛>*Īe%gQ{bqtHD[q0#ٴ!?k;!ʰe|+|:]0F4-4zrT%$ZvPL.Mp83%sC#`Ht+/iia[I%BtzHp\'H. &rnN ;TS W &IneP.VM;.ZReTi ݯi5pr^;K"#^\`4QOGak(:G]LLǃڭwS#?fˑG"%O9CJ+%52#.&|-ܲizQ>ļfl  5`&ϿG˰r¤*x$_@B Yޭ~{ #K5uN:IEڑ9<$>IYҭ+Luü2T:⌥BqDT}ʃϿ\:~c/ϲd-櫇cӜm!9O8 S(H2~<9ô󇵙p~bIT B}؅P;I/cQhO8ˉ𭜛bڻ5w|eLC'+35bSTGW2 I'5d&toJ’=P[HiNWJ|"@^8ȈU@8͊mWev KN&cSC>?nGC~ ub5'n  gYvbi܆)2_B^yGh$+vy+5bYCqnl҅T̝#"-h^zR" Z&;ZU0qϐo w9HƮ%ND ׻yc RnYmOz뇣])R -:ٚ^w~`xJ'#;!1rXn$ȹn=ĘEWd~HHiD T{ a'M$}+p&َz[Nw]2t"P G"~Ԏ?<ݽSV+GIp6Ւ]fx>=7i]F X4l]b I0Nl蚞"1oʽ@K^O@CUTwkjXE H)UBvˣ1[Os:=fbU㻕wkEӸ.<'GxRet4#G}V||8cN;hW+eݻl(o+{8 < 募u差%jWXsYlTuro%ka/cQv*~b]`kE(/*f5ZZ6ϫ|g0q?=T2)0ԬWݝf(QO!ǻAPJ凈bfKAeZX,cpS_h1&ҰnRsR`𶩷 ?k)d!1 M@P?dq/;~?U4 gvu^IV.mjXI4sHc,ĸ$6$78Fyr?g:ID*$+GPQdФ#S w:Ӑ 7+;/;W]\ioB^ ?É5y8q=292jW&JW,%1tw_ H%0d6%nbfE)@@;Ż]PV.|)߮9E >B?̢w KWhtv~A*ŭWNG&$ٛn/% #aYsqw+, =}9GNҠ ygm.C)q0S )7!IAx_vc. `kfR)F@,q%E;Qs Aȷvwfd MJ1Q;ww˻yx,q) ֌flɴ%X؄Ln c|~ aYo]O[6XweO~Ixc10xYlhScO^PK3˚1yNh)WE{3r3Ƹ! "/X_u XXo!pAҭWj_6u!.}eơr3ⱨ,~qyID=&5-%ר^ۮ2ge<8$E_T ɽ+?k5I, p RR1|*vm' o)y"mMڙT N{Nܣm=s靝];Tp8tz[*Dr+-K='8[*N#Frz0ZB*ٽ|3ʇaS>gku /?gRkh+a|9tk3fx9]0ѰI^1DNs)byzx?d4,u8^{EG3 bHAwH V!ml_Ayy ˆgOzs&Kg}a6GSqż@4oPooqsWv a*XޫjY/:.,b/=K~v JI؊>Lc+^ujbKЪ۰1WTrcUWM?oΒ#j*+sKaNpeni1" &bk'^=t̠$H[QjjHΘ nB6muj!3ڴ*Ɔ, d3U7ttCĢsta6AX Paw(T6Ru0>SM_T(~5:b|CX*"ӟ灟)dK~A z|"?&SsU7R/IXW%ݴE>v&nKY˫FZ3b`RŜ"XSzJ 啀4Y-#6GHPPL_GpK涷͞Ii_ y'R/)E4Yt fU]^²LTڐ zGdnbwgVUMso`g ?1h@)u3ElRϢzںP:rhWqoxaŮg|kSDCtf_-~@E>8Y ,`{u; @F6sARƎg+/k#{!׊!z~LC\7dG M=r=b ?I٥77c.ml_M~X5ܽݨOӕ zneACrOށ{OJAE!9V2,xlb2C&qR!G4sP|[]PT L6m"In-*h]ibaLV-hne4aE!$/r”1ϨFf+L8,B3M 0tg޵EW\&>$\: H[&El<فvY]3.2ޮ YSb"=%lchME!H^kJb6 DhC W:5rYLGoCN=[͢c}g\6Ed|ć"\%-\"[Q#L{X_"7!mRsýiUv{ /('Gu9=4jc`=H4GnbQ3X硏ܾ;u Uܻ^ܫXS࣪w:s=&$k۱bVIV҅n,np_K.\:g/:`X zyHzGWp$aYVLg(E=169O;ܩٲ5E})aNyjM^ nOxW8}ģ[!X=#Bh FZj%'5bNXEI>r'bVjܸ:uB5Hv5s )!4TΥ>thCR#?t2DCGqj%?cEg{ B~ިXCG^Vcʫ3Ia̙[|#ǣX֋ M-f"Y#SY[)5..g0Mȍ{^Mlm.jK/P~[^I@fJtn*eIag͟{@Ŏ&6D:`5V+J;C5@9RgYUGg=Xxzbu),',ggǵ=4 q[WW ֵƛ0 |3t9yf[V;lnma@iC4 Ǥs9 Hte/e΋YO+:#c`&21;H8D}טO_yOɾ2#zEKF|b^lȏiG&{?+=5b2dX&w7of̨_IG@5-sl$Ƨ#|PٮF4&lWGpn֖MIV|,m FNuꆞݒP:ե#dE\e|\ôK3-J7vhNiZpAfLuM ֬ݐIJ}$c{0Qr[<-HByU?X2|ߺks7˛ɡR[$dj4ȈSk5UYĴnmGFo'`~PəmaEx)܃]kbl"HJ栴7FgQrƷk8XL4s~uM+jv!` \V'Wut#_:pR>EtRu q<>K{[6 `o+B&6O*ukP厪&xQ]06M0m Jh6l=0 ZJm|[r9e_W2|E(YB7@A{}Zr*؛˘ΌSȐjhӏ{!Q׾ZtEeWiWg1f`[AydAIs[d&~#\V:\e 7`73K$`0yz э~[ j |-%"mB;gc㱤Owy5&]tT1Iz89]P,itxqfhW$å=~Ǝ6zJdU*=Bg;xQmI OLB(ɧS-R5U4ms>׳dI4+Lj{.!\\[E\zmv_(6vC j/\&^N ~RFdՙٻaL+8~BeCd` L1.ء'~Hل/39vIYVBs)Z@kTT$=mGh jW69 q¨RYL݇O16*n.;?={sZ]~yA#Q˫7ʙQqKh*tB@bn "tW_ >Ӛ QʔI?BLWl<5ЦD/ od<5+||"+CS@ҭ&=IT_F}C2 ;t.T~Y~.h,ʇ Md@@9`w+Km>9k>z\9P 4dz2K,O kjs)mKOmJ8RQ>'ۋ'[HVwn+p"B$jhK,,a gslr9ކ$bu:= L0AԊvx L>.mQnA?/oҬ#oZH\A'aY%ޣs ZU UzvYᕮ2Tjh![RLO\C"|ĉe(%dZW #塩GoFV5DϷ[򹥶ׄS $u 5x9~wi7|}UKك)[3)!xCҼa(LX禆.WC놫W2z;dFIbZ+ '_IE'-R_ -nLtg$CBT=q4E;.(2l &ݜ;`ao= \ Xs={ЍҺ蠘PĦЖe`+n"&57 RzƯC3`vy}}ruc+b_UʌhB!(KS]-q)8A£^ uAH.T$t.L_ G`E8DQa]=̒|\!hRV̮YG,ճJ*|}>cMQms|?ДE4J[K"=1bQLى-Hf{]2 b#EcT?NvFoh"LMm #yg9pi2F00u5/9`qDVg; y9l-7}#bb A.?B'TMn;`=a%SOv{L Nr"hi:ӹ,e+T/:e۠h~R"H#/?_1*.ȸC%,rEb505{<6DfǑ? 0R cKE>DR.Hd~\hYYaa ~/Ҽy4 c^,5E5қ+ DZ]HϻnfBjBhrA3_>CΔmc¦ǫT/aMzX~iќ/oG&^SchKU9Xٺb%(F"ҼAš*y~W4CDߔ`5Fjo~ByYND7^RwHzn׹9_)y,nN̸F6 !$_'FE=:YБ+f% k{SbmCFҭ~s;M'bBr?G7~N9Me] q0^y)AS x>e1'?;ܥ=$u՚9Ѷ[v ň-Kp^^p-~`\+n+t͂twX8`IA:֧ V Kd0)OD?sƻ}ᵵs"͌JAGȖoڷq\ankI?+JsFQ6sE+2X xa~n9}LK9Zr򧇛SKUcv%k@|& 䀢}/}鵘3RIge'i|;U&ԫ23e;@_ou=֊aZ+Y޸%TDPK\n{a% %9fk (Lڽ/*(2azNGpT >n g&sE:|ï,D$@׮'R5F(BkHl/5XɄn](;xgu\Wx(lv&Ai@9{Xc߫@h\Q{KDS/9)krՋlN֒VE$(#Hv$UB'":2f;sCߗc[GϥKjv3 BM,X3hY?632mm6xh!2+3(, d=ѣq[wDE&!#d7Nk Y[+aox_|fߒ7YdFKg*lW#tU_Bza%9͝nٍU5o0abS-Mbk9&]nID֦ `lo@tv~lO~6zѸ֔ --lF"t?tbD Ycdެ|J I Ga]!LtMᑩK]T0 ɃA h +E4?qCp322xyvG'嚡!.^':ΘN`u:;\ˠч "Ӥ !NKmw"4/eȿSd!뾏c.Kgx k]9VT xppnM8ߨg^' MJ($;}\ _KE^ *'$5wxHɿ\U}ޙD_o8`7ź _b0}r-"t>G(o Zo}g:ػS8m 0[DniVɟ qjb}BlV5#Lm~DN*(G!Kz>䐒QމMX ʈYon`F o6J 36B (3#8q3!zΪZ~QxTeœSڏ 6E$܆1 wiEJ:UIx<"(.n벧@yѕkb 'Jޱv^dRk /zkgmy'HL CVO>AU=W ido\ua N6+)TM5^v\` v3.@bole "o@~ 5ؠbc47Hz^Gp3 bP> =Tia9o/R/)qh{-VyNwuskx{ Wvx**tW,Wa[RQK XoIL3MN5)p OEA< x*1^ M sj_%76b 4؜Z̞o~v(b .p6Nl؊vj-(]P(3Lq&@Us>yaQ#}u} ΠrV֣6eXpuXKuj5OI/TQV`qa O f/=T?pw|8A%]':("cUcN#1xF; NO ny{ , ̧. -@- T@2X i@ ?X+f:._n `<+ȉLl/0R,*ݻou+] ;U6:$(!M~(~!6XyJba*:')[;dףl=Ocuߕs ]s_e<ނO05e'ee湁$h:Ȝ\끗]SE̻~&߃3j[%tBK.&‚Q2~}WFc-0'E)>^(f4HD~D.}VP < CSތDǘ= `3I08D'?jDžԁڸwW&ea\baT9!D ZAQ1JJ+BЌ9"a ϯ8_zn[ Ic!f0n`Q>KfuKװ,~&^-W2 !A[qOsUiLH9yq9TdM< HCAIa zYS/u#shkżXt\@°C:jZkQ"pkJf@|PdCjҸZm'iM~2PysHu.WfU*΢XM iwꩤ-J4@bnzcɱHN ^b?P!@$<]}bzAo! wd jP*á;n5!F{,f"};BM¥23㣰՛Kg< Oq3F#I["^` !é 副/c ]`zE; %E==Z(B#EDx^CRZ.@}n)S4ļn j+8&a$~ AsbD=Ff)kh+%m(JҁX}&)\EX&@}gv߹~{QA>fV/=Pkw4c%[%0+l+!/%l 4!j_eJmzSڠSu@e⨽N\[ }N pc7IL񛈈1^9GHK̭7C[y_qlysN3mr~`0ĆFF<; p-1`hW${k+ǃMk39ӭۺTvEFMdJN_H0 "w vFc'F2oln?J6 .*8x=ETc)Z l9m)/_>u9Eۢgە0|`봇2)6T8Ǘ—KLm`F{՚Vm P˸2O.iFmGX Ν%hP 8k_I{,j _v(q/sc8hpc5ƦjK9)SC }^a7xC Av]“B#"N6}Jm_RCGhL'Ay-U#F?i}ӂr"5U" k ÛAXղؖ,bX^,=ȦO9N^E&SaJh5+>IL wWqΓ*'] لcW]DzL>o%}%/3C˥=( UrZhH =C6pؓU !# -nhq`3ԄRjFIdSwk~LOxNqZ3 [IFUOv./i] e>y[\MFG2E\Xx=斿Br %|V4S+oK4!qd8UTgn7cṰq ザe}*Ss& jXo%EA94hYlZYq x{9g{r(@Ru:sܗ@U%3ZMV*ۭڣWwGWS_żG{⧜W u7) 'VĀJ+.W{36TYRwG'{?AaƨKh)3-C:@iɊ#;rfF˙wXx`j? sD0@z##y(%a.slXAQeCo)bh%.IX[s]V&)/廨k976 qli<-=xE5@, ٜZ6Kg (ւe'_%he>3)XAثi;^!W E>TN|ì/(lJH<)emÜ`~Yυ6jDnY)fb"m@8i8z%r|6~RrƩcAwիo >P C' MUE`P1mn3׺xSb58\  l3Ttc@U3\$0ǿ_;[uzs(֙K?fڒĐj9qLLs\QˑZrO-" s4g[QV_Xbq/f&%}lABg}/w|U޳#ro{Xp -HHGL5}* N:̏Nɨ %v-pŀoY v"NvLsFd#fTb}sgaBfqqInq&nLJ2k(NLx> NPϗ\L&µ*3jQ)9,s'Jd==ٟ ݐ|ci[h4*F7pk1|:[1P[ =:E'ɂO_{7?Y[_gQ>b[ZWc0P}It)kO[}G.\-i#/ 6Lzre`ZrHM XrvLyNsIHt/6{VkxD2g>&$%4wD8qP ͚Aؙf&/S_W{X_..%GM96kpkzb6R.־1ryҜ8I߬w:CaF<`c~2eC2 V; EMtĜEppH!-8eyt,'[5yKPbPx(v5IZh6fq.r$$-#~y>oti#[n\+ MB F͕ƽyڸ#Mǭَci)#1D) +OCMga*}Xa`}ӈE w9_fd2큂Nw@Р<$ZoLg]i5mCAE*؈e&aIY{*ov}?u%9~x<[3 ͹6Y+gs*4[##LW۫/7!`b?n-%txLF*L\O‼JY7-2#ԋW牗-W;r΃X7_T~vI\\7>WoMedW)Op͢y,HKT40ehx=qeW঑{㛗c4Y1pvftNmiyV̼0%zgYZ CC.3 /# ZF-InductZF-Induct.PropLogPIDE/markup7zXZִF! ^K+@]ˠ)jk2p O6LP=͵gl5gՙqjW-HIJU]]kRφ1{ncK'15_o_X?5x}Z$T5޲,8=YP{J=fOJR}3~2Ɠ跬kfu.c;d}YZ l0CYRY "E ,KѠ.R|6IDTOYۦQ,p5 F$ʉ(>*f;X[fx }%*B; Tk w50/u68#nMyv'S淬@vY`HJ! ^\*̸5]{:;.- DLE1=dXfJa.mQ7>8LרAb兣sDȅaދӒZ`'lvQ\B@Kgqg4j/p{gA,윏tI,Z!V8:-Y![w hjU3 o'u>&ԿBbi^_f(v[z,Xz?63CM!f("Q' wnF߿{^lth5\MxŪh;Z] JϜg>XI,I}k0EaL޾Z]im(0H0[%Bzm"+d#RTᣒc /2怫Z`?t8" bu^0w]%6ȧ;񭳭cZZb 7fS:!C2}Ư_:mtr3֮;=f=̩)&)W?EUS9\HnvhCXjca6l"f B:7& X:Q~Gnb:tZI8 x…5$f&34S'^Jv Z}V~e\l5Ɂ“m陭uu^f`ސ ])"Yf+Qē}/ ?yUui7Rȴ潷 bKϬR9[(ihl骿?-EjTS%H; n$ qW%c}dlEt9*Bn/nŷG;hJw[M5 g5aiMܜv>NCw"ʰւLQdzâ#RЕw!dr`] 9%lQu5ekSZg*P5/JuC&K E=@;KY]2[Ah_zJ:ń^%c4%y??wN-eרjPivw~zK[X;֛H C9$$CK7r 2dnV_A?k{ײeD P@*mHP4ÿEbd2eXM$iASLj SVa l7Yh4iδ-۝/4D@#FF{>6Gk-cGgn> J9ٯ~O >6/eAJ^z(q/$gKb1J 5ˡQUhۯSULf?=tio3+`a*ad؟PWϯ[ғMEC QYfs`Am7+@ʨJۄ3A:I)ijY7$lux2noo =sf02pAކs<;j2$ug!zPZ|穱xeΨ eo6}2TZUTlՐe&TP/nڨ=7F@˴lj?_[*$~T Py1BMiʾK~r>їphŞɑ h/N4Cf^4*[x1͝?v 8P2@ewf3sa LVuS:>.dfNŘ=׵p*v? ".uźܙ( >E("![MHTgE2>?:h';l>5{kv-(!]ԌD^#홊8d{M"pIXr2&ՁNYT|h~G ^C}#"l+ngl8p`Wdbλ" 1Z""@Y3g:9)e[rcF7zȴ4+k" AGE>$ՂƝhܶ/)5N3.h3 B T4O$eŏDU_ ..3y.>:pj6  N  g7 )# ZF-InductZF-Induct.TermPIDE/markup7zXZִF! )|]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JEC!1z};F1)4I`j`y.~yIjty rgU䒀[woPD7CYT~BHXOһA(I7iy!UfХqroP.=׍m')V(6?NQ9=C0jX규dl.,-FY wd.>J!uh6r+=]+9m5 jv!:]\+De͢$uTv@ ܇G3f(cR\dmv%CkqGS ll3 2 mtV\_6~ M݉#|SQ;9Qiw}:i@EGO[*AŬ IOLcou$xxP,KsN_!,5%l>e:K9VӆnT?cǦ 3YZ]iJ.EDA U4"3V[|S- Y2PiWENJR Hz<P#O39kGTqAƛ:U #T&08lZ=\~/ڟ[޵/%┾3MJ܍*dShRiʎpm_2ƽurtqՃfco$u\w ÿO'V5CVl/Uk A.p7_FO}*%]GEUv4g1 zv$6SiV<bRv6Pw}r}_7ٹc&2$ pM'ZPyKoܓZiWtٿ F.=dyU. y|n>(&n4S \u}ht4m(rOd{jARavmUC"Ls:hCuB1 7Q\;.Lf$@jRZ2@Oks:u}E@9wƜo H-sNcpIi Ib]w_;E$՗Irj@O%Qhs7yl@e\yKrLh7bU[;2/!]G=f, s11VB?縊wro+ \?L%x :A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112/4/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N?]·Iq n[:|&[z|eْ KSgO)ׁ;Eqύ8;h%rOŗgɒ 5]rJ0OЗi݌6$]DՔմ)ZUe/( 4Q6 7yn 7n& G 'w ~C#+2PkMirj1lcH`)E e/:XcJhh̪/[;Z+3~!Udv,C'gw6Pb%ďBuĊX6U1 ݹ|X`l41jѳ#R1{MZuj}iqkpXuijAFxyUHe~8DWwdJj)(BBWY1^q*_Or4Y:7hvE z=4gbtkmi-@ʋj%JܼDLjJ'Kﲴ$z4 vW]l! [{f@>yif(Z}:[ (O W=SS:Z_J_8Gm$ȱD^ֵ#S 5 e~α[M4,U:8oCy=bEٰm7F'*)d}T@C 0LGjl.dBc-sCO^C3xG]0"WH#(Q Udhmg,Y4^T `Њr}J9pԑ$mvz:uX߆.oMe'k%d-ATK21Q:?#$I Bt<(+4mTH^9 )LSXas%36 t [wz'ufUb-qLRM FTg{*P-AOIo&< 97"O6w;8QVD0P("yy_ qs}]T=Lm*3Vda?$J!%AFyXT>q~ 334/X <2EhP)`(9^9 fҢl$cUt7MmBH &?".~llҧbLqD-My)*q >鯨-XPLQ1Q7}~xl7,xb!2\DF@jƺ 4Zr_ZO}'`a='g s:Vͫ]=|Y *e*<ǴQ^3,"h2Eh’AZ74;ĮW+AHG=ca4Wo!pqqKKX;RLݦ>} ͑)㡨*ZlUKj9j5=q =d Y0R ip3Iٜ{`s8[TjѰd}NaBx|2W2Jጚayt;e8?5 Mʾ{*o^CiH'v3&2x0v[ĂpJ=1"}R2S̻=UHb;:qKԠk {D ,F=@ørS}kwTIɄe85YX'h&1&o1_(4Om`xq*~k&#N`/Lhr2XwTG`ۘWx2(luU˜wD-prbnA-̒ˡÀk_Ef/ ϲ?@V|ueB{ >j9~#$V`iO\DҙpMQwOljFاDxNNΚ|&AK"46#'kX@` p)Wlv~YM"yjp#/2慎lپ~ᜊyԒBy<;Ai=FTǫc`j .!L6?+RxeD mh'b S9Ïs-c#z@m~2֍ԴUPVˋ1a1Qز—"ǡ{ `Nh`&so:fh4u_^|QR^dcdP]ӪLx3ct|Np fU˫oz;<d&UvKpcZP؜xrWA1;w^kqPxtLN]X,Eh'&B5ՒJ}T+Sk>IShrTEƻ'vɋ3"}| !z7}ӘUVG=?vDSA EٴБ wb8|qڰE,wUᬙKhv?8!p%/K9#n\ `=S47/dC̱6EOɿOʇSE5=ی&g0rKڮ{)>!Ip1pqA;TkZhDeY@ce]bAxyyҪ`G,[~}֘q] (4AaSXsBwt;k q3k #qvkZ(,IV=7NXdSo$p@_in0 t#h3eq Pdx׬|MK D`Z3>-B͹C{-'gE~g6Zbz?S"!?aڃh^cSXw30= s@,J#t:|eabj?gÕfLE2npQ6 <6E=W[tyU|g&)!OJW/{ɸ1Y7_oB%b\855~/fP9-*f7jݤ\`vӷ/ hP24eЎ\螬7MәQUbyg>qMTh;<" dsSI(K]?kJ|RTMM]|0Z9Zˋp#j,B I&k)ǣWqzaltD:Z׏2]R.)F]xDotzrz-\{RKΒ@j,|<7X _U4/8#!U@ ?ԭz.Ĩe"ڞsHJKОX ¡]0T?$`1P<T+fzۈto>Xy@g7:ԲmEa:~kZ phW31pv{9GM:iJ+r_Wϩs 600̅D_U;g6(& \p)x|zj94JF)_>$f1;'E;ݜUVC]jg PE5gǗ5! tH ȝȂl(?mJ4m;]5t+B6.^ut͵$w2}#M+I9 YB)~?LM,^0!SM=g 8gpgg?C;Hy]sr@U61&O]|"-Tګdc?PQka1XyGaO$7"Щk_o,2V\+eI=Cgh?\ݔCg\o[A}0? myX9rweOZc#5J.aʢ`Y$Us׎ȉuQ@4}@L\a;4_- 19~&NK79ߩ4/r#);D ]M HɐLA9%]\^g&J٭&96S3c+V{VViʜ ˷H|>#lm +С@$K^j}zrޠ4B<e8$ >Uw9Z'nͩ*L-SwA](8Չ%RL ɱN?QJ5Ϋx{6̅%c Xۤ©|zh6uɁUA 8g2q& 6mxc[ۡįKRaƣ`6w>ᚙ/ybíBbs.?_ F7bi Jz1^`9ު'g$@Ô(ӯ Y91ROdn(/ x#bEᕕwEI+ [yX:cE %!rC54bWRPttY_+)Wl*V>5<Q)gq3-r51wԎ9H!IG8]l3 p<r)}!S.ufsc*;Ք {'ƘB<.r+.D"`p%4Y <7~ ]dSM/d]i )HbX3SM:}kЭl zTQ~d Bz?M/;O=gу;tD3$Be!LМG&/}wIHQ]G8bCв |?1mKi q/౿TvSB}M xQ %~򉏐wHoҩǃLv_3X`@/rNb:H6έ,r_@+>yIUsckYyg%>a0L|D*КǵP, [k>>P&' "Sx@kmŖ v7^&eZdNQ_¢['34O/{dbrq0!G Ĺ/L&֑:DCB˓eI}EcQ#Q  jixBL`t\˛4ٜ2Aۿ,Ϸg 4Ï|C8Uҳv엽Xv!.w{UXM}]KWkKsKGM79(+oVK6?W+.l %1-#ڊc\,}% JBd T־yUjQ?sVHiLáE#f::6ξλ1' {;U۝q ծA~T9{`!!$ܳ6"h|YU4TNmK1ޚ[GaDĺq&3t)Psk_P/g]VѭQj!vǘ(-{SA 37,%IViVh"͠ [RcĀ$;G^b*$zqjuwLFTS$I>cV#OBŸQO(ݡ-G9M@/S^nT bSwF0a@icUu(+(pb$蚑~}"6 |vަdM :fK;ϯM2ɏ ǧkJb k! ܋k,;@$ֈ;bK ۓ\ÿHyߩcAoVl䚋x򇐄Fei'T @E 4sF9`Ec!$tŲPx4[)Nyr6hXaTG Fm=Qyf<52v"V_?V>}H!sҭ#N2 %M`eblm0>kJɱi:W Kh,9F'&:g4F9a^洂 Mzb@\i$#oyzUoO)]-bύ8-czj5 ĕb) @zޱ/QKld_@cq{MVȌL=6M-VJB|^b~{*e)ћ&Y:O0m@Zlhwj63"UAW+ xz ܲKiQo$iqlVq Hfblʩ7_w5Aø=N~W G!Q?l8aSKb,7pv'u+'4WdA6A֦ij]SxI@otSEvgle-Ǯx~ N:4N?+Ӗz{[\@fzpК0h isIԲ#nT+ D50hqw^^I_,*bq '?7R6m_¿qBoQYBsAx}i~-:Mpc K f־Q-r6z'̙%y) |⯶)TXol!JNa11`Qwo2:!*m_2cPdG\qۜrv}i-/ޓاVVwP5A(>C'r!a_0n -WA& n֖/{쬎xGTS`Wk%^7|-"7`R}!'{߇/V]<Ƥ`fh6|a/Rsu(vh={"A1m` LNwT|cpϳ>%{cA6|Z<FaWz`*Uv؈[e⠝hvyu܃$\?lcZZe8 LR(!O!Z+d- dm2:]ezՔb$&i(VPP'b&sVbzo#7Ҟ`6HH ͐"J[H]RWUAʹl'*V]◥&aiF*<%W :;89UY+GޗPƸc$!+%Gk&0 t 3,sNiނnbgk<< ^y EqmDqU^IE~%ծt1ibi؜̀ZУeBM4%bJ|4F.L2iBkq2,V̶'ebOèA>ᶜ(c!e}cD\ŗkɇ9̚yJrosJ|C9>pMSy,]3DbW\ҩDw|?{}z헥[ˋIc~T݋@Hi*:pA&, MjUU 3bQq#\%\ONfG L/WbJ;M=hsVY㋃\Lg'H)&ј6`)±(Jzq n D5\HTL^G 3a>1˄cmKOnr9֫٬ BTيKBVNޅ6!g "߄{ҟPL۪Ourl(  *<]2`kfv2DҴKRM_&}WwWYF}R,o_3"V;lZ[;#< F#U˔硒C'Lj0VAw̢AC9yF}uVV:Pv O,MӾJ9rdQ&3Lס#2mVlph[ ,V7xuntkQ3 ̓FwBr T^L L&Ϛ%G%3HE?.CDObZISξ31ǵHK@WT?(B ;\]%|{) k6R-%POO=om׽5 ?-Q,9p7G$ zqz'-:BJ r `m$S1ŷN^llU~heq32bfkp+!-4]P<_OI y>6Kg%̽Cz"[Cf5 8B0/G΃ $ :8UWbKA6GcGd kyٗIg0tԤixgEգB4J@0[7O!B7X3O&b>[ ;" ni!GE,)j\p[VxbۺÅa2cyjEKW?_aa8$gWi,H ,۞o/IJB-U枒 ЭBྜ y$ )Hf=?zyӖ7+}Ӕĩባa^ uriⰞ%~b5{xZg៚j4͔-Ƿ=}It&'0Ql3韕n\Ob 6 gŮ`/,9n1?0I-aF[RMb%XQ<%+WlrTN@DqY7/AeυR r )™dx!@4I%D1sБWIwQЛZfo}2`R2~S)hxpj*GO8KHU}zSѹlJ|^,gÀ"i4D6ԎFϦ2}^ ,lAs܇t2p~w үW?4-rQ'bM†-)$ovA sU PYbn=V'dWCT F٦" B4F4W^)h=n=ZbU}x:W)N ^"nI'O<0fz~l61>a)3r7K ,\ëR! i["^wpu82vV9IHwt+x!XQl%g8/S{BLϕ(p:Nܚhp1 8*r$*hAkNQZѻ&%ݘ"vXO (t s /dy~ĉ?Vbu'7" jӇuQP{+:?6'w3t9 F 2Ek +&kQɟu1[aT&ڈG-&?.۲$+uLu v:U6O%<Βїں%\WJQ}At!kV:u:u(eЃw7ZR.-X.*dyZ0( }_fbkJ΁"Nt'T@5+. oGz(*j7=bcib= HgYZ ;+# 4ZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͖,Ksqjj-h,@0kg;^iBS30`qK L5uԇO+V1oe9~;N7ty#yG=+枎cOԍ=, f<i.Ne]sȘv&]NZDPyĬsM-; Nf?v?7xʥkĮ")2Sm< 5HyLP]r0,CTJBf`GڊiG vKР+"bx $%y;Q"pnQz1Md cuo@yQf4H/g2o%~ l6,!UEJO&tSz%Ns ' 5S9Ί_d杭9~Q?XW8is;uIc e)Bڶ԰un/o &]Y [dDѾz`'Ѳe^9y2f F`l|" -,l5]|#hj`nوoTcϮv`t c&*+jjv,ǯsjJF/$4fB{!u-U2M:}0;ÿ)/2ldʨ:zՁQ L}V,iG$Q_[2؃@aG9ao83]pYg4ptx5 5rGl2kM܆hlW$t` Xo#]{)wHZŐ7[ Qq*?u=žW!) r}P8H#6T:9,Ip7 'a5i$H߶ĵ=.5Fj6-qv}zPf:8ݫh`%a.՝r=q뵻*?_(W/ /S}* 3Cڦ"đF v0@EKi' 0ZyAu^$υ, sp.+݆ڡZ r5JUC:q[0Ec^OH|8P;/t|<? u8^o)cQ̄UMDtJq&wl5 i\+AI'L%G~a$]"#6J"9n-G>)z[v=Z?G[9[B+*$Mde[]Y t%,0YQ>|u#k2)dZENS\H8b[;w{`bHn}vxl_/\p(?ÿ1 & ƨ"PW6]\0b=l0!(#lbseչ 1P.ظ#DNJuWeHwg"9kY킾+X sqbpd%2Oq6i8II0{Cʐ4] |ȡΠ|hN/t浝J',z /ᙥd\ڤbV`C [\]c.զgϨ%^ \0"V39o &_>|C٦i$F8hՉikAuqöFf9y^yS_%O,3 e!/q(u[)jNYz;ntvJH6G"+\S4t>lN ix9\ИAaZ@@*ed;v)cࠄͼ2o:2c1L͑*D_1E@%"gJRcozVnH}Z7sT&2g#z?G\٫#ZE @d>_`BTVHlKo; hJF'sYHB(7dGX<#)9 :M"\1w&8 =|y)<(2>^̍XNFVw:dΟhQHLd^Ttʝ1NX8,Ĝ? @ȓ&4FF 1Q 9gwO")+h4ɇǵ-OǨFb/Ižywda>䫅 Ȋ=2k!8 oF?_&v׫=Af3SR4 ub[t<ȅ؆m*3]9qF9;I}瘕5p[ByIĜhq5Q8+8 XJsó醊}΁U0c. /NB|~ CJHH miZ,eF{NWE߲,% >TU xF{qIDmL1EZ?[mnsZb,*b1z%ĪUq`?\.} д (7 \ ؍ A'fN>_ŧd}rZ 2C(fȬ,m|'p 0`&XH89@ 46pDk9IS8vl_>x,@ 9*=Byf,#)s yr*ki1awɒV^c*~TxY"v*e苯xFpVwiAD ?'=  L  8l)C )# lZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&QOk CRFUr2; ݗ=JN%wc|qICBqӳe~%c&Qєx51,468C-ѷZJpљnYv؆SsII+O4?+*6L9Ollcݒ0\ A<ّh@P"WɽKX ߰ԃ`b@H4R;5"ؤ)-U(@i$s?A1SiШ}W+D|X;\z3{UvyRj&acizmB po _*ڒ-7Hu="-ZTt;r *u ='^^WJ6S|>O@PLlw΂uǒ(v٭*4QGJp|Nٜjjsakl6k2U.a5fVĦcx:3;ыzf"ʚŽ Ŗot`8}SIzϢ ]-0{+eyĔ{NVBAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' TZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *."]·Iq n[:|&[zN]Jvծ n Ye€x,=L!TFb0]1ZPyB鎉M͡WI?8n b Pn *u1z=l7FlMx퐚BX~D>G|'X+ eE&SA(?y<āU];ktzjl nB^܎~!0|.}@?t> T5Qe~sD}ߔUGN$^_Wujc06qN1DwI] B8iEL$!T&bXgYZz? 7# ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;4ʅZ6od8n{7auuBеj!m'jу#E5qJ cKȬ³w2Aa>I/PUTA+DMTS\kf&N7'fX HaF4WO ð~5٭sT/C{߸tLH Q6~[:.tVT8WGFPxǤ/?tRO%Pq:`YT?5a;[w\$­cPI8gVD Z j wH! 9L2P_.{Tnũ킃Exac cLI=:Qm`;xA{k&;sl@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! C]·Iq n[:|&[zYcw'ckf[Ӧ O];Ɂ [52H&6jgLү9vdgK9$y Q{41T ֖Ise缎8 :c EZ kH爭|,l={)* Rc2Y9hdVȮִl9ʖ[k1NS I>g,Z] ;cѭHGN.6(*s-,ఢ10@]-Ge(UBg$ Ȁ͐QQX0QU@o-mUखUh-<kQ˝zd JЩZ90 ξZT՛^9FxCNs2|S~qA 67-nJgdK]&LXm. urO${l?a&{Vsx#'Me{-N`ylL1 Y_\~2E!p0Ltzvn VGM%nnblxޯ;iTܣq[uszʨ∕K,TIg}FBq )UOb݈m'>qh}ڕ#PI|gN}yr ),gYZA6'OeSVy3. Ǵ5Tu [s{HPB/kn3OYQ1 ^CQg>߸ng8Z!MN!X:РɖX;d䏗T 8S}ӲX`?xWl]:-dsa16Q>'˟6iFK'fFaRJ f2^1Kw@Sg2-rzvca28"joϩwἵ{~˘{ ٬L?P(D7co ]+QL%0:JxH\g 4 ^֙@["v/\{1 {saclr2tu.*/M4u/j_-%d쿚Rn L_u6Ý:9V|0\T0eּK10|Nx"Nփ.ih"챼G±ً [(okrhާ覦?Dcf 5ш-A*J1LN(!W4\q#>ܷ,E|O,c)eԤ~%#2P#!>!(5GnB' _7%֩G+-}\k}_1UQ1FD$E zx{aj4HdC(cIn S^$}?[]bPRbo 7ɥ4yf-%Dg.4 X2ԃE4%8whM-YfXμ ÏXѫ":TwdjAOE07BQ)]ԏW" +1bOދje| K?<DUȒrdFkF-XL}DO`F}8lXd ]F}&PNŜ{Dm.k4 ўnH `-vO~oAsl-!HaӒ7t$VuY^[ޢ jS0cVG E'O7{Qp|q-^O wH:\1}<8P;Rұ3 as`r4(>xmHW@XE EHi 92`I0DhUsnIlv U%Is[=?VaW(B| Q_10(AhSb{{|7Ue [Hc]ђ!lnrlK&53|-zL1Aѯ%\kysZY|}c6λb87pgK &>@o1sY_BQFyG]Ty)-ԿfD_rԒT_P.lah@^ϐM{NZI]cîdE &X;c7 _]`h`%Smvg=qRr "Xs#XD}zE6*2i ;cfDtt |&="' {=?[߀`v%/6pm/5)gCvDNI/t5}J!_2e 4~&ȑ,JBn1``/ݺv7;3<^,){W5`NSOVH=?M<2g)idSN æ4J`KY{ &e,x;D 6/$>CT);[,4Uu^X- 0Y4mR]F"~ 8 JDfÊ<IV~ ڄ¤8>GoY׹SpV\ֲip[x~IH%y>X[Iӏ vj̫ •[,/9nzݥzn(szzyNEp]s^l`/;ߦb3z MM׼;$M?CU1 &}U[/:Q}E /'&: v,3|PL<ق<_#Z{W =PLkfmLK6"5SjNvNM L_W_Q[ӚN텣Z^tx_S5bC'堎[ F 89?ͩځ5AWBrqUg ?=gWc_Q]6ܴ̌[ZkX1DG9)-dLȋC@LFHI 3WF({" `]5GvgumRsBpm5d5bj:1 tyriWƓِ| y3h?Iu+d$4 p8[mV-o9 m3/5N3R|EZ˸ z']|(M&6U${"j=4;8c`ɫsH)/U*U X7uRP<|PId٭?i]x*^Hpt^8"֖jq~g߰z8 ^],`d,Mm?0ubqcqZ)W Es,+*Σu{vF'*DY""FRC \9 Бr >SqHEd`0XoemqT4k3Ϫ\ñFq^aP/{b;Kd|+Oa JŲ'}Pq=rI e3;UB:XM4͝/q:R|Ѥ:*} .'?'}S NJN G0d8kpNzk!'Z ;Ï/mbKg`,mh/w;**!opxąN5~7s6<9haԬ"}`kOO:y4oܳg'MfA巳˦Yi\ZB4hwS/e ¨O:HZ@e e5:1%)Y^v`=^d!i0jgkѬq ۭ= 9L,'zX+۩|*IEwP^\}b;Gn^;?I$TEA`Ѭ 9AA/dw-F%'#(*@f"Bc_T2٥ Oη Ph,nNݑ5[3o@t:IjD_B.r,G}"r0w A\ aʣ;ݙ..[K=$HaO٩~Z}chH%$*gz^M9pWIxR~!]z$)NaY:kSje?z)m :i4t>ޥO p)&Ÿ+YEpl_shx.RZ-|rG)5AI8p9G?´8:]pPcֻ9ʿs ݬ`D|痢QfBUySoD^s5zË&<>FݺS;נV3 F?9?^>ݬ<>pb-f%sPu4L[AWoWg'#y -}ؼj{TyMjEm!Es#gfCDݽɂC'dfx 2An~74PߐH/]G_5NLUh,DC 킜ak/En>|"!D @{K'Yޏ 7 NCpת] $'},VV-%ԣPxjXcQ>MUl_.Q#%3d[V*H9FƙHLdtj0 X&gŤ;/EQGq΄K\U3\5gekXH=*̻YhnB5܉42<cGlv/\ /m |}3CLXVDrᇥdk <$cz!*3Ž]*:"hnC B}\JX0p'.CWеcjD4O=ݱdLY" vf6rpAP>b){/( S_jTكú8x*/BP;묺ۭ.Ѡad\G?TjJboc҉q~ j6?@u`CD:x+j:d]Zu>;c0Mx.r-Eb]biGxJM~KqhZd͝-ocK2"f+^ĠQN,h+?s\N&Tݥa0]0M^A5#uozI1'V2);bejwǤQc0ySna.v$-NZ[d|#zІmP 1&aʳygq Z=;!MU9T\ `AWѴ8WI1:|()g7>1HX+1D։)o%N۟ҼȽIqsEλn>bD|ZDzF찰l.`,hi,JYY^Y.V$Ybq+dKd̒ ZTABׄ2D'd㥲揆i:nF d!RsmS3L[U鋅g:̦̎Ɣ^~,;:{o"k/d9Pյ1 譴ۍk#>gi-y{ocG=ZF\QqC>1 J=v܊U(UQ WZrs0ڤ1^ͼ oމ9~PӢ!0TGu+eWFTAXՙ"#X,V9Pɨ(FGGjf׳*)yIm6MEƑ߸j;u ?M]##p0YUYSFxu֥Wz봀ΖxZL5Am$o Z) oczi=BF޺ dgLG$݄g'gbq)V)2) ;a`bTO}A/$Lz>{&Z:n7^ξ.jTHfSy1y E G1{FP M7>\VE '^VqUX ݵMŋ((Qz}17(hbKT~d`?8#&V(#Ejh/å5qa"¶]Imi*цӏ+.KGXR)]Pv2C-#0D{d-Q WXg>.} ~!>AfHvx 7j>z wV|%;c0MM['>0KqmD$ݟZ(!O;>|nT7Mf2DiFTU 5;L{$o Jo-z8^|kTc-mt`, (X壃='j9*ieWaoB>+'`6*ÏϚ'|@Y{y11UQx,w=po:KqҘ;;='a8D̰ ±-U@m+[녲z1h] &ArW_C-ehujC؄ґwbPEO`T26YmDdrKCi1jUf$FՋɉVd\xwM;H0) s%63RRTj/7/BNUC]s4ZZM08mTԽ5$ys)!$$dMi@<-KWR3~Ĭ_vҼd8SvbG7gAM7uf^ܫc{4QEӺcA"<qi'\&Ad]ű[C);T3A@$t7T=p|8hےO;`MTK@ftӯ<"m_ P'f7LAk1 LfqXb1w]MaaLZ띙1pvR]P-U*J~>bavN,bm2%Yo&HWt@{\ܫUWApz 2W1Zt6Dɬ}䗵gYZC> i3d!qж i?PK͞ȩC+m wAl׬@)?ZsЇƸgNϤad26;oMʎ ! \ΫNW(1D Yߠ~dM$SQzuێ֬~!@8f%C*ZQ\ V}fha Xh\<@]O]tQrha܊Wdx\:/iL5=ă<@j>S4o  ]Ua{ FKo[d]l猎MAut}k$YvdsqiJZd(xW#pF] #pnK oeFLc~"6 '}/L\Г Ljs 3-=kQ 1_4Z%],<8Qhop/K2@ ~'@W2Bbص"&;l1c w; V; Zu$[!eh>'&Z3q 7@ɘcWСl[͟ : e6:L9#UNOQ#n/`4LM>`v 40=NN Ѳe ]@"a'+g>5*'YM]|n*XM u_lsfMQxyX$t_9 ]F捒̤13ǯKVh &E`׭NuȀ¨JaaLJv <eEٻZaCV|ip.Nqs s?,DSe,!,#&O9Jض)ֳ9I ZU#eړ!5݀4tmfh~ݨqm\8ei]Z]TR082FR* /%j 6670/uy{]EZ.bb3-%ɠmmKR^1iI$|TM4zD.g{X{ \>C{d Z1"ZL>.VUAQyQ'[;坣2]=\J+\!S05(\t_=逾+x.U"v|]@Z(P#"g!l8&#>x;d5d`G )NŹۃ\=Y7J\#\6=*|QrMfd||]^YoG?>d̄q0t+f(a&|gRR:ًad%<^h O:t]&.=ȳI > }GB0!n9y͑p csJ브)?0/pM p)Ƽ87 K`; /{L8#TzteLp!(uz066>^LS6 3(ܞ5eEss_z[Y#Ml*Λ*яuB13.*|x63A*!y,"OtN",=Ta̼ SVelŁG &Ħ[FnPq~ )ϬO`fx y _lL5-qXɫ/!T-1Q#E]hjVr֙J" Y@@1W(j^Dkǽ uls~1nhc sނ^ i v}ȩ]ΨՌ>83 s1&y泓~A&G^fj9e$0`sҧ|{wؠ0{YWC?oFZFL sAG4 T\Sn|gSf Č8'qYBC@xu$>nYob:8a2Q)ɚknʿ۝I_n3BYi + |7X-YpOZSY ͌@tk>cUR z#_r2.dIm8Q!@*xK+[,U(Nt7kû">1l\Y(gZzG;ו- XAhdM(4>A{a8/h!}$ ^K6i ,)p1,Na S)+Tf}q_$bk rTbSCc/[]1IpP5LnYw(V9}l֒C/̞B}M˹iO{LJ.cM#Z҈ D,&bYgv Zu0|卥b;tU|R8[ݫ6W+'H{Ilgi@<5a `8]"w28D%ާ/R'Rqsjwz Qgo:g]<_ؒ,!΁[y0s)nJ 5hc(B`462rS՛x9"}4qbSg(9,,RՒ/hk ;< CCE$qȆhF %B~I)fDwr[+t.wf |h#Q5~Z"zdhCO0ݕN:owU1&e%YjĮ÷Ϗŗ Dw6MȦ) Q3b[Ңhn:NERZdꭈL7ţ.`W.'k U2Krݏ%? Zq"{"Cs.^ǭFB8xoc^gⶽ )Ti |##ZFcCĂlU?HgwDW}Fi=9鲣֨>IHX]8WɠԬ[27(K@QqǓk~ҒMݱUף]'W&Ta) )1PX9U4/Bd0:+1-\t>{ !=PT\ sy!tG`/{4?+JƕS'*YQ1% .뵈 S}Vk9G:G41}H6vDK-IW3Ŵ` ;|j,!;m{k\MJzCĻEɖoX[=ыN'lY o-t`գP#g]E0^u!mCP.lpvV}~?q[d`!0 J~9X+t(~[y[_i%HHTIj)2⏑2,v$hE_A) !5P Χ4;vVӃxqF$" T:&ofl94{U f ݛ!xܖὴ7E帩6h;"IV@$nP x&| wVwomA(#zDm_(GU[LSI+ܚ5H/%[m*?@JQ+PMjXkp꯫I4<Ax4'=1zZRK:Mpޔ5Rc ᅞJFPFqXRi<2){$J<0 u:f[-Jv|n֥G>/=®p. ںFG/# >lz="]U1FP~'A#~85RWzNM=v>t 9eZ_37W!,-' [&KPE  W&Lqb6 Ejl0SK0xK֘g[P{=&9hY9cH$;5H '~/3^Ⳏle2B'5WW%_ (c\D (vq^|4j6gsBXE>_j,y١ MSbEĮWF{Y9)t|ScL":4\C~P2"E3Jo:!0 wɹ/@&81l:=D gw.u+UmQ;4X>O4B wd^op7L{$KRթF?b8XMgL,^c 0;xP1.Pxm0lS4&T PP7WQ#mf[PBI 0bJ:.q"IQӦH,̆sI`~ c6"3ra} PHG]ɕTkj$(G.+xouGvՒls x &N|߳2RRY?DI2*: 6rϓТygc1Fp‡YR7%{}3S@5 <ϩ0Sk:fGN (eE/ǝrBmi4q^uIN0HXct rV˝m;P+gO<BeV): #K=ҏt)=^6y4; ɜYd3r' vd?]p!H_!Q% /2>W2K-S cөʘg(H $tzl#ϕJ,R[o#()=խe+;˨ЇSBf Р]>ÙKGߋAָ\&)/㐚Pg(hiICMǕTg*(ψ\_k/tRΠD* _.4b[b!z3FMmhh3HvX@cT ^š c ApWe tR'-(g"*I oQ̊$l]W;8|}Py^|YLjj M9"zє@Qk;ݶ蹌107ؒ İx(FiC0i|Q]NtjX~OCMq\n0^cfw /qD54m)6S3HMNSa4ӽ`y! ԑ/gYZ J~J2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlcaWI'' dZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ#]|d\Pq.ąe92%"ATT9oAx׳[=UD;Z"p58nf`ڑ$t{;U+U3=.?p}sl#Y}UM輼jh* >OSG=wWtI,tW.}9&7~ ­Jn*H@S7<U^^fWegYZiH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗbDL( ,n^<6#" pb^mqwzAlK/Q594S}:r9uxC3zk5Ot2?n;|+ɈfP /X 3W+ cEhq3MdYe}W b &+.La˰ė]+ [$ e4-v鳄h-rq\w SnՊC-5bP{RHT|424P-#wP]Ꚁpq=mjKz>/SudX|޾ӢU]CV}1#Z{B$]-8q4KUa&T#-N2I*;7d `H6HTK/%ܮ7pDs'46}ҐC(²Dyq]DmvGj^Xڂp.i@o%Ot?6ׂkR{%?/7V6ߘHBB~)}$L )bB+ҬUr0(#B?Oˤ ]4 %/{JDTr$l{ۿ\FwۖzR6`'z`~BU@ч,\:iHĖENcQ֠?iɘrO\l@\F‘{ \BؚPٝ*>)kߏ,!"7Q"-Y닞oc"s!&8Aҷ,LO$ aC/ռJr8ܦgWhC\SYGZL5.m7B ?! ͵K9hvP.쨗_j*;P*rOXI Μy?6i-Y|,T=,Sv`XSZ4X|!uH>.m/TcC. i_]v&M~7űǁמ-Bý;(EkeU8f<R48ק0ÒpWc/F_OòJotYҋ5SĔ X㏢fr6ggcHˑ k#d$&X]׼h@ZDS?# !v4m>*XӶLB[zƆ&~SU<1ߢP"V×5S f_f emYJlwɒaʬ\[2q9q2h[*w&`2ia髾)v#t&WBW챔~qQVںyH@?$/4 loy妑՞[wp'^@{JVQ+w*plWK ZL9|'*͙&"mh XķF1x~F@nqWLIUV))feaMQ]~˭DJB&L؇i XӜFF4~2uuP?稺ըa֢<(KLEs4bp8's\GdAqHܪ[NA& 782v(,II±w򻏰[Nh̰E]Qp~ `J#v{ A{k JRLSæs?_eXu1$srSr;)eQ0Q魀[Ā*QS$K4ZؓN+)#[[jͥ KK-JBh`%ڧc๽-fW*b)&|t8gJ̀WqQ~o;tK9H7yP~=p9<+98{m34&MuqĢ&3ԋZUz 2ujsj%,t탷<_>B$ixKC w\H) ;؝əo$IA;# ,/p?yXeXtϬC@N̥h$$B@xn̬^H_k $ݷ쬹{<"q=})4wp3:m4$f @d~-!+ ElΧW,"&]Df< "%-[ݳG:D\l#9xi7O8TU 6 O-VEvC/( Kns'1tc%|y:1 [N|kO>FϕԺ-IV 8%[i=A e{4n$YSVcBmOFu$79q"r<)!lE5Vv5 _ + dڅ˂}]$R u_e7|wߎ)rM U{Рac47D/aҭ>dn Lv{U=3oZm :)}ܕo]iq>poNMf!nVeRJ +| 5AӸ=x 2Qݞ"v$bSKP~+3\swQwBXDI>~$+Y6h,Cx [ܱO uruO/ny[lcjvA C/QŔq]94:[+̜PⓎ} _ $~{k8S 4&-~Eu~ ^&}znG @8on[SS5AO ۼ՗;"56?uc4i"08P3h"op,*9i'C{( ksֱa V\^&stl̋r\tVXۭ~zl|(L\tO08D LJ!6Ip}D3g+㺭l9kd0aG{sHaxzyl^fax6u wDcCGU4k1MނgYZ -- M+# LZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CQx_0(/hJcww%oK RvC~:-|@ے/< Pf$C `'q_}C|f u\˧ľl4x"ț4!ר/oc'?'/M[CY^vqխ/es{y@7D U 5H9\LWAծ@(& io[ux?r-sR1̝]tY/|;'V 6uFjpӢ} rɅ}RԾ" [ܞ6 CY=XyX)&0Xvؽ͝!) ^F`i~Cogҧy'cѨ:͝+7M:)T-ty+2 7[pMc@\*0 t,^c5utfDsp(%LUmk3 W8Ej^=(k lR8N,#'0$|A^ث4Ua![7[x{]77nmZ(mHk0V[VJ$S~& %>O:(6Z[7: :7AnR=튮biX/+ 0BPUS?F'`#,FF2laNm0/Z׾_dF+'& 7eY.ߧ0e1 k M{"oHj3X,zӇ G[^ϒ;9DowJ ))Y:yñ~rΉ]^L8;3@ԃ~. i X~}Ob:__/|z|^!vZ(@]]V*K4I~f\o(U"X1hADH&W# &p! gUC[@bC~  _B?MONyΐ 򢔦m1y~sDBtypxf{at{ځƻ91sH CBU!:_Y(䞢XK._.}綦"*"i\ x!J2nYI* ޤZK(I3ԃd* fH~3/1$s3t^(Ç6L)ݫ'3dQ%1KP#:4ꢚ@1cg_ʎ`ARӝhFqFW҃U~4FX֢݋)"$8U8 ٸ7ʶf*ɨHZ!65=TnH(Dh-R,XmݞOjXE}2SjpC'X(>EhZ&K?ѯJ:biζO piqnV+ޱgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4  Jyv,!S7Y.kUN`Ns߹R݇}GWA~vScv#^](tἔrO2qcQ[}$\ylJOd|6B})@CGM٤ȎU'WOIBq|ׁ|ղő^O--YWdž䘜J:7-%@Ճŏ+(0ESSoqZS9H?n dDbTbP#oE;JZ*gx(Gb@_߱gYZ