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 %r<4$ ]/]ZF-Induct:threads=6elapsed=3.217cpu=11.754gc=0.4617zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0%MÎ|FHXȄf/GKԕJdnH&zR3d&̘0[x`1?3)O x? 2@1xhn̟QhI2Y+u{'\&Kv1嬴_تԏ*iigYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?JMk!BFq+ KuAn‡28oR|twv;v[QR;(QČfo6d(f')+`%5PpŊ glp1\IZ6_ =D5.MABkkgZ69NF FpKT#bvEw`2 S5~¡Lz찔E P1aZ$M"e;gYZ7zXZִF! ]ŗXi%$P@JoW;hH0tEx!5TY֐8>tBk$[BhzU|L&(&_}J:9oSeWAӤ;jnQtMa `l1^Mg~ 2{ӺZaDkbuq{!&?m8QgYZ7d91db575b5938945c258b032989d9fab1cf40b506ed097adbadb944f7e10d615753dd119d75a962 86ca9575d35d045d0c57222426c762f972f1981dce9cc35ec7ba549e535457a2f6fbd849df1ac0e4   ZF-InductGj/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_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 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<ڹ7S<FMEKDG?C>;<:978312/*-&,*      O* ` b /@c9Wq _3S*  /  ) x O % vM#  h 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 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.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.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex-)/ ZF-InductZF-Induct.Termdocument/Term.tex  ~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"!gYZbچ  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[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 j/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_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 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<ڹ7S[͆(}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 m6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ QqNl/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  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  R 39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZV +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZ v vA 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,CD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ   w D A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?UeT@}URs1>һ^%o^zAyˆ=m3U-~v-q OzRID[t}*В[qȼG*PJ*鵐G;Ɋԉ)6GGl.?^L8p4NܶlQ$ ܀.&E ,S/m }6/W~Us$]]Q=vHE-3b=_9lVQ9DW%y.9uYP@d?wDtڙȘqj*,9E] p_'uy@pm8pM.\Gq?AY&8Ϯih/lMR$Y'"wDu2l Na߇Spz(ȍa lH'4c bb(^hBLD ͚7vJ>ޅPY08TDNI~}!e Bn WH0ڔצ1NA6Bd5p9 i)2vZY;]A*ZlHqٽipنފi3ZHJ`O!x)Ӛm_1%?%j]澆(W@:?6-i_O+畫qM>h|=qnpT }mwW#]CTbmlezP.`˔5[&Fg m^n?R;M]X]Hvw0 2r[JO˸70ra|So6 E 90-<tψs$wzgJ9qhoU}P %<;#P>GEx=v>-x ~\9hnpKA>W'0E`\s}e椒Ȼ`d٧Ed?0hLUNs^ODQbj 3R1ɫ@ɍo%~K&9" cFvP\f5YKK .K | 4Z6 s/p4 z!k{FX.!Z]f4SE0`%læI>CGPLPrHE}E8Y1^#=%lyJswaz|0JH0[L̨SDžoƅc U\L6Q󈜘a܁õ;#p&;q"ZI!ms?ODG&6[08(޾W03&ZjtP.9vd0H"ൟm n%t_ʋ i݌`8J"ˆk#{kk^,1?͞ljEf=7TM/U}(l`T2WE[@*ޠCJ)-`^76P= bd<։dF.(}T6SlSjb/p,m 03YY!:zԜ8ofɫFiD5|uۄQQnѺ(`;!N!ZE)vNҮRsw)6gBCe ȩk;{o{!oؤO*sJY=;%48R],mk$C(#CTB:L2ɲ6u=*n~-@2Y_ŏȯӋ&Աq6i5+7p8~kd7"RZf`90FL\ .rȃ^^Bl1s|:ݟfN=-Y*Fh#bZCS#v`ClSQpUɃgN$g4L"MHEnwdJߚ\]&Y QKN 1Ð,D>]aN?oq21F|LBʔc 4%@FT`cS]"@&&{MVUgJǕ#/@`Om2Je/\S&:pvB'umTӆXͣ(x!rL:8JvaT4Ma6OY}D/%ł}Ô6G+ z]=`'\d!+i11[?x*Y*J3J:*q M0d:}* \бkG)Ã\8!KQk58zTa0q8yXeOQmŻⱡ"z<7Ty7$3I;"|׵6y;tF{ y jx 9475)!>nVؿYT=$_F2u^M86 ˚}`ۆT=LThs_A7t'vRw18Q3 ºŒ`|74&]͐WR3J;%VXV'D8^̲ciɰBЗky5 ./.߄A/ R6E2RV@85/Y‹]@걐M2fhg[dQ $`A> J +H_US q@̽xU,^ƮZw:KyϮB\Ь-yFog H[%L Թ3\M\.&A%3)$u3;:|4V#f-?D[\gX@IJSWJs >2*k}/QSf_slkT-WWH(C=Lq{EsSЯ*rsKvI?1TW 1{`f$Ja]C)X)sް-ѕ G?%x6Fg <"׋ML0R dǡ1g8珶atE̩U"ho?DoEc^=/q)ɔ 6|:7HwBr9Je:gf_Ʌ#ٷi32,Zč v&AjyWp E;'փA2 R8Yvx4W;Hy `QpJB_ 'צY!@T%^4m xD6"fqc^}N`׺ڝ_ =*X![zč9-:N>r͏6-Vs5U'/x8aD:koQ>' 8͔Ear^PgYZ h f jh 1# T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λ᳦YDdp$b IȠ ;:LSV^f˛12iFv  cZo SkG0Φа;5be=}1p@ +߆6;53GS/"DR˫M$=9FL8&/@N=%pܬ?Ëk=Vi^d'K$ }2 N}vQopn=pw@?mU%'A0'~; G0^X~9 (5ꅇ ::2&Erao  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}ZN)A) ^!P~)s~RRNC I=@u5Xi*RByB:yb{nklЬ2ުIn(AsH!gh8ejA eW+ '+>Hk= ]ɋ( m\BQi :CN^) #BJY?ѥ4CIܪ(MlkPe,H#:ui/#+X|Zn;~#Meʾx0UYK8[m[.O}Y )j߭ KwL_Z+sVᄕsg$չygxQxǾuU6}\ ,J}FoBy-j `t5HE9NdPڴcM5p"G# [ Q@yI8Qz*> ٮwvh#IVlS}HA/Hօ`YgN;EzuRd}fZM;@o3xA}Um!,rD%5(Ʌc5_PMmsx>;$¤sY xNcY}'YwPݘŒh'tEph!r.I3)㚳G z"kp⒅bK*%/gYZ6 /# ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9B\bUt"]Ǐ?}Pis&P`Lϛ)ujvCɆpq·) IWfxu9q;^#Ԭ}n U=`PESThӿZP`kڏI؈d'H.#=?r05(qWF$ U;@c >$VE{(Adn=\6kFDY;PԀYpKWg!ٯӐ Q"RYw'^O#R\JZ5V4X튈$+ +׷.R\I3@&!fV*F ۻ*t,+ :gK:h;mJ*▔%⪋ 9촬"\=M=U'f< 3D΂!gl5j.~~"\Z^KC2fHkN^GnWA?ܹtOp1툇 .6fnBf5k/+K>K1C88 C(n-f&5pCARV T)+/pW.̍}Iևͫ"%`z}4 [Ȁ딢O C-2c0O0ǵ&րdcxE'=(rUϜB Zne ,*l T3H6pbN79E}8}S-N:>i7%"!;+>KCJu_EHGnmm.l&sc,JKw߳ `ДȇJ^jr`P1ebl`oYcD>c1zpb$0ӿ_jZp>up0C%~x9Y'U~`eu13;;W^X6ѣ8h&wW"|%)gu!XRWrWIȢ}{:F˴/, ^&?\ F89`m96&uSsY)v$Z*H%?H= H&y1JB8ǤY3^:vGY[aU9wÓeva+Ƀ,E7Uc51b/̺Pv 7x@U]K4 |?,ԽM"\I'^:v0Yqom E{6gq(AS~G h0̧)J+;a0S\dܼEe@h3 qx\SQjz5*ή32O!E}* 廱G9LʷaGdVrUO7 Q;ĒYI襡~m(=U \r{?m=J=cvb 4U'0YɢBaFi|cv"zST+و6=ȂyhM(O~,Jxhaa=h&f<2NN[Y=iMg "gLavH8V Ɍ)b l G=&gfrBGTu;ũ , k=.&mQs+fouw]q!i*HN'!p٭kY5-G]h ,ND'A|G%\dZG@ q88.DBY\ <ϋq.`D.`ºa5ך!BdEBoЂA䭨/PHV UO!P#U^O;(%Ņ,]9].BP=̖'% nUZܗlE$F4C3=/~;:سܒNDbY5ZeԹC&w2XGPf{vM[oI G ?ڜ)`tl]p'd]>H ~Gg4 "2f"/5H$z(v 7l6dq}*znt F̟Q"G𼇅$PYB]_I"Lf+rʱ۷)+<ff s sip[ "Ə0+OgK)lq&dk QaûX&7=KG/렺S9IM] `3_xg4?%5ӹU$ pz[^:<*& +.}!+٢2'#n`<\R= I9"=46iW?z1 X+\ISE_/c4TB`g=k¨cI"),/^ݷ2>:L?w*SB|C jlw>#aeISu ~L϶YڧXػ^D4&UA"V/O}kbf[ijy-5QkO\ <- ﱚvfgڻ$ᰴ xo)B_.CRfrKm)]3h{4ҤL1Uk[.ʲ`n]q^e (Fe(HN{PDPP`A/e${g92zck=uXYmAMWt}Z_YWk1<`:g{ My~)[\ jɜ\[ZqWn6\Ijd'sKq%CA0 C\ZMBE^GF]n_,h$֐SZ! 3)} Z*INW$jޫ](*#y5 yT6 &@n?9Yic(WM72))F>(Zp![i $q*cM:|}3x^#ځX[)໤K(ā٧:TkҜ̦0XYT誀'9@}%x'.s o*4 s3<m& %G=xx0eQ_+W&70n\o^@aE>BgZU4">j2aŠ?VXލȪ9̥NK֖FO"Te&$K<\:n^ڼ׃4@'Gꅛ;HMaq?F!, 'ϒAD2*!kꧣ E㊻0|sYg_fO>hGI]uDb h ]-c,X5IٿlCç@ f8.([tCȊA@eGQ]Z.M0dF@d))9٥aiˋ؃KuxZo\JIW/9x$ت-1P}ƭ k2"Ϗt(b™ZiE+$sqT4eRu 1kۛx^쟻fVl-i `pA#}·ADji67 T'#^;S3z8*zO(u\Kb+LGnsj@Ib6 c0t'Г̸$^SйO׫;v< Qͫ ; V/G=7ǽɲi!  _}}"cy=$WY3>c!.kf&ԏ)8(R䟣,L NӠR#Ǣou3y< :a~6վ, )~(ϙLE'(EH#E9|kiPB::(lt\ 'XAl{-]NwrS9< Ό|L=A1v3QJZ(D ŐbÉ]htd͔ vwbݼ}>CH<^`Р[2V4U쾆hk4]ou^P;9:Ṃ@Ntn *MAvVt|ژRΟɬ@or{'Ic" C]ʂ2fL{Rm;5ؗzb[;ȾbRhp|)#5|:%SoUKˌ F?] |[Kv}b~$`nDWl>VfkM+XZ !8 ~#_HZI P< K6Pɴw11J֪ژǵx,拾Svu%_Pi0*NHs8 Ɔ|oùFu!^V&M7#󩙜$tAgWjI]"mQ++Rfh u:«n"HEw/K>})h t'YQBY3O UZԣCJe] Ђ OC_m[^+ ։$TB4VDt+0&{Nzd|(f[5:lO',uCU9솇eD!RR`8v4/$.YѴiF,c¢$/K ToW,3\I,g@sY"tlv k .OWyomac78 ʮV*ATF0 + 8YkMjm9NUEưiTǟi?&ES%),1>ZM:܌>PGgS[H$f=Y}KƦ$9L넅I j_J8̻"|aC:֪(wMmEIH~۲Nnkm3äSU;7ZPYL 3"SJ2C8={~ zA__L9KôU ؾ2g! U{]+NL(3Xϖ7z[MJqI-VH^5c32,HzVzRcn#dYt2$tЂ@Etr )OjK瀤@l4ٶ^( (ptSS&mgeҚ zt= G*Gl/sk 4(~8"ε] iVnVqMuCSGu4 HB\FdXݕ(5WE-PEȻhUys~ǖDmӌSU<`;d4^J6rԐ5 8!,a5?(%u6cG!Z0lgQ| *9x)0Zs}- ͜gl+fY`•e3aMȘQd73rub>D3]g$21KD F1ZXAB!#rOyۻ>}onS?;vht ſ%;P,",ʯ[Jb93GqA,My' ZV5Ҡdҍ05]h G^p~Q3F@W$#t,gTw\qǂ 8_J"8YT2lN!5{eLv̑ AnU^k1 ,tI2|K*(/5N'ࠖRN$r@UNjf1&؟B= Q%Ol4> {9j|I(O(Y@A~;Xݼ>ݐLm)tdʥH:JWdrKh1WbrЂDN=@>Z6]碫Qmms銌Ma(j!&HVac_ŅRngdY:&$E3 ZnXxMp`4ExV #0<ա6`7QαK%㈆xL>JY;d;[YKB#$3)ӿi.GuA8Xy][#zIu량.оҴL#uXX+T޶J%p.CӌbQ7ܪoi $k8g,*ZIUy]*#ALYʨs%Hx' YAС(*Q뺾Ь>ohNڟ$+~ i^h KdNh-ǥA޵ ֤豢 !kTf<dlXXp>QV;w"j|L,>}\kM/8zk5 862JU>b2JCD>C0COp~99t8]*{(ogncff]Cm!Ph-Ml t44͓<բI9~[HN¦H{LΌ5zsI$fGqtɩ񹤕4p?Υ.]?PU[a%_3ћb_ * HpYuͳ}֋I),c/Zbdzy:Uܗg9ya|+%rP?hs/meI-w7eƭq˥Ԝ|R'KXX-Sdl@>Bsw̏řW.2N\+!ʇDw9 ,s4^3 H DiP@lfLd>"e2HXg޳ƆHe0h9*HOcrk'V0&MTi}K7b=:_\xZ|e[ 3w[BW4Ji1@8i8JgckۗK@,\Tq)dT׳b Rn,-)4BwM!(9kf'O\Sa Cl nQ4[5sez7Eihzno~wSJ/1K10*K2Fj 0"Ko"X9P`ұn'76,d{U]W'bqկ~hC!Xm1GqTk6^[GH®XjȊgӚ!s ;r؞\ugY^ǹf*8H x@^Z;bM v% 9T_Sli׮U'Vq#^ldkۍLcߵA I sC(CÂj9vFurT>D,>EUeڇ}$w5⿻1`t1ʣ324NܯC$Db<gds/@߈xk6zb!@#m'XԠKZUK{#M]]ke@6ݢ/gهc !noc p^ Z&lplm:񾀊}͜b3Q-t[G:o1[w=œN6>̳UN\ZB{` Qܚ/4aEOfYhs?Xi &tBW)ZΊkc`J|Hyaz9B/R)`(Գ.Ւ>فD#7-D_2xZޞ܇KW`g&bkz7^h:R{"ƽ$А7APTP젽hQVp9r oVcCd*>?RyߢwH3tNejho|^^A>q{hAESqh1n_ :=+C/2Y#ȤMt{x_|ġ1 3P"&c'ina~%@@|dRTf}~ܹ}H[mdZ'ߋgtf)q[ɶ" PNQeW7Tu`@Y2Se/dl=>櫑VÝj`A[@ _rÀ!Q1iYʖ%:[N"JL'ZLA 1B" Kk A: n=o 0Y7k$^p~@Q_6mowI8[g=?e=J؎\!h0y hV#dVZ`n-wӥ^WI9EEi2δ]N.}]OYH tbeҶD Viyp'aIsSw)0uo~v6 Ȕ8cB_E;';Z\D,Ofk.+l6j^@~_Yn dՙةZɇ%Q\q_ ?7,ߋ5 ׇYŤR\a + `ʢѺw.g3EmNUalu>+N !ќ6kq;t%'ZͅA6%5ua>[q 嘓iM-r%^'ل;ju'(e9IHYljXt7FH'+-v82<R# jZkS'.ֆ'ac gYZ!f>'uou Rlcd6$Srh $,l4A:4m|WYNFJ^X  !P[N#ܣc0 xu:O,*fV[U|Y_D zT FAӪ ͼFȋOޔA}`h ]X:9\i="溬_~"e1μ-T._ޜQH&M!x,\a- 8)]3p kO2 IWk^P_u Ț#BB餡_ygQQFNV 엙)Дnlq//k4p#gETQ ,n'[Q|A.|iIm_Oei[j_FpˊmmPp\ -Qh~{=Cy2҇<us9(O|޳CDy?jq8=Иj9F?i3;gJ:\y;#ʴs~I'KKf(<k6E!D:+_3i7&` q;OMu/ \p`QRVA՚鐕 ebZT;+c [b$kpr(Pd;Y#`}c:ӵ9|*0)i>ӹ <@#wّA#>pAPg?4‡-It/baXGkAG ڟ `uSr't@P.9H&Zgj.IxO\e܆)po3;}DZHaU)b珊N| p5.bP~b(XE0a\kU(<ͮ5sԐJSSض7ʬ2 Q9k/Ә+dQG?mp6XjTňDhmaT% D`܍cO8Ot.OX!wĵ%VKD4I JtWUp?'a0ڀ MCgX3!׿Yn8FTÛtLO3()s"tK1K,1dVn'~`6U X]Mm͙ExRs*R4g⊾qA9}lόL^ukVBR__?/Ms<cOtp.%ıvZ@=iZx^zZjQxPWE/f(>=-6m4m/n+UͯOL3S|.R[V|ES^0L8$8=/y_=<qne2D9}~}OWdB[7 f'LHqvj C>J% *HZ:U}x r1i^iܝGA[ >`鹊:iP,iI"qwLJ" %L!S{_Wt)UNXYF ~v# x]"MNd qo"u@!t>Hr2".􊢊ۭ E+؝-}ޚ0]"1'Dr3! wq3rwhq9L,WԌ*Bӭf#Yw8nNc:<'59%i I7vv jJ8 {/sXxiܥScǪ%!EDY}%5yǺ].db}F l!WJ역L9U]ᦁ&Y':g]>YLg*IU# e ~ 47)Op@va 岖Uޘg. ô,+uTWa^Ojz< x;ϯK,ByIgr_2;zGuudx`NR~]Q=9ց6 ^6YsvkV"&nf17TU+ =͉"nԿ]Ycv nϣύ0"n ?F (ߚgyUy|I]?63m}Ze*ם!3 \b|nfu5bn @BHeôB/';ڲxBc."ni [" ېNwtM_"_q6OƄF5T ٖFVpo.+63 Tзn痧}CZLxuMVg~YEF;k'M;uV(0/`D +cFGbW|}t$)'[+"yu/w?ph zs=epc-ŧk݃ӣ#M>/[g$(?bä4g? hȡajѮu2O.4HOA ba[y>)NlMy KA_sUIpGQKJ~KMkf> LXln+y6DicW[^`E̟d%0*Eworh},se1Jz#DӀ#u]$s_ ͫj)'|?8{..PL+Y{}>b{mD&U#q;IȘ~Be& iBxKLoA+@8"}T\ SsC >q|j\L)4I@HL7kU?(·8s5OObl`dItˏڢ`]OM|^%ބ1 -ꋌHqҩ Q)1ge:!P娦wIt]#+P{t`]/GK)25J[ EhqSiMc kjPm;\X xL7K.A,#vUԃA9[p)2JIT oWceo {ZN(}Ι*7 ґޏo݌*pS.YH6&10΃U<μ, Mta2տm((cz(/;^]Q -!bB+&/^o\5ӒI~zk,P*Ma+4Tuļ IgKe](<^ D t l3kZ׌sJ4A;b( Yu%SIlÑ4"7[]WNx,+K)C)b2 wX6G͠L$>gpq %x܍s&@_idK^,\7d1Age0aTYZjZA$9?b3*0Y}3}lzj_8эKnʚO`%F>Fi(K0%u{jpm:N9}s6 xQ|<~a3l D}9?{6J_cq\_iy"NcEn~THpGe;~ׅ5̵w: `n铫7gnxs)>Lz8yp'V(yGmVB͕sv>})Lj6k7]E(( IpN5^am5dCeƂ\Ka`*s;p:yę'FC2[Jm5ֵI[o="M1΁J ߷g8ж ؋p%ww$ !ş"\$>^OB(͢n{e!:=pI;u|l++jGuywP!HpX57e(P$X!)aLƻ.@K<+]n7aԚC m/Q}eOgo>gpr9ie{a)B#+`o*jS(_— ,Ɂ7n\9c:Ll7Ʋ&,}h|LApJ2MnEF_{*[{l8p[-Ѣi-]O ۢ%%U '/_X eVH#f+GꮖSbsV8^7o%*'H^GEZ9ym,i_;G,fs|/u(C-SڂKD1Hk71Fx96 j.ܱf8l|YN֖&3$ctPEMn8aoiR( 4 O cWgRmV.Ɇ/hXY`!~d('<`Pq1lԉ+1ur F7E9?f ^y @3Q!+*VHNZˣOփ}(V#F2K.Іw9F]S$IzɎ"H$C+aΰCw4 Ф&yX$S'Pb-?(F P<1G+nN_&YиZRmJ,ɣp4<ΡOlNw`{L$yyň~hfaՇ9@nShFtЩ{XK|~¼5nv7`@1zn`WNt-Xj0-[o\VQeww'?JTtCT@̽7CZ^Δ[Թĝ> ,%EZσ=؈ikGKGhl- bؓ]供# 6q0dNZ{ӡAWMAH}վ1oѡQ,<]xDU.-sޙXa7JM{w+D+7<CH,5Y-X.Fu]2$vӴfSݕH o?kByZFgT-!H0 5e2 /Sh*<{_`r_[B6q7vy2vZ07$6GDV]xb)R}E.p[m('l?h&K8]O@(>Br`E؍`r "[_j,*C׹KS| ⱜIcfÂWjIWʇiࡓ&3ow5.+T#D1l=AFR*mG?&l_flˉ "FIe;h/ Yx( ~3?\߾<}NAb컵ߴ?*)B;I!JdDZۤbZvQo!w]~Hdu2:*E !K|HhP<$cfTQ1Yt $Org`m)Ivºw+=jܚ,U[~v?~8+dΟ+wI{fVSv$l_" e3l]A'dO^o6So{qq59 HS j|> ͣ7x{ȱ ׆J#6a:~9#(ơHcGnOg] GXpfʷ%ٛJ"1m]_"MB(i]|O9ҰK5jT&I97&{-YAAc:)fCZD+$0݁~3Ivq`%鞾"ʥi6S}?Hb] :6'0dќ(k6 .wd y̑9ZgA ,<XYkuZ1p B4yvr9YF3D!^3/d݋q-w|Bz2̑7 qxZM `;Ζ" R8~S=$?̰ I2Yg9].dՇ:'!vN-WW, L7[LdZ eāa4LfQ6z-lZ0R$F4 gog2='!zJ([AN~wKՆ@z<&'蘜Gݞ,F`1T?X^ zND5W=2*KF#-Ii @I 8Ʋݪ& I#4!EULQf Yս4WtL{'-۞ww@T|OSf{2Vq|0': &tnqtc䝂*#F7Jò{\H^zv$ e7t|T2'dLHk24W2zDaS{FHIMwU@ [XUI 4gm6xоH ;|ݣ s+yQ yiqQ>Dz/70{M>X;-;j򍡗,˕^a9$avŎ¢ 5M+Dx V p?bhOtAԲj J V%s{d!^\ caTną#MH'UwvI6RȋYIGO)ς+[AKsúl(ZRO_|u!$'Uu 'N8AH4VD) \őoJڗ==W97CN-:%S*jfHBoTDg~D@dDfϗܽͤY s7q8ܯgUmB_hb o\鷸xEÛ//iوYm>ȉ9U*R$S]xLq{z_m:L~>J+l!hplS +>f/I?b@8 5+"^ERd|ʹ nƦA, |D@Jׇx)餻1C¾EnLчrNѶ"\My@ WG3UwElq{x'g7V0G)FAT>evOhC w""!MiуX{.\4fVòwꆣ+X4fȽ FL? w6lWg}V/rzO l[*}2g=ûxe:^Vt \y'"„Hp&Y"nTV@E~T:j*ggdH8;Ɋ_\ylMr6@p?(g̒JاtOOߏ{P$9:,ҽZ$t6|ޭo[&M˕ i8)sU3(eʆx5kASr`k G' _i1[YL}1&4JEoGrDZp;r*$m ֛Z! Gs.wARb@$E;mɗK ,CS'3~LmϴBxzJ,$'pgFBJee Bh޼V^1K8qd.Zn羦HZm :Vm|j͚rsQDc_ɍ!% @ɮ-_7_^O} 0E-fx)Ur+B[WNjuHmOqk/A253i]`/sL::%X YY5] 6r{RAF,z ѻ^CiQпw_xX/|WĜ |YiE *[H[ _+=I$LΝ!!y)l0sNWh';)uzWK`гP$Mˉ+ r1de؄5q; ٜUC2W5ϧyG穆o!me `4j37l93ħc@[?8XKKl2U9w:w%)1C{۽H G^k=DńU'@ԝD44hч@%]R*}GS:4:E^b7bWpn הކhG t" *qN/1ws]9Du̓۽-E|b@`/EXb a'vC9fnQKP]Yƒw ኡqS˜Jh?RY"W0,CoGa6,=f˸;w:q6 Z۾ 2Hl-2v'OROBIcEhAeIx:$&*!"{ɯs.egz{cIE괺"ldL'߁ap*MڙJf5rp odtp0ۨ*ۯMphU-LGoT2ѐI,HHs Cрc>82jH40kgK{)QVR5R(0TRlB6}ek P6"!qg \yxCUym@CZn e7,X:$^= '9qmw#p޲r"S,׬cmPF .qт ~PLsW(GV=m]!_zREK:L5PZ?kL]pk&-Nq{-+wӞc=Y ._wYq5T3;K?8\tWioB{J81bXY{<%ښ][3Cct>ҜbLj*%Y)^ 5@|d1u U\_2.+m_nm=WC:" mwg'u >y*1곫'OH=h,+ѝT9sNs) 2z[-6M:sNuOzw8R }68փ3MXaגWvd??2 y+UΈ\"#g/eW0!y ( ZlGˌߌ=Ϧ0==QaLH-RaURB]i&Y{Qr;6R*=T14]qqxijaуSOp6L=1)#!RQAbNUP?VH#le`,;y)s3<-kyyHz(ʋb2BMD-6ݯWུ!nzNXӗkNbJ I%w]eq r"`ˊn_o1_E[ϰ86õru">Gp%74_$o܇LtY!7Ges򽊬60 ^Df>L]޵5Q۸m ?3zl]}9|.T/6Lgc2[Dlv؏)h8':($"tGB2}C tyъnوWN&E*L/ry-n<63C2aRbhw9Qk_i CP6yLj~4523f\A;8!yQ|Iqqs"*L ɖ80Rx苷p}tmRZ˪m`պ,N %в>cQӱyN-gd.dRlqx B Lcmǎ17Ąd%^ze>y̏O#4|1?3ލ$h\r~=>mC6jo0a n?I(0Y s0&֎9d)S6g7MeRJJWàߖ! h4XVM>eflۏB [0eظ-]C^/cNЩ{U=baP;2F7TK} ~Vh`$0eL#up2t>R33?^yʓͧnmnjr紵߂Q*`z o[ TbMqmNm;]/,3ƾp憣$ AS2y"0zxqdXyXh.,y.i]S.唎~^ksɇ>%ҹ]J}$f7!1q*I 3+,v&QĠ\@JvRÓnć X+~3.+ŝ&)d9S 'So :1(UI`ƨOgfUh uハLHG[h=cjё,!PC֡ ~S) zF.U][Cm~T#ܞ7Mӊ: A]K #r!@i*Y;^3Hr2t]\Z*6` ˀA^y/=-m,aBvƣI%tD8v&E mݎ_Vhi b 6'͜-NzI/Z'Վ.=}̞pQ':uAwſ~s "FbsbڵulQ6qE>Hkq"'@Tu&B]|\c,H̫8|D1WZѲ8 akOcQz:=J46k,ǀ8)\ 7_kEfxNFCptgRjM< @.@_8 a|kȑ+5YŅGԶ 0€'s`7 k)ăcLa [mfގwb!ګ#c.`z^iDu;r L1~W 1wd7cIJ1n` g BG| /j>u55 G 5U'1c\=e>g>>747{dy-9J @bjCN@{̾oѰX3(:]}C.}N`\xYgqhagMGr`ww n1p O{x=NCTﵔqho3H }{Qmjق (a]ոfd~Q g#şY<Vh]|)~Y#Gc,EK$_fp,*1>Lrlr# חǵrB4L0AV&-> %^nC WH3)fTK9po@'+$EQj.-q>?Z%i_W`gZKx_3}]gAB?գsx=SEREH>\7 7U=z{HZSCWmGgk;C-'dVRxG7Φjf[ RZsXvR_iJxuEr}dWPof!7fS4slx044m LUy^'GԁX@:kfnD3 \z2#ŐNe*u>^>l #VgJ8؊YBh8K|E5Y : o,YuBIk=~jm;9H!.e'~QQA5iW/\|Jc)Ctoz\ͲII79ad8H Mkq}g3(ep0=Zaí1"j$NŇZoi0Zpz h`Ŋ$K*U#i[Ļcܙ@]<'Х?P(bvu"@^1s7ܒ!!0*ϫF r!}UIb s< p=Bo2_X>p\so8r$bWRzm%CG%MK#;T#h+ ZHZ9w.;W07d dr6ϔP]3ZTe w bVlacSZF+'gdɧjlu(_̶vy_"oDy z5Aksl8]3ǵ;0v@srSZ(~I}:pT, .3T6GPo>(=Nx:F݌aҊXKc3kzW <]֯?i4/MIKQ KܤkgG0 R}Jr~Svvd8͛&D K|#%<Zvl] Q#XZ0k5MF IpH ilcT/3O8[neNZڄRP\0qkAH/`Z>nJ{uރM#2AbR$a]2t-hkdZaOR^QF} \= >Z~SMh!cS=E |%ѓTֈ+s24n׌%lOmOl@H[7e!4$oKz#ES>}R@ߚOU!/7¸m|WF|}fjq)V.D|OA809S_F=Ss LDxEjWFu LZjUB1qy a8mk)VlR~:H='1 rk>sLA rF'?A&%EU ;|)me̗c4gagTJ'OGR]2tef}`]_?٪;F ݸQ}+6@I%Aݸx4CjK zQ82\ZX{HZY&z6g6W!çRo#Vs0 "b; r]}:y@t@֌6|)#Ăg@(IUfz GNJ(w~)’~#K.jZhvӘta>dҳC2a=[K|NkR+܈6xQyN(9E`0*Eo@J*-vq,ίѿv4$/zD+_Jw/zz`hϬy\j-AZketr`a`;( ~Mkv$\u6R ghMMw^O$fmgշS1M0.fVLUlۺynlegQ"2Xh  BzPbr?bUn*G-N.U\mO #byp#a{HY?YioY y''p:q1+*( P)<4fu(Tl'/U 쾼օoC&MUЙ!TTCʉv SW\oFcT2^/C&),]wK%)J[op.ri/_qa%MWHSn 2cu[@G#Vq4P[(AZ3f>E,KZ*kn9SRA[TySbD.Á\Ƙ! ՜hd;M('H3C߲u@m{ W ( ÅRnX5HaOH>e)̲ t (Gg nО&_'YR2zQ!˄[P龜($`975m K?OsEҊONÍIvok)kXk 7v):ce K9^Tu>bSg3lh6(AӼ))F"ں͡Nhqvrnا\ί[MA$8c.L 2khȎd#(%. wS$ t 6^maFuuQke `P;sܪ _*mxuw榰A8}1n(7[~Ct/<|-Wu'OW怃Hĝ7~if L|FRX#I u-EW"L2bק>_9R,3?>J8AT5$4>R/ԋId@%mdE&6A@7v #/ÔIw@|{V1!D rt%+COIŎ)^~@adWQ%1P{[)w2'BM`ƍs >%#85L6؆\8ݰgtʭWٲ*F6[+k?B15 eV| p?DS?j~$ T!>ŌT(VLݵEZΫU}D!+VHr_I4cٴѕ]~" GM{d$sBllѹ$@~Rͨp< '@1 ]/!EM5 8Y# <>^WAw=]k'QrXԗ'{YˠV^9}ekc\i"EG2awj'H2Ṭd0XD:G@><'"iˬ^m6R cQF$8e"aW& y"^M:ofH o3"mH(Y}2HO0D^NA+@ \7M9Kp"EbЖOR떠OJLALJF H2J`X ('rHܟ;mLgY' U qX~#a֛UG "\`m5@7toL,>+ʍcu4vb3#jcll_m1R.,kJIs=#+Œ/nX|S{ޛ&-ZbdF:,T&rhZsieW=3NⲏOr,`pu2?J2Ygw%@+ &.Mx&z2e] M)ڛN0 SCWbͳfBBE)U7͉`LN/,%jŗ fm׸sG"! abBs !s#[H; v ;V7V$jw$) كʕ؟\k Z@UBX悞?#̟bƸmM%MrWl^ eҭO>MQ˳45W̿Rޞh}_5%yt*/@h^ޣ[ ?mj (YeJ^p¾X=&]e(#\,4(S49/BLiMw˄mBZ*{@=_ͳu nrGr8Md)4ǞqAYA~d.rIA/#m]Z+@LX[~GzxWUiq}VVLK?tOU}X6wfmiӹ7t.Q@` n<,(xq? Ӹ~AȮj.Zitc$ҍQY&Q[ #± 7Pޙw: ӧY3 B n7 Aȓ ^UxcjS^h(;~8뎹+Wl )-t cpٟ1Phߏ>WgNC]W{2$ªpC0=ӢC'BP1|3j96Fl==^PǎTD`A ɴǨ6\ Ŝx<.N=~,(+Q n I+ߕǫ2?<R P{zhp @dW?H?N昙{7m5[Z~#TDhnH-}آ)K<_i Oԋ³9R$Hed"4Teֽp`F+p묉f; 亀h!"z!|R<Tm=J2xIns^PuB>HKK]Ǡ>NŘ<wAH=:Π%|eju7u#.\7.!|^&r/a:aGPi;hܖ`n.'u_{:EnI$ix?6d.`E jleѿ?4nA:b߱,cԏ{Fd3UC^<=thK> 3<V2lC-q,а%_l! "@yPu_RP@ҍ৅/ xQ0ӝl-h":P3 &L>aA'{n`+͉aoov[xUv&Gx=wt"=7N"#ZPc}_F7{#>:EcchtsdABڇ78YT uO,a/W[͗ ~N5R/W3tX;,mzzR7dQD>q%_?$\2PcL̩N[3nӯ d:Aj5Y9|8.PP 6\ya#Fd0ɦ4*&~/qo>ĸ2D=A%˜+$:Ēc7֌=g'E,e0Ԣ{Oaڏ39#Ok;po踗 V.ŷnp3qҡBk5BZ^_颥DXJ=aF+=sJO}Vvzʑ׹LhO*ґ8TBmm`o$tiܹ&Yj52l7n59v,&oiT ^IWbRw1`rHqZ%r=AIfHxjOtN% Vubq/YH QH@k^nޚ AȲߨbb6C/S롋x} QfNraO#2pՕTT.qJT<*|$XP{J-"̝ [%R5cSCl\39p(k(OKE|Z7p#%%Ze/L2ϧ ͹O b{ 'e_5ٜӳS{WMZp&/7Sk4ְ_tø]zɣN>V HK ':(Yj>cZu0g* r{ZSa i)p2cf֍k[!82y`qvz%AuOzMDv)<{Bh6G}u8봽χj_XD}%][ ݥ؉- 6N'ztWVD_ڢ׸|Y rmWۉ+ @_߽vA5zŻ皖#Q.~_uX:qP‹  z?}DBevd XA|)NɢyR%ּ j "=~ Ќ5\Jgwa*4ܔxErQȇtpO]|œV)S1~-UXeG#wQ$mz!X .jzi(yfWÅ0^xҘ6d#+:ux Gafs:G3 @i;v[$#ra Ke 9[UjH,e0 3 lT:XKMUAMcoKSETU)(d ê! Q<}B+$=C٧,3NLðh$+DjGCert'^[Q!4xd_p 9-سY,Ḻ*^YWïS5~1VV[=7 ᳋+68ߤZ\lN 'l\S0@b^6S Es &f\cX?bTK"䦍QyV+2ulښKuK78PT 07/)^MטNf@1AH$fsf+V~ uBxᚹaO[4._:uҳ"}]oإ(uYw6( m)ejB6C+A Ȓ{~ }0s=y.~šw@!TmZN4<6c[/NB 2Qu{:0+Rh `r FB8m<{i|TEIi c8ͫ%epIk;py=y:,B6.y0nz]G\MإgV\7\ }Q1K]sl*y [K{,F{(!Ѽ<[`emMH}5Y/MS@8V~1%WӽT9 /*m?O/ǵVa R֐Ь!(˸RG6[[p=`diwȰT +$G/C]5g/ԶM@I b|X&bK MQ%e&z߹Y5Eg}N^ DP,,IdiHbƑ!2 ().-%A1~J3*Ŝ꬈ ( 3[u""-u7>pfX^dZ$Hzs+܃3jdQ܎9hH|n^P};Q"!w㚺[ttRIT1lAf`k;,o3팧/:a!֒l[&4)C%cuPyUѡ D&ҟL 7}e|DXgHjsג|[i RV$881V#kw-~_4B( djER?un^|NQPr*Lĩ^Znty4#̏ |bɘm}\s.ruֵDE~x7暬Ђ*:yppT*شn!HoǕ*(HC|Uק@C Ǟ|icgOHA{;~h]8JN%BV!ݧS,7hI6kBp _Xs:"C?%PBq? :YƵ]o;C7r?p'x'5ح㯓Cq@+!>$XHI,rݮݐ p|ԉa|ɣk~qt[4rtG1V,+I g58XyA6.4z;=IL;>d Ȇry0s(df"&$q* [Ez W7.`-𴏦dϵ¸i@Q3%&'$]V.d*SMM{V778<cFUq?//_AѶ;4Yw>sfs~cW14MM#Bj=RA0?T-̿B%K4 b%$ |s?Z m0B͏NʪAWzK[yQ]2X b* A}:)ȃt2h3օ¨ԂmȄH^4N x9HMɳ^33SJU<,s7)8g_ 3l1܇?MĠWJO&*4,7~ y);R斏Ǔf:mH':XS 0SCti{oeQ2ol?´i{Y8Jl}v"mĘV m|ǀ1`=eP A tS Ueu"PreJ@=^iU^ދ^hVH?  `2fq/ R7| BaRM Ҵi:][u|EGDyb[.&fЩX=w819=.3ie=9*Љ?lU];i(F9P~H;n-d$/M/*1|ly(&1c md#>^Ԏo&"Hkr W 5v|;=?;0<VߥLymp 8oׇ0v > †~B4)ƼI <.ּAe8) %(d5NaTot)',U{Fy{Wf^ˡLߤ>IdYQTaI$~aT^9æFV߿cEdwC_F7Ė}{!`|w#ѧr ﻒ_@FU KTlN(]h5 ?5*phђ^[܅[n eyMZv~ ؒLaε}[y.5>EױuEΓ5+RIwl(*ZɔuQ2[5hqs]~1Ds#8p$DJ3Ҝ ^[TlgoNQ<-=$Ф]Iά"xlw`bpСjk>9DKG}|2|h{D/S*Sr4zGOtkxdz[fs ٽ?U z#Z򁂈أ7skOH3E:8C`e=髩HĨ&P售qKY9Zy+ŻGV=FuI\?-)1eA:"QbȢ+SS47[x!j^c튥C߻ca۾O',%u0 GRoerfKD Y1c>r\B=OkF" j7f&.}Qͫ71Tf7>X-tڴ}6|db!G}%2$(" 4J i7@R/ޱ;{gY{±IMƵ8}F zֳ7Jt>o /d8 F0Qv,uq[ Q.e(@{#f*ST)8#@F}d Y Yc;O9ѴxΒ꼒(ojYjޕL+@ljZҴw!07c?XMzpSl/7r喨+>c8;ͅަnp񽀀5c)jte@,t:&!R!)6:90+zV ~22S8B+~i=VYka)9GOSUCAAſPU|.RVN3`)NNۅcܕH/Yf)/42*l'+hlig tŞvK] 4~XLpwWg(`6ExR,_m~Lt!%OJ(kIܠOT=mCsRM7UA![W=\ R[Nqe*IL?I3ϑ+M m3^Z=YmtH^I Ӎ>{4ogK' !*밂5&]SvrW@"[BJw/oM+0+0XS;,3xkqވ#Wa;;MNc*"N^dȔتZ&@VҶuIM랡,-*ֻKXpJg&2ڟ^˖P,UW)Fc_.N%^8a},luM Nx >ޒbouedcx/ȐҤgwKL%`0kjה\Ec9qe?CΝYc" YJi%4Ihcq>ذ oD)&iI:Mxzwh<'Ey{4|q4󛒠;$n tth$Րb9Wuslo]w_dAߡm P&r6*͙꿩vi~#[59GktdڶJ>axkMFCGf<] ƎWQu/Bh]~ )&ȻS580+B*}@t=X{cr6 i G mz3MAӳa2$"+ђf6HOֲUpT<~ļӀjb^>~@EY!uX\uV~F6I;P36ȧAA&-`WAe~:龵)~+D;Luv^ft:V TvǹO?T?R} BaͲ ms,8ͯP R)C_#꒵gabyy 0ka)nwhGGyJ ^KtM&K| >˝QD"^7 5ޔ~55ĉZ4'ӥ U 0>Q{9$pۗik(~=6ռbӭhL&VR("=DC{4HHaX5u]6@(GDVC_uN}"29YoLhMILICBIBδ] y g{@s;y7F]gtVfv<S6>ChBjXWŒrm?t{I`% ƀ"rhE!!WlxHOGwDHo|IKJgBB>כë鹷|2& %6NFP TF77yuSdR4{k[a60&^Mmx5v4W?hJ!3QP4Frsbo~UV xyeb첚񂒺2f5\7:E?Zt܅`BF-㠫@H:ġ=%pBV^CWw(썵ch=  v ?9?t:BzH˻ҫ1Ujo9h—ߝv 1n2zn2jFF\1e}gm~”R8|r=NG0 -с?&< M/Tr{SDEX=,x$(ʡmTo(B5cg:|Zc;+fERAҵُheA\ۚM%ǂ QtrZjA d8k_䁨7|9Bƕ+hq>xX.q_}US4Gl)/=&*l} {@&. ꍸOPGM ٧mX#"c0݂s?* oWLS:?w&.On/69/F;\Q5"Yb ]zeoCB3lg;`rא찊Z,(& uFծxXrsߍ_MMԑ$D2LolXj)Ē3ՑӐEEf&!64Beb[yS:t|Hk!7Toͫ"Ol^ I}lu2?RhpN&On&DaW޵Tn@:,a 7gY[?@U Ri5nhG!aO.M TF,2$QϰKWԷy A^vc8`8V~KfX"m1}-jJHF?'c2ƒ%1縬Z;lgU3,`3'5z*ӤkƗm>]&nRUNקX2zbɮޙj\?FZ^? IKE *+j6w{f hnـK1T _lG6SaV+ }00Ur+UJWaFPg5Z$jXd+ (;)7HȔf:g7+ v1s A/Qܣ}h,v@ Du/8߀^t,nǖʉEWd#aV+`^^<:(nNM.]XwQ4wiMbw'qK|MԒ% p \Չ,ܜ:QjqgM,@U &%5;!P+PQ0n -M(q-J]%hD߸0]ٜ NѶ>s 䮲-tC=x &. 0NQ.ISӘj=iQ}ègU]n21<}_cq)z*TvWT%66h,c&aͪRJMS"<Іxejd_wul > px$5Xqpan7 ܔVƞ3U,~|t˴m-~a]KJ:N )II0.vԑxbO1J.v++2DӀ-6N(F>A|<Ŝ#6 R!X6m.AheީtIʜNX@:7u= <[{AC9`K3:G#R񎗄 BD*ЬuQpkMpaѷ?|6.i@iNÓ4EzB\pM\TgOj΂]ewDsunh,*xɯǓY}rѤUh }l)O] T{#ؒr!c:6xoӸء=&7~cIcMaB|CNuǽPm–GylS J 14BG>lC|?e8>FTpt͑4+̣ ޏn 0ԙ I0נJš]:ҍɣ0ZDE,7rPK{nKϨ"(ng|(@p5b}O.PXȾ+0-B>{ gU sf`v£k(W.sĸL^5/R-b"[B{)2\QIߔbjgӝt5gYZ A 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 L]Άxʆ5.f-9 rq;6;@] {jF, ><A8Hq:f/' tzhOBats-|9:]kmI99!̺ Oآ 5n+-gEl_ܯ2>/J gjP{l s)qO)ް+/t덏FԻ\iAѱXt%]YCn4/P~'y,`HS Y5I:u@rBȓq] A+[#d{WNЌsL^FdK ((/WI^駑7~4DjӭR\[Wh-@ vPr}%ۋ'<2yƩdц5|~`}Q;ĩqwcW@?^:&jt)T*&q_rAh."f$? MSv`t|59lv&b .Vz-᳨44~9|̝ )Iѣ'Q\#Y@s9N@0~UyZNo'ٽi(ϞlKKUD#\ǼA3$EN Pyi-=Yk3l ne7x_' ~ Dղסؐa0?gߚİzsW]{LmԹPv6G:N qG!h`z;AдlT"Ov;onXAYhစ@_)&3XU:NJ,(w̗RU]4=ypN:NGX4@`9@hӒ=A/Xtƈc%#.eh:%es8])M% ƔV)ضY2DJ%{ne5S7chneUY|MKhX;SەB%f"j`p[)rm6Eօ|{ xwX/J~S%/LygW]iqtu p^/m*vY uNsm,oM,UV .L4Oϡ5nxFi/YI@6)1Z5XoYu>?NzoWKԅEFdU^E_B #[:rQct׫ .^-e]ڴx䓜G#i|MiJL'~ݡpzL"Rny듹Hf,O9oAy:ǸHMûԹ:җ¹nwyd?^~j-UZ0;n*˞rhz:J_+&gif0KnVd>||} Ӣey;O7Bj ݬ}**AMo Ƃ*K^m jzgtNxM=dzv<ǀw˿t銎gfק]x顟-TIZ _ *RNeӬmmxZj:mxYm#AKޔ-9(73|V & FqW)J✈L]VCaN椊4sPWHiNg C|@`],QjY>.Debt;֜dJnc+ Nfrܫ:KsD}.:9O7!!:V8*ݜ8X D[.Ӊlh=R'ᕳݯT[.jHx%uAev`g΋㨶6A_P9ƾ1TKԕ;1"GpKK_P~ E#NQ;{#*Qlҗ)S$ol/ Oc!1X,ȖEԾUv(gËN~L ĉ3)9 @pzfե屜8]لLH- |d^CEʅM`Ln Q}"\*_uښ*EX (Fd[z&d$4!i(6'}BR]t`F+/[Z<C YrΣi#vyTn3"H,Y2пSe-o|RL->; [[GUg#v=X>֜c8xC/I))_=Sk]4W5س`&Y*ބ_ۻ@ )n5!XC?ޮ bjCrP`i"`f^&aR@+\Om/lmof q1s#&u2O='Td֟G(W&$!6wn 蚇\<33Ajv{BBa.\wU~(>m/x@,-HP *C*X5=r^G[Av"7?,eY j^ 'K. )nτqD~Ոi'`@Gs .rQhGT;Tl'3Ay~|IQHjc?͆q-SߢVۀ(NsDp${.vh1n6s^kW}5e ȗ_29}Ѿ[0SģNtuK$RU/k4*BwDJ1~SlggE:<z0_e6| nԹY0ȧs\QCvezV`fiz2A7p` )(F3HK0!fS,qRLnAJm'b#<*M;8~1Du ]o O ab({/sLZgi4uDázDbd E($|?SUEDKa k?U5`E1TQw8x$쯰ɜV:D>؉Xo%`BFTS{+n:#ͅ: 4)ϩGV I8GV I \f`ZC|!̍=`- v;U3~iT\QhBwgm6G>(IIEea`PuuHS  DEF.*pCaC2ZlQ.rGCΑYٴKu*@6%ϥ-uazgxJgQ8XKy_a vKS+97&zѦ3KՍ7?IX,9d舶 IV+ƌ2Z*y 2 \,`~yjfZmpٗ O+q@zJ3)Nⴺ^:ؿvPNP.Qa#빕br;n{KI_Ed7k'N$&b PlD!wH|J,_&"]$njZe wketK<Gg;몊{ƱxkI",n>߇kݤM@zxoX6cU.ᓾ6 x.6˪ J0g 7^6O P³'FN^ទ=5.:jafkx缺T2<Ƶ~R}D[{ vnqXU-!j5qpƿS0jZ~.->\U]ד[iC@;]S&AS?ͥcq ޗ'VY->y/ߓaEy17:qt&bCӲ[gs>[xx~uQHݨc~&8r'x-\2ex fV!Vb?, '>yj)QNt᪏sx{@Dp4Շwr6fh,N@Q0(RD2C.PpMZI?SfE)Igof*}x \#}0072_x'üwj|VWϴI~fǧ O$I.`*;rJ8hJ8,BSɐl&|Cݏ)_%,-1'c#NYY<W餦"Z'cL&g wӰ7wtt)¾%̙wP/g&HP׮6 DyʇbxA d q/]5q3V[nO.g?mnJ,N3j9pױZǪ17ڼgs W;ݝiX:!bX/juf7EbԲhZ@)\|=\Iy}3 s !E1z@wpw..jn [BIݤbl.I/-qv]b;Ij=tM%>A<n v(\ ¬rςHCxEFJ'hS'$ZFB %+ Ǧd7% U'5iY4C\k Lgkeu|N+oEq$HoBe zt)RFAqjYM?o1&fW@4WoߏG d<1\z DOuf>Ϛ :4gYZ c+# |ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?>e*TTWὛrkޠǧ'ijp[HV\|Ewz䟇 U:?edz|ѮMԋ sbg\ύqJ7J y`u28=-5>uj}<)}R^)Q"EWCxM ~"Լj G.,sj:ǯC)S匍Y]`ƺx? S=?xH e^yHz/J7 U)UW3eQFVF $)=25ܛ@(GoCICI h-ҥm՞ ÞE]ϵ&挻3. uv&dA#70yvkuvc*@)d_`UӉM5#kO$iPh@ j߃+E@-NpL˻R@Iw>8aENj ~3\VkLdBrA~.F]uyISYî@H>Z9R !+¼v_b։TY7ʴ,+'$"m|xMdw45i +bVW r~+;a\فX6G|J`IUL=쐘7l}Z!n>*"=jɘېZzaUlġnddOS,pe%'? efd P=qn20g`N(n0/:8 m2l?.0gaF pVl3OuK.AW/>QeFw{P팆wٶpl{B[~:OP sA(C(UW9n2XvrԄB} _i8laPFܵv}YLr5ff5S;ŽE'!r .AmF{6G;Q<q9û'2q/I_jaJİvY+M JR`ԡg Iyp1I%HTsN{Y]2ߢ[G:Y'\6, ^/W綧Jp"2<RGVAC}=4(.䭘@Qfq_wAf$'Nݙɼ^ pNjs~y+qyzy{N9oy̋0hCS@j򪷋|1:ዒBW[uDo ʶhk"zmҚ:HV:op\}/#eL}\\fsHHgmԹt TsCN-_9,gٴ=7mm!=ՒefhλI1&a6X(x{~\NP\߉ǨxHէaU}Z6.nyS'G[.z[S@4_CiQ}mO >p%ʬjb$ˡdn dizNV3`9mf4?Gjs ɧÑ]fWʝMww6h04+Ηfo E6 < K>l߱ frPo#ߓ*S-Vim?@)ϱ]n-sLRebjA nOslK#?oSu.|UVo1n9e:u0uAD$ ^>,jӁj%D>sҠfkGgIJЖBK:>E60։0,HP-%e?U&6KmAzd h+"J/p%ܘnRin͡2{yP4f֭s\ j$]zJUAvojC8`E:e1{ᡃǤ zozxﭰڌ8r8:u3J,a05Ɔ?#3'MV]8 FO8ϣǠ]*"RF hfĮٌMNץI sGr{p]dK{v\ wl;W@rWYv6[ZZ-Cum.A9hJ:iyi@g9W]x;f!i3F&X7z(KB׽]]_8Mvx̉SX΍OU+8ȣ&x xZ@z9ĪXE0t p.5o)A/̊7p=;w)FA.˩U?i\ N23i.DQLirJߍE^cvAߣ}T`fs;FIXJ}`6 $+O)r4N/$G?OyEE/  K?+mL)g cms!ͽ9Eq 8sGQf JFjMFho<*asNņt)ڜP"zx6yb\6՛G"\mH;C5 קq HOe,Ec x]olH_v.va }8@zԛ2PN {ǀXxx=}tYȩiYҩ@uk%Ukm >;)kФ膖4]Z#+ { h . n{K&3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5%3-ZF-InductZF-Induct.DatatypesPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׁca-sYTK7p1eH-[N,+?Plyg dLʷ"oۃp !?7KXj5's16.j5.=HuYVIţ <Qu M&k7VnJu&CFejTUѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQqL' S`>XPl.[.ahK{-wk7i1~xUqC w~$\ErhL;\Z_ Kv5mX֤)lYJrX C ++|֔tJs#Zf:5Ǔ@Ruf^vY6rXNdٻfά#Fbp1շ^\УV[h:hy?zbU6j$g5j>HQ7?roXHh)>нnn`'雈Eк% r <=; ٖ\- *`+NȱVUTDg!!q֦ bo!հC6DJ3>6ܢru%F{pWt*Prtz*//~Kٺdo{IVWdӰ+ s K *eJ^מdk7 u.LsWp{p:)QZc]Aު곆zmr~ )xޣc  bvƎ|+비 k2ĵLDkxSHcl2q+#4hZ,kn6U@+A Gb:30;'~~ fnFL]o{` 2nO g R0. ńt<9+ɥ֣qn>@ $VLtb+=EePַY+T1"Lw@)@b b7}:&5giySRuC-HxoIϴG嬙LyZeD7T9q|'%^_?`MO|}{S`M/ b̫5ňnl %AdEeK5"+^'H>TN d:lPk[i,T* TW_7t H"Z0'MƼ=&˂0Lag4 uZd=3/g 2R|%*:ؒs"mQ战Nn c`*}Y|$ݐ\ʠq42t&u!nwi(W  Uq|*c8uo\acC'!2{'2.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[:|&[zY3$$ש_NCɣaLf-aIf)x.t\N#韧?wJ(kuA!БaG"6أ3~ 8v40D} 8|"cF2zb-h &E;6z%75Ny,H~&"WY*d'kH1sR3D2u?DTn3|[)Ȭǖ$ v)'{p$|v]yeTg"5˼}s[H9"⍢Om k-"O^f cZUƔ8Q x bc1[Cߺo6  8'/}4Ʋf@=>(z&?/\jVAlZz)ҚHZ5lZS`G_%;AEʟ z!-x7aj#f*7"8Qo'"MBs陪ՂJU͟Z(9^r*ӷeRv;gQ/6vP+aKU x_&avXwzQQ s^"3,j" oeo 7Fӣ}0;Qo*=w+k Mr=v6:h(8Iq.dXF#,L8ѱgYZࠐ® ,%s>d Nr.\:@!?3.;6Iv[:|͂ek.D+%yȔrgגΤFHあ n rj#C\ 1y#vP40>->ݴTqy,=^H0d_]t.$JLIbO"oA\:eσ?vW>`=ٲ jAAܼ#.QC_f%Fݕ$sg׼Y=D wRBoYPP9ލ6ˮ| Y8C'1)3l#4.H 9&  [_#eNG&K[;cĆ{ mw(+Y C5 o &_,F3z~B"Rٲ3Uge5I~A"qi?t#] I#OFրBV+&[~!P(pir%9 z ƕʨ%HdUh:6[yYdI63NtC f~~ ~Wլq6"6X >$XSّ31.w8~|'Y;܃y.62"i<$WVDrdB=5uJB\x_](ˆs쯦)ePH;pO ;g;-օƓ'ˇ4Js]_y28yZۭyS4L ]Vk?/{ %PC}Ѕ~JcY,dy7P ACx#{EvOhD(h՝FNysrc[(%[_Ou10+xV~Gnt&MLO&Rxܹu_R.6Y:H/ ~,XgI!8I6}IT+4vp>}|4뾋o.D2?G/ݚwxEֽBrVDZ9t@)XlO_G e}ȪQ;[b6ruOĵF rVz(Lq(>*n%ÈU4򢁞:sX\trڂڱuw~NQ j9dg lvGG}nb*(= 0$-9ܼm}>XƦxybB?%6t$54ͱ&Ыf퉞 5S.2Sõ14KXL5{v. (U}r NR85`#q)ĩW1˥*W0β- k{BC\ dr?X16m;&58HmCam#asg{de̥+$TpP7mRu6sy3Ө K;R3jh@|8Uc|DjE]wپ?/7pi+-Ϫa/]7}9_#^\EH>zanZ aV*ʠ]7h]4< dkvRVB>Yy?‘8Cd6?fy뎁9z ,ӯ dܶ`+WX`$#B,~J;|gc!eWy9+ẇ !|7,۬W {Ԉc-K<ƸΉ_%|lFs`k%ݕ]mo?[tWhy7b SuE3sZ?Rժm8o C!҅>QB fz>GĊ^I B{\5YV߹BG^@}쳚5j7|G\xc0Ç-yФVa+^h*j**O棺#@G>zvzR1ԓZ`+8sHPQJ{;X;B!jScX!>-Ւ;EMVLï};=sŰa٪:.""KdLzxw+6d 䗶Op1BYأޠV5IhNdDMM'F #TPo(IsFEX0]Տ/hYBZ{ 䪌25 /֢b57Dy2?M`r&`b\1x;o aPsI!t30CxH )6s%PG%jYй >5GqYÅN˚2GIu ]mT3ʄgFܝ &JSBiƈeoSZuE* 3ܭ|&bc)9b}}[dx&'=̀fٹ~%t7 5ʨ h^*\ѳ;&Ay._͔waf7g4JAUMբnAU2ݣ >Ceٜ 7Hl_e>Ii N`kE5IŻ;R @뽅c;:2 q Y\XJy9!h\iX(KG`J"Ge_(c҄8Brd)d=^y3}{C!5h'NEk|7>˻xrΪ&CU0A'D.R3^ ;Xäb|Ӳ'΁F=?td EMc<_]@Q&{W7lX8V(2 jIuvb8s q9&p@P/7,n#NcRKu'*?^XzLj|eÁZPVńhQvY_ϳY &JQ', }gYZ V`G*/!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ךTb DG>k*XU;@ze^Q_UeP"x&hS~"=k6+qGӋyTSU8C#71Ezsq*[0 t [SHuGxg̺:|Q'-Y3tq #gZjy5dk-֕ ;5l|We ^Z[ۜ~0 ŰqzJsp ZxhpNu]``5ľVGHfe)D#J|oY6M#JgYZ''3# |ZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  5]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($T9sS1 Y1t'2+ ̶L˕8D37OY=GʝS4(+D3t6f9kѠb$Rڶ.Q:08YEpm:gIbQnʑNg^!^8|IE}N&ҫ3k $[sF,݇=8m2S_!LT3I}iH HѹB0Zoi6rѦv3\"4e0Ctlܲoafi-iĴoX:pcaw2ّHp\zi:59en>%E!c$I:0K@q8CXE|SxEh[LR679[ lU1I `u T8\ײBz{dZ,Rhv]vp3X6~B:ќ1GC@TQ.by"b"1%JEKYCuQ Ȼ鹭cv;nKK<:T)V$Hm-ݳ4Q B!=֪ voRHdI;JBh-Kbρ2<+p:;o#^w{a%|t <ڄ8v68"(#G Ztz%"CuĐ q2 #P;n pb#]ȮHƭ5Zʣo/. ԏYE6͕,֜ ,=glִj;cF0T'kރePfk85 '>zRFl4Tj1Flmq7ZޓHJ!d73@漮RI#8}xqdB2ǽcf!P=]#7P,˳%yc V0#:@߻WY^2-5mYpB}Oe 0\ٶ ܩ)5cPނN>ꕎ%o7*i)D[HOAO]B<C2Nz`"roT,r{h֤6q8*'8πPɝ|l}SRu4 ܵDߑL(5[}\% GR&RG)7cAɓ8}w"F[qJW3"!js3'.!-P-4n.)6 Q#Fc(gdtƄp%k{h'9ojxQ9(G:Y^#v?m8n%Ӓ s&IrdM̹Ķ&=Kۍ 'Yg~<Ç:e/psm&jKЀ.ER:Q)dAm5cǟ4H<6B@O$q Í٦e@P Ĩsmb9HJ?:oѭ׎*u *z!,ߡnbH:LZg>4{ڴVa۰ K\!KR×*V wQ'r{E e,Évi~D ܞ ę`ɽ .t80d?H(?W?ȅYΤD\gNۼȼV[P;)T!)k$QIQR޼08J5b?LI7J1[QG†`,I^M%1v+{y 3?ʆfqeeX3vmS?n"k?Qb[v/U'!' 1:u; 18.G(r:,PkJ4@Œibÿf/lTVgYZZOci/I¸L Dƛ筌M)Q)s]܏!^)$p`!PEփhr2~@{YNr`9Nu|1< Zc%Kĕg;pl < n|dʎjڄG ֏Cswm L8f9W+a"tށHk% Hܛ!Kp>!n΁-%4A Q^j\7`~%[T z(r.IpW}"u-ApI[iT(ĵ4 Em3wHy"ͬP~U$ktj-L|;'Qɡi 8(6_(sWSxa8l!OSTg6OdOIe@xc7u*vbB,ӏe`X%܌zCIF`1UKf48+QoU``T"<"|U3M9b< <{Fœ+P5e1PG SLm|2\x 8GTfk`>&I =d{60*0iS&;@XINT)˪Q2KM1rP47I_oaQ}l H.βdݍ.&w\¿^9}B6۵^kq^V~/r"hgG1AՔ́&:d0epbA$PE^VklNQSbqmh^e7TE!5ɯQum ? @a+'<û oU@p!p.@ȆDyWwRHxXiI#j`AvJ '93h0tVvqt:N)j"~#2-!3y\. 8ϱ@ 3XԏOR9X!/kCdOyGdo*!(Z4}5I8>hmv^Ψ8!]^%P!A7(Q Ur' yICt~~$@"+b*:nfzh$Vd/DHsf.)R}4(ը2<T2 C)MG䜒B3^jk=a!y~};5FD:GI9t|:p)c( ,ͨGCicE<bu2f0J$4/FL1t { > NY ZԽhaNRr> <[ؓ}Vl\:. 'U}6clE~})=yU۱0%*Ht@n<0Ne<Xxm\֞f~i2)H.!nzV[I}s)OFvOu:&IyAě%a]346O Pmie7V(5]HCsdzi1ߑPEAl<I"F>o9Pœ,1hlFdWM:/PΈ|s"!{1DjLFE-DSՆ9CyYbhR-=Pa-(W5eM*Em;>V;HnmkO5|G̺XzKvX[FT4!Dtlەg^yf'HK0_rWoip_"Wz5v2q0hpϴDl~SZ1Gm0M/%f| uL\12M8/atNySɆ#h[0nSOTڌ<' . kUCr3 -ayͦC> Ͻ!DQֆM۬ p%_~͛\ Eɣ`2ڨdjR\JXZ3pf5K?~#4`i|d\.)E+- ZiW~oԡ>bxS;KQobd "ty$dBʏlcQ#_nf-9zW'_iX) f }#4!PwjrІ3:hI^nN} =}=Y/Q*t 47d(<7(iMmn\SխzDuk_=7q 0-%ÞLq#^hlooWw@aN)Q>]H C`Un8 ^ VVScmNR1_YGcp=Hlc}XQ. |]Y\2s pH2[6ŚTFtqO|T( e Fxce>𥝁gňyPg5u Fr@db.yX.r ;DTK`f |vq>]*ym8WzNh7ZY %^F,uľYpK fyn@P9kŽuQ{r~ϖKyԿPmMU7JG+Nvnőӧ,V{\];qP9;c܌|5=m.nrRh&vR,-Q)RJs9!cAΏ -ˬw GIoR:wxDjim[ek(~.sݸzxsFJn ꧔w^<uxT ,HE4`Q:ccپ5"^w㸣=?7Z>ƣ-a;$)~Zz5r{7̏/&ȓifer5Nt0oHW^kAg$6 8ߝrgP{Ž"bigYZ  N   G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108O0/' LZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! N]]·Iq n[:|&[z׳GT_B "gr?R &%Ǟ=9MTFB'&q-}@"@^?d/bo2֗DT2FSbgC@,+!۔WEvP'tGWb@bوC+ˏgN:{_x@e9({GC89!3i?5= mh& IMCz&aRaY1$»г 7h Jc.s~c:^~hҏ%6fV){`urP c^Py&s |ȔpmVP7vEb_Sa[;wyPp#zȒjIvW n `jP]SXKZMɜg̳KƎz>x+ |e9q!ߘTEQӖIhPusxu-C [ mGćV /H"8YF@ m=ՠ\BgCqB%e2L$G<&Z;+ Td\BHEX}sz^ kֱPᛀ'5Ԕ2"v"^*y S9b&a.S*PxyMs{>Wʔ.RfGw[[aD$"+:,[&ucMtЗ!,\-Q-S^I#.jfݼi1P6#a B) +c?P +amVÄbi>\}l*'4 )-V@A^1*᱿}ʌX6e}.?wq74v=WW囫bNg1_V䱨 \p=8W:sp{3CNЄ07}oJG O,=K#~u\5R= Zv(JǤcd)Ż[2#%{@ܜ3}0s{l[f& G^ \;6Kdͪ2G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GO]·Iq n[:|&[zcRӕP0f}2M~%<9Q̜5Hl-Upșm$}ғxGEp rPGc1+Q{)ͺ*Ty"($xW'P~*WwEQT>s#&p?P*AkbuR3cpXwV䟘U u/aݔps!|,,atq~RN'>fFY$TqLѤ8\E,(@4񑫷1Bմ4ϷDL#"'jSC6~1c.xn#q|gYZM+/# LZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*_]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM2y>`ڶ&>b.~/1ގ#bxEAm*Qz.Ln9^`ֱ1Bڭ@,D+O>A nL|?8(k[r_J&x-ˌDdqhq@:`A oxX 7-yCG` صzω>tEN_U8&PyZ?uYɑкxx'(odsqV {9kT\+mELxE u7K41L -pU 5Dzۗ/L1IѴ)al0ÛM(|q 6 /ۆd$6{vI7cf.͝|Ax,dCWJN$6UﴗOϗv/MkV0ܯv_ک(;1"L8NaP?DJ?2`۔CX $WZĘ\0m+}^%8Mr,O^eZrM'YBY2#~zJ(bihrĭŋ>$3<ی)+X9]i7g Xz{|V'])c aiKkl9]y83H8g N= ;L ~:+IrnӣXGʘR*NӼUg"V<3 PF“fiRw;ה=C*Ũ@70lP.ABO29ϠEW;NX:U[GL~oL%sv)pgsnChq x3c@fzsC3Y\-JFz=Pf.M@? 9VOnR }o9\Ĕ$$NtbY3UwǺ,NAeCgծ#y҇rfd@>%?PUп;wTu76Dz}ά>/n3,nů`@4Ui0{ C)UM =+BHklzU?9 2Y0fge-G$eݪS +sOLE7]Cڄ Ꝩ%z憦>9f+^IA$r5UȩmJW'lRɀwۤ7ՏʚkY %^ Cg2<&2pSD*atzn31&uq^B c4;V>5Z}Ec~dHOU h6 c4;\ RkkO3,X 7,,_PIU3-lrv{BEڃBz'0vN}O`c5/M rwW[i4ł僡,6|r9'+ Ln*T7BqВ5{β'ɃQj0,%Yy:JjarBLd*"F8ⴞ/Zp6?p90Ui~  c^sԽ^%bil 4m{1G@ҵRRR˫VDٴ!,O->WΌȟ]ej(w<[蚟J[UIS|.݌<0r=Ezq6.$T:-p\a+8b ލXBy_#!>BB)cT6{%bdf}؈P$r6 3})8|8,tUA8Qh ҡN}<φ@@WosđFO [p efu)9j}w&fD2:ƋMq.#R%S~R/qz1 O8O蔒fȅ޷ C'q4f۸x6+!X A:R B2 2H35a ۱s4i\K>Ap">kVAH-@q@b9y-,Ř'3)ue<6(^\JWh̪sj$).~91ر*;kh Wm/͍X}rGIgMCz{nc?sUH{E`.yR}ծ õK"[K0$4L}S5X !|Tn0p.d0s6,T2mj ڮ$b4ӹ gĊ` vzz zY/ߊ}x 5EU:]'o!Sc& !4yO X3d% &xeP:Š?biV?]fz*+/&e&'m.AFLKwpH=fYT ^_AAkMt[3>WVaѾ[7$u[0]F ]LkCsm#Kֱ̈rx=3Ao*_SRJ~J4Lu۰Bᮿ<_zwCHߘ}!K4Uv\P+>̦]+ aA8‰ᅮ3/@\pM?ī@v{Hv-ty(R8'mq>O 2P&Cn/?z2x;{%'~KGIe-TC_4yUkF;p[iyΩ>3FJl=c|F|yoѫ;Vٟ.+tD0 4\O,JW% ;RD3p,n \XvM"hB1E0dHFӭ)LTd9^[<1`\j:X7]L ms8>rHC EFӗ|fwϿ璂W C=Gep"=iTp3a UPȓ/crziuJo2*,tR+Cl.2T3~]!,SICP{]G:*㇠(#E&iTIg'^p(jy]u[ C @3;G9/Od/0NseV,_c7Z}AQ%6h Ssb\|J̓u=ߑ#Ze1u_+r64IWdōW@u "(Ӣ.-ΪyJ7oW,|Օ"$LmX?|ڮJԈNt5(qa |Q@t>0 4QnzG"@/O RC@4H;]]eDq) ?'Qn7(S0R8H7M*BJDJȄFzY'7N$(5oF01} XdX 9m Ha| 1[hՙ25Ͽ\}3ֿA!ju x=Ct4!7NVg[TMXۄ`͊zCkZ6PfL _#<5 qaRW9?L $rf+ 9e% / >(Ne)~B_ Bwp#,$(TyR0 X&^XAvhZë/pmcrsPg5 qIߒĉP8%a;ȭBۘM1n dnfbj9YSjUB$N4r~ !har| 2xj,=|a"#/zւzQҐ@AtMjÚ9g*t. 93K*o.q^3INg1{c)t)# p}iSF//Nt$4\DodH5!eJ )32`9q2:\RcQ;QN[wuƒ^R5SkJ9Ht?mόXw۰Eq&J̷K oYTRMh<)UnT5EZܐG[j[Qm6)LSJמ5ܽF\W'sV#] }l&ӵ7C6Q |ғq X [ūε8›ߔu )lJOuR[Y!13~X!ڷLtF> m%IQ˖gs3IqDK =7~xm˹b)I$lǪ5J1~&'/ef<`{{hnۅLIN*3MػOp(9pGkO:L?y ոkB ޲Hb;sIpAbVoqk4/$خSP`RA' ԅ' _?S -uPьum-=A'Mڰpm)*I71@0D۷)%tuHׂLk&*G#IP+uŇD%IBn 5 L*qzwk(ıOCr ¢\c9z/@ I,ELH6돤@1i(7/ c<cpO@ m}u3m_MnPZLu^=M|?_`o,s&q1[րy،攌 rR+9-h 5~ݓ.wM/Z<2Jao#:m#eJwߩ*~#|2S" h6hC[s;yt_Ħ OuT+ˀ9I [*sđQ[h]?ēQ|fqQbe<@R5b|…mk5b q|Gk =M)N}y A2fD`]FJĎtO$P`h:皺^,0C).Fp+17H!5"5>]+_"v TB΅b\b꧹Y ĀPދ'e$\iwܟƟ.:Qa ~THd`kYv(2 :'H=Tlɋi-/]R J07eL@qd9麪pXXڅq:TYUۥ'wL*> 95%i VBq(ܪ$컂rvUMFd\{İ crMP!;Y9'vG6R=adڴt*rے QEl j\!2ZCuUؑ&DntF_l?83LWv A7򂞳JkxՒt8!x{#6sܠr?L!gE"f{;ql7)D Ogn3]1 JɊ"K[I}Z.gĤ/< Gʡ:sIl\2Gb` t\*%S}Msd {Lmꜱ>)/6h^Q  \*c$ί:TQ>}1]ZA@bΣN'I0jr߬VkB r-Z"ǾbɻU)UrLMH+DJ%cl85v}>?o)t~O7Y\n.ue;}u"g6U9>obW:> f eYTepg9PD6gFjX EE1x(MK]z)a |t㜉/z? Ѿ,2Ij4!}=sDtj7B{RJ,`7?%W~ bq}ndҘQ@5-c#' E,%!G^~Qlg0k \+?? mUrhbĉaT7%BENxiJ+xL SvW@x\]C}gVxghy6MMa|51T|"rqfesڣ8oD-S vDU&2J^iD*{C5C@^bAݝt$D8,1 yn}A/+GzO~H=z1.dY,iO31f!G.V8%T+[}zxD][;|BTu(l۱BbYcAY!񂱁y`={}%k81`_1)gD7^`BvF 2CCG*JZgEJ%  ߵ hء "!2 F9u@cXGdB ZʼnYO_]xDbPϙ/N ۸4sJk^Ubv'{W3vTV{Jg a <64 D4RDjGd;X ^/kz"RZqx.4v [N5:]t/IA3 :1,+w#fګkv_Bu;jWY8 t|{"fqL[X/}X 'y3ޡ2*O]*Jҕ~Jk8By+ƿXnE5%ސEˉ9~mǃDElKJHXH@Wt7E#0lZmoSÁ1Oa259`H_GU0c)I_@Ӂ[B%%!HP7숥% X(mOY* FcUp{oɁ>W% s1ͣ?6wew,uHė9?yS[y>qwđ9` ȱ&z$0=ɲ`h|nE:mSU%"$QP^OƿJstќ\kVz{ƌ 8p,M|_cE+>Hͪ'9̓53U 1!5ym&@|t㚒U //}ͥny2A{3Dz>D/=3AQWuOg_UJx:ZS#ԝFםue%W!w+](JS5*82BѰtuk)vqNdHyu1cS a"נbz^R8Vo;( R~~?> 0q(bkS@ {#b~8np!$LBDscsMG`ULXOe;xy]5jP4ff!EϦ>wtS" |sԗٝVJr(6 9xa蚈1gpUeG^Z%6{$ʺ~="wpW]q٩еnd"\OY4졠6$`oRPЩGE&oK@w.wT} 5t5b ퟰbn}o.j~x\*%؏"c&(uFusCW%E'i0jm8Ń[5)]筅z4}e:HʔCx!6h Ό ; *fmLhҨ Qz*[3=D3UM#n/uxfozeSZ/' 8/FC~[3q@2`H[|0v) .B3|]*]T?Ezoc XxmX7BraI ^q_ ٵyAjj[T,%pvWk) R4ݙR9"v+t%QQNIQW>8qmm+Yo>.,$yĞ,U|oiniIAH Ew+~F-A~z 8!>ByѵY՛ faa4qFr#V`ڿb[0{03\l?M`vKD/ qs w9"ëi>%C2@[AH@@mr8OX{4>KH]Xg4h ׭UB;bqv.J&gfHP㲬>fcuo+zeŽkOez, قz+@M*0voPc! qE1 ggj2E ⢞Iy<[No Pz5ǣœTQ#8vd?.-{z&tRwS.S{0uEB#|*)oRk{t'NfJNf3ׅLLf|\USMdݘjT}a+pϙ k0lod*Br\mSF`E;KKat 3@e O?Lxw0H`3,4-zE~Yȉml/^>q{rG1j$L|IOތL%zk lsM/}ic4wNGw9q^`q|aDw%؋1۷N,hGodAʃ)¹lfe {;Q>O&$!#sdPwm^%Շ2d@ AK"DB!5ԇcFᅐAZug\NU7Ҁz* )T\rDC8iA|뱿YdO^wYg38ʹ\|}JClXCѦV':&xv뭇Zjɵ d~Pe)M^g Ckvg[%y4$^*9}͛&²3bM'5WF;u?W9oUnqesD@YI4ވUDԔ恖josTŠ^) %U^>R&psjL-;Kdءz/Wx4 tO6zezyT!nQyХ2dZ(\_!=tߛů宐3UqAqK:c).?-uSUPjt,j~빾/evD*;JBwO6DgDçp(^mP[(]{ ՄOV[ۛC,aP^6)& }a,(>[bpV\3;%]FĊo pFcc ɓ˺[cО6 J SI:KfoEL"R}څbKۙYm.uB3S [ǫhjם0;5 zKi f΁y󪇯?H>Z#頮= _oW.T!|pij>!GХ%J 7Mr;$2E<`/v!iKƺCWL[얱 S*e؉Wb%<-lZ 3\޹O9~z=3 ĕ|*o?Smh zV$inD_GocEUa 6ymt0UR{0E?wena3i[W1=ָO̒ܬ Us-R3hp3bY1/Gn)؝:wjW_*L\h:Ùjx7?:"C>Pj}f(H%_*"Sn].,hzRZ; DŲAbΒLaG@[z/9Xmru HS%[fQ"h3=,Yƃ$ITun2rGƛJξVĵmⴿ$:0Pvdtzt>3./ wE+l~_$H"I]cVS`xQdžr꛼q4!ڑ0%sbԕ(I7mYmVb":ݰ O|@H ܖU)?En;mdRɨzxwnW iɹyLş]#g՝Š ]ҠYh:"qۄ%z5VII\f^l9Ug4Aٺ8qDsTe"ITNq1=r% Zj{iMdj+5xeR6^ ()00ڥӵm#46Y(b؄.빥u asf_'ݚ9F\*~ ၖD9CG5ɯ'€`fuӅ/qOM1DsZ&?˽o4/Kw0 MͨVrkTI,1/xCGPϋYZ2w5 5{FȻAlQZzh9~}^XnsRSc `@]i]7F/qؽxȈGږSq\j%%fKW6#&w[ &^bs$|ޥ%{ntk_"#w9S`nF7pskF4rrnvyZ6^j cr4|i jx()e [VI;'e[r!C (^r2idعڑ.F^Z$+*q&!Y 8PN gpœk{&År,=I|+Xzz`i{jki 'ղ+!1+Fƾ1yh zڧJr,+2]µ|ۑR֧K#{u >tF$C~xP>pVfwݷ^lͯGzV6L]^HUL k f'\J&ziT56U-w~u8t3ka;^t}S+kzMof/lFqs:A?|D,'5q:\0-/?L.@d!r)pSKlcDj|XPաTՅmEy Mz-57jPllfSу=:3 `&~/9C>v!\  |j视,AΣcTexW(6^祟F ЎGQ{? {lJk%d4ѬqLi9nISIT|G4iNfPSxo\. 3wzq3 U lcL H["NtL Q@s|I)]G %4+pd {;9@V9[e6hphxƴ{KIs2T, hqB 0Dsh˄^> EnI޾:#ߛ1nP'v 7f|NS]1*jXS_g#+$ ¼i^K!q!O@]kLZ<^[ဇM3˳K:#ԛ,: S]| f--wNg 1v.@Z3@-{ȩ=Fp-;d@:}xxiqQ*Ư8Z w| vd~<_Aicmkx>>D`aa]i,k[=qK&UdL~Y:-4YxkWέxk8!50fӓehzfh7!ij;:5eJ%k8ʵP 7# !H@/0MxgٛCCKAeԽ[+\W-d3[X"UnNs9 ]#YGXNmZi+F&A'f2Th9@ 3$.Ί֡&jT8_AX1 Ĵ[Hz: ަÓB#샍UP0Xu΋Vb&TRksC İ_R *q ]sti}#{?C\ 󣓨]CM ߡcNgLX*u04cԫ;)&T RI:Z`WSbIU -@ v4U9@3`}p7b*SH葱Xƴ]a]5ݝ7~ATZa[͊?myJ练q[3oJ2JyQEζx楥mZHvpBýIup${NJott"@rnOmcr:8mU]d[Ͻ0] \ ]~_7:-8!Id E`Z^ ki1 (ւr !K9̶##Wo$ y'pYAF: MF~xQxI'\DyZ'c@9A<#YAj|V~7jH e("@FگEsJS>~}@T /$IjnA {kҫaP>J ]ϻ$s4Q'QSՊK41.ӑ bg@| ՜@Y>.YЊ:Fs'uNBӟZDw^ |ZZNg+Άz& ,XZsA6c@-M$2Ru%AD)0K)E5Q;Pbd@ j44y7ԉUʉgxz]Y>FaN tKn\ 0:]YAktzňBy餣 rq{l =gSE=` ݠz3`.s/2J;UICCX:)_h#S]oae'D9KC !ha\!!;xW ܓw?g;jXZlwJ`,$ }IH%%q(71/oJmW;kQ̓k)TW Gn9:0{ɵ?rv+φd la1ٻo 1DiVrss?m#Au/;+wj 4(پ/nx\ڬu: ']墹h|j'񻠅B 0ᅧ Yh@8Yۗwbb ps Hg:sԀ!46AL j#]5FP)1kjXۅσX RvM( 8ȦĄbDye\h0druV J (qd9yb-<'G.kS^KyG/ܣ+Ӵ1Ty)>kk$k]W9;o{CCm!rm҅66lY|ۍ4nYy*.?̠5`[3_IGkzc'd @v+Nꌲ[q@VT!’*m :!I G|f}FF9Sν`[Y_6,Bxy\GX4y,՚r"} u;90!"!T WH<@F5,RYR -̵R dY.6-Ȫ%م*\ǧsixBi\v܍,!?zK..ݐ9>A+m>?-u܂-p*D}?fV)]Yk5&NU'W!,xxӛl"vxKDC<ޢnqgew>vA95iJ]956k4yKd#M!k`;= "\[vcs#Mo~@~0;:Gam"zRP] '4r!Su!Qz$`[%O PkTIW򇗄oj_ F!(Ih.`kA BI**K8ψ:O>1o5$ b^'HW$JJR送Vӏ}X洐I\{-!"Ksκg\}Z$ECoAi,Z,_X$7jRKrpGs3S ey^i-}W+dP _T:J!JL(Ɓ܈$҂i(lFEW`j'%$PV 8@A-P}GԘQf  ȇjF)jHmwކU-'HU'13JX[ez.>[uBHV:^HY Ŕv- )g˄;BhմFrydOUG3ˍ Ec*UW:Yb#!gJ>J!L Qt-.KZu!s]S&DshE~*/b5ë)Y'-U4s} F?[]ƅ2_/$~0.q3V?hҺʒ6b!KF>c< 2#lD6\n:Q|7ᆦ$Pj`~9~zzp>ma ̬y|Ϟtп@GtfJŐJ!˩ 屾Y׀ԎerOX Rݓ{*J(#J$2ӉQC{qRlwY%L,Պtd x(~QqФPR~ry9L;P3$x33Ѹيi)5tgZ'MQ3v:et<{NCsV7Y>>W|K$湮U瘺W+hRT8PM}MXXFV&xAcxڻtbIŇ"uQ?#~ex%C-{܊)'PQQjX^(u2TG;kڿAdNP v G:o~N-:XQ)$gZ@#sG5U 6?O3~];kMmQ )aw"GSw| jWE5AtA@,5qXCIh^>"7W]gw _u fH MM= e=[0%~v8ύd] לR*4}%kag@ _ZkK.Ū/!xnS^/ P3C(a(rؓoEx`xAf<I_U*X7VM=beY2T+Fwc҅>ngb?;6=2q UCkϖGHm ^ձs@N_H>\ѱ4=ʣL/$oK7-lI5+:{]ݲ.Tx9Fvkιe tUurSHY*y]ud49 ,l @V0X : QY51meg6nM2.&VW_-O $~@IsAh0!X#28#Up2fd}uD75)lJ\Z-"`3{'{8y׎%%8MbwK/mĖQVe^Gz(0`4":5G9KH.D]HUsCA=~um$؉Xg iu.߆12Е/!]$6#NHmFg&χx^cfK"zF3ɮbXƚBmaռ*܊4Ć$8j/6"Bo9LGcgZpC1(Y¿) *C*pK$ZCZ=ԛ] y%ŏ.67XA4q0 N#Ud_~?Gc&Wm-c{iʻ4ZD0>}t|:{ɜ*~䊌ldKpo^;A+tb!qֆژb`s[-YKpoȈ?A 5J9ؐ3ƋEZUISf+|Ѽ{K%0$]w u]}84D N6~ @`е 0%m:B(;m/ǕQ6E0&_F]ot1/=C&O8ij*^[Y eߨ6C"k;Sy:{jjsDOAg6nӁb)C;;VyIqv >Y !A$ߢ`F^OĄžQt"؂v8% 纍r&vb Y}4=>*S\{Q<$,218Q sn81Į^yn}Hef$ul0a̲ c±Ee˙HJbEFw: 7,4sm\jpak|2 `[y Ov(*&t{uȏK OA#sc"td{M*UkPz6uE3Mdm.afК *59P 0TBlz}6Gƣh/%+ʒ VQ1U]"&6 [ 4vъr6𶞪Ly!ݮQ#z4V3G?&:@r|*3=ŷy( R|55ơbE{=Iǥ D޿co"FN6+Bi[: ~4L LU;ӸuUXMlRV ?Y~L  UvyIxC d8o&#׆`He7&JAp 53FF%n|Pw#ﴂt.N} (mX|DBAp4?\}[E+E@Uùs/$U]Zf)nl#B'Q;\۬ v8dpoOÐٵï>8@#%~I.TbY~~i>PvNM-if$ m{ ˒shPqk,Iz]ϋ<"҃.\ܺ{`$-u{ށg =(-h iuJړw՛ZSC[CE\Qȹ7rA4{'7zzj =5j] >f q(3idrq2>#Yo0p gH0+(8S *<׭ZAs|YB뫫ru Z[\ВhF~&U rAKĤZ~()/ɂy&P:(-P~ 9yF`p4EƝs֣l9Uzu>S~FyRLCzddVV`/?t8{ 1=@XP^ةbQTE{6zƶ}AwA.rt,Shq÷jŶKr :H2[}muE}Cj x\a}:4Z$D捙 Y*6Syf+em,W:>cőZ7n(쎡ߚש }GņJ"ad덮;pʐ???EWH*p97cL!\?\lƥMH4ÞcBE7G6!٘h%&_ v RXy4k1D&KaO% |6% Pޓ HT'ʕp>Ȋxz^Wꄌ/jڱ\cRAO-멮FvHP%RJ9%L&{f4jCyI?ثr~` Me)>f^I+$lc>#ïv^[cvQCpдo6 X<턃OG2OR2*i}5(J_Kw~k d_7+f[KQܟή@>,et4C OӺ$yWZ<.|%-]tXnm@eeTdV0dhVhVG#Ͷr:' ?r5֭d#D-cf2N%Xi8(5ƪijm}]$PFՌE(Pb*9ɡѲE"rmO&3~ԡi&$:vO@t&%;|꠷QEAWz x?kK-Z3fFǽA8y^:mW~{ϡy)Wcˤ:O:}ii Ӱ*9Vx]㐦IY .AR2'%Jis3mBnRyCbc=~Rff$_W@IJ$np %tEb*6dN <>oR`8Hn>,w?4vW"rls'^!F *u#Sӫ.)Xv4 ˾hK2 Be@0OlEoTG^& t%X;JΫؐXsm7Ifr;#.[J|Rn1s#Um+u"ubm+8ՠ2ܩ ,Xmkz&Zvy~nE,zuW i六 L{վ. e D!@ [JRb`F+أvbp3,D$0i5S^CMP簇qEOoe_P.v, Y˭vǘV9j+*KJ&A8O"g6e!& ;ek{"Y[\.i?(ce 'ٕ6M\{kƷ٬]ԒHن0qUCX햑8 dEywz@DPlU JTې s@IQu P/ Jac*/8Uh{ D :n1YEmA4>`C!l`~pԫB;1(6j]p1\/2{^5j6Po,0IJSpq̛ 4rOB ЏixRgkGp BbPQN=xڢRq 6k(|x}O]m*pSjWI So7,{afqBb᳗Dqcf\2:[| A-yV!YvonG5e!OI6QMb!{UQNiF~j5erYyeUkoMʇ6Xk}&1JA~]|U3(A!f2\&zwy"bn40Dk%`]2$I$ {OCu# y]!؜OYbR%'Mv[_4R+6  R  k7 )# ZF-InductZF-Induct.TermPIDE/markup7zXZִF! )]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JFOň |{ +djhtr2/QSw8z;Sx$v@,̏l [Mf!sQLψ]gI(׫1d2_5>o;Hq p,,&!"5ܫ|Ӆ{&+'%g??;ߔnRVWS7*fv~ 33sH: ěI e .q*])YVٴZ+ ˌgUMj.m`kw׸hL>•PYr`ɹzo-Jn?,* Ū:=ݥ4:6 M-ٟw=ZKmB zゆ5ECOHQ= 1&)-z{G6Ӵs Ld &M*g(froѪcGS'[8jEBi1κJTSKg5R(G.'2 Jҡ.V(.e|py;D>_'{N"i(hGJ7J F+ k,\!V_$ʄj[Me)yLOb}ܠw S4 > :'ykBh ~P i NӾd|6uЀ*:Tʹ4?jdţVhzRqc-ė^=9Sa#j+}7K[a^ M;m`8QOSMbf!*JѴ'ygA%4#ʣq(BMkL>]b1n)X&3Y۩3ά7K 4Q8 'b!ygŠE +g7 G#N 9tNvTzlYoȊcߓMo< %3dpwW[*J,4xB*5XR^}Vq WĔ1G"sKjm12b]L[>thaoIMU'.dvU๧ Gڡ}oe[&=S#mƤߔQ ZE @1OZA¼.^6B+P#ZˤQ^(%ɐi7Yc7 [ce0v{H{SQW KDzIz eRK[KipZ[_; r 'l)r4̿⠈W鵳U[a$z {ۨjĴ'WY0+= Y) P|AG%A#맔]u\q'~.BvsiQIҗhS\st^!`dk\)j]V; ]uK Y;1fVD(e>Y|xzq61F ǼތLlZ*X(*BEk+~\B[][ 0i}$rH^!5ReHR43 ~g1|ZA7,1+>a[N# :_2 q{?'Ǘ{Ir*;_qv[A<?)E}F:!^AKQ>هIm㛖A Tճ@Edpt 5@O M^VYgRmOy,"qila\p >L`e%%>;`H^W QZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112+4/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N9]·Iq n[:|&[z|6%4r#d30ք,t 2g\\̙I(=*B)>~yg)^^I[ނ!ޕ(1 P9ι8z}40J_fsPV"dv001zƟ%Lncw/av 'ɨ1M:0#=-3h^o-kh0!2Z$;F>Z_BO%4qQ;ݭg! 2 7jH^]tȶxc64 /jtC*n+& m+ hzbD K$jF˕&|F:ݧb2nA$B`;<6ֱ@ kO"r|'19Eej]ػ6p9[Hpv_Ьc8(! ֖FaKH03ky5lo˖@9I̯(~Hv{e^t3j,$p5Z>_)|O7;x0AQޣuD=؈_ Se~z.縐Dh^T`KA5ou?LA,f7q+sMUl,2>aLc['XnM dP,9捯csmuD@]tC ?gaQt?~FQr.Rn0qr[N#+DS7MBɤʌC6tz@AEZ;5Y])53 {H5\1O1 G%3H *mL+XM[GhYk[Y=Hmr}y[ Z&S|רKuƣWF!)u2\6 +>AF lN$|tUYS`VHTyDV4k5ɠ_` n)(70׀$$uwz*--QOE!\}btVƤeXA" ڝQgYZ;V*pn,d!B^'?AW>nJL}f`k3JO0ȉrn=pe˺1-dHۇ+ŹT *^ǜqF#I,[n#WB{()0O'~dW厦*K֨"k"P^7.`׈2`/sţkVRcYĵ< )º*tZ[јWÕ(rZ dY#>\tb]l Zd^MGpYZŘ|RU|mc=M5._??#_BؐY'4YX&_3Pokad 3D^;tGgVE4zgYr3xͿu"P#h/>YƬTCތ*D eO \#H N#`B@*E2Q1bJOp>3QB9]oXt) D^Ad/\86LʞIqjH%:p1)@pτnf,W*ԓjx׭q&˖Nbg?̷~`1K*!(v-^-sp&@} we+꠆DʪY_ almrN4EfX`*6k,4ĕnk퀗Թo5bGj2IlXWYu]*:27Ԝ/PSJn}=%xL^[uJOGItn/gl@pX ޸aXU92z.mSϱ qv[蟋7.0 R:ZTIKJPXwU5t;uE@+H#oL5rkCn w Gd/j*?).̻=FD'gno򰖍!e3)H⸊)lϜ4[eGuzt!s*=I.^ė1,Fƴ"?FsqT4N T*jY9/; I<|gpTYfD~bu W2.H_ғ[}wHZ1SPo8:toQ]}^#Qk7CzY R.T'p(Zp^pw^5ʛ*>p#x wxІ~ 6r%»F7ݴ9ܰi;x-o`ΩnlTJ]MW]dzrw (A{* ?.ihœœ }Vؒ[t̒ǧzĦ@I H{yLf7qB܇a鍵M.y2(pԽzg|¶ⶐBSY`')M6< @4\J ,9?UPodq: ";|x@Eeƛ< =0! A"϶͇1, __A;(&~I+}8gtNh:Z (ljwX۵Gp;<+AHNA?s7Ȗџ""ʰ-tu5 =XoK#X+] J"sM@7=c?mIm-v9nEZ#xӢUIp*"/3-[Tqz4K-$ڍXf$qF69UT;]5iTQU `F?w3Iއk㣟J2Y:}$Vl \ ]p'u;I^|% j9ɏGS$9z'}QJ:-T_?K 1ZUEi}1IMz+ Qᢱ}YSeDJ(iNUղ20*B nlMrQHBqߓN:?WHR?vpw Eq @n?%У岭_VqSZOVӖ9"0Q QDQĪ8 8 yaǼlûJ>CI0\U!4G:q?U"IbҋhDh[="uKf SX/g Fdj%D؍fjXr, ?Ǜr{Pc.ptT;w-3ٓt40:E^$!>Kh k(km/m3GX X^%ᴚq,=p4cs~cQ쯗ӯ65x;LYXIDWbkx񢌺41.y'XJYdkTWo Ȫր"1]Ո>Cl-x$7 9Zx#eY'l׀9,4)ZujO uh,2ygGu_67V7Ck/5Oh dLZ̖W3|(Pǧ𣇔DUIb1'X Fd`٪Z, _QH6"\]{$(3\[lkd7̏AuKXZ/MO ֈjCo/p(tg 阒FWfH%l@d21p9|gZAC^t1fXP4| zb+C ^cLRq>)4'cHԤb,:\rr"ƑO_.pE^p`]ػ?ͿtB pX{|iz[OtCݎU[ s?| u8&/ߜD#?),?LgCENp,V!^ӿE*"ٳuʞ[{a\AP}]ߨ˚-[' `Ɂ%H5ˆTZѯtcwt2Ikw8c q HG SwgflmV@ވն"=G͇ kOVJ6| ~Dp"VBړ] XM, 5heGܫ)R/R\E6- 44w 8,ʊ_G+إV޸=jѝ e/Q3w+<w]bf im Rj YBSF(.O~}Y;KW=c܊fחtz!pwWeszBjL*Z0HDy?h¹Yz#Mfy铐BÃΖ&ւP17-'3eˠ(ŋ5O:1u-, ;.|mŶ5QBޫɈجX#@p_)Q)z?EYQ4O$l7țK%?Zw@ [EY0~=DMIP#Ipհ*ޒ6:w*dIVr*t)o:v?~(r@\Y?|v)q%<#{Qorr{CIpG 5UasNΙxxp[oUٶ5_ EdT\)7G@/7]O ;mz6 $yȌ 8osaV|5'O̧$޹ )O]q9'jx?5eڵꬓ/J+uq PC?굤&t@ZH75O'ymByڐ|hϐ'ۿ^/#&dS+k]%lr4d*=|0qO/_<2<̽_קc7#cԔܨ=}1G)cB0b[;OW4&*ɩl5 ѷᚠvrfZ}QE]=XHN|n;,tidŐ:WCN/[,c4uz׼6Cv`̯l',`Uzog 3!l55j#zˆ ЎKw怤}#HmL:8$ަ1#,PDtXfN KDn og n'N`5D.DBh77~QHʹiiA=wI"G2&o<㑧!o| rHJA av(!4N# {2S_gs:G!ppij IP령7Cꧧzw]!bck˴#6.\*<"6m@$ux)8n&~Iكx{I􉶭]ˀSAWpPH!WLҼ_bΐ$ܳd 㗋76vxH}%٢7D#^V0bxT?2|L@* ӻKJ5Phɧ7&!b'oW- m)YQh#4Ḏr籘@ӜǒeoUĚ.t,3˜E6 2zY/s6P B2g ۂ*GbE]!Wc[HFޢx wػIx V%Ie7|n`UpW9 YRpUгgq_LN7aآ'v ,0f8eX)C{g_kIİ 9nD*G/Oб69tCns^kl8]69;Zfl@)<L6!Ŏ1gɓ uR 7Bdj`U֘TLNI=2,HDsWHѳ]VE%Tyo-6סАn9q1~k#$.\à<3T*&EN:::"bh Ö{6O OOMO 2{< +"ybqL}/ rXeS9y:ewww{ݩϨb37,~  6m q簚EG hޝ?rid\2]w{|ewwGkx)oyБ"tD TA]CsyKPN2e wKg8vLֶ{min pҴ3nf5Er9\ݤ5x.֦#g^9^ouX꺣krկOAC3xqY@kmƺjBi̙(8E,h X:Sk D,l۝~E85n+BsWEHJSYD 9h|VP >Lx)0w-N^0$)ă6KpL4g8Y>l(#obKp\2EsToY߼KD̡bmd^2 z;KFOq;U;,~y%s),Ye'H80}biZAje hcgR}1z׺ QH!bMXG)*ُ%GCu(Rۊ`]ѹu8X٥u2 eZIm۝ 4BK|Wf/0mո;ʝlGaqM{k@4 U]/9LUf+nR?Kq F$a[q˂sKU.,ګn*C,L:_!՜j,]n'O=@  H{zıȴ̈́mC@Py'-LO"񴘺lTOKG\|pI ljpE=V_$eI9O̩-^v}HԷOi7s3 Gk8RӮOWGxZtoo,w0cۛ r8{@V燏NV7FFuWc#%1wZ#&DmQu_'ώPDyoa Rcvek*Lt2"/.빯?~'ΟGkctn~Y/m&n> dS p6v/$].ZQ&X[@-8zh{ߦEےL-m{!O!OρMRR5o[DHn z#]l p /κ{3~tJ@YdT~?z.<8MkF8 POk˧C*^( xOCCǙCq aq_$ z!5QLmf\DH<ƷSsC_}LJ֡H2ݡ=\n[ :;3R MM968KOtʈ:Ф uKumM,qYES2> VSJLgYZ UC:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104t8)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}xe5̭Yh|R`U@M񱏛yf[~6|CXJ!X2˯k\!HD-- M'nhY6wAd-!I< 2|Ҕ n!(]4hd歗8n ?})_}Ko@G-&rLwV2wϨXa 6q1hE-Y\~Zd#/m~ 17BXؒOhak}|nbh}qfnp+w+V3upsj=*Km5-Ւ ]y%t\ Ġ Mq>XQ])>K&Fi#awo(PL}"y_&cS8CFik> X)9<:DFMpb"JJ7ڇ \k$/It9Kؾf+`#vNDXG)95i(C7j6j*5Y*gpQi_G7&G8{m=ވQk'+dFJsK6B\6[LlO8M"Є(r# mE"Q'يÍQ?:7`:z)@ckxE_=1ng,Lnp8I[|pfv痐oS"LÚ>])As-l6k2Ʌt^-xqؐGjF8SS]-sF`rO_;;gBX *<851L^{ۂˌ ب W^FZqȟ$é"SkA#t JFu?a4g>xc(9.S:P˭ `O~4ob@Q<3 bo /K.qD3mr(BMۗaR#12T˴W>:蝛^`;vA!M nVAT ֖`cH['gHeZJ'D@Ky.Wܲmب>c ̋tKMbykܸ3!^ȴ(4@OҎln~Lr^dE7:,]U/͸X,0Qÿ7Lkؤ+"2[ U2w VeH؀.\PLjj֝ $cC~ofլm%k"Sg#OF+~3S}QK5 - ;C8^_w'c;MBkr;XԥaWvM]XSY$JYkNl{0cʀ;#i[W4-HA{4p.=NG Ń׵h{]rMqe@-puT.%9E׆nakI%]srEP zAx]詠.b x-"u?awTG i-0e|1 OZ*[*N/ FMm9 }pKw1Zޚ 螂P,$rҏ;OgڵNA崺*7YMU)Z*hy67v-%6砻&(27w [sSDºWVhcWm!*}_zQiQd>- G_%3&~-Tesb#g.0eo`*]<_e8b({0nTt%7<6CZe#^GlSnIDFĻ]Oa7z'Ita3 -mzTX0gB>@~ ^at NC4 Y5z՝㚠PZ(Xfg2h?{?OG,;O*=;+M/#rnQY}> ]' mZ!exβzB,q7ekM8&DU,z*qu$*L5;X23$?)67ey۵^VxBZUi=no>;41 5^/"}+k/}9)R? #F@TH@/#CUo̻t]>FbFwY\@RAAhѐ&[ās;fzlUx F>AX?+n4tE-*&g}. kpm:[TJ;w%z( cB \&/8%&G3_A$?:0b"}IHMib鏏KAKSf#?g<@>RgcJ>\}7壁wfˉtW%8~Z@KIZVʏ9E3~S ؟sR^suvlx}R*w)Pxf\P2ަwQOsW>= KXkӊD` _Y\n ۠\lcvmV`j)L#/ŝ\nĪ $o}<|9w0SB< ?c0[4<*ccG E>3˅--D8fz[$e}PY!xOIt 5Xjn.¿m3P , OC<Ѱ97]%"յFaϟJ?"K xr6\Neς,߱Y]%e *ɰ:w!5sn(ޝx0hC#,7}d3ڼC2"NaԲR9ޘT؅G~`qUWHFy`;և5Dn8]c^d-f/B1V+buֿ1skt8/y5U!nh뜰'uqv$TE5 Z o3Q OnMIOClҏUȎ/ ABx2 VvEz ̛'VmnGi$Y yZî `"'˛U\wn s+΄I JǙe=>Z1`H0ZpK S69Q`Or0—p00Hx 2j_:lעxkzMcBW_x )̡rr3$,Msw|X(Xr2t'7$9({K D \/b!Mf F5V= R_gYZ ;+# DZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͗!8[܉ZszyE}/ NjW4e]?Bu0GT}Ƕh6l՘X@wa}ʧ]_s<zң0T=|hӟh[''G-MT((ޚ:8)LXbGŬm cF.`7Rod{`}l ~=%}O*5z7Gi,U7m!jPB0iʦWDZ +?ϟa(c>yħ҂#)NG'C=@4{‡TqƄU(>j5tuőCd[Xo/W{@ ]*A0g[oek`BeeJTb6Xkk\?6 [/З7XAKPx_?lymzX)~e0jOTx `++::FT\YK5 vRc런A4]hyM!+{ȇ\\_US_U!$;`I8 SDzt<8Új>M0^/aE'oPЁ'Pꤱ"E[@b'=i8J0܈j;!WZqaw'(',ZTq'~uR5 e5q\0DQ=ٷS^!Cg_:"tŨO9u67 n @V' :uiۆCև@U#h`bRn}73}"kX665է}GwGBA)ϣoȬ] z6\@e3_j^9c's)7fڎ>FN٠ܲUwWWY)̩~GXq3"}}3!$vE=JfNap<ĝKJ:kuZ_e;DqΟZic[~ 8nFmUu1nWFɵ|aAFEX*ž}H&$#)a#5bH!/VPߴS Jիo#MB ?2svjs,Px\0Si#X\ %Wkr>KtWMS 0g@]sbmtmV ?pS ѿ5Dy4揵5_#8kЋO#mS3BCPRG])+(Dv;?%"Jmu/dlġR]~`)'b7dCzS΢wsZr ~wWjN{xRwgEAa]v 24z 㽔^22RҍxIx v7ava(I2pC5@qAT{т)-A6l|kY/nWC*=`M z3R ѧshPHP۱&?t:YәDBR P;O:uuOz+qjئNWe 81݂%NFw!+ L }̥;ѽ`V4Rя(h*{h_> .]Xl-+Xuj2&7Ҩ `|0·C{`Fru-k c'3n813ڄ tnuo(Hnt|H]%ZP˳#J_c٪Տ}WX< L5OE4P_s ?@G #5WYvڍpbD5ξn`4}|u1s^=JvMRylc\tF $c?ٷBjs.둔 t-(;6I|W3֦ԋ`a9a/Ωk/rvVLq)҅vDtY6#/xuǤ=h֦a$Qcm1ɦ?o/Fulx~+W1ML!;PϬ+(?O/u+ P/Mv7H|^(zR*c͍%*osCch\ʊp1Fg1)!G^(kه uc8Œ"wψKB2mԅL^8JMT7+UVԎ^ѯmb{Vsp0׊o;GPx|=]F(,w+t=L#>.3+<`#Mk &6 oIb3+']cչ^_4 @)s{ėns"ܛҟ p`c}NA<5 *ςym?3΅$zZө / ĝN ئȂa埫i<|(dݛ4lgQ)Fl6q5-D}tb=pvi`T//v ϝ +:H\Pp +lgRP?Vur4bL]]yWNogLpf2r4M^??~1#2-nigE#=+jV?Mà)Լ;|$(j{]Acy:j Jp^=ǷXMs8 OdX"EkpT }O6D;}S=bKj؝PiC -[@-?msJ&H Lv($O6`uHC}#54@ }r=,@=NoDn'z_ftd孑MjJKMP9p< :oc[x?y܃OنM7~ JbtF|DVpD; )F7$2(DEs+odžT D9lzQ\X< ]]ޏ60(ݏP@"}vVtQL?p< '=  H  zHC )# yyd;09u7w^ Z{݈^Dd9~rzȎ7V^VEɅ&\mu$Gӡ6p-KA}Er<./8kA=jVޗ]t*tYP:bIVz mtqj,Y!ն]sBbaI8TS?fy7yؼ%LHlktE zмznI& .8ޫ9MgF >2/DzvRp^~;[ryw~/P0lK]P !{(9x\t'AFE;Mr- rBofJ;̸ް1É?l>VͰV,BKi@pgN-Љs@dxEk[Owp=׮{)>A}u|}<~3 "ـ[ӶBӿZa}PsXs*:<* V^7CB ŃPTBAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' \ZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.%]·Iq n[:|&[zI[pbчQu2~(]ULV !๵YZ(d!{)>%+L"(qSgK5P4+ &jVxQ؃S)J!|7&r x*Zn7l'篢{n3^G`E'&aW.yW8EԜhF֮y60z mgT8+aHz[Wd݆˼P~Jģ>?HYy.cEXHՕo k>z\ʛO%3?b̢9h1J>/@Z zmiQJtR &(3PPVS+,UD |Lu]f n6̼Ʝ/<ˌOT'm3Ydg2ŷ~tUd:4l_<igWzHz0h[f@Jq ~MR0*9fM5,'݃8.髷Q$S rV l&$@$8w(Qs?F!Dߪ3JI!۳_f Fx4eNbzX %X4okz]՛5ߒD<5 A$G_VNaܺT Df*э~' pt_[&RX%l2bn{X #<@MTk2Lz8h:耳dAHV9H,/FHkH(qb6E7nϝўb)WgNDf|~4!՜9 $<ܫ*G`eDˌȏku O1s#Z VVC?fsy*V [()b`7,\]kszcj.Xkͤ1 d} }!3qHX䑛FW+:J\4oZ˦|1~T2,WgYZ? 7# TZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"$]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;k#Zq!B]*LRפ/jɇMoI&gV^kROc*0H f fWX&Z~UCD >+|7#ure"1=+ҦP8DлŻ-F_ "NSo2so^uCfy;YGWA'G¦۟_v/qON-{*$:7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! F]·Iq n[:|&[zTf{PG67__E/";NhoRGiQ[ tןZX9:Mo؛r^L HzNTEW?%u%[))tqZ$JdhݎYXAENX@SܺL^\6Ѱ8_ tD j!<_&x'2:ǯS_@Q5à81(2X/wɓb0 v"Ln:ti,LSEy h `^|^yPt%D z,eyMԏ+Ɩl;O_1Զ$O{t C!@I-?.jj-/pުbl\=؃iy )ΐ~\} s,\\Q 7`ah؅K0Xck:ŒBf9,;ҏBB3/ _#^1T RHC1Ʃ]D OFxʿs)˟b4܌]zr DkG ъ: pUBy_mFuiKV4FoRmW{ڙGuEDJ%ISF:n!,v-[%\'BmA^>p~AB!ҽ$_HX}%v%>YNUf"֌M0Dhu&RfunA(5as'UfyzX?yM )0{F[Gv*.^Eƈ?PcPquC_K8`i$Ҏ*= KEwy^2, JH$ Lt: H;F;ߵҒu:QECÚAca W*{׾״Kvcμ(2YnxG.@k} v74K K3 Y9j[2{]1PAQDXiS1uR)A{"s3pz!=#^lHl HK#dRԲt\tɦ8%"[m2oedVo/ gH&`? ";] E o+.&6?a>iҩf>۶$g*4E˷"5xI)izcɤ}c9ӧU^kCZej1vmy;h{`-VRMp)?rHWxpL_$FB%)*lˠ.gHSݎENXShƖDQjҶ8j8A X^mQr ʓjo3 >;ǞIe7aH4m?zK37h܋MXw~dW-zD܃m qmürxʹwInX,tL{~MZRi]؜|3&\B;E|EE98u}>szv4w\8; ];K݉S u "P!*˽ہZud `>ZG2n(uP.T'BY#FB-xZ (|$(#ol j'fVH]` 9~ ה:_t.;;aMKL-6Mt=/l!t0.l:t8l{:oư6_ٵݦbMfɩ&<#'bLrPM8O buf[_ t\f2(W_rfvv+HI˧Ďs8,> hه5q<|I(vGUp>N%"A_"Ui a+5_hjlȖ*m̰' .~7^7My` +3!u ȇ>ϛ4H#Pܼ֡[ޏNLC[^:9Ȏ ΜKc! kC\; &tj{!2=iJ1K@;sӆao<*gjG. 9Q!{VC_* X+{371jCס%,j<4(xLPJyғiæ96+鲛GS"_+:-{"'b3$EwjgsqНE2(9N0 ^ $5- 9Sl8AjSSxLyOt-lVzA`8!HݔB9V)P7U NBHmBD<* t"h?(`?]:}ۦI|{tRucna1%f9$iLdo3JxU0ki,UM q|&Qsw]0uJTFb0q  O?2-S+ tRgXTbxNmFP/U_{:ʥ_`PCO,=J ~"3#kp?oK$w-)NGbY&<$Y{53Qih3K%w>Q8őhLJ%7 Tz#? D,4/A_m= z[GcBx}~sdT}e 'Ü|9 `8 l˞tې UGyusO'f)sދOkl#Wvx%qst W;.fPPfG3:[ 'm[r4Z]=b0'j8!}4*d@l,`SI#2j@ר/$ZD=_DշQ1@So;g58YYn4̵ns-] _ YK$2m3<^[7aUk!X4uX@ ;{]Iԁw).oS3-cn 4ch|*M5P{T QZr͑x))n XI¨B}%#JhޜqT;< X.p͕FuuC2"m9EkYlJl͝fKQ rbzi(H7q~QZWm]G:Upx^mQUf>G[()YLsY$G1qHDGBge#{ 6CўKX5SIx!7`I2䲌gR)󿛏RFFiT$ޜk.n*zċf2HK[;T/LĈfq ,Z8 Uc1{I v2;bLjd (0EBrn6q=2I"̐V[:}F9qHt\prP 젆zT sPoN۞K#HRT.(Z>Xl3C>;ד6a'͇ƨY`;@SOy*99˫Iq3٘qƊp$)"Ƚo{Vd}DБ,/yH"{24zיEԥ,UbnXn99@3V,{bL)cv߫@{[m,l6(%qKz ۀʾ`m@el0*)A͵r@L0D(@h\` }:RښY^ ]C[x@Pv2{oF,:{ 9gAY</x2bG+C;P/V2B6 ~-Ryo)\O 9ztײ+0d|`-&E<0[z-~6g_|+n5rJ+{.Ӌ,SX/I. xQa_\zr"K`BsZA Jl &ڕc,J MtvhyYZ7zy=Y`!bpQv}SBC&LA`" KϠ Z:yQRwGDg~'L „;vxGW1@x=r.=4nw)\Jɤ' ~}yByfh|}ltf$(e%9J"LU0HNY8R1`ж"@ࢎټ'l w}wF`f'arg\uGt}[7QkߎK0jrgS;?rvI9< ~sHPB 1:DHĆν3֛+erQ@.Tᵛlē/ց{* _=^w!*̱ݩUJ&|@:O(؂w%v8Z!AG|awkv[W<,J\?1W=900#\jvُkJxǙ@529/I2Դg)+E@uz؈ Mj*vj&!]s>j ۨ0?=1jγ]{ \^$7holJVq%ӓ?hE`iDU^hzLX~Y۰V*=,ʛ;!癛c D_)W!_W Bi[yN܈Z 脬]y'4^V2Zcoq;œӇ\1ĕ|EmH{'EI4'#d+_ãi%` :qknRU2P7|xԊ$a6r㋨Tң:;|r4195n7݇gam+}tu  s9D7O.~~/Wxbz?g!}kPܾ#-;V"cn  b^ D+Z(1 v\F?N Q6:Ϳ gE#~ٽ0Jn}Ho+HUE~]!ްueX7 H\68L}Ss\kG]rdGye}T?z=2)`gKNFbmO)t PFKI6I +K a(ĸ{s] y_+n|2/OV$?oKgKz6ׂM!0:ikoG|fe*ڌu; *o=DV?I'0p&Cl{'% HjWuY= nZA%Z 8GG1pD4Q־N* wxB$V9=CYը/wL^p]y.͔cnq5s6’Ӎ aSrvpUHlR - Q{Wϋ Lk# lL~ K Rv [{O 42:iHs8^ 0\[Oꈘ8{ q)+k]Q N iDV>b}s>)a5 mz 欤\8"#|!dFn ƚV]8v5 ]Nu}/=5—aQ p,rbJf6ՅMJrc"ʺN شZ:ip#I,5&_S#GU:SʋENsZ%9K=hlhuō 4\OP[oI#&4uLx#WF B]{:"$3} ?@01!M*.nhe\iUYph~h5G`Ǧ `4^Zx/8@|vc/qE7|ïw_㝡48AP,o =2PC ~;hx<8f$5<Î䐄#"%>#Ul_&G?,̪(u~Id7Lc҄+ ]p`12OMMV]W/ t>0KHuadjg3Ab9 U 6`j,"0x[ ;L/%knŨz"/YDE{Pp7ӫBM,uPKßtNi߁:4᪦mFK783.f4ԷsX)FP]B? CB DIǃ^T<[`' TnWm&=(fo7&=^j-)u Gc)6\hěʌSg|O`D6f7ю炬C%8j=V>x`lWЗ%mº.'OTR_3 lXqub |>s2&}8|:5K{{s5T%Z5ϟ$k 'cE Z[,P6n:nCT#HmJfkf5Xj,p7%(~?ss7F }(cc?7^,@,\{W |qkVRQ>G]L}@or\V(mzxZ2k"GJHrf%6P+p  4i5~c C+dXCn4e-7\= ?sZg[ȇaҌ_K!"P \--B6x/3sJNj:⻿D9+eF6ހDɬ1&gYZC|͘KDACWl[KvGq՝AƈQρEMY0f 8T{$\\01Ƒ5Xna٘=SsOKVj ,{I993#^[!nwUyblrGQ+OАBC]_ޙȌ|LUAwt f{i9}Ċbۜ_OAzI3yl['𝋕XFGmtԛEuLxZ +2<I˖v)Fd՚;w }x{Dk"Pl 8H#4`U߾: ,u#R*RQ-?˶saeCr?Ml('kGvSàs0޵m!b̒r,'y,U|)⏧H4־8y$ l1?^tYil%Z3;[ (<7t qu$6AE֒߸fѪm uR6'~N b~Yl}Zֆ0nqd1I1`S|<{:VY΍>EC䛈L,Bp&=UٙI}Qty_ǰyWUdw/fZ~6Cɮ5(0k S|t1uQ Ꙋf6W՚zǕ2%ϲd@=7'}}aϦGfF"bϢ9OIMJ^XPl٦*_QH=܉j Xྐྵ)4Oyeű^ #:td,|B&`?rb'dH^pq%T翱)"Lf@ҊlԢa_jNqecy솳?J<_ D(?iޔfB̖ݍFZxJ!b'G\©~[Ͽu0sY^wwf!\ˆdes0T"X5N+3CۤΞ ufz%K5 qv!<(,*(lzYaǂ yiCGƳ*C>BVU.lt2^pBY䈈4fM:J3@ʳ+QICvbhժw _ED$Myc@ܕ#)4nWcf|l`2XkIg8KX0=?S!*@' J)l&jk/\'Xpx{l)q b-]`*c\Ϩ^ޞ@R{G)v L@UK. I~a0];CdhT`vt<=&a nWRcPBBrI$Oi> vǑj aq\1>?c ޵>+Dx7Lyʌ@Q ZEs ֩hPC:BoL7_F:J"0LmRƅnK2ڲ.϶#881w˶eIN$#לRCu6dL7[A`.<$rjT79Si׾_F0")M~gevx (րET9]ΥGjbNjWEJ9k9*Ma\D#Wnđ˧;Z>T;vd+wˬOb`fWX|K7+XՓɸ`Q8K (i~JNpROaƆ2RרBY, (Kޏs.n@1PZ "X >84n_KQQRs[O{ζN#&I@uKWmun.MI3: X5e b{BN袧 I+PZ5*yDHB|?V"tms o7%lS>A&ͤ '/jT=@#{gf=oX- d٦4n3C=W,'" +V,LLy:,MR,VuIZ6JT`AY4 -U=~FXa">&8<˨*&T HWIrUѥp,_&ځ3MM_Uq#Ǘn`&պ?wmi"\ w Tn dzPQw<'*8d'؋s#$BJ§6e$x$0QTdQTm_сw`P*fxH̝keISj,뢳mo^M|l e}>P.f=Pu7 )w6HK̀ƨnW J`rN7iSĀx~O_7-B{9vIBDtY1Jv=lA2xf}b,4-7G\×(aǼ|~5r =uǭwttvD\ND@НcX5j!9GO,4"EB{`b~DYEu[Uؕw$*0-:>fl8ys[X|j6[Ech I>_} <]ֶI2Am=~HʑT#_jcYb<%uoGU9P.33MidBǵ|]ݎ0һooq-(z L_F{`R,^Kxݚ 8= TTYJ?e>\ڵ%֩! ,mvfeY _S7EhMk2^<{P}#ob%k+ SW({-Ӗj9RB2a<8~ c<=G [&u".rT[x|n^iT? lWGn3T\NkbnE{ێ&S~]â93^|J'sʲOOvc#3( )\([xgE+{y A5}F)2>e)S(#Qָ! 0ߎ,i0lGOՊ'(OIuDts6/Y"'ENjn8SW؋B؄?#̠; mIl>0Ů6ՔN2ͼeed >$j1j ձ=yfA 2a*<|2GZxw:vvjrj6E:Jp qrdᯙ:NLlV: g]EZE2 3<-x!9,GH6E5M6]ݴ_i1aڅnB^ObE= ܩwopd+ J"ՌdQkԷ/DdW+j} jʘH?& zd R˂f?BI7[gZ P=A1!G?K.Ԭ,# ƤKO: u;鰐LvfpJԥ9jAA3dzEZv0 Y*Gyz@ϲ `iUiҰ".0gd“$#&[OjPLlu)#4_WH;l L%=#|{Tħ#jxYŻi&y9ȠVgM뀹]঳\lЉY۾%@4bdۜ<|`'LQbYx<hUII~bqA"#G*uPOesӬ[LRFY9^!a 51)C}k@5 IG >~ᅎ5YL%&t~~}DeW1L]9I}<|H1j'd-K B$$ܜ@h#P} ͱp#I,0 r=֨y{l$OL`y!f!BVϞغ+ wx9.>@y!*imڳ2|d#cb7b7""t1ܴWwrkdk T`ƚhiU$F o # r=ٗ0Ry>:'*nn<ĄpVʻ<:j?BJ={Q #[0{j> UOKu"c}ѳ ˒rRjoo@Vl`}AaOlϻ,%շQI?+߂Ѵ>՘#vKPU]t.}rK]$?.- tTuO)AKObqQ!'=ofCEng;~?ʥ|!b]F!kjFcXvi ECzBgɎ%#(EQɖ},cOBe:JFyW&i}R] ĚivgcFĭ6TVB7Ue)q*[gY CT=1#o\,n+WcQ~ ̘0ڜyt#A]"~BLi Z2cԯ"Mdj̉8R&bQ;HKi?T'dp5"2n o_0!U)l: _$c)؆1}`R_Z}k2F3F:*~|w͊9+!;%V]xcރX䠻8|m`=0!B2nr oTe십GE+@˱]>ZÕ4RޯZuc n l4@okxv7Xk;!@K?zCӶM ]) SR8zdAlS0&09LCnK Ĭ 3K rKEXӬXe>_և8ۥh0 Ro3=4 KYJw"qH#xedTi Xc~:r6KyLT"I鵥=-ԥta<~(yCˆ/5Aoy_Y;k+,ޅg̜{Uy%Зxf' Nݙ1f ~dMݽ.~~v=}jknoLDٞ2~ AJBJsfQ9&2@Io-gDuoE.~pmRҘ~)1K.l9V(\irM"Jػگm,\k!vѮc]R:OH0%\JֱO~@5#2|^*gUUӭɒijpAb3T$X8 a7a)S51W*9Կi ni צW8n&iY|g`O 3 A]HBnn6vЁ!9ǠJ2tu׉FT| {iۓ^DZ(eׁXurs*); [Md0]NYBFU6D! JTd8ILL ^è{m Xob/yZԝOE@toU_010JAECY Ws6:,d@(Ds<Κw yn& Hm0\:]IQ~t^/øk==}sg?;KNLC'9blѨ:S, XN}aϳa$B ɰ|aV]0,FQorfTU@_ %-Yo?e_w`Ī`аݠ/aФ_ьQdC8i%<3\U.MI|rt43 'ƂwU8I'BPqRWW 8g+ƥJap#7Am(q{cT%G2My?"v6n+C ǮlvlKc:9@qOnLNn 8n.nLGc:BNL/_އ ۧ@/ˊlU ,^FW@n2o{r~kfwxc([ga[c}j2YLmU=l/M&5_NvE^m:gYZ v %v?G'! |lE嗧Mvu8젟bw 8"gvkź Lni"MY'w e=v1O!M׊k;nf*3x0CJ{IhWD{y]L-vG=:_[LD-!gZQV=C!+#a&aWeqB"{,#(Z. 1[CXsݾ4ֈB~wkgASC\,*(/eSw |\vk(܏k`EPx/Uw W/0if;ŋRci|.hA[N3%ufƵf@nxbR}[RX? b_)(dqVDJt¢Мc ͵`ׇKUBr/$wjt(J9~!8O0 ֬t^ƪ%p b+ݱޠ":x3™p~kQY~O!639/d.^к^DSfAn>1o^m&چfaײw1baи8auћacY! p&0-QQWldDDxe3?B PK@t! (^T-M+ :Pq 0`Gl z@Qґ\:Iewad*G"爾1;Jxs lppSC9j^s pK\KЅatIҷmAYN\ʘ۟Yf4z/ B(Fe:՛ JWUL3:'9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Η&=de, T[ ^~!N P/W2pY= $#FC@UH q `܁ j+4ϔi͒M1i9gs*eL5&xyږ:?XV\k @C-"BEPLVÄFeU%-r N^+ܿkl'9qX{@A]{c#Oqbt$`b"UZ)Au<^Ke#|Yz?JsaW$C̓ۆ\M0QXET֝ħ#`\)IMҩASGX-/>z>/vǻ1~kM`tЫ) 0WC2.Y@IHZ7XZEP/} 7`}w \4 Q}_jƙ(-{ϻfߗh٬z:By' hb,@4p"AoOd[$qA9# qګS`z7?SV={nHS1QFcձkP鞩*ީx]zהtiI1I^*˩HVCV dr%M IkxZ 1ԈY9QfZBZS8{|~mbc3)R)Ix^FR1zan:F/߆cc= ]O荝=__+(t5%@i&v@{&=!}#!"ר}XS[CNWg>C@Ja*XR*`na$f^02bCp!6'4? rڧ}SW;$xmԂ,y Gb{rjq uo3 $Aw_uxZV{3ԇ+|5pY^u !xLL.!ͩ(8*"K#QMLwr#77 YVm3 ;= N/MMlOhWF1bCP$-`|?-iLPh8p'͝BM}(imdD]-~:S7㰂e?H-il ".lߒҏ&Qc fe?D7kvxGj*؂&>o=?&\CQ#7}T{F f *(MIetKOkIXٹۯ,8mJUtSwvlOxJm¸g?\vG_I^F%FYyf 5 Bũo:4WW S*'BEϼL=G?U_(Qw:jad bjPtę'EFԈbZamel]*W1 A>itCRĔPk~[&jdE0+cf(S08R]<'‰B =!8 w&o}M=HYx;Ǻ\!i#V(slRxS+Ax᳴.TQbʔWmd/&ˀqWCm0C.tRTtD~0T@,U:I/wPgYZ =={M+# ,ZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌C8}j)%:Z&T9}q9P ,q8ɨ}`oо6**|p7sk ^=s ֣qGnS5V3gQf1ى_2>F I"- Wf ֙Ch`w>*ے; 0c/^b r@,.LY`Wk*1xd{~EuyI|ҏ]YtJ6׏-V$SP#!?Qfu(FF2 0@r!Εxl-oQ,DOMp 3X.0A;.3@&1yጭQBCU9M] c[֤ 8NkK Ap~JJQ<iul;d}8l\H#ƫ&&p ;R܃~;T4hb9E_" bp\;ӉL^9^?+ȣ/Lid,84֒yBvFVhJuzl. +K!  3~g`'źU@Ԍ^*NvS9} (0S–AzClsم۵S%/)5!f->#Ƈ-rR䂱iÇdIM%"~Gwn%~]`E"m$Z ^-8 nybU5j'&.1C\tT+Aw ~S 9//RD+`Yd蟹Hy,w:q!C&s{G`=kq*B+WJNJ`yI*b~/owkŝg:#Z+)< ͇nUС1>ZJYc #R#DDM5Bp5NAoj\M8!],Vqwݧ̷^~bj\1p?ϴf_7+֒jPOlr~k(٥ShIM75*[+/># &%NJd׸'i}b{0Q G$,W2h-Ilk*REݫ4

i)] z=V!S8mMQa IC2 q z\h"1_$CgI ҙ SE:&cZhqlv/ͮ!C T8k#c*S@st6A G~7~,!Sh"Ji);\h|4_ȫmo>G^$X͉ ;=ϽǷw3)V,GxD@=}g[ǕifS/ g`Z^X[Q wi`AJ$x$cdzDӃ mV=l!VY{ᵋX̚x(_Fm<a C+hDa #َH@,oc"vc\-FuV̗ft\Fg a=<4σ)DPvNߴBQk+ kRƁ 77/j-WQpj-»`` 8  cchAE(}M5֥5ͧ% o^C#5o+o.:{x8%~FT 55Q5Tw~4bS[e8 EBбd26p*wUPv.ќ[x챤|{[v!'l[~D0?cTk7'&U&KJ>w\t.e*[Ż I0GiD7hMrˮĨ[.P~W h&-=SdO=;4O -' q]_APo[@fcqHC2 E\`|`avL<<]$.I~v|Վ$}&t GE Cփf/`]d9&˜0mϰ05q.Bq$uoI=1ha#W*2e֓Kvj]m5}aDxw ͙J}zs.ljRىp1zv6[ۢ'3= tqÉ $7s@k,l^$hP4"DB&!vu3?-Pi~_ ; V:iǓb}ÎQ.W<Ój ~EQXJ]e5SZBz"չ<0d}I.<y跤 gYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4