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 qr ~4Y}9+%x<sAP,b԰mqL|?ׄQ +בW\TUrrρ\w2eM/f(fu^]^Ls;`Չ0خ})!Y;`}xΌMmwnVy,(gYZ7zXZִF! ]ŗXi%[6u("+ vrV9 5֕LĪꎄsf*,b+-DȓQ.]ȣ OX T&ϧܼYuyig\hG$Ն?O §F 4 C]SoUcaHցP$U#_/6"Q7m=_ | k2Yz:b!`|[EE}< 1X0)i?FWazf̊~Szی_05e]|˿X jJ-XlU*:RKJ odO-ܾٸ͈a7䡷{~n7 H_2YkB՘v‹fbjR6;mrY)Z03J]qy1'zP& IJ9pK.)!~?=TJHc>\A|ڣ$ [AGNJ>dw)5aˍs@ kȐ߆l gf5Z闋ה C<;0 "רN80QCov CR2Lli m`RIŽ'<'r82la'R %c. ^3vZ$&o /5RD(4+ĦqUݺ/7I2`AqnWg'ކ+2-=E*ZJ4b~v,@sk؀e|ŽP+qyb=7xHJE^%o*BaE2;[D4~ʪѤL@W!  e*aƒHz:$̍`/&.6&]m7̂(JgYZ252bbbc1d9568bb3b942f77de124348ca028f0c2b0bd15c9fb8e87ab78f957d86194188c0459f9d9 4d242ff72544b7f269e8ff007cf83e3d8217ef437f8f64bc2d331ac892c7c884c99841bb56ffaaf4   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<ڹ7S53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsFMEKDG?C>;<:978312/*-&,*      O* ` b /@cnWq _3S*  /  x O % vM#  9 a}O + u J4!c1 0+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id617ZF-InductZF-Induct.Multisetdocument/Multiset.tex4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex.)/ZF-InductZF-Induct.Termdocument/Term.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[gYZ~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})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 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<ڹ7S53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I   f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb ;;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 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 x )/ 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/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  +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\ 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  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 F F~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'FLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,C?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZVFtNh+ HZ 2%;*}6?Yԭ͘#l.ԛT͗շbX\m5i_$O%ŲqQRPD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ 1t1A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110A 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z v)# $ZF-InductZF-Induct.RmapPIDE/markup7zXZִF! 0 ]ˠ)jk2p O6LP=͵gl5gՙqj[FDQLjD>__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue(4r^jW VZz׏F&6 y}^^Xu+pGBW) \_;t hl(vK~euAΚiE݋4$`3$\k?WQa,5bqsC ʈ6E5py$TI\ ~^9__L2? 㶟!+x~q$4+0ABk2$,qI -,A~@9C.V+9?am;S̢DZ~?KF%:16y"l0}ٰ&Hfh(a^F(r4hiB U^}X ssV SگALc]n6ie !ݝ j|Q^6S[>J( :T*?&@}0j.ȓ}J#]]~"mvkگeŹ/HsIH@?$gt??RYULs~(6 mfJ*;6 ZӠ^jv^2sZNJ2K a<+4r_:H#v/'q (OMfyS W⸛I2~7qjx&jtg0_.ufpfo&c6{%"60hta4'"94(¹!yV' 뗉D15ɮe mȧ{L!ACr+-I$q)T:T5F}%Hpbm( LIYp`%s@2jsy:oJ̑3\RYMvj2'G)xRu[T@oZT}s)+F$1b.BܰL:03\`$g(bC!$X_ tYn~'LiR}i޸61*ƌ,RMK&d|U 'L;`,QvI#"!m>^aȬ%櫘2Y ~t'EDmFJm_z-Qb7ʢ*GLe!f:S&ٿzn^ZQG[, BŖبϴUt'SLʰ˯RVvTO,wȆT1',1D1@BT.8hS~*EEcgręƭ] m"TL&'3Mi>' <NX|P^GpӲs{kGy8J$[n'.I,!f9Cvmԫ%ց4Q9 cWɌ?V!+aۇѱcxʆsg%ԧ|bXk‘M#u1Ŷ"p(O]ƴQ4š⃌]fڟ EJ4_WPJi i2/}&a`R9&u>sGk/?E/*wXq*_E0F*R1eb&$boK8ͪ]is-+w>RsIQ|c&_'u/GX='e攝Ѝ )-o6C[M&4IҺ՚sW3_64uhUrSmE|X s +\+q٣h8 NVZ6v*^}/spE] o VBN=|/^&9O!Q g) SL]YS6zx9_Za4{^w/B0z0>b$NeUqXesԔf6L( 뿷=k*{o~Ki2ʙQn9_6}3^ p |*9E7 n4):L^*31}+(Z&}}J߉p>@:*{H#Q1m!lD\#[TgǬ|f7Ԏ?6v̗kD%ws2ƹ5hxAyFTXwMPYaΜH<D|y8xiӚJ-رG%(5YqoݚѱyB]VFr+$DҐjɨH )T}&z 9R_:5߅ N1Iw 2+AH#R4 nBi"E!e]hJN¯*C@'ᄇu<&,d.,k8My9zo{dt}Uc -}:&TT/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λͼ#ZR+ ~F~똗W J^XmysH11#5Zm}^eR&ꪮI"B9uw{/M,wy͜< C)? ޅ$]糹qξ[HU.):D$3Io_܇lqrL摉^魄{f*G1ܴ{e?gQ7V=BI~푃@ B+g5@3*'-Hv?TBlorlݥN*${בDw7d4oR6Z~sP~d=T 嶑}̍jC>IJ+8epSIuLNa0=! } -YF )v!s'|xy_npƐLg?b\ht}hҗc}9$FhN4E#W\&TB,Kdv9V6@4Ud@<]gs.Q{2&ZRBɱf, K7߲ [zdo;|p݊%D¥ѰPmje Y֗mq|31eQH0Ņ')U ~|_Ch5G'9^'$t$s[CJ;d d~2޽ZkG H,y>؈GЖ~u* $,5AgYZ_<* F@7([)FœVKK1_ē0 9jB6# Ƶ#?y5WZ EUH$?"dH.ꝅ!E^#fs 3Q.Vu/M+6RҲ cFX,w_Xku.ވ]5G>줝 &?:>A[` \1rK;}o}Jg&ZI\Mݹg% WuyxeQz@-%|RME8 bg&bH#4bhXf/@Us VcF[a%Qd`췗z4Dl!U3}TRlƻ!7&>TXIљW:\Gc0(f*ߺ Mn@3vr90CVL."1T#>v٩)L} QK&~=+z`[=oq<8C!h*Q譴:O0 Qt& TvO7z(ί qJ.4UzW\)\y[MI!ǪLO#!B#P%Pg= 44lcMD '"I8CASOnd+0UTM^ј!d'6`Fr؄UYI=e;0ux|}Z֍leeL쫊5ClaJ_<=L"w>5'ƍ/JkCЍQ6XGΡ"/N퉁o:%.h8Csq'c(S 3xn.z+\ ݠp4}I#^H/"F{h%;'5ĥB xQh?}CZӟmR[,'jSp:- kIgK[ajf wʋV0dZ@\8M\BHI5YC=t V濫~QgC}!l]G'UDf39(u:I/ЕN] S69_,9;d=;+;n鼂&?'I^<^Q_9!Ze Iny$ä3r 3}D ,(2ݱp3IiWeDR0b >HzC@pP?mJ0 -i Ջ#AîGͺm&O ULBσe#; < i$4kT+7P-,RYc1g7;n%M,ֻp1lL+ S_H9Bvif`C^UނK s$_bڜ& *… ;^ծt4P8.>V|JSL "#1\!8i/9D%Sݑ-2m7[/q)կv@qh9&\= }nUN1Ȍ:ŎwGKk$+'i-MFbD^B,vom/n d /qªH=ф:#31وUsnlV+tsNK=P,L6J=ѹ\MhS-8|nFl&[WpBGt+wYȳrx3!U]gZj{MjE3 uRd-r\>޻hbg!T!q[kHm #a=ķh1mp]G+ +("4*C:%ez-s/UW~ӰzI/(ى<v.ߛ4(z Gu藠~NLhG";?-&Ft3CwnT&omke8q8ړYˡ5 uoY+YW^w1c1',[:h3[b)&=.K^jOl6A7}7@i7aGaБ:,v;{H +t:hWQdlĤHձ9{u w#$CM$[':P*ck_/,N (g6Fd[%L&PRU*⶘%c:e<+Ƭ/֞9ь2hfT~eUif'be[zƋ!ޠUovrH}YvN =dgU ~=`P?Q9/-!MhP!_Hnk_}9掚ΥE=dyq%C,#~eG00CvovW-OJF,/ƚjzQj=UxYsˊ D`m|Jj6GR*' % f!7)<"O+URo1&xMrV0G֧Ǎΰ˳al>n2@lkmEq#ؾ6l6mt߳uze~(NtyzFÜ(_ުw Qτ?Lk(h a#4qKFh9ߕؙBOq%bSgkhѕvks}@>ROSxig1_mdo r96aVy8UKum䈀KMK{Z8a mEI(L{HVՏ7BMbG\pX ʏ1 MڅtE /}Lscˣ]WtXDH,2@iDCZ1P_fvRYsh}Zl?AH 3OAE+0 #anM};NRI{4@#vt{1sMJ[nqP 4wmPT&Q~YIYՍ[ Fx)2Rb_fc(vٶ$`*<4·;3F$َq%fP="j:->9^o':BxGe#7V[8j!q;#'H2U +:CcbK-.kJ96l;̽՚sڞ(d Y/:ocd0\2SoU؁$9ߘQ6?Kr6|z@#,2¥S:ti"Ά $?!=|vI{5Pi,8kUfEs/;׶|&= dl"_4{FVlRO~v]Bj5,$/41K!Q@، C? ;`̣ؽژ0yv(ɐ՝]5ptVRt5Hu{9rs)) Eh#k5Q2?4$wy_PT7_y>^Mh1B b˔C/UҮ1t4Ȧz,ʗYzδl IlzQ#:܇bG'OYN,4b R-^Yl(q:/*Up_y2- oG/C\t aknXBpI 'p]%H𣸀{hӽV|d3Х720!$7^Lo[#FzfBI6 +dLpĉJ֮6tb q3BLY%V;Ѧ5JvA~F _z !:;kvwPj<-:c<1ǩ&ML>ޯ%* >zS\$$rb9jc!O_fv&7MkN F֧O*90` "|Zs2;^JaUxg.v~mB49$T\в{oS*8Ka\E2=oKܮr.:,W0j7FY[ҥY}% ?lAkڸ+3FH,MN}GtD+bhSstIv((C4!_hwkb|?A }"_.Ӽae#m )u8fFjҏt(5Xd s0Z0li+H4eNAI}TEhTnGy)mE&|eM=M- H@Mtڀ)hعxBN(+-{C Oŋ{+"=[$>3JȔN'_#7 f?U[P)&y]MT3a`*!XFE_t`#1 ai/;ZW+iipkϙ^$uϊ@]|'j]Y\oj8qbyU=X[ٿ7Z¸o^4X]?(M\BFFPZg,8R]".N*pZm.v#V.pBiލ\۽˺p ~j/ av hDAK?I~.x% @rRJ} ƅLcz.w(zRͿ}A[h< }tP U5W~8~n7RJ˕c'/Dcؑ+=jʝOpoZ#`1 R&1ê&'4!iޖ"Ր$׳GeyW1Ych6I HSZ팹b 8D @Àw3ۣSj)8b<DB{j]qHd8*k5)( f᭶އ¢ lܸnĀAD6X"flAq=1q@:B]qqP~i-,]_cTngqbxvAݎ.~Ld)aYkz|H +4VpCkYYww޶O2' ːe2Ndԛ6~kj[4iIOT V 3wL}-"dl-H%Kj랼g/wϟ ./s֑R=a>rZmcEwUu*'PT_cD1]!z M <ﴧ}d" پ$~!$f8;V'vO5Ղg-(."IוMOnE{zw+2y=+4jqHtAc#{H}-E-F2jBEݏ=biJtRwDh8v&ͅA&c lH?.󐆶 NO6a) ڃ^^/ g1>x- .kWKtrh}Y%{:c]5BR95֡τ2cw #z+xFRJyg}Q+&dNU㽃IdNnF˄ehʽ@R G r& E?0b> mSr)\,yqzͮYڙ,cv? fӟ|=fm'\e8A0ZfZh76UHlnA$='R-iMM^U6fjz^nK@q7Cؖ7}u<^7IJ MmoHFb3#wbu` _XUTckqͣ`-R9)C,ʌ&Vu5MW74/ɗ'Lo9\e Uc?s)SZ6R~,C.{hoX#% $Fm.;%4~kv)ԶЧ YZLI$4UB+"s#7ʂa>HlۋUż5TR`ܗr iE5ʵWkb LR?ԕV*b@-).㐆k]th1]^Vfyq tX^tt̪0xݟ57-,)u/ s_T9jór:t0V!rK֜/P6T•6`ף$/\7&&b<`.I\3KQLBVdIX>St]d(cB20I?sސMXO oRDbe6{:OW,陠vUG+)HRYW XWx]ʂ1=tmْmfAiʯqٶ @VX: i9&=38y[f"D~{ oO1R`agC)8,P_Fg*AhSp>h)&5fFа:K6w[v0r@ ypyR?[Xc T'?G(mO˲kqbt1, 2C!ڨ1bF@M5$>kvJoQGJ[ilV.._ZVFAx=P&;` M%j 2´,VDأ=PEzM@(D%3@.;|y':d`(HN]k8Em/.Ck'ت=*9ZnϾ1̌ cՠW gqgs## 0K` l]y ]ۗ04(\ 2=dFv_N`{ɜhk'ji%uLWy^ro?yi%-uns2VP(̮a:axkE!kr_jRu𠝎A}a6LSj&E3ņpUD\`pObj8\R:"a.x}xHURJ'Y̍KDNuSB˿HcN>sRjNGL8}P50՛qOM/oex4xrNLfbuz ;2%x3n,zRFEe \>6XPM4ޮdJ`=ւ-.RBۚ|eIZAwc 6c 5Rd;~&o&ڊz2L*1ır, $Qè!`@ѤU! F$56BL8eDYB̌,Wpme }B<;SLU΀F&gM,X3cυS]pnH 4MECm#w |yX/vȚJ7lI_f}~qa2(NN܍v&{x;gAMSjl,46r]E Ʃfz~xC4\O@&DW5PO*,Sؑ<<4zW@|'\` O܍o|s@9^,KykZ'Mߪe 㽼Ѩ`C|ZՋT,ᚖe PbB`XiOeƯPiQ4bPq9+9jj*m5"}S90x(Lɼ=t^#*0QrKpixz=4 +I=quf>ߵxCcɎE`u﹐m>z xckkc"vj-6J)myiГoZɬhRw/`6o (uɮ̅.!]W<Ŀ=\DKF~DALCdU\W<5[  [}ƒ BBޔ"}v^g6/`#J m}:]> x3Uq/ll.zEnB0y;0t+-I|oɕ&=ZRuu:nࡨ4z}0未D*?sH6}{AhЂfmbЊt;5껋$3 (JŪZId SgYZ!4 @ZYN[j`j{I7񣀳p ie ZR{&2bٴ&2pǁzHΡtA`D7/K37T͐M|҄CEN`V6)iSO ǦDkiDLғ=dEu|RyOI 7z/v ^p+Aɍ9e s9mvgxT(CrJ#܂M&g1[ džLlP'Mh$ V/";5CEiZ2Ӂs8-o+ yS6$&d?g8nn*Y4KgqX}C˵j@mK y4(mNO}\Hy{L=Ta)E!;%TX0 u}\Fę(/HXc9B\C ߀(CycSwٵ\f} B[."2sDԾTL 3M~槬FL0g@L\Um'H(wS͵^{gz~17UWфEX:)uob8sbvFyp !m{{h zZ$1"47%dLxCd%eɾ}]I:vEwV;*cl"nJI/~J:w,!tn#xKgh_"R )X?p~}ˑ0jTj\q0.Q{#u!yHlF~%ԟ{0h%9<h H.zy(o4,۾9J M籟  x $20>AP\yX j@)2d-\65|?kyu9EL^"@ XX/WGȍQ$] F DO!BJp8s~VGzvȇwyDž4\ HƘ.Ք Er:pdu^  ſ9Z|mi#r린d| P,_OKo\71?L@~+ 7!/<œԘ,QQNywLOݩE ~zs2bp2:zV8 > 94 Zw*D3V*W1uao+*|䟉-fŜZ Iȧɶb] ofA:& ) :TY_Y3oPvQ%[| Ջlc;ѯ/%݈7a]kl>1;qO055Ӓ[GX-=g`ߕ`x^@ӿKohn疫Ƚ>#h" .q4N X*%I=⺊U`2۪3Dio\!jǴ5-`8S/K`s=[b&L ֆ۶$mzCB"H}O:2?AJYJ24_Y&_j3pV񯵤sލhd5+=,Y qz ] B`txu2xT{F' j.a[+=I!~&G+9f^;E1+Q@y>ov JtQP)( Vn\Y rc6/pb* U䇔q˃v4u*!Rݷv/n_]k^[W4>|%tTP/aP g^=CPۻȲ PR@9CC3cѣ]B% AUH ES*0< @}JИB‡VJ&o;-v 6BHhw/uJwp1yȠst KvZ pܸ9h~Ӝs q~zt!N˻BsD}X9v"vMץ? =WCnwq!8TԘڬ;{OH7ҲԦ&8?w._*v2G^_E$GV^o% fV#Im{^u u3yZB +Ī9:~E7 UTB3P,1G:wV 2Wɥ[ҏ>` dטEկdr/o8 p 'ޒjEVyʷQf /#xO&C}0\%n{3toJ3LU@t֧~iw}z,{AE`-7DV5Ƅ]xm:Ev-D]ۯ1XH#9K8<ϩwB8U =6_cz#9 8mtj3L0ܛΦK );v%+De] ћ%? f$SAliiBDБ&Ii aA=ЖfEm@NIVLҲ&VxC>qpfݵV-*by#sLՇA$&W'#N.p/~B{CA@ m@H#)Ǯǐ(fBQ/̢MWD]v'u+)Iqij?4c>IV7GY0| uFX4)o9e{+7jPe^q^OHk/L :}ШOg.}]xǑlAd&jDGTs;soqm*^A0 ő:ySU)n0 ~PuNyQxB\ \_ `ێ&$ʙL=\m}k>cX0b/ Τ mjocjeꡣA:0MSo&9fIk^%b'_|RZiD@qωRd/̹(ݎ%kCrыrΚhh[sm >n+l4F3!kӳ=J's }iA]hgra֨ױg9|dY܉/0ꣷR":+V?Nȹ,,Y~(s5̤r`ίѷ^s=ٵ#xnA hY4-? u%jBCG+,Ͳ,d_t3V׶Xf&qAaj 15ULs w#R͈E*J/"/ؼFq4(qP> Dhed4*c#qgO05RǼ^qsgj;*%ɴ#!cե R&E. Qǧ N9 v 훪").2辵SC`~A~˦[nZ?tyM H"q1' .vj[ϖRBڝBCf@3ZATY&-,\.X @&Z[ &*{2.˽< ;U|t|55dKNZd]xX!Kk`ZY?XwǤ%1Wm4C~&ѫW!,Cj90)6Ǻ(H!i M 9*"pźB)j6Ĺ;3 P|9Xb<3Bgܫخ;>|BI3]aekQ>jZ`Zt1yw\+BM/1pġ] \`NSl}6e; It#G<57SEAs- _:w>>fos o0"R[jv2}v:U# 3ݩ'tOFP<ɂ5^'4w I'DsYŊ7ЙQzYX٠idx9.HV9>vIG<$_Lst3عUnt1%ԛF+yo ?ͤo9Qpt:2#˻N'uXt3[ͺ':vrk҆2ц?+hʼn_4}˩B$]o͘V)%dWt[0dEu*󑎻%]Z|4utg-1㸑\22)Me4jn{X\Nu=%Ŭ 'sW06贤y;II;[?p|fn'>saSѬl`"{FP=-4Չ 8ϫ0P}vJ1EAghX6y97>Džw!OW _T3"ZAH&ghv!~p~Uܪ\zt-{h,@ iGp]{9If]tDP`89á Dp4k%GfԪ]d6&# #V,Dka!EZr_ !.;deBlcgi |{N,/%,'r+*DFL -XC5brtuMNu`9`:o0uHvޕ*)-@=fv^IMh4^LI}r ]% ԲDv,t2(6.KxQE&.thQwHc3j٪b׎M::.ٟ@Eҏ@zg?4ҝBSHPW[ޚT=8M*b:ZJgv dK jl#@z՘ `p`hgJP%4[s؁J HpjCm ϩ1Q{G<-hr,$#SiE^:y``@O4Kt F}ń^gpIP.*RnmyhVKt82v=Mܢrqbb(ɣ˒"{h*t3SsĠ'ex*p\Wehވ!:=?ۭKV7ێeUF",/l9 $QCZ_ܿ F-w-M9DQqձUƷEkykVSs'sO,81U`5ׂ3H"^Hg|Ήi8_[i$ 0l`A([{4r ?w?m#ء1hv2E ak90ͭ Orp@2nD_W3"I(5.tgNP\u pT+ďA5}J|]oTfwMݧnɹƖqދ9~oI.2j <`ef:ݳ h1rΧpqYzhI)OtBO5",_>O/3d}ϣn8kve !)eՍP2QwD7~t'%5i_yC> K#Dz |Jv*O;zpvr}FZ5HQs76z^e1b\sL~(ز-$abZL5/~މ53 BqL2n |NSEӝu[Yjj)Aw#BVT z_VdO\p{@^[+4C<C-&;S1J"[ħI}Pa*2SY#KZģڔ;2+3Vf6,Es<8Z !s('-axPñ *dВUMH!5"-FxvǙm'FL Cy#lsVd,0=WT~\S6֙pf5ZI({_|0yK$Wh0OOtrfq(_X>AtFnŔpȿm8j!;/J ]$F,$(qi0?.f#n؈t˅rpL+HS!lcҘT& 9cf$al[W>aqjz{L-5ZrA XBb\FMu~3k}6)_VN£핟ѐN*VxQ"]1r_X@PȟK(c32 IWqD#^fne"4ld6 dPebSl t^@i%:6b#cykF$#]VG!RNxxbQĕL*sڕ:9fnF\]݉l_x:U]ʩ(PF͖"${*XL늗=o ͝9b8 vלSy`$1_Z]-H(y+.iЙ촮O3=^5mB_iq7EF+?P~['`n,dFOW'Р΋CFXv-xtXŻؽʘFy2J؂)&Ѥ3?t5L RM*:'LJpi¯5Es7RՅW}w $r52R+?X z ̞k -^jlU 4(dֲ#1CY0ɥQ۳?ؚ'~vȋ͝XqJ_io޵~W!+|E }+dYWj˖ wZ{bqiJ5拰vl/r yg=&K,u&)pwCMs_޳xŰ@M\y|o#6SWdQb2t̓φŠ'xP|F!B|ʯyeEyI/0i6PdԿ$$| cn+G@a=h .0-4pY"8.6:L|\)HWP/LC@ɣɩlǯ踉u#{Ǝ=xe:fQՍI{MOB(%܊n'8紥"̧rVHZIxtcFjQ!35ȱثt.95O25JcϩG +?)Z( ;pךUСqp\(S;6b>ԣ\?_wE^ؠP{GZ]}ȤZA d]UA ȸU"DYC6_U+)JhH %]~CJ UQ_ Z2@ 6g^ ?>"~pq8:. `D"2oշ4/>ISQS,Hت ]/y]md88Dٺ <ĕ+8{rXIKχLw^Ԫ^lYt׽N ܦug.8@,@-ẗ́,yyEO;~tFu54Z7hhzN,uIys (WQ9BF`T<@&(!kǙC{) Md0ޅ0TNFJLBEœDzZk-V?z :{X˖i'(L4M%;ұosRJď#Բ Sƽy̵|H.x2CntI,g}}tav !3;4޼*z5+1 RGijVuC0hj ""SMʹVcz̃m/`w5w@u#i윰ʢ[g<؂[qYV"?EG{sh`tvq7v= >d {;h7l4a I4>|?B㭈"P) ,z䄍yTnfWń!qG;-3vFQH$3@>R^4AGƯ}ә0Iύ\6ŻDxc/7CkQ3p/Px(F&;KQ3jXBc;3nwtgoPs@crgG[QZZk_&='K4l ;QԒ{)ه!$-hcǃ| &cIÿydս!ʁnB#K<#L׏ yJ(76#@|4,6B b3:S&d.ͯ疅uIjP8 jFFrʆwZH@QՋf54beO xDGLzUK MՁwr ՊqFR+=,x%uT=0҉j4yqtw 6d#{wŰO9F:u/2p)[ݒmYxyɨ$*(. ,HexCs?w|n@ oTIk;3@IˇeM%n ;PkQ,`.0ս.[0ۗʣ%~W$ ̞9^ 𩭍i A-uxz61l/]DELn@^n׬-#QYX' J{A0ϻ ɖ f+W5*p:smJ{%vB8~ѝ ۅ+9tnV} p8WmmhA Rĝsb}WA-r Lj *n ~*f@V8s eW&_K.|9A~f 0plx*7/gK_ȓ,01m<IIx]q5][,]g:ckjUd =Cf={ ]v0@pN?&b9pp=S _Kg'4#d'4N6$'Zf(9*[pv=r X!~\i=hPE4֕`BMtC{Oj%l 븣|G ^z&3GE@cNsg@SgמּbmtڨYKlo/!N1 :{ಎ e# [ M {d#-z+Jm>P[0 tsJ8Tn wzg2{ E^/X %9Qv+)mnT˵V2}y׀$[YaI7s2FyoJʬ_ǐy} *%~382+2 +hD-olIZrqhi[uG>݅F]ZmmձU֐cuMNn=@{|pn`[ I+bހ0lE@:7^vOGH(_>4_uМRi9Dp.hzp̚$>~SFzl,=D`fcl<9?k_4(OUtbiQ6o}uF[@cΆn'W߼Ph4qr0k&9YJbu02!ؤL zZ=#I .~>=Չ/XPFتΞF\^K%Dٱ$i5 ΖM;_նz43: :wợ6TEcyE# %r9KݐlHiw-Xx^" ۱9R%t%E*ado0`PR_JfEC)~A #$~P}ahwf|6hZx'+)<=.x ָW^i.y?__ {8 ɗu}D-,/f o漳W4B?VOvo@gM΂ROփ3E8BFZ0yZCeD"0F,Q4~lsp %3!GNH_MX갂9#cgM;(?EjBi+^YmQ\S(mx xpQ+o0r,](m+tkr:Xm˸# Qn,A rQcdWBVP"p$$&*?20Όqe=Y+UtV ns"ʩj<‘b(Х,+HMInfj d0[V1bi`]ӼeVP!BS%{LїM,K 5@.AG(E%"sJsFh{w7`C54 &ung}202&Yh\9p7(u\ȺO˓lYOEU+y*7v 8:T"[Ը6ʝ-[K8{qȷM>(7ps15uwzԼneS!Y7NeiaIJ1¯}>O B 74u$IE& Z:`
y1RUwGFGtt±z{ qo 0B*0qb;Wnn) BrM]5 R5_c-pFoȂzXXzG Jd;ݼ,@X` Rρdy&/@GбHd0x a 9s7/SBu WgJKKZ+ҁ9<;uQw!K#*v%,%jrT<>j0:x.r8{hюG[ - zr-n 3At/G^396ZF;tlTtˌ;InTNR!)}q*s<ї6\0=zo;1fxaPn'%ʢ,_WpPvi4ݩ/``E@8Orx$ŋR' 1 Dѓ9DˆQϹxHa-˙8u*°o_UEG\uQBJ{6 (nE.`׉:t𗶜 \-%Ox9W2CS1W@u--al6XLqj&cNcG"~5^lfe\SVq`>ԩ=\]ƩB*! vX9usZv!!QJxHYYwxiҞ$!ځ/a1E YViGm` :!Hqo*h4T% EnN|V.!+ʉzy,iAi͸%~[VNAm]PMGkҟX{yii`SUG,N/aM?4uڃ#&9JUVR5b&#܆9ٴC1׺,Dhsh$Ԙ-rKN* 0<~fyN\+mnFRu26"* Dp]ywF*mL\tjZjK !QɎCF4_\|$nCTnn.AifKͨ_)\bC/}`eZrfu A^٭Fq]d,#5zl-OAQ%z>ݥJS]˹ep-?4Z -0f|ŊZ޴gC< *6}&nlڪyUl ^sVu | 5=XK[YxK8 {(#hFRs0A|x."k!ɔ0ew'u Ͼk=v:5Mn5)0 Bj!I{Ae9};fJN2&}"X >]DPPg6lʬE N@ z="}X|)(/ts˸(2c;hyyQ|3aQD3ȬspIյ9?#rsBىz}ل`#|-,?@'_n ;uH^:Xf.1kd'ȭi.zN7-䊕( 6 n $m78*Jb?5s\y*%q^d%.ol>-02!LGnIΈb1m+5/ټHEۻ0 ͉QX&bP\ 2uϞ1ST<}D=}xٻ+p%$V|ȀnT|BrAV|d%<958Z6v@ A@nOa@JTWzqP4ƴ4̋Q*e CFFrt_2(ώJ>(J#ԱOJZHy0..oTH!%YCt>'r?b!ֵkєhAL@tcx|&}NAVƤ;;Tiߙ!a[J[a똯IM+!~.#h.7O\|n2^r)7DRN^h> !$_=+P~b4k3JzgA@{@XcdzPU"Ȇ0QYq "z7+h|2"gsbuԔrݓűE!P$k 0)M J5C/|H=&9IV;[1V MG]:A2,7p"*uqBܗf:oeK UpצYm4CCU Y=FC$8N)JED (h ;exPmC*^$/Jɱa!r^)Z,q=XM'8֪۲0 Kp_oebOC^sG%~<OFVI$ꚂEc,e>mF~@NBHxB SsRm ͇Oͽ$SbO>|(1手1Wqz׮\1r{tx]F9F@ԫI)kU]Nth:\zDƋj%Ȇӟqf^xmFWi[/*ː8جܢd"/lzc[GT =Unz3#p(uqZݟNt+}y W<6k+~e ?S^ Cf'Z|!<,.M+ԷCA,!}P @{ K>'#!w9+\NRu_S hhB+T*dӞP TͽK}\9Z\DK-[-wF97aFdAwh-D z)yy}RΨޮ[:[n̨A ! u)3 >Z`^\Mu:IZrDnJt\Ut8 ktxx ڋC v3->yƑ+-ӑhQe^huo_"沆/*in4oUQ8ҬK94[>tXH_ ̀) c=>{/(vYZfY7 PJNTf9ġ[p ( ne >9EnTf9rV7A!W+$@"ro]!nSz4rP (H'p:KJ]-AS ߞXŇcP#>G-۶?BB?|CĒB37f/!Uѕ"r@Y-TQ_!8ȇژډ˱,e bh3pDcM_LO.hޗ C5Nk0StXVdfK%Vw6|M_FŢz\ns96F*GA" W|.=>]@гE%SJKAJ#[HZbYrߒ)utdtڨ_4WF#LV\f!O<l}[돿,-=8Ĺ#JA%af/QD]7O2{o<|TH (ݧ}C8|-/^2Vږ3΅v-Yyn?kŎ_x8ň5즑)72*ԓcbzxpIǧTթN* y&Xn Vet0%冟*i%mݒF5:nn "1I!6fSߗP٦ğ? N@`h7&U4j6߂!.f\,fS1{ *0%b#%p҉xHA%KE&{Ĺ ~_dTj,.>FTÛ]LɪQT'~}ݡ$|l0c|k@lϳbLeD9NccJ 0ѿXw|dz^`Ay=_ /;%-qa\^ L$]2aRj$X><<uq^a0Erě&jt,[Rl>q4!}7-.E]l241y|mv la Bv `IM(D^5nj ҆"Q'+.Aj1W85z~R S1íPkL1ۥ&IV\àTn&1qYE̅rL.rN/5t`r, m x˯sBA8lvY\j =WL}ra x.ツ?f \POb区ʹcd |;U 좪LҦE0Swkإ%mEW);[\֝o KXvA)4/{ApA!8tϮӠs;&F>ԽpTW`rSl6(c`| ~5y Y@,/s n'"օXh^@0r`#$*mk 5`TجEJ r;z*=` ;89$PHQ0nFtR9ɎAiЧ}ȧY)y9eEEYk.GN2Ӄ"s.@Iln#EGlq:$+`sW?ݔ.lb6ƫeVҫBࠬQC҂sl\OҨ駨z V0Nݾie,5 O8?DickubXL\O\BP[~b{D#? qpp?"-cwVFt4dXb"[5[J`w{<'zEhl]Z@JMVdrE$Hb034l6ԀZ%f Q~S7s :1pyݵ>&A ۿG8E\W)PfYl[\ Ǎ Qa]kzSDddʞ?%4mqm uoatQʘqWEG q Ν4w@v]ِ87wn= nZKN2 .7 a\YGScfG|Mݱ银rse7Kf96qE!ʼnJ=sZ%5b&[W7U T6{y>_tH:w",NVtUؼy\G[FlP.#½qv`&ί>Q7mZ[W9ӯ&J,1!`8fnԆ_4ȁ)W=*YnYe·LrW=bsssw"|+CHD/yk3jK4{uJ;Q'l`mXs }@>+=6 }܌3Iy}O1~I: @THJ7=[9s(!1o_2s5M 3,rr 1E?2xxCG8~ɓa|*#Q6SK(uwfy¬{ĹiQAz]صrqcwA[W2EL@{/@\DŒ^kA-3BEީۡShJgtUz'X6Z3 !`;|xI΢ kMdF:;>Fj]ފZ5ضz50sQFTMD|Y=ȭ+R"ȁ3@,"F .Vhyg}{.V%pʔ?l*$}}1 ), )aƀW(*̤q=f?r.~U9z"Z X2#Ҁ07ɖ QYy:?:s/CLQ:-P،yzT"^ . 4_N]1^;U˻,ΑעD`,3iwdy)āD]Bnr?mvGo(D8i"eb[clͨ|V(VWGk*Q-uv~.mpMBǚ}Jʹv>x)ȈE-6ݖrV u,k\sM@@=>Z/(Y?M5<2^41/q J^qv _F@Yx?œ B`dcPY?;3DIOd@Fzyޞrb$B{>VƑ/,,T{Y4PEBx?؁ݚҼV{-8 [qIzNL&zl1>7Ρ(d[}R:R+T3wN|o8v>UZqrQmt6QѢ7"䁻q]u`jv_NVcB,فE\x2}M?% #f-0$g m 7$Cw3?[?ySjJw;;Q8|X0t,iAf[%Tw:cofrN|d7A!gιa.q:SiPU'DtAvBڐl$4P׷K}lP*Ή!Mw,Z@:rjmkwn@ ~E˽N-=w^˱qUg@{ZtSb v_ߡf 힘yL5 q? h\=\-US `_6YSÄkXW'-PW-IPXp(yy6fy}4o>|994(#JQ&'os![8)7SP.O4 b  |@@VJ gYh-,SU(0Yj I2bmBc;Aaqv s6mO6=ʂa`[75<Ǟx_@% b o ȁIt6b'"3K 0M%K`_,9<Ī\\$f 8TlU"ج~.ֹI@X J1c451vt +fޥ6IAiYa Jxе<#z] #cFNPy-UG]dt9TY6:*A-q%e+Nb(Λ[|=al؍MliB *S@t;J5("T9K%IηWzGNtM+o O"9I޻bSt#ndZH4ĶhR2w4i$U}7N?`ЗK3_uLJ0P*~D.y8f&y(iQg92=nca_ܛֹP)N OzZƉ}y5̇{Y$/ꀞf:*li[;\+ (eי8i .][Jz%ʝuHDS[wKXu|ju ?\9 - Wt1,spe U.zGqnW'8INw۳bxXNc/{uzey(oxCZ/^|K(7<=WҷB5,5|"+<9bo6$7_Ucs6c0u3#{ً` ]yZ C;.R N;%AZCu&A;a5&IfJmY$sŦ| wDݳ=/vS"HYJSTc׃سN _ rse,mCCiH=6,&Ye$1gc/п|Yn֮ }TEߟ@ʹOěDs@88.Wnij',faX#j8ˬٙ[ t/% tF)Nú_{q-SFZjMd0ZC2n[P#BBKOz5ZH.XR)Y3amԂK]&Իw=`+VƨU]ӴJHm}zŐ417Lo޽LO)݁hSfaS*&6S (/Sg3b/@pB5;y3D(^ՓNoG9S3I6сҩ~Ksc@Ak; E*==8 +Qs]#P[hD<PϢ*RK=BsYR52x!'01G`9i0b3535y`8+?,!r!G);-OhY >-#"=HyC7"QkCU C0Pm@2 )sYg]zC*nk_҉l|.[ SK_$М@Z5qtԜɣYp1=Q[ZK6^C-dJ T=; Guf;"U令T)܎ ѤS#w=(q{r/MBr/gVH2:%$XW3lZK/Te^΁g"zT?"0봩Huoyvn6 ǝ畚#N+_9|%h%n`8 g/B:,IAHCpnx}Qs{ 5:pͩ#^6V Xg^*ӂgL\U:qf`ǩ}VD"5+?PLaԈI&_G28c_3l>jXw^]|{@葹!HczS2IGkyѮOIDs^JQB4lh}cރ~byn|WC%Eh޼j/ɔlIໞDeLjrh^WcuX^ɃY|Ѥ=c7˛w6?FX7wbf)b27!(jOh}q:gVlJg̑죀+weGw-$QgGѓYKԖl 8LBҗf@[|ЂT^3##g!9G6F c\y\S.*p=WlUEi'UaqkFtk/jtV9 \ʴ@TjHrlXNj]'.ݴV#61j0`-#%rt`eqLZd$ahh &sko S4\b=U$Au+(7ɥ8'u,vs;*oxF 2 lDn `QsG{H%\ÏХ)o>x^haEmAKBduڜc͵Cz2KU!WLlC c[Xv(x?$jlf]CNlGD C 5qs][TGFzתXa9v_ 2 WRz!M*akr [2F 3S6ߛ>)F0ToV>G\5Ix:}, dV4C1O0lhcOK3]yS3M'9=G7srWx1M&2"Zpe ɥ:`s|]9C`udF:N LmV LI߬fQC%d/H4}c,Tu4mTCg?x,W,1KQm[k=GB^@j^VPf6>k}ҚLS4mM?.A ȽnQ#5ʋ[Hb&߂H "*o=@e9- `_xs@0qdi%<?{wJ?]\o5U칣`wEL|.y񈾺xI{͜aC,IX>"ۋS[x  V,N;ٷaoj )&LG EY;7ĆM}KY+k}bOYB"Rsh*_oM?nk@J& #]!=4߳ZSTLjԕX&C72۽(xi(sK"]#肚0q_.x !%'4.6#Cc:H~0uk"q"OJUUQCGꫩqB操2"{O :a|GZyCEZO8):AR Gu2g{ :hnm8ePBt=1aϱpMrٓ>]L/p`c"),?h_4h`d6saN7~Lf e^KC_|murLq~YZ2AhQEp0Oj.כ$rnnn/cSXRe&xШ:SRꌫv~G?@#x.AµY4 WV2$FZk.EAb}VmE(Z>%ih(\saKJ>-"qkQ* hU!NEB#H^%@6042kR3;u Z MiiPrZœ3^e_K<)*=eE9 Ă_㳵`,fi˫$ksY7C"EBglU7 ]"&=J*XERȝ9hq׏/ꌲDu$"N0y&05p=$G^x/ijZJ԰lE;<#(`k%Fn%K Ĉ1z|@ު˕#ndvm4Z"OM*qyܳ./+^[66q4j[o"$i}.!_',"%R`qP?ЮuwRj]s̶9;瓎7@YWF N;%@v2 k59M۬#̜QdZ L>UP5\OCj:iĀQY^HH*Ml ,N? [7T[ZZ|ToM0lm|HB-#+w0bk7H+YyS wښQI1)b &Eo=TƏ/b#B,6Y()2g);-uϓo RjUG.냒g?1QTT>iqvXp/m:=eOjM;τ/, WVPLbiw,oN +֣P3 FyJV]-1Y h1XJEC2Kņā5\(]Z?HrD=)HOڔɊ&m +t_ m~03' '"-݇z}V1ӆ\zk|Iw{ `Pfg]ژclHLs`s=a @`ԴV(Y:KF("-tpKF}qyHTǂwHC-/&$њ<xs^.~ͽ_ea=9~NGϵZFw,ܙ|/mA.8y9PT%N$J`.c)% k=>Vo]ZY"'ҔV &h4cudp$mDzEc2B'2^tԷS9Mt3Z9 ^")gN?/^Brv##_V;u&rV*-;h:${D`1#n7!z \Yzx׽+5,%5kAPbWeuM3xi` 5dkjoitfe<@aRt 5hNyJ1wC)0A q]$.%'ݩ׸Hy Q83@SDA|rc^ޑh r=mj#}џF#}Efw$mIhC"t7UЅ{9ٗy{BGJ{?IkOhHd}τ{&{k)kq+c KUf7f#3IjJ#`R"Ր3 57jL0:C┹K%}(H()TU4M\sn3#~ýPv} hȊ>S4R_هA穈(ʠ%Z _AY2w>w]YMe%Zxo6šr;6Z/MXfNaNvAҔ]rO_fg|X*jt7W`U;nګh&ҫ~ bḒU~<ٝ>\x}+=wGD}CүTs3$* ԗ%/8NzQf"/ac)&We$xPE'I0RGWdd=OǴh4좠XꉼcD\}^h8lM'W/x+F1;]*R]Y.PL~\ϨAQ]Td; 91cB/x04c8D cJ YA GXt%n #Z{@`g,dLEl>Қ?ie$[_{[aEGD)`xk2$1â5M"}'r"`୤M]7Cv~n:|N2q54KB7@1u8J%#ȶ`+sP\ +8HQn"?`zqmx]R3&Wu"­#ru ީnw:ޠu?7H?Dq<+ KVk~gbΪģMۡIڻKHu S u|@QsXwGD5GB-bΫȵ—]`/ x6EԷlnۊu 8#+ߞamE)=zx<,L45i:@PcqeRDŽoK lɎT,0"qQ鉕vV$ȴN+B {7{>bEe]t-H19d/g;=l.KWqݏ<1RitĬ;# XD ecT+%QQ$/"epSt ?и! JwW[bX 3$}yTv(e5&NfPS3t{hmzH (D9颡xvX HjNO=)cqƒXoFm(؋BOR2s'J `K~l`02g5 [BΈ;D0wiv[}u$5s^Cy.9)u(S|qz T4dwR~EQ:-*X2֔&bfLR- .Q#bʚJ XH.˸C8M#m$B߶8b6߷듂hSL%9s_!qrK?tɞ Whٱ%d|ʹLᕋ'zl"'̌ ٗ;}g'jM.n/g SzxF6iƧR8i'Q5ie"?}t"Mb E*)!eChY50Ы$"?&%a,"Qr ů)\pu# P(&~R1'({R:ٶ)CcJ\ňjX#eG, B~F0~M?ֵ5XaG^h[[Tl  6t!?QX67 o$hݳWFρݖ>F`+Fd+ ΤǃLJmF:{&&/+`?O[W/ԛJ-m,C3 z9 2fY?i^KY&{W"q,!Y(7!]wFM*%Ycx"_9bn/+qvÍDQ,{8wb?fl:fqoX*%wK2w=-tSQ(Jp % bF>zUpx*e4K*#~v6&{^e/6$NClI!MfeaeٍMDdnUP}u*}0dbl/r٨Xnj/§+F~>]p?w7TEqA6|7v9x؈'`3K2tCLD\7՞ #dNw '-^xQOпu yt ˸hA@\`O>񫶧Gg\nxn>~i||O]APAZx:.}4_uGH"`~0w/6Zor}+WL%DcqLׯƭ'ENGD\]%BU BIW*^Jl[c2kt { JB'?z%w^fdˈX)}3YH"3q0mVV?ML>| u,Tpq/D P,bF 0v"!LnQS;nUЖa` "w@?C٨OQȉ1ږ5kkf|k VopKaKf"14e@SgS2bg)@wAfQtcI+\u'+Ǟ Cl湴 L2@zW B\e *^.2]>ZF޶qf~Y<ʇlJu&GhgŸ$(#^4F7eܫ~-Ը:„Ɩ9eXDFMUHXHkԳ UV4jJ&DW3Gʶ؉ RC~Є6#/4LQRQ+ڞtt(MILcѪ uD"wf8{*f2uB!\$Eh:`S2? `þ~$ćyͫ齒a[ky6`ATk`})<{xʻ6b˛tsI{@ {#FYxx4e6%O^in}RqN _xz/1okVwٽ̧NM9őd{5b; Y|-pcҮ5hNB*rHUSOS{uD,!En8Sj.BcEwsaXLs,X`^Ylj@2p[Jm65"?{r2IJ/vXwXE. JR 7No= &z-h݄>i{^[mz&= /Rd?:YxJٔy"r6O 5L˄ع氜"I]`z/ A1JZܡyЭiTO8±R}3utcHeNLPӓ Xo9Avsx](%K>70 }Gg=cPFtY,Phox"o"K3fO2\pYAۇ)El 8s8SdIGFT\C"PLS^=ԽlOeUW]V-w{5U3m `{Sߩ߄5TnsCF~U6@JQ:O^xV`}cBךMFZ p=Q8sE0TαkXo#'Z^Κ0z{¨xɭ9 $F_. 0>ED¤lm&h%v*-F'2/d6Fup2]!ZP#RM% 9D ^I)BBѐ&9eĢ(:ʢsrfԪ;gqB7X\% 6g.[\5mG[k`]감ܓ)ěh$ ,/`.v(CjKv+* {/N ULW%yH]nHc(tdVC_?XU/CD 5醓Ɣu^kWL}+Whdg9owB^ z|d]2YWe osAi&1ƖHx?UE}bw/| C2:/F^-3}ԝu4!of h,݌ uŨ;,8#hh(XE${hGwRFy=l XNCLdL;Z0 #kXHCh#vվPݑ:f* K,rVU6}+g^Y`͉W$0 rϒl6T|`- REZ8~Ŗ^lYP2f3菩7[^~L2CeI]eh؆ ޞhR&qĴR@1=2$*7Ͳ8Lk&ٮl]X\2#>ҺV>X .zxSvŏu@Dk}+7bLKͮ]c:TeIj!cG rSF#e4;;0)6s'|m_mzO[emgRpCMrV 5h8HRbфD.tO+ّO.z5|`Z/Q/Xz M+dh59Qal9_"!k}D_,gQ}z=XT$?5Wq %"BM9<5ZE쌡J ˑ7"G)D{sRCO|}0D&+Wh0h;bUuXܼQ$˓8*=ϗ6Y>K"LK.f)4<@滫_mb](Qv>(~fb\|0}KVn8C[B Hm  ЄJ)H!{::+4M 27uf>2ҧ\vuvL J>ןCt!x\J͗Hmf'H76:Pw_ѶzDӌTY!BǷ Y;9Z[cq(#i7i1g%qe=j}|OHŲ$W-b)a%"PgP9b>}v!Aj_G6cFv巔rG fzBk=79oP5" ##FJ5Fegn?<;K~\9WZNQʽWz=lcd~A&CIC+tP3rרxl,*'MG6#ab:ϱ.N`m?%9jK#7Gm!2nLWV3KeEն1i+w{Bޭ 0ӱՒOE%$9Dve\1҈K!U E7|R@7~ g;0?6XWr Ԟ="VL9ˍc 9P݂=2Hù6͆_sN uY Cv.X<ظDț-I$ 2,3_dzv+pߎoM&٫ن_6}9";95e-Fx&瞎|s`y@d~CdkFcɮG8Qx'SNϺO:$r+j⮗2S* G9)#bs6qnE_u .usv]3}KѵfT 6BB̗x͵K6\+W9C˛y r}|dȱG LA+s+.}BҌ:ǒ_j#<A^|Kh.UNl6hh3D?!pGy9&,3Hd_s:Lo[fʼn9L_(3 9_g dâ!fռC*S=\(a.n 3CмYI-Wf kx\1;bo:H¦!R{@%hЛr2+H,NI[,4]N/[Y]1HvII,'TbsBZZ㴜}H]iGв-𵩦!"̹ž'4 Ix궗>N͟YzX}}fL%;~zN<Ԫ#RRyiziM7i n[A+.k8l^ /Ζ0SM*aqX{FO5*Ǘzꪶ_FIhUrP*?p=w{R C4L*v4/*yD7%:dg_14wX|/!*#wx8ڵfK]zUw'@*|&l*=R8{^'L )T5جo.PżgKӂ8$:!,8BSf-e⠰oڭnjW 'saMUy1g8u)-|};˟@[9y)z毵*%A :~-hJSYjr ǸyRlJ\eW1y xHMLgFsZ2HvwS!/>GRC(x#יӘsX~ wݶ= K7~rT#)㿏PC{yn%L 9ibW; S&1b)nu;N߮lX&8vVUB`}Ng:6udk*IZ cKFUaԻ`F䮻W J< ú}8Zt}e<1,Αh3"Pegδq1v@iIpl) {rdd3* 4XjJk/G CdM'/Cw MV)5Cl!s9kAG_#QO4@s%qBP94m;bTӝtձgYZ MC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10201' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O =]Άxʆ5.f-9 rq9`&d0ہ9Nvs0N5Lx't 5Ì0hq)jm%ۈmI(ĭ2U|I!',B5zEw.]dGg/{ʅ'%%Q)9IYNp E=NE1mMT!.Do uitN}Q LiytЏ2pUmEF[3\XUsǯZ 1yTi"9/wwE3#Mf, l{Lr'XrAw!^fg5_چvc9W +^%K!E$ծбkQuXx,h hN.!^!x= ,gys`W^dε]&CIWYf⺔ Te%78e:2juիud1N/'/b+flۥ!5ر }iCc,'cY\դ0]Qh1晞"d ~3jbi^.um!է4l ev!N 4%}Gh7Xr 鏼'h:IAtgӻlR9r"NImأz#=@:aJ} QrЫxZEEm{d֭bg!ƀzV ": ]42F Ptu/e}h%4YE]9=&[;'x+WRAԔh՘Τ΅t >Ee1o!OE-r@U]zǧ/- !H6pr4-"t-sd~{LS`a#w!"dv1رP3A_nV(ՔzDX@oD74Wlh;ǾFmy}R C]ʭ{{tgj8tAܻ9NYϿ!nvAb%宀3%N1@j%ڎ7Ē_2֮io r92"X T=ԥ]5dd ~'} j'װӛY`*ڇHp,q́ъ" ‹6EQXDi|b$F!x,e4Nb :8uJ4" K^BPQa+1[Ryrd6n/R W3-&:]ivw6Hr&Ux7$KK@Y~CeTI̯| U[zBLUMB9uS mz{_=;ٹ81ÆQQbs[*Hq\ՐATY|j .m*S@U(j_{%F$Y q|C^vOdqPTiw\aʆۚJ~'{546zIyyJ>OT*iKu:`C%x,)' |j&Wk1B ӑA!*쒺'î(Vr^1 X9/ܳ_#!/t>RuDm$|>kܘ,,4UG2_~Eam C[&^G^%+T?ozo~Ў^gYZJay7&EAVVq?N~v MF}ejajd: SrȈBN5EI١5":%7,u+#gZ\(*uTxBo7"CDc%Fy q,Ee2.Dwr }X5i0_`\hZd*,N9Ϲ1I: gO`±YL I&A7?M⸟^3RQ9y 'e<;L,t!gf@2uGlӛC~˪V~ŁV--o VP)7%LO=*|,emXcDs4@2л|L?}Hl8eG xMn M٧{A^~'3af9wQhO$I\n/nr5x &a}\邜蛂/r9A>7餯20)CL^E8&ah/Ѵ7*FYCK}'9tzK詷;!:/7`X3g3x?qlL 5|$ }:12" 7RR]9 #'I\ϟ^yM+n ^9aUOZfG$t+F)JZp@'j;BҪjdYI.7 *op6g0^]-2/ʰ7E3=Wa8cq*j5[+h/mTYO+"o;(HhvB&d3gka8 5J /\`AnolIN,{th%h04*1 - ǟF#\G&ԛHqZ^_B1&MU ֬MYqu!+zH-SQ[4#,4/]qt6Ν*^ԅDN0ڵs6cҢ&pJY^E岵ȽCMD]߱բwJh=஑ (w2o1H!M;gI ` vX3u^4FuQW\zks`g?Nۧ ν,v͖Ϧ?SrS "-+PX1שzSs&xѾf"[ԢXv!#p;5B{쉴g#~>X2~g^Z<6C|e* @-R*^RvN,NiTs$i ΋i _UA[rύcn7 fcNpQ(t W0ensk9,*C`S[X؞8xI톅G:Jv[S&(`PM{ô,u lK@K'~YT<4&oI7Rf鴷|2|go}l5FQf 9Q~-@k%?;ȗ-T9{bqdzޭ'"˰o3܉a|[Y{N Dr^_0~alMhZd) Hҥu޳iQs?=J(e'Eu<~kq_([; U+!J}S˫CJyËbI]ҙc ]X;#H'pHPvѺ]zZj]r*t/6u Aվ7v4?Mli矘~0^&HB>Y\dޱMՠ_;[,nWEE$Wdj׽Bk]wARy".#f0N){mnu mq:( [$Cgg E$9" />#mY?Dh0!zfj匀QM=!{`?J7楆slhspy \ 빚:}rX>%ER7s#kB%xCw=,0 'nyF\4P44޸B"'_cqcV  ~(X`(}dջgs9hhh VuVCmT?>y51+Z[cº 3=L$$qL"&d, jIp`bxM0#ldaʅ3j:kτr{5Eӂ42퇊1m5& y>q.O4! H]rDӨ!.J, m(8F)@>^Zoh¾KnOIu7ww"x>!-5B9ta}w7v(Hš:̽ !bJ 'aMyzuF3"z1$IQF:;Q׆N_)LZrVSdJz &¿cg]dma^^NE;kJQ?}rhgz-Z&YHj=$"T5U#(`e/OgVr8vj7`}*5kN$l~!<* .::8񰱘~@>tc眳m0 nVbUB(>BfM UH#Z0iG فvT^S&xRJ%9yJ*ܠc?=ڹ* y{^0`=]Lໃr?;sr('"Y5so&Z%yՆ|!R=usvݬ, W4g@1!zI!JYйK߆|Gy9:ár``LJD9A`Aa]D' WQu7?TA'2d| Gy6 R@a;ً닩"P| 0_'[rMIYwC)K*ӁkMI4Wt<"̻-{AVz8~U Mc0= Pqʷ=~yE>U aAHWTՋc;!J~|>t_|R0$iY‚Q˱@ &&2M(E\m aN }+Ŗkd] @2oQL)  {se,Ht<9zIF/^2ݐU/㏦M+ޕ($;xQ )sCM@52TN˺%:mPƁhT;DP /=eF!ZzuK_leb4uҠe2te(80Fᅌ(x+"ۚ R;fD\hyu @ 7oGrM z BA NzoEج6Um!o e<42s[BRU\Cz4ڟ5%G^!~,t(&&q@R?&aS#J)a% {XNw=<'F0d b!Oߩ^JuԷ '8ԡAQ)>X.sSAzr~iU{>gm>p$b0f- ҍlt+42K"K9A=*/I9gL]vnm;0n<3G0[5X'O6foW5a'bRY( ( !Oy7o3s9Ag Ehvj!>,#vnjOJU2|( ({* &J|g8IJ2ltGH\F 272tn@Zw\4VHRis aT2&}߄}+d.51Aӟ}s,R~15*"bu\i,NExQ/b›JFee1 rķnOq:w;#KLVzl2'U LyXm_9Vu+  ` & rK&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ׁ,gƃޯfVok&&ptz@ .Qvpvn~3e#2ͽUb:ş OstD."yWҊznu=J+UoD Ek D5NJ*~M4{wD%m .;ߘ, B|9&+kgYZV#9# TZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ*DS?LbOZݢ q1 !O(_!Ekn5Q_<-҈X1 CF_xo%]cE0?89oܭ-jwQ\(ZG"2JxiW!rYTW|=yQόt_ZGsdwp_ӏ)M [| b8ote 3H A3IŹ5`&wڼ+[\v4r?P=,!?:e|krmQym^"S$Ix\wzH\ڮW3m@XVZ)7]B/Hk(2u Ի |%:#95k'q!'Yn L"eJYAf3VcTb3&22"̛ڔO=D"]2&T Cs?'f|W1. ww 8!] yɝGێbT|c#.EN gQ0q:ҡdKL*=jwXɯ_c]'WsQ^ʗhF ^M]>Wre͘v jIhc濪W],UDCyod]/NR^kMI{@3&a㈄:NH,MtCvՑP֫rZ&Ͷ($*ٟ"L:^{r ~Ufwiώ&V~8(Vk# *$6P+~ 0AC1y`R4})4& 9(#!o".Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' lZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+-]·Iq n[:|&[z钗[;S9)l |n;.䈑f l?mh&Ur>Q?=,sI)ei/W:K!,S GiԔ M)и6-59xUŀ+l #{ewd'sVU2:_P{+BOge'm`_%ĕ(9ȌGNCJ%vP wb]._yBֹ, $R_<5%iLNB1ڑȚ /oc<ȠZ"b`Zb RQI`[!xrt`:cz~Y ~'3WJZ3SFs_Ѷ2q_{3 +nT.SO8R T^;bYA(R}z?[hMR7:)(jZu|Bnы̵Tm/ًĤ ΧeVdlwXp*8rHfgm7 x&q'd8/x=}."Q/S/Ae E]އGU L"6TvLgqCFN$3:X.o"eNzMTO'zS@9[@'K|to3T*,0'}X'8M.![J߂uE `b4{{?:ġ) -i9mNe x8@)rALygYZn@2F֧@e4` b`]!$kTjir1o1{/RR$J=l{3IQTFg18$c>lN]SbTĸx|jܔr`(=f`@SSԠ8D5Ű˹bEB[h*رV;4 r1wz/}e8Nx#90ϳynRZ r Ȭ<1{fV3wP>X-;* Nu.s3U|Mbu 1Y~5A-Q-Lx"$1YI;0~y?uAxpC۾݅0zW7ͻ6vҊ̩w7Z튼K;जFʒ^1Љ"yɪs?.\<]YU/ֳOPTdSzYxPM4 5&bb̠{4a\RW3Ⱦ=)LGZ8 "?=4X z JP[܎5 |cddrM"d6Vuk@n!e}@j%4FukUىכN[v ]p")8{MeF\W&ɘ')G~_>$UD/)6Dh8U>Gi /."ߧH3竱1D̸Q}kz?b` fqsa6 lⴜ..z,iUнfx[B8RexZh6"[xq;cdFC=Wҋ O鍍jieщK^; 13mŋ;l(Ǒ ٳFAACP_-xN.-&Xr 6^BRU$}aZ0'A:ooZ&ZQ0KB@]SgY΁W [#J〵@ͺWc9o8!l=y{uii;2Inc@ FOFݖL2b 93 zt0ږ=1KT; ,f1?5,V 䬲61݆ 8*DqԍC#Y?#0Y<Txr |Պ6 ~,;F2sWdZn)m-ӆD5(^@ew*{'\ :Oq]-j@Ң|* 8z\OgS$3kk e<ՔaLHG\6(קJf.qu);L&bS9:Ѿ;g5@:^4n\}G鼗L&eX:*sU>vO‚mqH&*HWw.Qt-@!b  !.Xzx~ˑ*Dj%Rh(.Z4?;pY2E[i@6ןB๭&,ȧ r3h n.&鴼d\P+wXK\na~xzgܔC J6HSwQz]Qaۭ4h9bs۶FdpDcP ϡjoӾU"mJI=^sC]=6"'2N"_[@7!/np.!i}[e*usPZs%s٥V|{Se:?y6m~',dnyE3e/wQ\~Q\jej#`:Y0fJSpE)_dŮ=}c~+*wy W@ѫ):ޒp,gt?y!gTU>H玀U,~Nm(OUM JHFzh[".S-v}g"ODEyد7(b^,Ml =ӕPg#jMҿ'7H x~;~^sI%;Cy$ 4cK~@m_{U4:>m,n?9ںΜv#IeQ[dL@D$;Z&tu\;fI5yoi4鷱co>j"z.' V%^oyt|X_bEʏ!RƬ4:u+a gua[+a-Zf?ÊQz-WhK%F$ate'-[ 8~9gzIιȌ> BD0 [TC7:-f]>N)ЎtR?'FZ@%0Xބ H"Y|Y20't&@X=.[ ZW©ļۜ_ Z Y?$ufKqz˪)hVb,1%"MIvmГ XvL-몢l/U[69~3z(839%qfֳp 7$M1#5Qd[?φX3sq3#)@gwg+R n9{PJF0S7H:W2] ͐#{I\VF|s`)S՚Nvya#T[gք5_n8'.POA;2n9 tJ.ע?ь@T+]|K("%, -/, 4Pw-bu^Q^Xޏ(C{#`ea23{ 9G~Uk?,L9J}z¾+ kg_gYZ #fl#G*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UN]·Iq n[:|&[zׂ O]9) pz*9@fk@Ca5~$0!PSJȜֵO4BmΪ𺍕_vk˚lCN'pd#aqQқP:2?tgYZ'3# \ZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  ']ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($RAPjR )X;f}by `x1Q"/zoms&YtZp¤^դ`1P>YIIO=fTB-`81n'TI^2]w"u dDoư3"ۛƷ3PxU/GwT;h=|d1逈dnBm49@kc&lZj0#yd_r(x9>XR'` EmHfGݥ$7ڙ-Q!yD[GBN DBTB~)e59:EU-QF[CEtw#_~_ǤWtǬ=hVq EK/٩2ߘJ6Zb 0T'z,8yM6IEbx^~'&%cʲQ"ŹF/Out~v1ݼap.8׉ )%3̭%tԋN:^$}Wʨa_eVnzo^0 wM\oЗ9YnX؏N2XA}܄>kL.ai]j`y'y! ŵM҅Ħʒ]tv1bΟ ;q.[PEtU Q$ets}>_Ȧ`=r'L%Խ]D{b)bkJAX4ئR*$ vP#Z, Vt1hZRg5ɤYXDCZџ2FΔ3xa՞z%FզPIN-i񁂷Zk)$;C]nPNM)@mQ֊;f&z/<8WC!m ۰-L-0۷u<";,Iqt:TBRv{C ֠'U1sCh(YrCv9&IͨQ'od9ocC0Ѭ0,mf#aOS(M?oehY{53KuNC՚}h8 Mم{t{L,"1$tv ShP@hB_CYˌ r̕k]똳˝sco- >4-)}1j|8,8O'\VI]&l: Ni02pqG-Yr{ IWpQȲt* "!(yir;:2(ɶX3uv^ߑ=m瘛T}ʮ}cl*߶ W<ˬAxyE#p/,'tQ-NxsGh}))^ŊWud-ԢIz3nf80bM"|{IxmFo`ޅ 2aɂN'{|ˆ+TAQ:i݅{KM$ BCmp<-L/Q )ln9E)QPDo] ^ (< z-JeZ'JrK y&۪/ uݷ%J+?W<_^."SZMw{L;#jES,&yH'0] ؉doc,[tE#V CQ\h 5Pk+O~/zBYOA @ҕ է#=ʄ%5h(qp <7!cl/a nmfp%lݛjI+Qr) I#%y~<+# U]p(D;G< yekC}>/z)8F˹O&Ɵv.5~ 3 Ճf V6?h`&!ASp׆߀+EW|"@/Ei.7sZՙG)M=@i4r),6,5Qp]oÇdN 8]`C;q~Bo_i}@pJ\_tHp?}tRQUd{ ފwvМsPTpߨw~iv21IE2FZ_sȊVik؎ |iz2ΰ'>z?CiN`Vc+ ,;$ny>6M Aye|KfBҿ7,8 \HE2U%~JW,6;sD']ԸVh^`ͽL".sÌkz'&F%/8}uirc9{ײ‡E0vME=L *~(*'FR^2Ā|OQ\xj쮫t o8({4ba6Vu7ٟ=WT;B2NT1{QyPOq?K;ZRM"D #0k^&=mG鉊QXz5.Ǔ-}Rv`L6vHwŹ:9Ţ}\c=%1N˧M>#7OK:d(Tҩܢ=Ї@1#ciQ+3fj.w qCBinVp9+ګi@jBi0Łлl2[u b0Jڸvj U"Bћ05"z.d<nӿnRDESw xwf,ˑ"XY4ژWE7?,vR3>uxyʈ{xo Mx\5ӿ,j`NS1QN$;QleنiF ]=8=p\}[e6|Iǔ JyxCX[R5Z94xյ"HDvH0k $+;nƙu)k>i!zSDO7z}8ohC.s3s2("TZH $K,w.z]Biw (s:f3< ey8S@ O>(r]-=1t)}Vi4p ?8=s899+]ULc(٩>1\, b}]7C O+0#gҥAhp'6hMNmߖXk9>fͷ(}xS*0FX澗H-_Ȳڟw;ˉïoGlǒu;.= a,"8U~nU$*pB{ bO t8t٨QuәMW^kP7iűh C_8w[_~73v ޟe+[vy{ 9aQGb^ Pe';#' /Ti1X?XB^X␀ 4UIw%χSIxq|K),RܞenyYDž%Dt&;^dR9d a' ?*\*>>d7YxXpS?U-!f,}9p< NTjfNC!7| 엇+ŇBG˾n§ ڤ1.Ij;U<]DͿ bZ%]=QECt }mRK E)4]FQu_M*]i.1Ya=tҴW`|h0b@`,*N%5>.sSA.1yX#>bqx(0{IT {xd /g\HF(O9KC7:˴~$a.g9]#\!Pt#fy\ylYr>UX mw^&TFjƽVsRGHtKXeb.hS]F4lCekر_C#e _cWKMVz?޿PDQhkA7H%7@w=L2R#!5W3~g`ech5 QlgS͗jL2d!j͊2*b:w5brlZW覢g\'Z7VK!h[T_:w+. Y.c?C 0ir oGKMadC C.:üO9&(B'ʛ#SX:uMue:ҿbϕNHO Rv^"^]V· bp*Gfi+֫ | oˀډ? e=@l esϡ+Ú"[0L4E,Łt::`JR4lU]1KhCb;S$kpqxtg7"-?JYc=c 5<PC?o1_W% %L"sO"YApoHf Jn}N)XLrElbb9qg;es*?HK?nª3#{|,|_W 2 䵊y^pm,~6'Ub$M" 7{d3֢~N 1xHRwE`gLS/ͬ)>)jP) bxwW 5 V1QsBB r@,${j 5Гc1\b[o5?,s-HK2#5i 熝T b X`j6[L}Y 뽩PϤu;)J&E)-ॠyKA$c7EZ t.rFi'Nx_e:PxO,)ϦC"~{v5] >MmV\YRC検7D P>GC#N8U GV▓NRF Eb8̄:{+6v_($PdrhCj/IbEQN߰\ɺ )/W w0ȱ{Z"*e%.p_\RAt"鞣N{7۝rXIc.CuUҫqKDSXF3_J]?:9a{ܕ"BS YT2ل>tk>AوڥXiXW5e00KO9Aㇱ8RR $XrhgP\5t\!+ٓ-x6YC(V9 [Iw| X8=B'W;w]o$]y|= GnlRZ\k@Pq1_|MI8lܻrxˮ-tXߛcT*oZ#f!ٓig{c^&~uߣbj=^~BkG#KkiF"ά, lLPnvyr`G=Bi2zN>9VIKL{eL;Q?>eR xWM+" U-jPoLS<_H-MQד,coI%A+eUЖI\>|Qly; aLEJjHЖ^=5;1,/0먲6lJwQeZF࡞8#–g* k(,5z?5˧/9 m&J>d_n2 ݼȥDY~w>'%\}\8EKk(t#%J_6=;CJQBD}:y ]kŁĥ(ONV "9W9B?v*L8^ z/53JjW=;4BMbE@J뢃z<Ϊ7KjSO]lGӨ$ؠh|{G{F[>rB)5!$ #:ڕ`LV7tjXo bX[ɄrR'@-k?}FkH'ձ 0Kd w=3ɓ}mN Jc7cY F3l Fz ;܃„!kйę<0 - ԉ_H *a`M`c2w]c^z\uخߴeCiSY唷66cSc5n1vニҹ0k;rɋ=Bbd\I Lwۧ"PwgYZ v J  vG2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108c0/' tZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nq]·Iq n[:|&[z״JjjR,F{?xfyC2Y15Uj1@άVQQ._XN<b(4i8_!yan"\b\4]Jw=u ϧG]QP x$ [Ԃ*aX=Ӡ4*ƈ/v3czx5X};q} {eխerT%wcgaJQ̉, $U'w =*9dS#9]9oaNZ`Jg&D!־KjsFQ4&CPVA纄^*eӕ^</h.<u$>ۚA1{,=KKrlD~)ՊtYTVu<@YMi 60_{_;"qkl[;j}B|D_KZNa$޼cZE5GV!s\JdA*㹞*/R a9.Oآ04 RW4"; Uxn.(F5V'.a}wTedi^IFk^_GmTS%Xjs%W60-ԍ^ľTkX ܚ:x:5: KH3T+VϝWW囫bNg1_V䱨 \p=8W:sp{3CO4yD?uR)@U02{,D[.]YCOVo2A"z4Q5#]L}6,ԻV5n 'NL R5 z51ͯD02G./!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[:|&[zo'#Ƹt$[_.@UgT-#1=6@! ¿e'd7GJiMо\ T_vJyzr'u݀<ɽGT35GS@_ӈ4\ҎiB_W}zз="B X[ (qO>N6ҴZJxA?Bhu`uT0τ:vAƯ M%͹CB^ _}U|&Mx.I1o]dC.Cc8~@)'d(gYZ=+/# ,ZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*P]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM?ބc$nu*~Ex:yj\±hiI R!qVZ2i(!qѴa kźt?P$:6-I*]0]vޭs cR5e.aksuOa8#R*(7M?;1)'V>jm6fBgMRM. #g͂ J ~0}];bnXPhN.$ʧ1 :7~^&زq ZjLNЪ)#/2? +@Eh~O=cL=8g߬DB$ÖEyKJhEcs* &Z[UľʥJ\yu\zޞcMi`J̺/΅Ӫs^!ԉ3هOd?$bXK$4_|[|U3+؟AE,8h5R_~XD&o"|z ~ނI a#:ve|4 WBIoMGKs 4A'&s #'?CFcԀZC]g۽}QuaZ2XZ""C1+DETWL!=a_8"T߯B9[}XN7.%]8X5}J2D ?8/;i:Cu[-pULi;S~pLFWRUbR-<cnjB-ݎUQRG3Cw/Y'@4is( 7!S^v͎wW)w`>|yd!@9۠6TA[I3"Qr!{孁o=y&lV4m0Ѻu)$߄-7j^xWl uj`P4nܺ Y}$0ƿ3oC WCxFkE(5yV12gVXGY dF(>x\hA= W8&0?50r4SDcHV$OL@KQau%FE/:Y%ެgTtتr>IQ^俄rq_pA̚5AW*O!0~\lzF[Ȍ,iƗH;5~aWY7p롮n&;PNzjbXxo3zF&hǐ2E`;/2%4f=h'+;BWw(y)ax8/gOoY Xb.}vh.QIf7+ :+y/K{'_ ńъt ݏ `nmO' K%΅j:֭Þ(t&V!} +''v.,⓾&\^/s̖G[r(liTL@otcbQ \g[ʸG9i`NE8R.ΛEm 'x(L.KS'uk}mF(<`F'Ԥþ2u\?To3x(#v Q PfER" Sժx0l-#a`!FN6@_`||@!h3޲P0#ky̲nYOfizveE*kE4v;Y-jUxKHDX5a~{6`<9s@]e[2ȝ\]YH'hXn?9Qp&̫@'~. j fuԵӂӝ<6~jx x)눳z[V<[c6d1OxKv J^,;?{ـ -t˩gBl,JElƑyy"F_9׈"Vcdu]fGJxTU?-e2Ho ,1C\:=5#jnpEKtLd?r*ݻQ^8fS,bD6|yQ t@9Ebj>hl4\lw7ˉ ]ՏHrTG>SSMdx1a-Ji/7AV~֘%Z9z⤐Z,Xo1g#Ji˛< cJhuOyk"Ph񝿚vG}:&Rpa$izjb{DB@_ؑ+hW8f)9V跭cy zFygtr~_t%APT"SJ8Y--VG?D#ׁۯz址0_3T5Y51l`p !Ӊޥ +_Ґd[\,;ߚw*/gfGT>W~ZH-2BޫzwXa<꓌\`_{`P\$y~g6>6@|lt;-Ŝ2 I䷆lohӏG-W/~H&ir%|ATmFWuo_T<#[iZ>MIoN> +D6T3{Ef!Vflt Q#y/wD>]Xex;I͚FAk *(fL2Ƙ>P%7`c#C.>ܒ҉=r`x"( + wӬЊ Ll P,F8HJ$%FI9EVs4~P GՌ \HQ8w" V 6}h*ϧx6b:uɭV7?|{3Qc2AhJ,CUy0dv=|–hf j@f֖ňWJc/T(M; QқoZ{C_1>XlEgpPƫy|N\U$xUZuƆlW. ]v:( xtw:tR A2G$Xcs=:ڝ{M=R?T~Ճq&~>H61*Q/\L{FD0y3}2ZYZ^EE4F%'Su*AW44-IAJt`(5x+j#T'pa%w=r=c<[ MpGR FI[Z|6+;iS|u%"inu $;'ph&$Pq>VO$isNj\jt3<yARG+Ɯݑ͐*Pȩ[Kr~w3%7qK Q^&L:R 4~F t-W0il[ +꾻FѮ2I=i.Rx8Jǜ oc .dbO}GE=ruaÒD`=Xl;:*vg:yjrC)&$}pmen{U>D| vh*ʰSyG;j@5[(wkF!^{젝}g!ej6讷2NYg>q8?% &UܪJ6 nfhGkw!HD_Z792l]E,[ PYPjo3ueEgԛutˈÇLHq2M\QI zwW,y>)?HCj"KlK@:q &ГIW= +mxHHL͑V ɉgWoͯSEZC3궝^GϭoXZj ěGFlvYQܣad_{*orw4*ߵ4 u][9++XӞ;wOT:yNXrOccP #ifCA91;VøF!ۀ3󮹔y_,"7J 7DHP}{Nu5k!{M2ʴ"ħ.y,2%w.vj%H$dT!Rc{`5,/h fUyȖ2ޥTs2"'pH '3ض)'zk~t3i c'J0:<,> .7)<jfy7Sꇋ۽SГ%*;2ĕS&nm]7:OOARK ſѐ>1(= AlP%}6*ҋV[m1xҔ&xsC?4z}rqቼrnA-ڂP/=͙%L3O]P420à"ǝ6MeR1S. lTe8t~n/=oOx/>9}+U$3ȼD]ZjlNB3X⹥40s9 Q}1n2s0E~;-y$}e-kԉ\k8-1[/HhSk>ݻlwEGȄu@;j9Ưǡyԓ8k@nM'/d䰸i+fcv #K_بRTn% ݃WKG}Є鲃[uݮwxf#ة dJE(:fgСʟԝ+%qmL#}]lW~F Ƌ׊VE>͇PYGձW&In }aν!j\dҭ[;osBF@ aj^l"It<߯D(0XfTPK[\t zLisڵ^^}4l2ؒV&֗,dځQ |הr1WtI>Cb3P ܑ`wKkFU-x_L>:BW~lj96rs]c!{IY]W38#?{9M [IQ Zg՚|wh"$v`8p[[0{0_%U=9g {[g 2u\$ O$ 47;̌ALTp_Bn&!.5VQSG&CfxAc|%ty^Jh)/`L-P0@G}Og:#!$RRipTR9fB*. }sAzgD!^6Nf&lizh &:n-z7`^yrfR߹4` ˹rGd[=#JTۢ^ƬnG5m$ƱAxݝEwӪg5МDXI~P}Z5aǰ8,z>w^dBbe\߀ׂdAaQtw呎zp1[ C>Cr]hڏu6[˪w k)yێtʶG\5avF։JɾI\l;Ō,WVj0c2?} ¦$~re݆ ҏ["Wod$? ŗ{xi&ײͧ.H"BGz(⹯X׻~"i [QNm`٬xzbu*&Lv-n3F{V~Sx<*'@;Xd(|h瀡^|""E ߱qء*`sM0vCxS&Dzd$a*.hɈ v$dRZP$25S*yœ8=ߋN($|jfsd 8"T=ŭ4VA-]6 򾇮Qf%(8V~Ghtd1$&QB)k 7ͪB}FpsFG`Y(xJMv[Xx-=Q&8(A.Eլs;U݄404բ9K:<|&CV4bʔZå+lې' ب&z4{aN79݆l!z1QmT\b \Ax<"5y/8u,bmF{L8wG]lмxyfGBF2PE[J~[Yd+'1ʔΠ/FwDdPu eٙ3wi!k>tNMV~%{[N/_g"Dlamӗx0&!!$kpaNUNt.k6U:>5R-L7qKND!.IA OTb-0 蚈{ !,IHK x"Zd2hm:atӟ mStEu&{p <=b.H^ $VB[6ɠʏ)Mf*C. T( 8W7Qڜ{Q1rFͰ7jך~HpW JFA5)<[ݥlr% o4wg.׬i7Kitf{dxȰ܏(M4tEJsSUP7k5ACzpKab3ǝћ5 ԰1dm ( ?@Y3~Zg9\P L_t?7 cwB2}H[w(3<3wdx"Gŀ?R9۫313k xF))u_a|VtT\ xCo786qR1]zM}Wic$#]&:MVBw w,~<*˟Cw=)(c3Jt0yQe#,3]{1_s0cvNmo^ Kt٩5!=aܧ:EЈX`ErX(z?ɖUFCIx/. sV+`SNuV\DW[LCBC;* k+S̱p9l0kwN%}P.B_`XhFw XT(64كv<7bV|V A[21:TLLhP4cNJtOVE,@Cn`c57g_Ƹk')/gZAJHC@FsftT5sZ.l+wu=JDn6DŽ\ڦh7~`, :qD0,%C Yzttwo`ch'M+CPc| -,EWNI7-$f M9X ^k~Q-.ɜ I畜<- =o$؛Jw2y@\U!6}j`P8јA,z~yuse&'}ӝַ PE_Yx Ũ끊 X.9DlA?4J?.Âx**'< [njE~oDȡIqѽsE/gyAPHJԢWq.j,RTلUqSgޝ"$vq}qGxe9r#팔":=q _J&739$W )^g]n BgijFr|XR7P{FnqlRZJ^(Cbk*Ԝ՜NƂ[`b1)Ue &p3vȐ+{D75J"%2b5%j4DA}`+?!Y3J7Z]9h4VڣjGuI,S\y_T:R7'^k5೩WrkJRFm1B|(-a\Ô> ek#<ˌ(oꁊQ\/}VTYIZ)ӛY3ݾA]sc+޽wך4 p]nA+;׭_S@gN4U^'ȟWzm9&INK,T7I;oMgzUo+K&(R-ħ`*/BUŭEo(5Lk58ﭽxg.Ty~_<)flZ>x.Ԕ980 L| 큕:GP=%e*R!!^V#uM:n{Mg3{OZ`y%yKѝE]`nAW6OC0WR{y) BP=TfoUoNxTLY4sa^`ޣ3Hm%\ ~ݙ/ EOv#2wxH{6CT0+BZmU0M;p&βfK׀ǘˏr,_sb2Yvlf/n 上Y@yh gbIpQJʼn3\am5 -n&`U)k$"3ٌ;ꝠB!sP iA:S,K|U.'^67S jERא3=z|p5{ST&} 0SnHxa1Rp׊3LƓqq܎ (Iw F3 |l|oz54VEc_ח h9N:5p8XV]W7^C_t6 T(iRd:ٶ7Y9fR ,(&DDe"C8vaAwYW[TpL)=\[$N`)(uϙz7KURbG{웨^>y_%Qe/uTOP2l/O7.z|2E-`(-ŧm=-D9, Amj30,m6.w;pa䩣Uic#OS>9<ȘuVǻ4UQwz!('{8}.%:5MˏgTlFh.*0ٰ 04C{C:AED,_zz*BVeO=NݼhThoz#B` <z|YRnƒ1Bo^5<4PENy2 N! A};Q֩& !;ggbu,ŴC;CA%de :wt(wOYKm i.3Hz߂uk7fa(z)P(ѕ{*Ȫ셷RT7)BhXW߂#N)LϽfuTZޛBExEʬ Qxm`^j9vIZMfL7H&Ion4.Oӥ]N{tXlTtI=mfv\] sur#)˜q#F_xuH1SuPB$}DKVDC<Ixr#z: \ @ 2gsElævol54^-PpvkРb|JjŸ:ܬPtmbUurG 1aٲA\ďa>ue%Lԅkp?ӢAo5QBAi"sN`$P}rLgU}f 5Ήk&YBt RԿEHI-gYZ7E"Xc Ga9rx+`]:NT_IhXf %~&㶐r]EzL2 %'-6Xx Nn1RMK#䔅gV!:˫v)^4@$V\lmg~piϜMĺ*%ހ1AT_SP B)e,$Z~Uյ4WܕPYtPCY9zI A-*{$A=ݠ]RSO?bz_,#x3Ɠ:'f>#׼po X*pITYkMB2԰8z]H뮫X:CDZK2̀?-M62۸_1C{@Ψd,#]t/h+KaL؋(s\ bXX 8O^(U3}wk.hH!'N^9i \<r=VsP燘G/ІV!X>起Xv`$r@W3^A`vu6\Wo!ta)0Y}>wdþkgHtaӍ?/9^m7T){h5ϘK&>fA <5Gפ'_Zěimiay$z ۮKPTD)39E[V!Vk'TG[Mq,s9.4lϣ'璿kr}4alf{vۈ `Q2RTP0%9-ڌ4/}闰*h9I1VşWK1P, )P;1E@F[ӃU5Ѧoc* Nj߳. )._fؘ.a/v.&3Gf;$}/Lh!ݱNǔM>- 7 TAlΈe "/j.rnXLѧjfy qs#|Nmty& (>\/^v<ʖ|d^rz?32Ezpe=tn1USceGfs4tZrP7Y˿6,X;\JbE:Jb^ Ye!ϢsWoXsjG$xo`Cek3 ڕ؍_#QBDnal;+qUCnҶDw"K#3~OI:¢${ nc3Bk^(шIЭ4w'b}#*|"S,ʤDȁ5yDhikC_)'{Ƽ40̊Gc$+6O,Lgf߃-?I8EfcTc㝌3nCRcrEp۔5xAyvH(Nr","лҾ=>(_/ >{O_a <~"g(gƷsSڸ7W?xP/Y )?s܇il Zd)ō$Μ G҈+wWNvӮ7:5s yu/]{{WJ$bш퇀FbL;u#Q*  >Zѹ6hOrp?HXs)IWr{R0; m稄ioްoPSWGy]~;KfZ=@<bƸ˓97`:OrО HӱIۏѦYizCD_ަyWȆlpXhUugZS8'^A& AE8)JK, ZTC:Jr,"H@du0/0 :I[KvKŗǩ+_`7V.YwiyaŒoPG()+ߞ)k7*OzNG 62զe$ "_dzL}IKtBJAְ;NL ݺP'tf5;yrH|5=GP0 N&|cQU$8.g?![.f枿tI<0XmGB~0l3xkZmfUZiS -AnDjsYU"ouᜓܙ5Ɏۑ+m v}+o S$I)#/U/*x7Wy`{r(ɯP=l%.z֯@>^7)`-3sC͋f$9دDEuzY:be~ R"|SA$95\0 ͯf @jDa3DGϊƓm ،)$j6emD$ݎ?8E6@Gpp_.nΜTLi&9|piN6iƗʒrhEcK5g7@_+#(단st=h&' M'e[OE &YT/<3I1y!y>>l&;EEz8^yQMT_\Zh'v\`BS^ ]$Т |jL Ekw֕|}dq!~=XKi-p"+DAOzON8{!ƃm!>S!_`숞kG~-WjP/!R/өC"0:1Гw~!+z{h'-E)u^Mv-B{V(E2j<=Ѥ7OC Z͋d|"ɀ& Gvah9ʟ gP.{PwmZiwɸ!e\ XdwS2S~E}un'W DQtH;?mrp^.3z2C[G1I@|gOA1EN@vZvkZĢ%}ow#H[hŐYFZ oWfIo1rU A^>Et?GWWP]_?6hfIu0l},GǒMz&KviFvɽ_*tC4d*6g+o۴{U/$VCkBߞj)t xeb7s8Ab vyEoTv=bKb'->"vKs! JL$n5l9gt[W֞'e{6VX+Wf:XR  ߔK3&,o>1O{Ľ }hc]'Va8h6Kc6"tK*t*<Sq?FO:t +8r`jͧxMEiGSHcïJ۶;"%[3Yx7V@6kv@tp9XV ]WzgG/btϕfelJ;Ok|/ꋊ"MlM M]ӾEZ2$[oy<&';Ѓ{uv&d2F W?&* O;Ws;?oq6ٝW9Ɓ2Tr sddFLWd 884эݮ\fm{:J }TMF .=d)҇w j|bmf0zv٨uߤxdQ[:T8,c5(F^ÓģYKpzDE]td]~VD#BBU_|>a J*\¾6̆6蚳}9XY8Y$ъW3ȂPaUP)p4"۩c[<| BQ&*sG<ƤDѸsգHdJߝɱvW| ul[;@L_.xʿD~t?l. %wPF0J?Au?o^^7 TQclB]3X<B50x (̋,@K A el"Y+ܐ(' Y# JBGtb2ߺiq?vIqSc\1GNU Qbwލm0arq;VGSa$e}|̈́o%J{@U_${CK:ky]SRuסf&s^D`Ȍ ]([gmbSa\xB|LdXǓ0&?p55+.߮F&V:4 B.WMܝifЁ`{U>oPwj;>_=A3 F;Z?{zmij|l)Ԡ*[.+? tȗ= vGC1i/KzB0r.ίܕ4"qLZU b %ˈaQWݤ׆6փם%?d|Ôl͛:}oBlq.@`r}t+N%1B 6<͠.M/N f:C 2/6GS4;< ̹^km5ϼ@,I_wTZ7/֟0/s0up\,O:[&yb{)k ,iZз(կRM-t-pUs|lR<{FͻLSlS_6>9TcE9LF0AUXŠfa{~?I$f1Lp'4R^Ci rLq\\ЈhU h JsrZm~h7(_o<3Bi³Éx)hڃ?stqG<`i82SOKor3S}O Bw;o(j@N1e`Uɮ6Z.xʊE'̥HèHp߀(Wk"S0CBAiA "5W.jEoLty[.ZIful2yMB"Mu3hR2s}2㖙ڶ5k !_gxg\viP8Jc\Gw DUw%ɶ8[{ľfHAxMoѰdXǕχ4j+P@iGVuRxbN@Z^mL!Av*{:k=,w?Z:+)-0x1XRS%)CJ(f#ݕt}ÒgV%.)F+O"M^i4śDž5B`DGbH,K+mfF uzW0M{etɧKn\:QHXsGŽ^.De ]t.mT?зycOa~/ TE;r(1U-13q$-sι#8ܲcTw~6DM.̒fM҈xC0B( -X3w54 p%`TK&E@80ӡ.%v;r-v/C[N_D^UJ\{h C2nCbhcj[(,~;.*UuT \$`}ҩA3 FrM K؃[*_^kr^Z\ Y` XwQQj2=3[>5B$2 >IƵ yE:Fz4; Ĵx˪Wy  wɎ\OǗ:*h^Vi ?U4"Q9 :Q G^U/: ,ޛk .X W{)GHx\F:wl::^_2=9)]-``0Ou" t>T^OW7P~?`5Gn>u߾HNr p:lTA[z{^KKxhϳ.1c%|axZV5>OEE)gYZ SS3 /# lZF-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Ɠ跬kfu.c;d}YZ l0CYRY "E ,KѠ.R|6IDTOYۦQ,p5 F$ʉ(>*f;X[fx }%*B; Tk w50/u68#nMyv'S淬@vY`HJ! ^\*̸5]{:l2"R56zCحm-4qŎ cqI(2cEg\d{3)+rcj^YH1_6}&_FV( As {Av%9s$oO߼m|dK?E^`MY4ߤ!O`Q w%@R^>"T&sW)|Q<"Y_w(DK(L=vф4LM, c2t[j%:FpDOG!0tx+17ZҪ3D|}yר2sdJrC"a!qI>q8Dlj'hwI/_S͞D5eDg.$>`RcꝉkZ߉ KZGT>N﯌Y{>%@#6k9KZݣg @J(f0(mA'^Qw5Oh(<R?6iExϔq"B38o}l]VF uсHfDHvV:e@mhFNߛJ :?|ՏtPT+pɄg#ݻ1&x{#m) |ԗ `d T{wyoz['* cGMLyg4R:ﲁ8 X  #ZP|hK^< /!m'K3|WBr) B>:wOanڅpÔR>b1Գ1CuHϽ :Pg,÷|=p_հq#/]L`6S §>w6㺄j -]] uT_H#,5u5-!, nmp( 0r$gt -'m;?4MLIcJsO*5R+Uw|^D#D{[#iђC63 (}>2 o0:bBTIYKbJ;jpĜ]+,wZF> ҦɍPęv ]򖘟ӏ GQ/ۗSN!oBJjd0)c0r뺀Mf0dWbN\PŠKFϽʺtᅠwk{ho)uY|+Y~(_AmF:F?x N.H{|u! v|ӣ~\ ѫ fQ/2{Ӈ/i,de'δ%Ri/0 _N6wOΎHc`fԼC,?h'E(~ JoTEPyk$Bbc,"QXmL/YN;ۘ&y;x+9%R0 kӤM@.(:ES ž926m dX:5NA,87!zm Su¥6>|ZOr32ӗX\3 >ATYFLҟ2$jk. YL.ln;`^\Qs4:%VG+ٷSje$5-˴Lr}M]Jҹ#H$%}ٖ^icz0W&;ñhP^aH}]+nZ#,V'qd!^ ccOʝԂ\=f"3u3d1p[k]&w?kVJM"iA1WuۥGY7'%RyM@Q'ݺٱ4[ݥ8}U{"|@΁c4Be5d4% RgHÓ̙h} 7UOAIESPE/g m5+fE<1>.v@j~F=:e*GuтR 7BK #qM|WC%2W|~D1( -BrC)MuRSۘɆ /E[c<`!MA s.M^fh݅ ?%7 PCDl1)b(pDZ]_Ewm> @Dwԩx}Gh>휕%.cmT(e_.` 7n썴T8aZe i(PΧ]o@y!+`˛d0rbyqҵ|DΔ[(f/1=sq3qH +-qr:䱬̖^1԰Gfu\ %&@lw`4 Au4JZuoeիrڋF[|eLtSm;<|!O /c«:4YXQ\Zm'%CLh CщN2vg 1L<4.(O^u-[I< Z j\ AxW67P/J~ꮣ_dL38hޑq&B`^P'ccj "0bS[p뢏05_#eFrrS3=MW8)C4.o~M.+f98ceq _FKt.Д<49a8%~X /(^(7|±nӜZ|kйÛh+lM"PW+V]gH2c0qɈ86=&h#ZGWAv7)N)"HI)S ym7o f.뜛87Cnh:\0.z }, aw51uw"PDQ0%7Ngܷ)'];A wdG /}HiϞ 8=مqASĥ3"+*S!?TD#Ym%}\ւOKy3SdlGw[Yp;[ ۼTK9|_ 4y/hsV%X"8[rQD#mIoﳊ`B:/Lz*J61-$ ^Ukլ_YlmhG?wV^'aGF0pV7ч@N|dUq( ɭ[5--<;!&m65͍Дr hhyȩv%`}/!·G/49c}vH~,j J(TmW)˞kA?tRt6Jv`Y>PsG\EMwdci\C:4ʺoX_IU t& x/47)1O_w3zbyO-U^0U=(9̔+I\!~8]Mi(uHk[:=,j}EDSjL~n"a~QRGbo99b/=NcŽ.=Ylx`'yAd!\G(uKy koLb|;#Y;/9"aR8?}<"'@]3Qz}vu/L `1 hkb|#w7Z0ҥ=xXTÃl=Wܿw{9%ږ\UP)J\yyd## .XB)O!`8\&Mp.+/̰qBHꡟ6n75d 1OGU_ d$ "N ƝbQ/#½%(pRQktdfwG r:Wk17awIZF-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|Бox$p:+\,ռJwD2IhD>{ Fl VpE9MЊ]lO\iuK(Co Ja56JCIJ݃Rꦲ1]<)]u! 8YP ֲ@Bw9fATz.K I$7Q h@s3]L%3ҧŒL-U{uQ&%(qޗЊHENѤ7r] !5)m 咋 =i%FBo-">T<,aY縇+ %h"kp̼}]q~'UMDNkofRKg8vm0?onn6t/?SJ̍jqD]6tx"\*a}IM՝0^N $5{mn͓JSB5%O[( ZG%DJ9 nunqϿ{ޚ5o,F.>~h`tPw;J:Ewk/%I˩? 2,`H"@P{;Pb"Rscb84bq:W;hm8w0%ޟ-/NzxMbf},F7<1B l:/2YyldEexf [al`ɗxRZKڝ'a gYZ;KD\ v>a׾e4Y 88%-(Nt>̤/XDE É!<"ǘ#B!T\rPAZypo ̽|qvԷd#y݅ʘ9LвhuΣ!fB(X}_f[+`m4.ovobFJi6ht /*a链r\&, \- y?4~ 2_9qڛ &KA64Y _U&\ ZOdBK-E=96{`BgF.J::CW FN Ma@DD9׊-8+Ma.[K1 qN,h4 Y+(ғsQ竆ḣnNu1f)=M 49ux uW^2ӹt~GF8 ?HS#xpMBMoU^feHr]X[o7;2iPn_ v pH 2vլgX Q޻AKe`J&9erBqe4y |w9/'>8_I3I)TM`n6HD{y<~'BC5>U@tԍC[  dRKn,P !mFwF"8иEOޑ{\ -wdl?rU^ao?|qгEzXB/dmc6& K QIi@]9$h<& վZ?}' ͬ/ur{C #_9$h?{i,ԍtr|PҙQW*9f&J.;Ŭ2t/WHj}x4m@wҭ}N^c` ]1YA 4M2?}0l;&2>+SGBnxL2~v(8?ǰURԏKQ}rvy'&( Qϸa9%xBɄÅ#GpՏSоOut8u2j=no/%: 1Q01F0On~nl~μrqZ]zaھo7׋8k#"  O*DBDe-޻u|| ea+UC&H4Z06KyOz.CImE~Ȟj$m"VgU3c\8 ` zyO%% Q0KpkQ7#d/wY4@e$w{W|jNY>R3 &mH$":aB,M"0.|juIj zA*.!P'1AyD8nbFK:Pw[!XY.w#$O7JXɼ@YkHKd4)h(b|zFa{8fcFKȸE_b\k"y)|:p:"V"0+~|DlCw a;By7u.vkp&m[kjUjbA SKg@; \:,dހ46㱓I&Ǯ[TRQpRDbhM'τXl $_M&>{[brĠqu8j2U?|6N{;/fBfJz4@p?V {W0o-}LҾ 2 RӁ!~j#i85t=>0ÎSYL-Bi7bhg :pN}0Wt(op6%,ּsxXh ~`.'gG͓'gԧQ`IzzQ-iN:_]]Z;_v^yN4ʇkjK# &rZ oCMoןrdAq S!9| ~>gȘ뉟+@ՑM*CDž-V|iQ Ӈ>$w:AdIO٨,#҅UG,^ZZmԽ~2FY?7_ #y6;_)x ԈQ*_ӭMA4UTMQ4AWw 3^u״@:bK Y=An_J(f|L5CO^/FF(ރdP8|(Е%آΰՁLRn=ٽ>- T^ڽwJ7y;fML˪9Rx6>:h0C8p~`;}Ez)u?Dϸ>3 }I/FI7H /pԌtS5Q{ f \еX- `P#;}: k a@T:*2TQHԁHʌ( eqúld".kI;Ŵ+O4E¶|@yꢦяv\X> 3NX>M!n4=z|LmWFx"ʲ=ϑ]5Τ|^ՌoJՃ _&GH(-R zʅ#F{oKW)cs6Ŵ(-+ JJ$]Һ{_#W up/2; aw@y2\[U~ uF. xw?;̪ ]y@4>!7YCiL];J/xKõl psVΏ:<Y՞bUohȴPB]A# 5lIvJ֊II@L K&uhg}tR? =\\,u/coCQwer3iY~L`J L  KKܑae~Q4A F<D{I~8}9HlL?(LiMB]xJAdOunvtRDV6(]X~F, ͪ:4Q t"S8$tI6V[2l}&%3R{Nx3l8 n 7Ŝ$?r@yJrI֮Jrlj2T]4SXa5ɥz7GSAjKeBrޜ&kʷ=Uq]2LY`s@MoIV[Y:#oAMSDr JЯҝݸp@4KY>Sx/SX] P i}  @0fO4+S⚖FI:=c<퍼 &gΜۉ'S+ լД]#&I8fM ^#d$XΉڨ173dƲAИZD⎰Q}o}khݘ?j "1`+} f1bʹF ̸Ӓ}9w%y9& A˺mTZ'Sۀ:T("y I H('\hs:nِc{sYA;yw-!K.ҌD MUuH%3-f~"p`m@>o惀hbH"VivV}h}|k64 ?:%RT lAn}d?dB05g8Ƭ05悒UHH*l(S: ϰ`}=^XķNS a.Edoc7BщhFe7 +/g^1xJ\uZ!K,/\_Xkepsd+NMhf0eŸuW4C|QԖqKNHk<ˉk,u鰜L# /v\#AKkMopb+[PLPڪ _N ܰ1>_~?*fE83ϕRo)EC,%'d>kZ2NtQ% ~h9sQm5 a9J|v ^3ze*GlSS9k;؝ Ǥ긟4߅Rd-cҌ妡ouۙ8,O *:;4" }3Qs({tWA\|%a⬅`+v7רMC}.*9`P #:ʍqYbIsKjlDS"8:I8Ag̰À\.LQlUz5"3#Hv̺i|o"EoG?^Jq Dޚ4~^.QZ(+i:OS/zΝ ?]y.=,Z4}J*cd.h@-} R}wy֨ yM2')ǂ pʻbSyeo*et[ú= ثE.bPJ̍?ubV|rH:ó"˕ tK?/po]'= g=F+kfpԘ=ʢЃߓR%H`"L͈-ݭԃ"YjdюP"@mkk62k/z^?RM&:b2 %K?Gf {3 n(,z =}V)r,Og/mZQ-y>vOֺY ͆}ȓ'V-j;gt]%`Z9bOAwW%g8SQE!>oSFN#V7H5|xBȇ1uEˠ֊[,j 6W1YElv_)}*B4]0DZiwl&_E`&_ =S/C]"3*h! ,psu/?~z#hvB>{S~o,W|!c[ލBk *\eF [#ǀM$Or rt<::˿Jr2`d>MaDc3:aP.HJ}T@O%$CX .̓z$^LSWB˺ )7@UEJ+R(;A|_ӱ,}`H<ƴU}'=SN*3?3c,I1VȈ|51$K1z]z)6ؙy}pZmݝx5{ 3xړhFXiO f jDgs'<g~ -a ־ 3dX ɾXB Z tR<"iA?L< !TYbӋq>gB<n\{ܿI?(#=\KdYH}RܱgYZ YC:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104p8)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}EM[8Q!`Fp-w N iJuPNt)wa{CS=J\Ɣʱረ8EDxry/9^5KKt" _w5 I]nLRs_)^_;nmz%F658_">jVQ !X-rڽÄ#J*rp̞mҤ !'zxȅ\^G-0vh<4>*%~pkLRۮgYZ/2hF׷aj(0>Gh \NQV靾 Ya6SꤒFd @;u%]PHAN* (Fy3VU␙,~h ,#u|qC9+xd-VXskUl/.1@E7.$)1PLQup͈mVզ3V#,Eةƥ]uI!I@sGX\. ?+tĔʐ jÜ3*Ll6Adse [ջ saq|IUH]w<0Ra86V| ϳ0_^ s RLJΡVdJΛoc:GIV.W@)\. !qeQ2I6 ?mM\3|Ixa~N$c $A Wױ^UOn؉2ί& i^y=z@:6A?}Yw (TJ'`HP=a(??e$/k4;f?} ۻyA88(?+cYna?ɪƻ ǭ\Əyf}e;Ī L'=Q@$ yP M }ηq0٬wZWE[2ۋ-16q}TzӪ,-Wcm<̝;1nCg1w /xgՔ ڇك"E7U1>tYTgy1}HY:A;pvd&6҄VizJ>峀VM i ,s"#A{ujW'"[Q7 x!.V=r#( |j3ndUzEj용óin"X]Ud[y=S5'k¶P'rh3otl# ֨GMV.B8C CV۽PA,ٕB덭uP.v`,Gb=)~56崀Pz#r‰fꄮ㹹\4ʹ؈[$G7.+:̠Oq˱[kPuUMY̕62u+^ B3q}s4p@Yp$6P7:_U-?-!F"'5?-wR [Qp-KNݙ|r?)U֭ǙOMc) &&9 %$j9,rsHF=cDY m{r=Jz(x 2kv9q+7*Runɩ<ߑܹ Fh+Y+# =_zL0'櫵p4#gVvXn>WŨȦ+v>G!PA܏5 IuD}s褆TRş;-U>`^b/4QSuD+ {8>Լaպ6HGGxcF])H2Ki?Pf,;^8d8Wt fE޲x{\鱝IBR^d:K K !H;|A6lH'Jh. Zt*o.źf |J^,.w~bK) ͒=:npSbN5"ϮTPpٷ yI"+[s_~~p7S+|p*lp>r=3=20|_B]VUOmRlԞZR|N@;'MlE2f|ܴÃ^nTOЍk/&)9H|p:OF# OE7HϩtBS 87X EcLppp:x=FW̊Z$_OF~8.Ѭ۶\#vmUx d[%FaJdbxRbLāV'-;r5:fP 5 {@*j2z*zЮ#4+j,ܱ1wnl]ݫ? tTV'Hagni[ +ⴺ0h9a8 ބTɹ9WD\ ijNj|R¾D )ON8-UQ$ᨵ,=&`?`;+:[z%z +ŋfmR@;6ˀZ=hNP I0WvzN(l.r*'2}i0ɳ0ha1GNRԱOuD ЫTZeW#pA VʦI^ ]fj[HH {viH C ݢmv~+tfqR, Hd;0{nW~ *`\6m iS5pmS0䚫^*?1j )ް=:Dh$lO8l0`d94e:[eK, k(;M'%sL+r$~>}ӻ]8] x[ф8VTd?\>ybc!yuyos2ŭwk #t46El*`zJ- 8x?%&'qI`lhHlb>u5q>5nmW?jy4-);Opv <8{"3#->x : x_VS 0`qK L5uԇO+V1oe9~;N7ty#yG=+枎cOԍ=, f<i.Ne]sȘv&Ys+O"vo[h,:.{#:b>01Ē\n~XТj'ږ`!3 8nE\1?SJ}1ijkO&0"PX8*?\̪揠B:w3e.~gD6T4, (-54^9x1B9Kt0o/SW{Gh!p:nۯTE&IelkWfyp#T5I SSq$SF1U Xq:49W~0>%V4PPGǐi_ZƩH#{Q~0ZS 2_X'I5$rggp N#@,92+t  OS7YKT.s;PAF WT3 q4!7???>@ Bpה:Ky_QCJ.QAb5@<4ocszƎOq,^o$\qHJ-,3tzZmAOy^($Y\mc(=5~k8c!tSޑ5?WJM=ֹѸL~BJ& av'ZϨT\ ߦ' eApjsWA!C-E]j|NGsx!0kK]ArfҪ:z's97B]pb|jzMk~:=lWtYNYRz$\nU:eve ۴ї XHuѷ*wKnS9,3?&`dqT.P, CH?"5xTȃOit\t[=) )Sn]B جب!xRZUQ'ۡj>yI)+?'f,5-.|䑫v 4?Ńދ]N`PmsUTYB8ܩ-8X1)kk !z(Ĵa N=ǧ3h=_,_C̊5j,;;,}H+_$PeOT:ß)qȠ-(q9 }Xavh)f=R3 %eN=J(lR7qfhU Dx >ž=+UZՋpX֕,.1΋%_iwnCBBdX0\i;!vOw$fo6YL7y)Y 5X 귧JUYPOePF&h[d%m,ޕb-)aC@1Yyh]M,[%m͠ǝY Lfs;2E~(+u8f [؃+}ۮzcʨ覀, Oщ$G Fe/;w܇1}E9w0Jl4׽ONtW Dَ@z%q=u+'*4wfyP w.>:ЪԜ71mx2* P^ L&T Clѽe7} R!rvi1UῖU )xj.D؟/<Q#.ԣЬ2yzy] iVbf ъ `ם'iIomq Wd9VØ{%N}p,YܑZ͠fF#| ,n!n)CfJ)ÈEyTyN1xhZz d}gw*g j- \ BbV.W7*Srƕk%HCZ(&2صUJT*e^s>x~ N]g C .(q yj1 )8g=诮R6^Yc!k* o:ʪf#V`!R\yKl93v; (~ M8B~`\m=5"|HU%d'4"9~[j6]I%#㪗 ٱ2pݾ;sv'b>1E7i&\_#)c(9\ymxĸȣxţL/|, \hI6=  L  0p-+C )# ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&QOk CRFUr2; ݗ=JN%wc|qICBqӳe~%c&Qєx51,468C-ѷZJpљnYv؆SsII+O4?+*6L9Ollcݒ0\ A<ّh@P"WɽKX ߰ԃ`b@H4R;l" m4rh_~&?W\uHF5Ʋz Z06 =V4սl ۜ#W pWgq2tm5D+摶̳Wj!;6;ފnh k6\Yœ˃y(XFr؏㯀ZĨ5,#ð3A$ 9R׸No%UTr<\Y!/20+HZ"5$=!jzIƾ*aoSmIBoR./!k# yR`-.ض[{p EAax2 8y)ZmqBAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94 @7' ~3̈́ ΆAH7&Sd5 ,/hFX  "Z{RVh~[={-Bha̎IIWO_1QVN{TiVQh,J)߈'ÖecV*d%#*Ox@E]L̅0]$۪_P2 .t.Ԝhz7Uюss:+ش?jؼT|}GLQd6En\?@/9N9o X U:w+O'F ؔ&8=x5$I,.#nt,7$&7vsKSvρNIRu3-nMhþ*NmsptFVRph1#HV!x:7Lupt 29H%iP#0^DM'mrcEFо o3!{!e8])a4bjePpjfLHt؅]%oVN 8P \R 4-M_%6~cMλ:u6]GG&;i2 ؓh&q7<@d->qmIjBCky!I/PUTA+DMTS\kf&N7'fX HaF4WO ð~5٭sT/C{߸tLH Q6~[:.tVT8WGFPxǤ2,~U4)r X4 +eЀJo*Nz VD8N 3/<Y^CCm,4_aH;n#&~S??j|@|JD~ebŋy$}gNtқ"W8 8@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! B]·Iq n[:|&[zT#9GRP2tMg%lf<ݭz[9S@ooe;h#L^a]fyD[_K>9u@] w3Ċ:VXYA)Sjc˱q"|L(}NnpD r9brbGi=/yU5hrP$X0RP0t{&`3UW$VmSubW ZV42<[Q8'GaS=DsV~ͷ}|tdܵ j)x[](J[a.pLuPZ7]+ފPj~*h2q]Wf X3Uǣs3 %KR׻!.ˏ9ä?xWR7VT2 _ZmD \e-k\ѭVU X\d6k3!dرɉ1 2w(M ,ΎkR*᫐qԹsmLPƣVr]M#j3g|Q7g壘Ҥ,9@Ѭ E@ydwhz _;Sxg^E:E!ĎqkC^!ܥu _ NR{kfa-@@DOHޱj SE׃aI>i*Di\A/r[, 1C; = ;TToq̶h#u\*pc@t:ݻ5qoix3 {#6,h9.dEս5 $I.u|Y_iR=DT6ZMnR##Hl5M1@K{XV#?fIvA.1O`; )1!\{< gۮi5Z~;J+z&5>4eӅ }<@RKӉTKkw+ys&$^g\.pu! bڍ>ik|I`!R]00G {KRg42C B )=4%.&m:eg|#*L[tR\k.HB{Y/{NbhіO(X I,YY  =O/7$͙f_> ?7OWOp"g!] ba 8?n2t4Xbg}ݎ !>ve+6a:Sx‹c[4>-ae\29CLR%6EwBdcxŝ2Gm#xuNNKK 9:8E_vo5պCp!m4[Bx N[>6dOwG~M#ff . cǧDam 0]XR 6:Gd@PJ3xV Z@#FG|duۑVjT?lJ5w%׳9؈.S,4=b ,Naht飞a{gkWeA )Ъ= u|+5 ܝR䚓ד1˶&`To~)t7a.xCR>ӐY/PV)v?Fliu橯fޔ1з*+/+TG#έ3no. X@~qN71:~y {/sg}nNrdw)p__>b+,yl-i&if&o# >1*Vv1"IKq-l&}h;( !$QJR1]XTnt]&_*34x!XU9]0I4([5YW nj t_iM%0UVSF`gebM׺'EMOT?|g$SU inmI,gG8 yNwꄦMj!ˬiܧp%I꽿} WCz\f!5#+s*U"gᒴ|[ÞgƈTQpdUtzq}eMX`أj Fe0c(8PU&W۰GS![DᆬeTf piM<ՍхlPjO;.U:s͐u\2ʠ+n{x㡞%RcZ飪߫PKBRmkVhO+9ؿo%@*w9rJ*\U dra6K; JC^`#5 -XɅP+e{% M\12"#DZ?4kԗ֣ ^X|`Bn,lDA6XpvbnxhA2m_b;?x$BP-RW"J$}>}KyZu4Id2ԂPǻ7JqwNҌ%e &jM[/ |;o%Dxiɞy w .vF/1O_NVJ{uiiˎf22o?B08yʐb|gیBLҠl^u̦taӂyǭJ+;r3=CZek4s˂':aLފ@\uSoُQ ӰҚ&ܰG&0ӝiaWhuY 8yDB %jpdIlt,ZҼ`ۂjPO@`^Qqvpo)56ObEǻ_3@:-Lq;bWA2sM_0r)Q˗[Pv`=8__W-ӃSJqjC%=ؙm`|#oFk>)v DhwCs:>0 v>cH&q\}GNi+kʺWcTXJ8Pճ[%$ԐfX6 %YPdMWߪ߄qhYM}qAICҋ117H6n[|@@tǏ/NFlhmUl_/]+m%{oTV•_TA`Yl.buv]"r!,,h <&r^.^Nx:7~G>2KtWl(cf f!xS4(+.\$Т\}A5yRN2YNXn•͡A3NSypo(qB[Qobݗt פōftv4`bt-hc:&jb0ۏ_J(m{u5EƵ)^fb ?r(uB $D`Zͼ&:hwI&9SÆO,!;%3GGS Pl{QQ4bxrZLhr Bi,y/ľ[u;On^kԇ7F$C?JIglS=kh͘IRr$2^N?jĞG/לrmDŽg`Tĝʹ˳,83j~I.0զXC[V=o> `K l^Rk2 !P*#MavoCo)1־#Z|W-k\NUo~CoȻc9g49&& @H N9+tɤ$8NVzdy>C'ЩH2_}Vg?au7:{bcIaU 5p)&3e:o SY옮n!gRWQ%Z{RjVw0߂䆒n[nr{ʏ ~.e%"qw[s?Q=tr(S4?sP l-=6P*d^5%w0ð*fWyY+ l.Y=`~4eZW[!rhΎ9ޠ3;^+Pߪ}4Fmc}4JˌQ):.XݹJkU2kRXIZk)W| !a~=vg'Љ!>r)s| &S:NY_ 8?Ay 4SYoF߅r)sQỌEP Q@2UN}]Q6=Gt|5=g:W $9L}wkMp$nRǔW1-RՀE3v=l0h NƑIab<SguP HZT:4:/Qw} Zsw,f6PPI3Y:{?^ ]Y!F}إzWdx3,G d44Hd0%s7˧%aBCb˻n dOk%|\0vj&RoՈ6:{ȰBÔ.7OYӏ䩑`?am@ZytU?1؉MWّ43z~vXo[!FWڵoLgLPRJ:,_|x< n .(<5hεTi+)iZ}@*d&?P87!ΙJB]c rt85qTIa?y "B 4 flXρ[S<}L8\.B/@Mt,E6Yl֩˽0W<Ⱦp{S8iY"Bo/ |4챠 I`&W_ bڮ̣=)[I37?r-PsoB䕼D88 Op SDuv,ǣas)nHz¾јezw$A?㫇c ]xgAX)KI9tnl)+YnMK@CQeՠ?Y2Yw "jlWt~[MCfCZx`BOqLtA{scU|}1XF|z?/u$Hutu&-LWOb&^Bku]ߚD=Eu}B"#~*V)w>Fp#Z&`,﵂tc'0͌ (i3p UY̨ҁ0< kC@dH@߿s,ԙ MakV7l!67[=ҽj>o[5],:B Z"*(.X:7n`fda}է&q>a*N.YՙheW@K;Fw%r ؀,uq}x ·Nlu4-$=yC+Ve'mk8Mcks ET{c]% EknCt_~ݽagGhvnWɵɭF2G˄$znV_Ɣ[1xh os֟hZ "Rc~W1}(^D3 Ws >; bM86)<>(`b;B~7Si{]zXK|~Ut$RHcЏtߵ_aӮt!*9Oۮ$fN u%Y=\if0 \Wsۛ%dM2)pWBhO-El3PD\H?󾦽5%D!#pـwd.tѢטuW.}E#}blLv5 D3f2)PPㆂ'K~Sו 9U¬y"t8-+<73ו?_Ult,g?4k^rPr(PejzuԌuO٣p|)9K>$i+.n>\B(5MtV '.d6&ŸրgSC4OZXek]aWs;K(FF_S?+\qؚ9$t5vD5H_{\!YuB?NmR/}FZ>ըLTx_ymw H~kF'ʻ2=VJö']wXw$悕/C|OZ߀@7Ovejr)C b?L($o?Z3P 07>V3뎸iv'3橧@meHEA{dxϷax &@T-~s~Z E4)P0Uigƞӏd*4/POHxTx+J2vMEoSZ$=ssnm"2G+N9MwCgmJ yI+ ~#'od-M/&3psq\8;95[gql y9&>d(9y4w*3(#[wv3>!Nf"ͅW=HYp;`P2p3q*d )CB)*6AgO!'Ɨl\UjGE:DɬfYgYZCy q1r mщ`.h݉Ꚗyu{3YWpB°[q O=6P4IQo;p9=YߵEONg$OCBϸrQr&5axGX>!1!5NP`t3C`; }G ݵ,a>D'74G(yҼqHKMǨ# ~[Y&CFv>>-"F*OdN4[\3ީ5D}[&tف &䅞We,*ěF钩2L_[9BSx뒦R׼i~azmI$8'8܀eZ:3Cv!800 GH} =0{Of퉮K5-KRU)`Ȱhf)B,/We-JVKqn6a%R; mop3;HW3ᇩ"V ifepHB Vk=3n'['@DPԽ%YU͏jQoNVЦGm`ŜkˀYjWƹ!¢5\QjWUpsNrdy a60>ټ㸮e5騀n' ֯Kưۃi{S@Jm_ǬOA=ozI{y=B8t.4e{?.F^zm0Ps5 -ĩ \kT[x/rTqH:X+YJxn]#kcR6IWB*>7W O;$Q[MvCQ{h^v[Ҧh,ʫBzS$d##ctҖ02eRelϑMty@T|>#|eZJrWܓ+ǀWoJM:V sAɌ2!n\hS2 M5i gExCò̾~K |Le^W@7h"LuOdGxYԚ}9)|Ҷ(";A, .gBE$>y3B`Um ބ!3?9S%" eBvC2??òk dD*՝}%yG7w6%n4m,AۈWƺ/8Jfݮ !b1(XJ+߈iÉݎcm( `d`ífGݗ F3AXF6wq:W! [~S")ڔ९׷ӀNe:rgh;DD-5KB9 T(&5:&>\ٕϡ-Ec,F[M/w*zB#ƽ^FGQyL}OP*@Ҩ,v7?fK 4rk>>,in:?%;wUkb/gN:G6H/m![z`Q7K_ꈼ5n oBogq(~h+Tƙ9P R(̫&?MNb`^TBGX >iB t(PD>{%^rB&2I5QASϛͻ^ϲqN{kP6) Htz ڎ#4D##$NcTȶ]Vv0N$z,P˵_l!#ϽiE S&$ *1))h眶OJ̡KEc?Z%xal*nleOߨOSϏ7},'qks1Z#p=CUJ=$a;[f!LaaдE dh`Dz7E5i|&zLE 3>zD.-4vD˓wAԍMԉUuC)-#$ J!I{UgbJBNX~uG+^݁7'A HBt_T|OmZ0PGz)Sϴ6_u暞3&۲\B~=~Ne-\$7 12prBT"X{ ܇D;L6j1l19~V]_Q#7 (||1rH+[5ФIW^~/ 1M AȵƌH3/xz=ʏ^V1Yt'ac&Lf[-YK+ӈ7o8FD(?+7oN +?"G44"`\辁*-摬4]]䰓ʰ>tsQa5;0zk9" ߕ0EWk{Z#{/{ ?o8wrNn9pYN1jY)w/%+W=p,RJ (JZB3MlftSzp:rzy;G K3 ҋLMgis 4LS?f`fϜP]4^A"@/ ?QK 0n{/m`S^vtA.\%@9. F+ŻyHܗ=GhNbri='C _w_k7jP߇qj[R6~\i֨錯 QT z8]s}jC NӈFzDG++1NS ^Iu1@a*M%"tTDx0$7!-Hk/jRI<%R].D%j Th[i͝=hYr,Ox퉣)F= %YMeֲI8}ACF/gڕ76CA,#n 8;W]q`r;HZƿl<{~i #^%vʸ3 f,~ܤZ 6I!4x( [`zWuۛ u-3x5V:&JPYޖm,6:qBPi߹ ab^ckR-e99Q+V^A\>߾I7fNxHK8zWQ,6f]0WfFqvz2ˎݙ=pd)js[B?XD=pXc 0I4jQ6m{{6us1G$*Gm)i^Z4-8oЩ8-!'}_SfM6YvHƆ⧩{E%P<sԄn=?WdrQ7\ɇS~jue46k6?0 ٝS2df%;Q##vF}Hs1J :7~n,Ο.l8Tu*?fKǩg׵QSy\c=0È)LH(㢍N:`$ GZb.(`Awua[pb(w ~@AXf)~8wGu½toBրE;ˌhM`F6bK dPO_1Ep+ϫ<ݥ&ge5:#PVKL 9`oZ< n?3vvMf"jo3Ԫ BecK/|;#_?lPVDיpzO|rfF[\2@?`+ BCX,'ݺ辺l`]mB9li 2 whpne ¦Obxk!iӚ@ >{7u^f@JU$By%jO~d0bs)1 aʷ \&ZVPZDs}g0pQ_E_ ȅ%a$u9N|si%|A5KAJ CD)iw1Vv >X qˋfKƨ>9~Ur_hI _)P$(Ɏ)]Đ[1ڿFˀ8r v@wTa ^A`7:};)FTN_pv-$z[8JJiӫ&#ax%&J Mŵ~Z3c ;Jm6fKa4f7=u Tk#~b_F6ce.ڙʾYYwp>+Α`A5/~<_Hg|Fc/d}M (3'UbѵКq Jj7gnME N=qd0Ke:< ۲IgEP)WM1Qlmh&ߑ-fғgeKN ;霼?i1:[Dԅ=2;n{牂"q@rphwGoYg:DΦ>{ 8{)t7%w,D<<|+{ CO* ʕ+$g1ȅ/\$BGlm- I<%{E5Aae$7# HESSWadz1dR!}0#-\_YF!l^a*tw~h>t/%)B=p7">964A kmItU&F?6H*'͝OaMJ GZ/=;+hSs}uZ]0߾=+xA% 0)i'tAy'v >fhmg4Ԙa?wv#;;*`YS>QPerl]f7GW jRg5';Ǧ)ziMQ&vzH,#]V5q{uU㌸P5g/i-+RFUΊ4 앣Rn\͑"f'šd6MsnAsŖL xkfm8A퍱𦨂,]3^a|= @ B9{m,NΘk9c@O,U'fd zp/6 K.@eIE1/B=/T|塹16iJɋ0LK_%;nrm_HCFރnEޱgYZ r !r?G'!/Z|aAȅQ~Zm v ^sצByB Y r="\I= Q*_aL4/U8TD.nE!D-d4re}T9nnQqQ4X)p}deqh(G2!Tpw983Xܒ^7Pl>:Zr&Ea')f'8wc0-ohCh/{T;o+*icU-ŘRJLc%fw ?cKh"MFW†7FE72"-FL4DpL *xFQD_ GBn9ܑ۝IޟKrKd &B^E6kB1ٺ<==—OA,z<+#UG-b~He+ya`P(*e? ne],5{ϖ.Ds6:QkDt~l+ukNhˡ2l_y +$ʣfD.޽hT,bӎ=NgcVh~{ibN~A*,BT/ܩdAulb=pPBd(fCX3'aUDZRt!yk;;t;!h !  xHpduJC6WF.sz8?]57FAC-nzhgSxd|MeoXvr<^VʈS1MnGRiIG/[V6I s?鶍;T80x\O1%7 Q(/+_naf}r$crګ4E!T.qM+; GǢ"}ANP*m>#W:0X_5QLlLDift&N:\ASV½*Gy$*+xjb|?6\i0BCZ1PoZo Pl *wnqn3ܭ(=Gu%c ay|zI+yz#yڲmㆼ?Đ-Z[EU |~gYZ J~J2K+-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ׂM]iK} \f*6% _mLtH" Kn=O4}dtG[\r?$g@:*)geO~ø} y=drhז|沘u^܍C@n~9zq?o4/]Wֈ,s&AyvU2?gb˪8Ʒ\`y xD5W) AA{^ZI?|I^%dogYZeH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  z]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗbDL( ,n^<6#" pb^mqwzAlK/Q594S}:r9uxC3zk5Ot2?n;|+ɈfP /X 3W+ cEhq3MdYe}W b &+.LuH/k²5Pz)Y5)X1\I{i~8 .]#)UI+5X [kj1ܟ ,ZlE.WdngbhEdA&ƹn$~E}5t0[z܄! Cm&HSlž873`?k|=>hbZkߌÚtE {Sf6ZaevUN^Rs{iAf?N&Yް5Bptukk&Dv6CgZp E^8i6"QhћJo220SɅ* 43Q+Ya҅ZuIjpDSTq "}F$~ CKamt"rc&2})RPVF?BIR}+Kit?9 T,OOŐB]&ms`h"boW# 87Pϧ+{܈jP0Rsm|'Cj"im?:qci0)U'ɫ̌t2C`yJ%KxWkAƏsMkysePFrlxSx4)4Mkҷ>ͻ+9E~3@@N>`eXB c x5E^F0_TĨw5-vow$_tkg:ۘR{02ef""8J59,Z$8Hgڱai-+ 7վFu}&T P$ ȏ "S懘̭:-OXZ^_,:E)X0cMqPB"Qdlyڍ 92zx܅^ND%()Aao^#ĺe%h)%ak4$)䲜Hoj2 XzG-hj$x3lHItsKT+K!j\=Lȳj"6Y;iwpZq;ό~"m3EQMVK7K}&AL;1C C=#{sMGWv;N9~?T+@3@/Xn+$7rU&vBW[E[֝Gz“BuضpL)92#zڣpz&p1jhšCo{I]蕚1" oPkަO;H_]}d/ɷa{}0Ly_^Оw:T"i2QZ seq7;a9j[a)+Ce^;Y@ )6SWx WJV"i4t! Y(ĿFm "bbXS$3/} MЀqPKg +R_z Sy5Ƈ Hf*)T*6Ր~4@-) >B`hA1ݚ!rq(J.R7c׭Z^2hO+\Iaݡݭd){<m~RJrӪȽ[`]#(R}I'H^Jᙬߵ{X0/Z!w>σnKg¦ަ62{YPjXՇ6Mg3cUԸ,"z]S\~+:25GjN e *0nExN5 MLi(Tc[3RWg~zo 㹠$-Q(%xggfw3ExcsAvty?#4(?BUn.=ط>Yf˹o"E} Q@nj6-iXgb@F g[UyT:%OХ2dc;Bj3K@SkEUhS4Xh^ 5d?D[h(Sy7y3F{ Ho,cIebI$>(Q@{MܖEo3^X6hzpɮ7OӬƐ#SSS>\qiT`Z?4@JrdPIw[#1Dfp v  |aq5`ĪtOIy(B{}t }reO#?: Q}RtbgZWvl*J>ϝi4TG5=G^1Zpfpz_l_bl&"fw<ǭ3w7ClZR)n|v^P+_d ۼtX MIҴjjfVD yF`_>ݮ8?qȖx+?Vi8Y`{YM.['^&j瓤@I$GVvl׿in+ kNq'yIi"90ob6~q\qNhmtV䆬& y+ks)T`͌o5xJ·#9!434n^2j%tha563x)Zz8Ub [%ZNG0{8D.kz}IZ ;b}z+M.'o jW''k(2F*(s!m/qp0#=[,BDߌ-V6$IkbL 'ɢGoRM><7@W߄UZcӓcZ| R7ݡNӥ}.@ l2s ,%o$]B!*$¾L[ߤoXDŤU<0w Gko+K9阌,] R8GR1|ܢt}s",a~,Aθ'aJ jG֯cr 輇 ݥЎIXZ%"1ƞ{gYZ %%M+# \ZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o%]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CQx_0(/hJcww%oK RvC~:-|@ے/< Pf$C `'q_}C|f u\˧ľl4x"ț4!ר/oc'?'/M[CY^vqխ/es{y@7D U 5H9\Sk^1=F¢~#} gmԼkYNֱInS Y%zZ_B* ϣ{Ij7>[i8'݂N Rd?ʓGʫ/MC=CL $7rN/` 7Tw~ Sss崮fW[Ǜ 9Ňg29뎕c" Scho/B?{y4x~ʦ -) lY!&0 P;!$M/"c|XnK g y (*(.%HC%aBRw|b@}>x>H/)*2]n$"2vە(iּxjX&al(|\DY!ۢ@:`|:,CY~ld=byW!wHq]UU5{.XMh/͗39+/Lؤ| (fm,i"8waWAZPL;VZT U)ʎۯM`ث: «d|GԉWK6`b- sZ~}^ӵx J/̀bO-YQ`{4I}l0T& 1da7FB7"!Z#fd])cꧤ,rXtv,4|d#1Ү~a?w '3Mm8!m|Panޯ.X/pa3lL7 A36>rqp]~#= ݄=#i7ֶo]z?&ƅ!nz|s tpd9rƫ 0IXګ0[/<9KɬkhL"2L <IRoPIi:o83Wcr@F0+ړVlqV+3U>Gpwqf.71SrsA? >TqޕՔ"f!Wlz-kH"Eg_@"?S'ߎ/1C6 7ymvQ%F(X JӆΉ{}gJpecNVX] (T[|sFʧj`Jd%N-_K_VxM |9H)6hp ZyI+^>1ĝxH w7P>P$DsC3BgújWǧ~S3/jLLWqsd{D|J|i@A84f.0'Ӱ;6x[s(, mZDvW)b\i b9 9(4rɝEtj`vo(ft6%,12_*/dd\#'נyr◯;MK=Rmҟ$7SN耰)^^m= N&Ȋ=۰`d3BY-XPNއ^[ n~5=3H~ s,j PpgZ +L+x8y9؏͇ 4Z Cc) 8dxn nT!Cp"Ki>$ˬH4M斋aAuLRF_,ףl4f ']Av0)T_ 8ެkJw40/'qKܽ⇹jNC PW|% o 7gLie7Bvİ7P" (4IcN.{Vh;_(7G,iGD N/%/qre>traF,HǶ4xEF8n}cdFcT!~sKV%/av:ȓS `Ȓdv+F{o C/pĞiQL޾!(YE4ToJvXM@}KWa'?EF1<@@?ND~ͦW:- *.*[:DBCxB/B.slqI307G8:T/ .8`V:Ꮗ<|(^ItQh:V^i?p,4Pfk|꧗kpriVT&YJƶ9 -#Z &[]A!V81`i:ĥFf.W!v(C^{UCcRGp7 @b]fu`cf5Q,yCnn7꺻EuqZK mP;V_$z9C4Sړ N-n+!r7QYysk#Nn?VI+z;œ~]HqWಳ"kے?./aɻkǒLe_:' V;)|qt=j2dEsXV-8,lοgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  8 <29XھƺRsaHK|6}W~IT2pi_bN/,TwUFq xcN_ `$>|o؋=8sܜ{Z͉JAuZP]υ>Xv4 i&IyR_`sqC:P!AzYgPJ"x*?+-[芗of^o4 HэF\ `}.8\w`n-Z[6_{U1 >Z 5p?0ψQR+YXcd2aEn}+0CmJ1~RP6@z' STva#NPdJpԮVڣAjNnPC7" f5t-qJpT:ͽژ-ZYgYZ