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 er|4d ]/]ZF-Induct:threads=6elapsed=3.646cpu=13.004gc=0.6927zXZִF!  ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0QLKU4ļog#PFiz" 2p$3+G?uU*fƏ<)3HR6^YuZ.kV- ._]=/>'}/IeRFWn=Ħ$H?`sC\H[+%tdZ]KCr\C;;D=DUeSfP7<nsm&tkGx}\34_\ƽU=o*(޺t'q3y Cb@#?(%ۺ?T36~A|F&?"r_@7Q)gYZ0240253a780c93250edd58046c2daa2b7a018843c57905e4889391014b3cd9b4f004261944b8f8c4 e25eba282ccbfe54ec096f86a7cc88bbbc5cc19e677765ac686a244638d583243d8133ebbd357b3d   ZF-InductGh)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsFLEH@D?<=;:874120'.&-+      O  `a b / f6.,i>  P /  x O % eU,  9 a\. + u J nrB/3'ZF-InductZF-Induct.DatatypesPIDE/messagesO-3#ZF-InductZF-Induct.DatatypesPIDE/markupN,3!ZF-InductZF-Induct.DatatypesPIDE/filesM23-ZF-InductZF-Induct.DatatypesPIDE/document_idL.'1ZF-InductZF-Induct.Accdocument/citationsK)''ZF-InductZF-Induct.AccPIDE/messagesJ''#ZF-InductZF-Induct.AccPIDE/markupI&'!ZF-InductZF-Induct.AccPIDE/filesH,'-ZF-InductZF-Induct.AccPIDE/document_idG/)1ZF-InductZF-Induct.Combdocument/citationsF*)'ZF-InductZF-Induct.CombPIDE/messagesE()#ZF-InductZF-Induct.CombPIDE/markupD')!ZF-InductZF-Induct.CombPIDE/filesC-)-ZF-InductZF-Induct.CombPIDE/document_idB17'ZF-InductZF-Induct.Tree_ForestPIDE/messagesA/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_id:*)'ZF-InductZF-Induct.TermPIDE/messages9()#ZF-InductZF-Induct.TermPIDE/markup8')!ZF-InductZF-Induct.TermPIDE/files7-)-ZF-InductZF-Induct.TermPIDE/document_id6-/'ZF-InductZF-Induct.PropLogPIDE/messages5+/#ZF-InductZF-Induct.PropLogPIDE/markup4*/!ZF-InductZF-Induct.PropLogPIDE/files30/-ZF-InductZF-Induct.PropLogPIDE/document_id2-/'ZF-InductZF-Induct.FoldSetPIDE/messages1+/#ZF-InductZF-Induct.FoldSetPIDE/markup0*/!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*0+1ZF-InductZF-Induct.ListNdocument/citations)++'ZF-InductZF-Induct.ListNPIDE/messages()+#ZF-InductZF-Induct.ListNPIDE/markup'(+!ZF-InductZF-Induct.ListNPIDE/files&.+-ZF-InductZF-Induct.ListNPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id617ZF-InductZF-Induct.Multisetdocument/Multiset.tex4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.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 /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 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?ܗ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 0 +0x )/ 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~~gYZR 39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ  V +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZ d 9? 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 F F~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'FLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,C?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZVFtNh+ HZ 2%;*}6?Yԭ͘#l.ԛT͗շbX\m5i_$O%ŲqQRPD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ 1t1A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110A 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z n)# ZF-InductZF-Induct.RmapPIDE/markup7zXZִF! 0]ˠ)jk2p O6LP=͵gl5gՙqj[FDQLjD>__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue*e'Ki#'5PYQV~bAű8qtOI|ĀJkf(8/<<S q 0%@-dҚ5x>HHʏV0 Bn*rGf'B=!e;,%yirt8Y*OLq[!Zz^:um P:Ty>!Q*|TP:8<)9n/ɧ/pEt-"F=VV z&j@@a L UWᡢUJ8.Im>6cfX qaRn=![E*Vu3 r[-{:8 ^Rc#6OtR |& sЅTft̩GY`&`aw>k!хh/`\읬$R1Xx(짜YxoM) r?_6pG|X.1QMi},D!\mO6\Im\LA#}<ťiY!8!0`[#R n=6TF hj~J:$:%|(>bЊ@.cvkbBlCنF4}p*UVB7.)RcCa< G3*ն*Ēa4~;;Rm^>wRk:X޿[+Ѫ:|MWh0 2B[P)9NrfVk'X^c1Z|'ZgGK*tn1hYòreIA_* m[FTIe4U>?{w ͺl+"U:w0 ,KqJcK蜜dmt 飃pݢcG5ooIjs{F=bHadP4v K("%I%E`21_ho f %w2}- "n;~q!gSv (Mĩ5cu{ 4?%m>ڜmm7?MsLEy!/L9yři\&pPW."+})VcxOhˬ5xͤ瞹}~@?g UsPKÔ"m1m᧟ 6ăeWݸ{_KO(9_ȸ;I%?etyG)iUoV\E0!?/E?yAN$t_C֣ lB:ʹUnS7L΢6~<'>E >A 5yh$ÿ&DOI|# ;)$m",yϻ9|?6MDy&Xk,mig<\vC ]`5}}F,!ڀҐ *ٔbA+f5FR5XWsb +ޭFǍ~, }Ņ͝OCFKhBd Vσ:(㼈-tI_oxRؔ( }Hՙi\Q 'c2яX gCBO)zJs4=f@@0#/;/ym*#NB{P {.=Kfol/L6RG@Q1mr ɞfr ;QE fKCj8bO'PA)ZXKi;Q7\d=-%:o8v/Ͷ[ ~Q0$kIwZjrj!: 4Kn^Vߋ,"`[KkO)tq3('b_"O6+uE3m(_}{jBVbjAʅ5!RχEyo#\ 1m+߲RIkF訐 ͟֐Xm{yO Xj~C/F6dZ_0@33AF(:"%!lrQwיVmudt-ROWygt9acnVd'!wl;`k#OL3Jxj)Ȝhf|Nt&|fوJݕQ4ZM"El].CF6ևI6[P=ܲWbN#_\T9iz^gtk8IK'Zr_EEF{'Ih{]Tj]aYT'pq<1x'~ Yy aÈSw͔HfGȷ dZ ֵ{vwbG)B9̳5c#i?<+V@NȬe9u#Ҷf^;Gj? [޵0Ka6qĆb@]Ge^h->)9\Q!dE@EtO6~>Уh"^ p<+mL+-0O>IXEFbsԒ҇zZ;,}?h i3C&! <EDR}b.9٘#7_ #m' ,~lО2R&KaA;BP;>̹ӻi灪KDc(K"; Πozu\XS*J}b Ӷ T#`YH Z u(6i}gYZ $ f V $7 1# ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! ҢG]ˠ)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λ㭯@NCe~rC8؎ O\gVGy9դ<ЫƪN~=S$^kQܪt3!i4|9L!1Tj3LB1w{3܀9taz-8Ԃ;E% m!as¤?oCN9K !I1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson3/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}&W*UV4V51YQo P qgۖgjEB8.3^+=m.ڳ>[׭O(emPG=MTZ8 4n,h_p bk(. &5:aҖ%[yO9CPv8=I6$$h#x L]\⾈B~hR|U>MqNTÅ5na?'Te1FXTdO/9/IE,o hA"`K}(ꗽ J0O F%!m :D:.b%eN$d_# ۶6ȦnN'•  @a]{7e@1+*ЃR+Pg_r贼)5YI=V >#}ѱѸ#Dxc~ ٗk. p4Gk:m79b$y|јyL2SbEryp3R@k~Z[PiJ2j1R=ŕmU5~*vlejP2D'ȂVR@sd-$<ڨ2I/zF92^wqR Q_%d0IWF7+aB*yCgYZJ /# DZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9AZq@&0Y5RUp3?D9As!"VT]vˈ8aِTjI)Cl)vp ETW6):/ sō{9oV; Nd@^Wep"ˢ6k9x9}7a[ƒSLd?-whۇ"Wq^졫Vc3DTHv Tt]S]cZ9u٠Py?h&3sf8h0i`Ʈ+2 Vd4'3F(G<_5u,OS3K떻WF|[qSÎG/!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}*lX]ܛaZAP2jb^p?֩tcY)%%Z#VMOڈ`MŋMR6s~|OݢAKA5zR#vĪ)='" ]q jd9k #; Cm$a׾ͦh³ ( 3@7!-:H bClzrĨQN;epl@ab@9 93#ѿӥRjNo+}+ ^Q ?l&3H}Wp5v{/@môڣhyaQS6c48QPY616SBsM&qp90;ڢ yꃧu2v/q.C"yyXRAB/":vbRr<1bA#P'O E1)?r oq UsԫX$,5AgYZ F E2*1F }+D mM&"@>U<~NT:8mXk;S'PŴQA`gy Ad O -η((TƋLoSbQE`o~7hϧ\O@.~7Lkَr8ּ+cgs5)6.L4Qvcx2Nwx=eu¥ ~ޓaۧiWnƻ؍12\yiU4^9ɢ5\? ()BC6ǻ*M17skB 7n vs.wͲF[ȣc"'d:%od$z.24w S*vV *nx?9>"!Y B\t˩7ֺzJGLѠ݊HHܴ_"},94n}_摹)3^Tky6h} F~EM [awgI{v*%c1M˘[o"78>̢)%d1o="F&s*[kx(5E>Vvz"^qತiiG01&pg͍(:R[#n+9 }x^=#[' GDHR]Urل,I6WWaUܒ+w_؍-ƺ3Q3CoD\rh zr )I`*z ani%40.J'|/lLJXHfyΤLڼ(fwLA8AR|~Bz6^)BR Cq!7*m% uMPt2 m;߹mŠ3%}4.WӱdKfƙZdc6o8jm9̮Sפu:pG3sH%ݯ,WcxXς,D ˠr9Ff?!Y47sbpzZl_fC R)=f@%BXt37^YsY ۋ"9cdw*>Xż5]s"nCk~C35x.f>D<nTt,؏QMj=QPk'jDy79<#9C{$8*RA5= ~-anڦKLzcƑD~nAB9O+q5i5s_U`Awm4A.KWG]׮s@T N_a6TD0+5{U4kC܁R7VdSqD:Iw+gr(pUr /Al,7|ř9F;K6yu!<hA7O'#Uǥ#%JYY~tKHQ3sCQ&/ QOq.3a( O1#.sh 7+KZC lˇt kW% 3 4Š7HhɩT)p-SۻhZRtʒs6hQm)] އ V(͇aAIy\>PIr#D{sQLl9AK~y%c[Rq2KxUL#|3%[ y=nJʽ3@Oō<UMG4T .x GT/ Q(/%x9vݟ=_f,>)x O' )g^Ӫ5٭)` ;7euInMI *|`6b)ՐjG|e( )|԰#qBxOW*2T8RGSFۃ5 -фS5Sܢ@d>H)LB@Jk bg|f)nuWyAf dNEhIxH`H-2Q9s,Ӓ Gڶ"B`X{g_-Z ,ۄ{O5E:t_p](dX&hkgi3bŽ5֮GΎ>"*SM`@`n+=Ii^Bc0RB -jTLoRj‹;]/»j n3 6x`8s!g|Q݃4U;sZҦ(]@ФmP;IzYO&=tsNhAzu{ Ѵ[ȃqy@O\w񃋩]? O+TabMɍMwy̑*8G!lrYP)*c|^;dŢ'~{Z40#@CGyZi:om+O&:a+0AK))q!r҂ Il`iޜ <N;IW/t=/XOWC_զN7c"kw13vJ)q,])!|"pifh L}\_ۡ%z<$*-k-=δZxrvi I:>o p2!xV"NlR rpJLOCw3? czfwMC)\HȺ";0J.!ʲ" 'VNXT_G[{jPch }b rt*TRzFb;HM3!+fjө<N ZڛmȴGB+C*h#s@n+ҴJPx+8?X >! p6-H.V8VpQ41-a/LdP H=YakcD8FBIq:#yCKʸTǗܾTfr LIJ\5oj " ^Q&3xsmyXqGte0ߖ^Hg$I1+k:&g <5ʣ aK7Ȓ'#'/nd; 8U GvwsXg¢<«S$Y@DWǿN|,'ܭTإjeϥBmͱ0{Qe{77RhS/d6`'d7 ~fT xE6\*ۄ5(L 76?CjTkB< ܴ\z~ęlJGjMA:;J%K's{J]}} !{\0#I$)VD:DU!7Kh1f;GMF*#DZtۭN\N狡T,xGk Qe7o!ۦz۪3Aa)6ڢYxV=jo$f:,lHyJ=dKR¹^Ü&!Oϣ .֔a^ gSޣNI>vS,\_O[Ց"-z`Ū;Dh#!}-LA$ 4>. 8z8z B-. in}|\f#sg wdڣ:7m.!m{`0jI.)l2boGW9]%&' ]Nf(>EsU\ 5*q.oM<%Gh`;{k(1Xl}01>Gx[3ZM#EC[~UpZq->|K R͎o/i!guD.Ϋe6ڐ{R{pòA"PgK:U;;̳cD כ)@TSh1ejUysZDӵpw`qprƴ5-VT$!|Cω%Dӆu=HnW|%Rw-UΉ #cKV㠿A7CD$ ! keټg@[tB0&,m)5/֊wjI.vyCNjɄ2]3U5:lb Gi\DeZooPp3Ҝd=q!ϰB4 ?}qV8̷s3@AYԯ,)QXUh^C֎!vPkʂ;Q mf1B޾&0oȮ/QuV`zjP4c\QrO2f,`U)ttXTeBF~,Pv.U^ٜsӘI% CC\s꽵#I *P25ۦIѮÒV\!)4n.ޑaBO +~cI3wL}:a?ѳHJJ3V/q؟EC?"byH% ϽKj.=4b~Kh‘gufHRk! Vy_XJ0 nM{-dHnL^f=uH*֬HҊ8|(>u#Ly1p&d$+WW'U a!n:i_0z+==*da-hUE@~`HR=l4̧ B5]cErBBkrN۠aAib-BF^EB)&X_ o| =@7BPCKly)2txj@.*v̜º+ 2!-n)!ĮQ #?xc^݂V 6E"3_'ԋەŽ =9@f-$dc;s}{bJg:@^bv6U U8Zv!VFUSdSd 5yQ nCP , 17q[ n^8Jf8ןӑ[]@UK A%୓~ẃ]"p]d"C$5yb1-FqU8DFi)~MtWqiD ،"C,uK7: ?u75u-vsbti!:CmLb3d'eDt~s7GHbUZܒ\eڀC21*Pjeyj3}* ;4jat*̳w>/To0DW7%&J5,c!D wH">*EO|H]fOzHbcMR)yYG5@k}oilG>q^s,Rz؏Fek r(PrV w a%w렚'p6Bw=l){6?W!UMʍZGVQAٸhR2+L#u8qfu! {:_g=S_/l}YWcXXua*0-Ⅸ8ϟɸ}?ߞafY[:fWms/'yhu Ex3i# KeNծC㲑ȇQ,J khA8m7ՋNG~''s H(6싍-eND-7PŨ~@ .\N8^YMmc@Zbp )k=wPX'N`7\T62%Oe`@)-gW\ט2ȝA9U/'O @=Hv\Dtk5@quQH:$֧.l{WaC>jKZ+_Tѥ5)6*WXL^Vޭ?GV|/ضj0l9!?*ݵ~$H#~hB(NٱLJSRqG35.<fZӌqBz&O5 U3rI%tV6PNo:v2H-W/RUtZGAYN\A3E]w &y: S;UBh-Plr+3&^?'\rE#k"5@^-s<{ gWN/L3ui~h,PD|,IYql'-9\](2D[.Ij eHE19vGshl.W(pqG/_Eiy5J;$Is% } ) /)xuؕ749mp 8$8Yb޾a\jg0nk oMWQ"0PX hu#a[țeF[Z-۬Kt Gm!͌ ё17$C:+JZ!p:.MO|U3 p9:8x^_#m3T.]i|NG%ye!Z0KR@9z$>:Yґ4$ζ!NTg"!k{'&m\nXF+(CV;Oo =/˓JyD!HǨ*eO,prQ>ҷQmV;[[@8őIX`^Oͧ:0=aLpsG6o-Uа gC}#mySj:~lD5Y A8t n]'fbXi'KQh=7-":E9޴BNH又Q\Y@QB/Mq8xG8g`[vSG*IJ \PcP z@ajГĉ_ Bnwk%]/}U.EhD. +ٴQHU:;HlضiZYG|1#mgcN0+q&mZNw|lAbt৵*֔ sX[:hR\h}ZYl涴zK]Ϥ9<ժDlv߿ _aѝ4qRT=8uK93Dv8=UʘsGtda@frϟء@S͕ӏԾ3" FlLK%*7K΀HV}+@_c8/c*|ƈg(\seAzta2I0Lk)CLH? ǯԙe [àGu-[$ izm4\IrXW`* d yhgj뵪,»xS=&v(]g᭥u_x@"(ᵜ&N_5Ad ?7="QUH@}?AX|5 wPf*iI] 2){OfmA: R&b'Dq>1&6jBh"` =1 `{-GdSh oQcf q Z+79?K͏ ij)U kq#Ҳh}qeM "yFնި9\nrYĤTb&5oʅ4WM&L `14aI0dwF N?@/7<wTnj>_u|̵W} @q+`0J6LƊ3Ρ)AY*mV/Z5ڤnfѤ 1LuY /Lgpz=M;#?d5gtF`Zq.̓ѻT%iJs Jo Iї"TXk4@&|[ _& 2/IQ'`ۛdȆm#\uUG 9JC0!]9?#;`cˇ%(2 k3TL ~Bh@ƸAI6aOjNYt0p츢?C^$ 尪("4e)Ri!akT$-|Sus_Ďs% Kٜf00l6{G:N AX?;Yv}UuT-ML,ƨfCoT`B ժ"ؔ0ohP59T:sdঢ়oBh ;]4 t*WO^?]<]J 4(ƺ$AR1J !11KIbX*9,Hb^ԈOޅ?-OG VAoLQr^| 269 vDbS국UE,ppǓiV'IjQT8Py*,䩮H_Y ? 2%sVIc+Xj3j$jXbؾKuUCQJB#p)ʙ˨DNJXteU15E[Cl^| zatR}97OVaG++S&mc֯fA{^LWX@Vḩ]\<`ߘae`W.Ko,iZYNzTA`;+o~J ;o,K8E3tx׉ 'Wuƫz4BpM)U*ZYe^>n֓0> lR_FP4-|Q;n20I'd:nd.*C/n'>AyY.{{75{$(N="*:|x%Q2;>xkFo6) o|F1VmͿ+Vmjt*cf أP.suCk}po7YJ)Wa]VKB$.JkC/X5е8Pn8r/lV/*J4\_nOSIx0u.%k>!Bbǫ>,8B}ehlV߰0&/C<ϦZ6|\ a u?c'=ճ͖:&0\==3tugPU%6(ěNqZ= zE/+{9vg#P;Ji-Z1o_~H7,Q!n#Td 2Xx/w̆@+\S1sgПOB3-Yfd`,Qg* (x9-'.}Ab;+ǥ}(/Ltf(cdܦHns~C~gxX[@XTĚ89:kP4F$sNK rs+BhekƛaZ(HcaN]fVw"mKV^BStb. `[hLQxBp;1 ;c^~ەͥ-j1( z5ҽU r/G =ZI/̛ (.^V6|au<*#~&].AL<'ר vj6;Zi( =c/r l±E[A^x AX'xُA.C"%udL#1q.KڱNtHag<x`isG5] \elOO+j=\9VTꁻVjGC0Z8+5R^e Sd&4ە'[ӹ]q\ŚRt .ֻ!K9`eUXVC3oL* Ic+=ԠRO|QBc95QsgY_z?Os3? gإߦ"ˇ(0nUAx HI`z+=J6:Fc)$ ZKS\$1ZGCD \-.e1h(7ع&1F겠pN%>\qpUc;N)ʈkSgN##|:pUNT_2\iTWCyՋZ4+gyǻkC(,z_l{!5\BFPDx.˰_낕2h$8hGts@:͸ט6 xW.7(=F1 |I3KP>ϧ# fσkz8AREp\h9{?Xl@qZcɠ)7˓iz'0WމʑZ;1U@Q[JK $(Mj7]5-s(Mʎf?8yZ4|:{EQڅBDU,NcVSÛ*O%^#CVɈMn9ߐ_:1޼)\P\5Ѐi~E0Ο?ȆZ*d\}Jz kݒR/r%_ń̇+BK Ϟa HV'pǭB6HwtOz᪡l&IWgmIԣo^*ɴ$?X"MPHkb"vR͒ooKA\3p;h_7f<,N¼mQ}F{4 Pn$j6A9  ;ڛZ] {AI`"6aen X b|4|Hm:m2O˭βUթ ";5wkbgXQa ,!bCwаX;*N$^16váKWT.CL)?+~rZ@I$l0@ b%ƨ=ܿ bEW=2@&`(/ c*ĬSHܦ#fNk^`74P81Tw3) DB"mƺoi1< Uw3sÚV/L*nwˍ>ODs70/[_37j;d[%+![᝟xgƒdƮʲ\cNd+p'g+=-3BĞr+ZɁG}4Nk Kĥ(tpaesM1:!z8Tx7xG Na3IFj~wN{QaZBO91UD&cۅFFGu+;-+FV6BmVG5ǫF=;M+ p5T5<]VFirvXN`TQJ,o0\_զte[^R0Hn fhb6i<g.8RqN.fhARS4ũRV(Trm j.X]d&;y~.%isU"ѩ1ȭ+\<'Sijv3e Tל!툝_ ׊ޡUfX+nfBgBX`+BD3bc>)+n~2:#dO^Fɖ}Cr)W^D<^,C.(!O v%'xJu XЅ ٹ#l 1Gs 68f$NRܔ22aNuw7=R,o>d#5Z2ּݐm dC38E6u?@E "kN+cX nCR #dKДJ^& X֪Jwt*%]Gw=01בg~? uj SIH%¿]쩚zS~*qw6tB70$1f&ii^9~gm@Ҝb#E_A{@0;6u*q޾aiy~ lHnAFަ$}dɏVӈL ln%};vlX@{^2$Ȉ#* ?p0Ħ,6 #I(m6ZXSNXS9Җ{NS>^yGZZ{p6 byϗ5T*D;#ڨs?&nw~y؄,o7oAeJ>3c".'bXoGf !mہiYDc .pÆo̲k$k@!D%kF"hh@S}*Xu > 7dv&g"H"Ŕ4kNnH4$be谠\_ѦS˹1a)o)c , þV7:~q>؟& IWD}1hy݁H>3 o2~NKŎ*dviMiU" L( EJ+_=yvԐZ @X.)@/BS^:9kp)@Hb4K<^]3νʭNlek3R 3GohY6|V&ޑ'B:ey9 W @<,v`prνL^%H=P]-$RƄ ,Iu&y1[Ʌ =;moY\բv[}Uޅq- g5E!hWD%݀0%"Dj|+Ѡ`U3d]ٷK~ʄzNy{y|KFd=fY_DCPrc4P(PH̰&_T`f!~-_,0ЪId]W%@VJR;`.-)ֻ !g_<%ncMtYC21N8&h zX*"gz"%7BFx}L*̗&d W$}P lWbTE@rH~W &zs4QWJ!r ɱjKIt~׼7nm۪r2NMIM_kG~CۢLp's[ OWjԦxl fk9p$=VVmSPY~i(mE 3iTGa+OM1p+7ޤ^fii8G2_ Ӛ= *硫'VR;9izݿ&gk$σꩴ1% + iM8.P} X(RWcCnӏWGFg}>-}sK PPZ (&UCh|ڐ^NvY˦fe(on@iF)&R@VXhU$OS=r5IQ¡tLJvj%%\ooBԸ<\#dzJySX&~emi3Fdl\jx-4P@}ӿezd].IBuDr\pzEg5iܸ̟5I~? _4 ,2hĈ _he[$O{x{m&w}uꑓ Wj }z/hIO˥9kIW057QRoǼ$K- z=N}&Taཽ)54u? 8: yw4ZDt)udŔIlj;֕Uomj>OP=l\,$vià'_a1uQDhR0tlSm?mv}q!q5#[~-_A!d Ɗ*U?o8 \>l |%[U#;n I_k  >7@ κ1O I&yxM A<%5EB͆rq_g&/1 *,n\)IWO'#)MlRC=Q˺l$xposv<Q/ lEQa@ nre_pSMP|@(9LIE4^e]DO/t)2ZP(XkٙՅ}7Kuy)d;uײ_J(_ZK G i/ JjfmA^eH.[߂ϣD߀~+$6DdRLE3Mr9RM|:>JJǖ.ãWJ(ʥ9 $,wgGTC]FVO)[, bWc.u2$p"yUf?x`JX&TdoEs|_}Ѝ7~|.*0A:G aee\l.il=zh{Dܴ@ hzP<#TxM쩉nP`OgvHbO(/e,'WW6ƚtBIWvjKu‚A_*|F9c UfWn6`3YQ6BSvKk?>v uz>Ԩ׿PN K\{( RƟ[kѪЯ5/F@y艤w9j p Yn P>P\ 3T z@, 0D\n0@Jl:@C̜f Z7ǃNSců6M6+ʎ1KP_dKCbz0c⯹8E33%PF3V_ ڇUf9#TP|ga'֘CND*i!NUGml T r'*Ӌ@}#spg74C^}{ ش:t y*v ֚b58N@07,ir1Uu밽ޖE|QtIIM:`*i &:v];8\eFNysbw0h"f\wb^{bPN62σU te{Iuɲ |"|6e :=bü*^y5)q*:a%\Y`OކnL@#)Zoɂu'C%XY-50)*)Hl&(_ޘ~d O?)"h"\_)\F=o 4"[9V}ƞ@#,t;xNA;+:P" 8in3.MΖtgSa8;kHir%f0F}lp/~iגvDt2FzC ,4 D[LDgtʁO&̬VdhXO)&*a1KIoӪ]p(Wd9u\%^ B-Z-qBOn\,B՟uUR+ pj4pESQ:.KETp1B Ţ`o5q.xl AtMLע%T.dbRWq}'IEi],WXnwk*Q #?N%)b2xe +>@w2i РPo$E[}yl >eo0bQD.9EOh[z|ˬo JqigpCnx=A^T }I`s5qDָ2Fbup /տSZ gB^cg3R^V:BXF/_Ol-e,  jl@FH pWeu;AF5lX) ,/yϷmW|¬C]秅j>ӟ@ 酨AW0(8$ws&JRbSZ#VD: p\+`S DA?>ڦ~Kwn8mU[ӓY"Ѩ\1iӃˈ۵ϖ"M]l&ѬBE/JL5^D'`@s"sN~x=(J$F5;6 ٝjtD[lr+ƨN\ 7J,ʱjahTh꺶~Yìc$:* "jAOEJC2h0H0`7Jak9TN6O3u)nQ~~eR#c5Z P ߊ\cXH뷆iyݧX=DDK C/C Fʡ/K>z mbƃANUB"=-$Q5߲F+K  ;'uO@%j5m(_O*kXxm5 TX+8@RK=9GǢrɣJbhNN˄G[Pdfxqr57C^T%%(yC\. x"6}Yw1:ܺ3sԛ1"Dݤb~úS&ˆblA[%Q5j n< AL\SUGAܼUiBsge1i@te2B` NBC+>}bc8ba=ۺI 7 2XI6'{I!:Ly02 Wkſwr9rW 9 , mȲ8 O G12&*y#p". cV;uΝ4>rKܡ4x\E f_.3M{?WVwu|lb}KdUEdAFQV)(Fd fL -2w P[ݳLEǨi狻dpHB=\_#7v"~ǎqI 3!b} 6pILJar Q&?z #G~Ҥ C2]Y+Z_FĎy;AvڙÌYYN77>@F'^;jM{mkobCиx{<,G\+ nȝPe LF,m{S>&)egR1NJ u8\4-9 铂~s|W>~hkKjFE}_n5rȘc0eݏ"?ZN蜜ʌ㒨3($!۱JZګFD 5/b`j9QO+nö!rR7RUgsSz2T=!tHuR]̲wo C \UC`!_"e^qʴzyM]I|]3MD[yaU*V 貴J=ܖ_RD7 Al& C޹goֻ/g~0Mc 9 vPs @r'r9i0Ǚx@FB4O8-4M!$P\.3۞tTX1qt 6޻:O|$ߒ4ұwNC%Y٥ߧILpuhpB2/@enW8 ArK(2{ ոjd(^#Ƃ`{hRF|q'xR.H$?.XxJR?(H\i! df)[%IEfe2'qzШ% .@lˆAخLX:մU GG]wr>@׽?9ީ\5c^=ְu`lL xEC춎,*6W16}9$LFi5FwZ)k׀2i&H=ԵjRRZpH)$. MԸDK, ;nX2NI3ϩ䌔h`5e׋E>T?7khG.V=*`tp2q[ ܍lOngZ;:]W҉Ņx1Rcaj}q>O:,HTH8{N4KEi tk[n))..M ~kҬEƎY ;la+`hwV.+2lݗPe^D6>O1M[S/ .׮Mm` ֗oVeh8 3Sux1O18V7=k[E,ZhHsNܞ/wڌ;su**2BӓnvrÄ3ܣZ~0:Ym4~ ,2L]ޏS2vDӽˮs w0FusuO7,u<6Y۔dv>BJQ{*<$OVkbj/\&~PKj&P-KX@9w"L&Da9aH7X |;Vˏ"t8^pְȚPmY-xC]kvFEQS3QyXB)//N`9)4\D ʦf& @z "~c ,ʔ_ᷭa0 %S$-Sn' kM.*V_2 &E& mٚ): zC[^iuEܧ0lOR?`6sK\gaBǏRu18*7h#1.*Ⱥi-bNÖF2b)q;8LƘDͲc8w)dCuk3]#tv0)sA6RZGSlUr E^r (o$[eAoksIc^-( ?jB?[m\h 7_{z| #OV˜^(1թ!a |QzE$3+|aʡ <W <#Ce.ͪ`ǚ@ #(0EЀc?<ƕw` b/ۥY(:KaQZX$Q\K) Fn{ԌY([x5?"I'Y |Jyd狭Օ=05gHhJp:Z~V~9C,!, KZNF.. dJ6sZ^mIT @ЗM/.g?`",|r7%ͼ` I4N b)Me_` ,ʥTw|f^A v6?ּWOZnT {nF0t ؓE6źݰvaI<ר@i[)|k{H$NEi>}߻!0'eUU! voQTK`%n.ו/&T}LyHQDx3IjM냦R8RJ 嫷uU+7A!QR'I?@,A~c|A^É ƃxv;mg6rb_gN ΐ]Zp$jLrF2,I$Y$^$r)'VFjZ(հ~aŚF,6ZOgH>RNM3CYզ/~-Mݾ}6 #NoAie}\щМ`Sfy}%lls P~ ڟCvX_y͖Q&jw\8:n*,h,\'/*a;l$.!IM5dL:u,aXC w \Dߩxs]!Fn˝6o5IzUSeWQ0&\lv* %+6'56[MdpD"Qҧ[iCra0'09MM2ܓqOv,2ߢZP\.P&酛8 LAhi}ny. L#ݑs A-4,XRP5Y_d.!/# n &܎"gV*Ime :5kո%3)GSѺ}]2:zӭOYTzV;WL0y, 2q=97 މoh"Qgnv4H/59<\ĞOMb {|n"铆ȃEPGr~jwIZaTBL=чM߫w_bZjEiaYH.-4GwݮDVţnYCzge] &J_%RY eh.&M[e/1ecv 6pʉau")\{oj)WB鍢Y .W@:]$a+pI.$=`5;K|ZͫV3? ;5)mFCqTkg@#AK[U,.n.>TR8[R}er ).igRfTHȠZman55*dlf;"hGڄZ-YW*x5A0.?ƶ!c`eR7`-AH'u9OBu52pEE+n5ktJ yuu!_klN4냏000ƺc+5J(XBeO jJ{gŏhږ~gpJkX"q?<;*E͆p/b}~3 $U@Gwbڽ[?Iĉa fO_[~F6-<Ge j)ajgB֣45Omǃ~T2%?"U3O6mIK5kt9Uf|80B3Gj`BHv[]MI}'uD3W0/!Uɣ,N¯$7Mìփ؂`A&%A^!%AX160ْykV=z^$5lk$qY^nˋ} }SN޲ki0= {0ȯo5 yGF\ىk%PPH(uGIM9yV<`s5j&Yh`EcY%:b< RK~nݷgV4+juBå~Bs7)# HG7#gW>=Q.|œD+mbؒiKeտ>:ZocV=F qq: udS f|Esm /Q58,e tn|kG`&zGdh I(ج-JLVedB9+lkpkPT[krƃῷPQJU}/?D¸?)8 ~ A#:IPZA(PL،_Ds$KMC;4В1F/hBi n0|aWVt/HZ^Țo+-p]4Zh'wM~7V9 jN,za.ª/;Я8:+6sz~O}2dY)rzFtv;kҘ_T{b&^ݶ0|4  ٥KXW|YO %B:[ZT5X1֊Ϩ[ l*+׮Kt=B<<\,Qx$tdBy݀p^$@ 8"gF >Or3mS[R.U5oA3sF*W vd=Z˷&)Jg{;B*]=_~#r@楨q_cBحBE$lK؅:GP?-4[Ƀ@(߃J^<6D8udEkJkl`a0 P"-,rzF7Q|'a T"ӟAHUv*ufjAKmdF]$p놚NE![})Wdpw+oùu,t'"Q5P4F7Wnd|I+v\ũ j8@,qWGéYDV5HMfyuJ'Z1c׌qΙxmt )Cyo;_Ʊn.&;{T$֤"{!&2D1K1TqSUJ+Y^eɢ`<:5`\ >_qs91 5Y#TEf{Rr2P7MSSq':=֤ `JKti֩E7lJtM-f_$ԁ0T/#BZ:XQ6.~tknvEV1X )Ԭ-/t!QmW3XR閛`mE:$Gt]ߚk}PYw52BM`pxj?YX"‘rP^O]ԩv, ۚ^3(KYJ+hȦEۤ)YXp7rd"C."jsL!է H{|x0q W34=;ʖ@$5n|me޶-П<&_YOhc=+fu ճ'#9O*C󞤡el,}QJ#IUvyH)9HiV /m#OK#C_hhK_J_|V绍h3ʵ pbi;SvhA><8?^H z^wO)F`ӆLW,Ɂ0*!>2= w*E{/+x+Bkh\R`ޖRg8}8c -1Z;髁|<$N}LT"E:d6LZuqlSLR8I;iګKÄ&rN1g{ҿv\ I2#Sr(7TG =G&ى,U)-L8_o8O7qa |hi'rFyb'AxZoL4k)(?0WAH|ڽP"h B'>^ 츨tP ;>\M3Sw0y!2Se#cF:5ָ|x[~r: 7cg#cUjq@dCڳ_*w5>~"E,dFr~fڢ`Jlw:=>G$<5-[ OQN"aMԡu*"N =ϥa|2lk/rdv<ygg>@ :ziT?R CBpϚfge#An@H ^ u -AyY-tWjWs IL/]$@%H ]/'eГ$+~ q?{5~PbvY T nء鸓'ZYJ#悀3-a VvL+%Y"ە>e4=+W%ZKKͮ%a~9AQak|"ss+=kБ)9a{yӦA}N :sc6cWX@7Y vA&;*(X |~NK}XZwOʀʸ^i"L+g_l.2EhNi#b*~Og~@7>[wWɢ̸%oF=H6ЉhO5ls 0Ø-zl]0DPG8FBnK ![Y9fTV iÑC}lpG1`a0<$ |p]&ELcS(•¬ b/Աog]( άuF"|_ ^-[ROS #ǢgM E/mmFݎtA^hTWJT75c*S^x'zJ呹W{2+a6nH87\|+ĵܾ|7ҜHz&*| B?Op@Su piy^B/]Bqh} >dv&i݃F 74;"K; ܑ bP;Vؽ__ygPLE^#dӽtw%?#:[j#7e?Y6N^J2 ֭/ܞV566G,+ZUΏ(4Jǚ. V{A ,u=\74{G7Wk7' ӎF1>GAjͩ@dbc"@_Yogqfy\_.W7neiV#Em{&prHuIXwU~ 6HTϾ}; V޹s}  ZC>9b.Hۗ S!_9<#5!VS4TȃltoC`Q)͝]Tj-A5v3]k۫Z^ml+PPHҍvG13oŁĀҼ q`XcJ@ԣB?PCûP5$YEciEC%MZ(@/AҊ bvoo帮D*OCL= hJW ǣXTHa՞:7䯔vFo|7ƫg1qJW{,l;a:4 .i2yH]B` M( 2wa3B`;)9Β5UTL璎A`不(6$: Qq@Kxc<C"#XDbυJ}<?WG{#K\=xS"K[b52$I`*cƺ?kA;ҥ|_`,-KԻ"")/y"!qɩ顫SkRVÃNd.Yk{_ O6cά=2Ɂ@`[Wl)G !2mKG eEo=yw3nrH.b?%Uq\PA"k x>p,|U?;F,${ST.))SK^-wXj~*ESJ4,wK? zh#TIBԈ.ᕺz2D%{=K>7j ,iȏëVʠzÅA{.Ջd)le=^7@i\qƒ7+X`Ak'bNF0KB@:t=:縜{@ٿYD}0zGN|[HB-Xx&ڀBuLLO+. +E~>k}LD`Z$*-zD!t1S\ߌ~zHe"b/$HAQY7); bU Aކ S g)!%?[}A> O{e`M̄- ' <f)s1ڊnfy>1|x*}mE9)wV}$@9_9GL8=rLw)MZ9#Ag>y=|cHϝ VHȸ1).l¨{5eRҖpW[=E:ne9* QνGi5XAYluf @kSP_ 'ZeTMRǫgD>1:tZjևAn%s8׳ِSvA:ns{LT)k̶榝[oUZZ_K q9][V<- coRysZ ǂ# #lZ3Pv[uHA6EO,./A7tQ$:kӼ>olGʍ8&JfƢ:ħ;-)˽1f^;݊ a*fjc:&`th9dܿYvwGg4bf :f5J3zBG ?p-ga6p2RX8wk[xdTM v*bMEq&9ހ|vෞI]h&ݨ8a b:xa?*e$gkuZE@z)4,s_E 䚉*cD &\LdR+y!KύpV!_U UEhO}_^ppc눺H;HyvH*3u=A0ύ(r"*ZA" +}:.P^@]{{6~X D+4|޳K )0'5:M^zT]_߰<^/q+ήޏ SM5kkٍy=G˝w5>}^ ;Z4X3H~ٸ*mI:"8 (42T/%䊙Qa _bԣZP"M0@ilh"7;B2~)(zHMbլ1 "L= 0*2⇞i9}M1"2|Wܾbcȝk5>j:3u*cYxM~k̽q z޾ (jł5"\C8,k~;%gB WR]ng*|<^⩿U#Wy}nr ?aÿf<˓ZB5SzÜr,ϼ]syv^YIWS*X`TaVg)J*<`lqMv*} Fc i I]P,KN'2_;f\%>F C|$6s2z JvIFo;TG [/a]FR SҀ>0#tXoo]1=_不#ptt-B26v Ԧ4#ϢU!2V` s/Qv>ĺ^;FK+rE2f>$ UP4cnrꋖ7-&ɓV:5͢ٸx9JJW|9zVS 4h :!2l'{X0PJWڌY-xuxUb vvEe/JlSޚ drf&82\M8D<ů:.QX g\m!X?lJwHӁgO19mhhwT4~'} k0Q[ ^`k8Xچtzu֧X$/ot7i<*5yOCEuaPBV!~=OlX9=(%é|:=d+ѿf(* ٍ`Y=[1BԀ]0^\Az8B7 { ʏ!J"35COIm|<:L m%CN-z0\˨0AY_Q/|y~P(/C#  {a ~ijne\W^gLh֚+ 4~SW+גIO2sQJ,n"GzaNxٜ֋58!5Š?NDv囻 y'<Q E7 8w5nJ6aou#י~T  dٖip\`&c|n6Ylr3}7_oYm-f8`7oV섟6FZ: ܞHZz# V{>ŔY "И,f@0bכV)ŲuTI{xO$,*+ڻ73ٍLG ow&տm}-++gSԐLHڋTVh|,_X82`MO\w;%3zl&W/^sX;Q(ݡA]h@ !1&ϩYQd=LqMz*B0+! ]$X9ꐭu̘ԗmx9n(p-6V6V ou! M74i.]0ho/qr51)(X`'w@XX`];3C3%'@M*+dh'A }G 5xKm)ҩvSh<-Cn vw'z}4CTSuA?9n-[*QG#~2 Wh[wG'zk'̎biZz2#eqX4tͣ<=˱o[LR L;;s@nSZ85edlQ4L􍖃;F/zr;.{xCSo!.F -T $w K&+Ͽ+ZcR?&Y>̽l \[GČ0ruBϬ2RG#)^ Җm\{[gD18g-)=3B20xDm|HSyC0Z1F>/-!_ӋZ] H\=̱`4hו7Ɋka=JZFiۻKfRkw>"9iF!=#n9(Z=e9ټ!ye_1@s\.q(4bEypBMv\tΩ+Sӄ;dgE6&1}%p(q}e`Ɵ (= )lGU0[0䇻Y ?)y1>NS"ٗXH*>; vZ>.Lء}L/J7Ȩkv 6 U>M[}-ߊ~@UIv[)[| \>IJ^ba+S)EVk9V߂.qW/3@Ao,ԍ.0g~B 67Nj]f^H9pgvǘ/Ja}WpgZPmI/CVZx_Ms YآPBu,d4,#R+ 2,>Ɠ$YŖ3:R'}-OkjSMW>Ӌ&->BՇU{yX]C~oǣ9Yڊ)9虱غiDGp%y1F^exL7 =yX 7e=xP;gZV'K'/JeŇ%}[F%S4˗KJԆJ6՘'BY6]}4!ڶ-^NѼ#.h@\-tb121%k;ba:rι5ۆR=noB5ۨixV[$p%c[y_ pz)7oK_N'&i?*X .VߠRz]P&%oFe}Pg/޹ӹ?1t`xQ$$'hͪhdcqP]- 뀿1 LO6aP1,b?o~[k q߽>=VEj[c(!ʭDÈ7pUU`FUi&=Vɾё.dDY]|zxWj&tP+4zEgh/52D';NQ Csk@H[v<)e{3DXw{o$a|au&ޏyS}NtaHDnF9=8Ipycʶ<ޑS ҩ^{B0Ϳ8] xP (.SU5{ZOHBmLWةeܪb Wcn:Mms!~}B] CsxjsQӨܞ RfL "vY=ӻR7uF!NW465qd/=YܫYvaq(yw@QpYPB*8JnXHa&p?CB{zdq a,kU*`pF?+z_l^8Z% "_Ov rRx22F{.LG\ImQv5q^ dysC _l2|61{Pw%Xm﷾ϑu袲C#<=IEO/>`ԋ/(m&~x(Ȗ<zbNT?~:ۻCUMsX 4 vٞ~Qb鲣Run})[~xI{}7|؅A{g5NU%nk c?ůM\K.ps/F=f;P{#VG*oLA-iO]icMW42P]/ƈ [:(WhƠC7H;9o $fxds9 u(S շ2`6B?jw;~* ^lRz%jPd-OlGK֧HI8f@!kcH|8BYM ̅m=+kRB9'nv7!Ÿo tk7%=p_x;fhg`ЊŤ*7 tz(Oh;|gL3\.eͪ%]d3Gi~vb{I-gce%N<+ 7!q`+ح fEubZ К?@5OS쓱؎XV Hy~5vpk64AkrV3⇟`3F叮e#ԳMnJ E{; W  /D&3)Cny{u^]IO{>jj~>cm̯sm Qc 2IRagE:F$["Ubfr,9c^ojvQjX-c%3Q+Ks,Sp(Rn2mJ:&D <?Sl.m"vL\nJ !и@_#6G"WjXu^^k!8PDmSN]*cs) Sz{f8q'ns sYuE!Uؗ2.WV0·^Qٯc=LPr+T9\C)̢qi@J逦sÑ9M]Cn6ʠ4EI%BC9h,̨z `^T!iRa 7F]mU !\ C<~ 1MNtP#Zv44*AOiD!=-%כsli>:ؑ)f}d#{ky\IƋ\1Zq&g7L`xG6 Pv* /XHۦ/ÒH}ʓh!@kb SWفDn9t 5Gf(Q$%dL}7ߊBX5ɉT\>i@ʹs1mxxiZۋPBW ˵$uCtq KSԖ.ּٺN8ɝü7քcPAn#R}872to` ba"^q?hhJB8eG%V{)֕ (cόT>i>{-ܡŤB=hOM#pH#ݿtFfG/H ¼'FK_S%S0(KsJbQjJ,pκ7Z`z;7^j`#>xVV3̎E!xYВ_R&Nc&'h7Q|?nPUF,Aj >.%wH-)l >4*ЖޖQ3DqWn!;mf3OBTupte; ޶{ NϬ2W-ȱ=Y2㠬M15-kU;D4W޺~src.Պ XS Kr+98ݍXk v{'F[( W7GiG$[/sXۛvݍM-?ş#]PܫJߔ*9Ni."3deBw7Žb:hN'gӭ"ϵo*ÖUtLo?+Hd ǩ*Wr, X0Aa //T!v3lR]跌c8jsQ]׿WZw (.QM /+a|Ds:2mco8=x%(cE^E>s*CQwc໑f=o<7$NGSjkqty*|v:k^h>0~ cBuW0/^_ 矣+QLGP:Eet(y RO>6nmt" '*6N5m%ؔ@x/Qեۆ=PPP_R/JRQ;1 } +3IFHUC bz qT8 hACS =ŘvL_f|8ˮ l)U?w9!r(v߮tJzhE1VSPyqc齶1f>V\ՄRwD {elL([_ "_$F̔>.ڗLՠ \_|  GZwWޫw0[waOmfN&8 FU}; E Bw ^i'"nw,5w!`+Bb0IVo{0w2e'!K_n )vK40A˝m7ouƓBz =#Gtv#ɻŽ%e#(_wv)0V噡_P&娩rHӬ23{a"D]kAP2(r[ؗ$#tAY(pjϿzO8>{:& I<*}Ne7UbHwĭB`d*z:d|@u+T9a\)u@8GޜՊT䫰VynIxvwB?Ŭno+K}/}Z<#يΑ KculQ ⳈSDyI|;çeN,(*,WQ*?`^ꔟT7,ܭ\ R)hΗ:  I`2*Re~]YREGA۬nzmk=jB)F\%?3TDV:1vvX*L:<`fǣe. E}o;0{`H-Z͏ﱇ3| |ط<YBw}9M>FW"`0%{iFkՌAĨmܳ6oX4LĽ s R@㠏LmUִe_טAo ϧ( ^r/7&+4tUYߴ[{`QVo6% wa3_3yﮊN"/M .ͬ@JSE7m\;1DgtT`ɻ>}Y9s+o˚DsSiH'uQ4MQ?J.۷Ϗk^Wd5ZĞNY@n`!ȫ:,y}+^2LXa mGc S vZVu+i1%ǹfh11uo{=#, :x h΀xK+1t@DZvk oj.=)!`zF@,tzي®rweDܥ!UR4Xhlz%^suV'.Kbю$W+/y &O@4snk *<wK_K)"gl>Vmn28_ႎ0wA)M~E!+WLa62T^ T'BWy1~4kH&?Gfiz1+mulHŪsW( K𡔝K%{wY\1iLY AWHVIH6v Ln9̏ &yyˠ%#&dGoc }Xg7]2sU-~lh(60'.boȽP-{d,kK#+,/]{ QUcU6{"a1r{:Uɞ CF|Uv)wQfm?9/s%"\mK,!:>Ga9`&iW 7 f"@ ֬'^O";awLiUMO)>"Qy:|tEpy  dVO8qq5J#! Ц!0}(Ce R S{L\'Cu TŖla;rV{n աFEu}0Xlд.uތGvI#'^*~sr' ?TƼ|a)![#ʽA3totEA>WN ɵvONn Aaq?`A>}݁1,pOIz!Ŏ Ge戯QÔBl-3PM$^ !Ap*"eq& s/jJsrS.KF7Nw=lP|.MR%V[0PoRoEGsWq p#$C8#aS:z*"G$"w1 'K5RcfQĢ.tAl ʼn΍dK 7mA259ʢ3tY=&ۥX{tEVCQ9Jv)3-ϓ? k+x lZk}k>f }^}E`jF@q JR.v=ugu^37VS(t+lE:0^Tԯ%( `^'//^g.Xv +&$yh,O:pSQWue?JG,9Yu֯.:UұV1rj-#IS'o%vP]Ϋr՘t%[`KIuJ 5|k_X87n&aKWӳ<9-KNmuS;E䢙0饒R'rwFvVᑯ6Qu2c o`6 r5J9SPdQe^U gy:C R|c pU&eb606@6B[nLccm nNJD[ʯsT/G [j FtqwTYRf&?:%${0]pq)R8WDEJ~W =|MgZcF>*o*zju+I1ǯƯ)\|Lyq=GL*seApXМ)ktVm_R]Rp9 svX|c1;Tk{ uj,@PyൊLpƄ2xF I<&@[x8#UrV&"l 0?aN Q>^?{n*DRB|v[cXGXgEyHM YJ^zoІa@C|Pr,I tCd}IgոgeYo@4dsdg5 qn|50KtO1coeťB"k> m[ع:_])ܶ>j& Xf+­2ұI[.ᨓFybv =a"3]Up[jhk%Ȗ1MW*k4ڝVD9%jӴqs,ݡAFC 7!HE7-l*>$7#}.U qR3T2 .Gc:Qqn@g螧C,x\[S2oݤRTګ`?1N҄M-fn!}[rE4ӿݧs/eXP`zRF$Żo;މ!2Yvf rs`LGwOj)OiDAج^J L3-j` Ŋ2bf,a;>na4a8v)F4DigVab?ˮPx* G"+~ݒyĭ K3QW;Z$S `ٸk0 yX)6x)',= b)6DNuΜ,R /I]  G^rD*t Ǟ\L 2?T -&W9e61Z xN}Cɭ]9+"@=qt %kjcZBz }0&@EWYfO`H>t_J>ULޮiwp`.[6WGACiI tYgi< qu.]Xh!D*'ֳ>3 maٔ.ŒD9N-OE@0u:A #.:E,1v#Yo8mۘoQԡzLN_TqG ~ZNNVe-7DA=i&"CL/ @<|CcBA-ݼGa~]cxJgyEܭrLUA/w0Fx 2 q4vȠR ]J.UfBj1)vNJ \8vR\5GjB^S|`,cER(e|$lZt$&Ͳha iLӆm,$'Ϫh:#H\l]Άxʆ5.f-9 rq92vմ26fܑ֬h9+̶=Xadt,!#o|rHK c9Uc]/ A!/Da"L`gVTmeVъtQ("[fVAo5w0m:{{wDw[A%ҪT/k#]zFc=Og7"l:uR|K:0TY-1 : W?SZ,|7=bvJlj<'+!d(uRa %M -꨷#@yv=Ht.+6$=p~PN3VSVH*aͤ7iɚV]=-Ҧ[/M#tѡ6U7BW1v-p'}0x|vUz`'ADBχ%`E8yrLB(LyV;J wlBWWlnz ն49+ectGCpH;㻔dW{9qo#r֊0u4jjTU(d6nKd\3aaaϜ4N'@.`O¸tF; Sf0 T ]n.&5i=syEb}+4-zFeS(T;ۏݳ[HDPWH&h>A`J}e@#R)8/{WETZ#K57gɭ|||5µtP@.m̾Elw/ps\Xm xZdY,@3}T2ؤI=lx;Y ԾV(_qዦ@IFR+>DyZ퓎yy^}&q?!a֐{11/@uԋqs/ײjɆ꒠vx?i:W0Wbq/ˀA #CQ;ӅAy"˗<-PZqì+I_\,Sw1ˊ%i @1FhB[wQ9N 5 :{ReLaykDLOe.D?B2J82D0hBE'XjhL3-";=?7.)nUVS~xE i>zUE]RZv8 Yr a]zPR r QwP#GԜj;'9Ɗ%|dyzKcϯ\^S 3]fkHA_^*N bqKϯ5M FEw3殧 Loq BzV6$zrERi=(U_N0Y7TOLd`^GЊH6ho$3 @<.ݝW+&9Vb.PAjtٯ,mbB&'|_ZdIֹ"/LX,x#Bժ[=##^* a25 ` )']Ў|gYZOM]=`#"L*$zoSS&B"K9NvSK>HM1V3B]7ux^->}6"SAmlך4s  ~ޙ})2_ SBJ _~?rUw_V.J'7I2$2!uOv#3Mok 7F+P}wJ=4{ޣ7(\ Ug0?&]F߱J%gap]|:uF %ci$x6pw|߭wԂ6W %fSNE8+t3s}"lUu *aFFʕWWeMW^`A2~XWGw@Rt= `R XO!$Qڋ,QsI:fSTF5JŜ1n'!7ͷͳӕ~1KG10&םZ ad鵠86Ӽƥ1d` k#Pe3X&vR0@SnCL ;S ɻR)v8g UNʉ}Ũ8y"x>-@l' &D9KY-$A2Av]kyv[2c%Jީq ڻl멯yE ܀53<õ8$Jz ?' %0pq LxwJ.H*B揭3#۟bߞvJl-\;2-91ZRzIt04w?1u0 RB ڄ wj[8G ݲR{4Oت)y'0Px!٬Srd0Q'&1 d}|H٢&.Ys/5Z0FJbQ8&)_DZT=2C4h; 5 ݟsEgI}pSB?̟ .yHrm&$Z:-+4ULAanF93> o\A|boW rJ~W²kAA!%/G0lG!Ӓ5"J؀~~%5w BM/’ rn2en"*UC?LtA_xpkqDW2x{ fV0`2P;Fm ȀF8c{iޣsP62k:M@ZM_Bu1ʷs_ S0P|00\܅'`87de:WQ1h.Y,p2Ui%}>>u!/-q)}},`E^L_^?rʙ9K(FVM-e.BR\;\/I?A8yV3 Ye-4zXTm_zm).:_'nqj lЂt߳ӃϢ38qwT"&^1E=gx({":E'mR~y"+=A <߼%as濏sXN.IYGl#,tVˈ| >$\苾铑]kIoBMxydPW//Wr|T\_z{!orźGoxYk9`>ס59FXmEG"źH;թNmu/3iys>f3| a ZJsLz?o Λ6m " .:B;my 51bO]g4ݮg%ſFBhtcL1! |WYh F*;u1B)#4uﲖ@>@)5IyV-QN 1'q ;g?olGe>2d`~G*j$/ i|3l'wQ2km<ׇ@'KVE:w`[X丏akҚ bcWqdpP[ezr;bM"_BKl )10z@ [j#YR!pkz&F~0{bݦNWcYs5UW93pⱙ9.k@Y [tOWB kVϱ_:cn p _spxC!mީ~RndeȜ#Dgܠ>#/8kVp>{eW]bՄL hhJǑlqDOToLaC4Ĉ0ǎ?N! > KS?]aJ2 Hb bN~fz'y77Ozs͇U"4B^G NSAt:Ӻ!Lw\`v̧qRx(Kk)3 EҽgAr(|Mۏсn %vJT fIfeEz@b2:SsK6j;G*暢p^x:ft0} "wH9>~1WOHVR-iZY vi`#,4PGw0CSFA(lljaDK2^![R=&J3.$K p+scXXס瑢9y`(vv =AXf-6/&\_^$Ňx+Z< ‡* n@Z$qׂ.1M? 7 L#AҒ>P"HvL8m&﵀ņ۰$tA5_c11cogqK[侐LBR#f[k$FA\zG0!ђ:7ҭeWw/!0`KA{zv, 4'q77J0.b/*y cA@gf0;|hy0q#"#,(%ɯ i +|֖= r,7!YG@?,_/B5J~P`FJ}![43dGB8gLM&!DPj|EY>h=$H)wQ1"l@+rS&쫾T1?b#Yã5*blU$ 33|#hcm̥1Lj Y}nLJD\Ș [a:`9Cn?+~Y@9'u(nYRݥ^QQ= KY$Z=2RVME/<$ɟ7Ĥ|ʀaä?Cf>`~|sr<71zv ` 9/r_|)o M橏  7l]ݮ2ye?'_+(}W7δK |m0v>Ϛ رgYZ k+# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?;@.I#q/WnMoXKd޷fj~mz bR n8(o4ReXk :D)@_Ѱ#z\JQ!$X#!nr2Û]S[鲘F$Yuxٗx>Tp0 ύO$Hn,+ B=ZӅ hT r}Hf;N9[Dh"ggh҄Ep|p@;̞/5\f?\fb3DSUY!.XW${}:fZrR )?#T>Z#Qi0t {1~a`,T&g_W_ܒ0r^r$!^T5Vnsf޴#ф0]i[pȟ\_X'{|H1M{Z$ScnL5,`${jiF)~Ai9hܷj܍jK[/5R*o,5E[.%MRb.u]r_IC;q:V߅}FȁLhtNHßqD'X}*maPp ={7kRȴw*!٢j?'dopW-]9Dx+ نGJc[/MQ滜8h/ZݯEX'1=Գ ;6*b+`ҹ}73'A*4Ksh:Iqw4zm"qV^D}O2'Z|I1˾FՃ!]l |<4\&=;(" g^%>æ[v42L/҆sN/Fuk1 P:P NWcLJAC<臄.=wH/y9ϡCE5oF~;RL gtOĂֳLXWr Fd cNiff'@ -tꯋNδSB4YH: ˗%--P7i;{A E25;]`{&ad;|dGPA\dKC}RK#ROXy-2FB>^JFXK݋%.kfJLL֞8oFׯ᜶?Q &;Yƺc0m7 yV>&tz;^*OL@PaH,UNA@_Nq :Q85> D NuMY> BS&=!{:,H޺^k{pέ_ְUo4zh҆*ꂽngpEPqi_ndDiN~[E5+# +H<-qCP1qASJ/ϧ oBH29,,2gjTdQgYg[jLPlTADZ0rv@1vK0gIlP-/:=_ä~NK6)6 _=rȭppl!gx7oO%Q j,[#@73@[7ՅmPK"1$^1”G"hC(EˡCbsJdSQCHAn&9*876屛jN;]s`ꯘ^+g{K!8^V_dX\?9v>WG@HL%'Bif@5`e`́[ \Y`ӎ`aQv_G?U# Wc@CFŶQB/7JCR]ذk~(@<9͜6x 1z`џ: P#~I ؔVAGޭsˈp./:FrD6c&! J:4Wfrd&R1܁kZRC!.(DzwwJpVwo !W.HɾDR'&lP\X"m @w@Ҵ}2Lr]*TdNM30mǾq9C_?E!fre$0g10c)Z(.{,`4JJqf(V M]lFƚ<.p-qV]W"}bB6ި@@C.9w7ro4}Z)D#L5IJx Pnaf- Vg,-LQwfq%5qB81nDqĂD0#rI2N2kcr.n:ܛ^[rxn40Wd E3!^lw\1e[Ƀ ="[e%s>A0ldlVkpFu]&U}?QcXsXpO;֢I(?-]|F~ˮ@S%q˞Ha^i˯ޱ | j>zq[dXJ< BZ3𼹏lR!W-\BҘ_<2 Q:Ji7?dX$5'Ŷ\:VD|&xby1[ t)iGZIpoaCF'wtxПGI!>uۨ[r!QrBNU.:T;cunh!c0+YJI2BvOe(>m<]oEv@F UoED,sNi.~LRz.8y5U$\oR.љ9_S ΂06=lVWd eR胆ĭ—dOc} 4 ܖ<"atZ[%XsWł 7#0J=Hd,`1?Ri5b]r, o d * VoC&+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy1%+-ZF-InductZF-Induct.ListNPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׂMռ(8J$D+ӎ%r9c?0#D.?5룣GzbrqrkEi@~|Ž0MbnS8dAWTa< JzMQHSuzM*:8Bdٷ R,TYwܕ8_T! n6C7[D^QlMZTǨe)?vqgYZv#9# ZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQQS;r#M@ѲU͋D M=Mu."B9xw(Vdt=U˙ѤAR>.qx(խL:ICNtq0K[~©ŢNI>Nr4=Xd4!^@M0Rh;o0*aA!'-h/y.E"0|UC1F+E٥dj&*|>=rJsH^<֜wj9#tl>߇L$we;$>@W\]x[ Gxeb \2DXkvk+ 3לݲT̉@hx"NT mDO_ 7܆ű"R!&_ TKO5] sR;KvRjHݳP6-qR &IC{Dץa}*Tk~]C ~Q-dhror`=z3fUEpn,G~eni'A* ֑X'SH_ ;HDOj:\8BYb`3WCF$~NDNll[)\yK؅FQ=fcnϙaQ+\B-'51e`2nvg c")}ב\;sWڎ(D+],qYܻ!Zj'*G ֍Y =ev@0 ZhXQ1²Gpv8VCt::cM2l A#Qa4&?LhU9Pe:)0K~x U"+\y[C R z]D%Ӽx{߰`E\h=zl|RfvGcg)^;{B:Ϡ\89)Ș@_Cէ̛̲.̍hG46ȚqTjX1P< +.<3tЕS?# lR 3w1ʉN_*H_{p1!/Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' dZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+)]·Iq n[:|&[z0Xz$DڹY1 @H6*i KF@"! fd)]_ odwmK E!-pak(~\1llf&]*P^WO]r8%NO@smLψmnǧbw$*mQQl!YpWU+l;?D SHAv~9aB.*@ gb|x&S"P5H.nY/;Р&X-[0vG*H/(G?lD$LF dD(:R67 *Jii|Qn[eGdVi`ZSZӠ7Z<>p΢Tʯ{@tOa찧5dy`>HV] ƞpWCy1%Y7,CG# Ƕ2opD~請^l&L1 w')<-ZdE_W]_kR}ȁ4k>#78n `|<ޛ 5Ѭp1QP d6u=LL, ZeG.(o(|,77dӰ ? cG~p4/;}JFtZ]l>Ya#&sSFsˋ Z.ۅ 8,DX#̶+b !7 QI4],[.+Wd oW\$"&ٜ G3`5!̪<_RkL=̱gYZѸB;JJzRG\פĭQ"_4+6f@>ptJv*g+8q h(۟?)N8dUsfU|_m=rfUEPeu{c h5!HWRJY%mR-Eˁ}׻'}9!Q'0-&OΐlmO޴lkT-wJ9͠b7٧k_IW$J"`R7z47mrp{ e%yCz:y/E0%UfSt\)#$M Z5{NykVsvu!0TE||v٫~ƨ׷FzDWW2Y636b A'ۅz-j>ّ \h<-u0@?<8:-{M oK S[V@=x[A+fI[yf([LԁejuICu8d&h6G +5&`Z) s^g9n!UI\u}Ga^|U(r?s@pmB4w}3^CVlOGH_Գ?d pbR> \-& xNC{:hP>6L6ŭk]ds#}Y1E]Į+/IqRpPēhpSYHqt9i"-C5qhsh zِI8AY/y#`5UvDTM6:ҹn3GbNݪӰ܆1OfW56XپBqMßt.A_I-@u3i" ?pjX®_8]h5twn[Ue˪6NT J2s4ٌA$\u*shPoMһRt/#<"JR_DltW6=j4Pr mVQO.MY\i.f#1eW_V/eT^3I*%LKm^Bx(>t0*g>0O~q3\.wfD1խC^k6 ɣUHc~US <{ Y[(poe4%@^tyΥ/6B?n^y3h毁f,zhUcѿlh.ԭxdGz0ApM< !Ya2H,8_"u PI ͢J+S%: ʋKy2g3KjQдʀ[8܉_c/uZvMPC{k.Mk)EѤW٢KNw&+2Ca: _/r7I4iB 0E8GL7^C _F3qS֑zK_4Y 2@tϬDN2==۽DI/p?|^V|)~DNUu>I@D8Ep;T52Z0Utɢ?^lR4<~E5笕=4'սb$r;4Njd_R._ ۚi1.K=C+uu3cZc\\hjf+#dlOD\X}Ix=0c}'U'|h` Tjs7(VsHq5q^#՟'Cq+#u%=Ӌ}[1aM`XfKxݴfg6xk]LTV 8iH1m'b}G[! 8IUkyXWdtGeS{aځ!M;SPspGK95@fTг OirIb-ma %ե)?P%l;-UqkXOj9TGM^$?\Fl_OH?e29`N x6{e vq[#{RL/M#htyP`09|˸Ú萓' OJ|o}"Z  uCUpƿ{nFRB*pk<;O{pϟ/:X#JP+?ѦӤiۄ%tZ۰Lp`W7yX;s)yJO}'j\U7YGQej5@+űfԸ//.&-:I$cwU'ؒħ9bњ sq4.+O8J" VuM%p WNMl q!V4Oܞ&fi=C7qeMv. 6_ -Qs? 2!Faa,g><ϱ#F׬<-bHd ɅPrp@k;AXR1ؖNu#Kԋ7Smc &@&AK!*LQ-'f4coO딗Me, g.gYZ bb'+# lZF-InductZF-Induct.ListNPIDE/markup7zXZִF! U.]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CWq`)V wf(eNrpYQir|u͒9yp网) xCJ b 8rOs@->wDd |+䃜$@iaRq;g{;o$,o꼊--+w#x6 p|Vvc)f=47m^إ{AWٓVf<5K]R.FS!f خb~vs[q,vn[PW^"MP1/SXR$3YKVZb ے@1[{+E1Ba20/IuJ+vw8dof`iy4&l"Sa7Pw 0.Q6>?go5|4۔ =̼xC"5=ĝx} ]*e6j_0lx]^UE"o{Xg{d^#Qj, HŠp0Ӓ %P/>>'-EӸ#eV,Q{.,O&>F%AP*t{ŝ /`)[ F!GC.Zs~;mvwRqYv{g<2R kQ[aޘ\L]f?u}Nb00A<)ԷkK#&'ů3 OzOk혱W9!ʤ"=@%lOW!+ 6u._1I @ϱ08)1[# p޻j0|HYE tOw 3ͱXkW~^8[#ޏlޔ7Ԗn*ݏj2 bv=;R[A \ OÍ?b6dn"fCv%)m#>rX1%ym & -֣]܎R`.R,SOx67E|E 5IjYq7i/l;ܕk7'x<`( l|(un e$ӗz\a*."|9ㆯN:t|]J'p/ئQXj;Ֆ_go#m,ztv`ڵiq?$]z&J}l?!t gwe_ ~*Hb3Ct]yXZʕ!`P?Q\l1(9qY f]V+졂92hUYj9Hj2x5'}pz7B}mʐ.T0Gw۸Vم~F`($0e1D'|gwayKreإ'2ȋ^:'㗧j7m$~ ##gul,ߎ<d,MυqL]N5^rpȾdݱe},c{MotNWsO'7F1[?A 2v/aSqr!Xf? HYAT;Ef WP^W-+#ͬQi KI)CS}6Q@.W,j>>H^>(t$+W]Z@B@eg8PF܎/:޾ƅa4\ 4X50um6alzX$|'Җ2X0f*\cf^#A ;ҙӫ/3> 5樣4̎jMm`SH_#\Hg\;y8u>y_{A)sRf$dO7 f5 "S@GeaC B1hh{均LflsWi"Hʺ? $_t} =6Y6EtAtm^Q~hWw> 9ok.[ J{kh2kP-9QTsxMqS-BB|Η, JiH :kW5*⯧Z??EL.OxvJzp6nf d  1}ji۳PlӾȁ "{, E;z1 皻X܉Ϧ(&>?w7l^}ӫpFhNq<ѭ,S~\BS+X Л Zqp =z `%x9.I]#/h-j (pJڨv-,l9O <dey[րMPPgYZ N 4 w O^N42/-ZF-InductZF-Induct.PropLogPIDE/document_id108W1/' \ZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nh]·Iq n[:|&[z״F*-ӛL?Tqcw*3^qR9S]g}TGt^(^v Wc2('rmuW/5i5{}ݗ*\Os/eHvb/ kiAH>b_"\@%C nmj|o"͡\߉kVW0vw,:]AOƙvD&grkx8=NBFna,o^?_t~+?ѳl C+%L1jLh%~!)НmpCZrL^T|Z2+fS L [dcb>Ze1IZ~$T^t3-͌iJC`3]|M$27:Ooٿc/xJuL.~U2Ҷ`ԲgX-j.G;vxiBq( ?)3>ZR7Tuo[ vf*)`.M 8cs$)?juieYH քf/mѠv7Y! 6Os_b}Dz̬(.!._gi}zFdǺVNM,MA/byz gv0k7Jf5W㧗G*ibhʎ[] Ejw}&F;xMu :#,I_1iXKr؞(]67+Z]fO-^;>EmmK 3A}֋4b765m|Ž+WW囫bNg1_V䱨 \p=8W:sp{3Ce{9k8lV_"r@@,qۆ.&:tDcyV7-(a2]ig0}D'?0^UYNM+ 'U`ʻ~.2َ{ Swg0m#}3G//!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3./-ZF-InductZF-Induct.FoldSetPIDE/document_id987-/' ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GH]·Iq n[:|&[z47*Z\MC5+] l` .ο*GLhTL >BY ~)؁iYs"Ȃ@nEy9F%Wno3KGwb2{/=Ysٖ̊D/B;6@VؚS06Bw ?"JVDsDi_ ێCQ]Q xb}Ttkj[Ї52_!Fc\((`F$a^YsQyNnBpOMOMqyh5'gYZ],/# lZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*n]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM+7Pd2g&b#w ZEK/V>5-ҁ"~\@Fʜ*7㐬dK#dR1B,v>?"rVmqkK[O LpX|?u[kM7i`r <?@j0J̼D6J31t]ڼ*He#;y cPp#i)3H5Jx. yvEM ր TOB1}mwuMn2G+/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4*/-ZF-InductZF-Induct.BrouwerPIDE/document_id118<)+1"ZF-InductZF-Induct.ListNdocument/citationspaulin-tlcaI(+' DZF-InductZF-Induct.ListNPIDE/messages7zXZִF! {Y]·Iq n[:|&[zך;jbg]Gnͻ0ц#H8q^1CA쓙E@3G6><28ȐoS}徢d^c\{IO5U9p[\qB=1 l+XvEڮ'!αSA"QFI7\׹DsDTWt/$.(ƀLmFna9Y9E0{p9'6x10Gk}:1*\-q==;.4F0Pх96&c(yQ%Wkc @v7[tR. >8?Sq¹c)CN`TկT +5"DY:|êܶ-j`fOdoπggy.guzX3ˌ~xIjצʔ|n9ǽ*rO00Y"[qid?A;R:wBLN6c{Džm6UlC|BN,WQ,9aueV30tmoS R;~R uTsw*QLZL/H@XcS$gYZFlu*>mYm4F^pԪd+:? , )r13,C 55 mgs+ XtB 8Xc8glK)c&lІXl#\F ܩ-ۃWDUxC7D yw &:̏3[EZ|m9TDY*&i6bJKrHk ߶&g%0NV=#j:u{Y]4:DHV}#Cx;I *RW٬OY2;\NѦOޟ| .2wK} FZ5~o]/ Q)  a^~4 IG&ƈY+:4(I~m‰IRyI4tO LfuQhrNnLEdď~A00"XesaxZ9 P%ԪԀ^2|P0 _JCO\A88ldA(LQ=PGVB^_j5]AnO&Y q3"eys& V[?ANzJƂ_oZ+vi`Q\a XZA9jƒ=5$e{!Rf |ϠIJ"aFQӢ%Q.dKPsfߖe#x.#T ( 4S+sG;/+ƶWʹ{e|ۙG Eyw405il#U>M=nڃqDi;s͒cnyq̕ IPobԪ<Mg2Y`ߞq{b6`+ #'VW$̐+'# ES¨N#}UM!ᵽNUc4xڪUב.["6Uʲ|@ ȡ@c F<©O?ҏ! 燤|9v7X@s}I#cs bc |~0 '=Lb*7F(4#R-YtO*`D'21#NAqpcN+L=%X &k7Q yΩՍùh)S\8)y J[0]ԣ+2-rC_H8Ci"fZ8vm.fbme)Z|C{?:钾b.P{3a~͵ vof'uLDq~ttFl9"|t rˤ4~ U{saSE>b7{u ::ձcƒQK-`PNtDV"+fL$pr(V7YJqYvuhB>0#m\ˢ\SP, 3zҸO']!?YT]bl|wAEC'x`uJ^NEz޻av!X(JZ9wS> +  arDDtt@dB\Ⱥ'=q PZAF^|}Mbi~X/BzYlhKJ:{&N`:(Lj3IOꦥù 2V[2.D8h5BN "GT VE9c9KhL4`O*V֝bD%峘nP*6}ߊc !G 8.dJWx;x>|:h{R|r65>ɧ-mMxN1'OicwV|D[oMDq/? H?ѠWquEHU=/tnּCky>5j?.S_EL$\7JZ_ J>TkAb)3g"<[E3|ΝVd!U•3Lź ȥh^\@K0 B,׋0Z+JdWiElMOLyσRns?Mɻg~$ *mpvUIPGTҮ`:h#);Y;A!qaUĺ_e7L1?re\t%_tgl]mksaT[&h3N8ؔQh&OFAUұ^?KdRdUCFƠ!satW^`S56QŒ+c݃6zP"=ڻ}Ro)1yuO+AUa@;"@I~ u's*݀ziGQe(m84Vp1aq #2GMK3޲BKw I8`&#a rOS¨yF&t[PU&8A@N)]B%EIĦ)9roAT5+?mldn s$tyuX.]z7u76CD^]0,Av'*$5Q#ьAlNol79Ix}0M2Ge>6JjW ЭLGؤ.QuvTlg q_G%v\.Ӭh%'g]~EfBoJBzQ%_X:k%{狒T"S9VXnE?6zhJ@(vO)>s[X@z}pOYu֢ -l`~t!W:ȟ[]"yi%(~)G?t* 14ݪ! q7eK$y#Ngo pMF{gRܪՒHĸˣ| yp|:q9)tUr{WAٯt8(H[h bX;obL[_.QCN"Ex}3aF1?AsZxCV(ƙY 0_~{'Uď՛iI@٣%E5<;+Izbz:1y@X1Cׁ֜뗮XKu|fNңsi8>*K`&]9S|ZlnHYcVhqy뾙(Lc3+y?"(OVt?dxNdj8K9@׬c=5DDž :< M-eH1mj]m!֏>b&[ż0 !᧛ Xl_ºQ =d0y;Q2*O(eŪͰnzm6$@裖jqro pj2xf͈0+Т.(9o7g#IgOC0n{ǩvZ-sxV[dF-i I_ybYŨ Gе8 N=/p@%9 BgɇN7zÚK?CNL]D60̛x>"ɳˆ54>St.ZlP-mRbj lw1$׊e%xGHAH3Zpl [> JP7\8 ;\D~W)"$G%pst'V:WPAv1L R#vГms(z U7/GN%+ffMGo=BwD7s%o8DJd_} {Vْ卬r}l';}-(gB+k! h˅?]3=E&q6GWQ֨y #tgYZ4bS_d}%`䑦+׭k+&1#YBwsF0R2c3HgPf)5uFl-^,$S axYU6nczB2ūr-s7Hn]>0q{1|n[C^|8W8Qo=eΚU%!-'N@'m?q@lw~W^Ʀ<5A~4Qv\4#x 4*lKD qʠ=Otg퍯cA{[,hm}@Rf2 BG03Ya py{Ϲ`nJF}_n{:W*M&Iҍ?3<!%2kW"S(+ /enP@ZT4ale~MHaHRs`XcjYSF 8i7_OդMDpGz kig"/Hէ=o: gzM9qE Gҵ;+Gb\QqP<.&,3}ETgH)DlGBo|O4j K6d[_/+lfC@Ռ1Qрy@[X.Z6>NEZ8t\ Ǣ1p 7sϐ~5qdƘsօ W#LYرpX&FnG6oX>&J[B׫%ڽ?q}xh @mVGH_.MKvĒG4i ̟#p\hL^c`cbT&,*" O= u]} zs&F3YEt|d\*q. '۵ VU.VᨓX=t9rj* C7UO&f0, rǷ=A` ll̒Q8i7S᧒, iO6`hjLyϢB'? AG:j1M43X+ڿpP.cG SQԜD ϣkKERh %^wo:;nGMtՖfCc*hRa8'-Z\0_@ZA?X NkCB*tOy:Ths6b@$%0 {~U'5FI[42 JJZGĵ!W雑_x^+ΰF6:0ذi5@1lrSh߷\QM T݈L6ӆm>yg̍HIJF>~WbIGH˗ x!oz.CWsqqĒ԰4s˕CJhM//ae#j(m Od#V-SKI,61 ~ޤ> Sp߻ !W,mX&CFwEC[?p9Ȋm6#ok-ݸ> "MpF܊>eʘLuӔrB۳&`H ǿ*+ơ?6)d6&8yOLݦ]N?˓ft|sq'S0%y.i&AWt/_B"w]*5|c1(JL3}nPni1LE9g%Jp6N_{- h;3fb",N*q}a<_<{gꢹi 3}=y'Rn![8VIOc*E&< }Ӵ{lE?fm'Y(l!Q \_>ϱ[guc,窵R6t^cLhp*YT9DH!Au'V u혷(@:0_wrYW7kxe,= W='"q -F^`4ݠE5-ɩE(M~^A\`t` 7:7/+\RnD[t.lJۥVmoB.Ζu{5 J, 9A5`ÊՔc@RAS|`d(STRoT ؚtX"f1’sܶ0O3BbO>ԬRm/"Rf]Eл_,Λ,ߊ/UG)45ǑpOEi 0K$S2;j3:*L<3D1 2.THa~Bc`#7WVYWC7w3]^2vj!(Tt:7^︷9ɟ-3aYe>d{ Zj\g-G%VT2RKpՋ ֍]f0尽g45]Ȏ"F:3)#iy @);.K0({/RrKP`9>i6ZIXZKhpl] uKS`d5=)^62LM*tx]xp%Nq[WUe=J$?+ Sln͙~gC90}&#)]G3"\z7NzSv5S4H"@Hڤy= Ks`  ]z@q*v՛fk yu# RTf[?gsl5_ m:|=l cyXMuM#LN+)<uM ;V'6k1RqKT`†F \ȭה,1Ar0w,ZOq6Ar,1FXk2FO܀|PyǹG{tL0򠲥KÑQv<'xv;9XG>_p vU1U~k>U"|Gw>v)¨EB_ngEM;Ɓpj?" s dbv›fU3*CV~)8}dse LR3!Cz,h^Ґ~qdq28?=nn(K v3u[`c1Q):GB&R %y0Qt27-ÿ zZk+Rq?J,-es.G+0~o4y/E1j. mK&:D!u%ƎRm^V^V85wXh;n=r=Z"41Dؤ.6aP`1՟n2ۀ a^A'JYwnEb{Liڤ_ g0t lB',L d"&%SF2x׆K6kX@/,.pko$Ujڼ @FbT D?GᴠBW`fxwӼe2 VHq'=*jVŖap(87N0UmnٚP6^ `ι aѸqu5yq8ȢSTtKx(Șm 1ȦqW'Yw-`ahم弦}36gC1-dBy7v ᆢQZ$cOnvx `dosZNNBzUav4hN!G3I=me/u&b: _܌ekuJt݆5 Eq^T"0fy?Ѻ38HЄ/K4O%+ yfz:UA;|޻{g8Oz0:!k OxaN@4RX(;\zwH; J~)>%LtTp}BGr2`-/)8>zcXETrNY7$)BTݟ0}%1ˏoi{\yM'@K$e"Ȍ ]zX UlregTΪbdmQ{Rn\<؏F "y(_uV3Ȅ7zd[6 a K 'yA0\KhѪZ uiZ.N/Xգb-is[iw5¥n"UJ$3W/Fy<ȉ\ECͷHLK{n: >j,@S1wKTG8td\t·}E{Vj 3y}NcЉC/S mc4lN-]Q}TU(+e7!I<كgxX,B2SM6jS?UQ NE ĠL{38 6P uMv9ܣ#J2UQAhUaRZbdBYySS: [޵:7Gľ./,R5YHS90֢p)p}qYJS+?Q!"@[>xv@C3c3Guӣh1mzg` NAWS vn'Vy>F2mTd3 MKڱPQZT 2,r CK{nKl,*<7k΁ī{BzozXH8S~rsutvv|rx<ܠճo`^Ԓ JȿfjEx.w?rA!p;wk+uM8hf]Lc @.g@<ɀCZdMopIz2 p޵Q=u[nH lFCd03Qbm~۴?"-b8F`f1H$ƺ 8rM^?U(p jCmg^mi:BR~DhH܆kG~mt—=𫎡GܼKJi d˺1sEV]N5<=:xtb##qJU+MM:DY@&VUjq<ba3?ݫ[xB#,wkzUtÈjX%$*eQ1MGGJ: _; 03rl޲Ǜ"C2Lݕhed,-j"DA4ڻ#vQpEu8~ B#R-ۭ볂rA@)k ~@3CEa"^le'<+njbd( E hJS"p0j )YCq` o@-^H:wO_mT>"v(8xɫLWte鑴? uL:E1׺6;7})};D:xQ:Q99[C>˒aSDP cX4lU$xWd>:tLBAzcrDU(u*8q]-sG.Ja|6oȮml2{`&dE7, #2[L L(1!}<87z-kp: Qv0nK%.Y9*tܠV؍gdDtBNc.4|bI)u do#_e^ZYښVӸa Bq oPbp90OWfd;wOQ4)\qH- O*!߿\5^.nE h4Sm EŁ*!1K ĹJe^749g{umyFlf LαJՍXDCpffFV˻+-J|Ha iOAbbFEjWvQW|K_+R q4C;@oYHܵǐe־xÄP"M!PL("p$ٔÏz[ +G3j\/.[+bg=29ac./_MU( ՖրnYJ{q{d}9b(][9o6V\*su78C߰7L)v3+j)xrz;[ #=LkZ48rolbWd? O%ƃ0lǰJ:<.'gXt*řaǖ/awOBob^XqW"5mdøGZrÓWHsriK{CXs5m7%jۺMs>y<x#d/L)\(JR-*4a#lg1T@ F@6+(0 }M os{.$TpoN]1v 5$j};[^\;W`yő~b;J Ώc#͔R=:辟u䠪 (`xea8{wep`-(F' u Cl9 -4S5 6v8d 8!%i];gUSG+R*J¸'zd#%~54lC)Wl)(dk, D5d.EVwr=MV"OqFŔ9߿ԐKyTb@},ʜaAIq<zs60z!"?9㰤%sV'-Gq08UKׁ_ as5[L>A E), -[ҏV jcsv#[`c3g`[~z>cp9IvG(3 OFB=8g  }^݀m"> zǠ.̙`U9Y IDYDxHa [_9e")X*‹6A=Hu1<&B&__lTLDJlbVOß -V?̚끱kI4PMV-ĝuycuif101k;•o$|+F=\L[rA> ]1|Y̻:{'Bb ڦo`L  yWOݡig[N\!2m7ǯ׹w<¢}D/gz/Z4Uı ! ,NfHl2TRA(&mIa;u09ATpT#71nߊ1 464I^!~`uDkϚjfD´qhb]xU2aJ%ܸ1ZA\*8'-R~6;)ͻ0 ގq> yg I#5 7ceveZ}#C27 kd]Y[aI/xfParE Q:3[B=',;^dڋ(١ybrNC3Ogjơ O[GɻANV&oMMVuaX7ζjRyp .S{ Mၫ9":NvZUه(m·k}ZVk`nOE эn<֪*e(xo-XkH\ wbބ $$9}3{rx8X RjaT>`YRÁ 9+hg5xX͒vݒ "#89؊@ ~_4 H㚭4;gdq9Vb[c fVddE KFVf3ޙtIQ>&{~⢀Υ礡v^%X:;fF}QlwŔYSAv'p&R n_csGS: c)-Tз$&'lBMUƄ*q">L̂Na.]0 j9g ) p~@ӽo0,,28hj'נM|F-xN !Qx4*)H>G+QxYE6-zexָMd3{ ;/^ zh߀PkMZ>?DsGeV!0Os 3ym6ʵTUMLƨEMr `^9<sE3Oݟ%4i粃1Lz7G'c}4GQz-J!l*^0hַgBp͆6e%hZ%_} 9A68xi=!@ >}QUGWbQmzf$C'G/@>]QEh; zw xHSlhTȎf0ŲLTV/4FPsIN'3ˌ0Anx)E~JgLQ#^K˶SL:쟽Lډr)Ъs ux:&B@囮۠NlY<-Z6&u& ܀8Epnr4=ymѥ\Yj0 6f0F<)?L䓟~ē#ڙ d=0XLYߐ:YmpxK2='Kid@~9L?mh̯\VamGFcOނN1y# E |HDTqA0|߯dW8N*CR -lfi2lsbiv.է\Ƴ.ې#t%U| s\s NlhC.W'}GXj,އ9ĀnсJVOa&MgoיM 뒴J+F { g73&:T=oKprŽ3DU%r rb)edڱ*]8Ns(=˘#!jRZ֑j{X(t>5A QqvՠY55AT[Ӛqi\sp&v qVlɫg,0ՓhY9IbI֭gOsM tm|}]ިC,n]jC0WYXYdI I}:qKWpԋq%>"uF`}7k?eЧP@*D$t#A+۟^(f;Z=*#mD+VS,y /wLSE*2M0Dᙪl2OXG 6 Z㼃+Û-\SEa1`j xӯ\#A%:yǝGӿ)ƎD$ο8ѧK&Q(*ZZ;n(vpݩ)c6is 3s1%t!AZ+V|O^.)ʚp(YLs~'Vb4R]4Q (<ܦ ] Wz+JQۏ;4s͝٣l $~+b]Ka\YMmi_MiSk<,]msN-@ރrexԼi "We?Lrh lZȹv9%e H@?GΠ HA_!"g41HݻԬO3 ܉gp`, ? q0?i;\q 0N /u߷~'чqAīM#o}LM$^R<2sp ! \Ba Q%˫6o ٫2B|b($y穠}UR5pt~ʻ(/4 lV3PaFBtԚ'sHr )Y3AdÑ`.A),hfdp(faRu] ͣf 1*|”0>JBhD^\ wSl_/q=NKJ:In4m=vNJz ڐY K2C#}Z^cK=faS-VA?q/m漈2M<@EL6{\}jkYCIPܦ\/|po#DvlWBʕ:tT7o\It;&:\ROjqܿ<{0ǶWJF7rD]/.\SqJt5s؎QSj-w+lD(lS⤺%~$qꋟs06Ӹ]ORvLkpRm(8-DN!uzE-5ޑ"_ z= #fDGUd%iODQyNerTR >4e(P㱸͉C=rm+X4QK#9M,ƤG-N>4tI״0]K!>>}.&/ (!LP?[Wx ņVJX§\Ed617GFN/9 MC ̢WΪU>$`F}.KevD=;+]AY KhO5-ְ́\^S~lsgкZt7}Z,ŶO֤!jޛO<ە=4 Y zpƪ^IR~|^km*orھD{|wi8-ķ(a4@[G?\pe቟<6aΊk@VhIڟj_kbM`v>+a#fXS)fUİ"ڣKKXV MN ,s~90#u qj?7Zz՘DsMWrgK;,&GF\Aí_}ƞRBo#/W>ήe\-\î#Cq?ڻiGczV+k* 1&d谘"2Q09j:=j?M-;v2%0uBEXuDqhT>Fs5˅p;ɍbL=rwQ;7ןX XZI.-><9ns@N m̏B%\=},d>X.XK ? ^0p3h[PyϒI Jw܅n%J7bN jXAŻXFpʉ:D5aռS+h=*)Nx3أBOo%-U-z}'SVgBHU#[ 0 ASy]lϡ ޒٳ)5bC4'o zUgYfgg؋8T\F=p7v{Bg.aefX3KMx%SK*G(>Tl$<ތ)yq,@&)1ZuK ZA^aeΤ ͂R,O + nK6X4Fv@l< t!z<.frjbTrLP♉F8^'X=\EDJ>[A䩉\Ʊ?w" ]ZںC-cd^{kqX1 -&gYZ "4 /# tZF-InductZF-Induct.PropLogPIDE/markup7zXZִF! ^K+1]ˠ)jk2p O6LP=͵gl5gՙqjW-HIJU]]kRφ1{ncK'15_o_X?5x}Z$T5޲,8=YP{J=fOJR}3~2Ɠ跬kfu0gh}  BPQop^-B40Ah}Yر˜j"P. J݉ -in ?[9nDåhDk9X,$|kuɀp".znP'AgJTTRmo w5 Q.8$s 1c'A5,)ň -a*΍ŪFCb "758G௟MŌ~CPy6s%DJܙ{_eJ\dU @mL ˮݥz6: O}!ǎ$ Kx zv,41;`w6Qv̲F*5ޥ45]V0zxƸ|2!>|AfR,`¬8U %xTǻcC8*"w{ {v\$pBf|AJ-ye$,qEpY6\"svi*;WqGxЛݛ)Zs'?l%PԜ YΖKhD8bȂ2x}@']m]nR(y'~խ=nŻ/vhpN\Rs`Qcu'Bvc8 0U8GgHiŠX/{Ԛբc mكBlpp@&t"SalHMo۰QG)3@+5P]:Ìr-V8 W]}bR!ލ|RNw.PQV>΀Prt5flsxU^0Ee\ )Ȍs캡w5WÑQD3)rYON~[mj}hοVoV{>O­+d Qֽ|Iw:^[I?He\!hVкˠ~C>͊EˁKo.z ;BIM JS[,5${gxN߁eꉫ #'=7)#?Sˢ9ERxF۲s/I:@({~ߗ@4L\LJ?|.BWr>#êCE/ ڔ+s.%t\my|fM[TFX'xfnIq}{ ٘ }\U޽c^rfA8Ԇ"@M@Pt"V8sMTt [ 2rڍ|&}+F6^m5, M^L #5X3IY'%k>Ӷ#"+e[7棳BvқQuϐn0*­CG(P~8ZcI!%pH.Ha{Rb֛C170RkZX ,M3t.ݣF؆ >]YQ.R @kEk[)TF;m,X@-T+=x—LD}VT.D]M 4ߛhSxY Re-!^@Ԍ[")On(*; z`_{ iI}+zWE08AG Eݚ@l\gY1H!5IIRS~t9O7E| #s+q@Cn1)N@%9-doKMEMp*< l_\X^AB?9GS(5H|+Q"Hqȗ_^+[?Sq\UxxΛa+F]rYL+=_gWFthX2*ʽFwo݊mI ʫxsV)* Vg0Xխ%'.gz]iL ma_.e=CffisHEߨ̐ ;Ο;,0 HHGg:xY!8i fr"ZnXȒk(V. dWҐ;ܬ6+2Er)V pM{=%`raFv[9~ {ު &f`2A 93"Jiعbg&gs_B++GXHC ubAB ɤP?^Xѝ<kK9XC衷'J3WM]|E#9Q6yЖj(I-|Ms*>2/ԏpׄ}7P7C/0ݨ%I֟TZGbx_ WeeF.QaOӧꏨ* ^~6KSJ勱u l+]J'߱*#0XczxeLA+ HQ$]kf}m6䕻Qkz0—q{ܾ{=KW~*usiAtc\?'xQsd(+E<^T@ w$:ر>׶^wcqaN܎*d mt+*1fyς5-wP|UƦ^ʰ`zQԕ ~ݺA>H?:>>~*3WlXV]vXs(˨]Σ>u ?}zzS6>b~CYRtzCXI)2dHWkk?!1"UX l'&7N H EWu۸\#3n\{q%6 2PͿF,Pz R6l#6 $|lf eP @oޱڳk#Ϙ (\e5d!BDH21 i Rf\yC1ph/YW1f@th+!=l/_OS!T 'bu\ *n$;fkTWǭfZ^i9J~C~v`SGe|80!:%z!2C_wBؑt >p›Bo+139C g* 1% _ޠTYPi_FY,nv ]CPOpI*ܦ2qIة74j,˹{bDYڷ;D5S2nʄ6Or W7ip+.wi) |zjRbw R\[^2,5PE#VLy*dI^UȶwݓR2!f}Bh"%J&6v/&$Ss_ˣmU1yA/kJK ˙YI),qK^2[s}/Æw3@z/us7 {X Cla?B{r`i)pA{3uՔRA43!N̝A^mX.6RYlIAt4 ڈ4:ǔTk`´ ȉӋ-aXvb!"od@o 5*|b7tGW0\Il`Ahjt `,Cv!\_uryivnd+@=+5R,`\AxSV:WHk6T}'N9L㪫F窶Iڛ-bWYSjc_ec%.}k -BbTu5ڻ;N1hu S&T?m*Qn}>J[.aSEOIV%F)L^'J)̅~O<}#GUn)eDļ-uE_ͅ?30_@^pg_\J-b5[r 2$d%&x5h }NR_K å۰|W:UHvf  YjO6 -EXF !;2sʁ=$4X9gZ{n86%dڌ)mC3dq'Mx-tMX͆֡:0U`-WIAjoO!Bܱr~?9ɉ|tkvlFŔJ祙v,8 x*@Z BZ_.J@Y+{ ͝h5Fbz k΅i=vfx.O~#R Hp46Y2<:cMQxx1)踱c5L9N(Z6LR֒ZpLg 2Z.BB 7 vp~_yځāR mH1&(W{qV1QsIx;oŰ5׷mL)rS@wmAۃA)0GT! Ӎ"03<UϨ gL\0B%Ө͚`fӾ{[$z$b_vgp.*CL%ʃN糹k٣nmJd&~޹R[&evT^!8_ QuXgͺ7 V6az/zS ꮫm]ԱDfkUDόcOwۉmaRS(-5{c1 hbI:3tiFsie[;>mGWhY=W87C( gtNZbK &9g/(F ح~%\f(?.cv Z?>S_vvo"NQ)iI;Ԩ uAz]*Kؔ )S5fş:>f73 d'Ƽ'<97k vDΊ8lpB_2:c2ؾ\ SrDRum&ÎZ6r֕pY{1u ui##ba3"'(|@8eb$yG3gkn2R{9LlqVºVC^V\sCmNSScXϿ) ɲTƩՒ\0A+*P ;R2’%Y"'Qrp2g[_9wQx:&:mѭ/ _ڛ16%?}@P&i0p MDVеk;0R\fUfF} 6M2 _ >uVYЩXpcϏi7.LPב)n g;*9wt(=?"5{3Q\a  0X/O2翘ӿW 4^/R8A[+].Nz4;1_xX&P3AH[Qྯ`ݧ\fLUZ7qPL x`AGy3\ Eun'I664 :W%VSđgCȾ8`MlR , Ηnѧm.fw VS_l|`0ʖK g *Q `2"n%NRLEgDnR\/2O4jt!d]Pf,k8F R _nZPO%#ڲ̀cH7!Ϸ[KtJFDX 5&Gqrr\)rx?`:OgFRzFlѿQ% {,-"A9^)''X3 [="N7%\@@Tٗ qݓ$Pk?h~.:Y#UfmS8JUj_Šܼo.۳)Idz葄G*n kL;Fm |,h ypB+3tAf7؈o }57t2-|5æl9{ܗ,`e }Ze GWnWHn%$?ε9z:W3^U A᯲j9Sm{"fPa_hİEĶTB@H(px42S){>UٷN%U ^zqA( I5A|-E4:W\j&M ōg-swüfY]q~UwyBMu/2͔DDhҳ@X/ t׮_{#[MH`G6C1q=NUF0IZڋ:5&^pkG07:lD(d4^!Wcm!'QIX#}Z0kSoZ~5iGQJqdTU[EydstR"N,TkE :YԻٜOvC(\,xni<ܜhWrC#i|׻Y @{-TO%^GksT@0l #1aE~@Ol㍀s_yq4 \mXiiƏyf9c=q'Nq-#H0F"~wh5\){<@Qlqk8%\ePٰET+=9Us'k϶bE˞qdR9m|ha7b@o8pC(Yzk=b)^&Hy+A^0[wF8NtqIp~&>\kd+L)Mx6,Ǔ%TW\Վ ̚3/#NڕJ/^++k.΁$EA~H~h7iҒh0I uWd4sD}OVj`&I.q byYy2Ă 5 e HTuJ+>3=oF.X l2Ψ&f~3]΅eݒ18̀m)p]ssXCŒ*Z b &MJwFV蛆WHq%MMkY!^wagðD=GY^Y Eqp@:}3jF\E[jaQ)?oYԞǚ퓖z^Y^>l#,\0X+)CB* M7fwlaB0B'wH:m۫8ZΧ'H vD\p!ۗsG$8btphǵ-Q7aR8Gu`CC>f C @a㇮X\sqى-=Vײ x}_;חB> e!.$9A||Q6=`1J(Dy{h@j@L*u,Fa'@zujORT?]C@WB0wG>;8稖ؗf+G`KkR \fCFh[v{Z8(d*F&"\R.R:DؙL-qZ{:M~: ;A7)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy16)-ZF-InductZF-Induct.TermPIDE/document_id112#5/' tZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N4]·Iq n[:|&[z|vzUbe ȱ71]LËr#^q-ƾ4hLҙM~AbiC8fֱj"1Kx5WX=s{vk@Rj"w6 dŨJRW86N1܌%\IVߞ6'o%31=Ƣ)nT5k8Px!4.l`Ҧy"Z \櫢f\қ:e?v^"5 PK{3B'3}fC*Vc|j.nA`^|L̥Ҳ Ʈ:z|!Iz 0k$*1-^~M^("b6Y'ZE'l Ks"4eIRU#K׭&%F h:E0H}g&wJCjro;ߕ`9΁ ϵ-,6l ǧ ܌VV{z@tS.0:HB~h_] 'H.{ݦ.Ac*>$+KTBt[aLqk@ْ `㡶B2gM]k g{JB[4" ,tUKMX|3'_@q:LFcvOpmL+pquMOd%IQc /@`^'|p' =3_Mbpkе6@1xV][ȼ&8,]J}/aֺƑnN7ڝ,"DgYZ< fz&ډNY!>T;a7+N8a!I/^Mfo:'(m+Ѕ\)$ƴ1^'GLXYNŝq,ޚNZ$Ng.k)rJp+DrR1C5䈧151nӼqtd0bəǒ~kf\Xi7F HM]lC@KAVfJE0d%%Z2~;,`w(0vG;O*G:$6HZU"_N 64_ OXO Զlsq*7SB|Opؿ/imf?tI {|Lo=8|ς1j#KYhٽ7Ֆ Rm`:|CO$MX7P/`Ѻqy]oD2@/B8mћjT9>X>y5Q^[d "$Id]y"m\cwgźFH!omziMt64v7h~_ I *ҕEuӬ PpuT!m3dͥ&Cq*G 8KʔUA8yeu`k#1O9qU8ݐ2\ Y(_SBXjo`PϿK!NB\J%y gNC84M}T  G((:a:F7=ϓ{ y$nQ:e"v3Fx/1$YogCWa]]lN}n&y A auQjK@* ЬǎO"ӭi.vʝ0yYaVBM{nH!AmnJp+/J>.m"fyaY_դ(>o-Mʕǡp?r(z@WbZݳD1$fpGԣY6y֗ώu]wVhFxXuK4CrǾ-_}@ڌYy<$A½Ș}Ds$.󺥓w)0e^Y,ޣq6`&iΪ(A@EdyUfK!]]9J$z,ڿ3~'xavS-bۄhUa?jQ]BFd;iW=Pu.&hx9yto0B\ bbkj0mHS$IykU ԳKXi1g~xEKR!F7gXwKZC;C b~޵2Y>-[r\>JzK[^%Ih>*i%ت*X@_f-z#`Dk-94_h*6سgt g7g_g]]YMq,hW@nΨb԰V6a'*%IOd_J@j LZĞFPN}jr"8n`RύV+Ȏi9'ۈةD}мW?&S6Ss 'wSksb1X( iYP!)\ )@xtqAat2 %t7,I@ ҥpٞ噏i(S k%D5Op,o./%7ڱyiԁmMp4ѷꆩ`9Fhp>q6Xif,4;K&( vd>#HLsC#/EJH3S,+Ց 7C;.kTaQNgyqhqޤak!II H^$Ԕ#t1D Z`U sÆ:pɟTa8C;r,ȕHoyE88! []ԛq;3q΋+#t} .Afewv=$`9iKQOނ]iV U eב('܉yL]<X. * 09yy"Dcdpryϐb8$v̝<_j_\|{<&j7*N4u I>$ ȝ糀b0\s~z|(LY Dxș fg}XÂ"#-?X__88j~ .exa`h*}i-W0\){]I.!r[peBm'`Pdķxy/Oۮt9 Gx=|sP(#ղU!QO荋¬#~MINs$Iw O8;<ң`&v#,:~rZ+G(,CfEˀbc@ m|5ıc1c7fSTW70׹B醏e o4.Fxg9l-:q 'Wco0ijaR?= ډaɕ҇]hh[OLaO˼Iz;BeȻ7PZNhW3v`<'\Ƕ/ǵGJ_T>xϛejvr,FB-<ŏbz%-!ې13AFUJd44sHc$mk:of6X6!Ma2+۬&l/ʣߞN$ŭOE;>2RM  6d?gq~Kvku?7*pe<XՊw8pfdlq^6}{n#9Z%#=IeMh0 %j~kltaS[{/O5j UxsێEuV,BaDOTiE]5kDX󎚹%mb*1`f?P~(d Z9u~"YP63&Lmӫ(냿V 8rpm]oޱ^zU\#\yx( OֲG{,"Cs{v a8YPNx{5ƘVKYN.\:ȁ Y]w6/ 'Y{dmPsv*ѯm۠}SZ݃!G"mYgC-5m(ΆT}QZZ&3ra,/b$#iS*=;4%Qdפ17,zU8CB2{9d re"isz԰:b"<[BOUm-<вk &ٽySr Pk!r{Qį:@22}ULIF%jgAC28~J.V=o5^vhas*L&4h0_KX:!qj)3R4Ou"PX_p6]ШB+tW3)ގ"LjV!4%U^r%4 (HQW=c t+S@n2l~ o e"|hh)}(^.=uqg=*?7c1D2aHtE:x(&  ouȫc6L.EUFotiDݩpc(4$!%GO у N/icsF noI |to3U|=x}ռ8"mo)OL挙9{ox,=]G<pM'I2u q(:j)Mˆ GIXHW#ײL%s R$il l$k5 kwj_ᶳ涫5::TuTs~R868rG/ +QxhA$?ҩ Wa_XbE>æ2uwDPffϴvc?;qi-XdW{*6%\b7?;]WI-D_g8, tJ1rmS! 9H&ܚ9Q=m*s:%?" ΂ª+/ D {M S?ŤPuLQqmG" (qL|yU9R*vJ*ܚ~(--ۉNlr $*n⢠wY1C^-˦2& xotdU 43),)$iI#i ӰI)Asfv3-ap5s$Ⱦ<@77αo2IYGs|Z%g -*#U?8Zw/u5,ߐ[c=[;˜ ,1(a>2RҷX)$GcԀIAfQO@:/Ώ`fJD jWw!hm]jfTP)8:·?,Qe=;(W8eЛ0㞂 u *U;HXC^"qX$JIp!Ds|8V觹W%ISZJ TNA<%ju1e>*):fqm>suȐ pD(;X%IV^dMQV7]C2PC7l|AZ;37/k]*& הw|재B6 >iviu^j@?DU%71Kŵ ] יdd-ȷK㗣Fӹ%7켛ț F=c@FƿL3JR;\sqw O_JkofLq/S>p=n!nH#-[ E? M_1\$w:8 slNRy 4f|Z: ;3?.|Wrl 5Ɲm:fٟ ,)G0O33UJ]>!*vj>|NxRB 5g)"mCbSԆfyr]OY\#}f{đGѤA{00S`u^IXEG՞"g";R9lC++\!q|8ӕJI6'JaF*kNqWs[1!I+ O>PāP_U"b;^"dpLjCdV Ia,`h: w$Pk#1"`:z#p)9Cl<#1ݝ;JMc lu8*_ 2};U!||m#h)fB; Ô|>IRY*gC Jz0qqs Z])لJtkCqIReK=4ymU*OZ6~҉3gr.U a)Hr`0l1[6}Ε5lu/Ǒ`“_Aq}/Ĺco#1[٢3ˢA3߱"ٹq|t 4O݇gˏ 2/gU/f@dփm &:zCHtjH$gEU ҈O7Vv{X7weD!@5 c\)!"(QqፋxT8h5)#tY2bxb4ELϪUpc^ˀ!s}حk3 ¾Rh&dGKF-W]ᑰe/D]*o O5w C (nU3C[->nKw5(hqï2z9!gϋDͣ||(>``CRӌFFѿ 7{?̮;Ye+[e/]W_r_R ݌gYZ YC;+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy2:+-ZF-InductZF-Induct.NtreePIDE/document_id104p9)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z+6"z,&wobŁb0t}I}E9{1n L5V~fhOJƟQ%ɱ<q<, egy$G!n ]Gd;"aoGэ7}<-CH́W笱#nҋP*WWOq~]OT#ɏT ZM|TyS<R˧P6:t*jvS*(8`\TLRۮgYZۄD\)fYD$@G7!d V$vw 8lC1¾ej\٬vQZ4>TMjLBGE4}q5q>|9׍: vQ AG16/ j;(؟hci;XmQ9 hyN<:rHj"d eI ?CoL =(AYk qA6`b-lQD[sBreɧGn9͂ ğqbyՅg'EEख+qhEsH,˻*fĴG- &f>QB4RXGH%a}Wm^"hEoםQS1KbOT?x3zlujjjz?iOXnUi<멡i ӛl{54'pK$8ԛ}_E2D_`k͖yh-13z]̕( tk woJe8O-EV2zD>ol`!SVPf¯:zpM$=/m?B(>,hY)V[ǮC' Pxܷz щ;C*EmsYВt|T(m1&K1|0_Kud VUa( $}GFՏ IDŽm&.55xۘ+'I@k1+8*&`fX%:2*MX2Ԍt$f򤢏Z3vo%+Y[o:<eC3 #˅ne?@%xZZ~ykX4q'?=8rW H7*dP4WxIHfG1<|ҹDn']QNW)_X,Q<=P\MqU-KGŸAQ<.+Tj}2EBP msji)LEDocH1  w'Ƒ1m{1Z} e;OT ^JpI>'BKhpЍjd]_p?aһۗp8J9M_97"qzG)Jd0px:>dgTNㅈu vu`+&dcH VaӳDƥ!2z .V3tKUq d\G>J{dnnf&In-:!ˤYnnpCQR-U;_\+l!(b{VhΣ1p" kJ)>LC+*.SU#&d*m&(mYI)aȠk$<ew(CKۺ"!횱-82P߾&HU6.pحFK wzq׸FtQ;FuF`7Z !(/55Xdc]rԯ+q83^oJ/.p1"O/,9U!H|*f8IW*Tlzx+ INj=ZزF8dyJ KW q[)+ g,cqFT)g& 8ѝx_/<HY݅V0N:CGWT{;'3Rhh{\a?;!0)|ZЊZXE\ͣ]6g'r >Vc{QAӭ022 l_*9ώGPUk}~Z{ GsTtɝ\ ROEM9(VX;i}l6*eoiM({&COd2VۺYɼ="LxO߈¢f{̗SK&!c\v\%Q|zUGSe!@[BjT*MhRaf;XQBY7p3g{DR.teܷQhk_H EI2ɸNsPiI/Z0n!zlCZ?\ӏIԬ=x\ ?%7#<#Ԡx! q+=L aüO0%#xfi V(w`ad cIf>Ȕ? 7Dht}МbOX|HZb?e\oVdư~-60F1TraH9R\LLhwstHs,4dxYʡ471\1'nwX]d"2d 3"#Nb 8q".Fw2n3*BA#W*+}sb7oZ(ZPG:抈h,x_db"TJ? (]ݻ&6wRPX2}ь 3mĩذgueSMU>ˇbonnRlLٵ;ZѮS/rw foQ#Tk׹8G`)q&gԣ7?0Rmݿ<ԙWB^8՚˔&N n2*^KHO2ɌGq]de9"m˦{|e;vL9!.N@]i< a w͊"h4wʂsCq]o)66"4:b $9IKMwIȼk0w~X'uخvnvca3Ha:7̉;ᰦ{l|9yk,J]ۃ~U"xz'7F2 OnW99S ot`j ||6.GӅ콑D߈pkrt>ѹ3CBYj|we-I8 o88"{%7 jɓzL"Fphs{Ɋѻ+App%U&CiE,6ݙ{)Z7 ڧ}@ctZ-%Lí0SH~CpᆮEif{]̀~WB1e #{Y"ǦHKS 3ckL«%U?@ _&ψ{/|[fΉ>ZY>P9$ r7s/L8:0Fϵ>P]ъs&H2,)($'˰{2EgF#dw 0Y|z#zv)IoIБEj/SE[jA: w(RHR N1^e `x uGxԆ(tERȊ^.P0KWWIߙ.Ze6T,"Up)Y}s!Xb]ֳcr69}1kgk'ШIj ]pKlVyup4>T28j>jxkuUE#Qb$ÓDоΟ>,)?x@: A4K arX=~Hv"-cG6Cπ@"/CUG('3+ES,OBnz+(y&PEFcJ x #IB5 _ MkPhݒ~BX \ľGB⢿4xRi6#ti_|)2s>&)05$qE.[k,%Sn~x&K{+Sݒ>z{j&;Ekq_v##[\D 5F RRx'&eM( m*=-qm% i$=!ʹڙņAb2D?ޟd˩5FQxkTȚ6LD nҁnt2C#s =n +3uERҊPyFKg62^SR\A%s+*R%li/`?3#ƀ#EU}DcA>5S=Ъ@0l4LĝtYgz0iYX`Hi綔bp^9<](пeRaCJ0RX&*hpM_}@ywce-J.\psrq%Yz\Zhqi\kb~j&.G.|$~Em`_i8LP*kNp̳}ad]yy~s3m *W;*|c_'- 6Baݟ$,a  D j8D )# 4ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&e?uo Lj92aGo$R Y+`S$lį=r}8ZBME*%1!+JTN:eh/TΆ{牦=ÚL`%fS$w*ԪƬ͠ JiGƇa0~of;08hqr/|Ξc;>8p=ޠ0_wc^;lzD<,,YXlZ:RkCJ\ո\afܓC 4[_C8J2bLT(q,9!lzҜ67'av3luS#2|JY`YkZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0B)-ZF-InductZF-Induct.CombPIDE/document_id94A7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[zIܽ%s1{(Z;D: 0TH/ְDBbi.B`ENMk;}j kd͊RR댛deL`A*G^nC%98>4rt:ݜnR5NZ͈*^툈lV&5Η.+}E[s '0߉~`jzxle.'ص1 SjHak%9k,v>փC{|e%֪P58*3eXq<X*250PN.yS[ ) ήk4}@sh990y2ۣmSr4+C/5]OJ.G~rX&"kƙP<3FJ Sek=]b+uR4J0dnR5r>/FGeu5`lAeV!xZ6T0 6gYZ*@ 7# |ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"8]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;j in/J/Mqd\-rMLfQߑj )fYNi3g|dO w/V; O+A""x`^qڱ4GŖlQ@)]&%D˩1s@qeLE׍U#3U@LpHzZ#"xcQ[ 5=k;,W<5x5շC>$6󻱥-߭t.ˬД !B %c}:33 uQQynդ#.]~^m (ة Z~GmJb_ev}L1 I3zsϫf+FCf#$cp+xtuԤup?˖"XH 4cGqfAƵAq*FGKY _)vnDV; AO?7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8>7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1149=+' $ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! I]·Iq n[:|&[zF<^—w3f[BjE-Q /TҿqBsd"./'߿!J}w39zg] #5w(Kѵ7wCx$t':NaA .Df@dOƛ1:W/4|c1x3Q.Xz.-e\zѮ>CWVz8D廔o[5s;JSw'EZӾt%~wq.Sc$ %_ˑ bC oTYGݡQp.Ib~%-Yu֚DP%)ɶ*V$.|M#>ǠJ"tS*y^zv=iY#Tb t.A`E`y!y *ohitH[3U [s<:E;^[9iu}1NWcU ڂedwsNCҟd̉J&+a .&1(<'*`e02z4T Bۜs*f␌hR>gS;9 &y :;lAu)ogYZB)c8/5EM@vIL|YU)믦'@G—AA|V[>g94]KCZ=m{jIPZޜBE΀$BSLz+℡ ,fDюm02 ^AW|jgH4foc<)@i͐#;*A-zǂɛB|"z_Wp]]ldp=wcHeJ'+/'::WxL55Y}}{#4b,ZԱ)[v"yA HI%  nN-nT,q` V<*.h5G*8L͌aӢ}VqIRZ)і~œ|`ߙ;yEk)4Ȍ‹Q`ҍI,%ffS9j|0:9RX<S}NZ DrVP՟FxwmUֵ@{Ս⇲ݗlS?sk̵^`<ys7h`^9Hg; 'j=}p˃zkKƲg +Qc Dd91&g]zfj#&MJJ+I^4Q"I%CDEJQƆIObO VL&ҧc1ma Z& F g"o {*a'3<ޙ3<=Ub2jxnT%ҡC|`2-pVhqo~/|a)dFD>O}Z٨zn&'5YsHe ogx}!BٞW<krA ڶJ5qkl =cLm6eE?C"jƚܸ'udOKX)3| >A R=']<.PaAs6[ ݦ1Ezu ` iO9^!ؕ~RwX1;|ųo 8RB> 煻5 T̤>vH mH-5][_8Q}$k 5%>Cg5f2pH0_Th??<\|Kw%G fIBz/h÷!짚=1:"ԝ2DـŠ6̱!,éF2^ F$ I,kJIV fx0⩍L9H0qQ6Zk[X|cn)P,.,zQ5NJOth3,kga 4vC8.B$Vnܭ+ppښDLp]ug?0H+sm] 90@<%kt2[䓵RKKK:yfj-Cbz:*CGxiTZ-G$nyo+|cwNU}0Bo!OYosnJ `G!kS\sE=Adt_k]@?[AyqjıQՁ  o/y>彪]UZ3>VxC/BNCxkebs[G,!';W|Aϣ=>8DDOYMn m gIreq.4 'u8< tV.n?vjw>{v]nXcj=e6_9@v=d^ 쥖ʌ"'Va%ײHO%4 %sc,ND q(Mp{~,l27P%F0 QJȋU9q)@pS,`ȶґr7%ǧg' ^9koN:=-HU}Jm,L 3[DWU]lxoQMG94Rg &$9(nިt!8EHWN;|zN5ȑl9;b$>y=$' T6a:SY^I>oW9Ws%5aDytǽ QSGE m/7\(Y\:s*De3Ņw5 cKe v&LN,P&Br&rء^tjNrřJp=`OS!eYBWX̺T݂+1)D,y4Mv;Y0;0;|{ѕ%C1H٢uL("EyaC5 _KsA0e"Ss-"6W2[2Ľ7q$ˑOO@Z=VMm_QN)vY0Y}aL^"]}܌T\m kř=T+>wG 7!r-N$=*.ˎgVs@}TxE a((*eA X򡓃TGLo@+f<ݞM[Zq@mEHž L$MA^.w(~%:&7/.WuT"w# ϲ**gG ^E_3FN\ẋ3Li5ٺrb+q>M?ҩ}~]"sOz!+kl`wGbs6DsA`+'#DKjOK+/D;ΩwEWVDysb&Os**#CɊWSFM2e~G!L*lh"ؒ[tB%=[ l]=2߿3rY+6$ :v:@W*bYi}?WnCK+墕?nU%_qٔAe>@^3j^T)$TZ@m7c*xL[֡DgZ;hF~3RRwV&O2uk!p8>ayp'Z3abbb:ON":`mph'UHHz8^w_yVZf 崪fT}JMxۤ&Yg=?uC% YK-8iA-ﰵNqU5Rv#4oATuN67nA÷"״mP琸;m*ISLJψ{-nZQ(&Dϰ=5#;תM|^3>͇2Н3'P@FoB6z"-䀺-u" v΀Cҗۼsv:1DӀz$ȴ9;wÑ*'UE~8W= S^Hx!:Cj|([ ԾA?ՃqAAɉQu M@Ӳ9l9z`3*mz :X-Ӫ[ Mg+ҭ%/Yr^ @Sy ߢ1ݹW D.СQr}.JpZRQ6SRA岗fS5AcB`^-8jQG -'޺ vA)"gB87LU,l&E䰉*&|XMpkM7q11Rx@n2EʧzTeZIm{=mG1P")kUkrys,.Oܥ(g:-\jeI܎dn8OCNC<Oɧ)ou;G3BBM1t|O3 GǾ  ̣/r[MzGtA}ўHO0IdκjP biؙQ3[MAyvf^G72Bϱs1|OkMИ:6zwEۤɇwR2JΠ/AYڽ-fNpIޥg6D ^*"݂[daWť_SOEV%6%D@ .*|R+̹fzm[pl;. {𼐃w?>/y' 2^eD5 WYF1m/E'ՁSQJivfFbE (;8ohhM ~d/KW5MK5#WE!W0f)? 8cMm-04/Q'"[:jz Tv9^5iG;MXXIGxHb`3|ʬNf,Q8MmߴEEWt8ĘLN-Apcqʲz`ͻƘ?b4-䰒*st&I2I/ {nH3&Ucs#zudPX52rM6@!|pTp-8T(On.[x (M b.fjR|FC l֎40-g%:\`0>bhlAЄK]ގ"w݌ƀN2$Z  (şfM<&Sthcdy$",` 5,.rezG!WQT4/0 1w,2֎jc6V? cG&^>CfTK7\DcQY  *5$|fQPMAuH~4Nrdxl[`tӺ0|&K6ܧI7h ˚%27Cqpyv)N۔%RF `3HksY~R"t4i_;Ϟxykr_fC224x<+Q pIctZ>q4f-lPqzBp9j%A{n^R%@p![*.61 22fl薜], *,BDJ>'{ILdpq_t*C ZE4$:(=j *l6bjΚ"!ЍbR:gOQR& P _:k2188`Q0՛5ɞϻ$ >=32wc<o~8Dsl^'JQ2Ǵs2 W;k.{Lf}=b5>B~D--͈@@]L|Ny7@Bvl: o}Aq&՜CTOFLS.'\7#?nYH`sͣG8KͫBW\Dz8VčR{xe:V4),Y<^ltna7VU[_xρ'cë?&W~Z;y8w#L8|zUF-OS6AúEtkk)z)Dȡs@@]ɟgSa@Qu'Cl%tuRѠ4 2*VYZ:paa*sjqi I;7K˦wUpG2q1SK{tL@zaҘypWk?}TA-пg#KcakH;dXˀ,+eJSL ÷|SҷV'+A1R!ՐiEd DY%<,`$,QtX&XBbe7jeU=p2ZWLE10ԧM^yO^R(y"l`9(BczU k>? 1T"lMBMv3r-8~L'>A~藍I_ۀ8L$=R% } iy ;Cc6軏6Y_Q8G$ɬO7ODHïP."`?a]C󻎦Hw|yS"/ߍf;3.@S!셛?lx\;S=G5Rsh ^WEW-q]@`9Ќ$kB:0՚f0\ W H]FcoE}*!XOJt0{WkU@6tΩ mF\/ΦQW.w2pZMf_PF l* RY}ps~r5P.ec#^*^&~w˜|SѾ@WiˆW@#@8=Sȷ.s|{?ܜg $/4t˥5➾VQ:SFxkpܵlMڑg߄88AS@['HYYo˽WkѼG%_O.ߛeο "ޚV'ey?QI+&ۘ)x\R}vo9{H/<l4w/U 6fh'":#Cƨ~ӵҏ|jљb _P m)) Cp ;dTd:7VʜΔ܀nM_xNBK}]sd˕S8-DrF @f[{f/Bv=Ϭ ln#MCq@fn ΛUla2&{X"#srB3*:yF>>OYH]׃( 鬰Ӧ8\?U1Ƥux~ ?;W޴>+yg[V>r]:OIwp!qߤQXc ]/HD+s x_{+ӕ,Ͻq+%ڞ0hB`w0ë ZTXGAgR*o?A?nm9Xyc3~ )<ᙣ >0rNڤcV mAzSMFoe5WĤaY/,izɬw;S/8 D[>uqfw˱qvHR<4iN$5V*)ނW>5FVꩶ4H3}@F^ !*]ZjI9iY 1 ήյM= v?ȵ ;2 |Ka;mdو[4}B) 7aJu;ZUtY da~(_ٍvjhm# ~xa)IGn!Gqm&/it @]UŻIxϬUg`^;̿y4ȋ; Psbj]kZ.vQpܜ(h@*itz 6~ir1 leǗ(zs}ǨıI:S^SGF_Y '0N"vpڵk75a1H56)VB|#gd{=jy/M[愒=d_Tx 5tMLB"x"MXo}]*+pNoRcuޡ3karfObeZ[wr#pNE٘\9T؞D2oS;8m8jH&ԕʱ1>Ā_(#9G/9#nIA sL owb §nn '|vlвVVa~AqEXav6MkG@:G>. $R"6qKݚ] `GQl6 Dž,Nx*PO߾H(:cϱ^A R_6-<V@Zd&ZYk\hb˖I(e>}o "v0JtQ4c]43-KO)$Pu[Ha$F1&|K/[)gdޘARrvv,k* '%zlv۞IY h Y$:'pM|Z@X֢~ool=O|5Ql-:\x6?ħU^nz2(\CaX_rN>OPגiYp$Y =]{TxFFE9YO'p M'@JwaT,aTy֟O)$ =A*O[[pgrH9L5To~%_ fT܉ 1R:F¬,ʩ/T|<߽H䆒{{I ߏy OSymӍSD"U_QX`$M^AfrKQKd,Zl donz#no_+ .4 `YS.$Hw{qP&7kx]mEzrKhޝ!|&HQgv&62@-oC=J0?liF*j3I'`­9Ѩ/~ZbE O? ;"/#3{1ʡ?'5S YoN|"7jKq|N~k\;/|2fS;yGgXMF9/_UƠ1F`lU\91:Mxaʱ2iLvTRˣ-'*56PdARE{=ԍ";XNjaM34]&Oڂ*PEc9 X?mn`}']ss`o痏FE{Q;q۸HSB€V]s6 ?|fY&t#ija)9tѺ &nTK~RqO#m3`zrV`m$iIA-KCЏ,|Nu}sd16$vPfd$l//Sre:k&apSLQ[tJ͵vQPa1@S^4Lmӳ)Sh$Qp9]ˆ(f 4}D Rnʖ@z؉Z{ԓ# 5ȄVBRq:C8rD'V4Jڊ8Z yNC.5XkڪJDcEE#A)dgw8#~xTl ++FPVC0T}$,!ERvQ"DrčTwx}O +I 8_3 v)®Pd9Y+݇?(Q=l9LX 쐥877Fd=?rQ6FG(IH>*7UrU1)<1@U4- 76^묉HXs'<1#_&9 L W#FiRFkdre5 S/Nҟ&V-q]jҘY9Ư(2J9vI7R Y G0򅷘~+5kzRŶnr~\BqBX>1zD+a )I6%8fDE'F(F 7Sc+Sut!':K|p$OZyQ5,,\g '[{bzƫj 4MGǰ_U5k'ц4k[BaՎ`/ЗN OByC"a(j݌fS8U_ w?YxB3% RkhezKuӉBh I:q H!Z9`tqM0\m%B !gXC^֐X+%Pl3:3Gb)' :QW#B`TH#]W9![ U+* V I7ECn1cBnY?^jT=]y"HWŨY`>S_n䌳tKjXj{^qQde yKl#\:J >Btj"w"$gE-1J>:%RȤ\z,Q4 (5]^PxWH=P\!)ʵ\j@gyhI9/(\YϡØ3Xp@ΫٔB+ʋs_}H ,3FQqs 97gC 20 + mȾ.&_ڍ od@vn/2pB7f9UY%vQE8/{&s$um"uhoI*O*ܧpO?c ;GBn" h\z2JE |¯(; l&dsf_:U8\s)?ޮXL.w+Uc5f٣ymN OѺP=Й˂c3:OA}6 j˅ eHZwfK"javo}\fr{SROCirVI[HxϘ۬;W`Q2Oujj/BfަeTS흷ܖv-T ^D|cBQ:2̠V :q_l◫?mIyKE8otW.z Jo[ omtwc(:3grdm_E b2Gfow-!dï؊pd[p(;o.oJuddxSϐ.ns+R\mܛcbJw_E,9"I|߽>>nz3`4^þX[i'}oڹ *Oz |ޗ*7"9Y6I\9!>+ &+;hHmF@]BJ:9~T WӵZ:`!I9fo7E2ZT QxNՕblNxl!8X䂃ܥjV9xOmz/U깡F{8&klհ^#oSVwQvBNE D ɞ_dcVEk}il ќ''`lX_rn>@Lo,x7-Q*ٱ+!E}1OtUףRz5cdjh&M 8p<.tJt ?om!ǢonAÑIꏦ^x61]a6|N EdC`T~ϩV+N S t}ǷsYNIQ8~V& `G@}KyCJpfı?DiI$ ?[8/1$?f@]Uqq>xTٴ΍4gI5$RB)0eU ]jMN(d(%`j6B (~َÈt@/6IHѩ7=;MM5묱sXzx]vxRb\oB GW|]gO -Ad5v4~̭yoJ3C)Bzx% -4M?VnDPі:đbGG+#"|a-F i` t/c*_8S}NBc(30ZUuR+%+3_N7N& I볓.rZSD Z?vA* 2M|O5$A(?xtvn8tC-3k:k"<ܥ=Ȅp 5$'SܠYxVZrV sETju+>eM!qv(άЦ(^R9|0 0 8 Rb,ЗQēJ:4oGN&[yѵ$66-v10J0nmnrZ[/fӾ3ݡ1DT?}O1΅@<7[8DC&Kl3eְB@?u:y8G?ƾqb8\0 THgx5IFY|R}T",bQk q Y-q ox!, uTg;߈h U/=55yi(c7ȫ`;;7o |n%+hF4+_~ m q z~Rfgnٻ bo0BSied2ŕ%1s[4A"Ϗ~- HIF"P$+8w e{b hBnKDa8vNnj܃-&O>F!UM⃨4 U1h&S׀зGV~t} ےj a%6Di0Ej@Xs,S% 0J YG;#ݻ$\gW˘Ne=|9r:( @:NK*9ͭÒ(RAk -Ȑ0'Kl{d6R"^ 9 ,Nk "j Qֆ ZLJqZ-oT6wlOjK=9U1!|Htvvy猴\EȱgYZ  1?H'!u4u5hiPs Ahk2'zanҘmFF\Lх\Ktيb|P%Ukk#9 !%2#14]q<#m^SėN&L#Z<ۑ/1 P0`қvGϴ܃6}j\xIoE3H? ԋ6ՀF%@5+.8ڂ.5skYih{t8eťE(4뗞#ݛp`ٲAK UeivVMƍX?3MXc xCE fVs5PUT-;xc zckL7dMFt B{ص/]%m6#:'t9G Rb1yUP,dK4]3X]D?ϭQźQto[e4XP+j%mW[ J2 W^1p~&"}d $0̓sH5CRQ*I/D rley},'d;dȍ//N ޵sSND Ca0琐jPz!^=.ti"!bi{#irR !C8eaY{vIhOHJS?֍]o{FPq [EQ{fJ7\Zsu/YKCj+{>ȠD9"j[m~;k2,fk&?ћ􃋘w3#%Ea9%X[[Dʟޤ-n{_Q|F,n{qOTn""/#N}G.R *;`\ )$jVdIO$DUn;FGE^xcR,.dk\ %p[@ >Z"=Kky `hnwXw cgyYc1K˺E=*o5謥88@s4nvS7^7FO-WS+P#oH/ed Θ'wgtӝM x&i!D qҌ} $|~6ZVu ;LWG£,mWQ:V 4p!R}Ú^ѧIEKY& zdW>W*@9͍ )I\{w--&67$Py[{l$-a@J^psϧE p;UgYZ > v>6L3-ZF-InductZF-Induct.DatatypesPIDE/document_id100:K'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlcaWJ'' dZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ<nݾwnYeZq.쩧Gb}-]I̭kI5/pbÂ~mI6I-pg!/Ŏu-YwяK:U>mI$%%P7* x6AH%]DRKpl_=_*9mKs͇1Kx ?ί3ÔLq%(~<눰kWegYZqI'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗN=xȇ] +mSË3±YmNfH{UvHzcy^xRt^=v$ 4?0^TaMĕ/rZjP+lp\' $r>=_*w8Vb1c+aHj{-}2nt"OHe߆s!Ϗ>uW]N!g wr@Y vM$cΏ5Ox\:kKce tRcޝ l U(N3^".bX::)!! [GCR][Š5z/tX?bqg]lP7R3>8`~BU}]tuheɮڻb%:~k ?CC[S{T2Դ ݮ/)W(}}5ZE{Ex135D {(6U/Oߝ5м.MR (, ֹ#nWe6) ޱ9u\vVafGplG:=+SgFHoC`/PevӥV[ ')f _ >*R2=<W_(iN#d&BQA y#0hu{!<=cWZ}qZu.tIW۩^5k+ι|WQ:,f8lj}?2WB!rR~#{Eu $,?Ž EUkqs q*9oȈǔAfjUue#plJڇrI˷C< Y~RЁkN' LQc?mnEsӔȇpxSo0 ZprZ~enȀtz0AM(nH8iPI>8&h`uhsӮfO9Z6فzY@H$x@pf|$]2 M4 ߩK5J*|'m361OGC\$Ƕ.@zV;`ZAt\D`/79S)a<0e̙Jq߭!HpֻU'8#{a~DlcxrCRzoE(Lum,FZYڔ6>3R \%IbSPDӊ^kH^Wna ;p6|-'z\26M]20Ȧx+:<ĝj&_GQϕ#[e2 "'RR [GWվ:; m neźc蔢 p[2 ImCnsK8 tC|u.7gv%n&(&^MdցOF6|OMY "Lx?aՀ$SJf69)f:IW5nF C7B}7n˹L<b&\[ G]C.U$j.'gu~C펇i<rg&HD=Ggj[ S2vrzz ~v dŜWҶ0?e~̇osg^k?ݹ TE1U]kO̸ԑ >LѣXy/$9/`y󚌳^h 44x& ꢍ84~HpDEsvQ>En%Dž>ί,铖Yв69*yKdIDϾjQ% `ůpvb0Czi?2AZxD2͵/b߶C Gge~6)<{)d愉 5'[B}w6 0;"XtbV*;~gxLDp}T04!!9{Ϻ wU%0:NG U,D )Xzt}H5!iFYJIҪvWAc[DuHvq"ulWk!&!1s:G M_dj5Os+k%CO/ [da_S 'A:GSՆvQƀZA{ a)AESDE< L8eym1 $G FtvF<*0Z``^$VQtޞ'yРL"ܚG2h9'v`wӖ\TQV@;[r"wpc؀ټ. ,MhVbnLCkgn.&@ &3B#o2z`XvAS2O89F) \6;dAiYhۮ'ܔeܶ9O9SABa7Y TdFL]C{hqd;挷 X*}2t'팥ӾR F3t{ig [NgYZ E EAO3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! bO]·Iq n[:|&[zׂ]>~7h 1P=h[m}csI8뼥{9XRTDAҺ[01JZt66SƄQʴ5osg04#Dg!$zN,mftc9 B gYZ'N3# |ZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF! 5 8]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($T3^Q,غX8j5 뺑kmDJvW'H^%w*)\*$ƕDv%jUy<IU t4>ERiL])<YA!Bk͘mUgѰ(#XV_BkHba\ Fn5g(7YCfuY9+p45O::$=9bj<%,I xy/;&".H9f Z6ޗ"$_=ċ5HrɒɍT`F c@(ՎΜŗ(Jr<ĂH\%7 X}0–[r#6@mUB9ՒPH{ _{,9錱֬Ƴ<iGrI.Us'.P$@*L;`Ҍ[<%KGD9 'Y$^ajBN:)k ٸS}#Wһ>6|jV')Y8?ҜSj]yKϡ$eӲD}qpc 8 *WNjyY54eO~sc ߞ$չ+,)t^xYZvt̨=HmH kƨBowo„i.Y `;!n6ƛT&?\lz.-+(\"NDDg~ZpH[H/i7oc2ēJόů6 $^iCZO]%m<2oFq's[)n!l$hIfs$ږ+r[ff~>8^NxOr!q. ل8|757vW\}RRFL V -7z3Vr?A)KfYH-A*q4p\t]D8,7i6p#Qo[eįu$]\I KפPec=j+yő.i9[P3'WC1+Va9-ߛ"%APE൬Vʢ/N]b"cԆA8BExdo\syO6:mmUaquYUL4@GIR#DEd-oN>4cM`nP/'P_&.}rNڼ[w\FENN[SxY>(#Ӵ% Y: YRn0yWucgFImђrԨ@QRqsSʦ-g #V/eLj~"4n&[rPNF-´#'Kihr -y9 D;{&[H=e^"6bv~?uAAF 1}쁮cE71G`ikٟ0VKb,Ҹd:ZY`P%ulÏ/PGN7@ѤFAf<Α+A1~z ݤ&Jz`ݠUdȨ<92}T̳wN Լ2-@mMݰAy@A:/V<]E b]|˺ sUE\|% tAx_YZ"Tcq52mѺ<:,08m^Dc;|&^3zST?,s \cFҞ`eZmh9QVu_ 3-^<[#w}r4 XC mmF;_%kZZomn |] H=6': ]K ' ۀPXer^Z3l|a>Aw+܈\Y&F' *2 6?u:wC,fUum!brY:Ò`2A_ /V,3ɟ}{lxh}u fngD|ZɆoJ>ur<ϳ % S[ɚ.qqN=~.BcWA9ti:]\IXq ?=c#q$][dHQ/AvyB}{+NbᘞPz:Qc ?J03A*EL4JE|!mNP5竫zϓ64#Ւ ?sv#Ws+?u9D7YG u`uH@5{g{ڒİĒ@4. A'=&=UjT4zLQ&!d*%xP3jmh:nȪ¾l! >:k7_ Pѝl}[nBCkOC+bQ1[U3.^RXC$"'`w6aR b#f2<&PmlM蹳5Aos3ȱCZLs5 ̸x$W:-޳5(4:3m1H؝7< ?zeeiM.$:t_I*XV^P^AEy5MZoj&۠VRD,$MgFzgL3<~H1ov9D8Y '|kKl:.\؋O#Ij7Lɦ(v@m-q/} `*l="?`b=&m_ꇊ&K O3x0)<*kg@]FpTZ«2&y(UWD W`IQC{i(zk& %Cփl úmbXʒa25M$+dOT*-Nm;WK N= ?⬺_k~i.аWP ش~ci>oņȮM6@ڿgYZKM3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy