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 9rTD$ ]/]ZF-Induct:threads=6elapsed=3.209cpu=11.709gc=0.4487zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0%MÎ|FHXȄf/GKԕJdnH&zR3cѡ\: {;xg)j47OVJkc%ƻI[tW@$,-'`ZdwHI?'S(auX= ;3ʺI,M/0ܱgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?0.CW xS0LXz YOY3bt,3:opٚ lOCr47dକ n_3]Szs]w`?l52:yxX8o7/Ӧ6!sQ$mc'z* B˕hM!@BdyƃƷ̦yE>}}{$fx \yvrO6f}$ZSKj5^-ʚ6]kO&=9t.l3:[:r[լbShb4`꼉$ :Qi] %) T+3z4 +-VfsR_!Kwe-\3ײ1 _zn(0@1@BY}'6٬-5\ׄ_>XF& Ք| Eb?HxG5̍qZ|'Na;d/33v 3jGyqdZF8q mO(mRvC%9VTu4IZ6[]92}w5E B3$BM4rt1=G/U 7{}{҈t*-21"Ai)hyz;  9gU 6o3? #v$Ke3GJxa.uL=NOݔ=rs+7*+9qJR؆PhFZ/Zk>kVkIdERR`eZQ )dwf5jckǝW87MgYZ7d91db575b5938945c258b032989d9fab1cf40b521cdc0b7ede6607d8caa98ee660803e107c08204 3c3954263fdd1a79a3a79452c5d21b683fa5346c5e12b47aa5f31474bbc12e585b322e7074ec91c5   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>;<:978302/)-&,*      O* ` b /c@9Wq _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_id617ZF-InductZF-Induct.Multisetdocument/Multiset.tex4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.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 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?ܗ{: 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 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 0 0R 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; mrgYZx )/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZ  7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ v v. '- 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,CxEdx3|˥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\ gYZ0TIQB >?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  wA)!>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~/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'D'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 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?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=_9lVQ9DWnTֵ>mQtdςʛ`^Fr.fؓI8G;8. ërBxܜ"qX{!?':6D)rua~7!aX,~ʻ i؎!kwp:⃵u&W]kp٩@Sοա0N'qVql(~)YQ )bk;"2oy}Y턫yDw,&]R{1ֿF:FhHyըQXBD vv hAhH"#@G''Am.S JfTB+s~ zd !."D O}:^TڣXjd1Aܫm gHiyki8HHKzr ! μgoxV" /oLT7!Uȅ5.3.,Ks,df EddegƙRP~KcPb*McM`EL3#.wNJCZy 5{P_loD>@pE[}>"K\lO鈦FL]B\k%뇏~=[7!Uy p!i9JY2%[F*W0Bdf!MoT%~3uBkܳ6`Z%,m?c9R\^Ӂ,X,@#cVgo!(xA7):Wǀ0;$]}d(١;͓ϝ6DGB Fx bl!ѽx?t+u5 pcbjKCzjY!BA?^|H CKB_Y}|BڡajS[`lS6oA غ\ha+04uՍo?.2(c"##mcGr?Cn=$ږEZoMHܠs!ݽ!/ǭqgEʥN=EJ{‡zBvtAĝݭJW"XenY+="&{h#U©gzYw8%E ~rhngOgo\NJu󗀮h)3!qʯ80tʜM23 td?̑DuͩÒӟBOtܢ(WGddɄ^U_D{ǵ$ `R͑SB;UP*\3NB*zVN7&Negl.ZB[UD=XbӁB"rrtV^=g6lՄ>OV0 *UL0l#a ;NXwp4fwwus2\kU^]XupƖ@hljRPr@fUY 5duhWRv& r ͡A'To@EP i)c'Iڟ`1JN^4>ew1smx!6$̥cO&b%1)Q4,S<3)rq T &9Է K;Iϻ+пw7ӀEz ò%**͏4Շ}뚲<:xE2[*2lRͮ,=əAI\jEdpsRT 0pliIC?t2ـ _e5 ]`RE:qCjO ٶzL/T4ʹy@ ;sHC0lB,QρE:[K6ORa 6}+>&_H(^@VO2h|zӿ?Șb!0i2k*wu0)G6^|=,ȝ4Ɋa$%TmR*K4>q) :μ5h9z rp<Ɏbe<%~]Hwx4=ONϿ ]n,j ]BitWN*l}S+R͂G*һpBuUr=]O5qap"Ru[oUqw0NR))Zبp^jvWv {ƞvmfGQ̋SY(5q<{z zAS9պ;XtHC"g=UEOpZp3k'ÒRVWFd?]K$lrԷdP:,?Q^6o{&8*{m5ʑ:TaoFKn&z'e0yp[bG7q5I*n&VKaCj;$7^}ZGHOBto/o]<^P*K}?0DY#)s>#mhJth(?[Xv(*5"}.B`:QC!bb}\@&Km{Lu8٨[!0(]soTr5.U lQ#Uxnq]iͭpLtd2 hE/rB\ef˒΅f=R !٧6TeSS2(fTo]X_좏bxI;I-YK&Z!/@-B6`Ύ6H}׺ٰpI5&"]v} ]L/GCD{OY9%iЖ/T ,ʲ.8Tn`bP7מZHMUV+6lI]𤙣32z!_wĿ ?r)Xz␾2vZK̼L5AZyGrUW%,)z tGC+XSk݈Q_QwgYZ t b V tg 1# |ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! ҡ]ˠ)jk2p O6LP=͵gl5gՙqjRp]/k 僁cG8cUiAw>T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λ᳦YDdp$b IȠ ;:LSV^f˛12iFv;P7%-Ha84gɇO̍-+hq7(@nл9 vZ"19McxP*A^]X;p=SD{Bvx95A6~eܻЙf4ojP*#bӹ2K+ϻCbI>Ad90 L(b=$T je0CŃ@͙q<3(~9˙U;@4V`Ai]>faY*2 I1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson7/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}cBf J}8˹0T9tk#V˯E~3c 3tZ9aGۜژW%ch9#eN#Ö ,&-l4"y|\I9c+ >_m>VV4rbq "FQ~a2r 3Oбr5̐枼letW>hq'W}z٭,-nXRQ] +ႫSCxٵJ+uM(թÍ^[_ck]㥅j"].;#-Ds "C6m se'Nſ} zI%v܋SPΛ^w2*1}s[[ BKBKtob ;Y-B.Vl *S}9offBqWf/lX6+Eu'Z$z?N݉lN%Yݒ#_&;rM'>6Y/\_ ]a48 ?,C4ݚ/9,z(e|M !xtTĞDLT}&2Aj{gƻ+A=ȖE&:.d4yqsŤ+jYSgC<̺dQpv{XytnwR{^Lt+[5'@F[7V\$.Y>:VJΉW]@jGtIM VcS5`ir9H:|?(I@aQ5ttW0vCx jUʟ("IA!J- IPI*}uDCԡwV2q[M(`=xyEC [@onJ#J +lg)4AX>8ذAc="(W&؃#$bȾvgwDeǥ8UbN釪.<;?w'-ۣ𞄔z:dR,+[ma@/\Kg)q5qX۞ K;FoыSx:}Uل>̧vQZ]Ldl6wjz7J]SdCScj l> |/8ё^ DRgm2wR=|3@ᬡHZSsohpLG}%mT^ayBZQ((v|ؼacE<ZLgI`G>*PR¥ D7`XsҀ1,4rC*wr0qL/F_cz54ǂGtNrM\kVz6A`$%AVB:`vRY5xr7XuK1~x:鈚x.~[",0ob<|&AWx.~`FZ{nX!LeUaF`[r:ܡw$|I0 FAVBŀ8Ԩ'ೲ~_ִdGX!>Q-]{x+MzUyA=eo{&=ǹqx2qݔBYGMݤh1׭=$Z thB.0Rnt ȁxL#7IrRvNXp d1ءWjG%r5T sWxJ$}5ؖ*2@+8>jN%4s5@զ-b%\B{L5n.; .uv~ 2?ҽCⰷc拿5ULZ3Қ:ߊ`5橯@&]#=0[I+ 5VïcŋT1\4~,e+iVn(M彁63^#T C@_ ch!q:yE#CU&NC.xW ȊH6 ,Ŕ|AY^<%Š?#Zj ![SHF={foCɐ*eߟ3:@WFm)|WI$~XYauǠz |"_j:m؆ ybֱoQ5n wlUhBZ fJ&gWq~UHϯxdճH6TԦƱǧW,CưY?gnUޢj :6,V9G=md'$I|]! _ ﬋&f0uy M,p"?Si/dm%;,=x[v9$W3ônͽ31„˟Jk,I]~ _0B:|vۢx1bDi& ut d-moBȻDF[A*+!"xn7Az~oYcԂ+MZ3?EJwJ_ؗAسw̘_?40h5_1l6~lIs_@r {2 YoGBǸ 7# b6] x0g?4/9-`J] <#bh=>I٭}\Q.pēEF|xjKmfn M]|Y5#O"|tDz.1%kxES[P}PcRQJ(>s@{^{ AQ3H|S ϝoLL*P@i(FJ"2е-φo!!UC4\ckx+.oo'dA90tPڴ0m+Μ|!ƒ 3֖JښZZށ+TSdnr}'2C!Ó#(_)Q[ZՁx^ы!*jm!*&f/'%8~z,0$cޭbϝ[%>l巛IEQ/B,.!ȯ`㿋X#D9wvx6{Qs4?RưbřI9᪠J +؏.0Թp~ǿxrQ**fA4‰*v :ZN>vh= [AuN3X;fGϾEdK0Pݑ?X~N: T_kN$BE=xw)OD@ϭX(h#/ z!O--ߣП~AH%.t|d$D־Xd0F˽oQݷc-M@ R L[-5(ImyeV׾?/^S@._ M8x $խ;w1ųٜ׭{vQh6_gZT 9@75 Ls,VsgcS@XZabNދ]?7ڗaU[m]A9@6W,H qPT-2= ï[\b)vހTV=fU8{|YBR׾~ds#E}>XvJQ#Z}:* ||F|hk 4Gh~xj;L?.ϫD_5~g5b&_3R6wr׀lhv߁ueqc }ȏ[cW4q#i( Wy1Fee_K%ɻQ>Hf"}4}7{[ܡ'6p&֓S^|r rl>uJ 9@ftZ}{&2oTF[pJ~2fK*ҿu~"*.G48*җvv. lp'`>_EЮ&-J`EХ&ǿWnn;CBTUQoqd|Fd Vw{E%h4/1b8w*&.H32%,ettZK"d 8-;lSHI2&Չr;- $Hך=N1oč4d>[cW3dRy-_J,60`)eD9KDJYv@3Ua$)XօRV:gٹ3VCãXWMt7lGvt<-+ڼ) 6J#:0K{S~l+K$2W%g75n\]kJf9}GNZns 2Ҹ8-TEدّixr7p <(既teed+̓NUm-Kx|F(!UTͧd]ˆ]Z? 1 `9 .ߙGǯhTC[ĭoͅKR)H\} 誒U6("kX}me iBbWZ [(3j́zܧT#]Uݧ=45ʧ¿S9SL7G[rqˬq l O>)X==rxoPvI_. ./-8EQ!@AI@Dʏяb| )Lɣ^{c|PLlɷjҏM.؅A,L{VsqbG;d]d}k)%ݧKsdO%e!yBy l3 *.-KPJ#?9D8Bwst *4.pFT5jWPEBD lV-8vI]r>-_¤6E-x_D/Zb\uv yK>*f@&Eĺu+'!M\2 X~ДȘOt4keNI>?Bvl }dZ8ge4%SOó.$YQO#qHa&u?yB`궿 e4FE1 L7.*С/obu }K0Na*Yi\RcUk(f;(8d~ЃXr.v>4792EFܕJȭ5 ѽ^濌j ];1PCk*0't"hkT5x59zy:HewU\[9Xg~}ؕGL'@ E(0#nϱu6f)Khvzycx% ! k?ǠZ*wv4qj3vs?h9S b匢QAM'ea8§Pl 1!]Tm~q\|B;-*h->բDZa_Pm>.׆>$l;݄g?gű̘eP^-@}+@F?ɴotܼ VM .>v'be:@R:BIog7ҽ%0nL_luIv9q0(H4+YZdƒ-g;DN_Y TW:9 ?ab4yBHn9ܪ|~< *n 0/(^wdwK̗{fw?3ʔx"XU}e|TQ: ĵ1<AQ bYUNeOrfVmVs T06JU\#JI%VTňK~qh:+0nvT%Fļ[=)%DkI|BfZUu8Θ%4D!LdeցxzEreAЏt-@ >cU;r/?9Gh{ڨ,{{i`'FS נ>@OT>d%JpddX*=f?#Ԓ2jfޝEA`v{S_@X i:1|$q4ڜ %@Cpu3-"aY5 &mq/΍53%ӯ[Y9X?Ibu}kt!RJ[m$E dfA{c_WwE^>cp&a\R:S|;?褡ÍzkvdW m+AGxƁwFjIۯ*[]E};r{sIsz߈cCRD69:Nj}̑gݓ)́\F=}ǝuCr:ٵ/.̅Y~:k =wNP/qlZiv%*JBUpX;W-gZ]V) EI5[><(c mV͏%5{11wV tj%rMXY[7׮a`} 9%R0XduMI2s3YNq.HfRd=rS9Ak"bPLbWSYsid  SE H$J̽ -AƐ5BE"qkΤ3kJmA_S[{n(`01A% OA0uJVGKJ,])dZKp A3ZՌE%4cM~ Yu\@m$B9G}.O4[ kZ }y;j~ֿohe0=~䚏+Z Nwevz\sycft'-&){i ȤdlMIdP(%h(L5Z7zƁ,2b13]Fʖ)R?ɻp&'dlYT߲3)nwI@2PWĦ@aPT"Q2 )U˷Mu3fQW&"*-l@awF[ȚEGL(DuRI}2R`9E?|Ezg8: IbJuxNX.>mR ]CNJ`e |?vt?W !~)xwK)mY|7r\Xf*S۔,I9R1j~`J.;q@j!6ARI"1iψdj@5$VR k 0W =y=ך RaX6z;-/?3&F,`ˍǖc.抢"VMLC |"81tR걄fkt˘`OI&u_w #OܭHޜ3n&6[~7hiUӤ'\u(E(EQ A"\N~U /:g="_Ε~ 6)q]OijT[Oj>Xʹ Pk@,Boz(ekbF~;zҜ3n`U-iX/&񃤶܇-|!8!gOb\қo~bT7~^@*Q,՜?Eq Xverq9F{=̋# c\?`}\9QZC^כѸX@BtЊ5rW4N퍢4x-g=q`a>R*.)-`"&o'q줪ܯ.YB+*:jmBX+HǴga!tA@SSd,3[Û3:%#(eYTJ EEa!=~msP ^əvw4±k QŵV9<IƔJx.rY 6xZ: (h¿ g-~.4!N\5J@Ldj iL-Y oCx%b42i2=-@n֑B}b,J(U)EFC 9J^SqIPb ʺHZEs4"TXx1N(1,0UPEɵqHc?[[Y235悿Iš]Y‰yӤ)XA*:Ж {+FCVlL;sN8ZšվaUO‚@(媑fuىd|Ú3hZ1*VUzͳ58_W'KE|4qݖ 2O싖q:E ^> mgg`0S/xnhq vBIq?STUH!iEq EVu׎xh݋@]EGŇ_$8q]:;*,e`.K3EHsoAD#EbuE= 8%8Ti7"+xXU:*H|C8erݱIJ^%O@dqKAZaɛ377%z(Ġ}]T`=4Y,Phܒ+LT}$\pP۬Љ;᱀6aܙHtTxR{Ӻ!O<,Amc"ʴOc;w `S$<@u-Enjߙ/V⤘)hU8ԶH6z- ܴ1חC0L>׎>uDua);n =EB>ǩfb 58J@ %V)'9y)KϳF_5ntE~^*6L{1+(5AEJVi1|kȆK/$M){Yc An=gYZ!KO7œQBk#ӛ7OB9ܯ7F^轱= 60]R׍UUGREtוL.MNQzZӿKdP7^Y-ݳ \TA۵M2ˬn%LEf"C%b,xJA=޷2;y „AĮ(xeJҭ8͎ɺ[.WO龄IDRYOh$)˄-q@@Mݮg]x͸S0h"#з<|b'qsMc򬕖ZL,nV%d"ЏT08 ]C.B˻EiFt6\@ՐU<7q( U:$>墝Q;RDuwN&)^ vPly!]Ȼd`PDsRxN@nC&ZQLU@Vް$\u>6Iu)dй+$M;w 45ⴺ{p'+haR6-QL=>9TJEPX5( 09zM8P8B=j\XXzB#{6/L-!; EBXeYɎ.mR" P bnR}R0x|OtDxV핷qMCɦN&%+!0k&QNճ6ǂHp~ (xTQ7DR_g2\|3SHds}.*4{gh.#ֶOZ0KgS\́ Ik4ָmRaQ|='rz2YҿcbnQ8^h;YM1vP >p?2]蝹!)֏JB?ƏO6?=9AcnɌp5` ;.J^7Q|%`ƥ ֶ깆s~MəkJ%(=y>Ix}a Jp\6̳.+-p4dӽe c瞳YZ5"_kI[cIk%):օ IcւU~oIU$̓|,`H6 c aAS([(Α&i0+6X2_rp͚S2tO(;^zD/s'ku* 9zδZKuҋ[V\Y{6P+ A^=Y?o< W4Dck LG感vahg-0%E w:$Ԣ$6VKV<3WNA)aH!Ls3k4K;knedrx06,y?uz;[F.:QGYۊ O]y-%Ȇ/m纘4]OzM0D}!Upk"PE=oМ' j7 [}tJKW"sbp5X,_vF7D9<@1C Ij;%?pZx~A!$aڻO.?iE<ww yU[CNAv&)yڻ诃>gx-J}mޱ-s N:"ZfSl>L"/9J IQ`7{:~t׌*gkUwvb .NmaI5y~4ISOz@ ٵP`#Y/ M.e<>ą5X`/,5mO"bw >9k!Eϙƫ4Zy\,-W$ȡ\t8B7\يB5mn"_~'{?:N30^!IFJ-7&v)R&#,řfS;UuW$BkYFtWE7!`O2G?[wsfeM( Ut`Z;6~NȡGe' Y_' ٷ q"ݷly-")SØ,eQVlW3KeAշDND%+vim$ygGv)l)t蒟,]xx2|E+'& ` y\5nQTӊ^#NWB 4/R9ށ4_P%GZn3s),?@d>i궹iGF !%xaz2A/4t"h1+.;6)Ǹ5]TDVLeV[ٞ/t.dT568PG%- {T0\9|v aϘm3ۛO 5EӝwwS+L)v>؊s*yl:XhsQ3[3}2\&X} ^ dȌx'*i7RX"ԤhGbӱC ٛ40u,Zv\ b|+~Iu΁Wh a.{(>`rfO?dʼn.|%y>ډ>pu׌ɴM>Y|]&Gu7 ŪxsZn@80=pX\/hߠ>9vW%$nm\=c-p]*Ou}NlyHPcK+ϛYڸj=k<磭@gk% &MKԖ/d{qֱNŷstyRkI'^R sm<*!Y7nXrE9,Mn>1$gb=UpI]U"+T3U9$YPErj0&mQUlRZL/OHdfn`x3d$m&v`H7wI n<%,T7+-y[cj~1Zm6E5ml]<:g]-z>2S<+ݯ67\φl8F;Zjyz?Ϥ sU* {֪Yr#cssK6Z)zofî1-P @,&ێ>Gn%y(2?ձ(κ4#&P|o '(.bhOY*ȶd! s{uxr2`n@u,44[K%5c0tЛ nUAS?Z^B DDQRE+Jdo d6 =:*??AV/e8,ZIwc>^SH yCn9z$ :]2wT2c߫1>^XyQX{K 0<ˆ;?f~s QH]1mjF~zP@l$a|r"a q5pWV 6γsV|>:)U0 6٥Y7,9#ghcUd`!5,+_Yd; -i4uVRऋ y,Tmr1-Qi{Lv0lr @DU+ۛJ ;} _RxJ]5 BGv'rߞF\C?VprF5wTNGZSblAǦ `]z\0nyܱ=iD 1xf>*N$r.l`ݙfP(SWޕwl j*D M"l|0mAk N:,E=FðGϮ;g'0Qs ` c!͖HYiU8r Ӗ",G<`VPv$u4cZ5k+V^{ʢWAд4]怕i[  z{۷aC).db$W>1%I^_gWf~/}cD"K<7v{ɵøt{R&TpL#}KYw*#Qk+8wxL5P< К?%$:/6hAMf0Ě)Uz'J]͑3x0~Dߜyu\О ɓj}Ň2qе9x]arX=#gÎ\]r3F!/^mSo(o.[Poi8!@$gZQb{⢛GE3?z>v[)# U &H>8^႑qIpΞ3!gZDY*!vpwd4FOҤfƋ.7rfd)xs2!tV@5k|z$Z):^Nzx/G:Ml,-G$~2yʚGs|aG&UGE\zfvѠUʯho9u> YɊZ%]$J5{vA, Q9&7HuraEnf.3Og]-fR9rAnDžyR>_=ϦQ:#&hTQleYHA3Ad0o[+熃2ȭ4a@x%$Gd$Keqtz.C4H&_ό9<JjN@u7MJvXudb*,E@-KYͬGq(/x>8bZ|r5ݣ)-UV{ڰja2'm*V'ɭ#cSt} s-Ƞ&ۢEY2'J\"aAc Kirxӆ9j%tIDY+ұ^c 6X4UO0j;%C:U%ﻄh˱@S~ ~l#lR;,oK;[(>K@g/GtXaHb:?9%`\egy]z2$LG~Ш q.WQ:D]U@۰cm%Q(PWo3tx\7A֜LpA l p IO,4sxeeX^Ŷ9 #-jt'^:s87UMemrrJ= GU?~weؚԔyWnJHhp$w^ׅez6ϺYG2R -6+m5%OrʥS_I D—"-ۑ:,bcT,eN B(E2w ?]ly0LګFeָ/gNtҊkh7sH+ikEs _qiI JLXl\t:<2./&Ss^7,O!!¾8 [4wh7%Nt7U J&l4s9dlGyݍBiЈ U)R"$>p_Ct`'}T?,kW>L'M2JSKb9鸹%M)rQ ;2<]. J-!(z^ݾF(O q.Q)%,( #VNhʧ' b; a2!#)|a)7K.i!*ХZwo+v>#SǠZbJ 1%miO á#!@5GKxhT \/qzdaFa?#J?[zs U)5 %=킀[ 7GC3&cmD5ZeRAAWPA/:,wfHCJ ynjK` ʥn%/қAp"znp}qVdȌ {ף. d7|M,b6ԔM(.+HC7 )u8|X`˳#d2AΜ#=h#2,#@)pNyQǣ};VH34Xl&мȂ)\Yx/vhUkZ# rW0H#_ZnHu]C } P1?xKг W#t;84꼷SAz5gS[ h(^!҉na|tG*zEʈ>t`%'& ^z#Kw^}Vkn]uSĺ%UoU|⠨NώX%S9˽i-yfoD3_啢M83 OTROU("5ߦ%qRjKeG+Z~a&2mŦ=oX\,J!ZIx+z:gi.jόC424=sbu2Ț?C&RʩB?ۘu)s0{r.TlS B{.XMB-MuzҔk@\HK|Y8iE`I5";Q6 1Fe31p hx86i Q+5_9CfvfhogP/aqc= Ilv5qj}4bMNʐ=Q@ P[{⽍ЈYVd6}ywn-]0D`6jvy`'F.pڡch%{hըԳ\&-:V<r[9hdvCv%Sn;gX@44DsT]l{l 2`tzxEHF?|۷0*7#8Ł,@Xw`"'lX s؇RY[rX՛#_)mG"WMJEfP ݉\7}A |j{[[F_+Po1DNu[4Du:+0ElXOxdkrwKuVbgr8Z~ jjDJ,,撚2<i#4dbd.36g vJ&[̗zhBLA/=֣ z4~IDJ39dUs1jl/i4w];^ma9 Ӟl\E }I%zΙ&.FPaK;# /)aHY6n7a&o`׶@a}5!8K09Dh8V.HLg LM}/ēʞ -ȩ6Ӧ>>F{Jf') _`d2%͌*qg&0I>ߏYB\tے\ZmTVZ݆膴 kzC$XZh`5%cbu sFPhP5B=8dP=E+ ̴#irv(//wl5-w|=hh0ojv&)\spz ixł< vrDZfu 4)gB.vńјt*i.XiP$hpYs#N:)8"R_) |y "A`✴=l;yV!&݃ lG-Cs_ߜ Eef?ާ(ĖArۇZRUD}Z?z>'!ڼtޝmJqLB m =\OovFړY^@'98v" Y͜ ޜ)6 |0«$AoG|^N}#9 9[$pMBQfV*j iɄ]W/~"yˆn>~P}.T/C$<%<*^j;u$:p$J0hTê`|yGNSL+U'Gn7zi> R:XhļWfE9O,n63Eh?HN23ѥ 98E$Ђtac|W~jݵu^|69&8nvlV>)spo€椧#DJ21n2] BBJ?%Rz$ä{)j(ƴKRNpu|JY)4۴#MsY6/ uI5U VL3KnsaM/e]`Tv+[P zwF TJ"3=j@><fJ jwX >.ΜJR/1|}7?΢og!qVb9AHu2WLI6Mtu¸ڸ}f:mxӱ?<qq`EC@ i S pύSao;5`uLMLNG7M>y˼T[1=!k|uv,W}P8c#tDBY|OVmCgP64av`j: *9:?u.c$~ngܡ,P`sI0O]\qCD! |j,,T@~1@Ҕ6boZz}tBB&ҁ L3_Y ;1K]B:z]"Acs=|Qcg w#{0.zL 9|kH_`-gPb(Oj99Jk =G)K=Ѵ"-e`q,8ki3T\/)uF@93O~*m8ndwA>x=ǗPC=3Gݚy$^$euh\SY/ӹr-uGY}KmنUPbFwFr|-NKL>bT,8sLRpAb1jޠ ؘj*#8`NbftiLjK0yQ5O{N`=S]<n)6f C+Rՙȓ Zu$dxV3P8hmq'MkNѶ"\PP4TE`8/F>jS?O)x=ZYrBÀm{_l|Y!/XR/8ar-;qAv{ ޼}F$?@P 6Sk 2I `Q1qQ1M=1i+2LN/) ܩ3+aZ7OSr:dwq;E0ƋA anq&TalJБ9U3Byݦqw&a|դtnr=`Z?z-h⺭(GdEQ4j5k?f G5? q>vPuO0d ybWY{^V..Py_K. O ;p(^ ?,Sk*L.h~A6?5?CP䩉=Y4[Eaao#1eǙ012o?-euE<5hğGR ¡Q@rƧ>y_+ʪ!UϧF*qB,\=u'lOm<ٓ|6uC ?_nHs6{%/r,'9Dfzy׾]z t}vtH#D i3r4LX%h2<=o!wʤOGE>|\*˦y[rKaE ϱfñ-ZiLBWq<  *Mgj˃ާ+rA;$Ncli #> f2ƵJ߽屳WTD9,Ht?&͋Y-3^v<(Cө^>k-pVMOniWcb>Yu)8]p"Xod qԋgp4HP텰 ڂҴ>0B>gwK->3s!L{"eŇ$睕׼Xd#a·/Վ8 @f~Y.ޚF#o7=jw傓(r]a ґgfQڱm׎Td!Cg ~:0pb5ANJ„ TT}ŴAJ%d2Y3~r^F!5svYɎ]F. :x1߆!@.;VtN׭;/%-Pv5]rk gT'6ki| *ʰƄ$6dۧ+m9?!C\jX֠2 7X6ȧw^E<9 {՛hYq-4 .b `ɼ5A1 V$C0 p⠚6d;õ]Ҩn/V"(цŋ1(b-{bP޾ߚp; 3U¼vh({Ln"#ݼ#ݕ;<˩"+77d7WEs/sv\ct~ +I V0-g= Xz aU|O:YSSj'nͻD` !nkT-;r2({ɮ oԽaUK޺xP}s@ꙧqOzw ]X!/<[b 3ZKG8^,@n}(9>RCvI+]=BΤyON?Gb> v hG5SLc_kc"&Q2wW5u`GRuP \u 3euk0W NJP%FFԃXvQ$vRاp>O0SܖELpG*f(ڎޚΜ%UEFkuI8; lѣ[NYބYB @}_{]ںA‰TI*o^IH͂3>!/R~?n*| iSc<!NS!f5T KSs<#LY@rr*LsݦLᜁ7Rxڌ *I+-Pwo'A_W??JR*e,e?uK- ]& ce:a@t7B 5,:nv"ة©Ĭcc%ˍ4i-.Cd]pRB3 )ٖ_B"B"ExH3 k$FRhl/D ByΘq}{? eˬ䱕8upͨ7(mE0LGtI5 d'2@^EOs 7@E WVIK$7 ՉYw" WAWUJ]՝\F+AYd&,ߤc Sr>]|a 5„Nɣ5Dm/qaKx5GsPܑJd0Ϙ3}|A"UIIvcOhg CΏk prk Y&M9lE w$s8./d⪉F@;ްEaF|~-8Y]Nn8C@V4f_ƥWs2>6,eSV% M_zPl7!P.T˕PfZU %.בu`I %N#o Ct/챾zΞT6jcKWŸ88f:W68~ ~jvc\?f-t1߱`Cq! Ӻu~}AeTvP1j C^)9yj8FuVĢgDKсuE#@@dh:fcȗfERw*D8Q2п dAQz/`ڡʄRq 뷰/PpEďt&4h d5SPϹ7\1ڗN, Ì8خ39 mr&<[@&dۚTM3Dňc`dyH>3]GKh_v7l :[؆76ɃXI2E먭x(q<矨BXUjDFڗ>$T.3؋2EEGA)>Q|u&9>v1qV hz)K;)4'n<q^ꏤq29Q|69keKw*3ooL!<;w)'J2ECzB6\sEg#px$iT.M:6;:Z5{vWvqK"\ieĝF jnS4+'&y|[Z_8e lֵny HD**q+1vm%f>!,>LZv<)=չ-} ]ڝuְ>-q{2iL8bZDo:0[{*X|=\q `* UUPX2ێ0KR>k+{w]ߘ2BJ9Kn22bRkl$]]Z˂2ġjO\՗]iY,pI6B: #QŦ;*ǢA3_נt ΂= Y*:< :TͱBZf}R5{iÐ REݖ3^qDCfK8[Mh51/}/j:!cLQxCxSLg–dD$D 켢WIjP0ֵ@ܑ ) :UH{Gp@Y*w!mǨyB-@cPoTg>ϭ6*|MQ5bkGwr̀c$G7zS+M86IK:dITĠgq[KmI<3b30VVR7l6W3v0Zwh sD2*Ӥ#9r1zh{.f&UlQ{.>2%%WfubpA96} ;U5IJvҿY.R!7<((_:!49P2f0⼻Y_ f8䘳a,:hNz/ =t~CfBp^WE(>vUz`B0>>sJRh;9 [%9Lke:8KL輲/P*.Zm7ڗQocȣ PLW-3=mևph;'Yx, LR=$ћQUݘp慦}Wow4@qL7 ryu~l -.-D 4tI@&pox"֖pmYsWnf@oM hSMn#{#i\QLDhx%m(?/U'8%*-C_IL hG[x3xƇubD#^"Q:y~e|%JܵT[685OX C@CPu, +-ktRvp}kyV5\~yiOOZUZ+ \ܢp$(t|5v#[^'w#Οzm9KEaŲGI* YwQUcjcD: Oex;!$|B lff D_v%sI>MlU|qzf }SU\u@;1` J<8+ MԫvWrjعWE)l6%85UڎINvp$#X dOIJќRw`_bٌ|9e%`sWI*D)xv4FaO #FN&KaŚ%[/ g/JKglW-A &2ۖ49rLK݀j"&q\0hIE->8,HbԭۜaѳYc-zTI y,mEft# ! kb({7pTx[{>)<5Pxf։&j5'˜Y#\OU)((%;1MNͻ`!ՆG~"KoIZ2b5TǘE\8Ljij/'JpGmeB8:azO1L yYzߎrOb#1fzK :WdtٶKbTgŘ6PV[:0d%s<g/٫E?{ASTt?+pv&.<l[0r1}\*lɯ&O.࢏WtоBbFx:BOHs? <7<7MF@Ra'RS<܏yI- D0KEc?WNRs۝5>l%Oٜ&XLz띀XzQNɾz!F!?ȋ}E=Jn*v>w-W"El! `~/am%X{Y\8@@sM{z9 _fH&8]uП@wA;ǒѫwϣ 1RYǫM1~Jk){ Բ4! vE-Fٙ8g|{_yy&n%~UJ*ZfG-7ZO1Idn|} m馂L(G7ahTrى-ug^u|ZvecO>L@%!vsᇨd+H~ 7tth@YL΀69:)kW[^틌Rڠab%Y7ڶaum6[@`2^’< \?ot*İצGI欯.RQV٧7[(r-+~,\<{Z#/03yb36f!|9~0=%5QOfب]M^)`Rm?{$b3c-FOqQl*P1;4ĩ7p=r߬34NY}:ySSieosdl_(k0 !4E-vAaWޖX`jě#:87ifBVg/v>mDQM̷~na'X)ճGZs0B -!Y!}| .*"c1||xfIfST8H@HU1F0 2~+f>Nq)FQ r6{ i-\;Sd`i`ǿt~/Z@dyl5d劗obt?<{0޸ͷ{ɫQH'f$7}:"͈= Γ5;;\xIeKj +RɁ,w8.St#TtbCG#= SFȓcw*U]n`7Knm:gx5!y#**U%X4^T?- \) "D|%_1,y9ldEmduO~O\FP;~n.Z?g]ZA?׺_PePlj؆³vۢ=8t Lš@А-$uv@BqH㷭eNEoBXIrfIle##;x ޡw-ZMИlNabƳ,&,xt5ۦEIuQw״4}ˆPaf}@bOz.hU5{! 38 E^ {m.翍)Tr >Vڣ̟_s?ƞybzu=+x. *_@H"Y{#.xp=|3K%CĴ_K6 DQ tvW<ԇP;Yy?:0 SʺvvA>YB@2_JŴn>L)0mjd6BvƆ-kFɒ$\4ξ1px xՉᤢP.a];hq[ l w'Qpzu7&'`~-xoqDU-9[>(roAV"SFd`G#uYlVy``VU1l!xvhf!*=OĻi1W9̳4 _~m9Q4. ѝ꫏$6掴rYv}4J[_PO:'>!]-/\3Cd,)s!4p({}7PV}Β NM};i(Нf;g呃X /"WEkWm9aQAvG>,c@jH( *;xF_B]zj䤬6TQo#$̙ 7Le?~l߼Ơb8/sz1ˣ;73goVRVXTOiETPٞٹϞ4 g.OS<#1^itwX[V,W꦳"NiYjR0Y FYr^ %6Ax`a*dK+ QiEpODiǒt\(!FV^)fأp?/hO8ՙZJ.ŋ%6UzWLWg^-=8r~P_$ځHQ3 :WySBӚAOղKvÜJ'2ٌ\4֡SZt}ްRjcIсLM8Hҿ70;Iv7gtfDSN+PIIY9w f{)VU.w/4S |R) yw394#cjsȏ%A2?˒ ZdHDQ'u/UB 5Dnh6wȢTKmZ okH|**\zQ~DF5 q&5X#]~ sVދٺҐC,]Cf)l^GU(&k׋LD?IdZBq!YEmEGf׫{'j-BpF̹J$Бe;R\=~B kXk +G&1D۱VO!o'A.Uv6| kfC|6KK8țl0~Wb UTi%"f 0|-áKF{^q*먦I!t7 Nư:3Ũ+@)=pXf F5"QY0 a*[-rPd}{ }C̕ zrO.UmY~ۼrLMlE}oA+<"֫¾Bu}R0zk1-_9Ƅj4o!l.'-Z1 :I)\l-5yk~\p%|Bx+'|u نIG9. ᩍ'G ӫ-~ɇA "$oX9p(Y" j>Qx~9A0 l@!P̈́ĞMǚpPruVn䃾ڲb닆pu?uf*n؊R+QO(6tGٷyGO;~-znk^z-8aͅ~ u4jZQd <(jNI^/-\GJ|mY)FTy0u'VJh՚h PU|'Zɚ Pn/!|၍[# G_;N|l-ErUvt/T?P֛13UOyLhAu稶jcN$:e ?ZVDmœڈ#==6n\{C߶<6m)j*EOQȡ2u`fT[6[Px_DK-&$tGϫt 0R!F$>w:,nKYd1"N Aqzh|I8cn,m[1|LQ]zӏ.aM`+\]4/mX\S]R|IF9jTk߳g*ȴTf anJ'RkS-!Ycc,f0L8=C8{0)~"KFs͔@3&|-{^ gpSZPi9\ymCqVVx?'(Il H}ōO`K1՚v\$ȗ̺#`r,)ew\&(hr^  teį*桰CAU_wvfڷRl@ qVK&teruRCNU!jEH2[3>~\#a@+|j5qOI^f7El)/zZ,306*\ʏ2?n_g0x3iq!Ir7ʖ.fz[-zRVW%Oܚl|vj҈ֺilWΆ} I#Y7sW7+mDJ?FekdSć!8C||X^G̸]1A`Mz& @5Yyq,m iwl`Ϲ0͌M3e]?UIs)U2DguM)3V⬥@_Ў#/hB,]QۛH%{i_#ڡj~4DAv?ASL!;VWw$ʂMc{hd;(pibǿ)3uL!aMgmhQbe.MOL/9iL0!Mв8T #& @#$;~;YAN{8ZV[Y $H(^5>J<x ܁MLdӪ"тc6&z|4] IE>8Zw{=#N*<;YhBn4W(qRJюbdsB3m82x_%VZ7̀ 萿;η~yw d-Ő?|H'̺*\=s 䩯FLtHi([U }W,ݢ*;*w75&]vP! ?{4{wlH!: h U"5OA۶A1<G>Wߕ8n]tm=]q́5T+d1U1G_C{ch}pBfG+zle>s\S,TЃ;*>gƃ~PK n+p9Mc> mHjRx|s7޼ubx6 x򿠉dΡ"VnmL=?H{êZC ^F6_I μHX 4zk(BUE9`8 Z^W9F'#hWȨ-ĭp27nyBUL8PZzoG;_G`ko\ZQ+*{C(sD 9kS*ؤ5ϼMӎKnpf섻CP-(n/jM8N,K]|Fz:7d$9$Bk$ Wfl3M̉$O3B#Mmw 7(z0~Mjh %iE`esx/ O9GL9Fm)inA!myo^?LjSXWؤN>$Q[mm+ .œ? U-3ɕINT3|2+R1<%yj>+c/J8M*p­GI5TI+li$O} vWず-n[G}h6:RٗɃLjQKn$G dЌV3997%>{'ev @iۅb C`bR%XR)C8^痏-=ˏ+^EH\nl898C6'>CJFeފ'pT{/G3#_CBAl>c\Gޙ,S1Yٞwҡ:WL@q5(dBVfmQA\浬SA(:QxEE5 Rś⠯A-4HǀFIx*=4'}3fW+&u xOW]O (hK _y<1;`*jZF}3ٖPeS\u~1:SFƏ!,3o!l Wb) 4C{< u).^1-;%&-~9wϻ90qgȎ@1%@^6eRȭT3Dr7(+sw%XE㦅[AHy+f{D &6CEOt/D{'cu޸R1D; ۍk%*Wgr^.ŰidZ-ff?8TCfݴP'+&x F9Rm:َX7^*ɨlHẚdq 9 |Cgiwd%۸J6F[W'Ys%x' ^ XQ'}!|-\ \v+1]Ab__LAgޒ"WkUA=:pO 5u~ʺ4CN6π4g7^b|lEMmY8 sL85Iz]%)?B9M􃅔r(Ï$b9?-D>tpӪi%W?rA,|6cUC\ qRK;!ݛ$*[ sYVt (\ؠ}2sx`tQ^յR>ڪ2:W$OЂx@olfVpXX(nB29Ùzz8^M&ܪ(}%`[%+R)o^bۧb6aY~,Jc+Y{+]0jWv R!dl$^#cKF3zvPCxvj^U+Q|D+#)/Xbv){M{|d.JOZY2TUDKl+683!·L I{ 7j˦yvLI a1W؅x/n!W>"ZKȌ1P-#3PiW1n:qq)QP( 8uC\zEg|E3%t]"ӈcBe&2m/J0O/2'{A4:P$7hFC QlK4-jx"QOP(ROfHӱcu 4At Ug'Nِ$fꈁtbB [˜ T $m],^+JtѢKgb0e)͹T,oAT95mEd elgTO lNsh|A,+0/|n &h-4Ƣ}Ɗ:7! JMѾ[U1xuYԕV-?)˜> o.~_5? XipClWD:pgbᜋۅ aːؓl{S=ਂ:&yhV<zZheXg[]تלJh:r#w6^ an?=g8*m[9;;c}g 8d W[U8Ο0iD\v%+"s L=?2C^'<>Tؔ(A1dg/ؙ Z!]= ݐ\c|ּ ]6;(Ŏ-:ʦgr|1z-T^ӥe}dGU>%:XH}9/|V ;;lik90uap`A1@6= ف3+jj?#ҰAH!-؋CؘLю>$2paɓf]&.|q!nq1^AgZ F7C=~hZPiJ #xzK ]s83TsC޼Z~ʭ N+N 8DMw? 7kAZNo]o6'/R.')|33|Qq? ,bc {?$5Üݹ1fb$˫_UB\ Ns⃚ܼ/D:wٛ>۶?cޕ{;:Iꄉ8O/pU,OZs_jlpF$և&-Y~M~jѯ@\@'yz&,G*;Y<.vb-"7B*Pn {3dߓPn͖MsLf?֦M,ЬYmHFC5AI.qPAɞC?c~F8;V|f}V<|)Xlxi =7+tJ^Ug},

5Ž~urv }jwn <v` H-Ie6oӣ3/wH ӯ*QhmQZ@Pi TM:vQXUT89J1m[xczP>1C氃{їu3!˴ś؝3 U37@qv)37"<ʡvLKyYQf<ɕ:bJ!\5S"J52hƦ-hSn[@Xͯ'd/xmߛCWQz0 PEf?sFCY.%-+4y&?R0Ŕa%:r?8+Kdclvʫvip89{dhi빇7Gb'梠&"s(6Kwm&(8xO׈HfJwPY"Ka'IiG[tOcO|\raA|bWsN.fZ^Ѡ{ Jl &buWEv(+'b=Oobf*(Y2jHV\Qiu%+D{ e&I|Iθܨ3@`~&037J:S]$@3:yGdvHau7.FpyLI(/؎1S_(~0 M(Hz$)"CȚlq"M-jftbbcwʴS'BP7?xFa-rڎ~ Þz|1]DKM\\0K H2:7uokΉlfGa[S^0us?bpiAM6x$M xZJGEBO^z3ǢcB{4촫jT2[cN%D7`BF@xU혿  p#n{0(mB X\CK5+)S] +:J_NIP4x]}.YO%P z E|=YwKpviSƃiO[vbW@zPbahgfBQ U#c _?C2s^kP'e%ҊüKnQ94ݰWX'֦<4cQ6$@L@A%q\jߓ렂4[z,`)J_eMF _fwwQ^hQYcL]SaY7 ptNp Ep%[ٝ3kKHpsg2gD"S@r]ݐ. y|{fEr3Ѝ4=33!E5[& Z"DPzǒ6[>IIk^JQ `q)6lV%|mT͡ჩxl;Ԉeڢ{Mm-ާ @He=)Q-x@hT\{_/@EkCiWIKE缳;&O+}FXע(3RrIZ#I)XP@a@MMn!sX1`8|C%jXo06f:lNvTzf~+VٸPK e,iFL'zq@WCfRAMVq⫐|qV"2S5> cvlњ׊Zgn[R90>WRM7fSJ:y+ Əfli`O 'P&ɷuO+g`w'c/>pb6@zuAdN:Y6 /+?tx /z_a 5,\@ѮD-S/l">Q.qu[{۠!GP$mCjjvIAM5?i}Av.9 b.gTt\zRæǑPWX;B~Ȏ#]6\ _".=r5_^.(r>}XZ0;ڰ/T9T)lMBA9\L*0ͨS~0BM'yy*R 75Ӹ8ۀ^萰Qi5vCIk^u$+|ً#P]bh`0lYꩬo\43IZ; 鍊~V(UTu1ôr3: ;84 .N)Y(TJx//%t :;~,2r]/siLS>خχ$n$[O>\spI8nl#`<R `T`R0 3** VZEEE<7RiMC*z~{ВT7O 7}<%}T^x2p]?܆,[Zx{%kLH)óp;Y%Su/BP&mʢ쫑&󑐹dm횟3qAorHg/`dա$a.h䈟;ðjb0^Ϻ6 ={)x% aZA4TA /9xD[ Nww|ԙ 7SëV]f~+%.YJCHlνdjBl3=gxy{n&ke这!|ڥYK} ,[ar?&"vkx .9 dыWujDR|#ip= |٭FiMJ3~ ; z 56>I}BGF\% A8#MjwV)xQ3PPZhe|G9}Đ54SȽs 7O(+r >qd+YU0~0{NI&4@؝:B,P/c//O'j<[i o X5-ALT=] ʖ)v;0 xNMa _nxE7bУ|+31I.t/.2E|.)rhHl xc,y;yDC6jta | >x[1B-(W63Q ON\j\]PiTE ;esؖk7 ѾC~X?qX隸F8 >$Kj}л՗ɩ>„9^B bhf*fy5^wuիCj?a:uU'Q_;WjV:8/l H,I1$Uĵ`:ݾ~DFܿGvlbCeHާM Rvܮ\ 0<)/PIÆ ~~Ň^# PVrḩi ~ ok:G[L>%\ gBǪݓ*~lPU_7\ldwM@+[=œ;m&+qKěGzK_Ϗd08BR:-( ^ti<)nMWEPρCcsu=`Q%mɷAVn;^Tr>rü \ԍ 0S%. aA8Zx:| SdT_iCK MA[oP5 #+2iÍC۔ѱ(yY\ 򖨻õ[O")iwK>(5͌WܤH|Β WWRdQ( #ϕDI jMJ'I{L9/) --GVk FliͶze!-=pl2.>#xG.ʉLUdո\{ |O$_g[Ay}n^uh0ΰvNڍǒagqxcRAK %O?C;ˈC[ b2gژN8*/|U} Zw5#3i1ݫ+ۀӒAm4t^0- ܯ?;Esf]Jp M [bzfZlUKwݏK-Ks?y$ª% V 7PfMtՋ_6zb,!6G7u#MGz8JaF ?#j,w }K*PFHY웵h9{n:76pߘ@j_B]Sx TlcV!/|;IjӓTϚBӁ[a&+[Zyljl#Uv-)$IPoʆ}Bl(\ɽ"!H7 ɖV~(Q/Lѡ ի9Q~I>b%9J$G;kİC6kgrfvvǴMTP ~ ~#ĸ9C~vxC 0U5eЕHRxYhduDL͍1aDb_9p"-lq q<[FaĵH<~w~azO@R/ Tx]BE/I w3#n.InJ0՚JFC ÑpB-_A?iѵ0#L wb0E|"\#C2],Y^3i+~X/#4`^:'*c\"[ELo.`w#|!rB)'`йNְ|C/S%&]9r(;j@vMI^1*TR ~+x*IP٫5N巹|#V&N0$n,;lh܁Fƺ?qV]1{s ځq!XI&4Cy{TEs٣0d;Yn9 FI'=V,L8]tG>gt{G%lgEy{[縣"j$PR?77ȹ슫{}tќEψ*踕ᮙ׆MUHI~ӋkBXh<l`4 s3y 4fKG{'(N 1?&\OTYgboz!TEy`:3Ҫ|!lHStNScHfJZQ_18ݞ@ i|P=#NˏrGvZ 1e4WG;^lhEgF1DXv!<{3鸯_p# RWYPh:xVT=sT<찳ŋ=*^Ypuח1e Ig iSqC{`8Ȑ<7$\yzGiҖ1g j0: lz$}8QokX>_RZ1'\>IYZZTiCaGwKn-`\ZIΕdlX.TQK/9M7(KF$_ԃ" Ў-qBgYZԯX=|&v䑒>R;5܅ ZLC*H],ʃ9~{sXJݦRu9 ﴤר,?QǴ'{s 4ҩ}%'y}5ݭZda-s!E.A&6FG*y; X<&CwV hPz%&߉ٖSZ]ݏ;ri@dlʿEľ 3 YkDrŁ ThQlm"R;YVJ&iyhimeA1 Z[W+fk܁{FxFDmf|J/a|(!U-{.#&xKDd>\BF%J΀2>*eBU;[ZJ+b;Ms$]3fiNCt!62@l6Qw tEvP;WYGh(!q0 y4=ԹBEjj&A%'s/%TǹMêjS`yBOl/H2WV=Mr;a%X5b^Kb3VX|aU&!kSw9^'|U=?=!R&w_r-vGNqNBՆܬ:*wx%Mpj;ߒu+ih)F?\R=˱]Me:_Kr*Vݒ u5"YRRmcMk|.KiATW'#( E(DMY4Ps.rW[ cyKf'vK*|PExG\5̓Nٳ=@EJ~; uUZ )o^3=®'z]wџG!-{Rb]qt^hH;LdI l+5um@NSr= ]jA}4-]kDL{t08 Qc'pLu"ZK:{hZg?q)zȓ*=EBNnGaawL-MwĄl.]( ѺzsR/Dn{0.sZz z/'qce9/]Komi{CWU#f[(6kX;ӎSF sڰnw,-:Ei zFig%mOyu!`{7z%+N@Ift*;ُ2NjO~)aaoє3f v+% Qp;~-4- 40!6un^Op~(J!Wd/?Nc(tvbgQGaTQ2b8x7>Nr+ 8쐴Kb2n mKYb]pߝ+F=~ ·3kFͥV%uNrrѬt"ϣ/%*MCg%h'Ge5& JǷcU1S9`vZ$,Adj4 f QZTx&Zph*yZ_?giju E-jc9>jrmY@tZscysJl>cswtY8XnKc9p:FS1RZFډJ64 x.-Ӧ2ɥ'~U "m`g6S3W`@WtY1tMy Խ #@0e"lԯc#.\X3м#&]^pLHâ6$hp|32C%a^we4&_\-Gۥ._ޗEz4PJ 5h6,%tyJ5? ⸏. N+iԽ^$gZM{ffs #yRFk"ߜp M9qXrח̵?%4ԴZ]Fu,AB栫%OyUE[ӤS9觇2#@ ] 39ۙV3Ζ]ѩaK˺Vot:`#ֶ^yzУ6=nS`_CP5!HdIةC\_窜]7m_7O I* NTov~?ipt|rJ{ChRC ~vp> -KA<cr )eJn1*\x6[W[S_9#c>6Q ױ~E ?ffc>,#kQPW|rwt'>b8 orT~8MgL3U-݌L;l4Xb9L%|C,ZM=wžU2H|n/NAnlMy|M#(nx'Gt]H N:laPyQu+i*۶@>Ϛ ފgYZ ~~w+# $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̄tE\O4F THJ)*m+E~UA|gz-~H^/ִ,cv7 ղH,գt`'T1_0fö0nF 2l\VU Z˝tζh& \8/`Y$2jˇ?V)q !>?bc\Dt5ydCl~ؚ|9cYl+rqLk 1m(] RoώW{-1D’`";lbh$]tk;?It|cO[P$Ts1r@(ͧ+3p]J`3IqVx#)wVNpLTdA3\'<˨DSӥC4&h|`@\QcYpwaB6ȧ%Ũhat@"x$LL-(i B߫KSϽq%yӬCzrgCXe_?]I[.%ik̿8n+.l*dC-{%8n{E7l5O*!Eiw)e:R@+Yet>$L9JyigHPH#vZs T0d/ȋv2ï5[3:ft[kfc̘yzG?-0ac_}=_` ~j cWSxt{t2&.̨r|]B"@ lK#Z1}N#=۪f$׿n 7`G9qRvj{;5fWhkv;SY +5ŲmGc,hCR"ſV;ꭟbnJ1uZ4һRW1d$.lN}M̚e 7\SDpotKI @HJ%X3* 7\;B1z< 6geM2SPQtyXQ#=WWns_=^ڏ}d]RF3iqB|ZS~|}.kdq1H!6b%bEz_hƒJZ \K\_ۀSQajmxx8W}$=/:OjF1mIW0c2^NLK YLg,eRyT.v_gIR;33Aׂk3|?9mQ#ߘwf7ľ0GP\o$H[&;$*ak+TO29) .omQuUfV0/ ~ &kUg5Q>\q+097@ 2x ys5&8"-`J}8&M|B>!e>$xcxz-j) ]C;6'dCD8l<`oq,et0V2ݺݒ ߌ#xBc jiBe[']l mo4mh#w" YbAԃz eq(nx4Yo[cя+mA7(K}ajfmE'Ko+KTi tnȖz^R(GjY5=q5|L<}d=~5$/[.̀=D𦺊^|Ѹ)tuaټwbep{A5+B´ʕl̹.ZX" č^u;!iSyIX:IVyn>-kFv7}P 0 k#_(Ly8/k|1ypxDJq[,BA}$<\P!Z ;˲UPY3\9=]qMI 3R"w,84u[n=w.RƏDEvؕ}x#:= %ׁPKu{ΌSNK#]e zJhL)Eb{*v&Bwqy uTU>H=OUK§PM]5Z€{pg?E18B]p F!ï:2i D$X^KvU2?P5NHG*䙦M )?o )m:H4#/ -[TuGIJϴ!4]˂܈:~ {j=CT+_FŌZ1/z*.% Yto)O"g:S w OQQe<nUmLh]wIX^}q;Bpz >Ld\Ɠ3;]X#!!IѲ/޵BԶ)?cyüz| +QbcW UGf=DN S4~$rr}wK*4!Kkqv:K޶RՊ \G @G34nRXy]@<:Ke%eMf*2D df{S x6[lV~XML4ulZqp>I4ұ*p-դyADɸ gD{ÿSK0W¨Ό*8$VBQf"dd9rRx8|A:oEҒ%$)/&xEغR[-"4yd/rX{#;}zb0+ s h . fsK&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ׁc ;ecG䁠 n3T|xw\tjě0Nt []Iģtq hݜS\*yi sqղ V[sUѦ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ٻfc^ښ`vGΉn0R1SZz lA:ȺM"DTõ=oTwsm>J\n9ZŅMӰ:lSzMTŗAx&Z#ѐ$oV 5NpɠXb,}D]Xv %]L!\'=:-p'v)"pDSheMf"(81Y{!\?>~]LlQQ3xa|%et4&Zl] ]rAyNѯ(dWٔKE;B><#20J@]Bg©%KZ՞n 0 "1_lOy:0% ]P+$F,i&ݕ; ~:[]#\Bl?[) )2O.gH$H-%gaߝOVSGfw&~/fP̡CUE/ayꍉ oݙ=AϒQ~ /Snfr+1ZإLJK2dMN*;L~7a@ 5XGN4?_QR<(7i<Y XnhרYf:Ɋ"'S `a :) /p C0KV]\ /{ch'tzp+ ie[~;I&z|*hҕ790vhk".)+V_^EU 9C7e %WV{p#oy\Nx=i䴊 !չl3Te9p~ 21򾔛e {[J7?Bsؽ:sce*қ49,58c-".Z;1>mR15}".$`>Rdk *24n#FlT~Mߖ[ҚlVgU`HPC{)C_w*çL+YgsBɑـ]iwV $nsPcKFvYH5(CmYRhCFkcEsllᥘ{2ctnS8x5l/y Z\$"4u[E.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[:|&[zEB^%緋g؀͚x?x_35@^\y(NAb9%uhG̾"< zx$,%4SuwM.IbN)NbFOk# A*x}&j= ^*gDA]PU*7q\|:s* >^gGl"@?NUGTd<@ բHlrN!^B3E5/_9Ԟ!Uh7f\ QBvvJ 2ȝl ǖ 3;&Zbe6 kXiʰ{M +iuzpd7O}M^ˢ>M̪.雪Q4BeU@&͌rn >Bś}&![NdOXE+j=&.ڕC zL +?RFU\T3*=\"jV>QpfӤmnz͖/[_w;)W{>ؖprB_|$C_!&ɩ3-MPig!}2K/nSʶZ!Y.&;*yӥNReaѶvĖt-Q)u&%LK;;duuSNG*smak$JnFh^GVō %k8 Akm3:R@IIt Wl(o=K )؀sBy†E[,=#M5'is:82\{Cnxc[B=3I@zҁUNC8_ *MzcSY7Ic7䢨ro!'RYStϊ0Ji;ycȅF[L}7[?"gHQ7gs~ L盢V29Ų8"&txtxGIJYS_ŏuMh+YgP9UW[|0ld;n(LWgYZLF?mlP2`pv>2DdU۰"Ns3kі(ׅz+@->k;)F0kڭ'T.B)E aV7G|*ؖ<!VTmf5BruyB$Ga,ʣ Gt[ TKjM]j+=PHL@jEqAܤ}FH,\hqmǗsa.oLЕqI"SyI" <9>==s25b1oz(η}tqỹ!CFK^Q5@P0>枍ei헄N$be87j*^踰 di:1 7qc:5b=?\n eOݳkk]4gl=9i+Z|oBBob=zD1翡? OC6g'_[ޅ^c0 掅Wa"yOFx &uTM]&݁5M:]fJ%E'K7uLF Pσux ߐ/vSj a>cT N0TmoQbV כ?qPE]ZxyҨ=2Q߷ލ0džyUmʎvSpܩ{4>oaSN!"N&"+=RZefA@i V|AJ%߻'Ĕ^kf&nk5zHT9Ʋ)9pYӳ/ ao>x7^q0pfK,.'!^bܷk{p=!$jR:[ VNe!x4Ou&\-6* PV'~uB(ܬk*hd"]9JemW"!EE"]T hEH[Y9. uB-c,7ߣHjQ(Vf<_\ dm$ˣ.{ pp /#y8*s#mRF(JdT͇7-ސ_۟Aebªizj=BOE9yT(] ӌi K9eK7|Ѳόg&F:>lC䦇Zeq /TBu!W_.Wn2\6:`jD1;[zMc䓿Y,ۭŹHW|EԹ~t`@OaGeQ&Y m ;H-f{—bhSj(ȢFC\P/PWO,3A8^US~1n$e;U-bW4~fXܦ$m_Yhk?V*ҽJuٖtAݯFk\:7\1(LHajDC*6djn 1*'R+"gj SѰFq̅XdlР?ƨ|0*\/; 0ur:֥VshIi=\:Ӈ"E*$=q+@ja}'<G=q&4Y٥ xЪ,^ <{ .IpL06ɒA9}vS8uT4&Yq@<S*;x\Pskԓ4x'jnx BiOhyr('}j淓ҕ|N۠/L޹CCvӌ~R0Dx~9WNHc/wSHڨjş >yE+Ix{y">Ƚ,.67vitC?a{U:0~0&É4iFr'M.q:֜D)!UD^QEשׂp{EEHu~t8e7`-403EnM֊9AJ;9[=2Ta;.aBp Iz}z+&Zm+x¹%/PcK\7:1:MĂ:JeMkh]͐oo}!k+ F8wSYIWWK@:f)kWM&D`h0yDtn}?)J$6Py$ۛ!߱|Ic lt7dcp#l`ƫKv+w;1wNn| /KD@ƶ@\%Q MQ>1|'=Mn5ox:xb_1FQzF+fY[)GA-zӼ/]~ۖ.n 7hf$ZD AmdP;"s÷v]h "iytQ o9}/ukU1`raZM~ &$oG!S+=sؕIqۂnBƴ*Wʰ»Y6WVDp;z,z$1Rf= Jd#I*_(ig+#Zѡduٶdnp}ДŴPzԡ `@m!R 2w(N6q"b7O=q7؏n,$Vǹq#(E l܀T2>͘=>ѬrDl&:36)gi)ފ GC"3?n=U#zp1(Mڗ&qS1qQgx?]h{~ )L!Mqfڵ&n(-J+goYu6<;+yҶvB\.Ӕ= (#9@~M{:n|YeiwdS|킪BXU?>vm$I5.9<F_a] BF-qE4ʐ"r̦:9@@lꧪs:ef_4zUGT,bD Oő-H_鉶wkh/A;%$P`V}GC4`CE鵚 s.K{76rp\W>nhb$bDFfLr0R̈́jA^쟏7KJs[CZ|puK$1{o"0"Zw{dafX{ʆ탎 jq_mW!_ܣ ! "bY)c]We] ڋ4\tހ=qV +jAbcbͽ\кLk]Q;TKfVj\/XsX\WYR1ZTP#n+8}Dgg~C=P%P30-b zԎw]s|T w7eWL`3G'n Ԗ }k4 >RRi85(kVڏb-wCb^w+X0 [!g xzѽU]):[Y5, GRDgYZ TNT4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UP]·Iq n[:|&[zׁ-/;=R$xD) BiYHzQx&Ͽ:SS⚳B`=Ʀ_) jO>=,Z\[sx,G2uܶԹKqD. < ѱgYZ/'3# ZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  ?]ˠ)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&ҫ3IK@1^>?xQ@km^4\ {>͸&e+M$:Ԟ)ۭ^8#|B ÏNS[Wk+L0$7S2G9ٛч}H:AbҊ_Y2jr|4`?BNgBFG?_84ٚsV;B/r@m.Zc+"_@eȏ&0Y#n{ Vk\!?#caQ5\뫷ޕUm J3tQF/T IŔ@h' }"fyq |MȲ焯|U=ǿZS_5fvਇ22rKϿlKy_z̠YCftl Ȑ4'20Jߒ*I2h]i4 }&-gO=Њy J@Ě2yo'(y1`c-7w/l{(ӬflU `{KYSNb&g H{@,^!D"?n>'@o͇RVz5 .MX@5OEa.H)'}$ɹyP$ t8Fvk)^6kfb{2V̫|?yU1LMέx p /2tP@4r3t|~&,Ms2p|oZb&q^TJk-#JgZ([ A߯0dd(5IASm,R*Bdj, y{dFs8fdBfR{䣕d໮iiڈBO:qa}ԗ)}tFA s{tgk߬m?^۝08.Z\-$Tqi::v |qK2KI7ߎ`ݽ…)ǫ VMjZV&67{"W)U@7\onCHm2"V*תu8boGC&Zj2V4|~I_""o%]o@l!aQ5QōJK^w9eCa6f#7^n%˼uA \CP%:6f8_u[`BOH_ n8㍔tYL=4Ԫ+,/hc:"Bm?N짭Gc'lF|.k%6*lj灟ץS-@)63'qpkN?oZ6Q+pћ taCߥ?iL:@T\u^6F佞!"]dvw0)mEIrSGhžX5Zb*toG/tmtsFj}. J455/{k<`>IR01Xyu5g34}Q%w5bCS$IYSRbөQs%B8uFAJˠ`c\<IJlgc,~&?,՘0nm'%jr!V()Mtd7JQ#(îBS0dw4[-7G?ѨM*;sD =pTVCΐB0J+q BJgh#È2u +gYZ A AG2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108W0/' \ZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Ne]·Iq n[:|&[z״FUmM |WP-m[PW܋3. fLb#37*e͜jO,defNk E\Prit7e[/2T ) "-0hMf2ڸ>F*U9ryע \,+fF5˩$D W{J$L!@8t8Hn{/94QkIλk\,)٢\iӽnb$Y$U˹G,>v Zㄎ~dnzGQ0iX8x8GEZ8 +تC+ƈK=g[wUFU9[Eh6Юj++4Pţ\%ܠo~0!d?5-QF}뉦M0'yD3u :(_@~)@b^67)*j$ ˣ0sdH+1CCrB2P*>x,A8|A d  "cNmǁʼnv)_7Lw(QLS7]ZRܫnAرd&,T $͟ezÍbHz4& $zt]0qs"7!Gr$Ⱦ?~:Ud i~5t)3sc"8ۄ+ۋwV |h:LV0TϜahlr?16q+(Pie 1h}a/rjrm}^)>,F6;%N&b`A7tjbjPḁYJRޞE_lQ9 ʞ+)HHDߤ1a{^:g/N\t3WT;pd!ukVlV&O3(D/[TK"`s -J|LyDO[ma~4B>W9N'+7CۚnzVxS58*;OS39:PhʁӛS*P7#_Bt;EOlǥq]!$ Zɜ5+P#S˦*NDt޿MݟWW囫bNg1_V䱨 \p=8W:sp{3CNЄ07}oJG O,=K#~u\5R= ZE2 i|lY(mIꥭC84#AaDg\,ş@ w|hi3ԫ:==*2G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98;,/' $ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GI]·Iq n[:|&[z8w].(x" TU;N+ڵTvgM[ p,3vAdHFŕMKx s7 0V:+oi#k?SZ HFJh-IEh$8kX3:gPp䀘ZS%v&*t-EwJUv5)E?l1zJy'VҐkc=$s7j>7ycndz`ü/% cv=z̿A" 8*ZZvko{FgYZQ+/# TZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*d]ˠ)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-ˌDW 1G*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thyw8͎ p[զP &Ti@#fh3A4ndb]c3ahGsvq+}#)i: ؛eZgYe Z?.bԏTܥνs֞+vsH14(7$z_weA/#\R`UvKxȾg8ڜRO޿k(yY)X\[EcfhV@iFP˥`VLBX5sVPɲʇBxZ?*kik`os0_ʥ"<06Z,WUjLk)?|ˡoi_QO™TړKU?Bb;Xf4w 5%4?sƧm$Zzq7Nuhd_hX==jy̡&F*܋h#U;ɢ71{{LA 8}M20du9Z1^9H8P 2GJם\__*%-!vwݩUe@$K+V'VjizT&$wSҸLYIEb ,UNy`,ǻ<â !FIZ\(ՏQ`a̛ OJM?ZU6InIUm|Hg ӻr^ʻSeJ`ySeR_c@ ׹˄[o)S,#ײ*KEX2 ׿8̌P6iޫ'繲 kfAw2XEرAW/WN2da\Ғ٥Zd M}]v;;UU f=RL9sayol "gpdox=I&~D(Ƥ1Y^51$#݀a+*l7D蘡u+= 9mvq]+ϊC˳Әo ,#~[,~nՂ=Qo¬HnY~ӏOWHDz'aEB_靟|Ԋ"\6![~\qI2Kff5gpjEx!/y]UUt]~v\FJL3M2-o+Na"=ݮt^8a~B@eؼٵ}֩nɼ=dUIJZȁF 8a7M@M^1#^E+J68mµ7Z#tK)<"`}nl=UJ@"'(wLGSi,DLBi]QcvXك ]1JɁfb¢kMȾJZECGߐ"jN7 *Ue6s5^z.ԡM'7#P~$OT5zYWLZ10J,_ũ38.y76t%o `w[KxP%QektK[${/涗9-4ŽExxPqG0&I@_1Vx pDD SΞGnXA(\~2eb)t1Jfx:CʛA\[dj 5LSWˉdzXuA6f[.J$1ȵ,]$b;GrKg(<N>u,5әRS(ȡ8j P4W WJcY4Y 1؇ר3CZ @0RrQ'?Q(bECg>OI|iAy[2|!xJm,c^n2ih;h/`EYu[dHl3&/-}MMP Ik.$i.# hi3L~-%[&t}C(Q+l Cs[yc'L, |^7߾,e}KWaH\r𬧢*]3/º_)쌧wO3L_n~qG2LioٜŘ Y,f{^IJS#fYW2e;X77B"Qشbebo¹["p#2ݫrY7fD D^ȣb )Nk.KVM :P wQ!g;\ߗ.M>Ưa ~R)=@$u(uEXR81$|p XQmH{T.LM|rdllJV2)xHUMgCurH9µ6 1.iI}fA#5gYZ3t7P/!RG:)29<@H !"0?ɛtpx_W۶\XS+;iv ٪g#B?oлԪr ZM[_p g[Us\Hʾwpr ǰ]leUش`TaX93M2^-9pJ*gvjYJ[nڌAO1 va6`{X] !E3A '>zL3)ˀxWtWy3ҵHTBęWo$l!IPAAv>]5hhʧ2Vυ6i-Oŧ7ǥԟ̫U`q`V8?̓ifל5}ңlgrvN^0%rm+H^֮4sr_(G?.'&Hc"<(r]?$ 99|#wE1t>~h A." k.Q2tLDlhXdv8Yt#6Ӌ >hKyk90$VʑHDt+h5)N,' )7R-يmZ_нéHXأdGݪ5%}2bL# E$d`[KPBP~I"^QWi'.A_ pt̰H(@v~JWU"bX*HO} 󟬢oMS Fcc-@L\}2R(95.0tkǑ%=nT2 }$AD8<^# R`4Ā=an d! K'9UUSg \v}άȩ J靏"$.i#7^"ҋDލ#-pnta'ǿ^E[QAJ=G|\z_JIb`ΉaDdl hHnfW%%H/H- ~AVľ(6 lƏOERA0lcC#lPJ[5^rxY< .ifO6=01hc~ `mA,Q?>]{k</'ߣD~/z~B۽ݽS@3j}OH}9:E"Sh(,:J8OܵN/A:=d1W]]pDWZDR s?@59`ONEE^2&#N}7E~Nǹ_':R2?{r新N&c]ŞZ8JdM/o1 ڣ*w Ӽ$% 7ctDCJkl6KkKލƲ6 DE @z!w'5tm1"X2|,=Hw\ Z~??0 ɚژUo`Lv~ZTEcE+h[L)@(6ղ,r/x"FɞUZO͎n&=jߵ-fx)#ew`q/HS5ǯ 3^'7߲kEDS*e ٹex&0׆&V  mk=9C*9 #IZ2?07ȹV󋓡{/ \ܙ]$Y/A7.p{ j냍p0d2q̴f/e[c-{@\1Ҷ&g&$"'8zMRUk(!aJENK!j8p6 xx$}fQ.m:}"iYN'/8%Faf{mXAM} r6 u}1":yoC AHnU"P!D8MB%ka#|~y p'S>dpcS1emyO$;Pm7wuAs6qgF ߵqgYRCb_*f9mGJ)vE(>jI~1tWkuYVc`hk;/jcaLVk$VxarRtY=1B Zb+MhːJY@v<_pe*Qs. L` $ Io[Yh<w QZ+]~Ѩlc_̝&t'P /lj u򒣓gH6bb08kvCo1M .Š!T䢙;jiS"O*`Uꖙh0Bm=eykpG=O78D. Baeu齍t <݃{{',O+Y  H"yyE[ĝx8EWfr [xWt gmN u )|5@ðl0|0SC}-uLXǧb,I&wYy0F0J%a+$NwX79Bbq"8ӎK4%}mNƔ FRݵ#-G 39e8G Ť3!XKŒm~ʀ>?ʄ*F3! %# *]}+St).U+?8xX)7C(+>@u{E?<%r1ڇ(ԃ:WgLo\rZ@X9\;<EnG&~{ M" ApT磻L_m D4:Q(H8&p#rS7&%b>u#UG‘u;pw2!딹rcnr/=KXW10[zaQ}5fWLN,l9Nnl} xdwv̖TC5c* W(>/+|pa$b!mʢf(U5tĊT>"ߏ}`2ݭP|Jl,ƨr"s~ᰑ2 fH '>(P͍4;IÕ}r<$yV?@jq^%I\N=wn^l;\Dh"ّ\4d髩T(V*]0Jjsi/X6LD%z:PysmlDl(')klN%W!V?zS7XV NAEe_J cNn0$Nz?!q-]A#Zߗ* :=1G=ɩ'D9XoMm drF3Y{C|]eb՝zj MS&u? / 'ȄaPv S < Ա"HLI(=3^b)JʬO~^GϙN)6U)ÎFȂ$/35:X/amBu94CUYwOؙJMi r5Db_7:F{M$q(nb ۝?"\Vơ50Qw| UE&$ 5=6mCPMngK3`؏փQ0;:67I:%=Mf~)LCrCOAOrUbP^R뚏a\:J>T9hQ]U=%RCmgկnnY8b`pp rT>g 1ep,Y}"C)īb7(g( ]Lk8 >I$hTc!* tAo8`1u\I%֜6diM8礭z"9dƧe3HcqPpUpXEVC*^˜8o5I|ѤK$z!qWI6@FG ./gڔCy`nY'm'DESu~p3{tѯ5*n[_*7 tYM^V\K_%:%fK%6&n*_9/>4b"V/s<5un4Z#͊ M'^IǴK5 >\O[xTjC!UEP4tlR ?`reH+:Ы2ӵ7} gP/uՋ{BM nVSzBw_9+bXPf@:do*ޥB~E2((PcȄ8}l.छ`R{^50vwza-2K轢@o@OY`YAߋ@=W|U M8ەN΂rG4:Jn%lb[ n5 u:%y0SD;QXU0BTaM7ix1X@zO1N$WK HSX{NyM~#a%չjֶg߰C"2=ݹDb)nijñʕ'->{%r`S4.oG@k^רݛWCh-Ɣ)[^wgDtxbaҘlzk+*]:?Qh&#iO RsǍRl(S(G0"ބ p+!xMt 3u޺x㭝x7GX(纼/5{Ҷz %j!Ey :=2sx5[-:dR^ˊaZ zѠFցz>B]u+$+{%V,-?R΢v]J:G(e\%I35[>PZ-G>`xZU"O27]T⯭vtMj՘l -\ME"e:$NҎeLTЫ񟴟4[aS%%\-p_;.FmX1NOރ1c$Q % i͡vXtm.nf㜂aw#ZWsf_8KV/ KP-v)~WA85f45 Qfr Ȓ.bīF\;gWZ [؛ΜStPc>x_j8kjizNE%?#&w6ZW/m 2_ roAL7(" j*+}1꫘iNCh)l]pu;6(ڄ!nډ'?q$VƱ#Chز9DٹcrA4)ǰts `̭ %TxCߎt9%;?;TL7+.`GNKqw!Eqz֒/[ Ь"%*8V Pm4Rgz^J&Miwj'q5qlJ`tJHK ;U= HN SdG,P5S+cƭ򧨤, u#t. F Avx77 x[9ix&Mݫs?5q׾&z=}B?p/+<4NUhi3\vRS/rxGA|غ;g! U;`ch߆ vc *FvwV {=݃prͽMx,)V['sgU x*sJp3N!tz%Z_F(3, KK|0:}&:n,P;t0u3fFSgNq1?Ϟ^PI7$pRǬ+X&}ǯP`6tw:*!s׭;Eۯ=w՘,oݧ+^..`U{ DIPUKV,@% UWӚ2t$s0wTypkYIlɺb8$& *3cbK7@i@_ Qv͎ S l7c`l)iX#w7=i-p*JwQoA϶9+1ρ1<JT7|43DEngKܩ >"%օ,վUmCt.GBx^zԟ*|NAIL_:}E,FՖBdobb{f@r7Lw6Pb~T~XI ]W~llεf)M[B@sG(ⵤsq]ޫYE{xϚB14x:"&UTÌO#,;BпLK4RPAF+%9P5X|Qg ʽsa~EPzU^^ЬId:S1R5#l5X`:K>PV{y:p=#:R[I=M;-hy~mHчԪmB2-)3~P9DlvMr+cs Lc#͔nfpL9l㠯9۬$aj/IӈwgH1yʺEHݺf]z7tGKKrviE9zc{n|sU;^=w>8ׂџO${9"tiYG\[j2fTR:<>Dt^ΐC-ӥRJ =, 8ۈW|1~ɿ!sv.DGqe(jer#18iF1Z{>4O%_w3xD<܌s-ew5+>qu]iҏG|]R]qP!"w,X3d*8ҢJa]R .xXUY|NƊa>=EG7k%:Omh{J\`[ kb®w]V:HP6uOR]!4p0027 1K|V\M{m>73pc13-pFG؞>$Δ8_kVIީ2Oy/K+Jb8k@n>nʵ=[jU52Yt *v.ugK^X$Hj -L9,q Xs ~`.6%%YBvH:@oiߏ~ ހ=wӐ t{K)l p"DrdXh` ǯ:x] N?32E̤jl iG[Xg R oJrKӷkx ޕ!%6>!Ӝj$΢4"OH ^ PvGr,w "q o |<@႞Mɵe͛) nk9c{?PխBn :Z"YM򻑻EKn\3'MELA{=#s͠>@\YLsy׍}wNa)=*-ʙ+s5Kf\Yku;wx{MH-ND77xWfIY8,P-)]6'!W~CJf5"=6 #E10nxslg޲p$읗m B(a%u<<ԍdKz] БShQWk[̽{)t$xIP(ypf#A`2'7>߬u|W^%ϲtl*}큻d0l,#-R"YVsDAEU8thD6z[-䗕6; 4顊d1"gsYHJi9;[Υ]pu<hwqn!ZL' b+0s\q2V!}t]Mep+g" .#)MΟٙpDwLlmsAa nrc_m2 IH 'TJ s Ӭ$)d2=pp*s>F2/v>젽$ɯ0NSlw)9*zpΙz>>ogOm$@Zc *Ci!=Q3jC8E= ǴAb sʩm3nA~|+be.x\*| [O kv2`6LmCvDiX~ؑ /IBM_qa1aduҙ_ЫSU.Ӌ(047R2E{沑hвH"wo* ]"'Ja=R wP갾E (nmC1@1<4D9s݋%/O^-6s{4R&M@:IཐɝM9񶹣:MЯKFx+y:+h\.ZoI\_ dIH pJ}΂Uť׸|_ z*GMa3zShꍷOcn# r3ENrKB&p;HvOQ}Ѱ߹#ȝ;'qjȶрHf7/, Szx4ip8϶EzV z?a#[.v$_e 5^tք$(v4At)ݏGa$|l`1JSSnk*W gM-=Bw0Ԋ`Mn_ @nrh*-t鶭I3v7q͎[CmZDV;:,vܪ`ڳ U:P㹯'Vkxe0e iJ-3k#=qUv.0: W Mp1쩜+5 "eaN=%zzWoй?5{dʊ.HVgr ¦N|M'u%vlK$]IJxYA ؀ܘ9)u.5<.WyK<~ YF.1~\Ӄթ3 @h+G99۹5y]!3S,}@waIo Z k1nӾ7@HXs.p deS˸砟o JU cbܸJ"qh(:0ND+ůH{W 4KTPw5.+oӯy3g ˶bqoOH/lpF]6LüZAց#5%`Rc4.b;lO>=gAQI^\ &e^ajq?oBGD.YFELKfʭ9SGnRC$9)LovL]PwX5@Efc]ܷև>vTԀ翅Y:^?n:~Rm@7ߗ!^mR[ם2 (cƑܩju1EmC ͎bNkj6Li?fQ,6Ɲ5VHEnZ:/OhI=*(rH܀w.$eڵt]Ԋhb2Ȅ%*330 TcZq9޻:4I3Bs`=x)Y+.O$ |ާ՟82J0ASL,C54.:6)W?Gޝn*m 9sZӁWNm xC:eML^+VdNVg-dĦR Q02( pQu[;Z=.-2@vErI w "h]`.1Xr}!n#b}%rgn)΋f # `4} -s\%?C uGO:Y$^SpgN \={B9v%Lyc;\ZVh0Ț$_!%N@~a[HDYDuD+޶8uoI_ n^ X t/E܂H5riM<?WiZ$HʅU{c&*tB7ňǒSi^s2iepo'|] 6fϚ#]=ϧ*FW~;L.H`T|W+X;Ё|i ņ帟H=' ;Zi'%~oı2@Ncy5um6H?I >RQTCp-}Y2s\@k+Wux%> vmqb E86&!tn }wu(>(ZM_L+WBI|~`eؼӐ[R֍нs$Kwulq& <EM]r1ÏQ"!؛{1=0 `)Voy.IV'\1wkQy惝q#lk! .;_jOضJ+ ”)pYbڂyS:Sɼ(0niX*Yɡ5Eŕ3F+yvIm9|mھ]׬՟8^SU/nv b4#&L{* :qPv|mn_t}ڠvK ǖWM6EIZO-ñ0 ;bī9W B9% ߫y'u롺o=Hݗk( F{Ȧ(!DO +eQVo&yiyGQ:RN34N  ?Ђ a"yJ lU=dbbr~ Y+\>  +LbOiOo G|ob*.FşK Уm!kWt=2*] $91獳a lÐ}pez8x^;|w<40)KgBuvQOU MKEBL43*yCH^KaRFS!HHzIl@/bܘ6&96%i'Mcz@@J:7,bDyZ}@ޡi5YZ\`!NRP&Qrt ܶp#n*i2&D̰0lTkҪgk@៣CXۖÍ~vi &OUx ddݑ@ yǴItTr$_x)0gnbb-)(FOJG2L2j<竃V@h S֌.~Iz94T["[gFMLD<,d (pz-  \'IqKy 侱9{$CzgUEseָ䚯Tzc]L%s(QBH4I!WJ%L*qmh\U&ٿOP@x?mQ0;ՅG63f&iGGy$?{}Oxd4{7"۷OEÖ#ÿ- ùk( .̮u:E 9bkAMBJ>O0}O:,^JЊ6xtΒAtQ*&*B~JU(ɪtSݢ;i3bI*c/+ܓ]:C!c)1HpN|)N/ *%,+)\AdM 'G2Xί.^j +`Lm.44yaNLʐ("榰zZc:֚yna,2͝Y#;c5%l5V{xJ) 1h@l9uò=m4޸0$*MK.g:-\gN^,Y2XiQjkj6'~)ֳaɬ}!ÆA irή%-0+NY7qyc!EG}lyPJBC'w L#(!2wˑ;[EM g'q1$_YD1I9;v V\2c>iWt(2{(gXg|ߜVՇy?Ųt4rr3'cA٥Y,Ί![Ҁ+xx;HoV 嗣xU]#|H'F&(?;G Z 3٩Nˡ'$,[όo\1?3vAHbܒgTn%k/[c5%^6˹}Q݌0"9UBkqT[Mk5Al9nPG2i'=EfESSh7׻'? p26BXn&^ǘA Ӗ|[qbXHp׳֫&^\OsKFU_BeA[T_n/I/ی` f>}e"-Q6&y*ӻP}UߏזJ8`sak5g8jN2K3&\1 o-̓=hg. XØj>IKzmW} !%50lȹsΦRȥ5 ߐw1R&8By[(9Jab B_+fIX`ru9/+ryaRl ̱CUh4ץAnA$7n+(Feqh2r؛LNRHa(hm:`\܀^/;v zfiQ@-$E\l)͑i`%GїmFNj]RZKEzf[ ^Yp0_s0)*#·0 3O:wd▔-5 wcQlyݿq[sb=ɝjը"0W~Su -H׳'9E-7| 8gBux̏G'1qf0-o 38QIWuN@oH+)u]zS "wA%6Ha_"(tRf:p3!+g9}Sɐ'46bL#;װ[nC0]e _v]j3P.oXYL T&}~2&1V?A-稺 ?=%~ՏIDO]1z2f́O4ZZהxc,T~!~^觏uK?G}rDLۂ'T)0$TO3^>Ybz[caLXd cAe1w.Y`hƇys{ (#$Ѯd| :DsE4&݊$':RCK  z-mTnc2E`ci!?]x j6_\ڜ;a_w I5"ݡҕ9Bb4k(:ZK[k&[ fqy훌^j j+J4;gۡ4(R.e]?OS%wP>~I-AJ_ !7yP ѻ\rR'y6ywJ4Lt.[7NņxƱm@=&ok.:v2oڶ7\ RI}:~2 hօ@ߋwz%-5,_Jۡӈ켗K?PxþިFwۗ(}[,vCE[bę+ҦĢ`U|ڽJP}8Ik w&h6䠓_}h9%3OD/ka;'}F@8 eƞ hsњY413>*z3_ HL~aV':m4'ޞ%9ZK w c@vtwfc2f5V.&_)DN`]}USyaEsuuKFS/:R.EZx#S-B-s`ه61/ULpMK-\rVF^j"׌i}Z, *. ]=rC;ot%/Ùsr֏L U8a%8PƞICDaG M0g٬k5c' <*9ANV^dzv>z~RQY ?z߾ h RK8cZP";XJ 9̠dR(=78BWof0ؘ|%rfxbh+|p[1":o80"`^ܕt'1B k0p~uƯc:b5T'!P6y0!Uµ)`-mS?Pl\*`=.i0Cl"|Lm$]48N243$ݴ8{nDKX_Sۧڏj}:S:Vjf qÌmԱcBdmcxN,[S%6P ~k$yt)blq/~HrוiO<2ƱBk+|Axe x" ,VqVF^Ȧ6Ď70G< C^H TEB7hauLQ[- *L_/ }tDX|UۉS[T_:y_:WpkU$7i)XrX;cg;q5Îh嶮޼X=Z&*G{Ff#Ͽ)}S{kF8g!"M߉SyX~  >0SA_0TMQ#}R*'>BLMo.HJЃv;d-MINu}; NQqJjlt.wyE}2&_vA;}c4D8V%@2{8*-\t}vR#/S1,7 g 2輙rg?ݯmG~BsotK4DDy[A={%+M|/䴨=5}[,"vM!w2!n> ysֱ_O\P؉/z{2$QzHa憹(N?ؕ?@_ikVF-"KgNŜFt;;1ýZPa%8q8d_k)<OւREكM'3AC)lLIJD| ,'䕅@9o}O6PZhs\B ;/5k)"U-nC2SqXt_0?;ko{A{wqg=[""֘/b uA=v30TW;е8JSV `Z3D7 =&qIaz/mRf"%pb 35?oJ^3 'Kf*.U+Fd,5R;/s:һK  Ok%׏,#0Y sE}~HHzDڏ4Nq_`a!܏R oN"XC4P-߲ p.u/f=6Qߑ_2b1! +~P!BUTu:hg2Bӭ #s N }% Cͷn++Fe>Zc H]O7)=phOf$[Gr ;X6wbms"h)+UpF2hU.vmu! se>aC|˟` ]Tr`*&yڗ)T{ج!C]+Иt`>щ.}E O.T vNbKBgF1@&%Kiqֶ(]6;> D{pâf,:뙈0 !ֵ+ͷ=H)pQӓP|wmȀB$rRVR>%ߨ4+ȏ+ڎQ1֛PhN&[ڬ.OZYilCw UT'{P? D}P?v;WFH|E%gNlcwM%!TȑDP0dN!4ȝW'aO'dEZȂXek#GP96ycP PʉpB),_4qR7O|ǡtjpC%|,A#,3t/XkaFL?D9x)Y9%kpmiPqxi6LkEV.% I?d@8vSӂED\33L$VTBb_w^fܻC+ ɒ-T+_ \ mBʲ)muE#J?r {B3rNAkl(,Z!im`WWfW'WC L.XÇ1 t"%&?9aK^ŚWK&P=g 'n愿ANRsi%hW蜄*9QWrmDiD`8cL 'WA9ZgzsYtáIgnD CJ5i4%̔>n7F_p{(7zAx'VU$wHH'R Wc%D1`vl $ܚ_^( ύ+j"w}yF>=}BL0 r\V}EB}N!DwTn(˜8XP>* LQ1<q#z U6$+ѷkV 69s8ΑZٯs$Ėi r-!.sw wϭD"[jtY== gqDI\e[]V=O P"_NafGn@=lRK#Y1nK4}d9=,cFWyKSlfە5(_ K$P»? X:1JJ?3R.c`;3A̞C|zI+͉UlL|o9FƒR_=%Hj*:Qw:!A@GOrX5.j< Oݽ__]Z-rU'GyR{VoC}&^2 y7~[_nLv:,aszBaT'={Gf,2IɅ,ߺֺ"99#Z[Ȱ-}ޘaBKfb%'L ~GuW%Q>2JbqϐFgc#۶Pj*-8&!rG,С8]s)DNqf_@lȎWѠ!Q}m .eWCBC dJ5t50A~\,W?σ@E,":fQV.DaJ~/ݗW.)bk@Fiv㛆 H1KG#җ"o(c{Z Tv( +Fb xQts Y2~wn,4-y8ifhHÏ6  V # s7 )# 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~ 33sn$ V&wPvR߬UZ$qhuIQ\xC3i'NK4\|f ^^n/_u1_6d5Z, = Wi(}n 8OEph+g ~5/`WGhAֳK##Lޛ`Wqē 9P5ڳ5A< j}ʅl7,|## w5G굾K#-%n%T[Oc3aTNXThL'ݒΧMa%%|Th'#N_)7͋P5b5͖&Xx$ͱ6 lTxwg2LbT7+*XRiQ| `Ɣ(#{sͧ$oMG0ճM/̊[w^Y 8f+̱a)!ؒזvJ(/#%n!TQh;@ >(PaM֣hܮ@ <1XA%ED83ԦաN`CRVKjc.)wW(=)_ E>\jt];#7ʹPL_54*\lz]^޽CQ?(iמ=71//`1Ў<Q^. 5_R Ҡ_[8sHu՜_n;97HV]m, Ӧ+f{x 3 ƵY4<(Qzx@X j68i:8Y{wQ` D N*-8誦'%u]w(-QZihjW +Cktu HMmL+Q7<2<ʖ~jS8QIے79y2gK>y\S&bMd @ɛ7#Hr:61R͌j[5Y, 5RTLǪ->=vlh {\,JX~qTǻjUb621$kҲ$ ꘍6g%ILq[6p` M[z"9? 2nn: k))2iw %Kr,bNdM}'D6U _%AJIDeDx9khZN7x V?759^$YG[^.Y;hUlM)p,g9L҉6rP֖ZxNҫRvPCƊC=a`S2 i%u`_n?nm ps0P 1B|9f + <)­AQjN&r%%Li CuUvp.0=Хp5̔WEa%0]QNx<{4ؕ7󰴨x_JS%nV\<7#ԓs{m=kTG\biFYcNl~B1 wr:\KPgD^ЍRt1OZӍiL¨AR+@83X@lPrl%oGnRsN,*rE!8\Z4qˊ , ]S%׀[P{󜼺"ޛk={AʹU| ;Uy4nHF/ yym`=kxͅ!cTyŕWQ>舜e-"Z;Qh ;M?fo~~JZPu m ymT+ g$#fV^ʗUg"3ܸ]gj4[ [O/%a5J]Q:-ofd&7KH>#M2X[Hi !e".RTPN@vMC:ka;4NX f .͋H=UKIuE6j,+h~y:o#$H;[8]_vɥ7"Thnc,YeC2vI$eB:A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112'4/' |ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N5]·Iq n[:|&[z| 5XE"”͘_a\Ap={q<^: T?X*:c8ah&%|nW(˷1F+\ *S9TyxIBdˬPJgy  u󼐽l o.50W>jVDQ{bIJ̖doh9qaZ,wo"3D[_E6_G'% ݍ[͘e}1PK'gG ksX]H}rh5h5LՑT|HG:w܄= $l_23˩upS]+;{ "$hrixUx&*OV(hn[(Fc\\׏ c 'z1Lڿ b*!\Y+ӱBҀW$QEa(N (2F)X浟<^o ZSGODI D]ZU"ul'J3`D Qou(t*vOدJXڌENb 99tȢEr֦kTs\"-qgcŒP:>qD:wՇp'  ankh ZPJh'`tϜQKX`nLuڙ̈RO7NPRKGT@UguT_FnIP%Y.@vZ>5 XBڜ9<v)s #m(zX48|:k+VAG~.iډDQ;\3d6[fi7Z_ ڝ~gYZ;h вa hl;U(fW[~"EgRqry;<{T8eAЃ@TӸ( fe6f;|XVi?0vOH]3rßt'Sj;4>~c*ҽXK%}3=UU݁Bitϻ1n]1{SqƌAb CFX͛frc b~_Պ tQT5%5N}m̈́X]Z*3o'F]`tm,DC#fYq&B[ Z۩VfT`O-B!r+Y,_Y: bH@>53S\&%;bq|R}=m>- 薤;&#cŒ!\%7CWM)󛊥ZBqvh6b.ehF}EP)H,[r;0ͼ)aa{Io()sZ` x2+)/$hzI>J;W`tp;˟-}nv#zqa8R.=+x:)kyuC^`!O쇑|a;_3)2fpMuq<ΓIީlYN\ qEkBF4aZ&Ꞻ' 6FA^w]a]A>&9|?rQautIvյ!q0o zfジj(%˶8E=$&r+r B)|11)rsԝ^S5)WrqMᇄ\(!W;ɷ=XnUrJ8OՃup}+cwK^$E U"|/ !hB ZL;€C3ضѐBW{c}?Dz$B_3D욓Wd8X9'lBToK_HY딉&<_f\EZaڄ(+I@uI_eܣ\r, b,a4=e|Xm,m6ƭ:|'4w\p=rO"\2F뎬MgͺX=dPWs/HM=^X8ѱT\o- C$9'a/:jݭ_TBZo78\lEYr&]*)[+ Ew ~E[ w֠+\,@keMQyMДIRIQxڬvIeH i9y$g\ 5(ukMP i1Nzubm!N÷zwDifzߢwHT24'ҺbA1mcVZPM=^hqu }*3 ez8SV]z{pE}XJΣӏWŲ>,7cEw?& V'X%My* ֻ|Q~_K[ ́K] 5VrB:E7x3(>$ݝ[8RaR<JPh}tD:V`6I`BW r)qH1,,4ͨƀOaaRUj[UHQ~4Sgp⎨N\+Lz}3pd vtӘ\άGurvEW5`{N2Z|y n.XZr?-Πm@ɈޣAJȩr2ZZ g/K{ 'ujqȽxh, TdG ,cBj{ I`40 麉)y  +#~^٤R+{sX,=הSl^|[;L5bV5k]gmpXM5AM{bb83E`{_qk]qKFBͩ6Ơ縅Gl`T*o5 xEˢ9nϟ#Ȁ?%fvsw!)7f[1S2ݚ9A겳f5l1Eٿq"n[L:($1%zeЩ]/~~ųk4އ}= i@G=f:3{U*LjR!,_aćk ,hG TdعFkHG!HK!(|շƒy/X՗Ui&Sy<' G?5ɛTw#P>Qd]ohh$d@`˥J,΁ Ӥ>LڞMf<[8qCx?+ a_es4CÇky.쨪P-2pFV4%[H\*W ær Lv;n(`,=@HDEiCqG/!`'tvq` r R~4kpICɕm[VΡsϬYa5ߝ0h(P>t*Q%`*iAIpu>xڥZ~f&a|LW[#<$Q_JO2l]G 7G~%?qKm}cH؞#8Z lN>] lA֟Y@4?hyfbM&RFŝĄtfm"Y~/3 N_42b~pfV cA/lm,`IN^A ndG8$C36zEd!2ٷӝi85u݈:WQV3c4G`_$:⿚Hw\tzb:o]!+}48d1ib/9>esa~wꊚoQ@x_R1m9^/Sy "ۈBؑ.`6Q.!STWv5וrQ4W7h Gxe $ #)<$͓V%s eOhb^MBys4Wwsc|ikpNP.! ՙ;ur}]guO"pzkweY0j_%|hBEys=(WJ*U 6K[u](vM;DM!g;g 57›|0\iK3[; 5J&j(ԓ@C3dw˞M$4 '։"+?tJr9v( z|DqB!f,Au֞ՄNdB-+6e Q G0HH b4ɝܯ)VS ߃Y¡WM:4#tIc=(1VrO樌BIJ9b] Eb*I"NwI%Ծ# M҇d8K_!/|"P B}D1pʾt YNm1/Xy5BrG%DvKn^uB !zpͧ(:|pخZiC' 0f8'c`Cwi1 ~j9;ܺrJf$qX٦9X\ n[;OC,9wXqµH⃖mz9sJB{=.I;{ E:0N)=?snŗWqOHApdOMtk7*nLJ'@NIqNGݙoͣS;q]l(-m U/P:8 yl$=m~~zdz(MQWab@AFT((faE/WQ3|d}۝x"=,Ϧeg:_9{>ꁶTBS@Ob C{cXYts>"qόs]sZ W0t IL˚`akP}l7 PKÖjVhmB^ۿ\"`#ya%ڰq.ͬ3Q5jp`|d͢( WkHTnXe hIB&G ʇ{kҪTb-c \DbQ+U m/ 䠖!˯0â=() jƄ0B½ kw[9gx矫%7).o"[J^c7%Dž $=Vzݨ]>N<5 y \r4*B,((z}ӢT_[rOAZe/%I$7cJ9GI96L(j.dꐐSZvj`xGc:B55jeOVj ~6W-zQj?g2tt $ְ9[[Mj3@JV)wNJiHJ"t|jq)Pёο$Cg/mfPt|l|Q!kåx{OK]S}x/HZ?qe UAbwO>GSWꥸa G*,wא|EC6,LBi*:0;gk1Pd$㭄5 XǸxʉ4thom&k!c1j 5= <(k7Z5~D1$"7ռ,a\LӟnVy9c!֝i︨3^ $%3Ds@bl.!K6O '# oȽ>l}}J.bxM46$焃0&}㺸D~gn <5=ӻO gXxl|S?g9.ʬ4!¼r #ݶ?ge6CF4-o?Y-$z3xhN$b8/W̘IPOB߄r@O H!,SC:qE孫j[%@;s_NP'i͖ĜEXj7afZ? [|zt/w"7Lˤ gӔrޙ5c];li#2("jȽ P~`VFz.N|HO;^&*J=޳ASBbQ:gHH[0{ f.{sz4dWl>ŋGB@E/=$(KJ BX&;N#U~,?L7WUkjJ"|gAdҋ3W: y`e1mC^ý 3zW@G) x"(S7d^MmYnE Զ]@:2MXC8GpT% PP s+vz-*0ƼeJcc-nE _B0KCfӌ+4/<2D_cֲ jo=,k7GQK_ňί'c&FiVo=z"tR˥(NсPo?NڒN7duAp}Nϖz1|Ч;`:|1Dl~(2V$Zk"S@rzz;D mbqz,dX@B- % 66IǏ#y$矲9Hx$Z`z>4G~2RcrYBRoJ6Т Ό[]/,Ư!v"yBWQS ,t}u n\A;nsMiƶ0*9 !(MnR?p !ܱ;U^7{<|V EM4t՚5]nޓzILIfɈh|vĎnb[͂*ucŨ1ڼW:{L3.#td>JۣY: Xz5o[^P54> D@ Z#[K'&/Xz4KQ+6 K1@CX'>[ޥXXLbzF]4:Sfmras>T*W\l/|*V MfOφ&ܰwZA;c==c_Zd8tEuɼ߆U=rVVY%`2S2lx4aD@^*Sԍ4 8A w~Ky*"_ilCWr}^I`fӌ*{afgO|rCyqŹBpƵ^;ĀYkKVYQК;,uslt+S.sOZxk$)L⺂g'T opf;--TsnW}2GSY R { p H{1s'6,m37w!^vwhQKC\́g>+[o):vm "Dϻt]8c Q9R0 .{N4]?k; z 79k"aUsfWGtE_H1 (bTrn&m1xEz9]'a߸,"tZΜ+. ""Y]"V"=BP6†;ۨԃURr}t*R#L^+HWHB$hh;ov(e[O:˹ LҾf;["rk# W)X7.;? 0F@ooX2 |zA?LڽQ@1JM~ۡ@|{4^L}{yصO+br0lR]X+ =5E<ԍEĠ?B9Ah^H!jΪ+FڳoJVtcݭa,\Aϩ=QV9|㑄_(9j4jDߧ%kT&<ғ@746o*١rⶐ (k$+ͽ+tʔ=GFӵOIt΄؋Eߧpr9g;Lx^> P}TH Vw$ 9I?«y=\T,VR V eds+WEvΒ` /"XՎ2 A{ Uq%i^-X8qH]6(jyc\9pVz$:%%3v/XxpJ*}@fڸJ_74ҶdQ1jm3dI; {VҢGPAQ{R\dvؿ1ȚLL֢eP/RfYO-GY'SftF!ST^ a;C=Vst[/umFV%|*`Z/Tߨ"a5$*sZuV#[ce@Ah8OOк.nNQ*IJSЌ؝!NXX=w\IWO˻'aDye⬰|考$B(4h yρߑDl oFH4H h^S)@XC:6v?fiYJKM MO`1YQ}ψ )IPii,p'n R“#"|$'Ƥ{T1%d(3 Yr)o}  .F;9w ! 6vhXǀG㒖j-=vOF=2/vlJ{4\:?<ʞ^ 2,FLϣQ93cRNZ$1?5hvhGDX`:Im `D袏6^f&7iUI֒ rexPY㍑.cb*z쵢GL5ו 5 I]V2ezH5H;gTB7_*d)28;EBr$ @f] T@9&Y K`c*]nǑ=g6Fr?l /Q?-o?4;n7ז;lBɛKEoby+ {è%":ap nMfg|Y: 1pD\+ME2ݒm7g!#{HCS¿DFydiAfD䖖><&?]h4hA_=.8Ɣ|)3jpnjXF/7vd攼{^ȁL' aB\s VU"~&d331y~"u;^Pj2 un}9&%=?oBdf^Czn e_l#tsjlN)$eUC E2(f ʈXC$`IӼԒL 2f&;@$ʂ8h oٗ9_nwCMp%1t^QIZ M&bgJ?&GL/y%D]/m!"D+2]~S.Ec 7= vR> uBh tˏK8qwS=þA ږmLA5;@oB@} my ~bUގ0^+h^Vow%%^5Sݾ *:ނ4,?=ib| ۀmFknj ǪsHj#xk%1iZ(C\K");_0Hi]-1ߨOqpK t/qv`?,HȩפR}-^e +oPrD ĂH# 07S Jw_0[ѵnLT*7XZI$IL]&VO|XrPuڥ{Ԗz񯂡D@wEaL:LثtC_x#@B8qҸYsEY+6Ejik"jy@̽ A[1#3R;ePE~"|tRB9tcƥ-Z,2t٧=dKJKF&Zܬ  ;ѫKlO]ysxd}ZS$A Vy.y~E$@W(?9O< i0#qNl|I /. N6hnƈS{P,޼ԳhOdˊYIu$OaͼHٮ EI%}8þǥau֑ WjՉ/ɢ۾&rV~HgkUP[vHR1 3MF)j&-ʾ,4!@Y9 vNK}L\TH-4 \py8 GsFR$hexFs;pu_͠@Vq`$OSew'#_pSLc;9 J*l乔bE?/6G!}:~ª7}W4Xl*1 TjIӥWsbye%z64gISD7m6O,&m%(`!ZԿL*ocJ=%1_Wn/ ᘊ_MC ]!V=Y5a-uqҝ l(YT !$ҴqH(TvYR)>N$URlf-6A^+Ymx[eQU@y{DD/3_7zO7W&p\!Ŋ8Yq^oTLvv1*QM!e&pCPMՈٵX='NQD܋^>7Iy6vZ:!HI:VA#7~K|t9]՘=nˎoV{Gl6&ĞhQJP^IrqUZD͚WC:}1CA !/O=vfZj.xFw-A^k4hS`44#?spTd"9.H /g蓉$q>$+YML ?B%ܣ99f|R4u&* Ɋi"L.30Y7]@ h,ɺkanwq rBI( `ڧuqcF BذJ,)ɧ]JyfOD1=\y0 tGx)}ci_RP%W@iTR]Ԇ*VcvB_8jԣ@~2:<]d=5N csx[VI| -buPH_04jNSu@NJPa.Fǩe*!D0_1T{?^lge,Aδk,mk 'ä27XAfLaϱ `/fKcRH= B1t~_ƧiO7 v︧w?GQXcR𷔷"3T{֗\nVg9y=Sc'{xbĻeMm< >9x+:g{H:?&kN:`@<űGpoupDʐ 0ч(&3rU,_iv[ܞ^W+# ITϴԄF-<΁e\{><خ Q>4ua$ !Sr B';&K7VzPOc`3;pjZ"#-ix1hnmY`z*#ԹWENz,UR@[O 8 SOޔ.8_\PHa*֐(Mrړ|q\?,ޙNJ+z2lt4+6DP m1hpgzy{e9B!dT6q(yyd;09u7w^ Z{݈^Dd9~rzȎ7V^VEɅ&\mu$Gӡ6p-KA}Er<./8kA=jVޗ]t*tYP:bIVz mtqj,Y!ն]sBbaI8TS?fy7yؼ%LHbNEQE  YW;QeNZRnB9B02$_J+51_2A -\wNS'te3#kywOD.ã_EC rOzu4'gR[:B>;dۓ4F"A?aǮ[i = ?#t;K+BSΌo&GĮ]x@m:@i&ϸ_k/)At܎T#q={BcN4_(B+!{&l\.fAR/wYAZ z_ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[zh,(b?1ϊ"F3&I;+w-A}z"xnmpNcnb}"b8T3Fc@B$I?YGᄷ3%:O|JEQVKM9]¥@ɱ['Mn)btBG Z=z#-rbJ2@{1 W.Wi]l1Pя*;;o%K uGTl3zHأSOt(?XÀUG2RjO(4d)16g{, ԘP)BdkM%U'ㄵ4)WSjĆ,4q\;9^]>AD mQ< e͞2u Oma3⺌ H~px#7K(7h5~0b,o?U$AxիHݖa<{ԝMG-`lp:zpO&g TO{#"vQ"2d¸ ڞT!Y8QYf+Bc,*H3="BøN3m~dя>D[D`:&F[&kh/Ń)4,S6BڳW7V+|7#ure"1=+ҦP8DлŻ-F_ "NSo2so^uCfy;YGWA'G¦۟_v/qPȹT+ŒZ8O6= . ~$orV M CL,!f&H뗍F)HJNEkI nXg 3pz؟QO.UwmXq#>bq pI?"C;Yr} qk Fݿ1&Gi90<@O>7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1149<+' $ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! I]·Iq n[:|&[z2t2fEr #m&vÁealZE%[Onk4`B+(xтDmnM"i7ŹaR]r8ydNuq iLR_'YRpjRl&P~hn}Zf6YW':I.^[vWT9kngAJ `GlE\ wPcr(HDV]^;<&c3>VeII|aH&Ȍ5TeAA}_\cc$~ޤ b2u+ĕ}n]c,s2oB)ؤVYGH-k]J!ݢT ،JY\3Ba')/i/;W,EJg2빨Yi dU\m2Nj' l/r?0KV8:[y)]RmnU*F͊\)y> 7ۣ\\#j7JK#M(D>a, Wx.klUF9+UVKʆ٤H_GFDC}̶At%֤[Ej#l)X4$#,# 0ٸݡ:RJWHje?,{f)goyY!M/Td"϶fG12= {]՞BjfDhu(†6_,l$:yG`..{#\.܆) Ɖʬ,4(EYYamm0%Hò+E4U)ogYZA. ~@Mxw)dݭ:&" ]0x+ stH_/zۿqYgג'mkb24B_OHN={S7IXYhmOtzO4qx78O&X=Vޟ.`G;$NV9 cDuY qQ-Vvu<IYŗ&^Oƕ0HNEm /|QٴƧ$$ eP3/X񇑇bh̄7U ^63L1ZuZ#%qv#"+f[3r(Y ɼ]?*D5 NՊå[S'LYfgT=;Eɦ')ưQ+A{٢t{ CPA+.9؆oG4L;$5F{^lU–!#4(OU sKN{TY{ϠE1rW*]j;*c1 ^kw[48ohfՈubZҨJ8vDMR*/a_!c*i^S~2]67^TxOЙDndf~3]V*4 aLȇ#z3oyILJ),+ym!;? yxnP OXuԱ{k8^goڸ)"Q&%9K0jaW?{k]iG:\f^ <93ɲ۞@?/%zB\H W(gT~}l I?L;&Le |ލc?ґڪPvɔ/Gԋ 'LVMpg{UѺoW;4XdkR O)"~7L&xzJoP}8/DW^#0_#~3޿:I r (#-Fȉ@j~a3[iZf37A:䠶~q27?ς"+,&(A8tL/%,1~k $B;-5o˫؞ui 6`8] 8G]gJ8M %dt s؋a$aL]Qa~V,eЏc<<ɤf"c; u;Qp4*vSaEɳe (4X#BC:JSxq'RgO m͙rfЊ`GSAZj= N9 K"AN BɘĤ1iębs2*.L N% ?u^l!L'oY&-| H:04Yؾ6h)q&1~;V8nwlrbPy|#usWS%ÛމzI$bAO,ɸKrj']RkzÉA)"\j 0}AnvM k*Jsѧu۹@7j\[`87O.p֖57DW .9f2?+wcR Z ݽXP ǣڭ epp}K Q=̹R,2+ (R%13;B?*+ MX6В],ʻR^t.Q{<( bngwR^)(̹WCuORoo$O"[o -]~{#v)7rDA4p AtlLz zL-.* jKϚ>+F$[̍ׯ]F+Jv6J\ >X-:fs/O^-' }mO-P)4Bz2 96_g"Rvs2UDfN/ ˌcjWFe;#]%aoJ']u#_OD=^ Hɦ_EZpQ^qW]DwNDuؐKA)ۃi9$%Z`oFUUFfV,mҟ7/3e[|W]rHӄ gdZB=xqKV²}G4_/ L;&Y$3&Qz)f镋x0HHiBSTJf7m!XDy*yw}xbD6t6*r;۹Sx{b#2XNժAhG4K%wr~I>==,[IfifIM CǯYOდ8*[9M}!NVٳ@GN̪ɍ U4Vm,|Xe!~ŵqER=rC cq^jpXA"Znil\}w ]V^zԟ)ٛXP#ƍcթIvvfYvVX _aӉBO[ "=JX'I\񲟫m\##cɟ9Qg"|pU7@G7i,`Z!R5_|n;[ϩ8c<2"e i87܁*^+陧d g*յB`#%Zm\hfÿry6T7CTJg&pĂRei~ qvwWUE?hW&Ts;tzjӥmO&h m5A+ؽXZq?7^>ăꨥ&TvsQahg}mO* B@d..ËPcpK<ٜRGT\LP/i#07Ld^ꆅz# !n : QKY"ը; Ƒ}eBlUbzbKDԝFEFܑߪE9^t3HNq\'cjd~i{|kZ+Z荋@܋D16gy՘3'd/5aSw`P0@j _s&DxńvAX^{Ft"1%QmemdwtuĿ[yY}L[C#P0kA "&HP7@mCMݻrfτ CPh)ڽpZg&j͈.qo@DLOu^{)NڰYte${N y gL |V7aYt[yRe!S ?:*/1k X=ع@Fi?))F.&(Qikk z12PoUS/KM]T~6 JalbK :PVQ@'IZʱ'bsuNM?|[\W?RauB&R#UR/q*w kz?.O3I^&{&Y'Y18T+c1[4ZinJ"\?xfN ԦE4DRG!ݩ,Lɱ'>Ż]binҴSjcgM$1,@ [%%,gw3r`l54dE͑MӠ3o1K|+IfNg&L6M.K5p[Ӌ}UW,;5xY_g䂷t!-UڟϏ434fDc@Hl {F-P5Sͨ44u\8jgnt Iu.CyvA9͡􆍺 ֯}bNkTzaRҩ j2z$;jzYkɤleh P_j>t+2yhp?TnU&e*KpK|lJ|&cʿ(j-eAkhN?!vo@U5(97d5 ?KXs,cGx}qa$+qzg3qx^O<=*FܾBӌ21|ҋC줝TkQ낔l:D4Hn\xaa821ޑu1MH86'yctXPp \+AQ %13ƚO:H['SZOHYtrf/®zj f*< ?3Gd̒1?yK9>3AӸG:e) 6eEEN׉k?!(W@̡eoG2y" Nx) Hb*WT=-Ѝв.t(L?_NKfz%?ðX3lra]*37IJkr֦gv6N* \$= `<-է'6(4<4je2 Lm&5.fʔ8<>L%D)!%b>Lަr]G*:tnW7%}y| E^I%xPҖ;pTEsӤ$33=dul5+U!VmI eHZz򎙵7krPAg+KS(.BG9 Rua}IAaAf^(Y}NDmܸ1$L|-Vîܴ׾j%+y2;\F\`q<MBFp&FXs`z@ԸS@PjX+IDɬ\+ʱgYZCࡊ,d]v<:3s7T鉍Gx͡x]ߓq//Kn*fhe4Xi_%vwltcD9lR|cY`ҨLK;bzPQgMG;|WȂ'}?9Q9yGVdp*·p +|顤E[^Ǫg@=ek%q"bSCE y[gkċ~*ocvYU|zV 7pN#/U=ഽ?].~ȬG"*x~^5>ExCϛ1]vH-iBz|I3vFGz>yI&v^,4"l gG?rҋ?s`ݥ#lvW"۱꟩tM/OD`l*3K;0<#}U׶ Msh!^"g ꛠW;:sk"]*D^⽻"SѝNJxy+d~[:ٰuO~< n5UGݮ}ZIĈD; :ޛ(R P +1EN}Nh]yԺ iCŕfլA:nNJE6b1kC/7 ?EN7ѐ-zS*}1ys, k=#NӀ(BN ܣ +csFV]Cbwz8+Qu0뎿o+!Hsi:~4G9_Et4Ab8xlʵwl#m8]~ޡ]3e/Kty.tm1x K_Ic7 mpŃc;n5wh遜Iq hcE~H֪B^$M_ȼYW!oz ?( {I R17K #򧨓#)r1)~,׹Fc"S!.ݺ@WU Ϲ}D "KhU~;p_rGȃ;av:WYDp(9]2ދ)J_o{ƚI  =rV ?>r4Ӗٲ>! W>msW[1޶-;)kyI ϳ% ř9Q?p3Cw])%A?ʩO:,җD'݊܍*A蓫d%g =8r$XlG j5!1|g/׉DKUyy.H{/@E>Y.^E~ۈRF0U,F;{e`?#W&3op?lԁI1йi 6s] 9<2{OOlb"9'j;tWY/;;"OѡM2yvA`c6 ڲ?UIc' qF-} wr`'n`bnD-}o]=bUWt2[4,kP^KK[}=5)mbZ F$AO'9 `(KUH"/sxpʓ)}1 xE)δ7qKՀ=-B 4.FR 5t3y U=8֗u:TB{Pi:fQ=)!N) l7(Sډwȱ<|9\%|<1\mdީd1{s<؋K8A6¦mZ&e2z㾔Ml1=aLhDL8İ`x_.2+".>,C/ i'ݪM) UwxCE?&g^ٛYYnai+/+!W4<sf >ݪq{&=d!^oVywAC'0ycTÑ m'  v521}P3d[XEG.`2UW]umՎߌ!d`fAGdMPU'|򌺅)b\f. '9@rzry_fm"SU@Q93o^v- ^5(yxJ rH._♿d]:?D4SZQ3Ke^kZڟSkc_!"Ub3- 5$4B <ђX;IRU?66]و`U^$l$T<9Ԧ~ 'W)R9KlGvfYIww>Nx? 9hD^k٣轷7{K_ mYS)@T5N!fЖL ܸO:|RKݟ# + ܖpI%bi~W*8z暭J"\=,r;o)#ip u#jTtdw6Hm7~chnj†?#Zj5hP~+{ܞ6b3EǨ'AxM`ɭiDv4sH II7"Pa\v!1u>Ce'Я ?[r)NpQ1ZNzN|ry{+@Z&7.R=>Il[I{u~=(’N;t Ҭfu4$rk{M;6I}sAD~ۯVֺ׆hpRZ8ipmS3bp᜜g}19AvDI"mF #Q~N Voj{»G;>#;:@jqod,5嚕iϪ&J!B;?z v5j?8~s3Zbi3 Xœ#3Q s U=E!30Ƌ?n}͹3P9/]rO ,5RrEo3,DIEZt6Z?0D` f8\}E L LtˌŠ0)l]N!6Cyslml;Z꒼kx%Uy(EBtV} H lН Nj%y -?DޓM S;4l W}4| CDeXrI/:3 SćA <2{!޸o'ϷRErg&-+VV.b# PQ8c`,Mk:~3jJnDUPZFua^5.po6w*)jH { |] g{/o D|BqG{' >hˀ奟#kGK$zrgᆖajٸ9֤~BC/}szɟXtc1yz "_0HK֨VU!ri6kP&|aTwcaiɶ{];nؓc] >y? X:$ LP) uTG=BNƣYVar0h[Qpx=<Ik._[9m$-2-s_ER㥵$aT#5nU@`9u5X,Ɏ8K lr`! <;HFH$ʽKɥBHrUCKNS_P ViRJSMğFI4DW\RQLi2G:``ucH++UD̃ːތj䪐֥lmdQ#М oш %.4+ { q\ֵW2-<r^L̦kA'7bPotCXj 0Px`6=`Ptpލ D2H~ML_k_5/>,56AvBVA%IꇞoQ=DSYY.zJfRL Ԑ[T4BGOe@ijo-A2K-04N? }9'( BGU5e5$l]E_ٸz(\Q$3- ŭa&/Ԥ;#Ez+_En3IWuK"N;eu1 Y_[vRLO`s3!R\VK$ qq4Uׄ8¹-Y~8mQr&C9$Jt0Pl/ YC423t׀ND rWBwZ$b-tgը,{׿$,b|] HC^޲ZŦB؎?"=wms 7PkqC4=vxqG٩t|*MBC9 |bbD0qZ@(OӸW}[ljU"}x>_؋ ƻMֿ!Agpx }lKDYE ;wrpXTO }F-n}ϩ]:fRy Gn"A3ҭ_z)N4\*:#4´E9_X+W]р^m506.g]#uID4A9?ksg7%W1b/ԧ WM՗GIr H?]4Tȹӛ]vF/Z34]$p(c0:|+`6:-l_i5Y2.mP<}ymNz vpŶͲ ݀ rք).EG& hj_z 2t|in̮7LI;w<'_}Bu4Wms xSٙ`27$8 ‚z~#$N s='nMЍ*BQm6lS*8EٛjV59:"}F  UѨfyjp_-]=-yu@]JMpצz+OMsg[M)n|4@CӜt1z6𗴲 g}z v7z\p!KO d-`PF5u'|a57~xC+6y@`=Ÿ5\ H;DK8'QڲLok.f=\Lu;Cmgk/Ԁ3]=\Dhk6TJ|ز;&@(6t@Ia˧=mj3|4X?Ru܆*n-\[ֵ/${G)bFux\>~QGe/ PjH舞Bw uv&SU[jO ``AYuʝ[!ٙJlPJ99/B#,CxLEbgI\h% ^/sU_wcnF1`wGgQc;?O<4Ub,u:|]͈[KU{)]䨚(U'`@Mi1"߶ǏO:ґڇ( UFT0/N-m!xyQB93iY?֘:1WT =O'2&ZR`{dWpj+ r'6tb;DYqdZU S!}RY В3[g?j 25 H:`vp/H)>kTѦm"6|qXp';X&G~|đ#; z\kiӧcGm5ש[#_rōܔ<-Zy waDeձ8 e@GxfT8K)|D7On$=X fCBG۰ɸL<+ Sꗉ,;m8ϓ]bcDz&MMG 24Z+,3i6HŐsw./r%k˸W> Hcm(l&<=t#đ8iℐ)zq#;:O^vdd%]&u1N:AJo6?mr-4 o!p)XUY 58~5J3gh@ԍҫZoX \ 8.}B4Iqv /*MQr{%E 2E gYZ r !r?G'!'MxHdDxPeW*5zD=ŅuD '4sG}ѝhK݋{vqj/f;>L @E2ptp@D#!Tg/ FxM[Ǻj)ްT T7# Z|zm3 j]27Sg0Wsofjaik4@I{u< оb9YJJ?ZȽ2ƍMy0wr.H|}"= h]:9W5#S̨oD20:Dwޚ欴w$%tO\@O/d]򾔼SHlH+GI*|S޹zڞɑMKNma!p8n@=wI[0 3k9Q2d:_AO㑳T!1tT4ALl_X{@\V @ȫZuHjDᛤ}yzz<(7p44zWgxR8Aŗ[~t>if4ގXV \Pg P:4&@>mi N7m}))awxsq A[xIq/'X~ \" \v#NgSsQ8^ u[:a% QI!Jm `Im%abbn( S1M78ih }<O$L^A^ƹ&q๷^/8E@yzb3WӚ{5-"b|!lL$R@aK`qwx6~> \./دzJ!Loec'Fo) I~p`Np!+ õإzdD M .uBI||Ph)T"WSn}zz,YW)E߫DB Žΐ~Rݴލ0z1~@~5+P?H~~U +h;HJ8U+ը'VaWpoWir2: \i*Z`v<;wpҏzQsOϕPeelL94o6 6 AEg}\=^ɰܕzal2>3^z `uoŹUz5[׺ЌSq{=G3%dfðO8-]u 3+&tz\=ݚS!J+>ASMsL(K݂R~ٸHS1ra%6,[$7H7+&W /Vɴf]vxbN P:h/[T𴸀Z_&mg}r0@1@ZBc&o?GLrb\ ??hސ0p{a9a4j/zFK̰ TF@0~ C| WUk1:rsB U RPM  gYZ NN2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[I'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׁu Bqa5( pX8'%j?̥7Mӡ]"^ C@ުFSGW;TN9:ӎ)Ѵّ~ BB>5ݶVE"d60 Wu$=lP< & aTo`Q1&Iݛ:p_k˧9E%-5tz -vd0y:G! gYZaH'# |ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  v]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>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^+FNBGk!@c~bzCÓxz59M߄zЬBw)3j!SόDM<#cMաU`@4k' ,D)K*ds{}r_0&!(@khAz4\9цqؕ%xCЪuƽ^7dI(FY.8v3AfG_j,pSৣ|d;_֒'LcF߬^d8=O.%WsO'xNLӀZ%~u[HCRc9}4,5Ec@(֞ ZJv Jf냫}!(35R/Jnޚ?JT<ȱT[ह߿t@gCc]m qHuSs͋V/xFlm9 +H,-, 5I@Z5&li A;獏d$Eq8MwzZ`_,9a ʂ:$WXYo.~!swr_mo\ !) :I 7n*㖟wI~oNVR/צK jJZjݩ+T`)N+z۔'CHUf68IRxWYw KLn!b_ /b;)煫.)QYE {R9ٙP`EH}} S$꒓њ2RQ.b&aeNnr|RTD8=)uX@_8gZˤ#+؛6PNT^XAY! .[i68;$.T>AlɘXmi>XT@&sBB]m5eD0XF|wTf$I;‰ ,ɩ4ۦ*ѨJW,τ|GF~È nؚid^CwS(!Uĕn65z:V{A qU8Og@G%w~UMLf$$ƌ_F//TlqV3 ac睬w Pyw]lEV::)T7@ -s!V h. ?9 hknQ*1;[( ǴMetjWZgΔW* {2((ꖡۈBe "}VO$@f\zJ3`XKh94ApN6;A Hb+EgUxC-gYZ -- M+# LZF-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 ֣qGnS5VH5઴!e0)BP⒣hRۋEFNV FRvR JOaEpR(rf *?ez(~ J E#t bCץ%>B̫V#_Q:nOzRcT~ m MhQ!ʯ%_Ѫ^A#YI]$KxX[Y5~`%-ͶtfA-M!I߆<t/F N}QEn#'G>EGs)@42Eyf 5dH;9COjDoluvbpFAGKzWVs;A|jE|~\A{.kYῲ|GRxL:8&8j8+]%:PH%I_Ƣfb*>| Nvҥ¹Xl C|ok qN2ۏ!e{-݂=eąfC-.ܥ:~iTVe۞Wb^cy)W:2ğ+I!Rg9Z'=+]MH@Fـeyf0EJX9lS+-W߲_)iN$~Y4pl8.&-v!\:i 'ޛLM$z@=X4¯c87-4gB9`)̗`um%skXx71˞3d_$#'ypwV6Y޼?c9TKy{-D"khR.] ί&6zX+cy)[{/>R!]E ^ ##/E 9cmqBn]E)=mDKumN>0$"D: 7A?!&};=a͛Qo88ʽ}}tH+0oܕ /fIrzj>=@aDE 2 sJX6ob¡þO]誼0TCHcȔ-[7T+2> !,R;E hp>UAD3Mɤ \"ULY#UT׭Yq m$b-0߹[#SM'PŌV=K5A{0*;nUR_.c7 >G<Pi< icR)vШ@%l: uH&:'sve>#짛^ZH>% 5}-ri\š-4k]w=OK;d;A] 'Jm/WXʛs_̩xJ7fVH*FnVRvMyj5%2 ^,uklrK ?ه8b]q oW7rMf[i"lK—Jxhj%!" t.a`Yn Tl d"=MXr/Het$~,5i)du[Ki5%f%gt.ˬSk)6"tcB&QGx/u dZqL|xg ܮ=E7OάQv@!΋nV+ޱgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  8