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 yrt< ]/]ZF-Induct:threads=6elapsed=3.753cpu=13.552gc=0.7247zXZִF!  ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0Ќ1Ѡ]!?406{\_nሃ+QcMݣ ,b/3 Z,XuR{MӣE)(1\:.?m٢~F@ҵ'i=_ s̍JߌgHj*ܚ $E 1NZ \agYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5,'D6θϺ8 b?P?чE)&1y4 %-.D0ߺ P9){F.N4vO -m[DQw&M3 C<DD/C%,u6!ʿ[WŢuS5Yfk?c)nР&JIi!(;Him+w;M_}{C(WfrQ?n?܆Fb)8Ymp$ݞ+pMM> L!1e HbTbkrbL6u2!H< ؠL{EĮDP);Bj^LEE9מ!t!}mRIENN6\ Bs􆪣5c8T^e%HqVt{1mLb7$B^G!y 2\34?W-*&b؊>]9@(R"~\cimaC#w`egd[葵4To!妊@d"+hXg>!*GA/bLNSGn.v [(**GB#~M=gYZ1f1c49152673c37e99c6c45e8c58a9abdb2569bbd7ef5b7f6ca06e336d162c6e47f9e9ad001580ce e20d08984ffc9ebe50488fb6f52dcbc9f15f91c91d5901e6d20852472a85f8637641df80f292517c   ZF-InductGh)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsFMEKDG?C>;<:978312/*-&,*      O* ` b /@cWq _3S*2 /  ) x O % vM#  9 a}O u J !nc1 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 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex3/5 ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex  bچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZm6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Qj p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZcUES#usڮaaP '96"J!#7<'r]Rr*N@~\EU$ʔ+*V(`ȒjrH *Nct)Wt&|ɷn8Vk"b`nHKN #VQV Ep&'lxIX7 |0];q2WfkEӿdbwW9_Hm0b)Q},#d|HGbg|sU%`1GbX>})b 8c:n:}2NQ ~ O(iGʮ6Q/Hu5$ CPZv{9 lE!@*'!65􀘶Hٓ2U 9-"3yEyUJ/ޖ\QlwK-6U=Bv۩b3mU`ghߐK)7\}Uוb|n8У- i-7iy[ g;mլh8rW)_qY dbάA&K#ψA-/<ph l(ﹶ_YK3~Rzf*nLmܣa$=>u.W]R.8RKAxMps %k3NlLJk+dz"xlIu#//GAPH{9ĉYhvgje-:.m5}@ dr76h0-z5u6?DBL 3yٔIï\Ϊe>3}@N|p`6iwk.C8bҋy$ S!a8,\#|R}.ۮ52BM#&n^<}c(T)X⇥}!pĜ$up&3*MFC{(A:w̴ɣPDln.LwSW;} 3yo^']48WKNnՇwwEq hmGx›oH6G"!}% SH!悏2k .?+r.d'5%Cᤀ}2a#M{,W {ꂪ,_0y:5KdQ?&[fzKՠX"r23>BA+le46 n 0(eF4?.ѭw ='P虗,%>iJNV}guɕ} 50Y6pwomt R#aw%J^ѻ&;0 j`,Z`>n -Ƚh-mh:H_Oķ(ZfkUEm(Ʃk}â(uH~n7\цe);VZFE^|@D1__W) VQ&Jb )5(%/q%-%2y-S5eP[2)) q" ,m,r }Ќ-4?<N xGlAcVy,FL1 E I n>">fɀKglpt\k?j%>2"`r6xfxнJLy‘0暆qq4OLqE,̗ɖ2x?OmIkn~V ?{bUqpb/+d=|-bAX2%Ǟ4`k^՝q>㐩D܎iКwet6 or |K~r0%Mw'Lw^|Uʒ~2m"g[DE fF`86}bt& G 'u6D9QK?`" [4[25G&9aC҅߹gϰ̝MZ t g*#V8YV> &-/&dW|XcWPe:WEV q2dPDFM~%2b׎8U2S\eDm#iNDL@0QWRWv͑U&o&Qot8-SY Гړ; O:Q)-Kq0j?d2̪=3߳Dp;*SEl~`_2[uM>Q 6> \}& Cdn4:VY|R &4?0LGW?߯2laGrtF9xq,rSͯѡ#d29qi[]Y"4E}4 ˧*Y6#FpoԺZ+.g',Āy>5%W2kT)0;nv6M~Fܻ@ޤ$ы  ! Fł6@ $?PcOg_pGgk@޹&{إ-uJw!wVN+oġϷ%,؁\3S$Q-$q{_|zZq帤S\_?#]S7Wj*/}9S)IyE DɔwJ{էlgԓ2̴F-ٳ+7 d;!h'`;c%@{/I| ^>-:IgYZ h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I   f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ GG6+1 ZF-InductZF-Induct.Ntreedocument/Ntree.tex7zXZִF! p D]A-MՋhvG"uIBm5Ļb\ma ) fXw; Dt" jg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗ7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ 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\ 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  7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ 0 0R 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; mrgYZx )/ 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 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 "'n"܁Pp\9 >&r8+2 y BtѭWfJ{d驾i^^<|:zEyV1C 7N쒀*<ὋvBRʼnEpd.7g3Ӣ!שƁu}տlH7zq{R Pb ~P(ySP YuHT,L!-[cEXZk ?7(j*6O6[Icv0ʵ٘ʌ)\~sha_/4M62'OM8u}|];%"[Q\f;}3'w-&Hjk]3%}5C)7wpl`?yZFS8 )[JiEGخe^@!aP1EcdY+O7v9Wh0yjDZf+ ^ 8%\֊]i7LH_OY;oI /Mٽf/F'XY1̳^N5)Z7x9NkX$s b_f^\\CxAN,L;SC6}` C۵wT[0'yp*c~mFQ(m]~x /T$h5 tkMD}9Œ$ݼUݞ'r4|OC`Ƕׯ388d:l ܐWE Voܿh~?9 _޿\3;7K[舥? Az5.Iȕ#O+.%=*|D(ܕk{GuZO3ADxV#u{A٠|ɘoK 404>UZ™AINNv\Xrp|Ď}ku>R%3M[.R)bh./y)uv?SZHd϶ǀ:??3zJ $au%&y}{-y\]E1v; dVY !XIq v =!lA9cL_\1K4#@2eQS~)1&mF{<2ηyy7/*)$(%)@UXcskָG2R fqWop0] nWv6Tu9]-b'*588ܺS9)5hOu >xbg^llߏtDb >b\g֨yi˝~|,v ^bnzQy5`4b({jް64Œ`Á~??)OX1F Bzj\LSH,$Rjbj $Q%}+&xWA;}U!v2/{Pd4Đj*rBz/)v_:SP.:VO[61]wްzz%Z7jvAg6Y;dj'[Xo4'I{4~9=/P`ѵd \Kծ naN+ޚ/~J< t7>+"Lj"vcx:)6|i1on nNL_V j%)z~_;-𧑮&;ɕȂ˰ĩ V5UQg]XK,^_e ?Bׁ=bĢD!oY=$3z;f0 k`ڳwAJ;ܰDRںx8}h3$ )}}~ lH[h &_vJRE](u[p ˒t8e2_KIA5,摌 sSSyι7%j<x:I+;J}3?OW/٢qNj [CM!Le8Py#mIU?i#CQ#!ԓ#Gv]DN6Z֫S'db« F֠g(:u-Wa7>piOf3Yź<r"jw$?OЩIIV';)` OaUs:f1Y1dCtv9*ms~?NEv&R5 G*"]?a.fQ~6Xpia"/NNo|1qǰ ZV/YFޙ2#ygGC(!=lfU|Q1&K ţepNRlig{f8+W  H@)RWJ6cHi8ޮBS~e.Ղn,D_nz3dJ04ah14*iZy̋`*F[}gYZ ( b Q(w 1# ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! Ң]ˠ)jk2p O6LP=͵gl5gՙqjRp]/k 僁cG8cUiAw>T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λfPnZlehdڟmYz-pj7MxZi[#4s@1U%pϵfujX()'U&%QcY[8ᱭƳ.ioqL:+u,A[&CQcvL]*fw~]fv*"]!p9ϙ.L`&T~d 3Jx* 8'bGߴrh5|rDQ#*rgM;*n o׈Z;/$D`*J* fL.D ]ݞMkhw0 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}*۹ L>l׾[;UCAgO+Ai#D]{",P0/(c-B6G;u1liUU/oyzyi(z!>P&^m9 }*OI&{-P қNtzh>ג޺f6np#n">^`ijlLDngϭт?9;ܲit8qԉLvPޛg“w g srC4 ĥA&}ϻ!tgbY?)D#&_֮uqvnxZ<v$v=$7fɄݙ$(Rn+`7pf`vQU*( ;ʋ#fړ.+DNBi0(;K6tn4cbkiJ7ОM7TdlH0ZLcPZ|10 b.g۝Ay7r+VC{ݰ@G/!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}&LŚ@%5S3Y]h7oo #idT&D&0%ʨ`<*cw{ l?XA~^71`x6 z}l'NFK8_h NGml\ ;_NdEb p AB]HSkIf̱Ҿׁ9Ƣ/e +um`4> ՘lD'E%}D&-5y"L;/?* ,^ZDJ?~0w[uwGAᨷ3ې}ک' *evmm f/ hRti=7W? g6`"N ?25+E%EjplT9G1)XT s:n3(UWxwhJpnڎ eغ7<}DRGsXyELxv$7fA4Vj|v0c"UV mA_!2x&xkFDNA+^F3"23JG:=Z>j8{ƴsnyRtn{,Aޕh+MgB!t]q˿dY2a!4a4u_1]'z"Ŷ|Fp$4cgYZ)kE(T=DJÄX8' AP8XI,t{9Ko"P%!Q2xr)x2lk|"E=ɢ/.`Un!]=Ivxs.~x7=8eS\Zi9Cg}DQndw:z%ZDDҋOֻd]!@SNܷa$<3[`n(ƣNl[*Hj;'esQ!m|%SŽ. 괋m=xs9k/qaNmTz)3;A'Y&Š:KIBl"D|+mddp7Ac Z÷ϣ NN:lQrh;OQ:pZ*U juⲇ\p lWh_A 1O.NwAjRo)+=W,ʭ9TKd  zP ԫ]WhK=s4H^1c Kru&R\(t<[;L4Az" sxG+r@6935om3i=h캂3X.D2/ }GނkiP<͛ *?F꟔Û.aQ 4;8)AʆNB?7gNBjBQ##quaC, ^bR[~MLp;A}CgÚ}-;4hMl9s~]gZ4%&I|pѼ jTysj"$k`¾|JNdkiKݙ9Ss{r |ua=I&RwB&at/BÊM>ku߈R|+#-J>@\yYߏ+gLc2hvy_縡p_Q8WCZ.^}2湵>#'*/oB~[Up_hA~vFYfxKFY:]aaL*kxRwFQCګծiT*<ޥy', V`ul^?CAppd9B &ja/m ITY Cs/SӾ# DLdƾ0c|ܤD!J!fM_|ӧJ WWI̝=(REHp1sn 1ꉤ.xyj¦~H{.DFv(?%c>rt`DII%DLD1P-_LS~:X"Z@JrJno.v^&_8 .tiz"'抗?^u_K,yZz+#vH &Tz&7`6/bdj!.X1KXo]3 y6'dmt3F庄3[L:_7g6<-N߮-\Mݍl1yȊ5HQm|1KDb{Zq0yiL<iG'Cwy/oJYW C6P~(- } c P݋q:zo02sgvw݋vBgpk1>fq`Vv]Cǥ[`!2IƙhCUTT?hERr#~ ؖlyRoa(B5L9圻@~I_TdҌ ַÿ tQOQ6G8JkuSrS+?>˗_TҤ gY2q\aZiG[e @c,Kx+T`3YK0'Btb1TZh=+¶SFEBA};3C)o2>F+ϧ=A$,Y%ƟQm,.ٴƧʗj)fˋ4刦NkhST۵e`m>Mhn<8V^ Ư8U٪HYB&*6*sR(.fdC'0ck'MDH(酱~eb謨_-1h!D|INGVMS(v?% EFA"2DYwz}*z&UyPר% 5}er-;2u4msQ{Gy-}o9^Q{a@4Ж}oD}iW nMֱ(PK\~ߔVSTipV'UJ!\tG:MT XO JhT\nGr>ȂNGM$!F!<=z(o?.vhOt 3 WTp#/acV[R|O4am!zmw_9&<{Sq.%A`v9j.2vHU6e܅|fI/bCޗ/^ƒ/ CA^CA'1=WF}ѿ2<%G6$7|FC)|[ Dg=Xf,an̟Uai*|r42.;1Y^ezJMIQ왃J(P+GӠ,$ND:.gZX(h)(䒯VpAފ29-]!BzT.>%Z/江C f!.xKװ V> _ygn#ʆxbQ;y8vnn|t@mC)b ki\O/wR*0U }GE$} 44 &w%[䃄gCsW9¾g2y<+x^Cwg/S9N|û3Gu@Y6Q/[ze0]:-XO֡"`(b--M!Bw3um >r| ; )?56Ұv#N"7X/Ԉ[8NGs7LejRU<  W9u3 )7+8OzS]nEf/d\o#MQkvg_DUJrW[O܌VM30#@e(d!uo&9oG[v<*0*֪AYCkO&vT2w4Z%~%5dס/؏TTJ+ױ/Ne%/im YT`"&^=cT AEN7qK;lC$']rX}zhG]yG(i*&(ܝåi"dHLްSc)1t$3 Z&8)G_ȰMf"љلPө4|eq9:Hsl]H"S_^rݩ~%˸uPq צq݂o>sk8vG2B)ŀk%(iy.G탛*t8)9K̈́K%LKj0r+J Q |cOH4jK&ٺY'k GJ#?#Y_K59,׋kvέQ0T9_9 ']:tk2>67Y$F=5B .[V\"V\G~LTHB@܅Խn*]L44z1O=`m3ԧdѯ*5%dHw&fabcܷv G΁rV!]j݋A])C /dg%!KhhgXG;~$} 1[k#Ot.`ʾoqd>ZZb^x9!t9ѬYG(1dWn7-ưWlsqdՀz҄{Rp< l b{ڐ5/w楁%ư`wDiJ:2"Oz@1i!|]7zXmCH3|_ť-$k34]t1 +P|^U`u͎7rpm$cwd(W&8CWE QXIs;U@8]ɍaٸ^\ ֮;|RӨ G pU5q$" A& WȱĚQ.Tqئ\3` ~jNS0@% i}آs[il$ƤI^\0ѹtJuI{4 z22)Kղ:zsЎ.^>"ɢ0-xWL߷ d( _Rbb0wYVD<&9 Ix0uV[U30'coƏR0' 9 'Df|-Ⱥ~ ;`Z ePo,X҂{6.*$Qs.rdE[y ƯX 2ӕQNJ(1Ki[Sr̃ؖ`luYD(Q!/<-CDθ$*ױDawu1_*h7w\)\&YgO#;^G?>V 8UTy̛.|Ɣw]erA!1LzlqۚrgIc;>Y< a_th|Zo/p:*lV)_6e( Xny@dl Vzkʢ]!YJPaO|gt}4p#XfӗN,P+ L,*6S7ZVϡYJF f6xbe Ƣt[Fp yF}Jau]A .n*Qsǡ2Y2|lEBGU z^R.\XyKtv߽]Z*uIgŔ(FDr5`?pc.v]ܷ, IK{l/:-Ky@`Y`#DW r$:~~*>[rg4FvYR3wT7iÉ'j>>1P'Ǻ,' ״7u}1B1y4mPkr\3-AOyײoB1Yϓ_Jvk.(nFs̃EnUkEz {I\ȁbPz> Z{(>ݍ:uo[ϝ8A0yIqҊJgQ^Z"yC,3Ao4m٨<!'Z~tOU36PeXC1sc6w' #U܍" #C ݙ#/`,"yv_n2!! O#2.P- #đ8 G~5=m;C"yOY?Ta= C ڐWr 7[3a{;3 HbFи~#U,%XB {oܻcG+zٓ%f}@z mY}L_D.ytwd=΋{]0/#{9ZszD#l#.JmZ;> ۣ\~@i7g!'+ϖrCކ m^|/a=L8HGi7 -^OC"ȘVNɎϰ]Ol_B6.3?YpL!B:5UEx.B=Dp>o~KJNՖH?tMt;ͤ47gl!+@AσZ70Np=lǯ5>1?ђ֓U@U|9r3X^iiCAKa]I}P768F.$eYYVb5g>:LVu%!X/y$VUG# T*ll\~VU9sVAkZrAvXwR;0JXpKb][1A2Us;'OTQ%q X%YƆ}M[u=B(]kGٺ*IEYćI~#ݼ7\ز e]3Hl{,?pps)h^'JV"M%$lnQ%1<#xSl PV3A6Stxn^$cg9|`_K794nrNz2w6p_vR}BrqTU&Jgچ N+0#W(w7k0>rmFɄ614uODCgjR:'9?dS .ȼI*p]pxͤܒrI^[f$O`ێYakCA&1:Gs a|CLN!>YBuodЧ_qgdS9U$6Hl,ghCҿ9%nlpG+zuzM˜>$!,,"P.?Q~}҂J{Aæ:ӽ6|Kn"~SդaÑtڴu^ `4𗂈lY-QyMz`x s`; Ut@]6ʵ0Iy3R" YhTu%ͺBEG?c6- 1À%ޯ4!U \95tԲݬvrg[sg<Gi6bZaхG=mM*[@!"`R7G%J+1a{34uH JM`$3&Q6` Ť"fX[VݕwoBV/ćP}Dz'ћRa@npXrVtZ/hѻ@ȉ/uA&%?R/ʣ&',.RBVF[.縒EY)ygU֒&`u)8»t}q~8_["eؼ}FLAږhG;ūhN 'JKS IYq#FΔIdSՆ 5.#eE)\(3N%M*Fu~!y~ύ}sirTo+;(FOE!8lȈf5wZ71K"Vf* M0,#N HU+Vm6vB6z<7Equfݜ[B;TCo鑄=&&ט,/n @s^;von+GqUKV%Lb^+i%nB-b'J4Yv瀐/rjXX Z#nV9X̌0-e=>8|uw'CdWPsH=( 8#Zn6 T"ڼ(g9._vHӠd: 8qRO ?kM|+"go\̵aS9> uUޒԒ:xUV* m Z'/Q >G+[|V:]>Ǹ-ߞ1\ɢ8n֌#Tj/7jLrKDY ߄1|qƟҴ:3/|E~F;{$kDʡP i7Vf2Sؼ1iko7Xrzz mFTD\oiT"JTOe_@RŃu{Mh4|Y*ʂOwPd'ygP=eE\OWɇ<N~T>X,>{R!ZIC-ˮ{,HߑV GλY?(-ChjG8~`DTpj7u68\߇W>gEwɿ#w+J:BڰϗQCz-ɚq!CI}!T;$`w,Yp|%ng&brUC6M >瘒E?zM8}VDpc88۩%S/\$y`uI-˞#j{w"{]cm3΍?t ;KLxj9[4*/ɇQ7Fnc} e+8lx=b MɯpGB5w4,ЫN \UJ`zpF+ltQ2^eVN8> ' Z.0hX.*x %BIGiv9 |$ b3ctn*,&\`6w12!;ig(0Юr=,fĩ.fdWD%scc<~kJ#2+vjq? ?)բ"9^". :Z=Xk{Sܖu3 צ{pN3DB_u=D#JVxl Ra#xdӍTy\،%~ԖLŠUQf\ l.2T )6AC8Zu~sݖtr;f/HƂU'm[*`WR xK7Ax)?㑛cR?ޯ:FM91#iˀ -+] >:LZ'1}P} +DO|ΥJ3r%jMW)u4SMLd1Ǥ{M;#qƐE̢pw\_X~"d\o AXb4! W]I@E0{xg.7ND`I`q= Tu/f0W? ELAb~ؐsl/k bB$ :J#Z e Ec٤ny -lV ?=/G9Wn&^3qf%1iHB1/q9>?o* *V9܊cpA5U55t:rt'u&1XY_֙+a|ѓ6[%ԡJ&f^K/=(Wt׻0KbˑWʰC;UI(82בDayADS oin-tgnvbOF7^ĶUOZ@?ۇdu,bߛwOݫ Eӿ{:O/2xaNSZ-/g- KvdwC~QԦzn1:I(M=lZ:'6G6U/}"26O#dQ=Q$#C@Bz}eO=t `HJ`#5œ8v>bGՒ/PWm|&1;@\ؤuiAȟ;DY􄮆 0]QtTmW nvb,NW7LjГ)9z1blF̐tIR#ӏEAnҗ\ $n") p' zVYIj{ZTvghRXd 6ͱgYZ!Dɘy=^G)$&V=`u\{ !/NO-Q5XC ;ϭ;/ŰrH܋'K(,T%qjyq՛{UH9ޞ K!GF9|إ(rz#r_oG$l="(岲wewxFhE M !,]C($NS5xHze9FimpK8h)+ MFe4z?{U,L|2ef\Kᖄ]qϰd(uWWH3~(f21f,mbo)QiJF*4R;K<iD_?bq\5ᾆ9Ӻ=2r=>ǪxUxmjR 滱Ƕ?D_꒗e;)xn":?u#}2~9z ؉O`DtjUSoX;W1G<[M3ul[F++ynU=_ПvHѧ԰gQ@AwFˉ*xBiBGk$x=s·ntd`Kq/$@П-\0#DE]?Լ!\;|h [n!i&?b[^_]#gN&)d*9.FZPq+ dX+8,i5p"kVMJZsWCu>tCbjN8{7>,S  E/b ƍ]&Pea1xe)p:68˭esn3,M;Q+s,]yo:͈LC,~`߈Be_1w'1X: Is9>Z;I8h=SsfM+z3%p2?EH-ӻ$RTcwQ39&Ss):!%MtA0 n Hm͎O16 Lfҵr ɐ4E~yUHw }Tsqd ;ݾ4kǕeBkA90PT.a~g-;oivʬ4l5;, FtZ 8T?FxDTXj N5'(L=s7%ymO=fI@&Lh7'~ܽnWݤ@<֛*hT2ɧ%gAaQYk,@츝M6x8ݧO}/m{E(AjZc=kю>ݥ9wgu!oCB!+Q§Rhg/c㚢nUt:b忆hș͈/A_B! i|᰺D巹{F‡L8K1z) ?}l×1NEg[Udg f`Dظyc.$5@0j̏$Kj.TT:TZ=n[4gGɌ$”L`}iޖDO-2)wⓚ?f[gpr z@.=vW1ח)}t+ӽ>q.Cֻcȥ~jYԖ V"IJ#~SYYM҂yɎڿS-~, ?hoϐe'DIq?-o0KKom)Aj%&ָhL OU.@}1 Y4ߐ uQi."Y&g/6H`;}MٓJCo:_pWD6v۩Z?ٰn3sbN}+Y;4Ei-g O?a&zEa=@4嶈\0{aިgri]-uEvSnZ#w:7έGw67xbATP풔R{(@}!0Ry`cXºVI ]eώP5ׅCa4LÅ 1{|5x Mv hU⨰hHzcA\O@#xgH(a/Z6M_i/烢{m-19ڦVo$F}&p2w!R8gi CSs\kxbt#XkT0GTʜ6ZwQQ& 7m`Bc<;[ES A!`>@[kzIs* l8${3yuWĜM* icZUwҞ4IIT\Ii8]u}g{#1)u ӭAY"E8nwT["2 Xn;oa^MLJد<hhȯ},%W"oĴr/&ڵDȴvT,um`i/#$]=ؓL}{?'0kD5,%ӴliU'rY] AvJ$imGw i"ԕPqWT}jRoNi}<)SSlN"顸Үu=hʗ͉f,BʭR\@Y$fX.}bnIQݮ@GQgind`+`rB SaNCf=hP/a#S" J0kp xGD Ovq$Y 0جD%N$FO߁_D2.?Jӌm)7n1V 9I9\{6F@|3ҡcu)pU""-Bh=œ\Ou6բxL)裃zl5RȭՁ?*itEAly U^zI#<ڔbl &$Fv7A(D9͕a"Q"Nˀ\=zM4 IcKwޥvL5lf;ɂKqKG ;nTƜν8Z  ^ Ee'5̼kr<*fM]*`Uҡlj)Xbס^{(}ūCb(l9k$2f#Ћ<Ӝ_ dB 6  h_݄O[D`>orR\muk3Ke;1L}+ъQ8A臜Zi>8ū;"MeS('Ɖ!33mt+t2?I}~f eT aFH  $e*!s!qMvyo&;qҔ6@p2/HuZGV/͗%@ĸĨFNT.3G@*.Xe`GP ~"?׬X<P&{ Sc$Me ^8'RDOչNy"F"Q+S.* >M]{ &NGPfAdEs*MkQ=2C~- ^z ٌ%(@C<-4elg4CCzǺ^ja(\,4M#,rM.,wS}&|飍 I$WƢ9 ?awb+C&m`Q։+itI&fy ^XX0^!"߷"1([ d\"_;xE>=&&=DlR#jx'?'}ڲYi>7P4ÉjcHٶ1m(z5cwu-v M BC8љa5O1O%6FK۱2ę7[mN 8 ϖq4*ǮDH#D:Z? 3zB(Tǀ&JԱG`GQΒ`%dT:+8[%/N^7B۰!if!H[\Sj`J¶n/5-Re #rtxҝΓ-ٶкm#\A* !q6 ~%7ˢ \S8&U}LFmς{6w;~ Z#S@Y PJs9tҔi+v#Gg擜[o! 9p,*%4M'&4g'=n_Vi~+Ǟk_ILW\ d:#v:JVd˒ D۫nENm|~E Û^l"h$n9\-8>B6tHQĭ !BZ]o9C66_/T6dZ+ڶIHhs]H^^^'uF8tb8&hÙ'c ]6?S %jGvpҦd '`o7H6JC7M~S25`"RKafH [:qVWkcJNrk-=$Щ&rut}&6I ot?jd0偺i%)c[n̎s~,I_/px~ ƳPv tXClłb+s˴e7hf-7Љm($_)rU[ N3ti8qqU''ؗ8Xsɗr? QCQغ&!+}N{F0֊[noy.iNbrW\{cMJ7-!+hz]-*j!bjd>٪jF "؃B_ (C=^33Z>m/&J5QO, @@*>؏#oPmDϯ1u{{T6xʆ>v,^S~ B SK^p.҈\?ĿL߈FpJxBEMϋ gP,^.eaW$| i#_p䝭kƒ*U0R"@"ܸJ9,! T`e+*F< pαePb췢!! H_G.BS5,卧tmݷOl Ŋ8uTtr(;C,dN,\ (|.h5M %vطv!uoZs%A@;zfbMFg?{flQ{2/hZZfٍs Gpv=A&@z>uR9n?CI>gܵOI7^#TRy!^jbI\39^|Q##57 a)!][bm}u 1ڕ4M#os H~pmJz,3~JO*jgk^ig3nF |Ԅoh lDHhH̄dU+{Q5RlzX7v#Nnd(¦"̮!uGr~."p2WSpq`T3sy5ODfH!K&{i">k F'%;nGH{" bc xGdN^VML쎌rhq:Iڀ"<1re L&s*bLle^vcUsqX)$V%ơ(ޜ MS0e*~%`8PT\+ᩁj<ă&AS$/MeaLw.Iy8\(g׳Ǎ6I`;Qgr߰}̒b/{0yg*l~]RCȗ22[:&8IXD0 cjh5W4W)'U4}! C"qݰ-XLҽlK[P'CM+/-Ht[kimY(8#UaUvgֺWNzkt=٣Y^jF䰾D rrɦcH&0 2G5sL DuY+ 0Gnñ8Qe<4AQ-Iv?"5u!#"P.?fjZU:e.V:^0ldRtZ?68C#g9-p#F`/kf%+̘WI77즰8 8f V@f'm dX_έ 9 Xhw|r e\ʾ!ph$~L\'V_G~ ~"%VPW3܀8t!s?=XV$E\?RqwQ֋LH$z:$+~'F&[V@) mFbt{OV׊\?pf W7ϔ>Qir&"BHxѧM@oo|5}[0a#Y STظkS+:)?cyECe}j'"xQ+FHyCpaLr>{K Ps|4 ["]l-7&eol\=1%ZJRqw1rb u\' % zbV+fF'h8z 0`gWF.E<[8Hn%Z|)h7:]PLH.EYY|ֺbTȑ@uу"f -+9$.TB BBB7ML6ig]Ώkq[{ۗYSjY9U'Jn&sok5©:-s*15s?N2׵_QGmB\/phꡖixRQ-FmLۓ{x`4h z+CY/baϩ.bmk,62WܤiN͆9?wǞɂh#~}mށ.{۱?7˶"@ENlQ"md _ #@5T, '+u8'Fnw#K6'Va 'W1Ǫ z^V϶o}NNI. P2nă ";bӂ*-HBa\|U_kw`cwsl/54kNg+qM\B?O|ce˞1#Xz1x('( zDN(8;Rm 헣}epRrj#^sI\K!RdPRðqQfiK Mfk k֭Cskˢ,pEFb,5n:7X~Rc803Vgy sI"cRvm#땾u7hYmK2p4d$5QÇwޜVlε{},s5 "wSR'c{%ǷP kC@d-.Z>kZuVMl 8dʅ&j|XvI3Vn?q"K9ZSuhY%cπkZs1ot4;}F^+]zEs1AsĀSh%eyXўO2"E-˪ߣp MbUX/rM$5|X3~ Q2lj~ 撻Uᷨ>{!hC) _sQCx{] 0 5uDI.+ K\4|`ˏtHfӮЉ5VGE*"jw箉q@|)%&CTX7S8_f/Ibh1-Txf&LcDT3_&!]Ѧ/:hc00Q${o0izdU7AX_,Lagy4zQ▲OiSɍ<8ET?^fXjf]"5R: IdO b 2[X?18MNOWװqXAU/9\>ggsdOnH9-ry&6\}BzuY*VU gұN Ep.2IwSS\Ca_6; f'iT?S|=H1u0զ.Eg^ 4h4dա Fa$އ^"\Dw1_Wj"uhc>aUViB؛MxiAg~>OڰSfNf9vu#TbL{령ޅ-ᗇXrq>}1(3&68ӻz9HMII6xLQL[ V 1t- ZʥhBqxjTo rmӣdDz۶'utk\ &M[4\Rl6sw8\H,qiN*IrgivcE h=DשRh3uZ1Y?$U{0M"]}f$guJ(wC3yKO.b $aZ{AGj}La.1%v aI7lBlTdD>aF3w'])֒@ .'$\P բjstR>r ھ<&{]A 2SCtB g\wvS) |$ W_U0x_7F-Otn"8ĚE4\n)kt1*1x@=DÆ?6-7>NŇl\ 4;%oVp.ӗ6wཚ';^_;$fbj\s#T+ncAd{U<+DN&g1"ؖܩA j /kg'k]JtM9*G>]뎲'Oݗg7˾EoI \k%|bfb#8]<+Dئe喀W'>F0L= C<>VRy1Hk$4BR!6 5ƈ9@U=2LB։:~N~_D$iRRXŬy/7,(=Zf\SaĀCfV 1swbq Gb]!"=+_߸B6L4gk#ۜ#A5Ѷ r4ҸgITuswOԃ_-ۏُ?)5IZI!,/UKJ̝(yO n _%L;# .vjaT>1i8p,2Ym؍!bm|c1LC7R\ 鸀+W2I;}OQIQa Y5M8(VD 3e9h6*H;>y&{:x_ƋJ}[r t+)2!(#ý+}1?jD xⱫ u|O<@mT'}j}=[P wqtbm)jwoP(`[>j'۴MsG+cU1y3`2ŭ҃M|Yx3T¯Xl'@xFEc+qvBorEIenTj~%wz)cqcL?0+ko%( طƪN=KpD6b6a[ GtE'^SF)l+js8yʧSmP}DDMSbl 09gRbU6 dϝ:% PyD&&PM Ԇ8!O|U 3e/pd~eZ%V5Phn\Vys[#7Fot0:*7hN%{ڳC$C⤘,ZB8Ph94M z]ګmt`*b*\88Ya &T_YC2&Y3gлMR@*}B% avЀwak)ña6aGćIoKkHwip^YKS~b=G:b//R9֥(ֲ7b8Ajrctӥۓ9G Ha9%SYc.e"]*jz[GgIw1* Z|~հơ #v,ȹ8$3b `#8 Ԉ Zcs/4}z/<6&9ŴTg k,wdmUhe;6GA4o( st$CHzg HB\";Oo>C8EV4mha݃Io\WN,p`c}l >6Yɳ7ȥ*Dz]=䕼b~jzk2mM lcd:hح8W[sYP@ߚ:1S$J*KK!cIU4mgFҳIJdլic٠fO= =$04. YŤkd5z^tICLu[b9;3q1@6GWIT:Z>CA~Lt:'2xZ5 m<ژh^_/޾P^D<́-a@1}!fB;p1v<5Ǝ/#km̓gRV8V_??Fm9~C-OW6bY#,FיSDFDK7~Ξ~垢i)Ip5KR|$x8:a6wӛU#_vwtF\p~HyMWy9BZEY\B\XyiPGl(j 8G msԹ_xgZx8`R]y7urEAY5cwWtحFbΤwg84WTjBOH¹n@"{":'"u)]s ޳TQ.Thx0`t![BEj03 xYyy;|"{e)p￞S<N qٙMFO*2aPGp٘{$ɞ*<"cن3 @Ļ|K*:xĽ$Mfn`pRZ\=3L|13B{FDZn< ~ w9'!պ$e4þ&k*{e6?*HO;'ȋRr9z"!O6Hk#AemfT7 * /.沢FLaf:oB_o6 ȷY@9g#.YK *-SNuG]B3Ԫ8#)j߃V2R/SFbsqYcDp~2 $v l4Uv v@Q>PdPIV,mb?N<;;J; (H{䙍M~$H"=Nnޙ;ZLK;q(87 Z)hdxٸ'1LJnYh;- rmGW ;9-TRB@׵̒ؽ+ޛsX:񷦖368s;C;>ҡ;?A5YBx2ϙx6KXR^Q KsNr Fo~ tpXX mA+\*I[_K*)).]՟,DB"01"K)BnWЏZ.fwp$RT{:Ne]?HTA}n:ߓP{aqG rl *"1tͱVۮ CF#(`8w/tT2,}n+}-@qr-;ꔚ*&Kh$˳Cѕv]-Twc!8" bEh7s11:r0S!ly2 Hӟ4@uoRRgQbLLyW.膀NG:gM߿KL5!QUiZ@TA.ITq;\-9]A'pxj۲UK޲aT]/,Y/84. (#N݁zUP#9fD֠:nSֻ9Ť2%eΠ3fqnnPjtuH{7@=j.~]MG x٤=A)H}!r"W t5hquvR Y˛ F[4/)5 3$+[O3xЃoHu֐B)Y%DPop1t1kWƼ; 6Qg`?%o @r[n ?fי}4f#D<D` {Ǭ:~ydL+e z(4Y"5P܂[V0-ۺq6? Wl]@!2wo/15ƖfRPS 8SUs*6B׽oRxF^%J39h~$ޙ~˿ 5u=lp2pVᣙ147cN-Y5~ƥ  ulU{t \q}xBY VRe!NiCgPԬ\g_yɭe'>Bj95ZX|VY$ebFd~21N4t= .}IǷimV7YP (I"2s0ݞhɇ?r`V:ie$G~PԀhGm+ nK,֚-F*fp>i$ц TnQ X·Q#Ŏv0몰\QReKG??ҙBDʬ{6 V2B-JR# Da#vQ, 5;z7p|Lj1 q^cIK/>OdHOq0U2ۙ|V_kC]8{S?+PU",Ձ7TQW6[J8>9YS4$ZZDW_~qt–(`@tcx<4e*~~?A6bVX:A#!m;$ߝLl߷~}Fk+j䙘3 C >Q& `M[{Bq7NJU'rE <6iι  HP^Wc8N<4+dvWUǠ{ek@C)T zRC1>qVC|Kd@__}\:א_6+o]Ͷ} ,zzH2tYDŽ\4mAzr&BKf:zTv\?}oƶ1ĩYPD!Xxq!('R|]4H<إ&MzHߊZ<&>6(}D{O$f&xN'I?SMWׂGEg: X:RN7-ל/Ds)brXEu~DJ E1g46#7^DsO @aؾso.5Ms4^؞yv K]b˼*h#t Y.CorwŷZ ?}eO|<āQF>bKP%d I{%)V6;TF%V< gUDp q|,(0 "cs=lA(C\ݦwyyl%5K,] [ઽm`QBr6WCS-acwAliei|Z/`k ͦ/FMʱ PӲRbkT&瀥>c@n@\,2~O._njNY!=ZIt`>Ϲ$#]Bdr`#Ȼ,P y?#Gd l|ݿ&J&4FrZ lztw?؛Q?.>%%)7(X{r=IAf'U=V1<}):)M]~]Pc 6S`UQ\k;ޏTXwN=HDiJ˶<6PВs[6ڊ|o)S Nkg(D0v hxXAl{wd&Ӕ)Aӿ#dӚ _ gY~^[( ֩bz/r$!Ί디qOGC(U) NBX5B#ImQJ=834@tW`>[k`ig|x?[iyq4Czf:!4t@G(WT~a* XA[./pK\;s/_Kڌ<"Y,4'Jhn.>}u{q/9g= KO}X(2Ҋ,CC*=ubaK=2*P ;p2 ز|sZp;iҚ (dbԏm 5]6~T^d< GP ZwvR?ydg|e SpCoCkMf*bσ`~[ XyhN1&dpNs3xe{&t]P,Q m}m_#ݠzz;fmzґR;m}X2u@DMdJ4<ˋpsX-zJ;P? `<&$m)1b2'$civMŁ=w3Ljۯv3 #(O$,Σħy3FJ>aW: PiԻ0u"KPɌbGO4hCivskԨfΘsWZ~ PIt~2"֎>S#RՍP6&ނ'Bdq~f- X4q_|' ZԐs)NV}^8NJ#631GI { t"W 2q#g,հ|m[fr]Ab.봶k eU[fqK1./q3MJ#Cw0i REbi8Ve Hä, W V>͗!ҋŹ_kv7Gaa!&1f;g?8$޵BC6b y:J(E>e[.vb֜C فM :ʕ cetsP:!vytOO\]Y])X6vk̂K~_ FPTQgUcckڬGa C {>{OCZvLz "$|D~ Wy _d@lGϥw lkwzpG50ܟQMx QiEC>)`-I2Bc+iVG&@oj|Y{5xlZ >~u`]پⲟ5W]K c2c#-U>ӴL`3BqǞ6f_1{)ϪM ]}֠TL!/Ef\tIvi=\EugJ9%@"GMnvÏdCR첸-v+>[x$4ҍ:z)'P ֆYK.E[LMʙBy[hjIq$g-B}7Ba=0,UGj+'&̱\{A$o9] ? G\Y;17 RT=+yטy>~Gtz Eǣ}#͈{]kѲ;֌y6n,כo`^P֒8ŃtZ͠VO_9ؕV `ȶ~Q!?v?CϠ79\]mV=&?nvՏ+Foca)ZӌH $QEC8LeHߒ |ba T2- '%%J?&-<я`.}d:LJ՗oR`_nBcaP k:$Zd[\WVZ #_sRo%'ė?. k"]vCijN=B #*yF54,%W3.HrK? ^׭wLE1w%^ .{.7ҍJ4 IH*MAZH +k9Ayȹq`GwUX&xBˢUG@Jj zzka&ΒН=N.xSj&'dEyE]ӈޠlYd~vŔ}~^r`-;`2wC>Xp rt%EuG%Cլ(ev>n蹈# ,pR;0W:623ϏFJҾ` G@Q3Q ^L- ʨ#צ"Z4 _sf[S竫Rȡ&%( z&Ҟxq&zWr⭓) 9õl=[9g$ z~c:d!'i,Zsr*N#]jgW`/z |nJLJ*Zl Z3bTpx(J6|q{[E8^0ubgԂ{]UQ #sX+*@Y )gM>EuHhW /̻<^mPuG6VAhwUHiqAh0ЭbxmYFJ:q;$'c/+m^G Z7i+ Teeգ^a V&o]Jj`(sp+&Ѫۯj|io88;#DPk!u?Kʕȣqu$(3\FoglOHIDSX(:pÔل\_i(#MdΘ0f؆8^-\;OʋGtǾG/'4؅/n@S>=H`@)w&,擄NO{?ƌzfMۊHrEä+F]ɺk%e\iSI"m2|a+2w3's7"%&{ZaS3xVY}rQk, 7BI6 ^m'D&tL=9kږ$ _d ;AS G|ap*Ѷ=mMsID'B7|v.x &pT', ZLD\%G.쭸cT!Q+$Vßct\rNɤogo(/H+8Dd ¡PkBޝq;dE$J3uAW穒M3mckhJn[/j Be f39=оlKc/ `?lpf'8bgt5.IxHLeBKLI0Ŷ AMd˭j|ZC|눭AJps,_.}FA0 #lzX2inv8bU*&/ͩZd& F}8 ϱ57WscP[T35E _z=_JÇf7F#G'ԛ+9 PښeÞB?)#ӿ_Ng}{85nr {Aq8V"mmJ/0lnξl_eRݲ x䁔 ֜Sr}J,̶bPqE{1sllaz:&$TÖ5BwgvCU 3ᄆ;ˡݻL.)Qq^g 䜀Q:Z:w0_dKG,B20;欸~@ZdIY#e.Ԣ 膣7]#{S˴;T&05g2Ĵ"d1H񊆖[;W"\rb62^,eÑ,K2L n׎w FxUGe7btz/ +)Qƙ;yҺ3\@GPs%H& g8t2$ ' {@8U!,c` H pLn$t"@6jBV@*%â[֋ּ}Kjʶ6GCk^CuN)7c<;1agc ;ħx|r3mGmdE4R<ĝĨ%KN:Y;K7Rj4o9%MH & g9DžUkCeb(f>ԗ '"y&KFDv򃓧?.ݾ$&>dVs3x*[w E 0eQ-MTg~O(߷>=rW66]ړShЉqI@IZ:/̻aq"4t"Y<6WBUql5via> TxYý/ V#sq;(9֬<jO,eڪE ׽= 㽂H 㮩 %u=ve$QU1ǒl ފn]F\Ay5l19{2}Fa!.ld:ξHtk.i| v VVyK ؼ@3\ia9?l(ao3#y(հb#bJ8?3v/:Bl[mq҇[W?ÎA9RsuM'S Zg#WX)d[ z<0S?-c +2S"c;>Sb_mĮ5w%JpPؘv8}*+,M'F6pL,@|Uox眄GZXjU(=( Vb@w<.v,Ó1sI7I!9g䴼r cL*^TppB˂hj*`z':~˶z73m@2oqIRX9L+E7IepuQ)Foͺ]?mu}]g`oGD"xt]fFJuEs"z xH4I߇ܿ?tV`̚rMaw>r 럽&+Kw|X wT+De~c ("e7)FJ^aX6*̛r_*1N;SX̚#5+WU4;Щȶ]X@YeTdo?>XRĄsIb7-4]N^qA6$^5ljȊ, .߿Ô=3I]X5rc'Xp>2lcьtiH#1 '>L~𞁌˧=GD .o/bsΔIwO7oVg!ЗnEը$D97(Lҭ7J7R'6kaSe_ -[.zqэzov{/,=xX]BjFV/((ZUqIkXZ$vk |o%D{wk"?2 isS].-( *=ۧ8QAFL&GQ\IӀaғ> G}٨MN\CZdJA=Be h>ov.܃&TQml#ÈkWS>Oct t ZĔ@=fZr8I;ָ6D nއ.+e 7Tn3 rжo)^,=;4zcq:B0 g=  ;npq*Fj\`NoG:ɰ0CLSZ2 yz5 [`gXz3$"yڲM]ymP 3iBg!WjO((cFR=(KR~rB-{m8)/laVP)!-yUBz72 ^ƴp>Pn sḎD./WJee:v^uo=BMԜU%ю{]jy#ffߍR;h".jÜ Jt "X]4KxTygF®?똏ȨJ=)+O͕TA3 Z 2oҝa㉦۳| GxaO!GW`1@ܺ0eJFY|1Z@(K qqoHܧf'Wf&,D|JFLE& L(ې|M@;`s@Eט\>1ۖR>d@_ePl l|#ߋg[jT\a{8t.7-bO_IA)MG׼Ē|:,:Ee] uf!$-+3'jPdK7TFJۛtu0YB5H`@rf"Pg6ȼ:%/ܡ]fW%]iѾU"C~l,y9[ZݴoLobHD̰muEk8w粍r't&9H-s޶¼կӷ}6>PRg Ry8ӠG%jL79N#*W3OzdC*gM8^H=>6>ԵFv=6[z1JQa$1- X5M;&硑fuI? rv^m5+g~7×BNIK "2О6N5nP+)0iB8r@QO,6@+ԚogcWH,] oy@ux.9k8-qx.( ظ'qWrǷЉfoYFu{4긂;:|Ψ& vyKmE1q&ӈU Яis$gk"s?%SR(󘴿.> A~>b26[jxy4ẃs4w1S\Tq-k65 6vNv[S q=튜9 =v U-s$Mw_eqVYzIlVe[?FhzOgkAtڄIhDON4{e +:<1e %( TBuب(>.4X3Ae"o,3c;P ⢤9nWJ+X? b䋧I `}d Le砅~<)sVʈxvQgذ}8MY:0e &j@'a6&K]xc? ݮ}lu<# )}_Sy6Z{ .Q98!: tn0IS1xwpK cS7_tP CyU"gGC3/^Z?܇]GnE?&4:dtaDI2a'IwoZoD1 ~e0$bʭ@5>Th$6]5 jd29$E2#AdkFgub HW?CSF52 k+Iu==22mMO*WTj<لr),F!oBђ[w뇷J;Ǒ|jk: 'z6/v|>%e1mmPqKNϞ';1kX;"қXK0|7a5WU P^R]\TQ:ua72(賲p`Uf oKs cԏҿ|g "apd*X %ڱA71̛(ڎH=[Zy fh~օrm@ԣ/x`!w;J֤̝xK22ؼ#yq6}K16sd:V,͕T!2k̘9pOH+|_ԏUbHG0X%Nl6?FkJo[a @촶h}&M䷁&a$! %X\X>QH؞mɲs?k"xEX$Oķp!Ըx0FMH& >xp.Xe(}`QG7HvڅeXxw.=(/l!y_ 123F!$YF N* J$%Xk)"%%s 4t7L=p/DNR n OcCuA1y;DTwAmFI"ְ!K)ZUiOl-՞LPU&`Y;\ejfx7X6F<"t2΅ n.“SJ&pϔM'9ׇo'Z|҈P̖N4@$9Uxg3얠bgbce;s 9>-i6W\/;QϠNHS Xfdzif16qӃ%+" s+ vkM6$s =!=Ov5@#kFsߧ͂K fL/|b2Y |6s7 av` MϞꢵ;.aZ֨cS>pr6l]i[*@q9Ra1b}*J)$j,MؗK43k m /I.12uQ4he:ˌc ՠ%@ۉgd81'rz-s[k{~,!,x0>CG_@|ғiDJ}[4wClz闬HspC\uE^v=_I{j#?KT/CÿUA#hnI02Ǔ&ԃ貚wNzꕼjIR/ -0:P[#T+l{xhL# 2{sQܻBy3A|&Gh:"ϛX ij=9r'aI ɠEh& rc8i37qh^"±!8d_+ɯɧ( EJ!=ly@/uh)nkhHE5(l7|| ڐQ5[8w#~JmFy6YiI=7:vǜ6[.qGlAxofGyZt"})l.Lb(o3G yc {ajDqw q'|ܱx5qdc"d!&÷^6UuҔuǤefj<<  sY%&]a'DbI ܥgȞyimc)sF69g#)7Z7-Z􋑨jT i 8$&kIpE~0=)W"p:%um5Uwn Mw`*G=8mC-~{rpWj144M~.G@~%sDJ4.qEwz Mf l;[,L@B8qE05a&i]n/|Rz~'ŧBIڅ.NM uU;𸐑-C||£2 V%id+3᪶}Ed*LI>[[]츿>?2Sx9er87/S-eYӱHMdENl'r!Qu|A~L&=f@=0ɦ&4q:Bt {uBAbI35T^>ض#/#S9B\h+qoL8̜XyPAf&=.<54V`Y 5uO0bu4|wy7|֩nU=&LDiSyJp݁PZ>L[*S}%Ǚ>$:UJ,{#Ú:g5Ioi@.i~B2ba=u=\];ԕpWTS6̶)Ot=0i)#rw`3 zO*;qiqyXvXA>q5SpOl 83"0 %\3~!]:^ ̘ L3uQi;AЧjq_o4#BFyț,?Tr5KT4 xp o<fCx$ZG߈Aټd9[{O>mŴ^R;c01Ώ]2ՑPȽ@K(OU" 3GAz[Zp_ nOt'f@K+&<%uQJˮ_Y1ɂِQ:.dΊ4x,*Q^泛b  ZzWtn~j B"vS 2L(gz(;?H$54Ը|/÷/EM,@'3f^߹/OW6`[m[3sڞ9*+HHC7ĶbK]ji NɻȚ~ŗ1sUD{X)A" (ӥ (Z ߚs_98 B(`l:$hleV;K>/NMM$AEiws/{AƘtx *׭J+Ks;z7A?%EasԁiԲ=HSؘdQwՙ!gu"&Lֻ˃W'7E;b"i )eu条hEqVrl{GyGtw)%ۆ4/xڼ$\5HCTsKI7/UmL6(m],m$ڛJ3~4&.h| 9fnA]c{00#+CV`fZ8_WѦ̅Dxmg7OCCFaW~ rEb۪wN ?''`*d>В0qH9fL*qy^D 4>VYxl͇ }y|~l`e&g G?{%$L1-WS_eJI@S%41± AvݔI]DA [#jXhq˓Ӌ_>t(OX+Lߚy>WuaAzZ@AnAnݽlHz/2 =7~#Aǐظ܁>(]!iVĬCw ԯq饺xMs ,k-7^8t]p.^[pd 3YzHY^‰Uʍk J({h]7a-=_7ƽfF߭D0 9熸 7[""C} ÌPQi6Sኆ>Lp|` k_| ՙ_+[ `r{39"b}sű y%q}bN7r*ԢK y/Io]fLؐ:VNɜpf`:4V8J߶oOq:_i͟ΐ2_Ƥ(p(~*8.rB,kv&C1NZXY\s+ig bX$a=E(2CiM#WI,+ldg#~_0A𴿒)"KBK$>HSbtq@g_nc!ku H8"ظafce|}("ժ`c |p!l#$[А7J6H''&Lq( n;NY OaQIX(gyCR8&U'R&j=*n4&.b.zKpgKŧ̝*[_b}ݣ{UTJ)@N1^-ȞUdL DeQX*0XutQUO6=]6q:HiL xQV"͌$ 69_[ :>y5+Dap)Xih\`b;Q+A] v;o~6.RJe@u X^XB,$/oZ$ _MOlN/q$ //g[<=XmG#wь93vi=$K6sm QhDuG3z>)L"z',`3n6 !xӛ LNm&9no& Qŋb gT싶 THl|tIY 1m~v7Vuk Lu}⽕Q&Ba~IMLߠE6lHR6DxC=3yxzpB/<,L+o/9WB:sya>sT(Q8Y=kiyʵBOGl!Қkfc1jZ ff^Anar뇣_NPgh&.4}0da~~fuLuRKv0 (,]f(Z)0o 7ӱ9(8aZG/a E`R ԇaԸKBtHU(3{S鎆-N4CF||cR%R-5R MO$cp{fDV.p-WT^DXA؈vۚQoްj GUv3 'bKx"ۢo/X yh؄Yևҍ_= *9\dF:2oĵ8x]A< ̒fPb~jy 3.9xWEo=YVl+ ht.} [S& ՝+RD:J.4pAABM1ϐO0(viD"%)+ҢJDmX#SwZHSuw{&<)\s cf!~lo}37m"3Tk⋺a~}6g|8T%hh}9LM@t^%6:/M4PZ8Ez]DQ7Ğa5]AR^o,_h~Nc~, z@72R#'?4ۺz %3'DR>~WB4BjwA|TًQD`+=P8iouW/!u`%7y ӛvB  z7[p=p H} aSaK^TIvyXEOHIʾ6]ƀ * m)C ;}q١Cun$ko{6lw& B UvԿ\CiSȅΟ{/jlf2=6XmB1Vh۰х/ pLI$|:xHaӗ T9J.u7Lrn̻ۘyݬeg*u&DV{w)uNgM3ؼA1F 2XCnnED{Yq D=zOV\NMO+/'祙yiSMl-1FRӑ DZ@+}b5J9M1U9IzЯʈk=At;L5)  #HLS|05!.pNƭN"Goɘ 3CK;rWgĠF.͡ufuӿ ^ӿ22gwܩ%yG#n -dg _N$Ңc3Ed%ekcfȕq~N(>,Πƨ磝ӝtZgYZ IC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10241' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O B]Άxʆ5.f-9 rq9ζ[0q0L $E^6A-hg02vCg|V{RP=2~>>id6~J ZXy"cyM(v̛|Ԑ;+7teXYv QZB+fen7^Tݓx_M^roZe2.f``:g8P8uTۺ'3OD}6ezcnPqy6苦t0)@~P'C? HJ r<ʕ > 924ޝȩdćgT!Sǟ5GGE8`U22CѐU1S3ܳUpfs;O^8߿+nk;>:.fcj/}ĵ|{. O*>-$Eo]w(pԵ  zꆍ2ͦgQ)%4RJ7;'e9(5rur!&:CN7Bθ=ǜ$K_Jfr9"g-c<-WM'Ž~Fzip;fRCGʁdG)TG{oBv?9DQ҇Nڶq}5P:PD&I&ӐV>㈡= `Էءd~{i99܎nűXaZKtw=<`$sqK)~m0 *,,ar{*aEX67z<֒ Uˑ>'Aˬӊ-)[O_:,G^L`{NԫaRp &5u;iC9pW' n6EXlrЖݘ"-+]T3Ĵ`is%zGEzb[:[2]uBIPu@ ^q#.G-)>fOT7_BShHͭ /iMiX5DVi*֑tWܠr5@ݣ{+b@*P>դwQ@/%;l<A j~j{{&cq\|ǝ$W^8FjN{_ L9Ӕp9.8z-fvΘ rC5g\̦|XUDO}V)<:~dY XI jr4; d6)U4+ЬCge@ r sȩn}P2 8H 7Rd|13BKw"j6~vkT'3汢."kRCxz[+"=^+c?d' ew@P^:}*a[8i"Y/+4b<)H曾^u:)4kE)̀{65lt~;2*y-`JpȌP7Wb𷋃Y͒V>r$ňtXRa[ h(<|຤÷dK@bhb/ 7Mn磫Zgx_]ay Rߵ ̻L! ie„Gϋyr g ~:wk{jYmE59yIqj'G.p:!KX.oƺ٧\GyhfDJbp9R7[H=ct1@ P5HK(S͐Z( ىЎ擐gYZkߋzV<> 3ھ*Z왧ط8tnduuXȈ0QץV\GTtƌe➩Sh{C|0Q78 dN CwoåF.BUBY3Db0м-܍stآVj6͟Z% n7WDk]@'ar)VJN9o ×EYr)hyuj?Rj'e,gb+c,1I+h ➇S3NmB{ԅ+$JU.& eV7eFgџa(ʒcيIn?zl8 G*J9,J^v[!ҁgDBHdmXRVgq ^Zp=-##AZ`."l-Ʉ"[p++eպ/)@He@'A+p7RY'Uvl Fl<+ڎuܙ14 όPH>c%8ʙSjdxJPGM \m ''ʊesXq8k4ҨmB1ql ['Z m=Dj^ ^.$d¸6ASӅ%1=>+OR˄ny9*t GK-3J5IË)y 9 S! & _Id6oF(&k@BT]R m28%Lj^L$P9C{]LK"_ h*D7H"u EF2Thg〙7T MP|wY=됸S2n=fC=@jZëTcrӫxP/|4?G)snq6XXWɠa3G3HA r#XhղةAOp1tWv&=`"3 %CHܒb^ap[ܒn@Gcj]fR_KW'j߳`#}@W5ުX {. 7&t&V^ȋCt2,T)@Q:=?uyKDۨ}nC8UOk=WR9Q~d 53fRv/y*% :yszjֹ g "ma\D]2QxLJP jk5 ]K΁6#k@÷u[omݿNE&,a:0ڻ &Sh^kAЪa"<~ʋ|=p7X Dr#m-"-^T'I,/={!af *F ZvcX&cxzo-MITO.ՆF?mI#8$ d;2V$GN*A c@>v :`ӭ*{z8$zmVQ̇ŕh[RXÉ0t1~~d>7 8ڠB ;2rrX|XDp*ua!= B'?P5[ג q]Yn/ThyTONB԰(e' plW>۱AvJc1iL&c1Oؤ?('{<2!gULB-Ft BGMV xrq1ęsp@T$~  OR*;>7eL 3Uwpt4 UYa,On)R L{82|[qNJ 4@؁eژ>k cslI0T47`pM>(5'y+SNn2fL)v/98Z腋z؉K- 3Տ"'M_(\ 2`KEIf)i} ®ƙYp/qÇR"G+3?ZOUbӯT^v SHHbAc5y&M<|YM{(-ؕd\D}|TUO= կlNKOIe ,^!aѽ#uٷv=vx@ṱu"Krm"ՆBKmRqejڋM#AP. \ EQݪ!4U=xу'ug0)#7G3'̪tftH)b`6kfNv7.$mC>a"o}b4cm.a"^ĶTHk 7'g%XndJnSjdy\߷+nF$맷_ Th#,h6H}-kaZy⿔68ѳozFiӹϠgdZn?jݰ`y6oշW5I@VBȞ)aWq>Tㅩ%=:$VښK| s.ˤG:[E+3k5F yT!k%C0FjH" t8:^+kbzH:eD:8# 5ຐ ò$|Wq'yrm|%rRUX.q?_17'Y͌꭯/b.z *9ᲰW5/Py.s HRvQ/c<1U+S<֕_ n9 AsՌ>b9])fd90sXXl֩ݚ 'CY%0TWqNm; ߛ0dQ>5PizҸQd雑NSZAr.& c`4Lha Vԇʮ6XR"<;K %ڂ,/sߜڄ[,^̇Eh˘t"I!5= oeE~`]5h-g!T[iL>,l!"{V'g !,iG2SS"F[+kb;9cɺ0JVm(ni$9^FPm^еky}tL<\x5-%XY\}\&ҥJHnqbl:n*Fz.q[϶V mNB},X$l]Iݩm'6=TN^o鵔3gPKS8D .K̬^2!z|_S[|(,4c AW5?zL3b>9BǘcN x zd5}Xڑv1`m"=Z`@Z(*?X$߉XիCtԴ O,+e㢩ٜ p2Ķ È9ջ)5ä1蕥Uj0B\ƒ|IvtI49l#u/K\ ټ ( k|2A";ꝔhANqRa_(Bjh6Nz#X8Lґk~p]Oiק&nmPJn[=%fLT"#W(nhXjP#7k<L^>Ϛ lgYZ zz{+# ,ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?mN Z[H7oRZȕaxDCA,#œ($UXٜOaʋ"r!vhyVޖW,a'k~3efCƓ^J-06ٓ[v<\IACR3(/d5׵dFzUZE uWXJDm)S3!YwrA!N+HS pzryZkf)qE2aH|T2N6&Kl"s#КgA}bIɖZpI}4knU -V3;>ʭŭon9ڌJW-:V˙jTi0g>ϧKq,ϽwTh1pR^xȰMt_-A7R?-$t`dXʠx X"Q>=9\z<^,,JY{$8cMH@:)[_#l XhʋmPO#koU D 0n[Ǻ멹ܖB#\P4W|'إiV9cbK AOםN?XŬN1[苻WP+e_\S̽yo: I߾wu;:&M: 8<ޞui+ÜiQR@vOӃ3t9w"t1 &SzyWG[XO}}Ј^cHi9]*骡d:^|,VlńL/籛^ɧ\V4;lV#gν<~BW k[3J*QA8[=aU 69iQP1+.&q:#*õ۲DcpP2u8as;"'wH~DfA]<=9- "-<{aT|v9Aź'2&^4ʲ ɕE9v8>!vЄժ%_ &k{-H=5{[S"kZE)'Nd'w|׮m(AWfepp@'ĮNjΧ'Sv]˂Bht)82H٩ bRey0)@cdMp x<3ɠT#갆}B ,b\L?|wz֬m4PwZ9٠:vL*>@U\0ظ5g?NczWUn>Юkly$dS̀՝l=5h"pxEc3c30x=FwQv+p B}oQ Sh>Y,4ӧ|6 XHLVwo~Rx13 [";L.sXvꦨς*$G҂Q¨w=# qA2Eni& NN>Ǔd8*;;xd SGTz:j]Go4GX𯀻6qk d|e9$h+ Kꪂfjc(M$I Dj"VnE| H^+pj}s]vH%+w魟@KW.zν5,_[=r4.6E˺򌴩S}|-WuT-h`dWY8B*)huDԟ=SB$@<4ױRm%S~Ro< onɤF@,O MzzZMvbg;"6w9\BK<>k ϯ#b ZRޏew7N3{rsISG9fG2%{)X:,M璙K,IPĥ{ӡ)Sʙu7!_Ѓ vlr CFӅz{ )8WJMDb%'eacM.g_(Hzan. AB{!?bKV7f\pVS 5T9sa3-sFf2nZQGyf-#D.ܜgn:W[oT^Uh < [ol~HV2Z;'N5pݩBA"(gL,qClDI^FRQ 5dx?'&1No+B/i}ݺ7ҙuƆXj[ ʔ 8AkBh0Gn<j(hDp Buyx9*e9UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQCΆa?mJq^&gaJŇGgYTTdbo( Y1QJ hOxAqL~.MܺI39MFޘ Pȡ~㈨2htHV(tS`6q_쬔֫gFz=A5/w$:bs,؟u\j ),'K^j`ik!mÌR\Re=C:7=榨8 60Ԙ͡Ho ]S,l$\^aX224 X4xL]#fl-3XO 󀫶;l=õ0J9?a'5O{q"i6aBw-.%TQ3ZC  MK,j@?c\(A(/VI°LoTYQVrͭ X9r1SUTE>`>+'IyB~*xqzNъsWJ D ,ڍ: Me'Zʼ^{BgQ߶~pve?7x-Z'";# ȻCG?8׎އOȮȺ=>zup$ [+_&b}y=ݫIxlK.+1^xEZ(b$ry/KߒU+OnXͲM2d%?9]-Xpl̺jD({cm[{NH%7?K! a-'ݷDuG5Ja2&$ Xns z4FsPgu g?{` XIv5T):5 it?ݝj{Rho?_e>.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[:|&[zE8Q!`E``ˎ}OQ8 K2ď&c0[wsTp\DXa6'4PSB4\ZBy;0^3n,c\˦N?tALoheAPYri5[[MӳLMP摬f.Z. IG ibYmc{erЩшQ dee{/6׹?ȇ̬~&jm!~Su*ȹ ͻN5-r S5QR38"WfΩuT&@Prz}yfM+Ӵ$W-Hb~ynG$O`+/ZVIKCxPìT(IE.sD9]oKm$AhI=A? BN2tj SILl0|VgSXNu˺CJv@4rqh[0I!&B]#GS1|暿z$ȼ] E/(]y[\)ӎ@K\ 1?rw J5abyDnrVCgtpQAOsH^,`iF\Inb?[/ 4{u`S:X,L8#lnd{>4֊q L^AN#u=uy{ r2KUʂ)֞x,ļߦe;F!_O@xM,p[3B"̲ rZ)b uictHRgR\!q,^}Xt¼uRvCڊNXL?`ġhp&uȌnI`٪\/{!%\$oԝ[3^ _iڻUz؛^'&LagYZv2d>߰5=>U`Z3fX^ִT(]Co0˨iuAb$ $5],ˎr^'||VCi M 8ف<6=@b7b5aKn&ȁ%ܧVH񽸿pniLLфŶ̂B=8 Y_0z&Dq,QĽ3erW\#ÚecqGuFjE|8q+t K=v`jB$l\01ABע;L}^B{kU,ĔIr`Ċj=̲Eo߰\Se $ ;LNp`x13q&)s$ƴX6Wڃq+4)Uc[$p H6[F~hH|˕`3+r11+&Yik냒xԹjcq}n5y8sI?.4ۯ(Vn <%z%2n'H{ cFuLN։M:Y۠0g o1z]5[f@?#0f0|5_K W !(5-M 1X ih,K@9S/JqCh-z_8uuK%yfѿpѿoMO5nlPcn.5 ft83ҕO'rujm i),_SU6+fFTgpw"مŊSA Lz4UkՕvkv`]b+hL:y˘xf7/G~[ObF)O5 Ș7Sug"n/|.G;!.);vGRZXحT ˰dh-)w_Y(P{V5".e+6O2P˜]\JB%{D߄HB+?~)Pv,P.} }8w?$2Hv`{\7A)AӪ !A7SVix"M0ܞF 8&[* 8+[k'٭|H4Y Wҵwp>ƤRj"ZXIFߪfFǨW=柗;9 Pj]-G:f19+^;WgE?ّ?/WE]5I\Z H5 ;c"$~QJc,ˍ #L0tOy 'nӿ͖~7F"5]q -Zl&W<>[Z{Ps~UZ/3ڛzFP=@vҖ^>{\eh2DjEvv04 4ʬ. JZO!h؟|7 &7t:f_U[DƢ9Lj;?Ҿ :,"7(1W=vx6b ` v@nR{#49X.kvWml7,\X$v׬=޵SwA(3j6w?ob$JsO79q&G_Y@Vŗ'z)#\fjl7֤fH>F؃.}hbd7a%A Gh #/ ̔yr#x_|\]Qx,['S&~ov9]7'zLkc-W<1[FXbѢ@'+ak] Tvڪ]NKivf>ZS xvЭkgrpvlF}"6+3'y鞺^#Xy2)5k:6+,_] KI'8Enp@kB)pAC v{$@>mu>*8|k?7r`,*oVk()ڊyvz p-vwnL3cbyjcT!2>cd{'=06_m iqwg=KYƞ$2 b6?>OJ8OyJj v ?>lrԿo`"tyū{9a`]^ `;h믮T>p,0i"{T?0!`WErNHŽ5KW zU׸Zɗ^t8 c,5g-As7ȆuhlSs"Kd !U˂fmq"_!Vcs#6_DZ|lX$dltO]4؟4x۰8%)9|e|Yh#% ?ݶ_0<`:x0̢T+_u `Ia>h磌@Fk%q@,?Zi^a삂IBd¬%{QoChntE1 P?"pnKMg$;sقb S>ӥM./h\0b vuJ]J'u@m_`Vl/"kgOZ~LG.N[IjLn]}&l%pYe5,3F_$r+ kg_gYZ ^hG*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118=(3' $ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UK]·Iq n[:|&[zׂ#_ ƀ}Naɋl*rzVuYY!yhTke_9c8qKHj}*ɂ6;X`)롨"[.ě%.slTA)vSo4Fu銽˰FH\Vlx&`-f]δC@!tڳkJ}'Ay2c/7p-=n~zgH@ƂfӑhW ӌ}E!cRR-Ӆtc#wFc _cR:Km1_ W҈$?k@#D1NHgugYZ'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 ($R#M[(ުonCYs_1ώq(,7KA2?ND%Ҿw0q9'o;H7`U'@R+/Ps(FIOdC%?>CLQEFkF8&Xɷȡ|P"R +YuIdIBUzObJaNXƏ >,6> 5EIeԇ%; &/жT[.QXu5Ӂ*"\}לy+,n"b?da+RSRy7Mqtzip_G"y/wx%, T:4ҹ`>x\`tr9_Ίe͈j04jfO%JhTpXFb LƁWQYgD.IJ=&2vGR*ҎeB Fčs=Z ,;ge[{e.7 :WY-:M3RQ`+kv]܂ nY#3EX JG /VSsy1㬪 qN;hfϛ("sUaI$9laB6hcs 呀Y a2t!Iƽv(CtbHpda*C?ڳ!2hن<hP-Ѷ#xnnGat:ҩsAAY8\wn`OXwd6M|$kҚJRt’ M,E-Däebԍ{0-~D螯P_j8&72bZU:*vLs(r{Z R܉[ :*m{Zo,?(9s<.\B~_~N9iG9 pk[6%b?&}[7_6(g UhsWDm}J"/ SwSTS}-, ;UkK'9l/5_>Ӝ4֊kJaS,Sd~\rf9"aHmϘF+(lθ[; )n&S|lD.#Es%ahPpvAOD V)|Fd4! Z;_NL1ΩwzclA7 ~/pkU1َAeb\с>W:$^d$ec6Q߹hUfQC:i/R&AB L9q幏hSwicqfrQPzfsBMb),ƷIʋr~zz}o@KŹq'9fj&*v㓬v1 Z{:ak-vjRĽ iE,uK]xO< ;JaY8A2-MB#B5<,aHMQv]eJKEؖ,<"ҸY3ILt䧠 tNL8XffPqn@*#]ф*?8Aʆ 0zQc:p'Xz`W _e)!׻̊VS͗w S׮ЗziRn8lOQ%q$&[ MϏ@Y5ٹOZ C*kFrvOa1 i[ W}B3*)eMW'\/7!c%ٿcROg6\]szj0C~:@b8cPU`j'-vSF;>L%Ȫ3@ ,h̊)8d[$x}y?_)%q{{]皍}2wPY**)U3xqpH@jg^Kc6NFWybn|m>Q\7G͏)si<0҉?wq]a & ɝa0'K;HkuJCDYAF_c{X7 qV 8h?Ap;% $Uu% &0&\ݒNfVn~UKPGvvCi`k(_%3Բ Xg /9`D2k7 &{Yi=֎,1iWEXOoS!N3& k1c("zYa{q(Td&ME7IXO3u/Ձ"w-?&̹w 3NXLLFW~#ȜB.ldwiLd>?sDV{:ж@pD&IIK(:s\8ιu_*9dHb,zF=O0"e>Bԍp=8,A`HE`;|T%QIĦQht;n n+ؤp!DbKv$n}Ԛ& [v/utW6&/ʂ*<%؅T>JI/F^[\,aEpOPt9kOJqK Hӧqps(վsD+T:hQ5[/4VEG *ٺ)f"D+?xGu9pSU1E,Xb5 MթFh{yw> gYZ5d¥5O>Ty!٣acuJ%lis $Ĺv6-l:K37H8ٱ9>\ :eƜVx. -}*!W۠ʇ.UQ@+\nMI)dI'`,C1E$)-TxTofH#ZG#r# vX8hVz=fsn3U- omL=D?ܨµXW Hq|L$!fNќ'qrUU8*8{]=)Y4 ~8e4 ʞ1ըҙz@ɥ){WJ.3d(hU*$({kRWY[ fv>kƥ8`q~ HtwYL2wxD KH^-_)߯ۇx(E9^/ե@&An՝We̘Ob(<}{Vg pͪ 7s%9 bJjK6(~Q80/#܊th*l%8P޶a\u%W0mOI]M1\R +SpuS)S ʈ"Y>}è3j M655կIh7#)/-d):`R1m9Sv3* vT4%Z|2SjjnqgҷAx;ئ8̯֩rkd|O9"+yDؚ<l"-gY6wzj3P*s/Di:"Lf)JG*K j2W?aǡhTAm/'Ise>JC&"V(3-i/j}J}SOPp(^vcn,$&|U'gEM'vf>( ~ y(@M%h+t\92Qb3 RK^͊Rzj D և!m=,*[Tjwg2SCE!Z|ѐsȞۍ ˒!1WSTMυXC:i `뤛"^Ɓ;FpASjW^'Xtvdn5\=lAC}C  a8džoFRzC8`=aW]ׄ /2Y)Ϛ? &tMWLXw["3+QB623c 7,w73ޞ&iI"JGoֹuRg~h%f>24|:&;q=:6*l_BAM#2<ӢH;w8 2P3LBNOsldO- JH @iUwL P\O.SDY5&_ߥad)aumDQkҽEUP6t$?8XFa/V*ٛ|ǣꮁ)mzDB֚/}a%3bs2pP}AIV.Y^qLҿo du|.lQG%dȼY\U%+EhӸ8: ß Ra;bP%q)|ӯ7/0< /6B-#(d]XM(vKGNaq8@| 'A*զqOg_0[pL* EJ&fdGÄޯy|kAP]]'ACO!^ v䰷Wx M)xS8%vYMVvBlǃop~*Y*MZ8^ePnyo&Ypmf Q!spi"ZP->D@YMیP<\tSG8f_aٍ+\E7G'ւ T̃Dh⿯o@պ+EnJbs@6&ݧS)g_MGr"5*E];;ְj1KdѡMˠO4#ś|͔`QşFrkLU7hz(޿euD% `a czD ;5/ P'̱k U&Ϡ Y"iu9uc;7e&߷ g6?BeؿI~wCԑڹ?fVcҜ)* gkR BA'94 hyې}x dگ]9/WQ(zaϸLĵP.8jAPE9@<1 4ǯwIdˢ %nޤ9;Ba~)& =m]7kK4 ||(WX~c0n:U\P|:yD>`< Ҁ@ec]Ŵ-%-NJpޗ[KI78 6VD /0+:>kwH#cd\ՀX=j^"ٳA6oiq۾l}f86$ijbJCsd~ḎmEd\]G z)sM ms0%@*?.K~" ^Һ Du Rz]UcՒ&L.ݚ0}{}Ј aj>s8P6JY,aӾO%R,0"lIϜwKp-nbIHMuhvx$*A o׌TH~t% fvdxrh7iO}j:Ycﴀbe~dd4ejd^14N4~_#lћ*^͂b8Q9|+}0(yz0G|"GvֹQAc'rFrX0UM֠yIFBliXCvi{ŊJN t-)H6{#_cIyMFHlWFAH/|8-ַ:ݳ{YB漻ݭI> gʙY"͎B(}<~age9OXm3BI,s6ϔcz{;}~:.w%ZBK_ N?xit0qCE+S.1Fs}>Eehs4f'ce"qR>B[(`^&WiSU tz(*EߺQaY"MSDJ0?Hʇ*]"D4ƒa Rc1]Mgck³,އ"|VmTdjWsOSOwL1Qܲn_cӟMKcc F.* Ö$Øܹ05 D\(N+| $]#ZxIby Pg؝`nC*.ڸuD? t?꿄^s6ʑ[$8Q4+ 撡4yPeOF"q-mGT+; 6{֭dGi=`izmaqCwHc \WL9vz@qqo}@ R ̴CahQ3o]ݖ*Or1Y?AѢʿJ{\󜌴g>L7 P鰾5]:=٥G=,g3K68x0)F$~QeSEmpgN#v8ۏٷ0R^bQzwWFndAx Pɍcd+y@ {0+nc-32x">+ #Z\VvU3#s<.Ơ[Gpd; nDڊ1g~>$n&qz/=?HЪV jP4Z/Z<cTש7ۆ6.XڰGQG9em]~J;_jB8P!@GȕH|3.f~l= JgAx{-޵[u 63h+yu]Ǒ=hI퉝+"-Ɂ9 E7)orW$`9 ԃݴxnhVvk/B1tG54UWN<*WDj({3}nZ@xIsM"i^!)/9Rў/pR]cvQ e.U׻4Fv^G"L]K+[m+Yq} }hBbLBE.)1ހh73ZF98&&Z'>8Kr%gʼnkC-"@DGά Iu&˞<΅F ^AeP,Gx6 [F nX/lkyd7bb))P 64&^, A7N)g&W抚Zۛh@?rʝPWVk$#~iXx) Z&L]W^Y곂 N0޻S92OwS3}u8OeFW֠WW囫bNg1_V䱨 \p=8W:sp{39= !qgA\6O)NH5 6%.?|D!0c+4+W CUk9,'lB1sbRH譪ܴkwN PR[u#]ʒA2G./!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[:|&[zcRӕP0f}2M~%<9Q̜5Hl-Upșm$}ғxGEp rPGc1+Q{)q@pv.zwad T?b|$* o+4Bna9 & ֫>L!^!:EG%3k/cMWU$[p`<<ťM^ '%ӽ'SmrP19}`p!^u^S78ݵ1@ HQ? 4kbROނ CLB6:d(gYZU+/# \ZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*h]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM:o^c'F,204_1ĖGJ*2;a9^7= (}߽&.r:7Bn|nmaر[ IOQCeО'Tur80+y]]ײ!P; ![u)~2-> zHE\NX]|Gj9?z:c`f8\`9Y8~sC-T9c03 @Ё)A9Wa/ɫ9ًE٫\w$W!Q,齃~Hy,CfYǤ6C:&L+EcZ7@X^tJW{~q>#zAÛ,t< {Àt L*iɖ?_Qחf~]%\-^/ƱR=N4n zWנ307Z|O}@H s=ޛAV*pIQ bd*{C2xWu$uE=fm,?bT%%(7# l2 t҄M"?!b@MݲK؋҄?k+o1WVX~Eӥs~88 Ni kHmp[W=V܏RGo~vs \C 6$X^7Rt/͵#(LxR RɁ 6L!dN@rbŕƣ_dtL@ywR>H˷L7 }{hez1\PmvWNM{NȤv0‚ AߓMm/g 6NE8lN%0o>w?:#/g W~V 0 0=>C$Y;?*%WGжqq/1SVB9k8}N_ ` Kluup@qOcȁv8o=0Di6:y $ɥQF"M^贯4*Yq28)$6sw2PȵS1#9s_p˄zFCnGkId3('A'xz=o'VX:摍ӥ6_ˮMɫ+ 4d,y)*c8)ƒM uQAg[$'`Qoku#>0>yEtO/OU[d>JZ|<I7lkd+}HԈVgTc[z0営08bɯqrT13tcģ0ZV Rr?3 Jt֫{HKj@AЯ8 2,Wzi1.79HdP`u#ʟf#tM,֭r6Oc(yS.l&0_:$TAI?tb8F]W" zZ)m])"$PՌO77T>U}ݰ`M^[_o0dSp7jp@/Mc~*IxX,XV-<:Mdw=B~qua{+LCsnkNlDՐ/5l홆.v~r91E[|9Vel|lBU,&bߩ!zop/ Oۺ&e=tG0 Ȃ3]Mq-WJ칗jjwámfNJͳMS8Cݍd [no3>ϝ,W!=ח1nN!}4Oxb*EJ_U`'ka,e:siX88x2fG8}_齜eeߦDS<#h&&oI,p+N䈠5|32lVxʠK̬.aa]o~>ˁb_=r:m1:p S:OXt%oxRR{=O?`-,7# @I4\ 0X: ~4qĎ$gWv@W+(Ƥ:В s"ϣ'#-!^A?ıh 3 TEi[\,"oM}]j-O<(=EB<0]܉zx8]UY:50Ư5%?gu6#Yx`GL;-> 1xX[E$+OaUx֋F4LA5dݢI1 }ֻ LyR9O^TF{%OL `wv謬jsMV11l/>O1v' G(ӫ$@N'_cq!챪3/G֣ 5T:p L'u,0~b$ =Xh 6*1Rs3#j9bQp YUE5lR&ǓևN2oM2sԩJ}\YDjd{Ү ƵՋ2C2E4^V,&)Cwq#Qg0XWj1-lӿ~Y}ST-f#z9Jhoj/x~o!NwXB ^]Z|]QTO }CEHSx^\>.CcX1Kc]O8DVA-4PkcR rNJӠ 6e1 Q(#HU-ZM<*\gZ3,;Ymy=V4G14h+$oE8B&:x[ꆎ(2k믿 [Gv񎡊5my51fإČ5Ǎ@*7#o\CD0ߞ- 8Ep_U Eʻ_|mHi`U ϒxZFi*AS髯7 ϠhpP"$Q= rWBWаZ`C9$Tv4m.> 3\۫'qnd}50! Sa@hTגܐ@聾w[zÆ(B處!s=c1aX#׸ލ.,F<{ e c!V T%<@GBJ} `dcz" M3Lg_M\$ͺ>QCjEOU LI1-pxJYuBr Mua\F]}ڨ3ȅ"bȇ6'+x^f;e?gQ{aigޠ ˿.كvSq4Cad)ul0=ty1}А2\9M+ҌrzX]et97*BĒ(dЫ% -+/ SmK\iҸp%iAe=Qz |1 ]փw}ڟd6އ/鎳}^S+w^^'"Hy2ȟ 쉠Tthihe~~*#uv[6-f6߅4TU{_q* XUY\4tC9]5M,]5SGW0?ےx&怄 İLIB*KJ /p-E]A:0x5Ͽ} l:'\1Q+ &9~N=G{%y_ uԼy4QVRGȾf3 S4CW()YYeÏګW$g0\Pw06cd%2O{ XE})8(n!U B8Qn˷``MVI38pfK ,=س [ft"̝Kne\{M3٩Y1s)a€XT*nXZAَY)5s<1)<ɩYѡgr|h;4f^j;Q6pWTժ9 Pػ w43wP`@G9B|Òm~ak@bs1Gϙߪ qqǻ⮞ʸ.NhVw dO\ݪgp녁ܩ DsCs%NB}DF(с`;[TQ ;2/>ZEa~H>oε~Ur=_GɃsVeϊy"0^Eu7[;A 1ZOqR3@h̖;`oyl4i9ƾv384%ɑt:da3Rfpq}6-/" ޕcnq+=Ҫ5:L5Ļv2}bu/X˺L3TRyG@O{#pz6V-c]+c5+g( 4$QE\Y8Ug,8`"- O{gߩЍiWW} ZBķz;2EyohD:{}bp'dL&Y5lT P.MWl+Wm `Shb[.J$ 8Ĺo_y#y՜lzYa\+=8dsWĴ^+$i̪=pE\=} "~UG w heѹcKFxI1hʍ! C̪0ʔZoV^l2Ch}Phg4vQe{ZࣘA7j/8fIIB٥E;d:8rcTD2im}/:m/ՍL"_j|Y t(&Qf=ͨ?4Ku"U3b< M/,(c&S{ QHQ '1qѸT; IZ$照UE17m k+<ĈA^Z,:QDJfAk vhH<138XDXw~@GS[WO<)9[GM|r{#A·]sJeY u=dYGF-@){r+iB2 9mȇͅ^̓T( ["2VP@3 PE!.,0hyϛH-U\ahc,t Y^9o3UUUH9!/Yhzs+ɨq/,X[ʖO?W"{}Ek?現h|$Ҭ|AukJ̯g8pu6fX%OdM6eqewq-j+iwT>YدI"w_ ,U"Mw o?ֲ,j ~?Ix+j;Lkb9NtwSAw3@G*f*y9F p4gVp;f@S't^1/,JR>Ϯ.+fgX}va%);vMLR[blypnK4J^ǧ{["Xg}K{F=?~ ,.`9*Gp`!E,^>\.o56:kpE-UMfhBP0(;eRo;~%ϣnm'< [¾2F2Ll]C"W.Jfm(s_%C<;cژcXP{o*~qibR*#kޟb0 w$ЩP4I䱙DlP 7mgEsIe\2>-!Ԃ|MiwwqpO6}Mʮɡ hf&śś;#jl # 82s;C1k}O[ Oڜa=N03 `^V4JrwDՉƿ5T|Vή,΃NT߄/-+`7`bͅ|6c,տ{9%2G[y^d6R([a 峲JMD޶|G }U|pe7%Z, %wHnw w|>ȷk6dΠPK w>ڍ"3øKgyRgAofѴe)hĩyB[?wm"8{t֊UIIU@`;wo ϑ]nL l)_N3t7 ]_h;f"8A3%6NBxomDB)\ʪ5˿bSSUt%ԕf_7Nzv5Holargr Ϩ?Lmk\ps%"xA IvkO4F.h~7:|V4_G4mW?Y,Bk7#ڊ&ݲ Rr+G-;K-)b-W[k9sb~uvFi'ltrtoEDR9~.u~~ɕA!*̛k/&|lYA3/w4T$yY*C!` d|A<>bvТ]Ef ƑK=Y}0r)4B cbʁ/n ,CAN[rU !Ro8-_b>:{P>ֆ= SyMFK=`t.X_AF?C ,5PY;:vȃEÌs핪xoIQVr4of1d^ւsQZg=wpxd)RTk)!v}S}a7TckۃmyZqZ)0ɰk}tDuv߸W9`!>Ef)ƒ^_+.=v%danPţmGM|Wg9-(TځOctWfRlm4$M!G:m>}ay6t\H▤ QQcJ 1dD0`S)<9vԃnǰLSf=Vqq v> O.] 08߲D1b4K|gIQdZrCG<]EdӇܷa bs$=D2Sx Gp<˙uFjAYW5;rxAw#lL1O d3k9l5t57v"1eVR̞Vƒ' Xcjw߬`'#). M KO)~HPٔJCw Wf Ֆ 3$l>2+e0^P -|QB𽖢t5Uݲl{/ I7L*`x҉}fe9NyYm%Vcy,f ׿!B+Hb/|y1+|^u<[ؒr9ip+qiY-cX@?ӗ`SY@_bI6s߿wvHr } ŰEUc?Ϊ\3ǐ(xD(z)|2ѹbiDp`@x|~~({JR6%@ҎPg+~ɋQ`،<`+LY7BXTc:ֲ[p\[d€J}jLX/up )X/N!3٨ 6OuE󺧠SvT͌FjDI_(VVu/l&7+e:yi7zOvx'_E,}Dxin+Is4 oAABe։&mHG-s}v6::ijP|[~xJ ~8M os9bq&;%hLn]]HjG͹i3C z9 ߑנǢm<"6R9tUvu(e%L`"dyl_nnW'1R*$Q㨟?*uc-U䁮P-]) 2gN01Vd{1|EЍS  yWڍmjk4 J: A\?An\ʰ<{#E>jB)FoJ9$g;jiжM/K]d*gtVEKV\WwC̔ LI4 [hY&unjIEJ0H_"DHVo~&;<n`3Z~[j_=z`Y6\ 8+v6 %o7"r;!l{0b ePs=%=; `eà^I"9 ,J*Tß86j}̋両A+ZGBV{o5k lV/`sNQK:fv"Eځh{_VC땿|^+"SbqS\fA\>N.TʸR{G|M_Nc']A Ĩ2(u4ޑX}vJY_ľރ':bej)䃲AR6J"UGH75?a>%ٶX*o6ŧyNYw@?3Z&V0 Nԙ;#yk鯹ohC7ThkƧSz+*З@M:' $>MZj|ˌP\<&~7ZvӱB"agƫ1X4Rǖ Ex_ [ Q=~%Qa"ح"c5HCl;~)Ֆf$_;lPlMyub82*ݴUs,#.xBj󼻂lH7?\H &%Y~h`؝qt*m9KBBI. o#}F ØZW+ՀQ:gIn?Tt$ S{ݤsǃ<ʞ[??9T_kܷ`<| )AmR?7 )SufUR#brcOMqiHLBۃԋY$J&ݟH_`o:3)*e!V^>H]vΧiTxS.ye`a 1M803`ܘ'SNBPPM|@:l4z-IzB6je՝S2~NwGJ$6}!LisB &!ެnN> ;; ha4x%\VAUV^}'4(D&eAdEXYsi~M yM>5BFZUm`߻`T6MBf+&$@=[]&d L聩*=ZS nÆ|%Φ =qfLC>c9nֶbfB j3 _دtߋ&!^A X Ԭ9{AJj2<jDag<ڈ# Đa ճK£j}{@\hy$t#z hamuzFzv纚 ] Xsm[=aS[p<.)&ش_4 񱄖hsWF'{yQ^DuYᥴ|ήbT9t+dR^a!6;b6W {~fF^`@_OA֘#6vT. {[OEDM tܨO['`LXn*Xx9@Pyׄ\# Y?t&/9 {{yp}J~? vF1Q$,mUDTq09fPB!rha&]]H7V,Uģ1Ibq V+R6OJ';/ *3se~Z-#FS~Cm\˕di^~(eªqtDy 聺V $ⶮEW,suf i="{=cp jR:u5^} E~˘|C3-ȳZ_F[9}H08aWsb6ZL"n%k͈84Ϋ S\3cImjL^e[(GCn hOi.XmXYs9̽5K:6uujDc*:~5 ܹPAEF&I +4kz/.~/?6OD#mc%ښ+/:m0gȄU{ pfJO}s%kb}sּ ]nez!2l\)a@3*zZ[6?jIr& 0*#\|w mŧCOgƦ>Z2h8UKdRgq&-ऩr Єmu?rV^F_qN%;E6S:oY.h'Ne$s0D/N9)cl OS.닌@%P>L0L0hծ<xsիHДK~btnյd9t[1{!Aª4wKvho[+15)L侴 E_qN!V64~9Ɖ!q4`gzl;cƐO: X($]9i23s nVCF(Xd7O 6RK-i;Da̿Xcˡc.8<)u*۽>5Nkv[8f6DY Q%s*g4k Jڭ㾗s.ױYeŬ&2U{ԼcGmήA׎].dLWLX{Xќ iw H" ()%yy]D@7T/$¼[)c9?-v)EU{vS|^+qn}Aob;:Nh5&|TZ/CD[< yU +QB|2g*jT&M(VdIWzm=*(]x cZ5﫭Pw9\kC3@<)[kl h%A@$if=)&pT®N')LE78\Qũ4MLڄi) ?fOC_ Utnx |~}cNf:-KOUO͉_gz(c晉u+?V?$k zƬ=2_- } c[STzZP9k廲h^׶|J[$I&"AGZ(5b_([ ؂<@ lySR›@A`rs1K+ʅbL@ lо?-Tck@]Ƴ./W Rgu"Xs[^ܧ&$B 1S I)T2 d1m.h6%Ofl>?'HnasշD]E=Jc#;$1AQMUHK:d9 2ilsHxz63BUq=cL)ev#^yѣVd:ܽXxBtuA@^bo4AW"vHnrF0L(* .:I2 Pv:K![PuEk;o܅(t[UsfHrEq 3$*6Gn)y֦>Ed2%>ܢn\XP-Io gY*E;.yF Q);hh3WR$."i5Z4R)G>U%.| )(LJvqJu/T|XcT^VGa50yWqXdQ22܋s'NX x̨bGKdRk/(KM l~oe og¢Ҹi P6 @ p;|>NG+|aTH'a`FAWrHFR߷945Ϗ({|?u1f@sB.M4[+,IIT]aa"|pG-`K"Yg)iy:#6M>  z=^tn.ݼi]6M21LH/p(  !Uf\wfmltqT,;M9ݟ>7@-Y5/0#(>HKqԷ TQ[YQ/j5G}{J0Qn έq>.Ij=c<|yM=_"q+LUۊլ "Ujk*h¤cCN5r6qh/퍷pNc&  B+#1, C`m '$PSf'ooQ ZoPwqBYV[+ZS:L)sz,_>odh3#Omdx9SN̸ =0&sڇB)-K{MBh %̰Z-ۓgucl^0(Zu:ׇ"i'k2DBWɂej7ۅ7zIdf2&R+=A\{y+$39C4R=msƒFPM̙4"!ZSqʦݞ+-6c,v~am kh"3xyi@I=)h!5Qy.4 ;LSzY I1b%;wj ;v4($X>:AIWVda&'6W9-L?%  V]De>7Sg"?NJI8G=4ԃ J|h缜dbS52L{d'>H.P/x`,( +S^vډʮ^œMDjyZNx4?@D`@_)֢$9c_Fhrٜ2Iua1x75l|xt& hFkaǷxbf/Ip%!I$i '*D& ))ayabI.tC>suU ޝ2HJJ}FJBG^fl[C;'RE"$Q=\A{l0sH_gfAȆ}BB0y=h%~+h5Rѹ@2X.6SBiN Dk-J' 2Z<˔P4D47t!cBSҿrS #G;C>yxUve˱M-+ƚ ˯ s1F^Lb#@2n1=Z`Ae* VWזjY4/\fmZtgVR^ L*iJI=[jLƾ=Htv RtC [ã+`@p!Qxbi9gZ<*H꓋9]mdp6]j\;|]zp/_i5*K1}nE9u-[H%BYz/ӏSU5sBdaϊbs8 :ԋL3iv#Jt X}Ɂ =̈́/&]H#t>5?nˢd*Rm~`p<vd).e)paU , A .ݿʯ6f\P=:W8tZ䑰4\ia֒< *24Ԋ#cރH_VU MJ"1+;Xv#EvX[H1(@ y>Tpw.L&}*4:N hPY7KAgРxv%45];=pB%T֒t0vSlǨ"g%i{|сrKӨ=UNIw,R]ټ\ rG Ց<[:dO=qu-4g6=Ф)~]lIkj[ߣvdBjHiNS.Gz?-‡d'q-Shri\WMM/m:դalTh@J,qi#[WcR5#o&HTE(S })FӠ|~f&y7LN*{I$+uւ[Ll rjHlހ̷W %K o6aQu[M[HX}V @,(6 `ګ>2\AT\ݯ+_ D:ƐG,n&0M7~C8b)ʷ)!zwkUshꤞל к|jMl,DI<-:w}82񣲿оn0 ZhmS(s '\ia`hܼJß"6ߣ66@Ά=yxG_}Q0pT'\w t:Pnlr"g8 luAVyc`;[@@EƘK.dr;a&D <ֺصhkH7?hR,%t|1MӅ=>**7aa~++k30 H% 3R;O!BaR@wq}O+@M#!ۚ{F}ǥwk2˙"'1R[Yppwxr& 2D&C9w{CT;@Zk.M`; ެ'ۡ6jiFoP)6 ꌣXuZe%H*lqpQsAjP`eJ8Px].^O ] B G$ߞCsׄ!0^SD@`0%mjȿ.ʹ@T^"0מ׷2_ez@*b](irxW̻KulnzD\/qJTQMufKMnj} 1 F9X%C2 {v^x>buV1lM^`;{P1h|x݊} *Q2ꅠ 9&FJ : ZRsb֣AXM3䵭W8G[@0&GJX NDV]6) c9GV3JqI"2]4΄:jzI|DžJ] %3dRW%L30&?䢃i3VrDͼECl~![k)P;CMv|!Y-hqAOXncv 'T8"gh,%OK@#)<dUhk|8XuglBRoUj8478sm! Oz#Άt w>D;)@MNn5 Xuj`37Bʊ(%^{-f*ݔGz' 06Eh\7$23_>#!cGf'B2b@T$XvE5[jցGM5tVuN%D޹A=]RmHJw΃uLUЀQK 'w?2'G~tN OZNHdV?zt/Lk[iOB$h8jZ~9?բťR׍u%(_xr} 6ae=46ODkty? $|i_Sup6nVάL6iyhnO~蟐+H4jR){/>6$AQeI[p ќ6!zmi,Dk)[V̼ JӱgYZ gg 3 /# DZF-InductZF-Induct.PropLogPIDE/markup7zXZִF! ^K+]ˠ)jk2p O6LP=͵gl5gՙqjW-HIJU]]kRφ1{ncK'15_o_X?5x}Z$T5޲,8=YP{J=fOJR}3~2Ɠ跬kfu._/믥u]z*CCE†gPD0=r9'P|rSIؑHM $(jqkp9_ }["Ue㔇fN4K%iޡSHE:Թ_dI9|%)fq7MB4JMdw0F@À}Mo U+`AC^%wrNXiF?.y`Ob0Z.k Yi}~E@ScD8է΃]N:46s7ί#q_jK/Ὀ5eTVО)sWPkOW} ,r.1Bq-MXNyٹhIky3\nn7`E;Eoz%zk%p>HrmTJS=4ԗzb89Sq xFty2nq*yOI2LZ[(MSBoO]s dv˚ j3>s>eƙkg"in++l8M]^0@$yxPbG5Ny/*w Se#&V'C >O)6i2Y(fiG)oc|Bw.Հ7TP c^ԫ VZ̧ 8wWm)@0(?=us--Z.w[\2PyՆNˮ;osPai_5O, ssd#bcW˅/^o@t|4z&u^\, D9Ä#u6TB5c w;)9q[ $0[(V6vWJF]LKC ?QR #.*]բSfvovvLJGVAfzq{]C ъEx*VZ)RgZlV7- oܸmGn՘LKŏ33TxEfܱmT6őN,vNIsƈ3d$*|@ZxD!,M[ߌzʌS׋'\2h y :1)9x_kFJð|SSE Ըr}U}g;7<[7]ke`nzh Pr)HkZQꅫƦvpbcM%<_FNG *>_njDk96g7#^a\AGqKi)+=PU[{Gcrw̎_w," K׀NAn7 cv`*m@ Z qżpX\5FN=CAi>p$$؟h!2|8=Hdv4BDSwRT"yU&rN#∮UR|!F$A#2~I :*mb;;wv"؅ZPT_RCY֠0~aHn0ܦi嚄\zyI߯2H6֫ܜ}w1şU C$ rq}aڜ? &eUpG6" ՞aJifRW~lj^[taYL?İH]m5m-I)$ҦS3"E)TE晎ʾڤ\LaS`s긃c- .ZpH/|kM6 y @\ qI&Kj~#kxX9uOx1!YA?@&P dTnJg^yrHMExbwvECڍGb yKRiȦ%ГMgBZC.qptEA.l kр&mݒ uzclwZ-cK9..w%M"z2EvPw)ggs9`7;e.4iG/ BKud\)p"TWTEB&!E.R9 m?9=2q.1hTo6Y :7«!]׊H牆ʣ, Bah(s5*CZA7Εƌr'ȴ5$V>.=A &48)^0hD V-e7A<'^VLo=,6  Z ' 7 )# \ZF-InductZF-Induct.TermPIDE/markup7zXZִF! )]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JEE%A&b-lnhҀ ~%]7=u艵-tOMG2 xW%_< /e;f;N{ GtX}XGWօ;&z\ܰR'}ro#5Gi %Ob/Cr{/I2[Wl~'c;SM^qE50;h'cy1V:GYР-K\m)7%H\̌[<;!vӿv{>0e{" {$rvN̨m9b2#0_VƤAK?:Br~scPbR+~SMkhHoVONud)JA3 m4E-{mqm!_j5Q6LI7bTvߚS i鹂- 6.1Jx'8|=wMaȻ0z" %ӝ}m0:`kM/W~X.^wɰim+-\J,@ pZnq]v9eBTbq]5L€:q ys|/2qelgJːM^17 %eٹP:Ga2G>Z fjpC͚M1㋖/~,1yw&h<6,`{[MK y @Z.Q#]e`z&w̖kkTܾO'sa Rjy;CanUk WAe<I_E ċJ%uu>`]FBxb$TJ>c+1U4]Փ H$:Dݏi>j" cKz* W0) lN®wS()NH橐pLHkRc0g =qk-=7M5h=Hb+EQoLo6~i:Th`(i 6cO:?y(/O[:"qI A\mJ寄5EDx n{nld(mq/Q?J.%[w](A#8\d{I6r{WsvdkExmBU׺b-'ڜF$dxG)z}Eݒ;lXNVu%!7qeM^p Ŧ)&Z56"i 8>I-2wWYG5鼄/mS\5x&p/"8ZPH< @Œ"UGzoRv9QfP?ߟsd&Yo6^ox8=ss鸺^p>z^'2[{S008v&gwwz<`DFq tz]Bxwaܦ1;Qz 6J Nӱ*;F0L{֛aj0=X .p7mD[[껩:j"0"h:e×v -\.͊^xȇc~herㆽ x"d%Yd7լLkId.u^`8 ~Upx/@s|Q;t8N}}/m8?v\K[|TjbVH}tv@S2u1*|6o}x9Tssu +xĻT)I#_IKP\UCvI17i٦8,(p`+E'l>03&[ƶ v_>xlSPvӚmLjA=\H Kj}y:A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112#4/' tZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N4]·Iq n[:|&[z|Ye60x.1fh{T50J+"UO}HP@o)YDjz ׫Bس Oȉ@X"G=u)9Apk`8B?.)TV <1$=R3d?m@r;[R S|ƟZK=V"N}G'E n'ة'Lo~2m+e^-9@` hV/2Rwl>2x-&c1+ >dr˳K2Mix4yFEQL\v?~ ͍7]Q*ctҀQF"V AL5GrR%M @9J|t},Õo@bbDJGEAiKĂ78EXiL# XgTIx] }?(>NV 3bpU|5==`f+п [z\" rtǫ[BO +S4޽>0Q]y5ܜyĞOq&6>rQlF ߬~/ӓk$83%H %#Ct7;J0h$.Pf׿ذtP?:Rm=0S bXsE:KaĬM/[g~QB&9[+j u dDH/@iʞ>Q%53?|O2Cݛh xZ|T"{M[OB:.W/,ZnEHyIedAUWEg sDkT^x&2&`҉)` —F<5M REV$S߯9_yxyi~8e?Xj= djg-#)WŀMCcϷՁVwӡAq<;rѭHZtRͭ }$4,TwHNhh*wf0іQ~A1,PPSbQX5]] :GaOZ.9 A= ׸svO"ș,?.ADbB>Ӓ<^XAc\4:YIP^oc+J>XspKX\qR% g6{G۳"a;\ #{9 FN6ɫYۿ/#FeRj"B6 Z,@Eƫd2b#Gݓ4zzfNv7YfHdc!*пS@8WѯHwZ946Π B,zՅYX wKūTח'0dv*;#~VFyJ| \ Ś03@+p,r;yG-_217B; ) W0Һ^!wE]6]2 D9m#|äBd^͋,}eln &JE !{ix%7zlP_I1(CH>nF 'r~J(}zN&_{/(6:эIΊqiߎҳ[Y.zHQDbӚ0SZG)2O^5MUEP{X 1E!Hq^G1,dҞ(TuavXР =b8RfMe[ԍKrM5Yzn3\2ٺOBk4eL_jz ypZb(CZa۾e@}}c dR;J^Q-XGvqkEqmfO#9(ӽ%_I)ώܱǙc$gNC ,c[rk d;Q)3XLu{`CnUu.,ի'eR:3s&0J1XdL8m}:\WȜ2͋Gi't3̋JtK:Ɇjpĥ< r"'2x-Wo;>vl c,B[/Z}ׂ&Jٟ.0LS%֐968n1x)mN:rXZȎqżz`F$aWOhrvcw%;ewӒuR\[ŷTɳd"_vkfNעJsDup._(Wa$V†ml0#n/ =:a amg`7 jk!w_T:,xT?"ڹd(:}S fz3utin;#vzto[0O'BÀ{PASJε(d)3 .*IMG;skǚS,E?Ed/.x KFbYf\$a|sYQ#Mk; 6yϕ^F{ fZ4[ބ%#1X>g6A"ٍ"v6~w1bv R3_Qv}/n"P@>;YgΡ1Wʡ1pS )>sǗf|pj&tIڿY<2̙๺p]oدVvRMGNm4Af>_EԐd !e$v3Stt*Ɏvr"AS[m|SwJߌWr̝ފl'q'95P.N&$]N#ӱgX*Dpj/`sRvb|sW;)y2u^yi T@22=b n#\F`[ c=D)Ta0{XV2~.x|Gs=hx(3=L2DZFQ\4b<̧&Ɏ\)dRAȰaD`l9;IEIIa ́o1ۄ5򨪬}BdkrF 쵚mX2hqlTy8Sio " (2dNs^oPۢwCṆ'kmg)>x}~pd`)T rW5ۅz`P2?x%YiQL;ö%ƹ>2ܯ}NXd?n' s6W>\hZ5,ֱQ#_@iwKC\ C4䆑cW^C2VEoc%!.ds<3З&+ 6d ֯~kbE}J z(DUSrin,yuRN)ۆŞ柨 J/HQeڈJ vVVC#+σx }aJ(ŗc37;X|-7 T =;HR'ٙzԖ ٕzpDRaVopTC 2K<9slr= 3hՠʿCi~g?C0+W}A<_NEIT"QPh$_u) _\$?rf`cڊs.̓],MoW ]`++HSz(" m 0qbֳ 9{ dq[Rz ͫUk\]O^ȗUl4 qu"LCFܒdVhXHk" TPkAa$@r012H6۱}HnP7owKwEg0|C?x` ZѩU#oPBP}~/%7f O/DTj1;Go>+4J'SjruK`5j>!~Â&ZVAg4=yCOOYINjh\WU_3dç\q^a cG94KL=&GeOh/q8 ͛eCoF8@#8Zgb'{Y?h^J[Vw,J ץ>#Xˇ5хB p\s&51p&muy >3WBq{;d?K!r\>1)zV-N}\"Y?QG.s;ve[ Zř68vB =e^Ϣ/nFoP3Yђ <{Y6ܗ#Ӄ"";/H"sTkj,_ٖTYh=yu.@wEmb8Fu k"g2 eO<5>iB2 (@4!T ;׎'H$@fiGo/35Iu6 0dNƢ LtC<+S6/P5,pB{?z},cn}ou|14rLq{]iz&W֮fMG ͯNxv3UGunjMᒞ}'5ZA>bS鞜 \ȩOr>&֔ȓJJ_*d<& cp4咃b#y*a}L`Hxsݹ:O廷L>nty"/uy: 7q˹ Q) 2* <286SޑSv<"m>J2!d6Gl5Do?']B<|5* )` |$󰋚xk0M@.|<-f@|,Z4z:e> 6z|"H& D*qIkNxEno Be>eqvm"Hzf%L}Ż[b]TfQ>WM4U Hy>C}]~&SFԂ مf21HrKZv;M%2nɲYfUxD уckH Ulg.˩! gz$## 2Ey=l r|9]UJm<}Tg[=©󔿗޵&u!;}X~]KZ} "`U'q!j#bɹ88B!!gd&B3[^qP7L~ cd 5#..6/~t]vW咄w(W(]j1H9`Mj\S}4=GWjMP[lJ4S7?z.5k{n?;9uJ/RHL`kf~yr墂L5+ŠT8]K}+0>Y-uz?0@13ϕbt7`k>` Ɍm/نQi1iQyjDUaYM3V ߛއ,n2xw|T'ZCE؅yX^?x7DxX{` ~ '$6x&W$!)p1ݢeҦ)\)'Of̡XU9/vcf^uI2pm},A3v: iKwl)^| _(Q/c~o/j=EU tSPWA vXB5/! `geVY@;ź.JR $e+>CoM20|3juȍ̬T {+O(z"thMҤ'+weX~up}h*%_6\"nɄo.urOKVWƌ1]-jN1Ԏ$3Zo<.`12'""j M $q _9hڋPaa%^s.+t@6"u0LXC_q\RP9>d]8֭\i+Cɕnv4-VT[է<'rSX71V֥P-@^[A\2הdl>B0{+4IvM$Hj_X`w}oBk#ܭ΅"+V#NkB%rp8‘oRD61j]:u>^ ̔c S  ?s[Ժo}MX:d~;R^ r:P{ĊI, d'#/̷0$Ht{]nwД-HWr`ġ8 `W5O8y˥IlyA˼> ۆĉޕQdw}ŧKl9id;3J ;-n+7ѲG.,z]~s2O#5{7\04pJVӄq,phEY@ߖۙfZc5'5K,Sː@m`Wjw0GJ.a`vv:Ug!Pi>@P~ӟ1gqHl݅T68xuSu7 as_,P'E5zHܜ^I- IkP/pGd-sਣ5*wtmQW mP.51<]3KNBxʽAJ+Y5aS6Ghnߩpm5wp!.>lA}:lLZɥ6SI4S ܰwY6MUJ#=({`U6u\nn}H{iIJ TAtgP?= {s̓nPsR(:F#y9@n`MձoU+㟀bLk,?ťez2lY-D]jėG'zbp?i>zRjebN}kHH}8ڒo9L!ix7k+Ŝ=Y:ӂFz`pDeOA:XCtr 5_Ǻ r(ewr"-nee'HCfQ147 1X<Uo^qG/ίVI^a>Ҝc8] x/p|;@(Z,nO{(||"0:꛲vAhΆ1 G{6IɮΞzX:ҕz&⢪)}W!6;2Z_j_i])7r:pH|\gL`נ&31BoQ}MNw! 8n{dơUEǷ+ti۩ 0âघ4k\Zfu1wN2̾ҩکwArI! ކKC ZMƱ[TNuc(}|S#-rZ KIX.$Hv i>t2Z)f\nR{\^>Qw|цWA=%ЏWh<%8-[6$0Q\_3l<%URY{ݙ1!:ȹ.##C FV1Z11EXV5_b }i[ijg fd0ŷmH6A#u7w;,.;aR2 Bw%g`M1`Ǿp~7X1R=<[`F*Uk7+EVh+(M3@}Ґ*bBѧcߧl1 ZkbJ8l/yuINa>HSh-ZL?dghDu<)w`-mZlc-IF檅 jv%j+ײOΎ@<6 n8qůcowN 4Dg.MR(bTX"[č6ހI] 顿'w گXH[m٣孙ڎ7V z ,L'$m|QKi=~UBj1QPG&]Kh6G>p^%kBE/^b皢T`6S x~Lxn5 @2{%>`A}/c.G.HΆ$ 3MQ u. M;m(c՗CbԖd~&a Q5B4VB׃FNƃrB|8I8^Vbbǃ8&m'#ٞDT#@Vc l? @ѐU`=`i缀Gˉ@m d8 ^6I&LZ':beOWr⭑$_xzkͻB1ZkeE0V)έwEPDQJiKWo@ #ʎF2oyqk۝Z&Tz ,%P( 6pB -UG*4nhH\"r4MO RsM޽U9nxU9󤟙e@tºfgҡpk)9 ^ìȑ2O@{+FaRb}o^ |8N", >/bo gꬡ8*2a>7!O`V[UتY:Pw?/$edc4f/ 䕊L`i{tXf/ ['EwkWA`dzQY%ʮ+,UX&3Z-3uQC*BJع?G7H[Y iHAٯZlr PȈ+6d%^v82߉<d!!~F 62h[B-2u y2 bpqͽe*׮y!g FHIۆ 0p.4 elq=~?oh&k/U})΃:\RK5֪[ /7?vɌjG#FU8:sD2*+:0sa̧oj;7g$-LXzV~_}<ݵbSXXc`pPKNӕB@-q1QM얛HҔ|@V_)%_.ޡڋ ݣ |w})Ѝ_oQR~`4)\RdzՅ?H 7Cn35Ͻ&)Ce"|KXru؋6  9l' RvSحvbMsې! G[9 3f|fe^ƸlO9ot@XSJNLYs9i>a4$AM rw0ë ,ex Xi0mKvp 4PeA ,rF#†g)L2!ԞDˣ@.oDl(fuO+҇%67X ~|C[lۃpo>x=xX緬e,֥㥡ŘيTFҞܱ>/46r[;"o2TOg2mZ8}c؟('d[Q5R_:P>_p*Xk಴c< gv#', Y_{s>.oʿ<@gH[YTs̒)njW-Py#@-XY\.@%l4 }:?MMZeJ:JDeҶIYgq'i*0$?Z5r̡ iAb2GP&6 3F,dn}yd,d3xm?V)R O>yۚ` >D/R'$eM<1_ pa˩J:N˛o!A̒}xF`Ǭ=:ZP!; (Rߞ߹";)hDr涯~xtlVJDVR!koz; Š$쪷_؜xeʳlћyaܜ7kNt"Lz= +/IgYZ ;+# TZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͖fx9.BRlS=:/Y(t}+m"4FM\#w<Ԓ^Ânv Z߯eꝈZ=T?sլόlC8\KԎV_)"%V>-tqUdE!}{o?*jCR'G=Π$@+ڠ"}cQ/r dNOfqn?ӄ%} C`,0i^lYSW$(r #0 +^Lۮ#S._mz 2ņ`R2RVip8wmGTUAJ4 &T^!ֵ'eu{;ʚà~E̗@ann6 N!*j;_Z%_&癨4g򵺕df#??)8}95,MD $'L.7ћ|6 ]-<ɪ)xOG( Űcp~yDTqrW6@?ub΃]Ƨ=E`k1 ԤBb;MXzbi5ccxf \D~  )WpQv45jdiv5\+%zu &;Fzߵ*a @:!*t۟@JEg]ell8I!ϿhM)P`TÊPb!.?V@ :#:mFUӋ;y?Q *fTcIKZa,lpø'0";#YCGt1]V=j!rizCucQ)mGdxBrF`UB«9CԪ!Uolh7NvS YX-0[Byob 6~v4Pp^Z^"C A`\0Mi"2RR=Tؿ@^|O9zΚz.APkkO Ls߹&*ɥ"7ypHby%q3\qR!˳}FgSs'xR`UŃo+%z]~;q$ ;62Je\&?ooP\tYA1CZRʭ`9^ R=VӎSpmo&v}.V)L /X.j\5Jw\d""CФ-!KGO܉E .!˦nc@Qz9՟; JJd?qU +&9+Coy]|Gr'Klnqz'ɧO#g0~!Οh>*9:j,KL@ɓ2$+YtA{~qsSR4QҸ2>zʸ*wRA&F8!|p]} !uaf?LhO4h9u*%\t]I;KD${>IBN 'V`@sBK.p۪ +ǹ-. 3kR%:~#eEE!D:ۦl =,9Y܋3;G4CK/ڈ :ũn,33Izg'r7^H94LӁZBX $9#7_C ؔxh׆őU/vUDz8&hBeXLuJ9(FO%gN3nؿs+02@yOҺSl9wy0$IKpg )!Z9ݝUJD+= ͧED4ID~nZK#AmlWYw*QYʄy~~EZ6pKl&#pi!KQ3]}+9wJ.:^vn#_qY-gtU!^lBAB)!>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[:|&[zIl047,bBc X~?x |p=d{IQjnyfy?-Af{&TUdp9HHsx++dS.GB+Ir8(3/au5Ϋ0'_9ZZq (f*b 5FF 3unE̓-NK(U5i/9UN9klfnu{d\l-0T:Aߓ:$kg[h $Ic!'I;,!j GTdUA#EcGydȕ؄!Le۔[Zp!QhN^dUi!' "֌[+ݤ w`(vur^BʥkJ12]%k/VViR"R&Fڰ>{Bn1R#QG#rߎ»GY )+qi(r?8?y͓ψZq]]V=ҟ89+G-=vMlvʒlFh*Îh(z Gghn#$ΔE+)ODBmtx^sP~40t*B 4z -W4LE^V`aۗ'>؍ nO J单n9Q孑F=UNgƭ"WD<^9S aG&~𲙤 .]]PT咟DZgYZV? 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;22RE zZ|L>KuM}'M1'TS&%l0, xkSGpMSpt@ a NQTq}osyfc~prNDݓv owY ?M|t_%\u"w,SQ=9q-OBո~'Õ .tB-E*#AR2E~*9?OoTOCh⤅L}'XEΓdUJ e@i(1vL{L'YM X@O>7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! H]·Iq n[:|&[zT}SeP?y! ca7O !EM£=GD%t,٬[,8ۘ~V} !!%{"3Q"]F;d (pU!%- 6a?ﭺu$7YXR:d~CHbTV, S+FJΕM2_d;{.Œ])EOipfwoO#>b!;JVӼ:e[ͦ.Mgfω;6SV1m+HVnyݔoؓ&\`]{ЗEְT" MǥՈIaI*9N^c\Z :44@3SnJv^3!2K~F@:ʖU&|)3ڱgYZA"se>}1TlQ ,Fl.I$xRjBdx(-|VpP@x?:>ҊSH5'` Z[1 ^-JࢨL:j#yF\=R4:R|7-)疛p[hӣ fF<`=`j7OEI݂\:DĽOj@#+*}h_R}m1 R Fq}]sn/+2`*|yPHzJK'Ф]arä)bۇWǿt\Dy̹h0v̊@h_aЗL5IydM)ݾwY!q7mmjAl4@gӪ=xh)Q|d2GBp==n]TF-X|ta9\KE碿ujnVdv:! 1dLAZIqMB@-B/&%ϿYh' gZFf[LYM:Ѱ+ |Vx}߼EZ\p`)f D(Do*_Va/vP$/lRX3ppOm񆳘GgcбPo;J%G`4 쇛n}E)L(TX9᡽#]Y̠5(P(- BSC ͖ϓѵc(+ɸ))ehn%'KNMNw*>03ycBK%Fkh_t R.Hαsn漜:[ )FiXKq>L,tNeyȉ,KK|P1;'Wgi򗓑)OaA;wdPF;͢bH>%4ZPU!’NoT[;F*Æ.靮xW/SQ)C/w[}͟{b&EAv'j{Wdu["?bm@[+sMjo-i6Ajjex͙;:jmd>K)WQuQ`'0j80+JDYhb朏/?PUʏɒ- \{Ҟ+_h _-ϩD:'ʸYΰXdzG7k'2XmWt3qvZejY>IT|WQ^9mIhd$.6)k(zǢ|8]2M̿r%X_p uVM9@_"ص1PXg_/c!e˻or7dz-#{ǐWK٨- .SH㽨!`&f>'a ["CF[qm:B}//}XMyw znEW;ʇܾTYTy<4 lˆ˸}^Ii@f`Ű NVu?dΕen@Pj7ׄ[|/`@fAlbŚ;Z_ŽW)ƖAg^.%ʽ([umD%Ffj&5l xpVEU(Wg{(@hJ PtTj"RQuF. !>|tk$ط[j̝fȀuDՁ4MYt|r+dɽ}hײD;8wqzs͢Q= f/^c4SjGr/1*s5h8C@衟vO.br.S6$jPQxۛPUR͗@Qy7NP.=⩖gT_wNPwb5絚>\+ =םϼר6k9u(?Ճ(Zh:9ޖڪ2SD~leSx|AOkqNs݋(ԇxMpnh qC84/wgq#϶E))xIs_d_ -7#.K6 W(&"ݾ-a6/H5l.jUn5澜|pwخߎD;<;E^\AS ϱjpDqwsR8=0NnN,#ɰҪx:0W Ң{?]Wt٬ub^:ڐkBrՋ_E[MÎbm%,Ԓjx̚sARJlKm( 'Dq8p2$Np,4?Vb`('aM땃@ 1j AG$?Gr8< Mhu34 uaYJz.p,VV&d{IZ.1ҳ$97wVPw.m͚l_.}笄DxMgX/w?2d񧞢`el(['WBt=OpͩCBݨ.ղ ڑDC:fZNj~gLy> (5= FD6azm_"Ь7i\O͵CLCAO=v.7;݆3~ukrd!?*iyRpWՋ$h8S&w??c Q/n3TQ8blip4;VܹQ,L qƥ 96~U,옚ϻ[)*`gMۉw<ΠHf)$OeHvl[mAUN'}@n:225Kp0^clQ~.Brk4  t r9F'rht@/NCRmj%iܫ^M GT5uI¶1LryJ/e.KΞz꽘^*F?!+aU0\Ιty!b~(ԿMkxxSܺ$>m)JJ<@6b4W1vCHn,[gG[ӽbVtbP|-=HL+JxCkť݋2e&M\#)5沄ۦ;N`ʇ)pFc>:)o&g6kq+HUצq\,g%4F^MEB0Lٝmemu2ihVɶ&,n_&b 7j8%*Qp&:MҢ|_Ses+Hcpb+ʼnX6xd:jGvlQg)$9CS<1REF>ۖEX KV'CzR/rGT=id3G]iTnIykܮcKjw]zzLƪ mWQ"i{μ.48`=2L4Je=hGe"Mv9}IeTX7# P,F35%YtReJxik.iE)ioOk>*K(zb“9[,[~-w̲D_Ay,יߪ8%;b/TW0p]0=aRBukg38vrGX7NhwO On]B)i rTF<ʱ%շ.?;Ѝm=6) ߲mh' d)I,1.DƁcm3JY`6Q{0D!yuDN$7/k+OytF$ʺuhY4FuRW S>1ދo`Aƒ&g4&AE6XXuuzPv-Ɋ'XXBr3ܙe_ 'lpWeir{,D/uhX8[tƼi:_{<2?c[$ n{})wƘ4\4sFS ȟcJyKHi/<7 t3iaMovfLATj.5k"6 B ՃqbucQqS %oA_ k)k&Ӈ:\@i3 #uqT-IkU*{X;pA}?G,3o]l'v - 'P#`7CB7@T{_J\qI}h?ŧ[L뗫AVE[6%7ߴn JCo_+g;^á<8ͧ;uֹݫ܆BgOzycLY8$(H7Ģ CtyGnc=S +E%5{j'+hިho^@_/}pt7_֒Z=틜Wg\4hDpkJycJ vs+q%jWTqzmՆsl?16L3ožEn6#)kNWZv0|0a3"qpb;kdoˢB挘@*䒀+e"c7,Sbo+,f%-,΢@^g 3ʰһmsl8(&2 8[!6oc%u=S*OAY:FòFrf,8 aDhCupMAL`yl! huUWؑMƱzCZ]j~{B@G(i$r@cC !cˇhz 1Mӝ"kWf^R`wu`RqaZF>wivBhw5n$ѯkH0āM%gyҕXzMDJ)Q'jB-ciI1VP;,c: HF/B qj2•$NÙ}MC" gAdEM@*PyӜ/Vg]Wt& ;J]%(jm=$)Tt\ w0sD߮]E}$p 7>럟ws;7Tj$q $LLvbS0 \LC6}jZڤ wwTNdw*d620> ̞Ưat;#0CׁoIH1@.KzJF8Y"FVڑ!NJxWDFN8[fhkhŒ8]0L%RnU1)! 27u~|­[`p^ܮuQ=ۮ%9#w'fik٭ q`UD f߀0;=A!SWiwO=$[tv,x+;鲕 C!Ix#o "jtF {jHA~/5I}P-Su+"X 8; ޏig%T+cfYoOWy&a{hQ\v{PhN  /‰TOCA !: z3B(E/ssz5:\ ߹#Mfh$yfRuqy*jZviyL#%Qw,=<]DR \@CmBM *=q痿)dtEnh\78`Nl K|+A>U͉AEz kJ3l3mQ!F  os(ӕ(/ςp+"x:( y=7JCɬYagYZCw#Ht 9t9z.Pkrv%n<' fח%Yf>O`d?ٹ:(^V:oFd 8YSi{Q}VkBĈkwyh/bЛ{Ah*ʃـ\c|Tej uʡ^uG"׉v9f|#:H,$> HK5[A}0&nr4 +4z:}NJ@w\KG ‘Y!eENHaf춒mL{jW'3aNt hNfUyZ?>ڻj~|~u'h˿7 /+ Q^9VcZ3-^:@;~B3!p5 . YoYn>SCw< a-W^oNh-%xވ232x5[=q|`&8|;2|eAzۅfqgN"cH د3o)<30{Tc_#hR#8x {0Jndyޤ]*NxCXQly0"WHHB}]n&0cNjQ NjUEP0W;+d$eQ^:[,Lh&_5LJmkЃqӯ˼d2df.Mtq4hFCaJ6`DmpKXk}Kk#h-Modf*7oU{+|{5̴\:dr"=8,)"j5ק$y̐$ۈѓU/R%z*'2!AAFR99xԯ\gEwЋ6`oN1}:ռee8`Si%Z%eӥ $rT {b 3HY~^2ߨ#p%j?nS/%{_&t4>8}y??E.oD+YI W_lђ {2v0BhFi-z8H0vv^ӽZx`0J%] NpnG&-ѼFv,5'&D꒤G? ]:3]{_#7_RKnBE"V[ RV/q\}h%'w~d!<]#5& q=5r~?SD'.2y 7^ Vvg5z(I\^BZuF:\Í'QMPStBe׻mC#R1mGF Sa>v[N$'QվㄧA)h3; KPE?c 1 S9%㪣fL]=]O|*@EUpd]wK<t`6hHgd3qUb=v=?qAYF:ntLn 6N*JGuf6KN^Wszm$"'fQ6D\ӗ<Pxarf)&|BuR9@[T(ծDE*> %_d묈y:[v,jz  Ooes{Wf>xJAhF(1y?;h ,`Ч#zf>;c! ~7 q۶P)oQ PNs=E9b&O 6;3|F㨲>n|.8\oK o MxrSI=$_r7_tSl(W9gnSCfK8qnXU,}-@Ғ ,Yz%c GB@|c.DOOyB䠩wƱh>1gʢs8Yki\n7>doo\t!8BKZ3D*HMf]]Mxgu<6_c4+i tua$@{x.(I,M'_!%3TKH`v|p 'EC0 ;LlVyJcdzs~ݍ❐!!q!+bA h 0DvmQ@2 0*`|,?]e7={ECʂF/3M3A{?g-{SJ{5u}5pqNǵZs/SïvQVUH jXZ2v>Yx[rSj3,,nԮ(:(w`%o;ۑFjaW~nEzY~0&DL =g?h'rX2; tiX(f=+:6H(؂ʿM/ C#aYf$~cPs`g "Z\Wmnr`J>oP& FbLP|/ rhQF!(DQ 2zW}gQ(]~7jnu_@vDp~'cKmzpQ'~n;W-Hm)2!&ޔ7I՚eRb*8WNݧ6 xu} m)6/[L#%)'>7vF#gҌq*߾ԓ,>zIQih+z@OUm%':לvkNW1CB$) D~zj:K|ޒ`j_`hX0sI06+ޟ8a=FY[ :М猈BZ2jULj-ƦOHlFu <&˧wmpD(q$^i썵F @ѿZ5)`q23\k Pf}7^bm:LPP J'2 $x @3Vcrx UiHoP>i9S^d רD"eBȲ\@mѰ5(dClL IT;Mb-5HN@ vep&k9$9:?fygHc6[$ qEʂ!C:dždCAF%X|ǡrCGQ̰<S֭Xsv`"CoyĬ yZ~HgJ.jGsВpK(F$%4/,mGtX$кQ`L@z7M_ ȞU]CDh|T}0 '"@lAIfn[7U%hQ sϋ^"V}![OGl%f8H@OV^pAOL%؍*am|$H^Ѻ ,u' \[O_+ѫ$I=| &d_ZsR0 ^^۸UynŷR^i]n8l2 Nd)45{xwɺ6.!M%| 'єlmiXhkCpMֆyo؀=C<5ln!~TxxZZȮ`, `0 *Ƚ.ˡVwa/.3:p,*O*(~+vCTjoS6N^.oAaE5@ ~҂1WZa1;E PjCF]ޖw fm@- ArSSBSuܲ݋Vi>esq\; f6ZuAKMۀOɋBj&hMN6Ư..,қz4T C㢨 )fv6kXCª2O^MuC|KR K T̩FN >SjȄCM=]ګ .Bռ?Go/>|i5:, :~R,Q:ӣ_5M$ďluK@CηA: 27^/J\1ewx3nH*(-NyJ8:hLQXJ-^݁˯N-əX+V~ 5nwcJ!jr:[Hiՠ*^߼2f$7@'9=rs /4 n pаq~ayy(!UW:qoC!QD;<"&{mrh[o4OݮK :AO(h-ԧA]>0̾3ЇitxmlD~dVVGfr3}o("F@1:{YW7\ CI`*Grg0)XASz0e9E gˏ032b;S&B=+1D.2'-%ǜ7ofaH[+܃3EΞZY0ɇ S:1ۛ —.hA3n_zO1 H@ž&#Њy‘ENϱ_jy݀d~9OX@PA {^&$/>TWYԪreTZ,0f#6J$׉Ek c"W+Y1XRnGX+B:?$}W,~K?$ I1#;3]fiGK|N[ǧUiqv$*PM>2(;VKw^zaQ)h}ы2\9ء`I@(Cy%/Sʧhng|Tjog*N<@7Į0бE(r{q~e4f:g e$Pnȋ -ے$ v&O]5G#e|恗3of篬QKcd2Y}JZZ z. ͆c@ ??Dpm퀣MPctĆݬ;g,8k~p cХsX ]p|>L?6eq 4:HHoN:;0x+s'ﬖpj=!M2;30')K܁&w-L"GW_`vDFd[a8tH?v#IryHqN.;|?/?ʕR E0qD*BQsBQu5Wj3ΡJoN2r)M,>q N-ZZZf(=3]E+˨dDy)1úD^_Eexd$ϐVGM#9^TZ D?96\qa r5@DI5tQҳ?;#J-a"'R)桷BD; Ť:- -V˭dS(+B=I.w$;^_M7:f>)rn-8+q [@ovQ*Nfr.mmý|/Ohy@F>Dn(+x\EĂxdv\S i+ <" E?9Ʃ4H%gO VW}}$V.>ru7hܞ;.[dx&I.6kzfCafى@i; ֟U[SgCyN%lFUcZNfQEݢ ]h4|lT}?VzLWo7̼f̤dx"m° a]aʨWä/J^́:( cUPlQDr9qph[Aou 9z:]ŁtYXo>TPH q* <X`d)MdsuaD'|4IY:~Mbk.2Ewo-炤sICFt!BtS6dgDY#O.G;Zk8^ן:sfv^>ꎬНVQaҼ{~~B3`dVEw-u2S˘*&@BeK CqI5K?"})(椆\2mJ6P[!l<"(M::2qݸa*&5z3ZPKh\>w o 0*-K\y !j+JZZUhkt63!p:iP-uXgo:]~zY@x**kZ*bj.+Ѩ^_;3ksA΄טL[݆4)n!c%3& :F>=y?϶6Rt'e';jk] j 5sd46Y ѱ.n#N)Rws%tn]1uiipz? \TlDZq+hc%7[V)o!h NϝbI=&/g6Mn27wY('PȬ_"UǠ RW[\-10NZZbs{$c˖?}q k@0O!t@BGk1wiHabb!z<о'@S`jIJ.w) k3Uʅv2ygbirL t{;xSq((J$6eJWegYZaH'# |ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  v]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Ηq? Tk 9 k)Y4WEOԯYN^?kȥ]:"lXObxD8fDР|;/+BsӠ|0ljz{g)alX7<ؤ+꯮CcKo,nCdB}?bAzX }|3}f $3OG$d٨) &EqW`nLerAIu)Dx躼9׆ %!)O}`郋TH T Px+gПK,\wR y=4rGZ?I%! ;gG8`]#g-ob;Iy(vo3 R*'r$ɪ bE-2,;> C,t*tI9Ӡ=Q٫g kdljr0ˡt%.n;IHƓ ^v-&;(J =2="[|jt7w`Z].'NNXPnKz;FX29[Bj2 #dG["W-٢gwǀv^G[ĞMjD$JӹbxD5{w 0]IJZ`ʳ#X\Zf|?朧Hi##4}vN[VkRk"\ӧ *n'Ӷr'_C\QUe[Ȅ.4RCQ|mz&5}U?cyc-XNY$h=Z)fX-IhVVm -=dQ6 ͖K_ vFe`RH ;^KW4jFѰ7 QZR Mexins–c?iQTa\~"@lMP, 8?f/wa"B_ώjtYmz¹J|~k2׺6|h0E-Q^,pK+8/}DZ׮R jГYU"@;[g0:7U/txD4 GƬj&6FDA#HccQƢC- wՌgrSԘ>k5k5ƴO7x,T_y/4rKiм81mk?{h閽c/K':R^o a];F;p)(ߔ!18$ȩo$ֿjajgJwV_E4J&}s5?@39_-o_HX|2n@R?}?C5E[iruRw5x9Eԍ#PBF{1(^XUbpb5cB/ r鶴/ rwyV* =jn5TM<W 3o9͑7Kޡ ~|UN9d+2' ! 4u r%8Kͽϐ'avvCl^vOkm쟢 @[\TGV\Ah8\$@0]y-6 vzBDJ/Z@3])zG:FU2pp[ҿϰۦ1Ѣ.m7* [6ҕR6A@&b} eB< S,nûА >s#$JlBE& =7<^͹NRY|4Iė`;HDlqȷ~M0 oBI`W)h {1D=`K0X{eg o Jo;Ml jЛeعs߁,Tx^}oo5c>_S{ӻ-TLIl%pӋ8jYM}vPtk{ X+R<~wz\l]_"׷ڦSg?Lb9j+jǚqO F% 2X=5OS0HNCݺ,aR>KU atљ2(;%wQGE\s'kc TkZ+Ck0쾦%XM7,etgzllRW|ٰ.Pu̻Z*:j1D2媊*j8;/T3E2@ F$l[Qf89՗ (x@0Z^aQ-_YO[?gsQkYP-|jҵYIn+/z^@[$[ylpRςh|,&eA>N~F28bEcLHЊVurzDՔKN/NL @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CM.o}_m~,J/U8<|:dZF}q(i`ϕ^!j؃~#r:- ;>3ʌP,*uX9T bؾ * \EPtx5A@X17J{<ڞ{vMX&L[1pV:@mO:ԒNb}?b&}V|j|{yW5޲ [uuG-o<8 pHѫrJgW'%(pz4E,Orp]4nyp~Vt&*8|tLkUD>(}J@!4SM[tN If%~SȀ۬C2`iyB5m54:OnA%sCJ;q`hY5=E`uIg ՜7ͻJAE1.2xeamOfƙ{OȡC8H}y+̤%)PdO`bݐa!&R,K$"qoJ! 8 ) 唲\ekSX̅qHw=YA,̀6ij&. JZbSP1hGh]<]C3M}!ܺы&Z[}sT5\Kvy z CƗX,u {7[ `.!^_?:G{e-_\*QcC.6J!/" u?\ R]zDVSFE$[w uOz@U,/EȌ"o椫Эb<ʱw2_$-.: +\nBy%Xe]'qIff|[̩~)ȑWY_>Г(4$#yCv=, TF6J">z~Wb\@='wB˻#˛^3{-WiKhiZWwtU۠b "̉ S+w y)^^|Kk/;|:S! -eKxfVG$S`6Cz'2ȹ6//rPT}(WjK߳%_ǂw-Vz aQ?ֿj"/=pfe3pUҨnF -wvsݫhZ%5RR tDPE;A 0e>Mf\ l lj9a(cy&L}X+[rl^{3SfK& qQzC-O;ܘ-bϭ<_IJq%thu6Y6f}ڋ滛1e^,}'JЈ]$Ca:^ao]( F;+I!ǹJ5 @S~8/U3S]t^U}lq^l@^R(/udN>anȱ{%@.iWK9 ΝI3Ӌ1TfB5#$V/x!]qu(/is&͜RL҄tBrʾ)m閟4Q&QF$XT"1O}gVwwED$Q*qx!x-WGPnf`7M|swZŝ]h/0Ԁ=0g =!DAH2/0uWgMK4ߩfܰÞI`J K.VAt}̽-{'E-FJw^$#`֪Y-8iβx0-͝٫VRq!NE:jt6_\Z 4sHw42G['h̩)M]qU֥U ]9gK<"u|0øi jrF69)m“SygOgԚA0VoشBI/`m\1LS;/ͬHHK+r)cP㟭WqC $e4JFj[a|7h'MQ+U \Z᳒>i{pSKYt?NԛD Sg̓i'.l(ǣS!PrEók ݑ;e|d>}:͎1#!D^p}ņ_:m7rOɱdNfV܁‹1T/*d9_P-={ s{&̓ aF]`pYmZ8@QC*8t jyq{×PgI)Ʉ"ڶ|ZZ );bA$LBsq΅(kq$Kxp*1 ౭áRyd͖ZNo BC&sA݋t¸-XU+FL7`xb^Q%AYv ߆cl9B~;46CiϰXDHcw_ƮJ`Y5=͢,o[8Hfȋ#0$7$>5hI8g?ǑbQ˺FO•.(n!0)1%ޮ{] -A{!N6X YjzlU$Pl)2(yvv9kN40beZL o$tgNb V%}Tg0 %;i u y,ƤvK9(ڝT- t8KH ^\/Qwa();,Up]_L#ỶC Sa蛋ҡS?ǫ́Hp^٫uA>飑zt2&ttps@AYn-[D̉@wmuB.v@ 4x_TC1x7D*VZy_шBq8w [hu>(֠qW=ᒜǒ<8^^xС 6NzHwy}#GnV+ޱgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  8 rS9be6 VWK/ 23ipJkPeJ\ O\lXZԁq&G; v*