SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  ' '-1,<\ ]% HOL-Decision_Procs:threads=2elapsed=606.015cpu=1146.604gc=101.772factor=1.897zXZִF! ]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օH#Tx-F)ඵW."$P/2WFX#!;ʠX2b-Uȏc ! }13Y Ⱥ;'"&) h,H IY:xX#V DcGN%%灶O݂utr{+6_M'_f?:4R0kVfG*")Z An8y|b+xY`ۇױ5I5*;MlnA)1*OntZu,UUYLIمcy%.lŴ*dOE0U:0HAð88=1c˝g+9%%&/ĸ 7%^BCI7O4X|68せݺ>z0yڽP = j3\0{{2'WTA8؝ax*r-(yT ; a8+ Z/OBbu Uʟ7heT\%BIͷWPuXy"~Gn\۶rHH涫%:#;5FZ汳'dk\L%Y x\pUkG!AM .$$ͅb| gS$?6;edݽVz,v lJر9Vr zGEShViO#a}E1; uJh|0趕Z 1 HOL-Decision_Procs  K"̗TJI3f=&+i BAmS)2g2L<͓Q>4Tac<iqeH㤌z;]}AmoaF'w b_;8 ~W}X C;KNL\`+&d/OG7͸v(H笮3gӡ|0deW_q_I৩6v E:n`O29Ro1qsT'D؟a&+Vdb -KX{ʕA\eT*44M;;JǯةF45ĸzSjy(Xƙmݸ١}s_1lU?C\6fJ6;)s>c 3o3':#oXȅDA;]UB\z|=n2;44Xm{C`EF<^OƄ$;v1bδ H<4yU9`%ú*P '(ipɲ0)"/57n/ÚNհQ|TN7]oDQp"bTҼ /dKxߖԅ %Pc|_QX$" ˸& ߼*2יCq~CO0ȟ܄zsE+JPvĦ{HzADӷ.J$TfG1SFgo[xM|nS'؝y|NfGN0;[ )GgMOVpotX(8m$5NLPdE7Q?6"GT\ܪu:THY %1R1+AJ߇1ʙ7pC=т!6hK>vs?QӛώKK1CawU?5gc0G_ M5A~#T-vt"hSpaӏ|HD vG M D0tY.gvƧ9vv澱̿4b(H  ;\t|ua<"x g< 4'y;Wܕ a1p}GMfw"m :[d 뙍Ob1+(%SD$A.qD FUTl[p6F KyLaxW!Uh0cE6.6T(iX^~z$ǖe;[Ћ11޸lQ2}{aʦ֊a*#W'No5% 󮄯X=}z-E|qa ^n%Kw';ǘcNG`/õs{vj__RK0Y[y%pi0?-_o[Pm7j*?%)맸FޅI0S? N kIdO3 wۗع|2ܻҺRee>/rcr+ҀC)XHLR1+'`xsw!a)`5IϢ yFp20 O*<CϽ)7]jQJq*dѧ\PFb& Ľ]:<&d62jS Qz_8^awdlFֲ/rW[@psC #S9̕?h`z1Ȃ=O|0O4'ňz5I[ўLt\́%4 XF_ NCT -e԰ Փ]^vg\\Jezbk|~oUnSo\nЃ4\'h='5PI"ݧs|ԪG25򣩇iY P4uuoשŸ }jhT98K4T${u9tG/STqo>qm\` @nF(S n@{}2U+,!|6 9z{+%^XܙI`&,v!0iȊMֲ=hUHľ4,htS;4⟥57[O*&}se6Ap 6le{Psho.죛Db{e+(\eDb:挑.ڈDWEzx;xT8 =1c"tH+gOgm4}z 2Q8f?R,d:*߃z@gH^? (5%E@{ jxfr'+`j],^Y]VRs5~SrneD,3αvgZFykxcCxZSToP9&l}33÷}?X<%e[)o&XD8`J dg*%WѯA}xp#Auϴ+ ^'X% w`Zr?R!-xH\|].y2hϡfiJ ~U( UknA(G'?2.XNq<}nt}ORl'6@u춏K\\I2@=_j;tz:; ]x&8954]U:x;>~_URbE9B]!)lWvmv1gCva)fR(6D逨rcR3TqUCn}{8;A#@%KfU#,1 wYja'2V@,v;`?!cvJY$`S&;*`Er&}:*\)8w)ƩgYZ7zXZִF! W]ŗXiɟ17L? KxlWP8SաM~>fٺdOd5xП_J}f(;8tR@Da't&,Q-mA"2{*sL]oz/!f~ѹ8 R`*kT(7]} N$y5 k$RSTx'{LYktnKxJ-ύ(8?Mno\H-E|ÌU*D}HG9-u:`"yuMS+y:LWcw3tJ{Ag9k&a"jTpwP_[#SN\vJĒo8#-*Gz,!1a ЧfQP9NMuuZ BJ O\Tx%uQ]3PU7ZGS Ui-dRMq&3*NWB䰢%SΖY-ăG7c |d%@^PδJQ+:SK ė~euG&nL^6J*ֱj"REotG/Fa̘[G:1{V=|yP5!^/a罟w5h 4X߁VbvgBȮI슅r.$٣ha;P.QSZ{,u=-VTx0^TK.{o۔9sihK\m0F>ML+YHiKFKq;!1wqVSNGPGui8Bs˭WprbVu]ͭ߀rI+`9zΘ:KK'\`B{ۋYC%{X/_49 jT Ib&"`_o%CsmL7(8oYe|)C Do9C~._ }7N9ovWB㕓?- !!&b|UXrx1᳊~qgi'Phi H4%ʑ›hΜIGOݪ3Ř2aƵ֤NaS+@twX\|S2c0|H)'&Si@M ^P`'I\VR"m R]c,oEaa@deco\~ ~Xr>,9^?g!j'' E֋Ck@{ ܂R;#!<oH`<^`_=F ő^w|BܚO_TC\0M lMwZ~c|21U g 3.Tw ?Dzb-$Ԋ@Ǿ82JKGy:+QiEX،"Zf40a"wܥځ3=} Kقcr!}@#>6,NЋxw{pa!MQ/0<< VmtqCJ~T;с\v[yO?{ēf oV hzSOx#77opg*j֣HNbJD wTrl$:ų 7[ôb)D]Qn-'kJŌ?S5'Q[>|!&~`laI 6g-<1 !M<^ݻ6B.(ӻeZ_zᐻX_Ǿ)!ZĈ[slxOw'4 LPx߻0TR^g ׀K.V`|Qsg)GLkqBrc@;b@s·0Im!.+Af/hN\u=#lVP@A!(~l)h氼 ^l ^]p!|\Znhrb4&2&+W L%z;:/g yQ%e%{MͧCOhYʼny+FՊJ6@F&hӪ\"ŻI(:^k9 Ry0m9 ʈ^AkBRqۙr¶Tc1.Cu,CC>JYAA$/y(C15}΁R4$xX#dL8gpKLjy|Wx%_œ}O$@q&62Xƃˈdki]&|IP0 \1i$nbOG2~nsE126 H}^6OSό-HJ,,DQ i=$>3tۼ"<2?✲0}WR~((fk]wWy2=iCrl{Ӯ1l4!թ"%L>_H0>{bC&zLBpu+2oBʅIʷ#/&Q~EP4ąG({h2Dx"H9ߚ`3o)O*x2g^a|c><[C|[mkqͱ%x X, C̞O̰æ޺V굵zeQX' CP&9rϯ[FYN]`w8Z: Zh` pNsPb."ż=JxU"A^*< 9qs".\h1MLF;$*.V>C7HsʮGJg. cS5 ? r-2;뀤3`EdeI7LE^]EۓL&IS4Ѽ~&w9' %'?Pе0<| }\%X#T QMe:&ce/E9nX;jure1'y UwuW 'ANfal}]L/ؖ! liYa#n;u6\cKlA_Enkz$^~ šՙZQd'>?ߧyrcۙlDalw&z@iouSupT*d:N9= -'CZ^iz9).H~XʥXH|M )+ybFBwU wFݷWO6!jY 48PYɼ %6NZHC?|hlm>^]Q;"'b7{"O!|OBjo*eF?}24yN8_~$.|)KQT5v# ޏ^gJǻճDAWvv)_[VmCRT/ At\eH(T X&h\y2<cO~S2q5@‘}2d=ADG+Ϸx׽Ƌ{bs\*sO+H,ɟg7]l|F4b:m}sWFm×izQ[iZtvFam.];{l 0ɤPU"݃έ5A D!d0ue4EZn;yi]b>J)MDe 7ORSVcӪX}U&oKª_㉙ambN5*Wx=z$-!O 3( ̫t>mI;X+ T Y:g&>tL Tc8LD$}BD>~ozkƬ֊,)"*hyYΣ zA߉4g}^ KibHsX$T?蝀[EIO'MK:&)M_!"Y iB@#Z+=S[`Ф.pNɀ+\42ܿurl0ԡ32܈PE38C In XA&y+)B֙mrC-Zc2wXHp}@da6ESt&j#5*6XobSF0W٠ߢiࡹFˀsȦo}w<`&6øT"`Ţؠc[!O#BT2~٧xpv#̔6F+#sێg*Mn"}˚o(1s'MO3RkU*PHO#,cMr7L1?1:KXj7]RhtWx;*Mu']`Iw!Lo 98({NaeR5pn_9kspZ&|y yr\@e=I{T'DZUgqeXȢJW9eB^^԰l6QpӬ0Da=~BS,@fy T1˲ q)zУF&Zr\U}n,Qx:]'WYԫgZZW퓨vtw喣7>1L'~ݫ)LzbYB3dK"sr&_WXu>3o'쓙b@;Kge/2۱ۧT$>b_)_F.%:a0$A~j($.{57qF56Xq 32JWN_6-A%3ꔉ k gp}k+t\vrڴѵQ] @IEwmYr12歇2b#؈؍lڌg@1#ikc/Jw%ֈo )[>0uC(΢?Qy"nөN ܨS5d'vu[g26hWVdhFa8aY{XRT877PaZ;M5DOzısL9]rMЀ0)0dAoﷴ"Z!bѫKP=w[5?n7Ą",H·M4*_>AkSĢ!=$F>lj*<;Ɛb&j>$U|/#`` 0}k Sh6xJϨ;~6ZJ?ks,N{(tq9CixzY(!Jv5IP<q-)l¡cy{ot_bY&~9aoy .QQ|gS>8F &γIc@ȵf͈'Y/%^)P:e]:U?)sdWC$"?bXd0$FEuM;㽬e:/g`̤XnwpjCaǚ072\{4@'Ե.$dQrB" 3*]/+œ٦`Y5[/-' Y,o)H LG ro+{I0vH 8,]\UGr˿}3JhHwg0"M!*7Q(CXPoŻLMh92u̳R13HP%E}S[2(~ .D67N٥;jEz[/b"^5#^BOU*ęųmH}v[f- ]zR KjvbI/9\@=Ѭ ~pTˬ c했I TaqϋSxLZĔ\ŐF\vdA6,7~sT+uLN<=Jkw=%4ݚzi,;n);×p+d#3B頒GˁoĿ}r"9pV=G܆U2vzH-悍ΝB4LuY2mo54D@ 7*`sGЍ05[h^qۉcm5K*w͆_y-vE:pn$hlw i* H:UsF#]r[5th:yNFA#u `mhOZ.t}d{' c2^JX?}MDόODFSF"(֕b*7z?\ ajZpz!Red}[{ \XRj9ߥ qJjt TޟyhR+4n$O^@Be#vf ['Ɵ@:!Tpc/M g4F3C-L;jYqMjf6#7_ FNVpy(FdUm G\ :A%C|BT ;Sׂ~ ;wds:?Ih.,Z8Yw^>1Ze+W^4=ݲ09!z"B92$^WnDғS| \0j!փpN5̈ <jE4 "(4cib_r^1 4B8$}#NcSt#̶{h fu7l3;Y/:T#r L ,jT[;m q.Pr.F(8]q< 9 u*ChbnZ$*G?Wg(b9$"mDxZ`iv@}=U!ϒ6;uoLW;vܡ!BRØ#ـ02)\Hf0ig5e+lMT^gV9.rK$ݮ5%GNt4M\?3&g5|nDЯB̷e ?I֖oش;]-<^+e`%\ƚ(dT*Q|^@oYU9nJV( Pz LaʡҲa$C C=]%x҇G) h|A߻iƸB#lhX=$@#4r߅z}X%%E$&vElz&k2fM5M+RTIeuKtst\ࡣ-3PtzLw:KCaM@H(6qoW١]I6"|Lod<,L13>pq@;g[hd/]n=oeo3Aƾ!e I䲪PV ݌]G6abڨ*sySh|!Ruf -kc pѾ+3ec_r2)/}7 |!\4q&v$E+.i>mjqCX_C;P+yw+\DKEsYC`~w?{]mhMZpur5˂{Jǣ_._e)\&hTe2+ ߦ]C+hJ;DSDpÆC(jծDT!MD#VsT^:zTw`4ǽM!K jcBܞnԨg!G.Ӕ_V $ nniȄ^s0nYɕc}Xg{cJpBn˦0E-ArxPg6]5hv5ץvVz:*)A9 ehw0.GdQGU W:73bMfht`)RZy}:"qs-PlOۙ Tʷn/)7._ަ}ے6O5 mY|4G6q?? pcIbe~~ĿnGdoyL:Gɨ>1BwH[*9+ )!{ e=A*lsve̲Bf"f;C0[y`łyΦ>|;b6%7a `ؤǺ>l.X#eC0خ $gI{EFR ! ] 0i$hF)6}7 K K̕m2A#Ghbp^`E]K74ŋ`}Uo/i[`K-\n?&z,ڬ'xެs. >~N&& |c)W8]~#6v3i/*:YNwpaÅJ}:ST_OpD'gYS()ׁ~YtbG ggX9r/z՝65s `0(~LLPbiqEb~H(] 0q}P R$g )\"$SJ8'=F<2xX2V|ٔbsRs=?\9k^.湏WXB}-%K) tѧr{#^0d?E:4&pSO(@XfteTu"Z Kd٨"ss5?vڒ Q4wb7@ z›I 6 ']%R?8L}:0 IhBFڼS}Q*2@^C:\pue[L5Wlat~; 'm Tz]muNcw>Q﷼;IT,d`{=<[cw ,oݳٱR i5<n0}`TOh9NV*%=Q Gus9C6S-̐/޵g&4Btij T롔-xoZ{\H8Z^s?bν)c/w D2zŝf^7:"VFJI#(<8\ӲOSUOڣK3$kmƆK6EDOWN`m[AeS(RheU6\d8-063.oz/VNy f7k[j^tn=ZmFCJ-U&8[۟{8ےLy-&.bt|B1\@ Bd*ji,1'frjz 2OS RTF=l2p3=d2sþGo| 9ɽ?U{c[Y>;hqjFV[͎@VKt> M/_,+)(z;Xb$7v~kM l*ngPQuP.}%\ oЅѕiOlokYth7TIPg'PEkl||NBk 0*[s3Y-i/-;?d %9_1e*>g֪zr`F:'n1RrP!l)O͹P ]ӷZCy9eAŅ౛3{;)҉'j $|0A_Srܔ;>i\Bjh|V:ÇN5!v@fL}LkZžInȕ# #s5 +ܹW }}V6ˊ*j k\7v^V^r۫t޿?@-"X㯕JUq^-݈~8G,?nD)TZԑYTvb^GKQ&g2 zLe ofH( zp'лY9lWOPJחJԶWz~̣'  )O?53^:l1n` ʇ@<`%"Lw\p'kǠmoWţjtLX0mYH:hHthTY4c@ax`}N'xaHnH[9Tced2 h $8a XԶљҾnSJ>z 5Hػ)a.ֱ-P'zr܇i'ݭ`SR̟ `Lct0 Xս/֯Ӊج״# ?GaQDJ 9\KlSd;=&a|[>#47(c9FgĻg/WP_LV3]PG-%dށAb c0W"A&vsp;'0z[`Pi^TvZc,Lkw`u_aSX\Ʃv/7? {c 8Jy\YQ/s1ҐEߤNquk"5(dMF}WםPݠ`1 l$Xz5s覩8Kܪ3`&3.AC'.r+MWi|#9p\fS!& i[ciwG,:7bΗ"xV:ib/P?ݠQiźGp߽Jfvԥ2bbD/`tv_ǡH%&Zf>e-턔iiC~.~e\`X"uETXHaN;~K>rYK`.itG'cnX{1[ZN߲m/p!#h?S?@҇2Ұqm4RfGK8"‰@d%PG~-S\?L vNv@'K̒Q}B*\%A&rdyIٱ؇}1؉lfɬ@ˏkF >;CԍIKs흖o3t>c]7WW'} G@NYCy  ʛ]<%F0҇,ѨfQ]p}"] ޴E6V\`,Y;M :xj RwcẌAL2vl~閫80J1BB <具cڥ TE[eHyYݾwʼn|_#/V[.ޙa+1á'miD3Y΋/*O9%3T9BVo^,l40hڴnus8>m짋ZO%ØĒ?&5/K6Qw<3~Z\ҪPSӽ|0P<Q; w"_CIjU؞<:C&Ut0W/d iaV;~9e,ucpd)-V !1/՟ Yc+EG-Ȉ፝/xHĜ:TqV+yf a?ĢJVU"xQL^)ۥbIp6#mإE`!Dw#,^_q-,0E}׊= t:gĮrE-ލ1B>-9;D?|n'?Q7 kIg*6Zx sIRgHuS4mDμo|-dprN'j=G?w_13"[ԃBχ UPqo4Cꥣ0&8X 'Њ< jcnd}D\F68wnYp0 Fp? ~Rul̻l^9v6zݯQ_e(TsӵW1;[ M8q‘|h< 3슞|%XqmsFK.!þL3 F 3V#F Dx͕?~2C9R[=^C y_6vU?,>cio3> \?h$(c*@"ޥ]" sNɻDä;u)6(bMv 2E;P" Rr9~1Y! i0`?#*BgOehE#=R1Lm>BL;r'ߌMNS^<^ևĨu4poQ(j^zֻ>K}@Qp__Y ѬB-5թ fAqU:y>)dT@eDl]4@8uVьj'Ԩso; Nr!X{PlVBLhBK2YN>pl3A1R&#];nKG$DZ/OUKK gƛٝ^|T2Jh>,>Ϥv1̡Dh Vy;XtpcK錄7bއ=dAꬉ[a%&W As+$.^(_Țiypu&1rfЙ mV.g6̣$pqBXz!;,zrH$MdnFM.916˓pRU14ټÊwrS#s~ϡΆȗnkCwf)e}[Jbn.U=9l>jO|tR%Gھ]!FgW:Æo.v~~ĚtI-5a,E.3 9Vx.*ScsJQeZaS23ˍ ==2 f\ a&zi>!9=8rNecna.SKef֮J=wDn>-VI=wc|mh {:ڳi=ɔф#H') BlyxM= UDdƻrKDd_]ٙo0d׫PzDn/;ɻ/U77B1#|'pl {3 •5*tv^ꅯ.=V >[<) l_^lҟyT}ψal0{6)*M>݂Ԣ!MTyZcA:aR\hN٣ˡ== 8x*C%AvqSEL0nՐ#G!%@j:֯$ps^!9}hR-@ZJ勵kS:܃/tXP!z 81ǀXz5 |^el~(Ȇ%7 m ]m L3"$+ZΔv.YzlެQw3%Ye6x=(953ZGb[%8ߘش6?_* ! fIVL4*#^jQXL[6C$}uS:~9F <qH!.,oʜqqԝGq^oo?v YSFb%} ,4k<W\,`Ae&ok4,t=t#+Ega Nx.D\OQeQ~-إTkziRgDpl_ZP\I2xy㻨wI#-ҙwL4Rz>HLF;yE|d2(?cV Q;!#aUH=T)W&A.4LC:Ɏ|:;m6'NcڒL1\D kJ狆WqUaiB)cIffP:.Α u<:!~yVjV|5톅((0+&\y' wdxc3oDLDq ~)a,V`JWĔÌ z9f ~UzUݖg@n U )@Э:>Y} :=ï;.~vGq{/]=5S>د`OjNӖ \.1$lN,CLcW<![ASc^g0[ SR^k\@7#vĩ%gpC>ŠcvkT8 7kJ^a@mQɯ}B. qk Iuq̾(^2W~ꀸR1MFU3-93'Gg< $LmD0/vɯ6fy#uvi^TC[cADo7MQ!He7q=h:6<5O(ȚF*e[?mnڙĪT?#o{zإBWU)Qw&gws~BfBR* I 8ZSv3J",3UÊkqHbn_*?ŴNխj,ArkD;΅}`Ժ=U#_1S#wְު^TNRyf70Cxm{*\p>5K\i-9/'&,9a0CQ8/Ʈ~^OQ6 t>jsY(6n2{i @eQhcbϱ%ϳX583'QFs!rba*ijhxn`I*dؿYԳ,)Л|HaGJT7M!`~LU~}zVō5wns!,BSEY1bVX :8< U"p͎$Ƌ+/TǽQ]yqخQ t$daZF;X0Lw: mஒ0Dyo& @mТ.0;su ox]TTPnÑ^DDqw.+Ne+Cr @ QI4g!0׆a[^&i(]P]qSV>Dn>^;#xMO8>ԧ#i]8 ӗ:L{CLQˑMR2n0ûMGRX/$VXKU3:mCM}=>'\" UE|Bsg4y&w,:K󾤲Wn7Zb?D#QAP7^b/(66'-пj wvGGDOb^33ߟ7$MK/\4!ɽ/v1 :dyE-rQyka"8F.(ҁ ?|0ùVj4z0.Zؓ Iݣq" ;}*@^>Bl.ISH-`e末NʭjcCE)i2ÇW2VՄ~_9j7? 5Gߒae 7T@/Zഁ9cx5 axYhQ9k'L%0 S4+}9rmMC?Jjmrl`*H}p;t Ľ7!i)J2i$$ :ulZ5 xWpҏo (KYwYҐd)[_RL[OvsԄqîLn^Yhl2ZbC4/AULCX}XZ_ڼ]͚d=!, ]Hjr]̔@.ˊ2h`48KX X؆U&Ĭ F.g kz_J1KM\Vd;J \[2V$hyK}R7 XNxׯ )A,ةgm;†!!MGeahdڔS-mCQJX*@)vt+5,:-f` +Hjdq9,J~)\=H#1v&G䠪64 ",0,_YMBd=4w6&3 %@=>_bo)-wE({pG舘!€-5FiE [$<Z)Jjև^ sa:=̞:9nD )^dm4[H4͎ro9U@00D#n7Q_\`JK&y@ϵaQY8a<7'7 ;#@߱ d[yv< z`pv\{%!-+Ϟab7i#zBBFOwb-6G!#2Yӓ u9tp\.[+X\}a=23 x7t/Kûn @P.14nTx~h*ͺLKd()_/vIerH@IjZ OiDˌi4, R "=.ʴP4Ot/3_3oRwh (I..dK"4m;_&=gF8Rߵ#xUMfZ4-q۵Xuv,5::F9*ݎDScZ&z .S<ǣ㌯I1x?ئm5鮺3hr/ZFdg*f}ުkC"N z?T:jvh@-Uצk*ra{&-|sJ%s.c>d0A0ϞfCZ!ob[)?k8AցGƉ\x7/IR'[>E&G2tnwϹSdQ` (tI [J2 XɋxW#{IawoFKBI95r?I p|o_*l G Om1GG:kZK b\mzKv.:S2EL>΃ Cݧ]W{!qx!SGew9hk@BIoCO^C-YDOIx:$V|:4X~m`#S-C1xl05흳{4 wڙJtj;XiA0l Ifճٽ@wU;)VhXa`gD"y \hExu!S&elf١V 1#əuQ(k;{8,N3کYjIT$j҆KÍT*=OݖhM$dW@?{"Z*)4S 8xj8ҭ43 {|.XKYe*܅p[ ܳma9ñIGwz 4; Jn1or%w8 \_q°]C rmp3mW6/!HV #^"oKi;lJӳ7h4bHʿ[ R"hfp C-k}HE3dJ Kk=9`xng !iXyT?=(gUl4-HWT)0uR\HLd"ok8FM&{3x\ʴ&Szr8:,Orّj x] 4[XKZ3&zǽ\CG ] wxvx ]ole?~ {=M-~.z.O^|fYo%_LhvGTBedzms13d0)*I-CϟZ f e'`/[6o(h b]FpZrzՉNj[WuTC_H%,IFSwË뙜 U6s+dy_g:MVh_o@(Q<^ESQF,De5@mDߍ4qRiC}S vaW}'$S}5RlIZ@woQFHnY%rJ}X**qTFiއG̮ރm˱"cE&ۤ \AmXK̑x1ʁ[rNuI!j$A&_ y+5*jo IvDfE&<ɾ\p\_ %M̛1Q6Y;0 C*΍-2.̙z]c#Y7 ?a}2]f6!́=<"?b{bDJ޳ZcïS1wZ@aeΟ4e<ͣtR}~ed|{T_7&s8n¾)\ O/??FҜG \A)3,V9t,BQߘw$x^dVfV.GRِ<e(m4%Rc{*eJ摒T;ɰ17d)YAFk4Vq.Vxmd2.d|bILij~~r8 Sʶ:lCGXt\רP#dgұ.:Uz̆r+w2-lċ|cZ\,hJXdHA/pŲoki|qfo?HM/N!o\2飷9`CMےF}(V&?([4hr' .N\aR*HE,*2.W!DYHá5n'Q#w?5%}?mf.=@}0+P ;Fgmc,tLXLrO#KS*2YuS܊?uB^G}0LBw ^VZΥĴLD6‰2S:7RŗzIZ^DVN`S]O+P=~aˊ("F3?=5ȕit}<tW#${god2"ݷMU:}Rc Q{͙ŹjCiRJATf[[Z zӬϔ|Rc"HjL_Tu?"iOfD_XB6ȗ i4W5j0+g+ `\vjD^'Wa'cCF eMpx {G,I׻w;}ЛiZ%A&T3)u]>aa` )A79sGR^}鼳7gM̻ÚA`YmGT:%bA'j<Ռ9*u!!Wo{0߈Y/g( 3FWܭ 1" &&B(}c#,cɕ/𛼌ūںİj TOnh@.r" R5^h6cZG<3MX]=Ja?sD\Y$4΀nfz 7H޶ :=E:Ku!tK)z dj>Gމg k-ླ!8+  &v5? pPL s&iѡD#X`E0X)|5CX>l7M1€i0yT 9RT-NxP ÜKnX?X-EH}xY_W_zGٺthwM }0$lěue:oa ą@J&32C /a*Z.2۾AU&wKMN]bu;8`}NԹl aF,\fni‰ ?x+×l *Ĉ̵ۣHJ bv)qDhGSYByE'~ &M1M'JcR|'S!1d0弴}: q;J .4PQ:|)OZ^\qRݓv!vv{6<-4%rc1B( ^%}K ):A+*8 ]^C niI UBH͜)xYY>갏+W¯L.&kX--%VRR}qcY#ȑO}? d{/ hU]ҫ >*'ҖUߴUA A&PڐtG:{Yoʈ xe$m.ٜ5zV2 rݫh9 ka\C kV;bm{hJw㌥]g*n9RlZ1}(]| '^#ޫW\8C݁o[Zlkh &RIX=A=~ t1k(CXrkwHeuaYvRHs0R*9t݁)dzH=Ȝ{Ճ&bl(iȀᩌR}fFu@lӦOy E+Qzױ0U5hy2c«>w{C DK- pm 1mi|GRO,4%Nus*Bi'G|33>\`Ġ:j% @( ,>Xֆװ4!ɘl{[cl] Bї\,d>N 򿢡THPg#/߀t8*ct܃cpXژw)M Ц3$,ۊY}Adw9h i:1Lfj⡚NPxAHM$A-@5#$dy|Յؿc+:$̤LCTz:z&XH]0҉ipcS-Ntu[ِj y"'_eN\\t6*2dXKN gWI%@u'(8Ԉk ZPl[sDdK zQL *8yM)TcSVYe\X T]ꔫt0ڿf2"[ F%m 0`x/-Cfj;wGyΎ'&T-ѕbMB<2,iwF@?v4FQX.P(dsߴy¾yAߥpjB*Nvr vp~(Loɞ/f;V;y^ňPm_-H<5)%F\ }? IIps 1 UHwY1VbW?e\1At+^|e]HG!nO_ 4 Lmf\xǮ;Aπ(wBJ rjic:Olr?O.XMפyT*~=K isőPIR SJ/ ߢX\\yY6f3g/_sJanħ,!htMSƭ&\%2B? dnkz)~oYBn6<?  e92]'=S{ӁYkm8.AM'LX0IȭH%NPXgz :+f(,O{ xEǘj8 KQȖaГ7%&xkV[dΛhBjk(㡆/-1o@ OtD2~eĕˬ lN~Y4D q60ޥ,ɞ̑*Dt= -HiŸsy$;A@ԃZ:xo^TSل_3ifAMr[q̟h8x#BX~.z> @._!z *7E^%0'PTTKV B `*#@H~E%Ѳ?~Λe2u]o Us'}>> DpGO$t.n%W NZuL#ر,F u bsr̓fq'>%a=G)#EEGxMk@~K6ޡH 3f+$a$5^3|yj K֢` (5 bo-)f{Q[3ʑǸ,i~]ZA<$=ziK,d|wxANZ=&*eE^>' 1uhyEZoK61$Vu&Bej0kM;eFVL:P/_+bvNh@^O<l10]Ob~4!kƂfq%vD A@+7Ne343jOLrY徆) y]SA>9tO]biԋquz:kb}L _|(qađOSWvwz)u 7F né,E`/"˽ZR'-(]tKs_-M @(%_˰㥃4۶ӕ^AgnU16'wl炽B[ۂ"1^iz׳ќ%3} H!^ɀ7QlSbQBy3RҏKN"E E 7pPEūŚ_Jx8%C,n ` :@zEB954FNjLۏ+* O#h+6)=ϩ%=]x?1+ O#6aB0#zaH CO$~'9SIwrz~KRTĊhs38 ~+Qij0ݙǫ PX<,&ԙ9d\D ¶?/o,@-乴t=3 Z=M-ڃ)\Ã{论M ˠۘ 9`L/b͉fȁN:z!<ݏuބi>^G חgRJHuW~rXKJZԪ u?.ⱤV0fImn H7pڞ_|Qل>=/*rɆCwMC1fL"wHc_vkU4Ϭl<@y HMg8e| hqt]~.?Kh^nVH:7;'ΟROye5OھK7>/m2D{sp]Rev!ōTAɴV`C0\s0- 2ΤMk׺|5_oF4v]źnۃ*.`u UBKZ;GѼ`w#x[<ē\WĞ5iK ~x?D+I]0VF' gٺ-mN'(}xGʭW