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 UrDB}M$w(iF!0h5΋If*$ioIq 4>m5Wt&E!gYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5:kd'`?f3֔_sTTx"<#>˘E8cYW[[8%D_˜0t]5R(>ɫDYoEsy199Na,(gYZ7zXZִF! ]ŗXi%C4&nvX [$a#i-/XE#t<Ȳ!zdTf}bU@;fڳF~,hkg*kzoG#cl25UB( }cfn"7#9z*#@{~ޑ>pKHA/؇/qAqw k\ w&e3`/q_`IZeHZJF)n3i̸(&mvPӚ 4(J֣9x:QQP~,? 5RXE,9I= c&vЬf]ǠC(}HP f6bR~K1wM@L-,μA䁔lUOhǡ D®i[3v ~ ]}13rWpĖ*l,]uI^ %o8 $Kr57iJv6SPx!Kr6w-b?Ɲ&qR˔YbڜaxvqN2}S˹)LyxJ4"l2Z e(Sa,8- |'@bc6D6, DGx!o'ygLY]kD4DkGk1A^pÂ.~SE002mƪM/[= ںEsƆQ& aΐ,c853669$@_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 /[@&Wq _3S*  /  ) x O % vM#  9 a}O u J !nc10+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex3/5 ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex  bچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZm6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Qj p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZcUES#usڮaaP '96"J!#7<'r]Rr*N@~\EU$ʔ+*V(`ȒjrH *Nct)Wt&|ɷn8Vk"b`nHKN #VQV Ep&'lxIX7 |0];q2WfkEӿdbwW9_Hm0b)Q},#d|HGbg|sU%`1GbX>})b 8c:n:}2NQ ~ O(iGʮ6Q/Hu5$ CPZv{9 lE!@*'!65􀘶Hٓ2U 9-"3yEyUJ/ޖ\QlwK-6U=Bv۩b3mU`ghߐK)7\}Uוb|n8У- i-7iy[ g;mլh8rW)_qY dbάA&K#ψA-/<ph l(ﹶ_YK3~Rzf*nLmܣa$=>u.W]R.8RKAxMps %k3NlLJk+dz"xlIu#//GAPH{9ĉYhvgje-:.m5}@ dr76h0-z5u6?DBL 3yٔIï\Ϊe>3}@N|p`6iwk.C8bҋy$ S!a8,\#|R}.ۮ52BM#&n^<}c(T)X⇥}!pĜ$up&3*MFC{(A:w̴ɣPDln.LwSW;} 3yo^']48WKNnՇwwEq hmGx›oH6G"!}% SH!悏2k .?+r.d'5%Cᤀ}2a#M{,W {ꂪ,_0y:5KdQ?&[fzKՠX"r23>BA+le46 n 0(eF4?.ѭw ='P虗,%>iJNV}guɕ} 50Y6pwomt R#aw%J^ѻ&;0 j`,Z`>n -Ƚh-mh:H_Oķ(ZfkUEm(Ʃk}â(uH~n7\цe);VZFE^|@D1__W) VQ&Jb )5(%/q%-%2y-S5eP[2)) q" ,m,r }Ќ-4?<N xGlAcVy,FL1 E I n>">fɀKglpt\k?j%>2"`r6xfxнJLy‘0暆qq4OLqE,̗ɖ2x?OmIkn~V ?{bUqpb/+d=|-bAX2%Ǟ4`k^՝q>㐩D܎iКwet6 or |K~r0%Mw'Lw^|Uʒ~2m"g[DE fF`86}bt& G 'u6D9QK?`" [4[25G&9aC҅߹gϰ̝MZ t g*#V8YV> &-/&dW|XcWPe:WEV q2dPDFM~%2b׎8U2S\eDm#iNDL@0QWRWv͑U&o&Qot8-SY Гړ; O:Q)-Kq0j?d2̪=3߳Dp;*SEl~`_2[uM>Q 6> \}& Cdn4:VY|R &4?0LGW?߯2laGrtF9xq,rSͯѡ#d29qi[]Y"4E}4 ˧*Y6#FpoԺZ+.g',Āy>5%W2kT)0;nv6M~Fܻ@ޤ$ы  ! Fł6@ $?PcOg_pGgk@޹&{إ-uJw!wVN+oġϷ%,؁\3S$Q-$q{_|zZq帤S\_?#]S7Wj*/}9S)IyE DɔwJ{էlgԓ2̴F-ٳ+7 d;!h'`;c%@{/I| ^>-:IgYZ h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I   f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb 7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ GG6+1 ZF-InductZF-Induct.Ntreedocument/Ntree.tex7zXZִF! p D]A-MՋhvG"uIBm5Ļb\ma ) fXw; Dt" jg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗ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  R 39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZV +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZ 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 >&cJvg(?<녈zgDab!4AvaY 2`<*vo:IBv*vT_) :g8C}` ـHU<#2%yp6u/c/kl7K+‡m*P.Kd>ʥ7s;̿,1MӴخDv"b\TyAw*X^S}gpBo)*aboyUtcթY+^3i]idSV 4vXhq8, у ʢLEZVC^zu +_ Q͇o嗶#{!鈂ֻݟ32W9zcX[MN^ᢻRYz|""VK;N@Hr Z^]w=5";oX*Mىmaa7h16pnޏ!V;ny%Sج ȘIPrӘ9k@cn_R?W. À,zn $ 4tv)ҪؤDkaB vdr8Qpron8~ uqH1Dx ؼ]p;yCR+cC;`5 `,4b2f+ A!,:ɋ2XUf˻S}m{4Ma/k:sjat?cm^IXe(OX5`/q 7!/'b;d#n.3%"yYZʔ eQ_w^>1)01㎳2Ȍg绝$"eᕒ"9U^DFNAM)>($k)1bbM%:Iq$LbY+vs?ߙE4ղۗ?4"njmH^E2P wʓY:zf+X ȏ~̅THJڙԅ `8v4+JL {-жxm @Kqg{)}{Z v5kce/IW>Ncr`N;;DGaH2dcepEhqyH"^UcjnIAՒRh/Cv)U$6 Z0ֺ8MHq}s>a\욊zq́c!0WX+P@p솙 f\et cj{8ign=!@vUEk'qvhn1_G?)11ߖ(וKkH&oQ@[$t$O" -E>KKZ3Rx~qf*Mf2҅tM?r$uYF,K.Lm|qCd55O^ꯟcG%A s, U5xbeפ&a#ofKʼn`8xqg8(]g+-hy#fC6v%\KVlk#i;juYo%[??ѪG^\n%)B>ԈbĝLxe4:ZN5e =')cx-&(tؿ-A&MyXX?pZӰڥO> Nҹ#@N;p\zvV`^DiCqM%,1Tu תR2cG ;Re@mғUd>4Ki銶uT#XB\¬[y1J!& R,:{Kc֖ /OgJ1g 'N,k"K"}b'ݑO?J~[ѝaQK-6+*C h`>_jhF?_, P.!.*t4 Xy5$+\+Ħ'G#uuQ)k_m9x͚ '}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[#fwyF$H`bކOkmmbIE{X!~*MqΣOKA[iJ ^Ѕ&z+ ]z Ha]<}R;DŀE z6q\n,"e_Q[@,hOm}]·׹ xE΢XqP~Hs{w~xro.vY/EB*@iL6f__'7s5bib 6+L0nE<R\Z`s,EБ#O)7 Rߺ9G҄<Զ|z/2R 0 I1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson;/' $ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}Dx^Co>^a) qs]!"SC8Ġ5RM&wU?]JC¹NEFqTISSP}Xn w$WX͎8RV!.I<Aq&4u*[gYZ /# \ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 2%]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9&%>&}ϻ!tgbY?)D#&_֮uqvnxZ<v$v=$7fɄPW7]5:$$ xVKOHC-h) EtҿyyuS?}H5UC5E@ 06u3l %>;tsXɤLa Sn%QOӘ+g(1+ǝ9aI 5e%HW0LG/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' \ZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}̕"7*yrH,蛷Zdi6nao@wWOiڨEÃADV-K'6e D ~1o&P*gBSW jLx:Soať~@ŰJx {P˶˶=d .B:>e@^DFN hOV`}mxOSرgh ,;mcL&^-ؤ2,``d5=W|Pw^(!nK#9B[TgY -%tLOj(_2GNmuGAZK.rJ ?rׂ9 8q[L-bxgN?7:X%KFɛψεe3Gm Z}&S3FSs(sM!Hw{vi}}cOq%y|4 CP+*<'S&SekF-gC^V)׉V$DigYZb UyQ-;9aJU|s݈ϟ-;E-C\њ!QE6bJ\;6ػ;Ħe]g%UT{ Q`jccM/q+_)mGeg*6AJ+k}hѐ(ɷ8zb~kgdR4$S8\)Ol߁{̜2xxS& O! *Ÿ!y־sOoh+]5e=`px\OK0>"hٔ5FkIrB[Q|L<~,Yvi-d S/pⰚƤi_!_k,4xVf=W(Bh:X y=Z% !Hb>zV'+(Db XvsZ>GY~Kinq}`/q-ێinShv=3MEI=|ݘ/ ʺޗ>:}$1h 8bHn6>8(\ܧ(Pb! U92ByZC#v `maྟr2Ue-*5H3"+?*[$%6(iQ"KQoz䌿Ĭ!- Ҏ+8gȈ6a8W;ܳ~^#+?S_D(["+P|L7mcgkNy|o;Փ%zXul OfPi oW:[9^ZY;R;Ū] '#͂}tW)x:=)XV= |i{]٨}p$Ϯ;J}dK!wnU!.ċ(PWs; 6QyVF*QfY,Wbm8.8>9~\Ė特-I@:c"O aWUPfLe18X¾< 'A\uKgWJ;PP{sͷsT>TguG`4m/K׃"M>‚<o6,Ҿ֙}'2d(' 7 S&i|˽$0vPN@AH61ʎ9l ta詬pLxBlhl ѶN2,LrTsp_SO&6 m'MWHd;ӗ:qjޞ)_@ 5Ï UoKyDE9e^ f0w~M  dzg%_Jv]b(vS %Fa$9BYX߆lm?f`ryݨ̚F֎|/ȏ*ORP5!$'jJ=FBfsĭ| { ͳ⼑2ѝCn'd){ ͽջ,' qn!J䀰7ۢy8GQ L$}#{6,A4E^~u@@bΘuUzWeSkJo ';{Sה`/pƩ:1 M^rg0X"a2"PyvgTD[zVگr.(;%'Ije‹O12դECe5H 蜑kRI2/ LB_%vD;Q ˆW獉3m͜Z_{.\.{&4J)=Wh"m: `J}Dl1':fC\㿉12H\$ ԓfZ D?g$۰8V?[&3 K( XzdA럠%SVh(m4GY~S n2Uoj)"6tca5щ{Ž>ˡM1uxM,Tc$hk} k 3 :t:O7ᥒ`43u> Ҿ.R 5&-;ɁʪX0o#u; C D#SeoͺMU;7 Tݨ";T[N&Qa ~STj'~7L"B5p<'};#I[vq:O[Kgw$4J#J2w!`|@d\+@b=!ޟlw0> ](G"E~{c!k7=Mݗ~59I?|ٓ M_rI4,ΏT"C!,v{kp$@P^Of:EuxޡS!i!js͘jg"tiH(~oq2kJ% 'FefXW-xb3DFιqдR'GJpꜻ(nPЌcC8F?7y8%Ÿ@Za1(:EOL 㢏8d; 9IhNlӣjlVH'@=f9 e_و-T/ʵuԑ 9esu,ڨCy{r]r-N96IQdص^F~n2uA}3 nU݀C! y;^0WK6H]Z9U;O}Q#f-sI>R}R#!.R^HӭRVЪCWtIJn7%Q0 .pTYf@vRSPO%у) hϔ"+loܹlz{;=FXz1oҽB15״b6ɊKX <غH%z9g5bȟBhaG$a+g]QuM\KOEmßLnn]Y_%h'mب=hOCjLtbK).7K3Ol>_p+I6(`6  7̀"~mtwpQ{3B| ؈Jgl;u 3 i1T3\1*~&C`(EU%aOK*lg "=hEu~ jǃM̃Sp =IP0=.nhA!:4Dȸ@NC6bk-x| kj~ubwN Bf{?u3s>Em|W56on V<.quĤ"VM9H,v)1\6rzH'-&JOK}a$\ȎgFCע$b[zo?R.JAIbmIKQ5$f,lg|>+B֫>恇1{lPuRfC/b@;I6Fx9aF=C _s(.BSާ*iȩ MaD*3:"á=,o dx0Q9lVRTN:d7F RCH0$ZI9>$J<6zbO- Wkظfo',&Ũn%|K8O2T; |؆!zA QguTb1u"Ngk|%qqnAm |HvK P1mK ʜ0?Pxd5u~yoφVQzr9. ~|[Z}m8v(ĥH:cⷵLIJu$2%#4^WŃ7׃ r]C+nWkզ-Bp -4,v8O԰Sp_9|FVx0j :;HS+:KmAw}4x 38kWPsF]ߗ@qf?5@|oO/ߖ^4xq e֞Mq5J3C]D4#z]!K%8J~ aH<A 6PH q[۔oRk5 5 &FF, QqjL4oDOs):n죲 MoCxN@ԚE"!,8KIq*`=H-KF:{݉~XsFDH[*OAqXĢ>t_kiJWfFkkO4?0$;{,|fabFɈ/R+ 04C;K](%Ux] ,}bA[Cqq^Z6B:Y14危]#|s-9x @J3oFܔJnԻE^H5j"t}yfkd4,'m%I^uafU*woc4B_UjWRҧ[,%{ˋ~ݰ[ )N%FINi[%8Iwf*H&G_&UUt|# h.mm!\'3>YNN@5k \hso"Ʊl٫.kn|i׀])UՈH4+(VH]ؑW=+k4w:j*{2dӹUi~|H7'J<*c-:<&{3ݗ[?o%Ֆ4oO+tbڷJ#߂i ‘4w;+ ?Ŗj"kUxf5|2'-fc cIԍfiڲLX$%4^] ʤ75#{'G;ݼBP5uxmZpZz>48\xkBӊ3Vi6`bP}4^"lb/G(|q:Mܳ`zT0/Tx d]7D odiW垠dQ -f@fV\q X5plףvcx@q熿{Y7+8NZ=쩝M =dɭ!4k[yc͚n__0 RnKzp8ϵjˎї3*[5V8}F:Ja(INsV3N(YSQl6Mw.3ZltqjX%xPe\A#:J.ҺN,L8 \ok?q7@K^->ӹj+Uf܃g)T 60YMQڂ婕_AE !۞F1Ga'_:wױKLPKNp+,єRQ`kʚݡ=۬L?c *D+ZbҌH xeh}41WrGۀ$b+ȇ;K]%a—q(l 3+44WIdⲥ^~ùbBފxMbMJR։Mǿ3/CnSٖ`H2堭p:Lavu`B J*N6. <#à5#, %ĶH%nC~iqsNZ1&+VsX`PW*;+e:j!gmҵ A37agY@j$(b_~|Vs: 6?}gZ!*if(]'-uMaS^[L@Hs պS|=U#%1/Jh8 i͟wč$`;`dw  ;WI5bt%Ϝcv]7'[`H _Kg细uK)—ok _HrϦB}90[r%|"m¢8Zm-1erv 2KNv">iIHYCuḡ>.G=K9P>{ xn/d 촋XhieU%|.˩7yB9b~~36),'GkMN$?t: \$@rTE:cObRkghyExݠBx`O3tGhE`#b2S[pBIƥxߘBn&#cģ7tLZND|)# by`(ׯuRV#g<ŁгBÊ#wjLs6N̘Lj籢xR"~ h|EM'Tb/Gv:r&g6&p~1DyJC*e}|=īQ JBpb(WfAN(0ۦwg| A|wZFi#G*pKp.ԤVKPVၡ]Pʔs8d'q|QP[7sbYI6Ȥz H08q۽xu^>;WzS3eoܸl<fe,&yRlu5C1"Cbh+1E.)a(`fHL;7}?#!k1dl,x~@W{sD;`mϰM}MS.(zoL ԕu"8(#~եD>GG_vxݱH'pSH攕ˌ6)rJE!8viEm ;Hi^FYTv|E %-ePc.n#3w%?HՆ]˞Ŕ5"n L_@(,~ȧ^'"CEN eQYÜX 8LzE6V10XV7cy龪 qjSL`9ssxE2wC^>jDZ>A8"G:ӂۈ*5uӤQUX ;t3 lgr WònЃqQZ/&V+ d ygYZ!֛3^G;ɞUFOrpN;z >>U4C(%g؅),0c| D)ftrw%{gv+5M Pk3-C #h)FXK6N/@|Ƴ%H[*` \1@e(\Ny:L9 8GE^,8h2c?%CM{,4\>l M4›ŪYl]R}A+-#&}3~zwg4Rzzwק}Wz  oQު>mZR}3a0MnUDJn/;s%pɧ…?Oލ3X>-p, }A56^GȌn"kWoIZ5B_8_fB2 17Tb:؆1HG#]8Z=OH@,+>k:#,f|T^7֯_jb P:ownѕ\6]nI?ф7~4Rc/АS[CBj"Rk| IzOKr9$SE{+b94)uчHRtGX:]4 wrX]{.J % X U-2ICb WTkU;eSݡĊn){ N=w5q9%hh2- # ^-ꦰnW[$*e͘`q$7l;43O)&tn7mD 83'4lwa#ehM2t#@skߴdKZUG1L%Qo@Y V*gԊ wi<\je79^ycjDVG s; =Hy*\\+2TšK,VuBέ"5mNU7as3QHaz6z# ejtvx$}]/Z 1EL/=%&u` 8G&!W |Se%v#wOX>w?0}4=;5>oU%W}6 BgRgl՛ЮQOhMQdz?τ 0WǦ X:IH$&>|v#Jyv [+̤Er;; o&;`)P0 J'aJmQ26e.#L%P{o^;kUtv9FF8ѻ hO * ?22|]\֢m\h_?,qiҀ}בFhLn~(7.J5mb/<ؽe(A'} o\P*<Ϗ?#-?zO ⨪N 26Ғ?mD[Sl[ܜ,J>2)Z@+՟RWMwi&a(εH_?ҖlC`@# k=D"4]e`IK~b/G8 r;U\3xn++|D^I\QCF|ŋ FݜܾF[<+U;>R><=Nn t 耱7?.=>N[ND=N9?dU_MƵ3o0P+H}F;dؖE &%7!^W$DEm ߕ@'^DtV%4R<}{dT X[A/|lvtAL.fvO9Oj^nثp˃X_Y+ i i^nyxXȌB[ _}=D.U}q%[8NI? Aei^QQ: 䶷$Dwo}m k}VFh7M=%_DxJ^_y`ljGWd{ϰ ܍J1ՌQ%RNLӳ.5@v6&zP_ -?/"СoMOX" U 5II )[LmogJfѮBR=gһsԀ|[~CyE8gVl(ZޙEQ1}j.*4UU9).ߴK?"8ZXUT=lnٲf3Ӆ=34wz 5/؎p&eX8ٜRtz"pAgj`~"@TrZkޞkSTD`Ø7Pr\M"w6p/A/~{cB\em9j7 GzJPU sx>VFBzGn`?USRzp!*.@rq9ӯV*l51.35NF@)v>Uh(F_V%(hPo/0s#4;z[gT~R@>`<" gp;G g]/4,ЊfJ%>'@v+?Dζ7/ f'HsVAůBjU)? vx1RO;R:f*#AIr;5ny1\м!#≫Y=>]:+TdȘ sJ_^>X) Wbcre HxBСud9!O^&" @ 5ZJW>jO7zy Hd(FAGEqSt$uK4_\Ysk?)- fU&b4޳vcly~.$Z do`uP YD\Њ:"8BIzAxI=wUS`+֐vi7j#*Z.nwbտj3.+1!hw6Nt:2'2`!R-jm# Ԕ 'HppL] Te{H|ABto4s=vZn~u4P9HpG;bϸ Z+yLJZ>{6֬媔]+bCEۏty\#ƁȉJ$?;Z7}">OE6Ŕhț-&1Qj%;qx}^?G"_d_oߦFyBwoA ߍ4wRQ˗?>5 zKDꂨDzP*E-:죍 -F6 JQvxS9$J)6fUz 7@WN^5 }į`6Hi*ˆ{ˠQ\g|o(9y[ϏSӭ<pzq tf ~iґwIR(zJLLj5+Z0t|i19aPX@Oɛ]Wy0^j㼣 g 5Z/oBEeM$"&a6~nw~z'wGLA\A,p+dtgwT,޺PZ'O rk},$= FZbVW6<l0\KMrs2L>s=iLCT EŽFӕ/f]o5lqD dzkPas{7'LƭVc)E&Uv PޞS/'X{[[!)q *~cƊb-jYxPfjCy9Tc_D˶%OgG'4d|e)p#7(Na%J]b[eDŽ:qϴU"y Jbyū߼ ap#{5{X-2BGcF-X͡;u9"ȂOP&~)Ъq;C\[n>K~tm>>y[XU%9eyO#IJx̸~IqdCwdIKp)d K b[PTaMe7@PlmoV~m]uKsQe4n N1wEyYI(ūIK3<93<_kETPKs= EQLo9\[7}C+mǭF3H UTAb/ NC-ıJCJ/&FQgewȒ.SLpyڔ\~fo\uϼwX@_g˥>N*aԣ")fAh:>c+ɛ!ύuߎZ~|YnGw^zv\P36j/[Fgy nȆNWuχ3e}Zcҋ1$4U^r6^a7sa9lU8^biRewT])YH )y.-15ɉYp\)G?u"RQsK%EX|qXTnȋ[Ѩ%^pݣP;%Ҙ#P?Žܓ0ڄǺ;r$SХk/= KkZK**:ƭji|oh9Wog, \[CшAns%ך z٫:^[|e`LC$JF _s~sܱ +jY;8\Ǥ$jA&v!(^h@9+FB*#bJ7/0q՚bn$X!{ZVŌTT.KPB_1ĪM溷\Ͻxgkm֊h@(& >7|~9[u lI< ~F+/ZyAxd|J.Zp f(\^%=:2 Zu"ߋ j"LS0uH+Y~"ȸ fAҵ6tE|F( xq#XJ*WKc̲˕|  ݦ4) Z(t퓉A|Wcē.ypm>@" q2HbɆs<.њVފr4:\h4&cG". e*FۺCongᬮl)8ssDDlܳ(헆Old;f*`IVcWT<[cwXË"onfOylJS癕R"H$`2=?<Ч8V61?@"gk\!hr%2竰Hv%,r윱XkqyȻ9&b ]ݙ{`l# mKdS$1=V,vuN @o1Q+GdSd"4q6{ս[#$uMR(@F88W#.@8wRzG{t96 _V䤋k𙲂v3}ܣDmVE H9$MڍPC 7= R8K=u:3X>oaG~每(}pYqr/hIB ֞Wڴ]8($kBS_3t2Dە=˯|9ͶE\(fF!SqW/? !d7hJ N.9#iW)b^I6(2N%uJ)#ۊVr66`{ {~1%9\`\N{VE tY4 y+x0xW__asć IJʛWߛr{z&W$cqc5=<BO"OL~ucH:whF!{g)7⮦j'㓈xSYmD/~*׫x K uϒJ 7v?v/4vڣTKnk&+MV@؀_`?؛==PNQ *%H'yt\zWhNTXzjЭk0\^YTA;-g*Pgzd{,rsK{P6#93#:"--@ʊ[:\ ^$b/\@q|bJc^ȝgPW]Y[; J&FY͔t@fvֶGihu@ݩZTN f;b 1w"Z&Աi$Hz%8%ce0TF3۰~ `.hM~hq䆓kO.)C00n>"4j۾ N/mgBapt\Z6dC6ESM^$%x|Nw&"2ke 0NkJPMn$1\ϒv}s.K!e L1Ƣ?4Oϑ81˼WL`iw2dQGbzb'$){aj`VfGaRDW2f' ?%^UbJՎ1}ⴌiW޶_>9@?3T# VHo?R{-Vr5AhLLJΘR;·hĘz8>xs?v0ohN,-Y*n_)*ҳQEzz}2L'47wV/_ _m:lnԨA vTMEzN`Cѿف _ZSt9,BASL6 JE$#CP־b;h UfEߞG8ߋ]nuaٓ`(.9WFDI7]z_J76YFt1tRDWqIۋC/-H!QuwCE}] 3f $<<YRD}Olj cUO$LgyzH񮨧$F_^E pGxaYx,g%[>ý,FJr* g*,J+@Gl&ե 0ͷ`D|1*UԽ42G.)ͦ#b3&hP5m8)HlUb/mLFTsG90Zn_Gbܺtˋzu'::7#p@д7vC:gjRNk,%/j"gUfx֔a?bͿӍ3C=I]$YgϪq2K:a6C v۪öZ"pbfU",-B"L{tBU{Bސ+].j.P$ C{՜6d/IJmkMyh1Ίȿz!"lƔӇ0w6]mB\,R0yT*XONLJ#t_ J+ WC.D+0`UAxCuU8cVr;xM&ߢX?I-NZ*VpǣhwQLj$׼#}*S|tX'"gl~n@f5xɝ pEQ{'"ZCM0x~!} K"P,7)"QlLAm2kGqL @'T[#RU?m!C~YS :Ĝ[%W ]W\C!}DZJ""جm3 EE+eraڋf4w<!N2P:b\{>085Sf0H|49fHqc@4WPrve$URH FJ<М(:9J%^@Pz GNIp %n֪[DN#)F%aR僓K%X$kDr*R1y _n4BMW[O$/ Hq<"S5dJ<0!EH:tZAoqaB~c%g sJI#mh;I }X+jJ5):V-4ŨSL۞[TUW79}iJ~g}(/<귵@.:[8bKik0ϓ}y%TDAT"]AM`.,yѦarsr{] J"O!iˈI#WrejČvYz lcPsV(Tb/4ILS2ۤ6ӯ ˒$7jj{xmSOH$ cbk2.XXX/H,"p@NVN'gwO/0of۝GF`&',1x`-g/C!Sb";3 m{K>9 7g&zX,E/gPǖN ?`#W^ AF RJtvDΫ\56.L5kojZeIgEgr@6XdojiXΗ5 6o;SOXZ -ZZ43c0&ÆO~%h-+}!I)1|$? 1񶫙AUFB)lS($}t錝 Cm8kV>&85-ؑ+?<ͼ,$G|y]`w?6)ua&iKt%d~; b)x9_mF6'jyS1Ew!(CڹHQ #,sGϡu*A/M?u-Ic{ o_^H`ˣ(].EtD+_W @}iOݐɥ $Ǡq?;EX_|_~2ks#}+^ f\@wY3#QѤ_ɸf^,tKUJRʫ 1# s9r3G Wr[OѠu\fa8 si% n_G{ (CJɟ3cj? >* >W ;$B+*(9Ũ>Tsš8$V]a4M=<_ATA6mJuy'j2]ik wE$Y5aE{{,Ϧ4BfqhژnD! nK<9 <5MϚ;);L>1+^& HTΎ>b)W66OCEi$#{Ĵ ,_Gyrc|"CJ+arؠk]o4G"]@[ }Gi20R"t<@QGRkyj35W5"/xB :,qFL*=$#XBeB3-]G;&ttCTR.%ҩ @sTnȜN]arXj^ߝ矨b4AVB~1WkT _߈p3i 3|]űxe6W{x`bLe/p)Nz_-m*ܶzschӕejZ9@ &d$5 S$/LK@꼳g[[^ :VIuNOoيRքeKj~=[> a; Z*<$UEnb$wZ5/耫Zn9 @1ҾTܵ^ɱGF+G8rsBh@,`5]'u㭭ؐj-N"zagkwԐ6#{ OmO:]Fci9}V'I{Ⲁ<p%(ᙈVۂdfE=|(1udFeVBy9n|: =q3X㞬|oڸGy,eJ뫲S/Pj1pkn/ ƙ+]sMYhjg1AnsY*["A@ RSl'V؛wYb>&2-t n+݉D#-h >7@:pxPn|sW{O|;;TVSt S ^7!\XXI-Dx|~ic&+>r+Gڟeԣ]4KGӕK2t`M)<0-r%f^/UPG%fPn~{{P+1\qcCmHÃtƆ# O Mn \ȡZV'U' *?Y#QjO$EJQ0՜c[0'X)'B ^x& pñi3$:r4E~X^_*LE~-}j_ja#Ja%A)m64G%D5ԥO$8͙O^=h3έ|͈)&p8IJ Bn/ԜKE%>9@FY$ops˗s|H !7x?!vZӿcKM#A.P;_*-;Jd<" (A4nY?:0Z!O > wOl"x^jT}*@&ؘ#lvK.(12nqL?D+yٯА]ąCvюMe9u&p rYO %{OX`gV pm.DaA3:܃'<&^fU%VJ,oݬM W117G$tAȑ=ϫmqÉnē14N;~#^8ܽ1_ԣ(eWϏyRX;œBmڜحzR}0t| ]z-x:Q@,g]x]OԐ mI"r35F#3'|cκJtzq~nj~jdС9;GoDrcQt#Y,ESW\8 Ng `z*6N$.poQjOT;g'ύN&j#$2 T4BGnzRsk%"apf`W1bVzËu@+ceU|_b0!W`$c(JsSO+K+7/y@m)Nc|4Ny#tj\RENan TS?դS_MMÍvvT.x2*GԧR:-߽fD{" {.m<= KƧ%a\,HOIc6NJO sѹGze%* lQX #lea7v亨8PE6 dˎrEnw`0A.+KnM-(@mbXe`N*!o ָTfn<`F8б-U Q߱ UA` p\Q]r>,ւ/d6OjuOF \9_y.XuPK(p0h? U,43O!9j \"%75CQNk__Y W=r&XdTw)=LR}K3Nt.9?嶲 ϚB7R1CQ%9ך,o(L\M}}2JIWgŦKb60$>F hi뉍sGI) C;W}fRHZ  ֆ]1 _q75ёXQ7P3H/Yʩ{e(YUn)hb8lo`bp[@BfⵀK~ӝ: jQQqJ4hWT4-3BVL>MBMdo 62V<+A> Xut7뀲̿nz伉K|Bţ3@AnB]po%l\IS"IT>$ LMH߬/`c6|gS^<|@Ō:Ē&d6Pfjؠg3AP1 ܾ\r]ѷKPH|6Ϗj"n+::"Z+jjƴ8a=PIw$qre}vxWf<E׊Z,/*"AEQod2 |_󦷇a5lȥ)RG@%`-[ ?$OvM%47=z0|ͅ$>UЎU< OY oG9vvC|UyPI4nG 1g%>+bC%x #euDNȠlxij{8'j#ӪgbB&D (?![4KHPlHۘN&k6?[R,D⃣@4U+xB[Ă)ZBLY_q9|4o7(<{gF{?o skNcPt/62I+"xJ;͚zla]}g!`' 1Yœ=ݚzdյe4V0ɮT[Z&N8EP zKSY)V6L ^J7tY9xcMLʎ#Wy77RP)钘0-\QBeH ΪG%L"z.jr!wM#|Iќ4DfZv&S'6~0 D_|l\DS ]̭/z-fYh'ᇺS[ԕI!W1ץ$D\'4_6Y erڡ}49\23$0LRf2]D=Pݲ8WZNXI3tƴ@/ 0O|[W2;CpD[~ORf_}xImUw *K|ݰpҖ%BBdM;,|`䰀02:WN"_LK;eT-#:Zok2A[3H-h@I4Jp55 C5Xz*&j^kLqItA"obXӖ,ZMwʔp쉿|qVY8G YiYҩ* |뤉m{=8WCCI%9 \)\\^Q2( Bx =P! v 6 Qa"l,ãX6<2I1ɹ2$O K8=Q_0rceT\UT{_bƏ9 x掯qꫫ0Rfś9MQ#vM?`#*p{YlxWB`A_/Nh|/4Gn! K4lu:͝\|pD(Aqd!\*47Ǘi*ӒG1'nL1, (FR `W0JGD)$vOߟ)=L3 }ɂv7NJ>p52i8HpĶ.t3<amr󃽍+g_5X3u9pTzAI|#Jay_7#:|fv6 /4Id\,#3&̸9q ?UX1 ZVc?Ej7(OijdÇ sv ҂?GKHEn"J#p0ސ ]* 4x&{ b圙 өS6O.ΠwWf c׮w6(+[ E@s0Y۞gԑmƏ#  UZMqeL#,RRYJϺ5cp%~DJz m݃N|<7rbZcg ͓1g!2N'(PUDs-V _ʏN*ث.fR\$% $^ \Z&27՘d=BϿuR{äpj}o6Eh<#vaa6\uʋݸ` Ol gGkq׳j{IW/Nڒ/{h*W_$|'sr+'$;'mzf4T5CIB e`0ZUo{p7Ck}|QsuaF>USPh4z"uӂWKS#a:nWFުq3B@RF4`B]\ğij = [{TS,dLڵ=0!Ew>;jOCDŧv}(HwxPLw Jm%qtłnʫt7%Vg pFTj Xv̬i8~NPGPbIQGW ׅG\UCjhv6*\U?rZ^uMHK +Yҳ5u ^ .A |pRa U^3m⣫9R$ /9e5&'.|m=a]ɕb.5 -3߇ $(F v&ܤ񭁻 a11~̓S2 ȿהw݊=CI[!ƫGx%Z8q5%'^." Ic'ʂN.YNVE  hUKbٮVZG3 zULcHlF+̟,Rn(+gARb'H >Kۍn9-skt\k-~Z@=-L.1L32VI7T{p3&y;R;Ak!"tSTҽ*hr%`E-9Xc,$:ي `p3@?2N4?6 GjKλuűtqb7jv ])!w'S%ʙ} u;A > |^k^4ĉQkcELC]41u{= F-BP#2ԛXSdlbPSpc;HP}DUP94{ eyPInsN.%xcn-=MTiS | BbeT0UajP_B6j#.)fuP-mc>oFA̶5KȲ mO5_7\ɘE(Kޣ^xH%]f1cMxx"\&wAut C7ٱ[_Yud,`^nGJ;ds8Ց§dY8}9ـFAJb{(ToDgyQ"l&A{X LޥxYA=+09i y/R&ǃ( $[X*[fl39@6ўMxOѿO@xVceU ?רѠG&p+wQ-KK4|I#4#̛pzFv1^VrFs6᫊5&Z{Oyi5}j2q?IbP" -%y "2ˈh\"ɗ: ȟ1o4I&N 'Z8@杏wIj`Oܩπ"l՜[mOu@:5%kH-RB2hMU=6~xU(x\`*>Ffz!Imd>ø9\rK@E |r{,鎐"\vJ iuDo}XZBvV۾2!1S#b:يlߏbl*c3L=؁9jWQ _[m ,ُgΊiuua4Jl dĥËQ+O-ى)A-KKRfwhS&2d}4c캾%nxv,x,`,K?j5.6Tܕ!A'"Uxzτ3pmza<.= a,nfw 3Q aN(>vכy*&uӝi?y<`/I7iuym%k¨8j] (8} y0i:{vzj1YÏM-*y BٚCx Î2ah5gOB[l oqj.B҂o?w[ȝsvp|Q(/"͕1 JttOI6뤓?᧰qi?aT ?Yi -o>{A2=>ԢϝA5$?++ ,^], p8?fV/0Sス 2n3z+Dz 7h JM^" ׯ6h>'=.-j vj?Șh-d NNb9!5 $p$㎺"=1,Y]>۸L%uK (8Oe:LG-~jD,Oep@rkkYST oJDy3_M*GUmdR9{wFkt2wÿTn(pYhW2nD)qPIѪQ=> _Z'b5v0QZ˜K6I?g2U Z粓 ҩ5cdnjm"<#:7ϯ2"SsFV=MT]a9# bapgހmPm:~H(bݜ5d8_Y9{n0cH3gg/̤ECN x Ŏ|6 a}\ MNÄ#7";M諑%0i8O$2-7UM7yRKsAzf*5F4jZy.ORA,6VtR_M|aa T.xyx Y( +!Del6kCn)3d`ALH؝6$LǰF8_i^U_S==e3iDۻR|b#F?Ж軴!0U s -GN`@ړM q _<{I ?7W/Wu&?#i5CJbM5|4tFUR15rwzf~v~CEQF#%ZpD{!%&h/M\1JgP9)h^BҨ|ftI`Rwddkc^K.r)&bRqxJ]# b/6QU&+!bBx"̈́ ߳&F ]둼_$&h DeDəL{&79*قUGPnx{R VFzTGu y w gGy pN"y .E 't^z8DxE~J&Flհ vˏ._#UbP.3+*Jݛ- x8dx;=AKu\Ð9T1NL N9w?}(m<)W=Ү`nzb(&q 8{t+Ff?M"5|_1e)O󘣍>@81߻ G 2034F6Q炽cgY{C+_Q͜{:n$ R5Y%ZQK%b^yFY;7GﮝW~=w 0 ùYuIߦ$sܣiϒE7b;Wc =G7d!u#7N̈XB-Mjט%ӄ WQ#356nW* 䨞x!@QiHˤ?#̢0r  T6otm08SL,>1b%cp/-;"DŽ;@fwSc./\5ÿ|>mIJ 2#9|("!+( A9} _D[%6jz;D IᪿNk+TB5x0Wj# :ԃWqhP֛nu~McXJ>r3nү]( ҫ h74Vְ"/#P*xgWK{?wG5}ӇЏ/a['\@^(Ypߓ/ksܐ˨F;^AFm)N40ۮ"͜|Fqtڋ< ]8pU'dn gfdh*/TP,\ȽZ͌c< S4Y!|"<;۫Č^TVe߈IM5zQ'8;C:qM 4|Qj?5'<+XG?5ݙ̨!F^H7uKدz-F~V%* L1r!h@F\S2 Q'zmP,}h(lC_.IPV(b,'W RwGl3FPҚe%g_tq(OL;6 ==ڀ@tAՍS, uV؊/Xϗ`ѻM"T!-ZuXpÐQďo؏r,L)[xO8cY {#2yᓢ1Ջ@U vEKG 93@fxKN'l F#π`wj= !psX ]tTr7-4i]iȕ[` ҚDCAzؗ*SuJ4뱙"GxeGB- AzRˮ_x+ \p53ҜHIP~۰s{=U4FX^yEV`bY(vr7ɐbFt,i9וSo@}YQL!Lm:6(;! upOpr#mӺ `©h;umEl'! yK*Pѧ HCh{\ܰ+nUp͍IC f 6NNdPK)yKٺ1uJ 2 j{G\m`iNÒzcmݪ'OlPsT>QZ1L Qqz]@ۊ|\EdAJ8rk~Wt|>o(/"?Gxa3崈M/[""BR uLzRVӾr_ek h5( Loy*xg@q,jҴL>+mܚ0,mr,_=TWP`&V$|'fGj{۩^xsyݪbYAJck)-"oYCC@ݥu ߕ-+7BOOVީX3[ap iձT3 9SXDh|:/_zeTIJ3Ll] zIƔVGJ^Bmǃ75B^M -^Y`S5ֹU-U I2n^j~۴畉I8@`<}P@ֱ. p(@8Lu XeϱM=>wϣIs2$%jN,EH3?QyuM@9:P*(T-E"'VeH!>hk[sܻ7KO* #`\= a@c;o>.sx8=4u:z_0s|3<68[4bț:Z6| PUsEzݬV2ď]*6g;A_μp#e) t?@r ?\hwNjhl Qhs}sg!ZGFu,8ٟ@ ~J}ᑿu|K4v%qn < A ! s}Cgr-[KYm{>MYCFnAX3\>`LZIxG!\M:8qKLѺ-oT\]9'I!+0崒7}԰\>A=*EUGETn8W+7:iW8aC `&?£AQ?AP/CقZ&V#|?`|m6 r.'\Jn6^"%\wik0'i;Z `Tl P e1vS"cX80c'mXbyrx\n#l-,򙵥[d_T) -ss0`hS2_>Ou=PdYNDo{:qFÚ4i '9X!cō1TTޔT/S皪V֚-/1F]j(gi"C^g[٪a=#&LQa2 {NLٍ, z!Eo9@ҷNҰGo*r\/gF3lgu5;$:Stqw M`Oȵ &ȿU\ҥTuaTK԰ݵfǒe3gBxV J'Ua9#n37cDifne=oUjmD6mhdf1DDZܞ 5.0nr]]I?RJPjI[כ<̐Brv)'_ԏfq-pwJKbƱdFFނP''b o5Z-ȗGuy44S^U"yW B/CL>ۯ%48T T~cxn>2ϝ1I~ނteLCޘ'vݔ$ il0L(]kؙOFK@SGhVFնG\ӘFPBD!:1Ie#ATkpR` y=xì &pR-o)HC5ph{UbIyi{Xc[~~1yZ A=_P%<FWvG|Gݡ 4&p~<} ùλߗ[2//] nxs7 ͋#v=TcS7JLe+=.D!PhZ&۸.uwCG;P=`_s7AVR!n Y̖E oDQ3Q,(iXj]uS\3b0oеDHФ] #<_V%=!FUĄNlr1XP&Te(=GNj7{9x%%?ڇg9T9Ć\"16&_<ܬCjAb6, 94y/'2tj< E P; * 065m:$JUXOUmq&yK""9R25h0rjIFc3Fx3[~}WNtPA{ L&oڋC[Q(0|HrR0ր[R aQe;ґ>{&B\ ,κZ PR@te3*s-j:_icv7o#JD2}C(w6xnU_cyN%E>jYP1]u_CsL\J QiACѫ]{ ƚC+38D6§;? WxAkfáJ\=o1IcMLYoh( nq޲IFrB>MqCY2PCjc.r^Efr%8]8%B~nKѶ_x"~ rg*~Dp[Jf *7,n1V엨w-Lh` d\z5;JߴIS|S*6x*#<"΁'\XLڪrrnRޙH(o(f" i!U 3mtM [(+{cQʽj= el7`_‘6&W/?7uZZCɅY.k NAtT`\XiT%,#d'P J޻pbv8 tR:j)N0!/5n=zf&!9 lC?)1Y|IEy"OA*xp"ÚuIÀI'Un 7dPlKM any;61OTn`󯟳U&g:Ă^%X -]ڵFCLj"gCW})e&ЄS72R:foҵH7kyH3Dž Χs/DtjZ>a2Q|+neQ-Ǽŷͽ G, bIW˶{3`d"/5 "4jd.833xgK֡E pM)zÓc&D" 볟C>6F1gxH]K?`KY)PL7O4Fp-4n'42,wO4HVR*S:걣X~:gl%xs8&W.3foAG,ZNSD+YȌne$skBsD=jYa'Nƈyjes{^dX'?\f\zݿ8\9) Evݑ4p%q[{8.W8@`ͤ6k-\uc'ATHATv 0<̹$j*N>jI0˯YNt͟~3.e }Mg{եSD0"E̾סP3%q-L֝US58 KSn%QSUǮ{&:}c3NI?zdx^_pFis5–u axkW;RY6'*^.YAGZ< ciLT #e&(YQh' n;Mף~̓Ϳ{tI)1 G&rA'Ut*f4p_"aSZ5MdNOk}RD'L m1g :.flBBeΥQ |P;ˀ,R_ 5XlW<\Ι>YCY' ghV[̕)Gm WV"kݺǽ.yN/`6Q,y?w8[L:vg5,O4ܫc <V}4lۚciQW8%8`;ݤ^ޫ#fi /ۀhXxgK*&RUNc|^J`Z&hAy)ø#ހ{иhQBߨ'MlN9Ι U#)z R0;穽BReG~ kf>' '.;vX9B!1kQǿúlpș/ )zSfZr$p>0}tN4K#.8%DiYe» r[OvߢYݩ> 5  °~FzqVs˗[dҊ֊)*WFm\|\Y5Dk\8Y"{p)>~~6-z^ПԬr1E*#YbFA8k}j~iXSGrqO3`;ё/A-jpnu9(W[Ha@h )Xh.`'3¥'8xFg (dcئr+D)u,볡P"peNZ"Aᦽ%0AByЧI_fռ2 :ha)go Aa%iֶP狟+asD0Ky|dz[{8kzW8 ܙ=4=(Y#0-@WG8%Wq1{^є(%laÔ壶 :H2gNEEޜosw6|$vSsY;x6G*Gz Y+07dJ8Bϕ8 ((\*BFX Okrx؜ I?_4d@%c|=9,$Mם_QW)%N;_NNA ."lU2Feњ R6H[c T ehtL}Su bUGckV-!B%.>˜Ɏ1n e>Ec |#.-ROQsH6qD4i\ud8g Z }umr=ޛ4|@6ھIw$8FMU:6}VO핧B U(W0$)ž%RfI)ݤZ,Bvn ^٢,9)R/FQ@JĊwZAoMuL͓H ]Q?\]X FE:+WpRF3}0T N%m6`j3zx~kV_($2te1ka -R,sjqm/m!E&C]zsH(.~xѫcrJڤk>$Bh^V<)D}#y9`6yWLx B 9[H* q4V&!G 堛l&eb.a"g^hZ }t4L! DLW5"PYz"B "t$m i@B=` IĎC:P:k]PD狼*3s[L7% ~Fykr}从5ׯẌUd9+ Ci 7H(~ 7ʮd ^:KWa{qyF?9 2θAz* 2ǧ-`L׳@%qccso!|W M K.iP1G3TGssN0pxCSʞN  !BrC?o]R]{^G2i0[ƾ>I WqXV?XODs"Ys `Kݕ&x*aNve(-~* dWqbm^:~>1S؜/.q}0)y׮St ˳/-ScffN|\xc4^s3Q/9tS@hrxT~O62BN$LVhEwaB&s o\CL2 Ht#/̺r:I˫* &-J} d| {4-vBrSh4"N M@J` ³SRx$yaڴ!P>Q Cdȼv,$ertNQo -j =ЄL3]/#>C!8 t=e_O(WvD{<4=Fxr*Vt㮢Iʖ@okCʅ& 66@hm|Q E/ד1YT mdj~nۢCH@}e3<)1k!Xɾùb$j[hs˼'`ۜ8AH>n(XZ+",K*zU{ quB_'5wM5$Y&+YQ_W}A5:' gf3xGsf[=+밮*'Ϯ}AU!7&lqE7;JUWy h5F4V~e`3F{7H]pւxR&`0Scr //⫄˸an*al2*{[VB~~CiΘH=;#)(XU22~DJ:Oe/Y=+>K 2io .6'7mhǔmjذ$~ f&`a\WAɒd. [K-(33-glF} nCtM:+hѓ Np;9SaCh#Fu勔ɂŚ:7`G\Sv.4XePK?j]@1ۼ]mTL%XK<;B~$ҸRIORƲ7(OiFT |lz*~*wSg#:JND'A-/x9Imܵok6=xSH3/Y̭HxTY3ls|$%r!eBB/)%UwWHho Ϝ˟"9qs9^Lב2RD)0E1ee :MerFDvt8yLs? pNf:4D(s%ĥ-,_9[: 9QR%<OڹP}`/R,ǂ62juJ%-NPi &kIio3C#y o_I([m.K;sS!%p]PIZ7 ݘ`0U_{l=@CwSSuBE*+XmY5xɓ2).QjQ[8~a8xHtM'0v#k?14+$Kj Q{dp'9:Eڕ]t@_AᝰHnH1b!_qJs8k:5ۊJ9f:@AQyE&I[g72fZ}ϨwT~ :?Qz5,o6T#pE)prdҥGֽG!<~K ~RK9wah#A^`˄dJS]S]ͱd7u͵y6Hammw\ddhtAyQ4g%dpi 0CN( P ?{RJ5պ}B}KUG[×e [5&g׹r Pl<\Lxpm\(BC`hDA09@xR?ߧWc c upTauX }bU=tCOs.}ɥ~x &t+Dv(Lg].V}xBVϑ/:Ѣ26n?2Qjcx13t'/]qA ,7;yVk܊V5HBAA~sn֪ M_<$mv ]7 \3# "G3OmĬ`m&+s` e[`3r0B S.+R@+#l8&Quz`$9e$47)+m[gJBC?LJF6wdS0Y-X(,Tvu(}ZJkFcؚ3 hPÃyُ')l@)^1}bRw&{\ƮrǾOdIu7z=$eEx;U\u'cé#c ]BS}77!R]='JE)74YE[VnenϫdFܼKԔY,QUhW4ob&8{:GTͺmY49 01.  >f6H-tNi`|t.C†ӝt,gYZ 9C+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102D1' 4ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O R]Ά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߿+s3}B"3mce1V`Gy{5INGqK $B3s.oڦҥ30߆s'UcR`~֞ɰVYέmP%y&賊]$zj"Km2@PPHS xf9n44@CY ؕgGK좴|'M~{pu۹.N%L285,ƖVXr&cjG:#. ld:m#,isbŌqFH.e0t FWyԺ_ 9t4]+^Ns$Ղgz P k#c\oVazjavv]XKOT^;ߓx 8U(Q;W+ށwRcJ"!VKcVB~6Ua= ح Ewl'pSEQxtN+l*Vؿ*7EFOFq~:8."0 {Tx} CXφW}qR:y=gt~|5ۺEUf׍͓ lJuf}X@VmPZ.1٘~a%ě1^ EhU,} ېV䯗ltjtH<`Yå")[WTcӞ|@pv%bq{iYoRu\P|ÏP{Wc 7ǣ4CO\ Ol< ,ȁqfN|5}DNx,_+?΄G,xы6@Ҹ۟\L62 4Eo^3[˾'#wǗiz24%T)/tc"^Q:5Vo*[#:X;JAht7x@_"9MhX#*=ZUo?/۳Vt̬uOm[rkT5XqJdofԇ݄$2(lΈJL.`$vc Rm[dWMm0k6޴>lRտ!T5ǀ;<] #sVeymԵGE;6 P?VɎ5dQzxP煨]!X iOUUt:ANg6Q+Xl9.._b6{}_;TdT |d5sEch[8\̓LeA} cy(e ZN̜j4hٶ0ymt?6$+ mY/N8>Bо_j]> (3|Ӳr jpYmʆɥnU(LHm2ރRS(Xವ8` Nйiӆ^L$kTW;X"¥H/Gae |i3G ~G"pqO) Y2Y@uqU^>l^.T4mtvfq3Ҳ]0ihtW'GrWp3}!sa#1h_4<0cnC%$eU6HmO[зrvtN?EeMQT6xb[8Ê;*',/,q1,,+Ma`|IE.k p?S}`]؂X>8o!<גS8G-Z&S@dψ~ԈH!qa/D?ɐrmb2ݥ" *\nC-R*jdӻyc9ߩA Z i* ,:M0i>M%G_X,(;ʝh`q"+`#2.w[pChR Pf2O]D:dq}gX9N 9gk0C,|#r].3.V8!F081 ÆORαU()1RTN6V\ԀԞ|bfKwcp.ё!7FK8d,fCIWPHYi8@(lv6 kIr 3>h$*L^cЎKgYZb:jD~,=+f@G5v}`7y5[|k.0U۾Ha<_ӍRc9`zxZԡu. А^);, "($1ݭL:k- VyaB;ЂHqhZ(Ml~$54,J( w>$Lm."{ѳbd٬EWY| -)D>,w$,*&A 0\lGhƔIt%' U5R嗞 )ɬ LrլRa J]ȴ g'n'ɑ$~UKdAvY,_U[p# ^X ˝:0eۙzUޒt<*r"$ FjG$$x~cD$=Ϡ@Uϸ+%B-"ԴiF3i.?(Z}nsԖ6jQkn _eHR#WdvyZQ*_) &eq[?*M] 1EҐ9 aMТ\"HsCp&Y5M->SK+`ѹuI c`(X]HCJc-c7U F`^4IbFY2@nڎ?e!|^ W>fNVހ.Є8YP>d=ldٟ~c^-Xo-<WM u5S\Bu|9`Y 'Ϯ=/g7żyR&DO6Qbxgב30L\~MpPa.k.p9&)d e NLC*cVn>Xw%e`PB[oY ևEWz%5X+I$/Al'׹cT*XVfAb""o4pz[zm4ē󘨡* 7c{!M'Zb>k#&ޚBk]'7NF|1KύѩVC^Ť/m{v7eB~GoVyG.׍(*hؗr;- ?@Gj<ËZ}y/jE5`B~`'E7,$ dE,kd2s=,y>6?zB:a"ׅ=l+םUm PUn &Ne AEL|']-?s#`OPɏL|IVg2od5_ʲ+[{")=´y"I0:b=Ø=hEOd\1 ҐŬ*k\38n6Na~(1{p/G,>xe(xb:Dln.=\E XA2 q3_;"jzra|X uAP+JGɑQIXC!Jz4CȉB&+O0=~&Ez/"_!NRRO#ccuq{I_q5du nk$PFB}P9BfNY2ˈI;p5/_ʠ3I3t7.g 9-W)b=5RGczގjm[f)hX$.!4MNG0z`m60AQA FXkgm=mIӭe5j7)l+v1n{SLe+P3dϊߥȮ6uNΔo.ZWxaa5s n珆S`_qk*=I-يTQDF22w}DQoާ@wl ad w|\M`,Hf^_\ٲ| 9"jk@jjc.XӉe9h+&~ڔ{@JtOv.D-e0JLQuQO^N+Z 0o?]ou%HW0tAk#(4H`?۔^АΕU]ݻuzٺ[TM>Մf%r宎* 9> BzUN*3$29p+t$aJbgx .tbm:GNM`ʀ qzgEנ}b*M yTP!c]oɌ = PEݑTHx=+U{F$RY+qmsI<MO@/R}5F'ѥ߱H ;tQ$TK (kuT#z6VoW_/;Dodً\P;3{s##%`C\P]X:!첄|fJ7p &qb1$w9Ey⫋]wIqf@TE!e :e܆`9g>8@lZ ~1Ȗk'TJ्Rʕ}:/h  aprFkIi.[R}bR:'R7i f-$ZV7CդKqa`^zz,xϹJ^iœEpS(nO]mm[cULtNqi3"L'w-kΙ* Jg=SE  f2.웽ĥ0)' ؅Ӛ<w1T—}p >aTzen.^Y_T hfF?wP>r۱ʛ O)7֐7C`<\ i[dh@_9zmhmHpxu7)]OQAZ D/L ` c"<10'CMDG4%Z p6VoBiAO d=E`U̽L|<_i.E/θKgcuhZ ah>Ϛ aygYZ c+# |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 pzr2_T[%Hrf{ ]"_ԐleMa2!gL唈g @Cs/OqBZĊ@D$fB9սA&p\/}#dlbݮQB U"vGl {IyQa*=[.x?\`1`V cyz6P,2r` یݰN UPZ* 7 :UhM݃=Xܙ]ydD yy{`٧XKYdAw )pWb Pas26Q)0!k]1pjEwLHrmloݟ*f6: Jca%?} 0M [:1a%f&ƕD Pyn|K10bfM Ų܏|(uiηt)-(iB`$e)0,̫+} I~n*h*q5L v*z "\v"1Ig>l?L GG*0\t¢ د|+\7{J5\lD1a#'8/8r(+#ʥt!3x!ٮS|L!S=UIY I7(-F@#7 dg$MI%[Z=UǬxk>Eν+ɧËi1!]0/*|D|5slzU}cpegӚnX}jp5rXP{yybq%O@ 8C2(NUc}t)uu׻Z3%|~TeKL 3^zԝPJ~k(e[ZviiV7,1"Gr:5 ˲WYD3\غ)GKYTs(8lxq~Cak04p.+Z{rkL[Ӎ'!,ʸG# =JVW#. AVG]zX9C~ͦ5mOBT[qr U?߷hq?Pt|S k-~QU!Es2x`Y }{E#Ho++"**9ƇlnArȨ̭lLZⰦ4|\ uvwuI؎I,xJ@7s@=37{lDy8ba?L {HGP{Yhe$WxoCkPmZȦ E9Yy tJwS.Z3z}6i~cçCčJ#&led%^?ݠ*Muj:~cB^`7%vrĞ01,cjw f-U!l?U =~u(ҪHƽFL}`TZOd {ΤGx50;Q„r'πm 5o2IP+L/C>rMç}o 2 $,nc ~ءazxv@d13 p 0Վ '%k)LIeU/bo6a+ { l 2 n{K&3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5%3-ZF-InductZF-Induct.DatatypesPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׂ^^@IѪ.SnѶ:O~p ӍN78v- NJy8 n-Wm 'Wv}d-q 4m\1%.I@"# ;'U ')贮qq搋4.Ӡ\JkCȶ=X*s sl!vpgukqajG%gW| (Ȑ@h pVkgYZf#9# tZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦ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 b)_(TQrgPv뵍eMc&ź8Rxx+m}2Ms`pcM#b}8Z/-իsKX]1)䒎z櫠;ɾu"84o}fڳh~ v̙(鳳\fҨ戝\g1.UX7hC tB$QxoF,!uIҔ롓J`~Mw~$gnҹFxn1ǟϝ/6[ei1Vϸd-p[]mΝII!4W$83,K+n>9m С@S+LJgW9t.#Rq5)!eNf̫Oo69)gYb#7@\gQW^ =G}C3m^0Օ&pP]heMΙd@uP{uYư)| >cl9k_HNv\97gabHϋMp+zDݼT`9I)5G~3t{Ф5`U'O؏<ϛtHΓ:ftvrQ_)>mτJ[mB9Ps+* psr|Mn/>*%N.ӟ`.{ց{- [a[A/`&Q=H9ErUU-Vj1-cdq uW05' xh KnJ,Q Fh:iaTV&lpJ[öm]EJjY5ݚ' WGv3'-d;rF=lJ?>IGCR$"s~M0h'(ek[Ik|7U/zUEf'CMM$@'3)pZXY.y\uc{ZfF]Xxꋪ(H΂}k+R{5f?\) jgĊzRlok/ AV՚< D&lEyVd' <[&_wltl$ g=b+mցt}Uxu*=m<˙HU Gyw HdDWL]l"&;Ya.5DneXqv^e=0cL0E8]\'vcgZ=uyO >KO:PN2W6 T=RZb)HlpW_4̬Dʺ&*sѻX-@h+hO$*N,KX}3?Cprs }=0Ww2uߍ֌j\ߥD=,$(zaLWGMB=w'gVE; xHm׬^Byɪ[|\`k=i7JQʉPܚ_^ΩXpvƷDybVL.I#RI媟҃ƅd!D1M>ҮM\` { 4o14{JlUva\+zaG<c=nH=? 4@-G8I[1OLnG^ \؂. ᓳ|k^b]AՆ,(5 Dѩfz>Fu珫#ٍvŗ߫v̈5OT&%yЏʗlN߃8rςɶixi|DwKĈoY瘴p&Z>TaE;ыg\ևrs H>9y`p})_Kω-at[m}Z{|qt]&B NTanN{SLfgYZp -Znk=07΄F%ʙ%EzB 0+Iƶ3px ЛK/|~"F=ǚMɊQv*e_c CmV ̴5 qAou)؛I1* 8,0pu;$!t>lw C4iU }GO'%lVܖ:4\ȉ/YNӀ:Vx+Vz0#aY>IX}x/.`{T&![ ZV4C"ʊԻP˾AsYl6H:=Mm׭]lcq-ń/: ܸ)U5G0@9i 鉒܌wE✱co!gŸ$ ̣wB p.9S[{A&^JZQj5m/E(?/`[cpr-RPa|~[' #^~N 5=J@׈y|Zd+/*|{a-'WP[:lSa6J|pii*{xW0#+*{dLlSF$h4rl=V# 4'5ƈs _̗*3tG og+q`;R'_A;k7Aiܾ ݁z^*&2\< !QE1I4!$-?aNq&AH=˿Ow#fe ,q A5S;,%gi;Rnf +Zʧm-+=K 8vK)C)-4sun)p<]0)rS[]-p8>4,j?#dUdاXKFW ̰f kiS&:Ϸ1l ~|mv@t`Q\fq 7t2p z64I:<}5D‹ZzZE_ t+w~nfM хQ̀#Y0=^.J,@̬w4gBۣ>?VnOȹB1RH!n>KPL5BK!2!pLc+hunc]y)-S4tR vDˊQ ku>+3%m*>#4 RaTm AKԹ /^7Ŕklx7A콗k)66Z@en+- $]=.b x[l~Gb,L9cҳxOƙ;9WY9\M2ֻݡL W+[:.atՎ,uWi }lƑ6*V ˢ8 Obs %XNa}n(cG[dRn'+2~iiQ\>qm1~ GLw•͍GcY3MÙpE~&~Uux*U=:.GLM7!a.e AXL Kvfq~K 9UF\:R/qpTư䒍jHs 5KNerE=v2"T.f2 ͯBIu`3IQ.mt]HeT_FcڄEGK0eᆷv r.W yBI(tQg?> 39vO\BM?$ov{cd52) |irvyusѡZ,X7>Sf/ninK;8XbƸ9C%sxME>quQ\xPg:K939{uVY굿X6/KL0l N*T19 CFbӢbRܥRscɤR(&|Dup]O|=@gZ(@.ǝI 3$pJKdf~.hs$ħ&l\xҵ|'^dayjW@uԱpWp. 0m%(iO($v# tybWa\8v**w"uC]%j݆w^-/o9c@m6iIG<ᭀW@ Q [j-&O8(N?k+9~|IyokMǍ.m/"PJ0+eLj{, x s,|e?Z_T>Bi)#e`V%Y'hE9n nl?9NoW @QTր1#txцVO{^IJ- ctm|,s3yٻ+\H"VR[*\rfK"o"k;#ir'p Ba:0^Ma rY|[WG{ٰɅb/QDT%,vC"2NW/ٍLqɝL Uw-!ɐ< zܥDw|>5e)'^9f,5{6;@U M_=dq²}Xz'ܻ%no樢WIm3_47kv> jDĜ$j2pa,ƖKaߵo,9$! g=.Y&Єxx4] OC3˞Rj}gG++~s ^X4#pF03PUfۺ*t3>wTڵ>(5q5FbP[xM{evPo=s^A3yeG쒁W[+܆ػǓL}ٰx{>:w˚XNԆ>ckUf>n4Kj5.&S5eThq< lch]ǒ =~}x5'_*֘O'.mPj-$m%". 4n7X𠻈Exc a)C0[ho}䶻$a#@BSw抦a.C%=F(#ö|1 cM e+o(tgYZ'3# lZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  0]ˠ)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Ӂ9^JOD9#ɽg_ξ׍AmT\Phaؕ!8gB3% uEp ċwF_vdYdzMk){yL$V)^ڣVvg4gV{Kz9{]쳏k6ܒM`uj%h]8vգ1ơBa!έF4"ԜȮkG[ܟe4ߧpAPZʴSwwص,mbS=n^$L=̕{ϑDQ4!>W5/axe;`⴩\5kk?!71=?Lp7f{H,F8R&go5K6'A/x"3 (,$$0s!'7qqY?P^ q;,k>][_^є"irt>Y_m)pL>Dwjʠb#u1c̦mP6`(rTR`{]2ahVX↌"mm@~nF|Jc:_fa=z6Ny~~L+J^zq% FےC ("Ut \l mTMrw PjoS91{*jGGflix0X\A=tRTD-w #F M${mWFh+X阵`-GՑ' 9b۲JZ k AfF{!ŅX~*b_Do51=_c1z=ѽd.fc ~2GJLu ؤZk'2&HrQ&.Z)o*XPƉe 8O_KmFO酴[F?,HPeD7 pUmIL(=˼>(°deɺǤY e ʈ0aL`O%nG1 ؊aaT i3b&EXp2!)fbާ [0O/_M7 .$%+(wǟpufazGX Svhz:#eu4`I+?)hZMM[+>aI!phl-&3 DgOTC -7 c(uJ*oXAa$B:  qOI s55}\buL/i1/'7@a_=7[*‚/9Xk~%Oص>7#ƪ?-)~iaesXjgEgr% 9CjLIǀʼl6\ϹXmڟ 1"4s"_T5]BAʔPRLT!O#c@7]O?$'|\o,c*{Vl0S,=x~ 4nO9Jfơ[n Uda"7*noҺBJ`ݹ XvCST;.YJ4lY]`rnV&ɖø̖EY<Ӡ pS0o|A{$cG(ow+ n@"kI w )G4Z?W 7TihX? M (cUTܿ4asRkV!L&|t1{n5NErHRh:`т 9'=H' XC ja ]z1U :($D.K}̗ !^)^BxOd(߉3FySzPMɣvƖyXMw" Fjw7@ߏ%hX:Y,y@ y†ֆ ($L #G"{xyAՁzSk7G|ShV*X6H;ʞŴ Dx-Yu1ױO2Ď*&Ua+u0q{2W"p\qU[w8fz15?S.50">=t(''d pKuTfn@.='#D!jJiOw|>{q\kj6SpPOUs+ω5OeUS}1ދM-ߴ3Q s*O.Q7 +XCQ} vk2Ƕiv$(g)Hr: O}q~a1R0-tCkC{Bwƫ|X CYtl ӧ',V(: L]xh"yK|(s44Y<`moN/3$XjiZn1{gӊz u[%G5gYZ#$>;$ANMJAH E!9XɈ$ԽQ3-(fN1%LiLw3f7 #Cf3FWY_mOD <(j(ףU 8.0y(M+K<y\rI'BSQ"T/w$5SX߬0.c, G+ky&fiJd+^b #ߙ㭷OZvʿıt'X ̑9_4`P*)yp7O٢p0=Œp^>GJCǁT$lH~nNsp J$BaIP/>nOWֱrD&1&:& 70[]330mM`EK⧀߰Lj8~rfy^5{E! q:ȯ11FoY+~9a#R3×!˄L>N-1`~.H(+svڧߝ쾕Blq4ȣ+8)p( Ϳ9%7}:z'wcOXX6~9iΆz9JkLBۦ BDOp5g&5CX.Lv40zYa~FK]2׭]d{K"3!l̔2O)R ]s#d=.L9 ]2&kJI^l0L$sё.ΐ(W\/]_jG\_ '65@5UtxU$ljskad!/Mk8K);ܙZXLrG;b mr =*{6zO /evV=R?}63]"lCNt 9\һ]H3Nb+ӟ a'?SÔ C* PU~=u+?4ЀHti)H)仪9&8ludqs k+Zb~,6ho_X~`dṭoRCڀ/K8A |Ϙ0ݥB<)rͨʤC{4<vFbS핤T [p*iZU9>Fصpޯ6Kɉ$` l4A/# uOP2E>i9^b7c4ASd2O[K.T%(BF˹t]UwXDgZj%Pw0aѧi- Ea漢ꆁ冦d+uB9Jkq#vfُW!:Ajoxj,B)-ێ;#^cӞ!&q2L va([튇[M(!#Ut\MBQq8-wJ bz(D^ˬ{hs UHዢd:Ʈ^;^3iqmo1.#pT#W%k٘ 0Tv2/Ҝ$t1f.߾RH Zқbaʤ"n42D$#K~0-[d|djsہ >bBag H8fweقTDp&Q:~yo]}F/ j.H mKWgHzHG&]SR*eʜ|8N906f_U~fV6JЅX&O[f^L҃d jJjSQEb~lVɠ]L:֘H}P sǟſxН遚?-]=\e30b/z4d cL0z F, *N/k w&7i d5 Hz7DGmL(+Kq^-ݞYYMo9>L%A\9KĈHWsu'׃yH~;J.'~1o0 Z&nJE-yoaw7+cL#KSЭ$?MxZb|.`g;M(ࢳ5%;o/z y:|9,OE]檪V)gŃ6ըY}xt C4 0,9՚1ORJޅ)&#^xuuu]/'.C'c0K°`d/W5U_JZL's f<G,Bh\(1vEۆj#"010FՂ,eCruIx_NLxh#>Iqf0׌O|7m LA;a!+U~QBmob~sq)Gャp}^lf`˗3-e`W8hP]woZΚHm$<"h'd.>lF V'K7#dQo R9iDX/5+^@FgrWa~l"N% xR1I#!˱#Sbi9K 1˖t8wA $;"_+q][dC3eA-:%7ϓz:ȭ?F~(XįGyHSi=H\N p@$֔P grPۙyd> &SH0H3<ukd`r$C73`Ԅ"VOn$N*c mO% np)$v1:^y5>;8)]<U7,~m8Ѱ3?J4[=TҬ<*Mqѿ6,BRri9=BE4 oP٥ fşXNi@([t`$aQ)+ff)zʖ9 <.P$ f|u%l߃.\YB6 a'>#޼Y`O23PE#E~_Mܦ}jBDi-^5*1@3t,1|4Fl6.fa4-a5uЂwhl9Q>ixR:-wתW˟H9i-dceEWަj:I"bigYZ  J  G2/!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[:|&[zq;um D$'՛>7Gm"*hR7,0 _ 5I/qv//)VSo>ݨ&ɯJ(n5"hp"%[V ?+qX>./B1`П$%t<sn1M PkYf s@\,Ye2uGR?1oꡯ^q0ubpA9WFyUɦ>WG~v tGgpm X$8%מDA1C&jt̖aU]%Z7 jyIi\[|uI͹\oZP .Yx$l@9ƁL*gX/ _A, ㄜu|C *A?|n Tw7cq[V{/]]f&y7Ϛ/+L?eȦlf$8Z}$IMOxUl~d*qHK/ en;v!ܻqyEY֛}ұ EEp#2/D7BzBr[9" $Y L*fRIxJ[ҠGs36cه[H aHn5St-^|2? 190?\ 6K~3gme0^/Q9I| [1u"D53MWnz^Q~ ;R)~R*640bo~RLgD[4t1ӽ޼H:#ڌ=`2YJ?`d=85@6.S=,&Ͱ7'o_Zy0:X`o{Ӆ,$.Yte ݣLFKae]Q`.!%Ƴ CYJ=hbyeeݭy]؊8 +c\7՜#l~{WYAC2YZJ0})Ix3бڶȗRqVGh+6.vd1t([ʤvl?p"CT_S=!U/bop +>-j<(g7կ7G2W,ݘYca4!ނLdbh%V]{#Q~mnCY冟^FOhpA;a1H4_G@ Axb|PaX O cXqe C^qHĵſh ף(gYZr/ /# ZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! UsA]ˠ)jk2p O6LP=͵gl5gՙqjE- R\o<;q٢Hķ-2. aKmL*VZ*T;O^RM3C:0⃞kUiD Ow@zE.e l_2s=-emzy_`H R?փz0CA0P"FJsgi$C' >WW囫bNg1_V䱨 \p=8W:sp{39= !qgA\6O)NH5 6%.?|D!0c+4+dB;]A`ZM&99$5'Pgk -10!@^~ж% 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\`9YZAV{!Y03=uMa-Wb"C}Yb$ANUtI{5c6p!JN/*Wk´b~N/,'Xr-Z@~vtK pI$T lf\̀5 )*7@əuż@pLS> ê|>x)]0TYUQY|c2ZѱP;JUb;b ng Eq{ S(ҴÔ11]G=$d<}'C·uhvc+:+"8bp"}hzvqNj6gIlF"ZsBfoSSϣFWP5]'9iiG3!Ϭv߷ą0Q}FkJ7k=tG5h׭ĉm,=xB!O1IۦUv"sU^bp3.rL]**OK ?#O֍lq>~]W%R¡;O)/<9Ux7-M+;#dGߛg'$@"ػHYuI_.GO_8T6C#"7@'s>neVpQ2s1aAG[Fog!H+A&bs(ŖR+ˑ1'-cRva$ ;9hTv ^Ƴ*dsa6c*~VG X;y)F9zT mJ=# ڗ 6X32}|4M4 5n.aXJ s(7uM\aw]dbzR,DdGPg\?>؟8!GC{[3J~C 5q3z`v@oz3 .?u}uͧ@A\&̀qP`@@KfDT@^ު`rW .By%B؁-NȊ8VC< __'3͡M94kS#P?pZ!e{C{xZh؀*~4$t14jC20 `*IQɰ`-pCUesYބ'f'-OG=X+Ə+{`az':jцPA\*dhxPg-JYy$FtL.\07pco ?t2v?QOͻTd !q(JkO88MdCirb7[VZW$G9rq ?m&7F-Xgà5xHo0lӫflöCXNT;i 㙵 vlĦHG}-9vg<$茌KͥH m ˜7U֧PtA,v Ż#x[hH%?z/!_*e>7Ѐ _ۇ+2ܴaƫvdʄ $ }SwG=N'L|qxF?\P]+>%<{qԺ Y0նA>Z^Wb6Wbw~K[3#SY3Ҟ 5ɽMDcFeFZBHFLĔ dnh0Ĺ}qlQZt4!LO:}h{Szry+l Rm$nGG歷w;8ӱi;Dyej qlLs|`}TTC$hi]""t *OZ' +' ̹{8pp Z̉nxJdg迧/m0cY>!,a%m\mG?R^`/eΪߝq{qmĔ!>?@Y{2 #]C_;}F_xJaF?ɞv7OeJʋNt'\夾HqXY~ik̳!rs5PjwmA+r_ء'Rd~_S\p&f[R_ǩBnx~Pu.OXvBT< ]r3FenX/W(+Ƴ+i˦ /{^30IvQ"rcM?`P]4Е ='bs*łbCiv,[kiL fѥ9i0v9۳1oiYfdMGhOz3ޭ'[טR9꯺4 lx[y*yVR/`)'Xd3*7!:kfl#M5\xB`EC/YO8W7`8jl4o7*^WRz$]+d!Ɯas\!-zse " I@s(ءStɍ+r<_ei 2&~4 kv9"'s*qS]kD&z;t5Iv5!^_׃2+BHjq=Ha^ zQ̩3wC}uʲewӀjx|`~`v~N^bf^sl-eWg40BZF^}/z=K}IaY"wNy+wGQH(ːB JR@URrs3semEwC أ!8~n.4 j1\vRXB\ !i߫Xa>jujpM4Qɟ0+jG\]EkW: (Fa.&mČmt3u+a{W\Z;@jzvЅ,W?yDIkNu΄*rՑ+&-̒֘ f>%G_m]:K^SySTM]!^csA{."R=.A>s&2?{VN"taBxm:[$< h]ld'+vЄY%}(V aK__5w1Q:tV(u09dV"W9FeZ9VS}Zy ٯ7a@("%;~ S_`IWme?YQe2oOVq%y+wi!~*sU('$IDzuHvI[ ;ѺqX_ _ W1QN+J*}ڡ $SaX43vb"MYfz2_"uu(M1+5R[oj,,>w_ˑ:Ԩ_ ';,gve)^95gp)3kR Q5=ǘ_Ne|L4.kO49eS}/9L_Asp\U[泷Y|gۉړ16FlR.$)|6T K͉)ˠ x;ʶLY/¯=&P "D1 %Nr v(,Yf@:HjfX`nc ݦHQ9u"E&ӎ_7l - N,)AhDe_NjWt-`+RhiɌ#s$jxM{[6 qvpc}PHSɦ[t05WRxW,K+CnS 2r({vʟpA[[hc_*dTj~Mb5FZ6Z5gh;vWs\?N6kPAwe4A&ܳ ԃ#yc?L +wA8PlWe4x1u| eH )Qί)0)Fh߼ 5`r`[V;8%7䀹4{"Ae&Zt~%aOh0IݸBN)O9_WryZg[͜HL!ܢ^L(ݧfJn6N52470m:π )Č $Lej{VTLvHzY^X_xh͡?04d#^Lդ>1˚q3[o>i˩NbP ~(HrY%d#?{o<{ex^`:bPm(E`ծZRFI>{<Ӵ]C{^pSΤ$u^uhҏq#T cGeH} st%Y!MIcp˺6]P6b@uDO3t-]̽cz48ҫ%o3^RdB=,A'mm{%iOEb+ nƘGXۑa:+~?kᒍ{ ﴹ2 s8BY !}Į O9_k_P-8I!L,mAM*& F.qo1DŽ le';}`0pp K| N/07A|6 SAFhX,+cACa;ּ!} Q[9>r5㺹fxtDEC+lCV=vcAT9\u=Sψeɉԗ7>1-w Z8o5 $|y(AbBs7OŤt䡪ĞMrߵQBvԈ=+!͹݉@v?hHeY{ 4L"_] 2qe4Ep/ G'ֈ|qDhz++ΔMP;!ZVC0փ!L† Ut$6JfW{Ϝtf~3J/p ]{R\, ڽ!:+yeyF5?mBpM2݁L#|JNc01Ī7#A)Ǘc$i?,ov@fe$;t=D.mimPz\ ⼐@uՔAX7HA0+O5yF؞{]/?5Kq%j_;h[%PQ7Y9Xu:ȧPkH'`MEvS]VcW\XR7ݎtKO>ՇX@˟O+!\yCRܫ=oeD,p xƟJ0PU.d K2m<^nF;2JNwhL =UqB,*A H/IH ;e@~~2w 4,PyY;.F1;PIf**\eҐNĎ3P@o9s2l˗טmz+ FeVEՋ7 |38Šcg?}q%?.Oq` (NEtGT1U;j#$w%i܍=24E,F=#OTW1pWy6l Dd8y}cӡ.ȹˆe'"6 >?E%$Ib B8y ?!}E5qgh_qy9P ]c  -g 62Ze0VZמ;ΰF2rvڗ}eLu#( %y[!/x1|)Mf!i#ɿXR w+nk.[=2+R4ˤ/j̚w˶Bpj \@F= , M k~ <$w W ),nI^n13w,c NVAJEJtIh6? R%N9Al8 QRFݿ!#/ۢD,:Vwx5 'P_Z_ɺNy{URJ'SrG&$=14JQl7:d|Z?jHƓ8}kʬޓpJ[:"o=(5,GݜzB>Zme,aK'V!\z{+*/NIa(Fbb\?:GPwޅ$ 5}ߔEmK*EFln7Ė4[5w HUQ~gRߥ Nj6X쫓QXdLE%lҦأA@[m[ꁎ>i;䅰CZw!&cDG㓷e L[ )J8#}Fx^{+5/y]%s+0K I3KoHqy Is<0ux؞Ϙ8*"}Oo/f#|d3*_c\7p詀3gD&a"ң+\v32vjIYRF`?WIe(wC{o62@&*Q(L. > 3r865쒲ό(Q(Hᢑ^N-B! H-tB9lFۡq<1 ;VOfermQx1A[1-|^#٦^Gl۩KW~A"J}}3}zdpY+:4mi9<`B]oYDʟhQ}crOO+A4Y7wut2i2Fuav]'Sg/֝CO S4/BjɉE͟ʢڑظfee)udګ´Mt/4TrTOϭA))z&Ykufȉ~&w -f1 t= yLȐzClm^fætȽ(jiӍ2q{1Kr\;@ +9f tvFHb\0םXj%|6Mv.O`le; ]ۙjfH/7Tf9Gj29&_(0阎Ŝ F }Ɍzˍ$=]]-S3f-{թ|)pLƜHCyw{'fN Wn=u*bD9҈μƤVOws_z)Y̹Zlq{0dܐ{\ݤ(x&kyీ$ +G)!WЭp4/ '\NAp |>FP}})qd:!W;.5A@HGt윕 wT`U&}Cm"~ܞO>$>w/M0SBG ˓t1Z3<mM 8&VGHmO+n?My! (%( *u"UQ kŹ})]+`Ey,@)lBA^4z[<*[5tk.}uR?D` q xo]0|k|k]]L&b 8ԗw<SF`E>b@=p4Jo:O􄂪=L<([eOϒJzޟ';J*z, ~B.dIkCzge+u'~ Su3Fz2#'BPS&>faf4*!VpP et|X28u緥SZCisbHc@_VЅd("`"6<`{lekZݫvf9ϧ&^T U^gnuFܘ'6g'> ¢\zyf̾vuVPw1H]Q.Oa9wq_jv?WđJz9 ^086Nsogerjnxw^{WLb`;uVKYC7't%ă05TpFяR#}U4<BxiI1HHw|g,݄uH!-A~ז-/ML:ZkZO17\ "aZ"LR@Mu[""8|[b͘;9:7Z |AAH)4 ?T{qM<ר)% GHkCBĽ.Z3Ƃ\w&shЉchXk''2g nPy 'YjհE٬6.ޡ<0pT"Ywd1^3q3 k{6*{{M_=lB(ʾ r[EY,:P Xˏc9ذXj [ ֧[&ն PĻ̑HF//,Y2|9ڏB>nNMM޹'ItDUA AQ&eFɲėiO]FPJ! Β72`cRg`+ԑ_}11צL +.89!iL] ^(rE%#GB Z g$aw6{LY0[tTD}=q/;Ʈf¤tuIj,y ݅oLkޚwY^a)Pl@adP\KhhhH<ѷo!a<ŜxTM47\ۘv UuvU'DmtS'A/+yP,hLg,'B19#a] 16ͮ+hh&JrȔ0d5) ItxGǷOa]tCODE*. Aju S,)H%SwDq/EErK[27unň`?|k0uN?:>j7ï)Pc 0  SG|A,`¢:)" &䒗Lj1QHi=qb)vn&p#Ad6i^5fc짳 5R-ps[Ӟ@ghF|[8Qn%_*(VG(OĨFγ‡j~-6"H\b DxQ["E$)|0$st/ ,k oq[{Y6a ƴ(y5#Kij "e[?>jA"ݍ2i칕ڟBg/= ]il=0|ற9>w 1n8CΥt8e|lp2ܞIfdCV`U[ wÄzT/'y)iR'r:4y8|-2N B4qs `І(O0^Gրn-_Z,,) "~s5wh4=I?:9/u>pryǖ! pzOjru#h0-|OGς7WΝ]֕R7dQI DҗdpPh}!kuE"}MNv.?1w*=\'h) Mz Kt;ТJGZ"?>c1y-N k\7-5[HOҔƨݍxP!R3 ƻwY !>"`4ndkƤ2bᆘUỸxsF! )QzW7[k)4#rUH#aiJ3OB]K/7)&gFs2 < ᵐyʈ%K:2P>FyFd7CG)5O&FZ:p͓_ Q8vAuirגemLc )B@ZAL|_^ @ f8\yŵ# XM˞G^hsߒ ̜h!ܦb/m+V^Ӷ@;>^D'RB JVUTU:yri)1pv?g0jekO3 '%fjj}QG (gC @þ7INl%("20̂ XaCժ+ Ä Ay͓2㶆-f#yZZwµ12Sꜵϫ :jDarX-õzNDۜl )Zk HItwM_ޥKNL-mB;iϩnH/{֭j#\q0wwL(:W]+o- ]bLX"6"l 2M[mz GZWIkBzBͧ9'_*#Mo͕ Tv|A=ՙF~O;>ምYT$ĝ>|y I6 Kd(Iw)gNȞ:36M&y V?Nb°(NS2iǻϣ|^W650zWvXM#)Z06J!˂tecrPYTњ/,nԕ&~]STI4,m١ :I!\%z?BS<1Zn "2ЩN=}c%JP$o}CLX iWʹ6|}'B)$v,SY' ^)g{BnO~2@Fb `n_\;zM7o^i嫓֜Fd( ᱵNtU^ W4NLԧmMJK8]nO X8GYKǬ{4 b YŚQHNQ83-?pc⹵ i_g#o:>i4GyB|e yq3 Ho ̴ ` =}-R%c:c^X']7ytBisp$zsL="&r"TWPL,"'{;V ? O G><ĕ<>U$EѿiDTI&`M ݁ZyI7b緕<7Cw&in V'Ǧfì;[f G!IXMEU$$fpllgYeK7%gٝ#,t+ UN+oUYJ CoV4d:H#mz戽O[4lȄ*ڢx<72kY|- $S fכuۯZ a#ìGXkLp^% I%AuN U]_f~!PN,59̼x4kr٘&+P$|kܺ= T[\2F0X ( 겝,GO%P TIX_Iej| Er馑iiU{ }Baht1<$} UB% ̼@LHDꜩA1q -zsEQayzSMEm ?J>@fF.GH^AURGov1V9w /%"b0T Ƽ着πiq 8^wIW#a~2 |ix |~F] B 1!xDUC,mfLծIGh]6@fZ|-EąuگF1f<:4Rӏ4AUx|O @TIPf햲:vΤ= Jq3sga2%K͊9c C>ҧw^gY$SP:B#?K&;,e^a,K#zRp8 C :ƛMdk_w'{#zދ,qw:A5(b\hBj٣Ԕ.W_`qӟU#ImJyΗ]6269/ߚ]ÞL?,fy~S.٫[}<-%%k Z%A.cWJ GEJb:Ld,I[[FI4ij q.Zo&3(QWgxa4yBx|V2kiA N[ÌS޽no*e5ӠiYVIU"7a#@kEbbjXRk o0E Tէi>oV8 FMEF@ݴJ=P$<@z3튕-'gYZ7+TYNdL&gdPcX`M9'qEedza:bA3Z%OkH9qJFezԼq]K~3WMI88i|Cr6g @ 5ڏ9qϻj[;B9ЈxyRp9skր(|%,)"WD:J) N@T4ydK-x(;jX<:*)w-?> s$L{ggjT_lXl79Ӭį/ a\3ȀI%L?$0򔂒Tҧ]+~/GΟ_m-TSZ>~?q:V iW F`HZXRC9@]l3oWQYLGW˗+ 9L^@_iEVhgk~<#" i!ޣi4}k '.EyIwm m&oQbDIxJߖ]þ yKsQ: ,2 @fPG+Gʪ87$we1 WefxuW.fe-sAJTKP;1r۵3cŕKrF4TJ'_4?n+J~?jֆtw~pG821QP!Y+zސ_ҐR8k CHr }ܻFNj{8tScg`ItlVJѓZMEJKlk_ꠓtbzrpMЦZps;*AuĴ 0h \ Ͳ,گ,?-Q n-Q%qz3JGSp ;ë<]!W&al|Pv@>cBC E`UftGAuaM@ 9={8J:jA3YXqY5"V[Ʃc`uݩ' /Rs4wY#u#'s@ϵ(3.n{D:SX -\ =ed&׃̃]wwYGd*ǢKBv&v{0񧆶yt4\G~j`دzV.8Х+~I?ec !莑b8ajŀ!f7R@!We?Gai+L<$ioPHXS5s N)oAuᕵ D՘&m'|୉6A=L~̾~*쏃zI{^ml6oYNځ)$!.`U 'rUzpn =90YsH|UYsۀv%p/Q e]Vq)!uQla#u ՋYBs<ә w:{.Ҋ}q!XïڒMΏ("k^(}#&Əݕ#xv1"`8IfQ9מ\6P%:J0 y{ɻ<'-,dـvJ25dtN4>[`:ѪDd/e i1b<9AVe`_O7on 31"HࡐL:/w>+ N-VVB ^ށ@i̻pZbu5.F:0]_D=tg}1[;#ǣ@.!lF!!`k]{^]&(ퟟ˯wX ! hW(:H'ey}:6iLߜ~9χuP8Au e|z{1L/NNS}-lL3ePMm6lAf?zCU5<{_&5eSTkgzYߐGcĴ5eu!pA\[~$n<9M-OL+O1X ǡ]$FLV PcYnM1C[_Y1q-k;;tTY/ӟe"hIn%5Fڔ ℞X~ڊJxŋZ}R5x00rƙb{ yx6 0cg>6f#s\}ϒR~OF.8]>D!.Oٝ z#IӬ3Nl(p.VQjʛգl1#Pڽmaam8õ\X-qJ$1R~FXQmQ*F^2XĪݫ٭Udvܝ : X#@* M Duilg[i\%X➺RQ4#UbjS>MD$=G_^5^m D0!CC_Av1hTׄUWSk9BF ;ܝg ' 1()88BtdE,8i`o?mu].k$#3/ ۏ*y9hzŘX\czDDY˂-&=EwFKRӏUj!nr(yiVCY/Y[ žt:8I]*U5&y>~?ԡmq ?b+ t};S^eRe-Jt3(*HTW'BC;Icpx,[_?KͫT[2z q)xBۈi=si /?b9^ 7@I=3rPk.ho=FIOZLlI!h]mc>yHX5yk@Lr2ZO*psC֒S v;yz1ܯ/9*JջuHg!O 7| 09}"&LC8a+׏YwaEIoTlŦ1E1P nmCAEPv6OuGsq;)TK!sa(D}Isc[jcˆ ^ovQE0g{>M/bF᧻,0f jc("*ҵVkŲ)U in  {%n4@$l.èy:2-.78K " ~o zبn'uZjW.BTf="35Li\n֒6xEJy?y$B*mNy%kJk&،EuƵ*mA*)ܳj3M96{ 72!gAs#zv$FV? tR63ļ;R2PWOCY;]ĕuBz';B4K/ Y d-!*y*,+7:1Ҽ sPz?w`2PYdNeL<FI92T|+&&ZFtR ʋ''UC>-Pt{oć\G)nO8_bzy!xW$fj91%/mhp*LM'G*oo /S; Y?'%*xM Emǿ`i>k.=vf ZO]qA=n=w+vMDWO Ts FkND!0e=eTdCSֹD)H%CzE0LP߄h)+Xb 5f?y*kZ6%&MQ%Fj(x!Yu#fۂi$o#O$i6'ڬ>ugHj븹JT9Fj+hY5zL;VԐ 糗1 6çxR$Γ^ y˽+\$')W*Eć1g&Fx=%YDu p77/w 9,!Q3C+jiUq\bD$ϬT܉ͧ!퐦IvXo+eMNyfj{ lr-uYL C" \#m/"b!p14Y*nAaʰo,7DIzXA_Xh]J&)_|>XV(}jB97 )rJpe*7 ۋa,4Y>uEٔc= EL {SOlŦQk="? }DIa((󸸦X6^TU~DCE^;~`8<.uV-K+ӛ0 !0p2;̨״QrXn;=̀c3$K*`Cdk48 8Q2Jz{E>'A#͡mI;=R/=w+, Wj.΄QpS )|KRz!JRL]GTbxnֳ')R'К\#AY1 M >]2̣i]A2@ OEq [syP=J u/mK\|ăl2FlDۨ n Kվ-/ aIII嵄֝/7uww]wnϤCl ܳ|P[Y¤R? '_J/ O^$Y5.}m7-…K}"FI&񶤯B,i$ yT* ZД+"8 g@bGZhDQr:w,@Jºo1;ӯ-XҳTY@ŻGDkH %MH4?I.="n?kkXx2CBa~AhdѲ1EhzL6HH=FXXH3zq͊\|htdl+Wq|I)wo?V}%I5}GD[AЌGARU_\WM=G9\>ɲ*:&lp*~]Y=Hv$z%HeB>2yyo!V:0h'2sV̼w!gYZ cc3 /# LZF-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.yCm^ W_b2%b}Q`4t{)s#z?!qhEULeP-&V[~Gג44ɿ2$WNdR7 doB\SwK `c[R3Vvs?ie6 b:=]3+eFi,iP{?V )"Yo{'¶bRӌC0Bϛ{9Y. "&GR0=V1-Wl<>؃nUSǍ^[LMUp{KP=TKƾ߹;wpݒtfp34ǟA:}&k[R&ט`V汢h/>h9_zPdR ɟi3ۈ\#"4naT&3Rr_ןN`[퀀!_FV ۱ ~IgN~m' P2aGMCnr?lGAgD;LjsyW:*̂zoshmyc;PVN4yId1Os`?n޹&M;F ?̴bc tLs bՎDv^qXY֠+ ~M[_؛4=6\L KUDҧGc%^[}Crۇ5UP}I~[)51Xg\i+0ЮA<$`|gp=F+gB*dicfn$Yp@QU gEv+Ь )x*hjYnhQy:%^ 熄 mQ`DLk* 8!ݪC01ל:[d^`h+dW<|.qJC:b0ښe{^\=5d`!#M<+y后ߨܹaEԇ.07mȱw,o}[U7ٟb alT>ǿuMO^KzU񌴶8xU*Ž.gm'|nO!AAuu?kʎ=I5݈ҿ™t"eJ`K`U74u;'tlb?Z<#^jhgHkBɮ' @R@SafU0֥~]_piGA W.'`Mvy9vtb*Ѥ*%4JJ ق#K#uEYvxǙיEyћP}(WX2+.=d^S-/_ᙟSl4D@ho (+rj31n[y@|MKxοб7Y)a}qg_?8?+u-x-w YF dt0?vl㶾3{#jl*VY9ڿq"U3NNF=æ-4*ɑ1<׬5R $#wl{ٸ'~nh2T&N෸-W[T-Ҿ&{sjZ8:_)]!sě[slašEko:ة/D^߶/e \2% [ECTۛG .e'Ʒ% w:C?@D\i(xİPdۻ2eYjۂ0^kٞAV'+'S{a6tb@VzS]d9~<Q)EuQ^}U>/98!gQd.j9C?4/#aH>xyK)%1SLZfpG|>hP˷i=[)0ei쭋E}z$K&  N+Uǃ-%J^2X#fgx>4Uf z6FGF"Ɍ4:vēcT4i\K299(JӁf EFu[{Ǥ+.a!YiWl.(eA3BlECe'Q `X~}[5+xL֑& ^0wxd&]+]kZg^FR21 >!-d>20>z7T٬7M`JoCZ^pv:~!n8d)?}>ܳ؋<|¹\WNB::A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112+4/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N;]·Iq n[:|&[z|Jpl@e^4!ݝ׉g6(6~h*^o6kV5e%7{}w52^LFm -WϮHY>6ɋS4QGl-FCm5#P42ǔK!M+a2+C,*xsB(a1n'ð/.UA>xLi mh,m/- Y)Jn~KVl֞ s؟n Akppa+ks17E@]Iu>`g-ٟ3bH  z=qiءyT4sqeb>^Z !v3a"o:϶`憭, yl 3mbE2_?gݹF#zkED#H)h> M`B?@LCp!'WQ GWFѣysi譨#Xx0ͷqWi"bhڧ)͈*Jq}chDI[NPU2L Aľmއ|1ljx_=l􅉧4Bzb~+ & ̔ҥ4OtE!l^0 Uǫ1/z@D{"j7͗P}npeΦ~Wi툏F l K8m P~լ;%U_ }u~@C)vr+oM܎;Z! 6h$n@x[n(!ـC/SwM5SFAU$q;5qcȖIK)jyKVaW'6rХ+ 󾢵sfBŠ}M[8<y'+9QΚiKy*g,?5ΐͭ4bDxAqlଈi+*uίp?>B<{Z\Xf|#\1tK/QdĤ@ a=+޷;tOU'uX2 MW@hG!@d8T\ךb6_=7a֍A;Ӱ9ODtW!fG跘-"yeՙ㴆 УkMZ9t `O6R]uR!;qȓPX(xm5oV?M2m92L04!nQVO@H7zk/e o≐)%Cu9.=Z+:/RiR\O'>$!_%n=Kx1$&^ZGPĺzTcUmQ ڝ ?-ޠ+ܿ%Z(gJ7fت}F"H :4g9 J/!mcȉiz;+=ĵ$/)/mњ[!Fi`r6)Om`}'l&b8.LcY؎IVI$P\=s ү3 gbrtݺ OVJMr磛u}6.qT]юLQ]r \YP.^bfFi&rSͺP: 74' 踄L Żvbٜ?7+bGȬbO#yQG8%kؐ~ |ȍUH&r6KƯ[SY ͘.7y2U (6(~QKN_OLMktيfLg_V%e?m|\02Ї.u~ʘwneI-'8k;>E5 wDV(t=>eʇ#TySUmH0cPN1^V@4P= /5jtjH}&tunTTuW E)ځᑊaod_yBi 3Sr?%HZ֍XRcͼ WV_KwĄM{Z٦:[&Qŋk5?9 vc3]uٔ4Kϵܬ:q)bRXڪ;EScSp3 $,'/Fਹ3)yʘM aI'*{j~Ŧ$Hg6(`$ܸRgG?ޘ0{M Ћ"TÒ ׾S-"TO cx6369h! )8uiucrkjp(=h e  3{]N"]=yWoD:|TUae:"tc } $/ w؏Z,ĝnW52ڏ?ā}$R+}E/#fJt{s/R.($k7 ۧϔzS /t"O|w&FF+t0E n-u@P֣& I!;`Iƈ=O\^w&=$Ai/l~/4IBAZDv~8(Z ~6`z'x d| \j_z @%Y#~Y{|4`͈PW^T+\V N)I[ >g JxܳwǵGI|^4>wO]j݉q\y'D'iH/ߙȯ,2~l6_i7Gk\"Neq*c]cz+8Kp 2HBl9 0S(.gU b+*gLIW'C`/MH?* YD{-o.qrH8<+^}n:#.[t",JS|Э9F;@ ^Vi1UYyJ`4^ڊUZ0Ό6WH~6=2IU,n}CF}65J~6;ao_~+F`EBq0]=XGE~I8J3dZbht?PzG {ۏ$/Qk}L% Y(ݲXxb(mT?ց,cd /]*W_T#8XX<ǭ\DHŞI-s+ֿ# U `h)S AOfw.E>Y$EJM.BR1 yNL5B;~k,+IDs!yZ \<瞫mӢ1Aປ 'DZJ!|| 0:eGkR-f(\M߉GtS2UHJS_dzJ^my@z)I& UMF 'd$nJ)Pr뤺ʊ>JۑX_;L-Xet^b4ڢGSA;vihq7|+TщM6ϖɊj ȑ:A7N;ΐL\Mf/1c\at=Hj=]qri*c:r_pCJro>v}\lqZYS\iG\$ 9nOIi`ݏwm4<ľ&O)l'¦w)kY6]}lji=Khl] UvY[ I^8)nk1tIF$s Oa|%P~e _Qq"g\hUOA> &T9Ё\-E x=F%&[d;YpK$ yy3Y+y5/4ȐԳ|dԭ JK,}l{qZθ 363N.~6V,Ep+L k 5ɮ.r&iaSAʢE "|&UgP|4\N q Mb5џZ,s`MNN1 ~;Z2!+kI H1"cesB1!ZP 9b̏ݏJ"7GxJ&hu&ܷ^f !'so켑@pcdU0lu>1 LMW cTk qdF_nP2.>|RyGGuGq\#%j.*OdB 5 5Y2g E G8m)>vy+3oZgN @VFr^JCȚ)#8b7)'ǯ# %WPE*׋͛Xm3t =ys,2È: ne!xd-y>^iP; 5Lz>[kjHZR;i?NQjC3 Blwww9@(9?%V Z>\]^YSBR0*>k)Xtޗ V %2 莬e~6 { qq;GҨ;_ GsdkW%B[,,eNzhu,zGFgxxrA_$oψAt7z@o$7Tj)}_>~:F4Gku_Z\hSBcO,,,/z-Tѯm)54!>Z!B8Q[Ҭ^/۾$Wѥo^ĸk+wi+юGp;+wM`4.(#p(1Rsf7vֈ}W;[, TWrHiWo-QP\LKq[z(9ޱC_ʿͰl8IR$ ~ڰ3iǥYk4/rd[/iScMXݓ*1)rYʅLiRëwNB- Hc,{$’zMm@!@fp#*5vMiuE7 `W뽮1x^uM^.t`*DՋ/GqH;i Vgavg,wEDbT"fԽ=.}K$T6E%NOG6#)@[LL 0t`dhS𑞭DrB?T d&BWv9Ӫ x'` "rB Nc3fibz.ճg~_YJ,u=T۷v T RC^6+p˜a I'}nBT>I?QĘyq?&IDy3Ө@Π _/*.QIv0F%Ҏ{ὃ-53/d&ڠ}[C қYU߄zz~= ^èfHֲQ5wʥdv#JD&JǨՔ$®7ܬŸ]֕5N]@fC+efʯ~ Xekt=^SZ9$ƛJGK kl6eL#9ॆM/c0o^'+F.i}pmѰ%TGw:e# LTO^p`?4d 8.r pd-OGHu ;WM6ë)fԯ3aǀqhܝCh`])Բ5wTցqd&EY1|M$Fj*BދO5\+qU>@N 1ڬ:b~GR "J+}Hr?1dOfpaosx)"gJ -7a{VD+Cp^OU | Ҟ,[CE o~}iLe B7 :ʤT{reߣ6y DA1GPX-3F8O#|AU7 kM> c2ƯIOKǦ^oyP,_t ݼRAP` $xãb&|WAJ˲-u';NĢ%PnCR%'=7BMX Vն$QᙋhGkj,\C#Nô p[>(oEƯ,WP@5iӚ'^|Gvd VJhHJ$̌սjP="Y _je2-FLT-:u3ͽ:X.{A~2)221-DلXq2ݲ{6>c勧\@ձm:m)i/$ǔ[g1DX`E<_gLDu[w1UO `}ztl8^+@0KA* l WD)0 ?\M+$#=>Plv|y|M.߲ jpozяX'ؙYh"msAsjt/=dճOm,㲶nmH?$W`ƅ~ظP75CtK8+lw- `ݲ?כga&9:gpa=h[`\ERK6ݒŧAD(F0co7Dk )BE7g R x{V'CWPbrʌiMPOJ&:8 Y͠FYퟘEY[4V|ĽHJ?FE,C'@O{nOE%&.hB) avxY4Oʈk#g 82!:WTcIQS.ʈ%t%oY{Lݭ^F_9Y^X{gYzCzbYfguW~XK0jD>rKTO3S) nC:mMN,wR#i;ZF 18[~,MEaߤKAmn>ܓ0Bf/*vuhK tU'wGӉ/'uXw3$KBLoRفGgYZ YC:+!@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}_'R|b#zFfQ>^;- @t8A/-\@xDcv+}VKHS6_Ɵ _k-bZN?3i;ǟ  TnGQ)hi}5mB2IFV+"wY&ٰL臦 kz];l \ ?͚LWڠw$zheGgYZ`xҊ%ɕ[nF&x`}%!I#xΑK͓ $vH?o*'ℭg+eePN0ӨnD< X ǣǥ%s0x栐U!U[RH^.철U-4Q2J LJ G%7<&zcb9NL,Y02EH񊼻w^B*QIdZS&K$ϚԘԒ%wo`;G%mFcWN[thu)<ˮrA qmēfk"Ưal == &@i:FE++W uēK1-6Nt][%ˋ77l| e9w6Pk%X} m,fn WE0ӳC󡉰q*:+F/׻ 5ДëCmP: [g|58Q2eE[dݵ Qs XκwF*} Ldla$Sl'G>MS<Pb!|RvG亪l# l osh+}[,!yl}giH :Bb.ۇ2\8UPT}Gh,TG2hAjփ)c~FIinDyxEW)lڌ Bvӹ\%1rXVE]<$+}9y#n&wbͩ`.Cv!SUuX _I]A"n_ w۠bqWfG=5{v1E"{ жe4J#=PvzZ~Xnü<) fW=1J {% ֌4g8TNykXǝ2uyR.g]ݣ9W>\9rz@)lWȍ͗Z &2-5KT, r ļ5 jzj[HhİZqհ'#ѴX9y8m-Zx7dU~]eu﹨HO\>5 )Eޜn^Dą=w ΊCPqD"le x= ;k3h!'eȚ IH}Q7wz7D}䦐F%4FH`2a! gD,C_nSXS) qBTݽڑIzN|,}-pǺ9u:fs,,*?ی*re7{BI:MTHOJQź~L/)q?32j0(y A]d:,'^N qgG@˥_;,K#roFRmĉ,6[^@aGdȣgapE0ȼ|U>_#!HCpO *䱊.@A0|#JdAǛYZ!$j$uŁ% DJ 9Hɿa exC|$u.ZT9n̵W fn"e0` ؛3s!ppp|(A_Xar X8ۤrw%Ņu9mtфjSY+~QGvb'ׂd 7vUt&`36V66_{4vDKtUaO'FU$%]uG$,Q|rKQ'궾#KUihĉ/}JN6s-=/')OP oJb+h%'P0}TF()*sVqz*?o/RJS!yp٩R*EOuod{]{JDI%Zy'vrʯ%rW8AjK|^vaR\-` @Gتہ 8 8 ):fiEʸ֬"u;y'=Օ P롏2]ZSʔvR }e>z9nwq<0Wb$ՙwdE~6L&Z!LjoDe2L2?WM5w>cP꟞mcU:ug#M4vLEZ_|C| 1ZdWT,rJVRujy0zWO&" F%GtKA ݩP{pTTyMÚ&u}TI y.9Se1Eɛf>؋)2<6[?5cLOqob%Ȓ!p̌ Ȱ^YRh|7{im~#IBrѶؔQp$5 9zR(o5,WL 8ʮ '$ðSgsJ`@a%> $r^RL#:{<1q9ǜWI'uV!ȝN'Y:rPZ&#m9A}l'shQ41N[ U`Af;XPjzG'Q dQmx>2";C@Lh~ *vWb"0`DWp/jK:X|.@װidM ގ8֨zyjDXwy4eG5X̙Lf~],eWԾ;v mJ=2[t N)LB_v;ߗ7ҶG2 TNsk@Y|&] 4t+>xmT-д o-Q:t >9/:@L^"jw/ou~?933fvk<(f3)-'[/À8*{.$cO FǂiAn@#]9Q T/3?3C(I*e0nK}1(<(4׏.< AXYrg P=hQ^nazhP¯4)HmvmgS3W[7znN+K=|O at{Yh=Eb:AD`e q}mn-@@6U 򑞟z6ɕC[LݣxK?-ɹ.'\& B%ADpA9HlU5j*pW0hcL}C"ms ǥCexm)^H b<$ꔦ->].x8]BoA?)&B 0wJrZBWzP2#(C.y+t',܁k"=% b10kudŖ#-_${= +gYZ {;+# ,ZF-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?se^C4Ϯ.6Y 9dc<N&+h4 HRum$@o2w8+ 0W6q}Dp,u0r`3muq$"4;97l-*Tqx.F bZCn29;FM %woe}CּٚSgZ<F"Ʋ sV%0&WC٭6aAzxho!=)BEC[pXr(A2AZ]-慥)Un46l C.xr\HKo he,@{,BOIDr}{=s8aWќ!iqmd BT+_G`01VD #։RՔ9h>$lU\b2W-vb3E~A̐ Y ^gQ=1syiNFpQGG!f(a!q-i.rRxM$ g.K9MiߴoW"WcvTƋy\raKj((ӗUvvN!ɧ,-d(=h(C@p'ݰUvi&A|8{ G&jsΟeZGiueH =X֜o+2 ~AF6a/g]zvFňJ z 8 .B?e 5jn,Z. v:j ,E_:/3\~V5Cոx,ZI<9uH-IW#\Ə} DbF |`#P UaBiaZ Q"}_ %:.cmtX ʱ(hF byYR5JL}̔%bGKɾ@Sf4xt}qH5 =F`7 BUq|OvRiKB=0f{ Ta! Xq\lh- fx']b%|f)Q\+DYJr[}}$$ڻnχ qo>cn*nPX[1i~Q1&5',K2SRS1zc1!A• 18zmۉxv;2,}9#h`Z{Txv|c?"цX$Byg9p`[ H:N&jȧﵱ$>92gaBvU7^}ӂ~xpR620T{0) BZvcoˮ Y0*W{>lU:+ȂR‘E[ѵQt g$W U0ėΠ1*6^Fo5k`+3=Z[s%F{ {#xuJ|]+ La_R<3&<0 _>"?cԓ gIKGsIGl N8&F2 W1׋?圻Dd0Mz: gZA*ji L{+Y+13J9X>Z'losW{+g}/7]`<}@ZT}V/&'t۞L:kgㆍ 0_s $(>p-qq{ed!eHdbԖGy{څ>4 ;8mX\? ".7\Cp1и.M!Dvf[uE(*ېO!*l({c`d_A%1O%_ܢ iǑ !*ѥƕȘkF|\WaΡ\# ^W|#s6q]!E%/Ap`%WcPk}@)Lt"yhnwJ8(ۖE8S4.kvfoDNTWb`fO8K9z}-R%K6p Rf0ta,THb^ 8fO!ؓ/EyMYsMڊǢƙU@47$E =:hϷ?mbyY8}m&z",zGg6m8@n+ѐ9+ b[qH,PNrhU⨯ԌQJLwJ',=MkʔA%,Հn]/W9/&^K "W*ݷ ..5mu0Y-Ҙ!ݜUt 52d\ !@ةFK&%)Sk,~<$dVD=  H  D=CC )# kR%:~#eEE!D:ۦl =,9Y܋3;2ͭKJ8yxHb=rrTz%:/ɬyOEAjR=m$)VҠF@wc &m}!@hkD#[HZ}Y!fM,`l,Y(i6&1H4a)hn$U& }=er0lIcckV=;Z/|`v OQU!G<`<[1ݜPr.KYS/s(a0~Ԙ4'.9Tʸ;AR~K&+9a-N)4VH,8N!ζP:a\@Y)V 9mպ #uyˤjRB7;.WlBAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' DZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z,HzН{*PzidT5PX\{U!97mcSlE?-uU%~̇WmRD=:x7`K۶4 ~F ?Xwnx{ -qe !*u `6'5gV˂L_*۱*l?Kʫ ;n+W {Ĺd"apஇ"Hתiy$`7w] UxjPe0x5Uj !Ȭ8M$Z$wh=j"Љ2˰\d)S6hj*-\ɟ`:FNQ(Yr39fd2 ހ]Jf? hX[ T[qIaѶÖY4J<J7skr[2(P]]Ft[;ZےH .n:!T"wSd?)ApE'Xt=!f;\?w0}Nbp݄ Laŀ^|aI+#[ʒaYa&fRU(55ŋYRzR@$I6 Ƞ 1s S Y.Aw0QW?%O z=mrԸȨwϨnJYP=t.Z.򎇹VVO /)zlZ[ͽZ$-'/)xN &W1vsu."b,C+=X}Qh55kB`[m^9~ I7u, iLd~홰iVIpB8Rׂ}Rn06xz9Y>Yte(A][ :8#NGasK0 $-q!٠brDG7 kLkIi2{c.FOe C<4I^M=ReEm-̺7PW2T;{gYZj? 7# |ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H!]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;22RE zZ|L>KuM}'M1'TS&%l0, xkSGpMSpt@ a NQTq}osyfc~prNDݓv owY ?M|t_%\u"w,SQ=9q-OBո~'Õ .tB+kM%2|DM`nl1T=–nCL͂ :`I` PP58^f#fx 5&Qfp%~Jk;D Ęz Oq~7mَ] @O>7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! F]·Iq n[:|&[zT{\T18,+QI3ݩ <xvtc,0A8e]U r+MKP K쒙=5q;`M7Zs`FL?랷ڼvns璔'e1 ~IDRM#x7:=twwx9?Է;)8j gYZA8 w]xm?tPUz̡/NbDlV @cj^<"f{*x[<M.|p 1t(c !%MfuR)UX]ׯt/n\E b'X|0U]浕*ltG/k7p$F~W1Adyu.Znm".*yًQLc{zG]r&Y\?7"R1ubq7*,lUY}N6nfCWK)gi^]*6Vf8 䈽[אKT|΂*(;e<:ᴅcuDDPwz'S͟kնasWhgD5DK%cA!U`3O ۴|BOM5H#_Y;A"vZd eʹvG0Xi&ZR?v^aQehWcb? TEwT]-_\ .?z 9Ǧ'&%uoEd'r`"Yv9!uPcy}PJO z+V%q Lpq5Ռ`K,Uj&aP̪ i*PVKMf&-CE;]%Ɯ0OEv92Ɛ@-bNXY{!Τ=RJÑK2AcYEJ(,wexrLοEL\8{@/KuIGa}E)6hMry>͛Gl^0mIbJTJٟ(U_:KTJԁ Һ7 "mrFT\[j ukX彬ms5U" bAPN>"?ן!eAo i3J){/PY ։"P-e)).:p VN"J_w8Ԥ: w6y<i(+q<%B [_/=s [OU7G&O!elbR#Xe!2^KC%w);Ev=h\1d6'5ُߵ~|nX۾>zEE:152ULi\(N울\=}+Q+*(fSI} '9 +NUXѮzD;WCő2@0s&oVZj؁*r;.259x3b?Q|smWXo 5vB3i6:L^M4pqeu0Xk gj֨<#|`wV+@Iz!v @U"\+ŭDaWA#U}e՗3yG b=XU)UBl?:WpF ;{p %{kiDba8k]So&ǖT^;߰SG,)ȶ'~\^epB07PG w ˚^[&^]@+[cȓU٨R~E#ת]\@'g Oя rP5g]}RKၚ1po"rMNQ<MA8t}y0NJHVmV6{aBF$RXS&l T֯` ErIF}oSPGǗE!U+b9.ۼE *^A:9Ròދ- P3cuXxN)ZRǯ;aWQ)m/+O(.F8[u&C,#Svrj`V:q."'X9z:-16qknѯ>b{O=PUNN+[%㏫ gҋ:qU8j Ch BݧiQza]eJ?'IZSbˢL3AQ~$DQYS~✨$::Kbv݉ B'6AvmNP3c2(StG}͡+38 #*E3E Z7&!ɍ#NvQumw o\i!ܬ="N̮]!w#+ ՞XsQ|sU/]ѓ`Z=$1\3|6 $/UC(+㕋[|ѽUo;k|AiFq"zjځ`D?'K <(W\4sgy0=㠔n$٭OBҠ)Nfe,!w=\ݻ5kɓCgj!˫ť$JnZ𲫾Cjƅ@`Ffq!arFR3=`74+fT[11ш '1X;Xomr8q[TKv/`~~LlzD0ә+c݅x(E ɗ\.OB-S"VqBY%9"uvh;tfL#Oz7=ŀn-L]vKwZ"p4bqՁiliQqbt"IN4 ^ b{-2?JaS{XuF$ ~ 8Səp&AX02h" 3$ +"e|zBn0Aᴻ <&N61"Hark6*uB]ȝưBrU=WQ4Dšs8^q;' B`ѳ}ys"^<-,$( ڨzPRY)s(VӇِ`zjHy,hc^BUo\m t,Ryo'" @)q&>yj>ibƣpjyYl) ,)Eh'?cLptsk~~b{GM݌a ]s()n6{ Cb6И'a@M|iku:p} DTuc@Q#縀h7NX]I6"l`E#[,, .WWꗹ`t 0Ï0Qi^cԀY5 xj+:Ү.pL?O/^MRO2H1|Uk)5[G>KV )2s U1CaSEwYJ]Ņ#Pv{\|c.IR<Ǝ@ \~oi{2pil~ 4 :x}ި}J** [Н4o.CT6[ۺYҰTv0JՇ Le+~{EPL5H nD 3H~" x$&,2f4_qNjN/Ɩ3 XJɗ=B!̮kw1XH#YhՓD* ݶʁtjͰߌяCAHd/j Oo/`\KhO[YU}%oueavAD ~9kCz }%xZ9S/,n.}|e{D""H8TY3 6Yoo`>25׼X1]R^WVA"f~3N=j`ϛE(7v*dGtT<.lM j[ZWYyR; dWJ[Z}xKdpuS(m2X?nђ0kΞB=]qXavk_j_BHr=;E wH:"y/R}@0} w *fGjm}جzSY`բ'*,eNj w6kBeYnZ'|*mk˾UN` _XH:Ճxl>hgԢMVGmNQb*AL Bܵ.w ~@Pc-un{/}wMc+i5ԋS:ɜP^Aj6sBy Z7nisw+z+%2;We&k#DJfX%7NNT _n. Y!4ɮ=ԩ7G% ~6 @T\9tT#1I=/T0ppUQVh/$k|AMU1`$W3`%/ɿׅEL MVw.抢1M#C)bK\QZwt';x 79haK>)[=1+׊rjC opX% 59& w01^LU9 cgJT0Ny5\zjIpѺ"~}nꟸ' ͤ.M$Xo黦Ek|kArдÚEt=߅Í BpmN=-"iD% JH,niJΫMQ~׶l4z<]5@p(HX' p̐/xOSC??p+VJh2"?װ]Odow#r|f~Ρ&Ï$W@*Lks!y]?Eҩ#^Uڸ!P5솢A닯ׇ 5K_lAJp84%.uAFDɬh謱gYZC% <S҃{%K`y7ViYWߟu9Xޓig&< v|+7JNɽINmSWS9OuHڼ3V-UxYԘm }+)1 F:p#I$<1mg!B&*m#kA:‘#FQ3`F*X̑U'upt`t1틂mY`UeRū+s!܏*:PQ*dyu'8u#[Q%K2a3lldh>y3^6ēm'2F*Q8pT- ãuNѩ\o1d>}\ Dɹ4emS(J|r^_0d9cc̼HHq{p"-4|{s^֤L}Eu0}8GلfRpkX,^y>oWH1,>bq)/4i%tL޿J7bonXiq9 XԳ| 0n3㹥?ΏcX%E" ʤ"=ke<,HRvup0f]@VvaQWD^SԭqRLg_X.'$AN{ ')C=ekזڴmM֭{Rݯ{b0)rhU2N02c\]QPDǗM0 qOUrCPt !w? ׷Kx| RV*TESCy0?Fb !VߤIed.Y.LLGzz78ԭ+َ t keWOFjht}0aRHF/R|2[$ܳ?fWƆcDa*>d[~R=xLo$QiF$LfЖFFc]91Zm%S 9b1D`=A;02Qȿp=0ĥ'썸*J̅;أG.:y\0-.jխ /a@'$ o[wG.\ѫ(2>Z٭;!,^V2RR[tOպ#Ps;KB\!L;f2]E"Ɍg!1i $ 5Z!M aو<]a?,LWU=9+)Ȅ׊jF#qY8$-  l1}{q2>kJo4+n'MC xDGus|< G&o2쮓3N) +{z9g%`q䛡4/~Bf2ByUѽD!yOWrlv7,lẅ(H@W%vb(z@DvF#v60PE)ME~+g {owlGNж[S F2W`)qb>DQi>1υ ӫTC(ɓe乮!RkE"hc;MI/d(_mOx,HSAqd,F;8 ?Pl!a$3>7n-i|T63:.w!83&5'B5&jf*G7f#s5tUf٩`춰p}¿mF1LVf"{*ʐkEg+D8_翶OOQ+;}~cisipؙL^"F6.Bt~"υCa [K1v}ubRxW |[j@73xuB`G8; fGPYTl{Oj9F,;jEũ@}ٗ$^IMߪSsR2 tg+b@O 'Lr-/Uu-(|[hFlguyVKwM7\gGCxȪp}/Eh87$`96wX׭FJx;sqXȠBa0} |1HH'bC2 <\L1QF(_?زn5`Td82U5vNBUQ$n7s*Y#GܴU[L%QrEgtz0=Fr\c AvU~k zoL /]][bpbٳgs Ioc 0Ub`){ƐhtȤ"|, r b_6=ȑ?$v.-InL`0^:rqd5Q\BͽwPiթQB @z8KHL.1F3$: KLAUlHTOF7*7"^cggcr\mUn"Ȯٓ,Hg{z,.oTFZKjq敭`}3^Q{rTO!/y~;{>bIdY\yJv $LmyE`Ukn+KctZغB~ŞU@Y4QװB%ьcҏ&Q-w\E9_XT1Sxnql1n4ndztEG@( [Ԕi7^Cr|Yg8f!:BMnXn}|8)R1q-~&ɾ0f+sA(*6 c^9- ? k?mc!7{܆/嬚0HfeD@xv_2wPtWu9cէ?)W QH5wGJP7[S6$@`4E2Y[J-xX$yVC0n雴16CO|JȦ%H($YL$Vx 3쏿5p,qz2aMIa g"E0c]~]<=b·';xRŋԑhgq%\w^F~זпMmdYd6~?Lág>,ژ-gz?f~H:&0s4{JWV@aO|6eG"gF2*>MbD]Q۸|N95G~eQi`b !Q*G;L &p/ ŽYA)g~JM$Oz!w2|;qnkIUȅj#o0ie,$OG:*['xFHֿ3ӭ酋e.\lK/~*uQ\/MQ'KxEa۶A_hb]ԍd]凤s-!ꈘF;8r LV8I]IZN,pI` 7W/>7As[]EzfQz y;A$ԞC]?֞+$f%V]GocAq)~X7\s/9R^^l%dR3Wέ´_h|5;G؋cz4M%&,1~Vi/Jbl6"E]Nh}wL[6XƢ@A}ph?(Y ZL.Ydwc?BxVO*V|lM 8ǭu=q7 ~.O둘p86]1 Te\z}ǔ~slezܽ,qv SeBwExu81JE8(s$2bJE2@R ߫f+9, w7c+zV5]3% a;P[a^,TP!1N1p#:u'?$'Q>}I!`>Wja![/2*'Uu\ns:](h[)E':5o=Ty3 =Iа]_{(E0f \ߕt{vXUK?k\ 91 *Gg^ÈTBkD_S[~ySY&4tg%uiR7Dm)4IO/˿i{/a)Ѫs`LywwRNtYU5Rֻ"%ǣOGI垉=L.:wأΚGKӝ{#LC[Ŏ*l]‹M7<,; ͹(ZDGM/~SOB3AaX]4hԟskWN}:ضT1ђ;\6iP mc&O趿Ӄͤtƻ@~kb6CBL%+\ O6N Kz(Zf6UF Й/JΩVXs8YQr2|utrcF% |FrAu>3yj,Zdj+Q]NZ)jۻ~ lZRlߌfUоjk l| gf-dxGO.0{^spovEPl%9Q?ԓ?[<;3e~<ĥno>ixK4֛՗J]g> ]z,j뿰~$'k#uP5dK;."fFtAse#?vD_4y@nz/d2,R]aAް\yq]4u/sM@1Щ7@ s}H864ſ+{-? `0Muz\gxеhWM}UN$,lmn@駩0nĈD)ۓK}KUąOj3S5,#l-Wܓśi$ 5$]H$-|>O_(\+{5a0a GY:?ά[9ˤBߣ@算!P f1&䓌r]'d{Žѱv_!BE몂&|DKvH-Z"3u ypzs1wI5 ^gk(QJ H-3Yo?Z'N;uz0_. qkC1j||y{r8u1 T4D>"Ւ%>4nY15> )~l Dxk ݯAB$`woճb:NEf ZG?=Pɂ (~5.E!jKIu(QO D|3*NfYcr p|N\pO܅ h9.l6'SZ{rӖ1u滽"Izrזk?`ˇ/3 2))=[Kz/m"zB p94seSvXd$/2Ͱg[jUK`|DG&1gC2dҝ0VjmAt-AzMn]M;W: o7HL޳3(~q ~пq‰a>72j"O8Gfy22vJ29#Ib;xͰys4J|tĵ8gF9h'(s_ȸF9JZNibMe͋?YD~<ڈs,AK d>\t"~25#矏9etL]KXN8_PBKfkד56?Bx N'wyJg3߀d%)JL ,dwFlVa?aa=IS}ƈ`taQc`ɗ́A=)} SNbin̝aT1+\(C2L`JM#W$z Z"&Tas_bҀ\mnPvr.l83ن"LO$ձ#S!iW:'QwS^?*Yx49H" Y?oR~sDo 37_2=ҠUL"$>T'ڑjn4b3n疑@>A.03BU-nN~p!\LԮi؇3790o7кx5ĺh Hqw. (`f]43-|2w UoYiFMpȷMMٔhjy>; ְ4<ϥ(Шf g±gYZ R R2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[I'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ#(< CY2? 4y[WI 7:AH-D}̅vIBy:ۇ;g}ƞY6TiTZL@;fAH[[s'UTԆnM"I[ 0^[?Ym՛ye^:Ty'iFP l}@&r(gYZ]H'# tZF-InductZF-Induct.AccPIDE/markup7zXZִF!  q]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Ηq? Tk 9 k)Y4WEOԯV&d !me[lDHW=^;WNFP }BJB,>Ypm:4jIgzg+Bu\v榭FS{Pۃ#l \J^Af+PkyЦͪdw5S#ʫy=$~_r{M,I֬@َR< Z%X~ >n)k#iO +My׾آ1в;+X%i];cc)]jXa=}RFľE5yWr%и2 Lf9qnwJ^&N Z%bF0kRlO[F5d-dmb b2tOO2k'Prt0zki%#?uiH |ms&LFv>a35Q [@:wV1go"X++&(Rȉ> \,  dQF$z27^ݿ]RpI63&ISsF=VDasc[hKI="7;{6fvRեfBbpPv [k@6K/PO,~h I;zH ;߸@3p>l 埄Lt Z;^x1e|$aS;4H}GG'h6H.wJNoqh#=zK^O ZP]ȹp{a"Dq`9On,cJ Qgglj)Zq ?~/vvWH_ĘGaE(i4$_'dyb]?, /Lv.ӷ[/i47D;l'9QSłƬEh9O D?]ރ&:Ԛo"e}j TUѬ  [m#$b$p fDbٳtqG'ywmū=`HKֳ6O9I-]b'Kc}(`zG^OU- _3PTDq`q?ZA#L:tLhKs[RϚXc&Ǫyh87{&8ƴCQ!z,W5g5h`M}BL tQr@*u4hR 0/94^}k~Beg.[%}a {xԻ3 0p,$]ifUFޝOP>3a$lhqZ9i`r6VzUqWOV0o,;LPt{V[=| t/4EQ+ܲ[_aOqTC$-məw LQ] PκdlP&{`4qTm^|wUnc,R%LʷCt>{d6B֮ YrC&pfۑAT?(l>s83&ޖˢJuqRհ/c1 C4@8&LG"Sb`\#UVG=A_LvycxӸ-W HxSf"]3x»U;=yˊ3ݱ*#E1 $6 hIedȇA-֦[lnQҪ[T)/=u`(*u/=˗6ĸRb29Ӽk<^FˊO\=Wͮ \r[%bQQufZf Cm~FPpY(B(^ZW8 g5(t--^A'g{KQ2c.u<*jQg+BО u ).mYj-^<oe9ĵ ݊=7ru>YYkON2DnYO0#u"pd УAqYa "C]dXH(O3 C(*h:9`YN\"F K+|]swt(Ū84;"MdJE8%U mwcMZp;y`q"%gѨƘRSaTgZcL!jjlzQ)̣4 +"@1O2m @tVK^pǡoxo|o;cyu ZMnFZ<;oEYӦOl˝# C qmOv>xW8eNքrWS$^efNue1QayG@bZ/r:𬢝kE@87&dpPJKKI =UrM0JˌGtöAo¹! ?+ y'r(>YQ+M? sgYZ 11M+# DZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @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:qRkbπ8E^lۯϱ(QPVowMC(w_dd_1FVfnm(K} s kߗ!!'u*U֋ c{Z:Gր]8_5-@a?k+ }zkӭ̥FnlˬzKpx{ϻyu1u8Bwz0?I/8 7gp(_~!gQBq5m'瓽sa&\*$O~' )'C407 pn+n$+,ɱ=~|~ k# |VJ8s1",mLױKU:npLa$옭tKa`enWa` DP$0w"Oo{1z7S"hۚb`MuZ; SL&\1xGG[N&&5F g'1EeI}E/yѶ{o:tȜ 7P*ڶn.|r<2WRer]5Ęr%w\1z㡥x8Yx"eٝŠK}XB=KSzxDh2 5{Ć{RkA{sD nԧvNwVMr6~]m9vczd(n֏ n=2K&PCv;\WE#7)p5  ^44S>%8B(BʨLNsqԪ;+ 01UZ$Ym@)NW6Y^@p A3kp42YʠN;A 7|ƁU0}Ɉ\ +!VWll6ei"-. 4E1 _,'iOuE\{cv ٴ=a P4r7(=S-W-]&>VUd=X=jxJ[`-biK Kl}f.B>I57OMBa7Iqxe@ .~9uۨ.jqFJ br l':񬠮# ۲ łGy%pAe8֊4R&} /V' sdԩƨtioT /w'|:G*POIh| P~AU 40IqINf`2:qkE~*^H2Id¤ G?\+wD~H[LuODV'-c̷N5wfĆ&JR=}/3+[hnTޱ#^jgudx $ 2 }s s64-Gr+;^  Gp&O}FJfDž=k᱖ Xn I`43۞tՍnS CO֏hG1D\X{PMya8$ NIЄ}2ּ4ɺaL,C^+]cs(% ,(^pQcw}xrbO;)b{ 1C~cq}0qz;9t(Aq1whQSK:a'p )/ݩׂؐ YS2loRzq8CЅe*LkropfxG9ܴKY''E8⯿-Rbu'ңk'dxO쳫 a9)ЪvN2)v d 1l3&,/T`^>lA%銿:CI 龫4/f OBh9FId9rr[P+s3 'mZP"\URv.Iml֛Fi!::YXHQ<P_9ReRtKr" dsj7KE npwR?4t^:JMrl3HI@ wX&V<<_w_e{O(I@Y#5PրRA\rdB g?4XQ5骽w݊`MUeYB0e b6N41{ufiR*ygG~T;h5Yt2bd޾Q\i>,"ţa zG\ |sӥқHUg %D0=\0k2R`h)>|^σ)X}4yg9Հ`s(Lx&fs"×t