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 ird4 ]/]ZF-Induct:threads=6elapsed=3.531cpu=12.840gc=0.7847zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0ϼG[E N-T[AXi#%~iW1wo)%l|_E `٫u#tfxu%gjQtV wPJ= )jy}2/M8EϮqQd\v*,a*\G r BձgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?0q u 7//7 i،F\N:"\0N &:@>*Z_\²-[-4ڹx\Yٛk#Մ jqYdSy,K:gYZ7zXZִF! ]ŗXi%{rō/s֭x}czl"&ا}+gGEN=u=pf=GkŠ:_g\ L8VnAjP3{7ls (ٯY (Z)>CU%cPe;@Gx{.v(FNyx\g*W}Y&ZZkW4]{zDC:%Z3].KH~9j oY(L_'I| 2Ɍ+;y6l>ҰC+ƥùVρ/Rm39EZ#movJ~Ƕ(=HjOSٲܚKV !il;n-6 ڮ\Gq'5jNJ.6Ѝ fuc\Mح@Zfe#1w|nrU b 7hlUgN\O]ddeBB|WZⅽP13[7G,Q.n53669$@_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 /@cnWq _3S* /  ) x O % vM#  9 a}O u J4!c1 0+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 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.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex.)/ZF-InductZF-Induct.Termdocument/Term.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[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"!gYZm6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Q})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 P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6jf"ȃCGv3㏳p|ӰTn|5M(/VT@rÕ_˙QzHT So th 0##iPvGҷd}J h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I   f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ d9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ GG6+1 ZF-InductZF-Induct.Ntreedocument/Ntree.tex7zXZִF! p D]A-MՋhvG"uIBm5Ļb\ma ) fXw; Dt" jg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗ?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZ/5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ  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  7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ v vA 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,CD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ   w D A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?UeK72kps / ȚS {k?Nhg@rCͿ9C 0_I iD1kBRӚPq?= z%r-]:ҖYrXR3C&* ɇzܗ $vaDfS[~mi拴БsvP]>89"PIoϙw3^U35C!ܹ[m[ADp@P}t~c_gc GJC/$u@3X^:H1&S42goO[ޥA< Mc^gu(ư0[0To1_@KdVc<@e5}(`?^ơ5B]^WR{`sc\Q5Bd"KWU EqUc^1@ؾPƍ6GuL+RȵG"z-}`EU/9iuK î^CR؄:dQ@vnBJԊ|'AV@̹'37)LV๑*E‚X݄*6ĺXYki[ʩ]EO莄-%V`Ӳ]7#a%i Ȣ1Y+!I rK4}͢vU!֔lt*3Uꈷtv(Dz;qSly06b.'X귑H o j'|/;ɘJ H lKUPIpɆ2<bj":CbOqRu&A",1!wjІs* RZ&W:FYEph`l?C @~} ޏna JeԁV;] pqaJP5iS%C26#sr]'!w†,,BQ W27 șu4{  3m>hbP|g\e9l5%JiT'-QkW3z1ZjROo\/lV4xQ[-J{?V|z1 ƻbȸ=XKv5|dCϐs_89W9{ڠqUz].?dkw䟛ᚒ2u1h 74,`Pj=g4kGA[oum|ɾ_yv\[xI@+nv.V/`%: /AZۣgFt7e)7F yȰix4\EҿQUNaiպЕ`/skc\*T\Km DG` 9 VQ0r=ZeXX=@! !,}I~U6+~}bf9CH iթlDxZ)ŧ-$"{W,>_mC<ؠXBo>vm[M}^R*j%&ԁݯym ,އ~>!sjXj ;~ /M嗷 EԨs_-箅3[*D锒:R V%w:)26udG&{"yɣKR%({SvIj/@)as_ri9yaD_[^]څu$NemoC4vAGL;I$0޻ %BIt8^A2׌Mc}93m)1mO2xl}wu>֙߄> ȨRʹxIbˮ )tvdUMS|[`L[M7 [" k{ʺk %6Y:><ڦ;ŧi@BW]tRI)3@II,k"yB;eeǿ[I>t80*\R-8Gf޾bdXڍgm+)td$ҭ=.S3Mclp OIJluٲa #]B4d{XLUw 7sS`^3;n#m/]f;0q<77_E;[54h’.Gkwn". jY"lY՗7)[b-4s2S@g-6uMN`dJ+j&ޡ0]0WuNσ;S$v$A/2#{哛9$NvM%lI1 E]NUx/>:YO+<(eЖy.ط^Y`RfT@ e ח^ zb]=dq')7Fwo5s*V-h*swU[ԿA'?j̫R$`xS>cij|-\xћJ0^hs[ߥok~#8Xe [xiW(dBky~A äb?0HMaDޗWd|l7qE'%,WYG9rHH:&"r%QNdt]7 ϿDm,Iƃo)zU`H"%gYZ  f i2 1# lZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! Ң.]ˠ)jk2p O6LP=͵gl5gՙqjRp]/k 僁cG8cUiAw>T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λѡ50L10Z^IMOAWClC5Zu&Kt %zm!Ԥ0IYK=^*#Tšp2p(UAenU3r2R\j(iguvJ.\:IrNm(w?_Ct&8=b`\$m [O|^YO ~FK&SytT#88XLipO01tJT%iC~EfUS:LSjgɿ<'xu`-Q.jNE$?߄0V+gPC$RyMOǍcE!t#S-qŋ40y ~fbej݅G WkAh%V1; Ew' 2q0 RAaYjW}# e5 9{Ul%$D>NfI!; g2k@( (O8'n^0B݋HD&JӼAs1tn7X _ 5\^, G䒃4M&2Me8t{ah4sgk0Rh jY|kFH{`o>' oX& Wz֌+G B?u kd`d@Jž;F. wArKC7T>4 Er'ύ$|Vzr6gLAnϋR 9I5f|Q>\/^hZLO2z"Qjd^Wr=P36Oaz+XG/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' dZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}*B`aR[?MT '(5%\OelF`KN Z͒\M۟tnp3~{݁Ōi'!1}VsыE;RYPB!.@L t_&&7JP$ckx&L AZb3\iI6dRj=`d+fciC-bjAo%7gM(]i{H]JcϡC )j %V,f?C/r셫 8}H c$^h*<M\PR7]@*7}X.wgemq kGTn A z5t S@ 5U&20f}&b:8mߋin Mϑ2CbSĊ%{ŶDg' #X` 5cG/5sؖ_A{ɶ 3\?Os(E+=!LFc5edWBw+b fj[>Woܩ;(T28Cx6<=bBRֈKԲMsL4ߕ-F'r7Jp! 9HX\B$L)_B[ֱe{(nŢ_8(C]@H$1Ar1)_KGYx@ ',qK:T*#"ҝ!:tctl4t _a)Ik9qOk.1Ιv ߢ] ̄'H&8+ zk|f1,*,nVyLQYK'﮿έ [u4L]PIʉy.a,9PHNB N/ZUo&Хؖ(o {-Q<$S{Ÿ)N+&1c! N>lQl& _I7Bph“q~9nP Ѯzr"w:)`4<&!/yk(xru8d0byY>ѿሷX-OdqUHԶ.c?N̾p?BɒĿ]-WP7HhUm I,j)VQUcT1"NL ]*t쒲`?bwxr{K/^3{$Ґ8TTŵMgmL,+b^4'N{f~{|vRGpK8ji}mlơ=?RJ_X^b.l S!Txy8(}_F*߹#p2xuV?$CZL:=㼼kzdP8z~-AD:=)-w0K+AৄҶgg# !#b!0'vlyfETi(3JavgĈ@I)faH-LHf"myjw}OEWFp~YL;k5<o }Uڶ_)0ydisjѹŷ-#bN`p} x}?B!rO),3|&DAl@|R m^!Pn# `Lg]b~IX/lo$~MH9m~a%HD|QzEyKyX!_dZ$č[N9 W;*J2 [&Rx"|=6h9p-Zl qRH ZmЅ he9GŪRR:v C^W\!0B`y&B<SFH!G::+j`I7Vah_ظc<[{p3tٍi{|.w se])}6^EnJ/$ma kդHbO C;to L5Nn7|\ip_IKzk^ܠΒ^2n γ { ftTT[U]h@iXѐbwdz?O~.\Q<4VdP+=9*. n)2}msl-$()@vcʝj$@տiWQgPj Ɗ\2nO7-OK4 .ip6"VS2Tv7?^B޶glR 4}eZ a~]dK `'< yf5.#ldyԀgC}yV ȶ-g¿"Xp/IXeq+pc[\ eXz)P{ڶfg}̒v0dۋrcਅCvlT6ext&ŖxvV%kălAqi? +SxoQwݡ;y,Sm5VQL& H v6"]cib\Ei!q#ZtR1"$_MkMvBt#M'*R1K{(] oNԢl/=qb0Z ~PIMƙd\'>М{7DY|^}8Xv}2l#&|&w}Q0<0:d浦Pš^|ә?w{u|lk[yב1qtpN,+r&1qǽỷ?iO?i Ob;vX3=DhiFN,/H*Q}^K4Y5;͌RPkY=Up6rW%)Ea_|# #{$G[lJb 2<ykB{m4:F84TnsJ㶶%$%=vע_cٻ*Njk'Gg_ZR6fcVTe,S(6TOh> rR1 QL7.%ōȽs{>)>J`InAw>ʣȃm;Jj(]\*6|yel㳀Rjv6ɳ0:2{;ww#+{嫐8 (cxtT4OGpDu;k4|FN)W,&ė ꠍ00Zͷe* `y /U xDL^ 3%+%t>.~5f1l ϋ$Xشmʻ塹k:H )6fTp8:,9w5y&)ҳt,wbJ `2[1:9 qu*rF8}LƘX^㶤;yvBL$Pp;S>72Ioq^8j*YK.A(MW@YDǝcZv#D" 8$mBWe-Z?kH*Fƅs`х}'uv9E:=_6 y-"NOJ?a0C*ʊx4-\O2T;މ7~P%[{'b]G@JM,}}#ʣf9( %#௸o!V5YaȜOEMvm EîΜӢ,Ӱ[:vL -^ѷE &=݋fLVl@l#(Ws5xÔczƨc>CȒvX\]Iݜw!ľ9.I0>h;-5ٸ$ (3 Ja,qna G[L+Mk5aʃXm5)mV`@L>৆yg5 KcլGO7c\ h[h 6X~^ /_BHdeB2m nO"C:z+d*aʽ@jb2UWXVq0WjJ3T{ \fk#X6Ӵ$| $ڝC36p7h&p\DH<|DAN&j*-u^ey^K:XSj(9*Wuj󥢡gTv neU12HY=@Xk|p"D Dpܪ(Ϛ0R((B-{IUoSكU]?Z(O po!KhBW|.Ux\d-_ACr z0xVG]x'D?gqY vDd"콺\CYlg+_ND "ޒZAȚ%jlҔw?Щ+#12A@\}{?ѦfJ ƻ m 9q>L#O(\ T_HHi79 %w\S1vN 5'%8Z.g9s9jH/rX&Ea!:jWފz^}H+_K="V[S04,Z|tLOxҾΡб6pgDstl<^*-yilur˛ΰ. 7kBoѕ{X3D+!(,DgR#-qJD > ^4 Ȃ c A䆐 G e?v6s )oVx9頚.F|k+mq!`gM`(q+AFP⎹m80n\+tq],#iUgOe-9/ D0 N=`&/VgӪCE;!QRNPcD}@7b` C(rb.W?(nEIB{&*_}z`BhQܣ&9\mcwl]d/ ' YYf.  B϶,7O|#;E^z^`pK\9LcZ/Y{"2H вdAĐWdA$nF. 45w3ϢP(Lp8џ{5[3{ hOhLFt;UYE9mIjl3$~ų,SaǠ^-*/y)Tom5`Ww5?媨:Qi)~=~.G9bMV`ř`hl׳ Af`>o? TD Dt L$Awx誽[賮d;='xiv]3ťwk>G~a&eHVoSI$r=h⿰I^Jt+L*C94L)Fultp)ZOӐs=u>C褅~a&L>8 Ӻo4dfVw|mXiJ$ſECw:R&}ҋ}b6aB\P=,5bp<9'a]np29uH֔eXPY]ShL+( "9WШ72yzkVU( KY.Cm44֯\P/o/ rԌ핹yg;Q gVI[4(Hr1@0UޏQJ~Wbv҉uH,gbH['ҫred@V9JIZ`#0vz?UM*Ĝ )M. 儈0s[NbR,{_/k`pZ=|K#Ȣg˛&4&dBvӿB}P6)w|zZYGj,l}.]8Tu1la۲"5z5H+EeAh+MsOPl~D19z#x@p%IGת]7MTb~r&jіEhbjtAJ7t)s(<8a%,%zW"VxSTQʴCni"D9Q!Az"e?&lw\2UPGʯ14M>`48Q?L7uoG>w06hb,*>tn]$e֕zcQ ڈ9r9~#"TKs!C尓Q̳~@yT^X $$yUKޝ/$0CnM1OC+䐜͞ĘK^oYj(ƇTP*pNԧ$qmS@|-=?Hk>gH:fva`|?mMqQ99TAfl o r$xU.' ɐ3Pt01 mݳ nhMӏ3,^C%$H87q ԬItKi4`g](\x0CEk՗D6 YS} P8foi^7vkQ~o&8 *zɜ6l^a:7aLw`Q/ ZWDžó;TnKG4s,uzAnO~jGz J8d gYZ!bMN_>ox]KzrSUM+.7japM5G9?zWixk#Q&Ta}y+%D*IbK8a$Q/}%sH7|SpB'VaMG3?N ;֒#9(>ՕM,8UƆ+Ŭ^ \rY)\ޭGK>ª0D`Z*z^* C:=(pqŜ* lo8Zzhc e z4v' UTU ;[F0 7*=/A'Л}9]6)7Qb!MNq+xA Iqi~] :L$ٯh-*_ WzNϓ8̆s4uM"ɢߕÓ1:r/-ccHoÚYH{w%2 |9š; mR B#\>-d6AI=Ezؚ8M;KÄQE7ۭЫݙW{l$KͲ j`>)VUŷeY.K*niOqCw $A֟< FgR~T{m4fNqքfJ&J\TѬFeo5t7d`u1+}WG &/[9!Y!( 2S?Lr\7 % Syx ǑqeUq!ڠR$lAz,lϟ0lj^9M9oV y؁7{?beᲊ GBĠg=j!^= sbƦ9lq>eZ-tCgׂFĐxѺk=/8ԙQa<(萵c|Z< gگ*4a[2.-.5rbs,~ o utQu=? ;N| ږ>BwOulS.-S֣~(4wQ)d3FZh-diOT/8z1W^GB~C7Md"tp?6R])۔';rKҺ`3uxBDpROtM)CqA%7TD̡5x"Dgy3SKR(17-?➅-t Ky>v#:zCXp>~)Z@.;sXH㴷^[Mi!hP9s+0,X·0d-ZEWW$>h@0  h' 㿵/Wu̇.ƕ"įf'JB)jwm2h/Dm$fXpIMv2pV z`-`05,Is2-+` k% X0ٸ6HАc'zj$y6T}]:w{b+}"q_c{ݤ8 7M+|xM'5ߏgUae/1=tML`tJwUX/xV=5~?ٚ"#ZA$<̎@JYwk{߲/T# RUf?mښt%CCа\܋Z<_լϪQ@7\xN>*AI?r$Lhaғm"_dPtfع^{yEaiͺ,apCH" "4DlOh^ŢQnşQ߽K5 cn/ޯɭ!LYM2[Ph_K;F~Ҙo4on0&!LFܟ|OQV. b7qlFܭm- ]GnYfh]_y~p;QG?_y&lf/I m6⧂eޞ]OI=kEWGo@`1 k-?IYsN-M8&BG8n~X#fW(̷+2 X-\b٨>Anc^F_x\} 2]m$k ANW D{;=V͘.x|CP:xKK<+WSFAyƱ`%Fݩ\ %s/?O|<]]9#"긗/] n׽|k1c}5W]}}g:SVq+OVդ!gp"1k,>caT ^ VRcw]۬sL; ;0񨓝 :m)ѭ5<,P̪(6]Z2 sUa?y@ jFyadciÅW[p8m.Xu %ʜ)Lq(*bZ6lȷ$x-zp$o퐥we~]-Tm8h2Hr(j_k.0{x/dv#3?\Zeh[#*n+'#.EF&#H<.*%Ym1h'y+5Zxh{H`u%)C֧ԙiv:]$~\ncD˜;|eJ8Ŝ/kD}iҡ0Ϲia]i9IzqEjpvS\k#bJEE*i3d~ö݉p!Ƽ^ 즼vÓ X׹\όH~mK)W ETjs[ [ ^kI`q>)]:6}R~C4L#z>+;U.'Wh8QJ V6 -yto 4 Lop:e~,Z#Q+&P" Yj;F<pʖ}K=n$.L)cqzPHd"fgaf4$C l+* \qjh M~ xcx;Mg]^1*6h 8, 7| GU Vq>:C8O3v=uVx&Ӛ KL0񨦷;Moshלa@iG[7_{Ez$1%l-"kkd7GN*0s$ j ;lZ_E&n0/+žQ S?AGZ'K]y(s1v1) >.|[$=9MLSoD(>pT\:*ި8 FqxʼRI[r{ĭ5n["y4TeDay,[S#[n|ɸ:w4 ؓ,%PPMn]oz!"$ j^lAWuµT.ֽ_Q(7庑q妤ͥPRzdYÎ{TiM+14x Fl0$I%( Sheٺ>gmY*U ퟿S@-;3+C U峎rl)?k3OYx璘޻{V5vFl*{isv.sejb a=I R[PJ&KZBDaB4Ddi"fL q0zM& /߈+hT6ֆ*|)Ѽ%\mfv9+&ؔMߒah:ݹT0FFߣeΚTfcl'͡\>W8ָg}-8C9nSΨx{ _~D$OHۅ.u0[ lLi8+gWaZڅj0.hjyXu֫ٶEsg^?Ie/(JeMH%v݆\Xh_D'1HW&Xwȡ̈́oÄFqzMMkYVCF=n- vWb(ŗ="kn baᇛau@NR@,A};&7uX \۔hN]uBq_ԑ)L˷s+ľV#1MW(2Q-Q PQAP22 mS (D:H =!# ĝvnyt؏9@`{(mĂ#ߓY'pf ϙҘ0 y iww :껠_?fK۟ }f3dDP3WTL~-ZC HDNjNYbg༇3Q:JG e2syPBiDx]>n=d:Ymyj1eJY>lK(Sd#5PJf*sǫ"B̈]0y|e jW ;{ μl]3pQX!J}_>f52)0t#66Fn":1̹G̡#6b2~`iwi:LݢK~|2IM"S%4[Ԣlh'.p&# iRIe#YX3VjFKJ4.k'E|j 2]ţ_ iaZx0"Bd& G7~2@M3 ϱѡ)jgHx+wo?ZCa򮱠/?&~t3?#) ey\ڙɃNp_,g__gT]y WuhqndIŪ@Jޯstbdΰp,+?y7nUPhjuE^Q. 9#(oT{҈ytBza}~6uJno~x'vY,Z":Mbmk|FEnPn 읝miB%w@{l1WOsյeHBduQͣp3?12Lq}R| (ǯ0i+b_՛wP.ؼiB5gyp-R):8 y5HbJAZŒ?VQ^0?ɪ;%KBrs5/[u"u6AҼDXηxV[ADX4qEHoM w7BOW4ACn^CQ8}$Ø՟TR3{+3,GDW~>>[ᄋ}VΦy+Ú⣛՘P%I 3 4^K-kn`jtA?/GVrcn@;!Ř $0+/,:/+J-f%+^9ߜ2.K:#z(ťgkAߓ(5@t']G@^" ǟDn9έv 84'g~[w5ALa5?(H!G0 =m.:*t~Z 7Wqô>KCp] pin3~d!ݜwT!iϵH$NGSkzd{yB,]kտKplA^1z9n,ClL뷃RKeIBM,O6hoy#$geE-E4^9 O%#BzaE>2LP2v.$IZ~Cw}iᕱ+yUJ]~#T%6 .+nSPBasQ{Ԥy,.@谾Z;z:G.N{@MeՑr"P$؂:rDO8'm%ܙc_;xb/_,?<>OKI:7"nZ LYQ[6V͟6s]p.슱p*'h(,/RU &B:IЦ<<>=:t7z|mq)u nJ-*Kmэ>-PBLE{ۃ* ‰d<}Q ,`%?а`=z(8,]\<p2HQw9,9VpVh%]Ff5]X=&MIbJ\XP7\{yTyg֐!ToD'yh]n3mp'gOC9pMj*b~7ƏH}6!?jd:l! N퉷j}poߊ+SOy}9Tw*J~QaSAWТq⹟j(1y6pt%rHXݮ49\H&f=8IT`xNEs|&>g_i2G|d`3h>8S\L0j8`D! w^]$\MeB_U{3D"wM^s3jƄrdn"",Ц+vVk(e'1h_qĀE]bu|K=`ZfTϡJ3jrQNA5W]fϳv8虊L| a 11F+?(Pbc^!hJ*YմZf?iip7bm8ؓ:z؟jYHif*x)<$ݐ$dqgR% viI?OHV9/ϵo?n)QKʙ}Lw> qʷy-PJ6/kmRԘ-aװ%B@X.$Q#"r}mGb.K`"[א"|y@2l^& @g R*DdSyTY+-B4W>gO4'=1coG=e{`eO*|3GR37_a$w. 0EX 'OWLiʬ(` Hs.12:Mt^H^jy:)+udkkwff8\DOOW]0ՆfZyb Y`t xv}!:LMJ?iKuiJ$2?dȗEyXqad#êk#77PԆA8QTבkr=Ëawu  ZݯR\а~kY3Iq-T4b@hK`4gAzL5g _ vH'4ώWOV;TjdgK$QqPQƁ=AFll=H)Nn_V[[FYcL[f~Zم|.*59G!5<> f4)]J2!٧(P1=xZMKe例GWLQ8E [;iQR߆fɟk@0P(T q~4M♺jmLpm$Vx{ÓɻͿRnK$㶌$XTpPQ*0]Tm0֍c6X/ʆgY!%o% ؛VxpJW w Y :),#`}*UM+[?"$+6=؀?D|혠ʢ'a_9yͭ^QkGD5T?">-0!g}(A܂| V@/ԋ4t?v=%,*ˊ;(@T^"J'݁0WT4ӎX]C'Y/HCe53n{qpj@zAȡABB.$[P0O\P2NѱO!N ]^Pٙ/(I5g~7?b W.$)_Qedl΍ }ȳ$)s@oPq)m q^yLX/v_"3RnY 3T},p1\cm՜X[ץDCGu/X ^̹%Q~8bm ȉs4z X$ҤT\ݐ5Ly J *%?\~Hd5j;ju̝yiJ3D)d$O\͑FS$cܼ+D}ѤB; Us6u6+p3 "y`yɰC$ʏ_z0->&/&!Fm}0`L8pa &7Ncm%h4ʗz v!/d[t<2څ6cOYV'WžU>=$4D LvJ rHg ɴ r*p?bfF&1Tv{B{_h,}Kr|zJ@/N Ċ8lERQIiްf]NV,I3bTxe<Lc:r etIujɁ.J30ۻTʅRV5Ύ#bXxՏ {h-{`:bV|=zWSSv jz:#I}n{zxzǁ5$ cgm$kXf?ʶ(Ox)FP7<zG'II9ºqgT=m7(k77?ݾDmG>ߟf>OxACG]`N(/3\=E#PShQ.<./FA8n&_Ց7N\Mc~F_&IP]Q"wMlʕ;kdxj"t-L:}!>lpM[dI ~mB!:2^gV7$uB589i:-\*X*lc]y;6-kF:4bҡBk DoMN(&A}o7Mܴҷe~` ,t#%-Au/sفb]d:φ *.cӻQ.ŻyΖ:ڍ躉saYs9"F7r#2T  PíPYH˴wAD_)`F7G&geŀuzޗi-6@g/|0.Gn;͘v ټ#ڗE.tnNʝVMjOnE,G:[ֱ=QSd[i2YڟOwRͩxAL^0LfpX8>#jxBIDۻse2|qMΰ"@Y2OV谪D>ckj&k$af5 FEELrk,)"F@^]j^mshWؠW),8_z4/{`':lb0w3 OGo0k>Yh5* :zxW%f5ft+pyqX8RK'# *SXrY'8u61XlyLbC~>EAz@HK\{[wmùb$I"\KORf}꡷q?9QF@,{tnNg:;?"=3TXkO<%"3tOGE$SAD/]=*}|Hr(,󰃆e95TdO$pGow|?=&#h+ g)#օ@aBsDk7}(_4je\ls;tȌ]oۑl/6JFSW8Ǎ[f~+@5 ^vI$8Apʼn2o\oɹO7-S`zTgԘpU {;gb~ۮ+V YlG>pjAx@ؖ_ŽEhdUUx9$^Glf+S7]N_wY"앩 ~ٰ͂G\xjypa̩2 :r~@dHʩp5 +|~?x`%賗 j"?@/4ztDC :!9N>!9訊ZN|f67Ir"4>"i0-#%2u=K?J<쀩J c/9`; Md1s@& pc7p1|v{c #'Ul]@df4RT|ռU"Zd ,9'=!ͅ<>C!7vr(7U:Z"I*[Kk?a%0m/PC0h;!$ l4Y06r|A 픨QqҊ(Lq3"8z3a]e7HC>iWufPS>X,nGʝ\5h2Vu1y7sUġ /a ]T% T +X%B-oM;LA+5ftb"/F8#u;Ch,,s{}$4rwx3#%|q%r2ZϠv#M%3. ?w),¦`Օ[^SH9vzH^5e߶2d_hQ\@Y4]nšY~av'nudАmZqs3{eնX 3 0h ݣ 3՘5!֌``^PۣhR:D R@jP|z %7-S!0~,BLQ(<ٚGHJ0Mzq ,~ 'xgf0MT$w.ĽU+^2YDM0d eԷV-'mNYH4 VNR,?N!&- IaM 9Zʪ(HVt{x_QGjzEeh^` 2ȥMaXק&g'W,΁G[&/n+]T ? C5KBU1̻3ן=eu~!m"1PS/ ĤWFeSc[6_ri;8#=Sk.qGpE5y0^8D!^4f{V0+TA/H@#yR* t6tL߃V쟙$2)*uN cL*=T \IU/7"tlzRMv&ni'w-,ߎjg"U4r<+C]݁{~}v~<@_H%o!22%づ) puP$?yw&'^8{ evb|‰-/1De}kC|a)v wczЦyoƳKJXG&ɒO!NCgvVeoūL>_9 Tۉi,(Qk*筦9A%N\!{V/vpG0Ebh}w;>M${{;t+z` 'KD+T5{c®P[gV|s?u ,mWXj-gvB|"Y|02~uW/JR!|XƖz_UNSpi<, ?  o'I^,;]: Lh=75D^x̖]&CbYr|o =$X}(L8؏fT$b5E\NۥN署M'=o(EGBJ7%"GS$&C”N}no]? )a;=ejq[H1]i~6 sF- Jxم(q SKV\W@$fQGm8CQ#u&DdSϪ&Et"SP:WQ\M!|n/@g"svP2YW4 n+a7aSIP<v,xz~>XC&:^rvosz" tEmP 8?Y0JyFa}FFsQĒ^vFдn,}i0bϗ8c ohn +NU.6㫽u_ ާ>1 jEk:Լvy?e_9d_I/½S8ש)Umu@FNnnScf89hChf7Uef$ۯXj[J[n|!yi_:GڙM5In:깭X7DTC k]z>q`{}t  bB2i)jfΐ/~4%+lxnE&i[C,AGLu^e>@ȟ3_ #ym݋*0۰`YԲY8{l^P< TyTy8cT^jXV2?$ark +KҡVDܳo~-sh6!ɖF3T>VՊE0iBTmNJ)x َ'zcP`d𶵘|r#: )z. Æ_틑PBJ]u_>['m|(1w?=7 ԓi*^ŦTaһD$x5o"Ϗs>ySu&#3(? /qzv-N@ Rfr<_$) T rM|wuZد+Fs+X'HcT&+N՜=N{0Qۅu:D,91=ij-8&, =WzE fDJ}bd;m k_r!x()˂6?nGl~|4x5ݖojL]~HqJl7Si7ы8:*`9ŬBe}С+-׽{NPhN-.%|J߾+HxRNrY#%wuYhf̿vHBR416sP o' }3 5 Zn9uc6E_3Qڪ&_Wъxd|:G 5>8kg 8 ZK`BldψMM֛NV=vd8"?-Tt2(+0.L!yQ? 5X{vBY(ꩋ[n G%Tp&˶N|n^@.PZz:r!o4iRh[O\hȪkW> L5Lʤ>xy%yNCS3_o;H0vRr\歇b 3Grҭ%Z[xaw/δiL} eD&eCW6CJ`JƬ{vǙ=Wԉ &T49҄&KZLFLQNӎ{ TvfSpKL9H<X1hVbžbך[TkeB`*rz ˈWWm^M i}6_J.ةsY&mV$0Gm[i- ⫾a %9v mHZRz*&gbE`sA⥻F7hh ~ҤmZ6RI/49TVDu  |Y $s$kA |khM/Q1*k&L3ꐩf>ϔ~<P]YaCJ'/o;a o<\-q2m/IS>Ip=㥭ZxoDY鯱> q{` O4<`I2vnJV4@{ L5C')&cr텯% 1t[cOEkin *K]: =k${o*d3C5C/3!Q)6i!c`Uhy.v3+1"O+r#Hn<$*ђTc!0d4 կ֮WU[-9ZhBn?7hwT:i2ܖUs$ J̮%_xd ǃ%۔~dJKMz+"T a'QuKc+.y+q? h'?+TJa.Nb +x E@,&5!Gu3Ib*I0Q͑Cal%*lhZAhGzt/TpT ELu"Ldn75h5ə׾Fr/p+{9†xZFVUMKz; NqO[^ |-t7oNaU0mF yy'_YER<׫˯ #8)j:!lt#lYrkG TV(!YQz\oh:\}`*HOViaq-Z ;e-֞`0@jd2TU,fa*zNT֭ Ƃ{A# 7&gЅh^]%E&Y|g&FZѝe5lWo!_0 mE aW:aϔXd{t2,ROtuD^TOkHRA`{ `i\Uzh3G^nNza#,-xuZF>M)!{x/:_ϑ)D{].%8 @NڧLCW$DR+yFNAFT@PffSKhȵ{xdpڀ]s|oLc?GkkMFU#8i!9?$,é >_F< 3A95^,'큳}jVnMzX~ؗ LL;OOÜ4 fu*1a/LmØeka7gK遰.W=͌;)܇Q ,P7nm_Z;F 90dgC3<1i\V\ A ${R[Ņ7^pAkYOuSzg@q?K _-[Έ9xG0 QxmLOZI{b:;Ϊmoʇ]XPnJgfebn'$k8\T`߂e(}P> nԉX=mdb@V74]oBrY8*,~Mvb@Vm~;cv*쐿?SsPNLUZB(R4/l۸\nm6_$>D/> cQZp$kb$w/O&V,&`\4*Aєfz&^a/ % ৯Gjw ^NV).:k)3G?MS7r02o/4 "2Bӳ6ƆAL͢bl/{pr~(l9Բl7wjY.<ҝd 9TVAʡl)/!4'lpVz,\\:ewGcr3H{d##p(ӔsR6˦-QWrye3zhZܠʧesx%x*ב7ZymC1!p[}فc/]q`\jy5$:cZǯ4>_^2cUo 2?X6s"ڐ !$ |S`gMo}:Uvm?%h8Zmݓ<J]!RD96TRJ.yS6.* a AυM]^ ʐN|Lt@;R-OP|սQŐv;΅w.'t9J@9߰I/gx{T]hVFmP"sc.PŚT%(p]cײ&HdNhpf.i1vɱw`Ѩ9K?ZH 2Zoo}+ZԽ6(]I֤{)Ֆ[(W ]sFDgnWȀI?L?Cul`j ʝ5)GK 1?֞j/t3)>h9fX&CmlOeb&|KNы۰;$M850L<2vaǿ˂Fy֮H5tIAe"iecd#w,gA]ӟ24N$~98 FqC&cԜ{]&,F|& Tov0' w *o݄Z &} 1cZw#7QWKOAJDDTIh$yrLR>ҿ[̀Y'y{U+2]]we^!0bB3$~!ӪP~X0f}e_elB\1'󩙴3`A[|u}S4_GaOY'zq"lLu%c#w 7%` D e[}Ow7MYzaȉ 6.0gg:v΍ 0o 0Q{(u5!ybuѓ k\zVD(7U:Y~t'WNS3V6iH]0m JR6 |ȏ]noy c:4eGcp1ndt# 5<5He^8Lb~(5vi;~EUߓ]vF*^^pfS=t\ah*qxzI 7#Ų;q,C`owPCS-mI.=X]XNm y_W8\kǫF~lhjiAcZE~_)n\8n-3#=']ǮZr[ʍώ_k* k;UNo1oYR2,XDR$mA)R4XL څ-@xC< {3yYxR0C naUU1X2Bd.BQlz8alM٫-y +#p=>Q2x>:t݂C)2'e[E6X&>=  L[eAԫ]B~o=`}Q S1`JsRlߵ4,47|^bm(4@A(^E+b)cm]2 Cn\:S 2WBy~HP>}ct>Kb^(PjpbW6:onʩ0CC:" LZc:Ή= WJr Cƾl"OՑBzT$LNxu쓇Ky5Ndy{IJچF<%$C/5E d,֍EqFG/=5>\YޞHoR_︞_֑6f'O!|JHy`8ܺ|QBop:-?F 5mTE $k-y(N{Z%.ڕ_q/ޯ.2$ophwqEH!5r'SrȚ]2$ią5u:t#=eߡ}n0bdsO]Gb`eei 1άu""et?dBJZ+-$H.ihN/kE,_w[k?لVLĽH|X+:kc&J('u}E0 X2|ӫJafG*sg ~v K[Cd Ãxl쉌vxb 9J*S+Lb.v$/|÷ڣp0 sS8 tO߷+PKJmfʼn \)~b)˵fd_m.|*SKE;~i "iu֭ĀV:c z w_~ɳ, aX\߿:Dj[2J1kZïBsF_ E;k1n`,zY6vH||CG*4 {4aer/vnC\>3t詶  3{D"9k 2rcoRyw5rXQ0:(0]K=F:27}T0n'l\*%ע7{>9g,'6-A "03笤R˅.JdZgOu!0f*6=TtU<[t+5ڮCvd-.v{JszoeC/|DU:GJgWT^aP{3I96s6b-cKR#җptú۞Hgs;PreEfpw('fY/?!񇛖I77 EL'8Q ==KݱXҐiȐ kb >t%zfJ7?"q]CaMbEtat+%CbL-8. >Sv;-9lAGty +Uvϓ>O̿8 U ڇmei~w?DFc.;0-cmH|Vy_0ԣX&%C`NuSSYe`$X{ ȴOi׳ { [|zP|l]KsԻb9.q8VKIKc{!Ʒ% eޭ`h넍Dva7<f2%SLshŃT!eN(yj-}\`P E=}vr[Txk/fIB#dK@]i /h*xhxmh뾙 0KFno*l;Qd|EZj8J6s.%(sbw_QanI~#ck JV›b;9A[`):4{زl:= 25#F9Y|(ڒdfEKQ6( R~9&(b_jYynzWK\]Z"F=&7TbGv %R}XV>E2nNLr*0(}l~ u8]Z\G˛fbaQX(|%y᱿)JjoGrsMq E^kv9rٹTe1; " mӆK35\̃#z}r+(ly UJeh?s@ߊ%B_ip;TF 耘=G"տAЯTݽrGtdn'}>#UQ hm<9!OϞpu;ŏ޼>tb̓#U}ֈ'#l ʫC _0?̪d\ޞQ򰁴8OM]|wxb{Z;sвP/B 'Ȁ:`xZc1C aE4ʕvxH2[-U$ w20)amDKR浉5[n5&Æ/JǏE63rk1U H7KeB1|-uV#BM??L]H%!&ƾiG(S|r%-@_vYHEL]7*ZU*7E1"9E[4+)wy4oCEHt >Qg)@=ЩP#|#́5Z+^Nj3(O' JP36.P:vm?r /g-PQm֛Bumă_OaIzQT_62>Ak %IesXYc/a-\%g)}V+,-"%%`#8`|>zYÛdU8nҁ ZK^gл\ÿo95_nOpuC.J**:TN5| [&l " yߦ)K8JR+P$I6vZ5(wM~q*Չ[z݆83PIFP0d',p0͍^O+ʣQymczsg9<óǸJ3@#ĭӬ~G$md:sԉqHȾ]̦N:b?Y3.qHŧ|fA(,DjLx<F]^XVI#{iJ0)S**L:/P0H:kK'i](u^Lw AKN|o Xv}-B,/zWxp2 UQu8˵&Ũdm%^ $T))@Jn_խx88 Z9QQNz_( `߳rMkhOy{<vߠ nȻLOEsh'W` }6ЅbڽEIfH0ip,Qv: FNqXtEe;h^"= PvWw)ài?Kr;Y(L.|x9OmUԒ( ͒2 Y\"$Tk\MtuTaÉ8W m0G_u$Q}Vkdn&oǚtŤ;giEy ;JFG_Um%bzM]pAtE3AO^XL,tY݀3/`jw;GU9 L(_% UyUp' VP{.>xԁ*yvYGG_٧5*@c1RoϧIX8k&L&b '~uvD=RlƎ?W-Ίv>~pljp?ش.ÁTDaٯS R8`HA6h湀G_n+/q<x8!8Cu3C0+nEj} +UȑȀN.JU2V@\r7 ·qkZ:T/_dlB -z"KOL\,h`*Uل".ZQ{3F%{,QgMZP1б8hGS0i\(o bB禋r៞$ekȿ)nIy0>Qű(/{'_$E(N-~HwJ=Nt\htx'x:JbȒ ;|uk_'t386{W);2et1Jɗܙ4q!j@;^ysՕ{udU "$uiI50dz\:jJ>U?JPu9Q^[mpVY.WmdEӣT~o^sJ2V3}[ye \WY(X8J:eM\J'4~.7CW[W7ޥ:ϡhr|c!tQfyKj;EX2` ؕ!k&fv(_|c#,7%x/sdNO0bdIA2Z#^HƮZDmvq6pvn\ #iL(IxZ&{ןJDs3 U6Hr0PWKɲ>@kK:\C^̛R/9Ȫi\om)> 8VgA,qqxyL\:uD3eo5 <_ Bi4LQWhϦs3dZ/)Q%rڗonӂ*-?(Xž^aWIN%!=\<v=riep oVYHے?m42lr wE!x_5SUI8sIE!yQ¤TZ?*R|A+F캖^;AKD#[L2_{/"qӋf6)r;^3u6.s6p`N0(xղKfx+j R+R)^<Ѱ8E>߿?IcL @p{ Ǩ`=VV18jQx>)@ Z=kŸbuoAl[Qk|&ڋ4AMA^X6 @^/ptGi味 Zި[V4mIi2Ȟ X "gMЏ=-Ê9R܂,KK{}Wi}Ԙm y !aAڪmeXSFv+*CUCBU,"GGV< oK!l|Qhl git*4YؚfBKf}Ϗ2_#g"OJ+.)lVVlu#q9=ď~kCf%pJTl߅n".I^h7繝$URyą7?mwbh&pxdH]5\a)Aj<ˉ>Lقb ]᠇6ø$LV`ˆ.}U;%s`S$[Z˪OsEKv$bw)N6otZvYXXcCɽ/]'o2c˳sL A:Οv~-3 ҊEx_<i(aΓnu]siߡaݡN-~̓ mMPan::jf*"a@VQ͎2sj͸qte/ed pD 6Xf!¾wz~ <۞gEn?HqX!WyTљ6Ŭ`s0f6/K?h"I 9\}"ˉ`OFS ,AtnKgzSVE'i3Ʀ3=Hvea̅6UGe:je´GpL~&ukDnpCm@:eZ ǵP?PTmnh<{DJ.Yz^o֠:۶#rQgQCP q|ZiU)G|yW.r*k% I5i1KnFDҠ{mw(P1Y iz$tx\Ӻ ꝃ8$3'$c%h5b^O;YqAc㉇< 7&A&9Q[ZFӵ=#5 *P33 EkA!3*>DXvwpF cmXj5@^4Fsܝ AT G| }4I*ʭe k#a+:S/{pd9ɓ }ڽhٸ!T4jJ+w,dj{ozPgWq !le:.쌦C f7 %kvIf'suJd F@p4}U&]u +)E<ފ@ ܡX#^4"b`N{C1X]1FJK?KOsFBϼ7㜣*$R/M*/{6yO#N ߈"7%B4-%J伅:V<#~ NYfw!id֢? 0T ?IM7RxӮZ6Åڷ;Kdd0v-dz"cy< `Oa ^/y_'ҋ$1Iy*›CP+ @K=ӤF xz1 qn gzR%LjKT?uckWZ[g˪SF|j"6 i?%. St9mӾ;acpT xz2IEUUܥtkJ)jZ=zeLp悧ry -dap4')GȌ#=q؏NjVarpSRH&iI:_ddoup[w3ndnEiGO*.hL]UY61hMP~*)> `Ȗa\Ck#(!*3/, 5Hx<^; aЮD @*ɩ?KE^-YOUn*FѓlG6_w}M]k$_d _{i*Gniٔ_0DGu?u@z= pV "'A-H؍` jOXMbv=~S-|jtl>HcNW& me8K4lc}}lu_"8g0RĬJ< ؠAn.n p7d3'h = w}S6{J^kaD.DNyġ>qB5u Kp.y 08Zj:~3v"j١*u<\0RDfqe$ đS{ξmCM!8bw`63V ) 0M2RD@᧓ P!-x~HL j AB15Xݺ|{+ɇU~E4 ._я^ C՗DH8l%N`tff6 Ȃӹ/Pr&F봚MqPXAЧ`qX7WR-pnJqCx-Eފ.sd _l_UQA5Τ%i"AndI)OD˱Ha&m+"I^IHI/Aŕv|Q$jNDdOS+ *CG2 q͈ȭp~<2KJU(%YBv@q)fZzзY4ar1:_p%qȂpO 0ێNl<'|>q튅.qe+'օt؇Gcv*r^'B#ϭvv7b#/!^Z|FD|P2ZzXp٬ތ,X<+ƘNV@a&`t2uNӣ#4B g jSL"fu(9t7uUC^9kvʍ?;S ݈nA (KZE"8?} &v+^uok%W(v-qtZWkz a !Y =W, +]N476 o\Fgr^#.D ©^DvFU0Ž[X+ߠmN[FrMM.a|bM ]TAe',2S}̘K.IZI\;3VِM&ܚՋQ|=eeDL0 k2]Ɛ gNSʺ>.8VjsrCo#%yڀbWR=CJcWyXeV2\ٷp:?ZVbL w'`ZNRZYAw=Tn4+I]` ~^T)` 䰤w.9 k$dryֹl l$8 !1)K׫Ô*\Խp"Qcq/gO.O ^y☰QJȲ}77;HH%왖 ݪ"3~=$ ԋKx0bphML0򤁢gPtuhV'[X*ߨ6Pg& HVBݎHbZ#4Z H/O@ "\-onx&.]ij|71$pݍoߝ0oֈD`u$ #@$-? l!1"#>x0% Ej>j8['U6vh :cmծ&XqK7g%o \X$5!!Zlǔ_f 5hLwH _7vY @$^5]^ [uc:Wɐ #XIT\#|ƺSkX9 wYZatjXqc3F'|2.$o6uJL!^V@h( >yRƘUsf'_4`5U67I%3y)u!v >K%RP0fWWV#˵9_a&:6 *T;E4Jh4 H䶷kigOrbK BɠGkl?˿!&y"K#:8p"N?!H:JIA/Ieyr "T&VQ;zi.YӰr4aACJ_s] Ipw+i|%뜹)]EEl"@e#t443RNA~{5znz{ 5&Qy_.w{ pi4J 5.69p: rtlT 9'C lȯv(Y?ub/7I yѕZJ;9 c=rSqTلL˫P* *ytL>S#ғ'" ;!5$rLж@S.fJϻ:t7VET MzdjBjܬO)f $G%FT;c 8< 2Qx;滦LVǭl+X ƒye)ONJ-p?+0&vېx5p超Z_;em[`IM,Ђ}0io̸Z@gp>DwVrוXE rTةm@\bRF6ٟs,YRў`s  ,*5yxYZM0X^"pXvA'cʇ24^LѵJhq -cA=lJo| rh1ؤو[9k֑MI2mȭ5$YCEg'?=Rj5oYnIv~%EWP=TޡZq :ts3aC`Y?e#1_YE>Ĥ?Q<\'B14nU[|='[9v-\f\2S!o}GvSy;2eP;seLP Ư0u|}/ޙ2:5`|,N؁e!vd2Xm洽]R4,1W̐&+$uW5Ulv5|B\wiR󚒹a$xoAI(y3;eyRW]DuHInSI%/C1:#eJjLpj|qZ+|8!vOH B7f%"X )ĝ:ӝtٱgYZ = C+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102@1' ,ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O M]Άxʆ5.f-9 rq9γ'~L*#wPrȜ%bv?%nVO 2A9kA/`<fPfb5$n3<[qakKpJ?HԪ ޣK[NkĤr("Uff'v_7 %Z.il29&uDV-ԘlBdy.i5^Gqwa؍XD(&\# ۷)rI~ 3-P 䤘.NQS.!dCSn٨%iL-(*Cv-CZ-:+}>=JQ O5~WTr@p'NQ8nnV~CFTl@zڣ#E:(^`* [ b{vSohRR[>w Yo@ZغF mԆOMʼn1+$5k"nv[7y*v(3lXϫ6Ys*=W5g32Qq`u 1+<NX˦6:ao3_>_<7^$yy0ς*C,!E직7~j qëc] BlkcmL8]d,ЙС߉ęM@KOs%yN⯃ _1ug %ڧ5 -oEg{<5K->7&D_>rӧ*[ ۠LK, LL:igkisf&Vjxe] oߣ %_,q$DgJrtgE)Tޭv=>l! bCI9ȓ8OV\*u68Kc5 .+EHZy*׋{R,Pbdm ZY'm1T7Ҋ+q |?7$!9DhȔ$ADsB:K|a:`\_4?8gae֙3Aci+?9vCj3sJ1?Qmy?.KL\T dȽ ")nĐ'ts{2&ypt\wsbh*Hk/W{ 4y=MYaWEE.0!r woۣ$ 5>l|ʓEMrs,V3{kM "ϊ3ྙXL}.(L8Df(0ZP+~GtWXi/843N8R4%PK ?tN@S/4\}O6;痯U -W5>IRp vOh"p ~ZVM8FB, ز%5jO\bYmcW׋s@knܡ).U)qbo>*Jyfzo.~hqぺU1D5s*AL*meYXЎgYZJ+gh3'Ea/ߩ8M*/7 d}6(BU.~!=gCsS KURX=+`t WS pYMs f-c9NV"j9z t_o_IK[l"p h W/ V=,,dRR3#U!R=t5a|ɗI!ih{Tc"D?ɵ!,aeoQX(5[o& E*NV;Y_6jI @ӎ`uWbmA߬ϲsn:Ml^hqD Cl1u`;gB )m*\)vW|zeZ0~z]>U٥AB {{)\֠a;-+L=ە6D8{mX/>ĥט Cqe0J~U ȂOGI*MfW_WXT0c/dq^OLٙ1M mI)`. &6Cj3JL+HUR}J;ś!?ΞYa |~҂{:{lI= ON:mnEb]I-ZĮ{*z+u[G{$Bq2Ab΃zʁrj̓Nj!Jaw!'j@*M&@*0qdS.!Q۫#ni󮑽zҀZAi;vP/LV8EϦ oA@Aq/IGޤϩ_[jPMXd^=*&5gBJ<gJmF֖IggUD󢭲]C'ϥlu럛c%v}''yu? j/.G< H&3+pF mpg}۟|ˢqrBsLae*w<p'zE. 3]߯8B%#!ӥ\tώ p_ttDT,[4`SS%sXn4vfµ::\Kߔ>?0%H;/,bS*=oB3ڻ,30 }a@# ۪Zg(?5tNA63'_ϺZe뇠'pw?Ԋ'<%=6^H HЁzLoV`^yT hK=p[j^>~8NwC,){/s9>I{o1h<(U'QBd3*Es1ϵO/8ƻ |ȰqmVhBu}q{_v:)UVˏZb} } q*:'jmYJ66I&H%(w{/5LVtc1D3|'O$fs#Pyq,uqR}N<ٜ >nE%VET5kiML ưAJ,O^Y"WpD]އp j9SЎ~AGw,)L"N>ٞ}ӡq}t/3F14Fڠ$#\Ŗ G w}fX$ Ynu ʰkNե Y${(GiqK ;=pRxh聬t nNƨI S.ZSjG[(xE&ȟq+(19Kzs'_ .#}n`/c2Kh`PCw0l0W/S~6DSW)i7MOJN,9nuRuʣ=NlCu 3sj!u* 9c|fDS ,8e6)/QocRek ߚC`rl>Jh^=`(>r7zeQh_ioFL7-Q0*[6!L2pA S΃TLfY9#.tcjXbS>A2(Q NfE/8D6Ϯ uyJ1j'rG D~ 9XEweѨ'?*Е~EmJ)Q &m;rVC-_~qb/JH\Ft@N~TWj_Պ IݻN1-..h .lxVQ 9GnfdG?.!-U9LX^˘[o#!Gm60̣v%!Nk{p # 7V /J}3|k70\n3J璧it(,/|!4*dÆG6Լ?Zķo Gso*PsOS g(lrVƳGQ5CG V=<L q6/).EꠇEn74XnC$3܀)c:Y195~d=0hAؐ%@LE 纸L.knNI.#fd]bWfr[ۛ.Cq!,.8lLT[8gycC5n r>4T_*i@Vd8[FHӅ2C%] aL~!l:2#mUQ'<<;{ⵯ`3I4z{Pg 0О<|uV(UcNsDpY_J?ʱG=[{4CG%@gY&øD^=y4>4fU.8R<)hsx w[ ^+5Q(I%ޝB|p)Ĝ*F/Hc%Z />Ca|XJ3N@zpO VyK-?4[vkdW3JF5vF0 , E+#؂h=hK>Ϛ :4gYZ c+# |ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?87sѹXVd 'rK?ƜM>%M3 %C7b;v7DZƒ6AHS?9w൉+p|UE #df'F#P/?dI ܱ ϏZQ5 ?Gi3U=euef=$v% ߭*snᛩ-3R/2l QRձwy"+F7GVbQ 'r8~>s,dT~QrCRDH`<ⱣvL{8 @p,$ q5r#]Ӫr{,0ryߵ]#qQ񌼗Ȓb;aЀq nSNcB sLjZ!QU2` YI)K̈zK@JQ;uB"uUV[,6Oӄ;"Q7k{KȽ}ls@ Oذ6kYvu2}),ƃn}{!=0~G^4mvԍhNԀI!<>N~5&av|y-A:cK4 SWFPT]mc V_,l#@va7%K`IHu_!p*Pt*':ɑe=QCZ[m/ th+@%3+ݥUTe.=coJm=|"~KPLm w(XoM/ 5CasہRG-D>f֋q 39CtKj͛5"D' KV+Ԭ&ye_ؔɳ,J ;\ppEhwjZJan+3EherY2LV%|YUP),3ԕۆaf;Q6J>򻧪)8w;pT.|E! Y9 ?8Ev5o55rY6*Mei[âTS2N`~  \tKIܠKw`Y@bxXo;m!8(.o+Dw$/b鲦R)уY$f6#wG<#IWe)rx x|z>+)0">2IEC,in!x[,kˣD o}SWT&?Yl5wK.~&d_GS?[ŦX8H[yynY*U,ji>^k9hxԉ lUc6Ium\Ge]P\Sy)RtJȟ LQ )#KNR(ߩ5&0IdF5Tqե۠L5識o)omjX[:{*Η- DdF _]LW_JʖֻRRpXD|Yl G@L8^MLI:+S]!DK:)kڒ<9 2C>5E{A gYZr#9# ZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ])QPy P2l~ӟ 7MDՑl:ڎcNz> UgDf?f <0S0Cӓ2Hvuߍi'~ftJ*(/ ^&5~^`աS"ɍn,xo~T1E~%Jg6-oRz '΍C2pby[SG4KMeq$(K[Rikolxi)YIo֚# "N;[iуE9`S NFٖGn9nW*9-nr&uSIt.MiyL;5WrN .eB::Х^R$}٦\nac#ب_>@vDEa(q`@hi92L.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' \ZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+']·Iq n[:|&[zzkXƃwA7 K|Cw)d&kx5[BCE4qbD*u}kGpMľ ln&KmqMs,;z0$$Ƣ0 8LՆ#t 2<:PXPީ WS24(߰TRi'ðp{Ꝅ5&مF"?~) C%bA,u;|:}GJ\3~B=cŰ2 0KW\M_?Հlv/'Fyw,?!i3( džFœ5:n]h2B&֊&6#`Hn< {3pp7)x@ VG|$5^T2[}]gOܗI n^E[ +@ ~BYc"~ xh<=hVDi>27 cW|*(<L!dgYZ'*tSN@?vsi+;#uŗޖڛѺ ղѱWgY~H,nWDȏ$Ia? #[o'`ߪǀral#:%nfWɛ PA8oifAǩTB_F$Oh6/?N3i~w3:rofH4.^&C&Id`X EE=jyJV4`wp}oMנnк 6wR$\ ׊͋=3"βk39EL4GJ7:RғGD'>c+B#?n!u} й3/31] Y˱ # QW± d,7,5,$B@ Y{;)I-.bAPtI#ms+Dݒsaf>b *Xv8H7뼨by 7P)'*㏲U#A2)wc1V0CLIylxi5p-^t7LfO5iayS <_Q>ncu>4 CV!|#& 4a;4Oڻ+O iQ\ODʤzuh;5JpXA)| W2s\ kU@g64 Be|S `RyVn"nD, ]HF{s/6ѱyp%U~[V%8v:5PD7cl/]aAW{]%}4u=]eY>(Oj%Jbſ7H[RAc ~(U_E {O[axC:_Xt_.3nYb6s5x͆rG J 5҆ *;mhIJ/sgXG98= t|h=5+)tce9zHg2x?>3:F0O~x#Pzݼr.K OfZ1}E = ULH"C$~Z|L#L* }kBC| .[vVG:IFܡ(EYbԸ"cƆ\<Cg ~|a "0[Cp.ݠЫ_P m~ "/4PGx"7Khu&>?(;(Z 3o"J`%d{{ : )d4jC{91ۄaFJtZiM *ŔsL5, sjý^JXKd[C.߱POeRy+?pP{ª+S3LDvQfX. ,oۍH; 9gߎ2Q"5/\}iן8 ^ٲzGLc-ݒqԻ]wNjJY8-?Њ;ޓ@{rеq )w\Vл|b4<[ql?cY^[zgg ?1XkŜVZx`[zֶU{;r˧`N7 CGML\g5u{#s0DfS^p,]zieh&'(Lo+} &0͟LPP4E"e X$Vyvl/(lC_g%Wakx>13pd;h }!*ZMTa5!j_ݢ:bhV;dcJobd`09x.97R2!ϱF[Tx8?Ԧ72'u#7\ax=]\⻺aJ5SBm elHh,EɯAi|mA3OD۳a砾wGop f"I o{½ct>2A=$$7=Gݝ D,27F )RiU>bo~EDk6 )O!^,Bj-{r倬ӧP"28?bSi"dcٕ3xgv؊_MH5՘%Vl8}z]Sw#.,*BE5%JSS̰uzQ:x]e\p-ΥtxP &\Ad!Jon+ z1hӻWi)F'mE|W%u5@|c|.I{P;w|6R2{aL6Tpaꛌ:\3cG/KW(f Ч{Tj6c#Lv=۪rlJ<ڠimq\>02FDсĶ4/7|?=! 7&pc995{*i0䎧/יuϺD/*5J1.PD1M3gA/gIM[尴:Zf\2rΕ@.y  {*"j$1icmG`j">#j<`y{R)s"T xXоVPfI5>ohM[d} ¤,TψSuGs@}[W{ױ/e5J1M/7yr%b_bMVj.eeUC)d#YO~uJ +mgP7:ACIȉ,e*̓;zÁO  DaN1t.' Wߐ{Iyd?tA'nE`@i#oxVj'[U03?2B=Xu `SED9s"&@ >=w'F^ɣT&:WQS.ZLJRN$@Z}㩯WG'=gXr^)WBⱒp,auЈ1=R3*L "mwС6WvK kJu >ﳎeAY[/gŜy (+w3mV^־~aU}ҷE5ף> EHJ8^ (ޔ&VwHb]OLI~ˤ{ [%SW17pΎo*Hǝ^iL iI v_2E9LcUb`V4!Ul& G. ʅhګ_֫G4-!(ueZΤ̐φ[lɝ ~bZO Ek^O6J FWV݀`bg`)1}@T, *gYZ ^hG*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118=(3' $ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UL]·Iq n[:|&[zׁwRyT|IЗw{ (c!%^B 9rb"l(|iYf7*5Zmv Kێ!C&?] ;vnN }rXB:/9[ 8*hSq&E;~F'n+kE~F_[mG40^[9YzdJ Lx0Ն}Bߟc*Xzߜiv9g]yVp.]#t )9PXLۥYzD>0f:ԖAQGCرa#JgYZ'3# lZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  .]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($RTRćZ /n ,"e0eXH ,tVu7ѿKbxIG`aoDzzX”I\KBM+ҊZ/}L&&|eՁ%c_o ᥏4ԎEyxB5Žf}M#fX;2FfIj}!e{!ۯ5eC(VE.}7J<V;c/_g_ RTlR1/f+ɿ9G @?kj82qB /Nh:5 n&zkF;5t\7 i0yC墀`$iem3 n1 LJzF&~nEr2 _rmW' \@ƥR1[ w|wxȮ­ޏ}"@MUӂ׈~*O|9JQ/!IfZߙpV_HOZԯJCTZT~4Ȱ6cXޮEH G_kIh+yT{ΰYm!zal0%#QKQWVUQE/*}G耩YϭJE)p_^B$ y$LiW2z) vKާ>g8Kpj>`E͟h{z|ȱo ;ѼQY#%/U2°1ork8,@f< ;"#2rV׈cI>}>@fCfU V |i6n[DۧQjRhG,"LP3׀ e_{\" (]ߕA" '!RA%pl})QשՒ/\9\oL*Pq3[A`P،B~Qz?󰍌V:q@rĿز2BG_R E283Yµ?\){FvB"\IouykI`q옍3Xjz_xg"\ç Uo+8j^b]IAoUWpشZ(?JcTsO "b̓zdꚃYsc~GSC +ؙd$@ad/M"=ZdM3B"AJvpJʰ`I&scM[YȤ4qlH sw9QX\s5J'%t|QnG1ܺH4L,.%hƖ+"g]4xKqcx;=64soZ3硙?F BIdwp]Z؛'.Pgf(;Bo=۞fu|~ĥT[ Ӿv2fZҢLT,"XEl¾:F4m _ilL4;~RJ<;qd\9|a?0/XY7cC?>5>iзu FD8V˒GwjlzI)bׅ©X >Um= U#*58Bi38c Nji4/C"n%Vhνy/6*.Z W7Pˋ LL=Ê)kdw+L'>!9UpNDL &"—k FDe7| ~)C+ςr3$} 7S?{*3gN`Eh$(a<^wdy&Ra)/ИPԙ m kYx ?g}5pnBVO@պ#,]Yf?gd`#d"TF1ۭ72*hXjT@DW O֬mȆXGp2m;3A{!x -Ȧ;tGWRVx|.HnZJ+^ġJ"{:p?O- 8jY#Ş9)Sy&{/hQ$K~Oc&`2 ZL>A2%]PZ:@:;?M/.|eg~ҳoإϠ#.0yqƼXٮU @+D]$:."Nm򜞯+Sx5I#P%"M({P$lU奁kKymӄeĬkN(3Y8~ԕŽ ^~./J 0x.v;a| w d{FS gYZY8QŔ#^?H$=BPb>m%vv͂!iwH ?3E҉xw58QY߈B/[TPq3X!дt8R4R5XRpԅh"{K{Cd6] QqWqN9ym:g=aziwJ{!@NIO@nLN}[h7u&6m7K\ 0[XL +̯TZ»z6<UjPAqc1 S$6x7Fr6פ-0chӼ3Z]uĶwbo,#CWd3`>0P7fvt_SUmzsyOƨWV>("rxa"~Swڲv1$Kn‷iRvr^с[T"Ì %NtTaY( X*s놎 *]0UN.4Add%R5Qӆ)y2NL v-Keܔ@H p'us7Pec_cVJM|I/jdX$OOH&у=+{FKR"uc^@ U5Tm `_4ɟXK` $?&-Qa)j ) C(WB_5|WSdhsG*R tI5S*!&B) @5E3@UZX#Fz/؁uJ/L,}v [R^3@N^c4ب3~/buïk"CM!UP;/!_0Q3#1)[^E($N{l<EO4sWp-SovnhnŴ%&dSKp*Q$lGv5D.[*pT}*|Sf,اAp$wgMuGUDދp%X4p({%";ܐ#^y0fͿqK_N;^x؇{ޚnS̠e^}ӷuq{7>xs}r9?b8~,OsTD8׋~2j :)Lbs`xs:IoͲJ^ "q[T\v,}"pkc xzD ŕO`(NX(ɸZIw qzItN\220A Av\ ʱ#I7.yrUG.#DILNN9~i!?hQgTͺU-ؽ?/MڿS_U!lIiԖF=dpl./Oo5uaCb4FSzӊVWh؜+I>5dBp&hnXbos?dFBotȕ!a $,c2slxbPW9Uɸ/YEFtXP8=0s)W6 &?AMZ_/JLF0ߊc(Y])ov JO Œu]%F:oeI:cكt2[ډ2乙 *8@/9FD/!MBgPܓE#8(qw1tʚP-4"0(#ϓJJ&S(}\D@pBF&iiseT-e#vH7 E_%^%#U io圖iD yɍ11JJ3^\*+n?V8nFkh|iF>r!0T 42Jx܈X2ʶgE͋ZG 9|W}H8Swϟ<HV;ٿ@zS-y=^5s@z1hĕnXc6U5ިy'[ *`Wq g"2"y07!RmԁߨDσ6p7&St?O9ԘU^>''J(`?{%NI_jJ=zOg}8,ў #[ h6_i4~uȞ6 vu)4՘z6ST¢GcuE_#PĞ2aN=rk#lK$􈰖1gT]_@55l~UJ/KԲxZkuY'(˪p4'ͥ^^;˸r=D MKh 8z x-hF3@{'(eDM3LS3 Uhv /=WF78}xRigeM? :A aGb [vHSpEd?] k^7lHHPJ .%*r$xd>J=zqG'i` S2j ٤М,>\pnzg^mH8BTh`>+bn1 l(qF#[U(\urӯ%' f@=2|ZGA:ΠڊIz*Uq~w4_ XO:=K@ba~E0}ʑtILgF MMoiC&mNϊ4@ ĺ5(36IkS(ۃzũ3`nkNY% MɊ#{xRRv fli!im6=ޤy|Н:˖S3hcﲈqW-q U5*QQYzNKK$cr&S,;O :_rF%‘WU0KTp=O u TKgsdO#T퐬"LA[~UvorP)y.TqTמ@| |CΧ)`9SP~IAg6m(ٶ23v/lZ$!t^1YO(;Ѕou6@NHJH{lja?p=O)&[33C^σ7B s?Gz}nɷAD̔d20TwWbW#O sqWjȲCLjsħ [ȭ ?ΤcPPCj[:kb3>3\9)uS%5I]:FjIh<*3>eQ>Eʱ&G.(:SECW?AM65]z u.Gڪ*8 ^d.24lEM$C"ۢgYZ  J  G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108S0/' TZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nc]·Iq n[:|&[z״[C!,@~..τߣR I a\j`%Pe'U`aDll@hfOԆ50!8ZC];.7? p/,q-Mnm])hҿr){D]9dL5nqҝ4T @zHD0M)ґs*gF@jWF^<'建gږ(pne[B*)"xXT+?"SqE2 < 5*IX Vvqzkܧ֨C"T RQQ@jv׸0vO齽`~-/;{Jae.Ip'ʥhg[svhmoaKJ4r쁋OXd7䈫OItJy_lQ;J{3H'( ~I""II?,٠QYݒ"Vo B6s[S*( ;G&r0!HS?sƧEIaH/t:o4ăiZ Reƣ ~Q'9Yt΀ʼneҒC-%`٘OC;ZC]sacp7`4 EG?5 }{!gȆҾGy]`N G̭ŘQ08 p3+`PɒKeK f1Sν8On" w,2낝fK F2gm bwt(0~>X&\~]%ͦOhc_ct4"FUذrygT6/0v[ ծh欝EK mq$fVew\ nagkԤ\7f[F8s4^H }tyz@O$}bt&r(w8#|NҢnr@EYju78 1^~"MDfmh61 #7Kd(?B*.)>c"}wͼ Յ'q!T;}8'Ɯ~H8r . ) ^SGa!uIɅ 7>Pˡxa 2&tgYZr/ /# 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{3CZ>&E=.\TQE$,; F #]$)~iY2, f!C(=Aރ4)V!<2 '@iA_tkTSˮ3a-yȖh#SaFSE2G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98C,/' 4ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GR]·Iq n[:|&[z?9 m=C A["en`4!,ֈn;bJ}簁'5"&?@NH+%I}`{$ݥڮYtJz >{Ջ*gm s2]뗄/6hAyLM ht&I} ^ڒ|E+uy`Q+xS%%fn.vᶐ^4a#_5&kkϽ] 5M$5m/#ꟗG:,dGFE8n;,gYZI+/# DZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*[]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyMzMnÏy&gY ߙ{̥d &pr?&J>2×dR?Ƚ cȟb2h*P@up!M ]NyAl=BÖd{"ۅKJ)WY==֕0ĠiaVq~ 5 ZR#{m-6wxJ2\YJ|d0 1L03c;GS=Klp^sdSMNݿFv( ,c@d4&ۏfrmHwIXQ< NT<30n8߫ImPՙӟj#SA ,RtoϾ#PάeCrF`1n,SnE_# @8Cޏ+#kI2lunQ8?)6qDZŰeXmtfKFu6<54JnlU4z 4m}nZm< VpT;m\zGVswϑ)^3 `.1_6~TZK{ 6;DŕK%|ME"f#Z*=NxٙYUVKDsXyqx?vGb!T3c5@@k2ea[B[p'9[Rqx۽#=w<~ӝIKG3УjwOJH}]5ˇtRٕG(;z65}R%d(Ar9j)a> U L ۽4\XW .[0pO:U(l,< v%a7S鰝9)^X"Jʾ'`lƯp|7XdgX,=zJ2+a3o< >Lr@+s7.:oiM_SQ^4_lst6Q󃍴0q0~WSi:#w _ IոӄYB2;N<WI̔ >it**1rMΊbmv2p A-)!Ӻ-MsB+Lz S@`ԗ$f?gݔ>#C rnˁI1.x[&I*hxpU[~w5?|mLf>t= O3#ASZ1V%}^D' Dx0*2)I/U@{ 7%d5w_l L?'*F+LÓ#kܳ7^ ~p D*50 xyrF~׺%ɧ2~M)6;1͉Bq1և]}xNy+% ?,{B4%@t,K&l%`r`][wJ_->ƒ}^F㒴,rJVJޣh9NfIK3j Ԉhm {Ό򃂲˳R+۫fIgOe[o.*5[u›tdIs;Qm{8|$|S_t6L5h$8ftFgo4u?aj>Ƌ`=Nt Y2]b .Tq6R0~G$^5aPVBp$mwѽ%T|JT[Zk^cfb6bt&1q#,sB~x8S! `$E({&2m/tϑl kSS\lȴ1ͥ \>k_17JVTU \}".Tgj/<ӄH@O> J6yDeVSYM+5{ So{j)PZP/ׇUع#>rUɾMXo&/֗; 2g{8 hh](ˆ z;\݃:M(3)@]Es\ *m#^+hyos9wڕYm4]@_e$WbudSz\Nuu?HFʡBs 39~Cվ#[,3bx19NF(g'J%j7J$ujɫYw0ޡ]x w◓i]qj A%x=pC4d2.ikE#Im^ z:ZFYIpBG5}a!06U#֎u-uܸnۺ&」)F|(6 r&jG]*ϳF<;zQrp{\#"AbH"5?IWLZ_Ю8}?.O.Xx "hB}`F4OiBn_|(+6=A` r\US!/}PR-#Th_0IXjwx wŧ*A)Mu{_D2pVdY2z<݅d/ z^|]8~[v vRK/Ut/VYj*4"pHPvjOsN t4n kz}Q3* șhv|kJk@e lJ;-* U>C. 7{g,!ȚPm!iCT&es^pR1;8@$̸P`pmIq(]-DaP6bշ-|+A&:QBC, @}WKD8:26c)%O}AX2@g K?]~L5W"\iUC#2N;T:.zp*kz$HNбl$c bޖvpG d?u,6twrK] jr0j.EG<0(t^S˸URu_jgO -Lc#(%=kPgZk.d"~%SV~z)hXQnW.%E{ S]b9Q 0Fg!f]e}cT D0 jf<,065ov!.k}4m$#_^xAUӝrI<.kei8r`X]Tsm0%ҕmgg8g|RVx!)DOeSDT|fsOv,E+gKJGGٰ-h Qq`LMI Ĉ &eZOd]Mr!a_'U ژȰBjkg2&b#ym@tdː`եVD=HBV{@>}1yֽ|I'9ͿY5|0(\݌{&fLDZ]ZIB{$_ng)$WSW8sf;Y0ng+Vc+08\2֚H~?!.F‚ZD(皺 zŽb i QLoY'3ɋraz̆J7۝7W*iۢ]}-R^"9`kx8:dQpl|e?9e׆ VK&(g"E5d!ޤ|jL$T:R~mxu /3|4?L'DB5GڏmSĂbłq/[]ffjFh VmNHJqq[#;FJ@R <[G) ~͙b_: eR䏰ذ@p1vf,rJS;=>zπ=+< |w</u5ʽoёY>rL5-Xd%3<1ޞXݢs8>.?*3y s\%2E4G`cvͮjtES~p1TIAu-J/t$0,Gl,;oD_S#_qZ i6@ Vxm[陮DtLk@Iu`;'\b{\*ݪ76bFe(,|¸c@Ez5'dטKUi1j: ,~6ڼV0ԓ") ҪQ-^ Z B^1;:'-ݓ S;7:oP@51n$1&'JF0HtvVMV\˾gy~a9DzwchiYAf FT47]5,U~Ga҃<8'b r@{ȉx{tA)7rQR&81m]_c97Z*a%ETJePPf-fdsA@,nhi>._ri3iB r\-l~Y`Dʆk{aY;Ŕ@a5#@uFmrI>jܿZRbxJpsH[f;5|=xɶ N톫WZjdݾwE$ '&*{, 0E5>^G7lFךdH2Yš !l/*028e'j+#F:gp6sq#Fi)F BuTޕ `)m:0'PS ?}'5AFى`^T!O#$!$GM֟y!J 2u˙9 M 4$*;UW0)y[t,'DY tR"ޚY l~Sw,}$b{Q A~։uGwSh[JTHzyo!^b0RWo ]_4C4UI;Zںtg Y_3sk$TPAeYsE8b2˾u.@aӲfK:TLηa߄_+ڞQW/߫Cm6M?RK7qjCEO}&]Z8^ozlbTVN(0+Rb ܙK/ ҌKјCuKDY !e.=< uqFݶvn)#R$ %xj.Tlq_va-|5Doi|KkŅ2|8uy6 =jwC^TL 5̓*LN_BNd#Z>!|)-1E}$Cyi`SEyPXbB#'_54ޏ+b uz/a+pNbk|~0(_ yg,%<,A컿kJ* Rh=\oܑl‘s4Fo$W,p2 yVW#71t]b45,vaE`D"pWg0'}A]7ށuk&£M18p0'ZIv: J7 SƞHGƉM& y:}0z!fD~HWa WE{< ~5H+k6) L%qu7Bl(X/ꇮE.N藝v $˿8[mSZ#4*=uz$NV??|ln!ɑ\|K7BLߎYe=|S9Q A]Jj;5VqwhVq¦ B%PFA&xI,4yBF1s(Jq^^a.o/DJylN׎|M` l 2m::{6K38M!YE&/ZxHBC'2Һfe~\qrݍ/7zׄz@R''BfG1F(F^+^tKǗ#dk!`ڥuqb_'7\v '4ItPIAF zC#979z8jZֹG<">$D8w:;,iE4/e3X RѸ5f C{c6qV|V_]fcU)4X&-H"c:ɤ=⺩ƾ=54Lj`p\ چQ8]ߣ@sЈ5QV*|L ;}dVv&DB-x4ߐɭq}-ISA[@!nU:4:.z{،z%ZM7D od]*jpy@C1?%p4Z~c#mcFU%wz,0 pPZ}P>Gl٥B"@Jh2Ґbh4>W:8vr4`Øwҿ&ACf֣te[L$!f龝UЗ'w jOl?RB_;̊bho'(Rr&FA]mtˈL(=,DnB@x%. bUִ$MwlV*\ 'd%#_JWU al9CXiΗٽUtیļa~Ǭ>⠎jFa^K`ج 8Iy'V|(`Hi3]s/qHƂS]L1U6=*D!2>ԂMl WyZW#(&.(麉in͝j/z=oSDO wnu3VPei5UZ41Nh8`-G|l!05DF+)Ri5"snّ3w0dX- hd҆)$Buf58p1_ L#g3mg뮫`0.D6񝳆`|y`\`.VEAHum:x<ίh̸6HI@?+g3OOؒS4"c4_pnL d&"8l֡tM/h_Hv^ĪLP䋔\tm\=AW2Q'ӾwQTk.A}3YȎ0f {B:v˺jxkS>IhˀdT{ouX}90X47x2`!+6&-e]jzP<]W|!zK]QԒ>|GhgCFaCsl&GXuЦ0Yх\DBaN"`#zHh݊o grp[=<;GuOii'mV*-D0h(ʑLh8t9_"l0)VTGnQ$p`$ߚ\]fU+ȾD|GA(5].&5kW옐{@rU~}ΐ׋DM-Az|dO<Ӈ_Ú=2ڧK南49AkxBf3r`q96t5BAe[V%XWAvߣǷ}o(-t-aZL/M'ޮMZ3M#ڵ: \rVP-F[lJ b*U7*N9\Zr5Fz uXrg/V^=&$6KGwtyS?h)y}܈o.J29ۏ0;are7hOXcLF,{iyIDlգmf/.ҋıic΅MyC~_S^ʯùE1{b e%bzF:YQTmlqҘBzA]*9(X+7NFPnPȈ2u7SҊX4fi☂@(#HFs[G@ k`TQhn険hcUz=mUOQc@cr{pa% c$n-9)Z/v}vI2w[N{(rvs|r(ѕoF; .V7Zm^)rnĥ`ƊwUaK=HYxp^H>b CxBZ0%yźP]`wCh (K"M ou# iB:-Db%~nmŏ"+:1 j[-[(low "a)gEF۶y}n+ڃOPgv uwҺ[j7UnC/s >Z}\,ժ[dJ,&k#ԖGl\P]搮orncXdI{rDAwe#!TO||V9Cmx`/pE t!hʅ=P ɲxR6 *wX@*w "6bw'P`]v(zvgA+6Yҏ|lƎgQA?F6ː >PVd%_d r: Y260+*8UO%gl%dm%^S]>,.cPWH9fͲZM3o1&>, {-,LQaHܻL^nFj-uP"[#7_eUE@+r_{2tMK"!#&z? ψQ3p&R礈"l5"+f3 4PFH_M SBv|Qp7h'3_;'a*R%?ؘ!aNM)';58#J "* M45 g\_i߰9 o{!{ ܥArI :cg&n.706Nzv 3Q!X]TL[6A4| p!978#q"~ sSa*02p]_Ve1 ĉ Gt58,̀!EjFB-VW)/B۴H= * =@&9,Ky$\4R'co `r< ٳDp(7u4R̺jt/m_(TUWK'k.CXW^(e[Y5zu</`-貞f$wGop=dJMipq6Ǥ|CƢL72? ?[e.h?R`~ Eꖴ S2׃4 ejÆ Wg_rALTݾh;blJy-!Mf0ExGfypct`! |$!*JPn]qxu$֍i.2Zz:}n UU;ȶEgoF(qɣB_;Dz֠BA/>u0!uݚ+FZ_1墋.P$*Gʞޭ84+ "_[8"l;̴֥jnq4ڲ9 ;aUA;沭o6bQ]aH(/2W{GxYXބW!I\~Ń!!7bRǜ:J  u6t0ח}wBƘ6#z`SlU:Ūo.*!)Ho_e>*cύz޴3|PDMO *-Ar7'0Jl/w/#H߲J#XoCi7BL4 @n?Ŭ -yv2 /m툲Gl|@KX99?<r: W$b-SO\7*'N~Qf(i$@MyR\,x.@@ l~i7Tf1$7:O&Aٜ&]}RWĺ?bߎ\1nrw҅۸E6` H{XZ`u }y_S&?=PX[WG>˝1G\jP}8# ]qb6ѓG]vd6S@{a}*GUsM GC"HDggx/YUN;Q\f^\n4S'gmQT#1Z|K7vX(R i23?뵁Nj~TC͒PkJzqĚLtN]oLnT}Q$IJwz(mwuPL4;l2hΈasr0zgOq&}}R_7y ~Q8巋DY(؁LpY:݉qkuq7AԢKvbʷ^{ȤAaV0C@]n/5?PRk=.2\['QvFQf dH\ )5(ˇD_O U\<oO)&0裓IN8mOe3\:x>iDA4YUg݊<3>صM|-L桋 )cNqׅ}HW>:"_wƇHK{c|پ p J%7\[,ŧq$U|u i (e<<;/[D\|Ҩ麑nh-N%_xXd`njJy$Eѱ<ܴge? npiQ1CWAv,bSt].}k-5ft#fa,L"RϪw6{e h|C'~=yX8&9oaQᑛ@#e.y (s+$scWz9z2.CIWI62<3 ] T& pC]vOG ʜt:K{?!mˀ]%2rIZAxBQF|BgYbR8N@WRl5"N;527W=G!MioACV C>̤ʑ-G]q]?AE!}RMIT')e][߯yMq3eEy=E3TID;^ A_-k[IKhB`x;9Gr18 PN]4 QX*7w.+V2l%hm(8,FM)iM#:_b%bT৉0ȱF5cK&p09D=)< FY|JH=8!^xȏYXȫK9 4|_|0|\ٞW5R򥮇P:~`qXe;J[*) *Lc[Dĭfڔr̕d~?Yu'?_$dtr/@/X7 *#^4<E 59yi0qFYe4d&:YDIo}/yTn&UÓ+}6G_yWsYʣoqAwڶc=INYT dHאtPaR* }.ݭJw1/]$^X͒W`iX3Ha?|%qXjS'ۂrF};g'ǮVE`Z_!:񍦝}Hbh I#h  M-h`G Kr6"azv~&á|ګVcu)bg#v@SEN,IV;l)`<׵MF|\5ًF8ZC7%Eb̿ ,Mꥣ +8COV Inǯ; `+~H:`ؽ< agKq:W~ r!RCΉ>^}SDkgb02Cp$}cL_kx@0 `ssQ8gkZ;4Hx^gN5譶U-dbf5 3"MzmmO3Zry4]ͧT[Xq5ݛ ) 1Lʃ Zw&D;)Y&qVѽnMSbLV(n?z 5]{ݷ!o/]9 5;J8 \e4gk' [ɨiJKy&@"lek^`X4ΞҁJ0zٞNrM:)89j[? {2-t8S0/P+ro+́{^=}S/nάpȔV9j+{0.,Z҉߾j$6ތ?U?y7gfe}-RRvtccĺƂUu1~CNOk { n׎)QCg'0'"/!^g&@Tm'?טN'5c*S׊)wǽFxo-5q-'gYZ7l(0Y٠|W9GJSǰY_o) YΗ%Q<&%^5z #"7F4xnY`rϙ %y[NXu!A=~蟕x߱'8 nmu?r%1z;W%܎HzU>է|nhk,fOXo%췃Q/Z$FsC[E 0- ~vAT0y5CtiZIzMaxx̧K|zʦ#C?UXEFl ?rέזz/c.Ӆ A)[!`KX1dx>Ul|D\ oԟDW1s JUlhzC"ok?zB! \B <hb<뵹IiWxup0wj@x=*90 ( \E+ Ȣ*'m&T*j7w Ȉ:>ۍ|L9`clw Ī8D:CIFśIe=4\US[>zˡ֫G<ܔ %2Pb{Cf`:E U[GZd%zR m6êƮjW4<<04si} *v-_R˩zdl 7K Ȧ -f04g~ 1YM6XBk|Q-@[^(oA+|)* DzN&,'CqB]X6wGZ\nM:m8.mK2jApO@9MSs^rB'@.mnsYn63㝀&Pli$x2)?w_)Jǫs,v"FǸƜu"G&fWnZk{58V)5ipH"ٴ] IB1KE7P!Smg=s]q@zcuAyȒ!$/~ Wxe> KPZ| kh%Iɮ 8U8m7ӓo1R%a̼~yDa8n \dCeM`CB?Q^/_ʦҷV.^',`l8OkcMVYQCh+Esd)%FF1n@rzw~`C1=Έ]=uߩ\ɧ}hN{S" /~UYo Т$wU.ɱcyEC(}aqO$A/2cu*6umKGt /lU(Ո WH$,?d(Lp2ӝ/lJ¤BgH3q6W_>4o!!.v/ { 71 Jx -4DҾIwȃ厪wrߧ2pfT},ηSoe%4b(-H e>7S+5a| [DET|EDvPŕ'wL<]9ee6^Vdra&L |F`e&|F'R- 01$o|lG@;=imID'l-CSTbH\"%F33`[.rf{zgZV7*BFfh4棴ό޾|Ae4Pj#_BXZ%u#^f~=SpV-ZAw;[|}Te{E#&ᨬ cʀ&zxnzmWWd?x#?RKّ͠! $ё}h 40K(_y\˞kcZÕ:rJvdNѠƀS*Ū CعE+`ԂF{zyW/L3͙7OjYhhV71$7~i JuH]/2S"g{= !-\×Z1 AU,;p+F C|KLn~5xLh㘉?XwOvMuMtɄq<,O2yvВ'C.xm荸0BeסQ NVƑ2`K +aênf&K.0T Y}/ *ǶIm! 5YMzڪ}6*t<ЙZ&VSK]M-De1U@"<\`40yqktǛGk=l $4y v0K[}'BOSx,v Dy wv iKπH*dl*^G\AS&kncԏ%"(.n8wDQ>DN`Ѷ}`r8ZUe+`[7焬1?8 Y^eVetP+X[Iz6:n Sv?ZT !E1&j;Gubg$VtE,m I>YŅѷВs/oVq,IWKJs@ts P bzJ TcߖGС !yvDp< Ǽ+sw&$uoȁr^e_\ X + />;ȿ8H:<1H9Qq]}m9"aP%vƲBҬJq5C-I|r2>uXZݖ׮QX%Qe1~eGv열z04GQ9Kީpgh5ILY_t%yMp;{3=f+sw`kml؆n%iUލ+<5fč9ɤ*IyK|d8sTAz}:ImGZMxj e$?Kߧfi翰P#ݶ](ުm ư *ﮢ}ؿA;~r8"1V0,w9e9UP&|ݜ5_4H%`&{L\%?,՘ǿ؝-PyEZ84_uQݔ}7#{D*Z6L99yM&<*~g3dϩd+ R٪Efټjfvh qѹb6,`e>o㏲8j۰刴޷!~dvX:GD@͎b5NxB?-Kl6$d[HN2+kёrFڤv5UՅfkж:LY?D.\ q~!vؔ8| FbsP:jR"G"ƴ-NwoC]bޖ 5;>U &A c77b /]ր*0ڈ;kO46մŽHAKCySWv<0kN"P3VWJ\V0d, //)OF[2%y/󬊴 漬“ qKF,GOeOam 'mWQGWz;Y)Ps׋0a]NqDXE(ˤ$ ?~j#wPx0Jr󭳴7>4%B=%R|i=&4IxT+®O{ꎆzCZOWut!e!Xe&]3Of!;cO_G] {)JH4z4HV˩C smSwIe\u?+bҌ@ .ݐ#ЗK:nh=FWҰ"!ʓq@@/{cUu54@>h)d)vN>F/ ,UU'2awSr`tZp6[7ú4˶̖,6{fwkVh6[\b ])hVeI(zkѵxzԛq+eWM7L0v&wb^v[&c>/=:t%l5PYJS方^9fA#Zu4-/ .؞R.&~_ L/yקkѬ6 rmAc2 ݗcAof\Mt#@Xڞy`33_u`NG' b }` ٖ|X6,a,>)^R&ޥ'eO KɄђJJCkʷLf9zKml$vnsI-㎁eǼaJ>W4 |~h ]1q`1ni4ֶjٞV7VWE=<"ɱ7; 'JH7«5[8{E#)|D|` 㣍#+OS^-Wm8Ibs!ͥ4:T%FC/v ]`)W־w _FSݻ+!_~@Eeꘔ\&1鳄ţ!1K- o_ʡv>GBrjG[f Sv~pSrbS:+]t94q ȎϜqU ڂjm)m(zd0g%aH=\R4z} Mon+] Kr!c^j)13%dG 58cxEDVYtVܻ3ɮo/x~9I5FeQ0U6}/m>!ۖ{&<SHI9o$h{pD!j(RR$s(#a^?<w][yS~&g+-LPͪAۀl(żգщs^y1 >T _*mTP%=&-=<pHژƲ Iv~efURF1[i}a\DE4XVo,J-V7=&Q֎~7P8_B?U0dT6p%MXxչg:&mR^lX Az0u;{G?Yl%5XrY5^Xgi-'u*qJL6b/}BȨ,ۇAZp雙Ձng6GQ>$0[/1eƎ̚WCÈYG`~u +1tn UJ@ki냤!ʜ4V7T>0.,Ūn $;[M]b۳ډOe[V#ʹHCIٵPK10vk]=Dȓޞ_m^<'N q2ϋ|*k-yCА1M!C_iG _8}{ZgXPK pmW%2?[\&'JqHUʫ!mX"]yhs+߯rk?V2O3HK~$ofA>@Q]ʼnK}f nV1vdD$ Ͻ OYلt6\hpLeG Pt0ƌ?ᡢn GgҪ]Qru:DדOQͦ,[~ -jLp:ٽ !wK;rJEs6)3Ȍ'׏^V ,7YTm9OkLgSXɦAO\A<`yħ ƀ >͞dŵ`9|cGw8S++{\CA=N:FvUH1Eiڮϲc6[9srga8<-h|8Q2|wg4b5bOiq)=dxje;[4h<`C'16T_m/76nZJX8 "tYvv&ciVw suP*W&-_M \ 'Ղ <3VA=#~J!n"nLKGJ9̟VŪTk CRf M`ؗ5?X½pGLtoq+7ﴛR<1>H-di_̫tZ7X~uG)Dm`7-񃪧.0OS_f, zClh0GPu:BzZ~ctx$gmjQ]eZ&vUkCx p*+h 2|5l6`mȨ8"w~[ۑ9s4wTYƸϹ06!b &}>82`8'W3 H03[fx +olӝ}'zJz3ofL1j,[Mmfɣ 16eGD3pns R!gdBA=|_qҒeL{jH!Koa=D)f_Lq9d%~MF1KI&q>WVT˒ysW|w%RD QW T:E>˧5%gp/XjiB1Y@Dya##0AWOؚ]Ѕ͔Aˉ@NkP*fdc(Ю~^9Ls`}XBOʟSѿ V4]*z2:exJ$%HR FLz(i0[gtNp QW9/Fm= :^i7x51?ŒPD/5lLDǽ^:q6p˺ D"'ϻ(3j9R?TM!8 <꼨磴%B.C 75ؤ4j'V)mW,5DBl Ƞ+;6lb;͸U Q$ [|".TXƲ6t!)݇M_#l %*XxNS>]:Wd0x k[:/[pQbSl<ç+[݊daٔfEN rLFf3&^Rc:Cen"KP "cOΙ3jyLhV1$$|XjfqP=G\S׆ғăBY؍z:)#[=+" K$!?Lװ|(vG]T|!M"J&͔%>;kv8$$\+*'}g˖bw]􇖲4g5q[j+e#qUV{E6y%Řb:+K P9L@7͛+t5jqo*ϻv0HɃ8QFiD ͉U5Y7})YBc ^x=o>SR'6'q$hZI&kP.g,If`K'\I(]c ؿ~cBI-j]D~[ݿ\7nҞDӻ_{/b}7G0{"$0OKS6z]77nELK+{8u+=O,e[&kFH%N7Ĥ2q^ǂU =szj3#f&>v S8ebyた 4:)&%g&$~ȑjXIK9z;H&SMj ֶ<#W-(tjldtѓIl-ʉC 8 ƒB-_iHtSM >\uz]|Jb9- ;vԐ(BvDA]D^Uq>a7P?ҫ%̘/l;y,#-fW֥|@飞mJ{s"n9ܯ(K9 ܼ$1Q5>xUq<]V4҈3tBA1Pc%KJ=$f̨VPrҊ7,pOXknblc8&Dۢ1=_;{y=-NB/}6Hhۀ%k/ N'4{62Ǖ1!+`{mg۠%] ~tE3wj8r6w"+N'H3&a3uagH=&uI1Zr}A''ϩjW57 XJ.l{w"p M*/^qmCs~ ^B2X\&0N[>LF}Oғ#(zV4ަux(\ldWOԳ~أ$? κ8c{hET v:xqH$):c %1AJzrYα:N-9l_ 7FmFYyr֫F%֝A^Nh$m&.G ζ <nn'5SlveS,-NiKԋR (:W V^)9(L|}!dLF6  R  7 )# 4ZF-InductZF-Induct.TermPIDE/markup7zXZִF! )]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JE̸-mŝq9SF{o"CȾ絛&ZW s eӟWJ[Ri$_P>|1x7M(6c-7y!*]! ,`7|INi_|2MtS_ x&d^I#K~,vjWR!ҁb -Vq RZne8jᖏM'VDu+Ӌ-!hPrz^&ġ(FY;Y{ P+8|y)?M| C)~ģWOݞ U'Y=&1ll|n&JRGr\@+ bwu VÚ O .ؾfNN!i8zrzsZ[\F^ÒAVB=%Ƿrs,5b! 0WFw2| tXԌ++=[ql.Z6u&kmlsgc Rӯјt0޼΍eePg=: SbNxz! {Qkxkg)S]Fxy;_Ia2<=QcJ:YIZWZ\B\1Պ@V868;$/y:T-h5m'Gѳqw7U ^.*hlU.ì!+Ձe(X`tVEuowIU5‰,2`FXknCj_b,}}ĉ'}em`#ye9ɊqmxT̉rl.styz\rM9N"K 5E9U&PjHo¼S?e_K@C;ei~K" x6IV~=̘c*S '8˸*}kݯ`K%Xt½,HC\ q%rs} l-O6~qp΂sc!sE}1cH6 9 ~,Hd$(iƝ]O (mm0WoT;Z," f+ 7 m ȑwտ HxS[žd*_+/ P[ܯ(˰n=O[|tz͙3% ^zT!?܀>z ?qPCC[l_wK`YB+@bpOۻDyiH{-4)C:"w;+F@ iz=P^,S1<&$O5띆5UA񙁣qKGM7Ug)O{ [ oF,-1#qN݀NSVgkD!ާt@ Ew3vE4_MuB/N@_jؠx7Rdzuݚ>'°8Qmrf.Ay%=EUB DC%$KH +7ăoF^ʕ>KrxmQBO!%8o!߭kpC*x/n{?ҌRLY' ,_<\O1oFVvޠEuMH{蔵0ce>/鿇n9zc~^fTp֖w`ZeC%X!,\%#[nbj =i8\NISdOX!yxJ@L,pnCzhht;VрKyYݺ% p8,]]3Vp$IU_S<&ګ;Dը7d&+dxPwc?b lQox?&7 h$95ŜKYZ/3Дq;v.cT\u&9@E.i-2kl$<{&nK}!STR: TLOCw ~-'Eom66YMS^ʉ8j69.!Ԧml %9?o#kp޾`WI%in5ͪ&8ɸ` =} [{0Z0jԍZw]=q΍V4ٔ`:VqO,lKNtׯ'W_ ),-kєX2(|%pnq-q"Ea1jvI7e`M=7DsRw["͟A1 1xd |B: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| uiohqV."-hoGzT%A'z.9dG:CDBH6N=~a@sB3͌R 08xѶKt鑣27mI{ԸUC .E(ٻZ^l EdY= Tl<3ųMe "U42 pѕa;6' r6zYvEl0|:~E}\1Qۈ@ZGb\_%W͑ ˮY89hyp[Ɔi;b \/u`'72{FN^̇;|SJSq^aLr$cfq-FNӚ)i016 p|6aD( ld^:ss #ڝ'YgYZ;_y>=6,i,ɬ1ӑ^pzd4w fLD+O0~!c] FC4!Sxa_iNUG>o;ݪ a/NHJS*XAPP@5!PWb`٩M5%X0^PKiH-3eYcrHЖ/9w.qF/3"C+{ð Hu?L(6$dB$o9ԅ2rlG j3-:)5}n 1B Wj.)5 qwo/+'Q} -߶ҽRJ;䬕.֪ƃI@Y"S`ddVv =Htq9NZIlA F%L>~QK -=?Ĝ,=Vf6N{g'E0?5 > ֎_gd}weAKj,^ZZ9-D<Ǘ[6MI 6^ ./-Dfx^ek0D5r=_zV]2B|_jMhYU 0u2`Zl$H!~1lhʽ:Tb_WٜҷlY9+>kPbPD: tjp3=ΓD?I9OOX`1@#2FVU"h; 9 *(LR5&&'einچXֶ/>5g)5Kfs{ ed-Cա\P@4H)v Ei7Jy !^E ;/:4t׀H0a&zĢKDaPᔺ؜d0.LW0WRv)^[$+,@V /T)b?cikhlv"Ru.qq)=J( L̑KmL9hF! e"N/%/e'5/+c6tT6X !B\F͝-fL 8kh p2c/-PB㫃eC@C)l} G"kڎ(Z1W~<92bZ.cB!syssA*R"µ/?† FraAcv>uq}pU|EqT;RqVX+g }Km|ä"srVH x0 Eg_$"b:{։\N\w?U;AL[T{Wo$Hcju\Jf%-ʟ-L7V9!GoH=t"݅l/%`ňBhE s &Uy2⤓?0^h̞v#u2!K.wN%bYN \L 1Y@![e5~4CXDYyv|Otd/4hmN i%m]RmB6MUgns'u<|l࿗á8T[L9Y,7OT/}` +DI\s5r}S6~M~)x#am)**B;?ǨSx耯OBN ;Kje73[ƣi+shbV uƷ~W+q$m/6Ϩ=$"r8cG[(iͨTz!E3d7N>˓-\ WUZE WC[ ֏@F{M@&p*"]t+|WELŀ{ ҟ,Yn;!S(y!e&k T't,\ M c-z0DH@ vNR˘li!#*~ؾORsaOF9#E߲} f P s ʞ;y_MDž#62}m*AU3Ey[4hq.6:oW0fZ!I_Rojwv6Vw >&{#t[)kvF>-  43q.סUU\1 o^_aI6~\EX9Pl8~謄SDr DG%00:BUxt)s Hh d{fb,m᪂@'o6 V_?J*wחd.L1*$>~HqqաS{\Oy!5A#Z.*Q̿9YSZ@$$t%ƒTJdN[n|[ lJS5_MEy;㤋d ȫj,`ͳ 4M$j{`CI,-OwC)Ւת݌s)n^#,Q[F~<#Qۥ_}л,;eiy`80x:HwgKo@O"?1H<ϖ':-\KE+5ݯ %33 g7@ϣYǹIMexۚLA:Pxv%z B/-6~FsrD+sWѐ砫),0.B_.'vmsx{p>3A.E,NvK9Xs7)&Ա2 ُxⷋhIEp$Cci]MdA#PY<,u(uYұV$AG)k4ueLѼ d[%IAlea/l{90E9 Hl#F}פ]EJJ{Z0 |C̗g}Kˁ=lW7w_Nu =]#K--@ۉ! 6V\Q(*7I[eL43ETxJSϚ ||43]N*v!e4CqN ~z.-p+]-8=*ظ61ERtu%P]ɹy+ GlqEV@ /_žˈM1N&8p66>睈5%.%-(u;c3[q!hA.r5ֲ hшeV(VLruSR %Ou8;֊{55CxW4ѧ+%l"4JJDyJ"k:BJ5^q.72tJ@@ԾTޙ8bN`v/f6כ,<\ fN:I[1|cj{8f6sW6ޤzhρ#ub?9`XM|#:s  {Bx7B  PӘx8RLJ ־45pќIrWE` (-3{*pGJ0*HItDJD4&W1FgEe;^t7-آqJ\m+7YQ/$0ƢQzeÓ[̖2+讥%8ΑFC]&ȼ^L,"CouDʮ)4@KNCuz+ :UxUE>ZLVUouR7%oP!~m* D(S~Tf7P 0_T]jq2wŒd5%^aq mV$qvfHsoؔz kC 4rBaGG(3kd6aʋʳ1S3W9i" $"x:cWt:~+=;5CѶQUľU'*8OT< nsR_g)|`<X>_NKL[?W5a@Z,B"Pl܆ҞQaH~$RK -eXe=*@PV=h\`Uuk۔nUE|; >XL΋vljl"{.Vsɻ\:.Pr\af}u$zrf.YP$lkCޖSbϥ=!4Дdm Nǡ|x^B pY*dq;'k'B& n3߅ ^Loc%? 5DV.?S0.Ch"kfJљ3yTH(h]nX q!*kD>gU eFB&nt<UFbGלX:O-M6R؃r~u*74+K[KTLLUhL,PHَ 2̌G~_ōlb\ݼj=xo.hIFezŒI֓iQ1BTm!5]%OEv.nl'Ǭ].?m,P4/[@͑?'4F&]SyV2]P ^,WJU(ʹ ԚE3mTpB~YD|D& 1=(i.ĥ*1 ~cv(ښh$/S|:2bNb}xTEJ O7:yEFX lז1 G5Πdt|caзۥHl^ڄ^c9nUȣ(%A+Ժt_fU S> 450A --'ziSGy틬OC띢U!)cOv45 FHI=+T]!,jS~!T`zh1˕S`[9QHq KFfIG7A;fx$z캵,AZ-L 47`V%Ldb dTEZal;@,>RB@ p7_R&@;eE!GWI6L4[G {tےkU:Ů,|`9YeYu`xao of?\4(NiFra8!R׵_نX3߳@Gu|~k# {'5F4+Ni$XܠT"%LIg'&mNX 4|b/Ӳc )&̫xAIY2_Kzzy}őGKSͻ#V{9=ݬ JU-qa8Qb@'7;Ū0L@s-&Mu`70 R6g+Ÿ^;AKo*&(%(w*W`Ы:4ANC~:gQY*9O.u3)+>9%˫V p6wO}`*YsϘ.~Y0 IBwe,2vқY,ٕ1ұB&J쩲\+Nl IL`\ ;'5<5(Gwmr)tpT4a9ʒI$M5Vw&y"x׾HIO$H%}lE&(x;:-͌" E{y5 ->x!N%$3J*EAX\r]xu 5/+,2W,\;YԨ(gn}Cte acӤOá Sf430pW85,ө)@F昊qCڅ=΂@섉x8ALw_?Bd)pZ Pٺffh%2  rv>4Dx gy_h^aQY+,͗$\7L63(p̳T^|_٦QF 6|U ^PVZU&0/qeV*]_[⩗W,6U`[*>}#WW[? }&~7im4-Ќ ps+BuPTXm"Uѵ$sC  v0CCi-_|xJKF^>ˠjN{rHؒ]`N#se/#h*Hw/v!_/#-pn|DäTlܐz$Ƀu\I;\.-`76<`:y"8Q$5[TH]CyZ4|LUa]Orv1Cm*opmٔ%w[yz _eᷧ! C=T7jDjlw6h)C!1u|&4A𶀠 ݶ{7TѩDXk UĔx3xMH܈|m ~_@ʵ0YתދJwUh)^#Z4ae]̛\eb P7 b(Q TD/YFP]ϧ ; Y5-"]3$B(/?F?gYZ B :BV+YʰETD6;z<ܭc6݁}v |DSU w"* J<4YY\O7 d*yhEr^bGAՍn2*m?a R_bCL)v "ؑ\g܊_ltuN\Ǥ5:<=wAvo0:?hjTh(YNC?ꟕU~)*:D_S_ R=`cLe ^l*?RC-Emu6nϠG˖V=J0p.8)=WCɚJ*?z7X$ңWBhԸ\-t>3}7 ^Nߕ!#> M=BMU1hTe?oş`lsʻuxIgJdIAQ/$S(/RJTwŠX%nqVϗi, NRN=n6GA47-y!]z vz77@Կbͷa,|~Zץw`ց[~׿g2fجe}H[dN҂P&@bAv, P(R-bxb+l&0O&<^Fpbm  n$a5]JI;*CeWd! L7"r|W[ƨX/cB)?֗W?0G@ӑ،{q\pPq{>qp6 Jn:L -D/ 9t8簉a\&Ȗc.O[/-WrE&_J:L;kp=Δ ,vo.W<65H;p/bjxc<8D yb 1]K"RUܕp-4ȵ^x|XÿIfoo:xhǘcvڔDlSO<r©S*-oMJ Ժ؊d QYcD{\ݸEVA[Bp:bYZC{O< W!sD-{NJCLbw] wʹKyD2Ef*Vc"xY<9 "Y6%ה[%Qwu1ͥo k{y6:c|tUܪu|]>U1n#3c\aZB5(So/c0fGzA i-RGPmRM SExM36LsrlߵN6<.FFGL@cwB04 gBytb)̉ }'w=;.f}qG5XՓdt@ClِPή*hSEnI;5ciɘ٩eC2uFC[r?u۳ [wo&*BQTBq 6:R]kC"Zn$lwQl@i]M .t(2I;}9 Ic-vʢW2-oTI .r!V&dcz`,yqP<b${捬h,{0̱ʜi67;D~<>4y $qg7F!,YI~lJ :=H>^?&,x]o 3j8L{WUk-BNJ -~uJoQ%JbstwqrpXx)ak"vRtZ) ?4i_ވ?o3IR,Ey M.d!UlWufafrhE84M2.(힂0byEꌒÐf J!pZ{ٜRaQt@bn3*WLHE{vdNt3܊{V='Oיsކҹ ƬEj$}^{-0nocɠ Ɏ iB}dXj3λ8$o죌њr^}NRgoI=PDL o%Fm @Uw{xo!˲_HmlQ y&شІӑƑIe?4BXp.wޘIAo~_F+_1 ys():WBe0$YF^ &^6!h:R㩻8.&ۑ٣u\+ya]>R蝲dYNu)菥ﴯ(:]U#Xl9&w<o`j#fe.11oZ\EcvPiߎF\I-X,7q|~N ghb뼪pD<(lsV( 26{>(60I푭21fPqsc ^뤱k\k?ZLԗa^j3$ |Ów- 7}w:cpjXT"?̅= PAg9?fЉΊYBBuEu9: bWYS>]\ʴ(UvwOBZ̩#nYjSqP'j?A(G5TpiA'`gS+MU #f,HSA@EaC]仕G# (F8 kK'عM}DeS]ɒd3&3DbeA7cvͿ>QIR7O0yN}"/8O KS]@j)3!刯G/7@RC l(x{el2izxԎ8MeO+2B58ISKETm4 QA̪ͺi?ΣHX_4g \óe(K>{ՠ2g]qz4!\*QOG)z蚡Ʌ*\%ӹ"HOA '_-EML1_LhzN2$c}| a DZ2hjlΘ^%4*1z A+SAv6嶙ic4WZHtLDXZ5{$@LKv͈S>ЎM':Y:/.9+#NjH?/ϲ**mN$[Z*7n{.nȗF y8IɁzFY$*\GcCl~Qgw0O)ӷl>eLD"UWЕJ ^؍˛DWE:dهJFi=|mlķb ~{'qШxIgfi}<.5H{YBUi0u {@;ТK,#K#z`Z //UvH}!MИ?Cnw~@{5ӂCA^z@A|XWDhb-ߺ^&&;#M쒰U @7ԓqAhp=\PwL(, ?sK jF|j QL)b"j_j_6 )8tnZrͥϧrȹ̲j}c(5t %b/$Wxo-yc"?MƺZ8%D Cq:y;35a%59<8P*/6+@Tdړ{:>Olʌ*hz[}X Z=4 o[ j~whE}J!Q_Q2rZ繸Bfo^cr--"`AYΒUOlwEGU9n:T}9928\ހ`+]5c- ­:+XLϴJP7hǗ&̓ `ݛD—'1_Rz9TG24Ne9`DY:: A($~[Q{g_=hɔ&P"~='oh35 39["jyC)$mߒ5R>m*Isr-8vtW0wM#݇ Z<Α_gۘT kħX E >L?*R͂x_md 5b)W UTiح_*9NS W4N.&@6"qZm0;f}_7d%}XXnHCMf) 0^gGyRO6ZaaeI8QP 'v-6ߚ3鸿 bϯΤnRN戦2G|-Y^+lxAئ^Bc_weҵ (LaҪ h.g<@݋2z!_:*{"tdt;h<5k hi M7} Y4M JŮucHm"l~'dZ>]ϸcVc7@2wpnWl|-HX6XND7P&*sۚIɎQw \f8z}}dS~aCh#e,B_PP9U}=  L  TC )# lZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&Qn*!%,mܿtDUZG-̔nY?ms"&կyHÒޕiVqn -i1r ȱ6} ZݑT+=_fe7{xkk *QvG!cm:#OĜ *q;oNЦF9& o!fk萲V~Wݡ@~/o k[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[:|&[zI\L^!HG#0Rs@#bM}]Z3X Wc&Ct "MQ0*I9cT:ŒrM,xhCe6iPrW vMl3uyx.e=WT>t~yhyCBTyxO9W PJKrxF-?қ$ Τ S[c{T boSjn&b@?F9`gXT!2#YOu{B{7l.q91w;84O}nl^@dLEkpnߏ5K$EW\5`<]Ts*TPpVA|FtF˘;o]{bn֭A[mӺk,qJ^}ՠu,]Gsb)os٥}MH fLij;d - ѧ+x%蜳UfʬAYxeQf3Jc4}{k&pSV=w}g$K7ToE#qXcm!{{4E1:-ہ4"Y =Ờ9FOlAգ#]ƢM>.[rbbCw;FoߤK <&LS4!@ϓ1?8`蓁zq)'x_NޥdRy-yZT k0:G^īԆ^?&zE+Zda[P},u`*hTK AgYZ? 7# \ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"(]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;4*E1Á-nH~زi uNqEA_Qg(dt8^}kvENh+sqB,mg}# 2$0vplxCK@_. t4HpkSz _u-;gRb@am2WSR;xܔLqcWx MN)ﷸD%$$%<[{ cuCF?_7$ dovD`-%]C]vWqpjHUʇY~A=KNk_&(5tDi5I9d=̨nsd@f Rb((a{PAilw@O>7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1141<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! A]·Iq n[:|&[zJ0(O44y,Kńi̋WiR M645kWdVPA 0*%2Mҗ_š`!@ ε!FK _6EqR*ruwP;(tKkib5ќ> Y 3~WCk(-,b>IvL'=ZĿ_Ohđƞӧ(-iЭ ŅǪ3J>]6@%9Ƅ> JGxM"x #TY6'q3{B3PT@a@[uEu~M7;*}HCk>h9?BS`rWgghijq/Jɺn:tʂG'f%h u PLؘmѓiOgE G_up) e@*@ POHӼ+\}̝hRxuF,c?3zKr41)}-b#m%5DЄwh :s3# ELrxÖQASI`\]x«;=?fkn7Uɿ=BB i'͐q;^R4}/]R{"O)uJF{";ξZ-'&~6D&9+{V]B۹)ܜ4 ><*zJ)nnrԍ\!΋q֢m~̒g+03dmulk]; iMV=' i9l{ʀv8)0`)ύFgYZA%3Χy~BDM &%ƾ2R@z).)͢B57+^( (E?oM ڱY)~TW:N'2=>H NB k968fX ,Ǡ|l-ڒ$eYH-F,r[_/ I ߃S~JjiP-ݑ[pG"rLa tD LF7Y<@3ќ8zH;r㨙 hބqvB;GS{}L86&`f{E *e@&:*PqW L $S]v]-w#VF&qQ_X`Ԉd)]pɐ40Yi G(k;0EījO]Vs2DPZh=0ޥ(usыK]?Kr/yZȍuN(H%%DUe0ͽqЇ(3>YJ,*9VಣqYk:ܲR'%`\MI&#`~8bLTwn#C/7&ji♤ >Gaέ!OaUj7?3 `NT3c\O~P Y@"MWSϗ &9"T@)8lbߘ}-[0c2/˽M>Pw='ɔ/,b_&J$y'0>=&VfL1Vj_NLIu4$Q!c~hhֻ;މliz _q `rv.7."Р`ZnIzK*7YPlePLo-D/i`]<*ǻ *kK{hP\R:$@LJc+ e+fz f8#8rM=PE9pmlSy4\ Ri<*`fBY)j@;^c羸-ϋn7@^<p$?= s)UNWڐ+H?YQA!'oHjuWҐZQ* GbkrS,mBȈX |a?WPKIA$ Zӎ$8G(!UT~Rρo:^-`Gf]EרTsX\4,_&yv nt-EUI1Ny{oCʝ/F>K tu9`eƲ bƜLwUR;8PM3T3!G-'WPs\:VMIn <*=PV,3EL$a sxmN2I^VG_1Ѱ*`(5oh C;&1ə8ӟ 6yZ+GFȑ8] Vty;&@VU,iژ8n)jhYHڢ$b(e.뗁_5ZI+'d[֭.ntO$Ģl<d?gi+%.h+aɀT\ֲ921xhO@P4V3z$%YB6%#q^Z#vWیVaįf7x!OM6(mlԀ>ŸSZB8%.MwܯnϫM9bW3Z$ADliij)OUu (#}{h1pPBPބղ Z.̀AowO3\%ܒ42vR1Su dkub<@/5ݮ Fn{CIHIY˩zBz\XPdL'.i0{XS#87(+Z'A\7M+ Ha"8sGn{6#mU@YS/}y+"i kC/5UD_QҚ;U |vLfYhYë=ڧdfsA`)*D&~(G,,>l:f M^ 64nJ߯UPz@LVO҅Θ*~f0K+b[wჰyq}ɳjD%|z*7齤M~&C>I3T>*P`](pgq*zhgiP^{ٹoƼJ,(a2ٱ1,͋u0k=[a '@{dM:AQܿ84{yW9|(gĶ l Y^"g3l|RLA*nQ/6)ρC0W>cC4qFd9t:)cehiXɱ7[cB~fGv5L\@Ь#hKJ9M:tZR#[gJM%$@+rrbɐ;hp$<]aYˤџ z87Ta֯8ApaN!A^ í2ӲvnߪRrQ1u 4I?k4GYF˗\p:P`Q2Xt`֣WQkE>k\ oǨҢ 4 #{SX`9r #WdPF#N]Ňb3`="[ެn-DTA4?%U[ʻ*Tc7!Jd;ٞH.>: .1m.g0Pc #p'C`p ~a!2m ύn -#79(Aaك=,۬|m~G 9{!G{'|_)z  d"I8#5)-{s_.mǔ*.)1ϳ"D8Is.]?:akw п?M0^թNwZ>"yø>NnNS]FG(FtaiZ, , BkH5!RL{IP(ÛzL=OS`L:60Y=_,7g$?\Hg^t 28L*~ Xo\![^M,j.5w_a´@9mQB6~xɗ1N,+k@0Ph'G- 9uށEF/#2aTP:,lݓp?Z`AqƧ:4q)X$lKүh- Oek+\%g0]>W>!WOA4j<*f| \DGka9e ( rW.G;H$PڳNjC0*͐jp 3*:qvI})Un >kj*qť2ź~5D\?Xc,'~+}TK'\RQWhYV s,tR\W)L1@=Oh`ނ/7m##9;,>O]/لRt4Зo3P j-HU0ʒN~.YJץTM"zUpwutmʹHwqG HiL*;͗ 0k*ײA~_wputS*kh[HҏXNφ )a텫r҆3>fQn"yz3mbYV'w-!CÂm ڟ].|g h]VNFpdvww&զՉ[ Y*{^D 36-I B9a#n3(ƒ{ aN q~PFv&hbzڌgoA&anOa'obMD_'0\WvMiJb濬lh+Bvr׊3O6N$*vtH~kÊ5RZE`e+`dn!ƧOdpsl7_277`Fsp#aEu% ON6)1a )F2h K7n(b%Jŭ+QuB6ܪsN+ ݀h[ZM$46sˉdc>÷|~\-({@[[YQ2Ey>:+.WLxUwC"FNw>kᛏi9Jl1)}v']Z} )@gX&AkA^YȘ~whj[jbwJm'30X=nY8M|WbKIu[z6\Sn,8@hF9QQ~}5<ߏ[YyI ߥa^ X7in8Ȃ#2߫(~O|kDɬ'cgYZCgϙm$yr[hd7eOw\gvW,:P 9\hՂY٥;h˵^)?$:iF ǧ(@@Yu5=S!MIz P!_aА*_6Yu\X]U>}qK{ykݬVmkd$: ٗ@ЕCH}3/9{`j8ԑb*ȵ'INqP(rB!>]|HTB.#Ef6_._*prr՞}d'xd ^;:AJ]V fD 2 AFdz4.('GrA^*vיV`?@RB( lJʲ7 U<|%<}naz} `3K"i0l= TKC⿼TBFvxrjrm/^)~( MĠb%YVVx N`*@;{|Q`8k?YߒС#1JuKi?HMKG?u613>bʫ{c tt@;oý}=v2+jD4+ײpSRZArIwTE jДu]&}s6AH':m~ 􉢃OЙ5 ܭK+fT-]͒IY~I=CAj8egZֲ'^@QeA& Ngf٭7&T uVUdsEPs4bw,TieTH<]m<`=Gpu(3\P0N-JW490O'9s|6svʛ7E~|FufK­0̀'#A9:, dUCX`Ң vU@8&) dw>ks,Ԍm!of99OS̤0i?BE8>⶟Ί4\V֫~}yQ.׼-梔KQAofIsTdbpÞ z#t(0eo ge$ ]!<(lDܹiN&tRU &G{IӸ-=!"^:W ÓpZ(j>-ޛL }c{Aj|}g4"40HBG!#:a-\2J,Dͭ3O䮆N%B#OٺYj _A̟g`|n4JUځ}DӤEE>d*DK !?blwrmM^q'9=a0Lq§o@<,_4w La!$\QjeO41Ƕ;"l,{Y,ʐ'S5lr E)qct ^}f#\w!4eeF ?,/JTxN# 綋H*ۼ]xKR&V#B*)9UR=_,K8kk ~6̥~'諳+;}y~HJG"poLľ# DftІ=O7߱^˾LD +yduRUIcSk;@x|4L.T D"N}@6+eB(}q:R>8+=o)cXd}s4oķjV^+2op@ݝPWk8p԰ d-/?M5,S{iGpSNgZ2bߧSީZ:𹩖,Le ]a䅬zOڸ@*-.Ǭ)u 0CJR8[c)Ue}swrF'BxV{;LG< Md\^#vݰJ >KףaJ7YQDvF橼0HHOP362ye' _`lBx]_ve7nꐽ]r'=oToP uk|fҏjQ֙bbBB4IW !qͶPT,woP$uQvRMv&$^<ϯijȯrMgkv+Iq>/=j#ٸ6xuFiW֨i?{]/p[2K'8im;/UHnsov| \lVa('޾Ǯ^#a#؈Ҏ5$sA4y@"ɻwAIQ*']g^( FT^I&S@ ,6UgP! QӖF7J" q)G @ 1|'`W0OO=l2Ŭ6[8:=;x[P<:UJ&g bc{0kYH;B7t:!R{J#)T܂^FcPLw/5'ʟmF{YMAm p"\G1an$Zk`f}WHAUe)P@2!mSt\ UI,~B1F`cF3?AȽNHb(vSpE{{qq+ST1Э -ʱ)?qU,aP6u!/J˧>.6o~T+v+LJӰ<#yLu|TwҾ\aQ[E`zǙr9< %mku?b+g4ӍeT!(& Y.85 ;jW0ζ[[oTV"}FW0pq*\nrB}%b!$呵c`{>' ®ǐ<ͶN͗rn8Ci7ӮԅGb 9<);R.ɚYg7ftE:Y_lϣR;`^P6+tgM}J;Po; D C rQc̕4I_ވ*VrŹѸ|ﰚR1rd%ci~w_ liYm$9'@Yi7eQ.MlLX.g%IV7Wo,MN]8f1)9f/Y@ h xڨ{P~ʅʦrJTbQٹ3Bý]jkrڅEǝ* ϑ^OM)ə|58oʘխ ^ݦx~Օ[1sb} V* 7W<,*t8uT`+qrRa}C*Cs ޵t96UB\F%XzѱEc ni(^07]+ۆ7J=+57p?ul} 'm):tE!sb\?pۙWk5ħH|%Ѕ? A h`ȱ[l){*| Y9H8GYϲ!Hq3yth|IuaTTcQ7QݶΪ$vG7u-RcrQ/+~rev_-ޡŇ7 @3/Hq; Xc>[ hCh T5 h7N; |%NԢ30Gz)z RXך~<­ va^> 2|KgS_G lfVJ ^ 5+_(QR Jse 'e}DDL_e:0MUiF~W/I(8cbMhLwA"daf{ :P j__?FZu01Z٭zO/k7u2Ggы_My Gk8Zc2tCc]:B %,!&[2a 6Φ ֕S]KQӅ\(%0Y^kCzb-~ȌutCR'Ϧ@/ ,qՇh7G8u `9,2z".KTȤf9{{$+tıZ05fA{ROH~I-*ŷd#cmFO(ޢuۊμ q/ּ*~7c0GBÙ*Mb n@Uýk}Roba*l$ H Xt-g Kh'MAܸG%ʑ|FBO(3Dg\ɔRA{"`&fGϯ1V8<~Lg[i*X/8铯H+be3"IWZ#)5@W_CD ќu@E"p%'s:m1{=2j琏F~*,^PR*{SC[Xp۝ӥ.4J a7z#g|.3ۖ¨Z ;>uJWtGAXR~ŷM^8exQm̵QNHLIc6l}aF:O5_ן͍_2iIsj'M__!olט9\ D #_:o#xZ;U Ɣe hX9`Q% |73wmh*Hܛ*̻D+ף6aUCs`+7Zh\~L(q>(}s+STp_##@[XxȖy1 ?.lK< fsԚ~*w ! MIT0/W~tAc{VY\]t#(zq +BO84vz229w.&6˪kQ1 i!/8,ڳi=gLn1M<&'[a=[?;6`CiV /Ԉ`]H1XDKuzzC/譂dmاnrU;&GgKaMCiM؂u*PM )zE cZt;/V李U@M3.͈%w5ZOs-x:]Y:r$*fE%6b;խ,s0KblF{"?ØIt@CbxUSzPʷoXx?|~O;Y֠9 ­pV0A%p~`/*  mUK,~)!) sWWD Ǹ6!]@ l%ZinZiPcx4줐ACŋ}SL/\߅k3AqËBD'-Z1Xyxƣf*Omuo7Uٞw/pF  ]s!;[K!s8$cr\R$X}c6JIo5 .!#J_P{̓9dmy!N|j/bP{ٹbõ{s2AJ1~2&uހbG"eq=\;&;mSX>_SƯ"U},8H\O')u(T2b8* UN'LF1?Y8l=s}xq]b4g-W?X Wvf>V,Us4.mA'fwN5ǨEI] {VzFyǛ(sbGJO6fA|xl?tΆ=0[z46VE1\}ZųNJQ#ˠk< 6M0|EXQ,pܦK (Puۥz/E!B6\ `o1t6 Pha A~:8Qe1Ľ/۱"5.R#4V!x;ͭLRd{>_"^EY8ۖR*׹vǖ7G^h׈lqBkfo .QP@Lub\kY^5{EiLC53PQeѰBP4,XLؼNДE:SLu/K! J+vr16.w\@ӃA%>b՝}&M/EpzJz[f I2Lj'7C๬!?syZ:\;Wilmg>BOLrdӚ)eXd&ܖS6sb1}W_!oqG. ջƽK ~=Utk㠼$`?ŲU{B_"kQ}&Y4ZFܦ|sr"Љ~u ݕGEݱgYZ r !r?G'!"pq;nSSe`WmFjͽ!bQ|lѾS?r&V FT7<➀8{|爐ٛ8m/byo>0%_O0[/A0AD٠S!a)*Orc!/nq'=*ks G.ӠSK/4A~A<{QY,/kTf((~#(nWZ~^x] 9B#Qt=Fûh \b,#i`*% // Cjz]3ϳ%-So cE-JKsduKβq@I_6֙GbCڎ ᚏȘ%J}+ l+No  ¡jDS$6X!/%>iBG/ ~d| ^ IQdjdv%ph'̌t;L Rpx AhTт'>#ImdĝlxG  S*9+ y~Ɉ'ƙ=E\x ZjKy٬9J5aiٔ),Lb[>mꓗwNb{؅œ%86 4`M@9.vG{MS}iXAP(> z5J_PM0ߕ,q80zi(ֻ4aeEf~efLbG7T&x%v`'!Ȗҭlh*Tcx gNT_zW|(b$ay`$viHWSH75(|ZFBߓeWq]M(]̰GA( 6 ~/yƈٺa 9\:f['!9~ %^hp[_d"vljzwDm#DYtg}Ɵ_ב[Wʼn<ȸ J[s'[GbLlQXΥ|UnH~[;#tLw#WJHw#%Tp;XFP*;&]?f}6dXwQ<\gOPcx\p8i^'^ʊ 5Ż.,us!yI~jK45AW+& N Y܇17tkY )Z\,)O 60po <=? iQ\Qw@Íb:M$- Ҷ`vՌO ,aί r>2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[I'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ#)v۞+90ٚY- AGV{<_g#V`ǿv3^= Ҵb}m?#j~J)>޸!޽ga8BFJӣ`hg[uo$*4|!JC$iy(H  <P &V4_b9,aO gYZqH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Η*J#NPsV *}ɟ^T6"6¶ex()+/"vMB9T SkuѸpQ XCRٖw7Z7(-*2: K ?{*xiXpZIްRlo[A  z,NZ~rM9y_;;OBzFb]{ٙK:NHHdew@k LՀBNO?¨@a]ܡq-봼FU#-OdVr\LlK  ӜfW-V [`M+h}k5f[tm%V׮ds[OСY_zu 0 T|mNTi@ĀQ䍉^q,8j~螤?<ScRVynhNƃzav.GisƩC@."S85$0up)a]f}qy^G2b1#F> mΘ?ȴ1ϔX-@1qCP a}8o-=Ҫ-@*ӀA?wMW`ߚ%RXӂ­|S A ,{N, .VWnFw  7-㩏frjk22Tb dQ_2{QoBܢP))%"|֧"P^@/H)cr%ibbKe: *GaJ!^ڣְ1w"=jA3!$Zw yXmо@-~-*x~V_m]SO[شiz QPKeW=?~FUD+q4$9-;:qDT M  ,pRzS<.,X6w:`lBC Y r g}/UICD]R[FmGvM\Sޒ v7njƴK~8n w}4e(h阏4`BLqu! #n;q^yGO: )9Rzw.aSMybݖ KE9P [NgYZ #M+# |ZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o6]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CRa/8`yW5z/}]XЃ0a'n Քq\{4)C{ 0͂cEJ~v:;C\XM阰ZnxIk%]Iܠw2Κ 89UR2FG4kSFoK槝SH&!)ɾJV#dvQ3ތ~k)E˘(jMѳY,T/8|2ϓwy+2́ Za8/'w Ө4ȋCU&-*pYTݨ{ӔTl- Ѫ} sc7*Me0Z1f%h2j?WqǗ OEBt O6Om׶qŝHAya'Q}[pA {! QnᠶZϊANf3̻Y|eɟ|UV70["ֺ\*ht*_aՙ seWykj&KMƉX{1gYwMhċgUV Tqf^~n.FOt@? jXκ'm[A*v^)+o^5htوn?;=!4=O86(Wh<-R1z]9'ݯAr.0Deګt9ljFʕͶbm 5txkQچaE݈|-0 ]_V:pDfE-Ba}"Ĭq2p)ŋY'^T4s;'!b+YO"vȲ>gK"gɖE82eq"-YcZSPpQh1m}B*<b\)I 9>?#bQ\ ۩t {Kf }I,orYl bBi e7m.xt.q ’Q?6֬jn! .]ux'9eFzrn 3OQ)R9ÿ IQ؟ Gzע}LRc:ڀU⺙ $%EFh" BJw?Y -@LLAQёƻCsml{tŸ=/Ǹ5| P_? bK. ^$V7k(,! z 5n}L FwzI{m s#K13ٲ4B!,_qo>87tBzbw$/8:'!6Ҵ"g\*/y[Sz@ 7^QhW3o/cd:ō"WgQ0I7߳nv{qd/4oFp7XJ;7o{lQ@')l6i:"VjëpN+>гӀ7 m%i9 LP.V&r8 Ҩ'}i&]IS0>\;9B9 =@O:K0g߆mĕMe l[{^%3}B@<™r͛ {^lg/ܖ異]m}/4,pxIa̻ #^:tU@L&꥾/߿-#6D]"Il1'lzJ|vwI1FP*ϣz+=fql(3|,8Vࡗ@"aD;+Q&ap]ll/pp->Zu94P!lARZPWSg>Q"2$jrHϦBsaL 6DPɅ Si~>r8]VҘ}@ǓqE}pIPM<:Zݷlnq z%Zb!;}HN)眯e./ ..d%R9xdqg?rqy11R}C-zl; BTcG,(>o8ʜHb9^:.=e=L JbPTow7/t >;v0ꀶ1%n׌v-8 =k R-GIKAt_t#d)[<Ý8\ev[ns?#𳘁ThcJgG3 |& G{'Nv< L4x|ԡ" [T]w`O89ȸj`)#tZE\>39j&8*2 j-q(ŐIЙQ(Gqc*{<_/`t7,EpCfE-<(^NfYP^mrGhU)Z[47hgi8#uV]]LGci4(2WKp;?xX7 foWݱ I 78N6J#ՇK.v:k%G%0g/CF_%k_>z1 lHoJ.$":xtg];Dfcm qlmM%5ؒ٦;7[0k#KRn.Dž:xkdZ8j`ڲT p>J:/'.ijs:RT$!_;zq˫Xl24)Jb/v@1"Ȅ~!;XhRn]fA_7bQY8(:PUι:dM$g]l|5oR39ݟtd@cNK-IVOq;Gov/g '6d<+$ )ZqLL la ~%1f!dx|K!mɅ[ ͅ *oVLj+mݦxCc_o𥩠3KSI^65*+,cN]z^O`҃Nđt f;xq-511?wQ"xJ\WTbKlt,RK㫑 k7XXy,j O-י%BgiEJ}3;B&W1#}H|Yی:gYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 ~7h_.0FfAa(?MM΍[Q; .":*3|FєiIsii09jmU!u~^{g74[BxEK/VPq_'vJYa4!"(I%e[())s; (ĝN] !@s[u'[6մ ]سF9HvKtD2xC wg/H/VÍV ( a3V.,A (}ț aW-n UZ;6a. T#$FD:V2yq/$@xX *6 bb_"5۹;dՏF*b4Non5A9wM4Hkd8ăć˱&"+ةkuT=׮ݱ#ħwA krPWv&&ݳ'dSނj?:הI%{K*Df[d;<,U&\ K4OB\Ea%匒gYZ