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 ir 0z"w/{ _>Li$k_'i?đU1޶.:M0UX}v ƣe{~ܤƴ#sxX l[fza>Xr.`AzU Ul]n.DɈWJ .gYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5Gy(J%`8?8pɌ4dhZ f?9aUl{_+ԠK=&@">0VSrn/|)7>0@jZ9:h%Ysg(Z-f,Eo2[<`qbW]!s7gݬu"D3ܜ5϶K(YzI 6o!Qӑ I4uj5*G15 D)IQ׈dc :=S~=Z3 mf;1; Z)e'Pdf25fO n9K:BGNdԈf|?h6{Y=7z1z (XrPY+kBc=?ĄH(x*1Diw綹=!]il~cPz}|\ӝ&[e8.+ޮogMIscRZTLԿE_,$P_^Ӽ`1Wo5zYy 8e.6_KJ]:nCt2K|k(.xya]XvJ~56u:mѧŎ1(GmHT֙wdk:(n{2{vwյ. 3,)vh o憉>?',5p ;ÓźdH>TEk)#Ua{`~F5qqjI"IZ, 3i{bb=mBs>ͅT]vZG7<̷<{]{j z.V PΙ?%J)-HHΞ%So)澬c7r MitTZrb =js]Hz΢HY:S1&NL6ǀ(EeM'0YR1IWօ؛ 7uάG>CzD.p-Fa5>7gYZ0240253a780c93250edd58046c2daa2b7a0188434ee49694f2bd4fec19a86491c156fe6e4a3ab3d3 a4ce5bc2a9e5fe43b13286f794d756679b6dea8136b83dcafd389eb68eb17d4da20a9f2c942bf0fc   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 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؃ѩС rsFMEKDGAC@<>;;8:4733/-',*      O* ` b /HcmDW yS*  /  ) x O % Z1  h aa3 u J49wG 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/3'ZF-InductZF-Induct.DatatypesPIDE/messagesE-3#ZF-InductZF-Induct.DatatypesPIDE/markupD,3!ZF-InductZF-Induct.DatatypesPIDE/filesC23-ZF-InductZF-Induct.DatatypesPIDE/document_idB17'ZF-InductZF-Induct.Tree_ForestPIDE/messagesA/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_id:*)'ZF-InductZF-Induct.TermPIDE/messages9()#ZF-InductZF-Induct.TermPIDE/markup8')!ZF-InductZF-Induct.TermPIDE/files7-)-ZF-InductZF-Induct.TermPIDE/document_id6-/'ZF-InductZF-Induct.PropLogPIDE/messages5+/#ZF-InductZF-Induct.PropLogPIDE/markup4*/!ZF-InductZF-Induct.PropLogPIDE/files30/-ZF-InductZF-Induct.PropLogPIDE/document_id2/)1ZF-InductZF-Induct.Combdocument/citations1*)'ZF-InductZF-Induct.CombPIDE/messages0()#ZF-InductZF-Induct.CombPIDE/markup/')!ZF-InductZF-Induct.CombPIDE/files.-)-ZF-InductZF-Induct.CombPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)-/'ZF-InductZF-Induct.FoldSetPIDE/messages(+/#ZF-InductZF-Induct.FoldSetPIDE/markup'*/!ZF-InductZF-Induct.FoldSetPIDE/files&0/-ZF-InductZF-Induct.FoldSetPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.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 ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ GG6+1 ZF-InductZF-Induct.Ntreedocument/Ntree.tex7zXZִF! p D]A-MՋhvG"uIBm5Ļb\ma ) fXw; Dt" jg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗ7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ x )/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZ/5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ  +V +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZR 39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ  7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ v vA 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,CD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ   w D A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue*e'Ki#'5PYQV~bAű8qtOI|ĀJkf(8/<<S q 0%@-dҚ5x>HHʏV0 Bn*rGf'B=!e;,%yirt8Y*OLq[!Zz^:um P:Ty>!QC+bZ OEh}*YHghAu#kZR~ռWk 7ΥC@80(3gZ=3÷`ȝ/z1m>y5ViI.M/{a| @YoVI?eP+k93aFrQC#`iV21/[ϼ-LAnJC{ d!i"PA{u|/qh)19$}:f336HIL; Ecwrw,TTRMQWa?|u!|=L$-6T`U#g)]y~]T& ވg1x{frUK$ 7|8I]al$VMٴ0yȷd yK_2n`|֬n?.8 S;ӀE8Y.RP/DԂ_~ QBBPΉG c1[_SD3 4qBlVREK^.BP50Bk%>jS1C8+~=yw9䭽T?cBĸaͪeU*qaalЀcc Qj5 !yY)rJ J6* Ja@9zt)4P4I6B{['EO̺"JRX>? SpruJVa٘9TpsMD@0PSQ,3Uli@8 s tZVڬzԧRRϲo텠wQ@kEq$ty w<9N?eQ-hU^(C h83Ny9Z]uAȰƖ8^Z+fF*&c[ey7۝S +$y$[a CC4wrϥnxܚjH~857z2;*~:,$0HWe !JѫC,ꞯHQa3"a%ٰlv݌S A^̄O|"4b*?DGZ9{IOs"&8\:o|2_MN~nM>߭| 0%C)'y|= -U3*JGCZRx]kr`{ŜrAFS^L;|g^|$8H-ش;{ {}3߉N*_E3J&`@|s=rϮ+kQ`l/گ@N>U]#-#^X蠎@לd:#6NCbu,;8ʕR1(<)x Z*n!bGUIDWnM&YQFRo#Y3sDbon}xe9IY}]P]+REl 2TO2/YĈ0~Fǵ90:?̹Q I9> Q^v/r^"z<ӎB.@cjkD@ `o,+%V$֙C޿kn?_ncbBM(sYd@ްM~=TrɿOyŰͦ^PMNlZ)_Ń4]$u c[p^LJK>Pw!$fA*2J -RcG~S7R=|uqa9G W`T 6!Y!)v#P&mR䣋u1؊DJv:9}@@Yy/WFڶ3*N -n8>lͧ>2šKLT4VwP_4(![sK4!G#6;䥱&ﻪB Wl2?ōXzq* q82 d[!p;mbnS?P:RkAO|S{l>["_n "~F^sNHSݐ2ϩv9TXeD? $1 .wZKm#w2RS#@m9}Dܠ'+q#P>S0*kjQ'zgWi83UZFnyiS+v d2o7 ]h O <\b7m/CRЂ؟0Yt.FK/_x@3۾FS\{6I/L ruQQzlElf㈂k M}-zU2Ǧ%S(LŶ7&Cw cٶGΒGp8ILRV+ _sTL$iջ%̊(gYZ | f Z|c 1# tZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! ҡ]ˠ)jk2p O6LP=͵gl5gՙqjRp]/k 僁cG8cUiAw>T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λ㭯@NCe~rC8؎ O\gVGy9դ<ЫƪN~ھpՅhZ,Á``Vݗ2!x/#,P҈Xt^F&WDdrAWQ$zAi'ޜDLT<V3]4gPv)?F[WgWS-f^۞/~3&Vԍe?P //4z($hkr|쏰J~KQ;X!5-Do-W&.@XX -:݉i"o{EZ2B =QF! uy mqLjzf{U&QjdƯmogqn}WQ器5K,j,c'=i:n] {BUM[fm |c7C|Y!(-M5T?ѿj %Sv}5q"ޢR~16OpkQ2gnϨ,VL9BZJF]rdŴ3lb:o#`1'P}BzTȓC{י37(~ccRo, U}i@mrf{:#I\([4B6ufxu`p~+)6 4 Z?*owgYZJ /# DZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9AZq@&0Y5RUp3?D9As!"VT]vˈ8aِTjI)Cl)vp ETW6):/ sō{9oV; Nd@^Wep"ˢ6k9x9}7a[ƒSLd?-whۇ"Wq^졫Vc3DTHv Ttʄ4;eu7 Шk,~5{/?!(9l,Q^UN?\\qDRR֛]#on4Um\Aʮ͖k09:<_U's`TرO*%#bXZoVxhCHa8n4juM)7C;ٵi'REK::r>\+knh.U,!Y^3,%#uCPյ{X-Ja39c#5|*x!: M]md@1΍@b͢ۺS˜.BZfԉ~gٶ `ȔIo"޿255AB@ ka /+#nc@٦QqS(Q豭[QI_}~y.G}-YPx{]!N(o:oKTq5{%5$໺10UEQk}.Rp|4ʃ>Ko\%TJ[Қ]kfٜWR i0ͫr VL6@]:u  E5gR8 "<8F´=|cOԭ8}fXGOK`Ј龚MӀVԥm0x3DO FM $0Vn]3!5e0H_t<*qűCu{(Z<)&VPIn1- TJ",o?UK큖,Ȗ=_/8,͈2µk#‹T}FشS՝$AY$U.(xq75)a&T%=YJG`,ĘrWMO.Y~!bϣF)f5ރ;.Q3 ;I$7r\8NK+H&6$-i6|`k#r[5VQ5(35rA^PUN ejUΟɢvj?ro=QH؁Y|6 !y+*?-!:/?Hw%{Mʖa}b]Bte} 3lj]/Ӑ4r ^M{\5sUkϹw9BtkρUF S,0U3țH "p=NcU7ӞKMY0Y6m6Eγi*aH_G ?gi[^23T(;'"="HO $fNDe-NWָD`6åXwv)ws+A<=$\W2nzX~ڀd:%0:T%V|S $?aqKl˯ ClDFcHDDHjRG(3QN-=X:m]2q9"~q@ :@mͳ)'wRO|[ff-+"ZG$uv&6>ru L9vbTD#hYvOW4 "Absnt%,+iM2S\O`j^C0RWJe"]}ħn)F%ٷ=ؤqd%*ei,ٝwy0X;F}oauGq;J)S4t|Zہ?xwTQt&i*`4YǴya(тru)^CUb >-SE]ivB(V,!b|CuA'>="irox5C |vU ̙+R쌅1Jѣ.`{ȩw1Y/'1BKR"1 BA򗛨ۤHa)|#` B~٨s|6t<8n%aa閑GghqFGsB-Es~+U32ݦH=^ل s͞2oA6]ƭ`x^jukY)zHR¦GeRS*d-q~Űş+AYN$"ڽckxՎ PBzdt ve%m $SItJOT=sɎ=4K.q)F$D=  hOSi;.LhaTW/lL*O԰Dڲ,z`p i|ky⋕ em:5B1[uu]I~!s^KF8Z"w2Jk^ӸIb;b^`*TȄ9ҧe_)\(|Yn?:)°!CHS,,[z̥HaoU{;]Q|؎aEDnZdU1B@*> NďJJ zى-z;STS!$|$p|)U:8$B&ža'7%X U;ή:'k|Lkk.GJT@,33 %6`XXRb|4Tl;!BYફ[?-9hsiRC'v6f+ ! Γ3l',@:= N,a/f$2c :I7ڥ W/;mġbOe%7[eW9T)w@ t:T@0QkMpV&D[KWAF,Ru"4 >!P gzj'"Ob{ m]kШKYrf;3s+ʹ'o0Y8'(8mMI0`r /0I_ڲ;YV5sڑۯ|[Q^ J5ѩ"M@ EY7OqܝW%!>_2>M1M%"}wPDj=6Qw6B!3Wkpj;(5]RW]~%a1ucBgrPЧM͘Y6-yg~*4:,as0#ד|?;%HӜ.}ȇ5փ9I ~\-'vѷؓqjsj_)4bY+1o>Y&zhs O.]fѣof}\S_:[N$[ ;44J}EQIWqXez?_t9^J&c}L4Z`c%C^i5>Nډ';\U\ȗru'C|C!{ u'W"@F79"bjdɳ9YLQg̞rYT ?7K2q*n2_B"`*|f> :B;4\^xv<^ؾ{GKr&op2>) DUɶ>%86&g{7_='X:y anfL)k& R9IqهV:Bdo.$ _:7SFFz ' =!R =7JlHχk>SFSE䩸~2 UmQ#Xn!U¸ iX8 "ܽ7;?,ܟ*bZԈ_{=f 38E+ԭAZw=)[ǂMtg ogd:*r[g|@_/|ؕS2L61RoseSSvM٭ǝvKOm G sXެ'(\ӑ!68k4Ir.t1ad[KN+M!;6φn9$C`Eд}fS@B+9ޯ5,vv+L󟂛0$ nz|_syzOלPgտײ .ĵOPo?w7d`qaabE5njPؒ؛-2~(hgq> X|Mu/*sjWFJՌ֩[KHVTe@9* ک 3Gﮢ&e(BbHck N+rI]jFn#n{ p#pHmB~ 2FZd":Rĭ_l+X#][J&8j\#Ys"(C0 :;(S`U+|UJ{, 7 O by0@E!u~=DM+x02#={S0b+&;P I2Z8&)*Ƃ _Izu V t,)UIHk_R7vD˄ cZ9\y|x$hnnT<'D čFMT]"fD-[Inysw-܈5?9R6{VV'uv'>>#ƏXi04XB3پ?ApaEd`3O;Bxjzg/"NvRd" qn &z`'5,Dy锤]"xa)#Cd36,RKz%kCgV,E{P!0(Qg2vU0rUnoAaElNHď5݆^70BqKZfy=}nkI ?=$Ռ39XyIo,8b!.w T0)8K؞6W)|"JVhbNb~wdدľŀ%^HcNJ9{lPo SXi  Qc1 tU b( ("nθI,_L8oWRDDkoom`ઘS$JᧀX@W]*~DMj60!+Ԧ4|;pNXʝR7k1($5EW:քsC\CUdRy,Idq.NOJ~W,}&"&$̈sBq:{kYVnB0(Giru/zMjb^@^Y|H?[ j(pTr *oq\S\R"sD-˫`nAogn_>&e3X;V&؃䆕<Ԅh\;u.KKC.B]ىTN5zeq`tMe1q};U`luv>M62Yvak]޳2_vFO!Zrq`Mt]Qf%D'<j\Z9QF2- C/A+6pF;>a)${WTDW0Ԥdc~;ŜYOGj*#w]9d%CʘlzI^NN4ʔ!Ƀ-#8!BQ]$Xn=G:ڭ^7J5L.qo٨k8~;;')E^B{e_]7F!t/r < XǑrg!馝,qQg" sRC (  %AoBVPi7n5p==&O5H |3rB`q2Oa25akPV੎Kt_+?rwA ,!F\xM)D^ZiҺwrl' |0,pw\Z4C6ՖxKҫ6VjT5w^:摚{[ہCz sp_0gH ]HR&nFYn3%{}uV[a A@{uKTq#^fQU\E1 Th9^77HHmr6*$a u^s}\:10S A1}dkaF壛^9 1}7?2ibtēʮ=Ynt%l LD*(i'˞wƏ5LV|& iV|/Wה3^Hx: <ԃ6~=_wݾg6cTfJ24?ȼ6LڝiHot'5|g n Si 2ˌ<4̌$-(?O.U:T;G47m4} & Z.&fZ(|1%`B(›wxr^Cgd#qG٦Mmͺ\(1#o+\r*@͛n0dfdTkkUCʤ :0PC{7LJYhu6; jq  *2q9m'~uJ EqcDnBU/R(תg'foGj{?5By6[ԣN|-%Ȁk,Ko~u)4as~kkD`QAGVLmW%*6*>",O [鶰x:KtЩ<ѹ Z)+̈́ق#8AQ*^c.8}GH%rxQȔ::&AQqob1ˬg8G PPGγZxR+chҩ2,hqaNYorpg?0$|゠*Y6T񈀭@d|$ j7+XrWTHʛN-/N53߇{2f3guopⳎ-鶚tUĆ"*S5S=?+֟cmtZ,TU+#b9Ŭ4 8gRc}+P#w%ق[M*pM^=/(3zɻ19 Cy ڐ'}@StIe!AnO}8E(&e8*sc,C|) [CLV8X\pG 7GuM؏5~aHՔ' ̝ĘS9ӜL)zQ0Q.XGfp}| t;oF)Gn4LެeVcYPtc "'6-P70s=U]1"IҚ")EdD K5 3OF9dP)){كfxFo,SFCzv'IVXv3}c_[bk2:>pLM!#bL^ռ_z6*Xs]%7[țIVKP9H)nq%*P2dLz;ܠhˮ!jԬM~2ڣ@m(>Wh~Rr׳Tg*Y`piGh-I7[gzE"~@ Q9f߬/>/+~yoa @CL J6x֨ d#Ke:Sd@Sol)+sۯ,uV xN{[1Yt{kB2M2Ѽx|f+P<dB޷*ƮP0WOO{J~cWwg|$`y-vCg䯏pdP-9V:'~MWUzGA^t`c5d67:ż7\ҜHvL'INmBPa#CL@`nIvkh0Z2"N\@ve<7{di*5f?_MX)luDb cdI׫CKi|8R݉%zN&dAJr&QՈls+r#!L~75-U!b\[ڠB{ :.֚NkhƷM9[_ف7Ak>u_ )+˖~<A\ߤEכ?$'ߕ(M]w xwNK j=Ƅ+HW^^a\D`l P*DވTN m0!Hke2͉[4f4?Rz8[k$-O1`P Z>vl 4t LG@3£GӛMRUkuqFu |` ۳7m v<JWy ,@a[[TD]o;7TP\W5ʚ{bޱ([܆ Hï6 m&M@CR~e#FS &}mV40:{LqwqĈC/m ̟-nk*DޏB2%9gⵖF6Z|ѭQ,Hx^Ae_ bb$rO^|G~KN!1ˈHS93⇜c~Cγ?ft 状|ж](BVP8[~^ eu$I#)bf3d f3c ҷgYZ!z 5o/~Ojm^¶ơ/_i;XIݤ?r"-a9`Fz&Nɜ#'y~k6tS#mKmfoype0^`[#ؑU !z@Dwo,G 1&ka!e O(N%ne>r7J1|?$YJʂ\EYmAZ}Ǽ5xڝ~*BĝΉ چz\T* x|;?b:Kj3'C$Ӊ [Z):-=7 L<&r|Z8!?FZ+Qv6UGKp>uС|`#kFDV6PɇGؐŸO㬯2(!g2[u!뾧-TV E6D=. 5D?o.+pt嵒OڻGg!%=3.տWFBJ"+`Ԅì4\@Zg'Y[S t/=TMvQH`QvKp IL l|>95YXd\q|] ސ>E{[t׻ZZ o"I`o-{T%JN,F~RҮ,z$ɩG6iCQ0$JFgOV#Boym,ȡ@]E]ʵa4GI,lpE|V=V i˞]}dr0p-Ur)ɬfw&}}xq@^)p XIn@Zk ژy#qe.UۘFH֎UoR: (6^?A b4O#̮ۍN,->fԢҍܔVC=(SF.0&0ӈO˰-dEE彍xFxSFw/H+װ9vMƺ>FK魮hz5m^a9_ V}P66as.Yk;൝GfL"z~#Ϡ_Jϊ9&͏#AG,Ys媿|_ "&+P %gܩx@.VU>%55hpg@=du{@?OEQ@#^e6P!k pP2-ؘKC)jX Kṡhv Z).Z8B}JōxmFDՠh2 zE(&p{>O P: 3WT&!)kb.vIk|Pϖ6`cr<}0t~<ԛQדXUuV\OdhN+>9Ab?srlNGddKf-$*gF)̯ ,3;M~֧ 1V֡k(WD&{_OE3eʎ'k@K4B|\+OPJɤrc#]6N?/C?uU" gRp ~h3b'3ť{BJ eZwZ/ì9͓1-|_{/δw.L,?DbxG}gM@m) :ݩ*ضHXbR P2+g:2WVU, Ɔ<'1c\;"=#W[XrX{aa<ů`glk}\|ݑV @6ψulj^C0,f0bqH͒.xlT y\1׫?VIw?Utmz\x7=Z&x5cC0rzDVD W3?%oU4Q#tWqjG?.$G^=XߠWg(4]s|_ :>t@'ǭ9A3|z̒WO unRۅY5ᤍa%2(2T˂J(ugFj -H)£{KA)I>=_3g`'3 wL B>/gs 9P}^)ד!ߊFz)q(ULO#8J{ıvG!X~}JJuԞ~jY}JʛsAa"lJ| rm PWʀ?09uR*=IW^+@blF@BUfҽ/aȔJ tl:fl\ NebF̞۰X1ȔpUݻs,teG }|=!Bc9cY4lL3>49D$‘=q{4+ 8}1(#ũ0};4-;<ӗ'$Q6 hL]ŋhZA|QjַFvG}DBrIH. i%0d&>A) Pyd*u@y hVQ3c=1 {g@E#-9I_cG*[W_3i>׉A/)`^˭)!+L\K1м.|gTX˾1ib 0io[ 6`&ܒQEM^^qWȡ9ӞAq˓yE?.?nc+SU*!3.^Q:qY,plF+$UcCn _%M_xx]l39LPR0TP%;eN;i>s\PA҉=)@[T~|>5sGTrUz`hlwՁID.3FD-Q.t+% l aa&Ϸ'U%@3K}+Fh.>bM6>եڹw4%.޽(kZb^:4ԡֽfT3tZGΓUty"L!n?o果<'3>X W|Yq( jalRwgC1q;Ol I\F`2T[6jy :†$*M&ܤ9ȼ( ~}u gXjJ2[_$F*k3Cb-+y: ߟH`HwFWxqPB/<#*V|ZM!|*:rkthHbhX,ُ8(nIi1>OXtV hpswm# xI"I2JeA?:51"&O22`sLׂHUeuԓw,,֯nҫM8󿰮o}zqRqʲL haR甭#ҙ⼁4dY$:̢w`#" JZZ~jvΤT׏/hD"T35 cHkz2ʯgR;,,4N9fEg 6˳,Y!]`=m8h7=ص4Lal(LFߓC{C>RO$uq=^H3ЫVqǁ]UKB~ІMG|qU -ȹݭ2ԸۣZalU gE7l.V ΗJg_X ʲ(.ȼ۱&qnDEKy"в(}/P A&gx=>h+H'q9^~j*U~`9|R ^B»sX'+6bkKLYP I@&;u5wп9nA}˘?ZbM#scg|5U: "NǓ94lgkߝ1K2uw|V&&1luwCk C]S7N>j}t[#p`/ `.~Hu6Tpe1*~T- XDg9Ӆ{mQ8wo3!t큶>Y6]PV|Ƌ% W9gVԜ<+tGfC#fl@Gv@={d.NQ}8iH_+5߿\˚!Óf#~;)w]t>*WJ󶛋 l4MwM| mݶ=x뽅I DL?x2)`CV@<֙\K4K H ݆%6^BKDHٖ%߽Z$=eKV!>5WJY,!%b BF '-b"Ӹn ~2hydQWICM[kP2cYDgr8,V#l?*SЖ@diLU㜡-+Lo& UlD' ݑ*g!7OўOv^/O-B({b9u;2m45``u#,X".9{W JUV , 0=B*Z:ax s*n *tf~딍?Iֺ} ;Ú4x L~݌`LqD _ iU 5ZwW_0y|sɟŃv\l !F4-:aܮ5.9p.U*mבogRVG#O{һ| ]yFMvy,IDP<^A_Ӏ]ҠG;T@->6vC5YѮ4[ vs~Z"wWR[:R#Kۍb8蟅R^F^eICo Cm(XG؆~}fr2[M`|\pz DBKdnm_ZϞDz}}!8F.< q%'l!O1N*uB4s³)tB%o0+"U-)n׻\^>jJHY&<;!vhb#7'.UaYK.D;(4"e E/G jh9x(|RO^$偩l6Ar[I]_HO*VRݣS_(.]Guţ< nq|>Alk PP y, ) 0t/Wigݬ*ԩefȋj)5Y2exb>٤s#󈖛P]GX1{Pe+dZreE5|p25CW4wR "öVZwvBt~5& *D섆#,e ~3܏*DJs>R\ jz?Fn+>0UCM Ť×y1q2RI{6<jFo"0ѽrm,zPWiko y#c0wDU-PK%vlvRīaqr |Zhݱ-ЊSi_c}ޯ"l90"Xc41c&t>_U\< L̸)JғwB~/)6,xƲNDZyVWx{ᥦdKqŹ#NBdUיLt&L輸_ƪ'1mpl[fX]!PL};tyTt{zԿbQ:*6<,~"df`'LUABR9uQ?屚 rP5%,U$~蛭p(6(p2>럯@~zuo1ͱC/^i[cJ%O-^#mW?0;N 2P'.Pbr`/]2ΛW!r\/,$/ň ];EQ'il@l<_t[S?PTmZ?(՜Iu_)"qZ515hϦ ]}MH_1ϙY>r~I]0w5\-dLNhmPlքv!P0_q@yɝ#+2[˨*޵<&O(zOu8wxFb3B r}4V1ốPW.DuS*Nogptz-p siXep<3?vdPDw2+xnmܓ r<33%cp"^8N[4t`A/? 3+'xlSjbK1ðIrkAZڠ<$~r̞<^=zٌ<-\f@#V$s9aF0 q*_wqg B|FmT%k_phmEԲ}2 ; \iIz\Wօsd,Hs[ג8_&towYs{nJzmX WY!geS8 :1'V;P2 l '*g~؈| LanT\Yd)걲 XAK0 WjR/a VS&aZbQx`zmY-x 'ӉCjM".rCPd_K8- [#*7 eOi|Mń@=?qUk:,)hnPuX:3=R1^T-:E wwBt#9Fq;>^> @>wMHzw_2U'4Va (a[!;HO<W[ U"x;Dڲ va(LOI:BkMдъnÙ[E${q.}:nYOxHGZѿ Y9^|) e1)CLe~fiYͣ 끌V#g,O8lFSErR s D3@t\”Hvw3G GqmFdϘ4+c)U>0rРD\[#B$l۰K~[7-O߆ܥM#ݙ XhNcMXOb4k\ SN`uYK__;kr$NrQ2=* C^J`ⲵ!{prl)>ˑLqUɋ&(3yLgW5u;T705g$F$DՒ^~.O]Q3A3]fil&;rV?PXM*sٵN`{tn#`ㆱٴ[+0P?qEhb<{ ^tsDc y]w(t@Ol|"0#I}vW4gr//t%/: ayq+C*E#^K6_HľZ2j1x7(36Zb`:TI3;[~7YSx,#̳՜&Z ™qFdT.SZv6/ȑ7zP5Z$а*3hccW^e:pbZAK]Gv q FF=OG܏Eo|V5G*)7.bc5niHF̌MbO_6:2VkAi0FGjdrN,o=)cn;B9yD!AnMTShS u QGyY<֖‟RĶ'EDp.YA&2> 9 l!*ԠC4˹ԺDWt$^;>fy@fJ,,ijq֫ Sbfo04HL0tƩ=ISi[>{|Thlج b?2n)&fdUAu_tG-\^:h*n[-IO}Dev9v Z,GHMTjCLMXDBl~,+4ASU Y-FJh|.\ $0]4}I_ji,\2yj5@a}p[AYA0Y=i5ݯƁg:f<._2%?E{cՖ?bsl Oy dНYY DCvY-f~ZH*{4OT&Q`aΔ n-[V,d> -n};Ẵ-%1h(>h C۠Z^`,3Kܩ JB.GSJ͟j&#ra82XvM)SNuKXp]SتpN4mELȲ{6ZxN٤LYQgh{'f(G9HAD2*,krysRLxvakXIE(ހ_ٳ)8?9l B]Ok%WU;OAþm+I>VkY`¤ =J_P4c &:!l(h*s@hh G5U}EMQ]s$aE 'M;;{1: ]-BuMLwTl/H!G΀}rfNCՍ'.98Q:&*{u9vK ' Gv\x)K0 v'?Aܑt U<[#7|0K1.E!]NPxw7 o`8uf6шRbAT mnBa1?$OLjgKZs2۹7Y2Lmƽ&#.Ǵc&[$-6~}LGԖ8MF0%Vh{Ⱦ͞Ҭ')υ/ˮEu T LX&zI zzp) S$vӰUq(r:=-5Ū-AԚ3~>f@e=*=ԐBbo<xJ1wB>Q ' @Oj#ry9LV(hUy s79") -+^Fʩi`CξU$uHohI:6~U0^3)_J2q9B}NɍI7 #/SITZ "6QG4e%ᇦ`6YED fϼRDE)6DU#0sd8߯Ⳳrh%9f kDJc1N"ȸto`fEoUPY4joZ T,&zI3g]C5URuPi0XX`C\|עGhupUFn)Q#^޳=ސp8Baz4VB.s̪P" 9GE3(uEaШNoA9.L37[]YduB٣$]5?0ł_ÔY zȘ,K K[#U^k,r[o9)a= Blq ݶPɕoeeŸ$!(3*ItvߞSK|݄N),yFFeR~~ۚjORuTV2ؑ G v8"ȱ|;cK<6 OT+̟`7۽4iVYM??*Q9gS3 .=k #}}wUF+_N4/"R[k+7W8BLli8zSRP׷7v+4*uujb&0rcKx܃8ظ})p.?b"``kAQ 1+pVRy{UVU‘'{~"0qv Ǘ;M`-a @hN$Em~}cPmT8ZymLUy;$!}9 SUj'׻k O\`+ Ĵ,Dwִvy֎fs=ni:xH|ϓG6ᯂ5KKnڵ(aMݰS'5_pQCiֺ{smFQ\͌[i_ao^uE0('7JV }+9gLԵ0Ub~m#ps.ns5`QK.?yb0r<22C H_!Ryjj̆ieINUQ|/v;ʟ4oV/{g҄"_-g7Dꐝ%smHf:F;|EAlS+X z_% c'ˬaGAJz5H61ґ^N9M{ I@˗ciXL'B+z #[MY>R* [A&@|_Uߟ`jCSMzFUѩF8!dMDJOI,wZ#+EjbLL yY 7lgcy=k@&⭀PEXUko(*؂x2௶w8&!-ݭ,ڧ UUluϸVVFˡ6j>ë@8q(nn@/FH lEHFG4L?곖heJz> sNvHJf(IJ=+[mǩLhs \mC( -lB d &H2 QQNGX?ۨg0-1 n4->NCҷҘH,#k۰s&ybiO!V^l<l&s>dfy얢5ed u@`,8!W%SkqwN.c ]֍%Pыa9AKR&-@oM}dnސH Ca&.϶;+CұKv]w3:CmR“mV̗ex[5QM:_XsՇlZ)toMѐ) un+rIE_T܃9#`]m}̬6q'3cTw{"L:ou~8}t56=G[ :~D% \+i\4=^=g{P S'+j55򜞻@GsltkGKbQI8ᨠDLg1n,Z^""J(r"B;#{ψso2PqJ A 2tqAލ>*v9"5)L^jd6u?7[h3hX$Hrw}ɳtZ9w&Rb7w$duHx:+sQTŹu6K,cfop/*iL^ h֕тYO ΁g8I`WAB#wn3֊'--mnnSNf.b%wu& 唗4#' MRY0͖.FO/+'nL!66,q>{x%LwU?a Åf5<HuYklX $ϧ!kzbZ!֊&Te~c2Z8si4F1(vPVDNTl)#BjC Z&/.g܂MX`>]r6ڽ~MQXzHן^28  'C ~ԣ> 1?&3o(y&cct:8䠵T"MW8_7w/sFon WE4{&,ƣxK}.{Ǡ<## sc~\ɦEkӰ9U(܁(v9"R\lVFlXizV;?)B B&ND|M/郈kTjUoMDDD4C * W!p+9cǘ< *@.= 5"Y'Hv_q8Wc{Q_M!^+}t8!aEDI4+a<%`lx[8Bӕ,/ףߙYzXsNe9ARn<-;߳(U/>ͺK8"J I/]Ih]X|oa%)1+8L7V3([;Cjf@ҵ<_Cy?κan8?M'H?Oa±B\56^RT'JC. wCP UyḠd,nG_Ig7jO`DpPt.u4t3P?.J|ؠ=]MyU׊sRO2Q()*9a/DĀmmpM ~0z^N4V^>GglKuթn} RbuWIqׇrc-ckjp?/j#&cKȨqz}ӰϜice58"a%= l"C&vERpb HWSXɛycda< U } ml,Jzi݂NNPEGkRv,D؄S#9H0'r]+KO)7=*rY6q~ͪگ.#zB|eS U;8 !a'&.qv6 MS^<\NV |էqqk7O7:9Ϳh5% D IͽHMGy#?DhfeJؚ2ܶ&z}m׉@ ^~{6|^N(lاhOzhUQ–Eɯ!Ȃ!"Ng`Fm0=.:兰13}nazmg;+yE`[viV${M\9Ez)D;r9;jO$7V z<'VZ <hB]6U-/ӆ~sr:/hMwf-MB7 Hj:1ee۴sjÿ\ i BIKSMǜ ?r*u`}/BS`P^'Y X"}ǮD+E2S,و!Yi>ٱVTw 9N*S_RfHNŦxt.+W=G4" nJu;F/|}ńtK#I 0*;ue7b2z9o""x~}Hv-r_XFM֖C:,Hh..\h@zOF qMQX<:ײ{})q@Lc|PA6|Yܶ;-*׭nI> -' l$а™l8{1`N d=^(YWn$wi+Fr7'Ӭ54MO6;^ΒrDJ'՚!Z_$xDrD,OG+% 951cޤmynRԭ?589Kőà0n9B,T+LtZ/73JT*W+ֵ#[3 uHtn]ѱLmg&MؐbS.`ע%qݩzQ{9 )TϢ1$YX8o\SbJa85@ǬĒGLEhqXA{\5&fkoPǔcOIiS!Qp iWߧ{Fz~BG1 B/1ngjG <8 ZuFϕީk&6/`y̍!,|0 ch5k7`FN5c78mA` l gf$n -(Rҽ7g{HY2 U'c-5aw\0W(L 4ߵY*Uj"ۭ]/+6vճ몓£jvRmL*)7t(nY f(ks%=¬=2%ϚJ%b%7UQqy/C} 2‚?+p6l?V32y)-d}IKNp/n-HU\߰e>1`OiP8!vfNQԠ:ә)Х`ȨF %RsC\lRHl91,4ns~9XNRC,F g1lS]vT@,n. Mpsq>Lxn~mp-!$6gReY`G&kv&t ~nx@H j/`i,oǮ/'b}LTͻr1Pೱv>";oU-ZNQ H187 7]R 0؍(A7{d +LjF57qݩdϔop,nX`lcJ@ Ӗ85rE \-bpȲŗ/[a= .ρM"V#CRj;hb**NZ< WX\^ĔGXd=D]_ogַT&!$|D[lѱrPHO*?}T. %Nخb0Λ"⺰';n\&b2Jf W,uF6pPN~}{*F/IQZd2Bz9A3Fvה(-%)Q-|ɀ%~֐b!N٭_?~4M^a  5:Kdq=Spd4p@_~OT ++@OmUjma3+ h)Xf _o274T#Ҷ&_?ȍKelkxA'quƤ&E)iÁ 东`]Ӽ֟}#ԕw{ |62ޟ4𪬐7(T͝ <4 Q$XEjRYouiYNPl50`WH{Fm.̈HC?cIO{>K[G AoBp0Y^GnN xb[/K ה_(; _"<[໘oY #x&OG'z(,E-R{D^d^~#|}Dv`.N074'K{Ws. F1,2}˜X&B!G7!$ #$̘1QoT$;ڿ6tkxqqXCbq}e9bFI4mF[8DlŢ  7&0{4k ;f,$5 qC=d)ЙB'k)|dk&]u^5,ɅPf+$ U7;ݐ:u_"I#P44:jlgې_Hby*XE4D36~]EaIEv?-x)os9ʅF6\4[BECV RdA8o^v\%1! nƳС}:7KEϱJ,GVSDW5aXv.p۝1>ԪZVPVT͋)Fe G:V*MMx8J̤\r \^>֑c5NNCPy$įRI2M).u< 2w=kRV$П G)!%>y49op{%Br{j dҥnXGvN.RQlj랜>׭0}Bc*))h u Cij95 X*h"\IH`;*>ہx?%:-ufzs׋3_Ԛ1}r}Q0wv&Ss-C-e&g[9ۉ"|B" Av8IW%>COF)wQqwn֓wu#遘>7+䟭^}n}Gja,l fbڌ=lNN=䣓/L~A҃J1{M,{0z?ǵkN-^$0u?:Չ#M%ʓ vxJC@"3o:Bv@e3XS+m|Qq&4kO){NpT*e ik+O}R $p)䱏j[S rˉ߬ʬp4gj9Fc碟K悐  Q42Eȿr&}]W", 4"u@"]ga `r¯Wb)U7?]'ڳy{7-10vTCRԖME5PUM}#p7yA(eZא:~2v˒=p_GcOM1w}QDfjА!*=x9ܖ_ ǃY2:[JoC?o*bW/ R~bV߭[H(5دx_`Me}%hV]2(;v_+^o4R>p1j߾TXT <:n{,ڵYWk -xMICUۮ(Lʴ* tT:u9VYk|ußG.aF~~e F6 n~y Epvx c0"L*${Qk:<w/s1?tZ3_(+!* ,!5wm*5v #3~r gq$mVP99 ]|n/ce/V(*<{+hRw5\D푘^ES(=M+.b''S9Jˡ-c/?,0Y@"\p:EنF?MQuĆ~`x0QKs8ɢ3Mgri!S;"btْ,o!a4O}@i!dNuU8mRf<Š'7AgWiZȡ A [P_WEC!7+ÇY"Br9H Bh?g( '3o䙽TlriJ'M ib?ETz92Nrǩ79Sq{=aS5 GD@Uʪ-a2vIeFk,*uرΐ"L01דO/EY|{%Ts_+ʷ*n`p1M,0SnڢWR 5aRyla ]yKM#?&I;au:</a?5el|XDo] Dr̿Q~c\){sb$m֥|.Ieioզ+0 o|rw/eꡬBHz+a'?yn{a9ι- n[JeT5t:.eǼYtLRxP% (Hm7.guDڀGݡO.g< *J^C7gp!m-F2ai#T:ul>؈5̦c= O]v9PL* Wnܳo7)̧^rskva"`iuSiK|D^4-kyPf%&K.i-wh3|::D[MO=~s8+@eCH61D NPl"T{*&Ir-+pZ~?@.٫y3_ Tο0!>N:k( V[Zz~1i1Y>0y6=ߺI5zNi1a~J' $>;U Sbv'u<3 V IwrZI*%kvpDhXq,6QBARjˈrH=:bk@UgM/wsxrPW+X}wA .%r1T(~4U^?Y9(Y0cc|;[z}G!`P] [*UWkr-_\GDMó܎G`[?|E ޅԏLfr|5N/r{i-vClHyZSZI&1؛vtJ~JCFU曗|^B /0i,2 ͅv*Dn5bb8AľS3e4XᬝE^A :8y [zX^(T&,QBzq+ZSnVԮ0Z;kGh4RѰ_߅[r !o{PDxB,oW~D7x#TmrpI mc}k~1LXGf_#?ܠфѴ!{dt/AHI5Vg_r:'8PcAJ>oRtZiZImŞ3{h-_s 6DJ7oYY4D $#=,p_tf39ȱO.?3xIt(-@M"Y WEC:r eDH@gf^?+ȐpH P.)k4 *ug&?=:h Ji!H{!٣KD:P$]=g!q ,=o)!r+GNKM-oI(=* )dG1U+S_BVDNq6ӈ!tiBik:f6.8\Lq^ WŃݯ~ VK 8H',\^fx^3EqF:̾Ŵp9G9X"2}J0ltG9V!h~%uDC9LznR|/ٰAB,VHLjNTK]lQrg'倶2t}Zif}Jjs UDC=qNB`z-ԓO *v0ߥ=5~ CT1R[2 R>ZN- f6aG#&y [J/v?bv”j :\q3A@++DG<|>3L#IxwLwGiY%&15ÂCdOA:R(H5i|x 1G*JXjw`\?}Ew [[\\J!i\1D:=|U(o!'xeyբ7©]@@s5dRX46Ml7hd+*#q{~u6 9 C}tKvgGe7oľ7`ys1wJXgIVѵ ҼER }}WnkT'YyObO3Ь&!d.B|끈7A%ҙpa!$zBD06mԥR}s^G!OL ̓FfY\J!Oݼ ,`gܿZhlqJʁZG~gPU>Ṃjgr2vDc=0Gn7=^|hTÌۉ#q@ߕїq`x4ήe]]:Ijlu-BDkwN 7}z>,?`l.=:cB e<]OW/X2?ad]P~=fQ\W:@ rx,ӔigU'|ấ@ٚ}dy)NW^O htRr-bUWu6fAnЌoR/1F5q7ymg +L)Sc9FKup&=unj?Es1N퀹rddB߳u:%#^ӥ-@:dsnt7kߋT N O;ڑŰJn}^Oyg!AM*^#h85p_#>S15bKghѠ)^_T挙k;Ezj'%uyR<$ f O~oި̜_4AX>^Ʃ'VT9$01<4tp]_!_792Kɱ/=ROWW˾&+KB {k*Oiժ=^:JI`)HYPe`(HOB7JT0vڙ [Ķ?tK i~||T-QcMgARbߝZMg"HY\Fg6ܿ%=WR-Vei.ZYmC>~G^ g9F$Uxs^nF ɟdh+jY;=flOsYK.ڙլ8Ejc 5t㫬Q<-^{rIRj %J@ bHP=e1K7b .hHWR0bo1nvloa(`{2 1>\5uvT0"ZܱՙN:\fqÀItr 2şiŸPH8x^v>Gb 쪸yv?_zKEᮝi.j(LK16F1T(`T5$'.EZqSakoq.Oɂ{ $8UM74k^ZFj@9\>rQ_{ ovA1丮DvYV54|[Cc tt~1>m?&a@ɀRC}JzofTF]nV_.jdx?-BXǞTe+zg$gF }> "cB=fK`*q,xs+ xkgTj;nL6Ys$-=cNWh"/C^ǡ`񙪲}Z/xJɩfFev3kW InȘYnAjw%qGR36 ffGXҁ{>·Z(=:3koa+h8\'FkHQow]f񼃀9ȘdҍT㛏pk(258rCľ(D_hcNȌ~N17 d5oP"LB}a_Z.iT~k4')t%O +CSs1*;#HgV4(3` uٷ7iiUԖNj+yR:,zBA!)c9q׋GC٘Ed@D:0{ o۟;0Wix W fcMDy'gN_"ܾ4CVԳW\;q+;$)V) SEeƒ9nh=_N ラCr^rzRY Uq?A%5fo{6z"͋ u0 t]5s,+h ^xc`Ӣ47-||Z}Bf2@,%)tV 'o 8ˣC: `t9ل/5%tk\M2\P@፠P! d,ꅠ [1 quͽ`vIM5>G*1h%§{Z/pI5Nоʳ7Fa2,FhAbq=|R+8Kbr'  md93I= FI$.#DI?DF$b2p(pnzxZ1czYGmCZ>!A%:0O- FD&u'yjNT_&AUGdiq^nY1,imsiӽDVd˹ҮV>$ 8%|PqTX1&`]m&i U͒RL{7})/H og'h%VI*1E~8Rl;mEf`ώY` JAE9k ( ~a%Ulaf|ƹP׋q vu+Iz jl̵7\ϼ[ 4eO,1`7mD4,?dkߔz)݂)Pcs)B,枃:CW 9INf Wȇ[a!cͽO^^]>CAJ Ztsٝ _ܺ•><;u%}p}F)cג/y %}9߾*G*dejI*d1s~}4gUoa vid!E]sِ'qaP4V{l2/UWd;ӽ|,Ealpv$nt}gPW<qsJ\u*^J[r H\)iT?#ǥ "x4B}WNů}r|]t盇@Ew%БbH>`.pr&$Tn{dh 0i1.jґԟǵjUMO.H~~`ٍD^Hu b$Ja+/Q'_~F:*gjRAoN"'oCfC5~\L*P _cN+bZPb4(h+.+!7(+̭|`M` S ̈BղͽM>|);E29P?{ >,0/XM?Ҕ9Yr$;dV7cy2o=h"_)RwR]T٭8ABzoB8@S0Fe|LBD%޶qGygF>@nqFA_?~1-%uW&9ɜ]sS910`5y],{14Pw9w (F* G)rW TŴmm~HV-jt9O;ޜƙX+/c.ICWo9\='Ȏ@٧ĉ` B6or9e>"ҼO#"r4{m01wQ_9@jb$Zn_6%U 8< 8;J)S~q/ wH#T8n *D ,vf@A^._0_j(kK8S=D|vkW'(Ùus?@I*HLto.Հ>@%lnPE⢼ Zhpܗy rQPI5Y#onl:^T%CU᛽~HBOhϘ֋֭ cc#[ _=lu{퇔SQd0b`Pr9/˾ZkUحGV 4U, :='nju2,uIsuQXSU@wAggHUa%I_r>HȚ.vZ)X؃], U|a=N&h. sExUYeILv98@ЅރG :Ӿ蒡5}@ϓih6=A p9sI%pϣ)M^9*A$͑2"f/Ana5c&Z.KQ ո׽ۡUz^W0z!0h-]l:c_ < ̏C1D_8 i+{^+['t}ĢG̩2Cy2ovM#~LjQP4%L{QgŞ7}\ AylJU"Wyd32p|9ǘkDf}%rYqilg&H6gw/*QFXkL 2!-q"vɀ~[Qj&/6/O^y_NQ7B+OMB8z7.4FeyN؃a0JƆI՗dNH#| MurGnreZ<czݥ F^Ӛ4C 0BvK),VV#)T%uqӸp:됚/ 䚴"*F+{rnm ϧiZ 6dm4ATh3"[C@B4aW2ČؕJL\*8R*ԟ<fxlEPcO'|(XJD^F>':~.țM\SfeJDD =ß3t\} "k-eH~7`%ێSg-zV>P qOTV; oIٙ,m,`>=̖`= k!)PǮ.Õ/ cnTy44\7k4 HsZtFOkG% ipB6uy"n6~.NJ#b+_ V;pC  B]NBI K}hZ64pp;g>:a TI"`܌%m&u F fiK$-~Nq/wsa&sIq} [αknO %JMc@2tpF3Ƚ⣘hy'IdWßw -J@Qp|ί]4cx5X|afA5zϙT~8A{p*f;9'6Z9\"|jnOY2z㚗i7q_ be]MJ(&werRFF3R}XD 1TFwNWg&G!tۏ)scscBc->J* ?T v R8N*6pUu:J/.9Z?Al`JRqt8|oTD'٣, @r|#ɥF;$T3vSa=g0 yLm8vT1Sw'73{XG#};#ۜ*=Ğd Vͨ*lȀg%*ID'9 z&r2,`4u3X${mFG=8WIECR~O õ#_zuQiOx.BcbZw.ދWͽegMBB)9'N%֛ Y ȑb˸kGk~7Te6/kЅawpOg 'r*E#YE< ~_}a^

S 󳑓틵Q*Htm3X4ٛY kq3T>E|nԌj:^ SH2c-`^.7x~uUpn9~.G%.+*4i܃ѥl2qdsC1 O汐Riw1~ j8365+hǧ.K ӈw-b6b2xj D23Wqj5HR(]YD$γ/rHH0f5dd 0Rn (7!h7Zm3lVBw2P;[y/l؄JDٻֱ,nN9^ڐd.z;AE-(uћ5Gq&B%vrng絤w0;uw٣Q]m&"~rWvV92E Q8i5a2LQތe5\JzﶗCrv:r_:;)0Fo{{7)[NHv&(BuRcJD<!L^:[ϓ@~P 1rJ mIg1lZ:}=(uQ N#d5i/ xOƝ h  s@{ Py |S64I@~냯VɾrQBYڭ4s9Yb}F5P5ZTNzF*>SՃ*'؅8 q})@BoxOU>3vBze !OʞB\u` nL{qc#"䶙n_`UE69QF,; q4I536a)Aw `͡"lJ;^+ڐf"=c 1wwAGF:0g̓+RL|a&}q?Tb*!fFI$-89-T)5/~f3 [ylX[>9>J1 "}IT7uZ+֍v^K;e\Xbt3ш/'/KgZ ߎLs[!Ga5 <~w'[e2ˏ&_8&M_qt'N"J'n?p5Nm_;Y$b)CC{hKg#d˒,k|kA;ݡ@:0r*۠@7Ltbr]fnPu uS~bo=4L9t-ؤ3 <9wV\oF<8{9tXvr{@yUQe_gf;Wx^֓VȝXx+.qB֝"C>OAp©Јio*NǨwEVz9X8ѝB nEJ tWqQebq&(R?%ɕ7ȧdqj)JZVGd: y =Tae1~tlz߿' _2 sl) J < H̵\ʈɜ{-m]-wː h?4ja-+5r7_3Z/sze5:rG>NI$4*EC+ِvyU];MbPd"/b iQdoYz4 6n>F'e&򫇷dr)ɆG>1Ssܢc."6}W j( gJQM# F1оfȉ_Eꪼ ݏۿ~t8Dh:nH嗜8)n޺;mJr>۵R^C alpe#iIOm0(2\t2< X7&v,'r?O"4v^S:j//Fܟmjm׃hSبXfSͣƹn¡-d銯JFn`zq IJLHODdhֶ_#бS·UDy 9w  ~VZpĶ2#zU=,#/z\P67TPlPCGh ](z&y#Mt=׏9j]w}ٖNZ;0z?;W]ѮmM?J%۬HA**A7a*Sʇi΃@h߹/SXC1eX^7h$.Ff)F9]o2qV>ìk99G`戀iw N:MR[INݦǀPlJ1 &p8-(IMQT ={a-a_|=K)=aE4 -tomH](`sͩZ"튫y8 \ܸ0WL4邪7Bn+0o5 w&-H-TDc~%.x/\Hߋ׫-M.,爊3BǽZ&  [VA5 "o$\_{ @NRYMJxKw 0e{dŕ4!,{6{+=kYkNi)Α.X3G.ĆP}|S|14HΥVE@mo߿Lu 봑";]/bY=!3Y\E~U@ʉ z`_g[ZFS(Qw\NV2>"]`rFi8 fwO+D,LGld::U@ OK\b( O%>&[ӟ TpdXd#N-7 ҤnӴ-˿mz!l liHJ,K%>7zLD=uEz޳s<#s+(#T6D7{j!M(m.,Yq2T B[15SՖMrv`k G+0rhfg^GQ٠0vIU%'u~pBr*졔C?[ O&ҧ)7*Z@d`HoI[IpV6NWzu9*ڀPXѻK؀vNΫ+["(nian&VXĹbd LOPXS"e(S,+HѪH@kiAUCz-ERQ!1\h/vueam_hȵd`2Q\>z-/! VЇldΧ:K/1DSz/%YZ^ָ&>߆j^B̚N& ̦ zqYꗌ22;~RǭZ{V_[ SY[IrX"m)k k)V5D DrgEfX7,De GtAotR>>֦:Z;^ַ/p卭M`KtuBvG(ɵF4ОFF4BZXNu]4y D"_$&8¬0#8MY&%| ]%3z8n(dpgR 2< 72В SEH~'Y3\B$P;ꋥF_ ^W%7"4u'hM T0r rE֦vԷS}cI,R_0 q*>T?46 q\)l>Ru~"׋a$t2@_yPpIz^$Ӟʱ;Ү `QLwE f?j<ۧɻ OFz ;ӝt;MgYZ 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 rq9δ+4cx;K-lo}TѲ <yn&3_¡U⿩0NS+az)7ҢvcO[/vM,EdpEVg0)wXZk֣ov]*tgAɱG|=:z*67F.Hм+o b6LМ, _C0k ӳ~/Ćƒݴ\TDqފ8 ݙu@T8#;q$k9yA>SbTW]_jDLݲm74NH Ku_K|%%*b0í}:2 MhNۗ`]2|O[=< A2@sr5s&?|uoӎ6[,cav}uRMympkE} ʾ[uJ?\WLXL?L߰򾜄Rѿ}G}pa-:ڮ[+bhОz[sĠ݅ %%UAf3X-cAɢFB1i鏴Qpc4qƑ,Ayl;n|][on[i0^.\ 5UZc|4r};\a_'^5*~r%ɯ)p1Eb%!<'w‰! X!^l,#upM[.A^R|3_,}˸l,U! Rǎ ,U4ʘrcV~Nt8&-LLS,Ocd2OLp󨷴2'wgr\" L,q.AXi7'.".]dݝm8 \B 7',{M}4Pu'}-"J&4 :`8@D.aVhZ7aK{mvSK P. #Boϟ0W  \ʠ<X<a8T$\Ű(p"۩|){gqjd^gZ$VU:ִj]txF`gO.ǻVdG/Z'B%0zv evmrV=::zcJi) pO3ILaY2l̒fO슅jHCR-?_PmdCLz:FY/o> nϟ yng0|0 |Vk?J+B/y3IkS2b|z!xq)KC:w,w]2CG|VW4_YxOyΠղ8Do`ee"'A A""r J'4:Ы6"GO1C3ma9ƨD4Ta)oPb⿀ ֐b)g°ŞǦŇħ>|*zϨFOKHxZ=T [H>ijP5E*N+?k6xLi.u`䕡 EK<^Q, & `T$/ RwN]y.mEDow{` bXŁ??V1s-"R%^*S+F de(p^qG}:).jth@ɮ_ٗ <?9n #)ĺh5I? -# /R 4a:]ϕo0"Ip&2 #[9ho} U,/X$Tz6y޲ @qVb "J[ 9 T;.*߲++a OXkh- wn굙^59QULJ!lf]g&@jRJE!wh&U>K"NN+ɠա:RerS?'-d?("7ġ|ǸQ! {Aۗ]ScV&|XvuX~h,3TT?S8T+DOZn v@R 4IՅ)$jڜ͗ao MڟI~͝Ȏw}j]"7D wh\Ky#"DM5 54'5K?2A4{mXڥHQv7-_cnG K_wnsmo0rU/+",HțkAD  {3<>Pdd+d+2EP|z2dp4,+;"^7T7CzΖK}&GmDم {T+`"úY>89gZ\TU,;l)⍚?!G/8fse2菋0 &mC[@X`A:(9\-g1EXc 9_TX.7BнuQ;=_3w+&P"3؃θ"RS"Ľ85Ucysc1ϖ*lĭ˳^d]EBܪ ר3v%\=+~5T)d4A 8 "N_?|¸?s;'1iڵ~/{sZ[汗gx8&rd?K{ZSTm$wx:5"c+^ۂ{J]Q.1jac'+1iaZQzm4+kW"4ΛFw7:wЈ~>A%W\׊%`j6'`EFdu@hs# V6j]f )ՏUu㐗Y" 5hFHl<rp!˷bT[AɃ> 0C2ItbAqB+wC`MWjƎmwZFMQVnWnv%]dXC%]u8AgCj0_(f?p3j/狿1+ 2C>R6Qp^ߙ҈{EsI<^ተl%ޣaDq>Nz}*B(p+Z+:]TiޒsH:.|U3Շg%Q!o uDx;jRpkba-ͪ( K4xa$?&htйF#%6KU딀Qb4ڱ'ӕ >FY\E"'D"и-:Ue| _.%ġ `^zq7h n_Sz#wȷL;UM$Ev}n-GBoh)4lDµ'JܽgE>v &ؑ/"jHW8jIC^∫eqIJ;nfzFgv7R[h \/i`MNG &<]ƅc ܫ=Zl髍{l{G;c9|d6= zoI/ySFP6\!!Y %) Y'dRէ+*LmK(L`@u7yյurӄꬮ_oq/ϛ9X灉>Ϛ 2gYZ k+# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?;@.I#q/WnMoXKd޷fj~mz bR n8(o4ReXk :D)@_Ѱ#z\JQ!$X#!nr2Û]S[鲘F$Yuxٗx>Tp0 ύO$Hn,+ B=ZӅ hT r}Hf;(rtQU=v I@p# ΀D u^XΤc-؉`f\[kA#P`67uFlz/wm2`"Ǣuۺ@ kX;:m+rP:&eAIH;p Nuq0՞V(͜bw%}AX+Yi0rKj-]KfV^DjIx:[T?qX>ӗ516L`J@g8pގ=b)0iR! .fKZPs0&:Gg/[W#o ynpNfTYuV\:|m7qt N-1t^\x幜is{)hȯ"?_.Z6]xTn\kӅtwV{A5ټ~=Zv~+ab"V̯ Xan1^-)^#8sLQe3]j)w&̓GFҜ }!͐h8aP9Y?roY%Ak:76/[4(jVׅ~ېg8K$9+!dž5.i++Oq5M֌[=31 CGF_!/S/Wo EMY5XR/Ij:hCCM T 1l ?rY0".4`M" &^\0C'/Lv)2$́&ZOJL-#WkT:g?L^L_L!f؄j-R|G&Hp;+ZC|8Cõw5H25D13ZAO}UYAكH pvLU.$AA KUY4j84H#Lc,-$cP^3n*z-NB#vgbv5TyB<+ZhjnCkg#zFa:[gѺ#m5՗NXֈ)G~U|tbTq/h^:v#BhF7\P9 ({v&N2 ^ΎٌSjx-IѩE! - xj҄95F^Ć^<fs>cEwfވ~"bC/q&w-ݧw ?SVR]wV$Lyd4 % !N/uQeJw.kj1v>\ٵ_ﵟ>DS+NacoEO56ޑBs!\2 m c?Siu˷#*Cvi1=D+\CN4QlxIl 3?~K#wآZd˺ꝣ쎗`b39%~BWpRhgZK\se =7˨Op/6y]ZThE!--G="-/V= f}L{ܣ.c4jMk=؏=x.B!WW囫bNg1_V䱨 \p=8W:sp{3Ce{9k8lV_"r@@,qۆ.&:tDcyV7-(a2]i=ː[H2əTrę:6w0/G&/!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3%/-ZF-InductZF-Induct.FoldSetPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׁc ;ecG䁠 n3T|xw\tjě0Nt []Iģtq hݜS\*yi sqղ `ռ58-+stT$],͚vU̾3f^;үn@z3fҸe`b*-S9?mn,?c`GPuIUkgYZb#9# lZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQQS;r#M@ѲU͋D M=Mu."B9xw(Vdt=U˙ѤAR>.qx(խL:ICNtq0K[~©ŢNI>Nr4=Xd4!^@M0Rh;o0*]tmQL":g^H4H&KVb5Y$aP~ ;}Q3XsDQ7N 5!C9*wbNnsrUSZwbIЭkO? ={{/&o3)hѩuCS"7=s[.ڟΪB0e[hreg)3\t~g:lɞ*B8"Yzf W &þtU_ 'Lbg=a B}U̔ Px)&\IJ71:H+x)ϪRۇ~\ђ &,G2-N(U^@MDQ WZ6|(U0;٥9"^۬"uI.Tzm#Hm+>hE,5-(wq{9nqQUXd;uj׎ɻP#+&Ԛx4AVA$ۻh^*#Job+-I4WP" qvq&F )%d 36­ud:/*Br0g/WnH-8{/7dANDM[3ɜGÚvЙᔘ~(]DWy&Ej#<~&1;48?8O9*cNjVa*~iH\ Qa4Gb_+QEMި&GUd@4O?!C&p}î)4ZL.ҬW9ɿͻE~uN[ƌ3d6̼*JЍg%c^٥w6A,Yp߶֤l+YhӘAT|BRsT{f̎;H@:ci5qf'Cg?h:^u ~KQi- k Z|2BZJ{4<[vOր@ I8Tc"{$¾H[+,pF/B'l_'$m +#jlBg~JWK#'cHfx2 -:+wm΀iN(-GC~r,ߩA*& ]+ۻsDp'*$^.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' dZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &++]·Iq n[:|&[zlL]GMH-[T3+120˄BJ:KU3 i)g'o)!NʰdIT&KvBj`y̵6+??6M2X+Ӡp70 }cTw2KT^~ mN{c3 ohų{ukWlʺ6o@jyX iQ vqc6<#4%[gp[$%Ҫۘ78QśtªLyϕ2b$mZ? qUfkիj6ծFBy09 E3 (h Tĉ=5=J; iOZW:@H1})k[b9xro$ DrZ]mT(Q~!倇CR ~o>uuNoPyQ* rYdH1w+."FR_B,dH$5oeurb*-6;!ĸ3\~&S͎eC.'IO#[ À foľ|rBUyF3m6Fv(|etJ8忸jUMOY8t4 HeFd-^{WϨW`_a|{t>&PvբRfG gь&¥gB®m QJ#OitI>`{Rӧ F`Hdi:L cgYZ}c]XQx!T/5TeU9FpB+6*ޯ*vNӠ1SH; RJw': G/]!#q= uLҀt\pKo~ qCTWbrMk!?%ɬt!t62J>ltb5LժF#=5N;NlV.skLIUA 6BOBnmfE\!y t?^9,(f7S%NKbW<\.1:% 86x%MW\`TYxxTԚ'+"\l`'_ kfUAdԪ u3eQTUϭ%gTezs^۩Lg80шXdp !cʭw$rXm%{]m肽iH1U{G~=3#C㑩?j-il耕2|''E.o72[8VAf)+MӊN]ڽ/O^X̙L6'.]ђ [>{0&Յ[yx3@ K${Nz;|gͲtPJg+ezZgÃɜZ,fEzy /Ss_S)9x^ׯ Qͯ)rؒf \p-OYt3,'܍#{z_Eő .еYCe.iW*^$>4]"85^ "@\!eM/fsR׻iNqg>?0hlS74xOӍ )B%xh^l?rX5a03>*9h!`}khIEJvTqN"3|6hG+j7Ct ~:yۈ{kbf1iw_\[?Kѧs代A@ {ZcY9C6}8mt6[}Of$8"Vg o@4}= {>>"Be?In O${@]TBR¤{K 7Mʫl"wã1 dL۞91RڵT% pn=}!/,dGs+Ts~/8О)z9XYK}c(UD,U$gײjMPnXfh em  Y 6L>J9jm[BmoI**d{tEb?+jh2K4~r0;AK SAmEFpBO\?t0nֱ5OJ%pq$/8%.xKx}K7_q2݁SSKoʒ.x+/l-9cܻ\FYR1"Z*a▦,$i+٭:Z=6=r/myPQ}Qco~g76 u_KURk9 ^OQ_ry2|(5K f*l[bHzʩaWtBP~ybRwx^ocZ yY,Rj Jeta++m]|^P[%#DA/Ү(X,Bwһ[ҟ*jDİwJn#WW6mJaЮd {-Y.,$^0ew0:҇GS@r"&e)O-e~=qkHZq8/(v䛈x!2¥߯7۞3H/5x/AgV 3!a6*}HtMZcl"޹oY?Cm⏉9u+si&aɏ{vs~YUM|Ī4% * k: ]7JY>\-rk\[bKc|qy;ozf j6 (;7\y:wATeXRQ xDQoraueU؟MyGGmXd{t'KS3USRkkZy(vL?3g^SRsGv;߬`27* R7sͷ@qΩ, ĖD}ĀMf~܋K*9SacÓx5?zLe^o^ f_A5j0܀,*EBAJ.@=߲$ie$#(/@ty9.QA3@ DŽxcYA* tzp{ǥpG|˹e g(C~/by vfRlrJ_g/./"S& q͐ 8+V]AZ^vي>`Nz)dChUsow*ҍK3z߻: EH1xL_ǶntdOHCՀZRTMHZtsAۿ? ^ߧ+;;?$F ґ%Fs\`$i^1 cެ+~η}IvdAW\ODUںkM u]otʷfsn|jB#I͜vT䅽Om -kƏ|J*$]Q#(?2Dw6G7G韌d/JLqd=\C1ɲc`QV,$jUp:{u?+5<ª|L54i L6U6;S&s[I9UI ';>{DP*T>*~Z^6]=]HH-¤cw\gQ(=DOFIϡيi*@1CC; I,O*ТR-2Сho31w|/!T"9(5K\Ryq+;MP%Ukc(."ҀA0hz SE.#5zj^6,89lTN^Үi2@"#Pd9} 0;JMPr l81aؒy ؄~uVhrfdY?KciIq;4, 'ҶgYZ0`t3=V zK2',e@D"rO\]fvPP|\KJ՞8̅[~^;O)Ӆ3%0rtP)F KTC֔v=xs h;;ezg'UAHRB쯣똯w Ht5AHV,ܘ0!9 /1 ,[dD r'?|W4PJP+>DL޻r*iHq҂̞y̩ۡ _%PhYt .'y˯>%:_]%9=9cU ]QGrPOh.3`Zz j:1|h[gON\ YEkTwd);8fCɐK䅊z[O6_S啙Ioo!*)jCV{aQ_ à*X+)%.FW*Y!0cP/aegc*i-.XBpn Ѣm:WAӯ^I%r~$t`hG܊Q6*ˠ1`,hb}\'.0c!0\}k&rh}䩺qRޠx%Dj&1EbfF4$[е' 3_o^@$:plV'W̨b=Qߓ!]o$qGCYhU 50CFe^[!h9`&6X&M{ZEUa`}ͺRbykzGm(x@Sەk2℩$>\0]W( 45Lmq1>cry_kŁ=yG$4:caur.vg2i/e4xˇCo)e%Ylm7Dzxn ˶iЀmճJ19FU@wGHzm}l1. me s\؊J tk u!D_uDab<jT{4,WBT>pr{~uM 0H87U!}ÄDeCr Vں8f\f4,*hW&M/_F!mm9|b V])'vItHdV-!7>R0LXJ8BAQ{[i= R05 s1i'_?8nt Hn7BPo  bRZJ :֒|i2v|T{T iRbڠ !<W΋?L)#7Y ,j.L<{c fqtn2g7Qx\CqKibpYnHhϕA4Z@ҮoSid@f^ַ^Z{YKh-L5̐jzV rK轕x܈q_$n"B߸aYtqXm0u;z`::)8DJӄFc5C$F[:{,64/QAϩWM7'";"0*׭cP*en_$ 2Pj[x*D_!qg̞ZCw-TJ -JU cQ!TYqc]cNW)`?_7I ܖ5#*p1ME@Nl)9,#w#x}"Mj\7wn4P&KɇIgG!e5!ZƱ__R Zmf%SiI҇&B1s"4X;]Dbdk؏2և|^\/cSn@.uh yv]*(PUW &7B ! ߇h!#Qz:GuPPIBO娸OKe7{bv>c'L&# &gV2X- 5Q!J׃( OطRm,Մ+O$7nQ>DΉ dT>a_CuUYԱ/uqTG-:J%>kfYJq+WrIO@A-<<sH1d"-gOs/KuZsEwU'BSWH5rF^ޮJJ`U]e:j>288<=P20`%O,)\N80Y lZ =,~V,: 'w@7UVQ)/̚@0Fٛ5rEG`uQ 0jڷfusdU&vB+ن;n]Nl sy)@CU>/K 9&|<{$Qp}rvX2GZܟ.. ςV 1j7e6~U)BGYh:=b֧ tLD"Tp9 wÂ\NN<1/vYLׂG`.o DXN6%a4;z[0TA X/yFr$6cCߓox[>ap&F/7.уtKJxQgi `ôL$Qѧ3"iHuх5$@jQ(7pgf24 !,Չ^Ľi8O!1(VV|. R^am^XOkOl:O7"{0L~u<A s&:c`PgV8 NXVegq#:fWw,cUD ѿ4ʎY̼_ 4d/{0ԕd`V(,z؞(;;9xУQO~pF}>D_H.ƪsCx /]`LXK֝و-,n/|gi0.*07f^:Ym0()&2,r G87<|Lx GB#z_ ' 7ա2/u<'~AG3כ)>/ Fny\17%EE@ٯ@AU:Ɲ_Xt?འ\7{Bh5P)"\#D7xz֣ 'N9sZes(W ӶX!(LÅJ/M>$>2kx&6sn|mr-km0;poɎQz z?>~DxAfq8]K8s".PV88P+X_U0[Z&AkVdjc&.%OyFɆ$ # 0'ՐiyחjfQ{ՅiZަQzx'1*=Seΐ;]KcPPTyC\SQ9%Ao[8 XT ?݆5۷4'TZGF *L y|kѳr9)t>=XQ7|{Sxm#F$>XrˍV;#tp+AF}AOaz:%2oeԿ҂SDcWg3E3/3?r7S`'j$5-2KTiGkJllFObmu$Q^$-KH*OTJ)ZAc2ʾ~9qN6qrn@ kP}+.3EjѸِ;G-Z"i1uKL3|-lar {)CJG_F c^nomUR_A47M7} Y0'N 3,WTŰ7S@,mn(,m6 (lz&ඊ}uڳ%i'@ uzH={jU59a :7te8l%2Q7h嗏_ [Mz4q2JfQK%iH%IFtQ,tX)E/JwvBrX휴ǟ\F9)2#Z'ꢨW 5_vJ#]v%9%b]+vYb- Gzʨ[WLS~0 d1wv "o_"DsqŠFRvhrRFNlL?~Ie+|eNfM|#Dv@I`25UTgbp޵9!wP\e1oojYt0f$е1dgtiLj| Vᘓ' s$ фPx;_W `Z>_cnta8_GBPJ8k0N ۶F ڌ+G+Tf7{㶰}6ܬ0ycGfшQ"!m( xߔsg\&Ls"ᚳ ]'=i ]2';+4(8M3G*Iپe(DJ;0]*jQyNXjf*wZba[WB{y<@Rb,~+a YFӧu13[ĚwQAĝ9lN|C.W*DFo VHK~:Ke%NeWOS$[6 42rѵxN-s5%\SaêYD<\5:5@ϗA 7!!NPѠF˟ST_?]rvy[ < ["ך VW-h( J J ~W]av `8iζWG 1.‾n`2LЎ(ZiQsH'Wg-&|W*BKyx fQpPh "݇G!LXBZ&j`閐nb1)xIXna˒(֍0+J%_ݳ>M] P[OtH#:32;ԩ~B8wԮ,Qs IF}{a:ROi-8G+=$~7H'4F}j€`>;J倵'x['ʚRôoW7e`Yc ,h \af)N Et(:VMY@~ XɌ5X M`x%%|}-)$iKӘ*F .mgyAWtP&9ɑma܁뽘cmV>ND񥄺H5>_m)c8'+w3_xf Vדɩ hO*7j{/El1d(irӲ<{P@eK<W_ؼs`c!' bk;'>X[F&b@? : ,\4vVƢŚUwrDP^O/oIV!BCkz3*$"OakΤ!a?4bA¨N:h]a[Z=,!)B='?p5}6uOj7&8=6HsPqg4HzauJz^gro-pz }82ijA.k[Xl_5#hB_9M h&kH(ts%*>8>t_64\|2P-m-3RN |EU6_@޵^Ș%r&cG1Sp ڇFQ Lэ 8!NcT8xܷM ]*wcNbnRW#LTqHZ 7y+@.A`K@ơ_-yvAERJ=WaѯF_en{iEHQ;ۨKz:5@]^gP: VI!״@^g9d޺'{] ć.ppgũSa)o؂2Ku~mN<E{$["ghȲBCY5о-﫪g!] )~;\?<%,x%kzuUӾ^z+"~h?}/*+9.Ĵ ű`kP};gJ/^i5Ynl Lx IU&?~ЏbM̀FϦ njwxF+ZɅ}խ*4)6OB\~Y){_K.ǂzivL9q2c'9-㉒{^8"Y=K*,xFSUDWc(;}s𘔻 @oFJy`(gMgaTĘ3鞀ȧ%So>wqP@Pv#\8jZ܏f -QN%} S:;#~-Pw21*TY{o'1x'X+š6N[|ɬ(k٘&AAiuza&V~*6^`tKRmN֡@2Yٲ)XPw5}YMdrYxv;ZIYi2v8X6+@8?A^8_q#~0gԬrpD'U_̰Je=2@23M[UYLΉ {Z%. !E|x6aJ%hM`^=8@l<y*I  ?Ȅ<‰^ $E5 : 3%e{-obhb: .lY#Р1~"ԍ_V<ӹ1koqٚE V%E夛>b+!l}>ſ)#cBh6PvESoWv$:e{v H OD\1܆0yAA a /Q3LQ:Ծ>vΙ(aNJcʎٔ&?-(&ʼn3: 2vOv2M*. 8_v' kbF[x8w6饂h | 炯9F2!5ȯr4Emގ8@K׍(vcs eZu΢@Vpv ㈚ "홊4dzSAnmo n̓V]F$㌳{;υ01DȈ(%ט xAmbǽS~ L^q[{:|M BHR3DGvXõ:S {ڇZ1ᗎˇv- GYY;=?TZQK{ool$zPJp8M;$ND 1# -Qlx ُ b<&\:pWZjE2X/\{_k7!h0fhZ=>~9#5Ŷz ȃ~iH=@_7#dN3?"-~=qֶ  %uЋ(:kzZC}mpTupV@~߇cCUzNXsGoKW,]%9LdB=9=]KɔGz3Ҳz0gͤ9}bʨu AB@#c esS@$[cZ`]3|QjHjؑQl}6!0+0 i0oUصaKQ$zrkGBŃĎ\pV ]JUI{g$8On@ Τ7Y[Z}B'wnP`_luˉd?dj^UO~)‰Y L̏5~DF79U O#FW^J6zM3g-XAYvk)Kf̍e _^ecݰv{<[LEpX`⫽`n&h$rV Rxh۱rE[\GTkGӿ+H._xKxdQ1.Sj j/WutkTR!(~cS}_bb5ı Z%JkYk;~@g T , L*F輰\D:T-?zgD3ZԀȳM2Vn5jh厾9^LnK Auwm?6x n/ob"ҟY[| .h9Ma3hMo]T؛6f[o"uӠ#'x A.qrsoH=ݩ2^\ Bg؝'{b_-u?2fhϼpѐ+BDZ$ 5^0&%`VJ#2 :)Mֹ7r@M+jBy1W8J@P7 s78ɅM7QhY_56̴rҬu-F{}')tիspI_XK:EF\gfJ鯆S9I8O<.k'}8fJt-#Ra6K5 yY` @ 4-Br`ySmٌC SﭢܥtНKӈW[/uS)PJ N=<<;v7&_G-Cm7!y PƱ"c1`>Oj"D`'?h9#tY)m?JH $5F,ti[F4wtf'TיDL'³Ŷ$,B &pӭYOsOH0B;KGvuɱřt'[@4 s(mׁ\gۗ~X(}NJ` ~qo=Zp83③)d]w5?ߐǎ(i"ꥆ ㉤0 3dz1- #Nre]?Wh}Ӽˈ.%a;,rJ㸈4ҵLyUFE<<$]|pBn;v_H)d-U<6P5+XՑ5݋G&lN!5`eSַl S0WC2N1I+F`qqA.5= q@Mߔ]n>Y"r z2sgv7ÿJ%4m2Y]:n+M/Tl'@upA@S@'3lL˛WBP9F2Eg+6!VAϟ.dlXtJ5 y{.'JN[G#(?}(qI=zL-@7)}8tWѳ.F/֫vC>N)K\3&N#nq[ P~#FrCަhRµ"'cwS2=0%P{X} oJ(O O9u݄'Bzqn| zJSĒ N5HMb%:ɦfj0 TO'T>T}#P 77p$ׄ+poâяpQ< %[K q a'|i+{L)S58\(M%˲YQ%aܶ1k PI5o:i c6eGxz$sxI^rJhɑ79=,U?rRԔ{֟(2DwmrJ%Ia$~xbYˁx †BzfdQ7U h)aƴd~MuS'waf? G:;/͎4=E1Pst{uR4(c3S\[yMMqʡDA}ǧ .ă(؎ ~;4d"d&!Z-hUygYZ ^ & ^/ )# \ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&e?uo Lj92aGo$R Y+`S$lį=r}8ZBME*%1!+JTN:eh/TΆ{牦=ÚL`%fS$w*ԪƬ͠ JiGƇa0~of;08hqr/|Ξc;>8p=ޠ0_wc^;lzD<,,YXlZ:RkCJ\ո\afܓC 4[_C8J2bLT(q,9!lzҜ67'av3luS#2|JY`YkZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0-)-ZF-InductZF-Induct.CombPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GN]·Iq n[:|&[zUAF/3K`k{* 4['oa1_ޔ|c#gfr(|vռwN{*h LAVdt9SLg7yn6Kƕ@F*EA Y.VأXcgjkjZ(xo]Ez{ x,zrNnvNLM,=fLdhbzo/?9?([O_ZktkF[֫R6DDQ>\$"e=i$2#Nñk|L2L{ <82F@T-gYZ]+/# lZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*p]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM+7Pd2g&b#w ZEK/V>5-ҁ"~\@Fʜ*7㐬dK#dR1B,v>?"rVmqkK[O LpX|?u[kM7i`r <?@j0J̼D6J31t]ڼ*He#;y cPp#i)3H5Jx. yvEM ր TOB1:W'q֊ "4G*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118W(/' \ZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Ng]·Iq n[:|&[z׳SNh\ pa(6?Y7P yiǫ?x-?4#M f!]`;KAۺ lDZ:õW>3t2r G5t@龝 lb8zjN85d8|/X2XKI 19(LE.IG% y<;9Z':LHݿq;Ф.JF/QP"gW!e)ƁN"=S^40Uu7zrŒur"Ja͝ 1MRF;\ݣ5+/ ?acJHE-0pA K3D;ft+8EcI5װ7Y!UgNWlcEsjFR)78ҡ6< g_WT38_S#TUG|oQ*d9O?[zKTlH,2 Me͙e]ĀjHl\d%pOFV{Ig"6{Y 'o7sV tNyzA0Ftk$ff.Ҏ`XhͳywSM 3C03]a:g0=~8O"O>?qLշ˭ `~- y/;ቤʐDmV"\kh",b0jP-i%ytaV;0ׁFď5ߚQlA;+ r/֩G{ڌa}_ͼGwcccNܡzz"0C9S_\uꮱ'Vhk:u (#c=gP>7UiE|~亹}*{E  U#Խ$/M; ,Gu#d޼rG'1_6l(`&sy#XB!/kį|4{ 翅Wq%%VT<·7b6^/ސgѡ lΦiDw{hQlkAmƂ>^5tpMR ? *;9icYC%+4 A'`eu|Tx;MzYko1{?8XoMX,-=O*Sۨ#tH"B_!+XE bXQgΕ>y~4?칚5i׫XRs8آܯUWɘp?A1J! $C %c3p{0/*` jʞB4SG7}Zyz^i&'gh,R8dkkbj]X$9x}"1AzRޟB60y>|^}g+n @fì_ujDB>#v%?~Bd|D% Dó#{/S\1E kSF[䳖@/x+YaKw4؝,וA#JLɡH6ZIJsE]fC)IVkߎ:c:qX8J~):d4`!X@sN,#h:ڷ!F*HH^cڪT, { N[uУ(LqN$TQ(1)yQERIkǬG=Y㯴ᚌU/YAYBU }P.fxZN{$:o2ĆRpԤޣ;R: hv p0jWo*urΏs)rHw=}%+F; $5vK~o+=IQ|qi%A5L~fc}U"&6S&V 8Ĥiμhh<.ąTCzR WZgGYnTd{n;Eh8NqD__=Z(h deIB Cg9L_4~d$DZ+wBCs .d&+:_p t#GPkuĵ K22wcMYáu!Ôk]j^;ZVu6^D@,t&H)[| ':rrzÞ[e[q;cq($”;?]?`~.O,,#L}\rBv\0l%cC⃡7 lN)5§.3WF;V<{A }3v;Z%'TFXJ7$S.VVwBYq?cikDX[6.]y\lSU{:µb I 7<4 eʃn[u-%ޛ>vĠݝD`r\o~}:gЇeg 0{2PYMdg a+0WxV V⇸XZym>[ y+Gq j.8{W(3m Yz2:Yh!N'd6٫!Sv{%o&/.^Ac&Ueb4T`E|ML7V FH*W!>WXʥ%EjC#@DGb7}[c}R Kڼ`7N7 Yp c4vҘϙQ#]0".Rw [*9Fic,P3F㵪?ˑRE!륚Å<,^8b1 W&GϪ*JO?hB`w0ë ZTXGAL>l+)/MaB>e”-#~u&bmV%۶ᑒ\4'ױ:9FDT,1 /4f9JLaH¤9uKF/} }"TRPc!#h{r%TXw& F8dY&7alS3(Yhd4D7zbVՁ1ɿІc']yt4Cա>tdyリ!*؎jK,Ze52!tLXi4+̛fnǻe ~+E ىHUʅ?yMg\EG숍ODp.(mD, ŸvP >Ip)8ͳtᎶ7[n~3U٤q"Eoz5§}rCevUbRe8R~sȔŘ{ix!;iRy;/]<^g`CUڀhB#傛Lj  -^_47f:b]CmٚkZS!ϔWE=LJ0> PͶ!jWŝZ)ˑ霹*?ѫ0iq7ku%6.HZ Yqv/qL*iD#K۔tTեs0nI&Ihd{ 1Ȅbj뜵XZnb.LuD]Z!?}/PhRTh[ww|iw9X#/ro9`z0I %+lE|6T△t52ǻQ;vݙ[OH%!Azi3nDzCEJ X\x} Yd5BYqPlycL? wx(zgSlZe8$|;xZ@jVRSvca>y~GKh27ʙBXT]jCkEG> 7wtJ12XK53{sj3̑,PmqhR8dz:_tT%tbOcpŞr\SZiodxׁX^;$φZbRҊGEW7?e!Kc-r }Qɹ@8]k>:R$NPW8(P8yYnK q 岪 0/pc} @9>~bft\3mIE&2,b> Q K'ces_"%Gؙ<b֑LY|@,cO߁/[V:J`φQ zxv찖mdan"tחӮ5s ~[)l6B.nw^ { gȉQaN~^R%3)˶%Z(Evz[ιٯ ؇޻EuTge` B:m7W^Ip?B3*S{60mYPf}uuǺA[x+q'dz`},ZFN<6Ԛs7 o#1Eϱ<ڎQ9D3z($h2BwWD<yŻn`39GTqS}L\= YY ?(΀qf NЬDVyF)%W=1/ ehw 4'8vdG+|mJ$G&ǩLI9Gצ( Yn>%e4ضYC"]ݣC3m>%j{l:]@pUT[EJ!reO0hn1 3,-?Qv+A$6:ՃiY];fY/+b6[Om UW$P}qB_DfW|;~e %cAObj%=,92%z׊yԬ^ÑQT:&,}'Ֆ=6ͤ=P#ʏn"/N]X)Ad#[|&Z{ֽψz9x+2tœL- ~9!N\CBe9-8K.(GTS߁%R6C%ÚQE~ƇF"?S+ed)9 U\oGfE]I_Lv;%r?;:?SńY.\󊯪ݢ)ꥮM:6MS?zvAgIm*^@һ/*'c?`45cmCI{q7w} D2{.ydm:H]ֹ~? 'գUO?1bYe hZ\ZEf/D[0+S›hONRuZJhܔUkth 8zYGD56r[!/;qdqbT K3^2  ;Dfe\Uc,.~]Sׅ+֏ KryG#펊咆 0B tBR@@`{)42]'%PPG-k6/R:Q3ZHNf! |/`g#nLU|Ѭl>\/V$ ذaTT"J=7aK#Aj1L. `` |#nEHHW c |f NYm 2'g]Qga:HNx:bao{QB~nÑnǡ¬B@k7w_j:X3U4Q0WspKv@])'KCsh16gCGDݔj!_ .r2u3j/5}X2qD1뱸7x X:ev"g %-17qs2DLmjۮ#0W͘Tlqz4 /\s `-j|=>{cJ݀bU}l|LJ1㱒Ѹ{5$+`u_a%E$r-ACMЄHJnϋ^J`YAm8> x%gZZ*afa8_nAIcҴ`s?9HV'Wm.ỡ&uPK6`\[1q*Hؖ'K,U"@?qjVE6h"ɼ`x|?~PMV5U 106fi''>G9xh"Cr&Ei&n&1zh<Lb? gMIWvlI^E[yqL؀b7p1He08$In9_Z\^ rw^U5 T@.Hwhur4xU ˅%W'Pp;{wudm0Jߏ$nH=  @^Mn+]&i)l j@%(?e\I}7#. 30AR6!Ge>3S_QnPShByfN {r \keQzi^m.Бp"VGi/h<ҢqEVad)IR]LKsW='V igjhI~dvD2!3 !:fz+ {5RX-L6[M`oPAvEz.?(A _}g5Hdvјrp PEMY-F%VwN9&, j3nc7J-։Pr!Tk\~x{dl~ݶ=AO~7q^' ~#1+cZڎŮI1αғ[!$5f)ywEnu})mEgYS )Zn]>3UwbK~ _ yvڌ[3S*a*ѯ=V Nr4:Ιb^f/]w.7o@(rIQ]5RqNŘ^snJ&+nPf[S<+p0 ofXHh,@꽽sjOC c !NMr<๮q];uq;Ï\p+]Jr,2 >5p;ђnȯG66dVQ?_5 P)՜?]k|9Oc܄س^=Rp,d&2h9CcFRZScf_Jy3ASO<o-hƋs=Œ._(7΁HW[ۦ0rhW鲻 FVkl {I$ AqwUgf"PHwrf#t'T}|Ň@o<o@ '^-r'w  mÉ=텶1Y`Ȭh89F8 g+{o{DE1K F׈]혵1R,:]}6E}n^3]F{b7:xJNbA~T΢jt`mTNKWb&SnS9L:KbͅCݙp~@՛6ц @،8:!baݩ+7 Ēh?ɒU5 C#`.}d̼pnb[:+bKh95D"K#g'Y)nap( ᖸ}! e=Jj3%Xj^r' htU!E@h!ZIZ 50=B_'SNGBo20ǦJS$GxG"9CENXErUIeTV:Gi po-'3D KvQ &u>]R҇%mBIE`-]I945$8ш'Zi鰐_s7 Qn=]L)I6 qA!6$X/?eҔ6 ^GH Z$?D /NƓOf"DTp}$JLdgTgzS.\yV)J[iʾ`qg&L$~P`5,f<S_G@ϙ( B`ޯԀ mg2tg[HӽQZm\xGPE[t6+qk/WXy,Nh*clq=mJd,Bs=vOƤa?Oji. ;T)l+T CGUwQTulo+.ZjCdwX};~Vwk *j۶$BT_F#;YeC4b"-4ss爂G]p96Mzq @w/a<)8?gx`U2)-$9mA$X Dnyu")X4V"Z6gJ뗋d+EKI/H+eF3N0ul4gH|e=`d<؀'*Ӿ ,fajf{TcZ7gN^Ӹ6Sa648ЕLkB6݀VYAl ~ɧT5Ґk̢q| <$A@ܖ7?%:WL>-N#h(ȡcQaX7G₝O. _w$Aosم^0 W[G$!_lcEM5H#ʺa+R?pj}p G?F8ծ i0LG+SnH2k)ˀb0FEXqyM)UtJ%;-ep{b)n%n?Hwd+ˌ~^Furv b[_~bI.fYit(Au X*P*cQFW<|Qaa`M7Cu>2kŒclٌӡ'Jv&峀M'ŕKeW̸ оޢ|Y{U}WSǢZl:9M=]r'# ŵZc A4Tڣw}m['(TzE){6Z7(bBL)AKo!)~lg JpuēkfӪhxxF  +wd ICgifzO:D {cOsp6GmG\'3Z0zbB=|ؤ07h-'o c4&~_w&^/x#C"JW&E]/if+!8n#$Yƒ\ň+I382x<)4[ݨQ\B|; WZIoJ"ձn+1C |-iBhPpR{tq`c9ֹ*9g1M2?t3&X5WNדѸT6d,y0~I:'iYf7k_sΣsR(d{{Y-,GRhܽ+b#8zԟ#^57KgAfI(iIW°vW;2ϠbRHIV<8x}YVU3 Q4뤗DӁ褬Vl$"Hy| :JvœD rʦϷ,3:j#QRqo[vw>Ͽ]ϥ#w拝/cb"9LkL-T[:otT M9PWi(_H1zQw.⹼]o<pDg=.vIRo5)}  %=t?:8q?y;t4rE8ń^ V,,޼Zv.7ṹ$V uh`jWml$Aף.ڒLRKҟyɍM77:$# {B{thqKAفNPOV9wTrډ=N)QCA]sLvl؅E>4DW% Ѹ=T$ 5,4(A&pMYy~wR-o9щ\U>jԮNlښtxQdʰ1>^0Rjy*:j\iI< $rC+/{H;.TZB,A祉j3oXVu LJr>!,՜2(!yiXaxWiұ Pcoeƒ2+I9h^m-B[#7̦o'`@_+exJWrV[Mb=_J=uruClv3_v`W}`Ш'MeI=V?RɼԳhN"+P+FFyTk4ϙ)p 4e|;40Ҙ4}y.lz8q!wt_-U%~~ЎB.?CHXP i'qyfBIi>c#C^P'a4 >[M#KldNcN|Dc}pF\n?[E_>r~!MxqX(A,cԐຌpGD HY,M?ym5ޣSa7c"ZpVVCǼ7[TN܏ VXl; "/L=Ğ}r1Td()WuU.06DA3 @U8E)hт3j`P#SNG<ӷCi˟Tu}q,3'3KH/2]VNha޿N[NC_FUc7FwὊHeR-%MۯXoK6JC0mO/?]d5M~{/aхzJjиͦ 0ٜZpF6BЯ) cF]9#A4 0F # YO9oNEQ3@Š~2aXכ:|8#< s[F`%?G$J.(S$pפ8IxӸgdCtY" éF5ʹ x03,QKI/ßj߮ FT\ѵ.9)`C^&Bh(BvK(!q9%x8tQx"vA;y Z֪,ix,!v@@>˒^]8FYN?<7=Jw33uv,ˑ]L^t@QJB ?^(XA9ƌ0Iiƿኆ/ -\N3jnAuF/* pvE l!|:K Tp '4(/{dby[ruZR}~@?ν 2UVS-R}Xc>AizdX$5A==?Ͷxr4Zo3RF*mvxKHّL/)$^^וֹ nYޕxCk݊ͣ:E^P\iGg'^"/_ړ|yk\c@gkw yAZT%$I ~H|%p=LιVp, h`ߛΧ.&az|ud Zn j B$& r3 w&*%'K[l,XE~tMp*DQoV4^}WobVMu&%p4lVi̪PJn죸\mqr|>=W"h 8XO @}m@XD*Vܪjs?;GӋ>olΣeV>@+DD# h204P2%W"4l11Lw둧Q}YeU[]я7u\2J9*"sB$~ʿRfC 0Lr̀ZH{9+K !1'ckȐ$f٭~ e: 6hBT]V̧$| w"Lhr_Dž ^\A [H3(zӍJivB ɛ?Pl' [@0~|5l(/1vVD~ُfVSK`[ ˻X)tU3|Dm|DQ) k.9>&"p?y@n~kE˜ t{H}9y+oh=X $3wð=+")eHTwH_ _7!&š+2d,G}QLh+c3 ֱAa -fIK} MG>U&wAF!6C?%SEzQRaݝw%@cmN8wX9\4pLB$އ.$F>;j~π6,\}D c8 +“!tAǃGqZ=' 6O*UP;]( D b1N/[7mWJ  5be󶻬pd:X}Qzj<ɟ:Buy6B>fZOO/=Hp֧)X~i)>]̪K h%5'>eQ|wI4~r먭vjM'~[ 5șs"(d@ {f0/R]_qٝE[Q%Yji8.e5(M:1ђG}lVFūL2dW'eǺn`~iq /:>{c)nksjQWdl}s-#+. ЗM xJ(bNIρ:vG[1jO<1ǂ.S$TݧyB݌F$O޶wg|O} {֞+%k0GhT3'[#.(]9H4f8E@:Q29<>|R"o}[ eu)r˧ȶVZWR^_@?CI!契$r5SG? Jz??!J` q,q/ϼ&2ZT/+ ᶦ7Slh@j{$?q6s1]a Os>)KQ;wiS˼i=,` ki? u^+hz~mH{jpU!lK>DD`\$a|4CsWMv?(vvByY׿4~OꂼZ&tTrVN db,% m'6!f;JU*QX_d:DR4{H3K0 }F֎Z3'mIU|do&6xwc_@MN$QFeʌ|_EOKv4xUuɮo>yڬ۟,g'{!QbbE gRPwDը[#j1_M9)E&֭} WfSW _ {8Q:ME0pV2UB߮r@)@kp g}VzL' <6}Wd9]Z?!!k ߢ՟p V>u^#4nIQ^PM]Qcb86B5'_mZ'wj =siNj{@!~hJ2dPA, +vKn $ 9w-O"tGn |y6)tM8#*A^i*Yʒks;`ml=ࣀ}xDl@EﴊPwe9&>*INoj8AS4ِ,nHOe-i 󁅯mcܷC!13 c(̢0̲Q_dT/Oo!z0ѝmadZ1rѱ IC&iCZI7 J6(EݲF ^pD>x-.. a5u`7Ѯ]ǫF∫MϽiR08/r䃳>DAVq*wgTn=F j$mb {^1;̏Ãd܉B~}MOS^Ց8 >z*5颒v1ʢ…Fh|MEEhFX5Enֶ"O [Y㊽SdV0f F^3^^k' kns KyLh  ylT4)rᯔc*RiDRyd0`Z8̤qR Q]e2&sd.=ʿ@C]mLV;M“=,dݙzHҭk\*QѮ]92o)DfZqNmd f+~"vUYW q u+Sj/m4 J)rnv. M"^ԸImaf 3[]DD֫o&`\aڥd{E{e|D OdNX075N@ή,yƻrT-|g X(d:j!"GG`qV2<9†G0Nů ;Kj =(f#p6xR~t؊yRھkE =k:iߛ=KL)#~@M77& XXYc/ޔܢvUҰrX"FXP- %BV'δH"T:h3=%m`djA]R9~a~o6WSln+51̡ܞyBcl [E}4DFΓ6zwFEA*;6M*C#P^E z&8٧8.&U%D>+*T*p=0#ɫcc }ȑ!dj6Ѯ{Q޺)DuO"C8uC&/OW\c;]kRbf+nY6l@7&N~6 0a]TO(9[V6JP`2@АACFxzqhfiF'A$,=8  J  k8 )# ZF-InductZF-Induct.TermPIDE/markup7zXZִF! )]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JFU3+"ԔI<ɭ9_~1[L Fv2d98Qǒ#"|x0+LM;g7bAMKE`94djd,.o4gI3?1 ̚I?ħl:Q@k";O$5ʚho#JHi}x*3.qwG.f06)ha}[< Vؔǣ^$G`atc`f} zf* Hgym٪U?QPA_Vؕ1jIatTXa+},EjS>U=XE]C  \pP]LXDs#2蓛\l,q}u WY `BWCߌn3~ˀZgA$<< 6BJVCkͲ5V/^,PpK~a8EU 7d'uMb> )2te tȀOcܤ&Zߴ )Y%C_̚BKk^a|fv$?'8Iٍ.lAMpUTwS0dqli.lCyĦ=4 {P;w4l֜^svOp:.69z}ilZ#g>O $CPt,ّĒkFQJQ? "ykCxC=RMo[ ޖ89ېy{W< L<&mpI+ zߵXZ‰Xk" B|z4LIRCILk(CD ˼$#a(CϩUn` 2ՙz#@d7+ w[UE..WNh!ko6/G9\Y^fTaVSTyy#D 6{ 2Er/<@B:G}R$[v #6/jf 'bff8ʢ)SOu Cg:QKf1m/X!yAHGV۝4һz׻r(Uڜ%R_/?bOmqzugAгևYus0bcmK+P09Gd]nm<[i> R4ä?iZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy16)-ZF-InductZF-Induct.TermPIDE/document_id11235/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! NA]·Iq n[:|&[z|چJaBYVbT4`1H3#\mzDߔeO^?&|yYːϺDjei*Tg`} .w1mK1Ǧ`iv(; zK|4cK+tMd+@h@ן5}#=__T(*. f#P$ڛ|;:_|rO!1)%զI+Ԣ4Npy>[;ڦ2Ӿ;M(u/56+!}$F濱NsZS"e7Lߗ^g/uj᝺PE??+[ҔRL)q8 ; 37g 4! K5q:gsA[Gv v{jmni17>誓D_DZ@(;+]WU Tt&W:Ű$I>'4t~Bi'wH[]v8ji]6I2٥yOHXy9rlת}U*҉XiFg 1&]2Lo|JB`laM8fRE KF[3m!o(#I0,Sa˯=$wFD/N\~ԿK<;sr[Mϑ41sa`MJAf\Aac?2X$b=w*JAsIKUb4\QKK*|:taHy<mu[KL E\)앜&ewpn 7'ڝӼgYZ=E! VΪ) >HA Um*:UeEVSjmI42]=qØ%:=-Qp5J4#K9x6ѸΟ( agqdg5Yʣδ_zZ&{sh],?V_ Zn~>,}f AFDp0/q!g;2x~2:ңu9@@>OeX샗8CYI=L21="8`q&ٙ9@uw /GY1BYw6 nK2xٓ+1[$SkMF6*hT:Y ܠW}aZzgM_!L tOv QUqs/ ?;XF!NC6%(͝0TNE3m@"6zy#<Enە[f/}E\3>qLTӫ7m+0u 6ښ{aEl@#$u'~wurSSA~fz|ʉ=yǻGwoE(w$'υ?4Ŀžը !R\b`ZCJ$7=MXg);&5jKYv*ZHQG>7Pju#7;}#S)HE?s6dDxƁZФ'%B .j0e(SJB }An_"2$v˔zma_M#t]ٷo%2dWاO7';Ɔ v%7s#17Wb3sw`g4 Xp`@3A<&Baԡh~4'k8ܰ \FxJ\('~\2b=Sƾ?|mT"looBx[O+UidD ZmR]ٮ'/75->da%[J}wL]ytԸ)nTq[yk|(p[)2 P;Nov5J"˷YŽQVmSg:P^jm[NxL0&-v`Z3ReB{?Zl$p:N9ibJ89n ˽"8sep[ѥaX+ sŋ!@itRR8$](@<3^ 2NJ!f}~*?:8Crg݈ǽF;n,Ǵ\)q.(jNiܒm~KŒHp> ]p[OV\XBe\D$5ќf싽~iEDތxVZlU6m$fldP!|dAջY"z0r h*}AcDҸ|x@yM ک؏(E8!G4P<(`tgj΃wٳEdՔniM+l9U@BLGnq g K3uPJ>^\E Ġ uM7]*8!UU'l5֏=ipԞ'A1ۛ;}&ǖ$($JRP]owl);v~T+ &qtld˗Vy+}P(bDV_1$45#շ?ߩ i+,C#&,q-oX2L|nU0]7]ciQeRx4RS(C*<ϧF NKg RVc&t-9Lf_4 (ҷ]_;Hp3X\It{WƐG`Dlz*IG+> vZ VwJo$IB=}C->ayCXMkQMR(`3Ż/ ,Q8\ :< ˭9ڗ^]8|+_ҟ .O2w$>xW4.VwNR)r=cq!&w0j\%lEb¾ّkO n0~4S_SFڕR[!Up4q dr^#qN=tP$qȐJ+].ZtX:UfGOIZӶYaz`*xk} 2qh0GmTx#)|UaՄRf{1]Fieበ ո[ *] ] .]sX`!ǰ]\|?] }?s%6~:+—|#iY\R `v@w[װGP0 6(ce(UK$@xQ(Rpu ømY߇}<++3v)WHi 7]Qs,)pEjQsWot2"Qc7d wTYqW_QO ר;'5 P xA{N;geDWoIR68WYT ;%uXܓ=^?\q e@QOZ ?F6IӵEI WbX6ˈDMĜY /KmvA[5bAQ )})a.=fǣ?&OPɆ]țV'E6*fGzvdjdp4 X8ԣ2UL>c7%q0Xq?E̲G{j7[ّly)̬@O"q;wRPFo(C+̄LYnune1u9+WYN7NJM wtԖdm .Yy/_k-_y-ո|WRhpֽ""v!6,̓鄨~Oקőٶ)ߎlR04k `4ML;0  Z,ljDL#SVe?^9rA8b^H6{&3j uP>M(k*l>N^f 23L/K3`$ [ҳLr/()z YJ!M0z=azWE%_ugC@ 70˜ʦXv"խTj>.'Z3U!!JmqMKgB<eULZEAdz v} K>"`QfV7rr(?{%bήARnUMYr,zۂg.ϱ ~r3 ɤUe2+AXZc < yW¼f)ҦW&:HED,%ԥO){ܕ55R!-s״ώ-xBMԦ7ÆxHmÈULl <ίGC΀-o^L>(ݐjmē%_ROp VEN(O9޳&S߭S[K=§Z{'ω(V|cL'J[.&oZ|X)SVǞa+jrqYuw6Ѳ/PU58f EhIQ@PP@]B~!$%7v9 oY4,SSv3T6Vᾝ@@w݉VF@si( ,zPY5F/PAQ~2u4Ͻ}魚C Wv Gl#~vz*硍NyMb%oS:}B`)4Qɲ3McCV;IE)5<b]ھsFOy@Lxx} Krh(_nid/{B |h̳ٞ*G H;X, wh<Ag.)8wq|/`gx8kĵxkc=}uedPp^umPEgB'%T%`HX, q'#Hn͌>aBn0I.-vI EHYiG(˫T N6c4^@SM?lpw'.*rexQEB:ϏYT}[ryYu.R7E1 nyj{Qz2IWޓX *K".Ft"$f#u?nlM6Ͳ?W?aѷ!*lhnoggA jF~@ad**3֝3]Lx¼^Aܨ3"yf8wS8?*] 0tӑ G =ˎe*/ [Q@p;)m,CX˦/WM86,zg17Q:OƢ;0;3[|e,hf(]iD&IpℍɚFّcEy4بH>76PN 9Nz\Yuǹq8jc"A|6=}HoߋSƠdYx?z<^!=ż@[%}0VȲjJg럑KGbfQO7`,z.br.=q}!:hR5 jmᚣ9 EvfU{VH5[*|XrtA?v*I+n=y*P *Rģ54s#QQ|C<&:OD*l=Cb@)l,j(;T;C\+}Ρ1~oϽ&Adba|8!c -ʗqInNMڜa!*0s╋X>SGX{1y:x]J.o. aS3"1׎3毓G2LP}p9+:5 D|\+-lWhəbayn2i e#-AG"I å ϫlXin!u`fe1^w"|[ZjS.x2F^Χ>v[`v=c uްYm%/C?kY: A:_FCav%[_C@u9Ԥu}фPfI3^h^ݴdKqGC3jWn+?޳soA-G=5aLq@Ϻq#vVh#p]pc?O/¹٨b&LO,>DT%ӱXCSƣ. <9W:H֐d` V[8͒;E/pN4pRm]Ԧ3 g=Uffv @±`#7-2t}O^E̻v;x nUNW$6~wbAoSb_SU)>L5g"kOQ3g2SAR߿y{裃-ϱWg6Nd8b)} ٚrÿs :)Cq-#Ds)C!CQPIT({f'i9UuqXWSi4Ht1TzۖL9K/^3fB+QAڵErk&6AHMGQn}Yg8N"w_LX5ݡ87f8Q*Ôۈ2F]k JBG64S|qO+0ANLB .©r7)-UHsUU#̨}Mďg-UG:W2Il`|ZXZDșj7սc8bI|[?ͱ>MWT[J/ą_Lx@;`ghxqd6K:i2U(Qf{h{ƹmYZ8d*;H`S,IgYZ YC;+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy2:+-ZF-InductZF-Induct.NtreePIDE/document_id104p9)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}_nNryv?Z2a 6:2،9n[ҜX*~9˧<Η2/s \xD6SQp˧ NVQJGLor[gvRvGږ)8jV=dSp۝*^_-JsX*PPP5aWBO22fZ0g,tJ*L΃+siKL0@N O(gYZٺ-X4! 2lgqLL6+tE?{m2#wՋ׸+uhΓl4~IJ?C$m5Ѻ?@4s圬GvU`g*:hXWҌ}[mudpKVl3ͨVlSB@3SmBӥHfG@mkP 9,~$HqIrvfofgNuBy?V%TLF*6ĸtVt{d%+UHA?ږ+[t@Q$7!7F!equH؝.|_8)-wBQ0脜Cws/*&(Sv)]Y *~绺SnˆX#ni| Idw6v3A1wo' a7Z/ʎrS_ ᇩ] kM_zQ_u,&"}GmĹF8wD>r 唂+IY52>_=ӝO%2w)P: u8%=ՁLi#)R-&6GSCtŻOH]E&w.L B0\Y2ʳ1:L>/H{67~Lr1ў%Vr;|}Q}g}6b(ݞ{>tٗ'@SG?i!\sצPx6Hm0^sZaeҥwY4f!uKޞl;EAF#p4*dܘs@dh}Psn^M"1wYgN,n}V FAT꜔z߲<p.w@_BBָ/HSKb?y[GS,7 *`]<[#!adJ׫PpzM@jM"FoZ=k"aXӚFrjL${hNyEG1%C^=MTCÜ-@VJ|pA_Zv]X3!#נwa J6dOGx%8ӥTtkYxd蔕2S+'Ճz;bȟmu¾ehfVSs- &[a>Id0 =`Cnm9D7Ŏ)4B{4+|0{2<>*T& ]Q\0?f1ՈC=*ܓ{Lq۱IW%X2q$$ZÔ{8T)L)9Ey'V4!օŷ#PZB|?5 " 0y"F4Tv5XRA\ꕔB]V+"Hq4=hЁ+wĐE1ɝ9Cqa=Fyo+ʭ8n jj0\<~yOg~TfoeëɈ];de3g ~kmB>nHXY6yܒ9fk@/(3`ho i2Ljt][0!!Mat0?d4k\AA# ÝPEs'N^721Fßlv Aߍ&$M.Aa cG1cE} Yȓِ",Gj_2qe<eNO`jN (υNȁS)tC.{>tH;ʌ5V c5CG+Gjb03sv.J K  _qbBgeh4g'=J9E-%?_?݅@zvxlM$\]&.RW4wM\{c*) C5?؁$1S2':d!W&V?dkH7pv0UZ]-)2An,2E2J AZŭM!]YWΑ^ ;F8]> _ӝi2 ;ؑ`K+Wƙ:feRʉg]}"a^6I FûN_Jܛ*Dv5`_N5 a8$?lPv[E!.i 3+}-BUʤO$lV",8 ~  vk= :9AWW왢0,F}?,|1d#u C}- mN6"dEcy$c`^~h;P])udA)=좿~Յ`Em,X)V_%$)T _@!IzP|F?2RL=H5L(.${4;މ5}RUq9om{yw:GeqZN72ʴN^cь{,t=N`RZiEVTSn?%2taאV'q`CBhd8O2; ջwi"exW0"KٌR)7ϱ0d{Ԣ}\3aH"FoYXVλ3Crj Щqsv:UF}7bP=6?&O՛a]Ơ^N+[qN<{[;{G Ow|#G͘}%9wtd`s[nH&ylg֟O0/ܣs#-;} OIyQe,30nT%YfO9sJ>`, Y Z(gל^h>ʆT@Fk\KJ Lp\UYb]#Yr77.w:< ̐ ͊vO% 'Ğ$.JB{% l"m}$؊*bwiز!PnR ݔє~藀=}8+HjL0+_.s ),e36}dƆJ= +gYZ {<+# ,ZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͗ \+E|K}$ܐcf| <cةs2g=̷ךH}vXl9QĀE^Z(Go3`cQ 쮸EΚ@,[Vu>>Ȕ? 7Dht}МbOX|HZb?e\oVdư~-60F1OCSv9BOۛ9<HٕU8MPylEK寢)PGjVնIxbm$%5Lv3p1)>tX '.ҚUg# xtHDg*<';5@&C.+[NMkgLKn$6H#b #eB>K3$t7kZ,Mi`5rOOLWa^ +c`ןO8BhX_?+jǃT>6`CC E\1QДjF#?{B95c/U:c!Q)ȨF|J:}G0[Ԙ ǹG zBu|v`p@jiVbMtjyI퉅 qs\n  qK3?rG? FfX` @(4J(sMKR 9o/mx{uePz= ݯ| ']RRcYmROt9Cb{OD0-1f"A6B9_1 %3Gtg."6) ꦛXe)򫔣9 %C 11>:WIRla˟Vzy@cgk !3b>SI CVvMVI0!r@kVO\atSC=Q9fN5e>hُh%'±"ڕP}MI d1ўtPӔ;ϜGd]ɼW7eRąeLʔ*MUτi@GG۲s!mUZx]xz4*3\\ AF.BDĥuw6H\kpJvrؠyV9|%Fom5cS^KvG'n` ;rp^:E JySo_X HFn#xNPGDv(zJE})zH|ݥަX-'7&eFŪdWWϞpœWurk9vPd]nu_n4 aۦ*֎N׊m"=޲eLw J#7FN4Dfψ.)+/W? jt5 hK{@[.[H|BXa/+adKd 8 2hP~ $`/bـۤ>V!XbF d:MK̃AKIE6^).铻U&+U|:c ɢH Gšt?]NcBu)\NJ'?]0=nE8Zpx%K؍քi }#É\h{%:P;v[15wύpIע,2&yrRCkV)T#i(o{igJ&S6B-T?$&&]PTI guulT[h yҥ9 $VTg Ԑ\k.0]I xb6I8s>(r?▌ &IӶvoX =+t'GӘ.÷ܖQJ=V/dC]Ҕ/e ]Rm'L_nJN>KvvNzoxnLo|PdVY8.G+pA {J9L :x7.^[ \k7nTN{yfF͏1481KV6B%,QYl Qȝb9np{8 @ZS!'o xy(ޙM_l6n9΅ߔbe:K|d6> 8͑ƦHJZx~^GqXS;=!)~[vS1Ɉz -.C|aV( 0)d@ˢzb@QFuچdcS -?i%Iyp*LsQ2>IGi#YUjAdA%pޛOypM M̧6I8og vsxYhnIEk9)E Sj 8:|;S ʂ%uXu'At5N9QODfvfj#Gnȟ.^]4]).*SmT4dd3ka|Nr\A?fzZW<2xri^B(w+mIWJa%LAxLQg)qR&)tK\G:@.=3Wԡଧ7TND\ogi7(*?-?<}naOz*/ .R"A! -iADR[֌CSYF~XtKy\QTM ^'x=R`yrG[6s3H7\u'QJEh1}baG~(dʓFs^Ndy7) uPzmjIsށyTQ( ? " L  <o"KC3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5B3-ZF-InductZF-Induct.DatatypesPIDE/document_id94A7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *. ]·Iq n[:|&[zIG\0Qcj>k_S0 Ȥއ#_PiK 5^CEdPK[N4{p}m ci"t3SR]i8BdjQA[3nqTWmr(-ɒ[U\0&!FDrd3J-z`39`+rԪA3e~⍙D{h_" * [GݻdQFQrt-NтlILpq!RkɃ̋MMMU'CND2ꃑ>Bdu_@[0֕#.eESl@QO?19~L%%&cxNHKeԎ%!mwgz0t+˼h]k6G6V9HLJ'&P䠭%H.CԏC9-%QJm9A*LdjcEnl%Yl@s o ӯwXa$'kkJ禹 w bX|T)޴k5tCC\M1n]g%  ]ΞϺS>{pΓfSK`2~ W WtUaTRyLmӔd!>@.kLX.\~d%1a:᨝[^Dbph_{3&Z…qŷN0K;Ƌ8<tLg4VHYEͮgȹٷHuŇl҂DꌨyfTxsa{b҆$6󻱥-߭tJtMl{Cl>vq :%M>s;rsTqS[NVh᯹4R+3On$Qky`Ͷ+z`>ц BɧPC/RG.g>f4/v,u6)¿ BO?7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8>7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1141=+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! A]·Iq n[:|&[z-vh>zxP0^Wu it_3luj-do gJ-`kpe7v!3(: [=cIN/^1O"qjSZ+tMU.YEsh6(c녽ŀWA&5pT;d $-7ge8N&%94_ r 5R/W#84N?kһ%¨ϲmiL)RV4ف]f'gLwc||Bҧu@2۩G`S֟t)PY`rUny5&Pnd(;ܵ0 .(ĀXhza>b'J^XfvdRz_V0DI#5 J D #ӫoDPτ D{ͭlwoEnu ')ύFgYZCOAjZt>SLMMWY$[38Cx ޢj˕UW3{ 6[W"r&TAʨ@Uمu*iYkpėӧ BQ@U%UH#BR\B/7,~\~ \aP+Ɋk1\gJ_*A1 #gUVj;vNkkRUYsH 5нro=m77|gL~Y02VD#iڕwk?k Bp5l^DǢ/,+qJ&t E C-US⫩Imj 0%˔[+%D^o0JѼ fvyDVCKIrF5A$/7i1|oSCmGD`v@PRLģvLcZ0'v8V\'p@Ÿ2u#.|)( RG=1]蓞%C~ Pt'pWV|q9w^(j:>xj 9W9Ȩ`|0垠8t|ˌt9\#BX:t+ C*PaQ>$Q;/W?dG̙y ޅ偪,}/jUWɀNcٻ;(Z/V)ZsO!a%D{U(,QށikUI-pǎY5&[lV@a M+-<) u0)0C+֯}s=6f5nc'zͥڛ ?PX3XxbY'`޲_ue#p+Bl"K+0NseG`pA/Q=>~\ȪjM#AI&He% VD \\{'JY6ۭ/JI+AVl:Cmf{.\y~&xIhS6{ _A#O $clPHL](hϳkbMۯd^0^ `4g=j1 bJ֊i(C6(gQKgXJXfnG#,y֬?'A=# <2Rɉ`=u<?km1-jt}Ǝ\ [9*!_Ϣ΄/G,!@U-$s$.c ߫i"YR[R-.!A" 0~S2N_R6E|ƾL63 ;8Z#&# ىSpv' @7e@cZi΄aQl))vIO+ [_=Zwx5ƍJV U%"eS9#R" (p/o)'l3 F4+/ikL+`FH&4s9ORsC;EyJf<%9v !βZ@ӳ\* -eO4:Τ8ˤk|ؕPG4d瑖ڢ$O7= ӓv\: O^i+ wd PΛI7-i,Y{ڬ~M]TS^~n3O wWDF9P07kpOoxnh>՝Tҹ4a.wl 1{<^:T6btm5jκM6Q0m1~YAc~Y)Hh_ѻiaS~Q4*7>ci0 GJaC(1α\Bo]vӒ\ӣ+QAnOd TN,ñ)C,ؽ"^AXP2N{q!QA5ؾ .6S3dZpyGA]pzw{ '& }8m-p j~Y;pNBFbPL D߿x0SD 6/xN"h">m'^=ӥ)4 T/ΉnsdF žM(7_fn<#m 3 ,ޝ>C ͱV<.D-ܬ(!\11醚y<fFvt/_`@_[G"L" L€-: A+~=A2;^vuFɢ5M-~6mve ̞bBEg÷ɶ9^H/pFoIi' OͱN3,oe N%?fr3<{հ/axJs0+yE5bԎ^q3>H:<) ϐ]j)`/wɑQ؇v\z!yLTSc8֎2=@](eNY\C%t\(Aа83_:ݠ# br~+[ػjy2x"_.6(z -A6>YɼrPFU+@GO:je=v7&FUKAisR9WD3<~^h$G3XW;t`z>& Ct tJR"`])sMe^ $Px\w{ ]TF8syS8u4G+A攵_˳ JjR9=GCW^&4GVBG@ k&rySL=l=y01\q8yk.swCY@Sjکu`K<9ޅxPug@@L θ6i;"yV3]O3${g M~y[K/h))d<};EnL6^4T7:?'lUɾ(oQYq(fr?]o͍XSexe}Dy~ Q؍cqڒd& q2G(ko\(v7bDa\GHwrkZ.tv8qIw&|fjQ I0|4LӢ)돽agB!ӸU[q<'?j0\CFU&Y$b/?Jy|L5{IY&>ǶcR›[J;w k[+1xt*N>b<#2GUҐ'׌vg`S->IJfSφ._\Hɞwaނ9qmgM@w3tB&0.q﫧k4+Z?*׌Bd~yqRC1$)ċ%]'rekS/^&Y`Vf8 vLuꈂW+C729(=[ɾiM߆Ұ*xoLj4Toq ʻ> !5&>.(gpX=s'I$OeF(JFIv ͓+wxb:=F0Hυ#}g0,; Aid,B\M`Ioќuի:}-j`UoF{c3~ UN/,V.Q~2nOlw(Rgm^:>8N=/A1cZϭE8c  Slp=mKݷ&pQ_Wz u_i]mc5 Biʿ3xBp:xRjd …Y$=~_ /WOXcP][8$!KDO#p[>NenL+,[Y&*/jG)dU9dDD6[o=UV_{`W}q+Mbԍ"H~uamO&V.4'e^R7m& BiŪ)"yHI,Iل-?B(ţ7a)Z:tuªvYOdx 5 ڸ)cˑLmeo|lk@фXNXM\!A$Kr()FN-}15/'9o h8B Egчjl9tOj.g*S1iBMOfy׏ ZN 24n,[=*.ƋŚ(][!~ė/ Ddt-OMez\я59n!mD R)7gK_ΈL. {+GCI`7e:yf0Q:+JPĄbm9w2/k)yzMI()as@ЬZ~eyUQ%3Ld5 ʙR? K Rjcx,nγ_G -(Ҝ0N8rbAZ O썆_(پQ1o7)|V@(2邞[颿iv HI] `0Xd޾"Y= &FU0۸%ή48!>(#/i{MWx4pprz{P: a7BI|c&~@ $k3#g$ХXOup0]9\U< U)czNTJڍ*=. D@k<=w6>(h1=ptCsH[iwqrE h'Sǃ8A̖@x|2ۍ:9R9Q'F 7bֈX W#igۖUn׌fLM.$NYn :&j?^\20GZš&z(|z?Bh]^2`D9ɇ,^1¡ 0戻 7hcB)˰>ojOm:(M^IV :DtDKnߺ%wx˙EY ~)B=#EPGXG!_:E'W&^TQ9#Lx"3U+T`46cXKIVt (*MZ &&ek_ehMj$d!s0ظ}\mt9dp060' &ƎLe Pi_w ~~yh8[3Σ#52{5ʄ{M*k xXgߏtamG^Oҋ`_{0g%Uo JG`ݚW_. sMSXt;NMoyqCYd7BgugYZ#D3# tZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  4]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($T3^Q,غX8j5 뺑kmDJvW'H^%w*)\*$ƕDv%jUy<IU t4>ERiL])<YA!Bk͘mUgѰ(#XV_BkHba\ Fn5g(7YCfuY9+{\5M!1Jqք-8Z꼡jcS޷G0Y7=~bJ"to ݜC $ؽJxȞ"O!zj8|,MJ:κ|R, ^tA8z^W1x-HJ"onSsIñ.6+PVs0E0tt3M 6><&P"(cj[Ҝ4شƺyF*y9-{.?ʲ$ks,wc<^7Z0?C9@hWdqPMڶhPHt@Xɿ,V' cVܸs-Qubsg %TMP+I<#"RyS`h;KϿVMq 2WFpWÂ1#fάO1mdojBtb;Og(l5Z~lF5`@{j>]7[ ։P)?{Q;?etyz4N %jk*Z_`G< *-vv\QֆُA4**Coɍt]IBXe~5V%.W$1UP;{e_{v1@O:'Eŏff5{( q. ;g9X1mDxi\˝;E/M?,u @|~lp`2+4}^i~UPB`ۙm}Oͳ~#nEpq)pĤ&Ic>ŽvAlAI=-ĭR:E>UZчD7lV07p&mFE%uxnb?IsPP)s6CdN jrZ/E@==麺X] ton^,~': Z2Amςv{?SXG4lO-=Tj"!Emu̫S얺"Aź1$D{PrHoK X@g8¦3kѐ"D!&QC[ww{ajJӻm[XKC 5ƐNmlP(soaD|~tL#1zXݖ~%C_ [5.*}CEFv7}JgV3cY ۆD&9*Eo}=nQݥ;N%ӺD$<5F$-̦'{%œvжIX\?QZK{X*V$Kh%Lb ufE[,C]S #+.O7CѼTV.t8&vlUΜ`"VQX8X4š$3®(Oʥo)2k_ȇ*t  0Q$xu}29v&-5_HLzi:F)d~ג ns /V!(,&8k1!A7Dy{޶Q֞O5,YG'ثM(OVׁBXN7µYZYxVGdގE8 wL7 HmVt]A $ h!F X:,ߊ< J#oЪH Ki{-*l^zy[ލ1QEl`pf. O=}su.|:;n7~lg6NT`Bz}_ߓI$wsbK IM"_tR'1b τąiz K|  Z;H6KS~ gYZuH'# $ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗN=xȇ] +mSË3±YmNfH{UvHzcy^xRt^=v$ 4?0^TaMĕ/rZjP+lp\' $r>=_*w8Vb1c+aHj{-}2nt"OHe߆s!Ϗ>uW]N!g shlͼG)TO8I,P7EY~:jj]p O|"'bq+u¦Qp7ЙiTqуh3[Û)hZږR>ElVJݽ\([[չL+x9Ǻfe'?N7ht)ƈl;]*ů(mDVΔ>Wm#wkR9إ"s嵠ڀ}Hcdpܙffb^exKC.ohTlq7,'b mۆ:C `5Nd*d C>Wh {1'8fq FK]>I>ص|v- ~yB"8w.@)-9%C.8_\g2v$IO(iޡ=wC6߄$ݷ6qE#8OǽcusxˆގױJ6As/(Wy"" WGR%͡ef-]85x%v4h3GS1eLj)oĶywyvnB2W_)vMC8.at\Ц#=(:<쇽g6s+{]gҼ5<\ `/÷LAAPw^(,@}^-HA6wvN`W`F{枩bx5DYܐCD  AkZmbꣿSN w h 0Jfo9<8<,t:!zicSKߑR }u"M2'Bk)-x8UX4כPO++(A7HĎey X4+m|N ᯈPyԢjXR`"ȴrB^{*=__hǴ v>Aj^,J_~ÿ&zYу=?mnG9e +LjsY A/yٞcͼs U\Y_nW'"A/Sw}M9Atxljv'KpG@P ~S ,@614Vi^Nܔأ/v>Y #*kz~NVh6ڈڨMɬeʴMZD'@âڕy=Lj@x'V{OrOaY]iK #VnϠuh9*atARA=oklWͶ9fA,&T>죧No)le90,vņIO$V$iEt|kZ\ShucS :sׅ;66K >Zxmr=7sS8.)}IZx#T~bD kf+zK(-$:ՅyGgpߩKdSUe*h4s_Àsq)up6e[~tI.xn&'Ds=Adiֻߝ9Rq6nR?F_5Uho=$$-hIO/#JL߄Yɚ%,~J2XpL ǩReg8ӟD C_aWG`59P]d X[E&y +&O[p⚳?,ةXٹ^G cHpaOPw [ uz$tXyG3QK.BA)vtlؚCD6>}?\E,@?Z WNT'\JA\]E-8dhFZh`[\jζº3!*/.ȥRP9_9@pحLJ;s)qf;l2_>"n UN#7얄&yK\NfsjYq>k4{Uc ڸhG\|-:؁&"\bmyO[ RG?[U;\K!^<;aՋ P99*u}|p>Bwp=Nʋ"xʼk#>c1?o_%#q5 fT;c^>c$Lv,S4Ht8( r$n-LGj|Zt6 @[*|rdL-j .Տ~_U:! R3 ZVevo}h˱"ﰥOmU8H,ɆR{= #vv#Unp .U@]8X,(g)$-Gy*z w'ޜq2.JzǓvkĵc5Ua;OR ؤy~;[8% P=ȫl$gYZ !!M+# dZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o,]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CWq`)V wf(eNrpYQir|u͒9yp网) xCJ b 8rOs@->wDd |+䃜$@iaRq;g{;o$,o꼊--+w#x6 p|Vv}<41:k,urOi(,%&L:!;~"o0 y0PnB*I;rS66؟ᾲ~Da )ۍClz=μBɆ{UPLUQL!h({$ZUM&BMMLx *v?&3^@9%R>+X-lE`]KWG6<(z}9 )e[ೈ ̏ZtT3!O?Z8/>}C`hь5薺Qj,alR'o/$i|\GQs!Kh s\'Rq"; #msJ`eïW~]%2D41=YY ]n3{wGEpIF|kEW2BqMԽG-iڦAEˁr!hic|cs}/qEs< z̳{1;ܓ GMQ5crg('5ߵ2pޱJ?IԆgOyV}1$EM  \emrY ָ}80J+ OzAX~dk sFi"Q`]$cm en+xR)4r>hLW5.$>zt'@:L[NpZY;Uι^*̷n<5XބYPiYE-{bj3Qiy$lR2 |#Bs'Ffvl5QlZv j12Y;U{RL_wIbn6Y Y8>gk|pX= F9pݭmc-Z)M.)!j>D<"3-jkGەX6-Fсv~YM Q|ST)z^91'ui l 㵢DqVbFU]5di |KeI@<ݜe,cg.j "3+D[}!ܛu(Eɴ>JS~ PXBN"*۬Ҽ6Vh ְӼ >s"F ߽D_zr̨&Io1y0 C5+5nӧDM sr]cLZagsiFI~W>x;BAs$r>p ;T_HQn6NM[hBw.Pfs55;(-~8}rv*֘=?< 5L ܉,}Q8u SKYzQx1i `XG&c V1;1?wLsLl_@3EX1;^ ݳ>pvQD~k)cl8#8hhq Gv]An>zaKaCf5'ɟGHYh>ycX}|(߼Тk2 &"! @E}ԅ] \k3v0){EHX9NUohOo#b Þ-aʚ=$PN>; /B"9D7ߕ2XdHy䴴< \MCHgԘ"*S #pGG!H@S%m!\2Pwn T,5H/`,uU6gNQZw6 Z_ݵ 79t_DZN/>Oz\80b ?VĩLCJx-~A0e` `Ht57H=A$r Z j8!$@˛DiTHnFJgLL?ZRm ًpSP hcOWY28Fs_=Axe~YMA :7J{v[LmëFp(Q4"Ov gſlUhhoY"3fleXΚZ쐎@RO^HĜ಻KCa"~gB:&8Јa.9%FMLMa f_{R ΪP2=5 tDk4_y$tW@aV%.'[|ԙe[j  |*o!* ;oIgCw` !f3d8%Sϻ2ZTI%n6f6-}qx =e׺2-yOδqGRy|:Ժ70Dʭ:ti4ND'z-I哩$i8t"E QkXIF74U%`l$4egYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 E.~ah ϳ{e:V0B_#(z 'ʈFnrNԧ5/H磏9q}H/> h &϶d/e*O7$Qv:hh @7K@_߱gYZ