SQLite format 3@ E.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 IrtL ]/]ZF-Induct:threads=6elapsed=3.502cpu=12.872gc=0.7967zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0Њ~JQ ;][eju)Kn!٥DPBh@c}euMǃ߫QsGoMH>ʦzuo fe;%ѭDBi)Ri4O)YWfA9$ѮKp EgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5tU.q3^&Jk5Z;8vG54I5eK \5y`&)tA\A$*5k #P-޳lZi䮭ֺ(䣍~72W@9kJtI҅z[ u,db#Aۈ),[Rn9"$Ay:PGԵ;<=0QT4@9UA`i?s:ʣ -x^Y`Gڶ%gYZ7zXZִF! ]ŗXi%RрM/s] CVQfrbFu#3FH`bѽ}ez.lkX5Y24t]0ɬ麬YٖnNtvFIfrUθ"=TF#>z|nINL+Pjq aPKؼL2ixud!@Zu A%I1h+*|A!.lմ@JpI R֝"38n4 -Á3 X =YGw)U4xa.x(Y+) E*,я7g@] r?v'[B07d^ Tr߆gDMYykqѷF=\;u\C &'x.05/_xϝ SoB%U+&^D'YW9#4[?᛺5.3?g ZfvK)Amگ!,|{wǶ 8 -]fW8h5pi iLuGUcy)N%_Wn' ب.Ƚ4 -(yUC6bAah7=f>jd{l+]07-CqbM5ZAQS3ZUzTtiJbY>FQ2?;Ç,;yv';67eÞPAB+4dqʻ9:yEa\ ~ght$9.PiF0% H/4 ZF~.E%SO 4oq7XR_ئ݆* 9+/4ͼu)C#.7?gYZbdcec89d0409698b8e2e7ffa6f5d44b40042b58ce6d6fb0bf43d2a1b0c6a5a3670d17677a7f6c45a 94aaf9e3706db2687dfdd7a898d113bd88243f284db18cd9c7471a25b2cdd860ea4bb64773300fea   ZF-InductoE~ytoh)/ |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 P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"DLCGBC@B??=><;8:531/0+/*-&,*       O* ` b /@cWq _3S*  /  x O % vM#  9 a}O + u J4!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_id617ZF-InductZF-Induct.Multisetdocument/Multiset.tex4/5ZF-InductZF-Induct.PropLogdocument/PropLog.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.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.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.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$ Q;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZ~z:7WE獅 aA:U h޴O_>j p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!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 P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6jf"ȃCGv3㏳p|ӰTn|5M(/VT@rÕ_˙QzHT So th 0##iPvGҷd}J   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 x )/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZ/5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ  +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 F F~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'FLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,C?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZVFtNh+ HZ 2%;*}6?Yԭ͘#l.ԛT͗շbX\m5i_$O%ŲqQRPD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ 1t1A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110A 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z N)# TZF-InductZF-Induct.RmapPIDE/markup7zXZִF! @ ] !M젗OFOJZgׅi]5ӤTρ36Sۍ ZC} L DX3Mza*Q(&>m6Vu=6s>&qGC K=@b8ШڤM{ O+Z>C 3a l/%67`ˑ_[rحBn4LC6Yn n1\L\tm<¿{y8& L[)|޵ nVBBY}Z&yD\A$*~b~]xz"DaZ@5бl(PMYGeX/<WTrsb1hul^=7 h-!AzӂvT@adHON 7dvX 2a@N]#I;W C3dea."묗+ u3*V)p!6뿕Q xp w $2bU1=όFO.ɤ\W| / 21.|Am:k<1|fkuي;xFLN:QtS5v$:ŋ"Z%lG(\c~8]z)۵mn7t.ctѐLƠԯ80F8SMdH_&NMzm? <¨8iGн>Z1.6 [xc^^W'Y|Y 8h׮ \JuJԭFEΒm݀U,’3y(a2xgTWӪ45Hx!۽##@xdLQ8|ץgfwnkʌSOqL`AJzCxZn\ׇRY޹ ' |Z ̀*]&I`F7IS [1鶷hJCu"o(H](}%}4HmgK@^TM#geO3~'l:1jŸvӠK=aX ;Ub:L' /W9!٩ L=*&]&@_4o8Զb#t_uS׎$`9 J':zMFvyL!Ǯ``>^zRQdʟ2 CaBoB&;`bQgpDshГ2z2}ù :~D+s)dS૕^̬F)|Ep8I8XJ⚇nQDc</D~)fg>n rdkl*Ws-^e澠plQ>Mp .۔;ܗ1JҪEnУ6fcQŲjjWoqwu2̑Ml+ؼ;pBH@cKvc(4FIBA=>g9w_¶T^\QMK]>p*Le%(LxW=T68駟T3X\s*C|*ޘi;c<,嚊R ($kK/j/##&? i}?5h97.T}ʀ硋[|‡L7gM +"`O7CSǷR!nu]]Q?}u$,]vG'ʹ/Obո *\K\i'TI4U6ʹaMuzO)㶢]0 a(݆߂Ewշm>ղՍx>]/p|=< `ߤAjLtL.N#r>.gY㾅-̆CEV-nG$psJlvg :3ލS8>PT@W!GŲs;ƞ" b7k[m?O8nwJ2 CZt+(lsF'8D?yE \uW{11H B凘dͨ-#MҎS$ϕd GGNd~M[ZIG֎Dr l|h9&Fe>My F_/CӝCrc4X,yZ rӴ o3"N1^@ x^0QDLwFˀȩ1/R{hW+ )J~uK!B/ VE=V?fyXGpNUi\` 7N5nreVO#ZX>tS.!qA22x{8;-Őe#;=OR_q5hU+@'^J81Xӯ5uQM ώgU t*3Z]Xv:}1W*!X&cɻRT#@Bo-дW?(p#$ sK`){jW0ui]$ =GgDeS)_ t0e![7 CkPT[X_*5O{+񽮣Qp ow &7[D`tN_Gh$ 6VjW1wF&j q vzd7 .fƠP^ߪR6Xk9߂_$P.!X=_xġa>[yJ:.0e"FO(FVv@Ϲz A ?q"R-RYrHC-LQk= [QcRBAxGR?hA_˺4%{tM>sx~}q+a+ĒQFgYZ  b bG/!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}5* b7mS3[lF:YpyUˏ%xĠM- ÃZ;8ljSZtQ724TEJ }_ :)3äpSq ߡ^y JO"s AMg a++8)N<Ўx7cʲVHRVm_$+y\gC rCFN[ϫkK[cIǗX5(y@cUкGUY|0mheg6E%sWPD#Mȫ$hc\iށԤ7ji4{3rYlФ1Ntl~Jb`;τ^{c`^l}܈m!;pнx9ckϝ0sle6b Q_ ]O:fHY6K[ OG\vu ˏJ}ٺX4eAŪ>/Mt:omT-PPq@#$6gYZ~_ڙ ?C>륷<)8E;$9pcYlC> v"I"˨H FgE6T$Bs$_.b%y=1 p%) #\:ڻ1'+Ư9q Mj/ؕ(XYU].wf$+{YE[)[q7Q NT3\9T.C#cÉx:kI1[ftTzk@dJz{h)Im~,z7Y*r~9/܊q *n!ҔS50ݬnj/sݸ%zS~x64U6OCsla_HSm -;WtïƉXl 1Ϲf(Hw+>.:cN(t/\`ԎhZp!K״ј\|YF=<$y!h+Cqrل Fg@0[NQdRRTNHҮ0lKmr XV/ 3l& 4-fK Q~)ɑs;dkr8ވfs@),[F(\+И҃@+Gvw]v>tjk}da(|dmJN^~e_=-V9KB|/-W{L3#UZsc Wp֡{~:ߡ؜dds^?v.lZfP`z4*+\86 ?Ic~B*/a띷*Xx X%4avhD`HKփ07n')ƒ>|)׻N8FؽFɬ¥Q%`Yyv@i6%Egإ|}p닊FQp/L@ U$yɢ}%ζFsԆ07q&+V9n޷!82I@Bߟ35ߨV|+MQNX&f_h0|G =i嶳[N#*˗u. 'G=V1Љ|ĺ`)I| hÞN(}Ww;E2]O'ۯtvfc3pIև9~:/}ᆵ,qZ8}ܮosE?ne}Ɠ3au6]6jH!; 2֒+r ;"hp>) D=f0Zt5Jvj^69糒I lAy6Uh9Ayrda(zIH}!8*M%Pd G,`$|}~O޹J T0=@'\7yJ,)DG@''Ć  C),?w5{PVn JKn[r.Ca/3tWj1wUݖ*(/U =RX_d+Y:U1@^ijrO8\B,z?ؔ-m UV@V(b࠯,6$/QCZ<;.5AĤLOdPVw(׸?c6(8U̱Xw*o'bծgӎ͠H1s2EwҪ1mlbn钉>q }僒,\[Cϟ}N|ke~ALuwgݥYzys -wJxD>rCEYv3dzr DH bpˇ^u@iql2Sr]G~8IGu5:ԝJL?o @G&U5W0'n 9#M GPÜ8)))NZr2F@83,c/Jl>Wq%U _?dȲ>KVt8d[`/ /x(h ́ s$.%` 16#ySs 3Sg⨫ rkq1&dPwao1l&ު̞kK vlv !{~7Γ&[B+mf`_ks|XcZU\wӀuhvuGT{W i$f,a\à᝘E_HF]bn bN21Z.=Pn[ 1!F}6$JH5{:Roѕ: i2A}73:=Cq䶆$32Q=3iMD&ƬZmej,̠,]Je=Ld$(M,zM VP[VWnBPeQ87~g%SDnI+*ufT!IB7^EsRv ;IBw"X!wJkuweXU|7|s!:PL[#sAD\ /<0u%@/v/gaO5@sGBb/'|fh,JP:qҳߩ>{isN,$W*T U'`"Ư ]^(DnϿ#ZhF//TaB4S%q 9۸ yexGə?w[9w_&3bHjǟ{)τQFz_tB h8GA/[h}Ǯ`{/s~}sƴ [m@OZFl Z+B`Y~?#"%XY, @f4Z- k?<?jʴA1\'?"\3Sl3dE$7zJh[W#u_XʁB ,g#}?EImP8?MlS]z>;2Vl>{s1e^ɺ">2PSC ]׏:X`s&dq2G[~ ?^ &E=3"QYkl:s! 6ysTr!h6ΛNTIiX*xF$u?l<} :dE%xbs^KcWھߩFF&U"B>=!Ub^3l)eoI Od:o֐ OuЙo`S"=?$b x't2@/\i|o~=sԯ![j~: AvLKaBGu_Amt&&Jr d='ܪ)<@Yd`H3,w]GÈRz6ZCMcE@rtfݜ2yư+lM En4 Zj%4;a6p'8"򫴮vA'ۦ/t9SP;-@4lub cj?jbR0P_`Nk2>G#ք?mJ)WB$Du_zp 0CFwThDpDm3,+4a9Fۯr2C)iSW/"ͮ6|^@Pv)@| /L;J83Wތ˲vTE)&W2׽ %4]7z\Xh0NnLЂAҗ \$I\,[LG eg2HxB^i?D 5>ǿR(A].[⮯驀C5;yĭ_Ӌa*}{8\[oHcjz:mSîemKӞ @[$@SvNO\1(4YUE,tKf13yfWMH}^L^801N"ćC[l%-debbMa Q r۸)G;qQT{ŵRŞOPJdh{Ct_kKٮp]^u<:ݕV|2j[4oGNF֯r=B cịN$Gf !mCzd/;DK ZY⻿/t@88A,u@O2NF42bK ߚNq܌u÷fӯ\4I uB Dx Ug(I,U:|NqoKz% zq9C(䲃"wyjG4nᓪqڟo^6 ffw:@Z6O<گژ(oc$5*L >z1Ā ͚N#*~ɀ֒oIn!\7,RHspe\[$`σoI<|PZ]UMiψXϷۅ Dkd_yάomwTb7J 'a6ʌrÈ+GĺQMX*$1WF=+- G|RF>K7!Drϙ,Dџx^z0!*RzNv?C퉢M3IԻqĔfUD(EB3p wT-2f:̑7<։E!EWA/J;@Xnj819 ԑHwb8^'邩r5?wdF_q hlƶIbO!`LRElkU'2{=RZؾ<6ao{q CJ ~y( ֦şotg {5yg%bιȤ;hV-|)<3#9pf7WfGL;= 6HWødSg@OQW5Hr$hY4-7<K8m&]uSu=W<;,j;WW )RI&[aV*D@JMA*:1X߰(K`6{ô5wZ5ļBtN5)Gz_q]4kDMNzO5n)AkKo |Y̾ #iQ ϟ%>Nf%Y뢮ieȊmvNH Z6f^/>5R|/a~0W-R1v3_C#"l4L*myX7&&r%m.V(9^곝êǸ2|71Ъaz?<9yR* %a:ÒAֹSAٓwbB‹K֎06rjr'\F e@,4ߛh^leծss#FDr-w|DEx AXV~fuOV 3-:jɎWT ox(jfv&Uw)c^#j!b2}[ c@n|^g3̧ h$L&_o31\!>|MjזMT]|ҡ&p#+(iG;\"&zG`1aKjKFm }M_m6U5Vvty?\@ k zݧҘyO)`vŁiB.'=QH([XYgYZ > /# ,ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! -] !M젗OFOJZgׅ 6UV A;b즍Y9 bE;:y>(Ns"h^r˜L/6h=yºژfy~E ]] y< 仈~/V^\7sT9|^=/򤉥aͮa BE;4v+xcA,d%"1jaZ|.\U(Si s HyڿuU5-'b"*m& oM\X:&Ctң*7qI\A?aPÉ1ҷ=eJB:~æ=[e`"vU2w5'Y\5 ubOyMpb0b;ϳS.jh&ҐAp~'&kǕ*jO<Q(o`>ʂ"9 Yv(΀ fk vO /^p`0w!&<1MT!ˑ8 /gXPVMV|"u`]0:vn*Q؅qa"ER"%cƓO7[Ѥɇ^(lδV tb́T۠U@)*cH:$6 Y=u %R6ŭ<1ʅ(~2-0΂,WWXYa]YG' $og qHw*$ZLhliGr~VkM\7~OJ"δW"eC96qrޔ3aP;+ m1ڝI,iQ\+-o MUoH63H +0Jh-5r=|M̭v:–cU+<( x YتfmbG~EkU'}Fo׿Kvmkg`sEk4B:KZa{g/m/+2'<OL[Ju3]-aDs,ѯBe=`ׄpphqa+׏a-\D6`3fBO/rCko<_.^fgH}@ mwq "O1ҝW 㐅5qYBXtgN1A0YPo\Ư2wCjtL,G>9@BuN$cqN"gXqHn |ͦE<;vO#*T9Ɔ.$'#Ĩ/y_ ә*t䑭+>߈"ҮJ[ʺ AM IJXx D4'$j 0V(TMeC2 /> IZ`Sk;:l'I:bYw uH*8mQ1*jtdYdfN¯h=啮P(ȃ_ b ?PE⍜3ǰ(B6As^R 5{ r& Qwͤes"~~fxZQ@"W gTkml l;kluF( O[bcu]'{ۈDZÂ敬88t %F~H\3u"d91VwO֧ifg">KIΙWg 9MrAaErE }hrg?*`[{X}psҀjG5"'dYU/?y/F4D9ٓDXMA4ijUZc/H*=3μyȲp+gI{۟Zg=%Ֆl/&rpd%ORǾэ's(R. d+ y9YDOVIW:Ip hb9x2dbLubxGOd7iY`L*궲9M$|NwW@9?jע(܉=&&Ѽ-EH24N0Q1*1U5؏ +[7lTkvafX-"߹v]{p~hY2<ʃ-|>U7ӈ(=a? =P[Ob,t!vs;ă[ecu|M;i'mϭ4G:;ByAsW&]Rd<}y҃H u󆤹cbY/jaS*t·Đl՞%\Tpcu hG}ag[= E4˜'t|B5"{F9{}E`%v[wt&")E^6lzj"[z+hss 8/l@ײqP/3x%'RW~f6'ˏ*@\Fd795֋N| O'4KυHYD{Wc2 *U &)h9\8eIމ-1i$YY蝇'8VduO^.EmLx.WĤ(pH!}zcԙ͚&u|Hs I vpZҞ, >. ? I ? 1# TZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! $] !M젗OFOJZgׅdjw,aa@ߎQ(~*ܡO>cK@*8;1f12Olo{^pvYrSbJ#rO؃E%֞mk4 Iq|[8pG]rT/C jw@2\ u%Q'li˳&3-R3z|^d;saʹD\H:$P~v槉".fbB}%;UO?NulaQ$ZY7avaa#k6.6m'6ʳʹL8kd 9xL7 jH-/HMWw@6Ga5Sةr&sMLD]FJxOӐT\TN##<@ W!*`{q{"!=ȵD q%Ͼ5f܁{ŒEw>fvE+~\ X=C}-Yi^e5pIN,̹gA5_ؚ^%^ fW)Jmq|tTsk@f@g[H1ٌ&΀n¥*+!(髢MxD BzW L=lT7ɓR Z _C5e 9w~&]ZhYgO=LtEWm}igi,7_fZm6 T/:{ʃ WYQS >AM'JSo|FJc \j݄qْ-=7 .ct&j7A^vQU<)32GG~GE qO*Vյ 1/eS$k=MR(ꦄ*-G>OOIs6#ONY i\R6hSZxѷlȃY=x`_2̋lԬQb [DwŲSc0<|Yv1ؔ>?.,.E5}=yR!m:I5`ܹu A^?wb1޲ݞ1fS~z3#EV@GNG$7_M毆Hթ_;PԫiKa ǧrVO${wtk-. jWǸH8vmۓ]ptϟutBknq-4Q‘nC"W'lO"2Y8 و:v]5#i= Iw/Y h4r7!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}D Y3{ cvlC7?D_.I1ldq3kvTA8dh'#eue6`@#뾓xFMc*!o;TfghmBW@^S5Ɩ:ră(~c 2^O_A$[)-F{: \K{Øk\EO"0*׺*"êjv+7?RKAe4  uG9c+Cb%jҪ왨p.˧QԟAd NQ>وr1ڃ SQP6d|z_$誦5E)FZŜ0.z c:*.U,׺#7iM(!kz+tJYLws;tB]O(3S_SȤj@xpEc %0)>ݞGbAr@)"/6eU;."LIW, ڶwHdeEOT9Y ylLs+ziëiinЎ#|PpSUA6K\Dڈ֫e(5s UO,|oš i4Je5i xFVu#&tߕ;> #a˶C,%( 5*gYZ"EYe V [p7P|#g9)doA|'´Fk HOش ^O-)fu,Q}ela#Weł})CWLY12\^CJi{oXR>g[ɛq!'QͱhWӽJ},)eCТ6C#z7[KKurog( _T@۱\MsN3iupjo׃tsT 5[H -ߦdBICԞ|SR%5f.X*cVMT;WEZ]/*A%\gWiLְr'뛇n؏U!Cu0y}_wonEL41| 2d~4bJusقsh89{n2g8 Tv=/ UL^!lZ8׉Rv?6A']8n% .U>JRi5DI8xå9#ե[tHIoCF[1jQصXNW&?9 ЯBke{X;k(s'z+00d^b6DV6L 8ǘiJV L ιe涶P;`=Tdw= / ݚף.S璊_01U+*CJ0Nd!h5oJ[6! N1N{d*f<.qo5笶U '?o@`%HRC9 k&Ig{𽵖N4K j)=>N/] Q4P20^_*G$JWceYit`#E!#8`=B\(=$gn u+22|S՗~,XrY\t<8;)\prXr|Rii{)^ۿrǃV4@8f/#q &\;|C7)]0㘫J\^DoF#?V'_mSHw}.s؇cD"U{˿LA-vr;ۗf2 :b7KU.&E n^uE>Llq;lt=VSϝ1"5@&RRű YT)&#~'V̧ 2'*DP *lxp;uƹU_oFOP&sN%'Ko (&wTUȹ .^($7\ADYq~J'v^b(Wa=Fy l1i/ RAgaHNJbԝ{yL5#b s<х3Lg;F֛%뛝N%/dRyvp=[4Ժ/Vޤ4clyb#bP*[IbB/-B h[{FꝟW{4`Z:`w6*ڔRO[j*Af`PT붹t -֚E)/XrBdӻ^84/ ǻgz3 )ޞtw9[Q '(vվ֐fCyێ''A)=69f磍tz};^a`Rvj-fqsE5k~ " ԺI )wa; *˞KJDWU4!CXZp g*,a:k+#i6hy5m1 M IKBcbZE1VKۜJǔܲw@7 OÔXxݝJD&|`AD* 1T`BU߰<&6:.|6V5yk R&}Ȯ"^zloԠ~: zWK?ݔ~C0 ye; :{4iEa-S п ήdwӆ y4GMYs#' ",aw|zوNrC">geh{ 9Q#Hv`CVDo_d|h ꥝O&X|v &5Kz %F"軞͠NT]>I+Opp#V'/*VzoH˕N5NfzA}]Hm+vEFT7zpo@ a-S=zewpНXZ2+64)27(2?nLʪ3!㎧#+8I=8EB*=]yM9lJ=>x<Ë۽/C8 ._q+~\и19x!o0CJKeފGi/ɦNԠ 2:Py\EV ZL\&< v':GyLĞ!pove ЅTjVr&k̙4z2}6c:=[ˆ3ؗIČ[.u#"LfY=B1ǰdښK`8kWegSN UWaz|3&אQm`m6dUZEXJ^!%" TVe"oWYUJ#NƂD/艿«.mVP|D~hy[ Td b&TN)r8bR bAanӀҍ| btyJȮVE0ϣʪ'`Z ɲc H?nf뀻Vp^7Dn{[!g%H EXG$% oEq10pPc6;>M;Z u! [ЄrW%|3D*^"4kSw~'墪\ wYB 9[A-"#95Hrc>й*f-Vmv<'ռ(i3_V9Q@4!K]{Zt:g .YA5Uu\< E*᱂qsmfm8n9)@a.5bb?`z 9x >FwJkL|2orBUԺ%qا1:p;_Gg#m|W0yOR &z3` sשgBM6t'|Bp!Ql9-GljdYA`3ͬky?~,P&|g 5QORLEl9ߑ@2%RRs4aT7hU\L'z{ŷJpq@#j2Li2&&+( \rb4x Z0TZ6tw Y/98F"DG8dVV. ~ų F=BȀed$]\nf]k`2YcPE| BZ!n|ww3'*tSs_Ub6+:'E^mq4$J" C >jk1)(l.o #X&5Q~ɉ=\6dLQgo r(*OUhy 8D.ن^r0ieԮjԖaI 8H`Yf9\fkƣ;5#ͽ_`3GCytF5?nQS<=䔷EkV1Rk~J k9l|Bq"S~[B/@n&:541M-G, \wUEt*)`&(z?ѣ 2uZ eP­$YDʬ'7Bt:{y[Tq+(߆ǥM`Nų-u{yC?.憅wi&نggӦ:kϚ5:~mil9v;ᷬ¶}Ţ#tGZ!QI }SAlEodkV_w;1wAfJIDuct9ʢXEžI"|+-ܦIG0⫧|2Ҫ3t9Gw%|?ڀUz~!Lk5"1pw; XdH+Ej03 iwG#m8 zuG*ُDY8"Y'] ֐?{$4"S6D3(0#V<;*uXȹH&ڣd!/@zWz aj7v\oΔr"Ծ2e\Z|8}Đ~5y "&zD~<(9d^0i"%}4bbJȕ:w"؄Q)n}n3f&{ӴjeTAp QU@CE'5C1W'n)OLngv=<|At|(~CFm'ue ].l8m6/|hf> $ B~wQLAkS(v$g,/"^pSm&i"jK aی4N_M*z%s\1Mlo{mMb8,D}_KƷOz&G-E1<'>h1'aBZ^깥eM>j>vZ@U{L%%HO3ӽōsCkx+QFZVV/O;= sq5M] +VgBW c_A8xpo|nN|1&/o̫y'm2P9ViNH72NT]!$2b1@f8|wwAf]n(,7`vUckX9sbig">ez0|x)/j/\]^f沲 $Yc?{I [\R̄ &h$(;F7j\5+݁-ɔCɨ~>܉beWEct\uW ;L5al篒?׾Xr6O? % )J.A )҆1yᢩj3̷<70!e/JF49*HxWhE}9dQ_u e AB&f g\>K, |CI1)aݵ/~ %UG[*υʕy0y%9*w }2mH7t '`'6`0T3(KDN*5Nޗ_ZqL3gv~V#IjTtQ<kdcȮ17 0Zn>wJt:/Ba)a,!aJC7'GSͻ/>$?d0E%1׽ ¦Y Khǻ3iZDfV6N+Xʓϓc4,AD|D忘m Կ!8.V/J`F|)1 XfzyArq%t 92>]F}\0.3K%'!ePn ="h zSvS_]uu/) ;uloA<-dV%Ä\NNuM&3-|ř2qS 0лKC|QB( Z8:0-s#I8 솑z-k7f)6&m_2h^]E9ˊP)l8O' `E֧jX9uwH5ZoRbjQ?@ӵb<>9ײжV)Plic`Gcqik$l٣-oI1|U.@@r_NC1K ɠ/~#'G7FRyJSϜ&y`s~K^f HU, EfWu%51i)idžJYuS!!"\ S5Y30*8]M9/CV%B}o!~%Mf_g!S }jף_ީ%H4+&Э7QJl|e~ XCް\*Sq~mq n&oP'q92^q&2R$1ba5,uˎ3~i+ov!a?pר(AЍ)ARݪQbx&f6?@5fӑZ 14y"~&X^(AdR䝫_(5gaqNxR=n\ۏl!(1bY}NÉRǥ3e#PRD5LDC(^72Foe DG4WlPkß<0>= bٯw& i_A=n,P%Q#^G7kӝ^pG &|J;"vi cN8dˠ2w5XsztӔ˘y奛fѝtހ(s}4GIc9M6s1#q K9}'?l|0N7vMΕۊ؄'X϶à%$uFs<.9*TlHբO 1@p=}ATK%ǚ$T;xa9 ~`_RM=,% o֜}ji":mwbOU6W p(RAQ\4a*[yF//qfGJ7=yqaQB\< u{HOxwBߍĞs=߰K-}tUy'1Q-hol"r~^ W<A8Qy>MlIꕑ2|]ϖ7!1gv;N JV~Ipj4ozTeތ6w9l(AyRAvߝH9n ZŽF"VCd|G#Ѳ}'Y\u38umHeϦ $ ź,6o]T7u>-eDjd)VѼi%pNbCʃ;?kNg %4*RX#W^k>lpV[@r/ ۱[ d'*ؕ3B}ѽ5S C;piOe [QC7@Q *q;B?K~]:M`Hg~+>C 0*BGIMƩXr)A|ܧYPqHQ㱱k9 NH.N1U) ^PJ=+(SI8exLĈ\H/m[?5?Y7AWm6Y2y1H44wx;ϙ_; [\ OF{0[luŹq';~-QllDbG{5zo0iNH V!9:~+`A ΏF3\MU "F,DZ@KE#x;n+sfY~`;hiY%9nb )( 5 5k ‹n+jX[LUph,EZ'N߽Ɍiol?jb{ĬYՃoF4ϒcjy':oednU${.7i?wz&M5)-z6ӆ J@7)Զr̒$,o}LMtZ$~}j|th0 DȉsJu B& œSMs,zSi\ a1Ut /K'BB@IbPQ@]6*YFȰCbwr{D/3bʁrU"Re\@xWi"HeNc'EEJvF}H_Ax:|'$Љ}m:Ä |~`#_ /Pj),AhT$Cq}>4wW {& v4h1e)3o-&m5{W쓵>z`7."˜V|E~|mO"&=[m#o Zɶq7*pC[eRA"`r@?奮Ϣ{=cHdTZYyj;Ӌ#х\$8OsSyFeYݍ @M Z%횎?8D/h  6b[I*H Ps$2tӝQY0 s/%>=ɳ|,V)ؔ49u$D]7ƚr`3%Fj\ 0ޫý.^v_ {328dOwέ; &$;O|ʍ!OW15灹,Hu:RC`} LqŊH`1 tdWvK#*ytbX'-l| ^CD,[S-# 5k`X)OSj>볇3,W=-uh3NA;e*~侔\,*0h' RK_-1ܟ>,ħ&p(ّX<4/;~:Wi(B>d٥qHCǡbIiC.7AX>ethg|_Sq"kx^+z'xKoJ 8`rK$p_C$kQw'Aym!fVlTS" L͆~Z~pyEŻ*\i=W ;cZQQEe\b 'Nn(Dl(Ýq.P/&Cob=4 k@Ez̒SdZ cC;+'] \UEyg'd9&B|q j.-_CFЄfNli CG/Rs\ÂТڏM@`K(X,*+_m9A -ԕ5yizK!z_N͟-m̏UP,^DPҰRyg"-j1AU&pKXYz":[njF1e.IݑtH~v Ntvp iПv6V 6 HMF*L HQ RVUc3}w׫xO`aOlCcMѭ@erRƊL0hsxU5rw!bɶ-mCrVJAWBE OUTm&Ee(Y!KY.뇜->;F#AYj `'[HEtCݖ\_!X1=,u = u{?G^GM >wˌ*g m3$Rr@=j*t8to]QlHRn,{YCa01mTr-pyjquଏp|p=^|f8qMnn"B5X[RlItLa)n߉KUlcfW`;ą%9"NvV#ѻ=VA= Bqzhq+GoPPpE[kek䈘-uyt1O.%Cw#@3AOɷ1BL &L8lB9W$qV-+5OK3uv>kq;=rX^1|p0p\ORGZh&u2<RyP^BSjV@]ic3笩Οo ?tT0z4ll߀J3dnw}$MH {lڀ9{<?ोbfZCNdk(ů%8LE]։ i[Qq. o`ޗw^m48cSiul rR2pE 7WWt4.5iEVs. dNޠOOؼKeޏ׫)*ʜQgZ+5{*m.|*W(i@ʧf =ʨ9up뷔X }j6tjL=<pȯXQ(2NE߂  ?_D2VvpHsB\u]9`52p#}JZ߇; W6NR fFM(~y_JM{Rsd%f=VҞ%ߨV \8OgZY;?|t&Q}JnqQhėgEϑ7&(<sS)1oH8f@tIh2^eEF\CXbtqpDZSĔ2j(TDI=5 x4ie8rȶ a-鰰]* kһf$ΠF6N@|Q..MdΉ,N" !"~zDJ*`;e&Y!'e$Q`_Mq.39{r#XwqK»4XI—"*#SwɃ9JE@ѯ#e P-S9y9]C#$z^|[z8lg<qn?2 0$ui¬J_D WJnPf%O/sb$3, OL$m, Hp#}Dž T嶄}w3i :]XP:*cv,]B3Մ8FWf[ y;qiW?o;1x(`yo/)) GHbE&84Xr̓GƑ~IW/C᲏pY7*ԌZ=ң)@At=JݿDG;YUR^Odtgg9hJ*qsz-eiu-Gc͝A4 k*j v2EWȬ `X.Ъ̤D^IwJ[k`ݵj ?IqQ#X,fm!p' z X0ht>Jmqj-gƢ`ʜd5$$7)AC߱ڶ C-F`. U_'q+]xpUɀW*CAzM?7ǂvd+s7C|F^y4|ٹ@WxR[@LGMA\,"3_CR)Wbvp@I.g5e`6C3& V)9Zn(i2ݬ+G/e<#Ž_x'(hs0rpb鶩kP+I]_z}za5 0pj.o^62VFK^=h6 XvG!l]ĕ)m>!Ԟ(J\-N+NiWW~W#fn~ě4|)2#8;"s!kf;4FՔQ.CYS|JmA}^7wB 8MdF"w+%ZaMw̼nU3S!P›~ Ssvϒo.f_b2p>GGUUlotrPiD#Kǖw|еln0e\ڗ]$aj.Bncl6(p-u9R~ZD=[rL$ sa cz`^=ySi<4KeG9kx33P@F4ǵId9te/eqAae+*^3Gup`7Z b>ƻzԬhṾe"5gdNcmLQ zmMΞDMy f3~e8͞v4#>; f!TI[;E 6dvy\}@|$OwsLyg2Ph #=kBu? Y^B:X{CGR (ƾa)#gwu>fy!^IgY~m$=!VzF'- RJBke*/Xg܂ufUe| -<]߭.GJp[XE7s3lTJ}b OhBn)((nMHr5[s bSLg/-uBnw"P_\]O[LA/$k~lXmnbml&K܌ ;ELSE (mfڗʛ86X{|44mdޅ@w%Ff&7$Ͱ\Ԧ}ƀS*})fD:>1#%u;b& 1R̎ ͓f E)ǚ9´pu6SK*O4k7D8ط=G2MK\JD{K,5u&Zjer ݎOU+aHFtX ]U jkɣ=o?\  _pf^Jɷjl@55B;6/$O`V^K\FjK8>{P~3 <5s[b%S7>XDy,-қYMk=GB͏> VR/cIjY\c(_b@(l~Zrן <* .U,\PkvϚgJվNǿ"Uv3=6%yd&c\|gYTf7;QYQ3-EƠø 4@vƣ^QkAG rm16\+"L˻ b fKT0p@ij`@>_(`ɻH`@->5XPK$E^''$fB4,,k4W1[^T ,gSx|L3HͲ-r9B'I⣃Ž;WxY!`iX誘Hgُ!.ܑ@}'AT۫`SLT!oioSÏօ*{7˝Rx;L[}A.`nl Q8G -;:NP1l hhḩڱDUC(|Yt/ /ZC)&bl׭DI\$U"v~K/˪BXP@HRqaDnvt$AU"J *!uZ4P3R;_q+ײh=ή0l Jg&<"1d 5\S'nAHOf)Tzһz}, ݬth Nbʵ#Xi?g?gs l +Ët8޲:RHCT3oO`2o"͗H7 T!*5st3[I<DŽ*)Xc: * p)ZXDx{bnyuk=5V;$͞k J Rxqej3c^#X5|N?*8("࿬Ҁz3aXwps8[QNB!BB@%e"wԹq**iCkd5eR{ΩcC /GXKZ0:K.i#UG_b">'ɇ|1-=Q1@6C* yiT/<]g #ˉxxQ9aN\H҈K[`1ZSz^&"ql Ym3'HAqʷuCًf5CM$Za[جy184;2'E?7~wmz]pS5ٱFdΰp@ϨMaR9-\fCد{Q@צ-B>v$]%8z*q7X[$OL ]5=}Eyg.UH11h]5l}DW`P^892/ kdO?!?[M!\{ݬEdRk8(`1Vc-`JtqR4hij6O /1Ec5X^4I_g\gdM.^\Ku pgBc 73˝8)g`3OHD̥){a؇C:}|QrīΌ5wX̵bGيPV6Ds|w,_ZfELZ$^!zStg ^g,W;ª47gr6ވVUpG A&jD6eڙ-r_.%2=uZ~bڐw \? Щ 0PAR&";eh~VL:]]~Y9 K4 :X36i[M(y~J Yn,؊LԸ@jV[m[i~]@j76sO~ar V(Ӕ"8a?.Y &8*t9|i+b~BߞM*؜uJGXFdzgJF[G7أJ>WaU&'".˚Jm3-ȉ)t!P僸N}@%!K"joK(S8!Gr~EDLݝ p$pTWZk7:ث.}9溮ay_&3w-*f%r]?&:ːU OV?7 8^όNyq @n^wDqW>'{:O irV 4њ, kIdϊ9\*1$d i gMȨ S" yeH* Gk\V0ԍ6wH#5࣪8fKZ_&窡!䣥 c-ORW[s)r:MHuW,"){hmunbv^rTl!@OfNT.B|lD,eNR"C7<[ut !,W4f)oX^=l6V9I3_7cE0*A,x_64*P4(<_$ ڸp t 1Ȁ&׵l[ Tf)u}GS}p䫕+@a%z*NKNI"T(9WOK=xቊfJr5uu3eJ Q"nfqyQ\[X@WHx:)_mi^cRYJ[3$.>P sL/$߹.lbXZx%$0|G9~j]sP&ݐp|:MDzx2މ7uU`Opʾ o,fJC;攷nvc]χp؊,gA<2.r2:$!翽=I(=M7- y}[G8P,K˳~L)/߭f}p֢IT'vGC*Ea+~V< > :ⷶl䶻b/ݎ_b?OJR>iLZ2+t_YOGttG$xܢq7ArA~2|ײn-'VY\#Y 0| l8$ıOמN-8ܕ]#}腡|MެƯ]0 ̳ wGi}Ͻ`X_"ȹ`񠧻[i+XZ26ҩzZNt+>0Ks3}gIY_X ԟ#itmT(Y՘{R(kkcoMBuTDʍL4}'eQT#9GzU=MÉ}U.Oneiץy5s+Xoa61+ X:1}6BT:CAHێ|x$hvxI$.'Q -օi\z|d?VP.~iBkWw9Kqe~TYe_I&c,|[J˜w3ƀovTW}isPM 숣 -[zSA[7)`.YI`8d9D8F.QĴV H_L{K qVp޳ʨ#9IjCW^B'/Vs7~*VJ^jCzUǹЛ1iV }oK4;/ 6c;=^<WN!9D͛LO0 .\`֛k_=;)Z@p6b %;ffEp¡І>֋O?GA(-N&e61k0Vt lh`Pqm鰁/\?5B5J3˯rC= $zFCu'"أ,W<h$h:5 u.# r7"#Xp o)c:6@ E%( L$Iq.a V!\x/Q4{4g-zi[Rc25-1%B;n'k?52V(~lmϬ\ YVڧ`MT6GLQKX,2c[ºSE ߊ$jBw([.Ca4e&=}M~QVjIT7sy5*`hwIn<3)ER@߉3UIiz@%IO0-[C+2vBtU -0 8_~W .̭9Uci0wiH =z6Q#;+m }SNw:"KR^hB.n ^Fr_^f)moڶ-EyVqFNTcHj u y+J0BR|1i\Q}zgƠX KM#Aó{|wsyKzfYZ11FmAǏҼ֏&n{X5 8l\\@N.:[0XSaoj4RXtn=nJPk ! &0hv_r,|B pFwu܌0Qt(@X{ߍ~DAVftK[xޡPWӓOUf68f*O9!) @x˩Zrmw/p_nU9~ef&>kfuֿ&jק5v6."NL ޴a,Ro0x끊URiӮgiţH((enV  u*Q gqQ3zڪ+AQ›ƴ>AE^avl6.s8X(x8xĽ\Hqs HE!0]Vh䇜܅ELqW7<9\nIײSc;+6gY$ʳ v-~ s>luK*tŽ,t^Ls^8H@~rA7"3I,z !<1g3'H^8wW~xa5=+bT=q\ipጊ3$Z>=Ҧ*x5 FnwlBi:҈uÜ(H= @A;d"XA}&~DO?OB"q:9m˲ap/^L# TccU_ @ {뺱!>HH(g׍[,sMѤ`W` |#h8Ve`mZؐ/Aު.!cc0yH?=5C(-2|G^u8BlbWȑ'č,+w&, `1z Kޚ4CE{:Q?Zc` 萷vs6A󥠖L3@(}?4O)V~m/E@3} i[ud([JLowm_&-qҐs! ^R7h.U?`R. WHk?9;LV?5l (a PHMw)Ii#^ʇ ^Ljڋ ఎ!&}]tM*Ȉh54嚂tc"cu~Mb=ph)zL* wd|j92HLPU.,B\=ŝu2ZkL Ed/F$JlQѺ)Ex)Zk{ 7VZn9L9)ʢpHnb)O_*ëI%`lr%1ɨg:@ymyDEfIuPqWɌ+WMf0 xbXE: }*(LM-ypJmc  \rSS8ϼ%P4\O` 2oaYGzBv$|DMVX_NS~QwءB8c(<[~X^ʔT9iSӷ4k|.>XQvLor;uKil Cy:v=ܬ\kq >ߊO'["{t^vLM?EMp]Ņ("I/%[ cXLb]ONO3 Xu5pM<Ɓp "֎gnkrM4/2pGJw% G^GW<Ѓu. n /3}òuf6*3WCU_9lpAO"Ί%3lxc^o*F#j%1qij^_T)Y^$\GXc \';DP=Fg'9ouh'}⟳wsn?:"'و4Fvom?1{ ? ,yrCѣX~a"w:aV΍=e^h-OQ SߝK>mn@$(0hhJF=Ӏyav9;(72q,ޅ?GncF̺w@T Y} ;qT9]U4Boeo#Y' 4|C<w$MXP= ץ=mkj8,DLy:`c 7%9 Whc ][.o_S9HČ@)Иww ѳP?.Pp( fOq'aI$x W%gɫz :`~ꡚ,pU\86T>҇Lt^ԥn ZNȉNa32PzW~%K36G&[<@q AhV9Ed3*7ND莇U5wz-~;A2&qFLB08Ҷ,ѵ2gy‹c>$$(f:lYݾu0Z]c=}#szpdBmOͮMMlm= 5s_HtY@!vHZ-Dkx@a9:'hge]A\zٖAq l..sVhQZpe:wyÏq(rlup᛽"`/5g —5xuy=G4|o.3fT$*$<-/ZoۖxFcBPhj|n{w |Z\GQ ? IuR3K#bǨ?sS.";RkyA\'r̻XZTt8 &pZ'q/cs]@oJYK,T$rN'UXbB,8g?sQчiыnÐut_p{"iWb[j:9MH``%[:e7 +dl.LjLԙC~`% Lͽ*drp!4aD*#|o+yU3]qj]# ήt hHbd0."Կk@ґh$snJ4T&^ LRPsCz'[LAEOy + ]ַH4~D@Q&XNK0ܯ] M 6, Q: lB1X H-Q̻?l֬[$10o ̼8qh0;$UiOw[x1̐*d2{=:DǡEaV[/Ln"x?Q07ҏ15Ε*& ;2(8=&smAnK, D$A%{ g$|DpTۚ2(OQVN5|֧n.;,mPY%9@oHPxSlIM+F$BL6u]6YPy{Iy-0,0 6@fVډA<ma BJ!-^G 2YQ`Cs^%it^tVO}HJWA~(q.7 vKs\(ƴeb:碾TGYv"XDDVK| -0(Wb  r~ǼҲ2תÓډو lrE1T'%O!NOrVDr-.RGuSU:~hO"V ˍQ]G|DjB~*e3dWƴ)GKn KBZ«fjp/ 0[Ln?'@J|=N;Ny=U%R-+ML.C]=ѴQq?hqSM{8(s0@vjuYD|X .eqlV[I 7AT<Uy*'#~Aƛe'߄!2vmXc  QO1d]H'9֗^VJH,kR8%ܶ\(M7nFf-=|u(gtl1eɸlkSmatI &ߛk=gpfE}APtп\}h1b>94CjpMy;0Qf(9A ¬K=0DJlS){)ơcl}s35c@Γ:D $1ۂzȨ]8=P0{sD^ԗ:sB$ r5m| ` JiE_f*c.pi" m gR,TMrې򯑪,jD&rv&U:!`ȄtPX`3*Lkσxsx!o ID{L_l8CduQ}t!]HSڕj` L>uRãz\~p>B ǀ3F˵1tu)!8) REvӀ_ \pۻP] ͪS+b ~ >ԧ^E~2X"?3MBc &/#?teTeJçėkwgylͩ+_$:B-dW$"Ժ:qPyi '<62%[65~G/Eh>2)f&ewe] =W2xv3&5on=Đb!b+`miu:pKcrHUo/+J V`fwFZ-C?HEou^ AppY@P1,1 >aD;6iLg)Jurސb{xoόoOTC ک7?TvXFy};ofnVbU8"kM n1.@ePCA!;Eܤ*G_7 qx mt(j8lb}W^;9ݶ{`!RYV}߂`DoWO+'kE>ʮMasI,Q߸5,؜21o"Y\զEF5qq\8f  cbdNJU !R> nJs!4t*[K/n bF~s0]|KTzmJweh5z&BlR[gRqVMgQN,/-vsq;ZnER '-@XteR;G'0ǼkT?[K:op/E]ZBqE{o~5E="Shޟ\hau&'UWh7c޷n&!t|= gį\q$=#z! 3sMmDuP%ax226?nmRG{g֖jֆWċ#黥ɶhZϹ׼xDAӳX0׃VhZS\ץ y :( p6}DRHLWVL4xUdk%So!:r9S0&}:yi.0l*zT\u~P}$OSDT9gW D|Un $iN(VHZg2^vo BMm1dXu@!XוQi6e&膈.^X H(a D!@{2{< 5m@L:FF5mL15a;UWՐ\V` )'Y<'"qX)^Ev[~,Ex(Mv|w*dL<-Cd 2+ +#،`Srf >wFIeL8=JWD>akP}[g<Q-: 0 U WȞYM˔$j;wJ#5,ЀX#z:׬䛮Q#U%:8B2e/I*K!7&%.@ݟTd0=^#Zl  6Nd4ٰZZX<`}rYꇎrSfς Y'ȷ;šMv =c<m6LIfiUP26"c@N|O>I=e}}@M-S[)'Ex 2k,- [wJ< f#4zǡ+dw]p*IRl9ݟT_VT%Y~S;D"2qq$B/Η^ !ҽW|B*ݤ@ſ˛$Z!^6b1&cOC=ߪo1vN2 PeԘee?|XY 4B :MUFWs5!ZTp90gcw4{@[0j1PQ\D(ab 휴%g61ƛYlonb>,RE9zS|㙿}z EOA'>x gMȟz 5jey8(?,wΫ5zC#nIdsOʹ2ToÛyFHq+xceDwXIML(ɯB֫ mdmϷoQv>@193_LS$/}Y R_9NJ) f,vו\pU׾-)#N\##^ZVU/8{3ˉMt=#ev?=Sl0k3H6L9}yb c HojP^v-Hwss`B| 6m,c/(ތg4Ӗ/,I9W ^h1^XTBkrd&/UP+"(N$e"-=Sv_yyt-W TT ͓XBSoTWm1ng5bp%SЕ!m֓Y7{?\MԈTaH$ .~XeGufbq×D9]ruk"3jjd4ZYRJZ:X̺WUO_p TbT SQ\BbME "S*=k!L?x+Ώ31hDju{l穭35HTkcz}s LnxМMiܕZ6s"ICՓ{OJǰ(Ͼ*A?*y^1T`sDa$"Rqr KH6G ,[^YNVJPC\MFA(馰Pg@Gi`BD54UqII[ڍM n: ;O}$ZCr'- [^n Ca%oݓ5%t`o!:@mG+dҨ^6 鰧tEC;;:<_4` OS3.owZ9+ꎤSjGaZd0̯L뤂ӽlI`A i+ȭA(} RNksn)Ƹ4\| q>Zy\c*4rXPn4@[ Æp[IC)cړKO'{=E(+swmrJք-O$#.g[{++Yŏ㴏<rxѭ[e¬U.RZ]ʙ\@{yLoP:gu+}|#$$)sN+7T3xKxIɐ4xYHحN8^bvm}R 'ҬgI2oi|t^|g$UImBEE7qi_VW`k; [7;}K4tHp= *;lLNCe.Tfx=dKn7Q9٤/?P>K"2Xx+rg+}+ԓL ^l.& A`X ЫvLc`ӵ_d)]{sB(· H/SUy YTv3 μK(HdW^gԐvxdф9<uԏP3嚠CFk'i Xm^P( RVnӑ=BBmJ 9傐#`r@^^V8QTyj[#3q8A_Юl係yޑB\8zAhrCyǁ~eƪM[dJۆ)^&(b]8eS4kCr"֚B74* EibCY%M8,탢%_JL]G_ϰ.-ʒ>fNH))|F+~haeށ5ȳ.P&I,#H2XOJc*X c눳"vG^qэO>뾒deff^ ![{#L"2 *ϢAz7-dpGpκgjB3{kj6c༡`"{Or;{SmLx+{6R4P~k":Ou^e?B2G^h[=+xcG3f0`t2w~ueu]`m=~V'`x2Fuw5Rel4'/+m 俟`Q}b$RCGT"WsQOkA& w 駟ʳq#d_Dec^s@CcFWpcv`ARDZYFY:x8lmPc[$ho2 $y,;?kHK^wLk s䖓$UMr=HNҽ V'-6^1vIƴuD#u(7(<2.wVUȷi@_1mucjG0)cK \bGz3ܮJr&dvKhޱS`\ M$7@n's#! tũzp*5j:=WYKgxFOo: mi7s=Bo'ςlbrkq"t70m%g)-J-vfi!6Q֮Ѯc,\c2@c%Mbc MW&YJs73_bx0gYZ IC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10241' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O C]Άxʆ5.f-9 rq9ζ_N&#gD8B2K%0P)=q,t h@dJ`!6MkIg d,!n[ԽΥNU =uT(wg=+XeV Yi;@CUDW. q.W|36cv4k%1 9T%,(sPZQ;㛯Uca!<`Q>i=ϣIGTC^}YDhrD5(QtIL K/4BdPĔne^mnD/Yt}Q( $GnM$uWF=ɚR4&?dO w#k DseCϿL1C65_U5(^Duo&Y0IE.CK@.ma|0=-b7̺0uCe•+D#J;Hd :g&5a$~(Pݳ(aEjPd[Sa,Y F\aaC`5BO1W f(Wf;S.zYBS@r [ Q˛| Ge(̄ܬ̑EegqgJCdKmQg58Nb_r"۷5?!]013 ǵLA* oqiǡ<--5xȻM:37x.2D\,%TfĔ~(Jy9ف` &^0fDav0? -j:rsl;PaY!]_pb]\?ŧ!# IhHLq.7kjyn" lc#sиe+oZ.+"3Rfr!(]CVQ o[ϧiNaJ(h"%M3ic4 pk#,+ɓ^`R3ҽv ִ:l(rrS/Aa^?+x`:Æ^gՠ%rrqoH kyڐyb)0@eH/ [@. /)i@8Z`|\Smx:V6uyG.Nܗf5[t.6NpwqJ 2l}KH{+&Gjbe8$/YA)X+6pn0sw ΫiiNBlw,gYژSlf=wA']Ys-?(6s0sؓCNgXtˡШ8]ml9GZBј&W0=dꙕ IpHEh2c_2&4#VQo4H!@Maly㌺۴!-*xcI5,/d,4:=E-+_߯9*ծ .2"Mjsv $3y>ͳR<'% 2rAoЄ/ KAO×Xn 8Icgc4 #`Yj9G|P7r=v8 kyН$∇sd\LF3yH Jw捤K?R`ZMuX2I}?u@<5o52NDg`X=%4y3ؤU6(yFyV3;.{0+I4K@:F@ڽa'IFMMAQ̞и0;d^h] 3.t_m:g9C(3r0rK!k T[+UoW/aEV( )տ/_u_q,Pv ܷ\Wg+fEy~K &/*Y+=pce^sj&M3XNʕ 1S?Pmr% Rr@36P;HHPDb#l1=(,H}D.î򩲚[2(E,ZMeOvBP]M71D5/)mƬ<)Bp*0|.U ~Ktm.haFx3EXؕ+<@Ķx$b{i Ċ/A.iӆ]9 cͯ] uNN~u,N֠j<&-NqTD/o+;:M##,KVd0xY-vFhbTb*)W ,< 7 f`^.hffR(D>zޭ,5Qw.n:rxu(&1ڡiDFmD"@= Bg'f=gL8LZfuP"G1T.JЖ91>P{C<bSMi Vy=w)YGJ? ,03@D\ XPt[ՙO1PЙD?kHxlOδPLB ~{_s+Fg kxڄ6S8=!WD/EM0 dGV? Rj*g4DKe6i (B:fRPO^ Lk˱zWZ1cUj kiD.6H"2vNLx́#j-Oue"n8ŋDG @Fbyv N ʋ?D!9G?}Ω(D =΍1:o ~s.qk)3d X=!L&Ψ M5t 1ȤE[xG\c*4NBj0Ӡ3#-~=w0=K!]SGGV;9Ԝt*)TPb?V#oWGLg@$̫CP>YMr[q o^A-\&})GoyZ&Hm ^>O ѭ.bk23 j;=}kS (v77kKnjMcٱ[^&o`ʥʃHT}zJJR{or5'/ՙ'V5 e y8!PۮEBm{HUE9bOc24ɝиDB9Sհ%j7,={VUC⾛G[#`v(<̼n"%nrEP[w2ZdhͿo\p':]5)5Cx{: l;a%Mz̒KL0w=_pګ3˓ay%Crtf/W }W;>S` OkK[Fmdžm s1# W7$A %ٓ=FꃒN~tzh:r!Jbω stk"4;OZg]ΚT邤u&E3o?~|뎏"5ڬk46z9P>& U/XSthEgV],:FhvK4s8+beӼ f[[?6IտZΒ D]6)o|G/pZ˲+r6o$̃M6Mp% 7\}5W`hO藷H1TDLv.sYEk`c ܗЉd׭pZ##+d]t.'bloM @߆,ql ?:4̰V6G@\ΜHm<7F8 >gYZ ZZ+# lZF-InductZF-Induct.MutilPIDE/markup7zXZִF! .] !M젗OFOJZgׅi4^,A@'b×-RK&dŷ 2#ڎ/%#19ьI0*ݵ:Yt|>c![b@Vu_&/A ʙt^p:N/N̝A|)2/ Wy¡=u#jͧxq y݀}%0XQsd묬V'H}|~Dm:AdD$@Oj@@t 6$@!{lKvv-Өnymu?j2%\캝+]یq3}p̵!І)a ƒ n2vLXV@^<^JBdik+;BS*+{}{F7coS @BGyOXM[&rkMR^S+(Q3(y *aLB%/ueurscWz}Uy0`1wc 2-}Gk|[4{PץϲxRKb1i;eT,,BcYnShpC1\_5jT4a,r' .zĥK&6vIs0%]`Ʋ3zfoË!8.7:ڞivo|qErb9x¡h.à<^6{/߇ T6Pճ, :ngיW;WN Tc#E M3Nty=N xKJq,ɑjfde(V\|O߿omyCuA luUHXAqH,5E; ZփVvr&^]Z ,j@/%"ʂ'Η)@V$dDqM׋=hYiZđ#`0. D`,p`^{û;:~Ҋ8q]\J-펿5`$, !"@ WTJJvC:vO@xXa깫iTZ7>Ys o.qHҒK18U2 McgIP6q`:{."L;_I)'55SP5<«-g*3$) ۼ/;~LsIb+oUл4ԏ^gdoPӬE͞g~Vdیi5bg ݷCrr, o lj TZ,r4p;=:@I!?$Y-QJN)²Wd1mBp7(tg9& qp xb"=Y=*16gQ pK;ѴKCߒ9F<͓b X]X̾hѧ0(2I 2p|RLߎSH“ÈAjC덣^1:q2~hwN`+ri,sjۦfv \_JoVp> ,]<w?#Zѹ whV|ȒxSpQ9rT)o܏Ϋүx}_T-Q 9.)6SCɍUSwxޠ&34u(~tЋ<'1tK5/W):/%^~LRmf~XdSo%N޼c0 !-Dkiuʇx$WzUb2xi?ؙaP0d07&;NB%fTF.Ս2NeD/ q0sCs;/̑GjVzt`wZ4DbXgniu|OlZL UkL&=%3n끍g'/1 7FwIP_3gƎ88M%o8<╋Y"?]m!1zv{okS/U_9‰LVKC/ uReݵ 0¥'Tt;5@K *8R8qt"rmfBg m_m.ӜxRDT3Hw0O2j{A=VA5 ͣ}v~8-ڈWD-,@d$Wt0ۭ9Sf$$R@"1nHD*JY(Jzj_c$5gde]PX_K?Rl[Dو7skoֻ mnm CNVh2[KҶ#諀ur,ln O% uyK`EJ3f8G,)$iZ"VayU2,eiڪK1ie@PHq@R:K`&t ~Hrtaݕ[ vA$&XxAxbS58KŎ Wde Shz`1S@%ڕV/e" <y5U_5M@__TqT* )Pq$¸' (kra^$*&sz9b-L("*co)+  d * `K&3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5%3-ZF-InductZF-Induct.DatatypesPIDE/document_id96h$9' tZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׁ-UZ%Xap r`ݢ yX8qLGlY>nH՘}*ۜؑ"(HXa]VE CK45WȟYDŽN>Uu*TaWt SyA9Pxh4f ǨOXw:WS猀7p8yNiAG/@V\ /Cdt=?Oseu`3gYZJ#9# :icEYɷ`ѳ[qmFP:;Kzr 6qnϡSXfZ:?|;`֢NbҨg&&3\dFAjб(,qb?@ƶ8&nS?-$m!o{5 堔ЭFWvU5K{t-:yz`Ϯͦb*g m[RZ 7Qm\a]`1h {&'x ]v 3t#ڻ~7RΕc^C"Y>%\QH8YBd;ԓZ]_6>BHT8fk9m 4`Ӥ=9{oqV/NN[؄u~~W~dӀGspI$!bJ %;"J.LYք."wEzc/nC ?Z"{B|_S]5w.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' dZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &++]·Iq n[:|&[z7 7;M^cDa5Cw0Q|6~pYJ.(l~9:>Z⏕K{aM;UU-ME`J2W-uj=h.L9-ژx;XZ71zxpo^[A~$Q&+ȇ T%yrөcr~StS6D'5+E-uCPz⧃Rx2~/S픱KK"/Vw:9erB^㝕t|谫2Cʅ]|A#1Ƭ䏩>ӏۂi@YqTdy e!0醝V߉aQ?a   %vhe!?=vz<W MF^IG2U`YFÚ=˗-r!ֵ2p⽊:5ʍ]77 2T;%}0 t\yPD^6\cׂ|2Ho`5軡##۔ʘH|5nkٗwq%D"6bid0e *h#2|Tb[e, C?!ISY͉/bxXi($[UQ|t8hGz%mgm m]~eu޹_|bXA;T- sINI33:>^ܶ"럯Ԙ9/fhkOA >t I n3+U'K\F ]Cn*Iա| /j67d10 ZʛUuRW{.|r/K]> a/X"j3%wn(>11f"\4sPkV.m17`F. /Wds_SlCHeӝy{#QYHd];l쮐1nAu-غFe v+z \16 4?{<`9ڶKgЪEa"_nC]v :<߾88ϖ\JH Ķ6[XsȾpT G{}M+n=o"RzF4+ .utX(GrRbxS[̨ˑ~ܙy, ֍"Z_ԁ[[q-:o}GxW1u~GiNLOtz&Ou9Aɖ(8G\Pَ)ѹ5SU\\P/Z5rܶegBHhy}!VOR`xQE'%X3x0R,OyT)a)fӎb\ôk)5.}Jp[KO=56did+zK^Mj:x*mqmF'g3FV| M$ OK9^1;y}@i>t@]M9FMDpnJ +dtko|?8|KC)F|fkb/vww&(Fy&\ҋlˊšYC;_$ B1sJ_hVf>o_tg%CbItt +{fv̓YLB& o `0="Aa!% 㹮XVknjΪ+XbP?PJe2{Jmb2<ˆds)ڟ }O|vzX'ؖyp}Bo*muU~+piM˫He%dvW=oo1 ɐ2OԠ5됒s=D[p.Fcv's GN܌rYbPy2TM ү/*U ! ~0P8 ΅k"nl?܋έbb&?9&1d|F NcgBzpC6!wLAyu?sXm@s8eDv]LAd:s%)Qn] Df`jWw Ź ΍n@Z}0~؋)~geŧ$?%J}ճMM KK#'5ov3c5]Kݺߓc ~W}2(*=/-5y4Gh/ĸE{δࣇKsBqϠ[XTe} gGLiɢ>b2 io <: вbj?A*W66%6qr˖ LW\[-qX,ʢPXZ7bb(X5t3 ;172C8\򸝳taiS':&xCc&fXLLs$WSӄtgYZC'3# 4ZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF! െ T] !M젗OFOJZgׅQotK~0KjͺA#bɾD6:HcQ?RXC|m_aB2Bnb&Ę֦˗A 艉4`zQ,p0f9z$Y?Un@2 K w`DYdk͐!olu 9͒<7f%ֳ$< .8pL{<*R['_P> Gl*鯁ege0cx=fWůx4MR Oi A)]~Z`+*<Ϛ^;'3+V+J 5q8I,G@5Zq#ThɇWETTgKDrO٠ _ "FozCpPF n(PV,>ޭz e2!=y;n?jwn(䞉l咹=,&ch;7 PsLvp,eY`ş@ tk~Dx&h˃+g/̘[OE9EN)\hΛܬ%A]$ZE ݵP1.Q8ѥ>%,) 8U}+?~t12x3!Chyv=`Syȁ֣eu?q./l!4NZ*55J0d9B?BSA987qSu1)| H{>vx^5@phY @2P΍IH8Q WI<{Tˁ 1CV{psD aTF>ҞE?Rɭ^"x?wqe:C}1IXEHWĝ9G3DȜ(|aPklH(#3 ߛҕ[(9W'Ō-O4 Af˨\l"ކtO'fQcLN| dz}E(7/GDd]Q]-SIv笍d)=dAE8H @b23]LJ -w:Ű|r+9G /3]d~3H/L{ ȟ$j~[$Qk}l&]nІP0K&hrsY0Γ`Lb(1"Q6%n]4Zy[0VT،$+Gƽ+ӠH!mR^ ={a1J?>_EƅW8]xN\Ќ&bQ␭5<,|O" C),(~a2n5(/?9$!K1k7[&*n+5xH L?O3j^9:N2R#.&LJ}!%cֲ*JiΗE4V(1jZ< aF^pN'p{HU J]ak2{c *vi,|Z]5IHl+!l8 93`k?M)³V#W8j|,z%v]i͘Os r/!h;\ۍ܃x5X4x=Xsn,Sm1-l_Nhs3SEvX][~Tƕ<.܎ X b[shĹB u|e->dǮλqI-*to2mFu5nYGQ{Ǹ R!=le?IE\fk ^QIv[F?:ةͺ ]bGv{sEmx[OHaղ`E0Ksi5`^,Oh3K)ϹĿP=Wt1uZMe{Ř*6t )!;8|dydJƱvxd7W嬽߄ώUn*? F$vs3=2GR9cny ' օvv_lVR;*;Nޮe o>Bt|w=t'mݪq~BTw~w|hޱgYZ ,,Q+/# TZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! ?c] !M젗OFOJZgׅ`VD: p<#U /X,Kf`\x=-~Ơ!+If 5vwe}4i tXqK\h#uH[ TT4Wg7un!Adbܳ (LM{Ju4-h=;LЪ?xH|#IVGȥ!0"dįQm+S0 9^u9"$C)4 ͬݔܩKOw8,b22)Dx+7O5Bql;v(~vxq]ǥtRf|пs7XO|#Ǣ:z\@ME3m!l%O0vj?4]GհĢHS:&ǓДlu8&"$RێR>bE+ &'n}^"1g\LZ&=v-@on(+^W:b+ u?VlsߛXX9 ^~\yNOC)Y)W̡[h߶xut1gJ_"B&>?}E4~^yD\g'%YO\Vz9LP2v+nY}u;P%poȲez&pJ6HYCuw@ԞUT_h4c PbG)8{wTL<4,F(ct\)g vHGh70G I[RݛQ3B1q9?@}7f=yYXn ?:fŴ[,ý2\0ݙ( ˷4]V2mS1< *Skv7r}{4FE2$an8ۊzvO2l뇁r^7kdԒϜv47l#cL Zo|Zhu59sG`{14XaAc(r:a!+pW+i@D+!T5&|=[52UζIHVZfK3Ov +!FeӻC\P +]x:cW=kssmBI%pqÝAԌ%Xe#ҡf0+M3%s%X#DD+:<Ck'+ɿ8 yV2z0 Q 7k~٪P*Xm޴0 ulѴ!m; %L%9]QI^Y>)-J"rC my#K@G(>D#a9 n~_ZT]f /_a@IUKtXoC'9RՓj X{AĦY5& a[ܴ-Ru`-Bt ~IgcmU}BE$A(OAz3`tPk"皲9i;gl0b1\絇Q;(h3bWLD%oR`t%˧.@ׂCyIKc i'g aSEa/7l#}#;]c@^|0/PɀIgН[#JЯ(tKKr;@1m_y w߭6g*9'W:7FˏtB @e̟];\w ΞHO,(jVb^';w4uLs n>2&bjͪL^9=Il3>=1-ڑ;=;&Y+Eִ6 -7^l$>y"sX9{,$_t"AY%CJZ{`_kq,* k9rC`wï38:ašr;d{;HO"ޥ{/A64r&y8bo梦 EP1QyEx*$;mI6Rfs}VK&CimwhGVwwokQ#M@^k=6QUSW@N[.]Sۊ~5r'P۷mĸoi*n]V]4gN_s>t^aFS G4.)lcŐ{{@Сja (j,w6.$/0d'q-ce'S⩹<*Wt͌>xJ\|Y$o~`w,5Ƀ#9n7%8F5,vsܟ*Iu K/,ξYݱgYZ B 2/ /# ZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! k;] !M젗OFOJZgׅ–A=֑g:aʓJ:KO@`F+f;ׁ$O>NiH7 a*ۛPh-B ۩tѧݍr,|[xOS0@= kdeDžR:16FyqTjK?3LI/dDY3atI <fb :M(r@;)Gm,vEmpTlW޵1FɂFc7ltDp;A%$TŠ'+AZRqԙX~t''mF.L Rڟ/.ӹu0}Pe ,&o1ǽMkB932!\]aQdSP3[b%ՙ)B(ȇ`E 5f#\3 kbRTdL,[{ND̢2GJeͧx h"6o$[( y|J_[bd-;掕0~X#Ó>09{21kL&gPSg;0B=7tMd'0!R7yv Avy!RݐLUuD Z%&#ࣵk\)<*BJu9`o@6g Y54 !zt?\SH`&41eL4#de 7w rA+%E*);*̥dE9?cݤʠR !9|"./D#S`u6 ؁X:%|!U>d.㝩3+ʍ'Upc$-0 7isf-ر43^{rH3j[AXt1ds^ wo<͝;RϤL 0w]CƲ;ТHȂ'-&^2ifi75Lgw57Iaaq\D#~1>8d;;Z}{HY*9-;>DᲧ C{oߥƹ_lO띐y#TldKtkcY߲؞<)%%p'>9gtk RV6zSc$Jb x8~v҄̂S5_yX~֋C;N ^/z KP3+^ F E|iRoTsDKxgm->v4LP.k|ê`Zr{87W O Qs+bK }ŏ\g"})]ZGю|!"#ݎџǹ@M˧%ۭw@TVf@:-{*6JJs [R &HeHȟD eaf&L%/YP_M5.Oz)W Qj.っhsBk![(-R%,Hc?vZHxab+s6|Vv~Z^ݝN9 7ioM>x6PwXFjPQ9\5 [2-aw\7'S ǛozKߌٕDUgKs7,eщǁrQ5s"%%#vpQ:ƾZ hCX1%V{dagj =&m im|_~"><l|ٿ@/z1*]z۬kl%G㪇3'8ؠ!NN$dWmh[|e*%^:ؼ ğ-TJ*v99"&K%s;&oE&c [6M;T@btpW_"r's.Tvdy?086ptŴG蹓t|+MIZH淸D@ݒdM"q:cV8y^s <\N&V|' %}Hp8P<LS&'&ܬ\.E*2Ϛj/Y[?-@GTm+oES|3y})AOwL$2CbjB̲+r;~j|XNZce'S#Z.A1dkX[k1C+T6[ƠZifDΙSJQ}ќr-9C1gуDzUr=d,mw%" zY='vql(`ck/D'Y 5bDb!O-R@0[VɂnLyGjrx\UOZ_鑃Z_/p6upA7z<24ܙ>IV0Ðݣm/aEQD=Qq:f?)Y\萾m)>38/kb-ڏ1Kɑm6qo!UQ2lp"ǙF+:9e[^O4EJ~&Ve>;gF'\t!Vq=eX MUϧ_WI\=Z '`bH" v]%=.o_4z)'?EH??s~t@:^Ó#SDipZe >~8Wn,샷o$)-t>TSv?'jȯ&wc_㏊DȜl2CKR(ךe DJ: g+f]Fqy##dvv\GCt݂r}_h 2>^ NUE,?Q>(?bhG=úzYD*`_Fy<;3S)`B/8ŖPE 饵+e޶9<{AC$]¤1p= =v"ee{. m/y ޼7#WZm0#bc?Ch`Ysw%,({ DB Y -GwIK7>ڶQwc&=e56/J8O2ݒExtջxcU&"(p\XPJnMKY$dMHh|Wը'95SV0YcOٳv}Yf5ǯ|{Ў~9bek`^Q(1 n9W;twdA0Aw:.$b k/Ͼۚt !D}t<=Xݼ! n8=nI3\VOu&I>0pOMNF6BGr%J?Kv\Mmj`da:*WI%:plZsӉF 6 i2aArGpׯAXpGBR+qB+5˂12 O Ov˰Gڒ} S}m-Xn K vS``wࣈdU& ] Uo(]*.'OYopD~I}tIdq P?`"Y蘲tܕc̈YR,Y:ṻ{Iqt5;Gad< lv#~\1\ v=㻻R {wMo(aYάUOzp&~RU9[C5yrj˒]px62i8b@܊5XsjZ:o@2lw.B6^ I)Z(>YgX4I+U~8D ˀ2-6|t!P4fPrYZ|#rd%tǙ&oXbh#,\i ,xkR|Fj2#,ȜwT  6^FK$JDQxHr8vfsWv׫^d@~65D 7@$ & x凋LroqɛgˍϲYQwIYȊ@xL9>8qX~+4>|4x| l)jaԪDS@Ajf#8&L$)CMnOZp2ٻ|7aPyQ۔u X3X l {_i*ٛi xgW6]vޛ:9BmU$B`p3-{C~)'Qtέ&ДN6MCBK#13@SP(7/(rLzo&IYNJ +hY*a3:[/>$9 `~I+Jxwx:Ws4kF,Fd$,E[`tk&<7#6- |! nhϬǛ3oE3nBhQoY, dȝF „dV x lɯSG9#X=D Bح GJ(G_w\z'Џ<~-q*4t8Q)@מ29iWM=wzU5;p']~;_AB ?" :iNyu ҝ|D T+A*aSp*wg4't ˸*6n]ŎTӄA;~b[ԉ؟ϊiADTAlYn{K5 H]:GfYD:# ILZ9lpxBCYB]AM %ZBMTtQRJ4d)ՕhƳOmW1CCok2PP1̩5;*Y*[8#\%*( mk\*޷ɱw{j()ȏ`ȣEnx$े`ByT5}k#+\vP,рo1}0DŅǔI>ea=IM2y@Ywx Lv${O[7p>kLDK>^*wPv >mv$hC`_EjݓI3K(R&xTBZ 4Ì?;_ö6EV=]Iү>{L>o'ZCHbgHsio;`t>}6sANGc)\֨ .#p3V|W VެyYingȉkQ?2*J(4Nh=y=`E`oܴ<6s>5.G=5* )FIgP)l+@0+ M-RD+(*Th~ n:ubq-J`X04 urxhD|1&WsWfL6d/uBEm{].y\s9>RXčwO-24 iƾx"LܸB58?Z pZO 6{:XJNtG."v\pXyՀS?9e$L{QK[Á= ҧ[# H5׆oHkXFr2I3!ZV͸2;!E..,tS~ ע&*Җ0ȞRn:zj9מlR? L*^_o|Q:DD5]ؘ0X9owNk8Ai4Rx7q`҆2c/ۭ"{]Dl'L7<栶Г]0ySeٲi6kt\^E` J.vź"TdzxS<ǣjd,{Kha7x''岉&J+;*Ze1Hf8c'icW;}.iڶ<7'?l`Q `yg?:_"p$wRlN+Ng JSs$5=lI OG [a.EpQ0IΩ 0;&ՂFCrxqomZTgYցPpvwPzmMYT*xУ J .7"~ Gx^mW"%IwF0ZCA(1X_ܮ h 5#̾d yf,b,[Ŝ:Mxˀ5k`Ōnʑԝ8Me,1VjSL>fUO : "bn v7RFJ>}87,w#},R%\vgJ2 $ř!DZ݊`tV,,^>eO{RyD$Dں`k0z<*TcZ 8FkaF<l= V%y$b#Q5:ǠiϪb࣐eiC-׌x`|Y+}L&sOJ[} Ԓ|DLPcɥKQ+ O^ yP`.RГuDFU?VZ\8?d^bKV׵cˆ0ׄъS/Xþ8\s*OAs#d\㺨S]F~:밲Bϳ{q j??"H#\_shN3ئDFr9Wzi]>:)\#7vIvK't~s]l$n.MP T7H<g'+|辀nGB=o=.XX9SxLb>T,v7 ^O$7p(IqeV!7}xmy4%oTۺ0PO؍_K",W46Y)y7h]T"nw//y@vBE}GO3Fi:q11uEvm2\|6pL!qپhqJ 6Ÿ'dhj-֡G~(.g]_z/jxơޓdKT#xrx(]F5] 8qE ".{W/jnQhr.G,JP1i锂v2-!f;[sڴ}G+y-z[]kXTe5",Ì&rGAJqt\a3qZɴrzęyuIz$ ܫjY{ˉNc&/xn{Y]r!_pnj~B;TR"<dFsxKB%-JsH7ٴ&A, ږIlӵh$+'Q O iX?qfs:QNUdJ9Hyj*P!]4VSv,T\Q0F4B\tF .Ju/PNB !MϢbZ+ 2vLd?緌5nǷq HxǴlYBʽK'D)Lظ1vB9]UnX v$$47*C9_,,aN,@xs{$)J<^ԭI*gq{F"0]<4*HhZ" ڽ4RPTTT-u2cӥ~JdּvN[V|a4ێȏ>K|@_VCa>5956Q-hIU@!V:@꠷+C^+*yJL=Ëuc qD1M%9rZ AC \"'ϰTF7gJ ^nA(SCVp1a"sW֓}͒^ `}B|KÁ?)E ?)<`ΏN\w%bp_|0Q0W)BUDmlҞUrkTwFV@R3:YDGI|fD$ \./ gR7*l:/T I]=.s%%h05\.yסɈ% p=eE}p,[ܸ\XRg!' au¸\udCc9 K҈PNF':Y=Y~*$WŻO=q%])h\ &\p *)n)W,LjT!ҿ'CsJlh7~dco@GЀ;q69I1|W&iH9}wAkd@\ܭʇP_&MQ*RSk8.IC :>M*9A@kXŘy&ؼ&Ө? ]ㆮbEwÂbz 5I ~)6.\w\]ud[`@sWD$uJ OT:#傆5Ҷ/1 wdBD'z؀|@+!Y@~]/~S~XcizSMB9۟~֝}҃TM{e53y]7192]6P1څjIXE1ȂkIv/w[ꠋX]&nG3 Rn#CFjmIX >ESc[ed*ws(g )ǞM)p@#;l (mZNZ(B,'c!s;3"K v1]8 E"ȼhgB@-PE;KG&&>*gչ M㧙;wc*"NTmҩP;q7͚A^U6 d{-@:}LYCQ@gէ;w+e|pb iCcsO(ӺHӬ0H,BY!<8i/sDLplrVSkra$L1g6-~2YxQxx=_a?s1<]Mxϡz6/x6_eg+AeAa s9C} O ~ɥMQ^Tw(P6gYZ R & RF3 /# tOn`E7ه\,}a5i :K UcDꌺ"lVמ`Jx d")^RϤ~}( NtvCs[w;! AD\gݷєH ^"dvI( qd@'Y}ҸEbgRQS[LBda*% C>YqEigCE%s q&qlMEv$,$kP[ 2*j| >#[A)%`!fvtf2xlPb :zddsORՅ[Em !Hq5]`}s~aqiX -;g0tz]]wjY0XfY(ߐfC7c<9 Kpt iC7yQb~~olU1dag(Hzٴ4OPb 2c/=!Qfd%RI@v{#pxiēJqOUpZba9o Q]@bF{F(Fr{28ReaP[n ]zz7Oz[of');ȡx׃x#LpSDn9H]-%/CHy{_Rox$u$~??vM2{fnnzSOj5,NwxvGo ^ naX?MUs<5YH@؏*CC nP8j]ddjhO")|z#~e)yزrp0^8dAwО`Nnb#Z8aǀ{RiXn1 gd kR?io!x 7wiu~2UavN'_KN(ܭwxNl:io^3?8#L%LcG!5mh70baiYeP(7*?rŶ/M6G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108W0/' \ZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nh]·Iq n[:|&[z״F-ӛ$P!eCc}ڎC".v.XUwNs(u@U=2]x-J"\-PɒЄ$?8R~bDpeZJ#6k@=.t8t1N|v%k̄1"1:U˕ϒz)E#-rqhT#%q\JkuExIqUPu}КWvf|\[~`2p#ڕdTVLTA#zinx Y6~,g_mvFh'C~:dFsM}F̩0bu/nf=Tu6Dg\&Gz1n2r~}o%-aI`׍fSO{広4Q}Ӻ\s(#4xUMqƔ$dSE_XYlN;̰D+u4.6.:@^/镊Ft'Ԑ yD֐M OXlj)Zdъ,YsR>ͅlLR kɨąǿ=PNۭM(kBrt+dɭfw60]CʹѾ MN[t.9 j,wSWmn,|تQ^Qg̎XM֐yB\lޯ蚡H$gƾR7'Q>smp$m^dcB0N *"7,ոM1vA'yQcR 46}GN:nݟ rpD)7Yδ ,0:%@tn(Fe['MBDf]VR/dQ\q/aRѥPfzcq)ZI?^UaKr`eKՃem[Mp!`i`5 e-2FWz_]gr %8@&mG꯬$ 8fCb͟u A#'@bD /aFbE Thm_gvz2u}ݔ!s~sSY&|Ç'åژ&`vF&`VB[)?眛 j+(%'ƾo亂,V˺A8p6W[nي4>H0+•." ?0$>%OP-!^q|tI~Y_G%e#Q5,MYU| ٜ8&XńAľ4~VqSO)qܘy(!|mF_ ף(gYZ7ƖǬH;`4_ oѮAgi@p;XO%BQxdBR{d9WMkME_ {| 'Q]ސn.~B ( 00߄$ꊅow]pǩ >>ߖt@l;3ͅʫ!f?]!.\C/eG|5 &|w~-)ɰbdv#@Խb+CIRpH1$ذmRVTtMs˯wb!^%hmFfQ#gc A .WmNF[S^RӕM-Td@$Of5#C_r+>};]pf=}ȍ: bHGq%L}~EQ=ŋsP-<JFGԁA_g22nx=iOtvɬlK4r}=̨ޠf%5&֖.ЍtGC=,Faa1vdwMO*_gB#(qY" _m,4fKh[M[fb,h [{"zhӘD22 NJV}ddQ١ eA$]tým:Cu<5d'JnO0eYZ&0`Y7m`RQ2(x_mX\}sُ$DO#[S_(J!y/eM"\P?ކّK֡IemXxYy8$@s UJbf?0euV*@zb }<0WDGs kV6._PYK[Ӟc^k'ohX{JT׻ۇ#;̺ɚ]h_SyoT96&3C2TJkz\z5@/kE@G*~24 %K6@\߮ u&M 1DB"eSu7}PM#~LP,41Pm7Fv-Rš TZ۟otCٶ@K73EiRt6XbD`Џ~:xl~J|3 kSlCͰ|KÁcSjgхr7#\<3)jxJW Fa#\2 R= DZpEA#%Ao[$x2}iİ?jœ9P~MRtz F."[G|+i !5hO!|bSVeE>Npꢁ0N cc58me3iqj?"iF= ~h -Ɠ\N-țpY W׽P ^9 =`$|U$YNJ4"@]zq d'[,' +./f?u?>3\@R~NF-y'R\8Ԉ KI Dj hԜ%e]& ^rgU@Jd Xd':ӄc[4 t*r1tx:پ\y43*_.=77nhõ%-9D!'4lkR͍y'D<8N-3'[ zZ)w¶gJX_n363pWnjiU-8bP-ΈAe)^ׄƋ^=c$2_)~ֽ>mȒH`+ .*[x3 \P%ý"3`#Dl u!@k ZՠN4,mӛ`J2$,̖RRq0xC/pgqz-3&J F{zeq8Zis a)%Hr#UbZ2)ShGY4R^ag"fq7eBw-<y_lJBh>b 2-ZXmAVV%kЍ A?k,]= A"<ܺ{Y|}fLב[M)*Iu &#+-p>6Ȏ e6ZPsBߎ+6"ϯ@\H,@uC8ȑxS”|$xNj1'ߊuVZfתEsnein&j;u "Ic|"[剓o@аI &1qDp5:/34A MG)e-d3#BH6.Dl(y!Lbٷ Av~7sK<6GFU wp9"[.-Ջ?4Ѽn&trTs_Z! ."`tot!xYe4 1RpOxUPw4o$a34 ͮ?GOf*xU*O|ӆfZ22b%Z_m5w&^[W]@?9_iA=3z8PIBU|JɁl鲢l6bDl(18l=,+H]3y__n_`[9 󰉏'MN&"} Y,4_ +;ߺ8=-& e3sΒ}aPYCf hK.+m Mpfݦ;WQ~d8_8i [0\K#ouu({}h_!~j2eu)ZC{b0""* !F3,IAj;K3zZ *GiLh-餽,,F]u$~kZr_~BQMC7H{?묱[O(N je{s<%{}F.>ĆdB!$5p;k%qBy’1j҉fԡANYx,5p$-.l9Jr0Zr6Ob]9 QSJ;9zLsڄ0#VClY=A$7#5Mjwb!$V\,ɺJ^-vD3V!.p\'y N)>iZ?ykf%"2`FGOmlՓWDֺ;r^~bU5s jfcL~M8h"ҜEe[(UoBh4L,O?ETHر$U^t# MQdre_\.bv1 H@"(ev(͎=*! |pv'-gA/o\O # t5y牡׎,wL:ͯO@vGP-< }rUzmtJV VU<9V~,"YecR?⥘ףE}yn4단diklA5S0gThϽ] ~,z#-ݟ0s\~Ѱfw(ڢf//P4~nJ鱠@vم |6߄ꓵ^A1OMpb lX2P} ӡ~3`ȿ'5'\;M2Eu4[ CZ}Ed+(f%?|:EhA0= )ⱄ~/f8d?q`/& $XC%JnY-`M|nćXX0}|+O[TZZ1+G8`wFЀւ;zsPc+Vl[3MLjZ<]j#b\!i7'S堊 ;bCoω}ktSc:K8ƄhhP0Jh\jCz/АX q[)!MEr,l^Vi:0K3oʙyEЙd `_RL[2荮zQ.8L"e_\o2!B3<4T ]cKI>25/!w\0BYESGq$O̐I$O7G"RF[Q=Y]^5,E12`~rS l5W٬@n;?! .6hU\+4E-٧+PGؤ:\۰9=F"a FIr@eS9Ϸ<"*&\!x53)T)>}I4 3tXx i|h XED JU*acǺ{Um!*IJy'1F栲Xъ#24윽6oǿ0*gp?3ڠ@Z*ڨGjh9PQV~Пil @]$Nm Ṛ"9P;ztVDJ)rhɒ ({1J[Q[^ÎaVJ١TU}iȶZso` \c.>YRLn(PnM$qJ[ Ѵ峄5HHΊUR@SC"vi8_'n5n\'aZc݊^tGxQtO;g d?^|[ w2S}UB ,gtT[<)wg @t* N [. [k? P"!l%K Q6z[CfTʧ _$k˃6UFyqH r >~9"hÁy>^kE$ I}#To_rT=3*P^<ɞڭķ .n~7DCQӣOi+E' |mna5%B.93Oj! ӭvB2j-j kAh+jLICΊg-5eI!L̐d,WRm]E`}KIʋo?Ǖ9ޕ('kma!WWEp?wA@ Qv2&4i[4S~׫Ck.[ rk$&6IY+"҉GZ烹ڗY jp1dbVsʈn#hɑϲ,@PzTE{=/IgXo$ܯ&\7b Y.Cf,ɬͮz{ (U4o#xX ss$ #8&q\)wyj`KN:w4/3iu9%#BgWF "yZldoۉ q+,}PW ֭7vQo$*Nuνa 6O3~˱:6AeZ<7L~wMSB@y'r|{a] X0JaznkRZvp ,{(/(/>vN*q4w"!!Z1")t?P$u8̡Lh Ct'g~=)p 6Jh$|o8UQ>6`n"$\_L:OLP2ZTLqJ3#nmYmƀeAay;]5f`24599ktzC0"Ӓ.2qqb?wЈ~Y]%*xMfSgYZ b Z ' NbC:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104p8)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}_wfYPJь̽ofX6DK_/#dQ Ie}En:aUc^<0b[lj[h ƿ>ؐZb@MPF45w|_@m6B=N&'.ܪ-] IH"E8vm+j9?+/X^V VKRl>W47>M O(gYZ7 )# DZF-InductZF-Induct.TermPIDE/markup7zXZִF! &] !M젗OFOJZgׅ[w[>eSjm /9Mퟘt$m;[1 H8UrgV\j@{t/ X@~Qdލ'ْ,ڿQj#S&1i#[C |@D @Lxe?Wc=E#e cHHI_|ZwNw&}u*|CZ[b]HxCX]_fWgOdP=nnb1+Jjg؉Kz/(M|/bū/)E&4pU6*[Y#j9f~ӏl ,_5*q׫uQ!w.g}*WMGBf";z:,(Fhc NOKO8-ߊN }<=e$D; UWf]r#ZfrFT| ^ fbX%P OS;'hL!.>k ـtXdȩX.yL({DzWCHek.k-:LNp7?CE;) ` 뼉8^G5=snA`cnӓ.'L,VQ6ĈMT,MO|;`igS7咔 OU 9BO?;px@L~w*Hro;VH 鹢҂%Y^{&b*o sF8Pk\k ?,ll ~zng>F9{iU)Bʱ<S0NC{\_g?Wfxb&/S=49A6)!>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|%W馱I^(iaez(?8|Swj]~{[Nh5dfsh+s3ǰ&Ywt|DC}>;IHtه^`7fcxQgd?{^lA)J\^y]DAM!Rڟ *Z" wqS؞ԣwb_X?[SoN/Pap}i]0m>,|>@Vo$ԖԘsR`Zh6(Ӧ!JqJR#\fx~m#9X?p4D|T%%dg% Qb D)Rv-K9#͞vP߫EҹAƃ6֛Κwˬq`NCmi&`>H" 7\d,؛T1`ys3kn5͝d ;ZWn65]w5{螋iP:Pb}amiNM`!dls֎iXn['jcxr&<>+׌bo?3#ΰ.A rZ3c WGdj7{W%Ztx\G*.J?7hS"H)iAATXwOGg0_HOF0'A &bW:ڝ,"DgYZ: lHFx[  `G3iڌ߭8cCr&t$Hؒc+G*Wga9DX(uJ0^Gg3ǚ֒ǞjOv[q==ej>T Q}53+ B&.;?*|O/ ED< ҊՉRH[rx, ->@y-FcR[ X5RW,ւFGœ2݀:npV okiXq털8|,{%Иj|4 oVZ?9desahgXǓ=IbEwA н]22[qf# C' &b t%d`]&E~:{BS>!KmʭAa8|Gf׋zU<=OѾF:CF|i$uF5pܼqT6Sw ٚ#S4q/{O 3~C#Y-+Z%.x " Ma;͋spsp_hZ\gUj ԮPf+mn:󵀗SzAGuhnZ}V?k P{=8% d~-#ݸ瞤'w; LM!jӥsyfǀ*UtGƎ_{*x:H Vol9Ʀ&;m[*X~1 !E-h\ kuɯIώMXcDc'*n75?Ӎ3^yJugz  +xMnC6m}*K7%dƩW7#Z𸽧Ѫ s`5 E1P0{:gCbFgwr5PQ0XM|9*&oLw#mU;<.iiN#qQOqYέR6&}Rҗ~뛈B́d-QƬN` ӦL v0/s2 #%pδ)5y~rD_`MMRM s gH-Uj<3}eGLl>ab+pi ɾQ%O 6U(? ׯ:.7L8P {XFբ0 U:Pdzu؁-@M`g3w1USy;o|sNh%G5)ڈ羥D/ iJx#Ҡ{usˊͨ=dvVkO7mn hYSYPOsRbyU'lnYb#b:d_ozݲ$$9U'{!%q!dYHI 4Ƴ֫1ʂEHmovNfj6|(=HLjB ~JR] {ŐkՒcX"Aj7 bS24<~Jϡ%/ȱ>)D~nzŢ9ΰݴ%d̾ܔ^X|EJl MhZ:f_%$TMbwx3#(hA3ezh]k(Hȯ& Vf;VGsfL+Nx pD58٣SP'L|?M>;Yi1w վz5T6]Kh8NU-A-b<'9Py\Ȟ [*uѠEkr@_Hx \ ͦ>j^wgdi7H@J4!Xh5b"h6kpzn?-P<: :~rm O&7,SSŤlau#6klCWk|?f*gڪ? oY\(ɹo!كT\ o?ͥ\YuսcvH,CNCS6a}e(eZi6@x@a5ՔHj3;&ᤁχkS|DHl<6rrFEj71 Ń%Ͳs_5@-kM*6+sLBD\=8oˈAKФ>y5=%iSM9@wiy!4-Sp=Ft߂&P [ޡ^{}7RύgW3J-N*1 ^i?.^9O[>7T ]":rS TB8U~_ar r%`s sÜE`L {ʰT@ 9 i66 WKN@]*-WonGl.goVEFqEz10IhoeU߈ku kAF2O&m oomiOw*`ƾ.Q#\DQ= UOC\Y4" ,r46aS-B[;SSr@V6zt4 -FwCVObWak86 g\D:酕[h3ؘA~iv_ڷm|=cj >}3kw V#Y 1 ĽUp8u~5wƐqj^|@šZmF+.Ȉ>bޣnHȍXu|+G(?FUWPOکݝɣYak،AREʂA)t8-x{sDamwد(ٝisx 05[rD[ؘtG ]rnNIEC>3%a@dώs CP:4҇ЛOlKkh6;dK^e\ %wayӥI/(/XA*1G ~t+*u(9:~_a. )%/ a2J z߶61_{wU6^9q H%OGG5z0N̻ 'DsHx!ƔnX3廚mRG3—A73%=\57њeQnKO8̾BN:D/<۪J(]'p}-Y-ȼT})tDq9HmlWYAj-saCezLk,ΤìҖkg Ծ>4]T.*Tv_1Uȏ`rcN#$,nAw +<)Gt#ԩ2x# {1BٮYTJXZmf93ud\~]7-mP $g\:Z"G%7e`sy4n_@>B&%)2 cڪWD7q!8VWwU6ĀL7LgWB8˷qqlH՛a6 }WWJ2lbo-&ET:[Kq݄3d؀c>]$.?Pı,d@9e9g?/N\@5H2-UM?f: dNy*;%w"oaʯ/Xx_jYnݺZ"4D@=/!OWbΉ} ؙT;n+>!N rR>66.y2hl#G+<-=9b+CQpupِ1:IiKsqgihXI $F}/ҫHu5DcD7'z~(wJ'J)`y} d$6v\ow\5C9,7O1N+#U򹂀qj_HA/)g/pH1d^iQSc>5>$kFΎ.~<*@>U_gyp}T#)ըlݏJgm4?Mp{%ˈF:zև, ,4̓hyx6.qX2vW@p_@ۑX& r=ߍb%E_\Dm1)I*jZk$iè_3cn8/d 8_],*@c쇌59,? Iهm'-~D\wJP'K=vQ;h/CmrFL=7sđl+n➽r]"Vl!M 2XwCrq#eUVQhY9f $3EWWrktv+S#vث[3]}4rU5zu(su 5N,|B I&4+o^>Y.{*;?zݺ36 3SW\+F.mu6*YJp;#l%>lzZOI%A"ۢ6>$=% 1И&Ofy./LP/ 6 N]%ΘYNd+?V{c@kqP G{6>ph b 6  ;d!ZQ&#NSx{ vyԅIF`֭#KN_#c}nnY(#^ӽT CDj %*X,%~M7W%f=PH5%qt,3H7Z48kf \K^Έ]R"A#@;. @wh {6?wZeطڗ̀yQ:bb" )L6lܧFk{K`̮\Q$ːj&JedO8>Yf˜Y}evD/&'E-]̠!9ἮHLIb=a_"R7V{)VU+kFV}vJ,SDFSRH$uBRJP[HI< I.~\r΋c{Bv/ېwW'{S+[r pUkh9=T)@>0uN1+HS,ҫGЭ{ԡڭZ[c*ƿ% djE6>y ("V=WgS9J2r,sTo#vntPZFNnϾد»~O"YtD=BL&NZ<2JQZ6 0l}"1B\;h:{YX3a\`&oqS3_tVtCi&4u 1e0+rKGa*8|-ev,pMp%jc#H:%SkG#GeIDiʻ4y9mCzq{㌶S9zD^ai!(?Mŧ/]g[`o[?Q= Gl9[*1`<R4>G.׵ FR]nQ Ў#g~!\}/ؤv3W+ u(\DN;%Slf.ʎK͗Z<2%n Du-{`Ok'Rw( I&%'N"SJbRLBٌR6`1S(v:k=]g[$M$V!}jub{$;mj!xWX.) }XEbXi|r,87i0ϪQ?"3ipw!+GԐf< 4v YPR'TNmFY:j tM= -RDt\>nc3R?05g*^Z-B|?8)Q)Ū1-LÉjg#[kX7ë@c< ץx(zAA}88~T݇ן ^+)QӘVMɉD;%.?6sM MdFm~9>YSkRx.R>@d5on$D"Ǭ[[i 4yU?F/yW|ffy(E@1rGC9ӋgqV@ 4LKX+U~S>^@ {^̩J2ke,xo[Àկg)ޣ;ZS[ jɯ]c@Q4!n>Z_\Lnf[`Un&xJC3DJDK*4.T/gEbF0M̙BY<ЍT*߹D0.Idʇᵏ2=MpSӿR -=w8IRaSfXMa[NjQ9.__31rs$ИF\QyC# /8&Raˎs]/U6M_G D5.`yZ M9Hiva~[p"^ -f5h6V5Yrmzk&S(FǮOԝ|Cx~،v^W]$x]f?@rcTrK4$Ke֙.4hP#xOq2>̔|!k! E'G v2Ym_K+.5;P"۳PFq6G:@e5cW+y1 |>zZ;@:S(j/ :cq׸PR/Vasv(AuZ$Ubq˯Z`6F/U9\=fv^ڜVFLkH#=Cj37b?E,קu!ٷPMsY9..@b'C[>SSm쬙Ds_rbgz@@Ӝ7ٔ"O *}%jt%o wNḽ:ȔN>/"eȽ}OXJ.qDQ>2/3 8'o);_ $}V_e,|#NebR $[N[xAF#pfͮcZ"g%W?^%VHG&\R #|(6ި׼ g+@/f֢/7&7"՝4$4ci@(K/CkpC5ZnL7{\y& ޏqJH4B1[uR mW!n7:l\dx<7H :~_sҝo$o0UEu92܏I`UI^U)*Hܩ(S) Rp0A;ES 7 ƱgYZ C;+# U,c4E^(P_ ,—x][s{Zo#f`9ZXp;@Yƿ`~A8]v ީq>iŖ${ž&[t9c Jh,D'G J=cM$yrTF j20&$KAL񻃆 s5BaH6d.nfOrG,XMEqjG.0O /;yF)= }7 m420r`)W;ҒR;Qd_ \#&Rn;1DM@URiL. "/;UkyYȬZ̑c<*Ph9Jm}l>\jj&Kig#2^\'_ҥ))t -p!q(a>BE:X6"n=Q#cow}E#-Q0ԇ̞g`4=p<ǏoRY寉jh`2h[!7O~gѴgG,͂K+T#z-pU]Ou*]kmۛOTZǭb^`x>F'yhSh_#3?f/ž⟦?,+̻>$|[@$KoiO57<>}sȨhӌ&R!8zj;^XҏQ]/(m[ C t=߻U2L -g'TMY ٮă@llu żLqG~ưi{@sW#>ε@yl&.T'>2zO0q:JD0GGAק1ZDeMO{(U;Ce~ ?6]va0}jIQz݁$bsZ Y솸+)wK) R(S@U7XSskt&aιZnx&g(R,f_@*χul/GrSһ2wݖƙs`|pQ/DxNj4cMKϞH-(b>~oS f}%xndl|yB_6w[j¦#]V~  Iu0 ҳ LGrWQi⣏Շz+')1H+iYH %").u/yi8Uը@l$b*6?Ao| |TGq̎+ٝ@Rp@GLe@ȜLæt6֛q*|5nTxb{A(rX 7h| b]Է[>N@kTwߚfM[RDH, 2zX1Zh? !&>mBj-,|#2w$mO$oPK/r_̦2CbW'E7D=U"}J}ͽ~cicft0a|'0rP2_X3kHv|/,&#ZF9cVW($Xt-_Xg\1+>)iq29z2Y_⼦؆A#p͵C9g&eU^\M:w0fDV[zDU_[lrk-lgitn^M_W:ʔ3&;T_UT:^:'F5v23ecgwnJ.d"8K7ݏV Lz8%%s霩Nx-TmriW|m`\d$_/W; }u0X-ɍ35 #aV3)"] 5(UL.7pB|ܕ-4{uŕRf٫ G@[_~voڥv% eS8 !#ى%OYB;IOT4:$i:W-j@iI.&VWrG@2 Cyamq+a^P`O YwF NCZ>f%MdIPe]$63!0E^ X]վ h%w$Fozz'TcȉLh{@zW8}]-1\^MY@θ_@C4z]ո$3.VFI=sM7N/jŞA= !<"/;  D O>7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1149<+' $ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! I]·Iq n[:|&[z.D~(Ar??dI(%l.ɛ}X({50,ȽS-]mC5^G6 [ڵ9; IeOɗ X /5fkwj? sݟ՝jgheҍõhÐ$Zj/)Two UhPTXkaz5pjuntae>g8~<˚?D PU“R+}j ^&p &6/1m!SzƵ>< ¶E*sЩ8 =!'Kz<֒ݖ$Q[LpA=2C;pOWD-l4[jF1?Τۂ 4gOyK‰N>WV=C]$,_:56gX>HS{Dې#a|a htՔoD9-wLL-R_,seCmmvff8$9DXЍk ko,5휯.S?M%-`/ XE." L]? Qs6'@Ƹ(1VF Lcb)4I[nbY\%Z[1E^$5\̨ȓӗ?z2 P)YqaǍY5Es)"jD8TU2;t9 q P)XqM3ž@e0U>d*^lSt<Ι-8!3Rp5q:~+Fgd ؜/Aqԏ{9wdH)ogYZjn $8Wfur@ E$Vvn5s+<mȕP<̕K)O68!g<myrZG͡0'⺂~*[r^ ɀ *Z9 Â%ZMS1RF'\+OUnR9۝.d[V_FJMš^=MVkESܜI͒pOti[);٨Rocg+x"@2`;`$M;sԘ%LbCs) $ݩFXcq~WY.7p7,#} 6Ug?I_Čx1nMLaCrQvCCi^tW#zsȜ"XCڙxdf-䀷e!C~8ҿEq:Vo BvhocA4&=;v5؞~mu 9y`SvAJhgR!Kϋ.b i0oѩ=y{qҜ].NL5p$[z֒=ICZ[KmbP pRg(rV_ȭ}GRmQ_ A^XX/]{V}c8 Y\m-C*o!q ;zVQp WV M{!(%8!/!KQ{*'Ʋɞ' m|X(gHǍ1W62w(r%;oU9/ίz@BCg"˱x)ҀuWL +Y#4h"|B-KdJ'OlIG\`Z?,U35ʑ Ye1e!#e'?o8nHܬ6/`S S[6et#ܥI?05ᔗn6 i +JN{ɯM0z =eTͱ4d-ق%wGV:Q0˘ƨuŁΥu֍<馀yLd{U>;Og"AHp_& C\1g-De " /@].>N*nNE vHwc2=f, h~&(HIB% k1\nAj LSOT_GvQ|xTz>{L=gPHTzf+8th^Yryrz{&n+/ Y/nBoqs{P~nG6GX;uȌU(Ğ qx3@ ɽ[j,iF=J} dZM U.iO̻ow~Η|2z#$ f=%i’VgK`) XʭG8rHn❙zcW`]|K|3 {!Zr#(Gx.GxgWZC# UxaaMZWnrew>CʻJJ(_̑S`vDd)~P;+5~ OJޡv"NNG0Ml_W;lJ>0iky]"H2j5[={犩X-+ tڬ Tvôc6.c^2{ަu!,gk)!;6[m'a?߼ fT Ʋ95Ӧ;;Z3DxTKA0,۪Ҫx'ח&EVIj+ bS N3`RhJsmpnuQnÜnw_(oc5EwPzVr<8qQ!D.zƏj&-3Xp5 04]Pju H>mF˟v(Óf{%9v 9>lĴB/'e߂p0aN}5K'50.9paI?Ok3.&tUt| u|V4$I<:1f%tfv9*C)%ۦ"/odTۡ#[%do*B1{Г:$ :2zTT3N4!`7 $F3+FF 7C v &?bXx^E'ip` vjwhd ϵԗDL)b !=ύ8/,KKKo-:Js!zCdIj3qMw %'xIkV 5L0 0+߲T|!,P_Q%KcK(Җ`V[3ِ{.1Ѝ>E|8O0,((21K" Ғ'2\=@ΙBz>J\=56<a)pRVoDFnkSm l yKndÈLn>W%/`J=SȁntܑY9Zxbů갸ޛ#slZ4 Eq#_}HrY~ MW[ܾVl>k^n_ )"ӟZl'OPO,B@AP co~U:Ze-fZW r4Qm$2| U(r,M6<]Dw O mϐ+w R2$J3O 0լKiZ}TR *)9{pX[+ZH@MBLK)$l^ƛåQjixX̆3dKPLH6LIf\[İNc~ r.Vۈ]qe$^m+r2+$QKBni3E)dhw58Jט:חZtfCúԸuJ\Qgbn-iu#! M9<~~Akc<&lu Wx=Esq׬KJ W$mQJ=!\/X-Ɠx7lL=x$2gDcdW.1U\S4jqKz[dh3K;nQH O` 0iӚrsNK\o1)K[5>@7w@pIE\mQi84_LIlMѩ}m7#y:Q^"S kreς05tc~s<g*i\ wgYZ dd?7# LZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! ] !M젗OFOJZgׅ;d-is[q qKJѸ5HD D_gӿ6E_Ҹ 6Hj;Ur֨[d56S69-{lWT3Y0`.IzL\se!WQ7]vQt|lY)l ԶbK-Dm1J; JCqt%C )ŭaF< O~lA9RU@A ׍Vg@+%0c E͑ꐋeN``Aq ahiDGP6v;qbڜ\ۯKɷ5N)u{_o HaS;Vd$qB@%RM ]QSM>)3D@&"thn'C6m#MP&r嬘ۈeDʞ؃9bڲג ȋC(ƻS߂W]CIN_s o$Nr܏*떲rƻ\ q3S`ʘDUoq$#ܰ_?iexnj3ɖ ijێR0XNڟkk/]D /\9'5})]$SN}^V  qaS+_o5~ИSd率bu1!F_q0-gcvE\2G( Ei!q^ؕ#"H]|$K2E}G`k(I ߔgָ@>!A$D;Zt')~MCPS K\_2[Ǧ}TJ]!W֊EMkex'P}h:l>쳫zh;PfJx{Z<qSvq'2s^%{ ')Vw ?d/9G XD(V7T +Q&$0Q9*1cjP5,G{9<#v'$GHYb(lҝXaם@tf*[smq$wXK˶\437vEZ9aDKeU:"WMM:Jk./2s~bM :B15W=VW?oѾ(?%3(f̞ cpz|> @Hfa!Vf eoEeYpے (A}̜ |cT.4)wʅ&)`+bp) sL-p_=b[cG {A`:D 5d€S:owA(CX(.&MNxmJTsʿ,yWRүJW? f֔_;>6-f~vV:Sn-`hf鵭iy]|-Ie>g3 BΘ[)Ͷ| %1h^u^:l'bQ9oRW0\/=lm$p443X. XTcw)'fY+pzJ*3f8dy,qs}Sʕ{g9C{$C'pخm%U(hjsXQ5 yx po!'DB^dwj^qJDARi-R7*"{h.P4Nu5P̝+]ܱ-Cgt^B{(-] wB^CuQ$B?؝Å i(Y%<}~; UjI5|Y|i]m/W#xabٙ(ΥǴ;RyX/\-\z87unkm 9-/[4W+rtoe4?䕤Qj $9<񇶁*R"hvȟYF:KA@[6Zrc(|Af&?S:zC,kcډUxꁴT?YQ#sIЃB{OT}ڷIwNF ԙP937Z\u50֦C7:!'.b!>ĩwh]옸eKg:AѠp۞se#BD!_tf4AOVxE-X1o[X x6.F p:WݍU5,|Kr2 \`Ig(!b(hbD:?n^ؑa_1!l-OWێ\fuH[upp-yQY$pDVfj_%~tdMPxY Yċ0BeZA~4*CU|ĦЉL/lwY~5jռİ {iH/_F{)1!Iv|=sMյ[x6^ܬ㊧_EhwQ'3#osb[!2\ag6#eݜMZ06w (~1!Z8\®JpTTAGܢs[L⌥ $֧x +l?ViVMs*qiުF.ZVsqAQ"ӊYcxN+M  j 8 AB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[zgH}S9$kc.vvS` =i9@N(b+_Lz nʸ9qB1-f$kmZ# x8 ކ1н3gjM-@\!Qx`|im~0c[M^4`N.!+# eV (IȪC5+\@7S#Va= Јm.onc8wA9;~JF uEWj5ݖR3.8?̙kyCe[US0l8o𼑚۩s]ir),`f9}Phx6Jgؓ[[\US&ft⳧,̪dP-ޝ,.hY0U Z@2;R;g\`O7dӚkK-.̇.Ƚg:{FeCϟEҩeΥmWh?+mmGm)J}Cv"uWo`4k" ȽjM[Ml" F<پ[b~>ŇXz 5߰t9q89 z[X8/ߓk@Y9]_yhw֕-9bApڛn~Ay{FϹZd a&Z SVόPdyEbrF^$9;wRڲ!Ss'hz/}_o #; h\<Nz5)1Qb`6(f enRfxT \N&Ԙ qeN] -˦轆%"*T44YK[˂.do/x&EIƳȿ;j{Xsn֥+i3 [jaf #TQK6$%{i@~ R;dT0 6gYZ=Q^/ǍyM(Ih]@h@2Gq-(wIUڢRxIu QڳzALv5%Y9f-R(ʧ !2y@ld}*> 5ΙQ8gPHn0!I>IIn\_WNmNñ-<{k̡͡u$='q z$~dɸKՠM|7غiY^Uw}ͯ|/U#QdYGd}Z-lB^s3xX) b2ZEd[׷]8?WƤ|ǽr"(GD&f~&wue{UOts7@h/h St{gfvf~r5-AڞֺD~lR]f "S#FF5A^G2nv|fB _Ց,G84sE#n[0#h/M=ץ2]$3il7 g:N׏iڛ E;HoPL=>DPHU .w,ĂVTR0%LgLĜj͓%YQYSWxurR%f^8:6麹V\LS, 1:$txYv.tDm+N Ucoy~=LD%}MI0u2_D*AdSRn\l,tkƱj>@ Yq:U\}>Q QHiw"{e *V u{+*B-ZץBPנ>RE=\@Fn:9/SRpRjOBWa ><_cfF4 ttA&6*K~̬*RÓE)Ɲ DV0R ^/r"€).hGaEBGbANCSMN>,὘%屜"ۼ j.⸅ so9DErۦ$ ٶڱA&=]4h2rLe{f⍏g*uܩ)z0F~M1][3G' 7]KQwj!ls{NW G=C uMnN|yu:'L SU=9]ԁ{өl ф1AL{n[_r;1U"tau 6_D Vy#ڱgR'p@](5S H[O#=t$#~#^.%Z]d܂<7{@6BM탋?a̳,W`:;LP$Aj*>qDU2&#JI&>fg]e7B(.m{ ]i{Y3ށH0:WՉ#}.f9i#5 -dÂu|JUkOo{lP U=(["kһ&d0+1(CDW0BX2lh:FTNۓ.E)Ș*D ^Q7 NW )q2Pl4!~b}gu+2+Rw]7klb`9z ў}I޹;bLW}=H Bо mI/b;J[nowmQ[ΔD뜻n^ ´?x++_?-EL4΋60lJNk#iv% wRݦS$rc5|Ea).B,TX4 p{zO׆өdeW(l},Wֿ`% 9' 'V4*ǪMlc5c1,[,aEm M^hIV]SrU`?U-`C;iԚWz7+p^ S]U$;Ε=$qÃM*q9aٓ6y k%rnbS-bWveytT<9[!6`5B+ ScS99k`x-w3vszH]7m[u$x,nscZ*] BImXG#k_ +,a.2OD wae.vƥ8sP^P\jg"q-rl\(ZAHjʫO5mdBhoSTgk'wr}bd\n 9?0+wNX\yހvƘ1) ܄-]!ٰ/w>aPcðEs⿟ZnimO)8$hLtb*k]_{i9& ~DNyyP=WBsYŊT乃mcBkSf\<}Fĭ.E_@?]TtYz\毰owo\M;#se . "61{8/hr`{@ bXP !K>NNC;U(h/EРl@?3tI2PS!P$_\adaqY B 0_ߘE[s3-]"s2 ![o}׉ڦ AAذ $rb+s^:t39/('IgV=X=|́_!U7I幧&%BAY\%p;3`uW 1q6%J?VbЭ0&].Vg>cNIgYZ ccC)# \ZF-InductZF-Induct.CombPIDE/markup7zXZִF! 㚡(] !M젗OFOJZgׅ>oljil,%p6[D+|{Y% t1G:yo>HAD&z,<6kw~.vXHr䏘`xbT[haR\t-G&STS\ܵf{ <ʪ"c e?5R_<[iϼ%26yg[e" O#wX5We慖'- J[\)t4(Spһ!bv"ltH=!$^.Z!ndF%T_=rx9TT؏&u(0U:g:f˥!f礸E+Q4>K rԤ(ޣ|4p;/}qH،2S| yO*al/ɵA_% Cv*ӳ}2B I<wX(Q6htetJ\-~HP ﰷyy$cV\"ch$ 7⊰k~ʹ@$"oMTOݼ"(ulZ&soX=f/`I?=wJ긗!;Z5鑏Nϰ&)XhxcT-q&d*INJ U6C#^^d:ei_.;۪"% SL_A< Ge1YxyW*7E a"^HFTdYWU=rY@"!Xk#zHWG3[ Xvr죜 {LEP]b_@Fd9i0'O0`=[ ̫bkĽ1,t)$ p=Aӳ KlVqc惘JHJY:GX1U[&M)zSf'FJ~]f] 6Cm]kD 4Pb v޴Z^Q\|8XVn+#b&oV48Ώf+Mzxȗoɓvni;~B6Cm1U TCr%E0IPݧЩźБ' Ih獌:@:DLV(d?_] e+29*vN,[N2 ǣ4ӐVvtOĭ#Krj E|ʂZ([ t"Qi_R08Ɉ5j0eV%E0\qHe,'Rf-Žo메 1ƒ- $$|4X—]Eܺ܌~615cg0R1UZl%L̬3xpt-<is'w dM\ysh=ޑPN =dn6.7)y)pYLYߓ2F\sh9a-8&пgwg_?4PAu ƉQķkI|:#LbE@:f ^F^am|򗥴X٨-BeiߜWR~َ8,7T` KbؐhD~Lε#ArW ջirG)O `4O1 ៀ: `T+A}]sjaMC / 9 9cw%Z \>spA*pZ3"@-6WM2,e-htQFnǤncv(x5Ӧ+ NK6fφ&&+ŨUr,g?7 gSeTl}e &{ȸ Y.f1еۉ5k$-bavAWoAθ8Na*Rі*i@7.rsAjHՐu70E 5pI#g/jTmSiz'էMIq>FmCpHRMC7;SR8Ău\7 Ys^tZQ,9PᄱqD|E!G|)b1hߢJq~ԅ4B0,N\:X|rW{ۍnGEtϔZTte[Lqā`>dC<p<[+1U>/STbkPyk%Mx3Ra"`/SBU:yK^O@څ=xfsPp'_vTDpn|OM 7Oܿ ,s8>nQ$^sZ[4:TuxVm єPRbMw@Te"r2Ev;}1f2>^!Tw U'Fjq;ya #Js^- aHg8*OOxL?.RJ6KW!+=o~VXPJ˾wc;%12+L 2*ޱ<5d&8f ۧEP=Gϣx;Nc!C k݌ r1ש7Kc6깻lWec?f[hCJ1TSaJ kMj`Au~ <ʊjyAnܖ֞E]Yܙ寈" Cϓr ql*g1-Q$Sƒ%w0^Ƽ-WnR;ed{H^(O53djd6<=0oP4%kMM`O}k{JH^Qm&W)}FE&ssNL6R2klM@!0 '^uGQm-aF>I*@nD>L4m#$lDɐ˧ #$Egf-S,r6[W1y(?Мv%r$6x=bm7"E;Rg$HJXxv{l3 PMmbPNV:^vG \HhTuP>]PZ,t3AO?# GEH5ڸr/ hqFB5vh@EVX$rTޔfаYea}6-ڳ်e&\\|M8 I=Y:+/2j8;_Ҳ;{XL4QfXɂAaʏ9㓮m[| >jd.gKb4PtLDBVTbAbϊPB1V go1=K#xy}D-tUv\qRR`` n24\Qݧs i4jܽ%,|ZkVxY|֟> q+O2h`ud$5*<*IXV6O FFs(gX{+^Li9{`W=nǻo<ԕ]2A 1s*!LEfemEM!FY,u]"#G̼C~#9b@@k(eޡmErhPMw@Ta"d"_#yp,SI )p1i#rm=@3uggZw%{him)O "iB2<9_*ٶ d=%>,pitN^5j BCaQm2µ>I~ƎȌEW5Qj;RCDɂ*}z"mA~?gy.nPAz3a8Q jqV8s ~)[=/{ _atXѧzQA<-NAcccOt Qgh,ׁNOVw[BLJ(ua51c q:oۯj徚cut+D )$ mПa| p<`p\{ggon/0okOYI6Z5{pBj@dHW0:̣+{k3ߙgp#oX?lWe Bܟm0HqTb vQnu…wL%w)rFW"g%0XlIWE/-Uy?a%46s~v=ϣ),B*i__tg΍FrUК|wDPJ,Bwwl!jP"ST4>8sPr~7o* t>m9m'!XO~BR`JT./(#UAӕϒ숺8|͒8"#{!h|Zb/Q-1BjJxlPUm/W 63FmiչV0 a|f lrz%ގnPjɂ8όH߅ur}}!J-9r#Eq$ɲn\~"ֵR7"jµte^ھeC%Ui߆IX爋%Sj,;H&i/ ]F=.""S? 7,Ak6O>G=k5[~*SlB b\X|B.S%Y/!-WR뷒fqY+Ij&b(;f9r9cxxB^Rچi9`/c0 W@@LdJ?%.+7Kց4*22$W!d_d`Kw.Sn3{^Qd[ciLj+l A)yX_XUdpXaV/k.- =Wp,'3~`Qߓ,!9˖Q]sʅȏOUϣVUBW=rn|8"4g6JTAX*YQ? 6(vT:,lJT.i"uLA/?_}}7iUzK@5Sk .Q=E-+6 tغ#՛)-hAgjm3jKUXl EB%jߏPOL)Qp-O&Or]zp&Tn()$4\ J*DO4H.I&ى ,sv V!y(mz5㎫k*Y)Qm|˴װ %ؽA5~SUPCLH_qO|M}+0Ki} /eeZBI^-PEұafh.AҌ'Ez,w|0T6'?Ⅱ7voQ,cF|<ȧ-Mb+9mݝq_(C W?E e[|I~]߃;Nwv 9W$¿H;ޛ1ˈA>1ƿO[M1lGx"p$N$ZWna9Q1 ^Iδ5 WG›.#'mA pӍ&7wlT2hFfrjMIyUK6hI) >RoxH0~ $!LzG2j]ہ^Րz]`#W+yt[Hȝ!A8H>y]y|& 5eH-BdeNÅ[r"EW*%9 ߼GFrD8dAKq8v!Şo" .'SlP /+1]tR[]x(УqIlqc; J~% ?Apv0X֠Wx]j^DH?;POt4wK9 `, ,,] xddijd;= [ʣEV\tDw $-k˨c\}N| [7*5/ds $2=iAHݬ7qpy1T Ƣ=5dzwgYZ LVL?NGUta$LrzѰtuo9IGl\tKl7H%؇~wV匒gYZ'M+# ZF-InductZF-Induct.ListNPIDE/markup7zXZִF! ;] !M젗OFOJZgׅvqsI+2La4Q~/k6RGi.m~#l1PpMpseozjp@a^C_ae޻On t*QiIųI3?1Wq" Ul|=sgKInx\?AF#MK B]e?aDQKw/\\&sʧPp9 5Ĝ` /X$x2zyw$W΁bfQ=8Mn;_>'kTPC GpXeJ VIw\JԿƄ4]z [" !ۣCpx>b$?(1&V|S8%; وh,3%(|Tz s|Ewuts #p)P9WU .ܿ&9쌄M#G5RL` eibv\lBV2Kpp&[Z2Z1 I^"w8p)6`^ tpȅ>6`/?Od̋ͬIJ{w4r1^P4v6GO'9f 6#}ΤVCUSD]~$dŊh 9[ ]DP"䡑t}(!IN0JJG6pn\_u'# 5r;ijT*ce ml>ôiUgɩaAF H?d]}eAUJa|lr pZ;6+F?Lب*q+ m>\3w"haoK+ }ͬڈLWެ4cg2WQ2[PѢfZW;ը?@QJBݱ7̠Fv_aU0(xY8ν2BlxJdǍTe6O)xa$/<\c؃" t]8>Z=R,q`4wm/K2Zc@>oPKLȄ(/ yU7Cԩ(3ss~hENڏ[$r+=MĪXSQMXc~thJ_An((o ZZS U p*ǴMї[5KYZ 0ؒO^!Q ۣ0(:"s&.~'C}4tdh*VD5.On f*H4Ǭ8Vf }0_GK7?\134 Mz|H aS@$Dz'& YpGbbt79 tF(FYMQftO&cٵ `˚~o,7J u+(3)- 1h* l\ɁCە@:p]~$dV(ic:ˌ>{-_>1?`sF8 :<."0i灲y0/Iܔ gzը|hyQُ6kyxvec.` "En{j3hIiь[hy/ Sc 7$l?Bh[_#q\ߔ7k)|'Vc~‹|˸>60{9FO'V56 H]92}[BXX^#>SE=tVc_:m P2 #`?Dt2. tE!u$zrbf(rtC,Rqh{ )S_"NSZއP!J@ޖ/)nLuY@9ڡh$4Τ޸Hi/>gHj[\徭u{`F% 0fF۰Vd䫨da^R{mjDK!򣘢o SS[˩0%zHIk-ӵp@Gp>3ufzYmLS^'i#ni{bR?.؟̀h,^ ]hM]6bS-\<+jq(u`]-`pODq<;m8. ^| 7_(3憵]ﳖO~ҞzV:(hU#78wgO"&bCLsI쑣 zgxswQzl2 uIN M_ fN{;ցPmGVqgÅX1!BBJl!&ԲP DъQVmѷA*gYZ