SQLite format 3@ #H#.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 1rQ|\ L44XkLCBKO%cؤtaoA]is ڻݩ>H5O}ME6h^شȎ~35C;j7K RcB +j:$Y?{eofg(8 a[zdos@ܘ'=5aОL`49ZyUusac?7xX^4B Rp޳6Z[dTه le:C7u%nb]m1m1? (qsa ւ?՘a2 s-GQ9<]Gπ3mr(X`ɒu󩾚uuYmp6I1֮=}Sm%?߿p5Ğ駚V d GKS|F;Qަ^cŤlTi_úу`yofLs|hFVٔv37f݆JZ| ,1r "̟(qqȡ^l[VWūO kmLsfx]NSYrV/aӦS !+xZM=} =<\}1,ѶJ+"RlDՕlvLX53669$@_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؃ѩС rGMFKEG@C?;=::793220*.&-+      O* ` b / @9Wq _3S*  /  ) x O % vM#   a}O u J6!hc1e0+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 >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex3/5 ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex  bچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[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 / /P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6jf"ȃCGv3㏳p|ӰTn|5M(/VT@rÕ_˙QzHT So th 0##iPvGҷd}J h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ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 ~z:7WE獅 aA:U h޴O_>j p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZm6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Qg .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 ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ 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 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  V +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZ d 9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ 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?UeQgްaJǴE_58H&G_1acnWjԓ[I$|rS5 2.pu۬*6RvmtbS8Io6F )/KMKB,*fjSz"e<(4fyӛҼ@\ٰ06K%]|M`҆?+5%UE:QN(Ӯ//a2\(J_[Be ԙӜƜ^=F| 8ً/o2 |̝?j11t3t A&jwAuWN71 h ?&J Y@xmBArvu_?8i^ufabZOj!TĿ+xd&zQ'xN9b ߇BOT;,' |6}Y8Mj:8("`y/"`!\^L7MMVyfJBfsz~E[S0!6; {-pSRx;:{'!" j!)D.w,2cԒ? F"f-&zE2F=?*-u?m1@ð*2 +HUˈz\LڈJV$xD#2 7^.q^SBj5ɬL9{~K:A*b[mZ` 0 ]DV_jURK ײ8XxG͖n]- U϶FBxL֡7{QsD,; p`DAC*?_z{Iݍ`=օN3H(wsΖ'YNwU1YaK`yZb@k $G Izw}w)^P7cH'm7iniX}{AZwY&.ڥVC* h 5?!v*u~i)n7km#b OmsOq`}z֢XdTi#LRW5~m6z_wXeCx#ZgqC*{ay%IiNt8ۢ2&!W[ >e7?XÐ"\ԅUйfZNthd)&2F;psXy0!.g1Uմ#AFFvL_4Ԛ˯1&+v/pF,D : Avp"1ܛc (dԏvZA hS5)bHS@^ÍƆhh 8'/Kn%`Yn.fT< 3MCK볲&3l3K1ۗsB|oF-W1,d=k%"Y_P5T$p~AYQ2N>܉)G$UhWtFh uaݫ[Ld,?ihYRJ`_l/SNfr)jz>i`'A YfuYԋ^S =1ovYݹVm1[N;/{7f[UYuc˗Km#`+͊@%[ |?tvk#4a_}2MZm_,8T bvfwoJ(K<@I"ֶn99ؑL|V޷ "x}L&4gxs*Taa׺H<˼K+e{N+$+ ʡBl_hNIؐF# mw'Zf(ꦕt#Oͳ;lqK*)(J~M򩄃Vd/J{KaANt|Q$^Zr3$_ Ad98#M]$mR4\q,Hg~ UM|0n;;̘ۜ"E{lob"$(]x`7c+}l. ̻ V7~x89iY˛^so ZսhUl.\7?y^`VwpsJ r x<4d2mrSKW>b/pr"!Ɍ2-\HOG\~ xŅ&'=3LΎv42n'>!TQ{RͧAR6kcKC/#&%˨%)SFڍXJ5UU H{&Z&e{ y/\ Ög0q1g@`"7Uʢaw4뾹l!JRZNH!E1i1uL@b# 5nD-ܺyb h;hʯB 7 ?A7P؋ SQgqEdlf*C-PcJ# X/'MH }\*d?4@]y#K['5`c 1# tZF-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$׳x35*>L; >wgN<x&Tebnz\pV b/AyMm8P!@Tie"-i`)SPmೣ) n<ٴN VS"[ZcV}?KV !ٹ "Ѩ"Ao0ev「DoGߍ A!}ՄI"ӵ EѝYm x]}raT'o"{<A^ qJXlV FKunK{JcPf$VTϙ V~ uk6 +?u!Sۀ(]2f(W^NR}* iʋUP׫b>GCe/*92K*DBDq|὘tF]S-8_xg Hc1*H` \K*R>KTd8GpyվCul:h`G ?߭ pմdѿT\E[ϺeTօVYS>s&c}td0n sࢁҪ|7ΣԷ$Ax-Nb;9ևF$)>}Ӏ%!ro.[T18*^bgYZ^ /# lZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9B3/2qSFZ<nQGRN$uuy;>v[a2邊>0 DdzQ^W|V %Fv'6}gWU+,[_@gEymY^?<5&Qfm ĵC2yQnJ$>LB5 :n/})^} hՑ(,X-K(瀎+~kӾRryWpm,dp{n"oO( ]͉zKGoUe=o風a\0lM$gQ6:Pj%iuv1&]՚1vZ ؘhG/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' dZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}*odB@c3/(y&v(G Mw2r.Ve^%YJA}|?DWUc}ai~Gץ %؁x9gȴ{*<suI !E>Jid }!@ E/miM˭dT[Өv4F s =i$[BSeվ_Pj&y *FgCJzY2T3XWӃ&p彸#MU$M{IoJil%Ѿ΢Ⓛ1E 4\E_C CF3zx4[vD+3˯Ja4iDBwGNEػSc/\gN 9uoo3Oln4I)0 2}b)+ZxUQч5iڡ.C_?rc8{uvġh+R)Rˤ.%jy9@\.-!9@!ij*32](o(Jg#7? &g]g =śN \d;r"]s >NMJ8FFOdÉn#ȥG%YhcbgXH[]v6?(O=Q4?$+xYQi* >#2DjM;4pe&FnԴ";YV{r G*P͋P0o&AUW?p#[@,P4F 8!mgS_:+᪬mIu.d}p'Qv3{D .ivãl8UD͓gdH (>vg,(gJ 8d뵀Y[EWJvtk|wENI,f2r˜!q4'{4SMI yчX1eYN foX(uC/PW*m?$C;R%F=<~ XB-+pѠK>ؾ" n4_'/j)2 >j)mXN`vM66DMZ8_T?ض =ztgi[u85 kƿv鿖HïQFhe]w? *"eҠA-yw=.pb\1foV7zQ҄3`6Ƒhx?'.Ō{ԓ6A:{Cfnfu{N3cQonnӒI\O:)3;:+DV0Ѽ{$^|Ӽ^4\>5\WDaZ^˕ƎG+}zEr:d~gvk2Q@5Q@'Tə*rZHRѻTv+sخwD}A„ҹ<7˪3WZaxJQT_> 'g@CPj W[-! Q#KB=VJr cZ9#{0{ClȗlK+%^K{D>[y`U[ak-/X<6taޫvPS by=< KA(f XPNFcByh(+M֪rcY3kvLJ5)kLŕd$㛿g&/߷>3ngݠjh\jE|V_ule*r{K) ŋ0OcGi{hbA)}Jz=EU~*Ibu yIxxX*z w(y{E;Ę# ?k zq|(4 U!1krN֝(a < p9[w->V㣶wJ`nK`CY]g-Mb7dJ^4vjw|FkSA6lzU:*ϔsVa{%I 歨I>R}oM8#}4NsATe/ۊ Fi""E4=tQ0}J0f{/D1dFa k'6^būYֹz5 S&쭬=vi=ۅ7yׇ=@$FFZZ} %(=j7(nUa%:aj66f˯TXTf6aWsYCª(7hц`t\sE+'AДq.b0 !pJ+*Xٗghvy}Xo76=V DBS֝>TJW0 U譧nV,+n#\k 0me^Jn>Wp To/8*.W9߈A4. fϕX;G!ǻ=U{{r(.כ/-E($.xK6,JBR!xФdrm2܋"O3̢Y# 8OHjޛT<;Ú&]y[,QJ mZB.RЄ^ҷaEpÏ SlY;PQRAeK rhm!<+Myjܷ7'KL$qt䈌g m*e H̀%j:_.gIf nCATB'XjUǠqk=?j1.)M>̚ CDh/o VP R@;kzYAc"_}WX%YGY ws͑ޭ:|yq"0yv{w3хb)G9q.# #jNi P¸ CY3a~6ZUTd$FEU{QߠGvd5L.2g #zUv̦Hxtv?LX9>poa5kzl<ЈCCKaU b35`CȚW%18A  >.ա م]k 2˳%9,vt(̨ ":<^tvq8_SI!2FP.0B>R-.RLB0 tb{9ߩv)G|,[~{ '7{;)^\UI* NX6vzʬMc#G|lμz./+ XEsAp+HjCOzk6i0tt> *qT0a֛K^OI22x:`A١3Nw:7 ~}* 9[^cw.дhjR"E%7e3 _ňbX-Q|xђd= J#Լfmiќ)'Q$)'Vem7IhFTt+܃DzEFI UJ6M6@ŐXE):[_6~D]yH>YboNZ`pH@z("})rgZ!^;P3_U{o{ثOFM2t햘Ruү"ּ ](m O?T8⨳\ PAØE#s1#Yݔ46ϴ`bv#SM sLfV,͡/1m 2?Ozt!'QM0}k>/A@@kWuRj/-x(.z"F#S)WxJԪX}-)]]E> g~Ki" ncyTx45bv52ÍF09tַqk1IJ,+|gO>lvI엔wKC+_"!+%l31:J9 Nh89W6&srmodkVasYLD[)v{Rv.ICtnqϙW#7uw WQSFyj`֏B6MQeF!j4;9o@s2x3!i:-(uJ(G߂ǻa .g5$B3!֕g Ko]zX2ο8g(jO(ɣNFǧS֣WH33uaF_) rX݆@_h$TA,+3?^cVasI8{f P;65Xjgtrrfou7e3S<>?[\ @:Ss.Tu ]ў)VW]:',nu41*]U* ӻhw&F*VHe]Wj]O} +r8B8std|^1u89n{5dL^i_tp)N l~*0{$S { E }?U0V7-#ЉAHV[q0\nM9SMx!w\1M=Pڏ$ܳpyR <1.]6JJӪѾ>pBx7 a=q\ΈsT<퍀;pxV_@*b7%؝eG;ӽ#|ثzxACsk4,%!L8m币_ B9 A'TtasOt]Zʣp&F"O ;J_Rx~Զ*_|o,=*_GB@_Djf@%^:[DyS1*AuP%M(}pX_UF(jkT+)U h69>,T<?[E/w _OQb `_/7!ȡ͞^'#.j # j7J͒ ?7T1MB H%'mE5ɮ*ctu xJp 0djۻbRW6G+OB+E55;1{W+5;N?cg3&j^lo4aqCUU!iLJAJ^tt9O$b "aUJ^,}3]8ƳX[1 EFhV3J@?MXSHVݓYڠ>gn+m꣣׫$ȝDKGֆ ȹX8 5W(WN[^'VmO Z~aUZ)Z8)R1~KIe4Ƭ6/ڻ Mf c)7woR q [lܟf&hjzrUo^}u|.1ZM9sḅ+D zmD]J04f"dĹ-s+'qLނpu8a p[!Zf٨xx4;Nο3}pZ,q#>ȱc( /P~'d8}INrBMSK؍<4n~ۯ*VW_lZo~=-'oqۺ<~NB92Y~IgTqڠx˽6ƒKWej-(}ÑsQs'7;L|Qq/)QY+p“ W;h:еhSmzG;N3MN,V;-dPڐⲭg'Uu>x~ǧC+|Vq3mɠgn4%V<=]%|y`6'A3F뢠}-o O~K(2I.QL$7[R'c%'n$5؟L2YNJsO2nA .eHp fI‹I4uJztMӋϕ;;k A[>hvZab+/w*E~bBE홦a}kS! z&OqTţjZ{X3C<}7}0_jX]ݲN2'H!Ҷ@`$bWJp\Upx"jۛYAnL۰጗#| bY6͍Lvȗm:I$6 \M#2Rkx=Tg@P퀗.oY{dl{`J=G _3`Bc~9-DTmsA7^k{ż7; 8-AY߷)u 1xO΂"f[&c+Ab-A3jgHgu'dQKҋܒ6KA/j0r0< _OC$ts$XQ9[/z>V(O?b(vQ1$t`z;RE`E"%3%h"{hTOxtF:>1rɏEA6!T6ɍouZQ4'"|5KOa#ikon#91)x\fyc@@qUg?7ݶ_[30^<^P4+[,f$g3 je8ҀNŚȈK Z|Y&m)R)(wf@}̲ ޻|p1b12 5p#r{T@t%ý0]z|L~lzikLKV6uf X$d#&jz:,K't!o;^Ye\A k`dWՄ]_Rؒ 1I)CɿP~םM_qzuHk_f$mإVDGǗƵcy7 I.K3L{9.6+uhP+_&ƿQ.rB| h3, GwߛCג6GG!&u2;ѻ :yY,\A{.N΄peh2D!" 8_]A)8,ѐ\m +r-F A JmdƂ58PLy4$;WCKwwi [qGUJt vbpɾv_1NJ0ٵ7ϼ).{2˯SHc9=Vtb ij '?nƨgRh%!4zi{B%%J[q昙LRE!5%v1kTXC_VJʝ/"8~>;6'U&gFԐ*:1yH tK&4?(D83a,dغ #/ /TFH𼅚UDcpƼЯZFÏC/o *U̧t*͏\ QJWW bx )-M̸#R)T:Ϣ L[zߝ )>0kvj}MPp-NfLm{Rrpz.+IWh}-bTL'BMj"tF|+}%Gw*uFOD8.yժp|HG}묷tdeߠ' n_U\<4{n/CC0J8e'#es:Y{$d&\oj0ѴI]{2W3e`_c*rfnJ-I>-sٓV=_MTX4P$o4r}Uf Kkǐt:&!csYbb3g(iºs8}XT?* [B?\?}ˢSM߫?"ԦAlP7ru@W*DS))P1<@_@^zIn[)I˿]h@УӉ 8QEtd$,oW^ +FMskOS1Rf?ػImRE6*ҋqވ ZƃdkK=_6$A{t+蔝hicoMX"=vQ\l6峣fJ+ʰ%.CCvʝ_GT6@yl{|l:F~m|M15tmHkwo{u(i Jk}v1bUՕb4uSV։\2liU_ sLjT2`Hei> ߯A>AF?gX5qh{PW1U'{BT2V-XNb z"%$ևo?4^Z+ R4.NY˩W)aWbq[j Zvf>wN•1po6|P;zU#Ԣ@˝.@/YDk9 P aܴKZRZRRنSeޢdfG;..FuI*|Glx-=5.c WMrc_7r3B3Z sN@O\M s4f? 2QSͣ䍶BWKf0NP"v$'Kb[>G$A:@3I(RNoٷǛuE$ۣwH( ([a$fRѼAmkJ0I (I7h ;V Mc*߂iP{!d80mE%FzTy?D3**-o A0QIDeZ|Lw5 2V-9E yB `qnW +h66Y+;͎mmmQ}ph@uL|6&^^]Wa4i[:Sim9X2VTl)N=(s2r6u2l¯l$NnD Ɠ:Dz 7SM@t7IvWX|3HqP8|V2fv~So>JQ0Bh4npјd sVc}k;%ꓓ$0=B\W*(_5hhFgzg΄1ОNFu H0q=9^ Rzչ1h_"~(NQ*>LNʌ *0э1 n9lZ1!9 3=;D܏0"`~JƢW};;%![ mq nnؠjSz^=ķj.ܔ̂QF$z_95L±I㚠R :xJ~g"-@w jO3YC V>DR h%3#]upe պ\7衦ç~g[wION)z88 v"(Ӊ .U@o{]Bځji:hSYngnUlwČZ"KD;#F "LiC}Ńi nH+8KueZ$~b~F1|AE!g?Jpuˌ1U /̆FTP/7Jw^o՗ߧ1 &.;#jhHH.Sd)\C{l 4S.$AKF+a)'tEm'L ;KIƵzR6ubEa% &<מx-}P"YnSxu7$݁闵3m2#L>G~vNefeT/is'v3LK(ZU 9?ȅr fޠ-Ln.FEmk_/#[iz2xg[Qȩ{S!?UxASF %(/ٹtHZMxKX.!d5)jZt|qfzCn/]ՎޕD|l;F_覯BfZ .'\ca{#,A:`<O!w7[8WwN<;%+|Vh'LWh3՗jݔ: VaWr㶌%(ׇ+k6:E&ۨJ#B*-uEZ#s/}ilëwLqcjT,IG:rw%oS Cnq4ߥu,P }us8@j xs`EEkj:d͌#2٘/=*CwVoG߭m]dA⑾DQWـe)OB,?4%M! -l[e*]gq>CǀqscC[+ "*@fN9gKSDJ=8[Ր< e5{f`BM~Bn3^M8o\0t nmWZ`岅Z~K_UJW Ҹ3hCNp1*qy8JƓcVElphiK\й3lYp+H|H(eݴӮO"ɪ_)KTgDn`V˸g1%pGA͑~o +oˤ+#ZŠycxpBk6%^fH?k672 Rx^auG浇ůNwF_-9`z >Gڄ2S\0iԕǼ3Яf v9:B~;B+C9C0?ŽV%.9qN=qgxSX.2~`9N 7xw)d,"V9H*$IsUV O4R8ל$(+* ާx;Y”[Px{^4'˥9eT%K`曘+ 7h $t'jlbڳȧaZ+ XlA_vu>98ltF ;oE5.PCyn*ECBizwT|2+~Gd?X7wdq\GV M7L:n^j3aANZ?E ;| pGb +hrsB[;_~w8dw̠ pFv$G?ݣwO)xuYM΋J0JcqB+A;;T,pTP`uխ׌H `, go`:5^`l/T§*_ە'< vs3?Vk#kKREž.ZtU]?[SsnPjxT*C+Kl{c?\&>_ +%8[ԙRN?6(σD8@ nT Ec3GLj*TD=MkgTٵLX̑I@t<lr"]=$ytgYud Z "Q։5%)>\LPpd:Ī8}hP-yh2ٲ dx]k2) pIe[%,93i.ޚ =Md*ۮS^gRK:S٭U#B>%؆OXԨ-ǙcY`5FԷOi1Q2J nTjO\Ƒ o5@K^"mw*!ѮtDmf(wrcA mg"d~Gm#<'ńeDAKXɦ5oн4x)G w]ayx[ITǦߪCiy?9h % 6ff3= /}kLxNvbaW# UWH\י!k*yz|>o@`~hg{3@x!oСU84% ]VR4ZO }!H=iQ36 رd޽Xn 㦼RzcA.[?n%|<V':piF1ޞSbIq@-79Gkł@ld#x3i'zImwk[@ÞC^ q{Sэa=獅"WHן:iu`Zi-aEGJ-'؉07LVDSuJ +1\zǧpq@h g[6KXYѡ !Wkst#Y7}{E}eLuc/G;͗EA٨>34_֌>,{u޵?ZH? ˩ؕQuzAm:+m#U/|v8X^Z@j_1wz<03tCO0,6PeL~"o [BdXFݓXe*xܷq)żÒ1Zqk68D+6]Msc3I3p>(/+FP]v:9a|;n.X{Y-)6niK1 zxvS e#8h3=_O 6*RsZ o0DIqOd0hQWv5N *7];•l1,^*6rB̡2:AA .Au3vi*Hu+܎5anք#娟%!;2ǝ{ ؼ i]"xh)7>;zf~$-V0~-o.;3X]Ϣ@yƘڅd}aɸ)V*߸ aXצq nX ~:B>Y.-J!l}neBxb|>r)d'NFX92#vb\qFPnErD^Fx T#XY\xߟz.$VPE B)զu`{j6r:R@R\GdkDH*m䘘z48*)Q^k!NJPtgU 1e֓KRW~K᳉ ̭N93Wm S-WXXf }EbOcAǮ!m NMYħ<*qK}Zh L?~#NZ\  g-f .}{ޕCrTH KR\>Um?aoSwjZK_9HڹA?zYp_ϪY~#' Ocr;劵8TjQ)6+M#JR_tc|PPA,3]3cR|w j}.{#ٲ MBŊP$vL, |+YOgsߜ  :<:O^r"#oNhdW-D}e>Vԁ|? 1& 9_fɋ1wa>(S*"]̞^~{xj0G8 UUG-z0mKHLRЖCWzUbUEzp_LZɒkc A<79Ϊs4 NipxLVoI)yx&z#򤥢FŊ/zĠR[ fj~Y7ړ>q?q-hٖx,ǎ&s|$62u-!W Z'| 9g7 ~< /N"+?v -+UNIǽ`tz@UjcdZWw"w7{ a"/*.:X8&R5v"^cytIhs2CFciB{zTn<+fryxxYÏ@a@?T6zG&#`#?pnܖ;Ħa윔u/ӠWAPO=m(%aaaٖd6WLy&_))<?qF>jpa>tTa& Xnl ,f)Vп$ .K8hfGwiӁa2avuݭ<+)2$Bͱ1qe߉'S>p_LyO'&/ 5jf20Fx tY]! mXūXʕ3O<6BjۭqFΨ̛fh%&D 2?!ge_.߀pJ"InЕNۍ(X vE"F, %r N},L W8θO.]g7~ÐM qiN$)^1f7޾ْ%ugv93._Oh'&{2`vw|:e T,6Sp#oD6CST%6A۴^ZxjB Gg=}4=aNn#k]>;1.T[W3ar ӊrxJ8N&q h(UIfƐC%qD.coڻN]Ou߂1ىPaOK,X?>Ud0$ hŇy#Ј+dloˎoRQB?FZ,iS+\@5(WeupoM3.%! ǶQM~(fzXh 6=3e5ˑׇR mUtiEҭQ7OuQ2"u%KJp SSAȮ+㌹\K<Ț97 "kPҞ6m 4Ӽ1"9фfe$jV""-h!%,d0GHOrA4ك6O,!mwwDQNj" y/a,.de// MUmF:Wp :x 6avn^HKV+V&5,;V8ag}y(U|Nm7z;ƨcЁE.zypA]FV,/&zTԦ.Jt-NHE4lGfgR)>;=ִmD{\ hHGnc1E ln!`1lv=G|q<fetLo:þ<Ɵ4ܪOZT/Ǯ_ޡ;\z+tV duyz7+h{<,8cPX$nFOIܬn|A/ꈊ=}MW +e'd)237ޥ "N-ۢk31ѕvA(C"ì15tWu,6X-Vv67t,]^YO:jDQ VVꭐī5 T4 W7 s=eT?KOYԹ}Nuub"KxFyNk7D?wo=4x{2ؾr0Qh]!&`%U^Y^,c6jƜ*xdꌭo5EHs|>,m @$X4a& JpUDDSWD/٦g ѿ4G~ ɱ솽=n. hfyoUK/x":'%{%łn=;qthFb@f:rNNjqBЦmwܬ K2u!9'Q@Ee/9nRgYb< ^n5^Ldn2bl5'p X"j@tXiOYrЛcg>Mz^#Ak{:`cmX`㎾o6? ˯I.irёpza~H0~+]@]`=g S̒U͢*+j4 q" CJK*GPȔA}D,㍓a+MO:;!$9C3?- E/D<  Z5/QBmX+>GաTnWJI9?l轪Li=HE Ng)lWBb6!9+R v$K#6$#BF+)J+429DFȿ,3TTD5AU>lKP1kL{R‘)OD01#!][)qgxBYt=@)~drcq4ttdwBOjۺoٽ˚` ݌ɁM d1GIʺ61EJ/Y;l0W` 87i$(ʡWƣ<ʶJfaQm_sضu5YN3.uP.ʱS0s{Ϻ7q c[\+~r9YŖS7~VnmB>kP񭾂Xg:iv񸗸4m",9n|N"3'1>e ؑCd$s]Yq`_=!jl NN^{|fYSB-hws;./h'`wcBd"8x naR4ZW| kT*i2wt9"EK)7E_㴐=!e楠w_Cnv /Yn%h!P 0]/;:$eoN׺;a>[ =]> (Ej9ZO֧Lҿ ul@qlgwX43ڼ'iGd-cRf \ΠK.4&S[?dS Q#(pȹ`3ElZuMG;^@h71 i%%F"<^ƫŔ|ޗ M/WM `ˇjLP} D ^P%wLѝsIź/EWH픗-iOJ!ӂ7<&<<NH}1] `ĸO|~&_$'@qp:XMSPYڅ)zqh[d_5:8P ѝ׷1lȹLj A",HU$),DHTa ?W%4ٙjgL'j9MM~ \Cd+q6V_^Hr]͑UuO;\)z hL&34`YjjHܠh.4vι ~|h<}7%),9_:ot=#^j6 blܾ .9C 0XoHV iǹZa$Sq([4' V/=ֆ|/7`h wKp[N +7br=yy0w1i:H &֎[ GhaԔAے8B$! "?`~~t(mY{ϧqγۜE޸G/#붌F;=Xͺxߘ.MPL%8z(b hi4kGWQB-W~%ipQM^UǦwA &c|- f{l^SS}6 _\CVEA[BәHv8e-F@ݸ+&Hb-SX:Ң 3y"-"bCʀDEmZE`?M0GrR|W9[C3UM jJ΀NP!Gsy JSױ ?EP1E/9as q[)kƴy5kP։\dHzc Úͻ46`dt^udިǎ79NH6m.>79#35 ~B+̚>@|03EɀG.mIXgy+*x=^a/6_)7҅|gpH>& _w V?q5+4l} yI:=29Ήs8OWUU$Mn(fyJ_КoP6VժՓN~‰5X{NEqmTW 87ݬ9<4A#X՟~}ZNQIFIpU]r)?`V"#wZAgFP2m̺ }06;ch֎*UanI#|fNRlF}\8DūD#8ϼ'\֓J-,@&| /` et2Eoi'kT^C1PD]N] ŁsUxB gQ>‰E[֘]δRgw^ZYL Ⱥ NT0  g T w-{}~-maw& oqaY,6㯢aF}XV$2e+*1|evb A:/zl5 lpȵ/۲ >&u&^jlrb$Ii؄6k[eX!ɍ_Bp2@R$PƍwE9A_*ͱʪߩI@Rn?n?lYJklu _O%aOZ+u"5\N(]Lk0fotl/lhUHju,D8MаXIt 4}gzh$  hewXH%_:0Vjq30+9}wrG2R6ofKFȱ Yr~~<{XH>>'p<[)A~+jcA1ws4z-H\eB0d 0 D+dQ)}i0So'yA`3JY1|h}G{XrFqݏs d8: e:V4YIa؝\Gc2?\ z<G: 勲f~!6 @&iM޲: J~mr]j@G@̒"?A !煒oEs̸J_l`$/ZӶk$nJ(%DՅ^7?J3vݘWF9ᵩ𱻯s<(UHn` _YwGrɓMmƥy@.j2A+NyXp/:|d_m4 ^sY4,`'bP?58 o"b 6 uG7gAƛ<xaE!Uq x靾0>K emK۔MC݉<flesZХSSFl;׷+ W)AÕDˏB^ j,WEC16X 4^bu6LGa~g۱=u;ke Iq>zpOt [.F48kx @w.|g]V4y>&7t‰YvlD<x 寒wF,^ O4/žSzDrB|% '7Jo5V|a:D4Oط|N{ Csfޫ^_@qG IQAlq> .=71AW=IJHiuhx_HֵSWXGvx8 [B[{5[;mf0$*}~X;D:lRD162Y{KdƚHb.\>rp`/!WZ#lnzjx[*O*YZ\?Χ^;ǜA eDuJ Qcye%)J#R7+<7G&dP*Q vKΥ氜k&Et}z"~N`d=ti7PaBw!FʴK9"qahM鷟!$73j &uewʕ[VfSjT= }B#Pu C*[(H&ߓyw.MޕP$ijE: yeB$<LRlh/81&4a㗽i?MyHǸq:Va4Z-̏[I3.vVSwLövޢcn瞥YD4ZSeé[%ж3VK>#D-:t5ؤ>Mo7M`61zěn /Μ2@N6F~ծDaoE $-E_9cƟb/SHZvM+%Auh_snF?^}KA>` 88S}G9l:)mOEF7@[Y4(qۜz/j1NjZmo*)Ā{i<>)9Yc9"Rv׎*|TV }&4J ILlwi/ 88Qle$!Pf++ Loҥbf0v9}7|2#w|Hj&xb~F**A:xS2-(uO"ڎג|yy2m$q+ &^( hBsAGpʮȀl'4`GGWFjiH&τQF+Oڏ؛ވ&e2O5^Y Ip.~`5ˏg8/?#VdߕMsQX6,ʊGFf0/y72&d*<`-[##gG[ RfLe; wck$)x0o;M܍=2GÁr]eў3 Ƨ}>)m--pGn[FAV&):*Ymz=n?w_t}@g!c÷ ,yp8i:}ⰰtx<5pςJWؚԵCyqz@uV go?,wJb6 H 6:16F`!8, WOyH[b֕ԪyK%lv?.X[ *SіΒt&\֗E nr7Ysu uceI} SHQ;~z(2Q I%d~Eg߃́K9U%DМz=A˫2:k_<%Xn 2 \\g_r O%,7m*>h*=ў>s[TP 7eMl*Q¡|H-j)noMSKO..>9R]VJ7K㸬]D4]ID(,XNMҳK' j٘4w+:B&)VIc6²ILu[AƬ},H_6um˟zV͊B $3Vȳ n?` LOǙD G<{-e |ZWFĥ ,> iտ 5Z\\6~b׷oVl1#rʱТO0b=WV*C\||d: e~Khh6[«C?tB2v/n.a=8Vxe]|=S{' rx{)Z:Vmyj@sYGpeo51ZA>}W_aTEvSXm3 " AncAI /ګ˪XcD^-[,[+(5V@k+g|cPZNTm~l#c~cZ|JY1[HUÁBax+h=b2.ׯvf`,VeVE:sǨw^!ֽ0fd|)ގV@VёM Q07A)ʇDO;iNmctX֕ʫSl5dG|y 0TQNӒdAO"R1P!%,su\9 ۤwc2$Ҿ3&:n+58Iǁi()by_"u tIrv%@/e\RR9 *ŁXH^ zyRu/R(22.4Tob`UQ/NB3V>Z7Al+Bs z(Ԙǻ4_Nc|7ӇY[2zmwtI5d@'B{q9?v'}ldnHsi `Tl`e>S=Fw=Dh@wTy/"f!,ԯH` @Z“OC_W*GED#ӓ8`Wq1vAhm_< ,¨`TP8EXv%'+\XT<޾FT3yg M܋S;'[Ōm6IjSlJx {uk~?XmA5ݫGҘk/ż[PF5aVO'$r,o?K"mb(ݟ0i2#16Ā={{$TD*MKs4s`/f-鶛ieRg!(LPAs}Z~?Q XmF|-l_$"i4 yER:VVB91aMQ#ԫ}+f UD 5tcDS,}M ^{- 3zWN\ـm[ˆJ%jXY LWC3Huf+dшt*1:έ¹|__K5Z+ZTmaFy(Z+󷨳|,_p? 7m3Tt yRdsӎ-ᦙ}N sRa;){ؘ媕 ~'e[9]rR2 zVUџ]c׿nGvY6^g0toZ!qZrc\M,Ya#ԫ }4$*5ZdGzj/X96+k5AYw?lin~hu571čx#x'96!>߆>~''@T} R+SYgVS6Kxj1(`-,̂i'U2[N].r9 !;@bu c\r0G d+u`$bp/lo8CJ BXOɿ#ùp2x2ɵIj@߷*gЁQl HNe1sE#9BCb{馆4܀$9 IJ]Yb)ʀ{Q0G=kw@::<2'8sL(f(T2cz 9}{c E`=RnH}e}yu$OЍoA&pH+¸cY.s!qK#^2Ȧzp a19= %췋WMp/?H $%?zWHd6='TSwT|1eU–ܨ ,K3B۳[yszy6AݝC:my~Iseb9.o]dNwDpMXy卸lL[mNQ^9}>9c|} V~oe~:=ͳA+dILw u;Fwp'du +P)s4 ԝB"]|2oYO*M|UO7UVTl%جp\Gïڬ՗z 0ɱ8%]S5]ɨ`%k@IUȵ[̒TKm1cց7A;v&/ޥF\R-<@V k?-l kg,ކ)Q^d% MXS26-I myۂűoݦCcBZS%!$-JȟU!D_؅V +N{*3Ckw jO]}Sww!(Hә KR/-8yW/^ P~o_gP ?=*u+t ڢ4jD<(Sa >l~Msky$";8~H׿.W319a?I?F'?//0_hWyzZiɁ@47hҽ=a述=1Ydr478lgE/f-V cm: A -0Y||>"`؝fBv _P;Adr? Bʎmi,N$iCWeE_Z~2p~\`J ?%lhGt6@5MB_O-Z>8-| jpLI [\|>%mnFJ;QoLEֿt?y{O'_VZ}j8o_~5o쯛 8$u.ٍc\ .(qEu`/E)OH(d^ODAWJP!_ٱt^㚚*2Ȥ9nD,OJ!vVW"" Gjp>A=ή.]A*[9}}i]\A'Aj1DݻlOv ހ H_.Ol?ߓ& !H@?XeG($ <` \ty@K堀8oAyaz /sۑ~?RRW"Ã:Q-Rl}H~&vޱ♉5 sU#anP%] n5y+ՓNi-=n1^<ۈ^BLs0.KnɻƦ >ڧB7yEPg莓D;]Ew*%ڱr_)4kTltE*I!JVmfbdI=˩Vwsٸh!6L{J m298P4뗹-76Gvܡ`͟U{T~G{-hQ9">zUE֊D-'m (K 3¸(g|'"M̴A7`ҙD/зYv񥰴^ڞ2/c/qb;(&E~B5=tD;b+0 P K[qpV >'k]ϩ55H-W/yξ/Y1Y!Uܒ2jZ͟ig)d=d叉S|v db5w#u]][ha7;}'_"qǭmڿErt5ӄjapWRNvI,WyQ8 Ĥ4} ;4eH:1?a\1淪h+|Tj%q$/qH{饧uy}Gm pg/J3^of?\*@_#'V1{Tu r>uB6L%"[D0,]O=OCfG.Esm4- ՘:d!P*+MܝBl3[itUS^)%`$1G)PSR8-_LS}$KjQJKg5˝j"~{3#Dj< ;+:K$EBqNt&gnH!6XVB0,H-cGd3<G{jP+ 5:؜ VXIA!4Q/k>JKR bf@#Vu{i1 B&_@lXh(j+qE58=kBd'KL!m-ԮL,Z5lHHvQ78ʓHhV 8L6M9Ꞙ>' ?ѵrٹWrK2`wVbPb5"WQI,-EgRC:m fchRJcm1m9$5YjS (;`yqq<$z!pR)f89m9{2MGDfdj\*Ճ YJT|DL7SN.K=IKxga 'prqai)wX3" 6h S/Ķs6\o&5HU.Y.ԦOKI'hkYgcfrX+S5+'(aV=;vc|Eqs [6_A ;&03)9 6G<2gd莝D $:orlTq{0fD*wW-@2t/[OǃN2R"_\egDS%&y]S( 7̣פaFCdXz䂺[pyGtj`*W4-SәAM#ad\0EeQ/Ѱi8$"ձRD0KF|Bͮa BJS+&gF]ui16JVxLc3r?$YqtTs)G|ޞ|=%f[~bKb$ HE:EnAZ+UYRﰀDXÏ䱥F2|4GV,9% U[0Ш֛L<v0_Z)dA1>gQ.5菈 FK'9"Qq@+8=օ@Lő$wgϪ2ڞqlv Uy/߅?34o=0&Zu6K 귪#`DO,~\Rx{ ER.dW գ;DCN1'kSCpg(͇lb 5}3r@ΰ |redWEeb^po%5lDLyxnRs)=' $ʉ ]7AީqL:Ȋ#$]T;V@82;.ʋBlO@3e.ÍD/K'N2 |DV/J.^4|Ҫl%%tTYtDZvaC$l}ozm@j!nZC i}7[5PNcqOUޑ(+FxfnvwTpeM\Ui:qi#)H%NWVOV뢃DW`9W,Dܭ۟˾881/n#a F|`ʂ-Qxg.,ɳQgXG>~RO81@d]Qx1Klz@ͭ(nڍ\/  UQx!JW}cNc6~y%;ΖȫSp5%cHL rʜ8x%f6iL5*EKub VΔ^ГFbdQj@Gbfl=&N^L#\:AEZyT4OPmz ]*W5'4S M2K"JI Ň^R67!8t7\pr?ذůF|~3W r{ta&rԼ.eJ-:Few)(C=\<Ĭ3ٮo/ ﵊T`hD{ q*a>?=AV /VyA#a}sTzLk[`V*5dLZEKMڠ'"&Pb.Hm?n X[ {d1k ߡ( y)<,H#lOӴ?/ai{a=ejd9 *C(# LmǍw"ND-Mf1@dzm$9f"sԨ|cQ7UUH :IogE!+rrt&j Ɔ7cseⳬOm!thNw%Ҟ^Xڝ6S ch7 Xmojxk'AgqS6frːJyj_W K<1Gŕޫ^p\dLDύ:?NcfVOtW] ^tir')7iBRPd qmu AgVH!jڗX3^t,D%EBۙ~c8$ N)Y)<W.8q/swQV!n5iasLIM{)j:Ԉ Y YSn0[0qQ2yK[NYs,!҂&9^n%pNVO5X>էkO[a28EMxC/< PT:p'C'2{/#\(׼C(Relg\q3 ଴] ~xGk_$Hg7tHt #beG̗-fU+;õq3)tK`=yl(ʗn&IohBM08 #g2 /r9sk{/j7{p`'6:{4G=Ҍu^R6PLX3yRp9ߨS|cr"9`MҀdl ?MXIc%KgZ[JnTLCW,gӁjqZ @,$.Yɪ@!ȿR%g:1OG/g.s橭ibLZm 'xXT\2q^$RetL9p8{ڰx!ȖHWla&^AZHP3Ev0FxËVNgf\Hvo.U¼0#@}"d(LS8gd|߸?Oj X(ǷB9IeXP_AeM=د(r Ο`/"qȼlpO ")Q+j_n?R{kjwF0P7#u[& T~gn}% ޓlK4 ƾз[%,#YP Q1fTm  Bd <\dnG=3:~ʑmd?}넔F*µƙgjG~/E n ,Pn<#y"JD\ ܖvˇtd^8UδvG'kYJ_>-ҷS_n{ԤP'ԸJ%[HAU֊sֹ }2K \2 |(ɇM>߄O^k(X&c{j>XWѱFegzAha`n1pթ[Jnrz07#@wA? < _$|Fxwy648 4MzJ88,jBT3|W4ov`O ~vcR*@rH>wҼg`u,ƯVOgY'U/,훍}%p#n/a7{nhV.KsIeug/6(VBP_+A@Yh7ok堦%Z|5GrYQVWH{3w"8Uc)#-uO1E lR &ng;}=!Juu@|83|YN`U PүϢ: KAnŢF/q#{uֶ'l7Q@na$j!OWgmʤI!gдJWrZ%Hm9Dx<}fQVv>G_y0 IsĂ:xJP 896Imp-@IwDj߅:U! @Hh5 *~>eҽ.ddr#/瀅a%d$ Ԩv5Bi(j5RMde޽VmA.NU0pwm Ô6#ՁٽCXF磪dS$?JS 0 3| PMkH*@%ulƉ͒jnyA ( _mӣ5KAtJAPр{Ufr*W$Ȳbhce{o̗"Mg4W&Lwӣ*wjqM CVhN2+YkI,櫕 PƩ@#w992xkN2f8fn h axZ̶f+{׻@ Ng.ɗPC;>ke C*ѭ.'d&}ךGyd)\t`n$sr@5DGZ~TYBήU:~|ƀ}>@bW 1܊2,ZZqt4uyKƶX~<,?&`{¾{u2tA#@,~[zySis# m;`_ƈxMnk4z<\}*tKWf"/9CK>Q;f"y|m nmi 9DRutGP{Kho ځBo?U"C Ly:쪤%UF/F $4SRD64PĈiR$ Q_hꮹ`fpD6<8Z=cj\iL1)ڲ0X "LW-'>m& dmʁcfM)`8 nOm N):*Q6N1ᮓ̥e N$"|J$ FIIَ̍BxbeyX+/ Kf\r'=`K#WOO#@աfZ2VWv|lPV{1n\w Ieah{c-0>ڟ*=s-Yx6rE e@P29Ϙ+\8[ ,>һLqAs_B,|w}q>7*. Piڅ@3sW6ܕƭk_X西UMR',{n;C= G҂YFD:fE?+Ctm!#DZ+pvQuNd0!LhD{|{s4B|B/bЩeMy)fc{躽߄4efɌQJNtgD.;xMٮ$-Β]pEh'- (^ļDD껣FU+>?hi;ƴn5FG/0dKKzQΜУC$)WShcoE%-n$(=ȕL`;\]*ȐNpYb|WR%]刌pRmf5 |P]:NU|G)%5% TפM94Rs1 ik+.YsCg *]8bz˟ޙIik]ΫxVcsmZo=%d.vY]"_n d<(~O6zAn,tf3'gC_Wu$wj\=u r|Z-`.rPZiD8Cs1  E',n-[C3,V>yhL;}^,mohMXJo|4Z0WJ3Bmddq;[ͤZALY-l! Wm&\%I鹐Bkol<^UnRzdTPm@ЂĀzƫUE ;G6SH]t#yF|+ao#D { ;0ŲN5 4:B˘&IL!8~*'ZJb xu.`fߊ1o7dE(id4bKwN;@jb/=kl!DD~#rNB34iUMxƃ2"nfJr(8V(z~m*O,WivS o^я[ఐ}cW c7GmxnsŹh909|v>scV4m#`% #߅ (ݍ A11p^+V7s&tӚUǗ[{WZb8k|+ hX7[`[lюӟc$H6mh{yLzќ S=d<]+:twq}lr9z#M21-[l͜^=3:vdPVUVO_ *(s{Vђa5c4BBOW ͨw@k>'NeFq9{b;e5~ jJe UD2LmJ=H']:,*k6NA4g|\VI͂:K~Ks֥#^w9kmhwM/~qE?7&Q}{ xxsM7ӕ 2k Ig'sy>ЌQDU_y-mFa3?Q~hA|UCZb<3[cw=(aYܜ.z^c-tO_~HW[rpph ԋU Xsͭ!&$+ѯV꾘E} Μ[}R";&r}D|pFG*xuD0ѻO}L!i ਕ-Sc.jۅ&+Mc?FTu}X['-g-^ꂝ|˘d>=AR79{@w9Go6%kʟ Yݰz++0}l%bKIe@:긎q1I‰MWŋrk4L Wn֋bI1k© xPA_f֣wU#{d2RGuFVa*m߃7 .ުFmeVw4lkhGiwb+VSU@ͰƵҙ6K{zuqGR=ӫgLzfcXyUU:}/I#Uص"!5=3ӭMBPd +rgc9o! 3{|oy4i$у: 53 h^5z?y!{?(HlRvTRC`9*-;آ0ip3r= ]^^xħ\mRڧTayg*w7Ms֕a 뵴 E%ӌTn1m#6ÖBl;yrfs,j͐9ҩ3bHڋ}Nʨ"| 1yPZ1F $8%r8JP {ațC BXĊڻߟ^ r_*9b8pf' 1[4 ح>R k(t准 udDݮJ/rDf/4b9KTVH$=}t˨]׮c>^˙zGg`k+~أUex8tzE7I_aRDkfè#‡nsI B|Fz&,RKm&)6U*a輡n(P{Z8I+VP|(NQ;G aGL@DpDLQ6CĹ:b5>/+Ɛ&Gtcrv]tf qY*eXx6CG sgj+MuI~m'3 ך# |<;{޲հ%PbaYP!+g9Do*!<MPpA+{P7N@bw~HX)A9&X:4!>E;ïWDŽjIOn?PJ}]0:TlQBQ _P`<:LZ v ҏS?r37.q"S.Jzj5 oD+rmy xyoPbO@N ]8G}H2T[?W@jDy A啄i+2mbB |lr$:uSX!$v7@O2 _P$kWR|)lEj8K| HnY?V8rU?HV4|ݰ!^d;]A6@l4 C/0_Q"''\ @i2.6H tI+(J{gPxv:4Čf4'`}v8o9y fF#ȸN,OAP\ c}OL$(q^K=-tuV`&*rɍaH>;XOh $۲;(B(gF[{f(;~ƺJs x)*ޛT~( CSs@}IFy]zA4;BB;OØ}+2SdnODƘj'FZKy8 += p۾Yed48a"r@65֊~Ƃ]|2f$db~{ Ɂ Gp GC ːZ8e#{<$뢔R2Yh-vbZS[L"hwTg4cә3^M*fcjd<䫉 Gs lCS{uWI٫zƧZ`ʯ^YZ43Gn'{"h<8|g^vJN!@m\ҡ}:%bؔ#햜\VNYhe.wJ=u &Z{(&n_$TW҄S+-=8h%dtpsS²ኼ&Z0fԀTs+L)$lA6:^H#^70 %ݴgWyTEbA==|_Y 釺]иoyr&r勂LC~Ng|.B]-*; Y~ہJ?+2e4NqpͻguJ42/ݙl \ O,H,=GP8*O?p5|56rY`q' E!wRk_I$krԕ%Q7;Xkr&uCNs$CUuv}ˊΥަk0F?\?ˋ ɓ )O_ˬ>}-hxcTMK^։:?^ޖa_ ZIЇc6KqGq#'omV3z|㸞ӭimݰYYHd7$iYVՌӫ6;^VzL?W=>gPxZܢ]$BP;3^4 C( 7B' :AF]? e3\Tq>o81cz&yA.LLj"f<g~-M"-ID&k wR?JgkF ́]on063p,;O=AcρPZ:;Z3B9aFL8@ { /F o{e=; CA 4 t7TRwGƒl8 }`[,4wUTb(oq5])FrfFC$J#)4.mϊ{ vqÄ0(>krDE`U!@/A@mL R QN/y,R݈{QoMM]3B\Ebn#KQ;`0A;Z++,7$Qkbcjm6wiVa,.99фIg5j'Q:B,ZM.1JG kU x+H߷fe'k0PRV!I[$Ņ|^/`͏4h4:gM \o.w''t=P7N\ ]yۿѫ<Π|dJ 1ր߭M6C~Ҙ2F}mBwEbc`e^wcFe7^OLzS8Fy~D~\ K&gKڶkĀ I x(Ai Rtq GI_>NgYRSVŤ VOR&mu˛v&LbkK$x_dR⺟RGn]C]R8*C g(% ~9xQ]Q/drDzxXu,q%ENHv%J6֫) Ń? ]d )/'ɴ?%ncULeX~uO oDD%|*#i-G7[9=Hp4~< H&Tbn?!I+vÚxpTQNQ4K&(,Eܮ}yF>piJ3ł!bn.K̠QYQRKU ܊saP[ؼLa rA+@@6ulFVy⸅sAUnk+ GX/z`} K#m}̬( @{@~- #|K|ߎ0WGךȁq / /WXs|)h}TǞK~67|+I0LZ@䎠;A0{j Mp`g{D}q%[SD6;" "2>5n?Z/: sl @Wr1eRN6^:_@\sDê Q5xT'tYh<̴}#;:ٔtQ:+7QymSOMWΜTFDNs8d 2Çxr @>:LU'wOf,|J۱_ዓDgc=f`f29hђWFQ=%!e˔K|HM!eAish[h&g?] w^8vcfa$;"S&Gݱ Mm% #ӝt;MgYZ U!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 7]Άxʆ5.f-9 rq9[FT~A MBsp[7oSyIV~{E6~ ~sojjsC" ۻcOsX̸c}OHo2<[^>)Ń>8u _ ^BM]O5cXZx:y9U˂-ثŕ48\:yi=BH^{ڬ1&F~WPSNr+{Ӛ[0v9 2pYtq]u2 4D%nOgZݷ -u̒rC̢sۓ^.M|:[ߟ ہZӪlW,39sإXU,&%b<|p&*cNG~;Ʒu;50)#LzXIBۊ-7 ptZMAP5m$Z8/d-0VwGҩu>} [h;~Ðv}[D+vy+h~i2Q 2Bɞ%ܻL{>kUiIIMw8^T Ngd=qU+9$/jA谊ahRe,gZȑo%Q;a"ã%>ڎV+k:E&M5y(䯕ŢOx}-wmc\Н0??)T݁iᏌjW8ds)yi+.icL @RdoI\AOhpRZ<@WmUQܹgrI_?nNwI T}刚 1f=/iL@Eu$8 %=-#la:@\BJ҈"szز:!ЌŴ4҃ 8\LlLbkpodywxg c.5e/]>{8įŃ2NQŘYhJG"{MMB|Ij,uÐK^CS~7iN{TglY)7R }Ŝ3ּ (b^G[[w> {;f"%}94n3 r/o|/ 9%÷\?pV;Ek<+?D$JϝֹwKg"fLGH1LЮ)eVT0zSm5?E~/>5_skb*$1pHm}F=W,yE_е3aa‹JxVCP94z]R.QZzETpij;_pARЎ8[gYZBiiῐ&1+op?d'=BafbX"TрarW00!} ݻ®ڿwΏ"Rn?@_x_;"Q䱹ob o%}"1y(/qxI>5 ֡cGEbxs\ s83D_2*Po&ǺylSzqBzl0F#@RWS4 G>.`Κ3]mʓ#`6L):MG'Է6NSx4ɭx!g0I*wڃ8IԖjȱ#r(Ih6{2*4&@=N٦ {;(â`ٌPpss12[ 73 \@ .:k0;GY|-~URYwo!!G.olx[F",C0 eWO_be r;N$cyp :?-UBn% ٠Y5ZKSR"ĩl"7mŞCȿScx֝KX37`<ηaTzAs zEPN l vhuq | P/\Yە]皊`P&@#_Pd\6LnIS CjaF:`p>'O~|+%ɂ߁dU`bS\lQӄr쇟e6-@wJ-G!d }$Y^O*M'+[1}Ak:j IE7V9;ʤ [|MroFF{+eA7 IW!H-G 3:xvߐ$z8pbXa'c'~pTĭsFv¯[K+[ik}ȃpvUT (7]zH[s#Q+^@>~[\;/uh#9Bl?@xRr0+O m=* TY*Wum'C3w2-caE#j752OGLjv'GЍ_"lpM 9L A kFM6_㘼Q ]ʞpMuYwrOWo (3 pF6h֘wt_0+F))ǢDE,G۱/L AMGedGREF$rǫ E#dM~k2W;ˆr/5$4}"lE1ekü5ȿ23}!xϿ,7m 6aW١41~f-XS|֝2u2"KqX`¢m:(LDiQ۽㮯lą%g>-\d7m=gnƁdKÿy ^E[klMbS ܐQ;% /k;G*/gNkXpNB|VI+HptGiï_㌑12Af+WQ )i_MӑjfwL,pa6L,k $-,c+ (r=> Iɣ9,i(ew|fTi:BѠBTWbmT$-jAݲ^u-(Êfzx 3%{?NI` < Y^i?nlQA& Du{AcKՉXt>,maÏ"i& TIlBx˂:7#ǧ5.WPҥ!dJGk]u_ bXc̽8ƸWS50uڷ] .. JS =f{TT^/|l=]fSB?z hexxQ&oaI %*nŊIH[~Q6r "UOcmaiOV@W(} фʌ$OSrR +F?7Viq^w,)L$F vLcCK l1)Ya2ď6YÖI\WAb ! <{!7 }V'2~{pIؗ3A""ipZnĨUP.q(CbqB 1xb-ACC D8PgdJߞH"+rNo=|@SQMC4d1 NRȻH+3c,lf&ԷitIb{1[_nF)[u*N>rfLb~M麤0 .hVQx}@2MVvP~oO-%tv[sKg{c`I|7Qc`Ii[?FHFdȹMS[عyhÐL?OckZ-7Ex nŴMfGMM )3sևhi ވBSQ5{Ҡ?|]Ʋ!|= `RusNi2 ;2Ư#Ҷ|;C+:K ЦF҈ 鶞#a- 1^ 8ЦSeVQwVW;jQf8 @^X?: E?ba`q>R~JlLeOc<ע81;Z8z 6K !!XO?"i\VvT6K0d=RfKsǛJl8+حE]m8:*'w@b#Qj ')kD[lkmܳFu}E#Mެ-OKy}K0gQ_az{SFjP厫>Ϛ XYgYZ nn+# DZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?w3(R +Y氆PP(+pߋBi.S=tN>Bٹ!DmOzwAfUT_9Ԃ -_OXuɤOI1o̝+z Kr@ K:L^/O&llHk#}16ص*w(& `8Gp=-yȜ)q#fW+mCbtUEFFfxP2PCS! k:M0>/7'rL*5HenFҸVE"(|U\KvS*\ !; 8wݷ_R1%58z^;h *yWd<s~ԇ|m1e۔8ўڞJŌ3G7_=LC԰W`#uJ{z~!I`2ʂ^}|j.x beI4x4J$b?@̰*H9 2z&KO㎞MG@dC>CO{~h` ; 75 S9ʥVAQ`'ڕWb'(ɔ2\|~pOA`eA4 .ȍ]IH5- &LmD*O\G'bv,vMK()y 癜 [GkXĦVz|Qއ9S s2[]g>Y,f8BFhi=U6QvyrfFPI=tA1bc^Z rPl(ж!PN |; ES<*tb. <=Wp‡*F pyP}56*JE1R㳡\ RQ=v  Y˧[-6Ya!n8ٓ ר$IM37FdZRr.+=',\7ybYoM~l X n^˻F4IϻD_Q9U_5uy.:mh|6*[ԙB.|v-<6q+vu>--Dq9joMCa<0SqU )+ HA \tʗlPtlUΟKÚ%hL]X"F{j0Cɢ&אZ&4<R8g;x`/T(\r6Qa024+ U >\RŘ|{50ܻݹ ,7*yS]wQ.zQ}IF$؀1 ̮*Mf=~R"@X mLV>wSmcƸC$yd X:G*is-!UտIJL[2~<8|!_|6/>"5`IWv+H`ֵp hE{20ࡥ[rP>]CeT ɀo50ւ LG^[#&T?q=f*kv_Qd۳N/bdo<0,rl6yNPYZ8~U--wR\MgꄙP;ADsۏ}Td]e_ >7jֻlW<CViA 'x'eZ)} 9@5ZZ_I3 :eMMu=-7Jۗȡt5yt,s< )]?R5_T=2ke^Hyu*w&#XE{j <$ـ#6!dJ;ڊYfa*;/Ig,{eOD덦s^kQJlw`3H f Mȷletv] Q |C,,HXgd[VXry!ӬH+r1;CI֟aWF(`)pt,a[;ҬBAAxB^,fucJn6Gq~aLm{C:׮Ak%;GBߍ6wZ̈́Z&ߟ"|whYR1# X*.tGg =% .$Qm%@{ZHÝ` —/ ;hX4H .4aveRW~K=QjL-Lt؃0XQFhzu f.]`t4R~NPF‡IWWFċȦϠg](g,  l 2 vK&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ׁc6q8kžo4v\$  aYdD 6?yDn$CDߵ8-Nu88KFٟWYV˳l,VwMJm㩚j:fzjҭ:?CBD䏔JYpc;sw ֚/p1,BƢE%\7tk3/r#wɔ= T'zJsXͦzA gYZ^#9# dZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ_۞dqIRSL'G)cg=I4Eq:䔍UUa ұm^`Q7em7F;i}[e͛JvuT)B]"~0Ma[-9~ 1f`.ym2[H[!@!NQ{=طGDfjMst= bQș 3JW @ָµCxީ&N3u/>GbPig&#y)\nu⬷I/Z͢Ps&oLIm'h}گz<5וCMvVj)3^렣I*Ӣ$cL<ꟸaƼ)9RVRXL35 ~^aTmηN!uhʛfпbk{vO(.gK9 .3zVv$am-, j' 2%u*lB^FD0ɆuUZ*>kof.roSمf4,}/D㪤5žamN lw۴`2peU9ˌCYy.,zgud$)fopCG,NTC)_P5Kr1yQށ)=wW-gi@?Z%*FH;F)n$D9SLUS'R-{з #zQ\fs ]Z@cM,]牃T14>ˑ,,ۑN7MAbg|:sd$Oju t|jHl!l,J҃ N6ͪ, ,%F%股9A4 eiz]fH۱ݧ^#>v\[ǃ?f^tW4nTp`H`u$9n! K幞ZYA-5zq|3X_KdOrUou aefN@7?~}LjӔ/Ć,hy(a=P8HUg|qN郛udEcZ2hݡh}V%nE/Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' TZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+$]·Iq n[:|&[z0gbbMnL~ l6|FAW0P/kɠ6$F$Q٦غG,Ŀi{=*<";YIMLT)zXtJ8=/A3r͏%l?ð9#.ߡ<(! ,#K$;-XP@|k90ye,uU $xO5n*+>ƂU62 pA6vwAڔd+Mxvw#:{;Q4%'U˄%ʝx5eq-"/<[: gRXGmZ1;襂qb8 Vk*FuxSńOغ+KݽKor _=1 6V`: M+cnU!1Vb?XH5h9s+nM ,RzvjCLz֝TO\3G7c8J7̵ gFJ=@ JԾ\3MMAPwcObZGݠa>q RݭcW0a''oEM鹒dhj"zԛx9[p?[TVAD"'U @)ú5=ulnM=h;j;lYEN ǎZcXMuTpؕs-}O3|N9w `Qtl% Z6&x,|rͿ~R0knLbKJ]iWEWndAHK" юȩhZ?82䓎op_j^,:!Y)C^177@hX.p2_rP PyҁvcvI9spbaoݧtK4Vihe[fVWG|5O"3@+,ctǷK+l| Q ;j,6A`{=‘00 Ȭ96\ έzsnl8۽w֘9 b;_!iX'f|C5q Z!d^{iaLEmwjc#eA>qaOM۝*0\bXcP%nļKf[!tiJBHRI=UXQ4%6\zݓUI ? &#,Ԃoގ%ɦN[1ĘX\Fc3[+dr%:vj>}Q=ksk;5A" Lz ! ոS"4i7hy? F5 $k  ˸ˀ.-=ҩWET{#L Z%brh⷟G&;QkR;wu+ACh𢖮,|ƃiAd;I(;|ɑR[w @@yGFְp "f}gA0Ā̃9.AW1(J1V`]K P1sfԾ-I%mqVE;yUz<-Q37#*4f'SW1Eɢ i.Q/t*)ˑ~~0@mͨf/ł y͑;S{jUn8KR {y{6 *\N_?+"s-Vå _[""QUq#Hϰڳ;M w!8*t r'JyDU;T^wM>kV 1*}O=`ttĞ=W 8iXt 4Ůge0Q}T_N] ذN+aG~?$=lIZxgp.8 YFHM+6vKW׀r1v(v_/4E*g}bYѓaF~NzƝA)V^ߛ1?#@ @_ƎlVCcWpaQY_MrJ^xr`Qc蹥5Y/ Mx ɧ-D>l3G ng(p$rKfll7^rf\*f|cU°5~G)Wk^Cuz`& вiǑTNXog6$b5v) =$%8+DA 9uz,ږ{3Q$8W;@C=^-^࣍u]0Ͱ[UŠ `?vuKRAJ+v0"TRnHvGbA>+G(EnTzs}3 2eׅAeÍ{]Cnk§j\Xo' b+Se}h?)Y)*J%bNק:a{"/o :[ҀM*a3jI/ WMiiTY+h+[`to<`|qU"d IqZy!S!MȚzDAPp]Gp? 6&ikRH~~ xs}h`ʤ]ɎݿپBV: 4gf>&~G[6NU6E{Ėя{x-Eei$wD[Xi3GaЎd0E,~줆y* vX RV#뢦XE~=8wWp,7U zqLbyvjN-( }ьiZ7酁L>.<̱gYZ'3# lZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  /]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($TBap>< pA ykK&+xվ}Q7HM5&񻟺gg}$2ʹUt:%4,$ I]&w+jx7a;1ѕG|Ӷ\N37cIγlg(6͋"(kQ)l||hA퉄]x!_bk,ƞ&čQId,bŧbe*A$v݇TOj=/3 ٺ`-  Z-U Od民'Jtjh0V,̝^rVoNMEF8E͌(DJq?QS-e >ƺR;n,6fpp̭MZ9sى1M,.ťD@mNA5\FO{VåN^A/-YUu: (]Gԟd+ɇ^ueN7X"w^檨JB 5g d N|R\CҔb)[-ʻ<%3Go MK>%XWJ;~%(q`zmC1c0^V9M9uδN: ݳboĪP,Xb>Bl< ;5ߠYP"5-2C00V<-`iAn콪3n06QF #۳1'7J|ܔ@/OK%]4ޟF_h*mT92tR厣 ^<׮3 }NfG``9,|&\1y~:8 aΐiٮw#)egpmƠ;18PI@p}dwCdDW/IKqm0 u3܂DH:Z8nxFDc?Q.3ЌPa2"|ڠx<'b\qr =*ujxgI?hRjzLP[b%?l_q5Qe&-=4o:  >hP廚$~&~-2;ٝ?v>h5߀*|q<-tF>ja*οPYK/XLqgINrdYE0Ew":\~ sWo&'tPc1 :~n]<Et cX%MȄFMR  ED@*01%ZQrkwɵrFP\$Lf\eT)1KQVH-T8n2=Cqq /gy~aY0}8g0%L-a⓻/C.RuX> $*~v2Pc2rhzsyEqY jhP ]g3pTuSDpK.mMPC21Ƙۡkqn&`berpWC~h1N)7ul8v)ˀxwm> [& %CrUV_hޅFSt p)I?Qh6n5ꗪX42ɣy/ F#xpx5Ch`,[e7-_|t%1̑;uhDKYTho]T1T 5WG7+X"MI ˷-xv%*rlDNi@:u۝f_ig%ϳ2Wc#ۿ -yR̴ )Mt9P(ף0VN #Bɺ)e}@{3GRU+WS z]-0?B5~0IȚt-\ekuGC1+B#@ f=?#8V_3[|7Mj.K {ĦZ lc/B*'jV_ M Xw%L7_vΕ獵%z9ԟ_ nH%Z@91uxJo"8,~gQ<)30m9 >3\e}:x3!@IXb%<;.VrԴe˅L5F;F._6x~?"J24Đ U࢚W/TIg"|mlx(~}Ƞ5SD;Gfrzmn3 &wű."=`tr'T۪nԛ 'h]S_2rLjHNؽ8DIÏf?~~V,!wphDCGdIGMFZu(Q-pf18{ $SpZ!,p=cڜ5>o>ڊ>u_K-YewCIi \24SFҁw)Ydg[nSq 7ĘJO@;ynxPH .dkL1Qh7!b!h0 ǢOJ ጐ6;МJ􎵦;}0%oSob BޅCVY7=VXYKy.nj-9C<*P1xP(~5P-wGnIqNHu yus4cZD!O׺*;RzE&oxu )uu6"~Ifi|CsN f P?'{XxbNy¯| 1(i[Ϙ0&$覸 Ez`(W(6Wd6kCvtZ:n?a(S z(ufh"6 !wu|;焧F2Ҁ%tvO+5] Թhϖ6pf*51)2"@ yp`"U><ŕEy\A3j" RϞܞ\j'~ FΧ/! I8!1"X{-'Q`bnz #L;zG3iP (=i`q^v_3T)R(rk6c,0˳ w(gYZBy%6!֓(y©f܀n; ߅ S,"Mp'G5A8Zi3.J 2Kr}!ӆEݭo} g7*Afq?qɮN-k(A&6daﯟ6x˙*A1EBԨ9){)թWz%h:\8aDxw43}rky~dJH?r@=~pe/āV.7M=V};47 *Em'3' Ug46&u- "c;KT%x{a熻lM7@]YD lfә?9/09&CAd̠X_3 NPEgKe5C-rĸezpۛ6t{u(Wѡ^}c-nN}V@ & qڄ{|$򸠸R{QM(7R( M'IMœJb)bE) xX sEJEʇ<kBɿ*Q' tT,mZ] nހ *OR!ŧ L n$. C.+,J-qFUy.GeSѬn(J{Ͳ+8G'z>3:jδu6nsE20c1? ܞW;m#PZhiuV`o-%|]@<38UsC|[>˧6xG)l ~ΆĺS!Anۭqc+^w>C{R{TlAG\1=H?L1zE$g8wׂbJw5Z4JVLpSɈO  j) ۞AH$M E5 woL\>#7bunۜrqW |ٓHH0t ǜ~l39m(HO3#vd=&~izp59KCv4N!17>/h4hOfhHboA#62lO0Zߺ(W֍.ܥ%[?9]*(;Iu2X |Ln|/FۇtSq uߨ[DAڷIp̻T^/͢Awzy>vaY^kR<Hk2B Ctnv^4M]Ě',hoG4Htd&A8_="7?O)?v/q,*UUõX "I~2 Jh27 *odUqZG!mG7"<_::/M ~ !xc$"ݎkKwJtJ-FE9 g)''0&Xm$]5Z4Y#Og)=/6H3$ygܻ&pT\Η2$mq7&Q@@;-\)dxI%UkPzZf9X.C탛\#Lo]q"Ųx~JW+05l,N1d[Ш GuYpWY~Fj9곿knBsP67 03&m ۚ]d0|_Tq(k)2_Iש +Uk7>rwj؀=kW.d<$.2 Lxv>a_p?g0/o0,ABwvR/NŐTa5fSNW:Qs?M?vǧ0Q]єy+uʄnwfb^ 1!za15yMjr8-;qG`,U j,+R;̔6-vqMI{IAdx?<.86ʅɴ rI#NG)=Qd A:o)NRvdkos?qM u#">%va^~S >͖n94HǓHpv4lngD@u*y'K+>wrDufmtȇMq9:^cWN(3mhd .m`%+eeܔJZcF7QC,߭0Y5bH.r+Ù*[Gr=kb$l+RV pڧN؀NB4.T&-nGg^=$Z52$2ݼ+K !y53 .v/oasM);;Jh4ĽZ {Fu4ߘ 'tNI Y1qU |ugW(TaoB&6ɺ9=, #,®EoSH`%2N`E:Ԍ%Z.;a4YFӝգ;wQ-hL٦_@!oq< N4d4=aXbVx_ƒ^,\l#jHe` /G5Z?%JZwx&guF pYu`B5!gvh*Mˏ7br N%)䫛]S[X|@=E^M߾ʫuOB,k[pu}4QS YyѽʕK|䜐9OY8䴱H#,|Y{NKг2鷼vwRz 0#`NohyCs"㸴(p,߷7 6P|rS#:~cͧ# W],/#,>Tl ^HY;ҊUMҙ$M,=.t\h*3F'~;%ٹsz-jif3aBS|V[(FlY&L'YsV$SmQn} z8q<P2Gu1CKKe]ds'" j?!qC?mdڸxxWLL"A#-& njfG(g$92 G ^.ito׽:{)rqqag3F1 T\[Fo\XZ#'PegYZ  J  G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108S0/' TZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nb]·Iq n[:|&[z״/RztxŎ-G؈YRռ6rD2۽Bmt͡+Fk,ĠjyZ:!L)Z?UۙҴ_(4')~HyR . eV@]g{8MD꾝{??jc0xG?4U$,KJ6)PKQ؁ >!V D_2"]9xY+OI68ԡݔK ugv^hwг {`\Z{Srs%L^{aAQAl2OAYE%eNJ܍J:&A*Ϛx\NC &20Aێ9 ko/6Up'ڠ{{u-H͋i5"dQC;wq6?w?"͠Bx"N },np*X]l~. |ݼ҄-$ͱzUbUK`6Z(jXW;|_uZItdE:Dʏ^Wsve쐏F׋*ߠ~HñtAo"ƒТ1?W"{iTQ(l_Kn60#Y:klU+̈́o W7q4fX,DtYO2l|7cRk +N[7q[(߃13 ^_6Dea^^MQxPh[cof'~d ~?ε6h i6Aİ'Ʈ SE뵢ř-/-T~y 9ڴzQ?1DZ+JCFCP4kN;_%:Or`YW5hKX.XzM QYQY~Qtn2YMw7KexKwxfF0 iy_c|v\TZ]`2meS'=RnDq'/閛= $ "2ͧJDֿc]܂:D\-CRc܋ԬQO^naD]בhoǕ8$Vb]Mӯ g!|sT/ Psjc_3fsHA2+WW囫bNg1_V䱨 \p=8W:sp{3`N< r u=X90ՋIUS kGU{- `A!VOH({j~_ ؾ5*-S䳚{գ ;<:ɷ :4৚LY6a<-| 3 d}X?P3G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98C,/' 4ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GQ]·Iq n[:|&[zI >tI7A(׼m) W:?x?@hv3 7̙%^Z __<#(E=7w6tHMo>ґTd~bfi}Q AR,*[.|CWwA]"׶VM |Px8#"[e<9<f݀Bm2z8BZ \ӥ=<PYu#s[+k&D90|A`ښTu1H/~':4>״+Af0)\,VmR=ìk_tܸd(gYZY+/# dZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*i]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM;B_j`JSуD;">VLJ׃=׶7$l.;vuҩgv'C闭,K.`EC<# /?(#5l[S0(m4}iQ8tV~lD^ahm`ɀx6G9-C KB5^R!dIxUvҦߏE%92t 42M3o14-fޙvzJLs'SМw"/Tѕ_/IOw,ϫoY=F͂3P!MiʜN}REZuzBcTKxy)>aբ[uAbH̕nе 1pۗS͐}ɯt6~Jv*YJ<:b}wJNaQ` чtY i0^ 5B2plQsTsAD0[B!ܗi*]8ҠTPhaLohδ-0̅[,qm>R;_qow6͉)%bW@ifWM5ęm<ԘA,=bc/iD?ȓu驐" Wԗ[|3Hkx47;b}, 6e]oȒ|2DpTeg qA(IoNZ GƢ84f Y (Ҁe*@Kh[qWa?=4H aJG99 _FjGm;9‿>zQ~]4w7_@!j4%fyý&+߆N)&}!HЉhQR2\:CJUp8|IW(ΰIxp~u]kM4D9)*b ߓ3_|TE :,r.P"FK JIl eC2Ak r]b} ,^hhJ;1EOMklX7\EJL%[Үyp7D,A̎%Q -7.v-fZ7/I3y'tQoi$k>]Y`|NܮB=1 dYbb5>ZR,醇 -[2; 6x /U.դ+nERZOĤmM%!r:h`5@Vto[k`cJFhV1B8Xud[2z]Խ8uA4 HB;jڷkh`NXD}[Ern_R`_ xG$SW'pEBR3լf\Ogr#=P7c xAk6vhbC=3*6HT.ol S2#f֑`ƇFp$|(5]M'1̻*Sca9E1ZMɭRe6_%1ҸO,ܡ#+ӱ禀ܶTlևs98aX,Ͳ)-q;G*!> o%TiȬ/:y] "{דOX~RpP"|9hCTO⚪ʎGB/B(SXcd lq9_R3ލeU'WGVdO3MzF\:q-Gn$ibQ ]3RΘ&}AJVP_: u}1Ա#èhste8W,)B{a=>XV'C(][4O)S2"FFCHpV$am$Ak-ΈV\DK&E܈- (@#&;1D=0T|X[}fQ._~@Pl=xc@exI "[*Wk.S`Qeñ:,fv]bܯm>bPՀ p ozŮ]a0ښQdzyC-s5F]zHE5MP]x4Įp1 Bi>žH1ijX@!N8藰. *KaHJ(])7n#pZ 'H c!5`"&D݃ͨw4d-0eN+ hHkØVy?]([^l}? %[wyMY:kH  i,x@ t>^:=j`e s%ȨtʧV3"V(0!C8Oc9- )S~ri9dTɜ6OL68l#ԏqiJj8;zu"B= >B<ηhsJegE':/T^-WoIkLF Kfn"gxvZ GR]| A"f!94ꥦ03S m\9 $PwJr5>K"$%Wxҥ\US6@!k^n {WMXaEoTwR7i)bdzz?xJX$7G%'\vp6*' {kNJ!,BzTaBZm׾[,n1xFϑq5~jer0ʎLqni5c $ İkF¡3D_wFU; hmlidfhvz _,ŒkN+%E)?>R׋+5'>dj!(}@"PN`R`ϋh~7^ q|3太wmz#T7a~zPi*NriTiyKtJ#.uhRcV>˝=G7\ RB7=:4bgAZO[{ *:$=E;#Q{SWCsbN-{\ֲȴ>߂iy G$.%hYYMVT5U@3orFSn"B.WƧdv楝O͐ (PB6l'/VA5֧ǐwnZ#jYv!4LLq!yr8w\Y__@7Rƶƭ텼f*|:42e #<Bx8εUΒP8?+iI]xYZVƆk)Yy"_Fg|R_szUjfgD GrB8 l'06͐ &@Pd5jACH2كaM*+H;6bD(A,ϘR}>|=']lh-%'͹J!q; ,$өKt5GDL5>"`2׏aFQb> xg'Ӓb$s]m@yJ(=`0&u_l]CfvŠԹ| rm ֱS/,jS/'W7 }i>[^So=ڸˮ;1">d.CpZs%*̭ .JA irwuWm C6l!OEV %[ <ˮ*XgEdT6O Ok,|_f/;Zyn莰zpzkL3_ǝ( #jA%t~w;PywBX+߅A}[{ Dz-'͙bdBʅg_hO/UE:=o:ySad­(/b||)eXl!)#<7'QdJ,nYpñ(|H pF;4E]~XյcDr']"(ܺjQ$ ($짋7㧌gJH !X~ԞF}P!26o|\JmbmǗ$4Y,AVqMxsl D5'F=Ӛ6zeTTuLiTVP@\|8dTGܟ#߶;۳EhX$- o8.]Cx0isVꥆ1iP 4c;^L3SDlF(<v&_wvLn`v2AM; >OeLggX-$X 5~߾SP7n{߬!hvlk}@Q+&ҎӃltXb̒,,0&߈F&O3e ]|2=#qlQ\ :s-_Ht2#fy؁.c͚x8Q9CS8ќנf%#1Ԉvjr^/Lz^VLGNs!zBDN۰nn*v27(&lYeC5/0X& }ӷ'!Y:F<7Ă N fkԌI^|˫2Ts7AfK^<ζ;@hB l= 2tZW4B1blȄf Oq=zY>vn4U̍eʞHJa*;mz,o|w4WQ2 *!L{J4I } [ LyW*rb/An}`KmtM%lPF>nɺ}ըuR fT=lYGQ.>c"!Րrte 0DZ eL>i6,?B&} +ߓIPg;Qs\YTR_G6BڊTgÝR]2U&- R :(VA=ܛօ/|hMJ&}$Uᄼ,9.-0 3;FmX 9V(k]FJCɪH'M,= __7V H_"JL4++Gl[M͋I-Dr%Oœ*/Ty4U%ŒXAxd2<~cVxERx{NcsAt :g !4Vx9=n0#7&Nd(~@5mr}vkP}zG+"hBVp_%ԏ="? `uxo)\5X 2ؽ%K)Br3, }h<߻\{YkwZ>*E[n'kϾYj_|̲1/2%:fH.3< D`q2&M"Tw%wL7^|5Kida;nv.'7X99if2\F'yR(_v1nSThkAG}Cߨ]&QOzsW^f'e$n,03l2h|:9]*Һ9ITa>:e/sxR&m%u,.ì\3wK #? '?l9WUkmV|W-C-;oU ͤ}Ch"ME_+lS+"F-cLv 0P~>{"Smz`~'~GGv*r4kQ*˯f3dY"m/`){ mdN'#5DP")3 _"69wap7n'JLDSŤCɿqS$‰C!{kcIYOmz8'>v:W+̌{BIq{)l"HLQw#bUxA *̥N%QJ"/auVho.c7螖*#yZ/b=D馼֓ww•qz9K" >,H5HƎZX3q!.A8Fvs ]-|;IWqKr;vDMX'g@YZ/7$ EQ'rrPHBb0)m7)r]Y:]ޯF]m)d`Q! ݲ3}@4Y9, Oo]nGHF?vރ _fXj .ѐ֜ s4i)ǥKn&,șKWqӂta|v2\KJPB3k2u 8atOk%z-jFXJۈpƮ ަBjt#2s1D)-O`W uY#`,26/*W{ cPw.0ȉC.1q ݑĬ;Om5IWEf+Oc[_F胊o*&T>by}]9ѼJ^c qտ*邲⯉1} %eIq̜O-+w5IIY1 "ađ*!9,ySwFK#Du(0t$jR2P cdxΡҎת(n-=[Fk J%a_ޢ3]6C<Ԩ$O HMu7[ɊKĵ#9UBNJ.e3 ~u:A=8ڿ/ ˽@+Ix%Puz'REEIK='6hDUB /FR:ќthq8nWVKB0}x?T?Gk<o)PQK |㺵­Gb^ۦ1n<+k(ԍa,dSWc}o7whߒ5Pm12mjS<ЎbNZw{L iNq!YE9HjI|b4Oɒzw +9܌iW=yǔ%4,ZQM߾MٞHq/1U/~ Lha T=ϊ"ZN{ $٪̓ïA|LTrB̟9Qh)j96drޖsN-x~@y&{*n%ݪ%e2OHggu>nL=c6'84~?/xlp L\v̞@S`!SO {jmλT79D4\=Z[\ zJ,b Sݟ\Zн95+6,/\{d@H+ƫɭGR[PX mq΋'aJyi]e}~<sm8_Wl 'L⠯ıL OB$bۤajv GsRGGiŪ$Rʄg϶Cҁ%ZE4Kl҉NH9i,+͌s'LPYVzoe !G(M~6+ic!*GĻ~Rx (ʩCW mHˤ'x|)f" ۖn o%b^@Ik^UaǐUĹhme[{z܋p(!Q+c~8P)uGWZEp8J#q("IǝֲSԮ(ҧtw\i}Q|mCR9"AUI1]-::N5gRبLZƩ=(Iab];mPȉ*,c<`)Dh'2aUұ)SNʏ5#jgQpeθANrzQua~o;o.=@ܠ"?d 6%y{EP5?$[ x@kJ#M1ҚH FR뚻qeG%[3p\e>gX?}N2"ۇ[DP "0Q圻7cnsl?j oDY[pșUm2nNs&d*Zjb_,+Mi_"^*m L< 3oZ?wܪ0~MBJk0TC8+s dm,bD̤>T VEѶ1}͖^P;<5`6wSrS_jy]HFtn Io' y,MuOO4qxid@Syt0zθq^L){YG@dbElИ4R%)ΚZ Ʉ[[1v=*!"B[kZAHKjAg07MTHƕAL?%/PQi-L\MlTɜ@94Nɽol34BȗC b&6>^8]e~l|lxᆚ],'O?nX]CvB@a<mF4\<>A (AOW8Q ph;u%I:eϴɝ"$uZ[|NJBl~Z ^CIt۟]D]+1XXvnfѷ_#aǾ:u$܂+[1;Og0UO28Ϫw@oGgUâHiF`HZ;ݬb^Bp&~jRf'5{9/|82B*}y_XNzÜ oh@Dx|^YkXޒ>aE{kJ Z"TKݪC\B%w V=x.xO_7dƜIbk&EØ6h̒~eG&aobJEGVL|fir-h=WnGz zº& orZ$7qnJx_)9:E&o ?t@9ypٍ~WUjCUĘeoHDzp_[^%Aۜ &bF"G(#[I:=;!l<ɰG?uFw{ؔc!;k/FVg=YJO\'˖s_j+|̐I}H DNc cRj8EͿ\Y;4+)~"ؾy]6T{nv2Qf%tAvS4|϶(Q,BIn;$-Pb5 Άij{6yxLJg':6 zSjͫJX1+vQ"2&Q1ARbȌ*] 0d&lR#6ˍ#ú;P2ыY0{{&bɡyիZ9 zU6FhYD\Q>fy7±;"VࣧA[?i#|d~C !ͦiP>!idAzNxwnvQ̘(Ƒbw$\\+2M m$ 2L뤡gI |e_sgN6ٮBqqu¿ٜ^~eph k-`mL)az5Ƕ+cQ(5oٹ9mE,AMe_a% t T7w4~%o%<4q8'*T\ H>^ܾŹ@{fd.?7v+$JOo@mD{"gl/\!y,062PwTB_ rαq-Fo%zL(Y\` )<45__VITY,¹ M Xz.֏F#B%Y}A+A"_[v~c3dt{ƚ[e=I:g>ot&`C9]a/4/xvo On$ \ K[ʟr->qC}:RޠXm1ӎYo>.$/ejgJ8* A./5NΙ-&g {=qhPAnɼ*Z2cyb )¹\dah`srӆ#t򹶔tu_\)Z])9:]-{dp"νޛVUT \L6CQ f!imV[^}Fh8I3xN⇛ȷVc\8_V EFʠ`P-2G7g hѣ{]ZCƊ'A5zusZY]^wsPξ>_rd-Gsx<8NaZ陴"w`Gf3͞)"riGV_jyi-30$CHL0/Adq|} .@JtB[g تA 1r?#ه@?gIR\+Weĩhܺ6, QUrs [  H;4(ݡɿc~t1ƷO 2:&6dWVOUD*W슙h\ ,ET>AlmW^QϚٔҊlx7mH! GWj> MAcMz%\,]$& R O}V_ş|H>R۔q9S' :fM.=N+K-l^nՙ+bk(y>"w\+r[n|gN;ip⟴Wx?n8n y&t kӄ!2ICJmJY2| F pW9jr$FOp-&KB[nЫ{KdWB:["5;_, G),߇. VO7 ?7FYly J_*̹g.o'(=VT2N_zAUM߲NIcS/Ia?D,Aj)ewh47) ~ mQ:<ʥV4]wfX^>!c8ru#zfn LvCme?zfT߉$-kgYZ8!05u0(Iyl%Z>vd_pIrI,Ɛz ,-6!L.)dq4 QP,de؎|Фcqa?O$ԭnE΅xˑggL]ez0SË,.nغ"d'9%wcJ:k5 RD6 6oZbfO;I`X7Zz" jD\{|h(< [/>f97/0GWƹ9=zXFMd+R&OdhrMI:'g.f~^ǡ{oS|B, \` sH;! |x0I'gYK@!]z_,oˋ=(eM,{F,!vw/{p}JXtsuob{ 0%P#.+a.\oN1HzXQ"̾PEfTI4 vyChvFe6~ų 0j_UV{yhD춻,>Uݍu[j^4lf/o)B؝$=,H I&QGcU3?(;HD=|ž*qZZ\1 7V*q! nbVԏ+TJ☸~xRT{~8F" C#8?U#MC':3e& &+]?QezV]UkZSmFq&DGUtSl|GnZ5s'5 ZϰBٯ+7Pnn 7:Ԕ6>}=k Ů1‡2NjA3*tTQcfsӫROUu`T҂mw)\QU6ToʶB*SKC ׮4r"IdvH1\;}1I#u͓%^6AƱWZiwSX^y]C8Qtpy2""bVkg=E:5-{1m6׫^_YHKgߕzEH·^v$_3ʖ(,;&.[w>sU[&#+gvUr`]?^4XG+|b@4{gW?MĆi6`.x&,"MAb^=dշ&PGet~/w>\GsxL2yx EW2™z P >!-j B>gI<43wխ j#F6RU#ӭzo޲lX}D͔2vN/8+cAr;4ERpl !W 9uSB'{>yQB]" 2%߼yBg2+n!hb2aO f4eI55,(d @dv/*~EKU;>zeil8~I~. /O*Rwl\}s-xMQ!.9%+:fHD0ڧ_刏^D Jmoii$V{fA~sZ[jP𑛿ʡ6WXKgG6ú 5u,  K08zgU轚hb©6++FșY~>Fk ltUd)@pqg%hJP3^dT݇MwT$>VmXZ#|o\ &~ \}. 1Wr?-6=ܮ92<V z;{x{M^1!ǘ/W 8GyLJs߁SƢOؤ}qa/aӼ@)[zL:2ç+41[( "vrTLokHmPР$5k믢'~Eh{2#ީ^ 8feL|CVr*;md;OѕЀ:6vYWB)!梟!Quz˼F1b[kYI*G$2mZ= N[Ĉ,fah+LȅxF˭tj #>0[}G~[ R b 4es<+ɼhj$~g&9#ziIn1a:x4U뎋xr|`~2m QPMa ,SBwRf5?MaXNOF\Z9Jް֛WSCSpztr j\^Qʃ9 \!2p"0EMqֆ 5r r0 J&÷A(+jէ := Mu(AH&}, L tI`HX0])^S 9e5RlBC8=urGb Q%CGwaJ)MړRU4"[zY,sVǼA~  1Lܓ$ob{l(n#}@(C͋k^ KJ8(aǏFV9eOJ j̲lEbtdn Ah)'x|9x"7'y>ܼ"^MdiƘo_N#Q$O'4\{/>?zaP S_Ҿ.0X8D- 2M`YMhڼd XLO&m TҨ/udkƒ V<+Sn`W!\'3ֽQ`o%{ay\]Sξ-'F8$~&ۖ£?$R5|W!p}~ XD$wwhNL^Ѽ׺.|}LqqC- jm+k]{{xL\ ?iڠSiNPMfpi;h>oiIlۖɰ8^TRi:tFN.Ƈ>j%MU;_+8'T?!ڗ'Z':E[#CTi1 g~;=-ruA.Y5J-:hvVuk#'3eM rD b= ?KT`\m`+DnmmN !ѡsY1 -Q}ac/} t<|HJAz`2꒖uN4Br5 ʂ*+cpE֑p~6?)_p , 9.:oڴW c >dل0Qܫly{3ਃBSp;n4 [$jkѧdbm2mj#BdW2uD),Y[[+@䵢yaK3qLEv߬-v뤻qJR.{sgzbBWq)(0ooOG ;L:)G IDW>SEIۡZi"7dzw%yc'%xN8T(mbM *mn\NkV[8 z1)YA+"K!C!Ĩhq1jh 26 uqP!2uBsL:i'+m#K8 ]r'y-Xh񮨩~_h48_ 5yVݷE|}u` GcK2z"k{v /^NOxqė}֍y*;뾧S4?ݔӏԹ6{^^tMA#$ow0 L .5OCB u-KhjCV8m܀7%hT(B@%WƖZ3kE/~8x7i6?6"p>GLEvXR]qǥWpsS{S0y5D)2}6h .#7 3&!0ǗLBHgĜFdODgDH֕ܓ׳>l Beq24lTΗG-DLoipկMR_ZT ;;GP),(=uXv_-ͽ2W[H4|K7C,|4'R5LAW~W}@F }AV'.F*U@NyvI#Of|׭8|n"!DNWDAi(å5%>`bJLm~54~igDhZuv8 '+"ԗit_,≦sFI~?]I2}J$ } h [o:.Z*1l})?M)߈"~EE&2;󛺖:7rI[m}!_YbsmzLpS%j?%"j(зrLM׷=Gʭ4v3"7GQ䏢?w:. I=:[m"]lw'Ck%a$K#1:Ǘ{o3UVyxq :^oݠ hF)WUD۾d.req9OE!BdWKɵ -h% @97e g^=s–Oq1IiQ+Zܿ57vN%P3s}o%1T_ҐVH0>hR A]f6? 3O@$^..DLTL}\s$DERL&,Q|**p>6н쑀`N [ Ōebn*0 3٧Ò )<kҙ3j=>q`|(ՄXpB#ob'Wȿc 4r( x~_k1! $<,,Ze+'datј g>^2fVKxH5*g6(VAMٗ7̺]YA>Am]Qnf?aH3|[QzLBs:OS#kYrҧe=yi扠z@i`5{Bem-_Q"rR?|EtVJi0CX,N~6qLAeW/"*31x&HO֐[IKP;N3WjY g`c)>TV*sq,{Y lİ~KR1 `ﺄNjFbmΊqs/G(60^oweV.CM9f5Fߣ7:2WS$4S)5c„ owX6Ixl5l.x;8ws V}ߒG-6[&eDXqh70ɥE>QXp ִInHd,6P&sO>bJZqZ!&]-P\R*;ڔ-Ne$92ȴxGEK܄3 7V̼gYZ __3 /# TZF-InductZF-Induct.PropLogPIDE/markup7zXZִF! ^K+!]ˠ)jk2p O6LP=͵gl5gՙqjW-HIJU]]kRφ1{ncK'15_o_X?5x}Z$T5޲,8=YP{J=fOJR}3~2Ɠ跬kfu0é0>niVw´֔kZ28~e.hZS[MBg5JC, 7f͛yN)ށB}_ݣ,88* 7'X{\l@VATTafeC/L"]՟=嬠_S❄pH1Uث2D"BHCIh9-ѐ #bG`'p c12<@5{&Ӷ?* p5$q5ݚ7)潌Y]NZӛUۗR}Z``c=ݝz9H-iϯQQ+͹2,03aչZ2bTc%DuzwQ6!;y'L⇁Ŋ M<> [ ] -9(e*@;E_Al BqnQPw2LNkWf_5FHr*5vwsw\;`[2"pc勗"@8_sNIT.zy$^v΋! OO@]!{hLRŝ}4a( ,;Ӿ˄4sk嵕ޣ.06W|0l״htR&]EXah9%iu 2xz=1OT>EG. )KꎪgS`m~a SoTCPQ22*LQ`Or\|N73 G.{ dd.`pQ\҂=ߠCc1.<3Ŗ ~T٦ke05l`$?ܽј3p>P+."2g=E-2tw :4[{]Zcr0GJK$6>9>0GuX^ɩ}_\(ܿp9d پcy:VY׻uU[,X$`g" ~x]idP7N֋-+}`iIR\,$9ͰƾPx%BQ`1ʘտkwx%\~E맆f.}pܝƆvd3W%GhhIsr eR73ƦZM")DkT neAÖ5ewdA&%9zx$MD:,#XwM-Ȣnp6 o PӞbwL5ȹx:貌a1|Bc:}c@myᨍZUGǬ1>(D'A!0B SD Stg={B/ln)~+8,^@s:{_o m=$”.;;%b4,@=vCːf6lIr3R#b@'l3H!A;˂)kZ-G6p^MXM0Pi;g?E08w3['l\#zn\(0hpFeduT8Aຼ4$ܩ xDyd"KhnrNϙ1LM"<>&@r%1ЍT,ݓj+R* :듥;Qvނ>De&JҊEmb ՏjPstC: #`S'N.sH(*twO}焇]=9^779t!4!oͯP1wBVbDSdK1/t / #x90,:~J\oZ~ }$KB#? !럝~~v0{d ̞Ar72-c4hܟ7aԯS@BmvތdbAֻ+JTV0Ӽ ix1PSK|>V vuw!/ĄXv:@GW9c仂ѬX[lt bc7  V # C7 )# QnFQo!{Y4E7|ےlRo!@m^-쫮*ˈPo&VR=GlnJmw)<ìcݾ *(Cfq5ʇLK8z}*ұ3vMd7T75y\ޝ5k=3@@kY( VѸ36vʌ`k|MG|tmV"ϊ챮6_1*GK?>6\Yw͠V%*VbR[C0{Usu^g=ѭķ4rvī"Em*nl(yܹ@F%$bwLsmD ρf%k7^coΝAC8U~_,zs՞>+>>%dMT cu*Nn8dꘟ&]'$J8,~Ӌ]Hკ^bܹf)=Audu^U/ s b%|恎i{to(ΌjAС@ rQrf"Pb29?ҡz4_ل[:Y0H']3oX֏gډJK=癊 NLT0X([|xд74TfX-lyX/?ۻg:w:!MPRn\)KȬ"GFd"g9GCV`յRj2 % =`4dKAN?4Gq_YSNh`2^0.Il]h,O^C0N!-vrݔn!ջw UHZg(0g4қv^i.uH?hzl)TW-J:x8AP@NW_5kx8k gf١Βĸ 8 t]1?=ȨP rz$hVpks ώ㇤ iu3OHHə@ D~-7E JZ.;>klpkk!>&F֔$o,lxz=@G2r,^F =.`*:j3WɫI5q$T/S˿`-"x 5zUYh u8%~8^AlA*/ïʓƷ¼lXM9]Yo•/sw_L=5>Z/s|M,I;RIJUdnF)YutY\t{A1"9O,ǹ"hE5߬~F!=K C I&8FG ,n*l~ܛV9B34@3eDSzbi,m'LW-|tj-L8 &{Qsbĕ$*=VАj_5K$¢1Wyyq+y:YPĊ+5<]m@=bp-I :n//.C`xf>ϘPR Īu2VKEe3KL}fNJvr\m@۠H&U6JR~gKA1ȶ\3;M`K糁mc}/e<{;A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112'4/' |ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N6]·Iq n[:|&[z|^Pȇ "L3xN׏9=7퍛Vݮ н mTB4~L։+v]S!5|~ψ ih9\0౞ADIn_8N婁2"U!,-ɧq1~G[GTC>NO@ X,b,k "g{^Q*PT 3{gU|YhЖe7O9s I`KLZ:J$s!lDЌn:fBkK_MWi~1.X^ _=qPyXllqx~SdL|X Lc|ԸF $c8?5ԒrMi*搮ذʇuvijk„Z;>p٩Yha= ƈodV`sN|{;5X@y,6qFajf;]6tzԄ$GL ƞÓ.N mwuL4G⚫%k`F43pY/i6&3`FR܉IՓ85ֲGi3ye4m[<1]{^r1WOT3N|'J=AW4^c6sp-*ԕ̹6GgLӺg 8"7dvŔz#](/7 %rg>vp`vY3%AiV(yY3ߣU~=^!LZP|ɷiF?w$*ZZ} -*d*Ok ?= ~!a!KvԦ-=b׶}h8?wIW3\4 Iԅ : ڝ'a gYZ]ky(g0?|T(I0t D[`E O^g%W t]j}<-/Uf˟lbhݪ|DzH*d|3x R !h)E 8Y닙ԭ+:Qd<}~q{3]L3_K=#3ZtiH.fq}5vws&NWkF2SۃNGU[ycp\pxG2 ,NkmXICa3G(2h#y 4҃[UZwK5V;[4,,ӓBi@ ?"?+ -4U&] k%SޠoX.n_.eOkU] S%7f)*-;.9NffJM,a"Ļj /"ˋYUMIX2~oZ2zRyljuV\'G((b ,I1=@J;1=2s'\N2 E{]B4'c4& Pt4i3:S0f܎)ʍ#k1V[PbFom0累(!K`Vn+Ux^v9 Uh n٬9lĤW)f/wq%tZ b߫s, ]Z\)1)AV`) P4CLUK4ut(\#y30|G&/h# K]HaRFhXdq* BϬP#[L]y2ӼX?4WbJ)Rkn$YWԤ.gycU u.гV 6.՚<. ?.)8dk, :d%E:p͑oˁ&aLK0W2'ہi)+Fbm.\evw,|J7g}&MCtXTux)}&lJ> gG7T#Nlژ/˅Mz0T8C7UR4E.d;QZl\s,c&}@4.',MΆA*y CA׶18u<̲fژR6¤' z\#EN.:kZoKP.>9\c;A/G[+Tv ӧ~z?&VnX<[`SCGIDQX!a~6U xEg=5^?,F֒Ao BF9Ѳ%$^SeVD RXJgІ|3#:GӾU' +"ҍjMY+0ő]:0ǒA@Ui2%]GQsvtCG壊jbn;@C:jq5΍h=\Apw#gl>\"Qn pAmkwbj͛gYbl["]akmҔ&o- $ xuAa]1 +i/A|q!7S~6|8F\V凁!\{F p? K)饀nQ[:`#w >UZ7&a%T(Q6 S } vӯ @K-Y3G/Su8ITC`4PZIJivȻge!j$6굡YC^s"W5 o?[i9:b { 7I N2b`@%fKyg<SYRH-w9*GSGFD76 /tmA23ѣrãcʥQhZRvm--%Z~T%D>BDӽmk ݢX%0- ޞj>Sm_b@j۟mStwƄpSqbЂ[9p fg۷ApHOcq3I@9pq"0_#*5n Z"dҦx&Gz:2gqD/!m޴6V>+;ӌ0T\P[ 8$M$NYV\+rV K>w#G37S]JH|ۏ5p ֽvۤcYҜހOIu&mr+dAy"USzΟ6b/d?0HbZd蜶A_3zuX-yԲ2xwdh $.Ly_8 nf ~GbgYXFѾUPlϧF9>@0hQ~nL ߻xhvxmgbl+Dcp~BQ5q]x_RV⥍lP+) tvH(}`/<]uxov$(7bS"6MkCʜD{t6Xy?g ?7$?%AjU蕛"Ǩk-w? ?w;Pcyr@FmQ]rؒ!hiʡk~ ~ǂÉXо4DQí:P88Gϑ?* 0♊ϗt'Y}{٠cwSڂ˚F%GFF-XS\@f_XVN!(,2o8;ie_jV/򴛜TQNfHn%aO3 f' {9ѫ4if;p6LJ6JEDGa֔ޑhwfu-zHp$ h`:H+ah[UܺCև8u9Yu6qJ]ԨEd8״ hd\!jgO/uzTgY(p;73_( K)3^ @7Gl_8/[|-Wa0}w=bIoDMWcW&6<)I_Abhx B͆;[Z¡UY S sx.JߟP;1Uð$JsQ'd^ -3nXrA♑yGUy(G9-?wH߾k[~x556I;{GxsR$tr;&"/9eYvv` &Qݾ'=iAq ւ@9J IWu0էpl]5BK[Br3Zސe6!* \ Bw'uz`$wyrbWAIaT)Tº}F'#R/c٧1@wO8,<H#t\VC;XɝLN&laٞ8+pBԷآad'F'_AhF3+ɴD+^q]7];:ܖ_,zAx(5`ROh{8]PSxOJ=bzo\R K;TeHx aήvJWD/;TI$Ʌc/&ٮϼ bʽ34܊D^?*r^Ew՞ /@"",%R T7 rg3O=\\yQ ;h >V!Ą$b)يaJht5X򭜕M^£nVZ@~2uXj՗57mލl [7;zZJ˸'{kS=e|e}"P2,(lj{jsVW q!0jmJG PΉIw>Eܷ1t~K?7=S%F^*q*GtRkYh$zr1c\U*-\OU<Vd7z1c#:1jeresapBʜ֎+gٸ^9%h&DptQ$,n0T@xBpiXHv`Q q[~USh\_9jY}$*KSJ7w5RvbO3{hAVYGc e6{BݾӞ\k)\iDё QGчꗅQǖt c\.x&+0YԡSEz퉥9}g1b[1Uȿ0D#@o/ G:Ypdp'8ߒ<Ρ4NiP,e6=}^xRrJge7$?cNWrK+j1vqD""Z#"iyJv%rhQOTgT<<}_ H7l(vdhТ{'!*qЗj<ĻW32dڳ _>'G A[ m%FI" mMIE/y 0BdeGyn[dEQI; f'-a&'` [MNwI/#Iô.H%[dCU7X.A9(y3\(HB.Ā)!l5 g0Gsl"2!:/ʞi]  CK[B:.,ӥgSKqF{Lm / zG7tmEoaצtE` ~_ E$Ϩo6J^`g2uv<&z䮪.&bzcϙYtK@41 x!0v @0u2`-+d8}*{ܰ_ B[F' 7+??aoc᥇]ڡ->H4\Z+MS2LED^=V=P5H- 3n$c;=l:}W%ĝKhtT:Qi BN!odT̛<07y*V5(wA:fɫsu5iL1@) LtOQd|gdٮN7>IZ񇡤Ħ?i2v+$eg0h)CJ&W)׿^`q?K9AZ, Aʋ%{ }E`*<ˉ 4uPT4k7兺T*},wͥƛ55$(ZWh4_OZ׸K1^XE> 1y~F|)1Vn(thkB {EC5A. 5C y1؛D)/8y#v ߻7T +N`ͨR NTZ('?&$U=Ѵ7 HFh6|M&q 4=wܭm+R δ99 Wyt ]%b O(gYZbHӎA?q%Аgf&a(C!9m?ۏؘLPM{eT՟8ػkhVk[OM}z3N/;Qnd -Bt?+5U>|Y/Q_ uxԯ ftUyueVshY:3Wxn41;))ȓ?:4[o[c ;0ЛCM7cʙI9L \6QRo%B&/y;A6ض{ h&##A|- ITM=U Ia[śWeXZ[ Ox){H}=ÒAи䫏㡔Ӄvv"ÒQ-TmW-ףEf^7΀Y7g-$h)zF "1/ M:: .„3 !Y3<"0 }5S4 e!-_D<`"SxԶEeh?[^:uIjYeI刞G0[,ѤME`*덳RRf%:Er`{aȠ|igOyB+\j9n@C[1ey;$\sxX/FN5e ȵ{.9^2&׺Q\S;KT /bAjD0As]2qcu],T gv דD$ qRԔ]j3҅q%!cBp.HŹ M-#X{.UUn|t{4ezlq}mjɞ$|Ckj%=A䅅c9;Q=9ݼ[y77`<~WǴRk`|7Ծ1CFo4E!c*ä>yGw1ݫ Qz^~0i.Q*e@LU_zs6BYJfjKF{Y(XA&C&p@R5gR_' 1wቀQ3ʙnigZ|&ծ.Y[孢!4bh*wK#RXBC5 G?;,,g@q=,-tt]WrS'3 G[qь>sÎ( 64jYVQ h~U~:n { c89|ٳqtI}ie 1giv#qCP>JCsf1*)F-ܟ2ƃWL-KSm*߮kM ;x)"9OpXRH}Y*Tb=]hj$jVla+MkEؐ5]*?ƺO(p&-6sFjBXvV䉫3-F֦ O_WU.h!jsH8D+MRFkbn5B^4j.E/E ihBG5*R VGo/?ħ嘟AEkkP9&CChn9{hj1M*:@ܱʙ~0uw5/ [xcu&eM<V%VQ;2Z&Do盁0NA5b3@JQ]i [h7qTjhJ .sɢEG9椯hfϭ~}#MPaիQ`@gh iVږ"2l7>4k) ~m5α1Pj 1[+ih夌`w*Тҹ$ 6 (/kY#A~t,kʧcp?i'O6RVLa}:5l{LcXN ?% u4g߸'*ܜVw x%Vtc񡌎|>skEoGDockf{իVSA1D~Ar7}-WR 5?r͕+^Ř ?a ؄Ȃ-]kx#Cm [x*t/a[&Z&fz!~]iqlf۟ ~3uJXKO Jb#$e- yCیK ؓg+hmkN%4}}#]KUO;}pD?~~*0sbE oC؀Rh18>F- Rmw߂L>:a*FN !Fge{Oj}ɅYYȢ%KǞlZS?*3Y$T9_L2a4gH$y`<N%ef^- tSziک-qqZa0,UGA#߮t kLf[Sd/?Qnp-/^K$@ގQ>|`~Kv5۹Ra֪ȱd#1BUboIǰH)ɥ(=ky  q*\(E)J+D)ǡ\Zϴ}6w %!~\,DD[ˆ=-\ V֑T-kٲ9,gȞzz_`^5O*H-=4=I滶: (SJNdADS7W`N5MۣnܥB/*g$o]0[]!ɸJ(X/#CLM5-{Чo^*^SX&hӻ&b1y OY+C&K=;Pܡ= "BgYZ ;+# 4ZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͗"Y^kL?+G$C`32hyyޚG#a-g0EbJqtY;5{cAyYtd w|;6Ņ3\,IP(H T(wc)R} M}6ʑx 6`4=!n Ig4o6AnzUfY%+EwH[cz@3to1jL&6\30n󸋿Wi i˱4 s%/Tf.ֶ ]sQ1L-hUs ѫ-S+ ៖QXx,fs`D&D-5~Ph+ /L=#Wix673xou lp2+_Ӎ; X5hVTx.S#Ulla.Gר%#Uٓ1mV{y@۾i\@}ue岉={32a@{'1ngVDݛq 8=B ϡ|ްRZW66@ l1J39eeE_$i_X)>1M7\28sKXfvMMI~gʃ/yW|"㶤3a{bCl :;ه$KȋZ lxUy@2+c˪UVk\e:P ` b%iZVa61P6ᗢ2;buvph4 Q]9'yħ~pR^̍wsXC yx(dqI5_gÙM&Q9kUfJ{mDYp9vL~^r9zǿNS(  tީxU#ە(؀&% !}PsPƆ0P}'+Gr "q2a[%|ΚaoZDf`>gr嘂nL}.eěhQ|!Vs;K:2t0 (~ob^cfH56Р+F:EQ[/}) 0`XĐI 'N$֦/V)]$t@"#{OX(BЋ4@gFEoT$V`p5jޔdoi‹˿ODPolqzcў PK5,toT.d<;Qr^3K_sd}؈k\FKӾ=8,~IӯcLDil s=Út]W@6UEt4Czr" - ~Ň,n:MR{p"%:UrA*AY[|IxGߦNx|0P=bb KPW) 4'/mǍ} :'pڄ'&)6վoC ˅/g`kϵN/'lTlGEg!WQq,MBb`D3 Bzw _(٨U1:o_q]"ܪxMv@ 5ne`E>(AVe+K`*Id2 V06^NN`UQCr΅RWfC2*%6Mn~7ܛ \/'>0DgӷOYţV42}*W,`d#~>f 5 P}`T:<{(G) ?=5HcP Ka9)jO{ YC߼֭<9+26(ZU͡ 4KA#bU,UbmwK2өߞǗ$#}Qny翿8#L .ȳtz<*r!i~wuE%MVZ߅i%н1"'ϕY9wOڤn볨tGXnu7K׼jzbʖ_SXմyPBV43ʱM]rzXީμf/n2.|:O9Ⱦ2VH!2s:駊ђ0Ut- q~MNawjHi[^uӟLreV/ulމGPap9n/O@S8zE@QNLD)DiуOatP5H:>Ýࡵa?ΕzmUE'YXip6|!+Jԫ޵yEׯmW[|lHJpMcͳME\݁yfPzù4+qo]6l69m}6dpZt9 K];߾v"(8VuKgcr.{vy诧S'ϻsKq<׶M.&yاBI5&v途Qv S'S*P0V ky|:UFVF0k;pw5їG]zg Y뉭%{p⑞5=2gy}Mk~%pB#ɺHF~Xpu~A8*PڥVR5M4Jmv2shJθҋ4o o5ɂ ,|x'DU1Shc0dD9x6V)uhgE@蝛 )VpÝT3ہfR9UyNO%?'3Z'0윿9c$cǿB_OhJ-ۅo ?&L--G!4OA],YqWS4!>  @  $`3C )# ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&fWSmGH 4{&m9t( ~1JV_0XNaHto,w=ΨEK~d*k.X]tOĆ*n?dD/"ۚj埊ӱHTnO4NW2ĉNE 0r ̟vcPX0H;0]vuP1 Vpvh%3{U+=@fa%A ʵH<< NJYJZRPX 8@I|܍ DZu`'HqwBO2a_P5 r@<rTC[X Jj)CE[KSBi1w:-빪ؔ$a.-L`Sf,MkbC|p(6˝JxڎM4z-k *!+sk4lfJHxW`}oW*gmWHa |b]Ak/64I_>HϜj~j}d{}bWS.ܯD6z7oA B1hotѮ-]Y UJ?˫Y6i^0~̓͜^y'>N xFCAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' DZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z+k|f8;+TƖHN6`:}~ aK:* |wv.pi}#ܐQ:XI~p{57򒗆 }8xn0^vb]tH&8g"E]Y3q!) U)=- jvWI֢kaGb1.)b' JKsqGhJDM<ӵ к)B%i3 5 b AWU  |s/-`aBWpjt7`Q+t1<%"j5J9}ndz)?m35ek8! srد{դIސ7Whw&ެ{1#.XW%Wk''%)IRsgk^Ӓ)md"6z%}7M@0_A7)k\J[;#0I`~/)h |;A`U :Hm_jȚhXEza`UBr~G(p}WXN30l)X\db+{Ax bs=f);Vh` e n2&F1bHs^\<"jKyKTE\_58AϿ1SA9wsQlRt¸{qVPօqu G?eKy߈$J|ZPVn1?^t(TGM;3 sDYK!rf (#;s( QSp]*FlD`z ]`%ľ"4ƪ ZK…&joO,S+T咟DZgYZ? 7# ,ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H" ]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;m5Dʗ۳徆hg}Cq)37!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id114=<+' ,ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! N]·Iq n[:|&[zWEpJFM(#ΎE!h |oxOOWqp66Xc[G#u%_o_Pb7~ ̒SApWkG u8hsq`nt=79-`7win $ Ҋ'%2*^LҥnE؋ 1]kuHzvv\VSCV) |DZkgZpi\Q|dK"=S\9d> %"%&MC5&7`gdnXE,hJRJu 8H Ŭ@M+ 5!o%rDrr}R\瑵h!;IkTUbmS]6vOڪ]^of} ; k+Y%m\NԆlG L |UB҇_+AcYnUgңwjuå-}ʻwoT_kx?IlڭݎӳJ\FXֽ U3~`)t ]?r+#xϠYey,qUox,fz=8ň}E"e_A"IWA ! 7yKT~Q Cm/Q_?&~Խa"@@toMXUnbzIPU|3h?|iO0C,\oȋ-b~J@͢a'V7J+*N(nܤ*;M}&P)ں9gYZB= - #NBv,Tؒ,qNCm{Zw!&k{tyiA*b1oZi(COq q'&5Lf%r[QFeP*lc ]+f9d7qUneQ/J& H?J~!c\Q<'yN;;<:ZUakN_D)BQNDBŝ³.=LߝN&E WCj«f9X}lҌ""[bFpXe$>QAt:';z$?ʄ#W <,b 鞛t ,{F\+0L}[d]^~ {9^)uϹ؃GNI^O65F7 E53o{mfc=A XE$//ZM~8xCCC ]d>1mόtM{ɏrUSp}`>\SyùQ@Qrio=M-V=gW@|0qKxWa8t5O2cjȳdBMJɻ#' @ZFC T;n̩$!O?+ H5 Y+0dN܏te uظH`?܏Qn(-!\Y$U?#ir| ׫{ 4փ[n5 TNQCǁQ*;G*l=N}) MQҭh  gmаމՊ*z{JKĽx^D If C2i-Unۣk4?`%l'ZSy! S\VhmUV?{q20'QI2ۋv`bOpmABO8"*jD}TYS,rO_ȧB0$P.3QEqj d( %̔v6/YbwVfT2H` RYbk!L_\K M=GU?8 #5SMO9 EabJq=3V[{>N hўqHA]| lI Yc`'[l6M@;h=f8L tϨ}+oHU3I|``io{2@vU gxE`o,e?FA('׼q7s1x!g MTaeO.7;'|*dVI\#&YUB( `e%fؤ 8:iE_ =Qg^1 k~ *'9j41|Q-؍G͗f ¬vi^EN5u<ьˑDҠhA׌C6OW!Ac8 6U3͵HH<}tkZg&$Bhj"}"߳E+Lf i,A+]z FFV_0˨܄AwX4*qKF`QkwnxGy;5[la2i$z=˼!L޸M-_ě ytՀJ_Dϫ #m qSfEP5)+E"3dF#.4bpP38=`~o\fTTz9ȮB;B_{3UWpKf5L*ﻯ`ct<纴LPhn|*8 t$a0uꦯߤ¾rZp%6^kzղCd ,镬,5JCD`f3x {TԎX另  }Ku)u$#=ƿrj׀4ݎÛ"Lj4Y/t;x/- \La~*dHXA+ᚰ푥<׿E)PZ\WvdQim84CXe#ցFnNI7J"(9 !h_OxlH.|9.8Ѩ CufO-yhD*DF!NA9BAb+k@%Ss(jPT"MaNJ[wkڡj`Jr\afD¢ ? O#ȗﳰS՜ V"ƛ4?swkBd89gˎאoo&yd $l(x, VKRJ~qR&U[bk+s}RV)v{9[>=?O}a:$,PL})۞z&&A7:Ֆ@ Tj-&t#v7BUv. 9{07dRM|椩Z[$̘]C̓oPC_dzSNL P#ҟ ͰCM%L'K4R]%ud2 "ヴtQLD,vݎHK<K  4n1ezX qpcÂeQhklm}@#+U^YpkRdrm%A9↯ `?_?MO85oBwX*nU Tic'SPeCux8">PlCm 2ǰ5T[^&Znvg^?&n`GiG>}Jst&bğʎ7I|K?cWDbJ/b%{H(hp9R~>n.)ycrRx߮0ǀ`4wӾIM6xE.7)JDA kio۠M9ѥ Rdl&x zQz!3͑98tRד,TDždh/ѓZT`{3%͛'\ƒ.P%斲*o*aSY Gު =N"@),}_2(_ծvF&,F5GT8i׷;!@KʯSf+ 䋫}c1 DԃIg9b 8DŽSdKO5!׌igAMu?&|*-VR\f_UZgV;c8%UBClp:*)"{T`l 9S͟EHżu yU-":x+oFvo%ĵ(Uu~m)}Wֈ F\4}ag:?A 4jAɋsG- yV'1qG|Z[L<ʔdb"e]\A4z|aH/Q-K4L.4scC32Zi׏~B`LYZf *gfjbQߟoYbH!Xj6|)QHR΍-"V15UX?(JACVi_L R>PLɡ`}bQ 5HTKK$yn]X.1LT#pX)@cd`/Gw -N3ò.R6 4?#EɫI¸ڧt2f,l)ᄠl5za2\8Ķ%?R=gc@*:Az؀`{"XK[t<4eg=}HAuCExcNL E~&D&-*{i&r@_\2%oǴ a_BWj2 jtn[z6NX)Va5Ɉ+KlV-@2;=X q1Z_gta GM޿̳3$CNxR/=lruFni @ѡBĿnUZ9y*t}Q=|2>"S&ܘ`>鼸]055]ZK_QOʋF,UiPZEkj G^KX}nLnh"M7DI0:D!EJԭn78K̫F0g8aʳpXm:QE\q[Eiv;/?[Cၞf?WtY*=*aK6A#纥5 0[̧3ͅLҖ àOC0νt7QW3Ax IsA*ZC` !zx5;}  074Za:GNybc2IDnM3mCOiy@4YYcOdJ. (TTzLX$KTuZWkizVLCHBw;Z]zom3}d'9ByL6Jixݽ-e2K;98,txhI~\V;G,fH<55" \xT B֡v쐪I[[,@~!FhYBUem-gi=L:K{ۙL3Q9ĄuőH cϗ^0;-]xCu+Ъ<<) j ~pF 7bwӁ;ZF c SPJ,JH*o/'>ȑN#boΤRxϮuVroQ#K!SHV./Wŀ?X!mY^ƗREiҟAj_/RmڈfZk۲{6yG`5vhTj$bBru5⤤iF'Nkۘ2_FJ ZUs~mR7/ *38xQipeelr7NFwkfD"/.#2 ,7"iUXi:cjvZ&4e6BJm.֩%@u4]nѡL͂9?pn͇:6IcdfP9|ٖ|gM?iCjuuElJ%Kr$@ )Smz2j`ސ3DYv֥sz4@Jt[qGp{gp eS (*$nݨcF.w3QCXlzc;.PG^n֏x-SO8?[N%sա,F؎oU]Ã]"Ip^z\{ a1lܰ~47fϵV>T lBR4j;Xk^BϷg̋Yꏤӟ yN78 =x}hi#3 H^ѕ;0<š#>{ ~omqO+Q ؜#N=OgOCɐ^Su7'OC7%-^4.yXMNtf'! 5أAr .E^*gDܚ~ݤק&ЗU13j>([R/XiO²6)N'xx >0>Ҕ!\235:޽T$sU<_FQV[R(ۑd(z=uk {8“C#g$ 9;`; ^eXj]Η33͎!{?_cྙ!dm6WC;kùl I_#_1&@omxzrr#|1Gr5KD<6V!ںP@Tx֌]p>of5;*GOU{H%|a<+LC .(!!VįPFZeCHєUt6/װGs_]iWDjC(hL5f藍FC)t1( H?GBz Xn+cQ!$:6.  C(eD9L ~5ڀF$a?4𗓻]TdNJp;y==Ϻe16;x(8N# .ZUGHKY6T7Paf,}wv{geeVg]ʴ0t*Yz( ~v/SFDLEzR,κ;FHgD@l(5*: A--$ ?WZpXO$! vSo|?wxz!΃pBr<,>[HvV}n>9LIRLd?7HA:M[5 m!v;8Dq* 9n;G{5ʇ)| 蓂 ,w"#8M\}HQJMDɬ gYZDx}dxu:bt0z{wVuB\H^`f|$3teЭC7M~ndZ qkw ~n@IHqyлώ*ˌ1CQ7vK&i3]&|Ycs'$i[kiRRopS]ޣ - .B98Sl%f&N^[ve.RReOkY?g` ~U27H!Fȗc#ʈs-S};じ1k" Ň@*\=R|KSک4ˮ|~ MQ lLC +;Oa\ *ɯK/̯3k М̔&M9LՉd]2-Xy7 |2*(fsCBq9'Q| H f{qRc?$)6K]^Z*qu]Y3qG%*ϫ^vDNW/y u9= Br|}861L )=MӍ 2E>ߧ@f%Q|n߷b4mi0Y ihM֓hIwiij)nmX7LQg&&1N~ߚ-j6extGz,iF"2$?3 v"Tr5(Bf1n]Ԥ>cp93l+="5q}^Ilg z $=!yb̧r8M_ٵ+ĉ o "HZB':jY V͸ |5-ؓ!RX#f abz Uڅ eP' Wy[E],G K.9ȣ;_ߴl ͊NBl喽tRo'SrDaX>t<}.&,gc~aO~ڒQLlH>= acZޢ|:XWAeW&,kj6܇J'Ajŧ,P֤P}n";H ]Y`Y8l`.41kV{5vtJꃙ,\9􇋶٭,f+6zHfw4։j%f *6S6f>Elx`N~+Ԇ3Pd7IԨX_v+ᥓ/>Hpq'!"ӥy{]%:gٖ[r#7]hJ43ﵭY2NrBj$龜i,H}'b^Y#sv?&̿z9+3 `L$v+8Cyow{|+S)~vl%c'Yͧg>W [ydVYܯNbMUF.0MP#reV78L05F*|^_h{/ p߲ (F8\@;&EN!.%arI?0\g)D/;=si1-͍xE7>ISS2Gw߳(DI'#?Hs&PGj!/c_ΏkIJ uOQ֋"@`¼~?աF!lgZ}3=<87HD5e,^?# ‰8 "mvz6utnȶC.ۊt8u3P^-K*Fxzceף{ztr^h/f)S#kY(D4[(㦋-ЮtZrn㕰qOhc٥3=N+$ JD6UR& kfEGi=.{Wl٭WY|xZo[3RZ-`,`ަϵyq?R }1(04I+<>\UٚTH?ES1wf?W^|6EN $yU~cw4CfI&0uUn?Kfŭtݔsk*5t_65Ax iSE1»Dr%t o3_D;҇JkIwRJ蘭Cc3f` wk\h&*XiL<$9f5DC ~[/{krEGw++dxC ֮e"2M)[6)ؗ>op&ȅV@@>Y*-}T!i[3`& At,Ϳ"&E91IC"6ۺ[>Yl5o vF\~T# [djBnc]ey?o3VIU@NQ_W(ȯ8ּ[ծD+I ]v۠NY*f)u("15ċU^0u^A; Htn@~")[*^w P+(<)Lo =}!03F7X:SyA)bCuwب^<՚D=ʋO'кDF@x74Ŀ5<@jt} [iA6͓& gSϺhEbcP +^9qNSDd7 x ,u w+}oty*1 F!8&.{fΈ˭^pKF4G%[ڰϗ xʡE ,vz_+Z\{ 3[V 7P,t_j>pµMQ_MkMP<<{+T.@jbOCv|e뮊-ɒ+_8~X~}ʼn!CzV&.a[_aA!ԇeI0F=$s#4̢7;(@X\?."dOTwaC]Wp)tk[NXݳKRYs,'MbI#SÒȵpG3i)?yD6Cu`F?Co&$s) ƽqyY;61TA\2z54^V-kU^*9t8Z,E+ނx L5Xd~!'] FA [܅KdՐO y(.71BtnU{iR- ۽3aięz]U|_G MliC\W67zkWpl(h:A:<+a#f'$͊Tw{x*TܷM"*I4m5{U^!+\2b' 0K;ܯ5M?0Hnp;I[|mpNZ1.ˍ')=m(tn.$3P 8aA6ԪT]ϰ G%F!96_)6P-RKj푍z V3:Z%X; H\Ք8܏ ]IoVME n+Q0[_&0&`\+9S> qyhRQPb E}0{B/FBqxq{61 !I Q&i C󋕌G8|c .N%8`t4XR Ų0SȨ%͢j0;4TU`-IVB\33/y7 }U<V4 {w@݋Tؠjh7S5:wj}b|_-ӳs1D(~- 3S*HQ`Eb3=HBCȥ Ȱ}@2;GzanGt3߶}MۄX]ږ|@@ p4XK`^I',rl@g_5 zE)[/4U+Jp׸T] [D˸M^rkY'j>RGerŌ012_( b3"X f`ynCs׳ulp|oVhoh_#y[Uh@5^("znX p R9*cV #֯fgU75g;(p2^`xPLTOrFa[8bdfK~ɕ1=룮(.l|QtUS,UrYV}6p[?F}F#Z "%PJhSH+Gʄ٢ ! vWܤ$t?&mz cFGDzIh'Ds6fIQIzxoA8.FD84tnnayCb Ѯi'<*p!#?)L!k#| AUp;b4b d;>ܝ:3Wlz'q@tl'D䫦ջ2ns1_@&ݰ3 WN+ϒ^iE1C0{R3l<𱪥|Ӯk^sPGngkGs>v(g>]oijHVQ|\;FcJtM\*DifDG!xb""|MN b M(sCv=6+=>ʛwv0l\UKI`G nnP),>jX>ԦV`i=|I_}mJ-))Kģ ~[\A3hj8#M(|6]JYV@џBM E#%eA$!šψ׮?4 -Ĭ[Q09Ej\z'$s^)Ƥ3oR^Y~"iOa}98ۥDK ^:5W;d%XWpy55fkhZ#PISj&K[4󬶙>}wW l Ok!܏ƌfsU*p=ek+ + o`g+s`[J5+ 1%ɟ^a2. h_6BFV }v<7~0ëmʼ$ Md!qlm-> kDb Q2V8 #ij;pIXn4o|@Ӣ@J7U6tnb&GZ0dadJz/=Z.bL7} ΜJWs9ˬn~w/ևp d ZKՔcMWeE2Ӻ#ѼJ QI͔bDϯWq,5cFsqo&ۥuȓ"nY9-B3\d?WP e#*o}SKv<Ԁ_x&X.ݚ>r7Jr6~e^f -֨ :=Q^ū&(j?V?Y6[%2Wx=nak< 7ni_lPRm] Ə4JKmJaߚ2`\]-u  A᫊ͤz] |ٌ=7W{CFlZbUT@h{d&˰0:1ѭד7kC)wު`MΈ,@~ X3+=4v*` wa6 gsibƛ'58ØS*"T/#:. $M֥!e/>xp)t+-dh/SW*ϑ_ ŠkiYi]kĵnEԝGF޸26I"k#L=ީEY4[{Ri3aaE.R[~zxgqaPjvxV{T/Ա'* ZTy!ڟͣ%Gj3Tw% _Mn2:g-ysZVO6AsX+k_b1[T:_I%T^G ʴuF?] M6&fjH73>,BK⛺aMp7I%Wq6LR߻No%YHRYCXK e֖i I[ZJq5mxPnjD,kOq̓g\R͢?ᅡw֒Ϩ֨Fش ) +6R;!^dS ?  &Q1W0/w~< rRêZ_5Mup Qn2=duV"z]u,6Qn=jvD-3Ҁ!v2 `>1e>%kv]!X0/6xh8KmgYaɯIA.Hz_HwYַ=ϛ(qA1uh Q+Ek}Jrt7>+CxM1j'_0:έKAGg':}Lʰˎ1Ii:4߬/bXb?)Fߊ{VՌa4EJV6gYZ j j?G'!jˏ=ym||KUFxb,HkN9 * ^4j\Qj?F95-MN iIXs1]ԹLt6ӻ"2 ͊]ni>Y_d6_J<{+PL1Ѹ+Giam_򭣫љJTZqAaE)ળy R50| oDZѤXؖK:!tn\0)lKN_Qm; ͜=csB*~aD#W*IΕJh E\0⨪f_of0`6hLs#PTN? yz/N)ְW)#?Ld\ R`,0l?:ڈ< J/u_s[kw +í =zXF-*=C k`/SL>{JX*{n!稳 w-,;uPQgn- j<zQG[R_lBcl@>O7ԍ<oA|õEM.' ϲE6bH&nSG6`/XAzXd Sſ6d5j?Vqqfb?9X Rw^[u6",7鑩9m&5ދH2e&ZbYHg/JN!% ^ctH D21ܱgYZ J~J2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlcaWI'' dZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ7z25k'=@>u e3,엒x `mcs|H_@uc cqX3ʟd*#ނ;.آ?">2> ɑ$,PWQA3NRvqfX(LЗ?^=j,8F~%G8ۑsJ 14p6h!8M^9 +ךOukSn^%r}WegYZiH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ~]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Ηf3zٍiqzkڙKP/q]a yA>*_q5HzH)|pzWs˺RJ FllR.c7Ƣ3R#S>Cn;J0(.j[<p4NDRL=28_@+2ʷJ"=f p1~I{le u@RL ']$e(Aּ_&ue .*GqtI. FPVfޘ f% C}b6$"jE`G JT CGVW&ێl뒎vb b*vk:hr6q+ڛ .qU,@*i! UR_1b~O׊J N*vDpmѩq_nt޶xM2RI X5[@菲jz6?b 9ƹ&N_ `1*Me7 e(D#]@g୩ MlwJ6PeR9 8|!)s@s"JHe5{y$}TׄVƌD`*,g7L<|}.IbK#ke(YG. [<0(bVCLh(bۈ9CHbG.)Ż'9`R};UͰ9xg}?h$Io*&mI<(ͯ6C8 #sƷJy\BiUX li: DUj[+.eu!rve& b߹IUP&0/%O"' j6{a+O>3neئ{Z /N"g-3^T6PCA&rf2r45v |[il*1lfJ z8vō -ض% ?SiZ7كelAO{HeI$\3%qK_06M_$P[/.> bV l=@H@˴<8nx<oTqܥ/:NȓRYV'TRBIê>H!yBu욈Hڵ97@.깺GfKY8¤5w.YSc~d([ ߕ LI:"'"66!'2V,"W.2to*uCY)1Tj +  Pݎt++ޓ0.AͮeF.l",LQpU.Ay:2@)j_:G[ ??| NhnگE} G h _18De-TSƒŽlő%y4>çVSklXBa}A@]CEKpm_ x6_r)Vgii/l@~/dH S8ADYə\JV3" <~U"4nı|xn4 d0 a_= țRu/]c l/zZ鍩q*sup #f n5vn`4SKpۍ[= 7m>gN}\|@̽1epU1* yr + h1[VWWLVĦ%ZB8pkj>ihdcX8I=+T.b:k$qWl/Hn'JC Ύ->.aWŰ5mo5jR[ԵZC5.4trCЍRe\,ʛ >-,Aͩ08*EBu\d<`V`Rշ~o!%_y<0-Jt *]xC4{bHJ!,U',LĈL2B҈PZdw")0/5.; ݉SdeDo VgJG}Ey g )I+biZ&ʑx5êD'9@1 EOʱޜjp*`;B~Uo{9L=rC^bo0͒ zJ:UZ(nnLce/F6YIW.ql:&(KBЋ" Sߌi 4@2I(Uu&Wpt_~ۮ>'?EZLxG&+]?7;UFA.I-=κf[@,X N MLz9$ Tfߗ X4NBvY  A`^J0=ਕ2SxRG>5[%,`k@m1+%$?4+f?{u$5J]2wh2)3܍:TgEg x} N6v""RPs󳭩>QÐ.Hܤ+N2 :Y@- x @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌C}3ӫ-#@[+?U h, 4IbgY*|[Isg_y>sܢu6~+Mɪ0r`xC7PL:8wcg" ?bۙWJ꣑E<6OyS"$Ƞz+3AuXNv.޺@릫#m.J$}ǓL.IFyqXذ;fmڧkd5[ֹ?(viʳ>:udxXo0*s#f%Lً QP 3^x,`͈31^pO)U7+_ުYC̕1]xa2I$ cky 友iւ |+PfW6+o S~YWwɫU_gBx[sޅC;˙ǷѼsc%y~Ra7tXڀe*&Z_G=1yBns6Ĵ_q-o a7,ϴZ1BZ~kJ7$״N²)BF!&И9l:դZMtRK6}XMGo(CqS&6d#J/T[M]{#bHKAV؛O&@ORoSJ$8/c"O@ݣ +:T) rzn_r{aOn>pxLQ]mC!ʦBO!cʺʱJc:y6/A Pe:`A?pVX kK4 1Ә䎃)ՌP9 6NxcKa4oŘ5;q@ɞ@lAQ.S; ϰ)9[\{Sne%))Ҁ ˄A{H1Fd?Z[ -DK# 9~h۹r)[ԷlN2v )|K/*6,Eg6AR.3>I7*r:EWt4x%x_Xhr }p}mTvr,{x߽OʵN)Z{߷=WIWQ8Qrqc'^$TZ}V aŬ[!}K'nƀg ~"s|̺hHJ?b-urx3C?U'R8 |e˛46y]f2%xԍOy(쾋JCYJ*Ek<tPN,ڂW|^ͩ5jJϯ%gfSF%wO&81%8\i4 | P_Wz6"ׁC*X;e S@0 -yzʫ;ļ^GM.!JG Gza;Jv7rڭ(r5ͨJ*Ls5F`tXO~^GE?w)w1->@4y၏3%DnV7/pqv& `RoVOab`09[m"~e:d0R_ uM]Fw39+Uͥ$GtmF_L>|w&ӬOd';S$=,eGF'LN:+lŕcрPv|fuJcS]cEHzdWDK.s 5$R:EdW5`E^+@*bw2-fxI[*B4SmNorbUt9d%u?l%.HK (>Mf9P7k*o\u_)]AXu~?Dž!}2틶P ӌze5HI$6~)?6Wa<=Cg+7Q-o_d=:2WizӤ"ĎqvwY)kL0"M} Oph "Baﵯww48]? /dІy)R'7}y ,>:fࢬ3Û?߿"6_89NuW:0(T3ftЇv&)m| \Q?`@L Ļb WҜ,S,uuR".6-׮rq]j+HLɁȧ'1֤$ulEZYy `q#X[{i0r61L֖B"خ%#noYdVC7EFi,lΉKPz>5B:gdaSn/V)SQ&TA,YHs .N}6(ɡTU%~!4ifde=* "ػ5'Mv/+5/nCOnzݕJ*Y'~h5ihK}oC?;SCU#98`̐h35%=&McCs}qWam߭@/ON/% b=$}shy#5'miEt7A`~GRN[ǒ"V2&ukgZ_,-X@.(By