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 Yr|IУۡiXJqY<  ;b(Ɩpf\ Xi)Ti0#c9?|f8Oʋ,8/T#~f(1Vw_ u:7eQ)JMs# Krݘ2O S)4"\.\s: qF绶hMW\Nf\U%@6>eC0ɐ&vvCXɱgYZ7zXZִF! ]ŗXi%y c`eߕqvd 40Ip1:q(-فnӓ"AX +3>PxL_,- ܂W̥8B df:{* OifVػzX{Ιq2 LNH5n%w#&cjN!)z#%^LW.A$t-ZlR;@$ VӕIe1L@`S&Bvs nd,yM [<*RgMa,}_Of#E6v'ӓtte|H4^.#ĎRQ?"w|h,Kn<6yBhwGidP|, R_K6!VN74yH$H&ec\DE 7sGgmYTI.?k>L"C\3WT쩤D7L*gYZ747fdb4d965cce2354be6ec156c182e7a92ee37d710b8413f68701024af4b7f96ffa488ef0904ab3 d365d653952d6aa7ffc669171a84a6c84c916d6726735f1600509c9fcb6fe6b2a21f470550aaeceb   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 /@4nWq _3S*  /  x O % vM#  9 a}O + u Ji!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 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.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 d9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ GG6+1 ZF-InductZF-Induct.Ntreedocument/Ntree.tex7zXZִF! p D]A-MՋhvG"uIBm5Ļb\ma ) fXw; Dt" jg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗ{: 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#~܏ogYZx)/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZ  +V +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ 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 j)# 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?UeK72kps / ȚS {k?Nhg@rCͿ9C 0_I iD1kBRӚPq?= z%r-]:ҖYrXR3C&* ɇzܗ $vaDfS[~mi拴БsvP]>89"PIoϙw3^U35C!ܹ[m[ADp@Pw|a8ܭϲi q`x*qR^REO%n@5D_Knzdeo! O`w{#j݌H[TF|If:;f SZaN+eT;' 3hj'g\50~Ptŷ?k,Tz|_ԙDI9eůi nד^!pؗ{1A>g@h "t)&VO Tӥ ,6U+b <-Ԅ_/MBx)a5yG 2h_Eů̢߭OkFD-7][8܍L>5!ekv'v\]g@M ʘX#8Yن. i*a} BHtHm41V&ϡj4ȝG6&'\ԣN=P5XyK*ͲҮٝn &T6/.R3;]DqRٜ(V&M:"^ŝrYVACu5inRPKv+' R scl1璮u"  Ϙߩ@K*=yfnͩ+O- 48?lTzU ERNll$2\F6fѵTEqxvnh\/4>[{r˯y.4U|EOu77/֓ @Cz%nKt:gS̐aQUӗtqf!aU g݊K#&nF} KWuΟ9\-3͟[sEhLeTyX%bEg{ 1˯̌rG ܻP;bPtNyF7u~Tr6xf5" KXt`5^~4I C#$7¬v Y؟cdhHΔ[Tޤ%7.ej[8tLttrۿ_zp`;8rEHj|E8=?g ɒCXգMQqȂY`,~4>frcuܗ_yE ɭִ{*wn^nH|_gHS;:̝˖m 4ʎI B &]=6rZT<#:[2;  YQ=o](4.JAܸӛX3?Q]ԾjpZ'2"~8e'ykMHQ4ާ_cFԋxshFKNWPzMnQ _2]Lk)Y'\4.A[n;0؈Sˁg@:7?ME[Y*0U^E ~ HBwOMT/ G{CeCꚰG KC`TP]]]-7I7_>d%3=?^tퟻ}亠ć(^ ASmz :wq_%.yxezTS8 JnSfEORm&`K^t-h|zmV&#G= q]`.%)xu}r9*;y:q,؏yg>_)^A#X;^㞎q-ʭI΢|UW*^8%eHZ>a@P/Zֳ f&%b`kK#cc{YLg'n@bΈ'toUA S ?}s5CPnqG&F fZ%-U5wt;jdtۙtEO(x s5Ӿqufg\{Xv 3S`r@d?/¡/kd:(+P4 G03&l@y0"-6EcJ˨k> bå=~98ө^U}fGEI+0ln󇏍uRa%?G+wJ "vU]c-_^(o׈qC˯/Uu}l4Ѧ(9!RL$1^)aԉ6xVi*skfM}_%yP?_9sOCWq@*(@/-gYZ  b q:K 1# DZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! Ң\]ˠ)jk2p O6LP=͵gl5gՙqjRp]/k 僁cG8cUiAw>T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λѡ50L10Z^IMOAWClC5Zu&p)|Z2#ŁCn&]\$σ%۽+*mꭞ;۾ڲ?g*ggYZ^ /# lZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9'lx(iwIrUփ\iyDl֥yqAoub@nA;2$cӴ`sflxnQ9tt4M^_tO,#ߺИZSXA5KXT7G ip@JL0/Sex *BF$jxf$UKt:7o Ft:%maD5ȃ?aw-SKOa} p!0e,o;B@pc@ 7B P8c09Bxy^|)Xpw! riHa /P:G#ĖU@q{CB%GNzgSR @TѤ"v0wFPF^OD46-k냚?l^z%uFx4EW!SE3_Dz̺EQ_eCLu!NUv6*RPZN+i%T!gh,گ'.m嵗Tdw9]5fritLiuUp;xAdqGwP^8.-TÕgf&նfl_YYaw8 ':U<ǥΔj)`` 6j$6gYZ=M,GQd% NXcvg|KY@F0jC x!$7<606"ߵ>YdJ=7!!KHމl|,)k/^mDp{栾bn, f.2UC#tg9"At+<[6Ձ(Ę<:+Z&$1C0Z< Jo𣰭),歭MHdS0)X?lT'0G=Ơ~ чM'*D^\iC% =&U3USXxGU+H\xԣi@ԣlĜ:[J1YyJ~5qH8Fy_;X%zMlͶb09psVBsвGAo= 3a UО/^C:<6u&`O0_f%s5@`=p%yכ.]m&sՊT)~Rw{Gw;:dZy`:"HRN#:o^ÆS$=#*aO6 aCݱ|>XTNS·b[I lĻopq\|'79ZὊܑE1ilhfO\;S[ܟnNebjIk^%V<%Yqpo(J:$ ^ H_2@Q ɂةQpUA8XD3{(0ǐC5zӫ/f6D4L|ؚc::A""d#f*bem$i <^rkK鯊(m}9t0/- @ s"+JţȺ,G"[UcKD?ә\]ުS ǴDr|h/s!@v6>dy#RlO[m*'lLztLo“رU[JC}jFC[okEC_-N"H1% 2'ө%mWy45TgBUĶx! C@hd'P?Ӈ?\CI=ΕZ I?jHx`@Ly,!kthXcv|dOqiQ+OEqg;!84j }-%tvt\$U*d bp'mZ>kI0Oq%ʙ_K<JvǠ5b{}/r_zwY"t~\WC"v)W"ڭvNaYX#&*pebe_i_Xwq#ܴ;M(DBwfbfƣGoջL"ⷦn;^;AMD%*Q~+>َIOBʱxYӯ]:[jQLS FP^@E&7B*2xX|ZՏ?vQ:|/jإ ]*kA cuHd50<@յHb>Ju~uB;kt҄]HEe>9d\o2xr?N8o; ȾU+LfwxD%IƅcxFL'5f FLS0(^Jj)ٻ{tgEaɅϢ>uz6$ı2UdfG"HtA{YynB{n5Ҍ[LAw¢iDs|9ku3 WEViO[$ۙ#hVLƊ!t7TYuw$yQS 7ō("m'F=pA0f,(D#=: c&,R̈́c{h"+` 74/_SKe:iuC&%\ISm9KX]!#swtfeF~2r`̀\aEp%ӊTVvqdɇANnrtKs҉\ EԆ6|lc6 nǑO`ך \=3wDDg=gOPu"Ge=3QN 8d!w~o%9>'6cslN;q. 5&'Vys__)%07gZ^g2 cBLS/O{PTUFh\C/qL4i"29 {zh8x[;]dcCrx砇jͣ4)@+E𑎑%l#e2/(nZ5=U9y *A1Wh8Iڮ>Mrl+W&W+#lJgۙv ^R f yqh3$C>-i'l6-J F|\Ncz]W0R/^ SA/<yt_487+Y۴k C .-g/|㈶[aXpze83YF7eKHhyP7n R, ̘Q)e@~ gQ^-Y'zX(Ő@*dc{Mz_\7؈8c3SgHtVͥ5SVsIuZIRcxrnl>]KDPnevȜ;i:9 5@߷_~kKRrXC->lcq="ËH.w AW]ks ߘ\h6O旸 I&KeuX ʻn6__6Ώ33?R ŠC[ey׆iga%=)?յ a O|LuƼBy^d=\1qWa-Q+N5̥L* dVd#쒈)BI>1%g=Z^̊΋ |Hn Ѕ.ʿ 6"OFä eϨ PT#?|P)9tWu|3jfяҲXm=2vtƴ'|CX@L2{~?> ;-Tے Z@k3 +i%*\VALէNB7JKe^:8 w|A۷%Jž|'u/x49}3/j,d{S!NS%_o*YF%2soA~% ||!DL_V]{ yCi -$5dkDݠT rjR*t |PtD[B}ZH6ӟ[F ~G>366'soqe$ *2Էu N1`sN<rX!YSMAt]Gֈo=7!憃[UbPeO,"qEU$e%ޑ׾8.^Z%+P2Cs6t$g>T^K +&jZi`!O1-~\ Dp>xޖA&ҝL9 KL83HW%rq[\V CѪI;4>Ã⑇ `\m:T "[4BAzNGw1D:6u&[cP'8_bYc%Y"0 Be \T&|'2ޓA4ʵfC," F\Թ/;85 IF2{_k}SO#RZO@Æz@cO=6ݓG.H ֨ cKRdL@&5j:JNJ2=~s"<RՒ:"^)R:Eܔ M7YǠ@xfTM8z=WN[~fOIg4!#{ktLmwҫ$˔'Q2cs w&C^r(XczR x * Mu()v!b$e@P>WL dT VoF##J_wZ?/W:XgL\ Q!cZIUOkkbzDtOZnP7.HVˆ-blyBv`/j:WJHPtv4fZx5-oNl$"ސ 9|TӴe@upq^wϖPdj?\ _Hv{:я\g5XVbHc .Ps(aA]#'VcV=(g-BR~y܏X [ VUY WP5eKJ=5ugj n'%Q7y) 8e.ԟdqDpjI  nCA8Rө=$:fU=[Ѫ!Fn>f$'+ "aYf#4^p[^~-E; v$ũqMehdW^\Ŋ B>ڈ#JqZ_m a\# '^BC7+)&F5&hŚBjyMjV^ EX4-eg2),ȀO=@`|9 i T22z=oBڒS8g 67B>s5Y@Oɪބr]}=dr ve%L|D i C0e[_ϴ殶ۂ@>)Xr E"YHJf@EVjij>>V3n sb{~9 DE&p AO*q?ұ q)&3&ġPgAA 5 Uq0h2>U͐lm*K/n1f k=ރFtUjDmga}v}\1.E7iEJo eɘEE$gvR3#-7q2AO}г[sFI#G{>م ?1Bl0}6H#qx5.tEMo" +'-!}?]T#۟;OaƏדst@贌%4|+Hf_;ϖ8aoIE`W>>̾pzEMS wѷ?:~I"3zYeXc1% (0>gF\ȭ VJ&T? oOX4߾1`B1A;0Н 'TQ/D. OQU.yf~R,д3w/(^TUO;3!=[ѐvmT[.x{eNyv51l)^edIWq Fe@[?UֹͭOY3ٿxLn.¤˻Ťa Y镧eZ>v7e8;[Y :=*`Il`[u9&"M `' KǬ1&ژ;V0i Z*'مZhU h%;܍ѓk }4{C \^_yABqWFADa[8A3safu7gdYR]AI(sNEbffv2jrNKtL,P%\74[k; z9&3'{CD8z=@ي*=žö|,&i|PU+͝^ǖ{W3r7z0AaCIi~'㼁ɠ;wSSPJ$:uNnd󒹌.0#.ΖUr3$ns[mJ1m rGQCj( < anſ@۬=cDž;W!*|]#AθD$CEXR"awyKmT\^Rgib -` u'"m&,]1'LpU Bs'ao@smr;?tvzaY( M#|˲T+}1dv/N__w) -FI mLK"4AQMTFϪ k'obE ̄FQA/͡1y,%hcchӒ;j"ٵ[{648i&x鏹Bd$&/6 _ndTc)#yK}ns4wd4<9 /R " q`9*B! N*^Җ^3׌Vmy9N!H."Jh$^#9d> 7ht'5ZЎ8Qink>[WYnT@70ar/K4(w+I8Չ3zn-+bK}]B+v&#KnQ[r] P|K_TO=U}i|չ*PE ?1cDJ՛MĕgBq{6Q rd 6>uIUf>#d'EX%VPAaگ} `p.}?|AI)B.e A=QC y2R#KX;RJC6DBv A9;@vK(bMQ6wqd /egk9 |&MؤJ [zǕS1gt}@E6/V HS'DG/,ݛ\]+No2Oo|$b(!6rS jC U<x&dKA%ٞBOVz%3kZ?-j0:|""w]͹_m bǕ~m i*u̠_ė3o+ȖS08=.ڔl/77RD_s۟qAL WUes.u7b=w gbU weip?D,xBg2nu`ED]f\O2E,Qd M :ihM*Yu0,pFXFq3=Fn4$w4wP(3sɼ`; Ob %iO im=Zp7)!zX9LBn覍d]c Tv|E\)$uo]*< 06B(,x=VI&S)qW߾;[(iN/*GGqlE߻ W^Ls@%A5;4EV_lؑ~R!cH״TRxi5-[@ `ग़IԡT0vƒW|:ɸ!\W,!aA堒My6Ja 5Up8a:65HëB`0ϥōhqڒ0M?m5-}^)c#CS};l9auz_^w ?TbF)^bBl23f6n܃m"A,4&DE1.gvl 5ͳR4q@m,;&x[~ȳ'%XP]EK`~~>d`Mm΁ h[Ѓ+Sw]u6IU;"x}D#wx(Q`}zD2X5l@֞2݅#wNM9^ 7|O&}vPbN6NlH,Ç/3ZNs` Cɿ|GR\XڋHh|SF䰁Fn- 31h67CR(k:`i-ӲѬzwk`L_zH_ Bʣ LoIvk6CʕyanRw> d]Ya g+Pg/hgiPWEb `߫G=h~q}IOF Y簌s{>_;&P玛(y2PpeAJć)M vb:ɜ:5SXw"Md𱕿ʌi>@>]3r \[Q%8tbaN{録100 L,FZF_`˨-[3_ZcTt)Nhx2n %Nq|ܷM+imM|Fyxxt(2!F\a Տ لڂ+MME3 ?;(f622ĉhn?B6/G0EY/NW U;̜y#!Hx 2.|h)o r+OKP5O%<GO]HG8x;@DVgDHw 8,K-61ˍJftqqS@DWL?W,zafԲ2lpD蠤YgH'v?}JxøCo~zI/L1hO '=b`" IsąEѤJ,Tk&*+&|6tj"7W1PwI8X#gUx>f>؄&APUٷFZh``t$mBݻݾ5p4] )c懶Clko<$Nmo}&O1a$^ƥ$P 6G%}x8)\wpą](&^?JY!wog+ ,狻J B$gxGs%Kuxpy;7c:j^℞nƍ"O2#SۧS OGjGڀn*+8խZ@'ZeRI} at_ kvLBWJArڎŬFc^oʸ=>Y*}S"0´‹ '`&Z9g$-&+GπĤև^#BOף4:NE04ܙN`'K> ƜxȊ 1X#&a[7Gw<qskˁzmQܡL15+fp=Je{*W냗oҰS&ՎCd rʱgYZ!ڦwjr x)5Ui6F 룠Ӟ6}_|Q.2oGA+dn4(Ax-5duLDn͓ r0|}_i#mtX{2ةb:> 0hP2 %^s;148E_pYs+Xik)|y0_>@E ZTw:G<*m*%{1RmZa$HODlɺ io .s"=-\*QoG3U>N02!* ᴥ>Y]zfsP ;9ǵZM*E($#e@++XvdSznS4RIZl-r œ::1 0h[#<J̑S#_Xv+YUj3F gP|-J)#Sbbe;YMYWp j,%{hY&dxO8){lsт庄F\{y!LkL6=y"ʣy ʦulX.)tA}$" xjj>墔i&zO,xw!c/S㻵&%+)U!(Y7YF{|F`'tj:4"WH\M?DO:\>UC'5P, LP|6<vs竉saФz?5([  *4{<K&B`਽H;^j.Wkݻey <@nSx, ;;a"1J!5 BgZe i1Š$@h`nm!vi,fX'J:0 Q~Q.[ꙛ݇y[WH:f }rKFGC͈QC׳=Y <'m1 +w- $rn x8#kijpdW4 3Jgi? ]0y@qzZ S:okP X3m;mBeUpnޝ#l.񉳅Zjd* n6ik5c}0E{D'⸹?djq_2mjiPnՆ#DvbE9-i4G>z~d0sc>5Jy|t_.K>hqt ZA&/=LT^7!EjZ{4ğm;tYW:@jf䮶b o4۹ͺ>z'HDŽ qa2wϪ#~SF6v\s2t޴SH}_@%6n𰬉TWA)ݚ1O}|O 6Jo}p: O|j [w5lU@ n,L<,82zwOsư_r/l$Lb"~6GMn989kQG!zJ^hƺv JTi>CF=)MXYVkI/u fI; l<};6(Hș<0gfS#[@=MUC[M V~o hri*x5d e^~B7Cxj3hSZb6Rf|KK壭M/ o%t>+/mN 3*~ZP: wO c=r!fWH]GeԭVj[]}. գ; ;jqD@bCteaqid2J] q"I A8@p9qjɞcy1tȈ TUr`26"7ISHypbnI"M6 ṒY_VUYLp^&=*# aRe<(RTDo5] SEӲ d9}ǖ9IWs߈T7g\kό[-icbx+7U:ECΥSc<\&J/=ٌzخ н3Nޤ`"\'IR">k Fϛ>H/; A~8xvt @pMZ֚smr'y+loޓn& XS 8GOɜ0qa"o1m˓wm:RۏOKOi3] M4^Vo-*cM*΅bopPi.R{/63~8 W:ܸx!9B:"+HQebi/Oߧ>-:wxb}cy6[duIH>~\603uYQ3q58̛pn,ԭ"D<.JQV?~p a19A 'pGB`p`?M;Md$M $jg~G w:.3xԢL@~9UCW>\h*$!w'kux@9W[[{Ns0P@KKUE_~2_R\<iRZ,K@љQUxjo~dIIcbd/@ 2j,bk hX< 9!2L^p;&s>3$gL7\:ݡɯu_j8W(;B^K]BD%9l|K/ ?Nnϫ\@ó;~DM{3:PCYu{pd+B-E+=f#J߼jz!~ܞ<Ҧ+IhmlȹT` ›O_ڝlm(07uvTX=c?d/Xa.♞hkDy69BC r`[Lh_rVr]h{57;(Ϩ' H_qZIXW^@nW)ptOQJ}G9Ԓ;9`I-J[Z^!و^.,!`D8eBߏNc(bJS.h` 8ښ%{1<2]\tdP?*v5%+I ii̱1B/ ט_E 8-JwvbgeQqA? uz#4D#V>`LJeion6%?}>EQ6vĉ\*fs":"`ID#K> r `i,Rl in8G;4Z+g\f7]>Qӵ7j[x8ÎQ k*7 L2 RN\ :zvʒJ~u.c_Ȉ))H5zlHp1>οkWl!dr캌ytvcVcHhҕF wS[V,~2pwr=Vq!)< tR54i}iICSA ASgVx?)S,ר!ta Fes%Z+3thĴ䗱*$ty~?s9A!48WFaH4HMs0uzBmT3^dS}_EuQ]ּPE>]=a!yR^15v\@19դv{4I1 c2h߄v }Tم \+dqP=Qα}۟qt#b'SXc8N7Tm#4 LghWK:9)iȹ2,ҵeZɾPsz(xn A;V <,oLfآK+}`0d19ū!DY-1H='sPdJ\Ld:Aci.vkjy 7Ezo|XMt2,<~:;mù?c), V׃~ nj6Fp$9>fC0n.߻SH\9|)8$* Zg^MtV0B`>+] cfvLddFgzڔ\tn\uLWYo-w`d[g= մ #@,)_Powy?mOGzJlK~7F?oEx }˨FTYn[$BXfZA|Ƕ^[HL)o']T ̅8(d=kJ>Fā>z۬% nZdg, Y+C*G#B2b\iа) T`dY-ÛH>)3l%“|MxfU)%&* I4SXu!T%iÐ̤s).&MՎz̘Y46vxU᫗agr~N;%_Y.*+XCڮN QH/[.΅CgCYc;mn-vv~!nu@h)T~8\|~:w qbM fʐ#gʌeq0Z'a̗h"o@A)~sLxݾU@r5Tњ ۦ#Xt!~|WrA%*> G2!ލb@i3Ų5`-auVe=s$Xqg*,W\hWǎ",%,"&ց`" 2UMp m'bf. NmCT;P#,;ٍk_; #*/K8~>\0c\k,, \V ELSտڳ{5,TwQ;"X!-vg]A.ggH4џS|56Y37Sil>z#ra 9pbTV~Kc U8-,hRoD,sYζfEeJ IK~tji|2_%ȣ|/aɦؕ6l6@(x:)B""~A_0{f&-/Ybéɯb3nE mm(*= KK%^:Iՙ2h@<+8-g6ڈVi~*H:P>6FcW(S`HiS1K k`~Nu0%`-w.ycd|.sw(n~]'Z,gv_@w0^ k* ^*V?z:Ʊ$d` 5+=7M'kR@H? YH#DMha*S{U7 2\iY=rcI2dnDN~d^xTfۡ݅FCW"%CpeIf1xLpˤ4Bfv$FγBu(om>tsjc au٩-PwU.d;TC6<IUԨVcR\}՗W5#׀ %|W/WȎo\+mu V_sqe m("tg:8}}^p9aŻȭv{C574-ciPxٕGLJ yjSTK!v"I7sRU$Z!cBHh4Ţ`x=7:|6Ct@Sd5Hk%t|g,FƵѨT>Z#JeIzFo |g٢_rw}.pI X ʾ^ly܍|䜲z=19 UD 0S@d0!Eߝlk!Lpl,+5r;9xm9@.Zm$e%Hde%:c1=(p% ݍqqOM+;7bymJChJA 73gE04#{ ՐÀ1:itRQ6`;Cz90jH~D%_Q a(vEzD},IQ8#5:BwKm K􇇅Hwe&?@9OVmwCcdm?E"l-vwˈ_tѩ_+˹?.:{T8 9;R%{,pS.M@a'siT:I}}T| c ?* t;#BRK|˨Os6)Қh gͰ5XV DUU _C+1G'Nz;l@z灸ØI\O2\Y_|R$yƽxVz+- NO [iQ KH dUCew ^$*!?40rc6V?USLK`j89Jļ)@dݗ ';髵"[ 2= 8`q'x L eg A/7\j:M0D *Jح8a%Ut` +& 4Zմ03 BKojqE8ԢtOOM-{,S{0l/pl7W4}k<>$!4:4n s7@vRfȓ(..{m.gr[j!VG+|N4gue ,$qJ^,_4 맬3t5>SVwg5>p[]R">u߽ڔQ=&[xݜjAo##2ŋ~gTQʦտ 7Mڸ8x%,!JnclpV]3NQbgQD5txZة߾ U\$#iSI+&sAJMe/R☙_DJ|3*TId~qO>: Θ<&d'7Ԓ_sAtO;z@'KjY~/I\+_/6;;NZ$/ Hi7GHPFH+7L7% ]'*E~i *Jݩ$WRKdAIt*f5XoeAd[)ܖrQzfLӨHKWc]% w;UP%+9arw HsN=ռWy驮ŎЉ9͍}OcS E.dU8bμZn#}݁vL_l*]|%j ,e ɏ4-_SU~(B}}@NMbArNnE; zF&* e ȧTbx}Gs*mït4r@S!sO*d#?<^.>"{vwgYo+r \vj@ w+--@&ۙAقUrDtZf|К.-U)@ȐkYt%X6T#zq[£~XӟБs?;8G{`.~g(GM ܩ+??J;c'<1>İ +`=f&n~?ߘ XP,RQ'ntϒ c$h~]Vuzl27Z& {t0`Fào QCpڲ:g/f|O41D2ʷ5w׻e#!3qx =4<ǑGӆⴑ+7<3Q#%5_y[$vMmOsi(/v /Ȭ>m!ޢ|Rl}-)}pW1EiWkX~g\O@xF~Q|(La2Zy#๐5NUo+Q~qrKWfIw;GBEv< jUOQTϝ%1r}{C]z %\prM\9sb"ُ OdA$m!-s(%q}Yo$֤&l _S*(1HVȐ mv )eVr/bk_ˊõb P(XIhf:#'q4,%nbU4$eb=Cؾ,tBqYL8KL jF}1,?,檲} -yclBĂ1*)[lQ5O"K=NwBd@/[-~^`a2zQďV' w a$lq.NC)<򒫞ti cdaY6M~A0m}|w;X.AR2XbgAF,1'Z=#=$9^1r۔oPK }.(a#V߭jȇ؊zĊ:` L0VTQܿPd~1w^t1$ :ꇳ'{0㯓G ͛4?7nBZLQ0AZ69ʹ>ڴťlN܌0ʬWb4Y"/QojkNmWG0OۿvdE":'}q@0wPR%.h@&ˑ@׷rgP(^jc`xE2We0Js3Oݯ&ޑ=ŇrmS/.WմmCĆ<W׮>=꾓1khg,9öS(ez&I\̠dHl byIOn26=bqܵ1f̩{-ﺯԛjEҫbLq-a^S EauH1WtEqhu+\D{vikH6-=z!-IPX,?#xXM:K?4P&2NXYfRyͤτAZmdb_+Tvz+꼶m}TAUpc)ʟMo2"æBHӊ*Ҳ$;K1|)(K9dw> 6+FσbT]nJ[t[ѱ!KYlFvcL$\Q ,腛Ӧțڹ{x5b\ oߎ16V(>Ӻ'WJK^89UoA ^3hِ¬{e|-fAf`&z*y+EfY*IMH9][)!8Ȧ#nfVUAg*˙%Ʊ9V>cA=LXj?UC@RLc3lq Tٱ*v~ ɲ=8P!k_1V\\HnHfºQ  NuTrS=]JM\R*0\eN0wjQsq%Zn!)vV0@8,xS.Q JNb.,~D,ÆءbTZ`@&"_k4@e,xmADɳO12rn2 /iT*Xqǹn]"k1ph&%n( GvaG}K2A/y7-6lϭd*?$.pdp6tXLS?ֆnsV>R\o\^8̿|d%\$癘7^p#Ѐ ~VaҨڑsY֘%?s)OL)B ] IQᱺ +P^l 0X jx3˜%%6xˇhJK`m1׌/}t=:5,q־(iHl`Y%+Fdbb-3NʳIx* 2ˈkHVE9#R3sxE3BUv~_+^BewcN#9}拳 z骷S}@ϕ_5ՕT=i{4xj?vMnYNᑰ CmȬrS\"U`~%[Nn0#8S) @y{6$|43a)܏ޑJB(!ۜahpuD.< r&~]KE< DK~(;0Ůsy9WM'mjkN8~㗦3 KlN˛Ono|ѫCn-vԝ# h#*;ٴPhP3JdFr5!^o:DI~N ެJb<ĥ[afH]ˉj"'saW2ь.nvP-_hJӄkfpL$ˤex&z"B˔dاΑyM PiDC9Ј7kf_aExkl&xVBv$: 8Rک?/=H _yfR(K8q1{kͦ+}8:%VcE6/GIh9 6GE_Bh n2‡7ҙ.5+_ gAq\Syeq_ϦhŸ#)/\[g;mVNZSTYʸtId;3P=1ΑI{IMB jWyyř+ M{sX|iަ+iY-AE(}^`9pn[[ WEl&Oc =N] Al8w{Q%0ke6,ѷ&;#wcYcw@袲&x֘H$a8Z-du/]'#dlj 9}]ϊ7J-dh , GhPH^KE8ipJ@se^$o-]BEQarO;_۫xNN9 +8F>y-T!a@PYۤ`Swlk-pWĨ[o̝1rEV^ Wor$lI$7/ 'JOmXVᖋxgj;#FjNy<24YwLsȅF"VztҞ@-2sc x~/T杨k޻goAiO!(c19Jv=gFP ~g+u䋋Dy=S>k[.|%xri~4ť|J3#_*s)ogo2! -whV%ųcNC~R ٘a%j.Bn peoɐ{5@pXK"mNS͠F01}5v _ddڌ~ 71r|;ԡTJ 7EZ`?? 29%.jRKY& c'C)Niz}0 )Ι59>Lvsj.g;q;Wi~J$g⁎&0B^?LwV"mYɧ~fV&2yi P+sx"!x͎Z"ňyBXӅ>mӿ2${r-$2a"` P/+O+Xd; Ecvk\2&~6~I{1e[_bUbߝ8x;`8ig(*(ZZ1 2d+ qڛ"&XhoK~mϳ{ uKa`3N ݍaE!^0bђ0\KXQ jDPUW;b08O7DW_V":Z_ԟy-XdϋJGz:YZ 7kJIIC^%ʴgq jtF#**+-?$_3:IFd_LAjN&i/!! m)n_es;B>_mNn`tpWLurw<ТnjTv9pH'u+ZOso^պ; 2M6_h XBk lmAt+>:?x<Κߖtd.lWxIgp+-`hH^wR$XKŬs9')2_ V]>/&= >bpv\F)Ebi]kwo-In`9b5OG" k υv[y64FQ˖Tđ= Hv%ඔ^8ߺ?'}  >]Z±͆V'hXG>Wa)7(HaY dzpWH9u_|(hRK٠f{LdERZ ~ϐRL/)0j EK[T[t}+'А;̟ XsLͺ i{y%[ ,fl-ru*92N^zIٶ|hY<ηGޤM]xF9k9y^e`gadl~,R4;jFFd btl8cͮSYX)*8Ίeh\ 6"с}u ;D8Y΄i'9fݒ%˳Pd?LcYL͠$xh<{.G+jCtH60f53ws ,EH|Ut隣` 9&IÁn^9_7,胕|+:2_k}T%!S%y򳋗|%%9dW9n&\, zg 6"O4p6# lhs1H?͙:2/E%1ϓn`$E"~mEשh,6n@OAXF˫O_Ly@>HLka"jݹN֒i@E0w̹*Lߐ^WO aȟ]։鰃}mFF.$|06z#{vq>Bd-s^+7a/xc*('XʙMzʴGaRϘcRgC^yiF8h}es*vI"aOA\wnM,͑}=WSzP7㇩QÊcNa9ZdU $<,Mx\;]|d'E8 '=,kA2s5Zxaö7B'"11zƺ}TLZ,a 5UMдItz_0?X` `dp~`$ER@mI2Dps{ 6ΠIxKgIy`8_|=xΝh0GF5?㥔|,}qPDy"dwED<.ËƞI=ir$Ǻ+e3l@d5csz3E0. @ w G.3$w?N=Jfؓյ<΀waH6,v3HFB`N{t`qT[yxH\  i{,,88AEXQQ|%$->G!x?:e^ iq> Q}KNTR_]'&>^8I`s6c=wLgPqG #/[Cf{?mtliFmGȻ%G~-R2|k!!@=)q70ɿճs0I^Z1}yh}ϫY; 5L|]$aP? eif`"|K@dTnP[ ryFhj;l^q%zpY #ľ.+g(kJD].V Qka$a\MNk_~@ۋё8s3ԉ*uźp{#Qҷ\՘#؊*ܟd t/H g/De՗#-x|P#ntJSHdP3'Rbok[2NΥWMC*0]&@_r|B{a#2;1uG;F١I_KT="Hv&pHͮ`Jl@["Ell#SQu\y+ʜ#o9OTo6ٝϑhdklm,tE~Nע g*A2"`#֙+GJ)q$t-:z{O ,C hZ\> b j\)/Vq5 ;^̖ܲj]D_y\aze/lBf; P? [; I\ߍjc뻐Vxgo6o x cn^k([Fʵ, msbcuJӇ@[BM.~LD$'j)j(\37Xg<ά=.9h6|Р-(04UDk`uX0R$p76dUc*Lÿbӎ7sRk\(ȖtT_=ǧ^56TuL3} RmdPT>wɟ[6b|G4_5őo.feVR8;^_VEkȐd'_$BBQ, JXIAgA e=̥F~:(PC vf)d;/1LCD:2$|ltR=: [q\w(D K9a+ 7c=iK2[K_"jBK!gOG*)]O_.x>+Z_i+N krEӲ0.8@DO ^-D~^EBdgU5n(e7Kr6G78 &K.&1u ۽?Ɉl?N%b .1?A1̎6DA<4'd=; S^Voo;q>8 xj@ ˅% aNќF2 C"emx廴bGB 0z]UoI_ܨ9JUvi<p|0 $}'g & ,u>t4E\A;OڱWk8c04i`->;6u)%o/:+&VoWpz7JH0>.8RؤͫQDrg}5I.,r{;W1 G9c<TZ9a!UW8.y2ifqo= C/ …-Im.Q:aY~xCU'`e 1ϸ#Ϸ-\B q# e+]t;LEqP P.a .Ec]ǣoNPHwC2AyMSZ"sCjd+~?Xv} jOFn>o+1vrky_cdut+kf'ςJˢX좐 !7_ ]\OJ m]6O)~^GBwu 7ڨۧ,24c;gYF ϛ}iE9ovDžɲV ]N^6>ך5XjoV8Iè*^%P_iV޾CbY7KG IrηiEmᣥX *Hg@lw1/?iZ #c+YS䚘nK h.l"PSBɿ`vl ]id}7:x6]ԇIq:+sCז;uWDHIUh.5H GV;nRKtB>[ '! 4(,W56`H&C 0$33CC\i 8Hx-e(oc@&Fz.DJ_* Rc#.']Ub;B4W0UkʰI w/e~ `$-ыA(XNJ/C܁wzh ĥJOC*zDތ1]8߀ҽk<OLTX]lPividyn]fηM;޸7 Zr2#MWMhq#BĿ8-94w͇l~ rK$-Abzb#`IdV"I/U n"vh~Y)!s2+.㇐Ӿc]4꾃 *>d(<90<}X27 L08l+`yC8dlcPUuh e"ًVY ` F 3k6F$4L'Q7F6^ntt΂6k!뻴{:@yMtKjDuߟs_Hq&k vHI;|JX `+IːO3gKyW*4R0pޥ!8ѫGKPm.~ zy R*)/Ad>AH,xI[]q9c-5WR߳P-|N!N~+J,O>< H|Ѷ@A]Պt&TU;{`>7(<-_|U)^R*8KpqqLY q~-4v^}@(!qn)(@w-ٲ&@c a5Q1|FE`jOMaQ].=o"דclxNq}+<\>KSΪzu3>vUӞ+w IpF_ 35QhXKg٦)νɬ`&ZJ1M#svep&[š\餴]ϑ=J?pn%rb< _2(Z0P=!4="rB/!Ӯ/Mj Vϋ-E+` o${og AN#/Ft \AUƴ#6U`t>9TgA=er2n mCOUmA85e}*t90 T%8V"aP#JXK th˝`5{WUĐ ?gfdntqY$dj z.w{PVr0Jl^8^:L8V7,2]{&ryr)ua~N*u kCN.'@Ɨ-=bS@u`WP#X'cK+*ӨղOKM2Dž 얳SIg5ĥXnqUE@G)!Tp)QmC$g-=; D QM?J{NjGM0ɇ MmZ^/c5ߢN.,$СÁv|MGzW$֍roP0c80.AN1b'qR7H+B\s|#Bs;6X Yp,[`0~ 7C_ LKDP=cXp~(Eε*F җʩPL~t;=܀~~81FG=pu<ь1wX8^Gd 5frAvnYT\,֙׶+3yǮ2>eU]ARsShv3܆; }Wr~DJXN|JҼ?k#&G05'_GK#ѡHJCjstr1)fO(^J^#=@ם ӻAj0${5F؛v1I~לMDyTFܐ[+̫oؼwGqp=]15H,H+-")SAX&ߚ4{.~E!f!" k7NH:=ɇule>ȏ7/]5>@祠s򯩍X638 JhH/dI_IU}OA3c?]C6k@f??խjIJnEЁЧ<$6iϩ2?|j_@o j. Ypjֱ*t_#8(#(dcnJQXxWeiCs9;%ft,ۊ Ҿ%:PqiܫuedX/Lw' tO {{k,]<Ħ4jOkSv%E|nfI\-gAxڨ!=h0os됶 [x7^Qf-cݛRptirBCOsE;XcwQ!aA4g#h^wV=3 JC~g@c.J:B tbsGB.O7m&4Ip߳s o] ϟ!\AzM~EKZ1+xj84Qȿ(;@ec^؜{u(M7حT;%䵰-#w~^j9:\Gݬ]29(H//xḜJp;!/mL+BG:t:M_xҵ[34)6Ƥ^:,Wye Jz(*^ sKf6&Oפު\`ߪ|;=i:C/@H8;'itOUm)}JņhWnɨv; ͽ5B1Q\Z!sW 0zH2O6>}_ eym19 AYMI(ȇf%ΥDiFA#`~:]k;*W-z"YȗzcmW^f@ka ߞV8ypx})z_ %rWm`Y1O~ 3hPKɯ݈HB[ԯe*`edOqHMh@z.1nSC@aEf!bPCQp' n!=~֐y&#]"q!&(@-I&﷦ScޭӪ{@ԓD 2wThEa+ C/vv!4TϞdV\ *6mfNQ^7I?Wؽ_80'w&| .G V~e gGa]/R CA$I SF]CP۫rq?tL.5}z5cW xxXÃI_|הVDս ,o?Kˑoxg1,z\s%wt6lQ}`~4= G'M}4nSl(c%V;s`ZRL559!&%hc#Q{tCCO{P-[_*µWP[(WRȄU^ޣG|BM}<}UO9:W"Ӫ!>/U%X঎1%<+:ur<j,V}aԓ|MD*~J u{D`C_0!TOqbX;ۯPˬOAVh !H wiY!?bdgރ @@ V+ +!V$D]ku(cVC1'݄7nbg4NfL[n isI]O[ߩ1GhE-O͌~N[A@Ƚ&m0';oj/xoQoN4dG$2_C@@mc/vbE"3QǶLs>HϮ]l Y L{#|Ziݨ`!gV6&mf,%̯ *&H-Z6@b(/Z:z,™ [VmMR=e4i{L"݈&e}Brn$YWD@_&uӔHl@ԟwg:h uDA40\dÜ#9)W}OcHUNm;}誴xCzr71aVii"I!N[n@ʷ*g_nc.R&N<;A2{._L8"J$$óh[ 3 #T΀$hlj:4j^"j XL3:0qj C5W70'Chd݉ h cEwos"e,kM{e=[. A!~PPl#".Oj:"D8{ġ"T̸[: ~fr7aL%\^˕Lpr~ɪIeDz7v+=h`J#,NlhE. :J_f`?q"%Ӆ=TM2Vj d[m/{* g!޼0z yvL#GFE73x,w@'+:$m&UeS%if򭒰%V6O ]qHgS`\5(֎9)Ga(gԕ#C#Pٍ{dCpq%􁜝Bڰͅ :@y/َ "@V*̸sRRo#onFs w\8wz _i5eSN-G=@ťژ{g `Dٙ<43n9O"j"R\p5A,\|ȂGczr)UNu|{2K{|gu_sT::qp.kh8wYuRVGA(y:0I:ݬO RF ?l9*>n*+~d`J RƗ5r}3ߑ/ zxũggtxH& 6#-$oub(\Y s䝅Oh~sEgc }d\xW۽>/BLy03_jboۛ? <&ibE -~D؈{+2&bnNvE#fXαPݟlIֳf㱄Kmj: 963ĉ>I3F76X>ٴEwݴmHgz]-TT_pΉp$CTAT.#>g;. v&ͧ3d]ͨ&Q-SRz_SbU tQ #6[)9HH **/w*zF9N!kl9U$HUt[.0q K`*  YGӨZUO8_x?>N_%^fyH8 -%6`A I|29wpϬ$14OUbh@n1eɐ"4{&T S4rFڬIݔUK7e&x~kPوLI1丹Lp#D᫊3tz楉Z:R@ +t|Pς;$J?}3'5OC?wFP0s 0ǻ!{2tk+{Cy]y*RӍ0#&OnO?N\+tUhOS-3&Z 8EK% r\_OC4#D]X Ad^bʹssfXFr Ȝ}HGq"f(2*1* }=tdnZǟB3̒6d< 8.'ka$4(Rhv,M&+-`^oЖD<0|2e|rf'[1nz&!󠺭nuJZ+j~8G @ў{IqLR0vۋUDEV0m>y( M2΅L񉾻S$݈}rYua0u oJH]$F Rj4ZaGq1w>LP[^4/QC:meBE XlThH>)CIb$@ +e?6ZQ(GC@JaDr9!'Zۘ*!E꧜^-c2UkHxYZl=1჎\+cos9 #bCw@5|^sbmaz%Y2m(gp /^yL]eʣ3^LyC2h99KZw둂׋1V>Z?$%u>l&{*C͝[Ja+]@ ͤyC٪hL;r&Nds6n' X9z;"P碈uǺN(ֳ]7I*9in*Ko(+[ ˩1C ,K_Ev;U0)ӧR&pLqv 5LN&ROIb뿖G>s q4\K`YXx%C'd5(Gn_DuCX?=tmqCt$_X˺ =&eETI,:7Z4mn o!ş:ϴ)b?:lҮ\ҊwWr:6j64M&;PmCó~6)&NA݉]+?qf02P3gUuO"KŘQI1 ?*mT?]U D誄ҙ#yfC$mu5[aX p(ǜweEm@|l4 s(XϰF'.bއ5;=HDtĨ \=[ N`0 K"h<$.v+TKLvyIK._U4Ă'oG2y%l* nΫ{igr|ao(#FTY4!u>3/5oaw٨$g"(dʳB}mQ6׸l |<picKv* 'F"eUr4'](hf$. >NK/<t8yYOdn~F ^a3B?^ c}! 9*+JodjkEp: g ǁUR6U|3ݛRJNDUNh \ǻctKAwhh'Ak'& 4`6yLMgqy'Mt.OtV$mgucqCVrs[SIj[ N!+Lq0DgC\o;/sOe4PJkOP?Mf3xY/`& ͙ҿӤ_XJje:`u+W>bF("TG)saDQ qg#@ zdNdO[ziu Wû5|8J$?4y' T.׭NmfC6@OJzD&]X-Qs.zN]ۧsQ+a9{OٕpByR܊o(-|lEg #y&% qJZ͵޽>86‡%s O*.G0 ܙjKGИa6 ?<}e4?#m\1LZ=5(K`=GkʕsΞh՝3^E~'Ԉ//̾y[9Fܫdoa:dAh,@J\ť M=0"Shhon\ύf渄'Bɣq!ԍ=PRbSJ*/ ToZٚe%.WqT s/ v+lobAvmg![ߊ:ʋ; x`oaޟ/UYSk$So R[{K mK I܈辛;f\G۟ ? g0"܈ZF !xǣ܊HY:N #g@cP~HQLYv%\9Qw^ڰKİP7t54zDA6'XK6|ڻ%)1kԚ@jnNd=@*~ ]m =q>T5ZfR?ct>Ӿ1a'pfSĶdp`!ǵo|PJp^@(<,IŪF 47˜ vS.֡vŦDJ:կG+hJ Rv_Q%}g~&OS_%H-X ( _H.: SB%dL<"WnW蘰`ًT_05 T.#|cVw_ Z=tqu^VЦGrsД0;N(+e} JTW^%4J/ȂfЄ!;g݊!_1z6= 2=ˈ2'`z-SmwL;>2 HNyCVW{=&vnTuWK+hxi}-WSKܕ," swdy[ϒF"Aؑ"@Ӗ"?M7 2p]8lygO6v(69-D"sd2XzϚD)IVօa* rp9 Es\sQyq6 |c)gh_Wuӝt"@gYZ QC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102,1' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O <]Άxʆ5.f-9 rq9ޞ(x#gD#Uz` ILF5mwz&nkf0m/NNJsFbWeQ A"iaAZ/.0q&rcND[c4%gVBeL`9.dI٬ODe`Y׎͆dTkDToVbEKTgPUhn$sNj皊;>nY#IA/=>J| :[Gj' xÄRZF|UmpK`*ȣ&t5.Otn;iC#Ր/dHL\I'x|;tVEƅ8kWLaO͉8޹$=9=R@2|R^;I9:%:e7(]֞je@V_?:sTx, TF͔ud K}zRLE':!(^_09ˮ%@ۿ:je{ՠkO+qxy&nJŶ}W}lo\|)'ws_;*:=M|?< "_'28|_i6AGjpz7kJk(k L;og^_H7 }&% 6p$¡گg ʠ=9'KZsRfYPjAbRfIK2;}IDզ(c75ٮ8xYM !1 %|q4 Q@iw2h).!ǽy`k6 szWD MYܧ`.L[5ϗ?#Y %}v(%4XǃriZW)969n sxaZ-Y"s|TS:};tu FXܪDնGUN[Qk^nt`#r%ED`HA *2J<5]{"ݟf/ ԗ-%)5<-X-@i #ڊq]žHj_};ic>|}vEøw9=c !l4!K QAVY ;6Pt7`gĆٰ`3> z\.>΀QFs (22ZIuD2o0Eߧlhso!z}X!x[`^pN%]% e1iΏ^ei䕮ߢ 0J ָa,ClH:kB+[AҡUO| Oxh~)kcor}G 6D͖aN;=QI-phȪI8UӨwJV=|l\@Ϣ!A;C;uPgT#7k兌e HXB-es8]2pO\HE],|MF8Mc4@p|T7̐ {KMK.Cx6QXI!rxMخ<^wfH_ ~~`D2W.yʌ~q7+,UcFNq<ۇ*c%b7Tr\4);b2E k^~e78™-*|d5jwg>:N{6Q`,D+P,< x+_Z } Q|;O oZC3l% ^ھot2 MZ`ψ%$+TޔhCxV+b'Yoʀ/w&e4a"8J `۹{R!INaJ-SδQ 6 C:Z10'h>?XL JqD1їcZyS;(H]҉V;u;ة{Fb;=b;lAOa7}b)TՓ) ._2Jߙy{tDJ k0 F.нW1Q U8?sZջx߫hsDջF ;O8 X)'X-05j.Vn(\|h`_rSW"AT``3QAfRv܁,jWօ`@tHFЎp1gYZm!B퍊%i<YɤPpCI0zM>kTcsD&mԑ 0ImD#?di%v틣lLNrTEi6Ą7J\Kv u=D$ոcZM~dܞ~Շ<-+`m5aDU \b4 IsW)\Ɔx!FA?qE] ZӒ a b]n*L7,1iԖs;0ڈ@j,'p!ߒDx 1#msr7 =G5,0~RU}DVD=œZRptYv']>c }W\!u"WrqJbw$&ߚo]ɱi?bSˆDnb[crXpzak$'FV)6/?IpG+Mq)/[7w}kGsN{ Vo$/i#m!e0ppZpOЉ(f W&F<=loYH7~RzR0s<хXD2T Or b!]u<|*%,z,/K~:Sqb_4%fC4yWZA^*v1.S5 aD.__#:;ݯWHH jCU&ī.Ԇ\W}6ӮFxQ5o$5糚I:^B+>wQQޜYkO UNU F}7'SiSɺdp!Aj3ᖉ 6jmp"<ҁo(vxעR#Y>% gT* IJJp0,V r'uCG0*na)F,JkQϚ;DF2gH,Ee[#!Ѧt.+&H؁ڢ1V֣&>d~VUR W*%훥k8-l Nn(=7Ý3Z DȣUkp-;>"@γr,>DŽjaj4/O &dǪm$^Y+><շNX[\:e  EE&K~dU~w?\3a(=tQݬ"b/}o㯿[**'nB*HJiT.99ꂌLB#pXw>mNu1?BhäSOv&dz D2BH>Jՠ Ь<#DJxw9CS%.[}V"يM60qUd -"Ǩ jY6= (^=<ݠWsGڤ0> r=Ŧ`۲Ʊzg..>aA2`$"yM̩.SKEY2=)Ė}o*=0YIHWBb+"Rqln&ua$nOπBg%ZQ $im]_IzIyx-IOtS`ۿ&%\1dfɒcZTy\9 v a[ Ixkɴy1K*{u S~zt)WRuyZ}1 ̮ś|mN1+_; Y&lS)K&k )OGiC =hC"W/dbd@d,[,z"Dݟ\+pdϘt½󑍥r`|d:L' àM"t8GQ˰5Q )zDH ]oc׾X~31"Zl FNSVN/Y^ENH{N)}1.5]_#(CiA,Ss\K̄D ͱBpW{_xE먊1_ l_@7_ BA/<_>cJ}HJL:n )3t(a"ZU#?+rvGx2Ad7&v tfoݻxӇj'?"aE1zlIsW*=6 EW)`g)v.HZu.nGc't2%(- uhÍ4i/6D4'\ (Wq1%Չ/}&N[ ?{m3Uhf$;Y |[-ͣO E'7$V&00 mAAh ?j1D?E|orb"%)u7M%c c!^v<NJM2SK 6v.$?Q||"hl0="`, X cU[mJn}a!͜iNheʂ"<#ph.պ%ܚ^gKukJҳt'AU7(TۻQ(p5H?;(dPӼJi'J$,o&+yeV=G15!`l%w_!VCxFU2(˃eGH @w`{AHh=7 kE'-nqdQܲVZ(jz]<օ=]X~u;U<ƅpbDysуXLd~z@b/h6vU6J$ 5v`F̱KW'h8@6.'[8Yĕήj>Li'G[:Z?TrcЙj)KgAe/Yh-[fjhx>Æ3,cߍ٩3n3m?ɈyTIhOF?kyG6t0v-e}r8O`$6.Xg&cQ33zX49U0.N'UugoǷ6ϟkٝo* Ofqat)z5SڎaST@_+ R++5mUt?kna_ QY=28%Rԁo8 FȑD[+X|T2!30x0SL٘uVF`xյ)%i'koٹe^ ĠUYݱ~E`'8ΐQ41+-yxokdfU؜=e5h,*,`,T]}csqg!.uhߩY.TpVl\H~ +cgXDSmĽHLgqكC==T*i*l 7*XKa+8MW%^= l`8=!jf3} źIk,Zg4D^RhJa(hL]Z|[B^E Cbc{y#,4Pvd؞e7Kk0 #)oht=y0%@|&N>Ϛ -gYZ s+# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?87sѹXVd 'rK?ƜM>%M3 %C7b;v7DZƒ6AHS?9w൉+p|UE #df'F#P/?dI ܱ ϏZQ5 ?Gi3U=euenbnOJ*N߮6ĔV7< ';*6S~ @94Mm'"D|tISіL8Rbj>JUiG$R:g|1i'_v^\>V_.ry F`ȊS#y>R1H9.~jqhtzÞωkoa4(,3yڳ%wLBoΚ_j>Ĭ'-xgAX2KMᶗlKf/S2\_QW;C~6*bq[܊A/)NSnO=d<6;1g穔Ηx)$~㗊ujI)Zpk&!rY@/I96$?TeuΉ*Ɔı)HY[ߡJO:f|MJ@T`B߽ F ]tgNʍhR egb &#J5~̆PtR,_g^,.mmvIBInIqlnVS"zO  $4YQ@i0_{@a.IHLoYDx$]B~ _3I<+u{~`nah!7#o7/nטV/{4}ƿVa]jdl鏗,SޭȪAd%!M!ѹ}E30P@@Onw[ bpYBɵ<'ns'>mlʀH?E,g%u]PoN !h58[#êܷƤo_6܃W|?P_ÄGhcyY^8Z}NJ<~Ox(f)^` E? oo@K[XT"=F 3:~Jz)ihZՔ;R,FFԘwvrT\07y#ŏ+v^{X,d]:eRP袙pGѽx@Ё-ȼIu 9-3z?= YvKMZTUXh@Q,pIW̆T5˗8S4xtfgN$\(_%%Ѣ#6.`ҁ7{*X$dI-=)0&&g.` ]l-u)r} A\%n5/,E*Bj3,(iG֟20Gfw x9T9z[=ZP7R܂d}yu ğgy_"Qa u\؇*5? XLkL| ,撎՟8ٖP.}dvX}ATl3.Y:)ZLCQT$~bLxT/a5R˺ٜ{ 3FQ-)* eGlge7~ӳ,(oȯy&u2^,/D䤰>1むu-aS7>!U)` <.ff%lFnwnl+-Y+Ҷ@EnNr5`5;v'LtTra={%_Af)K;qⒼKUC~QNc]!c[qk.]8z')b*xA) Ve0SW"by4?,^É4df ϺMOBA',ro=Ij+e%=$ ZOl *9.Siktҝ>+G%'zDRw>bJ8ػwAGbb8 A@\E{-X9@kS ]/*f 69fUҌA5.*/545Ahߥt\`Bz ?+w2',ou~S꣎" QQBmE8v?r/sfזWq߾PrDio=Jk6=y,;zw"H/A$N[=skv׏hCNch^l 99Dc< 5foC$<ҀGu7td B2K r|5U@83X67>~ݐh0θWǣAX+ sZvہfUqV t/_'/`%dH[4Aڞ2ל.oꡱNHp+ƥw !Wn<`IRz =߱]D1y2K99:nd5iWWC F}."3u!5?n|li)\uQM\?_v?!S15]0XՄl'-*+(iB} UWwu=vD' $JHj؟ӾjFv%?Q(h*ezT3y۪J;5當y0B:ee7?G^/ki{]jh5q=E$ L1GUjWsm |&*~٨↉͡r]mE ]uYޢ1oi8J @IW6\(uJA涗yd v ^so6#eψ&̓^"ʾߝx 9aPH#_ ( ޳H3B̳ʦoA3C(m15X^M?8zs;K2JJXfsJmK&9dnQKrv:yӰbcfi |REdtꡞ>BkelENGx?=Mژ:*>}J1O)[7Cm|k)u!(8UоN֦[k&s:0d = ,3Adm!5-"/qV/=d|#B@A.o2 RPdD{?t$ϩaE} wH߸r:0ZNמy$Lp(iSqA^WB!NwT w 2p+ӐC{|_y& ޳ǏFiOrSIV1㘄,tW1ȍ{\";,m8C9R^ARhP\XЭ Nfɛ.@FNLw xJqX} "k%L 7yL(,EQM2|jȶrj2 SȮ9_S1Ɖ< Am65"HNN2Ǎ_-8֝s+ w h . jwK&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ׂ*ݾwnd{g8R#ѯEM^U.8d> 1v,`E"|@^D3H w5)'s3`3% Υ< $]N]?8Yk*9?4tyg!.k~+ݛ%V+fk,@6\տ[a&@ 0[3A gYZf#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])QPy P2l~ӟ 7MDՑl:ڎcNz> UgDf?f <0S0Cӓ2Hvuߍi'~ftJ*(/ ^&5~^`աS"ɍn,xo~T1E~Nh(&42r}5F | \Z0C\3R&*|徍KayEn7Z<< !I4z8ғ?(rbi%慪6A\QUn0WLd$5/_DcKlkG\ݒg҇jyAڜl O|!3ڑop[TH{t݅ۛ_{ޮO;g`~}Bs=t(#+AkuLN=gUXN]KOC﻾pY}@eQ=)  ^H)У z.Mg'$ң%^@êGH 4f]u JKOmYc` &ߢ/wuǛ?bĹIL:yN;k( 1 _h٬ r;!v㞣Tz-N,I؈s<>R7uziHJ`^bV{J Rgn滛5ռ?R1N#La%MI-c5tp4 :=ii'q:-2> ~ 3NCF9ij##~w@';&-)lMăا5ŲgG;[~SYz1у6%L9?:8nD8˿8qbjQY#| E8g"j47HL'J' ';sýĩZ_Efwq"w}!%%Z $>G9R C_%4}yW>hNYC{5W~2ɍc ayBWqmSdS|]Kc&}Rd2Ys*`U:]G+tq}r.|DAs[fVKQrg5 U3хM.TCT/ڐ( *ӷ$ . z;eμn]xjER- lZCH^[gM87zo\ه{eLxu39`Owz#{/OI*Ћ?@M ]!be( .|caxd/8<O{(.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' \ZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+(]·Iq n[:|&[zl+ERP0#j#Xi'6'dQHyW2!\ qX\əpo%Ur>_tl(A0 ~A5u }`S?Aʱ > 3R[wQ;#~:%Tgӛ5/.Sj uݨT'8T3›˩_q5xQۂf*I2kߩE8oh?K4VԹ)6\A`=- 9x8̔-Kw6=¦Aq槶7r꫽ҧ6 Z8٤縊!W0s¾W)>9S|>q"W 5 eNhMJ&c|+|xr93TawlS"Zamyt #M㻌u դCUrdA6$N&vk)I}v|L4kJ+p>*lc v`_g h|6QJΆ{?'ŸoAܓ ؼTTQj_-7.M(86[qDnM8vgVciZ>:MV/I ,ك5UociI7SC h!=uාWw^Pg^<&g߲ĥ%:\u~v#cϲ-TJ]ˎ͊5DDKTŅ>=bc7+=)*%-Ga2EJ`ԚM*çCo0r1W,[>LmåХ->ZZMSfJ3#v j fI$,x LagYZz[/"6 nʤ fIxnfz##ɍ Bu6o.r Q+>^=/3O`{ʿs@" gѳZaוSq~tMrgBWX,Ekq}79,ynAKYlFcY4k+mIqҬtZ )^@^ q&8䦑 6`,SA(Ӱ*m9 |]칞n@z<Ʈz*(Z~O cV.Һ[u6l8 :I{חO|(oFnfh"GRޡ02sWF#vi'FЎ@5{ a+`8l#˨W+r:E]o U}R|􌙆X- F VfhHXnQYᇊrg\o|:fd j;j1Ķމ؉"CGG02)_@y E5 BcHN;OՖ[7PT!\y]qH޻~:$53:{CUYJjD_:VLbC*8MQNCm4a\`dW>K %0k.|Dj)A7P ' A ߾^d' t̂1[{(!bVU̓8K('6KwFgC_(Ej- kW 5{WjyQl╤VݚH9AL`2&EAЛd k~\\T NaTwt9+EKLETg2rw[M8XIlXܨ F槄H2djQHEѮs33(FzU@r4@hXj6Σ:D4Q|S=17 }@bu0+Bb[BLO$Ineqf+:`5 y9$< wGQV-5 O\.[\-+© 9Ge6Q.J^RkVw8lc0Ci^ЍG!"jʮ˱6am g;bueGp̢;2ugYct|v>` ]1ёV[m}Pb' 8-ėnBgf?F:jrW{)hE>S:R#hkf/Geo)o \ ~qYɿ=ۛ@:Oox9=jr" coIWAoEƎGlM+D<^k@s^Ԭo邇 ٻ=h]`g6QŅ?n`C0&kzhtq$5:.V@TO4jazJT"Rޟ m[S\~0N9C߹uh?{uuY m0/iRJm|O t3!*c?l[OTHu |/G5=b-:wWN5-".b1(pt ̟Iv+QJI!+JkEclXZGBKw?8AfyN"`=eoG.:$)}+N^[˼4adn@)~tA#իPC¦)Ә O!3i 0LΤJ˺`YN\ 4Db1]@d!D'mtזZk.x?˗@/g4b zl,]V}͸Wu_)Z9IRi(^PTS̙+zKQ&UCƠ38W}e@UDJKl99,ܦmx%tc ΋"< u}41dMEw5MInR93 k?œx#@YXL:n+c"dt<.Oj~BqԤq''z0͘Y[Eq̥ 1Oz*4ň@k?[aoc "6ʝGc;NpoȨW~m_i0kCk5XWs{_tJ2͌0b`b듣<>#^g3 o/7#'E|+ p,_|hG@WF4RPLa!DG8.0>nAy/~hQ VhהB55ګz=%GvVU`IjYNð$?/^aeqym]~GZE :nθFYƎ >~R?sIP79 "S/OU,-1=jg4V_xRgK2¬S,A>|eK~m%܉b7!I 'Δ0Y:e{Bм5Kb) Be֑' 2!0JBڠ6ɏC&:~, Q߱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! UM]·Iq n[:|&[zׂ`YD؎ه^δ&qs'gT}6lxMuF(OΝ! le[Ĥ~0oWH( `=P%!z#a5/A "[9, ( y:"oc67<5x|+hk^䵴7^K*>0cg :-6 68M}?UIV6Hʏ`Ս=,ƪP0 /5)LdidŒ51i_cv/Vq8,Z Υ-ox|}~7'SKgYZ'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 ($RTRćZ /n ,"e0eXH ,tVu7ѿKbxIG`aoDzzX”I\KBM+ҊZ/}L&&|eՁ%c_o ᥏4ԎEyxB5Žf}M#fX;2FfIj}!e{!,Oa+p^$Y_:Ê$SIsD/짧ClZÇ7J(Ϻǩuʹl(H\ѝH:p15WI?P ]y/)|*UG0)r~EcE_+N,HeHOunTgDO[v6vN*&g0L)þA+}ڻv`c,:ěN> "@Y#z$r gI0+}97XgESYovsR{~eؤtoڦ'9)y$ vM˿ެڞCJ*_NyH(&4CH޽YIvmt qd)D'RE uNno۬^~@ )ߪ2Z9bs]>\ |J#٢L}l(ZŌܹCqAyg@ٷ)Oe^, G`CvlT(B =\q3guHc'4C)M^ .<+OMOb\OycٟXOŬA .R`N="hZtxfvjZ 03#Rut `]-l1m2<HΤ 5EiC 3h2kmq/]"۽6Wv?b 8]n"sFs/)1:}#>mZGK63`R(pGpXH`,pafZeITזCCc0: &<{)<Q*)kSl.T_nGF+D FI$ά|p O(#+V7(i).CvۦCZ"9m:})mj"M YjSl |-I=h:12B^as |v~ rK_99lO#mD("#w^nJl,!T5cկg kZ{qQɵ0 $ۻJwǰ錯jZmzBĜp:0,yBܸ.->-껽'@Zs(hё%iJ{72?T4fbh/U:|^  q:gc_GFM3fjRoʞѡ`*dN0?إàdʞMo!= H$6ՠoʾK)_'[YDaO1j2J]M"sAJCXlcHdC%pD;CWnc'0,fh㿒JGĺ# L(分*V Nno~9(BUXw%H>>,I)BlKa'Ѣ -S5&DjP}W(yӏ(;u"P3f? \{lJmߚDr“s4ō,{G&{§3g/qDcoyuAA&26gJW@hcBkK*pރԧg/L-!'`.wEyrX]7f T l!T&#V{PPqV9Hjp 8l&]+MWˬcq6?kBP cxG9,|bM ;pn|!cV}+HEQlm>%%nA*V0{@Uba6Bs4c͐0**|Ύ > Ͱ%,UHSc‹GU.Cvsi?9~K$mӏ|w.BCRL3l X($աt_e2 _QYxCFkK:8C>PEȦ}MwTS8ŧ»B%rus_0 EɽXw)16OR-u8 I:vs{J(A @ǵzkEߐ |I|ŊٱgYZ0קA`t/:Z0u4a~]V~#<:|~4Mí3Oްy {YEJ[ z ロŬgE\HmCL*)WR`0SWXL&ye.ku4|Ybdm MK -l%ny/(rF<5e ؚ]|BB?@\+,-#&, 'NBv[ZȤwD$F0` 9:R'~abQ/* f2](k P*kT] zF^/70G?ʛhZ/r:f7B')^[[Ub h\Q`nb}mGQ<^fEKψlFyuI [^bGy-j;&m݁w*q Xl^/J'ј GޓA P%]DJ͕m%ŧ̛ȜШq;~:鉐^ 94 %,ѨHUhh G23\]"ͤT\4o\)w7쨮ڢ38>7qRTݼhg#5\6iF^ڤcPд9ygaD#1efb U#$ #y*xYȻ %V?A2y@x,tO+h ɣ||xW#lh_UvOF$| jau(Aqt&u}83{Xc*OK_8W|V< g(&xFG|~/#$τ_L>')q+%jo2p|ds`cnhJ©IAoYf{LiYʏ۩/VķӐgG=.ǫ˙ /]((ˆ{^a \u5zN*Dm (5XvM$WS$2F1xt[L"mRu<7Jڬ6O emLq8 I[gp dӁ1'_me"'5t"Rc{#sZ=]YΩ@R&rv):HJw1r|坜 Vj@KJX>v:e@R;+ T-yG1?@Fm@ӱ81xtnhNh4vss'cnt 76sV}[kLVA C Z^cu“.MGFaT\W C.c-nlAiY_ipf׭~JΤf^yQUȱaYffeeAߞ"=eE%*4kw8 {y,!-|О7@!Fc.4*.^NfudxW9 K,'~EiPX?wfJ6+6 Or| dΡHQoeh#ṬJC ϥe;L%O}Ry1pn:fs;E @Q|Z4c~jX^e90* 5)`l-ZxY|$9<"n,(~<  o.q%@mKbtf_4F.* Ö$Øܹ05 D\(N+| $]#ZxIby Pg؝`nC*.ڸAy Bg;*^BcKLJTpř^$K0DD(::wlOs+Nɬv9MS3?Yw(!m[b)N?t) -]2L(;h}vחts:Zb*7 YDZx8LWPC54<9~>ϧ-U#p?@R3+``0oi 2-fT~ГCS0lO>⥔̧,RVw+;[SW=޳# Q_JuLDs}݋(QA9m4'DH~SVD"*@[76~F=;|z9,lڂ]e͡A޼#VRec;(*؟'cxT!.+> Q4_a]7;,:`6}R2 2gYZ/ /# TZF-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{3CZ>&E=.\TQE$,; F #]$)~iY2, f!C(=t2⋊H@9 NT.w* iT/ې@5d!X$@l2G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98C,/' 4ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GR]·Iq n[:|&[z)R\2H>UӐăOW_=Ҟ_==uO"JQ  gl&0v&7Zf8/r\r[$^fRC--7j\ΞC\ݛ^S'E,uӄjs{:`Nep;(<'5ɡsH_`'ePYbk2>ـAE X;V&䈽3 h@( 9){+ ٢b},gYZQ+/# TZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*b]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyMzMnÏy&gY ߙ{̥d &pr?&J>2×dR?Ƚ cȟb2h*P@up!M ]NyAl=BÖd{"ۅKJ)WY==֕0ĠiaVq~ 5 ZR#{m-6wxJ2\YGb-){103)Af(ߡ>Z4+yZr@)A/GE6տ[ áB&*H!L pV{rh АP?wX蓣cA)n5nv?b*=qGӃ4J{T* ~gTt[B/`?r$QuYuB\Oa,/s m zQo~pw/EHd?L#~or?+U넢D ^p8K+0W<-aNÞ. )qN$l3U&#') ܝ=!пVq9ޛ{y8xZocmH} ds!L$G0ԆtF8{;}7u@oͥdKM&pO\89I6+ЉW >;Vvm2&}D|*yZn-((Rb0(Y۶{_8(2SKL2# u|U#w )P 6KP9Uz47~VKhT9.y@zΐ^S"g8ixWf3 ]^lߓ$m?n3R+/vtȀ-lLG wO0Ȃ̔\\[xx.>x"VKcmg :!n2a/x e6y:7LUd/ek$)k ō^P$a,@d*d t%7@/p?s cf#@{# adj(iVh 9yb& ُtl' ydzF7fXA if?j"McJvDg݀^fW7=#˯;!J͞)@(ϱ>ݭ<22夂@t"uyƅӉfoy_-椪ϠGmӌ'V_yq(rΆ5Ugm]% A'_\K5-h85>PVl a`,ZR~|kMT51C>5nMZ:v$&5%! `eyd4H LCf$E5}aCG]󗬷0^R7Ϭﳜ,{k\K?Y*K v-([Ji ^8¦u̩Ӣ^.F}+0؀H wjA6&N=DQxuvt!|^y)y~p R7gwJY{‚D y6S|qEa"u(@^{y }[gK͓oܤۿpQ# #QmUcg!d4USͻV˅/ՀeQ t{ܑ)KX_6JY+ RHcpҴ.*8i&TF{X-o_ϺmnoIU29M7ɍt`o*NGeS-A@FS2Ҫh?pDʃ\X@'"Y-r?BUּmUIJI }bJg )աbM4~WX x[k^E_?߆IT U}[rKcOe ~5p3V4>eVZI<%`<]&jqw3khTLP!;؟jH% #;CAsiAVInPf8Jo(!or;niUQH菂%-C2, $*SKjl_J`<][Xf-,1$T3ԛb bYËr4H^6@ eIR&.X &tultygiV1\< c uP{1D:V盍sQH,}t,"&i>({k)mMd~K@2Lm+lKqmo7^F<^EUؿsan6ON#\c pKHO 9 npZT쥟\b/s\8Z5RF'76:kbi8p̃;3,/vpB,1q|}ٓ#0[ZV31;IkDќ^[u΃|(FW( drJyᴠcX 3>kw|ʠ2OsY 聵YXR3 bƁKԅH䶂>`=}.|ڰDEMqT,RtrLI<}picQWvTe^JN<)4n0qW-%vPDJX{Eh]iAd2`GZc]G%2S}cbZo=GY6Pza#Ip$>fsw" kS}&GMT?#N8: hbLMm-!G@$}PExIթ,"1oXǤhֆj2GEcw(]j+eoo{@9#B_4ݕP`# K4]@ Mu~m(M4گ«ڮ,j3F1uN))+Dh*u2g` >|K * è]@̬"o[Q#knE;~ Ɖ#cH]r&gGW^i1% }͘>N!tg}v A9lt*g{=j*plm{kQ ydy8i8k68"v3N|/}|dS#߁9h75@x֋.|C7G@^&sAA 2fؾ  n)6s hj~ږsK2ůk6Şpb7Yܼ͜ WsR<'3uBIㆈ8IItJWkx!-TeT UmL{P3pbuqXᗝE!hdPEǑ!Va j$PuixG:UG= .>Q$1[y#`A6!0T3hQ4$uѥD!sǯ 5pݐg5k`0+ϯȓldsJGv8%q5u%&x0b,bي7Bg_Qad_V=Q!VK\_n@Qmd^K˅os\Y#MN-HJ`;~.JZvpjʗmufo ?TI,[n I/P ex` ʟ<?\bw|L-E3Rވ6uF3qM╀-w&=H'.;#DbgɁnçodz_n{+=]/dǚeo!OP Ow\6)Pk:o:*yH-z|v=:NoMA/ "o|!GKz?nOlK%`K]8 HKd@?68ęHzrZ,Q]1٣-7,F0%ъͺг5p%􉛴NbX8WW?Ij~ @_ֿօaao\iO:<>-W 41L<{ym&A* [쁢{*6|+GᶮO4W@z 8~h h@yIL&s0\T CA `Q!ߑ>2!E~XF^(;T9R g2"to{_ħ5vf0eNAѝY HT:P}ҝtq?RJC1~|-G&,ԯ 6u,#.\sWM(;*Y1 kvb±E_Y:-Vd6%KSz/bamSeS3[^.h#{ jaeNO\ r@vG&c.q,D1'fF(w]MQl L;xQK̿N,$pJtڬ^@*[ wCrrROjԼ*-1=C$N;"$l%#uQ۔Ae.)/QP$\Q6"rJ~+01悠h 7{}NX@jN@u?ayBy8]]$8%fD)xʎW!\T`:O EcoTN_v cl;]*I;v`yRmB67O]j J^x Cyf+;(Al/pBs> -En_ştaqv蝣@+JI<]漉T.9%5ѭINSQ -?K5d/bA%&HZ,0H}!+{P4}άF aJ[N 1 `#5;$t`=4>=d{Q7f8xX$]\J[ik,MWiu*j)xVbK`(SK3Xa}TH.A[̚_fAop Hea@jB* R=te~X{W("ijhܽoX!ju.5'p$\ɭߡi3؎Kt N{Ȁ DA)閯6:,+~jL,{g[l-K4cn^Zxy]j8oxܙO+Tm梙mAgTi-aAv 1>S6{c6%[C3w8<x/_o@UCtl7R!1Vϙ9,DO;+EIPX MBYU"ү"S0\n]9ό;jN=2">D[ ְšN:M~֎T<;ON[ZɪfnA=r4{i|H Y#N< xj^C-p8I6FLH. 65g9Be[bߚmǫGﰁ+ Cw;_b4WZ VHm9kDpɝkcԁbdyƏH syEzg)1ݧZIᰠ\%ŗƀ߆+x6&]X"1OT Sj丷a>Cd*kXW¿DU=$CvX >_7fj<@ 9?4UÖo}ɡH'}hb`WDӂ"F+fpxC' ء,'FO^Vɪ\~:ssC hi%Z (*vQ Ӌe3{{1Z@!Rqb^~9ݛr>]/HdiU^Y+y}YȄ*K&ߩf`ጎFKLyrͯg >g-/8$BрX7 N8J%U:K$J yw|R3r[M) s62nnx>*P2l>ai?t/R) 6VLWon595U݉׊uY|NyVz|$\ń 5.< ⎏z]d7%qrKmeð )S&Qq l(E*h5rYgTMMmb;%D[kH4xeIkq0kuƮG#3C0= dj4_cL`h,t!!`ﲏt.XT~+-w19S9 g-t3xАaqR3vξ"hpHXsAwHUx)^`aQ"]G_H 꺗$;5sZ5awޅB)/+7 ڶ徻VyYnv/VوR(,};g7gSAM% G )@3 L2>aFi5JQ&eDsLs{i?7Gcd!Ic&nV &I([wlRِrŨHz ^'eMIp"{ L&%XOC CB*?N`42pBE?dk` ;3fLw<O&\uG)$ jKXl\\U6̔U"^F\F`'R[=O.mLS@C!S+lCr ~,sWL"%%aJ4g|X;TTR ~"&J^+w玾_sMw:^?Mvl-GO+wf0I ѕ()hBg㡁I&s5j=`+W1SBE mq%e`_ٺס|'8Ј\VE'(>?hVP|yH rO <8q役@ kA,"f5mzF l#mijBHm ;-mWe=z$#y3i\`<4:ŧ=[ǜWWهmU,n'~FGeO,b~U{'z\ 1\˅g v[&X32ܺ3@4t1 /=3qhGeQӄk)) q/5Afg{wH:\O@C4Cc`{A5~򀆍O>LN8_y=`x\;2߲%* mg8ΩMj99B`6CӲٖi [xle!+ o"`g 0k6e>WɼzP@*"I;7~L:=;8!BÑ[jwY࿌VP@`D[ Ő}-!5CgzF30 fcb3.v*EI4Hn4OnoK)n6>[—\z=B]#q$@[H$ؔϣh}:{DMqf쾙561tETQ1o#.Qagp~Zh4Jq2ڈ:ꆒIYW-@YTL.45TYu*7i؈2#1hAd-8IOc@0c+W:U1O^:iGWG6=!ٮ>'vy%{7F{/W.owAYm㹸{ALs]A ^հ-2g0> yCOk֧:(v;$|̪VNl0m|CdN:n4,_6>G< }>v)m[ 5<*Uξ$o;8Vef Yx&G:gqgZG&53.db *^\dsl0XQɝ *cE5P/'|p6Ӓ \xqVJka:U_.쪿Rc-+rgێbsl*˟_AtD[jAk)?KD mk2œ3Pp:{RÕ`**fjљ3TWZ#5B:}Q(vLU4UA?^T:NVzXNl/꩛)& G-=j:@tM͌dS +:]\}y'c\}`JԸ;m[6@YT,𸱛g! qv\!e",|(/ʱOc2qXYƥkޫ[ڨȑ r/M"d3ؐ% IH I5u{,Ҁذe}X2wO0լ8+\U,*dm=ʹs4{4I'XiV ww[IBeQyjq%!&9uB#w/17߫xvVuދ+Pm=/8;ڻ]).Rh+gEZ^.}S(7|&5u9w"Wg 4bhIb(g78rj^{ 2dXsO, r^o {؜ ˆJLмOD}"HEb6qyoy?7@?G)aR[T,"2QYLiIW%0dmYE#K. Ba H1Oƙ}@!mcxlEpO D.JѝASӣ?BΒ8nE&q8~,=o>It֧C3Tqjk/N1RPW4y ^7uJ$/ȢFTG,HR/0VZ,u,z_EsȗG3 k@ Rr6Ғb}$\K*z!A,B;TS͑(LU1zL溧3XIm\4-cPbEџ:WX%},-~7 ɬP,r/y<>I&1+<7t@`jV*ˢ.0~ym5^>iVی?QsLݠ6`WRJyw6 Q/q03 FaPVl+vג<6LVaxY&D g0"\EW,3HD-8w&Nl!o>t^RBO=$'ĔRψ:`MzZ@JuOIH2P `"}pLdi E]/Tǚ0@ב>FZ"~"4:cZ<'ѬU\&uF* aHcP(lY6)NBԨjW%7`1fQITL-Ej~YClφĊFQ@HD=a;"2W`'Ji ik\ ʑe ,h|'&rGsy(^ccgCS=8>&W#ZwH݋3On52_tH,jo;b@} mpecFh'jyسNN !嶰(eM, N dK&V?'Tq W {0A V Xt9aP꘎9-4Au|@+1/E rR mQ0t) V lK*g?;?x?_Jf8~yBWpn :L.X!U3,5j.5lb$V hXx:6a40]oqq%a,ⱳ+l J %KgGG4%ГM19=XXr;0;.S%0z}K(us_}5n2?tezm^Gy=4|!#8ҘBbJD*2Ɗ7\[2+uvaG9Fd[AEzAvrZCY5Z3)tMg̛R 75" AįAs1ea.]nIqF9b{ڪ)wNjevU-PN>#ZC1:Cvv9]j9&pSSduҸEjuo uIMP2pJ']:E?~䩬 U׾ 3&N4/8McTbiaU_\v_#M \qٖf% ϊˑ`[+eal+6QQ>AƁmo庚œ%]m cw*QLޥGMbrfPkZ"RփTzU BF2T w Fp&bY?XPݥcϔWqJdR? J9Ue:~  KNeOJ?pHhT%ڐsf=օ2P=;r&5B?&֡,yu$';!?S>;kx^6eѷI]>Wțó)7؃'DCǖ?h]ުd(яd8MKk:_xouӬIkZ P >eInZɾvdJd֕ %G };R(wIk/eq}ů6vq\r_1(f"|q$mB0L vuv;khtpH`PVgJ Z1}rN\DEeMk:K+ߎ~ ບ+kŀ>2e) (G #խ 'bB ]FIdu%&3=bpO )MN%|A('nyAk8IY:}&U,TT])$| *h4>n(LL2=vjzrW(֔GCR`Wжʻ:w,7TB[r+o,UԵTL6>N5:m.gnȗ ځc 8"۾zjE9p8#B0t8G육3Gj:I{/zQfpV$-s"f!@mȋ-S;xs+Mz 'OZE"8A~ r3}2EsduJ >0~#b(TbP |Op98B=z! }i(J=hn݀-鋻V890mTZalx1@hW3Ӭ"l ྜZQW:Β{+sDMLڞtsRROZ9* ](AEM@Ōη:-mAto˩!D6ueFf1% ußfTQt~l#L5w D@apRaLUWg߆ӦoNEhZNdvQun:pg3vbximgQqz${p5u6'#8Tfsq;/d\;wnA<=&?DUo"#𰦙ǂ>-HۃmI#OHӔq{xr+ɉ`p IO~15˦-=7Ir03z([XCU&B~^t[Q{W1T r؊\lfa EY^&9|d%|͗D,#84&?<#`62f1/gCu U{tb;clK綣x &yOAQXU@I䐙ŞtU/FěCFZUKՓM9.P'I6MaW:˶ʖ6 7@^ֿ:6 0{-"u$=-ҵobqx 6 h]v`B*VVM Rɧ<,Km3Á*H,-K9TJbҴ*,~bֳf>ʤ1ht9JSoS-gYZ7e\W}Aou\KӁ9{ϔ%!zgQOW<FEEȗ5gLu.Ws>nㅋdzG7pCu b)qfP9q4e Vo-Tz'NdW 򖭼{@a']ҧ^mԪ%O# fc&!1gzt>o=UV b Zyps5{z&te{0qV Uʀ@Ӣ :t:'Gaz`1pvg\#5}6I{6`zYLfQ"/ɰM9H-up!j,{a}rХv1ܨ`GsnV䮸3!%.]Ӹ duҙ<= 3P+`3e<+!,\56o=< 2Ro6&#t*Y B%O{ ޖneegt2CʲB B61ձ{6姓9\m߯[;C;c1wacd_ zvDYoPPMPᥔ+5.ﲹla> %@d2sV}9{rl=".. I NgO[ü!㉔r)%-]zGCx_U#E ]b"cPmF@fg{Dyd0şm 6 lZ1>s>[^b&&9>-_Of&ޫGC@?Us&M@vU[7kC-q"Ĉ&Kq..ք,T׃C)D8ZQd Qcl*YrV_spu 0Ib:/TXD+ 956 {N|whawKC}š@¿u!,.Qj୥$3ؘ!SElv5eaGYP}qx~.h)=, c2GO=9ۼ8ވd]si5D3$Τo+ (iJ4Y%|x5;._ C %wѳ7Of֌ 9٨-Sc$.ա4 H' S,PTL 5d{ V=. OSxCd8P]n? FJocT4h<&X8CM0hd Q b]N\}Pͯ=pzuH]x\;?xgw^4G|n ibwui@0ϓMKyz˜ryIľiʨ" {XzyNtQ )MzQmύW_:tF{!,W`S&A5O"¼z Is: gY@gc2܈6l->Dn;|=GO2=-Dwi~DEO6XDY8z}B I64e`CDt$BPC @9%!%yt5`˾VYܰ-}ضd'4vFYu8xZӶZqշk5/ r{\cTg^ F$K7\U,~1S,)ㄹtSʠ\/J\n-!VE1Ɍݮ8XVT%]י Z.SuK֑H3A.ۘ`#V}G(K3+ 38HG{(,E G(Ix|BeqD}ދ \Qʌo˲S(~]4[:6%U#ɉkA NJnzWbjSY.P%1==g3㟳W7Z6|2$&*t ЋW^q"3Jqb?F [5 HYgm`"1lQ:SDIgE5 D ~j0jg Wߝk}fc@+ #?vVVZܜS|)shҶHCٞ& H_׿Y1d]w"ʼjc YGxIzG?+s̔=9Q2#T=rXk1s!/S)8_-)MMapN[.:HuM(#+#u:VXvh|<l’T"a# ټ_Y2zDzAMR梏(ȪfzbeJGh~}iQmQFbե>$&p i]XNGlEv# 1 co<* dYZ0VQozF_42Y͐h~C!3 >YFF!ao-8$%J1QV1.IkoNe=PfS8$k!.jC)&͓?'A}vɡH_&yv&$E k-\臜YL( >)|[]Ŕ"1ZYFa,%|# Lk2 ?oőYPJRLctV0DR!ߔ~tL>޾c~ߺο҅gBV"X{ \u >!{E1{;RR(=P&rϐq?- Z9uOr7,wC4FR 2>?\8 'k g?wUpg(&B8A&'*=Ge,}r_;-`6k8킠) ;HZ/|o ـMJd۩塩McC%?Ӝ$hҵY*'bԘeW" 'Gm[݀y|.`~kc {W V6y >2K!m& 5B1nYEGb&ϪgKj uKs9,4$4XZ"I5~~xxe5 H-Fj 喋(۝6٘ٗ/3edl?â³ndՙ8$.+`OM*`sl JP]}єb@[^ޅYrKdtTvѨӖ>iT)h:zinl[SwpC?pzĻ3&w5TE9u˳H+R1:M=͈`",Xe_;G35E퇝#5HCSz5zBor/NB#?MLa!jdhfC"Z}ϱ7؈(Pa@=nTFrA)`2)%<JT( ? a+B+pޞ\1 Y& K *^XT)"_eNL=Z2v0털f2w+ >g&yk,RGYs`@g.QzGk-s1aGj듲4Cmj=硗wBo#h.n}F ٍ=T䑛y妐ze K+^$^:c: aňJR2<*$tK7w8Hs>A1w4Dz b]p<:+ y1Z/GW,hMF@, 'E)FHyLԎNY2Jx yg{"-g*4F.X:b% $ _f i3-fR1zHPr8鶉Ζv(UzY[' -t*^՘r qc(=-1VVQ<[Qmb>f]RX@Zhe8F98mÊ9A+M6+QS8Ce(u6z8<Wsl Li4㛡^(oPAXf 8㾢Z oܝ8N>LpBM49\B{:ɷNτ! A _zzbWgKGn";P3r.q'җ]y6{_@8c  #B5مDۚgҊ 'A-Dm=qf5BUҤ%A8ʕ]P.fs^XzU5 [rD<>VRߞb0:?r?ُ6\j,4֡8=VX\;^oYE剖VJ}_c12-3±<Ѐ֍P_#XͮE߁ rxQq#ڥvg+Fji۹u+9!s_M:q[=h˻07sPbh^^Bw`C[}·*T888llO$+1 w1,<ԺӇ={+;ET#-FoNL=?M1:Q<+::Uc& ؜10r >22kj(/K5o&kx[r3E&c?n-A1rn ЙiG)zn&Lkl,pC9g$-is +$ey֐z9{7S-4C)+QnSj(OZb$/>; i$-4m<ر(,XjN 5g D=]`)a(EQzup[v'P%VF+lzRƯ:JmCd0@|B8iY+`DPivνCНNB]S#`O&uQ4W* De|\j;AM!ޮ;ѺHo'3.7#܎B7KߡWU nˌr32f4%2l%R7|n.?@f(o bGlKd?qCꇔ8o`3ZyZi;:mL2x ? m$c*kY|(:p ?BxYy('JJލf0STYQ[}i84%+;}egڙ+81,{%bmoTЌƶķ eKamurpM>(1 A;3Q(b7 9yQ+rA8cwWjzUf޽fgY xɮ OY6"U5GN1a ndZB*Ee/#<.Z ZoD "ja*&bF8wOfm2wGyQ9jG6*P||P`EI2-f% m{ B^ }zDזOp>V|2 S <}">G-CW<Nj@zȆezm6?^ <^>,gq-2P^ͼQtጞsI @֡a&(o>B.@7g;Q Qڈ +Z-Ǚ#K- V`Ӑ[*&r}F=X$!(wV=jg)?Bw]|r5QG6:^KuM>.?m;ؑ _#;/^fzp=UӀz;硯= %B嚩p,_vW8Hnu+]ܚ1o/9#:q%r=kĽ/aP봉Loi]RIimDzt3E>uQݬAk¢VO.#KeAbĚԧ~QcCur{ۉ]2K\ K{L&5eۮMjc?lB}L)4 %5]"Ǯۼ%1NIz#24=a^M-H)i~#ai.a r4t872vY-a|r6TdFٟ]-GNI6OR x/W4(ܶ%OΧ[ǂ2G!eےMg"c ~_%haHeڠQA]`@3w; Rvp5 B0& O^grRQ[,Wljj9c:)7߻B$^aԶ[}Š̾mk?Y.3O,$4R*#%RF2]Ri\^D迒hpBQlb&cvy|dӀ5m}]hҎ"Y.yM: wb-ϹgZnXe}s^IP_EJ/JwYk/SGejt]+^@ J;Px ܤOΕEyDM0TEE;8}+0pV?(R|ccw /Rf+I0(2F۳ˏ)]3|E$Y_e1⁁M/ZtEP-ăfO;:]詣 cljpv״&(_X>-`Jخ uJK+4N%C*;5IjT2斡$ȿc:μ+hs"Nޑg -|cH#*3Nz^X$L eRy3L%qm #,0VZ@*g5lZ엙q>\H no¥E?`51\DPS\k}U]5(\8#1-L>+G[d`5c}kTm(Ɔk+7<6#G|#H?Kb"D8,`@Yd w7OBa{Z:!9 (/'RZ9AB`WL 39ܭt{p> slv␆bVgϓw9u +l3<`,@Bvwy*NiʊŠ"H$~/L.ZJmz'"3\P)D L/oX†-sk}&ԧr 2}`9)fV,!LK,WV0$f0 gL/ʆ=tZbq#[R/2j SYq狌ګk77O 551-!1!-d[V}u,̎?*:>rmT:GXQTfgwh|1x7M(6c-7y!*]! ,`7|INi_|2MtS_ x&d^I#K~,vjWR!ҁb (ir8ybaK[N[L?4UȢ':﷬65^XĨkiUrng?."S8U2nPrcRz%/B 54>O-$H :P8S]S$͑m z&f9]㙧~wGo}P=VH/)^9i9Wat>X 6@5ݙۘs1NT EwJy(_"룯6 2\!>b -6-Ahh[2=O`O APy0-ON yGkX-Բ-A&NFSxLepn7d^ GSb+9vB/Aب;dmiLm5eA*߈*W Q5[CU$1W1'̶F~w3dqPwT&/,! Cn~ől"rĄL9a{"N?z4u0oa%P5';yؗ|,Hw-Oz*GՓo,>@.iB+9.̫ |/k8B(6& ;UF5ұզ~W&]2'<wy-1Se0&fhr<ޓN׌Gɛy!Ɂ=>/jC 6pb8}Z}܂'Kݺ//ށrgPufG*RzU+nkt~_#ꍞBKSc_p&rYQ.W!Z։I75jua׶: D~$^ݷ-AM. dn`((]j1 ^GB+2r%oQjm;0ld{`vLĂ ,+Z$T/:A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id11234/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! NA]·Iq n[:|&[zA֭0RGcI$dNEEw>x#A/86 qY+ acJ'psXx|R<7a~T9=cJF Ie*,,3BEtt c#h :YΏx=@;¹a <_'WT1"7$}V+]j`?9qʳR<4G9L +.lyն ph`~N.S͇kZyJ.elL\HFbi_˩;ԵjG Ͳ=WY7?Z^O~^COVNU½ALiEU_K,['q<6(Uxϖh9$әm0m{9>-Ic0i֐8蛉ўh,|=0֛sz%y9n2^2'HkW05~[I&XN6Ҹ5 3Q4߭I8jaJ{H \^c'> ՚3KW (IMŅu-.mU\J>yY Gȷ「b{&ݶ38]h _,e~^Ny;#e1c4$[.oc-:_}V_n aYfcb ׵KVy`^+/6/`vthS~Bi+mlM@ ;j],J7^D9njG$c&>RF划O>HA ;JDoД ,u +LDKq.Np>+(z%1͉&vwѰJ:9x_%,JǙ DRV s3nKf|`xi }(]F\2Z`C%|0xy+?#!(SIzMȂڝӼgYZ;79P;9 NeMlf k8WIx}C,H_Mt8>bi E!ļnM`W6+wIֽ\n A"Pǿx**޵S'-m| JE!͏N+ ^ɤ .YO-Ho{|עGUQn踉wv!tfKJ`b i7=iϊ Ndvz4$.]ဨ FT(ϓ:9 Jgq R#:Hy5Qt^u09YϲՙjZ3cTJve'V tgmFp<ऊg OQsv^zdΤ5mswWxkϣ < Wc"0]SF샍b,ܙQ}L.5mv!&-6S4>ELoέN"3m-.?JL!* 6-Nct}/@ ad|6h/G=e{I-CU)/B=wXw`F,FxCQ]ёס9 )2zeZ'CLJh.U1C=NBn̪MGUsŵ)Z. x,8h_ KWF{$)z-5>KGYV 5[B*Kو4!9NHcv(:Yع @۟KJ|2>\u"JѢØs\COIeo-"`> 5|Pne"QӬⰆ';c0tU/V*EDG7 E%%ҥIQc:Vy  ڢ&/8,}"y;A?SŔ,]O.ΒG:]\}oFXsV씯JVSc0MLtZۭ_3߳C (ߣWCM¹H :(~EK/閣򆼗݅[q I[vQ9*(gQOg=>-(鬆d,ys@1B0<{LlY\zhŞp殺(ƫ=Leԛ䘊)VUjN0neȤ$߻;9*r(0H=ˌZ]Fu̳oz‘WXzt00 reHS3\OI=űBٻ)q2ZoAv|M#D9"ɹc2i,CM0̫;͎E^[#Ics\ "Bkpl-U{T%:/ve}(U^y)~4-.ToYV>~+v更&gUq1%M{xM E9oC4ryǟVThR _!4khĂK;(x_6k}r (4煱mU_wl{)dWοPpѝYP{e2,aƗCAe 2@9^Z%|C-ўCJiM ήO'JTxMuaNBӸ_9Q~V=}MeNgF7J9Ҡa5v]vS$%r7Jn<у|g&f=08v(rT̓k0]Ɔ]k!vMVOH,k Y(!I @h*8)8T d{a ݿctZ[&[rSBγYj!)Zhpzl oaTZg"T"Vpo}K/=t3RqQOB'.wx:"T ,1( }k_n`ɗ4I$TAM62zOdhCODW\{3l $Ps=ΐ?b ᇄpQ?;CU  ɯ~7ik}DB\/;B~hHh=b2d?Azh쭍-he5!/Ћl3Ԩ춌̅OUK6)LA$DTSn5Hi(r|G3sLI7p]9j]u7!ӧ)OdfDf K ![ĩU JtGXbҫ:FUNwʄ׌l\xZpޓU$1U::W]{?%Fl Bs. z+CmF_0$,a:x^{y6CquUZ*)s^Uua c۹*cV7#BwxQ4$mN/~A?,: h$;dUq ibH> ۩;\͈n[I i`$ YQ[VkH'9ٖ,0R +>5)P3xEIc-}V)_"Ҙ.`S. *Lz7vWe l℺&zA]x/To286=n͇=I}$NA\Q R qjYJ2'zn/Rnp& lP}[iH2[E!Li=^ 8\d,ɓ g7AKSQlf%VI{,?0տ3 ^]Ҹw CԮE9vr_oK]rNJ:ՙʝ ?.Qܧlv!>3؏vM3d?QN&Ҡ9TvpWa(fLH@Xgi QT1|P8|!Dnzd3"5UbkDb7 {@%,~,&0N+8g>̢IIRIopN&?Ro)ñ%A|KC'VzˏXm% NY e5QޟCz]q_%) k-d=y{5ވNP5&}/Sy)C>r$a=&]y NJ6Zj 77ŻeH+vB}n+'  }ɞgnnvg%Ms^4rD4@Q @i2%GLG̕aϷf?kQrlSRO{1/s=Xl}0 HŰ@kLEOi rBRO-m^FG^1vL5!ݹ <"T'{ U㗠.SE^ᴬ*#JGXguqS }wV ifZRQռOWnv^io!@MmG:S3("~Hx[}3 nUޞ0S/wz~#Sa#\z`ƀOR&v-.1 x}tI |?E!?Xhf}m+Icm)BiUQW_M_ʖO;'-igcl-11b0ulxQgYH3Y ;O쵃I1ʢ:Rb9rsw޻aau [ċY^A-GFSTbr`uQbACc(lۢq-[l`%hSO5+D _ ŇC"f4Se<~˙Ӭ ajYZrUZ{-S~Z\)lJ=ʵZPψr ,QuAo'O-=)>|R^zPuCϵ3ѻpthcƕhIPZuDwTw}Vsaû-UT@t| jVz2aR L/M nrd" {=H vk(qq_S}s5Qsɤ 0@3,)0g $/̖|^dׇW 0-@țiUgsD4b 2D0rl޾9I>U!d+fo2Da6R2%R6B'鿀{;mm ݷֲ:*{jT8JTipϒGAClYBD&D:&E?hD mC,]IqV $jcM B%ȐATbM3`% 3a .} BGUk?gp"ϕ' ;sT6W`Cw\Щa($]9>7!p-O?00ަSL߭$edX{ы;3g})0^Ǝ,3reLT=…YYl9źyr*jo!Lp؟0!w e2Q<=U9 8#MqOjux/NF 'KzOH 5&UF$@3,pïO'(kjhN^ - Ϲ"]ìQ4~ZQq ,gD&4ޤ[°v D&.܈S*(#gbuN\^zD/tJ)\1[?н|cd$s0V3 vʷտgjXF'K<_ź1pDf"c 7]K&@4|cB p*Xw?v<MU $~N5ΥUWcB?:BŽ(S}BvT5 N%<)iU.re ƀS,?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+܊=I'TOfcvAٝA5Rh K\mFz0,94McyQ' ie\kNXILBYSSy`Nbֺ!OG$X7&ܰ3vv aYdqADjF[>3$C^oWc5^jC꽩S{apģ?H+Kg=pVHyBIL:$t/DSxS0Ne  ~>0`TZ[(<&*URoA9꣔ar@κ 3.T ywXfaF%Ìp?CazxUz'D B1GCSuI8ħGBzw 75+zPh| PaaSaT$VWUG8cDO|%0< `0FeocC(/w.bdF{*0a8G B}0a r;d# [a'Ÿ3U :߰%bKiysYJ@0QG:Y*x":H1Ŷ)^dBV\@讉.~xJB CBqo[jμdE*NB)I-S4կZ ߺ}61N@1=kWLXjQrX46a1c¿`jʇH0^YuP~c}=-g5#q!#ߒ`x5r!$pxiMR-"ԁ'PI͵?aOx4f| 9҃Eo/Ii]&P Ϳ?jTӦ/ZA.ڎiO3Ŋ\աm랼$>e*b\EJ* 'ߒ1:{ XÝ \.N { uC7bES/٢?^HX+mɞ<%類fCif30N(i߼G ppuǻ(fbNEĐX^oeu!t/wb?Ynp \=8*t $>:cb8_2ch#Rl@wDLW+) 73XG2p)(o6E 3Hl&hmh0Ⱦg^q / lFX'p4/t^;wOpiR+W"TQKs iKJ+sEE4!,}Q] -2Ϝk.JhsBc}\bCNX~+Ht CKOqrhR}Qlؐ* ~)$mAn-l3{j?j"m*PDkCic-[z<;DEZf+)vnLkG3URH5=PiѠ  ꣜C`AwnݯXst"Po<]d8):9E g[@i롥V1߲]Bup%%6}&z U_VD (_L8,BN/PFIt0#[| h*uJ MgLZ[4˼3Mu``D.blMڞֈxLćMG"V#5f>nY?TR:~//_rPG&8'u8į7z2k)#DEԯD@?*5DE_ HC4[BFiXE]v2%D.5FP$[+WdNkzajNI㜼r> SՒ^5/#b=sEA'7)'_e,ލ屧VHҮowgų v̟R,Ke-)`5zPݲF\"NjMCj48Y*溘bfPOQ YcS%ysR"{%o5t̂!>{ ݝ7R3> W"OBin=Y{խQof/!}݉@qjр{)hꛩSyy#AEijr"G"6L=O/03O*OC K#S?rA$Tܷ6 w볚 "sWuͿ)ءZ;:YE%IVo;`|RD8>=Pp=/HAr"Rlqtre%3\Ӊ7 G8Cm&?!@9")<0@&J-_EJu62r-JY/ȭ;|_,݉TnK˥gN>iwp cB_Y"X3{F>qvٷa88Gyvnl{j `<;_-0/Szj.k2$c~W/F,ҧ+oLn̾OLnB(eYcj-`'($4kAL|f_$wҍ`G>Qxdbg1|`lEnSP˜DPᩪfe_iE[s'9d?9צT3j'Y ޣ)®F6s;sZhǸ"-m∛:FnkD$>kZ,$DYsq[.?ob2p t;=Ѝ"N$#(6#8$$aiK-Bɬ$oz'V>= O񔉱gYZ ;+# y&شІӑƑIe?4BXp.wޘIAo~_F+_1 ys():WBe0$YF^ &^6!h:R㩻8.&ۑ٣u\+ya]>b ҫE;7󸶞*:2"cڹ1/3B )MB>nAD>b|K&iӃaK/&vigͧ*l@/)esyLFG᲌ZpʡOBKdSm Kߝm?8~{X*M"wJk!Wֹq1֖ya3? .q6]O U5Ӥ/I}Q$SLȶ,(`AoO zs+}zOP(:CL|7G0q1T 4hwaR1jI75{ҦHef̒ F1ݴ8}9/t45.k?eAIStR4V f۝&}^^H7Qr_upq:Jt p\W|AQOg\3*O)ξBBjuv7X? 6y1 _(Jr>153i ܺo*PO5χU qJ"gke)8̵ t"rOtmM@x_250pޑ^4_Lp+b*hEa$Ngv Q{B|:# j¸?s: zlx $IQ xDz@ƈSr]YvW#>RHi`g'{TBLOʹJ+@rNmu\'VR%3L>M43a&t[[sv8Bj1-OQW1%Im_kAݼ âI-ς]o[{wOBKOF\-<`EQ>\)U%HLՅ*<5CN<ٕtMn?77窚̇IM5)/w{H3ng:N7qg_=ϜL&j^>cEeo*8u ypxAN鱞d 䠚>cM'f3 fFq0'yC,8iI".tYb9S dlx jconB*u I(kܕ6*j+pYQ%,jFy;״Ԓ-:`k#ۡFٕ0J쓈^Svd8}j'gIߚS4CM0RIǴva˥mY+Ͼ` AZEi8 PRVb7rRk}-q7ݎGbdwWAK VM=g2hבBN"ߨGFfuCPK9S$3q1Y ) b'_qkb(/V ^% R2,0<οZN+Pp~ãUbGC2羂̪gu{k& *ؑ!<-?YXU>/kjɂuwEe O4%?C»`]"ERrYLS%U b4g 'aQ'˜7+28X 洞>Qs*La_&#h顔#@Gzj'$[:G8( eQ(d]SLT 4!1 Gf8&SFth|5<(3LT򯋺Trk}7bogt2z %MNiDڤ[6Pn~eV̷/M$,5cd$.(bՔ\1^Q:[ RsD<"}p;2%h$HGf5EJ 1,@sֆ̗Cy2y2DO#4ARYٕIDbvi~?I E\D"8\(= yjg^CY˚(ztw.T'j؆DIb!'Ĝ$ VaBqMt *$O~'^H.S5T at DUq HC÷8ayG18#9޶Ky&|3y6޻[Uޙ/*x#hټOgO鸅rx6ݪ Ykwp񅷥:ID:f&Ib7l0DR>LV7|k-/I`)&xI!˱|ŕ #[/pZÒ9pq\K A8)rB5}|娕$|R0wۗv/6Nrvb!_gbVcV7 ̈4;P!9ڂ ߘV6Z-ṕo\[\ $jocF~I>IX ht68=&16.M8GB+EdMnYK֠^*Ȧ`yhinJ$N*4N`Ov"CҰLEMVFfi8,kswp WYP4! .ePMl#(V!,"tAl(YTL۠XK0ǔm8A$/udqOO{/-Uy+$>Z

0`$gGh!b>eLjh=  H  \7C )# $ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&Qn*!%,mܿtDUZG-̔nY?ms"&կyHÒޕiVqn -i1r ȱ6} ZݑT+=_fe7{xkk *QvG!cm:#OĜ *q;oNЦF9& o!fk萲V~Wݡ@~/o k[t`Ql0G02îJGgc9`'WՋs⤕EAǁcln Rس'|-<ǁ+!7 ru_uX;vT6>.  g=$>n4v tZ,'入c1M"rߧGwX- ODk!u+V].rB_ͣvz?n<8 ᝳ2 PmGRQcxx>rZb=S\OSN?θH~&[-sy4_٨w89hGʭMݎ{$Qym 7?ۂ/",H>̏Zuu1x ( 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[:|&[zh ƌǧR>_5dIa2{>rt]13[{Cz68l.O"h,߲2a+^6? 1JDX>wٴE-aHe#bQÅv*V3ܼʸDrQ՘~g[8EJÏ;ޒ77;F 5# XzV~M5TsZjk6ΓG6ZoQ,2#v>,RE?:@lEzL)RCavs- z36)5^y4DLMM\OdF\MJv٪fP \MA9I/npLW~y ڢ%?|=:T']g4RH_qx$z_ i\ޝfDڰ](߼u!go /"Ȗxe\,Z)XrZdR#l#Xj_`TUԸ|oBqvq;ڈ}aS6Efx Eǘx0q>;px0:}~ptt۳o˃ġDq1h;gbCg8{T&]*?0G84-g/Y^bx϶l$|jgwd LB) 9SيOe7WW-4DHa6N@'JVCnw۵|]U(TW9>yƣ2"8RB{5ʷk oԝC>HF%+5P0qweb"088WDHlfͭk)Le43OxedVi\4(o/d&TZ.x Bt|0>K 5YݛDΎUdۈsxtjhUfZ o G<}xV;#|-wɬZT3WgYZ? 7# DZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;4*E1Á-nH~زi uNqEA_Qg(dt8^}kvENh+sqB,mg}# 2$0vplxCK@_. t4HpkSz _u-;gRb@am2WSR;xܔLqcWx MN)ﷸD%$$%&ً y5,!ȄD֥+"7L; &qI7,$b.+hRlT\.tmre=Q+2C^)PcTIWw*{_-*xgP!=>?PNw%Ҭ[ (oU Yg zn@O>7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! G]·Iq n[:|&[zzD>8֠BlG nB~EV6RיĿ%#\y铘.ZW[1ٲGb,V`lԲ49z,CoD@[$_^32#b ~jF8{U{_/60|}(! zR\邎R6N"#G@xb'8T@[Nf x> !ʵ4m~d>!A] SziY q"Fs8\a$psr?&QuBADn nșc`ٵ}O"^5/EY83oF#ʋ&ohُ&Xی A+vGNj˴B!"O( VNtM>{#gk,+KIz5Z^׶)04{),@8zu}v-R{ug|g]\x#8~@y~iutl)1ygr ꒐3U |ϳ"?F0,Z;s*0ގkjdy؆GYUk^uv W),ii$҃h{6 ”0{Jptg.V()o@t=P|&nIYQ?⣉XhǺ+ G:Be[o'|!J8eY3"y0G)HM ڛ#~_FW -Sո5~CW5BmS~UPt!TThb- VKg !. )&Ag f3؄NCŽTYzw)j ;BD cx`aɏYs3`lTB6 !i]pݮ0O(T@_ʝRve!LjB\脤j]wl[/o /U%WYft46u< U<چ9Լo$|<#b} (?إ jCƲ4 \Ikȱƀ193\!ԣy.@f(LxtOLW6HM ]4+D8#^8|T'z8WNLLauH}:U[(~J 2G&x@.YDfu8ϾP9}')ph\\ U+sV"&BI ct [㺝yx<@✋hV_NNjB8B w9<|ws2HVTaf j_(*Z&G(5Np0~gep驘&i靯OU [s,YAfOgΆX}ΜwМ`75L]g5uWq$'% OCx1"At^h9ja-mH%ѢsB(-&*ZD`|mE7VK}՟vw~aO IK}UZ(X')fm l3 ^KRx g%sujy/Ꮵ֚ygr/='HlF) TEBnF/%%^~10!ߴQpȝ{EykioL8(cw0&N5juӕ(3ݡ_gӅ5ƃկAV5/4-;.r: gWb^c.SG5z"Ľ լs:)Cx#\: 4y$ ^q?+j=?<:r|]#N"uSiW#@lnBuEzok6[F\_>ÇAR/* )w?)l\xJ;:?`|rz; Fd)gr]<LR%˿4r^\ a$ OX,W&Xǜ$J݅bsAkѠClZW$H qp-Gy7j~O)#.jgm)Y%8울E􋱏|YK7nl.ur{ b}:x>H D C40|u]!s[zeHşg ⮟CZkGE@}ujZYŲt}tn/rn.X(d`G O*no6$~OL չz#K ±w0A E<1~"nF9 "%,,M$bPz|"*..އ4M۹CjA0-+%I:jy-a꾅Fg:|%|^؈eGI21mis2%5<V & olS!F}iYjn@VBoo#s#YP&t=qc/\BS@~TMKC- =4ߋ3Cw]Zx.ky0%E. UKAM^?@[b< J{ܨ˸z}Ǹ gؓ~>xe~2RE{_0\An\mh8blG"ټraL'`[+zxsch)K:D3'$4M5@%q2})3x lG0B ] 5߸n|6xs˪ *,.ۖsl4z~GJQj_TcG$vp^izvc#5BAwmh@~LрUd߉'TL6Mj3a[)T")]"!Mͧe-B[OKj*r6AU>cVRt'EGmZ>3Q^z3Xݛ:szTe{YR~גzbc>v3e /:L::.ظ\a&‹c~i£O:C—<ީ#Ro2V;wˈփ W /ިvV;Iha]MGE. NV#;xw8$߇λw!Z0;'o؂%o>K\K# +@K/ŽgƲGb*6߬x_ KHJ "&D1%>"PyPr.F 2 J*PaPwh9KZ":Q#4vh|exfK+ICD0 [ӿALi J:M F\QO]|W~(˻!9wmT@ \ߋco3XC2siA f:62~AO?mLmv GYigTv/b`@e6 ECt /䐟˰mi4`Q (.ӯ%p!Ď/zMZZ(5ٰ ~Q:[Kx൏@ A8Pe է~P>?U/y#v xyc#b=jsoe6~W t< m6y(CPL<$X+7-ȣ.o,4-x<@c},Tȸl{6hU I·BۯDE0:clX|RTԾ.^ѕRv3$kjےҗme6zz`5pcHPlR4 ;c/Su"VrѱQkl$ʆ&Q`v?/(Ve݊ng3 S0TA@]݊k &RI@*|AѸ p2`(iQ;5ҮG`fPV{oƈ6lbEEGZlV~SqސnŠAFmwguZ.Եɭo <eOX9Wa0aPwe7d6Az"X簉Btla%LLIENvAK05bM>d!4]>:'A\ (F7mlzvQ)a25,%UL*$"DowD0f3HIAA ,3c`*OgJO2&U4ӛ{s>)`e<--StHkUJ'd&p*o.6d~dM=" +_]֐[¡aV^֪v`?pPDvg(s nxLXp9 ~}~C&WҀ+ -o׃SL2vش~Ħej^:Ptj66U6QElf6f3rā ԪKL^W^X+YOβ[v:S,]dOwWR˘>jf]UƊm;O[3xe]FS̶V"}EoIXK#؝=Qj<[)w _4u># f* kN>ګU+(5H;%f;Cl"'et=埦FP5凹/qMҭo:S BZJŴK0jLҤ8Dl?V_X qRpBǢJpHQvf>E dh3e^3w]%duBOnPe7@(r3_y(A.qK1fKS BoGi8BhjS#C==/ݷ)68{r&_ $#z(9Y +l;JwiqQ77DNNG%bvEof`R~sD.(ysdΐRGA13ks]4_zI;FMj%u.aDؑ5">ծ'ŏ؊x>Ls!!|6h+ R2!ejrLqF!Nnd!(nTdR4(J|!F.1A ڶbvW@J5=؟/=ə̧JC%nHRa1gY0(R&A9R!8kŏ+hxMaT3£':*|Ie2*{wp`~5V0?RLHa|Rɝ# 4@[${Msd_&-q3ᅲz3qπ뚜/Aڞ U]yRZ[QN6gpSd ]ǰa슛J#m|d ]q7mR#g"%,"3,׃"d!06ڰVFjd s<w)LL(h-~Q5N}$퇥V9l$lz{U|z·B5hwࠞ4Sǻb77cxڦ{q Ry1WpOp[`g;K{5Ҁř$e41?;{Ghh"E*wUrؑaAdnH?r$meu%FX,R`eYܿV~2!Kk߭p?g9()i1]\]!jA]Ac_ﳻڋGrJ1K:2r)WP2Z[-)kCX> z%We<Wn)(H&|Mj{AOR"ְңڴ*\Ë i-q V"j!\CAfܷ?$_v_"CM8]p(jn5c0wQ vxoCKR+'z0C;QZsRCH9LEe 4Wc Lwn6ҽ]_D$ uelh,Km?9!-n1zEy«̸d6]ڞ`KjIíg[wjP>7|As;c%)dgyRi$04iƏuz=1rgIU X& ㈀-'al9c Z-8Ll#pd ~+^RK':9Lft!BY2:{!KXzWm/5o WZ;v^-/#z{:0 I+}VF*y7T{ZpEEMӏkS o{]컲fMli *.E(rI8 s}$ˁu"r_>"P ~$.-ϛa05@&6ԍc¸(.9εЂbg▞[{>8p+ S٫}bpӰ?v*BNaXX\l%Due8>kz`pԾzu\<*՛s٬QG`SUBglIM1Hjpmχa`p1)ΟRڀ7ukUǓ0AׅeH3W)8Q\EXwD1-A r;8Z#ož)Br96cYs*OA&$kpl6|t8yծ*mMŧ7}:e hB[:ʥԦ1HV?6wuk9t Kޯ9 -Pڝ遇ܓM49c[),e2Vho O#4𞣷F?z]4_KU&xxsW%j0h|bW|(-@&|G iڿ guNxۥO`-P r.)/J$y+ kUYz'PJXtt&+;o5̑V=m+lzHdq35kbT1f#_ZtdbJO2XB1VT4VeJˌx#2>`'i[a\10)#ަ8;= C{8vRS-{ݝA-u!b١|HΕ{PRp{X# BXR g|Љh`р: (?QWOws+B5&W1LIb&AFFze`?]Yd?+^9Owa,LRv8 jgrK&nq`rZBKDweJmX)bP߃|G8l%T7 gmM>`TV_zc>|7wT)(T>~}594t0 oM}!3U83C8h!Ը}LyD&wУc VA>8-U{!"[$VQ` :aK_PVׅDgβ% 4^ydYriT}X~Do$\exn䊢쫞^lw䩩ed+MVaK˺dN0>ߗ%?eF+<ۀY5iZ7$R:Q .}H(:/\> ;Xqc>8c5\:cJT_`y(QRHH6./m&x:}$Z'7FsD;4Q~(ӄ a 蹏TVɿ>.&37 чJD'Q&F1wc/tOE@@׵-ZOsVemA /*?Oԙ;sTNgU{zAX5 a6O'5|-N]Dy_4B*Zehv#90:\dJ }h-+S]a<|p1fUW"5 یnxPti.,Gv 7lI7Ж.}ln8\~qxm4K)zɝLf$d7~ضέ@<8T9>8|؉쁧y`.UV\T-պ@-': %lJs+@) mũײxwM^VX!>zJ?Vo4B`iT:S㻛hF\Q]Ss cқ=|_ @`_bDǯ/Y]H]J%LL^U]ޏ}DGRŞLXw&Gng`Y\iʀN+"$#H:8wNu.'90lj$gZج()ȋhNʇrkOy-2sA!(<jµ#|F޸px=m^Uq+}h͐gP2Is/tdnhJج G9pĤp ~F1& ƙ%Anu?vaZ90X*AL&Wt,_;;OPWV[ E}j,mVR*iQX|~יNwE4O&-QanS1xFPAHM-ԈdX1!ƛW3b8P{A4&|BZ] \s$`*U+hb }T9~7i NWbF"_n6qqf=23c\hxn8?ܘI;jsQH^OբO}kQz[r Iztm L kwC|WdbugP[㠭+V5z+5{yDmٗѝCzZP7[NfHyoV;Ry!抑 3n5iB[QqwaWCnrMT\0"d24ZZ|F( >ֳc2۵~{\"щ#D8,;"_PS k8EY TMfUЭ<9nUܒO?։&-iKU ggUsP\YIwwT8Y]{7{Ft |3sfq*$: m:^HM:[摗e9yY@똦^PӯrW4J*gy<0*Y%tzXq$k^ܬ/V.8jsm~*uIytL{%a՞\X(b=2a |̴s3G9#ZTq@Nl5>D+ (ڳpXξH4㙁C|faũ*1qvJJ@GTDypٶ֦Yт sa8P9PwQ6S4Wd9!+3]絈0ϋ"4X?T4qT/*)?JK!E;--K^]d|9E7&bfr7s.NC6Ȣb:~MICm]@_H'VI棸rְ#>oaM(rw8tzN-%Z> '^ KqN\P["~Z|޼{w#]ʓ};7ׇo޹pb;:N=`[sKA=Qe!WFQG)jI'kyGgu]0|E+eřm-w KlK̕?Ԧ=- )Ȳ@\b-¥\kPJ&z7~$ A[Cog'w{)+OV+3qR\ Hke~>?V,ߌ }3ˑK(=YO1[ywpwxmQo DgU ~ ]YcG{F`;~9[s߸6g)\tA 0@ HE>2HA}f\A6p~U2<%[vg= q:FAgy S壮DS5o;MΆK]˨@4WkEʇABX˚Ó7y9QPoF ٤i#Ô|h 3IL1#F5]JrHEMw[ճTjm0Io/.J;7 SU~(-b1rYHrޫzQRI~ڛ{DX, bB_֏JL]g=ӞhM&}t?ZgYg;%$~2-ZA""-7iS{7vw!Cb%>D1׵*3Hi"`"v:X/7oh`>{VhJ=#17s!\4#PYŔd/lUl}4-4&k,uJoA@g^;WXhLrBft+/TҐk?hʍ9&~-1E S]fi Gt 5Ymp~^S-F<\連̗1~VUg?Pjnɳ& [~k at,0K7b:G*q$C5"X`1jJo*Q b\ [1V+Ӻ@RxI~N_nzc˨p)?LKbA88&h1njбc2]:&<mn8rvOlJ 'FOb: ƜuOȬ2 d|mU_#a6{#g~6lڹJ4:wOje3okgyow8q-%4d+JѐsurE;BJW`3ݷ'9G9l`0p;0C:*3*b Ԟ}KxQTHvURK`\_{:͕\y5ZJD)9Qk$i69%zͨ'&zeOo幜{cܺ|iM"?2ϒ$PH6 ɻt#i@5O̎>cŋ@/$Kye/! l~~}"dX?Iz2RqrF7t/_LY!$)0#mNCJ7MƳ̕g3?5w5=H ٢1ӧLCihڗDZwFfN/ۡm\__:MJN*~B=噟qpȉ=bgUdS/4N}@#=kBЮ+M׺7LJ7hQ`uz{Puk" NO wHmEςjNr֤`l0>E KᯄZR8 1!- !enpIG\gxJ+J1̓GǷls.26{yvrzɥ M!yl~^&QLl7+Z^"6?n./.uSËȹ2fs[71MR B l|.2з?_Qw9?ќrl-J=5q2>$u&Z45 ."N.u۰I_`{2sΈm,t}Q%FE -E֟¸09=ߨ' $Ůr޳#rFY1)E,uxgYZ r !r?G'!jeNA_2gbgjm>`ԣ mܘfn. *Z2@R Z6#ƝzL)gzxLD[攣Vk2%19T\P? 5'+f\%^I[4́p+ K(q&`\7_C`*9@s+<] S| = ܾ*b>rr d4W?2!tY}7%6e^Xsr:O]G'/*?PUI)G56g/@ l~:]rS3b04H?9,f{E9!i )mn-qq+tu9d-E$2voPjUM0`:r]z7pמ$R),˔C&aӒr같kzyOӭ@Go2She|ߍW+s3!{h^\Ry'feεzgC MGu8~=|mn4#D0)?7M )/f[l  T`nImn`^DWnCipts!)N_f$eO_Q; *jB偡g_>R:a(6yq;dLbpc'Y}rY:#-#p6D^.]n$V-$$z^[j;uX`9[ŽIf4i ?fl+=TV hg\oDi Sِ0*F9pD~&vE7{uӿޚɶK9aCagĢmSC?3^҉lh `B,%!"*9]weH06^zu/qv| y0ЅQ5Sx5?>~Ń'ORMDcw:;FN{ˉ'aHQ<[cRa_ى$q&'@na̾G 7e .Sn6M-Y%ł_0M`rќlt)̷].) V/އt lc[LL\Ez, ndiqUd47'9!wCH6(ٴB漢}-,M*߄B6 $IQךEqsZKTx[fXܿT Yn[˾0pHmO&E |~gYZ NN2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlcaWI'' dZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ_pDm نa\_ 77}3x xKkHy Q_GI`].2+\{.ZV//sCaѦiyAր69tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Η*J#NPsV *}ɟ^T6"6¶ex()+/"vMB9T SkuѸpQ XCRٖw7Z7(-*2: K ?{*xiXpZIްRlo[A  z,NZ~rM9y_;;OBZݴʡ-PdM^M3[̸Av?^@\$j5z݋1r}V '7Ւ x%cAp9KbϞ;dh&?i֓6QbRAkro TFA:Bi ^Ghg }E~ؘU4YpOM!hRcI _(v瘷GzR0}h>  O )3oa5=4\ Ӂ6h)< ~7Ӛf#:W]҈3 J&|ڸtXgKyj.DžaWw7| Ϡ]9"| l-AĹWsǯq;.D{kЊx9 d89$Bri2‹1j&&[GlÌBI~:*bZ}^*TSet%҂}7Yyѷ'iFLK-ZVAE$РK@@MC$Fl_7T +JҭLGVfHme(d~2~8Z`f $0HOX{Bq+ۜ!_DQwQen/`XmsZ ]TF-;jwZ=mKBn 􈃸]d7-0I| g q4IinD S >k`ĪOHW{M%k{U.lb!_F²_VlWCqY;Pz軯99':k}^ 65+V6OD0f X?E.YK(bYX<`Ú ACN7* [G-WzkH ZQx05x Bu-LSH٠)e nl,.DcT.Ym)UxNC*t%Lf%Eݝ_HXrMBΜvi;W';\p ?J>H{}|_Ji-QC :hYMd,/rQD{.v9H[GƹgGQu@zkS12Z|y&bzJ78{=ϕӳ C% D~ւ դP;:OZp):~VMK}]e"1̾;Q+v\C mxDŽȧ7db*IQWs/DՍ nQ%fy%!iZlLD*̹ 9%ܱ+C+Cn%Tc:śnp}V{4[˂Ss3FwTGN Iw!xK׳BxlƢVŤ43!7K)4gH==N2!XIeR%~/lPZp@7-F7  C\ %C$Q%y*Ex5M26Ʋ5DI 8ݗRhn.y-w~mSn6fpEXܶ|q؍99D2gxP|+C9>y Qe<>y$'ifddBIG#eʭ7%7lUƑsVk.=\"M.-G,!oz~ 3.ǫvdfçTY5N8g#Ge@:!N*>^7ɛT-+;Ϩh!Ͼ)?GU[Xו#EuȗP)n3(c:~ru.3r$rh6ytl\6lKy6DScsW[ޠ/H]YVXSyU1:n_VSqnCojSRڽbS;/^OZ'YV?o9`aIO#`o`mB}L1E;sH0zeijUhl q?cx=?Nq-u/ =['=ly.q,ps67EHW z7H ].F(4wqA霶#uG6Uɺ܋~s2\!E|obNᬚ/V;[@ϢY4|BXbeE%b\RbB [1 *քy8(5XC ˔'`Iª0$8DR^D!$i"&Z#5 MCJNzSO!>TFn!˶x%T@ CiF%dM„[@@Cj@I?WuQij{1ߌѐi k:V)UFʬ_8mUF6c6l^BZGu{?%0utXBCI J[Dc6n݉y  ,ȉ$Vш5ݏZNz!­!!{?\n\( >qn .im#.exؾ.*ݿ5V4+lu^u+{6EA < )rcbޡ?kJɅډ xHm?+Ȕx4vJ ~|cB|EZ6|#W:PM)J\r`A$^Z̓yx#q=G @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CRa/8`yW5z/}]XЃ0a'n Քq\{4)C{ 0͂cEJ~v:;C\XM阰ZnxIk%]Iܠw2Κ 89UR2FG4kSFoK槝SH&!)ɾJV#"y?ilZ 74Cz4n7mn o 25nDM Q0~(o-RAZLQ:Q1lwPc\*$ѭkZW g.;vAdd|{]oNvg81$W?]Cɟtb*1qm{eS2,<$ z84y-`ZM?owk7FIDIw"{:1ySWj l蹌"F vYY )p2ˎ饚|zJ!\"T *=WA2:M,H]>Y2eU OlPjEܔm+3 nқC XКd{O@=v 7l & >^vB^mwN3YcIίwTK 5"gAqj.TxޒĦW1ͧn~w[zk ӟc{ғYС[0&lL;IȇDY+uhIVa0 7t@̒.(x*4̹hX_kECi[l?5SA#^?q̀B8`PeT+JDMqsξ:~ FαSf30eV7.T4s q6{} P^d)Z4VbqFݎ|]iNEiY^*$G9[QdTWt]( o}N|}5 +` rTY2p ~@ -{:%-6.c҄N FX1۩G8ò Bh7}# p9dU1r<7}76J<KTB:x۞HWͱߋI,fdq&QْoxOaM<^ iHh_[#6MMoQԺdJƉ3.=U o(L)yB`ta?R:ܹ Ӧ~q; TFCϞb1_@-?Ӊ.8-F VE eYE1tudK2C_c :JL;ѱT^%dWk i폤̳;(}MM۔Ox d8ŀ(VJaO " 7Gmb8S*Ln%B5 L@r 9vҌ)yBS[|#ۻPR$ul?џ`nKī}arzprx^ |7/"ᬽ<1^11ӵԪ2Q٦ec:TcQ1R!FVFmEm :TZ/:"rl۷U+46e8C Cnd$#J[n Z9jc rt4##:=JxЎ5^2tdB|xX;`{T]/$ l8 g"ј(&U<\9Fl+D>5ɕ{z@H4wfV}! G\܆t1gB,yy˪󁫐c S,DD\u3@\{T$@i g@MJ*¨[loAbéV;D'T.dABl(K(_6~4(Cҷ~h_0c0M6:ܯJ[8[PL/B3ffWk25~ϧi0YA7! [ mI%y"1 \z,T}Ljmd'Ҥ|}bc[Iw;$HFN o;ZWWpP H/YCix>c9 #/ΊP6.=ՎLS\''ަly3g5oxsmf E}NZ>3jau- z  b/񃃴U) UFKywj~mlW[04= @jz_ԥ&}8Zoe֜;3!t[Ӌ[/la \{\aahP*e93e ;hK/h|AVwQo1cgv=W _^JWu=Ij'FMMG_F5d=<3@tCq5UbZVFȳVh?j/ڹJbŹlqL)S]Վ6u6* K?4M+\\2`G&dTA4+VTwpQ=y]UJ}I(>lwn+LݠL*6(8$/8}B<6kLu]Q:c,+M*5i~ foyUٷzV{ڝ23,|`.sSK{)3dyF#c";k[AW∦eoe^6p|cc]ޒ"aLll ߤal֖%tl-ągYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 s/0Pd(x}22j"-yyd?wFЪI )nltJn;~ri+]~#ePpة̭nj%~[BK$O0X7LnG%K&{Hb