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 QrL,݆=xDI k0Q(PDZgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?J9u SDU%BB9Y?#Bf'wzk7G;=e7ߙ<!⡨drcy^i7 ȅԔlfҠkWwFl.E_tN, Xq" NT{t- ?GY<%B'b1PAFt@g!bD er6Nm5hW S8u͊z-gYZ7zXZִF! ]ŗXi%8`-a\3" 9-_UZɰoIǰ" h|mM+kf+kE{Ć)f꼖=SpahQT#:%fXA8w|8p|FM@7i0mxrVg"^N7,LW[ѕ@_tKH`e"ӽi;i`ma.7)I2{G>zZe2ƃ߱U0}M(. |~J;5ZKBaJwsp;W[XBORݔU24>q[W6D粒w4Ȯ=lU?QjWج먐5j4 l^ׂ[Iq!췬V=|([E^0 =p&3* /0q/!SC5;`@h\剿]|]A9*יKp d?jg}Xlq?lҼ5V$lu6𛟕Џ.% oZh 0όe e"Q"$a #@51(B&GAZ:x[A$; ba:Dqi_ xh$YiTfvxN}:9>jK땖ޒ[qd 5j!&UB+__ߤgO8K_ BO72Tn ElLvtR4&< 3GŹM/7ZG܉睑̺\r^̭(\TDAi_oňen$щоW.fr7B|cɍp7F?f"  8OgYZ6bb2c4646d95ba3fc7f2d7d5592ebf9479ce82f52323e0bcf9a949c0980c1f22cb8227d64a922d7b e12d498aac7a88e180291114a8dd4054c6521a662ceb93d49393f8fd409b9f42cb89e4f60e2957ee   ZF-InductGP)/ 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$foaFMEKDG?C>;<:9783520.%*#&"      O* ` f 3& 0  nW u _39S* C ) | S ) vM#e   a}O u J !c10+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-.1'ZF-InductZF-Induct.MultisetPIDE/messages,,1#ZF-InductZF-Induct.MultisetPIDE/markup++1!ZF-InductZF-Induct.MultisetPIDE/files*11-ZF-InductZF-Induct.MultisetPIDE/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-/'ZF-InductZF-Induct.BrouwerPIDE/messages+/#ZF-InductZF-Induct.BrouwerPIDE/markup*/!ZF-InductZF-Induct.BrouwerPIDE/files0/-ZF-InductZF-Induct.BrouwerPIDE/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 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex 0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex3/5 ZF-InductZF-Induct.Primrecdocument/Primrec.tex  cUES#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~z:7WE獅 aA:U h޴O_>j p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZm6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Q;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZ / /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 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 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 ;;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 /5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ GG6+1 ZF-InductZF-Induct.Ntreedocument/Ntree.tex7zXZִF! p D]A-MՋhvG"uIBm5Ļb\ma ) fXw; Dt" jg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗ7;_|}-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 +0x )/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZR 39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ v 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\ gYZVFtNh+ HZ 2%;*}6?Yԭ͘#l.ԛT͗շbX\m5i_$O%ŲqQRPD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ 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'tc{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:Z0TIQB >?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 r)# 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?UeI{JS{Pm#//Η{c7%$ &\3?wgH(;։9?_x;Uvof7n Sý/c)$We*1zv6/ӆS:{Lum0Z1$ˆ-"#3f:CZXlzv ҰP,s}=|3=Y7se">.Swz{S̃GK=.  vZƶO 2pM8vX4[Oij#i >*f;Xk[6 ͽHS q| *5mH_&MC\N;dL,4;^t!~9,<`e [L ]3=nF觼$ӖR :18<|Z:.vO!PƣyӪC~5Ā46:)6l8((/b%{xļ<-Zc!~N3vΑRfAcgx0L<'=͉q+PߩB~U⿂ i8`&q 3$Z-9zs(pU%)[ 'Cx`RQͻ4#z^}t>R,\KbMTA_X.DTV?] Q4=]qqbZ֙g"BvB8'} (ۂPNY-ʣE91DfΚ>O,b-:+ k"!XDfKT^e lVPvUL8W0_*Yq{oղtq}bq:AǓmm~8~xz?J]Z 4AFjcjZy}}܄/ Y+We}s)RI_7гLF+V~ 2!_TW7wq]š.M]]b Q*'XJvXj5h\t!>SJ$0'ܝxxCM,ʍߥ=q*|I%l,4*f_o?̭{b?L]h/yG*\,S7D+i+a!syq1,<1>V|g$Y.?S{- [,Ahڨ0-9FVqծG)'uYرfi"Ozλ)M axB M\.+Y5qmktZ1V!-_ZM=xotW?.B5v bZEȹ$=vUuWD΅$mzw1R b?=^y${]]: 3+54uOnq)O{1mjO鳡!a b|O ܑx?@}p? 8F9Uiq'ګLqb}]Lߗezu/L\ěݑRIݰlY|at*7!y0o\{fT [i?5:k3_c9 KG4LU/!x6a.Z4Ӯ*GkRfxhý!6M7s,:x[~ ]D7:'gJiW{(ЈjDq~*' sM/̄R /%q ZRm%Nhrt?0@ֶ(_S {{t$OF|cۆ&s/l˼pWLkcX;kJ:&ZW/J'f\&9Ҍ Z~8G7eOnjvGc[YOPݦGBWե]挍<uVpuX#n0!/Q\k묨OL}&ZF]O_wc-_ptbs3M4 zZŗEcYҴL/(rE"Zms&&;eh*9!sQwফ$8O4bT_m@mû/k|5y]Hsf:CW## xlaqp0Ѷ=Z͕VU(0YvzhmH4=[@)(׌.rR03ԹVdqbrs%xt( u)pP7 # b3iP)e]}.'^Hn%~C1b\$ݒ/dgֺ <P *}lj^aPY =C3O b1H! !+ǩe (,XJ \_R@xv!xA &`ՏUa˫ɒAFTm[:9^2~.y +FM$cוݿCoāfOubF )/!84yDz&la_ĻmYˁ:t:e:p= @jit!yB1i~8c1pxZǫ'}(a ܊0Xlկ >?@R8%p:ذ0u GS,4|ެ-)mu- TayEI f踡iVT&V6!`i{FgE jrOUBM|-:7 Ht?Q _3V+zP]e.H룀~46GI\p;$H@ yþ\@,)gYZU/# \ZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*g]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM=43 \@FS&~@HmU}iM*x1zZZ;ԗdXk.ؘ5iSP)aFnjP7'f>kcmz '^/?1%+b_9 +Q4 !1zvOM˟osId5KG>*-KhK;_.S܎PDHab3?:\% ygj(Yot%JKDOdqPuΗJ"\h:5*wܐJM>BQg:=b C JM 0Wr0{7j0Q%Uyx7oף[v7v2|*6e"^b[xhz4ͫʉۮ9فhn\Ivd-3^d=Is+8Uv> ӪƌKi=|b# S@ ӞbCJiQwu/f+O:df9 [2&?|a~YgxVV(3*ܐڱgYZV /# \ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9B܆rMPsW=:ǔi5#|b_z(NnR>곑M+<%JuliJ*X8+Lt ڻŏ+[+3+Jy&ixU (-;|B$2XZ]ZR ^;7k|~#">6ݝuHK#yПK'2jMhk5&! + h ӣk v?R;<`{`d_{A8BlAd$-CRHuYޝw-VkU-&V9aa*:iKNq:6~dpG/!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|zFČ,.\$vA3yÿHI3_ZR?DwB?6?b/%>MƇikZOs̸&5pYlfh[R.O>QUp>}%Y²_6񇗨ﵘĕ].[lSyl.H'5ʣm_%ӳP_Yo6U`!6̚, s D1eBk; !*, Wxw@8K'c1ӱDgYͧ1j-*BsF8-,Xux$Ej,1HR@$Y+ mx;nđ6P:xU+O$BfbFI>u)A͚bَN\&Ǿ#F1)A˅ecy@&pVSP:r sE'%МOK,$'K { M`,X0L (9o]߮faEh68>,/B $O^DZgYZI*;>gUYch3) Dq8ZV~Oo- zxp-ih@p :_:TT͗YJF'ʁ*af3&.𽻞yõTEo};-61~si0 3N{7'm?6e6%h^ZE0Q89Py8F_5aA AϠn9["lk@?J;I×bPy%ґczJrĻ h؄-5 {#j..^p@ӖN}<+J59?ſOFvEw7 <lh/֩޽qi¼d\B6at1?%Y?AXQ!Y!37͆u.Q{Ud4xRpw*\+w W\R 1@N6 bcZ˅/$V+|HPӢ]:jH5ؙׄۢ!T?r%i8itdPJ,Ow ݡ$7Pk)7G1&EQa 1?VctȱK9uBND C_zQ+ԫxZG2/v[`^N}p+m_-V)6Fbo 1=ՙ:yP5dYdrU/'Ir 8Qa^vzK&&\=F,v+ fi6R˿53E9 kL?f8,ع..CaDT d).O-Tp_S&/^79V`ֳb3&k !H1P'Jm jjotZ-٢+ AY%e$xmvbaain},ͪrc 8>}Nŵuqq\A V҈nҳmEIߚ@tHD>nJ*ڱJv{H~b<^)| "{Cu;yS =z k<{lg,C[S(R ,9ϣkkxمBua 3} QX*:a/pAzxԉ ۧ=pӯ6~ܮ:şB*NZ-+&2,za>הu34r:rPiUnax1XKutV,& =Dvyt\S?Eh? y3F1]PXZ5^SzF8xGۉFNLDR#Z*eFI߇^ s忛 C'@CaC-ǤBr3JwtAx  0G)yO_{}M%m0+ǰKbvU]K?8c-΁\^-)mx(a<7 v|ρj druS =tF5 E*U!7So-5K Wrz8p#)5`Ihp*R]7ĉ'4Y!k/CŸ&:R `t./QH;$tO5 j2HM~r”ͱ˕Hcpˣu!7wo¡c5ce x#:'tP5I*.97{`3q,߅d•@"bo"V6yKWȲ+TۼcM'aQ'U&ϫ1q9Z8}[yLj"K.j _Mb?o]ci/ ¯v.izٕ(y,}UFq!Q~bO|t!Xys]0}YӤwC!ʚ ~#妛up45 >yL Ag*1tm6d_uqX:o+NpVhN~oӜupڈ(Gzצz:,o%UnN*n#\3(c_:`vh4-IglotZd"-1r._nL,^jpY+*51Ǖi$e)R7*@2_ i,KcdY6R{!Hbi@͐xn^6vf `ȢӋ㚑no1Ǚx\y/qNfY+ChZOvLF ֦p;H J5GNs VC{5TSjVej͖;fUuP8bZyO\JLӌ%)1S1=<kAGAoJKܾ  Wm#D-›D){IzVܼ1GdY=>(@8C]YRF0^PfvTYuO/ӆKFg }3xsk[8,̌kn(?& }A~6^P%B#K a2ʡƧ 6 w^ȆQ&e!\&{챡dGsJ^}g)amZ@b`ɉ?O]7azfP9EK"Jxkor%q]bN{u;KiZSd++k8יf$v}9*ˉkݷ>C(7*j-T7ˏDtѾ>UdWqMvkX|@vxO{\9gOF3S13mic\s/0`}zd} F^udU-z*_PWDwDח\f}r*&Puy~6ί֯rj >"hz*/7ɖ |0}czŬ/WCr˞㔾o \z\U`Kh8ŭ>#5IִYxa=ެFד]+djLJqj[H.LZ7Km-*%Om7:%SPh @Z\dcMoߡM>}KTb+lؼ)K8J?YԪ%9uF}bN@D=F%_0^^>=0J*kBox jT!Ҷo G ؙCg0[+/t^3A޾g Jк1o ԦvmhPPYۼML2GWf(O-jʭOKZyPSɔ?E2S;f Xxt1G f^Z<#fNkKM=fXQʞXw"D=|2[i:Cm?n9D6/ƶ%Qܣ;Nr$2i ŕ9)`k;51SafEd(EHg՗,Za „ZQ+;,iG兡6؋gtFԃ !,pAoxN !Wc XO}3X E: f+%ṫ> ~2ďX7dx ƦΪ d ~}@CGhs8"U b/:GV(5h|1G@.s`U5DRm;ђgk\T,jjӂ0-诫~^ES."4 4/*j?&_#=׊?:J%A+|ċC s*pv/, [c*8a4K!8L8[^./kbf(Q##R=CT*ijB4Db`1`k w6 >|mŦxO)xHu6QMGc$X(-+ &$݃JHF>eR6ѥGWȯ5~pz^W$"%«VTEh#`azU|V!WA@4*;0E%ER3''fIa?fMh}CgC/" +^ҍAlK8ong' ŤiC3{n >\(OC>Cj;stojFAo?ef@Դ/(R1'{6^z؈0-0`VnpĹHVw[+>_)T=r=2 8ke -<˙ 7$ #9l`m]V|wSUJzޓ"i"EX. d j=-fZ~1EK>3?!.fu#ޝHơZݤ{VͰ u8NSrU7z_|8|,/c=o)&,Q 'um>',V Η7و9cN1 $RY[UfI,Up>nV^Bp2E([y83vRS*DfNe:AG^_FS Dv,~o9B=wf[I4OK3㦩P8T*dph E"*Uf̼Qj | E3zo(}o\ðĖ%4t<٭\Z^߶چMFwAlDH3uOc݃Hh<sZws6xiNu%dV_ Ȅ\9c gZS)ܶE8 Z.u<>ΔNwS 1=U=8)'$|W*OD[7Nhoh>BY:}`BO\.':^8t0d|w.GR5;蔊ݐz`"&=[o$W_H9Z{tc;a"pW,2-Үk}3eoAΣ+ 1]z/eNPlJӊ;7Yp ^w4\lX.7pKG?A5n>G^%ý(BJd+@e*g9B򔈮yl$HPt"fXJyw 2k{Z46:k_ZVIp]9J%@a_Y#UܥyN{G]6ҐkܭuomȨB^-ҩ {2$v,v]E͋}ZipC` bFl)(IllB*~H Td =ZL*p~E',hC1s' ~x22F#W*TQ\@E?jI>AvR,_^IӜPzDݖ2 =r4;w F&oq6V^{s AH-NQdo)z Pnӓxٗ!p|d?Ji;TiR39|z5S/*)~_g;MФ:3wS'G8wR0>b`H-BUp>abw(\rZmwrjk%Vs4crG*5FA*yt>QDci6Jahcicz9N #T."}yꚍBjDĐˆIGL23Q 2KhcVxn QR,Ksd>z ?hѶh]BS'ohwyJфxŤ?zL:X:KAx~cO^@2nXV xܝde6u_*$X,|T,Nوu(7 &O8"-_Bqx%iUzao+cNoξjOsOYgKkŬKa$a@M/nh |fѷP%K k0'@K©'ЪYmOיx6 q@z3a4YrA,.KWlR_kg A#_b%6yX,6r;ulj\E{lC"(NMXF.F @ \lt@rGS142 jxShlCZ2UYZݲ8W4qn~X>C OiEc- NU9,"Ģ79F$# :)2 ]%8[ƒSi9|--IgFΠ .4t2<? -ۄ#g.zEF)St37Kwl7>/[UhR;9<`M[<&EveRBPt5.3z7[0&(Lcx8]@![vRg=-(/_ ;'cJyx?rtV _aP Ԓ7w7:@'o$!܀fuVҴV6餎9i*&v*YVO EZx3:Ppc}IL2p@8فN-:EIJz'af)]O$*=!׳ў&p2mE j>f$¥--7*X`S92?M^ILD5ToWOթJ'Sȇ#3~ -i |iA( ~!Q]9KDRA3pB Aʙ|ho9F˅"Lii`TxZj2Gݣ}]Q+}HG8~fL]ckʾZbAJSt.4V:"EbcSfVo뿈|~ɱ,7 (6SPFHC} #\Bݗ Ru TEhdk3S׼Ƌ mpxA7pKڻͦaO ֌f__pΆ'-*L@?uWYU15\' oTkv5LƊK/b2=fL^,Rx C~FlEJa?L,Ex4߄*h[+_*)DSwN>mvM^G{0u?"e(c LgZm!DNU:=u`XvKW2]%2Ԭ"ݤUɫ M"+!YCE֝ {V }ԨtN]WrqOޚ Ns=y11(y-;VeߦxF*Z3v=Rw Л^k$ ֐jTz(wnuUKu O"3 tH;r|U'kIPbstxt IQw-;u 7tol*1/ǔ<̻zB6{az#A5 oJx06F]IDLkMb4֡#ҥѴ^Y*xqwx"{-!G:"ᆶҖU}yVDu3RF=X3zNOO\bxIA6H(({]UœdVB1x)t5/惷<:I0s{"@4Sk\X X|t#Ytm!V< Mp}z.SL'ИY-wDG)޽+0[.[+Fd{\Z}T/"AY}m Y٭ Rƣrrn#H%]"Nٮ q0 A4^X!r/Z =N\ :jb2g#u#ɺM*iٹp#29l3zIP&hhLJnI埪8 _MܦFF˒>z bB>7O|̎.5˧_/s: =~WD41Q&sdU5MT Bß }Gqqb2&-ρ eKܴ8TJZ“7dGH|wfF)_蜧'dDv 4b5t+ޭɡ! *a &fDL]NL0mOA7w$>{IHK덤_l]SjHͩțo0[q[uyy@yW+r6w(c9%sXJ5-s7EtfeOo]V去wMΠaGR[ $wl{8ƺl[ jL]|(pG4X+oA?3^.Eߤz&NgU9y" Z'pAFCfDfzq D8<5CJV&"s쑹c\V^]Hkd|^ )\ޣOTk[r{rR#rX*Ҥ\Mo<!+ڰoS XM½F\q7ATmaTu'cIlfza TI C|˲!RŇ[U!^rOo[NjTxV>MfU@ Ez^} O4K{84JCb*m]c|Sg@̙U冓y>fZ(/{ k.+ CVm [YgLBM0`SՃY>y", W[B˭ŻZxݍB5P iʎOŨ[lg}Gci@EvXb BXZڈM -!diML c#~"7ke!.C9@vs%͙PPSnE_t`/Y}Y"vx ]eI^PBݳ=äqdY}qxVv4NxxNǢ?2ei, qoVnRO4LMEg{emˠoE㻾"/]iPyXܤEg`LQK{(䅏Q>m*cE=UQS΍&4/]GN}YJ94.H;Z|W(pi5ǻs})+G7M]>UDc'I U*gFp# iw97TՅZzҷI'K}/lɫl}j&J&V# 6 [ .Q:6&@עuFpK 2(y}ee]k,~hI)t@2?\E@ǃp`dsF,e]|E=031 >[?ȫ~.n^20Ľg2qas<'QD.5fDZlvnR(+v>l@Ya ?ne4sq^9~˔1EDUėaRBL2DeCװjsGmҶnгPB) 9j58kDxY'b~w%P`pP켈|3b<&;X>/ ^F&8iT!>09St}0+QXHMt}pvSQ%w.eoR y_|lV1Pe/MԕT! WrЏd1^, (ֻm[C;PT$fk,AH.fHml@.[qk_iRO-  ;,$;% h|&ci ]R'ѡ<~p[-aT:x+J!kid>*9Hi3NA}ZlWKI#-~yYgVRxaG/"E!*π^'*PS 8FB|/3sN "/LӸ(kr7^Und9J5/W}Ĵ p=h挡/ /nwr?RPcc'r}# hWj쐨a_$923iR8z1zcYb+`i"Fq_Wf ;@p v{iJzP"H7%+R4ݍlDh  ]m1]xR68QP6^] >ِNV6Zs$ r-dW0mӛi> e\h5R>$wWi!An] &P4*ĸw>[ƍ,0}z-5u1N؏}# ?/o hCm"1l(/39+٦ ڏn yrhtH1- %i| ~SF? Di٠,nӷ|,эξk{BD,]dAOƢu͚pV:-ˠT71CW9ӉV)&WBr8TL60*Ja qD0ps%*֥լre"arGϧD;"X? }ь#,mAUeJtaMa}ii\^wа ҥ1hLa{`\Ei굟7jazP 0 *oTCI[dM#^xЎpG×U†9`wokli;=e|9@W d5:MIʎ ?S؟1z㥒[wc sV/* &4c]c:k?#kB;[Oo39eHQvl,KcgJhw(RRMptSğGاd7!rGE9O 5Q Bll0 l >nZȝyfsNph.o;FZޤeD4AT %%vDb"L:.Ɠ=d\hᥝ $:Ju3hd@ޣ(dK~+P50i %6E_ PUe U!2R@t@yPdsi$U#ǒxi]+JI1 g=Aөy! +!oW=Vɏ,UlN=[.>QM9N"L 1=1,6ްM7Zÿ{ K:K A"A6j:2 =e6g?S,?"*Cy# .Dz?tBJvպM.'<.m/UHS~ryVBondz{ίW0`6NFGbԏCYďa`XXy:ۼ]@ԭ>f4n |ʒͷ]J vʭw`؛c5Ti;^sYz}r_ G8=bhml?ւM9zwі=VP- dn귫X\ +*U@y[o='ې[C;Mkz {DF(809v8[NC"럻-&B*; %};]Q : 6ҾpNPW|x)B5 Y'6fX(Yp=[?&KOt\p@m=aKtoTQP=5&N`Bm ӧwM8m[+զL՘mBW"M*X["쪁G41:3 ך]7OxY7[0$Ym!'1VW¸@*u- -{rh]b]ʝ^at* oCn f(c,Hi6τ[/PըO u]o¿aCncPJz8M U @ 2?pJ~b̉}i*Aue&? meOu-v|~3Ѿe}a2Xu 1n\q9,}57ԑh*bfھg,ߟO4+AMF2Z! $|ؽg+Fpm?_ɸE$,QP8 3R5 O Ra zȡ&=~b)q/>ahuwUJͭ‰rOTSQ.!͓&E) Юs~t_|)oIX Nn&OܶSP<|2,]/3)or_lOj;K0W/ .F 9-`}+Tֵ6U{6^L#C49^9N.9I}nacu۶5/+ke.O a2D}@Rޚ2k$mP;=zV52 LGu`GԙQUXO$K)m^9/j{ZU*^e-Nl4a,Q<xj2G>`ۦ9 UxW:HW 1yi`,;Qo}O2M"i">xrJѥnΘc2v4zr, &+|lI_7(^!b2&uf.fPԦ9-}?)!m`ynκ|ZL=65~a{t/0{oHͥm3FgsXi21b3AoqӘ:%0vu=zԗQ`THƹESKaiiz³yA| 3)r6(р43XE.Tx sN@ 8ediony'h։e/3e˴VꉡqUǬv`hT%3BlS#ʫl7 /p䎠]@t~՚!?dݶ(.(QW (%fz*)MP|)^Nͅ;jYn-Iv4T w@;MmJoGkǿ F;°Cf ufLo`h8/YAgv3l@~Q-~e@g$ ZHn9IU[iz+za@ 8'# (ZӍFF:no:]zOâ[> w]q~.|5>4q`XW+rԛF2ӮB"AZ;f J>!>yގb1(S4P 3j#:28suBfݡis!' Us0`2-s--b6tHfV+kӻ%߈uy{4,!9t 5l=/$kSf\,`qEj׌lf*-Wq (.08|"F2W)/j h|EdoYtOɬ`_RžsZ}XSav/L:ohKF.5y` H}4Fӄ!|ػ_Z= FAMMq҆j dI|] aGӨw%I(o{Rdz?xQ;Pt[#b8!-rJ6F"3^짼 H={ﶒ*ڶTaG (x+DgCR ;P05rv]5Yi5F [u+gF%xjȲ-^ FaBOqt|w6<u#x"~%n4e]N>Ϛ ~gYZ rr+# H}#^]p2萀xJavN1HB%>A*amMPbF0\ٮ5m-[ g9zĹc0YtpkxߋU< f5dB${u Ɵ q]#y%L7y%ǯa1Ia4`ASXmN$k(ЊΉ@Y -JF1!8=rfs=L!Qx岄RWEt1S:K!Sk:cNw c4ph~=w>V\kYwsۢZBO3/ t+J85lvu"eհZĔ>#]UUD@I;F$CC~#R KY"ZFr>{I)C-]yHNyr(b 6<ŖuV§#*N͍5ݒF{kWot_BM.22TwowX/knAh49Ȟ)zqv_l-1..'kANQy)Z: qQSJGD/ Mavl/E.fԣo ~žI(`v iyǎkLlraޔ\ @d=9|µ(eZM V}FX4 Y}E#>Q7@}.[MaހفcУ )AV7jp|p*fiq-u[[ډrʇmj3r$VM {C_1?U*(sUA.qg jN*HaOO6[\`Y!TbĞW0X n$KnV=1FZ2S3p^.Mtv)7lt l]&3V`j @:FQiqP_Ѯ~6A0َ8}g«)V[=`+wya-8/<VCK38RsD~^F49wS1Z ՃTV$Q k=/Xfe/D#BDZP1}WѦ;t?>`c"ѪR0\῵Yv tinQəhaGW)D`}v1#m U|NG=S :8.5c@:L!2I"WJ4} X4"9m%liW\]HcoPWjCS*ztYየJTآZ $Y -_ɚFI䳨JӒ+w3=ƬZdهHJHfOCkḨ]Wx0AA3NUw7ueru_U:B5n@Z5 ؝҇Dw^!A?3KidJ!qb~ܨi_l$43| .$LaW79| vXC^B6W~ˊ菓'/\p[鿄?bD!wwdN|{zaj [;Ւ[mռOaRhY1d&Ir5,]>G3mþY ν<ӾJc58zs]4%܀4׍r>6O]`L{+]^,u1Qyg"#\+O;WI }=b4.HvA Hvn]!\խuEȸt0 )/X)X_Wdb0@meJ7 aF+_c,oP?-@wa ;w۟F ~'f]1^sc,{[p /X f9 6r3YKC'Z/=jl ͩDBKq4lEl֩1ϯ(HFgcRlW #EBvBz9%@- 29@9O`툅c8Ss7m II +4.vLŭiZ `ʠWjpAR>pgO%düR7ͅ=(!r2fv4i9*FAo6cf9^ɂ7vpF m;gz(E:G+]vAgQG͹R^d!1x8șn6uZ?~#YwnW9b^~\E۔Pմb/a[Vd3-07i5&[-c\9@B/O(-'0 nrȳ:xEo.ih;\ ~s.0]goyU[ejlQĂZwn`{:?v_:3Nsq S}`gLQdD铳*hMSn5G%%{oМMgg0lB[fi|dEYaϮ*!z2}EoJ>My D: }_7%A[]jLV#SleOť!rw s NƾRS$j٪U Ž@t>l^LF-80cCh@ ؿPuI5oYrWH:k x840q?I WfqecSxY;.qkTE5)Ͽj ?b#1-w.Dg5G!  d * z K&3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5%3-ZF-InductZF-Induct.DatatypesPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׂ`YDub1f?#uA)Vd\d aXqeDb^nC9aeV1\!JK0B gW!_ \G̖ : nqOS_qMkgYZR#9# LZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ 7_>]i@X#KZLA $=f>=:oAq"(Xq'qElz[ZQp vd fg5OyTwm5vIsE,/ ePwI Vz>)ZzjVm[<ݢ"*SV$[nf` WflҎKi§"-5NkNJ^v:DŽ~HWV#Wh„˚™u|w(T4:%z. Yjwt*V:D#oJ Z8| Vޅμ2nۺ S097 (aj&zM9 ;=$3z %/ŝ+VSBP4LFw{ѲA%:YOpK+B9|%/k0{8ڱZ g8ID2N~*?}syYqV-'.9-AȩwZzx_%;̣84mg􂞎<.6Hb$p]x8+&~iI_ֹPQ^k!Idk>Um+r;=m`RWώ͚6+ݡH $C"q} ve;TxR'c%U0$p2Vw]CoK{4OUAѤpf.#C$Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' dZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &++]·Iq n[:|&[zl0}!vH}Qiή<$Q VAQ)k!!eb6so9u~"'__s͠W 7mwMpz}R_l§T$;]U\P̻|O7Eݘ ͷ쉱:eWDO$b` JCVX" IѶm *P¼"a9JB&OvZ JީYrv1: lii(֠\ޙ=P91o1FTޭ[cF]d,f=QXb` -G愵!ꍇߕU`5Ï;.c] 1GD|T eRDQoK2n-qͭK(mS..;K,J"t9 8ܵ#JI3w-á#V˃U3y}ރ#0xңQ" Hx{#J7(1F⹫Jv O`+6 O`3icF⎴L\e2?{0pDJ ;&.$]#Y3ߵ)}o{s}6aA}u LC!qΞKʦ x caԻF /Imʒ0 \A$k? röOn-SMymTz #Ve7lp{R21 2c]u;+_&&Se]1~]`9PԒx9Yvw41P?H]O 7[֙ipb&&?x97CZ@)<`1 MއzNH]gַ~t<>Dg(0JJ zU叙ad ?RP߼U|VL cgYZ(5^"bf%O .3""f _` %pHY6~x^KmT!ϻŨ16Lj~TxjkTwT:D* "ܨGYu94p3mТ3H%23/zAB5`Wٙ(KwX,fng|D4gkc_6yhDvk y.rZʕWf{qBA\/^ Whqw鲎%bO$*肝p̥f{}$J`ĮF G :Ya_dQ!H:-QFJ:7ϭZt/Rܓ@%R̹xVV$HœY TuT9{~W6\evs:ZjGXm-^vmSg)d8X0*d Bԇ0CMQ3p榻KVDdTFm9*|ힰi-0I{>30`R}toјfNyW1ˊA a+栀u=# ʮ k(]8;fY-$i`9䗣Cu.$2.IbolX] -UemDM)^u!&y{B ƫ\Ў5Դ6:'G6݂mhM|l D'%1i~d s \~- 2$<bjԕ #)X׏8Nɟdirҽ|qʁ+.KE؎T8po@}8|V5q:otɖչu%ʼRGhM}L(sĆT Z*HhP, G`r8M̎^4k#I6X nz}Ukvn(^;` >f9#,`}XY_H2Bݧ"]T9H+ྣ'x|H{4@{D5ìe];Ħy鶻.$&Xwy!a! j몀9̱0&n0HNҝw8:5GgqtrE٥TnLïG>UG1hIJ ۓ8 9' '[:@^{@*KW9}!`d8JöC* *\ j-E@XcYtLn} Iд=>'WYbJ֍OpfWw:/&wQ>2MF 4 D:֕@&:K1(b..?/tʂlZ:wmVd_ba$`@d»`/pӏRX)8hRxFuA׃Z'8;rfN]Z ,}B ȹV|<TqH)ƲK MР^Y+)x׮P%mnw gf)z `òxlV=ᆭCP $m!qmBb~"Rqkh8׮(TڄfGX)FFm}0r .է?([7rN`a@4U5 SDiڶT%!e /LFFw/5?<$X4 ;FY}cTmy4Ԝѯ b8y[9i݃w,ľY*۽ꟃU+Ǽ SPaM]4P&J,zQ1X*S6& bD 1Gˑ=|fUSI2#X&#fDQi}soXCw-aBxFlfQ9)/,!52Y#pE!/7 Ҋ(ygiga-wv-A{ZM',*ק011'1-5*xDݴ!LJ0_d;<6h:mH["3 Pmy~PX$!2ihx!ӽPkލs] "PM.5wAGPWSQThbeVֆe~N-br&-ӃP4h'zh:66r7#qZS'R*|X%_3R41,s-;!fn45B8o|,d6B͜F, <շ.Pu/@_~Psti2v6v4)3ZtA+ET8'U^^EESM!}#XqpjhG׼-r_3 |ai|/5O@n &g a ,qi0̀*ʩeU< H.SG]@E7\6n>o*rHنͲAl_K+]PmĈXU9ݘZ"j [k \ DP :C0T2k?K"]N_BVNvZ8-uY1nIg>;`J| UaE/,}uu^nGWU5I|c32Gv1iDuiOha+~מ"DPOIXJ-7ci#)Z#6,cLOW,R2qhP݊;}N۽ءWavGhF}5עN3-s>W&]kjGMʞWӗw TBhۤ/c 4yZf=9m8:o_ "*-"иpE"!l Ǯ/g*mLL+ȿ3]s]v}m|+ `gYZ $fo$I*1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy5)1-ZF-InductZF-Induct.MultisetPIDE/document_id118=(3' $ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UK]·Iq n[:|&[zךkKN.ԥ_l9?6dc5#| J'ґP_3q c1p9H_co6#ԈՏa8 \Z KG %4ˌGS9xŗe1෽n&gڥ?H-ψOtK+ȧ}]7Hw +!3}R,#^2mw"uƠ r6NI@Ҭ(_; sC|M865?s@R2S/_$G̹R {I(=W] $`"R6jY|\[|Jy$/Ӗ C j>8V*nn)#VWLޱ=Pᙰ qI5mJi"k% ZCt`08|R15RA /+~C;y,VLܰy}J8kQPbS"6|RtT]Y0iBRuA>WN]У%B/`\˩z 9åE3HP *c VT_RnBjB[TԠ:{C3x%\O~9BjM/80_e" X>uh;a[hj ywv=?"8f䇙y}OA4O'gT |} ы1ZO؟e[ |z&=^75c˗-+d Ͼ`ۯw7Dd-&?p^~,lN1¢iF[E/H,r FZ~q'锉Aq}lO't 5YGB!MoƗb1W9 s:&B95;)'); &.nyM[XH-VΩJ8Υ fH {4zϽ V&mazrG1ݬ|O k2C˼LB\wbFI iMH"m:7&>N7NN(Bi7@6:á%1A2BgP(AIbkݻ83>sSW'>q-̦F:T "T!s#c6ܓVw1ӿVqa| )Q Bք'AK9>T  Z)'ή ;*X& ʴ%;%5eЮ`w.ֆ>y~[6QmoxaCe$}S/- Q?,g H']Qo'ڐ4xШ`[1b5 "Vv8䅸14O`݋Gw˩&T5E~Wqo,loYH5$Cx̸fPœ{䤴A Hdkн \>[=F{Ke-|'E͡ Գ%8=8nB vfh+=0u͠DR#TOW陏BB ԑ~6"’);冀q<5kN)K_|jHŨ/ǏeKC͘=$*&v$m"G5*^2m"ÄP`3 XNokF4M/.;5nEZʷƏ% T^O`Em`tKoe2Y+ͳGT߃!`x6t"ؿx/;6lCR 4@a''qU-5 E eo(97CJ,9Z@ '9+@́lVTcuG 4Ggǔ3g o"7} C(ނxI5Ix!Xx:eZt+"ge |,EngSE5ؘX w|o=֝aAƑBx2XrSyɸU 1 ŴX{ TaW D=R dVr];КgΩ |:Xs>r`.v,T Q`ޏ޴n>{{J4=T$fk!,{1hbk1Zs_0-KF:԰DM~жeӕ>BƤ./rqJfM' T6uw.B?IODI^ oX+7g#i9U˒_34Q9-4X2lY}W %HuYL/ΌFal׳mPOj,"TФ5~Mtř#.e9x^|(C[ӹ\6=V%;f"n}:a޺5Gtk^Gm wj-\  rfAg, pSfb1eRc= !*ye6Pg{) 4 =G4=.x&Ӑ7LcVD ,n+R ` ۥ[]k ;Jߖj \[LhJ`{7֬3YmcBB\X)0AZW*zh 6b"pgFdUhrbT$\Y.Hb5am@ZJkx-J:t΁GzA2vAp)I ̽f?5,zÒa7 l]i'iͨL+}y J| 37ZC} }43Lp s>Y>|Zr~hȋVt`Iil^ lbq7k3|K=rSJfLU(rs4ɉUZlxfp\\T^Lb9y;EG38-WF("v!yDݴ .nxmc6O^ LҞYB)nxkCdCt Q+A9wjrS sJS?(IUn2^Ө}Mb'?4;;H?nFs>g4p`-i\j|6 "VxlsCM٭$HEK&*%'ȭpQ.kڳKYUYGo{k$~ ZdDd%j4uE;139vlz~R CP4n(_0'wH*D(dO"f[nnDK)5%䋬CdQ[tb )yv˶w6JPñ81ٓJAdBSAh +TB۹R`VKKКG V?gw \/%$!iA3kNd$B6=bJdcԳ}J. as`=L%{fwأjc+j :s *SxMί2mopm8lSĵ%7c⺍BnB |א<@#k}M1KS7HMQ @Z5>gX^9cyU]ylB?ϣ2@^7̧{DD&4rMC#Rso/q's'Af߿䏍 V$h7b]WlNKKt:AK:iҙK`7#q@ʖHc1;yTQ;p[m9:2k#F =>4 ^s>'?66A_F1zfGi|j|>N91go=gү(:)w< V&렗KYy1}Oʏm>H}yqT\>O,i?if`X\5EQ'߷ /U/F=8z#Nj@XN&~=ՃXߋKMbE&1/yKs]%K.wsH2Z{ӧW"G98[.</o&}1) BL)xs9㕀&[bv(21O)U4#Bomz dyagS~K +7& Yүl]EBtSO0qmc\i~m~ @25XF(A$P'QQ]bOK$2ϘYH͚CIEOzZ:7L#{7foE0PS,{ ~ۡR95X%><WV9-BJ=)oꐑjP]_}n[`JÚdןWlaL>1?Ͼ+xL@ƨއСA4unb -1UV>3/}uK.̱" ZnR\ OO8\vP<߇^q96VN\HH0i[a\i9>/Cz8Ed@LNҪf'[-s 0k3}W͢2fЅ-v0 ҲƛR7ڠUpr|KY0J5~,*VVt\#p{㎎ pKZvU)Ǧ!U_At6_"4%irԞ,]W{`Y'W!;vp#|_Sú%6onBK͵6)Vű^-:-ƜyUx56˓nhIcT4|'oC}&ZEBwEHR0]KxkOLV7C"߳ kNʵT밉ղi\](`<{t(OF (/diYWX]fYHw!K47O`_QC}ȷnӃ;C:7\N533XȉuheY$r0b(>RI`5KGB _;_j6ͿL&6%{9G(o4!HH@ Sf;D/*e+Ak *`W>7:f?ޭbbUs}зċ`ኼT.;T:!eߞ#bhx1D]*ުŢF[o,Vq[F41;o Jo?(cEH4 OZ <EP N$Rv=\u.`S=M˅cMCT ^*-}x2)u#jҹlIT_U.1CS N?-R `]!>6{N+`gALؓ@r\- kAf :>h@#%'aJ(jAC} ƅ²ؔ.oo+n1tyg+%LA;*l$0]Bkw$2㽍2qÁ<<i!p].|M;ѩkYC|OYO72R^^2BTu:Šc]5ƺ6K=#M7>ųW镜 =qPƀpx/S,\Ȍzdzt }:azќTkXk6/wm$)mχW@$ç "3J!d Rki>1+6E{Be8*`K|*HOg}g[b][ƽV&.dn(`58YZcN)_6fB'_C:fRf!QHq%c@n\gK0.iYbwG+H!.bSu *715%qreOPaI0XxDҰjHsqAPb-[pa< sFݺcQ=1 kU=9%=c2TZytygRM7n]аN;Σ(+&!̷dP. z-DD4cPG|fU8?1Y|.7S΍l~2;6"U"SZhyDاI6OeHfՐxsf5y2YQ u·Z/N'Q 58ki15Y>R8s { tgA=)#·0K]TB't8 N`*|!x:lGsC[wi\;tD3TS6 i/ >?`b<Ʋp@Kd%؃G-H$ ד \ԝYNq_8*#X+.e I1iĕXZ,g"*ƮJC,̃? čݖJHO4+)#IۈLPJ1JkS6:EҰϚI45kG?*,&{i4 ^4fI~*Y2 ]IcJ ,ď4v1yp'2mlK62oj)?*`Qeݟ i !'Zt nWD W7Rn 5LI.b]aoBplj2,$+pP`3}Y1 ̊Gz^o$^BNͱJ\( E691Zi/< _P #iӕ|o0r0 LǹƩM/xd\a˦Y oYj~WGv3`ˢvXa m؊"ɉP`(>b""82}ZKCV,w(k)-!+;JݹELYvУSkFxFwŰxK1 l^WչebY`cu'٥R/hw%;8pLߝ8,6|ˋ-;LFG|4ySN6o (5XFR2'?B[K s$KGwEơ&v'F`SAn΂%$/-݌{r /|W< 2t#dzZ3GUrwK@$VS'eڛL}NRW2A2xXƪQʗvȀL.y[E$Vո7iʅ ^g | e4iϴ'M;’PPCΆRZ>Gca>eCqC+I)JO/TF$7 1Xey88.V76K+Y5ׇA`}4H >]~GLGIgX,GᐯCXO@luj^ŕViWT_h̍N/O99*lb^{wIyn1tIS/USNZ=myAqL?|OxbNy{b0G5Icado6¼e:3\<M,b,btP?U]Ԑe.WV"*QFzw@n@ e["5Dxq8.W) 1 _<*{@L)7\vJ% y}JQֲpƹYuArSY2w24 {g* JQjĊ\ӚH/)+K" emfY/"\_dF]ޮ.+Ca+aj}]C1ׯqE}^Xˈ?t>Z] m5"ҍ74[Mk İ=%8. K"TGmLY簫hO2oXZc ū…A Ie#됌J g*|y`F 7H0lĸ86@c'K]F yݝI[OÈDžjw~;36<Z#ǔWHfiQa5xY|bjޗqy~ȗuz_lD\ TX>Z."G NWD*(m$ݸ & CaLf+EJ05VTN8] P)KBFeb 6;2 td'om(*HPy{E&/%\i͈fA,~ɟA{4 ?Nr8lV H26 ]O+Kپ;cHLx ͻ'. Fu/d+IŲfggJ 9)~u/VR2rעƯAX}qZ+B :v*0<>jő$Ƕ;jqCPׅ.?lK0!ksul!pnljmuI=)X **oӍ,&ܟFƿ#+|f٤1!ӽӠfZHqRjsLXE0A4[e_u]P+!%NfA'tzlkV";7ǔ© WZ} Һh9Ph>vg&Eh'TGsSv7CY :2^\:_a]S]ST,s$bƒڰcZ{4/Ex)ϣ|=EG:0x(d]JC^vHz\C]LFxiohGmc"EYZ}6)zl%(VA\F'Z)~ݮj?|_G&N+Y r .J ; ͕ǕdPrs8g$*b2o'†?%z1UfC 7H[WN!p[qwPIqZ~Wtuͥ ^ b2_E tn.x5̃E*s |1QԽ [4S8/uK-$#G1"lAe\䟯lrpCʦ_ Φ;  ,5}v:W1|0|iMÿ>'Cl"(G; ,3$t*A̅G>PStn];Y*OA}f m'5U̳ ɮ*'h뙜=D3y!ӳ^jH>.H:xwӯ.[~`Rh\^Ddln_F߅3}6ZH !rF M +_J= ?Ntd gRT_v縐~|+u?cmӎ*tDt;M:-c;+ Cޑkr2#a х[ugޗ9bZߙ(W{Ox^'2pC Et ˯+;l$ЎY?/5]1 KdL` _Zb2~:"aow,up<=cCuٰ+q}Py,M_IȈ "k}F-/XtBu-o=2Eݫ?s_:1<69< cqE,սm:ȒCbFg@TdjӉ{F9SFrdt)?˫$ĜK*rɊ`t5`4mJJ;fR`p3lU;:n8xf xVsSS@ 櫠z %H׫m37)w(ӷi#>\9/s9Qέd2@4wxo:`d*Ix+miuw^~);x=yF5T ra)֊pFa?)+D7"XQ8R*5 C[a]WUu w]c֖BQ?`@smeUV(G9eߪRW*952MFxZ&FhGߍHaq=YOH{0LgK #Ɋuf#M8˩έD:[5B@D",O(%3Ҹ@ɢMeC0Xd9d^oPf=zObTPs[G",SUEK ̑*b'PН kmϙ-0v&3yTbԵ4EvEmW†Ua,Bdj$C0tޗ;Y4qf%N(6qƐ#{sݚ r2_@õ+(=dѷzqH7OV1zA~Y@Xh,84SWy;3WL kJ$~;C˲ËAHK ~(f)XCyEM~;3zqU] ѹV͋&L]^|vğT1+G?d܃r:/?qޕ<v]GEEc]Zoj`+qN`O!~ Kb yR}JTTéP=UUB:mc|Q=]\@elTJhFD3Krt@F1iߊKh6;]\3֧,o,2vKy~oUI l*vG A@z Lax6=RgB=?J$I԰cEB|;vUaM\U&haPobbncטUǥ`'Ovhwetd::o"l< ð{.=E\~*h}l,`e,s}AsD?|To<-IiWR9:;XijDCmGϙ"pBgrr+@L,и*4 r[3$-v.`)x%` bq9f/i mdAw5F n‘n1bc(2@"Y(UQc, |~ųSK%QR8cDhSn[rck5QML'gbO-EGY_\rIL =>jHόdhfI/ٵj1,R`h\W^VV&HG]pH$o< -'Y%G5eR MΠyzW;'yZkc^vM|j&+816ԩk M:VK >)lo-Hn+9L C GBq\Ke\k[#䚠)WOFlC462/~\MJ^Wƛ%|ptej_.?k9ڳR99iDޗ8:Mc6].7oFIBP8]E֬O9B=hO, փtD*20|H>%]:v (}!{/ѳ}^f O( Uav| BGGR zdJTBaUw頙y:r`_DeN>AX߳]IBX -0{kSͱ> *VB T[7E6?'V]Bhh|a ᛯ%>liiKyYOn݂MoӇP/FT)~n=Dw[%RS|BW8S(l5PL=h P\Q.82EPȗX\UTr&hk-F`uS(AfkT*;~Z V8TDhT:j+H *l[vHm+ѩS3uIY #C*Ҋfj.,try]_?mPN+] ~:niķiv?"q%AiO e۰ِjkB5`ag-L_A%R LaÀ[XlE*ߏK0òc ?`0q/)lhU:{1.Gc^ĠkS2kۢ bƼ8zޒ1K2cHwlHP`wXL #0 o۷/&\ɶvIL^dTF:ᮼ,d71׵@aُbv8rF 2FTHV9`X ;\tdmjt8F@-!ZD{)v/ۇgfQ͵mo3׌ɩ&‡c~n 5ĕlS*zurF~y欈/.~Yb4MϘnxJԸ4<_ePF2 k";{Ϟ4RS:l/ CN?HDxs)|uGI,= U~rU-\g{7}Wc6|d L؋tf8݈.Sƥ7HΖ"xEei5)IX_J%et0ye:]lc O빽a׳cDfL.pfN`cUu:gw8m֠bvH7\s&RNE^nabS8IaQW oч*͂;4ao_u:ë5Q9Mo0J/ɥ%I(aee\~9 [4;"*,*U{HjKnh_HtLR#JW\RmQZlm௞DK\RcY̚zetgڋ{J4(7W !Xp1wS=\3Axsp`iw#*93T'Nefü8e.8+ fppsGcj}J[uႶ%z1 \|Zb4̿lf\ìNh7jE0h~թ|>{ gY)?[޼rPg0+ԍݍ};ػT!Ac(%=Lʁɘ9DDqᾮ(|9F'=C04l2P :!:t%L(صT9 ZK5 O)rRѣز`ґAMVr/nJ+z8hF!0}yd䪞R{ctP+E &yY|`͕{ͤ7?e}gk39(s'rΫ:ݾx t% P}FH98R:2 8Pxnɏ[<[nܶhrs%nC+)@}߿M ^>Ow,|sʞt+6:~_}'Oq|SR%f,`n೺wJUz~b~lsm]Z6̅}35SwbRSǓASz"x+xBOD9Wi$>0e%1'pͧ$I9'VDTL}ROitsvLTkD.`U7,hSǎ0w71 |σY%, rɑ;!؝NV4Z(q<fk?-]t$O]3l@/!mlI[K}-Qocou3~7Cj5d*ʤ%4J/l9tK+Zݯ4+v5xFp7tڍWO$!zYt=M+ۼ} x/!$W"h}$LC葾qY_#4w"mL9/m`mM5!l Zvw1!*l֏^3[f͹PO:"c@t{?IΫCh/j2x2l,}_ =' 6 [:Xp;/ľfw;} M0o1gSBW*2Oz]K%Iߐx'A:IBeVD/!ұ8=#gfkEdά#n=><\1|A@i>aP X:^(KP1 `NG, ?.TYo 8IG2F2={:0:'ܐu@`Rt;Ehh#W M=!:Waav0=@89]4QvU%X]mtg'=KQ0`~k=y0?0}<`WU+ڙΰ=נ媘U-eƇ&,h// 2cUmKQQ5+h@*+%$Py 0үZC % <8z|jT@+C?7,TiU~<-(?Lz(m+IDtɄ E"_36R|DB*  l̃M*OjI Q#A #5{_dάjab\L\ xrg4dB@M;׈c48t z>V~!0*H]X}pH+|"ItB+6FRg_eZ53=^ػ2$K ̂|a_S)1J٩) |&g\ r&CL+*!4řT|QR̹MܛWuLث5,>4<.D4xXJ= ZBv>2rx[V8i h1 .j.O^גQ#JwWUtW[:' g_xXn|Frѧo҄N"H*w"14>̋ 2ӃDU 529 \M(Aľ&x]XtB!xDzE{³sHLp8֎/Cʞp]3HqNejAG4J8FXΙ4C4E^ rm4eRNAQg6 R&s4GO9`Y5;[]#|=tI`S mETy:T끓>; #~~ Q8zgԌXL|KfN!øm3$jZZ`8a0_=uԆnxuxmԯ QG_;%ƒ*H.Xcp} _Cz؆/A4*/7<=q7'̞wW`#>" @ڬ~G #mN2:s )RGb-ādT+nKid7= q=UC7vGC@(Gk'oX_z'ª3NƵ1|rB4HxF we"![#/ULFt!q59-<,F)oWsֽU# -TO4\,؎s! Y~i߲1W /O4|< 9~3>?bs,_PV)"c_uXߦQ<b>_Ի)OXp EסCcH gdvcټA22ujYG#[* F2 q;hmL"{&dyȶdɐS:]*%MyK,4 2gǖ ;Te'/cN N˙yrC) Ng4k8ѹ VthV&N|+#G@KZne&$hfƽrOˠWfqUZ4! "E0"5ETmFDDtYdģ$z]Z:[`#BX.΋QC.RDhK߅]*'umv+zj>a X{@S6J ߓ1qp:wW7 LqƤ7a,If"/XHjl 2[~i)3RBl^qE;K}R4RJ{Eߴߓ+?}S(/+dٽUffL[nڒ:-|{(5/vM "҂ɗƽ} 2ٴ?K}8Ypcg6Ģ\qO#4F_).Ýi͌Lb^ }>Lpb'G}r7Unj)Jn>~`6kMJueaO4e]ZB*}yIT f֚hqymbhKzbTCkP8 REC V ؑ.a@tkjb, Viū? شՠȵ3 %/j;{jN2@'k|YA ɜ}C[nĬVU@6wG+L/<zҪزh]zmU2oUM ~xqY#> by'$). mLg~/u8qRڜB$lZO8,Ȃ X ppj4JN~H`En6YS ay{WR2*q'1LS10Iu+'nJ}d 7Љ;j651y kG2r)1@-" z9Dž$}xdm[BԻ7f 'RWf=,Pb 6 yTU?;ZT-y΍k,?`Mz$|ǎa7q:l\!5Z$0Iu.VBbP5ՙCbGv YYaf:rZ<.l}yR xÓ{ۊk ;rO>߈$kٵ8N5 Ǥ17CQ[JNߨX^X^_`2AXmP)H$x9Ÿ*z\/PW)mzxQua,F>zp~ ?5[`$#83%V(\5JZz+Z[teS[k;:osR+?} GEuksw}fS3PCGg`Z Mx4:3})l/|'s{`CjK@  ޥZn{{U\6A bgrD;FfEXֵ]ߜ *N49ŲcR|^g6QL]Jw*uM*/ Y&UsH5`DP͙]>%gXlѾS|m "j|vU6NWJtu8c$HXՍk!py6" OR  }X~0vXWGx$& zh2iogiDFre9pl~Gؒ`2u eтgI~=b*6i]*V7cFkCojኺȰ[)}xly J[נ[ 7eEx//7a![ֲn65d?7d1YzUڭdzeC85ڠ0͘;c&w+~=opz[)v%Wz6BP1M>TpOFmp/ hﴍp&4FYU[$EÑ˝gkP Uu/ w(U 5Ӄ8lw7u}fuET:>K#= Xxvy6GAPx75l .QƳd?lx7pr)=˩Nk&f׺ XE"03׆T,v1?DFݏYnRfMcJ8|=L?gܨ.PYm(845=e"B o榷$AO]5h,J}$"ig9#tĖ͑C#$3[q>`;hCxtW9\4"+( |_slu=e2n&z94.:),J2QBu P[)re\F aT'iNT)U`Y ?{{f8Eu,?ld wPԨ{[{Q@ѡΉo5i;/+x7]&g}԰lQe[y02%zc{& =Lk!~tG2uQiX2`gbiSuİ R%j;j*;ŧ`\wRn.F l=DԥiRx/L9Dy/"VmwhG(۩Kۮ)%oaRnM1_hRaŊ`3)xb dUa%^+ͥ) CJݢN6mG)6%dv~ a 릥F,֏!,P!3Bs>bGZWS~gQ.,+q+5Y@rEA>6<1PoZ]$/Lڢm3mh@)Vhb&uoAs9;m]ѷ]88*ɷJnܛEF'vx-0,PT 1˿c #ll4FaGp1n&0* @`=~ZnҧZ8h @ޯtbV;\Z;BH-qVl̎>k9.ar(.5RD$ޔdٶ#9>v|]M LJiIFtIdıJ:_BOvG/PK繮6ݍFڇb k$l9#eR1֢K L,ɶm^uGb-S(d{ҔCrFyN-">nnQ-k봆1ii2qm15pU}pl\WBj# )4OQǓujUz@7'Q[]!й`(V筝9)+-vOHT;E9X;e"q~A;tӃxb1 FŎ5|ˎ0}B*{w[+k{үuh={7i(ؑ͵p(DmSèP=x6m5XZ[4+%q>}FRUF)^@_; zuN]<|;,կV2s&Bo,I*BwzgK2 #{h싢-mTJCDӌޙVs+;]RGۧ;j,ۢ.@ˁ|V "CZ7fac`%8xA'\M8]uʘ&G@mZ RPF,{ m~@#{2=؇*4jR=pGq.,Kz!3nk>[:)$ZR=ރ~ ]7^!tT zwK_^~ e&LVD,xPZYUo¡9S=`&evnv1ae=S$HmRuA\K*xTRJVP ʾ.-K}]6H} Q J#0x6b'ʎd3(l^pĉMTMTк+D=OF(< [sGX{ozO/T@[2[е>);mIr] $&1WO$p45%pRCPEcmd[8E"Lb^.eq-$@B]sd}9EwiQܛ$6'8ИJ<[#TpHC`)Zjވ@qPH!ڈ)8Gl· E&$pgoDBEa0#_+0C2F[XDDldaUM;x1- iկ j;_;șg?rY*'X;'f~l2Gwu av(âVXҤWٝS*#!Ӧ6օOp!3@)8A`2vͫd[/^LӷWl@h$]k隊3DLtIsd-t\lrcQůV(p 9g99H*ؓs rTYJb{f>6k.]䏩-ƅoLEՌ潁Բ+R.%N6e_q%{>|GڻԲ QC!9O u}te?)L~ l|G'Op }@!kxcrbBt \UN -oQKxiUPʪj'-9HGwDJІ|,H"uOђjb;Z =/ ,xjVD8S1].KJ|~k 2,8@^E }~Ս&|DkTxY؄U\~g ʻZ|C+,k-Gj-7ojN\Ĭ.O:0Vn%%K,(JiĈz^6нDi*[\! 1z=9Y'{ng"߼)ozY.P6e zo|Hϴ &0gdSCt0uծ{cXj05#:Ml4L>)Qqg=xvTsɿ !&@"Q ʑ8t^x=0KmgfOC~m /x#V|*XҰ|h=)f];m-%|'ՐFe| 0=T#۪j};_ɾ8'WqsĿ0n‰eμA6UO0k]\Jg`q,h~xI%3BDaCO7Uk!$dLd{~q!]idL 'H66̪a|>vDUiBZ|+hGͿblȾjP5M0FrU}Cgf4Xr5t4zbu4u<$$ lU->Rbcqvԏ8@wƳ^+0^MI}1C .숖'Dzti:@m6LATN;T.UHb]Z/LIK6`%eRgkZ&,OAG2u#s̳"WL~.Z-0z j581kϬΚ'шgqvy|Ee Mnzi$6'(8d%S>"dɚULs{TCo4K'b[>K\Rg"OZ$3r̭Jĵ+InmW;ejGȶz8Ħn%tgghΰ톂ԲZcI]Y`Lx.w:ͣ=#>i ?ͥ7luX q փ0}Dr(CJ]h9Z6w9q58S@(ۯv",n֝~ ^YwTrq蟓:l:c$q9N1x]Y`e7oSڐ?5(Wx'IŎ>Ȱ]EOuSӎ ܣ;s2 `P<$@ q߼:tV+z妧{0 Sт܇۵.Ln4K/\P 9{O}eo5A8h: mQ9au[%'nY#mg*%VG^2s޻Ǎl}ur+S4P>NZO81 ip EG nN*]Tb4V=MwKB}^7羚p0A̜'ǗrqPfo\%)?Z}XJbPvkc *{DhG=0x/Kq) g,RR[}CVpkf$! &fZ]g EKCW<*'a7 vbNz25Ӽ(zr,6 &WTƴNJIتH,gз'~2xٳB?;!K(рz_|@ _3}y=OA2fP>P޴>6>*5|E{ i=B/8BZwwKY=n/ -O,翕td>Fbm%I~<"zlHR8MZhٲ+v+Em2*\75d4?FxXh=N1TP\7F>kYVwͥYJ1vS,|m60r!a, 9}ȵaMO2lS|n$ L'z]ڜ P`$"44ESq)vhv7,w/L큼ސmȐMɗ)f c%Ѳ=G$&+֯jv]8(20J*C̻qxgnH$ K3<0&TLݬQה>DGW` ِAaS4Cy% Y7c뉖p׳*j}l@5# ?5.jq0 9?JQ&l2=ntW8QqYIEOv`c~֟c%]rh Mlĕ| K*ny>LW`VcB]mRNΠlh.V[' [X /WG)<+ @.;x K 2Pd kx( un\blwA'|f6kWԢD>vS -Ê Hhl19@u=?-̴?!7(*owQ&% q{N* CY?8 n?WӃ_G2K[̩BO//r5J401Q f vCo\i;-$xv_/'l=I2&?Ð+G$Q)f3j eDO~`AܙEe!FG8n|A67 ;lm֖h9u͛;N@$85tJ`ʼY:]`>̶*?3i[kkG<Ћ UAD;؈Gޣáᛨ  TK0-9ND#9NM%( ͊)FO 5s_*%[nUܵۈp\C$]Je:N.!eeX%+gHO􏬐c ſSgDKH79"GcJӜX'۰U`-MqY:N\)`(7tycxA>g{al}+22܅#8=P:&ׇU>f֝/pͰ#ի{T&7oKFmY~2ms]@ƻ"FQJKqGb_g.xg~GNin|`4l]I(znJyrwm"<1[>jYm~`': |yo%ob:ƛ&k%$,IC1 &|i/}宊 0u!^1V>£w('C9'~:f|Ṫ="S%#$0bIhV+Jԍymxz CF^D>?q~l?^*puhPׂcf$5ZJh#8`ݝwtA"Ԕx.YNWeaX@%T}܇Li&85w =XH&A$nU惭}H y$%Iȋ_W|W+g𱣦]]e>wl(3GC +vA]z%;cGR-?0^x5FBaOKS2=֊C%}+e$Ik_6~\#3i+}TEx Jߢ,*0vIgts!l@۲j͖{E|+X ~XOMguDEo頤IiHuS50h޷ 6Z]/\W{W"n=s'cƳ^C%~?1B]'Kl^ۨU3 .K)"&@2M%kY3+(4.XML2 l!{/0y"(HΞ,c#u[?l΃f!Y;0i6}x(/nrEK6&fιi+pZPw1}A0ȉ"S {2K -ALkX-m)^SɁ.AxQ贑-$&='$7)x,W4⠎g*3|{b:8d7ZIjȥ|a,¯KrxmS1!|6>$PV oq<-Q^/`Mf0?XrV9C^$ZF/Ug%Ilr7pHҭJWvkE[]Y(qBv^!XcQy&²B`6hZ's98ZLJ߳IY1ssJ񶁗$J]DڞzLKQ7e_"^e6ECat 5YB9k}I wȬT2IfyèkW| A+ʈyj|/$;dmq?#3;ʼn 2>#f-;&G|0Y?.D9y_5{lA!nnysP9bD Y[E8=ycފ]Շi<V]ae6̓L^OսC_pahi+ir#_>Yg^Kv*- 0"bݥrg\JH3Nbt1 W0[z.7\\oϽ/r?J3ũ#D?sFtuMX#R "=e/١ZeU)Gzxp,^{/uV~\uŧ72%^u՚xbnMtnOvגiwd"C({7KM8e=u:wQ,<¦?c͛VFqI\r}lCM\5u_?S=fm!DzM{>oٔ^l"WJ;WTsc3%Q?m'c]t~rr-b"3?w+ 6S9[R1}eP4A ܏}8UӃL`<M$眓|[r{"lD܄Aϊ8N)Ųw?z(ǖq?(>IZb dTV3*<W>.Ru,V+tawԓ1|}+dy[<\ U,d^j&[^MsuE&͙@|],D5x |%< oKS:lt>+{FG~<ڟ 3++^B*rL摑qHN=S}` .v r|<kRܺy7YM_c7oKv~e7C2,jMt]2c].+Z;[=d ^b'6Ƙ+$a (Ga:ZVl0fUO׻$Yve k>Bm3bVG?O{vPPޫE.yW-b5-erPmZQެVCͿp :wsãQUk>1~:4?]~S?]!X{JAd^~zOiv[GM2SBGFq%WC1>U/(=1"J5غ%WI'lDw<ևfkw9Oe>Bh]%Ds_N52Z$ON<U14 ?e*彑$g`B?y;d]P-cKp| w]v~0ϙd$՟SxVpݨ( }֗lB @ǿ @rv/BJPk0[ {|S\Hj91i$/NVR,tS914;w(lņ!Y[ j&{ uGhdQ#!&V\+ԅ$ÿD)tJYEf2.)iY_4 4JZڙ _0tp[^v5߬OLu4Mi(*ػ;lsc<{f8un-aES e*i>oS- 7QcEz7UrDie.FL\T,uq"?x<{^HIkШ 꼢7tXvΣfΚay5Y`1;\1}Ꙩ)? 턃GX`i3Vy#߷'C6Bw%ƎwZnC#Atp0m5j+18+@})IX𰢐𫚔d] z::^IkQS޷ihDL c Xa#wFx(J%٢ޓѬ_-qFC&2-i٢5(R* smū8VLj/C ^L}[!At=-$RٔmC(xN,5r,H;oFҞt@O^𙵢k~7nV$=1Y"wJ1 _WBU?A CU "I!.%GsU546֤V#26zܑ VtUQ;ͩ R-lhה{J8}hKNJ{af3L N5~%CI&Us_zDUgGiEFxҷ՝AG7\w8 88)ۭ͜V։,1ĘSkarzx^AۓJ7І+5 dfCJH+;yjZk_rma`!ElVU?^ŭ#+hU4!3.8Qs{V]¢JD󉏂xkh4}!z6cznt*x|l%*Ǐk-HHq6gX X|)H|_¹b34SX -*Ÿy1mLXë-\bNhdo.Mg(W_â9Gݓ{ c;nQ!=D9[іK+HoV[І3xGiӹ!DzO0351Q \8ٺfs5mB(N709Yb[qM>կzTR`Tİ,iݖIf6I8 eaw3,ְ՞5t*PZiS[de "K$`N44aY{5j BUgJskdJWڨvA-.,T2k2Sn"{j&vp,YONz^>=:m+f&z JC2ιki|u<5:W!a*zU&/ d.F`YvrV ڛwa4> M!%#uF\sC(0Cam:RN8sVp)ss[WjWŢOb(4@4XgS h +WcO:_ T҄?Rff)k`s`%A?/7>-B.a$5~'dAݩιwa<70_!^I!' M_= KFҚ15lT i(3 [1}LMf8-% L3깜 f,NRΗY2|1^_ηt3Sw{6y}͠Ss`t 1sȈk- 5dяޠ`]!Er밋榌<$F_Jy@sQ*$ÀiyxR1x7l)=*j8%y܂4R?-dEd8XjN v{6~uں`'v5D(kIZ:LzR Zxf]Y>o0:G6nt?Cg[^ $MeɮP=xjkp-l͌Mc1۽/4Jh$!EZcI# DZ2)^Ca1a"=vrAGEX1Np?UyN6M,:tRTw0IF-_ıӶ&ۀ~{4J̨[sDm:V[i)Aazu@r$}B,8%fz:~(y &@*-ιT.זv;Abqp_uY~=a$jŦqN&.nx٥.!sK HESԕrj$:lΪ#f,@lu,8dH~ECp[>>a[u-O&o( epXW"M+GSh >Z- |`p>=5yMRcdH= =~E!/ @!rel)q7` ÁHt !TA>3Ȅ2pARՍ䲑GbT׬hn9` ֛d&ߵYpFzr7efUZN@*)uG0]0cA%,NFI["ZHQ@O}$4yBe.-;w%Zʤ;uX .|W_IN'ʕmIxD%u?B햛t({ʛ$5NC3oVPve+~܆_wi7fgԓN;ҕf+}|~:doHUWMoT]P_pE2/ùRR3-,UN ;p*npK& h1r)t !Ell/Yhl++aMWEI9w:X5Fxt&'u{rLXüT:ݭ%WqX4 ]*.Y-!=<;T2wOBw;rHlrfEMހȁB4Tg+BOL%b5?.Z|K:w;UupU@D7`hLJс\*DϬf%7vϡs됴m7-8ʠ:oWuGas9<87ネ R{죺+-xDoI'*٠4n4;|X] ^6+9z^fu֛bF 枣k'ڕ?)yݡY A=͜97Y[bŸ+잽1x2.6&puu%nXm:k|i6?Gҫ-2 q @sLS$W*-G%![𺤤ߌj$[:щ–ƟM]S)̀!?R*nr%`p}Lp,/[Z3mr t@+vS gf <s4>Hxq.oO_1=>YRʢ1a^n 6h$hR K!ziߍ` 엛*jӀ&99b&- 9'YDw؞#8X jRP(s+9/t>槦e ,# Adx2}T@G$"L c(nyFq Ј Ґ>R1kp^{PlxZlp2?ݬHᵔșFؓ,rф :۩usX!aDlVP̽1Mì.P3Jb"F+~hhf?%=N(pn(#"KV aeQ (pYdD ^ 0!%-< A%RHwߞ d"W> ]WBgA R'܆%ʶН@B&YzNLX9y]BY2ߘi,ô^h $FsJϷlErċ}BJi1Wx4yL9v&}S'Pf)pO:"W:Gĝ`\.2$j <Ҁ; >5^^SU!}M?(Ҷk1epu`"Rdܗ,ܙm1kO,jק TH4qW5c}h:+ K OzղI: cSYg@SkmLw⬰Y-jdz4갖Z#kƽ+IL^2 'y51f:qp߱uA;e/"-UjL"HФy"Uٸ-ƈW>!K^iX͇G2Ȁ1&es VqI`V%yeT4[ n/\K>4\ 3ARq. 1Ƞ&{, ZaGi^`,Ѿ~ vXW9wJf r>J:Oa'k4*%[P)ezg'Wd!ab Ǻ%ƋUUXj 1>U+hy+)(ZJ8V<($L:}u}Þgt gY7[a,\iAC 7$B?̈́cI kPВ{1Jt3iS16`DZ sOZeRUt8T]N͂AF%ld8:uQo5ΞJK ̋{ WF i$VhJ]6 4sg ^]FcMdMfib?>hd:Ni|O&ɩAwQ%uT =NHT0o~_mWLYp7KV=65q24cwՀjŽպo*(6!*; }bC~νϷd1XmECiMX-67[m{S tfd{k$UHz#&vqd/!^~$$d/$G1^n >ꌛvՄ7[ՕwͬsD/BgRtgh~5tfS v (7jYG,z(x(kNX.ͱehmk^9ۙ\pth๥Z6I2\X<:p9-qG88yQrz($)fA2j@ 'mR &(p_δ aLұ` \b_Ü Arv9vX!nGhjRYu@TWc>ꠀcݓlHDG N=rik#-O'±!-l;coRtG^4(ӻH҂B p%<903"'@P>"TeN IZ ;$RhQLxRNr:ckf%n?^I6s2l[W@}3n;>T1hVH6˧H5h@bwrpc8Xo:oRdGDY(:BwucKl]cD =$0D"K kӏiuU=$ `^xEdv*T#ۦҼҦpxBsAHG낀˧~jypk'ӗJyK6ڇZ̘1eE.Ve%HmR:cX]exs-Y|^,#NnVсTV{LJ/dzd_S0ϰnEfPЎ&gYZ+ 1# lZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! Ң/]ˠ)jk2p O6LP=͵gl5gՙqjRp]/k 僁cG8cUiAw>T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x35.Gaɰ'wdlF9S*9 <^bk3 reb :{x}HhinȜǕrTOTLǿˠ+v%]UYS,9[ދh.ME\dK]N}~߇w,-KV1 {.rK$,EޜU^#(Qw0ʟqDǛ#Ps#OٜDG lǨwUfS܂(5WxO%=z"u>ӑ+Uzp 0Vj=OM-q ~#:Ѭ,3Oxik )jv_ PhFkEI3ͱbi0iQɑS&2)UW&)'sBdVd0‚6g:M2'zZK޿+(zHXY,湸ɔR#61X~>+\դixYx>l!aةryS7N,1n<;H&A A#ZUu4h^(쑱*I;]LrAXB- WRֱ`>xDO:(L^^ [ {nɮepxž]+1hU$p\lvdZ'!3r?UiIZ/Nh,.U_jps-%LЇu:Q@F&Ʒw] ,.v+Q$m ި.C7sU&Ru}ɑfF]cM^(tKsڳF!r+v+ X. A]ن$<niivx(U~ u{N ۿT0.g%EY}"qBE?[`K yҋz{W0UBlCu*CQ #e%OQ]; >ysm4U$I7kHʂz%YḃU][N,dW.rQ XƊ> qDNC~F'jȊk#5!)tΰE.>6'(a5TUL'9֭4 A'TIg U#v6[H]{~t-'A)#e}?ZkSY;ܙW|>F1HWe)7-H&nJ,k5+U])Ɣuv'Bd| o y Q/9qg1e>OއY +D4w?)#s#{(l.ΡK`sZϔMe!_|yn5ރ FF)Iؚbc )2kҫQqecCEI o eSGzX{ Nέ5<̵J$rzٙhk[#aUe]x7>p*n`'ZkKKsj:.1E 2~ 3v3W]2մr~L0 ՒDj^LEbMmj>I0ܣLif-_C-}l1"{e*E'ڂ{7HoRcdTv[ۼO;HE滣TXKF*<߼nՇj˞C08Xy)s i 5'DP4Uk\r_+אݞcqqAK[Z.< -qv.5M<(gE|L]TByl쎭WAHBUOon# PJszey%`Ѩ I)UK)LX."i6bC;EN5€^l^QB:)]!12:E3Jo @'^jyL _ʚG(\_1̈́2R^߾9L_z3K}ܶ8ߧNF{Nu;DHyM" mђ't/gQHJs)>gUNX3džm|MJVYZa`EGnOK듹= 2`b%Ǐ(?ް93WQ| k\CȓL.7 @tbz Cԕbͭ,w10,>B~ې +;¯[*`LPk!M#6: {q "'gx3`\EcH%r2nWikw}A`؞q&UH歏Sw}'| "M\g,c8牺: oad%Bn+KyciOD&rLC g]SoAfVj4 ֶUV"& ڥ?AlZѫ?cFr›Ar(G=<ߔ#l%gTXJ{!M8"Їc X:BQhntᒃpWpN]9~"z _=!ϕD-_ZMJL7/!bi/@)*]KBI67GdLYqڵHOYkpW5_[j.5?)wD'}4tGEP2ܓYҟ=OqHPNl_y12쑎DRّ@R7kѱIlGw}{8K`M׸\jdfQ q/~+ܱ;땟Gt7H]X5\Fmk^O֥;r[%ph@\6~ko7כ^XU,D5RmhD#$ |qE: }=Ģ:G)6Qv\f~ՉfWX :6VVApC;:&QW2@X)&f%P V%vE=Hc'f5!~DEth`C6轣.T;}=rqN`O8R9ßo |nWR ̈haE}tM\敓8ވi;m20x^$b6«(b'V =X]߄1YS;GOo.PThgG?8f>ߓp`oXu\7Ok`GV'a@;q݌)%_ݧ;^̇ ;I5Ieq4A-jnG$!rV篹)ny.5 U  fM:! Q/dg4ͱO# BDpL/D= ܏Pq^i$$_ L@5rsd9k)|KEp<,,$8p`gO*sO_m,tB_qƫ9G߰MY2^/$$ЁeBdB,< $y9=ߕA:DYV|,*M^TL"PB5]~wAc:YI}(Rê~O uEhy;oSrx)$ϯeU=,>h w:z{>1׹@зm_ul8G;*z:S Ϸb fI#W$Scɲ`/nL_B:*THHzQ[zi7?}Ykː`? h/9؜QODJΟ1J;D@iBz Jwe|qOFU̒Oײ &18/C%]N]U[*,(z􆭯Oޫ_3J:j*R_eD7cn6<03H&q3Og-lQVK+jS3[f~Cǝ 6Ib1Q_k S .E' 7`zr4@'NjT:P҆mXrDchZRL9xbf9)cy#G8j&u7y~qܠz$0]Yjhg ^*3b޳.V#n&5׮951CbJ2zbz}/~thà13\[ FaAݝ7!O4V0:mͣ1T7#ECkrڊf.ɺix qd%*by~~`-dyWZ Ƥ u {i0Lh+ģYpq;:zbKn2:͵zdxYU@c "IZD•mC)x<,λg6ҨvUffNJd3|qW05Qg |`y=_|?jT?Q([t &ggY3tشu*@3*/o3T˄K)mUc&>iYnHQ ]6@jg<l(J,*#0=*T)]zlb|YL@"gFo#w͔id UQ F3AaN+%1 VV ϴ1 ([顅Baw47hb_Zqo^(/-1xMCL}-KF-9mm#)a _'tPSJ6=w U}:7yb,ܓ.!if]6nzE_hTMj^}0MxRI&KE΅jr;pWCnVib0F4zzDGDCfx~yԢ3e^6Uw5ْ걑Ȏ%+у !J Ҷ*ȸn)r;Zŗ@eĔ?# an Sz}Kt=s= :L7Q:eY}!TJBMC5-ity5ۂ,J%7Qw7w \74dh&߸G;g8ƨ'!A*iY`EbPqKw[=߈#OҘE hXL~̍)hZ%z6 !$7`8% .N<TsKckg9\}"xWs%)HReLM 9(g>Gv9a4{GЀKDA-"ӱg6趬K)SePwd^zL2뿱=AgʀrM#, :/ @l&/$-4YfdThad /J\4Q/i n _wAʳ9V @O)ģ|xLya.kUd^-4r7{JLMq c͋`'akmߵ7k 6y\讘VY(S"@~i\2.uy{c#FnjAb(w2!cv8| AEK)+`]f; " CB|j~r] J7|:Zwk\riT$Q RWl5>iҟ(M"l_}-D` -O$:j!--6Z Q~H(NrN?ZkW:9шYssStz5ǩ߀ҳ-d_kd1MbV1UQٽɣ@ kL*?*j5uHG1*5+o7at3PYo_"Y|b߃LtWu8Tͳ*H^SJ(7$!F۸֏!p=4ɱ9/)ُ0!&DRf:[3,J6-Q}SFP93]&TjQFA`jye&F-j^#Sp+h{Jmm@≒kh[bc'ծ*9{D|\un <)5#5X_&WdCmD؏-i7c|{RR"Z })I;%̚b4K$+Ytdğyx=zև0J+C -_)s1R5=#01Nmg>zGU}rrt/A-F]CdF)Z):rOʅo͍y~7"@ KH7:$(ge  3 q4 o >ح<_b]?sBk^Fd{e${@ PW)*,|Qч ІXN4֡M|2f<Ŀd3/x|K(ȣ}͌99y~b* wq7tWϣЫMLb~|Veɍ8{Ԉő[L5@CYLPVULăv"3a`Y h4GgGӮE]Dg d ~+@U֯) 4"{Ώ/+mh}7"Y{ʳRC(!iDCBeCo{FԲ%7\|&pU+ 81UZ`)Ŕn'3D0,~]澲%Ӽ n} 7Ӄ*g% dg34ݑVGWp*hK99 {W,3F NA"/._h+>iN<a&%^bU `4kkځ]eiJi4/ܦbLEVRt6t9=iMT5nF+Vxu-īIQ;@#Vz^U߲;%.1_o`o_Ǔ' 5DtMpgw+j8!k5iSy?/Y~/Dzސq,61QSSI7*%}.۞ T^AbeC{SXJ,<|)(xɤ&16Hf8ٔ(AG[yTdԦY) h $3*o\ƞFȥldf|iH-yu:̰r#N,a",D,@@#TS):sk"n LlOBLeaϮHhDqer_W.tdU P20&yȋ 1vwD"25O+&q50WAC8-J9tMm?LYZK@:ZF~NBֳ!1$J wk:e}RrJX,8AQ-+){HJ'2P{E\Ct-jdif&Ev^{[pt мlB,|Ʌg=Lk%)o+lȥB2&Uv+3R\ZfX1ejW]M̔0⟑N,pA|0ѳ[tfFIJ`e u:eq:?Q}FQYy=K^EN*x9M! kA pfnmK@LuH:MٕBH>)eR/Ƌ=vTfҤ% c\gыz)҂&uAO= AN4\re# Y+P^o&mj`2o,-@#X"lˍ#q|׉5=.aGŪm"q:!kjj^4Ss:;R>̈́T v vԦ6*u{o# (IJ_ E}} ]i;nzb^j߃sƂF[1fAA~%z+cW~l?zL]@-z=v-pT,iki #VdNkRd2-2SrSM쓔!u 'dRS\}$oR f8v|xD#-eAwuBM(Wvnn~&PR @5|Q%u{Jws늫d]`lMb:W\e8,<>BϤ)VRS6m`OӸڳvĄ7,ᧄf5 EޟHrBbҮ+SvqH~ N c)RO:m'8OZ됂;'v]g߂>)sdbb !`/ Y؝:*Öׁ?u U @Mk܂$eծbyI%%!8ܬͻwΦgdAm+"\ =Z/ocw@QpZMY3K'Z0.xtUCRl.Ipo+bB]FG|Q F-+M)t6*F0C ֋!r*e2A,ME>,|Ռ*Qq/lI ꔺ(鼜q\й@J I?zcpz v8&,$z9\& ˖ sUo \`'ץC#Ԩ 2UtXݭ>mV2,Jl g\DsǂÌʶ{T.(ը^n  ^5|k*)9>=@u,OC~:D ٕo?m'ܕtAo:QMCw L4|:=2~DO[pL )SW#TDѣ.›lQR :jKN[1%uGE1,bY?L+`?TP4A8}3%Q7<\'C""`&o'~3ER@ x9g&8Q(2zݞ9kJuf.b&rjӫ.Yt}yn5z ?t}׍:s!Ѱ&9{8W> 4 ,bzFF8,bbrZTݽD{p|na|K4jhMQfC\(<k.%23uqbֽa`T^UdBz-6/(Цƅ&mԨZd#P7*C H i`/Ϡ2vvw;Cx JuX {QEs\IFԵ&BԿQygPCI1ZIuPϾ‰~P36 \;Z+x5{/voLʤ "nBd\ >{ YkbZpu4W5 Z Bҡ3!{pRk2B%w~aXuM';C SNq}czu5Z:ӂ(?,!Ds ̼aX3Vfѳo+]2^Q/Mvn Yr4YLn|;b2  oY>ӯ Fx /"S=52P;~~U*JS,lVyMLN6~hԆsҳy[%XŜ`ʊ⊎YtaXYcQQIF..Lz HyRYUrb齃?` {pC8cC`n-XC-cb=& M jD'z(R%Qa7hZzUSdZإ+[$1KDƛ%B>E~#toOpyԳ {,@}ZU@F@ĵvB>Ix?s0p#^T?VIEm: ɯ0 y_4JI4 d$?V~OǏ Th;p l9F`͑v{AE=&UяcO ] Cƽ71^5\DX̠h}l6~OpLӶ)ll6%S|G=[=z494Tcخi5nAjP#>QǗ$sw f(gi[Z ]>GmwL8y/FdzT/LOteiTxD?*~,Xi*+"=t !%? Y@t:yjUl@lGj璒dɾ8|eeҟ[Wm$.2t$ܾ͈-8T5jUoTȬ˵Ҷ=(8 N{wMlW=bOb5n{;4/ gBLk X$ d^cdъafDypVk1 tYK}gs$.x'C %IZf9PֈDCֲ=ba>tOL ݮX`uPL6lٌ_h cBrqJ޶lXg6J(wnO\-AZz-Bio)}|D0sN ^$Wf)pNd̮qujj~Dr"C {R+C滣DC z4p3f1+gqFy pXO{-FkȟU<9'#}0L5_,|;󒰅ݡ0My]s^ h@0D:2U7M0ϫdDKB6"y;At\NՕn6$O.%+bſQ),q@&JhY8=4;>܊m)%9`oX`G+B{U.]^߬0w突wж^-M*F3t"2MW 1 ߿C7|vB6j+J3x!N_W%ҋzbs=HHWP 38mhlj6@J 4fS;k/t_Ƒ(z^<;[l֑8,`H׀jlSm>A~/mop6M[(a!9TV؉U=0XOT%IS*=vqBO>{ԘI[`ӛaԂFqͼ4l%r-38ҡQV2m?.p*7v^C=]Gj{-d<&x#+ "@qRv>gn5\;@ )ܙ@P#یHރl;2,>{nz?0~W`,GXjwwLݠSާf4R.WX ݜhKdvK#,SĒ-e7#o۾q tUNGc^C0>PV306jd)[s>\n;H%(׬sJGhAT ңyФr?5$ޝl`~˵B!Йwh'R&O,G>Oe_Ƥ&}tڢJ;T5vи70rmcw+ vIL'I62Dxu/>FZ6wOJbQubDg;Lu#;v:FN?[=˘Ʋ"~?R?ˋjf-ͣ|^׵*._-X#ګIf[of9\Av9/300(3PVޢE]h=f(^~2\$*ɟu&%WzUZdXPFm\AVQ|I:/bК !.vfxvA(JT v! ɫkkukL pBoUD Cn 5rY9\4: ?uOk27Qpg7tZ_Hgv CCozF*1+FCYglu_)6|`܆}&}.kOxơ ΣEhn͞}-n7Vl !KI.kNg;4~㤥ӂ!!m4OʔS -4Ie"Kw%ٶaJKCv_5>A_gؗ^5ix -xLw ђY|^O&_`&_T{ݰF; 3qY؂RN@ 9rNdnتAoEH6|ȗ7j`I .{i8t (3Gx.{t$,%Xpfg$bY~:G=Xp@fiaWs2{qmG{ÔoY;!HJ,)>[\_U;| zڼQ8:dH]UnMݓ'|- Z 8-M 3Ҽ>[Rg( nܳ {L`R4ڛQ+7l)q̗9GG*70샒B(f*o c?gK!\[+_X 3$`Cmu-NMwd / =NNi 6°ĆS31 zGP.%;L?jxr9vQJň-UYմaeV-hUygYZ 5G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108W0/' \ZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nh]·Iq n[:|&[z״p/S3B^%Y=qn4mSe&wu(™&τĝg~H%c4˗D'xƉeVqn=?BiEGa.y¾ȷkr ,m}c:O Q]>wSv3 LK^nd8UpjyYs,%~ Y&M V^|8Bnx`Wm鰌'¨bs p Q~'Q6=΂Ck]i)SN[KR\Oծ^CPŽ3D.6]3Zev jCK8WҜ~,煨j(esp2p%)ͽUT~$ia Ai~@WJම6>^ɂȷ32 >h!]b|u}(3X0X`. pO/,SGԎ f% qAmYw=TO՜>t{DRky!%+"g/Lb8o"ٵOx|\nTpqEy X+? ]@6=jTY>1VJ2zIMq5!2M ިH@&͸SynVTCX0.EԹ]ɷQǺ~]E U~O>7iO ÚeMTee/4x@F#Yv4|7,\C+g#\FdIT[:H$a}ĩ{z%7C*~{OchknkY)w43@G~-kl\wpDz_aڲ*(BڳRY6J,Jci>j|rtICD@$;H&]xF@~1:0{uX[d= 0$DMQinw2zt4^5Qs:ܱ`#]~gm<#iPozʸQ/.o&,:.Q݉mDg 6ѳ4P¾H64]2 =uMq<}|v7$~wr³T,'-<\#o,ON.< Tj=5_uQʨl=l5\%c8}z\MC~ 4foV:Lq&袰[\7nԹ?vyՁcF+L9[= ף(gYZn/ /# ZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! UsA]ˠ)jk2p O6LP=͵gl5gՙqjE- R\o<;q٢Hķ-2. aKmL*VZ*T;O^RM3C:0⃞kUiD Ow@zE.e l_2s=-emzy_`H R?փz0CA0P"FJsgi$C' >WW囫bNg1_V䱨 \p=8W:sp{3aw!G-3һ b7J tfQɢӱzOq~Nz3o-nMjZh>c6누| poUW씔67+=#Ꙙ  ucu:r]y}L':d17L` Ĥޓݓ?SZ/GMmm vm]ǝ"ߨJ9{2#U$gLwуF3ѫZ1>>IKCݧ޹e0`Ĥl&Zgc/PHKc8mOPWIFXwo{ B#nezO/P`i̙ O328W'3f@̭YiE4s=#5k#+piyܱ!}hOS}+ O$}SlIW}ѱ|( 9p3-F.AVOpApKI.(bR z.@jβx 3/@V3@~βHX'YDW4f~i\!pnJ,i8=i|6;c_QH6n D!BPsesq+zպݖBr%ssAm~$[j`#(x`vAFadUIESIY\Vyung4X_W@ualsޠ9 iH</.ry~B58\X*</`!ǣ,LO6x7Hr7gQ6"5,~A]I"}[IRY Dz`/u9cbt; T)r_g=&s-דX_u02ԽM  Ss͸;%Mમ4Q!gNZOf7nA%Yzxo\9UXdq [Byvaѐqc 2 j qP:+: D{DZicZLa45Fqo>9#H[z4)vFeYCB _` ]'W7nP@$&r8ԿϨ_sڮ 4{f͕bM^-FBckp&nz $tvtaÄn #ֿX⩰}S)4654W]'Mr#SOL uuFrbu"=@^2#[>">&JD -"vH/-T-yxO?(n  ˆ!ch y '53lɗ]dcǿ ҮYO;1{?v>H3_p&PTMW :}F³j|&ޒPT'}vkv ?dn47:B"La^$Ad5FouxJkrǑX \WdeH YуoY_%ޘ=z(#wU8GŘI2,/<^R$Lg45G԰EYvL _7 z$ӗX )\vS ˟/iTQc/Nl!:^;x/_ө<{Qt׻ϐPRdBםReAsz@N6qfUhD\fU3^6H|M#{}x/\ N-![*LýZXEx+Cާ[pa(fG,ZCuwY}  (3w*%B{Gˏ<ؾ%X)c!eb4N?]PJ1VQ!^V)A%(CMs>+'DZ;DAߢGlVywB/wdԦQd^Å#x%sU1H2فcra@c/\!,>,R ;,+wu6Q8JiLDs,D< u81M{zra :flWUXUlq8W5uc NД qK?م9ͱ{m8J9[j!m 5r!v7`c vw˻q n kQWok[Űzj+F3M@wLʹ÷Ҿcwb-hߍ]a&y #ȗXϽx5 nVu笉 2@NV.;$ɞ(c&VWuGy{HX-ȆF!hl1 㪡T#)NMqC#/~U H%JzÅr{Pٞ5 mQtt1< jt70asaO1w"cba}yd;$}RFu?"$ ⢚YtMɓ9Lh#۽b{7On&]eLsiG>.|^|=m$w7yKBnz9Dxc$ZuzU ܓ_9egKø #J0B ˔,3F5nu !S*66yL~Fm7"`ݠFֳ] iE "{b,l:BƞmpŠvΥX;41R%!8 = hjZ%ĸzPV fo#5fGMF&hE)GyoHGY9/D/d{N"kQ;8+&_,TS؏[ Hcbh<4$ E V89O9ixob~ħMuUS}0˓6lN5]dd̀9{2}L6YZW\~Siq/p ;eQoZ%lA7׈3<4¶yzg+fvG5dv'Jz#5 MICDg>ՠh.,4MX TUB`浝jJxwp(_iz/l~xxGRݾ@ r.0qzZ7HG-bfГmw ݋o*!X@#Vy<Y;;wfqVI:GC~4UPwieNP66@ƞ0X4[uexTFJ;!V[njО'İ2~82` ; &ʰP&RtbZ%As-+k8Z)j A n5hZ:-nG[ a#'ysr,L'tc P *N![2DB #z+>Y^XVQVkJ'G힁W0^}, sB}Y$zCu~q>4KRUSG,)x 9Vfl(< TimyŜ0 *X}-q) RLl8()0u;cV):?=ȍfKto`} BH;Uooۚw\ȵ+qZ_[`#W6KkisIIkS^s \%90D =~_ `RMY]!:7Xs&[5(;?t.ǕrCp39\Ewb) ۙ3Ib-8Y(' frB78o<19UE$̎,ِUN [oljou,}룟ɏB{ /"W*w&PT< k[{d~]KQ_?~, W\g4 e$zuH?(+b>Q}^$ܖЮ _Aoך!X nW]ߖjӸUH 6Zg h9nXxzЍdkDq!IQO^nvʏ>/JEij8+,C<٢[M^$ 8={Q|?6Mq+!1ifN+-M 'ck*}ނeixn`y!_[tmDiP6[9|qrq}4[,R*zɎg 1DBqsq a1X=,8*W^ĴۺJNQs,Cwy%^`G+B܈2Ij)A@1aGM5E4U踳 c^Ҿ9QAG!kTho32+IiK#L27rodM&ιbT`vq 6 "\DPMLartoSH'Sa1CEzDr*ϊv}NRd_׽Xmm U[(7!)ϮZO``X-@08u$f! }kC^"WBOCTAW 3Yqum*8׽S^&n*_/zdIHi^}ђw9[%h.f]|YñЗf :RUf*&Pݤ nP3 *7EJ3<3> ?.NL]kt4<E,dL>)aʱf8i 7W[[\7h>$t̖Tp ;VJ0F^@5wmym3%!~Q҇ZfY-χ!>qF\hAu/=:ˠIHd&0LS`h!ˣJ`Z[.%'%'FedxYtVv$a̋;U V 52:y#K*H[]f+2=yljn, 9<)Pb+e.rʖ}M [x)S*rHGNߌͻ LuţkSע*R58yu{ Vmze^_7|&jOp,m,e?0,.@ 0oZ] ([DEŰ|R-3Y.VDy~a?@Px5p_MOX,HfhcjQwHWvr_ ܌vD$~ehnˍ̸j}zA?zU./< % -PG6qxfK{EwZU˄ s쥳B9BB=atjgA"8w4HԚ onցY۟md %HY4P' }e*C%7ѐb.9I(2#nl1bqXZ2PWlMNhLE6+EQpeJZBԳ,tĿ QGiRe醦K15Zk)ŏB\y\8,JMпq)M[/#ar~*1 73_)L75i;nK|l (u k9 w*Hju ^i ,=wnop^1,^М[YsagLSl.)ڤ O?#ѶoȮ]}sI.Ib_^L}X`a@y4b)B9x{\u-W޹3j)hZ<Vȍn}r06rpv, VdulT)qKk*-w(cAȦXh}34 P:QnG;";f:8xi 'AZx1^ýEDyc偄HOkS>J O`E}@4 w, D :mījjX1+\0eS7HNu@dŋ5BˍG #h 8 l1]83"BX άd!CHI;!=km)bG=w5R0b&M_ʚ!V#f{cUl6Icsf&21%k2dž!{jXCYkĥZH l)keU呝|]BRDBÚo`Ss(`˵ yt:*|EX(8 {)ODsLkP?+Y2 9qJڏѿY *Fjsͨ,e"BNG `B.?H z~;m:+}3+$yoNXߕ̯d絹XɆKN֗ʕleLFέ%jR L3`WUjԋpYɦ{kV J|v^tC2fTbQYZP;P `ZIfŭ[썧b<pҴ&|F [ [v4_3M[ZP^'ES*UUP$&ThFhVEJVug;3U'NXBA]`/I}[}ڛ3ONiiUBVdNe&X1XZNEW1x NCq;چ\XmpmDm8Ÿ"A>ϱi|-]J*X?|%3z31Q\Q([dM wc|y]ߦVMM8ЫnDi͂a۹ܞ(D62orօ5X0XR-YŸ۠;Yr+aOϠ^ڵaR ?ͷV|ͭ$ 37-hCx癰Cʩjʥ}3DpF=n@.=V7bz=A=w^z1fNrs]k›l pApOs$k5K1fgY1qM&`'Sxʑ1:_5cG9],U=. fhj^P4q^xO<_["%Ke'd;PѤ- Uɔ*o YG:/YH)C ^=bۭ>E Zm|zٍ I!ݸKAHy6_oqIj֝ز}܌=;ދLV7W4PI!Z 9}Aύy $xLMr zV̼1gYZ __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Ɠ跬kfu0Zmeo +L(eW^{p_߀M7|S>a ,&I_|qxAˇؖ#D=uc$3s!u2e{Xc>f[ZIf u~e hz=3π#CJI wfK,l P =YC>a znX; kʂ&_4kT$*;%s=Ҍ z>w} G{v!Vy9@AMg`PքtM(4jFo9(2d,ACmÍg_C'>Ya7R])&Q)LԀV^|6ìf֠% 3լ @Ab9f#h';J7p vsD[V Ohh"05м.QC_:qQ؈}/'y-tO,ޅy1ak*j/ni wh'*\uMԛE0OsbH?l߾q+h`U^3~Ӓ=[.>I! * }҉;)PGӍ3ֳSOHтb\IW[8AYjۼTH(kͥX~!Zq@wC>|,1:d/=_љ| B.-OT@?"Orq6 K6x^)'X%z)h[3-C;'fu f.0]Fڛ형]081E=rjND57յl1hs1sdIϜ }!][vSq4@W0VwR RuQ5rl\@e~%C\z)Bm<͔Qmhl)[@lm7eG p"Q{?[|(k ͷ̓'ahp&г\Dy[2\ jɯPkRR*ڻZu#`.-?/8 &̰{Ͻ_ FVan, LTQF#4 Ro-zf;aI Nޣo08jq2$ӗuj*jNO߈dCx] [ ZMi=%Ɯմ=hޚW{M`u0NYoc}6iC2((lefJ׮ t>v&6ym ^ǁLfa]WdHs-N!-l.Us6DJB~ D)9w]>n{wcyqƩ^>$5Ekm%z?Ïm,x]kpV}Fs=f_ZevQ7=E7ZEI椟G 8; 'g_(~)!=r1'uPywQ6  Z ' s7 )# ZF-InductZF-Induct.TermPIDE/markup7zXZִF! )]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JF/\ur Ƕy!xŝ{p/3ؒBp̶lO*&lSJE$!PľD4ni$ oNW5h!hy"^,F`C W#9_칈)zf~#L7 {YQDMw=ÇK3"w1aO(Y3dM(N$2E(ҎMJOM5;2qޑ +1TјI\/>~ֈ=D8~wf^RBHPp)Tq|I UDB'U1/֫:*@yTO$2S: [,U d'E> e eg3`A(RCFҬD2޽O-Zˋ? G!6FEӘޕ4Vˇ0&(bu)zu?wn'W=+S󶍇-J"$2yKݑxg%h+09WgM$Qûwq*FSD0jZ(6 &*As &opI1O]0`"-܏_oES}N7Q=F?>21״ş-ۺFk[p@C@"%g 3vBnT!Ђ[&]W0}C]e[V)j1z%g{!V@rnL)i_h'-Guwr(4@&Bg\u芺lBƨq(drHFhʫ8Ί9k'lPB[U6E&( Wc)uu>Ijl})_2EGQAFh[pBu 7Щ~KnNySfWT`0Mk5CJv-nr4%hGh>)܀[6\\2`RNܒh4 Ô,Ne?u5XMJfiJ>oj0XI(O8Wpl-p$ҳv{J6L{vEFf\㫸D(yM %{j[GYԞ-<}v$`\S~O̸V%x_u+IbW2v^]A Dzܼ_Ί1爇yo:XȻwa=Y8yl? @\bKЭ_iEnizu`ǕQMBl],3_y HFt[s҄ntC_+xsy(DwlĮyAIf_}ԇ Ck(TҧOcV|/{Tf9(j.?/NV|ǰ֞*&yD 4Q6_nb}wZ+[ILwNTMUÜxJϛzߖatpoėywD3FteלB+_Ah[,a]@5APGuId}#mic5qKîpG7knj'~jƱрz`8 V  XT-rY y nuQCݝ(›eF)hCsayߧޭ;B+24[I6wݘX:\s@apҶ^8F쓔)|-@,V( " cC^'ZMܵÙZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112#4/' tZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N4]·Iq n[:|&[z|ǹo8׌.3XIy.W5 tr3x oK@m'5Tzwy4 z2SaˡChE*>NϧQ 58% IMha-ܨ"i 4xӍ(zÐ.;f ,9G@EM56Yo,ls+ N# ˥)d!Daadm$NUnXxbBdh0 F&vϦv̦Cb@m;R}FT-Ead'̈́{i[[TD#/j GmDA 'At","sʩG94.=`IS{& k1ѤdM'8PP4@UgB3HK+Z;3R`RU6)#U,t4Ps+^ e>#㈫xlL4F6l,JDljc;#z^}K~/z}rhH;]j ҫ^gOL ^9>;\DF Bd_~_2 G!N/w$c;\n6Z|1d#@kmӱm]Nl0ڀ OܒV*3 D %L8/7xKNPط5`}&(S}/=0OA_@f@(۰g?ծN"^4|ϑ\  @ F%6Mң춨z K> vp;7Β=z h{K@rSQq3Ɋx"*y;Hy7benv^w8Z¥j2++(zm1KbYU>0t*yrI*ե|$-oϧhHZ.3o~ 2VXtEx{:.n%ĽX38|tB Ymok[GF i؊?P%Pnn'h3zKsuh2ZY7g]/z[*g+3Ko>'*^U41=-3ޠ 깚)} AnUȵW0} WKHP{:j5U  2;s“SUr_;kjC$sHp'{Ff-g'L hs#kN: [t@=V/gCh}Ay6FKC0O6J"m:Cʀ{}%JbD%\SGr-WoنEsƄv+RE]g͐AAM D& K~{`E)*0Li:34œ1k:C0(Sw/Z?JÆYڏcکA<0=.Ji|1g%Duɷmb?U uݲ?[6A>Q>b ūI',oyd]Tmʤ7Ud|TƂjQ:p3Bet+:WQl,u0 ښC"aɶ6"{vyOԠl#}\<_N9 '%*Rd%>m{\sY2kcڰA³ŬɼX |Zw>UW~&LA }.>C :Eq;,ɹVo8Eju9zIsu x wx ǎ@|BndgHFT# ]L6E>vأ˧o]u)uQ6Ƕf&Oc$$D;;T{u{^J \bI*2 2W|iĚcCw]J21cDL [Ը\Y}p@%@OƶV:Y Ή X?>9?'t~Ѧu{DR4P+{$NK= YIt5&c3Gmx3#э ivueQw7<띘sj*i[ cuۃlC~~%ֵ 1(SŮ@ u!Th.$щOPX1@.SEp&i`= Xc>s}giA<}M A^>XZR @;L(MVĵ̗_-~@?F"9 }*E.P6[ۻgJz"SI"EߨqmŶ%n0lagw,Ofgp.psa_55ؾ=b6MtsDî fK{"\ u.lX$N8E9IiRhG+C%s+/ܑ[ feP@IKl;GPr<}-iQFͿILjӘ>UTHU,z>ੱ G@8F%_ϔx&R J5c@0y9.)Vwqn#j1 ykHSHfuw=1?o-"|<[K܎`a O="Ʌ#S*]}')MJ˻x(99=雕4ܢ&Mrv٦6L4NbT~$;!?%9C vG, kۼ57{թ|N=8SQi9*$~lP~Gi8hٲ3oٳrE'F7#ִ*C Yg\DdסiՋdzģ]8,_[f[Φ~y,-!5dW'@^ff-~59'q@7R%(@`ɇTV2)6HfͦB@oP B,zSQh瘧?Ɋ(rcvѯvqy">vWc"dC%N1D;d P1Fآ@N;O/GaeScWۯ|#CsFGME='Թ15v &Ɓ7\.huu1IW_>d *z &\aQe68\‡<$dp(/ic"%bMmJ&[{'ϰ I:F Q7^>zA2z!4 ;9:wt7D7s=_53n(1K/ \;-Td%z`^(8js} "gd&DK_:Gu0]k fb+ ͎ۢҟc7ݪ.k4`1UQ[i2']}NT2XOa?*8c¹MzT?_ 9  JW~ŴNvdH9E;U(H'6.ttTc؊Dl6sfl%H1a>ZoFi?) Vg;$@{WoZ!Ӝg*u^7Jk`@䶿їFaz'hs(pV;8>}=ܣ*]WӔE$5,r\aeL(2ICŸ X(mid8)D]餵"Cv(T; )v~B9Nkrp7BA%3-$X,߰Uݬ3~vU'Ti/Qf$T 4cy@"_k=ޓx& )Y5c4N%*?^@;pMBSP!M.$KJW[2\;Z8T6gsŋRBDǷſmӳ2n}ɍ/ HpPHnZ?ue*f !aUԙu NZ@a6QDk.ZLݹQs9"e@-mu_K/G(qZ..Ls\wշH|a {+A\8F[͚@7Wz빻,lbmOZ |0[fbYƒ+jD!!.1IXbF}ifF.^q}0>(1(3w8$L8 (`=3nD?zv$tN9V[]ew:䷏+DpXehyp3#ubTVSuɱ:X[M| )]e͈r''>932<hsќ"*7 푥Ƃ%\zCXH-ґrmPw@|DfP_[H_3vC)^hp7!v r(D@A)=e̵,|֗|? ɆBQi)py/ Z:Sd OUSb&yoM_O!T/jej~[Sf7Eӭ܈|It0[ҁLHvL7häsAJV<~MװfsGca㸝P+B,\t"7˿J%5g{Ѵ_楣8င`LW")w{CDDB0p̐{,J@g"q XXBfƕy 8ܿ}=Zc@G}}U]1(אAAf0tdj{eߨB1\)p5VWIgai~`Oz39]4U 7"̆z>qd ,Ĩ"oO qB tXɢi{F‹+q 3vzKИk1>\*JP-TZ K|M5NNѢNz4}KFp܅0LWQ'xJBǺN'evH*ȭza)yc9sF7EEW')jb^+%YJۀ uslꈆ(upՉ"ݛpo2*- bڵ߄ڐ  / X =ƩWɲ͖=e9$ܯ%@C({^3ԚFҦ_D\Ke8F%'|,;e(cykR\nP;ߑ:R!燞F*[>o)S>樱z@q~F>o58tu<,iSsn>E%kk Z-g7_{JKF,Eu pUבQcHj[弈F\ qXgeARwg|f:!g<:S4 uq\rek!Jv]Zh"B-4~\=xy4.ш{{IWS3H4cix ƍ v .fMx!]·#GMHMVa5*'L$mկř[G; ʇ>Bvl|+ǀ[Cecy|f}Ż9FD:TiVS5)z*  l|soCÆrA Jne b'xTxnZ[LK[ {D#+,O|0M JS{@ylŃ7>^späDOеA"TӍGM :hMel+@/`EdA iU`@jF?m;%Y.ͷ}B4+!Ϳֹꋁ{K}s5uWꎋVG!Xob`[ ezgbsT]Vn26̒BGX R58E+UqSf+T8E2FqЈpPpIiuc;L Dm;p6S~?Hxm m 6C"`h j˅{rU-@3٭WN9`at;[M&܄ֵF ˑ~SސR??'z ~")1{J0&G c~BF"S21O2ꞝv)-X@HFiXzQkKl|? cDDzNoR~U7FPfꐎ̸C} ک6_?*ܧB38Yt 1CRh6xI JKBG`TOyEVp,2bq֡תADZJ Sɝ mjOy'Mlؓ>9§v@ '#Њ)" f:PTC!D;@w_ʸ8#PHz<>TLt"(wL9FS ;KtE?sB\,$VCzW;5sn,K"CbꉓGWxP~~Yt Rチ$>cBSU  ,ן3S/>D&:Ҍk(z@ĥ"$#R[?fj)0V鵏m'@6Z6d\Ul(ŪDFhrl_y4~Ʃ:yj !֝(l=p=v?wK ]-2ŎΟKHj#Ҽ>~{`FivB/*xO &ݍI0qnQhfX[fCםtc:Ѡ*7~qO3C%ީúhᨬU9Lj12k}. BZ4n!=-c| t%%uz2uC^}I;[IxV$N<7Ë= .iu~WI'~N ;ݱP{ļv+=w`/p1Z?3 $d۠bى1eJ^Ww! I҇JWP5h%K\zt]p9r-擰pJBI0˦$a{B$k:Qy.Z%usgaoLZFV%DE%B3;ZSzJʌ"H*Bά19I!y!x s:d&NhӧS! % wYe~jh/Ӷ=afMhq y<_BcݱgYZ2^ OoW$pDO/4:.4'dN!nMbt-pNdff))7˙$SA‘O(/uVo);iyc"4C5ίB1C+UG^WnK3X:*:6"p)jyz'G~b sD9shUz3yd(u6]2"U`.5%bj B,zV ,+7vxEYvݦ,13Q2ulDQ}[s7$#@[nᇮ<=?ʖ l4ޟGLXOK &;>sJCjK^GiQp7dG־0mNRG} ,U>bR P)6G*K yb[r۟h-mTOVRޯ%kLºgתc{2}  9gsL.J vo=Aϭ7ô :ATvlE5TԼw^v+ETjQ^cP)3[Z@pZ$XHWNb۔'0W=`cތܻ?kδ*y.rްM_ 90.VrA Y#ث9dKOЇH`~3%j!Ot(# >:#2gg֦x3^ 18:u7Þj]U0"O_2HE3:!h a$\ln܅3p5*w<+*F)) \xvmw{nԝN/~m˭b:r2:+lu 0@x~yUZsMVmM?W_GC2xX% C鷔dqd?mu[86ge/Q#9a\IN7OҫQe^l>5 y6eUh6ES(\6(1 ^h\f2||ֆP%RB| >sx;an>'Ya=eéXxz8e`.xyt-j,R-Ue[Į3y4tguNrWu(c\̍oԪuv&.rϰcͲ\RBPA)!ާ9EۣyPO:1J-luy",ʡI9ǥ=t {{?luH rw_8JN. .AcW&xMU6lG diwC<旇tbu,Ɉ"!ȿ$c)Ӿγ:uq67SĊ+vSSߝGL4l_\&e' 5q CԃoujH]P\lƶPi QQ!t":IbC]XJ@nnAF±`0CuKkb(o_pxR7))Ax e"=dג oM)/-UsU+!G%d&22(~m̢~Y7S)N! GX_3:OMH[!U9Ϥi:> )bSQ " K4i7$+fAx ȴοu"Z83#Mfl#AqlDMM;~e Fhԛ"4]&Dkùk2XlVF/Ld[/`Lfšw}]D$ɾC [5P~i z ty=MًK꿬T7tGM⵿x#oqtYPÂ'k}~U{Sxc*ɀ'PnZk 6u8 L`~w|!aR/PGY)"A$h 3NH~\FV%~.b9_逓*ƾ'mx5[kڠryo?`-v'nڗM#e'4kM>dpWkki+?.$+<*Ĝ;[hs8|"& g 2*9aPPpjT~|y)e)#fjEx?FyK5d̶ JMtVx{7Ys M&!e-Le(,= #0dc>wylڐoY|nk69'KJgYqAW3Y1 ݺKmpăWca ڹ薽e+yKhc"ԱyyFGڳ\@.$i) *4>wxو-ӌqRRF^bݍb};7ü!'#mjg,xYt05%8"$]0OqjQ aKoanQ忞}@M9 K͆#rW>fWVE1Tw{0^"s[X%+9 SPRvWy#Cx']bX :;'83׫q+^|\I2z_.vi@kMnv{7XC(Y*cdYI5MǙ88& W¿Kfok> ئEx. %FVF}YRDɎ3S{|_>,xP t⾥2cd4 Mđ#N 8X"HzSÂɢ:4YsPVb(]Ǒ+^W!-,Wq<=4g!-KKuQK'ijTP;G  hk 3>^d0 CW7O;"Hj Н=Ib 9O /:#߻79 ]:>CuuσS:+S ~S2b)+6 YC}|cAȆ":,U `P1yLn:|A=m/|#u`,Y`d1qϏWBV~3YV2g+̕[/e{2D+g*䗗T TD&hvp_Aܮj*koR=|߮]wRm%zų6QXv$# g{ ayCwEC2? 'Pgph(^$H$GxUdDLR .?9 \]IrRsq ʌKYѯ:C`މZY>9ZĞKق77-BN iҁ 7ЉHo ;ex}fi3 -u,w0Mb7S;>9&oVbv+Ы.Q+TCXxJt%kZw3)VOu# m{[&.!]BLOj[ #Vy> Fn* <](VK΢a>ⷉy8n,pV՜IU7bg/=ŲuȜqbP$: 0D}Ug(&N8Tu֜i$!a@{LkIImfN|)B^@I`5W*"Ab*f}#![W[i> 2G,k? vlh3섖9(l8īdn02eBoڀ{5{p+D럊}ZeYjۻY6q\>g?=fMp13T- 02S*F)-z8;P_ ^O_fda8*F'L4+v(2GFUb}q ƛꂟ3_V.6`"tA(Ԟ n"L3աӪ456Q]϶7Ph!w&kcnl-i&1qd1޶dC# `'Qu7de3v/ iEW/2__ q"y}FpcNK4-&䶮/-( \ZcY>O /"&:*θ\XV7NqcCu; zusbʼc@v86}_<)$"BL%cR ,SG5M"䢗8H`p%M+6MWlmfq)x7^ FO\o+= /|m1AMm o$4r!z|oMy:>ZE}<2H^.I]kBGC;chz Dg ǵuWoi 6 kɘ15lu*MjC_skluxM6K6,3RBl1NǐUSi}A+`S U;[MpQ+MT±-I}/M>22N79l5I!Ň,4#ZM@4f 8.hhO";{Yɶ)@*U0IV7H_ݙ1\p.Trx<^qЈQ=N 6)wy/hmK#[tJOk DJcL"oДw*`;)~PUOlց]tz .xr]fh'hcbOQ{(MyUG 8@;;ηEA5Hrݿɛ\·.a9 { LvikoKRq)# lh [39jīQ )&77oCg=H T8cc/jaDr[#d(EU'<_tK1IOT,$ִSYMż9XF5UntҼ͓"k>3^GZUsJm8!Y` үK[}ʛRع}X[E{R9!Ɇhk|ouq쟍A^ׂ-3b)J ZfX9:ĺi%J~#/{- ݢj!_Iw @DxJ J-yFPiJۋڬr0좒Ox/eU'hkX>JHWW؛7i7$z|l&H,_ig#QɇA)Ӆof:usma&{#;b&c۩>M_)ww?Ʃ1_r/s{fp_m?roc%N2(])NNOBeԐ$rBÀO#ƈ5{|l*|4/rH^09 Z-LԌ 91L:gajo4i. ,1WUB\Le$X 5WU5 (o{zV@GQ3͵8= .xGk msҙ̨PT,jpIKdzj0ƪ{!Ȩ, dt1PEoNf_8ZF2m 󹑥*=.B~M feM,ѮrGOۂfn{rRybu,[BAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' DZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[zIʘu靪b'ZlJl'W/KY&XCsjf2nGJJaI\!0hDhTf|PT' i㘩c`RqDb"gދgHcB`ztv2 ٦VgS&]9 &G.t)(b#M&s*}!e8j쬅}9ՠfEQ^7/sh8M I_~J4)#U0!q K #7gJ۠E :R1EנBw(Ɩ_婻֟jTzlTBǘ5^Ni)9}OwV%@!қ n=f=3٩iʂS#<9qCY/2#n&KC&Z~=f 7#ꪙahaFg%: <-T|Mh G97|3b9vP:HrUYzL 1fYyO a U/8\돽&yZ^m1iUG]B5Cjl=bm(.i{Lİ{XX|> O_RwpVB(Px.tmu}&]M}AIg4Cň9|@a/d 2A@O>7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1141<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! C]·Iq n[:|&[z钗 G䇗M+#LHNcb[x<wXޜC]RTͲyDmHCgW]q 3uLq8 __sN g$O_`q'xG9kC9Y hr6Mu<C_n],X@g2d vN8a?PBe1&ņYh?×zY'35'}NjXU'q۵'T\vD~l"k.ֹ̿Q;g=a%[5RG(/ABP-siSs;?%GT~0-q{=4Fszމ# KϠzzC"R\-6/7){|gNJoɽW9R?x_~,of ~z_gu8€k)](5pr٫qr9e{x)6;si{:H; ݄nNn)Ңh+'($=qAJ'.2y|ޥP֬d,7"p0r)<;Y)؃7(&%\7K#\vxadq*ZR& R"ۦ'g+&ˣngc&=7fP2:b{Vd:Uf#SJÏrMỉ99S7x NIYP4톴^/[S&Hsb}@CX`k`.&BF%*QW(quib7s'h0hphG(NHh=l#xYh@ kakc}S6e^)-j1$rgS~܂lL\e4#(6,Xz[ѷի{ؠH{?P*{$YaFW#M,9L9ۢs|e[1M1) IdULlh.7LLl)Y? 2WVL _NtH]yR샵g8(cǼƇIţ,xOiQEy<ԱטAf.L"OBWQO9Nn!BFī~¨ؓEt>P7\Fo.wS$=ʚFxkC܄uFŞjr9D⟙Ag.]+-qK NЭm R&Ubu)3b5 NWnI+ ~w +&IQF =F}#O.T,]*x,1N{_/:<4fw-kQ)JiHBK.:+w>SDW 9-0L^~2S%L=kh2 HWt֤V>}@踔NƊ5F)!C7zư&`Pb^dTl9&[w *C\<ϴت6yH٣\Z9]PSTzYU$3JNܿ`7(9&d(lq9РbTQ}r%YL/{NC YPoDdeUrK ]u&>1%oGEvK%JmB)" A_Ҁ:۠6 {Jq-e3೐Kc٘x\)z1< Keѐi@Wg70y-$O+`\;5B [ar4O S:?. x1d#ݣʹ1<'2W{5p#4):v/R9q*5uQF3kQ)SC;S$^ 웜%41s:b B:`}<YH!U1w:8JFS`=5vMMn{́lEup_d\8EpKuEpwtS 3!"!akg>@g.Ƴ$k4]8 93]Kd$Ǵ\5Hi+`h_A&y,.cr{{֬ld@ҴlT; |A/o&I_3u.mo#bgx_+ @TmN8oؤ 9 7FˉEhB}/YrmxQϿr;7.)N_cZ";소B{t9djnmʎT=:'a%t ܸWx 6I{mReٌ   qQ`,j+%p',$.kP?s j@u{:0>X *Z*V7o9`n:xإIWy#$%EP!l═R1L-I'baXҎX5_SF<` 'q iJwdDpg|nxLp@ǍE%NHn=7"ʵ,"!=6-b a4-7(4|a#Na3>,Gɗ?qjȻǔa¬YYʷ8nCZ$ &>u9 $+oC/;A^?''b:+e\f+|v1ܴU/xUEAsOT34:J+R-uƶ"r0lYdfcNR8'5ԙ&/.je,|!/Ǣ>iE rZ|:܏I~Uwu?U7QI8Edc+rfi A#$-7;*בO礝͆[ay!1-o%[xE.J70wgZDCrmh}h '+g[ 5Gݐ>E B,4Oipu. bKWEc!N jcZ͕;ӷ3#}ޯ 5󤽞V2SI*Y5+Y:@ڳ/$"]3ia(>젙l yh-7QTQ0ZG| u_l`ũ#%\2rVAROYO&y@90(^kz 86! v/DXݧŴט A!y"Vd%l15!$u|kLRN6#򎁁7 Z;pkE_h݋X/T`: "o Ӭ쫘C+cIW'q}ECf|9pT i1Xȫ)rRn!:,ߌ Cu3y[r[@nl}exlROѢub< j5BKͬgaR\9l*PrU;ǂ%Л̒4{ٻr-t:i2~Cm_pe)L IʆUВF[2cyw#S܇-S^"T6_WkD@<(JKђkD?^~;AWҥf'hdJ t|VA+TvV$N}Y@.B5G6x8S&%hjVq,W-ʱ2VTf7<~׾Փ XlЉ5DÜ вQ;* A&jDx'|~ QoFf8w2w/O"ZV9],زW1*^qI'bK͑jq|C93[ %E> Ip- Xϔΰdz᫕ 4oќ7 a( #Q \6(;ub[~ rcPw,.>XZ#IfqA-:5XheݍƖ י%XTʘIϖN,0ք2F_6zڨXPi]ib/Ȃ1M3wiN{WudH1^S$kyO&Br2s~cp3eqۭ 2"]cOGgKKb^d-J'jI؉d mv]!7 ;領xYJYrsytjw^z.O gQkcw "%?$/my7BԢ0ihOlbjء6*/st\"_%il(9z"믹x]^j~#Sb+7b $hѸ J 8Ѡ )GLGm+bXr2]7pxvytIt)CgA<):7qS_Bo"DXeA_ Er9wKL9sUAj'0T>Hj\қoc|16̇aĀKc,onGc)F;%%Zk V 9HCXW]lfߙǾ{ !%;9) lP ݖv ޫ<@&FCus[5Ѻ*ݳ9@גe1Oрq}F%u=dήs(*{ 1ҭ̴蝇.XE$3D,Mj9){zb7y< }Uv!IN3 n-zZ|r݀896̹who΃nBcX+4z3n샏2މim4$|5îjnt RsUQ8dߞQ=x]didQԞEGf5\EC +{}y}KuFY|r,OK[Sn')Iv-S:|cW~aJv O!92k&h\; k5~U"Kz1Ѐ,$uc~DǷ,I?Ga\DcCv3uF27݃!?+Ỻu"%jc)X -9 s 8gWBCjX܊,y|0vl!IM Jt8kͣÑ*ե(V{ t5iٌ4mCa/rh i\xh GmΕ5D}0DGiS7PCrܮ$~1~L5V,?S@Y8t]*~MQm\8ZfrzS{ӝ9:S2";'_,`o7\9.. 4IPnR.Ǵ]n9A' g*"5D֓J ,jwfo=jf`K9 ^OosplwB,ph35. v⯷EdƐq쵙z=\uea*\姽~4T[w_Q_ H JŸ#S"28 O=77U~dB Rv Hw:uKSDZcVқBY 8}uxܟasΜ[*OSL[dE侑<M݌9g'[zGȲ|B:$sdrs2YgBFm-+xsO½i*<ΰNma*-%Y*TS?D hq36K*_Wi;fLd*ζ#pX =Mӡr3E]K^I:NND3@gش_9c:+9BdIC'!wc{5P-y71mvYMW*9ۼ{]g\lNn_.r 0Hc58p\p$R8ԹvqL5S3 \7jxkCB | #JT9Vk+;ep=0b5yBL 9 ѽwn L}Ujc-\:'/W.0_-52%?ł[W5t/Vxl7ol]%G^@'8MF^: O*z:JhD`CǾ{PtSWEruo*)FmO"5:f&кzSiH{ ia"bcU2GzЈ"xh~9z ;kSOcT ˒#x!\)DХ,1EfX)$F'ayi&eBv!x{IclƗMB|-GSs2êGWTH{Zj0nM84X8E_l⻏`cqyN]!`5&iQ9ĢFtxؚ%f7鲏;زg<;DC6Ef]on'^/I./ UȧOj=hз ( 揨AU{mЪOg܉tQ.~+x,$}{Q<|Dj"؟pV ra `6D˞yt$^^H4Dh< TN[~^5 d58;d?mO4pPnLi2+Ŵ'Y3M}yb,gifC1sAE,)մ@DS~*8ÅV&%R8hNpg5ܩܠYt'y\ !.CGV[ #0D~̓Mh q\?e!TݫEo%@ @䍴5Ի ?%u5uy3EesNeQC }iMwH$3 (KLa9ExĤhuG Z4t5R7t2nG˒{%+/^ N;5XkmeEWeYi4'Bk)&݇&]tB`1no\H}}G" %&%7)2 rܵ/{42g1_gDKDɬQ@gYZCP< x\Y!Ɩ3pUL?B~jG,锂!*q$lڨ{#fHL#d/RI5oc$SV4eAebh iI;+3gȂ⑤G7YEvWS+XG$ǁ<|f 4N,9-6 GN /wx2=2 (^Je# Pqiİ g_1fpS_;EWO̝ @E?_3⠖ԡl? $Ld`v xa&E6 B'e@,٤3~(38ueIW$r|:VA]Hd@O Sml|M"]>7vỳTc-Cc^L="DK+&ι℅P_S^`9RD;{W,Ha7_&Sg>y ƚ5;f/ 3+AЃThm3WK0Pø4}wqYc2q^,h5? /B?XyʻEb+{2BU~pLZ6X:B q%Ë!J)< seh1Atb^(n(h73۸۰v:PF> <)\UuM[ NJ Ml=T&֛sB]!F59d d+,_{6kehbȿ{OWiclChr azc7Mh+K # /m+YM ^XeSXH\oY ۻZe=p[S9oaH2OcDJ؞~6dƹ[o4VGx8eN >}_4S!Q +RKzi}vH_5zFRilJ˔q5*%G*eϥD p-lQ $Wbw"jm!Tbv;3kۂ `j'q*$Anapvކx1q{퍵p`3Zzz2[ap YȾDnpw,۾F{ґ˶-+` *Im׀O$C &J{*>_|!=""90q]RɅ (٩Č8{po?u:N!SXݾXUv~63̘Gn}NZ!5JS9.30ކ#T ߤ؎zLj Ɉ<(}#Ja4j['PYԎbQN4v9Vȳǵ kpϜzJZkG09q6 sa,j%"#niDד8` '@ЄhZ^mHda\3dB_?X஻ZW`+}F jU;#`c3¸q}׆Za4mKdlx~ `9@*HY:55Xb=Oyq1N0:'*UrgnbOĤ[6T EkU|JAa)]zw DN;] (8 LgՆ.) /ILP-~&Iv5x*|u=RPd ߊHscEzznc}~Nx@jNd R!m_QBFT]kEHOnj}#5g"??hG\qz-Q>;c$+pCp؈ѲǞ?umV[v_m9IpvF0ӄ{,Q[C 5r>.;Z7t|)f_' L| CYpm޺Sٴ1 $be'Ƅܻô+3Ӵ;>won* >BaFs,h_,x&#DmjYG)/Ҍv⑏.փiфrv٣Vj]\[* i -i䄰1MA}!!HZ"Ty cxN=gKdor;тjnI jxąc<+a?l2@f֐|~b\P/{J^#ʆ\]Ki1|* ;54(V[Uٔ)+?S_9[Ih@EԜ5lOF# uxB]Y6%w61u>(dPh [y[!¾C񍑔Fv5ӹ3U<Ȓ&BvxPFm5]&qykPl۫ #چ߼30<8ihͥl{qj~p? A8*"QS(ypBR+pBq2 !v[<3jVU0Uϐ39k;9&prnŝ*UU!U -@)IϨ߹0h;d#Z,!/~WpM)]si%NnmM޹q}J%h`[g !~>\\(֔s{/OWRYpX+RsBGj|Y8Ё|~KHmt|,+_V天hUvmmgH<ni+rm1YSxE6zX0* riqF4IubGV YIP2rSӥfXV' =3 CG0XtC^/bqM;> +xLô=V?Y)iyv~%^NGXT ;.PK2V[͋x֩5H롌99i20`D}_|$Z0OxY. KC;*/%A+tndfr^dؑlG/`q/qGy`)e[hh $d7pU#ьq 65_"VoCdm3\ኰ#QR׋pal8KgB`A4p<^:3GAI nw}} {v Vb%dr'QA\bR˲E>/U7}lf ABIs-XȺ2q1+oj%y21D`ԃ@{-9yOcۉ쯹V:߳jbW%B @!pvsXE psEG 6d804Zz°u<^VEgy ~Ҳ*jb8NLA^9Pz)",*J}lF  }\αND]͵@XQT4{)tӧ>Iesإެ+p#ab ~ֳ bოi H4zLL']9&M}mf@E1Fj!29mE3/=J:jL?(f<̵O$oĭfM Tjx =rt>T`"`_>C`dU[ -`>; 2$ZVg5_f} \XB#f™X *omQ,\rE@cz`P/ Q=BQNy1ˤ5BݢFq'G)&3ahy`iGb8vqBhhf: g\"\E*7M.5 ȎJlYtgvKi>Us׸JtL(?4;QN`Çqq{+w`6_ޮ<(5QZ- c4#>iUȽ)kF~lQü̞Q(*~`{T_CyJYQP~,B-vZNHZl&)Y$%Ol*&w>b6j6ˁ$~FUw>w΂V5z[7ƥO Cki)ݍ; CΪnj?i5nJ$,lr4m(w:\j H te%Ur1Zzz5cM[c]D~\0 [{RV[DT`Z8u;4rM@w k|ߴc_o@f6%\ѫhB ?xliv j_4rANjYv>9(2`U6=!l/z"jgfh\ *^S3U^.A!oU|H1uѐ^rkք C/9fU, M.z`j3- hgNGO}ɒ&AW ̫\o)gX펒'i@k.PoirB$Pu(L7) USMǬwЯLe_jAm)#EJ_HӮOÜuiJ!@l wl5!)S&DZJ* 5?ڴxT 舽.vmC28;XO|_|tQ Rh瞙317nT} HXr_0 QzIpB3EmR=,luqEWɫ8T¿ސb=ZMyX +%6k?ϲ96Il ! ~`ؕbՎܫxQYr)[ymU^(b+hu\\W|'yԼ䵔BfBc?i pҮMzߏ/ +s1=E%f"eݤ)0o3gljAEVk,sùx Lj[{)+7!.7fOu}AZTz|ZE&x\`٧,1Hp$9YqCC:2b4_ck74r]I20 R04CGo"B8֟< Xܫ,lKU-e?bC!o|f{1vp8]`t]z,/BqYQDͦxzĮY rOII͛Z5.nb6VK1(C煤іfp(߱%' g=M*F<A#} IӅW׼0lOf[F(˻3j;M1n(VkyMUuo3od{8AˎV r-o:nK/KPUN'M3|`2=@C(I($Q-mz#Tlg'V8+UG#z5?詤6hh́\k~^LmxYI-{$Tbƨհ^A"Π.~V:㩊ǟ>d mH>B&hKԅptmuf<8 _+0@귾i_?$fF:&$؊{0fhQ8MT D,Uim@& eEm5MY= sTuEݻg`zVxG%dnY hI?A&+j\y Y  ?uFk1*#ǁb>`dgo'fM"LۼqF f& [O^#{=+~:}('Gd:zDp<"R&>3BȋL{ AN)vFFK /0#;N:[2rnAhte }˭7ƥ.׵EG+b [䆴}xbP=[Sxq_=/pK >.`E #'2=w]4*-WU)-}3@.XP,ۮu/ԲTojQ9LٰhKWn,@X%C<'@io%g(8Y Wg><x@slnYҭ I[6\~g^nH T`g H8x-}~z"4(,r8Wצ'zyPLΪ'YFѢ p DBr՟ 84EV)^o T{ q7ܻLL~"(fR]vJH8q"TwOO T d9BmCߪTߐfIH6Ik+SEP؃^ r>2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[I'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ#Z)75rN[S5;ܯ7A>2? 4y[WI 7:AH-D}̅vIBy:ۇ;gkqެItVB9~'DAT CtI19qkVrË]$-d?L^rV\$ )eǞ _ݚ[ ?2Izi xȊ3r(gYZqH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗWLf(qsXic&>iwR8[S;D *B]|S_uNJ0Cˑ^Z5slǡ 88enb:`B"ʆt*uOAlo%\n,n&}7֎3׷A{獕V~PNC^tuTՃ(QcTEӨ-j_NFx:9|*"q'ĵ5Um2 }am,\W@cKkִ$xYPͰmz%UW 7_$]{M''a [R<1@ Abv"tM+WLEoKFn]k$&<@OLXU7a Z͈iIiƟ6rͤ ѺY(tsu=c}&bZ@1 9F $Fmxp=f\jyqeF90,hJ5_qi_?us3H{g3G Y4aWT6}]%B&ig,8nx.J(PZ1O/i_J}S::#PEҬ] 5w37[dĕ ]  KPM40O0xf9+Ij} >'Vw-)o[ikS&=ݽA^3.gxïRiAKtA$\lC~Ab[(mO;6ijY%5q~y9"58m?khh~"vK"p*׵jGX+Đ?;!l+I]ToVE[_3@%{f86Ȫ 4?`Iƾe_(Dє,{c(ϋ 4W%UHk>CQWlό)UOBCc/78w 1t$*iP~}6.b*FzCRv3"ܪyEYH1+*1HȲ8+p2VQ(:Kô*uW K7ZԳu^/jCyMYL /vE^@ =tW ? K皛w8Uu]@zy\Y{KUbD&BF\Qdky^Y eNq. EqtDnyk^ P{(&fOTLt\Y)pX.2~TT<{JЄն~zi~}Dyn:=6N+Wj$Xe"fa$@o( Wy6 K[>צ,x8ZF|HNVJ Z$"l,s0Nicq tTGc|g $gtX1kEړ-kI<>aVXǥUAAaQqgDLǷۣ4I&GqQaa?Òg5n&5gϞh?$:t6"Rh2U Lj iBa.fߔb>&Y3 w3x8uKt4|Nಏ/W񶙽G?p:IbHuC8cqN)OZG:/lTk[,O߷]x 5QWMB6@sc'5ۚ12=4JPyZҪXDž4V9jIc6h@p_J43#k >Jf/DŽK Uy?H'da}a)oU'9>.3<9SQģ?_;gxȃ!)NxL[D>Dg-㉔1H<Q*2hŬP]#kƍɋV W m꘨VYsniwhY7ed`&4hl,WG&kjٓ#[)(v^Fr"DF E'×x.Y"t(u7FޢNLj @o~2ʂj7򴫡I 5c55QA$7^ ֦12wTc+TM9 Pw0ѡ,ztHM $)M*Y\ AJPGt&ZC} jz~?}G)t_=~X"Y6؟>6ṙuθDȄYM؎Aʉɇg6`OK$Z\@^{iq#z=.Fi!r2in0i_m\6y̲$'T5 p|6UO[E['Ybue& Ǻ6җ>Q1ܟt dTEM5DZዧkQg+aX@JR]<>Qh~ah {edoHkDcIP7rs0jtd@v]3V O? lE`5QB? e+$&_Nk[b7 㟐WJI/ѭannɮm9wuݘYI 9#U5ʡ]EpM4*W@ge*^7cMB.fYhx"^/:Hs:_?+0s|M~qQ(u:hi:k wBVu*>Zܠ 27n=hbfi&<ٌpH"OFeHJ^9Q*>zi|֠,ܟWezhjRU}7|E_͖4=|z@~CgYZ M+# lZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o/]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌C2e$6LGpj U[%uHuu_|S9cM׽HĺCy͓ q洃}M-ܜrE7[G!rƨaFMV6M$gϖg2Qh5[2=2'Gڽr#)T5^E:DSV`tc9_|3pꥄz3ՖDO9eHk4qUZC V R~8J\UiSwuoiB:茪HxMyPZ %]jYiFۥP]ho~i o^ViH E-F?;o`I[3VeܗyIt\阳cG_dࡶZ8dM m-"nQg q<z'ϯ./OmٟxӬ~{x]}aXXUo8ul;q5YPr[+hۇ/ СgSmu0~/腚WĂǔဩ|OOS 3uĴ'a .ц|);z3OjЁ %({)4"Ǚ:iFD3['܀)6לT)NS:\Z,&DTZIXr _n; ގOx0| r 0 /d1~oc,MRIT>2=Al'VMzFEή|lRrYSH@/ލ۲ޱC4 AI"@ҲփU;@[ཥ o37Ċ9S6 #P ۀZސ+"7/?Wfl@O7.e$tFy7..5 Ixta~߼Q/pׁG-e8gLΔ5JPD֗ӿW-p/u'QL)=|2 8P[Sn]ܦSJ[/`` W8>)D1h&ss~ q˅ⴘg_8!~1ie 5/)^]cHO~(!\5>[fͪ.uvڱ0讂DE?dqѧiԈ&e題E} PMb79vVK Aef7ܜ)(3񝾪ORSHCsMqrQkBx~ 75 T=U%M54gf>g(%#vO = @ 8*<):R•8]>!B<82 F?9vG l;F2'vZyă麧](krQ49UYgۺJDшuFIwv1LF,.e{w9}*Ř[8Q#]# }"E*^Ew##$SQ]ȵvEfGC̀.v UgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 @IaWψ+CSJymNTjXϠ$;I5f/v2 -@<$҅*?/b]+?A=6an&ja]I _@ugWͧkEð&/nK@r3]bWz! _J]G|.~^`bUJNH)^ul{X9|^e" 4Uvcl 7{!6j|S;¥ >hwle1g$0V^ug,.m1`l|\!]H?'H!8ŁoeP2Bclx':vp4uS#_nC%B\X$7#0li󩓒D.gYZ