SQLite format 3@ H.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info yrSM4Ĵ B~xm&PkOh9nϬEf~ ee+Veed h HȅgsDk΍Pb\9 —lM9-VB[GnP /orS^cWe=m霡cI%:{a(VW/ȑ P1qVZWb;+Qc p߄Ȇ2Xj,>|Yz=Tx,~UpP}txzM=tIDq*M5 騰 |6RnlCT;1ȴ DyR67;Lf-F=ߋp>eq*qxQ:477]'9T+ đ=Lxt\e;wk۳2foکX;jQNsAQ( KgAr7^ \n^z5W5GĻ~S%/fyG pQmlD]f,[a~|U0RWlC>s}֌>g6&B^B $R5= €`,Y Ncc"6 ҧ;Ư7bZg͇D sQJ=_=<92o֧@*nbyMx|y5VsΤHҀ VCBMzCp7ゅgYZb57673d65f491fd120365750d0dc1b08057d1435345ae181c538e4194d592676e06efaf9bde7d260 bf311a43332795fbc6429ea9c926277f10177f7151af39624c9f28851a2313d887fbecc4c991b1c8   ZF-Induct~H~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 j/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rGMFKEG@C?;=::793220*.&-+      O* ` b /W@Wq _3S*  /  x O % vM#  h a}O + u J(!9c10+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id617ZF-InductZF-Induct.Multisetdocument/Multiset.tex4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex.)/ZF-InductZF-Induct.Combdocument/Comb.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[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 j/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I  h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb ~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"!gYZ 7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ /5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ 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   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 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?ܗ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 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 f)# 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?<%U̴H%=Hwq/bMޡQmI:]I%E-f9OyX~tA0eۡc-PׂǗd-)Hq[A8)wCzxыA3w،+ !m×SF UXPՠgC~ ߎʏcķy`h*w9Jt!sN4d&e24==2%.YSޙpZW^ VZxfR}|Vx@[xI8M׿73TAIwoObnd~!wA'hk%E,c EE ;0rCcQbX_ L=[ZJ20YMvk [ѫd^JflʜykMu&},Vg,QE_%$50O YX^EyFGs)aA|ҌG{~OqjG%V"W1%tb }t3tTyq ƺK阃oq_o>1\ :!4]S4oo# 5T_A(Θ$gs˖ a&+V_Ng!dj}& mv% a_ʸX4_t~$V0W#ZnS\-<ϕm3_| ܃I*8ê[ڈ.I=9jOmzeLج4KGwD 2xs҉6ZU\W> HGCzIEng",A0qm|q^~\,(I.4!wIs!t8xD4?/Sig,4p|Y"NŊ!WYޗ\I8 & /4n|Ί F>:LFVW1+jϬr#UŅ p4_Nq=O$=!eF9I~dj~z:ǃ+}O*1V%b;IP3˟aZP 53cN @|\SMʕ涆nly$+Iu3r @RE_-P.̍<8JzI U\ix:92FAʞؔLdޓt盙,:2b#H#m(64Ҥ*;|VMկn6"f'C/Pп?١ԯCGRb@f{d. O{O/QiA3J6Ó*.•V3I|^R<ϛ6n9 -վs^cv$cc`SznqGf=PT(n,5Lb`UWq_Fo+toayWQlv3$yQ2uQŻ-XյTvt ` ID22~0t}c=^ ]zcY-a%%t$Ѻ 5)hm@ӸQgl3#y+JKfiQ r+eQ7qksV2+,Tkت7;c)fw$A3 /?ˉj`K6] -iR7F]Pz7⥘J m ͟X8F/k6I۽˔݉,vr[z3]ڦADӾ~ſ-~X(=D/2)i9$:"YiR[NUMsDDY87~H1t8}%TL勇KSpgL5=,Ph%vN387d>uLg'qh : @X._t$T؟%'ů}:NK>]O/K}rj/dGdCޓWsXިKvxi.5+`6 EB%Bk]6f^!\$zĵ 8,w6oT!?FJ4~"{@8~kXiK,zROI;sPjk)@_@t }{=c |ֱgYZ  f MC 1# 4ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! ҢS]ˠ)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λͼ#ZR+ ~F~똗W J^XmysH10:}W,x:>AOgӓ%jުsl!"H#zEhZY.Yi}ba6dڐ>׽=PH[#v55A)%5S#Εv| +SgnYd@.v4Brv fӻ# Sq!..WoZE`\,G4 Ǐ<ff_̼۫QZM],@UxE/X f,0QsP?qnYgȔ /A{n[hq3R-x_, rO9jY!I1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson3/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[zIw3O21r 6k;CJRaSc~. Df'*I'%4 5mU'4o'`֦Mf㠔Zj@IA-D۽Xe,b ]pA2=A73]I.YxNUV>cob4ICy0<l>\[3&u}-2L;lPis| bݗ$1sG+i~`>J ~$2:Łar"8# g*N*}KeH?Ic4nt9^U!]4+II3 =5$~SH6]pkgm֎?XgjT XLl?{.ǟހ*W FP#+ȓ#V#:-o&(irD_hym][j glS~ e(l4 psgs!uڗ}Wwمs}4|9_`OXA1L WŘ?QNm-l&S6Ggy[":y]R弞IYZJHL+nȍƴg xf0ʄKߒSii3?O0V=ަI/b51}>ʹD{+4*%/gYZ  /# DZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 2]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9'pB09\I!IE<ꞛ={,5ўwjǙC)RޱPˀF~ác#_%g{'c, bCo|`wV7jVTƮa$ռ*\:ܲ@ ^mg,zED:}3vsZBz[GV:[ #M-jHQit# W-;*ΖKR7'P+M%%⮁vOH!5f("0GVc/tÆBsŃhM@yUgBWc"K),$@fTnl$36+73 oѤ?U˥r\ B\@/eI}jːCG/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' dZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}و~bkt4dp<7̊?܉J|v#FT; 07!{pVqi<tA Xb,=WG:Ԇ|(S8?,D ڔ FXE;'kDKJI{)O\.YsDVL˹E'Ï`h]F!u>mbt:ȊB+~ S``p/wrM|%8-y-Eƴ m1j1a2 TaV̻ Q 8pjZnH~W?Q"XE4R֒|(7G=\lƨ##0YE6./WWPnme0`8x`pz:f3JH9bzbQ.2W5Kx>Rl*tN|t#O՗7/Ǩ w{o@i>~9Ti@󐅈 (ubZVʎYR{ +ڒ|Jl>b>>/9϶ż'Oe? LodHsjDЮַTMjN21-W,]{ h xz !P~"wyv>k>=gG!(NH6(j)$ gYZgčzg4@ss_{C~ҦqTKUףGQß'z,פtŕ:V ^&7>R`]fS})wrN A3 /C6 x=]ToԼ"޾O+_.OM05z.L 1c;mF sp׶y'k/l{q:FSkW'LLA20p#FwId>O-D":~fw$w7?Ήv,gxX!`dpqSP?nO?+(8!ʖZQJo@LR㴘€˘% O$ ;:HĻ j-Q_'(zޡ<Fc9t$v32D k3D5=]ECӴOswjXsoI+O5ׯt4zZޗqJ\ * 7s/-ϯ42͓a,E. 6l‚qqSB2f1ȸK ē~_8-e.y* 8Sq d>C,O.>x; έj+{3XgtcZ1]R,-rߍ-A *JNױ? ?d*a;PJG*揈3[1ߜdH=WPcJVo]l7^3w2sW_~fln4u C[ [{O m(ĊC^9߇;Ts|ba"LQo}lWf/CxtWWP\{ հ=6NVoF_,е#f(:srTyAUH+Z8ހP0zGSFW8=֭V\~n7hK)RP>gfs Eu`ӐV,2ʓ2)ǐe6q 4U!XkO%C8lnS}vY/>\ihn/%`G ^tlL3_Hn;Yь>"@!~ހy_q]XO{QڍYx濫%D#B э]섎 l;SDnq8n@cGp^G5_HPs;Sy3ɒް烀KF:K$l 1^VLQl%>]nY$`Jgapė}6:Ğ^qASpdux 8Fqw|Z~Ljs^LZC |#?I_eD{7/]R8$Ѿ*NgFa.=;A״_ O#AvϧQ8@sxLB>nnà?b>f'jysIXы˴r-^OnOmW>zkH^V6?VԖfMBkvzo%Pks MvhI)uÈp{Syw*pH I4L$},w9q8+$BG'lS)yk:Νo28Y0FArR ^,p*k) r\)לQE2_l bt%ʩ mg/ ǛI a"Zu[[VwGVŧ?B.Z:VeLAU[Qdns |:F7ʾ'ǝj)PK8rRDR)xu[5χX|XzRҊR8=s{fR#{=0[ƚAOٸoLIAĀbA鑵OF_0 Z!uqgw :ȟ;5J^2R ᳇Kה^\ r}|q1~^P.r %y]ڏKz(^7f8RLf=ߑB>wkBz?Qn,Jߗ>%|6U_EW]VmkB,%_ {]9aFD[OFϭS+yx!Ϩ]^,)ANPJX_|vqc_tݳ(_.ȧUhN׏HWZÈ>[AS}|[Z+˻w p_x-5 R fV{Z3U4Ӥ!R+ {kzdT#$j^ PJ숫}-'6\{SMfQ_Tw7IV`Dhq]sCXSYa is'Zt3+Yo>h1eJyeh+$}cm{@/)CSEaA8Gg62mP5 &upQ8|ђ%ϭ$Ґ KRZ[N}E*"˴|lujf 3"f T 7Hۇ ߐ Zp+j@^:bm# œ6F2 捦]IELKmpRD xyÙ9NIySU]BPg(9 !L6Ez#%v͢2*a Os&fUKϛCDM"R ٥wgawz~ӜG@nZ1ҹɁ x Xv=Ycd!$[;0?XY᪻&a#,\兌&囦7eyJJ{$bBl`t?ϑ+Pj RZX lnsy'5ʽ_?MZ;3Y7st[g_yfC!P`DxD"v:+7VK/Z?!wTsrxnRv]۫g :qia֖ [D|6/[p (=G.  }IWDil+Gٴ^Smr ]|!&(c>'! x1'Ȯ&E~\S35Zl VQB(fӠ/YX>=DOtAw@ aw1zܔ)LǞ Lu ub:R]ծ֨siC]'xş𔻊,>&}4,iA˹W#i X0%AZʶ8cڬMrk%sHM:`wPcTXEYE{,fnR[;*s;Q"OJvԶ߭?[5gA)&(Tѓ1-" Z*M/`dH~* 44 exB]$dSK ٵRlUDvR|#}s fI T !o/0e JtU >_* (HxDՌ&qmS#)Sй,haQ[ۣ1Al;䡟\lY\$= *D2= BRhVG|ܣ<6λCB*Nf,˺e#,jkL7LB:iCeg]YVи73eed/:U=1r]?aOɌCDol0ҤjrH()5^ƭbkJy*3B lyShEep5|IS7B %{wn|+ob `݂lVו:ҺA:CXwXN[ ag? N4NfP̄M0qÊU r'n!O0cxCMGq//WX--T+_ɁE76p])mZw.^̤9Ӄ$ehu5pF"t\A5޿ B #Lohy>T!vM-Qrj`.bL!Q8+bQ9 U+^;ow |߫!naB*/GV}KK lj*>V/㫒;(I9"Aa<:K3 BPśrnwQ0Y5h؃bLn>ȴ O1KI*^E7 VKHЍfuDE58̤ƁV(6ꏁ@(F~㽰?q0utPϓ%ٝ:lN-+/2W>M `$=@9mb{EcGIXSFΥnZF&n<@&f3}7Tq",reD4B%!9l*E ,ݶ>)V407JDViѲ j< Uf#-7xch+(eA0%?e/: t~u"Q3Cdj7;$ \cjtDq A;"PQ| χ):_'b v21G #)m9<<2Z&3(;qqO3:p{JOa]ME^Q"~Ps2W͗%mOo46Mz7~k2 ,Aw}aC<{AG 3>"i5amNɌ$jy=xG^POWGؐ@i_B^ގrX I=< q*zP"<;T{C{]Bwj'q-j 4&sQ `J~CJ6?< Mzzٝ27Y)oCϠqctV3S{C5ƍdǭ>д$.[tVrߝ^ MMx疚:Ξ [=j f_-q mǮo9J1j{z J瀲G2 gY{zKzGDzX$O]ljD`B y5(4bc;e=tE@;V wBwpՐD1YǤpa F⢯dJh#m0)/ga&S=xc^Sb(8tg4aHvF[ϕGL:RU~;OޏG/* dH2 Zo)A>T-0Uc,9вq,DTw1ejni q/b&_F-] Z,rFh x\~[e AFOXiٕ'N2:Ur}ql`|+2m ɪ0Hba?r\6:ah&IP lxԶ’OP?OsT@C-t븭ElԦqZݚUY'FmނL!17\Y\h2$`p[&7\rzezS~T/29׋:`4ɫ_nK2t4HHj^J*r[PuQW1@VkP_f} ;#o;FʤyjQ,}% jY` yh1ȯx3.7PjhdU\Z> >-5K]uC1#J)vsBchjS55Cۆ\Bb6w%壔X {t8H߾5,)C;T#ׄxԊANjj];7cC ~.K715UοFܷ{[KxbnuG*6̪7{}r%G޽9C;#imbxe ȎTU_V5|-U==^ŋ+5wd9DEDˉ" ϞFD)}d-W2` a%6*Zyh*뤆Aಬc!IٶE%E(x u:Z)VKpcl}ytà=qdxbo? ?HǷOMg}Mc^L-Tcz\@^-ᬃy-r#op ,,$6!ɓX`zE\ עh7dClN6sB1ap7K9d13^k<ŗpUwS}M2qь#}! 2hGL@4ﮂ6#3pM= 1W㧭!EuR9'vʠw@11ꩦ7C4eV8lzNT'{x af=5ϋ{+ V \h1 ~zOSnؙ[0g}E%ScoQ/Z8]\4ĔB~?9tBNO!<eaVìbIX<Ž2q|×dR@=/Ç̞F7 ^l <~Cc7c m<{4Ɖ;`o^'hp0|@B,hjFo>1cw7S߇Ai>Y$y73;l>894+3鷽.zð#_@{ȯЕPydAcL-Y͘"$!<QJ4VAz\㯙Yl!]M[' RZҝgKz Y7&3رw"u:1S8Cp l2ΦERD@+K}WaxߒIv;Ӭt$iٌ׳D_ ߄_)!Ac` Ŵ9 ˟^l^o;3 NucD"u/)4fK&pvVT?GՐ2BY gIqIp|~TP;wJVz/iHO3Sr&C4>&d]it䔦 ϳ=wԴ?)s˯(<ڬ1_ z}]ٓ6&[Ȓda,*A|hT݃nLm\fDuoPs$sc򡉰O#=mA8ݮ L7m ;wMJ>\umpAxu >p?Ty,mUwgoQd3?;{"D\{m- })Q #E y+ʾJ"t'#ޫ+:HDۤ~;,^__lU^#)etg?8r{x4ٰGyk@dqhs +!0p[($A+-Y\v)8L) ᷯUQ})lU p=*rR]fR;r[dc(+RγqL\.',jx^[[P^^a7on9J:?. BgdNW,sh5;!Pk8ERɡL J5TjB'k7Vj"6aP5P#Vu?=P+qf`lI/ל)#9ޯWuDI) 7jѢwP&NPg>^6qF6Flor#GG%Ns))To/Bh;)?>km*E( H>˲C$J] U֚zn=t/13҈Q$}Rs9+ R{C #A/2~zGHY`a}+h) BgoiXcv~D^jkM/S)wB(+ZmL.,D`yo*vXz ߄BN@ iu1aanRF ғC]n3Zrq91O ӓDkOu)c~d?\( xa72A¶~v e9a_* i=u;G`DJ5bs 3vIFN1[y߮qo0R-elgƆ_ ut($tA_eS"ץ=bxҰ;Tט*tb'Hf̰L. Gþ7ln6\葐aCwk]z,@zSbrddTSVrrxm.M`U}!̙х4fasd nϤgYZ"Xp! a3+dx%ZGcEJںF t\Youf;jƋE>ߺ]Gcn>f'BUh) a Ndvw6ޠNh7=\u@ˑ4*,xrT4L4D nYqK ^\Ӌ ּzS$'fm1 Ysҥ( ?Nf0nvZRuy): Ҏθ;!2kQUuGi>cyත;t/+bRo?%R Yl<|u⾋r'7I[ Uw2`mb ƠY-"\Y[oLvI&qX\.L;`.,Any,#\>Ir>ldj85i;0+*"((v |0CJ- pEdHoY}xWT?VXY"el2`/9w∏nZME@+ TE 3n[pJHyc >! EU^]wv5^CMQwU %K|^$|EzDz='ͼ#9[6siSL%ԵEO IťQ)"eu@K K̈P*YE}BI, A٥hUhHV@ubd^dW!R0$t$^ ?qd$+U(: u̎ l~.aw5P;!QWH0?vX/ۢvN8tg*{J;UI8Xyg$uXŪPnɖk.ٮ0ժv=N(@]\ȰE*؄q}~"w~̣8tw3C]~ :y5 J"ѐ>K@=ȗvzִk gIl՛ ṵ[v9 3mk؍-1X)OK[pǚsȾ4oVaVzF [:yx[+yI*$` Ugnve{ Y"5CZ4=Fvk&o19Ј@u#ϓ$Q3<OZ-@i ;X`CX z`68dmY'>09ѴZfEBH9;"XU=4E$A\ޗhIdSQyvTb} ;n7b+Rxԣ t}60pIDQ+) ra"t*R$zo{;'UO`,Q>GxjQy˚vT]uGv˒bX8gj<8#_'4~wT<%ZU|@9_Y"m fL)xҴ.C|n$µWiP/I4"HtkAZa<`ϺGG-I,NU7u_,bbdFG@ɨ(FTno ]t;"j(R`J f-ݣp[\늆r&ʥB,4kS c0pt\aUOI_^uuqmpuFt%qDgiIЁFN/VA3-nE}wt*>>v9k)#fa6 [PWޣ4};%5%2ڠ_Ձq۞Kf&!)\>./f0zߊH/Q%\):D̍Bj0FgkdfnwB6zE:0m3Oe{pm٫`QC'dFkCݪ_@xFQ)<6='} /whe>xq{Dk,W/M 6z]>驺[~Wqw;H %1fb֋$nDSY)b㳻9*>\kY[ʵexeXF* {S+}M)췠sѷ JAIрՈoDakz86Hy89S2l u o[InN B&i(M^G9[!o$ b(85{׮u,QgM@5^xTRC访S^OԘccYm8CF hI_DKR7g27;bl/K5#{ZO<B ϴq7G_W ".G&-iLo@O*wF,ë|a+~I#b>"0~o8c %yc5"G`Ǧ֠/WzbKўIϘ˟968bݝ(Q,s|Ϙ \gC,s-3瓧h3X7:hZT5&c {^lBM}v?"׭,5$rEN|b{ aǍ<9QO ăcEцVZ*\J |g!a6vUj&qqҒՋ͹K9l K4GEU mo^cƄ[:8☡u#Gag2fo&R*#( H5x;ܔ%! ž,j"5{kRHG7@@CL֬9P`jӋLBG=\hE֒;جA;&_q+㛕Frȫ{E{6 p 0M8HJv$2@)lP };]}gż~sM"J~7w"@p˱?iNi4HRPәEu{֤LO5:缳c/ɿ ]p7%~^&3A̺ aTɬ&yj;fC yh|dAe\C>V mI940{GS:W=hnGC;õ4*&. 8c.yI%yoSs-FbMYlzR"T~VᛘO W۠UY Uߊqe%e.zuiHŒ5`Zˆ*&$Ɏ tݧZͦ$ 'M l5N 8K@.cƌIF2jT4r<޿nk@.Hy\(.RqtU4^ЌIUH"1ZSfgJM}r" 0z!5h=U$8,C 0pqD-ۨف˚u ߅MS$cLߖG)HfHZ5aax8̈ R*Q:>PIK' j b4~(! >vS*Yk@=DžRLBOcEc Jҟ~壬r 7U,}+.m0(l.V WYH7ZPE>(6SppwDBάOGB,H^++myB:)y/k/Lno*AvOہCϱ(hsG s2p,]AR߰n_>Lf. ݘ*#"t8S#F b%fĴ@-k$'&ɗvCd@jAh𮓤P˂^ ?UB $m{Bh v*}ϦA&A"%WsOzNd{U>|"t5ߘ{05xEºg::3-D!1|;X }JOa?h -ܨ.Oe޻ N#TM1^J&ۛWA='r 7CHM$c%T>V`>oDѽ3K xMj&w[&ra/C$s4ҽ,<ú&21j^;כqð=P|BoF a'.˄)BC ur/ E$B a48. [K^d\vʂe4ᬭ5 ǃj۰k&0gOđ@S"JRe9R8kCu"M;X?kTgzFтƭ>%; #:F,Q6V&94|*8A^[~!bE4YdWpz~~r5`aX9ͥ%f k{)XY?ad9)Jٺf .)%8B#4!8Đ8tq]dЛLȥrguBg}РN3%pYzA ܹAZ md,a##cm'(p9V8/`a].[7tF0n)KXIMgRq׷CzN^f+Ez7#d,>ArO Ž&)/N$H\J@ty;1u]U Lפ-i¸Ǫs)z!Es6:=;;]\@~VfY%sR!O]O](="S i;"!ya| 0,2;K<rj7Kyf\+ҏ?g%:2 5k1k\>ziG+vK'pł*\B8V _26j?};%;aG_~;T`#vZ@"ST99pka  a?N`r8.9Vf-\$JurU ef;&.C*:Զ XN*qK3Rhn8k^MBn%= iߛm-WSN(OҎdt8_=y6)ku(/mC7a3<Ұ'"rnTA@;2װ]T_^a*t I|[.\ (BTR#oI=ï^(A]]g#sr.ΓJu(\RD*FYbfҮP5>==*KMc{AitN+ltæƽ꺻H,ѣA^֔"0Nnj s7jd8iR|ąZP o,S2obZnq}kY&{ù"jSڋޙrL)j$/(caӆq H.Yl,V|my ,zItnIg~"[>ْK2>[ſvN "w'*^Ӌ{G}ԋ }@FzhF#Le(33Dpo`҂ض$TV1 "3>|en`spyi@=k(g)0s;ð\-VZ65=qo̚0KojʱC/tsl뱐īMS"ȓ;ZS뭛r 0萉SIL} X׀r#%Tm2"X\%› #aUeBIo چy׿8N}W2% Ц͇G,9a=s5~pz ##CuYi]$evx'XE#vLmaR_\W2G8x A`*S1$6ϊm} .3o``8glSWtj=sJx3ٜ#.t:i oB] kl$,lRt6(%%?"„׊EL^zLR<CWW<3,0~PFaQ[x ]Z≻-yE6[w8R`3͛ 8>~P]4t' |a@SE36 , A>@(<Ȍ݁ O) ϭCGJÆ~}'>+dSؽnye^jy^n|zesgr'UA3;}Ez+%Q$~hH)gn|h E0Slc7nH~jxA\a8@ߴHScyep|wp%< rSN , hp9|f$@fRg'|RrvZsS% }9Jk,f/ {0<*$yI5o?RIp*VVJ3Q ʲ1-SmiƸYJšzAZ~3}9[һr_,LwC\Jk(b3\9BpB1i4c9Zz1oFEy =5/ ϯ oz4yw>i$,yP2leYGș(i/$rDXvY㪚gYք?/I4?{g ޭUUHOC8TDd~'vi$ƃ]!]2ewT(б̭ VK6y̒" m6'`iJ{ PC5NbԄ܉\@(`;teRlWYi5A2TyiXoEN>@k7!*1@k}L~v=MGAuډfVv@>KJL5*w#KOW8cW̋cz RSHcv7v(yr4?)_}o>_oxmXIk^;&$#x#FwʪehZi 1=8KvRSߕ6;nh䧼^DC*WLݐ:#tH%h4Zh/-&?L+wmv r%d>*WKg:{5Jy9Ô OM,.\%QCPDlO|N|b]y=b_JݦA]֝P Fe` YiE+UPJSm- g$+yxp롿Y1;ԬƯ̵vtV8dQl3|ϡǥP]\Z8] ,G`'WDp1B9DsKǼ$_qmgF4daijLm6j[aaA,6O JSPU068 ~$OF>(_*d[%znk[;DG[+ɚvtRuH0Yb*+˶U-/ŖtldHx!"/] a ae@?[YGtY7Tk:$csA ۺw?_8⺬02O1.C)t٧-.`I,Ei>a`E@ɍJ/Kң*:dX&uh@rRUUwWˀvCoy4Ʊ|ֈ8:)\l ,#y+ybkΧGA`BFnf.zղ7PTجGI{Ynhǡ&0.*lKIt!Av~:C1-S#}gY a#io݌5lok͔E w`wV>'8V9lLCPE;ϼgj2#J8j)CĄ)PhF/V1b!)DΥi+q︃ӭ. 6s,}[K{b;QtGH R$Lk\9ª5e{?†M9d=d צӑ`Dy5FRyy'O("'0Δ|uҙ MX'v"Uv1 JϏ(kǶ0VV8G /lXw{ l,vYr.3SR~sBnз^7)\d&HcIdN#}M_ Z@keG3Nj/Jd $0DY뇅KsUDP A,4eEiQVp=֡`4 8K2y[ U$Ё9Y#QPcVķ>Zň *.Xti?Nn- .:[5 Cofڵ,KfKb\^-4`nQʛT%cZ|#_k ͐O!}"}s/$s-2 u@y"j_6nUA="ph0@;Q 6ǫ(iQzu{vG}7 rjJ\7KTd$M_vfd:[aL$ϱ_oPsWa zP'}/d> )ـ`LxQ 5{#Ż]OpTZe hb֕sތ|Ś\pt-tt8F6$ֹh oq_Y_`"jhJ֕;Ź?{yIv 8l99y.iVGP@i8|`&R+{m?s> =-Oj|2%7>ԍ P0ûTv G YzLr+4VwWe` %uLd ~E*ڗp{x7ƻ3:*Vt mWn1a$t捰8o3_ \sYPp3Sv WVQJ纒x*%vύQ8֑!wfDqdAol&PgDckX*U=Ԇ2pX?>fo(B,>7uѧ5,z|^9#CXV5gw(L[$\?T <7eK.,;|%{9=Ӧڼ'nl1> M9l0g\C)KK6봮V x[#-or;ӊ^qSZհi[ |\Y (#Ϣ֍G@Y*X>P_W6vY$}Qԍmۊ#DTun7; @_40d.ιv@Ee $Z6de׼(SFKc)¢p䎭mR4}\(E49/ >8Lgr& k)u~7Db(ẖiy]u#Al=xՄbw&51n*b,L҂;i]}ܕ$l҉* )|<[_mw J( nD*A/rc SK"{wo9SP0BOYc1>LLOL'ZHɏDPW:sV*5!pIt7rԥTDhj<1iA3LR(OWր~K/(M#YDQpVnn#E'?5sa\YH4u^/V& .&Vpާ'A[D~u' 0; |S o2%"Ʉ8ZqQ~o.рzJȌ#2mJGIKOKEGS A]zc>٣|*ux(@WJTC$P},Mp_2u|ٙ"سnjP)}12 &i.ԥ 7X2 w>bKp;myҘhFH6.OJȃ8#L:XP0%"($U$)J͸B]ʝ΢Py>HAԾ&̶8Myݓ0~Dlthl~cCnBہ"Jy8G;3uvq^ R%};Ұk~a~13QԀ^NHLr97 ի*銭HB? ~Ʒ XPhZq_\CrkljaG7 3h k|1P~8E"SJf2#j#B’(qIJ0iSie#q7WۧУv6J8Ӡ|WP @h<{.܀lx~|Q$fj ~wJOao#NT,AǓʙa_3̜E%wٛ"'"imq,;A+Z]JNx UE"(^^f&(vtyeBO=bY&0ݰ5;6#wT] l KY.zw)#?oj{Y@#YD8Z+ n&FqMc={y  Az4](@T73~|VaZGʭ<%?w*WLK>:G FXv.OoY0qF4o&"]k ? EO0+4tStW)׃y)xl?z1r#2 p"jK*YA\@?p?9e` P% շ\AVkoDAZ5ad}V#{U*ל˂f pHFg:Ӣ!۽&BrR78|EF4$^f4͏$ vg9Jf(qis/_}Dz< h;J4rD\,;oH`yٗ¶'+;ײ 5x EX=rCTJ]NhH@F ؛ \drh{a/)i%RAPr VclӦk,*;6̬r|0C fÓ#b Ev/ vR!OHa8}:=ƃKejB$YQ j\}|Zl%}5h*QTw$:sX_kQLU0Fi+UqE.+ڏ*lev5æt᠕v[{}BszXsUvn =ø&'~Pe캜A_<ŗ]h{to .AmhQc҉z$!vݴrKT._>zA#Z\K{yXu&Z&#%kߍr8pf|c [I_ݔ'fA(e;HcȺ֟c]q <^3$hm;Z>wMqzZTTyn*p(K츀.Gde6$>%{*d@u^>kxהla"X^7Cwp^X`LںFjU,10J˹;!Z, {%E}D.cuφ{@`YyE`4c4W+d OX'vYKOniYsm_7sH?:vT(KnjA^8#1٠ CW8O 6]AT \{tY*}-nO:`SOOnksMM {ZEԺO{]QP<6 nr2aA^suJڹ-f(1^"~7WwT]!51-ph.;pF|짉Єuc] 5.ԾYF-uJbаzmqCXйJx!_ k7P34'wnp-Dل[ϝIAXݽ,uu0&fIb1f<Ғ><#nt#VL5$prayS#yF%rӃ 5$&jMVB㠬nv65g&7IIMI)egl$,j6_nuüa iռ|G˖F7=q EDA_&:)QYKs,eL-h kƟ61Owk:kYTD(9>6m_"Ӱ43PlC|whwK;mC:]S%(,c[?M;T(υJ6jX@}OiQ*3]#I<,],\N|ːu,$zc})I eU5O ɖcAn~ 8P[%ZƍqM'K6Dsz{OGST?az: V93lg;xډ^f$!ȧ`6L> S+Tgy*=fV) RϿnG9eǝ ~]HH5BJxbjefАQ*Ӭ]Jǖ.!X.:$AJVWދRMRB'a'p|(*]^jRF*LA/&)y3IJaFopjΦ ,2ʺ]t6\E#=0pLb 0s&C ;{+cd$_2m Gxaumߎm>/2z Gb⌟ x' raihذ>54ZU .$iFLLEl`ţO*YօcUcڜ@gamK &wD.e.%AfYf~9"Y^:J1Dg$ ɭa_d$a x05A:԰}ErS-ily 1-+$S$?ژq %t>KW7T[eoʲ)i>_ڂtӝSlE EƄ@{ b6uaJ'ucsJq\%i r80]$,4mktPx y[.IC¬,QG4765T݊qXЎ;BXj]۾<H)罉JRn֫ʯ9G\/GixC,LiDU\:1-K02bǸ݄)G J7Cu<Ų:r}TCj<kz`ϓȋXf~yLzj\#Sy$5|)*s}0A2DGf6=zO UhKfd?NJ:@IA̫6>Gx΃f͑G|vMJ HO A_!W|d9%QB-Di6KRzTm{)k^@BGGrGK TuLcP* a[!׃*+3> {Ѣ]GcE|ˈFz}de5ū"a? Cڹ Qi\8L J[vznpe8L7!mUYu23C= w ?߿Od #yҖjíh:vs ;cu+$FBϨyŪ7H/ ݝ$-k>/9T%C}KrjK9oyDơA$5/E$, ۪6iK9Ar+S@ɇX*iK6K+ J$䵱k.DqF-yyC.E 6]{F=wkoI휻]ƀS;P24>73)bċ,v)^nߕ8B1,)-7o./"i@qXV` zѷ4 o;:nKURtn|CK 7/ 8-=zLݎ ]V/[v.{!cw:z; t[rW`_Bw][ U-j'..&%L0 Ѐ>ٌQڞyT8XXABn,XstYm~d63)'NsIXCe3`n>{𿽪7T8m\ؕKW2MϚ&{ԊwܭnZ/T;`*wu&6Q2k9f{}]02'e#0KhÅ{:(PI~z8ch άxD^b!Vgn,l! JF 8(&? }ww٠r LIΥ=Koߜ%ϧnk&Z7oef;8mArWӿf6{z]v"s> zH;8 Q9{W*h%6vfwVGo̖_ȅj:@>n`ho[!sҥ>P@h0;bPUMIn?QWLהғ'4~n1?(|7g-ZJ*\f#O.SK&š3 ]9j7Pt>[CD%헣s+v+|K-S0P[Toټ nߞ|X6ZVieK%4%\._73 Z&xyۃ -L crke?{KU]GX/b,4Y=jcFg?t0 4oJ1i 4=jƳ8mF+ +D1k/^د7J55IcU*y!=Ҷt ƒB ޳1R#UT0f=Q7j &MOoĹ*GH]_ّȻdF 4Q!8Ԩcpû dq9SY50su]䢎i8rA\I8I:ߺ_jr}{{hNgzkpc0g)rv;l7Z"NnNZn6bN?|y%; ^.?ᧈG ~ڏȚLiym*CGnI/Y;qQ|]ϖ``ng{Le8@_fxmxǠ¸а)ІKנMfdRMKd-}]U0ghOG#IFLMD ; CRE<:K7+@' 8ښ)PIoӏ)ۼ7 B6.ٺ#a߉QuߌdQ>/,0598wk㷭o_XqHNW"mJ܀|Sunq3fE͉o]G`r;?[3}~,AQwgyc*%S&b$hE]W[Ay:`ـvFx@FS%{)c:Ki Hhb&'+zm[~EȔp)ct0i` "B]_ .'>1銘Mt~toƀ87RP(q"`")iʁv޽#wXC¼R}mLw>][&CHczL!wcd^/;t( UYcD;/+6jl7QHbkQN89bcj6.}Ó5q7엝dcn{h60yo;3dp4a`grf̲dKL}L<˿u- &ccBO].p_+~^\NInǹW / a˴vc=ZV ÜIaƚT-(s+lB@T*/9Q:{@Et֗7iJ{8؍Nʢs/F'QHPLcԈȨTǏ&QO$:jٴ<۷iWvI[|դaD |Eճ0:ZF&]pyLyDuY̯ߛ\o;/.d\ڍZ=M'ؐS QD\.!nUO> xlM̘?L͕-tˀ콜m!o\k.ˬ=~zyZCfVlU*bmgmͤx@xTC2aymԾK@D2/M]`bL(x\k$ª,fcz0bD-0M*?GUoYLj0 JJmyk~(i7I]AQ]"y&$3Q-.U DmeqqSnh`SS~ Q"f H%O($)ĤXhr/ki>ߥ0H]qtރu l)Ԑ;ܤ`0q? i]vϩźкVmk5]}O+m,Z t+bO$/o{ELg@ iE/2"hkQ}՘ ʃܒV|\ŽG8wp:@2$_/L@g5[#^;mR O56 *L{0(]FFw$>l_H]5x=D:~=@ 4ZHHyKDD.<8"zӤSA]OdDdl-PYe$!Z&T;=qSs{½Q.Iv.N"X`ޱCu LFz3>j a`iTUKiŽh!ǝro%EwSG\b5e`;kdwo`l16tt=q1Y 3 &WbgMcm~/㣭(12V2.Y_ZM=[1.qn[Ͱ{ c эeUc?V5\ޟXc}cb@-cZxA wS:I$(~̳raJiy5j%™Fy0eLY+#ft9Va kE ֽ'3a)/Q{ PPl*PڒDƇt8L)*\G))<DܳANFUk_|OF.()ESԓ>ĜTF7#UUt #tbN| Vtr5 z[VT!sѤstpQ,Aih|*V $u>8 iQWs;zT,=c^@]SeT4|wns,i§9} nm`oNGzzx; (PkK08.O J-1ٶGFCν >|&;H )ɿ*I4nݔ[6[ nOA'?CV({+bL^[H""f"LU\^>m\QA  1' Kcp?ز NZS~hc.PAPddVבqR/eqq} [/W{~w֯"_*dTυ;(*T*\WV }!w%Fug KrӅxg=>灥+3J$(x @) ) dw8 WdQZ'v'<5^E(yYhN9Hܺ5R=ʓ>]a/Oo-"ö!qOsx<گEKG``J#f7c ĸ[S,/ 9Ƒv.˴5sPg| J N,J,<3feayY{2pEakb|=dLe5ޘ>/vJ'w*dCB!!LЏL(M|%L 7]9{瑛@1=E9s]nw(2T8 UuvdTq$W_zgGq+kxk(~s9Fl8%Py4zSB ?}aR#jF&lݤŗCU-T}b (qo6C%H.s=e[ o-;7\WUCuw,@R;jɶ+׆=r sb=aьN< _cRE"HN5}J4No'7q%E^ (3lz8 -('Vn03`*cDҷ$ȴ75Ƒ <ӔKDj6&HUj' 5@/_@)ѝ1Y[7Ν> Nu~;m)&3_h ˱ȭDNL{~Y"ga}YD~ dcEئ  C (lΡ~TE$D]Mu! klO SQWmL {.JhAYa.vU݄Z  n#uqQDMg+STes!"5-ou(U7sgM/V|#kߪŰSп<5}˚8+)>HagL^jy؁(׃A4 -ݨ$~tqpS1k l:/ޗn ֙hn&ɒ'2؁7P|g Z#/ت[z~L 0֎EA/JU^tLe[ @ W|KN+!yD-#ot}zR07s?%}+zy-SxѰ:#X(d-sivȟ^T`6wG_X|\U(" tQէ!ZP*Gk$fJ@WOd 6 ϬlW[K[$k]z-Wt =Ks ͽn3%dAz SN` 9_ Ґê)/$6eQ> H! P|; |$;ej d7X-Zl|+R]0νܧ [Uq5ng%t1!¬sI;p8Gﴸ4C4-RڐACGn 9`ړ 0ս#a2dE NKæ,y'Є7/huxb;~tcjS^XxjG-ˑtH z(RX ]hJiq:_oOyE*:@X\L]먆ݭX>v I Y{-Wg><-%R'I3.D6lX kՕVb|X#E[< ,9%((\D٣j a9,t3ormU`6NBn ُ+78]C>P~m.W}HY;1g;NA4~#me8na}L3d%h7NqCȬ-ۗ2tABwp!xڮ#`VW]lI b]?B2g >UkؓZe^e-`V!H/R1U+>5Ynr+h O%+k+5)C|Mg닆S3Ey[v a~m vǂmvxKIcDaWcV9K{bE'+[zNuC&#r`=/\kWjA|=FTd&e]t(Rpy\ \{Tt c3{=%DZimEd]}:Dk,s* bRQle$E`]AWNLv9V)5&5T>i2g͟U+ԓ3E] hGtTҠ6'(-[Ϸ `dǸ(B}s -?(/<(R!믄Sa(Uv&TJv6eZM.*& 5Hm.z%?E :O;\*y:[A V;$&ƏhW.WOֻ:ڠrb^1PЮS-9XL3BiLm`r` ;1a.S-g>D ۹C2D7e= T;ME'R2|0F}<UM 7qjfuk^<KMݧ.MclNo) W!vF H4[:"CSzūjSNp%H}ƪx7*0f0)xc~];/y}[Q>x#+)T=%\pc1bQ fy^y<|[B}-|CpVbҥ2gFbc`D+tjR&5XksҦ[^ݔIf"oW7~E/4CnΆ`ƦW9Wpps4lnqkA4rM".]v|-!T6>fIFHyǘQۣq" %fDj;eTrz\LO+zHKd0Oq~*>\_IX:Z?X>N؂/Qr'+/YZ/\ ] DMö +.#L+G &.DG5 k /4WL o6J-{ $e-ml'NS^WL\>kΔPP?l&Tc^ۃ׸hrIF:.uM 4|N\z8<)bj``ك.l 1C[ϥsCKupћH;AȳY_3’iJm.Cg&;rZs%gx)0/?Eb+u9e,q2uPpAdeD'74> X{4 8.wEP5.k)àgtD[cx>!-sgU+Qp~r((\$+o,~ 3鐠95A|Xax%3O۫bۃ㧎7jgBQ; ]yrBaַj}h! PF.)mlŪ4vc@TGEC&RD ѧc[pS4UmЫ$&<3xPɦe .<$.B4jKNA g̜wBubJW_p-Syl#s=~`t,򞱄sOp_|ec/ӥEcFfm .7}ߔΚ!늄bl?/weT3EE$O%ؼs"` ӿ^xҧu:mBX@QGCŋHoIu_JvcKI n؆MGn|,lYHK1&dW@fN%Ԙn`#dZj?HuӖi@>$modB@hgE8<05c'ֲ(dA[ 澀FP*S|GCefJ /֡DyGc{)m`N.K(arOp-9H`lUʼna 䰌3f-GjI½L! B-|QkONmhK%,a˖q7PO;9T2=M 4PPuv#6+88RBC 8 m:յ0`}D?UJBYIDhH˔Iq-ey()_$1"Fv{ 3}'#Uc뛅DFxpʌdȝ;/A?vzv9 '}Nj_ɢFΑ<>^Tpa-R]G^?ؔPmuwC䫇9fhy.`FP4Oln@ {VJ׎]iN2,L&:B;)5Mo N '@g`vŒЄ5q=b! =l{2{9K ?dK&6UΰP)ϔF˜mET7Zu3B'W0䐇/F]j׎G G=9#qpT*-NOܦG3;{n,?[} 9IC^b @u!zh;%v`U =-[fp4fǟ?^Dkk!Z_NlS*BVFw2[lAK`(̿he;[W~Et/A!%c҇qQ^JKf#?:W|x~77~cwgouAʼn&l_rYzK(@6r= !RFi%(Ea(饁 URq 9;lCsA|2Yr+FYY#GKc=TX;&˄QhH1QT(Y :ֶ≙ 7X04;30T۟Gܣռ?ʵ\A~ 03VNn. vC752%E<AFED7tGƺi}iPH-VtJ lPNj}*]NEm+Z2ise3X9dFzg ̒w(mkT>nGăk,~Nɓbc,Ƭޏ\_7g]kʙB NA4qX 1 \X DA\"S2?L7 E?@ N!ccc?ee( AM%՝Bp*ʫ2ӍgЮImw!]-fe(ӱduX2u5+g'c#|O족Q *a֊"Z W F*[ETÐ>+<5Ʒ˙<~3!PbyyދGw.{6  Z!ob{*aŮJMGAU|qPȺfc:vL2j]C9O`Cŗ-)X}'p^B]pn*U*7l SKwcɜG/Q"ȌӤԹ:-hҌdS %Cl:Z.7kƹx&U@|<=E5x~!* N}Td@4|,7q>`"' P_azHˏPS(U~R`5D!C2J:'h?fF/0畣Ǥ*X\z,-ɋ#j<J geT|3Ns`G(6.sTK{ˤ5> ֘i+C0XT}5<1x=lӱ['fSCkxm H[+ +0}΂(L|gPY{ӊpR~ 9?Xdg ϔǓ[fJ{ v@RrcQ$]˶@!^%Ҙ93>{սYlз:o0K( H(_&FYUW;5:XP63z˓}Ojz7.Qj}#݃$V^Gvn'f/%{q#X}o~[λ65к_m!*fB rn'd{cȦ9%=&!&~doV]Ts Sj>Efc"dmeJ!dP*Vo  d Bw9SH;f/')_C +_.;]N?HBBaز UL>_5=+T U_`Gd;| H;J u?[Z?ɯlsl@ZǘQ>!Y9 \=+oQgbKX;Ru|޲ $gv۵wO>4 *qnJӎ`&0%;6h(#:XcsT[7,-QGLhv_b@NBcɈ'd4_i|鋒׻g6@ X_f)y~xK-~H.VY,(F GSq[GJBɣr`:3.l<,$qps'~A*e&B[yJÑg P/`FdƸ}|S #)pVթt&v-tp|~.!nA[W˼,B`Kn^2 ^0ZkEؠ"!)ƄըX|EOCbme$"$ te]v/oS9exb__"qڌ eiC`%.1ƃfmc!{ݱoHdԙ]^&o#>zi&VƊiy(|o~L|Wv"Je*ڬsʏɉS-::s_)c_ϋmLN B`2{tDc\4]q Q$x I:0mi{2M[R<L'י#צ}wͧd2dbԬ%@߫ Ժ0l}d%wI)۱ĤFy$Yp>"c>o\F2b,WLmѾ*`1&۔nA\N"jF>}C q[>#fJӮJ+ /JiU4\;IWu\d+nu}(N xzF"wچكLd$*J ^$߲'U֐i:gnQe!]BoK Ձ&* a˽&Cdeoð0Uo R/V+w0԰jT" {{N'Pd0OmC5gFvV/1s10ϓ.zFSQ H4 Ϛ.H1ʟˏl<|}1hIsH <ޘtzԏ@{얒%qeV7%~5!,u>~*2bs_0>B>]a~1gpB%ūR9- PN^ am1;[۽$ x*U~*7<ųvE>dO\c a]Ą/Enw2Q(!uޢW_6fU\{"#G'9t&Hb;x ؎*K*`U9a~Aoo|)Lxe" 5UI 2?adՔ9+`utu䠆IsWơvMz>NQ]vi jtn&*V`roܫ2R<Kujuey$c bO F3?z۟{b4}L*x㥄v͖{܉jhqe6H >zeo8[H?crKTܲj(j} ӗ (X a-`O§Q+k*1xɐsY`09 E05/g4|Qp5$ԝޛ:ʂn16^gbmqn?/틡 DO% [&.4;oNS I渥1t+l=2OBO|%ZRYsku{^2E0q`-Hv8^܆m{Qqes$ pi(QL;}1)0BKgqB/jQpq3*_0 V2:}h6GJFv*6S:{Xcr خbFT12 m,`PhuREl3HR{ʡ[Dқ+z5+sN_ҾD" 骸,Ot|tX8/p;" s7*dW&(pgZvCf0Qqc -M'%7$&fǒPPULiq,vSQ5\mFv|yH\*2晃N,5TaGft!+f4U HAe$O5 }$q^eU1ǒ] &en%wLij*&@: W3>jE^ndY/ —eWrt;li5E=ytci)14wx 9<>2'^˥sT!;e SފCaZpAd1KU5z䝦iLVGN~϶x׼1s8+k+h} wٞP*qi9%X%v<~9b] lcaũH5_E'@AXXYu#Kgq,l\v 5#|( e.`F }p`unSfpozg_:jֱsŘ4v5yIc${?+jybk^l8sjqH*dVR?TDSA|EGu\dFᱼCW6GVg=1_ʳ ϼdX|mHsV$x%02kbjSN*5/m YVRJw4=L>uAE\X-ym{0~-;P:{./|%O5 qUS}< lbæ>wM-a) 0ӍKRd7-\Rh r9ǚC-w03x#Qj;VRf&?biu,Ivv);YÂ6YZ{qI`+/W(/w^cʧS@ Ń6LY;lC'bU TSMP.mM<~3"B, *ٮVc.|Q\G|Նeċ5 =C-X9Dq$'?٘ DŴ=D Ѻ3~8!J|T6D^Z|Q\r[#(plHso?$,˷>\,s+`뺴VKt /{t |'z&̇]ô?'&G[aTK:o`< ~9aA_!)3F4U2Ǒ*pmEC/\,͆Õ{ֽSzdnw2#XYM\38Ahz+S*i1rds3bg6 =n /ӗ 6 nޅ#Ѿ 1,kk]+FI#1g뛀 F{~/egq #*ì3dlDF ]!a)>ٔD=ԃb} } *rTy"ÅG<<Ũ4,s%S97j/Q tE4(?ӎc FiďDZzK\غ|n9äu(EdzqB]juؔV,g_Flmon Jk\##5[RUџ gqU/k.㚢˿뼄j=עz}^=[ܼ1pMC;k_.[w_O#j:PjQV2 ݮZj q?^ɚ>E})d4uhx$&l+w=8ΕopV\f7/6[,b[FsٔΗ]?)ʦwF^` K &>ǫR\z3^eG, Tf˷DBW{xd<1TQsT헂pHGPey~ͲWDO*R8u7}geEarNRpYT"uyh+Z x(}^5Dw4O/ jSa@47$2ͯ V4¢p:[l"k9Y1yC}(O{>,H~XH6V$n\=:A &q7cPԁy e`= "Įhj=R,ya4[Y |o^ s$eKW=sgV'gp G##^&diK!|tf5VIvxNsVק= ̲ m9}N,0gH$h^}XT;qy|А,;)-| / bhkl6Zx8ᩛ}jս9vڸYl::(XࢧDş, h+wWY6E\CR0aFt}͝Ǥ0_J4*8",AqJҒA'M*nEIИ#gW024ѭ5ȣ.0P v [,Fi߂~s`j}0$1k-r%i&7R2)d`)P Al7C{[=!FTǿ*)|N"͏eaG@!52Njm>λ?5Jj DgKb2Z_dbŰߘ$D| a?̂(tNRhZp#bFH-[+w`W5K"F04x i.Rf?/qb"˗De'&c>t&\_7WF``-7un3dkD\Q-#Dު^Ѿº{ŝzr,7qCNCƸ^W\{9(;E㡍k~qƅ?sݟ}gZ/Ax΂%%ȗFMBj(@rPcE`>RGqdI#a&ݎեT` it/Qb1gUnPٯΐ#? Vn@-KgPϐBw9dx5>_kY_ӴRJ3=m,^+X?X\XbV7ӝt1gYZ EC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10281' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O E]Άxʆ5.f-9 rq;6gX+_7Ynjܑ`\U+ \BDbקifP'~#dnENUHS^]yKP- P xʀƲ!p#v,&@ -߰⳧;(W paI.Cb>8R)2@ z70ZjU|]ai o pP5V 2.kƶADeTtCJ- 5%:`ۓz`M3f!N(l cUa]>Iko/+'=e.&/Yo3,Vhs~2L ̓AX%~ }Ya=6rg ߄vYLQ/K4]n-V0kZsz\-^Mnl_fn-^" 7Ff w!Q[K ";f&،R$bJM s6t*'m7.@_ߋdaCe | cSNb6?ɸC66CZ(FΟ*bo9(tP$5$4O1sDjǪ h>PvcdkG~D89zax<, -wGӢUS?ʮUL<u nIDqnuLaК'XBGO SFm+~K'ZirJ`+#,5C{WOSm}js"o@5ipl`gME^t5FI{M6*.%S㑡q)h("H7|͏ه˽?p8É!&9~s^0HQ\1|M6!~?/%K5NluNC徏m;X\]UDU  ..)}H.=b H{t=sT:wYMuK[\xWd, 꽚- oq:XORtn0}Jv72p7!qDrd,Zʹx[d|H=0*!6|6s]MM>y(Č,{ ֙k$e҉P|t)(}MXoseHB/}EAw)M֭|44ZrMq&`0s8'yQ?@=W/8i-"D7{Ssy:={O f-ASOZyT~ RW ÌeF?Ig6"clDՆ!jЊ޷uu!>F T}$ XB}W9>B Uſ@e=!}b<-̱+|lo8j癛VjA6d)*{FH-1Y61R@^Ż+'LlP ?B.3B.5@SJ/dkꩆb_k)ȧ>+;["uM1V@\ ؕ2S{dew;lAuc94qE; ص>F##1+թ |)7!x/dN4O2 . GayɊ4]a{ i q5 XߘV0rr{{y}% +ڵD^3U)gPھO{hjp "x.?l=4_e+&%Ҩ~ ]CΚr v'>:v ImqT.%Z:iz1ozk#<+R{][mE"44"CpŁ)WR/{#„~=B ׇ\W(k:&6P nT"ܰтBM)c]jFoX_\EC+ᴒZyb{OP X n]&&Fô^O0)'*+V _ @jZ>\b;fQSݏ2|>4Fgw(E6 1I0_"G^'X6ˌl1V4xQ֢ۜ}W>ۑ H"iOҧ7<}j԰X]ڣm/w8+VZ$A=6wAؽdu- &6i=DM@m:ηMnYf;l~IVN9ovjԞ7vB!.B?bNzm/s#x{k|2,G.T5\=֊MlvLN(0:KYz*}Y AdYN1<nܟ2iPT5.Gh?a6Jx旐5u56{mj} 6lRH2†WBc霆26Km)%/ʡQum;Ħ#Ji= Gz_>O/!} oZrOgfx|+ LD~ԁ=3Ru^^nvg3Gªmݶ0.cj4&'("-"h(\_ 4ܱZ%" 6U|`fNőq..i[v;=[b: vɜX.{Lk66u.0c)c4OwoJZMjw/`P-߉˺}^9Hvܘ'#t5QJbC=T HNO@GO b[v˜w(ڨ%y_+10H TxX7}rjBl5Z|3?vyȠF(aA8QI/s; .z I:P pF2rhSWE[EX>n|wB}hXos"ڠ~)Ф{Hvb#WV:GˊA4d#>03*\(yߠZHݔ}op=;>]7vUˏoU\)rZ5IXءzUu.G}erUs`;S{=n|,G']mr4X"WFop/41$nykyhūʆ<hYpLܞ~2g[mWJ@Sĭ_4)^'Fa @.!OC5tZ02$.̝NNKZX,>^RưH7S-Z3Y :1QdEȜ5JZcǀd-*no6zFEPNix/OhƛFzC];+8u Z_:ԏ-`T1׾iLïigtzu«Y L +es ª?W5AW=ZoZV|!t[鋵M\%?A#L#MfΣ=!"xqb|%LK5[~,]ݜ0g~d$:QVt,nN+`h+ѩ s7d2ĕV8??Xvozތhh gī?}xv ̗e.QrUT…*bRP#Y4Prh7P- QP|ZRrEL˦Q#>Q%Ϡˬ‘x\!*O3+yMw0p姬Ο\0v-{ OE fI kΚTCg_ϋ.bm]^{_Oe6QcU}ɶ!hr>< DO7 H֐$N )ElZ6p!_vkT¼ŷ*YO#@t3P4D7cIau%m>Ϛ .MgYZ vv+# 4ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?ځ6E!.ȋ2psT0*D "nZ _ڰ )V.(kxڴtLFLxM0`,S x.$V 2l)eAfJ^l淴2iXG5|}: I5 *V/&':_E_q뚛sEȭ l?\Łz¤_ .4)>sYU9㰟O@eXfHϧή6&_f΍QsR.1w?e3LMkWjr67_OԤ4sтR?͂UUlw[|*V6C='̂:/c!+j`J!U `y;4S ]XvOO^s Ry)zriէqoH8ZyI#seOWY+a'c[l,\ 7>0=Ǥeys>D"= ih֞\%pLgUuM;uP,A}K8UE=䭷9'GmH:,(HzvAbTߗۮNUK5s񏘴[q\2Ma=:wfGVRv'߈Լ0TaT)^E0.N:{^ ,^c_mٷq~q\]Ge|ҘD|OB!:HJ@etD/K"K.%SæR6=E$`2fkWbfai@4>LbB|cRpk%[nEfazN,s\ V;eI-ep!{;n! 4yl̼%[ @TSpQC }ARJ['j1ۉk*Nr g`j!46~B'`ꙗn> Z-Ⱦ(;|qwVI4n`%@u&t y4Vox ]~Wᥕ*|_mgZGρXe~"[^s8YXn4&Ua#ٮ5vW&c=|b;7io2)(;wHJZ :0:[ A`$z'q)HK4|9nJ=TƩ1WYj:B]7+Z%ﳱ/b=Ġ}#169Nb[g(P/X\Saqq.05_/J`B4^^f:6ډv"sRd쓢!nDo[Ab݈Y=#V7IP wEC̬Q *!} Es4gMh#!x8buR6n?}(BVUݱˤ2hM)C"WX[ x;8鏡^;Ez& m-\:Ȅ^r Ы`[_y"gϙ*Ց \pl}Jxc*6DyWǗ r^,C+vt<;WF `()0DB,?]Ԉ 2YnLiǡpWQ:aap9?M[("f[ŵL=5 .kźcw;eHe>oM`\Y[px!wt o&.RjV=p2ԷwTp$ ukLlJk\l]-ҩ1~Zw䃘[E@T|ia_p: B\D\)݂ϺDR*wGʼ*IeeA| @ թ kf;z)3wqcJ+. yH;1т7BRg?/Q,|PYUE MZ_Eq**tvEqNGOkg rHww˒8@r_N`rVdq'n75<`^G"B|jD}t=/NNpҒ6\ngO=jebw".:f0rH'rpyoN6ҁpnr.#:Vtګt뚓sHT>B"4!xCvPb&q -4㸊QU *ЧAsrBf&u+y\aa,?i 9nm<>.MPj`Q컪 Xo,v/'CwcuQ?[R *e 8͸˱M3DWɥ[>e"ت%1b]ӡok-~R*Ɋ`,Dz۱Ix1r{yGm W /$R%'t Gu #鎗VfLd: !äW5Qf"8q.39P,3gӢ[8<87')RfGIH$F@;  va}oԎ^=SrqzrōLY`1;t2pV{@r˔nmYe5΋ón>hˉ~L * U;_v3GSa3}v׫e"@ eX#*>Xi+y%XEuFDQ3a}0dCrst] /ma@㩾%I,*ބp3]؂**մ`Ԧ'Q|Q ^E!+2dw#ℍ>f鵲.IAAs\1U"f,;w4U¹V~3e復u" X҄;"jP%D smܱ '?rane #)Z\seI9 B\?5Js$4kԿTYAtaB֦ȕ^c7c{*99WDV)ȽۑBa._D=X=/u]>?꽗@A#AmNq!$VcC W :68ZQ, 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ׁ ~Bi'=>zژt#ߞ@V'kd;4wK/,?=AVe vs UfZksSơyKY@w~T5RȢ)9kv;ڬgPDw;0tb##ߌۥa*' (uhU2RIC%hJ_";O]@vؿnt>.5kgYZ#9# 4ZF-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 ێum(Hd^T D 9˖ڵQ"TqI[u-.%˷v -fG'"9rƹ,jĉ:n5ѵv!J-_mvd&? |{?`rMP= n*Ua@`蘔'**Z)oJG%B?Z{Mg\FQ T v5cڦPbXdp\ၻN)nRh&UYNwr=>$u-pڂ0KEѨDm-[|ߞDS/'s^7'j6ٵ}J7 H5ǷR!DF ?'ZӜfA/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[:|&[zX 7;Y{D񏗆6c TFƚWgu3dRDvdjm9{m݁;!xEC'<3G< r"J 3ag\kBN LDžɎ5Gꌲ#S?aXB\'Vk}`9RL5ot|m9dkNp܀teXd(vO#Qsk3`p@avVY}.{fӌV@,%D=i2D(kw(_?L:JisVj-gvG _۾0rҧG*|*)<:@v(M~?3t"C_ix@< ? /ߢCkka Mb"2 `_,sz)C:qʻKLjӝ |YN VfW.Xˊ[lU zIAx9(%T@sAmX~Gfŷ+D$RαdlӸ\0O !-ﺍm_k #-SIfTų,lQb mſMܩ#!cV΂E9!!3+7'RZciģqx|(Fsh{gCffGtC XPw!ԞrkuDL= I?[s:jaϯIy ٬+'׶h=kX4khdνp&-hCJ^\Z{oq%>Пrd8NghD6$뵡^^fU_rł#$n 6ZPl ˬ̱evLDuw_ٳ:z袆ʱ qUga<~m?qJUc))FpqzR~oC1/[ H*~^-W} J6sH:2~(a\ vLWgYZk7ϩ<4l1yX8oOcZe<EwiN^ A)epdJyZKy7U&whIqi{86 #on Knڡs2#J:MPyH@ {&ϒZL, p"N5Y)p ꧆ 4F/V޳KS.#_m>nēJ=P{-^ G ֩~qT1Xva#~\cjC:ʩ;JDQڨc6g9 I{}~@ɍdq#X-#M:#Hn/ ~h8;}w՞ t TH-8e ޼2fw%^A R}ގsS7clg x/v8=ٛ|#NЦF6²RH^v&f{$ww֓kfPj5f(h7"AG4,{L٭Tc0s3F_ZxTgߩ$}iјܠo:F7iHݎ;Z}!mѷ ʜ8X%wJWזL36?ӊ$O] _*\6ˤ&.(¥zh[uV~=!4J[qS񻖁]Ә̥ܰ֐6x.d萾4;HxGa#ډ'i(~=xLF0,@cx|@z|my_4~yv:kt2ăXAYQ9*YfJM%l>˛& _$v=6Z5y$aF =FdKҥKMx c1E% 8M k;Uby?'$ xˁy׺| ר’ue9pv K(ro]_uH۞a/L7oűCI ykHTcmf{E?s+[t!F!i9jZx F3;/M/˄=6fRM+)aqzs~FѴ}O%cf~z^k<&`zܨ?).*fn("A<s-Fܩ0>\Ь֒mt2a sF0Gq3-90l^v}:D>Tw`4R~coXa? ,O(RIIo&[;nF<?SnTB^9W D,\U}ά f84BY϶(UЍ% WEr*z/=ŷR`BV64Tfo-:̓>!,LI}7uf 5A.B]Fa&9h$\W.rE bٹGxj03 ~q8_m52;/NNecT#U󺊄_?|8`j:ӬW*۩hQ(wln59Wq=X~O#iȜ3:!𼕦 "&Y3Bæ71V*-Q=jXR4Z0{(ux4Bqf #OK|qɶ{fm*nDpk}5\o7Ձ$a?j*QKvW Y ^xePKxfr>phxoI 9jӊp Ɍ򸫉J 3,i:F9ͅt$Ϙ8h&;.[Zn=eY e)Y;Bʨ6u !9XSԷD_$:n姂6ONq%dn;&/i]εn؀O$)nEbKY w|ΥAg mMAȎ7Ȑrޓ 7BYyDtvzNkTPJ-8' ;!N=z%&$-$^"]ʪ^6IG_JfDS5ue [^.buȤCR)7^Na8/kwքrTwGջr{ P #G3Gq?2Ƥ$[[mv3R+L2tp!DC<+(a=[J˗bh /:kzT(\m1z.jkZ2Z%T)UUCm S6_NIH+0B֜Ce,@aI)f3C?_ve'p?tG: ] [WINo+JN,hC 3;<4'oLN@e_m"0 YF.=5·+M@ɴz c<9vRc xA rۭ!{šM*t`Bor#YtA"?_Y)a@ "+7l h}su 򠦤|Yprĭ02!ŠHUJ L?Oll]G.c%r2ߦcf]xOpqt KfuBӕŨv;04AB&\9s6_߲3z)wiN~xDUvD$0N}]k6'ײ M k<F֗5F lRg#yU ߛ~T'lu0r9,"7ŨFxx'QaY7l"Xf7mJ o>hPvV9uDhȡIσV}zOﶯYGϋen<:CRsSZkb&#%l;JR#c\MF~_v!-+WT$ +/KB%\{~ 33 :֡'4, "'ggYZ bhG*/!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ך=Luv7,. hNxo_Zwh6^ {+6 :#vAh` Bʇ2./k{˒o=.6gcb2ڕ ն[E|JFx3bMe ^1\(hS\zȀo-srvڈ2Hm §st[ CH'3w a8̢jZ'e:YcC~!I`8QaH\Ѵr㢃u6hПHZȠ`v@C6'!8rsT܁gN|r kH;FtgYZ'3# dZF-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?-D/hsFiH$PUKq'jZ #3>C+}P*n'0Nie@>El0KsYhE&aVV0k(@%v1Ҥَ+dn9%8.UTza"\gQr .:̵<Lt ZGrkڳ^.ي YTX?d8;7[M\ǘ"UjI7,BTcY+/G*qM>eބjJLG[{"Etb-&8IזS4|<#'pγ9Oɘ a_G2@" Iy>r(]EJXwv%t0%zȿ]~3$VѠ*dW:v&>2DM-bī҈EVe'pjj^[~~7yLFЁݓYEI"uè7遱ps,޵Cq=})\ak2dMv%RY! ;K{r ҄0 ?!0h%SbdNnDW3Cċ6IWDsU='5bbl8Ic("K^=N@xEb=uL,6\fM/@n63# JTXa%.Jt¤V c_Kg( 1&RHM;% zwDqA7-a ˌ~]o+k:UZ}$-v @RRj:.=PBX翝Žr)(ƍ Fnb˄iUCsɇ/Mi#(BjJ mH9y2B s.ll5S.#\6$ւ\{owBiQJawZO73{59O}^5dїX8D9&+>+enVL>SbfS]'1jPFGttF'0h_ EV֟.fY_֮VIv4˪Wjl;hFrzM,V`yau^獜jy))y.' vl.r ҶfRq[#pd; KO&__ǕMؐ]Iك͂hIvMXTu !QZM29 w h&  &y,a}Q `ae.g- Yچ <&o.vcBЈJ:1Ż&OԃÖy^G@!-Od %ޥ i[BO[LЎ*dGLI-z. 2G_5zf|| 3}幡'tn$fSh~ֶ:L sd3zLy #NW@L/)D^Wob2)|\]]:6Tq7\!TH3E-,Pa01REIlB?LM[_^KjGZbjT}] >o\b{iWZ,+2#M"MP |axBT*|f(E-%aGms`Ló1r"9>~hlf`7ؓ!ֆ-7%IDM9{C&%vUf=: $.cDIR|q繓<6-`3.u: ;Gj7 9l|nZgZ!#v7mTH]^69qy'X8>&("1Rʠ]pPi&A=7vGnoMxڈ<g*Et[w<3Ns tρz'+$ѴWS$5;o DʶձjLtEQQD=2нeK'-K ۀ @:<#/=kNf ghM_# C6q )"4, 򍥤 W$ml^2cmj~2#5tA/Ab[AJ{(~D}HOT~ȹ1 o!ok bÄrp\\:I,L@$la(- yACT29M_g@77MvӟQ m;o(%->ٙZIH͒{$st!3ay|{`GԙZ`!65Uih\[b\pWD,>xtsga 4 j:;h6knN7',Mv{64;l [mabV.y;V(ҏ<4.=Pklwm^$=SeœkPK2?HgYZ<)sd{&5&mPlR"<"`w)Tf'lZ>ی۝ܰ5+dlM"Sn.m7ԓZwvM* ,@} cdv=yV ޹NVB< 8 S ' sϸ- 7HҤ[q4AOsEA"!(#Oˀ0UJ φV"Ї]Ե 6Qk[Ua"mDn{/7~r],ZP;Ltʜ(Ŋ QyXص4að ^_f__͹I };6O <ffP>szCpluAYY43dLB GOHADϙEÎpoo+tO6=&f C^!#+8+wbU/$6_K_Vn6'; #hr8ݤ= f!l U[q}e K׍U(w\(gX }vuOݚ("0k-x_ȶKK)J_B|- M\3$4[s‡7ǒVԃ7PC;IM&*'.^x}dSnF|} }H NNe`Tfz\urphbO M-4)iSXo(Iql4ҌO2ooK</q 1‡3`}nLzR0EVRk1:<_w(Xݛxx(|);L`E/ΒXwePcˉK:+:Lt59 ~ptorpY/)#G"T$fA,1O7=&L?BYzX/{^K%dc@APG A-nhuOuc&-8'>JO&!, fw}}f*4J'chwN=Sa0coD>k{zVo=K3Mr4ˣH|'Rj:FUeu<$ 4]+/̚F#iuP=qI+ \={05"riI.]a{Og4\/tZ{)PxMz|Q3V 92,7Bzl0eunٜl1--Ү5@6MH- M < a~e@zJ/RyxZfMYM8Tps1C>Y=$! D_~vH rW䍘%~آ˒L+fcesQN XGY4 "/FC)Fmf2m`.s/<1d6 xSoGqEo_ySK/rwl:~v NJ͆c1;$_Cj)Ij~'- uy3"ELSr-‚V Rcv}W̷K+9l=@l릹Zҥ~؈wo&T(LNW"Yj y >/Mp2)*bd6 qctt{ a_cZW5tO'R=&d-=$Iz9{Jco7\v'G~ F< KnEt͍_p>îʘ݀܋suF6K1zBCvk\pv7S# FQ-`is Nx,I{p 7Sוǫ(^{O3*)ɞ׮NΙR( )~IMm@;u" c )bme},$4|bxUMV:ɾYHط.f,cY( *'eR*Jq0I9Ď1߰ɴ8^gp T}xY;f~}MXu zeH+0t G/_G[M@ic'%4fh/ bx6!\:=##ұ۲'~¯&}RCÙ~Yq h^l+Y:kJ""&gYZ  N  G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108[0/' dZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nk]·Iq n[:|&[z״psL?Tqcw߼rɺȕ Ѧ>+KPcf;%zK~H0mNuJ L0,i.$V\xCPtl[r GTDw_N;

O>=D^v5t |H|𡮛xyIL9!ڬD>,ԺlhU~ɈmmxesBH,W% 7 F;C^Kt>B>QLB:ȷ x L܁/,ۭ-hl,/k o(ƅU {fSOThoj ЯS%=y'cT]&g4`{\ԄԾ-~w5?zàF.H+Z yyi+5Y,Zã\)E$N)G՟_9*Ђ2|jXҰXLf,+ݛ|71%wGL/uDε2dud NWN9p"k$uퟡoLĺZbYx"(dk<q\oq}{0ʅztvZEBq-HOQj+O$8J](fGyި^&#n6 ]@dc<;nX#:* gwsg@M"o5U#-Ph_*p;*F~"C0 22Mk쌁kr\~2]0%Nv[I8j[Rk2}kcYhr2;6DȼwR tPZgB>R =TSwvYXd-*bu]vFU/ͫdMGԕtvex!# ,RGj/gkR6+׸8Q]r3@R,xyfnby[V7vnM%VY8Y E>L!=FYf|ђ IA6_j*-OB 딕KP5 vq #7|k}oc'N\FY^AOGj?A1BBncy|(+8x>~ .7gYZ/ /# WW囫bNg1_V䱨 \p=8W:sp{3CO4yD?uR)@U02{,D[.]YCOVo2A([6J#Tf4iFVaZWd?z{Oһ"6kf($}?]ГrF*H!Q3G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GO]·Iq n[:|&[zFwґުH_!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM?ބc$nu*~Ex:yj\±hiI R!qVZ2i(!qѴa:p614N,k7]o,VcO( G%\wIEÄKpII\F?k0pCF~)ґüЬ'"q(h{V:,9V}G:{82ui!Y~2V 9.ƫ [A&%QrieBlQuzĖ*MQ 횛 /aL|\:P "'W]YEPKf=gZIyVϑ BZ啕8KwH@ZM5BGF4iXkHe~IG֡|]v{"z%Oa{cPBt( ]$v|]M$h%#.E#Yx(ܔlo ֚둯{85Z;JrN68@ 4ejlۙe@;X,&|›"Ayi]W] %zq&$b;&7=ƍQdǽ}VD}A 3->xY=[d_oJ a+N{?55PlRK*lz(ԗDE^<%>e  I_Z]QoT>:=@[M[Z4m)&^>UOy=_+ڶWրMˤn%T6[ҥ.c!=~hSBR>3gvԳo{ L{CCwIe ?u`LK~:ù 2p}Vxƞ}M@Ujo6dsWJ-n]>etɌѮ>/{a'_%_΃-3yI,zm_6`}TWh:Vs@ݏ1p![YaY8R,vݩyՃĬBUBch; :gB]k9AeW@aƥq1GŇ|Lkw0ʄ%xa-n=Vn `tX,Y.K+?7UFm 3I`-u +9gAp]acm :Wή69+3).7-·S+w )H,VbSՋ,XHVj)l<Ӫlִ+AOGR.~4۪ïf`$aSȴb@a9 ('T~~ʼn7.kM5L"{gG\: gN2s7'ْ+BГi]){=&bzP[ KMDpeǦ (&6*7o5%)+^u$LrS`&y>><.fnZ55'm&agaxC eC} " 8o!ta͛0z.@hi Jh0>?0 2. ˺#'+n@*;(XYg4sT<3>sCKW@^O@}Pj([π揤$>a\!M Y)h}ׄk \/6i<bnFpDC_F곍F&mʵ嗼&cV(GT ӠWK~G6;b7e&*2QX 4RLx:6ke!R(o_`Le= ^&Ni[gU.0=Hm`1V>-NLxdnY0PՈP)ɇ`3":=ߜv 0tYÆ ^4!8yz[d9"KK!E;oO̭1FDB{;3'Fm..Sk7]Ï1P֌ܜrhTb_T^'8TGD}kgT Mw*N͝p Qw~`)}3:q@.1X:Rܔ 15 MyXKt֠_ৡ.lҺ`ЩǕVeN"G[nUMZF*86 JZmu55s"1hJ962RH.OU7QZ88"3X|j ΀76Ŷ3SlƟfra1c;@鹖4$ (&m;)I ;; a<#"l8h (b uz|QEBakj2!6ݹ4ڌMW Փd4ZHOuNcFrvCx.KX>Oh wBcsk\J䪂D ⺝­[kQD5}ח ʒ^ lͻwe[)P`X.]R\N^h?9U3B7'ݛAL}Jf-͐4ؤ^tO\$Q[NUd ǽ=6i~U.d>?CnBz5NhՕ3RqI`*o@ָ8Xa#VJɸ=br2 חvzݾUh0"ǴpU䒙ZҼ|Xf;)a$ާ%M-~*9$|&$d:XfΉ[,n{Α1N_-[ &1^?uzcg{;8Qd+K'ݘ`HEr{#{ʻNk(k=HYUBPShkh,aWԙ^rOGە]NZ]å_lFewTUb[\_4J%8ۯkwuxUu=W %DZ;A> QtTCdшy Tf,R&: LUB]ʭp{`&SQXgP7)b!2¸ PȧWcnq>Yʃ[s\B c[{USrlA܋tw=Z24h Lfi}pr%+ vɽC?oiҾ[!`Dq횬36RSwDX_SҶ@Is5*cƗvE3CT{9L>k3蚤H)Ki?)19:X#[z9A+=gF'@}9K~"^ Wg ?տi+D?3YmNJm c62ΛXkakngReby%vE>'F"FK`AYCTI6hzUWY1rC4;rO=8ՎlmȸfQ Z!O_Ypa[^LУ 67BO&)DZ/,K~_!]-\ zG"Q|#<.5@}L=e=i'n3LjbgP3M X塵YVe&K($ 3ӻ`Ր4|1?E9du!n}@cWa e)&kr_6#9i&$=HnV3L?uk>?4JR썼G$я9WvG!Ŭ3k"\گ_/i1(F)5&M ?A 4 |2\I4=2#U`N2׿WVwYu(oSݥ ̖h/RF+*3i!H2˦Z|#5o5}=Aj1n LPjkT^!*Y"} {K+׉Ebe Y]mHF .cZznJuLޥo9*ƫOX\󘗨H_MPO&{;T̿;¹ ^WS64siE)Y{xOmjBΡPR1‚D`B($᥃;~|OE Yi P8ftZU7ز0cB7K-jGz">ۗ hXDt+nGzwTϊß]DݮPn5$z6v-fL2#?񁲽u?@gy{6ZvvY6Nǃm])ͷnV\i18ĥ\Ym,G+˴87z96gyKz6RxsZ%-+/?x.#Ĉq #qt'h<]hnBE! qhU:Ҹ``%6^fN+73vB+lAh[mz^y:%˔7|; ̳e˦˚}&'{U g 7b nvfJ*M.!;YWx$}8k 6B,qFܑ bԢpcyD@ASy(oW**9$|fpO;`2u㨥y -ƳBM bb0|r[P!Մh0³í\]8Pmn&D*6Ҋl S$qVH$c"sل?L &dMdZcRDjw#$(Å&X^p/;9.|~g&߈~Lp1#rHWGmFRePrs~^H6#wiZy-ALmE~heg"c8Vcz c(٦<9M%% |,Pj<8[ 04I\O\<`5Á.)Ҵߚ҈c]g-a֓IIWD7EZ$ayלT0p]Y Т&Ul2/0E%I¯c(2#M}/ٮ=lZLH igs-%"!M$][uUW܋ 1~dnX'BmA@WyERnK(KwBeNɈM^3[ fI:T-N?RX<TvTq;uʨ`|{Jۅ뜎ByTSO26^V%1t=m"(9gR^zYt"tRŰT,Oo}c(\LSG!hO|0̲$HqY3jBϠ_8#:WMA+rmK CT(𳕸hPYpKғm+R 'z>呙~"51qsfCXu:,B__-C *>^E"R#7H3%/2-Ŗg^4,s~}." ~z7AYDա\aX4.hEnT[r& }xN;Y7-lϊCr}<]yWh^nN|]j5;_@U,(Lq |$A vObw ȖrnǛx)u;Y'l-zX ɨ#xt[Y]}z NȎ7nc4D:"+JgQ(cл@2h˕ivcjf Y0@D2QI?iZԙVʷh$z.J*9 G!CLM–„y"'Ɂ2]|^&\NkT6 %.< n3|u30f} *;)#JޤJ$[z6N8,6(q"3|2#U2$RSZS5e"l|G!;aECgČe{fz. 8#Y?t7rXNjCjt^HMu6;pّZ9SK}&+u]=QYhΐ< yy?56rЖ-_H@fhSlXk5ycj?UlQi˫һa{|mNi<s><&|[NL'4ryZ T ,'F&+LDBx/ZIfuǢ:Yp[n.U}*۬.;sÀ. Gl0#ü@AO"bhFJ8l޿fC^f._#&]|ٍġRyhzZjmzhƤ]c2hZ^Y<,/#-kp+Kn zlva|av`jJ %յ].H)_%ie/ķ@∋h7*Tpr㿻l^5>Tt;׮-|yjFi]"R'YF$xyWo./Hqac4chSj3-y*scY5J`X}@kz/U͸BC@1ޤCӀ݃7ࣜ^{u"YC؂}CρgiMԐX ߖ`ju]$*xZ$9J#!M]ynʳf {a˓M򙥧-ê`8OS L^ QL6Km$=|w36C(P?iɠ\xa k#g6cҔJd'?tC7pQK]ټ:h#ӎWpM.O{C /7wp<>Qo%e?݁2 p96!D'Z+ ++;TBh%q5NUc|D"ĮwEn КSf"|M=zr 92 /{Y⣎/ObomFy2klٗ*AoKg cXh}D}7v4>"M^pd#K O"eZN].)Ȉ*b茷xۮ֎Hm:c4ǺU_M n ^!O.']&XJُ$µ_@o#Y}k-1SHYb,NV|6C𵨌HZWkadn+zcî?*m ƀ x0b) 2HSQ WcM:>t1S;M[Z;c;ID߄j VJi(345pWs^LYo"w jgKa$ uRSp:\? 1 v`Ac=E/,LKDRL9sb>(eF]hԯpl9^%m73~H dd ;' &Y`. `ulV GO|lQH&xP"cG힂RdФ-w c2J+y?4f\'p3WHgy)dTpy^@>JZef#6߱†D+Т/ .L\ TT{F3Ϳ/08ʔG'(ypw\FBO#9@'yzM"dB"l3. `rS.R7IoVj#&1#2'O m(Ķ 5 =2q9IGޑ0UCD׳F4Ci9ꡉ,LC"lRǴ )hmÉhG9v=`6ٙFgakn3:E Q/HơL/<˽RqI 4=lۊy;W\߻ƩӏlP*o`\2$ѸF6&hi\ˍنI˷yqg4&I0Ȫ蒢ĜX l*Àkw3'VXs!9wZzɛvk nUJ!CTsH$\umTh۾ \ιӞ4_ yBz\am l<r _?y,YGyO'rF,9ÝV嘆!2|,k,8K,aMFJlepz ֛h^ ֩fkx ضaÅsQ0e4X}iȾ؁ify)RI4tuM^󥾨/2pT ^btAڏU ϏL4\\ϡ.l6 Ld ~ R;Y>YB‚Uxkf>6,(켼~HZ< hgJ{'<5 cK=bx1ctvw;Re fVM7e_h\~&!C>1Av$`mvy+GۂCx*hB6([ܨ$5=F(IOMefjؿ >B!Lb;TlOhIon>A:v.$.b.3qN."E" 8:n(C'ImjML&e°H:- {B߇d(LPvS|d:<Օ yLaJS=+Vok:!$`u::*Gj10f5I4]`~>ݘ#93BMNFJui#F ‚:q#qUǯfA4a^O3sTi%K H8XJQ]OKTeaN1 /#ϙLYPYa!I#!=T *W7_%"J@E.Wj Vd1r8jĦ1!H7An{r6P&22vYCȼWߣt.@4,KآѺ?udHL .D'z1Z-5*laX6 6\D<3^#1{Ӌ[33b;GxIS#lO\ZP{EA T-ȿWo@+̈́ s.l]63ZJK)UQ, V!T ?u')bmgXjG[ލސ zF)Kઃτa9@€Rȥ a_phѲX9vj(P(xjL + x)NVkX=iledxZZǖ]CS0zΩE:kFnt9u {KbL\;5C=\u6l˖m@D`ǀ,Dx@>^5^33,l6%`ko<`ȍuaL!?PwZS3:OpXe4rNL= ؇7Mx̃_>?|tɚةN]-*0=+N()i@`UC<*cs.L @bV#lw5+ i_4OQ!XϮftYxW8`#|XI=q(x0;^Mԇl2/ %  qKxIu]%yʝ^ \u&jEWA *8YmәtTtu9| PWz6 -Zls0rϒu5 ⷕ }&o Z B,QQMA֝)nV KZПY} CIxJېW? =AEjFe yg<b5\б$w/*P /"_B>3HOoowѸhJ͊HY!6. `4Ӂ4DxM|6@h Υ) bO^nyp;հḊՇ;n3!:mg[m\čg{4ѭZ1XQ Vy;걱0 ֆ(gyW.`)-Sn|?9CK *'t0a*'fzJ6Ͽ<KMgc5N~ LpjT. khd*9נ>,AZ{LR2<}"k/~9J1$[X]B!h^p;^f 1>(\NԆy23zݥ}O˅=G\I[761# lB w@"7%Tr/7 4X:Ο`0vn~&d J\uM bȔ cm|fihJd"jsXwB~C= LO'kݹC{=W{]T䔸j2C{8K?#xВ"K >yUsո.ow9̲|9J=a7ó񓮓uiyl ,$(]#eSPQ/'P]ٹvO&v \4exԩS&*;㦢Q*4Q~(m RpGfvΛҵSmfWb9O\2KLٙ5F@CAxn1o8r3Y3vBjd9޼K*&xRG_Y<=)D&yWWAJ)xa$MFaVE lj2dAU5)c,z:R% Ȑړ4M6mTD_ ^L.˔4xnDʀm,)pݣi`k&yO aO^Ju6d00=H@XzExiFS<^mNXV9q89xuaFk)2p&|V_MZo64Ƙ11?<%z nnee`^a*a 'C6x){GD1*9fJ`Ĩzp]UiNToO.-0B}duv-_G8 }˘(lbpFތ7_,ΑU_tuCq-.17DgYZ8uYtvMU.K EvN^|uqtBv|<̋%{um1dŊ+vΕk¯UT)g3sεsVO#qbWrLIw F2,秪r~˗WZu:XT^/_cMQT㵠@mځxrA 0Wt1mH8lӊH|iNTq 2ꊞZwB W "xpnC E^8[SRD)~!nqEv$Kd`Ah;VdfџҖVH(OP)Tvó'7I#|!tv6!hRi\]/:E@zpۂb*Ǹ*A ]6P89IFՎHT&AB_刍#f2Y*qfa2.%1q1@s-!/$ƑQhe7`vx̔ d*vB0ӲRS8hWy,7;j_\\y+rGe)Cvf */'{ǖˑnp 3X \NP2䁛Ghׅo*C*c/}bn>0~רs" ŭDkpXw$4kNۗ=Ƥgգ$| Rl!C-1;Z w>"kPO=}]zBi@l+C/),qI}`Qƒ>:x0a: zLkZFX^'"78Y Cg8w&W88uC-ރ lPyuHmzrx\Bd>) J<{5ܪƉ`-给1BC3(ZfN_1+};dNQ"̓HŒRH-%t79ví(Ȉh0^cxcv#,*NavfBw(舶n)թh=4R3C~(pORI_V#of)i;RK/WN8w]@@B I?ܳM.¬ yAe-=$E4Jd*fB420 )9McGtw Q[^N{.RVU2E >Tn;Oz:U׳E0J ` B('fHM*E*^FQnNJŭh+^ ]RQ'T{=@NM>wJWcFDH}x5IHp<%wfx KkyV;=2VK$c:G-boob\¬HpW܊awCH鿦ʮ;Go M=Ds[׏ C2$=5-?3J*+S+=IEq(M0$*+})Z2,Xmn$?7ZSKp 脎<5wg&6[Ơȕ )ӷFW ٵ~߶TޔM$T-7dt흏='-ıatzo'LO=k$'#WW:*: -oZRzԨ L'f-HFNg;]9K[G>bEhxnp~UF.fyQZ-q?Ϳy+$ERƉ%X4}Z2s3XV$uii?pC,5*zF|Ow~Ojc0GaW L>?z epwzSU 秶̠LmpIȊ5X !l[EleUʮrC$9`๤bUkctV(&3eϟ.|҅U3~ńcA~MPE\2mti8 ̨ sRڴ`t9)Qx2 LǨL~g&eZK'@())0FbH?! pzp^wȧPyl٥L0W)HëHe&-lP tkY_39w9_bޡAxQMW+iZ/ B*do9k*{SZ!(mSHP'9pv" %p s=DPc;򸃋t)\<ZZ{<oGm9L~4r`\T0t,L֡ZExcĮ˟3;UH;ԻHS9_ғ)<; ,s_MwPウn#ek" hޯ<$zQvҠ)Ak]Jʇ;4IEZD@$\.%qY'H5ˉ"R:ao}L,e+[p֝1c2uVv=43 :(I9 M-&kݤ=#v- GmQ9΢?G~X%qTphD$p/H5@*>snUx?䤭:$RXQdSEA9%2afF3ܢWLVڳdˡ %.rne$C2o"RL$3FVn.4VtA9R/[q痽I&` ݘ_exrw!libߕ_U_V5(plв{VX/ uVȪ&^wmݭv xtѾ9y:$!¹ vba;.b!iEtB׉+eRt;5 J'D90LJ~A 5';n:Ysd.] VHVSӎZ@UW)%Um?tÉV%-thtGLEա, ݏ&ќy+5^I@ shvݶڧ~C'B^)rppȷ霮'zY8bZ5bpJzqXfMI{'QNX?,e h04m^4vٚJ۲]X:q7эE~(yy2>ا#l)J5]f&ڪ\TCy$78٧%GB_ܵI? { A)xD8\tE͙mnqk$T_3~sQڛوxv4m5E|f  i4σ+t ]I bX*!jȵU Q rwZ$ lʾ?M;z(Bat-"Ѿ[""}0{Cm^~rP%QP?.JS bFšwɀflYҝڑdǏ].tJf[S䕬m숞o{Sexy(;1Xu@;N(8WٽyD-iwl~V|2n~(tW^c1)2`PXcd Q}ȾbAӪ1yK!}}1j_E7ZV'vpݒR 8[wEZzT别U$wTw۾#:u=ZHq>hnHr= em&4J1S$w"%A5V8ɠmKn?>nCM7 Oez`| hpٷrE%BX3))E@ZoRuҚDh:2΄.v`g'dDk,j7C`sR9/~UBOO(oF@JP_FZ2n#*Z|ljZ3LW;~72slU Gko 3DS6 +S5h{ݍ#:Rי0,@4\ZJ bb[k T$>i͓!x^.?$a+1 OyZ0 Hc?i$gƯaϗ%!Z,r hu /l2 Q7FܥV.r~C~BݪwQĂtǨu֛Bixef1竍$Ik:NB0ڟiRbuiaA\9ThE$7/V_"HP!7䛫bH vO!*hԩql|MC=)zl=i(JӐ.X b٠]uvE~|4'*<+a'5RjODLUODiՉAC;(Ba nL &9(IJ #X %5/{9Trkގ e(7+gXfeEE`GMh<^1mSmFXCnj۶$kśy 7t}Th 6XǂI+/Z_VV),{=R8G)amC ο7pm6Dg_E=-ozbs PDmCe!f=޼}?Ar_3qn{OV*Z`ljr䛅ΣpfVLw9#u"?_NI_}Fm>^zt0C"?![# _ +r#{BZ+6Ԛ5hGJ5hx2}RUe&BOLJB6;.ẆT@Ow+L ,J07P1)jUh>nL B ٤aY CyaAYῴO~!n/1K<`V(zh OIkTy[ʿcj2^q'x6tJ.4eJ89J56vquZrJGhۄ~1EADx7~{7MOSZbR$ =L*[R{XDR-Y[v|x%>a1P}'h-`uL,m$5Ao 11BO)~"2r0"#eҼe|~EC|eFI6lha,`Mb&*f;X[fx }%*B; Tk w50/u68#nMyv'S淬@vY`HJ! ^\*̸5]{:v% -hI~ZQQuEՎـ~4f]%Zo{[4n;r5Ѻi[}-&>ǣbK.ԫŋqپpw'kvA=%A +D]|x"%BɈ8f!lE #(pD.>Yn8tULb*ѥ̡+4 YJa{RF*e" YFTL%wm)Ɣ'>!g1ϧ+HHCPRdxXɥ XC8o+JS fF  FĄ3)AS±av>tjˆIlWi;&e^׵tBfvMju1 ~F_Aiy}0PR0n$9h򘟉$՞{˃WH%{,}>Lcs>+Pw,<qot.QJOq̊IpĨcKxuK@HRjuEs=WC.*zaӧLBRlDm- 9KFc%BSN-9g% Y eLk 0҂náG-:3\ۉRn&kC@8LfXTZwxJy7]Yxwk<qFx^#prshwb+p*| cÇSӵwqMnhQ!}C;'dK_f ^eƶyLmYN'"5[{;WG]ʜDB&F*ojf5 .>y!;lG/cCW9Lz{_a'ykoM4])TWPfN΅ |p׏>sQ(x9,mهRFP]vRzÂ##N$rs\F:Q^1Mvh!&,qdpG`0*|27(r QxZ7H tqIo:YER6?PkKMG "Du9%A*S$[aB`UK%5dcmӎ *M0cΡjF *k[Nbi1ɵF>]Ztʤ$?F͗OlgR'w*gmoںsJtc]M23XhH i15)Uvbe0I#_ۗ,.YnpީI<;诇d&gJ!h61́ o. 5lg), ]ׁ'U4qxyLjNSu'bG˚kGTX?PQ[ː6JWgR>WDTkCiMSul:g!|PjW`xoDv>"hdNup#sKIg"ᭆr$22fI A$VٚEGxp+A/eTѠ|mYIqjFɿjfÇjX2xMumkHtB}$9^yfQ󐪭(ii;UI󶲩?R͘Qlܕ7UbWfQPk?:ZU[ u;K aHOOrv o+v&# _49vzvNc#{h׍ c]jjaiI^j-ө'yU>;*473i)T*ebSF8q\on-SAtiS1RTx%>wB^=_IH^rFSwlכUfs!MQ6"/J6{j.ΟyT" `h74XȂM%3g|`aNLvV93WYI(Q?4FWT{39pg*ei[ne(6b\!pwn`!3^IX ;xHzo&tuռȱY#7Ǚiā.bvF$Ը{,$*}@%.Ɖ]㽡)ĬKEِWWOST|<1)xNn0A,/$"m «1@`#*hHN}N >~ ? (l\e M c_cm;ybnΐZ ]& կUf^Q75Yp꣙Wy!.G,s faI ,Vm-)Q'".gU|iGmFۢZY5wZwP* (o2,i]BtJ(m-vkK6@z!V̇TvsUƫ ܣ8G _}[ǨKavz`ŐlܬLրXJIdQ?*"+u~lkMhfbG%. Jo曳gg(8 iX(Ұ(^&Q%ހ[H%DhWn0^" =mO)3VE2cGj#!|[Iu~ɉxH4FGUղ\u-+Ijxd`#mRCOvsTbo*o[COki]Q}t48s?6^G}i* uR;A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112#4/' tZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N2]·Iq n[:|&[z|Sο{cƿiAX[X>>YԷƚb7YKZE)Ѹ-9\}4Ϝ0s(H/Wo@]Ȭ$8?y),%xO &|Qw/*IwRGKFLCZS{d_3)$%t\V~QqsZWxEs96'7av%ON[U3$ƔxKYK9]gKe[V# 3r~T\9d]Ƹ ._nС~wr3;|p{~ HIU15grB6kU6;"JLXBG4 b0I1k77Qjk7 0Չk3k;01<|#ɪgĔA9{@57>CN\ T1H`w'5)2"fNLxw5wu"LƬFmY*Dܧ6UzYxiGjhӄ(7qdiSDWAŶ0Z\x\"KX#9YA);Կ]}N35] " Ԇ?C֩}6:g,}>O3m?&4G AN>&d$@[wցr.gM'"= GUHc+[pvڝǣ}gYZ<@RLq\_WTu_Kۑ54%!f㖦use"SASgj[EZgUcnîLGʞ,almO(=FV_BB<:=-MZg'vɣKfz 3^.m,˓^߾Yjpx5w?_7XٽcV_P_Eɖ[2UMm줙EO8]ȋ>Gv͝M_V'ByJl+JF<:1ŁQ(C Ok^2eдeQ%9?`=v-e JvV }B=XpUz{FCi:8Cpwy'FT0"}K@פ[LQ"A?drٿo̳J[o0ÚR>t_T%ceCa $<.UZEh1Gvnaq S!8ǾoC rRFS h96Tffꢬt!EA*U9X& (ĬsflG1^aG.!r4h\uo<8HZn,bk~yoPvj8襽ZI/apk\Q}oПF܏0<# XZNph9wR\i\h诂HqeZ*z<#ֳl۠(/J25dlZ`AѱY=@Eu~]-7/Å/ZtkY*/{ :|ɋgM`G[@hD*EUHTpߝFZۈSTasϓz3Oi'ROϝ޳;+ qq sRoI $~QF:uqϩP9b9:?)ؾq|D)n^Fק;aGS%.Nʠ܂ l/û(Jф4 n%l܂?2 \i%?w]b_xf۔H*~{1XdTLi:q,rp%w\K ΄ЫL"iv8pZpY8GAC; t1p(`\PΪFMaи:d[k$Hn#ʉG{< .Ko78!*z5z՜yr.Dkiٕ~,-.^h嬺YZfsK@MEyo [QrB2A /t ˭?Wt8+o0 ]\|7+Ӊě:]{tu CuGgfӅnjͶXm}8 m 5WwT}k.̠-}7nr+[]ۧE$Zr|,X$= ?KQ68aR:3xKE#˵ ~70&%wb"к҃n>w{5X/mC0$"Vfdl͘6+5"jC+Qm;HUHZO[+dL|8STaFCDXF dfsgdCxeJP,9Ĝnޱ\^E Jőp)kB8Q|h}IIn-N:D4yTD s(hl]xhpwc̤L:36 <z!9wϬiScfDLXt~uOIRlC!Io0tzЫS?z2Gh'kHWy#)T44,H 6LHn:ʒ[i[> $qk@-F6$ylɶ&@.n([ j<>2&1 MAq2MEa06+9D`y"z#f:umKk' &QPU¾K :q(MωtcٳcIe.耾fQLIrZTkk1vcиneQ9yL%fG@o2.Th1ڹ-ԥ)Pe9UNd9: PJE |4tZm)s/ ߭9U[>:r63ri5sEls: .I- %fRfAƁ {X z^2i}nF"b<1xO^`֩0@3JYI)ьlm=8д)¸kһ4x9 (GWp$ԯB[(UD4=nyc*+-zSIQR94aN|-<CMF> c! ixcbv$1Ask6!<9[*:[<˝F0ӊ7dLM$qz }rC ޟ$#[>۲M2-#址4l;qv_qK{ۆ*Y/꺲hy%,Ašn( ]<|뽯s;׈3 o9ɶ]%I#)ٸ!mKqg|Qz Jrx G{cۅ;_f|hĽ[>V!)Wz͗'56W< Td!A*c`ќ3@;{lܟ v!v[-[wWY Zskbp=( naݙPD՞sPL~OH yM:mΐ).V)օ2V!VytWEoscHܰ꜏s>]uHReAg#UN;nȩB+fM2k5Ai Na'y;E:6h+'Uv"x;x=_yvM&ޜ ?zZ2. "3?N#M5R~&j(JڮS鵟`#fqM" tgZ8HpbKSĹ@W4*2h("# ]W 䁩Q vQXWH|mKCcgGJ/XK+UM|=(C7w>iYB^]vD8(U^U[д o)q>| f.}Q+l><j5oֲ.z>qMu Ig֢V& ĪQVC`_Rc=-+PH]mK= +_-[=?ՈI=+m*¥')&۴6`9Ls?ɽ3ؖd&HNH#kNma~^:ѬS z6l%YO oj,j6բdT`7zH+7QQ3[>jR7ҷSI`[| rޱ$<dWxu2.JhM@M*?127w<~~?c ԩpRm9(i𦮣ÖCq-Tðct|飓U0"=`:IgF}u-{Jyb>{J&ExA nO5x9/cX8թ)uc.i좺8}yj͌.Q";D/T"8[.$Ůw*]j ģ1U'" G$kWDqj!Zx0Hpl?5mEKY>|ӿN2)WBܲ%p bGbq?a^d" Vl!>p~^a9_pdvƀP;R\`b LhhRˇG栀teߣ ǰ-Kj%nPDNC;6ʗ3c3# !g<%/GGQ z @ƞdYzBOwW19!զvg2M!mǣ;!jKP)-#.qFs~gEYJ*@|'k o";wZf`yÒeC%6֋bזԧOӓ SٳS"ׅK\+ g iB d<>hƼ緄FX\lO,Zs=8MpPd~0' r[J; UoRiSq.C{ 5$KBohJ;(Q7[R٨}Cx^0N/BQ.`9@t:ǥXYZTNqņMGw{'5g)vsw.W@҉jc_G0*TFO(l N[ ëIh \x6zC7t/Q)ikfBj-p#m5ܬaۺՠ^>cԟZ@7Xq;H:xOܛV-!$v/x޻֐]5HW}m/o)zdq$U: H' OpnBccK(y9 >gMhua`ll~C1|+OVkf!xcu:lZ] YH ,RM515A-~‸$S^8ʠyl-J(F'BޗnkDB ɶVDmU(&.a'.DfpU쨐e_s!)hl)Vw޵׌ph{?{|NxG LzPŢWE("(,ڸտ¸}^>5"PrR ۵U`oud9&ܖ$1cvW9؉X K`b8cU`"k h9mG֎͟k>BIsۓG/ h*};~AێX%Md~;ɹѻo&,d<]S^4ƙ0SWO#+'{.b@J|F[8][`>jf+N b R.JT]* "ӏ\@]qwS(iYowvqd՟7k0vSm9;.P[lQ(gmhS1WbPK8$JJLgyXayՔ3GuYTU]@1ǵXNWMj q'hed.ZQl(A%# "ʠ!ȣD PYZ5fIn(RFw]dɌ*D]7>혲pnc?I}Ɖw %&sЈ 00Gmp!ק^T/NP`QH9&Li '=;\̤kn>TTg [ӳըK12-b^+kKHx}v}gڇ;5JۥղA򬤷~sS3Up %wG3h$ѮB;mڃz%]EҔg@I)؇èHjClu=HD>G)Y%A\p@.YQc/?Y:W_N$!Vebe.f }:1M4 Ps\9+ Ćhan"aJ#ƍS4rõ,Z/$iߐX6/sfN'K#ߒWJd¦ɤ܇tt=Gݡv;NoVk7LٔrO~B )%VmTDh{\5pGоqG TFXT~fH#{ȠOQUND߸=1D`%r WTP-YhʝQL/V*|K_WvfɬkQ3e *t8z`'0p#HPZEs5b>)f5>tRi#"3 p3 ˬϭlN0\-slg6{0Sq7>ֵ,3'D{,unks  .j9T%Ռq^{VVA9aȟDi8JU7 SpfBH/sUkq|^G둧"^俎YUQX 8pz4\=fXGeů ځbNHQ_WVF9*k +ӅIc"^6wR?XNj3߲raH,X{y2ڭ_~v5Aխ?,}]5!=% c2GƯ{ZR ~L08 \@!ݱ\+ Ȼ5-cazm [ 0R Kx&ym }ꪔ|& D/9B3@"l;l*DDWjBF5ϔ>2o ȀʵgldXhL|T7L[Yɗ͌ 2+s2 oroޞHJ)|V0Dq,l]e5w O֎ڻ~LHkaQw8sݪ;j 1P-̕hhW1kuLXU ҉Rm5!HvP]|΅aj#;lsC}U+: RE:}k8#5QUj_Tnyt^ڣ{QiU c>SLTVLk{؎1c(Pp ])TMO1:[8kyTxk7Tʼ8݇ >:_Y厨J]fL:ȣ$Y?&]G'BWly=Ԅȷ`*VyҰCig:ﺥ9%O/4y[,B`8a6 HNJyX8P5ؼ\6(`B۾a k4JGec)ӮqD'c͚&u3IK !sy'=I[&rbJSGǖ (9[x9p"qƏaދ (*#Q}Qⱽ.wdzفp lQVe1u dSM΅ |ٽFó*RBЍWά3Jdk|,(:\On 4 ZuGnGP3x<+-~$We(Rv2c[uDx),6C6eRX.7>xZC̼30I44RϦQDk iӴoN-DL'C9Le\4[ɓLu NY{[UXѢQ%+/,@ؔ>q~?6-F.0ܶd 'sbFi&9h4V4V]46-D%}%FŬ3GOT_TU|&@Egk6ͲYjDU\c(:).4I4Nė]H(6멽B&HC =_^fD\ak)|2GAd&CMUPv|hrl${^%r2{"@t%e l42,IeLУ)3 jL9 0;UҨĕ0M)<Ű/f dkrkc{ 7ZO(a4o,&౪= O񔉱gYZ ;+# 0`qK L5uԇO+V1oe9~;N7ty#yG=+枎cOԍ=, f<i.Ne]sȘv&`.SM% E {D!_i(o^yIwo8H6-a&kIaނZtr52>͓ QP\|:k2 xxGst;Tl4Y*3Gm&.{Z~jSn!J;]#BSpMd'նskwX|߅0H7JP48_%a)C Yk:`Bpp۔BRz,rUVQ)o)NBAz`#%UmM+?G:up9@]sg_8pL֧wzWڰ( f/)P%,w"r_Jxۊl !ҩAUWR) ;׃5 zC~ț=<( DlPk(h lrMɩ TeWJtsnµ s@?%rUF}ξYM߈YL @ŧKgtBvP=~R=F)&Eoe$|;JVm^S$a}ӫ]HDWڌr1~Be6";t,z(j[KQmiɁVEx 92 ֠*؜Bɶ_7Go߭#]sFb^b-R@*ìʡG&ãFKv|Ty\updƭ[* L=vRUDK*P$হA7wYJƭDQwT)T?!Ⱦwty7 +d^(:r8.= ЈS7Q&#>IQWӻRCVYcAE}1r﬍Qq4I8T2-i.q> BO\!KdPY#nBv\ `d<<ƅUuyszpqY(vbyś.YJ@JsMW 񉔻~ߚ\?=]KԲNH̬0/Dj`"@]KhS 6]8uRܔH ӈN]jR~H4j,fiNK^md!iKlYb{ӱH)N SxE, m9Ķ~ޠļރ &X`"(+P nX˟ê yG*;q>e񣂗 ReE\S"$ fo#͍e^Zu[-֪D#!2:9`LIZObzL5XxuPĉJi_kqj\aqzCRA!ӊěǒ/jjb~՛FN!. ۰q?t[/h%p+ЇYX[4eH D/uIVAK"AaIZ T~D:?u"Z bϴ ]}uȑ\qRFwnzd΅r? 3>޶GX="7Sg ]Jr=_.-׈x֥c.x{(8>R*ӽ.X՝I"H"D᜙niF4i89& /WG |V%y޾@  M!\F+w,%J$gAg-THFkx7C%I+qE?j_$G'][݄B!CB1.N#{81SDOI73.Pp:O?`QcItH%HjUjf"nHu t %~Ȧ=Aϔ; 7,ߦ@L_+#G,I3V>WɊ#jO)EftNs#aSԣEC8pׅە#}y'vǤ_L6h86FxgM@?eoOLN KmH>h)z؟H 836G#n٤:%@ZҜjNSNwĜq{ORP酪GpU)r&8 &`6k1!j^CՕzYBv`py A"}ß'&vA->H һU^Dd6p#p6S XPr%Kj;sڳ=~+*T!`q4 J; yCø&3*41hjӲH(!3S:7!qb)<%۶)z0>'),P[~ SaRe@$/? #lZ9 ‡;dGyV} H9zPaڛvc&fKDoA2L;h${zDa1(qK+HqleO|/ka&c=}fzLE@!uo{?w԰i5,tJI1GFR4O .2]95]Lb C>^~TlH{JiE9,2,ؓ7 *@Z҂GYH r>JY]p4)neI* Bzꆕ{+b" |]ecvMa  P  XC )# lZF-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 EAaCAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' DZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z}_芩2>ZZ%͜Ţ%0d0Dfq3E; 7M6|qtܺi"$8h H=ΩxJ3[8sC5\ۚ%s3E{"E/x]z(s5v9䢙r'o/w '( 'l2;2"[6e!j0Xw5}i QXzdH @+q%##Ump MJI(dzɢ1  LJp[H9:[-/z!Yzze̦RԶy9EXE m% F&7Nhg/33FS#}F!Յ^E#)4C "):m3 4XՉƟxMag/K6U_aDJ-.+?sl* $suZ3#z[;gdXwL,k;'Knޡ^͖YOq^v_{NڸηhD-0Km^W,Y uBOċj~LO6m֋קF- ?a6r'ǖTK6nCz`JmN>I:~p{ =ba 8Kfjhj½C$::ĠE".@ -u&PvB=zIޯ: n|Jl" ,ܥ4z_,/SfcjcX*FoocwZ@)l0 lI lt=Q\IGo] j_Qt  Ϗ @P+e=?Sle/m+EA9 MT;{gYZ? 7# \ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"%]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;4ʅZ6od8n{7auuBеj!m'jу#E5qJ cKȬ³w2Aa>I/PUTA+DMTS\kf&N7'fX HaF4WO ð~5٭sT/C{߸tLH Q6~[:.tVT8WGFPxǤiK{уA^zV6[F|2g0ә?5#GpILw/ qdCTsG7Y7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id114-<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! ?]·Iq n[:|&[z{ syqs&؛T,`ǟ23F89U!*]܌gxȋ5&xMl_j*'D4ٕ*fO3T]qvS'n2*,'Jr(WeF&c sR\/Mdb@r+)dPBEsS&%1.M5Р\ tFdtw?':WNCzhZ6RcYX K*.CQ\i%sSZC; %VvLDaqcKR-OY9 |_ I/5 K7vEC1^V$ieX*7n8c2x{M Cp=:y=cm#=H;Pi5ůl?͙5 L :9'V{T@.k/U~ـڪOӉ|wE9 #,(Ɲbi1w  CvE&[V OQ7;mz"FY|%$B-ޖ%սVg[nN0ױ$_60Pȩs,P @)K!ˈo988ыe1F{VN/yf@$p(+)Inw 4Ծog>W?ty8ۻY\Ê{{["y. KNxy:Q{hhsjy2(נx{߭)n/gYZBh_ڝ (F?HҥY{63wX,'`E=R~ ק/ԍ L&᫻uF2?& RT7TR o~[98]W~ǔU >|&irt!8voEW0dM-7ӈDi@ KMa}ՐQf@]~wWkN=iFi`+!|Tb,0te@,7au"WY#2\&:țǭzBiM B_˲SR8zc<쐻=s ?Ig hx7l6+ -" x᫤]S}crWLA)O-[ j5]jaie&kW`ZV=1ȅ=CgNẅ́tB&vꪪ^BjL7y- iƂ Tldl}TEt$[S9գrgu_Dd1uy_U/&lvZes I*v+Jl8u!S?&CgSQBaGV2P\3kI'?#z 3>Iu ,wC&xmPwg%hD_O#f}.Oc[IqR4:cVwr="(: a:<ݸ bs&xѰ'zغB6c I+y۳,̤V{<E )!Rm t 5W))4nAPtҨ6tWSѨ$,q7[Qebq_?_ Kr<"4ӭ\7ư'Sq(+axK}8wMGr:MD=J`4#䲠ML)]Ӫ=)9{7?-|Ylʏ/?Kv?[OG*ŃfLQ%M<yx:@ 'r5]cWN]2«1?MƂmNdzXRS_VdZV;:}KVFZ#ͩ|f&a@T[mix*냌) y9VJy r [!ƹi@䮒=zFce7VLP2vK>}e~;M*?8S=T6N<*]X*]%!“.֗U;8 2` qwyLg:)B/*D"Re܇qܔABWӒ~ .w|o/h"eKB&$hq5PO /cFjM<[='p=e%e]/aR_Pjf7ӟĜD/VyZh*T^żq&K^~kS`Coa^'%pLq?KwzfRЂEpE<[lH\̨3_S-L⠩Jtflه.2ɡ"4~a>qm|%qb}Š- { 8Ik納sm 8>=F)"pΞςtJ݂j.^5(/f@䗁Ȅ(/tL.jUhD0&V ;]2?LܙIpy'P:'#NꓵH.b㐐ֱ phL' ,U;n.QpOh$;twL%On9o]c)~nR$HRn`r888&5q tUA Tc>*u8r[.g%Hl: C'O {ѹ=k]3yoɉ9*@ lLʿA a~׻nn7sJ_GGx0wƭPc!2)q7_zQw/ َx`]%=;+QQuy ``W8iDm{%d,AHXD5Zy׏S0ϼ*?()M23BO ] ETWq`u.0:q虫B8Fx&TW]*VI(Y-['skKTnަ-/Hת7gak(|>VL/c;>`ub`2'xqcoQ@ÃT4䃁zئ?+% 4AeDČ*8 0Wù84)Jx ;\֕%>cmuicoN6@8+.V8P tu?Pa:a\*%mk=2]ssl~6w =$od彩al>=9p܋r#MCxM..3ՆD"OUZqJZԪ GO%yL3nA躰Ԣ`pƛPdGrp$rP2 j pBwl#ݎkD$ϒ\ M.zU4SWfQ!ci+dE ,XT$EԴܑ$OK| r&֠eKA&ॱdX|2lT, j[~܇F0n$}6Cԇ6#ֳMnc,ԵyVrc=S@^AD6~(x2FvR&  0c#)."@yh'׶*u}*ng7)M 삷zG+g ג: ɲKRyOer<)Μd4@xltqy'F iP9y#JvӍL}xrY9HB_Y\˷^ƻPuebI洍ī/qv 0klFxDԻGRC+Kp56b:v0!? Td!XT)"&,,P,9(*kAe#rF?A"ow)֢}%eY]Í+ ԭSֻȽ*XUBd/a'Tj;GOuK tx-z!X7B>*Ӥ)f_jDhjjmBHD&]1-*zj)|*zUXP=. Fcz~ O!ѐX)ai:1լO+[ VZ  + N ls~%5xM*PHz:iЯ<85:h\ &) ?ʡvc:W0^;@02QNq(|i~H]rTYRY,fN8ĥA<; :0YcDNT+6b 5\Q;c@Qm~.ىG<ӨZƳ+$v\E>&Nێ{it@21G0cx^fCJ'Cm \v[[$u/R&S⾫5$:H&/㰇4C )0c-KĴX):.hپ];Ve7 Ã8 27FkCqH3$w1' +pʈ*2:BgYY*Z<Ѐ3UGȷpE/ MBS̲ʏW [u53f'4hFXlA|ViuֆA qP2=`A*JtrǠh>,C!2M3>GO! D*Ť֚|'Jt Ѩu}7i!87aw"-.:šm%:P?ֿ-0X#.˃=i$Y90ÙXO'u[!D?}R_)BoB~G$ޒ=p!s&#U/R\7> ’vv =?!KzA5b9u#1ֽ)eڂ^_t%/]$ - צ`:|s15}DPJ_ԌJMV}RXKS/9+/]#ZQoX;D ZeMEKz!^Шj*a`ǠsaqB6!n`ZTxsZH= L2XB<.nQg KCs\G~ ~[/z5lT.%-K(AT@{P/8>tΚlOcH ȭΊY٬ߴMY&c~puvN Z*UN(x%bOkz4-F+C P)|l˱᭾6:4]gxeaxPfg:%qQЭ gVej7[W1z Jn*f/hn!&YNHHq# s.RЕT8)li#*:UĚ#&A"g8y,Ш[u2&i\oq?7=,3,odZO6]FGcqjrFϡe>mz`])Geg#\ 3mDAqE'mU;_&vܶi)gbz;G/8 òO<[1XA$v#5$Sij7rL4`SN:%$Q3kw/[0+t88Z4 TlN P6ȳPGC!P'7 oK;ƀ<dV'EV<=jE^19K̊=e7HiXG^$Jwߧ%Typzs( L@BoLa 7D*Qʞl #`{8lP&We+P &~0gMZGz+9/l{q=N d)> R Vj~G([!1^ne{AF'#sO`*"Hg7JE_mȿ y3ΖֆP1 Dqyw ޢב7|@:&"p[ldU>r௰WJgv9gsi k}/'rHkii-5 8((UL)1uW -g k-"Oj <7D ݻAg=-lK(w9Fcm }Z5@]k9Ond*kc/hfK-ć!fgMaeTBj<4g@i7:8l ſ3j.u*I%SSЪ#o4%%w[䢒}Uvǹt-LzA(jAtcNw9go8e,1=2CƏTqJ!ci=r ,bnB6`q-d^OW9DpqP yfXXx哙9cC֎fT@ەS{c-ɖJoePVf'L,^'A\(ӱ`u}{ )'hz\/u]DwjQC!] HO܏ iW>~͙FvAF'l&P1L0;[CRdAaEfĮҞ,'0vVAQ.\YZ0RRWg0~AdϬNJ9+-r[)Aã$%^PU'X5Qbc'.өVmPmўS J `2bbt%;,ؒE{30PgG4& ~%\)q˼/5`<~ۃ$!- ӿs@ CwcRPhCiJX*|IL=.mz4JS/ @U2~8#=bg;iiy/s2+@J'C7D>dvL#[ixcDg0B[֬&!t޷C'Pu,_D착|&ƉI 5J/z:90H9CQr joSbbVn/5^ؓg+d 9b(L+Sv"lA:px,k0Bfs26}g^\k>m'`"1`fL2_!f;7)Κ" !./KZr >bwsyzT]=R:6`/xdw{U6BBsG~ݰ~0-ѐ"eTt&f=RX%,XնwE$CabUe91l%P;;FkG;qCd PiD S YMF\^pB u##O7fitzD50Ta?~ۧF+ vQOħ֣ MTx`i^O2=s],c 8eq U| SE^f#$㔐ޒXIl;%6,mBQ:#`΁dXuT;En!~AJ ˮgТyUߊij4cfvb zcA]WI44S܃0wN Vx9Ev<jpOCpCf.|׾vpnOEܯބCϪn9ࡔ5}e0ZVXGhh3myl-4o⽤A-(4(T? Rya9Ve7W|;p>aOx|lvhܥbZ9;l9*^Izk25wqXmHM?E֫SS x*d!ќ:vc3_{b҃T3F&g]ct! zꉓi*OCr6j^;tZ[A i0ugZ&ld4X͝zgZhB2`D&yf>.ZŒpHw~Oa{5p1֎iܑcy&l;ұ5UH5]\Ov؋#_C,i'Nk&7h8kP]YH_XH!4<.R_ WPޜ 98QDoi 4m!e ~ @K6\qCzDtKQr04wF#.Q Ѧt ֓l+)N.byqZ$|{_G~bdb^;E:!g$ r@ U $W &lM >VksUM"/1ZO u- @X.X(AXbDwABd϶71ϵ0oü}g{[]nRu+mP ƎZ 4Y 1?}Slkf)j@Đ`#nk`5G5IxjR׊?(E 3W Y=i {%oթ>(>;Įa7hil 0^P(p%.b% =ʂ-D7 }GeCwkP=kΐNlnEH=9tXYTbn/"|5ŧ,e$ c1+`qӘAV)y\YK$`+gwH^[-{rR'kQ9ZOMR\i )T=;^g tBoգOd1\C,M&^+f+2{At!i|)$Go~so!=:Y?Jegv--J#+d`t0+>]Mձ4xKlr+",0=7 ٓs 1@wSJF9'@Mbmk^6ZS >!cWX}-de'ɯ ,z igb7{=P4'O14U5+8d@A`B!6J^[@Ģ #8 U7ꍓ1;6p1CY\y2,=tP[>z3kʏwܖ3[<pŻv/⵳0@ ܼB}_U}yC.jKz$ӊF΀d׃Qzdk@Z'k"NopoVJtEYX9 66̟If]v{'#bAZ 3Z]T %rs꠆Z1rcODTyj 4]#Frɰ*W\t{ڀ4p-nca`/qh}Q[oq}%mk+ $kAGh;9T{sr_EvgPpL3?pl!ˆ HfG4/daBfqg;w i~Pbu0X Ti*m |;ˌLB:)nKy$9+Wg >DF=GYE>l0~ƉׂuEnt}EM}O@RܵK؞AJt6M@/d h Z:^y4/;'| Ӈl0h|n{eVMn{U\o¡84f6+eIؖq?@U XpoN$\(HjVIFD~W0\"q{>HxK(<(Цʏ5-]^pKe\/)>tOȅ @OY4 v]BF#i[ލBYRw(c%\M]}~x"::&tUSәH O*3gsFة}⌫7u+Wy9 .z+n56ը a̞ؤ:O oM`Y3`V{x{b]<&27#EZ&BQU2NtuBA7οGl[!ѹr/-.V>VKSUH-ԀwGpY>Qu& q4 IHsK^:8yJ47]45ϑi`75RvIeYȻ{B<ѻ}@K.:[J$ h j%tͱ.ȼ^;ӺJnL,{]ؒ+=\1?ݠc 9;{hœ&8̼90("#=i L%EZ适64LN;RhR{l( [qZ3EYb0jrPO}D_'c]~e`C8 ]e6PdGTDZw>!a=o>jvˆqUx0MBp,BI7t=Pt(=2:$B$\nuS6",K/T{uh:3_9ַhFa8!vZ8,^og8è XwK *T,Jj,QPy|y4fڝKYhP'u37͞Ӡtf[ҊnM2A"1dRL3NUJaz-.!J_$ z:Ղu#0dE7[j\![y!*7| gri˱v[YĨ%%tNA8fLs-n\1Zl/ 5C鐞ؤhYɛ0_?;fncΉ'&**b?y0PZzO^&)m]-./ Vs=ky&Fܼ(;At8\{WBG~;\XIU40E[٭L|S8ќDPqΥ{rH>/~mo6p-+j;^_$euJ[ 54=. %`_MzT(RO8{Ȕd8pFD(|8ק`G< @TA\2v/ovѝYZ광X^y]ۆL"'3&Ӌ\@%@~%mX/{~BL Z0/}ڞE;>@.cmh9TU v96q59V% _,~zq"cq!ntt(ŠmLo^^\$;JL3U8KtO dd"}?+o#٦p3Ȍj6(3R ~,?8%$#`wi޴Cr#Q4^=W?ۜېڤ}_mYu87]X7Qǔ"ʫ|9rWNiϋ Fhrcϻ ZWMFkљI\Rmjh9К*](3MY~Whq;~&MɸЇk5LS^ )ę"nכQYYy#ָN f7R4I\hو/aU,~@? 9MB̵(D'6a Bea qzDJ?RO%b+1\ie7VVmye5~f#pV';3_A1Dr  Z@Rse+bAo `Eu`"Ѳ6Bޚa C̍{.qjwㆽ|Np!_ B+xzG?xoyxN&2e $>o44g`uUM g1L8uǛM4qVh??)4 4ܽ13)~܉LD@hm^4-^X)W3(i,z$Ϳ@(ۄEs^( H~؝ߖepy3Q|_ܕXkG1WO![tr%RG*I.sB9W*eհ=|ckQ-b9L: -׿.t4$lKJvw+L4섒dqd'=fo?n^ t'|suL )1Ki rZKbV3ߠxԳ-cS,/(W %rZ6Ub7]&!Z3&f.rNc{L#/WlkK -ly-nOrsNiK+a,OυM /U%Oc>#o~-jϰ"%g/A ku8G/Fk`d )܌?~i{C,*"k /4j5&~,*2{F**Aw@c,|u YÂ6 ߇#l{\|7 5,T3h&nK;eE[gYZ r !r?G'!/55zhH{Oc_*7Ƀa"Rj2g~I\^h`舨q=s7w6;3@?<1Jl]HA }h%Mkz Y.끴-fXZknX֩7 5kzx[6$t6T01g6R_#'[y˜fڔqnyIڤpt}oTsl[\]ސLIv0FdshȠĨvbn+[?ҿQ`X+|fҡN#HSB,'1U4@0\waVKb\.OHlao;t)-p3;ox28l]PX%.=e؞-ǖ ENh)ce*e]Z`W̅Cg*{s+$;NI1:6Iϝ"ѕ>jpm%|$$Lf8m~v5ǵg 7*vKKW"B?\i枝b1~F,G tYXT`PV9a_̓y%1)X,kMM]o}Xa uJU8Wꝙ7 Q_=1!؀yA'VxƩC0w[wpT;aZƝa ث~߁<>ra-Tʧ)skT]Y+ζ{)NҌU۵yc L=xt7IsB3O2b5Fc.?+Z}8DMA3) 0εQ=U~./k _ᅅ?sd싦.E=a F/@0ȍ,0H(C\nȩ;N֚ aStIzgUBa* 32ĥ6ۯɿ*Q2VhEx֋GK,7&ە^fl}` 6b_-bkH^3_y0]sN@ރ9pUwAN5kEi^l<švI9cFI,e3{mƑ LxzYtg1:pj8[ŧAZ[۴) ?I;cp>Pr""q5;A8?&꣯nqc:9f;IPq=&`MUgxQv|'z$ٙ%qXz atzhmŅ q v U0È$k o _7lj^]eZgbA厸eҦ=C,|NqƜWZ SlZ1g~PW$҅?593N%Wu>Iap6Qa[`'_E~ra*Q5/cc%%\zUXgWJZX64)u*V.4  ڭ 6ZWGm'0.4rGڽ  gYZ > r>2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[I'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂM]iK} \f*6% _mLtH" Kn=O4}dtG[\r?$g@:*)geO~ø} y=drhv*\yY ({rJٳQ[[k8ekd۟I:0و߂Cy U]W[&)ˮɉj#FQl=n, s dX  gYZqH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)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+Ygm{Ib&!-یѝ&QVؚEm٩k7-;4HrҚhaSn%@+iDa]A0fZPl2YkƁnMZ*tJ+5Z] 5ty.ZIiGy'H) ,۸ykSqHs*:%1@Cjq<-#s^Uk~D?;Y jwMF W%$lى@|9zgTf: Hi܋txQ*( 3Lxڗa=] D$O턴+d}OtuIhSvlw]u7mU V×.WMф_7 .^Ih"EЗ:46Lth߰ZBhV5s+pp3Z8$m>*HEi[g;xWE?,]zu ~e 7N%%RF4{߼8{{EƽoRe!1nSҦ",s*ÎF0uDyg+gQ@֣%3;"יH(W]js%x9TD, ?j'7 ힼ:bQi!4"O;|ƚ _62RtHob<|SKW& 16@ʩz6RIޑUi[S$s$.YU&:dZ;BbU?.kI lPR#]L.>%3*9*6w.J.)%ȁ#;"aX]ǺDĀJUD?\Ͼ8r egYZ !!M+# dZF-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>[3ľ,2u`yUўy^fJɘ#GM̎YkqQ? &$m)gvqvRz(`y;ב$@֐\JtY.6ݧ{EtO,]P^&}.Px2yBM`xMf\nqc͑F70o_ R#ƞEDYõ/.0ҋqޜH!oqz)@xţէVbs}a3_ܱ{sCCY:߈]hG.:%!1a?uZW/;" {EI2S~#W)NM\; TA:Z&\otRŌ?',t,M7rpӠ]@nP$&ޯ>:bۍmklڬMfLkor]V (hb{/'p2jB1"Cn+P2BkFGxl0U.X90*Y_:MiXKUq [oR70nqR4VUOeS^L1?칅z/~mJ",},6|< Ŋ ? Q4߄.h^L9d^{[)#tYb ] Y%2UGmAe72O7<~Fb]虁k=ĵxmIg.nDY;gZhTbFMznd>mn%"(Z ㉵*?go`#clF}&eA1x䡔s{T[k*άdbɃ5 a/=@@hz:v'#gouk_U^0B/7϶~RCX$l.THj`{䵉kF^=mîdq"rdvHBk״F$rγD`xyb@19w/XK VFVueLHFH(u"pSIFCx`duj*JE9i& jLߘude]Ac}V,n'`kM 8u:,#zL F08&.5jpeW D/zDiӢ:ռw+~`g>#wW.K vqQ+&AL[2K'e+4b{ lsIv|Q>my5oT4O-a~I9 6՟X~{S{]PkO~Ls1zi#c7ŘP9),)qrPB>d :<$2zP \LD*]a@5Fu͂:\ k +=&XBYH>%Qa<A\ la2r O9ӍgF< bP˸Y; w[cSib$Ñ)T-f;dzGaE_gܾ+?wcF{!~Iy g w'l}OŚ`4 AX֋ݔ6x,fxRhWWH)$F9U/dΞMliI_Q~vDRT(IpOk !JH, mt/Tr>(̹;=n OfΨ 9#{;u߉X}E~#j;DxxIxI,hF-0夤! n1BۇػN!?[``&RZ΃͕5KZ54[޴,K}9b荀Za?N`(b%t[k0wG$e}h)d c<.[6ȝ|ӝc:z*`lwl]akSKFPV\ua( P**Z.i8n]z-OՅUt[L"Fy4=?C/5Z k:sȻT]Mgmd*yyN_1sCx V@}ߟĨ:QyA2Mb+̣jvmFΗLWr@h$Gt@;a58DvGSr*/zt]?tU谣M">>mU <J uE_jG6Ml&NUiH)U(q`Ivh$z#a7=]vET7k-,,1!8nN;ׇtSp+^3\nK+[JSvE{f#p_Ƣ)5 &vR:!CT *b|6k+2ht~^ v{@_߱gYZ