SQLite format 3@ *.C  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 Qrd„"jWKN6Z%V3`8@+rH".q0N1 w;z1*qOgYZ7zXZִF! ]ŗXi%Nd`G]e ^%I,KcC=?]V1Wr]7LXL5r4fCN䕍e}vڸ}2bAS}zڭ1|&$HJƣ(qSuVV.cv3ۆyJ'ΑM0 D.MvfЀOS"$ Q~"cNwۢp)kib=tyJY~*c#*Z+R$= 7;7\>f278 N gwR}cX<u%"kШ*9XzT-v|RJ=MܑXs>IIѷ7(a19V& Wε-Oc^7xUݏ* ~nT,"(IncPF1DPhakt,;l'XIJp"$HXHD a. 9fJю|T_io86CL!o d!b%I\7k<.eL4Fb=9wwYƻdrڣ:+ױ$¾>ݙ7[f2{cGZzX62z'BKXԳ@?&F̣HIۺ "#Cm k3qnuWĞltBJMT5Yqs!G _T 87U'_X4D[͆(}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 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"ȃCGv',&* )&#       -  0   n @ t 7  I  pr Q F s b7E ] .1'ZF-InductZF-Induct.MultisetPIDE/messages-,1#ZF-InductZF-Induct.MultisetPIDE/markup,-/'ZF-InductZF-Induct.PropLogPIDE/messages++/#ZF-InductZF-Induct.PropLogPIDE/markup*617ZF-InductZF-Induct.Multisetdocument/Multiset.tex)4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex()''ZF-InductZF-Induct.AccPIDE/messages'''#ZF-InductZF-Induct.AccPIDE/markup&,'-ZF-InductZF-Induct.Accdocument/Acc.tex%17'ZF-InductZF-Induct.Tree_ForestPIDE/messages$/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup#/3'ZF-InductZF-Induct.DatatypesPIDE/messages"-3#ZF-InductZF-Induct.DatatypesPIDE/markup!++'ZF-InductZF-Induct.ListNPIDE/messages )+#ZF-InductZF-Induct.ListNPIDE/markup*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex29'ZF-InductZF-Induct.Binary_TreesPIDE/messages839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex0+1ZF-InductZF-Induct.ListNdocument/ListN.tex09#ZF-InductZF-Induct.Binary_TreesPIDE/markup.)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex-/'ZF-InductZF-Induct.BrouwerPIDE/messages+/#ZF-InductZF-Induct.BrouwerPIDE/markup++'ZF-InductZF-Induct.MutilPIDE/messages)+#ZF-InductZF-Induct.MutilPIDE/markup++'ZF-InductZF-Induct.NtreePIDE/messages4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex)+#ZF-InductZF-Induct.NtreePIDE/markup-/'ZF-InductZF-Induct.FoldSetPIDE/messages 0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex +/#ZF-InductZF-Induct.FoldSetPIDE/markup *)'ZF-InductZF-Induct.TermPIDE/messages ()#ZF-InductZF-Induct.TermPIDE/markup -/'ZF-InductZF-Induct.PrimrecPIDE/messages4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex+/#ZF-InductZF-Induct.PrimrecPIDE/markup*)'ZF-InductZF-Induct.CombPIDE/messages.)/ZF-InductZF-Induct.Termdocument/Term.tex()#ZF-InductZF-Induct.CombPIDE/markup4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex-)/ ZF-InductZF-Induct.Combdocument/Comb.tex  m6QLFt2;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 f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6jf"ȃCGv3㏳p|ӰTn|5M(/VT@rÕ_˙QzHT So th 0##iPvGҷd}J h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7Soljil,%p6[D+|{Y% t1G:yo>HAD&z,<6k }| $f_3=JNN@MU,Zf27vG-Y0 i()i/1&}[Y>M3Nbonġ; Z2{SvR.5b5ij{H_4ig@ 56}WӞmFEq;OȌV;? q~LBY߮@5D_m}S$RI0 p5Rx(0ߣSK.gJ%Y 5l* `٬3-FL;dn%􁉲4Sڡz#X'h'+xGRt9Y欄A r9r ܉oTi 1Bٿ ޶lfllI5M+AaЈnѨ`DEnzm1)M#I&3؝+ U#[t֛ԳR}ǵiy'SMLnb.>ʒ<!'@9'#CkO;`Szd&>B+fnrq&wVp;OS3V4V魷OT;Ggȋ_VK<1E[F%dJp\#NX-(x=_"~fn$%@KόMœÖ .EL/j^Kݦ7}EuT#aﲱma8Qr딜,mIdGkf)8ڌܶq,cy`~_YP[0N:0c;RKؔ,4z+ޫSɱeim~Ɠ` TT*P(dX*@jQue [R[Ha)tlXr'[9k:iNYvxBB3FGr8zE4Zf>{>4ʏoq:/B~4lZp~ +8ݴdd.XH0(5JXH?ˑ*R#9ёsZ.V@(7Q۫?mk>oj#2\blwl$ۼ34*`}T=n^ggBv@cyOlŚMg m&9mDJHpA(of۵Ey( IWrpCc/0 Sft+3q?M@XÒa6Z}X@~qL a[ra5)ϧuUug׺UMkL{< i Zv:' g[*b8%\1Ͷ\(iZ>Еg0*|Y%s P#tXT|/٪vգŽgL +xez"r/|%XݓLcgxȢbU  猔j1QfYx *]:O4M=mT-^C>o^o"ʁ pEa\H`jYplHr 3WϝZ*fSA *|EZZ(шaN]58573wP|AB[h)ۢ\#ngٱL܁96l(Qp X%=A;T+9oR]WV#6z^]hzI6mM-HnW]};0Jz`QmָLrO 8C*Gs2{AyG~n-'K "?D2_%1!Y;ro[#V6 ).&?$V*gYZ~z:7WE獅 aA:U h޴O_>j p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZ  % %X)' dZF-InductZF-Induct.CombPIDE/messages7zXZִF! l]·Iq n[:|&[zׂ7e[es3&xWa$F[)4DUHhI̡g02G~ooY}!y9ay8S$_LY14mpr[Uֈ@5aR9(hQ~WS[⇺>&H;f*cflho{+]EQJ5̳?FP[-` L'ϙ/[OT#ǯ} I֬rN%_- V"eeD"b(Q/KN"gQ0h)\r=\s!d/_s'@IP㇏|auזu`Z"pq̨!QXt:rp 8Oq(ll KT^urUg,[aX  o7JF$OϘ8\(Q{U߬1 EAⲎ^QvȞr0 "8<{vĒ=YeS6e nZWA{<Er>x_5|3 ? ^S,5\ag?1Lcj;a$L]ݖZ QKcN<[9*1=DSr%IKW_h *x[;hM><(iflaUL{)JCJyy54#v!lYñckw[WԷ)~%CܡU]"VFLS<@gIvFPc׃ufRC}Wkb_B%'e،#w)R3DniPgol:N  TޑU kV'V>u@0c}]162gP&:!NXwO 60ɸh5.0h0RfG&@r U}Xu@6+Ux|gZQ/LvU=&\# 3S'=:.SU^Lh";`}c׸+ōfPbP`!7);Xã2lԫs egxUH"~c$bf 8tv;n$.AP8ŧ %4In9 BGv|iY#_28Dh\~a1p+0v9{P6* XpD9NOPtSD )[hY?j-G*(WƠA03t{ ~2Ԧ*odFyn'>W%ymYyoIѐX6L8M۱BC.6*T`.(q]#NБDtx..8eOzVJjAg(G"ޛkEØ/]7E RF`:TflFdB{^sF!T%Ө zLc y 6q4feVUX:%̮ߵbeF㡊 O|l fD|Z,Nc`LP!xcKM+.BN_h X$HGoOqW)y8z[2wF"i{ַC%#D}u< R@$pdzdf3e<*_)h6b3j,HIc_D kWX}~hA2 HA8Qtoh;h_YmT+xBJ˦TmɃe06gz3c:pj5jGɇ3D»^ã{Y]Zp2!󥩕9=E( U)^ |gls+e uzLȳ?{q*wk()$r225{bVڨ$YZe'R$ L[NMb]c,𕐨l 3T֦ a2= U"J+ٙː/x}%ȹm;H˗7׼L';BB~P''ZYS:γdG^b/7u aPnq;cзCL 6(è)%Sx/qD8XZB$9 P; -*mm0ڱ[tP8tIby&Qkc{@l.ȝ3чAT3]#'ÂUF]?)G_߰i[&YWfM~G'8)n8@RQů30b$pr2#aiɍ H)%QI84VcSY0VfsHB6OxJe/LW,;yP&ZYnթXg+S76z(J\ѻ>3D9sbЬ= ضj_B5Ά&\J@dl~UT࢓dj ̈+By4+#S7:ԸZ '˄6?~ߣȁ7>ۋ^yXŜ(!3 g 3d_ċkQwٍ qj5`bZ!YC S,v19R~h #s 'JL/Z =vR 0/rF{de*[Cyh qL4vaMܷx6XJ39/TVrlH )r@ɉه`#]z_K5nj1%6Kz~GV72SIou`C_ē-]zءw[ (dAY}@Omx|r=Ov]qzVKsiu$oIr|d'?߸U smG5 7 1]`BƂ[dij@{}m y)6`^Ga,юRH$VOu,vBfB4k?矡bĕZފĠ|}GJb ~bϑs6k`ӧ;mXA&15p/DG.'Zǩ}dM,t24gAp_쭍23R]|gIœcתN/MX hX5Apnϑ/ֆϕ U|O~#.,>Yp!`c\&{[{y ;B?'faL#kʼn|:(q F{h螷 ]?ʆL( ..ЀnV(2A8\M\|oaQ?&Ա*@%Krqqfe\y6[N|쮡]Pb.+ܕ-׀vt0,9Ǘɳ#@a|uڔEFNח[bHM>,SY6ɛYˋ$56><̴DL 5\AUe1,ui3RzM5`ގyV\JJq*# Sls RfHv;>K=DTSľy)x;w9;7b7F;w`M[1-O&^ Beuڳ&K"ݏr"["Y5E7bC/&E=Nn?~N= ocCOg^nO薼'yl>Ycv˟ yp{Y(N)V)B< drM8KQ[ s /Fe&hW,ިmg2 yIh( xQߢ#נӗz/o3wTf94xfn‡e!0;"ԮQ]/!"2ydLHe%LlQElhP }FC{nBr7l*%%v0T~$H۵<~I x(*Γ+J7iwun1yeC?qq=]ڕym­m9e8[А b `R C:m+D_xTS-lT·Jf(ߺ-~'wuBT` oZc>gYZbچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZ UU3/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}*+*lڙ|&kk,,P*vG9Iz2O g;l! G-y 8btMy0De=h,R.԰hZ#u^,kM7^@O$. o8P ;8)[-@E+ ݰyg7itw+'(Iһunߧ[hV~g;FN ii>pMa%&pJyړERda%HYy20ewTy2'a)SS@.Q|&w!.:YtJz1VMUA(ݪǫ~cf.sTn?JFATsSe~"FB+6 J?10*;Qk;y?UFH =2Ug5NtG?$ZnAUoN'c4vZZ[=WCL{ehh.f%=bݘ$P {s>2@<3*->cg39~)r;{ˇf@A4fʉ$o+ 7h V%tr-ީquxVS|@&O53669$@_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  /# TZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! ;M] !M젗OFOJZgׅ–A=֑g:aʓJ:KO@`F+f;ׁ$O>NiH7 a*ۛPh-B ۩tѧݍr,|[xOS0@= kdeDžR:16FyqTjK?3LI/dDY3atI <fb :M(r@;)BmG1OO3mǨ~bsjo+^膌3s&:ޑS%ҕSkY^Uٻ?܏ͪ_o/O^w@I>:fK8 fgӄ{p )' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}_Mw m\bMBZ^ڈg Jb Ge*=ʒd9} ɽ- .LA]>_!3*`,x~覣{U-iX`CӿJ ]0[ɜgj/p/d3*WLBRL/٩ Qus]ndUXX8ƄZ-=<ُ+d Ymx;ChH{GgYZ )# LZF-InductZF-Induct.TermPIDE/markup7zXZִF! # ] !M젗OFOJZgׅ[w[>eSjm /9Mퟘt$m;[1 H8UrgV\j@{t/ X@~Qdލ'ْ,u'' ;-֞ԺQ6ư~lT,w2$ܖQ)1QեJD;AEq!GJR3g8ҵtT)Iÿ+T dNvu/euăngY{o;j$r$0cPN&fRLmt3&X\B9^n ڸ}$o]}IuƉbVTqTbdR(8ϳwS$NY]@b 2ty3"'ѕ[99[n)K9ȶ$qRdw*l.7P {X G7Gjs *kcTfV|oyFK'DJqaY`<7^*d{ Zj<v b3[[x`__ &$@ 7o:tI~6܋(ƖHhl4?"BuQD6(3*'to_$D[h=~tRkc@T7Q뿘c zpqFdt6IPMs S/ qy@ b M,ȟ͞~o ![FgI@ Bq!?Б Bt-LEFҿO,0tJӄA%|@VnD4 }  !}4B BO$Y/ v%k}2OMJZ_C^hG#alwB= I8 (հ2\Kd1M( ;UV)lmG遯pI[6e1x{[YSj:#|k%d*w$Ͷ*0{ po:4w9BYsTy WdTfno. /T6x^\>agWޥPi 6]!1fL=ƦOKY4&9y96(爵 L`Yg+ƁT뫹i/aS8kkatsZr`1Ț(xPl(> ]pm(n".=SyJSX ݘP7{ÛשKSMS-RO&:G3e $ W]SHM0۫C6G6DtKO0@+)hDŽ^Uޑ알VOBϐJ\}Lʇ}M{e8Rur]'0KGPmQYrX+q1o?Rxގ^hLtG vbMfwص7_şljhOШ !u#k޹֘_-d3W5(:AU)%cԉH:SC2G#3Gb|[ oKv#%+71ʷN0(yZ8Kl^jT#5$:,Nsl{)zkOMR~T6ja{*ӥ'h?*| C` ae*4n0$P4gI1ˑ,;SNWނܦo:FCgYZOhR5%[rQR>2+m[)j sF2RA5xGQ,w'8<*ohSQxqD$Ȍ:g3鹋#mBc{-9EiU&&kw^ߖhvTH&amcZ$Wi[ j.;Z8MToE^-qdE+&w|!_߶+9aj>8a裀e_0LfUq<w `!bTO.1;.A-KROT4/v1M09ѭ#:d2Wm4.(@tvδIɔV)w.g $ ; 8 B/u@&@ᩮ KHrri 4Wvg@Q?Kۧtܚ$=0M^.[+ PE`Wt}VV U,H$JgIPby[t~P?&O[F`q)V;"/4*48^1z~%{sg[0C1GC7cMAA`I F v>Q"\!#Ag6hbLkG#7c_݇W0Q 6Rp59! X=$SdD".Y,Rwd81jpWr$ $k@2c[x 6& e)! i#Zbl%n4ZQ:.8=]IKڰ+|ܚe04-3x5QwEU^烜V<2d pW'5㎶v䢴)KD/u6PwN4-r;3wU8"`cii2syk1Y_2ص7BN(0EZyנZ㒋}t1ՆzLﳃT y87|@Nɣ?@=Kc,{yJW~⪎k[fQ*xYb1a[?>O .)zIJ* G@!LH&ɢ9FG T&] V8GR=d\d Tׂn1RJ]FeK%~)Gnk+ pVj>>XV@+V7bxtrsazP ao)7j~ZZH ̀AǜN].Ӄʀf yTa:(J[Lo8R{{B*'u~l,[`\|a _g .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?ܗxv)FJOVpʫ"؍ 2!럢6+lEqDN~7PX :0D EL+&BX;8ʔ΄F POF1~]sԈ-&{t@uV[f[ĈXVnRrM^>^c |.br[=ZS#1T }gk~WQBJdsV ykюb4E>1\S{,G!հ&H$  ]Zh1:fѰy3[ѣ0qDp{ANg2n]0AM/G*=@i%o[;%L Yx(XSN󺹍;#qh{Hn }P.MmQIlIToܗ=&DFΣq`D}v:9>T9(mwo\ 7rQIL`8컕,:WBs?g`6&8wEgЌNTs)O,ͺ< #d A\:6b}dt`H=vQ45@N,cQ5u;_R9_UO>U23ĉ|UqPmaȬ'_o 'D1/TM݆{xi;6K.lyKr^8^-}XRB} ir]<!kΡIT_L Hlzi&?27Ⱦط7N!aj,@kk9q|Hvh?lک9 1Y`4LiX(8m`  |kUμyŃcM)[b${d0f11WQ\M黯.Oj<A6{$@7E;V)_:: kpFCl1c/a^|L!A ôW56~Xѱ.7IjV cBe:qiG0,e^O/%wT_n`y|e_p`Zgd/ϑԓ°xKIn/1kx3*3nN:\BL6:$' Yo M_>I0SO\iWK䧗u ΧXK+ &xx/7!qCQZ7;P )H>܆$H-z&Oon1vfu)Fupbb / 8񷤮r\̀6=P3-^H[HGv^5uWFͤ4"ӷGq[<]$|ȚI^ffG£@ D(`,us0G|>4LR,#DW*u[GOD2PSt6x=ܵi〒xu{`QV.AC4ku xtlo5E'J~R./E6&Ee:}&(غʛ {FIL <1s/kƱgYZS /' TZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nc]·Iq n[:|&[z״#]zr?J}|x7uƲ 1? 6WceSZۚ@*HX}oz 9dN߁zaրC ݦp;j[&*ȱtc8@ob&cbY<`ug l I%Ey-@ x\aPsתcb2 )te"&S3ݡ-%SS/';z;JAsgu-Q_>4(\~ M ,c ڳZ@=0K$.um .v *ׄdU rȶ{9kNYNYo=(!_r# z*d#e{88Du5_\~щb{y873Ґ?D L5>m]dGx%A6G*rȤ2@ēu ],ߏawd:eG h;]m4EtY-D L:v5n.!6Z;]K+OZiZf*@fY]C@fhsw.$kpFg=V?R~X+i 0xH]Q %~Frz|%ʤ(>&LGKѢ)(lu [R݅hZʒC@[I4q-8)YڑQvT5L *JEFbNsK'Aoal_lAҏ:G xy]ڮrs_ $cqEfБjKHYU"MRGD^ځu5#T$$|j;|[je7+N3)N&+zcPj4{1 P0)YlG;'aQh ,W+T 'SlJlG/0G `Nz$BQܵCyVEH?;~ǽ0[xw2piԎBin=+ӃM~ӮK6 isl3;8o8aYz%ﴺ=}HQs1+ ⤨PLV"Êᮙc%yr;vxP'|4|],b@ֈ[t^vLlP*g~QQN(\3߈0&iAAm{hu3 O'ٛ`-DSk=5r\g<p 뼝 ~j;3&2PփCf6G(>ַ5tI3"arFvqGQF}7)'sQo,;)4?^1~"M=D&мRÅÑġ_ȧC >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 331+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! A]·Iq n[:|&[zT>Zmpp)?app86}"HVyg+cgb*i-`cyT%gIWMW7ˆD)lSa#yu6G%OIgHgJ`bS1D/]U8-}Ͼ)`LqHPI8)H;})c%^۽k&ƄPVɥh5~k\ГK/a~ւ 5O(^:rZԬF%N!?B<5h2i3Q؀RJS 2݇M9>rtq܈?NG c?CKd=x|yaUFbtV(>2;o$8>o׈^ހ$kŲ}iKyğp?l:# c{5lW5mkj6^aC/knI˻>Mxh ŎeZ]TKH'^^-nAŎvZ?R|)2_LJmsri+_g+v%}eJs&VvMd4)ύFgYZ/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 N+' \ZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+(]·Iq n[:|&[zY } p.A =hY7waiO2{r1eeﶣ7[KMG@1c0*]ԏXI65jgÝAz{ԫk#j}Rn&G|DT>zƶUp3ۅn(u#tSWvlTV܃FV=< >N&t8o&K;b/ l˙6}-;O1Vb#.i`?~C'ywEKw~dpgڻЖ;0 rEEbAmm UJSk6*nvJ^PWfX|__/4kJ2=)!̙nm_Ro%miA!҉(PZ-3x6@dld0ŵUJۂ۰4:s'yKK-Rh+A1 %<k_s"Qjs%-X;+Use8KqP{Μ<8)S͂4+ A],X7lxu(V2[$)(/87cvQc`tA?4a~i ,dc~U!>[Ϊ*2jՐ4u}s f`z6 /j(Տ |W6j*9?w @'1؅q(/&}2§Ab* nzw,RF+opT$r"d$%qř{QE]4ZhwQQ=-b"GH+vm5=&<ӹL~G{HK oo{b=%3FkdA(cq"~D$z>Igqy]`Iq QII _ 9g\աÕ&EB$CraX-ba=QAY0n:dlcf;LagYZ/+# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! vD] !M젗OFOJZgׅi4^,A@'b×-RK&dŷ 2#ڎ/%#19ьI0*ݵ:Yt|>c![b@Vu_&/A`S?HvBL@c4Lᑼ(TLJfv*/bm}:EQp\2[d+tt4L:Io[dhdngk>W %LȰa i\W~rKl_|$L1Ӵm7l>({l\[4i9wM#[G%\Ԃ67X;(ҀZ A ,]rs"|0xL0q컬%y/H0GA<9b<9鴩E5el_QB|wH; K',-q&Z5[EBzT…$j7umdcjQa`^ 2SF"~ҵ:zR.Ի3u)U'z#ZxOƆŭ=dm)ť)GCwVz-79vЇ飃J=Z-[O#ǎnsDMXkOe Bk[Pݐ^BX'AnI $Lܡb?xwli@47n~cv}a$@w{)H =kk35go |[J)l]$vǮcARʖ`ZFm?zR=Qis濿 ]"!?Ёk3W=NI6#dNc`hKEWjNmw]95PaG~D ۀ!*ڕոI+ь(o PIhFbw?>@6mZlLc!ݰȾ}_LBJjEt_;kDG\bfi^-"B29CvjZO'\&]4I,,:+ Jӥi=H-HȱGe6n>!Casɔk+'E?;9$*=VyO!/(IE gC +i0Ku+븥#5e[Q bمw_‹%2O-Hk`В0*<_{v3'n?m1Tt9 .3FOm0cbq ×y .Pq1ke\0xhځU;"l%C2*3{\ꡇ7&Yi9N)Irlj6ܧe,Ӏj/F*edl\|E?Ղe2O<"`4hWNbD?%xpm = bRCEs^^%FaOq|gٝi~Iok6т.)gYZ   ?/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GP]·Iq n[:|&[zio]B`g2Vd3S fxo$#<Yٚhu0ہ9 4Nn.Ӭ5:Ӆ H $`ی?ˏ~}] 7``|K8֯vWIԻ Csvob r`dQ@')Ѡq2D"X ̗&]1H!  x*{] mRVO䇵ܤ~܅C>vMsq1o8,&ֲۆ3HoLTRR VtagYZ/# lZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! ] !M젗OFOJZgׅ`VD: p<#U /X,Kf`\x=-~Ơ!+If 5vwe}4i tXqK\h#uH[ c!:awgS֫WZOums,$JVBu{u{C]L|oD>}Vm%9?0>6`hؚs} =KO:MB ^ BU?]w-Sɬ{RBS,-Vb,=fPKoq# %r{ S2x@Uq %.)~vQ7G݅^gafVV9Y cJM􁪅צ罊K7mДMjwWB5Eۯ?7U a٠_4_jiK?ǣbљR|:wĀ V]ϟY麹4;\Xw`Kb-#uϘ= <4pUe//=Qox*}Nj(ucA}4ިh "<ĐMƂaFuP $ )WtKe&Y"ߠJIۨ]Va(Z!E~1s =T$}ע@r] L[5Uxyc1rϧbz٬N WU2,>=Up3[$JAx,IXu>taHu7hbBH=49 洉$~G$vEDsI,A7[uOĵM՗G٪_t -b=32G>Ȅ0ƶM' Z5Sϊ7lJK8bIq|M#r8-1XlSf1¼,)=OJ]ݔk.mȂ$w IBq Þ '>{O"+鮸R[155NfUy%.|c~t&Q^F%{S$ }+u,؎`IL p'Zb G <g0-dtVkJS`V>l[5/W3:b[l rڋ\=k֬] CQ6>'B;m"ڰc^b  AgYZ 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  &9# tZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ] !M젗OFOJZgׅa4u:̓?k=Ѩu[6'4^6#&#"FQbY6GMLt Qq <2*ZSѿGatkN؃s(Xq-^3N{CFNx00"\vZ|sοPo % J}xcG6=s#KZ zK] _=CH*eݯX je wy\:&{}a..$Uw :\MNW^XPim5q)ʭc+E{Q: )F?ˆ&'7ەm/]d{Hs?}彝GiKmӉUˊ5C2\R&ZF㶹-.'840~JOˤx~.aƋz̽v %##cjRNQxgAX5'ڽ3~m+(" I\eZ 0Ĝά¦%Q~IΜec'%%,ގ< {;zg ^Y._V9~]8Μ'{c=k%#S`ÐZ/ќ4#oEP`1L:q~zC H*:k gQ!y\ԝjv1AnMQUo?E<800diNw"VzN8Kf 0[f2H~n(uѮ*̪FŅ8aǗ0SkZ/So.}V̩ǘ]ג< rxabj/ 4~RLd$18XcgE#FpndȪ:P܌I_c@)VWRu^0*@VmTm`6 9]؛I}/: %Ҟd-b76&'rt8n<a6o2e!V.>1teU 6P[{kYG˰m\ptp%ׇbYO)qk^Xɨ}=fDklsDEi*8j*9P~B@kW΂gLd:Ouphܠ༃ 2e`jYV-e$j%/VohE~nUC-m_IW "]IqNX y~9ܶ+Do  |gYZx)/ 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 c cl9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׁ;7Jߍ~G5O,= S z()!]aXY})T/(%9%j?,K41ʞ\Y6'/X:w c]>Nؤkw6 ̙7&骚gDn%u9ZT lG^56〿ȵ#+(ƭoCwMTU;7X&y}MGgYZR39 -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; mrgYZV+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\ 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  I +' DZF-InductZF-Induct.ListNPIDE/messages7zXZִF! {Z]·Iq n[:|&[zׂ7S^YCOk6DCku*N9=sf$Us7Ġ\ Na%g w]q&4=;nl"?jXtvmb9 =\{C%@9f2"N5vՠ6ku$5_AҝlOLCcŖ{9Ze"Iu I:Vd JtfV]i&]GM+Yt0mټ5^r>c:ԫwkS#i4f LkО5e|,%ʕ+HCD[>wX9[v'x"06Qvēخ{;ۣ'` I$a?XXu܉Nsuͬ Ml4ZaF e>I}KSWS{#0i-x''٫XťsnEu-hi!Ket讃^ $[-Px9R^600FPSqqjgr_ӎpгFXp>ة51dzdqo,ր'V &gYZg+# ZF-InductZF-Induct.ListNPIDE/markup7zXZִF! z] !M젗OFOJZgׅvqsI+2La4Q~/k6RGi.m~#l1PpMpseozjp@a^C_bQwdMT 9pP&Йxse0%t/8&]b oZ0bwݱXdrfpm>^ x[6J_ 4LxTڕJ2G-AJ[;\Cz3F2AI3ך"(LF(~n""͑ev ZJ4rRڇ[VenQgj_ʀڒV['UJb . S$$U[6ĢO7,ءkͦo99xBӼ\HiVv5":f4}v/bid둛@ʮcCR3_gM]12hSQM"y=PǢΙ7TjKbt|ȴk7rg(&PyBFCK";Mr|U|[h>͞BC2XVAbh"G.PŸiާCk"WL@N렧._/>.Nde'9ɚ!@6u_L㴴<߼ :ɥ;];J{38cN]5naOgӞ\&E̘6s(%/ v~ 8eL1S]\BU囗q@` 91Fʛ?W r4]] d`cZw R"Fx9`\wCfξq^u=gUeߘl=bq&-]^>uu?vNR`[uֱo&hFڷ8u??(PFϖ1fuF?cAP&؉_FtubŪyY3 AS0 L+~a פd"o-<֖1q_& ?$<߬ c\\ЗjeBĶ>ẏw",k~smRA?gsWK}DڤrfVÿ3mĊYϧIQkh4!%+" ޤF+Wqj=pQxK$O^DZgYZB)# m6Vu=6s>&qGC K=@b8ШVH,Dz;GcC@L bdLP>YDuz\ d}>ԫjeHK-WtANڻ#c.1~OP'0u i3VМQZ= ڠ.L,dCcSAXr(ΐ2>1mJz!=T6.o's׽W۬3F s.ndrq4SD$"~Nn}Z>dcbىT,,zw wxu׼'V)S3ty=(L4l.QzM_:UsJ۲׶EY"|:B{vP{]@뾽c T+ _LB&SmiPrٝmыtCa}nN> BC0xŊ sgYZ  n E#7# 4ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! S] !M젗OFOJZgׅ;d-is[q qKJѸ5HD D_gӿ6E_Ҹ 6Hj;Ur֨[d56S69-{lZU/E?C{ t䭌ɨ3K:ٕnZP ͽݛȏDۃY8΂hp Gۅ_)sP &IXAv[9s-%p/)+"Yf ^4Pф0NtVHH;_]n)kFgz2.4oe(9ݖ}7QQ ^1,f[@NST2ԋp}fr潋wHmqU`="?"3ZBy~mbL4G[Ǜ œSͩ&#MVӐ CiBn72XnLO+kbMT[ۘ*xaM0^mC2%*ąPxZK|,Mo ^qY-$ct33H %0n  }pwf U׭B -fO%4Ku;K̔f:2Dsy)֩3?,sxϻ.\ \3'd"յ1`ORO8hϢLG;&WVQZ1H"ɐ{!X;4^|3i&'|vn/b"o$X=.I69ĐwgY-86mW~H/6>6\2 KjÁ=6Q&س0yۃߒ@āwW"Sv \p~?7M8':$F 8YaLrSX̡o{A6`Z;,J\̺r wjƸ+itAe![ )٢OHg/-SUϨfv?ʝ 5+VKAgN%9cc /w )jFFNńY9+}1BY&UJ,]]ig1&0@AS2e{Tà8 .zZTkA4 _s` m]3jH1g1Fqyh?M½ӧ_Ϥ2Mj< b^}ozI_"ϖaP3 V:>y@@VTex7nUݶ aN۟Gr2wjYӰ6gs^:p)ٚlY._XlYMc!mT&VMz&6xfb'1#ܷWF?qDt9k$'Rs"[zO?[ y{mK(Fu-Jd/NLTT` `r tH 6tQ4n'%7\M_"pK<&HwjBdv Q\(G4"!IuJQ>|ShA4BmS#">cu>'M#D٤*0o):sC~XY Rjb|X`&{QA݀N>hr0aS8Ogݰ>|ĝgYZA"3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UO]·Iq n[:|&[zׁsu BqTeQz>A͆idQFKT9WR>k)'̚#>\+2N^Ɉv&9`Ğr+뱹̦)״a_CYP0[dohl.]Ɏqn|41evv:%ދ$1 5nHsBɍ =@X(}:dnL#a )Å7FD%Ҝ192 PR[fT04\wZqS#Rm_GO̱gYZ!3# LZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF! -] !M젗OFOJZgׅQotK~0KjͺA#bɾD6:HcQ?RXC|m_aB2Bnb&Ę֦˗A 艉4`zQ,p0f9z$]>S/( יa?A~oVϞ"ܤ91Bt IJر[ni+]PV"1N ,|KuFԢqM u{1D14>@'M~bp/Yժ<M!E&_&КD[5~Q5h>uDJs{&*՝F]/.M%Ң(5?{d#_iA`TGx!bpxJ'G,46E L?}{1,I;ĩbdV\ʓݓ H*<*0JZm{7uU2̭/$m(;\3&Fl)dw9f)!D@*syGb)fʻ3ݖ+0!~МMJO 1&&o ->͵UzS=Zǻ Do>#KlkDu}y2sIBfBGD|}::!波h)L=GunV/3hDIBg)i"W˲k);9{|PL"s ML(%mqh lT"{g r`4켨u3_&9gS|cOnޕu8GLh/F͚hz /!{[^>aŦ6k5 N[<]P,5bUY.Fd(!Tѓ΂̾0M;Vۍ|z9hv ol"<)lz{$&_N{y4bk#mh kqIt}NYf!ѧ}ҥJ` Iޅ뚨7 䙞zd3ʇfHˌ+JvN05gYZ i n=iQ&'# \ZF-InductZF-Induct.AccPIDE/markup7zXZִF! og] !M젗OFOJZgׅῐtc#W8,}ktcERQL69Wk5c. \oz{sb\p9<.}oޕ>@k(e~=ߖ nA>6^A3Ce '|^RsU^-crޭh[(.ۅ.IrTRdeo/&,EȈ3Zbz:c׍/ *Qcm)"Dg61<76wD}sJ/bKXMj9x}bR%,Y 7l5Fe=[R^v4! ACu:CH/pLt?y.E TDD(kCOLiKZ@;G,=6oebdn0]D+5w4}aOפq '{a~ZҮU;McoׇFw`#.rL፝G!x-%'o/۫9F &لS(yǪ6i@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,C3]2X얚8Z =~,&\sލm|!T$f@`Jty'x?fqb?r[CߞUj-2Hezek4&EG8a@]% \Ӯ4OUsWfD[ׁƦ\$Xb~ъHLTk8]_LsH4IOgR;)/MG |uhD៕tZ+x<9"M@YAs 2;LLk"X0ĦzܙYFSf)r?~ncV*ΰh. D^f'\#==*tk>/&l($~ FoRdiDM B_ƒ`N Ϛ4P1Ԫ9}<x,pMTyc:薟'5B'#郰xT^ ɰ _H]3a]9b9/-7W<{nY,#HJ T+y8ٰs&3hn,DI/ފT`CB=̾5{GQJ>ȚϰrFRA9BqI`}̈<K:G)n6.HhUUyzT咟DZgYZ  A) 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"~(/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'?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#VFtNh+ 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~zl%l#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 =*/# ,ZF-InductZF-Induct.PropLogPIDE/markup7zXZִF! - ] !M젗OFOJZgׅ ǥZb <]vf@B!`O^q)Φ :_]A{_h',ݨ"טx5 "V+ vea0M%GB(*qwYA}uz9Zl,zkWcP#]B S^oFzN|'t0yKWltbPy-T gD5@~1]3!|c `]s5(g<UfD|Ȼ#>g fσsvS10U *9s{6g**\\FV u\Y˻pe?H4d) C`<ۃ(930<(oÈs_`S.2N%D4RMLvV#C.r%8&I\?1$̇U)y}*ޖ)^Ҩ&`*^im[=׬ s˺CYdšeK o,Dz\Y.٬K e(պ+7`C4[_϶٥ƈR/?Џv5vNɇyp?,*+%8<0=h6q&ݟ9q\*ɥ[qW`ZsT%2,j1t?%?7D3T`fǃ'DR^l!rO b#}5lL#Pi|Ul^jw%V*l=Bl؀u'q 93!CNX6*ExԞȵVFֹ<+f~c @?zCވ\=5}hUxQJGU#z4,V @{+7/J` c[L>9]f&Qd<2o\O.ٚO/uŪh Zryw⊐ms M+J6'tمOwK82h,q~ X~.OEYtsY…TՠjMU'eN k}l\tH`xyJDq,_{m`hnTcyN=k}p1ߘ>1~ *xz{Wy{B+MSH#1vWr3PgLA>Mn r7^b&KFF;}E h)g"j3#x&+ܙWgLVUb.9>-+Y !iXDIy)|bu.(l|Î_-qsui-G>˃_ūp,2Yf8IyKιz[ii]!w36Ўxnm %XDiSb{kDuIx$WsCȷl TYyȆ,yxᷞ%SxAW0Uˇ-;A?FzG_&q?BŖdP6BK7!5&,`_lɼ c)yd?zL4[ڽljw^7~eu[5C"#<,?C[ O*nsQK\=;p=vR;m_SupOx b!Ii->]4OY/^bP%s!}saK)tCr#%fzxI1ENa|I-84re*} iYBO6Y2n[wѦ/>w )bݦoA>9=>R7|]p@:IP,C'`US6:;:e v¢Ĺ> ={#ֵ :7 @p雸g@d:92P)jrtX_M1z"4ZRHi60;qRMgg2ĉF,Ô`(ь^^ G*Qu]1bK-fj[d'GSfxR#>6TWnԞnfy.A]iզw`yZB4sڭwciж[ہ?GqSyt_~XfsM }A`Kdi4KpDL\Êl\)!` oU7P+";*-.K3Y=Vpxg<&Nj,RcX_>SZғc |.㖃^K 8m!xyXR 2/ Od !=; S<@mork˃X'I] 9ȯ.+T]gvWJNV2v;`.W6qgz4XaZj'97tn;ʞKԜZidod^~.?=#JN_@ Ɣ ~LUq,ɚ"ŚN~Tk0Rm|N g, 'pFdeQN]ra|EpBWobދYa$j8駙6C"a!Lh /gaF֬ߪq I=8v.*T쮤KÅa"V#]0E=ϕ|1*'QT@K%L[*(3h7gMd ]wVy}n9Ҳְsvɤ6I[IU02ʒ4ځ/i`F)Lӧz7O`w_>eRxp;wP cV(ѝ퇯I55+e݃t$bƭljgY-c%|B~:j0('uyN8!uw849wQn `^T8Tj6d| }.3%+4 ".GveqB+[TcgYZ  ^G, 1# cK@*8;1f12Olo{^pvYrSbJ#rO؃E%֞mk4 Iq|[8pG]rT%cd ݚ4ĭޢnJMG;50OIXc!pXjƍNiΌo 7cRgʵ"y%mrywd$͎r~D,hab)(ɦK*!^6r 6ڠvog:90*Wp";5#;[1o.|dJ-!4g>#Ռh -6GL$TMr??.:bCa稴%uA+ǽ󟈹}ECnWS`q&\l1gߥXT蓝gmdiC@@& t&m} 6vkk"10.Y@8v2ՠ{ޛ޴ QߙEKه=̛s+2I^pG!%m}#ƣ'sg%v2?_\l<8\dY+.J84ȹNΉ@TpY=U6/z~=~X,P/1V_ 7_vۗu}>>ؚT/~\,EWcXpqO ev!f{E܎&avYDPO'+GI%4n ГKGa +hqaהc7q2ϧi诶왟,oJg(jZXyy$UFK:E[]{T]D7Bwe•Grz4t:k7 sQYz*`43eMzR*RӇ/KاJ<犲v$Jz `!H6]Sg6p\*.{a)qHKL~^1gځ^ѭd7^R^95lHLxh,.4g@4_vw6;8!O</ E}`džn^Y*:8o%Xx1~r<Ree<ͳM{[us%̕RV *.ĝ#a[lԤD,mTIɭǰvj2M|{_RrP!>i԰ )B?dYܽ; >:& γZR(8EՙZ%tRײ0gK zy._B* `6Kn+V,qHG ^#~n Z-*|lgV0nNf)֋Wݪئ?S4d nT,V+2M3xqK1P,DK <\RQG9$pzƿ 9ꝧM;d,̍ )\^i;ֆk[pJ:~,EsU0!zD5<qc<ÒF"ubh` TƉ:nho|m@a4eAB>hH؟C_×y  JU+1p#KuM-*3a(Up ,tDOowPvEZ׈Ӟt њ(+/' lZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N0]·Iq n[:|&[z| b$R*=oH.!@ HF(w5CT[P~M 6}\><$+N/ϭ2Qvm\L&W uv/M= }My۰kt.gw !m"f>[y{خ#コoyjokߐFܕF,8|p__@442*94+]n5px?zLV/gxxe/.NRDqBN E=^P`JK;:b?e MkJQGH!m>Dh&i3>^;p$ᳬqݰ`2f?jS1Hc"@C lWxE7SXb2{:I߉]޼fxF%~T3w2*B俾:@ c/suăYL8yQu}>kH%P;3Qf=mH^ճjğhJ{~%T1ϴGr.m>}`ŴPMCڋ֏gQqw8eKrs''{k2}xߑaXJ`}x.*&6@:|/}:]'`F{Խ U8h<-6j ԫz;bC#\k_2+ K qŸQÍ$KL'g/ĵ%dI/;9:@+F@V.SKԥ71AꇫwG ILgi=Sʃ\exOcq -gv3/FҶHU ڣШtWS V{ agY]0ZKPe .dEg-l>0״J)-{Iv(ڻ Ƚr- .(-y \Y/V|= 'HFH*1q:cpEgiW\şOAa{I!`&y=XAcXqyja*`j&ja2}NCD~1E=hޭ$m@E[AL-%ަ?ɭ pE3lo5vcxD(#젿q°q0ݵ Xy:F5;_]2UH -ڒ.B$xs>2/ȫHh;Wz]~5KRg*2Q]bNlƸ[zp renøQ<IdIիDhNJC7iw9=s5ߵZ0J9 ,<╉ySA%ijRiԺG@t8֯.Lj~^@'JP.n(!5h_muoXX2lwN/gdr|W@92q # 1h %]t@|3KCz:!#PuJ)1,eNs\\ .}ȤছT9-BN 9]y"n:g:|r^ƔG꒲߽iu7O|ʠ]-)T4?ɘ4%#N&ZCD^"@BSLOrb%GV)0yiݴ=Z]:SszMI˴H+mؽzhu TP [f0.(?@[0 }ZJ/OWn8&\ں5ze|yS/3RlQbMvE0#-x.d{$f }):%mb'J.IBВ݉2[з+:̨m_ӥDua7rʰyYIV8 TTZ’ Y#t(G )^Wcosy.k% 1?{Mu8TN6"oR^}d[: t'dDu;Y?QJ~|Ap"| 3{_rk۫a}hK7 )"CcM(\<(?a'9M5 c!xS*+dp[뉂*5[6)|;ntuD©o#%]9"kX8~cB6։%C#搾wʺJK S(Dwu_DZ2dc$ׇfA]t6(?]BJf8BM|4kǢ\Qs>IƢڗQE.G$KMqŽIE fc#|s&Ң~/4nG-ۇ_[ԓ\Eb ;?H E%JQ/ uP̈@7DO``wr{P.6)zpJY¦&R2XJ]PxCQqsptJ1Tӽg [Ǒކ)AP*U QvstzK$ ][R{ƱG621 ici%r'S]s~Z(b^8@;wO^iձ0^1ө/%+LvKgO@ { )`|3%mٴeKljD㓝5AP_SmB>fJȭ]֪Mzc uN{{LT +m'z,iw!a2_1I4YX<$x@gN1>eDFtC4d[%HOɞ*w2jnbx}']f_u"[:kLOс/sB\Z̜F_COzr{[NER1G;[3򽹑w;jtySE\ d.ը*-.O] rkz}r)̝IZe*#4=קSq+CM3˞ˉa褱 *sJ/.ͪ)PZφZg'Ccx!I JvB\,fcJ"0{<7@ۘgۂTO8+1%~&U}[Li6Be P.9hyvE:jH;FE]e [ orZ6&v<:YšMߵP]t@/=à3΢nE.[:Ì{YKk?l4'˒²"j޸|7g%̔͜٢^`DD>>J `?]BbĘ VxG=~~I|4TzG™,C$N%z5䂸?AcWbX B\! &?E7ckC20(qj {>vh$|W!ӍΟ&@u݌ E:69;IgƆ84p\1yW+9n.BhwY|eygX2ܤ֢pe(HGߍǴIҧixbbŽ|?T% ൝ gX@iM)D|.uUAtΔw­J/m>3B,;iRbӹwx}9at;O!3ۿ#,Os OxPawlsZ6bG4'1ޏк 3.$vXq9%T-O|FR֩{淂CtI]΍.e프+~4< 4胿VN E* Z ƪ-e:e?\iS:܌ -e}=TW:W '/5ɅUXljfXJcF?܀WDSjɃ`Q]W7Io[N~[2"jDF-^p4g'ntZ-'}j> CQ#i,p:]7 [Ћ;j0tU!PЂkʓ5窏@:US 0[*Y;,Io *3 ­Lq)9nUR$,Py ]Tѽ2aPD!NF_a@߶M8>8cdjY銱EqnwxDGrN=q#%J;ѩBWj/B\.ɣE|؀\X{ * ,e8"~ꜭ*9S1jʋH{nXcZa⏡B/}6L@G3h[Mv<z4܂ Ԭi.? [~[t@ 8?:/_SRoo2wvPGM]P5qCyk;\biI-;e@1E::$h?,< h-µmg4`X:,c(̳ImHF<^5MoU-io !5A+N*bG4W2z=<-g+{C3/ev I}g.cK1񨃓Q=j8EIԾnbpGSΣOoNc.@ҳ1K!P aךQ`x뿩sWPC53L-hZ}jAh6-` E| #uC{^;̿ %(s)"!-sYi貪F_`Aj68w@Vhg)-Т Ȋ] vYOn,&הb1 k1U XO'Ejp0 EBrG @H`0"*I˿G՝(d}ZęI؛RWHI)TzөŰAd1ux)oRYEN.zL<(4,R ܗ' qPyc)&7ՃT&H6B 0m>ӌEoDOpg wѼ S? İ`plQ`_4`=Bm[ _?YjmK=^Ƚo6'MjTGlъEPaT:*qӦѣD^āɣVel&ģ v+YU=tuIHlfc4 -‹kLx,d883|nlָxaGq:boSµDnf(SYoGPݙ9^xDZnKf兪X#0_@ I@qTB|B~̔*,@=+DUzsD "D0^QsU|~P}J&},Zޢ twCjm Yy~QǂM[ZsR`yY'ւthDC:${(ùԾ1y/0^zCof>N4>q^YTgoxH\*YxOojb]Ymnro( \:}l{M1 2~=OT@(m{; 4A^p>Jgys|*}[&A\qiL'gj#NEsWaxlOgS`ǃtkR@4TtՖ/79":⭴h[̴vXC k^}mo> k>:99ݽt>c~7$\4ú#G~@vjp6^WG3oiFI rpKVUzҵLt P=pg{g\SVԀЮT ~>o Y?"-~RFg#_\i*H)f,ZGqg|:k1"M@GMD?ޜ42{mQ ?9 N^%ˬF{,TEUx}Ѣj BZi 3[+!-VO9f/'!gؖb4@QBs6fSl.ulJNP΂HV(n52Ẕ(2k]FwҞ*fEm0 t2AxohKJ4QĻD-$э]O* gYZ ==@-1' ,ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O M]Άxʆ5.f-9 rq9۳3F^xT.  ,ݮ9f"Svߡ*:)ĈWzč>ZICHik&? 3Mz!vXiq8l<8_&pH_QtVOQL:'.C*N~!t]ˣsC/ Lh&5GBlZ7]jzNl3$ 3I@•%EU؂!JX.:+J;m=5 $c  }x\I'=6J²6ħs.o-z5+,dg:~Z0AeT2t[03l;N4T([9Mx`OI`%2͈VʉRh3 ڢ4 < `qCFh|Xlhh!f BY'J,7m-'=9m11Qth"/J>iM8〧"5gAènӲP9~4gHT7g?7/]vI| (ђ:7GCq%:) [ܮ`E'>ʠzJ<_!3|4ïFВahê^ՔW~k`>z9u o2/ix 9-ˆgӵ}kǁSxsʿ! 6>IiN:X7=,ٲRs) VI|;zQFx>z hr )+tÏ{ےHcw]Ғx"MH<<Z 7iNx9)?Cވmy%sڪ\in^WY?s'Q*&b $Ekҟ?eTӦ *b>ŤblA !_s%b;"k`{C\Ӷ[ 4N#{#BnkӮn*1++> ϳB.jf=҆W_+J71js6W @lx\ #|ѻP߄RRxf_?P D᮹?O2`g9mXBmfl\MT%T[ !ce3 -UbAىSX#\#gڈm`w^{Uً`/c%!RXIk d2ߵMZM@J%rq"Ɏ َ0f}tG(f·k?`NrO  oAvfU-ze243$}d(`p IT5s+BNи(`YvNvbrH+\nRP6z(OHW#xExO Pħd8ɩqF13(BT_%r^DuE^ Z4'was?vAkѫU`kskm_Rϋǐ./:WD+uK=o84EICKnoyVcҏ 5^M]8|_;)m씒j{wLz:CJq=)ˇMzË8{5w|Aۄrm;GJH Ga 64僊$hpH1o2KdeE&X@c6ATw,\ΧɺS ]f|_2L|́(N23whnrүi5JKl?9V')>6+8OV5!NN h;HB >!6@ s)( xWJ2A#ťoO6JX(oRW3 Բs\q8c瘑_\k8y7{+6d<)7au |`:(_qy8zP@7͸2ochNL% $clu7 ]^>M=}O7A'iIZ')J\}8Xo2҇(fa c2dHAW TlCZWVv26J-V<ĞTw;0 DVKP{^+>;>ȱ鴝Te$/4\SL ~wm ;B<4e'88-XG{{"[%nu `^H7/"'!3 :*@Fm$K>Hw9 Ÿ$4b[BFyYw~RA9t$Ck;IBg|lAs1WF!׈6kGKh*L`@$<;$cw& sE6E:ԸSw̓νrSS_5K~d}HH ;Z.Lv(~N>=8ЎgYZ